" This is the main file associated with the type analysis phase of the compilation. It is called by calling FUNC-ANA with the main data structure pointer. ANA is the FUNCTION that dispatches to the various special handlers and the SUBR call analyzer further dispatches for specific functions." " Many analyzers for specific SUBRs appear in their own files (CARITH, STRUCT etc.). Currently no special hacks are done for TYPE?, EMPTY? etc. in COND, ANDS and ORS." " All analysis functions are called with 2 args, a NODE and a desired type specification. These args are usually called NOD and RTYP or N and R." " ANA is the main analysis dispatcher (see ANALYZERS at the end of this file for its dispatch table." #WORD *23316420275* > PHRASE8 #WORD *33230222626* NODE ANY) NOD4 P5> > TAG13 + PHRASE9> AGAIN15 + PHRASE17> (TYPE FALSE)> PHRASE17 PHRASE19 EXIT14 PHRASE22 PHRASE23 TAG27 - TAG28> TAG28 TAG26 TAG32 - TAG33> TAG33 TAG31 = TEMP29> MAP37 TAG50 TAG51 TAG57 TAG58 MAP38 MAPAP40 PHRASE60 TAG62 TAG63 PHRASE35 MAP66 TAG78 TAG79 TAG85 TAG86 MAP67 MAPAP69 TAG90 TAG91 PHRASE24 TAG93 TAG94 PHRASE92 TAG97 TAG98 PHRASE96 PHRASE9 #WORD *11532332567* FIX> ANY NODE) GIV4 REQ5 NAME6 NOD7> - PHRASE11> PHRASE11 PHRASE14 PHRASE16 #WORD *35072322136* - PHRASE10> PHRASE10 " FUNC-ANA main entry to analysis phase. Analyzes bindings then body." #WORD *21272717127* PHRASE10 PHRASE15 + PHRASE19> PHRASE19 #WORD *1770756522* FCN4> > > - PHRASE30> PHRASE30 AGAIN47 + PHRASE49> PHRASE49 > + PHRASE67> PHRASE67 PHRASE68 + PHRASE77> PHRASE77 - BOOL84> + BOOL83> BOOL84 - BOOL90> BOOL90 + AGAIN47> BOOL83 - PHRASE81> - AGAIN47> PHRASE81 - PHRASE108> PHRASE108 " BIND-AN analyze binding structure for PROGs, FUNCTIONs etc." #WORD *2754703073* ) BNDS4> AGAIN10 PHRASE12 > " ENTROPY ignore call and return." #WORD *24572033427* #WORD *27576323030* - PHRASE6> PHRASE6 PHRASE10 " Analyze AUX and OPTIONAL intializations." #WORD *35435344735* - PHRASE11> PHRASE11 + PHRASE15> BOOL19 - PHRASE23> PHRASE23 PHRASE24 PHRASE15 PHRASE25 " ARGS-BAN analyze ARGS decl (change to OPTIONAL in some cases)." #WORD *34214105762* SYMTAB) SYM4> + PHRASE8> PHRASE8 PHRASE11 + PHRASE13> PHRASE13 + TAG21> > TAG21 #WORD *25605130251* + PHRASE6> PHRASE6 PHRASE10 + PHRASE12> PHRASE12 PHRASE15 "BIND-DISPATCH go to various binding analyzers analyzers." #WORD *13645572622* ANY) SYM4> > CASE8 CASE9 CASE10 CASE11 CASE12 CASE13 CASE14 CASE15 CASE16 CASE17 CASE18 CASE19 CASE20 " SEQ-AN analyze a sequence of NODES discarding values until the last." #WORD *3174247171* ANY "OPTIONAL" ANY) L6 FTYP7 DO-PRED8> OPT4 OPT5> OPT4 > OPT5 ) RES23 TEMP17:LBIND N19:NODE ENDIF-FLAG25 TEMP33 TEMP45> PHRASE12 (TYPE FALSE)> > AGAIN27 (TYPE FALSE)> + BOOL30> BOOL31 + PHRASE29> BOOL30 + PHRASE37> PHRASE37 PHRASE48 + PHRASE51> (TYPE FALSE)> PHRASE51 PHRASE29 + PHRASE58> PHRASE58 - PHRASE80> BOOL68 - PHRASE71> + PHRASE80> PHRASE71 PHRASE80 - PHRASE83> (TYPE FALSE)> PHRASE83 + PHRASE89> PHRASE89 PHRASE87 EXIT16 + PHRASE101> PHRASE101 #WORD *17532454754* NODE ANY) N4 STR5> > TAG11 TAG13 > TAG12 + TAG14> > TAG14 - TAG16> TAG21 TAG16 > " ANALYZE ASSIGNED? usage." #WORD *15000171036* ) TEMP15 TT7:NODE T29> PHRASE12 - PHRASE38> PHRASE26 PHRASE19 PROCESS>> PHRASE29 + PHRASE33> PHRASE33 PHRASE31 PHRASE38 )> " ANALYZE LVAL usage. Become either direct reference or PUSHJ" #WORD *35667234005* ) P12 TEM6:LIST TEMP17 TEMP33 T311> PHRASE15 - PHRASE96> - BOOL22> BOOL22 + PHRASE19> BOOL21 TEMP33 = TEMP33> PHRASE28 + PHRASE41> > + PHRASE41> > > PHRASE41 - BOOL65> BOOL65 - PHRASE59> TAG69 TAG68 PHRASE59 > + PHRASE79> PHRASE79 PHRASE19 + PHRASE83> PHRASE83 + BOOL88> BOOL88 + PHRASE90> PHRASE90 PHRASE81 PROCESS>> + PHRASE93> PHRASE93 PHRASE96 )> " SET-ANA analyze uses of SET." #WORD *6766165636* TAG32 TAG31 TAG26 TAG29 TAG28 - PHRASE163> BOOL37 BOOL36 PHRASE35 - BOOL45> BOOL45 + PHRASE42> BOOL49 BOOL48 BOOL44 PHRASE55 PHRASE67 - PHRASE74> + PHRASE42> PHRASE74 > - BOOL79> BOOL79 + PHRASE81> PHRASE81 - BOOL90> BOOL90 PHRASE89 + PHRASE93> () = TEMP30> PHRASE93 () = TEMP30> TEMP30 = TEMP30> PHRASE95 PHRASE97 PHRASE100 - PHRASE106> PHRASE106 PHRASE107 PHRASE110 PHRASE111 > + PHRASE115> + PHRASE115> PHRASE115 PHRASE113 PHRASE42 + PHRASE141> PHRASE141 PHRASE139 PROCESS>> PHRASE146 PHRASE135 + PHRASE156> PHRASE156 PHRASE152 PROCESS>> PHRASE149 PHRASE163 #WORD *37570557355* ) (LN7 0) TEMP3:LBIND TEMP18 L-OF-A12 TEMP30 TEMP43 ATM46 N47 NT48 TEMP87> TAG32 TAG31 TAG26 TAG29 TAG28 MAP34 BOOL52 TAG59 TAG61 TAG62 PHRASE51 PHRASE65 PHRASE68 - PHRASE72> PHRASE72 - PHRASE76> PHRASE78 PHRASE76 - PHRASE81> PHRASE81 - PHRASE83> PHRASE85 PHRASE97 + BOOL105> - PHRASE104> BOOL105 > PHRASE104 > - PHRASE113> PHRASE113 PHRASE114 > + PHRASE134> + PHRASE134> PHRASE83 PHRASE134 + PHRASE137> - BOOL142> BOOL142 - PHRASE137> BOOL141 PHRASE137 TAG146 TAG147 MAPAP37 TAG150 TAG151 #WORD *12130671254* ) NOD4 AL5 NL6> MAP14 - PHRASE28> PHRASE28 - PHRASE32> PHRASE34 PHRASE32 - PHRASE37> PHRASE37 - PHRASE40> - PHRASE42> PHRASE42 > PHRASE40 TAG46 TAG47 MAPAP17 MAP49 BOOL63 > - PHRASE73> PHRASE67 PHRASE73 TAG79 PHRASE62 TAG84 PHRASE81 MAPAP52 MAP86 - PHRASE94> PHRASE94 MAPAP89 PHRASE98 PHRASE100 )> #WORD *70077115* ) V4> AGAIN8 - PHRASE10> PHRASE10 #WORD *17010373327* #WORD *16170023043* LIST) L4> (TYPE FALSE)> MAP6 + TAG20> (TYPE FALSE)> TAG20 PHRASE18 MAPAP9 #WORD *23574207050* ]> "OPTIONAL" ANY) L6 V7 FLG8> OPT4 OPT5> OPT4 > OPT5 - EXIT11> AGAIN14 + EXIT11> - PHRASE18> PHRASE18 EXIT11 AGAIN25 PHRASE27 + EXIT30> AGAIN31 + EXIT30> MAP37 TAG54 TAG55 MAP38 MAPAP40 EXIT30 - PHRASE57> + PHRASE59> PHRASE59 PHRASE61 PHRASE57 #WORD *15630143052* ) V4> AGAIN11 - PHRASE13> PHRASE13 - PHRASE15> PHRASE15 #WORD *26753335367* ) L4 V5> AGAIN15 PHRASE17 - PHRASE20> PHRASE20 - PHRASE21> PHRASE28 PHRASE24 PHRASE21 PHRASE33 #WORD *36504120426* ) L14 L25> MAP7 - MAP8> TAG24 PHRASE19 TAG28 TAG29 MAP8 MAPAP10 MAP31 - MAP32> TAG44 PHRASE40 TAG48 TAG49 MAP32 MAPAP34 PHRASE51 TAG53 TAG54 #WORD *6716114513* #WORD *26173145242* ) L4 V5> AGAIN10 - PHRASE12> PHRASE12 - PHRASE14> TAG20 TAG19 PHRASE14 #WORD *4013752212* SYMTAB> ]> "OPTIONAL" ANY) LS6 LI7 FLG8> OPT4 OPT5> OPT4 > OPT5 (TYPE FALSE)> MAP10 TAG24 TAG23 (TYPE FALSE)> MAP30 PHRASE22 + PHRASE41> PHRASE41 MAPAP13 #WORD *11723137516* NODE SYMTAB) NOD4 SYM5> + TAG12> > TAG12 > TAG13 TAG29 TAG28 TAG23 TAG26 TAG25 PHRASE17 MAP34 MAPAP37 () = L6> L6 = L6> " Ananlyze a FORM that could really be an NTH." #WORD *21131610712* PHRASE16 PHRASE18 PHRASE10 " Further analyze a FORM." #WORD *10113446137* - BOOL8> - BOOL8> BOOL8 "Determine if an ATOM is mainfest." #WORD *25776244411* ATOM) ATM4> + TAG12> + TAG9> - TAG8> TAG9 > TAG8 - TAG11> > TAG11 TAG12 " Search for a decl associated with a local value." #WORD *13154210207* < ANY ATOM>> ATOM) ATM4> AGAIN12 > PHRASE14 PHRASE16 " Here to flush decls of specials for an external function call." #WORD *16354624505* > " Here to flush decls when a PUT, PUTREST or external call happens." #WORD *27615676341* #WORD *10672521264* + PHRASE10> AGAIN19 + PHRASE21> + BOOL24> + BOOL28> BOOL24 + PHRASE21> > + PHRASE21> + BOOL28> BOOL28 PHRASE21 PHRASE10 AGAIN37 #WORD *15222311316* + BOOL10> + BOOL10> > + PHRASE15> PHRASE15 - BOOL8> BOOL10 BOOL8 " Punt forms with segments in them." #WORD *21616245234* AGAIN12 (TYPE FALSE)> BOOL13 BOOL14 EXIT9 + PHRASE17> PHRASE17 PHRASE7 " Determine if the arg to STACKFORM is a SUBR." #WORD *37004414543* NODE) NOD4> + PHRASE11> + PHRASE11> - PHRASE11> PHRASE11 PHRASE9 " Return type returned by a SUBR." #WORD *5143337320* MSUBR) SUB4> + TAG10> - PHRASE9> TAG10 PHRASE9 " Access the SUBR data base for return type." #WORD *34223560135* ANY) SUB4> TAG8 TAG9 TAG6 (TYPE FALSE)> TAG7 TAG13 PHRASE15 " GVAL analyzer." #WORD *32256746400* - PHRASE36> + PHRASE22> PHRASE22 + PHRASE26> + PHRASE29> + PHRASE29> + PHRASE26> PHRASE29 + PHRASE26> PHRASE32 PHRASE26 PHRASE18 PHRASE36 )> #WORD *30767275324* - PHRASE12> PHRASE12 > )> > )> " Analyze SETG usage." #WORD *13520535503* - PHRASE55> TAG28 TAG27 TAG22 TAG25 TAG24 + PHRASE32> PHRASE32 + PHRASE36> + PHRASE39> + PHRASE39> + PHRASE36> PHRASE39 + PHRASE36> PHRASE42 - PHRASE44> PHRASE44 PHRASE36 PHRASE30 PHRASE51 PHRASE55 )> #WORD *5651731043* ) V4> + PHRASE6> AGAIN15 PHRASE17 PHRASE18 PHRASE6 #WORD *17551505742* LIST) V4 NL5> + PHRASE7> AGAIN16 PHRASE18 MAP25 PHRASE36 MAPAP28 PHRASE19 PHRASE7 #WORD *30206662455* "OPTIONAL" ANY) V7 VL8 FLG9> OPT4 OPT5 OPT6> OPT4 OPT5 > OPT6 AGAIN13 PHRASE15 PHRASE17 - PHRASE18> > PHRASE18 #WORD *27455132237* + BOOL7> - PHRASE11> BOOL7 PHRASE11 #WORD *624141243* + PHRASE8> PHRASE8 > #WORD *2616334207* ]> ]>) V4 L5> + EXIT11> AGAIN14 + EXIT11> PHRASE23 PHRASE27 PHRASE18 EXIT11 #WORD *4037426170* ]> ]> ]>) ONE4 TWO5> MAP7 MAPAP10 #WORD *30443313711* ]> ]> ]>) ONE4 TWO5> MAP7 MAPAP10 #WORD *6000515425* ]>) L4> (TYPE FALSE)> MAP6 MAPAP9 #WORD *34046355367* LIST "OPTIONAL" ) SYM6 NDECL7 INF8 MUNG9 NTH-REST10> OPT4 OPT5> OPT4 OPT5 ) OD12 TEMP16 L30:LIST TEMP33> + PHRASE41> MAP21 + PHRASE35> PHRASE35 PHRASE37 PHRASE32 MAPAP24 PHRASE41 #WORD *27404507660* ) NDECL4 NTH-REST5> AGAIN11 PHRASE13 PHRASE20 PHRASE24 2 = FIRST9> PHRASE27 TAG29 TAG17 (TYPE FALSE)> PHRASE15 PHRASE31 PHRASE33 " AND/OR analyzer. Called from AND-ANA and OR-ANA." #WORD *14673340170* + PHRASE20> PHRASE20 PHRASE23 TAG25 (TYPE FALSE)> TAG29 PHRASE37 MAP41 TAG52 (TYPE FALSE)> TAG54 (RECORD-TYPE LBIND)> PHRASE57 PHRASE63 + PHRASE64> PHRASE64 PHRASE65 TAG67 - TAG68> TAG68 (TYPE FALSE)> TAG69 TAG71 (TYPE FALSE)> TAG73 + PHRASE75> PHRASE75 PHRASE76 - PHRASE78> PHRASE78 + PHRASE83> + PHRASE81> PHRASE83 + PHRASE81> PHRASE84 + PHRASE86> PHRASE92 PHRASE93 PHRASE86 PHRASE81 + BOOL98> BOOL98 + PHRASE128> PHRASE128 PHRASE133 PHRASE116 + PHRASE141> PHRASE141 PHRASE150 (TYPE FALSE)> + PHRASE161> PHRASE161 PHRASE162 PHRASE96 BOOL167 PHRASE174 (TYPE FALSE)> PHRASE172 PHRASE178 + PHRASE181> - MAP42> PHRASE181 - PHRASE188> - MAP42> PHRASE188 MAP42 MAPAP44 + PHRASE190> + PHRASE190> > PHRASE190 PHRASE194 #WORD *21104311726* ]> LIST) L4> MAP6 TAG19 TAG20 MAPAP9 #WORD *16602640057* > )> #WORD *527640063* )> " COND analyzer." #WORD *6631527021* #WORD *5221531515* > #WORD *35353444435* ) (FIRST115 'T) (DFLG17 %<>) TEMP22 TEMP25 PRED-FLG20 TINF130:LIST TINF31:LIST PRAT16 TST-TYP18 SVWHO19:LIST TEMP59:FIX BR62 EC63 TEMP68 TT10 FNOK11 NFNOK12 L-D32:LIST SUNT165:LIST STR13:LIST SUNT14:LIST L-D133:LIST> TAG21 (TYPE FALSE)> TAG26 'FIX TEMP22> PHRASE39 + PHRASE43> PHRASE43 MAP53 > PHRASE67 + PHRASE72> PHRASE72 - PHRASE76> PHRASE76 TAG82 (TYPE FALSE)> TAG83 (TYPE FALSE)> PHRASE85 PHRASE86 PHRASE87 + PHRASE90> PHRASE90 PHRASE92 (TYPE FALSE)> TAG97 - TAG98> TAG98 (TYPE FALSE)> TAG99 TAG101 (TYPE FALSE)> TAG103 + PHRASE116> PHRASE112 PHRASE113 PHRASE109 PHRASE116 BOOL122 PHRASE143 PHRASE146 (TYPE FALSE)> PHRASE120 + PHRASE154> PHRASE154 + PHRASE164> BOOL166 + PHRASE196> PHRASE190 PHRASE196 PHRASE205 PHRASE212 (TYPE FALSE)> PHRASE169 BOOL221 PHRASE227 > PHRASE164 PHRASE232 BOOL237 + PHRASE235> PHRASE239 PHRASE248 PHRASE255 PHRASE235 + PHRASE263> PHRASE263 PHRASE266 MAP54 MAPAP56 MAPEX55 + PHRASE270> PHRASE270 " PROG/REPEAT analyzer. Hacks bindings and sets up info for GO/RETURN/AGAIN analyzers." #WORD *34616266606* (TYPE FALSE)> TAG18 BOOL17 PHRASE24 + PHRASE28> PHRASE28 - PHRASE45> PHRASE45 AGAIN62 + PHRASE64> PHRASE64 > PHRASE84 PHRASE86 + PHRASE88> PHRASE88 - BOOL93> + PHRASE92> BOOL93 + PHRASE98> PHRASE98 + PHRASE100> PHRASE100 PHRASE104 - PHRASE108> PHRASE92 PHRASE108 + PHRASE115> PHRASE115 PHRASE119 - PHRASE130> PHRASE130 PHRASE133 PHRASE146 + PHRASE155> PHRASE155 PHRASE156 PHRASE159 " Determine if assumptions made for this loop are still valid." #WORD *25666762676* ]> ]>) AS4 TY5> + PHRASE91> MAP13 MAP29 (TYPE FALSE)> TAG42 + BOOL61> BOOL45 + PHRASE57> > PHRASE57 (TYPE FALSE)> + BOOL61> + BOOL61> + BOOL61> + BOOL61> BOOL61 BOOL86 MAPAP32 MAPAP16 PHRASE91 #WORD *2510174746* - PHRASE6> PHRASE6 " Analyze RETURN from a PROG/REPEAT. Check with PROGs final type." #WORD *14173266614* PHRASE13 - BOOL17> BOOL18 + PHRASE16> BOOL17 BOOL25 PHRASE31 PHRASE37 PHRASE16 )> #WORD *32110752416* ) TYPS11:FORM TP12:LIST TEMP24 NN41 TEMP45> = TP12> PHRASE15 - PHRASE22> PHRASE22 - PHRASE27> > PHRASE27 MAP30 > - PHRASE52> 2 = TEMP45> PHRASE52 2 = TEMP45> PHRASE55 PHRASE48 PHRASE44 - PHRASE65> PHRASE65 MAPAP33 + PHRASE67> PHRASE67 + PHRASE73> PHRASE73 + PHRASE79> PHRASE79 > )> #WORD *4461653747* NODE "OPTIONAL" ANY) N6 RETMNG7> OPT4 OPT5> OPT4 OPT5 - BOOL16> + BOOL16> BOOL16 > TAG22 > TAG23 TAG26 > TAG25 > TAG27 + TAG28> > TAG28 + PHRASE36> > TAG31 + PHRASE36> PHRASE36 " AGAIN analyzer." #WORD *3524502256* - BOOL12> BOOL13 + PHRASE11> BOOL12 + PHRASE19> PHRASE19 PHRASE24 - PHRASE30> PHRASE30 PHRASE32 PHRASE11 - PHRASE37> PHRASE37 PHRASE34 )> " If not in PROG/REPEAT complain about NAME." #WORD *11273451037* PHRASE7 " Dispatch to special handlers for SUBRs. Or use standard." #WORD *13465544662* TAG10 " Hairy SUBR call analyzer. Also looks for internal calls." #WORD *21003011643* "TUPLE" TUPLE)> + PHRASE28> - TAG34> TAG34 - TAG35> TAG35 PHRASE28 - PHRASE41> PHRASE41 - PHRASE51> PHRASE47 PHRASE51 + PHRASE56> + PHRASE56> TAG63 TAG57 PHRASE56 NOD5> MAP19 > PHRASE34 PHRASE38 MAPAP22 #WORD *21745671243* " Analyze VECTOR, UVECTOR and LIST builders." #WORD *16715071477* TAG14 (TYPE FALSE)> TAG15 (TYPE FALSE)> = FRME28> (TYPE FALSE)> AGAIN30 = TEMP37> PHRASE36 PHRASE34 + PHRASE40> 2 = TEMP37> PHRASE40 + PHRASE42> 2 = TEMP37> PHRASE42 + PHRASE44> 2 = TEMP37> PHRASE44 PHRASE32 BOOL48 > (TYPE FALSE)> PHRASE52 - TAG55> TAG56 TAG55 (TYPE FALSE)> PHRASE47 PHRASE62 + PHRASE80> PHRASE65 + BOOL71> BOOL71 (TYPE FALSE)> - PHRASE80> BOOL74 (TYPE FALSE)> + BOOL77> + BOOL78> BOOL78 BOOL77 (TYPE FALSE)> PHRASE80 PHRASE82 EXIT18 + PHRASE84> + PHRASE84> MAP87 PHRASE97 MAPAP90 MAP106 PHRASE116 MAPAP109 = RT7> PHRASE100 PHRASE84 MAP121 PHRASE130 MAPAP124 PHRASE119 " Analyze quoted objects, for structures hack type specs." #WORD *10315726445* #WORD *14076646770* PHRASE7 )> " Analyze a call to an RSUBR." #WORD *14315332146* ) (MUST-EMPTY9 'T) (TUPF11 %<>) (OPTF12 %<>) K13:LIST NM14:ATOM (RT15 %<>) TEMP22 ARG27:NODE TY28> MAP17 PHRASE33 PHRASE34 PHRASE31 (TYPE FALSE)> PHRASE36 - PHRASE57> PHRASE43 + PHRASE46> - PHRASE57> PHRASE46 + BOOL50> BOOL50 PHRASE48 - PHRASE55> PHRASE55 PHRASE57 PHRASE38 PHRASE65 PHRASE66 PHRASE62 PHRASE67 PHRASE59 MAPAP20 BOOL70 PHRASE69 " Analyze CHTYPE, in some cases do it at compile time." #WORD *25654605354* - PHRASE72> - PHRASE26> PHRASE26 - PHRASE30> PHRASE30 PHRASE36 + PHRASE38> PHRASE38 + PHRASE41> TAG54 TAG53 TAG48 TAG51 TAG50 = OBN9> - PHRASE56> PHRASE56 PHRASE41 PHRASE59 PHRASE24 + PHRASE64> + PHRASE64> - PHRASE64> PHRASE64 PHRASE61 + PHRASE74> PHRASE74 PHRASE72 )> " Analyze use of ASCII sometimes do at compile time." #WORD *7466121470* - PHRASE13> > PHRASE17 PHRASE21 PHRASE23 > PHRASE24 PHRASE13 )> #WORD *2705660233* " Analyze READ type SUBRS in two cases (print uncertain usage message maybe?)" #WORD *22762417176* MAP7 > + PHRASE27> PHRASE27 PHRASE21 PHRASE31 MAPAP10 #WORD *36340531603* MAP7 PHRASE20 PHRASE23 MAPAP10 #WORD *5445443556* > + PHRASE14> PHRASE14 PHRASE19 #WORD *33162071775* PHRASE13 #WORD *25266214530* #WORD *25643431274* > ANY) BST4 NOACT5> AGAIN9 > BOOL10 + BOOL15> + BOOL15> + BOOL11> BOOL15 BOOL11 #WORD *30364401743* > ANY ANY) D14 D25> - TAG9> TAG9 (TYPE FALSE)> TAG10 #WORD *17556712564* + TAG12> - PHRASE19> TAG12 = OB8> + BOOL13> BOOL14 - PHRASE19> BOOL13 - PHRASE19> PHRASE19 TAG25 > TAG24 (TYPE FALSE)> MAP31 MAP30 #WORD *36653106775* - PHRASE11> PHRASE11 - PHRASE14> PHRASE14 #WORD *3156255365* PHRASE11 - PHRASE14> + PHRASE14> TAG27 TAG26 TAG21 TAG24 TAG23 > + PHRASE32> PHRASE35 PHRASE40 PHRASE32 PHRASE29 MAP51 > PHRASE63 PHRASE66 MAPAP54 PHRASE14 #WORD *31357744777* + PHRASE23> TAG18 PHRASE12 - PHRASE23> PHRASE23 #WORD *37004373376* PHRASE8 TAG22 TAG21 TAG16 TAG19 TAG18 MAP24 > PHRASE34 PHRASE37 MAPAP27 )> #WORD *15356675245* CASEDF6 CASE8 CASE9 CASE10 CASE11 CASE12 CASE13 CASE14 CASE15 CASE16 CASE17 CASE18 CASE19 CASE20 CASE21 CASE22 CASE23 CASE24 CASE25 CASE26 CASE27 CASE28 CASE29 CASE30 CASE31 CASE32 CASE33 CASE34 CASE35 CASE36 CASE37 CASE38 CASE39 CASE40 CASE41 CASE42 CASE43 CASE44 CASE45 CASE46 CASE47 CASE48 CASE49 CASE50 CASE51 CASE52 CASE53 CASE54 CASE55 CASE56 CASE57 CASE58 CASE59 CASE60 CASE61 #WORD *17716534644* - PHRASE14> PHRASE16 TAG22 TAG19 PHRASE18 MAP26 MAPAP29 PHRASE14 PHRASE39 PHRASE41 PHRASE42 + PHRASE45> PHRASE45 - PHRASE49> PHRASE49 + PHRASE53> (TYPE FORM)> PHRASE53 PHRASE55 MAP57 BOOL74 MAPAP60 #WORD *35525370426* PHRASE16 PHRASE17 PHRASE19 PHRASE20 > + PHRASE22> PHRASE22 PHRASE28 + PHRASE30> PHRASE30 - PHRASE36> 2 = K6> PHRASE36 PHRASE39 TAG40 TAG33 PHRASE43 2 = K6> PHRASE44 TAG46 TAG41 #WORD *551734666* PHRASE14 BOOL17 PHRASE16 PHRASE18 PHRASE20 PHRASE23 PHRASE26 2 = K6> PHRASE35 PHRASE38 TAG39 TAG30 PHRASE42 2 = K6> PHRASE43 TAG45 TAG40 PHRASE29 #WORD *204506400* #WORD *22352712603* - PHRASE11> TAG22 TAG21 TAG16 TAG19 TAG18 TAG25 PHRASE24 MAP30 MAPAP33 + TAG45> - PHRASE43> TAG45 - PHRASE43> - PHRASE43> PHRASE43 PHRASE11 > )> #WORD *36756005520* )> #WORD *10374523157* )>