/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 (innermost) 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), 51 ms] (4) CpxRelTRS (5) RelTrsToTrsProof [UPPER BOUND(ID), 0 ms] (6) CpxTRS (7) CpxTrsMatchBoundsProof [FINISHED, 584 ms] (8) BOUNDS(1, n^1) ---------------------------------------- (0) Obligation: The Derivational Complexity (innermost) of the given DCpxTrs could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(1(0(x1))) -> 0(2(1(0(x1)))) 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) S is empty. Rewrite Strategy: INNERMOST ---------------------------------------- (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(1(x_1)) -> 1(encArg(x_1)) encArg(2(x_1)) -> 2(encArg(x_1)) encArg(4(x_1)) -> 4(encArg(x_1)) encArg(cons_0(x_1)) -> 0(encArg(x_1)) encArg(cons_5(x_1)) -> 5(encArg(x_1)) encArg(cons_3(x_1)) -> 3(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 (innermost) of the given CpxRelTRS could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(1(0(x1))) -> 0(2(1(0(x1)))) 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) The (relative) TRS S consists of the following rules: encArg(1(x_1)) -> 1(encArg(x_1)) encArg(2(x_1)) -> 2(encArg(x_1)) encArg(4(x_1)) -> 4(encArg(x_1)) encArg(cons_0(x_1)) -> 0(encArg(x_1)) encArg(cons_5(x_1)) -> 5(encArg(x_1)) encArg(cons_3(x_1)) -> 3(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: INNERMOST ---------------------------------------- (3) SInnermostTerminationProof (BOTH CONCRETE BOUNDS(ID, ID)) proved innermost termination of relative rules ---------------------------------------- (4) Obligation: The Runtime Complexity (innermost) of the given CpxRelTRS could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(1(0(x1))) -> 0(2(1(0(x1)))) 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) The (relative) TRS S consists of the following rules: encArg(1(x_1)) -> 1(encArg(x_1)) encArg(2(x_1)) -> 2(encArg(x_1)) encArg(4(x_1)) -> 4(encArg(x_1)) encArg(cons_0(x_1)) -> 0(encArg(x_1)) encArg(cons_5(x_1)) -> 5(encArg(x_1)) encArg(cons_3(x_1)) -> 3(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: INNERMOST ---------------------------------------- (5) RelTrsToTrsProof (UPPER BOUND(ID)) transformed relative TRS to TRS ---------------------------------------- (6) Obligation: The Runtime Complexity (innermost) of the given CpxTRS could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(1(0(x1))) -> 0(2(1(0(x1)))) 0(1(0(x1))) -> 0(0(2(1(0(x1))))) 0(1(0(x1))) -> 0(0(2(1(2(x1))))) 0(1(0(x1))) -> 0(2(1(0(2(x1))))) 0(1(0(x1))) -> 0(3(2(1(0(x1))))) 0(1(0(x1))) -> 1(0(0(0(2(x1))))) 0(1(0(x1))) -> 1(0(0(2(0(x1))))) 0(1(0(x1))) -> 1(0(4(2(0(x1))))) 0(1(0(x1))) -> 1(4(0(4(0(x1))))) 0(1(0(x1))) -> 4(0(0(2(1(x1))))) 0(1(0(x1))) -> 5(0(0(4(1(x1))))) 0(1(0(x1))) -> 5(1(0(4(0(x1))))) 0(1(0(x1))) -> 0(2(1(0(3(2(x1)))))) 0(1(0(x1))) -> 0(4(0(4(1(3(x1)))))) 0(1(0(x1))) -> 0(4(2(2(1(0(x1)))))) 0(1(0(x1))) -> 0(5(2(1(2(0(x1)))))) 0(1(0(x1))) -> 0(5(2(5(1(0(x1)))))) 0(1(0(x1))) -> 1(0(0(5(4(4(x1)))))) 0(1(0(x1))) -> 1(0(4(4(4(0(x1)))))) 0(1(0(x1))) -> 1(5(0(0(4(2(x1)))))) 0(1(0(x1))) -> 3(0(0(4(1(4(x1)))))) 0(1(0(x1))) -> 4(5(1(0(2(0(x1)))))) 0(1(0(x1))) -> 5(5(1(0(0(2(x1)))))) 0(0(1(0(x1)))) -> 1(0(0(2(0(x1))))) 0(0(1(0(x1)))) -> 0(1(5(0(0(2(x1)))))) 0(1(0(3(x1)))) -> 1(0(3(3(0(2(x1)))))) 0(1(0(3(x1)))) -> 1(0(5(3(2(0(x1)))))) 0(1(1(0(x1)))) -> 0(4(4(1(1(0(x1)))))) 0(1(1(3(x1)))) -> 3(4(5(1(1(0(x1)))))) 0(1(2(0(x1)))) -> 1(1(0(2(0(x1))))) 0(1(2(0(x1)))) -> 3(0(2(1(0(x1))))) 0(1(2(0(x1)))) -> 4(1(0(0(2(x1))))) 0(1(2(0(x1)))) -> 0(0(4(2(5(1(x1)))))) 0(1(2(0(x1)))) -> 1(1(2(0(4(0(x1)))))) 0(1(2(0(x1)))) -> 3(0(2(1(0(4(x1)))))) 0(1(3(0(x1)))) -> 1(0(3(0(2(x1))))) 0(1(4(0(x1)))) -> 0(3(4(2(1(0(x1)))))) 0(1(5(0(x1)))) -> 0(5(1(4(0(x1))))) 0(1(5(0(x1)))) -> 1(5(3(0(2(0(x1)))))) 0(3(1(0(x1)))) -> 1(2(3(0(5(0(x1)))))) 5(0(1(0(x1)))) -> 1(4(0(0(5(1(x1)))))) 5(0(1(0(x1)))) -> 2(1(0(0(4(5(x1)))))) 0(1(0(0(0(x1))))) -> 0(0(5(1(0(0(x1)))))) 0(1(2(4(0(x1))))) -> 0(0(5(4(2(1(x1)))))) 0(1(2(5(0(x1))))) -> 1(0(2(0(5(4(x1)))))) 0(1(4(0(0(x1))))) -> 0(0(0(4(1(0(x1)))))) 0(1(4(5(0(x1))))) -> 1(5(0(0(4(2(x1)))))) 0(3(0(1(0(x1))))) -> 0(3(0(0(2(1(x1)))))) 3(0(3(1(0(x1))))) -> 0(1(3(2(3(0(x1)))))) 5(0(1(2(0(x1))))) -> 0(0(5(2(1(0(x1)))))) encArg(1(x_1)) -> 1(encArg(x_1)) encArg(2(x_1)) -> 2(encArg(x_1)) encArg(4(x_1)) -> 4(encArg(x_1)) encArg(cons_0(x_1)) -> 0(encArg(x_1)) encArg(cons_5(x_1)) -> 5(encArg(x_1)) encArg(cons_3(x_1)) -> 3(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: INNERMOST ---------------------------------------- (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 4. The certificate found is represented by the following graph. "[69, 70, 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] {(69,70,[0_1|0, 5_1|0, 3_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]), (69,71,[1_1|1, 2_1|1, 4_1|1, 0_1|1, 5_1|1, 3_1|1]), (69,72,[0_1|2]), (69,75,[0_1|2]), (69,79,[0_1|2]), (69,83,[0_1|2]), (69,87,[0_1|2]), (69,91,[1_1|2]), (69,95,[1_1|2]), (69,99,[1_1|2]), (69,103,[1_1|2]), (69,107,[4_1|2]), (69,111,[5_1|2]), (69,115,[5_1|2]), (69,119,[0_1|2]), (69,124,[0_1|2]), (69,129,[0_1|2]), (69,134,[0_1|2]), (69,139,[0_1|2]), (69,144,[1_1|2]), (69,149,[1_1|2]), (69,154,[1_1|2]), (69,159,[3_1|2]), (69,164,[4_1|2]), (69,169,[5_1|2]), (69,174,[1_1|2]), (69,179,[1_1|2]), (69,184,[0_1|2]), (69,189,[0_1|2]), (69,194,[3_1|2]), (69,199,[1_1|2]), (69,203,[3_1|2]), (69,207,[4_1|2]), (69,211,[0_1|2]), (69,216,[1_1|2]), (69,221,[3_1|2]), (69,226,[0_1|2]), (69,231,[1_1|2]), (69,236,[1_1|2]), (69,240,[0_1|2]), (69,245,[0_1|2]), (69,250,[0_1|2]), (69,254,[1_1|2]), (69,259,[0_1|2]), (69,264,[1_1|2]), (69,269,[0_1|2]), (69,274,[1_1|2]), (69,279,[2_1|2]), (69,284,[0_1|2]), (69,289,[0_1|2]), (69,294,[1_1|2]), (69,299,[1_1|2]), (69,303,[0_1|3]), (69,307,[1_1|3]), (70,70,[1_1|0, 2_1|0, 4_1|0, cons_0_1|0, cons_5_1|0, cons_3_1|0]), (71,70,[encArg_1|1]), (71,71,[1_1|1, 2_1|1, 4_1|1, 0_1|1, 5_1|1, 3_1|1]), (71,72,[0_1|2]), (71,75,[0_1|2]), (71,79,[0_1|2]), (71,83,[0_1|2]), (71,87,[0_1|2]), (71,91,[1_1|2]), (71,95,[1_1|2]), (71,99,[1_1|2]), (71,103,[1_1|2]), (71,107,[4_1|2]), (71,111,[5_1|2]), (71,115,[5_1|2]), (71,119,[0_1|2]), (71,124,[0_1|2]), (71,129,[0_1|2]), (71,134,[0_1|2]), (71,139,[0_1|2]), (71,144,[1_1|2]), (71,149,[1_1|2]), (71,154,[1_1|2]), (71,159,[3_1|2]), (71,164,[4_1|2]), (71,169,[5_1|2]), (71,174,[1_1|2]), (71,179,[1_1|2]), (71,184,[0_1|2]), (71,189,[0_1|2]), (71,194,[3_1|2]), (71,199,[1_1|2]), (71,203,[3_1|2]), (71,207,[4_1|2]), (71,211,[0_1|2]), (71,216,[1_1|2]), (71,221,[3_1|2]), (71,226,[0_1|2]), (71,231,[1_1|2]), (71,236,[1_1|2]), (71,240,[0_1|2]), (71,245,[0_1|2]), (71,250,[0_1|2]), (71,254,[1_1|2]), (71,259,[0_1|2]), (71,264,[1_1|2]), (71,269,[0_1|2]), (71,274,[1_1|2]), (71,279,[2_1|2]), (71,284,[0_1|2]), (71,289,[0_1|2]), (71,294,[1_1|2]), (71,299,[1_1|2]), (71,303,[0_1|3]), (71,307,[1_1|3]), (72,73,[2_1|2]), (73,74,[1_1|2]), (74,71,[0_1|2]), (74,72,[0_1|2]), (74,75,[0_1|2]), (74,79,[0_1|2]), (74,83,[0_1|2]), (74,87,[0_1|2]), (74,119,[0_1|2]), (74,124,[0_1|2]), (74,129,[0_1|2]), (74,134,[0_1|2]), (74,139,[0_1|2]), (74,184,[0_1|2]), (74,189,[0_1|2]), (74,211,[0_1|2]), (74,226,[0_1|2]), (74,240,[0_1|2]), (74,245,[0_1|2]), (74,250,[0_1|2]), (74,259,[0_1|2]), (74,269,[0_1|2]), (74,284,[0_1|2]), (74,289,[0_1|2]), (74,92,[0_1|2]), (74,96,[0_1|2]), (74,100,[0_1|2]), (74,145,[0_1|2]), (74,150,[0_1|2]), (74,175,[0_1|2]), (74,180,[0_1|2]), (74,232,[0_1|2]), (74,237,[0_1|2]), (74,91,[1_1|2]), (74,95,[1_1|2]), (74,99,[1_1|2]), (74,103,[1_1|2]), (74,107,[4_1|2]), (74,111,[5_1|2]), (74,115,[5_1|2]), (74,144,[1_1|2]), (74,149,[1_1|2]), (74,154,[1_1|2]), (74,159,[3_1|2]), (74,164,[4_1|2]), (74,169,[5_1|2]), (74,174,[1_1|2]), (74,179,[1_1|2]), (74,194,[3_1|2]), (74,199,[1_1|2]), (74,203,[3_1|2]), (74,207,[4_1|2]), (74,216,[1_1|2]), (74,221,[3_1|2]), (74,231,[1_1|2]), (74,236,[1_1|2]), (74,294,[1_1|2]), (74,254,[1_1|2]), (74,299,[1_1|2]), (74,264,[1_1|2]), (74,312,[0_1|3]), (74,315,[0_1|3]), (74,319,[0_1|3]), (74,323,[0_1|3]), (74,327,[0_1|3]), (74,331,[1_1|3]), (74,335,[1_1|3]), (74,339,[1_1|3]), (74,343,[1_1|3]), (74,347,[4_1|3]), (74,351,[5_1|3]), (74,355,[5_1|3]), (74,359,[0_1|3]), (74,364,[0_1|3]), (74,369,[0_1|3]), (74,374,[0_1|3]), (74,379,[0_1|3]), (74,384,[1_1|3]), (74,389,[1_1|3]), (74,394,[1_1|3]), (74,399,[3_1|3]), (74,404,[4_1|3]), (74,409,[5_1|3]), (74,414,[0_1|3]), (74,419,[0_1|3]), (74,424,[0_1|3]), (74,428,[1_1|3]), (74,433,[1_1|3]), (74,438,[1_1|3]), (74,443,[0_1|3]), (74,448,[0_1|3]), (74,303,[0_1|2]), (74,300,[0_1|2]), (75,76,[0_1|2]), (76,77,[2_1|2]), (77,78,[1_1|2]), (78,71,[0_1|2]), (78,72,[0_1|2]), (78,75,[0_1|2]), (78,79,[0_1|2]), (78,83,[0_1|2]), (78,87,[0_1|2]), (78,119,[0_1|2]), (78,124,[0_1|2]), (78,129,[0_1|2]), (78,134,[0_1|2]), (78,139,[0_1|2]), (78,184,[0_1|2]), (78,189,[0_1|2]), (78,211,[0_1|2]), (78,226,[0_1|2]), (78,240,[0_1|2]), (78,245,[0_1|2]), (78,250,[0_1|2]), (78,259,[0_1|2]), (78,269,[0_1|2]), (78,284,[0_1|2]), (78,289,[0_1|2]), (78,92,[0_1|2]), (78,96,[0_1|2]), (78,100,[0_1|2]), (78,145,[0_1|2]), (78,150,[0_1|2]), (78,175,[0_1|2]), (78,180,[0_1|2]), (78,232,[0_1|2]), (78,237,[0_1|2]), (78,91,[1_1|2]), (78,95,[1_1|2]), (78,99,[1_1|2]), (78,103,[1_1|2]), (78,107,[4_1|2]), (78,111,[5_1|2]), (78,115,[5_1|2]), (78,144,[1_1|2]), (78,149,[1_1|2]), (78,154,[1_1|2]), (78,159,[3_1|2]), (78,164,[4_1|2]), (78,169,[5_1|2]), (78,174,[1_1|2]), (78,179,[1_1|2]), (78,194,[3_1|2]), (78,199,[1_1|2]), (78,203,[3_1|2]), (78,207,[4_1|2]), (78,216,[1_1|2]), (78,221,[3_1|2]), (78,231,[1_1|2]), (78,236,[1_1|2]), (78,294,[1_1|2]), (78,254,[1_1|2]), (78,299,[1_1|2]), (78,264,[1_1|2]), (78,312,[0_1|3]), (78,315,[0_1|3]), (78,319,[0_1|3]), (78,323,[0_1|3]), (78,327,[0_1|3]), (78,331,[1_1|3]), (78,335,[1_1|3]), (78,339,[1_1|3]), (78,343,[1_1|3]), (78,347,[4_1|3]), (78,351,[5_1|3]), (78,355,[5_1|3]), (78,359,[0_1|3]), (78,364,[0_1|3]), (78,369,[0_1|3]), (78,374,[0_1|3]), (78,379,[0_1|3]), (78,384,[1_1|3]), (78,389,[1_1|3]), (78,394,[1_1|3]), (78,399,[3_1|3]), (78,404,[4_1|3]), (78,409,[5_1|3]), (78,414,[0_1|3]), (78,419,[0_1|3]), (78,424,[0_1|3]), (78,428,[1_1|3]), (78,433,[1_1|3]), (78,438,[1_1|3]), (78,443,[0_1|3]), (78,448,[0_1|3]), (78,303,[0_1|2]), (78,300,[0_1|2]), (79,80,[0_1|2]), (80,81,[2_1|2]), (81,82,[1_1|2]), (82,71,[2_1|2]), (82,72,[2_1|2]), (82,75,[2_1|2]), (82,79,[2_1|2]), (82,83,[2_1|2]), (82,87,[2_1|2]), (82,119,[2_1|2]), (82,124,[2_1|2]), (82,129,[2_1|2]), (82,134,[2_1|2]), (82,139,[2_1|2]), (82,184,[2_1|2]), (82,189,[2_1|2]), (82,211,[2_1|2]), (82,226,[2_1|2]), (82,240,[2_1|2]), (82,245,[2_1|2]), (82,250,[2_1|2]), (82,259,[2_1|2]), (82,269,[2_1|2]), (82,284,[2_1|2]), (82,289,[2_1|2]), (82,92,[2_1|2]), (82,96,[2_1|2]), (82,100,[2_1|2]), (82,145,[2_1|2]), (82,150,[2_1|2]), (82,175,[2_1|2]), (82,180,[2_1|2]), (82,232,[2_1|2]), (82,237,[2_1|2]), (82,303,[2_1|2]), (82,300,[2_1|2]), (83,84,[2_1|2]), (84,85,[1_1|2]), (85,86,[0_1|2]), (86,71,[2_1|2]), (86,72,[2_1|2]), (86,75,[2_1|2]), (86,79,[2_1|2]), (86,83,[2_1|2]), (86,87,[2_1|2]), (86,119,[2_1|2]), (86,124,[2_1|2]), (86,129,[2_1|2]), (86,134,[2_1|2]), (86,139,[2_1|2]), (86,184,[2_1|2]), (86,189,[2_1|2]), (86,211,[2_1|2]), (86,226,[2_1|2]), (86,240,[2_1|2]), (86,245,[2_1|2]), (86,250,[2_1|2]), (86,259,[2_1|2]), (86,269,[2_1|2]), (86,284,[2_1|2]), (86,289,[2_1|2]), (86,92,[2_1|2]), (86,96,[2_1|2]), (86,100,[2_1|2]), (86,145,[2_1|2]), (86,150,[2_1|2]), (86,175,[2_1|2]), (86,180,[2_1|2]), (86,232,[2_1|2]), (86,237,[2_1|2]), (86,303,[2_1|2]), (86,300,[2_1|2]), (87,88,[3_1|2]), (88,89,[2_1|2]), (89,90,[1_1|2]), (90,71,[0_1|2]), (90,72,[0_1|2]), (90,75,[0_1|2]), (90,79,[0_1|2]), (90,83,[0_1|2]), (90,87,[0_1|2]), (90,119,[0_1|2]), (90,124,[0_1|2]), (90,129,[0_1|2]), (90,134,[0_1|2]), (90,139,[0_1|2]), (90,184,[0_1|2]), (90,189,[0_1|2]), (90,211,[0_1|2]), (90,226,[0_1|2]), (90,240,[0_1|2]), (90,245,[0_1|2]), (90,250,[0_1|2]), (90,259,[0_1|2]), (90,269,[0_1|2]), (90,284,[0_1|2]), (90,289,[0_1|2]), (90,92,[0_1|2]), (90,96,[0_1|2]), (90,100,[0_1|2]), (90,145,[0_1|2]), (90,150,[0_1|2]), (90,175,[0_1|2]), (90,180,[0_1|2]), (90,232,[0_1|2]), (90,237,[0_1|2]), (90,91,[1_1|2]), (90,95,[1_1|2]), (90,99,[1_1|2]), (90,103,[1_1|2]), (90,107,[4_1|2]), (90,111,[5_1|2]), (90,115,[5_1|2]), (90,144,[1_1|2]), (90,149,[1_1|2]), (90,154,[1_1|2]), (90,159,[3_1|2]), (90,164,[4_1|2]), (90,169,[5_1|2]), (90,174,[1_1|2]), (90,179,[1_1|2]), (90,194,[3_1|2]), (90,199,[1_1|2]), (90,203,[3_1|2]), (90,207,[4_1|2]), (90,216,[1_1|2]), (90,221,[3_1|2]), (90,231,[1_1|2]), (90,236,[1_1|2]), (90,294,[1_1|2]), (90,254,[1_1|2]), (90,299,[1_1|2]), (90,264,[1_1|2]), (90,312,[0_1|3]), (90,315,[0_1|3]), (90,319,[0_1|3]), (90,323,[0_1|3]), (90,327,[0_1|3]), (90,331,[1_1|3]), (90,335,[1_1|3]), (90,339,[1_1|3]), (90,343,[1_1|3]), (90,347,[4_1|3]), (90,351,[5_1|3]), (90,355,[5_1|3]), (90,359,[0_1|3]), (90,364,[0_1|3]), (90,369,[0_1|3]), (90,374,[0_1|3]), (90,379,[0_1|3]), (90,384,[1_1|3]), (90,389,[1_1|3]), (90,394,[1_1|3]), (90,399,[3_1|3]), (90,404,[4_1|3]), (90,409,[5_1|3]), (90,414,[0_1|3]), (90,419,[0_1|3]), (90,424,[0_1|3]), (90,428,[1_1|3]), (90,433,[1_1|3]), (90,438,[1_1|3]), (90,443,[0_1|3]), (90,448,[0_1|3]), (90,303,[0_1|2]), (90,300,[0_1|2]), (91,92,[0_1|2]), (92,93,[0_1|2]), (93,94,[0_1|2]), (94,71,[2_1|2]), (94,72,[2_1|2]), (94,75,[2_1|2]), (94,79,[2_1|2]), (94,83,[2_1|2]), (94,87,[2_1|2]), (94,119,[2_1|2]), (94,124,[2_1|2]), (94,129,[2_1|2]), (94,134,[2_1|2]), (94,139,[2_1|2]), (94,184,[2_1|2]), (94,189,[2_1|2]), (94,211,[2_1|2]), (94,226,[2_1|2]), (94,240,[2_1|2]), (94,245,[2_1|2]), (94,250,[2_1|2]), (94,259,[2_1|2]), (94,269,[2_1|2]), (94,284,[2_1|2]), (94,289,[2_1|2]), (94,92,[2_1|2]), (94,96,[2_1|2]), (94,100,[2_1|2]), (94,145,[2_1|2]), (94,150,[2_1|2]), (94,175,[2_1|2]), (94,180,[2_1|2]), (94,232,[2_1|2]), (94,237,[2_1|2]), (94,303,[2_1|2]), (94,300,[2_1|2]), (95,96,[0_1|2]), (96,97,[0_1|2]), (97,98,[2_1|2]), (98,71,[0_1|2]), (98,72,[0_1|2]), (98,75,[0_1|2]), (98,79,[0_1|2]), (98,83,[0_1|2]), (98,87,[0_1|2]), (98,119,[0_1|2]), (98,124,[0_1|2]), (98,129,[0_1|2]), (98,134,[0_1|2]), (98,139,[0_1|2]), (98,184,[0_1|2]), (98,189,[0_1|2]), (98,211,[0_1|2]), (98,226,[0_1|2]), (98,240,[0_1|2]), (98,245,[0_1|2]), (98,250,[0_1|2]), (98,259,[0_1|2]), (98,269,[0_1|2]), (98,284,[0_1|2]), (98,289,[0_1|2]), (98,91,[1_1|2]), (98,95,[1_1|2]), (98,99,[1_1|2]), (98,103,[1_1|2]), (98,107,[4_1|2]), (98,111,[5_1|2]), (98,115,[5_1|2]), (98,144,[1_1|2]), (98,149,[1_1|2]), (98,154,[1_1|2]), (98,159,[3_1|2]), (98,164,[4_1|2]), (98,169,[5_1|2]), (98,174,[1_1|2]), (98,179,[1_1|2]), (98,194,[3_1|2]), (98,199,[1_1|2]), (98,203,[3_1|2]), (98,207,[4_1|2]), (98,216,[1_1|2]), (98,221,[3_1|2]), (98,231,[1_1|2]), (98,236,[1_1|2]), (98,294,[1_1|2]), (98,254,[1_1|2]), (98,299,[1_1|2]), (98,264,[1_1|2]), (98,312,[0_1|3]), (98,315,[0_1|3]), (98,319,[0_1|3]), (98,323,[0_1|3]), (98,327,[0_1|3]), (98,331,[1_1|3]), (98,335,[1_1|3]), (98,339,[1_1|3]), (98,343,[1_1|3]), (98,347,[4_1|3]), (98,351,[5_1|3]), (98,355,[5_1|3]), (98,359,[0_1|3]), (98,364,[0_1|3]), (98,369,[0_1|3]), (98,374,[0_1|3]), (98,379,[0_1|3]), (98,384,[1_1|3]), (98,389,[1_1|3]), (98,394,[1_1|3]), (98,399,[3_1|3]), (98,404,[4_1|3]), (98,409,[5_1|3]), (98,414,[0_1|3]), (98,419,[0_1|3]), (98,424,[0_1|3]), (98,428,[1_1|3]), (98,433,[1_1|3]), (98,438,[1_1|3]), (98,443,[0_1|3]), (98,448,[0_1|3]), (98,303,[0_1|2]), (99,100,[0_1|2]), (100,101,[4_1|2]), (101,102,[2_1|2]), (102,71,[0_1|2]), (102,72,[0_1|2]), (102,75,[0_1|2]), (102,79,[0_1|2]), (102,83,[0_1|2]), (102,87,[0_1|2]), (102,119,[0_1|2]), (102,124,[0_1|2]), (102,129,[0_1|2]), (102,134,[0_1|2]), (102,139,[0_1|2]), (102,184,[0_1|2]), (102,189,[0_1|2]), (102,211,[0_1|2]), (102,226,[0_1|2]), (102,240,[0_1|2]), (102,245,[0_1|2]), (102,250,[0_1|2]), (102,259,[0_1|2]), (102,269,[0_1|2]), (102,284,[0_1|2]), (102,289,[0_1|2]), (102,92,[0_1|2]), (102,96,[0_1|2]), (102,100,[0_1|2]), (102,145,[0_1|2]), (102,150,[0_1|2]), (102,175,[0_1|2]), (102,180,[0_1|2]), (102,232,[0_1|2]), (102,237,[0_1|2]), (102,91,[1_1|2]), (102,95,[1_1|2]), (102,99,[1_1|2]), (102,103,[1_1|2]), (102,107,[4_1|2]), (102,111,[5_1|2]), (102,115,[5_1|2]), (102,144,[1_1|2]), (102,149,[1_1|2]), (102,154,[1_1|2]), (102,159,[3_1|2]), (102,164,[4_1|2]), (102,169,[5_1|2]), (102,174,[1_1|2]), (102,179,[1_1|2]), (102,194,[3_1|2]), (102,199,[1_1|2]), (102,203,[3_1|2]), (102,207,[4_1|2]), (102,216,[1_1|2]), (102,221,[3_1|2]), (102,231,[1_1|2]), (102,236,[1_1|2]), (102,294,[1_1|2]), (102,254,[1_1|2]), (102,299,[1_1|2]), (102,264,[1_1|2]), (102,312,[0_1|3]), (102,315,[0_1|3]), (102,319,[0_1|3]), (102,323,[0_1|3]), (102,327,[0_1|3]), (102,331,[1_1|3]), (102,335,[1_1|3]), (102,339,[1_1|3]), (102,343,[1_1|3]), (102,347,[4_1|3]), (102,351,[5_1|3]), (102,355,[5_1|3]), (102,359,[0_1|3]), (102,364,[0_1|3]), (102,369,[0_1|3]), (102,374,[0_1|3]), (102,379,[0_1|3]), (102,384,[1_1|3]), (102,389,[1_1|3]), (102,394,[1_1|3]), (102,399,[3_1|3]), (102,404,[4_1|3]), (102,409,[5_1|3]), (102,414,[0_1|3]), (102,419,[0_1|3]), (102,424,[0_1|3]), (102,428,[1_1|3]), (102,433,[1_1|3]), (102,438,[1_1|3]), (102,443,[0_1|3]), (102,448,[0_1|3]), (102,303,[0_1|2]), (102,300,[0_1|2]), (103,104,[4_1|2]), (104,105,[0_1|2]), (105,106,[4_1|2]), (106,71,[0_1|2]), (106,72,[0_1|2]), (106,75,[0_1|2]), (106,79,[0_1|2]), (106,83,[0_1|2]), (106,87,[0_1|2]), (106,119,[0_1|2]), (106,124,[0_1|2]), (106,129,[0_1|2]), (106,134,[0_1|2]), (106,139,[0_1|2]), (106,184,[0_1|2]), (106,189,[0_1|2]), (106,211,[0_1|2]), (106,226,[0_1|2]), (106,240,[0_1|2]), (106,245,[0_1|2]), (106,250,[0_1|2]), (106,259,[0_1|2]), (106,269,[0_1|2]), (106,284,[0_1|2]), (106,289,[0_1|2]), (106,92,[0_1|2]), (106,96,[0_1|2]), (106,100,[0_1|2]), (106,145,[0_1|2]), (106,150,[0_1|2]), (106,175,[0_1|2]), (106,180,[0_1|2]), (106,232,[0_1|2]), (106,237,[0_1|2]), (106,91,[1_1|2]), (106,95,[1_1|2]), (106,99,[1_1|2]), (106,103,[1_1|2]), (106,107,[4_1|2]), (106,111,[5_1|2]), (106,115,[5_1|2]), (106,144,[1_1|2]), (106,149,[1_1|2]), (106,154,[1_1|2]), (106,159,[3_1|2]), (106,164,[4_1|2]), (106,169,[5_1|2]), (106,174,[1_1|2]), (106,179,[1_1|2]), (106,194,[3_1|2]), (106,199,[1_1|2]), (106,203,[3_1|2]), (106,207,[4_1|2]), (106,216,[1_1|2]), (106,221,[3_1|2]), (106,231,[1_1|2]), (106,236,[1_1|2]), (106,294,[1_1|2]), (106,254,[1_1|2]), (106,299,[1_1|2]), (106,264,[1_1|2]), (106,312,[0_1|3]), (106,315,[0_1|3]), (106,319,[0_1|3]), (106,323,[0_1|3]), (106,327,[0_1|3]), (106,331,[1_1|3]), (106,335,[1_1|3]), (106,339,[1_1|3]), (106,343,[1_1|3]), (106,347,[4_1|3]), (106,351,[5_1|3]), (106,355,[5_1|3]), (106,359,[0_1|3]), (106,364,[0_1|3]), (106,369,[0_1|3]), (106,374,[0_1|3]), (106,379,[0_1|3]), (106,384,[1_1|3]), (106,389,[1_1|3]), (106,394,[1_1|3]), (106,399,[3_1|3]), (106,404,[4_1|3]), (106,409,[5_1|3]), (106,414,[0_1|3]), (106,419,[0_1|3]), (106,424,[0_1|3]), (106,428,[1_1|3]), (106,433,[1_1|3]), (106,438,[1_1|3]), (106,443,[0_1|3]), (106,448,[0_1|3]), (106,303,[0_1|2]), (106,300,[0_1|2]), (107,108,[0_1|2]), (108,109,[0_1|2]), (109,110,[2_1|2]), (110,71,[1_1|2]), (110,72,[1_1|2]), (110,75,[1_1|2]), (110,79,[1_1|2]), (110,83,[1_1|2]), (110,87,[1_1|2]), (110,119,[1_1|2]), (110,124,[1_1|2]), (110,129,[1_1|2]), (110,134,[1_1|2]), (110,139,[1_1|2]), (110,184,[1_1|2]), (110,189,[1_1|2]), (110,211,[1_1|2]), (110,226,[1_1|2]), (110,240,[1_1|2]), (110,245,[1_1|2]), (110,250,[1_1|2]), (110,259,[1_1|2]), (110,269,[1_1|2]), (110,284,[1_1|2]), (110,289,[1_1|2]), (110,92,[1_1|2]), (110,96,[1_1|2]), (110,100,[1_1|2]), (110,145,[1_1|2]), (110,150,[1_1|2]), (110,175,[1_1|2]), (110,180,[1_1|2]), (110,232,[1_1|2]), (110,237,[1_1|2]), (110,303,[1_1|2]), (110,300,[1_1|2]), (111,112,[0_1|2]), (112,113,[0_1|2]), (113,114,[4_1|2]), (114,71,[1_1|2]), (114,72,[1_1|2]), (114,75,[1_1|2]), (114,79,[1_1|2]), (114,83,[1_1|2]), (114,87,[1_1|2]), (114,119,[1_1|2]), (114,124,[1_1|2]), (114,129,[1_1|2]), (114,134,[1_1|2]), (114,139,[1_1|2]), (114,184,[1_1|2]), (114,189,[1_1|2]), (114,211,[1_1|2]), (114,226,[1_1|2]), (114,240,[1_1|2]), (114,245,[1_1|2]), (114,250,[1_1|2]), (114,259,[1_1|2]), (114,269,[1_1|2]), (114,284,[1_1|2]), (114,289,[1_1|2]), (114,92,[1_1|2]), (114,96,[1_1|2]), (114,100,[1_1|2]), (114,145,[1_1|2]), (114,150,[1_1|2]), (114,175,[1_1|2]), (114,180,[1_1|2]), (114,232,[1_1|2]), (114,237,[1_1|2]), (114,303,[1_1|2]), (114,300,[1_1|2]), (115,116,[1_1|2]), (116,117,[0_1|2]), (117,118,[4_1|2]), (118,71,[0_1|2]), (118,72,[0_1|2]), (118,75,[0_1|2]), (118,79,[0_1|2]), (118,83,[0_1|2]), (118,87,[0_1|2]), (118,119,[0_1|2]), (118,124,[0_1|2]), (118,129,[0_1|2]), (118,134,[0_1|2]), (118,139,[0_1|2]), (118,184,[0_1|2]), (118,189,[0_1|2]), (118,211,[0_1|2]), (118,226,[0_1|2]), (118,240,[0_1|2]), (118,245,[0_1|2]), (118,250,[0_1|2]), (118,259,[0_1|2]), (118,269,[0_1|2]), (118,284,[0_1|2]), (118,289,[0_1|2]), (118,92,[0_1|2]), (118,96,[0_1|2]), (118,100,[0_1|2]), (118,145,[0_1|2]), (118,150,[0_1|2]), (118,175,[0_1|2]), (118,180,[0_1|2]), (118,232,[0_1|2]), (118,237,[0_1|2]), (118,91,[1_1|2]), (118,95,[1_1|2]), (118,99,[1_1|2]), (118,103,[1_1|2]), (118,107,[4_1|2]), (118,111,[5_1|2]), (118,115,[5_1|2]), (118,144,[1_1|2]), (118,149,[1_1|2]), (118,154,[1_1|2]), (118,159,[3_1|2]), (118,164,[4_1|2]), (118,169,[5_1|2]), (118,174,[1_1|2]), (118,179,[1_1|2]), (118,194,[3_1|2]), (118,199,[1_1|2]), (118,203,[3_1|2]), (118,207,[4_1|2]), (118,216,[1_1|2]), (118,221,[3_1|2]), (118,231,[1_1|2]), (118,236,[1_1|2]), (118,294,[1_1|2]), (118,254,[1_1|2]), (118,299,[1_1|2]), (118,264,[1_1|2]), (118,312,[0_1|3]), (118,315,[0_1|3]), (118,319,[0_1|3]), (118,323,[0_1|3]), (118,327,[0_1|3]), (118,331,[1_1|3]), (118,335,[1_1|3]), (118,339,[1_1|3]), (118,343,[1_1|3]), (118,347,[4_1|3]), (118,351,[5_1|3]), (118,355,[5_1|3]), (118,359,[0_1|3]), (118,364,[0_1|3]), (118,369,[0_1|3]), (118,374,[0_1|3]), (118,379,[0_1|3]), (118,384,[1_1|3]), (118,389,[1_1|3]), (118,394,[1_1|3]), (118,399,[3_1|3]), (118,404,[4_1|3]), (118,409,[5_1|3]), (118,414,[0_1|3]), (118,419,[0_1|3]), (118,424,[0_1|3]), (118,428,[1_1|3]), (118,433,[1_1|3]), (118,438,[1_1|3]), (118,443,[0_1|3]), (118,448,[0_1|3]), (118,303,[0_1|2]), (118,300,[0_1|2]), (119,120,[2_1|2]), (120,121,[1_1|2]), (121,122,[0_1|2]), (122,123,[3_1|2]), (123,71,[2_1|2]), (123,72,[2_1|2]), (123,75,[2_1|2]), (123,79,[2_1|2]), (123,83,[2_1|2]), (123,87,[2_1|2]), (123,119,[2_1|2]), (123,124,[2_1|2]), (123,129,[2_1|2]), (123,134,[2_1|2]), (123,139,[2_1|2]), (123,184,[2_1|2]), (123,189,[2_1|2]), (123,211,[2_1|2]), (123,226,[2_1|2]), (123,240,[2_1|2]), (123,245,[2_1|2]), (123,250,[2_1|2]), (123,259,[2_1|2]), (123,269,[2_1|2]), (123,284,[2_1|2]), (123,289,[2_1|2]), (123,92,[2_1|2]), (123,96,[2_1|2]), (123,100,[2_1|2]), (123,145,[2_1|2]), (123,150,[2_1|2]), (123,175,[2_1|2]), (123,180,[2_1|2]), (123,232,[2_1|2]), (123,237,[2_1|2]), (123,303,[2_1|2]), (123,300,[2_1|2]), (124,125,[4_1|2]), (125,126,[0_1|2]), (126,127,[4_1|2]), (127,128,[1_1|2]), (128,71,[3_1|2]), (128,72,[3_1|2]), (128,75,[3_1|2]), (128,79,[3_1|2]), (128,83,[3_1|2]), (128,87,[3_1|2]), (128,119,[3_1|2]), (128,124,[3_1|2]), (128,129,[3_1|2]), (128,134,[3_1|2]), (128,139,[3_1|2]), (128,184,[3_1|2]), (128,189,[3_1|2]), (128,211,[3_1|2]), (128,226,[3_1|2]), (128,240,[3_1|2]), (128,245,[3_1|2]), (128,250,[3_1|2]), (128,259,[3_1|2]), (128,269,[3_1|2]), (128,284,[3_1|2]), (128,289,[3_1|2, 0_1|2]), (128,92,[3_1|2]), (128,96,[3_1|2]), (128,100,[3_1|2]), (128,145,[3_1|2]), (128,150,[3_1|2]), (128,175,[3_1|2]), (128,180,[3_1|2]), (128,232,[3_1|2]), (128,237,[3_1|2]), (128,303,[3_1|2]), (128,300,[3_1|2]), (129,130,[4_1|2]), (130,131,[2_1|2]), (131,132,[2_1|2]), (132,133,[1_1|2]), (133,71,[0_1|2]), (133,72,[0_1|2]), (133,75,[0_1|2]), (133,79,[0_1|2]), (133,83,[0_1|2]), (133,87,[0_1|2]), (133,119,[0_1|2]), (133,124,[0_1|2]), (133,129,[0_1|2]), (133,134,[0_1|2]), (133,139,[0_1|2]), (133,184,[0_1|2]), (133,189,[0_1|2]), (133,211,[0_1|2]), (133,226,[0_1|2]), (133,240,[0_1|2]), (133,245,[0_1|2]), (133,250,[0_1|2]), (133,259,[0_1|2]), (133,269,[0_1|2]), (133,284,[0_1|2]), (133,289,[0_1|2]), (133,92,[0_1|2]), (133,96,[0_1|2]), (133,100,[0_1|2]), (133,145,[0_1|2]), (133,150,[0_1|2]), (133,175,[0_1|2]), (133,180,[0_1|2]), (133,232,[0_1|2]), (133,237,[0_1|2]), (133,91,[1_1|2]), (133,95,[1_1|2]), (133,99,[1_1|2]), (133,103,[1_1|2]), (133,107,[4_1|2]), (133,111,[5_1|2]), (133,115,[5_1|2]), (133,144,[1_1|2]), (133,149,[1_1|2]), (133,154,[1_1|2]), (133,159,[3_1|2]), (133,164,[4_1|2]), (133,169,[5_1|2]), (133,174,[1_1|2]), (133,179,[1_1|2]), (133,194,[3_1|2]), (133,199,[1_1|2]), (133,203,[3_1|2]), (133,207,[4_1|2]), (133,216,[1_1|2]), (133,221,[3_1|2]), (133,231,[1_1|2]), (133,236,[1_1|2]), (133,294,[1_1|2]), (133,254,[1_1|2]), (133,299,[1_1|2]), (133,264,[1_1|2]), (133,312,[0_1|3]), (133,315,[0_1|3]), (133,319,[0_1|3]), (133,323,[0_1|3]), (133,327,[0_1|3]), (133,331,[1_1|3]), (133,335,[1_1|3]), (133,339,[1_1|3]), (133,343,[1_1|3]), (133,347,[4_1|3]), (133,351,[5_1|3]), (133,355,[5_1|3]), (133,359,[0_1|3]), (133,364,[0_1|3]), (133,369,[0_1|3]), (133,374,[0_1|3]), (133,379,[0_1|3]), (133,384,[1_1|3]), (133,389,[1_1|3]), (133,394,[1_1|3]), (133,399,[3_1|3]), (133,404,[4_1|3]), (133,409,[5_1|3]), (133,414,[0_1|3]), (133,419,[0_1|3]), (133,424,[0_1|3]), (133,428,[1_1|3]), (133,433,[1_1|3]), (133,438,[1_1|3]), (133,443,[0_1|3]), (133,448,[0_1|3]), (133,303,[0_1|2]), (133,300,[0_1|2]), (134,135,[5_1|2]), (135,136,[2_1|2]), (136,137,[1_1|2]), (137,138,[2_1|2]), (138,71,[0_1|2]), (138,72,[0_1|2]), (138,75,[0_1|2]), (138,79,[0_1|2]), (138,83,[0_1|2]), (138,87,[0_1|2]), (138,119,[0_1|2]), (138,124,[0_1|2]), (138,129,[0_1|2]), (138,134,[0_1|2]), (138,139,[0_1|2]), (138,184,[0_1|2]), (138,189,[0_1|2]), (138,211,[0_1|2]), (138,226,[0_1|2]), (138,240,[0_1|2]), (138,245,[0_1|2]), (138,250,[0_1|2]), (138,259,[0_1|2]), (138,269,[0_1|2]), (138,284,[0_1|2]), (138,289,[0_1|2]), (138,92,[0_1|2]), (138,96,[0_1|2]), (138,100,[0_1|2]), (138,145,[0_1|2]), (138,150,[0_1|2]), (138,175,[0_1|2]), (138,180,[0_1|2]), (138,232,[0_1|2]), (138,237,[0_1|2]), (138,91,[1_1|2]), (138,95,[1_1|2]), (138,99,[1_1|2]), (138,103,[1_1|2]), (138,107,[4_1|2]), (138,111,[5_1|2]), (138,115,[5_1|2]), (138,144,[1_1|2]), (138,149,[1_1|2]), (138,154,[1_1|2]), (138,159,[3_1|2]), (138,164,[4_1|2]), (138,169,[5_1|2]), (138,174,[1_1|2]), (138,179,[1_1|2]), (138,194,[3_1|2]), (138,199,[1_1|2]), (138,203,[3_1|2]), (138,207,[4_1|2]), (138,216,[1_1|2]), (138,221,[3_1|2]), (138,231,[1_1|2]), (138,236,[1_1|2]), (138,294,[1_1|2]), (138,254,[1_1|2]), (138,299,[1_1|2]), (138,264,[1_1|2]), (138,312,[0_1|3]), (138,315,[0_1|3]), (138,319,[0_1|3]), (138,323,[0_1|3]), (138,327,[0_1|3]), (138,331,[1_1|3]), (138,335,[1_1|3]), (138,339,[1_1|3]), (138,343,[1_1|3]), (138,347,[4_1|3]), (138,351,[5_1|3]), (138,355,[5_1|3]), (138,359,[0_1|3]), (138,364,[0_1|3]), (138,369,[0_1|3]), (138,374,[0_1|3]), (138,379,[0_1|3]), (138,384,[1_1|3]), (138,389,[1_1|3]), (138,394,[1_1|3]), (138,399,[3_1|3]), (138,404,[4_1|3]), (138,409,[5_1|3]), (138,414,[0_1|3]), (138,419,[0_1|3]), (138,424,[0_1|3]), (138,428,[1_1|3]), (138,433,[1_1|3]), (138,438,[1_1|3]), (138,443,[0_1|3]), (138,448,[0_1|3]), (138,303,[0_1|2]), (138,300,[0_1|2]), (139,140,[5_1|2]), (140,141,[2_1|2]), (141,142,[5_1|2]), (142,143,[1_1|2]), (143,71,[0_1|2]), (143,72,[0_1|2]), (143,75,[0_1|2]), (143,79,[0_1|2]), (143,83,[0_1|2]), (143,87,[0_1|2]), (143,119,[0_1|2]), (143,124,[0_1|2]), (143,129,[0_1|2]), (143,134,[0_1|2]), (143,139,[0_1|2]), (143,184,[0_1|2]), (143,189,[0_1|2]), (143,211,[0_1|2]), (143,226,[0_1|2]), (143,240,[0_1|2]), (143,245,[0_1|2]), (143,250,[0_1|2]), (143,259,[0_1|2]), (143,269,[0_1|2]), (143,284,[0_1|2]), (143,289,[0_1|2]), (143,92,[0_1|2]), (143,96,[0_1|2]), (143,100,[0_1|2]), (143,145,[0_1|2]), (143,150,[0_1|2]), (143,175,[0_1|2]), (143,180,[0_1|2]), (143,232,[0_1|2]), (143,237,[0_1|2]), (143,91,[1_1|2]), (143,95,[1_1|2]), (143,99,[1_1|2]), (143,103,[1_1|2]), (143,107,[4_1|2]), (143,111,[5_1|2]), (143,115,[5_1|2]), (143,144,[1_1|2]), (143,149,[1_1|2]), (143,154,[1_1|2]), (143,159,[3_1|2]), (143,164,[4_1|2]), (143,169,[5_1|2]), (143,174,[1_1|2]), (143,179,[1_1|2]), (143,194,[3_1|2]), (143,199,[1_1|2]), (143,203,[3_1|2]), (143,207,[4_1|2]), (143,216,[1_1|2]), (143,221,[3_1|2]), (143,231,[1_1|2]), (143,236,[1_1|2]), (143,294,[1_1|2]), (143,254,[1_1|2]), (143,299,[1_1|2]), (143,264,[1_1|2]), (143,312,[0_1|3]), (143,315,[0_1|3]), (143,319,[0_1|3]), (143,323,[0_1|3]), (143,327,[0_1|3]), (143,331,[1_1|3]), (143,335,[1_1|3]), (143,339,[1_1|3]), (143,343,[1_1|3]), (143,347,[4_1|3]), (143,351,[5_1|3]), (143,355,[5_1|3]), (143,359,[0_1|3]), (143,364,[0_1|3]), (143,369,[0_1|3]), (143,374,[0_1|3]), (143,379,[0_1|3]), (143,384,[1_1|3]), (143,389,[1_1|3]), (143,394,[1_1|3]), (143,399,[3_1|3]), (143,404,[4_1|3]), (143,409,[5_1|3]), (143,414,[0_1|3]), (143,419,[0_1|3]), (143,424,[0_1|3]), (143,428,[1_1|3]), (143,433,[1_1|3]), (143,438,[1_1|3]), (143,443,[0_1|3]), (143,448,[0_1|3]), (143,303,[0_1|2]), (143,300,[0_1|2]), (144,145,[0_1|2]), (145,146,[0_1|2]), (146,147,[5_1|2]), (147,148,[4_1|2]), (148,71,[4_1|2]), (148,72,[4_1|2]), (148,75,[4_1|2]), (148,79,[4_1|2]), (148,83,[4_1|2]), (148,87,[4_1|2]), (148,119,[4_1|2]), (148,124,[4_1|2]), (148,129,[4_1|2]), (148,134,[4_1|2]), (148,139,[4_1|2]), (148,184,[4_1|2]), (148,189,[4_1|2]), (148,211,[4_1|2]), (148,226,[4_1|2]), (148,240,[4_1|2]), (148,245,[4_1|2]), (148,250,[4_1|2]), (148,259,[4_1|2]), (148,269,[4_1|2]), (148,284,[4_1|2]), (148,289,[4_1|2]), (148,92,[4_1|2]), (148,96,[4_1|2]), (148,100,[4_1|2]), (148,145,[4_1|2]), (148,150,[4_1|2]), (148,175,[4_1|2]), (148,180,[4_1|2]), (148,232,[4_1|2]), (148,237,[4_1|2]), (148,303,[4_1|2]), (148,300,[4_1|2]), (149,150,[0_1|2]), (150,151,[4_1|2]), (151,152,[4_1|2]), (152,153,[4_1|2]), (153,71,[0_1|2]), (153,72,[0_1|2]), (153,75,[0_1|2]), (153,79,[0_1|2]), (153,83,[0_1|2]), (153,87,[0_1|2]), (153,119,[0_1|2]), (153,124,[0_1|2]), (153,129,[0_1|2]), (153,134,[0_1|2]), (153,139,[0_1|2]), (153,184,[0_1|2]), (153,189,[0_1|2]), (153,211,[0_1|2]), (153,226,[0_1|2]), (153,240,[0_1|2]), (153,245,[0_1|2]), (153,250,[0_1|2]), (153,259,[0_1|2]), (153,269,[0_1|2]), (153,284,[0_1|2]), (153,289,[0_1|2]), (153,92,[0_1|2]), (153,96,[0_1|2]), (153,100,[0_1|2]), (153,145,[0_1|2]), (153,150,[0_1|2]), (153,175,[0_1|2]), (153,180,[0_1|2]), (153,232,[0_1|2]), (153,237,[0_1|2]), (153,91,[1_1|2]), (153,95,[1_1|2]), (153,99,[1_1|2]), (153,103,[1_1|2]), (153,107,[4_1|2]), (153,111,[5_1|2]), (153,115,[5_1|2]), (153,144,[1_1|2]), (153,149,[1_1|2]), (153,154,[1_1|2]), (153,159,[3_1|2]), (153,164,[4_1|2]), (153,169,[5_1|2]), (153,174,[1_1|2]), (153,179,[1_1|2]), (153,194,[3_1|2]), (153,199,[1_1|2]), (153,203,[3_1|2]), (153,207,[4_1|2]), (153,216,[1_1|2]), (153,221,[3_1|2]), (153,231,[1_1|2]), (153,236,[1_1|2]), (153,294,[1_1|2]), (153,254,[1_1|2]), (153,299,[1_1|2]), (153,264,[1_1|2]), (153,312,[0_1|3]), (153,315,[0_1|3]), (153,319,[0_1|3]), (153,323,[0_1|3]), (153,327,[0_1|3]), (153,331,[1_1|3]), (153,335,[1_1|3]), (153,339,[1_1|3]), (153,343,[1_1|3]), (153,347,[4_1|3]), (153,351,[5_1|3]), (153,355,[5_1|3]), (153,359,[0_1|3]), (153,364,[0_1|3]), (153,369,[0_1|3]), (153,374,[0_1|3]), (153,379,[0_1|3]), (153,384,[1_1|3]), (153,389,[1_1|3]), (153,394,[1_1|3]), (153,399,[3_1|3]), (153,404,[4_1|3]), (153,409,[5_1|3]), (153,414,[0_1|3]), (153,419,[0_1|3]), (153,424,[0_1|3]), (153,428,[1_1|3]), (153,433,[1_1|3]), (153,438,[1_1|3]), (153,443,[0_1|3]), (153,448,[0_1|3]), (153,303,[0_1|2]), (153,300,[0_1|2]), (154,155,[5_1|2]), (155,156,[0_1|2]), (156,157,[0_1|2]), (157,158,[4_1|2]), (158,71,[2_1|2]), (158,92,[2_1|2]), (158,96,[2_1|2]), (158,100,[2_1|2]), (158,145,[2_1|2]), (158,150,[2_1|2]), (158,175,[2_1|2]), (158,180,[2_1|2]), (158,232,[2_1|2]), (158,237,[2_1|2]), (158,300,[2_1|2]), (159,160,[0_1|2]), (160,161,[0_1|2]), (161,162,[4_1|2]), (162,163,[1_1|2]), (163,71,[4_1|2]), (163,72,[4_1|2]), (163,75,[4_1|2]), (163,79,[4_1|2]), (163,83,[4_1|2]), (163,87,[4_1|2]), (163,119,[4_1|2]), (163,124,[4_1|2]), (163,129,[4_1|2]), (163,134,[4_1|2]), (163,139,[4_1|2]), (163,184,[4_1|2]), (163,189,[4_1|2]), (163,211,[4_1|2]), (163,226,[4_1|2]), (163,240,[4_1|2]), (163,245,[4_1|2]), (163,250,[4_1|2]), (163,259,[4_1|2]), (163,269,[4_1|2]), (163,284,[4_1|2]), (163,289,[4_1|2]), (163,92,[4_1|2]), (163,96,[4_1|2]), (163,100,[4_1|2]), (163,145,[4_1|2]), (163,150,[4_1|2]), (163,175,[4_1|2]), (163,180,[4_1|2]), (163,232,[4_1|2]), (163,237,[4_1|2]), (163,303,[4_1|2]), (163,300,[4_1|2]), (164,165,[5_1|2]), (165,166,[1_1|2]), (166,167,[0_1|2]), (167,168,[2_1|2]), (168,71,[0_1|2]), (168,72,[0_1|2]), (168,75,[0_1|2]), (168,79,[0_1|2]), (168,83,[0_1|2]), (168,87,[0_1|2]), (168,119,[0_1|2]), (168,124,[0_1|2]), (168,129,[0_1|2]), (168,134,[0_1|2]), (168,139,[0_1|2]), (168,184,[0_1|2]), (168,189,[0_1|2]), (168,211,[0_1|2]), (168,226,[0_1|2]), (168,240,[0_1|2]), (168,245,[0_1|2]), (168,250,[0_1|2]), (168,259,[0_1|2]), (168,269,[0_1|2]), (168,284,[0_1|2]), (168,289,[0_1|2]), (168,92,[0_1|2]), (168,96,[0_1|2]), (168,100,[0_1|2]), (168,145,[0_1|2]), (168,150,[0_1|2]), (168,175,[0_1|2]), (168,180,[0_1|2]), (168,232,[0_1|2]), (168,237,[0_1|2]), (168,91,[1_1|2]), (168,95,[1_1|2]), (168,99,[1_1|2]), (168,103,[1_1|2]), (168,107,[4_1|2]), (168,111,[5_1|2]), (168,115,[5_1|2]), (168,144,[1_1|2]), (168,149,[1_1|2]), (168,154,[1_1|2]), (168,159,[3_1|2]), (168,164,[4_1|2]), (168,169,[5_1|2]), (168,174,[1_1|2]), (168,179,[1_1|2]), (168,194,[3_1|2]), (168,199,[1_1|2]), (168,203,[3_1|2]), (168,207,[4_1|2]), (168,216,[1_1|2]), (168,221,[3_1|2]), (168,231,[1_1|2]), (168,236,[1_1|2]), (168,294,[1_1|2]), (168,254,[1_1|2]), (168,299,[1_1|2]), (168,264,[1_1|2]), (168,312,[0_1|3]), (168,315,[0_1|3]), (168,319,[0_1|3]), (168,323,[0_1|3]), (168,327,[0_1|3]), (168,331,[1_1|3]), (168,335,[1_1|3]), (168,339,[1_1|3]), (168,343,[1_1|3]), (168,347,[4_1|3]), (168,351,[5_1|3]), (168,355,[5_1|3]), (168,359,[0_1|3]), (168,364,[0_1|3]), (168,369,[0_1|3]), (168,374,[0_1|3]), (168,379,[0_1|3]), (168,384,[1_1|3]), (168,389,[1_1|3]), (168,394,[1_1|3]), (168,399,[3_1|3]), (168,404,[4_1|3]), (168,409,[5_1|3]), (168,414,[0_1|3]), (168,419,[0_1|3]), (168,424,[0_1|3]), (168,428,[1_1|3]), (168,433,[1_1|3]), (168,438,[1_1|3]), (168,443,[0_1|3]), (168,448,[0_1|3]), (168,303,[0_1|2]), (168,300,[0_1|2]), (169,170,[5_1|2]), (170,171,[1_1|2]), (171,172,[0_1|2]), (172,173,[0_1|2]), (173,71,[2_1|2]), (173,72,[2_1|2]), (173,75,[2_1|2]), (173,79,[2_1|2]), (173,83,[2_1|2]), (173,87,[2_1|2]), (173,119,[2_1|2]), (173,124,[2_1|2]), (173,129,[2_1|2]), (173,134,[2_1|2]), (173,139,[2_1|2]), (173,184,[2_1|2]), (173,189,[2_1|2]), (173,211,[2_1|2]), (173,226,[2_1|2]), (173,240,[2_1|2]), (173,245,[2_1|2]), (173,250,[2_1|2]), (173,259,[2_1|2]), (173,269,[2_1|2]), (173,284,[2_1|2]), (173,289,[2_1|2]), (173,92,[2_1|2]), (173,96,[2_1|2]), (173,100,[2_1|2]), (173,145,[2_1|2]), (173,150,[2_1|2]), (173,175,[2_1|2]), (173,180,[2_1|2]), (173,232,[2_1|2]), (173,237,[2_1|2]), (173,303,[2_1|2]), (173,300,[2_1|2]), (174,175,[0_1|2]), (175,176,[3_1|2]), (176,177,[3_1|2]), (177,178,[0_1|2]), (178,71,[2_1|2]), (178,159,[2_1|2]), (178,194,[2_1|2]), (178,203,[2_1|2]), (178,221,[2_1|2]), (178,88,[2_1|2]), (178,241,[2_1|2]), (178,270,[2_1|2]), (178,176,[2_1|2]), (178,238,[2_1|2]), (179,180,[0_1|2]), (180,181,[5_1|2]), (181,182,[3_1|2]), (182,183,[2_1|2]), (183,71,[0_1|2]), (183,159,[0_1|2, 3_1|2]), (183,194,[0_1|2, 3_1|2]), (183,203,[0_1|2, 3_1|2]), (183,221,[0_1|2, 3_1|2]), (183,88,[0_1|2]), (183,241,[0_1|2]), (183,270,[0_1|2]), (183,176,[0_1|2]), (183,238,[0_1|2]), (183,72,[0_1|2]), (183,75,[0_1|2]), (183,79,[0_1|2]), (183,83,[0_1|2]), (183,87,[0_1|2]), (183,91,[1_1|2]), (183,95,[1_1|2]), (183,99,[1_1|2]), (183,103,[1_1|2]), (183,107,[4_1|2]), (183,111,[5_1|2]), (183,115,[5_1|2]), (183,119,[0_1|2]), (183,124,[0_1|2]), (183,129,[0_1|2]), (183,134,[0_1|2]), (183,139,[0_1|2]), (183,144,[1_1|2]), (183,149,[1_1|2]), (183,154,[1_1|2]), (183,164,[4_1|2]), (183,169,[5_1|2]), (183,174,[1_1|2]), (183,179,[1_1|2]), (183,184,[0_1|2]), (183,189,[0_1|2]), (183,199,[1_1|2]), (183,207,[4_1|2]), (183,211,[0_1|2]), (183,216,[1_1|2]), (183,226,[0_1|2]), (183,231,[1_1|2]), (183,236,[1_1|2]), (183,240,[0_1|2]), (183,245,[0_1|2]), (183,294,[1_1|2]), (183,250,[0_1|2]), (183,254,[1_1|2]), (183,259,[0_1|2]), (183,299,[1_1|2]), (183,264,[1_1|2]), (183,269,[0_1|2]), (183,312,[0_1|3]), (183,315,[0_1|3]), (183,319,[0_1|3]), (183,323,[0_1|3]), (183,327,[0_1|3]), (183,331,[1_1|3]), (183,335,[1_1|3]), (183,339,[1_1|3]), (183,343,[1_1|3]), (183,347,[4_1|3]), (183,351,[5_1|3]), (183,355,[5_1|3]), (183,359,[0_1|3]), (183,364,[0_1|3]), (183,369,[0_1|3]), (183,374,[0_1|3]), (183,379,[0_1|3]), (183,384,[1_1|3]), (183,389,[1_1|3]), (183,394,[1_1|3]), (183,399,[3_1|3]), (183,404,[4_1|3]), (183,409,[5_1|3]), (183,414,[0_1|3]), (183,419,[0_1|3]), (183,424,[0_1|3]), (183,428,[1_1|3]), (183,433,[1_1|3]), (183,438,[1_1|3]), (183,443,[0_1|3]), (183,448,[0_1|3]), (184,185,[0_1|2]), (185,186,[5_1|2]), (186,187,[1_1|2]), (187,188,[0_1|2]), (187,453,[1_1|2]), (187,259,[0_1|2]), (187,457,[1_1|3]), (187,461,[0_1|3]), (187,312,[0_1|3]), (187,315,[0_1|3]), (187,319,[0_1|3]), (187,323,[0_1|3]), (187,327,[0_1|3]), (187,331,[1_1|3]), (187,335,[1_1|3]), (187,339,[1_1|3]), (187,343,[1_1|3]), (187,347,[4_1|3]), (187,351,[5_1|3]), (187,355,[5_1|3]), (187,359,[0_1|3]), (187,364,[0_1|3]), (187,369,[0_1|3]), (187,374,[0_1|3]), (187,379,[0_1|3]), (187,384,[1_1|3]), (187,389,[1_1|3]), (187,394,[1_1|3]), (187,399,[3_1|3]), (187,404,[4_1|3]), (187,409,[5_1|3]), (187,414,[0_1|3]), (187,419,[0_1|3]), (187,424,[0_1|3]), (187,428,[1_1|3]), (187,433,[1_1|3]), (187,438,[1_1|3]), (187,443,[0_1|3]), (187,476,[0_1|4]), (187,480,[1_1|4]), (188,71,[0_1|2]), (188,72,[0_1|2]), (188,75,[0_1|2]), (188,79,[0_1|2]), (188,83,[0_1|2]), (188,87,[0_1|2]), (188,119,[0_1|2]), (188,124,[0_1|2]), (188,129,[0_1|2]), (188,134,[0_1|2]), (188,139,[0_1|2]), (188,184,[0_1|2]), (188,189,[0_1|2]), (188,211,[0_1|2]), (188,226,[0_1|2]), (188,240,[0_1|2]), (188,245,[0_1|2]), (188,250,[0_1|2]), (188,259,[0_1|2]), (188,269,[0_1|2]), (188,284,[0_1|2]), (188,289,[0_1|2]), (188,76,[0_1|2]), (188,80,[0_1|2]), (188,185,[0_1|2]), (188,212,[0_1|2]), (188,227,[0_1|2]), (188,246,[0_1|2]), (188,285,[0_1|2]), (188,247,[0_1|2]), (188,94,[0_1|2]), (188,91,[1_1|2]), (188,95,[1_1|2]), (188,99,[1_1|2]), (188,103,[1_1|2]), (188,107,[4_1|2]), (188,111,[5_1|2]), (188,115,[5_1|2]), (188,144,[1_1|2]), (188,149,[1_1|2]), (188,154,[1_1|2]), (188,159,[3_1|2]), (188,164,[4_1|2]), (188,169,[5_1|2]), (188,174,[1_1|2]), (188,179,[1_1|2]), (188,194,[3_1|2]), (188,199,[1_1|2]), (188,203,[3_1|2]), (188,207,[4_1|2]), (188,216,[1_1|2]), (188,221,[3_1|2]), (188,231,[1_1|2]), (188,236,[1_1|2]), (188,294,[1_1|2]), (188,254,[1_1|2]), (188,299,[1_1|2]), (188,264,[1_1|2]), (188,312,[0_1|3]), (188,315,[0_1|3]), (188,319,[0_1|3]), (188,323,[0_1|3]), (188,327,[0_1|3]), (188,331,[1_1|3]), (188,335,[1_1|3]), (188,339,[1_1|3]), (188,343,[1_1|3]), (188,347,[4_1|3]), (188,351,[5_1|3]), (188,355,[5_1|3]), (188,359,[0_1|3]), (188,364,[0_1|3]), (188,369,[0_1|3]), (188,374,[0_1|3]), (188,379,[0_1|3]), (188,384,[1_1|3]), (188,389,[1_1|3]), (188,394,[1_1|3]), (188,399,[3_1|3]), (188,404,[4_1|3]), (188,409,[5_1|3]), (188,414,[0_1|3]), (188,419,[0_1|3]), (188,424,[0_1|3]), (188,428,[1_1|3]), (188,433,[1_1|3]), (188,438,[1_1|3]), (188,443,[0_1|3]), (188,448,[0_1|3]), (188,303,[0_1|2]), (189,190,[4_1|2]), (190,191,[4_1|2]), (191,192,[1_1|2]), (192,193,[1_1|2]), (193,71,[0_1|2]), (193,72,[0_1|2]), (193,75,[0_1|2]), (193,79,[0_1|2]), (193,83,[0_1|2]), (193,87,[0_1|2]), (193,119,[0_1|2]), (193,124,[0_1|2]), (193,129,[0_1|2]), (193,134,[0_1|2]), (193,139,[0_1|2]), (193,184,[0_1|2]), (193,189,[0_1|2]), (193,211,[0_1|2]), (193,226,[0_1|2]), (193,240,[0_1|2]), (193,245,[0_1|2]), (193,250,[0_1|2]), (193,259,[0_1|2]), (193,269,[0_1|2]), (193,284,[0_1|2]), (193,289,[0_1|2]), (193,92,[0_1|2]), (193,96,[0_1|2]), (193,100,[0_1|2]), (193,145,[0_1|2]), (193,150,[0_1|2]), (193,175,[0_1|2]), (193,180,[0_1|2]), (193,232,[0_1|2]), (193,237,[0_1|2]), (193,201,[0_1|2]), (193,91,[1_1|2]), (193,95,[1_1|2]), (193,99,[1_1|2]), (193,103,[1_1|2]), (193,107,[4_1|2]), (193,111,[5_1|2]), (193,115,[5_1|2]), (193,144,[1_1|2]), (193,149,[1_1|2]), (193,154,[1_1|2]), (193,159,[3_1|2]), (193,164,[4_1|2]), (193,169,[5_1|2]), (193,174,[1_1|2]), (193,179,[1_1|2]), (193,194,[3_1|2]), (193,199,[1_1|2]), (193,203,[3_1|2]), (193,207,[4_1|2]), (193,216,[1_1|2]), (193,221,[3_1|2]), (193,231,[1_1|2]), (193,236,[1_1|2]), (193,294,[1_1|2]), (193,254,[1_1|2]), (193,299,[1_1|2]), (193,264,[1_1|2]), (193,312,[0_1|3]), (193,315,[0_1|3]), (193,319,[0_1|3]), (193,323,[0_1|3]), (193,327,[0_1|3]), (193,331,[1_1|3]), (193,335,[1_1|3]), (193,339,[1_1|3]), (193,343,[1_1|3]), (193,347,[4_1|3]), (193,351,[5_1|3]), (193,355,[5_1|3]), (193,359,[0_1|3]), (193,364,[0_1|3]), (193,369,[0_1|3]), (193,374,[0_1|3]), (193,379,[0_1|3]), (193,384,[1_1|3]), (193,389,[1_1|3]), (193,394,[1_1|3]), (193,399,[3_1|3]), (193,404,[4_1|3]), (193,409,[5_1|3]), (193,414,[0_1|3]), (193,419,[0_1|3]), (193,424,[0_1|3]), (193,428,[1_1|3]), (193,433,[1_1|3]), (193,438,[1_1|3]), (193,443,[0_1|3]), (193,448,[0_1|3]), (193,303,[0_1|2]), (193,300,[0_1|2]), (194,195,[4_1|2]), (195,196,[5_1|2]), (196,197,[1_1|2]), (197,198,[1_1|2]), (198,71,[0_1|2]), (198,159,[0_1|2, 3_1|2]), (198,194,[0_1|2, 3_1|2]), (198,203,[0_1|2, 3_1|2]), (198,221,[0_1|2, 3_1|2]), (198,72,[0_1|2]), (198,75,[0_1|2]), (198,79,[0_1|2]), (198,83,[0_1|2]), (198,87,[0_1|2]), (198,91,[1_1|2]), (198,95,[1_1|2]), (198,99,[1_1|2]), (198,103,[1_1|2]), (198,107,[4_1|2]), (198,111,[5_1|2]), (198,115,[5_1|2]), (198,119,[0_1|2]), (198,124,[0_1|2]), (198,129,[0_1|2]), (198,134,[0_1|2]), (198,139,[0_1|2]), (198,144,[1_1|2]), (198,149,[1_1|2]), (198,154,[1_1|2]), (198,164,[4_1|2]), (198,169,[5_1|2]), (198,174,[1_1|2]), (198,179,[1_1|2]), (198,184,[0_1|2]), (198,189,[0_1|2]), (198,199,[1_1|2]), (198,207,[4_1|2]), (198,211,[0_1|2]), (198,216,[1_1|2]), (198,226,[0_1|2]), (198,231,[1_1|2]), (198,236,[1_1|2]), (198,240,[0_1|2]), (198,245,[0_1|2]), (198,294,[1_1|2]), (198,250,[0_1|2]), (198,254,[1_1|2]), (198,259,[0_1|2]), (198,299,[1_1|2]), (198,264,[1_1|2]), (198,269,[0_1|2]), (198,312,[0_1|3]), (198,315,[0_1|3]), (198,319,[0_1|3]), (198,323,[0_1|3]), (198,327,[0_1|3]), (198,331,[1_1|3]), (198,335,[1_1|3]), (198,339,[1_1|3]), (198,343,[1_1|3]), (198,347,[4_1|3]), (198,351,[5_1|3]), (198,355,[5_1|3]), (198,359,[0_1|3]), (198,364,[0_1|3]), (198,369,[0_1|3]), (198,374,[0_1|3]), (198,379,[0_1|3]), (198,384,[1_1|3]), (198,389,[1_1|3]), (198,394,[1_1|3]), (198,399,[3_1|3]), (198,404,[4_1|3]), (198,409,[5_1|3]), (198,414,[0_1|3]), (198,419,[0_1|3]), (198,424,[0_1|3]), (198,428,[1_1|3]), (198,433,[1_1|3]), (198,438,[1_1|3]), (198,443,[0_1|3]), (198,448,[0_1|3]), (199,200,[1_1|2]), (200,201,[0_1|2]), (201,202,[2_1|2]), (202,71,[0_1|2]), (202,72,[0_1|2]), (202,75,[0_1|2]), (202,79,[0_1|2]), (202,83,[0_1|2]), (202,87,[0_1|2]), (202,119,[0_1|2]), (202,124,[0_1|2]), (202,129,[0_1|2]), (202,134,[0_1|2]), (202,139,[0_1|2]), (202,184,[0_1|2]), (202,189,[0_1|2]), (202,211,[0_1|2]), (202,226,[0_1|2]), (202,240,[0_1|2]), (202,245,[0_1|2]), (202,250,[0_1|2]), (202,259,[0_1|2]), (202,269,[0_1|2]), (202,284,[0_1|2]), (202,289,[0_1|2]), (202,91,[1_1|2]), (202,95,[1_1|2]), (202,99,[1_1|2]), (202,103,[1_1|2]), (202,107,[4_1|2]), (202,111,[5_1|2]), (202,115,[5_1|2]), (202,144,[1_1|2]), (202,149,[1_1|2]), (202,154,[1_1|2]), (202,159,[3_1|2]), (202,164,[4_1|2]), (202,169,[5_1|2]), (202,174,[1_1|2]), (202,179,[1_1|2]), (202,194,[3_1|2]), (202,199,[1_1|2]), (202,203,[3_1|2]), (202,207,[4_1|2]), (202,216,[1_1|2]), (202,221,[3_1|2]), (202,231,[1_1|2]), (202,236,[1_1|2]), (202,294,[1_1|2]), (202,254,[1_1|2]), (202,299,[1_1|2]), (202,264,[1_1|2]), (202,312,[0_1|3]), (202,315,[0_1|3]), (202,319,[0_1|3]), (202,323,[0_1|3]), (202,327,[0_1|3]), (202,331,[1_1|3]), (202,335,[1_1|3]), (202,339,[1_1|3]), (202,343,[1_1|3]), (202,347,[4_1|3]), (202,351,[5_1|3]), (202,355,[5_1|3]), (202,359,[0_1|3]), (202,364,[0_1|3]), (202,369,[0_1|3]), (202,374,[0_1|3]), (202,379,[0_1|3]), (202,384,[1_1|3]), (202,389,[1_1|3]), (202,394,[1_1|3]), (202,399,[3_1|3]), (202,404,[4_1|3]), (202,409,[5_1|3]), (202,414,[0_1|3]), (202,419,[0_1|3]), (202,424,[0_1|3]), (202,428,[1_1|3]), (202,433,[1_1|3]), (202,438,[1_1|3]), (202,443,[0_1|3]), (202,448,[0_1|3]), (202,303,[0_1|2]), (203,204,[0_1|2]), (204,205,[2_1|2]), (205,206,[1_1|2]), (206,71,[0_1|2]), (206,72,[0_1|2]), (206,75,[0_1|2]), (206,79,[0_1|2]), (206,83,[0_1|2]), (206,87,[0_1|2]), (206,119,[0_1|2]), (206,124,[0_1|2]), (206,129,[0_1|2]), (206,134,[0_1|2]), (206,139,[0_1|2]), (206,184,[0_1|2]), (206,189,[0_1|2]), (206,211,[0_1|2]), (206,226,[0_1|2]), (206,240,[0_1|2]), (206,245,[0_1|2]), (206,250,[0_1|2]), (206,259,[0_1|2]), (206,269,[0_1|2]), (206,284,[0_1|2]), (206,289,[0_1|2]), (206,91,[1_1|2]), (206,95,[1_1|2]), (206,99,[1_1|2]), (206,103,[1_1|2]), (206,107,[4_1|2]), (206,111,[5_1|2]), (206,115,[5_1|2]), (206,144,[1_1|2]), (206,149,[1_1|2]), (206,154,[1_1|2]), (206,159,[3_1|2]), (206,164,[4_1|2]), (206,169,[5_1|2]), (206,174,[1_1|2]), (206,179,[1_1|2]), (206,194,[3_1|2]), (206,199,[1_1|2]), (206,203,[3_1|2]), (206,207,[4_1|2]), (206,216,[1_1|2]), (206,221,[3_1|2]), (206,231,[1_1|2]), (206,236,[1_1|2]), (206,294,[1_1|2]), (206,254,[1_1|2]), (206,299,[1_1|2]), (206,264,[1_1|2]), (206,312,[0_1|3]), (206,315,[0_1|3]), (206,319,[0_1|3]), (206,323,[0_1|3]), (206,327,[0_1|3]), (206,331,[1_1|3]), (206,335,[1_1|3]), (206,339,[1_1|3]), (206,343,[1_1|3]), (206,347,[4_1|3]), (206,351,[5_1|3]), (206,355,[5_1|3]), (206,359,[0_1|3]), (206,364,[0_1|3]), (206,369,[0_1|3]), (206,374,[0_1|3]), (206,379,[0_1|3]), (206,384,[1_1|3]), (206,389,[1_1|3]), (206,394,[1_1|3]), (206,399,[3_1|3]), (206,404,[4_1|3]), (206,409,[5_1|3]), (206,414,[0_1|3]), (206,419,[0_1|3]), (206,424,[0_1|3]), (206,428,[1_1|3]), (206,433,[1_1|3]), (206,438,[1_1|3]), (206,443,[0_1|3]), (206,448,[0_1|3]), (206,303,[0_1|2]), (207,208,[1_1|2]), (208,209,[0_1|2]), (209,210,[0_1|2]), (210,71,[2_1|2]), (210,72,[2_1|2]), (210,75,[2_1|2]), (210,79,[2_1|2]), (210,83,[2_1|2]), (210,87,[2_1|2]), (210,119,[2_1|2]), (210,124,[2_1|2]), (210,129,[2_1|2]), (210,134,[2_1|2]), (210,139,[2_1|2]), (210,184,[2_1|2]), (210,189,[2_1|2]), (210,211,[2_1|2]), (210,226,[2_1|2]), (210,240,[2_1|2]), (210,245,[2_1|2]), (210,250,[2_1|2]), (210,259,[2_1|2]), (210,269,[2_1|2]), (210,284,[2_1|2]), (210,289,[2_1|2]), (210,303,[2_1|2]), (211,212,[0_1|2]), (212,213,[4_1|2]), (213,214,[2_1|2]), (214,215,[5_1|2]), (215,71,[1_1|2]), (215,72,[1_1|2]), (215,75,[1_1|2]), (215,79,[1_1|2]), (215,83,[1_1|2]), (215,87,[1_1|2]), (215,119,[1_1|2]), (215,124,[1_1|2]), (215,129,[1_1|2]), (215,134,[1_1|2]), (215,139,[1_1|2]), (215,184,[1_1|2]), (215,189,[1_1|2]), (215,211,[1_1|2]), (215,226,[1_1|2]), (215,240,[1_1|2]), (215,245,[1_1|2]), (215,250,[1_1|2]), (215,259,[1_1|2]), (215,269,[1_1|2]), (215,284,[1_1|2]), (215,289,[1_1|2]), (215,303,[1_1|2]), (216,217,[1_1|2]), (217,218,[2_1|2]), (218,219,[0_1|2]), (219,220,[4_1|2]), (220,71,[0_1|2]), (220,72,[0_1|2]), (220,75,[0_1|2]), (220,79,[0_1|2]), (220,83,[0_1|2]), (220,87,[0_1|2]), (220,119,[0_1|2]), (220,124,[0_1|2]), (220,129,[0_1|2]), (220,134,[0_1|2]), (220,139,[0_1|2]), (220,184,[0_1|2]), (220,189,[0_1|2]), (220,211,[0_1|2]), (220,226,[0_1|2]), (220,240,[0_1|2]), (220,245,[0_1|2]), (220,250,[0_1|2]), (220,259,[0_1|2]), (220,269,[0_1|2]), (220,284,[0_1|2]), (220,289,[0_1|2]), (220,91,[1_1|2]), (220,95,[1_1|2]), (220,99,[1_1|2]), (220,103,[1_1|2]), (220,107,[4_1|2]), (220,111,[5_1|2]), (220,115,[5_1|2]), (220,144,[1_1|2]), (220,149,[1_1|2]), (220,154,[1_1|2]), (220,159,[3_1|2]), (220,164,[4_1|2]), (220,169,[5_1|2]), (220,174,[1_1|2]), (220,179,[1_1|2]), (220,194,[3_1|2]), (220,199,[1_1|2]), (220,203,[3_1|2]), (220,207,[4_1|2]), (220,216,[1_1|2]), (220,221,[3_1|2]), (220,231,[1_1|2]), (220,236,[1_1|2]), (220,294,[1_1|2]), (220,254,[1_1|2]), (220,299,[1_1|2]), (220,264,[1_1|2]), (220,312,[0_1|3]), (220,315,[0_1|3]), (220,319,[0_1|3]), (220,323,[0_1|3]), (220,327,[0_1|3]), (220,331,[1_1|3]), (220,335,[1_1|3]), (220,339,[1_1|3]), (220,343,[1_1|3]), (220,347,[4_1|3]), (220,351,[5_1|3]), (220,355,[5_1|3]), (220,359,[0_1|3]), (220,364,[0_1|3]), (220,369,[0_1|3]), (220,374,[0_1|3]), (220,379,[0_1|3]), (220,384,[1_1|3]), (220,389,[1_1|3]), (220,394,[1_1|3]), (220,399,[3_1|3]), (220,404,[4_1|3]), (220,409,[5_1|3]), (220,414,[0_1|3]), (220,419,[0_1|3]), (220,424,[0_1|3]), (220,428,[1_1|3]), (220,433,[1_1|3]), (220,438,[1_1|3]), (220,443,[0_1|3]), (220,448,[0_1|3]), (220,303,[0_1|2]), (221,222,[0_1|2]), (222,223,[2_1|2]), (223,224,[1_1|2]), (224,225,[0_1|2]), (225,71,[4_1|2]), (225,72,[4_1|2]), (225,75,[4_1|2]), (225,79,[4_1|2]), (225,83,[4_1|2]), (225,87,[4_1|2]), (225,119,[4_1|2]), (225,124,[4_1|2]), (225,129,[4_1|2]), (225,134,[4_1|2]), (225,139,[4_1|2]), (225,184,[4_1|2]), (225,189,[4_1|2]), (225,211,[4_1|2]), (225,226,[4_1|2]), (225,240,[4_1|2]), (225,245,[4_1|2]), (225,250,[4_1|2]), (225,259,[4_1|2]), (225,269,[4_1|2]), (225,284,[4_1|2]), (225,289,[4_1|2]), (225,303,[4_1|2]), (226,227,[0_1|2]), (227,228,[5_1|2]), (228,229,[4_1|2]), (229,230,[2_1|2]), (230,71,[1_1|2]), (230,72,[1_1|2]), (230,75,[1_1|2]), (230,79,[1_1|2]), (230,83,[1_1|2]), (230,87,[1_1|2]), (230,119,[1_1|2]), (230,124,[1_1|2]), (230,129,[1_1|2]), (230,134,[1_1|2]), (230,139,[1_1|2]), (230,184,[1_1|2]), (230,189,[1_1|2]), (230,211,[1_1|2]), (230,226,[1_1|2]), (230,240,[1_1|2]), (230,245,[1_1|2]), (230,250,[1_1|2]), (230,259,[1_1|2]), (230,269,[1_1|2]), (230,284,[1_1|2]), (230,289,[1_1|2]), (230,108,[1_1|2]), (230,303,[1_1|2]), (231,232,[0_1|2]), (232,233,[2_1|2]), (233,234,[0_1|2]), (234,235,[5_1|2]), (235,71,[4_1|2]), (235,72,[4_1|2]), (235,75,[4_1|2]), (235,79,[4_1|2]), (235,83,[4_1|2]), (235,87,[4_1|2]), (235,119,[4_1|2]), (235,124,[4_1|2]), (235,129,[4_1|2]), (235,134,[4_1|2]), (235,139,[4_1|2]), (235,184,[4_1|2]), (235,189,[4_1|2]), (235,211,[4_1|2]), (235,226,[4_1|2]), (235,240,[4_1|2]), (235,245,[4_1|2]), (235,250,[4_1|2]), (235,259,[4_1|2]), (235,269,[4_1|2]), (235,284,[4_1|2]), (235,289,[4_1|2]), (235,112,[4_1|2]), (235,303,[4_1|2]), (236,237,[0_1|2]), (237,238,[3_1|2]), (238,239,[0_1|2]), (239,71,[2_1|2]), (239,72,[2_1|2]), (239,75,[2_1|2]), (239,79,[2_1|2]), (239,83,[2_1|2]), (239,87,[2_1|2]), (239,119,[2_1|2]), (239,124,[2_1|2]), (239,129,[2_1|2]), (239,134,[2_1|2]), (239,139,[2_1|2]), (239,184,[2_1|2]), (239,189,[2_1|2]), (239,211,[2_1|2]), (239,226,[2_1|2]), (239,240,[2_1|2]), (239,245,[2_1|2]), (239,250,[2_1|2]), (239,259,[2_1|2]), (239,269,[2_1|2]), (239,284,[2_1|2]), (239,289,[2_1|2]), (239,160,[2_1|2]), (239,204,[2_1|2]), (239,222,[2_1|2]), (239,303,[2_1|2]), (240,241,[3_1|2]), (241,242,[4_1|2]), (242,243,[2_1|2]), (243,244,[1_1|2]), (244,71,[0_1|2]), (244,72,[0_1|2]), (244,75,[0_1|2]), (244,79,[0_1|2]), (244,83,[0_1|2]), (244,87,[0_1|2]), (244,119,[0_1|2]), (244,124,[0_1|2]), (244,129,[0_1|2]), (244,134,[0_1|2]), (244,139,[0_1|2]), (244,184,[0_1|2]), (244,189,[0_1|2]), (244,211,[0_1|2]), (244,226,[0_1|2]), (244,240,[0_1|2]), (244,245,[0_1|2]), (244,250,[0_1|2]), (244,259,[0_1|2]), (244,269,[0_1|2]), (244,284,[0_1|2]), (244,289,[0_1|2]), (244,108,[0_1|2]), (244,105,[0_1|2]), (244,276,[0_1|2]), (244,91,[1_1|2]), (244,95,[1_1|2]), (244,99,[1_1|2]), (244,103,[1_1|2]), (244,107,[4_1|2]), (244,111,[5_1|2]), (244,115,[5_1|2]), (244,144,[1_1|2]), (244,149,[1_1|2]), (244,154,[1_1|2]), (244,159,[3_1|2]), (244,164,[4_1|2]), (244,169,[5_1|2]), (244,174,[1_1|2]), (244,179,[1_1|2]), (244,194,[3_1|2]), (244,199,[1_1|2]), (244,203,[3_1|2]), (244,207,[4_1|2]), (244,216,[1_1|2]), (244,221,[3_1|2]), (244,231,[1_1|2]), (244,236,[1_1|2]), (244,294,[1_1|2]), (244,254,[1_1|2]), (244,299,[1_1|2]), (244,264,[1_1|2]), (244,312,[0_1|3]), (244,315,[0_1|3]), (244,319,[0_1|3]), (244,323,[0_1|3]), (244,327,[0_1|3]), (244,331,[1_1|3]), (244,335,[1_1|3]), (244,339,[1_1|3]), (244,343,[1_1|3]), (244,347,[4_1|3]), (244,351,[5_1|3]), (244,355,[5_1|3]), (244,359,[0_1|3]), (244,364,[0_1|3]), (244,369,[0_1|3]), (244,374,[0_1|3]), (244,379,[0_1|3]), (244,384,[1_1|3]), (244,389,[1_1|3]), (244,394,[1_1|3]), (244,399,[3_1|3]), (244,404,[4_1|3]), (244,409,[5_1|3]), (244,414,[0_1|3]), (244,419,[0_1|3]), (244,424,[0_1|3]), (244,428,[1_1|3]), (244,433,[1_1|3]), (244,438,[1_1|3]), (244,443,[0_1|3]), (244,448,[0_1|3]), (244,303,[0_1|2]), (245,246,[0_1|2]), (246,247,[0_1|2]), (247,248,[4_1|2]), (248,249,[1_1|2]), (249,71,[0_1|2]), (249,72,[0_1|2]), (249,75,[0_1|2]), (249,79,[0_1|2]), (249,83,[0_1|2]), (249,87,[0_1|2]), (249,119,[0_1|2]), (249,124,[0_1|2]), (249,129,[0_1|2]), (249,134,[0_1|2]), (249,139,[0_1|2]), (249,184,[0_1|2]), (249,189,[0_1|2]), (249,211,[0_1|2]), (249,226,[0_1|2]), (249,240,[0_1|2]), (249,245,[0_1|2]), (249,250,[0_1|2]), (249,259,[0_1|2]), (249,269,[0_1|2]), (249,284,[0_1|2]), (249,289,[0_1|2]), (249,76,[0_1|2]), (249,80,[0_1|2]), (249,185,[0_1|2]), (249,212,[0_1|2]), (249,227,[0_1|2]), (249,246,[0_1|2]), (249,285,[0_1|2]), (249,109,[0_1|2]), (249,277,[0_1|2]), (249,91,[1_1|2]), (249,95,[1_1|2]), (249,99,[1_1|2]), (249,103,[1_1|2]), (249,107,[4_1|2]), (249,111,[5_1|2]), (249,115,[5_1|2]), (249,144,[1_1|2]), (249,149,[1_1|2]), (249,154,[1_1|2]), (249,159,[3_1|2]), (249,164,[4_1|2]), (249,169,[5_1|2]), (249,174,[1_1|2]), (249,179,[1_1|2]), (249,194,[3_1|2]), (249,199,[1_1|2]), (249,203,[3_1|2]), (249,207,[4_1|2]), (249,216,[1_1|2]), (249,221,[3_1|2]), (249,231,[1_1|2]), (249,236,[1_1|2]), (249,294,[1_1|2]), (249,254,[1_1|2]), (249,299,[1_1|2]), (249,264,[1_1|2]), (249,312,[0_1|3]), (249,315,[0_1|3]), (249,319,[0_1|3]), (249,323,[0_1|3]), (249,327,[0_1|3]), (249,331,[1_1|3]), (249,335,[1_1|3]), (249,339,[1_1|3]), (249,343,[1_1|3]), (249,347,[4_1|3]), (249,351,[5_1|3]), (249,355,[5_1|3]), (249,359,[0_1|3]), (249,364,[0_1|3]), (249,369,[0_1|3]), (249,374,[0_1|3]), (249,379,[0_1|3]), (249,384,[1_1|3]), (249,389,[1_1|3]), (249,394,[1_1|3]), (249,399,[3_1|3]), (249,404,[4_1|3]), (249,409,[5_1|3]), (249,414,[0_1|3]), (249,419,[0_1|3]), (249,424,[0_1|3]), (249,428,[1_1|3]), (249,433,[1_1|3]), (249,438,[1_1|3]), (249,443,[0_1|3]), (249,448,[0_1|3]), (249,303,[0_1|2]), (250,251,[5_1|2]), (251,252,[1_1|2]), (252,253,[4_1|2]), (253,71,[0_1|2]), (253,72,[0_1|2]), (253,75,[0_1|2]), (253,79,[0_1|2]), (253,83,[0_1|2]), (253,87,[0_1|2]), (253,119,[0_1|2]), (253,124,[0_1|2]), (253,129,[0_1|2]), (253,134,[0_1|2]), (253,139,[0_1|2]), (253,184,[0_1|2]), (253,189,[0_1|2]), (253,211,[0_1|2]), (253,226,[0_1|2]), (253,240,[0_1|2]), (253,245,[0_1|2]), (253,250,[0_1|2]), (253,259,[0_1|2]), (253,269,[0_1|2]), (253,284,[0_1|2]), (253,289,[0_1|2]), (253,112,[0_1|2]), (253,156,[0_1|2]), (253,91,[1_1|2]), (253,95,[1_1|2]), (253,99,[1_1|2]), (253,103,[1_1|2]), (253,107,[4_1|2]), (253,111,[5_1|2]), (253,115,[5_1|2]), (253,144,[1_1|2]), (253,149,[1_1|2]), (253,154,[1_1|2]), (253,159,[3_1|2]), (253,164,[4_1|2]), (253,169,[5_1|2]), (253,174,[1_1|2]), (253,179,[1_1|2]), (253,194,[3_1|2]), (253,199,[1_1|2]), (253,203,[3_1|2]), (253,207,[4_1|2]), (253,216,[1_1|2]), (253,221,[3_1|2]), (253,231,[1_1|2]), (253,236,[1_1|2]), (253,294,[1_1|2]), (253,254,[1_1|2]), (253,299,[1_1|2]), (253,264,[1_1|2]), (253,312,[0_1|3]), (253,315,[0_1|3]), (253,319,[0_1|3]), (253,323,[0_1|3]), (253,327,[0_1|3]), (253,331,[1_1|3]), (253,335,[1_1|3]), (253,339,[1_1|3]), (253,343,[1_1|3]), (253,347,[4_1|3]), (253,351,[5_1|3]), (253,355,[5_1|3]), (253,359,[0_1|3]), (253,364,[0_1|3]), (253,369,[0_1|3]), (253,374,[0_1|3]), (253,379,[0_1|3]), (253,384,[1_1|3]), (253,389,[1_1|3]), (253,394,[1_1|3]), (253,399,[3_1|3]), (253,404,[4_1|3]), (253,409,[5_1|3]), (253,414,[0_1|3]), (253,419,[0_1|3]), (253,424,[0_1|3]), (253,428,[1_1|3]), (253,433,[1_1|3]), (253,438,[1_1|3]), (253,443,[0_1|3]), (253,448,[0_1|3]), (253,303,[0_1|2]), (253,296,[0_1|2]), (254,255,[5_1|2]), (255,256,[3_1|2]), (256,257,[0_1|2]), (257,258,[2_1|2]), (258,71,[0_1|2]), (258,72,[0_1|2]), (258,75,[0_1|2]), (258,79,[0_1|2]), (258,83,[0_1|2]), (258,87,[0_1|2]), (258,119,[0_1|2]), (258,124,[0_1|2]), (258,129,[0_1|2]), (258,134,[0_1|2]), (258,139,[0_1|2]), (258,184,[0_1|2]), (258,189,[0_1|2]), (258,211,[0_1|2]), (258,226,[0_1|2]), (258,240,[0_1|2]), (258,245,[0_1|2]), (258,250,[0_1|2]), (258,259,[0_1|2]), (258,269,[0_1|2]), (258,284,[0_1|2]), (258,289,[0_1|2]), (258,112,[0_1|2]), (258,156,[0_1|2]), (258,91,[1_1|2]), (258,95,[1_1|2]), (258,99,[1_1|2]), (258,103,[1_1|2]), (258,107,[4_1|2]), (258,111,[5_1|2]), (258,115,[5_1|2]), (258,144,[1_1|2]), (258,149,[1_1|2]), (258,154,[1_1|2]), (258,159,[3_1|2]), (258,164,[4_1|2]), (258,169,[5_1|2]), (258,174,[1_1|2]), (258,179,[1_1|2]), (258,194,[3_1|2]), (258,199,[1_1|2]), (258,203,[3_1|2]), (258,207,[4_1|2]), (258,216,[1_1|2]), (258,221,[3_1|2]), (258,231,[1_1|2]), (258,236,[1_1|2]), (258,294,[1_1|2]), (258,254,[1_1|2]), (258,299,[1_1|2]), (258,264,[1_1|2]), (258,312,[0_1|3]), (258,315,[0_1|3]), (258,319,[0_1|3]), (258,323,[0_1|3]), (258,327,[0_1|3]), (258,331,[1_1|3]), (258,335,[1_1|3]), (258,339,[1_1|3]), (258,343,[1_1|3]), (258,347,[4_1|3]), (258,351,[5_1|3]), (258,355,[5_1|3]), (258,359,[0_1|3]), (258,364,[0_1|3]), (258,369,[0_1|3]), (258,374,[0_1|3]), (258,379,[0_1|3]), (258,384,[1_1|3]), (258,389,[1_1|3]), (258,394,[1_1|3]), (258,399,[3_1|3]), (258,404,[4_1|3]), (258,409,[5_1|3]), (258,414,[0_1|3]), (258,419,[0_1|3]), (258,424,[0_1|3]), (258,428,[1_1|3]), (258,433,[1_1|3]), (258,438,[1_1|3]), (258,443,[0_1|3]), (258,448,[0_1|3]), (258,303,[0_1|2]), (258,296,[0_1|2]), (259,260,[1_1|2]), (260,261,[5_1|2]), (261,262,[0_1|2]), (262,263,[0_1|2]), (263,71,[2_1|2]), (263,72,[2_1|2]), (263,75,[2_1|2]), (263,79,[2_1|2]), (263,83,[2_1|2]), (263,87,[2_1|2]), (263,119,[2_1|2]), (263,124,[2_1|2]), (263,129,[2_1|2]), (263,134,[2_1|2]), (263,139,[2_1|2]), (263,184,[2_1|2]), (263,189,[2_1|2]), (263,211,[2_1|2]), (263,226,[2_1|2]), (263,240,[2_1|2]), (263,245,[2_1|2]), (263,250,[2_1|2]), (263,259,[2_1|2]), (263,269,[2_1|2]), (263,284,[2_1|2]), (263,289,[2_1|2]), (263,92,[2_1|2]), (263,96,[2_1|2]), (263,100,[2_1|2]), (263,145,[2_1|2]), (263,150,[2_1|2]), (263,175,[2_1|2]), (263,180,[2_1|2]), (263,232,[2_1|2]), (263,237,[2_1|2]), (263,303,[2_1|2]), (263,300,[2_1|2]), (264,265,[2_1|2]), (265,266,[3_1|2]), (266,267,[0_1|2]), (266,419,[0_1|3]), (266,448,[0_1|3]), (267,268,[5_1|2]), (267,274,[1_1|2]), (267,279,[2_1|2]), (267,284,[0_1|2]), (267,466,[1_1|3]), (267,471,[2_1|3]), (268,71,[0_1|2]), (268,72,[0_1|2]), (268,75,[0_1|2]), (268,79,[0_1|2]), (268,83,[0_1|2]), (268,87,[0_1|2]), (268,119,[0_1|2]), (268,124,[0_1|2]), (268,129,[0_1|2]), (268,134,[0_1|2]), (268,139,[0_1|2]), (268,184,[0_1|2]), (268,189,[0_1|2]), (268,211,[0_1|2]), (268,226,[0_1|2]), (268,240,[0_1|2]), (268,245,[0_1|2]), (268,250,[0_1|2]), (268,259,[0_1|2]), (268,269,[0_1|2]), (268,284,[0_1|2]), (268,289,[0_1|2]), (268,92,[0_1|2]), (268,96,[0_1|2]), (268,100,[0_1|2]), (268,145,[0_1|2]), (268,150,[0_1|2]), (268,175,[0_1|2]), (268,180,[0_1|2]), (268,232,[0_1|2]), (268,237,[0_1|2]), (268,91,[1_1|2]), (268,95,[1_1|2]), (268,99,[1_1|2]), (268,103,[1_1|2]), (268,107,[4_1|2]), (268,111,[5_1|2]), (268,115,[5_1|2]), (268,144,[1_1|2]), (268,149,[1_1|2]), (268,154,[1_1|2]), (268,159,[3_1|2]), (268,164,[4_1|2]), (268,169,[5_1|2]), (268,174,[1_1|2]), (268,179,[1_1|2]), (268,194,[3_1|2]), (268,199,[1_1|2]), (268,203,[3_1|2]), (268,207,[4_1|2]), (268,216,[1_1|2]), (268,221,[3_1|2]), (268,231,[1_1|2]), (268,236,[1_1|2]), (268,294,[1_1|2]), (268,254,[1_1|2]), (268,299,[1_1|2]), (268,264,[1_1|2]), (268,312,[0_1|3]), (268,315,[0_1|3]), (268,319,[0_1|3]), (268,323,[0_1|3]), (268,327,[0_1|3]), (268,331,[1_1|3]), (268,335,[1_1|3]), (268,339,[1_1|3]), (268,343,[1_1|3]), (268,347,[4_1|3]), (268,351,[5_1|3]), (268,355,[5_1|3]), (268,359,[0_1|3]), (268,364,[0_1|3]), (268,369,[0_1|3]), (268,374,[0_1|3]), (268,379,[0_1|3]), (268,384,[1_1|3]), (268,389,[1_1|3]), (268,394,[1_1|3]), (268,399,[3_1|3]), (268,404,[4_1|3]), (268,409,[5_1|3]), (268,414,[0_1|3]), (268,419,[0_1|3]), (268,424,[0_1|3]), (268,428,[1_1|3]), (268,433,[1_1|3]), (268,438,[1_1|3]), (268,443,[0_1|3]), (268,448,[0_1|3]), (268,303,[0_1|2]), (268,300,[0_1|2]), (269,270,[3_1|2]), (270,271,[0_1|2]), (271,272,[0_1|2]), (272,273,[2_1|2]), (273,71,[1_1|2]), (273,72,[1_1|2]), (273,75,[1_1|2]), (273,79,[1_1|2]), (273,83,[1_1|2]), (273,87,[1_1|2]), (273,119,[1_1|2]), (273,124,[1_1|2]), (273,129,[1_1|2]), (273,134,[1_1|2]), (273,139,[1_1|2]), (273,184,[1_1|2]), (273,189,[1_1|2]), (273,211,[1_1|2]), (273,226,[1_1|2]), (273,240,[1_1|2]), (273,245,[1_1|2]), (273,250,[1_1|2]), (273,259,[1_1|2]), (273,269,[1_1|2]), (273,284,[1_1|2]), (273,289,[1_1|2]), (273,92,[1_1|2]), (273,96,[1_1|2]), (273,100,[1_1|2]), (273,145,[1_1|2]), (273,150,[1_1|2]), (273,175,[1_1|2]), (273,180,[1_1|2]), (273,232,[1_1|2]), (273,237,[1_1|2]), (273,303,[1_1|2]), (273,300,[1_1|2]), (274,275,[4_1|2]), (275,276,[0_1|2]), (276,277,[0_1|2]), (277,278,[5_1|2]), (278,71,[1_1|2]), (278,72,[1_1|2]), (278,75,[1_1|2]), (278,79,[1_1|2]), (278,83,[1_1|2]), (278,87,[1_1|2]), (278,119,[1_1|2]), (278,124,[1_1|2]), (278,129,[1_1|2]), (278,134,[1_1|2]), (278,139,[1_1|2]), (278,184,[1_1|2]), (278,189,[1_1|2]), (278,211,[1_1|2]), (278,226,[1_1|2]), (278,240,[1_1|2]), (278,245,[1_1|2]), (278,250,[1_1|2]), (278,259,[1_1|2]), (278,269,[1_1|2]), (278,284,[1_1|2]), (278,289,[1_1|2]), (278,92,[1_1|2]), (278,96,[1_1|2]), (278,100,[1_1|2]), (278,145,[1_1|2]), (278,150,[1_1|2]), (278,175,[1_1|2]), (278,180,[1_1|2]), (278,232,[1_1|2]), (278,237,[1_1|2]), (278,303,[1_1|2]), (278,300,[1_1|2]), (279,280,[1_1|2]), (280,281,[0_1|2]), (281,282,[0_1|2]), (282,283,[4_1|2]), (283,71,[5_1|2]), (283,72,[5_1|2]), (283,75,[5_1|2]), (283,79,[5_1|2]), (283,83,[5_1|2]), (283,87,[5_1|2]), (283,119,[5_1|2]), (283,124,[5_1|2]), (283,129,[5_1|2]), (283,134,[5_1|2]), (283,139,[5_1|2]), (283,184,[5_1|2]), (283,189,[5_1|2]), (283,211,[5_1|2]), (283,226,[5_1|2]), (283,240,[5_1|2]), (283,245,[5_1|2]), (283,250,[5_1|2]), (283,259,[5_1|2]), (283,269,[5_1|2]), (283,284,[5_1|2, 0_1|2]), (283,289,[5_1|2]), (283,92,[5_1|2]), (283,96,[5_1|2]), (283,100,[5_1|2]), (283,145,[5_1|2]), (283,150,[5_1|2]), (283,175,[5_1|2]), (283,180,[5_1|2]), (283,232,[5_1|2]), (283,237,[5_1|2]), (283,274,[1_1|2]), (283,279,[2_1|2]), (283,303,[5_1|2]), (283,300,[5_1|2]), (284,285,[0_1|2]), (285,286,[5_1|2]), (286,287,[2_1|2]), (287,288,[1_1|2]), (288,71,[0_1|2]), (288,72,[0_1|2]), (288,75,[0_1|2]), (288,79,[0_1|2]), (288,83,[0_1|2]), (288,87,[0_1|2]), (288,119,[0_1|2]), (288,124,[0_1|2]), (288,129,[0_1|2]), (288,134,[0_1|2]), (288,139,[0_1|2]), (288,184,[0_1|2]), (288,189,[0_1|2]), (288,211,[0_1|2]), (288,226,[0_1|2]), (288,240,[0_1|2]), (288,245,[0_1|2]), (288,250,[0_1|2]), (288,259,[0_1|2]), (288,269,[0_1|2]), (288,284,[0_1|2]), (288,289,[0_1|2]), (288,91,[1_1|2]), (288,95,[1_1|2]), (288,99,[1_1|2]), (288,103,[1_1|2]), (288,107,[4_1|2]), (288,111,[5_1|2]), (288,115,[5_1|2]), (288,144,[1_1|2]), (288,149,[1_1|2]), (288,154,[1_1|2]), (288,159,[3_1|2]), (288,164,[4_1|2]), (288,169,[5_1|2]), (288,174,[1_1|2]), (288,179,[1_1|2]), (288,194,[3_1|2]), (288,199,[1_1|2]), (288,203,[3_1|2]), (288,207,[4_1|2]), (288,216,[1_1|2]), (288,221,[3_1|2]), (288,231,[1_1|2]), (288,236,[1_1|2]), (288,294,[1_1|2]), (288,254,[1_1|2]), (288,299,[1_1|2]), (288,264,[1_1|2]), (288,312,[0_1|3]), (288,315,[0_1|3]), (288,319,[0_1|3]), (288,323,[0_1|3]), (288,327,[0_1|3]), (288,331,[1_1|3]), (288,335,[1_1|3]), (288,339,[1_1|3]), (288,343,[1_1|3]), (288,347,[4_1|3]), (288,351,[5_1|3]), (288,355,[5_1|3]), (288,359,[0_1|3]), (288,364,[0_1|3]), (288,369,[0_1|3]), (288,374,[0_1|3]), (288,379,[0_1|3]), (288,384,[1_1|3]), (288,389,[1_1|3]), (288,394,[1_1|3]), (288,399,[3_1|3]), (288,404,[4_1|3]), (288,409,[5_1|3]), (288,414,[0_1|3]), (288,419,[0_1|3]), (288,424,[0_1|3]), (288,428,[1_1|3]), (288,433,[1_1|3]), (288,438,[1_1|3]), (288,443,[0_1|3]), (288,448,[0_1|3]), (288,303,[0_1|2]), (289,290,[1_1|2]), (290,291,[3_1|2]), (291,292,[2_1|2]), (292,293,[3_1|2]), (292,289,[0_1|2]), (293,71,[0_1|2]), (293,72,[0_1|2]), (293,75,[0_1|2]), (293,79,[0_1|2]), (293,83,[0_1|2]), (293,87,[0_1|2]), (293,119,[0_1|2]), (293,124,[0_1|2]), (293,129,[0_1|2]), (293,134,[0_1|2]), (293,139,[0_1|2]), (293,184,[0_1|2]), (293,189,[0_1|2]), (293,211,[0_1|2]), (293,226,[0_1|2]), (293,240,[0_1|2]), (293,245,[0_1|2]), (293,250,[0_1|2]), (293,259,[0_1|2]), (293,269,[0_1|2]), (293,284,[0_1|2]), (293,289,[0_1|2]), (293,92,[0_1|2]), (293,96,[0_1|2]), (293,100,[0_1|2]), (293,145,[0_1|2]), (293,150,[0_1|2]), (293,175,[0_1|2]), (293,180,[0_1|2]), (293,232,[0_1|2]), (293,237,[0_1|2]), (293,91,[1_1|2]), (293,95,[1_1|2]), (293,99,[1_1|2]), (293,103,[1_1|2]), (293,107,[4_1|2]), (293,111,[5_1|2]), (293,115,[5_1|2]), (293,144,[1_1|2]), (293,149,[1_1|2]), (293,154,[1_1|2]), (293,159,[3_1|2]), (293,164,[4_1|2]), (293,169,[5_1|2]), (293,174,[1_1|2]), (293,179,[1_1|2]), (293,194,[3_1|2]), (293,199,[1_1|2]), (293,203,[3_1|2]), (293,207,[4_1|2]), (293,216,[1_1|2]), (293,221,[3_1|2]), (293,231,[1_1|2]), (293,236,[1_1|2]), (293,294,[1_1|2]), (293,254,[1_1|2]), (293,299,[1_1|2]), (293,264,[1_1|2]), (293,312,[0_1|3]), (293,315,[0_1|3]), (293,319,[0_1|3]), (293,323,[0_1|3]), (293,327,[0_1|3]), (293,331,[1_1|3]), (293,335,[1_1|3]), (293,339,[1_1|3]), (293,343,[1_1|3]), (293,347,[4_1|3]), (293,351,[5_1|3]), (293,355,[5_1|3]), (293,359,[0_1|3]), (293,364,[0_1|3]), (293,369,[0_1|3]), (293,374,[0_1|3]), (293,379,[0_1|3]), (293,384,[1_1|3]), (293,389,[1_1|3]), (293,394,[1_1|3]), (293,399,[3_1|3]), (293,404,[4_1|3]), (293,409,[5_1|3]), (293,414,[0_1|3]), (293,419,[0_1|3]), (293,424,[0_1|3]), (293,428,[1_1|3]), (293,433,[1_1|3]), (293,438,[1_1|3]), (293,443,[0_1|3]), (293,448,[0_1|3]), (293,303,[0_1|2]), (293,300,[0_1|2]), (294,295,[5_1|2]), (295,296,[0_1|2]), (296,297,[0_1|2]), (297,298,[4_1|2]), (298,72,[2_1|2]), (298,75,[2_1|2]), (298,79,[2_1|2]), (298,83,[2_1|2]), (298,87,[2_1|2]), (298,119,[2_1|2]), (298,124,[2_1|2]), (298,129,[2_1|2]), (298,134,[2_1|2]), (298,139,[2_1|2]), (298,184,[2_1|2]), (298,189,[2_1|2]), (298,211,[2_1|2]), (298,226,[2_1|2]), (298,240,[2_1|2]), (298,245,[2_1|2]), (298,250,[2_1|2]), (298,259,[2_1|2]), (298,269,[2_1|2]), (298,284,[2_1|2]), (298,289,[2_1|2]), (298,112,[2_1|2]), (298,303,[2_1|2]), (299,300,[0_1|2]), (300,301,[0_1|2]), (301,302,[2_1|2]), (302,92,[0_1|2]), (302,96,[0_1|2]), (302,100,[0_1|2]), (302,145,[0_1|2]), (302,150,[0_1|2]), (302,175,[0_1|2]), (302,180,[0_1|2]), (302,232,[0_1|2]), (302,237,[0_1|2]), (302,300,[0_1|2]), (303,304,[5_1|3]), (304,305,[1_1|3]), (305,306,[4_1|3]), (306,262,[0_1|3]), (307,308,[5_1|3]), (308,309,[3_1|3]), (309,310,[0_1|3]), (310,311,[2_1|3]), (311,262,[0_1|3]), (312,313,[2_1|3]), (313,314,[1_1|3]), (314,92,[0_1|3]), (314,96,[0_1|3]), (314,100,[0_1|3]), (314,145,[0_1|3]), (314,150,[0_1|3]), (314,175,[0_1|3]), (314,180,[0_1|3]), (314,232,[0_1|3]), (314,237,[0_1|3]), (314,300,[0_1|3]), (314,332,[0_1|3]), (314,336,[0_1|3]), (314,340,[0_1|3]), (314,385,[0_1|3]), (314,390,[0_1|3]), (314,434,[0_1|3]), (314,439,[0_1|3]), (315,316,[0_1|3]), (316,317,[2_1|3]), (317,318,[1_1|3]), (318,92,[0_1|3]), (318,96,[0_1|3]), (318,100,[0_1|3]), (318,145,[0_1|3]), (318,150,[0_1|3]), (318,175,[0_1|3]), (318,180,[0_1|3]), (318,232,[0_1|3]), (318,237,[0_1|3]), (318,300,[0_1|3]), (318,332,[0_1|3]), (318,336,[0_1|3]), (318,340,[0_1|3]), (318,385,[0_1|3]), (318,390,[0_1|3]), (318,434,[0_1|3]), (318,439,[0_1|3]), (319,320,[0_1|3]), (320,321,[2_1|3]), (321,322,[1_1|3]), (322,92,[2_1|3]), (322,96,[2_1|3]), (322,100,[2_1|3]), (322,145,[2_1|3]), (322,150,[2_1|3]), (322,175,[2_1|3]), (322,180,[2_1|3]), (322,232,[2_1|3]), (322,237,[2_1|3]), (322,300,[2_1|3]), (322,332,[2_1|3]), (322,336,[2_1|3]), (322,340,[2_1|3]), (322,385,[2_1|3]), (322,390,[2_1|3]), (322,434,[2_1|3]), (322,439,[2_1|3]), (323,324,[2_1|3]), (324,325,[1_1|3]), (325,326,[0_1|3]), (326,92,[2_1|3]), (326,96,[2_1|3]), (326,100,[2_1|3]), (326,145,[2_1|3]), (326,150,[2_1|3]), (326,175,[2_1|3]), (326,180,[2_1|3]), (326,232,[2_1|3]), (326,237,[2_1|3]), (326,300,[2_1|3]), (326,332,[2_1|3]), (326,336,[2_1|3]), (326,340,[2_1|3]), (326,385,[2_1|3]), (326,390,[2_1|3]), (326,434,[2_1|3]), (326,439,[2_1|3]), (327,328,[3_1|3]), (328,329,[2_1|3]), (329,330,[1_1|3]), (330,92,[0_1|3]), (330,96,[0_1|3]), (330,100,[0_1|3]), (330,145,[0_1|3]), (330,150,[0_1|3]), (330,175,[0_1|3]), (330,180,[0_1|3]), (330,232,[0_1|3]), (330,237,[0_1|3]), (330,300,[0_1|3]), (330,332,[0_1|3]), (330,336,[0_1|3]), (330,340,[0_1|3]), (330,385,[0_1|3]), (330,390,[0_1|3]), (330,434,[0_1|3]), (330,439,[0_1|3]), (331,332,[0_1|3]), (332,333,[0_1|3]), (333,334,[0_1|3]), (334,92,[2_1|3]), (334,96,[2_1|3]), (334,100,[2_1|3]), (334,145,[2_1|3]), (334,150,[2_1|3]), (334,175,[2_1|3]), (334,180,[2_1|3]), (334,232,[2_1|3]), (334,237,[2_1|3]), (334,300,[2_1|3]), (334,332,[2_1|3]), (334,336,[2_1|3]), (334,340,[2_1|3]), (334,385,[2_1|3]), (334,390,[2_1|3]), (334,434,[2_1|3]), (334,439,[2_1|3]), (335,336,[0_1|3]), (336,337,[0_1|3]), (337,338,[2_1|3]), (338,92,[0_1|3]), (338,96,[0_1|3]), (338,100,[0_1|3]), (338,145,[0_1|3]), (338,150,[0_1|3]), (338,175,[0_1|3]), (338,180,[0_1|3]), (338,232,[0_1|3]), (338,237,[0_1|3]), (338,300,[0_1|3]), (338,332,[0_1|3]), (338,336,[0_1|3]), (338,340,[0_1|3]), (338,385,[0_1|3]), (338,390,[0_1|3]), (338,434,[0_1|3]), (338,439,[0_1|3]), (339,340,[0_1|3]), (340,341,[4_1|3]), (341,342,[2_1|3]), (342,92,[0_1|3]), (342,96,[0_1|3]), (342,100,[0_1|3]), (342,145,[0_1|3]), (342,150,[0_1|3]), (342,175,[0_1|3]), (342,180,[0_1|3]), (342,232,[0_1|3]), (342,237,[0_1|3]), (342,300,[0_1|3]), (342,332,[0_1|3]), (342,336,[0_1|3]), (342,340,[0_1|3]), (342,385,[0_1|3]), (342,390,[0_1|3]), (342,434,[0_1|3]), (342,439,[0_1|3]), (343,344,[4_1|3]), (344,345,[0_1|3]), (345,346,[4_1|3]), (346,92,[0_1|3]), (346,96,[0_1|3]), (346,100,[0_1|3]), (346,145,[0_1|3]), (346,150,[0_1|3]), (346,175,[0_1|3]), (346,180,[0_1|3]), (346,232,[0_1|3]), (346,237,[0_1|3]), (346,300,[0_1|3]), (346,332,[0_1|3]), (346,336,[0_1|3]), (346,340,[0_1|3]), (346,385,[0_1|3]), (346,390,[0_1|3]), (346,434,[0_1|3]), (346,439,[0_1|3]), (347,348,[0_1|3]), (348,349,[0_1|3]), (349,350,[2_1|3]), (350,92,[1_1|3]), (350,96,[1_1|3]), (350,100,[1_1|3]), (350,145,[1_1|3]), (350,150,[1_1|3]), (350,175,[1_1|3]), (350,180,[1_1|3]), (350,232,[1_1|3]), (350,237,[1_1|3]), (350,300,[1_1|3]), (350,332,[1_1|3]), (350,336,[1_1|3]), (350,340,[1_1|3]), (350,385,[1_1|3]), (350,390,[1_1|3]), (350,434,[1_1|3]), (350,439,[1_1|3]), (351,352,[0_1|3]), (352,353,[0_1|3]), (353,354,[4_1|3]), (354,92,[1_1|3]), (354,96,[1_1|3]), (354,100,[1_1|3]), (354,145,[1_1|3]), (354,150,[1_1|3]), (354,175,[1_1|3]), (354,180,[1_1|3]), (354,232,[1_1|3]), (354,237,[1_1|3]), (354,300,[1_1|3]), (354,332,[1_1|3]), (354,336,[1_1|3]), (354,340,[1_1|3]), (354,385,[1_1|3]), (354,390,[1_1|3]), (354,434,[1_1|3]), (354,439,[1_1|3]), (355,356,[1_1|3]), (356,357,[0_1|3]), (357,358,[4_1|3]), (358,92,[0_1|3]), (358,96,[0_1|3]), (358,100,[0_1|3]), (358,145,[0_1|3]), (358,150,[0_1|3]), (358,175,[0_1|3]), (358,180,[0_1|3]), (358,232,[0_1|3]), (358,237,[0_1|3]), (358,300,[0_1|3]), (358,332,[0_1|3]), (358,336,[0_1|3]), (358,340,[0_1|3]), (358,385,[0_1|3]), (358,390,[0_1|3]), (358,434,[0_1|3]), (358,439,[0_1|3]), (359,360,[2_1|3]), (360,361,[1_1|3]), (361,362,[0_1|3]), (362,363,[3_1|3]), (363,92,[2_1|3]), (363,96,[2_1|3]), (363,100,[2_1|3]), (363,145,[2_1|3]), (363,150,[2_1|3]), (363,175,[2_1|3]), (363,180,[2_1|3]), (363,232,[2_1|3]), (363,237,[2_1|3]), (363,300,[2_1|3]), (363,332,[2_1|3]), (363,336,[2_1|3]), (363,340,[2_1|3]), (363,385,[2_1|3]), (363,390,[2_1|3]), (363,434,[2_1|3]), (363,439,[2_1|3]), (364,365,[4_1|3]), (365,366,[0_1|3]), (366,367,[4_1|3]), (367,368,[1_1|3]), (368,92,[3_1|3]), (368,96,[3_1|3]), (368,100,[3_1|3]), (368,145,[3_1|3]), (368,150,[3_1|3]), (368,175,[3_1|3]), (368,180,[3_1|3]), (368,232,[3_1|3]), (368,237,[3_1|3]), (368,300,[3_1|3]), (368,332,[3_1|3]), (368,336,[3_1|3]), (368,340,[3_1|3]), (368,385,[3_1|3]), (368,390,[3_1|3]), (368,434,[3_1|3]), (368,439,[3_1|3]), (369,370,[4_1|3]), (370,371,[2_1|3]), (371,372,[2_1|3]), (372,373,[1_1|3]), (373,92,[0_1|3]), (373,96,[0_1|3]), (373,100,[0_1|3]), (373,145,[0_1|3]), (373,150,[0_1|3]), (373,175,[0_1|3]), (373,180,[0_1|3]), (373,232,[0_1|3]), (373,237,[0_1|3]), (373,300,[0_1|3]), (373,332,[0_1|3]), (373,336,[0_1|3]), (373,340,[0_1|3]), (373,385,[0_1|3]), (373,390,[0_1|3]), (373,434,[0_1|3]), (373,439,[0_1|3]), (374,375,[5_1|3]), (375,376,[2_1|3]), (376,377,[1_1|3]), (377,378,[2_1|3]), (378,92,[0_1|3]), (378,96,[0_1|3]), (378,100,[0_1|3]), (378,145,[0_1|3]), (378,150,[0_1|3]), (378,175,[0_1|3]), (378,180,[0_1|3]), (378,232,[0_1|3]), (378,237,[0_1|3]), (378,300,[0_1|3]), (378,332,[0_1|3]), (378,336,[0_1|3]), (378,340,[0_1|3]), (378,385,[0_1|3]), (378,390,[0_1|3]), (378,434,[0_1|3]), (378,439,[0_1|3]), (379,380,[5_1|3]), (380,381,[2_1|3]), (381,382,[5_1|3]), (382,383,[1_1|3]), (383,92,[0_1|3]), (383,96,[0_1|3]), (383,100,[0_1|3]), (383,145,[0_1|3]), (383,150,[0_1|3]), (383,175,[0_1|3]), (383,180,[0_1|3]), (383,232,[0_1|3]), (383,237,[0_1|3]), (383,300,[0_1|3]), (383,332,[0_1|3]), (383,336,[0_1|3]), (383,340,[0_1|3]), (383,385,[0_1|3]), (383,390,[0_1|3]), (383,434,[0_1|3]), (383,439,[0_1|3]), (384,385,[0_1|3]), (385,386,[0_1|3]), (386,387,[5_1|3]), (387,388,[4_1|3]), (388,92,[4_1|3]), (388,96,[4_1|3]), (388,100,[4_1|3]), (388,145,[4_1|3]), (388,150,[4_1|3]), (388,175,[4_1|3]), (388,180,[4_1|3]), (388,232,[4_1|3]), (388,237,[4_1|3]), (388,300,[4_1|3]), (388,332,[4_1|3]), (388,336,[4_1|3]), (388,340,[4_1|3]), (388,385,[4_1|3]), (388,390,[4_1|3]), (388,434,[4_1|3]), (388,439,[4_1|3]), (389,390,[0_1|3]), (390,391,[4_1|3]), (391,392,[4_1|3]), (392,393,[4_1|3]), (393,92,[0_1|3]), (393,96,[0_1|3]), (393,100,[0_1|3]), (393,145,[0_1|3]), (393,150,[0_1|3]), (393,175,[0_1|3]), (393,180,[0_1|3]), (393,232,[0_1|3]), (393,237,[0_1|3]), (393,300,[0_1|3]), (393,332,[0_1|3]), (393,336,[0_1|3]), (393,340,[0_1|3]), (393,385,[0_1|3]), (393,390,[0_1|3]), (393,434,[0_1|3]), (393,439,[0_1|3]), (394,395,[5_1|3]), (395,396,[0_1|3]), (396,397,[0_1|3]), (397,398,[4_1|3]), (398,92,[2_1|3]), (398,96,[2_1|3]), (398,100,[2_1|3]), (398,145,[2_1|3]), (398,150,[2_1|3]), (398,175,[2_1|3]), (398,180,[2_1|3]), (398,232,[2_1|3]), (398,237,[2_1|3]), (398,300,[2_1|3]), (398,332,[2_1|3]), (398,336,[2_1|3]), (398,340,[2_1|3]), (398,385,[2_1|3]), (398,390,[2_1|3]), (398,434,[2_1|3]), (398,439,[2_1|3]), (399,400,[0_1|3]), (400,401,[0_1|3]), (401,402,[4_1|3]), (402,403,[1_1|3]), (403,92,[4_1|3]), (403,96,[4_1|3]), (403,100,[4_1|3]), (403,145,[4_1|3]), (403,150,[4_1|3]), (403,175,[4_1|3]), (403,180,[4_1|3]), (403,232,[4_1|3]), (403,237,[4_1|3]), (403,300,[4_1|3]), (403,332,[4_1|3]), (403,336,[4_1|3]), (403,340,[4_1|3]), (403,385,[4_1|3]), (403,390,[4_1|3]), (403,434,[4_1|3]), (403,439,[4_1|3]), (404,405,[5_1|3]), (405,406,[1_1|3]), (406,407,[0_1|3]), (407,408,[2_1|3]), (408,92,[0_1|3]), (408,96,[0_1|3]), (408,100,[0_1|3]), (408,145,[0_1|3]), (408,150,[0_1|3]), (408,175,[0_1|3]), (408,180,[0_1|3]), (408,232,[0_1|3]), (408,237,[0_1|3]), (408,300,[0_1|3]), (408,332,[0_1|3]), (408,336,[0_1|3]), (408,340,[0_1|3]), (408,385,[0_1|3]), (408,390,[0_1|3]), (408,434,[0_1|3]), (408,439,[0_1|3]), (409,410,[5_1|3]), (410,411,[1_1|3]), (411,412,[0_1|3]), (412,413,[0_1|3]), (413,92,[2_1|3]), (413,96,[2_1|3]), (413,100,[2_1|3]), (413,145,[2_1|3]), (413,150,[2_1|3]), (413,175,[2_1|3]), (413,180,[2_1|3]), (413,232,[2_1|3]), (413,237,[2_1|3]), (413,300,[2_1|3]), (413,332,[2_1|3]), (413,336,[2_1|3]), (413,340,[2_1|3]), (413,385,[2_1|3]), (413,390,[2_1|3]), (413,434,[2_1|3]), (413,439,[2_1|3]), (414,415,[0_1|3]), (415,416,[5_1|3]), (416,417,[1_1|3]), (417,418,[0_1|3]), (418,94,[0_1|3]), (418,334,[0_1|3]), (419,420,[3_1|3]), (420,421,[4_1|3]), (421,422,[2_1|3]), (422,423,[1_1|3]), (423,105,[0_1|3]), (423,276,[0_1|3]), (423,345,[0_1|3]), (423,468,[0_1|3]), (424,425,[5_1|3]), (425,426,[1_1|3]), (426,427,[4_1|3]), (427,156,[0_1|3]), (427,296,[0_1|3]), (427,262,[0_1|3]), (427,396,[0_1|3]), (428,429,[5_1|3]), (429,430,[3_1|3]), (430,431,[0_1|3]), (431,432,[2_1|3]), (432,156,[0_1|3]), (432,296,[0_1|3]), (432,262,[0_1|3]), (432,396,[0_1|3]), (433,434,[0_1|3]), (434,435,[3_1|3]), (435,436,[3_1|3]), (436,437,[0_1|3]), (437,176,[2_1|3]), (437,238,[2_1|3]), (437,435,[2_1|3]), (438,439,[0_1|3]), (439,440,[5_1|3]), (440,441,[3_1|3]), (441,442,[2_1|3]), (442,176,[0_1|3]), (442,238,[0_1|3]), (442,435,[0_1|3]), (443,444,[4_1|3]), (444,445,[4_1|3]), (445,446,[1_1|3]), (446,447,[1_1|3]), (447,201,[0_1|3]), (448,449,[0_1|3]), (449,450,[0_1|3]), (450,451,[4_1|3]), (451,452,[1_1|3]), (452,277,[0_1|3]), (452,469,[0_1|3]), (453,454,[0_1|2]), (454,455,[0_1|2]), (455,456,[2_1|2]), (456,71,[0_1|2]), (456,72,[0_1|2]), (456,75,[0_1|2]), (456,79,[0_1|2]), (456,83,[0_1|2]), (456,87,[0_1|2]), (456,119,[0_1|2]), (456,124,[0_1|2]), (456,129,[0_1|2]), (456,134,[0_1|2]), (456,139,[0_1|2]), (456,184,[0_1|2]), (456,189,[0_1|2]), (456,211,[0_1|2]), (456,226,[0_1|2]), (456,240,[0_1|2]), (456,245,[0_1|2]), (456,250,[0_1|2]), (456,259,[0_1|2]), (456,269,[0_1|2]), (456,284,[0_1|2]), (456,289,[0_1|2]), (456,303,[0_1|2]), (456,91,[1_1|2]), (456,95,[1_1|2]), (456,99,[1_1|2]), (456,103,[1_1|2]), (456,107,[4_1|2]), (456,111,[5_1|2]), (456,115,[5_1|2]), (456,144,[1_1|2]), (456,149,[1_1|2]), (456,154,[1_1|2]), (456,159,[3_1|2]), (456,164,[4_1|2]), (456,169,[5_1|2]), (456,174,[1_1|2]), (456,179,[1_1|2]), (456,194,[3_1|2]), (456,199,[1_1|2]), (456,203,[3_1|2]), (456,207,[4_1|2]), (456,216,[1_1|2]), (456,221,[3_1|2]), (456,231,[1_1|2]), (456,236,[1_1|2]), (456,294,[1_1|2]), (456,254,[1_1|2]), (456,299,[1_1|2]), (456,264,[1_1|2]), (456,312,[0_1|3]), (456,315,[0_1|3]), (456,319,[0_1|3]), (456,323,[0_1|3]), (456,327,[0_1|3]), (456,331,[1_1|3]), (456,335,[1_1|3]), (456,339,[1_1|3]), (456,343,[1_1|3]), (456,347,[4_1|3]), (456,351,[5_1|3]), (456,355,[5_1|3]), (456,359,[0_1|3]), (456,364,[0_1|3]), (456,369,[0_1|3]), (456,374,[0_1|3]), (456,379,[0_1|3]), (456,384,[1_1|3]), (456,389,[1_1|3]), (456,394,[1_1|3]), (456,399,[3_1|3]), (456,404,[4_1|3]), (456,409,[5_1|3]), (456,414,[0_1|3]), (456,419,[0_1|3]), (456,424,[0_1|3]), (456,428,[1_1|3]), (456,433,[1_1|3]), (456,438,[1_1|3]), (456,443,[0_1|3]), (456,448,[0_1|3]), (457,458,[0_1|3]), (458,459,[0_1|3]), (459,460,[2_1|3]), (460,92,[0_1|3]), (460,96,[0_1|3]), (460,100,[0_1|3]), (460,145,[0_1|3]), (460,150,[0_1|3]), (460,175,[0_1|3]), (460,180,[0_1|3]), (460,232,[0_1|3]), (460,237,[0_1|3]), (460,300,[0_1|3]), (461,462,[1_1|3]), (462,463,[5_1|3]), (463,464,[0_1|3]), (464,465,[0_1|3]), (465,92,[2_1|3]), (465,96,[2_1|3]), (465,100,[2_1|3]), (465,145,[2_1|3]), (465,150,[2_1|3]), (465,175,[2_1|3]), (465,180,[2_1|3]), (465,232,[2_1|3]), (465,237,[2_1|3]), (465,300,[2_1|3]), (466,467,[4_1|3]), (467,468,[0_1|3]), (468,469,[0_1|3]), (469,470,[5_1|3]), (470,92,[1_1|3]), (470,96,[1_1|3]), (470,100,[1_1|3]), (470,145,[1_1|3]), (470,150,[1_1|3]), (470,175,[1_1|3]), (470,180,[1_1|3]), (470,232,[1_1|3]), (470,237,[1_1|3]), (470,300,[1_1|3]), (471,472,[1_1|3]), (472,473,[0_1|3]), (473,474,[0_1|3]), (474,475,[4_1|3]), (475,92,[5_1|3]), (475,96,[5_1|3]), (475,100,[5_1|3]), (475,145,[5_1|3]), (475,150,[5_1|3]), (475,175,[5_1|3]), (475,180,[5_1|3]), (475,232,[5_1|3]), (475,237,[5_1|3]), (475,300,[5_1|3]), (476,477,[5_1|4]), (477,478,[1_1|4]), (478,479,[4_1|4]), (479,464,[0_1|4]), (480,481,[5_1|4]), (481,482,[3_1|4]), (482,483,[0_1|4]), (483,484,[2_1|4]), (484,464,[0_1|4])}" ---------------------------------------- (8) BOUNDS(1, n^1)