fork(3) download
  1. import math
  2.  
  3.  
  4. def find(n):
  5. # max of x can be sqrt of n
  6. n1 = int(math.ceil(math.sqrt(n)))
  7. lst = []
  8.  
  9. for i in range(1, n1):
  10. for j in range(i + 1, n1):
  11.  
  12. if i**2 + j**2 >= n:
  13. break
  14.  
  15. tz = int(math.sqrt(n - i**2 - j**2))
  16. if tz ** 2 == n - i**2 - j**2:
  17. a = [i, j, tz]
  18. lst.append(a)
  19. return lst
  20.  
  21. print find(12345678)
  22.  
Success #stdin #stdout 0.13s 67964KB
stdin
Standard input is empty
stdout
[[1, 371, 3494], [1, 2141, 2786], [1, 2786, 2141], [1, 3494, 371], [5, 1097, 3338], [5, 3338, 1097], [7, 1390, 3227], [7, 2027, 2870], [7, 2870, 2027], [7, 3227, 1390], [13, 847, 3410], [13, 1265, 3278], [13, 3278, 1265], [13, 3410, 847], [14, 851, 3409], [14, 3409, 851], [15, 1422, 3213], [15, 2322, 2637], [15, 2637, 2322], [15, 3213, 1422], [18, 1323, 3255], [18, 3255, 1323], [19, 1871, 2974], [19, 2974, 1871], [23, 2218, 2725], [23, 2725, 2218], [27, 582, 3465], [27, 3465, 582], [29, 2014, 2879], [29, 2879, 2014], [34, 491, 3479], [34, 2351, 2611], [34, 2611, 2351], [34, 3479, 491], [41, 1426, 3211], [41, 1594, 3131], [41, 3131, 1594], [41, 3211, 1426], [50, 377, 3493], [50, 3493, 377], [55, 1958, 2917], [55, 2917, 1958], [58, 1717, 3065], [58, 3065, 1717], [61, 1391, 3226], [61, 3226, 1391], [63, 147, 3510], [63, 3510, 147], [65, 698, 3443], [65, 982, 3373], [65, 1478, 3187], [65, 1738, 3053], [65, 3053, 1738], [65, 3187, 1478], [65, 3373, 982], [65, 3443, 698], [67, 2065, 2842], [67, 2842, 2065], [70, 1987, 2897], [70, 2897, 1987], [71, 166, 3509], [71, 3509, 166], [77, 1057, 3350], [77, 3350, 1057], [82, 1265, 3277], [82, 3277, 1265], [83, 1633, 3110], [83, 3110, 1633], [85, 617, 3458], [85, 1303, 3262], [85, 3262, 1303], [85, 3458, 617], [91, 1354, 3241], [91, 3241, 1354], [106, 1591, 3131], [106, 3131, 1591], [107, 265, 3502], [107, 2150, 2777], [107, 2777, 2150], [107, 3502, 265], [110, 1847, 2987], [110, 2987, 1847], [113, 1678, 3085], [113, 1910, 2947], [113, 2947, 1910], [113, 3085, 1678], [117, 342, 3495], [117, 810, 3417], [117, 1770, 3033], [117, 2295, 2658], [117, 2658, 2295], [117, 3033, 1770], [117, 3417, 810], [117, 3495, 342], [118, 1385, 3227], [118, 1973, 2905], [118, 2905, 1973], [118, 3227, 1385], [121, 134, 3509], [121, 901, 3394], [121, 3394, 901], [121, 3509, 134], [125, 257, 3502], [125, 518, 3473], [125, 3473, 518], [125, 3502, 257], [126, 531, 3471], [126, 3471, 531], [127, 1405, 3218], [127, 1990, 2893], [127, 2893, 1990], [127, 3218, 1405], [131, 191, 3506], [131, 3506, 191], [133, 1658, 3095], [133, 2183, 2750], [133, 2750, 2183], [133, 3095, 1658], [134, 3509, 121], [142, 1433, 3205], [142, 2395, 2567], [142, 2567, 2395], [142, 3205, 1433], [147, 1638, 3105], [147, 3105, 1638], [147, 3510, 63], [149, 454, 3481], [149, 3481, 454], [154, 281, 3499], [154, 869, 3401], [154, 1991, 2891], [154, 2089, 2821], [154, 2821, 2089], [154, 2891, 1991], [154, 3401, 869], [154, 3499, 281], [155, 1622, 3113], [155, 3113, 1622], [162, 1797, 3015], [162, 2415, 2547], [162, 2547, 2415], [162, 3015, 1797], [166, 701, 3439], [166, 3439, 701], [166, 3509, 71], [170, 397, 3487], [170, 3487, 397], [177, 1107, 3330], [177, 3330, 1107], [181, 646, 3449], [181, 3449, 646], [187, 775, 3422], [187, 1178, 3305], [187, 3305, 1178], [187, 3422, 775], [190, 1693, 3073], [190, 3073, 1693], [191, 659, 3446], [191, 1261, 3274], [191, 1741, 3046], [191, 3046, 1741], [191, 3274, 1261], [191, 3446, 659], [191, 3506, 131], [198, 957, 3375], [198, 3375, 957], [202, 595, 3457], [202, 835, 3407], [202, 1745, 3043], [202, 2093, 2815], [202, 2815, 2093], [202, 3043, 1745], [202, 3407, 835], [202, 3457, 595], [203, 2038, 2855], [203, 2338, 2615], [203, 2615, 2338], [203, 2855, 2038], [205, 2417, 2542], [205, 2542, 2417], [209, 1309, 3254], [209, 1891, 2954], [209, 2954, 1891], [209, 3254, 1309], [214, 2261, 2681], [214, 2681, 2261], [215, 1717, 3058], [215, 2437, 2522], [215, 2522, 2437], [215, 3058, 1717], [217, 1525, 3158], [217, 3158, 1525], [225, 243, 3498], [225, 3498, 243], [226, 421, 3481], [226, 769, 3421], [226, 3421, 769], [226, 3481, 421], [231, 981, 3366], [231, 1611, 3114], [231, 3114, 1611], [231, 3366, 981], [238, 245, 3497], [238, 3497, 245], [239, 2179, 2746], [239, 2746, 2179], [243, 3498, 225], [245, 3497, 238], [247, 1510, 3163], [247, 3163, 1510], [253, 350, 3487], [253, 1462, 3185], [253, 3185, 1462], [253, 3487, 350], [254, 1969, 2899], [254, 2899, 1969], [257, 950, 3373], [257, 3373, 950], [257, 3502, 125], [258, 1755, 3033], [258, 3033, 1755], [261, 1161, 3306], [261, 2151, 2766], [261, 2766, 2151], [261, 3306, 1161], [265, 1237, 3278], [265, 3278, 1237], [265, 3502, 107], [271, 509, 3466], [271, 3466, 509], [274, 289, 3491], [274, 601, 3451], [274, 3451, 601], [274, 3491, 289], [278, 1745, 3037], [278, 3037, 1745], [279, 714, 3429], [279, 3429, 714], [281, 2459, 2494], [281, 2494, 2459], [281, 3499, 154], [287, 797, 3410], [287, 1030, 3347], [287, 3347, 1030], [287, 3410, 797], [289, 499, 3466], [289, 2029, 2854], [289, 2339, 2606], [289, 2606, 2339], [289, 2854, 2029], [289, 3466, 499], [289, 3491, 274], [293, 2105, 2798], [293, 2798, 2105], [301, 986, 3359], [301, 1519, 3154], [301, 3154, 1519], [301, 3359, 986], [302, 1435, 3193], [302, 2393, 2555], [302, 2555, 2393], [302, 3193, 1435], [307, 2225, 2702], [307, 2702, 2225], [309, 1449, 3186], [309, 3186, 1449], [313, 1765, 3022], [313, 3022, 1765], [314, 379, 3479], [314, 2071, 2821], [314, 2821, 2071], [314, 3479, 379], [322, 655, 3437], [322, 3437, 655], [323, 2182, 2735], [323, 2735, 2182], [325, 1463, 3178], [325, 3178, 1463], [331, 601, 3446], [331, 1609, 3106], [331, 3106, 1609], [331, 3446, 601], [338, 953, 3365], [338, 3365, 953], [341, 814, 3401], [341, 3401, 814], [342, 3495, 117], [350, 2057, 2827], [350, 2827, 2057], [350, 3487, 253], [355, 2063, 2822], [355, 2822, 2063], [358, 1765, 3017], [358, 2417, 2525], [358, 2525, 2417], [358, 3017, 1765], [362, 1955, 2897], [362, 2897, 1955], [370, 2003, 2863], [370, 2863, 2003], [371, 766, 3409], [371, 3409, 766], [371, 3494, 1], [373, 407, 3470], [373, 1975, 2882], [373, 2882, 1975], [373, 3470, 407], [377, 875, 3382], [377, 2030, 2843], [377, 2282, 2645], [377, 2645, 2282], [377, 2843, 2030], [377, 3382, 875], [377, 3493, 50], [378, 855, 3387], [378, 945, 3363], [378, 1635, 3087], [378, 1863, 2955], [378, 2955, 1863], [378, 3087, 1635], [378, 3363, 945], [378, 3387, 855], [379, 3479, 314], [386, 1301, 3241], [386, 3241, 1301], [390, 1233, 3267], [390, 3267, 1233], [397, 3487, 170], [401, 694, 3421], [401, 1766, 3011], [401, 3011, 1766], [401, 3421, 694], [406, 521, 3451], [406, 3451, 521], [407, 2123, 2770], [407, 2770, 2123], [407, 3470, 373], [410, 917, 3367], [410, 1183, 3283], [410, 3283, 1183], [410, 3367, 917], [414, 2199, 2709], [414, 2709, 2199], [415, 1517, 3142], [415, 3142, 1517], [419, 586, 3439], [419, 3439, 586], [421, 3481, 226], [422, 2087, 2795], [422, 2795, 2087], [441, 1686, 3051], [441, 3051, 1686], [443, 698, 3415], [443, 3415, 698], [447, 1350, 3213], [447, 3213, 1350], [450, 1017, 3333], [450, 2043, 2823], [450, 2823, 2043], [450, 3333, 1017], [454, 3481, 149], [457, 902, 3365], [457, 3365, 902], [463, 778, 3395], [463, 1778, 2995], [463, 2995, 1778], [463, 3395, 778], [467, 1567, 3110], [467, 3110, 1567], [469, 1394, 3191], [469, 2089, 2786], [469, 2786, 2089], [469, 3191, 1394], [471, 891, 3366], [471, 3366, 891], [474, 1251, 3249], [474, 3249, 1251], [477, 2175, 2718], [477, 2718, 2175], [478, 2263, 2645], [478, 2645, 2263], [481, 2234, 2669], [481, 2669, 2234], [490, 1733, 3017], [490, 2353, 2563], [490, 2563, 2353], [490, 3017, 1733], [491, 3479, 34], [497, 2387, 2530], [497, 2530, 2387], [498, 765, 3393], [498, 1143, 3285], [498, 3285, 1143], [498, 3393, 765], [499, 1154, 3281], [499, 3281, 1154], [499, 3466, 289], [502, 1643, 3065], [502, 3065, 1643], [503, 1205, 3262], [503, 1237, 3250], [503, 3250, 1237], [503, 3262, 1205], [505, 2002, 2843], [505, 2843, 2002], [506, 1381, 3191], [506, 2129, 2749], [506, 2749, 2129], [506, 3191, 1381], [509, 1601, 3086], [509, 3086, 1601], [509, 3466, 271], [513, 1878, 2925], [513, 2925, 1878], [518, 3473, 125], [521, 2086, 2779], [521, 2219, 2674], [521, 2674, 2219], [521, 2779, 2086], [521, 3451, 406], [523, 1210, 3257], [523, 1370, 3193], [523, 3193, 1370], [523, 3257, 1210], [527, 1507, 3130], [527, 1885, 2918], [527, 2918, 1885], [527, 3130, 1507], [531, 639, 3414], [531, 3414, 639], [531, 3471, 126], [547, 562, 3425], [547, 3425, 562], [553, 2437, 2470], [553, 2470, 2437], [554, 1841, 2941], [554, 2941, 1841], [555, 1062, 3303], [555, 1287, 3222], [555, 3222, 1287], [555, 3303, 1062], [557, 1610, 3073], [557, 3073, 1610], [562, 1345, 3197], [562, 3197, 1345], [562, 3425, 547], [565, 1433, 3158], [565, 3158, 1433], [566, 929, 3341], [566, 1099, 3289], [566, 3289, 1099], [566, 3341, 929], [567, 2283, 2610], [567, 2610, 2283], [569, 709, 3394], [569, 1541, 3106], [569, 3106, 1541], [569, 3394, 709], [579, 1206, 3249], [579, 1521, 3114], [579, 3114, 1521], [579, 3249, 1206], [582, 2205, 2673], [582, 2673, 2205], [582, 3465, 27], [583, 1870, 2917], [583, 2917, 1870], [586, 719, 3389], [586, 1349, 3191], [586, 2311, 2581], [586, 2581, 2311], [586, 3191, 1349], [586, 3389, 719], [586, 3439, 419], [587, 2375, 2522], [587, 2522, 2375], [594, 1419, 3159], [594, 3159, 1419], [595, 1217, 3242], [595, 3242, 1217], [595, 3457, 202], [601, 3446, 331], [601, 3451, 274], [602, 1715, 3007], [602, 1975, 2843], [602, 2843, 1975], [602, 3007, 1715], [617, 842, 3355], [617, 3355, 842], [617, 3458, 85], [619, 1666, 3031], [619, 1799, 2954], [619, 2954, 1799], [619, 3031, 1666], [621, 2241, 2634], [621, 2634, 2241], [622, 1763, 2975], [622, 2975, 1763], [630, 2337, 2547], [630, 2547, 2337], [631, 1541, 3094], [631, 3094, 1541], [635, 1913, 2878], [635, 2102, 2743], [635, 2743, 2102], [635, 2878, 1913], [637, 847, 3350], [637, 1697, 3010], [637, 3010, 1697], [637, 3350, 847], [639, 2106, 2739], [639, 2739, 2106], [639, 3414, 531], [643, 2002, 2815], [643, 2815, 2002], [646, 3449, 181], [653, 785, 3362], [653, 3362, 785], [655, 3437, 322], [657, 1470, 3123], [657, 1875, 2898], [657, 2898, 1875], [657, 3123, 1470], [659, 974, 3311], [659, 3311, 974], [659, 3446, 191], [663, 1710, 2997], [663, 2997, 1710], [665, 1378, 3163], [665, 1477, 3118], [665, 3118, 1477], [665, 3163, 1378], [666, 1359, 3171], [666, 3171, 1359], [670, 2263, 2603], [670, 2603, 2263], [671, 1006, 3299], [671, 3299, 1006], [677, 982, 3305], [677, 1930, 2857], [677, 2857, 1930], [677, 3305, 982], [679, 994, 3301], [679, 3301, 994], [685, 2287, 2578], [685, 2578, 2287], [686, 1301, 3191], [686, 3191, 1301], [694, 1199, 3229], [694, 3229, 1199], [694, 3421, 401], [698, 3415, 443], [698, 3443, 65], [701, 1346, 3169], [701, 3169, 1346], [701, 3439, 166], [707, 1550, 3073], [707, 2402, 2465], [707, 2465, 2402], [707, 3073, 1550], [709, 1639, 3026], [709, 3026, 1639], [709, 3394, 569], [713, 1045, 3278], [713, 3278, 1045], [714, 3429, 279], [715, 1783, 2942], [715, 2942, 1783], [719, 2221, 2626], [719, 2626, 2221], [719, 3389, 586], [721, 1501, 3094], [721, 1834, 2909], [721, 2909, 1834], [721, 3094, 1501], [722, 1085, 3263], [722, 1745, 2963], [722, 2963, 1745], [722, 3263, 1085], [729, 2226, 2619], [729, 2331, 2526], [729, 2526, 2331], [729, 2619, 2226], [733, 1583, 3050], [733, 3050, 1583], [734, 961, 3299], [734, 1979, 2809], [734, 2809, 1979], [734, 3299, 961], [741, 1449, 3114], [741, 3114, 1449], [743, 1675, 2998], [743, 2998, 1675], [749, 2134, 2689], [749, 2689, 2134], [758, 2095, 2717], [758, 2417, 2435], [758, 2435, 2417], [758, 2717, 2095], [763, 1478, 3095], [763, 1847, 2890], [763, 2890, 1847], [763, 3095, 1478], [765, 3393, 498], [766, 2009, 2779], [766, 2779, 2009], [766, 3409, 371], [769, 3421, 226], [770, 1007, 3277], [770, 3277, 1007], [775, 3422, 187], [778, 3395, 463], [785, 2098, 2707], [785, 2707, 2098], [785, 3362, 653], [791, 811, 3326], [791, 3326, 811], [793, 1202, 3205], [793, 1930, 2827], [793, 2827, 1930], [793, 3205, 1202], [797, 3410, 287], [798, 2043, 2745], [798, 2745, 2043], [802, 2107, 2695], [802, 2695, 2107], [803, 863, 3310], [803, 2113, 2690], [803, 2690, 2113], [803, 3310, 863], [810, 3417, 117], [811, 1094, 3239], [811, 1591, 3026], [811, 1721, 2954], [811, 2954, 1721], [811, 3026, 1591], [811, 3239, 1094], [811, 3326, 791], [814, 1121, 3229], [814, 3229, 1121], [814, 3401, 341], [815, 2093, 2702], [815, 2702, 2093], [821, 986, 3271], [821, 3271, 986], [825, 1638, 2997], [825, 2997, 1638], [835, 3407, 202], [839, 1349, 3134], [839, 3134, 1349], [842, 883, 3295], [842, 1633, 2995], [842, 1867, 2855], [842, 2855, 1867], [842, 2995, 1633], [842, 3295, 883], [842, 3355, 617], [847, 3350, 637], [847, 3410, 13], [851, 3409, 14], [853, 1862, 2855], [853, 2855, 1862], [854, 2339, 2479], [854, 2401, 2419], [854, 2419, 2401], [854, 2479, 2339], [855, 2133, 2658], [855, 2658, 2133], [855, 3387, 378], [859, 1954, 2791], [859, 2294, 2519], [859, 2519, 2294], [859, 2791, 1954], [862, 1405, 3103], [862, 3103, 1405], [863, 925, 3278], [863, 1510, 3053], [863, 1622, 2995], [863, 2995, 1622], [863, 3053, 1510], [863, 3278, 925], [863, 3310, 803], [866, 1051, 3239], [866, 2311, 2501], [866, 2501, 2311], [866, 3239, 1051], [869, 1001, 3254], [869, 1666, 2969], [869, 2234, 2569], [869, 2569, 2234], [869, 2969, 1666], [869, 3254, 1001], [869, 3401, 154], [873, 1770, 2907], [873, 2907, 1770], [875, 3382, 377], [877, 1007, 3250], [877, 1105, 3218], [877, 3218, 1105], [877, 3250, 1007], [881, 2269, 2534], [881, 2534, 2269], [883, 1583, 3010], [883, 3010, 1583], [883, 3295, 842], [887, 2053, 2710], [887, 2710, 2053], [891, 1254, 3159], [891, 3159, 1254], [891, 3366, 471], [895, 1178, 3187], [895, 3187, 1178], [898, 965, 3257], [898, 1693, 2945], [898, 2945, 1693], [898, 3257, 965], [901, 2119, 2654], [901, 2654, 2119], [901, 3394, 121], [902, 3365, 457], [917, 1550, 3017], [917, 3017, 1550], [917, 3367, 410], [918, 2205, 2577], [918, 2577, 2205], [925, 1958, 2767], [925, 2767, 1958], [925, 3278, 863], [929, 2029, 2714], [929, 2714, 2029], [929, 3341, 566], [938, 2353, 2435], [938, 2435, 2353], [945, 1107, 3198], [945, 1782, 2877], [945, 2877, 1782], [945, 3198, 1107], [945, 3363, 378], [950, 3373, 257], [953, 1675, 2938], [953, 2938, 1675], [953, 3365, 338], [954, 2361, 2421], [954, 2421, 2361], [957, 2070, 2673], [957, 2673, 2070], [957, 3375, 198], [958, 1133, 3185], [958, 1525, 3017], [958, 3017, 1525], [958, 3185, 1133], [961, 1966, 2749], [961, 2749, 1966], [961, 3299, 734], [962, 1603, 2975], [962, 2975, 1603], [965, 3257, 898], [967, 1435, 3058], [967, 3058, 1435], [973, 1295, 3118], [973, 3118, 1295], [974, 3311, 659], [979, 1681, 2926], [979, 2926, 1681], [981, 3366, 231], [982, 3305, 677], [982, 3373, 65], [986, 1031, 3211], [986, 1519, 3011], [986, 3011, 1519], [986, 3211, 1031], [986, 3271, 821], [986, 3359, 301], [994, 3301, 679], [1001, 3254, 869], [1006, 3299, 671], [1007, 3250, 877], [1007, 3277, 770], [1011, 2079, 2646], [1011, 2646, 2079], [1015, 1798, 2843], [1015, 2138, 2597], [1015, 2597, 2138], [1015, 2843, 1798], [1017, 3333, 450], [1027, 1618, 2945], [1027, 2225, 2518], [1027, 2518, 2225], [1027, 2945, 1618], [1030, 1357, 3073], [1030, 1423, 3043], [1030, 2333, 2417], [1030, 2417, 2333], [1030, 3043, 1423], [1030, 3073, 1357], [1030, 3347, 287], [1031, 3211, 986], [1035, 1818, 2823], [1035, 2823, 1818], [1038, 1647, 2925], [1038, 2925, 1647], [1041, 1251, 3114], [1041, 1629, 2934], [1041, 2934, 1629], [1041, 3114, 1251], [1045, 1882, 2777], [1045, 2777, 1882], [1045, 3278, 713], [1049, 1946, 2731], [1049, 2731, 1946], [1051, 3239, 866], [1055, 1822, 2813], [1055, 2813, 1822], [1057, 2302, 2435], [1057, 2435, 2302], [1057, 3350, 77], [1062, 2175, 2547], [1062, 2547, 2175], [1062, 3303, 555], [1066, 1709, 2879], [1066, 2879, 1709], [1071, 1341, 3066], [1071, 3066, 1341], [1079, 1174, 3131], [1079, 1346, 3061], [1079, 2126, 2581], [1079, 2266, 2459], [1079, 2459, 2266], [1079, 2581, 2126], [1079, 3061, 1346], [1079, 3131, 1174], [1085, 3263, 722], [1093, 1673, 2890], [1093, 2890, 1673], [1094, 2351, 2371], [1094, 2371, 2351], [1094, 3239, 811], [1097, 1490, 2987], [1097, 2987, 1490], [1097, 3338, 5], [1099, 3289, 566], [1105, 1562, 2947], [1105, 2947, 1562], [1105, 3218, 877], [1106, 1631, 2909], [1106, 2909, 1631], [1107, 3198, 945], [1107, 3330, 177], [1114, 2249, 2459], [1114, 2459, 2249], [1115, 2042, 2633], [1115, 2633, 2042], [1118, 2273, 2435], [1118, 2435, 2273], [1121, 3229, 814], [1122, 1413, 3015], [1122, 3015, 1413], [1126, 1129, 3131], [1126, 3131, 1129], [1127, 1730, 2843], [1127, 2843, 1730], [1129, 1339, 3046], [1129, 3046, 1339], [1129, 3131, 1126], [1133, 3185, 958], [1134, 1281, 3069], [1134, 1929, 2709], [1134, 2709, 1929], [1134, 3069, 1281], [1139, 1919, 2714], [1139, 2714, 1919], [1143, 3285, 498], [1154, 2101, 2569], [1154, 2569, 2101], [1154, 3281, 499], [1161, 2091, 2574], [1161, 2214, 2469], [1161, 2469, 2214], [1161, 2574, 2091], [1161, 3306, 261], [1169, 1501, 2954], [1169, 2954, 1501], [1170, 1203, 3087], [1170, 3087, 1203], [1174, 1601, 2899], [1174, 2899, 1601], [1174, 3131, 1079], [1178, 1745, 2813], [1178, 2095, 2563], [1178, 2563, 2095], [1178, 2813, 1745], [1178, 3187, 895], [1178, 3305, 187], [1181, 1994, 2641], [1181, 2641, 1994], [1183, 3283, 410], [1189, 2009, 2626], [1189, 2626, 2009], [1198, 1393, 2995], [1198, 1807, 2765], [1198, 2765, 1807], [1198, 2995, 1393], [1199, 2029, 2606], [1199, 2606, 2029], [1199, 3229, 694], [1202, 3205, 793], [1203, 1962, 2655], [1203, 2655, 1962], [1203, 3087, 1170], [1205, 3262, 503], [1206, 3249, 579], [1210, 1673, 2843], [1210, 2843, 1673], [1210, 3257, 523], [1217, 1805, 2758], [1217, 2758, 1805], [1217, 3242, 595], [1223, 1595, 2882], [1223, 2882, 1595], [1225, 1918, 2677], [1225, 2677, 1918], [1226, 1651, 2849], [1226, 2221, 2431], [1226, 2431, 2221], [1226, 2849, 1651], [1227, 1818, 2745], [1227, 2007, 2610], [1227, 2610, 2007], [1227, 2745, 1818], [1233, 2205, 2442], [1233, 2442, 2205], [1233, 3267, 390], [1237, 3250, 503], [1237, 3278, 265], [1243, 2023, 2590], [1243, 2590, 2023], [1251, 1314, 3009], [1251, 2094, 2529], [1251, 2529, 2094], [1251, 3009, 1314], [1251, 3114, 1041], [1251, 3249, 474], [1253, 1415, 2962], [1253, 2962, 1415], [1254, 3159, 891], [1255, 2197, 2438], [1255, 2438, 2197], [1261, 2234, 2401], [1261, 2401, 2234], [1261, 3274, 191], [1262, 1525, 2903], [1262, 2903, 1525], [1265, 3277, 82], [1265, 3278, 13], [1281, 3069, 1134], [1282, 1955, 2623], [1282, 2623, 1955], [1286, 1889, 2669], [1286, 2669, 1889], [1287, 3222, 555], [1294, 1979, 2599], [1294, 2599, 1979], [1295, 3118, 973], [1301, 3191, 686], [1301, 3241, 386], [1303, 2170, 2437], [1303, 2437, 2170], [1303, 3262, 85], [1305, 1323, 2982], [1305, 2982, 1323], [1309, 1439, 2926], [1309, 1586, 2849], [1309, 1681, 2794], [1309, 2794, 1681], [1309, 2849, 1586], [1309, 2926, 1439], [1309, 3254, 209], [1310, 1793, 2723], [1310, 2263, 2347], [1310, 2347, 2263], [1310, 2723, 1793], [1314, 1881, 2661], [1314, 2661, 1881], [1314, 3009, 1251], [1315, 2063, 2522], [1315, 2522, 2063], [1321, 2134, 2459], [1321, 2459, 2134], [1323, 2982, 1305], [1323, 3255, 18], [1339, 3046, 1129], [1341, 3066, 1071], [1343, 1702, 2765], [1343, 2765, 1702], [1345, 3197, 562], [1346, 3061, 1079], [1346, 3169, 701], [1349, 3134, 839], [1349, 3191, 586], [1350, 3213, 447], [1354, 3241, 91], [1357, 2065, 2498], [1357, 2498, 2065], [1357, 3073, 1030], [1358, 2183, 2395], [1358, 2395, 2183], [1359, 3171, 666], [1370, 3193, 523], [1378, 3163, 665], [1381, 3191, 506], [1385, 3227, 118], [1387, 1822, 2665], [1387, 2665, 1822], [1390, 3227, 7], [1391, 2269, 2294], [1391, 2294, 2269], [1391, 3226, 61], [1393, 2995, 1198], [1394, 1489, 2861], [1394, 2861, 1489], [1394, 3191, 469], [1402, 1493, 2855], [1402, 2855, 1493], [1403, 1463, 2870], [1403, 2870, 1463], [1405, 3103, 862], [1405, 3218, 127], [1413, 3015, 1122], [1415, 2962, 1253], [1419, 3159, 594], [1422, 2205, 2337], [1422, 2337, 2205], [1422, 3213, 15], [1423, 1730, 2707], [1423, 2707, 1730], [1423, 3043, 1030], [1426, 3211, 41], [1427, 1682, 2735], [1427, 1918, 2575], [1427, 2575, 1918], [1427, 2735, 1682], [1430, 2123, 2407], [1430, 2407, 2123], [1433, 1717, 2710], [1433, 2267, 2270], [1433, 2270, 2267], [1433, 2710, 1717], [1433, 3158, 565], [1433, 3205, 142], [1435, 3058, 967], [1435, 3193, 302], [1439, 2926, 1309], [1442, 1733, 2695], [1442, 2695, 1733], [1447, 1562, 2795], [1447, 2795, 1562], [1449, 1611, 2766], [1449, 2094, 2421], [1449, 2421, 2094], [1449, 2766, 1611], [1449, 3114, 741], [1449, 3186, 309], [1462, 3185, 253], [1463, 2870, 1403], [1463, 3178, 325], [1470, 3123, 657], [1471, 2141, 2366], [1471, 2366, 2141], [1475, 2207, 2302], [1475, 2302, 2207], [1477, 3118, 665], [1478, 1715, 2687], [1478, 2245, 2263], [1478, 2263, 2245], [1478, 2687, 1715], [1478, 3095, 763], [1478, 3187, 65], [1486, 1499, 2809], [1486, 2171, 2329], [1486, 2329, 2171], [1486, 2809, 1499], [1489, 2861, 1394], [1490, 2233, 2267], [1490, 2267, 2233], [1490, 2987, 1097], [1493, 2855, 1402], [1499, 2809, 1486], [1501, 2954, 1169], [1501, 3094, 721], [1503, 1770, 2637], [1503, 2637, 1770], [1507, 1777, 2630], [1507, 2630, 1777], [1507, 3130, 527], [1510, 3053, 863], [1510, 3163, 247], [1513, 1622, 2725], [1513, 2725, 1622], [1517, 2050, 2417], [1517, 2417, 2050], [1517, 3142, 415], [1519, 3011, 986], [1519, 3154, 301], [1521, 3114, 579], [1525, 1913, 2522], [1525, 2522, 1913], [1525, 2903, 1262], [1525, 3017, 958], [1525, 3158, 217], [1539, 2226, 2241], [1539, 2241, 2226], [1541, 1559, 2746], [1541, 1966, 2471], [1541, 2471, 1966], [1541, 2746, 1559], [1541, 3094, 631], [1541, 3106, 569], [1546, 1631, 2701], [1546, 2701, 1631], [1547, 1610, 2713], [1547, 2713, 1610], [1550, 3017, 917], [1550, 3073, 707], [1555, 1882, 2527], [1555, 2182, 2273], [1555, 2273, 2182], [1555, 2527, 1882], [1559, 2746, 1541], [1561, 1931, 2486], [1561, 2486, 1931], [1562, 2795, 1447], [1562, 2947, 1105], [1567, 1930, 2483], [1567, 2483, 1930], [1567, 3110, 467], [1570, 1717, 2633], [1570, 2633, 1717], [1583, 3010, 883], [1583, 3050, 733], [1586, 2849, 1309], [1589, 1799, 2566], [1589, 2566, 1799], [1591, 3026, 811], [1591, 3131, 106], [1594, 2189, 2239], [1594, 2239, 2189], [1594, 3131, 41], [1595, 2002, 2407], [1595, 2407, 2002], [1595, 2882, 1223], [1601, 1699, 2626], [1601, 2189, 2234], [1601, 2234, 2189], [1601, 2626, 1699], [1601, 2899, 1174], [1601, 3086, 509], [1603, 2975, 962], [1609, 3106, 331], [1610, 2713, 1547], [1610, 3073, 557], [1611, 2766, 1449], [1611, 3114, 231], [1618, 2945, 1027], [1622, 2087, 2315], [1622, 2315, 2087], [1622, 2725, 1513], [1622, 2995, 863], [1622, 3113, 155], [1629, 2934, 1041], [1631, 2701, 1546], [1631, 2909, 1106], [1633, 2995, 842], [1633, 3110, 83], [1635, 3087, 378], [1638, 2997, 825], [1638, 3105, 147], [1639, 1771, 2554], [1639, 2554, 1771], [1639, 3026, 709], [1643, 3065, 502], [1646, 1679, 2611], [1646, 2611, 1679], [1647, 2925, 1038], [1651, 2849, 1226], [1658, 3095, 133], [1666, 2969, 869], [1666, 3031, 619], [1667, 1930, 2417], [1667, 2417, 1930], [1673, 2843, 1210], [1673, 2890, 1093], [1675, 2938, 953], [1675, 2998, 743], [1678, 1895, 2437], [1678, 2437, 1895], [1678, 3085, 113], [1679, 2179, 2186], [1679, 2186, 2179], [1679, 2611, 1646], [1681, 2794, 1309], [1681, 2926, 979], [1682, 2735, 1427], [1686, 3051, 441], [1693, 2945, 898], [1693, 3073, 190], [1694, 2089, 2261], [1694, 2261, 2089], [1697, 3010, 637], [1699, 2626, 1601], [1701, 1929, 2394], [1701, 2394, 1929], [1702, 2765, 1343], [1709, 1871, 2434], [1709, 2434, 1871], [1709, 2879, 1066], [1710, 1713, 2547], [1710, 2547, 1713], [1710, 2997, 663], [1713, 2547, 1710], [1715, 2687, 1478], [1715, 3007, 602], [1717, 2633, 1570], [1717, 2710, 1433], [1717, 3058, 215], [1717, 3065, 58], [1721, 2954, 811], [1730, 2707, 1423], [1730, 2843, 1127], [1733, 2695, 1442], [1733, 3017, 490], [1738, 2003, 2305], [1738, 2305, 2003], [1738, 3053, 65], [1741, 2074, 2239], [1741, 2239, 2074], [1741, 3046, 191], [1745, 2813, 1178], [1745, 2963, 722], [1745, 3037, 278], [1745, 3043, 202], [1755, 3033, 258], [1757, 1777, 2470], [1757, 2470, 1777], [1759, 2029, 2266], [1759, 2266, 2029], [1763, 1778, 2465], [1763, 2465, 1778], [1763, 2975, 622], [1765, 3017, 358], [1765, 3022, 313], [1766, 3011, 401], [1770, 2007, 2277], [1770, 2277, 2007], [1770, 2637, 1503], [1770, 2907, 873], [1770, 3033, 117], [1771, 2554, 1639], [1777, 2470, 1757], [1777, 2630, 1507], [1778, 2465, 1763], [1778, 2995, 463], [1782, 1827, 2415], [1782, 2415, 1827], [1782, 2877, 945], [1783, 2942, 715], [1793, 2723, 1310], [1797, 1962, 2295], [1797, 2295, 1962], [1797, 3015, 162], [1798, 2843, 1015], [1799, 2566, 1589], [1799, 2954, 619], [1805, 1903, 2338], [1805, 2338, 1903], [1805, 2758, 1217], [1807, 2030, 2227], [1807, 2227, 2030], [1807, 2765, 1198], [1814, 1951, 2291], [1814, 2291, 1951], [1818, 2745, 1227], [1818, 2823, 1035], [1822, 2665, 1387], [1822, 2813, 1055], [1827, 2415, 1782], [1834, 2089, 2149], [1834, 2149, 2089], [1834, 2909, 721], [1841, 2941, 554], [1847, 2890, 763], [1847, 2987, 110], [1862, 2855, 853], [1863, 2955, 378], [1867, 2855, 842], [1870, 2917, 583], [1871, 2434, 1709], [1871, 2974, 19], [1875, 2898, 657], [1878, 2925, 513], [1881, 2091, 2106], [1881, 2106, 2091], [1881, 2661, 1314], [1882, 2527, 1555], [1882, 2777, 1045], [1885, 2918, 527], [1889, 2669, 1286], [1891, 2954, 209], [1895, 2437, 1678], [1899, 1959, 2214], [1899, 2214, 1959], [1903, 2338, 1805], [1910, 2947, 113], [1913, 2522, 1525], [1913, 2878, 635], [1918, 1973, 2185], [1918, 2027, 2135], [1918, 2135, 2027], [1918, 2185, 1973], [1918, 2575, 1427], [1918, 2677, 1225], [1919, 2714, 1139], [1929, 2394, 1701], [1929, 2709, 1134], [1930, 2417, 1667], [1930, 2483, 1567], [1930, 2827, 793], [1930, 2857, 677], [1931, 2486, 1561], [1946, 1961, 2171], [1946, 2171, 1961], [1946, 2731, 1049], [1951, 2291, 1814], [1954, 2791, 859], [1955, 2623, 1282], [1955, 2897, 362], [1958, 2767, 925], [1958, 2917, 55], [1959, 2214, 1899], [1961, 2171, 1946], [1962, 2295, 1797], [1962, 2655, 1203], [1966, 2471, 1541], [1966, 2749, 961], [1969, 2899, 254], [1973, 2185, 1918], [1973, 2905, 118], [1975, 2843, 602], [1975, 2882, 373], [1979, 2599, 1294], [1979, 2809, 734], [1987, 2897, 70], [1990, 2893, 127], [1991, 2891, 154], [1994, 2641, 1181], [2002, 2407, 1595], [2002, 2815, 643], [2002, 2843, 505], [2003, 2305, 1738], [2003, 2863, 370], [2007, 2277, 1770], [2007, 2610, 1227], [2009, 2626, 1189], [2009, 2779, 766], [2014, 2879, 29], [2023, 2590, 1243], [2027, 2135, 1918], [2027, 2870, 7], [2029, 2266, 1759], [2029, 2606, 1199], [2029, 2714, 929], [2029, 2854, 289], [2030, 2227, 1807], [2030, 2843, 377], [2038, 2855, 203], [2042, 2633, 1115], [2043, 2745, 798], [2043, 2823, 450], [2050, 2417, 1517], [2053, 2710, 887], [2057, 2827, 350], [2063, 2522, 1315], [2063, 2822, 355], [2065, 2498, 1357], [2065, 2842, 67], [2070, 2673, 957], [2071, 2821, 314], [2074, 2239, 1741], [2079, 2646, 1011], [2086, 2779, 521], [2087, 2315, 1622], [2087, 2795, 422], [2089, 2149, 1834], [2089, 2261, 1694], [2089, 2786, 469], [2089, 2821, 154], [2091, 2106, 1881], [2091, 2574, 1161], [2093, 2702, 815], [2093, 2815, 202], [2094, 2421, 1449], [2094, 2529, 1251], [2095, 2563, 1178], [2095, 2717, 758], [2098, 2707, 785], [2101, 2569, 1154], [2102, 2743, 635], [2105, 2798, 293], [2106, 2739, 639], [2107, 2695, 802], [2113, 2690, 803], [2119, 2654, 901], [2123, 2407, 1430], [2123, 2770, 407], [2126, 2581, 1079], [2129, 2749, 506], [2133, 2658, 855], [2134, 2459, 1321], [2134, 2689, 749], [2138, 2597, 1015], [2141, 2366, 1471], [2141, 2786, 1], [2150, 2777, 107], [2151, 2766, 261], [2170, 2437, 1303], [2171, 2329, 1486], [2175, 2547, 1062], [2175, 2718, 477], [2179, 2186, 1679], [2179, 2746, 239], [2182, 2273, 1555], [2182, 2735, 323], [2183, 2395, 1358], [2183, 2750, 133], [2189, 2234, 1601], [2189, 2239, 1594], [2197, 2438, 1255], [2199, 2709, 414], [2205, 2337, 1422], [2205, 2442, 1233], [2205, 2577, 918], [2205, 2673, 582], [2207, 2302, 1475], [2214, 2469, 1161], [2218, 2725, 23], [2219, 2674, 521], [2221, 2431, 1226], [2221, 2626, 719], [2225, 2518, 1027], [2225, 2702, 307], [2226, 2241, 1539], [2226, 2619, 729], [2233, 2267, 1490], [2234, 2401, 1261], [2234, 2569, 869], [2234, 2669, 481], [2241, 2634, 621], [2245, 2263, 1478], [2249, 2459, 1114], [2261, 2681, 214], [2263, 2347, 1310], [2263, 2603, 670], [2263, 2645, 478], [2266, 2459, 1079], [2267, 2270, 1433], [2269, 2294, 1391], [2269, 2534, 881], [2273, 2435, 1118], [2282, 2645, 377], [2283, 2610, 567], [2287, 2578, 685], [2294, 2519, 859], [2295, 2658, 117], [2302, 2435, 1057], [2311, 2501, 866], [2311, 2581, 586], [2322, 2637, 15], [2331, 2526, 729], [2333, 2417, 1030], [2337, 2547, 630], [2338, 2615, 203], [2339, 2479, 854], [2339, 2606, 289], [2351, 2371, 1094], [2351, 2611, 34], [2353, 2435, 938], [2353, 2563, 490], [2361, 2421, 954], [2375, 2522, 587], [2387, 2530, 497], [2393, 2555, 302], [2395, 2567, 142], [2401, 2419, 854], [2402, 2465, 707], [2415, 2547, 162], [2417, 2435, 758], [2417, 2525, 358], [2417, 2542, 205], [2437, 2470, 553], [2437, 2522, 215], [2459, 2494, 281]]