symplectic rows (A | B) (339, sparse supports)
X: [70, 188, 264, 442] Z: [84, 223, 311, 397]
X: [71, 189, 265, 443] Z: [83, 222, 310, 396]
X: [72, 190, 266, 444] Z: [82, 221, 309, 395]
X: [73, 191, 267, 445] Z: [81, 220, 308, 394]
X: [74, 192, 268, 446] Z: [80, 219, 307, 393]
X: [75, 193, 269, 447] Z: [79, 218, 306, 392]
X: [76, 194, 270, 448] Z: [78, 217, 305, 391]
X: [77, 195, 271, 449] Z: [77, 216, 304, 390]
X: [78, 196, 272, 450] Z: [76, 215, 303, 389]
X: [79, 197, 273, 451] Z: [75, 214, 302, 388]
X: [80, 198, 274, 339] Z: [74, 213, 301, 387]
X: [81, 199, 275, 340] Z: [73, 212, 300, 386]
X: [82, 200, 276, 341] Z: [72, 211, 299, 385]
X: [83, 201, 277, 342] Z: [71, 210, 298, 384]
X: [84, 202, 278, 343] Z: [70, 209, 297, 383]
X: [85, 203, 279, 344] Z: [69, 208, 296, 382]
X: [86, 204, 280, 345] Z: [68, 207, 295, 381]
X: [87, 205, 281, 346] Z: [67, 206, 294, 380]
X: [88, 206, 282, 347] Z: [66, 205, 293, 379]
X: [89, 207, 283, 348] Z: [65, 204, 292, 378]
X: [90, 208, 284, 349] Z: [64, 203, 291, 377]
X: [91, 209, 285, 350] Z: [63, 202, 290, 376]
X: [92, 210, 286, 351] Z: [62, 201, 289, 375]
X: [93, 211, 287, 352] Z: [61, 200, 288, 374]
X: [94, 212, 288, 353] Z: [60, 199, 287, 373]
X: [95, 213, 289, 354] Z: [59, 198, 286, 372]
X: [96, 214, 290, 355] Z: [58, 197, 285, 371]
X: [97, 215, 291, 356] Z: [57, 196, 284, 370]
X: [98, 216, 292, 357] Z: [56, 195, 283, 369]
X: [99, 217, 293, 358] Z: [55, 194, 282, 368]
X: [100, 218, 294, 359] Z: [54, 193, 281, 367]
X: [101, 219, 295, 360] Z: [53, 192, 280, 366]
X: [102, 220, 296, 361] Z: [52, 191, 279, 365]
X: [103, 221, 297, 362] Z: [51, 190, 278, 364]
X: [104, 222, 298, 363] Z: [50, 189, 277, 363]
X: [105, 223, 299, 364] Z: [49, 188, 276, 362]
X: [106, 224, 300, 365] Z: [48, 187, 275, 361]
X: [107, 225, 301, 366] Z: [47, 186, 274, 360]
X: [108, 113, 302, 367] Z: [46, 185, 273, 359]
X: [109, 114, 303, 368] Z: [45, 184, 272, 358]
X: [110, 115, 304, 369] Z: [44, 183, 271, 357]
X: [111, 116, 305, 370] Z: [43, 182, 270, 356]
X: [112, 117, 306, 371] Z: [42, 181, 269, 355]
X: [0, 118, 307, 372] Z: [41, 180, 268, 354]
X: [1, 119, 308, 373] Z: [40, 179, 267, 353]
X: [2, 120, 309, 374] Z: [39, 178, 266, 352]
X: [3, 121, 310, 375] Z: [38, 177, 265, 351]
X: [4, 122, 311, 376] Z: [37, 176, 264, 350]
X: [5, 123, 312, 377] Z: [36, 175, 263, 349]
X: [6, 124, 313, 378] Z: [35, 174, 262, 348]
X: [7, 125, 314, 379] Z: [34, 173, 261, 347]
X: [8, 126, 315, 380] Z: [33, 172, 260, 346]
X: [9, 127, 316, 381] Z: [32, 171, 259, 345]
X: [10, 128, 317, 382] Z: [31, 170, 258, 344]
X: [11, 129, 318, 383] Z: [30, 169, 257, 343]
X: [12, 130, 319, 384] Z: [29, 168, 256, 342]
X: [13, 131, 320, 385] Z: [28, 167, 255, 341]
X: [14, 132, 321, 386] Z: [27, 166, 254, 340]
X: [15, 133, 322, 387] Z: [26, 165, 253, 339]
X: [16, 134, 323, 388] Z: [25, 164, 252, 451]
X: [17, 135, 324, 389] Z: [24, 163, 251, 450]
X: [18, 136, 325, 390] Z: [23, 162, 250, 449]
X: [19, 137, 326, 391] Z: [22, 161, 249, 448]
X: [20, 138, 327, 392] Z: [21, 160, 248, 447]
X: [21, 139, 328, 393] Z: [20, 159, 247, 446]
X: [22, 140, 329, 394] Z: [19, 158, 246, 445]
X: [23, 141, 330, 395] Z: [18, 157, 245, 444]
X: [24, 142, 331, 396] Z: [17, 156, 244, 443]
X: [25, 143, 332, 397] Z: [16, 155, 243, 442]
X: [26, 144, 333, 398] Z: [15, 154, 242, 441]
X: [27, 145, 334, 399] Z: [14, 153, 241, 440]
X: [28, 146, 335, 400] Z: [13, 152, 240, 439]
X: [29, 147, 336, 401] Z: [12, 151, 239, 438]
X: [30, 148, 337, 402] Z: [11, 150, 238, 437]
X: [31, 149, 338, 403] Z: [10, 149, 237, 436]
X: [32, 150, 226, 404] Z: [9, 148, 236, 435]
X: [33, 151, 227, 405] Z: [8, 147, 235, 434]
X: [34, 152, 228, 406] Z: [7, 146, 234, 433]
X: [35, 153, 229, 407] Z: [6, 145, 233, 432]
X: [36, 154, 230, 408] Z: [5, 144, 232, 431]
X: [37, 155, 231, 409] Z: [4, 143, 231, 430]
X: [38, 156, 232, 410] Z: [3, 142, 230, 429]
X: [39, 157, 233, 411] Z: [2, 141, 229, 428]
X: [40, 158, 234, 412] Z: [1, 140, 228, 427]
X: [41, 159, 235, 413] Z: [0, 139, 227, 426]
X: [42, 160, 236, 414] Z: [112, 138, 226, 425]
X: [43, 161, 237, 415] Z: [111, 137, 338, 424]
X: [44, 162, 238, 416] Z: [110, 136, 337, 423]
X: [45, 163, 239, 417] Z: [109, 135, 336, 422]
X: [46, 164, 240, 418] Z: [108, 134, 335, 421]
X: [47, 165, 241, 419] Z: [107, 133, 334, 420]
X: [48, 166, 242, 420] Z: [106, 132, 333, 419]
X: [49, 167, 243, 421] Z: [105, 131, 332, 418]
X: [50, 168, 244, 422] Z: [104, 130, 331, 417]
X: [51, 169, 245, 423] Z: [103, 129, 330, 416]
X: [52, 170, 246, 424] Z: [102, 128, 329, 415]
X: [53, 171, 247, 425] Z: [101, 127, 328, 414]
X: [54, 172, 248, 426] Z: [100, 126, 327, 413]
X: [55, 173, 249, 427] Z: [99, 125, 326, 412]
X: [56, 174, 250, 428] Z: [98, 124, 325, 411]
X: [57, 175, 251, 429] Z: [97, 123, 324, 410]
X: [58, 176, 252, 430] Z: [96, 122, 323, 409]
X: [59, 177, 253, 431] Z: [95, 121, 322, 408]
X: [60, 178, 254, 432] Z: [94, 120, 321, 407]
X: [61, 179, 255, 433] Z: [93, 119, 320, 406]
X: [62, 180, 256, 434] Z: [92, 118, 319, 405]
X: [63, 181, 257, 435] Z: [91, 117, 318, 404]
X: [64, 182, 258, 436] Z: [90, 116, 317, 403]
X: [65, 183, 259, 437] Z: [89, 115, 316, 402]
X: [66, 184, 260, 438] Z: [88, 114, 315, 401]
X: [67, 185, 261, 439] Z: [87, 113, 314, 400]
X: [68, 186, 262, 440] Z: [86, 225, 313, 399]
X: [69, 187, 263, 441] Z: [85, 224, 312, 398]
X: [4, 220, 238, 394] Z: [30, 155, 305, 370]
X: [5, 221, 239, 395] Z: [29, 154, 304, 369]
X: [6, 222, 240, 396] Z: [28, 153, 303, 368]
X: [7, 223, 241, 397] Z: [27, 152, 302, 367]
X: [8, 224, 242, 398] Z: [26, 151, 301, 366]
X: [9, 225, 243, 399] Z: [25, 150, 300, 365]
X: [10, 113, 244, 400] Z: [24, 149, 299, 364]
X: [11, 114, 245, 401] Z: [23, 148, 298, 363]
X: [12, 115, 246, 402] Z: [22, 147, 297, 362]
X: [13, 116, 247, 403] Z: [21, 146, 296, 361]
X: [14, 117, 248, 404] Z: [20, 145, 295, 360]
X: [15, 118, 249, 405] Z: [19, 144, 294, 359]
X: [16, 119, 250, 406] Z: [18, 143, 293, 358]
X: [17, 120, 251, 407] Z: [17, 142, 292, 357]
X: [18, 121, 252, 408] Z: [16, 141, 291, 356]
X: [19, 122, 253, 409] Z: [15, 140, 290, 355]
X: [20, 123, 254, 410] Z: [14, 139, 289, 354]
X: [21, 124, 255, 411] Z: [13, 138, 288, 353]
X: [22, 125, 256, 412] Z: [12, 137, 287, 352]
X: [23, 126, 257, 413] Z: [11, 136, 286, 351]
X: [24, 127, 258, 414] Z: [10, 135, 285, 350]
X: [25, 128, 259, 415] Z: [9, 134, 284, 349]
X: [26, 129, 260, 416] Z: [8, 133, 283, 348]
X: [27, 130, 261, 417] Z: [7, 132, 282, 347]
X: [28, 131, 262, 418] Z: [6, 131, 281, 346]
X: [29, 132, 263, 419] Z: [5, 130, 280, 345]
X: [30, 133, 264, 420] Z: [4, 129, 279, 344]
X: [31, 134, 265, 421] Z: [3, 128, 278, 343]
X: [32, 135, 266, 422] Z: [2, 127, 277, 342]
X: [33, 136, 267, 423] Z: [1, 126, 276, 341]
X: [34, 137, 268, 424] Z: [0, 125, 275, 340]
X: [35, 138, 269, 425] Z: [112, 124, 274, 339]
X: [36, 139, 270, 426] Z: [111, 123, 273, 451]
X: [37, 140, 271, 427] Z: [110, 122, 272, 450]
X: [38, 141, 272, 428] Z: [109, 121, 271, 449]
X: [39, 142, 273, 429] Z: [108, 120, 270, 448]
X: [40, 143, 274, 430] Z: [107, 119, 269, 447]
X: [41, 144, 275, 431] Z: [106, 118, 268, 446]
X: [42, 145, 276, 432] Z: [105, 117, 267, 445]
X: [43, 146, 277, 433] Z: [104, 116, 266, 444]
X: [44, 147, 278, 434] Z: [103, 115, 265, 443]
X: [45, 148, 279, 435] Z: [102, 114, 264, 442]
X: [46, 149, 280, 436] Z: [101, 113, 263, 441]
X: [47, 150, 281, 437] Z: [100, 225, 262, 440]
X: [48, 151, 282, 438] Z: [99, 224, 261, 439]
X: [49, 152, 283, 439] Z: [98, 223, 260, 438]
X: [50, 153, 284, 440] Z: [97, 222, 259, 437]
X: [51, 154, 285, 441] Z: [96, 221, 258, 436]
X: [52, 155, 286, 442] Z: [95, 220, 257, 435]
X: [53, 156, 287, 443] Z: [94, 219, 256, 434]
X: [54, 157, 288, 444] Z: [93, 218, 255, 433]
X: [55, 158, 289, 445] Z: [92, 217, 254, 432]
X: [56, 159, 290, 446] Z: [91, 216, 253, 431]
X: [57, 160, 291, 447] Z: [90, 215, 252, 430]
X: [58, 161, 292, 448] Z: [89, 214, 251, 429]
X: [59, 162, 293, 449] Z: [88, 213, 250, 428]
X: [60, 163, 294, 450] Z: [87, 212, 249, 427]
X: [61, 164, 295, 451] Z: [86, 211, 248, 426]
X: [62, 165, 296, 339] Z: [85, 210, 247, 425]
X: [63, 166, 297, 340] Z: [84, 209, 246, 424]
X: [64, 167, 298, 341] Z: [83, 208, 245, 423]
X: [65, 168, 299, 342] Z: [82, 207, 244, 422]
X: [66, 169, 300, 343] Z: [81, 206, 243, 421]
X: [67, 170, 301, 344] Z: [80, 205, 242, 420]
X: [68, 171, 302, 345] Z: [79, 204, 241, 419]
X: [69, 172, 303, 346] Z: [78, 203, 240, 418]
X: [70, 173, 304, 347] Z: [77, 202, 239, 417]
X: [71, 174, 305, 348] Z: [76, 201, 238, 416]
X: [72, 175, 306, 349] Z: [75, 200, 237, 415]
X: [73, 176, 307, 350] Z: [74, 199, 236, 414]
X: [74, 177, 308, 351] Z: [73, 198, 235, 413]
X: [75, 178, 309, 352] Z: [72, 197, 234, 412]
X: [76, 179, 310, 353] Z: [71, 196, 233, 411]
X: [77, 180, 311, 354] Z: [70, 195, 232, 410]
X: [78, 181, 312, 355] Z: [69, 194, 231, 409]
X: [79, 182, 313, 356] Z: [68, 193, 230, 408]
X: [80, 183, 314, 357] Z: [67, 192, 229, 407]
X: [81, 184, 315, 358] Z: [66, 191, 228, 406]
X: [82, 185, 316, 359] Z: [65, 190, 227, 405]
X: [83, 186, 317, 360] Z: [64, 189, 226, 404]
X: [84, 187, 318, 361] Z: [63, 188, 338, 403]
X: [85, 188, 319, 362] Z: [62, 187, 337, 402]
X: [86, 189, 320, 363] Z: [61, 186, 336, 401]
X: [87, 190, 321, 364] Z: [60, 185, 335, 400]
X: [88, 191, 322, 365] Z: [59, 184, 334, 399]
X: [89, 192, 323, 366] Z: [58, 183, 333, 398]
X: [90, 193, 324, 367] Z: [57, 182, 332, 397]
X: [91, 194, 325, 368] Z: [56, 181, 331, 396]
X: [92, 195, 326, 369] Z: [55, 180, 330, 395]
X: [93, 196, 327, 370] Z: [54, 179, 329, 394]
X: [94, 197, 328, 371] Z: [53, 178, 328, 393]
X: [95, 198, 329, 372] Z: [52, 177, 327, 392]
X: [96, 199, 330, 373] Z: [51, 176, 326, 391]
X: [97, 200, 331, 374] Z: [50, 175, 325, 390]
X: [98, 201, 332, 375] Z: [49, 174, 324, 389]
X: [99, 202, 333, 376] Z: [48, 173, 323, 388]
X: [100, 203, 334, 377] Z: [47, 172, 322, 387]
X: [101, 204, 335, 378] Z: [46, 171, 321, 386]
X: [102, 205, 336, 379] Z: [45, 170, 320, 385]
X: [103, 206, 337, 380] Z: [44, 169, 319, 384]
X: [104, 207, 338, 381] Z: [43, 168, 318, 383]
X: [105, 208, 226, 382] Z: [42, 167, 317, 382]
X: [106, 209, 227, 383] Z: [41, 166, 316, 381]
X: [107, 210, 228, 384] Z: [40, 165, 315, 380]
X: [108, 211, 229, 385] Z: [39, 164, 314, 379]
X: [109, 212, 230, 386] Z: [38, 163, 313, 378]
X: [110, 213, 231, 387] Z: [37, 162, 312, 377]
X: [111, 214, 232, 388] Z: [36, 161, 311, 376]
X: [112, 215, 233, 389] Z: [35, 160, 310, 375]
X: [0, 216, 234, 390] Z: [34, 159, 309, 374]
X: [1, 217, 235, 391] Z: [33, 158, 308, 373]
X: [2, 218, 236, 392] Z: [32, 157, 307, 372]
X: [3, 219, 237, 393] Z: [31, 156, 306, 371]
X: [28, 139, 268, 354] Z: [41, 222, 320, 363]
X: [29, 140, 269, 355] Z: [40, 221, 319, 362]
X: [30, 141, 270, 356] Z: [39, 220, 318, 361]
X: [31, 142, 271, 357] Z: [38, 219, 317, 360]
X: [32, 143, 272, 358] Z: [37, 218, 316, 359]
X: [33, 144, 273, 359] Z: [36, 217, 315, 358]
X: [34, 145, 274, 360] Z: [35, 216, 314, 357]
X: [35, 146, 275, 361] Z: [34, 215, 313, 356]
X: [36, 147, 276, 362] Z: [33, 214, 312, 355]
X: [37, 148, 277, 363] Z: [32, 213, 311, 354]
X: [38, 149, 278, 364] Z: [31, 212, 310, 353]
X: [39, 150, 279, 365] Z: [30, 211, 309, 352]
X: [40, 151, 280, 366] Z: [29, 210, 308, 351]
X: [41, 152, 281, 367] Z: [28, 209, 307, 350]
X: [42, 153, 282, 368] Z: [27, 208, 306, 349]
X: [43, 154, 283, 369] Z: [26, 207, 305, 348]
X: [44, 155, 284, 370] Z: [25, 206, 304, 347]
X: [45, 156, 285, 371] Z: [24, 205, 303, 346]
X: [46, 157, 286, 372] Z: [23, 204, 302, 345]
X: [47, 158, 287, 373] Z: [22, 203, 301, 344]
X: [48, 159, 288, 374] Z: [21, 202, 300, 343]
X: [49, 160, 289, 375] Z: [20, 201, 299, 342]
X: [50, 161, 290, 376] Z: [19, 200, 298, 341]
X: [51, 162, 291, 377] Z: [18, 199, 297, 340]
X: [52, 163, 292, 378] Z: [17, 198, 296, 339]
X: [53, 164, 293, 379] Z: [16, 197, 295, 451]
X: [54, 165, 294, 380] Z: [15, 196, 294, 450]
X: [55, 166, 295, 381] Z: [14, 195, 293, 449]
X: [56, 167, 296, 382] Z: [13, 194, 292, 448]
X: [57, 168, 297, 383] Z: [12, 193, 291, 447]
X: [58, 169, 298, 384] Z: [11, 192, 290, 446]
X: [59, 170, 299, 385] Z: [10, 191, 289, 445]
X: [60, 171, 300, 386] Z: [9, 190, 288, 444]
X: [61, 172, 301, 387] Z: [8, 189, 287, 443]
X: [62, 173, 302, 388] Z: [7, 188, 286, 442]
X: [63, 174, 303, 389] Z: [6, 187, 285, 441]
X: [64, 175, 304, 390] Z: [5, 186, 284, 440]
X: [65, 176, 305, 391] Z: [4, 185, 283, 439]
X: [66, 177, 306, 392] Z: [3, 184, 282, 438]
X: [67, 178, 307, 393] Z: [2, 183, 281, 437]
X: [68, 179, 308, 394] Z: [1, 182, 280, 436]
X: [69, 180, 309, 395] Z: [0, 181, 279, 435]
X: [70, 181, 310, 396] Z: [112, 180, 278, 434]
X: [71, 182, 311, 397] Z: [111, 179, 277, 433]
X: [72, 183, 312, 398] Z: [110, 178, 276, 432]
X: [73, 184, 313, 399] Z: [109, 177, 275, 431]
X: [74, 185, 314, 400] Z: [108, 176, 274, 430]
X: [75, 186, 315, 401] Z: [107, 175, 273, 429]
X: [76, 187, 316, 402] Z: [106, 174, 272, 428]
X: [77, 188, 317, 403] Z: [105, 173, 271, 427]
X: [78, 189, 318, 404] Z: [104, 172, 270, 426]
X: [79, 190, 319, 405] Z: [103, 171, 269, 425]
X: [80, 191, 320, 406] Z: [102, 170, 268, 424]
X: [81, 192, 321, 407] Z: [101, 169, 267, 423]
X: [82, 193, 322, 408] Z: [100, 168, 266, 422]
X: [83, 194, 323, 409] Z: [99, 167, 265, 421]
X: [84, 195, 324, 410] Z: [98, 166, 264, 420]
X: [85, 196, 325, 411] Z: [97, 165, 263, 419]
X: [86, 197, 326, 412] Z: [96, 164, 262, 418]
X: [87, 198, 327, 413] Z: [95, 163, 261, 417]
X: [88, 199, 328, 414] Z: [94, 162, 260, 416]
X: [89, 200, 329, 415] Z: [93, 161, 259, 415]
X: [90, 201, 330, 416] Z: [92, 160, 258, 414]
X: [91, 202, 331, 417] Z: [91, 159, 257, 413]
X: [92, 203, 332, 418] Z: [90, 158, 256, 412]
X: [93, 204, 333, 419] Z: [89, 157, 255, 411]
X: [94, 205, 334, 420] Z: [88, 156, 254, 410]
X: [95, 206, 335, 421] Z: [87, 155, 253, 409]
X: [96, 207, 336, 422] Z: [86, 154, 252, 408]
X: [97, 208, 337, 423] Z: [85, 153, 251, 407]
X: [98, 209, 338, 424] Z: [84, 152, 250, 406]
X: [99, 210, 226, 425] Z: [83, 151, 249, 405]
X: [100, 211, 227, 426] Z: [82, 150, 248, 404]
X: [101, 212, 228, 427] Z: [81, 149, 247, 403]
X: [102, 213, 229, 428] Z: [80, 148, 246, 402]
X: [103, 214, 230, 429] Z: [79, 147, 245, 401]
X: [104, 215, 231, 430] Z: [78, 146, 244, 400]
X: [105, 216, 232, 431] Z: [77, 145, 243, 399]
X: [106, 217, 233, 432] Z: [76, 144, 242, 398]
X: [107, 218, 234, 433] Z: [75, 143, 241, 397]
X: [108, 219, 235, 434] Z: [74, 142, 240, 396]
X: [109, 220, 236, 435] Z: [73, 141, 239, 395]
X: [110, 221, 237, 436] Z: [72, 140, 238, 394]
X: [111, 222, 238, 437] Z: [71, 139, 237, 393]
X: [112, 223, 239, 438] Z: [70, 138, 236, 392]
X: [0, 224, 240, 439] Z: [69, 137, 235, 391]
X: [1, 225, 241, 440] Z: [68, 136, 234, 390]
X: [2, 113, 242, 441] Z: [67, 135, 233, 389]
X: [3, 114, 243, 442] Z: [66, 134, 232, 388]
X: [4, 115, 244, 443] Z: [65, 133, 231, 387]
X: [5, 116, 245, 444] Z: [64, 132, 230, 386]
X: [6, 117, 246, 445] Z: [63, 131, 229, 385]
X: [7, 118, 247, 446] Z: [62, 130, 228, 384]
X: [8, 119, 248, 447] Z: [61, 129, 227, 383]
X: [9, 120, 249, 448] Z: [60, 128, 226, 382]
X: [10, 121, 250, 449] Z: [59, 127, 338, 381]
X: [11, 122, 251, 450] Z: [58, 126, 337, 380]
X: [12, 123, 252, 451] Z: [57, 125, 336, 379]
X: [13, 124, 253, 339] Z: [56, 124, 335, 378]
X: [14, 125, 254, 340] Z: [55, 123, 334, 377]
X: [15, 126, 255, 341] Z: [54, 122, 333, 376]
X: [16, 127, 256, 342] Z: [53, 121, 332, 375]
X: [17, 128, 257, 343] Z: [52, 120, 331, 374]
X: [18, 129, 258, 344] Z: [51, 119, 330, 373]
X: [19, 130, 259, 345] Z: [50, 118, 329, 372]
X: [20, 131, 260, 346] Z: [49, 117, 328, 371]
X: [21, 132, 261, 347] Z: [48, 116, 327, 370]
X: [22, 133, 262, 348] Z: [47, 115, 326, 369]
X: [23, 134, 263, 349] Z: [46, 114, 325, 368]
X: [24, 135, 264, 350] Z: [45, 113, 324, 367]
X: [25, 136, 265, 351] Z: [44, 225, 323, 366]
X: [26, 137, 266, 352] Z: [43, 224, 322, 365]
X: [27, 138, 267, 353] Z: [42, 223, 321, 364]