768 3 12
260108824
763 679 397 61 697 373
435 69 330 18 612 246
289 257 625 41 193 449
496 640 200 524 672 672
# solutions_found 1
# distance_bound_overall 32
# latent_method Psi_3 kernel -> u^T H~X, v^T H~Z
# latent_note recomputed exactly for the exact Table 1 transcription using the current Psi_3-kernel workflow
# latent_x_upper 48
# latent_z_upper 48
# latent_min_upper 48
# latent_x_support [(0,18) (0,210) (0,402) (0,594) (1,36) (1,228) (1,420) (1,612) (2,54) (2,246) (2,438) (2,630) (3,51) (3,243) (3,435) (3,627) (4,69) (4,261) (4,453) (4,645) (5,138) (5,330) (5,522) (5,714) ...]
# latent_z_support [(0,20) (0,212) (0,404) (0,596) (1,184) (1,376) (1,568) (1,760) (2,64) (2,256) (2,448) (2,640) (3,80) (3,272) (3,464) (3,656) (4,96) (4,288) (4,480) (4,672) (5,96) (5,288) (5,480) (5,672) ...]
# nonlatent_method 4-block-constant compression kernel -> lift, then row-space exclusion
# nonlatent_note standalone_ja.pdf proves a 4-block-constant non-latent X logical operator of weight 32 for the exact Table 1 transcription
# nonlatent_x_upper 32
# nonlatent_z_upper 64
# nonlatent_min_upper 32
# nonlatent_x_m 4
# nonlatent_z_m 32
# nonlatent_x_support [(0,97) (0,289) (0,481) (0,673) (0,117) (0,309) (0,501) (0,693) (1,145) (1,337) (1,529) (1,721) (2,29) (2,221) (2,413) (2,605) (4,77) (4,269) (4,461) (4,653) (4,141) (4,333) (4,525) (4,717) (5,5) (5,197) (5,389) (5,581) (5,125) (5,317) (5,509) (5,701)]
# nonlatent_z_support [(6,0) (6,24) (6,48) (6,72) (6,96) (6,120) (6,144) (6,168) (6,192) (6,216) (6,240) (6,264) (6,288) (6,312) (6,336) (6,360) (6,384) (6,408) (6,432) (6,456) (6,480) (6,504) (6,528) (6,552) ...]