{"version":2,"width":65,"height":25,"timestamp":1757470084,"command":"fish --private","env":{"SHELL":"/bin/bash","TERM":"xterm-256color"},"theme":{"fg":"#dddddd","bg":"#171717","palette":"#282a2e:#d74e6f:#31bb71:#d3e561:#8056ff:#ed61d7:#04d7d7:#bfbfbf:#4d4d4d:#fe5f86:#00d787:#ebff71:#9b79ff:#ff7aea:#00fefe:#e6e6e6"}} [0.03084, "o", "\u001b[6 q"] [0.047207, "o", "b"] [0.088537, "o", "\u001b[6 q"] [0.088654, "o", "\u001b]7;ghr\u0007"] [0.090373, "o", "\u001b]0;ghr\u0007\u001b[30m\u001b(B\u001b[m"] [0.0904, "o", "\r"] [0.090546, "o", "\u001b]133;A;special_key=1\u0007ghr> \u001b[K\r\u001b[5C\u001b[?2004h\u001b[>4;1m\u001b[=5u\u001b="] [0.090659, "o", "b\r\u001b[6C"] [0.090817, "o", "\b\u001b[34mb\u001b[30m\u001b(B\u001b[m\r\u001b[6C"] [0.106187, "o", "\u001b[90m \u001b[30m\u001b(B\u001b[m\r\u001b[6C"] [0.199584, "o", "\u001b[34ma\u001b[30m\u001b(B\u001b[m\r\u001b[7C"] [0.199776, "o", "\b\b\u001b[91mba\u001b[30m\u001b(B\u001b[m\r\u001b[7C"] [0.208949, "o", "\u001b[90mcon \u001b[30m\u001b(B\u001b[m\r\u001b[7C"] [0.352049, "o", "\u001b[91mt\u001b[30m\u001b(B\u001b[m\u001b[K\r\u001b[8C"] [0.352211, "o", "\b\b\b\u001b[34mbat\u001b[30m\u001b(B\u001b[m\r\u001b[8C"] [0.361557, "o", "\u001b[90m \u001b[30m\u001b(B\u001b[m\r\u001b[8C"] [0.506679, "o", "\u001b[34m \u001b[30m\u001b(B\u001b[m\r\u001b[9C"] [0.506811, "o", "\u001b[?2004l\u001b[>4;0m\u001b[=0u\u001b>"] [0.662486, "o", "\u001b[34mf\u001b[30m\u001b(B\u001b[m\r\u001b[10C"] [0.662493, "o", "\u001b[?2004h\u001b[>4;1m\u001b[=5u\u001b="] [0.662639, "o", "\b\u001b[36m\u001b[4mf\u001b[30m\u001b(B\u001b[m\r\u001b[10C"] [0.662667, "o", "\u001b[90mact.ghr \u001b[30m\u001b(B\u001b[m\r\u001b[10C"] [0.8151, "o", "\u001b[36m\u001b[4ma\u001b[90m\u001b[24mct.ghr \u001b[30m\u001b(B\u001b[m\r\u001b[11C"] [0.967406, "o", "\u001b[36m\u001b[4mc\u001b[90m\u001b[24mt.ghr \u001b[30m\u001b(B\u001b[m\r\u001b[12C"] [1.120218, "o", "\u001b[36m\u001b[4mt\u001b[90m\u001b[24m.ghr \u001b[30m\u001b(B\u001b[m\r\u001b[13C"] [1.272183, "o", "\u001b[36m\u001b[4m.\u001b[90m\u001b[24mghr \u001b[30m\u001b(B\u001b[m\r\u001b[14C"] [1.423796, "o", "\u001b[36m\u001b[4mh\u001b[30m\u001b(B\u001b[m\u001b[K\r\u001b[15C"] [1.42393, "o", "\u001b[90ms \u001b[30m\u001b(B\u001b[m\r\u001b[15C"] [1.57621, "o", "\u001b[36m\u001b[4ms\u001b[90m\u001b[24m \u001b[30m\u001b(B\u001b[m\r\u001b[16C"] [1.727448, "o", "\u001b[K\r\u001b[16C\r\n\u001b[30m\u001b(B\u001b[m\u001b]133;C;cmdline_url=bat%20fact.hs\u0007\u001b[?2004l\u001b[>4;0m\u001b[=0u\u001b>"] [1.727581, "o", "\u001b[2 q"] [1.728249, "o", "\u001b]0;bat fact.hs ghr\u0007\u001b[30m\u001b(B\u001b[m\r"] [1.737827, "o", "\u001b]10;?\u0007\u001b]11;?\u0007\u001b[c"] [1.74555, "o", "\r\u001b[38;2;131;148;150m───────┬─────────────────────────────────────────────────────────\u001b[0m\u001b[m\r\n \u001b[38;2;131;148;150m│ \u001b[0mFile: \u001b[1mfact.hs\u001b[0m\u001b[m\r\n\u001b[38;2;131;148;150m───────┼─────────────────────────────────────────────────────────\u001b[0m\u001b[m\r\n\u001b[38;2;131;148;150m 1\u001b[0m \u001b[38;2;131;148;150m│\u001b[0m \u001b[38;2;248;248;242mfact \u001b[0m\u001b[38;2;190;132;255m1\u001b[0m\u001b[38;2;248;248;242m \u001b[0m\u001b[38;2;249;38;114m=\u001b[0m\u001b[38;2;248;248;242m \u001b[0m\u001b[38;2;190;132;255m1\u001b[0m\u001b[m\r\n\u001b[38;2;131;148;150m 2\u001b[0m \u001b[33m~\u001b[0m \u001b[38;2;131;148;150m│\u001b[0m \u001b[38;2;248;248;242mfact x \u001b[0m\u001b[38;2;249;38;114m=\u001b[0m\u001b[38;2;248;248;242m x * fact (x \u001b[0m\u001b[38;2;249;38;114m-\u001b[0m\u001b[38;2;248;248;242m \u001b[0m\u001b[38;2;190;132;255m1\u001b[0m\u001b[38;2;248;248;242m)\u001b[0m\u001b[m\r\n\u001b[38;2;131;148;150m───────┴─────────────────────────────────────────────────────────\u001b[0m\u001b[m\r\n\r\u001b[K"] [1.746555, "o", "\u001b]133;D;0\u0007"] [1.74665, "o", "\u001b[6 q"] [1.74666, "o", "\u001b[?25h"] [1.746701, "o", "\u001b[2m⏎\u001b(B\u001b[m \r⏎ \r\u001b[K"] [1.748488, "o", "\u001b]0;ghr\u0007\u001b[30m\u001b(B\u001b[m"] [1.748498, "o", "\u001b]133;A;special_key=1\u0007ghr> \u001b[K\r\u001b[5C\u001b[?2004h\u001b[>4;1m\u001b[=5u\u001b="] [5.879704, "o", "g\r\u001b[6C"] [5.879927, "o", "\b\u001b[34mg\u001b[30m\u001b(B\u001b[m\r\u001b[6C"] [5.892508, "o", "\u001b[90m++ \u001b[30m\u001b(B\u001b[m\r\u001b[6C"] [6.032392, "o", "\u001b[34mh\u001b[30m\u001b(B\u001b[m\u001b[K\r\u001b[7C"] [6.041022, "o", "\u001b[90m \u001b[30m\u001b(B\u001b[m\r\u001b[7C"] [6.18786, "o", "\u001b[34mr\u001b[30m\u001b(B\u001b[m\r\u001b[8C"] [6.196914, "o", "\u001b[90m \u001b[30m\u001b(B\u001b[m\r\u001b[8C"] [6.34426, "o", "\u001b[34m \u001b[30m\u001b(B\u001b[m\r\u001b[9C"] [6.497323, "o", "\u001b[34mf\u001b[30m\u001b(B\u001b[m\r\u001b[10C"] [6.497475, "o", "\b\u001b[36m\u001b[4mf\u001b[30m\u001b(B\u001b[m\r\u001b[10C\u001b[90mact.ghr \u001b[30m\u001b(B\u001b[m\r\u001b[10C"] [6.649519, "o", "\u001b[36m\u001b[4ma\u001b[90m\u001b[24mct.ghr \u001b[30m\u001b(B\u001b[m\r\u001b[11C"] [6.802068, "o", "\u001b[36m\u001b[4mc\u001b[90m\u001b[24mt.ghr \u001b[30m\u001b(B\u001b[m\r\u001b[12C"] [6.955041, "o", "\u001b[36m\u001b[4mt\u001b[90m\u001b[24m.ghr \u001b[30m\u001b(B\u001b[m\r\u001b[13C"] [7.107238, "o", "\u001b[36m\u001b[4m.\u001b[90m\u001b[24mghr \u001b[30m\u001b(B\u001b[m\r\u001b[14C"] [7.259028, "o", "\u001b[36m\u001b[4mh\u001b[30m\u001b(B\u001b[m\u001b[K\r\u001b[15C"] [7.259208, "o", "\u001b[90ms \u001b[30m\u001b(B\u001b[m\r\u001b[15C"] [7.410912, "o", "\u001b[36m\u001b[4ms\u001b[90m\u001b[24m \u001b[30m\u001b(B\u001b[m\r\u001b[16C"] [7.565593, "o", "\u001b[36m\u001b[4m \u001b[30m\u001b(B\u001b[m\r\u001b[17C"] [7.565809, "o", "\b\u001b[36m \u001b[30m\u001b(B\u001b[m\r\u001b[17C"] [7.718287, "o", "\u001b[36m'\u001b[30m\u001b(B\u001b[m\r\u001b[18C"] [7.718512, "o", "\b\u001b[91m'\u001b[30m\u001b(B\u001b[m\r\u001b[18C"] [7.870557, "o", "\u001b[91mf\u001b[30m\u001b(B\u001b[m\r\u001b[19C"] [7.870873, "o", "\b\b\u001b[91m\u001b[4m'\u001b[33mf\u001b[30m\u001b(B\u001b[m\r\u001b[19C\u001b[90mact.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[19C"] [8.022586, "o", "\u001b[33m\u001b[4ma\u001b[90m\u001b[24mct.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[20C"] [8.17416, "o", "\u001b[33m\u001b[4mc\u001b[90m\u001b[24mt.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[21C"] [8.336174, "o", "\u001b[33m\u001b[4mt\u001b[90m\u001b[24m.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[22C"] [8.488302, "o", "\u001b[33m\u001b[4m \u001b[30m\u001b(B\u001b[m\u001b[K\r\u001b[23C"] [8.488538, "o", "\b\b\b\b\b\b\u001b[91m'\u001b[33mfact \u001b[30m\u001b(B\u001b[m\r\u001b[23C"] [8.641229, "o", "\u001b[33m1\u001b[30m\u001b(B\u001b[m\r\u001b[24C"] [8.793174, "o", "\u001b[33m'\u001b[30m\u001b(B\u001b[m\r\u001b[25C"] [8.79339, "o", "\b\b\b\b\b\b\b\b\u001b[33m'fact 1'\u001b[30m\u001b(B\u001b[m\r\u001b[25C"] [8.945811, "o", "\u001b[33m \u001b[30m\u001b(B\u001b[m\r\u001b[26C"] [8.946024, "o", "\b\u001b[36m \u001b[30m\u001b(B\u001b[m\r\u001b[26C"] [9.097729, "o", "\u001b[36m'\u001b[30m\u001b(B\u001b[m\r\u001b[27C"] [9.097998, "o", "\b\u001b[91m'\u001b[30m\u001b(B\u001b[m\r\u001b[27C"] [9.250272, "o", "\u001b[91mf\u001b[30m\u001b(B\u001b[m\r\u001b[28C"] [9.250483, "o", "\b\b\u001b[91m\u001b[4m'\u001b[33mf\u001b[30m\u001b(B\u001b[m\r\u001b[28C"] [9.250495, "o", "\u001b[90mact.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[28C"] [9.40258, "o", "\u001b[33m\u001b[4ma\u001b[90m\u001b[24mct.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[29C"] [9.559178, "o", "\u001b[33m\u001b[4mc\u001b[90m\u001b[24mt.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[30C"] [9.713927, "o", "\u001b[33m\u001b[4mt\u001b[90m\u001b[24m.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[31C"] [9.866295, "o", "\u001b[33m\u001b[4m \u001b[30m\u001b(B\u001b[m\u001b[K\r\u001b[32C"] [9.866447, "o", "\b\b\b\b\b\b\u001b[91m'\u001b[33mfact \u001b[30m\u001b(B\u001b[m\r\u001b[32C"] [10.019242, "o", "\u001b[33m3\u001b[30m\u001b(B\u001b[m\r\u001b[33C"] [10.171844, "o", "\u001b[33m'\u001b[30m\u001b(B\u001b[m\r\u001b[34C"] [10.171983, "o", "\b\b\b\b\b\b\b\b\u001b[33m'fact 3'\u001b[30m\u001b(B\u001b[m\r\u001b[34C"] [10.330552, "o", "\u001b[33m \u001b[30m\u001b(B\u001b[m\r\u001b[35C"] [10.33075, "o", "\b\u001b[36m \u001b[30m\u001b(B\u001b[m\r\u001b[35C"] [10.484011, "o", "\u001b[36m'\u001b[30m\u001b(B\u001b[m\r\u001b[36C"] [10.484474, "o", "\b\u001b[91m'\u001b[30m\u001b(B\u001b[m\r\u001b[36C"] [10.6361, "o", "\u001b[91mf\u001b[30m\u001b(B\u001b[m\r\u001b[37C"] [10.636371, "o", "\b\b\u001b[91m\u001b[4m'\u001b[33mf\u001b[30m\u001b(B\u001b[m\r\u001b[37C\u001b[90mact.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[37C"] [10.787778, "o", "\u001b[33m\u001b[4ma\u001b[90m\u001b[24mct.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[38C"] [10.940764, "o", "\u001b[33m\u001b[4mc\u001b[90m\u001b[24mt.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[39C"] [11.092524, "o", "\u001b[33m\u001b[4mt\u001b[90m\u001b[24m.ghr' \u001b[30m\u001b(B\u001b[m\r\u001b[40C"] [11.254272, "o", "\u001b[33m\u001b[4m \u001b[30m\u001b(B\u001b[m\u001b[K\r\u001b[41C"] [11.254668, "o", "\b\b\b\b\b\b\u001b[91m'\u001b[33mfact \u001b[30m\u001b(B\u001b[m\r\u001b[41C"] [11.406354, "o", "\u001b[33m1\u001b[30m\u001b(B\u001b[m\r\u001b[42C"] [11.558249, "o", "\u001b[33m0\u001b[30m\u001b(B\u001b[m\r\u001b[43C"] [11.709948, "o", "\u001b[33m'\u001b[30m\u001b(B\u001b[m\r\u001b[44C"] [11.710285, "o", "\u001b[9D\u001b[33m'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[44C"] [11.864763, "o", "\r\n"] [11.864782, "o", "\u001b[30m\u001b(B\u001b[m"] [11.864803, "o", "\u001b]133;C;cmdline_url=ghr%20fact.hs%20%27fact%201%27%20%27fact%203%27%20%27fact%2010%27\u0007"] [11.864849, "o", "\u001b[?2004l\u001b[>4;0m\u001b[=0u\u001b>"] [11.865051, "o", "\u001b[2 q"] [11.865699, "o", "\u001b]0;ghr fact.hs 'fact 1' ghr\u0007\u001b[30m\u001b(B\u001b[m\r"] [11.991462, "o", "\u001b[1;35m> fact 1\u001b[0m\r\n"] [11.995867, "o", "1\r\r\n\r\n\u001b[1;35m> fact 3\u001b[0m\r\n"] [11.997387, "o", "6\r\r\n\r\n\u001b[1;35m> fact 10\u001b[0m\r\n"] [11.998604, "o", "3628800\r\r\n\r\n"] [12.099241, "o", "\u001b]133;D;0\u0007"] [12.09926, "o", "\u001b[6 q"] [12.099266, "o", "\u001b[?25h"] [12.099363, "o", "\u001b[2m⏎\u001b(B\u001b[m \r⏎ \r\u001b[K"] [12.100714, "o", "\u001b]0;ghr\u0007\u001b[30m\u001b(B\u001b[m\u001b]133;A;special_key=1\u0007ghr> \u001b[K\r\u001b[5C\u001b[?2004h\u001b[>4;1m\u001b[=5u\u001b="] [16.016836, "o", "g\r\u001b[6C"] [16.016951, "o", "\b\u001b[34mg\u001b[30m\u001b(B\u001b[m\r\u001b[6C"] [16.017033, "o", "\u001b[90mhr fact.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[6C"] [16.170064, "o", "\u001b[34mh\u001b[90mr fact.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[7C"] [16.324951, "o", "\u001b[34mr\u001b[90m fact.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[8C"] [16.477223, "o", "\u001b[34m \u001b[90mfact.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[9C"] [16.629547, "o", "\u001b[34mf\u001b[90mact.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[10C"] [16.629781, "o", "\b\u001b[36m\u001b[4mf\u001b[90m\u001b[24mact.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[10C"] [16.781212, "o", "\u001b[36m\u001b[4ma\u001b[90m\u001b[24mct.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[11C"] [16.932631, "o", "\u001b[36m\u001b[4mc\u001b[90m\u001b[24mt.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[12C"] [17.094129, "o", "\u001b[36m\u001b[4mt\u001b[90m\u001b[24m.hs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[13C"] [17.246385, "o", "\u001b[36m\u001b[4m.\u001b[90m\u001b[24mhs 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[14C"] [17.39888, "o", "\u001b[36m\u001b[4mh\u001b[90m\u001b[24ms 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[15C"] [17.551932, "o", "\u001b[36m\u001b[4ms\u001b[90m\u001b[24m 'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[16C"] [17.705014, "o", "\u001b[36m\u001b[4m \u001b[90m\u001b[24m'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[17C"] [17.705074, "o", "\b\u001b[36m \u001b[90m'fact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[17C"] [17.857134, "o", "\u001b[36m'\u001b[90mfact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[18C"] [17.857353, "o", "\b\u001b[91m'\u001b[90mfact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[18C"] [18.009189, "o", "\u001b[91mf\u001b[90mact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[19C"] [18.009354, "o", "\b\b\u001b[91m\u001b[4m'\u001b[33mf\u001b[90m\u001b[24mact 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[19C"] [18.162671, "o", "\u001b[33m\u001b[4ma\u001b[90m\u001b[24mct 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[20C"] [18.31711, "o", "\u001b[33m\u001b[4mc\u001b[90m\u001b[24mt 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[21C"] [18.469545, "o", "\u001b[33m\u001b[4mt\u001b[90m\u001b[24m 1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[22C"] [18.621612, "o", "\u001b[33m\u001b[4m \u001b[90m\u001b[24m1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[23C"] [18.621928, "o", "\b\b\b\b\b\b\u001b[91m'\u001b[33mfact \u001b[90m1' 'fact 3' 'fact 10'\u001b[30m\u001b(B\u001b[m\r\u001b[23C"] [18.77416, "o", "\u001b[33m2\u001b[30m\u001b(B\u001b[m\u001b[K\r\u001b[24C"] [18.925892, "o", "\u001b[33m'\u001b[30m\u001b(B\u001b[m\r\u001b[25C"] [18.926101, "o", "\b\b\b\b\b\b\b\b\u001b[33m'fact 2'\u001b[30m\u001b(B\u001b[m\r\u001b[25C"] [19.090475, "o", "\r\n"] [19.090483, "o", "\u001b[30m\u001b(B\u001b[m"] [19.090489, "o", "\u001b]133;C;cmdline_url=ghr%20fact.hs%20%27fact%202%27\u0007"] [19.090504, "o", "\u001b[?2004l\u001b[>4;0m\u001b[=0u\u001b>"] [19.090722, "o", "\u001b[2 q"] [19.091531, "o", "\u001b]0;ghr fact.hs 'fact 2' ghr\u0007\u001b[30m\u001b(B\u001b[m"] [19.091535, "o", "\r"] [19.179345, "o", "\u001b[1;35m> fact 2\u001b[0m\r\n"] [19.183869, "o", "2\r\r\n\r\n"] [19.28438, "o", "\u001b]133;D;0\u0007\u001b[6 q\u001b[?25h\u001b[2m⏎\u001b(B\u001b[m \r⏎ \r\u001b[K"] [19.286121, "o", "\u001b]0;ghr\u0007\u001b[30m\u001b(B\u001b[m\u001b]133;A;special_key=1\u0007ghr> \u001b[K\r\u001b[5C\u001b[?2004h\u001b[>4;1m\u001b[=5u\u001b="] [22.243945, "o", "\r\n"] [22.244021, "o", "\u001b[30m\u001b(B\u001b[m\u001b[30m\u001b(B\u001b[m\u001b[?2004l\u001b[>4;0m\u001b[=0u\u001b>"] [22.24418, "o", "\u001b[2 q"]