216 3 12
17265506054090875
181 91 37 181 91 37
105 57 192 186 57 156
193 97 193 181 97 193
112 116 64 54 44 100
# solutions_found 1
# distance_bound_overall 14
# latent_method Psi_3 kernel -> u^T H~X, v^T H~Z
# latent_note probabilistic search over Psi_3 / Psi_3^T kernels
# latent_x_upper 24
# latent_z_upper 24
# latent_min_upper 24
# latent_x_support [(0,78) (0,186) (1,57) (1,165) (2,48) (2,156) (3,105) (3,213) (4,57) (4,165) (5,84) (5,192) (6,54) (6,162) (7,44) (7,152) (8,100) (8,208) (9,4) (9,112) (10,8) (10,116) (11,64) (11,172)]
# latent_z_support [(0,54) (0,162) (1,92) (1,200) (2,40) (2,148) (3,80) (3,188) (4,56) (4,164) (5,4) (5,112) (6,30) (6,138) (7,24) (7,132) (8,105) (8,213) (9,3) (9,111) (10,60) (10,168) (11,105) (11,213)]
# nonlatent_method m-block-constant compression kernel -> lift
# nonlatent_note probabilistic search over all divisors m>=2 of P (best m_X=3, m_Z=9)
# nonlatent_x_upper 42
# nonlatent_z_upper 36
# nonlatent_min_upper 36
# nonlatent_x_m 3
# nonlatent_z_m 9
# decoderlog_method syndrome-matched logical witness from jointbp_ets_ppub fail log
# decoderlog_note pure-Z residual of weight 14 lies outside Row(H_X), hence d_Z <= 14
# decoderlog_file H_P216_J3_L12_dmax3_nc0-3_seed17265506054090875_ub24/faillog_p0.03_seed1549613636496751248_trial10549047.txt
# decoderlog_z_upper 14
# decoderlog_min_upper 14
# nonlatent_x_support [(0,0) (0,16) (0,32) (0,34) (0,72) (0,88) (0,104) (0,106) (0,144) (0,160) (0,176) (0,178) (1,12) (1,44) (1,46) (1,48) (1,84) (1,116) (1,118) (1,120) (1,156) (1,188) (1,190) (1,192) ...]
# nonlatent_z_support [(1,6) (1,30) (1,54) (1,78) (1,102) (1,126) (1,150) (1,174) (1,198) (2,3) (2,12) (2,27) (2,36) (2,51) (2,60) (2,75) (2,84) (2,99) (2,108) (2,123) (2,132) (2,147) (2,156) (2,171) ...]