Independent generated check. This module provides an additional generated proof of row 06
and is not imported by the main LowGenus root.
Generated exact replay of the fixed AR row-06 divisor on a fundamental domain for the core's slot-level symmetry group.
The external discovery data are untrusted: cells_check and
tree_check replay every arithmetic obligation in the kernel, and the
chamber is discharged by the generated coverage theorem, so the
conclusion is the row on the whole closed orthant.
The 483 row-06 closed-cover cells in global index order, obtained by concatenating the five certificate blocks.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The twelve root rows of the closed orthant followed by the six chamber inequalities cutting the fundamental domain.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The 37 homogeneous affine forms whose signs determine branches of the row-06 decision tree; coefficients are indexed by the twelve edge lengths.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on length[2] - length[3] in the row-06 symmetry chamber, with leaves
selecting cells 0, 1, 2, 3, 4, 5 and Farkas receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with
leaves selecting cells 0, 6, 7, 8, 9, 10 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 167 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 11, 12, 13, 14, 15 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 180 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 16, 17, 18, 19, 20 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 21, 22, 23, 24, 25, 26, 27, 28, 29, 30 and Farkas receipts
excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[8] + length[9] in the row-06 symmetry chamber, with
leaves selecting cells 0, 31, 32, 33, 34, 35 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 312 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 36, 37, 38, 39, 40 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 313 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 41, 42, 43, 44, 45 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[8] - 2 * length[9] - length[10] in the row-06 symmetry
chamber, with leaves selecting cells 46, 47, 48, 49, 50, 51, 52, 53, 54 and Farkas receipts
excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 339 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with
leaves selecting cells 31, 55, 56, 57, 58, 59 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 347 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with
leaves selecting cells 32, 60, 61, 62, 63, 64 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 359 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[8] - 2 * length[9] - length[10] in the row-06 symmetry
chamber, with leaves selecting cells 65, 66, 67 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] + 2 * length[7] in the row-06 symmetry chamber, with
leaves selecting cells 68, 69, 70, 71, 72, 73, 74, 75 and Farkas receipts excluding inconsistent
sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 339 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 444 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 76, 77, 78, 79, 80 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 445 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 81, 82, 83, 84, 85 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 86, 87, 88, 89, 90, 91, 92, 93, 94, 95 and Farkas receipts
excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 347 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 359 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 96, 97, 98, 99, 100 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 363 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 101, 102, 103, 104, 105 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 106, 107, 108, 109, 110, 111, 112, 113, 114, 115 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 521 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 116, 117, 118, 119, 120 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 524 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 525 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber,
with leaves selecting cells 121, 122, 123 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - length[0] - 2 * length[2] + length[3] in the row-06 symmetry
chamber, with leaves selecting cells 124, 125, 126, 127, 128, 129, 130, 131, 132 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 521 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 133, 134, 135, 136, 137 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 574 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 575 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on length[4] - length[5] - 2 * length[7] in the row-06 symmetry chamber,
with leaves selecting cells 138, 139, 140 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - length[0] - 2 * length[2] + length[3] in the row-06 symmetry
chamber, with leaves selecting cells 141, 142, 143, 144, 145, 146, 147, 148, 149 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 614 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on length[8] - 2 * length[9] in the row-06 symmetry chamber, with leaves
selecting cells 0, 150, 151, 152, 153, 154 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 629 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 155, 156, 157, 158, 159 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 637 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 160, 161, 162, 163, 164 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[8] + 2 * length[9] - length[10] in the row-06 symmetry
chamber, with leaves selecting cells 165, 166, 167, 168, 169, 170, 171, 172, 173, 174 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 629 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with
leaves selecting cells 150, 175, 176, 177, 178, 179 and Farkas receipts excluding inconsistent
sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 637 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with
leaves selecting cells 151, 180, 181, 182, 183, 184 and Farkas receipts excluding inconsistent
sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with
leaves selecting cells 152, 185, 186, 187, 188, 189 and Farkas receipts excluding inconsistent
sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] + length[7] in the row-06 symmetry chamber, with
leaves selecting cells 190, 191, 192, 193, 194 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 629 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 711 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 195, 196, 197, 198, 199 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 712 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 200, 201, 202, 203, 204 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 205, 206, 207, 208, 209, 210, 211, 212, 213, 214 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 637 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 720 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 215, 216, 217, 218, 219 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 721 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 220, 221, 222, 223, 224 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 225, 226, 227, 228, 229, 230, 231, 232, 233, 234 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 693 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 235, 236, 237, 238, 239 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 736 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 240, 241, 242, 243, 244 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[4] - length[5] - 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 245, 246, 247, 248, 249, 250, 251, 252, 253 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 693 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[8] - length[9] + length[11] in the row-06 symmetry
chamber, with leaves selecting cells 254, 255, 256, 257, 258 and Farkas receipts excluding
inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 736 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 259, 260, 261, 262, 263 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 264, 265, 266, 267, 268, 269, 270, 271 and Farkas receipts excluding
inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 762 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves
selecting cells 0, 272, 273, 274, 275 and Farkas receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 774 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 276, 277, 278, 279, 280 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 775 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 281, 282, 283, 284, 285 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 286, 287, 288, 289, 290, 291, 292, 293, 294, 295 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 801 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves
selecting cells 31, 296, 297, 298, 299 and Farkas receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 810 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves
selecting cells 32, 300, 301, 302, 303 and Farkas receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves
selecting cells 304, 305, 306, 307, 308, 309, 310, 311 and Farkas receipts excluding
inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 801 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 837 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 312, 313, 314, 315, 316 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 838 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 317, 318, 319, 320, 321 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 322, 323, 324, 325, 326, 327, 328, 329, 330, 331 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 810 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 819 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 332, 333, 334, 335, 336 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 859 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 337, 338, 339, 340, 341 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 342, 343, 344, 345, 346, 347, 348, 349, 350 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 884 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 351, 352, 353, 354, 355 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 885 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 356, 357, 358, 359, 360 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 361, 362, 363, 364, 365, 366, 367, 368, 369, 370 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 884 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on - length[8] + 2 * length[9] + length[11] in the row-06 symmetry
chamber, with leaves selecting cells 371, 372, 373, 374, 375 and Farkas receipts excluding
inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 885 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 376, 377, 378, 379, 380 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 381, 382, 383, 384, 385, 386, 387, 388 and Farkas receipts excluding
inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 936 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 937 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves
selecting cells 150, 389, 390, 391, 392 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 946 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on length[4] - 2 * length[7] in the row-06 symmetry chamber, with leaves
selecting cells 151, 393, 394, 395, 396 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 961 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on - 2 * length[8] + 2 * length[9] - length[10] in the row-06 symmetry
chamber, with leaves selecting cells 397, 398, 399 and Farkas receipts excluding inconsistent
sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[4] - 2 * length[7] in the row-06 symmetry chamber, with
leaves selecting cells 400, 401, 402, 403, 404, 405, 406, 407 and Farkas receipts excluding
inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 937 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 996 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 408, 409, 410, 411, 412 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 997 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 413, 414, 415, 416, 417 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 418, 419, 420, 421, 422, 423, 424, 425, 426, 427 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 946 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 961 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 428, 429, 430, 431, 432 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 968 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 433, 434, 435, 436, 437 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 438, 439, 440, 441, 442, 443, 444, 445, 446, 447 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 819 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 448, 449, 450, 451, 452 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 859 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[2] - 2 * length[3] in the row-06 symmetry chamber, with
leaves selecting cells 453, 454, 455, 456, 457 and Farkas receipts excluding inconsistent sign
branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - 2 * length[4] - length[5] + 2 * length[7] in the row-06 symmetry
chamber, with leaves selecting cells 458, 459, 460, 461, 462, 463, 464, 465, 466 and Farkas
receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 819 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Contradiction leaf using Farkas receipt 721 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
Subtree splitting on 2 * length[4] - length[7] in the row-06 symmetry chamber, with leaves
selecting cells 467, 468, 469, 470 and Farkas receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on 2 * length[4] - length[7] in the row-06 symmetry chamber, with leaves
selecting cells 471, 472, 473, 474 and Farkas receipts excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Subtree splitting on - length[0] - 2 * length[2] + 2 * length[3] in the row-06 symmetry
chamber, with leaves selecting cells 475, 476, 477, 478, 479, 480, 481, 482 and Farkas receipts
excluding inconsistent sign branches.
Equations
- One or more equations did not get rendered due to their size.
Instances For
Contradiction leaf using Farkas receipt 1073 to exclude the accumulated affine constraints in this row-06 branch.
Equations
Instances For
A branch of the final row-06 cover assembly, starting at split form 2 and combining the previously verified decision subtrees.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A branch of the final row-06 cover assembly, starting at split form 3 and combining the previously verified decision subtrees.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A branch of the final row-06 cover assembly, starting at split form 1 and combining the previously verified decision subtrees.
Equations
- One or more equations did not get rendered due to their size.
Instances For
A branch of the final row-06 cover assembly, starting at split form 1 and combining the previously verified decision subtrees.
Equations
- One or more equations did not get rendered due to their size.
Instances For
The complete compact decision tree for row 06 on the symmetry chamber, assembling 144 subtrees whose cell and Farkas certificates are replayed by the cover checker.
Equations
- One or more equations did not get rendered due to their size.
Instances For
On the chamber the eighteen active rows all hold: the first twelve because lengths are natural numbers, the last six by definition of the fundamental domain.
Connectivity of the core, checked here so that the generated modules stay self-contained.