@fraczak/k 6.1.2 → 6.2.0

package/core.klib

@@ -1 +0,0 @@
-{"format":"k-object","codes":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":{"code":"product","product":{},"def":"$C0={};"},"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":{"code":"union","union":{"0":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","1":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},"def":"$C0=<C1\"0\",C1\"1\">;$C1={};"},"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":{"code":"union","union":{"0":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","1":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","_":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},"def":"$C0=<C0\"0\",C0\"1\",C1\"_\">;$C1={};"},"@ThzcZqwQKqu5uqkdMciVwD84ZxetFUs2eqTjhYP2PMHH":{"code":"product","product":{"x":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","r":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"def":"$C0={C1\"r\",C1\"x\"};$C1=<C1\"0\",C1\"1\",C2\"_\">;$C2={};"},"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m":{"code":"product","product":{"x":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","y":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"def":"$C0={C1\"x\",C1\"y\"};$C1=<C1\"0\",C1\"1\",C2\"_\">;$C2={};"},"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx":{"code":"product","product":{"x":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","y":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","c":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"def":"$C0={C1\"c\",C2\"x\",C2\"y\"};$C1=<C3\"0\",C3\"1\">;$C2=<C2\"0\",C2\"1\",C3\"_\">;$C3={};"},"@33dYrbzWEz2SBK2h72wputSdkSws8n3nVBjVTG7deFvY":{"code":"product","product":{"result":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","_x":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","y":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"def":"$C0={C1\"_x\",C1\"result\",C1\"y\"};$C1=<C1\"0\",C1\"1\",C2\"_\">;$C2={};"},"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","3":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","4":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","5":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","6":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","7":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"def":"$C0={C1\"0\",C1\"1\",C1\"2\",C1\"3\",C1\"4\",C1\"5\",C1\"6\",C1\"7\"};$C1=<C2\"0\",C2\"1\">;$C2={};"},"@VgLSCtg5j6bmqeMXzdk7rHrs9DPYcjxXntYmR6kMpuXc":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","3":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","4":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","5":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","6":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"def":"$C0={C1\"0\",C1\"1\",C1\"2\",C1\"3\",C1\"4\",C1\"5\",C1\"6\"};$C1=<C2\"0\",C2\"1\">;$C2={};"},"@F2KGfE24DhFGChv6pVAb4pkC9YWvt5izpnnwFDTLfG2h":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","3":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","4":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","5":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","6":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","7":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","8":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","9":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","10":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"def":"$C0={C1\"0\",C1\"1\",C1\"10\",C1\"2\",C1\"3\",C1\"4\",C1\"5\",C1\"6\",C1\"7\",C1\"8\",C1\"9\"};$C1=<C2\"0\",C2\"1\">;$C2={};"},"@GEgcFLqrmPmqcEn7v8y2nAigpWgAmMHs2x9YteyyNkE9":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"def":"$C0={C1\"0\",C1\"1\",C1\"2\"};$C1=<C2\"0\",C2\"1\">;$C2={};"},"@PK2NXGfXZ7Hpqx5zHgX4Vrt2fC93XEYJtD5fKfkge2DP":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"def":"$C0={C1\"0\"};$C1=<C2\"0\",C2\"1\">;$C2={};"},"@3UNgHRy59Xb3SQEdNMiejQtxJ89YbZA4zkWhQr6hNeqG":{"code":"union","union":{"h08_0F":"@GEgcFLqrmPmqcEn7v8y2nAigpWgAmMHs2x9YteyyNkE9","h10_7F":"@VgLSCtg5j6bmqeMXzdk7rHrs9DPYcjxXntYmR6kMpuXc","h80_CF":"@VgLSCtg5j6bmqeMXzdk7rHrs9DPYcjxXntYmR6kMpuXc","hD0_D7":"@GEgcFLqrmPmqcEn7v8y2nAigpWgAmMHs2x9YteyyNkE9","hF9":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","hFA_FB":"@PK2NXGfXZ7Hpqx5zHgX4Vrt2fC93XEYJtD5fKfkge2DP","hFC_FD":"@PK2NXGfXZ7Hpqx5zHgX4Vrt2fC93XEYJtD5fKfkge2DP","hFE_FF":"@PK2NXGfXZ7Hpqx5zHgX4Vrt2fC93XEYJtD5fKfkge2DP"},"def":"$C0=<C1\"h08_0F\",C2\"h10_7F\",C2\"h80_CF\",C1\"hD0_D7\",C3\"hF9\",C4\"hFA_FB\",C4\"hFC_FD\",C4\"hFE_FF\">;$C1={C5\"0\",C5\"1\",C5\"2\"};$C2={C5\"0\",C5\"1\",C5\"2\",C5\"3\",C5\"4\",C5\"5\",C5\"6\"};$C3={};$C4={C5\"0\"};$C5=<C3\"0\",C3\"1\">;"},"@BXnvUkK5YPArReCNguMFuJiPhjbBMSEniD6rj9cQvMiJ":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","3":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"def":"$C0={C1\"0\",C1\"1\",C1\"2\",C1\"3\"};$C1=<C2\"0\",C2\"1\">;$C2={};"},"@25AidvUGwNiKKzZxhfqyzLaXZnPjzptBjQNZRRys8UuG":{"code":"union","union":{"hE0_EF":"@BXnvUkK5YPArReCNguMFuJiPhjbBMSEniD6rj9cQvMiJ","hF0_F7":"@GEgcFLqrmPmqcEn7v8y2nAigpWgAmMHs2x9YteyyNkE9","hF8":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},"def":"$C0=<C1\"hE0_EF\",C2\"hF0_F7\",C3\"hF8\">;$C1={C4\"0\",C4\"1\",C4\"2\",C4\"3\"};$C2={C4\"0\",C4\"1\",C4\"2\"};$C3={};$C4=<C3\"0\",C3\"1\">;"},"@XvHpR7WyndrwXY5jMLnzPmc6BqKAZRqJcvLac3KDRvJ2":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"def":"$C0={C1\"0\",C1\"1\"};$C1=<C2\"0\",C2\"1\">;$C2={};"},"@7KiZRTE2LDh9uHE3nFuhXVnqCVdPEdGFnQL3vgKBuTVy":{"code":"union","union":{"p02_03":"@PK2NXGfXZ7Hpqx5zHgX4Vrt2fC93XEYJtD5fKfkge2DP","p04_07":"@XvHpR7WyndrwXY5jMLnzPmc6BqKAZRqJcvLac3KDRvJ2","p08_0F":"@GEgcFLqrmPmqcEn7v8y2nAigpWgAmMHs2x9YteyyNkE9","p10":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},"def":"$C0=<C1\"p02_03\",C2\"p04_07\",C3\"p08_0F\",C4\"p10\">;$C1={C5\"0\"};$C2={C5\"0\",C5\"1\"};$C3={C5\"0\",C5\"1\",C5\"2\"};$C4={};$C5=<C4\"0\",C4\"1\">;"},"@GaGd3BUMtE8ugdPFbGhGdFjW4qQX8hLCwvPhTz3GjDkc":{"code":"product","product":{"hi":"@3UNgHRy59Xb3SQEdNMiejQtxJ89YbZA4zkWhQr6hNeqG","lo":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx"},"def":"$C0={C1\"hi\",C2\"lo\"};$C1=<C3\"h08_0F\",C4\"h10_7F\",C4\"h80_CF\",C3\"hD0_D7\",C5\"hF9\",C6\"hFA_FB\",C6\"hFC_FD\",C6\"hFE_FF\">;$C2={C7\"0\",C7\"1\",C7\"2\",C7\"3\",C7\"4\",C7\"5\",C7\"6\",C7\"7\"};$C3={C7\"0\",C7\"1\",C7\"2\"};$C4={C7\"0\",C7\"1\",C7\"2\",C7\"3\",C7\"4\",C7\"5\",C7\"6\"};$C5={};$C6={C7\"0\"};$C7=<C5\"0\",C5\"1\">;"},"@f3PvCPVfYbyPJUkr4j4W7QdJPhuPXRWGCEh5svGrMfFr":{"code":"product","product":{"hi":"@25AidvUGwNiKKzZxhfqyzLaXZnPjzptBjQNZRRys8UuG","lo":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx"},"def":"$C0={C1\"hi\",C2\"lo\"};$C1=<C3\"hE0_EF\",C4\"hF0_F7\",C5\"hF8\">;$C2={C6\"0\",C6\"1\",C6\"2\",C6\"3\",C6\"4\",C6\"5\",C6\"6\",C6\"7\"};$C3={C6\"0\",C6\"1\",C6\"2\",C6\"3\"};$C4={C6\"0\",C6\"1\",C6\"2\"};$C5={};$C6=<C5\"0\",C5\"1\">;"},"@vuPuK3mvdnYrQJpHZhVMeH3WRKyvPnKpQ5XADNdMTwa4":{"code":"product","product":{"mid":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx","lo":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx"},"def":"$C0={C1\"lo\",C1\"mid\"};$C1={C2\"0\",C2\"1\",C2\"2\",C2\"3\",C2\"4\",C2\"5\",C2\"6\",C2\"7\"};$C2=<C3\"0\",C3\"1\">;$C3={};"},"@Kn2aV2EtdLQa2Hy5BdQyuEe3xUPgQRArUkkpPragjuZU":{"code":"product","product":{"plane":"@7KiZRTE2LDh9uHE3nFuhXVnqCVdPEdGFnQL3vgKBuTVy","mid":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx","lo":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx"},"def":"$C0={C1\"lo\",C1\"mid\",C2\"plane\"};$C1={C3\"0\",C3\"1\",C3\"2\",C3\"3\",C3\"4\",C3\"5\",C3\"6\",C3\"7\"};$C2=<C4\"p02_03\",C5\"p04_07\",C6\"p08_0F\",C7\"p10\">;$C3=<C7\"0\",C7\"1\">;$C4={C3\"0\"};$C5={C3\"0\",C3\"1\"};$C6={C3\"0\",C3\"1\",C3\"2\"};$C7={};"},"@AhRir67FipnHnJfDU7fSQ3Xhcg6BTJYwtq6HGsWwZtbi":{"code":"union","union":{"ascii":"@VgLSCtg5j6bmqeMXzdk7rHrs9DPYcjxXntYmR6kMpuXc","plane0":"@F2KGfE24DhFGChv6pVAb4pkC9YWvt5izpnnwFDTLfG2h","bmp_common":"@GaGd3BUMtE8ugdPFbGhGdFjW4qQX8hLCwvPhTz3GjDkc","bmp_private_use":"@f3PvCPVfYbyPJUkr4j4W7QdJPhuPXRWGCEh5svGrMfFr","supplementary_plane1":"@vuPuK3mvdnYrQJpHZhVMeH3WRKyvPnKpQ5XADNdMTwa4","supplementary_planes2_16":"@Kn2aV2EtdLQa2Hy5BdQyuEe3xUPgQRArUkkpPragjuZU"},"def":"$C0=<C1\"ascii\",C2\"bmp_common\",C3\"bmp_private_use\",C4\"plane0\",C5\"supplementary_plane1\",C6\"supplementary_planes2_16\">;$C1={C7\"0\",C7\"1\",C7\"2\",C7\"3\",C7\"4\",C7\"5\",C7\"6\"};$C2={C8\"hi\",C9\"lo\"};$C3={C10\"hi\",C9\"lo\"};$C4={C7\"0\",C7\"1\",C7\"10\",C7\"2\",C7\"3\",C7\"4\",C7\"5\",C7\"6\",C7\"7\",C7\"8\",C7\"9\"};$C5={C9\"lo\",C9\"mid\"};$C6={C9\"lo\",C9\"mid\",C11\"plane\"};$C7=<C12\"0\",C12\"1\">;$C8=<C13\"h08_0F\",C1\"h10_7F\",C1\"h80_CF\",C13\"hD0_D7\",C12\"hF9\",C14\"hFA_FB\",C14\"hFC_FD\",C14\"hFE_FF\">;$C9={C7\"0\",C7\"1\",C7\"2\",C7\"3\",C7\"4\",C7\"5\",C7\"6\",C7\"7\"};$C10=<C15\"hE0_EF\",C13\"hF0_F7\",C12\"hF8\">;$C11=<C14\"p02_03\",C16\"p04_07\",C13\"p08_0F\",C12\"p10\">;$C12={};$C13={C7\"0\",C7\"1\",C7\"2\"};$C14={C7\"0\"};$C15={C7\"0\",C7\"1\",C7\"2\",C7\"3\"};$C16={C7\"0\",C7\"1\"};"},"@c9cX8BrNV8Q8zd9sukdxrjPTkVzZUPzn8rd3esEjmhMf":{"code":"product","product":{"car":"@AhRir67FipnHnJfDU7fSQ3Xhcg6BTJYwtq6HGsWwZtbi","cdr":"@Pt3MwQwzUPxQKu58zXR3qUBHWTzfycx5bSZGzcK6EZQK"},"def":"$C0={C1\"car\",C2\"cdr\"};$C1=<C3\"ascii\",C4\"bmp_common\",C5\"bmp_private_use\",C6\"plane0\",C7\"supplementary_plane1\",C8\"supplementary_planes2_16\">;$C2=<C0\"cons\",C9\"nil\">;$C3={C10\"0\",C10\"1\",C10\"2\",C10\"3\",C10\"4\",C10\"5\",C10\"6\"};$C4={C11\"hi\",C12\"lo\"};$C5={C13\"hi\",C12\"lo\"};$C6={C10\"0\",C10\"1\",C10\"10\",C10\"2\",C10\"3\",C10\"4\",C10\"5\",C10\"6\",C10\"7\",C10\"8\",C10\"9\"};$C7={C12\"lo\",C12\"mid\"};$C8={C12\"lo\",C12\"mid\",C14\"plane\"};$C9={};$C10=<C9\"0\",C9\"1\">;$C11=<C15\"h08_0F\",C3\"h10_7F\",C3\"h80_CF\",C15\"hD0_D7\",C9\"hF9\",C16\"hFA_FB\",C16\"hFC_FD\",C16\"hFE_FF\">;$C12={C10\"0\",C10\"1\",C10\"2\",C10\"3\",C10\"4\",C10\"5\",C10\"6\",C10\"7\"};$C13=<C17\"hE0_EF\",C15\"hF0_F7\",C9\"hF8\">;$C14=<C16\"p02_03\",C18\"p04_07\",C15\"p08_0F\",C9\"p10\">;$C15={C10\"0\",C10\"1\",C10\"2\"};$C16={C10\"0\"};$C17={C10\"0\",C10\"1\",C10\"2\",C10\"3\"};$C18={C10\"0\",C10\"1\"};"},"@Pt3MwQwzUPxQKu58zXR3qUBHWTzfycx5bSZGzcK6EZQK":{"code":"union","union":{"nil":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","cons":"@c9cX8BrNV8Q8zd9sukdxrjPTkVzZUPzn8rd3esEjmhMf"},"def":"$C0=<C1\"cons\",C2\"nil\">;$C1={C3\"car\",C0\"cdr\"};$C2={};$C3=<C4\"ascii\",C5\"bmp_common\",C6\"bmp_private_use\",C7\"plane0\",C8\"supplementary_plane1\",C9\"supplementary_planes2_16\">;$C4={C10\"0\",C10\"1\",C10\"2\",C10\"3\",C10\"4\",C10\"5\",C10\"6\"};$C5={C11\"hi\",C12\"lo\"};$C6={C13\"hi\",C12\"lo\"};$C7={C10\"0\",C10\"1\",C10\"10\",C10\"2\",C10\"3\",C10\"4\",C10\"5\",C10\"6\",C10\"7\",C10\"8\",C10\"9\"};$C8={C12\"lo\",C12\"mid\"};$C9={C12\"lo\",C12\"mid\",C14\"plane\"};$C10=<C2\"0\",C2\"1\">;$C11=<C15\"h08_0F\",C4\"h10_7F\",C4\"h80_CF\",C15\"hD0_D7\",C2\"hF9\",C16\"hFA_FB\",C16\"hFC_FD\",C16\"hFE_FF\">;$C12={C10\"0\",C10\"1\",C10\"2\",C10\"3\",C10\"4\",C10\"5\",C10\"6\",C10\"7\"};$C13=<C17\"hE0_EF\",C15\"hF0_F7\",C2\"hF8\">;$C14=<C16\"p02_03\",C18\"p04_07\",C15\"p08_0F\",C2\"p10\">;$C15={C10\"0\",C10\"1\",C10\"2\"};$C16={C10\"0\"};$C17={C10\"0\",C10\"1\",C10\"2\",C10\"3\"};$C18={C10\"0\",C10\"1\"};"},"@yRNNB7ADDiKrffJicEVyPvQA8zaAbnmFhALspTgg7xcW":{"code":"product","product":{"label":"@Pt3MwQwzUPxQKu58zXR3qUBHWTzfycx5bSZGzcK6EZQK","target":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"def":"$C0={C1\"label\",C2\"target\"};$C1=<C3\"cons\",C4\"nil\">;$C2=<C2\"0\",C2\"1\",C4\"_\">;$C3={C5\"car\",C1\"cdr\"};$C4={};$C5=<C6\"ascii\",C7\"bmp_common\",C8\"bmp_private_use\",C9\"plane0\",C10\"supplementary_plane1\",C11\"supplementary_planes2_16\">;$C6={C12\"0\",C12\"1\",C12\"2\",C12\"3\",C12\"4\",C12\"5\",C12\"6\"};$C7={C13\"hi\",C14\"lo\"};$C8={C15\"hi\",C14\"lo\"};$C9={C12\"0\",C12\"1\",C12\"10\",C12\"2\",C12\"3\",C12\"4\",C12\"5\",C12\"6\",C12\"7\",C12\"8\",C12\"9\"};$C10={C14\"lo\",C14\"mid\"};$C11={C14\"lo\",C14\"mid\",C16\"plane\"};$C12=<C4\"0\",C4\"1\">;$C13=<C17\"h08_0F\",C6\"h10_7F\",C6\"h80_CF\",C17\"hD0_D7\",C4\"hF9\",C18\"hFA_FB\",C18\"hFC_FD\",C18\"hFE_FF\">;$C14={C12\"0\",C12\"1\",C12\"2\",C12\"3\",C12\"4\",C12\"5\",C12\"6\",C12\"7\"};$C15=<C19\"hE0_EF\",C17\"hF0_F7\",C4\"hF8\">;$C16=<C18\"p02_03\",C20\"p04_07\",C17\"p08_0F\",C4\"p10\">;$C17={C12\"0\",C12\"1\",C12\"2\"};$C18={C12\"0\"};$C19={C12\"0\",C12\"1\",C12\"2\",C12\"3\"};$C20={C12\"0\",C12\"1\"};"},"@4brRkXewCHNWmWEXXT67Ahd9ewU5mpSi4ZFFxdCDhJN4":{"code":"product","product":{"car":"@yRNNB7ADDiKrffJicEVyPvQA8zaAbnmFhALspTgg7xcW","cdr":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx"},"def":"$C0={C1\"car\",C2\"cdr\"};$C1={C3\"label\",C4\"target\"};$C2=<C0\"cons\",C5\"nil\">;$C3=<C6\"cons\",C5\"nil\">;$C4=<C4\"0\",C4\"1\",C5\"_\">;$C5={};$C6={C7\"car\",C3\"cdr\"};$C7=<C8\"ascii\",C9\"bmp_common\",C10\"bmp_private_use\",C11\"plane0\",C12\"supplementary_plane1\",C13\"supplementary_planes2_16\">;$C8={C14\"0\",C14\"1\",C14\"2\",C14\"3\",C14\"4\",C14\"5\",C14\"6\"};$C9={C15\"hi\",C16\"lo\"};$C10={C17\"hi\",C16\"lo\"};$C11={C14\"0\",C14\"1\",C14\"10\",C14\"2\",C14\"3\",C14\"4\",C14\"5\",C14\"6\",C14\"7\",C14\"8\",C14\"9\"};$C12={C16\"lo\",C16\"mid\"};$C13={C16\"lo\",C16\"mid\",C18\"plane\"};$C14=<C5\"0\",C5\"1\">;$C15=<C19\"h08_0F\",C8\"h10_7F\",C8\"h80_CF\",C19\"hD0_D7\",C5\"hF9\",C20\"hFA_FB\",C20\"hFC_FD\",C20\"hFE_FF\">;$C16={C14\"0\",C14\"1\",C14\"2\",C14\"3\",C14\"4\",C14\"5\",C14\"6\",C14\"7\"};$C17=<C21\"hE0_EF\",C19\"hF0_F7\",C5\"hF8\">;$C18=<C20\"p02_03\",C22\"p04_07\",C19\"p08_0F\",C5\"p10\">;$C19={C14\"0\",C14\"1\",C14\"2\"};$C20={C14\"0\"};$C21={C14\"0\",C14\"1\",C14\"2\",C14\"3\"};$C22={C14\"0\",C14\"1\"};"},"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx":{"code":"union","union":{"nil":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","cons":"@4brRkXewCHNWmWEXXT67Ahd9ewU5mpSi4ZFFxdCDhJN4"},"def":"$C0=<C1\"cons\",C2\"nil\">;$C1={C3\"car\",C0\"cdr\"};$C2={};$C3={C4\"label\",C5\"target\"};$C4=<C6\"cons\",C2\"nil\">;$C5=<C5\"0\",C5\"1\",C2\"_\">;$C6={C7\"car\",C4\"cdr\"};$C7=<C8\"ascii\",C9\"bmp_common\",C10\"bmp_private_use\",C11\"plane0\",C12\"supplementary_plane1\",C13\"supplementary_planes2_16\">;$C8={C14\"0\",C14\"1\",C14\"2\",C14\"3\",C14\"4\",C14\"5\",C14\"6\"};$C9={C15\"hi\",C16\"lo\"};$C10={C17\"hi\",C16\"lo\"};$C11={C14\"0\",C14\"1\",C14\"10\",C14\"2\",C14\"3\",C14\"4\",C14\"5\",C14\"6\",C14\"7\",C14\"8\",C14\"9\"};$C12={C16\"lo\",C16\"mid\"};$C13={C16\"lo\",C16\"mid\",C18\"plane\"};$C14=<C2\"0\",C2\"1\">;$C15=<C19\"h08_0F\",C8\"h10_7F\",C8\"h80_CF\",C19\"hD0_D7\",C2\"hF9\",C20\"hFA_FB\",C20\"hFC_FD\",C20\"hFE_FF\">;$C16={C14\"0\",C14\"1\",C14\"2\",C14\"3\",C14\"4\",C14\"5\",C14\"6\",C14\"7\"};$C17=<C21\"hE0_EF\",C19\"hF0_F7\",C2\"hF8\">;$C18=<C20\"p02_03\",C22\"p04_07\",C19\"p08_0F\",C2\"p10\">;$C19={C14\"0\",C14\"1\",C14\"2\"};$C20={C14\"0\"};$C21={C14\"0\",C14\"1\",C14\"2\",C14\"3\"};$C22={C14\"0\",C14\"1\"};"},"@B7MUZJh8nCNJrpchb6hBqr5V9Yh6BMv6CP8QJMDZJtwE":{"code":"union","union":{"any":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","open-product":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx","open-union":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx","closed-product":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx","closed-union":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx"},"def":"$C0=<C1\"any\",C2\"closed-product\",C2\"closed-union\",C2\"open-product\",C2\"open-union\">;$C1={};$C2=<C3\"cons\",C1\"nil\">;$C3={C4\"car\",C2\"cdr\"};$C4={C5\"label\",C6\"target\"};$C5=<C7\"cons\",C1\"nil\">;$C6=<C6\"0\",C6\"1\",C1\"_\">;$C7={C8\"car\",C5\"cdr\"};$C8=<C9\"ascii\",C10\"bmp_common\",C11\"bmp_private_use\",C12\"plane0\",C13\"supplementary_plane1\",C14\"supplementary_planes2_16\">;$C9={C15\"0\",C15\"1\",C15\"2\",C15\"3\",C15\"4\",C15\"5\",C15\"6\"};$C10={C16\"hi\",C17\"lo\"};$C11={C18\"hi\",C17\"lo\"};$C12={C15\"0\",C15\"1\",C15\"10\",C15\"2\",C15\"3\",C15\"4\",C15\"5\",C15\"6\",C15\"7\",C15\"8\",C15\"9\"};$C13={C17\"lo\",C17\"mid\"};$C14={C17\"lo\",C17\"mid\",C19\"plane\"};$C15=<C1\"0\",C1\"1\">;$C16=<C20\"h08_0F\",C9\"h10_7F\",C9\"h80_CF\",C20\"hD0_D7\",C1\"hF9\",C21\"hFA_FB\",C21\"hFC_FD\",C21\"hFE_FF\">;$C17={C15\"0\",C15\"1\",C15\"2\",C15\"3\",C15\"4\",C15\"5\",C15\"6\",C15\"7\"};$C18=<C22\"hE0_EF\",C20\"hF0_F7\",C1\"hF8\">;$C19=<C21\"p02_03\",C23\"p04_07\",C20\"p08_0F\",C1\"p10\">;$C20={C15\"0\",C15\"1\",C15\"2\"};$C21={C15\"0\"};$C22={C15\"0\",C15\"1\",C15\"2\",C15\"3\"};$C23={C15\"0\",C15\"1\"};"},"@YTLKrNPYkJBvBBVKjyFEgsLgP3Jgr6wk8CaREzuNiUbc":{"code":"product","product":{"car":"@B7MUZJh8nCNJrpchb6hBqr5V9Yh6BMv6CP8QJMDZJtwE","cdr":"@XsJTJQneLcWry72QAHUWdsrVM44vUntSXEzcr2ktUrkq"},"def":"$C0={C1\"car\",C2\"cdr\"};$C1=<C3\"any\",C4\"closed-product\",C4\"closed-union\",C4\"open-product\",C4\"open-union\">;$C2=<C0\"cons\",C3\"nil\">;$C3={};$C4=<C5\"cons\",C3\"nil\">;$C5={C6\"car\",C4\"cdr\"};$C6={C7\"label\",C8\"target\"};$C7=<C9\"cons\",C3\"nil\">;$C8=<C8\"0\",C8\"1\",C3\"_\">;$C9={C10\"car\",C7\"cdr\"};$C10=<C11\"ascii\",C12\"bmp_common\",C13\"bmp_private_use\",C14\"plane0\",C15\"supplementary_plane1\",C16\"supplementary_planes2_16\">;$C11={C17\"0\",C17\"1\",C17\"2\",C17\"3\",C17\"4\",C17\"5\",C17\"6\"};$C12={C18\"hi\",C19\"lo\"};$C13={C20\"hi\",C19\"lo\"};$C14={C17\"0\",C17\"1\",C17\"10\",C17\"2\",C17\"3\",C17\"4\",C17\"5\",C17\"6\",C17\"7\",C17\"8\",C17\"9\"};$C15={C19\"lo\",C19\"mid\"};$C16={C19\"lo\",C19\"mid\",C21\"plane\"};$C17=<C3\"0\",C3\"1\">;$C18=<C22\"h08_0F\",C11\"h10_7F\",C11\"h80_CF\",C22\"hD0_D7\",C3\"hF9\",C23\"hFA_FB\",C23\"hFC_FD\",C23\"hFE_FF\">;$C19={C17\"0\",C17\"1\",C17\"2\",C17\"3\",C17\"4\",C17\"5\",C17\"6\",C17\"7\"};$C20=<C24\"hE0_EF\",C22\"hF0_F7\",C3\"hF8\">;$C21=<C23\"p02_03\",C25\"p04_07\",C22\"p08_0F\",C3\"p10\">;$C22={C17\"0\",C17\"1\",C17\"2\"};$C23={C17\"0\"};$C24={C17\"0\",C17\"1\",C17\"2\",C17\"3\"};$C25={C17\"0\",C17\"1\"};"},"@XsJTJQneLcWry72QAHUWdsrVM44vUntSXEzcr2ktUrkq":{"code":"union","union":{"nil":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","cons":"@YTLKrNPYkJBvBBVKjyFEgsLgP3Jgr6wk8CaREzuNiUbc"},"def":"$C0=<C1\"cons\",C2\"nil\">;$C1={C3\"car\",C0\"cdr\"};$C2={};$C3=<C2\"any\",C4\"closed-product\",C4\"closed-union\",C4\"open-product\",C4\"open-union\">;$C4=<C5\"cons\",C2\"nil\">;$C5={C6\"car\",C4\"cdr\"};$C6={C7\"label\",C8\"target\"};$C7=<C9\"cons\",C2\"nil\">;$C8=<C8\"0\",C8\"1\",C2\"_\">;$C9={C10\"car\",C7\"cdr\"};$C10=<C11\"ascii\",C12\"bmp_common\",C13\"bmp_private_use\",C14\"plane0\",C15\"supplementary_plane1\",C16\"supplementary_planes2_16\">;$C11={C17\"0\",C17\"1\",C17\"2\",C17\"3\",C17\"4\",C17\"5\",C17\"6\"};$C12={C18\"hi\",C19\"lo\"};$C13={C20\"hi\",C19\"lo\"};$C14={C17\"0\",C17\"1\",C17\"10\",C17\"2\",C17\"3\",C17\"4\",C17\"5\",C17\"6\",C17\"7\",C17\"8\",C17\"9\"};$C15={C19\"lo\",C19\"mid\"};$C16={C19\"lo\",C19\"mid\",C21\"plane\"};$C17=<C2\"0\",C2\"1\">;$C18=<C22\"h08_0F\",C11\"h10_7F\",C11\"h80_CF\",C22\"hD0_D7\",C2\"hF9\",C23\"hFA_FB\",C23\"hFC_FD\",C23\"hFE_FF\">;$C19={C17\"0\",C17\"1\",C17\"2\",C17\"3\",C17\"4\",C17\"5\",C17\"6\",C17\"7\"};$C20=<C24\"hE0_EF\",C22\"hF0_F7\",C2\"hF8\">;$C21=<C23\"p02_03\",C25\"p04_07\",C22\"p08_0F\",C2\"p10\">;$C22={C17\"0\",C17\"1\",C17\"2\"};$C23={C17\"0\"};$C24={C17\"0\",C17\"1\",C17\"2\",C17\"3\"};$C25={C17\"0\",C17\"1\"};"},"@wqHQMPZNf5NjAXGzj9DtCCjTgU9xtZESGUGETRP2VqX7":{"code":"product","product":{"if":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","and":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","then":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"def":"$C0={C1\"and\",C1\"if\",C2\"then\"};$C1={};$C2=<C2\"0\",C2\"1\",C1\"_\">;"},"@eYsqy7Y7qUvgz9AXcMAAgnhMhqbeQ5bGAa3SkTjhMMq4":{"code":"product","product":{"if":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","then":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"def":"$C0={C1\"if\",C2\"then\"};$C1={};$C2=<C2\"0\",C2\"1\",C1\"_\">;"}},"rels":{"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","patterns":[2,3]},{"op":"vid","vid":"0","patterns":[3,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"<...>","fields":["0"]},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 0(_)"},{"pattern":"<...>","fields":["_"],"rule":"ref:output"}],"parent":[]},"edges":[{"0":[3]},{},{},{"_":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","patterns":[2,3]},{"op":"vid","vid":"1","patterns":[3,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"<...>","fields":["1"]},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 1(_)"},{"pattern":"<...>","fields":["_"],"rule":"ref:output"}],"parent":[]},"edges":[{"1":[3]},{},{},{"_":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@p3TNQekkhZ2zx6ssbiAh7BJV2y333eRxJsupzCiyAXxT":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38","patterns":[1,2]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[2,2]}],"patterns":[1,2]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 2(1)"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"}],"parent":[]},"edges":[{},{},{"0":[2],"1":[2],"_":[0]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":2}}},"@LXrfZqtpDKy3QiT3qXgDyQxHJVuG5SbkAYtzqGDJMuJq":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@p3TNQekkhZ2zx6ssbiAh7BJV2y333eRxJsupzCiyAXxT","patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[0,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 3(2)"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@CMtCYzYj5qPcSUiUfj4wnPuFs5WpKgwDAd3mH7kMtrsc":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@LXrfZqtpDKy3QiT3qXgDyQxHJVuG5SbkAYtzqGDJMuJq","patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[0,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 4(3)"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@DWEu4REt5KdPSJY3DGBVRE2gNpWfUC2i38cvLSKmEyr9":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@CMtCYzYj5qPcSUiUfj4wnPuFs5WpKgwDAd3mH7kMtrsc","patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[0,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 5(4)"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@GiEx2jy77WGxyz44ahrtTC9Df5YCQP74tf73ThjUJs8a":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@DWEu4REt5KdPSJY3DGBVRE2gNpWfUC2i38cvLSKmEyr9","patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[0,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 6(5)"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@YLgwXtMTMhqgdCXy7Td8Q6fgiJFsn4XJmY2MCSFGAx9h":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@GiEx2jy77WGxyz44ahrtTC9Df5YCQP74tf73ThjUJs8a","patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[0,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 7(6)"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@5bsRUY7SvgjXSHAc4DL4JgXGEpPX63ayFEG3NRchUckB":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@YLgwXtMTMhqgdCXy7Td8Q6fgiJFsn4XJmY2MCSFGAx9h","patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[0,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 8(7)"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@8BEk5UeFPN3cD4mXNneeQj3XLvxK8Az447gTj2UfCZqX":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@5bsRUY7SvgjXSHAc4DL4JgXGEpPX63ayFEG3NRchUckB","patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[0,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 9(8)"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@B9gKPhFnfxLiuNdkgwjAXGDeDDkszFP3AkyyYBj72Te4":{"def":{"op":"comp","comp":[{"op":"ref","ref":"@8BEk5UeFPN3cD4mXNneeQj3XLvxK8Az447gTj2UfCZqX","patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","patterns":[0,0]}],"patterns":[2,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"(...)","fields":[],"rule":"ref:input 10(9)"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz":{"def":{"op":"comp","comp":[{"op":"product","product":[],"patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,2]}],"patterns":[0,2]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"(...)","fields":[]},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"}],"parent":[]},"edges":[{},{},{"0":[1],"1":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1,"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":2}}},"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc":{"def":{"op":"comp","comp":[{"op":"product","product":[],"patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,2]}],"patterns":[0,2]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"(...)","fields":[]},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"}],"parent":[]},"edges":[{},{},{"0":[1],"1":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1,"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":2}}},"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv":{"def":{"op":"comp","comp":[{"op":"product","product":[],"patterns":[0,1]},{"op":"vid","vid":"_","patterns":[1,2]}],"patterns":[0,2]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"(...)","fields":[]},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"<...>","fields":["_"]}],"parent":[]},"edges":[{},{},{"_":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}}},"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw":{"def":{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"identity","patterns":[1,1]}},{"label":"r","exp":{"op":"ref","ref":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","patterns":[1,1]}}],"patterns":[1,2]},{"op":"ref","ref":"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N","patterns":[2,1]}],"patterns":[1,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@ThzcZqwQKqu5uqkdMciVwD84ZxetFUs2eqTjhYP2PMHH"}],"parent":[]},"edges":[{},{"0":[1],"1":[1],"_":[0]},{"x":[1],"r":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@ThzcZqwQKqu5uqkdMciVwD84ZxetFUs2eqTjhYP2PMHH":2}}},"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N":{"def":{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"r","exp":{"op":"comp","comp":[{"op":"dot","dot":"r","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N","patterns":[0,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"r","exp":{"op":"comp","comp":[{"op":"dot","dot":"r","patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,1]}],"patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N","patterns":[0,1]}],"patterns":[0,1]},{"op":"dot","dot":"r","patterns":[0,1]}],"patterns":[0,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@ThzcZqwQKqu5uqkdMciVwD84ZxetFUs2eqTjhYP2PMHH"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"}],"parent":[]},"edges":[{"x":[1],"r":[1]},{"0":[1],"1":[1],"_":[2]},{}],"codeId":{"@ThzcZqwQKqu5uqkdMciVwD84ZxetFUs2eqTjhYP2PMHH":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":2}}},"@8r4VpfxttM92LiTaBRvH2m8vV9F3R3GyKijin8FyMpHg":{"def":{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"dot","dot":"y","patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","patterns":[0,1]}],"patterns":[0,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"}],"parent":[]},"edges":[{"x":[1],"y":[1]},{"0":[1],"1":[1],"_":[2]},{}],"codeId":{"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":2}}},"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy":{"def":{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","patterns":[0,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,1]}],"patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","patterns":[0,1]}],"patterns":[0,1]},{"op":"dot","dot":"y","patterns":[0,1]}],"patterns":[0,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"}],"parent":[]},"edges":[{"x":[1],"y":[1]},{"0":[1],"1":[1],"_":[2]},{}],"codeId":{"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":2}}},"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b":{"def":{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","patterns":[0,0]}},{"label":"y","exp":{"op":"ref","ref":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","patterns":[0,0]}}],"patterns":[0,2]},{"op":"ref","ref":"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG","patterns":[2,0]}],"patterns":[0,0]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"}],"parent":[]},"edges":[{"0":[0],"1":[0],"_":[1]},{},{"x":[0],"y":[0]}],"codeId":{"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":0,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1,"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m":2}}},"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG":{"def":{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,1]}],"patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","patterns":[0,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG","patterns":[0,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,1]}],"patterns":[0,1]}],"patterns":[0,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"}],"parent":[]},"edges":[{"x":[1],"y":[1]},{"0":[1],"1":[1],"_":[2]},{}],"codeId":{"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":2}}},"@eK3xGpkUsZVXXjVqQNqB5EYP6TWPmVuqriCCuFTB9P55":{"def":{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","patterns":[0,3]}}],"patterns":[0,4]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[4,1]}],"patterns":[0,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},{"pattern":"type","type":"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx"}],"parent":[]},"edges":[{"x":[1],"y":[1]},{"0":[1],"1":[1],"_":[2]},{},{"0":[2],"1":[2]},{"x":[1],"y":[1],"c":[3]}],"codeId":{"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":2,"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":3,"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx":4}}},"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j":{"def":{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"if","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"_","patterns":[1,2]}],"patterns":[0,2]}},{"label":"and","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"_","patterns":[1,2]}],"patterns":[0,2]}},{"label":"then","exp":{"op":"union","union":[{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"0","patterns":[3,2]},{"op":"ref","ref":"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC","patterns":[2,1]}],"patterns":[0,1]},{"op":"ref","ref":"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38","patterns":[0,1]}],"patterns":[0,1]}}],"patterns":[0,4]},{"op":"dot","dot":"then","patterns":[4,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"if","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"_","patterns":[1,2]}],"patterns":[0,2]}},{"label":"and","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"0","patterns":[3,2]}],"patterns":[0,2]}},{"label":"then","exp":{"op":"dot","dot":"y","patterns":[0,1]}}],"patterns":[0,4]},{"op":"dot","dot":"then","patterns":[4,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"y","exp":{"op":"dot","dot":"x","patterns":[0,1]}},{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"_","patterns":[1,2]},{"op":"vid","vid":"_","patterns":[2,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"dot","dot":"c","patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"union","union":[{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"0","patterns":[3,2]},{"op":"ref","ref":"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC","patterns":[2,1]}],"patterns":[0,1]},{"op":"ref","ref":"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38","patterns":[0,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"dot","dot":"y","patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"_","patterns":[1,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"0","patterns":[3,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"1","patterns":[3,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"0","patterns":[3,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"1","patterns":[3,2]},{"op":"ref","ref":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"0","patterns":[3,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"1","patterns":[3,2]},{"op":"ref","ref":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"0","patterns":[3,2]},{"op":"ref","ref":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","patterns":[0,3]},{"op":"div","div":"1","patterns":[3,2]},{"op":"ref","ref":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","patterns":[2,3]}],"patterns":[0,3]}}],"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[0,1]},{"op":"vid","vid":"1","patterns":[1,1]}],"patterns":[0,1]}],"patterns":[0,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},{"pattern":"type","type":"@wqHQMPZNf5NjAXGzj9DtCCjTgU9xtZESGUGETRP2VqX7"}],"parent":[]},"edges":[{"x":[1],"y":[1],"c":[3]},{"0":[1],"1":[1],"_":[2]},{},{"0":[2],"1":[2]},{"if":[2],"and":[2],"then":[1]}],"codeId":{"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":2,"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":3,"@wqHQMPZNf5NjAXGzj9DtCCjTgU9xtZESGUGETRP2VqX7":4}}},"@Gqv9tLnPhFGEXWDbscwNpDy8dVMMDHTEyZRmTuMajCFN":{"def":{"op":"comp","comp":[{"op":"product","product":[{"label":"result","exp":{"op":"ref","ref":"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC","patterns":[0,1]}},{"label":"_x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","patterns":[0,1]},{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","patterns":[1,1]}],"patterns":[0,1]}},{"label":"y","exp":{"op":"dot","dot":"y","patterns":[0,1]}}],"patterns":[0,3]},{"op":"ref","ref":"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np","patterns":[3,1]}],"patterns":[0,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@33dYrbzWEz2SBK2h72wputSdkSws8n3nVBjVTG7deFvY"}],"parent":[]},"edges":[{"x":[1],"y":[1]},{"0":[1],"1":[1],"_":[2]},{},{"result":[1],"_x":[1],"y":[1]}],"codeId":{"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":2,"@33dYrbzWEz2SBK2h72wputSdkSws8n3nVBjVTG7deFvY":3}}},"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np":{"def":{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"if","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"_","patterns":[1,2]}],"patterns":[0,2]}},{"label":"then","exp":{"op":"dot","dot":"result","patterns":[0,1]}}],"patterns":[0,3]},{"op":"dot","dot":"then","patterns":[3,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"result","exp":{"op":"comp","comp":[{"op":"dot","dot":"result","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"_x","exp":{"op":"dot","dot":"_x","patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"0","patterns":[1,1]}],"patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np","patterns":[0,1]}],"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"result","exp":{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"dot","dot":"_x","patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"result","patterns":[0,1]},{"op":"vid","vid":"0","patterns":[1,1]}],"patterns":[0,1]}},{"label":"c","exp":{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","patterns":[0,4]}}],"patterns":[0,5]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","patterns":[5,1]}],"patterns":[0,1]}},{"label":"_x","exp":{"op":"dot","dot":"_x","patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","patterns":[0,1]},{"op":"div","div":"1","patterns":[1,1]}],"patterns":[0,1]}}],"patterns":[0,0]},{"op":"ref","ref":"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np","patterns":[0,1]}],"patterns":[0,1]}],"patterns":[0,1]},"typeDerivation":{"status":"converged"},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"type","type":"@33dYrbzWEz2SBK2h72wputSdkSws8n3nVBjVTG7deFvY"},{"pattern":"type","type":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@eYsqy7Y7qUvgz9AXcMAAgnhMhqbeQ5bGAa3SkTjhMMq4"},{"pattern":"type","type":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},{"pattern":"type","type":"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx"}],"parent":[]},"edges":[{"result":[1],"_x":[1],"y":[1]},{"0":[1],"1":[1],"_":[2]},{},{"if":[2],"then":[1]},{"0":[2],"1":[2]},{"x":[1],"y":[1],"c":[4]}],"codeId":{"@33dYrbzWEz2SBK2h72wputSdkSws8n3nVBjVTG7deFvY":0,"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":1,"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":2,"@eYsqy7Y7qUvgz9AXcMAAgnhMhqbeQ5bGAa3SkTjhMMq4":3,"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":4,"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx":5}}}},"relAlias":{"0":"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC","1":"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38","2":"@p3TNQekkhZ2zx6ssbiAh7BJV2y333eRxJsupzCiyAXxT","3":"@LXrfZqtpDKy3QiT3qXgDyQxHJVuG5SbkAYtzqGDJMuJq","4":"@CMtCYzYj5qPcSUiUfj4wnPuFs5WpKgwDAd3mH7kMtrsc","5":"@DWEu4REt5KdPSJY3DGBVRE2gNpWfUC2i38cvLSKmEyr9","6":"@GiEx2jy77WGxyz44ahrtTC9Df5YCQP74tf73ThjUJs8a","7":"@YLgwXtMTMhqgdCXy7Td8Q6fgiJFsn4XJmY2MCSFGAx9h","8":"@5bsRUY7SvgjXSHAc4DL4JgXGEpPX63ayFEG3NRchUckB","9":"@8BEk5UeFPN3cD4mXNneeQj3XLvxK8Az447gTj2UfCZqX","10":"@B9gKPhFnfxLiuNdkgwjAXGDeDDkszFP3AkyyYBj72Te4","_":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","_inv":"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N","inv":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","concat_":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","_inc":"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG","succ":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","concat":"@8r4VpfxttM92LiTaBRvH2m8vV9F3R3GyKijin8FyMpHg","b0":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","b1":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","_plus":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","plus":"@eK3xGpkUsZVXXjVqQNqB5EYP6TWPmVuqriCCuFTB9P55","_times":"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np","times":"@Gqv9tLnPhFGEXWDbscwNpDy8dVMMDHTEyZRmTuMajCFN","__main__":"@5XMTXibn7NUSafpfSUQUTGMQb9ncTP6Tr5jk3Ej2SwRX"},"compileStats":{"sccs":[{"members":["_"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["1"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["_inv"],"strategy":"fixed_point","iterations":1,"converged":true},{"members":["inv"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["concat_"],"strategy":"fixed_point","iterations":1,"converged":true},{"members":["_inc"],"strategy":"fixed_point","iterations":2,"converged":true},{"members":["succ"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["2"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["3"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["4"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["5"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["6"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["7"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["8"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["9"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["10"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["concat"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["0"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["b0"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["b1"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["_plus"],"strategy":"fixed_point","iterations":1,"converged":true},{"members":["plus"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["_times"],"strategy":"fixed_point","iterations":1,"converged":true},{"members":["times"],"strategy":"single_pass","iterations":1,"converged":true},{"members":["__main__"],"strategy":"single_pass","iterations":1,"converged":true}],"sccCount":25},"meta":{"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":{"type":"code","origins":[{"source":"core.k","name":"bit","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":13,"column":9},"end":{"line":13,"column":23}}]},"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":{"type":"code","origins":[{"source":"core.k","name":"bits","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":17,"column":10},"end":{"line":17,"column":34}}]},"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx":{"type":"code","origins":[{"source":"core.k","name":"byte","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":99,"column":10},"end":{"line":102,"column":2}}]},"@VgLSCtg5j6bmqeMXzdk7rHrs9DPYcjxXntYmR6kMpuXc":{"type":"code","origins":[{"source":"core.k","name":"ascii","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":105,"column":11},"end":{"line":105,"column":62}}]},"@F2KGfE24DhFGChv6pVAb4pkC9YWvt5izpnnwFDTLfG2h":{"type":"code","origins":[{"source":"core.k","name":"u0080_07FF","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":109,"column":16},"end":{"line":109,"column":96}}]},"@3UNgHRy59Xb3SQEdNMiejQtxJ89YbZA4zkWhQr6hNeqG":{"type":"code","origins":[{"source":"core.k","name":"bmp_hi_common","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":113,"column":19},"end":{"line":122,"column":2}}]},"@25AidvUGwNiKKzZxhfqyzLaXZnPjzptBjQNZRRys8UuG":{"type":"code","origins":[{"source":"core.k","name":"bmp_hi_private_use","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":126,"column":24},"end":{"line":130,"column":2}}]},"@7KiZRTE2LDh9uHE3nFuhXVnqCVdPEdGFnQL3vgKBuTVy":{"type":"code","origins":[{"source":"core.k","name":"plane_02_10","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":134,"column":17},"end":{"line":139,"column":2}}]},"@AhRir67FipnHnJfDU7fSQ3Xhcg6BTJYwtq6HGsWwZtbi":{"type":"code","origins":[{"source":"core.k","name":"unicode","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":148,"column":13},"end":{"line":155,"column":2}}]},"@Pt3MwQwzUPxQKu58zXR3qUBHWTzfycx5bSZGzcK6EZQK":{"type":"code","origins":[{"source":"core.k","name":"string","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":158,"column":12},"end":{"line":158,"column":56}}]},"@yRNNB7ADDiKrffJicEVyPvQA8zaAbnmFhALspTgg7xcW":{"type":"code","origins":[{"source":"core.k","name":"edge","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":168,"column":10},"end":{"line":168,"column":39}}]},"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx":{"type":"code","origins":[{"source":"core.k","name":"edges","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":172,"column":11},"end":{"line":172,"column":51}}]},"@B7MUZJh8nCNJrpchb6hBqr5V9Yh6BMv6CP8QJMDZJtwE":{"type":"code","origins":[{"source":"core.k","name":"pattern-node","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":178,"column":18},"end":{"line":184,"column":2}}]},"@XsJTJQneLcWry72QAHUWdsrVM44vUntSXEzcr2ktUrkq":{"type":"code","origins":[{"source":"core.k","name":"pattern","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":195,"column":13},"end":{"line":195,"column":63}}]},"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC":{"type":"rel","origins":[{"source":"core.k","name":"0","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":21,"column":5},"end":{"line":21,"column":9}}]},"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38":{"type":"rel","origins":[{"source":"core.k","name":"1","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":22,"column":5},"end":{"line":22,"column":9}}]},"@p3TNQekkhZ2zx6ssbiAh7BJV2y333eRxJsupzCiyAXxT":{"type":"rel","origins":[{"source":"core.k","name":"2","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":49,"column":5},"end":{"line":49,"column":11}}]},"@LXrfZqtpDKy3QiT3qXgDyQxHJVuG5SbkAYtzqGDJMuJq":{"type":"rel","origins":[{"source":"core.k","name":"3","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":50,"column":5},"end":{"line":50,"column":11}}]},"@CMtCYzYj5qPcSUiUfj4wnPuFs5WpKgwDAd3mH7kMtrsc":{"type":"rel","origins":[{"source":"core.k","name":"4","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":51,"column":5},"end":{"line":51,"column":11}}]},"@DWEu4REt5KdPSJY3DGBVRE2gNpWfUC2i38cvLSKmEyr9":{"type":"rel","origins":[{"source":"core.k","name":"5","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":52,"column":5},"end":{"line":52,"column":11}}]},"@GiEx2jy77WGxyz44ahrtTC9Df5YCQP74tf73ThjUJs8a":{"type":"rel","origins":[{"source":"core.k","name":"6","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":53,"column":5},"end":{"line":53,"column":11}}]},"@YLgwXtMTMhqgdCXy7Td8Q6fgiJFsn4XJmY2MCSFGAx9h":{"type":"rel","origins":[{"source":"core.k","name":"7","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":54,"column":5},"end":{"line":54,"column":11}}]},"@5bsRUY7SvgjXSHAc4DL4JgXGEpPX63ayFEG3NRchUckB":{"type":"rel","origins":[{"source":"core.k","name":"8","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":55,"column":5},"end":{"line":55,"column":11}}]},"@8BEk5UeFPN3cD4mXNneeQj3XLvxK8Az447gTj2UfCZqX":{"type":"rel","origins":[{"source":"core.k","name":"9","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":56,"column":5},"end":{"line":56,"column":11}}]},"@B9gKPhFnfxLiuNdkgwjAXGDeDDkszFP3AkyyYBj72Te4":{"type":"rel","origins":[{"source":"core.k","name":"10","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":57,"column":6},"end":{"line":57,"column":12}}]},"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv":{"type":"rel","origins":[{"source":"core.k","name":"_","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":19,"column":5},"end":{"line":19,"column":9}}]},"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N":{"type":"rel","origins":[{"source":"core.k","name":"_inv","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":25,"column":26},"end":{"line":25,"column":82}}]},"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw":{"type":"rel","origins":[{"source":"core.k","name":"inv","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":24,"column":7},"end":{"line":24,"column":23}}]},"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy":{"type":"rel","origins":[{"source":"core.k","name":"concat_","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":29,"column":3},"end":{"line":33,"column":4}}]},"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG":{"type":"rel","origins":[{"source":"core.k","name":"_inc","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":42,"column":26},"end":{"line":46,"column":2}}]},"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b":{"type":"rel","origins":[{"source":"core.k","name":"succ","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":40,"column":8},"end":{"line":40,"column":25}}]},"@8r4VpfxttM92LiTaBRvH2m8vV9F3R3GyKijin8FyMpHg":{"type":"rel","origins":[{"source":"core.k","name":"concat","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":27,"column":10},"end":{"line":27,"column":52}}]},"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz":{"type":"rel","origins":[{"source":"core.k","name":"b0","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":14,"column":6},"end":{"line":14,"column":15}}]},"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc":{"type":"rel","origins":[{"source":"core.k","name":"b1","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":15,"column":6},"end":{"line":15,"column":15}}]},"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j":{"type":"rel","origins":[{"source":"core.k","name":"_plus","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":62,"column":3},"end":{"line":75,"column":4}}]},"@eK3xGpkUsZVXXjVqQNqB5EYP6TWPmVuqriCCuFTB9P55":{"type":"rel","origins":[{"source":"core.k","name":"plus","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":60,"column":8},"end":{"line":60,"column":58}}]},"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np":{"type":"rel","origins":[{"source":"core.k","name":"_times","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":80,"column":3},"end":{"line":92,"column":4}}]},"@Gqv9tLnPhFGEXWDbscwNpDy8dVMMDHTEyZRmTuMajCFN":{"type":"rel","origins":[{"source":"core.k","name":"times","compiledAt":"2026-05-20T01:13:25.809Z","start":{"line":78,"column":9},"end":{"line":78,"column":61}}]}},"main":null}