/export/starexec/sandbox/solver/bin/starexec_run_rcdcRelativeAlsoLower /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?, O(n^1)) proof of /export/starexec/sandbox/benchmark/theBenchmark.xml # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty The Derivational Complexity (full) of the given DCpxTrs could be proven to be BOUNDS(1, n^1). (0) DCpxTrs (1) DerivationalComplexityToRuntimeComplexityProof [BOTH BOUNDS(ID, ID), 0 ms] (2) CpxRelTRS (3) SInnermostTerminationProof [BOTH CONCRETE BOUNDS(ID, ID), 44 ms] (4) CpxRelTRS (5) RelTrsToTrsProof [UPPER BOUND(ID), 0 ms] (6) CpxTRS (7) CpxTrsMatchBoundsProof [FINISHED, 290 ms] (8) BOUNDS(1, n^1) ---------------------------------------- (0) Obligation: The Derivational Complexity (full) of the given DCpxTrs could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(0(x1)) -> 1(0(2(0(2(x1))))) 0(0(x1)) -> 0(2(3(4(0(2(x1)))))) 0(3(x1)) -> 0(2(3(2(x1)))) 0(3(x1)) -> 2(0(2(1(3(x1))))) 0(3(x1)) -> 2(3(0(2(2(x1))))) 0(3(x1)) -> 0(2(2(2(3(2(x1)))))) 0(0(0(x1))) -> 0(2(0(0(x1)))) 0(0(4(x1))) -> 2(4(0(0(3(2(x1)))))) 0(0(5(x1))) -> 0(5(2(0(x1)))) 0(1(3(x1))) -> 3(2(2(1(0(x1))))) 0(3(0(x1))) -> 2(0(2(3(4(0(x1)))))) 0(4(3(x1))) -> 3(0(2(4(x1)))) 0(4(3(x1))) -> 1(0(2(1(3(4(x1)))))) 0(4(3(x1))) -> 2(2(4(3(4(0(x1)))))) 0(4(5(x1))) -> 2(4(0(5(2(5(x1)))))) 0(4(5(x1))) -> 5(3(2(4(4(0(x1)))))) 0(5(0(x1))) -> 0(5(2(4(0(x1))))) 0(5(0(x1))) -> 5(0(2(3(2(0(x1)))))) 0(5(3(x1))) -> 3(2(5(3(2(0(x1)))))) 1(0(0(x1))) -> 1(0(2(5(0(2(x1)))))) 1(0(3(x1))) -> 2(1(3(0(5(2(x1)))))) 1(0(4(x1))) -> 3(0(2(1(4(x1))))) 1(0(4(x1))) -> 2(1(2(1(4(0(x1)))))) 3(0(0(x1))) -> 3(0(2(0(x1)))) 3(0(3(x1))) -> 3(0(2(3(x1)))) 3(0(3(x1))) -> 3(3(2(2(0(x1))))) 3(0(4(x1))) -> 2(2(3(4(0(x1))))) 3(0(4(x1))) -> 2(3(4(2(0(3(x1)))))) 3(0(4(x1))) -> 5(5(2(4(0(3(x1)))))) 3(3(4(x1))) -> 3(2(1(3(2(4(x1)))))) 3(5(0(x1))) -> 3(5(1(0(2(1(x1)))))) 4(0(4(x1))) -> 0(2(4(4(0(x1))))) 4(0(4(x1))) -> 1(4(0(2(4(0(x1)))))) 0(0(4(3(x1)))) -> 3(0(0(2(1(4(x1)))))) 0(0(5(3(x1)))) -> 0(5(2(5(0(3(x1)))))) 0(1(0(3(x1)))) -> 2(1(0(3(0(x1))))) 0(1(1(0(x1)))) -> 2(1(0(0(1(2(x1)))))) 0(4(0(0(x1)))) -> 0(4(0(2(1(0(x1)))))) 0(4(1(3(x1)))) -> 2(1(4(2(0(3(x1)))))) 0(4(5(3(x1)))) -> 4(3(2(5(0(x1))))) 0(4(5(3(x1)))) -> 4(3(5(0(2(4(x1)))))) 0(5(0(4(x1)))) -> 5(0(0(2(4(x1))))) 0(5(5(3(x1)))) -> 2(3(5(5(0(x1))))) 1(3(0(4(x1)))) -> 4(0(1(2(3(x1))))) 4(0(3(5(x1)))) -> 5(2(3(4(2(0(x1)))))) 0(0(1(0(4(x1))))) -> 0(0(0(1(4(2(x1)))))) 0(0(5(5(3(x1))))) -> 0(5(0(3(2(5(x1)))))) 3(0(4(3(4(x1))))) -> 3(0(3(4(2(4(x1)))))) 3(3(0(4(5(x1))))) -> 1(4(5(3(0(3(x1)))))) 3(4(2(0(3(x1))))) -> 2(3(0(2(3(4(x1)))))) S is empty. Rewrite Strategy: FULL ---------------------------------------- (1) DerivationalComplexityToRuntimeComplexityProof (BOTH BOUNDS(ID, ID)) The following rules have been added to S to convert the given derivational complexity problem to a runtime complexity problem: encArg(2(x_1)) -> 2(encArg(x_1)) encArg(5(x_1)) -> 5(encArg(x_1)) encArg(cons_0(x_1)) -> 0(encArg(x_1)) encArg(cons_1(x_1)) -> 1(encArg(x_1)) encArg(cons_3(x_1)) -> 3(encArg(x_1)) encArg(cons_4(x_1)) -> 4(encArg(x_1)) encode_0(x_1) -> 0(encArg(x_1)) encode_1(x_1) -> 1(encArg(x_1)) encode_2(x_1) -> 2(encArg(x_1)) encode_3(x_1) -> 3(encArg(x_1)) encode_4(x_1) -> 4(encArg(x_1)) encode_5(x_1) -> 5(encArg(x_1)) ---------------------------------------- (2) Obligation: The Runtime Complexity (full) of the given CpxRelTRS could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(0(x1)) -> 1(0(2(0(2(x1))))) 0(0(x1)) -> 0(2(3(4(0(2(x1)))))) 0(3(x1)) -> 0(2(3(2(x1)))) 0(3(x1)) -> 2(0(2(1(3(x1))))) 0(3(x1)) -> 2(3(0(2(2(x1))))) 0(3(x1)) -> 0(2(2(2(3(2(x1)))))) 0(0(0(x1))) -> 0(2(0(0(x1)))) 0(0(4(x1))) -> 2(4(0(0(3(2(x1)))))) 0(0(5(x1))) -> 0(5(2(0(x1)))) 0(1(3(x1))) -> 3(2(2(1(0(x1))))) 0(3(0(x1))) -> 2(0(2(3(4(0(x1)))))) 0(4(3(x1))) -> 3(0(2(4(x1)))) 0(4(3(x1))) -> 1(0(2(1(3(4(x1)))))) 0(4(3(x1))) -> 2(2(4(3(4(0(x1)))))) 0(4(5(x1))) -> 2(4(0(5(2(5(x1)))))) 0(4(5(x1))) -> 5(3(2(4(4(0(x1)))))) 0(5(0(x1))) -> 0(5(2(4(0(x1))))) 0(5(0(x1))) -> 5(0(2(3(2(0(x1)))))) 0(5(3(x1))) -> 3(2(5(3(2(0(x1)))))) 1(0(0(x1))) -> 1(0(2(5(0(2(x1)))))) 1(0(3(x1))) -> 2(1(3(0(5(2(x1)))))) 1(0(4(x1))) -> 3(0(2(1(4(x1))))) 1(0(4(x1))) -> 2(1(2(1(4(0(x1)))))) 3(0(0(x1))) -> 3(0(2(0(x1)))) 3(0(3(x1))) -> 3(0(2(3(x1)))) 3(0(3(x1))) -> 3(3(2(2(0(x1))))) 3(0(4(x1))) -> 2(2(3(4(0(x1))))) 3(0(4(x1))) -> 2(3(4(2(0(3(x1)))))) 3(0(4(x1))) -> 5(5(2(4(0(3(x1)))))) 3(3(4(x1))) -> 3(2(1(3(2(4(x1)))))) 3(5(0(x1))) -> 3(5(1(0(2(1(x1)))))) 4(0(4(x1))) -> 0(2(4(4(0(x1))))) 4(0(4(x1))) -> 1(4(0(2(4(0(x1)))))) 0(0(4(3(x1)))) -> 3(0(0(2(1(4(x1)))))) 0(0(5(3(x1)))) -> 0(5(2(5(0(3(x1)))))) 0(1(0(3(x1)))) -> 2(1(0(3(0(x1))))) 0(1(1(0(x1)))) -> 2(1(0(0(1(2(x1)))))) 0(4(0(0(x1)))) -> 0(4(0(2(1(0(x1)))))) 0(4(1(3(x1)))) -> 2(1(4(2(0(3(x1)))))) 0(4(5(3(x1)))) -> 4(3(2(5(0(x1))))) 0(4(5(3(x1)))) -> 4(3(5(0(2(4(x1)))))) 0(5(0(4(x1)))) -> 5(0(0(2(4(x1))))) 0(5(5(3(x1)))) -> 2(3(5(5(0(x1))))) 1(3(0(4(x1)))) -> 4(0(1(2(3(x1))))) 4(0(3(5(x1)))) -> 5(2(3(4(2(0(x1)))))) 0(0(1(0(4(x1))))) -> 0(0(0(1(4(2(x1)))))) 0(0(5(5(3(x1))))) -> 0(5(0(3(2(5(x1)))))) 3(0(4(3(4(x1))))) -> 3(0(3(4(2(4(x1)))))) 3(3(0(4(5(x1))))) -> 1(4(5(3(0(3(x1)))))) 3(4(2(0(3(x1))))) -> 2(3(0(2(3(4(x1)))))) The (relative) TRS S consists of the following rules: encArg(2(x_1)) -> 2(encArg(x_1)) encArg(5(x_1)) -> 5(encArg(x_1)) encArg(cons_0(x_1)) -> 0(encArg(x_1)) encArg(cons_1(x_1)) -> 1(encArg(x_1)) encArg(cons_3(x_1)) -> 3(encArg(x_1)) encArg(cons_4(x_1)) -> 4(encArg(x_1)) encode_0(x_1) -> 0(encArg(x_1)) encode_1(x_1) -> 1(encArg(x_1)) encode_2(x_1) -> 2(encArg(x_1)) encode_3(x_1) -> 3(encArg(x_1)) encode_4(x_1) -> 4(encArg(x_1)) encode_5(x_1) -> 5(encArg(x_1)) Rewrite Strategy: FULL ---------------------------------------- (3) SInnermostTerminationProof (BOTH CONCRETE BOUNDS(ID, ID)) proved innermost termination of relative rules ---------------------------------------- (4) Obligation: The Runtime Complexity (full) of the given CpxRelTRS could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(0(x1)) -> 1(0(2(0(2(x1))))) 0(0(x1)) -> 0(2(3(4(0(2(x1)))))) 0(3(x1)) -> 0(2(3(2(x1)))) 0(3(x1)) -> 2(0(2(1(3(x1))))) 0(3(x1)) -> 2(3(0(2(2(x1))))) 0(3(x1)) -> 0(2(2(2(3(2(x1)))))) 0(0(0(x1))) -> 0(2(0(0(x1)))) 0(0(4(x1))) -> 2(4(0(0(3(2(x1)))))) 0(0(5(x1))) -> 0(5(2(0(x1)))) 0(1(3(x1))) -> 3(2(2(1(0(x1))))) 0(3(0(x1))) -> 2(0(2(3(4(0(x1)))))) 0(4(3(x1))) -> 3(0(2(4(x1)))) 0(4(3(x1))) -> 1(0(2(1(3(4(x1)))))) 0(4(3(x1))) -> 2(2(4(3(4(0(x1)))))) 0(4(5(x1))) -> 2(4(0(5(2(5(x1)))))) 0(4(5(x1))) -> 5(3(2(4(4(0(x1)))))) 0(5(0(x1))) -> 0(5(2(4(0(x1))))) 0(5(0(x1))) -> 5(0(2(3(2(0(x1)))))) 0(5(3(x1))) -> 3(2(5(3(2(0(x1)))))) 1(0(0(x1))) -> 1(0(2(5(0(2(x1)))))) 1(0(3(x1))) -> 2(1(3(0(5(2(x1)))))) 1(0(4(x1))) -> 3(0(2(1(4(x1))))) 1(0(4(x1))) -> 2(1(2(1(4(0(x1)))))) 3(0(0(x1))) -> 3(0(2(0(x1)))) 3(0(3(x1))) -> 3(0(2(3(x1)))) 3(0(3(x1))) -> 3(3(2(2(0(x1))))) 3(0(4(x1))) -> 2(2(3(4(0(x1))))) 3(0(4(x1))) -> 2(3(4(2(0(3(x1)))))) 3(0(4(x1))) -> 5(5(2(4(0(3(x1)))))) 3(3(4(x1))) -> 3(2(1(3(2(4(x1)))))) 3(5(0(x1))) -> 3(5(1(0(2(1(x1)))))) 4(0(4(x1))) -> 0(2(4(4(0(x1))))) 4(0(4(x1))) -> 1(4(0(2(4(0(x1)))))) 0(0(4(3(x1)))) -> 3(0(0(2(1(4(x1)))))) 0(0(5(3(x1)))) -> 0(5(2(5(0(3(x1)))))) 0(1(0(3(x1)))) -> 2(1(0(3(0(x1))))) 0(1(1(0(x1)))) -> 2(1(0(0(1(2(x1)))))) 0(4(0(0(x1)))) -> 0(4(0(2(1(0(x1)))))) 0(4(1(3(x1)))) -> 2(1(4(2(0(3(x1)))))) 0(4(5(3(x1)))) -> 4(3(2(5(0(x1))))) 0(4(5(3(x1)))) -> 4(3(5(0(2(4(x1)))))) 0(5(0(4(x1)))) -> 5(0(0(2(4(x1))))) 0(5(5(3(x1)))) -> 2(3(5(5(0(x1))))) 1(3(0(4(x1)))) -> 4(0(1(2(3(x1))))) 4(0(3(5(x1)))) -> 5(2(3(4(2(0(x1)))))) 0(0(1(0(4(x1))))) -> 0(0(0(1(4(2(x1)))))) 0(0(5(5(3(x1))))) -> 0(5(0(3(2(5(x1)))))) 3(0(4(3(4(x1))))) -> 3(0(3(4(2(4(x1)))))) 3(3(0(4(5(x1))))) -> 1(4(5(3(0(3(x1)))))) 3(4(2(0(3(x1))))) -> 2(3(0(2(3(4(x1)))))) The (relative) TRS S consists of the following rules: encArg(2(x_1)) -> 2(encArg(x_1)) encArg(5(x_1)) -> 5(encArg(x_1)) encArg(cons_0(x_1)) -> 0(encArg(x_1)) encArg(cons_1(x_1)) -> 1(encArg(x_1)) encArg(cons_3(x_1)) -> 3(encArg(x_1)) encArg(cons_4(x_1)) -> 4(encArg(x_1)) encode_0(x_1) -> 0(encArg(x_1)) encode_1(x_1) -> 1(encArg(x_1)) encode_2(x_1) -> 2(encArg(x_1)) encode_3(x_1) -> 3(encArg(x_1)) encode_4(x_1) -> 4(encArg(x_1)) encode_5(x_1) -> 5(encArg(x_1)) Rewrite Strategy: FULL ---------------------------------------- (5) RelTrsToTrsProof (UPPER BOUND(ID)) transformed relative TRS to TRS ---------------------------------------- (6) Obligation: The Runtime Complexity (full) of the given CpxTRS could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(0(x1)) -> 1(0(2(0(2(x1))))) 0(0(x1)) -> 0(2(3(4(0(2(x1)))))) 0(3(x1)) -> 0(2(3(2(x1)))) 0(3(x1)) -> 2(0(2(1(3(x1))))) 0(3(x1)) -> 2(3(0(2(2(x1))))) 0(3(x1)) -> 0(2(2(2(3(2(x1)))))) 0(0(0(x1))) -> 0(2(0(0(x1)))) 0(0(4(x1))) -> 2(4(0(0(3(2(x1)))))) 0(0(5(x1))) -> 0(5(2(0(x1)))) 0(1(3(x1))) -> 3(2(2(1(0(x1))))) 0(3(0(x1))) -> 2(0(2(3(4(0(x1)))))) 0(4(3(x1))) -> 3(0(2(4(x1)))) 0(4(3(x1))) -> 1(0(2(1(3(4(x1)))))) 0(4(3(x1))) -> 2(2(4(3(4(0(x1)))))) 0(4(5(x1))) -> 2(4(0(5(2(5(x1)))))) 0(4(5(x1))) -> 5(3(2(4(4(0(x1)))))) 0(5(0(x1))) -> 0(5(2(4(0(x1))))) 0(5(0(x1))) -> 5(0(2(3(2(0(x1)))))) 0(5(3(x1))) -> 3(2(5(3(2(0(x1)))))) 1(0(0(x1))) -> 1(0(2(5(0(2(x1)))))) 1(0(3(x1))) -> 2(1(3(0(5(2(x1)))))) 1(0(4(x1))) -> 3(0(2(1(4(x1))))) 1(0(4(x1))) -> 2(1(2(1(4(0(x1)))))) 3(0(0(x1))) -> 3(0(2(0(x1)))) 3(0(3(x1))) -> 3(0(2(3(x1)))) 3(0(3(x1))) -> 3(3(2(2(0(x1))))) 3(0(4(x1))) -> 2(2(3(4(0(x1))))) 3(0(4(x1))) -> 2(3(4(2(0(3(x1)))))) 3(0(4(x1))) -> 5(5(2(4(0(3(x1)))))) 3(3(4(x1))) -> 3(2(1(3(2(4(x1)))))) 3(5(0(x1))) -> 3(5(1(0(2(1(x1)))))) 4(0(4(x1))) -> 0(2(4(4(0(x1))))) 4(0(4(x1))) -> 1(4(0(2(4(0(x1)))))) 0(0(4(3(x1)))) -> 3(0(0(2(1(4(x1)))))) 0(0(5(3(x1)))) -> 0(5(2(5(0(3(x1)))))) 0(1(0(3(x1)))) -> 2(1(0(3(0(x1))))) 0(1(1(0(x1)))) -> 2(1(0(0(1(2(x1)))))) 0(4(0(0(x1)))) -> 0(4(0(2(1(0(x1)))))) 0(4(1(3(x1)))) -> 2(1(4(2(0(3(x1)))))) 0(4(5(3(x1)))) -> 4(3(2(5(0(x1))))) 0(4(5(3(x1)))) -> 4(3(5(0(2(4(x1)))))) 0(5(0(4(x1)))) -> 5(0(0(2(4(x1))))) 0(5(5(3(x1)))) -> 2(3(5(5(0(x1))))) 1(3(0(4(x1)))) -> 4(0(1(2(3(x1))))) 4(0(3(5(x1)))) -> 5(2(3(4(2(0(x1)))))) 0(0(1(0(4(x1))))) -> 0(0(0(1(4(2(x1)))))) 0(0(5(5(3(x1))))) -> 0(5(0(3(2(5(x1)))))) 3(0(4(3(4(x1))))) -> 3(0(3(4(2(4(x1)))))) 3(3(0(4(5(x1))))) -> 1(4(5(3(0(3(x1)))))) 3(4(2(0(3(x1))))) -> 2(3(0(2(3(4(x1)))))) encArg(2(x_1)) -> 2(encArg(x_1)) encArg(5(x_1)) -> 5(encArg(x_1)) encArg(cons_0(x_1)) -> 0(encArg(x_1)) encArg(cons_1(x_1)) -> 1(encArg(x_1)) encArg(cons_3(x_1)) -> 3(encArg(x_1)) encArg(cons_4(x_1)) -> 4(encArg(x_1)) encode_0(x_1) -> 0(encArg(x_1)) encode_1(x_1) -> 1(encArg(x_1)) encode_2(x_1) -> 2(encArg(x_1)) encode_3(x_1) -> 3(encArg(x_1)) encode_4(x_1) -> 4(encArg(x_1)) encode_5(x_1) -> 5(encArg(x_1)) S is empty. Rewrite Strategy: FULL ---------------------------------------- (7) CpxTrsMatchBoundsProof (FINISHED) A linear upper bound on the runtime complexity of the TRS R could be shown with a Match Bound [MATCHBOUNDS1,MATCHBOUNDS2] of 5. The certificate found is represented by the following graph. "[71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 551, 552, 553, 554, 555, 556, 557, 558, 559, 560, 561, 562, 563, 564, 565, 566, 567, 568, 569, 570, 571, 572, 573, 574, 575, 576, 577, 578, 579, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 591, 592, 593, 594, 595, 596, 597, 598, 599, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 611, 612, 613, 614, 615, 616, 617, 618, 619, 620, 621, 622, 623, 624, 625, 626, 627, 628, 629, 630, 631, 632, 633, 634, 635, 636, 637, 638, 639, 640, 641, 642, 643, 644, 645, 646, 647, 648, 649, 650, 651, 652, 653, 654, 655, 656, 657, 658, 659, 660, 661, 662, 663, 664, 665, 666, 667, 668, 669, 670, 671, 672, 673, 674, 675, 676, 677, 678, 679, 680, 681, 682, 683, 684, 685, 686, 687, 688, 689, 690, 691, 692, 693, 694, 695, 696, 697, 698, 699, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 711, 712, 713, 714, 715, 716, 717, 718, 719, 720, 721, 722, 723, 724, 725, 726, 727, 728, 729, 730, 731, 732, 733, 734, 735, 736, 737, 738, 739, 740, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 751, 752, 753, 754, 755, 756, 757, 758, 759, 760, 761, 762, 763, 764, 765, 766, 767, 768, 769, 770, 771, 772, 773, 774, 775, 776, 777, 778, 779, 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 791, 792, 793, 794, 795, 796, 797, 798, 799, 800, 801, 802, 803, 804, 805, 806, 807, 808, 809, 810, 811, 812, 813, 814, 815, 816, 817, 818, 819, 820, 821, 822, 823, 824, 825, 826, 827, 828, 829, 830, 831, 832, 833, 834, 835, 836, 837, 838, 839, 840, 841, 842, 843, 844, 845, 846, 847, 848, 849, 850, 851, 852, 853, 854, 855, 856, 857, 858, 859, 860, 861, 862, 863, 864, 865, 866, 867, 868, 869, 870, 871, 872, 873, 874, 875, 876, 877, 878, 879, 880, 881, 882, 883, 884, 885, 886, 887, 888, 889, 890, 891, 892, 893, 894, 895, 896, 897, 898, 899, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 911, 912, 913, 914, 915, 916, 917, 918, 919, 920, 921, 922, 923, 924, 925, 926, 927, 928, 929, 930, 931, 932, 933, 934, 935, 936, 937, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947, 948, 949, 950, 951, 952, 953, 954, 955, 956, 957, 958, 959, 960, 961, 962, 963, 964, 965, 966, 967, 968, 969, 970, 971, 972, 973, 974, 975, 976, 977, 978, 979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 989, 990, 991, 992, 993, 994, 995, 996, 997, 998, 999, 1000, 1001] {(71,72,[0_1|0, 1_1|0, 3_1|0, 4_1|0, encArg_1|0, encode_0_1|0, encode_1_1|0, encode_2_1|0, encode_3_1|0, encode_4_1|0, encode_5_1|0]), (71,73,[2_1|1, 5_1|1, 0_1|1, 1_1|1, 3_1|1, 4_1|1]), (71,74,[1_1|2]), (71,78,[0_1|2]), (71,83,[0_1|2]), (71,86,[2_1|2]), (71,91,[3_1|2]), (71,96,[0_1|2]), (71,99,[0_1|2]), (71,104,[0_1|2]), (71,109,[0_1|2]), (71,114,[0_1|2]), (71,117,[2_1|2]), (71,121,[2_1|2]), (71,125,[0_1|2]), (71,130,[2_1|2]), (71,135,[3_1|2]), (71,139,[2_1|2]), (71,143,[2_1|2]), (71,148,[3_1|2]), (71,151,[1_1|2]), (71,156,[2_1|2]), (71,161,[2_1|2]), (71,166,[5_1|2]), (71,171,[4_1|2]), (71,175,[4_1|2]), (71,180,[0_1|2]), (71,185,[2_1|2]), (71,190,[0_1|2]), (71,194,[5_1|2]), (71,199,[5_1|2]), (71,203,[3_1|2]), (71,208,[2_1|2]), (71,212,[1_1|2]), (71,217,[2_1|2]), (71,222,[3_1|2]), (71,226,[2_1|2]), (71,231,[4_1|2]), (71,235,[3_1|2]), (71,238,[3_1|2]), (71,241,[3_1|2]), (71,245,[2_1|2]), (71,249,[2_1|2]), (71,254,[5_1|2]), (71,259,[3_1|2]), (71,264,[3_1|2]), (71,269,[1_1|2]), (71,274,[3_1|2]), (71,279,[2_1|2]), (71,284,[0_1|2]), (71,288,[1_1|2]), (71,293,[5_1|2]), (71,298,[3_1|3]), (71,301,[0_1|3]), (71,305,[5_1|3]), (71,310,[1_1|3]), (71,314,[0_1|3]), (71,319,[0_1|3]), (71,322,[3_1|3]), (71,325,[3_1|3]), (72,72,[2_1|0, 5_1|0, cons_0_1|0, cons_1_1|0, cons_3_1|0, cons_4_1|0]), (73,72,[encArg_1|1]), (73,73,[2_1|1, 5_1|1, 0_1|1, 1_1|1, 3_1|1, 4_1|1]), (73,74,[1_1|2]), (73,78,[0_1|2]), (73,83,[0_1|2]), (73,86,[2_1|2]), (73,91,[3_1|2]), (73,96,[0_1|2]), (73,99,[0_1|2]), (73,104,[0_1|2]), (73,109,[0_1|2]), (73,114,[0_1|2]), (73,117,[2_1|2]), (73,121,[2_1|2]), (73,125,[0_1|2]), (73,130,[2_1|2]), (73,135,[3_1|2]), (73,139,[2_1|2]), (73,143,[2_1|2]), (73,148,[3_1|2]), (73,151,[1_1|2]), (73,156,[2_1|2]), (73,161,[2_1|2]), (73,166,[5_1|2]), (73,171,[4_1|2]), (73,175,[4_1|2]), (73,180,[0_1|2]), (73,185,[2_1|2]), (73,190,[0_1|2]), (73,194,[5_1|2]), (73,199,[5_1|2]), (73,203,[3_1|2]), (73,208,[2_1|2]), (73,212,[1_1|2]), (73,217,[2_1|2]), (73,222,[3_1|2]), (73,226,[2_1|2]), (73,231,[4_1|2]), (73,235,[3_1|2]), (73,238,[3_1|2]), (73,241,[3_1|2]), (73,245,[2_1|2]), (73,249,[2_1|2]), (73,254,[5_1|2]), (73,259,[3_1|2]), (73,264,[3_1|2]), (73,269,[1_1|2]), (73,274,[3_1|2]), (73,279,[2_1|2]), (73,284,[0_1|2]), (73,288,[1_1|2]), (73,293,[5_1|2]), (73,298,[3_1|3]), (73,301,[0_1|3]), (73,305,[5_1|3]), (73,310,[1_1|3]), (73,314,[0_1|3]), (73,319,[0_1|3]), (73,322,[3_1|3]), (73,325,[3_1|3]), (74,75,[0_1|2]), (75,76,[2_1|2]), (76,77,[0_1|2]), (77,73,[2_1|2]), (77,78,[2_1|2]), (77,83,[2_1|2]), (77,96,[2_1|2]), (77,99,[2_1|2]), (77,104,[2_1|2]), (77,109,[2_1|2]), (77,114,[2_1|2]), (77,125,[2_1|2]), (77,180,[2_1|2]), (77,190,[2_1|2]), (77,284,[2_1|2]), (77,301,[2_1|2]), (77,314,[2_1|2]), (77,319,[2_1|2]), (78,79,[2_1|2]), (79,80,[3_1|2]), (80,81,[4_1|2]), (81,82,[0_1|2]), (82,73,[2_1|2]), (82,78,[2_1|2]), (82,83,[2_1|2]), (82,96,[2_1|2]), (82,99,[2_1|2]), (82,104,[2_1|2]), (82,109,[2_1|2]), (82,114,[2_1|2]), (82,125,[2_1|2]), (82,180,[2_1|2]), (82,190,[2_1|2]), (82,284,[2_1|2]), (82,301,[2_1|2]), (82,314,[2_1|2]), (82,319,[2_1|2]), (83,84,[2_1|2]), (84,85,[0_1|2]), (84,329,[1_1|3]), (84,333,[0_1|3]), (84,83,[0_1|2]), (84,86,[2_1|2]), (84,91,[3_1|2]), (84,96,[0_1|2]), (84,99,[0_1|2]), (84,104,[0_1|2]), (84,109,[0_1|2]), (84,338,[0_1|3]), (84,341,[0_1|3]), (84,344,[0_1|3]), (84,349,[2_1|3]), (84,354,[3_1|3]), (84,368,[0_1|3]), (84,371,[2_1|3]), (84,375,[2_1|3]), (84,379,[0_1|3]), (84,384,[2_1|3]), (84,395,[3_1|3]), (84,400,[3_1|3]), (84,403,[1_1|3]), (84,408,[2_1|3]), (84,418,[0_1|3]), (84,422,[5_1|3]), (84,298,[3_1|3]), (84,705,[3_1|4]), (85,73,[0_1|2]), (85,78,[0_1|2]), (85,83,[0_1|2]), (85,96,[0_1|2]), (85,99,[0_1|2]), (85,104,[0_1|2]), (85,109,[0_1|2]), (85,114,[0_1|2]), (85,125,[0_1|2]), (85,180,[0_1|2]), (85,190,[0_1|2]), (85,284,[0_1|2]), (85,110,[0_1|2]), (85,74,[1_1|2]), (85,86,[2_1|2]), (85,91,[3_1|2]), (85,117,[2_1|2]), (85,121,[2_1|2]), (85,130,[2_1|2]), (85,135,[3_1|2]), (85,139,[2_1|2]), (85,143,[2_1|2]), (85,148,[3_1|2]), (85,151,[1_1|2]), (85,156,[2_1|2]), (85,161,[2_1|2]), (85,166,[5_1|2]), (85,171,[4_1|2]), (85,175,[4_1|2]), (85,185,[2_1|2]), (85,194,[5_1|2]), (85,199,[5_1|2]), (85,203,[3_1|2]), (85,208,[2_1|2]), (85,359,[1_1|3]), (85,363,[0_1|3]), (85,368,[0_1|3]), (85,371,[2_1|3]), (85,375,[2_1|3]), (85,379,[0_1|3]), (85,384,[2_1|3]), (85,389,[0_1|3]), (85,392,[0_1|3]), (85,395,[3_1|3]), (85,400,[3_1|3]), (85,403,[1_1|3]), (85,408,[2_1|3]), (85,413,[2_1|3]), (85,418,[0_1|3]), (85,422,[5_1|3]), (85,301,[0_1|2]), (85,314,[0_1|2]), (85,319,[0_1|2]), (85,533,[0_1|2]), (85,298,[3_1|3]), (86,87,[4_1|2]), (87,88,[0_1|2]), (87,427,[1_1|3]), (87,431,[0_1|3]), (88,89,[0_1|2]), (88,436,[0_1|3]), (88,439,[2_1|3]), (88,443,[2_1|3]), (88,447,[0_1|3]), (89,90,[3_1|2]), (90,73,[2_1|2]), (90,171,[2_1|2]), (90,175,[2_1|2]), (90,231,[2_1|2]), (90,181,[2_1|2]), (91,92,[0_1|2]), (91,452,[1_1|3]), (91,456,[0_1|3]), (92,93,[0_1|2]), (93,94,[2_1|2]), (94,95,[1_1|2]), (95,73,[4_1|2]), (95,91,[4_1|2]), (95,135,[4_1|2]), (95,148,[4_1|2]), (95,203,[4_1|2]), (95,222,[4_1|2]), (95,235,[4_1|2]), (95,238,[4_1|2]), (95,241,[4_1|2]), (95,259,[4_1|2]), (95,264,[4_1|2]), (95,274,[4_1|2]), (95,172,[4_1|2]), (95,176,[4_1|2]), (95,284,[0_1|2]), (95,288,[1_1|2]), (95,293,[5_1|2]), (95,461,[0_1|3]), (95,465,[1_1|3]), (95,298,[4_1|2]), (95,322,[4_1|2]), (95,325,[4_1|2]), (95,639,[4_1|2]), (96,97,[5_1|2]), (97,98,[2_1|2]), (98,73,[0_1|2]), (98,166,[0_1|2, 5_1|2]), (98,194,[0_1|2, 5_1|2]), (98,199,[0_1|2, 5_1|2]), (98,254,[0_1|2]), (98,293,[0_1|2]), (98,97,[0_1|2]), (98,100,[0_1|2]), (98,105,[0_1|2]), (98,191,[0_1|2]), (98,74,[1_1|2]), (98,78,[0_1|2]), (98,83,[0_1|2]), (98,86,[2_1|2]), (98,91,[3_1|2]), (98,96,[0_1|2]), (98,99,[0_1|2]), (98,104,[0_1|2]), (98,109,[0_1|2]), (98,114,[0_1|2]), (98,117,[2_1|2]), (98,121,[2_1|2]), (98,125,[0_1|2]), (98,130,[2_1|2]), (98,135,[3_1|2]), (98,139,[2_1|2]), (98,143,[2_1|2]), (98,148,[3_1|2]), (98,151,[1_1|2]), (98,156,[2_1|2]), (98,161,[2_1|2]), (98,171,[4_1|2]), (98,175,[4_1|2]), (98,180,[0_1|2]), (98,185,[2_1|2]), (98,190,[0_1|2]), (98,203,[3_1|2]), (98,208,[2_1|2]), (98,359,[1_1|3]), (98,363,[0_1|3]), (98,368,[0_1|3]), (98,371,[2_1|3]), (98,375,[2_1|3]), (98,379,[0_1|3]), (98,384,[2_1|3]), (98,389,[0_1|3]), (98,392,[0_1|3]), (98,395,[3_1|3]), (98,400,[3_1|3]), (98,403,[1_1|3]), (98,408,[2_1|3]), (98,413,[2_1|3]), (98,418,[0_1|3]), (98,422,[5_1|3]), (98,305,[0_1|2]), (98,302,[0_1|2]), (98,298,[3_1|3]), (99,100,[5_1|2]), (100,101,[2_1|2]), (101,102,[5_1|2]), (102,103,[0_1|2]), (102,470,[0_1|3]), (102,473,[2_1|3]), (102,477,[2_1|3]), (102,481,[0_1|3]), (102,130,[2_1|2]), (102,486,[2_1|3]), (103,73,[3_1|2]), (103,91,[3_1|2]), (103,135,[3_1|2]), (103,148,[3_1|2]), (103,203,[3_1|2]), (103,222,[3_1|2]), (103,235,[3_1|2]), (103,238,[3_1|2]), (103,241,[3_1|2]), (103,259,[3_1|2]), (103,264,[3_1|2]), (103,274,[3_1|2]), (103,167,[3_1|2]), (103,245,[2_1|2]), (103,249,[2_1|2]), (103,254,[5_1|2]), (103,269,[1_1|2]), (103,279,[2_1|2]), (103,491,[3_1|3]), (103,494,[2_1|3]), (103,498,[2_1|3]), (103,503,[5_1|3]), (103,508,[3_1|3]), (103,298,[3_1|2]), (103,322,[3_1|2, 3_1|3]), (103,325,[3_1|2, 3_1|3]), (104,105,[5_1|2]), (105,106,[0_1|2]), (105,513,[0_1|3]), (105,516,[2_1|3]), (105,520,[2_1|3]), (105,524,[0_1|3]), (106,107,[3_1|2]), (107,108,[2_1|2]), (108,73,[5_1|2]), (108,91,[5_1|2]), (108,135,[5_1|2]), (108,148,[5_1|2]), (108,203,[5_1|2]), (108,222,[5_1|2]), (108,235,[5_1|2]), (108,238,[5_1|2]), (108,241,[5_1|2]), (108,259,[5_1|2]), (108,264,[5_1|2]), (108,274,[5_1|2]), (108,167,[5_1|2]), (108,298,[5_1|2]), (108,322,[5_1|2]), (108,325,[5_1|2]), (109,110,[0_1|2]), (109,529,[1_1|3]), (109,533,[0_1|3]), (110,111,[0_1|2]), (111,112,[1_1|2]), (112,113,[4_1|2]), (113,73,[2_1|2]), (113,171,[2_1|2]), (113,175,[2_1|2]), (113,231,[2_1|2]), (113,181,[2_1|2]), (114,115,[2_1|2]), (115,116,[3_1|2]), (116,73,[2_1|2]), (116,91,[2_1|2]), (116,135,[2_1|2]), (116,148,[2_1|2]), (116,203,[2_1|2]), (116,222,[2_1|2]), (116,235,[2_1|2]), (116,238,[2_1|2]), (116,241,[2_1|2]), (116,259,[2_1|2]), (116,264,[2_1|2]), (116,274,[2_1|2]), (116,298,[2_1|2]), (116,322,[2_1|2]), (116,325,[2_1|2]), (117,118,[0_1|2]), (118,119,[2_1|2]), (119,120,[1_1|2]), (119,231,[4_1|2]), (119,538,[4_1|3]), (120,73,[3_1|2]), (120,91,[3_1|2]), (120,135,[3_1|2]), (120,148,[3_1|2]), (120,203,[3_1|2]), (120,222,[3_1|2]), (120,235,[3_1|2]), (120,238,[3_1|2]), (120,241,[3_1|2]), (120,259,[3_1|2]), (120,264,[3_1|2]), (120,274,[3_1|2]), (120,245,[2_1|2]), (120,249,[2_1|2]), (120,254,[5_1|2]), (120,269,[1_1|2]), (120,279,[2_1|2]), (120,491,[3_1|3]), (120,494,[2_1|3]), (120,498,[2_1|3]), (120,503,[5_1|3]), (120,508,[3_1|3]), (120,298,[3_1|2]), (120,322,[3_1|2, 3_1|3]), (120,325,[3_1|2, 3_1|3]), (121,122,[3_1|2]), (122,123,[0_1|2]), (123,124,[2_1|2]), (124,73,[2_1|2]), (124,91,[2_1|2]), (124,135,[2_1|2]), (124,148,[2_1|2]), (124,203,[2_1|2]), (124,222,[2_1|2]), (124,235,[2_1|2]), (124,238,[2_1|2]), (124,241,[2_1|2]), (124,259,[2_1|2]), (124,264,[2_1|2]), (124,274,[2_1|2]), (124,298,[2_1|2]), (124,322,[2_1|2]), (124,325,[2_1|2]), (125,126,[2_1|2]), (126,127,[2_1|2]), (127,128,[2_1|2]), (128,129,[3_1|2]), (129,73,[2_1|2]), (129,91,[2_1|2]), (129,135,[2_1|2]), (129,148,[2_1|2]), (129,203,[2_1|2]), (129,222,[2_1|2]), (129,235,[2_1|2]), (129,238,[2_1|2]), (129,241,[2_1|2]), (129,259,[2_1|2]), (129,264,[2_1|2]), (129,274,[2_1|2]), (129,298,[2_1|2]), (129,322,[2_1|2]), (129,325,[2_1|2]), (130,131,[0_1|2]), (131,132,[2_1|2]), (132,133,[3_1|2]), (133,134,[4_1|2]), (133,284,[0_1|2]), (133,288,[1_1|2]), (133,293,[5_1|2]), (133,542,[0_1|3]), (133,546,[1_1|3]), (133,551,[5_1|3]), (134,73,[0_1|2]), (134,78,[0_1|2]), (134,83,[0_1|2]), (134,96,[0_1|2]), (134,99,[0_1|2]), (134,104,[0_1|2]), (134,109,[0_1|2]), (134,114,[0_1|2]), (134,125,[0_1|2]), (134,180,[0_1|2]), (134,190,[0_1|2]), (134,284,[0_1|2]), (134,92,[0_1|2]), (134,149,[0_1|2]), (134,223,[0_1|2]), (134,236,[0_1|2]), (134,239,[0_1|2]), (134,260,[0_1|2]), (134,74,[1_1|2]), (134,86,[2_1|2]), (134,91,[3_1|2]), (134,117,[2_1|2]), (134,121,[2_1|2]), (134,130,[2_1|2]), (134,135,[3_1|2]), (134,139,[2_1|2]), (134,143,[2_1|2]), (134,148,[3_1|2]), (134,151,[1_1|2]), (134,156,[2_1|2]), (134,161,[2_1|2]), (134,166,[5_1|2]), (134,171,[4_1|2]), (134,175,[4_1|2]), (134,185,[2_1|2]), (134,194,[5_1|2]), (134,199,[5_1|2]), (134,203,[3_1|2]), (134,208,[2_1|2]), (134,359,[1_1|3]), (134,363,[0_1|3]), (134,368,[0_1|3]), (134,371,[2_1|3]), (134,375,[2_1|3]), (134,379,[0_1|3]), (134,384,[2_1|3]), (134,389,[0_1|3]), (134,392,[0_1|3]), (134,395,[3_1|3]), (134,400,[3_1|3]), (134,403,[1_1|3]), (134,408,[2_1|3]), (134,413,[2_1|3]), (134,418,[0_1|3]), (134,422,[5_1|3]), (134,301,[0_1|2]), (134,314,[0_1|2]), (134,319,[0_1|2]), (134,456,[0_1|2]), (134,663,[0_1|2]), (134,674,[0_1|2]), (134,299,[0_1|2]), (134,323,[0_1|2]), (134,298,[3_1|3]), (135,136,[2_1|2]), (136,137,[2_1|2]), (137,138,[1_1|2]), (137,212,[1_1|2]), (137,217,[2_1|2]), (137,222,[3_1|2]), (137,226,[2_1|2]), (137,556,[1_1|3]), (137,561,[2_1|3]), (137,566,[3_1|3]), (137,570,[2_1|3]), (138,73,[0_1|2]), (138,91,[0_1|2, 3_1|2]), (138,135,[0_1|2, 3_1|2]), (138,148,[0_1|2, 3_1|2]), (138,203,[0_1|2, 3_1|2]), (138,222,[0_1|2]), (138,235,[0_1|2]), (138,238,[0_1|2]), (138,241,[0_1|2]), (138,259,[0_1|2]), (138,264,[0_1|2]), (138,274,[0_1|2]), (138,74,[1_1|2]), (138,78,[0_1|2]), (138,83,[0_1|2]), (138,86,[2_1|2]), (138,96,[0_1|2]), (138,99,[0_1|2]), (138,104,[0_1|2]), (138,109,[0_1|2]), (138,114,[0_1|2]), (138,117,[2_1|2]), (138,121,[2_1|2]), (138,125,[0_1|2]), (138,130,[2_1|2]), (138,139,[2_1|2]), (138,143,[2_1|2]), (138,151,[1_1|2]), (138,156,[2_1|2]), (138,161,[2_1|2]), (138,166,[5_1|2]), (138,171,[4_1|2]), (138,175,[4_1|2]), (138,180,[0_1|2]), (138,185,[2_1|2]), (138,190,[0_1|2]), (138,194,[5_1|2]), (138,199,[5_1|2]), (138,208,[2_1|2]), (138,359,[1_1|3]), (138,363,[0_1|3]), (138,368,[0_1|3]), (138,371,[2_1|3]), (138,375,[2_1|3]), (138,379,[0_1|3]), (138,384,[2_1|3]), (138,389,[0_1|3]), (138,392,[0_1|3]), (138,395,[3_1|3]), (138,400,[3_1|3]), (138,403,[1_1|3]), (138,408,[2_1|3]), (138,413,[2_1|3]), (138,418,[0_1|3]), (138,422,[5_1|3]), (138,298,[0_1|2, 3_1|3]), (138,322,[0_1|2]), (138,325,[0_1|2]), (139,140,[1_1|2]), (139,575,[2_1|3]), (140,141,[0_1|2]), (140,580,[0_1|3]), (140,583,[2_1|3]), (140,587,[2_1|3]), (140,591,[0_1|3]), (140,596,[2_1|3]), (141,142,[3_1|2]), (141,235,[3_1|2]), (141,238,[3_1|2]), (141,241,[3_1|2]), (141,245,[2_1|2]), (141,249,[2_1|2]), (141,254,[5_1|2]), (141,259,[3_1|2]), (141,601,[3_1|3]), (141,604,[3_1|3]), (141,607,[3_1|3]), (141,611,[2_1|3]), (141,615,[2_1|3]), (141,620,[5_1|3]), (141,508,[3_1|3]), (142,73,[0_1|2]), (142,91,[0_1|2, 3_1|2]), (142,135,[0_1|2, 3_1|2]), (142,148,[0_1|2, 3_1|2]), (142,203,[0_1|2, 3_1|2]), (142,222,[0_1|2]), (142,235,[0_1|2]), (142,238,[0_1|2]), (142,241,[0_1|2]), (142,259,[0_1|2]), (142,264,[0_1|2]), (142,274,[0_1|2]), (142,74,[1_1|2]), (142,78,[0_1|2]), (142,83,[0_1|2]), (142,86,[2_1|2]), (142,96,[0_1|2]), (142,99,[0_1|2]), (142,104,[0_1|2]), (142,109,[0_1|2]), (142,114,[0_1|2]), (142,117,[2_1|2]), (142,121,[2_1|2]), (142,125,[0_1|2]), (142,130,[2_1|2]), (142,139,[2_1|2]), (142,143,[2_1|2]), (142,151,[1_1|2]), (142,156,[2_1|2]), (142,161,[2_1|2]), (142,166,[5_1|2]), (142,171,[4_1|2]), (142,175,[4_1|2]), (142,180,[0_1|2]), (142,185,[2_1|2]), (142,190,[0_1|2]), (142,194,[5_1|2]), (142,199,[5_1|2]), (142,208,[2_1|2]), (142,359,[1_1|3]), (142,363,[0_1|3]), (142,368,[0_1|3]), (142,371,[2_1|3]), (142,375,[2_1|3]), (142,379,[0_1|3]), (142,384,[2_1|3]), (142,389,[0_1|3]), (142,392,[0_1|3]), (142,395,[3_1|3]), (142,400,[3_1|3]), (142,403,[1_1|3]), (142,408,[2_1|3]), (142,413,[2_1|3]), (142,418,[0_1|3]), (142,422,[5_1|3]), (142,298,[0_1|2, 3_1|3]), (142,322,[0_1|2]), (142,325,[0_1|2]), (143,144,[1_1|2]), (143,625,[1_1|3]), (144,145,[0_1|2]), (144,630,[1_1|3]), (144,634,[0_1|3]), (145,146,[0_1|2]), (146,147,[1_1|2]), (147,73,[2_1|2]), (147,78,[2_1|2]), (147,83,[2_1|2]), (147,96,[2_1|2]), (147,99,[2_1|2]), (147,104,[2_1|2]), (147,109,[2_1|2]), (147,114,[2_1|2]), (147,125,[2_1|2]), (147,180,[2_1|2]), (147,190,[2_1|2]), (147,284,[2_1|2]), (147,75,[2_1|2]), (147,152,[2_1|2]), (147,213,[2_1|2]), (147,301,[2_1|2]), (147,314,[2_1|2]), (147,319,[2_1|2]), (147,311,[2_1|2]), (148,149,[0_1|2]), (149,150,[2_1|2]), (150,73,[4_1|2]), (150,91,[4_1|2]), (150,135,[4_1|2]), (150,148,[4_1|2]), (150,203,[4_1|2]), (150,222,[4_1|2]), (150,235,[4_1|2]), (150,238,[4_1|2]), (150,241,[4_1|2]), (150,259,[4_1|2]), (150,264,[4_1|2]), (150,274,[4_1|2]), (150,172,[4_1|2]), (150,176,[4_1|2]), (150,284,[0_1|2]), (150,288,[1_1|2]), (150,293,[5_1|2]), (150,461,[0_1|3]), (150,465,[1_1|3]), (150,298,[4_1|2]), (150,322,[4_1|2]), (150,325,[4_1|2]), (150,639,[4_1|2]), (151,152,[0_1|2]), (152,153,[2_1|2]), (153,154,[1_1|2]), (154,155,[3_1|2]), (154,279,[2_1|2]), (155,73,[4_1|2]), (155,91,[4_1|2]), (155,135,[4_1|2]), (155,148,[4_1|2]), (155,203,[4_1|2]), (155,222,[4_1|2]), (155,235,[4_1|2]), (155,238,[4_1|2]), (155,241,[4_1|2]), (155,259,[4_1|2]), (155,264,[4_1|2]), (155,274,[4_1|2]), (155,172,[4_1|2]), (155,176,[4_1|2]), (155,284,[0_1|2]), (155,288,[1_1|2]), (155,293,[5_1|2]), (155,461,[0_1|3]), (155,465,[1_1|3]), (155,298,[4_1|2]), (155,322,[4_1|2]), (155,325,[4_1|2]), (155,639,[4_1|2]), (156,157,[2_1|2]), (157,158,[4_1|2]), (158,159,[3_1|2]), (159,160,[4_1|2]), (159,284,[0_1|2]), (159,288,[1_1|2]), (159,293,[5_1|2]), (159,542,[0_1|3]), (159,546,[1_1|3]), (159,551,[5_1|3]), (160,73,[0_1|2]), (160,91,[0_1|2, 3_1|2]), (160,135,[0_1|2, 3_1|2]), (160,148,[0_1|2, 3_1|2]), (160,203,[0_1|2, 3_1|2]), (160,222,[0_1|2]), (160,235,[0_1|2]), (160,238,[0_1|2]), (160,241,[0_1|2]), (160,259,[0_1|2]), (160,264,[0_1|2]), (160,274,[0_1|2]), (160,172,[0_1|2]), (160,176,[0_1|2]), (160,74,[1_1|2]), (160,78,[0_1|2]), (160,83,[0_1|2]), (160,86,[2_1|2]), (160,96,[0_1|2]), (160,99,[0_1|2]), (160,104,[0_1|2]), (160,109,[0_1|2]), (160,114,[0_1|2]), (160,117,[2_1|2]), (160,121,[2_1|2]), (160,125,[0_1|2]), (160,130,[2_1|2]), (160,139,[2_1|2]), (160,143,[2_1|2]), (160,151,[1_1|2]), (160,156,[2_1|2]), (160,161,[2_1|2]), (160,166,[5_1|2]), (160,171,[4_1|2]), (160,175,[4_1|2]), (160,180,[0_1|2]), (160,185,[2_1|2]), (160,190,[0_1|2]), (160,194,[5_1|2]), (160,199,[5_1|2]), (160,208,[2_1|2]), (160,359,[1_1|3]), (160,363,[0_1|3]), (160,368,[0_1|3]), (160,371,[2_1|3]), (160,375,[2_1|3]), (160,379,[0_1|3]), (160,384,[2_1|3]), (160,389,[0_1|3]), (160,392,[0_1|3]), (160,395,[3_1|3]), (160,400,[3_1|3]), (160,403,[1_1|3]), (160,408,[2_1|3]), (160,413,[2_1|3]), (160,418,[0_1|3]), (160,422,[5_1|3]), (160,298,[0_1|2, 3_1|3]), (160,322,[0_1|2]), (160,325,[0_1|2]), (160,639,[0_1|2]), (161,162,[4_1|2]), (162,163,[0_1|2]), (163,164,[5_1|2]), (164,165,[2_1|2]), (165,73,[5_1|2]), (165,166,[5_1|2]), (165,194,[5_1|2]), (165,199,[5_1|2]), (165,254,[5_1|2]), (165,293,[5_1|2]), (165,305,[5_1|2]), (166,167,[3_1|2]), (167,168,[2_1|2]), (168,169,[4_1|2]), (169,170,[4_1|2]), (169,284,[0_1|2]), (169,288,[1_1|2]), (169,293,[5_1|2]), (169,542,[0_1|3]), (169,546,[1_1|3]), (169,551,[5_1|3]), (170,73,[0_1|2]), (170,166,[0_1|2, 5_1|2]), (170,194,[0_1|2, 5_1|2]), (170,199,[0_1|2, 5_1|2]), (170,254,[0_1|2]), (170,293,[0_1|2]), (170,74,[1_1|2]), (170,78,[0_1|2]), (170,83,[0_1|2]), (170,86,[2_1|2]), (170,91,[3_1|2]), (170,96,[0_1|2]), (170,99,[0_1|2]), (170,104,[0_1|2]), (170,109,[0_1|2]), (170,114,[0_1|2]), (170,117,[2_1|2]), (170,121,[2_1|2]), (170,125,[0_1|2]), (170,130,[2_1|2]), (170,135,[3_1|2]), (170,139,[2_1|2]), (170,143,[2_1|2]), (170,148,[3_1|2]), (170,151,[1_1|2]), (170,156,[2_1|2]), (170,161,[2_1|2]), (170,171,[4_1|2]), (170,175,[4_1|2]), (170,180,[0_1|2]), (170,185,[2_1|2]), (170,190,[0_1|2]), (170,203,[3_1|2]), (170,208,[2_1|2]), (170,359,[1_1|3]), (170,363,[0_1|3]), (170,368,[0_1|3]), (170,371,[2_1|3]), (170,375,[2_1|3]), (170,379,[0_1|3]), (170,384,[2_1|3]), (170,389,[0_1|3]), (170,392,[0_1|3]), (170,395,[3_1|3]), (170,400,[3_1|3]), (170,403,[1_1|3]), (170,408,[2_1|3]), (170,413,[2_1|3]), (170,418,[0_1|3]), (170,422,[5_1|3]), (170,305,[0_1|2]), (170,298,[3_1|3]), (171,172,[3_1|2]), (172,173,[2_1|2]), (173,174,[5_1|2]), (174,73,[0_1|2]), (174,91,[0_1|2, 3_1|2]), (174,135,[0_1|2, 3_1|2]), (174,148,[0_1|2, 3_1|2]), (174,203,[0_1|2, 3_1|2]), (174,222,[0_1|2]), (174,235,[0_1|2]), (174,238,[0_1|2]), (174,241,[0_1|2]), (174,259,[0_1|2]), (174,264,[0_1|2]), (174,274,[0_1|2]), (174,167,[0_1|2]), (174,74,[1_1|2]), (174,78,[0_1|2]), (174,83,[0_1|2]), (174,86,[2_1|2]), (174,96,[0_1|2]), (174,99,[0_1|2]), (174,104,[0_1|2]), (174,109,[0_1|2]), (174,114,[0_1|2]), (174,117,[2_1|2]), (174,121,[2_1|2]), (174,125,[0_1|2]), (174,130,[2_1|2]), (174,139,[2_1|2]), (174,143,[2_1|2]), (174,151,[1_1|2]), (174,156,[2_1|2]), (174,161,[2_1|2]), (174,166,[5_1|2]), (174,171,[4_1|2]), (174,175,[4_1|2]), (174,180,[0_1|2]), (174,185,[2_1|2]), (174,190,[0_1|2]), (174,194,[5_1|2]), (174,199,[5_1|2]), (174,208,[2_1|2]), (174,359,[1_1|3]), (174,363,[0_1|3]), (174,368,[0_1|3]), (174,371,[2_1|3]), (174,375,[2_1|3]), (174,379,[0_1|3]), (174,384,[2_1|3]), (174,389,[0_1|3]), (174,392,[0_1|3]), (174,395,[3_1|3]), (174,400,[3_1|3]), (174,403,[1_1|3]), (174,408,[2_1|3]), (174,413,[2_1|3]), (174,418,[0_1|3]), (174,422,[5_1|3]), (174,298,[0_1|2, 3_1|3]), (174,322,[0_1|2]), (174,325,[0_1|2]), (175,176,[3_1|2]), (175,639,[3_1|3]), (176,177,[5_1|2]), (177,178,[0_1|2]), (178,179,[2_1|2]), (179,73,[4_1|2]), (179,91,[4_1|2]), (179,135,[4_1|2]), (179,148,[4_1|2]), (179,203,[4_1|2]), (179,222,[4_1|2]), (179,235,[4_1|2]), (179,238,[4_1|2]), (179,241,[4_1|2]), (179,259,[4_1|2]), (179,264,[4_1|2]), (179,274,[4_1|2]), (179,167,[4_1|2]), (179,284,[0_1|2]), (179,288,[1_1|2]), (179,293,[5_1|2]), (179,461,[0_1|3]), (179,465,[1_1|3]), (179,298,[4_1|2]), (179,322,[4_1|2]), (179,325,[4_1|2]), (180,181,[4_1|2]), (181,182,[0_1|2]), (182,183,[2_1|2]), (183,184,[1_1|2]), (183,212,[1_1|2]), (183,217,[2_1|2]), (183,222,[3_1|2]), (183,226,[2_1|2]), (183,556,[1_1|3]), (183,561,[2_1|3]), (183,566,[3_1|3]), (183,570,[2_1|3]), (184,73,[0_1|2]), (184,78,[0_1|2]), (184,83,[0_1|2]), (184,96,[0_1|2]), (184,99,[0_1|2]), (184,104,[0_1|2]), (184,109,[0_1|2]), (184,114,[0_1|2]), (184,125,[0_1|2]), (184,180,[0_1|2]), (184,190,[0_1|2]), (184,284,[0_1|2]), (184,110,[0_1|2]), (184,74,[1_1|2]), (184,86,[2_1|2]), (184,91,[3_1|2]), (184,117,[2_1|2]), (184,121,[2_1|2]), (184,130,[2_1|2]), (184,135,[3_1|2]), (184,139,[2_1|2]), (184,143,[2_1|2]), (184,148,[3_1|2]), (184,151,[1_1|2]), (184,156,[2_1|2]), (184,161,[2_1|2]), (184,166,[5_1|2]), (184,171,[4_1|2]), (184,175,[4_1|2]), (184,185,[2_1|2]), (184,194,[5_1|2]), (184,199,[5_1|2]), (184,203,[3_1|2]), (184,208,[2_1|2]), (184,359,[1_1|3]), (184,363,[0_1|3]), (184,368,[0_1|3]), (184,371,[2_1|3]), (184,375,[2_1|3]), (184,379,[0_1|3]), (184,384,[2_1|3]), (184,389,[0_1|3]), (184,392,[0_1|3]), (184,395,[3_1|3]), (184,400,[3_1|3]), (184,403,[1_1|3]), (184,408,[2_1|3]), (184,413,[2_1|3]), (184,418,[0_1|3]), (184,422,[5_1|3]), (184,301,[0_1|2]), (184,314,[0_1|2]), (184,319,[0_1|2]), (184,533,[0_1|2]), (184,298,[3_1|3]), (185,186,[1_1|2]), (186,187,[4_1|2]), (187,188,[2_1|2]), (188,189,[0_1|2]), (188,470,[0_1|3]), (188,473,[2_1|3]), (188,477,[2_1|3]), (188,481,[0_1|3]), (188,130,[2_1|2]), (188,486,[2_1|3]), (189,73,[3_1|2]), (189,91,[3_1|2]), (189,135,[3_1|2]), (189,148,[3_1|2]), (189,203,[3_1|2]), (189,222,[3_1|2]), (189,235,[3_1|2]), (189,238,[3_1|2]), (189,241,[3_1|2]), (189,259,[3_1|2]), (189,264,[3_1|2]), (189,274,[3_1|2]), (189,245,[2_1|2]), (189,249,[2_1|2]), (189,254,[5_1|2]), (189,269,[1_1|2]), (189,279,[2_1|2]), (189,491,[3_1|3]), (189,494,[2_1|3]), (189,498,[2_1|3]), (189,503,[5_1|3]), (189,508,[3_1|3]), (189,298,[3_1|2]), (189,322,[3_1|2, 3_1|3]), (189,325,[3_1|2, 3_1|3]), (190,191,[5_1|2]), (191,192,[2_1|2]), (192,193,[4_1|2]), (192,284,[0_1|2]), (192,288,[1_1|2]), (192,293,[5_1|2]), (192,542,[0_1|3]), (192,546,[1_1|3]), (192,551,[5_1|3]), (193,73,[0_1|2]), (193,78,[0_1|2]), (193,83,[0_1|2]), (193,96,[0_1|2]), (193,99,[0_1|2]), (193,104,[0_1|2]), (193,109,[0_1|2]), (193,114,[0_1|2]), (193,125,[0_1|2]), (193,180,[0_1|2]), (193,190,[0_1|2]), (193,284,[0_1|2]), (193,195,[0_1|2]), (193,200,[0_1|2]), (193,74,[1_1|2]), (193,86,[2_1|2]), (193,91,[3_1|2]), (193,117,[2_1|2]), (193,121,[2_1|2]), (193,130,[2_1|2]), (193,135,[3_1|2]), (193,139,[2_1|2]), (193,143,[2_1|2]), (193,148,[3_1|2]), (193,151,[1_1|2]), (193,156,[2_1|2]), (193,161,[2_1|2]), (193,166,[5_1|2]), (193,171,[4_1|2]), (193,175,[4_1|2]), (193,185,[2_1|2]), (193,194,[5_1|2]), (193,199,[5_1|2]), (193,203,[3_1|2]), (193,208,[2_1|2]), (193,359,[1_1|3]), (193,363,[0_1|3]), (193,368,[0_1|3]), (193,371,[2_1|3]), (193,375,[2_1|3]), (193,379,[0_1|3]), (193,384,[2_1|3]), (193,389,[0_1|3]), (193,392,[0_1|3]), (193,395,[3_1|3]), (193,400,[3_1|3]), (193,403,[1_1|3]), (193,408,[2_1|3]), (193,413,[2_1|3]), (193,418,[0_1|3]), (193,422,[5_1|3]), (193,301,[0_1|2]), (193,314,[0_1|2]), (193,319,[0_1|2]), (193,648,[0_1|2]), (193,306,[0_1|2]), (193,298,[3_1|3]), (194,195,[0_1|2]), (195,196,[2_1|2]), (196,197,[3_1|2]), (197,198,[2_1|2]), (198,73,[0_1|2]), (198,78,[0_1|2]), (198,83,[0_1|2]), (198,96,[0_1|2]), (198,99,[0_1|2]), (198,104,[0_1|2]), (198,109,[0_1|2]), (198,114,[0_1|2]), (198,125,[0_1|2]), (198,180,[0_1|2]), (198,190,[0_1|2]), (198,284,[0_1|2]), (198,195,[0_1|2]), (198,200,[0_1|2]), (198,74,[1_1|2]), (198,86,[2_1|2]), (198,91,[3_1|2]), (198,117,[2_1|2]), (198,121,[2_1|2]), (198,130,[2_1|2]), (198,135,[3_1|2]), (198,139,[2_1|2]), (198,143,[2_1|2]), (198,148,[3_1|2]), (198,151,[1_1|2]), (198,156,[2_1|2]), (198,161,[2_1|2]), (198,166,[5_1|2]), (198,171,[4_1|2]), (198,175,[4_1|2]), (198,185,[2_1|2]), (198,194,[5_1|2]), (198,199,[5_1|2]), (198,203,[3_1|2]), (198,208,[2_1|2]), (198,359,[1_1|3]), (198,363,[0_1|3]), (198,368,[0_1|3]), (198,371,[2_1|3]), (198,375,[2_1|3]), (198,379,[0_1|3]), (198,384,[2_1|3]), (198,389,[0_1|3]), (198,392,[0_1|3]), (198,395,[3_1|3]), (198,400,[3_1|3]), (198,403,[1_1|3]), (198,408,[2_1|3]), (198,413,[2_1|3]), (198,418,[0_1|3]), (198,422,[5_1|3]), (198,301,[0_1|2]), (198,314,[0_1|2]), (198,319,[0_1|2]), (198,648,[0_1|2]), (198,306,[0_1|2]), (198,298,[3_1|3]), (199,200,[0_1|2]), (199,644,[1_1|3]), (199,648,[0_1|3]), (200,201,[0_1|2]), (201,202,[2_1|2]), (202,73,[4_1|2]), (202,171,[4_1|2]), (202,175,[4_1|2]), (202,231,[4_1|2]), (202,181,[4_1|2]), (202,284,[0_1|2]), (202,288,[1_1|2]), (202,293,[5_1|2]), (202,461,[0_1|3]), (202,465,[1_1|3]), (203,204,[2_1|2]), (204,205,[5_1|2]), (205,206,[3_1|2]), (206,207,[2_1|2]), (207,73,[0_1|2]), (207,91,[0_1|2, 3_1|2]), (207,135,[0_1|2, 3_1|2]), (207,148,[0_1|2, 3_1|2]), (207,203,[0_1|2, 3_1|2]), (207,222,[0_1|2]), (207,235,[0_1|2]), (207,238,[0_1|2]), (207,241,[0_1|2]), (207,259,[0_1|2]), (207,264,[0_1|2]), (207,274,[0_1|2]), (207,167,[0_1|2]), (207,74,[1_1|2]), (207,78,[0_1|2]), (207,83,[0_1|2]), (207,86,[2_1|2]), (207,96,[0_1|2]), (207,99,[0_1|2]), (207,104,[0_1|2]), (207,109,[0_1|2]), (207,114,[0_1|2]), (207,117,[2_1|2]), (207,121,[2_1|2]), (207,125,[0_1|2]), (207,130,[2_1|2]), (207,139,[2_1|2]), (207,143,[2_1|2]), (207,151,[1_1|2]), (207,156,[2_1|2]), (207,161,[2_1|2]), (207,166,[5_1|2]), (207,171,[4_1|2]), (207,175,[4_1|2]), (207,180,[0_1|2]), (207,185,[2_1|2]), (207,190,[0_1|2]), (207,194,[5_1|2]), (207,199,[5_1|2]), (207,208,[2_1|2]), (207,359,[1_1|3]), (207,363,[0_1|3]), (207,368,[0_1|3]), (207,371,[2_1|3]), (207,375,[2_1|3]), (207,379,[0_1|3]), (207,384,[2_1|3]), (207,389,[0_1|3]), (207,392,[0_1|3]), (207,395,[3_1|3]), (207,400,[3_1|3]), (207,403,[1_1|3]), (207,408,[2_1|3]), (207,413,[2_1|3]), (207,418,[0_1|3]), (207,422,[5_1|3]), (207,298,[0_1|2, 3_1|3]), (207,322,[0_1|2]), (207,325,[0_1|2]), (208,209,[3_1|2]), (209,210,[5_1|2]), (210,211,[5_1|2]), (211,73,[0_1|2]), (211,91,[0_1|2, 3_1|2]), (211,135,[0_1|2, 3_1|2]), (211,148,[0_1|2, 3_1|2]), (211,203,[0_1|2, 3_1|2]), (211,222,[0_1|2]), (211,235,[0_1|2]), (211,238,[0_1|2]), (211,241,[0_1|2]), (211,259,[0_1|2]), (211,264,[0_1|2]), (211,274,[0_1|2]), (211,167,[0_1|2]), (211,74,[1_1|2]), (211,78,[0_1|2]), (211,83,[0_1|2]), (211,86,[2_1|2]), (211,96,[0_1|2]), (211,99,[0_1|2]), (211,104,[0_1|2]), (211,109,[0_1|2]), (211,114,[0_1|2]), (211,117,[2_1|2]), (211,121,[2_1|2]), (211,125,[0_1|2]), (211,130,[2_1|2]), (211,139,[2_1|2]), (211,143,[2_1|2]), (211,151,[1_1|2]), (211,156,[2_1|2]), (211,161,[2_1|2]), (211,166,[5_1|2]), (211,171,[4_1|2]), (211,175,[4_1|2]), (211,180,[0_1|2]), (211,185,[2_1|2]), (211,190,[0_1|2]), (211,194,[5_1|2]), (211,199,[5_1|2]), (211,208,[2_1|2]), (211,359,[1_1|3]), (211,363,[0_1|3]), (211,368,[0_1|3]), (211,371,[2_1|3]), (211,375,[2_1|3]), (211,379,[0_1|3]), (211,384,[2_1|3]), (211,389,[0_1|3]), (211,392,[0_1|3]), (211,395,[3_1|3]), (211,400,[3_1|3]), (211,403,[1_1|3]), (211,408,[2_1|3]), (211,413,[2_1|3]), (211,418,[0_1|3]), (211,422,[5_1|3]), (211,298,[0_1|2, 3_1|3]), (211,322,[0_1|2]), (211,325,[0_1|2]), (212,213,[0_1|2]), (213,214,[2_1|2]), (214,215,[5_1|2]), (215,216,[0_1|2]), (216,73,[2_1|2]), (216,78,[2_1|2]), (216,83,[2_1|2]), (216,96,[2_1|2]), (216,99,[2_1|2]), (216,104,[2_1|2]), (216,109,[2_1|2]), (216,114,[2_1|2]), (216,125,[2_1|2]), (216,180,[2_1|2]), (216,190,[2_1|2]), (216,284,[2_1|2]), (216,110,[2_1|2]), (216,301,[2_1|2]), (216,314,[2_1|2]), (216,319,[2_1|2]), (216,533,[2_1|2]), (217,218,[1_1|2]), (218,219,[3_1|2]), (219,220,[0_1|2]), (220,221,[5_1|2]), (221,73,[2_1|2]), (221,91,[2_1|2]), (221,135,[2_1|2]), (221,148,[2_1|2]), (221,203,[2_1|2]), (221,222,[2_1|2]), (221,235,[2_1|2]), (221,238,[2_1|2]), (221,241,[2_1|2]), (221,259,[2_1|2]), (221,264,[2_1|2]), (221,274,[2_1|2]), (221,298,[2_1|2]), (221,322,[2_1|2]), (221,325,[2_1|2]), (222,223,[0_1|2]), (223,224,[2_1|2]), (224,225,[1_1|2]), (225,73,[4_1|2]), (225,171,[4_1|2]), (225,175,[4_1|2]), (225,231,[4_1|2]), (225,181,[4_1|2]), (225,284,[0_1|2]), (225,288,[1_1|2]), (225,293,[5_1|2]), (225,461,[0_1|3]), (225,465,[1_1|3]), (226,227,[1_1|2]), (227,228,[2_1|2]), (228,229,[1_1|2]), (229,230,[4_1|2]), (229,284,[0_1|2]), (229,288,[1_1|2]), (229,293,[5_1|2]), (229,542,[0_1|3]), (229,546,[1_1|3]), (229,551,[5_1|3]), (230,73,[0_1|2]), (230,171,[0_1|2, 4_1|2]), (230,175,[0_1|2, 4_1|2]), (230,231,[0_1|2]), (230,181,[0_1|2]), (230,74,[1_1|2]), (230,78,[0_1|2]), (230,83,[0_1|2]), (230,86,[2_1|2]), (230,91,[3_1|2]), (230,96,[0_1|2]), (230,99,[0_1|2]), (230,104,[0_1|2]), (230,109,[0_1|2]), (230,114,[0_1|2]), (230,117,[2_1|2]), (230,121,[2_1|2]), (230,125,[0_1|2]), (230,130,[2_1|2]), (230,135,[3_1|2]), (230,139,[2_1|2]), (230,143,[2_1|2]), (230,148,[3_1|2]), (230,151,[1_1|2]), (230,156,[2_1|2]), (230,161,[2_1|2]), (230,166,[5_1|2]), (230,180,[0_1|2]), (230,185,[2_1|2]), (230,190,[0_1|2]), (230,194,[5_1|2]), (230,199,[5_1|2]), (230,203,[3_1|2]), (230,208,[2_1|2]), (230,359,[1_1|3]), (230,363,[0_1|3]), (230,368,[0_1|3]), (230,371,[2_1|3]), (230,375,[2_1|3]), (230,379,[0_1|3]), (230,384,[2_1|3]), (230,389,[0_1|3]), (230,392,[0_1|3]), (230,395,[3_1|3]), (230,400,[3_1|3]), (230,403,[1_1|3]), (230,408,[2_1|3]), (230,413,[2_1|3]), (230,418,[0_1|3]), (230,422,[5_1|3]), (230,298,[3_1|3]), (231,232,[0_1|2]), (232,233,[1_1|2]), (233,234,[2_1|2]), (234,73,[3_1|2]), (234,171,[3_1|2]), (234,175,[3_1|2]), (234,231,[3_1|2]), (234,181,[3_1|2]), (234,235,[3_1|2]), (234,238,[3_1|2]), (234,241,[3_1|2]), (234,245,[2_1|2]), (234,249,[2_1|2]), (234,254,[5_1|2]), (234,259,[3_1|2]), (234,264,[3_1|2]), (234,269,[1_1|2]), (234,274,[3_1|2]), (234,279,[2_1|2]), (234,491,[3_1|3]), (234,494,[2_1|3]), (234,498,[2_1|3]), (234,503,[5_1|3]), (234,508,[3_1|3]), (234,322,[3_1|3]), (234,325,[3_1|3]), (235,236,[0_1|2]), (236,237,[2_1|2]), (237,73,[0_1|2]), (237,78,[0_1|2]), (237,83,[0_1|2]), (237,96,[0_1|2]), (237,99,[0_1|2]), (237,104,[0_1|2]), (237,109,[0_1|2]), (237,114,[0_1|2]), (237,125,[0_1|2]), (237,180,[0_1|2]), (237,190,[0_1|2]), (237,284,[0_1|2]), (237,110,[0_1|2]), (237,74,[1_1|2]), (237,86,[2_1|2]), (237,91,[3_1|2]), (237,117,[2_1|2]), (237,121,[2_1|2]), (237,130,[2_1|2]), (237,135,[3_1|2]), (237,139,[2_1|2]), (237,143,[2_1|2]), (237,148,[3_1|2]), (237,151,[1_1|2]), (237,156,[2_1|2]), (237,161,[2_1|2]), (237,166,[5_1|2]), (237,171,[4_1|2]), (237,175,[4_1|2]), (237,185,[2_1|2]), (237,194,[5_1|2]), (237,199,[5_1|2]), (237,203,[3_1|2]), (237,208,[2_1|2]), (237,359,[1_1|3]), (237,363,[0_1|3]), (237,368,[0_1|3]), (237,371,[2_1|3]), (237,375,[2_1|3]), (237,379,[0_1|3]), (237,384,[2_1|3]), (237,389,[0_1|3]), (237,392,[0_1|3]), (237,395,[3_1|3]), (237,400,[3_1|3]), (237,403,[1_1|3]), (237,408,[2_1|3]), (237,413,[2_1|3]), (237,418,[0_1|3]), (237,422,[5_1|3]), (237,301,[0_1|2]), (237,314,[0_1|2]), (237,319,[0_1|2]), (237,533,[0_1|2]), (237,298,[3_1|3]), (238,239,[0_1|2]), (239,240,[2_1|2]), (240,73,[3_1|2]), (240,91,[3_1|2]), (240,135,[3_1|2]), (240,148,[3_1|2]), (240,203,[3_1|2]), (240,222,[3_1|2]), (240,235,[3_1|2]), (240,238,[3_1|2]), (240,241,[3_1|2]), (240,259,[3_1|2]), (240,264,[3_1|2]), (240,274,[3_1|2]), (240,245,[2_1|2]), (240,249,[2_1|2]), (240,254,[5_1|2]), (240,269,[1_1|2]), (240,279,[2_1|2]), (240,491,[3_1|3]), (240,494,[2_1|3]), (240,498,[2_1|3]), (240,503,[5_1|3]), (240,508,[3_1|3]), (240,298,[3_1|2]), (240,322,[3_1|2, 3_1|3]), (240,325,[3_1|2, 3_1|3]), (241,242,[3_1|2]), (242,243,[2_1|2]), (243,244,[2_1|2]), (244,73,[0_1|2]), (244,91,[0_1|2, 3_1|2]), (244,135,[0_1|2, 3_1|2]), (244,148,[0_1|2, 3_1|2]), (244,203,[0_1|2, 3_1|2]), (244,222,[0_1|2]), (244,235,[0_1|2]), (244,238,[0_1|2]), (244,241,[0_1|2]), (244,259,[0_1|2]), (244,264,[0_1|2]), (244,274,[0_1|2]), (244,74,[1_1|2]), (244,78,[0_1|2]), (244,83,[0_1|2]), (244,86,[2_1|2]), (244,96,[0_1|2]), (244,99,[0_1|2]), (244,104,[0_1|2]), (244,109,[0_1|2]), (244,114,[0_1|2]), (244,117,[2_1|2]), (244,121,[2_1|2]), (244,125,[0_1|2]), (244,130,[2_1|2]), (244,139,[2_1|2]), (244,143,[2_1|2]), (244,151,[1_1|2]), (244,156,[2_1|2]), (244,161,[2_1|2]), (244,166,[5_1|2]), (244,171,[4_1|2]), (244,175,[4_1|2]), (244,180,[0_1|2]), (244,185,[2_1|2]), (244,190,[0_1|2]), (244,194,[5_1|2]), (244,199,[5_1|2]), (244,208,[2_1|2]), (244,359,[1_1|3]), (244,363,[0_1|3]), (244,368,[0_1|3]), (244,371,[2_1|3]), (244,375,[2_1|3]), (244,379,[0_1|3]), (244,384,[2_1|3]), (244,389,[0_1|3]), (244,392,[0_1|3]), (244,395,[3_1|3]), (244,400,[3_1|3]), (244,403,[1_1|3]), (244,408,[2_1|3]), (244,413,[2_1|3]), (244,418,[0_1|3]), (244,422,[5_1|3]), (244,298,[0_1|2, 3_1|3]), (244,322,[0_1|2]), (244,325,[0_1|2]), (245,246,[2_1|2]), (246,247,[3_1|2]), (247,248,[4_1|2]), (247,284,[0_1|2]), (247,288,[1_1|2]), (247,293,[5_1|2]), (247,542,[0_1|3]), (247,546,[1_1|3]), (247,551,[5_1|3]), (248,73,[0_1|2]), (248,171,[0_1|2, 4_1|2]), (248,175,[0_1|2, 4_1|2]), (248,231,[0_1|2]), (248,181,[0_1|2]), (248,74,[1_1|2]), (248,78,[0_1|2]), (248,83,[0_1|2]), (248,86,[2_1|2]), (248,91,[3_1|2]), (248,96,[0_1|2]), (248,99,[0_1|2]), (248,104,[0_1|2]), (248,109,[0_1|2]), (248,114,[0_1|2]), (248,117,[2_1|2]), (248,121,[2_1|2]), (248,125,[0_1|2]), (248,130,[2_1|2]), (248,135,[3_1|2]), (248,139,[2_1|2]), (248,143,[2_1|2]), (248,148,[3_1|2]), (248,151,[1_1|2]), (248,156,[2_1|2]), (248,161,[2_1|2]), (248,166,[5_1|2]), (248,180,[0_1|2]), (248,185,[2_1|2]), (248,190,[0_1|2]), (248,194,[5_1|2]), (248,199,[5_1|2]), (248,203,[3_1|2]), (248,208,[2_1|2]), (248,359,[1_1|3]), (248,363,[0_1|3]), (248,368,[0_1|3]), (248,371,[2_1|3]), (248,375,[2_1|3]), (248,379,[0_1|3]), (248,384,[2_1|3]), (248,389,[0_1|3]), (248,392,[0_1|3]), (248,395,[3_1|3]), (248,400,[3_1|3]), (248,403,[1_1|3]), (248,408,[2_1|3]), (248,413,[2_1|3]), (248,418,[0_1|3]), (248,422,[5_1|3]), (248,298,[3_1|3]), (249,250,[3_1|2]), (249,653,[2_1|3]), (250,251,[4_1|2]), (251,252,[2_1|2]), (252,253,[0_1|2]), (252,470,[0_1|3]), (252,473,[2_1|3]), (252,477,[2_1|3]), (252,481,[0_1|3]), (252,130,[2_1|2]), (252,486,[2_1|3]), (253,73,[3_1|2]), (253,171,[3_1|2]), (253,175,[3_1|2]), (253,231,[3_1|2]), (253,181,[3_1|2]), (253,235,[3_1|2]), (253,238,[3_1|2]), (253,241,[3_1|2]), (253,245,[2_1|2]), (253,249,[2_1|2]), (253,254,[5_1|2]), (253,259,[3_1|2]), (253,264,[3_1|2]), (253,269,[1_1|2]), (253,274,[3_1|2]), (253,279,[2_1|2]), (253,491,[3_1|3]), (253,494,[2_1|3]), (253,498,[2_1|3]), (253,503,[5_1|3]), (253,508,[3_1|3]), (253,322,[3_1|3]), (253,325,[3_1|3]), (254,255,[5_1|2]), (255,256,[2_1|2]), (256,257,[4_1|2]), (256,293,[5_1|2]), (256,658,[5_1|3]), (257,258,[0_1|2]), (257,470,[0_1|3]), (257,473,[2_1|3]), (257,477,[2_1|3]), (257,481,[0_1|3]), (257,130,[2_1|2]), (257,486,[2_1|3]), (258,73,[3_1|2]), (258,171,[3_1|2]), (258,175,[3_1|2]), (258,231,[3_1|2]), (258,181,[3_1|2]), (258,235,[3_1|2]), (258,238,[3_1|2]), (258,241,[3_1|2]), (258,245,[2_1|2]), (258,249,[2_1|2]), (258,254,[5_1|2]), (258,259,[3_1|2]), (258,264,[3_1|2]), (258,269,[1_1|2]), (258,274,[3_1|2]), (258,279,[2_1|2]), (258,491,[3_1|3]), (258,494,[2_1|3]), (258,498,[2_1|3]), (258,503,[5_1|3]), (258,508,[3_1|3]), (258,322,[3_1|3]), (258,325,[3_1|3]), (259,260,[0_1|2]), (259,663,[0_1|3]), (259,666,[2_1|3]), (259,670,[2_1|3]), (259,674,[0_1|3]), (260,261,[3_1|2]), (261,262,[4_1|2]), (262,263,[2_1|2]), (263,73,[4_1|2]), (263,171,[4_1|2]), (263,175,[4_1|2]), (263,231,[4_1|2]), (263,284,[0_1|2]), (263,288,[1_1|2]), (263,293,[5_1|2]), (263,461,[0_1|3]), (263,465,[1_1|3]), (264,265,[2_1|2]), (265,266,[1_1|2]), (266,267,[3_1|2]), (267,268,[2_1|2]), (268,73,[4_1|2]), (268,171,[4_1|2]), (268,175,[4_1|2]), (268,231,[4_1|2]), (268,284,[0_1|2]), (268,288,[1_1|2]), (268,293,[5_1|2]), (268,461,[0_1|3]), (268,465,[1_1|3]), (269,270,[4_1|2]), (270,271,[5_1|2]), (271,272,[3_1|2]), (271,679,[3_1|3]), (271,682,[3_1|3]), (272,273,[0_1|2]), (272,470,[0_1|3]), (272,473,[2_1|3]), (272,477,[2_1|3]), (272,481,[0_1|3]), (272,130,[2_1|2]), (272,486,[2_1|3]), (273,73,[3_1|2]), (273,166,[3_1|2]), (273,194,[3_1|2]), (273,199,[3_1|2]), (273,254,[3_1|2, 5_1|2]), (273,293,[3_1|2]), (273,235,[3_1|2]), (273,238,[3_1|2]), (273,241,[3_1|2]), (273,245,[2_1|2]), (273,249,[2_1|2]), (273,259,[3_1|2]), (273,264,[3_1|2]), (273,269,[1_1|2]), (273,274,[3_1|2]), (273,279,[2_1|2]), (273,491,[3_1|3]), (273,494,[2_1|3]), (273,498,[2_1|3]), (273,503,[5_1|3]), (273,508,[3_1|3]), (273,305,[3_1|2]), (273,322,[3_1|3]), (273,325,[3_1|3]), (274,275,[5_1|2]), (275,276,[1_1|2]), (276,277,[0_1|2]), (277,278,[2_1|2]), (278,73,[1_1|2]), (278,78,[1_1|2]), (278,83,[1_1|2]), (278,96,[1_1|2]), (278,99,[1_1|2]), (278,104,[1_1|2]), (278,109,[1_1|2]), (278,114,[1_1|2]), (278,125,[1_1|2]), (278,180,[1_1|2]), (278,190,[1_1|2]), (278,284,[1_1|2]), (278,195,[1_1|2]), (278,200,[1_1|2]), (278,212,[1_1|2]), (278,217,[2_1|2]), (278,222,[3_1|2]), (278,226,[2_1|2]), (278,231,[4_1|2]), (278,686,[1_1|3]), (278,691,[3_1|3]), (278,695,[2_1|3]), (278,301,[1_1|2]), (278,314,[1_1|2]), (278,319,[1_1|2]), (278,648,[1_1|2]), (278,306,[1_1|2]), (279,280,[3_1|2]), (280,281,[0_1|2]), (281,282,[2_1|2]), (282,283,[3_1|2]), (282,279,[2_1|2]), (283,73,[4_1|2]), (283,91,[4_1|2]), (283,135,[4_1|2]), (283,148,[4_1|2]), (283,203,[4_1|2]), (283,222,[4_1|2]), (283,235,[4_1|2]), (283,238,[4_1|2]), (283,241,[4_1|2]), (283,259,[4_1|2]), (283,264,[4_1|2]), (283,274,[4_1|2]), (283,284,[0_1|2]), (283,288,[1_1|2]), (283,293,[5_1|2]), (283,461,[0_1|3]), (283,465,[1_1|3]), (283,298,[4_1|2]), (283,322,[4_1|2]), (283,325,[4_1|2]), (284,285,[2_1|2]), (285,286,[4_1|2]), (286,287,[4_1|2]), (286,284,[0_1|2]), (286,288,[1_1|2]), (286,293,[5_1|2]), (286,542,[0_1|3]), (286,546,[1_1|3]), (286,551,[5_1|3]), (287,73,[0_1|2]), (287,171,[0_1|2, 4_1|2]), (287,175,[0_1|2, 4_1|2]), (287,231,[0_1|2]), (287,181,[0_1|2]), (287,74,[1_1|2]), (287,78,[0_1|2]), (287,83,[0_1|2]), (287,86,[2_1|2]), (287,91,[3_1|2]), (287,96,[0_1|2]), (287,99,[0_1|2]), (287,104,[0_1|2]), (287,109,[0_1|2]), (287,114,[0_1|2]), (287,117,[2_1|2]), (287,121,[2_1|2]), (287,125,[0_1|2]), (287,130,[2_1|2]), (287,135,[3_1|2]), (287,139,[2_1|2]), (287,143,[2_1|2]), (287,148,[3_1|2]), (287,151,[1_1|2]), (287,156,[2_1|2]), (287,161,[2_1|2]), (287,166,[5_1|2]), (287,180,[0_1|2]), (287,185,[2_1|2]), (287,190,[0_1|2]), (287,194,[5_1|2]), (287,199,[5_1|2]), (287,203,[3_1|2]), (287,208,[2_1|2]), (287,359,[1_1|3]), (287,363,[0_1|3]), (287,368,[0_1|3]), (287,371,[2_1|3]), (287,375,[2_1|3]), (287,379,[0_1|3]), (287,384,[2_1|3]), (287,389,[0_1|3]), (287,392,[0_1|3]), (287,395,[3_1|3]), (287,400,[3_1|3]), (287,403,[1_1|3]), (287,408,[2_1|3]), (287,413,[2_1|3]), (287,418,[0_1|3]), (287,422,[5_1|3]), (287,298,[3_1|3]), (288,289,[4_1|2]), (289,290,[0_1|2]), (290,291,[2_1|2]), (291,292,[4_1|2]), (291,284,[0_1|2]), (291,288,[1_1|2]), (291,293,[5_1|2]), (291,542,[0_1|3]), (291,546,[1_1|3]), (291,551,[5_1|3]), (292,73,[0_1|2]), (292,171,[0_1|2, 4_1|2]), (292,175,[0_1|2, 4_1|2]), (292,231,[0_1|2]), (292,181,[0_1|2]), (292,74,[1_1|2]), (292,78,[0_1|2]), (292,83,[0_1|2]), (292,86,[2_1|2]), (292,91,[3_1|2]), (292,96,[0_1|2]), (292,99,[0_1|2]), (292,104,[0_1|2]), (292,109,[0_1|2]), (292,114,[0_1|2]), (292,117,[2_1|2]), (292,121,[2_1|2]), (292,125,[0_1|2]), (292,130,[2_1|2]), (292,135,[3_1|2]), (292,139,[2_1|2]), (292,143,[2_1|2]), (292,148,[3_1|2]), (292,151,[1_1|2]), (292,156,[2_1|2]), (292,161,[2_1|2]), (292,166,[5_1|2]), (292,180,[0_1|2]), (292,185,[2_1|2]), (292,190,[0_1|2]), (292,194,[5_1|2]), (292,199,[5_1|2]), (292,203,[3_1|2]), (292,208,[2_1|2]), (292,359,[1_1|3]), (292,363,[0_1|3]), (292,368,[0_1|3]), (292,371,[2_1|3]), (292,375,[2_1|3]), (292,379,[0_1|3]), (292,384,[2_1|3]), (292,389,[0_1|3]), (292,392,[0_1|3]), (292,395,[3_1|3]), (292,400,[3_1|3]), (292,403,[1_1|3]), (292,408,[2_1|3]), (292,413,[2_1|3]), (292,418,[0_1|3]), (292,422,[5_1|3]), (292,298,[3_1|3]), (293,294,[2_1|2]), (294,295,[3_1|2]), (294,279,[2_1|2]), (294,700,[2_1|3]), (295,296,[4_1|2]), (296,297,[2_1|2]), (297,73,[0_1|2]), (297,166,[0_1|2, 5_1|2]), (297,194,[0_1|2, 5_1|2]), (297,199,[0_1|2, 5_1|2]), (297,254,[0_1|2]), (297,293,[0_1|2]), (297,275,[0_1|2]), (297,74,[1_1|2]), (297,78,[0_1|2]), (297,83,[0_1|2]), (297,86,[2_1|2]), (297,91,[3_1|2]), (297,96,[0_1|2]), (297,99,[0_1|2]), (297,104,[0_1|2]), (297,109,[0_1|2]), (297,114,[0_1|2]), (297,117,[2_1|2]), (297,121,[2_1|2]), (297,125,[0_1|2]), (297,130,[2_1|2]), (297,135,[3_1|2]), (297,139,[2_1|2]), (297,143,[2_1|2]), (297,148,[3_1|2]), (297,151,[1_1|2]), (297,156,[2_1|2]), (297,161,[2_1|2]), (297,171,[4_1|2]), (297,175,[4_1|2]), (297,180,[0_1|2]), (297,185,[2_1|2]), (297,190,[0_1|2]), (297,203,[3_1|2]), (297,208,[2_1|2]), (297,359,[1_1|3]), (297,363,[0_1|3]), (297,368,[0_1|3]), (297,371,[2_1|3]), (297,375,[2_1|3]), (297,379,[0_1|3]), (297,384,[2_1|3]), (297,389,[0_1|3]), (297,392,[0_1|3]), (297,395,[3_1|3]), (297,400,[3_1|3]), (297,403,[1_1|3]), (297,408,[2_1|3]), (297,413,[2_1|3]), (297,418,[0_1|3]), (297,422,[5_1|3]), (297,305,[0_1|2]), (297,298,[3_1|3]), (298,299,[0_1|3]), (299,300,[2_1|3]), (300,93,[0_1|3]), (301,302,[5_1|3]), (302,303,[2_1|3]), (303,304,[4_1|3]), (304,106,[0_1|3]), (304,513,[0_1|3]), (304,524,[0_1|3]), (304,516,[2_1|3]), (304,520,[2_1|3]), (305,306,[0_1|3]), (306,307,[2_1|3]), (307,308,[3_1|3]), (308,309,[2_1|3]), (309,106,[0_1|3]), (309,513,[0_1|3]), (309,524,[0_1|3]), (309,516,[2_1|3]), (309,520,[2_1|3]), (310,311,[0_1|3]), (311,312,[2_1|3]), (312,313,[0_1|3]), (313,110,[2_1|3]), (313,533,[2_1|3]), (313,111,[2_1|3]), (313,93,[2_1|3]), (313,201,[2_1|3]), (314,315,[2_1|3]), (315,316,[3_1|3]), (316,317,[4_1|3]), (317,318,[0_1|3]), (318,110,[2_1|3]), (318,533,[2_1|3]), (319,320,[2_1|3]), (320,321,[0_1|3]), (320,708,[1_1|4]), (320,712,[0_1|4]), (321,111,[0_1|3]), (322,323,[0_1|3]), (323,324,[2_1|3]), (324,261,[3_1|3]), (325,326,[3_1|3]), (326,327,[2_1|3]), (327,328,[2_1|3]), (328,261,[0_1|3]), (329,330,[0_1|3]), (330,331,[2_1|3]), (331,332,[0_1|3]), (332,73,[2_1|3]), (332,78,[2_1|3]), (332,83,[2_1|3]), (332,96,[2_1|3]), (332,99,[2_1|3]), (332,104,[2_1|3]), (332,109,[2_1|3]), (332,114,[2_1|3]), (332,125,[2_1|3]), (332,180,[2_1|3]), (332,190,[2_1|3]), (332,284,[2_1|3]), (332,110,[2_1|3]), (332,363,[2_1|3]), (332,368,[2_1|3]), (332,379,[2_1|3]), (332,389,[2_1|3]), (332,392,[2_1|3]), (332,418,[2_1|3]), (332,533,[2_1|3]), (332,301,[2_1|3]), (332,314,[2_1|3]), (332,319,[2_1|3]), (333,334,[2_1|3]), (334,335,[3_1|3]), (335,336,[4_1|3]), (336,337,[0_1|3]), (337,73,[2_1|3]), (337,78,[2_1|3]), (337,83,[2_1|3]), (337,96,[2_1|3]), (337,99,[2_1|3]), (337,104,[2_1|3]), (337,109,[2_1|3]), (337,114,[2_1|3]), (337,125,[2_1|3]), (337,180,[2_1|3]), (337,190,[2_1|3]), (337,284,[2_1|3]), (337,110,[2_1|3]), (337,363,[2_1|3]), (337,368,[2_1|3]), (337,379,[2_1|3]), (337,389,[2_1|3]), (337,392,[2_1|3]), (337,418,[2_1|3]), (337,533,[2_1|3]), (337,301,[2_1|3]), (337,314,[2_1|3]), (337,319,[2_1|3]), (338,339,[2_1|3]), (339,340,[0_1|3]), (339,717,[1_1|4]), (339,721,[0_1|4]), (339,389,[0_1|3]), (339,392,[0_1|3]), (339,726,[0_1|4]), (339,413,[2_1|3]), (339,926,[0_1|4]), (339,929,[0_1|4]), (339,933,[5_1|4]), (340,78,[0_1|3]), (340,83,[0_1|3]), (340,96,[0_1|3]), (340,99,[0_1|3]), (340,104,[0_1|3]), (340,109,[0_1|3]), (340,114,[0_1|3]), (340,125,[0_1|3]), (340,180,[0_1|3]), (340,190,[0_1|3]), (340,284,[0_1|3]), (340,301,[0_1|3]), (340,314,[0_1|3]), (340,319,[0_1|3]), (340,110,[0_1|3]), (340,533,[0_1|3]), (340,111,[0_1|3]), (340,305,[5_1|3]), (340,310,[1_1|3]), (340,729,[1_1|4]), (340,733,[0_1|4]), (340,93,[0_1|3]), (341,342,[5_1|3]), (342,343,[2_1|3]), (343,166,[0_1|3]), (343,194,[0_1|3]), (343,199,[0_1|3]), (343,254,[0_1|3]), (343,293,[0_1|3]), (343,305,[0_1|3]), (343,97,[0_1|3]), (343,100,[0_1|3]), (343,105,[0_1|3]), (343,191,[0_1|3]), (343,390,[0_1|3]), (343,419,[0_1|3]), (343,368,[0_1|3]), (343,371,[2_1|3]), (343,375,[2_1|3]), (343,379,[0_1|3]), (343,359,[1_1|3]), (343,363,[0_1|3]), (343,392,[0_1|3]), (343,738,[1_1|4]), (343,742,[0_1|4]), (343,302,[0_1|3]), (344,345,[5_1|3]), (345,346,[2_1|3]), (346,347,[5_1|3]), (347,348,[0_1|3]), (347,747,[0_1|4]), (347,750,[2_1|4]), (347,754,[2_1|4]), (347,758,[0_1|4]), (348,167,[3_1|3]), (349,350,[4_1|3]), (350,351,[0_1|3]), (350,763,[1_1|4]), (350,767,[0_1|4]), (351,352,[0_1|3]), (351,772,[0_1|4]), (351,775,[2_1|4]), (351,779,[2_1|4]), (351,783,[0_1|4]), (352,353,[3_1|3]), (353,171,[2_1|3]), (353,175,[2_1|3]), (353,231,[2_1|3]), (353,181,[2_1|3]), (354,355,[0_1|3]), (354,788,[1_1|4]), (354,792,[0_1|4]), (355,356,[0_1|3]), (356,357,[2_1|3]), (357,358,[1_1|3]), (358,172,[4_1|3]), (358,176,[4_1|3]), (358,639,[4_1|3]), (359,360,[0_1|3]), (360,361,[2_1|3]), (361,362,[0_1|3]), (362,78,[2_1|3]), (362,83,[2_1|3]), (362,96,[2_1|3]), (362,99,[2_1|3]), (362,104,[2_1|3]), (362,109,[2_1|3]), (362,114,[2_1|3]), (362,125,[2_1|3]), (362,180,[2_1|3]), (362,190,[2_1|3]), (362,284,[2_1|3]), (362,301,[2_1|3]), (362,314,[2_1|3]), (362,319,[2_1|3]), (362,110,[2_1|3]), (362,533,[2_1|3]), (362,111,[2_1|3]), (362,195,[2_1|3]), (362,200,[2_1|3]), (362,648,[2_1|3]), (362,106,[2_1|3]), (362,513,[2_1|3]), (362,524,[2_1|3]), (362,93,[2_1|3]), (362,92,[2_1|3]), (362,456,[2_1|3]), (362,149,[2_1|3]), (362,223,[2_1|3]), (362,236,[2_1|3]), (362,239,[2_1|3]), (362,260,[2_1|3]), (362,663,[2_1|3]), (362,674,[2_1|3]), (362,201,[2_1|3]), (362,232,[2_1|3]), (362,182,[2_1|3]), (362,306,[2_1|3]), (362,299,[2_1|3]), (362,323,[2_1|3]), (363,364,[2_1|3]), (364,365,[3_1|3]), (365,366,[4_1|3]), (366,367,[0_1|3]), (367,78,[2_1|3]), (367,83,[2_1|3]), (367,96,[2_1|3]), (367,99,[2_1|3]), (367,104,[2_1|3]), (367,109,[2_1|3]), (367,114,[2_1|3]), (367,125,[2_1|3]), (367,180,[2_1|3]), (367,190,[2_1|3]), (367,284,[2_1|3]), (367,301,[2_1|3]), (367,314,[2_1|3]), (367,319,[2_1|3]), (367,110,[2_1|3]), (367,533,[2_1|3]), (367,111,[2_1|3]), (367,195,[2_1|3]), (367,200,[2_1|3]), (367,648,[2_1|3]), (367,106,[2_1|3]), (367,513,[2_1|3]), (367,524,[2_1|3]), (367,93,[2_1|3]), (367,92,[2_1|3]), (367,456,[2_1|3]), (367,149,[2_1|3]), (367,223,[2_1|3]), (367,236,[2_1|3]), (367,239,[2_1|3]), (367,260,[2_1|3]), (367,663,[2_1|3]), (367,674,[2_1|3]), (367,201,[2_1|3]), (367,232,[2_1|3]), (367,182,[2_1|3]), (367,306,[2_1|3]), (367,299,[2_1|3]), (367,323,[2_1|3]), (368,369,[2_1|3]), (369,370,[3_1|3]), (370,91,[2_1|3]), (370,135,[2_1|3]), (370,148,[2_1|3]), (370,203,[2_1|3]), (370,222,[2_1|3]), (370,235,[2_1|3]), (370,238,[2_1|3]), (370,241,[2_1|3]), (370,259,[2_1|3]), (370,264,[2_1|3]), (370,274,[2_1|3]), (370,395,[2_1|3]), (370,400,[2_1|3]), (370,298,[2_1|3]), (370,322,[2_1|3]), (370,325,[2_1|3]), (370,167,[2_1|3]), (370,261,[2_1|3]), (370,242,[2_1|3]), (370,172,[2_1|3]), (370,176,[2_1|3]), (370,639,[2_1|3]), (370,326,[2_1|3]), (371,372,[0_1|3]), (372,373,[2_1|3]), (373,374,[1_1|3]), (374,91,[3_1|3]), (374,135,[3_1|3]), (374,148,[3_1|3]), (374,203,[3_1|3]), (374,222,[3_1|3]), (374,235,[3_1|3]), (374,238,[3_1|3]), (374,241,[3_1|3]), (374,259,[3_1|3]), (374,264,[3_1|3]), (374,274,[3_1|3]), (374,395,[3_1|3]), (374,400,[3_1|3]), (374,298,[3_1|3]), (374,322,[3_1|3]), (374,325,[3_1|3]), (374,167,[3_1|3]), (374,261,[3_1|3]), (374,242,[3_1|3]), (374,172,[3_1|3]), (374,176,[3_1|3]), (374,639,[3_1|3]), (374,326,[3_1|3]), (375,376,[3_1|3]), (376,377,[0_1|3]), (377,378,[2_1|3]), (378,91,[2_1|3]), (378,135,[2_1|3]), (378,148,[2_1|3]), (378,203,[2_1|3]), (378,222,[2_1|3]), (378,235,[2_1|3]), (378,238,[2_1|3]), (378,241,[2_1|3]), (378,259,[2_1|3]), (378,264,[2_1|3]), (378,274,[2_1|3]), (378,395,[2_1|3]), (378,400,[2_1|3]), (378,298,[2_1|3]), (378,322,[2_1|3]), (378,325,[2_1|3]), (378,167,[2_1|3]), (378,261,[2_1|3]), (378,242,[2_1|3]), (378,172,[2_1|3]), (378,176,[2_1|3]), (378,639,[2_1|3]), (378,326,[2_1|3]), (379,380,[2_1|3]), (380,381,[2_1|3]), (381,382,[2_1|3]), (382,383,[3_1|3]), (383,91,[2_1|3]), (383,135,[2_1|3]), (383,148,[2_1|3]), (383,203,[2_1|3]), (383,222,[2_1|3]), (383,235,[2_1|3]), (383,238,[2_1|3]), (383,241,[2_1|3]), (383,259,[2_1|3]), (383,264,[2_1|3]), (383,274,[2_1|3]), (383,395,[2_1|3]), (383,400,[2_1|3]), (383,298,[2_1|3]), (383,322,[2_1|3]), (383,325,[2_1|3]), (383,167,[2_1|3]), (383,261,[2_1|3]), (383,242,[2_1|3]), (383,172,[2_1|3]), (383,176,[2_1|3]), (383,639,[2_1|3]), (383,326,[2_1|3]), (384,385,[0_1|3]), (385,386,[2_1|3]), (386,387,[3_1|3]), (387,388,[4_1|3]), (388,92,[0_1|3]), (388,149,[0_1|3]), (388,223,[0_1|3]), (388,236,[0_1|3]), (388,239,[0_1|3]), (388,260,[0_1|3]), (388,456,[0_1|3]), (388,401,[0_1|3]), (388,663,[0_1|3]), (388,674,[0_1|3]), (388,299,[0_1|3]), (388,323,[0_1|3]), (388,452,[1_1|3]), (388,666,[2_1|3]), (388,670,[2_1|3]), (389,390,[5_1|3]), (390,391,[2_1|3]), (391,97,[0_1|3]), (391,100,[0_1|3]), (391,105,[0_1|3]), (391,191,[0_1|3]), (391,302,[0_1|3]), (391,359,[1_1|3]), (391,363,[0_1|3]), (391,797,[1_1|4]), (391,801,[0_1|4]), (392,393,[2_1|3]), (393,394,[0_1|3]), (393,806,[1_1|4]), (393,810,[0_1|4]), (393,319,[0_1|3]), (394,110,[0_1|3]), (394,533,[0_1|3]), (394,111,[0_1|3]), (394,201,[0_1|3]), (394,93,[0_1|3]), (394,529,[1_1|3]), (395,396,[2_1|3]), (396,397,[5_1|3]), (397,398,[3_1|3]), (398,399,[2_1|3]), (399,167,[0_1|3]), (400,401,[0_1|3]), (401,402,[2_1|3]), (402,172,[4_1|3]), (402,176,[4_1|3]), (402,639,[4_1|3]), (403,404,[0_1|3]), (404,405,[2_1|3]), (405,406,[1_1|3]), (406,407,[3_1|3]), (407,172,[4_1|3]), (407,176,[4_1|3]), (407,639,[4_1|3]), (408,409,[2_1|3]), (409,410,[4_1|3]), (410,411,[3_1|3]), (411,412,[4_1|3]), (412,172,[0_1|3]), (412,176,[0_1|3]), (412,639,[0_1|3]), (412,418,[0_1|3]), (412,422,[5_1|3]), (413,414,[4_1|3]), (414,415,[0_1|3]), (414,815,[1_1|4]), (414,819,[0_1|4]), (415,416,[0_1|3]), (415,824,[0_1|4]), (415,827,[2_1|4]), (415,831,[2_1|4]), (415,835,[0_1|4]), (416,417,[3_1|3]), (417,181,[2_1|3]), (418,419,[5_1|3]), (419,420,[2_1|3]), (420,421,[4_1|3]), (421,195,[0_1|3]), (421,200,[0_1|3]), (421,648,[0_1|3]), (421,423,[0_1|3]), (421,106,[0_1|3]), (421,513,[0_1|3]), (421,524,[0_1|3]), (421,306,[0_1|3]), (421,178,[0_1|3]), (421,644,[1_1|3]), (421,516,[2_1|3]), (421,520,[2_1|3]), (422,423,[0_1|3]), (423,424,[2_1|3]), (424,425,[3_1|3]), (425,426,[2_1|3]), (426,195,[0_1|3]), (426,200,[0_1|3]), (426,648,[0_1|3]), (426,423,[0_1|3]), (426,106,[0_1|3]), (426,513,[0_1|3]), (426,524,[0_1|3]), (426,306,[0_1|3]), (426,178,[0_1|3]), (426,644,[1_1|3]), (426,516,[2_1|3]), (426,520,[2_1|3]), (427,428,[0_1|3]), (428,429,[2_1|3]), (429,430,[0_1|3]), (430,89,[2_1|3]), (430,436,[2_1|3]), (430,447,[2_1|3]), (431,432,[2_1|3]), (432,433,[3_1|3]), (433,434,[4_1|3]), (434,435,[0_1|3]), (435,89,[2_1|3]), (435,436,[2_1|3]), (435,447,[2_1|3]), (436,437,[2_1|3]), (437,438,[3_1|3]), (438,90,[2_1|3]), (439,440,[0_1|3]), (440,441,[2_1|3]), (441,442,[1_1|3]), (442,90,[3_1|3]), (443,444,[3_1|3]), (444,445,[0_1|3]), (445,446,[2_1|3]), (446,90,[2_1|3]), (447,448,[2_1|3]), (448,449,[2_1|3]), (449,450,[2_1|3]), (450,451,[3_1|3]), (451,90,[2_1|3]), (452,453,[0_1|3]), (453,454,[2_1|3]), (454,455,[0_1|3]), (455,93,[2_1|3]), (456,457,[2_1|3]), (457,458,[3_1|3]), (458,459,[4_1|3]), (459,460,[0_1|3]), (460,93,[2_1|3]), (461,462,[2_1|3]), (462,463,[4_1|3]), (463,464,[4_1|3]), (464,181,[0_1|3]), (464,359,[1_1|3]), (464,363,[0_1|3]), (465,466,[4_1|3]), (466,467,[0_1|3]), (467,468,[2_1|3]), (468,469,[4_1|3]), (469,181,[0_1|3]), (469,359,[1_1|3]), (469,363,[0_1|3]), (470,471,[2_1|3]), (471,472,[3_1|3]), (472,73,[2_1|3]), (472,91,[2_1|3]), (472,135,[2_1|3]), (472,148,[2_1|3]), (472,203,[2_1|3]), (472,222,[2_1|3]), (472,235,[2_1|3]), (472,238,[2_1|3]), (472,241,[2_1|3]), (472,259,[2_1|3]), (472,264,[2_1|3]), (472,274,[2_1|3]), (472,167,[2_1|3]), (472,491,[2_1|3]), (472,508,[2_1|3]), (472,171,[2_1|3]), (472,175,[2_1|3]), (472,231,[2_1|3]), (472,181,[2_1|3]), (472,166,[2_1|3]), (472,194,[2_1|3]), (472,199,[2_1|3]), (472,254,[2_1|3]), (472,293,[2_1|3]), (472,298,[2_1|3]), (472,322,[2_1|3]), (472,325,[2_1|3]), (472,305,[2_1|3]), (473,474,[0_1|3]), (474,475,[2_1|3]), (475,476,[1_1|3]), (475,231,[4_1|2]), (475,538,[4_1|3]), (476,73,[3_1|3]), (476,91,[3_1|3]), (476,135,[3_1|3]), (476,148,[3_1|3]), (476,203,[3_1|3]), (476,222,[3_1|3]), (476,235,[3_1|3, 3_1|2]), (476,238,[3_1|3, 3_1|2]), (476,241,[3_1|3, 3_1|2]), (476,259,[3_1|3, 3_1|2]), (476,264,[3_1|3, 3_1|2]), (476,274,[3_1|3, 3_1|2]), (476,167,[3_1|3]), (476,491,[3_1|3]), (476,508,[3_1|3]), (476,171,[3_1|3]), (476,175,[3_1|3]), (476,231,[3_1|3]), (476,181,[3_1|3]), (476,166,[3_1|3]), (476,194,[3_1|3]), (476,199,[3_1|3]), (476,254,[3_1|3, 5_1|2]), (476,293,[3_1|3]), (476,245,[2_1|2]), (476,249,[2_1|2]), (476,269,[1_1|2]), (476,279,[2_1|2]), (476,494,[2_1|3]), (476,498,[2_1|3]), (476,503,[5_1|3]), (476,840,[3_1|4]), (476,298,[3_1|3]), (476,322,[3_1|3]), (476,325,[3_1|3]), (476,305,[3_1|3]), (477,478,[3_1|3]), (478,479,[0_1|3]), (479,480,[2_1|3]), (480,73,[2_1|3]), (480,91,[2_1|3]), (480,135,[2_1|3]), (480,148,[2_1|3]), (480,203,[2_1|3]), (480,222,[2_1|3]), (480,235,[2_1|3]), (480,238,[2_1|3]), (480,241,[2_1|3]), (480,259,[2_1|3]), (480,264,[2_1|3]), (480,274,[2_1|3]), (480,167,[2_1|3]), (480,491,[2_1|3]), (480,508,[2_1|3]), (480,171,[2_1|3]), (480,175,[2_1|3]), (480,231,[2_1|3]), (480,181,[2_1|3]), (480,166,[2_1|3]), (480,194,[2_1|3]), (480,199,[2_1|3]), (480,254,[2_1|3]), (480,293,[2_1|3]), (480,298,[2_1|3]), (480,322,[2_1|3]), (480,325,[2_1|3]), (480,305,[2_1|3]), (481,482,[2_1|3]), (482,483,[2_1|3]), (483,484,[2_1|3]), (484,485,[3_1|3]), (485,73,[2_1|3]), (485,91,[2_1|3]), (485,135,[2_1|3]), (485,148,[2_1|3]), (485,203,[2_1|3]), (485,222,[2_1|3]), (485,235,[2_1|3]), (485,238,[2_1|3]), (485,241,[2_1|3]), (485,259,[2_1|3]), (485,264,[2_1|3]), (485,274,[2_1|3]), (485,167,[2_1|3]), (485,491,[2_1|3]), (485,508,[2_1|3]), (485,171,[2_1|3]), (485,175,[2_1|3]), (485,231,[2_1|3]), (485,181,[2_1|3]), (485,166,[2_1|3]), (485,194,[2_1|3]), (485,199,[2_1|3]), (485,254,[2_1|3]), (485,293,[2_1|3]), (485,298,[2_1|3]), (485,322,[2_1|3]), (485,325,[2_1|3]), (485,305,[2_1|3]), (486,487,[0_1|3]), (487,488,[2_1|3]), (488,489,[3_1|3]), (489,490,[4_1|3]), (489,461,[0_1|3]), (489,465,[1_1|3]), (490,78,[0_1|3]), (490,83,[0_1|3]), (490,96,[0_1|3]), (490,99,[0_1|3]), (490,104,[0_1|3]), (490,109,[0_1|3]), (490,114,[0_1|3]), (490,125,[0_1|3]), (490,180,[0_1|3]), (490,190,[0_1|3]), (490,284,[0_1|3]), (490,301,[0_1|3]), (490,314,[0_1|3]), (490,319,[0_1|3]), (490,92,[0_1|3]), (490,456,[0_1|3]), (490,149,[0_1|3]), (490,223,[0_1|3]), (490,236,[0_1|3]), (490,239,[0_1|3]), (490,260,[0_1|3]), (490,663,[0_1|3]), (490,674,[0_1|3]), (490,492,[0_1|3]), (490,232,[0_1|3]), (490,182,[0_1|3]), (490,195,[0_1|3]), (490,200,[0_1|3]), (490,648,[0_1|3]), (490,305,[5_1|3]), (490,310,[1_1|3]), (490,729,[1_1|4]), (490,733,[0_1|4]), (490,299,[0_1|3]), (490,323,[0_1|3]), (490,306,[0_1|3]), (490,666,[2_1|3]), (490,670,[2_1|3]), (491,492,[0_1|3]), (492,493,[2_1|3]), (493,110,[0_1|3]), (493,533,[0_1|3]), (493,93,[0_1|3]), (493,201,[0_1|3]), (493,529,[1_1|3]), (493,299,[0_1|3]), (493,323,[0_1|3]), (494,495,[2_1|3]), (495,496,[3_1|3]), (496,497,[4_1|3]), (497,181,[0_1|3]), (497,359,[1_1|3]), (497,363,[0_1|3]), (498,499,[3_1|3]), (498,845,[2_1|4]), (499,500,[4_1|3]), (500,501,[2_1|3]), (501,502,[0_1|3]), (501,850,[0_1|4]), (501,853,[2_1|4]), (501,857,[2_1|4]), (501,861,[0_1|4]), (501,486,[2_1|3]), (502,181,[3_1|3]), (503,504,[5_1|3]), (504,505,[2_1|3]), (505,506,[4_1|3]), (506,507,[0_1|3]), (506,850,[0_1|4]), (506,853,[2_1|4]), (506,857,[2_1|4]), (506,861,[0_1|4]), (506,486,[2_1|3]), (507,181,[3_1|3]), (508,509,[5_1|3]), (509,510,[1_1|3]), (510,511,[0_1|3]), (511,512,[2_1|3]), (512,195,[1_1|3]), (512,200,[1_1|3]), (512,648,[1_1|3]), (512,306,[1_1|3]), (512,423,[1_1|3]), (513,514,[2_1|3]), (514,515,[3_1|3]), (515,107,[2_1|3]), (516,517,[0_1|3]), (517,518,[2_1|3]), (518,519,[1_1|3]), (519,107,[3_1|3]), (520,521,[3_1|3]), (521,522,[0_1|3]), (522,523,[2_1|3]), (523,107,[2_1|3]), (524,525,[2_1|3]), (525,526,[2_1|3]), (526,527,[2_1|3]), (527,528,[3_1|3]), (528,107,[2_1|3]), (529,530,[0_1|3]), (530,531,[2_1|3]), (531,532,[0_1|3]), (532,111,[2_1|3]), (533,534,[2_1|3]), (534,535,[3_1|3]), (535,536,[4_1|3]), (536,537,[0_1|3]), (537,111,[2_1|3]), (538,539,[0_1|3]), (539,540,[1_1|3]), (540,541,[2_1|3]), (541,181,[3_1|3]), (542,543,[2_1|3]), (543,544,[4_1|3]), (544,545,[4_1|3]), (544,551,[5_1|3]), (544,866,[5_1|4]), (545,171,[0_1|3]), (545,175,[0_1|3]), (545,231,[0_1|3]), (545,181,[0_1|3]), (545,368,[0_1|3]), (545,371,[2_1|3]), (545,375,[2_1|3]), (545,379,[0_1|3]), (545,871,[0_1|4]), (545,874,[2_1|4]), (545,878,[2_1|4]), (545,882,[0_1|4]), (545,359,[1_1|3]), (545,363,[0_1|3]), (546,547,[4_1|3]), (547,548,[0_1|3]), (548,549,[2_1|3]), (549,550,[4_1|3]), (549,551,[5_1|3]), (549,866,[5_1|4]), (550,171,[0_1|3]), (550,175,[0_1|3]), (550,231,[0_1|3]), (550,181,[0_1|3]), (550,368,[0_1|3]), (550,371,[2_1|3]), (550,375,[2_1|3]), (550,379,[0_1|3]), (550,871,[0_1|4]), (550,874,[2_1|4]), (550,878,[2_1|4]), (550,882,[0_1|4]), (550,359,[1_1|3]), (550,363,[0_1|3]), (551,552,[2_1|3]), (552,553,[3_1|3]), (553,554,[4_1|3]), (554,555,[2_1|3]), (555,275,[0_1|3]), (555,177,[0_1|3]), (555,640,[0_1|3]), (555,968,[1_1|3]), (555,972,[0_1|3]), (556,557,[0_1|3]), (557,558,[2_1|3]), (558,559,[5_1|3]), (559,560,[0_1|3]), (560,78,[2_1|3]), (560,83,[2_1|3]), (560,96,[2_1|3]), (560,99,[2_1|3]), (560,104,[2_1|3]), (560,109,[2_1|3]), (560,114,[2_1|3]), (560,125,[2_1|3]), (560,180,[2_1|3]), (560,190,[2_1|3]), (560,284,[2_1|3]), (560,301,[2_1|3]), (560,314,[2_1|3]), (560,319,[2_1|3]), (560,92,[2_1|3]), (560,456,[2_1|3]), (560,149,[2_1|3]), (560,223,[2_1|3]), (560,236,[2_1|3]), (560,239,[2_1|3]), (560,260,[2_1|3]), (560,663,[2_1|3]), (560,674,[2_1|3]), (560,110,[2_1|3]), (560,533,[2_1|3]), (560,111,[2_1|3]), (560,299,[2_1|3]), (560,323,[2_1|3]), (561,562,[1_1|3]), (562,563,[3_1|3]), (563,564,[0_1|3]), (564,565,[5_1|3]), (565,91,[2_1|3]), (565,135,[2_1|3]), (565,148,[2_1|3]), (565,203,[2_1|3]), (565,222,[2_1|3]), (565,235,[2_1|3]), (565,238,[2_1|3]), (565,241,[2_1|3]), (565,259,[2_1|3]), (565,264,[2_1|3]), (565,274,[2_1|3]), (565,298,[2_1|3]), (565,322,[2_1|3]), (565,325,[2_1|3]), (565,242,[2_1|3]), (565,326,[2_1|3]), (566,567,[0_1|3]), (567,568,[2_1|3]), (568,569,[1_1|3]), (569,171,[4_1|3]), (569,175,[4_1|3]), (569,231,[4_1|3]), (569,181,[4_1|3]), (570,571,[1_1|3]), (571,572,[2_1|3]), (572,573,[1_1|3]), (573,574,[4_1|3]), (573,551,[5_1|3]), (573,866,[5_1|4]), (574,171,[0_1|3]), (574,175,[0_1|3]), (574,231,[0_1|3]), (574,181,[0_1|3]), (574,368,[0_1|3]), (574,371,[2_1|3]), (574,375,[2_1|3]), (574,379,[0_1|3]), (574,871,[0_1|4]), (574,874,[2_1|4]), (574,878,[2_1|4]), (574,882,[0_1|4]), (574,359,[1_1|3]), (574,363,[0_1|3]), (575,576,[1_1|3]), (576,577,[3_1|3]), (577,578,[0_1|3]), (578,579,[5_1|3]), (579,142,[2_1|3]), (579,235,[2_1|3]), (579,238,[2_1|3]), (579,241,[2_1|3]), (579,259,[2_1|3]), (579,601,[2_1|3]), (579,604,[2_1|3]), (579,607,[2_1|3]), (579,508,[2_1|3]), (580,581,[2_1|3]), (581,582,[3_1|3]), (582,142,[2_1|3]), (582,235,[2_1|3]), (582,238,[2_1|3]), (582,241,[2_1|3]), (582,259,[2_1|3]), (582,601,[2_1|3]), (582,604,[2_1|3]), (582,607,[2_1|3]), (582,508,[2_1|3]), (583,584,[0_1|3]), (584,585,[2_1|3]), (585,586,[1_1|3]), (585,231,[4_1|2]), (585,887,[4_1|3]), (586,142,[3_1|3]), (586,235,[3_1|3, 3_1|2]), (586,238,[3_1|3, 3_1|2]), (586,241,[3_1|3, 3_1|2]), (586,259,[3_1|3, 3_1|2]), (586,601,[3_1|3]), (586,604,[3_1|3]), (586,607,[3_1|3]), (586,245,[2_1|2]), (586,249,[2_1|2]), (586,254,[5_1|2]), (586,611,[2_1|3]), (586,615,[2_1|3]), (586,620,[5_1|3]), (586,491,[3_1|3]), (586,508,[3_1|3]), (586,891,[3_1|4]), (586,322,[3_1|3]), (586,325,[3_1|3]), (587,588,[3_1|3]), (588,589,[0_1|3]), (589,590,[2_1|3]), (590,142,[2_1|3]), (590,235,[2_1|3]), (590,238,[2_1|3]), (590,241,[2_1|3]), (590,259,[2_1|3]), (590,601,[2_1|3]), (590,604,[2_1|3]), (590,607,[2_1|3]), (590,508,[2_1|3]), (591,592,[2_1|3]), (592,593,[2_1|3]), (593,594,[2_1|3]), (594,595,[3_1|3]), (595,142,[2_1|3]), (595,235,[2_1|3]), (595,238,[2_1|3]), (595,241,[2_1|3]), (595,259,[2_1|3]), (595,601,[2_1|3]), (595,604,[2_1|3]), (595,607,[2_1|3]), (595,508,[2_1|3]), (596,597,[0_1|3]), (597,598,[2_1|3]), (598,599,[3_1|3]), (599,600,[4_1|3]), (599,284,[0_1|2]), (599,288,[1_1|2]), (599,293,[5_1|2]), (599,542,[0_1|3]), (599,546,[1_1|3]), (599,551,[5_1|3]), (600,73,[0_1|3]), (600,91,[0_1|3, 3_1|2]), (600,135,[0_1|3, 3_1|2]), (600,148,[0_1|3, 3_1|2]), (600,203,[0_1|3, 3_1|2]), (600,222,[0_1|3]), (600,235,[0_1|3]), (600,238,[0_1|3]), (600,241,[0_1|3]), (600,259,[0_1|3]), (600,264,[0_1|3]), (600,274,[0_1|3]), (600,78,[0_1|3, 0_1|2]), (600,83,[0_1|3, 0_1|2]), (600,96,[0_1|3, 0_1|2]), (600,99,[0_1|3, 0_1|2]), (600,104,[0_1|3, 0_1|2]), (600,109,[0_1|3, 0_1|2]), (600,114,[0_1|3, 0_1|2]), (600,125,[0_1|3, 0_1|2]), (600,180,[0_1|3, 0_1|2]), (600,190,[0_1|3, 0_1|2]), (600,363,[0_1|3]), (600,368,[0_1|3]), (600,379,[0_1|3]), (600,389,[0_1|3]), (600,392,[0_1|3]), (600,418,[0_1|3]), (600,236,[0_1|3]), (600,239,[0_1|3]), (600,260,[0_1|3]), (600,663,[0_1|3]), (600,674,[0_1|3]), (600,602,[0_1|3]), (600,605,[0_1|3]), (600,74,[1_1|2]), (600,86,[2_1|2]), (600,117,[2_1|2]), (600,121,[2_1|2]), (600,130,[2_1|2]), (600,139,[2_1|2]), (600,143,[2_1|2]), (600,151,[1_1|2]), (600,156,[2_1|2]), (600,161,[2_1|2]), (600,166,[5_1|2]), (600,171,[4_1|2]), (600,175,[4_1|2]), (600,185,[2_1|2]), (600,194,[5_1|2]), (600,199,[5_1|2]), (600,208,[2_1|2]), (600,359,[1_1|3]), (600,371,[2_1|3]), (600,375,[2_1|3]), (600,384,[2_1|3]), (600,338,[0_1|3]), (600,395,[3_1|3]), (600,400,[3_1|3]), (600,403,[1_1|3]), (600,408,[2_1|3]), (600,413,[2_1|3]), (600,422,[5_1|3]), (600,896,[0_1|4]), (600,899,[2_1|4]), (600,903,[2_1|4]), (600,907,[0_1|4]), (600,912,[2_1|4]), (600,917,[1_1|4]), (600,921,[0_1|4]), (600,926,[0_1|4]), (600,929,[0_1|4]), (600,933,[5_1|4]), (600,298,[0_1|3, 3_1|3]), (600,322,[0_1|3]), (600,325,[0_1|3]), (600,301,[0_1|3]), (600,314,[0_1|3]), (601,602,[0_1|3]), (602,603,[2_1|3]), (603,78,[0_1|3]), (603,83,[0_1|3]), (603,96,[0_1|3]), (603,99,[0_1|3]), (603,104,[0_1|3]), (603,109,[0_1|3]), (603,114,[0_1|3]), (603,125,[0_1|3]), (603,180,[0_1|3]), (603,190,[0_1|3]), (603,284,[0_1|3]), (603,301,[0_1|3]), (603,314,[0_1|3]), (603,319,[0_1|3]), (603,92,[0_1|3]), (603,456,[0_1|3]), (603,149,[0_1|3]), (603,223,[0_1|3]), (603,236,[0_1|3]), (603,239,[0_1|3]), (603,260,[0_1|3]), (603,663,[0_1|3]), (603,674,[0_1|3]), (603,110,[0_1|3]), (603,533,[0_1|3]), (603,305,[5_1|3]), (603,310,[1_1|3]), (603,729,[1_1|4]), (603,733,[0_1|4]), (603,299,[0_1|3]), (603,323,[0_1|3]), (603,666,[2_1|3]), (603,670,[2_1|3]), (604,605,[0_1|3]), (605,606,[2_1|3]), (606,91,[3_1|3]), (606,135,[3_1|3]), (606,148,[3_1|3]), (606,203,[3_1|3]), (606,222,[3_1|3]), (606,235,[3_1|3]), (606,238,[3_1|3]), (606,241,[3_1|3]), (606,259,[3_1|3]), (606,264,[3_1|3]), (606,274,[3_1|3]), (606,298,[3_1|3]), (606,322,[3_1|3]), (606,325,[3_1|3]), (606,242,[3_1|3]), (606,261,[3_1|3]), (606,326,[3_1|3]), (607,608,[3_1|3]), (608,609,[2_1|3]), (609,610,[2_1|3]), (610,91,[0_1|3]), (610,135,[0_1|3]), (610,148,[0_1|3]), (610,203,[0_1|3]), (610,222,[0_1|3]), (610,235,[0_1|3]), (610,238,[0_1|3]), (610,241,[0_1|3]), (610,259,[0_1|3]), (610,264,[0_1|3]), (610,274,[0_1|3]), (610,298,[0_1|3]), (610,322,[0_1|3]), (610,325,[0_1|3]), (610,242,[0_1|3]), (610,261,[0_1|3]), (610,359,[1_1|3]), (610,363,[0_1|3]), (610,392,[0_1|3]), (610,938,[1_1|4]), (610,942,[0_1|4]), (610,368,[0_1|3]), (610,371,[2_1|3]), (610,375,[2_1|3]), (610,379,[0_1|3]), (610,326,[0_1|3]), (610,977,[0_1|4]), (610,980,[2_1|4]), (610,984,[2_1|4]), (610,988,[0_1|4]), (611,612,[2_1|3]), (612,613,[3_1|3]), (613,614,[4_1|3]), (613,551,[5_1|3]), (613,866,[5_1|4]), (614,171,[0_1|3]), (614,175,[0_1|3]), (614,231,[0_1|3]), (614,181,[0_1|3]), (614,368,[0_1|3]), (614,371,[2_1|3]), (614,375,[2_1|3]), (614,379,[0_1|3]), (614,871,[0_1|4]), (614,874,[2_1|4]), (614,878,[2_1|4]), (614,882,[0_1|4]), (614,359,[1_1|3]), (614,363,[0_1|3]), (615,616,[3_1|3]), (615,947,[2_1|4]), (616,617,[4_1|3]), (617,618,[2_1|3]), (618,619,[0_1|3]), (618,952,[0_1|4]), (618,955,[2_1|4]), (618,959,[2_1|4]), (618,963,[0_1|4]), (618,486,[2_1|3]), (619,171,[3_1|3]), (619,175,[3_1|3]), (619,231,[3_1|3]), (619,181,[3_1|3]), (620,621,[5_1|3]), (621,622,[2_1|3]), (622,623,[4_1|3]), (623,624,[0_1|3]), (623,952,[0_1|4]), (623,955,[2_1|4]), (623,959,[2_1|4]), (623,963,[0_1|4]), (623,486,[2_1|3]), (624,171,[3_1|3]), (624,175,[3_1|3]), (624,231,[3_1|3]), (624,181,[3_1|3]), (625,626,[0_1|3]), (626,627,[2_1|3]), (627,628,[5_1|3]), (628,629,[0_1|3]), (629,146,[2_1|3]), (630,631,[0_1|3]), (631,632,[2_1|3]), (632,633,[0_1|3]), (633,146,[2_1|3]), (634,635,[2_1|3]), (635,636,[3_1|3]), (636,637,[4_1|3]), (637,638,[0_1|3]), (638,146,[2_1|3]), (639,640,[5_1|3]), (640,641,[1_1|3]), (641,642,[0_1|3]), (642,643,[2_1|3]), (643,178,[1_1|3]), (644,645,[0_1|3]), (645,646,[2_1|3]), (646,647,[0_1|3]), (647,201,[2_1|3]), (648,649,[2_1|3]), (649,650,[3_1|3]), (650,651,[4_1|3]), (651,652,[0_1|3]), (652,201,[2_1|3]), (653,654,[3_1|3]), (654,655,[0_1|3]), (655,656,[2_1|3]), (656,657,[3_1|3]), (656,279,[2_1|2]), (657,73,[4_1|3]), (657,171,[4_1|3]), (657,175,[4_1|3]), (657,231,[4_1|3]), (657,181,[4_1|3]), (657,235,[4_1|3]), (657,238,[4_1|3]), (657,241,[4_1|3]), (657,259,[4_1|3]), (657,264,[4_1|3]), (657,274,[4_1|3]), (657,491,[4_1|3]), (657,508,[4_1|3]), (657,284,[0_1|2]), (657,288,[1_1|2]), (657,293,[5_1|2]), (657,461,[0_1|3]), (657,465,[1_1|3]), (657,322,[4_1|3]), (657,325,[4_1|3]), (658,659,[2_1|3]), (659,660,[3_1|3]), (659,700,[2_1|3]), (660,661,[4_1|3]), (661,662,[2_1|3]), (662,166,[0_1|3]), (662,194,[0_1|3]), (662,199,[0_1|3]), (662,254,[0_1|3]), (662,293,[0_1|3]), (662,305,[0_1|3]), (662,275,[0_1|3]), (662,509,[0_1|3]), (662,368,[0_1|3]), (662,371,[2_1|3]), (662,375,[2_1|3]), (662,379,[0_1|3]), (662,359,[1_1|3]), (662,363,[0_1|3]), (662,392,[0_1|3]), (662,738,[1_1|4]), (662,742,[0_1|4]), (663,664,[2_1|3]), (664,665,[3_1|3]), (665,261,[2_1|3]), (666,667,[0_1|3]), (667,668,[2_1|3]), (668,669,[1_1|3]), (669,261,[3_1|3]), (670,671,[3_1|3]), (671,672,[0_1|3]), (672,673,[2_1|3]), (673,261,[2_1|3]), (674,675,[2_1|3]), (675,676,[2_1|3]), (676,677,[2_1|3]), (677,678,[3_1|3]), (678,261,[2_1|3]), (679,680,[0_1|3]), (680,681,[2_1|3]), (681,73,[3_1|3]), (681,166,[3_1|3]), (681,194,[3_1|3]), (681,199,[3_1|3]), (681,254,[3_1|3, 5_1|2]), (681,293,[3_1|3]), (681,235,[3_1|3, 3_1|2]), (681,238,[3_1|3, 3_1|2]), (681,241,[3_1|3, 3_1|2]), (681,259,[3_1|3, 3_1|2]), (681,264,[3_1|3, 3_1|2]), (681,274,[3_1|3, 3_1|2]), (681,491,[3_1|3]), (681,508,[3_1|3]), (681,245,[2_1|2]), (681,249,[2_1|2]), (681,269,[1_1|2]), (681,279,[2_1|2]), (681,494,[2_1|3]), (681,498,[2_1|3]), (681,503,[5_1|3]), (681,840,[3_1|4]), (681,305,[3_1|3]), (681,322,[3_1|3]), (681,325,[3_1|3]), (682,683,[3_1|3]), (683,684,[2_1|3]), (684,685,[2_1|3]), (685,73,[0_1|3]), (685,166,[0_1|3, 5_1|2]), (685,194,[0_1|3, 5_1|2]), (685,199,[0_1|3, 5_1|2]), (685,254,[0_1|3]), (685,293,[0_1|3]), (685,235,[0_1|3]), (685,238,[0_1|3]), (685,241,[0_1|3]), (685,259,[0_1|3]), (685,264,[0_1|3]), (685,274,[0_1|3]), (685,491,[0_1|3]), (685,508,[0_1|3]), (685,74,[1_1|2]), (685,78,[0_1|2]), (685,83,[0_1|2]), (685,86,[2_1|2]), (685,91,[3_1|2]), (685,96,[0_1|2]), (685,99,[0_1|2]), (685,104,[0_1|2]), (685,109,[0_1|2]), (685,114,[0_1|2]), (685,117,[2_1|2]), (685,121,[2_1|2]), (685,125,[0_1|2]), (685,130,[2_1|2]), (685,135,[3_1|2]), (685,139,[2_1|2]), (685,143,[2_1|2]), (685,148,[3_1|2]), (685,151,[1_1|2]), (685,156,[2_1|2]), (685,161,[2_1|2]), (685,171,[4_1|2]), (685,175,[4_1|2]), (685,180,[0_1|2]), (685,185,[2_1|2]), (685,190,[0_1|2]), (685,203,[3_1|2]), (685,208,[2_1|2]), (685,359,[1_1|3]), (685,363,[0_1|3]), (685,368,[0_1|3]), (685,371,[2_1|3]), (685,375,[2_1|3]), (685,379,[0_1|3]), (685,384,[2_1|3]), (685,389,[0_1|3]), (685,392,[0_1|3]), (685,395,[3_1|3]), (685,400,[3_1|3]), (685,403,[1_1|3]), (685,408,[2_1|3]), (685,413,[2_1|3]), (685,418,[0_1|3]), (685,422,[5_1|3]), (685,896,[0_1|4]), (685,899,[2_1|4]), (685,903,[2_1|4]), (685,907,[0_1|4]), (685,912,[2_1|4]), (685,917,[1_1|4]), (685,921,[0_1|4]), (685,926,[0_1|4]), (685,929,[0_1|4]), (685,933,[5_1|4]), (685,305,[0_1|3]), (685,322,[0_1|3]), (685,325,[0_1|3]), (685,298,[3_1|3]), (686,687,[0_1|3]), (687,688,[2_1|3]), (688,689,[5_1|3]), (689,690,[0_1|3]), (690,110,[2_1|3]), (690,533,[2_1|3]), (690,111,[2_1|3]), (691,692,[0_1|3]), (692,693,[2_1|3]), (693,694,[1_1|3]), (694,181,[4_1|3]), (695,696,[1_1|3]), (696,697,[2_1|3]), (697,698,[1_1|3]), (698,699,[4_1|3]), (699,181,[0_1|3]), (699,359,[1_1|3]), (699,363,[0_1|3]), (700,701,[3_1|3]), (701,702,[0_1|3]), (702,703,[2_1|3]), (703,704,[3_1|3]), (704,91,[4_1|3]), (704,135,[4_1|3]), (704,148,[4_1|3]), (704,203,[4_1|3]), (704,222,[4_1|3]), (704,235,[4_1|3]), (704,238,[4_1|3]), (704,241,[4_1|3]), (704,259,[4_1|3]), (704,264,[4_1|3]), (704,274,[4_1|3]), (704,298,[4_1|3]), (704,322,[4_1|3]), (704,325,[4_1|3]), (704,167,[4_1|3]), (705,706,[0_1|4]), (706,707,[2_1|4]), (707,356,[0_1|4]), (708,709,[0_1|4]), (709,710,[2_1|4]), (710,711,[0_1|4]), (711,111,[2_1|4]), (712,713,[2_1|4]), (713,714,[3_1|4]), (714,715,[4_1|4]), (715,716,[0_1|4]), (716,111,[2_1|4]), (717,718,[0_1|4]), (718,719,[2_1|4]), (719,720,[0_1|4]), (720,78,[2_1|4]), (720,83,[2_1|4]), (720,96,[2_1|4]), (720,99,[2_1|4]), (720,104,[2_1|4]), (720,109,[2_1|4]), (720,114,[2_1|4]), (720,125,[2_1|4]), (720,180,[2_1|4]), (720,190,[2_1|4]), (720,284,[2_1|4]), (720,301,[2_1|4]), (720,314,[2_1|4]), (720,319,[2_1|4]), (720,110,[2_1|4]), (720,533,[2_1|4]), (720,111,[2_1|4]), (720,733,[2_1|4]), (720,93,[2_1|4]), (721,722,[2_1|4]), (722,723,[3_1|4]), (723,724,[4_1|4]), (724,725,[0_1|4]), (725,78,[2_1|4]), (725,83,[2_1|4]), (725,96,[2_1|4]), (725,99,[2_1|4]), (725,104,[2_1|4]), (725,109,[2_1|4]), (725,114,[2_1|4]), (725,125,[2_1|4]), (725,180,[2_1|4]), (725,190,[2_1|4]), (725,284,[2_1|4]), (725,301,[2_1|4]), (725,314,[2_1|4]), (725,319,[2_1|4]), (725,110,[2_1|4]), (725,533,[2_1|4]), (725,111,[2_1|4]), (725,733,[2_1|4]), (725,93,[2_1|4]), (726,727,[2_1|4]), (727,728,[0_1|4]), (727,993,[1_1|5]), (727,997,[0_1|5]), (728,533,[0_1|4]), (729,730,[0_1|4]), (730,731,[2_1|4]), (731,732,[0_1|4]), (732,533,[2_1|4]), (733,734,[2_1|4]), (734,735,[3_1|4]), (735,736,[4_1|4]), (736,737,[0_1|4]), (737,533,[2_1|4]), (738,739,[0_1|4]), (739,740,[2_1|4]), (740,741,[0_1|4]), (741,648,[2_1|4]), (741,306,[2_1|4]), (741,513,[2_1|4]), (741,524,[2_1|4]), (742,743,[2_1|4]), (743,744,[3_1|4]), (744,745,[4_1|4]), (745,746,[0_1|4]), (746,648,[2_1|4]), (746,306,[2_1|4]), (746,513,[2_1|4]), (746,524,[2_1|4]), (747,748,[2_1|4]), (748,749,[3_1|4]), (749,167,[2_1|4]), (750,751,[0_1|4]), (751,752,[2_1|4]), (752,753,[1_1|4]), (753,167,[3_1|4]), (754,755,[3_1|4]), (755,756,[0_1|4]), (756,757,[2_1|4]), (757,167,[2_1|4]), (758,759,[2_1|4]), (759,760,[2_1|4]), (760,761,[2_1|4]), (761,762,[3_1|4]), (762,167,[2_1|4]), (763,764,[0_1|4]), (764,765,[2_1|4]), (765,766,[0_1|4]), (766,352,[2_1|4]), (766,772,[2_1|4]), (766,783,[2_1|4]), (767,768,[2_1|4]), (768,769,[3_1|4]), (769,770,[4_1|4]), (770,771,[0_1|4]), (771,352,[2_1|4]), (771,772,[2_1|4]), (771,783,[2_1|4]), (772,773,[2_1|4]), (773,774,[3_1|4]), (774,353,[2_1|4]), (775,776,[0_1|4]), (776,777,[2_1|4]), (777,778,[1_1|4]), (778,353,[3_1|4]), (779,780,[3_1|4]), (780,781,[0_1|4]), (781,782,[2_1|4]), (782,353,[2_1|4]), (783,784,[2_1|4]), (784,785,[2_1|4]), (785,786,[2_1|4]), (786,787,[3_1|4]), (787,353,[2_1|4]), (788,789,[0_1|4]), (789,790,[2_1|4]), (790,791,[0_1|4]), (791,356,[2_1|4]), (792,793,[2_1|4]), (793,794,[3_1|4]), (794,795,[4_1|4]), (795,796,[0_1|4]), (796,356,[2_1|4]), (797,798,[0_1|4]), (798,799,[2_1|4]), (799,800,[0_1|4]), (800,513,[2_1|4]), (800,524,[2_1|4]), (801,802,[2_1|4]), (802,803,[3_1|4]), (803,804,[4_1|4]), (804,805,[0_1|4]), (805,513,[2_1|4]), (805,524,[2_1|4]), (806,807,[0_1|4]), (807,808,[2_1|4]), (808,809,[0_1|4]), (809,110,[2_1|4]), (809,533,[2_1|4]), (809,111,[2_1|4]), (809,201,[2_1|4]), (809,93,[2_1|4]), (810,811,[2_1|4]), (811,812,[3_1|4]), (812,813,[4_1|4]), (813,814,[0_1|4]), (814,110,[2_1|4]), (814,533,[2_1|4]), (814,111,[2_1|4]), (814,201,[2_1|4]), (814,93,[2_1|4]), (815,816,[0_1|4]), (816,817,[2_1|4]), (817,818,[0_1|4]), (818,416,[2_1|4]), (818,824,[2_1|4]), (818,835,[2_1|4]), (819,820,[2_1|4]), (820,821,[3_1|4]), (821,822,[4_1|4]), (822,823,[0_1|4]), (823,416,[2_1|4]), (823,824,[2_1|4]), (823,835,[2_1|4]), (824,825,[2_1|4]), (825,826,[3_1|4]), (826,417,[2_1|4]), (827,828,[0_1|4]), (828,829,[2_1|4]), (829,830,[1_1|4]), (830,417,[3_1|4]), (831,832,[3_1|4]), (832,833,[0_1|4]), (833,834,[2_1|4]), (834,417,[2_1|4]), (835,836,[2_1|4]), (836,837,[2_1|4]), (837,838,[2_1|4]), (838,839,[3_1|4]), (839,417,[2_1|4]), (840,841,[5_1|4]), (841,842,[1_1|4]), (842,843,[0_1|4]), (843,844,[2_1|4]), (844,306,[1_1|4]), (845,846,[3_1|4]), (846,847,[0_1|4]), (847,848,[2_1|4]), (848,849,[3_1|4]), (849,181,[4_1|4]), (850,851,[2_1|4]), (851,852,[3_1|4]), (852,181,[2_1|4]), (853,854,[0_1|4]), (854,855,[2_1|4]), (855,856,[1_1|4]), (856,181,[3_1|4]), (857,858,[3_1|4]), (858,859,[0_1|4]), (859,860,[2_1|4]), (860,181,[2_1|4]), (861,862,[2_1|4]), (862,863,[2_1|4]), (863,864,[2_1|4]), (864,865,[3_1|4]), (865,181,[2_1|4]), (866,867,[2_1|4]), (867,868,[3_1|4]), (868,869,[4_1|4]), (869,870,[2_1|4]), (870,640,[0_1|4]), (871,872,[2_1|4]), (872,873,[3_1|4]), (873,639,[2_1|4]), (874,875,[0_1|4]), (875,876,[2_1|4]), (876,877,[1_1|4]), (877,639,[3_1|4]), (878,879,[3_1|4]), (879,880,[0_1|4]), (880,881,[2_1|4]), (881,639,[2_1|4]), (882,883,[2_1|4]), (883,884,[2_1|4]), (884,885,[2_1|4]), (885,886,[3_1|4]), (886,639,[2_1|4]), (887,888,[0_1|3]), (888,889,[1_1|3]), (889,890,[2_1|3]), (890,171,[3_1|3]), (890,175,[3_1|3]), (890,231,[3_1|3]), (890,181,[3_1|3]), (891,892,[5_1|4]), (892,893,[1_1|4]), (893,894,[0_1|4]), (894,895,[2_1|4]), (895,423,[1_1|4]), (896,897,[2_1|4]), (897,898,[3_1|4]), (898,298,[2_1|4]), (898,322,[2_1|4]), (898,325,[2_1|4]), (898,326,[2_1|4]), (899,900,[0_1|4]), (900,901,[2_1|4]), (901,902,[1_1|4]), (902,298,[3_1|4]), (902,322,[3_1|4]), (902,325,[3_1|4]), (902,326,[3_1|4]), (903,904,[3_1|4]), (904,905,[0_1|4]), (905,906,[2_1|4]), (906,298,[2_1|4]), (906,322,[2_1|4]), (906,325,[2_1|4]), (906,326,[2_1|4]), (907,908,[2_1|4]), (908,909,[2_1|4]), (909,910,[2_1|4]), (910,911,[3_1|4]), (911,298,[2_1|4]), (911,322,[2_1|4]), (911,325,[2_1|4]), (911,326,[2_1|4]), (912,913,[0_1|4]), (913,914,[2_1|4]), (914,915,[3_1|4]), (915,916,[4_1|4]), (916,299,[0_1|4]), (916,323,[0_1|4]), (917,918,[0_1|4]), (918,919,[2_1|4]), (919,920,[0_1|4]), (920,301,[2_1|4]), (920,314,[2_1|4]), (920,319,[2_1|4]), (920,456,[2_1|4]), (920,663,[2_1|4]), (920,674,[2_1|4]), (920,533,[2_1|4]), (920,648,[2_1|4]), (920,492,[2_1|4]), (920,299,[2_1|4]), (920,323,[2_1|4]), (920,306,[2_1|4]), (921,922,[2_1|4]), (922,923,[3_1|4]), (923,924,[4_1|4]), (924,925,[0_1|4]), (925,301,[2_1|4]), (925,314,[2_1|4]), (925,319,[2_1|4]), (925,456,[2_1|4]), (925,663,[2_1|4]), (925,674,[2_1|4]), (925,533,[2_1|4]), (925,648,[2_1|4]), (925,492,[2_1|4]), (925,299,[2_1|4]), (925,323,[2_1|4]), (925,306,[2_1|4]), (926,927,[5_1|4]), (927,928,[2_1|4]), (928,302,[0_1|4]), (929,930,[5_1|4]), (930,931,[2_1|4]), (931,932,[4_1|4]), (932,306,[0_1|4]), (933,934,[0_1|4]), (934,935,[2_1|4]), (935,936,[3_1|4]), (936,937,[2_1|4]), (937,306,[0_1|4]), (938,939,[0_1|4]), (939,940,[2_1|4]), (940,941,[0_1|4]), (941,456,[2_1|4]), (941,663,[2_1|4]), (941,674,[2_1|4]), (941,299,[2_1|4]), (941,323,[2_1|4]), (942,943,[2_1|4]), (943,944,[3_1|4]), (944,945,[4_1|4]), (945,946,[0_1|4]), (946,456,[2_1|4]), (946,663,[2_1|4]), (946,674,[2_1|4]), (946,299,[2_1|4]), (946,323,[2_1|4]), (947,948,[3_1|4]), (948,949,[0_1|4]), (949,950,[2_1|4]), (950,951,[3_1|4]), (951,171,[4_1|4]), (951,175,[4_1|4]), (951,231,[4_1|4]), (951,181,[4_1|4]), (952,953,[2_1|4]), (953,954,[3_1|4]), (954,171,[2_1|4]), (954,175,[2_1|4]), (954,231,[2_1|4]), (954,181,[2_1|4]), (955,956,[0_1|4]), (956,957,[2_1|4]), (957,958,[1_1|4]), (958,171,[3_1|4]), (958,175,[3_1|4]), (958,231,[3_1|4]), (958,181,[3_1|4]), (959,960,[3_1|4]), (960,961,[0_1|4]), (961,962,[2_1|4]), (962,171,[2_1|4]), (962,175,[2_1|4]), (962,231,[2_1|4]), (962,181,[2_1|4]), (963,964,[2_1|4]), (964,965,[2_1|4]), (965,966,[2_1|4]), (966,967,[3_1|4]), (967,171,[2_1|4]), (967,175,[2_1|4]), (967,231,[2_1|4]), (967,181,[2_1|4]), (968,969,[0_1|3]), (969,970,[2_1|3]), (970,971,[0_1|3]), (971,178,[2_1|3]), (972,973,[2_1|3]), (973,974,[3_1|3]), (974,975,[4_1|3]), (975,976,[0_1|3]), (976,178,[2_1|3]), (977,978,[2_1|4]), (978,979,[3_1|4]), (979,326,[2_1|4]), (980,981,[0_1|4]), (981,982,[2_1|4]), (982,983,[1_1|4]), (983,326,[3_1|4]), (984,985,[3_1|4]), (985,986,[0_1|4]), (986,987,[2_1|4]), (987,326,[2_1|4]), (988,989,[2_1|4]), (989,990,[2_1|4]), (990,991,[2_1|4]), (991,992,[3_1|4]), (992,326,[2_1|4]), (993,994,[0_1|5]), (994,995,[2_1|5]), (995,996,[0_1|5]), (996,533,[2_1|5]), (997,998,[2_1|5]), (998,999,[3_1|5]), (999,1000,[4_1|5]), (1000,1001,[0_1|5]), (1001,533,[2_1|5])}" ---------------------------------------- (8) BOUNDS(1, n^1)