{"atom":"operators/infix-minus","family":"operators","slug":"infix-minus","header":{"atom":"operators/infix-minus","axes":"0 | 1 | -1 | 1/2 | 0e0 | NaN | \"\" | \"a\" | True | Any | (1,2) | {a=>1} | -0e0 | Inf | 2**64 | False | Nil | () | \"0\" | (1..3) | Int | \"a b\" | [1,2] | (a => 1) | bag(1,1) | (1..3).Seq | any(1,2) | v1.2 | 1+2i | Str","cols":"0 | 1 | -1 | 1/2 | 0e0 | NaN | \"\" | \"a\" | True | Any | (1,2) | {a=>1} | -0e0 | Inf | 2**64 | False | Nil | () | \"0\" | (1..3) | Int | \"a b\" | [1,2] | (a => 1) | bag(1,1) | (1..3).Seq | any(1,2) | v1.2 | 1+2i | Str","from-inventory":"infix -","gen":"gen/operators.raku","ladder":"mixed","source":"generated"},"axes":["0","1","-1","1/2","0e0","NaN","\"\"","\"a\"","True","Any","(1,2)","{a=>1}","-0e0","Inf","2**64","False","Nil","()","\"0\"","(1..3)","Int","\"a b\"","[1,2]","(a => 1)","bag(1,1)","(1..3).Seq","any(1,2)","v1.2","1+2i","Str"],"cols":["0","1","-1","1/2","0e0","NaN","\"\"","\"a\"","True","Any","(1,2)","{a=>1}","-0e0","Inf","2**64","False","Nil","()","\"0\"","(1..3)","Int","\"a b\"","[1,2]","(a => 1)","bag(1,1)","(1..3).Seq","any(1,2)","v1.2","1+2i","Str"],"engines":["rakudo-2026.07","rakupp-v3.14.0-77-gf431f48-dirty","rakupp-v3.14.0-92-g78048b0-modified","rakupp-v3.14.0-104-g2295fb0-modified","rakupp-v3.14.0-107-gb8ea9bb-modified"],"kinds":["ref","pp","pp","pp","pp"],"defFrom":"inventory:infix:-","counts":{"a":791,"f":0,"d":230,"c":0,"r":0,"n":0},"files":["generated/inventory/infix-minus.grid","generated/operators/infix-minus.grid"],"records":[["0001","0 | 0","(0) - (0)","0","a",["0",null,"0",null,null],0,[["level","0"],["type","Int"]]],["0002","0 | 1","(0) - (1)","-1","a",["-1",null,"-1",null,null],0,[["level","1"],["type","Int"]]],["0003","1 | 1","(1) - (1)","0","a",["0",null,"0",null,null],0,[["level","1"],["type","Int"]]],["0004","1 | 0","(1) - (0)","1","a",["1",null,"1",null,null],0,[["level","1"],["type","Int"]]],["0005","0 | -1","(0) - (-1)","1","a",["1",null,"1",null,null],0,[["level","1"],["type","Int"]]],["0006","1 | -1","(1) - (-1)","2","a",["2",null,"2",null,null],0,[["level","1"],["type","Int"]]],["0007","-1 | -1","(-1) - (-1)","0","a",["0",null,"0",null,null],0,[["level","1"],["type","Int"]]],["0008","-1 | 0","(-1) - (0)","-1","a",["-1",null,"-1",null,null],0,[["level","1"],["type","Int"]]],["0009","-1 | 1","(-1) - (1)","-2","a",["-2",null,"-2",null,null],0,[["level","1"],["type","Int"]]],["0010","0 | 1/2","(0) - (1/2)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","1"],["type","Rat"]]],["0011","1 | 1/2","(1) - (1/2)","0.5","a",["0.5",null,"0.5",null,null],0,[["level","1"],["type","Rat"]]],["0012","-1 | 1/2","(-1) - (1/2)","-1.5","a",["-1.5",null,"-1.5",null,null],0,[["level","1"],["type","Rat"]]],["0013","1/2 | 1/2","(1/2) - (1/2)","0.0","a",["0.0",null,"0.0",null,null],0,[["level","1"],["type","Rat"]]],["0014","1/2 | 0","(1/2) - (0)","0.5","a",["0.5",null,"0.5",null,null],0,[["level","1"],["type","Rat"]]],["0015","1/2 | 1","(1/2) - (1)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","1"],["type","Rat"]]],["0016","1/2 | -1","(1/2) - (-1)","1.5","a",["1.5",null,"1.5",null,null],0,[["level","1"],["type","Rat"]]],["0017","0 | 0e0","(0) - (0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","2"],["type","Num"]]],["0018","1 | 0e0","(1) - (0e0)","1e0","a",["1e0",null,"1e0",null,null],0,[["level","2"],["type","Num"]]],["0019","-1 | 0e0","(-1) - (0e0)","-1e0","a",["-1e0",null,"-1e0",null,null],0,[["level","2"],["type","Num"]]],["0020","1/2 | 0e0","(1/2) - (0e0)","0.5e0","a",["0.5e0",null,"0.5e0",null,null],0,[["level","2"],["type","Num"]]],["0021","0e0 | 0e0","(0e0) - (0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","2"],["type","Num"]]],["0022","0e0 | 0","(0e0) - (0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","2"],["type","Num"]]],["0023","0e0 | 1","(0e0) - (1)","-1e0","a",["-1e0",null,"-1e0",null,null],0,[["level","2"],["type","Num"]]],["0024","0e0 | -1","(0e0) - (-1)","1e0","a",["1e0",null,"1e0",null,null],0,[["level","2"],["type","Num"]]],["0025","0e0 | 1/2","(0e0) - (1/2)","-0.5e0","a",["-0.5e0",null,"-0.5e0",null,null],0,[["level","2"],["type","Num"]]],["0026","0 | NaN","(0) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0027","1 | NaN","(1) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0028","-1 | NaN","(-1) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0029","1/2 | NaN","(1/2) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0030","0e0 | NaN","(0e0) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0031","NaN | NaN","(NaN) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0032","NaN | 0","(NaN) - (0)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0033","NaN | 1","(NaN) - (1)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0034","NaN | -1","(NaN) - (-1)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0035","NaN | 1/2","(NaN) - (1/2)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0036","NaN | 0e0","(NaN) - (0e0)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0037","0 | \"\"","(0) - (\"\")","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0038","1 | \"\"","(1) - (\"\")","1","a",["1",null,"1",null,null],0,[["level","2"],["type","Int"]]],["0039","-1 | \"\"","(-1) - (\"\")","-1","a",["-1",null,"-1",null,null],0,[["level","2"],["type","Int"]]],["0040","1/2 | \"\"","(1/2) - (\"\")","0.5","a",["0.5",null,"0.5",null,null],0,[["level","2"],["type","Rat"]]],["0041","0e0 | \"\"","(0e0) - (\"\")","0e0","a",["0e0",null,"0e0",null,null],0,[["level","2"],["type","Num"]]],["0042","NaN | \"\"","(NaN) - (\"\")","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0043","\"\" | \"\"","(\"\") - (\"\")","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0044","\"\" | 0","(\"\") - (0)","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0045","\"\" | 1","(\"\") - (1)","-1","a",["-1",null,"-1",null,null],0,[["level","2"],["type","Int"]]],["0046","\"\" | -1","(\"\") - (-1)","1","a",["1",null,"1",null,null],0,[["level","2"],["type","Int"]]],["0047","\"\" | 1/2","(\"\") - (1/2)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","2"],["type","Rat"]]],["0048","\"\" | 0e0","(\"\") - (0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","2"],["type","Num"]]],["0049","\"\" | NaN","(\"\") - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0050","0 | \"a\"","(0) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0051","1 | \"a\"","(1) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0052","-1 | \"a\"","(-1) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0053","1/2 | \"a\"","(1/2) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0054","0e0 | \"a\"","(0e0) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0055","NaN | \"a\"","(NaN) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0056","\"\" | \"a\"","(\"\") - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0057","\"a\" | \"a\"","(\"a\") - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0058","\"a\" | 0","(\"a\") - (0)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0059","\"a\" | 1","(\"a\") - (1)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0060","\"a\" | -1","(\"a\") - (-1)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0061","\"a\" | 1/2","(\"a\") - (1/2)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0062","\"a\" | 0e0","(\"a\") - (0e0)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0063","\"a\" | NaN","(\"a\") - (NaN)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0064","\"a\" | \"\"","(\"a\") - (\"\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0065","0 | True","(0) - (True)","-1","a",["-1",null,"-1",null,null],0,[["level","2"],["type","Int"]]],["0066","1 | True","(1) - (True)","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0067","-1 | True","(-1) - (True)","-2","a",["-2",null,"-2",null,null],0,[["level","2"],["type","Int"]]],["0068","1/2 | True","(1/2) - (True)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","2"],["type","Rat"]]],["0069","0e0 | True","(0e0) - (True)","-1e0","a",["-1e0",null,"-1e0",null,null],0,[["level","2"],["type","Num"]]],["0070","NaN | True","(NaN) - (True)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0071","\"\" | True","(\"\") - (True)","-1","a",["-1",null,"-1",null,null],0,[["level","2"],["type","Int"]]],["0072","\"a\" | True","(\"a\") - (True)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0073","True | True","(True) - (True)","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0074","True | 0","(True) - (0)","1","a",["1",null,"1",null,null],0,[["level","2"],["type","Int"]]],["0075","True | 1","(True) - (1)","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0076","True | -1","(True) - (-1)","2","a",["2",null,"2",null,null],0,[["level","2"],["type","Int"]]],["0077","True | 1/2","(True) - (1/2)","0.5","a",["0.5",null,"0.5",null,null],0,[["level","2"],["type","Rat"]]],["0078","True | 0e0","(True) - (0e0)","1e0","a",["1e0",null,"1e0",null,null],0,[["level","2"],["type","Num"]]],["0079","True | NaN","(True) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0080","True | \"\"","(True) - (\"\")","1","a",["1",null,"1",null,null],0,[["level","2"],["type","Int"]]],["0081","True | \"a\"","(True) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0082","0 | Any","(0) - (Any)","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0083","1 | Any","(1) - (Any)","1","a",["1",null,"1",null,null],0,[["level","2"],["type","Int"]]],["0084","-1 | Any","(-1) - (Any)","-1","a",["-1",null,"-1",null,null],0,[["level","2"],["type","Int"]]],["0085","1/2 | Any","(1/2) - (Any)","0.5","a",["0.5",null,"0.5",null,null],0,[["level","2"],["type","Rat"]]],["0086","0e0 | Any","(0e0) - (Any)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","2"],["type","Num"]]],["0087","NaN | Any","(NaN) - (Any)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0088","\"\" | Any","(\"\") - (Any)","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0089","\"a\" | Any","(\"a\") - (Any)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0090","True | Any","(True) - (Any)","1","a",["1",null,"1",null,null],0,[["level","2"],["type","Int"]]],["0091","Any | Any","(Any) - (Any)","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0092","Any | 0","(Any) - (0)","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0093","Any | 1","(Any) - (1)","-1","a",["-1",null,"-1",null,null],0,[["level","2"],["type","Int"]]],["0094","Any | -1","(Any) - (-1)","1","a",["1",null,"1",null,null],0,[["level","2"],["type","Int"]]],["0095","Any | 1/2","(Any) - (1/2)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","2"],["type","Rat"]]],["0096","Any | 0e0","(Any) - (0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","2"],["type","Num"]]],["0097","Any | NaN","(Any) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","2"],["type","Num"]]],["0098","Any | \"\"","(Any) - (\"\")","0","a",["0",null,"0",null,null],0,[["level","2"],["type","Int"]]],["0099","Any | \"a\"","(Any) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","2"]]],["0100","Any | True","(Any) - (True)","-1","a",["-1",null,"-1",null,null],0,[["level","2"],["type","Int"]]],["0101","0 | (1,2)","(0) - ((1,2))","-2","a",["-2",null,"-2",null,null],0,[["level","3"],["type","Int"]]],["0102","1 | (1,2)","(1) - ((1,2))","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0103","-1 | (1,2)","(-1) - ((1,2))","-3","a",["-3",null,"-3",null,null],0,[["level","3"],["type","Int"]]],["0104","1/2 | (1,2)","(1/2) - ((1,2))","-1.5","a",["-1.5",null,"-1.5",null,null],0,[["level","3"],["type","Rat"]]],["0105","0e0 | (1,2)","(0e0) - ((1,2))","-2e0","a",["-2e0",null,"-2e0",null,null],0,[["level","3"],["type","Num"]]],["0106","NaN | (1,2)","(NaN) - ((1,2))","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0107","\"\" | (1,2)","(\"\") - ((1,2))","-2","a",["-2",null,"-2",null,null],0,[["level","3"],["type","Int"]]],["0108","\"a\" | (1,2)","(\"a\") - ((1,2))","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0109","True | (1,2)","(True) - ((1,2))","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0110","Any | (1,2)","(Any) - ((1,2))","-2","a",["-2",null,"-2",null,null],0,[["level","3"],["type","Int"]]],["0111","(1,2) | (1,2)","((1,2)) - ((1,2))","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0112","(1,2) | 0","((1,2)) - (0)","2","a",["2",null,"2",null,null],0,[["level","3"],["type","Int"]]],["0113","(1,2) | 1","((1,2)) - (1)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0114","(1,2) | -1","((1,2)) - (-1)","3","a",["3",null,"3",null,null],0,[["level","3"],["type","Int"]]],["0115","(1,2) | 1/2","((1,2)) - (1/2)","1.5","a",["1.5",null,"1.5",null,null],0,[["level","3"],["type","Rat"]]],["0116","(1,2) | 0e0","((1,2)) - (0e0)","2e0","a",["2e0",null,"2e0",null,null],0,[["level","3"],["type","Num"]]],["0117","(1,2) | NaN","((1,2)) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0118","(1,2) | \"\"","((1,2)) - (\"\")","2","a",["2",null,"2",null,null],0,[["level","3"],["type","Int"]]],["0119","(1,2) | \"a\"","((1,2)) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0120","(1,2) | True","((1,2)) - (True)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0121","(1,2) | Any","((1,2)) - (Any)","2","a",["2",null,"2",null,null],0,[["level","3"],["type","Int"]]],["0122","0 | {a=>1}","(0) - ({a=>1})","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0123","1 | {a=>1}","(1) - ({a=>1})","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0124","-1 | {a=>1}","(-1) - ({a=>1})","-2","a",["-2",null,"-2",null,null],0,[["level","3"],["type","Int"]]],["0125","1/2 | {a=>1}","(1/2) - ({a=>1})","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","3"],["type","Rat"]]],["0126","0e0 | {a=>1}","(0e0) - ({a=>1})","-1e0","a",["-1e0",null,"-1e0",null,null],0,[["level","3"],["type","Num"]]],["0127","NaN | {a=>1}","(NaN) - ({a=>1})","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0128","\"\" | {a=>1}","(\"\") - ({a=>1})","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0129","\"a\" | {a=>1}","(\"a\") - ({a=>1})","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0130","True | {a=>1}","(True) - ({a=>1})","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0131","Any | {a=>1}","(Any) - ({a=>1})","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0132","(1,2) | {a=>1}","((1,2)) - ({a=>1})","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0133","{a=>1} | {a=>1}","({a=>1}) - ({a=>1})","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0134","{a=>1} | 0","({a=>1}) - (0)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0135","{a=>1} | 1","({a=>1}) - (1)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0136","{a=>1} | -1","({a=>1}) - (-1)","2","a",["2",null,"2",null,null],0,[["level","3"],["type","Int"]]],["0137","{a=>1} | 1/2","({a=>1}) - (1/2)","0.5","a",["0.5",null,"0.5",null,null],0,[["level","3"],["type","Rat"]]],["0138","{a=>1} | 0e0","({a=>1}) - (0e0)","1e0","a",["1e0",null,"1e0",null,null],0,[["level","3"],["type","Num"]]],["0139","{a=>1} | NaN","({a=>1}) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0140","{a=>1} | \"\"","({a=>1}) - (\"\")","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0141","{a=>1} | \"a\"","({a=>1}) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0142","{a=>1} | True","({a=>1}) - (True)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0143","{a=>1} | Any","({a=>1}) - (Any)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0144","{a=>1} | (1,2)","({a=>1}) - ((1,2))","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0145","0 | -0e0","(0) - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0146","1 | -0e0","(1) - (-0e0)","1e0","a",["1e0",null,"1e0",null,null],0,[["level","3"],["type","Num"]]],["0147","-1 | -0e0","(-1) - (-0e0)","-1e0","a",["-1e0",null,"-1e0",null,null],0,[["level","3"],["type","Num"]]],["0148","1/2 | -0e0","(1/2) - (-0e0)","0.5e0","a",["0.5e0",null,"0.5e0",null,null],0,[["level","3"],["type","Num"]]],["0149","0e0 | -0e0","(0e0) - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0150","NaN | -0e0","(NaN) - (-0e0)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0151","\"\" | -0e0","(\"\") - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0152","\"a\" | -0e0","(\"a\") - (-0e0)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0153","True | -0e0","(True) - (-0e0)","1e0","a",["1e0",null,"1e0",null,null],0,[["level","3"],["type","Num"]]],["0154","Any | -0e0","(Any) - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0155","(1,2) | -0e0","((1,2)) - (-0e0)","2e0","a",["2e0",null,"2e0",null,null],0,[["level","3"],["type","Num"]]],["0156","{a=>1} | -0e0","({a=>1}) - (-0e0)","1e0","a",["1e0",null,"1e0",null,null],0,[["level","3"],["type","Num"]]],["0157","-0e0 | -0e0","(-0e0) - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0158","-0e0 | 0","(-0e0) - (0)","-0e0","a",["-0e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0159","-0e0 | 1","(-0e0) - (1)","-1e0","a",["-1e0",null,"-1e0",null,null],0,[["level","3"],["type","Num"]]],["0160","-0e0 | -1","(-0e0) - (-1)","1e0","a",["1e0",null,"1e0",null,null],0,[["level","3"],["type","Num"]]],["0161","-0e0 | 1/2","(-0e0) - (1/2)","-0.5e0","a",["-0.5e0",null,"-0.5e0",null,null],0,[["level","3"],["type","Num"]]],["0162","-0e0 | 0e0","(-0e0) - (0e0)","-0e0","a",["-0e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0163","-0e0 | NaN","(-0e0) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0164","-0e0 | \"\"","(-0e0) - (\"\")","-0e0","a",["-0e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0165","-0e0 | \"a\"","(-0e0) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0166","-0e0 | True","(-0e0) - (True)","-1e0","a",["-1e0",null,"-1e0",null,null],0,[["level","3"],["type","Num"]]],["0167","-0e0 | Any","(-0e0) - (Any)","-0e0","a",["-0e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0168","-0e0 | (1,2)","(-0e0) - ((1,2))","-2e0","a",["-2e0",null,"-2e0",null,null],0,[["level","3"],["type","Num"]]],["0169","-0e0 | {a=>1}","(-0e0) - ({a=>1})","-1e0","a",["-1e0",null,"-1e0",null,null],0,[["level","3"],["type","Num"]]],["0170","0 | Inf","(0) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0171","1 | Inf","(1) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0172","-1 | Inf","(-1) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0173","1/2 | Inf","(1/2) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0174","0e0 | Inf","(0e0) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0175","NaN | Inf","(NaN) - (Inf)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0176","\"\" | Inf","(\"\") - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0177","\"a\" | Inf","(\"a\") - (Inf)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0178","True | Inf","(True) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0179","Any | Inf","(Any) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0180","(1,2) | Inf","((1,2)) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0181","{a=>1} | Inf","({a=>1}) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0182","-0e0 | Inf","(-0e0) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0183","Inf | Inf","(Inf) - (Inf)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0184","Inf | 0","(Inf) - (0)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0185","Inf | 1","(Inf) - (1)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0186","Inf | -1","(Inf) - (-1)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0187","Inf | 1/2","(Inf) - (1/2)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0188","Inf | 0e0","(Inf) - (0e0)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0189","Inf | NaN","(Inf) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0190","Inf | \"\"","(Inf) - (\"\")","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0191","Inf | \"a\"","(Inf) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0192","Inf | True","(Inf) - (True)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0193","Inf | Any","(Inf) - (Any)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0194","Inf | (1,2)","(Inf) - ((1,2))","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0195","Inf | {a=>1}","(Inf) - ({a=>1})","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0196","Inf | -0e0","(Inf) - (-0e0)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0197","0 | 2**64","(0) - (2**64)","-18446744073709551616","a",["-18446744073709551616",null,"-18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0198","1 | 2**64","(1) - (2**64)","-18446744073709551615","a",["-18446744073709551615",null,"-18446744073709551615",null,null],0,[["level","3"],["type","Int"]]],["0199","-1 | 2**64","(-1) - (2**64)","-18446744073709551617","a",["-18446744073709551617",null,"-18446744073709551617",null,null],0,[["level","3"],["type","Int"]]],["0200","1/2 | 2**64","(1/2) - (2**64)","-18446744073709551615.5","a",["-18446744073709551615.5",null,"-18446744073709551615.5",null,null],0,[["level","3"],["type","Rat"]]],["0201","0e0 | 2**64","(0e0) - (2**64)","-1.8446744073709552e+19","a",["-1.8446744073709552e+19",null,"-1.8446744073709552e+19",null,null],0,[["level","3"],["type","Num"]]],["0202","NaN | 2**64","(NaN) - (2**64)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0203","\"\" | 2**64","(\"\") - (2**64)","-18446744073709551616","a",["-18446744073709551616",null,"-18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0204","\"a\" | 2**64","(\"a\") - (2**64)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0205","True | 2**64","(True) - (2**64)","-18446744073709551615","a",["-18446744073709551615",null,"-18446744073709551615",null,null],0,[["level","3"],["type","Int"]]],["0206","Any | 2**64","(Any) - (2**64)","-18446744073709551616","a",["-18446744073709551616",null,"-18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0207","(1,2) | 2**64","((1,2)) - (2**64)","-18446744073709551614","a",["-18446744073709551614",null,"-18446744073709551614",null,null],0,[["level","3"],["type","Int"]]],["0208","{a=>1} | 2**64","({a=>1}) - (2**64)","-18446744073709551615","a",["-18446744073709551615",null,"-18446744073709551615",null,null],0,[["level","3"],["type","Int"]]],["0209","-0e0 | 2**64","(-0e0) - (2**64)","-1.8446744073709552e+19","a",["-1.8446744073709552e+19",null,"-1.8446744073709552e+19",null,null],0,[["level","3"],["type","Num"]]],["0210","Inf | 2**64","(Inf) - (2**64)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0211","2**64 | 2**64","(2**64) - (2**64)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0212","2**64 | 0","(2**64) - (0)","18446744073709551616","a",["18446744073709551616",null,"18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0213","2**64 | 1","(2**64) - (1)","18446744073709551615","a",["18446744073709551615",null,"18446744073709551615",null,null],0,[["level","3"],["type","Int"]]],["0214","2**64 | -1","(2**64) - (-1)","18446744073709551617","a",["18446744073709551617",null,"18446744073709551617",null,null],0,[["level","3"],["type","Int"]]],["0215","2**64 | 1/2","(2**64) - (1/2)","18446744073709551615.5","a",["18446744073709551615.5",null,"18446744073709551615.5",null,null],0,[["level","3"],["type","Rat"]]],["0216","2**64 | 0e0","(2**64) - (0e0)","1.8446744073709552e+19","a",["1.8446744073709552e+19",null,"1.8446744073709552e+19",null,null],0,[["level","3"],["type","Num"]]],["0217","2**64 | NaN","(2**64) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0218","2**64 | \"\"","(2**64) - (\"\")","18446744073709551616","a",["18446744073709551616",null,"18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0219","2**64 | \"a\"","(2**64) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0220","2**64 | True","(2**64) - (True)","18446744073709551615","a",["18446744073709551615",null,"18446744073709551615",null,null],0,[["level","3"],["type","Int"]]],["0221","2**64 | Any","(2**64) - (Any)","18446744073709551616","a",["18446744073709551616",null,"18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0222","2**64 | (1,2)","(2**64) - ((1,2))","18446744073709551614","a",["18446744073709551614",null,"18446744073709551614",null,null],0,[["level","3"],["type","Int"]]],["0223","2**64 | {a=>1}","(2**64) - ({a=>1})","18446744073709551615","a",["18446744073709551615",null,"18446744073709551615",null,null],0,[["level","3"],["type","Int"]]],["0224","2**64 | -0e0","(2**64) - (-0e0)","1.8446744073709552e+19","a",["1.8446744073709552e+19",null,"1.8446744073709552e+19",null,null],0,[["level","3"],["type","Num"]]],["0225","2**64 | Inf","(2**64) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0226","0 | False","(0) - (False)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0227","1 | False","(1) - (False)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0228","-1 | False","(-1) - (False)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0229","1/2 | False","(1/2) - (False)","0.5","a",["0.5",null,"0.5",null,null],0,[["level","3"],["type","Rat"]]],["0230","0e0 | False","(0e0) - (False)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0231","NaN | False","(NaN) - (False)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0232","\"\" | False","(\"\") - (False)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0233","\"a\" | False","(\"a\") - (False)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0234","True | False","(True) - (False)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0235","Any | False","(Any) - (False)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0236","(1,2) | False","((1,2)) - (False)","2","a",["2",null,"2",null,null],0,[["level","3"],["type","Int"]]],["0237","{a=>1} | False","({a=>1}) - (False)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0238","-0e0 | False","(-0e0) - (False)","-0e0","a",["-0e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0239","Inf | False","(Inf) - (False)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0240","2**64 | False","(2**64) - (False)","18446744073709551616","a",["18446744073709551616",null,"18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0241","False | False","(False) - (False)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0242","False | 0","(False) - (0)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0243","False | 1","(False) - (1)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0244","False | -1","(False) - (-1)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0245","False | 1/2","(False) - (1/2)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","3"],["type","Rat"]]],["0246","False | 0e0","(False) - (0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0247","False | NaN","(False) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0248","False | \"\"","(False) - (\"\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0249","False | \"a\"","(False) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0250","False | True","(False) - (True)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0251","False | Any","(False) - (Any)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0252","False | (1,2)","(False) - ((1,2))","-2","a",["-2",null,"-2",null,null],0,[["level","3"],["type","Int"]]],["0253","False | {a=>1}","(False) - ({a=>1})","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0254","False | -0e0","(False) - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0255","False | Inf","(False) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0256","False | 2**64","(False) - (2**64)","-18446744073709551616","a",["-18446744073709551616",null,"-18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0257","0 | Nil","(0) - (Nil)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0258","1 | Nil","(1) - (Nil)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0259","-1 | Nil","(-1) - (Nil)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0260","1/2 | Nil","(1/2) - (Nil)","0.5","a",["0.5",null,"0.5",null,null],0,[["level","3"],["type","Rat"]]],["0261","0e0 | Nil","(0e0) - (Nil)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0262","NaN | Nil","(NaN) - (Nil)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0263","\"\" | Nil","(\"\") - (Nil)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0264","\"a\" | Nil","(\"a\") - (Nil)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0265","True | Nil","(True) - (Nil)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0266","Any | Nil","(Any) - (Nil)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0267","(1,2) | Nil","((1,2)) - (Nil)","2","a",["2",null,"2",null,null],0,[["level","3"],["type","Int"]]],["0268","{a=>1} | Nil","({a=>1}) - (Nil)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0269","-0e0 | Nil","(-0e0) - (Nil)","-0e0","a",["-0e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0270","Inf | Nil","(Inf) - (Nil)","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0271","2**64 | Nil","(2**64) - (Nil)","18446744073709551616","a",["18446744073709551616",null,"18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0272","False | Nil","(False) - (Nil)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0273","Nil | Nil","(Nil) - (Nil)","0","d",["0",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0274","Nil | 0","(Nil) - (0)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0275","Nil | 1","(Nil) - (1)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0276","Nil | -1","(Nil) - (-1)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0277","Nil | 1/2","(Nil) - (1/2)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","3"],["type","Rat"]]],["0278","Nil | 0e0","(Nil) - (0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0279","Nil | NaN","(Nil) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0280","Nil | \"\"","(Nil) - (\"\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0281","Nil | \"a\"","(Nil) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0282","Nil | True","(Nil) - (True)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0283","Nil | Any","(Nil) - (Any)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0284","Nil | (1,2)","(Nil) - ((1,2))","-2","a",["-2",null,"-2",null,null],0,[["level","3"],["type","Int"]]],["0285","Nil | {a=>1}","(Nil) - ({a=>1})","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0286","Nil | -0e0","(Nil) - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0287","Nil | Inf","(Nil) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0288","Nil | 2**64","(Nil) - (2**64)","-18446744073709551616","a",["-18446744073709551616",null,"-18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0289","Nil | False","(Nil) - (False)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0290","0 | ()","(0) - (())","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0291","1 | ()","(1) - (())","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0292","-1 | ()","(-1) - (())","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0293","1/2 | ()","(1/2) - (())","0.5","a",["0.5",null,"0.5",null,null],0,[["level","3"],["type","Rat"]]],["0294","0e0 | ()","(0e0) - (())","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0295","NaN | ()","(NaN) - (())","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0296","\"\" | ()","(\"\") - (())","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0297","\"a\" | ()","(\"a\") - (())","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0298","True | ()","(True) - (())","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0299","Any | ()","(Any) - (())","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0300","(1,2) | ()","((1,2)) - (())","2","a",["2",null,"2",null,null],0,[["level","3"],["type","Int"]]],["0301","{a=>1} | ()","({a=>1}) - (())","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0302","-0e0 | ()","(-0e0) - (())","-0e0","a",["-0e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0303","Inf | ()","(Inf) - (())","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0304","2**64 | ()","(2**64) - (())","18446744073709551616","a",["18446744073709551616",null,"18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0305","False | ()","(False) - (())","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0306","Nil | ()","(Nil) - (())","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0307","() | ()","(()) - (())","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0308","() | 0","(()) - (0)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0309","() | 1","(()) - (1)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0310","() | -1","(()) - (-1)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0311","() | 1/2","(()) - (1/2)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","3"],["type","Rat"]]],["0312","() | 0e0","(()) - (0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0313","() | NaN","(()) - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0314","() | \"\"","(()) - (\"\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0315","() | \"a\"","(()) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0316","() | True","(()) - (True)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0317","() | Any","(()) - (Any)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0318","() | (1,2)","(()) - ((1,2))","-2","a",["-2",null,"-2",null,null],0,[["level","3"],["type","Int"]]],["0319","() | {a=>1}","(()) - ({a=>1})","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0320","() | -0e0","(()) - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0321","() | Inf","(()) - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0322","() | 2**64","(()) - (2**64)","-18446744073709551616","a",["-18446744073709551616",null,"-18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0323","() | False","(()) - (False)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0324","() | Nil","(()) - (Nil)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0325","0 | \"0\"","(0) - (\"0\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0326","1 | \"0\"","(1) - (\"0\")","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0327","-1 | \"0\"","(-1) - (\"0\")","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0328","1/2 | \"0\"","(1/2) - (\"0\")","0.5","a",["0.5",null,"0.5",null,null],0,[["level","3"],["type","Rat"]]],["0329","0e0 | \"0\"","(0e0) - (\"0\")","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0330","NaN | \"0\"","(NaN) - (\"0\")","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0331","\"\" | \"0\"","(\"\") - (\"0\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0332","\"a\" | \"0\"","(\"a\") - (\"0\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0333","True | \"0\"","(True) - (\"0\")","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0334","Any | \"0\"","(Any) - (\"0\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0335","(1,2) | \"0\"","((1,2)) - (\"0\")","2","a",["2",null,"2",null,null],0,[["level","3"],["type","Int"]]],["0336","{a=>1} | \"0\"","({a=>1}) - (\"0\")","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0337","-0e0 | \"0\"","(-0e0) - (\"0\")","-0e0","a",["-0e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0338","Inf | \"0\"","(Inf) - (\"0\")","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0339","2**64 | \"0\"","(2**64) - (\"0\")","18446744073709551616","a",["18446744073709551616",null,"18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0340","False | \"0\"","(False) - (\"0\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0341","Nil | \"0\"","(Nil) - (\"0\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0342","() | \"0\"","(()) - (\"0\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0343","\"0\" | \"0\"","(\"0\") - (\"0\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0344","\"0\" | 0","(\"0\") - (0)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0345","\"0\" | 1","(\"0\") - (1)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0346","\"0\" | -1","(\"0\") - (-1)","1","a",["1",null,"1",null,null],0,[["level","3"],["type","Int"]]],["0347","\"0\" | 1/2","(\"0\") - (1/2)","-0.5","a",["-0.5",null,"-0.5",null,null],0,[["level","3"],["type","Rat"]]],["0348","\"0\" | 0e0","(\"0\") - (0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0349","\"0\" | NaN","(\"0\") - (NaN)","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0350","\"0\" | \"\"","(\"0\") - (\"\")","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0351","\"0\" | \"a\"","(\"0\") - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0352","\"0\" | True","(\"0\") - (True)","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0353","\"0\" | Any","(\"0\") - (Any)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0354","\"0\" | (1,2)","(\"0\") - ((1,2))","-2","a",["-2",null,"-2",null,null],0,[["level","3"],["type","Int"]]],["0355","\"0\" | {a=>1}","(\"0\") - ({a=>1})","-1","a",["-1",null,"-1",null,null],0,[["level","3"],["type","Int"]]],["0356","\"0\" | -0e0","(\"0\") - (-0e0)","0e0","a",["0e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0357","\"0\" | Inf","(\"0\") - (Inf)","-Inf","a",["-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Num"]]],["0358","\"0\" | 2**64","(\"0\") - (2**64)","-18446744073709551616","a",["-18446744073709551616",null,"-18446744073709551616",null,null],0,[["level","3"],["type","Int"]]],["0359","\"0\" | False","(\"0\") - (False)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0360","\"0\" | Nil","(\"0\") - (Nil)","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0361","\"0\" | ()","(\"0\") - (())","0","a",["0",null,"0",null,null],0,[["level","3"],["type","Int"]]],["0362","0 | (1..3)","(0) - ((1..3))","-3","d",["-3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0363","1 | (1..3)","(1) - ((1..3))","-2","d",["-2",null,"1e0",null,null],0,[["level","3"],["type","Int"]]],["0364","-1 | (1..3)","(-1) - ((1..3))","-4","d",["-4",null,"-1e0",null,null],0,[["level","3"],["type","Int"]]],["0365","1/2 | (1..3)","(1/2) - ((1..3))","-2.5","d",["-2.5",null,"0.5e0",null,null],0,[["level","3"],["type","Rat"]]],["0366","0e0 | (1..3)","(0e0) - ((1..3))","-3e0","d",["-3e0",null,"0e0",null,null],0,[["level","3"],["type","Num"]]],["0367","NaN | (1..3)","(NaN) - ((1..3))","NaN","a",["NaN",null,"NaN",null,null],0,[["level","3"],["type","Num"]]],["0368","\"\" | (1..3)","(\"\") - ((1..3))","-3","d",["-3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0369","\"a\" | (1..3)","(\"a\") - ((1..3))","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0370","True | (1..3)","(True) - ((1..3))","-2","d",["-2",null,"1e0",null,null],0,[["level","3"],["type","Int"]]],["0371","Any | (1..3)","(Any) - ((1..3))","-3","d",["-3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0372","(1,2) | (1..3)","((1,2)) - ((1..3))","-1","d",["-1",null,"2e0",null,null],0,[["level","3"],["type","Int"]]],["0373","{a=>1} | (1..3)","({a=>1}) - ((1..3))","-2","d",["-2",null,"1e0",null,null],0,[["level","3"],["type","Int"]]],["0374","-0e0 | (1..3)","(-0e0) - ((1..3))","-3e0","d",["-3e0",null,"-0e0",null,null],0,[["level","3"],["type","Num"]]],["0375","Inf | (1..3)","(Inf) - ((1..3))","Inf","a",["Inf",null,"Inf",null,null],0,[["level","3"],["type","Num"]]],["0376","2**64 | (1..3)","(2**64) - ((1..3))","18446744073709551613","d",["18446744073709551613",null,"1.8446744073709552e+19",null,null],0,[["level","3"],["type","Int"]]],["0377","False | (1..3)","(False) - ((1..3))","-3","d",["-3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0378","Nil | (1..3)","(Nil) - ((1..3))","-3","d",["-3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0379","() | (1..3)","(()) - ((1..3))","-3","d",["-3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0380","\"0\" | (1..3)","(\"0\") - ((1..3))","-3","d",["-3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0381","(1..3) | (1..3)","((1..3)) - ((1..3))","0","d",["0",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0382","(1..3) | 0","((1..3)) - (0)","1..3","a",["1..3",null,"1..3",null,null],0,[["level","3"],["type","Range"]]],["0383","(1..3) | 1","((1..3)) - (1)","0..2","a",["0..2",null,"0..2",null,null],0,[["level","3"],["type","Range"]]],["0384","(1..3) | -1","((1..3)) - (-1)","2..4","a",["2..4",null,"2..4",null,null],0,[["level","3"],["type","Range"]]],["0385","(1..3) | 1/2","((1..3)) - (1/2)","0.5..2.5","d",["0.5..2.5",null,"-0.5e0",null,null],0,[["level","3"],["type","Range"]]],["0386","(1..3) | 0e0","((1..3)) - (0e0)","1e0..3e0","d",["1e0..3e0",null,"0e0",null,null],0,[["level","3"],["type","Range"]]],["0387","(1..3) | NaN","((1..3)) - (NaN)","NaN..NaN","d",["NaN..NaN",null,"NaN",null,null],0,[["level","3"],["type","Range"]]],["0388","(1..3) | \"\"","((1..3)) - (\"\")","3","d",["3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0389","(1..3) | \"a\"","((1..3)) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,"ERR:X::Str::Numeric",null,null],0,[["level","3"]]],["0390","(1..3) | True","((1..3)) - (True)","0..2","a",["0..2",null,"0..2",null,null],0,[["level","3"],["type","Range"]]],["0391","(1..3) | Any","((1..3)) - (Any)","3","d",["3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0392","(1..3) | (1,2)","((1..3)) - ((1,2))","1","d",["1",null,"-2e0",null,null],0,[["level","3"],["type","Int"]]],["0393","(1..3) | {a=>1}","((1..3)) - ({a=>1})","2","d",["2",null,"-1e0",null,null],0,[["level","3"],["type","Int"]]],["0394","(1..3) | -0e0","((1..3)) - (-0e0)","1e0..3e0","d",["1e0..3e0",null,"0e0",null,null],0,[["level","3"],["type","Range"]]],["0395","(1..3) | Inf","((1..3)) - (Inf)","-Inf..-Inf","d",["-Inf..-Inf",null,"-Inf",null,null],0,[["level","3"],["type","Range"]]],["0396","(1..3) | 2**64","((1..3)) - (2**64)","-18446744073709551615..-18446744073709551613","d",["-18446744073709551615..-18446744073709551613",null,"-Inf..-9223372036854775804",null,null],0,[["level","3"],["type","Range"]]],["0397","(1..3) | False","((1..3)) - (False)","1..3","a",["1..3",null,"1..3",null,null],0,[["level","3"],["type","Range"]]],["0398","(1..3) | Nil","((1..3)) - (Nil)","3","d",["3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0399","(1..3) | ()","((1..3)) - (())","3","d",["3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0400","(1..3) | \"0\"","((1..3)) - (\"0\")","3","d",["3",null,"0e0",null,null],0,[["level","3"],["type","Int"]]],["0401","0 | Int","(0) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0",null],0,[["level","3"]]],["0402","1 | Int","(1) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"1",null],0,[["level","3"]]],["0403","-1 | Int","(-1) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"-1",null],0,[["level","3"]]],["0404","1/2 | Int","(1/2) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0.5",null],0,[["level","3"]]],["0405","0e0 | Int","(0e0) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0e0",null],0,[["level","3"]]],["0406","NaN | Int","(NaN) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"NaN",null],0,[["level","3"]]],["0407","\"\" | Int","(\"\") - (Int)","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0408","\"a\" | Int","(\"a\") - (Int)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0409","True | Int","(True) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"1",null],0,[["level","3"]]],["0410","Any | Int","(Any) - (Int)","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0411","(1,2) | Int","((1,2)) - (Int)","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0412","{a=>1} | Int","({a=>1}) - (Int)","1","a",["1",null,null,"1",null],0,[["level","3"],["type","Int"]]],["0413","-0e0 | Int","(-0e0) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"-0e0",null],0,[["level","3"]]],["0414","Inf | Int","(Inf) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"Inf",null],0,[["level","3"]]],["0415","2**64 | Int","(2**64) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"18446744073709551616",null],0,[["level","3"]]],["0416","False | Int","(False) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0",null],0,[["level","3"]]],["0417","Nil | Int","(Nil) - (Int)","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0418","() | Int","(()) - (Int)","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0419","\"0\" | Int","(\"0\") - (Int)","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0420","(1..3) | Int","((1..3)) - (Int)","3","d",["3",null,null,"0e0",null],0,[["level","3"],["type","Int"]]],["0421","Int | Int","(Int) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0",null],0,[["level","3"]]],["0422","Int | 0","(Int) - (0)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0",null],0,[["level","3"]]],["0423","Int | 1","(Int) - (1)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"-1",null],0,[["level","3"]]],["0424","Int | -1","(Int) - (-1)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"1",null],0,[["level","3"]]],["0425","Int | 1/2","(Int) - (1/2)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"-0.5",null],0,[["level","3"]]],["0426","Int | 0e0","(Int) - (0e0)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0e0",null],0,[["level","3"]]],["0427","Int | NaN","(Int) - (NaN)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"NaN",null],0,[["level","3"]]],["0428","Int | \"\"","(Int) - (\"\")","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0429","Int | \"a\"","(Int) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0430","Int | True","(Int) - (True)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"-1",null],0,[["level","3"]]],["0431","Int | Any","(Int) - (Any)","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0432","Int | (1,2)","(Int) - ((1,2))","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0433","Int | {a=>1}","(Int) - ({a=>1})","-1","a",["-1",null,null,"-1",null],0,[["level","3"],["type","Int"]]],["0434","Int | -0e0","(Int) - (-0e0)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0e0",null],0,[["level","3"]]],["0435","Int | Inf","(Int) - (Inf)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"-Inf",null],0,[["level","3"]]],["0436","Int | 2**64","(Int) - (2**64)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"-18446744073709551616",null],0,[["level","3"]]],["0437","Int | False","(Int) - (False)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,"0",null],0,[["level","3"]]],["0438","Int | Nil","(Int) - (Nil)","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0439","Int | ()","(Int) - (())","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0440","Int | \"0\"","(Int) - (\"0\")","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0441","Int | (1..3)","(Int) - ((1..3))","-3","d",["-3",null,null,"0e0",null],0,[["level","3"],["type","Int"]]],["0442","0 | \"a b\"","(0) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0443","1 | \"a b\"","(1) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0444","-1 | \"a b\"","(-1) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0445","1/2 | \"a b\"","(1/2) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0446","0e0 | \"a b\"","(0e0) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0447","NaN | \"a b\"","(NaN) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0448","\"\" | \"a b\"","(\"\") - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0449","\"a\" | \"a b\"","(\"a\") - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0450","True | \"a b\"","(True) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0451","Any | \"a b\"","(Any) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0452","(1,2) | \"a b\"","((1,2)) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0453","{a=>1} | \"a b\"","({a=>1}) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0454","-0e0 | \"a b\"","(-0e0) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0455","Inf | \"a b\"","(Inf) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0456","2**64 | \"a b\"","(2**64) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0457","False | \"a b\"","(False) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0458","Nil | \"a b\"","(Nil) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0459","() | \"a b\"","(()) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0460","\"0\" | \"a b\"","(\"0\") - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0461","(1..3) | \"a b\"","((1..3)) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0462","Int | \"a b\"","(Int) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0463","\"a b\" | \"a b\"","(\"a b\") - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0464","\"a b\" | 0","(\"a b\") - (0)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0465","\"a b\" | 1","(\"a b\") - (1)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0466","\"a b\" | -1","(\"a b\") - (-1)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0467","\"a b\" | 1/2","(\"a b\") - (1/2)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0468","\"a b\" | 0e0","(\"a b\") - (0e0)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0469","\"a b\" | NaN","(\"a b\") - (NaN)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0470","\"a b\" | \"\"","(\"a b\") - (\"\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0471","\"a b\" | \"a\"","(\"a b\") - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0472","\"a b\" | True","(\"a b\") - (True)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0473","\"a b\" | Any","(\"a b\") - (Any)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0474","\"a b\" | (1,2)","(\"a b\") - ((1,2))","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0475","\"a b\" | {a=>1}","(\"a b\") - ({a=>1})","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0476","\"a b\" | -0e0","(\"a b\") - (-0e0)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0477","\"a b\" | Inf","(\"a b\") - (Inf)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0478","\"a b\" | 2**64","(\"a b\") - (2**64)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0479","\"a b\" | False","(\"a b\") - (False)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0480","\"a b\" | Nil","(\"a b\") - (Nil)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0481","\"a b\" | ()","(\"a b\") - (())","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0482","\"a b\" | \"0\"","(\"a b\") - (\"0\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0483","\"a b\" | (1..3)","(\"a b\") - ((1..3))","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0484","\"a b\" | Int","(\"a b\") - (Int)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0485","0 | [1,2]","(0) - ([1,2])","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0486","1 | [1,2]","(1) - ([1,2])","-1","a",["-1",null,null,"-1",null],0,[["level","3"],["type","Int"]]],["0487","-1 | [1,2]","(-1) - ([1,2])","-3","a",["-3",null,null,"-3",null],0,[["level","3"],["type","Int"]]],["0488","1/2 | [1,2]","(1/2) - ([1,2])","-1.5","a",["-1.5",null,null,"-1.5",null],0,[["level","3"],["type","Rat"]]],["0489","0e0 | [1,2]","(0e0) - ([1,2])","-2e0","a",["-2e0",null,null,"-2e0",null],0,[["level","3"],["type","Num"]]],["0490","NaN | [1,2]","(NaN) - ([1,2])","NaN","a",["NaN",null,null,"NaN",null],0,[["level","3"],["type","Num"]]],["0491","\"\" | [1,2]","(\"\") - ([1,2])","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0492","\"a\" | [1,2]","(\"a\") - ([1,2])","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0493","True | [1,2]","(True) - ([1,2])","-1","a",["-1",null,null,"-1",null],0,[["level","3"],["type","Int"]]],["0494","Any | [1,2]","(Any) - ([1,2])","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0495","(1,2) | [1,2]","((1,2)) - ([1,2])","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0496","{a=>1} | [1,2]","({a=>1}) - ([1,2])","-1","a",["-1",null,null,"-1",null],0,[["level","3"],["type","Int"]]],["0497","-0e0 | [1,2]","(-0e0) - ([1,2])","-2e0","a",["-2e0",null,null,"-2e0",null],0,[["level","3"],["type","Num"]]],["0498","Inf | [1,2]","(Inf) - ([1,2])","Inf","a",["Inf",null,null,"Inf",null],0,[["level","3"],["type","Num"]]],["0499","2**64 | [1,2]","(2**64) - ([1,2])","18446744073709551614","a",["18446744073709551614",null,null,"18446744073709551614",null],0,[["level","3"],["type","Int"]]],["0500","False | [1,2]","(False) - ([1,2])","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0501","Nil | [1,2]","(Nil) - ([1,2])","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0502","() | [1,2]","(()) - ([1,2])","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0503","\"0\" | [1,2]","(\"0\") - ([1,2])","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0504","(1..3) | [1,2]","((1..3)) - ([1,2])","1","d",["1",null,null,"-2e0",null],0,[["level","3"],["type","Int"]]],["0505","Int | [1,2]","(Int) - ([1,2])","-2","a",["-2",null,null,"-2",null],0,[["level","3"],["type","Int"]]],["0506","\"a b\" | [1,2]","(\"a b\") - ([1,2])","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0507","[1,2] | [1,2]","([1,2]) - ([1,2])","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0508","[1,2] | 0","([1,2]) - (0)","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0509","[1,2] | 1","([1,2]) - (1)","1","a",["1",null,null,"1",null],0,[["level","3"],["type","Int"]]],["0510","[1,2] | -1","([1,2]) - (-1)","3","a",["3",null,null,"3",null],0,[["level","3"],["type","Int"]]],["0511","[1,2] | 1/2","([1,2]) - (1/2)","1.5","a",["1.5",null,null,"1.5",null],0,[["level","3"],["type","Rat"]]],["0512","[1,2] | 0e0","([1,2]) - (0e0)","2e0","a",["2e0",null,null,"2e0",null],0,[["level","3"],["type","Num"]]],["0513","[1,2] | NaN","([1,2]) - (NaN)","NaN","a",["NaN",null,null,"NaN",null],0,[["level","3"],["type","Num"]]],["0514","[1,2] | \"\"","([1,2]) - (\"\")","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0515","[1,2] | \"a\"","([1,2]) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0516","[1,2] | True","([1,2]) - (True)","1","a",["1",null,null,"1",null],0,[["level","3"],["type","Int"]]],["0517","[1,2] | Any","([1,2]) - (Any)","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0518","[1,2] | (1,2)","([1,2]) - ((1,2))","0","a",["0",null,null,"0",null],0,[["level","3"],["type","Int"]]],["0519","[1,2] | {a=>1}","([1,2]) - ({a=>1})","1","a",["1",null,null,"1",null],0,[["level","3"],["type","Int"]]],["0520","[1,2] | -0e0","([1,2]) - (-0e0)","2e0","a",["2e0",null,null,"2e0",null],0,[["level","3"],["type","Num"]]],["0521","[1,2] | Inf","([1,2]) - (Inf)","-Inf","a",["-Inf",null,null,"-Inf",null],0,[["level","3"],["type","Num"]]],["0522","[1,2] | 2**64","([1,2]) - (2**64)","-18446744073709551614","a",["-18446744073709551614",null,null,"-18446744073709551614",null],0,[["level","3"],["type","Int"]]],["0523","[1,2] | False","([1,2]) - (False)","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0524","[1,2] | Nil","([1,2]) - (Nil)","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0525","[1,2] | ()","([1,2]) - (())","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0526","[1,2] | \"0\"","([1,2]) - (\"0\")","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0527","[1,2] | (1..3)","([1,2]) - ((1..3))","-1","d",["-1",null,null,"2e0",null],0,[["level","3"],["type","Int"]]],["0528","[1,2] | Int","([1,2]) - (Int)","2","a",["2",null,null,"2",null],0,[["level","3"],["type","Int"]]],["0529","[1,2] | \"a b\"","([1,2]) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0530","0 | (a => 1)","(0) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0531","1 | (a => 1)","(1) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"1e0",null],0,[["level","3"]]],["0532","-1 | (a => 1)","(-1) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-1e0",null],0,[["level","3"]]],["0533","1/2 | (a => 1)","(1/2) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0.5e0",null],0,[["level","3"]]],["0534","0e0 | (a => 1)","(0e0) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0535","NaN | (a => 1)","(NaN) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"NaN",null],0,[["level","3"]]],["0536","\"\" | (a => 1)","(\"\") - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0537","\"a\" | (a => 1)","(\"a\") - ((a => 1))","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0538","True | (a => 1)","(True) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"1e0",null],0,[["level","3"]]],["0539","Any | (a => 1)","(Any) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0540","(1,2) | (a => 1)","((1,2)) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"2e0",null],0,[["level","3"]]],["0541","{a=>1} | (a => 1)","({a=>1}) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"1e0",null],0,[["level","3"]]],["0542","-0e0 | (a => 1)","(-0e0) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-0e0",null],0,[["level","3"]]],["0543","Inf | (a => 1)","(Inf) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"Inf",null],0,[["level","3"]]],["0544","2**64 | (a => 1)","(2**64) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"1.8446744073709552e+19",null],0,[["level","3"]]],["0545","False | (a => 1)","(False) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0546","Nil | (a => 1)","(Nil) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0547","() | (a => 1)","(()) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0548","\"0\" | (a => 1)","(\"0\") - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0549","(1..3) | (a => 1)","((1..3)) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0550","Int | (a => 1)","(Int) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0551","\"a b\" | (a => 1)","(\"a b\") - ((a => 1))","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0552","[1,2] | (a => 1)","([1,2]) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"2e0",null],0,[["level","3"]]],["0553","(a => 1) | (a => 1)","((a => 1)) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0554","(a => 1) | 0","((a => 1)) - (0)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0555","(a => 1) | 1","((a => 1)) - (1)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-1e0",null],0,[["level","3"]]],["0556","(a => 1) | -1","((a => 1)) - (-1)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"1e0",null],0,[["level","3"]]],["0557","(a => 1) | 1/2","((a => 1)) - (1/2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-0.5e0",null],0,[["level","3"]]],["0558","(a => 1) | 0e0","((a => 1)) - (0e0)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0559","(a => 1) | NaN","((a => 1)) - (NaN)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"NaN",null],0,[["level","3"]]],["0560","(a => 1) | \"\"","((a => 1)) - (\"\")","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0561","(a => 1) | \"a\"","((a => 1)) - (\"a\")","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0562","(a => 1) | True","((a => 1)) - (True)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-1e0",null],0,[["level","3"]]],["0563","(a => 1) | Any","((a => 1)) - (Any)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0564","(a => 1) | (1,2)","((a => 1)) - ((1,2))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-2e0",null],0,[["level","3"]]],["0565","(a => 1) | {a=>1}","((a => 1)) - ({a=>1})","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-1e0",null],0,[["level","3"]]],["0566","(a => 1) | -0e0","((a => 1)) - (-0e0)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0567","(a => 1) | Inf","((a => 1)) - (Inf)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-Inf",null],0,[["level","3"]]],["0568","(a => 1) | 2**64","((a => 1)) - (2**64)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-1.8446744073709552e+19",null],0,[["level","3"]]],["0569","(a => 1) | False","((a => 1)) - (False)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0570","(a => 1) | Nil","((a => 1)) - (Nil)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0571","(a => 1) | ()","((a => 1)) - (())","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0572","(a => 1) | \"0\"","((a => 1)) - (\"0\")","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0573","(a => 1) | (1..3)","((a => 1)) - ((1..3))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0574","(a => 1) | Int","((a => 1)) - (Int)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"0e0",null],0,[["level","3"]]],["0575","(a => 1) | \"a b\"","((a => 1)) - (\"a b\")","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"ERR:X::Str::Numeric",null],0,[["level","3"]]],["0576","(a => 1) | [1,2]","((a => 1)) - ([1,2])","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,"-2e0",null],0,[["level","3"]]],["0577","0 | bag(1,1)","(0) - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0578","1 | bag(1,1)","(1) - (bag(1,1))","-1","d",["-1",null,null,null,"-1e0"],0,[["level","3"],["type","Int"]]],["0579","-1 | bag(1,1)","(-1) - (bag(1,1))","-3","d",["-3",null,null,null,"-3e0"],0,[["level","3"],["type","Int"]]],["0580","1/2 | bag(1,1)","(1/2) - (bag(1,1))","-1.5","d",["-1.5",null,null,null,"-1.5e0"],0,[["level","3"],["type","Rat"]]],["0581","0e0 | bag(1,1)","(0e0) - (bag(1,1))","-2e0","a",["-2e0",null,null,null,"-2e0"],0,[["level","3"],["type","Num"]]],["0582","NaN | bag(1,1)","(NaN) - (bag(1,1))","NaN","a",["NaN",null,null,null,"NaN"],0,[["level","3"],["type","Num"]]],["0583","\"\" | bag(1,1)","(\"\") - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0584","\"a\" | bag(1,1)","(\"a\") - (bag(1,1))","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0585","True | bag(1,1)","(True) - (bag(1,1))","-1","d",["-1",null,null,null,"-1e0"],0,[["level","3"],["type","Int"]]],["0586","Any | bag(1,1)","(Any) - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0587","(1,2) | bag(1,1)","((1,2)) - (bag(1,1))","0","d",["0",null,null,null,"0e0"],0,[["level","3"],["type","Int"]]],["0588","{a=>1} | bag(1,1)","({a=>1}) - (bag(1,1))","-1","d",["-1",null,null,null,"-1e0"],0,[["level","3"],["type","Int"]]],["0589","-0e0 | bag(1,1)","(-0e0) - (bag(1,1))","-2e0","a",["-2e0",null,null,null,"-2e0"],0,[["level","3"],["type","Num"]]],["0590","Inf | bag(1,1)","(Inf) - (bag(1,1))","Inf","a",["Inf",null,null,null,"Inf"],0,[["level","3"],["type","Num"]]],["0591","2**64 | bag(1,1)","(2**64) - (bag(1,1))","18446744073709551614","d",["18446744073709551614",null,null,null,"1.8446744073709552e+19"],0,[["level","3"],["type","Int"]]],["0592","False | bag(1,1)","(False) - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0593","Nil | bag(1,1)","(Nil) - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0594","() | bag(1,1)","(()) - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0595","\"0\" | bag(1,1)","(\"0\") - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0596","(1..3) | bag(1,1)","((1..3)) - (bag(1,1))","1","d",["1",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0597","Int | bag(1,1)","(Int) - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0598","\"a b\" | bag(1,1)","(\"a b\") - (bag(1,1))","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0599","[1,2] | bag(1,1)","([1,2]) - (bag(1,1))","0","d",["0",null,null,null,"0e0"],0,[["level","3"],["type","Int"]]],["0600","(a => 1) | bag(1,1)","((a => 1)) - (bag(1,1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-2e0"],0,[["level","3"]]],["0601","bag(1,1) | bag(1,1)","(bag(1,1)) - (bag(1,1))","0","d",["0",null,null,null,"0e0"],0,[["level","3"],["type","Int"]]],["0602","bag(1,1) | 0","(bag(1,1)) - (0)","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0603","bag(1,1) | 1","(bag(1,1)) - (1)","1","d",["1",null,null,null,"1e0"],0,[["level","3"],["type","Int"]]],["0604","bag(1,1) | -1","(bag(1,1)) - (-1)","3","d",["3",null,null,null,"3e0"],0,[["level","3"],["type","Int"]]],["0605","bag(1,1) | 1/2","(bag(1,1)) - (1/2)","1.5","d",["1.5",null,null,null,"1.5e0"],0,[["level","3"],["type","Rat"]]],["0606","bag(1,1) | 0e0","(bag(1,1)) - (0e0)","2e0","a",["2e0",null,null,null,"2e0"],0,[["level","3"],["type","Num"]]],["0607","bag(1,1) | NaN","(bag(1,1)) - (NaN)","NaN","a",["NaN",null,null,null,"NaN"],0,[["level","3"],["type","Num"]]],["0608","bag(1,1) | \"\"","(bag(1,1)) - (\"\")","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0609","bag(1,1) | \"a\"","(bag(1,1)) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0610","bag(1,1) | True","(bag(1,1)) - (True)","1","d",["1",null,null,null,"1e0"],0,[["level","3"],["type","Int"]]],["0611","bag(1,1) | Any","(bag(1,1)) - (Any)","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0612","bag(1,1) | (1,2)","(bag(1,1)) - ((1,2))","0","d",["0",null,null,null,"0e0"],0,[["level","3"],["type","Int"]]],["0613","bag(1,1) | {a=>1}","(bag(1,1)) - ({a=>1})","1","d",["1",null,null,null,"1e0"],0,[["level","3"],["type","Int"]]],["0614","bag(1,1) | -0e0","(bag(1,1)) - (-0e0)","2e0","a",["2e0",null,null,null,"2e0"],0,[["level","3"],["type","Num"]]],["0615","bag(1,1) | Inf","(bag(1,1)) - (Inf)","-Inf","a",["-Inf",null,null,null,"-Inf"],0,[["level","3"],["type","Num"]]],["0616","bag(1,1) | 2**64","(bag(1,1)) - (2**64)","-18446744073709551614","d",["-18446744073709551614",null,null,null,"-1.8446744073709552e+19"],0,[["level","3"],["type","Int"]]],["0617","bag(1,1) | False","(bag(1,1)) - (False)","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0618","bag(1,1) | Nil","(bag(1,1)) - (Nil)","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0619","bag(1,1) | ()","(bag(1,1)) - (())","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0620","bag(1,1) | \"0\"","(bag(1,1)) - (\"0\")","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0621","bag(1,1) | (1..3)","(bag(1,1)) - ((1..3))","-1","d",["-1",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0622","bag(1,1) | Int","(bag(1,1)) - (Int)","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0623","bag(1,1) | \"a b\"","(bag(1,1)) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0624","bag(1,1) | [1,2]","(bag(1,1)) - ([1,2])","0","d",["0",null,null,null,"0e0"],0,[["level","3"],["type","Int"]]],["0625","bag(1,1) | (a => 1)","(bag(1,1)) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"2e0"],0,[["level","3"]]],["0626","0 | (1..3).Seq","(0) - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0627","1 | (1..3).Seq","(1) - ((1..3).Seq)","-2","a",["-2",null,null,null,"-2"],0,[["level","3"],["type","Int"]]],["0628","-1 | (1..3).Seq","(-1) - ((1..3).Seq)","-4","a",["-4",null,null,null,"-4"],0,[["level","3"],["type","Int"]]],["0629","1/2 | (1..3).Seq","(1/2) - ((1..3).Seq)","-2.5","a",["-2.5",null,null,null,"-2.5"],0,[["level","3"],["type","Rat"]]],["0630","0e0 | (1..3).Seq","(0e0) - ((1..3).Seq)","-3e0","a",["-3e0",null,null,null,"-3e0"],0,[["level","3"],["type","Num"]]],["0631","NaN | (1..3).Seq","(NaN) - ((1..3).Seq)","NaN","a",["NaN",null,null,null,"NaN"],0,[["level","3"],["type","Num"]]],["0632","\"\" | (1..3).Seq","(\"\") - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0633","\"a\" | (1..3).Seq","(\"a\") - ((1..3).Seq)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0634","True | (1..3).Seq","(True) - ((1..3).Seq)","-2","a",["-2",null,null,null,"-2"],0,[["level","3"],["type","Int"]]],["0635","Any | (1..3).Seq","(Any) - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0636","(1,2) | (1..3).Seq","((1,2)) - ((1..3).Seq)","-1","a",["-1",null,null,null,"-1"],0,[["level","3"],["type","Int"]]],["0637","{a=>1} | (1..3).Seq","({a=>1}) - ((1..3).Seq)","-2","a",["-2",null,null,null,"-2"],0,[["level","3"],["type","Int"]]],["0638","-0e0 | (1..3).Seq","(-0e0) - ((1..3).Seq)","-3e0","a",["-3e0",null,null,null,"-3e0"],0,[["level","3"],["type","Num"]]],["0639","Inf | (1..3).Seq","(Inf) - ((1..3).Seq)","Inf","a",["Inf",null,null,null,"Inf"],0,[["level","3"],["type","Num"]]],["0640","2**64 | (1..3).Seq","(2**64) - ((1..3).Seq)","18446744073709551613","a",["18446744073709551613",null,null,null,"18446744073709551613"],0,[["level","3"],["type","Int"]]],["0641","False | (1..3).Seq","(False) - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0642","Nil | (1..3).Seq","(Nil) - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0643","() | (1..3).Seq","(()) - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0644","\"0\" | (1..3).Seq","(\"0\") - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0645","(1..3) | (1..3).Seq","((1..3)) - ((1..3).Seq)","0","d",["0",null,null,null,"-3e0"],0,[["level","3"],["type","Int"]]],["0646","Int | (1..3).Seq","(Int) - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0647","\"a b\" | (1..3).Seq","(\"a b\") - ((1..3).Seq)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0648","[1,2] | (1..3).Seq","([1,2]) - ((1..3).Seq)","-1","a",["-1",null,null,null,"-1"],0,[["level","3"],["type","Int"]]],["0649","(a => 1) | (1..3).Seq","((a => 1)) - ((1..3).Seq)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-3e0"],0,[["level","3"]]],["0650","bag(1,1) | (1..3).Seq","(bag(1,1)) - ((1..3).Seq)","-1","d",["-1",null,null,null,"-1e0"],0,[["level","3"],["type","Int"]]],["0651","(1..3).Seq | (1..3).Seq","((1..3).Seq) - ((1..3).Seq)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0652","(1..3).Seq | 0","((1..3).Seq) - (0)","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0653","(1..3).Seq | 1","((1..3).Seq) - (1)","2","a",["2",null,null,null,"2"],0,[["level","3"],["type","Int"]]],["0654","(1..3).Seq | -1","((1..3).Seq) - (-1)","4","a",["4",null,null,null,"4"],0,[["level","3"],["type","Int"]]],["0655","(1..3).Seq | 1/2","((1..3).Seq) - (1/2)","2.5","a",["2.5",null,null,null,"2.5"],0,[["level","3"],["type","Rat"]]],["0656","(1..3).Seq | 0e0","((1..3).Seq) - (0e0)","3e0","a",["3e0",null,null,null,"3e0"],0,[["level","3"],["type","Num"]]],["0657","(1..3).Seq | NaN","((1..3).Seq) - (NaN)","NaN","a",["NaN",null,null,null,"NaN"],0,[["level","3"],["type","Num"]]],["0658","(1..3).Seq | \"\"","((1..3).Seq) - (\"\")","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0659","(1..3).Seq | \"a\"","((1..3).Seq) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0660","(1..3).Seq | True","((1..3).Seq) - (True)","2","a",["2",null,null,null,"2"],0,[["level","3"],["type","Int"]]],["0661","(1..3).Seq | Any","((1..3).Seq) - (Any)","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0662","(1..3).Seq | (1,2)","((1..3).Seq) - ((1,2))","1","a",["1",null,null,null,"1"],0,[["level","3"],["type","Int"]]],["0663","(1..3).Seq | {a=>1}","((1..3).Seq) - ({a=>1})","2","a",["2",null,null,null,"2"],0,[["level","3"],["type","Int"]]],["0664","(1..3).Seq | -0e0","((1..3).Seq) - (-0e0)","3e0","a",["3e0",null,null,null,"3e0"],0,[["level","3"],["type","Num"]]],["0665","(1..3).Seq | Inf","((1..3).Seq) - (Inf)","-Inf","a",["-Inf",null,null,null,"-Inf"],0,[["level","3"],["type","Num"]]],["0666","(1..3).Seq | 2**64","((1..3).Seq) - (2**64)","-18446744073709551613","a",["-18446744073709551613",null,null,null,"-18446744073709551613"],0,[["level","3"],["type","Int"]]],["0667","(1..3).Seq | False","((1..3).Seq) - (False)","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0668","(1..3).Seq | Nil","((1..3).Seq) - (Nil)","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0669","(1..3).Seq | ()","((1..3).Seq) - (())","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0670","(1..3).Seq | \"0\"","((1..3).Seq) - (\"0\")","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0671","(1..3).Seq | (1..3)","((1..3).Seq) - ((1..3))","0","d",["0",null,null,null,"3e0"],0,[["level","3"],["type","Int"]]],["0672","(1..3).Seq | Int","((1..3).Seq) - (Int)","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0673","(1..3).Seq | \"a b\"","((1..3).Seq) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0674","(1..3).Seq | [1,2]","((1..3).Seq) - ([1,2])","1","a",["1",null,null,null,"1"],0,[["level","3"],["type","Int"]]],["0675","(1..3).Seq | (a => 1)","((1..3).Seq) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"3e0"],0,[["level","3"]]],["0676","(1..3).Seq | bag(1,1)","((1..3).Seq) - (bag(1,1))","1","d",["1",null,null,null,"1e0"],0,[["level","3"],["type","Int"]]],["0677","0 | any(1,2)","(0) - (any(1,2))","any(-1, -2)","a",["any(-1, -2)",null,null,null,"any(-1, -2)"],0,[["level","3"],["type","Junction"]]],["0678","1 | any(1,2)","(1) - (any(1,2))","any(0, -1)","a",["any(0, -1)",null,null,null,"any(0, -1)"],0,[["level","3"],["type","Junction"]]],["0679","-1 | any(1,2)","(-1) - (any(1,2))","any(-2, -3)","a",["any(-2, -3)",null,null,null,"any(-2, -3)"],0,[["level","3"],["type","Junction"]]],["0680","1/2 | any(1,2)","(1/2) - (any(1,2))","any(-0.5, -1.5)","a",["any(-0.5, -1.5)",null,null,null,"any(-0.5, -1.5)"],0,[["level","3"],["type","Junction"]]],["0681","0e0 | any(1,2)","(0e0) - (any(1,2))","any(-1e0, -2e0)","a",["any(-1e0, -2e0)",null,null,null,"any(-1e0, -2e0)"],0,[["level","3"],["type","Junction"]]],["0682","NaN | any(1,2)","(NaN) - (any(1,2))","any(NaN, NaN)","a",["any(NaN, NaN)",null,null,null,"any(NaN, NaN)"],0,[["level","3"],["type","Junction"]]],["0683","\"\" | any(1,2)","(\"\") - (any(1,2))","any(-1, -2)","a",["any(-1, -2)",null,null,null,"any(-1, -2)"],0,[["level","3"],["type","Junction"]]],["0684","\"a\" | any(1,2)","(\"a\") - (any(1,2))","any(Failure.new(exception => X::Str::Numeric.new(source => \"a\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new), Failure.new(exception => X::Str::Numeric.new(source => \"a\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new))","d",["any(Failure.new(exception => X::Str::Numeric.new(source => \"a\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new), Failure.new(exception => X::Str::Numeric.new(source => \"a\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new))",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"],["type","Junction"]]],["0685","True | any(1,2)","(True) - (any(1,2))","any(0, -1)","a",["any(0, -1)",null,null,null,"any(0, -1)"],0,[["level","3"],["type","Junction"]]],["0686","Any | any(1,2)","(Any) - (any(1,2))","any(-1, -2)","a",["any(-1, -2)",null,null,null,"any(-1, -2)"],0,[["level","3"],["type","Junction"]]],["0687","(1,2) | any(1,2)","((1,2)) - (any(1,2))","any(1, 0)","a",["any(1, 0)",null,null,null,"any(1, 0)"],0,[["level","3"],["type","Junction"]]],["0688","{a=>1} | any(1,2)","({a=>1}) - (any(1,2))","any(0, -1)","a",["any(0, -1)",null,null,null,"any(0, -1)"],0,[["level","3"],["type","Junction"]]],["0689","-0e0 | any(1,2)","(-0e0) - (any(1,2))","any(-1e0, -2e0)","a",["any(-1e0, -2e0)",null,null,null,"any(-1e0, -2e0)"],0,[["level","3"],["type","Junction"]]],["0690","Inf | any(1,2)","(Inf) - (any(1,2))","any(Inf, Inf)","a",["any(Inf, Inf)",null,null,null,"any(Inf, Inf)"],0,[["level","3"],["type","Junction"]]],["0691","2**64 | any(1,2)","(2**64) - (any(1,2))","any(18446744073709551615, 18446744073709551614)","a",["any(18446744073709551615, 18446744073709551614)",null,null,null,"any(18446744073709551615, 18446744073709551614)"],0,[["level","3"],["type","Junction"]]],["0692","False | any(1,2)","(False) - (any(1,2))","any(-1, -2)","a",["any(-1, -2)",null,null,null,"any(-1, -2)"],0,[["level","3"],["type","Junction"]]],["0693","Nil | any(1,2)","(Nil) - (any(1,2))","any(-1, -2)","a",["any(-1, -2)",null,null,null,"any(-1, -2)"],0,[["level","3"],["type","Junction"]]],["0694","() | any(1,2)","(()) - (any(1,2))","any(-1, -2)","a",["any(-1, -2)",null,null,null,"any(-1, -2)"],0,[["level","3"],["type","Junction"]]],["0695","\"0\" | any(1,2)","(\"0\") - (any(1,2))","any(-1, -2)","a",["any(-1, -2)",null,null,null,"any(-1, -2)"],0,[["level","3"],["type","Junction"]]],["0696","(1..3) | any(1,2)","((1..3)) - (any(1,2))","any(0..2, -1..1)","a",["any(0..2, -1..1)",null,null,null,"any(0..2, -1..1)"],0,[["level","3"],["type","Junction"]]],["0697","Int | any(1,2)","(Int) - (any(1,2))","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,null,"any(-1, -2)"],0,[["level","3"]]],["0698","\"a b\" | any(1,2)","(\"a b\") - (any(1,2))","any(Failure.new(exception => X::Str::Numeric.new(source => \"a b\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new), Failure.new(exception => X::Str::Numeric.new(source => \"a b\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new))","d",["any(Failure.new(exception => X::Str::Numeric.new(source => \"a b\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new), Failure.new(exception => X::Str::Numeric.new(source => \"a b\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new))",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"],["type","Junction"]]],["0699","[1,2] | any(1,2)","([1,2]) - (any(1,2))","any(1, 0)","a",["any(1, 0)",null,null,null,"any(1, 0)"],0,[["level","3"],["type","Junction"]]],["0700","(a => 1) | any(1,2)","((a => 1)) - (any(1,2))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"any(-1e0, -2e0)"],0,[["level","3"]]],["0701","bag(1,1) | any(1,2)","(bag(1,1)) - (any(1,2))","any(1, 0)","d",["any(1, 0)",null,null,null,"any(1e0, 0e0)"],0,[["level","3"],["type","Junction"]]],["0702","(1..3).Seq | any(1,2)","((1..3).Seq) - (any(1,2))","any(2, 1)","a",["any(2, 1)",null,null,null,"any(2, 1)"],0,[["level","3"],["type","Junction"]]],["0703","any(1,2) | any(1,2)","(any(1,2)) - (any(1,2))","any(any(0, -1), any(1, 0))","a",["any(any(0, -1), any(1, 0))",null,null,null,"any(any(0, -1), any(1, 0))"],0,[["level","3"],["type","Junction"]]],["0704","any(1,2) | 0","(any(1,2)) - (0)","any(1, 2)","a",["any(1, 2)",null,null,null,"any(1, 2)"],0,[["level","3"],["type","Junction"]]],["0705","any(1,2) | 1","(any(1,2)) - (1)","any(0, 1)","a",["any(0, 1)",null,null,null,"any(0, 1)"],0,[["level","3"],["type","Junction"]]],["0706","any(1,2) | -1","(any(1,2)) - (-1)","any(2, 3)","a",["any(2, 3)",null,null,null,"any(2, 3)"],0,[["level","3"],["type","Junction"]]],["0707","any(1,2) | 1/2","(any(1,2)) - (1/2)","any(0.5, 1.5)","a",["any(0.5, 1.5)",null,null,null,"any(0.5, 1.5)"],0,[["level","3"],["type","Junction"]]],["0708","any(1,2) | 0e0","(any(1,2)) - (0e0)","any(1e0, 2e0)","a",["any(1e0, 2e0)",null,null,null,"any(1e0, 2e0)"],0,[["level","3"],["type","Junction"]]],["0709","any(1,2) | NaN","(any(1,2)) - (NaN)","any(NaN, NaN)","a",["any(NaN, NaN)",null,null,null,"any(NaN, NaN)"],0,[["level","3"],["type","Junction"]]],["0710","any(1,2) | \"\"","(any(1,2)) - (\"\")","any(1, 2)","a",["any(1, 2)",null,null,null,"any(1, 2)"],0,[["level","3"],["type","Junction"]]],["0711","any(1,2) | \"a\"","(any(1,2)) - (\"a\")","any(Failure.new(exception => X::Str::Numeric.new(source => \"a\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new), Failure.new(exception => X::Str::Numeric.new(source => \"a\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new))","d",["any(Failure.new(exception => X::Str::Numeric.new(source => \"a\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new), Failure.new(exception => X::Str::Numeric.new(source => \"a\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new))",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"],["type","Junction"]]],["0712","any(1,2) | True","(any(1,2)) - (True)","any(0, 1)","a",["any(0, 1)",null,null,null,"any(0, 1)"],0,[["level","3"],["type","Junction"]]],["0713","any(1,2) | Any","(any(1,2)) - (Any)","any(1, 2)","a",["any(1, 2)",null,null,null,"any(1, 2)"],0,[["level","3"],["type","Junction"]]],["0714","any(1,2) | (1,2)","(any(1,2)) - ((1,2))","any(-1, 0)","a",["any(-1, 0)",null,null,null,"any(-1, 0)"],0,[["level","3"],["type","Junction"]]],["0715","any(1,2) | {a=>1}","(any(1,2)) - ({a=>1})","any(0, 1)","a",["any(0, 1)",null,null,null,"any(0, 1)"],0,[["level","3"],["type","Junction"]]],["0716","any(1,2) | -0e0","(any(1,2)) - (-0e0)","any(1e0, 2e0)","a",["any(1e0, 2e0)",null,null,null,"any(1e0, 2e0)"],0,[["level","3"],["type","Junction"]]],["0717","any(1,2) | Inf","(any(1,2)) - (Inf)","any(-Inf, -Inf)","a",["any(-Inf, -Inf)",null,null,null,"any(-Inf, -Inf)"],0,[["level","3"],["type","Junction"]]],["0718","any(1,2) | 2**64","(any(1,2)) - (2**64)","any(-18446744073709551615, -18446744073709551614)","a",["any(-18446744073709551615, -18446744073709551614)",null,null,null,"any(-18446744073709551615, -18446744073709551614)"],0,[["level","3"],["type","Junction"]]],["0719","any(1,2) | False","(any(1,2)) - (False)","any(1, 2)","a",["any(1, 2)",null,null,null,"any(1, 2)"],0,[["level","3"],["type","Junction"]]],["0720","any(1,2) | Nil","(any(1,2)) - (Nil)","any(1, 2)","a",["any(1, 2)",null,null,null,"any(1, 2)"],0,[["level","3"],["type","Junction"]]],["0721","any(1,2) | ()","(any(1,2)) - (())","any(1, 2)","a",["any(1, 2)",null,null,null,"any(1, 2)"],0,[["level","3"],["type","Junction"]]],["0722","any(1,2) | \"0\"","(any(1,2)) - (\"0\")","any(1, 2)","a",["any(1, 2)",null,null,null,"any(1, 2)"],0,[["level","3"],["type","Junction"]]],["0723","any(1,2) | (1..3)","(any(1,2)) - ((1..3))","any(-2, -1)","d",["any(-2, -1)",null,null,null,"any(1e0, 2e0)"],0,[["level","3"],["type","Junction"]]],["0724","any(1,2) | Int","(any(1,2)) - (Int)","throws X::Numeric::Uninitialized","d",["ERR:X::Numeric::Uninitialized",null,null,null,"any(1, 2)"],0,[["level","3"]]],["0725","any(1,2) | \"a b\"","(any(1,2)) - (\"a b\")","any(Failure.new(exception => X::Str::Numeric.new(source => \"a b\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new), Failure.new(exception => X::Str::Numeric.new(source => \"a b\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new))","d",["any(Failure.new(exception => X::Str::Numeric.new(source => \"a b\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new), Failure.new(exception => X::Str::Numeric.new(source => \"a b\", pos => 0, reason => \"base-10 number must begin with valid digits or '.'\"), backtrace => Backtrace.new))",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"],["type","Junction"]]],["0726","any(1,2) | [1,2]","(any(1,2)) - ([1,2])","any(-1, 0)","a",["any(-1, 0)",null,null,null,"any(-1, 0)"],0,[["level","3"],["type","Junction"]]],["0727","any(1,2) | (a => 1)","(any(1,2)) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"any(1e0, 2e0)"],0,[["level","3"]]],["0728","any(1,2) | bag(1,1)","(any(1,2)) - (bag(1,1))","any(-1, 0)","d",["any(-1, 0)",null,null,null,"any(-1e0, 0e0)"],0,[["level","3"],["type","Junction"]]],["0729","any(1,2) | (1..3).Seq","(any(1,2)) - ((1..3).Seq)","any(-2, -1)","a",["any(-2, -1)",null,null,null,"any(-2, -1)"],0,[["level","3"],["type","Junction"]]],["0730","0 | v1.2","(0) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0731","1 | v1.2","(1) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-0.2"],0,[["level","3"]]],["0732","-1 | v1.2","(-1) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-2.2"],0,[["level","3"]]],["0733","1/2 | v1.2","(1/2) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-0.7"],0,[["level","3"]]],["0734","0e0 | v1.2","(0e0) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2e0"],0,[["level","3"]]],["0735","NaN | v1.2","(NaN) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"NaN"],0,[["level","3"]]],["0736","\"\" | v1.2","(\"\") - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0737","\"a\" | v1.2","(\"a\") - (v1.2)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0738","True | v1.2","(True) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-0.2"],0,[["level","3"]]],["0739","Any | v1.2","(Any) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0740","(1,2) | v1.2","((1,2)) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0.8"],0,[["level","3"]]],["0741","{a=>1} | v1.2","({a=>1}) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-0.2"],0,[["level","3"]]],["0742","-0e0 | v1.2","(-0e0) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2e0"],0,[["level","3"]]],["0743","Inf | v1.2","(Inf) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"Inf"],0,[["level","3"]]],["0744","2**64 | v1.2","(2**64) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"18446744073709551614.8"],0,[["level","3"]]],["0745","False | v1.2","(False) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0746","Nil | v1.2","(Nil) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0747","() | v1.2","(()) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0748","\"0\" | v1.2","(\"0\") - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0749","(1..3) | v1.2","((1..3)) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2e0"],0,[["level","3"]]],["0750","Int | v1.2","(Int) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0751","\"a b\" | v1.2","(\"a b\") - (v1.2)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0752","[1,2] | v1.2","([1,2]) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0.8"],0,[["level","3"]]],["0753","(a => 1) | v1.2","((a => 1)) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2e0"],0,[["level","3"]]],["0754","bag(1,1) | v1.2","(bag(1,1)) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0.8e0"],0,[["level","3"]]],["0755","(1..3).Seq | v1.2","((1..3).Seq) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.8"],0,[["level","3"]]],["0756","any(1,2) | v1.2","(any(1,2)) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"any(-0.2, 0.8)"],0,[["level","3"]]],["0757","v1.2 | v1.2","(v1.2) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0.0"],0,[["level","3"]]],["0758","v1.2 | 0","(v1.2) - (0)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0759","v1.2 | 1","(v1.2) - (1)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0.2"],0,[["level","3"]]],["0760","v1.2 | -1","(v1.2) - (-1)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"2.2"],0,[["level","3"]]],["0761","v1.2 | 1/2","(v1.2) - (1/2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0.7"],0,[["level","3"]]],["0762","v1.2 | 0e0","(v1.2) - (0e0)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2e0"],0,[["level","3"]]],["0763","v1.2 | NaN","(v1.2) - (NaN)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"NaN"],0,[["level","3"]]],["0764","v1.2 | \"\"","(v1.2) - (\"\")","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0765","v1.2 | \"a\"","(v1.2) - (\"a\")","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0766","v1.2 | True","(v1.2) - (True)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0.2"],0,[["level","3"]]],["0767","v1.2 | Any","(v1.2) - (Any)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0768","v1.2 | (1,2)","(v1.2) - ((1,2))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-0.8"],0,[["level","3"]]],["0769","v1.2 | {a=>1}","(v1.2) - ({a=>1})","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0.2"],0,[["level","3"]]],["0770","v1.2 | -0e0","(v1.2) - (-0e0)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2e0"],0,[["level","3"]]],["0771","v1.2 | Inf","(v1.2) - (Inf)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-Inf"],0,[["level","3"]]],["0772","v1.2 | 2**64","(v1.2) - (2**64)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-18446744073709551614.8"],0,[["level","3"]]],["0773","v1.2 | False","(v1.2) - (False)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0774","v1.2 | Nil","(v1.2) - (Nil)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0775","v1.2 | ()","(v1.2) - (())","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0776","v1.2 | \"0\"","(v1.2) - (\"0\")","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0777","v1.2 | (1..3)","(v1.2) - ((1..3))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2e0"],0,[["level","3"]]],["0778","v1.2 | Int","(v1.2) - (Int)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0779","v1.2 | \"a b\"","(v1.2) - (\"a b\")","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0780","v1.2 | [1,2]","(v1.2) - ([1,2])","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-0.8"],0,[["level","3"]]],["0781","v1.2 | (a => 1)","(v1.2) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2e0"],0,[["level","3"]]],["0782","v1.2 | bag(1,1)","(v1.2) - (bag(1,1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-0.8e0"],0,[["level","3"]]],["0783","v1.2 | (1..3).Seq","(v1.2) - ((1..3).Seq)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.8"],0,[["level","3"]]],["0784","v1.2 | any(1,2)","(v1.2) - (any(1,2))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"any(0.2, -0.8)"],0,[["level","3"]]],["0785","0 | 1+2i","(0) - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0786","1 | 1+2i","(1) - (1+2i)","<0-2i>","a",["<0-2i>",null,null,null,"<0-2i>"],0,[["level","3"],["type","Complex"]]],["0787","-1 | 1+2i","(-1) - (1+2i)","<-2-2i>","a",["<-2-2i>",null,null,null,"<-2-2i>"],0,[["level","3"],["type","Complex"]]],["0788","1/2 | 1+2i","(1/2) - (1+2i)","<-0.5-2i>","a",["<-0.5-2i>",null,null,null,"<-0.5-2i>"],0,[["level","3"],["type","Complex"]]],["0789","0e0 | 1+2i","(0e0) - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0790","NaN | 1+2i","(NaN) - (1+2i)","<NaN-2i>","a",["<NaN-2i>",null,null,null,"<NaN-2i>"],0,[["level","3"],["type","Complex"]]],["0791","\"\" | 1+2i","(\"\") - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0792","\"a\" | 1+2i","(\"a\") - (1+2i)","throws X::Str::Numeric","d",["ERR:X::Str::Numeric",null,null,null,"<-1-2i>"],0,[["level","3"]]],["0793","True | 1+2i","(True) - (1+2i)","<0-2i>","a",["<0-2i>",null,null,null,"<0-2i>"],0,[["level","3"],["type","Complex"]]],["0794","Any | 1+2i","(Any) - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0795","(1,2) | 1+2i","((1,2)) - (1+2i)","<1-2i>","a",["<1-2i>",null,null,null,"<1-2i>"],0,[["level","3"],["type","Complex"]]],["0796","{a=>1} | 1+2i","({a=>1}) - (1+2i)","<0-2i>","a",["<0-2i>",null,null,null,"<0-2i>"],0,[["level","3"],["type","Complex"]]],["0797","-0e0 | 1+2i","(-0e0) - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0798","Inf | 1+2i","(Inf) - (1+2i)","<Inf-2i>","a",["<Inf-2i>",null,null,null,"<Inf-2i>"],0,[["level","3"],["type","Complex"]]],["0799","2**64 | 1+2i","(2**64) - (1+2i)","<1.8446744073709552e+19-2i>","a",["<1.8446744073709552e+19-2i>",null,null,null,"<1.8446744073709552e+19-2i>"],0,[["level","3"],["type","Complex"]]],["0800","False | 1+2i","(False) - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0801","Nil | 1+2i","(Nil) - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0802","() | 1+2i","(()) - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0803","\"0\" | 1+2i","(\"0\") - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0804","(1..3) | 1+2i","((1..3)) - (1+2i)","<2-2i>","d",["<2-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0805","Int | 1+2i","(Int) - (1+2i)","throws X::Parameter::InvalidConcreteness","d",["ERR:X::Parameter::InvalidConcreteness",null,null,null,"<-1-2i>"],0,[["level","3"]]],["0806","\"a b\" | 1+2i","(\"a b\") - (1+2i)","throws X::Str::Numeric","d",["ERR:X::Str::Numeric",null,null,null,"<-1-2i>"],0,[["level","3"]]],["0807","[1,2] | 1+2i","([1,2]) - (1+2i)","<1-2i>","a",["<1-2i>",null,null,null,"<1-2i>"],0,[["level","3"],["type","Complex"]]],["0808","(a => 1) | 1+2i","((a => 1)) - (1+2i)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"<-1-2i>"],0,[["level","3"]]],["0809","bag(1,1) | 1+2i","(bag(1,1)) - (1+2i)","<1-2i>","a",["<1-2i>",null,null,null,"<1-2i>"],0,[["level","3"],["type","Complex"]]],["0810","(1..3).Seq | 1+2i","((1..3).Seq) - (1+2i)","<2-2i>","a",["<2-2i>",null,null,null,"<2-2i>"],0,[["level","3"],["type","Complex"]]],["0811","any(1,2) | 1+2i","(any(1,2)) - (1+2i)","any(<0-2i>, <1-2i>)","a",["any(<0-2i>, <1-2i>)",null,null,null,"any(<0-2i>, <1-2i>)"],0,[["level","3"],["type","Junction"]]],["0812","v1.2 | 1+2i","(v1.2) - (1+2i)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"<0.19999999999999996-2i>"],0,[["level","3"]]],["0813","1+2i | 1+2i","(1+2i) - (1+2i)","<0+0i>","a",["<0+0i>",null,null,null,"<0+0i>"],0,[["level","3"],["type","Complex"]]],["0814","1+2i | 0","(1+2i) - (0)","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0815","1+2i | 1","(1+2i) - (1)","<0+2i>","a",["<0+2i>",null,null,null,"<0+2i>"],0,[["level","3"],["type","Complex"]]],["0816","1+2i | -1","(1+2i) - (-1)","<2+2i>","a",["<2+2i>",null,null,null,"<2+2i>"],0,[["level","3"],["type","Complex"]]],["0817","1+2i | 1/2","(1+2i) - (1/2)","<0.5+2i>","a",["<0.5+2i>",null,null,null,"<0.5+2i>"],0,[["level","3"],["type","Complex"]]],["0818","1+2i | 0e0","(1+2i) - (0e0)","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0819","1+2i | NaN","(1+2i) - (NaN)","<NaN+2i>","a",["<NaN+2i>",null,null,null,"<NaN+2i>"],0,[["level","3"],["type","Complex"]]],["0820","1+2i | \"\"","(1+2i) - (\"\")","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0821","1+2i | \"a\"","(1+2i) - (\"a\")","throws X::Str::Numeric","d",["ERR:X::Str::Numeric",null,null,null,"<1+2i>"],0,[["level","3"]]],["0822","1+2i | True","(1+2i) - (True)","<0+2i>","a",["<0+2i>",null,null,null,"<0+2i>"],0,[["level","3"],["type","Complex"]]],["0823","1+2i | Any","(1+2i) - (Any)","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0824","1+2i | (1,2)","(1+2i) - ((1,2))","<-1+2i>","a",["<-1+2i>",null,null,null,"<-1+2i>"],0,[["level","3"],["type","Complex"]]],["0825","1+2i | {a=>1}","(1+2i) - ({a=>1})","<0+2i>","a",["<0+2i>",null,null,null,"<0+2i>"],0,[["level","3"],["type","Complex"]]],["0826","1+2i | -0e0","(1+2i) - (-0e0)","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0827","1+2i | Inf","(1+2i) - (Inf)","<-Inf+2i>","a",["<-Inf+2i>",null,null,null,"<-Inf+2i>"],0,[["level","3"],["type","Complex"]]],["0828","1+2i | 2**64","(1+2i) - (2**64)","<-1.8446744073709552e+19+2i>","a",["<-1.8446744073709552e+19+2i>",null,null,null,"<-1.8446744073709552e+19+2i>"],0,[["level","3"],["type","Complex"]]],["0829","1+2i | False","(1+2i) - (False)","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0830","1+2i | Nil","(1+2i) - (Nil)","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0831","1+2i | ()","(1+2i) - (())","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0832","1+2i | \"0\"","(1+2i) - (\"0\")","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0833","1+2i | (1..3)","(1+2i) - ((1..3))","<-2+2i>","d",["<-2+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0834","1+2i | Int","(1+2i) - (Int)","throws X::Parameter::InvalidConcreteness","d",["ERR:X::Parameter::InvalidConcreteness",null,null,null,"<1+2i>"],0,[["level","3"]]],["0835","1+2i | \"a b\"","(1+2i) - (\"a b\")","throws X::Str::Numeric","d",["ERR:X::Str::Numeric",null,null,null,"<1+2i>"],0,[["level","3"]]],["0836","1+2i | [1,2]","(1+2i) - ([1,2])","<-1+2i>","a",["<-1+2i>",null,null,null,"<-1+2i>"],0,[["level","3"],["type","Complex"]]],["0837","1+2i | (a => 1)","(1+2i) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"<1+2i>"],0,[["level","3"]]],["0838","1+2i | bag(1,1)","(1+2i) - (bag(1,1))","<-1+2i>","a",["<-1+2i>",null,null,null,"<-1+2i>"],0,[["level","3"],["type","Complex"]]],["0839","1+2i | (1..3).Seq","(1+2i) - ((1..3).Seq)","<-2+2i>","a",["<-2+2i>",null,null,null,"<-2+2i>"],0,[["level","3"],["type","Complex"]]],["0840","1+2i | any(1,2)","(1+2i) - (any(1,2))","any(<0+2i>, <-1+2i>)","a",["any(<0+2i>, <-1+2i>)",null,null,null,"any(<0+2i>, <-1+2i>)"],0,[["level","3"],["type","Junction"]]],["0841","1+2i | v1.2","(1+2i) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"<-0.19999999999999996+2i>"],0,[["level","3"]]],["0842","0 | Str","(0) - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0843","1 | Str","(1) - (Str)","1","a",["1",null,null,null,"1"],0,[["level","3"],["type","Int"]]],["0844","-1 | Str","(-1) - (Str)","-1","a",["-1",null,null,null,"-1"],0,[["level","3"],["type","Int"]]],["0845","1/2 | Str","(1/2) - (Str)","0.5","a",["0.5",null,null,null,"0.5"],0,[["level","3"],["type","Rat"]]],["0846","0e0 | Str","(0e0) - (Str)","0e0","a",["0e0",null,null,null,"0e0"],0,[["level","3"],["type","Num"]]],["0847","NaN | Str","(NaN) - (Str)","NaN","a",["NaN",null,null,null,"NaN"],0,[["level","3"],["type","Num"]]],["0848","\"\" | Str","(\"\") - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0849","\"a\" | Str","(\"a\") - (Str)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0850","True | Str","(True) - (Str)","1","a",["1",null,null,null,"1"],0,[["level","3"],["type","Int"]]],["0851","Any | Str","(Any) - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0852","(1,2) | Str","((1,2)) - (Str)","2","a",["2",null,null,null,"2"],0,[["level","3"],["type","Int"]]],["0853","{a=>1} | Str","({a=>1}) - (Str)","1","a",["1",null,null,null,"1"],0,[["level","3"],["type","Int"]]],["0854","-0e0 | Str","(-0e0) - (Str)","-0e0","a",["-0e0",null,null,null,"-0e0"],0,[["level","3"],["type","Num"]]],["0855","Inf | Str","(Inf) - (Str)","Inf","a",["Inf",null,null,null,"Inf"],0,[["level","3"],["type","Num"]]],["0856","2**64 | Str","(2**64) - (Str)","18446744073709551616","a",["18446744073709551616",null,null,null,"18446744073709551616"],0,[["level","3"],["type","Int"]]],["0857","False | Str","(False) - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0858","Nil | Str","(Nil) - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0859","() | Str","(()) - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0860","\"0\" | Str","(\"0\") - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0861","(1..3) | Str","((1..3)) - (Str)","3","d",["3",null,null,null,"0e0"],0,[["level","3"],["type","Int"]]],["0862","Int | Str","(Int) - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0863","\"a b\" | Str","(\"a b\") - (Str)","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0864","[1,2] | Str","([1,2]) - (Str)","2","a",["2",null,null,null,"2"],0,[["level","3"],["type","Int"]]],["0865","(a => 1) | Str","((a => 1)) - (Str)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0e0"],0,[["level","3"]]],["0866","bag(1,1) | Str","(bag(1,1)) - (Str)","2","d",["2",null,null,null,"2e0"],0,[["level","3"],["type","Int"]]],["0867","(1..3).Seq | Str","((1..3).Seq) - (Str)","3","a",["3",null,null,null,"3"],0,[["level","3"],["type","Int"]]],["0868","any(1,2) | Str","(any(1,2)) - (Str)","any(1, 2)","a",["any(1, 2)",null,null,null,"any(1, 2)"],0,[["level","3"],["type","Junction"]]],["0869","v1.2 | Str","(v1.2) - (Str)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"1.2"],0,[["level","3"]]],["0870","1+2i | Str","(1+2i) - (Str)","<1+2i>","a",["<1+2i>",null,null,null,"<1+2i>"],0,[["level","3"],["type","Complex"]]],["0871","Str | Str","(Str) - (Str)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0872","Str | 0","(Str) - (0)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0873","Str | 1","(Str) - (1)","-1","a",["-1",null,null,null,"-1"],0,[["level","3"],["type","Int"]]],["0874","Str | -1","(Str) - (-1)","1","a",["1",null,null,null,"1"],0,[["level","3"],["type","Int"]]],["0875","Str | 1/2","(Str) - (1/2)","-0.5","a",["-0.5",null,null,null,"-0.5"],0,[["level","3"],["type","Rat"]]],["0876","Str | 0e0","(Str) - (0e0)","0e0","a",["0e0",null,null,null,"0e0"],0,[["level","3"],["type","Num"]]],["0877","Str | NaN","(Str) - (NaN)","NaN","a",["NaN",null,null,null,"NaN"],0,[["level","3"],["type","Num"]]],["0878","Str | \"\"","(Str) - (\"\")","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0879","Str | \"a\"","(Str) - (\"a\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0880","Str | True","(Str) - (True)","-1","a",["-1",null,null,null,"-1"],0,[["level","3"],["type","Int"]]],["0881","Str | Any","(Str) - (Any)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0882","Str | (1,2)","(Str) - ((1,2))","-2","a",["-2",null,null,null,"-2"],0,[["level","3"],["type","Int"]]],["0883","Str | {a=>1}","(Str) - ({a=>1})","-1","a",["-1",null,null,null,"-1"],0,[["level","3"],["type","Int"]]],["0884","Str | -0e0","(Str) - (-0e0)","0e0","a",["0e0",null,null,null,"0e0"],0,[["level","3"],["type","Num"]]],["0885","Str | Inf","(Str) - (Inf)","-Inf","a",["-Inf",null,null,null,"-Inf"],0,[["level","3"],["type","Num"]]],["0886","Str | 2**64","(Str) - (2**64)","-18446744073709551616","a",["-18446744073709551616",null,null,null,"-18446744073709551616"],0,[["level","3"],["type","Int"]]],["0887","Str | False","(Str) - (False)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0888","Str | Nil","(Str) - (Nil)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0889","Str | ()","(Str) - (())","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0890","Str | \"0\"","(Str) - (\"0\")","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0891","Str | (1..3)","(Str) - ((1..3))","-3","d",["-3",null,null,null,"0e0"],0,[["level","3"],["type","Int"]]],["0892","Str | Int","(Str) - (Int)","0","a",["0",null,null,null,"0"],0,[["level","3"],["type","Int"]]],["0893","Str | \"a b\"","(Str) - (\"a b\")","throws X::Str::Numeric","a",["ERR:X::Str::Numeric",null,null,null,"ERR:X::Str::Numeric"],0,[["level","3"]]],["0894","Str | [1,2]","(Str) - ([1,2])","-2","a",["-2",null,null,null,"-2"],0,[["level","3"],["type","Int"]]],["0895","Str | (a => 1)","(Str) - ((a => 1))","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"0e0"],0,[["level","3"]]],["0896","Str | bag(1,1)","(Str) - (bag(1,1))","-2","d",["-2",null,null,null,"-2e0"],0,[["level","3"],["type","Int"]]],["0897","Str | (1..3).Seq","(Str) - ((1..3).Seq)","-3","a",["-3",null,null,null,"-3"],0,[["level","3"],["type","Int"]]],["0898","Str | any(1,2)","(Str) - (any(1,2))","any(-1, -2)","a",["any(-1, -2)",null,null,null,"any(-1, -2)"],0,[["level","3"],["type","Junction"]]],["0899","Str | v1.2","(Str) - (v1.2)","throws X::Multi::NoMatch","d",["ERR:X::Multi::NoMatch",null,null,null,"-1.2"],0,[["level","3"]]],["0900","Str | 1+2i","(Str) - (1+2i)","<-1-2i>","a",["<-1-2i>",null,null,null,"<-1-2i>"],0,[["level","3"],["type","Complex"]]],["0001","0 | 0","(0) - (0)","0","a",["0","0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0002","0 | 1","(0) - (1)","-1","a",["-1","-1",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0003","0 | -1","(0) - (-1)","1","a",["1","1",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0004","0 | 2**64","(0) - (2**64)","-18446744073709551616","a",["-18446744073709551616","-18446744073709551616",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0005","0 | 1/3","(0) - (1/3)","<-1/3>","a",["<-1/3>","<-1/3>",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0006","0 | 0e0","(0) - (0e0)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0007","0 | -0e0","(0) - (-0e0)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0008","0 | 1e0","(0) - (1e0)","-1e0","a",["-1e0","-1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0009","0 | Inf","(0) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0010","0 | -Inf","(0) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0011","0 | NaN","(0) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0012","1 | 0","(1) - (0)","1","a",["1","1",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0013","1 | 1","(1) - (1)","0","a",["0","0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0014","1 | -1","(1) - (-1)","2","a",["2","2",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0015","1 | 2**64","(1) - (2**64)","-18446744073709551615","a",["-18446744073709551615","-18446744073709551615",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0016","1 | 1/3","(1) - (1/3)","<2/3>","a",["<2/3>","<2/3>",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0017","1 | 0e0","(1) - (0e0)","1e0","a",["1e0","1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0018","1 | -0e0","(1) - (-0e0)","1e0","a",["1e0","1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0019","1 | 1e0","(1) - (1e0)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0020","1 | Inf","(1) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0021","1 | -Inf","(1) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0022","1 | NaN","(1) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0023","-1 | 0","(-1) - (0)","-1","a",["-1","-1",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0024","-1 | 1","(-1) - (1)","-2","a",["-2","-2",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0025","-1 | -1","(-1) - (-1)","0","a",["0","0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0026","-1 | 2**64","(-1) - (2**64)","-18446744073709551617","a",["-18446744073709551617","-18446744073709551617",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0027","-1 | 1/3","(-1) - (1/3)","<-4/3>","a",["<-4/3>","<-4/3>",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0028","-1 | 0e0","(-1) - (0e0)","-1e0","a",["-1e0","-1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0029","-1 | -0e0","(-1) - (-0e0)","-1e0","a",["-1e0","-1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0030","-1 | 1e0","(-1) - (1e0)","-2e0","a",["-2e0","-2e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0031","-1 | Inf","(-1) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0032","-1 | -Inf","(-1) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0033","-1 | NaN","(-1) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0034","2**64 | 0","(2**64) - (0)","18446744073709551616","a",["18446744073709551616","18446744073709551616",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0035","2**64 | 1","(2**64) - (1)","18446744073709551615","a",["18446744073709551615","18446744073709551615",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0036","2**64 | -1","(2**64) - (-1)","18446744073709551617","a",["18446744073709551617","18446744073709551617",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0037","2**64 | 2**64","(2**64) - (2**64)","0","a",["0","0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Int"]]],["0038","2**64 | 1/3","(2**64) - (1/3)","<55340232221128654847/3>","a",["<55340232221128654847/3>","<55340232221128654847/3>",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0039","2**64 | 0e0","(2**64) - (0e0)","1.8446744073709552e+19","a",["1.8446744073709552e+19","1.8446744073709552e+19",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0040","2**64 | -0e0","(2**64) - (-0e0)","1.8446744073709552e+19","a",["1.8446744073709552e+19","1.8446744073709552e+19",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0041","2**64 | 1e0","(2**64) - (1e0)","1.8446744073709552e+19","a",["1.8446744073709552e+19","1.8446744073709552e+19",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0042","2**64 | Inf","(2**64) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0043","2**64 | -Inf","(2**64) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0044","2**64 | NaN","(2**64) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0045","1/3 | 0","(1/3) - (0)","<1/3>","a",["<1/3>","<1/3>",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0046","1/3 | 1","(1/3) - (1)","<-2/3>","a",["<-2/3>","<-2/3>",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0047","1/3 | -1","(1/3) - (-1)","<4/3>","a",["<4/3>","<4/3>",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0048","1/3 | 2**64","(1/3) - (2**64)","<-55340232221128654847/3>","a",["<-55340232221128654847/3>","<-55340232221128654847/3>",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0049","1/3 | 1/3","(1/3) - (1/3)","0.0","a",["0.0","0.0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Rat"]]],["0050","1/3 | 0e0","(1/3) - (0e0)","0.3333333333333333e0","a",["0.3333333333333333e0","0.3333333333333333e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0051","1/3 | -0e0","(1/3) - (-0e0)","0.3333333333333333e0","a",["0.3333333333333333e0","0.3333333333333333e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0052","1/3 | 1e0","(1/3) - (1e0)","-0.6666666666666667e0","a",["-0.6666666666666667e0","-0.6666666666666667e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0053","1/3 | Inf","(1/3) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0054","1/3 | -Inf","(1/3) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0055","1/3 | NaN","(1/3) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0056","0e0 | 0","(0e0) - (0)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0057","0e0 | 1","(0e0) - (1)","-1e0","a",["-1e0","-1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0058","0e0 | -1","(0e0) - (-1)","1e0","a",["1e0","1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0059","0e0 | 2**64","(0e0) - (2**64)","-1.8446744073709552e+19","a",["-1.8446744073709552e+19","-1.8446744073709552e+19",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0060","0e0 | 1/3","(0e0) - (1/3)","-0.3333333333333333e0","a",["-0.3333333333333333e0","-0.3333333333333333e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0061","0e0 | 0e0","(0e0) - (0e0)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0062","0e0 | -0e0","(0e0) - (-0e0)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0063","0e0 | 1e0","(0e0) - (1e0)","-1e0","a",["-1e0","-1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0064","0e0 | Inf","(0e0) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0065","0e0 | -Inf","(0e0) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0066","0e0 | NaN","(0e0) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0067","-0e0 | 0","(-0e0) - (0)","-0e0","a",["-0e0","-0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0068","-0e0 | 1","(-0e0) - (1)","-1e0","a",["-1e0","-1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0069","-0e0 | -1","(-0e0) - (-1)","1e0","a",["1e0","1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0070","-0e0 | 2**64","(-0e0) - (2**64)","-1.8446744073709552e+19","a",["-1.8446744073709552e+19","-1.8446744073709552e+19",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0071","-0e0 | 1/3","(-0e0) - (1/3)","-0.3333333333333333e0","a",["-0.3333333333333333e0","-0.3333333333333333e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0072","-0e0 | 0e0","(-0e0) - (0e0)","-0e0","a",["-0e0","-0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0073","-0e0 | -0e0","(-0e0) - (-0e0)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0074","-0e0 | 1e0","(-0e0) - (1e0)","-1e0","a",["-1e0","-1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0075","-0e0 | Inf","(-0e0) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0076","-0e0 | -Inf","(-0e0) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0077","-0e0 | NaN","(-0e0) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0078","1e0 | 0","(1e0) - (0)","1e0","a",["1e0","1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0079","1e0 | 1","(1e0) - (1)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0080","1e0 | -1","(1e0) - (-1)","2e0","a",["2e0","2e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0081","1e0 | 2**64","(1e0) - (2**64)","-1.8446744073709552e+19","a",["-1.8446744073709552e+19","-1.8446744073709552e+19",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0082","1e0 | 1/3","(1e0) - (1/3)","0.6666666666666667e0","a",["0.6666666666666667e0","0.6666666666666667e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0083","1e0 | 0e0","(1e0) - (0e0)","1e0","a",["1e0","1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0084","1e0 | -0e0","(1e0) - (-0e0)","1e0","a",["1e0","1e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0085","1e0 | 1e0","(1e0) - (1e0)","0e0","a",["0e0","0e0",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0086","1e0 | Inf","(1e0) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0087","1e0 | -Inf","(1e0) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0088","1e0 | NaN","(1e0) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0089","Inf | 0","(Inf) - (0)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0090","Inf | 1","(Inf) - (1)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0091","Inf | -1","(Inf) - (-1)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0092","Inf | 2**64","(Inf) - (2**64)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0093","Inf | 1/3","(Inf) - (1/3)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0094","Inf | 0e0","(Inf) - (0e0)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0095","Inf | -0e0","(Inf) - (-0e0)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0096","Inf | 1e0","(Inf) - (1e0)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0097","Inf | Inf","(Inf) - (Inf)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0098","Inf | -Inf","(Inf) - (-Inf)","Inf","a",["Inf","Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0099","Inf | NaN","(Inf) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0100","-Inf | 0","(-Inf) - (0)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0101","-Inf | 1","(-Inf) - (1)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0102","-Inf | -1","(-Inf) - (-1)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0103","-Inf | 2**64","(-Inf) - (2**64)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0104","-Inf | 1/3","(-Inf) - (1/3)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0105","-Inf | 0e0","(-Inf) - (0e0)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0106","-Inf | -0e0","(-Inf) - (-0e0)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0107","-Inf | 1e0","(-Inf) - (1e0)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0108","-Inf | Inf","(-Inf) - (Inf)","-Inf","a",["-Inf","-Inf",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0109","-Inf | -Inf","(-Inf) - (-Inf)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0110","-Inf | NaN","(-Inf) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0111","NaN | 0","(NaN) - (0)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0112","NaN | 1","(NaN) - (1)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0113","NaN | -1","(NaN) - (-1)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0114","NaN | 2**64","(NaN) - (2**64)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0115","NaN | 1/3","(NaN) - (1/3)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0116","NaN | 0e0","(NaN) - (0e0)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0117","NaN | -0e0","(NaN) - (-0e0)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0118","NaN | 1e0","(NaN) - (1e0)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0119","NaN | Inf","(NaN) - (Inf)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0120","NaN | -Inf","(NaN) - (-Inf)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]],["0121","NaN | NaN","(NaN) - (NaN)","NaN","a",["NaN","NaN",null,null,null],0,[["from","ladder:numeric×numeric"],["type","Num"]]]]}