@fraczak/k 6.0.4 → 6.1.1

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (59) hide show
  1. package/.idea/codeStyles/codeStyleConfig.xml +5 -0
  2. package/.idea/copilot.data.migration.agent.xml +6 -0
  3. package/.idea/copilot.data.migration.ask.xml +6 -0
  4. package/.idea/copilot.data.migration.ask2agent.xml +6 -0
  5. package/.idea/copilot.data.migration.edit.xml +6 -0
  6. package/.idea/k.iml +9 -0
  7. package/.idea/misc.xml +6 -0
  8. package/.idea/modules.xml +8 -0
  9. package/.idea/vcs.xml +6 -0
  10. package/AGENTS.md +2 -2
  11. package/CHANGELOG.md +22 -5
  12. package/CLAUDE.md +4 -4
  13. package/DOCS/BIG_PICTURE.md +5 -5
  14. package/DOCS/BINARY_CODEC_STATUS_AND_TODO.md +3 -3
  15. package/DOCS/OBJECT_FILE_AND_PATTERN.md +9 -9
  16. package/DOCS/PATTERNS.md +6 -5
  17. package/DOCS/REPL.md +2 -2
  18. package/DOCS/book/06-values-in-memory.md +1 -1
  19. package/DOCS/book.md +20 -24
  20. package/README.md +200 -274
  21. package/codecs/README.md +21 -2
  22. package/codecs/example-pipeline.mjs +14 -0
  23. package/codecs/ieee.mjs +13 -3
  24. package/codecs/int.mjs +13 -3
  25. package/codecs/json.mjs +13 -3
  26. package/codecs/k-parse.mjs +5 -0
  27. package/codecs/k-print.mjs +16 -1
  28. package/codecs/show.mjs +15 -1
  29. package/codecs/unit.mjs +13 -3
  30. package/codecs/utf16.mjs +13 -3
  31. package/codecs/utf8.mjs +13 -3
  32. package/k-vscode/README.md +3 -2
  33. package/k.mjs +9 -1
  34. package/k_compiler/runtime.c +205 -0
  35. package/k_compiler/runtime.h +34 -0
  36. package/objects/README.md +11 -8
  37. package/package.json +13 -7
  38. package/{repl2.mjs → repl.mjs} +47 -9
  39. package/{test-repl2.mjs → test-repl.mjs} +16 -5
  40. package/.codex +0 -0
  41. package/DOCS/a.html +0 -398
  42. package/NAT.k~ +0 -452
  43. package/UU/ta.k +0 -1
  44. package/UU/ta.k~ +0 -0
  45. package/UU/tb.k +0 -0
  46. package/UU/tc.k +0 -0
  47. package/codecs/BINARY_FORMAT.html +0 -471
  48. package/codecs/POLYMORPHIC_BINARY_FORMAT.html +0 -355
  49. package/core.json +0 -1
  50. package/core.klib +0 -1
  51. package/core.klib~ +0 -0
  52. package/ieee.klib +0 -0
  53. package/k-vscode/package-lock.json +0 -4176
  54. package/kkk.k +0 -197
  55. package/kkk.klib +0 -0
  56. package/kkk.klib~ +0 -0
  57. package/p.json +0 -5475
  58. package/type_registry/registry.mjs~ +0 -105
  59. package/type_registry/typeParser.jison~ +0 -132
package/core.json DELETED
@@ -1 +0,0 @@
1
- {"format":"k-object","version":2,"codes":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":{"code":"product","product":{},"def":"$C0={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":{"code":"union","union":{"0":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","1":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},"start":{"line":13,"column":9},"end":{"line":13,"column":23},"def":"$C0=<C1\"0\",C1\"1\">;$C1={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":{"code":"union","union":{"0":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","1":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","_":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},"start":{"line":17,"column":10},"end":{"line":17,"column":34},"def":"$C0=<C0\"0\",C0\"1\",C1\"_\">;$C1={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@ThzcZqwQKqu5uqkdMciVwD84ZxetFUs2eqTjhYP2PMHH":{"code":"product","product":{"x":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","r":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"start":{"line":25,"column":9},"end":{"line":25,"column":25},"def":"$C0={C1\"r\",C1\"x\"};$C1=<C1\"0\",C1\"1\",C2\"_\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m":{"code":"product","product":{"x":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","y":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"start":{"line":27,"column":11},"end":{"line":27,"column":27},"def":"$C0={C1\"x\",C1\"y\"};$C1=<C1\"0\",C1\"1\",C2\"_\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx":{"code":"product","product":{"x":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","y":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","c":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"start":{"line":61,"column":10},"end":{"line":61,"column":33},"def":"$C0={C1\"c\",C2\"x\",C2\"y\"};$C1=<C3\"0\",C3\"1\">;$C2=<C2\"0\",C2\"1\",C3\"_\">;$C3={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@33dYrbzWEz2SBK2h72wputSdkSws8n3nVBjVTG7deFvY":{"code":"product","product":{"result":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","_x":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb","y":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"start":{"line":79,"column":11},"end":{"line":79,"column":41},"def":"$C0={C1\"_x\",C1\"result\",C1\"y\"};$C1=<C1\"0\",C1\"1\",C2\"_\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","3":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","4":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","5":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","6":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","7":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"start":{"line":99,"column":10},"end":{"line":102,"column":2},"def":"$C0={C1\"0\",C1\"1\",C1\"2\",C1\"3\",C1\"4\",C1\"5\",C1\"6\",C1\"7\"};$C1=<C2\"0\",C2\"1\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@VgLSCtg5j6bmqeMXzdk7rHrs9DPYcjxXntYmR6kMpuXc":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","3":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","4":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","5":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","6":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"start":{"line":105,"column":11},"end":{"line":105,"column":62},"def":"$C0={C1\"0\",C1\"1\",C1\"2\",C1\"3\",C1\"4\",C1\"5\",C1\"6\"};$C1=<C2\"0\",C2\"1\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@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"},"start":{"line":109,"column":16},"end":{"line":109,"column":96},"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={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@GEgcFLqrmPmqcEn7v8y2nAigpWgAmMHs2x9YteyyNkE9":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"start":{"line":114,"column":3},"end":{"line":114,"column":26},"def":"$C0={C1\"0\",C1\"1\",C1\"2\"};$C1=<C2\"0\",C2\"1\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@PK2NXGfXZ7Hpqx5zHgX4Vrt2fC93XEYJtD5fKfkge2DP":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"start":{"line":119,"column":3},"end":{"line":119,"column":12},"def":"$C0={C1\"0\"};$C1=<C2\"0\",C2\"1\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@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"},"start":{"line":113,"column":19},"end":{"line":122,"column":2},"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\">;","typeDerivation":{"status":"converged","diagnostics":[]}},"@BXnvUkK5YPArReCNguMFuJiPhjbBMSEniD6rj9cQvMiJ":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","2":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","3":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"start":{"line":127,"column":3},"end":{"line":127,"column":33},"def":"$C0={C1\"0\",C1\"1\",C1\"2\",C1\"3\"};$C1=<C2\"0\",C2\"1\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@25AidvUGwNiKKzZxhfqyzLaXZnPjzptBjQNZRRys8UuG":{"code":"union","union":{"hE0_EF":"@BXnvUkK5YPArReCNguMFuJiPhjbBMSEniD6rj9cQvMiJ","hF0_F7":"@GEgcFLqrmPmqcEn7v8y2nAigpWgAmMHs2x9YteyyNkE9","hF8":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},"start":{"line":126,"column":24},"end":{"line":130,"column":2},"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\">;","typeDerivation":{"status":"converged","diagnostics":[]}},"@XvHpR7WyndrwXY5jMLnzPmc6BqKAZRqJcvLac3KDRvJ2":{"code":"product","product":{"0":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg","1":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"start":{"line":136,"column":3},"end":{"line":136,"column":19},"def":"$C0={C1\"0\",C1\"1\"};$C1=<C2\"0\",C2\"1\">;$C2={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@7KiZRTE2LDh9uHE3nFuhXVnqCVdPEdGFnQL3vgKBuTVy":{"code":"union","union":{"p02_03":"@PK2NXGfXZ7Hpqx5zHgX4Vrt2fC93XEYJtD5fKfkge2DP","p04_07":"@XvHpR7WyndrwXY5jMLnzPmc6BqKAZRqJcvLac3KDRvJ2","p08_0F":"@GEgcFLqrmPmqcEn7v8y2nAigpWgAmMHs2x9YteyyNkE9","p10":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},"start":{"line":134,"column":17},"end":{"line":139,"column":2},"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\">;","typeDerivation":{"status":"converged","diagnostics":[]}},"@GaGd3BUMtE8ugdPFbGhGdFjW4qQX8hLCwvPhTz3GjDkc":{"code":"product","product":{"hi":"@3UNgHRy59Xb3SQEdNMiejQtxJ89YbZA4zkWhQr6hNeqG","lo":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx"},"start":{"line":151,"column":3},"end":{"line":151,"column":32},"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\">;","typeDerivation":{"status":"converged","diagnostics":[]}},"@f3PvCPVfYbyPJUkr4j4W7QdJPhuPXRWGCEh5svGrMfFr":{"code":"product","product":{"hi":"@25AidvUGwNiKKzZxhfqyzLaXZnPjzptBjQNZRRys8UuG","lo":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx"},"start":{"line":152,"column":3},"end":{"line":152,"column":37},"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\">;","typeDerivation":{"status":"converged","diagnostics":[]}},"@vuPuK3mvdnYrQJpHZhVMeH3WRKyvPnKpQ5XADNdMTwa4":{"code":"product","product":{"mid":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx","lo":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx"},"start":{"line":153,"column":3},"end":{"line":153,"column":24},"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={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@Kn2aV2EtdLQa2Hy5BdQyuEe3xUPgQRArUkkpPragjuZU":{"code":"product","product":{"plane":"@7KiZRTE2LDh9uHE3nFuhXVnqCVdPEdGFnQL3vgKBuTVy","mid":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx","lo":"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx"},"start":{"line":154,"column":3},"end":{"line":154,"column":43},"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={};","typeDerivation":{"status":"converged","diagnostics":[]}},"@AhRir67FipnHnJfDU7fSQ3Xhcg6BTJYwtq6HGsWwZtbi":{"code":"union","union":{"ascii":"@VgLSCtg5j6bmqeMXzdk7rHrs9DPYcjxXntYmR6kMpuXc","plane0":"@F2KGfE24DhFGChv6pVAb4pkC9YWvt5izpnnwFDTLfG2h","bmp_common":"@GaGd3BUMtE8ugdPFbGhGdFjW4qQX8hLCwvPhTz3GjDkc","bmp_private_use":"@f3PvCPVfYbyPJUkr4j4W7QdJPhuPXRWGCEh5svGrMfFr","supplementary_plane1":"@vuPuK3mvdnYrQJpHZhVMeH3WRKyvPnKpQ5XADNdMTwa4","supplementary_planes2_16":"@Kn2aV2EtdLQa2Hy5BdQyuEe3xUPgQRArUkkpPragjuZU"},"start":{"line":148,"column":13},"end":{"line":155,"column":2},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@c9cX8BrNV8Q8zd9sukdxrjPTkVzZUPzn8rd3esEjmhMf":{"code":"product","product":{"car":"@AhRir67FipnHnJfDU7fSQ3Xhcg6BTJYwtq6HGsWwZtbi","cdr":"@Pt3MwQwzUPxQKu58zXR3qUBHWTzfycx5bSZGzcK6EZQK"},"start":{"line":158,"column":22},"end":{"line":158,"column":49},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@Pt3MwQwzUPxQKu58zXR3qUBHWTzfycx5bSZGzcK6EZQK":{"code":"union","union":{"nil":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","cons":"@c9cX8BrNV8Q8zd9sukdxrjPTkVzZUPzn8rd3esEjmhMf"},"start":{"line":158,"column":12},"end":{"line":158,"column":56},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@yRNNB7ADDiKrffJicEVyPvQA8zaAbnmFhALspTgg7xcW":{"code":"product","product":{"label":"@Pt3MwQwzUPxQKu58zXR3qUBHWTzfycx5bSZGzcK6EZQK","target":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"start":{"line":168,"column":10},"end":{"line":168,"column":39},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@4brRkXewCHNWmWEXXT67Ahd9ewU5mpSi4ZFFxdCDhJN4":{"code":"product","product":{"car":"@yRNNB7ADDiKrffJicEVyPvQA8zaAbnmFhALspTgg7xcW","cdr":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx"},"start":{"line":172,"column":21},"end":{"line":172,"column":44},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx":{"code":"union","union":{"nil":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","cons":"@4brRkXewCHNWmWEXXT67Ahd9ewU5mpSi4ZFFxdCDhJN4"},"start":{"line":172,"column":11},"end":{"line":172,"column":51},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@B7MUZJh8nCNJrpchb6hBqr5V9Yh6BMv6CP8QJMDZJtwE":{"code":"union","union":{"any":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","open-product":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx","open-union":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx","closed-product":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx","closed-union":"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx"},"start":{"line":178,"column":18},"end":{"line":184,"column":2},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@YTLKrNPYkJBvBBVKjyFEgsLgP3Jgr6wk8CaREzuNiUbc":{"code":"product","product":{"car":"@B7MUZJh8nCNJrpchb6hBqr5V9Yh6BMv6CP8QJMDZJtwE","cdr":"@XsJTJQneLcWry72QAHUWdsrVM44vUntSXEzcr2ktUrkq"},"start":{"line":195,"column":23},"end":{"line":195,"column":56},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@XsJTJQneLcWry72QAHUWdsrVM44vUntSXEzcr2ktUrkq":{"code":"union","union":{"nil":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","cons":"@YTLKrNPYkJBvBBVKjyFEgsLgP3Jgr6wk8CaREzuNiUbc"},"start":{"line":195,"column":13},"end":{"line":195,"column":63},"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\"};","typeDerivation":{"status":"converged","diagnostics":[]}},"@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\"_\">;","typeDerivation":{"status":"converged","diagnostics":[]}},"@eYsqy7Y7qUvgz9AXcMAAgnhMhqbeQ5bGAa3SkTjhMMq4":{"code":"product","product":{"if":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c","then":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"def":"$C0={C1\"if\",C2\"then\"};$C1={};$C2=<C2\"0\",C2\"1\",C1\"_\">;","typeDerivation":{"status":"converged","diagnostics":[]}}},"rels":{"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","start":{"line":21,"column":5},"end":{"line":21,"column":6},"patterns":[2,3]},{"op":"vid","vid":"0","start":{"line":21,"column":7},"end":{"line":21,"column":9},"patterns":[3,0]},{"op":"filter","filter":{"type":"union","open":true,"fields":{"0":{"type":"union","open":true,"fields":{"_":{"type":"code","code":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"}}}}},"patterns":[0,0]}],"start":{"line":21,"column":5},"end":{"line":21,"column":9},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["open-union",[["0",1]]],["open-union",[["_",2]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","start":{"line":22,"column":5},"end":{"line":22,"column":6},"patterns":[2,3]},{"op":"vid","vid":"1","start":{"line":22,"column":7},"end":{"line":22,"column":9},"patterns":[3,0]},{"op":"filter","filter":{"type":"union","open":true,"fields":{"1":{"type":"union","open":true,"fields":{"_":{"type":"code","code":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"}}}}},"patterns":[0,0]}],"start":{"line":22,"column":5},"end":{"line":22,"column":9},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["open-union",[["1",1]]],["open-union",[["_",2]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@p3TNQekkhZ2zx6ssbiAh7BJV2y333eRxJsupzCiyAXxT":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[1,1]},{"op":"ref","ref":"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38","start":{"line":49,"column":5},"end":{"line":49,"column":6},"patterns":[1,2]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":49,"column":7},"end":{"line":49,"column":11},"patterns":[2,2]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[2,2]}],"start":{"line":49,"column":5},"end":{"line":49,"column":11},"patterns":[1,2]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@LXrfZqtpDKy3QiT3qXgDyQxHJVuG5SbkAYtzqGDJMuJq":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@p3TNQekkhZ2zx6ssbiAh7BJV2y333eRxJsupzCiyAXxT","start":{"line":50,"column":5},"end":{"line":50,"column":6},"patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":50,"column":7},"end":{"line":50,"column":11},"patterns":[0,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":50,"column":5},"end":{"line":50,"column":11},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@CMtCYzYj5qPcSUiUfj4wnPuFs5WpKgwDAd3mH7kMtrsc":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@LXrfZqtpDKy3QiT3qXgDyQxHJVuG5SbkAYtzqGDJMuJq","start":{"line":51,"column":5},"end":{"line":51,"column":6},"patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":51,"column":7},"end":{"line":51,"column":11},"patterns":[0,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":51,"column":5},"end":{"line":51,"column":11},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@DWEu4REt5KdPSJY3DGBVRE2gNpWfUC2i38cvLSKmEyr9":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@CMtCYzYj5qPcSUiUfj4wnPuFs5WpKgwDAd3mH7kMtrsc","start":{"line":52,"column":5},"end":{"line":52,"column":6},"patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":52,"column":7},"end":{"line":52,"column":11},"patterns":[0,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":52,"column":5},"end":{"line":52,"column":11},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@GiEx2jy77WGxyz44ahrtTC9Df5YCQP74tf73ThjUJs8a":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@DWEu4REt5KdPSJY3DGBVRE2gNpWfUC2i38cvLSKmEyr9","start":{"line":53,"column":5},"end":{"line":53,"column":6},"patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":53,"column":7},"end":{"line":53,"column":11},"patterns":[0,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":53,"column":5},"end":{"line":53,"column":11},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@YLgwXtMTMhqgdCXy7Td8Q6fgiJFsn4XJmY2MCSFGAx9h":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@GiEx2jy77WGxyz44ahrtTC9Df5YCQP74tf73ThjUJs8a","start":{"line":54,"column":5},"end":{"line":54,"column":6},"patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":54,"column":7},"end":{"line":54,"column":11},"patterns":[0,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":54,"column":5},"end":{"line":54,"column":11},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@5bsRUY7SvgjXSHAc4DL4JgXGEpPX63ayFEG3NRchUckB":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@YLgwXtMTMhqgdCXy7Td8Q6fgiJFsn4XJmY2MCSFGAx9h","start":{"line":55,"column":5},"end":{"line":55,"column":6},"patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":55,"column":7},"end":{"line":55,"column":11},"patterns":[0,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":55,"column":5},"end":{"line":55,"column":11},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@8BEk5UeFPN3cD4mXNneeQj3XLvxK8Az447gTj2UfCZqX":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@5bsRUY7SvgjXSHAc4DL4JgXGEpPX63ayFEG3NRchUckB","start":{"line":56,"column":5},"end":{"line":56,"column":6},"patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":56,"column":7},"end":{"line":56,"column":11},"patterns":[0,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":56,"column":5},"end":{"line":56,"column":11},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@B9gKPhFnfxLiuNdkgwjAXGDeDDkszFP3AkyyYBj72Te4":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[2,2]},{"op":"ref","ref":"@8BEk5UeFPN3cD4mXNneeQj3XLvxK8Az447gTj2UfCZqX","start":{"line":57,"column":6},"end":{"line":57,"column":7},"patterns":[2,0]},{"op":"ref","ref":"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b","start":{"line":57,"column":8},"end":{"line":57,"column":12},"patterns":[0,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":57,"column":6},"end":{"line":57,"column":12},"patterns":[2,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[0,0]},{"op":"product","product":[],"start":{"line":14,"column":6},"end":{"line":14,"column":8},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":14,"column":8},"end":{"line":14,"column":10},"patterns":[1,2]},{"op":"filter","filter":{"type":"code","code":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"patterns":[2,2]}],"start":{"line":14,"column":6},"end":{"line":14,"column":15},"patterns":[0,2]},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"(...)","fields":[]},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"}],"parent":[]},"edges":[{},{},{"0":[1],"1":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1,"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":2}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",1],["1",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[0,0]},{"op":"product","product":[],"start":{"line":15,"column":6},"end":{"line":15,"column":8},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":15,"column":8},"end":{"line":15,"column":10},"patterns":[1,2]},{"op":"filter","filter":{"type":"code","code":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"},"patterns":[2,2]}],"start":{"line":15,"column":6},"end":{"line":15,"column":15},"patterns":[0,2]},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"(...)","fields":[]},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"type","type":"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg"}],"parent":[]},"edges":[{},{},{"0":[1],"1":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1,"@MjusyRWZnVj8TR4BhFCCcMRrQbdKp9gPtC29LT9nZvjg":2}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["closed-union",[["0",1],["1",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":null,"open":true,"fields":{}},"patterns":[0,0]},{"op":"product","product":[],"start":{"line":19,"column":5},"end":{"line":19,"column":7},"patterns":[0,1]},{"op":"vid","vid":"_","start":{"line":19,"column":7},"end":{"line":19,"column":9},"patterns":[1,2]},{"op":"filter","filter":{"type":"union","open":true,"fields":{"_":{"type":"code","code":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"}}},"patterns":[2,2]}],"start":{"line":19,"column":5},"end":{"line":19,"column":9},"patterns":[0,2]},"typePatternGraph":{"patterns":{"nodes":[{"pattern":"(...)","fields":[]},{"pattern":"type","type":"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c"},{"pattern":"<...>","fields":["_"]}],"parent":[]},"edges":[{},{},{"_":[1]}],"codeId":{"@NiDZqYggx3VZ6b8quBZKTfkgJztWctkesuX4CrhTxM5c":1}},"typeDerivation":{"status":"converged","inputPattern":[["any",[]]],"outputPattern":[["open-union",[["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]},{"op":"product","product":[{"label":"x","exp":{"op":"identity","start":{"line":24,"column":8},"end":{"line":24,"column":10},"patterns":[1,1]}},{"label":"r","exp":{"op":"ref","ref":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","start":{"line":24,"column":14},"end":{"line":24,"column":15},"patterns":[1,1]}}],"start":{"line":24,"column":7},"end":{"line":24,"column":18},"patterns":[1,2]},{"op":"ref","ref":"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N","start":{"line":24,"column":19},"end":{"line":24,"column":23},"patterns":[2,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":24,"column":7},"end":{"line":24,"column":23},"patterns":[1,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@ThzcZqwQKqu5uqkdMciVwD84ZxetFUs2eqTjhYP2PMHH"},"patterns":[0,0]},{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":25,"column":29},"end":{"line":25,"column":31},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":25,"column":32},"end":{"line":25,"column":34},"patterns":[1,1]}],"start":{"line":25,"column":29},"end":{"line":25,"column":34},"patterns":[0,1]}},{"label":"r","exp":{"op":"comp","comp":[{"op":"dot","dot":"r","start":{"line":25,"column":38},"end":{"line":25,"column":40},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":25,"column":41},"end":{"line":25,"column":43},"patterns":[1,1]}],"start":{"line":25,"column":38},"end":{"line":25,"column":43},"patterns":[0,1]}}],"start":{"line":25,"column":28},"end":{"line":25,"column":46},"patterns":[0,0]},{"op":"ref","ref":"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N","start":{"line":25,"column":47},"end":{"line":25,"column":51},"patterns":[0,1]}],"start":{"line":25,"column":28},"end":{"line":25,"column":51},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":25,"column":54},"end":{"line":25,"column":56},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":25,"column":57},"end":{"line":25,"column":59},"patterns":[1,1]}],"start":{"line":25,"column":54},"end":{"line":25,"column":59},"patterns":[0,1]}},{"label":"r","exp":{"op":"comp","comp":[{"op":"dot","dot":"r","start":{"line":25,"column":63},"end":{"line":25,"column":65},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":25,"column":66},"end":{"line":25,"column":68},"patterns":[1,1]}],"start":{"line":25,"column":63},"end":{"line":25,"column":68},"patterns":[0,1]}}],"start":{"line":25,"column":53},"end":{"line":25,"column":71},"patterns":[0,0]},{"op":"ref","ref":"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N","start":{"line":25,"column":72},"end":{"line":25,"column":76},"patterns":[0,1]}],"start":{"line":25,"column":53},"end":{"line":25,"column":76},"patterns":[0,1]},{"op":"dot","dot":"r","start":{"line":25,"column":78},"end":{"line":25,"column":80},"patterns":[0,1]}],"start":{"line":25,"column":26},"end":{"line":25,"column":82},"patterns":[0,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":25,"column":8},"end":{"line":25,"column":82},"patterns":[0,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-product",[["r",1],["x",1]]],["closed-union",[["0",1],["1",1],["_",2]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"fixed_point","iterations":1}},"@8r4VpfxttM92LiTaBRvH2m8vV9F3R3GyKijin8FyMpHg":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},"patterns":[0,0]},{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":27,"column":29},"end":{"line":27,"column":31},"patterns":[0,1]},{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","start":{"line":27,"column":32},"end":{"line":27,"column":35},"patterns":[1,1]}],"start":{"line":27,"column":29},"end":{"line":27,"column":35},"patterns":[0,1]}},{"label":"y","exp":{"op":"dot","dot":"y","start":{"line":27,"column":39},"end":{"line":27,"column":41},"patterns":[0,1]}}],"start":{"line":27,"column":28},"end":{"line":27,"column":44},"patterns":[0,0]},{"op":"ref","ref":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","start":{"line":27,"column":45},"end":{"line":27,"column":52},"patterns":[0,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":27,"column":10},"end":{"line":27,"column":52},"patterns":[0,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-product",[["x",1],["y",1]]],["closed-union",[["0",1],["1",1],["_",2]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},"patterns":[0,0]},{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":30,"column":6},"end":{"line":30,"column":8},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":30,"column":9},"end":{"line":30,"column":11},"patterns":[1,1]}],"start":{"line":30,"column":6},"end":{"line":30,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":30,"column":15},"end":{"line":30,"column":17},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":30,"column":18},"end":{"line":30,"column":20},"patterns":[1,1]}],"start":{"line":30,"column":15},"end":{"line":30,"column":20},"patterns":[0,1]}}],"start":{"line":30,"column":5},"end":{"line":30,"column":23},"patterns":[0,0]},{"op":"ref","ref":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","start":{"line":30,"column":24},"end":{"line":30,"column":31},"patterns":[0,1]}],"start":{"line":30,"column":5},"end":{"line":30,"column":31},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":31,"column":6},"end":{"line":31,"column":8},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":31,"column":9},"end":{"line":31,"column":11},"patterns":[1,1]}],"start":{"line":31,"column":6},"end":{"line":31,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":31,"column":15},"end":{"line":31,"column":17},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":31,"column":18},"end":{"line":31,"column":20},"patterns":[1,1]}],"start":{"line":31,"column":15},"end":{"line":31,"column":20},"patterns":[0,1]}}],"start":{"line":31,"column":5},"end":{"line":31,"column":23},"patterns":[0,0]},{"op":"ref","ref":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","start":{"line":31,"column":24},"end":{"line":31,"column":31},"patterns":[0,1]}],"start":{"line":31,"column":5},"end":{"line":31,"column":31},"patterns":[0,1]},{"op":"dot","dot":"y","start":{"line":32,"column":5},"end":{"line":32,"column":7},"patterns":[0,1]}],"start":{"line":29,"column":3},"end":{"line":33,"column":4},"patterns":[0,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":28,"column":11},"end":{"line":33,"column":4},"patterns":[0,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-product",[["x",1],["y",1]]],["closed-union",[["0",1],["1",1],["_",2]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"fixed_point","iterations":1}},"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]},{"op":"product","product":[{"label":"x","exp":{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","start":{"line":40,"column":9},"end":{"line":40,"column":12},"patterns":[0,0]}},{"label":"y","exp":{"op":"ref","ref":"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv","start":{"line":40,"column":16},"end":{"line":40,"column":17},"patterns":[0,0]}}],"start":{"line":40,"column":8},"end":{"line":40,"column":20},"patterns":[0,2]},{"op":"ref","ref":"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG","start":{"line":40,"column":21},"end":{"line":40,"column":25},"patterns":[2,0]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[0,0]}],"start":{"line":40,"column":8},"end":{"line":40,"column":25},"patterns":[0,0]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},"patterns":[0,0]},{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":43,"column":6},"end":{"line":43,"column":8},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":43,"column":9},"end":{"line":43,"column":11},"patterns":[1,1]}],"start":{"line":43,"column":6},"end":{"line":43,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":43,"column":15},"end":{"line":43,"column":17},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":43,"column":18},"end":{"line":43,"column":20},"patterns":[1,1]}],"start":{"line":43,"column":15},"end":{"line":43,"column":20},"patterns":[0,1]}}],"start":{"line":43,"column":5},"end":{"line":43,"column":23},"patterns":[0,0]},{"op":"ref","ref":"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy","start":{"line":43,"column":24},"end":{"line":43,"column":31},"patterns":[0,1]}],"start":{"line":43,"column":5},"end":{"line":43,"column":31},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":44,"column":6},"end":{"line":44,"column":8},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":44,"column":9},"end":{"line":44,"column":11},"patterns":[1,1]}],"start":{"line":44,"column":6},"end":{"line":44,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":44,"column":15},"end":{"line":44,"column":17},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":44,"column":18},"end":{"line":44,"column":20},"patterns":[1,1]}],"start":{"line":44,"column":15},"end":{"line":44,"column":20},"patterns":[0,1]}}],"start":{"line":44,"column":5},"end":{"line":44,"column":23},"patterns":[0,0]},{"op":"ref","ref":"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG","start":{"line":44,"column":24},"end":{"line":44,"column":28},"patterns":[0,1]}],"start":{"line":44,"column":5},"end":{"line":44,"column":28},"patterns":[0,1]},{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":45,"column":5},"end":{"line":45,"column":7},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":45,"column":8},"end":{"line":45,"column":10},"patterns":[1,1]}],"start":{"line":45,"column":5},"end":{"line":45,"column":10},"patterns":[0,1]}],"start":{"line":42,"column":26},"end":{"line":46,"column":2},"patterns":[0,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":42,"column":8},"end":{"line":46,"column":2},"patterns":[0,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-product",[["x",1],["y",1]]],["closed-union",[["0",1],["1",1],["_",2]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"fixed_point","iterations":2}},"@eK3xGpkUsZVXXjVqQNqB5EYP6TWPmVuqriCCuFTB9P55":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},"patterns":[0,0]},{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":60,"column":27},"end":{"line":60,"column":29},"patterns":[0,1]},{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","start":{"line":60,"column":30},"end":{"line":60,"column":33},"patterns":[1,1]}],"start":{"line":60,"column":27},"end":{"line":60,"column":33},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":60,"column":37},"end":{"line":60,"column":39},"patterns":[0,1]},{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","start":{"line":60,"column":40},"end":{"line":60,"column":43},"patterns":[1,1]}],"start":{"line":60,"column":37},"end":{"line":60,"column":43},"patterns":[0,1]}},{"label":"c","exp":{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","start":{"line":60,"column":47},"end":{"line":60,"column":49},"patterns":[0,3]}}],"start":{"line":60,"column":26},"end":{"line":60,"column":52},"patterns":[0,4]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":60,"column":53},"end":{"line":60,"column":58},"patterns":[4,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":60,"column":8},"end":{"line":60,"column":58},"patterns":[0,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-product",[["x",1],["y",1]]],["closed-union",[["0",1],["1",1],["_",2]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@ERx5FFwYBEeKrLTVQn9NcNJJ8ymExRpnLV5jGQrw3nDx"},"patterns":[0,0]},{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"if","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":63,"column":6},"end":{"line":63,"column":8},"patterns":[0,1]},{"op":"div","div":"_","start":{"line":63,"column":9},"end":{"line":63,"column":11},"patterns":[1,2]}],"start":{"line":63,"column":6},"end":{"line":63,"column":11},"patterns":[0,2]}},{"label":"and","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":63,"column":16},"end":{"line":63,"column":18},"patterns":[0,1]},{"op":"div","div":"_","start":{"line":63,"column":19},"end":{"line":63,"column":21},"patterns":[1,2]}],"start":{"line":63,"column":16},"end":{"line":63,"column":21},"patterns":[0,2]}},{"label":"then","exp":{"op":"union","union":[{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":63,"column":28},"end":{"line":63,"column":30},"patterns":[0,3]},{"op":"div","div":"0","start":{"line":63,"column":30},"end":{"line":63,"column":32},"patterns":[3,2]},{"op":"ref","ref":"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC","start":{"line":63,"column":33},"end":{"line":63,"column":34},"patterns":[2,1]}],"start":{"line":63,"column":28},"end":{"line":63,"column":34},"patterns":[0,1]},{"op":"ref","ref":"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38","start":{"line":63,"column":36},"end":{"line":63,"column":37},"patterns":[0,1]}],"start":{"line":63,"column":27},"end":{"line":63,"column":38},"patterns":[0,1]}}],"start":{"line":63,"column":5},"end":{"line":63,"column":44},"patterns":[0,4]},{"op":"dot","dot":"then","start":{"line":63,"column":45},"end":{"line":63,"column":50},"patterns":[4,1]}],"start":{"line":63,"column":5},"end":{"line":63,"column":50},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"if","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":64,"column":6},"end":{"line":64,"column":8},"patterns":[0,1]},{"op":"div","div":"_","start":{"line":64,"column":9},"end":{"line":64,"column":11},"patterns":[1,2]}],"start":{"line":64,"column":6},"end":{"line":64,"column":11},"patterns":[0,2]}},{"label":"and","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":64,"column":16},"end":{"line":64,"column":18},"patterns":[0,3]},{"op":"div","div":"0","start":{"line":64,"column":18},"end":{"line":64,"column":20},"patterns":[3,2]}],"start":{"line":64,"column":16},"end":{"line":64,"column":20},"patterns":[0,2]}},{"label":"then","exp":{"op":"dot","dot":"y","start":{"line":64,"column":26},"end":{"line":64,"column":28},"patterns":[0,1]}}],"start":{"line":64,"column":5},"end":{"line":64,"column":34},"patterns":[0,4]},{"op":"dot","dot":"then","start":{"line":64,"column":35},"end":{"line":64,"column":40},"patterns":[4,1]}],"start":{"line":64,"column":5},"end":{"line":64,"column":40},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"y","exp":{"op":"dot","dot":"x","start":{"line":65,"column":6},"end":{"line":65,"column":8},"patterns":[0,1]}},{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":65,"column":12},"end":{"line":65,"column":14},"patterns":[0,1]},{"op":"div","div":"_","start":{"line":65,"column":15},"end":{"line":65,"column":17},"patterns":[1,2]},{"op":"vid","vid":"_","start":{"line":65,"column":17},"end":{"line":65,"column":19},"patterns":[2,1]}],"start":{"line":65,"column":12},"end":{"line":65,"column":19},"patterns":[0,1]}},{"label":"c","exp":{"op":"dot","dot":"c","start":{"line":65,"column":23},"end":{"line":65,"column":25},"patterns":[0,3]}}],"start":{"line":65,"column":5},"end":{"line":65,"column":28},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":65,"column":29},"end":{"line":65,"column":34},"patterns":[0,1]}],"start":{"line":65,"column":5},"end":{"line":65,"column":34},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"union","union":[{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":66,"column":7},"end":{"line":66,"column":9},"patterns":[0,3]},{"op":"div","div":"0","start":{"line":66,"column":9},"end":{"line":66,"column":11},"patterns":[3,2]},{"op":"ref","ref":"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC","start":{"line":66,"column":12},"end":{"line":66,"column":13},"patterns":[2,1]}],"start":{"line":66,"column":7},"end":{"line":66,"column":13},"patterns":[0,1]},{"op":"ref","ref":"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38","start":{"line":66,"column":15},"end":{"line":66,"column":16},"patterns":[0,1]}],"start":{"line":66,"column":6},"end":{"line":66,"column":17},"patterns":[0,1]}},{"label":"y","exp":{"op":"dot","dot":"y","start":{"line":66,"column":21},"end":{"line":66,"column":23},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":66,"column":27},"end":{"line":66,"column":29},"patterns":[0,1]},{"op":"div","div":"_","start":{"line":66,"column":30},"end":{"line":66,"column":32},"patterns":[1,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","start":{"line":66,"column":33},"end":{"line":66,"column":35},"patterns":[2,3]}],"start":{"line":66,"column":27},"end":{"line":66,"column":35},"patterns":[0,3]}}],"start":{"line":66,"column":5},"end":{"line":66,"column":38},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":66,"column":39},"end":{"line":66,"column":44},"patterns":[0,1]}],"start":{"line":66,"column":5},"end":{"line":66,"column":44},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":67,"column":6},"end":{"line":67,"column":8},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":67,"column":9},"end":{"line":67,"column":11},"patterns":[1,1]}],"start":{"line":67,"column":6},"end":{"line":67,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":67,"column":15},"end":{"line":67,"column":17},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":67,"column":18},"end":{"line":67,"column":20},"patterns":[1,1]}],"start":{"line":67,"column":15},"end":{"line":67,"column":20},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":67,"column":24},"end":{"line":67,"column":26},"patterns":[0,3]},{"op":"div","div":"0","start":{"line":67,"column":26},"end":{"line":67,"column":28},"patterns":[3,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","start":{"line":67,"column":29},"end":{"line":67,"column":31},"patterns":[2,3]}],"start":{"line":67,"column":24},"end":{"line":67,"column":31},"patterns":[0,3]}}],"start":{"line":67,"column":5},"end":{"line":67,"column":34},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":67,"column":35},"end":{"line":67,"column":40},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":67,"column":41},"end":{"line":67,"column":43},"patterns":[1,1]}],"start":{"line":67,"column":5},"end":{"line":67,"column":43},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":68,"column":6},"end":{"line":68,"column":8},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":68,"column":9},"end":{"line":68,"column":11},"patterns":[1,1]}],"start":{"line":68,"column":6},"end":{"line":68,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":68,"column":15},"end":{"line":68,"column":17},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":68,"column":18},"end":{"line":68,"column":20},"patterns":[1,1]}],"start":{"line":68,"column":15},"end":{"line":68,"column":20},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":68,"column":24},"end":{"line":68,"column":26},"patterns":[0,3]},{"op":"div","div":"1","start":{"line":68,"column":26},"end":{"line":68,"column":28},"patterns":[3,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","start":{"line":68,"column":29},"end":{"line":68,"column":31},"patterns":[2,3]}],"start":{"line":68,"column":24},"end":{"line":68,"column":31},"patterns":[0,3]}}],"start":{"line":68,"column":5},"end":{"line":68,"column":34},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":68,"column":35},"end":{"line":68,"column":40},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":68,"column":41},"end":{"line":68,"column":43},"patterns":[1,1]}],"start":{"line":68,"column":5},"end":{"line":68,"column":43},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":69,"column":6},"end":{"line":69,"column":8},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":69,"column":9},"end":{"line":69,"column":11},"patterns":[1,1]}],"start":{"line":69,"column":6},"end":{"line":69,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":69,"column":15},"end":{"line":69,"column":17},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":69,"column":18},"end":{"line":69,"column":20},"patterns":[1,1]}],"start":{"line":69,"column":15},"end":{"line":69,"column":20},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":69,"column":24},"end":{"line":69,"column":26},"patterns":[0,3]},{"op":"div","div":"0","start":{"line":69,"column":26},"end":{"line":69,"column":28},"patterns":[3,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","start":{"line":69,"column":29},"end":{"line":69,"column":31},"patterns":[2,3]}],"start":{"line":69,"column":24},"end":{"line":69,"column":31},"patterns":[0,3]}}],"start":{"line":69,"column":5},"end":{"line":69,"column":34},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":69,"column":35},"end":{"line":69,"column":40},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":69,"column":41},"end":{"line":69,"column":43},"patterns":[1,1]}],"start":{"line":69,"column":5},"end":{"line":69,"column":43},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":70,"column":6},"end":{"line":70,"column":8},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":70,"column":9},"end":{"line":70,"column":11},"patterns":[1,1]}],"start":{"line":70,"column":6},"end":{"line":70,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":70,"column":15},"end":{"line":70,"column":17},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":70,"column":18},"end":{"line":70,"column":20},"patterns":[1,1]}],"start":{"line":70,"column":15},"end":{"line":70,"column":20},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":70,"column":24},"end":{"line":70,"column":26},"patterns":[0,3]},{"op":"div","div":"1","start":{"line":70,"column":26},"end":{"line":70,"column":28},"patterns":[3,2]},{"op":"ref","ref":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","start":{"line":70,"column":29},"end":{"line":70,"column":31},"patterns":[2,3]}],"start":{"line":70,"column":24},"end":{"line":70,"column":31},"patterns":[0,3]}}],"start":{"line":70,"column":5},"end":{"line":70,"column":34},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":70,"column":35},"end":{"line":70,"column":40},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":70,"column":41},"end":{"line":70,"column":43},"patterns":[1,1]}],"start":{"line":70,"column":5},"end":{"line":70,"column":43},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":71,"column":6},"end":{"line":71,"column":8},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":71,"column":9},"end":{"line":71,"column":11},"patterns":[1,1]}],"start":{"line":71,"column":6},"end":{"line":71,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":71,"column":15},"end":{"line":71,"column":17},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":71,"column":18},"end":{"line":71,"column":20},"patterns":[1,1]}],"start":{"line":71,"column":15},"end":{"line":71,"column":20},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":71,"column":24},"end":{"line":71,"column":26},"patterns":[0,3]},{"op":"div","div":"0","start":{"line":71,"column":26},"end":{"line":71,"column":28},"patterns":[3,2]},{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","start":{"line":71,"column":29},"end":{"line":71,"column":31},"patterns":[2,3]}],"start":{"line":71,"column":24},"end":{"line":71,"column":31},"patterns":[0,3]}}],"start":{"line":71,"column":5},"end":{"line":71,"column":34},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":71,"column":35},"end":{"line":71,"column":40},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":71,"column":41},"end":{"line":71,"column":43},"patterns":[1,1]}],"start":{"line":71,"column":5},"end":{"line":71,"column":43},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":72,"column":6},"end":{"line":72,"column":8},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":72,"column":9},"end":{"line":72,"column":11},"patterns":[1,1]}],"start":{"line":72,"column":6},"end":{"line":72,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":72,"column":15},"end":{"line":72,"column":17},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":72,"column":18},"end":{"line":72,"column":20},"patterns":[1,1]}],"start":{"line":72,"column":15},"end":{"line":72,"column":20},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":72,"column":24},"end":{"line":72,"column":26},"patterns":[0,3]},{"op":"div","div":"1","start":{"line":72,"column":26},"end":{"line":72,"column":28},"patterns":[3,2]},{"op":"ref","ref":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","start":{"line":72,"column":29},"end":{"line":72,"column":31},"patterns":[2,3]}],"start":{"line":72,"column":24},"end":{"line":72,"column":31},"patterns":[0,3]}}],"start":{"line":72,"column":5},"end":{"line":72,"column":34},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":72,"column":35},"end":{"line":72,"column":40},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":72,"column":41},"end":{"line":72,"column":43},"patterns":[1,1]}],"start":{"line":72,"column":5},"end":{"line":72,"column":43},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":73,"column":6},"end":{"line":73,"column":8},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":73,"column":9},"end":{"line":73,"column":11},"patterns":[1,1]}],"start":{"line":73,"column":6},"end":{"line":73,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":73,"column":15},"end":{"line":73,"column":17},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":73,"column":18},"end":{"line":73,"column":20},"patterns":[1,1]}],"start":{"line":73,"column":15},"end":{"line":73,"column":20},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":73,"column":24},"end":{"line":73,"column":26},"patterns":[0,3]},{"op":"div","div":"0","start":{"line":73,"column":26},"end":{"line":73,"column":28},"patterns":[3,2]},{"op":"ref","ref":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","start":{"line":73,"column":29},"end":{"line":73,"column":31},"patterns":[2,3]}],"start":{"line":73,"column":24},"end":{"line":73,"column":31},"patterns":[0,3]}}],"start":{"line":73,"column":5},"end":{"line":73,"column":34},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":73,"column":35},"end":{"line":73,"column":40},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":73,"column":41},"end":{"line":73,"column":43},"patterns":[1,1]}],"start":{"line":73,"column":5},"end":{"line":73,"column":43},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":74,"column":6},"end":{"line":74,"column":8},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":74,"column":9},"end":{"line":74,"column":11},"patterns":[1,1]}],"start":{"line":74,"column":6},"end":{"line":74,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":74,"column":15},"end":{"line":74,"column":17},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":74,"column":18},"end":{"line":74,"column":20},"patterns":[1,1]}],"start":{"line":74,"column":15},"end":{"line":74,"column":20},"patterns":[0,1]}},{"label":"c","exp":{"op":"comp","comp":[{"op":"dot","dot":"c","start":{"line":74,"column":24},"end":{"line":74,"column":26},"patterns":[0,3]},{"op":"div","div":"1","start":{"line":74,"column":26},"end":{"line":74,"column":28},"patterns":[3,2]},{"op":"ref","ref":"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc","start":{"line":74,"column":29},"end":{"line":74,"column":31},"patterns":[2,3]}],"start":{"line":74,"column":24},"end":{"line":74,"column":31},"patterns":[0,3]}}],"start":{"line":74,"column":5},"end":{"line":74,"column":34},"patterns":[0,0]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":74,"column":35},"end":{"line":74,"column":40},"patterns":[0,1]},{"op":"vid","vid":"1","start":{"line":74,"column":41},"end":{"line":74,"column":43},"patterns":[1,1]}],"start":{"line":74,"column":5},"end":{"line":74,"column":43},"patterns":[0,1]}],"start":{"line":62,"column":3},"end":{"line":75,"column":4},"patterns":[0,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":61,"column":9},"end":{"line":75,"column":4},"patterns":[0,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-product",[["c",1],["x",3],["y",3]]],["closed-union",[["0",2],["1",2]]],["closed-product",[]],["closed-union",[["0",3],["1",3],["_",2]]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"fixed_point","iterations":1}},"@Gqv9tLnPhFGEXWDbscwNpDy8dVMMDHTEyZRmTuMajCFN":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@R7RD2sgu6yPqpCQBBcJqkzxHQMZfEJLcNW4UKBcTiC3m"},"patterns":[0,0]},{"op":"product","product":[{"label":"result","exp":{"op":"ref","ref":"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC","start":{"line":78,"column":28},"end":{"line":78,"column":29},"patterns":[0,1]}},{"label":"_x","exp":{"op":"comp","comp":[{"op":"dot","dot":"x","start":{"line":78,"column":38},"end":{"line":78,"column":40},"patterns":[0,1]},{"op":"ref","ref":"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw","start":{"line":78,"column":41},"end":{"line":78,"column":44},"patterns":[1,1]}],"start":{"line":78,"column":38},"end":{"line":78,"column":44},"patterns":[0,1]}},{"label":"y","exp":{"op":"dot","dot":"y","start":{"line":78,"column":49},"end":{"line":78,"column":51},"patterns":[0,1]}}],"start":{"line":78,"column":27},"end":{"line":78,"column":54},"patterns":[0,3]},{"op":"ref","ref":"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np","start":{"line":78,"column":55},"end":{"line":78,"column":61},"patterns":[3,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":78,"column":9},"end":{"line":78,"column":61},"patterns":[0,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-product",[["x",1],["y",1]]],["closed-union",[["0",1],["1",1],["_",2]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"single_pass","iterations":1}},"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np":{"def":{"op":"comp","comp":[{"op":"filter","filter":{"type":"code","code":"@33dYrbzWEz2SBK2h72wputSdkSws8n3nVBjVTG7deFvY"},"patterns":[0,0]},{"op":"union","union":[{"op":"comp","comp":[{"op":"product","product":[{"label":"if","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":81,"column":7},"end":{"line":81,"column":9},"patterns":[0,1]},{"op":"div","div":"_","start":{"line":81,"column":10},"end":{"line":81,"column":12},"patterns":[1,2]}],"start":{"line":81,"column":7},"end":{"line":81,"column":12},"patterns":[0,2]}},{"label":"then","exp":{"op":"dot","dot":"result","start":{"line":81,"column":17},"end":{"line":81,"column":24},"patterns":[0,1]}}],"start":{"line":81,"column":5},"end":{"line":81,"column":31},"patterns":[0,3]},{"op":"dot","dot":"then","start":{"line":81,"column":32},"end":{"line":81,"column":37},"patterns":[3,1]}],"start":{"line":81,"column":5},"end":{"line":81,"column":37},"patterns":[0,1]},{"op":"comp","comp":[{"op":"product","product":[{"label":"result","exp":{"op":"comp","comp":[{"op":"dot","dot":"result","start":{"line":83,"column":7},"end":{"line":83,"column":14},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":83,"column":15},"end":{"line":83,"column":17},"patterns":[1,1]}],"start":{"line":83,"column":7},"end":{"line":83,"column":17},"patterns":[0,1]}},{"label":"_x","exp":{"op":"dot","dot":"_x","start":{"line":84,"column":7},"end":{"line":84,"column":10},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":85,"column":7},"end":{"line":85,"column":9},"patterns":[0,1]},{"op":"div","div":"0","start":{"line":85,"column":10},"end":{"line":85,"column":12},"patterns":[1,1]}],"start":{"line":85,"column":7},"end":{"line":85,"column":12},"patterns":[0,1]}}],"start":{"line":82,"column":5},"end":{"line":86,"column":6},"patterns":[0,0]},{"op":"ref","ref":"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np","start":{"line":86,"column":7},"end":{"line":86,"column":13},"patterns":[0,1]}],"start":{"line":82,"column":5},"end":{"line":86,"column":13},"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","start":{"line":88,"column":8},"end":{"line":88,"column":11},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"result","start":{"line":88,"column":15},"end":{"line":88,"column":22},"patterns":[0,1]},{"op":"vid","vid":"0","start":{"line":88,"column":23},"end":{"line":88,"column":25},"patterns":[1,1]}],"start":{"line":88,"column":15},"end":{"line":88,"column":25},"patterns":[0,1]}},{"label":"c","exp":{"op":"ref","ref":"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz","start":{"line":88,"column":29},"end":{"line":88,"column":31},"patterns":[0,4]}}],"start":{"line":88,"column":7},"end":{"line":88,"column":34},"patterns":[0,5]},{"op":"ref","ref":"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j","start":{"line":88,"column":35},"end":{"line":88,"column":40},"patterns":[5,1]}],"start":{"line":88,"column":7},"end":{"line":88,"column":40},"patterns":[0,1]}},{"label":"_x","exp":{"op":"dot","dot":"_x","start":{"line":89,"column":7},"end":{"line":89,"column":10},"patterns":[0,1]}},{"label":"y","exp":{"op":"comp","comp":[{"op":"dot","dot":"y","start":{"line":90,"column":7},"end":{"line":90,"column":9},"patterns":[0,1]},{"op":"div","div":"1","start":{"line":90,"column":10},"end":{"line":90,"column":12},"patterns":[1,1]}],"start":{"line":90,"column":7},"end":{"line":90,"column":12},"patterns":[0,1]}}],"start":{"line":87,"column":5},"end":{"line":91,"column":6},"patterns":[0,0]},{"op":"ref","ref":"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np","start":{"line":91,"column":7},"end":{"line":91,"column":13},"patterns":[0,1]}],"start":{"line":87,"column":5},"end":{"line":91,"column":13},"patterns":[0,1]}],"start":{"line":80,"column":3},"end":{"line":92,"column":4},"patterns":[0,1]},{"op":"filter","filter":{"type":"code","code":"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb"},"patterns":[1,1]}],"start":{"line":79,"column":10},"end":{"line":92,"column":4},"patterns":[0,1]},"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}},"typeDerivation":{"status":"converged","inputPattern":[["closed-product",[["_x",1],["result",1],["y",1]]],["closed-union",[["0",1],["1",1],["_",2]]],["closed-product",[]]],"outputPattern":[["closed-union",[["0",0],["1",0],["_",1]]],["closed-product",[]]],"diagnostics":[],"strategy":"fixed_point","iterations":1}}},"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-20T00:10:52.054Z"}]},"@VtPHxGf5GNMzzyVFxtv7gegFfJRYapBGtCeyV56bs5Zb":{"type":"code","origins":[{"source":"core.k","name":"bits","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@DfbffYYXZFTTV6tHgKmRs2yFMLhDw9sqttEc5brGhDbx":{"type":"code","origins":[{"source":"core.k","name":"byte","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@VgLSCtg5j6bmqeMXzdk7rHrs9DPYcjxXntYmR6kMpuXc":{"type":"code","origins":[{"source":"core.k","name":"ascii","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@F2KGfE24DhFGChv6pVAb4pkC9YWvt5izpnnwFDTLfG2h":{"type":"code","origins":[{"source":"core.k","name":"u0080_07FF","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@3UNgHRy59Xb3SQEdNMiejQtxJ89YbZA4zkWhQr6hNeqG":{"type":"code","origins":[{"source":"core.k","name":"bmp_hi_common","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@25AidvUGwNiKKzZxhfqyzLaXZnPjzptBjQNZRRys8UuG":{"type":"code","origins":[{"source":"core.k","name":"bmp_hi_private_use","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@7KiZRTE2LDh9uHE3nFuhXVnqCVdPEdGFnQL3vgKBuTVy":{"type":"code","origins":[{"source":"core.k","name":"plane_02_10","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@AhRir67FipnHnJfDU7fSQ3Xhcg6BTJYwtq6HGsWwZtbi":{"type":"code","origins":[{"source":"core.k","name":"unicode","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@Pt3MwQwzUPxQKu58zXR3qUBHWTzfycx5bSZGzcK6EZQK":{"type":"code","origins":[{"source":"core.k","name":"string","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@yRNNB7ADDiKrffJicEVyPvQA8zaAbnmFhALspTgg7xcW":{"type":"code","origins":[{"source":"core.k","name":"edge","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@PJB4nkmsjiRB696zdQaWkPjzRknNvUqwgDxnX89CyGqx":{"type":"code","origins":[{"source":"core.k","name":"edges","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@B7MUZJh8nCNJrpchb6hBqr5V9Yh6BMv6CP8QJMDZJtwE":{"type":"code","origins":[{"source":"core.k","name":"pattern-node","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@XsJTJQneLcWry72QAHUWdsrVM44vUntSXEzcr2ktUrkq":{"type":"code","origins":[{"source":"core.k","name":"pattern","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@5BpDqUiSGPnHit9PcEVwff9Vi2CTJCtRpBDL8eLT29PC":{"type":"rel","origins":[{"source":"core.k","name":"0","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@NWMXcTM5uVUJw9DHXvHVBizVFKwWK8riww3LeHuwiK38":{"type":"rel","origins":[{"source":"core.k","name":"1","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@p3TNQekkhZ2zx6ssbiAh7BJV2y333eRxJsupzCiyAXxT":{"type":"rel","origins":[{"source":"core.k","name":"2","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@LXrfZqtpDKy3QiT3qXgDyQxHJVuG5SbkAYtzqGDJMuJq":{"type":"rel","origins":[{"source":"core.k","name":"3","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@CMtCYzYj5qPcSUiUfj4wnPuFs5WpKgwDAd3mH7kMtrsc":{"type":"rel","origins":[{"source":"core.k","name":"4","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@DWEu4REt5KdPSJY3DGBVRE2gNpWfUC2i38cvLSKmEyr9":{"type":"rel","origins":[{"source":"core.k","name":"5","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@GiEx2jy77WGxyz44ahrtTC9Df5YCQP74tf73ThjUJs8a":{"type":"rel","origins":[{"source":"core.k","name":"6","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@YLgwXtMTMhqgdCXy7Td8Q6fgiJFsn4XJmY2MCSFGAx9h":{"type":"rel","origins":[{"source":"core.k","name":"7","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@5bsRUY7SvgjXSHAc4DL4JgXGEpPX63ayFEG3NRchUckB":{"type":"rel","origins":[{"source":"core.k","name":"8","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@8BEk5UeFPN3cD4mXNneeQj3XLvxK8Az447gTj2UfCZqX":{"type":"rel","origins":[{"source":"core.k","name":"9","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@B9gKPhFnfxLiuNdkgwjAXGDeDDkszFP3AkyyYBj72Te4":{"type":"rel","origins":[{"source":"core.k","name":"10","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@4UqfkbX5cwqYDygAeuXXVE6ZFXFHdH3bkY9q5jxaqTJv":{"type":"rel","origins":[{"source":"core.k","name":"_","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@VXEWagyKL4tYCr4GKrp2YTEnBy3uvdGmhb2Zf44JWC4N":{"type":"rel","origins":[{"source":"core.k","name":"_inv","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@CzVieKktSQAt85iiqyqvsZa6GY6ckcxLZXr5ZPHfx3zw":{"type":"rel","origins":[{"source":"core.k","name":"inv","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@pjafsNDx998eKdw5YSzFikanPYYt7ruF3MKyFzHvVpDy":{"type":"rel","origins":[{"source":"core.k","name":"concat_","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@qbk66YPAg2J54DjuTxGZCsVkrn3fSyXUUXXHj8W8QCSG":{"type":"rel","origins":[{"source":"core.k","name":"_inc","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@XRH722KgbhpYTzgcj8GLPpJ7k6w4Nmb9iGTvXmjw8j5b":{"type":"rel","origins":[{"source":"core.k","name":"succ","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@8r4VpfxttM92LiTaBRvH2m8vV9F3R3GyKijin8FyMpHg":{"type":"rel","origins":[{"source":"core.k","name":"concat","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@vvzA9cL9DEpTRiqpyWFpZfgbqTvwZHmZfdaY7UXMJYwz":{"type":"rel","origins":[{"source":"core.k","name":"b0","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@nXAfp8wCmLUxAXfprPkC23v57NXFaWdnbgnwdYtxXEbc":{"type":"rel","origins":[{"source":"core.k","name":"b1","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@dyPfmUdd49ZBYssbND8gGQTqFYEK2v6fLs6Vcdayjr3j":{"type":"rel","origins":[{"source":"core.k","name":"_plus","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@eK3xGpkUsZVXXjVqQNqB5EYP6TWPmVuqriCCuFTB9P55":{"type":"rel","origins":[{"source":"core.k","name":"plus","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@uXJJQdfqeZfEadT8KFDpkPzr3KwzCwJZyTrwjLDN43Np":{"type":"rel","origins":[{"source":"core.k","name":"_times","compiledAt":"2026-05-20T00:10:52.054Z"}]},"@Gqv9tLnPhFGEXWDbscwNpDy8dVMMDHTEyZRmTuMajCFN":{"type":"rel","origins":[{"source":"core.k","name":"times","compiledAt":"2026-05-20T00:10:52.054Z"}]}},"main":null}