@fraczak/k 6.0.2 → 6.0.4

package/core.klib

@@ -0,0 +1 @@
+{"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}

package/export.mjs

@@ -54,7 +54,7 @@ export function simplifyRel(relDef,rels) {
   const newRel = prune(rel);
   let resultRel = {...newRel};
   if (newRel.op == "identity")
-    return {...resultRel, ...filters[0]}; 
+    return {...resultRel, ...filters[0], start: rel.start, end: rel.end};
 
   if (newRel.op == "comp") { 
     resultRel.comp = [ filters[0], ...newRel.comp, filters[1] ];

package/index.mjs

@@ -51,7 +51,7 @@ function annotate(script, options = {}) {
 
   const { relAlias, compileStats } = compileTypes(representatives, rels, options);
  
-  return {rels, representatives, relAlias, compileStats};
+  return {rels, representatives, relAlias, compileStats, sourceDefs: defs};
 }
 annotate.doc = "Annotate all the script expressions with patterns";
 

package/kkk.k

@@ -0,0 +1,197 @@
+-- core.k — the k standard core library
+--
+-- Defines:
+--   1. $bits — the canonical binary number / bit-path type
+--   2. $string — unicode strings (used for labels)
+--   3. $pattern — the type of pattern graphs
+--   4. Basic $bits arithmetic: succ, plus, times
+
+---------------------------------------------------------------
+-- §1. Bits
+---------------------------------------------------------------
+
+$ bit = < {} 0, {} 1 >;
+b0 = {}|0 $bit;
+b1 = {}|1 $bit;
+
+$ bits = < {} _, bits 0, bits 1 >;
+
+_ = {}|_;
+
+0 = _ |0;
+1 = _ |1;
+
+inv = {() x, _ r} _inv;
+_inv = ${bits x, bits r} < {.x /0 x, .r |0 r} _inv, {.x /1 x, .r |1 r} _inv, .r >;
+
+concat = ${bits x, bits y} {.x inv x, .y y} concat_;
+concat_ = ${bits x, bits y}
+  <
+    {.x /0 x, .y |0 y} concat_,
+    {.x /1 x, .y |1 y} concat_,
+    .y
+  >;
+
+---------------------------------------------------------------
+-- §2. Bits arithmetic
+---------------------------------------------------------------
+
+-- successor (increment by 1)
+succ = {inv x, _ y} _inc;
+
+_inc = ${bits x, bits y} <
+    {.x /0 x, .y |1 y} concat_,
+    {.x /1 x, .y |0 y} _inc,
+    .y |1
+>;
+
+-- constants
+2 = 1 succ;
+3 = 2 succ;
+4 = 3 succ;
+5 = 4 succ;
+6 = 5 succ;
+7 = 6 succ;
+8 = 7 succ;
+9 = 8 succ;
+10 = 9 succ;
+
+-- addition on $bits (unsigned, LSB-first with carry)
+plus = ${bits x, bits y} {.x inv x, .y inv y, b0 c} _plus;
+_plus = ${bits x, bits y, bit c}
+  <
+    {.x /_ if, .y /_ and, <.c/0 0, 1> then} .then,
+    {.x /_ if, .c/0 and, .y then} .then,
+    {.x y, .y /_|_ x, .c c} _plus,
+    {<.c/0 0, 1> x, .y y, .x /_ b0 c} _plus,
+    {.x /0 x, .y /0 y, .c/0 b0 c} _plus |0,
+    {.x /0 x, .y /0 y, .c/1 b0 c} _plus |1,
+    {.x /0 x, .y /1 y, .c/0 b0 c} _plus |1,
+    {.x /0 x, .y /1 y, .c/1 b1 c} _plus |0,
+    {.x /1 x, .y /0 y, .c/0 b0 c} _plus |1,
+    {.x /1 x, .y /0 y, .c/1 b1 c} _plus |0,
+    {.x /1 x, .y /1 y, .c/0 b1 c} _plus |0,
+    {.x /1 x, .y /1 y, .c/1 b1 c} _plus |1
+  >;
+
+-- multiplication on $bits (unsigned, shift-and-add)
+times = ${bits x, bits y} {0 result, .x inv _x, .y y} _times;
+_times = ${bits result, bits _x, bits y}
+  <
+    { .y /_ if, .result then } .then,
+    {
+      .result |0 result,
+      ._x _x,
+      .y /0 y
+    } _times,
+    {
+      {._x x, .result |0 y, b0 c} _plus result,
+      ._x _x,
+      .y /1 y
+    } _times
+  >;
+
+---------------------------------------------------------------
+-- §3. Unicode and String
+---------------------------------------------------------------
+
+-- 8-bit octet used as a building block for UTF-8 payload pieces.
+$ byte = {
+  bit 0, bit 1, bit 2, bit 3,
+  bit 4, bit 5, bit 6, bit 7
+};
+
+-- 7-bit ASCII code point payload (U+0000..U+007F).
+$ ascii = { bit 6, bit 5, bit 4, bit 3, bit 2, bit 1, bit 0 };
+
+-- 11-bit payload used for Plane 0 code points U+0080..U+07FF.
+-- Plane 0 is the Basic Multilingual Plane (BMP): U+0000..U+FFFF.
+$ u0080_07FF = { bit 10, bit 9, bit 8, bit 7, bit 6, bit 5, bit 4, bit 3, bit 2, bit 1, bit 0 };
+
+-- High-byte classes for common BMP ranges, excluding surrogate/private-use partitions.
+-- BMP (Basic Multilingual Plane) is Plane 0: the first 65,536 code points.
+$ bmp_hi_common = <
+  { bit 2, bit 1, bit 0 } h08_0F,
+  { bit 6, bit 5, bit 4, bit 3, bit 2, bit 1, bit 0 } h10_7F,
+  { bit 6, bit 5, bit 4, bit 3, bit 2, bit 1, bit 0 } h80_CF,
+  { bit 2, bit 1, bit 0 } hD0_D7,
+  {} hF9,
+  { bit 0 } hFA_FB,
+  { bit 0 } hFC_FD,
+  { bit 0 } hFE_FF
+>;
+
+-- High-byte classes for BMP private-use/high-reserved slices.
+-- These partitions keep Plane 0 subsets explicit in the type encoding.
+$ bmp_hi_private_use = <
+  { bit 3, bit 2, bit 1, bit 0 } hE0_EF,
+  { bit 2, bit 1, bit 0 } hF0_F7,
+  {} hF8
+>;
+
+-- Plane selector for supplementary code points in Planes 2..16.
+-- Supplementary planes are all planes above BMP (Plane 0).
+$ plane_02_10 = <
+  { bit 0 } p02_03,
+  { bit 1, bit 0 } p04_07,
+  { bit 2, bit 1, bit 0 } p08_0F,
+  {} p10
+>;
+
+-- Canonical Unicode scalar-value partition used by string encoding.
+-- Branch meaning:
+-- - ascii: U+0000..U+007F (subset of BMP / Plane 0)
+-- - plane0: U+0080..U+07FF (still Plane 0)
+-- - bmp_common, bmp_private_use: U+0800..U+FFFF partitions (Plane 0)
+-- - supplementary_plane1: U+10000..U+1FFFF (Plane 1)
+-- - supplementary_planes2_16: U+20000..U+10FFFF (Planes 2..16)
+$ unicode = <
+  ascii ascii,
+  u0080_07FF plane0,
+  { bmp_hi_common hi, byte lo } bmp_common,
+  { bmp_hi_private_use hi, byte lo } bmp_private_use,
+  { byte mid, byte lo } supplementary_plane1,
+  { plane_02_10 plane, byte mid, byte lo } supplementary_planes2_16
+>;
+
+-- Linked-list string: nil or (unicode car, string cdr).
+$ string = < {} nil, { unicode car, string cdr } cons >;
+
+---------------------------------------------------------------
+-- §4. Pattern
+---------------------------------------------------------------
+
+-- Edge: a labeled edge in a pattern graph.
+-- 'label' is the field name or tag name.
+-- 'target' is the index (as $bits) of the target node in the pattern list.
+
+$ edge = { string label, bits target };
+
+-- Edge list: the edges of a pattern node, sorted by label.
+
+$ edges = < {} nil, { edge car, edges cdr } cons >;
+
+-- Pattern node: one of five kinds.
+-- "any" is the unconstrained position (...), carrying no edges.
+-- The four others carry their edge list directly.
+
+$ pattern-node = <
+  {} any,
+  edges open-product,
+  edges open-union,
+  edges closed-product,
+  edges closed-union
+>;
+
+-- Pattern: a cons-list of pattern nodes.
+-- Node 0 (first element) is the root.
+-- Edges reference nodes by their index in this list, encoded as $bits.
+--
+-- The singleton pattern of $pattern itself is a fixed constant.
+-- That constant is the implicit framing for all k wire formats:
+-- to decode any value, first decode a $pattern under that constant,
+-- then decode the value under the pattern just obtained.
+
+$ pattern = < {} nil, { pattern-node car, pattern cdr } cons >;
+
+$pattern