/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), 60 ms] (4) CpxRelTRS (5) RelTrsToTrsProof [UPPER BOUND(ID), 0 ms] (6) CpxTRS (7) CpxTrsMatchBoundsProof [FINISHED, 269 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))) -> 2(0(0(1(x1)))) 0(1(0(x1))) -> 0(1(2(2(0(x1))))) 0(1(0(x1))) -> 2(0(0(3(1(x1))))) 0(1(0(x1))) -> 0(1(2(4(0(3(x1)))))) 0(1(0(x1))) -> 1(2(2(0(0(4(x1)))))) 0(1(0(x1))) -> 1(2(3(4(0(0(x1)))))) 0(1(0(x1))) -> 1(3(2(0(0(0(x1)))))) 0(1(0(x1))) -> 1(3(4(0(2(0(x1)))))) 0(1(0(x1))) -> 1(3(4(4(0(0(x1)))))) 0(1(0(x1))) -> 2(0(0(1(2(2(x1)))))) 0(1(0(x1))) -> 2(0(0(2(0(1(x1)))))) 0(1(0(x1))) -> 2(0(0(3(0(1(x1)))))) 0(1(0(x1))) -> 2(0(2(0(4(1(x1)))))) 0(1(0(x1))) -> 2(1(2(2(0(0(x1)))))) 0(1(0(x1))) -> 2(4(0(4(0(1(x1)))))) 0(1(0(x1))) -> 4(1(2(2(0(0(x1)))))) 0(1(1(0(x1)))) -> 2(2(0(0(1(1(x1)))))) 0(1(5(0(x1)))) -> 0(3(5(1(0(x1))))) 0(1(5(0(x1)))) -> 0(3(3(5(1(0(x1)))))) 0(5(5(0(x1)))) -> 2(2(0(0(5(5(x1)))))) 1(0(1(0(x1)))) -> 1(1(3(5(0(0(x1)))))) 1(3(0(1(x1)))) -> 1(1(0(3(4(1(x1)))))) 1(3(0(1(x1)))) -> 5(1(1(3(4(0(x1)))))) 3(0(1(0(x1)))) -> 0(1(3(2(0(4(x1)))))) 3(0(1(0(x1)))) -> 2(0(4(3(0(1(x1)))))) 3(0(1(0(x1)))) -> 2(2(3(0(0(1(x1)))))) 3(0(1(0(x1)))) -> 3(0(2(2(0(1(x1)))))) 3(1(0(0(x1)))) -> 1(0(3(4(0(x1))))) 3(1(0(0(x1)))) -> 2(0(3(1(0(x1))))) 3(1(0(0(x1)))) -> 3(0(0(5(1(x1))))) 3(1(0(0(x1)))) -> 1(2(0(3(0(2(x1)))))) 3(1(0(0(x1)))) -> 3(1(3(0(2(0(x1)))))) 3(1(5(0(x1)))) -> 1(1(3(5(0(x1))))) 3(1(5(0(x1)))) -> 0(2(5(1(3(5(x1)))))) 3(1(5(0(x1)))) -> 0(3(1(3(4(5(x1)))))) 3(1(5(0(x1)))) -> 1(5(2(3(5(0(x1)))))) 3(1(5(0(x1)))) -> 3(1(4(0(2(5(x1)))))) 3(1(5(0(x1)))) -> 4(0(5(1(3(5(x1)))))) 0(0(2(1(0(x1))))) -> 2(0(0(0(3(1(x1)))))) 0(1(2(0(1(x1))))) -> 0(0(1(3(2(1(x1)))))) 0(1(2(0(1(x1))))) -> 0(2(0(3(1(1(x1)))))) 1(3(0(2(1(x1))))) -> 0(2(1(1(3(2(x1)))))) 1(3(0(2(1(x1))))) -> 0(3(2(2(1(1(x1)))))) 1(3(0(5(5(x1))))) -> 0(5(4(3(5(1(x1)))))) 1(3(1(5(0(x1))))) -> 1(3(1(5(2(0(x1)))))) 3(0(5(0(0(x1))))) -> 3(0(0(3(5(0(x1)))))) 3(0(5(5(0(x1))))) -> 5(0(2(3(5(0(x1)))))) 3(1(4(0(0(x1))))) -> 1(0(0(3(4(0(x1)))))) 3(1(4(5(0(x1))))) -> 0(5(1(3(5(4(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(2(x_1)) -> 2(encArg(x_1)) encArg(4(x_1)) -> 4(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)) 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))) -> 2(0(0(1(x1)))) 0(1(0(x1))) -> 0(1(2(2(0(x1))))) 0(1(0(x1))) -> 2(0(0(3(1(x1))))) 0(1(0(x1))) -> 0(1(2(4(0(3(x1)))))) 0(1(0(x1))) -> 1(2(2(0(0(4(x1)))))) 0(1(0(x1))) -> 1(2(3(4(0(0(x1)))))) 0(1(0(x1))) -> 1(3(2(0(0(0(x1)))))) 0(1(0(x1))) -> 1(3(4(0(2(0(x1)))))) 0(1(0(x1))) -> 1(3(4(4(0(0(x1)))))) 0(1(0(x1))) -> 2(0(0(1(2(2(x1)))))) 0(1(0(x1))) -> 2(0(0(2(0(1(x1)))))) 0(1(0(x1))) -> 2(0(0(3(0(1(x1)))))) 0(1(0(x1))) -> 2(0(2(0(4(1(x1)))))) 0(1(0(x1))) -> 2(1(2(2(0(0(x1)))))) 0(1(0(x1))) -> 2(4(0(4(0(1(x1)))))) 0(1(0(x1))) -> 4(1(2(2(0(0(x1)))))) 0(1(1(0(x1)))) -> 2(2(0(0(1(1(x1)))))) 0(1(5(0(x1)))) -> 0(3(5(1(0(x1))))) 0(1(5(0(x1)))) -> 0(3(3(5(1(0(x1)))))) 0(5(5(0(x1)))) -> 2(2(0(0(5(5(x1)))))) 1(0(1(0(x1)))) -> 1(1(3(5(0(0(x1)))))) 1(3(0(1(x1)))) -> 1(1(0(3(4(1(x1)))))) 1(3(0(1(x1)))) -> 5(1(1(3(4(0(x1)))))) 3(0(1(0(x1)))) -> 0(1(3(2(0(4(x1)))))) 3(0(1(0(x1)))) -> 2(0(4(3(0(1(x1)))))) 3(0(1(0(x1)))) -> 2(2(3(0(0(1(x1)))))) 3(0(1(0(x1)))) -> 3(0(2(2(0(1(x1)))))) 3(1(0(0(x1)))) -> 1(0(3(4(0(x1))))) 3(1(0(0(x1)))) -> 2(0(3(1(0(x1))))) 3(1(0(0(x1)))) -> 3(0(0(5(1(x1))))) 3(1(0(0(x1)))) -> 1(2(0(3(0(2(x1)))))) 3(1(0(0(x1)))) -> 3(1(3(0(2(0(x1)))))) 3(1(5(0(x1)))) -> 1(1(3(5(0(x1))))) 3(1(5(0(x1)))) -> 0(2(5(1(3(5(x1)))))) 3(1(5(0(x1)))) -> 0(3(1(3(4(5(x1)))))) 3(1(5(0(x1)))) -> 1(5(2(3(5(0(x1)))))) 3(1(5(0(x1)))) -> 3(1(4(0(2(5(x1)))))) 3(1(5(0(x1)))) -> 4(0(5(1(3(5(x1)))))) 0(0(2(1(0(x1))))) -> 2(0(0(0(3(1(x1)))))) 0(1(2(0(1(x1))))) -> 0(0(1(3(2(1(x1)))))) 0(1(2(0(1(x1))))) -> 0(2(0(3(1(1(x1)))))) 1(3(0(2(1(x1))))) -> 0(2(1(1(3(2(x1)))))) 1(3(0(2(1(x1))))) -> 0(3(2(2(1(1(x1)))))) 1(3(0(5(5(x1))))) -> 0(5(4(3(5(1(x1)))))) 1(3(1(5(0(x1))))) -> 1(3(1(5(2(0(x1)))))) 3(0(5(0(0(x1))))) -> 3(0(0(3(5(0(x1)))))) 3(0(5(5(0(x1))))) -> 5(0(2(3(5(0(x1)))))) 3(1(4(0(0(x1))))) -> 1(0(0(3(4(0(x1)))))) 3(1(4(5(0(x1))))) -> 0(5(1(3(5(4(x1)))))) The (relative) TRS S consists of the following rules: encArg(2(x_1)) -> 2(encArg(x_1)) encArg(4(x_1)) -> 4(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)) 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))) -> 2(0(0(1(x1)))) 0(1(0(x1))) -> 0(1(2(2(0(x1))))) 0(1(0(x1))) -> 2(0(0(3(1(x1))))) 0(1(0(x1))) -> 0(1(2(4(0(3(x1)))))) 0(1(0(x1))) -> 1(2(2(0(0(4(x1)))))) 0(1(0(x1))) -> 1(2(3(4(0(0(x1)))))) 0(1(0(x1))) -> 1(3(2(0(0(0(x1)))))) 0(1(0(x1))) -> 1(3(4(0(2(0(x1)))))) 0(1(0(x1))) -> 1(3(4(4(0(0(x1)))))) 0(1(0(x1))) -> 2(0(0(1(2(2(x1)))))) 0(1(0(x1))) -> 2(0(0(2(0(1(x1)))))) 0(1(0(x1))) -> 2(0(0(3(0(1(x1)))))) 0(1(0(x1))) -> 2(0(2(0(4(1(x1)))))) 0(1(0(x1))) -> 2(1(2(2(0(0(x1)))))) 0(1(0(x1))) -> 2(4(0(4(0(1(x1)))))) 0(1(0(x1))) -> 4(1(2(2(0(0(x1)))))) 0(1(1(0(x1)))) -> 2(2(0(0(1(1(x1)))))) 0(1(5(0(x1)))) -> 0(3(5(1(0(x1))))) 0(1(5(0(x1)))) -> 0(3(3(5(1(0(x1)))))) 0(5(5(0(x1)))) -> 2(2(0(0(5(5(x1)))))) 1(0(1(0(x1)))) -> 1(1(3(5(0(0(x1)))))) 1(3(0(1(x1)))) -> 1(1(0(3(4(1(x1)))))) 1(3(0(1(x1)))) -> 5(1(1(3(4(0(x1)))))) 3(0(1(0(x1)))) -> 0(1(3(2(0(4(x1)))))) 3(0(1(0(x1)))) -> 2(0(4(3(0(1(x1)))))) 3(0(1(0(x1)))) -> 2(2(3(0(0(1(x1)))))) 3(0(1(0(x1)))) -> 3(0(2(2(0(1(x1)))))) 3(1(0(0(x1)))) -> 1(0(3(4(0(x1))))) 3(1(0(0(x1)))) -> 2(0(3(1(0(x1))))) 3(1(0(0(x1)))) -> 3(0(0(5(1(x1))))) 3(1(0(0(x1)))) -> 1(2(0(3(0(2(x1)))))) 3(1(0(0(x1)))) -> 3(1(3(0(2(0(x1)))))) 3(1(5(0(x1)))) -> 1(1(3(5(0(x1))))) 3(1(5(0(x1)))) -> 0(2(5(1(3(5(x1)))))) 3(1(5(0(x1)))) -> 0(3(1(3(4(5(x1)))))) 3(1(5(0(x1)))) -> 1(5(2(3(5(0(x1)))))) 3(1(5(0(x1)))) -> 3(1(4(0(2(5(x1)))))) 3(1(5(0(x1)))) -> 4(0(5(1(3(5(x1)))))) 0(0(2(1(0(x1))))) -> 2(0(0(0(3(1(x1)))))) 0(1(2(0(1(x1))))) -> 0(0(1(3(2(1(x1)))))) 0(1(2(0(1(x1))))) -> 0(2(0(3(1(1(x1)))))) 1(3(0(2(1(x1))))) -> 0(2(1(1(3(2(x1)))))) 1(3(0(2(1(x1))))) -> 0(3(2(2(1(1(x1)))))) 1(3(0(5(5(x1))))) -> 0(5(4(3(5(1(x1)))))) 1(3(1(5(0(x1))))) -> 1(3(1(5(2(0(x1)))))) 3(0(5(0(0(x1))))) -> 3(0(0(3(5(0(x1)))))) 3(0(5(5(0(x1))))) -> 5(0(2(3(5(0(x1)))))) 3(1(4(0(0(x1))))) -> 1(0(0(3(4(0(x1)))))) 3(1(4(5(0(x1))))) -> 0(5(1(3(5(4(x1)))))) The (relative) TRS S consists of the following rules: encArg(2(x_1)) -> 2(encArg(x_1)) encArg(4(x_1)) -> 4(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)) 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))) -> 2(0(0(1(x1)))) 0(1(0(x1))) -> 0(1(2(2(0(x1))))) 0(1(0(x1))) -> 2(0(0(3(1(x1))))) 0(1(0(x1))) -> 0(1(2(4(0(3(x1)))))) 0(1(0(x1))) -> 1(2(2(0(0(4(x1)))))) 0(1(0(x1))) -> 1(2(3(4(0(0(x1)))))) 0(1(0(x1))) -> 1(3(2(0(0(0(x1)))))) 0(1(0(x1))) -> 1(3(4(0(2(0(x1)))))) 0(1(0(x1))) -> 1(3(4(4(0(0(x1)))))) 0(1(0(x1))) -> 2(0(0(1(2(2(x1)))))) 0(1(0(x1))) -> 2(0(0(2(0(1(x1)))))) 0(1(0(x1))) -> 2(0(0(3(0(1(x1)))))) 0(1(0(x1))) -> 2(0(2(0(4(1(x1)))))) 0(1(0(x1))) -> 2(1(2(2(0(0(x1)))))) 0(1(0(x1))) -> 2(4(0(4(0(1(x1)))))) 0(1(0(x1))) -> 4(1(2(2(0(0(x1)))))) 0(1(1(0(x1)))) -> 2(2(0(0(1(1(x1)))))) 0(1(5(0(x1)))) -> 0(3(5(1(0(x1))))) 0(1(5(0(x1)))) -> 0(3(3(5(1(0(x1)))))) 0(5(5(0(x1)))) -> 2(2(0(0(5(5(x1)))))) 1(0(1(0(x1)))) -> 1(1(3(5(0(0(x1)))))) 1(3(0(1(x1)))) -> 1(1(0(3(4(1(x1)))))) 1(3(0(1(x1)))) -> 5(1(1(3(4(0(x1)))))) 3(0(1(0(x1)))) -> 0(1(3(2(0(4(x1)))))) 3(0(1(0(x1)))) -> 2(0(4(3(0(1(x1)))))) 3(0(1(0(x1)))) -> 2(2(3(0(0(1(x1)))))) 3(0(1(0(x1)))) -> 3(0(2(2(0(1(x1)))))) 3(1(0(0(x1)))) -> 1(0(3(4(0(x1))))) 3(1(0(0(x1)))) -> 2(0(3(1(0(x1))))) 3(1(0(0(x1)))) -> 3(0(0(5(1(x1))))) 3(1(0(0(x1)))) -> 1(2(0(3(0(2(x1)))))) 3(1(0(0(x1)))) -> 3(1(3(0(2(0(x1)))))) 3(1(5(0(x1)))) -> 1(1(3(5(0(x1))))) 3(1(5(0(x1)))) -> 0(2(5(1(3(5(x1)))))) 3(1(5(0(x1)))) -> 0(3(1(3(4(5(x1)))))) 3(1(5(0(x1)))) -> 1(5(2(3(5(0(x1)))))) 3(1(5(0(x1)))) -> 3(1(4(0(2(5(x1)))))) 3(1(5(0(x1)))) -> 4(0(5(1(3(5(x1)))))) 0(0(2(1(0(x1))))) -> 2(0(0(0(3(1(x1)))))) 0(1(2(0(1(x1))))) -> 0(0(1(3(2(1(x1)))))) 0(1(2(0(1(x1))))) -> 0(2(0(3(1(1(x1)))))) 1(3(0(2(1(x1))))) -> 0(2(1(1(3(2(x1)))))) 1(3(0(2(1(x1))))) -> 0(3(2(2(1(1(x1)))))) 1(3(0(5(5(x1))))) -> 0(5(4(3(5(1(x1)))))) 1(3(1(5(0(x1))))) -> 1(3(1(5(2(0(x1)))))) 3(0(5(0(0(x1))))) -> 3(0(0(3(5(0(x1)))))) 3(0(5(5(0(x1))))) -> 5(0(2(3(5(0(x1)))))) 3(1(4(0(0(x1))))) -> 1(0(0(3(4(0(x1)))))) 3(1(4(5(0(x1))))) -> 0(5(1(3(5(4(x1)))))) encArg(2(x_1)) -> 2(encArg(x_1)) encArg(4(x_1)) -> 4(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)) 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. "[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, 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] {(79,80,[0_1|0, 1_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]), (79,81,[2_1|1, 4_1|1, 5_1|1, 0_1|1, 1_1|1, 3_1|1]), (79,82,[2_1|2]), (79,85,[0_1|2]), (79,89,[2_1|2]), (79,93,[0_1|2]), (79,98,[1_1|2]), (79,103,[1_1|2]), (79,108,[1_1|2]), (79,113,[1_1|2]), (79,118,[1_1|2]), (79,123,[2_1|2]), (79,128,[2_1|2]), (79,133,[2_1|2]), (79,138,[2_1|2]), (79,143,[2_1|2]), (79,148,[2_1|2]), (79,153,[4_1|2]), (79,158,[2_1|2]), (79,163,[0_1|2]), (79,167,[0_1|2]), (79,172,[0_1|2]), (79,177,[0_1|2]), (79,182,[2_1|2]), (79,187,[2_1|2]), (79,192,[1_1|2]), (79,197,[1_1|2]), (79,202,[5_1|2]), (79,207,[0_1|2]), (79,212,[0_1|2]), (79,217,[0_1|2]), (79,222,[1_1|2]), (79,227,[0_1|2]), (79,232,[2_1|2]), (79,237,[2_1|2]), (79,242,[3_1|2]), (79,247,[3_1|2]), (79,252,[5_1|2]), (79,257,[1_1|2]), (79,261,[2_1|2]), (79,265,[3_1|2]), (79,269,[1_1|2]), (79,274,[3_1|2]), (79,279,[1_1|2]), (79,283,[0_1|2]), (79,288,[0_1|2]), (79,293,[1_1|2]), (79,298,[3_1|2]), (79,303,[4_1|2]), (79,308,[1_1|2]), (79,313,[0_1|2]), (80,80,[2_1|0, 4_1|0, 5_1|0, cons_0_1|0, cons_1_1|0, cons_3_1|0]), (81,80,[encArg_1|1]), (81,81,[2_1|1, 4_1|1, 5_1|1, 0_1|1, 1_1|1, 3_1|1]), (81,82,[2_1|2]), (81,85,[0_1|2]), (81,89,[2_1|2]), (81,93,[0_1|2]), (81,98,[1_1|2]), (81,103,[1_1|2]), (81,108,[1_1|2]), (81,113,[1_1|2]), (81,118,[1_1|2]), (81,123,[2_1|2]), (81,128,[2_1|2]), (81,133,[2_1|2]), (81,138,[2_1|2]), (81,143,[2_1|2]), (81,148,[2_1|2]), (81,153,[4_1|2]), (81,158,[2_1|2]), (81,163,[0_1|2]), (81,167,[0_1|2]), (81,172,[0_1|2]), (81,177,[0_1|2]), (81,182,[2_1|2]), (81,187,[2_1|2]), (81,192,[1_1|2]), (81,197,[1_1|2]), (81,202,[5_1|2]), (81,207,[0_1|2]), (81,212,[0_1|2]), (81,217,[0_1|2]), (81,222,[1_1|2]), (81,227,[0_1|2]), (81,232,[2_1|2]), (81,237,[2_1|2]), (81,242,[3_1|2]), (81,247,[3_1|2]), (81,252,[5_1|2]), (81,257,[1_1|2]), (81,261,[2_1|2]), (81,265,[3_1|2]), (81,269,[1_1|2]), (81,274,[3_1|2]), (81,279,[1_1|2]), (81,283,[0_1|2]), (81,288,[0_1|2]), (81,293,[1_1|2]), (81,298,[3_1|2]), (81,303,[4_1|2]), (81,308,[1_1|2]), (81,313,[0_1|2]), (82,83,[0_1|2]), (83,84,[0_1|2]), (83,82,[2_1|2]), (83,85,[0_1|2]), (83,89,[2_1|2]), (83,93,[0_1|2]), (83,98,[1_1|2]), (83,103,[1_1|2]), (83,108,[1_1|2]), (83,113,[1_1|2]), (83,118,[1_1|2]), (83,123,[2_1|2]), (83,128,[2_1|2]), (83,133,[2_1|2]), (83,138,[2_1|2]), (83,143,[2_1|2]), (83,148,[2_1|2]), (83,153,[4_1|2]), (83,158,[2_1|2]), (83,163,[0_1|2]), (83,167,[0_1|2]), (83,172,[0_1|2]), (83,177,[0_1|2]), (83,328,[2_1|3]), (83,331,[0_1|3]), (83,335,[2_1|3]), (83,339,[0_1|3]), (83,344,[1_1|3]), (83,349,[1_1|3]), (83,354,[1_1|3]), (83,359,[1_1|3]), (83,364,[1_1|3]), (83,369,[2_1|3]), (83,374,[2_1|3]), (83,379,[2_1|3]), (83,384,[2_1|3]), (83,389,[2_1|3]), (83,394,[2_1|3]), (83,399,[4_1|3]), (83,404,[0_1|3]), (83,408,[0_1|3]), (83,413,[2_1|3]), (83,629,[0_1|3]), (83,634,[0_1|3]), (84,81,[1_1|2]), (84,85,[1_1|2]), (84,93,[1_1|2]), (84,163,[1_1|2]), (84,167,[1_1|2]), (84,172,[1_1|2]), (84,177,[1_1|2]), (84,207,[1_1|2, 0_1|2]), (84,212,[1_1|2, 0_1|2]), (84,217,[1_1|2, 0_1|2]), (84,227,[1_1|2]), (84,283,[1_1|2]), (84,288,[1_1|2]), (84,313,[1_1|2]), (84,258,[1_1|2]), (84,309,[1_1|2]), (84,192,[1_1|2]), (84,197,[1_1|2]), (84,202,[5_1|2]), (84,222,[1_1|2]), (84,649,[0_1|3]), (84,654,[0_1|3]), (85,86,[1_1|2]), (86,87,[2_1|2]), (87,88,[2_1|2]), (88,81,[0_1|2]), (88,85,[0_1|2]), (88,93,[0_1|2]), (88,163,[0_1|2]), (88,167,[0_1|2]), (88,172,[0_1|2]), (88,177,[0_1|2]), (88,207,[0_1|2]), (88,212,[0_1|2]), (88,217,[0_1|2]), (88,227,[0_1|2]), (88,283,[0_1|2]), (88,288,[0_1|2]), (88,313,[0_1|2]), (88,258,[0_1|2]), (88,309,[0_1|2]), (88,82,[2_1|2]), (88,89,[2_1|2]), (88,98,[1_1|2]), (88,103,[1_1|2]), (88,108,[1_1|2]), (88,113,[1_1|2]), (88,118,[1_1|2]), (88,123,[2_1|2]), (88,128,[2_1|2]), (88,133,[2_1|2]), (88,138,[2_1|2]), (88,143,[2_1|2]), (88,148,[2_1|2]), (88,153,[4_1|2]), (88,158,[2_1|2]), (88,182,[2_1|2]), (88,187,[2_1|2]), (88,418,[2_1|3]), (88,423,[2_1|3]), (88,426,[0_1|3]), (88,430,[2_1|3]), (88,434,[0_1|3]), (88,439,[1_1|3]), (88,444,[1_1|3]), (88,449,[1_1|3]), (88,454,[1_1|3]), (88,459,[1_1|3]), (88,464,[2_1|3]), (88,469,[2_1|3]), (88,474,[2_1|3]), (88,479,[2_1|3]), (88,484,[2_1|3]), (88,489,[2_1|3]), (88,494,[4_1|3]), (89,90,[0_1|2]), (90,91,[0_1|2]), (90,423,[2_1|3]), (90,426,[0_1|3]), (90,430,[2_1|3]), (90,434,[0_1|3]), (90,439,[1_1|3]), (90,444,[1_1|3]), (90,449,[1_1|3]), (90,454,[1_1|3]), (90,459,[1_1|3]), (90,464,[2_1|3]), (90,469,[2_1|3]), (90,474,[2_1|3]), (90,479,[2_1|3]), (90,484,[2_1|3]), (90,489,[2_1|3]), (90,494,[4_1|3]), (91,92,[3_1|2]), (91,257,[1_1|2]), (91,261,[2_1|2]), (91,265,[3_1|2]), (91,269,[1_1|2]), (91,274,[3_1|2]), (91,279,[1_1|2]), (91,283,[0_1|2]), (91,288,[0_1|2]), (91,293,[1_1|2]), (91,298,[3_1|2]), (91,303,[4_1|2]), (91,308,[1_1|2]), (91,313,[0_1|2]), (91,499,[1_1|3]), (91,503,[2_1|3]), (91,507,[3_1|3]), (91,511,[1_1|3]), (91,516,[3_1|3]), (91,521,[1_1|3]), (91,525,[0_1|3]), (91,530,[0_1|3]), (91,535,[1_1|3]), (91,540,[3_1|3]), (91,545,[4_1|3]), (92,81,[1_1|2]), (92,85,[1_1|2]), (92,93,[1_1|2]), (92,163,[1_1|2]), (92,167,[1_1|2]), (92,172,[1_1|2]), (92,177,[1_1|2]), (92,207,[1_1|2, 0_1|2]), (92,212,[1_1|2, 0_1|2]), (92,217,[1_1|2, 0_1|2]), (92,227,[1_1|2]), (92,283,[1_1|2]), (92,288,[1_1|2]), (92,313,[1_1|2]), (92,258,[1_1|2]), (92,309,[1_1|2]), (92,192,[1_1|2]), (92,197,[1_1|2]), (92,202,[5_1|2]), (92,222,[1_1|2]), (92,649,[0_1|3]), (92,654,[0_1|3]), (93,94,[1_1|2]), (94,95,[2_1|2]), (95,96,[4_1|2]), (96,97,[0_1|2]), (96,423,[2_1|3]), (96,426,[0_1|3]), (96,430,[2_1|3]), (96,434,[0_1|3]), (96,439,[1_1|3]), (96,444,[1_1|3]), (96,449,[1_1|3]), (96,454,[1_1|3]), (96,459,[1_1|3]), (96,464,[2_1|3]), (96,469,[2_1|3]), (96,474,[2_1|3]), (96,479,[2_1|3]), (96,484,[2_1|3]), (96,489,[2_1|3]), (96,494,[4_1|3]), (97,81,[3_1|2]), (97,85,[3_1|2]), (97,93,[3_1|2]), (97,163,[3_1|2]), (97,167,[3_1|2]), (97,172,[3_1|2]), (97,177,[3_1|2]), (97,207,[3_1|2]), (97,212,[3_1|2]), (97,217,[3_1|2]), (97,227,[3_1|2, 0_1|2]), (97,283,[3_1|2, 0_1|2]), (97,288,[3_1|2, 0_1|2]), (97,313,[3_1|2, 0_1|2]), (97,258,[3_1|2]), (97,309,[3_1|2]), (97,232,[2_1|2]), (97,237,[2_1|2]), (97,242,[3_1|2]), (97,247,[3_1|2]), (97,252,[5_1|2]), (97,257,[1_1|2]), (97,261,[2_1|2]), (97,265,[3_1|2]), (97,269,[1_1|2]), (97,274,[3_1|2]), (97,279,[1_1|2]), (97,293,[1_1|2]), (97,298,[3_1|2]), (97,303,[4_1|2]), (97,308,[1_1|2]), (97,550,[1_1|3]), (97,554,[2_1|3]), (97,558,[3_1|3]), (97,562,[1_1|3]), (97,567,[3_1|3]), (98,99,[2_1|2]), (99,100,[2_1|2]), (100,101,[0_1|2]), (101,102,[0_1|2]), (102,81,[4_1|2]), (102,85,[4_1|2]), (102,93,[4_1|2]), (102,163,[4_1|2]), (102,167,[4_1|2]), (102,172,[4_1|2]), (102,177,[4_1|2]), (102,207,[4_1|2]), (102,212,[4_1|2]), (102,217,[4_1|2]), (102,227,[4_1|2]), (102,283,[4_1|2]), (102,288,[4_1|2]), (102,313,[4_1|2]), (102,258,[4_1|2]), (102,309,[4_1|2]), (103,104,[2_1|2]), (104,105,[3_1|2]), (105,106,[4_1|2]), (106,107,[0_1|2]), (106,187,[2_1|2]), (107,81,[0_1|2]), (107,85,[0_1|2]), (107,93,[0_1|2]), (107,163,[0_1|2]), (107,167,[0_1|2]), (107,172,[0_1|2]), (107,177,[0_1|2]), (107,207,[0_1|2]), (107,212,[0_1|2]), (107,217,[0_1|2]), (107,227,[0_1|2]), (107,283,[0_1|2]), (107,288,[0_1|2]), (107,313,[0_1|2]), (107,258,[0_1|2]), (107,309,[0_1|2]), (107,82,[2_1|2]), (107,89,[2_1|2]), (107,98,[1_1|2]), (107,103,[1_1|2]), (107,108,[1_1|2]), (107,113,[1_1|2]), (107,118,[1_1|2]), (107,123,[2_1|2]), (107,128,[2_1|2]), (107,133,[2_1|2]), (107,138,[2_1|2]), (107,143,[2_1|2]), (107,148,[2_1|2]), (107,153,[4_1|2]), (107,158,[2_1|2]), (107,182,[2_1|2]), (107,187,[2_1|2]), (107,418,[2_1|3]), (107,423,[2_1|3]), (107,426,[0_1|3]), (107,430,[2_1|3]), (107,434,[0_1|3]), (107,439,[1_1|3]), (107,444,[1_1|3]), (107,449,[1_1|3]), (107,454,[1_1|3]), (107,459,[1_1|3]), (107,464,[2_1|3]), (107,469,[2_1|3]), (107,474,[2_1|3]), (107,479,[2_1|3]), (107,484,[2_1|3]), (107,489,[2_1|3]), (107,494,[4_1|3]), (108,109,[3_1|2]), (109,110,[2_1|2]), (110,111,[0_1|2]), (111,112,[0_1|2]), (111,187,[2_1|2]), (112,81,[0_1|2]), (112,85,[0_1|2]), (112,93,[0_1|2]), (112,163,[0_1|2]), (112,167,[0_1|2]), (112,172,[0_1|2]), (112,177,[0_1|2]), (112,207,[0_1|2]), (112,212,[0_1|2]), (112,217,[0_1|2]), (112,227,[0_1|2]), (112,283,[0_1|2]), (112,288,[0_1|2]), (112,313,[0_1|2]), (112,258,[0_1|2]), (112,309,[0_1|2]), (112,82,[2_1|2]), (112,89,[2_1|2]), (112,98,[1_1|2]), (112,103,[1_1|2]), (112,108,[1_1|2]), (112,113,[1_1|2]), (112,118,[1_1|2]), (112,123,[2_1|2]), (112,128,[2_1|2]), (112,133,[2_1|2]), (112,138,[2_1|2]), (112,143,[2_1|2]), (112,148,[2_1|2]), (112,153,[4_1|2]), (112,158,[2_1|2]), (112,182,[2_1|2]), (112,187,[2_1|2]), (112,418,[2_1|3]), (112,423,[2_1|3]), (112,426,[0_1|3]), (112,430,[2_1|3]), (112,434,[0_1|3]), (112,439,[1_1|3]), (112,444,[1_1|3]), (112,449,[1_1|3]), (112,454,[1_1|3]), (112,459,[1_1|3]), (112,464,[2_1|3]), (112,469,[2_1|3]), (112,474,[2_1|3]), (112,479,[2_1|3]), (112,484,[2_1|3]), (112,489,[2_1|3]), (112,494,[4_1|3]), (113,114,[3_1|2]), (114,115,[4_1|2]), (115,116,[0_1|2]), (116,117,[2_1|2]), (117,81,[0_1|2]), (117,85,[0_1|2]), (117,93,[0_1|2]), (117,163,[0_1|2]), (117,167,[0_1|2]), (117,172,[0_1|2]), (117,177,[0_1|2]), (117,207,[0_1|2]), (117,212,[0_1|2]), (117,217,[0_1|2]), (117,227,[0_1|2]), (117,283,[0_1|2]), (117,288,[0_1|2]), (117,313,[0_1|2]), (117,258,[0_1|2]), (117,309,[0_1|2]), (117,82,[2_1|2]), (117,89,[2_1|2]), (117,98,[1_1|2]), (117,103,[1_1|2]), (117,108,[1_1|2]), (117,113,[1_1|2]), (117,118,[1_1|2]), (117,123,[2_1|2]), (117,128,[2_1|2]), (117,133,[2_1|2]), (117,138,[2_1|2]), (117,143,[2_1|2]), (117,148,[2_1|2]), (117,153,[4_1|2]), (117,158,[2_1|2]), (117,182,[2_1|2]), (117,187,[2_1|2]), (117,418,[2_1|3]), (117,423,[2_1|3]), (117,426,[0_1|3]), (117,430,[2_1|3]), (117,434,[0_1|3]), (117,439,[1_1|3]), (117,444,[1_1|3]), (117,449,[1_1|3]), (117,454,[1_1|3]), (117,459,[1_1|3]), (117,464,[2_1|3]), (117,469,[2_1|3]), (117,474,[2_1|3]), (117,479,[2_1|3]), (117,484,[2_1|3]), (117,489,[2_1|3]), (117,494,[4_1|3]), (118,119,[3_1|2]), (119,120,[4_1|2]), (120,121,[4_1|2]), (121,122,[0_1|2]), (121,187,[2_1|2]), (122,81,[0_1|2]), (122,85,[0_1|2]), (122,93,[0_1|2]), (122,163,[0_1|2]), (122,167,[0_1|2]), (122,172,[0_1|2]), (122,177,[0_1|2]), (122,207,[0_1|2]), (122,212,[0_1|2]), (122,217,[0_1|2]), (122,227,[0_1|2]), (122,283,[0_1|2]), (122,288,[0_1|2]), (122,313,[0_1|2]), (122,258,[0_1|2]), (122,309,[0_1|2]), (122,82,[2_1|2]), (122,89,[2_1|2]), (122,98,[1_1|2]), (122,103,[1_1|2]), (122,108,[1_1|2]), (122,113,[1_1|2]), (122,118,[1_1|2]), (122,123,[2_1|2]), (122,128,[2_1|2]), (122,133,[2_1|2]), (122,138,[2_1|2]), (122,143,[2_1|2]), (122,148,[2_1|2]), (122,153,[4_1|2]), (122,158,[2_1|2]), (122,182,[2_1|2]), (122,187,[2_1|2]), (122,418,[2_1|3]), (122,423,[2_1|3]), (122,426,[0_1|3]), (122,430,[2_1|3]), (122,434,[0_1|3]), (122,439,[1_1|3]), (122,444,[1_1|3]), (122,449,[1_1|3]), (122,454,[1_1|3]), (122,459,[1_1|3]), (122,464,[2_1|3]), (122,469,[2_1|3]), (122,474,[2_1|3]), (122,479,[2_1|3]), (122,484,[2_1|3]), (122,489,[2_1|3]), (122,494,[4_1|3]), (123,124,[0_1|2]), (124,125,[0_1|2]), (125,126,[1_1|2]), (126,127,[2_1|2]), (127,81,[2_1|2]), (127,85,[2_1|2]), (127,93,[2_1|2]), (127,163,[2_1|2]), (127,167,[2_1|2]), (127,172,[2_1|2]), (127,177,[2_1|2]), (127,207,[2_1|2]), (127,212,[2_1|2]), (127,217,[2_1|2]), (127,227,[2_1|2]), (127,283,[2_1|2]), (127,288,[2_1|2]), (127,313,[2_1|2]), (127,258,[2_1|2]), (127,309,[2_1|2]), (128,129,[0_1|2]), (129,130,[0_1|2]), (130,131,[2_1|2]), (131,132,[0_1|2]), (131,82,[2_1|2]), (131,85,[0_1|2]), (131,89,[2_1|2]), (131,93,[0_1|2]), (131,98,[1_1|2]), (131,103,[1_1|2]), (131,108,[1_1|2]), (131,113,[1_1|2]), (131,118,[1_1|2]), (131,123,[2_1|2]), (131,128,[2_1|2]), (131,133,[2_1|2]), (131,138,[2_1|2]), (131,143,[2_1|2]), (131,148,[2_1|2]), (131,153,[4_1|2]), (131,158,[2_1|2]), (131,163,[0_1|2]), (131,167,[0_1|2]), (131,172,[0_1|2]), (131,177,[0_1|2]), (131,328,[2_1|3]), (131,331,[0_1|3]), (131,335,[2_1|3]), (131,339,[0_1|3]), (131,344,[1_1|3]), (131,349,[1_1|3]), (131,354,[1_1|3]), (131,359,[1_1|3]), (131,364,[1_1|3]), (131,369,[2_1|3]), (131,374,[2_1|3]), (131,379,[2_1|3]), (131,384,[2_1|3]), (131,389,[2_1|3]), (131,394,[2_1|3]), (131,399,[4_1|3]), (131,404,[0_1|3]), (131,408,[0_1|3]), (131,413,[2_1|3]), (131,629,[0_1|3]), (131,634,[0_1|3]), (132,81,[1_1|2]), (132,85,[1_1|2]), (132,93,[1_1|2]), (132,163,[1_1|2]), (132,167,[1_1|2]), (132,172,[1_1|2]), (132,177,[1_1|2]), (132,207,[1_1|2, 0_1|2]), (132,212,[1_1|2, 0_1|2]), (132,217,[1_1|2, 0_1|2]), (132,227,[1_1|2]), (132,283,[1_1|2]), (132,288,[1_1|2]), (132,313,[1_1|2]), (132,258,[1_1|2]), (132,309,[1_1|2]), (132,192,[1_1|2]), (132,197,[1_1|2]), (132,202,[5_1|2]), (132,222,[1_1|2]), (132,649,[0_1|3]), (132,654,[0_1|3]), (133,134,[0_1|2]), (134,135,[0_1|2]), (135,136,[3_1|2]), (135,227,[0_1|2]), (135,232,[2_1|2]), (135,237,[2_1|2]), (135,242,[3_1|2]), (135,572,[0_1|3]), (135,577,[2_1|3]), (135,582,[2_1|3]), (135,587,[3_1|3]), (136,137,[0_1|2]), (136,82,[2_1|2]), (136,85,[0_1|2]), (136,89,[2_1|2]), (136,93,[0_1|2]), (136,98,[1_1|2]), (136,103,[1_1|2]), (136,108,[1_1|2]), (136,113,[1_1|2]), (136,118,[1_1|2]), (136,123,[2_1|2]), (136,128,[2_1|2]), (136,133,[2_1|2]), (136,138,[2_1|2]), (136,143,[2_1|2]), (136,148,[2_1|2]), (136,153,[4_1|2]), (136,158,[2_1|2]), (136,163,[0_1|2]), (136,167,[0_1|2]), (136,172,[0_1|2]), (136,177,[0_1|2]), (136,328,[2_1|3]), (136,331,[0_1|3]), (136,335,[2_1|3]), (136,339,[0_1|3]), (136,344,[1_1|3]), (136,349,[1_1|3]), (136,354,[1_1|3]), (136,359,[1_1|3]), (136,364,[1_1|3]), (136,369,[2_1|3]), (136,374,[2_1|3]), (136,379,[2_1|3]), (136,384,[2_1|3]), (136,389,[2_1|3]), (136,394,[2_1|3]), (136,399,[4_1|3]), (136,404,[0_1|3]), (136,408,[0_1|3]), (136,413,[2_1|3]), (136,629,[0_1|3]), (136,634,[0_1|3]), (137,81,[1_1|2]), (137,85,[1_1|2]), (137,93,[1_1|2]), (137,163,[1_1|2]), (137,167,[1_1|2]), (137,172,[1_1|2]), (137,177,[1_1|2]), (137,207,[1_1|2, 0_1|2]), (137,212,[1_1|2, 0_1|2]), (137,217,[1_1|2, 0_1|2]), (137,227,[1_1|2]), (137,283,[1_1|2]), (137,288,[1_1|2]), (137,313,[1_1|2]), (137,258,[1_1|2]), (137,309,[1_1|2]), (137,192,[1_1|2]), (137,197,[1_1|2]), (137,202,[5_1|2]), (137,222,[1_1|2]), (137,649,[0_1|3]), (137,654,[0_1|3]), (138,139,[0_1|2]), (139,140,[2_1|2]), (140,141,[0_1|2]), (141,142,[4_1|2]), (142,81,[1_1|2]), (142,85,[1_1|2]), (142,93,[1_1|2]), (142,163,[1_1|2]), (142,167,[1_1|2]), (142,172,[1_1|2]), (142,177,[1_1|2]), (142,207,[1_1|2, 0_1|2]), (142,212,[1_1|2, 0_1|2]), (142,217,[1_1|2, 0_1|2]), (142,227,[1_1|2]), (142,283,[1_1|2]), (142,288,[1_1|2]), (142,313,[1_1|2]), (142,258,[1_1|2]), (142,309,[1_1|2]), (142,192,[1_1|2]), (142,197,[1_1|2]), (142,202,[5_1|2]), (142,222,[1_1|2]), (142,649,[0_1|3]), (142,654,[0_1|3]), (143,144,[1_1|2]), (144,145,[2_1|2]), (145,146,[2_1|2]), (146,147,[0_1|2]), (146,187,[2_1|2]), (147,81,[0_1|2]), (147,85,[0_1|2]), (147,93,[0_1|2]), (147,163,[0_1|2]), (147,167,[0_1|2]), (147,172,[0_1|2]), (147,177,[0_1|2]), (147,207,[0_1|2]), (147,212,[0_1|2]), (147,217,[0_1|2]), (147,227,[0_1|2]), (147,283,[0_1|2]), (147,288,[0_1|2]), (147,313,[0_1|2]), (147,258,[0_1|2]), (147,309,[0_1|2]), (147,82,[2_1|2]), (147,89,[2_1|2]), (147,98,[1_1|2]), (147,103,[1_1|2]), (147,108,[1_1|2]), (147,113,[1_1|2]), (147,118,[1_1|2]), (147,123,[2_1|2]), (147,128,[2_1|2]), (147,133,[2_1|2]), (147,138,[2_1|2]), (147,143,[2_1|2]), (147,148,[2_1|2]), (147,153,[4_1|2]), (147,158,[2_1|2]), (147,182,[2_1|2]), (147,187,[2_1|2]), (147,418,[2_1|3]), (147,423,[2_1|3]), (147,426,[0_1|3]), (147,430,[2_1|3]), (147,434,[0_1|3]), (147,439,[1_1|3]), (147,444,[1_1|3]), (147,449,[1_1|3]), (147,454,[1_1|3]), (147,459,[1_1|3]), (147,464,[2_1|3]), (147,469,[2_1|3]), (147,474,[2_1|3]), (147,479,[2_1|3]), (147,484,[2_1|3]), (147,489,[2_1|3]), (147,494,[4_1|3]), (148,149,[4_1|2]), (149,150,[0_1|2]), (150,151,[4_1|2]), (151,152,[0_1|2]), (151,82,[2_1|2]), (151,85,[0_1|2]), (151,89,[2_1|2]), (151,93,[0_1|2]), (151,98,[1_1|2]), (151,103,[1_1|2]), (151,108,[1_1|2]), (151,113,[1_1|2]), (151,118,[1_1|2]), (151,123,[2_1|2]), (151,128,[2_1|2]), (151,133,[2_1|2]), (151,138,[2_1|2]), (151,143,[2_1|2]), (151,148,[2_1|2]), (151,153,[4_1|2]), (151,158,[2_1|2]), (151,163,[0_1|2]), (151,167,[0_1|2]), (151,172,[0_1|2]), (151,177,[0_1|2]), (151,328,[2_1|3]), (151,331,[0_1|3]), (151,335,[2_1|3]), (151,339,[0_1|3]), (151,344,[1_1|3]), (151,349,[1_1|3]), (151,354,[1_1|3]), (151,359,[1_1|3]), (151,364,[1_1|3]), (151,369,[2_1|3]), (151,374,[2_1|3]), (151,379,[2_1|3]), (151,384,[2_1|3]), (151,389,[2_1|3]), (151,394,[2_1|3]), (151,399,[4_1|3]), (151,404,[0_1|3]), (151,408,[0_1|3]), (151,413,[2_1|3]), (151,629,[0_1|3]), (151,634,[0_1|3]), (152,81,[1_1|2]), (152,85,[1_1|2]), (152,93,[1_1|2]), (152,163,[1_1|2]), (152,167,[1_1|2]), (152,172,[1_1|2]), (152,177,[1_1|2]), (152,207,[1_1|2, 0_1|2]), (152,212,[1_1|2, 0_1|2]), (152,217,[1_1|2, 0_1|2]), (152,227,[1_1|2]), (152,283,[1_1|2]), (152,288,[1_1|2]), (152,313,[1_1|2]), (152,258,[1_1|2]), (152,309,[1_1|2]), (152,192,[1_1|2]), (152,197,[1_1|2]), (152,202,[5_1|2]), (152,222,[1_1|2]), (152,649,[0_1|3]), (152,654,[0_1|3]), (153,154,[1_1|2]), (154,155,[2_1|2]), (155,156,[2_1|2]), (156,157,[0_1|2]), (156,187,[2_1|2]), (157,81,[0_1|2]), (157,85,[0_1|2]), (157,93,[0_1|2]), (157,163,[0_1|2]), (157,167,[0_1|2]), (157,172,[0_1|2]), (157,177,[0_1|2]), (157,207,[0_1|2]), (157,212,[0_1|2]), (157,217,[0_1|2]), (157,227,[0_1|2]), (157,283,[0_1|2]), (157,288,[0_1|2]), (157,313,[0_1|2]), (157,258,[0_1|2]), (157,309,[0_1|2]), (157,82,[2_1|2]), (157,89,[2_1|2]), (157,98,[1_1|2]), (157,103,[1_1|2]), (157,108,[1_1|2]), (157,113,[1_1|2]), (157,118,[1_1|2]), (157,123,[2_1|2]), (157,128,[2_1|2]), (157,133,[2_1|2]), (157,138,[2_1|2]), (157,143,[2_1|2]), (157,148,[2_1|2]), (157,153,[4_1|2]), (157,158,[2_1|2]), (157,182,[2_1|2]), (157,187,[2_1|2]), (157,418,[2_1|3]), (157,423,[2_1|3]), (157,426,[0_1|3]), (157,430,[2_1|3]), (157,434,[0_1|3]), (157,439,[1_1|3]), (157,444,[1_1|3]), (157,449,[1_1|3]), (157,454,[1_1|3]), (157,459,[1_1|3]), (157,464,[2_1|3]), (157,469,[2_1|3]), (157,474,[2_1|3]), (157,479,[2_1|3]), (157,484,[2_1|3]), (157,489,[2_1|3]), (157,494,[4_1|3]), (158,159,[2_1|2]), (159,160,[0_1|2]), (160,161,[0_1|2]), (160,158,[2_1|2]), (160,592,[2_1|3]), (160,328,[2_1|3]), (160,331,[0_1|3]), (160,335,[2_1|3]), (160,339,[0_1|3]), (160,344,[1_1|3]), (160,349,[1_1|3]), (160,354,[1_1|3]), (160,359,[1_1|3]), (160,364,[1_1|3]), (160,369,[2_1|3]), (160,374,[2_1|3]), (160,379,[2_1|3]), (160,384,[2_1|3]), (160,389,[2_1|3]), (160,394,[2_1|3]), (160,399,[4_1|3]), (161,162,[1_1|2]), (162,81,[1_1|2]), (162,85,[1_1|2]), (162,93,[1_1|2]), (162,163,[1_1|2]), (162,167,[1_1|2]), (162,172,[1_1|2]), (162,177,[1_1|2]), (162,207,[1_1|2, 0_1|2]), (162,212,[1_1|2, 0_1|2]), (162,217,[1_1|2, 0_1|2]), (162,227,[1_1|2]), (162,283,[1_1|2]), (162,288,[1_1|2]), (162,313,[1_1|2]), (162,258,[1_1|2]), (162,309,[1_1|2]), (162,199,[1_1|2]), (162,192,[1_1|2]), (162,197,[1_1|2]), (162,202,[5_1|2]), (162,222,[1_1|2]), (162,649,[0_1|3]), (162,654,[0_1|3]), (163,164,[3_1|2]), (164,165,[5_1|2]), (165,166,[1_1|2]), (165,192,[1_1|2]), (165,597,[1_1|3]), (166,81,[0_1|2]), (166,85,[0_1|2]), (166,93,[0_1|2]), (166,163,[0_1|2]), (166,167,[0_1|2]), (166,172,[0_1|2]), (166,177,[0_1|2]), (166,207,[0_1|2]), (166,212,[0_1|2]), (166,217,[0_1|2]), (166,227,[0_1|2]), (166,283,[0_1|2]), (166,288,[0_1|2]), (166,313,[0_1|2]), (166,253,[0_1|2]), (166,82,[2_1|2]), (166,89,[2_1|2]), (166,98,[1_1|2]), (166,103,[1_1|2]), (166,108,[1_1|2]), (166,113,[1_1|2]), (166,118,[1_1|2]), (166,123,[2_1|2]), (166,128,[2_1|2]), (166,133,[2_1|2]), (166,138,[2_1|2]), (166,143,[2_1|2]), (166,148,[2_1|2]), (166,153,[4_1|2]), (166,158,[2_1|2]), (166,182,[2_1|2]), (166,187,[2_1|2]), (166,418,[2_1|3]), (166,423,[2_1|3]), (166,426,[0_1|3]), (166,430,[2_1|3]), (166,434,[0_1|3]), (166,439,[1_1|3]), (166,444,[1_1|3]), (166,449,[1_1|3]), (166,454,[1_1|3]), (166,459,[1_1|3]), (166,464,[2_1|3]), (166,469,[2_1|3]), (166,474,[2_1|3]), (166,479,[2_1|3]), (166,484,[2_1|3]), (166,489,[2_1|3]), (166,494,[4_1|3]), (167,168,[3_1|2]), (168,169,[3_1|2]), (169,170,[5_1|2]), (170,171,[1_1|2]), (170,192,[1_1|2]), (170,597,[1_1|3]), (171,81,[0_1|2]), (171,85,[0_1|2]), (171,93,[0_1|2]), (171,163,[0_1|2]), (171,167,[0_1|2]), (171,172,[0_1|2]), (171,177,[0_1|2]), (171,207,[0_1|2]), (171,212,[0_1|2]), (171,217,[0_1|2]), (171,227,[0_1|2]), (171,283,[0_1|2]), (171,288,[0_1|2]), (171,313,[0_1|2]), (171,253,[0_1|2]), (171,82,[2_1|2]), (171,89,[2_1|2]), (171,98,[1_1|2]), (171,103,[1_1|2]), (171,108,[1_1|2]), (171,113,[1_1|2]), (171,118,[1_1|2]), (171,123,[2_1|2]), (171,128,[2_1|2]), (171,133,[2_1|2]), (171,138,[2_1|2]), (171,143,[2_1|2]), (171,148,[2_1|2]), (171,153,[4_1|2]), (171,158,[2_1|2]), (171,182,[2_1|2]), (171,187,[2_1|2]), (171,418,[2_1|3]), (171,423,[2_1|3]), (171,426,[0_1|3]), (171,430,[2_1|3]), (171,434,[0_1|3]), (171,439,[1_1|3]), (171,444,[1_1|3]), (171,449,[1_1|3]), (171,454,[1_1|3]), (171,459,[1_1|3]), (171,464,[2_1|3]), (171,469,[2_1|3]), (171,474,[2_1|3]), (171,479,[2_1|3]), (171,484,[2_1|3]), (171,489,[2_1|3]), (171,494,[4_1|3]), (172,173,[0_1|2]), (173,174,[1_1|2]), (174,175,[3_1|2]), (175,176,[2_1|2]), (176,81,[1_1|2]), (176,98,[1_1|2]), (176,103,[1_1|2]), (176,108,[1_1|2]), (176,113,[1_1|2]), (176,118,[1_1|2]), (176,192,[1_1|2]), (176,197,[1_1|2]), (176,222,[1_1|2]), (176,257,[1_1|2]), (176,269,[1_1|2]), (176,279,[1_1|2]), (176,293,[1_1|2]), (176,308,[1_1|2]), (176,86,[1_1|2]), (176,94,[1_1|2]), (176,228,[1_1|2]), (176,202,[5_1|2]), (176,207,[0_1|2]), (176,212,[0_1|2]), (176,217,[0_1|2]), (176,344,[1_1|2]), (176,349,[1_1|2]), (176,354,[1_1|2]), (176,359,[1_1|2]), (176,364,[1_1|2]), (176,607,[1_1|2]), (176,619,[1_1|2]), (176,439,[1_1|2]), (176,444,[1_1|2]), (176,449,[1_1|2]), (176,454,[1_1|2]), (176,459,[1_1|2]), (176,427,[1_1|2]), (176,435,[1_1|2]), (176,649,[0_1|3]), (176,654,[0_1|3]), (177,178,[2_1|2]), (178,179,[0_1|2]), (179,180,[3_1|2]), (180,181,[1_1|2]), (181,81,[1_1|2]), (181,98,[1_1|2]), (181,103,[1_1|2]), (181,108,[1_1|2]), (181,113,[1_1|2]), (181,118,[1_1|2]), (181,192,[1_1|2]), (181,197,[1_1|2]), (181,222,[1_1|2]), (181,257,[1_1|2]), (181,269,[1_1|2]), (181,279,[1_1|2]), (181,293,[1_1|2]), (181,308,[1_1|2]), (181,86,[1_1|2]), (181,94,[1_1|2]), (181,228,[1_1|2]), (181,202,[5_1|2]), (181,207,[0_1|2]), (181,212,[0_1|2]), (181,217,[0_1|2]), (181,344,[1_1|2]), (181,349,[1_1|2]), (181,354,[1_1|2]), (181,359,[1_1|2]), (181,364,[1_1|2]), (181,607,[1_1|2]), (181,619,[1_1|2]), (181,439,[1_1|2]), (181,444,[1_1|2]), (181,449,[1_1|2]), (181,454,[1_1|2]), (181,459,[1_1|2]), (181,427,[1_1|2]), (181,435,[1_1|2]), (181,649,[0_1|3]), (181,654,[0_1|3]), (182,183,[2_1|2]), (183,184,[0_1|2]), (184,185,[0_1|2]), (184,182,[2_1|2]), (184,602,[2_1|3]), (185,186,[5_1|2]), (186,81,[5_1|2]), (186,85,[5_1|2]), (186,93,[5_1|2]), (186,163,[5_1|2]), (186,167,[5_1|2]), (186,172,[5_1|2]), (186,177,[5_1|2]), (186,207,[5_1|2]), (186,212,[5_1|2]), (186,217,[5_1|2]), (186,227,[5_1|2]), (186,283,[5_1|2]), (186,288,[5_1|2]), (186,313,[5_1|2]), (186,253,[5_1|2]), (187,188,[0_1|2]), (188,189,[0_1|2]), (189,190,[0_1|2]), (189,423,[2_1|3]), (189,426,[0_1|3]), (189,430,[2_1|3]), (189,434,[0_1|3]), (189,439,[1_1|3]), (189,444,[1_1|3]), (189,449,[1_1|3]), (189,454,[1_1|3]), (189,459,[1_1|3]), (189,464,[2_1|3]), (189,469,[2_1|3]), (189,474,[2_1|3]), (189,479,[2_1|3]), (189,484,[2_1|3]), (189,489,[2_1|3]), (189,494,[4_1|3]), (190,191,[3_1|2]), (190,257,[1_1|2]), (190,261,[2_1|2]), (190,265,[3_1|2]), (190,269,[1_1|2]), (190,274,[3_1|2]), (190,279,[1_1|2]), (190,283,[0_1|2]), (190,288,[0_1|2]), (190,293,[1_1|2]), (190,298,[3_1|2]), (190,303,[4_1|2]), (190,308,[1_1|2]), (190,313,[0_1|2]), (190,499,[1_1|3]), (190,503,[2_1|3]), (190,507,[3_1|3]), (190,511,[1_1|3]), (190,516,[3_1|3]), (190,521,[1_1|3]), (190,525,[0_1|3]), (190,530,[0_1|3]), (190,535,[1_1|3]), (190,540,[3_1|3]), (190,545,[4_1|3]), (191,81,[1_1|2]), (191,85,[1_1|2]), (191,93,[1_1|2]), (191,163,[1_1|2]), (191,167,[1_1|2]), (191,172,[1_1|2]), (191,177,[1_1|2]), (191,207,[1_1|2, 0_1|2]), (191,212,[1_1|2, 0_1|2]), (191,217,[1_1|2, 0_1|2]), (191,227,[1_1|2]), (191,283,[1_1|2]), (191,288,[1_1|2]), (191,313,[1_1|2]), (191,258,[1_1|2]), (191,309,[1_1|2]), (191,192,[1_1|2]), (191,197,[1_1|2]), (191,202,[5_1|2]), (191,222,[1_1|2]), (191,649,[0_1|3]), (191,654,[0_1|3]), (192,193,[1_1|2]), (193,194,[3_1|2]), (194,195,[5_1|2]), (195,196,[0_1|2]), (195,187,[2_1|2]), (196,81,[0_1|2]), (196,85,[0_1|2]), (196,93,[0_1|2]), (196,163,[0_1|2]), (196,167,[0_1|2]), (196,172,[0_1|2]), (196,177,[0_1|2]), (196,207,[0_1|2]), (196,212,[0_1|2]), (196,217,[0_1|2]), (196,227,[0_1|2]), (196,283,[0_1|2]), (196,288,[0_1|2]), (196,313,[0_1|2]), (196,258,[0_1|2]), (196,309,[0_1|2]), (196,82,[2_1|2]), (196,89,[2_1|2]), (196,98,[1_1|2]), (196,103,[1_1|2]), (196,108,[1_1|2]), (196,113,[1_1|2]), (196,118,[1_1|2]), (196,123,[2_1|2]), (196,128,[2_1|2]), (196,133,[2_1|2]), (196,138,[2_1|2]), (196,143,[2_1|2]), (196,148,[2_1|2]), (196,153,[4_1|2]), (196,158,[2_1|2]), (196,182,[2_1|2]), (196,187,[2_1|2]), (196,418,[2_1|3]), (196,423,[2_1|3]), (196,426,[0_1|3]), (196,430,[2_1|3]), (196,434,[0_1|3]), (196,439,[1_1|3]), (196,444,[1_1|3]), (196,449,[1_1|3]), (196,454,[1_1|3]), (196,459,[1_1|3]), (196,464,[2_1|3]), (196,469,[2_1|3]), (196,474,[2_1|3]), (196,479,[2_1|3]), (196,484,[2_1|3]), (196,489,[2_1|3]), (196,494,[4_1|3]), (197,198,[1_1|2]), (198,199,[0_1|2]), (199,200,[3_1|2]), (200,201,[4_1|2]), (201,81,[1_1|2]), (201,98,[1_1|2]), (201,103,[1_1|2]), (201,108,[1_1|2]), (201,113,[1_1|2]), (201,118,[1_1|2]), (201,192,[1_1|2]), (201,197,[1_1|2]), (201,222,[1_1|2]), (201,257,[1_1|2]), (201,269,[1_1|2]), (201,279,[1_1|2]), (201,293,[1_1|2]), (201,308,[1_1|2]), (201,86,[1_1|2]), (201,94,[1_1|2]), (201,228,[1_1|2]), (201,202,[5_1|2]), (201,207,[0_1|2]), (201,212,[0_1|2]), (201,217,[0_1|2]), (201,649,[0_1|3]), (201,654,[0_1|3]), (202,203,[1_1|2]), (203,204,[1_1|2]), (204,205,[3_1|2]), (205,206,[4_1|2]), (206,81,[0_1|2]), (206,98,[0_1|2, 1_1|2]), (206,103,[0_1|2, 1_1|2]), (206,108,[0_1|2, 1_1|2]), (206,113,[0_1|2, 1_1|2]), (206,118,[0_1|2, 1_1|2]), (206,192,[0_1|2]), (206,197,[0_1|2]), (206,222,[0_1|2]), (206,257,[0_1|2]), (206,269,[0_1|2]), (206,279,[0_1|2]), (206,293,[0_1|2]), (206,308,[0_1|2]), (206,86,[0_1|2]), (206,94,[0_1|2]), (206,228,[0_1|2]), (206,82,[2_1|2]), (206,85,[0_1|2]), (206,89,[2_1|2]), (206,93,[0_1|2]), (206,123,[2_1|2]), (206,128,[2_1|2]), (206,133,[2_1|2]), (206,138,[2_1|2]), (206,143,[2_1|2]), (206,148,[2_1|2]), (206,153,[4_1|2]), (206,158,[2_1|2]), (206,163,[0_1|2]), (206,167,[0_1|2]), (206,172,[0_1|2]), (206,177,[0_1|2]), (206,182,[2_1|2]), (206,187,[2_1|2]), (206,418,[2_1|3]), (206,423,[2_1|3]), (206,426,[0_1|3]), (206,430,[2_1|3]), (206,434,[0_1|3]), (206,439,[1_1|3]), (206,444,[1_1|3]), (206,449,[1_1|3]), (206,454,[1_1|3]), (206,459,[1_1|3]), (206,464,[2_1|3]), (206,469,[2_1|3]), (206,474,[2_1|3]), (206,479,[2_1|3]), (206,484,[2_1|3]), (206,489,[2_1|3]), (206,494,[4_1|3]), (207,208,[2_1|2]), (208,209,[1_1|2]), (209,210,[1_1|2]), (210,211,[3_1|2]), (211,81,[2_1|2]), (211,98,[2_1|2]), (211,103,[2_1|2]), (211,108,[2_1|2]), (211,113,[2_1|2]), (211,118,[2_1|2]), (211,192,[2_1|2]), (211,197,[2_1|2]), (211,222,[2_1|2]), (211,257,[2_1|2]), (211,269,[2_1|2]), (211,279,[2_1|2]), (211,293,[2_1|2]), (211,308,[2_1|2]), (211,144,[2_1|2]), (211,209,[2_1|2]), (211,439,[2_1|2]), (211,444,[2_1|2]), (211,449,[2_1|2]), (211,454,[2_1|2]), (211,459,[2_1|2]), (211,641,[2_1|2]), (212,213,[3_1|2]), (213,214,[2_1|2]), (214,215,[2_1|2]), (215,216,[1_1|2]), (216,81,[1_1|2]), (216,98,[1_1|2]), (216,103,[1_1|2]), (216,108,[1_1|2]), (216,113,[1_1|2]), (216,118,[1_1|2]), (216,192,[1_1|2]), (216,197,[1_1|2]), (216,222,[1_1|2]), (216,257,[1_1|2]), (216,269,[1_1|2]), (216,279,[1_1|2]), (216,293,[1_1|2]), (216,308,[1_1|2]), (216,144,[1_1|2]), (216,209,[1_1|2]), (216,202,[5_1|2]), (216,207,[0_1|2]), (216,212,[0_1|2]), (216,217,[0_1|2]), (216,439,[1_1|2]), (216,444,[1_1|2]), (216,449,[1_1|2]), (216,454,[1_1|2]), (216,459,[1_1|2]), (216,641,[1_1|2]), (216,649,[0_1|3]), (216,654,[0_1|3]), (217,218,[5_1|2]), (218,219,[4_1|2]), (219,220,[3_1|2]), (220,221,[5_1|2]), (221,81,[1_1|2]), (221,202,[1_1|2, 5_1|2]), (221,252,[1_1|2]), (221,192,[1_1|2]), (221,197,[1_1|2]), (221,207,[0_1|2]), (221,212,[0_1|2]), (221,217,[0_1|2]), (221,222,[1_1|2]), (221,649,[0_1|3]), (221,654,[0_1|3]), (222,223,[3_1|2]), (223,224,[1_1|2]), (224,225,[5_1|2]), (225,226,[2_1|2]), (226,81,[0_1|2]), (226,85,[0_1|2]), (226,93,[0_1|2]), (226,163,[0_1|2]), (226,167,[0_1|2]), (226,172,[0_1|2]), (226,177,[0_1|2]), (226,207,[0_1|2]), (226,212,[0_1|2]), (226,217,[0_1|2]), (226,227,[0_1|2]), (226,283,[0_1|2]), (226,288,[0_1|2]), (226,313,[0_1|2]), (226,253,[0_1|2]), (226,82,[2_1|2]), (226,89,[2_1|2]), (226,98,[1_1|2]), (226,103,[1_1|2]), (226,108,[1_1|2]), (226,113,[1_1|2]), (226,118,[1_1|2]), (226,123,[2_1|2]), (226,128,[2_1|2]), (226,133,[2_1|2]), (226,138,[2_1|2]), (226,143,[2_1|2]), (226,148,[2_1|2]), (226,153,[4_1|2]), (226,158,[2_1|2]), (226,182,[2_1|2]), (226,187,[2_1|2]), (226,418,[2_1|3]), (226,423,[2_1|3]), (226,426,[0_1|3]), (226,430,[2_1|3]), (226,434,[0_1|3]), (226,439,[1_1|3]), (226,444,[1_1|3]), (226,449,[1_1|3]), (226,454,[1_1|3]), (226,459,[1_1|3]), (226,464,[2_1|3]), (226,469,[2_1|3]), (226,474,[2_1|3]), (226,479,[2_1|3]), (226,484,[2_1|3]), (226,489,[2_1|3]), (226,494,[4_1|3]), (227,228,[1_1|2]), (228,229,[3_1|2]), (229,230,[2_1|2]), (230,231,[0_1|2]), (231,81,[4_1|2]), (231,85,[4_1|2]), (231,93,[4_1|2]), (231,163,[4_1|2]), (231,167,[4_1|2]), (231,172,[4_1|2]), (231,177,[4_1|2]), (231,207,[4_1|2]), (231,212,[4_1|2]), (231,217,[4_1|2]), (231,227,[4_1|2]), (231,283,[4_1|2]), (231,288,[4_1|2]), (231,313,[4_1|2]), (231,258,[4_1|2]), (231,309,[4_1|2]), (232,233,[0_1|2]), (233,234,[4_1|2]), (234,235,[3_1|2]), (234,227,[0_1|2]), (234,232,[2_1|2]), (234,237,[2_1|2]), (234,242,[3_1|2]), (234,572,[0_1|3]), (234,577,[2_1|3]), (234,582,[2_1|3]), (234,587,[3_1|3]), (235,236,[0_1|2]), (235,82,[2_1|2]), (235,85,[0_1|2]), (235,89,[2_1|2]), (235,93,[0_1|2]), (235,98,[1_1|2]), (235,103,[1_1|2]), (235,108,[1_1|2]), (235,113,[1_1|2]), (235,118,[1_1|2]), (235,123,[2_1|2]), (235,128,[2_1|2]), (235,133,[2_1|2]), (235,138,[2_1|2]), (235,143,[2_1|2]), (235,148,[2_1|2]), (235,153,[4_1|2]), (235,158,[2_1|2]), (235,163,[0_1|2]), (235,167,[0_1|2]), (235,172,[0_1|2]), (235,177,[0_1|2]), (235,328,[2_1|3]), (235,331,[0_1|3]), (235,335,[2_1|3]), (235,339,[0_1|3]), (235,344,[1_1|3]), (235,349,[1_1|3]), (235,354,[1_1|3]), (235,359,[1_1|3]), (235,364,[1_1|3]), (235,369,[2_1|3]), (235,374,[2_1|3]), (235,379,[2_1|3]), (235,384,[2_1|3]), (235,389,[2_1|3]), (235,394,[2_1|3]), (235,399,[4_1|3]), (235,404,[0_1|3]), (235,408,[0_1|3]), (235,413,[2_1|3]), (235,629,[0_1|3]), (235,634,[0_1|3]), (236,81,[1_1|2]), (236,85,[1_1|2]), (236,93,[1_1|2]), (236,163,[1_1|2]), (236,167,[1_1|2]), (236,172,[1_1|2]), (236,177,[1_1|2]), (236,207,[1_1|2, 0_1|2]), (236,212,[1_1|2, 0_1|2]), (236,217,[1_1|2, 0_1|2]), (236,227,[1_1|2]), (236,283,[1_1|2]), (236,288,[1_1|2]), (236,313,[1_1|2]), (236,258,[1_1|2]), (236,309,[1_1|2]), (236,192,[1_1|2]), (236,197,[1_1|2]), (236,202,[5_1|2]), (236,222,[1_1|2]), (236,649,[0_1|3]), (236,654,[0_1|3]), (237,238,[2_1|2]), (238,239,[3_1|2]), (239,240,[0_1|2]), (240,241,[0_1|2]), (240,82,[2_1|2]), (240,85,[0_1|2]), (240,89,[2_1|2]), (240,93,[0_1|2]), (240,98,[1_1|2]), (240,103,[1_1|2]), (240,108,[1_1|2]), (240,113,[1_1|2]), (240,118,[1_1|2]), (240,123,[2_1|2]), (240,128,[2_1|2]), (240,133,[2_1|2]), (240,138,[2_1|2]), (240,143,[2_1|2]), (240,148,[2_1|2]), (240,153,[4_1|2]), (240,158,[2_1|2]), (240,163,[0_1|2]), (240,167,[0_1|2]), (240,172,[0_1|2]), (240,177,[0_1|2]), (240,328,[2_1|3]), (240,331,[0_1|3]), (240,335,[2_1|3]), (240,339,[0_1|3]), (240,344,[1_1|3]), (240,349,[1_1|3]), (240,354,[1_1|3]), (240,359,[1_1|3]), (240,364,[1_1|3]), (240,369,[2_1|3]), (240,374,[2_1|3]), (240,379,[2_1|3]), (240,384,[2_1|3]), (240,389,[2_1|3]), (240,394,[2_1|3]), (240,399,[4_1|3]), (240,404,[0_1|3]), (240,408,[0_1|3]), (240,413,[2_1|3]), (240,629,[0_1|3]), (240,634,[0_1|3]), (241,81,[1_1|2]), (241,85,[1_1|2]), (241,93,[1_1|2]), (241,163,[1_1|2]), (241,167,[1_1|2]), (241,172,[1_1|2]), (241,177,[1_1|2]), (241,207,[1_1|2, 0_1|2]), (241,212,[1_1|2, 0_1|2]), (241,217,[1_1|2, 0_1|2]), (241,227,[1_1|2]), (241,283,[1_1|2]), (241,288,[1_1|2]), (241,313,[1_1|2]), (241,258,[1_1|2]), (241,309,[1_1|2]), (241,192,[1_1|2]), (241,197,[1_1|2]), (241,202,[5_1|2]), (241,222,[1_1|2]), (241,649,[0_1|3]), (241,654,[0_1|3]), (242,243,[0_1|2]), (243,244,[2_1|2]), (244,245,[2_1|2]), (245,246,[0_1|2]), (245,82,[2_1|2]), (245,85,[0_1|2]), (245,89,[2_1|2]), (245,93,[0_1|2]), (245,98,[1_1|2]), (245,103,[1_1|2]), (245,108,[1_1|2]), (245,113,[1_1|2]), (245,118,[1_1|2]), (245,123,[2_1|2]), (245,128,[2_1|2]), (245,133,[2_1|2]), (245,138,[2_1|2]), (245,143,[2_1|2]), (245,148,[2_1|2]), (245,153,[4_1|2]), (245,158,[2_1|2]), (245,163,[0_1|2]), (245,167,[0_1|2]), (245,172,[0_1|2]), (245,177,[0_1|2]), (245,328,[2_1|3]), (245,331,[0_1|3]), (245,335,[2_1|3]), (245,339,[0_1|3]), (245,344,[1_1|3]), (245,349,[1_1|3]), (245,354,[1_1|3]), (245,359,[1_1|3]), (245,364,[1_1|3]), (245,369,[2_1|3]), (245,374,[2_1|3]), (245,379,[2_1|3]), (245,384,[2_1|3]), (245,389,[2_1|3]), (245,394,[2_1|3]), (245,399,[4_1|3]), (245,404,[0_1|3]), (245,408,[0_1|3]), (245,413,[2_1|3]), (245,629,[0_1|3]), (245,634,[0_1|3]), (246,81,[1_1|2]), (246,85,[1_1|2]), (246,93,[1_1|2]), (246,163,[1_1|2]), (246,167,[1_1|2]), (246,172,[1_1|2]), (246,177,[1_1|2]), (246,207,[1_1|2, 0_1|2]), (246,212,[1_1|2, 0_1|2]), (246,217,[1_1|2, 0_1|2]), (246,227,[1_1|2]), (246,283,[1_1|2]), (246,288,[1_1|2]), (246,313,[1_1|2]), (246,258,[1_1|2]), (246,309,[1_1|2]), (246,192,[1_1|2]), (246,197,[1_1|2]), (246,202,[5_1|2]), (246,222,[1_1|2]), (246,649,[0_1|3]), (246,654,[0_1|3]), (247,248,[0_1|2]), (248,249,[0_1|2]), (249,250,[3_1|2]), (250,251,[5_1|2]), (251,81,[0_1|2]), (251,85,[0_1|2]), (251,93,[0_1|2]), (251,163,[0_1|2]), (251,167,[0_1|2]), (251,172,[0_1|2]), (251,177,[0_1|2]), (251,207,[0_1|2]), (251,212,[0_1|2]), (251,217,[0_1|2]), (251,227,[0_1|2]), (251,283,[0_1|2]), (251,288,[0_1|2]), (251,313,[0_1|2]), (251,173,[0_1|2]), (251,82,[2_1|2]), (251,89,[2_1|2]), (251,98,[1_1|2]), (251,103,[1_1|2]), (251,108,[1_1|2]), (251,113,[1_1|2]), (251,118,[1_1|2]), (251,123,[2_1|2]), (251,128,[2_1|2]), (251,133,[2_1|2]), (251,138,[2_1|2]), (251,143,[2_1|2]), (251,148,[2_1|2]), (251,153,[4_1|2]), (251,158,[2_1|2]), (251,182,[2_1|2]), (251,187,[2_1|2]), (251,418,[2_1|3]), (251,423,[2_1|3]), (251,426,[0_1|3]), (251,430,[2_1|3]), (251,434,[0_1|3]), (251,439,[1_1|3]), (251,444,[1_1|3]), (251,449,[1_1|3]), (251,454,[1_1|3]), (251,459,[1_1|3]), (251,464,[2_1|3]), (251,469,[2_1|3]), (251,474,[2_1|3]), (251,479,[2_1|3]), (251,484,[2_1|3]), (251,489,[2_1|3]), (251,494,[4_1|3]), (252,253,[0_1|2]), (253,254,[2_1|2]), (254,255,[3_1|2]), (255,256,[5_1|2]), (256,81,[0_1|2]), (256,85,[0_1|2]), (256,93,[0_1|2]), (256,163,[0_1|2]), (256,167,[0_1|2]), (256,172,[0_1|2]), (256,177,[0_1|2]), (256,207,[0_1|2]), (256,212,[0_1|2]), (256,217,[0_1|2]), (256,227,[0_1|2]), (256,283,[0_1|2]), (256,288,[0_1|2]), (256,313,[0_1|2]), (256,253,[0_1|2]), (256,82,[2_1|2]), (256,89,[2_1|2]), (256,98,[1_1|2]), (256,103,[1_1|2]), (256,108,[1_1|2]), (256,113,[1_1|2]), (256,118,[1_1|2]), (256,123,[2_1|2]), (256,128,[2_1|2]), (256,133,[2_1|2]), (256,138,[2_1|2]), (256,143,[2_1|2]), (256,148,[2_1|2]), (256,153,[4_1|2]), (256,158,[2_1|2]), (256,182,[2_1|2]), (256,187,[2_1|2]), (256,418,[2_1|3]), (256,423,[2_1|3]), (256,426,[0_1|3]), (256,430,[2_1|3]), (256,434,[0_1|3]), (256,439,[1_1|3]), (256,444,[1_1|3]), (256,449,[1_1|3]), (256,454,[1_1|3]), (256,459,[1_1|3]), (256,464,[2_1|3]), (256,469,[2_1|3]), (256,474,[2_1|3]), (256,479,[2_1|3]), (256,484,[2_1|3]), (256,489,[2_1|3]), (256,494,[4_1|3]), (257,258,[0_1|2]), (258,259,[3_1|2]), (259,260,[4_1|2]), (260,81,[0_1|2]), (260,85,[0_1|2]), (260,93,[0_1|2]), (260,163,[0_1|2]), (260,167,[0_1|2]), (260,172,[0_1|2]), (260,177,[0_1|2]), (260,207,[0_1|2]), (260,212,[0_1|2]), (260,217,[0_1|2]), (260,227,[0_1|2]), (260,283,[0_1|2]), (260,288,[0_1|2]), (260,313,[0_1|2]), (260,173,[0_1|2]), (260,310,[0_1|2]), (260,82,[2_1|2]), (260,89,[2_1|2]), (260,98,[1_1|2]), (260,103,[1_1|2]), (260,108,[1_1|2]), (260,113,[1_1|2]), (260,118,[1_1|2]), (260,123,[2_1|2]), (260,128,[2_1|2]), (260,133,[2_1|2]), (260,138,[2_1|2]), (260,143,[2_1|2]), (260,148,[2_1|2]), (260,153,[4_1|2]), (260,158,[2_1|2]), (260,182,[2_1|2]), (260,187,[2_1|2]), (260,418,[2_1|3]), (260,423,[2_1|3]), (260,426,[0_1|3]), (260,430,[2_1|3]), (260,434,[0_1|3]), (260,439,[1_1|3]), (260,444,[1_1|3]), (260,449,[1_1|3]), (260,454,[1_1|3]), (260,459,[1_1|3]), (260,464,[2_1|3]), (260,469,[2_1|3]), (260,474,[2_1|3]), (260,479,[2_1|3]), (260,484,[2_1|3]), (260,489,[2_1|3]), (260,494,[4_1|3]), (261,262,[0_1|2]), (261,423,[2_1|3]), (261,426,[0_1|3]), (261,430,[2_1|3]), (261,434,[0_1|3]), (261,439,[1_1|3]), (261,444,[1_1|3]), (261,449,[1_1|3]), (261,454,[1_1|3]), (261,459,[1_1|3]), (261,464,[2_1|3]), (261,469,[2_1|3]), (261,474,[2_1|3]), (261,479,[2_1|3]), (261,484,[2_1|3]), (261,489,[2_1|3]), (261,494,[4_1|3]), (262,263,[3_1|2]), (262,257,[1_1|2]), (262,261,[2_1|2]), (262,265,[3_1|2]), (262,269,[1_1|2]), (262,274,[3_1|2]), (262,607,[1_1|3]), (262,611,[2_1|3]), (262,615,[3_1|3]), (262,619,[1_1|3]), (262,624,[3_1|3]), (263,264,[1_1|2]), (263,192,[1_1|2]), (263,597,[1_1|3]), (264,81,[0_1|2]), (264,85,[0_1|2]), (264,93,[0_1|2]), (264,163,[0_1|2]), (264,167,[0_1|2]), (264,172,[0_1|2]), (264,177,[0_1|2]), (264,207,[0_1|2]), (264,212,[0_1|2]), (264,217,[0_1|2]), (264,227,[0_1|2]), (264,283,[0_1|2]), (264,288,[0_1|2]), (264,313,[0_1|2]), (264,173,[0_1|2]), (264,310,[0_1|2]), (264,82,[2_1|2]), (264,89,[2_1|2]), (264,98,[1_1|2]), (264,103,[1_1|2]), (264,108,[1_1|2]), (264,113,[1_1|2]), (264,118,[1_1|2]), (264,123,[2_1|2]), (264,128,[2_1|2]), (264,133,[2_1|2]), (264,138,[2_1|2]), (264,143,[2_1|2]), (264,148,[2_1|2]), (264,153,[4_1|2]), (264,158,[2_1|2]), (264,182,[2_1|2]), (264,187,[2_1|2]), (264,418,[2_1|3]), (264,423,[2_1|3]), (264,426,[0_1|3]), (264,430,[2_1|3]), (264,434,[0_1|3]), (264,439,[1_1|3]), (264,444,[1_1|3]), (264,449,[1_1|3]), (264,454,[1_1|3]), (264,459,[1_1|3]), (264,464,[2_1|3]), (264,469,[2_1|3]), (264,474,[2_1|3]), (264,479,[2_1|3]), (264,484,[2_1|3]), (264,489,[2_1|3]), (264,494,[4_1|3]), (265,266,[0_1|2]), (266,267,[0_1|2]), (267,268,[5_1|2]), (268,81,[1_1|2]), (268,85,[1_1|2]), (268,93,[1_1|2]), (268,163,[1_1|2]), (268,167,[1_1|2]), (268,172,[1_1|2]), (268,177,[1_1|2]), (268,207,[1_1|2, 0_1|2]), (268,212,[1_1|2, 0_1|2]), (268,217,[1_1|2, 0_1|2]), (268,227,[1_1|2]), (268,283,[1_1|2]), (268,288,[1_1|2]), (268,313,[1_1|2]), (268,173,[1_1|2]), (268,310,[1_1|2]), (268,192,[1_1|2]), (268,197,[1_1|2]), (268,202,[5_1|2]), (268,222,[1_1|2]), (268,649,[0_1|3]), (268,654,[0_1|3]), (269,270,[2_1|2]), (270,271,[0_1|2]), (271,272,[3_1|2]), (272,273,[0_1|2]), (273,81,[2_1|2]), (273,85,[2_1|2]), (273,93,[2_1|2]), (273,163,[2_1|2]), (273,167,[2_1|2]), (273,172,[2_1|2]), (273,177,[2_1|2]), (273,207,[2_1|2]), (273,212,[2_1|2]), (273,217,[2_1|2]), (273,227,[2_1|2]), (273,283,[2_1|2]), (273,288,[2_1|2]), (273,313,[2_1|2]), (273,173,[2_1|2]), (273,310,[2_1|2]), (274,275,[1_1|2]), (274,639,[0_1|3]), (274,644,[0_1|3]), (275,276,[3_1|2]), (276,277,[0_1|2]), (277,278,[2_1|2]), (278,81,[0_1|2]), (278,85,[0_1|2]), (278,93,[0_1|2]), (278,163,[0_1|2]), (278,167,[0_1|2]), (278,172,[0_1|2]), (278,177,[0_1|2]), (278,207,[0_1|2]), (278,212,[0_1|2]), (278,217,[0_1|2]), (278,227,[0_1|2]), (278,283,[0_1|2]), (278,288,[0_1|2]), (278,313,[0_1|2]), (278,173,[0_1|2]), (278,310,[0_1|2]), (278,82,[2_1|2]), (278,89,[2_1|2]), (278,98,[1_1|2]), (278,103,[1_1|2]), (278,108,[1_1|2]), (278,113,[1_1|2]), (278,118,[1_1|2]), (278,123,[2_1|2]), (278,128,[2_1|2]), (278,133,[2_1|2]), (278,138,[2_1|2]), (278,143,[2_1|2]), (278,148,[2_1|2]), (278,153,[4_1|2]), (278,158,[2_1|2]), (278,182,[2_1|2]), (278,187,[2_1|2]), (278,418,[2_1|3]), (278,423,[2_1|3]), (278,426,[0_1|3]), (278,430,[2_1|3]), (278,434,[0_1|3]), (278,439,[1_1|3]), (278,444,[1_1|3]), (278,449,[1_1|3]), (278,454,[1_1|3]), (278,459,[1_1|3]), (278,464,[2_1|3]), (278,469,[2_1|3]), (278,474,[2_1|3]), (278,479,[2_1|3]), (278,484,[2_1|3]), (278,489,[2_1|3]), (278,494,[4_1|3]), (279,280,[1_1|2]), (280,281,[3_1|2]), (281,282,[5_1|2]), (282,81,[0_1|2]), (282,85,[0_1|2]), (282,93,[0_1|2]), (282,163,[0_1|2]), (282,167,[0_1|2]), (282,172,[0_1|2]), (282,177,[0_1|2]), (282,207,[0_1|2]), (282,212,[0_1|2]), (282,217,[0_1|2]), (282,227,[0_1|2]), (282,283,[0_1|2]), (282,288,[0_1|2]), (282,313,[0_1|2]), (282,253,[0_1|2]), (282,82,[2_1|2]), (282,89,[2_1|2]), (282,98,[1_1|2]), (282,103,[1_1|2]), (282,108,[1_1|2]), (282,113,[1_1|2]), (282,118,[1_1|2]), (282,123,[2_1|2]), (282,128,[2_1|2]), (282,133,[2_1|2]), (282,138,[2_1|2]), (282,143,[2_1|2]), (282,148,[2_1|2]), (282,153,[4_1|2]), (282,158,[2_1|2]), (282,182,[2_1|2]), (282,187,[2_1|2]), (282,418,[2_1|3]), (282,423,[2_1|3]), (282,426,[0_1|3]), (282,430,[2_1|3]), (282,434,[0_1|3]), (282,439,[1_1|3]), (282,444,[1_1|3]), (282,449,[1_1|3]), (282,454,[1_1|3]), (282,459,[1_1|3]), (282,464,[2_1|3]), (282,469,[2_1|3]), (282,474,[2_1|3]), (282,479,[2_1|3]), (282,484,[2_1|3]), (282,489,[2_1|3]), (282,494,[4_1|3]), (283,284,[2_1|2]), (284,285,[5_1|2]), (285,286,[1_1|2]), (286,287,[3_1|2]), (287,81,[5_1|2]), (287,85,[5_1|2]), (287,93,[5_1|2]), (287,163,[5_1|2]), (287,167,[5_1|2]), (287,172,[5_1|2]), (287,177,[5_1|2]), (287,207,[5_1|2]), (287,212,[5_1|2]), (287,217,[5_1|2]), (287,227,[5_1|2]), (287,283,[5_1|2]), (287,288,[5_1|2]), (287,313,[5_1|2]), (287,253,[5_1|2]), (288,289,[3_1|2]), (289,290,[1_1|2]), (290,291,[3_1|2]), (291,292,[4_1|2]), (292,81,[5_1|2]), (292,85,[5_1|2]), (292,93,[5_1|2]), (292,163,[5_1|2]), (292,167,[5_1|2]), (292,172,[5_1|2]), (292,177,[5_1|2]), (292,207,[5_1|2]), (292,212,[5_1|2]), (292,217,[5_1|2]), (292,227,[5_1|2]), (292,283,[5_1|2]), (292,288,[5_1|2]), (292,313,[5_1|2]), (292,253,[5_1|2]), (293,294,[5_1|2]), (294,295,[2_1|2]), (295,296,[3_1|2]), (296,297,[5_1|2]), (297,81,[0_1|2]), (297,85,[0_1|2]), (297,93,[0_1|2]), (297,163,[0_1|2]), (297,167,[0_1|2]), (297,172,[0_1|2]), (297,177,[0_1|2]), (297,207,[0_1|2]), (297,212,[0_1|2]), (297,217,[0_1|2]), (297,227,[0_1|2]), (297,283,[0_1|2]), (297,288,[0_1|2]), (297,313,[0_1|2]), (297,253,[0_1|2]), (297,82,[2_1|2]), (297,89,[2_1|2]), (297,98,[1_1|2]), (297,103,[1_1|2]), (297,108,[1_1|2]), (297,113,[1_1|2]), (297,118,[1_1|2]), (297,123,[2_1|2]), (297,128,[2_1|2]), (297,133,[2_1|2]), (297,138,[2_1|2]), (297,143,[2_1|2]), (297,148,[2_1|2]), (297,153,[4_1|2]), (297,158,[2_1|2]), (297,182,[2_1|2]), (297,187,[2_1|2]), (297,418,[2_1|3]), (297,423,[2_1|3]), (297,426,[0_1|3]), (297,430,[2_1|3]), (297,434,[0_1|3]), (297,439,[1_1|3]), (297,444,[1_1|3]), (297,449,[1_1|3]), (297,454,[1_1|3]), (297,459,[1_1|3]), (297,464,[2_1|3]), (297,469,[2_1|3]), (297,474,[2_1|3]), (297,479,[2_1|3]), (297,484,[2_1|3]), (297,489,[2_1|3]), (297,494,[4_1|3]), (298,299,[1_1|2]), (299,300,[4_1|2]), (300,301,[0_1|2]), (301,302,[2_1|2]), (302,81,[5_1|2]), (302,85,[5_1|2]), (302,93,[5_1|2]), (302,163,[5_1|2]), (302,167,[5_1|2]), (302,172,[5_1|2]), (302,177,[5_1|2]), (302,207,[5_1|2]), (302,212,[5_1|2]), (302,217,[5_1|2]), (302,227,[5_1|2]), (302,283,[5_1|2]), (302,288,[5_1|2]), (302,313,[5_1|2]), (302,253,[5_1|2]), (303,304,[0_1|2]), (304,305,[5_1|2]), (305,306,[1_1|2]), (306,307,[3_1|2]), (307,81,[5_1|2]), (307,85,[5_1|2]), (307,93,[5_1|2]), (307,163,[5_1|2]), (307,167,[5_1|2]), (307,172,[5_1|2]), (307,177,[5_1|2]), (307,207,[5_1|2]), (307,212,[5_1|2]), (307,217,[5_1|2]), (307,227,[5_1|2]), (307,283,[5_1|2]), (307,288,[5_1|2]), (307,313,[5_1|2]), (307,253,[5_1|2]), (308,309,[0_1|2]), (309,310,[0_1|2]), (310,311,[3_1|2]), (311,312,[4_1|2]), (312,81,[0_1|2]), (312,85,[0_1|2]), (312,93,[0_1|2]), (312,163,[0_1|2]), (312,167,[0_1|2]), (312,172,[0_1|2]), (312,177,[0_1|2]), (312,207,[0_1|2]), (312,212,[0_1|2]), (312,217,[0_1|2]), (312,227,[0_1|2]), (312,283,[0_1|2]), (312,288,[0_1|2]), (312,313,[0_1|2]), (312,173,[0_1|2]), (312,82,[2_1|2]), (312,89,[2_1|2]), (312,98,[1_1|2]), (312,103,[1_1|2]), (312,108,[1_1|2]), (312,113,[1_1|2]), (312,118,[1_1|2]), (312,123,[2_1|2]), (312,128,[2_1|2]), (312,133,[2_1|2]), (312,138,[2_1|2]), (312,143,[2_1|2]), (312,148,[2_1|2]), (312,153,[4_1|2]), (312,158,[2_1|2]), (312,182,[2_1|2]), (312,187,[2_1|2]), (312,418,[2_1|3]), (312,423,[2_1|3]), (312,426,[0_1|3]), (312,430,[2_1|3]), (312,434,[0_1|3]), (312,439,[1_1|3]), (312,444,[1_1|3]), (312,449,[1_1|3]), (312,454,[1_1|3]), (312,459,[1_1|3]), (312,464,[2_1|3]), (312,469,[2_1|3]), (312,474,[2_1|3]), (312,479,[2_1|3]), (312,484,[2_1|3]), (312,489,[2_1|3]), (312,494,[4_1|3]), (313,314,[5_1|2]), (314,315,[1_1|2]), (315,316,[3_1|2]), (316,317,[5_1|2]), (317,81,[4_1|2]), (317,85,[4_1|2]), (317,93,[4_1|2]), (317,163,[4_1|2]), (317,167,[4_1|2]), (317,172,[4_1|2]), (317,177,[4_1|2]), (317,207,[4_1|2]), (317,212,[4_1|2]), (317,217,[4_1|2]), (317,227,[4_1|2]), (317,283,[4_1|2]), (317,288,[4_1|2]), (317,313,[4_1|2]), (317,253,[4_1|2]), (328,329,[0_1|3]), (329,330,[0_1|3]), (329,328,[2_1|3]), (329,331,[0_1|3]), (329,335,[2_1|3]), (329,339,[0_1|3]), (329,344,[1_1|3]), (329,349,[1_1|3]), (329,354,[1_1|3]), (329,359,[1_1|3]), (329,364,[1_1|3]), (329,369,[2_1|3]), (329,374,[2_1|3]), (329,379,[2_1|3]), (329,384,[2_1|3]), (329,389,[2_1|3]), (329,394,[2_1|3]), (329,399,[4_1|3]), (330,85,[1_1|3]), (330,93,[1_1|3]), (330,163,[1_1|3]), (330,167,[1_1|3]), (330,172,[1_1|3]), (330,177,[1_1|3]), (330,207,[1_1|3]), (330,212,[1_1|3]), (330,217,[1_1|3]), (330,227,[1_1|3]), (330,283,[1_1|3]), (330,288,[1_1|3]), (330,313,[1_1|3]), (330,173,[1_1|3]), (330,310,[1_1|3]), (330,649,[1_1|3]), (330,654,[1_1|3]), (331,332,[1_1|3]), (332,333,[2_1|3]), (333,334,[2_1|3]), (334,85,[0_1|3]), (334,93,[0_1|3]), (334,163,[0_1|3]), (334,167,[0_1|3]), (334,172,[0_1|3]), (334,177,[0_1|3]), (334,207,[0_1|3]), (334,212,[0_1|3]), (334,217,[0_1|3]), (334,227,[0_1|3]), (334,283,[0_1|3]), (334,288,[0_1|3]), (334,313,[0_1|3]), (334,173,[0_1|3]), (334,310,[0_1|3]), (334,649,[0_1|3]), (334,654,[0_1|3]), (335,336,[0_1|3]), (336,337,[0_1|3]), (337,338,[3_1|3]), (338,85,[1_1|3]), (338,93,[1_1|3]), (338,163,[1_1|3]), (338,167,[1_1|3]), (338,172,[1_1|3]), (338,177,[1_1|3]), (338,207,[1_1|3]), (338,212,[1_1|3]), (338,217,[1_1|3]), (338,227,[1_1|3]), (338,283,[1_1|3]), (338,288,[1_1|3]), (338,313,[1_1|3]), (338,173,[1_1|3]), (338,310,[1_1|3]), (338,649,[1_1|3]), (338,654,[1_1|3]), (339,340,[1_1|3]), (340,341,[2_1|3]), (341,342,[4_1|3]), (342,343,[0_1|3]), (343,85,[3_1|3]), (343,93,[3_1|3]), (343,163,[3_1|3]), (343,167,[3_1|3]), (343,172,[3_1|3]), (343,177,[3_1|3]), (343,207,[3_1|3]), (343,212,[3_1|3]), (343,217,[3_1|3]), (343,227,[3_1|3]), (343,283,[3_1|3]), (343,288,[3_1|3]), (343,313,[3_1|3]), (343,173,[3_1|3]), (343,310,[3_1|3]), (343,649,[3_1|3]), (343,654,[3_1|3]), (344,345,[2_1|3]), (345,346,[2_1|3]), (346,347,[0_1|3]), (347,348,[0_1|3]), (348,85,[4_1|3]), (348,93,[4_1|3]), (348,163,[4_1|3]), (348,167,[4_1|3]), (348,172,[4_1|3]), (348,177,[4_1|3]), (348,207,[4_1|3]), (348,212,[4_1|3]), (348,217,[4_1|3]), (348,227,[4_1|3]), (348,283,[4_1|3]), (348,288,[4_1|3]), (348,313,[4_1|3]), (348,173,[4_1|3]), (348,310,[4_1|3]), (348,649,[4_1|3]), (348,654,[4_1|3]), (349,350,[2_1|3]), (350,351,[3_1|3]), (351,352,[4_1|3]), (352,353,[0_1|3]), (353,85,[0_1|3]), (353,93,[0_1|3]), (353,163,[0_1|3]), (353,167,[0_1|3]), (353,172,[0_1|3]), (353,177,[0_1|3]), (353,207,[0_1|3]), (353,212,[0_1|3]), (353,217,[0_1|3]), (353,227,[0_1|3]), (353,283,[0_1|3]), (353,288,[0_1|3]), (353,313,[0_1|3]), (353,173,[0_1|3]), (353,310,[0_1|3]), (353,649,[0_1|3]), (353,654,[0_1|3]), (354,355,[3_1|3]), (355,356,[2_1|3]), (356,357,[0_1|3]), (357,358,[0_1|3]), (358,85,[0_1|3]), (358,93,[0_1|3]), (358,163,[0_1|3]), (358,167,[0_1|3]), (358,172,[0_1|3]), (358,177,[0_1|3]), (358,207,[0_1|3]), (358,212,[0_1|3]), (358,217,[0_1|3]), (358,227,[0_1|3]), (358,283,[0_1|3]), (358,288,[0_1|3]), (358,313,[0_1|3]), (358,173,[0_1|3]), (358,310,[0_1|3]), (358,649,[0_1|3]), (358,654,[0_1|3]), (359,360,[3_1|3]), (360,361,[4_1|3]), (361,362,[0_1|3]), (362,363,[2_1|3]), (363,85,[0_1|3]), (363,93,[0_1|3]), (363,163,[0_1|3]), (363,167,[0_1|3]), (363,172,[0_1|3]), (363,177,[0_1|3]), (363,207,[0_1|3]), (363,212,[0_1|3]), (363,217,[0_1|3]), (363,227,[0_1|3]), (363,283,[0_1|3]), (363,288,[0_1|3]), (363,313,[0_1|3]), (363,173,[0_1|3]), (363,310,[0_1|3]), (363,649,[0_1|3]), (363,654,[0_1|3]), (364,365,[3_1|3]), (365,366,[4_1|3]), (366,367,[4_1|3]), (367,368,[0_1|3]), (368,85,[0_1|3]), (368,93,[0_1|3]), (368,163,[0_1|3]), (368,167,[0_1|3]), (368,172,[0_1|3]), (368,177,[0_1|3]), (368,207,[0_1|3]), (368,212,[0_1|3]), (368,217,[0_1|3]), (368,227,[0_1|3]), (368,283,[0_1|3]), (368,288,[0_1|3]), (368,313,[0_1|3]), (368,173,[0_1|3]), (368,310,[0_1|3]), (368,649,[0_1|3]), (368,654,[0_1|3]), (369,370,[0_1|3]), (370,371,[0_1|3]), (371,372,[1_1|3]), (372,373,[2_1|3]), (373,85,[2_1|3]), (373,93,[2_1|3]), (373,163,[2_1|3]), (373,167,[2_1|3]), (373,172,[2_1|3]), (373,177,[2_1|3]), (373,207,[2_1|3]), (373,212,[2_1|3]), (373,217,[2_1|3]), (373,227,[2_1|3]), (373,283,[2_1|3]), (373,288,[2_1|3]), (373,313,[2_1|3]), (373,173,[2_1|3]), (373,310,[2_1|3]), (373,649,[2_1|3]), (373,654,[2_1|3]), (374,375,[0_1|3]), (375,376,[0_1|3]), (376,377,[2_1|3]), (377,378,[0_1|3]), (377,328,[2_1|3]), (377,331,[0_1|3]), (377,335,[2_1|3]), (377,339,[0_1|3]), (377,344,[1_1|3]), (377,349,[1_1|3]), (377,354,[1_1|3]), (377,359,[1_1|3]), (377,364,[1_1|3]), (377,369,[2_1|3]), (377,374,[2_1|3]), (377,379,[2_1|3]), (377,384,[2_1|3]), (377,389,[2_1|3]), (377,394,[2_1|3]), (377,399,[4_1|3]), (378,85,[1_1|3]), (378,93,[1_1|3]), (378,163,[1_1|3]), (378,167,[1_1|3]), (378,172,[1_1|3]), (378,177,[1_1|3]), (378,207,[1_1|3]), (378,212,[1_1|3]), (378,217,[1_1|3]), (378,227,[1_1|3]), (378,283,[1_1|3]), (378,288,[1_1|3]), (378,313,[1_1|3]), (378,173,[1_1|3]), (378,310,[1_1|3]), (378,649,[1_1|3]), (378,654,[1_1|3]), (379,380,[0_1|3]), (380,381,[0_1|3]), (381,382,[3_1|3]), (381,572,[0_1|3]), (381,577,[2_1|3]), (381,582,[2_1|3]), (381,587,[3_1|3]), (382,383,[0_1|3]), (382,328,[2_1|3]), (382,331,[0_1|3]), (382,335,[2_1|3]), (382,339,[0_1|3]), (382,344,[1_1|3]), (382,349,[1_1|3]), (382,354,[1_1|3]), (382,359,[1_1|3]), (382,364,[1_1|3]), (382,369,[2_1|3]), (382,374,[2_1|3]), (382,379,[2_1|3]), (382,384,[2_1|3]), (382,389,[2_1|3]), (382,394,[2_1|3]), (382,399,[4_1|3]), (383,85,[1_1|3]), (383,93,[1_1|3]), (383,163,[1_1|3]), (383,167,[1_1|3]), (383,172,[1_1|3]), (383,177,[1_1|3]), (383,207,[1_1|3]), (383,212,[1_1|3]), (383,217,[1_1|3]), (383,227,[1_1|3]), (383,283,[1_1|3]), (383,288,[1_1|3]), (383,313,[1_1|3]), (383,173,[1_1|3]), (383,310,[1_1|3]), (383,649,[1_1|3]), (383,654,[1_1|3]), (384,385,[0_1|3]), (385,386,[2_1|3]), (386,387,[0_1|3]), (387,388,[4_1|3]), (388,85,[1_1|3]), (388,93,[1_1|3]), (388,163,[1_1|3]), (388,167,[1_1|3]), (388,172,[1_1|3]), (388,177,[1_1|3]), (388,207,[1_1|3]), (388,212,[1_1|3]), (388,217,[1_1|3]), (388,227,[1_1|3]), (388,283,[1_1|3]), (388,288,[1_1|3]), (388,313,[1_1|3]), (388,173,[1_1|3]), (388,310,[1_1|3]), (388,649,[1_1|3]), (388,654,[1_1|3]), (389,390,[1_1|3]), (390,391,[2_1|3]), (391,392,[2_1|3]), (392,393,[0_1|3]), (393,85,[0_1|3]), (393,93,[0_1|3]), (393,163,[0_1|3]), (393,167,[0_1|3]), (393,172,[0_1|3]), (393,177,[0_1|3]), (393,207,[0_1|3]), (393,212,[0_1|3]), (393,217,[0_1|3]), (393,227,[0_1|3]), (393,283,[0_1|3]), (393,288,[0_1|3]), (393,313,[0_1|3]), (393,173,[0_1|3]), (393,310,[0_1|3]), (393,649,[0_1|3]), (393,654,[0_1|3]), (394,395,[4_1|3]), (395,396,[0_1|3]), (396,397,[4_1|3]), (397,398,[0_1|3]), (397,328,[2_1|3]), (397,331,[0_1|3]), (397,335,[2_1|3]), (397,339,[0_1|3]), (397,344,[1_1|3]), (397,349,[1_1|3]), (397,354,[1_1|3]), (397,359,[1_1|3]), (397,364,[1_1|3]), (397,369,[2_1|3]), (397,374,[2_1|3]), (397,379,[2_1|3]), (397,384,[2_1|3]), (397,389,[2_1|3]), (397,394,[2_1|3]), (397,399,[4_1|3]), (398,85,[1_1|3]), (398,93,[1_1|3]), (398,163,[1_1|3]), (398,167,[1_1|3]), (398,172,[1_1|3]), (398,177,[1_1|3]), (398,207,[1_1|3]), (398,212,[1_1|3]), (398,217,[1_1|3]), (398,227,[1_1|3]), (398,283,[1_1|3]), (398,288,[1_1|3]), (398,313,[1_1|3]), (398,173,[1_1|3]), (398,310,[1_1|3]), (398,649,[1_1|3]), (398,654,[1_1|3]), (399,400,[1_1|3]), (400,401,[2_1|3]), (401,402,[2_1|3]), (402,403,[0_1|3]), (403,85,[0_1|3]), (403,93,[0_1|3]), (403,163,[0_1|3]), (403,167,[0_1|3]), (403,172,[0_1|3]), (403,177,[0_1|3]), (403,207,[0_1|3]), (403,212,[0_1|3]), (403,217,[0_1|3]), (403,227,[0_1|3]), (403,283,[0_1|3]), (403,288,[0_1|3]), (403,313,[0_1|3]), (403,173,[0_1|3]), (403,310,[0_1|3]), (403,649,[0_1|3]), (403,654,[0_1|3]), (404,405,[3_1|3]), (405,406,[5_1|3]), (406,407,[1_1|3]), (407,253,[0_1|3]), (408,409,[3_1|3]), (409,410,[3_1|3]), (410,411,[5_1|3]), (411,412,[1_1|3]), (412,253,[0_1|3]), (413,414,[2_1|3]), (414,415,[0_1|3]), (415,416,[0_1|3]), (415,592,[2_1|3]), (416,417,[1_1|3]), (417,258,[1_1|3]), (417,309,[1_1|3]), (417,199,[1_1|3]), (418,419,[2_1|3]), (419,420,[0_1|3]), (420,421,[0_1|3]), (421,422,[1_1|3]), (422,199,[1_1|3]), (423,424,[0_1|3]), (424,425,[0_1|3]), (424,328,[2_1|3]), (424,331,[0_1|3]), (424,335,[2_1|3]), (424,339,[0_1|3]), (424,344,[1_1|3]), (424,349,[1_1|3]), (424,354,[1_1|3]), (424,359,[1_1|3]), (424,364,[1_1|3]), (424,369,[2_1|3]), (424,374,[2_1|3]), (424,379,[2_1|3]), (424,384,[2_1|3]), (424,389,[2_1|3]), (424,394,[2_1|3]), (424,399,[4_1|3]), (425,258,[1_1|3]), (425,309,[1_1|3]), (425,500,[1_1|3]), (425,551,[1_1|3]), (425,199,[1_1|3]), (425,608,[1_1|3]), (426,427,[1_1|3]), (427,428,[2_1|3]), (428,429,[2_1|3]), (429,258,[0_1|3]), (429,309,[0_1|3]), (429,500,[0_1|3]), (429,551,[0_1|3]), (429,199,[0_1|3]), (429,608,[0_1|3]), (430,431,[0_1|3]), (431,432,[0_1|3]), (432,433,[3_1|3]), (433,258,[1_1|3]), (433,309,[1_1|3]), (433,500,[1_1|3]), (433,551,[1_1|3]), (433,199,[1_1|3]), (433,608,[1_1|3]), (434,435,[1_1|3]), (435,436,[2_1|3]), (436,437,[4_1|3]), (437,438,[0_1|3]), (438,258,[3_1|3]), (438,309,[3_1|3]), (438,500,[3_1|3]), (438,551,[3_1|3]), (438,199,[3_1|3]), (438,608,[3_1|3]), (439,440,[2_1|3]), (440,441,[2_1|3]), (441,442,[0_1|3]), (442,443,[0_1|3]), (443,258,[4_1|3]), (443,309,[4_1|3]), (443,500,[4_1|3]), (443,551,[4_1|3]), (443,199,[4_1|3]), (443,608,[4_1|3]), (444,445,[2_1|3]), (445,446,[3_1|3]), (446,447,[4_1|3]), (447,448,[0_1|3]), (448,258,[0_1|3]), (448,309,[0_1|3]), (448,500,[0_1|3]), (448,551,[0_1|3]), (448,199,[0_1|3]), (448,608,[0_1|3]), (449,450,[3_1|3]), (450,451,[2_1|3]), (451,452,[0_1|3]), (452,453,[0_1|3]), (453,258,[0_1|3]), (453,309,[0_1|3]), (453,500,[0_1|3]), (453,551,[0_1|3]), (453,199,[0_1|3]), (453,608,[0_1|3]), (454,455,[3_1|3]), (455,456,[4_1|3]), (456,457,[0_1|3]), (457,458,[2_1|3]), (458,258,[0_1|3]), (458,309,[0_1|3]), (458,500,[0_1|3]), (458,551,[0_1|3]), (458,199,[0_1|3]), (458,608,[0_1|3]), (459,460,[3_1|3]), (460,461,[4_1|3]), (461,462,[4_1|3]), (462,463,[0_1|3]), (463,258,[0_1|3]), (463,309,[0_1|3]), (463,500,[0_1|3]), (463,551,[0_1|3]), (463,199,[0_1|3]), (463,608,[0_1|3]), (464,465,[0_1|3]), (465,466,[0_1|3]), (466,467,[1_1|3]), (467,468,[2_1|3]), (468,258,[2_1|3]), (468,309,[2_1|3]), (468,500,[2_1|3]), (468,551,[2_1|3]), (468,199,[2_1|3]), (468,608,[2_1|3]), (469,470,[0_1|3]), (470,471,[0_1|3]), (471,472,[2_1|3]), (472,473,[0_1|3]), (472,328,[2_1|3]), (472,331,[0_1|3]), (472,335,[2_1|3]), (472,339,[0_1|3]), (472,344,[1_1|3]), (472,349,[1_1|3]), (472,354,[1_1|3]), (472,359,[1_1|3]), (472,364,[1_1|3]), (472,369,[2_1|3]), (472,374,[2_1|3]), (472,379,[2_1|3]), (472,384,[2_1|3]), (472,389,[2_1|3]), (472,394,[2_1|3]), (472,399,[4_1|3]), (473,258,[1_1|3]), (473,309,[1_1|3]), (473,500,[1_1|3]), (473,551,[1_1|3]), (473,199,[1_1|3]), (473,608,[1_1|3]), (474,475,[0_1|3]), (475,476,[0_1|3]), (476,477,[3_1|3]), (476,572,[0_1|3]), (476,577,[2_1|3]), (476,582,[2_1|3]), (476,587,[3_1|3]), (477,478,[0_1|3]), (477,328,[2_1|3]), (477,331,[0_1|3]), (477,335,[2_1|3]), (477,339,[0_1|3]), (477,344,[1_1|3]), (477,349,[1_1|3]), (477,354,[1_1|3]), (477,359,[1_1|3]), (477,364,[1_1|3]), (477,369,[2_1|3]), (477,374,[2_1|3]), (477,379,[2_1|3]), (477,384,[2_1|3]), (477,389,[2_1|3]), (477,394,[2_1|3]), (477,399,[4_1|3]), (478,258,[1_1|3]), (478,309,[1_1|3]), (478,500,[1_1|3]), (478,551,[1_1|3]), (478,199,[1_1|3]), (478,608,[1_1|3]), (479,480,[0_1|3]), (480,481,[2_1|3]), (481,482,[0_1|3]), (482,483,[4_1|3]), (483,258,[1_1|3]), (483,309,[1_1|3]), (483,500,[1_1|3]), (483,551,[1_1|3]), (483,199,[1_1|3]), (483,608,[1_1|3]), (484,485,[1_1|3]), (485,486,[2_1|3]), (486,487,[2_1|3]), (487,488,[0_1|3]), (488,258,[0_1|3]), (488,309,[0_1|3]), (488,500,[0_1|3]), (488,551,[0_1|3]), (488,199,[0_1|3]), (488,608,[0_1|3]), (489,490,[4_1|3]), (490,491,[0_1|3]), (491,492,[4_1|3]), (492,493,[0_1|3]), (492,328,[2_1|3]), (492,331,[0_1|3]), (492,335,[2_1|3]), (492,339,[0_1|3]), (492,344,[1_1|3]), (492,349,[1_1|3]), (492,354,[1_1|3]), (492,359,[1_1|3]), (492,364,[1_1|3]), (492,369,[2_1|3]), (492,374,[2_1|3]), (492,379,[2_1|3]), (492,384,[2_1|3]), (492,389,[2_1|3]), (492,394,[2_1|3]), (492,399,[4_1|3]), (493,258,[1_1|3]), (493,309,[1_1|3]), (493,500,[1_1|3]), (493,551,[1_1|3]), (493,199,[1_1|3]), (493,608,[1_1|3]), (494,495,[1_1|3]), (495,496,[2_1|3]), (496,497,[2_1|3]), (497,498,[0_1|3]), (498,258,[0_1|3]), (498,309,[0_1|3]), (498,500,[0_1|3]), (498,551,[0_1|3]), (498,199,[0_1|3]), (498,608,[0_1|3]), (499,500,[0_1|3]), (500,501,[3_1|3]), (501,502,[4_1|3]), (502,173,[0_1|3]), (503,504,[0_1|3]), (504,505,[3_1|3]), (505,506,[1_1|3]), (506,173,[0_1|3]), (507,508,[0_1|3]), (508,509,[0_1|3]), (509,510,[5_1|3]), (510,173,[1_1|3]), (511,512,[2_1|3]), (512,513,[0_1|3]), (513,514,[3_1|3]), (514,515,[0_1|3]), (515,173,[2_1|3]), (516,517,[1_1|3]), (517,518,[3_1|3]), (518,519,[0_1|3]), (519,520,[2_1|3]), (520,173,[0_1|3]), (521,522,[1_1|3]), (522,523,[3_1|3]), (523,524,[5_1|3]), (524,253,[0_1|3]), (525,526,[2_1|3]), (526,527,[5_1|3]), (527,528,[1_1|3]), (528,529,[3_1|3]), (529,253,[5_1|3]), (530,531,[3_1|3]), (531,532,[1_1|3]), (532,533,[3_1|3]), (533,534,[4_1|3]), (534,253,[5_1|3]), (535,536,[5_1|3]), (536,537,[2_1|3]), (537,538,[3_1|3]), (538,539,[5_1|3]), (539,253,[0_1|3]), (540,541,[1_1|3]), (541,542,[4_1|3]), (542,543,[0_1|3]), (543,544,[2_1|3]), (544,253,[5_1|3]), (545,546,[0_1|3]), (546,547,[5_1|3]), (547,548,[1_1|3]), (548,549,[3_1|3]), (549,253,[5_1|3]), (550,551,[0_1|3]), (551,552,[3_1|3]), (552,553,[4_1|3]), (553,310,[0_1|3]), (554,555,[0_1|3]), (555,556,[3_1|3]), (556,557,[1_1|3]), (557,310,[0_1|3]), (558,559,[0_1|3]), (559,560,[0_1|3]), (560,561,[5_1|3]), (561,310,[1_1|3]), (562,563,[2_1|3]), (563,564,[0_1|3]), (564,565,[3_1|3]), (565,566,[0_1|3]), (566,310,[2_1|3]), (567,568,[1_1|3]), (568,569,[3_1|3]), (569,570,[0_1|3]), (570,571,[2_1|3]), (571,310,[0_1|3]), (572,573,[1_1|3]), (573,574,[3_1|3]), (574,575,[2_1|3]), (575,576,[0_1|3]), (576,85,[4_1|3]), (576,93,[4_1|3]), (576,163,[4_1|3]), (576,167,[4_1|3]), (576,172,[4_1|3]), (576,177,[4_1|3]), (576,207,[4_1|3]), (576,212,[4_1|3]), (576,217,[4_1|3]), (576,227,[4_1|3]), (576,283,[4_1|3]), (576,288,[4_1|3]), (576,313,[4_1|3]), (576,173,[4_1|3]), (576,310,[4_1|3]), (577,578,[0_1|3]), (578,579,[4_1|3]), (579,580,[3_1|3]), (579,572,[0_1|3]), (579,577,[2_1|3]), (579,582,[2_1|3]), (579,587,[3_1|3]), (580,581,[0_1|3]), (580,328,[2_1|3]), (580,331,[0_1|3]), (580,335,[2_1|3]), (580,339,[0_1|3]), (580,344,[1_1|3]), (580,349,[1_1|3]), (580,354,[1_1|3]), (580,359,[1_1|3]), (580,364,[1_1|3]), (580,369,[2_1|3]), (580,374,[2_1|3]), (580,379,[2_1|3]), (580,384,[2_1|3]), (580,389,[2_1|3]), (580,394,[2_1|3]), (580,399,[4_1|3]), (581,85,[1_1|3]), (581,93,[1_1|3]), (581,163,[1_1|3]), (581,167,[1_1|3]), (581,172,[1_1|3]), (581,177,[1_1|3]), (581,207,[1_1|3]), (581,212,[1_1|3]), (581,217,[1_1|3]), (581,227,[1_1|3]), (581,283,[1_1|3]), (581,288,[1_1|3]), (581,313,[1_1|3]), (581,173,[1_1|3]), (581,310,[1_1|3]), (582,583,[2_1|3]), (583,584,[3_1|3]), (584,585,[0_1|3]), (585,586,[0_1|3]), (585,328,[2_1|3]), (585,331,[0_1|3]), (585,335,[2_1|3]), (585,339,[0_1|3]), (585,344,[1_1|3]), (585,349,[1_1|3]), (585,354,[1_1|3]), (585,359,[1_1|3]), (585,364,[1_1|3]), (585,369,[2_1|3]), (585,374,[2_1|3]), (585,379,[2_1|3]), (585,384,[2_1|3]), (585,389,[2_1|3]), (585,394,[2_1|3]), (585,399,[4_1|3]), (586,85,[1_1|3]), (586,93,[1_1|3]), (586,163,[1_1|3]), (586,167,[1_1|3]), (586,172,[1_1|3]), (586,177,[1_1|3]), (586,207,[1_1|3]), (586,212,[1_1|3]), (586,217,[1_1|3]), (586,227,[1_1|3]), (586,283,[1_1|3]), (586,288,[1_1|3]), (586,313,[1_1|3]), (586,173,[1_1|3]), (586,310,[1_1|3]), (587,588,[0_1|3]), (588,589,[2_1|3]), (589,590,[2_1|3]), (590,591,[0_1|3]), (590,328,[2_1|3]), (590,331,[0_1|3]), (590,335,[2_1|3]), (590,339,[0_1|3]), (590,344,[1_1|3]), (590,349,[1_1|3]), (590,354,[1_1|3]), (590,359,[1_1|3]), (590,364,[1_1|3]), (590,369,[2_1|3]), (590,374,[2_1|3]), (590,379,[2_1|3]), (590,384,[2_1|3]), (590,389,[2_1|3]), (590,394,[2_1|3]), (590,399,[4_1|3]), (591,85,[1_1|3]), (591,93,[1_1|3]), (591,163,[1_1|3]), (591,167,[1_1|3]), (591,172,[1_1|3]), (591,177,[1_1|3]), (591,207,[1_1|3]), (591,212,[1_1|3]), (591,217,[1_1|3]), (591,227,[1_1|3]), (591,283,[1_1|3]), (591,288,[1_1|3]), (591,313,[1_1|3]), (591,173,[1_1|3]), (591,310,[1_1|3]), (592,593,[2_1|3]), (593,594,[0_1|3]), (594,595,[0_1|3]), (594,592,[2_1|3]), (595,596,[1_1|3]), (596,85,[1_1|3]), (596,93,[1_1|3]), (596,163,[1_1|3]), (596,167,[1_1|3]), (596,172,[1_1|3]), (596,177,[1_1|3]), (596,207,[1_1|3]), (596,212,[1_1|3]), (596,217,[1_1|3]), (596,227,[1_1|3]), (596,283,[1_1|3]), (596,288,[1_1|3]), (596,313,[1_1|3]), (596,173,[1_1|3]), (596,310,[1_1|3]), (597,598,[1_1|3]), (598,599,[3_1|3]), (599,600,[5_1|3]), (600,601,[0_1|3]), (601,258,[0_1|3]), (601,309,[0_1|3]), (602,603,[2_1|3]), (603,604,[0_1|3]), (604,605,[0_1|3]), (604,602,[2_1|3]), (605,606,[5_1|3]), (606,85,[5_1|3]), (606,93,[5_1|3]), (606,163,[5_1|3]), (606,167,[5_1|3]), (606,172,[5_1|3]), (606,177,[5_1|3]), (606,207,[5_1|3]), (606,212,[5_1|3]), (606,217,[5_1|3]), (606,227,[5_1|3]), (606,283,[5_1|3]), (606,288,[5_1|3]), (606,313,[5_1|3]), (606,173,[5_1|3]), (607,608,[0_1|3]), (608,609,[3_1|3]), (609,610,[4_1|3]), (610,85,[0_1|3]), (610,93,[0_1|3]), (610,163,[0_1|3]), (610,167,[0_1|3]), (610,172,[0_1|3]), (610,177,[0_1|3]), (610,207,[0_1|3]), (610,212,[0_1|3]), (610,217,[0_1|3]), (610,227,[0_1|3]), (610,283,[0_1|3]), (610,288,[0_1|3]), (610,313,[0_1|3]), (610,173,[0_1|3]), (611,612,[0_1|3]), (611,659,[2_1|4]), (611,662,[0_1|4]), (611,666,[2_1|4]), (611,670,[0_1|4]), (611,675,[1_1|4]), (611,680,[1_1|4]), (611,685,[1_1|4]), (611,690,[1_1|4]), (611,695,[1_1|4]), (611,700,[2_1|4]), (611,705,[2_1|4]), (611,710,[2_1|4]), (611,715,[2_1|4]), (611,720,[2_1|4]), (611,725,[2_1|4]), (611,730,[4_1|4]), (612,613,[3_1|3]), (612,499,[1_1|3]), (612,503,[2_1|3]), (612,507,[3_1|3]), (612,511,[1_1|3]), (612,516,[3_1|3]), (613,614,[1_1|3]), (614,85,[0_1|3]), (614,93,[0_1|3]), (614,163,[0_1|3]), (614,167,[0_1|3]), (614,172,[0_1|3]), (614,177,[0_1|3]), (614,207,[0_1|3]), (614,212,[0_1|3]), (614,217,[0_1|3]), (614,227,[0_1|3]), (614,283,[0_1|3]), (614,288,[0_1|3]), (614,313,[0_1|3]), (614,173,[0_1|3]), (615,616,[0_1|3]), (616,617,[0_1|3]), (617,618,[5_1|3]), (618,85,[1_1|3]), (618,93,[1_1|3]), (618,163,[1_1|3]), (618,167,[1_1|3]), (618,172,[1_1|3]), (618,177,[1_1|3]), (618,207,[1_1|3]), (618,212,[1_1|3]), (618,217,[1_1|3]), (618,227,[1_1|3]), (618,283,[1_1|3]), (618,288,[1_1|3]), (618,313,[1_1|3]), (618,173,[1_1|3]), (619,620,[2_1|3]), (620,621,[0_1|3]), (621,622,[3_1|3]), (622,623,[0_1|3]), (623,85,[2_1|3]), (623,93,[2_1|3]), (623,163,[2_1|3]), (623,167,[2_1|3]), (623,172,[2_1|3]), (623,177,[2_1|3]), (623,207,[2_1|3]), (623,212,[2_1|3]), (623,217,[2_1|3]), (623,227,[2_1|3]), (623,283,[2_1|3]), (623,288,[2_1|3]), (623,313,[2_1|3]), (623,173,[2_1|3]), (624,625,[1_1|3]), (625,626,[3_1|3]), (626,627,[0_1|3]), (627,628,[2_1|3]), (628,85,[0_1|3]), (628,93,[0_1|3]), (628,163,[0_1|3]), (628,167,[0_1|3]), (628,172,[0_1|3]), (628,177,[0_1|3]), (628,207,[0_1|3]), (628,212,[0_1|3]), (628,217,[0_1|3]), (628,227,[0_1|3]), (628,283,[0_1|3]), (628,288,[0_1|3]), (628,313,[0_1|3]), (628,173,[0_1|3]), (629,630,[0_1|3]), (630,631,[1_1|3]), (631,632,[3_1|3]), (632,633,[2_1|3]), (633,98,[1_1|3]), (633,103,[1_1|3]), (633,108,[1_1|3]), (633,113,[1_1|3]), (633,118,[1_1|3]), (633,344,[1_1|3]), (633,349,[1_1|3]), (633,354,[1_1|3]), (633,359,[1_1|3]), (633,364,[1_1|3]), (633,257,[1_1|3]), (633,269,[1_1|3]), (633,607,[1_1|3]), (633,619,[1_1|3]), (633,439,[1_1|3]), (633,444,[1_1|3]), (633,449,[1_1|3]), (633,454,[1_1|3]), (633,459,[1_1|3]), (633,427,[1_1|3]), (633,435,[1_1|3]), (634,635,[2_1|3]), (635,636,[0_1|3]), (636,637,[3_1|3]), (637,638,[1_1|3]), (638,98,[1_1|3]), (638,103,[1_1|3]), (638,108,[1_1|3]), (638,113,[1_1|3]), (638,118,[1_1|3]), (638,344,[1_1|3]), (638,349,[1_1|3]), (638,354,[1_1|3]), (638,359,[1_1|3]), (638,364,[1_1|3]), (638,257,[1_1|3]), (638,269,[1_1|3]), (638,607,[1_1|3]), (638,619,[1_1|3]), (638,439,[1_1|3]), (638,444,[1_1|3]), (638,449,[1_1|3]), (638,454,[1_1|3]), (638,459,[1_1|3]), (638,427,[1_1|3]), (638,435,[1_1|3]), (639,640,[2_1|3]), (640,641,[1_1|3]), (641,642,[1_1|3]), (642,643,[3_1|3]), (643,98,[2_1|3]), (643,103,[2_1|3]), (643,108,[2_1|3]), (643,113,[2_1|3]), (643,118,[2_1|3]), (643,439,[2_1|3]), (643,444,[2_1|3]), (643,449,[2_1|3]), (643,454,[2_1|3]), (643,459,[2_1|3]), (644,645,[3_1|3]), (645,646,[2_1|3]), (646,647,[2_1|3]), (647,648,[1_1|3]), (648,98,[1_1|3]), (648,103,[1_1|3]), (648,108,[1_1|3]), (648,113,[1_1|3]), (648,118,[1_1|3]), (648,439,[1_1|3]), (648,444,[1_1|3]), (648,449,[1_1|3]), (648,454,[1_1|3]), (648,459,[1_1|3]), (649,650,[2_1|3]), (650,651,[1_1|3]), (651,652,[1_1|3]), (652,653,[3_1|3]), (653,641,[2_1|3]), (654,655,[3_1|3]), (655,656,[2_1|3]), (656,657,[2_1|3]), (657,658,[1_1|3]), (658,641,[1_1|3]), (659,660,[0_1|4]), (660,661,[0_1|4]), (661,500,[1_1|4]), (662,663,[1_1|4]), (663,664,[2_1|4]), (664,665,[2_1|4]), (665,500,[0_1|4]), (666,667,[0_1|4]), (667,668,[0_1|4]), (668,669,[3_1|4]), (669,500,[1_1|4]), (670,671,[1_1|4]), (671,672,[2_1|4]), (672,673,[4_1|4]), (673,674,[0_1|4]), (674,500,[3_1|4]), (675,676,[2_1|4]), (676,677,[2_1|4]), (677,678,[0_1|4]), (678,679,[0_1|4]), (679,500,[4_1|4]), (680,681,[2_1|4]), (681,682,[3_1|4]), (682,683,[4_1|4]), (683,684,[0_1|4]), (684,500,[0_1|4]), (685,686,[3_1|4]), (686,687,[2_1|4]), (687,688,[0_1|4]), (688,689,[0_1|4]), (689,500,[0_1|4]), (690,691,[3_1|4]), (691,692,[4_1|4]), (692,693,[0_1|4]), (693,694,[2_1|4]), (694,500,[0_1|4]), (695,696,[3_1|4]), (696,697,[4_1|4]), (697,698,[4_1|4]), (698,699,[0_1|4]), (699,500,[0_1|4]), (700,701,[0_1|4]), (701,702,[0_1|4]), (702,703,[1_1|4]), (703,704,[2_1|4]), (704,500,[2_1|4]), (705,706,[0_1|4]), (706,707,[0_1|4]), (707,708,[2_1|4]), (708,709,[0_1|4]), (709,500,[1_1|4]), (710,711,[0_1|4]), (711,712,[0_1|4]), (712,713,[3_1|4]), (713,714,[0_1|4]), (714,500,[1_1|4]), (715,716,[0_1|4]), (716,717,[2_1|4]), (717,718,[0_1|4]), (718,719,[4_1|4]), (719,500,[1_1|4]), (720,721,[1_1|4]), (721,722,[2_1|4]), (722,723,[2_1|4]), (723,724,[0_1|4]), (724,500,[0_1|4]), (725,726,[4_1|4]), (726,727,[0_1|4]), (727,728,[4_1|4]), (728,729,[0_1|4]), (729,500,[1_1|4]), (730,731,[1_1|4]), (731,732,[2_1|4]), (732,733,[2_1|4]), (733,734,[0_1|4]), (734,500,[0_1|4])}" ---------------------------------------- (8) BOUNDS(1, n^1)