/export/starexec/sandbox/solver/bin/starexec_run_rcdcRelativeAlsoLower /export/starexec/sandbox/benchmark/theBenchmark.xml /export/starexec/sandbox/output/output_files -------------------------------------------------------------------------------- WORST_CASE(?, O(n^1)) proof of /export/starexec/sandbox/benchmark/theBenchmark.xml # AProVE Commit ID: 794c25de1cacf0d048858bcd21c9a779e1221865 marcel 20200619 unpublished dirty The Derivational Complexity (full) of the given DCpxTrs could be proven to be BOUNDS(1, n^1). (0) DCpxTrs (1) DerivationalComplexityToRuntimeComplexityProof [BOTH BOUNDS(ID, ID), 0 ms] (2) CpxRelTRS (3) SInnermostTerminationProof [BOTH CONCRETE BOUNDS(ID, ID), 78 ms] (4) CpxRelTRS (5) RelTrsToTrsProof [UPPER BOUND(ID), 0 ms] (6) CpxTRS (7) CpxTrsMatchBoundsProof [FINISHED, 318 ms] (8) BOUNDS(1, n^1) ---------------------------------------- (0) Obligation: The Derivational Complexity (full) of the given DCpxTrs could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(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: FULL ---------------------------------------- (1) DerivationalComplexityToRuntimeComplexityProof (BOTH BOUNDS(ID, ID)) The following rules have been added to S to convert the given derivational complexity problem to a runtime complexity problem: encArg(2(x_1)) -> 2(encArg(x_1)) encArg(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 (full) 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: FULL ---------------------------------------- (3) SInnermostTerminationProof (BOTH CONCRETE BOUNDS(ID, ID)) proved innermost termination of relative rules ---------------------------------------- (4) Obligation: The Runtime Complexity (full) of the given CpxRelTRS could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(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: FULL ---------------------------------------- (5) RelTrsToTrsProof (UPPER BOUND(ID)) transformed relative TRS to TRS ---------------------------------------- (6) Obligation: The Runtime Complexity (full) of the given CpxTRS could be proven to be BOUNDS(1, n^1). The TRS R consists of the following rules: 0(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: FULL ---------------------------------------- (7) CpxTrsMatchBoundsProof (FINISHED) A linear upper bound on the runtime complexity of the TRS R could be shown with a Match Bound [MATCHBOUNDS1,MATCHBOUNDS2] of 4. The certificate found is represented by the following graph. "[69, 70, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112, 113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130, 131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159, 160, 161, 162, 163, 164, 165, 166, 167, 168, 169, 170, 171, 172, 173, 174, 175, 176, 177, 178, 179, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 191, 192, 193, 194, 195, 196, 197, 198, 199, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 211, 212, 213, 214, 215, 216, 217, 218, 219, 220, 221, 222, 223, 224, 225, 226, 227, 228, 229, 230, 231, 232, 233, 234, 235, 236, 237, 238, 239, 240, 241, 242, 243, 244, 245, 246, 247, 248, 249, 250, 251, 252, 253, 254, 255, 256, 257, 258, 259, 260, 261, 262, 263, 264, 265, 266, 267, 268, 269, 270, 271, 272, 273, 274, 275, 276, 277, 278, 279, 280, 281, 282, 283, 284, 285, 286, 287, 288, 289, 290, 291, 292, 293, 294, 295, 296, 297, 298, 299, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 311, 312, 313, 314, 315, 316, 317, 318, 319, 320, 321, 322, 323, 324, 325, 326, 327, 328, 329, 330, 331, 332, 333, 334, 335, 336, 337, 338, 339, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 351, 352, 353, 354, 355, 356, 357, 358, 359, 360, 361, 362, 363, 364, 365, 366, 367, 368, 369, 370, 371, 372, 373, 374, 375, 376, 377, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 391, 392, 393, 394, 395, 396, 397, 398, 399, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 411, 412, 413, 414, 415, 416, 417, 418, 419, 420, 421, 422, 423, 424, 425, 426, 427, 428, 429, 430, 431, 432, 433, 434, 435, 436, 437, 438, 439, 440, 441, 442, 443, 444, 445, 446, 447, 448, 449, 450, 451, 452, 453, 454, 455, 456, 457, 458, 459, 460, 461, 462, 463, 464, 465, 466, 467, 468, 469, 470, 471, 472, 473, 474, 475, 476, 477, 478, 479, 480, 481, 482, 483, 484, 485, 486, 487, 488, 489, 490, 491, 492, 493, 494, 495, 496, 497, 498, 499, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 511, 512, 513, 514, 515, 516, 517, 518, 519, 520, 521, 522, 523, 524, 525, 526, 527, 528, 529, 530, 531, 532, 533, 534, 535, 536, 537, 538, 539, 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] {(69,70,[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]), (69,81,[2_1|1, 4_1|1, 5_1|1, 0_1|1, 1_1|1, 3_1|1]), (69,82,[2_1|2]), (69,85,[0_1|2]), (69,89,[2_1|2]), (69,93,[0_1|2]), (69,98,[1_1|2]), (69,103,[1_1|2]), (69,108,[1_1|2]), (69,113,[1_1|2]), (69,118,[1_1|2]), (69,123,[2_1|2]), (69,128,[2_1|2]), (69,133,[2_1|2]), (69,138,[2_1|2]), (69,143,[2_1|2]), (69,148,[2_1|2]), (69,153,[4_1|2]), (69,158,[2_1|2]), (69,163,[0_1|2]), (69,167,[0_1|2]), (69,172,[0_1|2]), (69,177,[0_1|2]), (69,182,[2_1|2]), (69,187,[2_1|2]), (69,192,[1_1|2]), (69,197,[1_1|2]), (69,202,[5_1|2]), (69,207,[0_1|2]), (69,212,[0_1|2]), (69,217,[0_1|2]), (69,222,[1_1|2]), (69,227,[0_1|2]), (69,232,[2_1|2]), (69,237,[2_1|2]), (69,242,[3_1|2]), (69,247,[3_1|2]), (69,252,[5_1|2]), (69,257,[1_1|2]), (69,261,[2_1|2]), (69,265,[3_1|2]), (69,269,[1_1|2]), (69,274,[3_1|2]), (69,279,[1_1|2]), (69,283,[0_1|2]), (69,288,[0_1|2]), (69,293,[1_1|2]), (69,298,[3_1|2]), (69,303,[4_1|2]), (69,308,[1_1|2]), (69,313,[0_1|2]), (70,70,[2_1|0, 4_1|0, 5_1|0, cons_0_1|0, cons_1_1|0, cons_3_1|0]), (81,70,[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,318,[2_1|3]), (83,321,[0_1|3]), (83,325,[2_1|3]), (83,329,[0_1|3]), (83,334,[1_1|3]), (83,339,[1_1|3]), (83,344,[1_1|3]), (83,349,[1_1|3]), (83,354,[1_1|3]), (83,359,[2_1|3]), (83,364,[2_1|3]), (83,369,[2_1|3]), (83,374,[2_1|3]), (83,379,[2_1|3]), (83,384,[2_1|3]), (83,389,[4_1|3]), (83,394,[0_1|3]), (83,398,[0_1|3]), (83,403,[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,408,[2_1|3]), (88,413,[2_1|3]), (88,416,[0_1|3]), (88,420,[2_1|3]), (88,424,[0_1|3]), (88,429,[1_1|3]), (88,434,[1_1|3]), (88,439,[1_1|3]), (88,444,[1_1|3]), (88,449,[1_1|3]), (88,454,[2_1|3]), (88,459,[2_1|3]), (88,464,[2_1|3]), (88,469,[2_1|3]), (88,474,[2_1|3]), (88,479,[2_1|3]), (88,484,[4_1|3]), (89,90,[0_1|2]), (90,91,[0_1|2]), (90,413,[2_1|3]), (90,416,[0_1|3]), (90,420,[2_1|3]), (90,424,[0_1|3]), (90,429,[1_1|3]), (90,434,[1_1|3]), (90,439,[1_1|3]), (90,444,[1_1|3]), (90,449,[1_1|3]), (90,454,[2_1|3]), (90,459,[2_1|3]), (90,464,[2_1|3]), (90,469,[2_1|3]), (90,474,[2_1|3]), (90,479,[2_1|3]), (90,484,[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,489,[1_1|3]), (91,493,[2_1|3]), (91,497,[3_1|3]), (91,501,[1_1|3]), (91,506,[3_1|3]), (91,511,[1_1|3]), (91,515,[0_1|3]), (91,520,[0_1|3]), (91,525,[1_1|3]), (91,530,[3_1|3]), (91,535,[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,413,[2_1|3]), (96,416,[0_1|3]), (96,420,[2_1|3]), (96,424,[0_1|3]), (96,429,[1_1|3]), (96,434,[1_1|3]), (96,439,[1_1|3]), (96,444,[1_1|3]), (96,449,[1_1|3]), (96,454,[2_1|3]), (96,459,[2_1|3]), (96,464,[2_1|3]), (96,469,[2_1|3]), (96,474,[2_1|3]), (96,479,[2_1|3]), (96,484,[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,408,[2_1|3]), (107,413,[2_1|3]), (107,416,[0_1|3]), (107,420,[2_1|3]), (107,424,[0_1|3]), (107,429,[1_1|3]), (107,434,[1_1|3]), (107,439,[1_1|3]), (107,444,[1_1|3]), (107,449,[1_1|3]), (107,454,[2_1|3]), (107,459,[2_1|3]), (107,464,[2_1|3]), (107,469,[2_1|3]), (107,474,[2_1|3]), (107,479,[2_1|3]), (107,484,[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,408,[2_1|3]), (112,413,[2_1|3]), (112,416,[0_1|3]), (112,420,[2_1|3]), (112,424,[0_1|3]), (112,429,[1_1|3]), (112,434,[1_1|3]), (112,439,[1_1|3]), (112,444,[1_1|3]), (112,449,[1_1|3]), (112,454,[2_1|3]), (112,459,[2_1|3]), (112,464,[2_1|3]), (112,469,[2_1|3]), (112,474,[2_1|3]), (112,479,[2_1|3]), (112,484,[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,408,[2_1|3]), (117,413,[2_1|3]), (117,416,[0_1|3]), (117,420,[2_1|3]), (117,424,[0_1|3]), (117,429,[1_1|3]), (117,434,[1_1|3]), (117,439,[1_1|3]), (117,444,[1_1|3]), (117,449,[1_1|3]), (117,454,[2_1|3]), (117,459,[2_1|3]), (117,464,[2_1|3]), (117,469,[2_1|3]), (117,474,[2_1|3]), (117,479,[2_1|3]), (117,484,[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,408,[2_1|3]), (122,413,[2_1|3]), (122,416,[0_1|3]), (122,420,[2_1|3]), (122,424,[0_1|3]), (122,429,[1_1|3]), (122,434,[1_1|3]), (122,439,[1_1|3]), (122,444,[1_1|3]), (122,449,[1_1|3]), (122,454,[2_1|3]), (122,459,[2_1|3]), (122,464,[2_1|3]), (122,469,[2_1|3]), (122,474,[2_1|3]), (122,479,[2_1|3]), (122,484,[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,318,[2_1|3]), (131,321,[0_1|3]), (131,325,[2_1|3]), (131,329,[0_1|3]), (131,334,[1_1|3]), (131,339,[1_1|3]), (131,344,[1_1|3]), (131,349,[1_1|3]), (131,354,[1_1|3]), (131,359,[2_1|3]), (131,364,[2_1|3]), (131,369,[2_1|3]), (131,374,[2_1|3]), (131,379,[2_1|3]), (131,384,[2_1|3]), (131,389,[4_1|3]), (131,394,[0_1|3]), (131,398,[0_1|3]), (131,403,[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,318,[2_1|3]), (136,321,[0_1|3]), (136,325,[2_1|3]), (136,329,[0_1|3]), (136,334,[1_1|3]), (136,339,[1_1|3]), (136,344,[1_1|3]), (136,349,[1_1|3]), (136,354,[1_1|3]), (136,359,[2_1|3]), (136,364,[2_1|3]), (136,369,[2_1|3]), (136,374,[2_1|3]), (136,379,[2_1|3]), (136,384,[2_1|3]), (136,389,[4_1|3]), (136,394,[0_1|3]), (136,398,[0_1|3]), (136,403,[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,408,[2_1|3]), (147,413,[2_1|3]), (147,416,[0_1|3]), (147,420,[2_1|3]), (147,424,[0_1|3]), (147,429,[1_1|3]), (147,434,[1_1|3]), (147,439,[1_1|3]), (147,444,[1_1|3]), (147,449,[1_1|3]), (147,454,[2_1|3]), (147,459,[2_1|3]), (147,464,[2_1|3]), (147,469,[2_1|3]), (147,474,[2_1|3]), (147,479,[2_1|3]), (147,484,[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,318,[2_1|3]), (151,321,[0_1|3]), (151,325,[2_1|3]), (151,329,[0_1|3]), (151,334,[1_1|3]), (151,339,[1_1|3]), (151,344,[1_1|3]), (151,349,[1_1|3]), (151,354,[1_1|3]), (151,359,[2_1|3]), (151,364,[2_1|3]), (151,369,[2_1|3]), (151,374,[2_1|3]), (151,379,[2_1|3]), (151,384,[2_1|3]), (151,389,[4_1|3]), (151,394,[0_1|3]), (151,398,[0_1|3]), (151,403,[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,408,[2_1|3]), (157,413,[2_1|3]), (157,416,[0_1|3]), (157,420,[2_1|3]), (157,424,[0_1|3]), (157,429,[1_1|3]), (157,434,[1_1|3]), (157,439,[1_1|3]), (157,444,[1_1|3]), (157,449,[1_1|3]), (157,454,[2_1|3]), (157,459,[2_1|3]), (157,464,[2_1|3]), (157,469,[2_1|3]), (157,474,[2_1|3]), (157,479,[2_1|3]), (157,484,[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,318,[2_1|3]), (160,321,[0_1|3]), (160,325,[2_1|3]), (160,329,[0_1|3]), (160,334,[1_1|3]), (160,339,[1_1|3]), (160,344,[1_1|3]), (160,349,[1_1|3]), (160,354,[1_1|3]), (160,359,[2_1|3]), (160,364,[2_1|3]), (160,369,[2_1|3]), (160,374,[2_1|3]), (160,379,[2_1|3]), (160,384,[2_1|3]), (160,389,[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,408,[2_1|3]), (166,413,[2_1|3]), (166,416,[0_1|3]), (166,420,[2_1|3]), (166,424,[0_1|3]), (166,429,[1_1|3]), (166,434,[1_1|3]), (166,439,[1_1|3]), (166,444,[1_1|3]), (166,449,[1_1|3]), (166,454,[2_1|3]), (166,459,[2_1|3]), (166,464,[2_1|3]), (166,469,[2_1|3]), (166,474,[2_1|3]), (166,479,[2_1|3]), (166,484,[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,408,[2_1|3]), (171,413,[2_1|3]), (171,416,[0_1|3]), (171,420,[2_1|3]), (171,424,[0_1|3]), (171,429,[1_1|3]), (171,434,[1_1|3]), (171,439,[1_1|3]), (171,444,[1_1|3]), (171,449,[1_1|3]), (171,454,[2_1|3]), (171,459,[2_1|3]), (171,464,[2_1|3]), (171,469,[2_1|3]), (171,474,[2_1|3]), (171,479,[2_1|3]), (171,484,[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,334,[1_1|2]), (176,339,[1_1|2]), (176,344,[1_1|2]), (176,349,[1_1|2]), (176,354,[1_1|2]), (176,607,[1_1|2]), (176,619,[1_1|2]), (176,429,[1_1|2]), (176,434,[1_1|2]), (176,439,[1_1|2]), (176,444,[1_1|2]), (176,449,[1_1|2]), (176,417,[1_1|2]), (176,425,[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,334,[1_1|2]), (181,339,[1_1|2]), (181,344,[1_1|2]), (181,349,[1_1|2]), (181,354,[1_1|2]), (181,607,[1_1|2]), (181,619,[1_1|2]), (181,429,[1_1|2]), (181,434,[1_1|2]), (181,439,[1_1|2]), (181,444,[1_1|2]), (181,449,[1_1|2]), (181,417,[1_1|2]), (181,425,[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,413,[2_1|3]), (189,416,[0_1|3]), (189,420,[2_1|3]), (189,424,[0_1|3]), (189,429,[1_1|3]), (189,434,[1_1|3]), (189,439,[1_1|3]), (189,444,[1_1|3]), (189,449,[1_1|3]), (189,454,[2_1|3]), (189,459,[2_1|3]), (189,464,[2_1|3]), (189,469,[2_1|3]), (189,474,[2_1|3]), (189,479,[2_1|3]), (189,484,[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,489,[1_1|3]), (190,493,[2_1|3]), (190,497,[3_1|3]), (190,501,[1_1|3]), (190,506,[3_1|3]), (190,511,[1_1|3]), (190,515,[0_1|3]), (190,520,[0_1|3]), (190,525,[1_1|3]), (190,530,[3_1|3]), (190,535,[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,408,[2_1|3]), (196,413,[2_1|3]), (196,416,[0_1|3]), (196,420,[2_1|3]), (196,424,[0_1|3]), (196,429,[1_1|3]), (196,434,[1_1|3]), (196,439,[1_1|3]), (196,444,[1_1|3]), (196,449,[1_1|3]), (196,454,[2_1|3]), (196,459,[2_1|3]), (196,464,[2_1|3]), (196,469,[2_1|3]), (196,474,[2_1|3]), (196,479,[2_1|3]), (196,484,[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,408,[2_1|3]), (206,413,[2_1|3]), (206,416,[0_1|3]), (206,420,[2_1|3]), (206,424,[0_1|3]), (206,429,[1_1|3]), (206,434,[1_1|3]), (206,439,[1_1|3]), (206,444,[1_1|3]), (206,449,[1_1|3]), (206,454,[2_1|3]), (206,459,[2_1|3]), (206,464,[2_1|3]), (206,469,[2_1|3]), (206,474,[2_1|3]), (206,479,[2_1|3]), (206,484,[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,429,[2_1|2]), (211,434,[2_1|2]), (211,439,[2_1|2]), (211,444,[2_1|2]), (211,449,[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,429,[1_1|2]), (216,434,[1_1|2]), (216,439,[1_1|2]), (216,444,[1_1|2]), (216,449,[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,408,[2_1|3]), (226,413,[2_1|3]), (226,416,[0_1|3]), (226,420,[2_1|3]), (226,424,[0_1|3]), (226,429,[1_1|3]), (226,434,[1_1|3]), (226,439,[1_1|3]), (226,444,[1_1|3]), (226,449,[1_1|3]), (226,454,[2_1|3]), (226,459,[2_1|3]), (226,464,[2_1|3]), (226,469,[2_1|3]), (226,474,[2_1|3]), (226,479,[2_1|3]), (226,484,[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,318,[2_1|3]), (235,321,[0_1|3]), (235,325,[2_1|3]), (235,329,[0_1|3]), (235,334,[1_1|3]), (235,339,[1_1|3]), (235,344,[1_1|3]), (235,349,[1_1|3]), (235,354,[1_1|3]), (235,359,[2_1|3]), (235,364,[2_1|3]), (235,369,[2_1|3]), (235,374,[2_1|3]), (235,379,[2_1|3]), (235,384,[2_1|3]), (235,389,[4_1|3]), (235,394,[0_1|3]), (235,398,[0_1|3]), (235,403,[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,318,[2_1|3]), (240,321,[0_1|3]), (240,325,[2_1|3]), (240,329,[0_1|3]), (240,334,[1_1|3]), (240,339,[1_1|3]), (240,344,[1_1|3]), (240,349,[1_1|3]), (240,354,[1_1|3]), (240,359,[2_1|3]), (240,364,[2_1|3]), (240,369,[2_1|3]), (240,374,[2_1|3]), (240,379,[2_1|3]), (240,384,[2_1|3]), (240,389,[4_1|3]), (240,394,[0_1|3]), (240,398,[0_1|3]), (240,403,[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,318,[2_1|3]), (245,321,[0_1|3]), (245,325,[2_1|3]), (245,329,[0_1|3]), (245,334,[1_1|3]), (245,339,[1_1|3]), (245,344,[1_1|3]), (245,349,[1_1|3]), (245,354,[1_1|3]), (245,359,[2_1|3]), (245,364,[2_1|3]), (245,369,[2_1|3]), (245,374,[2_1|3]), (245,379,[2_1|3]), (245,384,[2_1|3]), (245,389,[4_1|3]), (245,394,[0_1|3]), (245,398,[0_1|3]), (245,403,[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,408,[2_1|3]), (251,413,[2_1|3]), (251,416,[0_1|3]), (251,420,[2_1|3]), (251,424,[0_1|3]), (251,429,[1_1|3]), (251,434,[1_1|3]), (251,439,[1_1|3]), (251,444,[1_1|3]), (251,449,[1_1|3]), (251,454,[2_1|3]), (251,459,[2_1|3]), (251,464,[2_1|3]), (251,469,[2_1|3]), (251,474,[2_1|3]), (251,479,[2_1|3]), (251,484,[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,408,[2_1|3]), (256,413,[2_1|3]), (256,416,[0_1|3]), (256,420,[2_1|3]), (256,424,[0_1|3]), (256,429,[1_1|3]), (256,434,[1_1|3]), (256,439,[1_1|3]), (256,444,[1_1|3]), (256,449,[1_1|3]), (256,454,[2_1|3]), (256,459,[2_1|3]), (256,464,[2_1|3]), (256,469,[2_1|3]), (256,474,[2_1|3]), (256,479,[2_1|3]), (256,484,[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,408,[2_1|3]), (260,413,[2_1|3]), (260,416,[0_1|3]), (260,420,[2_1|3]), (260,424,[0_1|3]), (260,429,[1_1|3]), (260,434,[1_1|3]), (260,439,[1_1|3]), (260,444,[1_1|3]), (260,449,[1_1|3]), (260,454,[2_1|3]), (260,459,[2_1|3]), (260,464,[2_1|3]), (260,469,[2_1|3]), (260,474,[2_1|3]), (260,479,[2_1|3]), (260,484,[4_1|3]), (261,262,[0_1|2]), (261,413,[2_1|3]), (261,416,[0_1|3]), (261,420,[2_1|3]), (261,424,[0_1|3]), (261,429,[1_1|3]), (261,434,[1_1|3]), (261,439,[1_1|3]), (261,444,[1_1|3]), (261,449,[1_1|3]), (261,454,[2_1|3]), (261,459,[2_1|3]), (261,464,[2_1|3]), (261,469,[2_1|3]), (261,474,[2_1|3]), (261,479,[2_1|3]), (261,484,[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,408,[2_1|3]), (264,413,[2_1|3]), (264,416,[0_1|3]), (264,420,[2_1|3]), (264,424,[0_1|3]), (264,429,[1_1|3]), (264,434,[1_1|3]), (264,439,[1_1|3]), (264,444,[1_1|3]), (264,449,[1_1|3]), (264,454,[2_1|3]), (264,459,[2_1|3]), (264,464,[2_1|3]), (264,469,[2_1|3]), (264,474,[2_1|3]), (264,479,[2_1|3]), (264,484,[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,408,[2_1|3]), (278,413,[2_1|3]), (278,416,[0_1|3]), (278,420,[2_1|3]), (278,424,[0_1|3]), (278,429,[1_1|3]), (278,434,[1_1|3]), (278,439,[1_1|3]), (278,444,[1_1|3]), (278,449,[1_1|3]), (278,454,[2_1|3]), (278,459,[2_1|3]), (278,464,[2_1|3]), (278,469,[2_1|3]), (278,474,[2_1|3]), (278,479,[2_1|3]), (278,484,[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,408,[2_1|3]), (282,413,[2_1|3]), (282,416,[0_1|3]), (282,420,[2_1|3]), (282,424,[0_1|3]), (282,429,[1_1|3]), (282,434,[1_1|3]), (282,439,[1_1|3]), (282,444,[1_1|3]), (282,449,[1_1|3]), (282,454,[2_1|3]), (282,459,[2_1|3]), (282,464,[2_1|3]), (282,469,[2_1|3]), (282,474,[2_1|3]), (282,479,[2_1|3]), (282,484,[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,408,[2_1|3]), (297,413,[2_1|3]), (297,416,[0_1|3]), (297,420,[2_1|3]), (297,424,[0_1|3]), (297,429,[1_1|3]), (297,434,[1_1|3]), (297,439,[1_1|3]), (297,444,[1_1|3]), (297,449,[1_1|3]), (297,454,[2_1|3]), (297,459,[2_1|3]), (297,464,[2_1|3]), (297,469,[2_1|3]), (297,474,[2_1|3]), (297,479,[2_1|3]), (297,484,[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,408,[2_1|3]), (312,413,[2_1|3]), (312,416,[0_1|3]), (312,420,[2_1|3]), (312,424,[0_1|3]), (312,429,[1_1|3]), (312,434,[1_1|3]), (312,439,[1_1|3]), (312,444,[1_1|3]), (312,449,[1_1|3]), (312,454,[2_1|3]), (312,459,[2_1|3]), (312,464,[2_1|3]), (312,469,[2_1|3]), (312,474,[2_1|3]), (312,479,[2_1|3]), (312,484,[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]), (318,319,[0_1|3]), (319,320,[0_1|3]), (319,318,[2_1|3]), (319,321,[0_1|3]), (319,325,[2_1|3]), (319,329,[0_1|3]), (319,334,[1_1|3]), (319,339,[1_1|3]), (319,344,[1_1|3]), (319,349,[1_1|3]), (319,354,[1_1|3]), (319,359,[2_1|3]), (319,364,[2_1|3]), (319,369,[2_1|3]), (319,374,[2_1|3]), (319,379,[2_1|3]), (319,384,[2_1|3]), (319,389,[4_1|3]), (320,85,[1_1|3]), (320,93,[1_1|3]), (320,163,[1_1|3]), (320,167,[1_1|3]), (320,172,[1_1|3]), (320,177,[1_1|3]), (320,207,[1_1|3]), (320,212,[1_1|3]), (320,217,[1_1|3]), (320,227,[1_1|3]), (320,283,[1_1|3]), (320,288,[1_1|3]), (320,313,[1_1|3]), (320,173,[1_1|3]), (320,310,[1_1|3]), (320,649,[1_1|3]), (320,654,[1_1|3]), (321,322,[1_1|3]), (322,323,[2_1|3]), (323,324,[2_1|3]), (324,85,[0_1|3]), (324,93,[0_1|3]), (324,163,[0_1|3]), (324,167,[0_1|3]), (324,172,[0_1|3]), (324,177,[0_1|3]), (324,207,[0_1|3]), (324,212,[0_1|3]), (324,217,[0_1|3]), (324,227,[0_1|3]), (324,283,[0_1|3]), (324,288,[0_1|3]), (324,313,[0_1|3]), (324,173,[0_1|3]), (324,310,[0_1|3]), (324,649,[0_1|3]), (324,654,[0_1|3]), (325,326,[0_1|3]), (326,327,[0_1|3]), (327,328,[3_1|3]), (328,85,[1_1|3]), (328,93,[1_1|3]), (328,163,[1_1|3]), (328,167,[1_1|3]), (328,172,[1_1|3]), (328,177,[1_1|3]), (328,207,[1_1|3]), (328,212,[1_1|3]), (328,217,[1_1|3]), (328,227,[1_1|3]), (328,283,[1_1|3]), (328,288,[1_1|3]), (328,313,[1_1|3]), (328,173,[1_1|3]), (328,310,[1_1|3]), (328,649,[1_1|3]), (328,654,[1_1|3]), (329,330,[1_1|3]), (330,331,[2_1|3]), (331,332,[4_1|3]), (332,333,[0_1|3]), (333,85,[3_1|3]), (333,93,[3_1|3]), (333,163,[3_1|3]), (333,167,[3_1|3]), (333,172,[3_1|3]), (333,177,[3_1|3]), (333,207,[3_1|3]), (333,212,[3_1|3]), (333,217,[3_1|3]), (333,227,[3_1|3]), (333,283,[3_1|3]), (333,288,[3_1|3]), (333,313,[3_1|3]), (333,173,[3_1|3]), (333,310,[3_1|3]), (333,649,[3_1|3]), (333,654,[3_1|3]), (334,335,[2_1|3]), (335,336,[2_1|3]), (336,337,[0_1|3]), (337,338,[0_1|3]), (338,85,[4_1|3]), (338,93,[4_1|3]), (338,163,[4_1|3]), (338,167,[4_1|3]), (338,172,[4_1|3]), (338,177,[4_1|3]), (338,207,[4_1|3]), (338,212,[4_1|3]), (338,217,[4_1|3]), (338,227,[4_1|3]), (338,283,[4_1|3]), (338,288,[4_1|3]), (338,313,[4_1|3]), (338,173,[4_1|3]), (338,310,[4_1|3]), (338,649,[4_1|3]), (338,654,[4_1|3]), (339,340,[2_1|3]), (340,341,[3_1|3]), (341,342,[4_1|3]), (342,343,[0_1|3]), (343,85,[0_1|3]), (343,93,[0_1|3]), (343,163,[0_1|3]), (343,167,[0_1|3]), (343,172,[0_1|3]), (343,177,[0_1|3]), (343,207,[0_1|3]), (343,212,[0_1|3]), (343,217,[0_1|3]), (343,227,[0_1|3]), (343,283,[0_1|3]), (343,288,[0_1|3]), (343,313,[0_1|3]), (343,173,[0_1|3]), (343,310,[0_1|3]), (343,649,[0_1|3]), (343,654,[0_1|3]), (344,345,[3_1|3]), (345,346,[2_1|3]), (346,347,[0_1|3]), (347,348,[0_1|3]), (348,85,[0_1|3]), (348,93,[0_1|3]), (348,163,[0_1|3]), (348,167,[0_1|3]), (348,172,[0_1|3]), (348,177,[0_1|3]), (348,207,[0_1|3]), (348,212,[0_1|3]), (348,217,[0_1|3]), (348,227,[0_1|3]), (348,283,[0_1|3]), (348,288,[0_1|3]), (348,313,[0_1|3]), (348,173,[0_1|3]), (348,310,[0_1|3]), (348,649,[0_1|3]), (348,654,[0_1|3]), (349,350,[3_1|3]), (350,351,[4_1|3]), (351,352,[0_1|3]), (352,353,[2_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,[4_1|3]), (356,357,[4_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,[0_1|3]), (360,361,[0_1|3]), (361,362,[1_1|3]), (362,363,[2_1|3]), (363,85,[2_1|3]), (363,93,[2_1|3]), (363,163,[2_1|3]), (363,167,[2_1|3]), (363,172,[2_1|3]), (363,177,[2_1|3]), (363,207,[2_1|3]), (363,212,[2_1|3]), (363,217,[2_1|3]), (363,227,[2_1|3]), (363,283,[2_1|3]), (363,288,[2_1|3]), (363,313,[2_1|3]), (363,173,[2_1|3]), (363,310,[2_1|3]), (363,649,[2_1|3]), (363,654,[2_1|3]), (364,365,[0_1|3]), (365,366,[0_1|3]), (366,367,[2_1|3]), (367,368,[0_1|3]), (367,318,[2_1|3]), (367,321,[0_1|3]), (367,325,[2_1|3]), (367,329,[0_1|3]), (367,334,[1_1|3]), (367,339,[1_1|3]), (367,344,[1_1|3]), (367,349,[1_1|3]), (367,354,[1_1|3]), (367,359,[2_1|3]), (367,364,[2_1|3]), (367,369,[2_1|3]), (367,374,[2_1|3]), (367,379,[2_1|3]), (367,384,[2_1|3]), (367,389,[4_1|3]), (368,85,[1_1|3]), (368,93,[1_1|3]), (368,163,[1_1|3]), (368,167,[1_1|3]), (368,172,[1_1|3]), (368,177,[1_1|3]), (368,207,[1_1|3]), (368,212,[1_1|3]), (368,217,[1_1|3]), (368,227,[1_1|3]), (368,283,[1_1|3]), (368,288,[1_1|3]), (368,313,[1_1|3]), (368,173,[1_1|3]), (368,310,[1_1|3]), (368,649,[1_1|3]), (368,654,[1_1|3]), (369,370,[0_1|3]), (370,371,[0_1|3]), (371,372,[3_1|3]), (371,572,[0_1|3]), (371,577,[2_1|3]), (371,582,[2_1|3]), (371,587,[3_1|3]), (372,373,[0_1|3]), (372,318,[2_1|3]), (372,321,[0_1|3]), (372,325,[2_1|3]), (372,329,[0_1|3]), (372,334,[1_1|3]), (372,339,[1_1|3]), (372,344,[1_1|3]), (372,349,[1_1|3]), (372,354,[1_1|3]), (372,359,[2_1|3]), (372,364,[2_1|3]), (372,369,[2_1|3]), (372,374,[2_1|3]), (372,379,[2_1|3]), (372,384,[2_1|3]), (372,389,[4_1|3]), (373,85,[1_1|3]), (373,93,[1_1|3]), (373,163,[1_1|3]), (373,167,[1_1|3]), (373,172,[1_1|3]), (373,177,[1_1|3]), (373,207,[1_1|3]), (373,212,[1_1|3]), (373,217,[1_1|3]), (373,227,[1_1|3]), (373,283,[1_1|3]), (373,288,[1_1|3]), (373,313,[1_1|3]), (373,173,[1_1|3]), (373,310,[1_1|3]), (373,649,[1_1|3]), (373,654,[1_1|3]), (374,375,[0_1|3]), (375,376,[2_1|3]), (376,377,[0_1|3]), (377,378,[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,[1_1|3]), (380,381,[2_1|3]), (381,382,[2_1|3]), (382,383,[0_1|3]), (383,85,[0_1|3]), (383,93,[0_1|3]), (383,163,[0_1|3]), (383,167,[0_1|3]), (383,172,[0_1|3]), (383,177,[0_1|3]), (383,207,[0_1|3]), (383,212,[0_1|3]), (383,217,[0_1|3]), (383,227,[0_1|3]), (383,283,[0_1|3]), (383,288,[0_1|3]), (383,313,[0_1|3]), (383,173,[0_1|3]), (383,310,[0_1|3]), (383,649,[0_1|3]), (383,654,[0_1|3]), (384,385,[4_1|3]), (385,386,[0_1|3]), (386,387,[4_1|3]), (387,388,[0_1|3]), (387,318,[2_1|3]), (387,321,[0_1|3]), (387,325,[2_1|3]), (387,329,[0_1|3]), (387,334,[1_1|3]), (387,339,[1_1|3]), (387,344,[1_1|3]), (387,349,[1_1|3]), (387,354,[1_1|3]), (387,359,[2_1|3]), (387,364,[2_1|3]), (387,369,[2_1|3]), (387,374,[2_1|3]), (387,379,[2_1|3]), (387,384,[2_1|3]), (387,389,[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,[3_1|3]), (395,396,[5_1|3]), (396,397,[1_1|3]), (397,253,[0_1|3]), (398,399,[3_1|3]), (399,400,[3_1|3]), (400,401,[5_1|3]), (401,402,[1_1|3]), (402,253,[0_1|3]), (403,404,[2_1|3]), (404,405,[0_1|3]), (405,406,[0_1|3]), (405,592,[2_1|3]), (406,407,[1_1|3]), (407,258,[1_1|3]), (407,309,[1_1|3]), (407,199,[1_1|3]), (408,409,[2_1|3]), (409,410,[0_1|3]), (410,411,[0_1|3]), (411,412,[1_1|3]), (412,199,[1_1|3]), (413,414,[0_1|3]), (414,415,[0_1|3]), (414,318,[2_1|3]), (414,321,[0_1|3]), (414,325,[2_1|3]), (414,329,[0_1|3]), (414,334,[1_1|3]), (414,339,[1_1|3]), (414,344,[1_1|3]), (414,349,[1_1|3]), (414,354,[1_1|3]), (414,359,[2_1|3]), (414,364,[2_1|3]), (414,369,[2_1|3]), (414,374,[2_1|3]), (414,379,[2_1|3]), (414,384,[2_1|3]), (414,389,[4_1|3]), (415,258,[1_1|3]), (415,309,[1_1|3]), (415,490,[1_1|3]), (415,551,[1_1|3]), (415,199,[1_1|3]), (415,608,[1_1|3]), (416,417,[1_1|3]), (417,418,[2_1|3]), (418,419,[2_1|3]), (419,258,[0_1|3]), (419,309,[0_1|3]), (419,490,[0_1|3]), (419,551,[0_1|3]), (419,199,[0_1|3]), (419,608,[0_1|3]), (420,421,[0_1|3]), (421,422,[0_1|3]), (422,423,[3_1|3]), (423,258,[1_1|3]), (423,309,[1_1|3]), (423,490,[1_1|3]), (423,551,[1_1|3]), (423,199,[1_1|3]), (423,608,[1_1|3]), (424,425,[1_1|3]), (425,426,[2_1|3]), (426,427,[4_1|3]), (427,428,[0_1|3]), (428,258,[3_1|3]), (428,309,[3_1|3]), (428,490,[3_1|3]), (428,551,[3_1|3]), (428,199,[3_1|3]), (428,608,[3_1|3]), (429,430,[2_1|3]), (430,431,[2_1|3]), (431,432,[0_1|3]), (432,433,[0_1|3]), (433,258,[4_1|3]), (433,309,[4_1|3]), (433,490,[4_1|3]), (433,551,[4_1|3]), (433,199,[4_1|3]), (433,608,[4_1|3]), (434,435,[2_1|3]), (435,436,[3_1|3]), (436,437,[4_1|3]), (437,438,[0_1|3]), (438,258,[0_1|3]), (438,309,[0_1|3]), (438,490,[0_1|3]), (438,551,[0_1|3]), (438,199,[0_1|3]), (438,608,[0_1|3]), (439,440,[3_1|3]), (440,441,[2_1|3]), (441,442,[0_1|3]), (442,443,[0_1|3]), (443,258,[0_1|3]), (443,309,[0_1|3]), (443,490,[0_1|3]), (443,551,[0_1|3]), (443,199,[0_1|3]), (443,608,[0_1|3]), (444,445,[3_1|3]), (445,446,[4_1|3]), (446,447,[0_1|3]), (447,448,[2_1|3]), (448,258,[0_1|3]), (448,309,[0_1|3]), (448,490,[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,[4_1|3]), (451,452,[4_1|3]), (452,453,[0_1|3]), (453,258,[0_1|3]), (453,309,[0_1|3]), (453,490,[0_1|3]), (453,551,[0_1|3]), (453,199,[0_1|3]), (453,608,[0_1|3]), (454,455,[0_1|3]), (455,456,[0_1|3]), (456,457,[1_1|3]), (457,458,[2_1|3]), (458,258,[2_1|3]), (458,309,[2_1|3]), (458,490,[2_1|3]), (458,551,[2_1|3]), (458,199,[2_1|3]), (458,608,[2_1|3]), (459,460,[0_1|3]), (460,461,[0_1|3]), (461,462,[2_1|3]), (462,463,[0_1|3]), (462,318,[2_1|3]), (462,321,[0_1|3]), (462,325,[2_1|3]), (462,329,[0_1|3]), (462,334,[1_1|3]), (462,339,[1_1|3]), (462,344,[1_1|3]), (462,349,[1_1|3]), (462,354,[1_1|3]), (462,359,[2_1|3]), (462,364,[2_1|3]), (462,369,[2_1|3]), (462,374,[2_1|3]), (462,379,[2_1|3]), (462,384,[2_1|3]), (462,389,[4_1|3]), (463,258,[1_1|3]), (463,309,[1_1|3]), (463,490,[1_1|3]), (463,551,[1_1|3]), (463,199,[1_1|3]), (463,608,[1_1|3]), (464,465,[0_1|3]), (465,466,[0_1|3]), (466,467,[3_1|3]), (466,572,[0_1|3]), (466,577,[2_1|3]), (466,582,[2_1|3]), (466,587,[3_1|3]), (467,468,[0_1|3]), (467,318,[2_1|3]), (467,321,[0_1|3]), (467,325,[2_1|3]), (467,329,[0_1|3]), (467,334,[1_1|3]), (467,339,[1_1|3]), (467,344,[1_1|3]), (467,349,[1_1|3]), (467,354,[1_1|3]), (467,359,[2_1|3]), (467,364,[2_1|3]), (467,369,[2_1|3]), (467,374,[2_1|3]), (467,379,[2_1|3]), (467,384,[2_1|3]), (467,389,[4_1|3]), (468,258,[1_1|3]), (468,309,[1_1|3]), (468,490,[1_1|3]), (468,551,[1_1|3]), (468,199,[1_1|3]), (468,608,[1_1|3]), (469,470,[0_1|3]), (470,471,[2_1|3]), (471,472,[0_1|3]), (472,473,[4_1|3]), (473,258,[1_1|3]), (473,309,[1_1|3]), (473,490,[1_1|3]), (473,551,[1_1|3]), (473,199,[1_1|3]), (473,608,[1_1|3]), (474,475,[1_1|3]), (475,476,[2_1|3]), (476,477,[2_1|3]), (477,478,[0_1|3]), (478,258,[0_1|3]), (478,309,[0_1|3]), (478,490,[0_1|3]), (478,551,[0_1|3]), (478,199,[0_1|3]), (478,608,[0_1|3]), (479,480,[4_1|3]), (480,481,[0_1|3]), (481,482,[4_1|3]), (482,483,[0_1|3]), (482,318,[2_1|3]), (482,321,[0_1|3]), (482,325,[2_1|3]), (482,329,[0_1|3]), (482,334,[1_1|3]), (482,339,[1_1|3]), (482,344,[1_1|3]), (482,349,[1_1|3]), (482,354,[1_1|3]), (482,359,[2_1|3]), (482,364,[2_1|3]), (482,369,[2_1|3]), (482,374,[2_1|3]), (482,379,[2_1|3]), (482,384,[2_1|3]), (482,389,[4_1|3]), (483,258,[1_1|3]), (483,309,[1_1|3]), (483,490,[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,490,[0_1|3]), (488,551,[0_1|3]), (488,199,[0_1|3]), (488,608,[0_1|3]), (489,490,[0_1|3]), (490,491,[3_1|3]), (491,492,[4_1|3]), (492,173,[0_1|3]), (493,494,[0_1|3]), (494,495,[3_1|3]), (495,496,[1_1|3]), (496,173,[0_1|3]), (497,498,[0_1|3]), (498,499,[0_1|3]), (499,500,[5_1|3]), (500,173,[1_1|3]), (501,502,[2_1|3]), (502,503,[0_1|3]), (503,504,[3_1|3]), (504,505,[0_1|3]), (505,173,[2_1|3]), (506,507,[1_1|3]), (507,508,[3_1|3]), (508,509,[0_1|3]), (509,510,[2_1|3]), (510,173,[0_1|3]), (511,512,[1_1|3]), (512,513,[3_1|3]), (513,514,[5_1|3]), (514,253,[0_1|3]), (515,516,[2_1|3]), (516,517,[5_1|3]), (517,518,[1_1|3]), (518,519,[3_1|3]), (519,253,[5_1|3]), (520,521,[3_1|3]), (521,522,[1_1|3]), (522,523,[3_1|3]), (523,524,[4_1|3]), (524,253,[5_1|3]), (525,526,[5_1|3]), (526,527,[2_1|3]), (527,528,[3_1|3]), (528,529,[5_1|3]), (529,253,[0_1|3]), (530,531,[1_1|3]), (531,532,[4_1|3]), (532,533,[0_1|3]), (533,534,[2_1|3]), (534,253,[5_1|3]), (535,536,[0_1|3]), (536,537,[5_1|3]), (537,538,[1_1|3]), (538,539,[3_1|3]), (539,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,318,[2_1|3]), (580,321,[0_1|3]), (580,325,[2_1|3]), (580,329,[0_1|3]), (580,334,[1_1|3]), (580,339,[1_1|3]), (580,344,[1_1|3]), (580,349,[1_1|3]), (580,354,[1_1|3]), (580,359,[2_1|3]), (580,364,[2_1|3]), (580,369,[2_1|3]), (580,374,[2_1|3]), (580,379,[2_1|3]), (580,384,[2_1|3]), (580,389,[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,318,[2_1|3]), (585,321,[0_1|3]), (585,325,[2_1|3]), (585,329,[0_1|3]), (585,334,[1_1|3]), (585,339,[1_1|3]), (585,344,[1_1|3]), (585,349,[1_1|3]), (585,354,[1_1|3]), (585,359,[2_1|3]), (585,364,[2_1|3]), (585,369,[2_1|3]), (585,374,[2_1|3]), (585,379,[2_1|3]), (585,384,[2_1|3]), (585,389,[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,318,[2_1|3]), (590,321,[0_1|3]), (590,325,[2_1|3]), (590,329,[0_1|3]), (590,334,[1_1|3]), (590,339,[1_1|3]), (590,344,[1_1|3]), (590,349,[1_1|3]), (590,354,[1_1|3]), (590,359,[2_1|3]), (590,364,[2_1|3]), (590,369,[2_1|3]), (590,374,[2_1|3]), (590,379,[2_1|3]), (590,384,[2_1|3]), (590,389,[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,489,[1_1|3]), (612,493,[2_1|3]), (612,497,[3_1|3]), (612,501,[1_1|3]), (612,506,[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,334,[1_1|3]), (633,339,[1_1|3]), (633,344,[1_1|3]), (633,349,[1_1|3]), (633,354,[1_1|3]), (633,257,[1_1|3]), (633,269,[1_1|3]), (633,607,[1_1|3]), (633,619,[1_1|3]), (633,429,[1_1|3]), (633,434,[1_1|3]), (633,439,[1_1|3]), (633,444,[1_1|3]), (633,449,[1_1|3]), (633,417,[1_1|3]), (633,425,[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,334,[1_1|3]), (638,339,[1_1|3]), (638,344,[1_1|3]), (638,349,[1_1|3]), (638,354,[1_1|3]), (638,257,[1_1|3]), (638,269,[1_1|3]), (638,607,[1_1|3]), (638,619,[1_1|3]), (638,429,[1_1|3]), (638,434,[1_1|3]), (638,439,[1_1|3]), (638,444,[1_1|3]), (638,449,[1_1|3]), (638,417,[1_1|3]), (638,425,[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,429,[2_1|3]), (643,434,[2_1|3]), (643,439,[2_1|3]), (643,444,[2_1|3]), (643,449,[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,429,[1_1|3]), (648,434,[1_1|3]), (648,439,[1_1|3]), (648,444,[1_1|3]), (648,449,[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,490,[1_1|4]), (662,663,[1_1|4]), (663,664,[2_1|4]), (664,665,[2_1|4]), (665,490,[0_1|4]), (666,667,[0_1|4]), (667,668,[0_1|4]), (668,669,[3_1|4]), (669,490,[1_1|4]), (670,671,[1_1|4]), (671,672,[2_1|4]), (672,673,[4_1|4]), (673,674,[0_1|4]), (674,490,[3_1|4]), (675,676,[2_1|4]), (676,677,[2_1|4]), (677,678,[0_1|4]), (678,679,[0_1|4]), (679,490,[4_1|4]), (680,681,[2_1|4]), (681,682,[3_1|4]), (682,683,[4_1|4]), (683,684,[0_1|4]), (684,490,[0_1|4]), (685,686,[3_1|4]), (686,687,[2_1|4]), (687,688,[0_1|4]), (688,689,[0_1|4]), (689,490,[0_1|4]), (690,691,[3_1|4]), (691,692,[4_1|4]), (692,693,[0_1|4]), (693,694,[2_1|4]), (694,490,[0_1|4]), (695,696,[3_1|4]), (696,697,[4_1|4]), (697,698,[4_1|4]), (698,699,[0_1|4]), (699,490,[0_1|4]), (700,701,[0_1|4]), (701,702,[0_1|4]), (702,703,[1_1|4]), (703,704,[2_1|4]), (704,490,[2_1|4]), (705,706,[0_1|4]), (706,707,[0_1|4]), (707,708,[2_1|4]), (708,709,[0_1|4]), (709,490,[1_1|4]), (710,711,[0_1|4]), (711,712,[0_1|4]), (712,713,[3_1|4]), (713,714,[0_1|4]), (714,490,[1_1|4]), (715,716,[0_1|4]), (716,717,[2_1|4]), (717,718,[0_1|4]), (718,719,[4_1|4]), (719,490,[1_1|4]), (720,721,[1_1|4]), (721,722,[2_1|4]), (722,723,[2_1|4]), (723,724,[0_1|4]), (724,490,[0_1|4]), (725,726,[4_1|4]), (726,727,[0_1|4]), (727,728,[4_1|4]), (728,729,[0_1|4]), (729,490,[1_1|4]), (730,731,[1_1|4]), (731,732,[2_1|4]), (732,733,[2_1|4]), (733,734,[0_1|4]), (734,490,[0_1|4])}" ---------------------------------------- (8) BOUNDS(1, n^1)