src/Inputs.hs

{-# LANGUAGE QuasiQuotes #-}

module Inputs where

import Text.RawString.QQ

day1 :: [Int]
day1 = [127, 147, 148, 147, 146, 153, 154, 167, 184, 181, 194, 183, 188, 195, 193, 207, 208, 220, 222, 234, 226, 247, 248, 253, 257, 250, 251, 285, 293, 294, 314, 311, 305, 312, 318, 321, 322, 344, 353, 354, 383, 391, 393, 394, 369, 373, 377, 378, 385, 388, 400, 402, 414, 422, 435, 414, 422, 436, 446, 455, 463, 478, 483, 482, 499, 495, 501, 506, 507, 509, 529, 522, 526, 527, 530, 529, 535, 536, 520, 525, 516, 518, 524, 525, 519, 520, 525, 531, 539, 551, 555, 579, 583, 594, 593, 594, 611, 610, 613, 616, 630, 637, 645, 641, 644, 646, 659, 671, 672, 676, 678, 682, 686, 688, 694, 720, 725, 735, 741, 742, 748, 745, 747, 752, 775, 776, 778, 777, 791, 797, 799, 800, 801, 806, 802, 804, 808, 817, 815, 817, 825, 830, 838, 839, 848, 849, 856, 861, 868, 875, 881, 875, 877, 858, 867, 861, 865, 855, 856, 857, 858, 859, 863, 866, 860, 871, 884, 882, 893, 904, 905, 917, 938, 951, 957, 958, 963, 967, 979, 980, 979, 980, 995, 994, 992, 994, 996, 998, 1007, 992, 1026, 1027, 1019, 1024, 1023, 1039, 1026, 1038, 1045, 1050, 1059, 1056, 1059, 1060, 1057, 1058, 1060, 1072, 1092, 1101, 1110, 1116, 1155, 1166, 1187, 1189, 1190, 1202, 1207, 1208, 1224, 1239, 1237, 1243, 1242, 1261, 1284, 1283, 1284, 1283, 1298, 1287, 1283, 1280, 1277, 1280, 1309, 1314, 1315, 1321, 1323, 1324, 1332, 1356, 1358, 1360, 1363, 1364, 1365, 1367, 1366, 1382, 1398, 1400, 1407, 1421, 1444, 1449, 1461, 1464, 1465, 1471, 1475, 1466, 1475, 1476, 1479, 1494, 1500, 1519, 1521, 1531, 1539, 1533, 1544, 1547, 1561, 1562, 1561, 1574, 1580, 1581, 1588, 1589, 1591, 1604, 1600, 1601, 1606, 1607, 1614, 1599, 1604, 1606, 1605, 1611, 1612, 1615, 1616, 1618, 1619, 1621, 1624, 1639, 1643, 1637, 1644, 1645, 1644, 1639, 1652, 1665, 1677, 1683, 1687, 1694, 1700, 1706, 1696, 1691, 1727, 1728, 1732, 1739, 1751, 1749, 1762, 1774, 1773, 1769, 1770, 1774, 1766, 1767, 1775, 1759, 1760, 1759, 1770, 1776, 1777, 1781, 1782, 1783, 1784, 1785, 1796, 1805, 1807, 1808, 1809, 1810, 1806, 1803, 1805, 1806, 1808, 1807, 1794, 1796, 1818, 1824, 1827, 1830, 1818, 1831, 1834, 1844, 1846, 1857, 1865, 1866, 1888, 1890, 1891, 1895, 1904, 1912, 1910, 1911, 1931, 1929, 1933, 1944, 1946, 1958, 1968, 1982, 1983, 1980, 1957, 1961, 1968, 1966, 1968, 1970, 1975, 1978, 1983, 1991, 1995, 1997, 2017, 2018, 2022, 2025, 2038, 2039, 2042, 2068, 2065, 2068, 2070, 2071, 2079, 2081, 2084, 2085, 2086, 2100, 2104, 2106, 2107, 2116, 2125, 2129, 2131, 2132, 2133, 2141, 2128, 2121, 2113, 2103, 2120, 2117, 2119, 2120, 2135, 2136, 2148, 2151, 2133, 2134, 2140, 2150, 2166, 2167, 2169, 2172, 2175, 2178, 2187, 2188, 2189, 2186, 2187, 2206, 2239, 2238, 2244, 2238, 2239, 2207, 2208, 2209, 2210, 2211, 2210, 2217, 2219, 2220, 2222, 2224, 2229, 2234, 2237, 2234, 2240, 2237, 2239, 2245, 2244, 2245, 2239, 2238, 2263, 2266, 2269, 2278, 2291, 2292, 2295, 2296, 2298, 2299, 2306, 2310, 2321, 2326, 2335, 2338, 2339, 2340, 2345, 2350, 2354, 2355, 2374, 2373, 2379, 2381, 2396, 2394, 2400, 2405, 2411, 2412, 2423, 2426, 2431, 2432, 2428, 2429, 2444, 2459, 2470, 2454, 2458, 2460, 2464, 2468, 2482, 2483, 2487, 2509, 2505, 2507, 2487, 2504, 2499, 2508, 2540, 2550, 2551, 2554, 2555, 2537, 2541, 2529, 2525, 2533, 2534, 2535, 2536, 2511, 2518, 2537, 2536, 2549, 2550, 2563, 2594, 2597, 2602, 2608, 2619, 2638, 2642, 2645, 2649, 2654, 2667, 2672, 2689, 2710, 2713, 2730, 2726, 2731, 2739, 2733, 2722, 2720, 2722, 2723, 2724, 2733, 2743, 2759, 2743, 2741, 2742, 2751, 2757, 2759, 2761, 2771, 2810, 2805, 2815, 2820, 2822, 2825, 2822, 2836, 2838, 2839, 2837, 2845, 2850, 2853, 2879, 2881, 2886, 2888, 2907, 2908, 2909, 2911, 2924, 2925, 2928, 2929, 2930, 2946, 2947, 2949, 2954, 2936, 2944, 2947, 2953, 2954, 2956, 2971, 2976, 2977, 2968, 2967, 2972, 2973, 2977, 2970, 2975, 2987, 2997, 2996, 2998, 2993, 2996, 2997, 2999, 3031, 3028, 3039, 3043, 3045, 3026, 3028, 3036, 3044, 3046, 3019, 3023, 3020, 3021, 3023, 3025, 3037, 3038, 3039, 3062, 3063, 3081, 3086, 3081, 3082, 3083, 3098, 3105, 3106, 3108, 3110, 3107, 3116, 3125, 3139, 3137, 3143, 3144, 3145, 3159, 3162, 3172, 3173, 3172, 3173, 3174, 3182, 3183, 3177, 3185, 3175, 3178, 3179, 3195, 3210, 3201, 3205, 3202, 3203, 3191, 3188, 3197, 3198, 3206, 3215, 3233, 3240, 3243, 3253, 3254, 3264, 3267, 3289, 3267, 3271, 3280, 3290, 3308, 3307, 3308, 3316, 3320, 3311, 3318, 3331, 3343, 3357, 3358, 3360, 3389, 3402, 3403, 3405, 3407, 3420, 3380, 3372, 3374, 3380, 3357, 3356, 3361, 3356, 3364, 3365, 3366, 3367, 3386, 3387, 3388, 3389, 3406, 3407, 3409, 3413, 3416, 3441, 3443, 3441, 3442, 3446, 3448, 3454, 3453, 3457, 3461, 3467, 3459, 3469, 3482, 3497, 3490, 3497, 3495, 3494, 3495, 3496, 3498, 3494, 3510, 3515, 3535, 3536, 3535, 3544, 3562, 3557, 3546, 3553, 3557, 3558, 3555, 3562, 3571, 3573, 3575, 3591, 3590, 3591, 3592, 3598, 3600, 3608, 3609, 3648, 3653, 3654, 3657, 3655, 3657, 3660, 3669, 3670, 3671, 3667, 3669, 3674, 3676, 3683, 3687, 3688, 3699, 3720, 3719, 3720, 3726, 3729, 3734, 3737, 3757, 3767, 3773, 3774, 3778, 3780, 3779, 3777, 3781, 3782, 3801, 3800, 3798, 3802, 3803, 3806, 3817, 3819, 3834, 3837, 3838, 3839, 3837, 3846, 3850, 3851, 3868, 3865, 3890, 3893, 3895, 3889, 3884, 3886, 3887, 3884, 3886, 3903, 3905, 3906, 3909, 3911, 3922, 3927, 3943, 3953, 3959, 3961, 3960, 3954, 3933, 3932, 3939, 3941, 3942, 3941, 3950, 3951, 3971, 3947, 3953, 3962, 3996, 4017, 4032, 4036, 4040, 4067, 4068, 4073, 4096, 4098, 4097, 4093, 4115, 4118, 4119, 4144, 4148, 4149, 4161, 4173, 4177, 4182, 4185, 4186, 4196, 4184, 4196, 4198, 4210, 4214, 4210, 4217, 4195, 4206, 4192, 4193, 4205, 4208, 4184, 4203, 4204, 4205, 4211, 4205, 4206, 4182, 4193, 4195, 4196, 4212, 4213, 4216, 4215, 4222, 4232, 4230, 4251, 4255, 4256, 4271, 4281, 4279, 4292, 4295, 4301, 4302, 4303, 4285, 4288, 4292, 4294, 4296, 4299, 4282, 4285, 4290, 4318, 4331, 4340, 4335, 4329, 4335, 4347, 4379, 4388, 4375, 4384, 4411, 4415, 4416, 4418, 4416, 4428, 4430, 4431, 4432, 4420, 4436, 4439, 4446, 4458, 4459, 4472, 4468, 4493, 4495, 4468, 4469, 4474, 4475, 4502, 4505, 4516, 4522, 4518, 4519, 4532, 4535, 4540, 4534, 4530, 4534, 4535, 4538, 4544, 4543, 4546, 4543, 4545, 4548, 4550, 4557, 4559, 4560, 4555, 4569, 4576, 4579, 4597, 4596, 4603, 4597, 4596, 4620, 4619, 4617, 4602, 4605, 4606, 4612, 4625, 4626, 4651, 4647, 4650, 4649, 4668, 4674, 4686, 4687, 4695, 4723, 4726, 4739, 4752, 4754, 4765, 4781, 4809, 4797, 4799, 4797, 4796, 4799, 4802, 4804, 4807, 4808, 4809, 4810, 4811, 4820, 4828, 4829, 4830, 4833, 4825, 4829, 4830, 4839, 4844, 4848, 4849, 4858, 4882, 4877, 4878, 4882, 4883, 4869, 4871, 4872, 4876, 4879, 4880, 4878, 4880, 4899, 4921, 4922, 4919, 4920, 4915, 4916, 4917, 4938, 4939, 4940, 4938, 4941, 4943, 4944, 4947, 4967, 4968, 4981, 4982, 4983, 4993, 4994, 4995, 5000, 5001, 5007, 5008, 5007, 5000, 5017, 5026, 5040, 5048, 5050, 5046, 5084, 5083, 5089, 5097, 5101, 5061, 5060, 5078, 5079, 5095, 5096, 5102, 5129, 5126, 5127, 5125, 5127, 5128, 5123, 5129, 5132, 5146, 5156, 5157, 5182, 5198, 5201, 5208, 5211, 5212, 5215, 5217, 5200, 5204, 5205, 5207, 5212, 5218, 5206, 5207, 5214, 5220, 5230, 5236, 5241, 5240, 5245, 5246, 5242, 5240, 5239, 5242, 5232, 5230, 5225, 5232, 5226, 5221, 5224, 5234, 5240, 5263, 5268, 5301, 5303, 5310, 5311, 5332, 5337, 5338, 5339, 5324, 5341, 5346, 5323, 5324, 5325, 5329, 5330, 5331, 5338, 5360, 5361, 5371, 5373, 5362, 5375, 5387, 5393, 5387, 5396, 5417, 5418, 5421, 5422, 5404, 5405, 5412, 5414, 5413, 5444, 5445, 5446, 5447, 5453, 5463, 5473, 5478, 5480, 5484, 5479, 5489, 5494, 5484, 5506, 5500, 5510, 5512, 5519, 5520, 5518, 5523, 5524, 5529, 5533, 5520, 5521, 5522, 5521, 5530, 5535, 5550, 5551, 5544, 5551, 5552, 5549, 5550, 5551, 5547, 5589, 5603, 5612, 5614, 5623, 5622, 5624, 5617, 5639, 5641, 5627, 5630, 5634, 5641, 5646, 5648, 5655, 5679, 5665, 5666, 5669, 5687, 5688, 5692, 5690, 5688, 5691, 5695, 5696, 5697, 5699, 5698, 5715, 5716, 5717, 5744, 5741, 5750, 5743, 5712, 5716, 5717, 5743, 5746, 5749, 5751, 5752, 5761, 5767, 5769, 5784, 5785, 5786, 5784, 5786, 5787, 5790, 5799, 5807, 5808, 5826, 5828, 5826, 5837, 5856, 5876, 5877, 5879, 5887, 5890, 5892, 5894, 5911, 5922, 5935, 5936, 5942, 5950, 5966, 5985, 5986, 5976, 5979, 5976, 5984, 5950, 5951, 5955, 5964, 5965, 5969, 5974, 5990, 6008, 6038, 6045, 6051, 6060, 6066, 6070, 6105, 6120, 6121, 6127, 6149, 6150, 6157, 6162, 6163, 6165, 6185, 6186, 6190, 6191, 6218, 6235, 6250, 6231, 6239, 6229, 6237, 6240, 6241, 6243, 6249, 6264, 6251, 6257, 6276, 6279, 6271, 6290, 6292, 6290, 6293, 6294, 6287, 6289, 6290, 6291, 6293, 6294, 6300, 6295, 6296, 6303, 6332, 6334, 6333, 6340, 6341, 6344, 6345, 6346, 6352, 6356, 6355, 6368, 6370, 6361, 6362, 6359, 6361, 6362, 6368, 6364, 6373, 6374, 6383, 6384, 6385, 6384, 6389, 6388, 6389, 6404, 6410, 6415, 6407, 6406, 6405, 6402, 6407, 6413, 6412, 6398, 6384, 6386, 6407, 6408, 6409, 6408, 6418, 6415, 6416, 6418, 6427, 6434, 6458, 6455, 6456, 6457, 6458, 6468, 6463, 6454, 6455, 6459, 6460, 6464, 6471, 6463, 6480, 6467, 6468, 6470, 6462, 6463, 6464, 6462, 6461, 6463, 6471, 6482, 6459, 6460, 6462, 6469, 6484, 6479, 6481, 6492, 6502, 6477, 6483, 6486, 6488, 6466, 6467, 6463, 6444, 6464, 6466, 6482, 6497, 6498, 6511, 6512, 6517, 6522, 6521, 6524, 6547, 6549, 6553, 6557, 6562, 6563, 6567, 6596, 6597, 6602, 6588, 6620, 6621, 6613, 6608, 6616, 6632, 6648, 6683, 6688, 6693, 6694, 6697, 6707, 6705, 6710, 6722, 6721, 6717, 6731, 6725, 6733, 6749, 6750, 6751, 6752, 6769, 6770, 6777, 6800, 6825, 6834, 6838, 6839, 6854, 6862, 6863, 6867, 6858, 6854, 6887, 6890, 6891, 6890, 6900, 6899, 6900, 6918, 6922, 6940, 6941, 6946, 6948, 6927, 6928, 6924, 6907, 6910, 6917, 6920, 6931, 6943, 6971, 6973, 6974, 6978, 7001, 7000, 7001, 7017, 7018, 7019, 7020, 7021, 7023, 7027, 6998, 6980, 6979, 6975, 6974, 6984, 6992, 6994, 7003, 7011, 7012, 7029, 7041, 7044, 7063, 7065, 7067, 7069, 7076, 7074, 7076, 7080, 7083, 7086, 7108, 7137, 7141, 7142, 7159, 7160, 7158, 7157, 7165, 7167, 7189, 7193, 7194, 7192, 7196, 7200, 7203, 7209, 7214, 7219, 7209, 7169, 7168, 7169, 7171, 7168, 7170, 7165, 7166, 7176, 7178, 7168, 7165, 7169, 7170, 7171, 7172, 7176, 7177, 7178, 7179, 7174, 7178, 7182, 7158, 7172, 7193, 7199, 7192, 7191, 7194, 7192, 7195, 7199, 7202, 7201, 7216, 7213, 7237, 7256, 7245, 7246, 7249, 7263, 7265, 7262, 7272, 7273, 7294, 7298, 7296, 7300, 7301, 7313, 7314, 7316, 7318, 7326, 7327, 7328, 7330, 7349, 7350, 7366, 7381, 7382, 7383, 7390, 7399, 7382, 7384, 7380, 7381, 7385, 7388, 7402, 7403, 7404, 7405, 7409, 7420, 7424, 7420, 7421, 7426, 7429, 7435, 7425, 7426, 7429, 7452, 7455, 7474, 7469, 7472, 7473, 7466, 7461, 7462, 7470, 7472, 7474, 7480, 7474, 7475, 7473, 7472, 7475, 7484, 7472, 7473, 7489, 7491, 7514, 7516, 7509, 7510, 7513, 7514, 7539, 7549, 7571, 7582, 7570, 7573, 7574, 7575, 7576, 7581, 7589, 7587, 7590, 7592, 7598, 7625, 7627, 7626, 7627, 7633, 7638, 7640, 7641, 7645, 7657, 7669, 7670, 7654, 7681, 7682, 7679, 7689, 7690, 7696, 7709, 7718, 7723, 7721, 7722, 7728, 7751, 7764, 7756, 7747, 7748, 7757, 7766, 7779, 7784, 7785, 7804, 7805, 7808, 7809, 7808, 7834, 7836, 7837, 7853, 7854, 7855, 7866, 7901, 7920, 7930, 7931, 7928, 7931, 7916, 7917, 7947, 7948, 7952, 7948, 7985, 7984, 7988, 7998, 8004, 8017, 8016, 8033, 8035, 8039, 8053, 8062, 8063, 8064, 8068, 8085, 8104, 8103, 8104, 8107, 8113, 8116, 8127, 8129, 8119, 8117, 8139, 8140, 8142, 8151, 8153, 8168, 8169, 8172, 8161, 8162, 8165, 8168, 8176, 8180, 8182, 8188, 8196, 8197, 8209, 8211, 8212, 8219, 8222, 8187, 8191, 8192, 8207, 8208, 8211, 8213, 8196, 8207, 8215, 8214, 8217, 8207, 8208, 8209, 8228, 8233, 8241, 8245, 8257, 8258, 8257, 8258, 8259, 8263, 8269, 8273, 8276, 8274, 8269, 8276, 8279, 8280, 8267, 8263, 8266, 8264, 8266, 8267, 8270, 8272, 8271, 8280, 8286, 8296, 8312, 8314, 8320, 8322, 8335, 8339, 8340, 8338, 8367, 8401, 8415, 8416, 8419, 8420, 8426, 8427, 8425, 8440, 8438, 8447, 8446, 8453, 8486, 8492, 8488, 8503, 8512, 8525, 8523, 8508, 8520, 8522, 8547, 8552, 8542, 8541, 8561, 8562, 8583, 8584, 8585, 8586, 8594, 8593]

day2 :: [Text]
day2 = ["forward 9", "down 9", "up 4", "down 5", "down 6", "up 6", "down 7", "down 1", "forward 6", "down 4", "forward 8", "up 5", "forward 9", "down 1", "down 4", "up 4", "up 5", "up 4", "down 1", "forward 8", "down 1", "forward 2", "forward 8", "down 9", "forward 2", "down 6", "down 2", "up 8", "down 6", "forward 9", "forward 7", "down 6", "forward 3", "down 2", "forward 4", "down 5", "up 2", "down 9", "down 8", "up 5", "forward 5", "forward 4", "up 9", "forward 9", "down 8", "forward 8", "forward 2", "up 8", "down 7", "forward 8", "down 3", "forward 6", "up 9", "forward 9", "forward 4", "forward 9", "forward 6", "down 4", "up 2", "forward 4", "up 5", "up 6", "forward 9", "down 3", "forward 4", "forward 9", "down 1", "forward 1", "up 6", "up 4", "forward 7", "up 7", "up 3", "forward 2", "forward 8", "forward 6", "down 4", "forward 2", "forward 3", "down 7", "down 5", "down 8", "down 5", "forward 1", "down 8", "down 2", "down 8", "down 3", "forward 4", "forward 8", "forward 9", "down 1", "forward 8", "down 1", "down 6", "down 7", "down 7", "forward 5", "forward 3", "down 2", "down 1", "forward 2", "forward 1", "down 6", "down 4", "up 5", "up 9", "down 4", "forward 9", "down 2", "down 5", "down 4", "down 2", "forward 2", "forward 4", "forward 6", "forward 6", "forward 3", "down 6", "up 5", "forward 8", "forward 3", "down 9", "down 3", "forward 4", "forward 2", "down 9", "down 8", "down 7", "down 3", "forward 2", "down 7", "down 3", "down 5", "forward 6", "up 9", "up 8", "forward 5", "down 6", "down 1", "down 6", "down 5", "forward 7", "down 2", "forward 8", "forward 7", "forward 2", "forward 8", "up 6", "forward 5", "down 2", "down 5", "up 8", "up 6", "forward 1", "down 4", "up 5", "up 5", "up 5", "forward 4", "up 1", "forward 3", "down 9", "down 6", "up 1", "forward 1", "forward 2", "forward 1", "forward 4", "forward 6", "forward 6", "up 7", "down 7", "down 7", "down 9", "forward 9", "down 1", "down 5", "down 1", "down 7", "down 1", "up 6", "forward 2", "down 4", "up 3", "up 2", "forward 6", "up 4", "down 1", "down 5", "forward 9", "up 4", "up 3", "forward 3", "up 7", "forward 2", "forward 5", "down 9", "forward 7", "forward 4", "down 1", "up 2", "forward 4", "up 4", "down 2", "forward 4", "up 5", "up 1", "down 9", "down 3", "up 6", "forward 7", "up 7", "forward 2", "down 4", "up 3", "up 3", "forward 4", "up 5", "down 3", "up 8", "forward 6", "forward 8", "down 1", "down 9", "down 7", "forward 7", "forward 5", "forward 2", "up 9", "forward 3", "forward 1", "down 7", "down 6", "forward 5", "up 3", "forward 6", "down 4", "forward 9", "down 7", "forward 9", "down 9", "down 5", "down 6", "down 2", "down 2", "down 8", "down 3", "down 9", "forward 5", "up 6", "forward 1", "down 3", "down 2", "up 1", "up 6", "forward 3", "down 6", "down 6", "up 9", "up 8", "forward 2", "down 7", "forward 5", "up 9", "down 7", "down 3", "forward 2", "forward 2", "up 9", "forward 1", "forward 7", "down 9", "forward 6", "forward 7", "up 8", "down 7", "down 5", "down 3", "up 6", "down 5", "forward 6", "down 9", "down 6", "up 9", "down 7", "forward 2", "down 5", "up 4", "down 4", "down 8", "forward 7", "down 9", "forward 8", "forward 6", "down 7", "down 1", "forward 5", "up 6", "forward 4", "up 7", "up 4", "up 5", "forward 9", "forward 5", "forward 4", "down 6", "down 5", "forward 2", "forward 7", "down 8", "forward 3", "up 5", "down 2", "up 3", "forward 4", "up 5", "up 2", "forward 4", "forward 1", "forward 1", "forward 4", "forward 4", "down 2", "forward 1", "forward 1", "up 5", "up 7", "down 8", "down 4", "forward 2", "forward 2", "down 3", "forward 7", "down 8", "up 3", "forward 2", "down 2", "forward 3", "up 2", "forward 3", "up 6", "down 7", "up 7", "down 3", "up 9", "forward 3", "forward 7", "down 7", "up 9", "down 6", "down 2", "forward 8", "forward 8", "up 7", "down 6", "forward 2", "forward 1", "down 4", "up 2", "forward 6", "up 7", "down 5", "up 1", "forward 3", "forward 9", "up 4", "forward 5", "forward 8", "down 3", "up 5", "forward 9", "down 6", "up 9", "forward 5", "down 4", "down 1", "down 6", "up 9", "up 2", "forward 5", "down 1", "up 3", "down 5", "forward 2", "down 4", "forward 5", "down 6", "down 4", "down 4", "forward 1", "down 7", "down 2", "forward 4", "forward 5", "up 9", "down 6", "down 2", "forward 7", "up 8", "down 9", "forward 7", "down 5", "down 2", "down 8", "down 8", "up 4", "up 3", "down 3", "down 7", "forward 4", "forward 6", "down 4", "up 7", "forward 4", "forward 4", "forward 1", "down 3", "down 2", "forward 7", "forward 2", "up 9", "down 7", "up 7", "forward 2", "forward 6", "forward 9", "down 3", "forward 7", "forward 5", "up 5", "up 1", "forward 6", "forward 4", "down 2", "forward 3", "forward 9", "down 1", "forward 6", "forward 7", "forward 1", "up 7", "up 4", "forward 7", "forward 8", "down 7", "down 8", "down 9", "forward 7", "down 9", "up 6", "down 7", "up 3", "down 7", "forward 4", "forward 9", "forward 1", "down 4", "forward 1", "up 4", "up 4", "forward 9", "forward 8", "up 4", "down 2", "forward 4", "forward 2", "forward 8", "down 2", "up 6", "down 4", "forward 6", "forward 5", "down 2", "forward 9", "down 5", "forward 5", "down 3", "down 2", "up 9", "down 3", "forward 6", "forward 6", "up 9", "down 1", "forward 4", "up 3", "forward 1", "forward 3", "forward 3", "down 6", "down 2", "forward 8", "down 4", "forward 8", "forward 8", "forward 5", "up 6", "forward 3", "down 1", "down 8", "forward 3", "forward 4", "down 2", "down 7", "up 8", "forward 3", "forward 8", "up 2", "forward 6", "down 4", "forward 9", "forward 5", "down 1", "forward 6", "forward 2", "down 3", "up 4", "down 7", "down 2", "up 2", "forward 7", "down 6", "down 2", "up 5", "up 5", "down 9", "down 7", "down 3", "down 1", "down 9", "forward 4", "down 4", "forward 7", "forward 8", "forward 4", "up 6", "forward 6", "forward 9", "down 2", "forward 4", "down 8", "down 4", "forward 5", "forward 2", "up 4", "down 3", "up 8", "up 1", "down 1", "forward 9", "up 3", "up 1", "forward 1", "forward 7", "forward 1", "down 7", "forward 7", "forward 7", "down 7", "forward 4", "up 6", "forward 3", "down 1", "up 1", "up 8", "forward 5", "forward 2", "up 4", "forward 7", "down 2", "down 3", "down 8", "up 7", "up 5", "forward 8", "down 5", "down 3", "down 9", "forward 6", "forward 4", "down 9", "up 5", "forward 3", "up 7", "up 9", "up 1", "forward 1", "forward 3", "forward 1", "up 8", "up 4", "down 1", "down 8", "down 3", "down 1", "down 1", "down 9", "forward 4", "down 3", "forward 9", "forward 2", "down 1", "forward 9", "up 7", "forward 6", "up 4", "forward 8", "forward 3", "down 2", "down 2", "down 2", "up 5", "forward 1", "up 1", "forward 7", "down 1", "forward 1", "down 8", "up 4", "up 1", "forward 7", "down 8", "down 9", "forward 2", "forward 1", "up 3", "forward 4", "up 8", "forward 5", "down 2", "forward 6", "forward 8", "up 9", "forward 2", "down 7", "down 4", "up 3", "forward 1", "forward 6", "forward 9", "down 1", "down 8", "down 1", "down 2", "forward 3", "forward 9", "forward 2", "forward 4", "forward 7", "forward 3", "up 8", "up 9", "forward 3", "forward 6", "down 5", "up 6", "down 8", "forward 5", "up 4", "up 9", "forward 6", "forward 3", "up 9", "forward 8", "forward 5", "forward 9", "forward 7", "up 6", "forward 3", "forward 1", "up 4", "forward 9", "forward 8", "up 1", "up 2", "down 3", "down 4", "down 9", "down 4", "down 5", "down 6", "down 2", "down 5", "forward 6", "forward 4", "up 2", "up 7", "down 5", "down 9", "forward 3", "down 5", "forward 6", "down 7", "forward 1", "forward 7", "forward 9", "forward 7", "forward 4", "forward 4", "up 1", "up 4", "down 6", "up 2", "up 1", "down 4", "forward 2", "down 4", "forward 6", "down 3", "up 6", "down 2", "up 3", "forward 1", "forward 9", "forward 3", "up 9", "forward 7", "forward 5", "forward 4", "down 5", "down 9", "forward 6", "forward 7", "up 1", "forward 7", "forward 2", "forward 2", "forward 5", "forward 6", "down 3", "down 7", "down 3", "down 4", "down 6", "down 1", "forward 2", "down 8", "forward 4", "forward 7", "up 1", "down 4", "down 1", "down 2", "down 3", "up 3", "forward 9", "forward 2", "down 8", "up 3", "forward 8", "forward 7", "up 8", "down 8", "forward 2", "down 9", "down 9", "down 5", "forward 1", "forward 3", "forward 6", "up 1", "up 2", "forward 1", "down 3", "up 6", "forward 2", "forward 8", "forward 2", "down 3", "forward 8", "forward 9", "down 7", "down 3", "down 2", "down 9", "down 3", "up 6", "forward 9", "forward 5", "forward 1", "forward 9", "down 9", "up 2", "down 1", "up 6", "forward 6", "down 3", "forward 6", "forward 3", "forward 5", "forward 4", "up 2", "up 4", "up 6", "forward 1", "forward 6", "up 6", "up 4", "up 7", "down 8", "down 5", "up 1", "up 1", "down 5", "forward 5", "down 9", "forward 8", "down 3", "up 4", "down 9", "down 1", "forward 2", "forward 9", "down 3", "down 8", "down 5", "down 6", "forward 7", "forward 1", "down 9", "down 7", "forward 8", "forward 2", "up 1", "up 1", "forward 7", "up 1", "forward 2", "down 9", "up 4", "forward 5", "down 1", "up 1", "down 8", "down 3", "up 1", "down 8", "down 7", "down 2", "forward 9", "down 5", "forward 2", "up 2", "up 6", "up 4", "forward 6", "up 5", "forward 5", "forward 4", "forward 8", "down 8", "down 6", "down 1", "down 3", "down 6", "forward 8", "up 1", "up 5", "down 4", "forward 4", "down 9", "forward 4", "up 6", "down 7", "forward 4", "down 3", "down 4", "forward 1", "forward 3", "down 1", "down 7", "up 8", "down 3", "down 4", "down 3", "forward 3", "down 8", "forward 8", "down 3", "down 7", "forward 2", "up 2", "forward 7", "down 9", "up 7", "forward 5", "down 2", "down 5", "up 4", "up 8", "forward 8", "forward 9", "forward 8", "down 8", "forward 6", "forward 9", "forward 6", "forward 8", "forward 6", "forward 8", "forward 2", "down 7", "down 3", "forward 7", "down 4", "down 5", "up 1", "forward 5", "down 3", "down 7", "up 4", "forward 9", "down 2", "down 3", "forward 1", "up 6", "down 1", "down 9", "forward 8", "forward 9", "forward 2", "down 6", "down 4", "up 3", "up 8", "forward 1", "down 3", "up 8", "up 7", "down 4", "up 3", "down 7", "down 2", "down 5", "down 7", "down 2", "forward 2", "down 3", "up 2", "forward 8", "up 1", "forward 2", "up 4", "forward 1", "forward 8", "forward 6", "forward 2", "down 2", "forward 5", "up 4", "down 9", "down 7", "forward 2", "down 9", "down 9", "forward 6", "down 8", "down 4", "down 7", "down 9", "forward 7", "forward 7", "up 6", "forward 3", "forward 5", "forward 6", "down 8", "up 1", "forward 2", "up 4", "up 2", "down 8", "down 9", "down 1", "down 3", "forward 7", "forward 5", "forward 6", "up 6", "down 7", "up 8", "up 1", "forward 8", "down 5", "up 1", "down 2", "down 5", "forward 6", "down 4", "forward 5", "down 4", "forward 3", "down 5", "up 4", "up 7", "forward 2", "up 2", "down 8", "forward 6"]

day3 :: [String]
day3 = ["111111010011", "110011001100", "010011111000", "101001100011", "011011100110", "110100011011", "001000001010", "011011101000", "110011001000", "001011101010", "100000001000", "001000000111", "111110110101", "101000100110", "110101110001", "101101010111", "000010001001", "101110010100", "101000101011", "010110100011", "110010011001", "110110011111", "100111000001", "100101010011", "101011011001", "111101110010", "000111000001", "000000000111", "011010111101", "101010100011", "010001001011", "100011010100", "100000011110", "000010110100", "101001110100", "000110110000", "101100101000", "111001100111", "110100001110", "001111000110", "101111101110", "011101111100", "000010001111", "010100101001", "111101000001", "110010111111", "111011001111", "001101011101", "101001111001", "111100000010", "111101101111", "001011000100", "100010001011", "111111001110", "010010111011", "000110010001", "001011100001", "011010101011", "101011000010", "100111010000", "100110010101", "010000100010", "101101100011", "100110000001", "001011011010", "101100111110", "011101101111", "110000011010", "101111000100", "100011000011", "001110000101", "011110110010", "111110010001", "010000111110", "001101100001", "001010101111", "010011011000", "101000101101", "000110111100", "000000100001", "110000101000", "000000001001", "100001111111", "100111111011", "010011110010", "110100101110", "100101110001", "000111011000", "101101111000", "000110001001", "110001101110", "111011001110", "011001111010", "011100000110", "111000000111", "100100011100", "001001111100", "011101001101", "000111110000", "001000110100", "111001000110", "110010001101", "011011010101", "011110011011", "010110001100", "111000001010", "101101000001", "101000011111", "010110011011", "000001101010", "001100001001", "000111111100", "011000101001", "011000101110", "001001100011", "111111111101", "011010100010", "010011010101", "110010101100", "100111101010", "101110000111", "100101010000", "001001110010", "100001100110", "111001011000", "100111010111", "100111111110", "110101010110", "110000001110", "001000110111", "111101000110", "110111101010", "000100001101", "011000011110", "010110000000", "111001111100", "111111000001", "111101001111", "100001011011", "000000110011", "000010011111", "100110001111", "010001011011", "111010100011", "011001111100", "110100001100", "010000000101", "101011001000", "000011001111", "111101111100", "101111001011", "011110011110", "110101111001", "010111000100", "101100100100", "010111100111", "101111011010", "110110110101", "000110111010", "010111010011", "110000111010", "011101001010", "111011101111", "010010000010", "101111110001", "110001101101", "111101001010", "010010110111", "101110110011", "101001100101", "100000000001", "000100000001", "011001101110", "010010111110", "010000011111", "101010101010", "101001010111", "010000001000", "110001001011", "100001110111", "011111110010", "100000100001", "101101100101", "100011110101", "000100111110", "001101010001", "100010111101", "010111100000", "100001010001", "000100111111", "011100011000", "010001100111", "011000011011", "011100000001", "100101100110", "110101010100", "000000001101", "001111100000", "011111000010", "101011010101", "110011011000", "000000111111", "001100101001", "010100110111", "100000010010", "101100010000", "111111111010", "100110000000", "011111001100", "011101001001", "010011100101", "010110010011", "010011000000", "111100011011", "001001010010", "010011001111", "010100000101", "111100110101", "011011110011", "011000110100", "101111110000", "011001000001", "000111100000", "110011111001", "111010000001", "001100011010", "101010010110", "100010111000", "111111010000", "010100111110", "000001010100", "001011101011", "010000111010", "110010100100", "001101110100", "001010001000", "110110101010", "110100101111", "010010101100", "011011111101", "010011001100", "011010011111", "100110010100", "010010011100", "100010010101", "010100111011", "101101010100", "001111111001", "101101111110", "000100101000", "000100001110", "101111001000", "100101110011", "111011111010", "011010100101", "100011000101", "111100100110", "011101111101", "100111101001", "010101110111", "110100100111", "001111100010", "010111100011", "101111011111", "101111111101", "101000001011", "000011010111", "000101001000", "101111101111", "100011101010", "011111100110", "000101010110", "000000001010", "000010110001", "011101010101", "011111010010", "010001110000", "101101000101", "110100010110", "100010100101", "110010111101", "010101111110", "010111011010", "111110011001", "110010000110", "100100111000", "100011100101", "001101011010", "111000110000", "111110010100", "111000111000", "101101000010", "000111101110", "110101011101", "010100010001", "011100001101", "011101000000", "100001011010", "101001010010", "110111011101", "100000010110", "010100110010", "010000111011", "101111111000", "111000111101", "001011110010", "101001000001", "011100110101", "101101011111", "111001101111", "001110100010", "001000011000", "100000000011", "011011100111", "000101010001", "100001110010", "000111101000", "111101101101", "011101011001", "110100010111", "011101100010", "101100110010", "001101010011", "010110010110", "101001010100", "011011000001", "110001111001", "111010011101", "101001111000", "110011011111", "100110110110", "001111011011", "111100111110", "010100000001", "101111010101", "011110100110", "101100111101", "010101100011", "000011000011", "011001001000", "110000001100", "101100000111", "000000011110", "100110000010", "111001111010", "000111001100", "111011111100", "100111001111", "110010100001", "100010001111", "000010000110", "111000101000", "101011110001", "101011011110", "110111111110", "010100101111", "011100110000", "011001101001", "110101111100", "001101110011", "110110001101", "011110111100", "010011101000", "011101101011", "001010001111", "000001001011", "001101110001", "000011001011", "110100110110", "110000111011", "100001111110", "010101010000", "011000000101", "110101001111", "111001010000", "000110110011", "110001001110", "110100111110", "001010010101", "001111011101", "101000010001", "101110100000", "010110111111", "111001001011", "010011000101", "010101010011", "010010100110", "000101000101", "111011100001", "100110110111", "110111011000", "111011110010", "000100011110", "110000111100", "000000101100", "101011010100", "010100100100", "011111101111", "101001100100", "001000011010", "011000001100", "111110100100", "100101110111", "011110110100", "001011011000", "111101011101", "010111011101", "100000100010", "011100111111", "111010100110", "001011101110", "000110111000", "001011110000", "101000110111", "001101001111", "000100001000", "100000110110", "000101100001", "111010111101", "010111001000", "011110001101", "001010011101", "001010111100", "010110111101", "111110001111", "011011010000", "111011111001", "111011010011", "010111010010", "000101110111", "011000010000", "010000100111", "001111110000", "011001101010", "001110001111", "101010000101", "011011001100", "110101000000", "011000111011", "010110001110", "101101001001", "111100001101", "101011000000", "110010000100", "011000111110", "100111100011", "101010100001", "100011101110", "000100110010", "100011111001", "101100100110", "101101011101", "100111000110", "111111100100", "101001111111", "010011111111", "010111000000", "101110001111", "011000110000", "100110110100", "101010000110", "101011000110", "110001110100", "110100111101", "100110101101", "001001101101", "000001011001", "010011001110", "011010010010", "011011011011", "010100000010", "100111001010", "110101011111", "001000101111", "110100100001", "101010111001", "010111011100", "010111011000", "111000101110", "111101000111", "111000110001", "000000111110", "011101110001", "011100100011", "100110001100", "001101000101", "111000110101", "011000101000", "010110110100", "101111101010", "101001011111", "101000111111", "101001110110", "100001010100", "111111101101", "110010111011", "100111000111", "000001111100", "011010101000", "100101101111", "000110011111", "101010011010", "010000101101", "001111001111", "100100110111", "001101000000", "000110101010", "011110001011", "110001100111", "000001101101", "111001001111", "000100010111", "100001000110", "000010110010", "000100001010", "001010100111", "101000010110", "011011011001", "010011010001", "100100011000", "001111110110", "110111100111", "101110110100", "101100001111", "011001010001", "001110110010", "001000111011", "110011000000", "001101010111", "110101100000", "100011111010", "110101000010", "001100010001", "001100110100", "000100000111", "001010111101", "101001101000", "010010000111", "000100000010", "001100000100", "101000100010", "010010100101", "000110111111", "001100100001", "110001101010", "001010110001", "110111110000", "100011100001", "101000010000", "101001000100", "101101011110", "010000110100", "110100110010", "110000010001", "111110101010", "110010101011", "110101110110", "111101101000", "101010100111", "101101101111", "101010110101", "001101010100", "001101101100", "010111001011", "100000011011", "111101001101", "001110010111", "010000110111", "010000110110", "111100110111", "011100111010", "010100011101", "000011011101", "111111110001", "110000111000", "110000110000", "010011110011", "011101000101", "011011001011", "111000011100", "011111111100", "100011001111", "000101111110", "001001110111", "100111011011", "011110110111", "100100010011", "010100110101", "010001101000", "011000001111", "110011110001", "110011000101", "110011100100", "011001001111", "010100000110", "011110010010", "110101010101", "000011011001", "101011110011", "101110011001", "001111000100", "110110111011", "010101001011", "011100100100", "110010000010", "000010000111", "000101100100", "001100100110", "011011101010", "111000010101", "010000000100", "111001110110", "110000110111", "111001001100", "100011111011", "010001001111", "101100110000", "010011011100", "000001000101", "011010011010", "000010111001", "110000101101", "111010011000", "110111011100", "011100001110", "011010001111", "111110010011", "111011010100", "101101001011", "010100001011", "100011101100", "010011101101", "000101010000", "110011011001", "100100010111", "111111010110", "101011111011", "010001110101", "010001010010", "100111100010", "100000110000", "011011000110", "000110000100", "100011110110", "010111000011", "100010100111", "010010000001", "111011001011", "000100010110", "101101011011", "100101010001", "111001111110", "000111100010", "010111011111", "000110010100", "110100000100", "001000100101", "001000100001", "111100001010", "001101010010", "100101100011", "101011001100", "001110000010", "011011010110", "001001011111", "111011100100", "110100111000", "000101100101", "001001110100", "000011000110", "001110101101", "110100111011", "101011101110", "110001001001", "001000001100", "101111111100", "110011000010", "001111001011", "101100101110", "110010111110", "011101110000", "101110010111", "001011000111", "011110010011", "110111001100", "111011110111", "110111110011", "010111100110", "110011000111", "101011011010", "011100000101", "101001111101", "010001000001", "011100100001", "010110101010", "001111101100", "010000000110", "010010010111", "000110110101", "101110110101", "111010000000", "101100011010", "010010100000", "001001000110", "000010101110", "100100110000", "110101100001", "100010011111", "010110111110", "000101100111", "111010000010", "110011010011", "110011101001", "101000100011", "010101000101", "111100111001", "010011101010", "001111101110", "011000110010", "001001000001", "100011111111", "101110100011", "001011101001", "010001011000", "011111101100", "110101010000", "110110101100", "111101110000", "000001011010", "100111001011", "011101000110", "010001000000", "111001000100", "000010100001", "011000101010", "010011010111", "010100100011", "001110011011", "001101110000", "101100000010", "101111000000", "100001111101", "000000011101", "111011010010", "001110101111", "010100001110", "110001110010", "001000011110", "111100000011", "111010100101", "000101011010", "100111110111", "010100000100", "011101001011", "000010011100", "001000010010", "110100000001", "011101100100", "000100110001", "001000000000", "101111110011", "000111010101", "011110100011", "110000001101", "000001001100", "111101110111", "001100001111", "101010001101", "010011000111", "100000000100", "100100011001", "100011100011", "111110100011", "111101100110", "000000101001", "101010100100", "000100010000", "010110001000", "010110010000", "100011000100", "111011011001", "100111111001", "000011101111", "101011001011", "111110100010", "000000010101", "100111000000", "000110010101", "100101011111", "010110011110", "110110110011", "100111011100", "010000100101", "011010101010", "110111000111", "110110000000", "110111101101", "001001101001", "100101101000", "001011100111", "100010110100", "011001111000", "111110000000", "010011101011", "100010111010", "101011101001", "010110000110", "001100010111", "100010000110", "100011001000", "101111011110", "110101101110", "001110101001", "010111111110", "010011110111", "100101001101", "010111001101", "001000110010", "011110001110", "111001110011", "111001001101", "000101110101", "011011100010", "001100011011", "000011110001", "111101111011", "111101100010", "111010001001", "101001101101", "100101011000", "010011000010", "110011000100", "111100001001", "010001110111", "001011110110", "110010011011", "101000000111", "100001110000", "110111110010", "000111011110", "101010101101", "110001000101", "100100001101", "111101100100", "010000001001", "011101001100", "111010100001", "101010010010", "110111010111", "000111011100", "101101111010", "110000010111", "100100100000", "101111011000", "111011101100", "110101101010", "110111101011", "001110100001", "100110110011", "011011011101", "011001011000", "101100011001", "100000011100", "111100010101", "011100010111", "010001111011", "000000101110", "000011011100", "011100010000", "011000001011", "111110101110", "111011010110", "110110000011", "011011010010", "011111101101", "001011001101", "000101011100", "111010001101", "100001010111", "010010100100", "001011111000", "000011010101", "010100001001", "101100101100", "000000100010", "001100110000", "001010010111", "101100110101", "000001011000", "001100110110", "101000111100", "111011111111", "011010010000", "100100111010", "010000101001", "110000110010", "011010001011", "001000001000", "111010100000", "101010101011", "101000110100", "100110000011", "001100011110", "001010100100", "111111101001", "101100001001", "111111011110", "000110001100", "100101000100", "000111101001", "011000000110", "101110001000", "000110001000", "001000100100", "100100010110", "010101110011", "011101111000", "111110010010", "110110100010", "010001001110", "101011101100", "101011011100", "110001111011", "110100010001", "001100110001", "001010111001", "110011111000", "110010101010", "001010001100", "101010001100", "010100010100", "111101100000", "100100000101", "100011011110", "000111111011", "010001101010", "111001101011", "001011001010", "000101100000", "010101011001", "011110010101", "010000110000", "100101101001", "110111110001", "000100011111", "010001101101", "111010110101", "011010011000", "110011100000", "101111100000", "001011011101", "010110000010", "101000001110", "101010000111", "101000101110", "101111001101", "110110001111", "100001011110", "010111110100", "110011000001", "000111000100", "010011100111", "101011011101", "111100001110", "101000110010", "100111111000", "110101101001", "001010010001", "101110011110", "100001001010", "100111001100", "110111101110", "100011000001", "111111010101", "011111111101", "100110111101", "000111001110", "000111011011", "000001001010", "000011010100", "001100001011", "100111010110", "101011000111", "011111100111", "000001000100", "100000101110", "110110100111", "111100000000", "001100001101", "011111100101", "101110001100", "000111000110", "101010111011", "101111001010", "100110010011", "000110101111", "001010000010", "100010000100", "110001000110", "101100100111"]

day4numbers :: [Int]
day4numbers = [10, 80, 6, 69, 22, 99, 63, 92, 30, 67, 28, 93, 0, 50, 65, 87, 38, 7, 91, 60, 57, 40, 84, 51, 27, 12, 44, 88, 64, 35, 39, 74, 61, 55, 31, 48, 81, 89, 62, 37, 94, 43, 29, 14, 95, 8, 78, 49, 90, 97, 66, 70, 25, 68, 75, 45, 42, 23, 9, 96, 56, 72, 59, 32, 85, 3, 71, 79, 18, 24, 33, 19, 15, 20, 82, 26, 21, 13, 4, 98, 83, 34, 86, 5, 2, 73, 17, 54, 1, 77, 52, 58, 76, 36, 16, 46, 41, 47, 11, 53]

day4boards :: [[[Int]]]
day4boards = [[[3, 82, 18, 50, 90], [16, 37, 52, 67, 28], [30, 54, 80, 11, 10], [60, 79, 7, 65, 58], [76, 83, 38, 51, 1]], [[83, 63, 60, 88, 98], [70, 87, 5, 99, 14], [85, 3, 11, 16, 33], [72, 69, 97, 36, 49], [26, 17, 58, 13, 2]], [[30, 80, 64, 53, 69], [36, 0, 32, 46, 70], [13, 31, 22, 95, 15], [12, 35, 5, 84, 21], [39, 60, 68, 83, 47]], [[77, 93, 26, 62, 88], [87, 76, 80, 10, 63], [32, 7, 28, 82, 44], [43, 30, 31, 16, 74], [33, 86, 42, 45, 47]], [[95, 86, 93, 45, 67], [20, 58, 63, 35, 97], [84, 79, 10, 54, 49], [48, 66, 75, 23, 61], [5, 30, 6, 56, 71]], [[75, 8, 85, 12, 98], [37, 51, 91, 24, 23], [50, 54, 81, 53, 33], [72, 57, 52, 25, 6], [56, 40, 95, 87, 22]], [[52, 19, 53, 9, 32], [23, 99, 48, 26, 73], [10, 8, 54, 20, 79], [49, 45, 34, 74, 90], [27, 72, 30, 13, 57]], [[1, 60, 72, 85, 64], [62, 39, 56, 93, 78], [90, 17, 87, 48, 7], [9, 13, 45, 23, 69], [44, 80, 86, 55, 21]], [[86, 57, 25, 98, 18], [42, 75, 38, 9, 66], [54, 19, 99, 87, 49], [33, 32, 53, 8, 6], [17, 68, 24, 58, 95]], [[2, 5, 80, 10, 61], [27, 16, 40, 67, 78], [66, 13, 24, 42, 75], [25, 7, 35, 11, 85], [93, 38, 4, 31, 77]], [[52, 81, 68, 88, 95], [82, 50, 46, 87, 20], [3, 54, 59, 75, 51], [92, 93, 38, 72, 4], [8, 77, 61, 31, 56]], [[45, 16, 8, 44, 62], [92, 23, 42, 20, 74], [73, 83, 65, 9, 84], [55, 13, 21, 70, 59], [34, 2, 98, 47, 37]], [[3, 54, 85, 79, 76], [42, 29, 45, 12, 46], [60, 59, 24, 67, 80], [89, 15, 99, 68, 48], [40, 7, 95, 44, 70]], [[75, 31, 99, 16, 32], [80, 56, 43, 30, 36], [66, 73, 35, 20, 61], [67, 28, 89, 23, 54], [47, 26, 69, 70, 50]], [[35, 91, 81, 13, 15], [73, 1, 37, 68, 28], [98, 29, 9, 22, 56], [12, 59, 82, 67, 31], [77, 47, 32, 79, 52]], [[22, 73, 39, 14, 46], [99, 0, 27, 34, 40], [4, 5, 38, 23, 18], [64, 26, 89, 59, 79], [71, 76, 53, 49, 62]], [[14, 37, 27, 67, 94], [76, 16, 79, 61, 83], [8, 43, 36, 28, 75], [10, 4, 24, 56, 44], [26, 1, 88, 9, 86]], [[14, 78, 43, 10, 30], [56, 29, 1, 61, 9], [7, 95, 39, 35, 25], [33, 87, 71, 97, 21], [72, 0, 4, 2, 24]], [[88, 0, 72, 42, 6], [53, 79, 58, 80, 20], [57, 84, 15, 21, 64], [98, 17, 43, 8, 95], [2, 22, 59, 63, 78]], [[78, 21, 33, 57, 72], [10, 69, 85, 73, 16], [92, 60, 87, 39, 63], [40, 15, 77, 80, 56], [6, 62, 99, 50, 3]], [[38, 72, 34, 41, 74], [90, 29, 9, 6, 91], [94, 39, 56, 71, 67], [53, 21, 22, 32, 10], [73, 48, 79, 47, 85]], [[5, 49, 73, 24, 8], [75, 12, 11, 47, 69], [66, 70, 89, 62, 48], [99, 3, 29, 88, 30], [10, 40, 32, 33, 43]], [[61, 93, 2, 58, 84], [47, 62, 51, 16, 82], [80, 22, 50, 31, 65], [76, 85, 83, 4, 40], [86, 59, 68, 14, 69]], [[52, 5, 74, 9, 72], [84, 69, 38, 1, 27], [78, 90, 46, 97, 95], [57, 21, 32, 93, 29], [11, 66, 20, 51, 48]], [[2, 3, 58, 18, 53], [11, 96, 63, 33, 13], [55, 47, 30, 9, 46], [98, 85, 79, 19, 65], [87, 94, 77, 27, 75]], [[54, 97, 46, 33, 90], [99, 93, 22, 0, 51], [83, 53, 34, 29, 38], [35, 65, 80, 82, 9], [56, 30, 19, 49, 15]], [[43, 40, 51, 67, 37], [4, 30, 85, 24, 21], [83, 94, 69, 91, 99], [13, 32, 82, 86, 12], [66, 9, 60, 65, 97]], [[71, 96, 55, 92, 6], [83, 8, 63, 56, 18], [4, 0, 74, 70, 34], [15, 87, 44, 80, 29], [68, 33, 99, 14, 47]], [[76, 86, 46, 6, 8], [90, 80, 77, 30, 62], [97, 66, 55, 59, 36], [1, 43, 27, 15, 57], [54, 70, 38, 21, 89]], [[75, 96, 97, 54, 29], [62, 43, 69, 57, 88], [36, 46, 73, 84, 28], [18, 98, 38, 63, 4], [59, 35, 99, 90, 58]], [[66, 29, 60, 25, 95], [91, 4, 87, 76, 41], [26, 19, 45, 96, 74], [7, 82, 3, 81, 31], [17, 64, 51, 93, 71]], [[41, 51, 14, 70, 26], [35, 38, 50, 25, 13], [95, 60, 88, 36, 24], [66, 94, 62, 97, 83], [21, 10, 37, 1, 96]], [[38, 90, 81, 96, 14], [40, 82, 71, 18, 83], [78, 17, 65, 46, 84], [7, 92, 63, 79, 49], [55, 21, 89, 95, 72]], [[60, 35, 26, 67, 42], [59, 77, 15, 6, 75], [18, 16, 21, 55, 4], [98, 49, 38, 43, 30], [0, 85, 69, 96, 19]], [[93, 22, 87, 66, 94], [7, 43, 98, 18, 57], [29, 20, 91, 60, 21], [28, 51, 17, 10, 14], [96, 12, 15, 25, 37]], [[12, 69, 27, 41, 36], [58, 11, 42, 44, 9], [8, 56, 33, 7, 30], [70, 64, 78, 17, 61], [22, 28, 94, 0, 99]], [[16, 64, 88, 22, 48], [65, 42, 23, 7, 26], [97, 12, 63, 57, 45], [29, 94, 91, 21, 54], [95, 43, 0, 85, 46]], [[9, 50, 54, 98, 35], [45, 37, 84, 87, 5], [40, 23, 14, 17, 18], [73, 43, 86, 41, 59], [69, 77, 78, 15, 60]], [[79, 9, 45, 59, 85], [38, 56, 64, 95, 60], [39, 22, 14, 57, 66], [98, 53, 83, 76, 16], [62, 94, 72, 54, 82]], [[77, 44, 6, 66, 46], [9, 89, 11, 84, 63], [81, 94, 87, 83, 21], [22, 90, 1, 93, 92], [24, 65, 34, 45, 99]], [[36, 93, 59, 5, 43], [76, 49, 51, 0, 68], [71, 34, 55, 7, 73], [14, 10, 45, 63, 95], [30, 94, 79, 67, 11]], [[93, 98, 82, 96, 91], [3, 79, 55, 70, 24], [68, 56, 87, 12, 76], [19, 31, 67, 1, 54], [49, 62, 23, 15, 10]], [[10, 74, 98, 15, 6], [14, 31, 66, 38, 86], [68, 84, 60, 80, 26], [34, 72, 87, 92, 61], [81, 56, 73, 12, 53]], [[11, 69, 4, 6, 23], [38, 47, 16, 99, 96], [7, 13, 40, 41, 78], [12, 5, 1, 18, 88], [20, 42, 10, 82, 73]], [[66, 97, 72, 55, 99], [26, 59, 6, 79, 53], [74, 80, 98, 28, 69], [25, 95, 17, 29, 34], [85, 64, 84, 90, 42]], [[95, 50, 58, 51, 66], [48, 27, 81, 94, 0], [35, 82, 57, 71, 16], [32, 93, 70, 40, 25], [31, 73, 46, 12, 90]], [[39, 94, 52, 9, 88], [3, 23, 59, 77, 29], [2, 40, 93, 85, 38], [74, 97, 12, 50, 1], [22, 36, 68, 65, 37]], [[70, 15, 44, 90, 55], [42, 20, 82, 0, 78], [10, 49, 62, 3, 22], [91, 73, 84, 40, 28], [72, 13, 11, 60, 19]], [[58, 95, 66, 36, 22], [91, 99, 77, 94, 44], [70, 14, 85, 13, 52], [49, 6, 2, 50, 35], [47, 42, 15, 98, 63]], [[35, 1, 99, 21, 68], [93, 32, 30, 76, 5], [79, 96, 10, 85, 16], [19, 69, 81, 78, 70], [66, 36, 26, 94, 39]], [[78, 51, 55, 4, 97], [21, 36, 53, 1, 26], [77, 42, 20, 12, 65], [17, 52, 6, 40, 16], [19, 85, 2, 24, 23]], [[95, 68, 76, 14, 30], [19, 11, 64, 99, 60], [63, 55, 8, 40, 65], [41, 75, 62, 53, 83], [26, 34, 46, 72, 79]], [[68, 6, 35, 62, 77], [43, 14, 88, 7, 11], [40, 45, 98, 86, 64], [3, 53, 56, 87, 30], [28, 37, 48, 10, 72]], [[13, 69, 72, 93, 17], [1, 46, 8, 56, 37], [78, 27, 49, 64, 59], [81, 99, 33, 76, 79], [84, 98, 51, 82, 31]], [[57, 41, 45, 15, 10], [65, 72, 79, 17, 29], [67, 0, 33, 32, 69], [56, 96, 92, 46, 53], [88, 3, 18, 87, 51]], [[97, 52, 58, 67, 17], [51, 69, 43, 20, 63], [1, 26, 27, 47, 99], [53, 23, 14, 90, 86], [4, 56, 13, 36, 11]], [[88, 11, 57, 73, 89], [43, 34, 91, 15, 58], [9, 39, 18, 12, 14], [1, 98, 29, 77, 52], [84, 97, 96, 68, 10]], [[99, 5, 69, 53, 45], [10, 43, 24, 60, 55], [64, 57, 30, 3, 0], [22, 65, 68, 32, 83], [52, 38, 74, 97, 20]], [[27, 25, 33, 41, 67], [54, 42, 3, 1, 55], [66, 92, 44, 98, 35], [14, 82, 5, 10, 39], [52, 79, 69, 76, 48]], [[64, 58, 60, 91, 42], [45, 55, 35, 9, 72], [36, 74, 99, 33, 26], [67, 4, 25, 50, 14], [15, 2, 96, 82, 11]], [[34, 84, 90, 95, 26], [8, 66, 52, 43, 63], [79, 98, 36, 85, 41], [47, 24, 33, 88, 71], [86, 91, 83, 40, 18]], [[79, 68, 49, 64, 35], [23, 57, 27, 77, 71], [95, 39, 43, 19, 98], [78, 62, 65, 58, 60], [52, 73, 82, 4, 32]], [[22, 54, 57, 45, 3], [43, 85, 30, 60, 94], [35, 46, 28, 55, 6], [82, 42, 13, 83, 59], [76, 70, 41, 61, 1]], [[76, 89, 34, 96, 1], [95, 60, 55, 23, 88], [37, 13, 61, 92, 62], [98, 77, 32, 82, 31], [33, 74, 71, 58, 86]], [[73, 91, 92, 49, 44], [53, 6, 29, 8, 95], [4, 31, 54, 20, 97], [98, 57, 2, 65, 75], [43, 88, 1, 58, 0]], [[49, 91, 70, 1, 79], [17, 90, 33, 65, 54], [56, 47, 63, 83, 52], [8, 45, 72, 84, 39], [43, 37, 71, 97, 59]], [[90, 93, 20, 31, 96], [98, 84, 2, 87, 73], [97, 16, 19, 24, 38], [14, 11, 94, 92, 36], [4, 10, 27, 44, 30]], [[20, 77, 81, 80, 28], [35, 51, 93, 24, 62], [54, 56, 41, 68, 79], [29, 67, 89, 60, 12], [63, 91, 18, 90, 99]], [[28, 48, 94, 50, 73], [20, 27, 34, 59, 43], [66, 55, 35, 98, 57], [40, 53, 21, 99, 4], [17, 74, 80, 5, 12]], [[76, 22, 6, 61, 23], [70, 67, 69, 33, 9], [87, 2, 12, 68, 27], [13, 52, 82, 15, 84], [24, 51, 89, 53, 38]], [[96, 23, 91, 97, 10], [50, 8, 68, 67, 0], [65, 3, 92, 4, 70], [53, 77, 59, 86, 66], [41, 78, 44, 52, 71]], [[62, 19, 17, 63, 75], [43, 88, 15, 84, 13], [41, 7, 47, 16, 23], [12, 71, 8, 83, 50], [36, 31, 22, 5, 79]], [[71, 95, 17, 90, 63], [64, 52, 32, 3, 93], [70, 13, 99, 40, 5], [22, 18, 83, 11, 55], [47, 59, 78, 45, 29]], [[9, 98, 73, 46, 79], [5, 51, 84, 26, 40], [64, 62, 0, 66, 18], [33, 83, 47, 1, 63], [89, 31, 99, 54, 36]], [[98, 15, 86, 9, 50], [67, 7, 75, 85, 17], [96, 27, 64, 81, 19], [80, 30, 29, 54, 52], [49, 25, 36, 5, 90]], [[39, 29, 40, 16, 69], [38, 55, 67, 71, 59], [42, 72, 51, 10, 45], [94, 75, 21, 27, 0], [84, 6, 22, 33, 30]], [[33, 64, 82, 97, 39], [79, 7, 62, 49, 99], [26, 3, 13, 66, 10], [37, 98, 15, 80, 47], [1, 35, 30, 50, 43]], [[56, 92, 41, 82, 34], [68, 79, 11, 0, 65], [70, 84, 26, 76, 96], [1, 72, 31, 80, 8], [9, 38, 98, 17, 7]], [[12, 19, 6, 29, 89], [96, 87, 70, 75, 77], [84, 74, 64, 54, 13], [16, 68, 44, 79, 43], [61, 47, 69, 26, 50]], [[43, 20, 45, 21, 87], [80, 50, 83, 26, 49], [64, 99, 71, 75, 9], [18, 96, 6, 94, 88], [76, 97, 51, 11, 74]], [[85, 47, 25, 72, 93], [96, 36, 81, 55, 27], [63, 18, 57, 1, 29], [9, 35, 83, 88, 98], [90, 21, 3, 67, 82]], [[58, 94, 55, 10, 98], [2, 24, 71, 93, 57], [74, 34, 21, 35, 73], [89, 88, 6, 16, 8], [76, 81, 38, 28, 83]], [[36, 53, 63, 67, 18], [51, 74, 60, 69, 85], [32, 22, 80, 58, 98], [34, 92, 13, 12, 26], [46, 61, 31, 96, 47]], [[90, 1, 5, 10, 48], [12, 76, 95, 83, 17], [24, 84, 65, 44, 28], [81, 80, 41, 79, 15], [29, 61, 75, 94, 40]], [[65, 22, 40, 75, 86], [93, 77, 46, 35, 87], [88, 5, 91, 48, 74], [92, 28, 66, 47, 30], [69, 2, 29, 67, 94]], [[78, 38, 1, 53, 68], [84, 70, 26, 7, 72], [92, 87, 55, 47, 6], [51, 82, 36, 73, 28], [75, 58, 35, 49, 56]], [[61, 85, 60, 19, 24], [16, 23, 71, 74, 33], [42, 7, 57, 82, 70], [14, 97, 59, 99, 49], [46, 30, 89, 79, 41]], [[5, 24, 92, 19, 65], [0, 80, 33, 78, 23], [4, 37, 31, 16, 41], [79, 73, 88, 36, 67], [86, 29, 62, 61, 71]], [[40, 51, 27, 57, 85], [53, 68, 31, 60, 83], [48, 69, 24, 17, 96], [54, 89, 22, 77, 64], [95, 26, 21, 65, 41]], [[48, 7, 20, 68, 21], [31, 22, 1, 99, 96], [82, 63, 78, 2, 70], [18, 83, 58, 92, 51], [81, 64, 98, 44, 89]], [[23, 74, 99, 75, 6], [81, 14, 37, 8, 85], [12, 36, 55, 20, 47], [88, 7, 90, 87, 43], [3, 44, 83, 15, 2]], [[97, 15, 69, 76, 95], [13, 44, 31, 10, 14], [40, 83, 49, 11, 65], [43, 98, 55, 92, 89], [90, 33, 73, 32, 53]], [[25, 79, 77, 83, 68], [5, 10, 23, 15, 19], [18, 4, 92, 51, 76], [17, 90, 70, 49, 39], [74, 63, 75, 42, 67]], [[46, 66, 18, 17, 28], [75, 76, 78, 72, 44], [57, 39, 97, 27, 99], [36, 58, 62, 90, 82], [14, 45, 48, 64, 1]], [[51, 90, 58, 6, 37], [28, 30, 57, 54, 10], [45, 80, 39, 4, 0], [29, 17, 66, 18, 55], [96, 44, 36, 76, 34]], [[94, 50, 0, 71, 99], [11, 67, 96, 87, 64], [48, 30, 31, 68, 40], [89, 55, 23, 92, 42], [16, 62, 37, 83, 33]], [[66, 42, 91, 70, 72], [28, 69, 96, 17, 71], [99, 5, 2, 26, 19], [60, 87, 51, 83, 76], [77, 33, 64, 61, 54]], [[61, 93, 90, 82, 88], [80, 11, 25, 40, 28], [60, 29, 34, 39, 21], [24, 13, 72, 77, 2], [19, 95, 47, 17, 0]], [[86, 97, 50, 42, 87], [7, 18, 80, 23, 30], [41, 6, 96, 92, 98], [36, 45, 77, 71, 38], [19, 40, 47, 39, 53]], [[83, 7, 80, 86, 65], [37, 22, 19, 84, 92], [29, 17, 76, 4, 33], [97, 50, 1, 12, 21], [15, 58, 39, 38, 74]]]

day5 :: Text
day5 =
    [r|556,286 -> 341,71
337,201 -> 782,646
786,780 -> 117,111
977,864 -> 199,86
544,127 -> 544,144
539,471 -> 539,972
364,765 -> 364,285
282,325 -> 892,935
536,941 -> 158,941
280,39 -> 806,565
168,662 -> 363,857
639,676 -> 639,701
397,809 -> 466,809
716,118 -> 625,209
153,582 -> 497,926
35,706 -> 398,706
61,41 -> 519,41
158,557 -> 158,922
320,177 -> 624,481
800,779 -> 466,779
292,270 -> 292,497
919,17 -> 757,17
935,520 -> 935,688
948,480 -> 303,480
306,811 -> 306,467
227,582 -> 464,819
757,807 -> 757,688
983,12 -> 30,965
632,262 -> 640,262
755,314 -> 138,931
179,599 -> 179,144
556,246 -> 801,491
114,218 -> 114,60
183,70 -> 423,70
561,661 -> 231,331
875,738 -> 723,890
812,828 -> 812,78
98,707 -> 88,707
804,979 -> 188,979
503,178 -> 453,178
902,678 -> 248,678
603,618 -> 737,752
788,735 -> 559,964
839,134 -> 839,408
569,356 -> 491,356
566,543 -> 566,77
624,386 -> 111,386
781,109 -> 781,52
187,709 -> 23,545
220,123 -> 856,123
210,528 -> 398,716
942,935 -> 58,51
102,13 -> 102,560
926,588 -> 969,545
529,117 -> 146,117
989,211 -> 739,461
207,201 -> 207,106
799,876 -> 284,876
370,773 -> 687,456
571,972 -> 571,351
877,910 -> 877,12
384,205 -> 384,940
493,915 -> 912,496
764,412 -> 368,16
368,220 -> 333,220
526,271 -> 778,271
379,203 -> 417,165
168,577 -> 168,709
529,808 -> 598,739
959,506 -> 959,626
576,89 -> 863,89
277,412 -> 311,378
12,19 -> 975,982
620,951 -> 240,571
937,206 -> 954,206
231,177 -> 918,864
499,825 -> 315,825
289,876 -> 289,302
408,569 -> 46,207
461,838 -> 91,838
281,294 -> 281,737
61,541 -> 61,747
768,857 -> 768,276
782,97 -> 33,97
544,563 -> 251,856
731,216 -> 731,19
767,142 -> 242,667
469,612 -> 952,129
508,363 -> 508,540
614,845 -> 614,739
342,362 -> 235,362
880,703 -> 880,653
942,669 -> 651,669
884,976 -> 884,924
158,822 -> 945,35
510,716 -> 884,342
523,946 -> 73,496
334,430 -> 157,253
593,77 -> 105,565
269,132 -> 243,132
902,529 -> 180,529
554,767 -> 554,938
164,615 -> 425,615
51,713 -> 51,341
428,606 -> 89,945
600,402 -> 600,185
774,550 -> 774,207
465,204 -> 697,436
577,719 -> 255,719
647,990 -> 970,990
649,170 -> 886,407
428,503 -> 428,394
381,608 -> 381,444
778,175 -> 778,121
795,379 -> 379,379
929,792 -> 218,81
504,837 -> 504,449
212,216 -> 212,76
446,744 -> 446,116
824,247 -> 577,247
77,214 -> 553,214
913,234 -> 913,670
949,24 -> 43,930
733,758 -> 733,62
628,659 -> 962,659
172,749 -> 755,749
901,717 -> 184,717
457,578 -> 923,112
943,11 -> 912,11
728,597 -> 116,597
465,134 -> 465,159
170,953 -> 170,533
231,715 -> 231,219
209,187 -> 984,962
798,515 -> 798,601
479,123 -> 479,148
360,387 -> 360,356
962,818 -> 962,770
852,607 -> 852,886
159,838 -> 967,30
823,659 -> 642,478
374,893 -> 545,893
248,819 -> 248,978
894,473 -> 894,47
182,975 -> 278,879
75,248 -> 913,248
969,533 -> 969,827
18,40 -> 842,864
972,909 -> 220,157
378,159 -> 571,159
875,478 -> 238,478
95,807 -> 264,638
418,68 -> 418,387
784,548 -> 332,548
365,354 -> 365,836
731,615 -> 235,615
885,104 -> 513,476
816,47 -> 385,478
626,741 -> 626,499
371,372 -> 920,921
83,150 -> 922,989
623,520 -> 645,498
612,305 -> 561,305
845,149 -> 788,149
914,35 -> 829,35
143,165 -> 143,520
164,218 -> 266,218
118,644 -> 397,644
59,942 -> 970,31
616,774 -> 970,420
30,468 -> 874,468
454,208 -> 454,536
524,488 -> 524,931
54,479 -> 560,479
815,591 -> 815,813
959,971 -> 30,42
23,181 -> 149,181
841,294 -> 841,681
34,47 -> 367,47
913,590 -> 913,374
690,64 -> 690,672
541,112 -> 781,112
380,843 -> 687,536
303,330 -> 465,330
408,403 -> 326,403
352,962 -> 925,389
121,882 -> 873,130
979,294 -> 29,294
228,688 -> 228,738
845,930 -> 901,930
726,189 -> 27,888
223,888 -> 989,888
483,632 -> 483,321
606,810 -> 820,810
225,31 -> 225,342
841,18 -> 841,417
375,185 -> 375,413
641,189 -> 307,523
126,900 -> 126,990
530,220 -> 690,220
496,263 -> 154,263
140,503 -> 419,503
349,733 -> 349,819
43,29 -> 928,914
683,842 -> 683,489
113,634 -> 806,634
771,145 -> 130,145
88,467 -> 908,467
328,642 -> 328,795
986,191 -> 218,959
857,166 -> 857,594
950,763 -> 229,42
263,940 -> 101,940
689,182 -> 689,835
241,237 -> 733,237
965,150 -> 279,150
871,242 -> 474,639
688,947 -> 688,11
319,738 -> 945,112
21,853 -> 853,21
69,533 -> 69,741
492,981 -> 492,210
942,69 -> 249,69
63,364 -> 203,364
340,505 -> 15,505
41,43 -> 979,981
395,623 -> 217,801
540,37 -> 540,381
64,112 -> 882,930
887,212 -> 217,882
168,159 -> 108,159
117,22 -> 959,864
413,500 -> 413,616
775,597 -> 962,597
171,901 -> 143,901
777,391 -> 41,391
901,139 -> 70,970
215,75 -> 215,261
973,433 -> 786,433
757,568 -> 612,423
363,347 -> 185,525
274,363 -> 274,709
435,569 -> 880,569
267,297 -> 86,478
221,852 -> 985,88
322,560 -> 322,962
470,259 -> 470,508
861,860 -> 843,860
172,474 -> 172,714
53,839 -> 499,839
600,40 -> 600,227
820,952 -> 99,231
650,486 -> 586,486
305,273 -> 305,392
826,417 -> 826,92
309,934 -> 309,720
381,644 -> 381,623
38,78 -> 38,54
326,450 -> 173,450
474,100 -> 474,135
607,536 -> 192,121
686,504 -> 164,504
538,623 -> 429,623
200,385 -> 933,385
568,275 -> 31,275
105,201 -> 706,201
582,584 -> 827,584
24,469 -> 24,519
306,224 -> 32,224
429,528 -> 304,528
272,851 -> 272,927
636,113 -> 636,244
481,107 -> 783,107
834,87 -> 175,746
684,50 -> 61,673
30,335 -> 739,335
621,893 -> 266,893
968,942 -> 968,390
895,23 -> 136,23
742,650 -> 756,636
42,582 -> 368,582
890,266 -> 786,266
591,807 -> 921,807
915,333 -> 915,160
746,326 -> 826,326
663,803 -> 34,174
533,513 -> 692,513
205,133 -> 935,133
730,138 -> 58,810
290,87 -> 290,488
693,513 -> 693,323
188,491 -> 188,587
562,593 -> 562,122
629,457 -> 629,299
132,781 -> 381,781
356,965 -> 356,899
720,715 -> 487,715
356,120 -> 954,120
657,507 -> 323,173
13,190 -> 742,190
677,640 -> 491,640
145,605 -> 366,605
143,683 -> 681,145
700,787 -> 557,787
958,406 -> 212,406
267,734 -> 705,734
470,333 -> 257,120
790,656 -> 523,389
13,904 -> 898,19
29,970 -> 961,38
846,454 -> 846,153
564,488 -> 98,488
904,19 -> 60,863
493,112 -> 472,133
945,977 -> 141,173
720,231 -> 720,367
783,133 -> 783,422
165,754 -> 165,604
752,308 -> 715,271
413,969 -> 431,951
833,437 -> 833,881
612,802 -> 612,64
974,187 -> 543,618
655,183 -> 675,183
696,833 -> 906,623
756,792 -> 756,741
338,140 -> 878,680
854,955 -> 241,342
602,466 -> 326,466
470,125 -> 464,131
568,141 -> 43,666
826,318 -> 783,275
194,986 -> 194,466
896,330 -> 621,55
482,709 -> 704,931
345,912 -> 345,741
758,119 -> 758,841
11,777 -> 11,249
88,945 -> 795,945
665,74 -> 124,615
243,831 -> 249,837
40,69 -> 720,749
757,804 -> 757,900
803,265 -> 336,732
299,155 -> 758,614
787,173 -> 172,788
251,400 -> 251,168
217,480 -> 486,480
939,974 -> 21,56
767,649 -> 378,649
197,764 -> 561,400
767,577 -> 579,577
952,982 -> 28,58
282,527 -> 282,640
944,125 -> 184,125
149,848 -> 351,848
36,437 -> 350,437
63,527 -> 764,527
66,313 -> 302,549
805,485 -> 577,485
660,626 -> 903,626
927,542 -> 897,542
577,344 -> 577,934
624,284 -> 624,497
649,618 -> 153,122
942,32 -> 227,747
10,190 -> 10,629
84,638 -> 470,252
362,89 -> 362,762
351,844 -> 916,279
683,561 -> 497,747
628,473 -> 103,473
319,525 -> 782,62
842,131 -> 551,131
980,960 -> 51,31
662,12 -> 666,12
337,814 -> 337,736
720,99 -> 760,99
867,515 -> 867,650
248,872 -> 142,872
295,274 -> 298,274
102,369 -> 102,648
523,142 -> 54,611
369,798 -> 978,189
215,688 -> 835,688
846,242 -> 786,182
68,923 -> 68,342
690,416 -> 559,547
567,134 -> 278,134
89,126 -> 846,883
779,325 -> 389,325
675,461 -> 675,622
278,925 -> 953,250
907,460 -> 519,848
769,60 -> 592,60
331,103 -> 331,49
148,366 -> 148,516
933,52 -> 332,52
488,642 -> 488,523
632,403 -> 83,952
321,840 -> 756,405
302,627 -> 907,22
650,449 -> 650,553
219,466 -> 219,297
841,947 -> 78,184
40,746 -> 712,74
559,306 -> 895,306
317,592 -> 317,275
267,183 -> 267,428
43,397 -> 43,359
952,705 -> 952,634
921,837 -> 258,174
634,783 -> 656,805
366,309 -> 224,309
383,470 -> 526,613
717,419 -> 717,332
543,752 -> 543,500
954,892 -> 101,39
294,379 -> 583,379
829,388 -> 829,491
748,509 -> 283,509
347,75 -> 467,195
618,958 -> 371,711
986,827 -> 213,54
34,617 -> 982,617
716,902 -> 716,429
970,52 -> 107,915
563,33 -> 563,680
803,82 -> 136,749
24,968 -> 273,968
816,483 -> 620,287
783,588 -> 623,588
397,210 -> 988,801
911,387 -> 911,446
770,730 -> 786,730
22,11 -> 982,971
395,316 -> 151,316
301,420 -> 301,248
10,10 -> 989,989
637,358 -> 247,358
932,341 -> 642,341
162,594 -> 162,448
51,946 -> 396,946
591,253 -> 958,620
567,849 -> 567,713
879,910 -> 879,603
889,642 -> 437,642
669,528 -> 945,252
644,237 -> 774,237
488,870 -> 738,620
692,388 -> 959,388
506,17 -> 701,17
663,514 -> 663,216
684,862 -> 289,862
511,235 -> 519,227
866,940 -> 153,227
381,518 -> 87,518
837,573 -> 181,573
337,191 -> 337,135
324,573 -> 945,573
449,800 -> 390,741
763,378 -> 763,695
24,457 -> 444,877
267,875 -> 798,344
724,848 -> 395,848
931,322 -> 931,244
426,241 -> 280,241
175,879 -> 175,883
496,158 -> 560,158
899,319 -> 805,319
799,424 -> 563,188
958,388 -> 958,290
558,95 -> 314,95
768,646 -> 961,839
246,534 -> 246,147
808,720 -> 808,385
912,147 -> 912,305
670,676 -> 776,676
534,594 -> 696,594
736,768 -> 736,364
377,784 -> 377,368
799,105 -> 978,284
763,575 -> 763,253
581,205 -> 581,45
932,782 -> 678,782
400,950 -> 936,414
68,616 -> 897,616
399,662 -> 291,554
354,397 -> 354,489
219,276 -> 862,919
115,138 -> 195,138
863,326 -> 863,335
884,130 -> 271,743
986,148 -> 234,900
254,186 -> 973,905
975,971 -> 672,971
122,533 -> 19,636
316,512 -> 219,609
113,480 -> 716,480
483,540 -> 845,178|]

day6 :: Text
day6 = "3,5,3,5,1,3,1,1,5,5,1,1,1,2,2,2,3,1,1,5,1,1,5,5,3,2,2,5,4,4,1,5,1,4,4,5,2,4,1,1,5,3,1,1,4,1,1,1,1,4,1,1,1,1,2,1,1,4,1,1,1,2,3,5,5,1,1,3,1,4,1,3,4,5,1,4,5,1,1,4,1,3,1,5,1,2,1,1,2,1,4,1,1,1,4,4,3,1,1,1,1,1,4,1,4,5,2,1,4,5,4,1,1,1,2,2,1,4,4,1,1,4,1,1,1,2,3,4,2,4,1,1,5,4,2,1,5,1,1,5,1,2,1,1,1,5,5,2,1,4,3,1,2,2,4,1,2,1,1,5,1,3,2,4,3,1,4,3,1,2,1,1,1,1,1,4,3,3,1,3,1,1,5,1,1,1,1,3,3,1,3,5,1,5,5,2,1,2,1,4,2,3,4,1,4,2,4,2,5,3,4,3,5,1,2,1,1,4,1,3,5,1,4,1,2,4,3,1,5,1,1,2,2,4,2,3,1,1,1,5,2,1,4,1,1,1,4,1,3,3,2,4,1,4,2,5,1,5,2,1,4,1,3,1,2,5,5,4,1,2,3,3,2,2,1,3,3,1,4,4,1,1,4,1,1,5,1,2,4,2,1,4,1,1,4,3,5,1,2,1"

day6list :: [Int]
day6list =
    [3, 5, 3, 5, 1, 3, 1, 1, 5, 5, 1, 1, 1, 2, 2, 2, 3, 1, 1, 5, 1, 1, 5, 5, 3, 2, 2, 5, 4, 4, 1, 5, 1, 4, 4, 5, 2, 4, 1, 1, 5, 3, 1, 1, 4, 1, 1, 1, 1, 4, 1, 1, 1, 1, 2, 1, 1, 4, 1, 1, 1, 2, 3, 5, 5, 1, 1, 3, 1, 4, 1, 3, 4, 5, 1, 4, 5, 1, 1, 4, 1, 3, 1, 5, 1, 2, 1, 1, 2, 1, 4, 1, 1, 1, 4, 4, 3, 1, 1, 1, 1, 1, 4, 1, 4, 5, 2, 1, 4, 5, 4, 1, 1, 1, 2, 2, 1, 4, 4, 1, 1, 4, 1, 1, 1, 2, 3, 4, 2, 4, 1, 1, 5, 4, 2, 1, 5, 1, 1, 5, 1, 2, 1, 1, 1, 5, 5, 2, 1, 4, 3, 1, 2, 2, 4, 1, 2, 1, 1, 5, 1, 3, 2, 4, 3, 1, 4, 3, 1, 2, 1, 1, 1, 1, 1, 4, 3, 3, 1, 3, 1, 1, 5, 1, 1, 1, 1, 3, 3, 1, 3, 5, 1, 5, 5, 2, 1, 2, 1, 4, 2, 3, 4, 1, 4, 2, 4, 2, 5, 3, 4, 3, 5, 1, 2, 1, 1, 4, 1, 3, 5, 1, 4, 1, 2, 4, 3, 1, 5, 1, 1, 2, 2, 4, 2, 3, 1, 1, 1, 5, 2, 1, 4, 1, 1, 1, 4, 1, 3, 3, 2, 4, 1, 4, 2, 5, 1, 5, 2, 1, 4, 1, 3, 1, 2, 5, 5, 4, 1, 2, 3, 3, 2, 2, 1, 3, 3, 1, 4, 4, 1, 1, 4, 1, 1, 5, 1, 2, 4, 2, 1, 4, 1, 1, 4, 3, 5, 1, 2, 1]

day7 :: [Integer]
day7 = [1101, 1, 29, 67, 1102, 0, 1, 65, 1008, 65, 35, 66, 1005, 66, 28, 1, 67, 65, 20, 4, 0, 1001, 65, 1, 65, 1106, 0, 8, 99, 35, 67, 101, 99, 105, 32, 110, 39, 101, 115, 116, 32, 112, 97, 115, 32, 117, 110, 101, 32, 105, 110, 116, 99, 111, 100, 101, 32, 112, 114, 111, 103, 114, 97, 109, 10, 760, 1085, 275, 960, 23, 133, 190, 86, 999, 298, 714, 247, 509, 704, 122, 1109, 713, 51, 41, 1028, 59, 10, 251, 0, 600, 201, 103, 176, 482, 204, 747, 540, 57, 33, 133, 90, 724, 793, 294, 1618, 762, 65, 1579, 4, 603, 1182, 25, 12, 718, 30, 1534, 614, 1021, 1175, 20, 647, 201, 65, 136, 798, 526, 1, 1060, 70, 329, 194, 54, 747, 423, 349, 261, 604, 133, 32, 1074, 148, 177, 997, 597, 703, 158, 1265, 472, 277, 52, 320, 467, 899, 333, 750, 40, 588, 311, 456, 1298, 1511, 33, 1037, 946, 199, 12, 1751, 221, 14, 1046, 686, 552, 288, 231, 926, 747, 67, 105, 537, 1264, 654, 539, 211, 549, 294, 381, 662, 6, 523, 239, 48, 487, 6, 575, 553, 218, 1404, 160, 1196, 330, 336, 1690, 215, 134, 1312, 186, 1502, 377, 52, 2, 479, 649, 523, 330, 737, 112, 40, 846, 171, 102, 1614, 39, 514, 438, 932, 143, 443, 1270, 339, 548, 230, 430, 420, 521, 431, 83, 517, 463, 12, 517, 173, 72, 45, 806, 65, 280, 559, 1076, 332, 162, 50, 606, 1468, 15, 128, 34, 77, 533, 211, 1157, 789, 111, 67, 308, 462, 147, 1106, 215, 801, 1294, 203, 98, 833, 136, 136, 1363, 539, 114, 365, 690, 1378, 266, 1, 212, 537, 283, 327, 55, 96, 377, 57, 899, 37, 1397, 747, 341, 4, 555, 72, 283, 356, 70, 1410, 33, 311, 1255, 382, 1076, 50, 98, 314, 214, 49, 281, 33, 1143, 11, 1270, 396, 477, 265, 156, 763, 86, 595, 1182, 139, 1085, 499, 1, 3, 7, 90, 408, 1062, 37, 1175, 56, 925, 1118, 463, 93, 198, 678, 839, 507, 511, 151, 1081, 146, 1, 553, 292, 208, 384, 787, 395, 360, 1587, 400, 981, 22, 852, 109, 342, 52, 173, 439, 980, 1058, 11, 282, 117, 558, 652, 370, 86, 81, 178, 531, 309, 691, 254, 183, 324, 495, 511, 26, 57, 1473, 19, 243, 1290, 392, 362, 1533, 837, 397, 207, 251, 1250, 584, 700, 431, 1084, 204, 89, 4, 1439, 48, 1163, 100, 149, 73, 426, 107, 882, 868, 145, 352, 434, 1445, 354, 74, 1134, 166, 118, 792, 722, 198, 228, 157, 119, 1178, 789, 947, 670, 1247, 726, 28, 474, 35, 137, 24, 328, 152, 270, 429, 368, 1113, 132, 364, 32, 122, 12, 1314, 227, 513, 215, 96, 235, 142, 230, 100, 1112, 119, 308, 1590, 509, 297, 494, 316, 916, 816, 791, 1204, 42, 660, 1207, 1170, 257, 663, 120, 12, 18, 1579, 1164, 110, 432, 601, 397, 323, 376, 656, 128, 34, 215, 1572, 744, 156, 1081, 330, 1084, 245, 83, 620, 409, 463, 1029, 1178, 952, 334, 1344, 963, 109, 8, 462, 174, 302, 1441, 12, 16, 701, 466, 1794, 620, 442, 227, 165, 894, 1542, 94, 261, 419, 962, 1047, 1294, 400, 3, 355, 394, 125, 25, 674, 774, 44, 22, 492, 384, 44, 457, 121, 188, 132, 1226, 185, 991, 822, 1351, 1126, 638, 258, 134, 349, 204, 72, 330, 1006, 124, 969, 981, 586, 61, 670, 0, 158, 316, 794, 835, 1086, 160, 506, 293, 798, 77, 44, 1337, 106, 602, 1459, 665, 85, 364, 1328, 363, 32, 796, 344, 1894, 178, 742, 347, 626, 267, 304, 909, 130, 82, 189, 284, 745, 14, 50, 494, 36, 113, 632, 527, 140, 817, 136, 1707, 1227, 792, 1774, 4, 159, 1233, 85, 486, 515, 917, 16, 200, 333, 335, 328, 640, 347, 311, 1297, 1489, 1047, 653, 1, 56, 157, 833, 257, 1294, 237, 759, 124, 453, 1205, 447, 734, 976, 364, 315, 656, 19, 336, 42, 566, 61, 73, 212, 107, 747, 1033, 130, 1896, 1283, 1028, 877, 336, 325, 127, 762, 887, 644, 965, 955, 25, 562, 1042, 975, 410, 346, 387, 1432, 1303, 1, 257, 87, 814, 1101, 1399, 38, 204, 1753, 69, 201, 1347, 442, 169, 272, 1593, 136, 21, 1821, 200, 60, 99, 76, 6, 88, 1657, 1825, 539, 92, 705, 1402, 297, 1309, 316, 614, 84, 403, 204, 45, 805, 119, 67, 149, 384, 179, 188, 1712, 68, 226, 1430, 1137, 0, 561, 515, 1233, 9, 450, 657, 216, 516, 197, 829, 413, 53, 792, 792, 432, 397, 97, 120, 876, 596, 287, 44, 125, 37, 70, 225, 27, 5, 122, 1936, 14, 492, 151, 1072, 464, 62, 478, 1393, 35, 747, 510, 100, 1242, 10, 1608, 212, 281, 15, 905, 81, 49, 198, 318, 278, 751, 219, 211, 561, 33, 1787, 64, 419, 1, 809, 410, 228, 196, 333, 261, 1, 454, 1364, 637, 654, 224, 107, 1573, 907, 245, 129, 346, 619, 111, 392, 40, 273, 256, 1, 807, 1594, 51, 766, 1113, 21, 31, 745, 1510, 204, 25, 125, 124, 434, 608, 546, 0, 251, 81, 116, 957, 973, 76, 1129, 320, 368, 851, 302, 711, 612, 84, 218, 809, 858, 1460, 818, 136, 886, 1160, 1284, 531, 1617, 122, 1091, 539, 231, 318, 616, 148, 1366, 291, 537, 1606, 1004, 317, 43, 1424, 469, 1193, 500, 479, 431, 470, 1316, 32, 953, 593, 1162, 803, 761, 60, 255, 369, 1250, 275, 1534, 312, 258, 36, 114, 308, 672, 94, 698, 231, 34, 213, 168, 64, 1170, 44, 1547, 246, 1607, 733, 479, 87, 554, 101, 68, 631, 673, 231, 177, 392, 627, 464, 405, 415, 148, 1478, 396, 1309, 445, 298, 445, 428, 208, 510, 371, 788, 597, 635, 1230, 111, 325, 121, 1173, 21, 157, 576, 5, 365, 319, 858, 722, 259, 129, 198, 555, 83, 160, 1125, 467, 784, 100, 706, 155, 209, 446, 821, 379, 732, 160, 233, 114, 644, 565, 106, 656, 863, 354, 1246, 266, 437, 41, 154]

day8 :: Text
day8 =
    [r|fdgcea dgefa efabdg fdgcba dab baefc begd ebdfa db bafgdce | gfbcda cgfadb badcefg eacfgd
eagfdb bafdec fdg edgca gf cdbafeg egfcdb bgaf aedfg defba | gfd edagcbf cdfebg gfedab
faecdgb edgf decag cgf agdcbf aefcb gf dgebca fdaceg cefga | fcg fcbae fg aecgd
abcgdfe gebfd eacbdf gc gbc cabdfg dcfab gdcfb gacd acfegb | fabdc cg bdfeg gbc
bgcda cagdf geafdc fbcdge fedag fc egcabdf gfc gfedba acfe | cdegaf dbfgea adefbg afedcbg
degfbc cdeg dcfbae debfc gbadecf begfca egb eg dbfge adgfb | egfdbc ecgfbd dbcagef cafbed
gefacb cdg decgba badgfc edga eabcg dfacgeb dg efcbd dgbec | dg cgabe decfb dg
bafdeg facdgbe dgba gcafbe bd bde gdbfe cegfd agefb ebcfda | gbafec bfgea fgecab cefdba
bfcgea cadfb dfcg afbdcg cg ebgda bcgad acg edbcgaf ebfcda | acgfeb dgbca cegbfa cadbf
bfeadcg gdcea bcagfe becdaf fcgbe bcd bd cbfdeg fdgb dbegc | dcb acged edbcfa dbgecaf
bedafgc bagfce cadgf dbfcag dbca fbdga fgaced agb ab ebdfg | agb ba gdbaf fcbgea
abcgf agdec agbcfd cfd df aefcbg decfba gafcd fbgd dbafegc | fcbag cegad gdace cdf
cgb ecafdb bfdac cg cgfbd cbfega edbfg fbeagdc adcg dgcfba | gbfed fecagb fdbcga afcbd
agcb cfaebdg bc bfedcg dcb degcab beadc dgeca ebfad fdgcea | acbg abcg gcba bc
cgbf dafgce fadgbe bdecfg gdfbe cedab cg gce adfgcbe egdbc | cg cg ecfadg ecgdabf
cd fecagd fbgca cdebfg cgfdb gdebf cbed gdcbfea gdefba dfc | cfd edcb bfdage edcb
agbedc dcagbf af bcdaf bdagc gfbcae fgda bfa cbedf gcedabf | af gabecd dgfcaeb afb
dgebfa adg gbed debfa dg adfgecb fcgea acdbef cafbgd gfade | adgef gd cgfbdae dgfacb
fbc bcfgd fgdeba bdegacf bagfcd cbag afdgb bcdeaf fcgde cb | agfcdbe fcb cbf bc
cgabd bgafc fcaedb bda bgecfad bfceag bd dagec fdbg dafgbc | cdgbefa bfacge ebcfga gfcab
fba dabcge beacfg bdfc bagfd dcagb fgaed bf fbdagc dbcefag | gacbd dgeaf cfdb fab
cebgd ade cbda cgfea dfabeg eadcg agdbec bgdecf ad deacbgf | ecadgfb dabgef beagdf ecgbd
aedgc deafbc fgaedcb cdgfbe acfg edgfc ca cda dcgefa adbeg | acgf edcga cabgdfe gacf
bcagde eg bfcea abgcd gdfcbe bge dabgcf bfegcad gceba aedg | acdgfb fbdgec agbec dbcefg
ebacd decgb ebfac cbgdea adgb efabdcg bfdgec eda cfdaeg da | egdcb bgcdef da da
cfgebd afebd cb cebda dgcae afgdcbe dgafeb bfca ceb bdcefa | bec gaced afedb eadgc
bdcfea ge acfbg efagb bdaef badgefc gadbef eag gfde bdcgae | bcdaef bcefad efcadb gae
befagd fd cbefa dcbega egacfbd efabd edcafg dgbf gedba fed | fde abedf def aedfb
bcd abgcfde dbaf abecdg db dcbef abegcf efacb fabedc dgecf | ebcfd bfda dcb egcafbd
fdbea caefbd gcdafe ecafd efb cedb be geabdcf gfbad fcaegb | baefgc defcab eb cadef
dagec fadge dc cdg egacb adecfg bfgdeca fadegb dcabgf cdfe | fcde agcde efcd cgd
dceabg fbaedc aegfdcb fc cfa cefgad bfadg bdcfa cbef eadbc | fc dcabf cebf afdbc
defabcg febdg bdfega adfg fabcge edfba abedfc bdcge fg gfb | fgb fg fbdaec daefb
fd gfbaec cdf fgced eacfg gfdebca fgda bdfeac cegdb cfadge | dfc gcfedba dfecg agfd
ec bfeacg bdfca acdfe fagdbc eca febacdg ebcd eadgf cabedf | dfcae fecabgd eac aedfgcb
edg dfceb egdcafb gcef dbcga cdafeb cgebd gdfbec eg gfdabe | fcdbeg ge bfaecd ebfcd
ecg bcadfg egfac fgdca fgeab cfdage bceadg fced cgdebfa ce | egfba cfgae dcfe ec
cdeg ec eac efdac dgcaf bagfec dbfeacg aegdfc bfdgca dfabe | efbad egdc afcbdg ce
gbecda cbe egfcba abcdg agfcebd ecda bfedg adgcbf ce bdceg | ceagbd gdabc aced adec
ecbagfd egfbd gafe gcadb bdgae gfbdea gefcbd bea ae cfabde | gdacfeb abedg fbgdec cbedagf
bagfe fdeagc agfebd fbcea dfbca gcfbae cae bgce ec fgacbde | acdfeg ebagf ce efcgba
bf dagcebf fdegc ebcfda geadcb bfc acbfgd acbdg fbga fdcgb | acfbde dbacge cadgb gfab
cagbf bcde bdefag gcfde cdbefg deafgc bfd bdgfc bd dagbcef | fagdec becd dfb fgbca
dbc db dgacbe bgced abde cdafebg dgfeac ebcfg daceg dcfgab | dgcfae dcb daeb bd
bgdfca bag bacefd cbged acbgd faecbg fagd ga cgbafde fabdc | bfdagc acdgb bacdg dfga
eafbcdg ebcafg bdge dga eafdg eafdc efgab dg agdfbc fdaebg | bcedgfa fgbcda bcgadf edgfab
fc gbced efcgb fbage dbefac cgdaebf fcb fdebcg gacedb dcfg | gfcbade dafegbc adfgbce fbegc
ebc cgbfe be bfcdga acfbegd abge abcfg dgfec cfdeba acbfge | dcegf eb badgcfe gabe
decfbg cdbeag decgb fgebc cbf bf agefc fbdgcea becafd gfdb | dceagb dgbf bf fcb
gcbfad aedcg egadb ecgdaf dcfgbae dc cefga fcde adc fabcge | acd bacegf gcefda gdeca
cad fdcbega gedbc dbgfac efdgcb dbeagc eadfg ca daecg cbea | ca abce gfdea gbcfed
afdegbc efgbad fcdge cafg fg efadc geadfc gfd bcdeg cbedfa | gf fgbaed fgabcde cdfge
cefga fda gafced facgd degf fd efdgacb cebfag gbcad deabcf | gbecadf gfabec afd afgcde
bedcf adc cdegbf aecb gcbeadf ebacdf ac eagfd cdfea cgdbaf | adc cbfgdea dca abcgfd
dgab cfbdea gcadbef afdeg ebdfa fgdecb deafbg edg gd cgfae | ebdaf abdg gde cgeaf
dfbae cgadf abfdgce ge ged aegfd debcfg eagdcf geac dfbcga | deg aebdf gcafd egac
eagdb ecd afdc cd cfadgbe gfcdbe bfcgea efcdag adgce gceaf | fedcgb ecdga facd cd
adbgcf fabced gfc afeg dfaec gecdf fg gfcadbe bdecg acgfde | cgf gfc decagf cdfae
fgcda bfgcda bdecaf adc bcfag bdag beagcf ad fgcadeb dcfeg | dgfcba cad fcagd baecfd
dcfe cbagd gdfabe ed abdfec ceabd bde becgaf eadgcfb fabec | dfce eagdbf faebc gacefb
acefbgd abgfe cdgfbe abd fabdce dbfec da cgfdba edac dabfe | fbaeg eabcgdf eagfb afdbe
ecgdfa bdfge bafdg fadcbe bfa bcag ba cgdaf geafdcb agfcdb | fadcg fagecbd baf cfeagd
bcaegf dcfag def bedg gbaefd faged dfceab ed abgef fecbdga | ed dcagefb dgeabfc bdfeag
ecfgadb fcb fgeac fdeba cfbead cefab cdba ecfbgd bc bdgfae | bfc gaebdf cfb afedcb
fecbd efcgabd cfb cf dgbef abdce cbfgae faegbd fbcedg gfcd | febdg bdfegc gfcd defgb
aecdgfb gedfbc agbf cefadb acf adfcbg fa dgfbc egcda dafcg | agfb gaebcdf bgedcaf caf
gc dcbg eagcdb gce cfbgea faedg dceba abdcef acebdgf edagc | bdgfcea dbgc cbgfea bcaefd
gcadb fegadbc afb ecgbfa cdbf bcfagd efagd bfagd abgedc fb | bfcage dbfga gadbf bagdf
gadbefc abgdef gbcfde cef gbfae cdbaf ebfgca abcef ec ecag | fdbca acdbfeg ec ce
adbec cgabfd afcbge dfbgae efcbagd bgeca gc agc bagef gefc | gafcbde gca cga dgcbfa
fdcgba cedab debga cebg adbgef edabgfc bgcade cfade bc acb | gedcba cgbe cdgeab bc
cedagf gcebda gacf afedc aefgd ca cea gdafbe bdgfcea ebfcd | ac cagf fbaedg afedc
fa ecgbfa egabd gedafb dcabfeg gfa dgefa bdaf dcfeg agbedc | cgfbaed dbacgef aebgcf gfa
dgebaf cfbgd dfaecb ef gacefbd bdfce faec ceadb feb cedabg | bdefcag bgfcd ef cdebf
cgad afcbed fdgaceb bfgead egbadc cbedg gd bcade fcegb dgb | feadgbc gbedc bgeadc abdgef
dbefga cbfad ebdcf gdabefc bfe gcfde cgfeda be cgdefb bcge | cgbe eb cebg geabfd
fecda begacf bagfedc ga cag gfcdbe cebfg gabe fgbdca cgefa | efcbg gca eacfd dgcebf
faegcb cfdbe gdfca afecgd cgbdaf adbg gdbfc bfg gb gcdebfa | fbdgac cfdga cadegfb cgfbd
gdefac abecg dgebfca bf defb bgdeaf fgdea abf afegb cbgadf | fdgeab efbd fb abgce
gcaed bdfgeca eafcgd dfegcb fdgce cae befacd ea dagbc feag | ecbdfag gbdac gcbedf cgfebd
cge ce aedcg fagdbc dbgcef cbdaeg abec dfega egdbafc agdcb | dagfe ec adfeg ce
dbfeg ebgdca dgfcab fcae bdfeagc abf gbeca bacfeg af gafbe | afec bfa fgbed fab
gfc dcgae fdgeab abdfg bafc cegfbd cagfd fc fdgcab gbacedf | faedbg gfdba gfadb ebagdfc
dbcega cedba cdg bgfca gd bagcd dfgceb becfda adge cdbgfea | gcd abfcg ebdcfga dbgca
dbf gdafec aegbcdf db fbcdg afgdeb bfgce cdba abfdcg acdfg | egcabfd egcfb cdgfba fbd
gdbca acbfg efcgab eagdfbc edgabf dga eabcd gd bcagdf fgdc | gad dagcb dcfageb cgafb
cebfdg ecbg gdefb dgc cg gecdf egafdb fdcbeag abgcfd eadcf | dabgfec fbgacd badfgc abcdegf
gfb gfcbe egadfb bgcde bdfc cefdbg cfage bfgceda bacdeg bf | fb fb fbg gcebd
edcgfa abecgf dfagbc aef ea acbe fbgcead fdebg fbaeg gabfc | fae ceab fcageb ebfag
bedfcg fgcade caf aefbg dgac ac efdgc fecga fgbecda bfedac | gfbea acf egbfdc agcd
ecgda gab dfab bcgeaf fadegb ab gbfed dbgae dcebfag dcefgb | ebgfd dgbae gbfde gab
aebcdg cgfeabd degba fb dafegb fdcga fdgab gbf abef ebcfdg | eafb eadgbc fgb dgfac
gc cafbeg cdge abdfc fedbg cbg dbgefc edbfag gbcfd gefbdac | fceabg dcge cg gc
eag cafde debg fbedgca bcgadf egafcb gdaec gecbda cdagb ge | gcabed gbcda gedb bdcga
ea ceafgd bdae dcbage gae fgecb agecb abcdfg cgdba eabgcfd | cefgb dcbfag acgdef adgcfe
fbgacde dbfeag bdgcf gaf ga gdacef afcdg afecd aefdbc geac | afg fga gacfd fgaced
dfga acd dgfec acbged acfbe afdce bcdfeg da fagecbd decfga | cda aebgdc fagd caebgd
ebgf edacfg acfedgb aefcb fcg gf ebcafd abcdg cfabg fgecba | cdfgae dbgca deacfb gf
gacbfe abgef cbagf gecfdb fdbea agcdbf eg cgefdba egb agce | efdba eafgb dabfgec cgfadb
afbegd acdgb aeg cegdfa aebdf dbafec gbdafce eg bfge bgeda | afbced bdfagce dacgb bfeg
cag gc agcfde agecbf bceg acebfd agfbd efbac edgfbac gafcb | bfcag cgeb agc cgfabe
ecadgb abe fgeb gbaedf adbfe fdage dgcafe bfdca cfgbade be | ebfcgad aedfg cafdeg dcefga
eagfdbc fbcgea bgf afdbc bdgec faebcd fgcbd fg bgdcaf gdfa | dfbcae fdgcb efacbgd bdacegf
dfag cdfegb fa edfbac cfa egcba fdgcb bfgca bgcdafe dgcfab | fgbca cbfagd acgbfde fca
fb bdfg gfebc edbcg beadgc adfceb gcfea efb febcdg fdbecga | agcfe bf gbcef gdbec
ecfgabd ebfcg decbaf cgfab ecfbdg be bce gedb dcgef fdcgea | begfc acbgf gfcba eb
cg ebadgc dceba fegcba bcdfea acgdbfe cegd bcg abdgf dbagc | abcde cg gc gbc
bfc acegbf febacd ecdba cf dcfa dbcef dfgeb bgdcae bcfdega | fbcgea fbc fbecda fdca
agbfd gfeabc ad dfa adgc bagfc gfbacd gfdeb fegbadc fcdbae | fad dgca gdefb afbcg
bcgead ecagb fcagb gcbedaf dage ea bea afedbc cdgfeb cebdg | gbdec eba edfbca agfdcbe
abcg age eadcbf ga gdeafb ecfgd becda cegad efbcdga adcgbe | eabfdg fdceg cedga cgdae
fbd cbgd dgcfa cbdaf fbdage db gecafd bacef cdbagf fcdbgea | facbd bgdc db cbaef
fbdca fdcgeab gfbc gcbad gdc abged bafdgc gc gcdfea cdbeaf | adgcb fegacdb cafdeb geabd
bdafc cegbdf gd gbafec fgecb fdg aebfgdc dbgfc abfdge edcg | cdfbg dg edcg afdbc
gbaefd caefg dbgae fb ebafg cagdbe bcadfe fgdb ebf cedfgab | gedcba bf fgbd bdfeagc
da abcfdg gaecf bdaf bcdgea gecafdb cad cgbefd fgcdb cdgaf | dbcaeg bdaegfc dbfcage bafd
gecba aegcf aefcbd gecdbf af gdfa cfa fgaecd cbdfega dcgef | fa eadfbc cbega cfage
be agfedc fdega egcfadb fbeg eba cfdeab afegdb dbega dbgca | adgef gebf gdfbace gfeb
fg gfe bgfae gdfa dabcfe ebafdg fdcebg abdef gbeac bedfacg | gef adfg fg fge
ad fdgceb becdag gecfd afdge daecgf fbegdca afcd dae geabf | cadf dbagce ad dfac
fgaedbc dbfae ceda egbcf bacfdg efbdca fdeabg ca cfa cfabe | gdefbac abfed ac dfcaeb
fgbdca cdaefg bafge ac gca cgebfd bafdecg cadb gdbcf bfacg | egdcaf cgebdf gca agc
cg cdabfe bfaec bagfce gfdabc fcg efagc ebfgcda edfag cgbe | bgce cgf gfc gcadbf
caeg gaf gfcade cgfad bedgcfa fdcea ga bdgfc aefbdc gdefba | cfaed cefad fadgeb dgfca
fbgad gbf fcdabge cegfab gadbc gfead fb aedbfg befd adgcef | gabcd bf acgdb bf
gebaf bgeadf gcabedf edfca feadg dg gfdbca eagbcf gdbe gad | egdb ebfag dga ebfacg
dcgabe gcb adcfbg agfbe bc afgcd bfcga adfecg bcdf bfacged | dcgfa cb dgabfc cgb
ebafc debc efgdab fcb aefbd gaefcdb bc dcgfab abefcd afecg | agefc baecf ecbd bcf
gfbdc de badfcg dge befga gfebcd cdef egfdbca ebdgf bgedca | ecfd dfgcb edfcabg dcabgf
gaceb bad dfgabe dbfecg fdebg cebagdf gdbae adfg dbfeac da | eabdg dgfa afegdb agebfcd
dfabg gdfeb da gdcabf abgfc bcgafe fadc adbgec gda gcebdfa | gda ad afcgb efgbd
fdcaebg dbagfc edagb ca gacbd gcfa acedbf gefcbd cab cdbfg | cba geabd cbgda bac
dfegc agc ca bacfgde adfgce adceg fcad efbgdc geafbc daebg | gdaeb gbade gca gdace
bfedgac gedb abefg dacef gedbaf gadfbc db dab cgbefa afbde | edabf gfcbad dafcgeb bad
fcbgea gba decgba gfdace gdeac bgdac afcgedb bdge dafcb bg | begd gcbfdea bg daegc
egfab afc cdgba gfcbad cbgeda bgafc dfabec gfdc bacefgd fc | fc bceafd gabcd dfabcge
cf cdabge cegda fgec cbfade acf eagfcbd acgfd bfgad gcfaed | cefgdab cdaebg gedfcab facegd
ca ebdcf cda dfeac fdgeba agfebdc dbcagf dfage afecdg gaec | eacg adc efdgab dac
dc gfcdeab cgfaed facge gdeba dfcg dca bfaced gdaec aegcfb | fdcg fbecag egdafc efagbc
dbcfa fdaecb afg cafgbed cadfbg ga cadgfe cbga fbedg dbfag | bdegf gcaefd dagbf fdeacb
defbgc cfgeabd cefgd gdc eabfgc afedg afdgcb dc bcefg cdbe | gadbcfe ebfgc decfbg gfecdb
egad fedac dgfeca cdg efacdb dcbafg fgcbe gd dcfeg cebfdga | cgd dg gdc gadbcf
dfe gcde dgfbe fbecad gdbaf faebgc ed gfebcad ebfgdc bgfec | cdeg gdec ebfdgc ed
dgabefc cdbefa aedfb abdc becfd fagedc dcf cd bcgfe fbgead | fdc dfc bcad dc
acgbf ebgfad bgcad cdbge dfcebg dcaebg ecda da fbcgdea abd | facgb gacdb egcabfd dcbgef
acbe afgbcd adc bedcag ebgcd gdeac eacgbfd fedga ac gfbcde | dcbeg aceb gbdce fedga
gfabd gcedab eb ecgdbaf ecdb egdacf egb degca bdega bgfcae | be gfacedb cgdaefb ecbagd
fadgc dgfe eafdgc agfedbc gbdeca gcafe gd cbgeaf bdafc dgc | gecdabf dbecga efadcg dafecg
bgc aecfg fadceg bcgeaf fdagb afgcdbe febc bc fagcb egcabd | cfbe cbfag bdgfa cgeafb
fadecg cea dagcf cfed ce bdgae geacd eabdgfc afbcge dfcagb | adgce dacfg gcaefb ce
cb dcgb fbc abgfcd ebdgfa acdfbe efgca afdcbeg fbagd cfbga | cb bdfcea fcdagb dgcb
gadebc ag cabgd acbed dgbfc eafbcd bfadecg abcegf bga aegd | aegd bedacf gade egad
fdagc acegd aecdfb adfbeg abdce becdga egd agbdecf ge gceb | acdeg fdbaec ged gebc
ade afbceg aefcg gdac da dgfae gbdef acdgef bdefgca adbfec | bgcfae ad bdgefca dgfae
fdcage eafcg df fgecd bcafge cdf cgdafeb gbdce dbagfc fead | cegfa cgedb fd gaefc
ebdac cbaefd dbaeg gbafec cfed ecfab bfdegca dcb bfacdg dc | dcagfb caebd fcbade bdc
gdae eac ecdfgb afceg efdgc acefdg fbcag ae cfabedg abdefc | afdbcge eacfdbg cae dega
facgb eacbdg efdcab cg acefbgd bafcd efagb cfbdga gcdf bcg | dbafc eafbg gdbace bgc
cdb bd ecdfgb ecdbg dgcfe becga cbgadf fdgcea dbecgaf defb | bd bcgafd cbgafd gbdcfe
dgfebac dcb dagec cgbe afdbe dceba dgbaec dcgfba fedgac bc | gecb bc gbce bc
ecadbg eabgfd gfbc abgdcef dbcge bf dcebgf cdbfe fbd fdaec | cegfdab gdfeab fbd gfebdca
gcdefa edab ed ecd cdbfea dfecbga cebfa dcbef abfgce gcbdf | bfcdg agdfecb gcabfde acgefd
begacf bafce cfa fc beafd agbce cbgf gcdeba cfdaeg fcebagd | afecbg gabcfe fc cf
dbacfg ab adbf caegfb abc gcdeafb dfgeca dacgb gcafd cebdg | ab bacdg ab gdbcfea
dfga afcbd fbcag ceagdb fagcbd dac da gcaefbd fbdec ebfgac | dfecb bfcga da dcfeb
bdeca bcfdg feabgd bgfecd eacfdbg cdfbag fgce debgc ebg eg | ge adfgcb gdaecfb eabdgf
dfe aefcbgd dcgbe df dbfc gcdabe cedfbg gfbed abgfe efgadc | bfgced ecgbd egcdfa fd
adebgf dbcae af dbgeac gedbcfa cdgef efa cbaf dbcfea efcda | acfb ecgabfd fa fea
gd efgab egdf daegb bfgaedc edacb abcegf fcdbag gda agdebf | dag gbadfce gd bgdeafc
dgcfb bcgafde fdc cfbeg gdefac fd gfbaec dfebcg befd bgadc | fd ebfd fd defb
eafdg cdfgab bdac gfbda fdbgc abgfdec afb cbdgfe ab gefcba | efabcg abdc gcfdb afdge
feadcb gdcbfa dbafc gfbdcae fedga aceb cgbefd faced ec cde | efdca cdaef ecbgfad fdcbag
gade feagb dgefb fga bdfecg dgbacf ebfgda ga cbeaf bfeadgc | ebgfd cagdfb gfbdeac ag
ebgdacf acdgb dfg dgacf cgefbd acgfed bgcafe fd cfega feda | cgeaf fcdega cadfeg dfgabce
dcea egcfba de gecabdf degbfa fcbgd egd begca degabc bdgce | bgdeaf deg aedc edca
fdagec dbfa acf af afbecdg edbgcf fgbcd bafgc bdagcf baceg | af acf bdfceg edbcfg
gfeac bgfaec gdaebfc cb aefgdc beadf ceb acdbeg bcefa gfcb | cfebgad egcdba ebcfa bdgeac
cfdbg dfbega agfbdc cdfa dagcbe dc dbfag dcaefbg begfc cdg | cd aegcbfd fbadg fdacebg
fbagdec gbadfc egb ecgfba egfab gebdac fgec fbdae cgabf ge | abedf caegfbd afgcb beafcdg
bgeadcf acdgb gfadbe fgcab efbcda dg bgdaec ebacd dgb cged | dg dbg gd gd
dcbeg gab bafegcd cgdba acgefb bgafcd acfgd dfba ba eafgcd | dgcefa abg adfb gba
fb acfgd fabedc acfbd debca gdcbae efbdgca afeb gdfebc bcf | dgafc agfcd fb fb
cedgfb egdca gcabde ac dbecg cfbead bcedgaf gfdea cda agbc | ac gceda gbca agbc
ceda cebagdf ec fagde cbfged fcedga gaecf ecg dbgefa cabgf | dace dacgef gec gfcedba
ge egab febad fgaed fdgaeb afgdc fcgedb ged gadefbc bfedac | ge acegbfd egab ageb
dgebfca fcd gbcfa cfadb cdfbeg fegcab adfbe bcfdga dc agdc | fcd ebfad gfcbda fcd
cbgafd fgea bfedga dfa fgedbc bfdae efbdacg af febgd bdcea | dafbe dgbcfe efga af
edcfba agfbd agcdfbe abg ga ecabfg aedbf aegd gdbcf fdaebg | faedb bag edfab fcdgb
bed fecadg dabcge cadeg cgbd afcbe gedabf bd cabed faedbgc | deb fcdgeba gbeacd cedagf
aefdcbg gedbfc fdg cgfb dfaeb fcagde dgcaeb gcedb efbgd fg | gdf bgdec bcegd gbedf
beacdg gadcf bdcgefa bgdcfe fb eacbg beaf febacg bafcg fcb | dcaegfb cbf egdbca dgcfa
dgcaf bdgaef egfbdca aef edcabf ef agdbe cagebd feagd efbg | badecg egfdba dbegafc gfbe
ecfab fdgae cbdefa dafce acbegfd acd cbed cefgba cd acdfbg | ebcd fceadb cbeagf bdacef
cdage aecfgd afecbdg dcafg adgcbe eagdfb fd gfcab edcf fdg | cgedab gdf fgd gdf
gabfc bca cbefgd cgea abdecf ca cbfgead caefbg gfceb abfgd | begcdaf ca ceag fgceb
cdfbgea gcad dfcbg cgbfea agf bcadgf fdabg aefdb cedgfb ga | gbdcf cdag bcdfg fdbegc
fc gbefdc abfecg egcab aefc acgfb bcf fbeadgc adbegc agfbd | cfgba adfbgce cf cbagf
beadcg cgbf dfegb bg adbfecg gecfdb fegad bfced eabfdc egb | gdfae cgbdef gadef gfcb
gbeadfc dcebg gc dgac adegcb egbfd gec afbdec decab afbgec | egabcdf agcedb cfegab egbdc
adgebc gea afcdg fgbade dbaec bcdfae cdfgaeb gcaed ge ecbg | ega dagebf gdfbae gbdeac|]

day9 :: Text
day9 =
    [r|0197653456789987679545987978921245689901497654212455689767899878999979653246892123569876467899212346
9989542349899986578959976557890134599892398943201234678956789467989867932135789012398764345678923456
8679931298999765459898765445921247987689459865432345889345892399876546899013894123459976569799634577
6567895497998764345789543239895456797535967976545467891234989989865434598954993248969987678999545798
8456897986539975234568955398789967998212899597676578910395678979996423987895789356798698799997656789
7357899765624987356979967997678899876323795498789789929989989968989219876789998767986569899998867899
6479998654012998487899879886456799985434589349899897898879899757878929865699989878987461939879878989
7989876532129876598967998754347899876545679299965945977569798436569197654389876989986320129865989778
8995987644234998679459899975456943987656798989654326965497656424459298796578965699875431234979998568
9424987654346789789348789986567892398767987878943219876989843212348999887679873579987549345698976457
5313598789556999893245679987679921299899656667894398989878964301237899998995432123597698996987665376
2102459898967898987656799998789992989998943456789497898957896324356789449789521012398987989976554245
3213456997998967899878978969899789978997432347899986787545697534458891234689942123789976879876432156
4323569876899756799989569956987698766986421566789995631234789947669910123799893454569895366999943018
5444567985679534789991349899996569645977310145679864320123456898978954394569789965698789245987894236
6565979874599323567890198798989459759864321236799998432335679999989796989998679796987679123976789345
8989898765678901378932987567868969898765462347899876543479895695395689879876534599876568999435899456
9998719876789323489649876476457890949976574456789987687568996989987899965432123489985389987645998767
2987624989898754599656975324348991234989675778892399898978989878998999996542014678976498998757899898
1298545699999865987999764210235689946798776799999567999989879767899998987843124789998567899969999919
0987656789989986976889754321347999899989987898898998999997665456789987698764434999987689921399989101
1398777899874197975678965432456789678976898987686889989876556345999876549978556789998995439978976992
2349889999963098984568977949767894569865789997575679764986433235794989998989678997899986598867895889
9456992198742129799679989898979913598754657896434768992096520145693199877898789245999999987656954678
8967921098653245698789998767892102987653235789123456789989321238789098965459890129878998654347893557
7898943459854756999895987658943213498732126789012567999878932456896987654323991298765579543238912345
6799854598769867899954398769654324596543245899923456898969896577945698763212679987573498764369543467
5679767699989998999863239878965735987654376799899767987756797689434997853101598765432349878456976568
3568979987899769998943143989876896798765797895798979765645989995319876543213459898543556997567898679
2389998976598643987521012398997997999897898954687997654236978894201998765325578987656789698689998789
3567897895498656799432123567898998988999969543456789894399769799213459876736789998967896569799999894
7678976789329767987993544679999999976987654312398999975987654568924599987858998999989999678998989943
8799235699901989876789795889989988665398979103456789989999543457895987698969987894595698999987867932
9890123988892398965678976999869876543239898919767896799988651367939876459878976943203497899876756891
9921299876793987834779998998754989654198787998998924999977520179923984369989645894312986789765347799
7549987975899875324567999989965999965987676797899212398765421467899865458999786797324975678963235678
8998975986921965434678999878899899878986555656899404459875432348954986567899897896439864567942124579
9397654599899876645889889756789789989299434346798912346986545699843298789921998999598963878921023459
3298943498765987856795679847679678990198621234567895487987659789765109899910139998997654989542434678
9099894598654398967894599934533467799986532345998987579298767999953212999891239997549765698656547789
8989789999763219878962378921012345678987543456789598690129899459895629989789398876839876789767656896
7677679899972102989754569532133469789098658597999439789436943245789798765679987654324987999898867997
8564576789989743499895678943544678993129867998998929896545692134567999954399999976786798956999999898
6432345894398654899998789654665689943248978969987899987657789029989898899498763987997899235689988789
4321434899298776789359898765887799894356989653656789898767892198898756798979942199998989957899975678
5210123678929898995498979876798988789987996542345896789878954987668645987668893267999777898998654589
7491234579012999976987567987899576699999876431556965432999979876557539875456789346789656899998785699
8989955689129899897896456798954324598999765432369994321023498767432129654321239997894347912989898789
9979896793298766798989399899765945987899976545498789432344987654321098768732997899965456899876989899
8765799975987654899878989939879869876789899876987687993656798765534129879549876799989567899765674999
7654567899998432398765779019989998765456798987899456789767929876656434999656965689997698969874323478
8652089998998657989874568998999879876789897798998767898979213987767849878969854569998789754985412567
7643578997899869876543457897998765998995965679349879937698923998878997667898773237899997642195423456
8654689976879878988764598976899654959123987890199995326457899879989986456899632126789999654987689587
9869789865767989899875789655698969843234899989987654215345989768999965345798543234567898767998789678
7989897654656798797976789434987998764345678978998754301234569654569874237997656346678999898959898789
5496987643235897656987894324996889875456789867929865456345978943349752146789866457789999929234999893
4345695432124569547898989209875679876568997657813987678456989432198643256789987667899989910126798912
6456789643097697667969679213986789987689598543101299899568996543398764469899999788999876899437987893
7767998764989899878954598929987891298795349959212349998699569756459895678978999899998765698948976789
8998939875978999989543987898998992999894239898923598979789459867968998799567987999765984567959865990
9769323989865989995432496787899989799930199796899987869894324989899879899979876898754323678999754891
7653212399754779996531985656799877679321987645678975456965455798799864999899985789543210989988966789
8874309987653656789699764545689954578939998437899986345896596987678972989768994898764439899877899891
9986498767321247899987653434599843467998992123789997956789989876567899767957989959765998765656789910
6598987653210345929876432125987656567897789035679989898899976995459998951345679349879876543234898923
5329998654328456913998521016798767878976578997799878789999895976599987530123489219989998932123567899
6910989865987667899876543223569899989895456789912965689998754698679987621238999998994987543234589998
9899878997898898945987956334689991398774346999899754678987543549989986532357898897892198656357678947
5798769898999959321398967456789889987653234987678943789995432125798998754588987646789098765458789435
3987656799986543210179878997995679876543129876567965699864321013457999885678996535899199876768997623
9886545678999654322457989598933598765431098965459899789765532134567892976989987323988989997879789794
8765434567998768473578992349212399979532987653217678999898643246789921987896795439976578998997678989
9876323458999898764679874459323989998754987632104569632987654356896439898945987698765489899989539878
9988434567899999989789765598994978999875698544323689541098765467989597659139898987654346789878910167
9876575878999888999899877987689767891986987698765678932129876579768987543298769499874234679967892345
5987689999998767999910998976598756990197898789879889543234987678957897654369754398765645698856789756
4398794599987656789999999896432646789298989990989997654345798999348998976456963219879896897645679877
3239895989876543498987798754321434567999876421299598766987899621298999986569876323989999982123899998
6345999876987432567975649865410124567899996542998439987898999542456789998998765456899998765236789439
5456899865697643778954234987521234679988889959886724398999997663968997899129976568999899874345689321
6667897654987654567892123498435345898767767898765410279899989789899466789298799789998776965456797452
7979999743598775799954294999545456998656656999874321456789878998791245679989578999886565978967896543
8999898995679896987968989899876569876535345789975432357899869876589387889875465789765434989878999964
9988757989789997896899876789997879854321236789997549456798756982468998998753234898954326499989198895
9876545678992198975798765679998997653210147999989698967898743210178959769942102457893212389991096796
2997626789999019424597654568939298764321256899978987998987654321389543457943212967894345678992985689
1459739899898929013698742379029109885454345998765676899998765434499872129874567898965566989989864578
0296547998767898924797653489198999996965456789653235789999876595578953298765678999899789899876943456
2987656789248567895679854579987689999876787995432123567899987989989875459876789989789898679875432345
3498779893123468976789765678966578899989898954321012345678998979899976569987899876678987598765320156
4999889954564567897899897889656466789999979765432125767889219856789989878999998534567895459876431345
9876998795778678998999998996542345678999865986544234579995439767998799989998996545698954346997532666
8965345696889789129989329986421234899999754397655655678976546978945679999986989676789876234598754598
7844236789994998998778939765410125679989653298786769889999656989234567899975879989893986356798768789
5432125679553456986567799877321236798979790129897878999998987993123458998764567993912995467899989899
6594034689432349987434567986432347897857989245998989988877999899012367899653467892199876878901498967
7689125678944498975412798987685498986546679956789899876456997688975457998762345993987989989892397756
8794234789656987654323689999886579873234567897896797984349876567896569874321235689976492198789976546
9895345998767899875454568923987689764356678998965986543212987678987698765210123498654321013567894324|]

day10 :: Text
day10 =
    [r|{{<{{{{([{[([[()<>]{<>{}}]<([]())(()<>)>)((({}())[()[]])<<[][]>[{}[]]>)]{{(<{}<>>{<><>}]([<>[]]<
[(<{{[{(<({{<<[]()><<>{}>>([<>[]]{<><>})}})>)}]}}>[{(<{({[{[[({}())((){})]({{}[]})]<<[<>{}]([][])>({<>()}
(({<{[{({(([[([]())({}())]]({[[]{}]([][]))<((){})<{}<>>>))[(([<>[]]<[]>)(([]{}){{}{}}))])})[({<[{
([{{[([<({<<<([]())[()[]]>{<()[]>[[]()]}>[{<[]{}><[]>>{<<>()>{[]()}}]>[[[[[]{}]([]<>)]<{<>{}}
[[((<({<(<{<<{{}()}{[][]}>[((){})]>}>{((<({}<>)<{}()>>[[<>()]])<<<[][]><<>[]>>{<{}[]>(<>())}>)<{[[{
[{<{{{{<([{[(<[]<>>(<>[])){({}<>)([]<>)}]{{([][])[<>{}]}{<[]<>>(<>{})}}}])<<{[<[<>{}]<(){}>>{<{}<>><<>
(({({([(<[[([[{}{}]([]<>}][(<>()){(){}}])]](({{{{}<>}<{}[]>}([{}[]][(){}])}[(<[]{}>({}()))<<<><>>>])<[{
[{<((<{(<{<<{[()()](()<>)}<({}[])([]<>)>>{(<<><>>[[]{}])[[[]()](<>[])]}>{[[({}<>)([]<>)][[{}[]
{<{<{{(<[[{[[({}[])[()[]]]([()<>][{}[]])]<<({}())[{}{}]><[<>[]](<><>)>>}(([([]{})((){})]((<>)([]{}))))]<{<<<
<{(<<(<[<{<[{[<>[]][{}{}]}{{()<>}{<><>}>]>[<(([]{})[[]])>]}<[<([{}{}][<><>]){([]{})}>]({<{<>()}>{
{[[<{{{<<<[<((()<>)({}{}))<{{}()}>>]<((([]{}){{}<>})[{{}<>}([]{})])({{()[]}[[]()]}[{{}()}({
<[[[{{([{[({[<{}[]>[{}()]]{<()>}}({<()()>}<<<>()>{[]}>))]((({({}[])>{[(){}]{<><>}})(({()[]}[()<>]
[([([([<[{{<[[{}[]]{<>{}}][<{}>(()[])]>[({<>()}(()[])){<[][]>{()[]}}]}}<{(({()}([]()))(([]())<()[]>))<((<>{}
<{[{(({([([[{((){})[[]]>{{{}[]}[<>()]}]])]{([([<[]{}>((){})]<[()<>]<()()>>)][<<{<>{}}{<><>
[[{{(([{(({[[{{}[]}]][<<<>()>({}{})>[[{}<>]{{}<>}]]}[(({{}}{[][]}){[{}{}][<>[]]})(<<<>{}><<><>>>)])<[
[[{([<<([[<(<{<>()}<[][]>>{[<>[]]{()[]}}){[<[][]><{}()>][([]())<<><>>]}>]((<<[(){}][(){}]><([])>>))
[{[<{(([(([([(<>[]}(<>{})][<{}[]>[()[]]])<{[{}<>]<[]<>>}{{[]<>}{{}{}}}>]<<{[<>{}](<>())}{{()[]}{<>{}}}>[
{({<[(((<{<<[[()<>]]<({}<>)>>>[<({[]<>}{()<>})[[()<>][<><>]]>({[{}[]]({}<>)}[<(){}>(<>())])]}><[{<[[<>
<(((({{(<({[<<[]<>>>([()()]{<>()})][<[{}{}]{<>()}>{{{}{}}[[][]]}]}{(<<<><>>(()<>)>(<<>()>[()[]]))
[<{{[{[[[<(({<()()>[(){}]}[([]())[(){}]]))>{[<[[[]]<[][]>]{[[][]](()())}>[(<<>()>{[]<>})(({}())<{}[]>)
(<[[((<<({[(([()[]]([]<>)){{(){}}})]{<(<<><>><[]{}>)<<{}<>]([]<>)>>}}){(<{<{[]{}}[{}<>]>}>{({(<><>)<()[]>}{((
{[{((<{<<<<([<[]{}>[[][]]]<[[]()][<>[]]>)[[<{}[]>{{}()}](<()<>>[<>[]])]>>[{([<()[]>{{}[]}](({}{}
(<([<((<{[<<(((){})<<><>>)<[{}()]<[]<>>}>[([[]{}](()[]))]>[<{({}()){{}()}}>[(([]<>)({}[])){
{((((<(({[(<{<()]([][])}>){[<[[][]]>]<{{{}<>}[[][]]}>}]}[<{([{[]{}}]{[(){}]<<>()>})[(<()<>>{()<>
<<{([{<[[[<{([[]<>]){[<>()][(){}]}}[{(()[])[()[]]}]>][{{[{{}[]}<()<>>]>[[{(){}}[<>[]]][[<>[]]({}()
<((<[<(([<[{({<><>}(()[]))}]<[<[{}()]<()[]>>(<()()>)][[(<>())<()())]<{<>}<{}>>]>>({{<<<>[]><<>(
[({{{{{{(([[<<()()><<>[]>>[{[]<>}]]{(<{}<>>(()[]))<<[][]>(()())>}]([<({}()><[][]>>]<{[[][]]<[]<>>}(
(<(<{{<[{{{[<[<>[]]<[]{}>>[{<>{}}{()()}]]{<<{}()>(<>())>[[{}[]]]}}}}][{([{[([]{})<()[]>][[<>{}]{()[]}]}(([()
{[<<(<<<{[<<<<[]<>><()[]>>[({}[])[[]<>]]><((<><>)[{}<>])[{{}{}}[[]()]]>>{{{[<><>]<<>()>}[<[]{}>([][])]
<(<{<(<({[[{((()[])[{}<>])([<>()]>}{[({}{})[(){}]]<[()<>]({}[])>}]{[<{[]{}}><{[]{}}[[][]]>][[<{}<>><()[]>]<[
{<({[<((<<<{{([]<>}{<><>}}<{<>{}}[[]<>]>}>{<[{{}}(()())]>}>(<<{[(){}]<()[]>}({(){}}[()<>])>[<<<>[]>{[]
{(({<{{{{{((<{[]<>>(<>{})>[[<>()]])<<(()())[<>]><[(){}][{}{}]>>)}({([[[]]]{<{}{}><()[]>})<{[(){}][[]()]}>
<<[<<[((({[[(<{}[]>({}())){[()()]}][{{<>{}}<<>()>}[<{}[]>[<>[]]]]]{<(([]())([]()))>{([()()]<<>[]>)[<
{([<<<({((<{{[<>[]][<>{}]}<<<>[]>[[][]]>}[{[()[]]<<>[]>}<[{}{}]<<><>>>]>({[<[]<>>]<<()()>([][])>}(((<
(<{<((<{[[<[(<[]{}>{<>{}})][<([][])[{}<>]>[<{}<>>]]><<[(<>[])[{}<>]]{<{}{}><{}[]>}>(<([]<>){()[]}>)>]]}{({[<(
[{{(({<<<<{{<({}()){{}{}}>[(()[])]}[([(){}]{<>[]})[(<>())[{}]]]}>[<<<{[]{}}{{}{}}>]{<[{}<>]>{(()())}}>[{(<[]<
{[<<{<[[({{<<{()[]}<<><>>>([[]<>>[{}[]])>}[[[([]<>)[<>{}]]]<<[<>()](<>{})>>]})(((({({}[])<<><>>}([<>])))((<
[{(({({<({(<{{[][]}({}<>)}[{()()}{[][]}]>(((<><>)(<>()))([{}()][{}()])))([{[[]()]<[]{}>}{(
{<{{<[<<[(<([({}())[{}()]]{{{}<>}<[]>}){[((){})<[][]>]<([]())({}[])>}>{<(((){})[()<>])(<()[]>[(){}]
{({({<{{(<([<[<><>]((){})>{{()[]}<<>{}>}]{[(<>())<{}[]>][{()<>}[[]()]>})>[[<{([])[()[]]}><<[(){}]({}())>>]{
(<{{(<<<{(<(({<><>}{()[]})<[{}[]]([]())>)([(()<>)[[]<>]]({[]()}{{}{}}))))[(<{{()[]}<()[]>}((<><>))>[[
<<[<([{<<[[({<[]<>><<>()>}{([]<>)[[]<>]}){[<{}{}><()[]>]<{<>()}{<>()}>}]{{<({}{})>})]>[<({<
(<<[[({[({(<{{[]{}}<[]{}}}>[<<()<>><{}<>>>(<()()>{{}<>})])}{<({({}[])<()>}<([]())<{}<>>>)<<[(
[<(<{(([(<([[<<>{}>(<>{})]](((()[])[[]()])[[{}<>]({}{})]))><<{<([]<>){[][]}>[{<>[]}<()<>>]}>(<((<>[]){()<>}
[<{[[{(([[{[{<[]<>>(<>[])}<<<>()>{{}{}}>][({[][]}<<>>){(<>[])[<><>]}]}(([([][])(<>[])]{(()())}))](<<{
((<{<<([<[(([{()()}((){})][<()[]><()[]>])<{({}<>){{}<>}}>)[{(<<><>>)<{{}[]}>}({(<>()){()}}{([
[({{{{((([({{(<>[])[[]<>]}([{}])}(({<><>}{<>()})[[{}[]]]))<{[[<>{}](()[])](<()<>>{[]()})}{{<()()
[<[<({[[({[[[<<>[]>]({[]}[<><>])]{[[()<>]([]())]<({}{})[[][]]>}]}<<(([()()]<()<>>)<{()()}[()[]]>
{<([[<[<<(([<(()[])(()<>)>{[<><>](<>[])]]{({{}})}){<((<><>)<{}<>>)((()[])[[]()])>})<<(<(())(
<[<((<{(<[[({{{}()}({}{})}}<[[()<>]]<[()()][<>]>>]<[([()()]({}<>))[<{}()>([]<>)]]>][{[[(()())[()]][[<>[]
[{(<(<[((<{(({(){}}[()[]])<{[][]}(<>{})>)[(<<><>>[()[]]]{[{}[]]{()<>}}]}><[<[[{}()](()[])][(<>()){<>()}]>[{
([({<({{{[[<[{{}<>}([][])]{[(){}]{()<>}}>][{[{[]<>}][<{}()>]}]]}{((<[{{}[]}(()()))[{<>[]}]>({(<>{})<[]<>>}
{[({[<[([(<{((<>{})<{}{}>)}(<[[]()]<{}{}>>({{}[]}{[]<>}))><[((()[])(())){([]<>)[()[]]}]<({()
[(<<<([{[[[<<<<>>{{}<>}>[{[]()}]>[([[]{}]{[]<>}){[<>()]}]]]]}]<<((<([{[][]}<{}<>>]<[[]{}][[]<>])){{[<>[]
{[{{[[{{[<[<<{{}<>}<[]{}>><<()[]>[<>[]]>>[([<>{}](()()))]]>{({([{}[]](<><>))<<(){}>(<>{})>}({([]<>)[{}[])}(<<
<{([[{<[<{{([(<>{})[<>()]]){{[()[]]([])}}}[{<((){})([]())>}(<{[][]}<<>{}>>[[[][]]<()()>])]}>[
{(<[({{(<<<{[(()())]<[<>[]][{}{}]>}[[<()[]>{[][]}]]>(<((<>())[()[]]){{()[]}{[][]}}>({{[]<>}<[][]>}(<[]{}
<{{[{((((<[{({[]{}}<(){}>)}[[{[][]}<<>{}>]<<[][]>{[]}>]]>{{([((){})<<>{}>]{{()()}})<[<<>()>](<<>>[()
<([({(<<<{[<{(()<>)(<>[])}([<>]{<>{}})>]<(<<<><>><{}()>>[([][]){[]<>}])>}{[([[[]<>]{(){}}]<[{}<>]{{}<>}
{<<<[{[(<[([([[]()]<()[]>)(([]())({}[]))]<[[()<>]]<[(){}]<[][]>>>)(<{<[][]>)<(()<>)<{}[]>>
{[[<[[<(<[[{(<()<>>)<{{}<>}[[][]]>}<<(()()){[]{}}>{<[]()>>>]]>)({<<<<[{}{}]{<>()}>{<<><>>([]{})}>>[([<()()>(
[[[{({{({[{[(({}())(<>[]))<<<>[]>[[]<>]>]<<<()()><<>>>[({}())(<>[])]>}[({<(){}>({}{})}[[{}()]]){[[[]<>
<(((<<[{[[<({({}<>)[{}()]}[{[]{}}([]())]){([[]<>]<[]<>>)[(()[])[{}[]]]}>(<<<{}[]><()[]>)>[[<{}(
[<<{[{{<<[[{<<()[]>(())><<{}()][<>()]>}({[{}{}][<>()]}<([]())([])>)]({{{[][]}[<>{}]}<[()]{{}()}>}(({
{([(<[[<(<<<(<<><>><{}<>>)({{}()}[<>()])>{([(){}][[][]]){[<><>]{<><>}}}>>(({(<<><>><()<>>){{()<>}{(){}}}}
[(<([[[([(({[[<>[]]]}))([{{[{}()]([]<>)}{{<>[]}[[][]]}}(<([]())>[([]{}){()<>}])][<{<()[]><()()>}>{<([
{([[<<[[<[[[<[{}[]]{[]<>}>[<{}()>{<>[]}]]]<[<{[][]}(<>[])>[[{}[]]<[][]>]][((()[])[<>{}]){{{}()}[(){}]}]>]>
{[[[<<{{[<<<([{}[]]<<>[]>)([()]<{}{}>)>({<<>{}>(()[])})>[(((<><>>{<>{}})<<<>[]>[[]()]>)({(()(
[[[{<<(({{[((<{}<>>[{}])({<>{}}<{}{}>))[(<{}()>(<>{}))(<<><>>{{}{}})]]({{<()>}}(<{(){}](<><>)
(({{[[[<[{<{[<{}()><<>{}>]}({[[]()]<{}[]>])>}[<{{(<><>)<{}()>}{{{}<>}{{}[]}}}(([<>[]]([][]))
<[<<{({[(<(<{({}<>)<[][]>}{(()[])({}[])}>{(<{}{}>>})>([<<<<>{}>((){})>[(()())[[]()]]><{[{}<>]<<>
[{<{[(<[[[{({({}<>)(()<>)}{<[][]>})}{[<[()[]]{[]<>]>{<{}()>(()())}]{[<()()>{<>[]}]<[<><>]>}}]
({{<{[[[([({{<<>()>(()<>)}(<{}()><()[]>)}<[[{}()]<{}[]>]{((){}){{}[]}}>)[([{<><>}<()<>>][(<><>)(()())]
(({<{{{[([{<<<{}{}>{[]{}}>([<>[]]{[]{}})>}{<<{[]{}}[[]{}]>{<<>{}>([]())}><(<(){}>({}[]))[(<>[])(()<>)]>
<[<(<{[[<([({[<>()][<>{}]}{{()()}[<><>]})]<[[<[]()>]<[{}<>]([])>]{<[<>[]]<<>()>]((<>())[<>{}])}>)([{<[[][]]
<<{{((({<<[[<{<>()}(()())>[(()[])[()<>]]]{({{}[]}[<><>])}]<{<<<><>>{{}[]}>}<[<[][]>[{}[]]](<()()>{[]{}})
[<<{<{([{(({[{()[]}{()}][({}{})(()[])]}{({<>()})({[]()}({}[]))}))}][[[([[{<>[]}[{}[]]][[<><>]<()[]>]]([
[([[{{<(<[{(<<()<>>><[[]()]{()()}>)<(({}()){[]<>})>}]>)>{<[<{{((()())({}<>)>{([]{}){{}<>}}}}<({
((<<{(<[(<[[<({})>[{[][]}[<>[]]]]]>)]>)}([(<[[([(([][]))[{{}()}([][])]][((<><>){[]()})])]]<<(
<<<<(<{[{[({<{(){}}[<>]>[<[]<>>{<>()}]}[<[<>()]>{[[]<>][{}[]}}])(<{<(){}>[{}{}]}<(()<>)<()[]>>>)][<{{<[]<
(([[<{[({{{[<<<><>>(()())>({[]<>}(<>()))]{<[<>()][{}{}]>([[]()]((){}))}}((<({}{})[<>]>([<>()]{(){}})))}[<{([<
{[([<<[([[<[(<[]()>{()[]})<{<>()}{(){}}>]><<{<[][]><{}()>}(<[]<>>([]<>])>>]{[[<<{}<>>({}[]
{{[<<(<({[<<{<[]<>>}{(<>())}>[{[<>]{(){}}}]>]}{{{<([()<>]{<>{}})(<()[]>[[]()])><[<<>[]>({}{})]((()())[{
[{{[<{<<{{<[<<()()>[{}]>([{}{}]({}{}))]{(<[][]>([][]))(([]{})<<>[]>)}>}({{<{<>[]}[<>()]>(({
[<{[(<<[<<(([[<>[]]][([]())({}<>}])){(({[]()}{()<>})[<[]{}>(<><>)])[<[{}[]][{}{}]><{(){}}<{}{}>>]}>({<<[[]()
[({[<<<({<({({{}<>}[[]{}])}({({}<>)<<>[]>}))([<{(){}}>])>}{<{[[{{}{}}(<>{})]]<[[()[]]<<><>>]{[<><>]<{}()>
[<{<<<<(([([[{{}()}[<>]][((){})[[]{}]]](({[]()}[[]()])[{[]()}(<>[])])){[{<<><>>{{}<>}}<{()[]}[[]
[{({<(((<({{({[]()}))[((()())<[][]>)<{<>{}}(<><>)>]}{[<[[][]](<><>)>][[{<>{}}[<>{}]](<<>[]>{[][]})]})>)))>}
[[{[[{({[([(<<<>[]>[<><>]>([{}()][<>()]))<<[<>{}]{{}<>}>[<<>{}>([]{}]]>])<(<(<[]()>)[(()[])
<([(<<[<<({{{([]{})}[{()<>}<[]()>]}}{(<{[]{}}([][])>)})[[[<[[][]]<<><>>><{{}{}}(<><>)>]<<(()())[(){}]>{
[(<{[{({[({<{<{}[]><<>()>}{<{}()>[[][]]}><<{{}()}{(){}}>>}[<{{<>{}}{()())}>]){[<[{()()}<[]()>]><[[{
<{<[{([([<<[<[<>()]{(){}}>][({{}[]}((){}))[<[][]><()<>>]]>>{{{<{<><>}{(){}}>({<><>}<()))}({<()><{}[]>}(<(
({((([[{([<[(([]{})){[()<>][<><>]}]>{[<<{}{}><()[]>>(<<>>)]({<<><>>[<>{}]}{<[]{}><<>{}>})}])[(<(([<><>][{}{
<[<(([(({([[<(()[])[[]{}]>{<<>{}>(<>{})}]]([([<>{}]{[]{}})][{<()>{()[]}}(({}[])(<>[]))]))})({{[(({(){}}[<>
|]

day11 :: Text
day11 =
    [r|2138862165
2726378448
3235172758
6281242643
4256223158
1112268142
1162836182
1543525861
1882656326
8844263151|]

day12 :: Text
day12 =
    [r|mj-TZ
start-LY
TX-ez
uw-ez
ez-TZ
TH-vn
sb-uw
uw-LY
LY-mj
sb-TX
TH-end
end-LY
mj-start
TZ-sb
uw-RR
start-TZ
mj-TH
ez-TH
sb-end
LY-ez
TX-mt
vn-sb
uw-vn
uw-TZ|]

day13 :: Text
day13 =
    [r|938,670
246,156
622,476
137,296
708,323
1019,283
415,505
1043,234
666,871
157,893
969,266
1280,690
987,260
296,428
1302,361
92,168
206,204
937,659
551,488
147,456
1279,42
463,154
407,266
1153,893
495,372
733,459
378,169
48,705
31,852
577,571
36,672
1014,661
441,880
1305,791
115,553
455,267
360,833
915,455
346,53
606,367
1014,513
930,633
190,350
564,577
1205,376
928,462
577,435
825,686
517,598
782,119
1110,539
67,236
77,185
577,723
808,855
139,742
865,414
159,522
1159,626
440,58
743,505
252,502
1190,659
855,521
1094,185
798,176
1114,61
174,695
427,581
161,670
74,222
1250,829
930,261
398,497
541,47
340,102
1057,614
820,753
1057,453
1158,141
492,499
267,234
642,568
904,586
1274,47
169,781
241,164
1037,621
50,254
44,63
388,561
1099,522
1255,809
736,171
1139,145
323,708
928,686
527,851
478,771
895,505
320,455
156,268
787,399
1136,695
150,751
252,537
1242,631
468,40
436,208
380,261
324,3
954,93
946,504
991,817
604,177
565,348
705,406
89,38
735,418
234,161
880,0
956,553
523,847
654,753
946,266
465,822
768,282
3,5
18,513
758,737
980,639
1248,725
1250,570
807,716
1138,375
1076,354
922,561
417,434
831,626
115,861
1255,710
793,473
77,499
964,169
989,343
875,183
758,224
398,397
1208,670
903,266
77,403
82,176
427,313
139,152
810,550
577,619
867,665
443,665
485,775
272,686
196,833
291,163
1029,387
1221,38
1019,611
544,78
299,826
1289,854
1160,751
1230,469
408,290
1056,176
281,507
170,828
18,828
1175,329
539,413
698,764
373,59
433,376
1020,504
85,771
151,716
934,245
172,792
383,78
1223,725
348,278
3,453
152,525
1037,618
1197,686
319,749
328,318
623,42
1258,521
441,14
862,802
1233,459
1140,791
994,509
417,262
517,712
1029,507
52,821
984,133
1120,96
1186,764
482,760
1114,754
190,96
728,494
1071,602
1019,122
92,726
1221,856
710,686
1140,49
485,208
661,775
774,511
154,123
383,816
986,3
455,409
200,614
584,749
616,662
493,353
572,649
80,171
932,177
1237,614
574,171
480,247
656,193
1153,449
502,257
1303,632
733,403
1274,672
872,515
219,631
353,9
1020,47
683,602
62,169
734,586
325,614
482,323
1160,143
987,5
982,766
1115,495
1086,894
441,546
816,675
1272,662
929,618
865,480
237,262
729,728
1197,159
880,289
68,148
816,227
924,198
113,686
704,245
745,486
500,550
510,824
817,353
708,571
1021,77
929,276
704,79
1061,51
1002,514
351,152
934,693
216,709
736,469
130,385
1221,546
276,254
1054,556
1164,7
2,107
812,626
610,383
1069,164
738,848
462,73
618,579
299,516
126,775
415,389
1044,113
1115,47
1062,586
746,129
976,397
1309,166
602,323
494,227
888,820
835,662
728,400
1009,397
410,718
273,618
253,453
865,59
528,775
1002,380
224,446
1305,327
364,166
189,744
67,658
1307,67
572,848
957,9
454,602
743,837
811,593
113,882
77,275
1232,138
482,326
216,653
987,827
984,761
1121,150
90,765
274,323
701,123
308,514
1159,178
80,723
1154,268
1255,16
20,77
745,856
729,726
628,229
475,662
120,659
1091,711
688,476
500,312
408,171
996,543
323,453
826,66
508,775
89,632
601,52
686,18
638,455
1094,67
562,509
102,593
517,312
435,263
594,829
930,323
1073,348
524,509
659,653
895,690
443,372
1149,670
763,408
160,227
36,628
571,28
687,70
1307,889
200,539
87,243
818,753
1230,873
152,173
408,738
219,711
890,845
606,79
1168,77
1200,78
688,154
335,184
629,173
793,712
318,571
769,686
1310,141
234,354
3,403
155,322
579,516
706,53
977,241
1178,652
1054,637
5,791
316,593
681,528
226,152
838,53
316,301
947,283
647,262
833,427
1014,233
1058,502
562,207
224,894
836,775
869,14
256,273
541,686
1227,345
1074,99
92,562
489,306
1149,801
172,760
811,301
1230,425
512,718
1084,152
213,14
813,445
628,665
1011,516
850,773
21,40
1033,406
783,43
719,840
1225,164
219,152
1222,173
1038,686
236,99
1220,99
761,824
909,814
740,756
676,278
219,183
1218,168
1233,485
281,682
403,465
672,455
1037,276
649,775
622,292
1303,262
435,94
68,631
402,201
326,133
574,51
986,891
1120,350
912,621
970,792
549,824
253,677
536,292
1290,177
28,190
356,93
842,40
769,208
653,877
1215,460
803,8
1262,245
417,348
865,507
1116,325
580,828
314,211
1233,185
582,624
818,499
661,464
726,749
933,488
77,459
604,702
454,7
435,711
416,873
1130,439
137,312
113,208
582,494
1138,102
924,310
281,387
569,663
652,143
353,885
602,633
816,219
606,649
191,565
55,464
846,96
422,759
253,441
560,311
36,679
1290,525
1158,173
333,775
704,649
527,857
692,579
72,176
584,690
562,687
1121,822
599,246
319,593
1124,488
657,877
457,675
1179,266
668,568
577,171
170,845
865,387
452,578
174,141
119,203
70,674
745,348
12,326
1240,749
239,389
574,313
709,52
542,282
31,824
110,368
182,219
353,437
755,133
1029,212
571,866
494,675
715,212
920,844
1181,667
704,525
20,369
729,814
1168,176
290,119
1196,143
748,338
1183,25
221,376
1258,883
331,226
700,383
731,516
649,430
227,502
783,3
959,152
440,836
726,369
70,749
1171,152
897,388
154,344
661,430
994,385
507,8
800,70
739,345
1192,511
478,751
853,890
298,821
808,39
687,852
254,176
127,473
1195,553
733,619
214,58
788,793
723,455
465,150
10,471
373,235
623,294
281,212
1016,173
912,257
1061,388
1190,235
546,656
378,389
676,616
1240,397
783,409
400,64
569,282
1292,841
663,262
1262,705
457,4
1232,308
226,742
649,327
952,381
567,651
724,263
940,316
956,240
53,500
1298,326
1016,866
1223,690
688,292
1076,332
632,782
454,740
131,495
152,141
989,653
189,488
1086,224
1072,873
651,515
870,58
932,169
1258,409
700,511
769,735
5,567
321,241
200,740
576,586
581,726
303,742
132,652
1014,428
380,633
330,815
73,280
1207,488
536,511
902,604
446,852
448,11
77,485
594,65
1039,78
708,11
482,550
331,345
373,771
333,103
959,742
1220,795
36,215
848,821
726,145
482,568
682,665
937,771
298,353
774,383
28,373
826,49
364,266
716,0
883,581
1094,795
212,306
136,789
401,814
659,889
422,74
541,208
20,817
364,728
785,785
937,212
1104,204
74,290
855,309
7,856
587,439
663,38
174,199
282,679
1120,798
845,582
290,847
92,332
1243,236
1020,266
443,105
497,449
728,270
124,764
1280,513
535,203
741,771
278,201
708,633
599,269
842,854
994,301
18,841
324,891
480,641
740,138
95,882
734,308
577,282
793,296
932,389
705,488
52,521
180,455
1190,540
581,814
420,637
160,667
478,359
190,798
150,143
130,826
89,348
569,123
771,301
853,442
1146,753
733,395
348,333
441,287
216,99
3,67
176,183
547,856
68,711
605,406
544,627
105,152
856,103
1032,201
618,131
599,878
604,841
1233,275
479,626
1151,522
21,854
668,543
1028,740
113,159
746,577
586,863
1247,840
272,208
201,138
249,58
159,372
87,725
776,540
907,579
1099,677
468,854
748,687
303,152
1094,241
52,373
85,739
48,189
52,883
157,445
430,0
185,234
127,627
6,887
527,627
582,176
1118,521
216,67
386,198
1150,227
172,344
687,600
120,690
387,712
1203,632
888,123
689,676
468,488
933,770
199,267
256,497
586,263
895,389
110,627
479,268
741,730
694,232
666,301
704,490
129,667
1242,711
830,641
194,325
618,315
910,64
1052,298
1171,742
869,546
1153,880
1148,128
381,173
1233,11
1240,130
103,488
274,267
402,693
594,381
495,267
246,425
1292,268
602,37
539,677
793,421
711,16
89,856
1073,460
1020,180
763,856
438,205
365,817
1210,600
372,224
135,565
853,452
239,242
363,283
1079,348
142,176
107,632
534,242
530,130
142,77
1290,77
1218,385
249,51
214,57
687,42
972,77
1173,296
808,305
813,1
1225,155
333,791
774,607
1300,23
1140,103
340,550
154,582
10,423
38,662
565,856
354,688
333,241
1256,208
272,656
736,51
880,672
1145,894
1022,379
566,721
668,102
503,716
912,497
610,511
1292,828
282,222
22,782
572,718

fold along x=655
fold along y=447
fold along x=327
fold along y=223
fold along x=163
fold along y=111
fold along x=81
fold along y=55
fold along x=40
fold along y=27
fold along y=13
fold along y=6|]

day14 :: Text
day14 =
    [r|SVCHKVFKCSHVFNBKKPOC

NC -> H
PK -> V
SO -> C
PH -> F
FP -> N
PN -> B
NP -> V
NK -> S
FV -> P
SB -> S
VN -> F
SC -> H
OB -> F
ON -> O
HN -> V
HC -> F
SN -> K
CB -> H
OP -> K
HP -> H
KS -> S
BC -> S
VB -> V
FC -> B
BH -> C
HH -> O
KH -> S
VF -> F
PF -> P
VV -> F
PP -> V
BO -> H
BF -> B
PS -> K
FO -> O
KF -> O
FN -> H
CK -> B
VP -> V
HK -> F
OV -> P
CS -> V
FF -> P
OH -> N
VS -> H
VO -> O
CP -> O
KC -> V
KV -> P
BK -> B
VK -> S
NF -> V
OO -> V
FH -> H
CN -> O
SP -> B
KN -> V
OF -> H
NV -> H
FK -> B
PV -> N
NB -> B
KK -> P
VH -> P
CC -> B
HV -> V
OC -> H
PO -> V
NO -> O
BP -> C
NH -> H
BN -> O
BV -> S
CV -> B
HS -> O
NN -> S
NS -> P
KB -> F
CO -> H
HO -> P
PB -> B
BS -> P
SH -> H
FS -> V
SF -> O
OK -> F
KP -> S
BB -> C
PC -> B
OS -> C
SV -> N
SK -> K
KO -> C
SS -> V
CF -> C
HB -> K
VC -> B
CH -> P
HF -> K
FB -> V|]