CASL/test/BasicSpec.signature.output

	BasicSpec.signature.output revision 5a448e9be8c4482a978b174b744237757335140f
6ae232055d4d8a97267517c5e50074c2c819941andsorts ABCDEFGHIJKLMONOPQRSTUVWXYZ, Boolean, Char, Data1, Data2,
6ae232055d4d8a97267517c5e50074c2c819941and      Data3, Data4, Forest, Int, List, Nat, Pos, Rat, Set, Tree, a, a',
fd9abdda70912b99b24e3bf1a38f26fde908a74cnd      a'b''2, a_b_c, ab2, ab_2_3_a, abc, abcdefghijlklmnopqrstuvwxyz, b,
fd9abdda70912b99b24e3bf1a38f26fde908a74cnd      c, d, e, nat, s, s1, s2, t, x0123456789,
fd9abdda70912b99b24e3bf1a38f26fde908a74cnd      ÀÁÂÃÄÅÆÇÈÉÊËÌÍÎÏÑÒÓÔÕÖØÙÚÛÜÝßàáâãäåæçèéêëìíîïñòóôõöøùúûüýÿ
6ae232055d4d8a97267517c5e50074c2c819941andsorts a = b = c = d = e; s = t; Data1 < Data2; Nat < Int;
6ae232055d4d8a97267517c5e50074c2c819941and      Pos < Nat; Int < Rat; s1, s2 < s
6ae232055d4d8a97267517c5e50074c2c819941andop ' ' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '!' : Char
96ad5d81ee4a2cc66a4ae19893efc8aa6d06fae7jailletcop '!' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '#' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '$' : Char
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenop '$' : s
2e545ce2450a9953665f701bb05350f0d3f26275ndop '%' : Char
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenop '&' : Char
d29d9ab4614ff992b0e8de6e2b88d52b6f1f153erbowenop '&' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '(' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '(' : s
af33a4994ae2ff15bc67d19ff1a7feb906745bf8rbowenop ')' : Char
3f08db06526d6901aa08c110b5bc7dde6bc39905ndop ')' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '*' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '+' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop ',' : Char
b43f840409794ed298e8634f6284741f193b6c4ftakashiop '-' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '.' : Char
b43f840409794ed298e8634f6284741f193b6c4ftakashiop '/' : Char
af84459fbf938e508fd10b01cb8d699c79083813takashiop '/' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '0' : Char
1d980e5489836e977ba59b419e27b0ec875c4bd3takashiop '0' : s
f086b4b402fa9a2fefc7dda85de2a3cc1cd0a654rjungop '1' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '1' : s
b43f840409794ed298e8634f6284741f193b6c4ftakashiop '2' : Char
b43f840409794ed298e8634f6284741f193b6c4ftakashiop '2' : s
b43f840409794ed298e8634f6284741f193b6c4ftakashiop '3' : Char
b43f840409794ed298e8634f6284741f193b6c4ftakashiop '3' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '4' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '4' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '5' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '5' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '6' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '6' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '7' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '7' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '8' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '8' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '9' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '9' : s
6ae232055d4d8a97267517c5e50074c2c819941andop ':' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop ';' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '<' : Char
30471a4650391f57975f60bbb6e4a90be7b284bfhumbedoohop '=' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '=' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '>' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '?' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '?' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '@' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'A' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'B' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'C' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'D' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'E' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'F' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'G' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'H' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'I' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'J' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'K' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'L' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'M' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'N' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'O' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'P' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'Q' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'R' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'S' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'T' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'U' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'V' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'W' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'X' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'Y' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop 'Z' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '[' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\"' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\"' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '\'' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\000' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\000' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '\001' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\002' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\003' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\004' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\005' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\006' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\007' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\008' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\009' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\010' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\011' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\012' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\013' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\014' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\015' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\016' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\017' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\018' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\019' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\020' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\021' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\022' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\023' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\024' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\025' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\026' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\027' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\028' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\029' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\030' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\031' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\032' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\033' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\034' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\035' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\036' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\037' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\038' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\039' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\040' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\041' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\042' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\043' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\044' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\045' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\046' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\047' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\048' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\049' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\050' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\051' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\052' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\053' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\054' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\055' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\056' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\057' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\058' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\059' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\060' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\061' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\062' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\063' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\064' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\065' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\066' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\067' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\068' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\069' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\070' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\071' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\072' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\073' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\074' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\075' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\076' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\077' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\078' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\079' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\080' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\081' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\082' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\083' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\084' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\085' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\086' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\087' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\088' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\089' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\090' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\091' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\092' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\093' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\094' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\095' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\096' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\097' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\098' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\099' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\100' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\101' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\102' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\103' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\104' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\105' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\106' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\107' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\108' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\109' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\110' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\111' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\112' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\113' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\114' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\115' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\116' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\117' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\118' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\119' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\120' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\121' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\122' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\123' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\124' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\125' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\126' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\127' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\128' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\129' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\130' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\131' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\132' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\133' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\134' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\135' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\136' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\137' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\138' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\139' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\140' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\141' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\142' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\143' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\144' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\145' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\146' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\147' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\148' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\149' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\150' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\151' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\152' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\153' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\154' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\155' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\156' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\157' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\158' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\159' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\160' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\161' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\162' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\163' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\164' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\165' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\166' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\167' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\168' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\169' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\170' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\171' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\172' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\173' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\174' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\175' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\176' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\177' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\178' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\179' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\180' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\181' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\182' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\183' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\184' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\185' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\186' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\187' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\188' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\189' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\190' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\191' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\192' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\193' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\194' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\195' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\196' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\197' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\198' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\199' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\200' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\201' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\202' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\203' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\204' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\205' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\206' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\207' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\208' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\209' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\210' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\211' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\212' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\213' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\214' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\215' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\216' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\217' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\218' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\219' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\220' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\221' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\222' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\223' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\224' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\225' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\226' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\227' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\228' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\229' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\230' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\231' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\232' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\233' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\234' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\235' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\236' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\237' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\238' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\239' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\240' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\241' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\242' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\243' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\244' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\245' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\246' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\247' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\248' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\249' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\250' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\251' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\252' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\253' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\254' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\255' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\255' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '\?' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\\' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\\' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '\a' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\b' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\f' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\n' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\n' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '\o000' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o000' : s
6ae232055d4d8a97267517c5e50074c2c819941andop '\o001' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o002' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o003' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o004' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o005' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o006' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o007' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o010' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o011' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o012' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o013' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o014' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o015' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o016' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o017' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o020' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o021' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o022' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o023' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o024' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o025' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o026' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o027' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o030' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o031' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o032' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o033' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o034' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o035' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o036' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o037' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o040' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o041' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o042' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o043' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o044' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o045' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o046' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o047' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o050' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o051' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o052' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o053' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o054' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o055' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o056' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o057' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o060' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o061' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o062' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o063' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o064' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o065' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o066' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o067' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o070' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o071' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o072' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o073' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o074' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o075' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o076' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o077' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o100' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o101' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o102' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o103' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o104' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o105' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o106' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o107' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o110' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o111' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o112' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o113' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o114' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o115' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o116' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o117' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o120' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o121' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o122' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o123' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o124' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o125' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o126' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o127' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o130' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o131' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o132' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o133' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o134' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o135' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o136' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o137' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o140' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o141' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o142' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o143' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o144' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o145' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o146' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o147' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o150' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o151' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o152' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o153' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o154' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o155' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o156' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o157' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o160' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o161' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o162' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o163' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o164' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o165' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o166' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o167' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o170' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o171' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o172' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o173' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o174' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o175' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o176' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o177' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o200' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o201' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o202' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o203' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o204' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o205' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o206' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o207' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o210' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o211' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o212' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o213' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o214' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o215' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o216' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o217' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o220' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o221' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o222' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o223' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o224' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o225' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o226' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o227' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o230' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o231' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o232' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o233' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o234' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o235' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o236' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o237' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o240' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o241' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o242' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o243' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o244' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o245' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o246' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o247' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o250' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o251' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o252' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o253' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o254' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o255' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o256' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o257' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o260' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o261' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o262' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o263' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o264' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o265' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o266' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o267' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o270' : Char
4b3a8afbfcea8b265d179a122bf40dfedd1ce280takashiop '\o271' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o272' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o273' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o274' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o275' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o276' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o277' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o300' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o301' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o302' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o303' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o304' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o305' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o306' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o307' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o310' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o311' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o312' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o313' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o314' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o315' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o316' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o317' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o320' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o321' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o322' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o323' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o324' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o325' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o326' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o327' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o330' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o331' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o332' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o333' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o334' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o335' : Char
b43f840409794ed298e8634f6284741f193b6c4ftakashiop '\o336' : Char
af84459fbf938e508fd10b01cb8d699c79083813takashiop '\o337' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\o340' : Char
1d980e5489836e977ba59b419e27b0ec875c4bd3takashiop '\o341' : Char
f086b4b402fa9a2fefc7dda85de2a3cc1cd0a654rjungop '\o342' : Char
727872d18412fc021f03969b8641810d8896820bhumbedoohop '\o343' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o344' : Char
727872d18412fc021f03969b8641810d8896820bhumbedoohop '\o345' : Char
cc7e1025de9ac63bd4db6fe7f71c158b2cf09fe4humbedoohop '\o346' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o347' : Char
cc7e1025de9ac63bd4db6fe7f71c158b2cf09fe4humbedoohop '\o350' : Char
727872d18412fc021f03969b8641810d8896820bhumbedoohop '\o351' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o352' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o353' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o354' : Char
ac082aefa89416cbdc9a1836eaf3bed9698201c8humbedoohop '\o355' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o356' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o357' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o360' : Char
727872d18412fc021f03969b8641810d8896820bhumbedoohop '\o361' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o362' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o363' : Char
30471a4650391f57975f60bbb6e4a90be7b284bfhumbedoohop '\o364' : Char
205f749042ed530040a4f0080dbcb47ceae8a374rjungop '\o365' : Char
af33a4994ae2ff15bc67d19ff1a7feb906745bf8rbowenop '\o366' : Char
0d0ba3a410038e179b695446bb149cce6264e0abndop '\o367' : Char
7fec19672a491661b2fe4b29f685bc7f4efa64d4ndop '\o370' : Char
7fec19672a491661b2fe4b29f685bc7f4efa64d4ndop '\o371' : Char
7fec19672a491661b2fe4b29f685bc7f4efa64d4ndop '\o372' : Char
6ae232055d4d8a97267517c5e50074c2c819941andop '\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 * a -> a
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 : a
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 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 min : Int * Int -> Int
op min : Nat * Nat -> Nat
op min : Rat * Rat -> Rat
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 90.19, no typing for: suc(0) : Pos
*** Error 147.8-147.16,
ambiguous mixfix term
  -__(__-__(a, b))
  -(__-__(a, b))
*** Error 246.8-246.14,
ambiguous mixfix term
  -__(__/__(i, p))
  -(__/__(i, p))
*** Error 261.9-261.21,
ambiguous mixfix term
  __*__(i, __-__(q, __*__(j, p)))
  __-__(__*__(i, q), __*__(j, p))
  __*__(__*__(i, __-__(q, j)), p)
*** Error 266.16, unknown sort 'a'
*** Error 266.20, unknown sort 'a'
*** Error 268.9, unknown sort 'b'
*** Error 268.4-268.6, wrong number of places '__a'
*** Error 268.15, unknown sort 'b'
*** Error 270.3, no operation with 0 arguments found for 'a'
*** Error 285.17-285.18, unknown sort 's2'
*** Error 285.20-285.21, unknown sort 's1'
*** Error 285.31, unknown sort 'a'
*** Error 285.34, duplicates at '(285,41)' for 'a : s -> t'
*** Error 285.52, unknown sort 'a'
*** Error 286.36, unknown sort 'a'
*** Error 286.55, unknown sort 'a'
*** Error 286.53, illegal free partial constructor 'c'
*** Error 287.41, unknown sort 'a'
*** Error 287.60, unknown sort 'a'
*** Error 290.16, unknown sort 'a'
*** Error 290.20, unknown sort 'a'
*** Error 292.7, unknown sort 'b'
*** Error 292.13, unknown sort 'b'
*** Error 294.31, unknown sort 'a'
*** Error 294.38, unknown sort 'a'
*** Error 294.57, unknown sort 'a'
*** Error 294.29, duplicates at '(294,55)' for 'c : a -> s'
*** Error 304.6, unknown sort 'b'
*** Error 305.6, unknown sort 'd'
*** Error 316.3,
ambiguous term
  (op a : b) = (op a : b)
  (var a : s) = (var a : s)
*** Error 317.3,
ambiguous term
  (op a : b) = (op a : b)
  (var a : s) = (var a : s)
*** Error 320.5,
ambiguous term
  (op a : b) = (op a : b)
  (var a : s) = (var a : s)
*** Error 321.5,
ambiguous term
  (op a : b) = (op a : b)
  (var a : s) = (var a : s)
*** Error,
ambiguous term
  (op __@@__ : Nat * Nat -> Nat)((op 1 : Pos), (op 2 : Nat))
  (op __@@__ : s * s -> s)((op 1 : s), (op 2 : s))
*** Error 342.20, no operation with 2 arguments found for '__E__'
*** Error 342.32, no operation with 2 arguments found for '__E__'
*** Error 342.45, no operation with 2 arguments found for '__:::__'
*** Error 343.14, no operation with 2 arguments found for '__E__'
*** Error 343.29, no operation with 2 arguments found for '__E__'
*** Error 343.45, no operation with 2 arguments found for '__E__'
*** Error 351.9-351.16, wrong number of places '__and'__'
*** Error 426.26, not a formula 'e'
*** Error 427.12, not a formula 'e'