^8^ ^8_refgroup^ ^1^ ^verb_base^
^10^ ^10_refgroup^ ^2^ ^verb_base^
^17^ ^17_refgroup^ ^3^ ^verb_base^
^20^ ^20_refgroup^ ^4^ ^val_add_applic^
^20^ ^20_refgroup^ ^5^ ^minus_tla^
^24^ ^24_refgroup^ ^6^ ^val_add_applic^
^27^ ^27_refgroup^ ^7^ ^val_reduce1^
^27^ ^27_refgroup^ ^8^ ^val_reduce1^
^27^ ^27_refgroup^ ^9^ ^val_add_applic^
^27^ ^27_refgroup^ ^10^ ^val_add_caus^
^29^ ^29_refgroup^ ^11^ ^val_reduce1^
^46^ ^46_refgroup^ ^12^ ^val_add_applic^
^51^ ^51_refgroup^ ^13^ ^frequent^
^62^ ^62_refgroup^ ^14^ ^val_reduce1^
^62^ ^62_refgroup^ ^15^ ^val_add_applic^
^71^ ^71_refgroup^ ^16^ ^val_add_caus^
^84^ ^84_refgroup^ ^17^ ^val_add_applic^
^103^ ^103_refgroup^ ^18^ ^val_add_applic^
^111^ ^111_refgroup^ ^19^ ^verb_base^
^114^ ^114_refgroup^ ^20^ ^val_add_applic^
^119^ ^119_refgroup^ ^21^ ^val_add_caus^
^127^ ^127_refgroup^ ^22^ ^verb_base^
^144^ ^144_refgroup^ ^23^ ^val_add_caus^
^146^ ^146_refgroup^ ^24^ ^minus_tla^
^147^ ^147_refgroup^ ^25^ ^minus_tla^
^152^ ^152_refgroup^ ^26^ ^minus_tla^
^156^ ^156_refgroup^ ^27^ ^val_add_applic^
^158^ ^158_refgroup^ ^28^ ^minus_tla^
^161^ ^161_refgroup^ ^29^ ^minus_tla^
^163^ ^163_refgroup^ ^30^ ^verb_base^
^166^ ^166_refgroup^ ^31^ ^frequent^
^167^ ^167_refgroup^ ^32^ ^verb_base^
^174^ ^174_refgroup^ ^33^ ^verb_base^
^197^ ^197_refgroup^ ^34^ ^val_add_applic^
^197^ ^197_refgroup^ ^35^ ^verb_base^
^202^ ^202_refgroup^ ^36^ ^val_reduce1^
^205^ ^205_refgroup^ ^37^ ^verb_base^
^208^ ^208_refgroup^ ^38^ ^val_add_applic^
^211^ ^211_refgroup^ ^39^ ^val_reduce1^
^214^ ^214_refgroup^ ^40^ ^val_add_applic^
^228^ ^228_refgroup^ ^41^ ^ni_base^
^231^ ^231_refgroup^ ^42^ ^verb_base^
^234^ ^234_refgroup^ ^43^ ^val_add_applic^
^247^ ^247_refgroup^ ^44^ ^val_add_applic^
^247^ ^247_refgroup^ ^45^ ^verb_base^
^249^ ^249_refgroup^ ^46^ ^minus_tla^
^252^ ^252_refgroup^ ^47^ ^val_add_caus^
^266^ ^266_refgroup^ ^48^ ^verb_base^
^271^ ^271_refgroup^ ^49^ ^verb_base^
^273^ ^273_refgroup^ ^50^ ^verb_base^
^275^ ^275_refgroup^ ^51^ ^minus_tla^
^276^ ^276_refgroup^ ^52^ ^val_add_applic^
^284^ ^284_refgroup^ ^53^ ^val_add_applic^
^284^ ^284_refgroup^ ^54^ ^val_add_caus^
^284^ ^284_refgroup^ ^55^ ^val_reduce1^
^285^ ^285_refgroup^ ^56^ ^val_add_caus^
^286^ ^286_refgroup^ ^57^ ^val_add_caus^
^296^ ^296_refgroup^ ^58^ ^val_add_applic^
^301^ ^301_refgroup^ ^59^ ^verb_base^
^332^ ^332_refgroup^ ^60^ ^verb_base^
^350^ ^350_refgroup^ ^61^ ^verb_base^
^352^ ^352_refgroup^ ^62^ ^minus_tla^
^354^ ^354_refgroup^ ^63^ ^verb_base^
^361^ ^361_refgroup^ ^64^ ^val_add_caus^
^365^ ^365_refgroup^ ^65^ ^ni_base^
^366^ ^366_refgroup^ ^66^ ^val_reduce1^
^377^ ^377_refgroup^ ^67^ ^val_reduce1^
^381^ ^381_refgroup^ ^68^ ^verb_base^
^387^ ^387_refgroup^ ^69^ ^minus_tla^
^394^ ^394_refgroup^ ^70^ ^val_add_caus^
^401^ ^401_refgroup^ ^71^ ^verb_base^
^418^ ^418_refgroup^ ^72^ ^verb_base^
^444^ ^444_refgroup^ ^73^ ^val_add_caus^
^444^ ^444_refgroup^ ^74^ ^val_add_applic^
^449^ ^449_refgroup^ ^75^ ^val_reduce1^
^456^ ^456_refgroup^ ^76^ ^verb_base^
^471^ ^471_refgroup^ ^77^ ^val_add_applic^
^471^ ^471_refgroup^ ^78^ ^val_reduce1^
^481^ ^481_refgroup^ ^79^ ^val_add_applic^
^485^ ^485_refgroup^ ^80^ ^verb_base^
^486^ ^486_refgroup^ ^81^ ^verb_base^
^520^ ^520_refgroup^ ^82^ ^val_add_caus^
^526^ ^526_refgroup^ ^83^ ^verb_base^
^527^ ^527_refgroup^ ^84^ ^verb_base^
^529^ ^529_refgroup^ ^85^ ^minus_tla^
^534^ ^534_refgroup^ ^86^ ^verb_base^
^549^ ^549_refgroup^ ^87^ ^val_add_caus^
^551^ ^551_refgroup^ ^88^ ^val_add_applic^
^565^ ^565_refgroup^ ^89^ ^verb_base^
^565^ ^565_refgroup^ ^90^ ^val_add_applic^
^568^ ^568_refgroup^ ^91^ ^val_add_caus^
^587^ ^587_refgroup^ ^92^ ^minus_tla^
^593^ ^593_refgroup^ ^93^ ^verb_base^
^596^ ^596_refgroup^ ^94^ ^val_add_applic^
^603^ ^603_refgroup^ ^95^ ^verb_base^
^604^ ^604_refgroup^ ^96^ ^val_add_caus^
^604^ ^604_refgroup^ ^97^ ^val_reduce0^
^604^ ^604_refgroup^ ^98^ ^frequent^
^608^ ^608_refgroup^ ^99^ ^val_add_caus^
^608^ ^608_refgroup^ ^100^ ^val_add_applic^
^608^ ^608_refgroup^ ^101^ ^val_reduce1^
^610^ ^610_refgroup^ ^102^ ^verb_base^
^620^ ^620_refgroup^ ^103^ ^val_add_caus^
^620^ ^620_refgroup^ ^104^ ^minus_tla^
^627^ ^627_refgroup^ ^105^ ^minus_tla^
^630^ ^630_refgroup^ ^106^ ^verb_base^
^633^ ^633_refgroup^ ^107^ ^val_add_caus^
^639^ ^639_refgroup^ ^108^ ^verb_base^
^641^ ^641_refgroup^ ^109^ ^verb_base^
^643^ ^643_refgroup^ ^110^ ^frequent^
^653^ ^653_refgroup^ ^111^ ^verb_base^
^661^ ^661_refgroup^ ^112^ ^val_add_caus^
^662^ ^662_refgroup^ ^113^ ^minus_tla^
^669^ ^669_refgroup^ ^114^ ^val_add_caus^
^683^ ^683_refgroup^ ^115^ ^ni_base^
^687^ ^687_refgroup^ ^116^ ^val_add_applic^
^691^ ^691_refgroup^ ^117^ ^val_add_caus^
^698^ ^698_refgroup^ ^118^ ^verb_base^
^704^ ^704_refgroup^ ^119^ ^verb_base^
^716^ ^716_refgroup^ ^120^ ^val_reduce1^
^719^ ^719_refgroup^ ^121^ ^val_add_caus^
^725^ ^725_refgroup^ ^122^ ^val_reduce1^
^730^ ^730_refgroup^ ^123^ ^val_add_applic^
^731^ ^731_refgroup^ ^124^ ^verb_base^
^754^ ^754_refgroup^ ^125^ ^val_add_applic^
^774^ ^774_refgroup^ ^126^ ^verb_base^
^780^ ^780_refgroup^ ^127^ ^val_add_applic^
^787^ ^787_refgroup^ ^128^ ^verb_base^
^797^ ^797_refgroup^ ^129^ ^val_add_applic^
^799^ ^799_refgroup^ ^130^ ^val_add_caus^
^815^ ^815_refgroup^ ^131^ ^verb_base^
^822^ ^822_refgroup^ ^132^ ^val_add_caus^
^822^ ^822_refgroup^ ^133^ ^val_add_applic^
^835^ ^835_refgroup^ ^134^ ^verb_base^
^836^ ^836_refgroup^ ^135^ ^minus_tla^
^846^ ^846_refgroup^ ^136^ ^verb_base^
^852^ ^852_refgroup^ ^137^ ^verb_base^
^858^ ^858_refgroup^ ^138^ ^minus_tla^
^864^ ^864_refgroup^ ^139^ ^val_add_applic^
^877^ ^877_refgroup^ ^140^ ^verb_base^
^879^ ^879_refgroup^ ^141^ ^val_reduce1^
^879^ ^879_refgroup^ ^142^ ^verb_base^
^925^ ^925_refgroup^ ^143^ ^minus_tla^
^942^ ^942_refgroup^ ^144^ ^frequent^
^961^ ^961_refgroup^ ^145^ ^val_add_applic^
^974^ ^974_refgroup^ ^146^ ^verb_base^
^975^ ^975_refgroup^ ^147^ ^val_reduce1^
^975^ ^975_refgroup^ ^148^ ^val_reduce1^
^975^ ^975_refgroup^ ^149^ ^verb_base^
^981^ ^981_refgroup^ ^150^ ^verb_base^
^985^ ^985_refgroup^ ^151^ ^verb_base^
^1014^ ^1014_refgroup^ ^152^ ^ni_base^
^1018^ ^1018_refgroup^ ^153^ ^verb_base^
^1027^ ^1027_refgroup^ ^154^ ^val_add_applic^
^1029^ ^1029_refgroup^ ^155^ ^ni_base^
^1034^ ^1034_refgroup^ ^156^ ^val_add_applic^
^1038^ ^1038_refgroup^ ^157^ ^minus_tla^
^1045^ ^1045_refgroup^ ^158^ ^verb_base^
^1052^ ^1052_refgroup^ ^159^ ^ni_base^
^1072^ ^1072_refgroup^ ^160^ ^verb_base^
^1082^ ^1082_refgroup^ ^161^ ^minus_tla^
^1089^ ^1089_refgroup^ ^162^ ^val_reduce1^
^1089^ ^1089_refgroup^ ^163^ ^ni_base^
^1098^ ^1098_refgroup^ ^164^ ^verb_base^
^1108^ ^1108_refgroup^ ^165^ ^val_add_applic^
^1110^ ^1110_refgroup^ ^166^ ^verb_base^
^1110^ ^1110_refgroup^ ^167^ ^val_reduce1^
^1115^ ^1115_refgroup^ ^168^ ^val_add_applic^
^1128^ ^1128_refgroup^ ^169^ ^val_add_caus^
^1141^ ^1141_refgroup^ ^170^ ^val_add_applic^
^1161^ ^1161_refgroup^ ^171^ ^val_add_caus^
^1168^ ^1168_refgroup^ ^172^ ^verb_base^
^1172^ ^1172_refgroup^ ^173^ ^val_add_caus^
^1176^ ^1176_refgroup^ ^174^ ^ni_base^
^1180^ ^1180_refgroup^ ^175^ ^verb_base^
^1183^ ^1183_refgroup^ ^176^ ^minus_tla^
^1188^ ^1188_refgroup^ ^177^ ^verb_base^
^1190^ ^1190_refgroup^ ^178^ ^val_add_caus^
^1203^ ^1203_refgroup^ ^179^ ^frequent^
^1213^ ^1213_refgroup^ ^180^ ^verb_base^
^1218^ ^1218_refgroup^ ^181^ ^val_reduce1^
^1229^ ^1229_refgroup^ ^182^ ^verb_base^
^1239^ ^1239_refgroup^ ^183^ ^val_add_caus^
^1241^ ^1241_refgroup^ ^184^ ^val_add_caus^
^1242^ ^1242_refgroup^ ^185^ ^val_add_applic^
^1242^ ^1242_refgroup^ ^186^ ^val_reduce1^
^1245^ ^1245_refgroup^ ^187^ ^val_add_caus^
^1251^ ^1251_refgroup^ ^188^ ^val_reduce1^
^1276^ ^1276_refgroup^ ^189^ ^val_add_caus^
^1280^ ^1280_refgroup^ ^190^ ^val_add_applic^
^1286^ ^1286_refgroup^ ^191^ ^val_add_caus^
^1288^ ^1288_refgroup^ ^192^ ^verb_base^
^1294^ ^1294_refgroup^ ^193^ ^verb_base^
^1295^ ^1295_refgroup^ ^194^ ^verb_base^
^1297^ ^1297_refgroup^ ^195^ ^verb_base^
^1299^ ^1299_refgroup^ ^196^ ^val_add_applic^
^1311^ ^1311_refgroup^ ^197^ ^verb_base^
^1331^ ^1331_refgroup^ ^198^ ^verb_base^
^1336^ ^1336_refgroup^ ^199^ ^val_add_caus^
^1337^ ^1337_refgroup^ ^200^ ^val_add_caus^
^1339^ ^1339_refgroup^ ^201^ ^verb_base^
^1363^ ^1363_refgroup^ ^202^ ^val_reduce1^
^1364^ ^1364_refgroup^ ^203^ ^verb_base^
^1366^ ^1366_refgroup^ ^204^ ^verb_base^
^1378^ ^1378_refgroup^ ^205^ ^verb_base^
^1381^ ^1381_refgroup^ ^206^ ^minus_tla^
^1384^ ^1384_refgroup^ ^207^ ^verb_base^
^1392^ ^1392_refgroup^ ^208^ ^verb_base^
^1398^ ^1398_refgroup^ ^209^ ^verb_base^
^1400^ ^1400_refgroup^ ^210^ ^val_reduce1^
^1401^ ^1401_refgroup^ ^211^ ^verb_base^
^1401^ ^1401_refgroup^ ^212^ ^minus_tla^
^1403^ ^1403_refgroup^ ^213^ ^val_add_applic^
^1412^ ^1412_refgroup^ ^214^ ^verb_base^
^1419^ ^1419_refgroup^ ^215^ ^verb_base^
^1436^ ^1436_refgroup^ ^216^ ^verb_base^
^1442^ ^1442_refgroup^ ^217^ ^val_reduce1^
^1444^ ^1444_refgroup^ ^218^ ^ni_base^
^1452^ ^1452_refgroup^ ^219^ ^verb_base^
^1455^ ^1455_refgroup^ ^220^ ^val_add_caus^
^1455^ ^1455_refgroup^ ^221^ ^minus_tla^
^1457^ ^1457_refgroup^ ^222^ ^val_reduce0^
^1457^ ^1457_refgroup^ ^223^ ^frequent^
^1459^ ^1459_refgroup^ ^224^ ^verb_base^
^1467^ ^1467_refgroup^ ^225^ ^verb_base^
^1475^ ^1475_refgroup^ ^226^ ^verb_base^
^1489^ ^1489_refgroup^ ^227^ ^verb_base^
^1502^ ^1502_refgroup^ ^228^ ^val_add_caus^
^1529^ ^1529_refgroup^ ^229^ ^val_add_applic^
^1529^ ^1529_refgroup^ ^230^ ^val_add_caus^
^1529^ ^1529_refgroup^ ^231^ ^val_reduce0^
^1529^ ^1529_refgroup^ ^232^ ^val_reduce0^
^1533^ ^1533_refgroup^ ^233^ ^val_add_caus^
^1535^ ^1535_refgroup^ ^234^ ^val_add_applic^
^1542^ ^1542_refgroup^ ^235^ ^val_add_caus^
^1542^ ^1542_refgroup^ ^236^ ^minus_tla^
^1553^ ^1553_refgroup^ ^237^ ^minus_tla^
^1554^ ^1554_refgroup^ ^238^ ^val_add_caus^
^1569^ ^1569_refgroup^ ^239^ ^val_add_caus^
^1569^ ^1569_refgroup^ ^240^ ^minus_tla^
^1571^ ^1571_refgroup^ ^241^ ^val_reduce1^
^1573^ ^1573_refgroup^ ^242^ ^verb_base^
^1581^ ^1581_refgroup^ ^243^ ^val_reduce2^
^1581^ ^1581_refgroup^ ^244^ ^verb_base^
^1591^ ^1591_refgroup^ ^245^ ^verb_base^
^1604^ ^1604_refgroup^ ^246^ ^verb_base^
^1624^ ^1624_refgroup^ ^247^ ^verb_base^
^1628^ ^1628_refgroup^ ^248^ ^verb_base^
^1632^ ^1632_refgroup^ ^249^ ^val_add_applic^
^1632^ ^1632_refgroup^ ^250^ ^val_add_caus^
^1635^ ^1635_refgroup^ ^251^ ^frequent^
^1640^ ^1640_refgroup^ ^252^ ^val_reduce1^
^1642^ ^1642_refgroup^ ^253^ ^minus_tla^
^1652^ ^1652_refgroup^ ^254^ ^verb_base^
^1660^ ^1660_refgroup^ ^255^ ^val_reduce1^
^1664^ ^1664_refgroup^ ^256^ ^val_add_applic^
^1668^ ^1668_refgroup^ ^257^ ^val_add_caus^
^1673^ ^1673_refgroup^ ^258^ ^verb_base^
^1675^ ^1675_refgroup^ ^259^ ^val_add_caus^
^1675^ ^1675_refgroup^ ^260^ ^val_add_applic^
^1679^ ^1679_refgroup^ ^261^ ^val_add_caus^
^1683^ ^1683_refgroup^ ^262^ ^val_add_caus^
^1684^ ^1684_refgroup^ ^263^ ^val_add_caus^
^1689^ ^1689_refgroup^ ^264^ ^minus_tla^
^1694^ ^1694_refgroup^ ^265^ ^val_add_caus^
^1695^ ^1695_refgroup^ ^266^ ^verb_base^
^1703^ ^1703_refgroup^ ^267^ ^val_add_applic^
^1705^ ^1705_refgroup^ ^268^ ^val_add_applic^
^1706^ ^1706_refgroup^ ^269^ ^val_add_caus^
^1706^ ^1706_refgroup^ ^270^ ^val_reduce0^
^1710^ ^1710_refgroup^ ^271^ ^val_reduce2^
^1710^ ^1710_refgroup^ ^272^ ^verb_base^
^1720^ ^1720_refgroup^ ^273^ ^minus_tla^
^1721^ ^1721_refgroup^ ^274^ ^minus_tla^
^1729^ ^1729_refgroup^ ^275^ ^verb_base^
^1747^ ^1747_refgroup^ ^276^ ^verb_base^
^1752^ ^1752_refgroup^ ^277^ ^verb_base^
^1758^ ^1758_refgroup^ ^278^ ^val_reduce0^
^1758^ ^1758_refgroup^ ^279^ ^val_add_caus^
^1765^ ^1765_refgroup^ ^280^ ^val_reduce0^
^1766^ ^1766_refgroup^ ^281^ ^minus_tla^
^1768^ ^1768_refgroup^ ^282^ ^val_add_applic^
^1785^ ^1785_refgroup^ ^283^ ^val_add_caus^
^1795^ ^1795_refgroup^ ^284^ ^val_add_applic^
^1795^ ^1795_refgroup^ ^285^ ^val_add_caus^
^1795^ ^1795_refgroup^ ^286^ ^val_reduce0^
^1798^ ^1798_refgroup^ ^287^ ^verb_base^
^1800^ ^1800_refgroup^ ^288^ ^verb_base^
^1813^ ^1813_refgroup^ ^289^ ^val_add_applic^
^1815^ ^1815_refgroup^ ^290^ ^minus_tla^
^1824^ ^1824_refgroup^ ^291^ ^val_add_caus^
^1824^ ^1824_refgroup^ ^292^ ^val_reduce1^
^1829^ ^1829_refgroup^ ^293^ ^minus_tla^
^1835^ ^1835_refgroup^ ^294^ ^val_reduce1^
^1837^ ^1837_refgroup^ ^295^ ^minus_tla^
^1841^ ^1841_refgroup^ ^296^ ^val_add_applic^
^1851^ ^1851_refgroup^ ^297^ ^val_reduce1^
^1855^ ^1855_refgroup^ ^298^ ^val_add_caus^
^1858^ ^1858_refgroup^ ^299^ ^verb_base^
^1865^ ^1865_refgroup^ ^300^ ^verb_base^
^1865^ ^1865_refgroup^ ^301^ ^minus_tla^
^1867^ ^1867_refgroup^ ^302^ ^verb_base^
^1871^ ^1871_refgroup^ ^303^ ^val_add_caus^
^1874^ ^1874_refgroup^ ^304^ ^verb_base^
^1877^ ^1877_refgroup^ ^305^ ^verb_base^
^1877^ ^1877_refgroup^ ^306^ ^val_reduce2^
^1881^ ^1881_refgroup^ ^307^ ^verb_base^
^1886^ ^1886_refgroup^ ^308^ ^verb_base^
^1892^ ^1892_refgroup^ ^309^ ^val_add_applic^
^1892^ ^1892_refgroup^ ^310^ ^minus_tla^
^1893^ ^1893_refgroup^ ^311^ ^minus_tla^
^1898^ ^1898_refgroup^ ^312^ ^val_add_caus^
^1899^ ^1899_refgroup^ ^313^ ^minus_tla^
^1911^ ^1911_refgroup^ ^314^ ^verb_base^
^1915^ ^1915_refgroup^ ^315^ ^verb_base^
^1918^ ^1918_refgroup^ ^316^ ^val_add_caus^
^1919^ ^1919_refgroup^ ^317^ ^minus_tla^
^1941^ ^1941_refgroup^ ^318^ ^verb_base^
^1964^ ^1964_refgroup^ ^319^ ^ni_base^
^1971^ ^1971_refgroup^ ^320^ ^frequent^
^1978^ ^1978_refgroup^ ^321^ ^val_add_caus^
^1978^ ^1978_refgroup^ ^322^ ^val_add_applic^
^1987^ ^1987_refgroup^ ^323^ ^verb_base^
^1997^ ^1997_refgroup^ ^324^ ^val_add_caus^
^2001^ ^2001_refgroup^ ^325^ ^verb_base^
^2014^ ^2014_refgroup^ ^326^ ^val_add_applic^
^2018^ ^2018_refgroup^ ^327^ ^val_add_applic^
^2021^ ^2021_refgroup^ ^328^ ^verb_base^
^2034^ ^2034_refgroup^ ^329^ ^val_add_applic^
^2034^ ^2034_refgroup^ ^330^ ^val_add_caus^
^2034^ ^2034_refgroup^ ^331^ ^val_add_applic.caus^
^2034^ ^2034_refgroup^ ^332^ ^val_reduce1^
^2046^ ^2046_refgroup^ ^333^ ^verb_base^
^2047^ ^2047_refgroup^ ^334^ ^verb_base^
^2054^ ^2054_refgroup^ ^335^ ^verb_base^
^2054^ ^2054_refgroup^ ^336^ ^val_add_applic^
^2061^ ^2061_refgroup^ ^337^ ^verb_base^
^2086^ ^2086_refgroup^ ^338^ ^verb_base^
^2092^ ^2092_refgroup^ ^339^ ^val_add_applic^
^2101^ ^2101_refgroup^ ^340^ ^val_add_caus^
^2101^ ^2101_refgroup^ ^341^ ^val_add_applic^
^2101^ ^2101_refgroup^ ^342^ ^val_add_applic.caus^
^2109^ ^2109_refgroup^ ^343^ ^val_add_caus^
^2116^ ^2116_refgroup^ ^344^ ^val_add_caus^
^2127^ ^2127_refgroup^ ^345^ ^verb_base^
^2133^ ^2133_refgroup^ ^346^ ^val_add_caus^
^2135^ ^2135_refgroup^ ^347^ ^val_add_caus^
^2144^ ^2144_refgroup^ ^348^ ^verb_base^
^2145^ ^2145_refgroup^ ^349^ ^val_add_applic^
^2145^ ^2145_refgroup^ ^350^ ^val_reduce1^
^2147^ ^2147_refgroup^ ^351^ ^val_add_caus^
^2169^ ^2169_refgroup^ ^352^ ^val_add_applic^
^2176^ ^2176_refgroup^ ^353^ ^verb_base^
^2181^ ^2181_refgroup^ ^354^ ^verb_base^
^2190^ ^2190_refgroup^ ^355^ ^val_add_caus^
^2192^ ^2192_refgroup^ ^356^ ^verb_base^
^2194^ ^2194_refgroup^ ^357^ ^val_add_applic^
^2195^ ^2195_refgroup^ ^358^ ^verb_base^
^2195^ ^2195_refgroup^ ^359^ ^minus_tla^
^2197^ ^2197_refgroup^ ^360^ ^verb_base^
^2201^ ^2201_refgroup^ ^361^ ^val_add_applic^
^2204^ ^2204_refgroup^ ^362^ ^minus_tla^
^2216^ ^2216_refgroup^ ^363^ ^val_add_applic^
^2217^ ^2217_refgroup^ ^364^ ^verb_base^
^2220^ ^2220_refgroup^ ^365^ ^ni_base^
^2223^ ^2223_refgroup^ ^366^ ^verb_base^
^2225^ ^2225_refgroup^ ^367^ ^verb_base^
^2234^ ^2234_refgroup^ ^368^ ^minus_tla^
^2262^ ^2262_refgroup^ ^369^ ^val_add_applic^
^2262^ ^2262_refgroup^ ^370^ ^val_reduce1^
^2273^ ^2273_refgroup^ ^371^ ^val_add_caus^
^2274^ ^2274_refgroup^ ^372^ ^val_add_applic^
^2280^ ^2280_refgroup^ ^373^ ^val_reduce1^
^2281^ ^2281_refgroup^ ^374^ ^verb_base^
^2289^ ^2289_refgroup^ ^375^ ^ni_base^
^2296^ ^2296_refgroup^ ^376^ ^val_add_caus^
^2298^ ^2298_refgroup^ ^377^ ^val_add_applic^
^2299^ ^2299_refgroup^ ^378^ ^verb_base^
^2303^ ^2303_refgroup^ ^379^ ^val_add_caus^
^2303^ ^2303_refgroup^ ^380^ ^val_add_applic^
^2312^ ^2312_refgroup^ ^381^ ^verb_base^
^2315^ ^2315_refgroup^ ^382^ ^verb_base^
^2322^ ^2322_refgroup^ ^383^ ^val_add_applic^
^2330^ ^2330_refgroup^ ^384^ ^val_reduce2^
^2330^ ^2330_refgroup^ ^385^ ^verb_base^
^2335^ ^2335_refgroup^ ^386^ ^verb_base^
^2341^ ^2341_refgroup^ ^387^ ^minus_tla^
^2354^ ^2354_refgroup^ ^388^ ^val_add_caus^
^2356^ ^2356_refgroup^ ^389^ ^val_add_applic^
^2356^ ^2356_refgroup^ ^390^ ^val_reduce2^
^2362^ ^2362_refgroup^ ^391^ ^val_add_applic^
^2367^ ^2367_refgroup^ ^392^ ^val_reduce0^
^2369^ ^2369_refgroup^ ^393^ ^val_add_applic^
^2373^ ^2373_refgroup^ ^394^ ^verb_base^
^2374^ ^2374_refgroup^ ^395^ ^verb_base^
^2375^ ^2375_refgroup^ ^396^ ^val_add_applic^
^2376^ ^2376_refgroup^ ^397^ ^ni_base^
^2379^ ^2379_refgroup^ ^398^ ^val_add_caus^
^2383^ ^2383_refgroup^ ^399^ ^val_reduce2^
^2391^ ^2391_refgroup^ ^400^ ^minus_tla^
^2396^ ^2396_refgroup^ ^401^ ^verb_base^
^2396^ ^2396_refgroup^ ^402^ ^val_add_applic^
^2402^ ^2402_refgroup^ ^403^ ^val_add_caus^
^2413^ ^2413_refgroup^ ^404^ ^val_add_caus^
^2424^ ^2424_refgroup^ ^405^ ^minus_tla^
^2438^ ^2438_refgroup^ ^406^ ^val_add_applic^
^2439^ ^2439_refgroup^ ^407^ ^minus_tla^
^2440^ ^2440_refgroup^ ^408^ ^minus_tla^
^2467^ ^2467_refgroup^ ^409^ ^val_reduce2^
^2467^ ^2467_refgroup^ ^410^ ^verb_base^
^2472^ ^2472_refgroup^ ^411^ ^verb_base^
^2476^ ^2476_refgroup^ ^412^ ^verb_base^
^2482^ ^2482_refgroup^ ^413^ ^minus_tla^
^2483^ ^2483_refgroup^ ^414^ ^verb_base^
^2487^ ^2487_refgroup^ ^415^ ^val_add_applic^
^2487^ ^2487_refgroup^ ^416^ ^val_reduce1^
^2502^ ^2502_refgroup^ ^417^ ^val_add_applic^
^2507^ ^2507_refgroup^ ^418^ ^verb_base^
^2511^ ^2511_refgroup^ ^419^ ^val_add_applic^
^2511^ ^2511_refgroup^ ^420^ ^val_reduce1^
^2514^ ^2514_refgroup^ ^421^ ^minus_tla^
^2515^ ^2515_refgroup^ ^422^ ^minus_tla^
^2519^ ^2519_refgroup^ ^423^ ^verb_base^
^2526^ ^2526_refgroup^ ^424^ ^val_add_caus^
^2529^ ^2529_refgroup^ ^425^ ^val_add_caus^
^2533^ ^2533_refgroup^ ^426^ ^verb_base^
^2537^ ^2537_refgroup^ ^427^ ^minus_tla^
^2539^ ^2539_refgroup^ ^428^ ^minus_tla^
^2553^ ^2553_refgroup^ ^429^ ^ni_base^
^2557^ ^2557_refgroup^ ^430^ ^val_add_applic^
^2562^ ^2562_refgroup^ ^431^ ^verb_base^
^2580^ ^2580_refgroup^ ^432^ ^verb_base^
^2580^ ^2580_refgroup^ ^433^ ^minus_tla^
^2591^ ^2591_refgroup^ ^434^ ^val_add_applic^
^2591^ ^2591_refgroup^ ^435^ ^verb_base^
^2596^ ^2596_refgroup^ ^436^ ^val_add_applic^
^2598^ ^2598_refgroup^ ^437^ ^verb_base^
^2603^ ^2603_refgroup^ ^438^ ^ni_base^
^2611^ ^2611_refgroup^ ^439^ ^val_add_caus^
^2618^ ^2618_refgroup^ ^440^ ^verb_base^
^2620^ ^2620_refgroup^ ^441^ ^val_reduce0^
^2627^ ^2627_refgroup^ ^442^ ^val_add_applic^
^2636^ ^2636_refgroup^ ^443^ ^val_reduce1^
^2637^ ^2637_refgroup^ ^444^ ^val_add_applic^
^2648^ ^2648_refgroup^ ^445^ ^val_add_applic^
^2656^ ^2656_refgroup^ ^446^ ^val_add_applic^
^2659^ ^2659_refgroup^ ^447^ ^val_reduce1^
^2664^ ^2664_refgroup^ ^448^ ^minus_tla^
^2667^ ^2667_refgroup^ ^449^ ^ni_base^
^2672^ ^2672_refgroup^ ^450^ ^val_add_applic^
^2673^ ^2673_refgroup^ ^451^ ^minus_tla^
^2679^ ^2679_refgroup^ ^452^ ^plus_tla^
^2699^ ^2699_refgroup^ ^453^ ^ni_base^
^2703^ ^2703_refgroup^ ^454^ ^verb_base^
^2710^ ^2710_refgroup^ ^455^ ^val_add_applic^
^2713^ ^2713_refgroup^ ^456^ ^minus_tla^
^2717^ ^2717_refgroup^ ^457^ ^val_add_applic^
^2717^ ^2717_refgroup^ ^458^ ^val_reduce2^
^2717^ ^2717_refgroup^ ^459^ ^verb_base^
^2718^ ^2718_refgroup^ ^460^ ^minus_tla^
^2721^ ^2721_refgroup^ ^461^ ^verb_base^
^2730^ ^2730_refgroup^ ^462^ ^plus_tla^
^2731^ ^2731_refgroup^ ^463^ ^verb_base^
^2739^ ^2739_refgroup^ ^464^ ^val_add_applic^
^2746^ ^2746_refgroup^ ^465^ ^val_reduce1^
^2746^ ^2746_refgroup^ ^466^ ^verb_base^
^2746^ ^2746_refgroup^ ^467^ ^val_add_applic^
^2747^ ^2747_refgroup^ ^468^ ^verb_base^
^2752^ ^2752_refgroup^ ^469^ ^val_add_caus^
^2752^ ^2752_refgroup^ ^470^ ^frequent^
^2752^ ^2752_refgroup^ ^471^ ^frequent^
^2771^ ^2771_refgroup^ ^472^ ^minus_tla^
^2772^ ^2772_refgroup^ ^473^ ^verb_base^
^2779^ ^2779_refgroup^ ^474^ ^ni_base^
^2782^ ^2782_refgroup^ ^475^ ^verb_base^
^2785^ ^2785_refgroup^ ^476^ ^val_add_applic^
^2793^ ^2793_refgroup^ ^477^ ^verb_base^
^2797^ ^2797_refgroup^ ^478^ ^verb_base^
^2804^ ^2804_refgroup^ ^479^ ^verb_base^
^2804^ ^2804_refgroup^ ^480^ ^val_reduce2^
^2805^ ^2805_refgroup^ ^481^ ^val_add_caus^
^2807^ ^2807_refgroup^ ^482^ ^verb_base^
^2815^ ^2815_refgroup^ ^483^ ^val_add_caus^
^2818^ ^2818_refgroup^ ^484^ ^val_add_applic^
^2831^ ^2831_refgroup^ ^485^ ^val_add_caus^
^2833^ ^2833_refgroup^ ^486^ ^val_add_caus^
^2841^ ^2841_refgroup^ ^487^ ^val_reduce1^
^2843^ ^2843_refgroup^ ^488^ ^verb_base^
^2853^ ^2853_refgroup^ ^489^ ^verb_base^
^2853^ ^2853_refgroup^ ^490^ ^val_add_applic^
^2857^ ^2857_refgroup^ ^491^ ^minus_tla^
^2858^ ^2858_refgroup^ ^492^ ^ni_base^
^2861^ ^2861_refgroup^ ^493^ ^val_add_caus^
^2861^ ^2861_refgroup^ ^494^ ^frequent^
^2882^ ^2882_refgroup^ ^495^ ^val_add_applic^
^2884^ ^2884_refgroup^ ^496^ ^val_add_applic^
^2886^ ^2886_refgroup^ ^497^ ^verb_base^
^2888^ ^2888_refgroup^ ^498^ ^val_add_applic^
^2888^ ^2888_refgroup^ ^499^ ^minus_tla^
^2890^ ^2890_refgroup^ ^500^ ^verb_base^
^2891^ ^2891_refgroup^ ^501^ ^verb_base^
^2896^ ^2896_refgroup^ ^502^ ^verb_base^
^2899^ ^2899_refgroup^ ^503^ ^minus_tla^
^2907^ ^2907_refgroup^ ^504^ ^val_add_caus^
^2908^ ^2908_refgroup^ ^505^ ^val_add_caus^
^2914^ ^2914_refgroup^ ^506^ ^verb_base^
^2917^ ^2917_refgroup^ ^507^ ^val_add_caus^
^2917^ ^2917_refgroup^ ^508^ ^frequent^
^2929^ ^2929_refgroup^ ^509^ ^verb_base^
^2930^ ^2930_refgroup^ ^510^ ^val_add_caus^
^2935^ ^2935_refgroup^ ^511^ ^verb_base^
^2941^ ^2941_refgroup^ ^512^ ^val_reduce1^
^2951^ ^2951_refgroup^ ^513^ ^verb_base^
^2955^ ^2955_refgroup^ ^514^ ^val_add_caus^
^2955^ ^2955_refgroup^ ^515^ ^minus_tla^
^2956^ ^2956_refgroup^ ^516^ ^val_reduce2^
^2956^ ^2956_refgroup^ ^517^ ^verb_base^
^2964^ ^2964_refgroup^ ^518^ ^verb_base^
^2968^ ^2968_refgroup^ ^519^ ^val_add_caus^
^2969^ ^2969_refgroup^ ^520^ ^verb_base^
^2974^ ^2974_refgroup^ ^521^ ^val_add_caus^
^2986^ ^2986_refgroup^ ^522^ ^verb_base^
^2989^ ^2989_refgroup^ ^523^ ^val_add_caus^
^2989^ ^2989_refgroup^ ^524^ ^plus_tla^
^2993^ ^2993_refgroup^ ^525^ ^verb_base^
^3008^ ^3008_refgroup^ ^526^ ^val_add_applic^
^3010^ ^3010_refgroup^ ^527^ ^val_add_caus^
^3010^ ^3010_refgroup^ ^528^ ^minus_tla^
^3018^ ^3018_refgroup^ ^529^ ^minus_tla^
^3025^ ^3025_refgroup^ ^530^ ^val_add_caus^
^3027^ ^3027_refgroup^ ^531^ ^val_add_applic^
^3028^ ^3028_refgroup^ ^532^ ^verb_base^
^3035^ ^3035_refgroup^ ^533^ ^val_reduce1^
^3035^ ^3035_refgroup^ ^534^ ^val_add_applic^
^3039^ ^3039_refgroup^ ^535^ ^verb_base^
^3039^ ^3039_refgroup^ ^536^ ^val_reduce1^
^3040^ ^3040_refgroup^ ^537^ ^val_reduce1^
^3042^ ^3042_refgroup^ ^538^ ^val_add_applic^
^3044^ ^3044_refgroup^ ^539^ ^verb_base^
^3047^ ^3047_refgroup^ ^540^ ^val_add_caus^
^3056^ ^3056_refgroup^ ^541^ ^verb_base^
^3062^ ^3062_refgroup^ ^542^ ^verb_base^
^3074^ ^3074_refgroup^ ^543^ ^val_reduce0^
^3076^ ^3076_refgroup^ ^544^ ^verb_base^
^3088^ ^3088_refgroup^ ^545^ ^verb_base^
^3091^ ^3091_refgroup^ ^546^ ^minus_tla^
^3093^ ^3093_refgroup^ ^547^ ^verb_base^
^3108^ ^3108_refgroup^ ^548^ ^verb_base^
^3111^ ^3111_refgroup^ ^549^ ^minus_tla^
^3112^ ^3112_refgroup^ ^550^ ^val_add_applic^
^3112^ ^3112_refgroup^ ^551^ ^verb_base^
^3122^ ^3122_refgroup^ ^552^ ^val_add_applic^
^3135^ ^3135_refgroup^ ^553^ ^val_add_caus^
^3141^ ^3141_refgroup^ ^554^ ^verb_base^
^3159^ ^3159_refgroup^ ^555^ ^verb_base^
^3168^ ^3168_refgroup^ ^556^ ^verb_base^
^3169^ ^3169_refgroup^ ^557^ ^minus_tla^
^3171^ ^3171_refgroup^ ^558^ ^verb_base^
^3176^ ^3176_refgroup^ ^559^ ^minus_tla^
^3183^ ^3183_refgroup^ ^560^ ^val_add_applic^
^3183^ ^3183_refgroup^ ^561^ ^minus_tla^
^3185^ ^3185_refgroup^ ^562^ ^val_add_applic^
^3192^ ^3192_refgroup^ ^563^ ^val_add_applic^
^3204^ ^3204_refgroup^ ^564^ ^val_add_applic^
^3210^ ^3210_refgroup^ ^565^ ^minus_tla^
^3218^ ^3218_refgroup^ ^566^ ^verb_base^
^3219^ ^3219_refgroup^ ^567^ ^verb_base^
^3229^ ^3229_refgroup^ ^568^ ^verb_base^
^3232^ ^3232_refgroup^ ^569^ ^val_add_caus^
^3242^ ^3242_refgroup^ ^570^ ^val_reduce1^
^3259^ ^3259_refgroup^ ^571^ ^verb_base^
^3262^ ^3262_refgroup^ ^572^ ^val_reduce1^
^3262^ ^3262_refgroup^ ^573^ ^val_add_applic^
^3266^ ^3266_refgroup^ ^574^ ^minus_tla^
^3272^ ^3272_refgroup^ ^575^ ^val_add_caus^
^3272^ ^3272_refgroup^ ^576^ ^val_add_applic^
^3272^ ^3272_refgroup^ ^577^ ^val_reduce0^
^3279^ ^3279_refgroup^ ^578^ ^val_reduce1^
^3279^ ^3279_refgroup^ ^579^ ^verb_base^
^3308^ ^3308_refgroup^ ^580^ ^val_add_applic^
^3308^ ^3308_refgroup^ ^581^ ^val_reduce2^
^3308^ ^3308_refgroup^ ^582^ ^val_reduce2^
^3308^ ^3308_refgroup^ ^583^ ^verb_base^
^3321^ ^3321_refgroup^ ^584^ ^val_add_caus^
^3330^ ^3330_refgroup^ ^585^ ^verb_base^
^3358^ ^3358_refgroup^ ^586^ ^val_reduce1^
^3361^ ^3361_refgroup^ ^587^ ^val_reduce1^
^3366^ ^3366_refgroup^ ^588^ ^val_reduce1^
^3366^ ^3366_refgroup^ ^589^ ^frequent^
^3369^ ^3369_refgroup^ ^590^ ^val_reduce1^
^3374^ ^3374_refgroup^ ^591^ ^val_reduce1^
^3394^ ^3394_refgroup^ ^592^ ^val_add_applic^
^3397^ ^3397_refgroup^ ^593^ ^verb_base^
^3398^ ^3398_refgroup^ ^594^ ^verb_base^
^3401^ ^3401_refgroup^ ^595^ ^minus_tla^
^3409^ ^3409_refgroup^ ^596^ ^verb_base^
^3412^ ^3412_refgroup^ ^597^ ^verb_base^
^3413^ ^3413_refgroup^ ^598^ ^val_add_applic^
^3417^ ^3417_refgroup^ ^599^ ^val_add_applic^
^3424^ ^3424_refgroup^ ^600^ ^val_add_applic^
^3448^ ^3448_refgroup^ ^601^ ^val_reduce1^
^3450^ ^3450_refgroup^ ^602^ ^verb_base^
^3458^ ^3458_refgroup^ ^603^ ^verb_base^
^3478^ ^3478_refgroup^ ^604^ ^verb_base^
^3478^ ^3478_refgroup^ ^605^ ^val_add_caus^
^3479^ ^3479_refgroup^ ^606^ ^val_add_caus^
^3493^ ^3493_refgroup^ ^607^ ^verb_base^
^3494^ ^3494_refgroup^ ^608^ ^verb_base^
^3503^ ^3503_refgroup^ ^609^ ^verb_base^
^3509^ ^3509_refgroup^ ^610^ ^verb_base^
^3509^ ^3509_refgroup^ ^611^ ^val_add_applic^
^3510^ ^3510_refgroup^ ^612^ ^val_add_caus^
^3513^ ^3513_refgroup^ ^613^ ^val_add_caus^
^3517^ ^3517_refgroup^ ^614^ ^val_add_caus^
^3532^ ^3532_refgroup^ ^615^ ^minus_tla^
^3542^ ^3542_refgroup^ ^616^ ^Stat^
^3545^ ^3545_refgroup^ ^617^ ^verb_base^
^3547^ ^3547_refgroup^ ^618^ ^val_add_caus^
^3581^ ^3581_refgroup^ ^619^ ^val_add_applic^
^3581^ ^3581_refgroup^ ^620^ ^val_add_caus^
^3587^ ^3587_refgroup^ ^621^ ^val_reduce1^
^3587^ ^3587_refgroup^ ^622^ ^ni_base^
^3600^ ^3600_refgroup^ ^623^ ^val_add_applic^
^3600^ ^3600_refgroup^ ^624^ ^val_reduce1^
^3613^ ^3613_refgroup^ ^625^ ^verb_base^
^3628^ ^3628_refgroup^ ^626^ ^minus_tla^
^3630^ ^3630_refgroup^ ^627^ ^verb_base^
^3631^ ^3631_refgroup^ ^628^ ^verb_base^
^3632^ ^3632_refgroup^ ^629^ ^val_add_caus^
^3634^ ^3634_refgroup^ ^630^ ^val_add_caus^
^3637^ ^3637_refgroup^ ^631^ ^val_add_applic^
^3637^ ^3637_refgroup^ ^632^ ^val_reduce1^
^3639^ ^3639_refgroup^ ^633^ ^val_add_applic^
^3639^ ^3639_refgroup^ ^634^ ^val_reduce1^
^3640^ ^3640_refgroup^ ^635^ ^frequent^
^3643^ ^3643_refgroup^ ^636^ ^val_reduce0^
^3643^ ^3643_refgroup^ ^637^ ^ni_base^
^3664^ ^3664_refgroup^ ^638^ ^minus_tla^
^3678^ ^3678_refgroup^ ^639^ ^verb_base^
^3679^ ^3679_refgroup^ ^640^ ^verb_base^
^3688^ ^3688_refgroup^ ^641^ ^ni_base^
^3691^ ^3691_refgroup^ ^642^ ^val_reduce0^
^3703^ ^3703_refgroup^ ^643^ ^verb_base^
^3720^ ^3720_refgroup^ ^644^ ^minus_tla^
^3730^ ^3730_refgroup^ ^645^ ^val_add_applic^
^3730^ ^3730_refgroup^ ^646^ ^verb_base^
^3741^ ^3741_refgroup^ ^647^ ^val_add_applic^
^3783^ ^3783_refgroup^ ^648^ ^verb_base^
^3786^ ^3786_refgroup^ ^649^ ^verb_base^
^3789^ ^3789_refgroup^ ^650^ ^ni_base^
^3799^ ^3799_refgroup^ ^651^ ^verb_base^
^3803^ ^3803_refgroup^ ^652^ ^val_add_applic^
^3811^ ^3811_refgroup^ ^653^ ^val_add_applic^
^3813^ ^3813_refgroup^ ^654^ ^val_add_caus^
^3817^ ^3817_refgroup^ ^655^ ^val_add_applic^
^3817^ ^3817_refgroup^ ^656^ ^val_reduce1^
^3819^ ^3819_refgroup^ ^657^ ^val_reduce1^
^3820^ ^3820_refgroup^ ^658^ ^minus_tla^
^3823^ ^3823_refgroup^ ^659^ ^val_add_caus^
^3828^ ^3828_refgroup^ ^660^ ^verb_base^
^3830^ ^3830_refgroup^ ^661^ ^val_add_applic^
^3835^ ^3835_refgroup^ ^662^ ^val_reduce0^
^3836^ ^3836_refgroup^ ^663^ ^val_reduce1^
^3840^ ^3840_refgroup^ ^664^ ^val_add_applic^
^3840^ ^3840_refgroup^ ^665^ ^val_add_caus^
^3846^ ^3846_refgroup^ ^666^ ^val_add_caus^
^3847^ ^3847_refgroup^ ^667^ ^val_add_applic^
^3853^ ^3853_refgroup^ ^668^ ^verb_base^
^3854^ ^3854_refgroup^ ^669^ ^val_add_caus^
^3854^ ^3854_refgroup^ ^670^ ^val_add_applic^
^3864^ ^3864_refgroup^ ^671^ ^ni_base^
^3878^ ^3878_refgroup^ ^672^ ^minus_tla^
^3881^ ^3881_refgroup^ ^673^ ^verb_base^
^3891^ ^3891_refgroup^ ^674^ ^verb_base^
^3892^ ^3892_refgroup^ ^675^ ^val_add_applic^
^3901^ ^3901_refgroup^ ^676^ ^val_add_applic^
^3901^ ^3901_refgroup^ ^677^ ^val_add_caus^
^3916^ ^3916_refgroup^ ^678^ ^val_add_applic^
^3916^ ^3916_refgroup^ ^679^ ^minus_tla^
^3919^ ^3919_refgroup^ ^680^ ^verb_base^
^3922^ ^3922_refgroup^ ^681^ ^verb_base^
^3923^ ^3923_refgroup^ ^682^ ^verb_base^
^3928^ ^3928_refgroup^ ^683^ ^val_add_applic^
^3932^ ^3932_refgroup^ ^684^ ^val_add_applic^
^3932^ ^3932_refgroup^ ^685^ ^val_add_caus^
^3945^ ^3945_refgroup^ ^686^ ^verb_base^
^3958^ ^3958_refgroup^ ^687^ ^verb_base^
^3959^ ^3959_refgroup^ ^688^ ^frequent^
^3962^ ^3962_refgroup^ ^689^ ^minus_tla^
^3963^ ^3963_refgroup^ ^690^ ^val_add_applic^
^3972^ ^3972_refgroup^ ^691^ ^verb_base^
^3972^ ^3972_refgroup^ ^692^ ^val_add_applic^
^3974^ ^3974_refgroup^ ^693^ ^verb_base^
^3978^ ^3978_refgroup^ ^694^ ^verb_base^
^3980^ ^3980_refgroup^ ^695^ ^plus_tla^
^3987^ ^3987_refgroup^ ^696^ ^verb_base^
^3987^ ^3987_refgroup^ ^697^ ^val_reduce1^
^3987^ ^3987_refgroup^ ^698^ ^val_reduce1^
^3998^ ^3998_refgroup^ ^699^ ^minus_tla^
^3999^ ^3999_refgroup^ ^700^ ^verb_base^
^4005^ ^4005_refgroup^ ^701^ ^minus_tla^
^4010^ ^4010_refgroup^ ^702^ ^verb_base^
^4013^ ^4013_refgroup^ ^703^ ^val_add_caus^
^4026^ ^4026_refgroup^ ^704^ ^val_add_caus^
^4026^ ^4026_refgroup^ ^705^ ^frequent^
^4042^ ^4042_refgroup^ ^706^ ^verb_base^
^4045^ ^4045_refgroup^ ^707^ ^verb_base^
^4047^ ^4047_refgroup^ ^708^ ^minus_tla^
^4052^ ^4052_refgroup^ ^709^ ^verb_base^
^4060^ ^4060_refgroup^ ^710^ ^val_add_applic^
^4060^ ^4060_refgroup^ ^711^ ^val_add_caus^
^4081^ ^4081_refgroup^ ^712^ ^verb_base^
^4082^ ^4082_refgroup^ ^713^ ^verb_base^
^4084^ ^4084_refgroup^ ^714^ ^verb_base^
^4087^ ^4087_refgroup^ ^715^ ^plus_tla^
^4099^ ^4099_refgroup^ ^716^ ^val_add_applic^
^4099^ ^4099_refgroup^ ^717^ ^verb_base^
^4105^ ^4105_refgroup^ ^718^ ^verb_base^
^4109^ ^4109_refgroup^ ^719^ ^verb_base^
^4115^ ^4115_refgroup^ ^720^ ^verb_base^
^4121^ ^4121_refgroup^ ^721^ ^ni_base^
^4128^ ^4128_refgroup^ ^722^ ^val_add_applic^
^4128^ ^4128_refgroup^ ^723^ ^minus_tla^
^4130^ ^4130_refgroup^ ^724^ ^verb_base^
^4155^ ^4155_refgroup^ ^725^ ^val_add_caus^
^4156^ ^4156_refgroup^ ^726^ ^plus_tla^
^4165^ ^4165_refgroup^ ^727^ ^val_add_caus^
^4165^ ^4165_refgroup^ ^728^ ^frequent^
^4167^ ^4167_refgroup^ ^729^ ^val_add_caus^
^4171^ ^4171_refgroup^ ^730^ ^ni_base^
^4172^ ^4172_refgroup^ ^731^ ^val_add_caus^
^4182^ ^4182_refgroup^ ^732^ ^verb_base^
^4190^ ^4190_refgroup^ ^733^ ^val_reduce1^
^4190^ ^4190_refgroup^ ^734^ ^val_add_caus^
^4195^ ^4195_refgroup^ ^735^ ^minus_tla^
^4196^ ^4196_refgroup^ ^736^ ^verb_base^
^4200^ ^4200_refgroup^ ^737^ ^verb_base^
^4209^ ^4209_refgroup^ ^738^ ^verb_base^
^4219^ ^4219_refgroup^ ^739^ ^ni_base^
^4233^ ^4233_refgroup^ ^740^ ^val_add_applic^
^4234^ ^4234_refgroup^ ^741^ ^val_add_caus^
^4248^ ^4248_refgroup^ ^742^ ^val_reduce1^
^4248^ ^4248_refgroup^ ^743^ ^val_add_applic^
^4260^ ^4260_refgroup^ ^744^ ^minus_tla^
^4272^ ^4272_refgroup^ ^745^ ^ni_base^
^4273^ ^4273_refgroup^ ^746^ ^val_add_caus^
^4274^ ^4274_refgroup^ ^747^ ^minus_tla^
^4277^ ^4277_refgroup^ ^748^ ^minus_tla^
^4279^ ^4279_refgroup^ ^749^ ^val_reduce2^
^4296^ ^4296_refgroup^ ^750^ ^val_reduce1^
^4305^ ^4305_refgroup^ ^751^ ^val_add_applic^
^4306^ ^4306_refgroup^ ^752^ ^val_add_caus^
^4316^ ^4316_refgroup^ ^753^ ^val_reduce1^
^4322^ ^4322_refgroup^ ^754^ ^val_add_caus^
^4322^ ^4322_refgroup^ ^755^ ^val_add_caus^
^4352^ ^4352_refgroup^ ^756^ ^plus_tla^
^4357^ ^4357_refgroup^ ^757^ ^verb_base^
^4392^ ^4392_refgroup^ ^758^ ^verb_base^
^4400^ ^4400_refgroup^ ^759^ ^val_add_applic^
^4406^ ^4406_refgroup^ ^760^ ^verb_base^
^4410^ ^4410_refgroup^ ^761^ ^minus_tla^
^4412^ ^4412_refgroup^ ^762^ ^minus_tla^
^4423^ ^4423_refgroup^ ^763^ ^frequent^
^4428^ ^4428_refgroup^ ^764^ ^verb_base^
^4429^ ^4429_refgroup^ ^765^ ^val_add_applic^
^4429^ ^4429_refgroup^ ^766^ ^val_reduce0^
^4433^ ^4433_refgroup^ ^767^ ^val_reduce1^
^4437^ ^4437_refgroup^ ^768^ ^val_add_applic^
^4464^ ^4464_refgroup^ ^769^ ^verb_base^
^4465^ ^4465_refgroup^ ^770^ ^minus_tla^
^4469^ ^4469_refgroup^ ^771^ ^val_reduce1^
^4471^ ^4471_refgroup^ ^772^ ^verb_base^
^4496^ ^4496_refgroup^ ^773^ ^ni_base^
^4523^ ^4523_refgroup^ ^774^ ^minus_tla^
^4538^ ^4538_refgroup^ ^775^ ^verb_base^
^4547^ ^4547_refgroup^ ^776^ ^verb_base^
^4553^ ^4553_refgroup^ ^777^ ^val_add_caus^
^4559^ ^4559_refgroup^ ^778^ ^minus_tla^
^4561^ ^4561_refgroup^ ^779^ ^verb_base^
^4564^ ^4564_refgroup^ ^780^ ^val_add_applic^
^4564^ ^4564_refgroup^ ^781^ ^val_add_caus^
^4568^ ^4568_refgroup^ ^782^ ^val_add_caus^
^4573^ ^4573_refgroup^ ^783^ ^verb_base^
^4575^ ^4575_refgroup^ ^784^ ^verb_base^
^4576^ ^4576_refgroup^ ^785^ ^val_add_caus^
^4579^ ^4579_refgroup^ ^786^ ^verb_base^
^4600^ ^4600_refgroup^ ^787^ ^val_add_caus^
^4605^ ^4605_refgroup^ ^788^ ^verb_base^
^4614^ ^4614_refgroup^ ^789^ ^val_add_caus^
^4620^ ^4620_refgroup^ ^790^ ^val_add_applic^
^4625^ ^4625_refgroup^ ^791^ ^val_add_caus^
^4634^ ^4634_refgroup^ ^792^ ^verb_base^
^4659^ ^4659_refgroup^ ^793^ ^val_reduce1^
^4659^ ^4659_refgroup^ ^794^ ^val_add_applic^
^4666^ ^4666_refgroup^ ^795^ ^val_add_applic^
^4673^ ^4673_refgroup^ ^796^ ^verb_base^
^4684^ ^4684_refgroup^ ^797^ ^val_add_applic^
^4684^ ^4684_refgroup^ ^798^ ^val_reduce1^
^4684^ ^4684_refgroup^ ^799^ ^verb_base^
^4685^ ^4685_refgroup^ ^800^ ^val_add_caus^
^4690^ ^4690_refgroup^ ^801^ ^verb_base^
^4695^ ^4695_refgroup^ ^802^ ^val_add_applic^
^4696^ ^4696_refgroup^ ^803^ ^plus_tla^
^4696^ ^4696_refgroup^ ^804^ ^val_add_applic^
^4697^ ^4697_refgroup^ ^805^ ^val_add_caus^
^4697^ ^4697_refgroup^ ^806^ ^val_add_applic^
^4697^ ^4697_refgroup^ ^807^ ^val_reduce1^
^4701^ ^4701_refgroup^ ^808^ ^verb_base^
^4709^ ^4709_refgroup^ ^809^ ^ni_base^
^4713^ ^4713_refgroup^ ^810^ ^val_add_applic^
^4724^ ^4724_refgroup^ ^811^ ^verb_base^
^4728^ ^4728_refgroup^ ^812^ ^val_add_caus^
^4731^ ^4731_refgroup^ ^813^ ^verb_base^
^4731^ ^4731_refgroup^ ^814^ ^val_reduce2^
^4735^ ^4735_refgroup^ ^815^ ^val_add_caus^
^4735^ ^4735_refgroup^ ^816^ ^val_reduce0^
^4740^ ^4740_refgroup^ ^817^ ^minus_tla^
^4742^ ^4742_refgroup^ ^818^ ^val_reduce1^
^4748^ ^4748_refgroup^ ^819^ ^verb_base^
^4754^ ^4754_refgroup^ ^820^ ^verb_base^
^4755^ ^4755_refgroup^ ^821^ ^verb_base^
^4756^ ^4756_refgroup^ ^822^ ^verb_base^
^4756^ ^4756_refgroup^ ^823^ ^val_reduce2^
^4764^ ^4764_refgroup^ ^824^ ^ni_base^
^4768^ ^4768_refgroup^ ^825^ ^val_add_applic^
^4773^ ^4773_refgroup^ ^826^ ^verb_base^
^4806^ ^4806_refgroup^ ^827^ ^ni_base^
^4817^ ^4817_refgroup^ ^828^ ^val_add_applic^
^4817^ ^4817_refgroup^ ^829^ ^minus_tla^
^4822^ ^4822_refgroup^ ^830^ ^val_add_applic^
^4822^ ^4822_refgroup^ ^831^ ^minus_tla^
^4840^ ^4840_refgroup^ ^832^ ^verb_base^
^4843^ ^4843_refgroup^ ^833^ ^val_add_caus^
^4843^ ^4843_refgroup^ ^834^ ^minus_tla^
^4846^ ^4846_refgroup^ ^835^ ^verb_base^
^4854^ ^4854_refgroup^ ^836^ ^verb_base^
^4856^ ^4856_refgroup^ ^837^ ^minus_tla^
^4861^ ^4861_refgroup^ ^838^ ^val_add_applic^
^4864^ ^4864_refgroup^ ^839^ ^verb_base^
^4864^ ^4864_refgroup^ ^840^ ^val_reduce1^
^4867^ ^4867_refgroup^ ^841^ ^verb_base^
^4872^ ^4872_refgroup^ ^842^ ^val_reduce1^
^4875^ ^4875_refgroup^ ^843^ ^verb_base^
^4877^ ^4877_refgroup^ ^844^ ^minus_tla^
^4880^ ^4880_refgroup^ ^845^ ^ni_base^
^4882^ ^4882_refgroup^ ^846^ ^minus_tla^
^4885^ ^4885_refgroup^ ^847^ ^verb_base^
^4886^ ^4886_refgroup^ ^848^ ^val_reduce1^
^4886^ ^4886_refgroup^ ^849^ ^verb_base^
^4907^ ^4907_refgroup^ ^850^ ^verb_base^
^4910^ ^4910_refgroup^ ^851^ ^val_add_applic^
^4917^ ^4917_refgroup^ ^852^ ^ni_base^
^4918^ ^4918_refgroup^ ^853^ ^ni_base^
^4920^ ^4920_refgroup^ ^854^ ^val_add_applic^
^4929^ ^4929_refgroup^ ^855^ ^verb_base^
^4938^ ^4938_refgroup^ ^856^ ^val_add_applic^
^4953^ ^4953_refgroup^ ^857^ ^minus_tla^
^4959^ ^4959_refgroup^ ^858^ ^verb_base^
^4969^ ^4969_refgroup^ ^859^ ^val_add_applic^
^4977^ ^4977_refgroup^ ^860^ ^minus_tla^
^4994^ ^4994_refgroup^ ^861^ ^val_add_applic^
^4995^ ^4995_refgroup^ ^862^ ^val_reduce1^
^4998^ ^4998_refgroup^ ^863^ ^val_add_caus^
^5007^ ^5007_refgroup^ ^864^ ^verb_base^
^5017^ ^5017_refgroup^ ^865^ ^val_reduce0^
^5022^ ^5022_refgroup^ ^866^ ^verb_base^
^5027^ ^5027_refgroup^ ^867^ ^val_add_caus^
^5035^ ^5035_refgroup^ ^868^ ^val_add_applic^
^5039^ ^5039_refgroup^ ^869^ ^verb_base^
^5048^ ^5048_refgroup^ ^870^ ^minus_tla^
^5049^ ^5049_refgroup^ ^871^ ^minus_tla^
^5050^ ^5050_refgroup^ ^872^ ^val_reduce0^
^5051^ ^5051_refgroup^ ^873^ ^val_add_applic^
^5051^ ^5051_refgroup^ ^874^ ^val_add_caus^
^5051^ ^5051_refgroup^ ^875^ ^val_add_caus^
^5061^ ^5061_refgroup^ ^876^ ^verb_base^
^5064^ ^5064_refgroup^ ^877^ ^verb_base^
^5077^ ^5077_refgroup^ ^878^ ^val_add_applic^
^5080^ ^5080_refgroup^ ^879^ ^val_add_applic^
^5084^ ^5084_refgroup^ ^880^ ^val_add_caus^
^5086^ ^5086_refgroup^ ^881^ ^val_add_caus^
^5086^ ^5086_refgroup^ ^882^ ^frequent^
^5087^ ^5087_refgroup^ ^883^ ^val_add_applic^
^5110^ ^5110_refgroup^ ^884^ ^verb_base^
^5111^ ^5111_refgroup^ ^885^ ^val_add_caus^
^5115^ ^5115_refgroup^ ^886^ ^verb_base^
^5118^ ^5118_refgroup^ ^887^ ^verb_base^
^5131^ ^5131_refgroup^ ^888^ ^val_add_applic^
^5131^ ^5131_refgroup^ ^889^ ^val_reduce1^
^5136^ ^5136_refgroup^ ^890^ ^val_add_applic^
^5136^ ^5136_refgroup^ ^891^ ^val_reduce1^
^5138^ ^5138_refgroup^ ^892^ ^val_add_caus^
^5138^ ^5138_refgroup^ ^893^ ^val_add_applic.caus^
^5138^ ^5138_refgroup^ ^894^ ^val_reduce0^
^5139^ ^5139_refgroup^ ^895^ ^minus_tla^
^5140^ ^5140_refgroup^ ^896^ ^val_add_applic^
^5149^ ^5149_refgroup^ ^897^ ^verb_base^
^5152^ ^5152_refgroup^ ^898^ ^val_reduce0^
^5152^ ^5152_refgroup^ ^899^ ^frequent^
^5161^ ^5161_refgroup^ ^900^ ^val_reduce1^
^5161^ ^5161_refgroup^ ^901^ ^verb_base^
^5178^ ^5178_refgroup^ ^902^ ^val_add_caus^
^5192^ ^5192_refgroup^ ^903^ ^val_reduce1^
^5192^ ^5192_refgroup^ ^904^ ^val_add_applic^
^5214^ ^5214_refgroup^ ^905^ ^minus_tla^
^5216^ ^5216_refgroup^ ^906^ ^minus_tla^
^5217^ ^5217_refgroup^ ^907^ ^verb_base^
^5224^ ^5224_refgroup^ ^908^ ^verb_base^
^5229^ ^5229_refgroup^ ^909^ ^verb_base^
^5230^ ^5230_refgroup^ ^910^ ^val_add_applic^
^5244^ ^5244_refgroup^ ^911^ ^plus_tla^
^5247^ ^5247_refgroup^ ^912^ ^val_add_caus^
^5253^ ^5253_refgroup^ ^913^ ^verb_base^
^5254^ ^5254_refgroup^ ^914^ ^verb_base^
^5257^ ^5257_refgroup^ ^915^ ^val_add_caus^
^5270^ ^5270_refgroup^ ^916^ ^ni_base^
^5282^ ^5282_refgroup^ ^917^ ^val_add_caus^
^5285^ ^5285_refgroup^ ^918^ ^ni_base^
^5286^ ^5286_refgroup^ ^919^ ^val_add_caus^
^5289^ ^5289_refgroup^ ^920^ ^verb_base^
^5294^ ^5294_refgroup^ ^921^ ^verb_base^
^5294^ ^5294_refgroup^ ^922^ ^val_add_applic^
^5301^ ^5301_refgroup^ ^923^ ^verb_base^
^5308^ ^5308_refgroup^ ^924^ ^frequent^
^5315^ ^5315_refgroup^ ^925^ ^val_add_caus^
^5315^ ^5315_refgroup^ ^926^ ^val_add_applic^
^5315^ ^5315_refgroup^ ^927^ ^minus_tla^
^5320^ ^5320_refgroup^ ^928^ ^verb_base^
^5324^ ^5324_refgroup^ ^929^ ^val_reduce0^
^5326^ ^5326_refgroup^ ^930^ ^val_add_applic^
^5326^ ^5326_refgroup^ ^931^ ^val_add_caus^
^5334^ ^5334_refgroup^ ^932^ ^verb_base^
^5340^ ^5340_refgroup^ ^933^ ^verb_base^
^5349^ ^5349_refgroup^ ^934^ ^val_add_caus^
^5352^ ^5352_refgroup^ ^935^ ^minus_tla^
^5379^ ^5379_refgroup^ ^936^ ^verb_base^
^5422^ ^5422_refgroup^ ^937^ ^verb_base^
^5423^ ^5423_refgroup^ ^938^ ^val_add_applic^
^5425^ ^5425_refgroup^ ^939^ ^verb_base^
^5431^ ^5431_refgroup^ ^940^ ^ni_base^
^5433^ ^5433_refgroup^ ^941^ ^val_reduce2^
^5440^ ^5440_refgroup^ ^942^ ^minus_tla^
^5456^ ^5456_refgroup^ ^943^ ^verb_base^
^5456^ ^5456_refgroup^ ^944^ ^val_reduce1^
^5460^ ^5460_refgroup^ ^945^ ^verb_base^
^5476^ ^5476_refgroup^ ^946^ ^val_add_caus^
^5480^ ^5480_refgroup^ ^947^ ^frequent^
^5484^ ^5484_refgroup^ ^948^ ^val_add_caus^
^5490^ ^5490_refgroup^ ^949^ ^val_add_applic^
^5493^ ^5493_refgroup^ ^950^ ^val_add_applic^
^5494^ ^5494_refgroup^ ^951^ ^minus_tla^
^8^ ^8_refgroup^ ^1^ ^verb_base^
^10^ ^10_refgroup^ ^2^ ^verb_base^
^17^ ^17_refgroup^ ^3^ ^verb_base^
^20^ ^20_refgroup^ ^4^ ^val_add_applic^
^20^ ^20_refgroup^ ^5^ ^minus_tla^
^24^ ^24_refgroup^ ^6^ ^val_add_applic^
^27^ ^27_refgroup^ ^7^ ^val_reduce1^
^27^ ^27_refgroup^ ^8^ ^val_reduce1^
^27^ ^27_refgroup^ ^9^ ^val_add_applic^
^27^ ^27_refgroup^ ^10^ ^val_add_caus^
^29^ ^29_refgroup^ ^11^ ^val_reduce1^
^46^ ^46_refgroup^ ^12^ ^val_add_applic^
^51^ ^51_refgroup^ ^13^ ^frequent^
^62^ ^62_refgroup^ ^14^ ^val_reduce1^
^62^ ^62_refgroup^ ^15^ ^val_add_applic^
^71^ ^71_refgroup^ ^16^ ^val_add_caus^
^84^ ^84_refgroup^ ^17^ ^val_add_applic^
^103^ ^103_refgroup^ ^18^ ^val_add_applic^
^111^ ^111_refgroup^ ^19^ ^verb_base^
^114^ ^114_refgroup^ ^20^ ^val_add_applic^
^119^ ^119_refgroup^ ^21^ ^val_add_caus^
^127^ ^127_refgroup^ ^22^ ^verb_base^
^144^ ^144_refgroup^ ^23^ ^val_add_caus^
^146^ ^146_refgroup^ ^24^ ^minus_tla^
^147^ ^147_refgroup^ ^25^ ^minus_tla^
^152^ ^152_refgroup^ ^26^ ^minus_tla^
^156^ ^156_refgroup^ ^27^ ^val_add_applic^
^158^ ^158_refgroup^ ^28^ ^minus_tla^
^161^ ^161_refgroup^ ^29^ ^minus_tla^
^163^ ^163_refgroup^ ^30^ ^verb_base^
^166^ ^166_refgroup^ ^31^ ^frequent^
^167^ ^167_refgroup^ ^32^ ^verb_base^
^174^ ^174_refgroup^ ^33^ ^verb_base^
^197^ ^197_refgroup^ ^34^ ^val_add_applic^
^197^ ^197_refgroup^ ^35^ ^verb_base^
^202^ ^202_refgroup^ ^36^ ^val_reduce1^
^205^ ^205_refgroup^ ^37^ ^verb_base^
^208^ ^208_refgroup^ ^38^ ^val_add_applic^
^211^ ^211_refgroup^ ^39^ ^val_reduce1^
^214^ ^214_refgroup^ ^40^ ^val_add_applic^
^228^ ^228_refgroup^ ^41^ ^ni_base^
^231^ ^231_refgroup^ ^42^ ^verb_base^
^234^ ^234_refgroup^ ^43^ ^val_add_applic^
^247^ ^247_refgroup^ ^44^ ^val_add_applic^
^247^ ^247_refgroup^ ^45^ ^verb_base^
^249^ ^249_refgroup^ ^46^ ^minus_tla^
^252^ ^252_refgroup^ ^47^ ^val_add_caus^
^266^ ^266_refgroup^ ^48^ ^verb_base^
^271^ ^271_refgroup^ ^49^ ^verb_base^
^273^ ^273_refgroup^ ^50^ ^verb_base^
^275^ ^275_refgroup^ ^51^ ^minus_tla^
^276^ ^276_refgroup^ ^52^ ^val_add_applic^
^284^ ^284_refgroup^ ^53^ ^val_add_applic^
^284^ ^284_refgroup^ ^54^ ^val_add_caus^
^284^ ^284_refgroup^ ^55^ ^val_reduce1^
^285^ ^285_refgroup^ ^56^ ^val_add_caus^
^286^ ^286_refgroup^ ^57^ ^val_add_caus^
^296^ ^296_refgroup^ ^58^ ^val_add_applic^
^301^ ^301_refgroup^ ^59^ ^verb_base^
^332^ ^332_refgroup^ ^60^ ^verb_base^
^350^ ^350_refgroup^ ^61^ ^verb_base^
^352^ ^352_refgroup^ ^62^ ^minus_tla^
^354^ ^354_refgroup^ ^63^ ^verb_base^
^361^ ^361_refgroup^ ^64^ ^val_add_caus^
^365^ ^365_refgroup^ ^65^ ^ni_base^
^366^ ^366_refgroup^ ^66^ ^val_reduce1^
^377^ ^377_refgroup^ ^67^ ^val_reduce1^
^381^ ^381_refgroup^ ^68^ ^verb_base^
^387^ ^387_refgroup^ ^69^ ^minus_tla^
^394^ ^394_refgroup^ ^70^ ^val_add_caus^
^401^ ^401_refgroup^ ^71^ ^verb_base^
^418^ ^418_refgroup^ ^72^ ^verb_base^
^444^ ^444_refgroup^ ^73^ ^val_add_caus^
^444^ ^444_refgroup^ ^74^ ^val_add_applic^
^449^ ^449_refgroup^ ^75^ ^val_reduce1^
^456^ ^456_refgroup^ ^76^ ^verb_base^
^471^ ^471_refgroup^ ^77^ ^val_add_applic^
^471^ ^471_refgroup^ ^78^ ^val_reduce1^
^481^ ^481_refgroup^ ^79^ ^val_add_applic^
^485^ ^485_refgroup^ ^80^ ^verb_base^
^486^ ^486_refgroup^ ^81^ ^verb_base^
^520^ ^520_refgroup^ ^82^ ^val_add_caus^
^526^ ^526_refgroup^ ^83^ ^verb_base^
^527^ ^527_refgroup^ ^84^ ^verb_base^
^529^ ^529_refgroup^ ^85^ ^minus_tla^
^534^ ^534_refgroup^ ^86^ ^verb_base^
^549^ ^549_refgroup^ ^87^ ^val_add_caus^
^551^ ^551_refgroup^ ^88^ ^val_add_applic^
^565^ ^565_refgroup^ ^89^ ^verb_base^
^565^ ^565_refgroup^ ^90^ ^val_add_applic^
^568^ ^568_refgroup^ ^91^ ^val_add_caus^
^587^ ^587_refgroup^ ^92^ ^minus_tla^
^593^ ^593_refgroup^ ^93^ ^verb_base^
^596^ ^596_refgroup^ ^94^ ^val_add_applic^
^603^ ^603_refgroup^ ^95^ ^verb_base^
^604^ ^604_refgroup^ ^96^ ^val_add_caus^
^604^ ^604_refgroup^ ^97^ ^val_reduce0^
^604^ ^604_refgroup^ ^98^ ^frequent^
^608^ ^608_refgroup^ ^99^ ^val_add_caus^
^608^ ^608_refgroup^ ^100^ ^val_add_applic^
^608^ ^608_refgroup^ ^101^ ^val_reduce1^
^610^ ^610_refgroup^ ^102^ ^verb_base^
^620^ ^620_refgroup^ ^103^ ^val_add_caus^
^620^ ^620_refgroup^ ^104^ ^minus_tla^
^627^ ^627_refgroup^ ^105^ ^minus_tla^
^630^ ^630_refgroup^ ^106^ ^verb_base^
^633^ ^633_refgroup^ ^107^ ^val_add_caus^
^639^ ^639_refgroup^ ^108^ ^verb_base^
^641^ ^641_refgroup^ ^109^ ^verb_base^
^643^ ^643_refgroup^ ^110^ ^frequent^
^653^ ^653_refgroup^ ^111^ ^verb_base^
^661^ ^661_refgroup^ ^112^ ^val_add_caus^
^662^ ^662_refgroup^ ^113^ ^minus_tla^
^669^ ^669_refgroup^ ^114^ ^val_add_caus^
^683^ ^683_refgroup^ ^115^ ^ni_base^
^687^ ^687_refgroup^ ^116^ ^val_add_applic^
^691^ ^691_refgroup^ ^117^ ^val_add_caus^
^698^ ^698_refgroup^ ^118^ ^verb_base^
^704^ ^704_refgroup^ ^119^ ^verb_base^
^716^ ^716_refgroup^ ^120^ ^val_reduce1^
^719^ ^719_refgroup^ ^121^ ^val_add_caus^
^725^ ^725_refgroup^ ^122^ ^val_reduce1^
^730^ ^730_refgroup^ ^123^ ^val_add_applic^
^731^ ^731_refgroup^ ^124^ ^verb_base^
^754^ ^754_refgroup^ ^125^ ^val_add_applic^
^774^ ^774_refgroup^ ^126^ ^verb_base^
^780^ ^780_refgroup^ ^127^ ^val_add_applic^
^787^ ^787_refgroup^ ^128^ ^verb_base^
^797^ ^797_refgroup^ ^129^ ^val_add_applic^
^799^ ^799_refgroup^ ^130^ ^val_add_caus^
^815^ ^815_refgroup^ ^131^ ^verb_base^
^822^ ^822_refgroup^ ^132^ ^val_add_caus^
^822^ ^822_refgroup^ ^133^ ^val_add_applic^
^835^ ^835_refgroup^ ^134^ ^verb_base^
^836^ ^836_refgroup^ ^135^ ^minus_tla^
^846^ ^846_refgroup^ ^136^ ^verb_base^
^852^ ^852_refgroup^ ^137^ ^verb_base^
^858^ ^858_refgroup^ ^138^ ^minus_tla^
^864^ ^864_refgroup^ ^139^ ^val_add_applic^
^877^ ^877_refgroup^ ^140^ ^verb_base^
^879^ ^879_refgroup^ ^141^ ^val_reduce1^
^879^ ^879_refgroup^ ^142^ ^verb_base^
^925^ ^925_refgroup^ ^143^ ^minus_tla^
^942^ ^942_refgroup^ ^144^ ^frequent^
^961^ ^961_refgroup^ ^145^ ^val_add_applic^
^974^ ^974_refgroup^ ^146^ ^verb_base^
^975^ ^975_refgroup^ ^147^ ^val_reduce1^
^975^ ^975_refgroup^ ^148^ ^val_reduce1^
^975^ ^975_refgroup^ ^149^ ^verb_base^
^981^ ^981_refgroup^ ^150^ ^verb_base^
^985^ ^985_refgroup^ ^151^ ^verb_base^
^1014^ ^1014_refgroup^ ^152^ ^ni_base^
^1018^ ^1018_refgroup^ ^153^ ^verb_base^
^1027^ ^1027_refgroup^ ^154^ ^val_add_applic^
^1029^ ^1029_refgroup^ ^155^ ^ni_base^
^1034^ ^1034_refgroup^ ^156^ ^val_add_applic^
^1038^ ^1038_refgroup^ ^157^ ^minus_tla^
^1045^ ^1045_refgroup^ ^158^ ^verb_base^
^1052^ ^1052_refgroup^ ^159^ ^ni_base^
^1072^ ^1072_refgroup^ ^160^ ^verb_base^
^1082^ ^1082_refgroup^ ^161^ ^minus_tla^
^1089^ ^1089_refgroup^ ^162^ ^val_reduce1^
^1089^ ^1089_refgroup^ ^163^ ^ni_base^
^1098^ ^1098_refgroup^ ^164^ ^verb_base^
^1108^ ^1108_refgroup^ ^165^ ^val_add_applic^
^1110^ ^1110_refgroup^ ^166^ ^verb_base^
^1110^ ^1110_refgroup^ ^167^ ^val_reduce1^
^1115^ ^1115_refgroup^ ^168^ ^val_add_applic^
^1128^ ^1128_refgroup^ ^169^ ^val_add_caus^
^1141^ ^1141_refgroup^ ^170^ ^val_add_applic^
^1161^ ^1161_refgroup^ ^171^ ^val_add_caus^
^1168^ ^1168_refgroup^ ^172^ ^verb_base^
^1172^ ^1172_refgroup^ ^173^ ^val_add_caus^
^1176^ ^1176_refgroup^ ^174^ ^ni_base^
^1180^ ^1180_refgroup^ ^175^ ^verb_base^
^1183^ ^1183_refgroup^ ^176^ ^minus_tla^
^1188^ ^1188_refgroup^ ^177^ ^verb_base^
^1190^ ^1190_refgroup^ ^178^ ^val_add_caus^
^1203^ ^1203_refgroup^ ^179^ ^frequent^
^1213^ ^1213_refgroup^ ^180^ ^verb_base^
^1218^ ^1218_refgroup^ ^181^ ^val_reduce1^
^1229^ ^1229_refgroup^ ^182^ ^verb_base^
^1239^ ^1239_refgroup^ ^183^ ^val_add_caus^
^1241^ ^1241_refgroup^ ^184^ ^val_add_caus^
^1242^ ^1242_refgroup^ ^185^ ^val_add_applic^
^1242^ ^1242_refgroup^ ^186^ ^val_reduce1^
^1245^ ^1245_refgroup^ ^187^ ^val_add_caus^
^1251^ ^1251_refgroup^ ^188^ ^val_reduce1^
^1276^ ^1276_refgroup^ ^189^ ^val_add_caus^
^1280^ ^1280_refgroup^ ^190^ ^val_add_applic^
^1286^ ^1286_refgroup^ ^191^ ^val_add_caus^
^1288^ ^1288_refgroup^ ^192^ ^verb_base^
^1294^ ^1294_refgroup^ ^193^ ^verb_base^
^1295^ ^1295_refgroup^ ^194^ ^verb_base^
^1297^ ^1297_refgroup^ ^195^ ^verb_base^
^1299^ ^1299_refgroup^ ^196^ ^val_add_applic^
^1311^ ^1311_refgroup^ ^197^ ^verb_base^
^1331^ ^1331_refgroup^ ^198^ ^verb_base^
^1336^ ^1336_refgroup^ ^199^ ^val_add_caus^
^1337^ ^1337_refgroup^ ^200^ ^val_add_caus^
^1339^ ^1339_refgroup^ ^201^ ^verb_base^
^1363^ ^1363_refgroup^ ^202^ ^val_reduce1^
^1364^ ^1364_refgroup^ ^203^ ^verb_base^
^1366^ ^1366_refgroup^ ^204^ ^verb_base^
^1378^ ^1378_refgroup^ ^205^ ^verb_base^
^1381^ ^1381_refgroup^ ^206^ ^minus_tla^
^1384^ ^1384_refgroup^ ^207^ ^verb_base^
^1392^ ^1392_refgroup^ ^208^ ^verb_base^
^1398^ ^1398_refgroup^ ^209^ ^verb_base^
^1400^ ^1400_refgroup^ ^210^ ^val_reduce1^
^1401^ ^1401_refgroup^ ^211^ ^verb_base^
^1401^ ^1401_refgroup^ ^212^ ^minus_tla^
^1403^ ^1403_refgroup^ ^213^ ^val_add_applic^
^1412^ ^1412_refgroup^ ^214^ ^verb_base^
^1419^ ^1419_refgroup^ ^215^ ^verb_base^
^1436^ ^1436_refgroup^ ^216^ ^verb_base^
^1442^ ^1442_refgroup^ ^217^ ^val_reduce1^
^1444^ ^1444_refgroup^ ^218^ ^ni_base^
^1452^ ^1452_refgroup^ ^219^ ^verb_base^
^1455^ ^1455_refgroup^ ^220^ ^val_add_caus^
^1455^ ^1455_refgroup^ ^221^ ^minus_tla^
^1457^ ^1457_refgroup^ ^222^ ^val_reduce0^
^1457^ ^1457_refgroup^ ^223^ ^frequent^
^1459^ ^1459_refgroup^ ^224^ ^verb_base^
^1467^ ^1467_refgroup^ ^225^ ^verb_base^
^1475^ ^1475_refgroup^ ^226^ ^verb_base^
^1489^ ^1489_refgroup^ ^227^ ^verb_base^
^1502^ ^1502_refgroup^ ^228^ ^val_add_caus^
^1529^ ^1529_refgroup^ ^229^ ^val_add_applic^
^1529^ ^1529_refgroup^ ^230^ ^val_add_caus^
^1529^ ^1529_refgroup^ ^231^ ^val_reduce0^
^1529^ ^1529_refgroup^ ^232^ ^val_reduce0^
^1533^ ^1533_refgroup^ ^233^ ^val_add_caus^
^1535^ ^1535_refgroup^ ^234^ ^val_add_applic^
^1542^ ^1542_refgroup^ ^235^ ^val_add_caus^
^1542^ ^1542_refgroup^ ^236^ ^minus_tla^
^1553^ ^1553_refgroup^ ^237^ ^minus_tla^
^1554^ ^1554_refgroup^ ^238^ ^val_add_caus^
^1569^ ^1569_refgroup^ ^239^ ^val_add_caus^
^1569^ ^1569_refgroup^ ^240^ ^minus_tla^
^1571^ ^1571_refgroup^ ^241^ ^val_reduce1^
^1573^ ^1573_refgroup^ ^242^ ^verb_base^
^1581^ ^1581_refgroup^ ^243^ ^val_reduce2^
^1581^ ^1581_refgroup^ ^244^ ^verb_base^
^1591^ ^1591_refgroup^ ^245^ ^verb_base^
^1604^ ^1604_refgroup^ ^246^ ^verb_base^
^1624^ ^1624_refgroup^ ^247^ ^verb_base^
^1628^ ^1628_refgroup^ ^248^ ^verb_base^
^1632^ ^1632_refgroup^ ^249^ ^val_add_applic^
^1632^ ^1632_refgroup^ ^250^ ^val_add_caus^
^1635^ ^1635_refgroup^ ^251^ ^frequent^
^1640^ ^1640_refgroup^ ^252^ ^val_reduce1^
^1642^ ^1642_refgroup^ ^253^ ^minus_tla^
^1652^ ^1652_refgroup^ ^254^ ^verb_base^
^1660^ ^1660_refgroup^ ^255^ ^val_reduce1^
^1664^ ^1664_refgroup^ ^256^ ^val_add_applic^
^1668^ ^1668_refgroup^ ^257^ ^val_add_caus^
^1673^ ^1673_refgroup^ ^258^ ^verb_base^
^1675^ ^1675_refgroup^ ^259^ ^val_add_caus^
^1675^ ^1675_refgroup^ ^260^ ^val_add_applic^
^1679^ ^1679_refgroup^ ^261^ ^val_add_caus^
^1683^ ^1683_refgroup^ ^262^ ^val_add_caus^
^1684^ ^1684_refgroup^ ^263^ ^val_add_caus^
^1689^ ^1689_refgroup^ ^264^ ^minus_tla^
^1694^ ^1694_refgroup^ ^265^ ^val_add_caus^
^1695^ ^1695_refgroup^ ^266^ ^verb_base^
^1703^ ^1703_refgroup^ ^267^ ^val_add_applic^
^1705^ ^1705_refgroup^ ^268^ ^val_add_applic^
^1706^ ^1706_refgroup^ ^269^ ^val_add_caus^
^1706^ ^1706_refgroup^ ^270^ ^val_reduce0^
^1710^ ^1710_refgroup^ ^271^ ^val_reduce2^
^1710^ ^1710_refgroup^ ^272^ ^verb_base^
^1720^ ^1720_refgroup^ ^273^ ^minus_tla^
^1721^ ^1721_refgroup^ ^274^ ^minus_tla^
^1729^ ^1729_refgroup^ ^275^ ^verb_base^
^1747^ ^1747_refgroup^ ^276^ ^verb_base^
^1752^ ^1752_refgroup^ ^277^ ^verb_base^
^1758^ ^1758_refgroup^ ^278^ ^val_reduce0^
^1758^ ^1758_refgroup^ ^279^ ^val_add_caus^
^1765^ ^1765_refgroup^ ^280^ ^val_reduce0^
^1766^ ^1766_refgroup^ ^281^ ^minus_tla^
^1768^ ^1768_refgroup^ ^282^ ^val_add_applic^
^1785^ ^1785_refgroup^ ^283^ ^val_add_caus^
^1795^ ^1795_refgroup^ ^284^ ^val_add_applic^
^1795^ ^1795_refgroup^ ^285^ ^val_add_caus^
^1795^ ^1795_refgroup^ ^286^ ^val_reduce0^
^1798^ ^1798_refgroup^ ^287^ ^verb_base^
^1800^ ^1800_refgroup^ ^288^ ^verb_base^
^1813^ ^1813_refgroup^ ^289^ ^val_add_applic^
^1815^ ^1815_refgroup^ ^290^ ^minus_tla^
^1824^ ^1824_refgroup^ ^291^ ^val_add_caus^
^1824^ ^1824_refgroup^ ^292^ ^val_reduce1^
^1829^ ^1829_refgroup^ ^293^ ^minus_tla^
^1835^ ^1835_refgroup^ ^294^ ^val_reduce1^
^1837^ ^1837_refgroup^ ^295^ ^minus_tla^
^1841^ ^1841_refgroup^ ^296^ ^val_add_applic^
^1851^ ^1851_refgroup^ ^297^ ^val_reduce1^
^1855^ ^1855_refgroup^ ^298^ ^val_add_caus^
^1858^ ^1858_refgroup^ ^299^ ^verb_base^
^1865^ ^1865_refgroup^ ^300^ ^verb_base^
^1865^ ^1865_refgroup^ ^301^ ^minus_tla^
^1867^ ^1867_refgroup^ ^302^ ^verb_base^
^1871^ ^1871_refgroup^ ^303^ ^val_add_caus^
^1874^ ^1874_refgroup^ ^304^ ^verb_base^
^1877^ ^1877_refgroup^ ^305^ ^verb_base^
^1877^ ^1877_refgroup^ ^306^ ^val_reduce2^
^1881^ ^1881_refgroup^ ^307^ ^verb_base^
^1886^ ^1886_refgroup^ ^308^ ^verb_base^
^1892^ ^1892_refgroup^ ^309^ ^val_add_applic^
^1892^ ^1892_refgroup^ ^310^ ^minus_tla^
^1893^ ^1893_refgroup^ ^311^ ^minus_tla^
^1898^ ^1898_refgroup^ ^312^ ^val_add_caus^
^1899^ ^1899_refgroup^ ^313^ ^minus_tla^
^1911^ ^1911_refgroup^ ^314^ ^verb_base^
^1915^ ^1915_refgroup^ ^315^ ^verb_base^
^1918^ ^1918_refgroup^ ^316^ ^val_add_caus^
^1919^ ^1919_refgroup^ ^317^ ^minus_tla^
^1941^ ^1941_refgroup^ ^318^ ^verb_base^
^1964^ ^1964_refgroup^ ^319^ ^ni_base^
^1971^ ^1971_refgroup^ ^320^ ^frequent^
^1978^ ^1978_refgroup^ ^321^ ^val_add_caus^
^1978^ ^1978_refgroup^ ^322^ ^val_add_applic^
^1987^ ^1987_refgroup^ ^323^ ^verb_base^
^1997^ ^1997_refgroup^ ^324^ ^val_add_caus^
^2001^ ^2001_refgroup^ ^325^ ^verb_base^
^2014^ ^2014_refgroup^ ^326^ ^val_add_applic^
^2018^ ^2018_refgroup^ ^327^ ^val_add_applic^
^2021^ ^2021_refgroup^ ^328^ ^verb_base^
^2034^ ^2034_refgroup^ ^329^ ^val_add_applic^
^2034^ ^2034_refgroup^ ^330^ ^val_add_caus^
^2034^ ^2034_refgroup^ ^331^ ^val_add_applic.caus^
^2034^ ^2034_refgroup^ ^332^ ^val_reduce1^
^2046^ ^2046_refgroup^ ^333^ ^verb_base^
^2047^ ^2047_refgroup^ ^334^ ^verb_base^
^2054^ ^2054_refgroup^ ^335^ ^verb_base^
^2054^ ^2054_refgroup^ ^336^ ^val_add_applic^
^2061^ ^2061_refgroup^ ^337^ ^verb_base^
^2086^ ^2086_refgroup^ ^338^ ^verb_base^
^2092^ ^2092_refgroup^ ^339^ ^val_add_applic^
^2101^ ^2101_refgroup^ ^340^ ^val_add_caus^
^2101^ ^2101_refgroup^ ^341^ ^val_add_applic^
^2101^ ^2101_refgroup^ ^342^ ^val_add_applic.caus^
^2109^ ^2109_refgroup^ ^343^ ^val_add_caus^
^2116^ ^2116_refgroup^ ^344^ ^val_add_caus^
^2127^ ^2127_refgroup^ ^345^ ^verb_base^
^2133^ ^2133_refgroup^ ^346^ ^val_add_caus^
^2135^ ^2135_refgroup^ ^347^ ^val_add_caus^
^2144^ ^2144_refgroup^ ^348^ ^verb_base^
^2145^ ^2145_refgroup^ ^349^ ^val_add_applic^
^2145^ ^2145_refgroup^ ^350^ ^val_reduce1^
^2147^ ^2147_refgroup^ ^351^ ^val_add_caus^
^2169^ ^2169_refgroup^ ^352^ ^val_add_applic^
^2176^ ^2176_refgroup^ ^353^ ^verb_base^
^2181^ ^2181_refgroup^ ^354^ ^verb_base^
^2190^ ^2190_refgroup^ ^355^ ^val_add_caus^
^2192^ ^2192_refgroup^ ^356^ ^verb_base^
^2194^ ^2194_refgroup^ ^357^ ^val_add_applic^
^2195^ ^2195_refgroup^ ^358^ ^verb_base^
^2195^ ^2195_refgroup^ ^359^ ^minus_tla^
^2197^ ^2197_refgroup^ ^360^ ^verb_base^
^2201^ ^2201_refgroup^ ^361^ ^val_add_applic^
^2204^ ^2204_refgroup^ ^362^ ^minus_tla^
^2216^ ^2216_refgroup^ ^363^ ^val_add_applic^
^2217^ ^2217_refgroup^ ^364^ ^verb_base^
^2220^ ^2220_refgroup^ ^365^ ^ni_base^
^2223^ ^2223_refgroup^ ^366^ ^verb_base^
^2225^ ^2225_refgroup^ ^367^ ^verb_base^
^2234^ ^2234_refgroup^ ^368^ ^minus_tla^
^2262^ ^2262_refgroup^ ^369^ ^val_add_applic^
^2262^ ^2262_refgroup^ ^370^ ^val_reduce1^
^2273^ ^2273_refgroup^ ^371^ ^val_add_caus^
^2274^ ^2274_refgroup^ ^372^ ^val_add_applic^
^2280^ ^2280_refgroup^ ^373^ ^val_reduce1^
^2281^ ^2281_refgroup^ ^374^ ^verb_base^
^2289^ ^2289_refgroup^ ^375^ ^ni_base^
^2296^ ^2296_refgroup^ ^376^ ^val_add_caus^
^2298^ ^2298_refgroup^ ^377^ ^val_add_applic^
^2299^ ^2299_refgroup^ ^378^ ^verb_base^
^2303^ ^2303_refgroup^ ^379^ ^val_add_caus^
^2303^ ^2303_refgroup^ ^380^ ^val_add_applic^
^2312^ ^2312_refgroup^ ^381^ ^verb_base^
^2315^ ^2315_refgroup^ ^382^ ^verb_base^
^2322^ ^2322_refgroup^ ^383^ ^val_add_applic^
^2330^ ^2330_refgroup^ ^384^ ^val_reduce2^
^2330^ ^2330_refgroup^ ^385^ ^verb_base^
^2335^ ^2335_refgroup^ ^386^ ^verb_base^
^2341^ ^2341_refgroup^ ^387^ ^minus_tla^
^2354^ ^2354_refgroup^ ^388^ ^val_add_caus^
^2356^ ^2356_refgroup^ ^389^ ^val_add_applic^
^2356^ ^2356_refgroup^ ^390^ ^val_reduce2^
^2362^ ^2362_refgroup^ ^391^ ^val_add_applic^
^2367^ ^2367_refgroup^ ^392^ ^val_reduce0^
^2369^ ^2369_refgroup^ ^393^ ^val_add_applic^
^2373^ ^2373_refgroup^ ^394^ ^verb_base^
^2374^ ^2374_refgroup^ ^395^ ^verb_base^
^2375^ ^2375_refgroup^ ^396^ ^val_add_applic^
^2376^ ^2376_refgroup^ ^397^ ^ni_base^
^2379^ ^2379_refgroup^ ^398^ ^val_add_caus^
^2383^ ^2383_refgroup^ ^399^ ^val_reduce2^
^2391^ ^2391_refgroup^ ^400^ ^minus_tla^
^2396^ ^2396_refgroup^ ^401^ ^verb_base^
^2396^ ^2396_refgroup^ ^402^ ^val_add_applic^
^2402^ ^2402_refgroup^ ^403^ ^val_add_caus^
^2413^ ^2413_refgroup^ ^404^ ^val_add_caus^
^2424^ ^2424_refgroup^ ^405^ ^minus_tla^
^2438^ ^2438_refgroup^ ^406^ ^val_add_applic^
^2439^ ^2439_refgroup^ ^407^ ^minus_tla^
^2440^ ^2440_refgroup^ ^408^ ^minus_tla^
^2467^ ^2467_refgroup^ ^409^ ^val_reduce2^
^2467^ ^2467_refgroup^ ^410^ ^verb_base^
^2472^ ^2472_refgroup^ ^411^ ^verb_base^
^2476^ ^2476_refgroup^ ^412^ ^verb_base^
^2482^ ^2482_refgroup^ ^413^ ^minus_tla^
^2483^ ^2483_refgroup^ ^414^ ^verb_base^
^2487^ ^2487_refgroup^ ^415^ ^val_add_applic^
^2487^ ^2487_refgroup^ ^416^ ^val_reduce1^
^2502^ ^2502_refgroup^ ^417^ ^val_add_applic^
^2507^ ^2507_refgroup^ ^418^ ^verb_base^
^2511^ ^2511_refgroup^ ^419^ ^val_add_applic^
^2511^ ^2511_refgroup^ ^420^ ^val_reduce1^
^2514^ ^2514_refgroup^ ^421^ ^minus_tla^
^2515^ ^2515_refgroup^ ^422^ ^minus_tla^
^2519^ ^2519_refgroup^ ^423^ ^verb_base^
^2526^ ^2526_refgroup^ ^424^ ^val_add_caus^
^2529^ ^2529_refgroup^ ^425^ ^val_add_caus^
^2533^ ^2533_refgroup^ ^426^ ^verb_base^
^2537^ ^2537_refgroup^ ^427^ ^minus_tla^
^2539^ ^2539_refgroup^ ^428^ ^minus_tla^
^2553^ ^2553_refgroup^ ^429^ ^ni_base^
^2557^ ^2557_refgroup^ ^430^ ^val_add_applic^
^2562^ ^2562_refgroup^ ^431^ ^verb_base^
^2580^ ^2580_refgroup^ ^432^ ^verb_base^
^2580^ ^2580_refgroup^ ^433^ ^minus_tla^
^2591^ ^2591_refgroup^ ^434^ ^val_add_applic^
^2591^ ^2591_refgroup^ ^435^ ^verb_base^
^2596^ ^2596_refgroup^ ^436^ ^val_add_applic^
^2598^ ^2598_refgroup^ ^437^ ^verb_base^
^2603^ ^2603_refgroup^ ^438^ ^ni_base^
^2611^ ^2611_refgroup^ ^439^ ^val_add_caus^
^2618^ ^2618_refgroup^ ^440^ ^verb_base^
^2620^ ^2620_refgroup^ ^441^ ^val_reduce0^
^2627^ ^2627_refgroup^ ^442^ ^val_add_applic^
^2636^ ^2636_refgroup^ ^443^ ^val_reduce1^
^2637^ ^2637_refgroup^ ^444^ ^val_add_applic^
^2648^ ^2648_refgroup^ ^445^ ^val_add_applic^
^2656^ ^2656_refgroup^ ^446^ ^val_add_applic^
^2659^ ^2659_refgroup^ ^447^ ^val_reduce1^
^2664^ ^2664_refgroup^ ^448^ ^minus_tla^
^2667^ ^2667_refgroup^ ^449^ ^ni_base^
^2672^ ^2672_refgroup^ ^450^ ^val_add_applic^
^2673^ ^2673_refgroup^ ^451^ ^minus_tla^
^2679^ ^2679_refgroup^ ^452^ ^plus_tla^
^2699^ ^2699_refgroup^ ^453^ ^ni_base^
^2703^ ^2703_refgroup^ ^454^ ^verb_base^
^2710^ ^2710_refgroup^ ^455^ ^val_add_applic^
^2713^ ^2713_refgroup^ ^456^ ^minus_tla^
^2717^ ^2717_refgroup^ ^457^ ^val_add_applic^
^2717^ ^2717_refgroup^ ^458^ ^val_reduce2^
^2717^ ^2717_refgroup^ ^459^ ^verb_base^
^2718^ ^2718_refgroup^ ^460^ ^minus_tla^
^2721^ ^2721_refgroup^ ^461^ ^verb_base^
^2730^ ^2730_refgroup^ ^462^ ^plus_tla^
^2731^ ^2731_refgroup^ ^463^ ^verb_base^
^2739^ ^2739_refgroup^ ^464^ ^val_add_applic^
^2746^ ^2746_refgroup^ ^465^ ^val_reduce1^
^2746^ ^2746_refgroup^ ^466^ ^verb_base^
^2746^ ^2746_refgroup^ ^467^ ^val_add_applic^
^2747^ ^2747_refgroup^ ^468^ ^verb_base^
^2752^ ^2752_refgroup^ ^469^ ^val_add_caus^
^2752^ ^2752_refgroup^ ^470^ ^frequent^
^2752^ ^2752_refgroup^ ^471^ ^frequent^
^2771^ ^2771_refgroup^ ^472^ ^minus_tla^
^2772^ ^2772_refgroup^ ^473^ ^verb_base^
^2779^ ^2779_refgroup^ ^474^ ^ni_base^
^2782^ ^2782_refgroup^ ^475^ ^verb_base^
^2785^ ^2785_refgroup^ ^476^ ^val_add_applic^
^2793^ ^2793_refgroup^ ^477^ ^verb_base^
^2797^ ^2797_refgroup^ ^478^ ^verb_base^
^2804^ ^2804_refgroup^ ^479^ ^verb_base^
^2804^ ^2804_refgroup^ ^480^ ^val_reduce2^
^2805^ ^2805_refgroup^ ^481^ ^val_add_caus^
^2807^ ^2807_refgroup^ ^482^ ^verb_base^
^2815^ ^2815_refgroup^ ^483^ ^val_add_caus^
^2818^ ^2818_refgroup^ ^484^ ^val_add_applic^
^2831^ ^2831_refgroup^ ^485^ ^val_add_caus^
^2833^ ^2833_refgroup^ ^486^ ^val_add_caus^
^2841^ ^2841_refgroup^ ^487^ ^val_reduce1^
^2843^ ^2843_refgroup^ ^488^ ^verb_base^
^2853^ ^2853_refgroup^ ^489^ ^verb_base^
^2853^ ^2853_refgroup^ ^490^ ^val_add_applic^
^2857^ ^2857_refgroup^ ^491^ ^minus_tla^
^2858^ ^2858_refgroup^ ^492^ ^ni_base^
^2861^ ^2861_refgroup^ ^493^ ^val_add_caus^
^2861^ ^2861_refgroup^ ^494^ ^frequent^
^2882^ ^2882_refgroup^ ^495^ ^val_add_applic^
^2884^ ^2884_refgroup^ ^496^ ^val_add_applic^
^2886^ ^2886_refgroup^ ^497^ ^verb_base^
^2888^ ^2888_refgroup^ ^498^ ^val_add_applic^
^2888^ ^2888_refgroup^ ^499^ ^minus_tla^
^2890^ ^2890_refgroup^ ^500^ ^verb_base^
^2891^ ^2891_refgroup^ ^501^ ^verb_base^
^2896^ ^2896_refgroup^ ^502^ ^verb_base^
^2899^ ^2899_refgroup^ ^503^ ^minus_tla^
^2907^ ^2907_refgroup^ ^504^ ^val_add_caus^
^2908^ ^2908_refgroup^ ^505^ ^val_add_caus^
^2914^ ^2914_refgroup^ ^506^ ^verb_base^
^2917^ ^2917_refgroup^ ^507^ ^val_add_caus^
^2917^ ^2917_refgroup^ ^508^ ^frequent^
^2929^ ^2929_refgroup^ ^509^ ^verb_base^
^2930^ ^2930_refgroup^ ^510^ ^val_add_caus^
^2935^ ^2935_refgroup^ ^511^ ^verb_base^
^2941^ ^2941_refgroup^ ^512^ ^val_reduce1^
^2951^ ^2951_refgroup^ ^513^ ^verb_base^
^2955^ ^2955_refgroup^ ^514^ ^val_add_caus^
^2955^ ^2955_refgroup^ ^515^ ^minus_tla^
^2956^ ^2956_refgroup^ ^516^ ^val_reduce2^
^2956^ ^2956_refgroup^ ^517^ ^verb_base^
^2964^ ^2964_refgroup^ ^518^ ^verb_base^
^2968^ ^2968_refgroup^ ^519^ ^val_add_caus^
^2969^ ^2969_refgroup^ ^520^ ^verb_base^
^2974^ ^2974_refgroup^ ^521^ ^val_add_caus^
^2986^ ^2986_refgroup^ ^522^ ^verb_base^
^2989^ ^2989_refgroup^ ^523^ ^val_add_caus^
^2989^ ^2989_refgroup^ ^524^ ^plus_tla^
^2993^ ^2993_refgroup^ ^525^ ^verb_base^
^3008^ ^3008_refgroup^ ^526^ ^val_add_applic^
^3010^ ^3010_refgroup^ ^527^ ^val_add_caus^
^3010^ ^3010_refgroup^ ^528^ ^minus_tla^
^3018^ ^3018_refgroup^ ^529^ ^minus_tla^
^3025^ ^3025_refgroup^ ^530^ ^val_add_caus^
^3027^ ^3027_refgroup^ ^531^ ^val_add_applic^
^3028^ ^3028_refgroup^ ^532^ ^verb_base^
^3035^ ^3035_refgroup^ ^533^ ^val_reduce1^
^3035^ ^3035_refgroup^ ^534^ ^val_add_applic^
^3039^ ^3039_refgroup^ ^535^ ^verb_base^
^3039^ ^3039_refgroup^ ^536^ ^val_reduce1^
^3040^ ^3040_refgroup^ ^537^ ^val_reduce1^
^3042^ ^3042_refgroup^ ^538^ ^val_add_applic^
^3044^ ^3044_refgroup^ ^539^ ^verb_base^
^3047^ ^3047_refgroup^ ^540^ ^val_add_caus^
^3056^ ^3056_refgroup^ ^541^ ^verb_base^
^3062^ ^3062_refgroup^ ^542^ ^verb_base^
^3074^ ^3074_refgroup^ ^543^ ^val_reduce0^
^3076^ ^3076_refgroup^ ^544^ ^verb_base^
^3088^ ^3088_refgroup^ ^545^ ^verb_base^
^3091^ ^3091_refgroup^ ^546^ ^minus_tla^
^3093^ ^3093_refgroup^ ^547^ ^verb_base^
^3108^ ^3108_refgroup^ ^548^ ^verb_base^
^3111^ ^3111_refgroup^ ^549^ ^minus_tla^
^3112^ ^3112_refgroup^ ^550^ ^val_add_applic^
^3112^ ^3112_refgroup^ ^551^ ^verb_base^
^3122^ ^3122_refgroup^ ^552^ ^val_add_applic^
^3135^ ^3135_refgroup^ ^553^ ^val_add_caus^
^3141^ ^3141_refgroup^ ^554^ ^verb_base^
^3159^ ^3159_refgroup^ ^555^ ^verb_base^
^3168^ ^3168_refgroup^ ^556^ ^verb_base^
^3169^ ^3169_refgroup^ ^557^ ^minus_tla^
^3171^ ^3171_refgroup^ ^558^ ^verb_base^
^3176^ ^3176_refgroup^ ^559^ ^minus_tla^
^3183^ ^3183_refgroup^ ^560^ ^val_add_applic^
^3183^ ^3183_refgroup^ ^561^ ^minus_tla^
^3185^ ^3185_refgroup^ ^562^ ^val_add_applic^
^3192^ ^3192_refgroup^ ^563^ ^val_add_applic^
^3204^ ^3204_refgroup^ ^564^ ^val_add_applic^
^3210^ ^3210_refgroup^ ^565^ ^minus_tla^
^3218^ ^3218_refgroup^ ^566^ ^verb_base^
^3219^ ^3219_refgroup^ ^567^ ^verb_base^
^3229^ ^3229_refgroup^ ^568^ ^verb_base^
^3232^ ^3232_refgroup^ ^569^ ^val_add_caus^
^3242^ ^3242_refgroup^ ^570^ ^val_reduce1^
^3259^ ^3259_refgroup^ ^571^ ^verb_base^
^3262^ ^3262_refgroup^ ^572^ ^val_reduce1^
^3262^ ^3262_refgroup^ ^573^ ^val_add_applic^
^3266^ ^3266_refgroup^ ^574^ ^minus_tla^
^3272^ ^3272_refgroup^ ^575^ ^val_add_caus^
^3272^ ^3272_refgroup^ ^576^ ^val_add_applic^
^3272^ ^3272_refgroup^ ^577^ ^val_reduce0^
^3279^ ^3279_refgroup^ ^578^ ^val_reduce1^
^3279^ ^3279_refgroup^ ^579^ ^verb_base^
^3308^ ^3308_refgroup^ ^580^ ^val_add_applic^
^3308^ ^3308_refgroup^ ^581^ ^val_reduce2^
^3308^ ^3308_refgroup^ ^582^ ^val_reduce2^
^3308^ ^3308_refgroup^ ^583^ ^verb_base^
^3321^ ^3321_refgroup^ ^584^ ^val_add_caus^
^3330^ ^3330_refgroup^ ^585^ ^verb_base^
^3358^ ^3358_refgroup^ ^586^ ^val_reduce1^
^3361^ ^3361_refgroup^ ^587^ ^val_reduce1^
^3366^ ^3366_refgroup^ ^588^ ^val_reduce1^
^3366^ ^3366_refgroup^ ^589^ ^frequent^
^3369^ ^3369_refgroup^ ^590^ ^val_reduce1^
^3374^ ^3374_refgroup^ ^591^ ^val_reduce1^
^3394^ ^3394_refgroup^ ^592^ ^val_add_applic^
^3397^ ^3397_refgroup^ ^593^ ^verb_base^
^3398^ ^3398_refgroup^ ^594^ ^verb_base^
^3401^ ^3401_refgroup^ ^595^ ^minus_tla^
^3409^ ^3409_refgroup^ ^596^ ^verb_base^
^3412^ ^3412_refgroup^ ^597^ ^verb_base^
^3413^ ^3413_refgroup^ ^598^ ^val_add_applic^
^3417^ ^3417_refgroup^ ^599^ ^val_add_applic^
^3424^ ^3424_refgroup^ ^600^ ^val_add_applic^
^3448^ ^3448_refgroup^ ^601^ ^val_reduce1^
^3450^ ^3450_refgroup^ ^602^ ^verb_base^
^3458^ ^3458_refgroup^ ^603^ ^verb_base^
^3478^ ^3478_refgroup^ ^604^ ^verb_base^
^3478^ ^3478_refgroup^ ^605^ ^val_add_caus^
^3479^ ^3479_refgroup^ ^606^ ^val_add_caus^
^3493^ ^3493_refgroup^ ^607^ ^verb_base^
^3494^ ^3494_refgroup^ ^608^ ^verb_base^
^3503^ ^3503_refgroup^ ^609^ ^verb_base^
^3509^ ^3509_refgroup^ ^610^ ^verb_base^
^3509^ ^3509_refgroup^ ^611^ ^val_add_applic^
^3510^ ^3510_refgroup^ ^612^ ^val_add_caus^
^3513^ ^3513_refgroup^ ^613^ ^val_add_caus^
^3517^ ^3517_refgroup^ ^614^ ^val_add_caus^
^3532^ ^3532_refgroup^ ^615^ ^minus_tla^
^3542^ ^3542_refgroup^ ^616^ ^Stat^
^3545^ ^3545_refgroup^ ^617^ ^verb_base^
^3547^ ^3547_refgroup^ ^618^ ^val_add_caus^
^3581^ ^3581_refgroup^ ^619^ ^val_add_applic^
^3581^ ^3581_refgroup^ ^620^ ^val_add_caus^
^3587^ ^3587_refgroup^ ^621^ ^val_reduce1^
^3587^ ^3587_refgroup^ ^622^ ^ni_base^
^3600^ ^3600_refgroup^ ^623^ ^val_add_applic^
^3600^ ^3600_refgroup^ ^624^ ^val_reduce1^
^3613^ ^3613_refgroup^ ^625^ ^verb_base^
^3628^ ^3628_refgroup^ ^626^ ^minus_tla^
^3630^ ^3630_refgroup^ ^627^ ^verb_base^
^3631^ ^3631_refgroup^ ^628^ ^verb_base^
^3632^ ^3632_refgroup^ ^629^ ^val_add_caus^
^3634^ ^3634_refgroup^ ^630^ ^val_add_caus^
^3637^ ^3637_refgroup^ ^631^ ^val_add_applic^
^3637^ ^3637_refgroup^ ^632^ ^val_reduce1^
^3639^ ^3639_refgroup^ ^633^ ^val_add_applic^
^3639^ ^3639_refgroup^ ^634^ ^val_reduce1^
^3640^ ^3640_refgroup^ ^635^ ^frequent^
^3643^ ^3643_refgroup^ ^636^ ^val_reduce0^
^3643^ ^3643_refgroup^ ^637^ ^ni_base^
^3664^ ^3664_refgroup^ ^638^ ^minus_tla^
^3678^ ^3678_refgroup^ ^639^ ^verb_base^
^3679^ ^3679_refgroup^ ^640^ ^verb_base^
^3688^ ^3688_refgroup^ ^641^ ^ni_base^
^3691^ ^3691_refgroup^ ^642^ ^val_reduce0^
^3703^ ^3703_refgroup^ ^643^ ^verb_base^
^3720^ ^3720_refgroup^ ^644^ ^minus_tla^
^3730^ ^3730_refgroup^ ^645^ ^val_add_applic^
^3730^ ^3730_refgroup^ ^646^ ^verb_base^
^3741^ ^3741_refgroup^ ^647^ ^val_add_applic^
^3783^ ^3783_refgroup^ ^648^ ^verb_base^
^3786^ ^3786_refgroup^ ^649^ ^verb_base^
^3789^ ^3789_refgroup^ ^650^ ^ni_base^
^3799^ ^3799_refgroup^ ^651^ ^verb_base^
^3803^ ^3803_refgroup^ ^652^ ^val_add_applic^
^3811^ ^3811_refgroup^ ^653^ ^val_add_applic^
^3813^ ^3813_refgroup^ ^654^ ^val_add_caus^
^3817^ ^3817_refgroup^ ^655^ ^val_add_applic^
^3817^ ^3817_refgroup^ ^656^ ^val_reduce1^
^3819^ ^3819_refgroup^ ^657^ ^val_reduce1^
^3820^ ^3820_refgroup^ ^658^ ^minus_tla^
^3823^ ^3823_refgroup^ ^659^ ^val_add_caus^
^3828^ ^3828_refgroup^ ^660^ ^verb_base^
^3830^ ^3830_refgroup^ ^661^ ^val_add_applic^
^3835^ ^3835_refgroup^ ^662^ ^val_reduce0^
^3836^ ^3836_refgroup^ ^663^ ^val_reduce1^
^3840^ ^3840_refgroup^ ^664^ ^val_add_applic^
^3840^ ^3840_refgroup^ ^665^ ^val_add_caus^
^3846^ ^3846_refgroup^ ^666^ ^val_add_caus^
^3847^ ^3847_refgroup^ ^667^ ^val_add_applic^
^3853^ ^3853_refgroup^ ^668^ ^verb_base^
^3854^ ^3854_refgroup^ ^669^ ^val_add_caus^
^3854^ ^3854_refgroup^ ^670^ ^val_add_applic^
^3864^ ^3864_refgroup^ ^671^ ^ni_base^
^3878^ ^3878_refgroup^ ^672^ ^minus_tla^
^3881^ ^3881_refgroup^ ^673^ ^verb_base^
^3891^ ^3891_refgroup^ ^674^ ^verb_base^
^3892^ ^3892_refgroup^ ^675^ ^val_add_applic^
^3901^ ^3901_refgroup^ ^676^ ^val_add_applic^
^3901^ ^3901_refgroup^ ^677^ ^val_add_caus^
^3916^ ^3916_refgroup^ ^678^ ^val_add_applic^
^3916^ ^3916_refgroup^ ^679^ ^minus_tla^
^3919^ ^3919_refgroup^ ^680^ ^verb_base^
^3922^ ^3922_refgroup^ ^681^ ^verb_base^
^3923^ ^3923_refgroup^ ^682^ ^verb_base^
^3928^ ^3928_refgroup^ ^683^ ^val_add_applic^
^3932^ ^3932_refgroup^ ^684^ ^val_add_applic^
^3932^ ^3932_refgroup^ ^685^ ^val_add_caus^
^3945^ ^3945_refgroup^ ^686^ ^verb_base^
^3958^ ^3958_refgroup^ ^687^ ^verb_base^
^3959^ ^3959_refgroup^ ^688^ ^frequent^
^3962^ ^3962_refgroup^ ^689^ ^minus_tla^
^3963^ ^3963_refgroup^ ^690^ ^val_add_applic^
^3972^ ^3972_refgroup^ ^691^ ^verb_base^
^3972^ ^3972_refgroup^ ^692^ ^val_add_applic^
^3974^ ^3974_refgroup^ ^693^ ^verb_base^
^3978^ ^3978_refgroup^ ^694^ ^verb_base^
^3980^ ^3980_refgroup^ ^695^ ^plus_tla^
^3987^ ^3987_refgroup^ ^696^ ^verb_base^
^3987^ ^3987_refgroup^ ^697^ ^val_reduce1^
^3987^ ^3987_refgroup^ ^698^ ^val_reduce1^
^3998^ ^3998_refgroup^ ^699^ ^minus_tla^
^3999^ ^3999_refgroup^ ^700^ ^verb_base^
^4005^ ^4005_refgroup^ ^701^ ^minus_tla^
^4010^ ^4010_refgroup^ ^702^ ^verb_base^
^4013^ ^4013_refgroup^ ^703^ ^val_add_caus^
^4026^ ^4026_refgroup^ ^704^ ^val_add_caus^
^4026^ ^4026_refgroup^ ^705^ ^frequent^
^4042^ ^4042_refgroup^ ^706^ ^verb_base^
^4045^ ^4045_refgroup^ ^707^ ^verb_base^
^4047^ ^4047_refgroup^ ^708^ ^minus_tla^
^4052^ ^4052_refgroup^ ^709^ ^verb_base^
^4060^ ^4060_refgroup^ ^710^ ^val_add_applic^
^4060^ ^4060_refgroup^ ^711^ ^val_add_caus^
^4081^ ^4081_refgroup^ ^712^ ^verb_base^
^4082^ ^4082_refgroup^ ^713^ ^verb_base^
^4084^ ^4084_refgroup^ ^714^ ^verb_base^
^4087^ ^4087_refgroup^ ^715^ ^plus_tla^
^4099^ ^4099_refgroup^ ^716^ ^val_add_applic^
^4099^ ^4099_refgroup^ ^717^ ^verb_base^
^4105^ ^4105_refgroup^ ^718^ ^verb_base^
^4109^ ^4109_refgroup^ ^719^ ^verb_base^
^4115^ ^4115_refgroup^ ^720^ ^verb_base^
^4121^ ^4121_refgroup^ ^721^ ^ni_base^
^4128^ ^4128_refgroup^ ^722^ ^val_add_applic^
^4128^ ^4128_refgroup^ ^723^ ^minus_tla^
^4130^ ^4130_refgroup^ ^724^ ^verb_base^
^4155^ ^4155_refgroup^ ^725^ ^val_add_caus^
^4156^ ^4156_refgroup^ ^726^ ^plus_tla^
^4165^ ^4165_refgroup^ ^727^ ^val_add_caus^
^4165^ ^4165_refgroup^ ^728^ ^frequent^
^4167^ ^4167_refgroup^ ^729^ ^val_add_caus^
^4171^ ^4171_refgroup^ ^730^ ^ni_base^
^4172^ ^4172_refgroup^ ^731^ ^val_add_caus^
^4182^ ^4182_refgroup^ ^732^ ^verb_base^
^4190^ ^4190_refgroup^ ^733^ ^val_reduce1^
^4190^ ^4190_refgroup^ ^734^ ^val_add_caus^
^4195^ ^4195_refgroup^ ^735^ ^minus_tla^
^4196^ ^4196_refgroup^ ^736^ ^verb_base^
^4200^ ^4200_refgroup^ ^737^ ^verb_base^
^4209^ ^4209_refgroup^ ^738^ ^verb_base^
^4219^ ^4219_refgroup^ ^739^ ^ni_base^
^4233^ ^4233_refgroup^ ^740^ ^val_add_applic^
^4234^ ^4234_refgroup^ ^741^ ^val_add_caus^
^4248^ ^4248_refgroup^ ^742^ ^val_reduce1^
^4248^ ^4248_refgroup^ ^743^ ^val_add_applic^
^4260^ ^4260_refgroup^ ^744^ ^minus_tla^
^4272^ ^4272_refgroup^ ^745^ ^ni_base^
^4273^ ^4273_refgroup^ ^746^ ^val_add_caus^
^4274^ ^4274_refgroup^ ^747^ ^minus_tla^
^4277^ ^4277_refgroup^ ^748^ ^minus_tla^
^4279^ ^4279_refgroup^ ^749^ ^val_reduce2^
^4296^ ^4296_refgroup^ ^750^ ^val_reduce1^
^4305^ ^4305_refgroup^ ^751^ ^val_add_applic^
^4306^ ^4306_refgroup^ ^752^ ^val_add_caus^
^4316^ ^4316_refgroup^ ^753^ ^val_reduce1^
^4322^ ^4322_refgroup^ ^754^ ^val_add_caus^
^4322^ ^4322_refgroup^ ^755^ ^val_add_caus^
^4352^ ^4352_refgroup^ ^756^ ^plus_tla^
^4357^ ^4357_refgroup^ ^757^ ^verb_base^
^4392^ ^4392_refgroup^ ^758^ ^verb_base^
^4400^ ^4400_refgroup^ ^759^ ^val_add_applic^
^4406^ ^4406_refgroup^ ^760^ ^verb_base^
^4410^ ^4410_refgroup^ ^761^ ^minus_tla^
^4412^ ^4412_refgroup^ ^762^ ^minus_tla^
^4423^ ^4423_refgroup^ ^763^ ^frequent^
^4428^ ^4428_refgroup^ ^764^ ^verb_base^
^4429^ ^4429_refgroup^ ^765^ ^val_add_applic^
^4429^ ^4429_refgroup^ ^766^ ^val_reduce0^
^4433^ ^4433_refgroup^ ^767^ ^val_reduce1^
^4437^ ^4437_refgroup^ ^768^ ^val_add_applic^
^4464^ ^4464_refgroup^ ^769^ ^verb_base^
^4465^ ^4465_refgroup^ ^770^ ^minus_tla^
^4469^ ^4469_refgroup^ ^771^ ^val_reduce1^
^4471^ ^4471_refgroup^ ^772^ ^verb_base^
^4496^ ^4496_refgroup^ ^773^ ^ni_base^
^4523^ ^4523_refgroup^ ^774^ ^minus_tla^
^4538^ ^4538_refgroup^ ^775^ ^verb_base^
^4547^ ^4547_refgroup^ ^776^ ^verb_base^
^4553^ ^4553_refgroup^ ^777^ ^val_add_caus^
^4559^ ^4559_refgroup^ ^778^ ^minus_tla^
^4561^ ^4561_refgroup^ ^779^ ^verb_base^
^4564^ ^4564_refgroup^ ^780^ ^val_add_applic^
^4564^ ^4564_refgroup^ ^781^ ^val_add_caus^
^4568^ ^4568_refgroup^ ^782^ ^val_add_caus^
^4573^ ^4573_refgroup^ ^783^ ^verb_base^
^4575^ ^4575_refgroup^ ^784^ ^verb_base^
^4576^ ^4576_refgroup^ ^785^ ^val_add_caus^
^4579^ ^4579_refgroup^ ^786^ ^verb_base^
^4600^ ^4600_refgroup^ ^787^ ^val_add_caus^
^4605^ ^4605_refgroup^ ^788^ ^verb_base^
^4614^ ^4614_refgroup^ ^789^ ^val_add_caus^
^4620^ ^4620_refgroup^ ^790^ ^val_add_applic^
^4625^ ^4625_refgroup^ ^791^ ^val_add_caus^
^4634^ ^4634_refgroup^ ^792^ ^verb_base^
^4659^ ^4659_refgroup^ ^793^ ^val_reduce1^
^4659^ ^4659_refgroup^ ^794^ ^val_add_applic^
^4666^ ^4666_refgroup^ ^795^ ^val_add_applic^
^4673^ ^4673_refgroup^ ^796^ ^verb_base^
^4684^ ^4684_refgroup^ ^797^ ^val_add_applic^
^4684^ ^4684_refgroup^ ^798^ ^val_reduce1^
^4684^ ^4684_refgroup^ ^799^ ^verb_base^
^4685^ ^4685_refgroup^ ^800^ ^val_add_caus^
^4690^ ^4690_refgroup^ ^801^ ^verb_base^
^4695^ ^4695_refgroup^ ^802^ ^val_add_applic^
^4696^ ^4696_refgroup^ ^803^ ^plus_tla^
^4696^ ^4696_refgroup^ ^804^ ^val_add_applic^
^4697^ ^4697_refgroup^ ^805^ ^val_add_caus^
^4697^ ^4697_refgroup^ ^806^ ^val_add_applic^
^4697^ ^4697_refgroup^ ^807^ ^val_reduce1^
^4701^ ^4701_refgroup^ ^808^ ^verb_base^
^4709^ ^4709_refgroup^ ^809^ ^ni_base^
^4713^ ^4713_refgroup^ ^810^ ^val_add_applic^
^4724^ ^4724_refgroup^ ^811^ ^verb_base^
^4728^ ^4728_refgroup^ ^812^ ^val_add_caus^
^4731^ ^4731_refgroup^ ^813^ ^verb_base^
^4731^ ^4731_refgroup^ ^814^ ^val_reduce2^
^4735^ ^4735_refgroup^ ^815^ ^val_add_caus^
^4735^ ^4735_refgroup^ ^816^ ^val_reduce0^
^4740^ ^4740_refgroup^ ^817^ ^minus_tla^
^4742^ ^4742_refgroup^ ^818^ ^val_reduce1^
^4748^ ^4748_refgroup^ ^819^ ^verb_base^
^4754^ ^4754_refgroup^ ^820^ ^verb_base^
^4755^ ^4755_refgroup^ ^821^ ^verb_base^
^4756^ ^4756_refgroup^ ^822^ ^verb_base^
^4756^ ^4756_refgroup^ ^823^ ^val_reduce2^
^4764^ ^4764_refgroup^ ^824^ ^ni_base^
^4768^ ^4768_refgroup^ ^825^ ^val_add_applic^
^4773^ ^4773_refgroup^ ^826^ ^verb_base^
^4806^ ^4806_refgroup^ ^827^ ^ni_base^
^4817^ ^4817_refgroup^ ^828^ ^val_add_applic^
^4817^ ^4817_refgroup^ ^829^ ^minus_tla^
^4822^ ^4822_refgroup^ ^830^ ^val_add_applic^
^4822^ ^4822_refgroup^ ^831^ ^minus_tla^
^4840^ ^4840_refgroup^ ^832^ ^verb_base^
^4843^ ^4843_refgroup^ ^833^ ^val_add_caus^
^4843^ ^4843_refgroup^ ^834^ ^minus_tla^
^4846^ ^4846_refgroup^ ^835^ ^verb_base^
^4854^ ^4854_refgroup^ ^836^ ^verb_base^
^4856^ ^4856_refgroup^ ^837^ ^minus_tla^
^4861^ ^4861_refgroup^ ^838^ ^val_add_applic^
^4864^ ^4864_refgroup^ ^839^ ^verb_base^
^4864^ ^4864_refgroup^ ^840^ ^val_reduce1^
^4867^ ^4867_refgroup^ ^841^ ^verb_base^
^4872^ ^4872_refgroup^ ^842^ ^val_reduce1^
^4875^ ^4875_refgroup^ ^843^ ^verb_base^
^4877^ ^4877_refgroup^ ^844^ ^minus_tla^
^4880^ ^4880_refgroup^ ^845^ ^ni_base^
^4882^ ^4882_refgroup^ ^846^ ^minus_tla^
^4885^ ^4885_refgroup^ ^847^ ^verb_base^
^4886^ ^4886_refgroup^ ^848^ ^val_reduce1^
^4886^ ^4886_refgroup^ ^849^ ^verb_base^
^4907^ ^4907_refgroup^ ^850^ ^verb_base^
^4910^ ^4910_refgroup^ ^851^ ^val_add_applic^
^4917^ ^4917_refgroup^ ^852^ ^ni_base^
^4918^ ^4918_refgroup^ ^853^ ^ni_base^
^4920^ ^4920_refgroup^ ^854^ ^val_add_applic^
^4929^ ^4929_refgroup^ ^855^ ^verb_base^
^4938^ ^4938_refgroup^ ^856^ ^val_add_applic^
^4953^ ^4953_refgroup^ ^857^ ^minus_tla^
^4959^ ^4959_refgroup^ ^858^ ^verb_base^
^4969^ ^4969_refgroup^ ^859^ ^val_add_applic^
^4977^ ^4977_refgroup^ ^860^ ^minus_tla^
^4994^ ^4994_refgroup^ ^861^ ^val_add_applic^
^4995^ ^4995_refgroup^ ^862^ ^val_reduce1^
^4998^ ^4998_refgroup^ ^863^ ^val_add_caus^
^5007^ ^5007_refgroup^ ^864^ ^verb_base^
^5017^ ^5017_refgroup^ ^865^ ^val_reduce0^
^5022^ ^5022_refgroup^ ^866^ ^verb_base^
^5027^ ^5027_refgroup^ ^867^ ^val_add_caus^
^5035^ ^5035_refgroup^ ^868^ ^val_add_applic^
^5039^ ^5039_refgroup^ ^869^ ^verb_base^
^5048^ ^5048_refgroup^ ^870^ ^minus_tla^
^5049^ ^5049_refgroup^ ^871^ ^minus_tla^
^5050^ ^5050_refgroup^ ^872^ ^val_reduce0^
^5051^ ^5051_refgroup^ ^873^ ^val_add_applic^
^5051^ ^5051_refgroup^ ^874^ ^val_add_caus^
^5051^ ^5051_refgroup^ ^875^ ^val_add_caus^
^5061^ ^5061_refgroup^ ^876^ ^verb_base^
^5064^ ^5064_refgroup^ ^877^ ^verb_base^
^5077^ ^5077_refgroup^ ^878^ ^val_add_applic^
^5080^ ^5080_refgroup^ ^879^ ^val_add_applic^
^5084^ ^5084_refgroup^ ^880^ ^val_add_caus^
^5086^ ^5086_refgroup^ ^881^ ^val_add_caus^
^5086^ ^5086_refgroup^ ^882^ ^frequent^
^5087^ ^5087_refgroup^ ^883^ ^val_add_applic^
^5110^ ^5110_refgroup^ ^884^ ^verb_base^
^5111^ ^5111_refgroup^ ^885^ ^val_add_caus^
^5115^ ^5115_refgroup^ ^886^ ^verb_base^
^5118^ ^5118_refgroup^ ^887^ ^verb_base^
^5131^ ^5131_refgroup^ ^888^ ^val_add_applic^
^5131^ ^5131_refgroup^ ^889^ ^val_reduce1^
^5136^ ^5136_refgroup^ ^890^ ^val_add_applic^
^5136^ ^5136_refgroup^ ^891^ ^val_reduce1^
^5138^ ^5138_refgroup^ ^892^ ^val_add_caus^
^5138^ ^5138_refgroup^ ^893^ ^val_add_applic.caus^
^5138^ ^5138_refgroup^ ^894^ ^val_reduce0^
^5139^ ^5139_refgroup^ ^895^ ^minus_tla^
^5140^ ^5140_refgroup^ ^896^ ^val_add_applic^
^5149^ ^5149_refgroup^ ^897^ ^verb_base^
^5152^ ^5152_refgroup^ ^898^ ^val_reduce0^
^5152^ ^5152_refgroup^ ^899^ ^frequent^
^5161^ ^5161_refgroup^ ^900^ ^val_reduce1^
^5161^ ^5161_refgroup^ ^901^ ^verb_base^
^5178^ ^5178_refgroup^ ^902^ ^val_add_caus^
^5192^ ^5192_refgroup^ ^903^ ^val_reduce1^
^5192^ ^5192_refgroup^ ^904^ ^val_add_applic^
^5214^ ^5214_refgroup^ ^905^ ^minus_tla^
^5216^ ^5216_refgroup^ ^906^ ^minus_tla^
^5217^ ^5217_refgroup^ ^907^ ^verb_base^
^5224^ ^5224_refgroup^ ^908^ ^verb_base^
^5229^ ^5229_refgroup^ ^909^ ^verb_base^
^5230^ ^5230_refgroup^ ^910^ ^val_add_applic^
^5244^ ^5244_refgroup^ ^911^ ^plus_tla^
^5247^ ^5247_refgroup^ ^912^ ^val_add_caus^
^5253^ ^5253_refgroup^ ^913^ ^verb_base^
^5254^ ^5254_refgroup^ ^914^ ^verb_base^
^5257^ ^5257_refgroup^ ^915^ ^val_add_caus^
^5270^ ^5270_refgroup^ ^916^ ^ni_base^
^5282^ ^5282_refgroup^ ^917^ ^val_add_caus^
^5285^ ^5285_refgroup^ ^918^ ^ni_base^
^5286^ ^5286_refgroup^ ^919^ ^val_add_caus^
^5289^ ^5289_refgroup^ ^920^ ^verb_base^
^5294^ ^5294_refgroup^ ^921^ ^verb_base^
^5294^ ^5294_refgroup^ ^922^ ^val_add_applic^
^5301^ ^5301_refgroup^ ^923^ ^verb_base^
^5308^ ^5308_refgroup^ ^924^ ^frequent^
^5315^ ^5315_refgroup^ ^925^ ^val_add_caus^
^5315^ ^5315_refgroup^ ^926^ ^val_add_applic^
^5315^ ^5315_refgroup^ ^927^ ^minus_tla^
^5320^ ^5320_refgroup^ ^928^ ^verb_base^
^5324^ ^5324_refgroup^ ^929^ ^val_reduce0^
^5326^ ^5326_refgroup^ ^930^ ^val_add_applic^
^5326^ ^5326_refgroup^ ^931^ ^val_add_caus^
^5334^ ^5334_refgroup^ ^932^ ^verb_base^
^5340^ ^5340_refgroup^ ^933^ ^verb_base^
^5349^ ^5349_refgroup^ ^934^ ^val_add_caus^
^5352^ ^5352_refgroup^ ^935^ ^minus_tla^
^5379^ ^5379_refgroup^ ^936^ ^verb_base^
^5422^ ^5422_refgroup^ ^937^ ^verb_base^
^5423^ ^5423_refgroup^ ^938^ ^val_add_applic^
^5425^ ^5425_refgroup^ ^939^ ^verb_base^
^5431^ ^5431_refgroup^ ^940^ ^ni_base^
^5433^ ^5433_refgroup^ ^941^ ^val_reduce2^
^5440^ ^5440_refgroup^ ^942^ ^minus_tla^
^5456^ ^5456_refgroup^ ^943^ ^verb_base^
^5456^ ^5456_refgroup^ ^944^ ^val_reduce1^
^5460^ ^5460_refgroup^ ^945^ ^verb_base^
^5476^ ^5476_refgroup^ ^946^ ^val_add_caus^
^5480^ ^5480_refgroup^ ^947^ ^frequent^
^5484^ ^5484_refgroup^ ^948^ ^val_add_caus^
^5490^ ^5490_refgroup^ ^949^ ^val_add_applic^
^5493^ ^5493_refgroup^ ^950^ ^val_add_applic^
^5494^ ^5494_refgroup^ ^951^ ^minus_tla^
^5499^ ^5499_refgroup^ ^952^ ^val_reduce1^
^5508^ ^5508_refgroup^ ^953^ ^verb_base^
^5511^ ^5511_refgroup^ ^954^ ^verb_base^
^5512^ ^5512_refgroup^ ^955^ ^verb_base^
^5520^ ^5520_refgroup^ ^956^ ^val_add_caus^
^5524^ ^5524_refgroup^ ^957^ ^minus_tla^
^5528^ ^5528_refgroup^ ^958^ ^val_add_caus^
^5540^ ^5540_refgroup^ ^959^ ^verb_base^
^5542^ ^5542_refgroup^ ^960^ ^val_add_applic^
^5542^ ^5542_refgroup^ ^961^ ^minus_tla^
^5544^ ^5544_refgroup^ ^962^ ^val_add_applic^
^5544^ ^5544_refgroup^ ^963^ ^val_reduce1^
^5553^ ^5553_refgroup^ ^964^ ^val_reduce1^
^5554^ ^5554_refgroup^ ^965^ ^val_add_caus^
^5563^ ^5563_refgroup^ ^966^ ^verb_base^
^5572^ ^5572_refgroup^ ^967^ ^verb_base^
^5595^ ^5595_refgroup^ ^968^ ^val_add_applic^
^5598^ ^5598_refgroup^ ^969^ ^val_add_applic^
^5598^ ^5598_refgroup^ ^970^ ^val_reduce1^
^5606^ ^5606_refgroup^ ^971^ ^verb_base^
^8^ ^8_refgroup^ ^1^ ^verb_base^
^10^ ^10_refgroup^ ^2^ ^verb_base^
^17^ ^17_refgroup^ ^3^ ^verb_base^
^20^ ^20_refgroup^ ^4^ ^val_add_applic^
^20^ ^20_refgroup^ ^5^ ^minus_tla^
^24^ ^24_refgroup^ ^6^ ^val_add_applic^
^27^ ^27_refgroup^ ^7^ ^val_reduce1^
^27^ ^27_refgroup^ ^8^ ^val_reduce1^
^27^ ^27_refgroup^ ^9^ ^val_add_applic^
^27^ ^27_refgroup^ ^10^ ^val_add_caus^
^29^ ^29_refgroup^ ^11^ ^val_reduce1^
^46^ ^46_refgroup^ ^12^ ^val_add_applic^
^51^ ^51_refgroup^ ^13^ ^frequent^
^62^ ^62_refgroup^ ^14^ ^val_reduce1^
^62^ ^62_refgroup^ ^15^ ^val_add_applic^
^71^ ^71_refgroup^ ^16^ ^val_add_caus^
^84^ ^84_refgroup^ ^17^ ^val_add_applic^
^103^ ^103_refgroup^ ^18^ ^val_add_applic^
^111^ ^111_refgroup^ ^19^ ^verb_base^
^114^ ^114_refgroup^ ^20^ ^val_add_applic^
^119^ ^119_refgroup^ ^21^ ^val_add_caus^
^127^ ^127_refgroup^ ^22^ ^verb_base^
^144^ ^144_refgroup^ ^23^ ^val_add_caus^
^146^ ^146_refgroup^ ^24^ ^minus_tla^
^147^ ^147_refgroup^ ^25^ ^minus_tla^
^152^ ^152_refgroup^ ^26^ ^minus_tla^
^156^ ^156_refgroup^ ^27^ ^val_add_applic^
^158^ ^158_refgroup^ ^28^ ^minus_tla^
^161^ ^161_refgroup^ ^29^ ^minus_tla^
^163^ ^163_refgroup^ ^30^ ^verb_base^
^166^ ^166_refgroup^ ^31^ ^frequent^
^167^ ^167_refgroup^ ^32^ ^verb_base^
^174^ ^174_refgroup^ ^33^ ^verb_base^
^197^ ^197_refgroup^ ^34^ ^val_add_applic^
^197^ ^197_refgroup^ ^35^ ^verb_base^
^202^ ^202_refgroup^ ^36^ ^val_reduce1^
^205^ ^205_refgroup^ ^37^ ^verb_base^
^208^ ^208_refgroup^ ^38^ ^val_add_applic^
^211^ ^211_refgroup^ ^39^ ^val_reduce1^
^214^ ^214_refgroup^ ^40^ ^val_add_applic^
^228^ ^228_refgroup^ ^41^ ^ni_base^
^231^ ^231_refgroup^ ^42^ ^verb_base^
^234^ ^234_refgroup^ ^43^ ^val_add_applic^
^247^ ^247_refgroup^ ^44^ ^val_add_applic^
^247^ ^247_refgroup^ ^45^ ^verb_base^
^249^ ^249_refgroup^ ^46^ ^minus_tla^
^252^ ^252_refgroup^ ^47^ ^val_add_caus^
^266^ ^266_refgroup^ ^48^ ^verb_base^
^271^ ^271_refgroup^ ^49^ ^verb_base^
^273^ ^273_refgroup^ ^50^ ^verb_base^
^275^ ^275_refgroup^ ^51^ ^minus_tla^
^276^ ^276_refgroup^ ^52^ ^val_add_applic^
^284^ ^284_refgroup^ ^53^ ^val_add_applic^
^284^ ^284_refgroup^ ^54^ ^val_add_caus^
^284^ ^284_refgroup^ ^55^ ^val_reduce1^
^285^ ^285_refgroup^ ^56^ ^val_add_caus^
^286^ ^286_refgroup^ ^57^ ^val_add_caus^
^296^ ^296_refgroup^ ^58^ ^val_add_applic^
^301^ ^301_refgroup^ ^59^ ^verb_base^
^332^ ^332_refgroup^ ^60^ ^verb_base^
^350^ ^350_refgroup^ ^61^ ^verb_base^
^352^ ^352_refgroup^ ^62^ ^minus_tla^
^354^ ^354_refgroup^ ^63^ ^verb_base^
^361^ ^361_refgroup^ ^64^ ^val_add_caus^
^365^ ^365_refgroup^ ^65^ ^ni_base^
^366^ ^366_refgroup^ ^66^ ^val_reduce1^
^377^ ^377_refgroup^ ^67^ ^val_reduce1^
^381^ ^381_refgroup^ ^68^ ^verb_base^
^387^ ^387_refgroup^ ^69^ ^minus_tla^
^394^ ^394_refgroup^ ^70^ ^val_add_caus^
^401^ ^401_refgroup^ ^71^ ^verb_base^
^418^ ^418_refgroup^ ^72^ ^verb_base^
^444^ ^444_refgroup^ ^73^ ^val_add_caus^
^444^ ^444_refgroup^ ^74^ ^val_add_applic^
^449^ ^449_refgroup^ ^75^ ^val_reduce1^
^456^ ^456_refgroup^ ^76^ ^verb_base^
^471^ ^471_refgroup^ ^77^ ^val_add_applic^
^471^ ^471_refgroup^ ^78^ ^val_reduce1^
^481^ ^481_refgroup^ ^79^ ^val_add_applic^
^485^ ^485_refgroup^ ^80^ ^verb_base^
^486^ ^486_refgroup^ ^81^ ^verb_base^
^520^ ^520_refgroup^ ^82^ ^val_add_caus^
^526^ ^526_refgroup^ ^83^ ^verb_base^
^527^ ^527_refgroup^ ^84^ ^verb_base^
^529^ ^529_refgroup^ ^85^ ^minus_tla^
^534^ ^534_refgroup^ ^86^ ^verb_base^
^549^ ^549_refgroup^ ^87^ ^val_add_caus^
^551^ ^551_refgroup^ ^88^ ^val_add_applic^
^565^ ^565_refgroup^ ^89^ ^verb_base^
^565^ ^565_refgroup^ ^90^ ^val_add_applic^
^568^ ^568_refgroup^ ^91^ ^val_add_caus^
^587^ ^587_refgroup^ ^92^ ^minus_tla^
^593^ ^593_refgroup^ ^93^ ^verb_base^
^596^ ^596_refgroup^ ^94^ ^val_add_applic^
^603^ ^603_refgroup^ ^95^ ^verb_base^
^604^ ^604_refgroup^ ^96^ ^val_add_caus^
^604^ ^604_refgroup^ ^97^ ^val_reduce0^
^604^ ^604_refgroup^ ^98^ ^frequent^
^608^ ^608_refgroup^ ^99^ ^val_add_caus^
^608^ ^608_refgroup^ ^100^ ^val_add_applic^
^608^ ^608_refgroup^ ^101^ ^val_reduce1^
^610^ ^610_refgroup^ ^102^ ^verb_base^
^620^ ^620_refgroup^ ^103^ ^val_add_caus^
^620^ ^620_refgroup^ ^104^ ^minus_tla^
^627^ ^627_refgroup^ ^105^ ^minus_tla^
^630^ ^630_refgroup^ ^106^ ^verb_base^
^633^ ^633_refgroup^ ^107^ ^val_add_caus^
^639^ ^639_refgroup^ ^108^ ^verb_base^
^641^ ^641_refgroup^ ^109^ ^verb_base^
^643^ ^643_refgroup^ ^110^ ^frequent^
^653^ ^653_refgroup^ ^111^ ^verb_base^
^661^ ^661_refgroup^ ^112^ ^val_add_caus^
^662^ ^662_refgroup^ ^113^ ^minus_tla^
^669^ ^669_refgroup^ ^114^ ^val_add_caus^
^683^ ^683_refgroup^ ^115^ ^ni_base^
^687^ ^687_refgroup^ ^116^ ^val_add_applic^
^691^ ^691_refgroup^ ^117^ ^val_add_caus^
^698^ ^698_refgroup^ ^118^ ^verb_base^
^704^ ^704_refgroup^ ^119^ ^verb_base^
^716^ ^716_refgroup^ ^120^ ^val_reduce1^
^719^ ^719_refgroup^ ^121^ ^val_add_caus^
^725^ ^725_refgroup^ ^122^ ^val_reduce1^
^730^ ^730_refgroup^ ^123^ ^val_add_applic^
^731^ ^731_refgroup^ ^124^ ^verb_base^
^754^ ^754_refgroup^ ^125^ ^val_add_applic^
^774^ ^774_refgroup^ ^126^ ^verb_base^
^780^ ^780_refgroup^ ^127^ ^val_add_applic^
^787^ ^787_refgroup^ ^128^ ^verb_base^
^797^ ^797_refgroup^ ^129^ ^val_add_applic^
^799^ ^799_refgroup^ ^130^ ^val_add_caus^
^815^ ^815_refgroup^ ^131^ ^verb_base^
^822^ ^822_refgroup^ ^132^ ^val_add_caus^
^822^ ^822_refgroup^ ^133^ ^val_add_applic^
^835^ ^835_refgroup^ ^134^ ^verb_base^
^836^ ^836_refgroup^ ^135^ ^minus_tla^
^846^ ^846_refgroup^ ^136^ ^verb_base^
^852^ ^852_refgroup^ ^137^ ^verb_base^
^858^ ^858_refgroup^ ^138^ ^minus_tla^
^864^ ^864_refgroup^ ^139^ ^val_add_applic^
^877^ ^877_refgroup^ ^140^ ^verb_base^
^879^ ^879_refgroup^ ^141^ ^val_reduce1^
^879^ ^879_refgroup^ ^142^ ^verb_base^
^925^ ^925_refgroup^ ^143^ ^minus_tla^
^942^ ^942_refgroup^ ^144^ ^frequent^
^961^ ^961_refgroup^ ^145^ ^val_add_applic^
^974^ ^974_refgroup^ ^146^ ^verb_base^
^975^ ^975_refgroup^ ^147^ ^val_reduce1^
^975^ ^975_refgroup^ ^148^ ^val_reduce1^
^975^ ^975_refgroup^ ^149^ ^verb_base^
^981^ ^981_refgroup^ ^150^ ^verb_base^
^985^ ^985_refgroup^ ^151^ ^verb_base^
^1014^ ^1014_refgroup^ ^152^ ^ni_base^
^1018^ ^1018_refgroup^ ^153^ ^verb_base^
^1027^ ^1027_refgroup^ ^154^ ^val_add_applic^
^1029^ ^1029_refgroup^ ^155^ ^ni_base^
^1034^ ^1034_refgroup^ ^156^ ^val_add_applic^
^1038^ ^1038_refgroup^ ^157^ ^minus_tla^
^1045^ ^1045_refgroup^ ^158^ ^verb_base^
^1052^ ^1052_refgroup^ ^159^ ^ni_base^
^1072^ ^1072_refgroup^ ^160^ ^verb_base^
^1082^ ^1082_refgroup^ ^161^ ^minus_tla^
^1089^ ^1089_refgroup^ ^162^ ^val_reduce1^
^1089^ ^1089_refgroup^ ^163^ ^ni_base^
^1098^ ^1098_refgroup^ ^164^ ^verb_base^
^1108^ ^1108_refgroup^ ^165^ ^val_add_applic^
^1110^ ^1110_refgroup^ ^166^ ^verb_base^
^1110^ ^1110_refgroup^ ^167^ ^val_reduce1^
^1115^ ^1115_refgroup^ ^168^ ^val_add_applic^
^1128^ ^1128_refgroup^ ^169^ ^val_add_caus^
^1141^ ^1141_refgroup^ ^170^ ^val_add_applic^
^1161^ ^1161_refgroup^ ^171^ ^val_add_caus^
^1168^ ^1168_refgroup^ ^172^ ^verb_base^
^1172^ ^1172_refgroup^ ^173^ ^val_add_caus^
^1176^ ^1176_refgroup^ ^174^ ^ni_base^
^1180^ ^1180_refgroup^ ^175^ ^verb_base^
^1183^ ^1183_refgroup^ ^176^ ^minus_tla^
^1188^ ^1188_refgroup^ ^177^ ^verb_base^
^1190^ ^1190_refgroup^ ^178^ ^val_add_caus^
^1203^ ^1203_refgroup^ ^179^ ^frequent^
^1213^ ^1213_refgroup^ ^180^ ^verb_base^
^1218^ ^1218_refgroup^ ^181^ ^val_reduce1^
^1229^ ^1229_refgroup^ ^182^ ^verb_base^
^1239^ ^1239_refgroup^ ^183^ ^val_add_caus^
^1241^ ^1241_refgroup^ ^184^ ^val_add_caus^
^1242^ ^1242_refgroup^ ^185^ ^val_add_applic^
^1242^ ^1242_refgroup^ ^186^ ^val_reduce1^
^1245^ ^1245_refgroup^ ^187^ ^val_add_caus^
^1251^ ^1251_refgroup^ ^188^ ^val_reduce1^
^1276^ ^1276_refgroup^ ^189^ ^val_add_caus^
^1280^ ^1280_refgroup^ ^190^ ^val_add_applic^
^1286^ ^1286_refgroup^ ^191^ ^val_add_caus^
^1288^ ^1288_refgroup^ ^192^ ^verb_base^
^1294^ ^1294_refgroup^ ^193^ ^verb_base^
^1295^ ^1295_refgroup^ ^194^ ^verb_base^
^1297^ ^1297_refgroup^ ^195^ ^verb_base^
^1299^ ^1299_refgroup^ ^196^ ^val_add_applic^
^1311^ ^1311_refgroup^ ^197^ ^verb_base^
^1331^ ^1331_refgroup^ ^198^ ^verb_base^
^1336^ ^1336_refgroup^ ^199^ ^val_add_caus^
^1337^ ^1337_refgroup^ ^200^ ^val_add_caus^
^1339^ ^1339_refgroup^ ^201^ ^verb_base^
^1363^ ^1363_refgroup^ ^202^ ^val_reduce1^
^1364^ ^1364_refgroup^ ^203^ ^verb_base^
^1366^ ^1366_refgroup^ ^204^ ^verb_base^
^1378^ ^1378_refgroup^ ^205^ ^verb_base^
^1381^ ^1381_refgroup^ ^206^ ^minus_tla^
^1384^ ^1384_refgroup^ ^207^ ^verb_base^
^1392^ ^1392_refgroup^ ^208^ ^verb_base^
^1398^ ^1398_refgroup^ ^209^ ^verb_base^
^1400^ ^1400_refgroup^ ^210^ ^val_reduce1^
^1401^ ^1401_refgroup^ ^211^ ^verb_base^
^1401^ ^1401_refgroup^ ^212^ ^minus_tla^
^1403^ ^1403_refgroup^ ^213^ ^val_add_applic^
^1412^ ^1412_refgroup^ ^214^ ^verb_base^
^1419^ ^1419_refgroup^ ^215^ ^verb_base^
^1436^ ^1436_refgroup^ ^216^ ^verb_base^
^1442^ ^1442_refgroup^ ^217^ ^val_reduce1^
^1444^ ^1444_refgroup^ ^218^ ^ni_base^
^1452^ ^1452_refgroup^ ^219^ ^verb_base^
^1455^ ^1455_refgroup^ ^220^ ^val_add_caus^
^1455^ ^1455_refgroup^ ^221^ ^minus_tla^
^1457^ ^1457_refgroup^ ^222^ ^val_reduce0^
^1457^ ^1457_refgroup^ ^223^ ^frequent^
^1459^ ^1459_refgroup^ ^224^ ^verb_base^
^1467^ ^1467_refgroup^ ^225^ ^verb_base^
^1475^ ^1475_refgroup^ ^226^ ^verb_base^
^1489^ ^1489_refgroup^ ^227^ ^verb_base^
^1502^ ^1502_refgroup^ ^228^ ^val_add_caus^
^1529^ ^1529_refgroup^ ^229^ ^val_add_applic^
^1529^ ^1529_refgroup^ ^230^ ^val_add_caus^
^1529^ ^1529_refgroup^ ^231^ ^val_reduce0^
^1529^ ^1529_refgroup^ ^232^ ^val_reduce0^
^1533^ ^1533_refgroup^ ^233^ ^val_add_caus^
^1535^ ^1535_refgroup^ ^234^ ^val_add_applic^
^1542^ ^1542_refgroup^ ^235^ ^val_add_caus^
^1542^ ^1542_refgroup^ ^236^ ^minus_tla^
^1553^ ^1553_refgroup^ ^237^ ^minus_tla^
^1554^ ^1554_refgroup^ ^238^ ^val_add_caus^
^1569^ ^1569_refgroup^ ^239^ ^val_add_caus^
^1569^ ^1569_refgroup^ ^240^ ^minus_tla^
^1571^ ^1571_refgroup^ ^241^ ^val_reduce1^
^1573^ ^1573_refgroup^ ^242^ ^verb_base^
^1581^ ^1581_refgroup^ ^243^ ^val_reduce2^
^1581^ ^1581_refgroup^ ^244^ ^verb_base^
^1591^ ^1591_refgroup^ ^245^ ^verb_base^
^1604^ ^1604_refgroup^ ^246^ ^verb_base^
^1624^ ^1624_refgroup^ ^247^ ^verb_base^
^1628^ ^1628_refgroup^ ^248^ ^verb_base^
^1632^ ^1632_refgroup^ ^249^ ^val_add_applic^
^1632^ ^1632_refgroup^ ^250^ ^val_add_caus^
^1635^ ^1635_refgroup^ ^251^ ^frequent^
^1640^ ^1640_refgroup^ ^252^ ^val_reduce1^
^1642^ ^1642_refgroup^ ^253^ ^minus_tla^
^1652^ ^1652_refgroup^ ^254^ ^verb_base^
^1660^ ^1660_refgroup^ ^255^ ^val_reduce1^
^1664^ ^1664_refgroup^ ^256^ ^val_add_applic^
^1668^ ^1668_refgroup^ ^257^ ^val_add_caus^
^1673^ ^1673_refgroup^ ^258^ ^verb_base^
^1675^ ^1675_refgroup^ ^259^ ^val_add_caus^
^1675^ ^1675_refgroup^ ^260^ ^val_add_applic^
^1679^ ^1679_refgroup^ ^261^ ^val_add_caus^
^1683^ ^1683_refgroup^ ^262^ ^val_add_caus^
^1684^ ^1684_refgroup^ ^263^ ^val_add_caus^
^1689^ ^1689_refgroup^ ^264^ ^minus_tla^
^1694^ ^1694_refgroup^ ^265^ ^val_add_caus^
^1695^ ^1695_refgroup^ ^266^ ^verb_base^
^1703^ ^1703_refgroup^ ^267^ ^val_add_applic^
^1705^ ^1705_refgroup^ ^268^ ^val_add_applic^
^1706^ ^1706_refgroup^ ^269^ ^val_add_caus^
^1706^ ^1706_refgroup^ ^270^ ^val_reduce0^
^1710^ ^1710_refgroup^ ^271^ ^val_reduce2^
^1710^ ^1710_refgroup^ ^272^ ^verb_base^
^1720^ ^1720_refgroup^ ^273^ ^minus_tla^
^1721^ ^1721_refgroup^ ^274^ ^minus_tla^
^1729^ ^1729_refgroup^ ^275^ ^verb_base^
^1747^ ^1747_refgroup^ ^276^ ^verb_base^
^1752^ ^1752_refgroup^ ^277^ ^verb_base^
^1758^ ^1758_refgroup^ ^278^ ^val_reduce0^
^1758^ ^1758_refgroup^ ^279^ ^val_add_caus^
^1765^ ^1765_refgroup^ ^280^ ^val_reduce0^
^1766^ ^1766_refgroup^ ^281^ ^minus_tla^
^1768^ ^1768_refgroup^ ^282^ ^val_add_applic^
^1785^ ^1785_refgroup^ ^283^ ^val_add_caus^
^1795^ ^1795_refgroup^ ^284^ ^val_add_applic^
^1795^ ^1795_refgroup^ ^285^ ^val_add_caus^
^1795^ ^1795_refgroup^ ^286^ ^val_reduce0^
^1798^ ^1798_refgroup^ ^287^ ^verb_base^
^1800^ ^1800_refgroup^ ^288^ ^verb_base^
^1813^ ^1813_refgroup^ ^289^ ^val_add_applic^
^1815^ ^1815_refgroup^ ^290^ ^minus_tla^
^1824^ ^1824_refgroup^ ^291^ ^val_add_caus^
^1824^ ^1824_refgroup^ ^292^ ^val_reduce1^
^1829^ ^1829_refgroup^ ^293^ ^minus_tla^
^1835^ ^1835_refgroup^ ^294^ ^val_reduce1^
^1837^ ^1837_refgroup^ ^295^ ^minus_tla^
^1841^ ^1841_refgroup^ ^296^ ^val_add_applic^
^1851^ ^1851_refgroup^ ^297^ ^val_reduce1^
^1855^ ^1855_refgroup^ ^298^ ^val_add_caus^
^1858^ ^1858_refgroup^ ^299^ ^verb_base^
^1865^ ^1865_refgroup^ ^300^ ^verb_base^
^1865^ ^1865_refgroup^ ^301^ ^minus_tla^
^1867^ ^1867_refgroup^ ^302^ ^verb_base^
^1871^ ^1871_refgroup^ ^303^ ^val_add_caus^
^1874^ ^1874_refgroup^ ^304^ ^verb_base^
^1877^ ^1877_refgroup^ ^305^ ^verb_base^
^1877^ ^1877_refgroup^ ^306^ ^val_reduce2^
^1881^ ^1881_refgroup^ ^307^ ^verb_base^
^1886^ ^1886_refgroup^ ^308^ ^verb_base^
^1892^ ^1892_refgroup^ ^309^ ^val_add_applic^
^1892^ ^1892_refgroup^ ^310^ ^minus_tla^
^1893^ ^1893_refgroup^ ^311^ ^minus_tla^
^1898^ ^1898_refgroup^ ^312^ ^val_add_caus^
^1899^ ^1899_refgroup^ ^313^ ^minus_tla^
^1911^ ^1911_refgroup^ ^314^ ^verb_base^
^1915^ ^1915_refgroup^ ^315^ ^verb_base^
^1918^ ^1918_refgroup^ ^316^ ^val_add_caus^
^1919^ ^1919_refgroup^ ^317^ ^minus_tla^
^1941^ ^1941_refgroup^ ^318^ ^verb_base^
^1964^ ^1964_refgroup^ ^319^ ^ni_base^
^1971^ ^1971_refgroup^ ^320^ ^frequent^
^1978^ ^1978_refgroup^ ^321^ ^val_add_caus^
^1978^ ^1978_refgroup^ ^322^ ^val_add_applic^
^1987^ ^1987_refgroup^ ^323^ ^verb_base^
^1997^ ^1997_refgroup^ ^324^ ^val_add_caus^
^2001^ ^2001_refgroup^ ^325^ ^verb_base^
^2014^ ^2014_refgroup^ ^326^ ^val_add_applic^
^2018^ ^2018_refgroup^ ^327^ ^val_add_applic^
^2021^ ^2021_refgroup^ ^328^ ^verb_base^
^2034^ ^2034_refgroup^ ^329^ ^val_add_applic^
^2034^ ^2034_refgroup^ ^330^ ^val_add_caus^
^2034^ ^2034_refgroup^ ^331^ ^val_add_applic.caus^
^2034^ ^2034_refgroup^ ^332^ ^val_reduce1^
^2046^ ^2046_refgroup^ ^333^ ^verb_base^
^2047^ ^2047_refgroup^ ^334^ ^verb_base^
^2054^ ^2054_refgroup^ ^335^ ^verb_base^
^2054^ ^2054_refgroup^ ^336^ ^val_add_applic^
^2061^ ^2061_refgroup^ ^337^ ^verb_base^
^2086^ ^2086_refgroup^ ^338^ ^verb_base^
^2092^ ^2092_refgroup^ ^339^ ^val_add_applic^
^2101^ ^2101_refgroup^ ^340^ ^val_add_caus^
^2101^ ^2101_refgroup^ ^341^ ^val_add_applic^
^2101^ ^2101_refgroup^ ^342^ ^val_add_applic.caus^
^2109^ ^2109_refgroup^ ^343^ ^val_add_caus^
^2116^ ^2116_refgroup^ ^344^ ^val_add_caus^
^2127^ ^2127_refgroup^ ^345^ ^verb_base^
^2133^ ^2133_refgroup^ ^346^ ^val_add_caus^
^2135^ ^2135_refgroup^ ^347^ ^val_add_caus^
^2144^ ^2144_refgroup^ ^348^ ^verb_base^
^2145^ ^2145_refgroup^ ^349^ ^val_add_applic^
^2145^ ^2145_refgroup^ ^350^ ^val_reduce1^
^2147^ ^2147_refgroup^ ^351^ ^val_add_caus^
^2169^ ^2169_refgroup^ ^352^ ^val_add_applic^
^2176^ ^2176_refgroup^ ^353^ ^verb_base^
^2181^ ^2181_refgroup^ ^354^ ^verb_base^
^2190^ ^2190_refgroup^ ^355^ ^val_add_caus^
^2192^ ^2192_refgroup^ ^356^ ^verb_base^
^2194^ ^2194_refgroup^ ^357^ ^val_add_applic^
^2195^ ^2195_refgroup^ ^358^ ^verb_base^
^2195^ ^2195_refgroup^ ^359^ ^minus_tla^
^2197^ ^2197_refgroup^ ^360^ ^verb_base^
^2201^ ^2201_refgroup^ ^361^ ^val_add_applic^
^2204^ ^2204_refgroup^ ^362^ ^minus_tla^
^2216^ ^2216_refgroup^ ^363^ ^val_add_applic^
^2217^ ^2217_refgroup^ ^364^ ^verb_base^
^2220^ ^2220_refgroup^ ^365^ ^ni_base^
^2223^ ^2223_refgroup^ ^366^ ^verb_base^
^2225^ ^2225_refgroup^ ^367^ ^verb_base^
^2234^ ^2234_refgroup^ ^368^ ^minus_tla^
^2262^ ^2262_refgroup^ ^369^ ^val_add_applic^
^2262^ ^2262_refgroup^ ^370^ ^val_reduce1^
^2273^ ^2273_refgroup^ ^371^ ^val_add_caus^
^2274^ ^2274_refgroup^ ^372^ ^val_add_applic^
^2280^ ^2280_refgroup^ ^373^ ^val_reduce1^
^2281^ ^2281_refgroup^ ^374^ ^verb_base^
^2289^ ^2289_refgroup^ ^375^ ^ni_base^
^2296^ ^2296_refgroup^ ^376^ ^val_add_caus^
^2298^ ^2298_refgroup^ ^377^ ^val_add_applic^
^2299^ ^2299_refgroup^ ^378^ ^verb_base^
^2303^ ^2303_refgroup^ ^379^ ^val_add_caus^
^2303^ ^2303_refgroup^ ^380^ ^val_add_applic^
^2312^ ^2312_refgroup^ ^381^ ^verb_base^
^2315^ ^2315_refgroup^ ^382^ ^verb_base^
^2322^ ^2322_refgroup^ ^383^ ^val_add_applic^
^2330^ ^2330_refgroup^ ^384^ ^val_reduce2^
^2330^ ^2330_refgroup^ ^385^ ^verb_base^
^2335^ ^2335_refgroup^ ^386^ ^verb_base^
^2341^ ^2341_refgroup^ ^387^ ^minus_tla^
^2354^ ^2354_refgroup^ ^388^ ^val_add_caus^
^2356^ ^2356_refgroup^ ^389^ ^val_add_applic^
^2356^ ^2356_refgroup^ ^390^ ^val_reduce2^
^2362^ ^2362_refgroup^ ^391^ ^val_add_applic^
^2367^ ^2367_refgroup^ ^392^ ^val_reduce0^
^2369^ ^2369_refgroup^ ^393^ ^val_add_applic^
^2373^ ^2373_refgroup^ ^394^ ^verb_base^
^2374^ ^2374_refgroup^ ^395^ ^verb_base^
^2375^ ^2375_refgroup^ ^396^ ^val_add_applic^
^2376^ ^2376_refgroup^ ^397^ ^ni_base^
^2379^ ^2379_refgroup^ ^398^ ^val_add_caus^
^2383^ ^2383_refgroup^ ^399^ ^val_reduce2^
^2391^ ^2391_refgroup^ ^400^ ^minus_tla^
^2396^ ^2396_refgroup^ ^401^ ^verb_base^
^2396^ ^2396_refgroup^ ^402^ ^val_add_applic^
^2402^ ^2402_refgroup^ ^403^ ^val_add_caus^
^2413^ ^2413_refgroup^ ^404^ ^val_add_caus^
^2424^ ^2424_refgroup^ ^405^ ^minus_tla^
^2438^ ^2438_refgroup^ ^406^ ^val_add_applic^
^2439^ ^2439_refgroup^ ^407^ ^minus_tla^
^2440^ ^2440_refgroup^ ^408^ ^minus_tla^
^2467^ ^2467_refgroup^ ^409^ ^val_reduce2^
^2467^ ^2467_refgroup^ ^410^ ^verb_base^
^2472^ ^2472_refgroup^ ^411^ ^verb_base^
^2476^ ^2476_refgroup^ ^412^ ^verb_base^
^2482^ ^2482_refgroup^ ^413^ ^minus_tla^
^2483^ ^2483_refgroup^ ^414^ ^verb_base^
^2487^ ^2487_refgroup^ ^415^ ^val_add_applic^
^2487^ ^2487_refgroup^ ^416^ ^val_reduce1^
^2502^ ^2502_refgroup^ ^417^ ^val_add_applic^
^2507^ ^2507_refgroup^ ^418^ ^verb_base^
^2511^ ^2511_refgroup^ ^419^ ^val_add_applic^
^2511^ ^2511_refgroup^ ^420^ ^val_reduce1^
^2514^ ^2514_refgroup^ ^421^ ^minus_tla^
^2515^ ^2515_refgroup^ ^422^ ^minus_tla^
^2519^ ^2519_refgroup^ ^423^ ^verb_base^
^2526^ ^2526_refgroup^ ^424^ ^val_add_caus^
^2529^ ^2529_refgroup^ ^425^ ^val_add_caus^
^2533^ ^2533_refgroup^ ^426^ ^verb_base^
^2537^ ^2537_refgroup^ ^427^ ^minus_tla^
^2539^ ^2539_refgroup^ ^428^ ^minus_tla^
^2553^ ^2553_refgroup^ ^429^ ^ni_base^
^2557^ ^2557_refgroup^ ^430^ ^val_add_applic^
^2562^ ^2562_refgroup^ ^431^ ^verb_base^
^2580^ ^2580_refgroup^ ^432^ ^verb_base^
^2580^ ^2580_refgroup^ ^433^ ^minus_tla^
^2591^ ^2591_refgroup^ ^434^ ^val_add_applic^
^2591^ ^2591_refgroup^ ^435^ ^verb_base^
^2596^ ^2596_refgroup^ ^436^ ^val_add_applic^
^2598^ ^2598_refgroup^ ^437^ ^verb_base^
^2603^ ^2603_refgroup^ ^438^ ^ni_base^
^2611^ ^2611_refgroup^ ^439^ ^val_add_caus^
^2618^ ^2618_refgroup^ ^440^ ^verb_base^
^2620^ ^2620_refgroup^ ^441^ ^val_reduce0^
^2627^ ^2627_refgroup^ ^442^ ^val_add_applic^
^2636^ ^2636_refgroup^ ^443^ ^val_reduce1^
^2637^ ^2637_refgroup^ ^444^ ^val_add_applic^
^2648^ ^2648_refgroup^ ^445^ ^val_add_applic^
^2656^ ^2656_refgroup^ ^446^ ^val_add_applic^
^2659^ ^2659_refgroup^ ^447^ ^val_reduce1^
^2664^ ^2664_refgroup^ ^448^ ^minus_tla^
^2667^ ^2667_refgroup^ ^449^ ^ni_base^
^2672^ ^2672_refgroup^ ^450^ ^val_add_applic^
^2673^ ^2673_refgroup^ ^451^ ^minus_tla^
^2679^ ^2679_refgroup^ ^452^ ^plus_tla^
^2699^ ^2699_refgroup^ ^453^ ^ni_base^
^2703^ ^2703_refgroup^ ^454^ ^verb_base^
^2710^ ^2710_refgroup^ ^455^ ^val_add_applic^
^2713^ ^2713_refgroup^ ^456^ ^minus_tla^
^2717^ ^2717_refgroup^ ^457^ ^val_add_applic^
^2717^ ^2717_refgroup^ ^458^ ^val_reduce2^
^2717^ ^2717_refgroup^ ^459^ ^verb_base^
^2718^ ^2718_refgroup^ ^460^ ^minus_tla^
^2721^ ^2721_refgroup^ ^461^ ^verb_base^
^2730^ ^2730_refgroup^ ^462^ ^plus_tla^
^2731^ ^2731_refgroup^ ^463^ ^verb_base^
^2739^ ^2739_refgroup^ ^464^ ^val_add_applic^
^2746^ ^2746_refgroup^ ^465^ ^val_reduce1^
^2746^ ^2746_refgroup^ ^466^ ^verb_base^
^2746^ ^2746_refgroup^ ^467^ ^val_add_applic^
^2747^ ^2747_refgroup^ ^468^ ^verb_base^
^2752^ ^2752_refgroup^ ^469^ ^val_add_caus^
^2752^ ^2752_refgroup^ ^470^ ^frequent^
^2752^ ^2752_refgroup^ ^471^ ^frequent^
^2771^ ^2771_refgroup^ ^472^ ^minus_tla^
^2772^ ^2772_refgroup^ ^473^ ^verb_base^
^2779^ ^2779_refgroup^ ^474^ ^ni_base^
^2782^ ^2782_refgroup^ ^475^ ^verb_base^
^2785^ ^2785_refgroup^ ^476^ ^val_add_applic^
^2793^ ^2793_refgroup^ ^477^ ^verb_base^
^2797^ ^2797_refgroup^ ^478^ ^verb_base^
^2804^ ^2804_refgroup^ ^479^ ^verb_base^
^2804^ ^2804_refgroup^ ^480^ ^val_reduce2^
^2805^ ^2805_refgroup^ ^481^ ^val_add_caus^
^2807^ ^2807_refgroup^ ^482^ ^verb_base^
^2815^ ^2815_refgroup^ ^483^ ^val_add_caus^
^2818^ ^2818_refgroup^ ^484^ ^val_add_applic^
^2831^ ^2831_refgroup^ ^485^ ^val_add_caus^
^2833^ ^2833_refgroup^ ^486^ ^val_add_caus^
^2841^ ^2841_refgroup^ ^487^ ^val_reduce1^
^2843^ ^2843_refgroup^ ^488^ ^verb_base^
^2853^ ^2853_refgroup^ ^489^ ^verb_base^
^2853^ ^2853_refgroup^ ^490^ ^val_add_applic^
^2857^ ^2857_refgroup^ ^491^ ^minus_tla^
^2858^ ^2858_refgroup^ ^492^ ^ni_base^
^2861^ ^2861_refgroup^ ^493^ ^val_add_caus^
^2861^ ^2861_refgroup^ ^494^ ^frequent^
^2882^ ^2882_refgroup^ ^495^ ^val_add_applic^
^2884^ ^2884_refgroup^ ^496^ ^val_add_applic^
^2886^ ^2886_refgroup^ ^497^ ^verb_base^
^2888^ ^2888_refgroup^ ^498^ ^val_add_applic^
^2888^ ^2888_refgroup^ ^499^ ^minus_tla^
^2890^ ^2890_refgroup^ ^500^ ^verb_base^
^2891^ ^2891_refgroup^ ^501^ ^verb_base^
^2896^ ^2896_refgroup^ ^502^ ^verb_base^
^2899^ ^2899_refgroup^ ^503^ ^minus_tla^
^2907^ ^2907_refgroup^ ^504^ ^val_add_caus^
^2908^ ^2908_refgroup^ ^505^ ^val_add_caus^
^2914^ ^2914_refgroup^ ^506^ ^verb_base^
^2917^ ^2917_refgroup^ ^507^ ^val_add_caus^
^2917^ ^2917_refgroup^ ^508^ ^frequent^
^2929^ ^2929_refgroup^ ^509^ ^verb_base^
^2930^ ^2930_refgroup^ ^510^ ^val_add_caus^
^2935^ ^2935_refgroup^ ^511^ ^verb_base^
^2941^ ^2941_refgroup^ ^512^ ^val_reduce1^
^2951^ ^2951_refgroup^ ^513^ ^verb_base^
^2955^ ^2955_refgroup^ ^514^ ^val_add_caus^
^2955^ ^2955_refgroup^ ^515^ ^minus_tla^
^2956^ ^2956_refgroup^ ^516^ ^val_reduce2^
^2956^ ^2956_refgroup^ ^517^ ^verb_base^
^2964^ ^2964_refgroup^ ^518^ ^verb_base^
^2968^ ^2968_refgroup^ ^519^ ^val_add_caus^
^2969^ ^2969_refgroup^ ^520^ ^verb_base^
^2974^ ^2974_refgroup^ ^521^ ^val_add_caus^
^2986^ ^2986_refgroup^ ^522^ ^verb_base^
^2989^ ^2989_refgroup^ ^523^ ^val_add_caus^
^2989^ ^2989_refgroup^ ^524^ ^plus_tla^
^2993^ ^2993_refgroup^ ^525^ ^verb_base^
^3008^ ^3008_refgroup^ ^526^ ^val_add_applic^
^3010^ ^3010_refgroup^ ^527^ ^val_add_caus^
^3010^ ^3010_refgroup^ ^528^ ^minus_tla^
^3018^ ^3018_refgroup^ ^529^ ^minus_tla^
^3025^ ^3025_refgroup^ ^530^ ^val_add_caus^
^3027^ ^3027_refgroup^ ^531^ ^val_add_applic^
^3028^ ^3028_refgroup^ ^532^ ^verb_base^
^3035^ ^3035_refgroup^ ^533^ ^val_reduce1^
^3035^ ^3035_refgroup^ ^534^ ^val_add_applic^
^3039^ ^3039_refgroup^ ^535^ ^verb_base^
^3039^ ^3039_refgroup^ ^536^ ^val_reduce1^
^3040^ ^3040_refgroup^ ^537^ ^val_reduce1^
^3042^ ^3042_refgroup^ ^538^ ^val_add_applic^
^3044^ ^3044_refgroup^ ^539^ ^verb_base^
^3047^ ^3047_refgroup^ ^540^ ^val_add_caus^
^3056^ ^3056_refgroup^ ^541^ ^verb_base^
^3062^ ^3062_refgroup^ ^542^ ^verb_base^
^3074^ ^3074_refgroup^ ^543^ ^val_reduce0^
^3076^ ^3076_refgroup^ ^544^ ^verb_base^
^3088^ ^3088_refgroup^ ^545^ ^verb_base^
^3091^ ^3091_refgroup^ ^546^ ^minus_tla^
^3093^ ^3093_refgroup^ ^547^ ^verb_base^
^3108^ ^3108_refgroup^ ^548^ ^verb_base^
^3111^ ^3111_refgroup^ ^549^ ^minus_tla^
^3112^ ^3112_refgroup^ ^550^ ^val_add_applic^
^3112^ ^3112_refgroup^ ^551^ ^verb_base^
^3122^ ^3122_refgroup^ ^552^ ^val_add_applic^
^3135^ ^3135_refgroup^ ^553^ ^val_add_caus^
^3141^ ^3141_refgroup^ ^554^ ^verb_base^
^3159^ ^3159_refgroup^ ^555^ ^verb_base^
^3168^ ^3168_refgroup^ ^556^ ^verb_base^
^3169^ ^3169_refgroup^ ^557^ ^minus_tla^
^3171^ ^3171_refgroup^ ^558^ ^verb_base^
^3176^ ^3176_refgroup^ ^559^ ^minus_tla^
^3183^ ^3183_refgroup^ ^560^ ^val_add_applic^
^3183^ ^3183_refgroup^ ^561^ ^minus_tla^
^3185^ ^3185_refgroup^ ^562^ ^val_add_applic^
^3192^ ^3192_refgroup^ ^563^ ^val_add_applic^
^3204^ ^3204_refgroup^ ^564^ ^val_add_applic^
^3210^ ^3210_refgroup^ ^565^ ^minus_tla^
^3218^ ^3218_refgroup^ ^566^ ^verb_base^
^3219^ ^3219_refgroup^ ^567^ ^verb_base^
^3229^ ^3229_refgroup^ ^568^ ^verb_base^
^3232^ ^3232_refgroup^ ^569^ ^val_add_caus^
^3242^ ^3242_refgroup^ ^570^ ^val_reduce1^
^3259^ ^3259_refgroup^ ^571^ ^verb_base^
^3262^ ^3262_refgroup^ ^572^ ^val_reduce1^
^3262^ ^3262_refgroup^ ^573^ ^val_add_applic^
^3266^ ^3266_refgroup^ ^574^ ^minus_tla^
^3272^ ^3272_refgroup^ ^575^ ^val_add_caus^
^3272^ ^3272_refgroup^ ^576^ ^val_add_applic^
^3272^ ^3272_refgroup^ ^577^ ^val_reduce0^
^3279^ ^3279_refgroup^ ^578^ ^val_reduce1^
^3279^ ^3279_refgroup^ ^579^ ^verb_base^
^3308^ ^3308_refgroup^ ^580^ ^val_add_applic^
^3308^ ^3308_refgroup^ ^581^ ^val_reduce2^
^3308^ ^3308_refgroup^ ^582^ ^val_reduce2^
^3308^ ^3308_refgroup^ ^583^ ^verb_base^
^3321^ ^3321_refgroup^ ^584^ ^val_add_caus^
^3330^ ^3330_refgroup^ ^585^ ^verb_base^
^3358^ ^3358_refgroup^ ^586^ ^val_reduce1^
^3361^ ^3361_refgroup^ ^587^ ^val_reduce1^
^3366^ ^3366_refgroup^ ^588^ ^val_reduce1^
^3366^ ^3366_refgroup^ ^589^ ^frequent^
^3369^ ^3369_refgroup^ ^590^ ^val_reduce1^
^3374^ ^3374_refgroup^ ^591^ ^val_reduce1^
^3394^ ^3394_refgroup^ ^592^ ^val_add_applic^
^3397^ ^3397_refgroup^ ^593^ ^verb_base^
^3398^ ^3398_refgroup^ ^594^ ^verb_base^
^3401^ ^3401_refgroup^ ^595^ ^minus_tla^
^3409^ ^3409_refgroup^ ^596^ ^verb_base^
^3412^ ^3412_refgroup^ ^597^ ^verb_base^
^3413^ ^3413_refgroup^ ^598^ ^val_add_applic^
^3417^ ^3417_refgroup^ ^599^ ^val_add_applic^
^3424^ ^3424_refgroup^ ^600^ ^val_add_applic^
^3448^ ^3448_refgroup^ ^601^ ^val_reduce1^
^3450^ ^3450_refgroup^ ^602^ ^verb_base^
^3458^ ^3458_refgroup^ ^603^ ^verb_base^
^3478^ ^3478_refgroup^ ^604^ ^verb_base^
^3478^ ^3478_refgroup^ ^605^ ^val_add_caus^
^3479^ ^3479_refgroup^ ^606^ ^val_add_caus^
^3493^ ^3493_refgroup^ ^607^ ^verb_base^
^3494^ ^3494_refgroup^ ^608^ ^verb_base^
^3503^ ^3503_refgroup^ ^609^ ^verb_base^
^3509^ ^3509_refgroup^ ^610^ ^verb_base^
^3509^ ^3509_refgroup^ ^611^ ^val_add_applic^
^3510^ ^3510_refgroup^ ^612^ ^val_add_caus^
^3513^ ^3513_refgroup^ ^613^ ^val_add_caus^
^3517^ ^3517_refgroup^ ^614^ ^val_add_caus^
^3532^ ^3532_refgroup^ ^615^ ^minus_tla^
^3542^ ^3542_refgroup^ ^616^ ^Stat^
^3545^ ^3545_refgroup^ ^617^ ^verb_base^
^3547^ ^3547_refgroup^ ^618^ ^val_add_caus^
^3581^ ^3581_refgroup^ ^619^ ^val_add_applic^
^3581^ ^3581_refgroup^ ^620^ ^val_add_caus^
^3587^ ^3587_refgroup^ ^621^ ^val_reduce1^
^3587^ ^3587_refgroup^ ^622^ ^ni_base^
^3600^ ^3600_refgroup^ ^623^ ^val_add_applic^
^3600^ ^3600_refgroup^ ^624^ ^val_reduce1^
^3613^ ^3613_refgroup^ ^625^ ^verb_base^
^3628^ ^3628_refgroup^ ^626^ ^minus_tla^
^3630^ ^3630_refgroup^ ^627^ ^verb_base^
^3631^ ^3631_refgroup^ ^628^ ^verb_base^
^3632^ ^3632_refgroup^ ^629^ ^val_add_caus^
^3634^ ^3634_refgroup^ ^630^ ^val_add_caus^
^3637^ ^3637_refgroup^ ^631^ ^val_add_applic^
^3637^ ^3637_refgroup^ ^632^ ^val_reduce1^
^3639^ ^3639_refgroup^ ^633^ ^val_add_applic^
^3639^ ^3639_refgroup^ ^634^ ^val_reduce1^
^3640^ ^3640_refgroup^ ^635^ ^frequent^
^3643^ ^3643_refgroup^ ^636^ ^val_reduce0^
^3643^ ^3643_refgroup^ ^637^ ^ni_base^
^3664^ ^3664_refgroup^ ^638^ ^minus_tla^
^3678^ ^3678_refgroup^ ^639^ ^verb_base^
^3679^ ^3679_refgroup^ ^640^ ^verb_base^
^3688^ ^3688_refgroup^ ^641^ ^ni_base^
^3691^ ^3691_refgroup^ ^642^ ^val_reduce0^
^3703^ ^3703_refgroup^ ^643^ ^verb_base^
^3720^ ^3720_refgroup^ ^644^ ^minus_tla^
^3730^ ^3730_refgroup^ ^645^ ^val_add_applic^
^3730^ ^3730_refgroup^ ^646^ ^verb_base^
^3741^ ^3741_refgroup^ ^647^ ^val_add_applic^
^3783^ ^3783_refgroup^ ^648^ ^verb_base^
^3786^ ^3786_refgroup^ ^649^ ^verb_base^
^3789^ ^3789_refgroup^ ^650^ ^ni_base^
^3799^ ^3799_refgroup^ ^651^ ^verb_base^
^3803^ ^3803_refgroup^ ^652^ ^val_add_applic^
^3811^ ^3811_refgroup^ ^653^ ^val_add_applic^
^3813^ ^3813_refgroup^ ^654^ ^val_add_caus^
^3817^ ^3817_refgroup^ ^655^ ^val_add_applic^
^3817^ ^3817_refgroup^ ^656^ ^val_reduce1^
^3819^ ^3819_refgroup^ ^657^ ^val_reduce1^
^3820^ ^3820_refgroup^ ^658^ ^minus_tla^
^3823^ ^3823_refgroup^ ^659^ ^val_add_caus^
^3828^ ^3828_refgroup^ ^660^ ^verb_base^
^3830^ ^3830_refgroup^ ^661^ ^val_add_applic^
^3835^ ^3835_refgroup^ ^662^ ^val_reduce0^
^3836^ ^3836_refgroup^ ^663^ ^val_reduce1^
^3840^ ^3840_refgroup^ ^664^ ^val_add_applic^
^3840^ ^3840_refgroup^ ^665^ ^val_add_caus^
^3846^ ^3846_refgroup^ ^666^ ^val_add_caus^
^3847^ ^3847_refgroup^ ^667^ ^val_add_applic^
^3853^ ^3853_refgroup^ ^668^ ^verb_base^
^3854^ ^3854_refgroup^ ^669^ ^val_add_caus^
^3854^ ^3854_refgroup^ ^670^ ^val_add_applic^
^3864^ ^3864_refgroup^ ^671^ ^ni_base^
^3878^ ^3878_refgroup^ ^672^ ^minus_tla^
^3881^ ^3881_refgroup^ ^673^ ^verb_base^
^3891^ ^3891_refgroup^ ^674^ ^verb_base^
^3892^ ^3892_refgroup^ ^675^ ^val_add_applic^
^3901^ ^3901_refgroup^ ^676^ ^val_add_applic^
^3901^ ^3901_refgroup^ ^677^ ^val_add_caus^
^3916^ ^3916_refgroup^ ^678^ ^val_add_applic^
^3916^ ^3916_refgroup^ ^679^ ^minus_tla^
^3919^ ^3919_refgroup^ ^680^ ^verb_base^
^3922^ ^3922_refgroup^ ^681^ ^verb_base^
^3923^ ^3923_refgroup^ ^682^ ^verb_base^
^3928^ ^3928_refgroup^ ^683^ ^val_add_applic^
^3932^ ^3932_refgroup^ ^684^ ^val_add_applic^
^3932^ ^3932_refgroup^ ^685^ ^val_add_caus^
^3945^ ^3945_refgroup^ ^686^ ^verb_base^
^3958^ ^3958_refgroup^ ^687^ ^verb_base^
^3959^ ^3959_refgroup^ ^688^ ^frequent^
^3962^ ^3962_refgroup^ ^689^ ^minus_tla^
^3963^ ^3963_refgroup^ ^690^ ^val_add_applic^
^3972^ ^3972_refgroup^ ^691^ ^verb_base^
^3972^ ^3972_refgroup^ ^692^ ^val_add_applic^
^3974^ ^3974_refgroup^ ^693^ ^verb_base^
^3978^ ^3978_refgroup^ ^694^ ^verb_base^
^3980^ ^3980_refgroup^ ^695^ ^plus_tla^
^3987^ ^3987_refgroup^ ^696^ ^verb_base^
^3987^ ^3987_refgroup^ ^697^ ^val_reduce1^
^3987^ ^3987_refgroup^ ^698^ ^val_reduce1^
^3998^ ^3998_refgroup^ ^699^ ^minus_tla^
^3999^ ^3999_refgroup^ ^700^ ^verb_base^
^4005^ ^4005_refgroup^ ^701^ ^minus_tla^
^4010^ ^4010_refgroup^ ^702^ ^verb_base^
^4013^ ^4013_refgroup^ ^703^ ^val_add_caus^
^4026^ ^4026_refgroup^ ^704^ ^val_add_caus^
^4026^ ^4026_refgroup^ ^705^ ^frequent^
^4042^ ^4042_refgroup^ ^706^ ^verb_base^
^4045^ ^4045_refgroup^ ^707^ ^verb_base^
^4047^ ^4047_refgroup^ ^708^ ^minus_tla^
^4052^ ^4052_refgroup^ ^709^ ^verb_base^
^4060^ ^4060_refgroup^ ^710^ ^val_add_applic^
^4060^ ^4060_refgroup^ ^711^ ^val_add_caus^
^4081^ ^4081_refgroup^ ^712^ ^verb_base^
^4082^ ^4082_refgroup^ ^713^ ^verb_base^
^4084^ ^4084_refgroup^ ^714^ ^verb_base^
^4087^ ^4087_refgroup^ ^715^ ^plus_tla^
^4099^ ^4099_refgroup^ ^716^ ^val_add_applic^
^4099^ ^4099_refgroup^ ^717^ ^verb_base^
^4105^ ^4105_refgroup^ ^718^ ^verb_base^
^4109^ ^4109_refgroup^ ^719^ ^verb_base^
^4115^ ^4115_refgroup^ ^720^ ^verb_base^
^4121^ ^4121_refgroup^ ^721^ ^ni_base^
^4128^ ^4128_refgroup^ ^722^ ^val_add_applic^
^4128^ ^4128_refgroup^ ^723^ ^minus_tla^
^4130^ ^4130_refgroup^ ^724^ ^verb_base^
^4155^ ^4155_refgroup^ ^725^ ^val_add_caus^
^4156^ ^4156_refgroup^ ^726^ ^plus_tla^
^4165^ ^4165_refgroup^ ^727^ ^val_add_caus^
^4165^ ^4165_refgroup^ ^728^ ^frequent^
^4167^ ^4167_refgroup^ ^729^ ^val_add_caus^
^4171^ ^4171_refgroup^ ^730^ ^ni_base^
^4172^ ^4172_refgroup^ ^731^ ^val_add_caus^
^4182^ ^4182_refgroup^ ^732^ ^verb_base^
^4190^ ^4190_refgroup^ ^733^ ^val_reduce1^
^4190^ ^4190_refgroup^ ^734^ ^val_add_caus^
^4195^ ^4195_refgroup^ ^735^ ^minus_tla^
^4196^ ^4196_refgroup^ ^736^ ^verb_base^
^4200^ ^4200_refgroup^ ^737^ ^verb_base^
^4209^ ^4209_refgroup^ ^738^ ^verb_base^
^4219^ ^4219_refgroup^ ^739^ ^ni_base^
^4233^ ^4233_refgroup^ ^740^ ^val_add_applic^
^4234^ ^4234_refgroup^ ^741^ ^val_add_caus^
^4248^ ^4248_refgroup^ ^742^ ^val_reduce1^
^4248^ ^4248_refgroup^ ^743^ ^val_add_applic^
^4260^ ^4260_refgroup^ ^744^ ^minus_tla^
^4272^ ^4272_refgroup^ ^745^ ^ni_base^
^4273^ ^4273_refgroup^ ^746^ ^val_add_caus^
^4274^ ^4274_refgroup^ ^747^ ^minus_tla^
^4277^ ^4277_refgroup^ ^748^ ^minus_tla^
^4279^ ^4279_refgroup^ ^749^ ^val_reduce2^
^4296^ ^4296_refgroup^ ^750^ ^val_reduce1^
^4305^ ^4305_refgroup^ ^751^ ^val_add_applic^
^4306^ ^4306_refgroup^ ^752^ ^val_add_caus^
^4316^ ^4316_refgroup^ ^753^ ^val_reduce1^
^4322^ ^4322_refgroup^ ^754^ ^val_add_caus^
^4322^ ^4322_refgroup^ ^755^ ^val_add_caus^
^4352^ ^4352_refgroup^ ^756^ ^plus_tla^
^4357^ ^4357_refgroup^ ^757^ ^verb_base^
^4392^ ^4392_refgroup^ ^758^ ^verb_base^
^4400^ ^4400_refgroup^ ^759^ ^val_add_applic^
^4406^ ^4406_refgroup^ ^760^ ^verb_base^
^4410^ ^4410_refgroup^ ^761^ ^minus_tla^
^4412^ ^4412_refgroup^ ^762^ ^minus_tla^
^4423^ ^4423_refgroup^ ^763^ ^frequent^
^4428^ ^4428_refgroup^ ^764^ ^verb_base^
^4429^ ^4429_refgroup^ ^765^ ^val_add_applic^
^4429^ ^4429_refgroup^ ^766^ ^val_reduce0^
^4433^ ^4433_refgroup^ ^767^ ^val_reduce1^
^4437^ ^4437_refgroup^ ^768^ ^val_add_applic^
^4464^ ^4464_refgroup^ ^769^ ^verb_base^
^4465^ ^4465_refgroup^ ^770^ ^minus_tla^
^4469^ ^4469_refgroup^ ^771^ ^val_reduce1^
^4471^ ^4471_refgroup^ ^772^ ^verb_base^
^4496^ ^4496_refgroup^ ^773^ ^ni_base^
^4523^ ^4523_refgroup^ ^774^ ^minus_tla^
^4538^ ^4538_refgroup^ ^775^ ^verb_base^
^4547^ ^4547_refgroup^ ^776^ ^verb_base^
^4553^ ^4553_refgroup^ ^777^ ^val_add_caus^
^4559^ ^4559_refgroup^ ^778^ ^minus_tla^
^4561^ ^4561_refgroup^ ^779^ ^verb_base^
^4564^ ^4564_refgroup^ ^780^ ^val_add_applic^
^4564^ ^4564_refgroup^ ^781^ ^val_add_caus^
^4568^ ^4568_refgroup^ ^782^ ^val_add_caus^
^4573^ ^4573_refgroup^ ^783^ ^verb_base^
^4575^ ^4575_refgroup^ ^784^ ^verb_base^
^4576^ ^4576_refgroup^ ^785^ ^val_add_caus^
^4579^ ^4579_refgroup^ ^786^ ^verb_base^
^4600^ ^4600_refgroup^ ^787^ ^val_add_caus^
^4605^ ^4605_refgroup^ ^788^ ^verb_base^
^4614^ ^4614_refgroup^ ^789^ ^val_add_caus^
^4620^ ^4620_refgroup^ ^790^ ^val_add_applic^
^4625^ ^4625_refgroup^ ^791^ ^val_add_caus^
^4634^ ^4634_refgroup^ ^792^ ^verb_base^
^4659^ ^4659_refgroup^ ^793^ ^val_reduce1^
^4659^ ^4659_refgroup^ ^794^ ^val_add_applic^
^4666^ ^4666_refgroup^ ^795^ ^val_add_applic^
^4673^ ^4673_refgroup^ ^796^ ^verb_base^
^4684^ ^4684_refgroup^ ^797^ ^val_add_applic^
^4684^ ^4684_refgroup^ ^798^ ^val_reduce1^
^4684^ ^4684_refgroup^ ^799^ ^verb_base^
^4685^ ^4685_refgroup^ ^800^ ^val_add_caus^
^4690^ ^4690_refgroup^ ^801^ ^verb_base^
^4695^ ^4695_refgroup^ ^802^ ^val_add_applic^
^4696^ ^4696_refgroup^ ^803^ ^plus_tla^
^4696^ ^4696_refgroup^ ^804^ ^val_add_applic^
^4697^ ^4697_refgroup^ ^805^ ^val_add_caus^
^4697^ ^4697_refgroup^ ^806^ ^val_add_applic^
^4697^ ^4697_refgroup^ ^807^ ^val_reduce1^
^4701^ ^4701_refgroup^ ^808^ ^verb_base^
^4709^ ^4709_refgroup^ ^809^ ^ni_base^
^4713^ ^4713_refgroup^ ^810^ ^val_add_applic^
^4724^ ^4724_refgroup^ ^811^ ^verb_base^
^4728^ ^4728_refgroup^ ^812^ ^val_add_caus^
^4731^ ^4731_refgroup^ ^813^ ^verb_base^
^4731^ ^4731_refgroup^ ^814^ ^val_reduce2^
^4735^ ^4735_refgroup^ ^815^ ^val_add_caus^
^4735^ ^4735_refgroup^ ^816^ ^val_reduce0^
^4740^ ^4740_refgroup^ ^817^ ^minus_tla^
^4742^ ^4742_refgroup^ ^818^ ^val_reduce1^
^4748^ ^4748_refgroup^ ^819^ ^verb_base^
^4754^ ^4754_refgroup^ ^820^ ^verb_base^
^4755^ ^4755_refgroup^ ^821^ ^verb_base^
^4756^ ^4756_refgroup^ ^822^ ^verb_base^
^4756^ ^4756_refgroup^ ^823^ ^val_reduce2^
^4764^ ^4764_refgroup^ ^824^ ^ni_base^
^4768^ ^4768_refgroup^ ^825^ ^val_add_applic^
^4773^ ^4773_refgroup^ ^826^ ^verb_base^
^4806^ ^4806_refgroup^ ^827^ ^ni_base^
^4817^ ^4817_refgroup^ ^828^ ^val_add_applic^
^4817^ ^4817_refgroup^ ^829^ ^minus_tla^
^4822^ ^4822_refgroup^ ^830^ ^val_add_applic^
^4822^ ^4822_refgroup^ ^831^ ^minus_tla^
^4840^ ^4840_refgroup^ ^832^ ^verb_base^
^4843^ ^4843_refgroup^ ^833^ ^val_add_caus^
^4843^ ^4843_refgroup^ ^834^ ^minus_tla^
^4846^ ^4846_refgroup^ ^835^ ^verb_base^
^4854^ ^4854_refgroup^ ^836^ ^verb_base^
^4856^ ^4856_refgroup^ ^837^ ^minus_tla^
^4861^ ^4861_refgroup^ ^838^ ^val_add_applic^
^4864^ ^4864_refgroup^ ^839^ ^verb_base^
^4864^ ^4864_refgroup^ ^840^ ^val_reduce1^
^4867^ ^4867_refgroup^ ^841^ ^verb_base^
^4872^ ^4872_refgroup^ ^842^ ^val_reduce1^
^4875^ ^4875_refgroup^ ^843^ ^verb_base^
^4877^ ^4877_refgroup^ ^844^ ^minus_tla^
^4880^ ^4880_refgroup^ ^845^ ^ni_base^
^4882^ ^4882_refgroup^ ^846^ ^minus_tla^
^4885^ ^4885_refgroup^ ^847^ ^verb_base^
^4886^ ^4886_refgroup^ ^848^ ^val_reduce1^
^4886^ ^4886_refgroup^ ^849^ ^verb_base^
^4907^ ^4907_refgroup^ ^850^ ^verb_base^
^4910^ ^4910_refgroup^ ^851^ ^val_add_applic^
^4917^ ^4917_refgroup^ ^852^ ^ni_base^
^4918^ ^4918_refgroup^ ^853^ ^ni_base^
^4920^ ^4920_refgroup^ ^854^ ^val_add_applic^
^4929^ ^4929_refgroup^ ^855^ ^verb_base^
^4938^ ^4938_refgroup^ ^856^ ^val_add_applic^
^4953^ ^4953_refgroup^ ^857^ ^minus_tla^
^4959^ ^4959_refgroup^ ^858^ ^verb_base^
^4969^ ^4969_refgroup^ ^859^ ^val_add_applic^
^4977^ ^4977_refgroup^ ^860^ ^minus_tla^
^4994^ ^4994_refgroup^ ^861^ ^val_add_applic^
^4995^ ^4995_refgroup^ ^862^ ^val_reduce1^
^4998^ ^4998_refgroup^ ^863^ ^val_add_caus^
^5007^ ^5007_refgroup^ ^864^ ^verb_base^
^5017^ ^5017_refgroup^ ^865^ ^val_reduce0^
^5022^ ^5022_refgroup^ ^866^ ^verb_base^
^5027^ ^5027_refgroup^ ^867^ ^val_add_caus^
^5035^ ^5035_refgroup^ ^868^ ^val_add_applic^
^5039^ ^5039_refgroup^ ^869^ ^verb_base^
^5048^ ^5048_refgroup^ ^870^ ^minus_tla^
^5049^ ^5049_refgroup^ ^871^ ^minus_tla^
^5050^ ^5050_refgroup^ ^872^ ^val_reduce0^
^5051^ ^5051_refgroup^ ^873^ ^val_add_applic^
^5051^ ^5051_refgroup^ ^874^ ^val_add_caus^
^5051^ ^5051_refgroup^ ^875^ ^val_add_caus^
^5061^ ^5061_refgroup^ ^876^ ^verb_base^
^5064^ ^5064_refgroup^ ^877^ ^verb_base^
^5077^ ^5077_refgroup^ ^878^ ^val_add_applic^
^5080^ ^5080_refgroup^ ^879^ ^val_add_applic^
^5084^ ^5084_refgroup^ ^880^ ^val_add_caus^
^5086^ ^5086_refgroup^ ^881^ ^val_add_caus^
^5086^ ^5086_refgroup^ ^882^ ^frequent^
^5087^ ^5087_refgroup^ ^883^ ^val_add_applic^
^5110^ ^5110_refgroup^ ^884^ ^verb_base^
^5111^ ^5111_refgroup^ ^885^ ^val_add_caus^
^5115^ ^5115_refgroup^ ^886^ ^verb_base^
^5118^ ^5118_refgroup^ ^887^ ^verb_base^
^5131^ ^5131_refgroup^ ^888^ ^val_add_applic^
^5131^ ^5131_refgroup^ ^889^ ^val_reduce1^
^5136^ ^5136_refgroup^ ^890^ ^val_add_applic^
^5136^ ^5136_refgroup^ ^891^ ^val_reduce1^
^5138^ ^5138_refgroup^ ^892^ ^val_add_caus^
^5138^ ^5138_refgroup^ ^893^ ^val_add_applic.caus^
^5138^ ^5138_refgroup^ ^894^ ^val_reduce0^
^5139^ ^5139_refgroup^ ^895^ ^minus_tla^
^5140^ ^5140_refgroup^ ^896^ ^val_add_applic^
^5149^ ^5149_refgroup^ ^897^ ^verb_base^
^5152^ ^5152_refgroup^ ^898^ ^val_reduce0^
^5152^ ^5152_refgroup^ ^899^ ^frequent^
^5161^ ^5161_refgroup^ ^900^ ^val_reduce1^
^5161^ ^5161_refgroup^ ^901^ ^verb_base^
^5178^ ^5178_refgroup^ ^902^ ^val_add_caus^
^5192^ ^5192_refgroup^ ^903^ ^val_reduce1^
^5192^ ^5192_refgroup^ ^904^ ^val_add_applic^
^5214^ ^5214_refgroup^ ^905^ ^minus_tla^
^5216^ ^5216_refgroup^ ^906^ ^minus_tla^
^5217^ ^5217_refgroup^ ^907^ ^verb_base^
^5224^ ^5224_refgroup^ ^908^ ^verb_base^
^5229^ ^5229_refgroup^ ^909^ ^verb_base^
^5230^ ^5230_refgroup^ ^910^ ^val_add_applic^
^5244^ ^5244_refgroup^ ^911^ ^plus_tla^
^5247^ ^5247_refgroup^ ^912^ ^val_add_caus^
^5253^ ^5253_refgroup^ ^913^ ^verb_base^
^5254^ ^5254_refgroup^ ^914^ ^verb_base^
^5257^ ^5257_refgroup^ ^915^ ^val_add_caus^
^5270^ ^5270_refgroup^ ^916^ ^ni_base^
^5282^ ^5282_refgroup^ ^917^ ^val_add_caus^
^5285^ ^5285_refgroup^ ^918^ ^ni_base^
^5286^ ^5286_refgroup^ ^919^ ^val_add_caus^
^5289^ ^5289_refgroup^ ^920^ ^verb_base^
^5294^ ^5294_refgroup^ ^921^ ^verb_base^
^5294^ ^5294_refgroup^ ^922^ ^val_add_applic^
^5301^ ^5301_refgroup^ ^923^ ^verb_base^
^5308^ ^5308_refgroup^ ^924^ ^frequent^
^5315^ ^5315_refgroup^ ^925^ ^val_add_caus^
^5315^ ^5315_refgroup^ ^926^ ^val_add_applic^
^5315^ ^5315_refgroup^ ^927^ ^minus_tla^
^5320^ ^5320_refgroup^ ^928^ ^verb_base^
^5324^ ^5324_refgroup^ ^929^ ^val_reduce0^
^5326^ ^5326_refgroup^ ^930^ ^val_add_applic^
^5326^ ^5326_refgroup^ ^931^ ^val_add_caus^
^5334^ ^5334_refgroup^ ^932^ ^verb_base^
^5340^ ^5340_refgroup^ ^933^ ^verb_base^
^5349^ ^5349_refgroup^ ^934^ ^val_add_caus^
^5352^ ^5352_refgroup^ ^935^ ^minus_tla^
^5379^ ^5379_refgroup^ ^936^ ^verb_base^
^5422^ ^5422_refgroup^ ^937^ ^verb_base^
^5423^ ^5423_refgroup^ ^938^ ^val_add_applic^
^5425^ ^5425_refgroup^ ^939^ ^verb_base^
^5431^ ^5431_refgroup^ ^940^ ^ni_base^
^5433^ ^5433_refgroup^ ^941^ ^val_reduce2^
^5440^ ^5440_refgroup^ ^942^ ^minus_tla^
^5456^ ^5456_refgroup^ ^943^ ^verb_base^
^5456^ ^5456_refgroup^ ^944^ ^val_reduce1^
^5460^ ^5460_refgroup^ ^945^ ^verb_base^
^5476^ ^5476_refgroup^ ^946^ ^val_add_caus^
^5480^ ^5480_refgroup^ ^947^ ^frequent^
^5484^ ^5484_refgroup^ ^948^ ^val_add_caus^
^5490^ ^5490_refgroup^ ^949^ ^val_add_applic^
^5493^ ^5493_refgroup^ ^950^ ^val_add_applic^
^5494^ ^5494_refgroup^ ^951^ ^minus_tla^
^5499^ ^5499_refgroup^ ^952^ ^val_reduce1^
^5508^ ^5508_refgroup^ ^953^ ^verb_base^
^5511^ ^5511_refgroup^ ^954^ ^verb_base^
^5512^ ^5512_refgroup^ ^955^ ^verb_base^
^5520^ ^5520_refgroup^ ^956^ ^val_add_caus^
^5524^ ^5524_refgroup^ ^957^ ^minus_tla^
^5528^ ^5528_refgroup^ ^958^ ^val_add_caus^
^5540^ ^5540_refgroup^ ^959^ ^verb_base^
^5542^ ^5542_refgroup^ ^960^ ^val_add_applic^
^5542^ ^5542_refgroup^ ^961^ ^minus_tla^
^5544^ ^5544_refgroup^ ^962^ ^val_add_applic^
^5544^ ^5544_refgroup^ ^963^ ^val_reduce1^
^5553^ ^5553_refgroup^ ^964^ ^val_reduce1^
^5554^ ^5554_refgroup^ ^965^ ^val_add_caus^
^5563^ ^5563_refgroup^ ^966^ ^verb_base^
^5572^ ^5572_refgroup^ ^967^ ^verb_base^
^5595^ ^5595_refgroup^ ^968^ ^val_add_applic^
^5598^ ^5598_refgroup^ ^969^ ^val_add_applic^
^5598^ ^5598_refgroup^ ^970^ ^val_reduce1^
^5606^ ^5606_refgroup^ ^971^ ^verb_base^
^5608^ ^5608_refgroup^ ^972^ ^val_add_caus^
^5612^ ^5612_refgroup^ ^973^ ^verb_base^
^5636^ ^5636_refgroup^ ^974^ ^val_add_applic^
^5654^ ^5654_refgroup^ ^975^ ^minus_tla^
^5662^ ^5662_refgroup^ ^976^ ^val_add_caus^
^5672^ ^5672_refgroup^ ^977^ ^verb_base^
^5684^ ^5684_refgroup^ ^978^ ^verb_base^
^5685^ ^5685_refgroup^ ^979^ ^verb_base^
^5691^ ^5691_refgroup^ ^980^ ^val_add_applic^
^5691^ ^5691_refgroup^ ^981^ ^val_reduce1^
^5691^ ^5691_refgroup^ ^982^ ^verb_base^
^5708^ ^5708_refgroup^ ^983^ ^val_add_caus^
^5708^ ^5708_refgroup^ ^984^ ^val_add_applic^
^5710^ ^5710_refgroup^ ^985^ ^val_add_applic^
^5713^ ^5713_refgroup^ ^986^ ^val_add_applic^
^5714^ ^5714_refgroup^ ^987^ ^val_add_applic^
^5718^ ^5718_refgroup^ ^988^ ^val_add_caus^
^5725^ ^5725_refgroup^ ^989^ ^val_add_applic^
^5726^ ^5726_refgroup^ ^990^ ^val_reduce2^
^5726^ ^5726_refgroup^ ^991^ ^verb_base^
^5740^ ^5740_refgroup^ ^992^ ^minus_tla^
^5741^ ^5741_refgroup^ ^993^ ^val_add_applic^
^5742^ ^5742_refgroup^ ^994^ ^frequent^
^5745^ ^5745_refgroup^ ^995^ ^verb_base^
^5747^ ^5747_refgroup^ ^996^ ^val_add_caus^
^5750^ ^5750_refgroup^ ^997^ ^ni_base^
^5755^ ^5755_refgroup^ ^998^ ^verb_base^
^5758^ ^5758_refgroup^ ^999^ ^verb_base^
^5767^ ^5767_refgroup^ ^1000^ ^ni_base^
^5771^ ^5771_refgroup^ ^1001^ ^verb_base^
^5776^ ^5776_refgroup^ ^1002^ ^val_add_applic^
^5780^ ^5780_refgroup^ ^1003^ ^val_add_applic^
^5781^ ^5781_refgroup^ ^1004^ ^plus_tla^
^5789^ ^5789_refgroup^ ^1005^ ^val_add_applic^
^5792^ ^5792_refgroup^ ^1006^ ^val_add_caus^
^5808^ ^5808_refgroup^ ^1007^ ^minus_tla^
^5809^ ^5809_refgroup^ ^1008^ ^verb_base^
^5813^ ^5813_refgroup^ ^1009^ ^val_add_caus^
^5813^ ^5813_refgroup^ ^1010^ ^val_add_applic^
^5813^ ^5813_refgroup^ ^1011^ ^val_reduce1^
^8^ ^8_refgroup^ ^1^ ^verb_base^
^10^ ^10_refgroup^ ^2^ ^verb_base^
^17^ ^17_refgroup^ ^3^ ^verb_base^
^20^ ^20_refgroup^ ^4^ ^val_add_applic^
^20^ ^20_refgroup^ ^5^ ^minus_tla^
^24^ ^24_refgroup^ ^6^ ^val_add_applic^
^27^ ^27_refgroup^ ^7^ ^val_reduce1^
^27^ ^27_refgroup^ ^8^ ^val_reduce1^
^27^ ^27_refgroup^ ^9^ ^val_add_applic^
^27^ ^27_refgroup^ ^10^ ^val_add_caus^
^29^ ^29_refgroup^ ^11^ ^val_reduce1^
^46^ ^46_refgroup^ ^12^ ^val_add_applic^
^51^ ^51_refgroup^ ^13^ ^frequent^
^62^ ^62_refgroup^ ^14^ ^val_reduce1^
^62^ ^62_refgroup^ ^15^ ^val_add_applic^
^71^ ^71_refgroup^ ^16^ ^val_add_caus^
^84^ ^84_refgroup^ ^17^ ^val_add_applic^
^103^ ^103_refgroup^ ^18^ ^val_add_applic^
^111^ ^111_refgroup^ ^19^ ^verb_base^
^114^ ^114_refgroup^ ^20^ ^val_add_applic^
^119^ ^119_refgroup^ ^21^ ^val_add_caus^
^127^ ^127_refgroup^ ^22^ ^verb_base^
^144^ ^144_refgroup^ ^23^ ^val_add_caus^
^146^ ^146_refgroup^ ^24^ ^minus_tla^
^147^ ^147_refgroup^ ^25^ ^minus_tla^
^152^ ^152_refgroup^ ^26^ ^minus_tla^
^156^ ^156_refgroup^ ^27^ ^val_add_applic^
^158^ ^158_refgroup^ ^28^ ^minus_tla^
^161^ ^161_refgroup^ ^29^ ^minus_tla^
^163^ ^163_refgroup^ ^30^ ^verb_base^
^166^ ^166_refgroup^ ^31^ ^frequent^
^167^ ^167_refgroup^ ^32^ ^verb_base^
^174^ ^174_refgroup^ ^33^ ^verb_base^
^197^ ^197_refgroup^ ^34^ ^val_add_applic^
^197^ ^197_refgroup^ ^35^ ^verb_base^
^202^ ^202_refgroup^ ^36^ ^val_reduce1^
^205^ ^205_refgroup^ ^37^ ^verb_base^
^208^ ^208_refgroup^ ^38^ ^val_add_applic^
^211^ ^211_refgroup^ ^39^ ^val_reduce1^
^214^ ^214_refgroup^ ^40^ ^val_add_applic^
^228^ ^228_refgroup^ ^41^ ^ni_base^
^231^ ^231_refgroup^ ^42^ ^verb_base^
^234^ ^234_refgroup^ ^43^ ^val_add_applic^
^247^ ^247_refgroup^ ^44^ ^val_add_applic^
^247^ ^247_refgroup^ ^45^ ^verb_base^
^249^ ^249_refgroup^ ^46^ ^minus_tla^
^252^ ^252_refgroup^ ^47^ ^val_add_caus^
^266^ ^266_refgroup^ ^48^ ^verb_base^
^271^ ^271_refgroup^ ^49^ ^verb_base^
^273^ ^273_refgroup^ ^50^ ^verb_base^
^275^ ^275_refgroup^ ^51^ ^minus_tla^
^276^ ^276_refgroup^ ^52^ ^val_add_applic^
^284^ ^284_refgroup^ ^53^ ^val_add_applic^
^284^ ^284_refgroup^ ^54^ ^val_add_caus^
^284^ ^284_refgroup^ ^55^ ^val_reduce1^
^285^ ^285_refgroup^ ^56^ ^val_add_caus^
^286^ ^286_refgroup^ ^57^ ^val_add_caus^
^296^ ^296_refgroup^ ^58^ ^val_add_applic^
^301^ ^301_refgroup^ ^59^ ^verb_base^
^332^ ^332_refgroup^ ^60^ ^verb_base^
^350^ ^350_refgroup^ ^61^ ^verb_base^
^352^ ^352_refgroup^ ^62^ ^minus_tla^
^354^ ^354_refgroup^ ^63^ ^verb_base^
^361^ ^361_refgroup^ ^64^ ^val_add_caus^
^365^ ^365_refgroup^ ^65^ ^ni_base^
^366^ ^366_refgroup^ ^66^ ^val_reduce1^
^377^ ^377_refgroup^ ^67^ ^val_reduce1^
^381^ ^381_refgroup^ ^68^ ^verb_base^
^387^ ^387_refgroup^ ^69^ ^minus_tla^
^394^ ^394_refgroup^ ^70^ ^val_add_caus^
^401^ ^401_refgroup^ ^71^ ^verb_base^
^418^ ^418_refgroup^ ^72^ ^verb_base^
^444^ ^444_refgroup^ ^73^ ^val_add_caus^
^444^ ^444_refgroup^ ^74^ ^val_add_applic^
^449^ ^449_refgroup^ ^75^ ^val_reduce1^
^456^ ^456_refgroup^ ^76^ ^verb_base^
^471^ ^471_refgroup^ ^77^ ^val_add_applic^
^471^ ^471_refgroup^ ^78^ ^val_reduce1^
^481^ ^481_refgroup^ ^79^ ^val_add_applic^
^485^ ^485_refgroup^ ^80^ ^verb_base^
^486^ ^486_refgroup^ ^81^ ^verb_base^
^520^ ^520_refgroup^ ^82^ ^val_add_caus^
^526^ ^526_refgroup^ ^83^ ^verb_base^
^527^ ^527_refgroup^ ^84^ ^verb_base^
^529^ ^529_refgroup^ ^85^ ^minus_tla^
^534^ ^534_refgroup^ ^86^ ^verb_base^
^549^ ^549_refgroup^ ^87^ ^val_add_caus^
^551^ ^551_refgroup^ ^88^ ^val_add_applic^
^565^ ^565_refgroup^ ^89^ ^verb_base^
^565^ ^565_refgroup^ ^90^ ^val_add_applic^
^568^ ^568_refgroup^ ^91^ ^val_add_caus^
^587^ ^587_refgroup^ ^92^ ^minus_tla^
^593^ ^593_refgroup^ ^93^ ^verb_base^
^596^ ^596_refgroup^ ^94^ ^val_add_applic^
^603^ ^603_refgroup^ ^95^ ^verb_base^
^604^ ^604_refgroup^ ^96^ ^val_add_caus^
^604^ ^604_refgroup^ ^97^ ^val_reduce0^
^604^ ^604_refgroup^ ^98^ ^frequent^
^608^ ^608_refgroup^ ^99^ ^val_add_caus^
^608^ ^608_refgroup^ ^100^ ^val_add_applic^
^608^ ^608_refgroup^ ^101^ ^val_reduce1^
^610^ ^610_refgroup^ ^102^ ^verb_base^
^620^ ^620_refgroup^ ^103^ ^val_add_caus^
^620^ ^620_refgroup^ ^104^ ^minus_tla^
^627^ ^627_refgroup^ ^105^ ^minus_tla^
^630^ ^630_refgroup^ ^106^ ^verb_base^
^633^ ^633_refgroup^ ^107^ ^val_add_caus^
^639^ ^639_refgroup^ ^108^ ^verb_base^
^641^ ^641_refgroup^ ^109^ ^verb_base^
^643^ ^643_refgroup^ ^110^ ^frequent^
^653^ ^653_refgroup^ ^111^ ^verb_base^
^661^ ^661_refgroup^ ^112^ ^val_add_caus^
^662^ ^662_refgroup^ ^113^ ^minus_tla^
^669^ ^669_refgroup^ ^114^ ^val_add_caus^
^683^ ^683_refgroup^ ^115^ ^ni_base^
^687^ ^687_refgroup^ ^116^ ^val_add_applic^
^691^ ^691_refgroup^ ^117^ ^val_add_caus^
^698^ ^698_refgroup^ ^118^ ^verb_base^
^704^ ^704_refgroup^ ^119^ ^verb_base^
^716^ ^716_refgroup^ ^120^ ^val_reduce1^
^719^ ^719_refgroup^ ^121^ ^val_add_caus^
^725^ ^725_refgroup^ ^122^ ^val_reduce1^
^730^ ^730_refgroup^ ^123^ ^val_add_applic^
^731^ ^731_refgroup^ ^124^ ^verb_base^
^754^ ^754_refgroup^ ^125^ ^val_add_applic^
^774^ ^774_refgroup^ ^126^ ^verb_base^
^780^ ^780_refgroup^ ^127^ ^val_add_applic^
^787^ ^787_refgroup^ ^128^ ^verb_base^
^797^ ^797_refgroup^ ^129^ ^val_add_applic^
^799^ ^799_refgroup^ ^130^ ^val_add_caus^
^815^ ^815_refgroup^ ^131^ ^verb_base^
^822^ ^822_refgroup^ ^132^ ^val_add_caus^
^822^ ^822_refgroup^ ^133^ ^val_add_applic^
^835^ ^835_refgroup^ ^134^ ^verb_base^
^836^ ^836_refgroup^ ^135^ ^minus_tla^
^846^ ^846_refgroup^ ^136^ ^verb_base^
^852^ ^852_refgroup^ ^137^ ^verb_base^
^858^ ^858_refgroup^ ^138^ ^minus_tla^
^864^ ^864_refgroup^ ^139^ ^val_add_applic^
^877^ ^877_refgroup^ ^140^ ^verb_base^
^879^ ^879_refgroup^ ^141^ ^val_reduce1^
^879^ ^879_refgroup^ ^142^ ^verb_base^
^925^ ^925_refgroup^ ^143^ ^minus_tla^
^942^ ^942_refgroup^ ^144^ ^frequent^
^961^ ^961_refgroup^ ^145^ ^val_add_applic^
^974^ ^974_refgroup^ ^146^ ^verb_base^
^975^ ^975_refgroup^ ^147^ ^val_reduce1^
^975^ ^975_refgroup^ ^148^ ^val_reduce1^
^975^ ^975_refgroup^ ^149^ ^verb_base^
^981^ ^981_refgroup^ ^150^ ^verb_base^
^985^ ^985_refgroup^ ^151^ ^verb_base^
^1014^ ^1014_refgroup^ ^152^ ^ni_base^
^1018^ ^1018_refgroup^ ^153^ ^verb_base^
^1027^ ^1027_refgroup^ ^154^ ^val_add_applic^
^1029^ ^1029_refgroup^ ^155^ ^ni_base^
^1034^ ^1034_refgroup^ ^156^ ^val_add_applic^
^1038^ ^1038_refgroup^ ^157^ ^minus_tla^
^1045^ ^1045_refgroup^ ^158^ ^verb_base^
^1052^ ^1052_refgroup^ ^159^ ^ni_base^
^1072^ ^1072_refgroup^ ^160^ ^verb_base^
^1082^ ^1082_refgroup^ ^161^ ^minus_tla^
^1089^ ^1089_refgroup^ ^162^ ^val_reduce1^
^1089^ ^1089_refgroup^ ^163^ ^ni_base^
^1098^ ^1098_refgroup^ ^164^ ^verb_base^
^1108^ ^1108_refgroup^ ^165^ ^val_add_applic^
^1110^ ^1110_refgroup^ ^166^ ^verb_base^
^1110^ ^1110_refgroup^ ^167^ ^val_reduce1^
^1115^ ^1115_refgroup^ ^168^ ^val_add_applic^
^1128^ ^1128_refgroup^ ^169^ ^val_add_caus^
^1141^ ^1141_refgroup^ ^170^ ^val_add_applic^
^1161^ ^1161_refgroup^ ^171^ ^val_add_caus^
^1168^ ^1168_refgroup^ ^172^ ^verb_base^
^1172^ ^1172_refgroup^ ^173^ ^val_add_caus^
^1176^ ^1176_refgroup^ ^174^ ^ni_base^
^1180^ ^1180_refgroup^ ^175^ ^verb_base^
^1183^ ^1183_refgroup^ ^176^ ^minus_tla^
^1188^ ^1188_refgroup^ ^177^ ^verb_base^
^1190^ ^1190_refgroup^ ^178^ ^val_add_caus^
^1203^ ^1203_refgroup^ ^179^ ^frequent^
^1213^ ^1213_refgroup^ ^180^ ^verb_base^
^1218^ ^1218_refgroup^ ^181^ ^val_reduce1^
^1229^ ^1229_refgroup^ ^182^ ^verb_base^
^1239^ ^1239_refgroup^ ^183^ ^val_add_caus^
^1241^ ^1241_refgroup^ ^184^ ^val_add_caus^
^1242^ ^1242_refgroup^ ^185^ ^val_add_applic^
^1242^ ^1242_refgroup^ ^186^ ^val_reduce1^
^1245^ ^1245_refgroup^ ^187^ ^val_add_caus^
^1251^ ^1251_refgroup^ ^188^ ^val_reduce1^
^1276^ ^1276_refgroup^ ^189^ ^val_add_caus^
^1280^ ^1280_refgroup^ ^190^ ^val_add_applic^
^1286^ ^1286_refgroup^ ^191^ ^val_add_caus^
^1288^ ^1288_refgroup^ ^192^ ^verb_base^
^1294^ ^1294_refgroup^ ^193^ ^verb_base^
^1295^ ^1295_refgroup^ ^194^ ^verb_base^
^1297^ ^1297_refgroup^ ^195^ ^verb_base^
^1299^ ^1299_refgroup^ ^196^ ^val_add_applic^
^1311^ ^1311_refgroup^ ^197^ ^verb_base^
^1331^ ^1331_refgroup^ ^198^ ^verb_base^
^1336^ ^1336_refgroup^ ^199^ ^val_add_caus^
^1337^ ^1337_refgroup^ ^200^ ^val_add_caus^
^1339^ ^1339_refgroup^ ^201^ ^verb_base^
^1363^ ^1363_refgroup^ ^202^ ^val_reduce1^
^1364^ ^1364_refgroup^ ^203^ ^verb_base^
^1366^ ^1366_refgroup^ ^204^ ^verb_base^
^1378^ ^1378_refgroup^ ^205^ ^verb_base^
^1381^ ^1381_refgroup^ ^206^ ^minus_tla^
^1384^ ^1384_refgroup^ ^207^ ^verb_base^
^1392^ ^1392_refgroup^ ^208^ ^verb_base^
^1398^ ^1398_refgroup^ ^209^ ^verb_base^
^1400^ ^1400_refgroup^ ^210^ ^val_reduce1^
^1401^ ^1401_refgroup^ ^211^ ^verb_base^
^1401^ ^1401_refgroup^ ^212^ ^minus_tla^
^1403^ ^1403_refgroup^ ^213^ ^val_add_applic^
^1412^ ^1412_refgroup^ ^214^ ^verb_base^
^1419^ ^1419_refgroup^ ^215^ ^verb_base^
^1436^ ^1436_refgroup^ ^216^ ^verb_base^
^1442^ ^1442_refgroup^ ^217^ ^val_reduce1^
^1444^ ^1444_refgroup^ ^218^ ^ni_base^
^1452^ ^1452_refgroup^ ^219^ ^verb_base^
^1455^ ^1455_refgroup^ ^220^ ^val_add_caus^
^1455^ ^1455_refgroup^ ^221^ ^minus_tla^
^1457^ ^1457_refgroup^ ^222^ ^val_reduce0^
^1457^ ^1457_refgroup^ ^223^ ^frequent^
^1459^ ^1459_refgroup^ ^224^ ^verb_base^
^1467^ ^1467_refgroup^ ^225^ ^verb_base^
^1475^ ^1475_refgroup^ ^226^ ^verb_base^
^1489^ ^1489_refgroup^ ^227^ ^verb_base^
^1502^ ^1502_refgroup^ ^228^ ^val_add_caus^
^1529^ ^1529_refgroup^ ^229^ ^val_add_applic^
^1529^ ^1529_refgroup^ ^230^ ^val_add_caus^
^1529^ ^1529_refgroup^ ^231^ ^val_reduce0^
^1529^ ^1529_refgroup^ ^232^ ^val_reduce0^
^1533^ ^1533_refgroup^ ^233^ ^val_add_caus^
^1535^ ^1535_refgroup^ ^234^ ^val_add_applic^
^1542^ ^1542_refgroup^ ^235^ ^val_add_caus^
^1542^ ^1542_refgroup^ ^236^ ^minus_tla^
^1553^ ^1553_refgroup^ ^237^ ^minus_tla^
^1554^ ^1554_refgroup^ ^238^ ^val_add_caus^
^1569^ ^1569_refgroup^ ^239^ ^val_add_caus^
^1569^ ^1569_refgroup^ ^240^ ^minus_tla^
^1571^ ^1571_refgroup^ ^241^ ^val_reduce1^
^1573^ ^1573_refgroup^ ^242^ ^verb_base^
^1581^ ^1581_refgroup^ ^243^ ^val_reduce2^
^1581^ ^1581_refgroup^ ^244^ ^verb_base^
^1591^ ^1591_refgroup^ ^245^ ^verb_base^
^1604^ ^1604_refgroup^ ^246^ ^verb_base^
^1624^ ^1624_refgroup^ ^247^ ^verb_base^
^1628^ ^1628_refgroup^ ^248^ ^verb_base^
^1632^ ^1632_refgroup^ ^249^ ^val_add_applic^
^1632^ ^1632_refgroup^ ^250^ ^val_add_caus^
^1635^ ^1635_refgroup^ ^251^ ^frequent^
^1640^ ^1640_refgroup^ ^252^ ^val_reduce1^
^1642^ ^1642_refgroup^ ^253^ ^minus_tla^
^1652^ ^1652_refgroup^ ^254^ ^verb_base^
^1660^ ^1660_refgroup^ ^255^ ^val_reduce1^
^1664^ ^1664_refgroup^ ^256^ ^val_add_applic^
^1668^ ^1668_refgroup^ ^257^ ^val_add_caus^
^1673^ ^1673_refgroup^ ^258^ ^verb_base^
^1675^ ^1675_refgroup^ ^259^ ^val_add_caus^
^1675^ ^1675_refgroup^ ^260^ ^val_add_applic^
^1679^ ^1679_refgroup^ ^261^ ^val_add_caus^
^1683^ ^1683_refgroup^ ^262^ ^val_add_caus^
^1684^ ^1684_refgroup^ ^263^ ^val_add_caus^
^1689^ ^1689_refgroup^ ^264^ ^minus_tla^
^1694^ ^1694_refgroup^ ^265^ ^val_add_caus^
^1695^ ^1695_refgroup^ ^266^ ^verb_base^
^1703^ ^1703_refgroup^ ^267^ ^val_add_applic^
^1705^ ^1705_refgroup^ ^268^ ^val_add_applic^
^1706^ ^1706_refgroup^ ^269^ ^val_add_caus^
^1706^ ^1706_refgroup^ ^270^ ^val_reduce0^
^1710^ ^1710_refgroup^ ^271^ ^val_reduce2^
^1710^ ^1710_refgroup^ ^272^ ^verb_base^
^1720^ ^1720_refgroup^ ^273^ ^minus_tla^
^1721^ ^1721_refgroup^ ^274^ ^minus_tla^
^1729^ ^1729_refgroup^ ^275^ ^verb_base^
^1747^ ^1747_refgroup^ ^276^ ^verb_base^
^1752^ ^1752_refgroup^ ^277^ ^verb_base^
^1758^ ^1758_refgroup^ ^278^ ^val_reduce0^
^1758^ ^1758_refgroup^ ^279^ ^val_add_caus^
^1765^ ^1765_refgroup^ ^280^ ^val_reduce0^
^1766^ ^1766_refgroup^ ^281^ ^minus_tla^
^1768^ ^1768_refgroup^ ^282^ ^val_add_applic^
^1785^ ^1785_refgroup^ ^283^ ^val_add_caus^
^1795^ ^1795_refgroup^ ^284^ ^val_add_applic^
^1795^ ^1795_refgroup^ ^285^ ^val_add_caus^
^1795^ ^1795_refgroup^ ^286^ ^val_reduce0^
^1798^ ^1798_refgroup^ ^287^ ^verb_base^
^1800^ ^1800_refgroup^ ^288^ ^verb_base^
^1813^ ^1813_refgroup^ ^289^ ^val_add_applic^
^1815^ ^1815_refgroup^ ^290^ ^minus_tla^
^1824^ ^1824_refgroup^ ^291^ ^val_add_caus^
^1824^ ^1824_refgroup^ ^292^ ^val_reduce1^
^1829^ ^1829_refgroup^ ^293^ ^minus_tla^
^1835^ ^1835_refgroup^ ^294^ ^val_reduce1^
^1837^ ^1837_refgroup^ ^295^ ^minus_tla^
^1841^ ^1841_refgroup^ ^296^ ^val_add_applic^
^1851^ ^1851_refgroup^ ^297^ ^val_reduce1^
^1855^ ^1855_refgroup^ ^298^ ^val_add_caus^
^1858^ ^1858_refgroup^ ^299^ ^verb_base^
^1865^ ^1865_refgroup^ ^300^ ^verb_base^
^1865^ ^1865_refgroup^ ^301^ ^minus_tla^
^1867^ ^1867_refgroup^ ^302^ ^verb_base^
^1871^ ^1871_refgroup^ ^303^ ^val_add_caus^
^1874^ ^1874_refgroup^ ^304^ ^verb_base^
^1877^ ^1877_refgroup^ ^305^ ^verb_base^
^1877^ ^1877_refgroup^ ^306^ ^val_reduce2^
^1881^ ^1881_refgroup^ ^307^ ^verb_base^
^1886^ ^1886_refgroup^ ^308^ ^verb_base^
^1892^ ^1892_refgroup^ ^309^ ^val_add_applic^
^1892^ ^1892_refgroup^ ^310^ ^minus_tla^
^1893^ ^1893_refgroup^ ^311^ ^minus_tla^
^1898^ ^1898_refgroup^ ^312^ ^val_add_caus^
^1899^ ^1899_refgroup^ ^313^ ^minus_tla^
^1911^ ^1911_refgroup^ ^314^ ^verb_base^
^1915^ ^1915_refgroup^ ^315^ ^verb_base^
^1918^ ^1918_refgroup^ ^316^ ^val_add_caus^
^1919^ ^1919_refgroup^ ^317^ ^minus_tla^
^1941^ ^1941_refgroup^ ^318^ ^verb_base^
^1964^ ^1964_refgroup^ ^319^ ^ni_base^
^1971^ ^1971_refgroup^ ^320^ ^frequent^
^1978^ ^1978_refgroup^ ^321^ ^val_add_caus^
^1978^ ^1978_refgroup^ ^322^ ^val_add_applic^
^1987^ ^1987_refgroup^ ^323^ ^verb_base^
^1997^ ^1997_refgroup^ ^324^ ^val_add_caus^
^2001^ ^2001_refgroup^ ^325^ ^verb_base^
^2014^ ^2014_refgroup^ ^326^ ^val_add_applic^
^2018^ ^2018_refgroup^ ^327^ ^val_add_applic^
^2021^ ^2021_refgroup^ ^328^ ^verb_base^
^2034^ ^2034_refgroup^ ^329^ ^val_add_applic^
^2034^ ^2034_refgroup^ ^330^ ^val_add_caus^
^2034^ ^2034_refgroup^ ^331^ ^val_add_applic.caus^
^2034^ ^2034_refgroup^ ^332^ ^val_reduce1^
^2046^ ^2046_refgroup^ ^333^ ^verb_base^
^2047^ ^2047_refgroup^ ^334^ ^verb_base^
^2054^ ^2054_refgroup^ ^335^ ^verb_base^
^2054^ ^2054_refgroup^ ^336^ ^val_add_applic^
^2061^ ^2061_refgroup^ ^337^ ^verb_base^
^2086^ ^2086_refgroup^ ^338^ ^verb_base^
^2092^ ^2092_refgroup^ ^339^ ^val_add_applic^
^2101^ ^2101_refgroup^ ^340^ ^val_add_caus^
^2101^ ^2101_refgroup^ ^341^ ^val_add_applic^
^2101^ ^2101_refgroup^ ^342^ ^val_add_applic.caus^
^2109^ ^2109_refgroup^ ^343^ ^val_add_caus^
^2116^ ^2116_refgroup^ ^344^ ^val_add_caus^
^2127^ ^2127_refgroup^ ^345^ ^verb_base^
^2133^ ^2133_refgroup^ ^346^ ^val_add_caus^
^2135^ ^2135_refgroup^ ^347^ ^val_add_caus^
^2144^ ^2144_refgroup^ ^348^ ^verb_base^
^2145^ ^2145_refgroup^ ^349^ ^val_add_applic^
^2145^ ^2145_refgroup^ ^350^ ^val_reduce1^
^2147^ ^2147_refgroup^ ^351^ ^val_add_caus^
^2169^ ^2169_refgroup^ ^352^ ^val_add_applic^
^2176^ ^2176_refgroup^ ^353^ ^verb_base^
^2181^ ^2181_refgroup^ ^354^ ^verb_base^
^2190^ ^2190_refgroup^ ^355^ ^val_add_caus^
^2192^ ^2192_refgroup^ ^356^ ^verb_base^
^2194^ ^2194_refgroup^ ^357^ ^val_add_applic^
^2195^ ^2195_refgroup^ ^358^ ^verb_base^
^2195^ ^2195_refgroup^ ^359^ ^minus_tla^
^2197^ ^2197_refgroup^ ^360^ ^verb_base^
^2201^ ^2201_refgroup^ ^361^ ^val_add_applic^
^2204^ ^2204_refgroup^ ^362^ ^minus_tla^
^2216^ ^2216_refgroup^ ^363^ ^val_add_applic^
^2217^ ^2217_refgroup^ ^364^ ^verb_base^
^2220^ ^2220_refgroup^ ^365^ ^ni_base^
^2223^ ^2223_refgroup^ ^366^ ^verb_base^
^2225^ ^2225_refgroup^ ^367^ ^verb_base^
^2234^ ^2234_refgroup^ ^368^ ^minus_tla^
^2262^ ^2262_refgroup^ ^369^ ^val_add_applic^
^2262^ ^2262_refgroup^ ^370^ ^val_reduce1^
^2273^ ^2273_refgroup^ ^371^ ^val_add_caus^
^2274^ ^2274_refgroup^ ^372^ ^val_add_applic^
^2280^ ^2280_refgroup^ ^373^ ^val_reduce1^
^2281^ ^2281_refgroup^ ^374^ ^verb_base^
^2289^ ^2289_refgroup^ ^375^ ^ni_base^
^2296^ ^2296_refgroup^ ^376^ ^val_add_caus^
^2298^ ^2298_refgroup^ ^377^ ^val_add_applic^
^2299^ ^2299_refgroup^ ^378^ ^verb_base^
^2303^ ^2303_refgroup^ ^379^ ^val_add_caus^
^2303^ ^2303_refgroup^ ^380^ ^val_add_applic^
^2312^ ^2312_refgroup^ ^381^ ^verb_base^
^2315^ ^2315_refgroup^ ^382^ ^verb_base^
^2322^ ^2322_refgroup^ ^383^ ^val_add_applic^
^2330^ ^2330_refgroup^ ^384^ ^val_reduce2^
^2330^ ^2330_refgroup^ ^385^ ^verb_base^
^2335^ ^2335_refgroup^ ^386^ ^verb_base^
^2341^ ^2341_refgroup^ ^387^ ^minus_tla^
^2354^ ^2354_refgroup^ ^388^ ^val_add_caus^
^2356^ ^2356_refgroup^ ^389^ ^val_add_applic^
^2356^ ^2356_refgroup^ ^390^ ^val_reduce2^
^2362^ ^2362_refgroup^ ^391^ ^val_add_applic^
^2367^ ^2367_refgroup^ ^392^ ^val_reduce0^
^2369^ ^2369_refgroup^ ^393^ ^val_add_applic^
^2373^ ^2373_refgroup^ ^394^ ^verb_base^
^2374^ ^2374_refgroup^ ^395^ ^verb_base^
^2375^ ^2375_refgroup^ ^396^ ^val_add_applic^
^2376^ ^2376_refgroup^ ^397^ ^ni_base^
^2379^ ^2379_refgroup^ ^398^ ^val_add_caus^
^2383^ ^2383_refgroup^ ^399^ ^val_reduce2^
^2391^ ^2391_refgroup^ ^400^ ^minus_tla^
^2396^ ^2396_refgroup^ ^401^ ^verb_base^
^2396^ ^2396_refgroup^ ^402^ ^val_add_applic^
^2402^ ^2402_refgroup^ ^403^ ^val_add_caus^
^2413^ ^2413_refgroup^ ^404^ ^val_add_caus^
^2424^ ^2424_refgroup^ ^405^ ^minus_tla^
^2438^ ^2438_refgroup^ ^406^ ^val_add_applic^
^2439^ ^2439_refgroup^ ^407^ ^minus_tla^
^2440^ ^2440_refgroup^ ^408^ ^minus_tla^
^2467^ ^2467_refgroup^ ^409^ ^val_reduce2^
^2467^ ^2467_refgroup^ ^410^ ^verb_base^
^2472^ ^2472_refgroup^ ^411^ ^verb_base^
^2476^ ^2476_refgroup^ ^412^ ^verb_base^
^2482^ ^2482_refgroup^ ^413^ ^minus_tla^
^2483^ ^2483_refgroup^ ^414^ ^verb_base^
^2487^ ^2487_refgroup^ ^415^ ^val_add_applic^
^2487^ ^2487_refgroup^ ^416^ ^val_reduce1^
^2502^ ^2502_refgroup^ ^417^ ^val_add_applic^
^2507^ ^2507_refgroup^ ^418^ ^verb_base^
^2511^ ^2511_refgroup^ ^419^ ^val_add_applic^
^2511^ ^2511_refgroup^ ^420^ ^val_reduce1^
^2514^ ^2514_refgroup^ ^421^ ^minus_tla^
^2515^ ^2515_refgroup^ ^422^ ^minus_tla^
^2519^ ^2519_refgroup^ ^423^ ^verb_base^
^2526^ ^2526_refgroup^ ^424^ ^val_add_caus^
^2529^ ^2529_refgroup^ ^425^ ^val_add_caus^
^2533^ ^2533_refgroup^ ^426^ ^verb_base^
^2537^ ^2537_refgroup^ ^427^ ^minus_tla^
^2539^ ^2539_refgroup^ ^428^ ^minus_tla^
^2553^ ^2553_refgroup^ ^429^ ^ni_base^
^2557^ ^2557_refgroup^ ^430^ ^val_add_applic^
^2562^ ^2562_refgroup^ ^431^ ^verb_base^
^2580^ ^2580_refgroup^ ^432^ ^verb_base^
^2580^ ^2580_refgroup^ ^433^ ^minus_tla^
^2591^ ^2591_refgroup^ ^434^ ^val_add_applic^
^2591^ ^2591_refgroup^ ^435^ ^verb_base^
^2596^ ^2596_refgroup^ ^436^ ^val_add_applic^
^2598^ ^2598_refgroup^ ^437^ ^verb_base^
^2603^ ^2603_refgroup^ ^438^ ^ni_base^
^2611^ ^2611_refgroup^ ^439^ ^val_add_caus^
^2618^ ^2618_refgroup^ ^440^ ^verb_base^
^2620^ ^2620_refgroup^ ^441^ ^val_reduce0^
^2627^ ^2627_refgroup^ ^442^ ^val_add_applic^
^2636^ ^2636_refgroup^ ^443^ ^val_reduce1^
^2637^ ^2637_refgroup^ ^444^ ^val_add_applic^
^2648^ ^2648_refgroup^ ^445^ ^val_add_applic^
^2656^ ^2656_refgroup^ ^446^ ^val_add_applic^
^2659^ ^2659_refgroup^ ^447^ ^val_reduce1^
^2664^ ^2664_refgroup^ ^448^ ^minus_tla^
^2667^ ^2667_refgroup^ ^449^ ^ni_base^
^2672^ ^2672_refgroup^ ^450^ ^val_add_applic^
^2673^ ^2673_refgroup^ ^451^ ^minus_tla^
^2679^ ^2679_refgroup^ ^452^ ^plus_tla^
^2699^ ^2699_refgroup^ ^453^ ^ni_base^
^2703^ ^2703_refgroup^ ^454^ ^verb_base^
^2710^ ^2710_refgroup^ ^455^ ^val_add_applic^
^2713^ ^2713_refgroup^ ^456^ ^minus_tla^
^2717^ ^2717_refgroup^ ^457^ ^val_add_applic^
^2717^ ^2717_refgroup^ ^458^ ^val_reduce2^
^2717^ ^2717_refgroup^ ^459^ ^verb_base^
^2718^ ^2718_refgroup^ ^460^ ^minus_tla^
^2721^ ^2721_refgroup^ ^461^ ^verb_base^
^2730^ ^2730_refgroup^ ^462^ ^plus_tla^
^2731^ ^2731_refgroup^ ^463^ ^verb_base^
^2739^ ^2739_refgroup^ ^464^ ^val_add_applic^
^2746^ ^2746_refgroup^ ^465^ ^val_reduce1^
^2746^ ^2746_refgroup^ ^466^ ^verb_base^
^2746^ ^2746_refgroup^ ^467^ ^val_add_applic^
^2747^ ^2747_refgroup^ ^468^ ^verb_base^
^2752^ ^2752_refgroup^ ^469^ ^val_add_caus^
^2752^ ^2752_refgroup^ ^470^ ^frequent^
^2752^ ^2752_refgroup^ ^471^ ^frequent^
^2771^ ^2771_refgroup^ ^472^ ^minus_tla^
^2772^ ^2772_refgroup^ ^473^ ^verb_base^
^2779^ ^2779_refgroup^ ^474^ ^ni_base^
^2782^ ^2782_refgroup^ ^475^ ^verb_base^
^2785^ ^2785_refgroup^ ^476^ ^val_add_applic^
^2793^ ^2793_refgroup^ ^477^ ^verb_base^
^2797^ ^2797_refgroup^ ^478^ ^verb_base^
^2804^ ^2804_refgroup^ ^479^ ^verb_base^
^2804^ ^2804_refgroup^ ^480^ ^val_reduce2^
^2805^ ^2805_refgroup^ ^481^ ^val_add_caus^
^2807^ ^2807_refgroup^ ^482^ ^verb_base^
^2815^ ^2815_refgroup^ ^483^ ^val_add_caus^
^2818^ ^2818_refgroup^ ^484^ ^val_add_applic^
^2831^ ^2831_refgroup^ ^485^ ^val_add_caus^
^2833^ ^2833_refgroup^ ^486^ ^val_add_caus^
^2841^ ^2841_refgroup^ ^487^ ^val_reduce1^
^2843^ ^2843_refgroup^ ^488^ ^verb_base^
^2853^ ^2853_refgroup^ ^489^ ^verb_base^
^2853^ ^2853_refgroup^ ^490^ ^val_add_applic^
^2857^ ^2857_refgroup^ ^491^ ^minus_tla^
^2858^ ^2858_refgroup^ ^492^ ^ni_base^
^2861^ ^2861_refgroup^ ^493^ ^val_add_caus^
^2861^ ^2861_refgroup^ ^494^ ^frequent^
^2882^ ^2882_refgroup^ ^495^ ^val_add_applic^
^2884^ ^2884_refgroup^ ^496^ ^val_add_applic^
^2886^ ^2886_refgroup^ ^497^ ^verb_base^
^2888^ ^2888_refgroup^ ^498^ ^val_add_applic^
^2888^ ^2888_refgroup^ ^499^ ^minus_tla^
^2890^ ^2890_refgroup^ ^500^ ^verb_base^
^2891^ ^2891_refgroup^ ^501^ ^verb_base^
^2896^ ^2896_refgroup^ ^502^ ^verb_base^
^2899^ ^2899_refgroup^ ^503^ ^minus_tla^
^2907^ ^2907_refgroup^ ^504^ ^val_add_caus^
^2908^ ^2908_refgroup^ ^505^ ^val_add_caus^
^2914^ ^2914_refgroup^ ^506^ ^verb_base^
^2917^ ^2917_refgroup^ ^507^ ^val_add_caus^
^2917^ ^2917_refgroup^ ^508^ ^frequent^
^2929^ ^2929_refgroup^ ^509^ ^verb_base^
^2930^ ^2930_refgroup^ ^510^ ^val_add_caus^
^2935^ ^2935_refgroup^ ^511^ ^verb_base^
^2941^ ^2941_refgroup^ ^512^ ^val_reduce1^
^2951^ ^2951_refgroup^ ^513^ ^verb_base^
^2955^ ^2955_refgroup^ ^514^ ^val_add_caus^
^2955^ ^2955_refgroup^ ^515^ ^minus_tla^
^2956^ ^2956_refgroup^ ^516^ ^val_reduce2^
^2956^ ^2956_refgroup^ ^517^ ^verb_base^
^2964^ ^2964_refgroup^ ^518^ ^verb_base^
^2968^ ^2968_refgroup^ ^519^ ^val_add_caus^
^2969^ ^2969_refgroup^ ^520^ ^verb_base^
^2974^ ^2974_refgroup^ ^521^ ^val_add_caus^
^2986^ ^2986_refgroup^ ^522^ ^verb_base^
^2989^ ^2989_refgroup^ ^523^ ^val_add_caus^
^2989^ ^2989_refgroup^ ^524^ ^plus_tla^
^2993^ ^2993_refgroup^ ^525^ ^verb_base^
^3008^ ^3008_refgroup^ ^526^ ^val_add_applic^
^3010^ ^3010_refgroup^ ^527^ ^val_add_caus^
^3010^ ^3010_refgroup^ ^528^ ^minus_tla^
^3018^ ^3018_refgroup^ ^529^ ^minus_tla^
^3025^ ^3025_refgroup^ ^530^ ^val_add_caus^
^3027^ ^3027_refgroup^ ^531^ ^val_add_applic^
^3028^ ^3028_refgroup^ ^532^ ^verb_base^
^3035^ ^3035_refgroup^ ^533^ ^val_reduce1^
^3035^ ^3035_refgroup^ ^534^ ^val_add_applic^
^3039^ ^3039_refgroup^ ^535^ ^verb_base^
^3039^ ^3039_refgroup^ ^536^ ^val_reduce1^
^3040^ ^3040_refgroup^ ^537^ ^val_reduce1^
^3042^ ^3042_refgroup^ ^538^ ^val_add_applic^
^3044^ ^3044_refgroup^ ^539^ ^verb_base^
^3047^ ^3047_refgroup^ ^540^ ^val_add_caus^
^3056^ ^3056_refgroup^ ^541^ ^verb_base^
^3062^ ^3062_refgroup^ ^542^ ^verb_base^
^3074^ ^3074_refgroup^ ^543^ ^val_reduce0^
^3076^ ^3076_refgroup^ ^544^ ^verb_base^
^3088^ ^3088_refgroup^ ^545^ ^verb_base^
^3091^ ^3091_refgroup^ ^546^ ^minus_tla^
^3093^ ^3093_refgroup^ ^547^ ^verb_base^
^3108^ ^3108_refgroup^ ^548^ ^verb_base^
^3111^ ^3111_refgroup^ ^549^ ^minus_tla^
^3112^ ^3112_refgroup^ ^550^ ^val_add_applic^
^3112^ ^3112_refgroup^ ^551^ ^verb_base^
^3122^ ^3122_refgroup^ ^552^ ^val_add_applic^
^3135^ ^3135_refgroup^ ^553^ ^val_add_caus^
^3141^ ^3141_refgroup^ ^554^ ^verb_base^
^3159^ ^3159_refgroup^ ^555^ ^verb_base^
^3168^ ^3168_refgroup^ ^556^ ^verb_base^
^3169^ ^3169_refgroup^ ^557^ ^minus_tla^
^3171^ ^3171_refgroup^ ^558^ ^verb_base^
^3176^ ^3176_refgroup^ ^559^ ^minus_tla^
^3183^ ^3183_refgroup^ ^560^ ^val_add_applic^
^3183^ ^3183_refgroup^ ^561^ ^minus_tla^
^3185^ ^3185_refgroup^ ^562^ ^val_add_applic^
^3192^ ^3192_refgroup^ ^563^ ^val_add_applic^
^3204^ ^3204_refgroup^ ^564^ ^val_add_applic^
^3210^ ^3210_refgroup^ ^565^ ^minus_tla^
^3218^ ^3218_refgroup^ ^566^ ^verb_base^
^3219^ ^3219_refgroup^ ^567^ ^verb_base^
^3229^ ^3229_refgroup^ ^568^ ^verb_base^
^3232^ ^3232_refgroup^ ^569^ ^val_add_caus^
^3242^ ^3242_refgroup^ ^570^ ^val_reduce1^
^3259^ ^3259_refgroup^ ^571^ ^verb_base^
^3262^ ^3262_refgroup^ ^572^ ^val_reduce1^
^3262^ ^3262_refgroup^ ^573^ ^val_add_applic^
^3266^ ^3266_refgroup^ ^574^ ^minus_tla^
^3272^ ^3272_refgroup^ ^575^ ^val_add_caus^
^3272^ ^3272_refgroup^ ^576^ ^val_add_applic^
^3272^ ^3272_refgroup^ ^577^ ^val_reduce0^
^3279^ ^3279_refgroup^ ^578^ ^val_reduce1^
^3279^ ^3279_refgroup^ ^579^ ^verb_base^
^3308^ ^3308_refgroup^ ^580^ ^val_add_applic^
^3308^ ^3308_refgroup^ ^581^ ^val_reduce2^
^3308^ ^3308_refgroup^ ^582^ ^val_reduce2^
^3308^ ^3308_refgroup^ ^583^ ^verb_base^
^3321^ ^3321_refgroup^ ^584^ ^val_add_caus^
^3330^ ^3330_refgroup^ ^585^ ^verb_base^
^3358^ ^3358_refgroup^ ^586^ ^val_reduce1^
^3361^ ^3361_refgroup^ ^587^ ^val_reduce1^
^3366^ ^3366_refgroup^ ^588^ ^val_reduce1^
^3366^ ^3366_refgroup^ ^589^ ^frequent^
^3369^ ^3369_refgroup^ ^590^ ^val_reduce1^
^3374^ ^3374_refgroup^ ^591^ ^val_reduce1^
^3394^ ^3394_refgroup^ ^592^ ^val_add_applic^
^3397^ ^3397_refgroup^ ^593^ ^verb_base^
^3398^ ^3398_refgroup^ ^594^ ^verb_base^
^3401^ ^3401_refgroup^ ^595^ ^minus_tla^
^3409^ ^3409_refgroup^ ^596^ ^verb_base^
^3412^ ^3412_refgroup^ ^597^ ^verb_base^
^3413^ ^3413_refgroup^ ^598^ ^val_add_applic^
^3417^ ^3417_refgroup^ ^599^ ^val_add_applic^
^3424^ ^3424_refgroup^ ^600^ ^val_add_applic^
^3448^ ^3448_refgroup^ ^601^ ^val_reduce1^
^3450^ ^3450_refgroup^ ^602^ ^verb_base^
^3458^ ^3458_refgroup^ ^603^ ^verb_base^
^3478^ ^3478_refgroup^ ^604^ ^verb_base^
^3478^ ^3478_refgroup^ ^605^ ^val_add_caus^
^3479^ ^3479_refgroup^ ^606^ ^val_add_caus^
^3493^ ^3493_refgroup^ ^607^ ^verb_base^
^3494^ ^3494_refgroup^ ^608^ ^verb_base^
^3503^ ^3503_refgroup^ ^609^ ^verb_base^
^3509^ ^3509_refgroup^ ^610^ ^verb_base^
^3509^ ^3509_refgroup^ ^611^ ^val_add_applic^
^3510^ ^3510_refgroup^ ^612^ ^val_add_caus^
^3513^ ^3513_refgroup^ ^613^ ^val_add_caus^
^3517^ ^3517_refgroup^ ^614^ ^val_add_caus^
^3532^ ^3532_refgroup^ ^615^ ^minus_tla^
^3542^ ^3542_refgroup^ ^616^ ^Stat^
^3545^ ^3545_refgroup^ ^617^ ^verb_base^
^3547^ ^3547_refgroup^ ^618^ ^val_add_caus^
^3581^ ^3581_refgroup^ ^619^ ^val_add_applic^
^3581^ ^3581_refgroup^ ^620^ ^val_add_caus^
^3587^ ^3587_refgroup^ ^621^ ^val_reduce1^
^3587^ ^3587_refgroup^ ^622^ ^ni_base^
^3600^ ^3600_refgroup^ ^623^ ^val_add_applic^
^3600^ ^3600_refgroup^ ^624^ ^val_reduce1^
^3613^ ^3613_refgroup^ ^625^ ^verb_base^
^3628^ ^3628_refgroup^ ^626^ ^minus_tla^
^3630^ ^3630_refgroup^ ^627^ ^verb_base^
^3631^ ^3631_refgroup^ ^628^ ^verb_base^
^3632^ ^3632_refgroup^ ^629^ ^val_add_caus^
^3634^ ^3634_refgroup^ ^630^ ^val_add_caus^
^3637^ ^3637_refgroup^ ^631^ ^val_add_applic^
^3637^ ^3637_refgroup^ ^632^ ^val_reduce1^
^3639^ ^3639_refgroup^ ^633^ ^val_add_applic^
^3639^ ^3639_refgroup^ ^634^ ^val_reduce1^
^3640^ ^3640_refgroup^ ^635^ ^frequent^
^3643^ ^3643_refgroup^ ^636^ ^val_reduce0^
^3643^ ^3643_refgroup^ ^637^ ^ni_base^
^3664^ ^3664_refgroup^ ^638^ ^minus_tla^
^3678^ ^3678_refgroup^ ^639^ ^verb_base^
^3679^ ^3679_refgroup^ ^640^ ^verb_base^
^3688^ ^3688_refgroup^ ^641^ ^ni_base^
^3691^ ^3691_refgroup^ ^642^ ^val_reduce0^
^3703^ ^3703_refgroup^ ^643^ ^verb_base^
^3720^ ^3720_refgroup^ ^644^ ^minus_tla^
^3730^ ^3730_refgroup^ ^645^ ^val_add_applic^
^3730^ ^3730_refgroup^ ^646^ ^verb_base^
^3741^ ^3741_refgroup^ ^647^ ^val_add_applic^
^3783^ ^3783_refgroup^ ^648^ ^verb_base^
^3786^ ^3786_refgroup^ ^649^ ^verb_base^
^3789^ ^3789_refgroup^ ^650^ ^ni_base^
^3799^ ^3799_refgroup^ ^651^ ^verb_base^
^3803^ ^3803_refgroup^ ^652^ ^val_add_applic^
^3811^ ^3811_refgroup^ ^653^ ^val_add_applic^
^3813^ ^3813_refgroup^ ^654^ ^val_add_caus^
^3817^ ^3817_refgroup^ ^655^ ^val_add_applic^
^3817^ ^3817_refgroup^ ^656^ ^val_reduce1^
^3819^ ^3819_refgroup^ ^657^ ^val_reduce1^
^3820^ ^3820_refgroup^ ^658^ ^minus_tla^
^3823^ ^3823_refgroup^ ^659^ ^val_add_caus^
^3828^ ^3828_refgroup^ ^660^ ^verb_base^
^3830^ ^3830_refgroup^ ^661^ ^val_add_applic^
^3835^ ^3835_refgroup^ ^662^ ^val_reduce0^
^3836^ ^3836_refgroup^ ^663^ ^val_reduce1^
^3840^ ^3840_refgroup^ ^664^ ^val_add_applic^
^3840^ ^3840_refgroup^ ^665^ ^val_add_caus^
^3846^ ^3846_refgroup^ ^666^ ^val_add_caus^
^3847^ ^3847_refgroup^ ^667^ ^val_add_applic^
^3853^ ^3853_refgroup^ ^668^ ^verb_base^
^3854^ ^3854_refgroup^ ^669^ ^val_add_caus^
^3854^ ^3854_refgroup^ ^670^ ^val_add_applic^
^3864^ ^3864_refgroup^ ^671^ ^ni_base^
^3878^ ^3878_refgroup^ ^672^ ^minus_tla^
^3881^ ^3881_refgroup^ ^673^ ^verb_base^
^3891^ ^3891_refgroup^ ^674^ ^verb_base^
^3892^ ^3892_refgroup^ ^675^ ^val_add_applic^
^3901^ ^3901_refgroup^ ^676^ ^val_add_applic^
^3901^ ^3901_refgroup^ ^677^ ^val_add_caus^
^3916^ ^3916_refgroup^ ^678^ ^val_add_applic^
^3916^ ^3916_refgroup^ ^679^ ^minus_tla^
^3919^ ^3919_refgroup^ ^680^ ^verb_base^
^3922^ ^3922_refgroup^ ^681^ ^verb_base^
^3923^ ^3923_refgroup^ ^682^ ^verb_base^
^3928^ ^3928_refgroup^ ^683^ ^val_add_applic^
^3932^ ^3932_refgroup^ ^684^ ^val_add_applic^
^3932^ ^3932_refgroup^ ^685^ ^val_add_caus^
^3945^ ^3945_refgroup^ ^686^ ^verb_base^
^3958^ ^3958_refgroup^ ^687^ ^verb_base^
^3959^ ^3959_refgroup^ ^688^ ^frequent^
^3962^ ^3962_refgroup^ ^689^ ^minus_tla^
^3963^ ^3963_refgroup^ ^690^ ^val_add_applic^
^3972^ ^3972_refgroup^ ^691^ ^verb_base^
^3972^ ^3972_refgroup^ ^692^ ^val_add_applic^
^3974^ ^3974_refgroup^ ^693^ ^verb_base^
^3978^ ^3978_refgroup^ ^694^ ^verb_base^
^3980^ ^3980_refgroup^ ^695^ ^plus_tla^
^3987^ ^3987_refgroup^ ^696^ ^verb_base^
^3987^ ^3987_refgroup^ ^697^ ^val_reduce1^
^3987^ ^3987_refgroup^ ^698^ ^val_reduce1^
^3998^ ^3998_refgroup^ ^699^ ^minus_tla^
^3999^ ^3999_refgroup^ ^700^ ^verb_base^
^4005^ ^4005_refgroup^ ^701^ ^minus_tla^
^4010^ ^4010_refgroup^ ^702^ ^verb_base^
^4013^ ^4013_refgroup^ ^703^ ^val_add_caus^
^4026^ ^4026_refgroup^ ^704^ ^val_add_caus^
^4026^ ^4026_refgroup^ ^705^ ^frequent^
^4042^ ^4042_refgroup^ ^706^ ^verb_base^
^4045^ ^4045_refgroup^ ^707^ ^verb_base^
^4047^ ^4047_refgroup^ ^708^ ^minus_tla^
^4052^ ^4052_refgroup^ ^709^ ^verb_base^
^4060^ ^4060_refgroup^ ^710^ ^val_add_applic^
^4060^ ^4060_refgroup^ ^711^ ^val_add_caus^
^4081^ ^4081_refgroup^ ^712^ ^verb_base^
^4082^ ^4082_refgroup^ ^713^ ^verb_base^
^4084^ ^4084_refgroup^ ^714^ ^verb_base^
^4087^ ^4087_refgroup^ ^715^ ^plus_tla^
^4099^ ^4099_refgroup^ ^716^ ^val_add_applic^
^4099^ ^4099_refgroup^ ^717^ ^verb_base^
^4105^ ^4105_refgroup^ ^718^ ^verb_base^
^4109^ ^4109_refgroup^ ^719^ ^verb_base^
^4115^ ^4115_refgroup^ ^720^ ^verb_base^
^4121^ ^4121_refgroup^ ^721^ ^ni_base^
^4128^ ^4128_refgroup^ ^722^ ^val_add_applic^
^4128^ ^4128_refgroup^ ^723^ ^minus_tla^
^4130^ ^4130_refgroup^ ^724^ ^verb_base^
^4155^ ^4155_refgroup^ ^725^ ^val_add_caus^
^4156^ ^4156_refgroup^ ^726^ ^plus_tla^
^4165^ ^4165_refgroup^ ^727^ ^val_add_caus^
^4165^ ^4165_refgroup^ ^728^ ^frequent^
^4167^ ^4167_refgroup^ ^729^ ^val_add_caus^
^4171^ ^4171_refgroup^ ^730^ ^ni_base^
^4172^ ^4172_refgroup^ ^731^ ^val_add_caus^
^4182^ ^4182_refgroup^ ^732^ ^verb_base^
^4190^ ^4190_refgroup^ ^733^ ^val_reduce1^
^4190^ ^4190_refgroup^ ^734^ ^val_add_caus^
^4195^ ^4195_refgroup^ ^735^ ^minus_tla^
^4196^ ^4196_refgroup^ ^736^ ^verb_base^
^4200^ ^4200_refgroup^ ^737^ ^verb_base^
^4209^ ^4209_refgroup^ ^738^ ^verb_base^
^4219^ ^4219_refgroup^ ^739^ ^ni_base^
^4233^ ^4233_refgroup^ ^740^ ^val_add_applic^
^4234^ ^4234_refgroup^ ^741^ ^val_add_caus^
^4248^ ^4248_refgroup^ ^742^ ^val_reduce1^
^4248^ ^4248_refgroup^ ^743^ ^val_add_applic^
^4260^ ^4260_refgroup^ ^744^ ^minus_tla^
^4272^ ^4272_refgroup^ ^745^ ^ni_base^
^4273^ ^4273_refgroup^ ^746^ ^val_add_caus^
^4274^ ^4274_refgroup^ ^747^ ^minus_tla^
^4277^ ^4277_refgroup^ ^748^ ^minus_tla^
^4279^ ^4279_refgroup^ ^749^ ^val_reduce2^
^4296^ ^4296_refgroup^ ^750^ ^val_reduce1^
^4305^ ^4305_refgroup^ ^751^ ^val_add_applic^
^4306^ ^4306_refgroup^ ^752^ ^val_add_caus^
^4316^ ^4316_refgroup^ ^753^ ^val_reduce1^
^4322^ ^4322_refgroup^ ^754^ ^val_add_caus^
^4322^ ^4322_refgroup^ ^755^ ^val_add_caus^
^4352^ ^4352_refgroup^ ^756^ ^plus_tla^
^4357^ ^4357_refgroup^ ^757^ ^verb_base^
^4392^ ^4392_refgroup^ ^758^ ^verb_base^
^4400^ ^4400_refgroup^ ^759^ ^val_add_applic^
^4406^ ^4406_refgroup^ ^760^ ^verb_base^
^4410^ ^4410_refgroup^ ^761^ ^minus_tla^
^4412^ ^4412_refgroup^ ^762^ ^minus_tla^
^4423^ ^4423_refgroup^ ^763^ ^frequent^
^4428^ ^4428_refgroup^ ^764^ ^verb_base^
^4429^ ^4429_refgroup^ ^765^ ^val_add_applic^
^4429^ ^4429_refgroup^ ^766^ ^val_reduce0^
^4433^ ^4433_refgroup^ ^767^ ^val_reduce1^
^4437^ ^4437_refgroup^ ^768^ ^val_add_applic^
^4464^ ^4464_refgroup^ ^769^ ^verb_base^
^4465^ ^4465_refgroup^ ^770^ ^minus_tla^
^4469^ ^4469_refgroup^ ^771^ ^val_reduce1^
^4471^ ^4471_refgroup^ ^772^ ^verb_base^
^4496^ ^4496_refgroup^ ^773^ ^ni_base^
^4523^ ^4523_refgroup^ ^774^ ^minus_tla^
^4538^ ^4538_refgroup^ ^775^ ^verb_base^
^4547^ ^4547_refgroup^ ^776^ ^verb_base^
^4553^ ^4553_refgroup^ ^777^ ^val_add_caus^
^4559^ ^4559_refgroup^ ^778^ ^minus_tla^
^4561^ ^4561_refgroup^ ^779^ ^verb_base^
^4564^ ^4564_refgroup^ ^780^ ^val_add_applic^
^4564^ ^4564_refgroup^ ^781^ ^val_add_caus^
^4568^ ^4568_refgroup^ ^782^ ^val_add_caus^
^4573^ ^4573_refgroup^ ^783^ ^verb_base^
^4575^ ^4575_refgroup^ ^784^ ^verb_base^
^4576^ ^4576_refgroup^ ^785^ ^val_add_caus^
^4579^ ^4579_refgroup^ ^786^ ^verb_base^
^4600^ ^4600_refgroup^ ^787^ ^val_add_caus^
^4605^ ^4605_refgroup^ ^788^ ^verb_base^
^4614^ ^4614_refgroup^ ^789^ ^val_add_caus^
^4620^ ^4620_refgroup^ ^790^ ^val_add_applic^
^4625^ ^4625_refgroup^ ^791^ ^val_add_caus^
^4634^ ^4634_refgroup^ ^792^ ^verb_base^
^4659^ ^4659_refgroup^ ^793^ ^val_reduce1^
^4659^ ^4659_refgroup^ ^794^ ^val_add_applic^
^4666^ ^4666_refgroup^ ^795^ ^val_add_applic^
^4673^ ^4673_refgroup^ ^796^ ^verb_base^
^4684^ ^4684_refgroup^ ^797^ ^val_add_applic^
^4684^ ^4684_refgroup^ ^798^ ^val_reduce1^
^4684^ ^4684_refgroup^ ^799^ ^verb_base^
^4685^ ^4685_refgroup^ ^800^ ^val_add_caus^
^4690^ ^4690_refgroup^ ^801^ ^verb_base^
^4695^ ^4695_refgroup^ ^802^ ^val_add_applic^
^4696^ ^4696_refgroup^ ^803^ ^plus_tla^
^4696^ ^4696_refgroup^ ^804^ ^val_add_applic^
^4697^ ^4697_refgroup^ ^805^ ^val_add_caus^
^4697^ ^4697_refgroup^ ^806^ ^val_add_applic^
^4697^ ^4697_refgroup^ ^807^ ^val_reduce1^
^4701^ ^4701_refgroup^ ^808^ ^verb_base^
^4709^ ^4709_refgroup^ ^809^ ^ni_base^
^4713^ ^4713_refgroup^ ^810^ ^val_add_applic^
^4724^ ^4724_refgroup^ ^811^ ^verb_base^
^4728^ ^4728_refgroup^ ^812^ ^val_add_caus^
^4731^ ^4731_refgroup^ ^813^ ^verb_base^
^4731^ ^4731_refgroup^ ^814^ ^val_reduce2^
^4735^ ^4735_refgroup^ ^815^ ^val_add_caus^
^4735^ ^4735_refgroup^ ^816^ ^val_reduce0^
^4740^ ^4740_refgroup^ ^817^ ^minus_tla^
^4742^ ^4742_refgroup^ ^818^ ^val_reduce1^
^4748^ ^4748_refgroup^ ^819^ ^verb_base^
^4754^ ^4754_refgroup^ ^820^ ^verb_base^
^4755^ ^4755_refgroup^ ^821^ ^verb_base^
^4756^ ^4756_refgroup^ ^822^ ^verb_base^
^4756^ ^4756_refgroup^ ^823^ ^val_reduce2^
^4764^ ^4764_refgroup^ ^824^ ^ni_base^
^4768^ ^4768_refgroup^ ^825^ ^val_add_applic^
^4773^ ^4773_refgroup^ ^826^ ^verb_base^
^4806^ ^4806_refgroup^ ^827^ ^ni_base^
^4817^ ^4817_refgroup^ ^828^ ^val_add_applic^
^4817^ ^4817_refgroup^ ^829^ ^minus_tla^
^4822^ ^4822_refgroup^ ^830^ ^val_add_applic^
^4822^ ^4822_refgroup^ ^831^ ^minus_tla^
^4840^ ^4840_refgroup^ ^832^ ^verb_base^
^4843^ ^4843_refgroup^ ^833^ ^val_add_caus^
^4843^ ^4843_refgroup^ ^834^ ^minus_tla^
^4846^ ^4846_refgroup^ ^835^ ^verb_base^
^4854^ ^4854_refgroup^ ^836^ ^verb_base^
^4856^ ^4856_refgroup^ ^837^ ^minus_tla^
^4861^ ^4861_refgroup^ ^838^ ^val_add_applic^
^4864^ ^4864_refgroup^ ^839^ ^verb_base^
^4864^ ^4864_refgroup^ ^840^ ^val_reduce1^
^4867^ ^4867_refgroup^ ^841^ ^verb_base^
^4872^ ^4872_refgroup^ ^842^ ^val_reduce1^
^4875^ ^4875_refgroup^ ^843^ ^verb_base^
^4877^ ^4877_refgroup^ ^844^ ^minus_tla^
^4880^ ^4880_refgroup^ ^845^ ^ni_base^
^4882^ ^4882_refgroup^ ^846^ ^minus_tla^
^4885^ ^4885_refgroup^ ^847^ ^verb_base^
^4886^ ^4886_refgroup^ ^848^ ^val_reduce1^
^4886^ ^4886_refgroup^ ^849^ ^verb_base^
^4907^ ^4907_refgroup^ ^850^ ^verb_base^
^4910^ ^4910_refgroup^ ^851^ ^val_add_applic^
^4917^ ^4917_refgroup^ ^852^ ^ni_base^
^4918^ ^4918_refgroup^ ^853^ ^ni_base^
^4920^ ^4920_refgroup^ ^854^ ^val_add_applic^
^4929^ ^4929_refgroup^ ^855^ ^verb_base^
^4938^ ^4938_refgroup^ ^856^ ^val_add_applic^
^4953^ ^4953_refgroup^ ^857^ ^minus_tla^
^4959^ ^4959_refgroup^ ^858^ ^verb_base^
^4969^ ^4969_refgroup^ ^859^ ^val_add_applic^
^4977^ ^4977_refgroup^ ^860^ ^minus_tla^
^4994^ ^4994_refgroup^ ^861^ ^val_add_applic^
^4995^ ^4995_refgroup^ ^862^ ^val_reduce1^
^4998^ ^4998_refgroup^ ^863^ ^val_add_caus^
^5007^ ^5007_refgroup^ ^864^ ^verb_base^
^5017^ ^5017_refgroup^ ^865^ ^val_reduce0^
^5022^ ^5022_refgroup^ ^866^ ^verb_base^
^5027^ ^5027_refgroup^ ^867^ ^val_add_caus^
^5035^ ^5035_refgroup^ ^868^ ^val_add_applic^
^5039^ ^5039_refgroup^ ^869^ ^verb_base^
^5048^ ^5048_refgroup^ ^870^ ^minus_tla^
^5049^ ^5049_refgroup^ ^871^ ^minus_tla^
^5050^ ^5050_refgroup^ ^872^ ^val_reduce0^
^5051^ ^5051_refgroup^ ^873^ ^val_add_applic^
^5051^ ^5051_refgroup^ ^874^ ^val_add_caus^
^5051^ ^5051_refgroup^ ^875^ ^val_add_caus^
^5061^ ^5061_refgroup^ ^876^ ^verb_base^
^5064^ ^5064_refgroup^ ^877^ ^verb_base^
^5077^ ^5077_refgroup^ ^878^ ^val_add_applic^
^5080^ ^5080_refgroup^ ^879^ ^val_add_applic^
^5084^ ^5084_refgroup^ ^880^ ^val_add_caus^
^5086^ ^5086_refgroup^ ^881^ ^val_add_caus^
^5086^ ^5086_refgroup^ ^882^ ^frequent^
^5087^ ^5087_refgroup^ ^883^ ^val_add_applic^
^5110^ ^5110_refgroup^ ^884^ ^verb_base^
^5111^ ^5111_refgroup^ ^885^ ^val_add_caus^
^5115^ ^5115_refgroup^ ^886^ ^verb_base^
^5118^ ^5118_refgroup^ ^887^ ^verb_base^
^5131^ ^5131_refgroup^ ^888^ ^val_add_applic^
^5131^ ^5131_refgroup^ ^889^ ^val_reduce1^
^5136^ ^5136_refgroup^ ^890^ ^val_add_applic^
^5136^ ^5136_refgroup^ ^891^ ^val_reduce1^
^5138^ ^5138_refgroup^ ^892^ ^val_add_caus^
^5138^ ^5138_refgroup^ ^893^ ^val_add_applic.caus^
^5138^ ^5138_refgroup^ ^894^ ^val_reduce0^
^5139^ ^5139_refgroup^ ^895^ ^minus_tla^
^5140^ ^5140_refgroup^ ^896^ ^val_add_applic^
^5149^ ^5149_refgroup^ ^897^ ^verb_base^
^5152^ ^5152_refgroup^ ^898^ ^val_reduce0^
^5152^ ^5152_refgroup^ ^899^ ^frequent^
^5161^ ^5161_refgroup^ ^900^ ^val_reduce1^
^5161^ ^5161_refgroup^ ^901^ ^verb_base^
^5178^ ^5178_refgroup^ ^902^ ^val_add_caus^
^5192^ ^5192_refgroup^ ^903^ ^val_reduce1^
^5192^ ^5192_refgroup^ ^904^ ^val_add_applic^
^5214^ ^5214_refgroup^ ^905^ ^minus_tla^
^5216^ ^5216_refgroup^ ^906^ ^minus_tla^
^5217^ ^5217_refgroup^ ^907^ ^verb_base^
^5224^ ^5224_refgroup^ ^908^ ^verb_base^
^5229^ ^5229_refgroup^ ^909^ ^verb_base^
^5230^ ^5230_refgroup^ ^910^ ^val_add_applic^
^5244^ ^5244_refgroup^ ^911^ ^plus_tla^
^5247^ ^5247_refgroup^ ^912^ ^val_add_caus^
^5253^ ^5253_refgroup^ ^913^ ^verb_base^
^5254^ ^5254_refgroup^ ^914^ ^verb_base^
^5257^ ^5257_refgroup^ ^915^ ^val_add_caus^
^5270^ ^5270_refgroup^ ^916^ ^ni_base^
^5282^ ^5282_refgroup^ ^917^ ^val_add_caus^
^5285^ ^5285_refgroup^ ^918^ ^ni_base^
^5286^ ^5286_refgroup^ ^919^ ^val_add_caus^
^5289^ ^5289_refgroup^ ^920^ ^verb_base^
^5294^ ^5294_refgroup^ ^921^ ^verb_base^
^5294^ ^5294_refgroup^ ^922^ ^val_add_applic^
^5301^ ^5301_refgroup^ ^923^ ^verb_base^
^5308^ ^5308_refgroup^ ^924^ ^frequent^
^5315^ ^5315_refgroup^ ^925^ ^val_add_caus^
^5315^ ^5315_refgroup^ ^926^ ^val_add_applic^
^5315^ ^5315_refgroup^ ^927^ ^minus_tla^
^5320^ ^5320_refgroup^ ^928^ ^verb_base^
^5324^ ^5324_refgroup^ ^929^ ^val_reduce0^
^5326^ ^5326_refgroup^ ^930^ ^val_add_applic^
^5326^ ^5326_refgroup^ ^931^ ^val_add_caus^
^5334^ ^5334_refgroup^ ^932^ ^verb_base^
^5340^ ^5340_refgroup^ ^933^ ^verb_base^
^5349^ ^5349_refgroup^ ^934^ ^val_add_caus^
^5352^ ^5352_refgroup^ ^935^ ^minus_tla^
^5379^ ^5379_refgroup^ ^936^ ^verb_base^
^5422^ ^5422_refgroup^ ^937^ ^verb_base^
^5423^ ^5423_refgroup^ ^938^ ^val_add_applic^
^5425^ ^5425_refgroup^ ^939^ ^verb_base^
^5431^ ^5431_refgroup^ ^940^ ^ni_base^
^5433^ ^5433_refgroup^ ^941^ ^val_reduce2^
^5440^ ^5440_refgroup^ ^942^ ^minus_tla^
^5456^ ^5456_refgroup^ ^943^ ^verb_base^
^5456^ ^5456_refgroup^ ^944^ ^val_reduce1^
^5460^ ^5460_refgroup^ ^945^ ^verb_base^
^5476^ ^5476_refgroup^ ^946^ ^val_add_caus^
^5480^ ^5480_refgroup^ ^947^ ^frequent^
^5484^ ^5484_refgroup^ ^948^ ^val_add_caus^
^5490^ ^5490_refgroup^ ^949^ ^val_add_applic^
^5493^ ^5493_refgroup^ ^950^ ^val_add_applic^
^5494^ ^5494_refgroup^ ^951^ ^minus_tla^