symplectic rows (A | B) (336, sparse supports)
X: [0, 57, 62] Z: [42, 59, 88]
X: [1, 58, 63] Z: [58, 199, 265]
X: [2, 59, 64] Z: [40, 57, 86]
X: [3, 60, 65] Z: [56, 197, 263]
X: [4, 61, 66] Z: [38, 83, 84]
X: [5, 62, 67] Z: [82, 223, 261]
X: [6, 63, 68] Z: [36, 81, 110]
X: [7, 64, 69] Z: [80, 221, 259]
X: [8, 65, 70] Z: [34, 79, 108]
X: [9, 66, 71] Z: [78, 219, 257]
X: [10, 67, 72] Z: [32, 77, 106]
X: [11, 68, 73] Z: [76, 217, 255]
X: [12, 69, 74] Z: [30, 75, 104]
X: [13, 70, 75] Z: [74, 215, 253]
X: [14, 71, 76] Z: [28, 73, 102]
X: [15, 72, 77] Z: [72, 213, 279]
X: [16, 73, 78] Z: [54, 71, 100]
X: [17, 74, 79] Z: [70, 211, 277]
X: [18, 75, 80] Z: [52, 69, 98]
X: [19, 76, 81] Z: [68, 209, 275]
X: [20, 77, 82] Z: [50, 67, 96]
X: [21, 78, 83] Z: [66, 207, 273]
X: [22, 56, 79] Z: [48, 65, 94]
X: [23, 57, 80] Z: [64, 205, 271]
X: [24, 58, 81] Z: [46, 63, 92]
X: [25, 59, 82] Z: [62, 203, 269]
X: [26, 60, 83] Z: [44, 61, 90]
X: [27, 56, 61] Z: [60, 201, 267]
X: [28, 90, 197] Z: [14, 31, 60]
X: [29, 91, 198] Z: [30, 171, 237]
X: [30, 92, 199] Z: [12, 29, 58]
X: [31, 93, 200] Z: [28, 169, 235]
X: [32, 94, 201] Z: [10, 55, 56]
X: [33, 95, 202] Z: [54, 195, 233]
X: [34, 96, 203] Z: [8, 53, 82]
X: [35, 97, 204] Z: [52, 193, 231]
X: [36, 98, 205] Z: [6, 51, 80]
X: [37, 99, 206] Z: [50, 191, 229]
X: [38, 100, 207] Z: [4, 49, 78]
X: [39, 101, 208] Z: [48, 189, 227]
X: [40, 102, 209] Z: [2, 47, 76]
X: [41, 103, 210] Z: [46, 187, 225]
X: [42, 104, 211] Z: [0, 45, 74]
X: [43, 105, 212] Z: [44, 185, 251]
X: [44, 106, 213] Z: [26, 43, 72]
X: [45, 107, 214] Z: [42, 183, 249]
X: [46, 108, 215] Z: [24, 41, 70]
X: [47, 109, 216] Z: [40, 181, 247]
X: [48, 110, 217] Z: [22, 39, 68]
X: [49, 111, 218] Z: [38, 179, 245]
X: [50, 84, 219] Z: [20, 37, 66]
X: [51, 85, 220] Z: [36, 177, 243]
X: [52, 86, 221] Z: [18, 35, 64]
X: [53, 87, 222] Z: [34, 175, 241]
X: [54, 88, 223] Z: [16, 33, 62]
X: [55, 89, 196] Z: [32, 173, 239]
X: [1, 56, 118] Z: [3, 32, 322]
X: [2, 57, 119] Z: [2, 143, 209]
X: [3, 58, 120] Z: [1, 30, 320]
X: [4, 59, 121] Z: [0, 141, 207]
X: [5, 60, 122] Z: [27, 28, 318]
X: [6, 61, 123] Z: [26, 167, 205]
X: [7, 62, 124] Z: [25, 54, 316]
X: [8, 63, 125] Z: [24, 165, 203]
X: [9, 64, 126] Z: [23, 52, 314]
X: [10, 65, 127] Z: [22, 163, 201]
X: [11, 66, 128] Z: [21, 50, 312]
X: [12, 67, 129] Z: [20, 161, 199]
X: [13, 68, 130] Z: [19, 48, 310]
X: [14, 69, 131] Z: [18, 159, 197]
X: [15, 70, 132] Z: [17, 46, 308]
X: [16, 71, 133] Z: [16, 157, 223]
X: [17, 72, 134] Z: [15, 44, 334]
X: [18, 73, 135] Z: [14, 155, 221]
X: [19, 74, 136] Z: [13, 42, 332]
X: [20, 75, 137] Z: [12, 153, 219]
X: [21, 76, 138] Z: [11, 40, 330]
X: [22, 77, 139] Z: [10, 151, 217]
X: [23, 78, 112] Z: [9, 38, 328]
X: [24, 79, 113] Z: [8, 149, 215]
X: [25, 80, 114] Z: [7, 36, 326]
X: [26, 81, 115] Z: [6, 147, 213]
X: [27, 82, 116] Z: [5, 34, 324]
X: [0, 83, 117] Z: [4, 145, 211]
X: [84, 141, 146] Z: [4, 294, 311]
X: [85, 142, 147] Z: [115, 181, 310]
X: [86, 143, 148] Z: [2, 292, 309]
X: [87, 144, 149] Z: [113, 179, 308]
X: [88, 145, 150] Z: [0, 290, 335]
X: [89, 146, 151] Z: [139, 177, 334]
X: [90, 147, 152] Z: [26, 288, 333]
X: [91, 148, 153] Z: [137, 175, 332]
X: [92, 149, 154] Z: [24, 286, 331]
X: [93, 150, 155] Z: [135, 173, 330]
X: [94, 151, 156] Z: [22, 284, 329]
X: [95, 152, 157] Z: [133, 171, 328]
X: [96, 153, 158] Z: [20, 282, 327]
X: [97, 154, 159] Z: [131, 169, 326]
X: [98, 155, 160] Z: [18, 280, 325]
X: [99, 156, 161] Z: [129, 195, 324]
X: [100, 157, 162] Z: [16, 306, 323]
X: [101, 158, 163] Z: [127, 193, 322]
X: [102, 159, 164] Z: [14, 304, 321]
X: [103, 160, 165] Z: [125, 191, 320]
X: [104, 161, 166] Z: [12, 302, 319]
X: [105, 162, 167] Z: [123, 189, 318]
X: [106, 140, 163] Z: [10, 300, 317]
X: [107, 141, 164] Z: [121, 187, 316]
X: [108, 142, 165] Z: [8, 298, 315]
X: [109, 143, 166] Z: [119, 185, 314]
X: [110, 144, 167] Z: [6, 296, 313]
X: [111, 140, 145] Z: [117, 183, 312]
X: [112, 174, 281] Z: [266, 283, 312]
X: [113, 175, 282] Z: [87, 153, 282]
X: [114, 176, 283] Z: [264, 281, 310]
X: [115, 177, 284] Z: [85, 151, 280]
X: [116, 178, 285] Z: [262, 307, 308]
X: [117, 179, 286] Z: [111, 149, 306]
X: [118, 180, 287] Z: [260, 305, 334]
X: [119, 181, 288] Z: [109, 147, 304]
X: [120, 182, 289] Z: [258, 303, 332]
X: [121, 183, 290] Z: [107, 145, 302]
X: [122, 184, 291] Z: [256, 301, 330]
X: [123, 185, 292] Z: [105, 143, 300]
X: [124, 186, 293] Z: [254, 299, 328]
X: [125, 187, 294] Z: [103, 141, 298]
X: [126, 188, 295] Z: [252, 297, 326]
X: [127, 189, 296] Z: [101, 167, 296]
X: [128, 190, 297] Z: [278, 295, 324]
X: [129, 191, 298] Z: [99, 165, 294]
X: [130, 192, 299] Z: [276, 293, 322]
X: [131, 193, 300] Z: [97, 163, 292]
X: [132, 194, 301] Z: [274, 291, 320]
X: [133, 195, 302] Z: [95, 161, 290]
X: [134, 168, 303] Z: [272, 289, 318]
X: [135, 169, 304] Z: [93, 159, 288]
X: [136, 170, 305] Z: [270, 287, 316]
X: [137, 171, 306] Z: [91, 157, 286]
X: [138, 172, 307] Z: [268, 285, 314]
X: [139, 173, 280] Z: [89, 155, 284]
X: [85, 140, 202] Z: [238, 255, 284]
X: [86, 141, 203] Z: [59, 125, 254]
X: [87, 142, 204] Z: [236, 253, 282]
X: [88, 143, 205] Z: [57, 123, 252]
X: [89, 144, 206] Z: [234, 279, 280]
X: [90, 145, 207] Z: [83, 121, 278]
X: [91, 146, 208] Z: [232, 277, 306]
X: [92, 147, 209] Z: [81, 119, 276]
X: [93, 148, 210] Z: [230, 275, 304]
X: [94, 149, 211] Z: [79, 117, 274]
X: [95, 150, 212] Z: [228, 273, 302]
X: [96, 151, 213] Z: [77, 115, 272]
X: [97, 152, 214] Z: [226, 271, 300]
X: [98, 153, 215] Z: [75, 113, 270]
X: [99, 154, 216] Z: [224, 269, 298]
X: [100, 155, 217] Z: [73, 139, 268]
X: [101, 156, 218] Z: [250, 267, 296]
X: [102, 157, 219] Z: [71, 137, 266]
X: [103, 158, 220] Z: [248, 265, 294]
X: [104, 159, 221] Z: [69, 135, 264]
X: [105, 160, 222] Z: [246, 263, 292]
X: [106, 161, 223] Z: [67, 133, 262]
X: [107, 162, 196] Z: [244, 261, 290]
X: [108, 163, 197] Z: [65, 131, 260]
X: [109, 164, 198] Z: [242, 259, 288]
X: [110, 165, 199] Z: [63, 129, 258]
X: [111, 166, 200] Z: [240, 257, 286]
X: [84, 167, 201] Z: [61, 127, 256]
X: [168, 225, 230] Z: [210, 227, 256]
X: [169, 226, 231] Z: [31, 97, 226]
X: [170, 227, 232] Z: [208, 225, 254]
X: [171, 228, 233] Z: [29, 95, 224]
X: [172, 229, 234] Z: [206, 251, 252]
X: [173, 230, 235] Z: [55, 93, 250]
X: [174, 231, 236] Z: [204, 249, 278]
X: [175, 232, 237] Z: [53, 91, 248]
X: [176, 233, 238] Z: [202, 247, 276]
X: [177, 234, 239] Z: [51, 89, 246]
X: [178, 235, 240] Z: [200, 245, 274]
X: [179, 236, 241] Z: [49, 87, 244]
X: [180, 237, 242] Z: [198, 243, 272]
X: [181, 238, 243] Z: [47, 85, 242]
X: [182, 239, 244] Z: [196, 241, 270]
X: [183, 240, 245] Z: [45, 111, 240]
X: [184, 241, 246] Z: [222, 239, 268]
X: [185, 242, 247] Z: [43, 109, 238]
X: [186, 243, 248] Z: [220, 237, 266]
X: [187, 244, 249] Z: [41, 107, 236]
X: [188, 245, 250] Z: [218, 235, 264]
X: [189, 246, 251] Z: [39, 105, 234]
X: [190, 224, 247] Z: [216, 233, 262]
X: [191, 225, 248] Z: [37, 103, 232]
X: [192, 226, 249] Z: [214, 231, 260]
X: [193, 227, 250] Z: [35, 101, 230]
X: [194, 228, 251] Z: [212, 229, 258]
X: [195, 224, 229] Z: [33, 99, 228]
X: [29, 196, 258] Z: [182, 199, 228]
X: [30, 197, 259] Z: [3, 69, 198]
X: [31, 198, 260] Z: [180, 197, 226]
X: [32, 199, 261] Z: [1, 67, 196]
X: [33, 200, 262] Z: [178, 223, 224]
X: [34, 201, 263] Z: [27, 65, 222]
X: [35, 202, 264] Z: [176, 221, 250]
X: [36, 203, 265] Z: [25, 63, 220]
X: [37, 204, 266] Z: [174, 219, 248]
X: [38, 205, 267] Z: [23, 61, 218]
X: [39, 206, 268] Z: [172, 217, 246]
X: [40, 207, 269] Z: [21, 59, 216]
X: [41, 208, 270] Z: [170, 215, 244]
X: [42, 209, 271] Z: [19, 57, 214]
X: [43, 210, 272] Z: [168, 213, 242]
X: [44, 211, 273] Z: [17, 83, 212]
X: [45, 212, 274] Z: [194, 211, 240]
X: [46, 213, 275] Z: [15, 81, 210]
X: [47, 214, 276] Z: [192, 209, 238]
X: [48, 215, 277] Z: [13, 79, 208]
X: [49, 216, 278] Z: [190, 207, 236]
X: [50, 217, 279] Z: [11, 77, 206]
X: [51, 218, 252] Z: [188, 205, 234]
X: [52, 219, 253] Z: [9, 75, 204]
X: [53, 220, 254] Z: [186, 203, 232]
X: [54, 221, 255] Z: [7, 73, 202]
X: [55, 222, 256] Z: [184, 201, 230]
X: [28, 223, 257] Z: [5, 71, 200]
X: [169, 224, 286] Z: [154, 171, 200]
X: [170, 225, 287] Z: [41, 170, 311]
X: [171, 226, 288] Z: [152, 169, 198]
X: [172, 227, 289] Z: [39, 168, 309]
X: [173, 228, 290] Z: [150, 195, 196]
X: [174, 229, 291] Z: [37, 194, 335]
X: [175, 230, 292] Z: [148, 193, 222]
X: [176, 231, 293] Z: [35, 192, 333]
X: [177, 232, 294] Z: [146, 191, 220]
X: [178, 233, 295] Z: [33, 190, 331]
X: [179, 234, 296] Z: [144, 189, 218]
X: [180, 235, 297] Z: [31, 188, 329]
X: [181, 236, 298] Z: [142, 187, 216]
X: [182, 237, 299] Z: [29, 186, 327]
X: [183, 238, 300] Z: [140, 185, 214]
X: [184, 239, 301] Z: [55, 184, 325]
X: [185, 240, 302] Z: [166, 183, 212]
X: [186, 241, 303] Z: [53, 182, 323]
X: [187, 242, 304] Z: [164, 181, 210]
X: [188, 243, 305] Z: [51, 180, 321]
X: [189, 244, 306] Z: [162, 179, 208]
X: [190, 245, 307] Z: [49, 178, 319]
X: [191, 246, 280] Z: [160, 177, 206]
X: [192, 247, 281] Z: [47, 176, 317]
X: [193, 248, 282] Z: [158, 175, 204]
X: [194, 249, 283] Z: [45, 174, 315]
X: [195, 250, 284] Z: [156, 173, 202]
X: [168, 251, 285] Z: [43, 172, 313]
X: [252, 309, 314] Z: [126, 143, 172]
X: [253, 310, 315] Z: [13, 142, 283]
X: [254, 311, 316] Z: [124, 141, 170]
X: [255, 312, 317] Z: [11, 140, 281]
X: [256, 313, 318] Z: [122, 167, 168]
X: [257, 314, 319] Z: [9, 166, 307]
X: [258, 315, 320] Z: [120, 165, 194]
X: [259, 316, 321] Z: [7, 164, 305]
X: [260, 317, 322] Z: [118, 163, 192]
X: [261, 318, 323] Z: [5, 162, 303]
X: [262, 319, 324] Z: [116, 161, 190]
X: [263, 320, 325] Z: [3, 160, 301]
X: [264, 321, 326] Z: [114, 159, 188]
X: [265, 322, 327] Z: [1, 158, 299]
X: [266, 323, 328] Z: [112, 157, 186]
X: [267, 324, 329] Z: [27, 156, 297]
X: [268, 325, 330] Z: [138, 155, 184]
X: [269, 326, 331] Z: [25, 154, 295]
X: [270, 327, 332] Z: [136, 153, 182]
X: [271, 328, 333] Z: [23, 152, 293]
X: [272, 329, 334] Z: [134, 151, 180]
X: [273, 330, 335] Z: [21, 150, 291]
X: [274, 308, 331] Z: [132, 149, 178]
X: [275, 309, 332] Z: [19, 148, 289]
X: [276, 310, 333] Z: [130, 147, 176]
X: [277, 311, 334] Z: [17, 146, 287]
X: [278, 312, 335] Z: [128, 145, 174]
X: [279, 308, 313] Z: [15, 144, 285]
X: [6, 113, 280] Z: [98, 115, 144]
X: [7, 114, 281] Z: [114, 255, 321]
X: [8, 115, 282] Z: [96, 113, 142]
X: [9, 116, 283] Z: [112, 253, 319]
X: [10, 117, 284] Z: [94, 139, 140]
X: [11, 118, 285] Z: [138, 279, 317]
X: [12, 119, 286] Z: [92, 137, 166]
X: [13, 120, 287] Z: [136, 277, 315]
X: [14, 121, 288] Z: [90, 135, 164]
X: [15, 122, 289] Z: [134, 275, 313]
X: [16, 123, 290] Z: [88, 133, 162]
X: [17, 124, 291] Z: [132, 273, 311]
X: [18, 125, 292] Z: [86, 131, 160]
X: [19, 126, 293] Z: [130, 271, 309]
X: [20, 127, 294] Z: [84, 129, 158]
X: [21, 128, 295] Z: [128, 269, 335]
X: [22, 129, 296] Z: [110, 127, 156]
X: [23, 130, 297] Z: [126, 267, 333]
X: [24, 131, 298] Z: [108, 125, 154]
X: [25, 132, 299] Z: [124, 265, 331]
X: [26, 133, 300] Z: [106, 123, 152]
X: [27, 134, 301] Z: [122, 263, 329]
X: [0, 135, 302] Z: [104, 121, 150]
X: [1, 136, 303] Z: [120, 261, 327]
X: [2, 137, 304] Z: [102, 119, 148]
X: [3, 138, 305] Z: [118, 259, 325]
X: [4, 139, 306] Z: [100, 117, 146]
X: [5, 112, 307] Z: [116, 257, 323]
X: [34, 253, 308] Z: [70, 87, 116]
X: [35, 254, 309] Z: [86, 227, 293]
X: [36, 255, 310] Z: [68, 85, 114]
X: [37, 256, 311] Z: [84, 225, 291]
X: [38, 257, 312] Z: [66, 111, 112]
X: [39, 258, 313] Z: [110, 251, 289]
X: [40, 259, 314] Z: [64, 109, 138]
X: [41, 260, 315] Z: [108, 249, 287]
X: [42, 261, 316] Z: [62, 107, 136]
X: [43, 262, 317] Z: [106, 247, 285]
X: [44, 263, 318] Z: [60, 105, 134]
X: [45, 264, 319] Z: [104, 245, 283]
X: [46, 265, 320] Z: [58, 103, 132]
X: [47, 266, 321] Z: [102, 243, 281]
X: [48, 267, 322] Z: [56, 101, 130]
X: [49, 268, 323] Z: [100, 241, 307]
X: [50, 269, 324] Z: [82, 99, 128]
X: [51, 270, 325] Z: [98, 239, 305]
X: [52, 271, 326] Z: [80, 97, 126]
X: [53, 272, 327] Z: [96, 237, 303]
X: [54, 273, 328] Z: [78, 95, 124]
X: [55, 274, 329] Z: [94, 235, 301]
X: [28, 275, 330] Z: [76, 93, 122]
X: [29, 276, 331] Z: [92, 233, 299]
X: [30, 277, 332] Z: [74, 91, 120]
X: [31, 278, 333] Z: [90, 231, 297]
X: [32, 279, 334] Z: [72, 89, 118]
X: [33, 252, 335] Z: [88, 229, 295]