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