%------------------------------------------------------------------------------
% File : Beagle---0.9.52
% Problem : SWW478_2 : TPTP v9.0.0. Released v5.3.0.
% Transfm : none
% Format : tptp:raw
% Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% Computer : n021.cluster.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2620 v4 2.10GHz
% Memory : 8042.1875MB
% OS : Linux 3.10.0-693.el7.x86_64
% CPULimit : 300s
% WCLimit : 300s
% DateTime : Thu Apr 10 02:51:38 AM UTC 2025
% Result : Theorem 20.26s 6.71s
% Output : CNFRefutation 20.64s
% Verified :
% SZS Type : Refutation
% Derivation depth : 2
% Number of leaves : 2
% Syntax : Number of formulae : 5 ( 5 unt; 0 typ; 0 def)
% Number of atoms : 5 ( 0 equ)
% Maximal formula atoms : 1 ( 1 avg)
% Number of connectives : 2 ( 2 ~; 0 |; 0 &)
% ( 0 <=>; 0 =>; 0 <=; 0 <~>)
% Maximal formula depth : 2 ( 1 avg)
% Maximal term depth : 8 ( 2 avg)
% Number of types : 437 ( 436 usr)
% Number of type conns : 0 ( 0 >; 0 *; 0 +; 0 <<)
% Number of predicates : 2 ( 1 usr; 1 prp; 0-1 aty)
% Number of functors : 1020 (1020 usr; 173 con; 0-8 aty)
% Number of variables : 0 ( 0 !; 0 ?; 0 :)
% Comments :
%------------------------------------------------------------------------------
%$ hBOOL > wTrt > tryCatch_list_char > has_fi1183600461t_char > fAss_list_char > conf_P373316194t_char > widen_2090681816t_char > redp > fun_up965897386r_bool > fun_up958248092on_val > fun_up846528380on_val > fun_up768537841on_val > fun_up683731323on_val > fun_up638349240ion_ty > fun_up576032467ion_ty > fun_up430376729ion_ty > fun_up424764369ion_ty > fun_up421284275ion_ty > fun_up387678665r_bool > fun_up359791042ion_ty > fun_up307314898on_val > fun_up2650881on_val > fun_up252238218on_val > fun_up204312361on_val > fun_up2041264236on_val > fun_up1995148684on_val > fun_up1836969043r_bool > fun_up1686981986r_bool > fun_up160134978ion_ty > fun_up1370188258on_val > fun_up1281163108r_bool > fun_up1256311364r_bool > fun_up1250448779on_val > fun_up1177725947on_val > fun_up1149430426on_val > fun_up1114451667r_bool > fun_up106272779on_val > fAcc_list_char > eval > block_list_char > binOp_list_char > while_list_char > wf_pro755087577t_char > typeSa525116494_sconf > seq_list_char > oconf_1869808039t_char > member_nat > member_list_char > member840932460on_val > member773094996on_val > member763590124on_val > member649088532al_val > member1542417277on_val > member1417904245al_val > member1251428284t_char > map_add_nat_val > map_add_nat_ty > map_add_list_char_ty > map_ad860315085val_ty > map_ad784656511on_val > map_ad689713276val_ty > map_ad61982421on_val > map_ad564247072on_val > map_ad478808158r_bool > map_ad451392333val_ty > map_ad435015558on_val > map_ad325961431ar_val > map_ad2099161878al_val > map_ad2048931253on_val > map_ad2023008343r_bool > map_ad1982313927on_val > map_ad1877333574val_ty > map_ad1863687646r_bool > map_ad181331206on_val > map_ad1808327055al_val > map_ad172895647r_bool > map_ad1655582893r_bool > map_ad1572886776r_bool > map_ad1443463365al_val > map_ad1402016615val_ty > map_ad1263605142al_val > map_ad1209909133r_bool > map_ad1185064968ar_val > map_ad1139121712al_val > lAss_list_char > hext > hAPP_val_option_val > hAPP_val_bool > hAPP_v958864436l_bool > hAPP_v906492983on_val > hAPP_v897668472t_bool > hAPP_v852496844al_val > hAPP_v620871016l_bool > hAPP_v618097829t_bool > hAPP_v572032837l_bool > hAPP_v2145502215l_bool > hAPP_v1940296605r_bool > hAPP_v1921713543l_bool > hAPP_v1814257440r_bool > hAPP_v1775873509l_bool > hAPP_v1739888647l_bool > hAPP_v1688016564l_bool > hAPP_v1519391al_val > hAPP_v1499173912l_bool > hAPP_v1392248405l_bool > hAPP_v1285778436l_bool > hAPP_v1173428276on_val > hAPP_ty_option_ty > hAPP_nat_option_val > hAPP_nat_option_ty > hAPP_nat_bool > hAPP_n546249108on_val > hAPP_n2063106924r_bool > hAPP_list_char_bool > hAPP_l989484238l_bool > hAPP_l867549837on_val > hAPP_l80874262on_val > hAPP_l803240415l_bool > hAPP_l780727270l_bool > hAPP_l750759651l_bool > hAPP_l5978434l_bool > hAPP_l512744617ion_ty > hAPP_l465799708l_bool > hAPP_l313577550l_bool > hAPP_l287304753l_bool > hAPP_l258171825l_bool > hAPP_l256041150l_bool > hAPP_l221195696on_val > hAPP_l2138409430r_bool > hAPP_l2100324114t_char > hAPP_l208357873t_char > hAPP_l207779698on_val > hAPP_l2054741776r_bool > hAPP_l195239522on_val > hAPP_l1930116514t_bool > hAPP_l1786340417on_val > hAPP_l1778295065r_bool > hAPP_l1694815232l_bool > hAPP_l1691929923t_bool > hAPP_l1460960191t_bool > hAPP_l1369340754l_bool > hAPP_l1361600383r_bool > hAPP_l130580829l_bool > hAPP_l1294179937l_bool > hAPP_l1288616506r_bool > hAPP_l1278066386l_bool > hAPP_l1110132679l_bool > hAPP_l1064716406r_bool > hAPP_f998724171on_val > hAPP_f990102836r_bool > hAPP_f967695645l_bool > hAPP_f953970029l_bool > hAPP_f928795841al_val > hAPP_f927043595l_bool > hAPP_f926562337l_bool > hAPP_f917296015l_bool > hAPP_f910354125l_bool > hAPP_f902521097l_bool > hAPP_f902010623al_val > hAPP_f900686428on_val > hAPP_f8993627l_bool > hAPP_f881985847l_bool > hAPP_f857351829l_bool > hAPP_f854417517l_bool > hAPP_f850751421l_bool > hAPP_f838396643l_bool > hAPP_f833559503l_bool > hAPP_f828778154l_bool > hAPP_f820838927l_bool > hAPP_f802896187l_bool > hAPP_f800545225l_bool > hAPP_f781588360l_bool > hAPP_f775361359r_bool > hAPP_f774767491r_bool > hAPP_f745235151t_bool > hAPP_f737710471r_bool > hAPP_f727795555l_bool > hAPP_f702440703l_bool > hAPP_f664873147l_bool > hAPP_f653851379l_bool > hAPP_f653692369l_bool > hAPP_f647637603l_bool > hAPP_f641257349l_bool > hAPP_f639265145l_bool > hAPP_f635218277l_bool > hAPP_f630712985l_bool > hAPP_f624730965l_bool > hAPP_f61570481t_bool > hAPP_f61040418l_bool > hAPP_f603925568l_bool > hAPP_f602593190on_val > hAPP_f600512025on_val > hAPP_f592397849l_bool > hAPP_f57041375l_bool > hAPP_f555424277l_bool > hAPP_f550652027l_bool > hAPP_f546724245l_bool > hAPP_f524589473l_bool > hAPP_f522522333l_bool > hAPP_f516738477l_bool > hAPP_f507696695l_bool > hAPP_f499947099l_bool > hAPP_f497008323l_bool > hAPP_f496905015l_bool > hAPP_f489055607l_bool > hAPP_f48091733on_val > hAPP_f477896859t_bool > hAPP_f468299289l_bool > hAPP_f451093418l_bool > hAPP_f444383845l_bool > hAPP_f439412817l_bool > hAPP_f42352062l_bool > hAPP_f416690673l_bool > hAPP_f414190381l_bool > hAPP_f40221303l_bool > hAPP_f399538905l_bool > hAPP_f396019662l_bool > hAPP_f394183983on_val > hAPP_f384373191al_val > hAPP_f372404869on_val > hAPP_f365540729l_bool > hAPP_f363827556r_bool > hAPP_f348318673l_bool > hAPP_f340876351l_bool > hAPP_f338507310l_bool > hAPP_f338074126t_char > hAPP_f336522659r_bool > hAPP_f332734435r_bool > hAPP_f318082871l_bool > hAPP_f295212021l_bool > hAPP_f284805883t_bool > hAPP_f281022143l_bool > hAPP_f26812903r_bool > hAPP_f243373951t_bool > hAPP_f235082303t_bool > hAPP_f2144092865l_bool > hAPP_f2135509569l_bool > hAPP_f2134824737l_bool > hAPP_f2132060507r_bool > hAPP_f2121594859l_bool > hAPP_f21084934l_bool > hAPP_f2106552235on_val > hAPP_f2092385043l_bool > hAPP_f2061154754l_bool > hAPP_f2060496320y_bool > hAPP_f2057883639l_bool > hAPP_f2052660463l_bool > hAPP_f2051274555l_bool > hAPP_f2048668297l_bool > hAPP_f204771371l_bool > hAPP_f204556415on_val > hAPP_f2044570451l_bool > hAPP_f2039548047l_bool > hAPP_f2032347769l_bool > hAPP_f2020099865l_bool > hAPP_f2011777102l_bool > hAPP_f1996106275l_bool > hAPP_f1992719827l_bool > hAPP_f1977633121l_bool > hAPP_f1973249537r_bool > hAPP_f1965627013l_bool > hAPP_f195923946l_bool > hAPP_f1939255213on_val > hAPP_f193834907l_bool > hAPP_f1937467848l_bool > hAPP_f1936466825l_bool > hAPP_f1935223905l_bool > hAPP_f1930574389l_bool > hAPP_f192981486l_bool > hAPP_f1928083410l_bool > hAPP_f1927197746t_bool > hAPP_f1926378906on_val > hAPP_f1863694447l_bool > hAPP_f1861125939r_bool > hAPP_f1859015701l_bool > hAPP_f1857971237t_bool > hAPP_f1849790461on_val > hAPP_f1840640125on_val > hAPP_f1830813581l_bool > hAPP_f1825030711l_bool > hAPP_f1818217r_bool > hAPP_f1817800029l_bool > hAPP_f1817272339l_bool > hAPP_f181262431l_bool > hAPP_f1804599279l_bool > hAPP_f1803975093l_bool > hAPP_f1779904442al_val > hAPP_f1777594159l_bool > hAPP_f176769507l_bool > hAPP_f1760682521l_bool > hAPP_f1742268533r_bool > hAPP_f1734879897l_bool > hAPP_f1727192346on_val > hAPP_f1725502637l_bool > hAPP_f1724962851l_bool > hAPP_f1715346603l_bool > hAPP_f1712766199l_bool > hAPP_f1706021209r_bool > hAPP_f1695781849al_val > hAPP_f1685556710r_bool > hAPP_f1683814075r_bool > hAPP_f1661550453l_bool > hAPP_f1650812869r_bool > hAPP_f1633332187r_bool > hAPP_f1631509563l_bool > hAPP_f1628326017t_char > hAPP_f1623341439r_bool > hAPP_f1617787571l_bool > hAPP_f1614126606on_val > hAPP_f1608921212l_bool > hAPP_f1608665167l_bool > hAPP_f1591648613l_bool > hAPP_f1590577855l_bool > hAPP_f1589017327l_bool > hAPP_f1572306499l_bool > hAPP_f1561329507l_bool > hAPP_f1560238713l_bool > hAPP_f15579599t_char > hAPP_f1550515381l_bool > hAPP_f1534412387l_bool > hAPP_f1523875321l_bool > hAPP_f1520199827on_val > hAPP_f151189509l_bool > hAPP_f1508793015l_bool > hAPP_f1492320500l_bool > hAPP_f1491134931r_bool > hAPP_f1452292669l_bool > hAPP_f1443410953l_bool > hAPP_f1440866903l_bool > hAPP_f1438732387l_bool > hAPP_f1432609211l_bool > hAPP_f1400730257l_bool > hAPP_f1399435963l_bool > hAPP_f1371002581r_bool > hAPP_f1363667773l_bool > hAPP_f1353090281l_bool > hAPP_f1342895119l_bool > hAPP_f1341053989l_bool > hAPP_f1336948941l_bool > hAPP_f1326058377l_bool > hAPP_f1309113673on_val > hAPP_f1308714617l_bool > hAPP_f1301559543l_bool > hAPP_f1276548047l_bool > hAPP_f1271281289on_val > hAPP_f1261046903l_bool > hAPP_f1241216909l_bool > hAPP_f1233687287l_bool > hAPP_f1213370163y_bool > hAPP_f1203390411l_bool > hAPP_f1203122723t_bool > hAPP_f118445774t_bool > hAPP_f1182128795l_bool > hAPP_f1181212006al_val > hAPP_f1175813647l_bool > hAPP_f1157264807l_bool > hAPP_f1153851723l_bool > hAPP_f1150574413l_bool > hAPP_f1145600492l_bool > hAPP_f1145256474l_bool > hAPP_f1140566725l_bool > hAPP_f1138830003l_bool > hAPP_f1136596083l_bool > hAPP_f10956301l_bool > hAPP_f1090181127on_val > hAPP_f1074020887l_bool > hAPP_f1056413453r_bool > hAPP_f1050935001l_bool > hAPP_f104936073r_bool > hAPP_f1048754599r_bool > hAPP_f1046102489l_bool > hAPP_f1043869573l_bool > hAPP_f1033709212l_bool > hAPP_f1024478733l_bool > hAPP_f1008932791l_bool > hAPP_f10074679l_bool > hAPP_f1001225811y_bool > hAPP_f1000689699l_bool > hAPP_e592495499l_bool > hAPP_e500528395l_bool > hAPP_e41879804t_bool > hAPP_e2128781980r_bool > hAPP_e2019828964l_bool > hAPP_e1833980889l_bool > hAPP_e1659493427on_val > hAPP_e1610291612l_bool > hAPP_e1372786563l_bool > hAPP_e108155315on_val > hAPP_bool_bool > hAPP_b97269396l_bool > hAPP_b940299656l_bool > hAPP_b653060073l_bool > hAPP_b617716791t_bool > hAPP_b589554111l_bool > hAPP_b420404024on_val > hAPP_b1930329414l_bool > hAPP_b1505407649r_bool > hAPP_b1434170967l_bool > hAPP_b1229254591al_val > hAPP_b108134598l_bool > hAPP_P947230058t_bool > hAPP_P943837928l_bool > hAPP_P930111162on_val > hAPP_P929938951l_bool > hAPP_P929466802al_val > hAPP_P926760609r_bool > hAPP_P921015288l_bool > hAPP_P912976383l_bool > hAPP_P89750179on_val > hAPP_P87436745l_bool > hAPP_P808259092l_bool > hAPP_P789556885on_val > hAPP_P733122084l_bool > hAPP_P731332193l_bool > hAPP_P722986275on_val > hAPP_P712854582t_bool > hAPP_P698243685l_bool > hAPP_P693658169l_bool > hAPP_P678729081l_bool > hAPP_P665696794l_bool > hAPP_P604205461on_val > hAPP_P599819262r_bool > hAPP_P595502227l_bool > hAPP_P584663426r_bool > hAPP_P576112536r_bool > hAPP_P553120288l_bool > hAPP_P536162016l_bool > hAPP_P509577523on_val > hAPP_P50259953ion_ty > hAPP_P449474095r_bool > hAPP_P416784693l_bool > hAPP_P39917866l_bool > hAPP_P343853784r_bool > hAPP_P33140378l_bool > hAPP_P323054207l_bool > hAPP_P294971854on_val > hAPP_P292217386t_bool > hAPP_P282169671l_bool > hAPP_P2143028400r_bool > hAPP_P2111013316on_val > hAPP_P2094403585on_val > hAPP_P2083594489on_val > hAPP_P2074628057on_val > hAPP_P2034098401l_bool > hAPP_P2024243179on_val > hAPP_P2013623467al_val > hAPP_P1989760379r_bool > hAPP_P1988153107l_bool > hAPP_P1988097815l_bool > hAPP_P1971671882l_bool > hAPP_P1953518277l_bool > hAPP_P193916115t_char > hAPP_P1936714534on_val > hAPP_P1886180715on_val > hAPP_P1883022279on_val > hAPP_P1882136222l_bool > hAPP_P1870962205on_val > hAPP_P1826803705l_bool > hAPP_P1815899455l_bool > hAPP_P1802178130t_bool > hAPP_P1788447177on_val > hAPP_P1776198677on_val > hAPP_P177222514l_bool > hAPP_P1760219823on_val > hAPP_P1717724164t_bool > hAPP_P171414854l_bool > hAPP_P1708370145l_bool > hAPP_P1696703717l_bool > hAPP_P1638898323l_bool > hAPP_P1637755428l_bool > hAPP_P1605474468l_bool > hAPP_P159683425l_bool > hAPP_P1594728115on_val > hAPP_P1591874724l_bool > hAPP_P1578317968ion_ty > hAPP_P1529692155r_bool > hAPP_P1510984930r_bool > hAPP_P1510515380on_val > hAPP_P1501097100r_bool > hAPP_P147338735on_val > hAPP_P142343914ion_ty > hAPP_P1389845689l_bool > hAPP_P1384137393r_bool > hAPP_P1374609397l_bool > hAPP_P1366871678r_bool > hAPP_P1354850246l_bool > hAPP_P1354839595l_bool > hAPP_P1308752439r_bool > hAPP_P1235399154l_bool > hAPP_P1232134614l_bool > hAPP_P1230564778on_val > hAPP_P1228500987ion_ty > hAPP_P121427050ion_ty > hAPP_P1167611309r_bool > hAPP_P1138140810l_bool > hAPP_P1134042693l_bool > hAPP_P1120259733t_bool > hAPP_P1116729363l_bool > hAPP_P107417220t_bool > hAPP_P1067836940al_val > hAPP_P1066308164on_val > hAPP_P1020760203t_bool > d_list_char > cast_list_char > cOMBS_570216337l_bool > assigned > #nlpp > val_list_char > transi2024712006on_val > transi1395422419t_char > transi1065307915t_char > throw_list_char > the_val > subcls851966956t_char > subcls744239332t_char > red > produc95371820r_bool > produc886919678l_bool > produc481748255l_bool > produc2062775566l_bool > produc1911975310l_bool > produc1555310053l_bool > produc1159035454l_bool > lconf_496643946t_char > is_refT > is_cla570604648t_char > hp > hconf_97414254t_char > final_list_char > dom_nat_val > dom_nat_ty > dom_na996029170on_val > dom_na1091370954r_bool > dom_list_char_val > dom_list_char_ty > dom_li347256130r_bool > dom_li2046124138on_val > dom_Pr934474290al_val > dom_Pr881307234al_val > dom_Pr805691811on_val > dom_Pr717813794on_val > dom_Pr713105403r_bool > dom_Pr695701035ar_val > dom_Pr594962099al_val > dom_Pr585943145val_ty > dom_Pr548306299r_bool > dom_Pr482007707r_bool > dom_Pr364577827on_val > dom_Pr1989649490on_val > dom_Pr1854948307al_val > dom_Pr1770328362r_bool > dom_Pr1623760025val_ty > dom_Pr1536367242val_ty > dom_Pr1523486698val_ty > dom_Pr1305783658val_ty > dom_Pr1291804355on_val > dom_Pr1286015283al_val > dom_Pr122328314r_bool > class > bool_1 > addr_of_sys_xcpt > addr > wwf_J_mdecl > wf_J_mdecl > void > v_2 > v_1 > v > unit > t_1 > t > some_val > some_ty > some_f80346385r_bool > some_P948696889on_val > product_Pair_val_val > produc996400752on_val > produc970139208l_bool > produc928527642on_val > produc901351817on_val > produc899768717on_val > produc877244993l_bool > produc85367547l_bool > produc848137919l_bool > produc828791728l_bool > produc823076510on_val > produc820564232l_bool > produc778642754t_bool > produc769963999l_bool > produc737906696l_bool > produc726689536r_bool > produc655738969l_bool > produc654114665t_bool > produc636580408on_val > produc621191550al_val > produc576623071t_char > produc530227576l_bool > produc5062597t_char > produc457808617on_val > produc445472770t_bool > produc399384568l_bool > produc392960766l_bool > produc376702929l_bool > produc367277545l_bool > produc334393759l_bool > produc301664320l_bool > produc286289338l_bool > produc278452722r_bool > produc240246489l_bool > produc234747160al_val > produc226467351on_val > produc2128769400l_bool > produc2102986512t_bool > produc2098256560t_bool > produc2075733823l_bool > produc2036005791l_bool > produc20018513l_bool > produc1994406320l_bool > produc1988544340l_bool > produc1973453616l_bool > produc1958875245l_bool > produc1925718841l_bool > produc1911463199l_bool > produc1837990498l_bool > produc1815960045l_bool > produc1812634928l_bool > produc1810874273r_bool > produc1780328409r_bool > produc1779501634r_bool > produc1759631162l_bool > produc1741654153l_bool > produc1722298385l_bool > produc1704639885r_bool > produc1596270113l_bool > produc155418000t_bool > produc1552159258l_bool > produc1512975096l_bool > produc1441475159on_val > produc1428203216l_bool > produc1401528596l_bool > produc1326056646l_bool > produc1289468263l_bool > produc1282419105t_bool > produc1275132703l_bool > produc1267303057l_bool > produc1260869559al_val > produc1259058957on_val > produc1231332391l_bool > produc1215886546r_bool > produc121041439l_bool > produc1205785024r_bool > produc1174947465on_val > produc1148763895on_val > produc111276146r_bool > produc107777033l_bool > produc10100002l_bool > produc1003071703on_val > p > nullPointer > null > nt > none_val > none_P179726773on_val > la > l_a > ha > h_a > fequal_val > fconj > fTrue > fFalse > ea > e_a > e > classCast > c_Expr_Obop_OEq > cOMBC_832625297y_bool > cOMBC_2027949654l_bool > cOMBB_bool_bool_val > cOMBB_97313278t_char > cOMBB_877741809on_val > cOMBB_840638159al_val > cOMBB_819439237t_char > cOMBB_740252943t_char > cOMBB_73690268t_char > cOMBB_678146046on_val > cOMBB_672625589on_val > cOMBB_660939282ol_val > cOMBB_635947099on_val > cOMBB_572737002on_val > cOMBB_558176806on_val > cOMBB_507649738t_char > cOMBB_486278459on_val > cOMBB_466903633on_val > cOMBB_448128005on_val > cOMBB_383678192on_val > cOMBB_364363975on_val > cOMBB_338347573on_val > cOMBB_315503848t_char > cOMBB_292554190ol_bop > cOMBB_263586492ol_val > cOMBB_223841226on_val > cOMBB_2121771659al_val > cOMBB_2040779506on_val > cOMBB_1962662865on_val > cOMBB_1895512847t_char > cOMBB_1759207793on_val > cOMBB_1750801836on_val > cOMBB_1749175574t_char > cOMBB_1730140646ol_val > cOMBB_1718333400on_val > cOMBB_1718324963ol_bop > cOMBB_171276332on_val > cOMBB_1583755916ol_val > cOMBB_1572981887on_val > cOMBB_1543649755on_val > cOMBB_1522540928on_val > cOMBB_1518282696on_val > cOMBB_1466889536on_val > cOMBB_1466662571on_val > cOMBB_1353907126al_val > cOMBB_1303934920on_val > cOMBB_1292453606on_val > cOMBB_1271765500t_char > cOMBB_1259202826on_val > cOMBB_1210977579on_val > cOMBB_1153617344on_val > cOMBB_1150072860ol_bop > cOMBB_1091123364t_char > cOMBB_1083177073on_val > cOMBB_1056322480ol_val > cOMBB_1033454012t_char > cOMBB_1027621637t_char > binop > add > #skF_222 > #skF_78 > #skF_37 > #skF_91 > #skF_276 > #skF_4 > #skF_148 > #skF_134 > #skF_207 > #skF_274 > #skF_216 > #skF_110 > #skF_173 > #skF_255 > #skF_45 > #skF_256 > #skF_241 > #skF_246 > #skF_85 > #skF_243 > #skF_119 > #skF_109 > #skF_196 > #skF_242 > #skF_130 > #skF_10 > #skF_114 > #skF_184 > #skF_279 > #skF_136 > #skF_107 > #skF_30 > #skF_180 > #skF_185 > #skF_156 > #skF_92 > #skF_94 > #skF_118 > #skF_191 > #skF_169 > #skF_218 > #skF_254 > #skF_240 > #skF_54 > #skF_280 > #skF_253 > #skF_182 > #skF_55 > #skF_239 > #skF_36 > #skF_93 > #skF_215 > #skF_29 > #skF_183 > #skF_57 > #skF_131 > #skF_188 > #skF_24 > #skF_40 > #skF_194 > #skF_84 > #skF_3 > #skF_285 > #skF_263 > #skF_83 > #skF_248 > #skF_275 > #skF_9 > #skF_16 > #skF_52 > #skF_163 > #skF_195 > #skF_284 > #skF_71 > #skF_140 > #skF_81 > #skF_138 > #skF_230 > #skF_70 > #skF_95 > #skF_125 > #skF_132 > #skF_157 > #skF_286 > #skF_247 > #skF_210 > #skF_177 > #skF_257 > #skF_217 > #skF_281 > #skF_267 > #skF_35 > #skF_168 > #skF_100 > #skF_145 > #skF_187 > #skF_205 > #skF_200 > #skF_26 > #skF_64 > #skF_161 > #skF_116 > #skF_72 > #skF_63 > #skF_61 > #skF_113 > #skF_170 > #skF_208 > #skF_228 > #skF_120 > #skF_43 > #skF_38 > #skF_155 > #skF_266 > #skF_160 > #skF_214 > #skF_74 > #skF_7 > #skF_67 > #skF_128 > #skF_227 > #skF_236 > #skF_42 > #skF_174 > #skF_269 > #skF_250 > #skF_186 > #skF_31 > #skF_189 > #skF_88 > #skF_203 > #skF_190 > #skF_179 > #skF_268 > #skF_201 > #skF_211 > #skF_133 > #skF_199 > #skF_76 > #skF_151 > #skF_272 > #skF_167 > #skF_176 > #skF_39 > #skF_233 > #skF_165 > #skF_126 > #skF_96 > #skF_98 > #skF_229 > #skF_149 > #skF_5 > #skF_181 > #skF_28 > #skF_105 > #skF_25 > #skF_122 > #skF_129 > #skF_197 > #skF_33 > #skF_265 > #skF_18 > #skF_192 > #skF_232 > #skF_213 > #skF_77 > #skF_73 > #skF_139 > #skF_223 > #skF_273 > #skF_50 > #skF_219 > #skF_153 > #skF_21 > #skF_47 > #skF_13 > #skF_178 > #skF_238 > #skF_90 > #skF_11 > #skF_287 > #skF_162 > #skF_264 > #skF_142 > #skF_12 > #skF_104 > #skF_127 > #skF_175 > #skF_146 > #skF_69 > #skF_277 > #skF_58 > #skF_108 > #skF_261 > #skF_224 > #skF_103 > #skF_1 > #skF_41 > #skF_137 > #skF_172 > #skF_89 > #skF_158 > #skF_249 > #skF_164 > #skF_198 > #skF_80 > #skF_141 > #skF_27 > #skF_231 > #skF_97 > #skF_79 > #skF_212 > #skF_220 > #skF_251 > #skF_150 > #skF_101 > #skF_259 > #skF_99 > #skF_102 > #skF_23 > #skF_237 > #skF_206 > #skF_226 > #skF_48 > #skF_106 > #skF_245 > #skF_258 > #skF_53 > #skF_65 > #skF_154 > #skF_135 > #skF_17 > #skF_278 > #skF_44 > #skF_123 > #skF_143 > #skF_221 > #skF_49 > #skF_14 > #skF_235 > #skF_34 > #skF_15 > #skF_147 > #skF_60 > #skF_193 > #skF_51 > #skF_111 > #skF_283 > #skF_252 > #skF_6 > #skF_8 > #skF_56 > #skF_260 > #skF_166 > #skF_225 > #skF_271 > #skF_115 > #skF_124 > #skF_46 > #skF_82 > #skF_2 > #skF_19 > #skF_171 > #skF_282 > #skF_204 > #skF_22 > #skF_152 > #skF_86 > #skF_66 > #skF_202 > #skF_32 > #skF_244 > #skF_159 > #skF_270 > #skF_262 > #skF_75 > #skF_62 > #skF_117 > #skF_59 > #skF_234 > #skF_209 > #skF_121 > #skF_20 > #skF_144 > #skF_112 > #skF_68 > #skF_87
%Foreground sorts:
tff(fun_fu1680591819l_bool,type,
fun_fu1680591819l_bool: $tType ).
tff(fun_va267341538l_bool,type,
fun_va267341538l_bool: $tType ).
tff(fun_Pr1625553105on_val,type,
fun_Pr1625553105on_val: $tType ).
tff(fun_fu863769827l_bool,type,
fun_fu863769827l_bool: $tType ).
tff(fun_fu1931670947l_bool,type,
fun_fu1931670947l_bool: $tType ).
tff(fun_fu369322201l_bool,type,
fun_fu369322201l_bool: $tType ).
tff(fun_Pr1094589074l_bool,type,
fun_Pr1094589074l_bool: $tType ).
tff(fun_fu1871906941l_bool,type,
fun_fu1871906941l_bool: $tType ).
tff(fun_fu86538581l_bool,type,
fun_fu86538581l_bool: $tType ).
tff(fun_fu908828651l_bool,type,
fun_fu908828651l_bool: $tType ).
tff(fun_fu277794946on_val,type,
fun_fu277794946on_val: $tType ).
tff(fun_fu1003774433l_bool,type,
fun_fu1003774433l_bool: $tType ).
tff(fun_fu684057754r_bool,type,
fun_fu684057754r_bool: $tType ).
tff(fun_fu1869012551l_bool,type,
fun_fu1869012551l_bool: $tType ).
tff(fun_fu892541875l_bool,type,
fun_fu892541875l_bool: $tType ).
tff(fun_Pr1009028282al_val,type,
fun_Pr1009028282al_val: $tType ).
tff(fun_Pr680585871l_bool,type,
fun_Pr680585871l_bool: $tType ).
tff(fun_fu164521751l_bool,type,
fun_fu164521751l_bool: $tType ).
tff(fun_Pr1087127692t_bool,type,
fun_Pr1087127692t_bool: $tType ).
tff(fun_fu1913539015l_bool,type,
fun_fu1913539015l_bool: $tType ).
tff(fun_Pr688287442l_bool,type,
fun_Pr688287442l_bool: $tType ).
tff(fun_fu1255792747l_bool,type,
fun_fu1255792747l_bool: $tType ).
tff(fun_Pr1215677793on_val,type,
fun_Pr1215677793on_val: $tType ).
tff(fun_fu1914454703r_bool,type,
fun_fu1914454703r_bool: $tType ).
tff(fun_fu964075521y_bool,type,
fun_fu964075521y_bool: $tType ).
tff(fun_fu936776617r_bool,type,
fun_fu936776617r_bool: $tType ).
tff(fun_fu1639641777on_val,type,
fun_fu1639641777on_val: $tType ).
tff(fun_fu371764249l_bool,type,
fun_fu371764249l_bool: $tType ).
tff(fun_bo180791194on_val,type,
fun_bo180791194on_val: $tType ).
tff(fun_fu353473623l_bool,type,
fun_fu353473623l_bool: $tType ).
tff(fun_fu740225039l_bool,type,
fun_fu740225039l_bool: $tType ).
tff(fun_fu266921985l_bool,type,
fun_fu266921985l_bool: $tType ).
tff(fun_Pr1619270811l_bool,type,
fun_Pr1619270811l_bool: $tType ).
tff(fun_fu1813077499l_bool,type,
fun_fu1813077499l_bool: $tType ).
tff(fun_fu1690035458on_val,type,
fun_fu1690035458on_val: $tType ).
tff(fun_va959426509al_val,type,
fun_va959426509al_val: $tType ).
tff(fun_fu2023535095l_bool,type,
fun_fu2023535095l_bool: $tType ).
tff(fun_Pr733352344ion_ty,type,
fun_Pr733352344ion_ty: $tType ).
tff(fun_ex1005552999on_val,type,
fun_ex1005552999on_val: $tType ).
tff(fun_ex1201926843l_bool,type,
fun_ex1201926843l_bool: $tType ).
tff(fun_li415052468l_bool,type,
fun_li415052468l_bool: $tType ).
tff(fun_li1918653272r_bool,type,
fun_li1918653272r_bool: $tType ).
tff(fun_fu177229913l_bool,type,
fun_fu177229913l_bool: $tType ).
tff(fun_fu394346421l_bool,type,
fun_fu394346421l_bool: $tType ).
tff(fun_va2114888117l_bool,type,
fun_va2114888117l_bool: $tType ).
tff(fun_fu1722968561l_bool,type,
fun_fu1722968561l_bool: $tType ).
tff(bop,type,
bop: $tType ).
tff(fun_Pr252072522l_bool,type,
fun_Pr252072522l_bool: $tType ).
tff(fun_na402763290r_bool,type,
fun_na402763290r_bool: $tType ).
tff(option466449911r_bool,type,
option466449911r_bool: $tType ).
tff(fun_fu1331974445r_bool,type,
fun_fu1331974445r_bool: $tType ).
tff(fun_fu102926423l_bool,type,
fun_fu102926423l_bool: $tType ).
tff(fun_fu192331261on_val,type,
fun_fu192331261on_val: $tType ).
tff(fun_fu448518251l_bool,type,
fun_fu448518251l_bool: $tType ).
tff(fun_fu1380567140l_bool,type,
fun_fu1380567140l_bool: $tType ).
tff(fun_Pr656644398l_bool,type,
fun_Pr656644398l_bool: $tType ).
tff(fun_va17865894t_bool,type,
fun_va17865894t_bool: $tType ).
tff(fun_Pr336360217on_val,type,
fun_Pr336360217on_val: $tType ).
tff(produc639455274on_val,type,
produc639455274on_val: $tType ).
tff(fun_va830487155l_bool,type,
fun_va830487155l_bool: $tType ).
tff(fun_fu1080564751l_bool,type,
fun_fu1080564751l_bool: $tType ).
tff(fun_Pr381296236l_bool,type,
fun_Pr381296236l_bool: $tType ).
tff(fun_Pr324453901l_bool,type,
fun_Pr324453901l_bool: $tType ).
tff(fun_fu1749814731r_bool,type,
fun_fu1749814731r_bool: $tType ).
tff(fun_li649007521t_bool,type,
fun_li649007521t_bool: $tType ).
tff(fun_li1436431093on_val,type,
fun_li1436431093on_val: $tType ).
tff(fun_ex1123147373l_bool,type,
fun_ex1123147373l_bool: $tType ).
tff(fun_fu2057241435l_bool,type,
fun_fu2057241435l_bool: $tType ).
tff(fun_Pr1243525059l_bool,type,
fun_Pr1243525059l_bool: $tType ).
tff(fun_li616154692r_bool,type,
fun_li616154692r_bool: $tType ).
tff(fun_Pr583235924l_bool,type,
fun_Pr583235924l_bool: $tType ).
tff(fun_li688206603ion_ty,type,
fun_li688206603ion_ty: $tType ).
tff(fun_Pr1756358412r_bool,type,
fun_Pr1756358412r_bool: $tType ).
tff(fun_fu229059973l_bool,type,
fun_fu229059973l_bool: $tType ).
tff(fun_fu612116759l_bool,type,
fun_fu612116759l_bool: $tType ).
tff(fun_bool_bool,type,
fun_bool_bool: $tType ).
tff(fun_Pr1667914028l_bool,type,
fun_Pr1667914028l_bool: $tType ).
tff(fun_Pr633696065l_bool,type,
fun_Pr633696065l_bool: $tType ).
tff(fun_fu201937213r_bool,type,
fun_fu201937213r_bool: $tType ).
tff(fun_fu964448643l_bool,type,
fun_fu964448643l_bool: $tType ).
tff(fun_Pr84112868r_bool,type,
fun_Pr84112868r_bool: $tType ).
tff(fun_fu250820942l_bool,type,
fun_fu250820942l_bool: $tType ).
tff(fun_fu254083683l_bool,type,
fun_fu254083683l_bool: $tType ).
tff(fun_Pr929778732l_bool,type,
fun_Pr929778732l_bool: $tType ).
tff(fun_fu1989717467l_bool,type,
fun_fu1989717467l_bool: $tType ).
tff(fun_fu1935975259on_val,type,
fun_fu1935975259on_val: $tType ).
tff(fun_li1452996768l_bool,type,
fun_li1452996768l_bool: $tType ).
tff(fun_Pr1793564609l_bool,type,
fun_Pr1793564609l_bool: $tType ).
tff(fun_fu503916907r_bool,type,
fun_fu503916907r_bool: $tType ).
tff(fun_fu1304373193r_bool,type,
fun_fu1304373193r_bool: $tType ).
tff(fun_li860735411r_bool,type,
fun_li860735411r_bool: $tType ).
tff(fun_fu1534370419l_bool,type,
fun_fu1534370419l_bool: $tType ).
tff(fun_fu649880763l_bool,type,
fun_fu649880763l_bool: $tType ).
tff(produc1278157519t_char,type,
produc1278157519t_char: $tType ).
tff(fun_fu1104572687l_bool,type,
fun_fu1104572687l_bool: $tType ).
tff(fun_val_fun_nat_bool,type,
fun_val_fun_nat_bool: $tType ).
tff(fun_fu2114777659al_val,type,
fun_fu2114777659al_val: $tType ).
tff(fun_ex977868519on_val,type,
fun_ex977868519on_val: $tType ).
tff(fun_Pr307551003l_bool,type,
fun_Pr307551003l_bool: $tType ).
tff(fun_fu610694927l_bool,type,
fun_fu610694927l_bool: $tType ).
tff(fun_li2040914709l_bool,type,
fun_li2040914709l_bool: $tType ).
tff(fun_fu1459957565l_bool,type,
fun_fu1459957565l_bool: $tType ).
tff(fun_fu408016699r_bool,type,
fun_fu408016699r_bool: $tType ).
tff(fun_fu2075294830l_bool,type,
fun_fu2075294830l_bool: $tType ).
tff(fun_va1711094920r_bool,type,
fun_va1711094920r_bool: $tType ).
tff(fun_fu981148631l_bool,type,
fun_fu981148631l_bool: $tType ).
tff(fun_li923379764l_bool,type,
fun_li923379764l_bool: $tType ).
tff(fun_fu911981683l_bool,type,
fun_fu911981683l_bool: $tType ).
tff(produc1102272487on_val,type,
produc1102272487on_val: $tType ).
tff(fun_fu252645753r_bool,type,
fun_fu252645753r_bool: $tType ).
tff(fun_fu1856038613r_bool,type,
fun_fu1856038613r_bool: $tType ).
tff(fun_va151260549r_bool,type,
fun_va151260549r_bool: $tType ).
tff(fun_fu1231936587l_bool,type,
fun_fu1231936587l_bool: $tType ).
tff(fun_li1701804749r_bool,type,
fun_li1701804749r_bool: $tType ).
tff(fun_Pr134674113l_bool,type,
fun_Pr134674113l_bool: $tType ).
tff(fun_fu43046697t_bool,type,
fun_fu43046697t_bool: $tType ).
tff(fun_li610758501l_bool,type,
fun_li610758501l_bool: $tType ).
tff(fun_fu1346254930l_bool,type,
fun_fu1346254930l_bool: $tType ).
tff(fun_fu1587641869l_bool,type,
fun_fu1587641869l_bool: $tType ).
tff(fun_Pr2087158653on_val,type,
fun_Pr2087158653on_val: $tType ).
tff(fun_fu1176066021l_bool,type,
fun_fu1176066021l_bool: $tType ).
tff(fun_Pr1517604908on_val,type,
fun_Pr1517604908on_val: $tType ).
tff(fun_fu540338626on_val,type,
fun_fu540338626on_val: $tType ).
tff(fun_fu1755700589l_bool,type,
fun_fu1755700589l_bool: $tType ).
tff(fun_fu1011371575l_bool,type,
fun_fu1011371575l_bool: $tType ).
tff(fun_va1157788700on_val,type,
fun_va1157788700on_val: $tType ).
tff(fun_li1857149300t_char,type,
fun_li1857149300t_char: $tType ).
tff(fun_Pr1763091538l_bool,type,
fun_Pr1763091538l_bool: $tType ).
tff(fun_Pr2081272681l_bool,type,
fun_Pr2081272681l_bool: $tType ).
tff(fun_fu1485943649l_bool,type,
fun_fu1485943649l_bool: $tType ).
tff(fun_va934618978l_bool,type,
fun_va934618978l_bool: $tType ).
tff(fun_nat_bool,type,
fun_nat_bool: $tType ).
tff(fun_fu1134959491on_val,type,
fun_fu1134959491on_val: $tType ).
tff(fun_fu783298731l_bool,type,
fun_fu783298731l_bool: $tType ).
tff(fun_fu626845499l_bool,type,
fun_fu626845499l_bool: $tType ).
tff(fun_Pr2147252461t_bool,type,
fun_Pr2147252461t_bool: $tType ).
tff(fun_Pr1439232230r_bool,type,
fun_Pr1439232230r_bool: $tType ).
tff(fun_Pr1391347915on_val,type,
fun_Pr1391347915on_val: $tType ).
tff(fun_fu1452544581l_bool,type,
fun_fu1452544581l_bool: $tType ).
tff(fun_Pr1142346461l_bool,type,
fun_Pr1142346461l_bool: $tType ).
tff(fun_ex1270309303l_bool,type,
fun_ex1270309303l_bool: $tType ).
tff(fun_na939144002on_val,type,
fun_na939144002on_val: $tType ).
tff(fun_Pr315804320l_bool,type,
fun_Pr315804320l_bool: $tType ).
tff(fun_fu1278173919t_bool,type,
fun_fu1278173919t_bool: $tType ).
tff(fun_fu2003389793l_bool,type,
fun_fu2003389793l_bool: $tType ).
tff(fun_Pr1454982756t_bool,type,
fun_Pr1454982756t_bool: $tType ).
tff(fun_fu1756175179r_bool,type,
fun_fu1756175179r_bool: $tType ).
tff(fun_fu1162814663l_bool,type,
fun_fu1162814663l_bool: $tType ).
tff(fun_fu228202007l_bool,type,
fun_fu228202007l_bool: $tType ).
tff(fun_fu169292119l_bool,type,
fun_fu169292119l_bool: $tType ).
tff(fun_fu1133203323on_val,type,
fun_fu1133203323on_val: $tType ).
tff(fun_Pr1521028203r_bool,type,
fun_Pr1521028203r_bool: $tType ).
tff(fun_fu1451507727l_bool,type,
fun_fu1451507727l_bool: $tType ).
tff(fun_fu816125185l_bool,type,
fun_fu816125185l_bool: $tType ).
tff(fun_li1793507146on_val,type,
fun_li1793507146on_val: $tType ).
tff(fun_fu905586428l_bool,type,
fun_fu905586428l_bool: $tType ).
tff(fun_fu1394314709l_bool,type,
fun_fu1394314709l_bool: $tType ).
tff(fun_fu1299212805l_bool,type,
fun_fu1299212805l_bool: $tType ).
tff(fun_Pr1833267965on_val,type,
fun_Pr1833267965on_val: $tType ).
tff(fun_Pr1649941330l_bool,type,
fun_Pr1649941330l_bool: $tType ).
tff(fun_fu1670877422y_bool,type,
fun_fu1670877422y_bool: $tType ).
tff(fun_fu2122484477l_bool,type,
fun_fu2122484477l_bool: $tType ).
tff(fun_fu1562135449l_bool,type,
fun_fu1562135449l_bool: $tType ).
tff(fun_Pr2007843174r_bool,type,
fun_Pr2007843174r_bool: $tType ).
tff(fun_Pr1696029455l_bool,type,
fun_Pr1696029455l_bool: $tType ).
tff(fun_val_bool,type,
fun_val_bool: $tType ).
tff(fun_Pr2135303553t_char,type,
fun_Pr2135303553t_char: $tType ).
tff(fun_list_char_bool,type,
fun_list_char_bool: $tType ).
tff(fun_Pr1404764635l_bool,type,
fun_Pr1404764635l_bool: $tType ).
tff(fun_fu298067067l_bool,type,
fun_fu298067067l_bool: $tType ).
tff(fun_fu819253913l_bool,type,
fun_fu819253913l_bool: $tType ).
tff(fun_fu2083094209l_bool,type,
fun_fu2083094209l_bool: $tType ).
tff(fun_fu1924376903on_val,type,
fun_fu1924376903on_val: $tType ).
tff(fun_li1432931796on_val,type,
fun_li1432931796on_val: $tType ).
tff(fun_fu1246919812l_bool,type,
fun_fu1246919812l_bool: $tType ).
tff(fun_bo1226433611l_bool,type,
fun_bo1226433611l_bool: $tType ).
tff(produc1013743697t_char,type,
produc1013743697t_char: $tType ).
tff(fun_Pr704700594t_bool,type,
fun_Pr704700594t_bool: $tType ).
tff(fun_fu615344397l_bool,type,
fun_fu615344397l_bool: $tType ).
tff(option1479284511on_val,type,
option1479284511on_val: $tType ).
tff(fun_fu938561337l_bool,type,
fun_fu938561337l_bool: $tType ).
tff(fun_Pr231134077on_val,type,
fun_Pr231134077on_val: $tType ).
tff(fun_fu910697661l_bool,type,
fun_fu910697661l_bool: $tType ).
tff(fun_li823162622l_bool,type,
fun_li823162622l_bool: $tType ).
tff(fun_fu351211973l_bool,type,
fun_fu351211973l_bool: $tType ).
tff(fun_fu1099749117l_bool,type,
fun_fu1099749117l_bool: $tType ).
tff(fun_Pr1900992299on_val,type,
fun_Pr1900992299on_val: $tType ).
tff(fun_fu515606202l_bool,type,
fun_fu515606202l_bool: $tType ).
tff(fun_fu1725641376l_bool,type,
fun_fu1725641376l_bool: $tType ).
tff(fun_Pr70170387r_bool,type,
fun_Pr70170387r_bool: $tType ).
tff(fun_Pr1377794996t_bool,type,
fun_Pr1377794996t_bool: $tType ).
tff(fun_nat_option_ty,type,
fun_nat_option_ty: $tType ).
tff(fun_Pr1719283041on_val,type,
fun_Pr1719283041on_val: $tType ).
tff(fun_bo1549164019l_bool,type,
fun_bo1549164019l_bool: $tType ).
tff(fun_fu1502964089l_bool,type,
fun_fu1502964089l_bool: $tType ).
tff(fun_Pr454045387l_bool,type,
fun_Pr454045387l_bool: $tType ).
tff(fun_fu1128668857l_bool,type,
fun_fu1128668857l_bool: $tType ).
tff(fun_li1428515013l_bool,type,
fun_li1428515013l_bool: $tType ).
tff(fun_li1107892380r_bool,type,
fun_li1107892380r_bool: $tType ).
tff(fun_fu676595845l_bool,type,
fun_fu676595845l_bool: $tType ).
tff(fun_fu1638830325l_bool,type,
fun_fu1638830325l_bool: $tType ).
tff(fun_li507112950l_bool,type,
fun_li507112950l_bool: $tType ).
tff(fun_fu1969117875t_bool,type,
fun_fu1969117875t_bool: $tType ).
tff(fun_fu574939677l_bool,type,
fun_fu574939677l_bool: $tType ).
tff(fun_Pr1439582210on_val,type,
fun_Pr1439582210on_val: $tType ).
tff(fun_fu100249073l_bool,type,
fun_fu100249073l_bool: $tType ).
tff(fun_fu551435671l_bool,type,
fun_fu551435671l_bool: $tType ).
tff(fun_fu1329575219on_val,type,
fun_fu1329575219on_val: $tType ).
tff(fun_fu1506313313l_bool,type,
fun_fu1506313313l_bool: $tType ).
tff(fun_fu1343174525l_bool,type,
fun_fu1343174525l_bool: $tType ).
tff(fun_fu21671997on_val,type,
fun_fu21671997on_val: $tType ).
tff(fun_Pr1325259506ion_ty,type,
fun_Pr1325259506ion_ty: $tType ).
tff(fun_fu781882819l_bool,type,
fun_fu781882819l_bool: $tType ).
tff(fun_fu121169625l_bool,type,
fun_fu121169625l_bool: $tType ).
tff(fun_fu1421250149l_bool,type,
fun_fu1421250149l_bool: $tType ).
tff(fun_fu1934636263l_bool,type,
fun_fu1934636263l_bool: $tType ).
tff(fun_fu285633298l_bool,type,
fun_fu285633298l_bool: $tType ).
tff(fun_fu1753546205on_val,type,
fun_fu1753546205on_val: $tType ).
tff(fun_fu1615233035l_bool,type,
fun_fu1615233035l_bool: $tType ).
tff(fun_va2094201759on_val,type,
fun_va2094201759on_val: $tType ).
tff(fun_fu233425312l_bool,type,
fun_fu233425312l_bool: $tType ).
tff(fun_fu450339090r_bool,type,
fun_fu450339090r_bool: $tType ).
tff(fun_Pr192342275r_bool,type,
fun_Pr192342275r_bool: $tType ).
tff(fun_fu1061236771l_bool,type,
fun_fu1061236771l_bool: $tType ).
tff(fun_ex1944467352l_bool,type,
fun_ex1944467352l_bool: $tType ).
tff(fun_fu830480791l_bool,type,
fun_fu830480791l_bool: $tType ).
tff(fun_fu436897911l_bool,type,
fun_fu436897911l_bool: $tType ).
tff(product_prod_val_val,type,
product_prod_val_val: $tType ).
tff(fun_fu937561981l_bool,type,
fun_fu937561981l_bool: $tType ).
tff(fun_fu459093885l_bool,type,
fun_fu459093885l_bool: $tType ).
tff(fun_va1468324038l_bool,type,
fun_va1468324038l_bool: $tType ).
tff(fun_li318226104r_bool,type,
fun_li318226104r_bool: $tType ).
tff(option_ty,type,
option_ty: $tType ).
tff(fun_fu405972463al_val,type,
fun_fu405972463al_val: $tType ).
tff(fun_ex389763294t_bool,type,
fun_ex389763294t_bool: $tType ).
tff(fun_fu593680828t_char,type,
fun_fu593680828t_char: $tType ).
tff(fun_Pr565113489r_bool,type,
fun_Pr565113489r_bool: $tType ).
tff(fun_fu1677251708l_bool,type,
fun_fu1677251708l_bool: $tType ).
tff(fun_Pr1615326228al_val,type,
fun_Pr1615326228al_val: $tType ).
tff(fun_fu370674997on_val,type,
fun_fu370674997on_val: $tType ).
tff(fun_bo1422795267r_bool,type,
fun_bo1422795267r_bool: $tType ).
tff(option_val,type,
option_val: $tType ).
tff(fun_fu192068197l_bool,type,
fun_fu192068197l_bool: $tType ).
tff(fun_fu1847833789r_bool,type,
fun_fu1847833789r_bool: $tType ).
tff(fun_Pr385431009on_val,type,
fun_Pr385431009on_val: $tType ).
tff(fun_Pr714818201on_val,type,
fun_Pr714818201on_val: $tType ).
tff(fun_li1084227301l_bool,type,
fun_li1084227301l_bool: $tType ).
tff(fun_fu1693644106l_bool,type,
fun_fu1693644106l_bool: $tType ).
tff(fun_Pr143388889al_val,type,
fun_Pr143388889al_val: $tType ).
tff(fun_fu823189407l_bool,type,
fun_fu823189407l_bool: $tType ).
tff(fun_Pr462529091t_bool,type,
fun_Pr462529091t_bool: $tType ).
tff(fun_fu1737014131l_bool,type,
fun_fu1737014131l_bool: $tType ).
tff(fun_ex2119256656r_bool,type,
fun_ex2119256656r_bool: $tType ).
tff(fun_fu983865091l_bool,type,
fun_fu983865091l_bool: $tType ).
tff(fun_fu1104134499t_char,type,
fun_fu1104134499t_char: $tType ).
tff(produc124828825on_val,type,
produc124828825on_val: $tType ).
tff(fun_fu1479301695l_bool,type,
fun_fu1479301695l_bool: $tType ).
tff(fun_fu1475575669l_bool,type,
fun_fu1475575669l_bool: $tType ).
tff(fun_Pr324760563l_bool,type,
fun_Pr324760563l_bool: $tType ).
tff(fun_Pr592733644t_bool,type,
fun_Pr592733644t_bool: $tType ).
tff(fun_fu1347521459l_bool,type,
fun_fu1347521459l_bool: $tType ).
tff(fun_Pr1040313468l_bool,type,
fun_Pr1040313468l_bool: $tType ).
tff(nat,type,
nat: $tType ).
tff(list_char,type,
list_char: $tType ).
tff(fun_fu820520599l_bool,type,
fun_fu820520599l_bool: $tType ).
tff(fun_fu552814479r_bool,type,
fun_fu552814479r_bool: $tType ).
tff(fun_fu431935003l_bool,type,
fun_fu431935003l_bool: $tType ).
tff(fun_Pr974014925l_bool,type,
fun_Pr974014925l_bool: $tType ).
tff(fun_Pr828669810on_val,type,
fun_Pr828669810on_val: $tType ).
tff(fun_Pr842269692l_bool,type,
fun_Pr842269692l_bool: $tType ).
tff(fun_fu1675319075l_bool,type,
fun_fu1675319075l_bool: $tType ).
tff(fun_fu1190526859r_bool,type,
fun_fu1190526859r_bool: $tType ).
tff(fun_fu1002878233l_bool,type,
fun_fu1002878233l_bool: $tType ).
tff(fun_ex1732109805l_bool,type,
fun_ex1732109805l_bool: $tType ).
tff(fun_Pr243522225l_bool,type,
fun_Pr243522225l_bool: $tType ).
tff(fun_fu110544035l_bool,type,
fun_fu110544035l_bool: $tType ).
tff(fun_fu2073188913on_val,type,
fun_fu2073188913on_val: $tType ).
tff(fun_fu967282605al_val,type,
fun_fu967282605al_val: $tType ).
tff(fun_va2047554000l_bool,type,
fun_va2047554000l_bool: $tType ).
tff(fun_fu1806184744l_bool,type,
fun_fu1806184744l_bool: $tType ).
tff(fun_Pr759034427on_val,type,
fun_Pr759034427on_val: $tType ).
tff(fun_fu1345961817l_bool,type,
fun_fu1345961817l_bool: $tType ).
tff(fun_fu1590192889l_bool,type,
fun_fu1590192889l_bool: $tType ).
tff(fun_Pr1057736788l_bool,type,
fun_Pr1057736788l_bool: $tType ).
tff(fun_fu297867453r_bool,type,
fun_fu297867453r_bool: $tType ).
tff(fun_fu1481433236al_val,type,
fun_fu1481433236al_val: $tType ).
tff(val,type,
val: $tType ).
tff(fun_va547415023l_bool,type,
fun_va547415023l_bool: $tType ).
tff(fun_fu1091766663r_bool,type,
fun_fu1091766663r_bool: $tType ).
tff(fun_Pr129626572r_bool,type,
fun_Pr129626572r_bool: $tType ).
tff(fun_Pr1727285475on_val,type,
fun_Pr1727285475on_val: $tType ).
tff(fun_fu1409163261t_char,type,
fun_fu1409163261t_char: $tType ).
tff(fun_fu1319073539l_bool,type,
fun_fu1319073539l_bool: $tType ).
tff(fun_li683301334t_bool,type,
fun_li683301334t_bool: $tType ).
tff(fun_fu1515717811l_bool,type,
fun_fu1515717811l_bool: $tType ).
tff(bool,type,
bool: $tType ).
tff(fun_Pr1889776021r_bool,type,
fun_Pr1889776021r_bool: $tType ).
tff(fun_bo1211200491t_bool,type,
fun_bo1211200491t_bool: $tType ).
tff(fun_Pr1938343180on_val,type,
fun_Pr1938343180on_val: $tType ).
tff(fun_fu775697111l_bool,type,
fun_fu775697111l_bool: $tType ).
tff(fun_fu1980133923l_bool,type,
fun_fu1980133923l_bool: $tType ).
tff(fun_fu1241242885l_bool,type,
fun_fu1241242885l_bool: $tType ).
tff(fun_Pr1241534948r_bool,type,
fun_Pr1241534948r_bool: $tType ).
tff(fun_Pr1288966450t_bool,type,
fun_Pr1288966450t_bool: $tType ).
tff(fun_fu351878095t_bool,type,
fun_fu351878095t_bool: $tType ).
tff(fun_va189260341l_bool,type,
fun_va189260341l_bool: $tType ).
tff(fun_li1596536641l_bool,type,
fun_li1596536641l_bool: $tType ).
tff(fun_fu1545449147l_bool,type,
fun_fu1545449147l_bool: $tType ).
tff(fun_fu1462073459l_bool,type,
fun_fu1462073459l_bool: $tType ).
tff(fun_fu1358756598l_bool,type,
fun_fu1358756598l_bool: $tType ).
tff(fun_fu647359111r_bool,type,
fun_fu647359111r_bool: $tType ).
tff(fun_fu1678064953on_val,type,
fun_fu1678064953on_val: $tType ).
tff(fun_fu1025487243l_bool,type,
fun_fu1025487243l_bool: $tType ).
tff(fun_fu942042787l_bool,type,
fun_fu942042787l_bool: $tType ).
tff(fun_li1569131568l_bool,type,
fun_li1569131568l_bool: $tType ).
tff(fun_fu1758230717l_bool,type,
fun_fu1758230717l_bool: $tType ).
tff(fun_li537151130l_bool,type,
fun_li537151130l_bool: $tType ).
tff(fun_fu1221203484l_bool,type,
fun_fu1221203484l_bool: $tType ).
tff(fun_Pr100252923on_val,type,
fun_Pr100252923on_val: $tType ).
tff(fun_fu947198233l_bool,type,
fun_fu947198233l_bool: $tType ).
tff(fun_li1782471359l_bool,type,
fun_li1782471359l_bool: $tType ).
tff(fun_fu1929656089l_bool,type,
fun_fu1929656089l_bool: $tType ).
tff(fun_fu2138074009l_bool,type,
fun_fu2138074009l_bool: $tType ).
tff(fun_Pr741412723l_bool,type,
fun_Pr741412723l_bool: $tType ).
tff(fun_Pr293514739l_bool,type,
fun_Pr293514739l_bool: $tType ).
tff(fun_fu470662369l_bool,type,
fun_fu470662369l_bool: $tType ).
tff(produc1645268488al_val,type,
produc1645268488al_val: $tType ).
tff(fun_Pr1684668686on_val,type,
fun_Pr1684668686on_val: $tType ).
tff(fun_fu621800173l_bool,type,
fun_fu621800173l_bool: $tType ).
tff(fun_bo1454185032l_bool,type,
fun_bo1454185032l_bool: $tType ).
tff(fun_li673202352l_bool,type,
fun_li673202352l_bool: $tType ).
tff(fun_fu606696995l_bool,type,
fun_fu606696995l_bool: $tType ).
tff(fun_fu680686147l_bool,type,
fun_fu680686147l_bool: $tType ).
tff(fun_fu2111126267l_bool,type,
fun_fu2111126267l_bool: $tType ).
tff(fun_va1923334394al_val,type,
fun_va1923334394al_val: $tType ).
tff(fun_Pr788853347l_bool,type,
fun_Pr788853347l_bool: $tType ).
tff(fun_fu151382129l_bool,type,
fun_fu151382129l_bool: $tType ).
tff(fun_fu570492181l_bool,type,
fun_fu570492181l_bool: $tType ).
tff(fun_fu1718160452on_val,type,
fun_fu1718160452on_val: $tType ).
tff(fun_fu1839934575r_bool,type,
fun_fu1839934575r_bool: $tType ).
tff(fun_fu347446253t_bool,type,
fun_fu347446253t_bool: $tType ).
tff(fun_bo1153317747al_val,type,
fun_bo1153317747al_val: $tType ).
tff(fun_fu1340506651l_bool,type,
fun_fu1340506651l_bool: $tType ).
tff(fun_fu62768508t_bool,type,
fun_fu62768508t_bool: $tType ).
tff(fun_fu217462836l_bool,type,
fun_fu217462836l_bool: $tType ).
tff(fun_fu1758268692t_bool,type,
fun_fu1758268692t_bool: $tType ).
tff(fun_li835958565t_char,type,
fun_li835958565t_char: $tType ).
tff(fun_fu2000143900r_bool,type,
fun_fu2000143900r_bool: $tType ).
tff(fun_fu194330259on_val,type,
fun_fu194330259on_val: $tType ).
tff(fun_fu1262577777l_bool,type,
fun_fu1262577777l_bool: $tType ).
tff(fun_Pr1315489347l_bool,type,
fun_Pr1315489347l_bool: $tType ).
tff(fun_li916220527on_val,type,
fun_li916220527on_val: $tType ).
tff(fun_bo1673925482l_bool,type,
fun_bo1673925482l_bool: $tType ).
tff(fun_Pr691271849l_bool,type,
fun_Pr691271849l_bool: $tType ).
tff(fun_Pr1590835018r_bool,type,
fun_Pr1590835018r_bool: $tType ).
tff(fun_li1382912868on_val,type,
fun_li1382912868on_val: $tType ).
tff(fun_Pr1385456186r_bool,type,
fun_Pr1385456186r_bool: $tType ).
tff(fun_fu1116138167r_bool,type,
fun_fu1116138167r_bool: $tType ).
tff(fun_Pr1931476659l_bool,type,
fun_Pr1931476659l_bool: $tType ).
tff(fun_fu114905943l_bool,type,
fun_fu114905943l_bool: $tType ).
tff(fun_ex17205502l_bool,type,
fun_ex17205502l_bool: $tType ).
tff(fun_fu1384113317l_bool,type,
fun_fu1384113317l_bool: $tType ).
tff(fun_fu388140521l_bool,type,
fun_fu388140521l_bool: $tType ).
tff(fun_nat_option_val,type,
fun_nat_option_val: $tType ).
tff(fun_fu48585473l_bool,type,
fun_fu48585473l_bool: $tType ).
tff(fun_fu1039024310l_bool,type,
fun_fu1039024310l_bool: $tType ).
tff(fun_Pr1298293016ion_ty,type,
fun_Pr1298293016ion_ty: $tType ).
tff(fun_fu2141444501y_bool,type,
fun_fu2141444501y_bool: $tType ).
tff(fun_Pr1713170355l_bool,type,
fun_Pr1713170355l_bool: $tType ).
tff(fun_Pr357631842on_val,type,
fun_Pr357631842on_val: $tType ).
tff(fun_li378593189t_bool,type,
fun_li378593189t_bool: $tType ).
tff(fun_Pr1298510204l_bool,type,
fun_Pr1298510204l_bool: $tType ).
tff(fun_bo2065098379l_bool,type,
fun_bo2065098379l_bool: $tType ).
tff(fun_fu1380761303t_bool,type,
fun_fu1380761303t_bool: $tType ).
tff(fun_fu1542084125r_bool,type,
fun_fu1542084125r_bool: $tType ).
tff(fun_Pr1386046633r_bool,type,
fun_Pr1386046633r_bool: $tType ).
tff(fun_fu878752391l_bool,type,
fun_fu878752391l_bool: $tType ).
tff(fun_Pr1790314577on_val,type,
fun_Pr1790314577on_val: $tType ).
tff(fun_Pr598845249l_bool,type,
fun_Pr598845249l_bool: $tType ).
tff(fun_ty_option_ty,type,
fun_ty_option_ty: $tType ).
tff(exp_list_char,type,
exp_list_char: $tType ).
tff(fun_fu524930393l_bool,type,
fun_fu524930393l_bool: $tType ).
tff(produc12694297on_val,type,
produc12694297on_val: $tType ).
tff(fun_Pr741448269l_bool,type,
fun_Pr741448269l_bool: $tType ).
tff(list_P1999446415t_char,type,
list_P1999446415t_char: $tType ).
tff(fun_val_option_val,type,
fun_val_option_val: $tType ).
tff(fun_val_fun_val_bool,type,
fun_val_fun_val_bool: $tType ).
tff(fun_Pr193017682l_bool,type,
fun_Pr193017682l_bool: $tType ).
tff(fun_fu2039604123r_bool,type,
fun_fu2039604123r_bool: $tType ).
tff(fun_fu1802993177l_bool,type,
fun_fu1802993177l_bool: $tType ).
tff(fun_Pr1013877532on_val,type,
fun_Pr1013877532on_val: $tType ).
tff(fun_fu1457514859l_bool,type,
fun_fu1457514859l_bool: $tType ).
tff(fun_fu1176482875l_bool,type,
fun_fu1176482875l_bool: $tType ).
tff(fun_fu1640122725l_bool,type,
fun_fu1640122725l_bool: $tType ).
tff(fun_fu1091135037l_bool,type,
fun_fu1091135037l_bool: $tType ).
tff(fun_fu2085256997l_bool,type,
fun_fu2085256997l_bool: $tType ).
tff(fun_Pr806764899on_val,type,
fun_Pr806764899on_val: $tType ).
tff(fun_Pr1780479017r_bool,type,
fun_Pr1780479017r_bool: $tType ).
tff(fun_fu1622757844on_val,type,
fun_fu1622757844on_val: $tType ).
tff(fun_fu1978109084al_val,type,
fun_fu1978109084al_val: $tType ).
tff(fun_Pr351033732l_bool,type,
fun_Pr351033732l_bool: $tType ).
tff(fun_Pr562304210l_bool,type,
fun_Pr562304210l_bool: $tType ).
tff(fun_fu586179709l_bool,type,
fun_fu586179709l_bool: $tType ).
tff(fun_fu712248957l_bool,type,
fun_fu712248957l_bool: $tType ).
tff(fun_Pr1618910755on_val,type,
fun_Pr1618910755on_val: $tType ).
tff(fun_Pr2142553108l_bool,type,
fun_Pr2142553108l_bool: $tType ).
tff(fun_fu1929378469l_bool,type,
fun_fu1929378469l_bool: $tType ).
tff(fun_fu2007671769t_bool,type,
fun_fu2007671769t_bool: $tType ).
tff(fun_fu722886165l_bool,type,
fun_fu722886165l_bool: $tType ).
tff(fun_fu1980233698l_bool,type,
fun_fu1980233698l_bool: $tType ).
tff(fun_bo1845219066l_bool,type,
fun_bo1845219066l_bool: $tType ).
tff(fun_fu225006629l_bool,type,
fun_fu225006629l_bool: $tType ).
tff(fun_fu1622098173t_bool,type,
fun_fu1622098173t_bool: $tType ).
tff(fun_li2076121851l_bool,type,
fun_li2076121851l_bool: $tType ).
tff(fun_li1577539636l_bool,type,
fun_li1577539636l_bool: $tType ).
tff(ty,type,
ty: $tType ).
tff(fun_li1309482948on_val,type,
fun_li1309482948on_val: $tType ).
tff(fun_bo1337967738l_bool,type,
fun_bo1337967738l_bool: $tType ).
tff(fun_fu1642197899l_bool,type,
fun_fu1642197899l_bool: $tType ).
tff(fun_Pr165898670l_bool,type,
fun_Pr165898670l_bool: $tType ).
tff(fun_fu1543849205l_bool,type,
fun_fu1543849205l_bool: $tType ).
tff(fun_Pr1232540755ion_ty,type,
fun_Pr1232540755ion_ty: $tType ).
tff(fun_va679853773l_bool,type,
fun_va679853773l_bool: $tType ).
tff(fun_fu134864139l_bool,type,
fun_fu134864139l_bool: $tType ).
tff(fun_fu698854459l_bool,type,
fun_fu698854459l_bool: $tType ).
tff(fun_fu544554869al_val,type,
fun_fu544554869al_val: $tType ).
tff(fun_va621701228l_bool,type,
fun_va621701228l_bool: $tType ).
tff(fun_fu1354978043l_bool,type,
fun_fu1354978043l_bool: $tType ).
tff(fun_fu2022309923l_bool,type,
fun_fu2022309923l_bool: $tType ).
tff(fun_Pr876827561ion_ty,type,
fun_Pr876827561ion_ty: $tType ).
tff(fun_fu283662671l_bool,type,
fun_fu283662671l_bool: $tType ).
tff(fun_Pr650805339l_bool,type,
fun_Pr650805339l_bool: $tType ).
tff(fun_fu1912681219l_bool,type,
fun_fu1912681219l_bool: $tType ).
tff(fun_fu79989156l_bool,type,
fun_fu79989156l_bool: $tType ).
tff(fun_fu1952537362l_bool,type,
fun_fu1952537362l_bool: $tType ).
tff(fun_fu442091053on_val,type,
fun_fu442091053on_val: $tType ).
%Background operators:
%Foreground operators:
tff(hAPP_f1301559543l_bool,type,
hAPP_f1301559543l_bool: ( fun_fu225006629l_bool * fun_Pr1833267965on_val ) > fun_Pr1696029455l_bool ).
tff(hAPP_f1145256474l_bool,type,
hAPP_f1145256474l_bool: ( fun_fu250820942l_bool * fun_na939144002on_val ) > fun_bool_bool ).
tff(hAPP_f1341053989l_bool,type,
hAPP_f1341053989l_bool: ( fun_fu1345961817l_bool * fun_Pr351033732l_bool ) > fun_Pr381296236l_bool ).
tff(fun_up204312361on_val,type,
fun_up204312361on_val: ( fun_Pr806764899on_val * produc1278157519t_char * option_val ) > fun_Pr806764899on_val ).
tff(fun_up1281163108r_bool,type,
fun_up1281163108r_bool: ( fun_Pr1385456186r_bool * produc639455274on_val * option466449911r_bool ) > fun_Pr1385456186r_bool ).
tff(hAPP_f499947099l_bool,type,
hAPP_f499947099l_bool: ( fun_fu1080564751l_bool * fun_li1084227301l_bool ) > fun_Pr1315489347l_bool ).
tff('#skF_222',type,
'#skF_222': ( fun_bool_bool * fun_li860735411r_bool * produc1278157519t_char ) > list_char ).
tff('#skF_78',type,
'#skF_78': produc1102272487on_val > produc124828825on_val ).
tff(is_refT,type,
is_refT: ty > bool ).
tff(hAPP_P1354839595l_bool,type,
hAPP_P1354839595l_bool: ( fun_Pr324453901l_bool * produc1645268488al_val ) > fun_Pr315804320l_bool ).
tff(fun_up1250448779on_val,type,
fun_up1250448779on_val: ( fun_Pr1215677793on_val * produc124828825on_val * option_val ) > fun_Pr1215677793on_val ).
tff(cOMBB_bool_bool_val,type,
cOMBB_bool_bool_val: fun_fu2022309923l_bool ).
tff(hAPP_P1308752439r_bool,type,
hAPP_P1308752439r_bool: ( fun_Pr1521028203r_bool * produc1645268488al_val ) > fun_list_char_bool ).
tff(hAPP_f365540729l_bool,type,
hAPP_f365540729l_bool: ( fun_fu1003774433l_bool * fun_Pr691271849l_bool ) > fun_fu1587641869l_bool ).
tff(cOMBB_660939282ol_val,type,
cOMBB_660939282ol_val: fun_fu524930393l_bool ).
tff('#skF_37',type,
'#skF_37': produc1645268488al_val > bop ).
tff('#skF_91',type,
'#skF_91': produc1102272487on_val > produc124828825on_val ).
tff(member1417904245al_val,type,
member1417904245al_val: ( produc1645268488al_val * fun_Pr252072522l_bool ) > bool ).
tff(produc1289468263l_bool,type,
produc1289468263l_bool: fun_fu2111126267l_bool ).
tff(hAPP_f2135509569l_bool,type,
hAPP_f2135509569l_bool: ( fun_fu110544035l_bool * fun_na939144002on_val ) > fun_fu905586428l_bool ).
tff(hAPP_f1623341439r_bool,type,
hAPP_f1623341439r_bool: ( fun_fu1331974445r_bool * fun_va1711094920r_bool ) > fun_Pr1756358412r_bool ).
tff(hAPP_P1134042693l_bool,type,
hAPP_P1134042693l_bool: ( fun_Pr293514739l_bool * produc124828825on_val ) > fun_Pr134674113l_bool ).
tff(fun_up638349240ion_ty,type,
fun_up638349240ion_ty: ( fun_Pr1325259506ion_ty * product_prod_val_val * option_ty ) > fun_Pr1325259506ion_ty ).
tff(cOMBB_466903633on_val,type,
cOMBB_466903633on_val: fun_fu1506313313l_bool ).
tff(cOMBB_1572981887on_val,type,
cOMBB_1572981887on_val: fun_fu1543849205l_bool ).
tff(map_ad689713276val_ty,type,
map_ad689713276val_ty: ( fun_Pr876827561ion_ty * fun_Pr876827561ion_ty ) > fun_Pr876827561ion_ty ).
tff('#skF_276',type,
'#skF_276': ty > list_char ).
tff('#skF_4',type,
'#skF_4': ( produc1102272487on_val * fun_Pr691271849l_bool ) > fun_na939144002on_val ).
tff('#skF_148',type,
'#skF_148': ( fun_li860735411r_bool * produc1278157519t_char ) > list_char ).
tff(cOMBB_1895512847t_char,type,
cOMBB_1895512847t_char: fun_fu1394314709l_bool ).
tff(hAPP_f1241216909l_bool,type,
hAPP_f1241216909l_bool: ( fun_fu1176482875l_bool * fun_Pr1719283041on_val ) > fun_Pr633696065l_bool ).
tff('#skF_134',type,
'#skF_134': ( fun_li860735411r_bool * produc1278157519t_char ) > list_char ).
tff(hAPP_f1000689699l_bool,type,
hAPP_f1000689699l_bool: ( fun_fu1299212805l_bool * fun_fu192068197l_bool ) > fun_fu649880763l_bool ).
tff(map_ad1982313927on_val,type,
map_ad1982313927on_val: ( fun_li1309482948on_val * fun_li1309482948on_val ) > fun_li1309482948on_val ).
tff('#skF_207',type,
'#skF_207': ( product_prod_val_val * fun_Pr1900992299on_val ) > produc639455274on_val ).
tff(hAPP_P1235399154l_bool,type,
hAPP_P1235399154l_bool: ( fun_Pr315804320l_bool * produc639455274on_val ) > bool ).
tff(hAPP_f1153851723l_bool,type,
hAPP_f1153851723l_bool: ( fun_fu892541875l_bool * fun_fu2114777659al_val ) > fun_fu100249073l_bool ).
tff('#skF_274',type,
'#skF_274': ( list_P1999446415t_char * fun_li688206603ion_ty * fun_na939144002on_val * ty * exp_list_char ) > list_char ).
tff(hAPP_f1939255213on_val,type,
hAPP_f1939255213on_val: ( fun_fu1935975259on_val * fun_va2094201759on_val ) > fun_Pr1618910755on_val ).
tff(hAPP_l2138409430r_bool,type,
hAPP_l2138409430r_bool: ( fun_li318226104r_bool * list_P1999446415t_char ) > fun_li616154692r_bool ).
tff(produc1994406320l_bool,type,
produc1994406320l_bool: fun_fu823189407l_bool ).
tff('#skF_216',type,
'#skF_216': ( fun_bool_bool * fun_Pr633696065l_bool * produc1102272487on_val ) > produc124828825on_val ).
tff('#skF_110',type,
'#skF_110': fun_Pr680585871l_bool > produc12694297on_val ).
tff(hAPP_f881985847l_bool,type,
hAPP_f881985847l_bool: ( fun_fu1929656089l_bool * fun_Pr1696029455l_bool ) > fun_fu2085256997l_bool ).
tff(hAPP_f781588360l_bool,type,
hAPP_f781588360l_bool: ( fun_fu1039024310l_bool * fun_fu1718160452on_val ) > fun_fu177229913l_bool ).
tff(null,type,
null: val ).
tff(cOMBB_1027621637t_char,type,
cOMBB_1027621637t_char: fun_fu610694927l_bool ).
tff(hAPP_f1591648613l_bool,type,
hAPP_f1591648613l_bool: ( fun_fu1562135449l_bool * fun_Pr741412723l_bool ) > fun_Pr650805339l_bool ).
tff(while_list_char,type,
while_list_char: ( exp_list_char * exp_list_char ) > exp_list_char ).
tff('#skF_173',type,
'#skF_173': ( fun_Pr565113489r_bool * fun_li860735411r_bool ) > list_char ).
tff(hAPP_P2074628057on_val,type,
hAPP_P2074628057on_val: ( fun_Pr759034427on_val * product_prod_val_val ) > option_val ).
tff('#skF_255',type,
'#skF_255': ( exp_list_char * produc12694297on_val * list_char * list_P1999446415t_char * produc12694297on_val * ty * exp_list_char ) > fun_li1432931796on_val ).
tff('#skF_45',type,
'#skF_45': ( produc124828825on_val * fun_Pr680585871l_bool ) > fun_li1432931796on_val ).
tff(produc5062597t_char,type,
produc5062597t_char: fun_li835958565t_char ).
tff(hAPP_P1230564778on_val,type,
hAPP_P1230564778on_val: ( fun_Pr1938343180on_val * produc1645268488al_val ) > option1479284511on_val ).
tff('#skF_256',type,
'#skF_256': ( list_char * list_P1999446415t_char * produc12694297on_val * exp_list_char * produc12694297on_val * exp_list_char ) > val ).
tff(some_f80346385r_bool,type,
some_f80346385r_bool: fun_fu450339090r_bool ).
tff(subcls851966956t_char,type,
subcls851966956t_char: list_P1999446415t_char > fun_Pr565113489r_bool ).
tff(cOMBB_558176806on_val,type,
cOMBB_558176806on_val: fun_fu353473623l_bool ).
tff('#skF_241',type,
'#skF_241': ( produc124828825on_val * fun_va2114888117l_bool * product_prod_val_val ) > val ).
tff(hAPP_f61040418l_bool,type,
hAPP_f61040418l_bool: ( fun_fu1246919812l_bool * fun_na939144002on_val ) > bool ).
tff(hAPP_f507696695l_bool,type,
hAPP_f507696695l_bool: ( fun_fu1421250149l_bool * fun_li1452996768l_bool ) > fun_Pr929778732l_bool ).
tff('#skF_246',type,
'#skF_246': ( list_char * fun_na939144002on_val * fun_li688206603ion_ty * list_P1999446415t_char * exp_list_char * ty ) > ty ).
tff('#skF_85',type,
'#skF_85': produc1278157519t_char > list_char ).
tff(hAPP_f1614126606on_val,type,
hAPP_f1614126606on_val: ( fun_fu540338626on_val * fun_na939144002on_val ) > fun_fu194330259on_val ).
tff(hp,type,
hp: produc12694297on_val > fun_na939144002on_val ).
tff(hAPP_f181262431l_bool,type,
hAPP_f181262431l_bool: ( fun_fu2083094209l_bool * fun_fu1670877422y_bool ) > fun_fu2075294830l_bool ).
tff(hAPP_f1090181127on_val,type,
hAPP_f1090181127on_val: ( fun_fu370674997on_val * fun_bo180791194on_val ) > fun_Pr1439582210on_val ).
tff('#skF_243',type,
'#skF_243': ( fun_na939144002on_val * fun_na939144002on_val ) > nat ).
tff('#skF_119',type,
'#skF_119': fun_Pr565113489r_bool > list_char ).
tff(produc1596270113l_bool,type,
produc1596270113l_bool: fun_fu612116759l_bool ).
tff(hAPP_f2011777102l_bool,type,
hAPP_f2011777102l_bool: ( fun_fu1677251708l_bool * fun_li1432931796on_val ) > fun_Pr680585871l_bool ).
tff(assigned,type,
assigned: ( list_char * exp_list_char ) > bool ).
tff(produc823076510on_val,type,
produc823076510on_val: fun_li1436431093on_val ).
tff(hAPP_f235082303t_bool,type,
hAPP_f235082303t_bool: ( fun_fu347446253t_bool * fun_li1432931796on_val ) > fun_nat_bool ).
tff(hAPP_f630712985l_bool,type,
hAPP_f630712985l_bool: ( fun_fu1813077499l_bool * fun_fu1358756598l_bool ) > fun_fu233425312l_bool ).
tff(redp,type,
redp: ( list_P1999446415t_char * exp_list_char * produc12694297on_val ) > fun_ex1201926843l_bool ).
tff('#skF_109',type,
'#skF_109': fun_Pr680585871l_bool > exp_list_char ).
tff('#skF_196',type,
'#skF_196': ( produc12694297on_val * fun_Pr1386046633r_bool ) > fun_list_char_bool ).
tff(hAPP_nat_option_ty,type,
hAPP_nat_option_ty: ( fun_nat_option_ty * nat ) > option_ty ).
tff(hAPP_P921015288l_bool,type,
hAPP_P921015288l_bool: ( fun_Pr929778732l_bool * produc1278157519t_char ) > fun_Pr252072522l_bool ).
tff('#skF_242',type,
'#skF_242': ( produc124828825on_val * fun_va2114888117l_bool * product_prod_val_val ) > val ).
tff(fun_up683731323on_val,type,
fun_up683731323on_val: ( fun_Pr1790314577on_val * produc124828825on_val * option1479284511on_val ) > fun_Pr1790314577on_val ).
tff(hAPP_f1840640125on_val,type,
hAPP_f1840640125on_val: ( fun_fu2073188913on_val * fun_na939144002on_val ) > fun_fu277794946on_val ).
tff('#skF_130',type,
'#skF_130': ( fun_fu100249073l_bool * produc12694297on_val ) > fun_na939144002on_val ).
tff('#skF_10',type,
'#skF_10': fun_Pr691271849l_bool > produc124828825on_val ).
tff(hAPP_f1309113673on_val,type,
hAPP_f1309113673on_val: ( fun_fu192331261on_val * fun_fu2073188913on_val ) > fun_Pr231134077on_val ).
tff(hAPP_P2143028400r_bool,type,
hAPP_P2143028400r_bool: ( fun_Pr1241534948r_bool * produc1278157519t_char ) > fun_list_char_bool ).
tff(hAPP_f1818217r_bool,type,
hAPP_f1818217r_bool: ( fun_fu1756175179r_bool * fun_li860735411r_bool ) > fun_li860735411r_bool ).
tff(t_1,type,
t_1: ty ).
tff('#skF_114',type,
'#skF_114': fun_Pr315804320l_bool > produc639455274on_val ).
tff(hAPP_f639265145l_bool,type,
hAPP_f639265145l_bool: ( fun_fu470662369l_bool * fun_fu1587641869l_bool ) > fun_fu151382129l_bool ).
tff(hAPP_P292217386t_bool,type,
hAPP_P292217386t_bool: ( fun_Pr1087127692t_bool * product_prod_val_val ) > fun_nat_bool ).
tff(hAPP_P1510515380on_val,type,
hAPP_P1510515380on_val: ( fun_Pr357631842on_val * produc639455274on_val ) > option1479284511on_val ).
tff(hAPP_l989484238l_bool,type,
hAPP_l989484238l_bool: ( fun_li1569131568l_bool * list_char ) > fun_fu1025487243l_bool ).
tff(hAPP_f653692369l_bool,type,
hAPP_f653692369l_bool: ( fun_fu676595845l_bool * fun_ex1005552999on_val ) > fun_ex1201926843l_bool ).
tff(hAPP_f1399435963l_bool,type,
hAPP_f1399435963l_bool: ( fun_fu1980133923l_bool * fun_fu820520599l_bool ) > fun_fu1758230717l_bool ).
tff('#skF_184',type,
'#skF_184': ( fun_Pr2081272681l_bool * fun_val_fun_val_bool ) > val ).
tff(hAPP_f414190381l_bool,type,
hAPP_f414190381l_bool: ( fun_fu740225039l_bool * fun_va1923334394al_val ) > fun_val_bool ).
tff(hAPP_f998724171on_val,type,
hAPP_f998724171on_val: ( fun_fu1329575219on_val * fun_Pr806764899on_val ) > produc12694297on_val ).
tff('#skF_279',type,
'#skF_279': ( exp_list_char * fun_li688206603ion_ty * list_P1999446415t_char * ty * list_char * fun_na939144002on_val ) > ty ).
tff(hAPP_v1775873509l_bool,type,
hAPP_v1775873509l_bool: ( fun_va679853773l_bool * val ) > fun_Pr252072522l_bool ).
tff(hAPP_b617716791t_bool,type,
hAPP_b617716791t_bool: ( fun_bo1211200491t_bool * bop ) > fun_Pr1087127692t_bool ).
tff(produc445472770t_bool,type,
produc445472770t_bool: fun_fu1380761303t_bool ).
tff(hAPP_f1715346603l_bool,type,
hAPP_f1715346603l_bool: ( fun_fu177229913l_bool * fun_Pr806764899on_val ) > bool ).
tff(produc820564232l_bool,type,
produc820564232l_bool: fun_fu1479301695l_bool ).
tff('#skF_136',type,
'#skF_136': ( fun_bo1454185032l_bool * produc1645268488al_val ) > bop ).
tff('#skF_107',type,
'#skF_107': fun_Pr691271849l_bool > produc124828825on_val ).
tff('#skF_30',type,
'#skF_30': fun_Pr2081272681l_bool > product_prod_val_val ).
tff(fTrue,type,
fTrue: bool ).
tff('#skF_180',type,
'#skF_180': ( fun_Pr252072522l_bool * fun_bo1454185032l_bool ) > product_prod_val_val ).
tff(hAPP_l465799708l_bool,type,
hAPP_l465799708l_bool: ( fun_li823162622l_bool * list_char ) > fun_fu177229913l_bool ).
tff('#skF_185',type,
'#skF_185': ( nat * fun_nat_option_val ) > val ).
tff('#skF_156',type,
'#skF_156': ( list_P1999446415t_char * fun_li1432931796on_val * list_char * fun_li688206603ion_ty * val * fun_na939144002on_val ) > ty ).
tff(dom_Pr934474290al_val,type,
dom_Pr934474290al_val: fun_Pr1013877532on_val > fun_Pr252072522l_bool ).
tff('#skF_92',type,
'#skF_92': produc1102272487on_val > produc124828825on_val ).
tff('#skF_94',type,
'#skF_94': produc124828825on_val > produc12694297on_val ).
tff(fun_up1995148684on_val,type,
fun_up1995148684on_val: ( fun_Pr357631842on_val * produc639455274on_val * option1479284511on_val ) > fun_Pr357631842on_val ).
tff(hAPP_P147338735on_val,type,
hAPP_P147338735on_val: ( fun_Pr1618910755on_val * product_prod_val_val ) > produc12694297on_val ).
tff(hAPP_f1706021209r_bool,type,
hAPP_f1706021209r_bool: ( fun_fu647359111r_bool * fun_bo1422795267r_bool ) > fun_Pr1521028203r_bool ).
tff(cOMBB_1210977579on_val,type,
cOMBB_1210977579on_val: fun_fu783298731l_bool ).
tff(none_P179726773on_val,type,
none_P179726773on_val: option1479284511on_val ).
tff(hAPP_P604205461on_val,type,
hAPP_P604205461on_val: ( fun_Pr231134077on_val * produc12694297on_val ) > produc124828825on_val ).
tff(map_ad181331206on_val,type,
map_ad181331206on_val: ( fun_Pr1625553105on_val * fun_Pr1625553105on_val ) > fun_Pr1625553105on_val ).
tff(fun_up958248092on_val,type,
fun_up958248092on_val: ( fun_Pr828669810on_val * produc639455274on_val * option_val ) > fun_Pr828669810on_val ).
tff(produc769963999l_bool,type,
produc769963999l_bool: fun_fu228202007l_bool ).
tff(hAPP_b1930329414l_bool,type,
hAPP_b1930329414l_bool: ( fun_bo1337967738l_bool * bop ) > fun_Pr1619270811l_bool ).
tff(fAss_list_char,type,
fAss_list_char: ( exp_list_char * list_char * list_char * exp_list_char ) > exp_list_char ).
tff(hAPP_P39917866l_bool,type,
hAPP_P39917866l_bool: ( fun_Pr1094589074l_bool * produc124828825on_val ) > fun_Pr165898670l_bool ).
tff(hAPP_list_char_bool,type,
hAPP_list_char_bool: ( fun_list_char_bool * list_char ) > bool ).
tff(cOMBB_1518282696on_val,type,
cOMBB_1518282696on_val: fun_fu938561337l_bool ).
tff(produc1215886546r_bool,type,
produc1215886546r_bool: fun_fu1856038613r_bool ).
tff(hAPP_P1988153107l_bool,type,
hAPP_P1988153107l_bool: ( fun_Pr598845249l_bool * produc12694297on_val ) > fun_Pr1696029455l_bool ).
tff(some_P948696889on_val,type,
some_P948696889on_val: fun_Pr357631842on_val ).
tff('#skF_118',type,
'#skF_118': fun_Pr565113489r_bool > list_char ).
tff(hAPP_f1725502637l_bool,type,
hAPP_f1725502637l_bool: ( fun_fu610694927l_bool * fun_fu1929378469l_bool ) > fun_fu1241242885l_bool ).
tff(hAPP_e1610291612l_bool,type,
hAPP_e1610291612l_bool: ( fun_ex17205502l_bool * exp_list_char ) > fun_Pr562304210l_bool ).
tff(map_ad1808327055al_val,type,
map_ad1808327055al_val: ( fun_Pr1013877532on_val * fun_Pr1013877532on_val ) > fun_Pr1013877532on_val ).
tff(block_list_char,type,
block_list_char: ( list_char * ty * exp_list_char ) > exp_list_char ).
tff('#skF_191',type,
'#skF_191': ( list_char * fun_li1107892380r_bool ) > fun_list_char_bool ).
tff(hAPP_e108155315on_val,type,
hAPP_e108155315on_val: ( fun_ex1005552999on_val * exp_list_char ) > fun_Pr1833267965on_val ).
tff(dom_Pr805691811on_val,type,
dom_Pr805691811on_val: fun_Pr1790314577on_val > fun_Pr680585871l_bool ).
tff(hAPP_P1594728115on_val,type,
hAPP_P1594728115on_val: ( fun_Pr1215677793on_val * produc124828825on_val ) > option_val ).
tff(hAPP_P193916115t_char,type,
hAPP_P193916115t_char: ( fun_Pr2135303553t_char * produc12694297on_val ) > produc1278157519t_char ).
tff(cOMBS_570216337l_bool,type,
cOMBS_570216337l_bool: ( fun_fu1806184744l_bool * fun_fu100249073l_bool ) > fun_fu100249073l_bool ).
tff('#skF_169',type,
'#skF_169': ( fun_Pr315804320l_bool * fun_li823162622l_bool ) > list_char ).
tff('#skF_218',type,
'#skF_218': ( fun_bool_bool * fun_ex1201926843l_bool * produc124828825on_val ) > exp_list_char ).
tff(cOMBB_2121771659al_val,type,
cOMBB_2121771659al_val: fun_fu2057241435l_bool ).
tff('#skF_254',type,
'#skF_254': ( exp_list_char * produc12694297on_val * list_char * list_P1999446415t_char * produc12694297on_val * ty * exp_list_char ) > fun_na939144002on_val ).
tff(cOMBB_315503848t_char,type,
cOMBB_315503848t_char: fun_fu1542084125r_bool ).
tff('#skF_240',type,
'#skF_240': ( produc12694297on_val * fun_va189260341l_bool * product_prod_val_val ) > val ).
tff(hAPP_P177222514l_bool,type,
hAPP_P177222514l_bool: ( fun_Pr1057736788l_bool * produc1278157519t_char ) > fun_Pr315804320l_bool ).
tff(hAPP_f900686428on_val,type,
hAPP_f900686428on_val: ( fun_fu1718160452on_val * fun_Pr806764899on_val ) > produc639455274on_val ).
tff(hAPP_f338074126t_char,type,
hAPP_f338074126t_char: ( fun_fu593680828t_char * fun_li1432931796on_val ) > produc1278157519t_char ).
tff('#skF_54',type,
'#skF_54': ( fun_Pr1696029455l_bool * fun_Pr1696029455l_bool ) > fun_li1432931796on_val ).
tff(hAPP_f600512025on_val,type,
hAPP_f600512025on_val: ( fun_fu1133203323on_val * fun_na939144002on_val ) > fun_fu1622757844on_val ).
tff('#skF_280',type,
'#skF_280': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * bop * produc12694297on_val ) > val ).
tff(hAPP_P947230058t_bool,type,
hAPP_P947230058t_bool: ( fun_Pr592733644t_bool * produc1102272487on_val ) > fun_nat_bool ).
tff(produc636580408on_val,type,
produc636580408on_val: fun_fu1678064953on_val ).
tff('#skF_253',type,
'#skF_253': ( exp_list_char * produc12694297on_val * list_char * list_P1999446415t_char * produc12694297on_val * ty * exp_list_char ) > fun_li1432931796on_val ).
tff('#skF_182',type,
'#skF_182': ( fun_Pr2081272681l_bool * fun_val_fun_val_bool ) > val ).
tff(fun_up1836969043r_bool,type,
fun_up1836969043r_bool: ( fun_Pr1780479017r_bool * produc124828825on_val * option466449911r_bool ) > fun_Pr1780479017r_bool ).
tff(produc111276146r_bool,type,
produc111276146r_bool: fun_fu1091766663r_bool ).
tff(none_val,type,
none_val: option_val ).
tff(hAPP_P1354850246l_bool,type,
hAPP_P1354850246l_bool: ( fun_Pr165898670l_bool * produc124828825on_val ) > fun_Pr252072522l_bool ).
tff('#skF_55',type,
'#skF_55': ( fun_Pr1696029455l_bool * fun_Pr1696029455l_bool ) > fun_na939144002on_val ).
tff(hAPP_P1578317968ion_ty,type,
hAPP_P1578317968ion_ty: ( fun_Pr1325259506ion_ty * product_prod_val_val ) > option_ty ).
tff('#skF_239',type,
'#skF_239': ( produc12694297on_val * fun_va189260341l_bool * product_prod_val_val ) > val ).
tff(hAPP_f1140566725l_bool,type,
hAPP_f1140566725l_bool: ( fun_fu1502964089l_bool * fun_li2040914709l_bool ) > fun_Pr1142346461l_bool ).
tff(produc1259058957on_val,type,
produc1259058957on_val: fun_ex977868519on_val ).
tff('#skF_36',type,
'#skF_36': produc124828825on_val > fun_li1432931796on_val ).
tff('#skF_93',type,
'#skF_93': produc124828825on_val > exp_list_char ).
tff(hAPP_f2057883639l_bool,type,
hAPP_f2057883639l_bool: ( fun_fu121169625l_bool * fun_Pr1696029455l_bool ) > fun_fu1176066021l_bool ).
tff(produc1260869559al_val,type,
produc1260869559al_val: fun_fu967282605al_val ).
tff('#skF_215',type,
'#skF_215': ( fun_bool_bool * fun_fu100249073l_bool * produc12694297on_val ) > fun_li1432931796on_val ).
tff(fun_up421284275ion_ty,type,
fun_up421284275ion_ty: ( fun_nat_option_ty * nat * option_ty ) > fun_nat_option_ty ).
tff(final_list_char,type,
final_list_char: exp_list_char > bool ).
tff(fequal_val,type,
fequal_val: fun_val_fun_val_bool ).
tff('#skF_29',type,
'#skF_29': fun_Pr2081272681l_bool > val ).
tff(hAPP_P929466802al_val,type,
hAPP_P929466802al_val: ( fun_Pr1615326228al_val * product_prod_val_val ) > produc1645268488al_val ).
tff(fun_up106272779on_val,type,
fun_up106272779on_val: ( fun_Pr385431009on_val * produc12694297on_val * option_val ) > fun_Pr385431009on_val ).
tff(hAPP_f910354125l_bool,type,
hAPP_f910354125l_bool: ( fun_fu266921985l_bool * fun_na939144002on_val ) > fun_fu1346254930l_bool ).
tff(cOMBB_2040779506on_val,type,
cOMBB_2040779506on_val: fun_fu574939677l_bool ).
tff('#skF_183',type,
'#skF_183': ( fun_Pr2081272681l_bool * fun_val_fun_val_bool ) > val ).
tff(produc1815960045l_bool,type,
produc1815960045l_bool: fun_fu254083683l_bool ).
tff(hAPP_f1233687287l_bool,type,
hAPP_f1233687287l_bool: ( fun_fu369322201l_bool * fun_Pr680585871l_bool ) > fun_fu1640122725l_bool ).
tff(hAPP_f917296015l_bool,type,
hAPP_f917296015l_bool: ( fun_fu2023535095l_bool * fun_fu1319073539l_bool ) > fun_fu2122484477l_bool ).
tff(produc621191550al_val,type,
produc621191550al_val: fun_bo1153317747al_val ).
tff(l_a,type,
l_a: fun_li1432931796on_val ).
tff('#skF_57',type,
'#skF_57': ( fun_Pr315804320l_bool * fun_Pr315804320l_bool ) > list_char ).
tff(produc726689536r_bool,type,
produc726689536r_bool: fun_fu1331974445r_bool ).
tff(hAPP_v1173428276on_val,type,
hAPP_v1173428276on_val: ( fun_va1157788700on_val * val ) > produc12694297on_val ).
tff(hAPP_f828778154l_bool,type,
hAPP_f828778154l_bool: ( fun_fu285633298l_bool * fun_fu1978109084al_val ) > fun_fu100249073l_bool ).
tff('#skF_131',type,
'#skF_131': ( fun_fu100249073l_bool * produc12694297on_val ) > fun_li1432931796on_val ).
tff('#skF_188',type,
'#skF_188': ( produc639455274on_val * fun_Pr828669810on_val ) > val ).
tff(dom_na996029170on_val,type,
dom_na996029170on_val: fun_na939144002on_val > fun_nat_bool ).
tff(hAPP_l2054741776r_bool,type,
hAPP_l2054741776r_bool: ( fun_li616154692r_bool * list_char ) > fun_Pr70170387r_bool ).
tff(cOMBB_877741809on_val,type,
cOMBB_877741809on_val: fun_fu1802993177l_bool ).
tff(fun_up1149430426on_val,type,
fun_up1149430426on_val: ( fun_li1432931796on_val * list_char * option_val ) > fun_li1432931796on_val ).
tff('#skF_24',type,
'#skF_24': fun_Pr565113489r_bool > produc1278157519t_char ).
tff(d_list_char,type,
d_list_char: ( exp_list_char * option466449911r_bool ) > bool ).
tff(produc1552159258l_bool,type,
produc1552159258l_bool: fun_fu1421250149l_bool ).
tff(hAPP_P1501097100r_bool,type,
hAPP_P1501097100r_bool: ( fun_Pr1385456186r_bool * produc639455274on_val ) > option466449911r_bool ).
tff('#skF_40',type,
'#skF_40': ( produc1102272487on_val * fun_Pr691271849l_bool ) > produc124828825on_val ).
tff(hAPP_f1633332187r_bool,type,
hAPP_f1633332187r_bool: ( fun_fu1847833789r_bool * fun_li835958565t_char ) > fun_li860735411r_bool ).
tff(hAPP_f727795555l_bool,type,
hAPP_f727795555l_bool: ( fun_fu551435671l_bool * fun_va189260341l_bool ) > fun_Pr1619270811l_bool ).
tff(produc899768717on_val,type,
produc899768717on_val: fun_fu1639641777on_val ).
tff('#skF_194',type,
'#skF_194': ( produc1645268488al_val * fun_Pr84112868r_bool ) > fun_list_char_bool ).
tff('#skF_84',type,
'#skF_84': produc639455274on_val > fun_Pr806764899on_val ).
tff(produc1401528596l_bool,type,
produc1401528596l_bool: fun_fu228202007l_bool ).
tff(hAPP_f1777594159l_bool,type,
hAPP_f1777594159l_bool: ( fun_fu164521751l_bool * fun_Pr252072522l_bool ) > fun_fu79989156l_bool ).
tff(produc286289338l_bool,type,
produc286289338l_bool: fun_fu878752391l_bool ).
tff('#skF_3',type,
'#skF_3': ( produc1102272487on_val * fun_Pr691271849l_bool ) > exp_list_char ).
tff(hAPP_f2121594859l_bool,type,
hAPP_f2121594859l_bool: ( fun_fu947198233l_bool * fun_fu100249073l_bool ) > fun_Pr1696029455l_bool ).
tff('#skF_285',type,
'#skF_285': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * bop * produc12694297on_val ) > val ).
tff(cOMBB_1466662571on_val,type,
cOMBB_1466662571on_val: fun_fu1003774433l_bool ).
tff('#skF_263',type,
'#skF_263': ( exp_list_char * fun_li688206603ion_ty * list_char * ty * list_char * fun_na939144002on_val * exp_list_char * list_P1999446415t_char ) > ty ).
tff(hAPP_f1043869573l_bool,type,
hAPP_f1043869573l_bool: ( fun_fu1755700589l_bool * fun_fu964448643l_bool ) > fun_fu911981683l_bool ).
tff('#skF_83',type,
'#skF_83': produc639455274on_val > list_char ).
tff(hAPP_f2048668297l_bool,type,
hAPP_f2048668297l_bool: ( fun_fu1091135037l_bool * fun_fu1980233698l_bool ) > fun_Pr656644398l_bool ).
tff(produc877244993l_bool,type,
produc877244993l_bool: fun_fu1459957565l_bool ).
tff(cOMBC_2027949654l_bool,type,
cOMBC_2027949654l_bool: fun_fu1680591819l_bool ).
tff(throw_list_char,type,
throw_list_char: exp_list_char > exp_list_char ).
tff(produc2075733823l_bool,type,
produc2075733823l_bool: fun_fu1451507727l_bool ).
tff(hAPP_f2044570451l_bool,type,
hAPP_f2044570451l_bool: ( fun_fu394346421l_bool * fun_va959426509al_val ) > fun_val_fun_val_bool ).
tff(hAPP_P731332193l_bool,type,
hAPP_P731332193l_bool: ( fun_Pr1315489347l_bool * produc1278157519t_char ) > fun_Pr680585871l_bool ).
tff(hAPP_P1953518277l_bool,type,
hAPP_P1953518277l_bool: ( fun_Pr741412723l_bool * produc124828825on_val ) > fun_Pr633696065l_bool ).
tff('#skF_248',type,
'#skF_248': ( list_char * exp_list_char ) > val ).
tff(produc828791728l_bool,type,
produc828791728l_bool: fun_fu1340506651l_bool ).
tff(hAPP_l80874262on_val,type,
hAPP_l80874262on_val: ( fun_li1793507146on_val * list_char ) > produc12694297on_val ).
tff(hAPP_f953970029l_bool,type,
hAPP_f953970029l_bool: ( fun_fu1340506651l_bool * fun_li673202352l_bool ) > fun_Pr688287442l_bool ).
tff('#skF_275',type,
'#skF_275': ( list_P1999446415t_char * fun_li688206603ion_ty * fun_na939144002on_val * ty * exp_list_char ) > nat ).
tff(hAPP_P2094403585on_val,type,
hAPP_P2094403585on_val: ( fun_Pr806764899on_val * produc1278157519t_char ) > option_val ).
tff('#skF_9',type,
'#skF_9': produc1102272487on_val > fun_li1432931796on_val ).
tff('#skF_16',type,
'#skF_16': fun_Pr1696029455l_bool > fun_na939144002on_val ).
tff(produc654114665t_bool,type,
produc654114665t_bool: fun_fu1969117875t_bool ).
tff(hAPP_bool_bool,type,
hAPP_bool_bool: ( fun_bool_bool * bool ) > bool ).
tff(hAPP_P171414854l_bool,type,
hAPP_P171414854l_bool: ( fun_Pr656644398l_bool * produc12694297on_val ) > fun_Pr252072522l_bool ).
tff(some_val,type,
some_val: fun_val_option_val ).
tff(hAPP_P1529692155r_bool,type,
hAPP_P1529692155r_bool: ( fun_Pr1386046633r_bool * produc12694297on_val ) > option466449911r_bool ).
tff(hAPP_f1825030711l_bool,type,
hAPP_f1825030711l_bool: ( fun_fu1802993177l_bool * fun_Pr1696029455l_bool ) > fun_fu225006629l_bool ).
tff(hAPP_P912976383l_bool,type,
hAPP_P912976383l_bool: ( fun_Pr1931476659l_bool * produc1102272487on_val ) > fun_Pr2081272681l_bool ).
tff(hAPP_f1432609211l_bool,type,
hAPP_f1432609211l_bool: ( fun_fu1931670947l_bool * fun_fu351211973l_bool ) > fun_fu448518251l_bool ).
tff(cOMBB_292554190ol_bop,type,
cOMBB_292554190ol_bop: fun_fu1475575669l_bool ).
tff(hAPP_f26812903r_bool,type,
hAPP_f26812903r_bool: ( fun_fu1304373193r_bool * fun_fu936776617r_bool ) > fun_fu408016699r_bool ).
tff(hAPP_v852496844al_val,type,
hAPP_v852496844al_val: ( fun_va1923334394al_val * val ) > product_prod_val_val ).
tff(hAPP_val_bool,type,
hAPP_val_bool: ( fun_val_bool * val ) > bool ).
tff('#skF_52',type,
'#skF_52': ( fun_Pr680585871l_bool * fun_Pr680585871l_bool ) > produc12694297on_val ).
tff(cOMBB_840638159al_val,type,
cOMBB_840638159al_val: fun_fu908828651l_bool ).
tff('#skF_163',type,
'#skF_163': ( fun_Pr691271849l_bool * fun_Pr633696065l_bool ) > produc124828825on_val ).
tff('#skF_195',type,
'#skF_195': ( produc639455274on_val * fun_Pr1385456186r_bool ) > fun_list_char_bool ).
tff(hAPP_f192981486l_bool,type,
hAPP_f192981486l_bool: ( fun_fu1221203484l_bool * fun_Pr806764899on_val ) > fun_Pr315804320l_bool ).
tff(hAPP_P808259092l_bool,type,
hAPP_P808259092l_bool: ( fun_Pr1040313468l_bool * produc639455274on_val ) > fun_Pr2081272681l_bool ).
tff(hAPP_f2052660463l_bool,type,
hAPP_f2052660463l_bool: ( fun_fu169292119l_bool * fun_Pr691271849l_bool ) > fun_fu964448643l_bool ).
tff(lAss_list_char,type,
lAss_list_char: ( list_char * exp_list_char ) > exp_list_char ).
tff(eval,type,
eval: ( list_P1999446415t_char * exp_list_char * produc12694297on_val ) > fun_ex1201926843l_bool ).
tff(produc376702929l_bool,type,
produc376702929l_bool: fun_fu2138074009l_bool ).
tff('#skF_284',type,
'#skF_284': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * bop * produc12694297on_val ) > exp_list_char ).
tff('#skF_71',type,
'#skF_71': ( fun_Pr691271849l_bool * fun_Pr691271849l_bool ) > produc124828825on_val ).
tff(v,type,
v: val ).
tff('#skF_140',type,
'#skF_140': ( fun_Pr633696065l_bool * produc1102272487on_val ) > produc124828825on_val ).
tff(hAPP_l1778295065r_bool,type,
hAPP_l1778295065r_bool: ( fun_li1701804749r_bool * list_char ) > fun_fu2000143900r_bool ).
tff(map_ad1877333574val_ty,type,
map_ad1877333574val_ty: ( fun_Pr1232540755ion_ty * fun_Pr1232540755ion_ty ) > fun_Pr1232540755ion_ty ).
tff(produc928527642on_val,type,
produc928527642on_val: fun_fu21671997on_val ).
tff(produc1174947465on_val,type,
produc1174947465on_val: fun_fu1924376903on_val ).
tff(hAPP_P1637755428l_bool,type,
hAPP_P1637755428l_bool: ( fun_Pr1763091538l_bool * produc124828825on_val ) > fun_Pr315804320l_bool ).
tff('#skF_81',type,
'#skF_81': produc12694297on_val > fun_na939144002on_val ).
tff(hAPP_P1815899455l_bool,type,
hAPP_P1815899455l_bool: ( fun_Pr324760563l_bool * product_prod_val_val ) > fun_Pr2081272681l_bool ).
tff(produc121041439l_bool,type,
produc121041439l_bool: fun_fu1871906941l_bool ).
tff(has_fi1183600461t_char,type,
has_fi1183600461t_char: ( list_P1999446415t_char * list_char * list_char * ty ) > fun_list_char_bool ).
tff(hAPP_f1342895119l_bool,type,
hAPP_f1342895119l_bool: ( fun_fu151382129l_bool * fun_Pr1391347915on_val ) > fun_Pr633696065l_bool ).
tff(hAPP_P1605474468l_bool,type,
hAPP_P1605474468l_bool: ( fun_Pr688287442l_bool * produc639455274on_val ) > fun_Pr680585871l_bool ).
tff(v_2,type,
v_2: val ).
tff('#skF_138',type,
'#skF_138': ( fun_val_fun_val_bool * product_prod_val_val ) > val ).
tff(hAPP_l1278066386l_bool,type,
hAPP_l1278066386l_bool: ( fun_li415052468l_bool * list_char ) > fun_Pr1696029455l_bool ).
tff('#skF_230',type,
'#skF_230': ( fun_na939144002on_val * fun_na939144002on_val ) > list_char ).
tff(hAPP_f902010623al_val,type,
hAPP_f902010623al_val: ( fun_fu967282605al_val * fun_fu2114777659al_val ) > fun_Pr143388889al_val ).
tff(cOMBB_263586492ol_val,type,
cOMBB_263586492ol_val: fun_fu1299212805l_bool ).
tff(hAPP_P1510984930r_bool,type,
hAPP_P1510984930r_bool: ( fun_Pr1590835018r_bool * produc124828825on_val ) > fun_Pr2007843174r_bool ).
tff('#skF_70',type,
'#skF_70': ( fun_Pr691271849l_bool * fun_Pr691271849l_bool ) > produc124828825on_val ).
tff(hAPP_f1261046903l_bool,type,
hAPP_f1261046903l_bool: ( fun_fu1384113317l_bool * fun_fu1329575219on_val ) > fun_fu177229913l_bool ).
tff(hAPP_l1369340754l_bool,type,
hAPP_l1369340754l_bool: ( fun_li923379764l_bool * list_char ) > fun_Pr680585871l_bool ).
tff(produc1780328409r_bool,type,
produc1780328409r_bool: fun_fu647359111r_bool ).
tff(hAPP_f1550515381l_bool,type,
hAPP_f1550515381l_bool: ( fun_fu574939677l_bool * fun_fu1255792747l_bool ) > fun_fu1642197899l_bool ).
tff(member1251428284t_char,type,
member1251428284t_char: ( produc1278157519t_char * fun_Pr565113489r_bool ) > bool ).
tff(produc1428203216l_bool,type,
produc1428203216l_bool: fun_fu283662671l_bool ).
tff(produc1441475159on_val,type,
produc1441475159on_val: fun_Pr1391347915on_val ).
tff(produc1231332391l_bool,type,
produc1231332391l_bool: fun_fu937561981l_bool ).
tff('#skF_95',type,
'#skF_95': produc12694297on_val > fun_na939144002on_val ).
tff('#skF_125',type,
'#skF_125': fun_Pr2081272681l_bool > val ).
tff(hAPP_n2063106924r_bool,type,
hAPP_n2063106924r_bool: ( fun_na402763290r_bool * nat ) > option466449911r_bool ).
tff(produc399384568l_bool,type,
produc399384568l_bool: fun_fu254083683l_bool ).
tff(hAPP_f1930574389l_bool,type,
hAPP_f1930574389l_bool: ( fun_fu254083683l_bool * fun_ex1201926843l_bool ) > fun_Pr680585871l_bool ).
tff(hAPP_f497008323l_bool,type,
hAPP_f497008323l_bool: ( fun_fu436897911l_bool * fun_Pr1618910755on_val ) > fun_Pr2081272681l_bool ).
tff(hAPP_f2132060507r_bool,type,
hAPP_f2132060507r_bool: ( fun_fu552814479r_bool * fun_li860735411r_bool ) > fun_Pr565113489r_bool ).
tff(hAPP_f444383845l_bool,type,
hAPP_f444383845l_bool: ( fun_fu2138074009l_bool * fun_Pr293514739l_bool ) > fun_Pr1404764635l_bool ).
tff(hAPP_f451093418l_bool,type,
hAPP_f451093418l_bool: ( fun_fu1952537362l_bool * fun_Pr1615326228al_val ) > fun_Pr2081272681l_bool ).
tff('#skF_132',type,
'#skF_132': ( fun_li823162622l_bool * produc639455274on_val ) > list_char ).
tff('#skF_157',type,
'#skF_157': ( fun_Pr1696029455l_bool * fun_fu100249073l_bool ) > fun_na939144002on_val ).
tff(dom_Pr1305783658val_ty,type,
dom_Pr1305783658val_ty: fun_Pr1298293016ion_ty > fun_Pr680585871l_bool ).
tff(dom_list_char_ty,type,
dom_list_char_ty: fun_li688206603ion_ty > fun_list_char_bool ).
tff(hAPP_f1712766199l_bool,type,
hAPP_f1712766199l_bool: ( fun_fu2085256997l_bool * fun_Pr2087158653on_val ) > fun_Pr680585871l_bool ).
tff(add,type,
add: bop ).
tff(hAPP_f1276548047l_bool,type,
hAPP_f1276548047l_bool: ( fun_fu1871906941l_bool * fun_fu110544035l_bool ) > fun_Pr598845249l_bool ).
tff(member1542417277on_val,type,
member1542417277on_val: ( produc639455274on_val * fun_Pr315804320l_bool ) > bool ).
tff(dom_Pr1523486698val_ty,type,
dom_Pr1523486698val_ty: fun_Pr733352344ion_ty > fun_Pr1696029455l_bool ).
tff('#skF_286',type,
'#skF_286': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * bop * produc12694297on_val ) > produc12694297on_val ).
tff('#skF_247',type,
'#skF_247': ( list_char * fun_na939144002on_val * fun_li688206603ion_ty * list_P1999446415t_char * exp_list_char * ty ) > ty ).
tff('#skF_210',type,
'#skF_210': ( produc12694297on_val * fun_Pr1625553105on_val ) > produc639455274on_val ).
tff(hAPP_f1353090281l_bool,type,
hAPP_f1353090281l_bool: ( fun_fu612116759l_bool * fun_bo1226433611l_bool ) > fun_Pr1713170355l_bool ).
tff(hAPP_f1817272339l_bool,type,
hAPP_f1817272339l_bool: ( fun_fu1869012551l_bool * fun_ex1270309303l_bool ) > fun_Pr741448269l_bool ).
tff(hAPP_l287304753l_bool,type,
hAPP_l287304753l_bool: ( fun_li1084227301l_bool * list_char ) > fun_li923379764l_bool ).
tff('#skF_177',type,
'#skF_177': ( fun_Pr252072522l_bool * fun_bo1454185032l_bool ) > bop ).
tff(dom_Pr594962099al_val,type,
dom_Pr594962099al_val: fun_Pr1215677793on_val > fun_Pr680585871l_bool ).
tff(hAPP_v1285778436l_bool,type,
hAPP_v1285778436l_bool: ( fun_va621701228l_bool * val ) > fun_Pr2081272681l_bool ).
tff(hAPP_P1708370145l_bool,type,
hAPP_P1708370145l_bool: ( fun_Pr680585871l_bool * produc124828825on_val ) > bool ).
tff('#skF_257',type,
'#skF_257': ( list_char * list_P1999446415t_char * produc12694297on_val * exp_list_char * produc12694297on_val * exp_list_char ) > fun_na939144002on_val ).
tff(dom_Pr482007707r_bool,type,
dom_Pr482007707r_bool: fun_Pr192342275r_bool > fun_Pr2081272681l_bool ).
tff('#skF_217',type,
'#skF_217': ( fun_bool_bool * fun_Pr633696065l_bool * produc1102272487on_val ) > produc124828825on_val ).
tff(hAPP_f1336948941l_bool,type,
hAPP_f1336948941l_bool: ( fun_fu2111126267l_bool * fun_va547415023l_bool ) > fun_Pr324760563l_bool ).
tff('#skF_281',type,
'#skF_281': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * bop * produc12694297on_val ) > produc12694297on_val ).
tff(hAPP_f546724245l_bool,type,
hAPP_f546724245l_bool: ( fun_fu2122484477l_bool * fun_ex1201926843l_bool ) > fun_ex1201926843l_bool ).
tff('#skF_267',type,
'#skF_267': ( exp_list_char * ty * list_P1999446415t_char * list_char * list_char * exp_list_char * fun_na939144002on_val * fun_li688206603ion_ty ) > list_char ).
tff('#skF_35',type,
'#skF_35': produc124828825on_val > fun_na939144002on_val ).
tff('#skF_168',type,
'#skF_168': ( fun_Pr680585871l_bool * fun_ex1201926843l_bool ) > produc12694297on_val ).
tff(hAPP_f195923946l_bool,type,
hAPP_f195923946l_bool: ( fun_fu1346254930l_bool * fun_li1432931796on_val ) > fun_Pr2081272681l_bool ).
tff('#skF_100',type,
'#skF_100': produc1278157519t_char > list_char ).
tff(hAPP_f1817800029l_bool,type,
hAPP_f1817800029l_bool: ( fun_fu1025487243l_bool * fun_Pr806764899on_val ) > fun_Pr1696029455l_bool ).
tff('#skF_145',type,
'#skF_145': ( fun_fu100249073l_bool * produc12694297on_val ) > fun_li1432931796on_val ).
tff('#skF_187',type,
'#skF_187': ( produc1645268488al_val * fun_Pr1013877532on_val ) > val ).
tff(cOMBB_1153617344on_val,type,
cOMBB_1153617344on_val: fun_fu698854459l_bool ).
tff('#skF_205',type,
'#skF_205': ( nat * fun_na939144002on_val ) > produc639455274on_val ).
tff(hAPP_f1157264807l_bool,type,
hAPP_f1157264807l_bool: ( fun_fu86538581l_bool * fun_bo1673925482l_bool ) > fun_Pr1649941330l_bool ).
tff('#skF_200',type,
'#skF_200': ( product_prod_val_val * fun_Pr1325259506ion_ty ) > ty ).
tff(cOMBB_1303934920on_val,type,
cOMBB_1303934920on_val: fun_fu781882819l_bool ).
tff(hAPP_f2061154754l_bool,type,
hAPP_f2061154754l_bool: ( fun_fu79989156l_bool * fun_fu544554869al_val ) > fun_fu1693644106l_bool ).
tff(hAPP_f1440866903l_bool,type,
hAPP_f1440866903l_bool: ( fun_fu134864139l_bool * fun_li1382912868on_val ) > fun_li823162622l_bool ).
tff(hAPP_b108134598l_bool,type,
hAPP_b108134598l_bool: ( fun_bo1845219066l_bool * bop ) > fun_Pr307551003l_bool ).
tff(hAPP_f737710471r_bool,type,
hAPP_f737710471r_bool: ( fun_fu1839934575r_bool * fun_fu1749814731r_bool ) > fun_fu1847833789r_bool ).
tff(hAPP_f1992719827l_bool,type,
hAPP_f1992719827l_bool: ( fun_fu878752391l_bool * fun_ex1944467352l_bool ) > fun_Pr165898670l_bool ).
tff(class,type,
class: list_char > ty ).
tff(map_ad1572886776r_bool,type,
map_ad1572886776r_bool: ( fun_Pr192342275r_bool * fun_Pr192342275r_bool ) > fun_Pr192342275r_bool ).
tff(hAPP_nat_option_val,type,
hAPP_nat_option_val: ( fun_nat_option_val * nat ) > option_val ).
tff(hAPP_l1460960191t_bool,type,
hAPP_l1460960191t_bool: ( fun_li649007521t_bool * list_char ) > fun_fu62768508t_bool ).
tff(hAPP_f1734879897l_bool,type,
hAPP_f1734879897l_bool: ( fun_fu816125185l_bool * fun_fu1590192889l_bool ) > fun_fu459093885l_bool ).
tff(hAPP_l1694815232l_bool,type,
hAPP_l1694815232l_bool: ( fun_li1577539636l_bool * list_char ) > fun_fu1912681219l_bool ).
tff(map_ad1402016615val_ty,type,
map_ad1402016615val_ty: ( fun_Pr1325259506ion_ty * fun_Pr1325259506ion_ty ) > fun_Pr1325259506ion_ty ).
tff(hAPP_f1857971237t_bool,type,
hAPP_f1857971237t_bool: ( fun_fu2007671769t_bool * fun_Pr1454982756t_bool ) > fun_Pr592733644t_bool ).
tff('#skF_26',type,
'#skF_26': fun_Pr252072522l_bool > product_prod_val_val ).
tff('#skF_64',type,
'#skF_64': ( fun_Pr252072522l_bool * fun_Pr252072522l_bool ) > product_prod_val_val ).
tff('#skF_161',type,
'#skF_161': ( fun_Pr691271849l_bool * fun_Pr633696065l_bool ) > produc124828825on_val ).
tff(hAPP_e500528395l_bool,type,
hAPP_e500528395l_bool: ( fun_ex1123147373l_bool * exp_list_char ) > fun_Pr598845249l_bool ).
tff('#skF_116',type,
'#skF_116': fun_Pr315804320l_bool > fun_Pr806764899on_val ).
tff('#skF_72',type,
'#skF_72': ( fun_Pr691271849l_bool * fun_Pr691271849l_bool ) > produc124828825on_val ).
tff(transi1395422419t_char,type,
transi1395422419t_char: fun_Pr565113489r_bool > fun_Pr565113489r_bool ).
tff(hAPP_e1833980889l_bool,type,
hAPP_e1833980889l_bool: ( fun_ex1201926843l_bool * exp_list_char ) > fun_Pr1696029455l_bool ).
tff('#skF_63',type,
'#skF_63': ( fun_Pr252072522l_bool * fun_Pr252072522l_bool ) > bop ).
tff(hAPP_f1056413453r_bool,type,
hAPP_f1056413453r_bool: ( fun_fu408016699r_bool * fun_li916220527on_val ) > fun_li860735411r_bool ).
tff(transi1065307915t_char,type,
transi1065307915t_char: fun_li860735411r_bool > fun_li860735411r_bool ).
tff(hAPP_P712854582t_bool,type,
hAPP_P712854582t_bool: ( fun_Pr1454982756t_bool * produc124828825on_val ) > fun_Pr704700594t_bool ).
tff('#skF_61',type,
'#skF_61': ( fun_Pr252072522l_bool * fun_Pr252072522l_bool ) > bop ).
tff('#skF_113',type,
'#skF_113': fun_Pr1696029455l_bool > fun_li1432931796on_val ).
tff(hAPP_P1886180715on_val,type,
hAPP_P1886180715on_val: ( fun_Pr714818201on_val * produc124828825on_val ) > produc1102272487on_val ).
tff(hAPP_P733122084l_bool,type,
hAPP_P733122084l_bool: ( fun_Pr193017682l_bool * produc639455274on_val ) > fun_Pr1696029455l_bool ).
tff(hAPP_v2145502215l_bool,type,
hAPP_v2145502215l_bool: ( fun_va547415023l_bool * val ) > fun_va621701228l_bool ).
tff(hAPP_l221195696on_val,type,
hAPP_l221195696on_val: ( fun_li1382912868on_val * list_char ) > fun_fu1329575219on_val ).
tff('#skF_170',type,
'#skF_170': ( fun_Pr315804320l_bool * fun_li823162622l_bool ) > fun_Pr806764899on_val ).
tff(hAPP_l1288616506r_bool,type,
hAPP_l1288616506r_bool: ( fun_li1107892380r_bool * list_char ) > option466449911r_bool ).
tff(hAPP_v1519391al_val,type,
hAPP_v1519391al_val: ( fun_va959426509al_val * val ) > fun_va1923334394al_val ).
tff('#skF_208',type,
'#skF_208': ( produc1645268488al_val * fun_Pr1938343180on_val ) > produc639455274on_val ).
tff(hAPP_f1631509563l_bool,type,
hAPP_f1631509563l_bool: ( fun_fu942042787l_bool * fun_fu740225039l_bool ) > fun_fu394346421l_bool ).
tff('#skF_228',type,
'#skF_228': ( nat * fun_na939144002on_val * fun_na939144002on_val * list_char * fun_Pr806764899on_val ) > fun_Pr806764899on_val ).
tff('#skF_120',type,
'#skF_120': fun_Pr252072522l_bool > produc1645268488al_val ).
tff(hAPP_P576112536r_bool,type,
hAPP_P576112536r_bool: ( fun_Pr129626572r_bool * produc1102272487on_val ) > fun_list_char_bool ).
tff('#skF_43',type,
'#skF_43': ( produc124828825on_val * fun_Pr680585871l_bool ) > exp_list_char ).
tff('#skF_38',type,
'#skF_38': produc1645268488al_val > val ).
tff(hAPP_f1589017327l_bool,type,
hAPP_f1589017327l_bool: ( fun_fu353473623l_bool * fun_Pr2081272681l_bool ) > fun_fu680686147l_bool ).
tff(hAPP_e1372786563l_bool,type,
hAPP_e1372786563l_bool: ( fun_ex1270309303l_bool * exp_list_char ) > fun_Pr974014925l_bool ).
tff('#skF_155',type,
'#skF_155': ( list_P1999446415t_char * fun_na939144002on_val * fun_li1432931796on_val * fun_li688206603ion_ty ) > val ).
tff(hAPP_f1138830003l_bool,type,
hAPP_f1138830003l_bool: ( fun_fu722886165l_bool * fun_fu1384113317l_bool ) > fun_fu134864139l_bool ).
tff(hAPP_f647637603l_bool,type,
hAPP_f647637603l_bool: ( fun_fu830480791l_bool * fun_va2114888117l_bool ) > fun_Pr307551003l_bool ).
tff('#skF_266',type,
'#skF_266': ( list_P1999446415t_char * list_char * fun_na939144002on_val * exp_list_char * ty * fun_li688206603ion_ty * list_char ) > list_char ).
tff(hAPP_P33140378l_bool,type,
hAPP_P33140378l_bool: ( fun_Pr1298510204l_bool * produc1645268488al_val ) > fun_Pr680585871l_bool ).
tff(hAPP_P121427050ion_ty,type,
hAPP_P121427050ion_ty: ( fun_Pr1298293016ion_ty * produc124828825on_val ) > option_ty ).
tff('#skF_160',type,
'#skF_160': ( fun_Pr1696029455l_bool * fun_fu100249073l_bool ) > fun_li1432931796on_val ).
tff(hAPP_P294971854on_val,type,
hAPP_P294971854on_val: ( fun_Pr1439582210on_val * produc1645268488al_val ) > produc12694297on_val ).
tff(hAPP_f1145600492l_bool,type,
hAPP_f1145600492l_bool: ( fun_fu233425312l_bool * fun_fu540338626on_val ) > fun_fu100249073l_bool ).
tff(hAPP_P536162016l_bool,type,
hAPP_P536162016l_bool: ( fun_Pr2142553108l_bool * produc1102272487on_val ) > fun_Pr252072522l_bool ).
tff('#skF_214',type,
'#skF_214': ( fun_bool_bool * fun_fu100249073l_bool * produc12694297on_val ) > fun_na939144002on_val ).
tff(unit,type,
unit: val ).
tff(fun_up1114451667r_bool,type,
fun_up1114451667r_bool: ( fun_Pr1386046633r_bool * produc12694297on_val * option466449911r_bool ) > fun_Pr1386046633r_bool ).
tff('#skF_74',type,
'#skF_74': ( fun_Pr565113489r_bool * fun_Pr565113489r_bool ) > list_char ).
tff('#skF_7',type,
'#skF_7': produc1102272487on_val > exp_list_char ).
tff(produc1275132703l_bool,type,
produc1275132703l_bool: fun_fu1162814663l_bool ).
tff('#skF_67',type,
'#skF_67': ( fun_Pr2081272681l_bool * fun_Pr2081272681l_bool ) > val ).
tff('#skF_128',type,
'#skF_128': ( fun_ex1201926843l_bool * produc124828825on_val ) > exp_list_char ).
tff(fun_up359791042ion_ty,type,
fun_up359791042ion_ty: ( fun_Pr733352344ion_ty * produc12694297on_val * option_ty ) > fun_Pr733352344ion_ty ).
tff(produc457808617on_val,type,
produc457808617on_val: fun_fu1134959491on_val ).
tff(hAPP_P1802178130t_bool,type,
hAPP_P1802178130t_bool: ( fun_Pr1377794996t_bool * produc1278157519t_char ) > fun_nat_bool ).
tff(hAPP_v906492983on_val,type,
hAPP_v906492983on_val: ( fun_va2094201759on_val * val ) > fun_va1157788700on_val ).
tff('#skF_227',type,
'#skF_227': ( fun_bool_bool * fun_val_fun_val_bool * product_prod_val_val ) > val ).
tff(hAPP_f602593190on_val,type,
hAPP_f602593190on_val: ( fun_fu1622757844on_val * fun_li1432931796on_val ) > produc1102272487on_val ).
tff(hAPP_b940299656l_bool,type,
hAPP_b940299656l_bool: ( fun_bo1673925482l_bool * bop ) > fun_Pr324760563l_bool ).
tff(fun_up424764369ion_ty,type,
fun_up424764369ion_ty: ( fun_li688206603ion_ty * list_char * option_ty ) > fun_li688206603ion_ty ).
tff(dom_Pr1286015283al_val,type,
dom_Pr1286015283al_val: fun_Pr385431009on_val > fun_Pr1696029455l_bool ).
tff(hAPP_P926760609r_bool,type,
hAPP_P926760609r_bool: ( fun_Pr192342275r_bool * product_prod_val_val ) > option466449911r_bool ).
tff(hAPP_f1181212006al_val,type,
hAPP_f1181212006al_val: ( fun_fu1481433236al_val * fun_li1432931796on_val ) > product_prod_val_val ).
tff(hAPP_f1927197746t_bool,type,
hAPP_f1927197746t_bool: ( fun_fu1758268692t_bool * fun_na939144002on_val ) > fun_fu347446253t_bool ).
tff(hAPP_f1849790461on_val,type,
hAPP_f1849790461on_val: ( fun_fu1639641777on_val * fun_na939144002on_val ) > fun_fu1690035458on_val ).
tff('#skF_236',type,
'#skF_236': ( produc1645268488al_val * fun_va2047554000l_bool * product_prod_val_val ) > val ).
tff(hAPP_P1638898323l_bool,type,
hAPP_P1638898323l_bool: ( fun_Pr1793564609l_bool * produc12694297on_val ) > fun_Pr680585871l_bool ).
tff(cOMBB_1718333400on_val,type,
cOMBB_1718333400on_val: fun_fu48585473l_bool ).
tff(cOMBB_1759207793on_val,type,
cOMBB_1759207793on_val: fun_fu1002878233l_bool ).
tff(hAPP_P789556885on_val,type,
hAPP_P789556885on_val: ( fun_Pr2087158653on_val * produc124828825on_val ) > produc12694297on_val ).
tff(member_list_char,type,
member_list_char: ( list_char * fun_list_char_bool ) > bool ).
tff('#skF_42',type,
'#skF_42': ( produc1102272487on_val * fun_Pr691271849l_bool ) > produc12694297on_val ).
tff(produc1958875245l_bool,type,
produc1958875245l_bool: fun_fu947198233l_bool ).
tff(produc20018513l_bool,type,
produc20018513l_bool: fun_fu1562135449l_bool ).
tff('#skF_174',type,
'#skF_174': ( fun_Pr565113489r_bool * fun_li860735411r_bool ) > list_char ).
tff(hAPP_v620871016l_bool,type,
hAPP_v620871016l_bool: ( fun_va2047554000l_bool * val ) > fun_va679853773l_bool ).
tff('#skF_269',type,
'#skF_269': ( exp_list_char * ty * list_P1999446415t_char * list_char * list_char * exp_list_char * fun_na939144002on_val * fun_li688206603ion_ty ) > ty ).
tff(hAPP_f338507310l_bool,type,
hAPP_f338507310l_bool: ( fun_fu1980233698l_bool * fun_na939144002on_val ) > fun_fu1515717811l_bool ).
tff('#skF_250',type,
'#skF_250': ( list_P1999446415t_char * fun_li1432931796on_val * fun_li688206603ion_ty * fun_na939144002on_val * ty * exp_list_char ) > exp_list_char ).
tff('#skF_186',type,
'#skF_186': ( product_prod_val_val * fun_Pr759034427on_val ) > val ).
tff('#skF_31',type,
'#skF_31': produc1102272487on_val > produc124828825on_val ).
tff(produc1741654153l_bool,type,
produc1741654153l_bool: fun_fu1011371575l_bool ).
tff(produc1911975310l_bool,type,
produc1911975310l_bool: fun_Pr680585871l_bool > fun_ex1201926843l_bool ).
tff(hAPP_f1936466825l_bool,type,
hAPP_f1936466825l_bool: ( fun_fu908828651l_bool * fun_Pr1696029455l_bool ) > fun_fu436897911l_bool ).
tff(hAPP_f204556415on_val,type,
hAPP_f204556415on_val: ( fun_fu442091053on_val * fun_fu1133203323on_val ) > fun_Pr336360217on_val ).
tff(la,type,
la: fun_li1432931796on_val ).
tff(hAPP_b1505407649r_bool,type,
hAPP_b1505407649r_bool: ( fun_bo1422795267r_bool * bop ) > fun_Pr1756358412r_bool ).
tff(produc886919678l_bool,type,
produc886919678l_bool: fun_Pr2081272681l_bool > fun_val_fun_val_bool ).
tff('#skF_189',type,
'#skF_189': ( produc12694297on_val * fun_Pr385431009on_val ) > val ).
tff('#skF_88',type,
'#skF_88': produc1645268488al_val > product_prod_val_val ).
tff(hAPP_f1572306499l_bool,type,
hAPP_f1572306499l_bool: ( fun_fu783298731l_bool * fun_fu79989156l_bool ) > fun_fu285633298l_bool ).
tff('#skF_203',type,
'#skF_203': ( produc12694297on_val * fun_Pr733352344ion_ty ) > ty ).
tff(hAPP_v572032837l_bool,type,
hAPP_v572032837l_bool: ( fun_va830487155l_bool * val ) > fun_Pr315804320l_bool ).
tff('#skF_190',type,
'#skF_190': ( produc124828825on_val * fun_Pr1215677793on_val ) > val ).
tff(produc95371820r_bool,type,
produc95371820r_bool: fun_Pr565113489r_bool > fun_li860735411r_bool ).
tff(hAPP_f2060496320y_bool,type,
hAPP_f2060496320y_bool: ( fun_fu1670877422y_bool * fun_li1432931796on_val ) > fun_fu964075521y_bool ).
tff(hAPP_f1534412387l_bool,type,
hAPP_f1534412387l_bool: ( fun_fu228202007l_bool * fun_val_fun_val_bool ) > fun_Pr2081272681l_bool ).
tff(hAPP_f592397849l_bool,type,
hAPP_f592397849l_bool: ( fun_fu48585473l_bool * fun_fu114905943l_bool ) > fun_fu1989717467l_bool ).
tff('#skF_179',type,
'#skF_179': ( fun_Pr252072522l_bool * fun_bo1454185032l_bool ) > bop ).
tff(hAPP_f1491134931r_bool,type,
hAPP_f1491134931r_bool: ( fun_fu1091766663r_bool * fun_ex2119256656r_bool ) > fun_Pr2007843174r_bool ).
tff(hAPP_f496905015l_bool,type,
hAPP_f496905015l_bool: ( fun_fu192068197l_bool * fun_va1157788700on_val ) > fun_val_bool ).
tff(produc1267303057l_bool,type,
produc1267303057l_bool: fun_fu551435671l_bool ).
tff(hAPP_f1523875321l_bool,type,
hAPP_f1523875321l_bool: ( fun_fu1989717467l_bool * fun_fu250820942l_bool ) > fun_fu1806184744l_bool ).
tff(map_ad784656511on_val,type,
map_ad784656511on_val: ( fun_Pr1938343180on_val * fun_Pr1938343180on_val ) > fun_Pr1938343180on_val ).
tff(hAPP_f1443410953l_bool,type,
hAPP_f1443410953l_bool: ( fun_fu1011371575l_bool * fun_li823162622l_bool ) > fun_Pr315804320l_bool ).
tff('#skF_268',type,
'#skF_268': ( exp_list_char * ty * list_P1999446415t_char * list_char * list_char * exp_list_char * fun_na939144002on_val * fun_li688206603ion_ty ) > ty ).
tff('#skF_201',type,
'#skF_201': ( produc1645268488al_val * fun_Pr1232540755ion_ty ) > ty ).
tff('#skF_211',type,
'#skF_211': ( produc124828825on_val * fun_Pr1790314577on_val ) > produc639455274on_val ).
tff('#skF_133',type,
'#skF_133': ( fun_li823162622l_bool * produc639455274on_val ) > fun_Pr806764899on_val ).
tff(hAPP_f15579599t_char,type,
hAPP_f15579599t_char: ( fun_fu1409163261t_char * fun_fu1104134499t_char ) > fun_Pr2135303553t_char ).
tff(hAPP_P1120259733t_bool,type,
hAPP_P1120259733t_bool: ( fun_Pr462529091t_bool * produc639455274on_val ) > fun_nat_bool ).
tff(member773094996on_val,type,
member773094996on_val: ( produc1102272487on_val * fun_Pr691271849l_bool ) > bool ).
tff(ea,type,
ea: exp_list_char ).
tff(fun_up430376729ion_ty,type,
fun_up430376729ion_ty: ( fun_Pr1232540755ion_ty * produc1645268488al_val * option_ty ) > fun_Pr1232540755ion_ty ).
tff('#skF_199',type,
'#skF_199': ( nat * fun_nat_option_ty ) > ty ).
tff(hAPP_f1363667773l_bool,type,
hAPP_f1363667773l_bool: ( fun_fu1722968561l_bool * fun_fu1639641777on_val ) > fun_fu100249073l_bool ).
tff(hAPP_f2020099865l_bool,type,
hAPP_f2020099865l_bool: ( fun_fu1354978043l_bool * fun_Pr315804320l_bool ) > fun_fu1358756598l_bool ).
tff(produc970139208l_bool,type,
produc970139208l_bool: fun_fu910697661l_bool ).
tff(hAPP_l256041150l_bool,type,
hAPP_l256041150l_bool: ( fun_li1452996768l_bool * list_char ) > fun_li2076121851l_bool ).
tff(hAPP_f1608665167l_bool,type,
hAPP_f1608665167l_bool: ( fun_fu937561981l_bool * fun_Pr243522225l_bool ) > fun_Pr1931476659l_bool ).
tff('#skF_76',type,
'#skF_76': ( fun_Pr565113489r_bool * fun_Pr565113489r_bool ) > list_char ).
tff('#skF_151',type,
'#skF_151': ( fun_bo1454185032l_bool * produc1645268488al_val ) > product_prod_val_val ).
tff(lconf_496643946t_char,type,
lconf_496643946t_char: list_P1999446415t_char > fun_fu2141444501y_bool ).
tff(hAPP_l867549837on_val,type,
hAPP_l867549837on_val: ( fun_li916220527on_val * list_char ) > fun_li1793507146on_val ).
tff(produc1812634928l_bool,type,
produc1812634928l_bool: fun_fu431935003l_bool ).
tff(hAPP_b97269396l_bool,type,
hAPP_b97269396l_bool: ( fun_bo1454185032l_bool * bop ) > fun_Pr2081272681l_bool ).
tff('#skF_272',type,
'#skF_272': ( exp_list_char * produc12694297on_val * exp_list_char * produc12694297on_val * list_P1999446415t_char ) > exp_list_char ).
tff(hAPP_n546249108on_val,type,
hAPP_n546249108on_val: ( fun_na939144002on_val * nat ) > option1479284511on_val ).
tff(dom_Pr122328314r_bool,type,
dom_Pr122328314r_bool: fun_Pr84112868r_bool > fun_Pr252072522l_bool ).
tff(hAPP_v1814257440r_bool,type,
hAPP_v1814257440r_bool: ( fun_va1711094920r_bool * val ) > fun_va151260549r_bool ).
tff(produc1148763895on_val,type,
produc1148763895on_val: fun_fu442091053on_val ).
tff(produc107777033l_bool,type,
produc107777033l_bool: fun_fu1347521459l_bool ).
tff('#skF_167',type,
'#skF_167': ( fun_Pr680585871l_bool * fun_ex1201926843l_bool ) > exp_list_char ).
tff(hAPP_l803240415l_bool,type,
hAPP_l803240415l_bool: ( fun_li1596536641l_bool * list_char ) > fun_fu1221203484l_bool ).
tff('#skF_176',type,
'#skF_176': ( fun_Pr565113489r_bool * fun_li860735411r_bool ) > list_char ).
tff(cOMBB_1091123364t_char,type,
cOMBB_1091123364t_char: fun_fu2039604123r_bool ).
tff('#skF_39',type,
'#skF_39': produc1645268488al_val > val ).
tff(cOMBB_507649738t_char,type,
cOMBB_507649738t_char: fun_fu1839934575r_bool ).
tff(hAPP_l1294179937l_bool,type,
hAPP_l1294179937l_bool: ( fun_li2040914709l_bool * list_char ) > fun_fu1380567140l_bool ).
tff(hAPP_f399538905l_bool,type,
hAPP_f399538905l_bool: ( fun_fu626845499l_bool * fun_fu1640122725l_bool ) > fun_fu1262577777l_bool ).
tff('#skF_233',type,
'#skF_233': ( product_prod_val_val * fun_va547415023l_bool * product_prod_val_val ) > val ).
tff(produc10100002l_bool,type,
produc10100002l_bool: fun_fu102926423l_bool ).
tff(hAPP_f1661550453l_bool,type,
hAPP_f1661550453l_bool: ( fun_fu1675319075l_bool * fun_li1782471359l_bool ) > fun_Pr454045387l_bool ).
tff(hAPP_P553120288l_bool,type,
hAPP_P553120288l_bool: ( fun_Pr583235924l_bool * product_prod_val_val ) > fun_Pr252072522l_bool ).
tff(cOMBB_171276332on_val,type,
cOMBB_171276332on_val: fun_fu369322201l_bool ).
tff(hAPP_v618097829t_bool,type,
hAPP_v618097829t_bool: ( fun_val_fun_nat_bool * val ) > fun_nat_bool ).
tff(transi2024712006on_val,type,
transi2024712006on_val: fun_Pr691271849l_bool > fun_Pr691271849l_bool ).
tff(produc1555310053l_bool,type,
produc1555310053l_bool: fun_Pr252072522l_bool > fun_bo1454185032l_bool ).
tff('#skF_165',type,
'#skF_165': ( fun_Pr680585871l_bool * fun_ex1201926843l_bool ) > exp_list_char ).
tff(void,type,
void: ty ).
tff(hAPP_f1203122723t_bool,type,
hAPP_f1203122723t_bool: ( fun_fu1380761303t_bool * fun_va17865894t_bool ) > fun_Pr1087127692t_bool ).
tff('#skF_126',type,
'#skF_126': ( fun_Pr633696065l_bool * produc1102272487on_val ) > produc124828825on_val ).
tff(hAPP_l780727270l_bool,type,
hAPP_l780727270l_bool: ( fun_li537151130l_bool * list_char ) > fun_Pr2081272681l_bool ).
tff('#skF_96',type,
'#skF_96': produc12694297on_val > fun_li1432931796on_val ).
tff(cOMBB_223841226on_val,type,
cOMBB_223841226on_val: fun_fu621800173l_bool ).
tff('#skF_98',type,
'#skF_98': produc639455274on_val > fun_Pr806764899on_val ).
tff('#skF_229',type,
'#skF_229': ( fun_na939144002on_val * fun_na939144002on_val ) > nat ).
tff(hAPP_ty_option_ty,type,
hAPP_ty_option_ty: ( fun_ty_option_ty * ty ) > option_ty ).
tff(hAPP_f1508793015l_bool,type,
hAPP_f1508793015l_bool: ( fun_fu819253913l_bool * fun_Pr1696029455l_bool ) > fun_fu1384113317l_bool ).
tff(hAPP_l1110132679l_bool,type,
hAPP_l1110132679l_bool: ( fun_li2076121851l_bool * list_char ) > fun_Pr252072522l_bool ).
tff(the_val,type,
the_val: option_val > val ).
tff('#skF_149',type,
'#skF_149': ( fun_li860735411r_bool * produc1278157519t_char ) > list_char ).
tff(conf_P373316194t_char,type,
conf_P373316194t_char: ( list_P1999446415t_char * fun_na939144002on_val * val * ty ) > bool ).
tff(cOMBB_73690268t_char,type,
cOMBB_73690268t_char: fun_fu1980133923l_bool ).
tff(hAPP_f193834907l_bool,type,
hAPP_f193834907l_bool: ( fun_fu1912681219l_bool * fun_Pr806764899on_val ) > fun_Pr2081272681l_bool ).
tff(hAPP_l1691929923t_bool,type,
hAPP_l1691929923t_bool: ( fun_li378593189t_bool * list_char ) > fun_nat_bool ).
tff(hAPP_P1717724164t_bool,type,
hAPP_P1717724164t_bool: ( fun_Pr704700594t_bool * produc124828825on_val ) > fun_nat_bool ).
tff('#skF_5',type,
'#skF_5': ( produc1102272487on_val * fun_Pr691271849l_bool ) > fun_li1432931796on_val ).
tff(hAPP_e592495499l_bool,type,
hAPP_e592495499l_bool: ( fun_ex1732109805l_bool * exp_list_char ) > fun_Pr1793564609l_bool ).
tff(hAPP_f1608921212l_bool,type,
hAPP_f1608921212l_bool: ( fun_fu1380567140l_bool * fun_Pr806764899on_val ) > fun_Pr252072522l_bool ).
tff(fun_up2041264236on_val,type,
fun_up2041264236on_val: ( fun_na939144002on_val * nat * option1479284511on_val ) > fun_na939144002on_val ).
tff('#skF_181',type,
'#skF_181': ( fun_Pr2081272681l_bool * fun_val_fun_val_bool ) > val ).
tff(hAPP_f1136596083l_bool,type,
hAPP_f1136596083l_bool: ( fun_fu1394314709l_bool * fun_fu1039024310l_bool ) > fun_fu515606202l_bool ).
tff(hAPP_P1066308164on_val,type,
hAPP_P1066308164on_val: ( fun_Pr1517604908on_val * produc639455274on_val ) > produc12694297on_val ).
tff(hAPP_f1650812869r_bool,type,
hAPP_f1650812869r_bool: ( fun_fu252645753r_bool * fun_li1701804749r_bool ) > fun_Pr1889776021r_bool ).
tff(hAPP_f664873147l_bool,type,
hAPP_f664873147l_bool: ( fun_fu1061236771l_bool * fun_Pr2081272681l_bool ) > fun_fu740225039l_bool ).
tff(dom_Pr1770328362r_bool,type,
dom_Pr1770328362r_bool: fun_Pr1385456186r_bool > fun_Pr315804320l_bool ).
tff(hAPP_f926562337l_bool,type,
hAPP_f926562337l_bool: ( fun_fu983865091l_bool * fun_Pr680585871l_bool ) > fun_Pr680585871l_bool ).
tff(hAPP_P1138140810l_bool,type,
hAPP_P1138140810l_bool: ( fun_Pr381296236l_bool * produc1102272487on_val ) > fun_Pr315804320l_bool ).
tff('#skF_28',type,
'#skF_28': fun_Pr2081272681l_bool > val ).
tff(hAPP_f332734435r_bool,type,
hAPP_f332734435r_bool: ( fun_fu1749814731r_bool * fun_li1857149300t_char ) > fun_list_char_bool ).
tff(produc1837990498l_bool,type,
produc1837990498l_bool: fun_fu1345961817l_bool ).
tff(map_ad564247072on_val,type,
map_ad564247072on_val: ( fun_Pr1900992299on_val * fun_Pr1900992299on_val ) > fun_Pr1900992299on_val ).
tff('#skF_105',type,
'#skF_105': fun_Pr691271849l_bool > produc1102272487on_val ).
tff(hAPP_f928795841al_val,type,
hAPP_f928795841al_val: ( fun_fu405972463al_val * fun_fu1978109084al_val ) > fun_Pr1009028282al_val ).
tff('#skF_25',type,
'#skF_25': fun_Pr252072522l_bool > bop ).
tff(hAPP_f40221303l_bool,type,
hAPP_f40221303l_bool: ( fun_fu524930393l_bool * fun_Pr1696029455l_bool ) > fun_fu192068197l_bool ).
tff(hAPP_l195239522on_val,type,
hAPP_l195239522on_val: ( fun_li1309482948on_val * list_char ) > option1479284511on_val ).
tff(e_a,type,
e_a: exp_list_char ).
tff(fun_up1177725947on_val,type,
fun_up1177725947on_val: ( fun_Pr1625553105on_val * produc12694297on_val * option1479284511on_val ) > fun_Pr1625553105on_val ).
tff(fconj,type,
fconj: fun_bo1549164019l_bool ).
tff(hAPP_P142343914ion_ty,type,
hAPP_P142343914ion_ty: ( fun_Pr733352344ion_ty * produc12694297on_val ) > option_ty ).
tff('#skF_122',type,
'#skF_122': fun_Pr252072522l_bool > product_prod_val_val ).
tff(dom_Pr1536367242val_ty,type,
dom_Pr1536367242val_ty: fun_Pr1325259506ion_ty > fun_Pr2081272681l_bool ).
tff(hconf_97414254t_char,type,
hconf_97414254t_char: list_P1999446415t_char > fun_fu1246919812l_bool ).
tff(hAPP_f820838927l_bool,type,
hAPP_f820838927l_bool: ( fun_fu910697661l_bool * fun_va2047554000l_bool ) > fun_Pr583235924l_bool ).
tff('#skF_129',type,
'#skF_129': ( fun_ex1201926843l_bool * produc124828825on_val ) > produc12694297on_val ).
tff(hAPP_f2144092865l_bool,type,
hAPP_f2144092865l_bool: ( fun_fu606696995l_bool * fun_na939144002on_val ) > fun_fu1677251708l_bool ).
tff(hAPP_b420404024on_val,type,
hAPP_b420404024on_val: ( fun_bo180791194on_val * bop ) > fun_Pr1618910755on_val ).
tff(produc392960766l_bool,type,
produc392960766l_bool: fun_fu1011371575l_bool ).
tff(fun_up387678665r_bool,type,
fun_up387678665r_bool: ( fun_Pr192342275r_bool * product_prod_val_val * option466449911r_bool ) > fun_Pr192342275r_bool ).
tff(hAPP_P2111013316on_val,type,
hAPP_P2111013316on_val: ( fun_Pr828669810on_val * produc639455274on_val ) > option_val ).
tff(hAPP_l130580829l_bool,type,
hAPP_l130580829l_bool: ( fun_li1782471359l_bool * list_char ) > fun_li537151130l_bool ).
tff(hAPP_f927043595l_bool,type,
hAPP_f927043595l_bool: ( fun_fu911981683l_bool * fun_fu1133203323on_val ) > fun_fu100249073l_bool ).
tff(hAPP_f243373951t_bool,type,
hAPP_f243373951t_bool: ( fun_fu1969117875t_bool * fun_bo1211200491t_bool ) > fun_Pr2147252461t_bool ).
tff(produc848137919l_bool,type,
produc848137919l_bool: fun_fu1080564751l_bool ).
tff(cOMBB_1583755916ol_val,type,
cOMBB_1583755916ol_val: fun_fu1061236771l_bool ).
tff(fun_up768537841on_val,type,
fun_up768537841on_val: ( fun_Pr1900992299on_val * product_prod_val_val * option1479284511on_val ) > fun_Pr1900992299on_val ).
tff(produc1326056646l_bool,type,
produc1326056646l_bool: fun_fu1534370419l_bool ).
tff('#skF_197',type,
'#skF_197': ( produc124828825on_val * fun_Pr1780479017r_bool ) > fun_list_char_bool ).
tff(produc1810874273r_bool,type,
produc1810874273r_bool: fun_fu252645753r_bool ).
tff(fun_up307314898on_val,type,
fun_up307314898on_val: ( fun_Pr1938343180on_val * produc1645268488al_val * option1479284511on_val ) > fun_Pr1938343180on_val ).
tff('#skF_33',type,
'#skF_33': produc1102272487on_val > produc12694297on_val ).
tff(hAPP_f394183983on_val,type,
hAPP_f394183983on_val: ( fun_fu1753546205on_val * fun_Pr1719283041on_val ) > fun_Pr1727285475on_val ).
tff(hAPP_P1870962205on_val,type,
hAPP_P1870962205on_val: ( fun_Pr1391347915on_val * produc124828825on_val ) > fun_Pr714818201on_val ).
tff(hAPP_P1971671882l_bool,type,
hAPP_P1971671882l_bool: ( fun_Pr1667914028l_bool * product_prod_val_val ) > fun_Pr315804320l_bool ).
tff(hAPP_f1371002581r_bool,type,
hAPP_f1371002581r_bool: ( fun_fu297867453r_bool * fun_list_char_bool ) > fun_list_char_bool ).
tff(dom_Pr695701035ar_val,type,
dom_Pr695701035ar_val: fun_Pr806764899on_val > fun_Pr565113489r_bool ).
tff(hAPP_f336522659r_bool,type,
hAPP_f336522659r_bool: ( fun_fu1190526859r_bool * fun_fu297867453r_bool ) > fun_fu1756175179r_bool ).
tff(hAPP_f1074020887l_bool,type,
hAPP_f1074020887l_bool: ( fun_fu1590192889l_bool * fun_fu1693644106l_bool ) > fun_fu1693644106l_bool ).
tff(produc1973453616l_bool,type,
produc1973453616l_bool: fun_fu388140521l_bool ).
tff(hAPP_P1788447177on_val,type,
hAPP_P1788447177on_val: ( fun_Pr1900992299on_val * product_prod_val_val ) > option1479284511on_val ).
tff(hAPP_f1001225811y_bool,type,
hAPP_f1001225811y_bool: ( fun_fu964075521y_bool * fun_li688206603ion_ty ) > bool ).
tff(produc85367547l_bool,type,
produc85367547l_bool: fun_fu1534370419l_bool ).
tff(cast_list_char,type,
cast_list_char: ( list_char * exp_list_char ) > exp_list_char ).
tff(hAPP_P1067836940al_val,type,
hAPP_P1067836940al_val: ( fun_Pr1009028282al_val * produc12694297on_val ) > produc1645268488al_val ).
tff(produc737906696l_bool,type,
produc737906696l_bool: fun_fu1128668857l_bool ).
tff('#skF_265',type,
'#skF_265': ( fun_li688206603ion_ty * list_char * exp_list_char * fun_na939144002on_val * list_P1999446415t_char ) > nat ).
tff(binOp_list_char,type,
binOp_list_char: ( exp_list_char * bop * exp_list_char ) > exp_list_char ).
tff(hAPP_f1182128795l_bool,type,
hAPP_f1182128795l_bool: ( fun_fu283662671l_bool * fun_li507112950l_bool ) > fun_Pr1057736788l_bool ).
tff('#skF_18',type,
'#skF_18': fun_Pr1696029455l_bool > produc12694297on_val ).
tff(hAPP_f1937467848l_bool,type,
hAPP_f1937467848l_bool: ( fun_fu1358756598l_bool * fun_fu194330259on_val ) > fun_fu1693644106l_bool ).
tff('#skF_192',type,
'#skF_192': ( nat * fun_na402763290r_bool ) > fun_list_char_bool ).
tff(hAPP_f555424277l_bool,type,
hAPP_f555424277l_bool: ( fun_fu459093885l_bool * fun_fu100249073l_bool ) > fun_fu100249073l_bool ).
tff(v_1,type,
v_1: list_char ).
tff(cOMBB_819439237t_char,type,
cOMBB_819439237t_char: fun_fu1104572687l_bool ).
tff(hAPP_v1739888647l_bool,type,
hAPP_v1739888647l_bool: ( fun_va2114888117l_bool * val ) > fun_va267341538l_bool ).
tff(fun_up965897386r_bool,type,
fun_up965897386r_bool: ( fun_Pr84112868r_bool * produc1645268488al_val * option466449911r_bool ) > fun_Pr84112868r_bool ).
tff(produc1003071703on_val,type,
produc1003071703on_val: fun_fu1753546205on_val ).
tff(hAPP_l1361600383r_bool,type,
hAPP_l1361600383r_bool: ( fun_li860735411r_bool * list_char ) > fun_list_char_bool ).
tff(hAPP_P693658169l_bool,type,
hAPP_P693658169l_bool: ( fun_Pr307551003l_bool * product_prod_val_val ) > fun_Pr680585871l_bool ).
tff(dom_Pr1854948307al_val,type,
dom_Pr1854948307al_val: fun_Pr759034427on_val > fun_Pr2081272681l_bool ).
tff('#skF_232',type,
'#skF_232': ( list_char * nat * fun_Pr806764899on_val * fun_na939144002on_val * fun_na939144002on_val ) > fun_Pr806764899on_val ).
tff(hAPP_f151189509l_bool,type,
hAPP_f151189509l_bool: ( fun_fu621800173l_bool * fun_fu680686147l_bool ) > fun_fu892541875l_bool ).
tff(cOMBB_1962662865on_val,type,
cOMBB_1962662865on_val: fun_fu1813077499l_bool ).
tff('#skF_213',type,
'#skF_213': ( list_char * fun_li1432931796on_val ) > val ).
tff(produc2062775566l_bool,type,
produc2062775566l_bool: fun_Pr1696029455l_bool > fun_fu100249073l_bool ).
tff('#skF_77',type,
'#skF_77': produc1102272487on_val > produc124828825on_val ).
tff(member763590124on_val,type,
member763590124on_val: ( produc12694297on_val * fun_Pr1696029455l_bool ) > bool ).
tff(hAPP_v1940296605r_bool,type,
hAPP_v1940296605r_bool: ( fun_va151260549r_bool * val ) > fun_list_char_bool ).
tff(wTrt,type,
wTrt: ( list_P1999446415t_char * fun_na939144002on_val * fun_li688206603ion_ty * exp_list_char * ty ) > bool ).
tff(hAPP_f1271281289on_val,type,
hAPP_f1271281289on_val: ( fun_fu21671997on_val * fun_fu540338626on_val ) > fun_Pr1684668686on_val ).
tff(dom_Pr548306299r_bool,type,
dom_Pr548306299r_bool: fun_Pr1780479017r_bool > fun_Pr680585871l_bool ).
tff(nullPointer,type,
nullPointer: list_char ).
tff(fun_up576032467ion_ty,type,
fun_up576032467ion_ty: ( fun_Pr876827561ion_ty * produc639455274on_val * option_ty ) > fun_Pr876827561ion_ty ).
tff('#skF_73',type,
'#skF_73': ( fun_Pr565113489r_bool * fun_Pr565113489r_bool ) > list_char ).
tff(produc155418000t_bool,type,
produc155418000t_bool: fun_fu1278173919t_bool ).
tff(hAPP_f57041375l_bool,type,
hAPP_f57041375l_bool: ( fun_fu615344397l_bool * fun_li1432931796on_val ) > fun_Pr315804320l_bool ).
tff(cOMBB_572737002on_val,type,
cOMBB_572737002on_val: fun_fu1545449147l_bool ).
tff('#skF_139',type,
'#skF_139': ( fun_val_fun_val_bool * product_prod_val_val ) > val ).
tff('#skF_223',type,
'#skF_223': ( fun_bool_bool * fun_li860735411r_bool * produc1278157519t_char ) > list_char ).
tff(hAPP_f838396643l_bool,type,
hAPP_f838396643l_bool: ( fun_fu1680591819l_bool * fun_fu570492181l_bool ) > fun_fu863769827l_bool ).
tff(produc2036005791l_bool,type,
produc2036005791l_bool: fun_fu1913539015l_bool ).
tff('#skF_273',type,
'#skF_273': ( list_P1999446415t_char * fun_li688206603ion_ty * fun_na939144002on_val * ty * exp_list_char ) > nat ).
tff(hAPP_v1392248405l_bool,type,
hAPP_v1392248405l_bool: ( fun_val_fun_val_bool * val ) > fun_val_bool ).
tff(some_ty,type,
some_ty: fun_ty_option_ty ).
tff(dom_Pr585943145val_ty,type,
dom_Pr585943145val_ty: fun_Pr1232540755ion_ty > fun_Pr252072522l_bool ).
tff('#skF_50',type,
'#skF_50': ( fun_Pr680585871l_bool * fun_Pr680585871l_bool ) > produc12694297on_val ).
tff(hAPP_P1591874724l_bool,type,
hAPP_P1591874724l_bool: ( fun_Pr562304210l_bool * produc12694297on_val ) > fun_Pr315804320l_bool ).
tff(produc1759631162l_bool,type,
produc1759631162l_bool: fun_fu1091135037l_bool ).
tff(hAPP_f1830813581l_bool,type,
hAPP_f1830813581l_bool: ( fun_fu1475575669l_bool * fun_fu586179709l_bool ) > fun_fu1638830325l_bool ).
tff(produc278452722r_bool,type,
produc278452722r_bool: fun_fu201937213r_bool ).
tff('#skF_219',type,
'#skF_219': ( fun_bool_bool * fun_ex1201926843l_bool * produc124828825on_val ) > produc12694297on_val ).
tff(produc240246489l_bool,type,
produc240246489l_bool: fun_fu1869012551l_bool ).
tff(hAPP_P2013623467al_val,type,
hAPP_P2013623467al_val: ( fun_Pr143388889al_val * produc12694297on_val ) > product_prod_val_val ).
tff(hAPP_P1936714534on_val,type,
hAPP_P1936714534on_val: ( fun_Pr1684668686on_val * produc12694297on_val ) > produc639455274on_val ).
tff('#skF_153',type,
'#skF_153': ( fun_val_fun_val_bool * product_prod_val_val ) > val ).
tff(produc234747160al_val,type,
produc234747160al_val: fun_fu405972463al_val ).
tff(hAPP_f1779904442al_val,type,
hAPP_f1779904442al_val: ( fun_fu1978109084al_val * fun_na939144002on_val ) > fun_fu544554869al_val ).
tff(produc576623071t_char,type,
produc576623071t_char: fun_fu1409163261t_char ).
tff(hAPP_f1685556710r_bool,type,
hAPP_f1685556710r_bool: ( fun_fu684057754r_bool * fun_na939144002on_val ) > fun_fu503916907r_bool ).
tff(hAPP_f802896187l_bool,type,
hAPP_f802896187l_bool: ( fun_fu388140521l_bool * fun_ex17205502l_bool ) > fun_Pr1763091538l_bool ).
tff(map_ad2048931253on_val,type,
map_ad2048931253on_val: ( fun_Pr357631842on_val * fun_Pr357631842on_val ) > fun_Pr357631842on_val ).
tff('#skF_21',type,
'#skF_21': fun_Pr315804320l_bool > produc639455274on_val ).
tff('#skF_47',type,
'#skF_47': ( produc1645268488al_val * fun_Pr252072522l_bool ) > val ).
tff('#skF_13',type,
'#skF_13': fun_Pr680585871l_bool > exp_list_char ).
tff('#skF_178',type,
'#skF_178': ( fun_Pr252072522l_bool * fun_bo1454185032l_bool ) > product_prod_val_val ).
tff(cOMBB_486278459on_val,type,
cOMBB_486278459on_val: fun_fu819253913l_bool ).
tff('#skF_238',type,
'#skF_238': ( produc639455274on_val * fun_va1468324038l_bool * product_prod_val_val ) > val ).
tff(hAPP_nat_bool,type,
hAPP_nat_bool: ( fun_nat_bool * nat ) > bool ).
tff(hAPP_f653851379l_bool,type,
hAPP_f653851379l_bool: ( fun_fu2057241435l_bool * fun_bool_bool ) > fun_fu586179709l_bool ).
tff('#skF_90',type,
'#skF_90': product_prod_val_val > val ).
tff(hAPP_f850751421l_bool,type,
hAPP_f850751421l_bool: ( fun_fu1262577777l_bool * fun_fu2073188913on_val ) > fun_fu100249073l_bool ).
tff(hAPP_f635218277l_bool,type,
hAPP_f635218277l_bool: ( fun_fu371764249l_bool * fun_Pr633696065l_bool ) > fun_Pr691271849l_bool ).
tff(hAPP_P1882136222l_bool,type,
hAPP_P1882136222l_bool: ( fun_Pr1649941330l_bool * produc1645268488al_val ) > fun_Pr2081272681l_bool ).
tff('#skF_11',type,
'#skF_11': fun_Pr691271849l_bool > produc124828825on_val ).
tff(hAPP_f603925568l_bool,type,
hAPP_f603925568l_bool: ( fun_fu2075294830l_bool * fun_li688206603ion_ty ) > fun_fu1693644106l_bool ).
tff('#skF_287',type,
'#skF_287': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * bop * produc12694297on_val ) > exp_list_char ).
tff(hAPP_f489055607l_bool,type,
hAPP_f489055607l_bool: ( fun_fu1929378469l_bool * fun_Pr231134077on_val ) > fun_Pr1696029455l_bool ).
tff(fun_up846528380on_val,type,
fun_up846528380on_val: ( fun_nat_option_val * nat * option_val ) > fun_nat_option_val ).
tff(hAPP_l208357873t_char,type,
hAPP_l208357873t_char: ( fun_li835958565t_char * list_char ) > fun_li1857149300t_char ).
tff(hAPP_f1400730257l_bool,type,
hAPP_f1400730257l_bool: ( fun_fu1479301695l_bool * fun_Pr1094589074l_bool ) > fun_Pr2142553108l_bool ).
tff(hAPP_P722986275on_val,type,
hAPP_P722986275on_val: ( fun_Pr1625553105on_val * produc12694297on_val ) > option1479284511on_val ).
tff(map_ad1185064968ar_val,type,
map_ad1185064968ar_val: ( fun_Pr806764899on_val * fun_Pr806764899on_val ) > fun_Pr806764899on_val ).
tff(hAPP_P1374609397l_bool,type,
hAPP_P1374609397l_bool: ( fun_Pr1142346461l_bool * produc639455274on_val ) > fun_Pr252072522l_bool ).
tff(hAPP_P665696794l_bool,type,
hAPP_P665696794l_bool: ( fun_Pr842269692l_bool * produc1645268488al_val ) > fun_Pr1696029455l_bool ).
tff(produc1282419105t_bool,type,
produc1282419105t_bool: fun_fu1622098173t_bool ).
tff(hAPP_f1863694447l_bool,type,
hAPP_f1863694447l_bool: ( fun_fu114905943l_bool * fun_bool_bool ) > fun_fu1590192889l_bool ).
tff(produc2102986512t_bool,type,
produc2102986512t_bool: fun_fu43046697t_bool ).
tff(hAPP_f1326058377l_bool,type,
hAPP_f1326058377l_bool: ( fun_fu1255792747l_bool * fun_fu593680828t_char ) > fun_fu1693644106l_bool ).
tff(hAPP_f1926378906on_val,type,
hAPP_f1926378906on_val: ( fun_fu277794946on_val * fun_li1432931796on_val ) > produc124828825on_val ).
tff(hAPP_b1229254591al_val,type,
hAPP_b1229254591al_val: ( fun_bo1153317747al_val * bop ) > fun_Pr1615326228al_val ).
tff(produc2098256560t_bool,type,
produc2098256560t_bool: fun_fu351878095t_bool ).
tff(hAPP_f550652027l_bool,type,
hAPP_f550652027l_bool: ( fun_fu863769827l_bool * fun_li688206603ion_ty ) > fun_fu100249073l_bool ).
tff('#skF_162',type,
'#skF_162': ( fun_Pr691271849l_bool * fun_Pr633696065l_bool ) > produc124828825on_val ).
tff('#skF_264',type,
'#skF_264': ( fun_li688206603ion_ty * list_char * exp_list_char * fun_na939144002on_val * list_P1999446415t_char ) > nat ).
tff(hAPP_f1727192346on_val,type,
hAPP_f1727192346on_val: ( fun_fu1690035458on_val * fun_li1432931796on_val ) > produc12694297on_val ).
tff(hAPP_f516738477l_bool,type,
hAPP_f516738477l_bool: ( fun_fu1104572687l_bool * fun_fu225006629l_bool ) > fun_fu676595845l_bool ).
tff(dom_Pr713105403r_bool,type,
dom_Pr713105403r_bool: fun_Pr1386046633r_bool > fun_Pr1696029455l_bool ).
tff(hAPP_f176769507l_bool,type,
hAPP_f176769507l_bool: ( fun_fu351211973l_bool * fun_val_bool ) > fun_val_bool ).
tff('#skF_142',type,
'#skF_142': ( fun_ex1201926843l_bool * produc124828825on_val ) > exp_list_char ).
tff(cOMBB_97313278t_char,type,
cOMBB_97313278t_char: fun_fu722886165l_bool ).
tff(hAPP_val_option_val,type,
hAPP_val_option_val: ( fun_val_option_val * val ) > option_val ).
tff(hAPP_f1683814075r_bool,type,
hAPP_f1683814075r_bool: ( fun_fu1542084125r_bool * fun_Pr1696029455l_bool ) > fun_fu936776617r_bool ).
tff(hAPP_f2032347769l_bool,type,
hAPP_f2032347769l_bool: ( fun_fu1506313313l_bool * fun_fu983865091l_bool ) > fun_fu1934636263l_bool ).
tff(map_ad172895647r_bool,type,
map_ad172895647r_bool: ( fun_li1107892380r_bool * fun_li1107892380r_bool ) > fun_li1107892380r_bool ).
tff(map_ad1209909133r_bool,type,
map_ad1209909133r_bool: ( fun_Pr1385456186r_bool * fun_Pr1385456186r_bool ) > fun_Pr1385456186r_bool ).
tff(cOMBB_1718324963ol_bop,type,
cOMBB_1718324963ol_bop: fun_fu1231936587l_bool ).
tff(map_ad325961431ar_val,type,
map_ad325961431ar_val: ( fun_li1432931796on_val * fun_li1432931796on_val ) > fun_li1432931796on_val ).
tff(hAPP_P1389845689l_bool,type,
hAPP_P1389845689l_bool: ( fun_Pr1619270811l_bool * product_prod_val_val ) > fun_Pr1696029455l_bool ).
tff('#skF_12',type,
'#skF_12': fun_Pr691271849l_bool > produc1102272487on_val ).
tff(typeSa525116494_sconf,type,
typeSa525116494_sconf: ( list_P1999446415t_char * fun_li688206603ion_ty ) > fun_Pr1696029455l_bool ).
tff('#skF_104',type,
'#skF_104': product_prod_val_val > val ).
tff(hAPP_f624730965l_bool,type,
hAPP_f624730965l_bool: ( fun_fu1758230717l_bool * fun_li823162622l_bool ) > fun_li823162622l_bool ).
tff('#skF_127',type,
'#skF_127': ( fun_Pr633696065l_bool * produc1102272487on_val ) > produc124828825on_val ).
tff(val_list_char,type,
val_list_char: val > exp_list_char ).
tff(cOMBB_1292453606on_val,type,
cOMBB_1292453606on_val: fun_fu169292119l_bool ).
tff(hAPP_v1499173912l_bool,type,
hAPP_v1499173912l_bool: ( fun_va1468324038l_bool * val ) > fun_va830487155l_bool ).
tff(cOMBB_740252943t_char,type,
cOMBB_740252943t_char: fun_fu2023535095l_bool ).
tff('#skF_175',type,
'#skF_175': ( fun_Pr565113489r_bool * fun_li860735411r_bool ) > list_char ).
tff(hAPP_f1861125939r_bool,type,
hAPP_f1861125939r_bool: ( fun_fu2039604123r_bool * fun_bool_bool ) > fun_fu297867453r_bool ).
tff('#skF_146',type,
'#skF_146': ( fun_li823162622l_bool * produc639455274on_val ) > list_char ).
tff(hAPP_f2039548047l_bool,type,
hAPP_f2039548047l_bool: ( fun_fu1459957565l_bool * fun_li1596536641l_bool ) > fun_Pr788853347l_bool ).
tff(hAPP_f833559503l_bool,type,
hAPP_f833559503l_bool: ( fun_fu1343174525l_bool * fun_fu606696995l_bool ) > fun_Pr1793564609l_bool ).
tff(hAPP_f1008932791l_bool,type,
hAPP_f1008932791l_bool: ( fun_fu1176066021l_bool * fun_fu1690035458on_val ) > fun_fu1693644106l_bool ).
tff(cOMBB_1730140646ol_val,type,
cOMBB_1730140646ol_val: fun_fu942042787l_bool ).
tff('#skF_69',type,
'#skF_69': ( fun_Pr691271849l_bool * fun_Pr691271849l_bool ) > produc124828825on_val ).
tff(map_ad435015558on_val,type,
map_ad435015558on_val: ( fun_Pr1790314577on_val * fun_Pr1790314577on_val ) > fun_Pr1790314577on_val ).
tff(hAPP_f439412817l_bool,type,
hAPP_f439412817l_bool: ( fun_fu1241242885l_bool * fun_ex977868519on_val ) > fun_ex1201926843l_bool ).
tff(hAPP_f1175813647l_bool,type,
hAPP_f1175813647l_bool: ( fun_fu100249073l_bool * fun_na939144002on_val ) > fun_fu1693644106l_bool ).
tff(hAPP_f61570481t_bool,type,
hAPP_f61570481t_bool: ( fun_fu1278173919t_bool * fun_fu1758268692t_bool ) > fun_Pr1288966450t_bool ).
tff(hAPP_e1659493427on_val,type,
hAPP_e1659493427on_val: ( fun_ex977868519on_val * exp_list_char ) > fun_Pr231134077on_val ).
tff(hAPP_f2051274555l_bool,type,
hAPP_f2051274555l_bool: ( fun_fu2022309923l_bool * fun_bool_bool ) > fun_fu351211973l_bool ).
tff(produc1704639885r_bool,type,
produc1704639885r_bool: fun_fu552814479r_bool ).
tff(hAPP_f416690673l_bool,type,
hAPP_f416690673l_bool: ( fun_fu823189407l_bool * fun_fu217462836l_bool ) > fun_Pr562304210l_bool ).
tff(h_a,type,
h_a: fun_na939144002on_val ).
tff('#skF_277',type,
'#skF_277': ( fun_na939144002on_val * ty * exp_list_char * fun_li688206603ion_ty * list_P1999446415t_char ) > ty ).
tff(hAPP_P1020760203t_bool,type,
hAPP_P1020760203t_bool: ( fun_Pr2147252461t_bool * produc1645268488al_val ) > fun_nat_bool ).
tff(hAPP_f21084934l_bool,type,
hAPP_f21084934l_bool: ( fun_fu515606202l_bool * fun_li1436431093on_val ) > fun_li823162622l_bool ).
tff(hAPP_P509577523on_val,type,
hAPP_P509577523on_val: ( fun_Pr385431009on_val * produc12694297on_val ) > option_val ).
tff(dom_na1091370954r_bool,type,
dom_na1091370954r_bool: fun_na402763290r_bool > fun_nat_bool ).
tff(hAPP_f1561329507l_bool,type,
hAPP_f1561329507l_bool: ( fun_fu1231936587l_bool * fun_fu1952537362l_bool ) > fun_fu1725641376l_bool ).
tff('#skF_58',type,
'#skF_58': ( fun_Pr315804320l_bool * fun_Pr315804320l_bool ) > fun_Pr806764899on_val ).
tff(hAPP_v897668472t_bool,type,
hAPP_v897668472t_bool: ( fun_va17865894t_bool * val ) > fun_val_fun_nat_bool ).
tff('#skF_108',type,
'#skF_108': fun_Pr680585871l_bool > produc124828825on_val ).
tff(produc1988544340l_bool,type,
produc1988544340l_bool: fun_fu371764249l_bool ).
tff('#skF_261',type,
'#skF_261': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * produc12694297on_val ) > produc12694297on_val ).
tff(hAPP_l512744617ion_ty,type,
hAPP_l512744617ion_ty: ( fun_li688206603ion_ty * list_char ) > option_ty ).
tff(map_ad478808158r_bool,type,
map_ad478808158r_bool: ( fun_Pr1780479017r_bool * fun_Pr1780479017r_bool ) > fun_Pr1780479017r_bool ).
tff(hAPP_f1973249537r_bool,type,
hAPP_f1973249537r_bool: ( fun_fu1914454703r_bool * fun_Pr1590835018r_bool ) > fun_Pr129626572r_bool ).
tff(cOMBB_1749175574t_char,type,
cOMBB_1749175574t_char: fun_fu1116138167r_bool ).
tff('#skF_224',type,
'#skF_224': ( fun_bool_bool * fun_bo1454185032l_bool * produc1645268488al_val ) > bop ).
tff(hAPP_l2100324114t_char,type,
hAPP_l2100324114t_char: ( fun_li1857149300t_char * list_char ) > produc1278157519t_char ).
tff('#skF_103',type,
'#skF_103': product_prod_val_val > val ).
tff(hAPP_f1203390411l_bool,type,
hAPP_f1203390411l_bool: ( fun_fu1515717811l_bool * fun_li1432931796on_val ) > fun_Pr252072522l_bool ).
tff(hAPP_P416784693l_bool,type,
hAPP_P416784693l_bool: ( fun_Pr788853347l_bool * produc639455274on_val ) > fun_Pr315804320l_bool ).
tff(produc2128769400l_bool,type,
produc2128769400l_bool: fun_fu947198233l_bool ).
tff('#skF_1',type,
'#skF_1': ( ty * fun_li688206603ion_ty ) > ty ).
tff(p,type,
p: list_P1999446415t_char ).
tff('#skF_41',type,
'#skF_41': ( produc1102272487on_val * fun_Pr691271849l_bool ) > exp_list_char ).
tff('#skF_137',type,
'#skF_137': ( fun_bo1454185032l_bool * produc1645268488al_val ) > product_prod_val_val ).
tff(hAPP_f1996106275l_bool,type,
hAPP_f1996106275l_bool: ( fun_fu1642197899l_bool * fun_fu1104134499t_char ) > fun_fu100249073l_bool ).
tff(hAPP_v958864436l_bool,type,
hAPP_v958864436l_bool: ( fun_va934618978l_bool * val ) > fun_Pr1696029455l_bool ).
tff('#skF_172',type,
'#skF_172': ( fun_Pr315804320l_bool * fun_li823162622l_bool ) > fun_Pr806764899on_val ).
tff('#skF_89',type,
'#skF_89': product_prod_val_val > val ).
tff(cOMBB_1033454012t_char,type,
cOMBB_1033454012t_char: fun_fu1190526859r_bool ).
tff(cOMBB_364363975on_val,type,
cOMBB_364363975on_val: fun_fu470662369l_bool ).
tff('#skF_158',type,
'#skF_158': ( fun_Pr1696029455l_bool * fun_fu100249073l_bool ) > fun_li1432931796on_val ).
tff('#skF_249',type,
'#skF_249': ( list_char * exp_list_char ) > exp_list_char ).
tff('#skF_164',type,
'#skF_164': ( fun_Pr691271849l_bool * fun_Pr633696065l_bool ) > produc124828825on_val ).
tff(map_ad860315085val_ty,type,
map_ad860315085val_ty: ( fun_Pr1298293016ion_ty * fun_Pr1298293016ion_ty ) > fun_Pr1298293016ion_ty ).
tff(wf_J_mdecl,type,
wf_J_mdecl: fun_li318226104r_bool ).
tff('#skF_198',type,
'#skF_198': ( list_char * fun_li688206603ion_ty ) > ty ).
tff('#skF_80',type,
'#skF_80': produc124828825on_val > produc12694297on_val ).
tff(hAPP_f775361359r_bool,type,
hAPP_f775361359r_bool: ( fun_fu1116138167r_bool * fun_Pr565113489r_bool ) > fun_fu1749814731r_bool ).
tff(hAPP_f1024478733l_bool,type,
hAPP_f1024478733l_bool: ( fun_fu649880763l_bool * fun_va2094201759on_val ) > fun_val_fun_val_bool ).
tff(hAPP_f1046102489l_bool,type,
hAPP_f1046102489l_bool: ( fun_fu1545449147l_bool * fun_Pr315804320l_bool ) > fun_fu1039024310l_bool ).
tff('#skF_141',type,
'#skF_141': ( fun_Pr633696065l_bool * produc1102272487on_val ) > produc124828825on_val ).
tff(cOMBB_1150072860ol_bop,type,
cOMBB_1150072860ol_bop: fun_fu775697111l_bool ).
tff('#skF_27',type,
'#skF_27': fun_Pr252072522l_bool > produc1645268488al_val ).
tff(hAPP_P87436745l_bool,type,
hAPP_P87436745l_bool: ( fun_Pr243522225l_bool * produc124828825on_val ) > fun_Pr741448269l_bool ).
tff('#skF_231',type,
'#skF_231': ( fun_na939144002on_val * fun_na939144002on_val ) > fun_Pr806764899on_val ).
tff('#skF_97',type,
'#skF_97': produc639455274on_val > list_char ).
tff(hAPP_P584663426r_bool,type,
hAPP_P584663426r_bool: ( fun_Pr84112868r_bool * produc1645268488al_val ) > option466449911r_bool ).
tff(hAPP_f641257349l_bool,type,
hAPP_f641257349l_bool: ( fun_fu1934636263l_bool * fun_Pr633696065l_bool ) > fun_Pr633696065l_bool ).
tff('#skF_79',type,
'#skF_79': produc124828825on_val > exp_list_char ).
tff('#skF_212',type,
'#skF_212': ( produc1278157519t_char * fun_Pr806764899on_val ) > val ).
tff(dom_li347256130r_bool,type,
dom_li347256130r_bool: fun_li1107892380r_bool > fun_list_char_bool ).
tff(hAPP_f2134824737l_bool,type,
hAPP_f2134824737l_bool: ( fun_fu1319073539l_bool * fun_Pr1696029455l_bool ) > fun_Pr1696029455l_bool ).
tff('#skF_220',type,
'#skF_220': ( fun_bool_bool * fun_li823162622l_bool * produc639455274on_val ) > list_char ).
tff(hAPP_P1696703717l_bool,type,
hAPP_P1696703717l_bool: ( fun_Pr741448269l_bool * produc124828825on_val ) > fun_Pr2081272681l_bool ).
tff(map_ad61982421on_val,type,
map_ad61982421on_val: ( fun_na939144002on_val * fun_na939144002on_val ) > fun_na939144002on_val ).
tff(hAPP_e2128781980r_bool,type,
hAPP_e2128781980r_bool: ( fun_ex2119256656r_bool * exp_list_char ) > fun_Pr1439232230r_bool ).
tff(red,type,
red: list_P1999446415t_char > fun_Pr691271849l_bool ).
tff(hAPP_f967695645l_bool,type,
hAPP_f967695645l_bool: ( fun_fu229059973l_bool * fun_Pr252072522l_bool ) > fun_fu1952537362l_bool ).
tff('#skF_251',type,
'#skF_251': ( list_P1999446415t_char * fun_li1432931796on_val * fun_li688206603ion_ty * fun_na939144002on_val * ty * exp_list_char ) > produc12694297on_val ).
tff('#skF_150',type,
'#skF_150': ( fun_bo1454185032l_bool * produc1645268488al_val ) > bop ).
tff('#skF_101',type,
'#skF_101': produc1645268488al_val > bop ).
tff(map_add_nat_val,type,
map_add_nat_val: ( fun_nat_option_val * fun_nat_option_val ) > fun_nat_option_val ).
tff('#skF_259',type,
'#skF_259': ( list_char * list_P1999446415t_char * produc12694297on_val * exp_list_char * produc12694297on_val * exp_list_char ) > exp_list_char ).
tff(hAPP_f774767491r_bool,type,
hAPP_f774767491r_bool: ( fun_fu503916907r_bool * fun_li1432931796on_val ) > fun_list_char_bool ).
tff(hAPP_P1384137393r_bool,type,
hAPP_P1384137393r_bool: ( fun_Pr70170387r_bool * produc1013743697t_char ) > bool ).
tff('#skF_99',type,
'#skF_99': produc1278157519t_char > list_char ).
tff(hAPP_f281022143l_bool,type,
hAPP_f281022143l_bool: ( fun_fu1737014131l_bool * fun_bo1337967738l_bool ) > fun_Pr842269692l_bool ).
tff(cOMBB_1271765500t_char,type,
cOMBB_1271765500t_char: fun_fu1304373193r_bool ).
tff('#skF_102',type,
'#skF_102': produc1645268488al_val > product_prod_val_val ).
tff(dom_Pr717813794on_val,type,
dom_Pr717813794on_val: fun_Pr1938343180on_val > fun_Pr252072522l_bool ).
tff(hAPP_P678729081l_bool,type,
hAPP_P678729081l_bool: ( fun_Pr650805339l_bool * produc1102272487on_val ) > fun_Pr680585871l_bool ).
tff(hAPP_f524589473l_bool,type,
hAPP_f524589473l_bool: ( fun_fu964448643l_bool * fun_fu1622757844on_val ) > fun_fu1693644106l_bool ).
tff(hAPP_f1452292669l_bool,type,
hAPP_f1452292669l_bool: ( fun_fu1457514859l_bool * fun_fu1246919812l_bool ) > fun_fu250820942l_bool ).
tff(hAPP_f48091733on_val,type,
hAPP_f48091733on_val: ( fun_fu1134959491on_val * fun_li916220527on_val ) > fun_Pr100252923on_val ).
tff(hAPP_l1786340417on_val,type,
hAPP_l1786340417on_val: ( fun_li1436431093on_val * list_char ) > fun_fu1718160452on_val ).
tff(produc1911463199l_bool,type,
produc1911463199l_bool: fun_fu371764249l_bool ).
tff(cOMBB_1056322480ol_val,type,
cOMBB_1056322480ol_val: fun_fu1931670947l_bool ).
tff(hAPP_f1617787571l_bool,type,
hAPP_f1617787571l_bool: ( fun_fu570492181l_bool * fun_na939144002on_val ) > fun_fu2075294830l_bool ).
tff(dom_nat_val,type,
dom_nat_val: fun_nat_option_val > fun_nat_bool ).
tff(cOMBB_1466889536on_val,type,
cOMBB_1466889536on_val: fun_fu626845499l_bool ).
tff(cOMBB_678146046on_val,type,
cOMBB_678146046on_val: fun_fu981148631l_bool ).
tff('#skF_23',type,
'#skF_23': fun_Pr565113489r_bool > list_char ).
tff(hAPP_f1804599279l_bool,type,
hAPP_f1804599279l_bool: ( fun_fu981148631l_bool * fun_Pr565113489r_bool ) > fun_fu1255792747l_bool ).
tff(hAPP_l207779698on_val,type,
hAPP_l207779698on_val: ( fun_li1432931796on_val * list_char ) > option_val ).
tff('#skF_237',type,
'#skF_237': ( produc639455274on_val * fun_va1468324038l_bool * product_prod_val_val ) > val ).
tff(hAPP_P282169671l_bool,type,
hAPP_P282169671l_bool: ( fun_Pr691271849l_bool * produc1102272487on_val ) > bool ).
tff('#skF_206',type,
'#skF_206': ( list_char * fun_li1309482948on_val ) > produc639455274on_val ).
tff('#skF_226',type,
'#skF_226': ( fun_bool_bool * fun_val_fun_val_bool * product_prod_val_val ) > val ).
tff(oconf_1869808039t_char,type,
oconf_1869808039t_char: ( list_P1999446415t_char * fun_na939144002on_val ) > fun_Pr315804320l_bool ).
tff('#skF_48',type,
'#skF_48': ( produc1645268488al_val * fun_Pr252072522l_bool ) > val ).
tff('#skF_106',type,
'#skF_106': fun_Pr691271849l_bool > produc124828825on_val ).
tff('#skF_245',type,
'#skF_245': ( fun_na939144002on_val * fun_na939144002on_val ) > fun_Pr806764899on_val ).
tff(seq_list_char,type,
seq_list_char: ( exp_list_char * exp_list_char ) > exp_list_char ).
tff('#skF_258',type,
'#skF_258': ( list_char * list_P1999446415t_char * produc12694297on_val * exp_list_char * produc12694297on_val * exp_list_char ) > fun_li1432931796on_val ).
tff('#skF_53',type,
'#skF_53': ( fun_Pr1696029455l_bool * fun_Pr1696029455l_bool ) > fun_na939144002on_val ).
tff(cOMBB_1750801836on_val,type,
cOMBB_1750801836on_val: fun_fu121169625l_bool ).
tff(hAPP_l750759651l_bool,type,
hAPP_l750759651l_bool: ( fun_li1428515013l_bool * list_char ) > fun_Pr315804320l_bool ).
tff(dom_Pr1623760025val_ty,type,
dom_Pr1623760025val_ty: fun_Pr876827561ion_ty > fun_Pr315804320l_bool ).
tff('#skF_65',type,
'#skF_65': ( fun_Pr2081272681l_bool * fun_Pr2081272681l_bool ) > val ).
tff(hAPP_P1167611309r_bool,type,
hAPP_P1167611309r_bool: ( fun_Pr1889776021r_bool * produc639455274on_val ) > fun_list_char_bool ).
tff(map_ad451392333val_ty,type,
map_ad451392333val_ty: ( fun_Pr733352344ion_ty * fun_Pr733352344ion_ty ) > fun_Pr733352344ion_ty ).
tff(hAPP_f902521097l_bool,type,
hAPP_f902521097l_bool: ( fun_fu448518251l_bool * fun_val_fun_val_bool ) > fun_val_fun_val_bool ).
tff(hAPP_b1434170967l_bool,type,
hAPP_b1434170967l_bool: ( fun_bo2065098379l_bool * bop ) > fun_Pr1667914028l_bool ).
tff(fun_up160134978ion_ty,type,
fun_up160134978ion_ty: ( fun_Pr1298293016ion_ty * produc124828825on_val * option_ty ) > fun_Pr1298293016ion_ty ).
tff('#skF_154',type,
'#skF_154': ( list_P1999446415t_char * fun_na939144002on_val * fun_li1432931796on_val * fun_li688206603ion_ty ) > list_char ).
tff('#skF_135',type,
'#skF_135': ( fun_li860735411r_bool * produc1278157519t_char ) > list_char ).
tff(cOMBB_338347573on_val,type,
cOMBB_338347573on_val: fun_fu1485943649l_bool ).
tff('#skF_17',type,
'#skF_17': fun_Pr1696029455l_bool > fun_li1432931796on_val ).
tff(dom_list_char_val,type,
dom_list_char_val: fun_li1432931796on_val > fun_list_char_bool ).
tff('#skF_278',type,
'#skF_278': ty > list_char ).
tff(hAPP_l5978434l_bool,type,
hAPP_l5978434l_bool: ( fun_li507112950l_bool * list_char ) > fun_li1428515013l_bool ).
tff(hAPP_P449474095r_bool,type,
hAPP_P449474095r_bool: ( fun_Pr565113489r_bool * produc1278157519t_char ) > bool ).
tff(hAPP_f318082871l_bool,type,
hAPP_f318082871l_bool: ( fun_fu1640122725l_bool * fun_fu277794946on_val ) > fun_fu1693644106l_bool ).
tff(hAPP_f1724962851l_bool,type,
hAPP_f1724962851l_bool: ( fun_fu102926423l_bool * fun_va1468324038l_bool ) > fun_Pr1667914028l_bool ).
tff(hAPP_P2034098401l_bool,type,
hAPP_P2034098401l_bool: ( fun_Pr1243525059l_bool * produc1278157519t_char ) > fun_Pr1696029455l_bool ).
tff(cOMBB_448128005on_val,type,
cOMBB_448128005on_val: fun_fu164521751l_bool ).
tff(hAPP_f8993627l_bool,type,
hAPP_f8993627l_bool: ( fun_fu1451507727l_bool * fun_li610758501l_bool ) > fun_Pr1243525059l_bool ).
tff(hAPP_f2106552235on_val,type,
hAPP_f2106552235on_val: ( fun_fu194330259on_val * fun_li1432931796on_val ) > produc639455274on_val ).
tff(produc334393759l_bool,type,
produc334393759l_bool: fun_fu1343174525l_bool ).
tff(map_ad1863687646r_bool,type,
map_ad1863687646r_bool: ( fun_Pr1386046633r_bool * fun_Pr1386046633r_bool ) > fun_Pr1386046633r_bool ).
tff(hAPP_P1826803705l_bool,type,
hAPP_P1826803705l_bool: ( fun_Pr1404764635l_bool * produc1102272487on_val ) > fun_Pr1696029455l_bool ).
tff(hAPP_P698243685l_bool,type,
hAPP_P698243685l_bool: ( fun_Pr974014925l_bool * produc12694297on_val ) > fun_Pr2081272681l_bool ).
tff('#skF_44',type,
'#skF_44': ( produc124828825on_val * fun_Pr680585871l_bool ) > fun_na939144002on_val ).
tff(hAPP_P1988097815l_bool,type,
hAPP_P1988097815l_bool: ( fun_Pr454045387l_bool * produc1278157519t_char ) > fun_Pr2081272681l_bool ).
tff(fFalse,type,
fFalse: bool ).
tff(widen_2090681816t_char,type,
widen_2090681816t_char: ( list_P1999446415t_char * ty * ty ) > bool ).
tff(cOMBB_1353907126al_val,type,
cOMBB_1353907126al_val: fun_fu229059973l_bool ).
tff(hAPP_f1977633121l_bool,type,
hAPP_f1977633121l_bool: ( fun_fu781882819l_bool * fun_bo1549164019l_bool ) > fun_fu1457514859l_bool ).
tff(hAPP_P107417220t_bool,type,
hAPP_P107417220t_bool: ( fun_Pr1288966450t_bool * produc12694297on_val ) > fun_nat_bool ).
tff('#skF_123',type,
'#skF_123': fun_Pr2081272681l_bool > product_prod_val_val ).
tff(hAPP_f1965627013l_bool,type,
hAPP_f1965627013l_bool: ( fun_fu1128668857l_bool * fun_li1577539636l_bool ) > fun_Pr1040313468l_bool ).
tff(produc655738969l_bool,type,
produc655738969l_bool: fun_fu1099749117l_bool ).
tff(produc1159035454l_bool,type,
produc1159035454l_bool: fun_Pr691271849l_bool > fun_Pr633696065l_bool ).
tff(hAPP_f348318673l_bool,type,
hAPP_f348318673l_bool: ( fun_fu938561337l_bool * fun_fu2083094209l_bool ) > fun_fu712248957l_bool ).
tff(produc530227576l_bool,type,
produc530227576l_bool: fun_fu1462073459l_bool ).
tff(e,type,
e: fun_li688206603ion_ty ).
tff(produc901351817on_val,type,
produc901351817on_val: fun_fu192331261on_val ).
tff('#skF_143',type,
'#skF_143': ( fun_ex1201926843l_bool * produc124828825on_val ) > produc12694297on_val ).
tff(map_ad2099161878al_val,type,
map_ad2099161878al_val: ( fun_Pr385431009on_val * fun_Pr385431009on_val ) > fun_Pr385431009on_val ).
tff('#skF_221',type,
'#skF_221': ( fun_bool_bool * fun_li823162622l_bool * produc639455274on_val ) > fun_Pr806764899on_val ).
tff(map_ad1263605142al_val,type,
map_ad1263605142al_val: ( fun_Pr1215677793on_val * fun_Pr1215677793on_val ) > fun_Pr1215677793on_val ).
tff(cOMBB_1543649755on_val,type,
cOMBB_1543649755on_val: fun_fu1354978043l_bool ).
tff('#skF_49',type,
'#skF_49': ( fun_Pr680585871l_bool * fun_Pr680585871l_bool ) > exp_list_char ).
tff(hAPP_P159683425l_bool,type,
hAPP_P159683425l_bool: ( fun_Pr1696029455l_bool * produc12694297on_val ) > bool ).
tff(hAPP_P1989760379r_bool,type,
hAPP_P1989760379r_bool: ( fun_Pr1780479017r_bool * produc124828825on_val ) > option466449911r_bool ).
tff(tryCatch_list_char,type,
tryCatch_list_char: ( exp_list_char * list_char * list_char * exp_list_char ) > exp_list_char ).
tff(hAPP_f10074679l_bool,type,
hAPP_f10074679l_bool: ( fun_fu1002878233l_bool * fun_Pr680585871l_bool ) > fun_fu1929378469l_bool ).
tff(hAPP_f1048754599r_bool,type,
hAPP_f1048754599r_bool: ( fun_fu1856038613r_bool * fun_li1918653272r_bool ) > fun_Pr1241534948r_bool ).
tff('#skF_14',type,
'#skF_14': fun_Pr680585871l_bool > produc12694297on_val ).
tff(subcls744239332t_char,type,
subcls744239332t_char: list_P1999446415t_char > fun_li860735411r_bool ).
tff('#skF_235',type,
'#skF_235': ( produc1645268488al_val * fun_va2047554000l_bool * product_prod_val_val ) > val ).
tff(produc226467351on_val,type,
produc226467351on_val: fun_fu1935975259on_val ).
tff(hAPP_f372404869on_val,type,
hAPP_f372404869on_val: ( fun_fu1678064953on_val * fun_li1382912868on_val ) > fun_Pr1517604908on_val ).
tff('#skF_34',type,
'#skF_34': produc124828825on_val > exp_list_char ).
tff(dom_Pr1989649490on_val,type,
dom_Pr1989649490on_val: fun_Pr357631842on_val > fun_Pr315804320l_bool ).
tff(hAPP_P1228500987ion_ty,type,
hAPP_P1228500987ion_ty: ( fun_Pr876827561ion_ty * produc639455274on_val ) > option_ty ).
tff('#skF_15',type,
'#skF_15': fun_Pr680585871l_bool > produc124828825on_val ).
tff(hAPP_f857351829l_bool,type,
hAPP_f857351829l_bool: ( fun_fu712248957l_bool * fun_fu2141444501y_bool ) > fun_fu570492181l_bool ).
tff(hAPP_f522522333l_bool,type,
hAPP_f522522333l_bool: ( fun_fu1615233035l_bool * fun_Pr806764899on_val ) > fun_Pr680585871l_bool ).
tff('#skF_147',type,
'#skF_147': ( fun_li823162622l_bool * produc639455274on_val ) > fun_Pr806764899on_val ).
tff('#skF_60',type,
'#skF_60': ( fun_Pr315804320l_bool * fun_Pr315804320l_bool ) > fun_Pr806764899on_val ).
tff(member_nat,type,
member_nat: ( nat * fun_nat_bool ) > bool ).
tff(hAPP_P599819262r_bool,type,
hAPP_P599819262r_bool: ( fun_Pr1439232230r_bool * produc12694297on_val ) > fun_list_char_bool ).
tff(hAPP_P2083594489on_val,type,
hAPP_P2083594489on_val: ( fun_Pr1719283041on_val * produc124828825on_val ) > fun_Pr2087158653on_val ).
tff(hBOOL,type,
hBOOL: bool > $o ).
tff(hAPP_f1033709212l_bool,type,
hAPP_f1033709212l_bool: ( fun_fu1693644106l_bool * fun_li1432931796on_val ) > bool ).
tff('#skF_193',type,
'#skF_193': ( product_prod_val_val * fun_Pr192342275r_bool ) > fun_list_char_bool ).
tff(hext,type,
hext: ( fun_na939144002on_val * fun_na939144002on_val ) > bool ).
tff('#skF_51',type,
'#skF_51': ( fun_Pr680585871l_bool * fun_Pr680585871l_bool ) > exp_list_char ).
tff(hAPP_f702440703l_bool,type,
hAPP_f702440703l_bool: ( fun_fu1347521459l_bool * fun_bo2065098379l_bool ) > fun_Pr324453901l_bool ).
tff(t,type,
t: ty ).
tff(hAPP_f396019662l_bool,type,
hAPP_f396019662l_bool: ( fun_fu905586428l_bool * fun_li1432931796on_val ) > fun_Pr1696029455l_bool ).
tff('#skF_111',type,
'#skF_111': fun_Pr1696029455l_bool > produc12694297on_val ).
tff(produc996400752on_val,type,
produc996400752on_val: fun_fu370674997on_val ).
tff(hAPP_f2092385043l_bool,type,
hAPP_f2092385043l_bool: ( fun_fu1638830325l_bool * fun_bo1454185032l_bool ) > fun_bo1454185032l_bool ).
tff(map_ad1139121712al_val,type,
map_ad1139121712al_val: ( fun_Pr759034427on_val * fun_Pr759034427on_val ) > fun_Pr759034427on_val ).
tff(produc481748255l_bool,type,
produc481748255l_bool: fun_Pr315804320l_bool > fun_li823162622l_bool ).
tff(hAPP_b589554111l_bool,type,
hAPP_b589554111l_bool: ( fun_bo1549164019l_bool * bool ) > fun_bool_bool ).
tff(hAPP_l1930116514t_bool,type,
hAPP_l1930116514t_bool: ( fun_li683301334t_bool * list_char ) > fun_li378593189t_bool ).
tff('#skF_283',type,
'#skF_283': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * bop * produc12694297on_val ) > val ).
tff('#skF_252',type,
'#skF_252': ( exp_list_char * produc12694297on_val * list_char * list_P1999446415t_char * produc12694297on_val * ty * exp_list_char ) > fun_na939144002on_val ).
tff('#skF_6',type,
'#skF_6': produc1102272487on_val > produc124828825on_val ).
tff(hAPP_v1688016564l_bool,type,
hAPP_v1688016564l_bool: ( fun_va267341538l_bool * val ) > fun_Pr680585871l_bool ).
tff('#skF_8',type,
'#skF_8': produc1102272487on_val > fun_na939144002on_val ).
tff(hAPP_f340876351l_bool,type,
hAPP_f340876351l_bool: ( fun_fu1534370419l_bool * fun_bo1454185032l_bool ) > fun_Pr252072522l_bool ).
tff('#skF_56',type,
'#skF_56': ( fun_Pr1696029455l_bool * fun_Pr1696029455l_bool ) > fun_li1432931796on_val ).
tff(hAPP_P323054207l_bool,type,
hAPP_P323054207l_bool: ( fun_Pr1713170355l_bool * produc1645268488al_val ) > fun_Pr252072522l_bool ).
tff(hAPP_f1628326017t_char,type,
hAPP_f1628326017t_char: ( fun_fu1104134499t_char * fun_na939144002on_val ) > fun_fu593680828t_char ).
tff(produc367277545l_bool,type,
produc367277545l_bool: fun_fu1502964089l_bool ).
tff('#skF_260',type,
'#skF_260': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * produc12694297on_val ) > val ).
tff(cOMBB_1259202826on_val,type,
cOMBB_1259202826on_val: fun_fu1755700589l_bool ).
tff('#skF_166',type,
'#skF_166': ( fun_Pr680585871l_bool * fun_ex1201926843l_bool ) > produc12694297on_val ).
tff(hAPP_f1590577855l_bool,type,
hAPP_f1590577855l_bool: ( fun_fu1462073459l_bool * fun_bo1845219066l_bool ) > fun_Pr1298510204l_bool ).
tff(hAPP_f1050935001l_bool,type,
hAPP_f1050935001l_bool: ( fun_fu698854459l_bool * fun_fu1176066021l_bool ) > fun_fu1722968561l_bool ).
tff(hAPP_P343853784r_bool,type,
hAPP_P343853784r_bool: ( fun_Pr1756358412r_bool * product_prod_val_val ) > fun_list_char_bool ).
tff('#skF_225',type,
'#skF_225': ( fun_bool_bool * fun_bo1454185032l_bool * produc1645268488al_val ) > product_prod_val_val ).
tff(hAPP_e41879804t_bool,type,
hAPP_e41879804t_bool: ( fun_ex389763294t_bool * exp_list_char ) > fun_Pr1288966450t_bool ).
tff('#skF_271',type,
'#skF_271': ( exp_list_char * produc12694297on_val * exp_list_char * produc12694297on_val * list_P1999446415t_char ) > nat ).
tff(hAPP_f1492320500l_bool,type,
hAPP_f1492320500l_bool: ( fun_fu1806184744l_bool * fun_na939144002on_val ) > fun_fu1590192889l_bool ).
tff('#skF_115',type,
'#skF_115': fun_Pr315804320l_bool > list_char ).
tff('#skF_124',type,
'#skF_124': fun_Pr2081272681l_bool > val ).
tff(hAPP_f745235151t_bool,type,
hAPP_f745235151t_bool: ( fun_fu1622098173t_bool * fun_li649007521t_bool ) > fun_Pr462529091t_bool ).
tff('#skF_46',type,
'#skF_46': ( produc1645268488al_val * fun_Pr252072522l_bool ) > bop ).
tff(hAPP_f1308714617l_bool,type,
hAPP_f1308714617l_bool: ( fun_fu1485943649l_bool * fun_bool_bool ) > fun_fu1319073539l_bool ).
tff(dom_li2046124138on_val,type,
dom_li2046124138on_val: fun_li1309482948on_val > fun_list_char_bool ).
tff(hAPP_f10956301l_bool,type,
hAPP_f10956301l_bool: ( fun_fu1543849205l_bool * fun_bool_bool ) > fun_fu820520599l_bool ).
tff(bool_1,type,
bool_1: bool > val ).
tff(wwf_J_mdecl,type,
wwf_J_mdecl: fun_li318226104r_bool ).
tff('#skF_82',type,
'#skF_82': produc12694297on_val > fun_li1432931796on_val ).
tff(is_cla570604648t_char,type,
is_cla570604648t_char: list_P1999446415t_char > fun_list_char_bool ).
tff(fun_up1256311364r_bool,type,
fun_up1256311364r_bool: ( fun_na402763290r_bool * nat * option466449911r_bool ) > fun_na402763290r_bool ).
tff(hAPP_f468299289l_bool,type,
hAPP_f468299289l_bool: ( fun_fu1913539015l_bool * fun_ex1123147373l_bool ) > fun_Pr134674113l_bool ).
tff(cOMBB_1522540928on_val,type,
cOMBB_1522540928on_val: fun_fu816125185l_bool ).
tff(map_add_list_char_ty,type,
map_add_list_char_ty: ( fun_li688206603ion_ty * fun_li688206603ion_ty ) > fun_li688206603ion_ty ).
tff(hAPP_P1116729363l_bool,type,
hAPP_P1116729363l_bool: ( fun_Pr633696065l_bool * produc124828825on_val ) > fun_Pr680585871l_bool ).
tff(hAPP_f477896859t_bool,type,
hAPP_f477896859t_bool: ( fun_fu351878095t_bool * fun_li683301334t_bool ) > fun_Pr1377794996t_bool ).
tff('#skF_2',type,
'#skF_2': ( produc1102272487on_val * fun_Pr691271849l_bool ) > produc124828825on_val ).
tff(product_Pair_val_val,type,
product_Pair_val_val: fun_va959426509al_val ).
tff('#skF_19',type,
'#skF_19': fun_Pr315804320l_bool > list_char ).
tff(hAPP_f1928083410l_bool,type,
hAPP_f1928083410l_bool: ( fun_fu217462836l_bool * fun_na939144002on_val ) > fun_fu615344397l_bool ).
tff('#skF_171',type,
'#skF_171': ( fun_Pr315804320l_bool * fun_li823162622l_bool ) > list_char ).
tff('#skF_282',type,
'#skF_282': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * bop * produc12694297on_val ) > val ).
tff('#skF_204',type,
'#skF_204': ( produc124828825on_val * fun_Pr1298293016ion_ty ) > ty ).
tff('#skF_22',type,
'#skF_22': fun_Pr565113489r_bool > list_char ).
tff(cOMBB_383678192on_val,type,
cOMBB_383678192on_val: fun_fu114905943l_bool ).
tff(dom_Pr1291804355on_val,type,
dom_Pr1291804355on_val: fun_Pr1900992299on_val > fun_Pr2081272681l_bool ).
tff(cOMBB_635947099on_val,type,
cOMBB_635947099on_val: fun_fu1452544581l_bool ).
tff(nt,type,
nt: ty ).
tff(hAPP_f1213370163y_bool,type,
hAPP_f1213370163y_bool: ( fun_fu2141444501y_bool * fun_na939144002on_val ) > fun_fu1670877422y_bool ).
tff(hAPP_f1859015701l_bool,type,
hAPP_f1859015701l_bool: ( fun_fu586179709l_bool * fun_Pr2081272681l_bool ) > fun_Pr2081272681l_bool ).
tff('#skF_152',type,
'#skF_152': ( fun_val_fun_val_bool * product_prod_val_val ) > val ).
tff(hAPP_P943837928l_bool,type,
hAPP_P943837928l_bool: ( fun_Pr252072522l_bool * produc1645268488al_val ) > bool ).
tff('#skF_86',type,
'#skF_86': produc1278157519t_char > list_char ).
tff(produc1722298385l_bool,type,
produc1722298385l_bool: fun_fu830480791l_bool ).
tff(addr_of_sys_xcpt,type,
addr_of_sys_xcpt: list_char > nat ).
tff(hAPP_f284805883t_bool,type,
hAPP_f284805883t_bool: ( fun_fu43046697t_bool * fun_ex389763294t_bool ) > fun_Pr704700594t_bool ).
tff('#skF_66',type,
'#skF_66': ( fun_Pr2081272681l_bool * fun_Pr2081272681l_bool ) > val ).
tff('#skF_202',type,
'#skF_202': ( produc639455274on_val * fun_Pr876827561ion_ty ) > ty ).
tff(hAPP_f990102836r_bool,type,
hAPP_f990102836r_bool: ( fun_fu2000143900r_bool * fun_Pr806764899on_val ) > fun_list_char_bool ).
tff(hAPP_f1520199827on_val,type,
hAPP_f1520199827on_val: ( fun_fu1924376903on_val * fun_ex1005552999on_val ) > fun_Pr2087158653on_val ).
tff(fun_up1686981986r_bool,type,
fun_up1686981986r_bool: ( fun_li1107892380r_bool * list_char * option466449911r_bool ) > fun_li1107892380r_bool ).
tff(hAPP_f118445774t_bool,type,
hAPP_f118445774t_bool: ( fun_fu62768508t_bool * fun_Pr806764899on_val ) > fun_nat_bool ).
tff(addr,type,
addr: nat > val ).
tff(hAPP_f1742268533r_bool,type,
hAPP_f1742268533r_bool: ( fun_fu936776617r_bool * fun_li1793507146on_val ) > fun_list_char_bool ).
tff(ha,type,
ha: fun_na939144002on_val ).
tff(hAPP_P595502227l_bool,type,
hAPP_P595502227l_bool: ( fun_Pr134674113l_bool * produc124828825on_val ) > fun_Pr1696029455l_bool ).
tff(hAPP_P929938951l_bool,type,
hAPP_P929938951l_bool: ( fun_Pr2081272681l_bool * product_prod_val_val ) > bool ).
tff(map_add_nat_ty,type,
map_add_nat_ty: ( fun_nat_option_ty * fun_nat_option_ty ) > fun_nat_option_ty ).
tff('#skF_32',type,
'#skF_32': produc1102272487on_val > exp_list_char ).
tff('#skF_244',type,
'#skF_244': ( fun_na939144002on_val * fun_na939144002on_val ) > list_char ).
tff(hAPP_P50259953ion_ty,type,
hAPP_P50259953ion_ty: ( fun_Pr1232540755ion_ty * produc1645268488al_val ) > option_ty ).
tff(dom_Pr881307234al_val,type,
dom_Pr881307234al_val: fun_Pr828669810on_val > fun_Pr315804320l_bool ).
tff(hAPP_v1921713543l_bool,type,
hAPP_v1921713543l_bool: ( fun_va189260341l_bool * val ) > fun_va934618978l_bool ).
tff(hAPP_b653060073l_bool,type,
hAPP_b653060073l_bool: ( fun_bo1226433611l_bool * bop ) > fun_Pr583235924l_bool ).
tff('#skF_159',type,
'#skF_159': ( fun_Pr1696029455l_bool * fun_fu100249073l_bool ) > fun_na939144002on_val ).
tff('#skF_270',type,
'#skF_270': ( exp_list_char * ty * list_P1999446415t_char * list_char * list_char * exp_list_char * fun_na939144002on_val * fun_li688206603ion_ty ) > ty ).
tff(hAPP_P1232134614l_bool,type,
hAPP_P1232134614l_bool: ( fun_Pr351033732l_bool * produc124828825on_val ) > fun_Pr1763091538l_bool ).
tff(dom_nat_ty,type,
dom_nat_ty: fun_nat_option_ty > fun_nat_bool ).
tff('#skF_262',type,
'#skF_262': ( exp_list_char * list_P1999446415t_char * exp_list_char * produc12694297on_val * exp_list_char * produc12694297on_val ) > exp_list_char ).
tff(hAPP_l313577550l_bool,type,
hAPP_l313577550l_bool: ( fun_li673202352l_bool * list_char ) > fun_fu1615233035l_bool ).
tff(produc301664320l_bool,type,
produc301664320l_bool: fun_fu86538581l_bool ).
tff(cOMBB_672625589on_val,type,
cOMBB_672625589on_val: fun_fu2003389793l_bool ).
tff('#skF_75',type,
'#skF_75': ( fun_Pr565113489r_bool * fun_Pr565113489r_bool ) > list_char ).
tff(hAPP_f1695781849al_val,type,
hAPP_f1695781849al_val: ( fun_fu2114777659al_val * fun_na939144002on_val ) > fun_fu1481433236al_val ).
tff(hAPP_f1150574413l_bool,type,
hAPP_f1150574413l_bool: ( fun_fu298067067l_bool * fun_bo180791194on_val ) > fun_bo1454185032l_bool ).
tff(produc1779501634r_bool,type,
produc1779501634r_bool: fun_fu552814479r_bool ).
tff(hAPP_P1883022279on_val,type,
hAPP_P1883022279on_val: ( fun_Pr100252923on_val * produc1278157519t_char ) > produc12694297on_val ).
tff(hAPP_P930111162on_val,type,
hAPP_P930111162on_val: ( fun_Pr1013877532on_val * produc1645268488al_val ) > option_val ).
tff('#skF_62',type,
'#skF_62': ( fun_Pr252072522l_bool * fun_Pr252072522l_bool ) > product_prod_val_val ).
tff(hAPP_f1935223905l_bool,type,
hAPP_f1935223905l_bool: ( fun_fu680686147l_bool * fun_fu1481433236al_val ) > fun_fu1693644106l_bool ).
tff(produc1205785024r_bool,type,
produc1205785024r_bool: fun_fu1914454703r_bool ).
tff(cOMBB_1083177073on_val,type,
cOMBB_1083177073on_val: fun_fu1929656089l_bool ).
tff(hAPP_f1803975093l_bool,type,
hAPP_f1803975093l_bool: ( fun_fu820520599l_bool * fun_fu177229913l_bool ) > fun_fu177229913l_bool ).
tff(hAPP_f363827556r_bool,type,
hAPP_f363827556r_bool: ( fun_fu450339090r_bool * fun_list_char_bool ) > option466449911r_bool ).
tff(hAPP_P1760219823on_val,type,
hAPP_P1760219823on_val: ( fun_Pr1727285475on_val * produc1102272487on_val ) > produc12694297on_val ).
tff(produc778642754t_bool,type,
produc778642754t_bool: fun_fu2007671769t_bool ).
tff(hAPP_l1064716406r_bool,type,
hAPP_l1064716406r_bool: ( fun_li1918653272r_bool * list_char ) > fun_li860735411r_bool ).
tff(map_ad1443463365al_val,type,
map_ad1443463365al_val: ( fun_Pr828669810on_val * fun_Pr828669810on_val ) > fun_Pr828669810on_val ).
tff(dom_Pr364577827on_val,type,
dom_Pr364577827on_val: fun_Pr1625553105on_val > fun_Pr1696029455l_bool ).
tff(hAPP_f1760682521l_bool,type,
hAPP_f1760682521l_bool: ( fun_fu1162814663l_bool * fun_ex1732109805l_bool ) > fun_Pr633696065l_bool ).
tff('#skF_117',type,
'#skF_117': fun_Pr565113489r_bool > produc1278157519t_char ).
tff(produc1925718841l_bool,type,
produc1925718841l_bool: fun_fu1675319075l_bool ).
tff(hAPP_f854417517l_bool,type,
hAPP_f854417517l_bool: ( fun_fu431935003l_bool * fun_li1569131568l_bool ) > fun_Pr193017682l_bool ).
tff('#skF_59',type,
'#skF_59': ( fun_Pr315804320l_bool * fun_Pr315804320l_bool ) > list_char ).
tff(hAPP_e2019828964l_bool,type,
hAPP_e2019828964l_bool: ( fun_ex1944467352l_bool * exp_list_char ) > fun_Pr656644398l_bool ).
tff(cOMBC_832625297y_bool,type,
cOMBC_832625297y_bool: fun_fu2083094209l_bool ).
tff(hAPP_f1438732387l_bool,type,
hAPP_f1438732387l_bool: ( fun_fu1452544581l_bool * fun_fu2085256997l_bool ) > fun_fu1176482875l_bool ).
tff(classCast,type,
classCast: list_char ).
tff(fun_up2650881on_val,type,
fun_up2650881on_val: ( fun_Pr759034427on_val * product_prod_val_val * option_val ) > fun_Pr759034427on_val ).
tff(hAPP_P2024243179on_val,type,
hAPP_P2024243179on_val: ( fun_Pr336360217on_val * produc12694297on_val ) > produc1102272487on_val ).
tff(hAPP_f104936073r_bool,type,
hAPP_f104936073r_bool: ( fun_fu201937213r_bool * fun_fu684057754r_bool ) > fun_Pr1439232230r_bool ).
tff(member840932460on_val,type,
member840932460on_val: ( produc124828825on_val * fun_Pr680585871l_bool ) > bool ).
tff(fun_up1370188258on_val,type,
fun_up1370188258on_val: ( fun_Pr1013877532on_val * produc1645268488al_val * option_val ) > fun_Pr1013877532on_val ).
tff('#skF_234',type,
'#skF_234': ( product_prod_val_val * fun_va547415023l_bool * product_prod_val_val ) > val ).
tff(hAPP_P89750179on_val,type,
hAPP_P89750179on_val: ( fun_Pr1790314577on_val * produc124828825on_val ) > option1479284511on_val ).
tff(produc1512975096l_bool,type,
produc1512975096l_bool: fun_fu1737014131l_bool ).
tff(hAPP_P1776198677on_val,type,
hAPP_P1776198677on_val: ( fun_Pr1833267965on_val * produc12694297on_val ) > produc12694297on_val ).
tff(binop,type,
binop: fun_Pr1013877532on_val ).
tff(map_ad2023008343r_bool,type,
map_ad2023008343r_bool: ( fun_Pr84112868r_bool * fun_Pr84112868r_bool ) > fun_Pr84112868r_bool ).
tff(hAPP_P1366871678r_bool,type,
hAPP_P1366871678r_bool: ( fun_Pr2007843174r_bool * produc124828825on_val ) > fun_list_char_bool ).
tff(hAPP_f204771371l_bool,type,
hAPP_f204771371l_bool: ( fun_fu1587641869l_bool * fun_Pr714818201on_val ) > fun_Pr680585871l_bool ).
tff('#skF_209',type,
'#skF_209': ( produc639455274on_val * fun_Pr357631842on_val ) > produc639455274on_val ).
tff(wf_pro755087577t_char,type,
wf_pro755087577t_char: ( fun_li318226104r_bool * list_P1999446415t_char ) > bool ).
tff('#skF_121',type,
'#skF_121': fun_Pr252072522l_bool > bop ).
tff(c_Expr_Obop_OEq,type,
c_Expr_Obop_OEq: bop ).
tff(hAPP_f384373191al_val,type,
hAPP_f384373191al_val: ( fun_fu544554869al_val * fun_li1432931796on_val ) > produc1645268488al_val ).
tff('#skF_20',type,
'#skF_20': fun_Pr315804320l_bool > fun_Pr806764899on_val ).
tff('#skF_144',type,
'#skF_144': ( fun_fu100249073l_bool * produc12694297on_val ) > fun_na939144002on_val ).
tff(hAPP_f800545225l_bool,type,
hAPP_f800545225l_bool: ( fun_fu1099749117l_bool * fun_fu266921985l_bool ) > fun_Pr974014925l_bool ).
tff('#skF_112',type,
'#skF_112': fun_Pr1696029455l_bool > fun_na939144002on_val ).
tff('#skF_68',type,
'#skF_68': ( fun_Pr2081272681l_bool * fun_Pr2081272681l_bool ) > val ).
tff(hAPP_f295212021l_bool,type,
hAPP_f295212021l_bool: ( fun_fu775697111l_bool * fun_fu436897911l_bool ) > fun_fu298067067l_bool ).
tff(hAPP_l258171825l_bool,type,
hAPP_l258171825l_bool: ( fun_li610758501l_bool * list_char ) > fun_li415052468l_bool ).
tff('#skF_87',type,
'#skF_87': produc1645268488al_val > bop ).
tff(fAcc_list_char,type,
fAcc_list_char: ( exp_list_char * list_char * list_char ) > exp_list_char ).
tff(fun_up252238218on_val,type,
fun_up252238218on_val: ( fun_li1309482948on_val * list_char * option1479284511on_val ) > fun_li1309482948on_val ).
tff(hAPP_f1560238713l_bool,type,
hAPP_f1560238713l_bool: ( fun_fu2003389793l_bool * fun_bool_bool ) > fun_fu983865091l_bool ).
tff(map_ad1655582893r_bool,type,
map_ad1655582893r_bool: ( fun_na402763290r_bool * fun_na402763290r_bool ) > fun_na402763290r_bool ).
tff(hAPP_f42352062l_bool,type,
hAPP_f42352062l_bool: ( fun_fu1725641376l_bool * fun_bo1153317747al_val ) > fun_bo1454185032l_bool ).
tff(member649088532al_val,type,
member649088532al_val: ( product_prod_val_val * fun_Pr2081272681l_bool ) > bool ).
tff(f_3575,negated_conjecture,
~ hBOOL(member773094996on_val(hAPP_P1886180715on_val(hAPP_P1870962205on_val(produc1441475159on_val,hAPP_P604205461on_val(hAPP_e1659493427on_val(produc1259058957on_val,ea),hAPP_f1727192346on_val(hAPP_f1849790461on_val(produc899768717on_val,ha),fun_up1149430426on_val(la,v_1,hAPP_val_option_val(some_val,v))))),hAPP_P604205461on_val(hAPP_e1659493427on_val(produc1259058957on_val,e_a),hAPP_f1727192346on_val(hAPP_f1849790461on_val(produc899768717on_val,h_a),l_a))),red(p))),
file('/export/starexec/sandbox2/benchmark/theBenchmark.p',conj_0) ).
tff(f_33,axiom,
hBOOL(member773094996on_val(hAPP_P1886180715on_val(hAPP_P1870962205on_val(produc1441475159on_val,hAPP_P604205461on_val(hAPP_e1659493427on_val(produc1259058957on_val,ea),hAPP_f1727192346on_val(hAPP_f1849790461on_val(produc899768717on_val,ha),fun_up1149430426on_val(la,v_1,hAPP_val_option_val(some_val,v))))),hAPP_P604205461on_val(hAPP_e1659493427on_val(produc1259058957on_val,e_a),hAPP_f1727192346on_val(hAPP_f1849790461on_val(produc899768717on_val,h_a),l_a))),red(p))),
file('/export/starexec/sandbox2/benchmark/theBenchmark.p',fact_1_InitBlockRed_I1_J) ).
tff(c_2195,plain,
~ hBOOL(member773094996on_val(hAPP_P1886180715on_val(hAPP_P1870962205on_val(produc1441475159on_val,hAPP_P604205461on_val(hAPP_e1659493427on_val(produc1259058957on_val,ea),hAPP_f1727192346on_val(hAPP_f1849790461on_val(produc899768717on_val,ha),fun_up1149430426on_val(la,v_1,hAPP_val_option_val(some_val,v))))),hAPP_P604205461on_val(hAPP_e1659493427on_val(produc1259058957on_val,e_a),hAPP_f1727192346on_val(hAPP_f1849790461on_val(produc899768717on_val,h_a),l_a))),red(p))),
inference(cnfTransformation,[status(thm)],[f_3575]) ).
tff(c_4,plain,
hBOOL(member773094996on_val(hAPP_P1886180715on_val(hAPP_P1870962205on_val(produc1441475159on_val,hAPP_P604205461on_val(hAPP_e1659493427on_val(produc1259058957on_val,ea),hAPP_f1727192346on_val(hAPP_f1849790461on_val(produc899768717on_val,ha),fun_up1149430426on_val(la,v_1,hAPP_val_option_val(some_val,v))))),hAPP_P604205461on_val(hAPP_e1659493427on_val(produc1259058957on_val,e_a),hAPP_f1727192346on_val(hAPP_f1849790461on_val(produc899768717on_val,h_a),l_a))),red(p))),
inference(cnfTransformation,[status(thm)],[f_33]) ).
tff(c_2274,plain,
$false,
inference(negUnitSimplification,[status(thm)],[c_2195,c_4]) ).
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.03/0.12 % Problem : SWW478_2 : TPTP v9.0.0. Released v5.3.0.
% 0.03/0.13 % Command : java -Dfile.encoding=UTF-8 -Xms512M -Xmx4G -Xss10M -jar /export/starexec/sandbox2/solver/bin/beagle.jar -auto -q -proof -print tff -smtsolver /export/starexec/sandbox2/solver/bin/cvc4-1.4-x86_64-linux-opt -liasolver cooper -t %d %s
% 0.13/0.34 % Computer : n021.cluster.edu
% 0.13/0.34 % Model : x86_64 x86_64
% 0.13/0.34 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.13/0.34 % Memory : 8042.1875MB
% 0.13/0.34 % OS : Linux 3.10.0-693.el7.x86_64
% 0.13/0.34 % CPULimit : 300
% 0.13/0.34 % WCLimit : 300
% 0.13/0.34 % DateTime : Wed Apr 9 22:30:00 EDT 2025
% 0.13/0.35 % CPUTime :
% 20.26/6.71 % SZS status Theorem for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 20.26/6.71
% 20.26/6.71 % SZS output start CNFRefutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% See solution above
%------------------------------------------------------------------------------