BasicSpec.signature.output revision 4c4a3329080becd4b81d56396586b740487924cb
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maedersorts ABCDEFGHIJKLMONOPQRSTUVWXYZ, Boolean, Char, Data1, Data2,
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maeder Data3, Data4, Forest, Int, List, Nat, Pos, Rat, Set, Tree, a, a',
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maeder a'b''2, a_b_c, ab2, ab_2_3_a, abc, abcdefghijlklmnopqrstuvwxyz, b,
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maeder c, d, e, nat, s, t, x0123456789,
98890889ffb2e8f6f722b00e265a211f13b5a861Corneliu-Claudiu Prodescu ����������������������������������������������������������
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop ' ' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '!' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '!' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '#' : Char
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maederop '$' : Char
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maederop '$' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '%' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '&' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '&' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '(' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '(' : s
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop ')' : Char
ecf557c0b4f953106755a239da2c0b168064d3f4Christian Maederop ')' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '*' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '+' : Char
f9e0b18852b238ddb649d341194e05d7200d1bbeChristian Maederop ',' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '-' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '.' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '/' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '/' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '0' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '0' : s
bdf2e01977470bedcb4425e2dadabc9e9f6ba149Ewaryst Schulzop '1' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '1' : s
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '2' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '2' : s
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '3' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '3' : s
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '4' : Char
bdf2e01977470bedcb4425e2dadabc9e9f6ba149Ewaryst Schulzop '4' : s
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '5' : Char
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38Christian Maederop '5' : s
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38Christian Maederop '6' : Char
4c7f058cdd19ce67b2b5d4b7f69703d0f8a21e38Christian Maederop '6' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '7' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '7' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '8' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '8' : s
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '9' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '9' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop ':' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop ';' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '<' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '=' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '=' : s
bdf2e01977470bedcb4425e2dadabc9e9f6ba149Ewaryst Schulzop '>' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '?' : Char
65dce48b81f69e11a36bf1051314a845299446e1Christian Maederop '?' : s
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '@' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop 'A' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop 'B' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'C' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'D' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'E' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop 'F' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'G' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop 'H' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop 'I' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop 'J' : Char
62eaa2fb831613d8a6e59687f83a45be1041ab17Christian Maederop 'K' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop 'L' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'M' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'N' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'O' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'P' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop 'Q' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'R' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'S' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'T' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'U' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'V' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'W' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop 'X' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop 'Y' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop 'Z' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '[' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\"' : Char
62eaa2fb831613d8a6e59687f83a45be1041ab17Christian Maederop '\"' : s
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\'' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\000' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\000' : s
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\001' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\002' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '\003' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\004' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\005' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\006' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\007' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\008' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\009' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '\010' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\011' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\012' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\013' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\014' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\015' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\016' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '\017' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\018' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\019' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\020' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\021' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\022' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\023' : Char
67869d63d1725c79e4c07b51acd466a31932b275Christian Maederop '\024' : Char
1bc5dccbf0083a620ae1181c717fea75e4af5e5cChristian Maederop '\025' : Char
ecf557c0b4f953106755a239da2c0b168064d3f4Christian Maederop '\026' : Char
ecf557c0b4f953106755a239da2c0b168064d3f4Christian Maederop '\027' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\028' : Char
935613eb8e67d724f1c4a4d4a37be3324ef6708dChristian Maederop '\029' : Char
935613eb8e67d724f1c4a4d4a37be3324ef6708dChristian Maederop '\030' : Char
935613eb8e67d724f1c4a4d4a37be3324ef6708dChristian Maederop '\031' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\032' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\033' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\034' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\035' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\036' : Char
bdf2e01977470bedcb4425e2dadabc9e9f6ba149Ewaryst Schulzop '\037' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\038' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\039' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\040' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\041' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\042' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\043' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\044' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\045' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\046' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\047' : Char
65dce48b81f69e11a36bf1051314a845299446e1Christian Maederop '\048' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\049' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\050' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\051' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\052' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\053' : Char
de66af0f4b27f08f81c7ca9c573ef9cdf7ca7a07Christian Maederop '\054' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\055' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\056' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\057' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\058' : Char
083a5256468076d5a9bfeb22a6e97076c224252eChristian Maederop '\059' : Char
0d7d8e3dd817450cf792778d9d4e36420f5e8abfChristian Maederop '\060' : Char
bdf2e01977470bedcb4425e2dadabc9e9f6ba149Ewaryst Schulzop '\061' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\062' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\063' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\064' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\065' : Char
64e1905404e5135e98a26d2ab4150b6764956576Christian Maederop '\066' : Char
op '\067' : Char
op '\068' : Char
op '\069' : Char
op '\070' : Char
op '\071' : Char
op '\072' : Char
op '\073' : Char
op '\074' : Char
op '\075' : Char
op '\076' : Char
op '\077' : Char
op '\078' : Char
op '\079' : Char
op '\080' : Char
op '\081' : Char
op '\082' : Char
op '\083' : Char
op '\084' : Char
op '\085' : Char
op '\086' : Char
op '\087' : Char
op '\088' : Char
op '\089' : Char
op '\090' : Char
op '\091' : Char
op '\092' : Char
op '\093' : Char
op '\094' : Char
op '\095' : Char
op '\096' : Char
op '\097' : Char
op '\098' : Char
op '\099' : Char
op '\100' : Char
op '\101' : Char
op '\102' : Char
op '\103' : Char
op '\104' : Char
op '\105' : Char
op '\106' : Char
op '\107' : Char
op '\108' : Char
op '\109' : Char
op '\110' : Char
op '\111' : Char
op '\112' : Char
op '\113' : Char
op '\114' : Char
op '\115' : Char
op '\116' : Char
op '\117' : Char
op '\118' : Char
op '\119' : Char
op '\120' : Char
op '\121' : Char
op '\122' : Char
op '\123' : Char
op '\124' : Char
op '\125' : Char
op '\126' : Char
op '\127' : Char
op '\128' : Char
op '\129' : Char
op '\130' : Char
op '\131' : Char
op '\132' : Char
op '\133' : Char
op '\134' : Char
op '\135' : Char
op '\136' : Char
op '\137' : Char
op '\138' : Char
op '\139' : Char
op '\140' : Char
op '\141' : Char
op '\142' : Char
op '\143' : Char
op '\144' : Char
op '\145' : Char
op '\146' : Char
op '\147' : Char
op '\148' : Char
op '\149' : Char
op '\150' : Char
op '\151' : Char
op '\152' : Char
op '\153' : Char
op '\154' : Char
op '\155' : Char
op '\156' : Char
op '\157' : Char
op '\158' : Char
op '\159' : Char
op '\160' : Char
op '\161' : Char
op '\162' : Char
op '\163' : Char
op '\164' : Char
op '\165' : Char
op '\166' : Char
op '\167' : Char
op '\168' : Char
op '\169' : Char
op '\170' : Char
op '\171' : Char
op '\172' : Char
op '\173' : Char
op '\174' : Char
op '\175' : Char
op '\176' : Char
op '\177' : Char
op '\178' : Char
op '\179' : Char
op '\180' : Char
op '\181' : Char
op '\182' : Char
op '\183' : Char
op '\184' : Char
op '\185' : Char
op '\186' : Char
op '\187' : Char
op '\188' : Char
op '\189' : Char
op '\190' : Char
op '\191' : Char
op '\192' : Char
op '\193' : Char
op '\194' : Char
op '\195' : Char
op '\196' : Char
op '\197' : Char
op '\198' : Char
op '\199' : Char
op '\200' : Char
op '\201' : Char
op '\202' : Char
op '\203' : Char
op '\204' : Char
op '\205' : Char
op '\206' : Char
op '\207' : Char
op '\208' : Char
op '\209' : Char
op '\210' : Char
op '\211' : Char
op '\212' : Char
op '\213' : Char
op '\214' : Char
op '\215' : Char
op '\216' : Char
op '\217' : Char
op '\218' : Char
op '\219' : Char
op '\220' : Char
op '\221' : Char
op '\222' : Char
op '\223' : Char
op '\224' : Char
op '\225' : Char
op '\226' : Char
op '\227' : Char
op '\228' : Char
op '\229' : Char
op '\230' : Char
op '\231' : Char
op '\232' : Char
op '\233' : Char
op '\234' : Char
op '\235' : Char
op '\236' : Char
op '\237' : Char
op '\238' : Char
op '\239' : Char
op '\240' : Char
op '\241' : Char
op '\242' : Char
op '\243' : Char
op '\244' : Char
op '\245' : Char
op '\246' : Char
op '\247' : Char
op '\248' : Char
op '\249' : Char
op '\250' : Char
op '\251' : Char
op '\252' : Char
op '\253' : Char
op '\254' : Char
op '\255' : Char
op '\255' : s
op '\?' : Char
op '\\' : Char
op '\\' : s
op '\a' : Char
op '\b' : Char
op '\f' : Char
op '\n' : Char
op '\n' : s
op '\o000' : Char
op '\o000' : s
op '\o001' : Char
op '\o002' : Char
op '\o003' : Char
op '\o004' : Char
op '\o005' : Char
op '\o006' : Char
op '\o007' : Char
op '\o010' : Char
op '\o011' : Char
op '\o012' : Char
op '\o013' : Char
op '\o014' : Char
op '\o015' : Char
op '\o016' : Char
op '\o017' : Char
op '\o020' : Char
op '\o021' : Char
op '\o022' : Char
op '\o023' : Char
op '\o024' : Char
op '\o025' : Char
op '\o026' : Char
op '\o027' : Char
op '\o030' : Char
op '\o031' : Char
op '\o032' : Char
op '\o033' : Char
op '\o034' : Char
op '\o035' : Char
op '\o036' : Char
op '\o037' : Char
op '\o040' : Char
op '\o041' : Char
op '\o042' : Char
op '\o043' : Char
op '\o044' : Char
op '\o045' : Char
op '\o046' : Char
op '\o047' : Char
op '\o050' : Char
op '\o051' : Char
op '\o052' : Char
op '\o053' : Char
op '\o054' : Char
op '\o055' : Char
op '\o056' : Char
op '\o057' : Char
op '\o060' : Char
op '\o061' : Char
op '\o062' : Char
op '\o063' : Char
op '\o064' : Char
op '\o065' : Char
op '\o066' : Char
op '\o067' : Char
op '\o070' : Char
op '\o071' : Char
op '\o072' : Char
op '\o073' : Char
op '\o074' : Char
op '\o075' : Char
op '\o076' : Char
op '\o077' : Char
op '\o100' : Char
op '\o101' : Char
op '\o102' : Char
op '\o103' : Char
op '\o104' : Char
op '\o105' : Char
op '\o106' : Char
op '\o107' : Char
op '\o110' : Char
op '\o111' : Char
op '\o112' : Char
op '\o113' : Char
op '\o114' : Char
op '\o115' : Char
op '\o116' : Char
op '\o117' : Char
op '\o120' : Char
op '\o121' : Char
op '\o122' : Char
op '\o123' : Char
op '\o124' : Char
op '\o125' : Char
op '\o126' : Char
op '\o127' : Char
op '\o130' : Char
op '\o131' : Char
op '\o132' : Char
op '\o133' : Char
op '\o134' : Char
op '\o135' : Char
op '\o136' : Char
op '\o137' : Char
op '\o140' : Char
op '\o141' : Char
op '\o142' : Char
op '\o143' : Char
op '\o144' : Char
op '\o145' : Char
op '\o146' : Char
op '\o147' : Char
op '\o150' : Char
op '\o151' : Char
op '\o152' : Char
op '\o153' : Char
op '\o154' : Char
op '\o155' : Char
op '\o156' : Char
op '\o157' : Char
op '\o160' : Char
op '\o161' : Char
op '\o162' : Char
op '\o163' : Char
op '\o164' : Char
op '\o165' : Char
op '\o166' : Char
op '\o167' : Char
op '\o170' : Char
op '\o171' : Char
op '\o172' : Char
op '\o173' : Char
op '\o174' : Char
op '\o175' : Char
op '\o176' : Char
op '\o177' : Char
op '\o200' : Char
op '\o201' : Char
op '\o202' : Char
op '\o203' : Char
op '\o204' : Char
op '\o205' : Char
op '\o206' : Char
op '\o207' : Char
op '\o210' : Char
op '\o211' : Char
op '\o212' : Char
op '\o213' : Char
op '\o214' : Char
op '\o215' : Char
op '\o216' : Char
op '\o217' : Char
op '\o220' : Char
op '\o221' : Char
op '\o222' : Char
op '\o223' : Char
op '\o224' : Char
op '\o225' : Char
op '\o226' : Char
op '\o227' : Char
op '\o230' : Char
op '\o231' : Char
op '\o232' : Char
op '\o233' : Char
op '\o234' : Char
op '\o235' : Char
op '\o236' : Char
op '\o237' : Char
op '\o240' : Char
op '\o241' : Char
op '\o242' : Char
op '\o243' : Char
op '\o244' : Char
op '\o245' : Char
op '\o246' : Char
op '\o247' : Char
op '\o250' : Char
op '\o251' : Char
op '\o252' : Char
op '\o253' : Char
op '\o254' : Char
op '\o255' : Char
op '\o256' : Char
op '\o257' : Char
op '\o260' : Char
op '\o261' : Char
op '\o262' : Char
op '\o263' : Char
op '\o264' : Char
op '\o265' : Char
op '\o266' : Char
op '\o267' : Char
op '\o270' : Char
op '\o271' : Char
op '\o272' : Char
op '\o273' : Char
op '\o274' : Char
op '\o275' : Char
op '\o276' : Char
op '\o277' : Char
op '\o300' : Char
op '\o301' : Char
op '\o302' : Char
op '\o303' : Char
op '\o304' : Char
op '\o305' : Char
op '\o306' : Char
op '\o307' : Char
op '\o310' : Char
op '\o311' : Char
op '\o312' : Char
op '\o313' : Char
op '\o314' : Char
op '\o315' : Char
op '\o316' : Char
op '\o317' : Char
op '\o320' : Char
op '\o321' : Char
op '\o322' : Char
op '\o323' : Char
op '\o324' : Char
op '\o325' : Char
op '\o326' : Char
op '\o327' : Char
op '\o330' : Char
op '\o331' : Char
op '\o332' : Char
op '\o333' : Char
op '\o334' : Char
op '\o335' : Char
op '\o336' : Char
op '\o337' : Char
op '\o340' : Char
op '\o341' : Char
op '\o342' : Char
op '\o343' : Char
op '\o344' : Char
op '\o345' : Char
op '\o346' : Char
op '\o347' : Char
op '\o350' : Char
op '\o351' : Char
op '\o352' : Char
op '\o353' : Char
op '\o354' : Char
op '\o355' : Char
op '\o356' : Char
op '\o357' : Char
op '\o360' : Char
op '\o361' : Char
op '\o362' : Char
op '\o363' : Char
op '\o364' : Char
op '\o365' : Char
op '\o366' : Char
op '\o367' : Char
op '\o370' : Char
op '\o371' : Char
op '\o372' : Char
op '\o373' : Char
op '\o374' : Char
op '\o375' : Char
op '\o376' : Char
op '\o377' : Char
op '\o377' : s
op '\r' : Char
op '\t' : Char
op '\v' : Char
op '\x00' : Char
op '\x00' : s
op '\x01' : Char
op '\x02' : Char
op '\x03' : Char
op '\x04' : Char
op '\x05' : Char
op '\x06' : Char
op '\x07' : Char
op '\x08' : Char
op '\x09' : Char
op '\x0A' : Char
op '\x0B' : Char
op '\x0C' : Char
op '\x0D' : Char
op '\x0E' : Char
op '\x0F' : Char
op '\x10' : Char
op '\x11' : Char
op '\x12' : Char
op '\x13' : Char
op '\x14' : Char
op '\x15' : Char
op '\x16' : Char
op '\x17' : Char
op '\x18' : Char
op '\x19' : Char
op '\x1A' : Char
op '\x1B' : Char
op '\x1C' : Char
op '\x1D' : Char
op '\x1E' : Char
op '\x1F' : Char
op '\x20' : Char
op '\x21' : Char
op '\x22' : Char
op '\x23' : Char
op '\x24' : Char
op '\x25' : Char
op '\x26' : Char
op '\x27' : Char
op '\x28' : Char
op '\x29' : Char
op '\x2A' : Char
op '\x2B' : Char
op '\x2C' : Char
op '\x2D' : Char
op '\x2E' : Char
op '\x2F' : Char
op '\x30' : Char
op '\x31' : Char
op '\x32' : Char
op '\x33' : Char
op '\x34' : Char
op '\x35' : Char
op '\x36' : Char
op '\x37' : Char
op '\x38' : Char
op '\x39' : Char
op '\x3A' : Char
op '\x3B' : Char
op '\x3C' : Char
op '\x3D' : Char
op '\x3E' : Char
op '\x3F' : Char
op '\x40' : Char
op '\x41' : Char
op '\x42' : Char
op '\x43' : Char
op '\x44' : Char
op '\x45' : Char
op '\x46' : Char
op '\x47' : Char
op '\x48' : Char
op '\x49' : Char
op '\x4A' : Char
op '\x4B' : Char
op '\x4C' : Char
op '\x4D' : Char
op '\x4E' : Char
op '\x4F' : Char
op '\x50' : Char
op '\x51' : Char
op '\x52' : Char
op '\x53' : Char
op '\x54' : Char
op '\x55' : Char
op '\x56' : Char
op '\x57' : Char
op '\x58' : Char
op '\x59' : Char
op '\x5A' : Char
op '\x5B' : Char
op '\x5C' : Char
op '\x5D' : Char
op '\x5E' : Char
op '\x5F' : Char
op '\x60' : Char
op '\x61' : Char
op '\x62' : Char
op '\x63' : Char
op '\x64' : Char
op '\x65' : Char
op '\x66' : Char
op '\x67' : Char
op '\x68' : Char
op '\x69' : Char
op '\x6A' : Char
op '\x6B' : Char
op '\x6C' : Char
op '\x6D' : Char
op '\x6E' : Char
op '\x6F' : Char
op '\x70' : Char
op '\x71' : Char
op '\x72' : Char
op '\x73' : Char
op '\x74' : Char
op '\x75' : Char
op '\x76' : Char
op '\x77' : Char
op '\x78' : Char
op '\x79' : Char
op '\x7A' : Char
op '\x7B' : Char
op '\x7C' : Char
op '\x7D' : Char
op '\x7E' : Char
op '\x7F' : Char
op '\x80' : Char
op '\x81' : Char
op '\x82' : Char
op '\x83' : Char
op '\x84' : Char
op '\x85' : Char
op '\x86' : Char
op '\x87' : Char
op '\x88' : Char
op '\x89' : Char
op '\x8A' : Char
op '\x8B' : Char
op '\x8C' : Char
op '\x8D' : Char
op '\x8E' : Char
op '\x8F' : Char
op '\x90' : Char
op '\x91' : Char
op '\x92' : Char
op '\x93' : Char
op '\x94' : Char
op '\x95' : Char
op '\x96' : Char
op '\x97' : Char
op '\x98' : Char
op '\x99' : Char
op '\x9A' : Char
op '\x9B' : Char
op '\x9C' : Char
op '\x9D' : Char
op '\x9E' : Char
op '\x9F' : Char
op '\xA0' : Char
op '\xA1' : Char
op '\xA2' : Char
op '\xA3' : Char
op '\xA4' : Char
op '\xA5' : Char
op '\xA6' : Char
op '\xA7' : Char
op '\xA8' : Char
op '\xA9' : Char
op '\xAA' : Char
op '\xAB' : Char
op '\xAC' : Char
op '\xAD' : Char
op '\xAE' : Char
op '\xAF' : Char
op '\xB0' : Char
op '\xB1' : Char
op '\xB2' : Char
op '\xB3' : Char
op '\xB4' : Char
op '\xB5' : Char
op '\xB6' : Char
op '\xB7' : Char
op '\xB8' : Char
op '\xB9' : Char
op '\xBA' : Char
op '\xBB' : Char
op '\xBC' : Char
op '\xBD' : Char
op '\xBE' : Char
op '\xBF' : Char
op '\xC0' : Char
op '\xC1' : Char
op '\xC2' : Char
op '\xC3' : Char
op '\xC4' : Char
op '\xC5' : Char
op '\xC6' : Char
op '\xC7' : Char
op '\xC8' : Char
op '\xC9' : Char
op '\xCA' : Char
op '\xCB' : Char
op '\xCC' : Char
op '\xCD' : Char
op '\xCE' : Char
op '\xCF' : Char
op '\xD0' : Char
op '\xD1' : Char
op '\xD2' : Char
op '\xD3' : Char
op '\xD4' : Char
op '\xD5' : Char
op '\xD6' : Char
op '\xD7' : Char
op '\xD8' : Char
op '\xD9' : Char
op '\xDA' : Char
op '\xDB' : Char
op '\xDC' : Char
op '\xDD' : Char
op '\xDE' : Char
op '\xDF' : Char
op '\xE0' : Char
op '\xE1' : Char
op '\xE2' : Char
op '\xE3' : Char
op '\xE4' : Char
op '\xE5' : Char
op '\xE6' : Char
op '\xE7' : Char
op '\xE8' : Char
op '\xE9' : Char
op '\xEA' : Char
op '\xEB' : Char
op '\xEC' : Char
op '\xED' : Char
op '\xEE' : Char
op '\xEF' : Char
op '\xF0' : Char
op '\xF1' : Char
op '\xF2' : Char
op '\xF3' : Char
op '\xF4' : Char
op '\xF5' : Char
op '\xF6' : Char
op '\xF7' : Char
op '\xF8' : Char
op '\xF9' : Char
op '\xFA' : Char
op '\xFB' : Char
op '\xFC' : Char
op '\xFD' : Char
op '\xFE' : Char
op '\xFF' : Char
op '\xFF' : s
op ']' : Char
op '^' : Char
op '^' : s
op '_' : Char
op '`' : Char
op 'a' : Char
op 'a' : s
op 'b' : Char
op 'c' : Char
op 'd' : Char
op 'e' : Char
op 'f' : Char
op 'g' : Char
op 'h' : Char
op 'i' : Char
op 'j' : Char
op 'k' : Char
op 'l' : Char
op 'm' : Char
op 'n' : Char
op 'o' : Char
op 'p' : Char
op 'q' : Char
op 'r' : Char
op 's' : Char
op 't' : Char
op 'u' : Char
op 'v' : Char
op 'w' : Char
op 'x' : Char
op 'y' : Char
op 'z' : Char
op '{' : Char
op '|' : Char
op '}' : Char
op '~' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : s
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : s
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op '�' : Char
op +__ : Int -> Int
op +__ : Nat -> Nat
op +__ : Rat -> Rat
op - : s -> s
op -__ : Int -> Int
op -__ : Rat -> Rat
op 0 : Int
op 0 : Nat
op 0 : Rat
op 0 : nat
op 1 : Int
op 1 : Nat
op 1 : Pos
op 1 : Rat
op 1 : s
op 2 : Nat
op 2 : s
op 3 : Nat
op 3 : s
op 4 : Nat
op 4 : s
op 5 : Nat
op 6 : Nat
op 7 : Nat
op 8 : Nat
op 9 : Nat
op ACK : Char
op Add : Data1 * Set -> Set
op BEL : Char
op BS : Char
op CAN : Char
op CR : Char
op Cons : Data1 * List -> List
op Cons : Tree * Forest -> Forest
op Cons21 : Data1 * Data2 -> Data2
op Cons22 : Data2 * Data1 -> Data2
op Cons31 : Data1 * Data2 -> Data3
op Cons32 : Data2 * Data1 -> Data3
op Cons41 : Data1 * Data2 ->? Data4
op Cons42 : Data2 * Data1 ->? Data4
op DC1 : Char
op DC2 : Char
op DC3 : Char
op DC4 : Char
op DEL : Char
op DLE : Char
op EM : Char
op ENQ : Char
op EOT : Char
op ESC : Char
op ETB : Char
op ETX : Char
op FF : Char
op FS : Char
op False : Boolean
op Forest : Tree
op GS : Char
op HT : Char
op LF : Char
op Leaf : Data1 -> Tree
op Mt : Set
op NAK : Char
op NL : Char
op NP : Char
op NUL : Char
op Nil : Forest
op Nil : List
op Not__ : Boolean -> Boolean
op RS : Char
op SI : Char
op SO : Char
op SOH : Char
op SP : Char
op SUB : Char
op SYN : Char
op SYX : Char
op True : Boolean
op US : Char
op VT : Char
op __! : Nat -> Nat
op __*__ : Int * Int -> Int
op __*__ : Nat * Nat -> Nat
op __*__ : Pos * Pos -> Pos
op __*__ : Rat * Rat -> Rat
op __*__ : s * s -> s
op __+__ : Int * Int -> Int
op __+__ : Nat * Nat -> Nat
op __+__ : Nat * Pos -> Pos
op __+__ : Pos * Nat -> Pos
op __+__ : Rat * Rat -> Rat
op __+__ : s * s -> s
op __+-*/\&=<>!?:.$@#^~�����������������|__ : s * s -> s
op __-__ : Int * Int -> Int
op __-__ : Nat * Nat -> Int
op __-__ : Rat * Rat -> Rat
op __-__ : s * s -> s
op __-?__ : Nat * Nat ->? Nat
op __/__ : Int * Pos -> Rat
op __/__ : s * s -> s
op __/__ : Rat * Rat ->? Rat
op __/?__ : Int * Int ->? Int
op __/?__ : Nat * Nat ->? Nat
op __@@__ : Nat * Nat -> Nat
op __@@__ : s * s -> s
op __And__ : Boolean * Boolean -> Boolean
op __Or__ : Boolean * Boolean -> Boolean
op __^__ : Int * Nat -> Int
op __^__ : Nat * Nat -> Nat
op __^__ : Rat * Int -> Rat
op __a : b
op __and'__ : s
op __div__ : Int * Int ->? Int
op __div__ : Nat * Nat ->? Nat
op __exp__ : s * s -> s
op __frac__ : s * s -> s
op __mod__ : Int * Int ->? Nat
op __mod__ : Nat * Nat ->? Nat
op __quot__ : Int * Int ->? Int
op __quot__ : Nat * Nat ->? Nat
op __rem__ : Int * Int ->? Int
op __rem__ : Nat * Nat ->? Nat
op a : Data1
op a : b
op a : s
op a : s -> t
op abs : Int -> Nat
op abs : Nat -> Nat
op abs : Rat -> Rat
op b : Data1
op b : s -> s
op b : s -> t
op c : Data1
op c : b
op c : d
op c : s
op c : t
op c : a -> s
op c : a * t * t * t -> s
op c : a * t * t * t * t -> s
op c : s * s -> s
op c : s * s * s -> s
op c : s * s * t -> s
op c : a ->? s
op chr : Nat ->? Char
op d : t
op d : s -> t
op e : t
op f : s ->? s
op g : s -> t
op g : s ->? s
op max : Int * Int -> Int
op max : Nat * Nat -> Nat
op max : Rat * Rat -> Rat
op max : Nat * Nat ->? Nat
op min : Int * Int -> Int
op min : Nat * Nat -> Nat
op min : Rat * Rat -> Rat
op min : Nat * Nat ->? Nat
op ord : Char -> Nat
op pre : Nat ->? Nat
op sel1 : Data3 ->? Data1
op sel1 : Data4 ->? Data1
op sel2 : Data3 ->? Data2
op sel2 : Data4 ->? Data2
op sign : Int -> Int
op suc : Nat -> Nat
op suc : Nat -> Pos
op succ : nat -> nat
op {__} : s -> s
op {} : s
pred __<__ : Int * Int
pred __<__ : Nat * Nat
pred __<__ : Rat * Rat
pred __<__ : a * a
pred __<=__ : Int * Int
pred __<=__ : Nat * Nat
pred __<=__ : Rat * Rat
pred __>__ : Int * Int
pred __>__ : Nat * Nat
pred __>__ : Rat * Rat
pred __>=__ : Int * Int
pred __>=__ : Nat * Nat
pred __>=__ : Rat * Rat
pred a : ()
pred b : s
pred c : s * s
pred c : s * s * s
pred c : s * s * t
pred even : Int
pred even : Nat
pred isDigit : Char
pred isLetter : Char
pred isPrintable : Char
pred odd : Int
pred odd : Nat
pred p : ()
pred q : s
Error (line 427, column 12) not a predicate: e
Error (line 426, column 26) not a predicate: e
Error (line 351, column 11) wrong number of places '__and'__'
Error (line 305, column 6) unknown sort 'd'
Error (line 304, column 6) unknown sort 'b'
Error (line 294, column 25) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : s'
Error (line 294, column 29) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a -> s'
Error (line 294, column 55) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a ->? s'
Error (line 294, column 29) duplicates at '(294,55)' for 'c : a -> s'
Error (line 294, column 57) unknown sort 'a'
Error (line 294, column 38) unknown sort 'a'
Error (line 294, column 31) unknown sort 'a'
Error (line 292, column 13) unknown sort 'b'
Error (line 292, column 7) unknown sort 'b'
Error (line 290, column 20) unknown sort 'a'
Error (line 290, column 16) unknown sort 'a'
Error (line 287, column 35) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : s'
Error (line 287, column 58) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a ->? s'
Error (line 287, column 60) unknown sort 'a'
Error (line 287, column 41) unknown sort 'a'
Error (line 286, column 30) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : s'
Error (line 286, column 53) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a ->? s'
Error (line 286, column 55) unknown sort 'a'
Error (line 286, column 36) unknown sort 'a'
Error (line 285, column 25) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : s'
Error (line 285, column 50) total selectors 'a : s -> t,b : s -> t,d : s -> t'
must appear in alternative 'c : a ->? s'
Error (line 285, column 52) unknown sort 'a'
Error (line 285, column 34) duplicates at '(285,41)' for 'a : s -> t'
Error (line 285, column 31) unknown sort 'a'
Error (line 270, column 3) unexpected mixfix token: a
Error (line 270, column 7) unexpected mixfix token: a
Error (line 268, column 15) unknown sort 'b'
Error (line 268, column 6) wrong number of places '__a'
Error (line 268, column 9) unknown sort 'b'
Error (line 266, column 20) unknown sort 'a'
Error (line 266, column 16) unknown sort 'a'
Error (line 261, column 9) no resolution for term: i * q - j * p