/* raw data for A.-S. Elsenhans and J. Jahnel: Experiments with the transcendental Brauer-Manin obstruction Data for section 4.1 curve_coeff : coefficients of the curves used to build surfaces Data for section 4.2 -- 4.4: surface_coeff : coefficients of surfaces inspected bm_primes : primes at which the BM-obstruction works ht_4_col : smallest height-bound to get points of each colour */ curve_coeff := [[-99, 13], [-97, 16], [-97, 48], [-97, 80], [-95, 17], [-95, 49], [-95, 81], [-93, 16], [-93, 80], [-91, 53], [-91, 85], [-89, 16], [-89, 48], [-89, 80], [-87, 25], [-87, 89], [-85, 16], [-85, 48], [-83, 29], [-83, 61], [-83, 93], [-81, 80], [-80, 23], [-80, 27], [-80, 31], [-80, 39], [-80, 43], [-80, 47], [-80, 51], [-80, 59], [-80, 63], [-80, 67], [-80, 71], [-80, 79], [-80, 83], [-80, 87], [-80, 91], [-80, 99], [-79, 33], [-79, 65], [-79, 97], [-77, 48], [-77, 80], [-75, 37], [-73, 48], [-73, 80], [-71, 41], [-71, 73], [-69, 80], [-67, 45], [-67, 77], [-65, 48], [-61, 48], [-61, 80], [-59, 53], [-59, 85], [-57, 80], [-55, 57], [-55, 89], [-53, 48], [-53, 80], [-51, 61], [-49, 80], [-48, 55], [-48, 59], [-48, 67], [-48, 71], [-48, 79], [-48, 83], [-48, 91], [-48, 95], [-47, 65], [-47, 97], [-43, 69], [-41, 80], [-39, 73], [-37, 80], [-33, 80], [-31, 81], [-29, 80], [-27, 85], [-23, 89], [-21, 80], [-19, 93], [-16, 87], [-16, 91], [-16, 95], [-16, 99], [-15, 97], [1, 17], [1, 49], [1, 81], [3, 16], [3, 80], [5, 21], [5, 53], [7, 16], [7, 48], [7, 80], [9, 25], [9, 89], [11, 16], [11, 48], [11, 80], [13, 29], [13, 61], [13, 93], [15, 16], [16, 19], [16, 23], [16, 27], [16, 31], [16, 35], [16, 39], [16, 43], [16, 47], [16, 51], [16, 55], [16, 59], [16, 63], [16, 67], [16, 71], [16, 75], [16, 79], [16, 83], [16, 87], [16, 91], [16, 95], [16, 99], [17, 33], [17, 65], [17, 97], [19, 48], [19, 80], [21, 37], [23, 48], [23, 80], [25, 41], [25, 73], [27, 80], [29, 45], [29, 77], [31, 48], [31, 80], [33, 49], [35, 48], [37, 53], [37, 85], [39, 80], [41, 57], [41, 89], [43, 48], [43, 80], [45, 61], [47, 48], [47, 80], [48, 55], [48, 59], [48, 67], [48, 71], [48, 79], [48, 83], [48, 91], [48, 95], [49, 65], [49, 97], [51, 80], [53, 69], [57, 73], [59, 80], [61, 77], [63, 80], [65, 81], [67, 80], [69, 85], [71, 80], [73, 89], [77, 93], [79, 80], [80, 83], [80, 87], [80, 91], [80, 99], [81, 97]]; surface_coeff := [ [ 2, 1, -50, -1 ], [ 3, 1, -27, -2 ], [ 4, 1, -9, -1 ], [ 4, 1, -16, -1 ], [ 4, 1, -25, -1 ], [ 4, 1, -36, -1 ], [ 4, 1, -49, -1 ], [ 4, 1, -64, -1 ], [ 4, 1, -81, -1 ], [ 4, 1, -100, -1 ], [ 4, 1, -121, -1 ], [ 4, 1, -144, -1 ], [ 4, 1, -169, -1 ], [ 4, 1, -196, -1 ], [ 4, 1, -9, -4 ], [ 4, 1, -25, -4 ], [ 4, 1, -49, -4 ], [ 4, 1, -81, -4 ], [ 4, 1, -121, -4 ], [ 4, 1, -169, -4 ], [ 4, 1, -16, -9 ], [ 4, 1, -25, -9 ], [ 4, 1, -49, -9 ], [ 4, 1, -64, -9 ], [ 4, 1, -100, -9 ], [ 4, 1, -121, -9 ], [ 4, 1, -169, -9 ], [ 4, 1, -196, -9 ], [ 4, 1, -25, -16 ], [ 4, 1, -49, -16 ], [ 4, 1, -81, -16 ], [ 4, 1, -121, -16 ], [ 4, 1, -169, -16 ], [ 4, 1, -36, -25 ], [ 4, 1, -49, -25 ], [ 4, 1, -64, -25 ], [ 4, 1, -81, -25 ], [ 4, 1, -121, -25 ], [ 4, 1, -144, -25 ], [ 4, 1, -169, -25 ], [ 4, 1, -196, -25 ], [ 4, 1, -196, -27 ], [ 4, 1, -49, -36 ], [ 4, 1, -121, -36 ], [ 4, 1, -169, -36 ], [ 4, 1, -49, -48 ], [ 4, 1, -169, -48 ], [ 4, 1, -64, -49 ], [ 4, 1, -81, -49 ], [ 4, 1, -100, -49 ], [ 4, 1, -121, -49 ], [ 4, 1, -144, -49 ], [ 4, 1, -169, -49 ], [ 4, 1, -225, -49 ], [ 4, 1, -81, -64 ], [ 4, 1, -121, -64 ], [ 4, 1, -169, -64 ], [ 4, 1, -225, -64 ], [ 4, 1, -196, -75 ], [ 4, 1, -100, -81 ], [ 4, 1, -121, -81 ], [ 4, 1, -169, -81 ], [ 4, 1, -196, -81 ], [ 4, 1, -256, -81 ], [ 4, 1, -121, -100 ], [ 4, 1, -169, -100 ], [ 4, 1, -289, -100 ], [ 4, 1, -144, -121 ], [ 4, 1, -169, -121 ], [ 4, 1, -196, -121 ], [ 4, 1, -225, -121 ], [ 4, 1, -256, -121 ], [ 4, 1, -289, -121 ], [ 4, 1, -169, -144 ], [ 4, 1, -289, -144 ], [ 4, 1, -196, -169 ], [ 4, 1, -225, -169 ], [ 4, 1, -256, -169 ], [ 4, 1, -289, -169 ], [ 4, 1, -324, -169 ], [ 4, 1, -361, -169 ], [ 4, 1, -361, -192 ], [ 4, 1, -225, -196 ], [ 4, 1, -289, -196 ], [ 4, 1, -361, -196 ], [ 5, 1, -125, -4 ], [ 5, 1, -125, -121 ], [ 6, 1, -54, -5 ], [ 6, 1, -294, -125 ], [ 7, 1, -175, -6 ], [ 7, 1, -175, -54 ], [ 8, 1, -32, -7 ], [ 8, 1, -128, -7 ], [ 9, 1, -16, -1 ], [ 9, 1, -25, -1 ], [ 9, 1, -36, -1 ], [ 9, 1, -49, -1 ], [ 9, 1, -64, -1 ], [ 9, 1, -81, -1 ], [ 9, 1, -100, -1 ], [ 9, 1, -121, -1 ], [ 9, 1, -144, -1 ], [ 9, 1, -169, -1 ], [ 9, 1, -196, -1 ], [ 9, 1, -9, -4 ], [ 9, 1, -25, -4 ], [ 9, 1, -49, -4 ], [ 9, 1, -81, -4 ], [ 9, 1, -121, -4 ], [ 9, 1, -169, -4 ], [ 9, 1, -16, -9 ], [ 9, 1, -25, -9 ], [ 9, 1, -49, -9 ], [ 9, 1, -64, -9 ], [ 9, 1, -100, -9 ], [ 9, 1, -121, -9 ], [ 9, 1, -169, -9 ], [ 9, 1, -196, -9 ], [ 9, 1, -25, -16 ], [ 9, 1, -49, -16 ], [ 9, 1, -81, -16 ], [ 9, 1, -121, -16 ], [ 9, 1, -169, -16 ], [ 9, 1, -36, -25 ], [ 9, 1, -49, -25 ], [ 9, 1, -64, -25 ], [ 9, 1, -81, -25 ], [ 9, 1, -121, -25 ], [ 9, 1, -144, -25 ], [ 9, 1, -169, -25 ], [ 9, 1, -196, -25 ], [ 9, 1, -81, -32 ], [ 9, 1, -49, -36 ], [ 9, 1, -121, -36 ], [ 9, 1, -169, -36 ], [ 9, 1, -64, -49 ], [ 9, 1, -81, -49 ], [ 9, 1, -100, -49 ], [ 9, 1, -121, -49 ], [ 9, 1, -144, -49 ], [ 9, 1, -169, -49 ], [ 9, 1, -225, -49 ], [ 9, 1, -81, -64 ], [ 9, 1, -121, -64 ], [ 9, 1, -169, -64 ], [ 9, 1, -225, -64 ], [ 9, 1, -121, -72 ], [ 9, 1, -100, -81 ], [ 9, 1, -121, -81 ], [ 9, 1, -169, -81 ], [ 9, 1, -196, -81 ], [ 9, 1, -256, -81 ], [ 9, 1, -121, -100 ], [ 9, 1, -169, -100 ], [ 9, 1, -289, -100 ], [ 9, 1, -144, -121 ], [ 9, 1, -169, -121 ], [ 9, 1, -196, -121 ], [ 9, 1, -225, -121 ], [ 9, 1, -256, -121 ], [ 9, 1, -289, -121 ], [ 9, 1, -169, -144 ], [ 9, 1, -289, -144 ], [ 9, 1, -196, -169 ], [ 9, 1, -225, -169 ], [ 9, 1, -256, -169 ], [ 9, 1, -289, -169 ], [ 9, 1, -324, -169 ], [ 9, 1, -361, -169 ], [ 9, 1, -225, -196 ], [ 9, 1, -289, -196 ], [ 9, 1, -361, -196 ], [ 10, 1, -250, -81 ], [ 10, 1, -250, -169 ], [ 12, 1, -27, -11 ], [ 12, 1, -75, -11 ], [ 13, 1, -52, -3 ], [ 13, 1, -52, -27 ], [ 15, 1, -135, -14 ], [ 16, 1, -25, -1 ], [ 16, 1, -36, -1 ], [ 16, 1, -49, -1 ], [ 16, 1, -64, -1 ], [ 16, 1, -81, -1 ], [ 16, 1, -100, -1 ], [ 16, 1, -121, -1 ], [ 16, 1, -144, -1 ], [ 16, 1, -169, -1 ], [ 16, 1, -196, -1 ], [ 16, 1, -9, -4 ], [ 16, 1, -25, -4 ], [ 16, 1, -49, -4 ], [ 16, 1, -81, -4 ], [ 16, 1, -121, -4 ], [ 16, 1, -169, -4 ], [ 16, 1, -16, -9 ], [ 16, 1, -25, -9 ], [ 16, 1, -49, -9 ], [ 16, 1, -64, -9 ], [ 16, 1, -100, -9 ], [ 16, 1, -121, -9 ], [ 16, 1, -169, -9 ], [ 16, 1, -196, -9 ], [ 16, 1, -64, -15 ], [ 16, 1, -25, -16 ], [ 16, 1, -49, -16 ], [ 16, 1, -81, -16 ], [ 16, 1, -121, -16 ], [ 16, 1, -169, -16 ], [ 16, 1, -36, -25 ], [ 16, 1, -49, -25 ], [ 16, 1, -64, -25 ], [ 16, 1, -81, -25 ], [ 16, 1, -121, -25 ], [ 16, 1, -144, -25 ], [ 16, 1, -169, -25 ], [ 16, 1, -196, -25 ], [ 16, 1, -49, -36 ], [ 16, 1, -121, -36 ], [ 16, 1, -169, -36 ], [ 16, 1, -64, -49 ], [ 16, 1, -81, -49 ], [ 16, 1, -100, -49 ], [ 16, 1, -121, -49 ], [ 16, 1, -144, -49 ], [ 16, 1, -169, -49 ], [ 16, 1, -225, -49 ], [ 16, 1, -81, -64 ], [ 16, 1, -121, -64 ], [ 16, 1, -169, -64 ], [ 16, 1, -225, -64 ], [ 16, 1, -100, -81 ], [ 16, 1, -121, -81 ], [ 16, 1, -169, -81 ], [ 16, 1, -196, -81 ], [ 16, 1, -256, -81 ], [ 16, 1, -121, -100 ], [ 16, 1, -169, -100 ], [ 16, 1, -289, -100 ], [ 16, 1, -144, -121 ], [ 16, 1, -169, -121 ], [ 16, 1, -196, -121 ], [ 16, 1, -225, -121 ], [ 16, 1, -256, -121 ], [ 16, 1, -289, -121 ], [ 16, 1, -256, -135 ], [ 16, 1, -169, -144 ], [ 16, 1, -289, -144 ], [ 16, 1, -196, -169 ], [ 16, 1, -225, -169 ], [ 16, 1, -256, -169 ], [ 16, 1, -289, -169 ], [ 16, 1, -324, -169 ], [ 16, 1, -361, -169 ], [ 16, 1, -225, -196 ], [ 16, 1, -289, -196 ], [ 16, 1, -361, -196 ], [ 18, 1, -98, -17 ], [ 19, 1, -171, -2 ], [ 19, 1, -171, -50 ], [ 20, 1, -125, -76 ], [ 20, 1, -245, -76 ], [ 21, 1, -21, -5 ], [ 21, 1, -189, -20 ], [ 21, 1, -189, -125 ], [ 25, 1, -36, -1 ], [ 25, 1, -49, -1 ], [ 25, 1, -64, -1 ], [ 25, 1, -81, -1 ], [ 25, 1, -100, -1 ], [ 25, 1, -121, -1 ], [ 25, 1, -144, -1 ], [ 25, 1, -169, -1 ], [ 25, 1, -196, -1 ], [ 25, 1, -9, -4 ], [ 25, 1, -25, -4 ], [ 25, 1, -49, -4 ], [ 25, 1, -81, -4 ], [ 25, 1, -121, -4 ], [ 25, 1, -169, -4 ], [ 25, 1, -16, -9 ], [ 25, 1, -25, -9 ], [ 25, 1, -49, -9 ], [ 25, 1, -64, -9 ], [ 25, 1, -100, -9 ], [ 25, 1, -121, -9 ], [ 25, 1, -169, -9 ], [ 25, 1, -196, -9 ], [ 25, 1, -25, -16 ], [ 25, 1, -49, -16 ], [ 25, 1, -81, -16 ], [ 25, 1, -121, -16 ], [ 25, 1, -169, -16 ], [ 25, 1, -49, -24 ], [ 25, 1, -36, -25 ], [ 25, 1, -49, -25 ], [ 25, 1, -64, -25 ], [ 25, 1, -81, -25 ], [ 25, 1, -121, -25 ], [ 25, 1, -144, -25 ], [ 25, 1, -169, -25 ], [ 25, 1, -196, -25 ], [ 25, 1, -49, -36 ], [ 25, 1, -121, -36 ], [ 25, 1, -169, -36 ], [ 25, 1, -64, -49 ], [ 25, 1, -81, -49 ], [ 25, 1, -100, -49 ], [ 25, 1, -121, -49 ], [ 25, 1, -144, -49 ], [ 25, 1, -169, -49 ], [ 25, 1, -225, -49 ], [ 25, 1, -81, -64 ], [ 25, 1, -121, -64 ], [ 25, 1, -169, -64 ], [ 25, 1, -225, -64 ], [ 25, 1, -100, -81 ], [ 25, 1, -121, -81 ], [ 25, 1, -169, -81 ], [ 25, 1, -196, -81 ], [ 25, 1, -256, -81 ], [ 25, 1, -121, -96 ], [ 25, 1, -121, -100 ], [ 25, 1, -169, -100 ], [ 25, 1, -289, -100 ], [ 25, 1, -144, -121 ], [ 25, 1, -169, -121 ], [ 25, 1, -196, -121 ], [ 25, 1, -225, -121 ], [ 25, 1, -256, -121 ], [ 25, 1, -289, -121 ], [ 25, 1, -169, -144 ], [ 25, 1, -289, -144 ], [ 25, 1, -196, -169 ], [ 25, 1, -225, -169 ], [ 25, 1, -256, -169 ], [ 25, 1, -289, -169 ], [ 25, 1, -324, -169 ], [ 25, 1, -361, -169 ], [ 25, 1, -225, -196 ], [ 25, 1, -289, -196 ], [ 25, 1, -361, -196 ], [ 27, 1, -75, -26 ], [ 27, 1, -147, -26 ], [ 28, 1, -7, -3 ], [ 28, 1, -28, -3 ], [ 32, 1, -200, -31 ], [ 33, 1, -33, -8 ], [ 33, 1, -297, -128 ], [ 36, 1, -49, -1 ], [ 36, 1, -64, -1 ], [ 36, 1, -81, -1 ], [ 36, 1, -100, -1 ], [ 36, 1, -121, -1 ], [ 36, 1, -144, -1 ], [ 36, 1, -169, -1 ], [ 36, 1, -196, -1 ], [ 36, 1, -9, -4 ], [ 36, 1, -25, -4 ], [ 36, 1, -49, -4 ], [ 36, 1, -81, -4 ], [ 36, 1, -121, -4 ], [ 36, 1, -169, -4 ], [ 36, 1, -16, -9 ], [ 36, 1, -25, -9 ], [ 36, 1, -49, -9 ], [ 36, 1, -64, -9 ], [ 36, 1, -100, -9 ], [ 36, 1, -121, -9 ], [ 36, 1, -169, -9 ], [ 36, 1, -196, -9 ], [ 36, 1, -25, -16 ], [ 36, 1, -49, -16 ], [ 36, 1, -81, -16 ], [ 36, 1, -121, -16 ], [ 36, 1, -169, -16 ], [ 36, 1, -36, -25 ], [ 36, 1, -49, -25 ], [ 36, 1, -64, -25 ], [ 36, 1, -81, -25 ], [ 36, 1, -121, -25 ], [ 36, 1, -144, -25 ], [ 36, 1, -169, -25 ], [ 36, 1, -196, -25 ], [ 36, 1, -49, -36 ], [ 36, 1, -121, -36 ], [ 36, 1, -169, -36 ], [ 36, 1, -64, -49 ], [ 36, 1, -81, -49 ], [ 36, 1, -100, -49 ], [ 36, 1, -121, -49 ], [ 36, 1, -144, -49 ], [ 36, 1, -169, -49 ], [ 36, 1, -225, -49 ], [ 36, 1, -81, -64 ], [ 36, 1, -121, -64 ], [ 36, 1, -169, -64 ], [ 36, 1, -225, -64 ], [ 36, 1, -100, -81 ], [ 36, 1, -121, -81 ], [ 36, 1, -169, -81 ], [ 36, 1, -196, -81 ], [ 36, 1, -256, -81 ], [ 36, 1, -121, -100 ], [ 36, 1, -169, -100 ], [ 36, 1, -289, -100 ], [ 36, 1, -144, -121 ], [ 36, 1, -169, -121 ], [ 36, 1, -196, -121 ], [ 36, 1, -225, -121 ], [ 36, 1, -256, -121 ], [ 36, 1, -289, -121 ], [ 36, 1, -169, -144 ], [ 36, 1, -289, -144 ], [ 36, 1, -196, -169 ], [ 36, 1, -225, -169 ], [ 36, 1, -256, -169 ], [ 36, 1, -289, -169 ], [ 36, 1, -324, -169 ], [ 36, 1, -361, -169 ], [ 36, 1, -225, -196 ], [ 36, 1, -289, -196 ], [ 36, 1, -361, -196 ], [ 40, 1, -160, -39 ], [ 45, 1, -20, -11 ], [ 45, 1, -180, -11 ], [ 45, 1, -125, -44 ], [ 48, 1, -147, -47 ], [ 48, 1, -243, -47 ], [ 49, 1, -64, -1 ], [ 49, 1, -81, -1 ], [ 49, 1, -100, -1 ], [ 49, 1, -121, -1 ], [ 49, 1, -144, -1 ], [ 49, 1, -169, -1 ], [ 49, 1, -196, -1 ], [ 49, 1, -9, -4 ], [ 49, 1, -25, -4 ], [ 49, 1, -49, -4 ], [ 49, 1, -81, -4 ], [ 49, 1, -121, -4 ], [ 49, 1, -169, -4 ], [ 49, 1, -16, -9 ], [ 49, 1, -25, -9 ], [ 49, 1, -49, -9 ], [ 49, 1, -64, -9 ], [ 49, 1, -100, -9 ], [ 49, 1, -121, -9 ], [ 49, 1, -169, -9 ], [ 49, 1, -196, -9 ], [ 49, 1, -25, -16 ], [ 49, 1, -49, -16 ], [ 49, 1, -81, -16 ], [ 49, 1, -121, -16 ], [ 49, 1, -169, -16 ], [ 49, 1, -36, -25 ], [ 49, 1, -49, -25 ], [ 49, 1, -64, -25 ], [ 49, 1, -81, -25 ], [ 49, 1, -121, -25 ], [ 49, 1, -144, -25 ], [ 49, 1, -169, -25 ], [ 49, 1, -196, -25 ], [ 49, 1, -196, -27 ], [ 49, 1, -49, -36 ], [ 49, 1, -121, -36 ], [ 49, 1, -169, -36 ], [ 49, 1, -169, -48 ], [ 49, 1, -64, -49 ], [ 49, 1, -81, -49 ], [ 49, 1, -100, -49 ], [ 49, 1, -121, -49 ], [ 49, 1, -144, -49 ], [ 49, 1, -169, -49 ], [ 49, 1, -225, -49 ], [ 49, 1, -81, -64 ], [ 49, 1, -121, -64 ], [ 49, 1, -169, -64 ], [ 49, 1, -225, -64 ], [ 49, 1, -196, -75 ], [ 49, 1, -100, -81 ], [ 49, 1, -121, -81 ], [ 49, 1, -169, -81 ], [ 49, 1, -196, -81 ], [ 49, 1, -256, -81 ], [ 49, 1, -121, -100 ], [ 49, 1, -169, -100 ], [ 49, 1, -289, -100 ], [ 49, 1, -144, -121 ], [ 49, 1, -169, -121 ], [ 49, 1, -196, -121 ], [ 49, 1, -225, -121 ], [ 49, 1, -256, -121 ], [ 49, 1, -289, -121 ], [ 49, 1, -169, -144 ], [ 49, 1, -289, -144 ], [ 49, 1, -196, -169 ], [ 49, 1, -225, -169 ], [ 49, 1, -256, -169 ], [ 49, 1, -289, -169 ], [ 49, 1, -324, -169 ], [ 49, 1, -361, -169 ], [ 49, 1, -361, -192 ], [ 49, 1, -225, -196 ], [ 49, 1, -289, -196 ], [ 49, 1, -361, -196 ], [ 51, 1, -51, -2 ], [ 55, 1, -55, -6 ], [ 56, 1, -224, -55 ], [ 64, 1, -81, -1 ], [ 64, 1, -100, -1 ], [ 64, 1, -121, -1 ], [ 64, 1, -144, -1 ], [ 64, 1, -169, -1 ], [ 64, 1, -196, -1 ], [ 64, 1, -9, -4 ], [ 64, 1, -25, -4 ], [ 64, 1, -49, -4 ], [ 64, 1, -81, -4 ], [ 64, 1, -121, -4 ], [ 64, 1, -169, -4 ], [ 64, 1, -16, -7 ], [ 64, 1, -16, -9 ], [ 64, 1, -25, -9 ], [ 64, 1, -49, -9 ], [ 64, 1, -64, -9 ], [ 64, 1, -100, -9 ], [ 64, 1, -121, -9 ], [ 64, 1, -169, -9 ], [ 64, 1, -196, -9 ], [ 64, 1, -25, -16 ], [ 64, 1, -49, -16 ], [ 64, 1, -81, -16 ], [ 64, 1, -121, -16 ], [ 64, 1, -169, -16 ], [ 64, 1, -36, -25 ], [ 64, 1, -49, -25 ], [ 64, 1, -64, -25 ], [ 64, 1, -81, -25 ], [ 64, 1, -121, -25 ], [ 64, 1, -144, -25 ], [ 64, 1, -169, -25 ], [ 64, 1, -196, -25 ], [ 64, 1, -49, -36 ], [ 64, 1, -121, -36 ], [ 64, 1, -169, -36 ], [ 64, 1, -64, -49 ], [ 64, 1, -81, -49 ], [ 64, 1, -100, -49 ], [ 64, 1, -121, -49 ], [ 64, 1, -144, -49 ], [ 64, 1, -169, -49 ], [ 64, 1, -225, -49 ], [ 64, 1, -81, -64 ], [ 64, 1, -121, -64 ], [ 64, 1, -169, -64 ], [ 64, 1, -225, -64 ], [ 64, 1, -100, -81 ], [ 64, 1, -121, -81 ], [ 64, 1, -169, -81 ], [ 64, 1, -196, -81 ], [ 64, 1, -256, -81 ], [ 64, 1, -121, -100 ], [ 64, 1, -169, -100 ], [ 64, 1, -289, -100 ], [ 64, 1, -121, -112 ], [ 64, 1, -144, -121 ], [ 64, 1, -169, -121 ], [ 64, 1, -196, -121 ], [ 64, 1, -225, -121 ], [ 64, 1, -256, -121 ], [ 64, 1, -289, -121 ], [ 64, 1, -169, -144 ], [ 64, 1, -289, -144 ], [ 64, 1, -196, -169 ], [ 64, 1, -225, -169 ], [ 64, 1, -256, -169 ], [ 64, 1, -289, -169 ], [ 64, 1, -324, -169 ], [ 64, 1, -361, -169 ], [ 64, 1, -256, -175 ], [ 64, 1, -225, -196 ], [ 64, 1, -289, -196 ], [ 64, 1, -361, -196 ], [ 65, 1, -65, -16 ], [ 65, 1, -65, -49 ], [ 75, 1, -243, -74 ], [ 76, 1, -19, -3 ], [ 76, 1, -76, -27 ], [ 81, 1, -100, -1 ], [ 81, 1, -121, -1 ], [ 81, 1, -144, -1 ], [ 81, 1, -169, -1 ], [ 81, 1, -196, -1 ], [ 81, 1, -9, -4 ], [ 81, 1, -25, -4 ], [ 81, 1, -49, -4 ], [ 81, 1, -81, -4 ], [ 81, 1, -121, -4 ], [ 81, 1, -169, -4 ], [ 81, 1, -9, -5 ], [ 81, 1, -16, -9 ], [ 81, 1, -25, -9 ], [ 81, 1, -49, -9 ], [ 81, 1, -64, -9 ], [ 81, 1, -100, -9 ], [ 81, 1, -121, -9 ], [ 81, 1, -169, -9 ], [ 81, 1, -196, -9 ], [ 81, 1, -25, -16 ], [ 81, 1, -49, -16 ], [ 81, 1, -81, -16 ], [ 81, 1, -121, -16 ], [ 81, 1, -169, -16 ], [ 81, 1, -36, -25 ], [ 81, 1, -49, -25 ], [ 81, 1, -64, -25 ], [ 81, 1, -81, -25 ], [ 81, 1, -121, -25 ], [ 81, 1, -144, -25 ], [ 81, 1, -169, -25 ], [ 81, 1, -196, -25 ], [ 81, 1, -49, -36 ], [ 81, 1, -121, -36 ], [ 81, 1, -169, -36 ], [ 81, 1, -49, -45 ], [ 81, 1, -64, -49 ], [ 81, 1, -81, -49 ], [ 81, 1, -100, -49 ], [ 81, 1, -121, -49 ], [ 81, 1, -144, -49 ], [ 81, 1, -169, -49 ], [ 81, 1, -225, -49 ], [ 81, 1, -81, -64 ], [ 81, 1, -121, -64 ], [ 81, 1, -169, -64 ], [ 81, 1, -225, -64 ], [ 81, 1, -100, -81 ], [ 81, 1, -121, -81 ], [ 81, 1, -169, -81 ], [ 81, 1, -196, -81 ], [ 81, 1, -256, -81 ], [ 81, 1, -121, -100 ], [ 81, 1, -169, -100 ], [ 81, 1, -289, -100 ], [ 81, 1, -144, -121 ], [ 81, 1, -169, -121 ], [ 81, 1, -196, -121 ], [ 81, 1, -225, -121 ], [ 81, 1, -256, -121 ], [ 81, 1, -289, -121 ], [ 81, 1, -169, -144 ], [ 81, 1, -289, -144 ], [ 81, 1, -196, -169 ], [ 81, 1, -225, -169 ], [ 81, 1, -256, -169 ], [ 81, 1, -289, -169 ], [ 81, 1, -324, -169 ], [ 81, 1, -361, -169 ], [ 81, 1, -225, -196 ], [ 81, 1, -289, -196 ], [ 81, 1, -361, -196 ], [ 85, 1, -85, -21 ], [ 91, 1, -91, -10 ], [ 96, 1, -216, -95 ], [ 99, 1, -11, -2 ], [ 99, 1, -99, -50 ], [ 100, 1, -121, -1 ], [ 100, 1, -144, -1 ], [ 100, 1, -169, -1 ], [ 100, 1, -196, -1 ], [ 100, 1, -9, -4 ], [ 100, 1, -25, -4 ], [ 100, 1, -49, -4 ], [ 100, 1, -81, -4 ], [ 100, 1, -121, -4 ], [ 100, 1, -169, -4 ], [ 100, 1, -16, -9 ], [ 100, 1, -25, -9 ], [ 100, 1, -49, -9 ], [ 100, 1, -64, -9 ], [ 100, 1, -100, -9 ], [ 100, 1, -121, -9 ], [ 100, 1, -169, -9 ], [ 100, 1, -196, -9 ], [ 100, 1, -36, -11 ], [ 100, 1, -25, -16 ], [ 100, 1, -49, -16 ], [ 100, 1, -81, -16 ], [ 100, 1, -121, -16 ], [ 100, 1, -169, -16 ], [ 100, 1, -36, -25 ], [ 100, 1, -49, -25 ], [ 100, 1, -64, -25 ], [ 100, 1, -81, -25 ], [ 100, 1, -121, -25 ], [ 100, 1, -144, -25 ], [ 100, 1, -169, -25 ], [ 100, 1, -196, -25 ], [ 100, 1, -49, -36 ], [ 100, 1, -121, -36 ], [ 100, 1, -169, -36 ], [ 100, 1, -64, -49 ], [ 100, 1, -81, -49 ], [ 100, 1, -100, -49 ], [ 100, 1, -121, -49 ], [ 100, 1, -144, -49 ], [ 100, 1, -169, -49 ], [ 100, 1, -225, -49 ], [ 100, 1, -81, -64 ], [ 100, 1, -121, -64 ], [ 100, 1, -169, -64 ], [ 100, 1, -225, -64 ], [ 100, 1, -100, -81 ], [ 100, 1, -121, -81 ], [ 100, 1, -169, -81 ], [ 100, 1, -196, -81 ], [ 100, 1, -256, -81 ], [ 100, 1, -121, -100 ], [ 100, 1, -169, -100 ], [ 100, 1, -289, -100 ], [ 100, 1, -144, -121 ], [ 100, 1, -169, -121 ], [ 100, 1, -196, -121 ], [ 100, 1, -225, -121 ], [ 100, 1, -256, -121 ], [ 100, 1, -289, -121 ], [ 100, 1, -169, -144 ], [ 100, 1, -289, -144 ], [ 100, 1, -196, -169 ], [ 100, 1, -225, -169 ], [ 100, 1, -256, -169 ], [ 100, 1, -289, -169 ], [ 100, 1, -324, -169 ], [ 100, 1, -361, -169 ], [ 100, 1, -225, -176 ], [ 100, 1, -225, -196 ], [ 100, 1, -289, -196 ], [ 100, 1, -361, -196 ], [ 112, 1, -175, -111 ], [ 121, 1, -144, -1 ], [ 121, 1, -169, -1 ], [ 121, 1, -196, -1 ], [ 121, 1, -9, -4 ], [ 121, 1, -25, -4 ], [ 121, 1, -49, -4 ], [ 121, 1, -81, -4 ], [ 121, 1, -121, -4 ], [ 121, 1, -169, -4 ], [ 121, 1, -16, -9 ], [ 121, 1, -25, -9 ], [ 121, 1, -49, -9 ], [ 121, 1, -64, -9 ], [ 121, 1, -100, -9 ], [ 121, 1, -121, -9 ], [ 121, 1, -169, -9 ], [ 121, 1, -196, -9 ], [ 121, 1, -25, -16 ], [ 121, 1, -49, -16 ], [ 121, 1, -81, -16 ], [ 121, 1, -121, -16 ], [ 121, 1, -169, -16 ], [ 121, 1, -36, -25 ], [ 121, 1, -49, -25 ], [ 121, 1, -64, -25 ], [ 121, 1, -81, -25 ], [ 121, 1, -121, -25 ], [ 121, 1, -144, -25 ], [ 121, 1, -169, -25 ], [ 121, 1, -196, -25 ], [ 121, 1, -49, -36 ], [ 121, 1, -121, -36 ], [ 121, 1, -169, -36 ], [ 121, 1, -64, -49 ], [ 121, 1, -81, -49 ], [ 121, 1, -100, -49 ], [ 121, 1, -121, -49 ], [ 121, 1, -144, -49 ], [ 121, 1, -169, -49 ], [ 121, 1, -225, -49 ], [ 121, 1, -81, -64 ], [ 121, 1, -121, -64 ], [ 121, 1, -169, -64 ], [ 121, 1, -225, -64 ], [ 121, 1, -100, -81 ], [ 121, 1, -121, -81 ], [ 121, 1, -169, -81 ], [ 121, 1, -196, -81 ], [ 121, 1, -256, -81 ], [ 121, 1, -121, -100 ], [ 121, 1, -169, -100 ], [ 121, 1, -289, -100 ], [ 121, 1, -169, -120 ], [ 121, 1, -289, -120 ], [ 121, 1, -144, -121 ], [ 121, 1, -169, -121 ], [ 121, 1, -196, -121 ], [ 121, 1, -225, -121 ], [ 121, 1, -256, -121 ], [ 121, 1, -289, -121 ], [ 121, 1, -169, -144 ], [ 121, 1, -289, -144 ], [ 121, 1, -196, -169 ], [ 121, 1, -225, -169 ], [ 121, 1, -256, -169 ], [ 121, 1, -289, -169 ], [ 121, 1, -324, -169 ], [ 121, 1, -361, -169 ], [ 121, 1, -225, -196 ], [ 121, 1, -289, -196 ], [ 121, 1, -361, -196 ], [ 125, 1, -80, -31 ], [ 125, 1, -245, -124 ], [ 126, 1, -14, -5 ], [ 126, 1, -126, -5 ], [ 129, 1, -129, -8 ], [ 133, 1, -133, -33 ], [ 136, 1, -136, -15 ], [ 144, 1, -169, -1 ], [ 144, 1, -196, -1 ], [ 144, 1, -9, -4 ], [ 144, 1, -25, -4 ], [ 144, 1, -49, -4 ], [ 144, 1, -81, -4 ], [ 144, 1, -121, -4 ], [ 144, 1, -169, -4 ], [ 144, 1, -16, -9 ], [ 144, 1, -25, -9 ], [ 144, 1, -49, -9 ], [ 144, 1, -64, -9 ], [ 144, 1, -100, -9 ], [ 144, 1, -121, -9 ], [ 144, 1, -169, -9 ], [ 144, 1, -196, -9 ], [ 144, 1, -25, -16 ], [ 144, 1, -49, -16 ], [ 144, 1, -81, -16 ], [ 144, 1, -121, -16 ], [ 144, 1, -169, -16 ], [ 144, 1, -36, -25 ], [ 144, 1, -49, -25 ], [ 144, 1, -64, -25 ], [ 144, 1, -81, -25 ], [ 144, 1, -121, -25 ], [ 144, 1, -144, -25 ], [ 144, 1, -169, -25 ], [ 144, 1, -196, -25 ], [ 144, 1, -49, -36 ], [ 144, 1, -121, -36 ], [ 144, 1, -169, -36 ], [ 144, 1, -64, -49 ], [ 144, 1, -81, -49 ], [ 144, 1, -100, -49 ], [ 144, 1, -121, -49 ], [ 144, 1, -144, -49 ], [ 144, 1, -169, -49 ], [ 144, 1, -225, -49 ], [ 144, 1, -81, -64 ], [ 144, 1, -121, -64 ], [ 144, 1, -169, -64 ], [ 144, 1, -225, -64 ], [ 144, 1, -100, -81 ], [ 144, 1, -121, -81 ], [ 144, 1, -169, -81 ], [ 144, 1, -196, -81 ], [ 144, 1, -256, -81 ], [ 144, 1, -121, -100 ], [ 144, 1, -169, -100 ], [ 144, 1, -289, -100 ], [ 144, 1, -144, -121 ], [ 144, 1, -169, -121 ], [ 144, 1, -196, -121 ], [ 144, 1, -225, -121 ], [ 144, 1, -256, -121 ], [ 144, 1, -289, -121 ], [ 144, 1, -169, -144 ], [ 144, 1, -289, -144 ], [ 144, 1, -196, -169 ], [ 144, 1, -225, -169 ], [ 144, 1, -256, -169 ], [ 144, 1, -289, -169 ], [ 144, 1, -324, -169 ], [ 144, 1, -361, -169 ], [ 144, 1, -225, -196 ], [ 144, 1, -289, -196 ], [ 144, 1, -361, -196 ], [ 145, 1, -145, -64 ], [ 145, 1, -145, -81 ], [ 148, 1, -37, -12 ], [ 148, 1, -148, -27 ], [ 156, 1, -351, -155 ], [ 161, 1, -161, -40 ], [ 162, 1, -242, -161 ], [ 169, 1, -196, -1 ], [ 169, 1, -9, -4 ], [ 169, 1, -25, -4 ], [ 169, 1, -49, -4 ], [ 169, 1, -81, -4 ], [ 169, 1, -121, -4 ], [ 169, 1, -169, -4 ], [ 169, 1, -16, -9 ], [ 169, 1, -25, -9 ], [ 169, 1, -49, -9 ], [ 169, 1, -64, -9 ], [ 169, 1, -100, -9 ], [ 169, 1, -121, -9 ], [ 169, 1, -169, -9 ], [ 169, 1, -196, -9 ], [ 169, 1, -25, -16 ], [ 169, 1, -49, -16 ], [ 169, 1, -81, -16 ], [ 169, 1, -121, -16 ], [ 169, 1, -169, -16 ], [ 169, 1, -36, -25 ], [ 169, 1, -49, -25 ], [ 169, 1, -64, -25 ], [ 169, 1, -81, -25 ], [ 169, 1, -121, -25 ], [ 169, 1, -144, -25 ], [ 169, 1, -169, -25 ], [ 169, 1, -196, -25 ], [ 169, 1, -49, -36 ], [ 169, 1, -121, -36 ], [ 169, 1, -169, -36 ], [ 169, 1, -64, -49 ], [ 169, 1, -81, -49 ], [ 169, 1, -100, -49 ], [ 169, 1, -121, -49 ], [ 169, 1, -144, -49 ], [ 169, 1, -169, -49 ], [ 169, 1, -225, -49 ], [ 169, 1, -81, -64 ], [ 169, 1, -121, -64 ], [ 169, 1, -169, -64 ], [ 169, 1, -225, -64 ], [ 169, 1, -100, -81 ], [ 169, 1, -121, -81 ], [ 169, 1, -169, -81 ], [ 169, 1, -196, -81 ], [ 169, 1, -256, -81 ], [ 169, 1, -121, -100 ], [ 169, 1, -169, -100 ], [ 169, 1, -289, -100 ], [ 169, 1, -144, -121 ], [ 169, 1, -169, -121 ], [ 169, 1, -196, -121 ], [ 169, 1, -225, -121 ], [ 169, 1, -256, -121 ], [ 169, 1, -289, -121 ], [ 169, 1, -169, -144 ], [ 169, 1, -289, -144 ], [ 169, 1, -289, -168 ], [ 169, 1, -196, -169 ], [ 169, 1, -225, -169 ], [ 169, 1, -256, -169 ], [ 169, 1, -289, -169 ], [ 169, 1, -324, -169 ], [ 169, 1, -361, -169 ], [ 169, 1, -225, -196 ], [ 169, 1, -289, -196 ], [ 169, 1, -361, -196 ], [ 170, 1, -170, -49 ], [ 170, 1, -170, -121 ], [ 175, 1, -343, -174 ], [ 176, 1, -11, -7 ], [ 176, 1, -176, -7 ], [ 190, 1, -190, -21 ], [ 196, 1, -9, -4 ], [ 196, 1, -25, -4 ], [ 196, 1, -49, -4 ], [ 196, 1, -81, -4 ], [ 196, 1, -121, -4 ], [ 196, 1, -169, -4 ], [ 196, 1, -16, -9 ], [ 196, 1, -25, -9 ], [ 196, 1, -49, -9 ], [ 196, 1, -64, -9 ], [ 196, 1, -100, -9 ], [ 196, 1, -121, -9 ], [ 196, 1, -169, -9 ], [ 196, 1, -196, -9 ], [ 196, 1, -25, -16 ], [ 196, 1, -49, -16 ], [ 196, 1, -81, -16 ], [ 196, 1, -121, -16 ], [ 196, 1, -169, -16 ], [ 196, 1, -36, -25 ], [ 196, 1, -49, -25 ], [ 196, 1, -64, -25 ], [ 196, 1, -81, -25 ], [ 196, 1, -121, -25 ], [ 196, 1, -144, -25 ], [ 196, 1, -169, -25 ], [ 196, 1, -196, -25 ], [ 196, 1, -49, -36 ], [ 196, 1, -121, -36 ], [ 196, 1, -169, -36 ], [ 196, 1, -64, -49 ], [ 196, 1, -81, -49 ], [ 196, 1, -100, -49 ], [ 196, 1, -121, -49 ], [ 196, 1, -144, -49 ], [ 196, 1, -169, -49 ], [ 196, 1, -225, -49 ], [ 196, 1, -81, -64 ], [ 196, 1, -121, -64 ], [ 196, 1, -169, -64 ], [ 196, 1, -225, -64 ], [ 196, 1, -100, -81 ], [ 196, 1, -121, -81 ], [ 196, 1, -169, -81 ], [ 196, 1, -196, -81 ], [ 196, 1, -256, -81 ], [ 196, 1, -121, -100 ], [ 196, 1, -169, -100 ], [ 196, 1, -289, -100 ], [ 196, 1, -144, -121 ], [ 196, 1, -169, -121 ], [ 196, 1, -196, -121 ], [ 196, 1, -225, -121 ], [ 196, 1, -256, -121 ], [ 196, 1, -289, -121 ], [ 196, 1, -169, -144 ], [ 196, 1, -289, -144 ], [ 196, 1, -196, -169 ], [ 196, 1, -225, -169 ], [ 196, 1, -256, -169 ], [ 196, 1, -289, -169 ], [ 196, 1, -324, -169 ], [ 196, 1, -361, -169 ], [ 196, 1, -225, -196 ], [ 196, 1, -289, -196 ], [ 196, 1, -361, -196 ], [ 201, 1, -201, -32 ], [ 5, 2, -125, -27 ], [ 9, 2, -25, -7 ], [ 9, 2, -169, -7 ], [ 11, 2, -99, -49 ], [ 25, 2, -121, -23 ], [ 77, 2, -77, -27 ], [ 121, 2, -169, -119 ], [ 123, 2, -123, -25 ], [ 147, 2, -243, -145 ], [ 171, 2, -171, -121 ], [ 7, 3, -28, -25 ], [ 8, 3, -32, -5 ], [ 8, 3, -128, -125 ], [ 11, 3, -275, -128 ], [ 16, 3, -25, -13 ], [ 16, 3, -121, -13 ], [ 19, 3, -76, -49 ], [ 20, 3, -125, -17 ], [ 25, 3, -49, -22 ], [ 25, 3, -169, -22 ], [ 35, 3, -35, -8 ], [ 49, 3, -121, -46 ], [ 52, 3, -52, -25 ], [ 64, 3, -169, -61 ], [ 67, 3, -268, -121 ], [ 80, 3, -125, -77 ], [ 98, 3, -242, -95 ], [ 100, 3, -289, -97 ], [ 115, 3, -115, -7 ], [ 124, 3, -31, -4 ], [ 124, 3, -124, -49 ], [ 128, 3, -32, -5 ], [ 143, 3, -143, -35 ], [ 172, 3, -43, -16 ], [ 172, 3, -172, -25 ], [ 203, 3, -203, -128 ], [ 9, 4, -25, -4 ], [ 9, 4, -49, -4 ], [ 9, 4, -81, -4 ], [ 9, 4, -121, -4 ], [ 9, 4, -169, -4 ], [ 9, 4, -16, -9 ], [ 9, 4, -25, -9 ], [ 9, 4, -49, -9 ], [ 9, 4, -64, -9 ], [ 9, 4, -100, -9 ], [ 9, 4, -121, -9 ], [ 9, 4, -169, -9 ], [ 9, 4, -196, -9 ], [ 9, 4, -25, -16 ], [ 9, 4, -49, -16 ], [ 9, 4, -81, -16 ], [ 9, 4, -121, -16 ], [ 9, 4, -169, -16 ], [ 9, 4, -36, -25 ], [ 9, 4, -49, -25 ], [ 9, 4, -64, -25 ], [ 9, 4, -81, -25 ], [ 9, 4, -121, -25 ], [ 9, 4, -144, -25 ], [ 9, 4, -169, -25 ], [ 9, 4, -196, -25 ], [ 9, 4, -49, -36 ], [ 9, 4, -121, -36 ], [ 9, 4, -169, -36 ], [ 9, 4, -49, -45 ], [ 9, 4, -64, -49 ], [ 9, 4, -81, -49 ], [ 9, 4, -100, -49 ], [ 9, 4, -121, -49 ], [ 9, 4, -144, -49 ], [ 9, 4, -169, -49 ], [ 9, 4, -225, -49 ], [ 9, 4, -81, -64 ], [ 9, 4, -121, -64 ], [ 9, 4, -169, -64 ], [ 9, 4, -225, -64 ], [ 9, 4, -100, -81 ], [ 9, 4, -121, -81 ], [ 9, 4, -169, -81 ], [ 9, 4, -196, -81 ], [ 9, 4, -256, -81 ], [ 9, 4, -121, -100 ], [ 9, 4, -169, -100 ], [ 9, 4, -289, -100 ], [ 9, 4, -144, -121 ], [ 9, 4, -169, -121 ], [ 9, 4, -196, -121 ], [ 9, 4, -225, -121 ], [ 9, 4, -256, -121 ], [ 9, 4, -289, -121 ], [ 9, 4, -169, -144 ], [ 9, 4, -289, -144 ], [ 9, 4, -196, -169 ], [ 9, 4, -225, -169 ], [ 9, 4, -256, -169 ], [ 9, 4, -289, -169 ], [ 9, 4, -324, -169 ], [ 9, 4, -361, -169 ], [ 9, 4, -225, -196 ], [ 9, 4, -289, -196 ], [ 9, 4, -361, -196 ], [ 11, 4, -176, -7 ], [ 15, 4, -60, -11 ], [ 19, 4, -304, -135 ], [ 21, 4, -189, -68 ], [ 25, 4, -49, -4 ], [ 25, 4, -81, -4 ], [ 25, 4, -121, -4 ], [ 25, 4, -169, -4 ], [ 25, 4, -16, -9 ], [ 25, 4, -25, -9 ], [ 25, 4, -49, -9 ], [ 25, 4, -64, -9 ], [ 25, 4, -100, -9 ], [ 25, 4, -121, -9 ], [ 25, 4, -169, -9 ], [ 25, 4, -196, -9 ], [ 25, 4, -25, -16 ], [ 25, 4, -49, -16 ], [ 25, 4, -81, -16 ], [ 25, 4, -121, -16 ], [ 25, 4, -169, -16 ], [ 25, 4, -121, -21 ], [ 25, 4, -36, -25 ], [ 25, 4, -49, -25 ], [ 25, 4, -64, -25 ], [ 25, 4, -81, -25 ], [ 25, 4, -121, -25 ], [ 25, 4, -144, -25 ], [ 25, 4, -169, -25 ], [ 25, 4, -196, -25 ], [ 25, 4, -49, -36 ], [ 25, 4, -121, -36 ], [ 25, 4, -169, -36 ], [ 25, 4, -64, -49 ], [ 25, 4, -81, -49 ], [ 25, 4, -100, -49 ], [ 25, 4, -121, -49 ], [ 25, 4, -144, -49 ], [ 25, 4, -169, -49 ], [ 25, 4, -225, -49 ], [ 25, 4, -81, -64 ], [ 25, 4, -121, -64 ], [ 25, 4, -169, -64 ], [ 25, 4, -225, -64 ], [ 25, 4, -100, -81 ], [ 25, 4, -121, -81 ], [ 25, 4, -169, -81 ], [ 25, 4, -196, -81 ], [ 25, 4, -256, -81 ], [ 25, 4, -121, -100 ], [ 25, 4, -169, -100 ], [ 25, 4, -289, -100 ], [ 25, 4, -144, -121 ], [ 25, 4, -169, -121 ], [ 25, 4, -196, -121 ], [ 25, 4, -225, -121 ], [ 25, 4, -256, -121 ], [ 25, 4, -289, -121 ], [ 25, 4, -169, -144 ], [ 25, 4, -289, -144 ], [ 25, 4, -196, -169 ], [ 25, 4, -225, -169 ], [ 25, 4, -256, -169 ], [ 25, 4, -289, -169 ], [ 25, 4, -324, -169 ], [ 25, 4, -361, -169 ], [ 25, 4, -289, -189 ], [ 25, 4, -225, -196 ], [ 25, 4, -289, -196 ], [ 25, 4, -361, -196 ], [ 27, 4, -48, -23 ], [ 27, 4, -192, -23 ], [ 31, 4, -124, -75 ], [ 39, 4, -156, -35 ], [ 45, 4, -245, -164 ], [ 49, 4, -81, -4 ], [ 49, 4, -121, -4 ], [ 49, 4, -169, -4 ], [ 49, 4, -16, -9 ], [ 49, 4, -25, -9 ], [ 49, 4, -49, -9 ], [ 49, 4, -64, -9 ], [ 49, 4, -100, -9 ], [ 49, 4, -121, -9 ], [ 49, 4, -169, -9 ], [ 49, 4, -196, -9 ], [ 49, 4, -25, -16 ], [ 49, 4, -49, -16 ], [ 49, 4, -81, -16 ], [ 49, 4, -121, -16 ], [ 49, 4, -169, -16 ], [ 49, 4, -36, -25 ], [ 49, 4, -49, -25 ], [ 49, 4, -64, -25 ], [ 49, 4, -81, -25 ], [ 49, 4, -121, -25 ], [ 49, 4, -144, -25 ], [ 49, 4, -169, -25 ], [ 49, 4, -196, -25 ], [ 49, 4, -49, -36 ], [ 49, 4, -121, -36 ], [ 49, 4, -169, -36 ], [ 49, 4, -64, -49 ], [ 49, 4, -81, -49 ], [ 49, 4, -100, -49 ], [ 49, 4, -121, -49 ], [ 49, 4, -144, -49 ], [ 49, 4, -169, -49 ], [ 49, 4, -225, -49 ], [ 49, 4, -81, -64 ], [ 49, 4, -121, -64 ], [ 49, 4, -169, -64 ], [ 49, 4, -225, -64 ], [ 49, 4, -100, -81 ], [ 49, 4, -121, -81 ], [ 49, 4, -169, -81 ], [ 49, 4, -196, -81 ], [ 49, 4, -256, -81 ], [ 49, 4, -121, -100 ], [ 49, 4, -169, -100 ], [ 49, 4, -289, -100 ], [ 49, 4, -144, -121 ], [ 49, 4, -169, -121 ], [ 49, 4, -196, -121 ], [ 49, 4, -225, -121 ], [ 49, 4, -256, -121 ], [ 49, 4, -289, -121 ], [ 49, 4, -169, -144 ], [ 49, 4, -289, -144 ], [ 49, 4, -196, -169 ], [ 49, 4, -225, -169 ], [ 49, 4, -256, -169 ], [ 49, 4, -289, -169 ], [ 49, 4, -324, -169 ], [ 49, 4, -361, -169 ], [ 49, 4, -225, -196 ], [ 49, 4, -289, -196 ], [ 49, 4, -361, -196 ], [ 55, 4, -220, -51 ], [ 75, 4, -192, -71 ], [ 79, 4, -316, -147 ], [ 81, 4, -121, -4 ], [ 81, 4, -169, -4 ], [ 81, 4, -16, -9 ], [ 81, 4, -25, -9 ], [ 81, 4, -49, -9 ], [ 81, 4, -64, -9 ], [ 81, 4, -100, -9 ], [ 81, 4, -121, -9 ], [ 81, 4, -169, -9 ], [ 81, 4, -196, -9 ], [ 81, 4, -25, -16 ], [ 81, 4, -49, -16 ], [ 81, 4, -81, -16 ], [ 81, 4, -121, -16 ], [ 81, 4, -169, -16 ], [ 81, 4, -36, -25 ], [ 81, 4, -49, -25 ], [ 81, 4, -64, -25 ], [ 81, 4, -81, -25 ], [ 81, 4, -121, -25 ], [ 81, 4, -144, -25 ], [ 81, 4, -169, -25 ], [ 81, 4, -196, -25 ], [ 81, 4, -49, -36 ], [ 81, 4, -121, -36 ], [ 81, 4, -169, -36 ], [ 81, 4, -64, -49 ], [ 81, 4, -81, -49 ], [ 81, 4, -100, -49 ], [ 81, 4, -121, -49 ], [ 81, 4, -144, -49 ], [ 81, 4, -169, -49 ], [ 81, 4, -225, -49 ], [ 81, 4, -81, -64 ], [ 81, 4, -121, -64 ], [ 81, 4, -169, -64 ], [ 81, 4, -225, -64 ], [ 81, 4, -100, -81 ], [ 81, 4, -121, -81 ], [ 81, 4, -169, -81 ], [ 81, 4, -196, -81 ], [ 81, 4, -256, -81 ], [ 81, 4, -121, -100 ], [ 81, 4, -169, -100 ], [ 81, 4, -289, -100 ], [ 81, 4, -144, -121 ], [ 81, 4, -169, -121 ], [ 81, 4, -196, -121 ], [ 81, 4, -225, -121 ], [ 81, 4, -256, -121 ], [ 81, 4, -289, -121 ], [ 81, 4, -169, -144 ], [ 81, 4, -289, -144 ], [ 81, 4, -196, -169 ], [ 81, 4, -225, -169 ], [ 81, 4, -256, -169 ], [ 81, 4, -289, -169 ], [ 81, 4, -324, -169 ], [ 81, 4, -361, -169 ], [ 81, 4, -225, -196 ], [ 81, 4, -289, -196 ], [ 81, 4, -361, -196 ], [ 85, 4, -85, -36 ], [ 85, 4, -85, -49 ], [ 99, 4, -176, -95 ], [ 121, 4, -169, -4 ], [ 121, 4, -16, -9 ], [ 121, 4, -25, -9 ], [ 121, 4, -49, -9 ], [ 121, 4, -64, -9 ], [ 121, 4, -100, -9 ], [ 121, 4, -121, -9 ], [ 121, 4, -169, -9 ], [ 121, 4, -196, -9 ], [ 121, 4, -49, -13 ], [ 121, 4, -25, -16 ], [ 121, 4, -49, -16 ], [ 121, 4, -81, -16 ], [ 121, 4, -121, -16 ], [ 121, 4, -169, -16 ], [ 121, 4, -36, -25 ], [ 121, 4, -49, -25 ], [ 121, 4, -64, -25 ], [ 121, 4, -81, -25 ], [ 121, 4, -121, -25 ], [ 121, 4, -144, -25 ], [ 121, 4, -169, -25 ], [ 121, 4, -196, -25 ], [ 121, 4, -49, -36 ], [ 121, 4, -121, -36 ], [ 121, 4, -169, -36 ], [ 121, 4, -64, -49 ], [ 121, 4, -81, -49 ], [ 121, 4, -100, -49 ], [ 121, 4, -121, -49 ], [ 121, 4, -144, -49 ], [ 121, 4, -169, -49 ], [ 121, 4, -225, -49 ], [ 121, 4, -81, -64 ], [ 121, 4, -121, -64 ], [ 121, 4, -169, -64 ], [ 121, 4, -225, -64 ], [ 121, 4, -100, -81 ], [ 121, 4, -121, -81 ], [ 121, 4, -169, -81 ], [ 121, 4, -196, -81 ], [ 121, 4, -256, -81 ], [ 121, 4, -121, -100 ], [ 121, 4, -169, -100 ], [ 121, 4, -289, -100 ], [ 121, 4, -144, -121 ], [ 121, 4, -169, -121 ], [ 121, 4, -196, -121 ], [ 121, 4, -225, -121 ], [ 121, 4, -256, -121 ], [ 121, 4, -289, -121 ], [ 121, 4, -169, -144 ], [ 121, 4, -289, -144 ], [ 121, 4, -196, -169 ], [ 121, 4, -225, -169 ], [ 121, 4, -256, -169 ], [ 121, 4, -289, -169 ], [ 121, 4, -324, -169 ], [ 121, 4, -361, -169 ], [ 121, 4, -225, -196 ], [ 121, 4, -289, -196 ], [ 121, 4, -361, -196 ], [ 129, 4, -129, -80 ], [ 147, 4, -192, -143 ], [ 147, 4, -243, -143 ], [ 169, 4, -16, -9 ], [ 169, 4, -25, -9 ], [ 169, 4, -49, -9 ], [ 169, 4, -64, -9 ], [ 169, 4, -100, -9 ], [ 169, 4, -121, -9 ], [ 169, 4, -169, -9 ], [ 169, 4, -196, -9 ], [ 169, 4, -25, -16 ], [ 169, 4, -49, -16 ], [ 169, 4, -81, -16 ], [ 169, 4, -121, -16 ], [ 169, 4, -169, -16 ], [ 169, 4, -36, -25 ], [ 169, 4, -49, -25 ], [ 169, 4, -64, -25 ], [ 169, 4, -81, -25 ], [ 169, 4, -121, -25 ], [ 169, 4, -144, -25 ], [ 169, 4, -169, -25 ], [ 169, 4, -196, -25 ], [ 169, 4, -49, -36 ], [ 169, 4, -121, -36 ], [ 169, 4, -169, -36 ], [ 169, 4, -64, -49 ], [ 169, 4, -81, -49 ], [ 169, 4, -100, -49 ], [ 169, 4, -121, -49 ], [ 169, 4, -144, -49 ], [ 169, 4, -169, -49 ], [ 169, 4, -225, -49 ], [ 169, 4, -81, -64 ], [ 169, 4, -121, -64 ], [ 169, 4, -169, -64 ], [ 169, 4, -225, -64 ], [ 169, 4, -100, -81 ], [ 169, 4, -121, -81 ], [ 169, 4, -169, -81 ], [ 169, 4, -196, -81 ], [ 169, 4, -256, -81 ], [ 169, 4, -121, -100 ], [ 169, 4, -169, -100 ], [ 169, 4, -289, -100 ], [ 169, 4, -144, -121 ], [ 169, 4, -169, -121 ], [ 169, 4, -196, -121 ], [ 169, 4, -225, -121 ], [ 169, 4, -256, -121 ], [ 169, 4, -289, -121 ], [ 169, 4, -169, -144 ], [ 169, 4, -289, -144 ], [ 169, 4, -361, -165 ], [ 169, 4, -196, -169 ], [ 169, 4, -225, -169 ], [ 169, 4, -256, -169 ], [ 169, 4, -289, -169 ], [ 169, 4, -324, -169 ], [ 169, 4, -361, -169 ], [ 169, 4, -225, -196 ], [ 169, 4, -289, -196 ], [ 169, 4, -361, -196 ], [ 175, 4, -28, -19 ], [ 12, 5, -27, -7 ], [ 14, 5, -126, -121 ], [ 16, 5, -49, -44 ], [ 16, 5, -169, -44 ], [ 17, 5, -272, -147 ], [ 18, 5, -242, -117 ], [ 21, 5, -189, -64 ], [ 21, 5, -189, -169 ], [ 27, 5, -147, -22 ], [ 33, 5, -132, -7 ], [ 36, 5, -169, -124 ], [ 49, 5, -169, -44 ], [ 54, 5, -294, -169 ], [ 68, 5, -153, -28 ], [ 69, 5, -69, -49 ], [ 77, 5, -77, -32 ], [ 81, 5, -64, -19 ], [ 81, 5, -144, -19 ], [ 81, 5, -121, -76 ], [ 96, 5, -216, -91 ], [ 117, 5, -52, -7 ], [ 121, 5, -49, -29 ], [ 133, 5, -133, -8 ], [ 152, 5, -152, -27 ], [ 169, 5, -121, -41 ], [ 169, 5, -289, -164 ], [ 174, 5, -174, -49 ], [ 176, 5, -99, -19 ], [ 201, 5, -201, -121 ], [ 25, 6, -169, -19 ], [ 121, 6, -169, -115 ], [ 175, 6, -175, -121 ], [ 15, 7, -135, -128 ], [ 16, 7, -25, -9 ], [ 16, 7, -121, -9 ], [ 16, 7, -36, -11 ], [ 16, 7, -49, -13 ], [ 16, 7, -64, -15 ], [ 16, 7, -25, -16 ], [ 16, 7, -81, -17 ], [ 16, 7, -100, -19 ], [ 16, 7, -121, -21 ], [ 16, 7, -144, -23 ], [ 16, 7, -49, -24 ], [ 16, 7, -169, -25 ], [ 16, 7, -196, -27 ], [ 16, 7, -225, -29 ], [ 16, 7, -81, -32 ], [ 16, 7, -49, -33 ], [ 16, 7, -64, -39 ], [ 16, 7, -49, -40 ], [ 16, 7, -121, -40 ], [ 16, 7, -169, -48 ], [ 16, 7, -100, -51 ], [ 16, 7, -64, -55 ], [ 16, 7, -81, -56 ], [ 16, 7, -225, -56 ], [ 16, 7, -121, -57 ], [ 16, 7, -81, -65 ], [ 16, 7, -169, -69 ], [ 16, 7, -121, -72 ], [ 16, 7, -196, -75 ], [ 16, 7, -256, -81 ], [ 16, 7, -121, -85 ], [ 16, 7, -256, -87 ], [ 16, 7, -169, -88 ], [ 16, 7, -100, -91 ], [ 16, 7, -289, -93 ], [ 16, 7, -144, -95 ], [ 16, 7, -121, -96 ], [ 16, 7, -225, -104 ], [ 16, 7, -121, -105 ], [ 16, 7, -169, -105 ], [ 16, 7, -121, -112 ], [ 16, 7, -196, -115 ], [ 16, 7, -144, -119 ], [ 16, 7, -169, -120 ], [ 16, 7, -289, -120 ], [ 16, 7, -169, -133 ], [ 16, 7, -256, -135 ], [ 16, 7, -169, -144 ], [ 16, 7, -289, -145 ], [ 16, 7, -169, -153 ], [ 16, 7, -324, -155 ], [ 16, 7, -169, -160 ], [ 16, 7, -225, -161 ], [ 16, 7, -361, -165 ], [ 16, 7, -289, -168 ], [ 16, 7, -196, -171 ], [ 16, 7, -256, -175 ], [ 16, 7, -225, -176 ], [ 16, 7, -196, -187 ], [ 16, 7, -289, -189 ], [ 16, 7, -361, -192 ], [ 20, 7, -125, -13 ], [ 25, 7, -169, -162 ], [ 32, 7, -128, -121 ], [ 55, 7, -55, -27 ], [ 64, 7, -169, -57 ], [ 72, 7, -128, -65 ], [ 75, 7, -192, -17 ], [ 75, 7, -243, -68 ], [ 88, 7, -88, -25 ], [ 100, 7, -121, -93 ], [ 121, 7, -289, -114 ], [ 207, 7, -207, -32 ], [ 17, 8, -153, -25 ], [ 17, 8, -153, -121 ], [ 25, 8, -49, -17 ], [ 27, 8, -147, -19 ], [ 33, 8, -297, -169 ], [ 49, 8, -169, -41 ], [ 57, 8, -57, -25 ], [ 125, 8, -45, -13 ], [ 125, 8, -245, -117 ], [ 143, 8, -143, -15 ], [ 155, 8, -155, -27 ], [ 169, 8, -289, -161 ], [ 169, 8, -361, -161 ], [ 177, 8, -177, -49 ], [ 20, 9, -180, -11 ], [ 20, 9, -125, -44 ], [ 25, 9, -49, -9 ], [ 25, 9, -64, -9 ], [ 25, 9, -100, -9 ], [ 25, 9, -121, -9 ], [ 25, 9, -169, -9 ], [ 25, 9, -196, -9 ], [ 25, 9, -36, -11 ], [ 25, 9, -49, -13 ], [ 25, 9, -64, -15 ], [ 25, 9, -49, -16 ], [ 25, 9, -81, -16 ], [ 25, 9, -121, -16 ], [ 25, 9, -169, -16 ], [ 25, 9, -81, -17 ], [ 25, 9, -100, -19 ], [ 25, 9, -121, -21 ], [ 25, 9, -144, -23 ], [ 25, 9, -49, -24 ], [ 25, 9, -36, -25 ], [ 25, 9, -49, -25 ], [ 25, 9, -64, -25 ], [ 25, 9, -81, -25 ], [ 25, 9, -121, -25 ], [ 25, 9, -144, -25 ], [ 25, 9, -169, -25 ], [ 25, 9, -196, -25 ], [ 25, 9, -196, -27 ], [ 25, 9, -225, -29 ], [ 25, 9, -81, -32 ], [ 25, 9, -49, -33 ], [ 25, 9, -49, -36 ], [ 25, 9, -121, -36 ], [ 25, 9, -169, -36 ], [ 25, 9, -64, -39 ], [ 25, 9, -49, -40 ], [ 25, 9, -121, -40 ], [ 25, 9, -169, -48 ], [ 25, 9, -64, -49 ], [ 25, 9, -81, -49 ], [ 25, 9, -100, -49 ], [ 25, 9, -121, -49 ], [ 25, 9, -144, -49 ], [ 25, 9, -169, -49 ], [ 25, 9, -225, -49 ], [ 25, 9, -100, -51 ], [ 25, 9, -64, -55 ], [ 25, 9, -81, -56 ], [ 25, 9, -225, -56 ], [ 25, 9, -121, -57 ], [ 25, 9, -81, -64 ], [ 25, 9, -121, -64 ], [ 25, 9, -169, -64 ], [ 25, 9, -225, -64 ], [ 25, 9, -81, -65 ], [ 25, 9, -169, -69 ], [ 25, 9, -121, -72 ], [ 25, 9, -196, -75 ], [ 25, 9, -100, -81 ], [ 25, 9, -121, -81 ], [ 25, 9, -169, -81 ], [ 25, 9, -196, -81 ], [ 25, 9, -256, -81 ], [ 25, 9, -121, -85 ], [ 25, 9, -256, -87 ], [ 25, 9, -169, -88 ], [ 25, 9, -100, -91 ], [ 25, 9, -289, -93 ], [ 25, 9, -144, -95 ], [ 25, 9, -121, -96 ], [ 25, 9, -121, -100 ], [ 25, 9, -169, -100 ], [ 25, 9, -289, -100 ], [ 25, 9, -225, -104 ], [ 25, 9, -121, -105 ], [ 25, 9, -169, -105 ], [ 25, 9, -121, -112 ], [ 25, 9, -196, -115 ], [ 25, 9, -144, -119 ], [ 25, 9, -169, -120 ], [ 25, 9, -289, -120 ], [ 25, 9, -144, -121 ], [ 25, 9, -169, -121 ], [ 25, 9, -196, -121 ], [ 25, 9, -225, -121 ], [ 25, 9, -256, -121 ], [ 25, 9, -289, -121 ], [ 25, 9, -169, -133 ], [ 25, 9, -256, -135 ], [ 25, 9, -169, -144 ], [ 25, 9, -289, -144 ], [ 25, 9, -289, -145 ], [ 25, 9, -169, -153 ], [ 25, 9, -324, -155 ], [ 25, 9, -169, -160 ], [ 25, 9, -225, -161 ], [ 25, 9, -361, -165 ], [ 25, 9, -289, -168 ], [ 25, 9, -196, -169 ], [ 25, 9, -225, -169 ], [ 25, 9, -256, -169 ], [ 25, 9, -289, -169 ], [ 25, 9, -324, -169 ], [ 25, 9, -361, -169 ], [ 25, 9, -196, -171 ], [ 25, 9, -256, -175 ], [ 25, 9, -225, -176 ], [ 25, 9, -196, -187 ], [ 25, 9, -289, -189 ], [ 25, 9, -361, -192 ], [ 25, 9, -225, -196 ], [ 25, 9, -289, -196 ], [ 25, 9, -361, -196 ], [ 32, 9, -72, -23 ], [ 41, 9, -369, -200 ], [ 44, 9, -99, -35 ], [ 49, 9, -64, -9 ], [ 49, 9, -100, -9 ], [ 49, 9, -121, -9 ], [ 49, 9, -169, -9 ], [ 49, 9, -196, -9 ], [ 49, 9, -49, -16 ], [ 49, 9, -81, -16 ], [ 49, 9, -121, -16 ], [ 49, 9, -169, -16 ], [ 49, 9, -36, -25 ], [ 49, 9, -49, -25 ], [ 49, 9, -64, -25 ], [ 49, 9, -81, -25 ], [ 49, 9, -121, -25 ], [ 49, 9, -144, -25 ], [ 49, 9, -169, -25 ], [ 49, 9, -196, -25 ], [ 49, 9, -49, -36 ], [ 49, 9, -121, -36 ], [ 49, 9, -169, -36 ], [ 49, 9, -121, -40 ], [ 49, 9, -64, -49 ], [ 49, 9, -81, -49 ], [ 49, 9, -100, -49 ], [ 49, 9, -121, -49 ], [ 49, 9, -144, -49 ], [ 49, 9, -169, -49 ], [ 49, 9, -225, -49 ], [ 49, 9, -81, -64 ], [ 49, 9, -121, -64 ], [ 49, 9, -169, -64 ], [ 49, 9, -225, -64 ], [ 49, 9, -100, -81 ], [ 49, 9, -121, -81 ], [ 49, 9, -169, -81 ], [ 49, 9, -196, -81 ], [ 49, 9, -256, -81 ], [ 49, 9, -121, -100 ], [ 49, 9, -169, -100 ], [ 49, 9, -289, -100 ], [ 49, 9, -144, -121 ], [ 49, 9, -169, -121 ], [ 49, 9, -196, -121 ], [ 49, 9, -225, -121 ], [ 49, 9, -256, -121 ], [ 49, 9, -289, -121 ], [ 49, 9, -169, -144 ], [ 49, 9, -289, -144 ], [ 49, 9, -169, -160 ], [ 49, 9, -196, -169 ], [ 49, 9, -225, -169 ], [ 49, 9, -256, -169 ], [ 49, 9, -289, -169 ], [ 49, 9, -324, -169 ], [ 49, 9, -361, -169 ], [ 49, 9, -225, -196 ], [ 49, 9, -289, -196 ], [ 49, 9, -361, -196 ], [ 50, 9, -162, -41 ], [ 64, 9, -100, -9 ], [ 64, 9, -121, -9 ], [ 64, 9, -169, -9 ], [ 64, 9, -196, -9 ], [ 64, 9, -49, -16 ], [ 64, 9, -81, -16 ], [ 64, 9, -121, -16 ], [ 64, 9, -169, -16 ], [ 64, 9, -36, -25 ], [ 64, 9, -49, -25 ], [ 64, 9, -64, -25 ], [ 64, 9, -81, -25 ], [ 64, 9, -121, -25 ], [ 64, 9, -144, -25 ], [ 64, 9, -169, -25 ], [ 64, 9, -196, -25 ], [ 64, 9, -49, -36 ], [ 64, 9, -121, -36 ], [ 64, 9, -169, -36 ], [ 64, 9, -64, -49 ], [ 64, 9, -81, -49 ], [ 64, 9, -100, -49 ], [ 64, 9, -121, -49 ], [ 64, 9, -144, -49 ], [ 64, 9, -169, -49 ], [ 64, 9, -225, -49 ], [ 64, 9, -81, -64 ], [ 64, 9, -121, -64 ], [ 64, 9, -169, -64 ], [ 64, 9, -225, -64 ], [ 64, 9, -100, -81 ], [ 64, 9, -121, -81 ], [ 64, 9, -169, -81 ], [ 64, 9, -196, -81 ], [ 64, 9, -256, -81 ], [ 64, 9, -121, -100 ], [ 64, 9, -169, -100 ], [ 64, 9, -289, -100 ], [ 64, 9, -144, -121 ], [ 64, 9, -169, -121 ], [ 64, 9, -196, -121 ], [ 64, 9, -225, -121 ], [ 64, 9, -256, -121 ], [ 64, 9, -289, -121 ], [ 64, 9, -169, -144 ], [ 64, 9, -289, -144 ], [ 64, 9, -196, -169 ], [ 64, 9, -225, -169 ], [ 64, 9, -256, -169 ], [ 64, 9, -289, -169 ], [ 64, 9, -324, -169 ], [ 64, 9, -361, -169 ], [ 64, 9, -225, -196 ], [ 64, 9, -289, -196 ], [ 64, 9, -361, -196 ], [ 85, 9, -340, -171 ], [ 100, 9, -121, -9 ], [ 100, 9, -169, -9 ], [ 100, 9, -196, -9 ], [ 100, 9, -49, -16 ], [ 100, 9, -81, -16 ], [ 100, 9, -121, -16 ], [ 100, 9, -169, -16 ], [ 100, 9, -36, -25 ], [ 100, 9, -49, -25 ], [ 100, 9, -64, -25 ], [ 100, 9, -81, -25 ], [ 100, 9, -121, -25 ], [ 100, 9, -144, -25 ], [ 100, 9, -169, -25 ], [ 100, 9, -196, -25 ], [ 100, 9, -49, -36 ], [ 100, 9, -121, -36 ], [ 100, 9, -169, -36 ], [ 100, 9, -64, -49 ], [ 100, 9, -81, -49 ], [ 100, 9, -100, -49 ], [ 100, 9, -121, -49 ], [ 100, 9, -144, -49 ], [ 100, 9, -169, -49 ], [ 100, 9, -225, -49 ], [ 100, 9, -81, -64 ], [ 100, 9, -121, -64 ], [ 100, 9, -169, -64 ], [ 100, 9, -225, -64 ], [ 100, 9, -100, -81 ], [ 100, 9, -121, -81 ], [ 100, 9, -169, -81 ], [ 100, 9, -196, -81 ], [ 100, 9, -256, -81 ], [ 100, 9, -121, -100 ], [ 100, 9, -169, -100 ], [ 100, 9, -289, -100 ], [ 100, 9, -144, -121 ], [ 100, 9, -169, -121 ], [ 100, 9, -196, -121 ], [ 100, 9, -225, -121 ], [ 100, 9, -256, -121 ], [ 100, 9, -289, -121 ], [ 100, 9, -169, -144 ], [ 100, 9, -289, -144 ], [ 100, 9, -196, -169 ], [ 100, 9, -225, -169 ], [ 100, 9, -256, -169 ], [ 100, 9, -289, -169 ], [ 100, 9, -324, -169 ], [ 100, 9, -361, -169 ], [ 100, 9, -225, -196 ], [ 100, 9, -289, -196 ], [ 100, 9, -361, -196 ], [ 121, 9, -169, -9 ], [ 121, 9, -196, -9 ], [ 121, 9, -49, -16 ], [ 121, 9, -81, -16 ], [ 121, 9, -121, -16 ], [ 121, 9, -169, -16 ], [ 121, 9, -36, -25 ], [ 121, 9, -49, -25 ], [ 121, 9, -64, -25 ], [ 121, 9, -81, -25 ], [ 121, 9, -121, -25 ], [ 121, 9, -144, -25 ], [ 121, 9, -169, -25 ], [ 121, 9, -196, -25 ], [ 121, 9, -49, -36 ], [ 121, 9, -121, -36 ], [ 121, 9, -169, -36 ], [ 121, 9, -64, -49 ], [ 121, 9, -81, -49 ], [ 121, 9, -100, -49 ], [ 121, 9, -121, -49 ], [ 121, 9, -144, -49 ], [ 121, 9, -169, -49 ], [ 121, 9, -225, -49 ], [ 121, 9, -81, -64 ], [ 121, 9, -121, -64 ], [ 121, 9, -169, -64 ], [ 121, 9, -225, -64 ], [ 121, 9, -100, -81 ], [ 121, 9, -121, -81 ], [ 121, 9, -169, -81 ], [ 121, 9, -196, -81 ], [ 121, 9, -256, -81 ], [ 121, 9, -121, -100 ], [ 121, 9, -169, -100 ], [ 121, 9, -289, -100 ], [ 121, 9, -144, -121 ], [ 121, 9, -169, -121 ], [ 121, 9, -196, -121 ], [ 121, 9, -225, -121 ], [ 121, 9, -256, -121 ], [ 121, 9, -289, -121 ], [ 121, 9, -169, -144 ], [ 121, 9, -289, -144 ], [ 121, 9, -196, -169 ], [ 121, 9, -225, -169 ], [ 121, 9, -256, -169 ], [ 121, 9, -289, -169 ], [ 121, 9, -324, -169 ], [ 121, 9, -361, -169 ], [ 121, 9, -256, -175 ], [ 121, 9, -225, -196 ], [ 121, 9, -289, -196 ], [ 121, 9, -361, -196 ], [ 125, 9, -45, -29 ], [ 128, 9, -200, -119 ], [ 128, 9, -288, -119 ], [ 130, 9, -130, -49 ], [ 130, 9, -130, -81 ], [ 169, 9, -196, -9 ], [ 169, 9, -49, -16 ], [ 169, 9, -81, -16 ], [ 169, 9, -121, -16 ], [ 169, 9, -169, -16 ], [ 169, 9, -36, -25 ], [ 169, 9, -49, -25 ], [ 169, 9, -64, -25 ], [ 169, 9, -81, -25 ], [ 169, 9, -121, -25 ], [ 169, 9, -144, -25 ], [ 169, 9, -169, -25 ], [ 169, 9, -196, -25 ], [ 169, 9, -49, -36 ], [ 169, 9, -121, -36 ], [ 169, 9, -169, -36 ], [ 169, 9, -121, -40 ], [ 169, 9, -64, -49 ], [ 169, 9, -81, -49 ], [ 169, 9, -100, -49 ], [ 169, 9, -121, -49 ], [ 169, 9, -144, -49 ], [ 169, 9, -169, -49 ], [ 169, 9, -225, -49 ], [ 169, 9, -81, -64 ], [ 169, 9, -121, -64 ], [ 169, 9, -169, -64 ], [ 169, 9, -225, -64 ], [ 169, 9, -100, -81 ], [ 169, 9, -121, -81 ], [ 169, 9, -169, -81 ], [ 169, 9, -196, -81 ], [ 169, 9, -256, -81 ], [ 169, 9, -121, -100 ], [ 169, 9, -169, -100 ], [ 169, 9, -289, -100 ], [ 169, 9, -144, -121 ], [ 169, 9, -169, -121 ], [ 169, 9, -196, -121 ], [ 169, 9, -225, -121 ], [ 169, 9, -256, -121 ], [ 169, 9, -289, -121 ], [ 169, 9, -169, -144 ], [ 169, 9, -289, -144 ], [ 169, 9, -196, -169 ], [ 169, 9, -225, -169 ], [ 169, 9, -256, -169 ], [ 169, 9, -289, -169 ], [ 169, 9, -324, -169 ], [ 169, 9, -361, -169 ], [ 169, 9, -225, -196 ], [ 169, 9, -289, -196 ], [ 169, 9, -361, -196 ], [ 184, 9, -184, -63 ], [ 196, 9, -49, -16 ], [ 196, 9, -81, -16 ], [ 196, 9, -121, -16 ], [ 196, 9, -169, -16 ], [ 196, 9, -36, -25 ], [ 196, 9, -49, -25 ], [ 196, 9, -64, -25 ], [ 196, 9, -81, -25 ], [ 196, 9, -121, -25 ], [ 196, 9, -144, -25 ], [ 196, 9, -169, -25 ], [ 196, 9, -196, -25 ], [ 196, 9, -49, -36 ], [ 196, 9, -121, -36 ], [ 196, 9, -169, -36 ], [ 196, 9, -64, -49 ], [ 196, 9, -81, -49 ], [ 196, 9, -100, -49 ], [ 196, 9, -121, -49 ], [ 196, 9, -144, -49 ], [ 196, 9, -169, -49 ], [ 196, 9, -225, -49 ], [ 196, 9, -81, -64 ], [ 196, 9, -121, -64 ], [ 196, 9, -169, -64 ], [ 196, 9, -225, -64 ], [ 196, 9, -100, -81 ], [ 196, 9, -121, -81 ], [ 196, 9, -169, -81 ], [ 196, 9, -196, -81 ], [ 196, 9, -256, -81 ], [ 196, 9, -121, -100 ], [ 196, 9, -169, -100 ], [ 196, 9, -289, -100 ], [ 196, 9, -144, -121 ], [ 196, 9, -169, -121 ], [ 196, 9, -196, -121 ], [ 196, 9, -225, -121 ], [ 196, 9, -256, -121 ], [ 196, 9, -289, -121 ], [ 196, 9, -169, -144 ], [ 196, 9, -289, -144 ], [ 196, 9, -196, -169 ], [ 196, 9, -225, -169 ], [ 196, 9, -256, -169 ], [ 196, 9, -289, -169 ], [ 196, 9, -324, -169 ], [ 196, 9, -361, -169 ], [ 196, 9, -225, -196 ], [ 196, 9, -289, -196 ], [ 196, 9, -361, -196 ], [ 205, 9, -205, -36 ], [ 205, 9, -205, -169 ], [ 209, 9, -209, -128 ], [ 27, 11, -75, -64 ], [ 32, 11, -200, -189 ], [ 36, 11, -49, -13 ], [ 36, 11, -64, -15 ], [ 36, 11, -81, -17 ], [ 36, 11, -100, -19 ], [ 36, 11, -121, -21 ], [ 36, 11, -144, -23 ], [ 36, 11, -49, -24 ], [ 36, 11, -169, -25 ], [ 36, 11, -196, -27 ], [ 36, 11, -225, -29 ], [ 36, 11, -81, -32 ], [ 36, 11, -49, -33 ], [ 36, 11, -64, -39 ], [ 36, 11, -121, -40 ], [ 36, 11, -169, -48 ], [ 36, 11, -225, -49 ], [ 36, 11, -100, -51 ], [ 36, 11, -81, -56 ], [ 36, 11, -225, -56 ], [ 36, 11, -121, -57 ], [ 36, 11, -81, -65 ], [ 36, 11, -169, -69 ], [ 36, 11, -121, -72 ], [ 36, 11, -196, -75 ], [ 36, 11, -121, -85 ], [ 36, 11, -256, -87 ], [ 36, 11, -169, -88 ], [ 36, 11, -289, -93 ], [ 36, 11, -144, -95 ], [ 36, 11, -121, -96 ], [ 36, 11, -225, -104 ], [ 36, 11, -121, -105 ], [ 36, 11, -169, -105 ], [ 36, 11, -196, -115 ], [ 36, 11, -144, -119 ], [ 36, 11, -169, -120 ], [ 36, 11, -289, -120 ], [ 36, 11, -169, -133 ], [ 36, 11, -256, -135 ], [ 36, 11, -169, -144 ], [ 36, 11, -289, -145 ], [ 36, 11, -169, -153 ], [ 36, 11, -324, -155 ], [ 36, 11, -225, -161 ], [ 36, 11, -361, -165 ], [ 36, 11, -289, -168 ], [ 36, 11, -196, -171 ], [ 36, 11, -256, -175 ], [ 36, 11, -225, -176 ], [ 36, 11, -289, -189 ], [ 36, 11, -361, -192 ], [ 39, 11, -351, -175 ], [ 56, 11, -224, -125 ], [ 63, 11, -112, -13 ], [ 80, 11, -245, -69 ], [ 81, 11, -169, -70 ], [ 92, 11, -207, -196 ], [ 119, 11, -119, -75 ], [ 180, 11, -125, -81 ], [ 196, 11, -361, -185 ], [ 203, 11, -203, -27 ], [ 25, 12, -121, -13 ], [ 37, 12, -148, -121 ], [ 49, 12, -64, -37 ], [ 61, 12, -244, -169 ], [ 121, 12, -256, -109 ], [ 133, 12, -133, -25 ], [ 187, 12, -187, -112 ], [ 40, 13, -160, -147 ], [ 45, 13, -245, -128 ], [ 49, 13, -64, -15 ], [ 49, 13, -81, -17 ], [ 49, 13, -100, -19 ], [ 49, 13, -121, -21 ], [ 49, 13, -144, -23 ], [ 49, 13, -49, -24 ], [ 49, 13, -169, -25 ], [ 49, 13, -196, -27 ], [ 49, 13, -225, -29 ], [ 49, 13, -81, -32 ], [ 49, 13, -49, -33 ], [ 49, 13, -64, -39 ], [ 49, 13, -121, -40 ], [ 49, 13, -169, -48 ], [ 49, 13, -100, -51 ], [ 49, 13, -81, -56 ], [ 49, 13, -225, -56 ], [ 49, 13, -121, -57 ], [ 49, 13, -81, -65 ], [ 49, 13, -169, -69 ], [ 49, 13, -121, -72 ], [ 49, 13, -196, -75 ], [ 49, 13, -121, -85 ], [ 49, 13, -256, -87 ], [ 49, 13, -169, -88 ], [ 49, 13, -289, -93 ], [ 49, 13, -144, -95 ], [ 49, 13, -121, -96 ], [ 49, 13, -225, -104 ], [ 49, 13, -121, -105 ], [ 49, 13, -169, -105 ], [ 49, 13, -196, -115 ], [ 49, 13, -144, -119 ], [ 49, 13, -169, -120 ], [ 49, 13, -289, -120 ], [ 49, 13, -169, -133 ], [ 49, 13, -256, -135 ], [ 49, 13, -169, -144 ], [ 49, 13, -289, -145 ], [ 49, 13, -169, -153 ], [ 49, 13, -324, -155 ], [ 49, 13, -225, -161 ], [ 49, 13, -361, -165 ], [ 49, 13, -289, -168 ], [ 49, 13, -196, -171 ], [ 49, 13, -256, -175 ], [ 49, 13, -225, -176 ], [ 49, 13, -289, -189 ], [ 49, 13, -361, -192 ], [ 63, 13, -175, -162 ], [ 77, 13, -77, -25 ], [ 108, 13, -147, -95 ], [ 49, 15, -169, -34 ], [ 64, 15, -81, -17 ], [ 64, 15, -100, -19 ], [ 64, 15, -121, -21 ], [ 64, 15, -144, -23 ], [ 64, 15, -49, -24 ], [ 64, 15, -169, -25 ], [ 64, 15, -196, -27 ], [ 64, 15, -225, -29 ], [ 64, 15, -81, -32 ], [ 64, 15, -49, -33 ], [ 64, 15, -64, -39 ], [ 64, 15, -121, -40 ], [ 64, 15, -169, -48 ], [ 64, 15, -100, -51 ], [ 64, 15, -81, -56 ], [ 64, 15, -225, -56 ], [ 64, 15, -121, -57 ], [ 64, 15, -81, -65 ], [ 64, 15, -169, -69 ], [ 64, 15, -121, -72 ], [ 64, 15, -196, -75 ], [ 64, 15, -121, -85 ], [ 64, 15, -256, -87 ], [ 64, 15, -169, -88 ], [ 64, 15, -289, -93 ], [ 64, 15, -144, -95 ], [ 64, 15, -121, -96 ], [ 64, 15, -225, -104 ], [ 64, 15, -121, -105 ], [ 64, 15, -169, -105 ], [ 64, 15, -196, -115 ], [ 64, 15, -144, -119 ], [ 64, 15, -169, -120 ], [ 64, 15, -289, -120 ], [ 64, 15, -256, -121 ], [ 64, 15, -169, -133 ], [ 64, 15, -256, -135 ], [ 64, 15, -169, -144 ], [ 64, 15, -289, -145 ], [ 64, 15, -169, -153 ], [ 64, 15, -324, -155 ], [ 64, 15, -225, -161 ], [ 64, 15, -361, -165 ], [ 64, 15, -289, -168 ], [ 64, 15, -196, -171 ], [ 64, 15, -256, -175 ], [ 64, 15, -225, -176 ], [ 64, 15, -289, -189 ], [ 64, 15, -361, -192 ], [ 169, 15, -289, -154 ], [ 184, 15, -184, -49 ], [ 35, 16, -140, -19 ], [ 43, 16, -172, -147 ], [ 49, 16, -81, -16 ], [ 49, 16, -121, -16 ], [ 49, 16, -169, -16 ], [ 49, 16, -49, -25 ], [ 49, 16, -64, -25 ], [ 49, 16, -81, -25 ], [ 49, 16, -121, -25 ], [ 49, 16, -144, -25 ], [ 49, 16, -169, -25 ], [ 49, 16, -196, -25 ], [ 49, 16, -121, -36 ], [ 49, 16, -169, -36 ], [ 49, 16, -81, -49 ], [ 49, 16, -100, -49 ], [ 49, 16, -121, -49 ], [ 49, 16, -144, -49 ], [ 49, 16, -169, -49 ], [ 49, 16, -225, -49 ], [ 49, 16, -81, -64 ], [ 49, 16, -121, -64 ], [ 49, 16, -169, -64 ], [ 49, 16, -225, -64 ], [ 49, 16, -100, -81 ], [ 49, 16, -121, -81 ], [ 49, 16, -169, -81 ], [ 49, 16, -196, -81 ], [ 49, 16, -256, -81 ], [ 49, 16, -121, -100 ], [ 49, 16, -169, -100 ], [ 49, 16, -289, -100 ], [ 49, 16, -144, -121 ], [ 49, 16, -169, -121 ], [ 49, 16, -196, -121 ], [ 49, 16, -225, -121 ], [ 49, 16, -256, -121 ], [ 49, 16, -289, -121 ], [ 49, 16, -169, -144 ], [ 49, 16, -289, -144 ], [ 49, 16, -196, -169 ], [ 49, 16, -225, -169 ], [ 49, 16, -256, -169 ], [ 49, 16, -289, -169 ], [ 49, 16, -324, -169 ], [ 49, 16, -361, -169 ], [ 49, 16, -225, -196 ], [ 49, 16, -289, -196 ], [ 49, 16, -361, -196 ], [ 51, 16, -204, -35 ], [ 75, 16, -108, -59 ], [ 81, 16, -121, -16 ], [ 81, 16, -169, -16 ], [ 81, 16, -49, -25 ], [ 81, 16, -64, -25 ], [ 81, 16, -81, -25 ], [ 81, 16, -121, -25 ], [ 81, 16, -144, -25 ], [ 81, 16, -169, -25 ], [ 81, 16, -196, -25 ], [ 81, 16, -121, -36 ], [ 81, 16, -169, -36 ], [ 81, 16, -81, -49 ], [ 81, 16, -100, -49 ], [ 81, 16, -121, -49 ], [ 81, 16, -144, -49 ], [ 81, 16, -169, -49 ], [ 81, 16, -225, -49 ], [ 81, 16, -81, -64 ], [ 81, 16, -121, -64 ], [ 81, 16, -169, -64 ], [ 81, 16, -225, -64 ], [ 81, 16, -100, -81 ], [ 81, 16, -121, -81 ], [ 81, 16, -169, -81 ], [ 81, 16, -196, -81 ], [ 81, 16, -256, -81 ], [ 81, 16, -121, -100 ], [ 81, 16, -169, -100 ], [ 81, 16, -289, -100 ], [ 81, 16, -144, -121 ], [ 81, 16, -169, -121 ], [ 81, 16, -196, -121 ], [ 81, 16, -225, -121 ], [ 81, 16, -256, -121 ], [ 81, 16, -289, -121 ], [ 81, 16, -169, -144 ], [ 81, 16, -289, -144 ], [ 81, 16, -196, -169 ], [ 81, 16, -225, -169 ], [ 81, 16, -256, -169 ], [ 81, 16, -289, -169 ], [ 81, 16, -324, -169 ], [ 81, 16, -361, -169 ], [ 81, 16, -225, -196 ], [ 81, 16, -289, -196 ], [ 81, 16, -361, -196 ], [ 91, 16, -91, -27 ], [ 121, 16, -169, -16 ], [ 121, 16, -49, -25 ], [ 121, 16, -64, -25 ], [ 121, 16, -81, -25 ], [ 121, 16, -121, -25 ], [ 121, 16, -144, -25 ], [ 121, 16, -169, -25 ], [ 121, 16, -196, -25 ], [ 121, 16, -121, -36 ], [ 121, 16, -169, -36 ], [ 121, 16, -81, -49 ], [ 121, 16, -100, -49 ], [ 121, 16, -121, -49 ], [ 121, 16, -144, -49 ], [ 121, 16, -169, -49 ], [ 121, 16, -225, -49 ], [ 121, 16, -81, -64 ], [ 121, 16, -121, -64 ], [ 121, 16, -169, -64 ], [ 121, 16, -225, -64 ], [ 121, 16, -100, -81 ], [ 121, 16, -121, -81 ], [ 121, 16, -169, -81 ], [ 121, 16, -196, -81 ], [ 121, 16, -256, -81 ], [ 121, 16, -121, -100 ], [ 121, 16, -169, -100 ], [ 121, 16, -289, -100 ], [ 121, 16, -169, -105 ], [ 121, 16, -144, -121 ], [ 121, 16, -169, -121 ], [ 121, 16, -196, -121 ], [ 121, 16, -225, -121 ], [ 121, 16, -256, -121 ], [ 121, 16, -289, -121 ], [ 121, 16, -169, -144 ], [ 121, 16, -289, -144 ], [ 121, 16, -196, -169 ], [ 121, 16, -225, -169 ], [ 121, 16, -256, -169 ], [ 121, 16, -289, -169 ], [ 121, 16, -324, -169 ], [ 121, 16, -361, -169 ], [ 121, 16, -225, -196 ], [ 121, 16, -289, -196 ], [ 121, 16, -361, -196 ], [ 133, 16, -133, -52 ], [ 135, 16, -240, -119 ], [ 141, 16, -141, -20 ], [ 147, 16, -300, -131 ], [ 169, 16, -81, -17 ], [ 169, 16, -49, -25 ], [ 169, 16, -64, -25 ], [ 169, 16, -81, -25 ], [ 169, 16, -121, -25 ], [ 169, 16, -144, -25 ], [ 169, 16, -169, -25 ], [ 169, 16, -196, -25 ], [ 169, 16, -121, -36 ], [ 169, 16, -169, -36 ], [ 169, 16, -81, -49 ], [ 169, 16, -100, -49 ], [ 169, 16, -121, -49 ], [ 169, 16, -144, -49 ], [ 169, 16, -169, -49 ], [ 169, 16, -225, -49 ], [ 169, 16, -81, -64 ], [ 169, 16, -121, -64 ], [ 169, 16, -169, -64 ], [ 169, 16, -225, -64 ], [ 169, 16, -100, -81 ], [ 169, 16, -121, -81 ], [ 169, 16, -169, -81 ], [ 169, 16, -196, -81 ], [ 169, 16, -256, -81 ], [ 169, 16, -121, -100 ], [ 169, 16, -169, -100 ], [ 169, 16, -289, -100 ], [ 169, 16, -144, -121 ], [ 169, 16, -169, -121 ], [ 169, 16, -196, -121 ], [ 169, 16, -225, -121 ], [ 169, 16, -256, -121 ], [ 169, 16, -289, -121 ], [ 169, 16, -169, -144 ], [ 169, 16, -289, -144 ], [ 169, 16, -196, -169 ], [ 169, 16, -225, -169 ], [ 169, 16, -256, -169 ], [ 169, 16, -289, -169 ], [ 169, 16, -324, -169 ], [ 169, 16, -361, -169 ], [ 169, 16, -225, -196 ], [ 169, 16, -289, -196 ], [ 169, 16, -361, -196 ], [ 185, 16, -185, -64 ], [ 185, 16, -185, -121 ], [ 205, 16, -205, -84 ], [ 45, 17, -80, -63 ], [ 81, 17, -100, -19 ], [ 81, 17, -121, -21 ], [ 81, 17, -144, -23 ], [ 81, 17, -49, -24 ], [ 81, 17, -169, -25 ], [ 81, 17, -196, -27 ], [ 81, 17, -225, -29 ], [ 81, 17, -81, -32 ], [ 81, 17, -64, -39 ], [ 81, 17, -121, -40 ], [ 81, 17, -169, -48 ], [ 81, 17, -100, -51 ], [ 81, 17, -81, -56 ], [ 81, 17, -225, -56 ], [ 81, 17, -121, -57 ], [ 81, 17, -169, -69 ], [ 81, 17, -121, -72 ], [ 81, 17, -196, -75 ], [ 81, 17, -121, -85 ], [ 81, 17, -256, -87 ], [ 81, 17, -169, -88 ], [ 81, 17, -289, -93 ], [ 81, 17, -144, -95 ], [ 81, 17, -121, -96 ], [ 81, 17, -225, -104 ], [ 81, 17, -169, -105 ], [ 81, 17, -196, -115 ], [ 81, 17, -144, -119 ], [ 81, 17, -169, -120 ], [ 81, 17, -289, -120 ], [ 81, 17, -169, -133 ], [ 81, 17, -256, -135 ], [ 81, 17, -169, -144 ], [ 81, 17, -289, -145 ], [ 81, 17, -324, -155 ], [ 81, 17, -225, -161 ], [ 81, 17, -361, -165 ], [ 81, 17, -289, -168 ], [ 81, 17, -196, -171 ], [ 81, 17, -256, -175 ], [ 81, 17, -225, -176 ], [ 81, 17, -289, -189 ], [ 81, 17, -361, -192 ], [ 117, 17, -117, -49 ], [ 192, 17, -243, -175 ], [ 49, 18, -81, -31 ], [ 143, 18, -143, -45 ], [ 187, 18, -187, -25 ], [ 55, 19, -220, -49 ], [ 63, 19, -175, -99 ], [ 64, 19, -121, -45 ], [ 64, 19, -144, -125 ], [ 100, 19, -121, -21 ], [ 100, 19, -144, -23 ], [ 100, 19, -49, -24 ], [ 100, 19, -169, -25 ], [ 100, 19, -196, -25 ], [ 100, 19, -196, -27 ], [ 100, 19, -225, -29 ], [ 100, 19, -81, -32 ], [ 100, 19, -64, -39 ], [ 100, 19, -121, -40 ], [ 100, 19, -169, -48 ], [ 100, 19, -100, -51 ], [ 100, 19, -81, -56 ], [ 100, 19, -225, -56 ], [ 100, 19, -121, -57 ], [ 100, 19, -169, -69 ], [ 100, 19, -121, -72 ], [ 100, 19, -196, -75 ], [ 100, 19, -121, -85 ], [ 100, 19, -256, -87 ], [ 100, 19, -169, -88 ], [ 100, 19, -289, -93 ], [ 100, 19, -144, -95 ], [ 100, 19, -121, -96 ], [ 100, 19, -225, -104 ], [ 100, 19, -169, -105 ], [ 100, 19, -196, -115 ], [ 100, 19, -144, -119 ], [ 100, 19, -169, -120 ], [ 100, 19, -289, -120 ], [ 100, 19, -169, -133 ], [ 100, 19, -256, -135 ], [ 100, 19, -169, -144 ], [ 100, 19, -289, -145 ], [ 100, 19, -324, -155 ], [ 100, 19, -225, -161 ], [ 100, 19, -361, -165 ], [ 100, 19, -289, -168 ], [ 100, 19, -196, -171 ], [ 100, 19, -256, -175 ], [ 100, 19, -225, -176 ], [ 100, 19, -289, -189 ], [ 100, 19, -361, -192 ], [ 144, 19, -121, -45 ], [ 189, 20, -189, -64 ], [ 209, 20, -209, -84 ], [ 64, 21, -361, -172 ], [ 121, 21, -144, -23 ], [ 121, 21, -49, -24 ], [ 121, 21, -169, -25 ], [ 121, 21, -196, -27 ], [ 121, 21, -225, -29 ], [ 121, 21, -81, -32 ], [ 121, 21, -64, -39 ], [ 121, 21, -121, -40 ], [ 121, 21, -169, -48 ], [ 121, 21, -100, -51 ], [ 121, 21, -81, -56 ], [ 121, 21, -225, -56 ], [ 121, 21, -121, -57 ], [ 121, 21, -169, -69 ], [ 121, 21, -121, -72 ], [ 121, 21, -196, -75 ], [ 121, 21, -121, -85 ], [ 121, 21, -256, -87 ], [ 121, 21, -169, -88 ], [ 121, 21, -289, -93 ], [ 121, 21, -144, -95 ], [ 121, 21, -121, -96 ], [ 121, 21, -289, -100 ], [ 121, 21, -225, -104 ], [ 121, 21, -169, -105 ], [ 121, 21, -196, -115 ], [ 121, 21, -144, -119 ], [ 121, 21, -169, -120 ], [ 121, 21, -289, -120 ], [ 121, 21, -169, -133 ], [ 121, 21, -256, -135 ], [ 121, 21, -169, -144 ], [ 121, 21, -289, -145 ], [ 121, 21, -324, -155 ], [ 121, 21, -225, -161 ], [ 121, 21, -361, -165 ], [ 121, 21, -289, -168 ], [ 121, 21, -196, -171 ], [ 121, 21, -256, -175 ], [ 121, 21, -225, -176 ], [ 121, 21, -289, -189 ], [ 121, 21, -361, -192 ], [ 169, 21, -121, -37 ], [ 221, 21, -221, -32 ], [ 49, 22, -169, -147 ], [ 48, 23, -192, -169 ], [ 50, 23, -98, -75 ], [ 100, 23, -169, -77 ], [ 144, 23, -49, -24 ], [ 144, 23, -169, -25 ], [ 144, 23, -196, -27 ], [ 144, 23, -225, -29 ], [ 144, 23, -81, -32 ], [ 144, 23, -64, -39 ], [ 144, 23, -121, -40 ], [ 144, 23, -169, -48 ], [ 144, 23, -100, -51 ], [ 144, 23, -81, -56 ], [ 144, 23, -225, -56 ], [ 144, 23, -121, -57 ], [ 144, 23, -169, -69 ], [ 144, 23, -121, -72 ], [ 144, 23, -196, -75 ], [ 144, 23, -121, -85 ], [ 144, 23, -256, -87 ], [ 144, 23, -169, -88 ], [ 144, 23, -289, -93 ], [ 144, 23, -144, -95 ], [ 144, 23, -121, -96 ], [ 144, 23, -225, -104 ], [ 144, 23, -169, -105 ], [ 144, 23, -196, -115 ], [ 144, 23, -144, -119 ], [ 144, 23, -169, -120 ], [ 144, 23, -289, -120 ], [ 144, 23, -169, -133 ], [ 144, 23, -256, -135 ], [ 144, 23, -169, -144 ], [ 144, 23, -289, -145 ], [ 144, 23, -324, -155 ], [ 144, 23, -225, -161 ], [ 144, 23, -361, -165 ], [ 144, 23, -289, -168 ], [ 144, 23, -196, -171 ], [ 144, 23, -256, -175 ], [ 144, 23, -225, -176 ], [ 144, 23, -289, -189 ], [ 144, 23, -361, -192 ], [ 49, 24, -121, -25 ], [ 49, 24, -169, -25 ], [ 49, 24, -196, -27 ], [ 49, 24, -225, -29 ], [ 49, 24, -81, -32 ], [ 49, 24, -64, -39 ], [ 49, 24, -121, -40 ], [ 49, 24, -169, -48 ], [ 49, 24, -100, -51 ], [ 49, 24, -81, -56 ], [ 49, 24, -225, -56 ], [ 49, 24, -121, -57 ], [ 49, 24, -169, -69 ], [ 49, 24, -121, -72 ], [ 49, 24, -196, -75 ], [ 49, 24, -121, -85 ], [ 49, 24, -256, -87 ], [ 49, 24, -169, -88 ], [ 49, 24, -289, -93 ], [ 49, 24, -144, -95 ], [ 49, 24, -121, -96 ], [ 49, 24, -225, -104 ], [ 49, 24, -169, -105 ], [ 49, 24, -196, -115 ], [ 49, 24, -144, -119 ], [ 49, 24, -169, -120 ], [ 49, 24, -289, -120 ], [ 49, 24, -169, -133 ], [ 49, 24, -256, -135 ], [ 49, 24, -169, -144 ], [ 49, 24, -289, -145 ], [ 49, 24, -324, -155 ], [ 49, 24, -225, -161 ], [ 49, 24, -361, -165 ], [ 49, 24, -289, -168 ], [ 49, 24, -196, -171 ], [ 49, 24, -256, -175 ], [ 49, 24, -225, -176 ], [ 49, 24, -289, -189 ], [ 49, 24, -361, -192 ], [ 145, 24, -145, -49 ], [ 54, 25, -150, -29 ], [ 64, 25, -81, -25 ], [ 64, 25, -121, -25 ], [ 64, 25, -144, -25 ], [ 64, 25, -169, -25 ], [ 64, 25, -196, -25 ], [ 64, 25, -121, -36 ], [ 64, 25, -169, -36 ], [ 64, 25, -81, -49 ], [ 64, 25, -100, -49 ], [ 64, 25, -121, -49 ], [ 64, 25, -144, -49 ], [ 64, 25, -169, -49 ], [ 64, 25, -225, -49 ], [ 64, 25, -121, -64 ], [ 64, 25, -169, -64 ], [ 64, 25, -225, -64 ], [ 64, 25, -121, -81 ], [ 64, 25, -169, -81 ], [ 64, 25, -196, -81 ], [ 64, 25, -256, -81 ], [ 64, 25, -169, -100 ], [ 64, 25, -289, -100 ], [ 64, 25, -169, -121 ], [ 64, 25, -196, -121 ], [ 64, 25, -225, -121 ], [ 64, 25, -256, -121 ], [ 64, 25, -289, -121 ], [ 64, 25, -169, -144 ], [ 64, 25, -289, -144 ], [ 64, 25, -196, -169 ], [ 64, 25, -225, -169 ], [ 64, 25, -256, -169 ], [ 64, 25, -289, -169 ], [ 64, 25, -324, -169 ], [ 64, 25, -361, -169 ], [ 64, 25, -225, -196 ], [ 64, 25, -289, -196 ], [ 64, 25, -361, -196 ], [ 72, 25, -128, -47 ], [ 81, 25, -121, -25 ], [ 81, 25, -144, -25 ], [ 81, 25, -169, -25 ], [ 81, 25, -196, -25 ], [ 81, 25, -121, -36 ], [ 81, 25, -169, -36 ], [ 81, 25, -81, -49 ], [ 81, 25, -100, -49 ], [ 81, 25, -121, -49 ], [ 81, 25, -144, -49 ], [ 81, 25, -169, -49 ], [ 81, 25, -225, -49 ], [ 81, 25, -225, -56 ], [ 81, 25, -121, -64 ], [ 81, 25, -169, -64 ], [ 81, 25, -225, -64 ], [ 81, 25, -121, -81 ], [ 81, 25, -169, -81 ], [ 81, 25, -196, -81 ], [ 81, 25, -256, -81 ], [ 81, 25, -169, -100 ], [ 81, 25, -289, -100 ], [ 81, 25, -169, -121 ], [ 81, 25, -196, -121 ], [ 81, 25, -225, -121 ], [ 81, 25, -256, -121 ], [ 81, 25, -289, -121 ], [ 81, 25, -169, -144 ], [ 81, 25, -289, -144 ], [ 81, 25, -196, -169 ], [ 81, 25, -225, -169 ], [ 81, 25, -256, -169 ], [ 81, 25, -289, -169 ], [ 81, 25, -324, -169 ], [ 81, 25, -361, -169 ], [ 81, 25, -225, -196 ], [ 81, 25, -289, -196 ], [ 81, 25, -361, -196 ], [ 98, 25, -242, -73 ], [ 108, 25, -147, -83 ], [ 121, 25, -144, -25 ], [ 121, 25, -169, -25 ], [ 121, 25, -196, -25 ], [ 121, 25, -121, -36 ], [ 121, 25, -169, -36 ], [ 121, 25, -81, -49 ], [ 121, 25, -100, -49 ], [ 121, 25, -121, -49 ], [ 121, 25, -144, -49 ], [ 121, 25, -169, -49 ], [ 121, 25, -225, -49 ], [ 121, 25, -121, -64 ], [ 121, 25, -169, -64 ], [ 121, 25, -225, -64 ], [ 121, 25, -121, -81 ], [ 121, 25, -169, -81 ], [ 121, 25, -196, -81 ], [ 121, 25, -256, -81 ], [ 121, 25, -169, -100 ], [ 121, 25, -289, -100 ], [ 121, 25, -169, -121 ], [ 121, 25, -196, -121 ], [ 121, 25, -225, -121 ], [ 121, 25, -256, -121 ], [ 121, 25, -289, -121 ], [ 121, 25, -169, -144 ], [ 121, 25, -289, -144 ], [ 121, 25, -196, -169 ], [ 121, 25, -225, -169 ], [ 121, 25, -256, -169 ], [ 121, 25, -289, -169 ], [ 121, 25, -324, -169 ], [ 121, 25, -361, -169 ], [ 121, 25, -225, -196 ], [ 121, 25, -289, -196 ], [ 121, 25, -361, -196 ], [ 144, 25, -169, -25 ], [ 144, 25, -196, -25 ], [ 144, 25, -121, -36 ], [ 144, 25, -169, -36 ], [ 144, 25, -81, -49 ], [ 144, 25, -100, -49 ], [ 144, 25, -121, -49 ], [ 144, 25, -144, -49 ], [ 144, 25, -169, -49 ], [ 144, 25, -225, -49 ], [ 144, 25, -121, -64 ], [ 144, 25, -169, -64 ], [ 144, 25, -225, -64 ], [ 144, 25, -121, -81 ], [ 144, 25, -169, -81 ], [ 144, 25, -196, -81 ], [ 144, 25, -256, -81 ], [ 144, 25, -169, -100 ], [ 144, 25, -289, -100 ], [ 144, 25, -169, -121 ], [ 144, 25, -196, -121 ], [ 144, 25, -225, -121 ], [ 144, 25, -256, -121 ], [ 144, 25, -289, -121 ], [ 144, 25, -169, -144 ], [ 144, 25, -289, -144 ], [ 144, 25, -196, -169 ], [ 144, 25, -225, -169 ], [ 144, 25, -256, -169 ], [ 144, 25, -289, -169 ], [ 144, 25, -324, -169 ], [ 144, 25, -361, -169 ], [ 144, 25, -225, -196 ], [ 144, 25, -289, -196 ], [ 144, 25, -361, -196 ], [ 147, 25, -243, -122 ], [ 153, 25, -153, -32 ], [ 169, 25, -196, -25 ], [ 169, 25, -196, -27 ], [ 169, 25, -225, -29 ], [ 169, 25, -81, -32 ], [ 169, 25, -121, -36 ], [ 169, 25, -169, -36 ], [ 169, 25, -121, -40 ], [ 169, 25, -169, -48 ], [ 169, 25, -81, -49 ], [ 169, 25, -100, -49 ], [ 169, 25, -121, -49 ], [ 169, 25, -144, -49 ], [ 169, 25, -169, -49 ], [ 169, 25, -225, -49 ], [ 169, 25, -100, -51 ], [ 169, 25, -225, -56 ], [ 169, 25, -121, -57 ], [ 169, 25, -121, -64 ], [ 169, 25, -169, -64 ], [ 169, 25, -225, -64 ], [ 169, 25, -169, -69 ], [ 169, 25, -121, -72 ], [ 169, 25, -196, -75 ], [ 169, 25, -121, -81 ], [ 169, 25, -169, -81 ], [ 169, 25, -196, -81 ], [ 169, 25, -256, -81 ], [ 169, 25, -121, -85 ], [ 169, 25, -256, -87 ], [ 169, 25, -169, -88 ], [ 169, 25, -289, -93 ], [ 169, 25, -144, -95 ], [ 169, 25, -169, -100 ], [ 169, 25, -289, -100 ], [ 169, 25, -225, -104 ], [ 169, 25, -169, -105 ], [ 169, 25, -196, -115 ], [ 169, 25, -169, -120 ], [ 169, 25, -289, -120 ], [ 169, 25, -169, -121 ], [ 169, 25, -196, -121 ], [ 169, 25, -225, -121 ], [ 169, 25, -256, -121 ], [ 169, 25, -289, -121 ], [ 169, 25, -169, -133 ], [ 169, 25, -256, -135 ], [ 169, 25, -289, -144 ], [ 169, 25, -289, -145 ], [ 169, 25, -324, -155 ], [ 169, 25, -225, -161 ], [ 169, 25, -361, -165 ], [ 169, 25, -289, -168 ], [ 169, 25, -196, -169 ], [ 169, 25, -225, -169 ], [ 169, 25, -256, -169 ], [ 169, 25, -289, -169 ], [ 169, 25, -324, -169 ], [ 169, 25, -361, -169 ], [ 169, 25, -196, -171 ], [ 169, 25, -256, -175 ], [ 169, 25, -225, -176 ], [ 169, 25, -289, -189 ], [ 169, 25, -361, -192 ], [ 169, 25, -225, -196 ], [ 169, 25, -289, -196 ], [ 169, 25, -361, -196 ], [ 192, 25, -363, -167 ], [ 196, 25, -121, -36 ], [ 196, 25, -169, -36 ], [ 196, 25, -81, -49 ], [ 196, 25, -100, -49 ], [ 196, 25, -121, -49 ], [ 196, 25, -144, -49 ], [ 196, 25, -169, -49 ], [ 196, 25, -225, -49 ], [ 196, 25, -121, -64 ], [ 196, 25, -169, -64 ], [ 196, 25, -225, -64 ], [ 196, 25, -121, -81 ], [ 196, 25, -169, -81 ], [ 196, 25, -196, -81 ], [ 196, 25, -256, -81 ], [ 196, 25, -169, -100 ], [ 196, 25, -289, -100 ], [ 196, 25, -169, -121 ], [ 196, 25, -196, -121 ], [ 196, 25, -225, -121 ], [ 196, 25, -256, -121 ], [ 196, 25, -289, -121 ], [ 196, 25, -289, -144 ], [ 196, 25, -196, -169 ], [ 196, 25, -225, -169 ], [ 196, 25, -256, -169 ], [ 196, 25, -289, -169 ], [ 196, 25, -324, -169 ], [ 196, 25, -361, -169 ], [ 196, 25, -225, -196 ], [ 196, 25, -289, -196 ], [ 196, 25, -361, -196 ], [ 217, 25, -217, -48 ], [ 221, 25, -221, -100 ], [ 221, 25, -221, -121 ], [ 75, 26, -147, -121 ], [ 80, 27, -245, -53 ], [ 100, 27, -121, -73 ], [ 121, 27, -169, -94 ], [ 169, 27, -289, -142 ], [ 175, 27, -112, -37 ], [ 187, 27, -187, -40 ], [ 196, 27, -225, -29 ], [ 196, 27, -81, -32 ], [ 196, 27, -121, -40 ], [ 196, 27, -169, -48 ], [ 196, 27, -100, -51 ], [ 196, 27, -225, -56 ], [ 196, 27, -121, -57 ], [ 196, 27, -169, -69 ], [ 196, 27, -121, -72 ], [ 196, 27, -196, -75 ], [ 196, 27, -121, -85 ], [ 196, 27, -256, -87 ], [ 196, 27, -169, -88 ], [ 196, 27, -289, -93 ], [ 196, 27, -144, -95 ], [ 196, 27, -225, -104 ], [ 196, 27, -169, -105 ], [ 196, 27, -196, -115 ], [ 196, 27, -169, -120 ], [ 196, 27, -289, -120 ], [ 196, 27, -169, -121 ], [ 196, 27, -196, -121 ], [ 196, 27, -169, -133 ], [ 196, 27, -256, -135 ], [ 196, 27, -289, -145 ], [ 196, 27, -324, -155 ], [ 196, 27, -225, -161 ], [ 196, 27, -361, -165 ], [ 196, 27, -289, -168 ], [ 196, 27, -361, -169 ], [ 196, 27, -256, -175 ], [ 196, 27, -225, -176 ], [ 196, 27, -289, -189 ], [ 196, 27, -361, -192 ], [ 75, 28, -363, -188 ], [ 64, 29, -169, -140 ], [ 225, 29, -81, -32 ], [ 225, 29, -121, -40 ], [ 225, 29, -169, -48 ], [ 225, 29, -100, -51 ], [ 225, 29, -225, -56 ], [ 225, 29, -121, -57 ], [ 225, 29, -169, -69 ], [ 225, 29, -121, -72 ], [ 225, 29, -196, -75 ], [ 225, 29, -121, -85 ], [ 225, 29, -256, -87 ], [ 225, 29, -169, -88 ], [ 225, 29, -289, -93 ], [ 225, 29, -144, -95 ], [ 225, 29, -225, -104 ], [ 225, 29, -169, -105 ], [ 225, 29, -196, -115 ], [ 225, 29, -169, -120 ], [ 225, 29, -289, -120 ], [ 225, 29, -169, -133 ], [ 225, 29, -256, -135 ], [ 225, 29, -289, -145 ], [ 225, 29, -324, -155 ], [ 225, 29, -225, -161 ], [ 225, 29, -361, -165 ], [ 225, 29, -289, -168 ], [ 225, 29, -256, -175 ], [ 225, 29, -225, -176 ], [ 225, 29, -289, -189 ], [ 225, 29, -361, -192 ], [ 80, 31, -245, -121 ], [ 112, 31, -175, -144 ], [ 196, 31, -289, -165 ], [ 75, 32, -243, -43 ], [ 81, 32, -121, -40 ], [ 81, 32, -169, -48 ], [ 81, 32, -121, -49 ], [ 81, 32, -100, -51 ], [ 81, 32, -225, -56 ], [ 81, 32, -121, -57 ], [ 81, 32, -169, -69 ], [ 81, 32, -121, -72 ], [ 81, 32, -196, -75 ], [ 81, 32, -121, -85 ], [ 81, 32, -256, -87 ], [ 81, 32, -169, -88 ], [ 81, 32, -289, -93 ], [ 81, 32, -144, -95 ], [ 81, 32, -225, -104 ], [ 81, 32, -169, -105 ], [ 81, 32, -196, -115 ], [ 81, 32, -169, -120 ], [ 81, 32, -289, -120 ], [ 81, 32, -169, -133 ], [ 81, 32, -256, -135 ], [ 81, 32, -289, -145 ], [ 81, 32, -324, -155 ], [ 81, 32, -225, -161 ], [ 81, 32, -361, -165 ], [ 81, 32, -289, -168 ], [ 81, 32, -256, -175 ], [ 81, 32, -225, -176 ], [ 81, 32, -289, -189 ], [ 81, 32, -361, -192 ], [ 121, 32, -289, -89 ], [ 147, 32, -243, -115 ], [ 175, 32, -343, -143 ], [ 116, 35, -261, -121 ], [ 121, 36, -169, -36 ], [ 121, 36, -100, -49 ], [ 121, 36, -121, -49 ], [ 121, 36, -144, -49 ], [ 121, 36, -169, -49 ], [ 121, 36, -225, -49 ], [ 121, 36, -121, -64 ], [ 121, 36, -169, -64 ], [ 121, 36, -225, -64 ], [ 121, 36, -121, -81 ], [ 121, 36, -169, -81 ], [ 121, 36, -196, -81 ], [ 121, 36, -256, -81 ], [ 121, 36, -169, -100 ], [ 121, 36, -289, -100 ], [ 121, 36, -169, -121 ], [ 121, 36, -196, -121 ], [ 121, 36, -225, -121 ], [ 121, 36, -256, -121 ], [ 121, 36, -289, -121 ], [ 121, 36, -289, -144 ], [ 121, 36, -225, -169 ], [ 121, 36, -256, -169 ], [ 121, 36, -289, -169 ], [ 121, 36, -324, -169 ], [ 121, 36, -361, -169 ], [ 121, 36, -289, -196 ], [ 121, 36, -361, -196 ], [ 161, 36, -161, -80 ], [ 169, 36, -100, -49 ], [ 169, 36, -121, -49 ], [ 169, 36, -144, -49 ], [ 169, 36, -169, -49 ], [ 169, 36, -225, -49 ], [ 169, 36, -121, -64 ], [ 169, 36, -169, -64 ], [ 169, 36, -225, -64 ], [ 169, 36, -121, -81 ], [ 169, 36, -169, -81 ], [ 169, 36, -196, -81 ], [ 169, 36, -256, -81 ], [ 169, 36, -169, -100 ], [ 169, 36, -289, -100 ], [ 169, 36, -169, -121 ], [ 169, 36, -196, -121 ], [ 169, 36, -225, -121 ], [ 169, 36, -256, -121 ], [ 169, 36, -289, -121 ], [ 169, 36, -289, -144 ], [ 169, 36, -225, -169 ], [ 169, 36, -256, -169 ], [ 169, 36, -289, -169 ], [ 169, 36, -324, -169 ], [ 169, 36, -361, -169 ], [ 169, 36, -289, -196 ], [ 169, 36, -361, -196 ], [ 121, 40, -169, -48 ], [ 121, 40, -100, -51 ], [ 121, 40, -225, -56 ], [ 121, 40, -121, -57 ], [ 121, 40, -169, -69 ], [ 121, 40, -121, -72 ], [ 121, 40, -196, -75 ], [ 121, 40, -256, -87 ], [ 121, 40, -169, -88 ], [ 121, 40, -289, -93 ], [ 121, 40, -144, -95 ], [ 121, 40, -225, -104 ], [ 121, 40, -169, -105 ], [ 121, 40, -196, -115 ], [ 121, 40, -169, -120 ], [ 121, 40, -289, -120 ], [ 121, 40, -256, -135 ], [ 121, 40, -289, -145 ], [ 121, 40, -324, -155 ], [ 121, 40, -225, -161 ], [ 121, 40, -361, -165 ], [ 121, 40, -289, -168 ], [ 121, 40, -256, -175 ], [ 121, 40, -225, -176 ], [ 121, 40, -289, -189 ], [ 121, 40, -361, -192 ], [ 169, 40, -289, -129 ], [ 209, 40, -209, -49 ], [ 121, 41, -289, -125 ], [ 96, 47, -216, -169 ], [ 147, 47, -243, -196 ], [ 169, 48, -100, -51 ], [ 169, 48, -225, -56 ], [ 169, 48, -121, -57 ], [ 169, 48, -169, -69 ], [ 169, 48, -121, -72 ], [ 169, 48, -196, -75 ], [ 169, 48, -256, -87 ], [ 169, 48, -169, -88 ], [ 169, 48, -289, -93 ], [ 169, 48, -144, -95 ], [ 169, 48, -225, -104 ], [ 169, 48, -169, -105 ], [ 169, 48, -196, -115 ], [ 169, 48, -169, -120 ], [ 169, 48, -289, -120 ], [ 169, 48, -196, -121 ], [ 169, 48, -256, -135 ], [ 169, 48, -289, -145 ], [ 169, 48, -324, -155 ], [ 169, 48, -225, -161 ], [ 169, 48, -361, -165 ], [ 169, 48, -289, -168 ], [ 169, 48, -361, -169 ], [ 169, 48, -256, -175 ], [ 169, 48, -225, -176 ], [ 169, 48, -289, -189 ], [ 169, 48, -361, -192 ], [ 100, 49, -121, -49 ], [ 100, 49, -144, -49 ], [ 100, 49, -169, -49 ], [ 100, 49, -225, -49 ], [ 100, 49, -121, -64 ], [ 100, 49, -169, -64 ], [ 100, 49, -225, -64 ], [ 100, 49, -169, -81 ], [ 100, 49, -196, -81 ], [ 100, 49, -256, -81 ], [ 100, 49, -169, -100 ], [ 100, 49, -289, -100 ], [ 100, 49, -196, -121 ], [ 100, 49, -225, -121 ], [ 100, 49, -256, -121 ], [ 100, 49, -289, -121 ], [ 100, 49, -289, -144 ], [ 100, 49, -225, -169 ], [ 100, 49, -256, -169 ], [ 100, 49, -289, -169 ], [ 100, 49, -324, -169 ], [ 100, 49, -361, -169 ], [ 100, 49, -289, -196 ], [ 100, 49, -361, -196 ], [ 121, 49, -144, -49 ], [ 121, 49, -169, -49 ], [ 121, 49, -225, -49 ], [ 121, 49, -121, -64 ], [ 121, 49, -169, -64 ], [ 121, 49, -225, -64 ], [ 121, 49, -169, -81 ], [ 121, 49, -196, -81 ], [ 121, 49, -256, -81 ], [ 121, 49, -169, -100 ], [ 121, 49, -289, -100 ], [ 121, 49, -196, -121 ], [ 121, 49, -225, -121 ], [ 121, 49, -256, -121 ], [ 121, 49, -289, -121 ], [ 121, 49, -289, -144 ], [ 121, 49, -225, -169 ], [ 121, 49, -256, -169 ], [ 121, 49, -289, -169 ], [ 121, 49, -324, -169 ], [ 121, 49, -361, -169 ], [ 121, 49, -289, -196 ], [ 121, 49, -361, -196 ], [ 125, 49, -245, -76 ], [ 128, 49, -200, -79 ], [ 144, 49, -169, -49 ], [ 144, 49, -225, -49 ], [ 144, 49, -121, -64 ], [ 144, 49, -169, -64 ], [ 144, 49, -225, -64 ], [ 144, 49, -169, -81 ], [ 144, 49, -196, -81 ], [ 144, 49, -256, -81 ], [ 144, 49, -169, -100 ], [ 144, 49, -289, -100 ], [ 144, 49, -196, -121 ], [ 144, 49, -225, -121 ], [ 144, 49, -256, -121 ], [ 144, 49, -289, -121 ], [ 144, 49, -289, -144 ], [ 144, 49, -225, -169 ], [ 144, 49, -256, -169 ], [ 144, 49, -289, -169 ], [ 144, 49, -324, -169 ], [ 144, 49, -361, -169 ], [ 144, 49, -289, -196 ], [ 144, 49, -361, -196 ], [ 169, 49, -225, -49 ], [ 169, 49, -121, -64 ], [ 169, 49, -169, -64 ], [ 169, 49, -225, -64 ], [ 169, 49, -169, -81 ], [ 169, 49, -196, -81 ], [ 169, 49, -256, -81 ], [ 169, 49, -169, -100 ], [ 169, 49, -289, -100 ], [ 169, 49, -289, -120 ], [ 169, 49, -196, -121 ], [ 169, 49, -225, -121 ], [ 169, 49, -256, -121 ], [ 169, 49, -289, -121 ], [ 169, 49, -289, -144 ], [ 169, 49, -225, -169 ], [ 169, 49, -256, -169 ], [ 169, 49, -289, -169 ], [ 169, 49, -324, -169 ], [ 169, 49, -361, -169 ], [ 169, 49, -289, -196 ], [ 169, 49, -361, -196 ], [ 192, 49, -243, -143 ], [ 225, 49, -121, -64 ], [ 225, 49, -169, -64 ], [ 225, 49, -225, -64 ], [ 225, 49, -169, -81 ], [ 225, 49, -196, -81 ], [ 225, 49, -256, -81 ], [ 225, 49, -169, -100 ], [ 225, 49, -289, -100 ], [ 225, 49, -196, -121 ], [ 225, 49, -225, -121 ], [ 225, 49, -256, -121 ], [ 225, 49, -289, -121 ], [ 225, 49, -289, -144 ], [ 225, 49, -225, -169 ], [ 225, 49, -256, -169 ], [ 225, 49, -289, -169 ], [ 225, 49, -324, -169 ], [ 225, 49, -361, -169 ], [ 225, 49, -289, -196 ], [ 225, 49, -361, -196 ], [ 243, 49, -363, -194 ], [ 249, 49, -249, -128 ], [ 121, 50, -169, -71 ], [ 219, 50, -219, -121 ], [ 128, 53, -200, -147 ], [ 225, 56, -121, -57 ], [ 225, 56, -169, -69 ], [ 225, 56, -196, -75 ], [ 225, 56, -256, -87 ], [ 225, 56, -169, -88 ], [ 225, 56, -289, -93 ], [ 225, 56, -225, -104 ], [ 225, 56, -169, -105 ], [ 225, 56, -196, -115 ], [ 225, 56, -289, -120 ], [ 225, 56, -256, -135 ], [ 225, 56, -289, -145 ], [ 225, 56, -324, -155 ], [ 225, 56, -225, -161 ], [ 225, 56, -361, -165 ], [ 225, 56, -289, -168 ], [ 225, 56, -256, -175 ], [ 225, 56, -289, -189 ], [ 225, 56, -361, -192 ], [ 121, 57, -169, -69 ], [ 121, 57, -196, -75 ], [ 121, 57, -256, -87 ], [ 121, 57, -169, -88 ], [ 121, 57, -289, -93 ], [ 121, 57, -225, -104 ], [ 121, 57, -169, -105 ], [ 121, 57, -196, -115 ], [ 121, 57, -289, -120 ], [ 121, 57, -256, -135 ], [ 121, 57, -289, -145 ], [ 121, 57, -324, -155 ], [ 121, 57, -225, -161 ], [ 121, 57, -361, -165 ], [ 121, 57, -289, -168 ], [ 121, 57, -256, -175 ], [ 121, 57, -289, -189 ], [ 121, 57, -361, -192 ], [ 121, 60, -196, -61 ], [ 135, 64, -240, -71 ], [ 169, 64, -225, -64 ], [ 169, 64, -169, -81 ], [ 169, 64, -196, -81 ], [ 169, 64, -256, -81 ], [ 169, 64, -169, -100 ], [ 169, 64, -289, -100 ], [ 169, 64, -196, -121 ], [ 169, 64, -225, -121 ], [ 169, 64, -256, -121 ], [ 169, 64, -289, -121 ], [ 169, 64, -289, -144 ], [ 169, 64, -256, -169 ], [ 169, 64, -289, -169 ], [ 169, 64, -324, -169 ], [ 169, 64, -361, -169 ], [ 169, 64, -289, -196 ], [ 169, 64, -361, -196 ], [ 225, 64, -169, -81 ], [ 225, 64, -196, -81 ], [ 225, 64, -256, -81 ], [ 225, 64, -169, -100 ], [ 225, 64, -289, -100 ], [ 225, 64, -196, -121 ], [ 225, 64, -225, -121 ], [ 225, 64, -256, -121 ], [ 225, 64, -289, -121 ], [ 225, 64, -289, -144 ], [ 225, 64, -256, -169 ], [ 225, 64, -289, -169 ], [ 225, 64, -324, -169 ], [ 225, 64, -361, -169 ], [ 225, 64, -289, -196 ], [ 225, 64, -361, -196 ], [ 243, 64, -300, -179 ], [ 253, 64, -253, -84 ], [ 147, 67, -192, -125 ], [ 169, 69, -196, -75 ], [ 169, 69, -256, -87 ], [ 169, 69, -169, -88 ], [ 169, 69, -289, -93 ], [ 169, 69, -225, -104 ], [ 169, 69, -196, -115 ], [ 169, 69, -289, -120 ], [ 169, 69, -256, -135 ], [ 169, 69, -289, -145 ], [ 169, 69, -324, -155 ], [ 169, 69, -361, -165 ], [ 169, 69, -289, -168 ], [ 169, 69, -256, -175 ], [ 169, 69, -289, -189 ], [ 169, 69, -361, -192 ], [ 169, 72, -225, -97 ], [ 196, 75, -256, -87 ], [ 196, 75, -169, -88 ], [ 196, 75, -289, -93 ], [ 196, 75, -225, -104 ], [ 196, 75, -196, -115 ], [ 196, 75, -289, -120 ], [ 196, 75, -256, -135 ], [ 196, 75, -289, -145 ], [ 196, 75, -324, -155 ], [ 196, 75, -361, -165 ], [ 196, 75, -289, -168 ], [ 196, 75, -361, -169 ], [ 196, 75, -256, -175 ], [ 196, 75, -289, -189 ], [ 196, 75, -361, -192 ], [ 208, 75, -325, -133 ], [ 256, 75, -289, -181 ], [ 169, 81, -196, -81 ], [ 169, 81, -256, -81 ], [ 169, 81, -289, -100 ], [ 169, 81, -225, -121 ], [ 169, 81, -256, -121 ], [ 169, 81, -289, -121 ], [ 169, 81, -289, -144 ], [ 169, 81, -256, -169 ], [ 169, 81, -289, -169 ], [ 169, 81, -324, -169 ], [ 169, 81, -361, -169 ], [ 169, 81, -289, -196 ], [ 169, 81, -361, -196 ], [ 196, 81, -256, -81 ], [ 196, 81, -289, -100 ], [ 196, 81, -225, -121 ], [ 196, 81, -256, -121 ], [ 196, 81, -289, -121 ], [ 196, 81, -289, -144 ], [ 196, 81, -256, -169 ], [ 196, 81, -289, -169 ], [ 196, 81, -324, -169 ], [ 196, 81, -361, -169 ], [ 196, 81, -289, -196 ], [ 196, 81, -361, -196 ], [ 200, 81, -288, -119 ], [ 256, 81, -289, -100 ], [ 256, 81, -225, -121 ], [ 256, 81, -256, -121 ], [ 256, 81, -289, -121 ], [ 256, 81, -289, -144 ], [ 256, 81, -256, -169 ], [ 256, 81, -289, -169 ], [ 256, 81, -324, -169 ], [ 256, 81, -361, -169 ], [ 256, 81, -289, -196 ], [ 256, 81, -361, -196 ], [ 256, 87, -289, -93 ], [ 256, 87, -225, -104 ], [ 256, 87, -289, -120 ], [ 256, 87, -256, -135 ], [ 256, 87, -289, -145 ], [ 256, 87, -324, -155 ], [ 256, 87, -361, -165 ], [ 256, 87, -289, -168 ], [ 256, 87, -289, -189 ], [ 256, 87, -361, -192 ], [ 289, 93, -225, -104 ], [ 289, 93, -289, -120 ], [ 289, 93, -256, -135 ], [ 289, 93, -289, -145 ], [ 289, 93, -324, -155 ], [ 289, 93, -361, -165 ], [ 289, 93, -289, -168 ], [ 289, 93, -289, -189 ], [ 289, 93, -361, -192 ], [ 225, 98, -289, -127 ], [ 289, 100, -225, -121 ], [ 289, 100, -256, -121 ], [ 289, 100, -289, -121 ], [ 289, 100, -289, -144 ], [ 289, 100, -289, -169 ], [ 289, 100, -324, -169 ], [ 289, 100, -361, -169 ], [ 289, 100, -361, -196 ], [ 225, 104, -289, -120 ], [ 225, 104, -256, -135 ], [ 225, 104, -289, -145 ], [ 225, 104, -324, -155 ], [ 225, 104, -361, -165 ], [ 225, 104, -289, -168 ], [ 225, 104, -361, -192 ], [ 289, 120, -256, -135 ], [ 289, 120, -289, -145 ], [ 289, 120, -324, -155 ], [ 289, 120, -361, -165 ], [ 289, 120, -289, -168 ], [ 289, 120, -361, -192 ], [ 256, 121, -289, -121 ], [ 256, 121, -289, -144 ], [ 256, 121, -324, -169 ], [ 256, 121, -361, -169 ], [ 256, 121, -361, -196 ], [ 289, 121, -289, -144 ], [ 289, 121, -324, -169 ], [ 289, 121, -361, -169 ], [ 289, 121, -361, -196 ], [ 289, 128, -361, -161 ], [ 289, 144, -324, -169 ], [ 289, 144, -361, -169 ], [ 289, 144, -361, -196 ], [ 324, 155, -361, -165 ], [ 324, 155, -361, -192 ], [ 361, 165, -361, -192 ] ]; bm_primes := [ [ 5, 7 ], [ 5 ], [ ], [ 2 ], [ 5 ], [ 2 ], [ 2, 7 ], [ 2 ], [ 2 ], [ 2, 5 ], [ 11 ], [ 2 ], [ 13 ], [ 2, 7 ], [ 2 ], [ 2, 5 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2 ], [ 2, 5 ], [ 7 ], [ 2 ], [ 2, 5 ], [ 2, 11 ], [ 13 ], [ 2, 7 ], [ 2, 5 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2, 5 ], [ 5, 7 ], [ 2, 5 ], [ 5 ], [ 5, 11 ], [ 2, 5 ], [ 2, 5, 13 ], [ 2, 5, 7 ], [ 7, 13 ], [ 2, 7 ], [ 2, 11 ], [ 2, 13 ], [ 2, 7 ], [ 2, 11, 13 ], [ 2, 7 ], [ 7 ], [ 2, 5, 7 ], [ 7, 11 ], [ 2, 7 ], [ 7, 13 ], [ 2, 5, 7 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2, 5 ], [ 5, 7, 11 ], [ 2, 5 ], [ 11 ], [ 13 ], [ 2, 7 ], [ 2 ], [ 2, 5, 11 ], [ 2, 5, 13 ], [ 2, 5, 17 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 7, 11 ], [ 5, 11 ], [ 2, 11 ], [ 11, 17 ], [ 2, 13 ], [ 2, 17 ], [ 2, 7, 13 ], [ 5, 13 ], [ 2, 13 ], [ 13, 17 ], [ 2, 13 ], [ 13, 19 ], [ 2, 13, 19 ], [ 2, 5, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 11 ], [ 2, 11 ], [ 7 ], [ 7, 13 ], [ 5, 13 ], [ 5, 11 ], [ 2, 5 ], [ 2, 11 ], [ 2 ], [ 5 ], [ 3 ], [ 7 ], [ 2 ], [ 3 ], [ 5 ], [ 11 ], [ 2, 3 ], [ 13 ], [ 7 ], [ 3 ], [ 5 ], [ 7 ], [ 3 ], [ 11 ], [ 13 ], [ 2, 3 ], [ 3, 5 ], [ 3, 7 ], [ 2, 3 ], [ 3, 5 ], [ 3, 11 ], [ 3, 13 ], [ 3, 7 ], [ 2, 5 ], [ 2, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 3, 5 ], [ 5, 7 ], [ 2, 5 ], [ 3, 5 ], [ 5, 11 ], [ 2, 3, 5 ], [ 5, 13 ], [ 5, 7 ], [ 2, 7 ], [ 3, 7 ], [ 3, 11 ], [ 3, 13 ], [ 2, 7 ], [ 3, 7 ], [ 5, 7 ], [ 7, 11 ], [ 2, 3, 7 ], [ 7, 13 ], [ 3, 5, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3, 5 ], [ 3, 7, 11 ], [ 3, 5 ], [ 3, 11 ], [ 3, 13 ], [ 3, 7 ], [ 2, 3 ], [ 5, 11 ], [ 5, 13 ], [ 5, 17 ], [ 2, 3, 11 ], [ 11, 13 ], [ 7, 11 ], [ 3, 5, 11 ], [ 2, 11 ], [ 11, 17 ], [ 2, 3, 13 ], [ 2, 3, 17 ], [ 7, 13 ], [ 3, 5, 13 ], [ 2, 13 ], [ 13, 17 ], [ 3, 13 ], [ 13, 19 ], [ 3, 5, 7 ], [ 7, 17 ], [ 7, 19 ], [ 13 ], [ 3, 13 ], [ 2 ], [ 2, 5 ], [ 2, 7 ], [ 2, 5 ], [ 11 ], [ 2 ], [ 2 ], [ 7 ], [ 2 ], [ ], [ 2 ], [ 2, 11 ], [ 2 ], [ 2, 13 ], [ 2, 7 ], [ 2 ], [ 2 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2 ], [ ], [ 2, 7 ], [ 2 ], [ 2 ], [ 11 ], [ 13 ], [ 2, 7 ], [ 2, 7 ], [ 2 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2 ], [ 2, 7 ], [ 2 ], [ 2 ], [ 11 ], [ 2 ], [ 13 ], [ 2, 7 ], [ 2, 7 ], [ 2, 11 ], [ 2, 13 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2, 7 ], [ 2, 7, 13 ], [ 7 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2, 17 ], [ 2, 11 ], [ 11, 13 ], [ 2, 7, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11, 17 ], [ 2, 11 ], [ 2, 13 ], [ 2, 17 ], [ 2, 7, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13, 17 ], [ 2, 13 ], [ 13, 19 ], [ 2, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 3, 7 ], [ 3, 13 ], [ 3, 5, 11 ], [ 2, 7 ], [ 2, 7, 13 ], [ 2 ], [ 13 ], [ 2 ], [ ], [ 5, 7 ], [ 2, 5 ], [ ], [ 5 ], [ 11 ], [ 2, 5 ], [ 5, 13 ], [ 7 ], [ ], [ 5 ], [ 7 ], [ 5 ], [ 5, 11 ], [ 13 ], [ 2, 5 ], [ 5 ], [ 7 ], [ 2 ], [ 5 ], [ 5, 11 ], [ 13 ], [ 5, 7 ], [ 2, 5 ], [ 2, 5, 7 ], [ 2 ], [ 2, 11 ], [ 2, 5, 13 ], [ 5, 7 ], [ 5 ], [ 5, 7 ], [ 2, 5 ], [ 5 ], [ 5, 11 ], [ 2, 5 ], [ 5, 13 ], [ 5, 7 ], [ 5, 7 ], [ 11 ], [ 5, 13 ], [ 2, 7 ], [ 5, 7 ], [ 5, 7 ], [ 5, 7, 11 ], [ 2, 7 ], [ 7, 13 ], [ 5, 7 ], [ 2, 5 ], [ 2, 5, 11 ], [ 2, 13 ], [ 2, 5 ], [ 5 ], [ 11 ], [ 5, 13 ], [ 7 ], [ 2 ], [ 2, 5, 11 ], [ 5, 11 ], [ 5, 13 ], [ 5, 17 ], [ 2, 5, 11 ], [ 5, 11, 13 ], [ 7, 11 ], [ 5, 11 ], [ 2, 11 ], [ 5, 11, 17 ], [ 2, 13 ], [ 2, 17 ], [ 5, 7, 13 ], [ 5, 13 ], [ 2, 5, 13 ], [ 13, 17 ], [ 13 ], [ 5, 13, 19 ], [ 5, 7 ], [ 5, 7, 17 ], [ 7, 19 ], [ 5, 7 ], [ 7, 11 ], [ 2 ], [ 5 ], [ 2, 5, 13 ], [ 2, 5 ], [ 13 ], [ 2 ], [ 2 ], [ 2, 3 ], [ 2 ], [ 11 ], [ 2, 3 ], [ 13 ], [ 2 ], [ 2, 3 ], [ 2 ], [ 2 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3 ], [ 2, 3 ], [ 3 ], [ 2, 3 ], [ 2, 3 ], [ 2, 3, 11 ], [ 3, 13 ], [ 2, 3 ], [ 2 ], [ 2 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3 ], [ ], [ 2 ], [ 3 ], [ 11 ], [ 2, 3 ], [ 2, 13 ], [ 2 ], [ 2, 3 ], [ 2, 3, 11 ], [ 2, 3, 13 ], [ 2 ], [ 3 ], [ 2 ], [ 11 ], [ 2, 3 ], [ 13 ], [ 2, 3 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3 ], [ 2, 3 ], [ 3, 11 ], [ 3, 13 ], [ 2, 3 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 17 ], [ 2, 3, 11 ], [ 2, 11, 13 ], [ 2, 11 ], [ 3, 11 ], [ 2, 11 ], [ 11, 17 ], [ 2, 3, 13 ], [ 2, 3, 17 ], [ 2, 13 ], [ 3, 13 ], [ 2, 13 ], [ 13, 17 ], [ 2, 3, 13 ], [ 13, 19 ], [ 2, 3 ], [ 2, 17 ], [ 2, 19 ], [ 2, 11 ], [ 2, 3 ], [ 2, 13 ], [ 3 ], [ 2, 5, 7 ], [ 2, 7 ], [ 2 ], [ 7 ], [ 2, 5, 7 ], [ 7, 11 ], [ 7 ], [ 13 ], [ 2, 7 ], [ 2, 7 ], [ 2, 5 ], [ 2, 7 ], [ 2 ], [ 2, 7, 11 ], [ 2, 7, 13 ], [ ], [ 5, 7 ], [ 7 ], [ 2, 7 ], [ 2, 5 ], [ 11 ], [ 7, 13 ], [ 2, 7 ], [ 5, 7 ], [ 7 ], [ 7 ], [ 11 ], [ 7, 13 ], [ 2, 5, 7 ], [ 5, 7 ], [ 2, 5, 7 ], [ 5 ], [ 5, 7, 11 ], [ 5 ], [ 5, 7, 13 ], [ 2, 5, 7 ], [ 2, 13 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2, 13 ], [ 7, 11, 13 ], [ 2, 7 ], [ 7 ], [ 2, 5, 7 ], [ 7, 11 ], [ 7 ], [ 7, 13 ], [ 5, 7 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2, 13 ], [ 2, 5 ], [ 2, 5, 11 ], [ 2, 5, 7 ], [ 7, 11 ], [ 7, 13 ], [ 2, 7 ], [ 2 ], [ 2, 5, 11 ], [ 2, 5, 7, 13 ], [ 2, 5, 17 ], [ 7, 11 ], [ 7, 11, 13 ], [ 2, 7, 11 ], [ 5, 7, 11 ], [ 2, 7, 11 ], [ 11, 17 ], [ 7, 13 ], [ 7, 17 ], [ 2, 7, 13 ], [ 5, 13 ], [ 2, 7, 13 ], [ 7, 13, 17 ], [ 2, 7, 13 ], [ 7, 13, 19 ], [ 2, 7, 13, 19 ], [ 2, 5, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 5, 7 ], [ 7 ], [ 2, 13 ], [ 2 ], [ 2, 5 ], [ 2, 11 ], [ 2 ], [ 2, 13 ], [ 2 ], [ 2 ], [ 2, 5 ], [ 2 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3 ], [ 2 ], [ 2, 5 ], [ 2 ], [ 2 ], [ 2, 5 ], [ 2, 11 ], [ 13 ], [ 2 ], [ 2, 5 ], [ 2 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2, 5 ], [ 2, 5 ], [ 2, 5 ], [ 2, 5 ], [ 5, 11 ], [ 2, 5 ], [ 2, 5, 13 ], [ 2, 5 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2 ], [ ], [ 2, 5 ], [ 2, 11 ], [ 2 ], [ 2, 13 ], [ 2, 5 ], [ 2 ], [ 2, 11 ], [ 2, 13 ], [ 2, 5 ], [ 2, 5 ], [ 2, 11 ], [ 2, 13 ], [ 2 ], [ 2 ], [ 2, 5, 11 ], [ 2, 5, 13 ], [ 2, 5, 17 ], [ 2, 3, 11 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 11 ], [ 2, 5, 11 ], [ 2, 11 ], [ 2, 11, 17 ], [ 2, 13 ], [ 2, 17 ], [ 2, 13 ], [ 2, 5, 13 ], [ 2, 13 ], [ 2, 13, 17 ], [ 2, 13 ], [ 13, 19 ], [ 3, 5 ], [ 2, 5 ], [ 2, 17 ], [ 2, 19 ], [ 2, 7 ], [ 2, 7 ], [ 5, 13 ], [ 2, 5 ], [ 5, 7 ], [ 2 ], [ 11 ], [ 3 ], [ 13 ], [ 2, 7 ], [ 2, 3 ], [ 2 ], [ 2, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2 ], [ 3 ], [ 3 ], [ 3, 7 ], [ 2, 3 ], [ 2, 3 ], [ 3, 11 ], [ 3, 13 ], [ 2, 3, 7 ], [ ], [ 7 ], [ 3 ], [ 11 ], [ 13 ], [ 2, 3 ], [ 7 ], [ 2 ], [ 3 ], [ 11 ], [ 3 ], [ 13 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2, 3, 11 ], [ 2, 3, 13 ], [ 2, 3, 7 ], [ 2, 7 ], [ 3, 7 ], [ 2, 7 ], [ 7, 11 ], [ 3, 7 ], [ 7, 13 ], [ 3, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3 ], [ 2, 3 ], [ 3, 11 ], [ 3, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 17 ], [ 3, 11 ], [ 11, 13 ], [ 2, 7, 11 ], [ 3, 11 ], [ 2, 11 ], [ 11, 17 ], [ 3, 13 ], [ 3, 17 ], [ 2, 7, 13 ], [ 3, 13 ], [ 2, 13 ], [ 13, 17 ], [ 2, 3, 13 ], [ 13, 19 ], [ 2, 3, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2 ], [ 3 ], [ 2, 11 ], [ 3, 7 ], [ 5, 7 ], [ ], [ 2, 5 ], [ 5, 13 ], [ 2, 7 ], [ 2 ], [ 2, 5 ], [ 2, 7 ], [ 2, 5 ], [ 2, 5 ], [ 2, 13 ], [ 2, 5 ], [ 2, 5 ], [ 7 ], [ 2 ], [ 2, 5 ], [ 2, 5 ], [ 13 ], [ 2, 5, 7 ], [ 3, 5 ], [ 2, 5 ], [ 2, 5, 7 ], [ 2 ], [ 2 ], [ 2, 5, 13 ], [ 2, 5 ], [ 5, 7 ], [ 2, 5 ], [ 5 ], [ 5 ], [ 2, 5 ], [ 2, 5, 13 ], [ 2, 5, 7 ], [ 2, 5, 7 ], [ 2 ], [ 2, 5, 13 ], [ 2, 7 ], [ 5, 7 ], [ 2, 5, 7 ], [ 5, 7 ], [ 2, 7 ], [ 7, 13 ], [ 2, 5, 7 ], [ 2, 5 ], [ 2, 5 ], [ 2, 13 ], [ 2, 5 ], [ 2, 5 ], [ ], [ 5, 13 ], [ 2, 7 ], [ 2 ], [ 2, 5 ], [ 2, 5, 13 ], [ 2, 5, 17 ], [ 2, 5 ], [ 2, 5, 13 ], [ 2, 7 ], [ 5 ], [ 2 ], [ 5, 17 ], [ 2, 13 ], [ 2, 17 ], [ 2, 5, 7, 13 ], [ 5, 13 ], [ 2, 5, 13 ], [ 13, 17 ], [ 2, 13 ], [ 5, 13, 19 ], [ 2, 3, 7 ], [ 2, 5, 7 ], [ 2, 5, 7, 17 ], [ 2, 7, 19 ], [ 2, 5 ], [ 2 ], [ 11, 13 ], [ 7, 11 ], [ 11 ], [ 11 ], [ 7, 11 ], [ ], [ 11 ], [ 13 ], [ 2, 11 ], [ 11 ], [ 7, 11 ], [ 2 ], [ 11 ], [ 11 ], [ 11, 13 ], [ 7 ], [ 2, 11 ], [ 2, 7 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11, 13 ], [ ], [ 7, 11 ], [ 2, 11 ], [ 11 ], [ 11 ], [ 2, 11 ], [ 11, 13 ], [ 7, 11 ], [ 7, 11 ], [ 11 ], [ 11, 13 ], [ 2, 7, 11 ], [ 7, 11 ], [ 7, 11 ], [ 7, 11 ], [ 2, 7, 11 ], [ 7, 11, 13 ], [ 7 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 11 ], [ 11 ], [ 11 ], [ 13 ], [ 7, 11 ], [ 2, 11 ], [ 11 ], [ 11, 13 ], [ 11, 17 ], [ 7, 11, 13 ], [ 11, 13, 17 ], [ 2, 11 ], [ 11, 13 ], [ 7, 11 ], [ 11 ], [ 2, 11 ], [ 11, 17 ], [ 2, 11, 13 ], [ 2, 11, 17 ], [ 7, 11, 13 ], [ 11, 13 ], [ 2, 11, 13 ], [ 11, 13, 17 ], [ 11, 13 ], [ 11, 13, 19 ], [ 7, 11 ], [ 7, 11, 17 ], [ 7, 19 ], [ 2, 7 ], [ 7, 11 ], [ 3 ], [ 11 ], [ 2, 11 ], [ 2, 5 ], [ 11 ], [ 2 ], [ 2, 7 ], [ 2, 3 ], [ 2, 5 ], [ 2, 7 ], [ 2, 3 ], [ 2 ], [ 2 ], [ 2, 3 ], [ 3, 5 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 3, 5 ], [ 3 ], [ 3 ], [ 2, 3, 7 ], [ 2, 5 ], [ 2, 7 ], [ 2, 3 ], [ 2 ], [ 2 ], [ 2, 3, 5 ], [ 2, 5, 7 ], [ 2, 5 ], [ 2, 3, 5 ], [ 5 ], [ 2, 3, 5 ], [ 5 ], [ 2, 5, 7 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 3 ], [ 2, 7 ], [ 3, 7 ], [ 2, 5, 7 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2, 7 ], [ 3, 5, 7 ], [ 2, 3 ], [ 2 ], [ 2 ], [ 2, 3, 5 ], [ 2, 3, 5 ], [ 2, 3 ], [ 2, 3 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 5 ], [ 2, 5 ], [ 2, 5, 17 ], [ 2, 3 ], [ ], [ 2, 7 ], [ 2, 3, 5 ], [ 2 ], [ 2, 17 ], [ 2, 3 ], [ 2, 3, 17 ], [ 2, 7 ], [ 2, 3, 5 ], [ 2 ], [ 2, 17 ], [ 2, 3 ], [ 19 ], [ 2, 3, 5, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2, 3 ], [ 2 ], [ 2, 5, 7 ], [ 7, 11 ], [ 2, 7 ], [ 2, 11 ], [ 3, 11 ], [ ], [ 13 ], [ 5, 13 ], [ 13 ], [ 13 ], [ 11 ], [ 13 ], [ 2, 13 ], [ 5, 13 ], [ 13 ], [ 2, 13 ], [ 5 ], [ 11, 13 ], [ 13 ], [ 13 ], [ 2, 5, 13 ], [ 2, 13 ], [ 2 ], [ 2, 11, 13 ], [ 2, 13 ], [ 5, 13 ], [ 5, 13 ], [ 2, 5 ], [ 5, 13 ], [ 5, 11, 13 ], [ 2, 5, 13 ], [ 5, 13 ], [ 5, 13 ], [ ], [ 11, 13 ], [ 13 ], [ 2, 13 ], [ 13 ], [ 5, 13 ], [ 11, 13 ], [ 2, 13 ], [ 13 ], [ 5, 13 ], [ 2, 13 ], [ 2, 11, 13 ], [ 2, 13 ], [ 2, 5, 13 ], [ 5, 13 ], [ 11, 13 ], [ 13 ], [ 13 ], [ 2, 13 ], [ 5, 11, 13 ], [ 5, 13 ], [ 5, 13, 17 ], [ 2, 11, 13 ], [ 11, 13 ], [ 11, 13 ], [ 5, 11 ], [ 2, 11, 13 ], [ 11, 13, 17 ], [ 2, 13 ], [ 2, 13, 17 ], [ 11, 13, 17 ], [ 13 ], [ 5, 13 ], [ 2, 13 ], [ 13, 17 ], [ 13 ], [ 13, 19 ], [ 5, 13 ], [ 13, 17 ], [ 13, 19 ], [ 7, 11, 13 ], [ 7, 11, 13 ], [ 5, 13 ], [ 2, 5 ], [ 5, 13 ], [ 13 ], [ 2, 7 ], [ 2 ], [ 2, 7 ], [ 2 ], [ 2, 7, 11 ], [ 2, 7 ], [ 2 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 11 ], [ 2, 7 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ ], [ 7, 11 ], [ 2 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ 7, 11 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2 ], [ 2 ], [ 2, 7 ], [ 7, 11 ], [ 7 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 2, 7 ], [ 2, 17 ], [ 2, 7, 11 ], [ 2, 7, 11 ], [ 2, 7, 11 ], [ 7, 11 ], [ 2, 7, 11 ], [ 11, 17 ], [ 2, 7 ], [ 2, 7, 17 ], [ 2, 7 ], [ ], [ 2, 7 ], [ 7, 17 ], [ 2, 7 ], [ 7, 19 ], [ 2, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2, 5, 13 ], [ 7 ], [ 3, 5 ], [ 3, 13 ], [ 3, 5, 7 ], [ 5, 7, 11 ], [ 5 ], [ 5, 11, 13 ], [ 5, 7, 11 ], [ 7 ], [ 5, 11, 13 ], [ 2, 5 ], [ 2 ], [ 2 ], [ 2, 5, 7 ], [ 2, 5 ], [ 2, 11 ], [ 2, 7 ], [ 2 ], [ 5, 7 ], [ 5, 7, 13 ], [ 2 ], [ 5, 7, 11 ], [ 5, 7 ], [ 2, 13 ], [ 2, 7, 11 ], [ 2 ], [ 7, 11 ], [ 2, 5, 17 ], [ 2 ], [ 2, 11 ], [ 5, 7, 11 ], [ ], [ 2 ], [ 2, 13 ], [ 5, 7, 13 ], [ 2, 5 ], [ 2 ], [ 2, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3 ], [ 2, 3 ], [ 3, 7 ], [ 2, 3 ], [ 2, 3 ], [ 2, 3, 11 ], [ 3, 13 ], [ 2, 3, 7 ], [ 2 ], [ 2, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3 ], [ 7 ], [ 2 ], [ 3 ], [ 11 ], [ 2, 3 ], [ 2, 13 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2, 3, 11 ], [ 2, 3, 13 ], [ 3, 7 ], [ 2, 7 ], [ 3, 7 ], [ 2, 7 ], [ 7, 11 ], [ 2, 3, 7 ], [ 7, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 3 ], [ 2, 3 ], [ 3, 11 ], [ 3, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 13 ], [ 2, 17 ], [ 2, 3, 11 ], [ 2, 11, 13 ], [ 2, 7, 11 ], [ 3, 11 ], [ 2, 11 ], [ 11, 17 ], [ 2, 3, 13 ], [ 2, 3, 17 ], [ 2, 7, 13 ], [ 3, 13 ], [ 2, 13 ], [ 13, 17 ], [ 2, 3, 13 ], [ 13, 19 ], [ 2, 3, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2, 13 ], [ 2, 7 ], [ 2, 13 ], [ 2, 11 ], [ 2 ], [ 2, 5 ], [ 2, 5, 11 ], [ 2, 13 ], [ 2, 5 ], [ 2, 5 ], [ ], [ 2 ], [ 2, 5 ], [ 2, 5, 11 ], [ 13 ], [ 2, 5 ], [ 2, 5 ], [ 2, 5 ], [ 2 ], [ 2, 11 ], [ 2, 5, 13 ], [ 5, 11 ], [ 2, 5 ], [ 5 ], [ 2, 5 ], [ 5 ], [ 5, 11 ], [ 2, 5 ], [ 2, 5, 13 ], [ 2, 5 ], [ 2, 5 ], [ 2, 11 ], [ 2, 5, 13 ], [ 2 ], [ 5 ], [ 2, 5 ], [ 5, 11 ], [ 2 ], [ 13 ], [ 2, 5 ], [ 2, 5 ], [ 2, 5, 11 ], [ 2, 13 ], [ 2, 5 ], [ 2, 5 ], [ 11 ], [ 5, 13 ], [ 2 ], [ 2 ], [ 2, 5, 11 ], [ 2, 5, 13 ], [ 2, 5, 17 ], [ 2, 5, 11 ], [ 2, 5, 11, 13 ], [ 2, 11 ], [ 5, 11 ], [ 2, 11 ], [ 5, 11, 17 ], [ 2, 13 ], [ 2, 17 ], [ 2, 5, 13 ], [ 5, 13 ], [ 2, 5, 13 ], [ 13, 17 ], [ 2, 13 ], [ 5, 13, 19 ], [ 5, 17 ], [ 2, 5 ], [ 2, 5, 17 ], [ 2, 19 ], [ 2, 5 ], [ 2, 13 ], [ 2, 5, 7 ], [ 2, 11 ], [ 2, 3, 7 ], [ 2 ], [ 2, 7, 11 ], [ 2, 7, 13 ], [ 2 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 7, 13 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 11 ], [ 2, 7, 13 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ ], [ 7, 11 ], [ 2 ], [ 2, 7, 13 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2, 13 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ 7, 11 ], [ 2, 7 ], [ 7, 13 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2, 13 ], [ 2 ], [ 2, 7 ], [ 7, 11 ], [ 7, 13 ], [ 2, 7 ], [ 2 ], [ 2, 11 ], [ 2, 7, 13 ], [ 2, 17 ], [ 2, 7, 11 ], [ 2, 7, 11, 13 ], [ 2, 7, 11 ], [ 7, 11 ], [ 2, 7, 11 ], [ 11, 17 ], [ 2, 7, 13 ], [ 2, 7, 17 ], [ 2, 7, 13 ], [ 13 ], [ 2, 7, 13 ], [ 7, 13, 17 ], [ 2, 7, 13 ], [ 7, 13, 19 ], [ 2, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2, 13 ], [ 2, 5, 11 ], [ 2, 5, 7, 13 ], [ 2 ], [ 2, 13 ], [ 2, 3 ], [ 2, 3, 5 ], [ 3 ], [ 2, 3 ], [ 2, 3, 5 ], [ 2, 3 ], [ 3, 13 ], [ 2, 3 ], [ 2, 5 ], [ 2 ], [ 2, 3 ], [ 2 ], [ 2, 13 ], [ 2, 3, 5 ], [ 5 ], [ 2, 5 ], [ 3, 5 ], [ 5 ], [ 2, 3, 5 ], [ 2, 5, 13 ], [ 2, 5 ], [ 2, 3 ], [ 2, 3 ], [ 2, 3, 13 ], [ 2 ], [ 3 ], [ 2, 5 ], [ ], [ 2, 3 ], [ 13 ], [ 2, 3, 5 ], [ 2, 3 ], [ 2 ], [ 2, 13 ], [ 2, 3, 5 ], [ 2, 3, 5 ], [ 3 ], [ 3, 13 ], [ 2, 3 ], [ 2, 3 ], [ 2, 5 ], [ 2, 5, 13 ], [ 2, 5, 17 ], [ 2, 3 ], [ 2, 13 ], [ 2 ], [ 3, 5 ], [ 2 ], [ 17 ], [ 2, 3, 13 ], [ 2, 3, 17 ], [ 2, 13 ], [ 3, 5, 13 ], [ 2, 13 ], [ 13, 17 ], [ 2, 3, 13 ], [ 13, 19 ], [ 2, 3, 5 ], [ 2, 17 ], [ 2, 19 ], [ 2, 7 ], [ 3, 7 ], [ 2, 3 ], [ 2 ], [ 2, 11 ], [ 2, 5, 11 ], [ 7, 11 ], [ 2 ], [ 2, 5, 11 ], [ 2, 11 ], [ 11 ], [ 2, 7 ], [ 3, 7, 11 ], [ 2, 5, 11 ], [ 2, 7 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 5 ], [ 5, 7, 11 ], [ 2, 5, 11 ], [ 5, 11 ], [ 5, 11 ], [ 2, 5, 11 ], [ 2, 5, 11 ], [ 2, 5, 7, 11 ], [ 2, 7, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 7, 11 ], [ 7, 11 ], [ 2, 5, 7, 11 ], [ 7, 11 ], [ 2, 7, 11 ], [ 7, 11 ], [ 2, 5, 7 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 5, 11 ], [ 2, 5, 11 ], [ 11 ], [ ], [ 2, 7, 11 ], [ 2, 11 ], [ 2, 5, 11 ], [ 2, 5, 11 ], [ 2, 5, 11, 17 ], [ 2, 11 ], [ 2, 11 ], [ 2, 7, 11 ], [ 5, 11 ], [ 2, 11 ], [ 11, 17 ], [ 2, 11 ], [ 2, 11, 17 ], [ 2, 7, 11 ], [ 5, 11 ], [ 2, 11 ], [ 11, 17 ], [ 2, 11 ], [ 11, 19 ], [ 2, 5, 7, 11 ], [ 2, 7, 11, 17 ], [ 2, 7, 19 ], [ 2, 7 ], [ 2, 7 ], [ 5, 7 ], [ 2, 13 ], [ 2, 13 ], [ 7, 13 ], [ 2, 13 ], [ 2 ], [ 2, 13 ], [ 13 ], [ 2, 7, 13 ], [ 2, 13 ], [ 2, 7, 13 ], [ 2 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 7, 13 ], [ 2 ], [ 13 ], [ 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 7, 13 ], [ 2, 7 ], [ 2, 13 ], [ 2, 13 ], [ 2, 7, 13 ], [ 7, 13 ], [ 2, 7, 13 ], [ 7, 13 ], [ 2, 7, 13 ], [ 7, 13 ], [ 2, 7, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 13 ], [ 13 ], [ 2, 7, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13, 17 ], [ 2, 13 ], [ 2, 13 ], [ 2, 7, 13 ], [ ], [ 2, 13 ], [ 13, 17 ], [ 2, 13 ], [ 2, 13, 17 ], [ 7, 13, 19 ], [ 2, 7, 13 ], [ 13 ], [ 2, 13 ], [ 13, 17 ], [ 2, 13 ], [ 13, 19 ], [ 2, 7, 13 ], [ 2, 7, 13, 17 ], [ 2, 7, 13, 19 ], [ 2, 3, 5 ], [ 2 ], [ 3, 11 ], [ 2, 7 ], [ 2, 13 ], [ 2, 7 ], [ 3, 11 ], [ 2 ], [ 2, 13 ], [ 7 ], [ 2 ], [ 2, 3, 13 ], [ 7, 13 ], [ 7, 13 ], [ 2, 3 ], [ 2, 7 ], [ 2, 3 ], [ 2, 3 ], [ 2 ], [ 3, 11 ], [ 2 ], [ 2, 3 ], [ 2, 7, 11 ], [ 2 ], [ 7 ], [ 2, 11, 13 ], [ 13, 17 ], [ 7, 13 ], [ 2, 3 ], [ 2, 7, 11 ], [ 5, 13 ], [ 11, 13 ], [ 11, 13 ], [ 2 ], [ 2, 5 ], [ 2, 11 ], [ 2, 3, 5 ], [ 2, 3 ], [ 2 ], [ 3, 5 ], [ 2, 3 ], [ 2, 3, 5 ], [ 2, 5, 11 ], [ 2, 3, 11 ], [ 2, 5 ], [ 2, 3, 13 ], [ 2, 13 ], [ 2, 3, 5 ], [ 3 ], [ 2 ], [ 2, 5 ], [ 2, 3 ], [ 2, 3, 11 ], [ 11, 13 ], [ 2, 5 ], [ 2, 3 ], [ 2, 3, 5 ], [ 2, 3, 5, 13 ], [ 2, 11 ], [ 2, 3 ], [ 2, 5, 13 ], [ 2, 11 ], [ 2, 11 ], [ 2, 5 ], [ 2, 3, 11 ], [ 2, 13 ], [ 2, 3, 13 ], [ 2, 3, 5 ], [ 2, 17 ], [ 2, 3 ], [ 5, 11 ], [ 2, 3, 5, 11 ], [ 2, 11 ], [ 2, 13 ], [ 3, 11 ], [ 2, 3 ], [ 2, 3, 5 ], [ 2, 13 ], [ 2, 13, 17 ], [ 2, 3, 13 ], [ 2, 11 ], [ 5, 13 ], [ 2, 3, 17 ], [ 2, 13 ], [ 2, 3, 13 ], [ 3, 13 ], [ 2, 3, 5 ], [ 2, 19 ], [ 2, 11, 17 ], [ 2, 5 ], [ 2, 3 ], [ 3, 5 ], [ 2, 3 ], [ 2, 5, 17 ], [ 13, 19 ], [ 2 ], [ 5, 13 ], [ 5, 11 ], [ 2 ], [ 2, 13 ], [ 2, 3 ], [ 2, 5 ], [ 5 ], [ 3, 5 ], [ 2, 5, 11 ], [ 5, 11, 17 ], [ 2, 5 ], [ 2, 3, 5 ], [ 2, 3, 11 ], [ 2, 5, 7 ], [ 2, 7 ], [ 2, 5, 13 ], [ 2, 7, 13 ], [ 2, 5, 7 ], [ 2, 3 ], [ 2, 7 ], [ 2 ], [ 2, 7 ], [ 2, 13, 17 ], [ 5, 13, 19 ], [ 2, 7, 13 ], [ 3, 13 ], [ 2 ], [ 3, 7 ], [ 2, 3 ], [ 2, 3, 5 ], [ 3, 5, 11 ], [ 3, 13 ], [ 2, 3, 5, 7 ], [ 2, 5 ], [ 2, 5, 7 ], [ 2, 7 ], [ 5, 7 ], [ 3 ], [ 11 ], [ 5, 13 ], [ 2, 5 ], [ 2, 5 ], [ 2, 5, 11 ], [ 2, 5, 11 ], [ 2, 5, 7 ], [ 2, 3, 5 ], [ 5, 7 ], [ 2, 5 ], [ 3, 5 ], [ 5, 11 ], [ 3, 5 ], [ 2, 5, 13 ], [ 2, 5, 7 ], [ 2, 5, 7, 13 ], [ 2, 5, 7 ], [ 5, 7 ], [ 2, 5, 7 ], [ 2, 3, 5, 7 ], [ 2, 3, 11 ], [ 2, 3, 5, 13 ], [ 2, 5 ], [ 2, 7 ], [ 2, 11 ], [ 5, 11, 13 ], [ 2, 7 ], [ 3, 5, 7 ], [ 2, 5, 7 ], [ 5, 7, 11 ], [ 3, 7 ], [ 7, 13 ], [ 3, 5, 7 ], [ 2, 5, 7 ], [ 2 ], [ 2, 5 ], [ 2, 5, 13 ], [ 2, 5, 11 ], [ 2, 3, 5 ], [ 2, 5, 11 ], [ 2, 13 ], [ 2, 3, 5 ], [ 2 ], [ 2, 5, 13 ], [ 2, 5, 7, 11 ], [ 2, 7, 11 ], [ 2, 3, 5 ], [ 3, 11 ], [ 3, 5, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2, 5, 13 ], [ 2, 5, 13 ], [ 2, 5 ], [ 2, 5, 7, 17 ], [ 2, 7 ], [ 5, 11 ], [ 2, 5, 11 ], [ 2, 5, 13 ], [ 2, 5, 17 ], [ 2, 5, 11 ], [ 2, 11 ], [ 2, 13 ], [ 5, 11 ], [ 2, 7 ], [ 2, 5 ], [ 2, 7, 13 ], [ 2, 13, 17 ], [ 3, 5, 11 ], [ 5, 11, 13 ], [ 2, 7, 11 ], [ 3, 5, 11 ], [ 2, 11 ], [ 5, 11, 17 ], [ 2, 5, 13 ], [ 2, 11 ], [ 3, 5, 13 ], [ 3, 17 ], [ 2, 17 ], [ 2, 5, 13 ], [ 2, 13 ], [ 13 ], [ 2, 5 ], [ 2, 7, 19 ], [ 2, 5, 11, 17 ], [ 2, 5, 7, 13 ], [ 3, 5, 13 ], [ 2, 5, 13 ], [ 13, 17 ], [ 2, 3, 13 ], [ 5, 13, 19 ], [ 2, 5, 7 ], [ 2 ], [ 5, 7 ], [ 2, 5, 7 ], [ 2, 5, 17 ], [ 5, 13, 19 ], [ 2, 3, 5, 7 ], [ 2, 5, 7, 17 ], [ 2, 7, 19 ], [ 2, 3, 7 ], [ 2, 3, 5, 13 ], [ 2, 3 ], [ 2, 3, 7 ], [ 3 ], [ 3, 11 ], [ 3, 7, 13 ], [ 3, 7 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2, 11 ], [ 2, 7, 13 ], [ 3, 7 ], [ 7 ], [ 2, 7 ], [ 3 ], [ 7, 11 ], [ 2, 3 ], [ 7, 13 ], [ 7 ], [ 3, 7 ], [ 3, 7, 11 ], [ 3, 13 ], [ 7, 11 ], [ 2, 7 ], [ 3, 7 ], [ 7 ], [ 7, 11 ], [ 2, 3, 7 ], [ 7, 13 ], [ 3, 7 ], [ 2, 3, 7 ], [ 2, 7, 11 ], [ 2, 13 ], [ 2, 3 ], [ 3, 7 ], [ 3, 7, 11 ], [ 3, 7, 13 ], [ 3, 7 ], [ 2, 3 ], [ 11 ], [ 7, 13 ], [ 17 ], [ 2, 3, 7, 11 ], [ 7, 11, 13 ], [ 7, 11 ], [ 3, 7, 11 ], [ 2, 7, 11 ], [ 11, 17 ], [ 2, 3, 7, 13 ], [ 2, 3, 7, 17 ], [ 2, 7, 13 ], [ 7, 13 ], [ 3, 13 ], [ 2, 7, 13 ], [ 7, 13, 17 ], [ 3, 7, 13 ], [ 7, 13, 19 ], [ 3, 7 ], [ 7, 17 ], [ 7, 19 ], [ 3, 5, 11 ], [ 2, 3 ], [ 2, 3 ], [ 3, 13 ], [ 2, 3, 7 ], [ 2, 7 ], [ 2, 3 ], [ 2 ], [ 2, 13 ], [ 2, 3 ], [ 2, 7 ], [ 2 ], [ 2, 3 ], [ ], [ 2, 3 ], [ 2, 13 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 3, 13 ], [ 2, 7 ], [ 3, 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2, 7, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2 ], [ 2, 13 ], [ 2, 3 ], [ 2, 3 ], [ 2, 3 ], [ 2, 3, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2 ], [ 2, 13 ], [ 2, 17 ], [ 2, 3 ], [ 2, 13 ], [ 2, 7 ], [ 2, 3 ], [ 2 ], [ 2, 17 ], [ 2, 3, 13 ], [ 2, 3, 17 ], [ 2, 7, 13 ], [ 2, 3, 13 ], [ 2, 13 ], [ 2, 13, 17 ], [ 2, 3, 13 ], [ 13, 19 ], [ 2, 3, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2, 3, 13 ], [ 2, 3, 5, 11 ], [ 3 ], [ 2, 3, 5 ], [ 2, 5 ], [ 2, 3 ], [ 2, 11 ], [ 2, 5 ], [ 2, 3, 5 ], [ 5 ], [ 2, 5 ], [ 3, 5 ], [ 5, 11 ], [ 2, 3, 5 ], [ 2, 5 ], [ 2, 5 ], [ 2, 3, 5 ], [ 2, 3, 11 ], [ 2, 3, 5 ], [ 2 ], [ 3, 5 ], [ 2, 5 ], [ 5, 11 ], [ 2, 3 ], [ ], [ 2, 3, 5 ], [ 2, 3, 5 ], [ 2, 5, 11 ], [ 2 ], [ 2, 3, 5 ], [ 2, 3, 5 ], [ 3, 11 ], [ 3, 5 ], [ 2, 3 ], [ 2, 3 ], [ 2, 5, 11 ], [ 2, 5 ], [ 2, 5, 17 ], [ 2, 3, 5, 11 ], [ 2, 5, 11 ], [ 2, 11 ], [ 3, 5, 11 ], [ 2, 11 ], [ 5, 11, 17 ], [ 2, 3 ], [ 2, 3, 17 ], [ 2, 5 ], [ 3, 5 ], [ 2, 5 ], [ 17 ], [ 2, 3 ], [ 5, 19 ], [ 2, 3, 5 ], [ 2, 5, 17 ], [ 2, 19 ], [ 3, 11, 13 ], [ 2, 3 ], [ ], [ 3, 11 ], [ 11 ], [ 11, 13 ], [ 2, 3, 5 ], [ 5, 11 ], [ 2, 5, 11 ], [ 3, 5, 11 ], [ 5, 11 ], [ 3, 5, 11 ], [ 5, 11, 13 ], [ 2, 5, 11 ], [ 2, 3, 11 ], [ 2, 3, 11 ], [ 2, 3, 11, 13 ], [ 2, 11 ], [ 3, 11 ], [ 2, 5, 11 ], [ 11 ], [ 3, 11 ], [ 11, 13 ], [ 3, 5 ], [ 2, 3, 11 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 3, 5, 11 ], [ 2, 3, 5, 11 ], [ 3, 11 ], [ 3, 13 ], [ 2, 3, 11 ], [ 2, 3, 11 ], [ 2, 5, 11 ], [ 2, 5, 11, 13 ], [ 2, 5, 11, 17 ], [ 3, 11 ], [ 11, 13 ], [ 2, 11 ], [ 3, 5, 11 ], [ 2, 11 ], [ 11, 17 ], [ 3, 11, 13 ], [ 3, 11, 17 ], [ 2, 11, 13 ], [ 3, 5, 11, 13 ], [ 2, 11, 13 ], [ 11, 13, 17 ], [ 2, 3, 11, 13 ], [ 11, 13, 19 ], [ 2, 5, 11 ], [ 2, 3, 5, 11 ], [ 2, 11, 17 ], [ 2, 19 ], [ 2, 3 ], [ 2, 5 ], [ 3, 13 ], [ 7, 11 ], [ 3, 7, 11 ], [ 3, 7, 13 ], [ 7, 13 ], [ 3 ], [ 11, 13 ], [ 13 ], [ 3, 13 ], [ 7, 13 ], [ ], [ 3, 13 ], [ 11, 13 ], [ 3, 13 ], [ 13 ], [ 7, 13 ], [ 3, 7 ], [ 3, 11, 13 ], [ 3, 13 ], [ 2, 11, 13 ], [ 7, 13 ], [ 3, 7, 13 ], [ 7, 13 ], [ 7, 11, 13 ], [ 3, 7, 13 ], [ 7, 13 ], [ 3, 7, 13 ], [ 3, 13 ], [ 11, 13 ], [ 13 ], [ 3, 13 ], [ 3, 13 ], [ 3, 11, 13 ], [ 3, 13 ], [ 3, 7, 13 ], [ 3, 13 ], [ 11, 13 ], [ 13 ], [ 13, 17 ], [ 3, 11, 13 ], [ 11, 13 ], [ 7, 11, 13 ], [ 3, 11 ], [ 11, 13 ], [ 11, 13, 17 ], [ 3, 13 ], [ 3, 13, 17 ], [ 7, 13 ], [ 3, 13 ], [ 13 ], [ 13, 17 ], [ 3, 13 ], [ 13, 19 ], [ 3, 7, 13 ], [ 7, 13, 17 ], [ 7, 13, 19 ], [ 3, 5, 11 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2 ], [ 2, 7, 13 ], [ 2, 3, 5, 7 ], [ 5, 7 ], [ 2, 5, 7 ], [ 3, 5 ], [ 5, 7 ], [ 2, 3, 5 ], [ 2, 5, 7, 13 ], [ 2, 5, 7 ], [ 2, 3, 7 ], [ 2, 3, 7 ], [ 2, 3, 13 ], [ 2, 7 ], [ 3, 7 ], [ 2, 5, 7 ], [ 7 ], [ 2, 3, 7 ], [ 7, 13 ], [ 2, 3, 5, 7 ], [ 2, 3, 7 ], [ 2, 7 ], [ 2, 13 ], [ 2, 3, 5 ], [ 2, 3, 5, 7 ], [ 3, 7 ], [ 3, 7, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 5 ], [ 2, 5, 7, 13 ], [ 2, 5 ], [ 2, 3, 7 ], [ 2, 7, 13 ], [ 2, 7 ], [ 3, 5, 7 ], [ 2, 7 ], [ ], [ 2, 3, 7, 13 ], [ 2, 3, 7 ], [ 2, 7, 13 ], [ 3, 5, 13 ], [ 2, 7, 13 ], [ 7, 13 ], [ 2, 3, 7, 13 ], [ 7, 13, 19 ], [ 2, 3, 5, 7 ], [ 2, 7 ], [ 2, 7, 19 ], [ 3, 7, 13 ], [ 2, 7, 13 ], [ 2, 5 ], [ 2, 5 ], [ 2, 5 ], [ 2, 3, 5, 7 ], [ 2, 7 ], [ 2, 3, 5 ], [ 2, 3, 5 ], [ 2, 5 ], [ 2, 3, 5 ], [ 5, 7 ], [ 2, 3, 13 ], [ 2, 5, 7, 13 ], [ 2, 3, 5, 7 ], [ 3, 5, 7 ], [ 2, 5, 7 ], [ 2, 5 ], [ 3 ], [ 2, 5, 13 ], [ 2, 5, 7 ], [ 2, 5, 7 ], [ 3, 5 ], [ 3, 5, 13 ], [ 2, 5 ], [ 2, 3 ], [ 2, 5, 13 ], [ 5, 7 ], [ 2, 7 ], [ 2, 3 ], [ 2, 5, 13 ], [ 3, 5, 13 ], [ 2, 5, 7, 17 ], [ 2, 3, 7 ], [ 5 ], [ 3, 5 ], [ 2 ], [ 2, 13 ], [ 2, 3, 7 ], [ 2, 3, 5 ], [ 7, 13 ], [ 13, 17 ], [ 2, 3, 5, 13 ], [ 2 ], [ 2, 5, 13 ], [ 2, 3, 17 ], [ 2, 5, 13 ], [ 2, 3, 13 ], [ 2, 3, 5 ], [ 2, 7, 19 ], [ 5, 17 ], [ 2, 5, 7 ], [ 2, 3 ], [ 2, 3, 5, 7 ], [ 2, 5, 17 ], [ 5, 13, 19 ], [ 2, 5 ], [ 2, 3 ], [ 2, 3 ], [ 2, 7 ], [ 3, 13 ], [ 2, 3, 7 ], [ 2, 5 ], [ 2, 3, 13 ], [ 2, 7, 19 ], [ 2 ], [ 5, 11 ], [ 2, 5, 11 ], [ 2, 7 ], [ 2, 5, 7, 13 ], [ 2, 7, 11 ], [ 5, 11 ], [ 2, 5 ], [ 2, 7 ], [ 3, 7 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2, 3, 5, 7 ], [ 2, 5, 11 ], [ 2, 3, 7, 11 ], [ 5, 7 ], [ 2, 3, 7 ], [ 2, 7 ], [ 2, 3, 5, 7 ], [ 3, 7 ], [ 2, 7 ], [ 2, 5, 7 ], [ 3, 7, 11 ], [ 2, 7, 11 ], [ 2, 5, 7 ], [ 3, 5 ], [ 3, 5 ], [ 2, 7, 11 ], [ 2, 3, 7 ], [ 2, 5, 7 ], [ 7, 11 ], [ 2, 7, 11 ], [ 2, 3, 7, 11 ], [ 2, 7 ], [ 3, 7 ], [ 2, 7, 17 ], [ 2, 3, 7 ], [ 5, 7, 11 ], [ 3, 5, 7, 11 ], [ 2, 11 ], [ 2 ], [ 2, 3, 7 ], [ 2, 3, 5 ], [ 7 ], [ 7, 17 ], [ 2, 3 ], [ 2, 7, 11 ], [ 2, 5, 7 ], [ 2, 3, 7, 17 ], [ 2, 7 ], [ 2, 3, 7 ], [ 2, 3, 5 ], [ 2, 7, 19 ], [ 11, 17 ], [ 2, 5, 7 ], [ 2, 3 ], [ 2, 3, 5, 7 ], [ 2, 5, 17 ], [ 7, 19 ], [ 3, 5 ], [ 2, 5 ], [ 2, 7 ], [ 7, 13 ], [ 2, 7 ], [ 2, 7 ], [ 2, 11 ], [ 2, 7, 11 ], [ 2, 7 ], [ 2, 7, 13 ], [ 2, 7, 13 ], [ 2, 7 ], [ 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2, 7, 11, 13 ], [ 2, 7 ], [ 2 ], [ 2, 13 ], [ 2, 7, 11 ], [ 2, 7 ], [ 2, 7, 13 ], [ 2, 7, 11 ], [ 2, 7, 11 ], [ 2, 7, 11 ], [ 2, 7, 13 ], [ 2, 7, 13 ], [ 2, 7, 17 ], [ 2, 7 ], [ 7, 11 ], [ 2, 7, 11 ], [ 2, 11 ], [ 2, 13 ], [ 2, 7 ], [ 2 ], [ 2, 7, 13 ], [ 2, 7, 13, 17 ], [ 7, 11 ], [ 2, 13 ], [ 2, 7, 11 ], [ 2, 7, 13 ], [ 2, 7, 17 ], [ 2, 7, 13 ], [ 2, 7, 13 ], [ 2 ], [ 2, 7, 19 ], [ 2, 11, 17 ], [ 2, 7 ], [ 2 ], [ 2, 7 ], [ 2, 17 ], [ 7, 13, 19 ], [ 13, 17 ], [ 7, 13 ], [ 2, 11 ], [ 2, 5, 7 ], [ 2, 7 ], [ 2 ], [ 2, 7, 13 ], [ 2, 5, 7 ], [ 2, 5, 7 ], [ 2, 5 ], [ 5, 7 ], [ 2, 5 ], [ 5, 7, 13 ], [ 2, 5, 7 ], [ 2, 7 ], [ 2, 13 ], [ 7 ], [ 2, 5, 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 7, 13 ], [ 5, 7 ], [ 2, 7 ], [ 2, 7 ], [ 2, 13 ], [ 2, 5 ], [ 2, 5, 7 ], [ 2, 7 ], [ 2, 7, 13 ], [ 2, 7 ], [ 2 ], [ 2, 5 ], [ 2, 5, 7, 13 ], [ 2, 5, 17 ], [ 2, 7 ], [ 7, 13 ], [ 2, 7 ], [ 2, 5, 7 ], [ 2, 7 ], [ 2, 17 ], [ 2, 7, 13 ], [ 2, 7, 17 ], [ 2, 7, 13 ], [ 2, 5, 13 ], [ 2, 7, 13 ], [ 2, 7, 13, 17 ], [ 2, 7, 13 ], [ 7, 13, 19 ], [ 2, 5, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2, 13 ], [ 2, 5, 7 ], [ 2, 11 ], [ 2 ], [ 2, 7 ], [ 2 ], [ 2, 3 ], [ 11 ], [ 2, 3 ], [ ], [ 2, 7 ], [ 2, 3, 11 ], [ 2, 3 ], [ 3, 7 ], [ 2, 7 ], [ 2, 7, 11 ], [ 2, 3, 7 ], [ 2, 7 ], [ 3, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2 ], [ 2, 3 ], [ 2, 3 ], [ 2, 3, 11 ], [ 2, 3 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 11 ], [ 2 ], [ 2, 17 ], [ 2, 3, 11 ], [ 11 ], [ 2, 7, 11 ], [ 2, 3, 11 ], [ 2, 11 ], [ 2, 11, 17 ], [ 2, 3 ], [ 2, 3, 17 ], [ 2, 7 ], [ 2, 3 ], [ 2 ], [ 2, 17 ], [ 2, 3 ], [ 19 ], [ 2, 3, 7 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2, 5 ], [ 2, 11, 13 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11 ], [ 11 ], [ 2, 11 ], [ 11, 13 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11, 13 ], [ 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11, 13 ], [ ], [ 2, 11 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 13 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 11, 17 ], [ 2, 11, 13 ], [ 2, 11 ], [ 11, 13 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 11, 17 ], [ 2, 11, 13 ], [ 2, 11, 17 ], [ 2, 11, 13 ], [ 2, 11, 13 ], [ 2, 11, 13 ], [ 2, 11, 13, 17 ], [ 2, 11, 13 ], [ 11, 13, 19 ], [ 2, 11 ], [ 2, 11, 17 ], [ 2, 19 ], [ 2, 3 ], [ 2, 11 ], [ 2, 11 ], [ 2, 5, 7, 13 ], [ 2, 3, 13 ], [ 2, 5, 7, 13 ], [ 2, 5 ], [ 2, 5, 13 ], [ 5, 11, 13 ], [ 2, 5, 13 ], [ 5, 13 ], [ 2, 5, 7, 13 ], [ 2, 11, 13 ], [ 2, 13 ], [ 7, 13 ], [ 2, 5, 7, 13 ], [ 2, 7, 11, 13 ], [ 2, 7, 13 ], [ 2, 7, 13 ], [ 5, 7, 13 ], [ 2, 13 ], [ 2, 11, 13 ], [ 2, 13 ], [ 2, 5, 13 ], [ 2, 5, 13 ], [ 2, 11, 13 ], [ 2, 13 ], [ 2, 7, 13 ], [ 2, 13 ], [ 2, 5, 11, 13 ], [ 2, 5, 13 ], [ 2, 5, 13 ], [ 2, 11, 13 ], [ 11, 13 ], [ 2, 7, 11, 13 ], [ 2, 5, 11 ], [ 2, 11, 13 ], [ 2, 11, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 7, 13 ], [ 2, 5, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 13, 19 ], [ 2, 5, 7, 13 ], [ 2, 7, 13 ], [ 2, 7, 13, 19 ], [ 2, 11, 13 ], [ 2, 11, 13 ], [ 2, 11 ], [ 2, 3 ], [ 2, 3, 5 ], [ 2, 5, 11 ], [ 2, 3, 11 ], [ 2, 5, 7 ], [ 2, 3, 13 ], [ 2, 7, 13 ], [ 2, 3, 5, 7 ], [ 3, 7 ], [ 2, 5 ], [ 2, 3, 11 ], [ 2, 11, 13 ], [ 2, 5, 7 ], [ 2, 3, 5 ], [ 2, 3, 5, 13 ], [ 2, 11 ], [ 2, 5, 13 ], [ 2, 7, 11 ], [ 2, 7, 11 ], [ 2, 3, 11 ], [ 2, 13 ], [ 2, 3, 13 ], [ 2, 7 ], [ 2, 3, 7 ], [ 5, 11 ], [ 2, 3, 5, 11 ], [ 2, 13 ], [ 2, 3, 7 ], [ 2, 3, 5 ], [ 2, 7, 13 ], [ 2, 13 ], [ 2, 3, 13 ], [ 2, 11 ], [ 2, 5, 13 ], [ 2, 3 ], [ 2, 3, 13 ], [ 2, 3, 5 ], [ 2, 7, 19 ], [ 2, 11 ], [ 2, 5, 7 ], [ 2, 3 ], [ 2, 3, 5, 7 ], [ 2, 5 ], [ 13, 19 ], [ 2, 5, 7 ], [ 2 ], [ 3, 5, 7 ], [ 3, 7 ], [ 5, 13 ], [ 2, 3, 7 ], [ 2, 3, 5 ], [ 2, 11 ], [ 2, 3 ], [ 2, 5, 11 ], [ 2, 3, 5, 11 ], [ 5, 7 ], [ 2, 3, 13 ], [ 3, 5, 7 ], [ 2, 5, 7, 13 ], [ 2, 3, 5, 7 ], [ 3, 5, 7 ], [ 2, 5 ], [ 3, 11 ], [ 2, 5, 11, 13 ], [ 2, 5, 7 ], [ 3, 5 ], [ 3, 5, 13 ], [ 2, 5, 11 ], [ 2, 5, 13 ], [ 5, 7, 11 ], [ 2, 7, 11 ], [ 2, 3, 11 ], [ 2, 5, 13 ], [ 3, 5, 13 ], [ 2, 5, 7, 17 ], [ 2, 3, 7 ], [ 5, 11 ], [ 3, 5, 11 ], [ 2, 13 ], [ 2, 3, 7 ], [ 2, 3, 5 ], [ 7, 13 ], [ 13, 17 ], [ 2, 3, 5, 13 ], [ 2, 11 ], [ 2, 5, 13 ], [ 2, 3, 17 ], [ 2, 3, 13 ], [ 2, 3, 5 ], [ 2, 7 ], [ 5, 11, 17 ], [ 2, 5, 7 ], [ 2, 3 ], [ 2, 3, 5, 7 ], [ 2, 5, 17 ], [ 5, 13 ], [ 2, 3, 11 ], [ 2, 13 ], [ 2 ], [ 2, 19 ], [ 2, 5, 11 ], [ 5, 11 ], [ 2, 11, 13 ], [ 2, 5, 11, 13 ], [ 2, 5, 11 ], [ 5, 11 ], [ 2, 5, 11 ], [ 11 ], [ 2, 5, 11, 13 ], [ 2, 5, 11 ], [ 5, 11 ], [ 5, 11, 13 ], [ 2, 5, 11 ], [ 2, 5, 11, 13 ], [ 5, 11 ], [ 2, 11 ], [ 2, 11 ], [ 2, 5, 11, 13 ], [ 5, 13 ], [ 2, 5, 11, 17 ], [ 2, 11 ], [ 5, 11 ], [ 11, 17 ], [ 5, 11 ], [ 2, 11, 13 ], [ 2, 11 ], [ 2, 5, 11 ], [ 11, 13 ], [ 11, 13, 17 ], [ 2, 5, 11, 13 ], [ 2, 11 ], [ 2, 5, 11, 13 ], [ 2, 11, 17 ], [ 2, 11, 13 ], [ 2, 5, 11 ], [ 2, 19 ], [ 5, 11, 17 ], [ 2, 5, 11 ], [ 2, 11 ], [ 2, 5 ], [ 2, 5, 11, 17 ], [ 5, 11, 13, 19 ], [ 2, 11, 13 ], [ 2, 5 ], [ 7, 13 ], [ 2, 5, 13 ], [ 5, 7 ], [ 2, 5, 13 ], [ 2, 5, 7, 11 ], [ 2, 3, 11, 13 ], [ 2, 7, 11, 13 ], [ 2, 3, 5, 7, 11 ], [ 3, 7, 11 ], [ 2, 5, 11 ], [ 2, 3, 11 ], [ 11, 13 ], [ 2, 5, 7, 11 ], [ 2, 3, 5, 11 ], [ 2, 3, 5, 11, 13 ], [ 2, 11 ], [ 2, 5, 11, 13 ], [ 2, 7, 11 ], [ 2, 7, 11 ], [ 2, 3, 11 ], [ 2, 11, 13 ], [ 2, 3, 13 ], [ 2, 7, 11, 17 ], [ 2, 3, 7, 11 ], [ 5, 11 ], [ 2, 3, 5, 11 ], [ 2, 11, 13 ], [ 2, 3, 7, 11 ], [ 2, 3, 5, 11 ], [ 2, 7, 11, 13 ], [ 2, 11, 13, 17 ], [ 2, 3, 11, 13 ], [ 2, 11 ], [ 5, 11, 13 ], [ 2, 3, 11, 17 ], [ 2, 3, 11, 13 ], [ 2, 3, 5, 11 ], [ 2, 7, 19 ], [ 2, 11, 17 ], [ 2, 5, 7, 11 ], [ 2, 3, 11 ], [ 3, 5, 7 ], [ 2, 5, 11, 17 ], [ 11, 13, 19 ], [ 2, 7, 11 ], [ 2, 7, 13 ], [ 5, 7, 13 ], [ 5, 7 ], [ 5, 7 ], [ 2, 5, 7 ], [ 7, 11 ], [ 5, 7, 11, 13 ], [ 5, 7 ], [ 5 ], [ 5, 13 ], [ 2, 5, 7, 11 ], [ 5, 7, 13 ], [ 5, 7, 11 ], [ 7, 11 ], [ 7, 11 ], [ 2, 5, 7, 13 ], [ 5, 7, 13 ], [ 5, 7, 17 ], [ 2, 7 ], [ 5, 7, 11 ], [ 5, 7, 11 ], [ 2, 13 ], [ 7 ], [ 2, 5 ], [ 7, 13 ], [ 7, 13, 17 ], [ 5, 13 ], [ 2, 7, 11 ], [ 5, 7, 13 ], [ 2, 7, 17 ], [ 7, 13 ], [ 2, 5 ], [ 7, 19 ], [ 5, 11, 17 ], [ 5, 7 ], [ 2 ], [ 5, 7 ], [ 5, 17 ], [ 5, 7, 13, 19 ], [ 2, 7, 11 ], [ 5, 11 ], [ 2, 5 ], [ 5, 11 ], [ 2, 5 ], [ 2, 5 ], [ 2, 5, 7 ], [ 2, 11 ], [ 2, 5 ], [ 5, 7 ], [ 2, 5, 7 ], [ 2, 5, 7, 11 ], [ 2, 7 ], [ 2, 7 ], [ 2, 5, 7 ], [ 2, 5, 11 ], [ 2 ], [ 2, 5 ], [ 2, 11 ], [ 2, 5 ], [ 2, 7 ], [ 2 ], [ 2, 5 ], [ 2, 5, 17 ], [ 2, 5, 11 ], [ 2, 7, 11 ], [ 2, 5, 11 ], [ 2, 11 ], [ 2, 5, 11, 17 ], [ 2 ], [ 2, 17 ], [ 2, 5, 7 ], [ 2, 5 ], [ 2, 5 ], [ 2, 17 ], [ 2 ], [ 5, 19 ], [ 2, 5, 7 ], [ 2, 5, 7, 17 ], [ 2, 7, 19 ], [ 2, 3, 5 ], [ 5, 11 ], [ 2, 3, 5 ], [ 5, 13 ], [ 5 ], [ 3, 11 ], [ 3, 5, 13 ], [ 3, 5 ], [ 5 ], [ 5, 11 ], [ 2, 3 ], [ 13 ], [ 3, 5 ], [ 5, 13 ], [ 2, 5, 11 ], [ 2, 13 ], [ 2, 3, 5 ], [ 3, 11 ], [ 3, 5, 13 ], [ 3 ], [ 2, 3 ], [ 5, 13 ], [ 5, 17 ], [ 5, 11, 13 ], [ 11 ], [ 3, 5, 11 ], [ 2, 11 ], [ 5, 11, 17 ], [ 2, 3, 13 ], [ 2, 3, 17 ], [ 5, 13 ], [ 3, 5, 13 ], [ 2, 5, 13 ], [ 13, 17 ], [ 3, 13 ], [ 5, 13, 19 ], [ 3, 5 ], [ 5, 17 ], [ 19 ], [ 5, 7, 11, 13 ], [ 2, 5, 7 ], [ 5, 11 ], [ 5, 11, 13 ], [ 5, 7, 11 ], [ 11 ], [ 5, 11, 13 ], [ 5, 7, 11 ], [ 5, 7, 11 ], [ 5, 7, 11 ], [ 7, 11 ], [ 7, 11, 13 ], [ 5, 7 ], [ 5, 11 ], [ 11, 13 ], [ 5, 11 ], [ 11 ], [ 5, 13 ], [ 7, 11 ], [ 11 ], [ 5, 11, 13 ], [ 5, 11, 17 ], [ 5, 11, 13 ], [ 7, 11 ], [ 5, 11 ], [ 11 ], [ 5, 11, 17 ], [ 11, 13 ], [ 11, 17 ], [ 5, 7, 11, 13 ], [ 5, 11, 13 ], [ 5, 11, 13 ], [ 11, 13, 17 ], [ 11, 13 ], [ 5, 11, 13, 19 ], [ 5, 7, 11 ], [ 5, 7, 11, 17 ], [ 7, 19 ], [ 5, 13 ], [ 2, 5 ], [ 2, 3, 11 ], [ 2, 3, 5, 13 ], [ 3, 5 ], [ 2, 5 ], [ 2, 5, 11 ], [ 2, 3 ], [ 2, 13 ], [ 3, 5 ], [ 2, 5, 11 ], [ 2, 13 ], [ 2, 3, 5 ], [ 2, 3, 11 ], [ 2, 3, 5, 13 ], [ 2, 3 ], [ 2, 3 ], [ 2, 5, 13 ], [ 2, 5 ], [ 5, 11, 13 ], [ 2, 11 ], [ 2, 3, 5, 11 ], [ 2, 11 ], [ 2, 5, 11 ], [ 2, 3, 13 ], [ 2, 3 ], [ 2, 5, 13 ], [ 2, 3, 5, 13 ], [ 2, 5, 13 ], [ 2, 13 ], [ 2, 3, 13 ], [ 5, 13, 19 ], [ 2, 3, 5 ], [ 2, 5 ], [ 2, 19 ], [ 5, 7, 11 ], [ 5, 11 ], [ 2, 5, 7, 13 ], [ 2, 7, 13 ], [ 2, 3, 7, 13 ], [ 3, 7, 13 ], [ 2, 11, 13 ], [ 2, 5, 13 ], [ 2, 3, 11, 13 ], [ 11, 13 ], [ 5, 7, 13 ], [ 2, 5, 7, 13 ], [ 5, 7, 11, 13 ], [ 7, 13 ], [ 7, 13 ], [ 5, 7, 13 ], [ 2, 7, 13 ], [ 2, 3, 13 ], [ 2, 11, 13 ], [ 2, 5, 11, 13 ], [ 2, 13 ], [ 2, 5, 13 ], [ 2, 13 ], [ 2, 7, 11, 13 ], [ 2, 7, 11, 13 ], [ 11, 13 ], [ 5, 13 ], [ 2, 7, 13 ], [ 2, 13 ], [ 2, 3, 11, 13 ], [ 2, 13 ], [ 2, 3, 13 ], [ 2, 7, 13, 17 ], [ 2, 3, 7, 13 ], [ 2, 5, 13 ], [ 2, 5, 13, 17 ], [ 2, 3, 11 ], [ 2, 13 ], [ 2, 3, 7, 13 ], [ 2, 7, 13 ], [ 2, 13, 17 ], [ 5, 11, 13 ], [ 2, 7, 11, 13 ], [ 5, 11 ], [ 2, 11, 13 ], [ 5, 11, 13, 17 ], [ 2, 3, 13 ], [ 2, 11, 13 ], [ 13, 17 ], [ 2, 3, 13, 17 ], [ 2, 3, 13 ], [ 2, 3, 13 ], [ 2, 7, 13, 19 ], [ 2, 11, 13, 17 ], [ 2, 5, 7, 13 ], [ 5, 13 ], [ 2, 5, 13 ], [ 13, 17 ], [ 2, 13 ], [ 5, 13, 19 ], [ 2, 7, 13 ], [ 2, 3, 13 ], [ 3, 7, 13 ], [ 2, 13, 17 ], [ 13, 19 ], [ 2, 5, 7, 13 ], [ 2, 5, 7, 13, 17 ], [ 2, 7, 13, 19 ], [ 2, 5, 7, 11 ], [ 2, 7, 11 ], [ 2, 5, 13 ], [ 5, 7 ], [ 2, 5, 7 ], [ 5, 7, 11 ], [ 2, 7 ], [ 7, 13 ], [ 2, 5, 7 ], [ 2, 5, 7, 11 ], [ 2, 13 ], [ 2, 5 ], [ 7, 11 ], [ 5, 7, 13 ], [ 2, 7 ], [ 2 ], [ 2, 5, 7, 13 ], [ 2, 5, 17 ], [ 2, 5, 7, 11, 13 ], [ 2, 7, 11 ], [ 5, 7, 11 ], [ 2, 7, 11 ], [ 5, 11, 17 ], [ 2, 7, 17 ], [ 2, 5, 7, 13 ], [ 5, 13 ], [ 2, 5, 7, 13 ], [ 7, 13, 17 ], [ 2, 7, 13 ], [ 5, 7, 13 ], [ 2, 5, 7 ], [ 2, 5, 7, 17 ], [ 2, 7 ], [ 2, 5, 13 ], [ 5, 7, 11 ], [ 2, 7, 11 ], [ 5, 7, 11 ], [ 2, 7 ], [ 2, 5, 11 ], [ 5, 11, 13 ], [ 7, 13, 17 ], [ 2, 5 ], [ 2, 7 ], [ 2, 5, 7, 13 ], [ 7, 13 ], [ 7, 11, 13 ], [ 2, 7, 11, 13 ], [ 2, 5, 7, 13 ], [ 5, 13 ], [ 2, 7, 11, 13 ], [ 2, 5, 7, 13 ], [ 7, 11, 13 ], [ 2, 7, 11, 13 ], [ 2, 7, 11, 13 ], [ 2, 7, 13 ], [ 7, 13 ], [ 2, 7, 13, 17 ], [ 2, 7, 13 ], [ 5, 7, 11 ], [ 2, 13 ], [ 2, 7, 13 ], [ 7, 13 ], [ 7, 13, 17 ], [ 2, 7, 11, 13 ], [ 5, 11, 13 ], [ 2, 13 ], [ 2, 7, 11, 13 ], [ 2, 7, 13, 17 ], [ 2, 7, 13 ], [ 2, 5, 13 ], [ 2, 7, 13, 19 ], [ 11, 13, 17 ], [ 2, 7, 19 ], [ 2, 13 ], [ 2, 5, 7, 13 ], [ 2, 5, 13, 17 ], [ 7, 13, 19 ], [ 2, 5, 11 ], [ 2, 13 ], [ 3, 5, 7 ], [ 3, 7, 11 ], [ 2, 5, 7, 11, 13 ], [ 2, 5, 7 ], [ 3, 5, 13 ], [ 2, 5, 7, 11 ], [ 2, 5, 7, 13 ], [ 5, 7, 11 ], [ 2, 7, 11 ], [ 2, 3, 7, 11 ], [ 2, 5, 7, 13 ], [ 3, 5, 7, 13 ], [ 2, 5, 7, 17 ], [ 2, 3, 7 ], [ 3, 5, 7, 11 ], [ 2, 13 ], [ 2, 3, 7 ], [ 7, 13 ], [ 7, 13, 17 ], [ 2, 3, 5, 13 ], [ 2, 7, 11 ], [ 2, 3, 7, 17 ], [ 2, 3, 7, 13 ], [ 2, 3, 5 ], [ 2, 7, 19 ], [ 5, 11, 17 ], [ 2, 3 ], [ 2, 3, 5, 7 ], [ 2, 5, 17 ], [ 5, 7, 13, 19 ], [ 2, 7, 11 ], [ 2, 5 ], [ 2, 7, 17 ], [ 2, 5 ], [ 3, 7, 11 ], [ 7, 11, 13 ], [ 2, 3, 11 ], [ 5, 7 ], [ 3, 5, 13 ], [ 7, 11 ], [ 5, 7, 13 ], [ 7, 11 ], [ 7, 11 ], [ 3, 7, 11 ], [ 7, 13 ], [ 3, 7, 13 ], [ 7, 17 ], [ 3, 7 ], [ 3, 5, 7, 11 ], [ 13 ], [ 3, 7 ], [ 7, 13 ], [ 7, 13, 17 ], [ 3, 13 ], [ 7, 11 ], [ 3, 7, 17 ], [ 3, 7, 13 ], [ 3, 5 ], [ 7, 19 ], [ 11, 17 ], [ 3 ], [ 3, 5, 7 ], [ 5, 17 ], [ 7, 13, 19 ], [ 2, 5, 11, 17 ], [ 7 ], [ 2, 5 ], [ 2, 3, 11 ], [ 2, 3, 11, 13 ], [ 2, 7, 11 ], [ 7, 11 ], [ 2, 3, 7, 11 ], [ 7, 11, 13 ], [ 2, 3, 7 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 3, 11 ], [ 3, 11 ], [ 3, 13 ], [ 2, 3, 7, 11 ], [ 2, 3, 11 ], [ 2, 11, 13 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 7, 11 ], [ 3, 11 ], [ 2, 11 ], [ 11 ], [ 2, 3, 11 ], [ 3, 11, 13 ], [ 2, 11, 13 ], [ 11, 13 ], [ 2, 3, 11, 13 ], [ 11, 13, 19 ], [ 2, 7, 11 ], [ 2, 7, 19 ], [ 2 ], [ 2, 5, 13 ], [ 11, 13 ], [ 2, 3, 13 ], [ 13 ], [ 2, 3, 5, 13 ], [ 2, 11, 13 ], [ 2, 13 ], [ 2, 3, 5, 13 ], [ 3, 11, 13 ], [ 3, 13 ], [ 2, 3, 13 ], [ 2, 3, 13 ], [ 2, 5, 13 ], [ 2, 5, 13, 17 ], [ 2, 11, 13 ], [ 2, 11, 13 ], [ 3, 5, 11 ], [ 2, 11, 13 ], [ 11, 13, 17 ], [ 2, 3, 13, 17 ], [ 3, 5, 13 ], [ 2, 13 ], [ 13, 17 ], [ 2, 3, 13 ], [ 13 ], [ 2, 13, 17 ], [ 2, 13 ], [ 11, 13 ], [ 7, 11 ], [ 3, 11, 13 ], [ 2, 11 ], [ 11, 13 ], [ 7, 11 ], [ 7, 11 ], [ 2, 11, 13 ], [ 3, 13 ], [ 7, 11, 17 ], [ 2, 3, 7, 11 ], [ 3, 11 ], [ 2, 11, 13 ], [ 3, 7, 11 ], [ 7, 11, 13 ], [ 11, 13, 17 ], [ 2, 11 ], [ 2, 3, 11, 17 ], [ 3, 11, 13 ], [ 2, 3, 11 ], [ 7, 19 ], [ 11, 17 ], [ 2, 3, 11 ], [ 3, 7 ], [ 11, 17 ], [ 11, 13, 19 ], [ 2, 13, 17 ], [ 2, 7, 13 ], [ 2, 11, 17 ], [ 2, 7, 13 ], [ 5, 7 ], [ 2, 5, 7, 11, 13 ], [ 5, 11, 13 ], [ 2, 11, 13 ], [ 2, 5, 11, 13 ], [ 7, 11, 13 ], [ 2, 7, 11, 13 ], [ 2, 11, 13 ], [ 13 ], [ 2, 7, 11, 13, 17 ], [ 7, 11, 13 ], [ 5, 11 ], [ 2, 11, 13 ], [ 2, 7, 11, 13 ], [ 7, 11, 13 ], [ 11, 13, 17 ], [ 2, 5, 7, 13 ], [ 2, 11, 13 ], [ 11, 13, 17 ], [ 2, 11, 13 ], [ 2, 5, 11, 13 ], [ 2, 7, 13, 19 ], [ 11, 13, 17 ], [ 2, 11, 13, 19 ], [ 2, 11, 13 ], [ 5, 7, 13 ], [ 2, 5, 11, 13, 17 ], [ 11, 13, 19 ], [ 5, 7, 11 ], [ 2, 7 ], [ 7, 13 ], [ 2, 5, 7 ], [ 2, 5, 7, 11 ], [ 2, 13 ], [ 2, 5 ], [ 5, 7, 13 ], [ 2, 7 ], [ 2 ], [ 2, 5, 7, 13 ], [ 2, 5 ], [ 2, 7, 11 ], [ 5, 7, 11 ], [ 2, 7, 11 ], [ 5, 11 ], [ 2, 7 ], [ 5, 13 ], [ 2, 5, 7, 13 ], [ 7, 13 ], [ 2, 7, 13 ], [ 5, 7, 13, 19 ], [ 2, 5, 7 ], [ 2, 7, 19 ], [ 2, 7, 11 ], [ 7, 11, 13 ], [ 5, 7 ], [ 2, 7, 11 ], [ 2, 11, 13 ], [ 2, 5, 11 ], [ 7, 13 ], [ 7, 11 ], [ 2, 11 ], [ 5, 7, 11, 13 ], [ 5, 11, 17 ], [ 7, 11 ], [ 5, 7, 11 ], [ 2, 7, 11 ], [ 11, 17 ], [ 2, 7, 11, 17 ], [ 5, 11, 13 ], [ 2, 7, 11, 13 ], [ 7, 11, 13, 17 ], [ 7, 11, 13 ], [ 7, 11, 13, 19 ], [ 7, 11, 17 ], [ 7, 19 ], [ 7, 13 ], [ 2, 5, 7, 11 ], [ 2, 7, 13 ], [ 3, 7 ], [ 2, 7, 11 ], [ 2, 13 ], [ 2, 3 ], [ 2, 3, 7, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 7, 13 ], [ 2, 17 ], [ 2, 7, 11 ], [ 2, 3, 7, 11 ], [ 2, 7, 11 ], [ 2, 11, 17 ], [ 2, 3, 7, 17 ], [ 2, 3, 13 ], [ 2, 7, 13 ], [ 2, 7, 13, 17 ], [ 2, 3, 7, 13 ], [ 7, 13 ], [ 2, 7, 17 ], [ 2, 7 ], [ 7, 13 ], [ 2, 7, 11, 13 ], [ 2, 13 ], [ 2, 13 ], [ 7, 13 ], [ 7, 13 ], [ 2, 13 ], [ 7, 13 ], [ 13, 17 ], [ 7, 13, 17 ], [ 7, 11, 13 ], [ 7, 11 ], [ 2, 7, 11, 13 ], [ 11, 13, 17 ], [ 2, 7, 13, 17 ], [ 13 ], [ 2, 7, 13 ], [ 7, 13, 17 ], [ 7, 13 ], [ 7, 13, 19 ], [ 7, 13, 17 ], [ 7, 13, 19 ], [ 2, 5, 7 ], [ 2, 5, 7 ], [ 2, 13 ], [ 2, 3, 5 ], [ 3, 5, 7, 13 ], [ 2, 3, 7 ], [ 2, 3 ], [ 2, 5, 7, 13 ], [ 2, 5, 17 ], [ 2, 7 ], [ 3, 5, 7 ], [ 2, 7 ], [ 5, 17 ], [ 3, 7, 17 ], [ 3, 5, 13 ], [ 2, 5, 7, 13 ], [ 7, 13, 17 ], [ 2, 3, 7, 13 ], [ 5, 7, 13, 19 ], [ 2, 5, 7, 17 ], [ 2, 7, 19 ], [ 7, 11, 13 ], [ 2, 5, 7, 11 ], [ 5, 7, 11, 13 ], [ 5, 7, 11, 13 ], [ 2, 5, 7 ], [ 2, 5, 11, 13 ], [ 5, 13 ], [ 11, 13 ], [ 2, 5, 13 ], [ 3, 5, 13 ], [ 5, 13, 17 ], [ 3, 5, 11 ], [ 2, 13 ], [ 3, 13 ], [ 13, 17 ], [ 2, 11, 13 ], [ 2, 3, 13, 17 ], [ 3, 13 ], [ 2, 3, 5, 13 ], [ 13, 19 ], [ 5, 11, 13, 17 ], [ 2, 3, 13 ], [ 5, 13, 17 ], [ 5, 13, 19 ], [ 2, 5, 11, 13 ], [ 2, 7, 11 ], [ 2, 11, 13 ], [ 2, 13 ], [ 2, 7, 11, 17 ], [ 2, 5, 11 ], [ 2, 11, 13 ], [ 2, 7, 11 ], [ 2, 11, 13, 17 ], [ 2, 11 ], [ 2, 11, 17 ], [ 2, 11, 13 ], [ 2, 5, 11 ], [ 2, 7 ], [ 2, 11, 17 ], [ 2, 11 ], [ 2, 5, 11, 17 ], [ 11, 13 ], [ 2, 7, 11 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13 ], [ 2, 13, 17 ], [ 2, 11, 13 ], [ 2, 11 ], [ 2, 11, 13 ], [ 2, 11, 13, 17 ], [ 2, 13, 17 ], [ 2, 13 ], [ 2, 13, 17 ], [ 2, 13 ], [ 13, 19 ], [ 2, 13, 17 ], [ 2, 13, 19 ], [ 2, 3, 5, 13 ], [ 2, 3 ], [ 2, 3 ], [ 2, 5, 13 ], [ 2, 5, 17 ], [ 2, 11 ], [ 2, 3, 5, 11 ], [ 2, 11 ], [ 2, 5, 11, 17 ], [ 2, 3, 17 ], [ 2, 5, 13 ], [ 2, 13, 17 ], [ 2, 3, 13 ], [ 5, 13, 19 ], [ 2, 5, 17 ], [ 2, 19 ], [ 2, 5, 11 ], [ 2, 13 ], [ 2, 7 ], [ 2, 7, 11, 13 ], [ 2, 5, 13 ], [ 5, 13 ], [ 2, 5, 7, 13, 17 ], [ 5, 11 ], [ 2, 7, 13 ], [ 13, 17 ], [ 2, 11, 13 ], [ 2, 13, 17 ], [ 2, 13 ], [ 2, 7, 13, 19 ], [ 5, 11, 13, 17 ], [ 2, 13 ], [ 2, 5, 13, 17 ], [ 5, 13, 19 ], [ 2, 3, 5, 13 ], [ 2, 7, 11, 13 ], [ 7, 13 ], [ 2, 7, 11, 17 ], [ 7, 11 ], [ 2, 7, 11 ], [ 7, 11, 13, 17 ], [ 2, 7, 11 ], [ 2, 7, 11, 17 ], [ 2, 7, 11, 13 ], [ 2, 7, 19 ], [ 11, 17 ], [ 2, 5, 7, 11, 13, 19 ], [ 2, 11 ], [ 2, 11, 17 ], [ 7, 11, 13, 19 ], [ 2, 5 ], [ 2, 5, 17 ], [ 3, 7, 13 ], [ 2, 3, 13 ], [ 5, 13, 17 ], [ 3, 5 ], [ 2, 13 ], [ 13, 17 ], [ 2, 3, 13, 17 ], [ 2, 13 ], [ 13, 17 ], [ 3, 13 ], [ 13, 19 ], [ 7, 13, 17 ], [ 7, 13, 19 ], [ 2, 3 ], [ 2, 17 ], [ 3, 7, 11 ], [ 2, 7, 11 ], [ 11, 17 ], [ 2, 3, 7, 17 ], [ 2, 7, 13 ], [ 7, 13, 17 ], [ 2, 3, 7, 13 ], [ 7, 13, 19 ], [ 2, 7, 17 ], [ 2, 7, 19 ], [ 2, 3, 5, 13 ], [ 2, 17 ], [ 2, 3, 11 ], [ 2, 11 ], [ 2, 11, 17 ], [ 2, 3, 17 ], [ 2, 13 ], [ 2, 13, 17 ], [ 2, 3, 13 ], [ 13, 19 ], [ 2, 17 ], [ 2, 19 ], [ 2, 7, 13, 17 ], [ 2, 5, 11 ], [ 2, 13, 17 ], [ 2, 11, 13 ], [ 2, 13, 17 ], [ 2, 13 ], [ 2, 7, 13, 19 ], [ 2, 11, 13, 17 ], [ 2, 5, 13, 17 ], [ 13, 19 ], [ 5, 7, 11, 17 ], [ 7, 13, 17 ], [ 2, 7, 11, 17 ], [ 2, 7, 17 ], [ 2, 7, 13, 17 ], [ 2, 7, 17, 19 ], [ 11, 17 ], [ 2, 5, 17 ], [ 7, 13, 17, 19 ], [ 3, 5, 7, 17 ], [ 5, 11, 17 ], [ 2, 11, 17 ], [ 5, 11, 17 ], [ 2, 17 ], [ 13, 17 ], [ 2, 13, 17 ], [ 5, 13, 17, 19 ], [ 2, 17, 19 ], [ 11, 17 ], [ 2, 11 ], [ 2, 3, 11, 17 ], [ 3, 11 ], [ 7, 19 ], [ 5, 11, 17 ], [ 5, 11, 19 ], [ 2, 11, 13, 17 ], [ 2, 13, 17 ], [ 13, 17 ], [ 7, 13, 17, 19 ], [ 11, 13, 17 ], [ 13, 17, 19 ], [ 2, 11, 17 ], [ 2, 11, 17 ], [ 2, 11, 13 ], [ 11, 13, 19 ], [ 2, 7, 19 ], [ 2, 11, 17 ], [ 11, 13, 17 ], [ 11, 13, 17, 19 ], [ 17, 19 ], [ 2, 5, 17, 19 ], [ 2, 3, 13, 17 ], [ 13, 17, 19 ], [ 2, 7, 17, 19 ], [ 2, 7, 13, 19 ], [ 13, 19 ], [ 7, 13, 19 ]]; ht_4_col := [ 5, -1, -1, -1, -1, -1, 7, -1, -1, 7, -1, -1, -1, 17, -1, 6, 7, -1, 11, 13, -1, 5, -1, -1, 5, 11, -1, 7, 5, 7, -1, 11, 13, 5, 35, 10, -1, 55, 10, 65, 35, 14, 7, 11, 13, 14, 61, 13, -1, 35, 77, 14, 91, 35, -1, 14, 18, 29, 35, 5, -1, -1, 19, -1, 55, 65, 85, 14, 143, 77, 55, 22, 187, 13, 22, 91, 65, 13, 221, 41, 247, 57, 83, 119, 133, -1, 15, -1, 21, 6, 13, 3, 10, -1, -1, -1, -1, -1, -1, -1, -1, 5, -1, -1, -1, -1, -1, -1, -1, -1, 4, 5, 12, 14, 15, 16, 13, 7, 10, 14, 6, 22, 26, 15, 35, 10, 11, 55, 10, 65, 35, 16, 7, 11, 39, 14, 7, 35, 77, 21, 91, 35, 7, 22, 26, 17, 21, 5, 13, 13, 21, 6, 55, 65, 85, 88, 143, 77, 55, 22, 187, 26, 48, 91, 65, 26, 221, 39, 247, 105, 119, 133, -1, 13, -1, 5, 4, 7, -1, -1, -1, -1, -1, -1, -1, 21, -1, 19, 7, -1, -1, 7, -1, 11, 13, -1, -1, 7, -1, -1, -1, -1, 7, 8, -1, 14, -1, 19, 18, -1, 7, -1, -1, -1, -1, -1, 14, 7, 11, 13, 17, -1, 14, 77, 14, 91, -1, -1, 11, 25, -1, -1, 11, 19, 7, -1, 26, 26, 18, 31, 143, 77, 55, 22, 187, 13, 13, 26, 91, 13, 23, 221, 13, 247, 27, 119, 133, 7, 8, 20, 19, 14, -1, -1, -1, -1, 17, 9, -1, -1, -1, 8, 35, -1, -1, -1, -1, -1, 11, -1, 5, -1, -1, -1, -1, 11, -1, 7, 9, 19, -1, 22, 26, 8, -1, 20, 9, -1, 11, 8, 13, 7, 24, -1, 39, 14, 9, 20, 77, 14, 91, 35, 18, 22, 26, 17, -1, -1, 20, -1, -1, 22, 11, 20, 17, 63, 143, 77, 45, 22, 187, 49, 34, 91, 52, 53, 221, -1, 247, 27, 119, 133, 10, 14, -1, -1, 23, 12, -1, -1, -1, 7, -1, -1, 8, -1, -1, 4, -1, -1, 9, 11, 13, 8, 6, -1, 4, 4, 19, 13, 7, -1, -1, 4, 11, 13, 4, -1, -1, -1, -1, 9, 13, -1, 6, 33, 49, -1, -1, -1, -1, 4, -1, 7, 9, 11, 13, 6, 9, 11, 13, 9, 13, 11, 13, 17, 50, 143, 13, 22, 11, 187, 13, 51, 23, 39, 15, 221, 39, 247, 15, 17, 19, 6, 3, 25, -1, 13, 8, -1, -1, 27, 50, -1, -1, 27, 7, 10, 7, -1, 22, 26, -1, 7, -1, 21, 11, -1, 63, 14, 10, -1, -1, -1, 13, 25, 11, 40, -1, 99, -1, 65, 34, 7, 10, 110, 26, 26, 24, -1, 14, 21, -1, 35, 7, 35, 88, 104, 40, 20, 37, 70, 21, 63, -1, 55, 130, 85, 28, 143, 77, 55, 88, 187, 14, 34, 41, 65, 104, 221, 182, 247, 2584, 67, 81, 76, 9, -1, 10, -1, 23, 45, -1, 13, -1, -1, 11, -1, -1, 11, 23, 8, -1, 8, -1, -1, 9, 33, -1, -1, 7, -1, -1, 11, 13, 7, 5, 10, 13, 55, 6, 65, 5, -1, 11, 13, -1, -1, 13, 11, -1, 15, 9, -1, 22, 13, 12, 11, 11, 13, -1, -1, 55, 65, 85, 11, 44, 143, 11, 99, 11, 187, 50, 34, 26, 65, 16, 221, 52, 247, 20, 35, 34, 19, 20, 10, 22, 5, 8, -1, -1, -1, -1, 31, 3, -1, 14, 6, 22, 26, -1, -1, -1, 13, 8, 3, 21, 13, 14, -1, -1, -1, -1, -1, 6, -1, -1, -1, -1, -1, -1, 31, 18, 22, 75, 35, 56, 40, 14, 77, 14, 91, 21, 24, 88, 104, 24, 17, 11, 13, 70, 32, 71, 26, 34, 11, 143, 81, 22, 88, 187, 13, 48, 91, 24, 104, 221, 141, 247, 57, 119, 133, -1, -1, 10, 8, 15, -1, 9, 14, 13, -1, 5, 7, 5, 8, 13, 5, 5, -1, -1, 8, 11, -1, 18, 5, 7, 7, -1, -1, 13, 5, 35, 10, -1, -1, 5, 13, 28, 63, -1, 16, 11, 28, 35, 9, 21, 91, 21, 9, 11, 13, 15, 5, -1, 35, 7, -1, 17, 17, 68, 14, 13, 9, -1, -1, 17, 28, 22, 324, 48, 17, 221, 33, 247, 18, 21, 119, 133, 15, -1, 25, 56, -1, -1, 11, -1, -1, -1, 11, -1, 11, -1, -1, -1, 14, -1, 11, 14, 11, 22, 43, -1, 11, 11, -1, -1, 11, 13, 21, 21, -1, 25, 28, 21, 28, 19, 27, 91, -1, 25, 35, 38, 18, -1, -1, -1, 21, 11, -1, 25, 51, 39, 34, 11, 13, 21, -1, 22, 17, 59, 68, 119, 65, 58, 221, 13, 247, 46, 119, 133, 10, 96, -1, -1, 12, 11, -1, -1, 13, 6, 9, 13, 8, -1, -1, 8, 5, 22, 7, 46, -1, -1, 21, 6, 8, 9, -1, -1, 16, 35, 9, 15, -1, 56, -1, 105, 27, 9, 9, 15, 21, 35, 8, 14, 35, 35, 15, -1, -1, 35, 12, 11, 15, 21, 9, 20, 16, 85, 9, -1, 56, 19, -1, 17, 44, 51, 7, 75, -1, 17, 16, -1, 194, 119, 133, 35, -1, 11, 16, 27, 17, 11, -1, -1, 15, -1, -1, -1, -1, 13, 13, -1, 13, -1, 39, -1, -1, 15, 25, -1, 39, 13, 13, 15, 10, 13, 55, 40, 16, 60, -1, 13, -1, 19, -1, 16, 13, 25, -1, 13, 13, 39, 26, 18, 13, 16, -1, -1, 39, 91, 21, 85, 39, 33, 16, 55, 52, 187, 24, 102, 49, -1, 39, 26, 51, -1, 49, 35, 26, 39, 15, 55, 33, 8, 11, -1, 9, -1, 7, -1, 19, 20, -1, 14, -1, 7, -1, 26, -1, 7, 14, 16, 10, 11, 14, 12, -1, 14, -1, 44, -1, 14, 14, 7, 11, -1, 8, -1, 16, 77, 9, -1, 14, 24, 33, -1, -1, 14, 33, -1, 11, -1, 11, 14, 17, 99, 99, 84, 11, 91, 187, 13, 91, 14, -1, 14, 34, 34, 51, 16, 68, 91, 21, -1, 5, 13, 21, 16, -1, 39, 29, -1, 66, 5, -1, -1, 50, 8, 11, 7, -1, 7, 26, -1, 22, 11, 13, 44, -1, 11, 136, -1, 5, 41, -1, -1, 5, 38, 27, -1, 7, 5, 11, 13, 4, 5, 7, 5, 5, 15, 21, 21, -1, 7, 3, 11, 13, 7, -1, -1, -1, -1, 9, 13, 7, 21, 22, 52, 13, 11, 21, 7, 77, 57, 91, 50, 15, 13, 26, 7, 9, 11, 17, 13, 16, 11, 37, 17, 33, 143, 77, 32, 11, 187, 59, 51, 91, 39, 14, 221, 39, 247, 25, 119, 133, 3, 4, 5, 7, -1, 15, 11, 13, 5, 5, -1, -1, 5, 11, -1, 8, 7, 9, -1, 17, 13, 11, 7, -1, 10, -1, 11, 8, 13, 7, 15, 11, 16, -1, -1, 5, 11, -1, -1, 5, 20, 33, 13, 9, 5, -1, 13, -1, -1, 22, 16, 37, 11, 143, 37, 55, 11, 187, 13, 17, 49, 52, 17, 221, 18, 247, 17, 20, 68, 31, 7, 10, 57, 13, 31, -1, 21, 16, -1, 14, -1, 9, -1, 11, 13, 7, 7, 14, 7, 11, 25, 7, -1, 9, -1, 11, -1, 39, 11, 7, 21, 13, 9, -1, 7, 21, 7, 13, 14, 32, 33, 13, -1, 7, 33, 21, 11, -1, 11, 52, 17, 25, 715, 29, 28, 91, 187, 28, 63, 65, -1, 52, 221, 39, 247, 21, 68, 38, 15, 14, 189, -1, 13, 7, 7, -1, 7, 17, 9, 13, 9, 10, -1, 15, -1, 13, 12, -1, 9, 10, -1, 36, 65, 7, 4, 11, 27, -1, -1, 17, -1, 16, -1, 18, 15, -1, 26, 15, 18, -1, 13, 12, 19, 16, 65, 85, 11, 13, -1, 15, -1, -1, 27, 51, 26, 65, 13, 221, 39, 247, 38, 17, 38, 15, 14, 11, -1, 11, 22, 11, -1, 11, 11, -1, 8, 11, 22, 7, 11, 11, 11, 9, 44, 22, 15, 40, 22, 22, 44, 21, 11, 20, 33, 11, 1645, 14, 28, 28, 63, 11, 11, 22, 22, 44, -1, -1, 44, 11, 22, 22, 85, 11, 11, 113, 15, 20, 44, 22, 77, 119, 44, 13, 17, 11, 171, 140, 357, 133, 24, 12, 13, 13, 26, 13, 13, -1, 26, -1, 28, 13, 39, -1, 13, 13, 13, 13, -1, -1, -1, 26, 25, 21, 11, 13, 13, 28, 63, 28, 21, 63, 13, 28, 13, 13, 18, 13, 18, -1, -1, 39, 28, 67, 13, 52, 27, 26, 39, -1, 26, 17, 13, 39, 81, 91, -1, 26, 52, 13, 19, 56, 335, 399, 15, -1, 19, 7, 13, 56, 33, -1, 13, -1, -1, 77, 13, 52, 9, 14, 7, 3, -1, 22, -1, 3, 11, -1, -1, 22, 39, 18, 10, 65, 13, 52, 46, -1, 5, 11, 9, 3, -1, 9, 5, 10, 11, 12, 4, 13, 14, 10, -1, -1, 8, 8, 22, 26, 13, 13, 14, 49, 11, 8, 39, 22, 20, 24, 14, 6, 31, 10, 17, 13, 11, 56, 25, 13, 13, 9, 26, 52, 68, 47, 19, 26, 119, 13, 25, 13, 45, 19, 34, 27, 10, 15, 29, 49, 57, -1, 35, 24, -1, 13, 9, 10, -1, 10, 33, 22, 13, 35, 55, 11, 7, 49, 21, 19, 5, 11, -1, 44, 83, 95, 32, 4, -1, 15, 8, 11, 33, 13, 23, 5, 15, 6, 7, -1, -1, 13, 7, 8, 33, 15, 15, 14, 7, 8, 9, 11, 10, -1, 14, 63, 29, 18, 21, 42, 22, 78, 5, 14, 22, 35, 56, 56, 28, 77, 14, 91, 21, 20, -1, 11, 15, 33, 56, 88, 104, 40, -1, 39, 54, 42, 30, 11, 20, 70, 24, 11, 31, 26, 26, 100, 14, 35, 22, 26, 46, 20, 33, 23, 44, 14, 9, 52, 68, 44, 143, 77, 55, 88, 187, 40, 9, -1, 51, 17, 35, 12, -1, 15, 38, 102, 182, 52, 104, 221, 39, 247, 25, -1, 10, 56, 51, 57, 195, 238, 133, 16, 570, 11, 9, -1, 21, 21, 15, 7, 17, 22, 63, 7, -1, 21, -1, 11, 9, 21, -1, 7, 33, 39, 22, 10, 17, -1, 17, 9, 13, 21, 25, 53, 26, 5, 21, 44, 21, 12, 9, -1, 28, -1, 88, 143, 63, 55, 66, 187, 104, 121, 59, 52, 39, 26, 221, 52, 247, 21, 17, 63, 41, 8, 21, 15, 21, 7, 7, -1, 19, 6, 7, -1, 18, -1, 7, 24, 7, 24, 4, 39, 7, 21, 23, 21, 14, 91, 24, 21, -1, 13, 13, 12, 7, 15, 21, 16, -1, 13, 34, 16, 24, 17, 33, -1, 17, 52, 33, 91, 39, 24, 221, 39, 247, 21, 119, 133, 36, 39, -1, 15, 5, 9, 11, 5, 9, -1, 9, 15, 11, 13, 13, 7, 20, 33, 15, -1, 15, 13, 22, 4, -1, 30, 32, 35, -1, 30, 22, 33, 32, 12, 15, 11, 20, 68, 145, 55, 44, 33, 14, 187, 9, 85, 13, 15, 13, -1, 39, 55, 45, 28, 19, 52, 6, -1, 11, -1, 26, 19, 13, 40, 35, 13, 20, 65, 20, 21, 33, 165, 11, 21, 46, -1, 24, 39, 33, 30, 40, 104, 120, 130, 15, 39, 31, 32, 23, 319, 1530, 11, 33, 22, 33, 40, 17, 52, 77, 99, 133, 104, 221, 3773, 247, 40, 690, 68, 38, 9, 60, 11, 35, 25, 39, 56, -1, 39, -1, 24, 13, -1, 39, 22, 39, -1, 21, 21, 65, 33, 33, 28, 65, 28, 93, 63, 13, 57, 33, 33, -1, 39, 26, 65, 33, 52, 25, 132, -1, 28, 110, 13, 77, 33, 63, 187, 39, 51, 70, 33, -1, 85, 65, 19, 32, 119, 133, 18, 7, 28, -1, 21, 42, 15, 31, 21, 7, 35, 854, 20, 21, 15, 39, 7, 15, 21, -1, 24, 63, 42, 24, 22, 13, 36, 63, 56, 39, 49, 13, 11, 65, 19, 23, 21, 7, 40, 21, -1, 104, 51, 52, 65, 30, 28, 111, 247, 63, 13, 57, 25, 26, 21, 40, 20, 56, 10, 17, 10, 11, 16, 11, 14, 43, 64, 29, 11, 11, -1, 52, 35, 30, 9, 35, 7, 15, 27, 17, 21, 17, 48, 44, 51, 45, -1, 15, -1, 15, 17, 21, 26, 21, 91, -1, 52, 34, 81, 27, 25, 95, 51, 27, 13, 180, 27, 57, 13, 26, 5, 7, 19, 44, 15, 37, 77, -1, 20, 59, 14, 793, 29, 21, 11, 20, 28, 8, 28, 25, 39, 93, 11, 28, 8, 56, 7, 7, 26, 91, 44, 17, 16, 26, 33, 28, 38, 13, 37, 143, 7, 28, 17, 21, 55, 3409, 17, -1, 49, 34, -1, 51, 13, 36, 44, 493, 13, 35, 40, 57, 42, 25, 7, 60, 51, 38, 15, 9, 12, 25, 6, 9, 11, 25, 22, 13, 25, 13, -1, 12, 22, 22, 2360, 9, -1, 30, 24, 11, 143, 22, 25, 17, 30, 52, 27, 4, 22, 50, 19, 18, 20, -1, 52, 374, 81, 21, 11, 52, 51, 65, 40, -1, 39, 204, 21, -1, 20, 51, 70, 17, 25, 5, 28, 14, -1, 28, 24, 28, 5, 17, 10, 65, 20, 9, 13, -1, 35, 9, 16, 56, 14, 14, 21, 25, 16, 52, 81, 104, 26, -1, 7, 195, 85, 8, 28, 21, 55, 40, 17, 52, 54, 52, 65, 52, 1105, 56, 247, 45, 34, 63, 6, 34, 22, -1, 11, -1, 21, -1, 6, -1, 7, 31, 11, 21, 12, 77, 28, 11, 21, 9, 11, -1, 24, 24, 21, 8, 21, 6, 22, -1, 34, 21, -1, 77, 40, 22, 187, 22, 51, 27, 54, -1, 17, 11, -1, 56, 119, 133, 19, 25, 22, 11, 27, -1, 11, 13, 11, 11, 52, -1, 24, 11, 19, 55, -1, 32, 22, 102, 18, 22, 11, 34, 33, 32, 22, 26, 68, 65, 22, 13, 11, 22, 25, 22, 40, 68, 55, 88, 52, 550, 26, 247, 14, 68, 31, 16, 20, 13, 120, 52, 78, 16, 26, 55, 60, 15, 128, 14, 13, 63, 70, 77, 67, 65, 52, 14, 39, 26, 57, 52, 33, 26, 32, 13, 125, 65, 80, 88, 44, 154, 55, 110, 55, 26, 29, 70, 26, 13, 22, 26, 104, 210, 119, 266, 20, 60, 16, 5, 25, 55, 17, 28, 13, 36, 145, 11, 16, 25, 212, 27, 21, 97, 11, 39, 30, 67, 55, 18, 26, 17, 27, 66, 119, 15, 91, 33, 52, 34, 27, 18, 52, 17, 33, 17, 57, 13, 91, 14, 9540, 19, 57, 25, -1, 16, 26, 42, 17, 21, 11, 40, 35, 35, 14, 13, 35, 77, 69, 35, 17, 19, 2236, 41, 7, 25, 33, 39, 33, 21, 25, 48, 52, 147, 26, 35, 48, 39, 28, 42, 65, 51, 95, 13, 52, 25, 51, 46, 15, 119, 40, 25, 430, 51, 88, 33, 33, -1, 38, 33, 11, 43, 99, 35, 24, 33, -1, 73, 76, 24, 36, 33, 99, 39, 21, 17, 294, 208, 119, 32, 33, 77, 33, 117, 33, 33, 130, 153, 689, 10, 208, 17, 144, 35, 35, 64, 36, 33, 20, 112, 9251, 44, 22, 28, 104, 21, 29, 162, 204, 207, 180, 26, 32, 32, 16, 133, 34, 1533, 9, 221, 22, 48, 23, 29, 40, 184, 243, 16, 70, 39, 361, 56, 302, 476, 91, 15, 78, 85, 145, 230, 69, 51, 98, 67, 40, 391, 114, 28, 22, 18, 7, 6, 26, 35, 221, 9, -1, 25, 182, 39, 35, 25, 55, 308, 31, 17, 18, 63, 40, 13, -1, 24, 13, 85, 27, 128, 25, 21, 18, 11, 69, 56, 36, -1, 20, 17, 413, 35, 10, 10, 35, 16, 35, 50, 11, 9, 20, 35, 77, 14, 25, 47, 22, -1, 11, 14, 13, 21, -1, 25, 31, 40, 77, 46, 22, 187, -1, 17, 91, 15, 15, 32, -1, 19, 35, 238, 133, 64, 55, 25, 15, -1, 33, 45, 15, -1, 45, 11, -1, 5, 15, 43, 26, 18, 21, 104, -1, 34, 52, 45, 143, -1, 40, 27, 187, 27, 102, 52, 55, 26, 221, 65, 247, 15, 17, -1, 1855, 130, 45, 65, 35, -1, 55, 91, 44, 45, 63, 91, 9, 22, 25, 11, -1, 15, 91, -1, 16, 55, 41, 21, 55, -1, 119, 55, 119, 440, 65, 69, 221, 14, 1980, 140, 3451, 133, 52, 16, 22, 312, 15, 10, 15, 9, 29, 15, 23, 39, 20, 46, 280, 12, 24, 65, 17, 143, 22, 165, 11, 45, 104, 29, 60, 150, 104, 34, 50, 247, 45, 51, 31, 85, 21, 70, 26, 65, 65, 66, 22, 154, 13, 65, 70, 231, 63, 39, 63, 65, 39, 38, 1105, 23, 65, 13, 897, 266, 99, 52, 70, 24, 65, 13, 20, 325, 46, 37, 85, 49, 15, 76, 52, 68, 99, 154, 55, 154, 585, 26, 80, 68, 91, 50, 63, 1615, 1836, 585, 52, 104, 34, 26, 39, 126, 23, 47, 102, 52, 210, 9758, 266, 286, 31, 52, 20, 28, 77, 11, 21, 35, 341, 26, 7, 33, 60, 12, -1, 208, 68, 5117, 77, 35, 105, 187, 266, 143, 39, 175, 221, 416, 245, 40, 119, 35, 35, 50, 88, 15, 28, 20, 77, 323, 5, 9, 55, 18, 35, 156, 49, 30, 322, 291, 44, 121, 133, 42, 35, 49, 38, 60, 39, 34, 25, 66, 143, 64, 12, 371, 91, 56, 49, 95, 119, 95, 40, 65, 92, 79, 88, 13, 27, 30, 3316, 29, 18, 209, 52, 54, 45, 111, 87, 365, 160, 27, 1035, 15, 20, 39, 51, 91, 57, 493, 323, 45, 57, 102, 25, 87, 51, 98, 44, 35, 34, 10, 55, 65, 30, 27, 35, 33, 112, 12, 25, 55, 8, 109, 51, 19, 1440, -1, 25, 40, 211, 24, 36, 119, 201, 17, 57, 51, -1, 55, 51, 178, 176, -1, 11, 29, 52, 44, 14, 90, 91, 91, 11, 45, 43, 30, 13, 319, 48, 44, 16, 143, 44, 11, 14, -1, 51, 65, 55, 44, 156, 247, 119, 133, -1, 21, 52, 26, -1, 78, 48, 17, 117, 55, 39, 39, 26, 45, 85, 143, 44, 165, 130, 187, 136, 52, 13, 85, 52, -1, 85, 52, 39, 11, 55, 33, 39, 33, 35, 58, 61, 55, 186, 24, 88, 99, 88, 119, 22, 425, 88, 63, 95, 85, 61, 36, 51, 114, 51, 63, 51, 66, 76, 1670, 45, 52, 361, 52, 156, 72, -1, 1899, 304, 39, 156, 3486, 85, 153, 75, 120, 115, 62, 364, 285, 85, 247, 210, 80, 1196, 216, 77, 12, 28, 35, 704, 27, 12, 48, 22, -1, 65, 22, 63, 175, 66, 117, 30, 29, 175, 35, 104, 1610, 105, 38, 67, 77, 9, 35, 94, 30, 27, 21, 11, 195, 85, 11, 119, 143, 17, 136, 65, 442, 231, 88, 7777, 68, 133, 21, 182, 35, 21, 91, 25, 24, 429, 49, 31, 65, 34, 77, 3575, 182, 187, 272, 91, 84, 221, 63, 63, 56, 25, 70, 455, 18, 32, 27, 65, 16, 91, 65, 203, 77, 84, 455, 187, 153, -1, 130, 91, 70, 95, 91, 112, 144, 72, 104, 72, 91, 63, 24, 390, 68, 14, 35, 32, 45, 68, 65, 665, 221, 749, 247, 238, 76, 56, 3774, 923, 730, 73, 253, 19, 14, 60, 33, 102, 57, 35, 35, 51, 76, 85, 35, 75, 57, 136, 70, 40, 49, 117, 31, 51, 52, 231, 99, 49, 140, 675, 37, 33, 62, 55, 43, 95, 56, 99, 33, 189, 20, 26, 26, 26, 26, 26, 125, 132, 55, 117, 8138, 61, 26, 221, 26, 26, 119, 95, 470, 21, 13, 80, 68, 44, 99, 15, 5310, 51, 15, 221, 72, 247, 81, 19, 65, 10, 44, 123, 34, 23, 897, 39, 46, 78, 78, 41, 27, 114, 833, 32, 119, 114, 1615, 133, 21, 361, 28, 65, 252, 84, 108, 469, 95, 119, 41249, 105, 70, 285, 20, 272, 70, 77, 85, 15, 65, 39, 102, 26, 85, 56, 27, 154, 133, 24, 66, 63, 98, 187, 194, 107, 221, 104, 247, 137, 95, 1328, 34, 99, 44, 187, 51, 25, 221, 57, 247, 68, 38, 135, 146, 118, 120, 204, 34, 256, 2108, 147, 77, 969, 51, 425, 59, 782, 209, 31, 119, 4104, 391, 165, 77, 85, 34, 119, 85, 255, 68, 119, 50, 425, 34, 80, 85, 116, 1410, 76, 40, 209, 136, 171, 89, 119, 117, 247, 133, 55, 187, 6175, 76, 437, 351, 247, 153, 475, 38, 152 ];