TSTP Solution File: SWW478+2 by Beagle---0.9.51
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Beagle---0.9.51
% Problem : SWW478+2 : TPTP v8.1.2. 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 : n011.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 : Tue Aug 22 11:07:32 EDT 2023
% Result : Theorem 16.31s 5.74s
% Output : CNFRefutation 16.58s
% Verified :
% SZS Type : Refutation
% Derivation depth : 2
% Number of leaves : 1023
% Syntax : Number of formulae : 1026 ( 5 unt;1021 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 : 2 ( 0 usr)
% Number of type conns : 1801 ( 847 >; 954 *; 0 +; 0 <<)
% Number of predicates : 4 ( 3 usr; 1 prp; 0-1 aty)
% Number of functors : 1018 (1018 usr; 174 con; 0-8 aty)
% Number of variables : 0 (; 0 !; 0 ?; 0 :)
% Comments :
%------------------------------------------------------------------------------
%$ is_bop > is_bool > 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 > typeSa807100911_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 > undefined_bop > 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 > 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 > bop > binop > add > #skF_275 > #skF_236 > #skF_91 > #skF_262 > #skF_9 > #skF_36 > #skF_47 > #skF_242 > #skF_168 > #skF_258 > #skF_25 > #skF_7 > #skF_253 > #skF_62 > #skF_114 > #skF_225 > #skF_130 > #skF_248 > #skF_21 > #skF_41 > #skF_73 > #skF_16 > #skF_175 > #skF_109 > #skF_254 > #skF_183 > #skF_117 > #skF_105 > #skF_57 > #skF_216 > #skF_129 > #skF_257 > #skF_198 > #skF_56 > #skF_220 > #skF_123 > #skF_276 > #skF_18 > #skF_144 > #skF_146 > #skF_185 > #skF_214 > #skF_282 > #skF_24 > #skF_196 > #skF_124 > #skF_106 > #skF_35 > #skF_237 > #skF_154 > #skF_188 > #skF_44 > #skF_190 > #skF_155 > #skF_126 > #skF_101 > #skF_186 > #skF_19 > #skF_272 > #skF_218 > #skF_277 > #skF_53 > #skF_31 > #skF_75 > #skF_234 > #skF_48 > #skF_79 > #skF_45 > #skF_171 > #skF_176 > #skF_63 > #skF_22 > #skF_103 > #skF_224 > #skF_37 > #skF_120 > #skF_263 > #skF_165 > #skF_111 > #skF_72 > #skF_206 > #skF_97 > #skF_203 > #skF_118 > #skF_64 > #skF_70 > #skF_195 > #skF_180 > #skF_8 > #skF_60 > #skF_100 > #skF_140 > #skF_122 > #skF_208 > #skF_142 > #skF_65 > #skF_209 > #skF_187 > #skF_160 > #skF_3 > #skF_246 > #skF_245 > #skF_256 > #skF_69 > #skF_211 > #skF_280 > #skF_132 > #skF_151 > #skF_219 > #skF_212 > #skF_192 > #skF_34 > #skF_29 > #skF_15 > #skF_32 > #skF_167 > #skF_169 > #skF_233 > #skF_93 > #skF_98 > #skF_143 > #skF_172 > #skF_240 > #skF_173 > #skF_28 > #skF_197 > #skF_261 > #skF_110 > #skF_10 > #skF_156 > #skF_83 > #skF_267 > #skF_74 > #skF_152 > #skF_49 > #skF_82 > #skF_38 > #skF_150 > #skF_66 > #skF_54 > #skF_270 > #skF_67 > #skF_135 > #skF_194 > #skF_244 > #skF_239 > #skF_42 > #skF_153 > #skF_107 > #skF_231 > #skF_113 > #skF_184 > #skF_92 > #skF_108 > #skF_80 > #skF_193 > #skF_260 > #skF_51 > #skF_128 > #skF_162 > #skF_217 > #skF_259 > #skF_201 > #skF_166 > #skF_230 > #skF_90 > #skF_71 > #skF_243 > #skF_191 > #skF_200 > #skF_84 > #skF_170 > #skF_39 > #skF_255 > #skF_138 > #skF_271 > #skF_227 > #skF_281 > #skF_131 > #skF_23 > #skF_241 > #skF_221 > #skF_33 > #skF_269 > #skF_26 > #skF_164 > #skF_137 > #skF_204 > #skF_182 > #skF_13 > #skF_228 > #skF_205 > #skF_96 > #skF_133 > #skF_102 > #skF_149 > #skF_50 > #skF_89 > #skF_116 > #skF_178 > #skF_78 > #skF_77 > #skF_278 > #skF_235 > #skF_266 > #skF_46 > #skF_145 > #skF_174 > #skF_139 > #skF_268 > #skF_115 > #skF_17 > #skF_59 > #skF_121 > #skF_11 > #skF_58 > #skF_181 > #skF_95 > #skF_273 > #skF_52 > #skF_274 > #skF_94 > #skF_99 > #skF_14 > #skF_199 > #skF_222 > #skF_55 > #skF_157 > #skF_127 > #skF_2 > #skF_163 > #skF_125 > #skF_223 > #skF_136 > #skF_134 > #skF_179 > #skF_252 > #skF_81 > #skF_283 > #skF_88 > #skF_161 > #skF_226 > #skF_177 > #skF_189 > #skF_40 > #skF_27 > #skF_265 > #skF_68 > #skF_202 > #skF_215 > #skF_159 > #skF_12 > #skF_158 > #skF_43 > #skF_87 > #skF_229 > #skF_141 > #skF_147 > #skF_210 > #skF_86 > #skF_213 > #skF_251 > #skF_61 > #skF_1 > #skF_247 > #skF_119 > #skF_238 > #skF_148 > #skF_264 > #skF_5 > #skF_30 > #skF_232 > #skF_279 > #skF_6 > #skF_4 > #skF_207 > #skF_20 > #skF_76 > #skF_112 > #skF_85 > #skF_249 > #skF_104 > #skF_250
%Foreground sorts:
%Background operators:
%Foreground operators:
tff(fconj,type,
fconj: $i ).
tff(hAPP_P1788447177on_val,type,
hAPP_P1788447177on_val: ( $i * $i ) > $i ).
tff('#skF_275',type,
'#skF_275': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f1140566725l_bool,type,
hAPP_f1140566725l_bool: ( $i * $i ) > $i ).
tff(hAPP_v1739888647l_bool,type,
hAPP_v1739888647l_bool: ( $i * $i ) > $i ).
tff(hAPP_P604205461on_val,type,
hAPP_P604205461on_val: ( $i * $i ) > $i ).
tff(hAPP_b1229254591al_val,type,
hAPP_b1229254591al_val: ( $i * $i ) > $i ).
tff(cOMBB_292554190ol_bop,type,
cOMBB_292554190ol_bop: $i ).
tff(hAPP_f1046102489l_bool,type,
hAPP_f1046102489l_bool: ( $i * $i ) > $i ).
tff(hAPP_f600512025on_val,type,
hAPP_f600512025on_val: ( $i * $i ) > $i ).
tff(hAPP_P1167611309r_bool,type,
hAPP_P1167611309r_bool: ( $i * $i ) > $i ).
tff(hAPP_f1715346603l_bool,type,
hAPP_f1715346603l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1510984930r_bool,type,
hAPP_P1510984930r_bool: ( $i * $i ) > $i ).
tff('#skF_236',type,
'#skF_236': ( $i * $i * $i ) > $i ).
tff(hAPP_f727795555l_bool,type,
hAPP_f727795555l_bool: ( $i * $i ) > $i ).
tff(hAPP_e1833980889l_bool,type,
hAPP_e1833980889l_bool: ( $i * $i ) > $i ).
tff('#skF_91',type,
'#skF_91': $i > $i ).
tff(cOMBB_840638159al_val,type,
cOMBB_840638159al_val: $i ).
tff(map_ad1209909133r_bool,type,
map_ad1209909133r_bool: ( $i * $i ) > $i ).
tff(hAPP_f10956301l_bool,type,
hAPP_f10956301l_bool: ( $i * $i ) > $i ).
tff(hAPP_ty_option_ty,type,
hAPP_ty_option_ty: ( $i * $i ) > $i ).
tff(fun_up576032467ion_ty,type,
fun_up576032467ion_ty: ( $i * $i * $i ) > $i ).
tff('#skF_262',type,
'#skF_262': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff('#skF_9',type,
'#skF_9': $i > $i ).
tff(dom_Pr934474290al_val,type,
dom_Pr934474290al_val: $i > $i ).
tff(produc1704639885r_bool,type,
produc1704639885r_bool: $i ).
tff(produc828791728l_bool,type,
produc828791728l_bool: $i ).
tff(hAPP_l1930116514t_bool,type,
hAPP_l1930116514t_bool: ( $i * $i ) > $i ).
tff('#skF_36',type,
'#skF_36': $i > $i ).
tff('#skF_47',type,
'#skF_47': ( $i * $i ) > $i ).
tff(produc655738969l_bool,type,
produc655738969l_bool: $i ).
tff(hAPP_f550652027l_bool,type,
hAPP_f550652027l_bool: ( $i * $i ) > $i ).
tff('#skF_242',type,
'#skF_242': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff('#skF_168',type,
'#skF_168': ( $i * $i ) > $i ).
tff('#skF_258',type,
'#skF_258': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f1138830003l_bool,type,
hAPP_f1138830003l_bool: ( $i * $i ) > $i ).
tff('#skF_25',type,
'#skF_25': $i > $i ).
tff(fun_up430376729ion_ty,type,
fun_up430376729ion_ty: ( $i * $i * $i ) > $i ).
tff(cOMBB_bool_bool_val,type,
cOMBB_bool_bool_val: $i ).
tff(hAPP_e592495499l_bool,type,
hAPP_e592495499l_bool: ( $i * $i ) > $i ).
tff(produc1925718841l_bool,type,
produc1925718841l_bool: $i ).
tff('#skF_7',type,
'#skF_7': $i > $i ).
tff(map_ad2023008343r_bool,type,
map_ad2023008343r_bool: ( $i * $i ) > $i ).
tff(hAPP_l1288616506r_bool,type,
hAPP_l1288616506r_bool: ( $i * $i ) > $i ).
tff(hAPP_P33140378l_bool,type,
hAPP_P33140378l_bool: ( $i * $i ) > $i ).
tff(dom_Pr364577827on_val,type,
dom_Pr364577827on_val: $i > $i ).
tff(hAPP_P599819262r_bool,type,
hAPP_P599819262r_bool: ( $i * $i ) > $i ).
tff(conf_P373316194t_char,type,
conf_P373316194t_char: ( $i * $i * $i * $i ) > $i ).
tff(hAPP_f176769507l_bool,type,
hAPP_f176769507l_bool: ( $i * $i ) > $i ).
tff('#skF_253',type,
'#skF_253': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(fun_up846528380on_val,type,
fun_up846528380on_val: ( $i * $i * $i ) > $i ).
tff('#skF_62',type,
'#skF_62': ( $i * $i ) > $i ).
tff(hAPP_b617716791t_bool,type,
hAPP_b617716791t_bool: ( $i * $i ) > $i ).
tff('#skF_114',type,
'#skF_114': $i > $i ).
tff(produc2098256560t_bool,type,
produc2098256560t_bool: $i ).
tff(red,type,
red: $i > $i ).
tff(hAPP_f1608921212l_bool,type,
hAPP_f1608921212l_bool: ( $i * $i ) > $i ).
tff('#skF_225',type,
'#skF_225': ( $i * $i ) > $i ).
tff(dom_Pr1523486698val_ty,type,
dom_Pr1523486698val_ty: $i > $i ).
tff(hAPP_f1633332187r_bool,type,
hAPP_f1633332187r_bool: ( $i * $i ) > $i ).
tff('#skF_130',type,
'#skF_130': ( $i * $i ) > $i ).
tff(hAPP_f1777594159l_bool,type,
hAPP_f1777594159l_bool: ( $i * $i ) > $i ).
tff(hAPP_nat_option_val,type,
hAPP_nat_option_val: ( $i * $i ) > $i ).
tff(hAPP_f15579599t_char,type,
hAPP_f15579599t_char: ( $i * $i ) > $i ).
tff(hAPP_l1361600383r_bool,type,
hAPP_l1361600383r_bool: ( $i * $i ) > $i ).
tff('#skF_248',type,
'#skF_248': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(map_ad689713276val_ty,type,
map_ad689713276val_ty: ( $i * $i ) > $i ).
tff(hAPP_e2128781980r_bool,type,
hAPP_e2128781980r_bool: ( $i * $i ) > $i ).
tff(cOMBB_819439237t_char,type,
cOMBB_819439237t_char: $i ).
tff(hAPP_bool_bool,type,
hAPP_bool_bool: ( $i * $i ) > $i ).
tff(cOMBB_1466889536on_val,type,
cOMBB_1466889536on_val: $i ).
tff(hAPP_f1523875321l_bool,type,
hAPP_f1523875321l_bool: ( $i * $i ) > $i ).
tff(cOMBB_1033454012t_char,type,
cOMBB_1033454012t_char: $i ).
tff(hAPP_f967695645l_bool,type,
hAPP_f967695645l_bool: ( $i * $i ) > $i ).
tff(hAPP_f546724245l_bool,type,
hAPP_f546724245l_bool: ( $i * $i ) > $i ).
tff('#skF_21',type,
'#skF_21': $i > $i ).
tff('#skF_41',type,
'#skF_41': ( $i * $i ) > $i ).
tff(map_add_nat_ty,type,
map_add_nat_ty: ( $i * $i ) > $i ).
tff(fun_up421284275ion_ty,type,
fun_up421284275ion_ty: ( $i * $i * $i ) > $i ).
tff('#skF_73',type,
'#skF_73': ( $i * $i ) > $i ).
tff(hAPP_f630712985l_bool,type,
hAPP_f630712985l_bool: ( $i * $i ) > $i ).
tff(product_Pair_val_val,type,
product_Pair_val_val: $i ).
tff('#skF_16',type,
'#skF_16': $i > $i ).
tff(produc530227576l_bool,type,
produc530227576l_bool: $i ).
tff(produc10100002l_bool,type,
produc10100002l_bool: $i ).
tff(hAPP_f1363667773l_bool,type,
hAPP_f1363667773l_bool: ( $i * $i ) > $i ).
tff(map_ad564247072on_val,type,
map_ad564247072on_val: ( $i * $i ) > $i ).
tff(produc1282419105t_bool,type,
produc1282419105t_bool: $i ).
tff(hAPP_f1818217r_bool,type,
hAPP_f1818217r_bool: ( $i * $i ) > $i ).
tff(cOMBB_1750801836on_val,type,
cOMBB_1750801836on_val: $i ).
tff(cOMBB_486278459on_val,type,
cOMBB_486278459on_val: $i ).
tff(cOMBB_1759207793on_val,type,
cOMBB_1759207793on_val: $i ).
tff(hAPP_f384373191al_val,type,
hAPP_f384373191al_val: ( $i * $i ) > $i ).
tff(produc20018513l_bool,type,
produc20018513l_bool: $i ).
tff(hAPP_list_char_bool,type,
hAPP_list_char_bool: ( $i * $i ) > $i ).
tff(produc376702929l_bool,type,
produc376702929l_bool: $i ).
tff(hAPP_f1508793015l_bool,type,
hAPP_f1508793015l_bool: ( $i * $i ) > $i ).
tff(produc445472770t_bool,type,
produc445472770t_bool: $i ).
tff(hAPP_f1977633121l_bool,type,
hAPP_f1977633121l_bool: ( $i * $i ) > $i ).
tff(produc886919678l_bool,type,
produc886919678l_bool: $i > $i ).
tff('#skF_175',type,
'#skF_175': ( $i * $i ) > $i ).
tff(hAPP_f1628326017t_char,type,
hAPP_f1628326017t_char: ( $i * $i ) > $i ).
tff(dom_Pr122328314r_bool,type,
dom_Pr122328314r_bool: $i > $i ).
tff(hAPP_f2020099865l_bool,type,
hAPP_f2020099865l_bool: ( $i * $i ) > $i ).
tff('#skF_109',type,
'#skF_109': $i > $i ).
tff('#skF_254',type,
'#skF_254': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f516738477l_bool,type,
hAPP_f516738477l_bool: ( $i * $i ) > $i ).
tff('#skF_183',type,
'#skF_183': ( $i * $i ) > $i ).
tff('#skF_117',type,
'#skF_117': $i > $i ).
tff(is_refT,type,
is_refT: $i > $i ).
tff(cOMBB_1210977579on_val,type,
cOMBB_1210977579on_val: $i ).
tff(hAPP_l5978434l_bool,type,
hAPP_l5978434l_bool: ( $i * $i ) > $i ).
tff(hAPP_f781588360l_bool,type,
hAPP_f781588360l_bool: ( $i * $i ) > $i ).
tff(produc334393759l_bool,type,
produc334393759l_bool: $i ).
tff('#skF_105',type,
'#skF_105': $i > $i ).
tff('#skF_57',type,
'#skF_57': ( $i * $i ) > $i ).
tff(hAPP_v1285778436l_bool,type,
hAPP_v1285778436l_bool: ( $i * $i ) > $i ).
tff(map_ad1185064968ar_val,type,
map_ad1185064968ar_val: ( $i * $i ) > $i ).
tff('#skF_216',type,
'#skF_216': ( $i * $i * $i ) > $i ).
tff('#skF_129',type,
'#skF_129': ( $i * $i ) > $i ).
tff(produc899768717on_val,type,
produc899768717on_val: $i ).
tff(d_list_char,type,
d_list_char: ( $i * $i ) > $i ).
tff('#skF_257',type,
'#skF_257': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f745235151t_bool,type,
hAPP_f745235151t_bool: ( $i * $i ) > $i ).
tff(hAPP_nat_bool,type,
hAPP_nat_bool: ( $i * $i ) > $i ).
tff(hAPP_f338074126t_char,type,
hAPP_f338074126t_char: ( $i * $i ) > $i ).
tff('#skF_198',type,
'#skF_198': ( $i * $i ) > $i ).
tff(hAPP_b97269396l_bool,type,
hAPP_b97269396l_bool: ( $i * $i ) > $i ).
tff(hAPP_l1691929923t_bool,type,
hAPP_l1691929923t_bool: ( $i * $i ) > $i ).
tff('#skF_56',type,
'#skF_56': ( $i * $i ) > $i ).
tff(fun_up1995148684on_val,type,
fun_up1995148684on_val: ( $i * $i * $i ) > $i ).
tff(hAPP_P1501097100r_bool,type,
hAPP_P1501097100r_bool: ( $i * $i ) > $i ).
tff('#skF_220',type,
'#skF_220': ( $i * $i * $i ) > $i ).
tff('#skF_123',type,
'#skF_123': $i > $i ).
tff('#skF_276',type,
'#skF_276': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(dom_Pr585943145val_ty,type,
dom_Pr585943145val_ty: $i > $i ).
tff('#skF_18',type,
'#skF_18': $i > $i ).
tff(hAPP_f833559503l_bool,type,
hAPP_f833559503l_bool: ( $i * $i ) > $i ).
tff('#skF_144',type,
'#skF_144': ( $i * $i ) > $i ).
tff(produc111276146r_bool,type,
produc111276146r_bool: $i ).
tff('#skF_146',type,
'#skF_146': ( $i * $i ) > $i ).
tff(bool,type,
bool: $i > $i ).
tff(hAPP_f602593190on_val,type,
hAPP_f602593190on_val: ( $i * $i ) > $i ).
tff(hAPP_f118445774t_bool,type,
hAPP_f118445774t_bool: ( $i * $i ) > $i ).
tff(hAPP_f1342895119l_bool,type,
hAPP_f1342895119l_bool: ( $i * $i ) > $i ).
tff('#skF_185',type,
'#skF_185': ( $i * $i ) > $i ).
tff(hAPP_f2044570451l_bool,type,
hAPP_f2044570451l_bool: ( $i * $i ) > $i ).
tff(cOMBB_448128005on_val,type,
cOMBB_448128005on_val: $i ).
tff('#skF_214',type,
'#skF_214': ( $i * $i * $i ) > $i ).
tff('#skF_282',type,
'#skF_282': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_l1694815232l_bool,type,
hAPP_l1694815232l_bool: ( $i * $i ) > $i ).
tff(hconf_97414254t_char,type,
hconf_97414254t_char: $i > $i ).
tff(hAPP_P1988097815l_bool,type,
hAPP_P1988097815l_bool: ( $i * $i ) > $i ).
tff(ha,type,
ha: $i ).
tff(t,type,
t: $i ).
tff(none_val,type,
none_val: $i ).
tff('#skF_24',type,
'#skF_24': $i > $i ).
tff('#skF_196',type,
'#skF_196': ( $i * $i ) > $i ).
tff(hAPP_f1863694447l_bool,type,
hAPP_f1863694447l_bool: ( $i * $i ) > $i ).
tff(hAPP_P87436745l_bool,type,
hAPP_P87436745l_bool: ( $i * $i ) > $i ).
tff(hAPP_f2060496320y_bool,type,
hAPP_f2060496320y_bool: ( $i * $i ) > $i ).
tff(hAPP_P926760609r_bool,type,
hAPP_P926760609r_bool: ( $i * $i ) > $i ).
tff(map_ad1443463365al_val,type,
map_ad1443463365al_val: ( $i * $i ) > $i ).
tff(binOp_list_char,type,
binOp_list_char: ( $i * $i * $i ) > $i ).
tff('#skF_124',type,
'#skF_124': ( $i * $i ) > $i ).
tff(hAPP_b1505407649r_bool,type,
hAPP_b1505407649r_bool: ( $i * $i ) > $i ).
tff(fun_up638349240ion_ty,type,
fun_up638349240ion_ty: ( $i * $i * $i ) > $i ).
tff(hAPP_f243373951t_bool,type,
hAPP_f243373951t_bool: ( $i * $i ) > $i ).
tff('#skF_106',type,
'#skF_106': $i > $i ).
tff('#skF_35',type,
'#skF_35': $i > $i ).
tff('#skF_237',type,
'#skF_237': ( $i * $i * $i ) > $i ).
tff(fun_up307314898on_val,type,
fun_up307314898on_val: ( $i * $i * $i ) > $i ).
tff(hAPP_P171414854l_bool,type,
hAPP_P171414854l_bool: ( $i * $i ) > $i ).
tff(hAPP_f499947099l_bool,type,
hAPP_f499947099l_bool: ( $i * $i ) > $i ).
tff(hAPP_f2121594859l_bool,type,
hAPP_f2121594859l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1936466825l_bool,type,
hAPP_f1936466825l_bool: ( $i * $i ) > $i ).
tff(hAPP_P930111162on_val,type,
hAPP_P930111162on_val: ( $i * $i ) > $i ).
tff('#skF_154',type,
'#skF_154': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(final_list_char,type,
final_list_char: $i > $i ).
tff(hAPP_f647637603l_bool,type,
hAPP_f647637603l_bool: ( $i * $i ) > $i ).
tff(produc2128769400l_bool,type,
produc2128769400l_bool: $i ).
tff(null,type,
null: $i ).
tff(hAPP_f2144092865l_bool,type,
hAPP_f2144092865l_bool: ( $i * $i ) > $i ).
tff(hAPP_P39917866l_bool,type,
hAPP_P39917866l_bool: ( $i * $i ) > $i ).
tff(hAPP_f61570481t_bool,type,
hAPP_f61570481t_bool: ( $i * $i ) > $i ).
tff(hAPP_f396019662l_bool,type,
hAPP_f396019662l_bool: ( $i * $i ) > $i ).
tff('#skF_188',type,
'#skF_188': ( $i * $i ) > $i ).
tff(addr_of_sys_xcpt,type,
addr_of_sys_xcpt: $i > $i ).
tff(produc2075733823l_bool,type,
produc2075733823l_bool: $i ).
tff('#skF_44',type,
'#skF_44': ( $i * $i ) > $i ).
tff('#skF_190',type,
'#skF_190': ( $i * $i ) > $i ).
tff(hAPP_v1499173912l_bool,type,
hAPP_v1499173912l_bool: ( $i * $i ) > $i ).
tff(is_bool,type,
is_bool: $i > $o ).
tff(hAPP_f1150574413l_bool,type,
hAPP_f1150574413l_bool: ( $i * $i ) > $i ).
tff(dom_Pr881307234al_val,type,
dom_Pr881307234al_val: $i > $i ).
tff(hAPP_f592397849l_bool,type,
hAPP_f592397849l_bool: ( $i * $i ) > $i ).
tff(member_list_char,type,
member_list_char: ( $i * $i ) > $i ).
tff(cOMBB_1091123364t_char,type,
cOMBB_1091123364t_char: $i ).
tff(cOMBB_1572981887on_val,type,
cOMBB_1572981887on_val: $i ).
tff(produc481748255l_bool,type,
produc481748255l_bool: $i > $i ).
tff(map_ad1863687646r_bool,type,
map_ad1863687646r_bool: ( $i * $i ) > $i ).
tff('#skF_155',type,
'#skF_155': ( $i * $i ) > $i ).
tff('#skF_126',type,
'#skF_126': ( $i * $i ) > $i ).
tff(hAPP_P1134042693l_bool,type,
hAPP_P1134042693l_bool: ( $i * $i ) > $i ).
tff('#skF_101',type,
'#skF_101': $i > $i ).
tff(hAPP_P1308752439r_bool,type,
hAPP_P1308752439r_bool: ( $i * $i ) > $i ).
tff(cOMBB_1271765500t_char,type,
cOMBB_1271765500t_char: $i ).
tff(hAPP_f1261046903l_bool,type,
hAPP_f1261046903l_bool: ( $i * $i ) > $i ).
tff(wf_J_mdecl,type,
wf_J_mdecl: $i ).
tff('#skF_186',type,
'#skF_186': ( $i * $i ) > $i ).
tff(hAPP_P1374609397l_bool,type,
hAPP_P1374609397l_bool: ( $i * $i ) > $i ).
tff('#skF_19',type,
'#skF_19': $i > $i ).
tff('#skF_272',type,
'#skF_272': $i > $i ).
tff('#skF_218',type,
'#skF_218': ( $i * $i * $i ) > $i ).
tff(e_a,type,
e_a: $i ).
tff('#skF_277',type,
'#skF_277': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(produc2036005791l_bool,type,
produc2036005791l_bool: $i ).
tff(produc2062775566l_bool,type,
produc2062775566l_bool: $i > $i ).
tff(map_ad172895647r_bool,type,
map_ad172895647r_bool: ( $i * $i ) > $i ).
tff(hAPP_f902521097l_bool,type,
hAPP_f902521097l_bool: ( $i * $i ) > $i ).
tff(cOMBB_558176806on_val,type,
cOMBB_558176806on_val: $i ).
tff(hAPP_f1048754599r_bool,type,
hAPP_f1048754599r_bool: ( $i * $i ) > $i ).
tff('#skF_53',type,
'#skF_53': ( $i * $i ) > $i ).
tff(produc1401528596l_bool,type,
produc1401528596l_bool: $i ).
tff(hAPP_f953970029l_bool,type,
hAPP_f953970029l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1341053989l_bool,type,
hAPP_f1341053989l_bool: ( $i * $i ) > $i ).
tff(hAPP_f204556415on_val,type,
hAPP_f204556415on_val: ( $i * $i ) > $i ).
tff('#skF_31',type,
'#skF_31': $i > $i ).
tff(hAPP_f1440866903l_bool,type,
hAPP_f1440866903l_bool: ( $i * $i ) > $i ).
tff('#skF_75',type,
'#skF_75': $i > $i ).
tff(dom_na996029170on_val,type,
dom_na996029170on_val: $i > $i ).
tff(produc1428203216l_bool,type,
produc1428203216l_bool: $i ).
tff(produc778642754t_bool,type,
produc778642754t_bool: $i ).
tff(dom_li347256130r_bool,type,
dom_li347256130r_bool: $i > $i ).
tff(addr,type,
addr: $i > $i ).
tff(hAPP_f900686428on_val,type,
hAPP_f900686428on_val: ( $i * $i ) > $i ).
tff(hAPP_l195239522on_val,type,
hAPP_l195239522on_val: ( $i * $i ) > $i ).
tff(map_ad2048931253on_val,type,
map_ad2048931253on_val: ( $i * $i ) > $i ).
tff(hAPP_l2138409430r_bool,type,
hAPP_l2138409430r_bool: ( $i * $i ) > $i ).
tff(hAPP_P282169671l_bool,type,
hAPP_P282169671l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1020760203t_bool,type,
hAPP_P1020760203t_bool: ( $i * $i ) > $i ).
tff(hAPP_b420404024on_val,type,
hAPP_b420404024on_val: ( $i * $i ) > $i ).
tff(fun_up1250448779on_val,type,
fun_up1250448779on_val: ( $i * $i * $i ) > $i ).
tff(hAPP_f854417517l_bool,type,
hAPP_f854417517l_bool: ( $i * $i ) > $i ).
tff(has_fi1183600461t_char,type,
has_fi1183600461t_char: ( $i * $i * $i * $i ) > $i ).
tff(hAPP_f1589017327l_bool,type,
hAPP_f1589017327l_bool: ( $i * $i ) > $i ).
tff('#skF_234',type,
'#skF_234': ( $i * $i * $i ) > $i ).
tff(fun_up160134978ion_ty,type,
fun_up160134978ion_ty: ( $i * $i * $i ) > $i ).
tff(hAPP_f338507310l_bool,type,
hAPP_f338507310l_bool: ( $i * $i ) > $i ).
tff(tryCatch_list_char,type,
tryCatch_list_char: ( $i * $i * $i * $i ) > $i ).
tff('#skF_48',type,
'#skF_48': ( $i * $i ) > $i ).
tff(produc1260869559al_val,type,
produc1260869559al_val: $i ).
tff(cOMBB_1962662865on_val,type,
cOMBB_1962662865on_val: $i ).
tff('#skF_79',type,
'#skF_79': $i > $i ).
tff(hAPP_P1760219823on_val,type,
hAPP_P1760219823on_val: ( $i * $i ) > $i ).
tff(dom_Pr482007707r_bool,type,
dom_Pr482007707r_bool: $i > $i ).
tff('#skF_45',type,
'#skF_45': ( $i * $i ) > $i ).
tff(hAPP_f281022143l_bool,type,
hAPP_f281022143l_bool: ( $i * $i ) > $i ).
tff('#skF_171',type,
'#skF_171': ( $i * $i ) > $i ).
tff(hAPP_v572032837l_bool,type,
hAPP_v572032837l_bool: ( $i * $i ) > $i ).
tff('#skF_176',type,
'#skF_176': ( $i * $i ) > $i ).
tff('#skF_63',type,
'#skF_63': ( $i * $i ) > $i ).
tff(dom_nat_ty,type,
dom_nat_ty: $i > $i ).
tff('#skF_22',type,
'#skF_22': $i > $i ).
tff(produc234747160al_val,type,
produc234747160al_val: $i ).
tff(hAPP_f1301559543l_bool,type,
hAPP_f1301559543l_bool: ( $i * $i ) > $i ).
tff(produc996400752on_val,type,
produc996400752on_val: $i ).
tff(hAPP_v2145502215l_bool,type,
hAPP_v2145502215l_bool: ( $i * $i ) > $i ).
tff('#skF_103',type,
'#skF_103': $i > $i ).
tff(hAPP_P1354839595l_bool,type,
hAPP_P1354839595l_bool: ( $i * $i ) > $i ).
tff(cOMBB_315503848t_char,type,
cOMBB_315503848t_char: $i ).
tff('#skF_224',type,
'#skF_224': ( $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f1650812869r_bool,type,
hAPP_f1650812869r_bool: ( $i * $i ) > $i ).
tff(hAPP_l867549837on_val,type,
hAPP_l867549837on_val: ( $i * $i ) > $i ).
tff('#skF_37',type,
'#skF_37': $i > $i ).
tff(hAPP_f1685556710r_bool,type,
hAPP_f1685556710r_bool: ( $i * $i ) > $i ).
tff('#skF_120',type,
'#skF_120': $i > $i ).
tff(hAPP_P678729081l_bool,type,
hAPP_P678729081l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1271281289on_val,type,
hAPP_f1271281289on_val: ( $i * $i ) > $i ).
tff(binop,type,
binop: $i ).
tff(hAPP_v1173428276on_val,type,
hAPP_v1173428276on_val: ( $i * $i ) > $i ).
tff(hAPP_P509577523on_val,type,
hAPP_P509577523on_val: ( $i * $i ) > $i ).
tff(add,type,
add: $i ).
tff(hAPP_f1724962851l_bool,type,
hAPP_f1724962851l_bool: ( $i * $i ) > $i ).
tff(hAPP_P107417220t_bool,type,
hAPP_P107417220t_bool: ( $i * $i ) > $i ).
tff('#skF_263',type,
'#skF_263': ( $i * $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f1973249537r_bool,type,
hAPP_f1973249537r_bool: ( $i * $i ) > $i ).
tff(hAPP_f1276548047l_bool,type,
hAPP_f1276548047l_bool: ( $i * $i ) > $i ).
tff(member840932460on_val,type,
member840932460on_val: ( $i * $i ) > $i ).
tff(hAPP_l287304753l_bool,type,
hAPP_l287304753l_bool: ( $i * $i ) > $i ).
tff('#skF_165',type,
'#skF_165': ( $i * $i ) > $i ).
tff(produc1759631162l_bool,type,
produc1759631162l_bool: $i ).
tff(hAPP_v906492983on_val,type,
hAPP_v906492983on_val: ( $i * $i ) > $i ).
tff(cOMBB_740252943t_char,type,
cOMBB_740252943t_char: $i ).
tff('#skF_111',type,
'#skF_111': $i > $i ).
tff('#skF_72',type,
'#skF_72': ( $i * $i ) > $i ).
tff(hAPP_f2135509569l_bool,type,
hAPP_f2135509569l_bool: ( $i * $i ) > $i ).
tff(hAPP_f2106552235on_val,type,
hAPP_f2106552235on_val: ( $i * $i ) > $i ).
tff(hAPP_v618097829t_bool,type,
hAPP_v618097829t_bool: ( $i * $i ) > $i ).
tff('#skF_206',type,
'#skF_206': ( $i * $i ) > $i ).
tff(v_2,type,
v_2: $i ).
tff('#skF_97',type,
'#skF_97': $i > $i ).
tff('#skF_203',type,
'#skF_203': ( $i * $i ) > $i ).
tff('#skF_118',type,
'#skF_118': $i > $i ).
tff(hAPP_f1008932791l_bool,type,
hAPP_f1008932791l_bool: ( $i * $i ) > $i ).
tff('#skF_64',type,
'#skF_64': ( $i * $i ) > $i ).
tff(hAPP_f1706021209r_bool,type,
hAPP_f1706021209r_bool: ( $i * $i ) > $i ).
tff(hAPP_P177222514l_bool,type,
hAPP_P177222514l_bool: ( $i * $i ) > $i ).
tff(map_ad860315085val_ty,type,
map_ad860315085val_ty: ( $i * $i ) > $i ).
tff(hAPP_f416690673l_bool,type,
hAPP_f416690673l_bool: ( $i * $i ) > $i ).
tff(produc823076510on_val,type,
produc823076510on_val: $i ).
tff('#skF_70',type,
'#skF_70': ( $i * $i ) > $i ).
tff(hAPP_f2057883639l_bool,type,
hAPP_f2057883639l_bool: ( $i * $i ) > $i ).
tff(hAPP_f881985847l_bool,type,
hAPP_f881985847l_bool: ( $i * $i ) > $i ).
tff(hAPP_f363827556r_bool,type,
hAPP_f363827556r_bool: ( $i * $i ) > $i ).
tff(hAPP_e500528395l_bool,type,
hAPP_e500528395l_bool: ( $i * $i ) > $i ).
tff(hAPP_f365540729l_bool,type,
hAPP_f365540729l_bool: ( $i * $i ) > $i ).
tff(hAPP_P2083594489on_val,type,
hAPP_P2083594489on_val: ( $i * $i ) > $i ).
tff(hAPP_P912976383l_bool,type,
hAPP_P912976383l_bool: ( $i * $i ) > $i ).
tff(fun_up1836969043r_bool,type,
fun_up1836969043r_bool: ( $i * $i * $i ) > $i ).
tff('#skF_195',type,
'#skF_195': ( $i * $i ) > $i ).
tff(hAPP_f204771371l_bool,type,
hAPP_f204771371l_bool: ( $i * $i ) > $i ).
tff(hAPP_P553120288l_bool,type,
hAPP_P553120288l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1992719827l_bool,type,
hAPP_f1992719827l_bool: ( $i * $i ) > $i ).
tff('#skF_180',type,
'#skF_180': ( $i * $i ) > $i ).
tff(produc1779501634r_bool,type,
produc1779501634r_bool: $i ).
tff(hAPP_f1859015701l_bool,type,
hAPP_f1859015701l_bool: ( $i * $i ) > $i ).
tff(hAPP_f399538905l_bool,type,
hAPP_f399538905l_bool: ( $i * $i ) > $i ).
tff('#skF_8',type,
'#skF_8': $i > $i ).
tff(hAPP_f1779904442al_val,type,
hAPP_f1779904442al_val: ( $i * $i ) > $i ).
tff('#skF_60',type,
'#skF_60': ( $i * $i ) > $i ).
tff('#skF_100',type,
'#skF_100': $i > $i ).
tff('#skF_140',type,
'#skF_140': ( $i * $i ) > $i ).
tff(hAPP_f1024478733l_bool,type,
hAPP_f1024478733l_bool: ( $i * $i ) > $i ).
tff('#skF_122',type,
'#skF_122': $i > $i ).
tff('#skF_208',type,
'#skF_208': ( $i * $i ) > $i ).
tff(dom_Pr695701035ar_val,type,
dom_Pr695701035ar_val: $i > $i ).
tff('#skF_142',type,
'#skF_142': ( $i * $i ) > $i ).
tff(hAPP_l803240415l_bool,type,
hAPP_l803240415l_bool: ( $i * $i ) > $i ).
tff(map_ad1655582893r_bool,type,
map_ad1655582893r_bool: ( $i * $i ) > $i ).
tff(hAPP_l1064716406r_bool,type,
hAPP_l1064716406r_bool: ( $i * $i ) > $i ).
tff(oconf_1869808039t_char,type,
oconf_1869808039t_char: ( $i * $i ) > $i ).
tff(cOMBB_877741809on_val,type,
cOMBB_877741809on_val: $i ).
tff(hAPP_f802896187l_bool,type,
hAPP_f802896187l_bool: ( $i * $i ) > $i ).
tff(dom_na1091370954r_bool,type,
dom_na1091370954r_bool: $i > $i ).
tff(produc1741654153l_bool,type,
produc1741654153l_bool: $i ).
tff('#skF_65',type,
'#skF_65': ( $i * $i ) > $i ).
tff('#skF_209',type,
'#skF_209': ( $i * $i ) > $i ).
tff(hAPP_f998724171on_val,type,
hAPP_f998724171on_val: ( $i * $i ) > $i ).
tff(cOMBB_1303934920on_val,type,
cOMBB_1303934920on_val: $i ).
tff(cOMBB_171276332on_val,type,
cOMBB_171276332on_val: $i ).
tff(hAPP_f1326058377l_bool,type,
hAPP_f1326058377l_bool: ( $i * $i ) > $i ).
tff('#skF_187',type,
'#skF_187': ( $i * $i ) > $i ).
tff(hAPP_v1775873509l_bool,type,
hAPP_v1775873509l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1988153107l_bool,type,
hAPP_P1988153107l_bool: ( $i * $i ) > $i ).
tff('#skF_160',type,
'#skF_160': ( $i * $i ) > $i ).
tff(cOMBB_466903633on_val,type,
cOMBB_466903633on_val: $i ).
tff(map_ad784656511on_val,type,
map_ad784656511on_val: ( $i * $i ) > $i ).
tff(hAPP_f1926378906on_val,type,
hAPP_f1926378906on_val: ( $i * $i ) > $i ).
tff('#skF_3',type,
'#skF_3': ( $i * $i ) > $i ).
tff('#skF_246',type,
'#skF_246': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_P1936714534on_val,type,
hAPP_P1936714534on_val: ( $i * $i ) > $i ).
tff('#skF_245',type,
'#skF_245': ( $i * $i ) > $i ).
tff(produc1815960045l_bool,type,
produc1815960045l_bool: $i ).
tff(hAPP_P1228500987ion_ty,type,
hAPP_P1228500987ion_ty: ( $i * $i ) > $i ).
tff('#skF_256',type,
'#skF_256': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(produc226467351on_val,type,
produc226467351on_val: $i ).
tff(hAPP_P193916115t_char,type,
hAPP_P193916115t_char: ( $i * $i ) > $i ).
tff(hAPP_f1817800029l_bool,type,
hAPP_f1817800029l_bool: ( $i * $i ) > $i ).
tff(hAPP_f497008323l_bool,type,
hAPP_f497008323l_bool: ( $i * $i ) > $i ).
tff('#skF_69',type,
'#skF_69': ( $i * $i ) > $i ).
tff(hAPP_l256041150l_bool,type,
hAPP_l256041150l_bool: ( $i * $i ) > $i ).
tff(hAPP_f489055607l_bool,type,
hAPP_f489055607l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1399435963l_bool,type,
hAPP_f1399435963l_bool: ( $i * $i ) > $i ).
tff(member773094996on_val,type,
member773094996on_val: ( $i * $i ) > $i ).
tff(cOMBB_1083177073on_val,type,
cOMBB_1083177073on_val: $i ).
tff(hAPP_f1001225811y_bool,type,
hAPP_f1001225811y_bool: ( $i * $i ) > $i ).
tff(hAPP_P416784693l_bool,type,
hAPP_P416784693l_bool: ( $i * $i ) > $i ).
tff(map_add_list_char_ty,type,
map_add_list_char_ty: ( $i * $i ) > $i ).
tff(hAPP_f40221303l_bool,type,
hAPP_f40221303l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1043869573l_bool,type,
hAPP_f1043869573l_bool: ( $i * $i ) > $i ).
tff(fun_up204312361on_val,type,
fun_up204312361on_val: ( $i * $i * $i ) > $i ).
tff(dom_Pr1536367242val_ty,type,
dom_Pr1536367242val_ty: $i > $i ).
tff(t_1,type,
t_1: $i ).
tff(hAPP_f1182128795l_bool,type,
hAPP_f1182128795l_bool: ( $i * $i ) > $i ).
tff('#skF_211',type,
'#skF_211': ( $i * $i * $i ) > $i ).
tff(produc1289468263l_bool,type,
produc1289468263l_bool: $i ).
tff(hAPP_l1786340417on_val,type,
hAPP_l1786340417on_val: ( $i * $i ) > $i ).
tff(hAPP_e1372786563l_bool,type,
hAPP_e1372786563l_bool: ( $i * $i ) > $i ).
tff(hAPP_v1921713543l_bool,type,
hAPP_v1921713543l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1605474468l_bool,type,
hAPP_P1605474468l_bool: ( $i * $i ) > $i ).
tff('#skF_280',type,
'#skF_280': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff('#skF_132',type,
'#skF_132': ( $i * $i ) > $i ).
tff('#skF_151',type,
'#skF_151': ( $i * $i ) > $i ).
tff(hAPP_f1203390411l_bool,type,
hAPP_f1203390411l_bool: ( $i * $i ) > $i ).
tff(hAPP_f653851379l_bool,type,
hAPP_f653851379l_bool: ( $i * $i ) > $i ).
tff(hAPP_P142343914ion_ty,type,
hAPP_P142343914ion_ty: ( $i * $i ) > $i ).
tff(hAPP_f702440703l_bool,type,
hAPP_f702440703l_bool: ( $i * $i ) > $i ).
tff(cOMBB_1027621637t_char,type,
cOMBB_1027621637t_char: $i ).
tff(hAPP_f1074020887l_bool,type,
hAPP_f1074020887l_bool: ( $i * $i ) > $i ).
tff(produc85367547l_bool,type,
produc85367547l_bool: $i ).
tff(hAPP_f1590577855l_bool,type,
hAPP_f1590577855l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1725502637l_bool,type,
hAPP_f1725502637l_bool: ( $i * $i ) > $i ).
tff('#skF_219',type,
'#skF_219': ( $i * $i * $i ) > $i ).
tff(hAPP_P2034098401l_bool,type,
hAPP_P2034098401l_bool: ( $i * $i ) > $i ).
tff(dom_Pr1286015283al_val,type,
dom_Pr1286015283al_val: $i > $i ).
tff(hAPP_f624730965l_bool,type,
hAPP_f624730965l_bool: ( $i * $i ) > $i ).
tff(hAPP_b940299656l_bool,type,
hAPP_b940299656l_bool: ( $i * $i ) > $i ).
tff(hAPP_f104936073r_bool,type,
hAPP_f104936073r_bool: ( $i * $i ) > $i ).
tff(block_list_char,type,
block_list_char: ( $i * $i * $i ) > $i ).
tff(hAPP_P789556885on_val,type,
hAPP_P789556885on_val: ( $i * $i ) > $i ).
tff(hAPP_l1110132679l_bool,type,
hAPP_l1110132679l_bool: ( $i * $i ) > $i ).
tff('#skF_212',type,
'#skF_212': ( $i * $i * $i ) > $i ).
tff(dom_nat_val,type,
dom_nat_val: $i > $i ).
tff(hAPP_P2094403585on_val,type,
hAPP_P2094403585on_val: ( $i * $i ) > $i ).
tff(produc1441475159on_val,type,
produc1441475159on_val: $i ).
tff(fAcc_list_char,type,
fAcc_list_char: ( $i * $i * $i ) > $i ).
tff(hAPP_val_bool,type,
hAPP_val_bool: ( $i * $i ) > $i ).
tff(produc769963999l_bool,type,
produc769963999l_bool: $i ).
tff(produc1174947465on_val,type,
produc1174947465on_val: $i ).
tff(produc1259058957on_val,type,
produc1259058957on_val: $i ).
tff(wTrt,type,
wTrt: ( $i * $i * $i * $i * $i ) > $i ).
tff(nullPointer,type,
nullPointer: $i ).
tff('#skF_192',type,
'#skF_192': ( $i * $i ) > $i ).
tff(h_a,type,
h_a: $i ).
tff('#skF_34',type,
'#skF_34': $i > $i ).
tff(hAPP_f451093418l_bool,type,
hAPP_f451093418l_bool: ( $i * $i ) > $i ).
tff(produc1973453616l_bool,type,
produc1973453616l_bool: $i ).
tff('#skF_29',type,
'#skF_29': $i > $i ).
tff(hAPP_f2092385043l_bool,type,
hAPP_f2092385043l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1066308164on_val,type,
hAPP_P1066308164on_val: ( $i * $i ) > $i ).
tff(hAPP_P323054207l_bool,type,
hAPP_P323054207l_bool: ( $i * $i ) > $i ).
tff(produc636580408on_val,type,
produc636580408on_val: $i ).
tff(produc1722298385l_bool,type,
produc1722298385l_bool: $i ).
tff(produc970139208l_bool,type,
produc970139208l_bool: $i ).
tff('#skF_15',type,
'#skF_15': $i > $i ).
tff(hAPP_f394183983on_val,type,
hAPP_f394183983on_val: ( $i * $i ) > $i ).
tff(hAPP_P449474095r_bool,type,
hAPP_P449474095r_bool: ( $i * $i ) > $i ).
tff(hAPP_b1930329414l_bool,type,
hAPP_b1930329414l_bool: ( $i * $i ) > $i ).
tff('#skF_32',type,
'#skF_32': $i > $i ).
tff('#skF_167',type,
'#skF_167': ( $i * $i ) > $i ).
tff(hAPP_f1145256474l_bool,type,
hAPP_f1145256474l_bool: ( $i * $i ) > $i ).
tff(hAPP_f10074679l_bool,type,
hAPP_f10074679l_bool: ( $i * $i ) > $i ).
tff(produc848137919l_bool,type,
produc848137919l_bool: $i ).
tff(hAPP_f48091733on_val,type,
hAPP_f48091733on_val: ( $i * $i ) > $i ).
tff(fequal_val,type,
fequal_val: $i ).
tff(hAPP_f295212021l_bool,type,
hAPP_f295212021l_bool: ( $i * $i ) > $i ).
tff('#skF_169',type,
'#skF_169': ( $i * $i ) > $i ).
tff(is_cla570604648t_char,type,
is_cla570604648t_char: $i > $i ).
tff('#skF_233',type,
'#skF_233': ( $i * $i * $i ) > $i ).
tff('#skF_93',type,
'#skF_93': $i > $i ).
tff(hAPP_f1695781849al_val,type,
hAPP_f1695781849al_val: ( $i * $i ) > $i ).
tff('#skF_98',type,
'#skF_98': $i > $i ).
tff(hAPP_f8993627l_bool,type,
hAPP_f8993627l_bool: ( $i * $i ) > $i ).
tff('#skF_143',type,
'#skF_143': ( $i * $i ) > $i ).
tff(hAPP_f1927197746t_bool,type,
hAPP_f1927197746t_bool: ( $i * $i ) > $i ).
tff(fun_up683731323on_val,type,
fun_up683731323on_val: ( $i * $i * $i ) > $i ).
tff('#skF_172',type,
'#skF_172': ( $i * $i ) > $i ).
tff(hAPP_f664873147l_bool,type,
hAPP_f664873147l_bool: ( $i * $i ) > $i ).
tff(dom_Pr1854948307al_val,type,
dom_Pr1854948307al_val: $i > $i ).
tff(wwf_J_mdecl,type,
wwf_J_mdecl: $i ).
tff(produc155418000t_bool,type,
produc155418000t_bool: $i ).
tff(hAPP_f774767491r_bool,type,
hAPP_f774767491r_bool: ( $i * $i ) > $i ).
tff('#skF_240',type,
'#skF_240': ( $i * $i ) > $i ).
tff(hAPP_P1815899455l_bool,type,
hAPP_P1815899455l_bool: ( $i * $i ) > $i ).
tff('#skF_173',type,
'#skF_173': ( $i * $i ) > $i ).
tff(hAPP_f1804599279l_bool,type,
hAPP_f1804599279l_bool: ( $i * $i ) > $i ).
tff(hAPP_f42352062l_bool,type,
hAPP_f42352062l_bool: ( $i * $i ) > $i ).
tff(produc278452722r_bool,type,
produc278452722r_bool: $i ).
tff(fun_up424764369ion_ty,type,
fun_up424764369ion_ty: ( $i * $i * $i ) > $i ).
tff(hAPP_f1308714617l_bool,type,
hAPP_f1308714617l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1608665167l_bool,type,
hAPP_f1608665167l_bool: ( $i * $i ) > $i ).
tff(fun_up2041264236on_val,type,
fun_up2041264236on_val: ( $i * $i * $i ) > $i ).
tff(hAPP_f2048668297l_bool,type,
hAPP_f2048668297l_bool: ( $i * $i ) > $i ).
tff(cOMBB_1150072860ol_bop,type,
cOMBB_1150072860ol_bop: $i ).
tff(hAPP_P1971671882l_bool,type,
hAPP_P1971671882l_bool: ( $i * $i ) > $i ).
tff(hAPP_f318082871l_bool,type,
hAPP_f318082871l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1953518277l_bool,type,
hAPP_P1953518277l_bool: ( $i * $i ) > $i ).
tff(hAPP_f820838927l_bool,type,
hAPP_f820838927l_bool: ( $i * $i ) > $i ).
tff(hAPP_l208357873t_char,type,
hAPP_l208357873t_char: ( $i * $i ) > $i ).
tff(hAPP_f926562337l_bool,type,
hAPP_f926562337l_bool: ( $i * $i ) > $i ).
tff(hAPP_f195923946l_bool,type,
hAPP_f195923946l_bool: ( $i * $i ) > $i ).
tff(transi1065307915t_char,type,
transi1065307915t_char: $i > $i ).
tff('#skF_28',type,
'#skF_28': $i > $i ).
tff('#skF_197',type,
'#skF_197': ( $i * $i ) > $i ).
tff(produc654114665t_bool,type,
produc654114665t_bool: $i ).
tff(hAPP_P1138140810l_bool,type,
hAPP_P1138140810l_bool: ( $i * $i ) > $i ).
tff(cOMBB_1353907126al_val,type,
cOMBB_1353907126al_val: $i ).
tff('#skF_261',type,
'#skF_261': ( $i * $i * $i * $i * $i ) > $i ).
tff(v_1,type,
v_1: $i ).
tff('#skF_110',type,
'#skF_110': $i > $i ).
tff('#skF_10',type,
'#skF_10': $i > $i ).
tff(hAPP_f193834907l_bool,type,
hAPP_f193834907l_bool: ( $i * $i ) > $i ).
tff(hAPP_P947230058t_bool,type,
hAPP_P947230058t_bool: ( $i * $i ) > $i ).
tff(hAPP_P1802178130t_bool,type,
hAPP_P1802178130t_bool: ( $i * $i ) > $i ).
tff(hAPP_f2061154754l_bool,type,
hAPP_f2061154754l_bool: ( $i * $i ) > $i ).
tff(member763590124on_val,type,
member763590124on_val: ( $i * $i ) > $i ).
tff(hAPP_l512744617ion_ty,type,
hAPP_l512744617ion_ty: ( $i * $i ) > $i ).
tff(hAPP_b653060073l_bool,type,
hAPP_b653060073l_bool: ( $i * $i ) > $i ).
tff(map_ad1808327055al_val,type,
map_ad1808327055al_val: ( $i * $i ) > $i ).
tff(produc877244993l_bool,type,
produc877244993l_bool: $i ).
tff(hAPP_l989484238l_bool,type,
hAPP_l989484238l_bool: ( $i * $i ) > $i ).
tff(dom_list_char_val,type,
dom_list_char_val: $i > $i ).
tff(hAPP_l221195696on_val,type,
hAPP_l221195696on_val: ( $i * $i ) > $i ).
tff(hAPP_P1366871678r_bool,type,
hAPP_P1366871678r_bool: ( $i * $i ) > $i ).
tff(produc1267303057l_bool,type,
produc1267303057l_bool: $i ).
tff(hAPP_l80874262on_val,type,
hAPP_l80874262on_val: ( $i * $i ) > $i ).
tff('#skF_156',type,
'#skF_156': ( $i * $i ) > $i ).
tff(hAPP_P731332193l_bool,type,
hAPP_P731332193l_bool: ( $i * $i ) > $i ).
tff(hAPP_f737710471r_bool,type,
hAPP_f737710471r_bool: ( $i * $i ) > $i ).
tff(hAPP_e108155315on_val,type,
hAPP_e108155315on_val: ( $i * $i ) > $i ).
tff(hAPP_f2052660463l_bool,type,
hAPP_f2052660463l_bool: ( $i * $i ) > $i ).
tff(hAPP_f635218277l_bool,type,
hAPP_f635218277l_bool: ( $i * $i ) > $i ).
tff(fun_up252238218on_val,type,
fun_up252238218on_val: ( $i * $i * $i ) > $i ).
tff(hAPP_f21084934l_bool,type,
hAPP_f21084934l_bool: ( $i * $i ) > $i ).
tff('#skF_83',type,
'#skF_83': $i > $i ).
tff(none_P179726773on_val,type,
none_P179726773on_val: $i ).
tff(dom_Pr1989649490on_val,type,
dom_Pr1989649490on_val: $i > $i ).
tff(produc576623071t_char,type,
produc576623071t_char: $i ).
tff(hAPP_P121427050ion_ty,type,
hAPP_P121427050ion_ty: ( $i * $i ) > $i ).
tff(hAPP_P943837928l_bool,type,
hAPP_P943837928l_bool: ( $i * $i ) > $i ).
tff('#skF_267',type,
'#skF_267': ( $i * $i * $i * $i * $i ) > $i ).
tff('#skF_74',type,
'#skF_74': ( $i * $i ) > $i ).
tff(dom_Pr1623760025val_ty,type,
dom_Pr1623760025val_ty: $i > $i ).
tff(fun_up1281163108r_bool,type,
fun_up1281163108r_bool: ( $i * $i * $i ) > $i ).
tff('#skF_152',type,
'#skF_152': ( $i * $i * $i * $i ) > $i ).
tff('#skF_49',type,
'#skF_49': ( $i * $i ) > $i ).
tff(some_P948696889on_val,type,
some_P948696889on_val: $i ).
tff(v,type,
v: $i ).
tff(hAPP_l207779698on_val,type,
hAPP_l207779698on_val: ( $i * $i ) > $i ).
tff(hAPP_f477896859t_bool,type,
hAPP_f477896859t_bool: ( $i * $i ) > $i ).
tff(hAPP_P722986275on_val,type,
hAPP_P722986275on_val: ( $i * $i ) > $i ).
tff(cOMBB_97313278t_char,type,
cOMBB_97313278t_char: $i ).
tff(hAPP_P1384137393r_bool,type,
hAPP_P1384137393r_bool: ( $i * $i ) > $i ).
tff(redp,type,
redp: ( $i * $i * $i ) > $i ).
tff('#skF_82',type,
'#skF_82': $i > $i ).
tff(hAPP_f800545225l_bool,type,
hAPP_f800545225l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1591648613l_bool,type,
hAPP_f1591648613l_bool: ( $i * $i ) > $i ).
tff('#skF_38',type,
'#skF_38': $i > $i ).
tff(hAPP_f1928083410l_bool,type,
hAPP_f1928083410l_bool: ( $i * $i ) > $i ).
tff(hAPP_f507696695l_bool,type,
hAPP_f507696695l_bool: ( $i * $i ) > $i ).
tff(produc107777033l_bool,type,
produc107777033l_bool: $i ).
tff(member1417904245al_val,type,
member1417904245al_val: ( $i * $i ) > $i ).
tff(hAPP_f61040418l_bool,type,
hAPP_f61040418l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1033709212l_bool,type,
hAPP_f1033709212l_bool: ( $i * $i ) > $i ).
tff(member_nat,type,
member_nat: ( $i * $i ) > $i ).
tff('#skF_150',type,
'#skF_150': ( $i * $i ) > $i ).
tff(hAPP_f910354125l_bool,type,
hAPP_f910354125l_bool: ( $i * $i ) > $i ).
tff(cast_list_char,type,
cast_list_char: ( $i * $i ) > $i ).
tff(eval,type,
eval: ( $i * $i * $i ) > $i ).
tff(hp,type,
hp: $i > $i ).
tff('#skF_66',type,
'#skF_66': ( $i * $i ) > $i ).
tff(hAPP_f1233687287l_bool,type,
hAPP_f1233687287l_bool: ( $i * $i ) > $i ).
tff('#skF_54',type,
'#skF_54': ( $i * $i ) > $i ).
tff(void,type,
void: $i ).
tff('#skF_270',type,
'#skF_270': ( $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f2011777102l_bool,type,
hAPP_f2011777102l_bool: ( $i * $i ) > $i ).
tff('#skF_67',type,
'#skF_67': ( $i * $i ) > $i ).
tff('#skF_135',type,
'#skF_135': ( $i * $i ) > $i ).
tff(hAPP_f1840640125on_val,type,
hAPP_f1840640125on_val: ( $i * $i ) > $i ).
tff(cOMBB_660939282ol_val,type,
cOMBB_660939282ol_val: $i ).
tff(hAPP_P693658169l_bool,type,
hAPP_P693658169l_bool: ( $i * $i ) > $i ).
tff('#skF_194',type,
'#skF_194': ( $i * $i ) > $i ).
tff(hAPP_v1392248405l_bool,type,
hAPP_v1392248405l_bool: ( $i * $i ) > $i ).
tff('#skF_244',type,
'#skF_244': ( $i * $i ) > $i ).
tff(hAPP_P147338735on_val,type,
hAPP_P147338735on_val: ( $i * $i ) > $i ).
tff(hAPP_v852496844al_val,type,
hAPP_v852496844al_val: ( $i * $i ) > $i ).
tff(hAPP_f927043595l_bool,type,
hAPP_f927043595l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1438732387l_bool,type,
hAPP_f1438732387l_bool: ( $i * $i ) > $i ).
tff('#skF_239',type,
'#skF_239': ( $i * $i ) > $i ).
tff(hAPP_f57041375l_bool,type,
hAPP_f57041375l_bool: ( $i * $i ) > $i ).
tff('#skF_42',type,
'#skF_42': ( $i * $i ) > $i ).
tff(map_ad181331206on_val,type,
map_ad181331206on_val: ( $i * $i ) > $i ).
tff(map_ad325961431ar_val,type,
map_ad325961431ar_val: ( $i * $i ) > $i ).
tff(hAPP_f2132060507r_bool,type,
hAPP_f2132060507r_bool: ( $i * $i ) > $i ).
tff(hAPP_f902010623al_val,type,
hAPP_f902010623al_val: ( $i * $i ) > $i ).
tff(hAPP_P665696794l_bool,type,
hAPP_P665696794l_bool: ( $i * $i ) > $i ).
tff(hAPP_f468299289l_bool,type,
hAPP_f468299289l_bool: ( $i * $i ) > $i ).
tff('#skF_153',type,
'#skF_153': ( $i * $i * $i * $i ) > $i ).
tff(lconf_496643946t_char,type,
lconf_496643946t_char: $i > $i ).
tff(hAPP_l130580829l_bool,type,
hAPP_l130580829l_bool: ( $i * $i ) > $i ).
tff('#skF_107',type,
'#skF_107': $i > $i ).
tff('#skF_231',type,
'#skF_231': ( $i * $i * $i ) > $i ).
tff(dom_list_char_ty,type,
dom_list_char_ty: $i > $i ).
tff('#skF_113',type,
'#skF_113': $i > $i ).
tff(hAPP_P712854582t_bool,type,
hAPP_P712854582t_bool: ( $i * $i ) > $i ).
tff(cOMBB_1056322480ol_val,type,
cOMBB_1056322480ol_val: $i ).
tff(produc1512975096l_bool,type,
produc1512975096l_bool: $i ).
tff(hAPP_f1930574389l_bool,type,
hAPP_f1930574389l_bool: ( $i * $i ) > $i ).
tff(cOMBB_672625589on_val,type,
cOMBB_672625589on_val: $i ).
tff('#skF_184',type,
'#skF_184': ( $i * $i ) > $i ).
tff(dom_Pr1291804355on_val,type,
dom_Pr1291804355on_val: $i > $i ).
tff(produc1911975310l_bool,type,
produc1911975310l_bool: $i > $i ).
tff('#skF_92',type,
'#skF_92': $i > $i ).
tff(cOMBB_635947099on_val,type,
cOMBB_635947099on_val: $i ).
tff('#skF_108',type,
'#skF_108': $i > $i ).
tff('#skF_80',type,
'#skF_80': $i > $i ).
tff(hAPP_f1241216909l_bool,type,
hAPP_f1241216909l_bool: ( $i * $i ) > $i ).
tff('#skF_193',type,
'#skF_193': ( $i * $i ) > $i ).
tff('#skF_260',type,
'#skF_260': ( $i * $i * $i * $i * $i ) > $i ).
tff('#skF_51',type,
'#skF_51': ( $i * $i ) > $i ).
tff(hAPP_P2074628057on_val,type,
hAPP_P2074628057on_val: ( $i * $i ) > $i ).
tff(cOMBB_1718324963ol_bop,type,
cOMBB_1718324963ol_bop: $i ).
tff(fun_up2650881on_val,type,
fun_up2650881on_val: ( $i * $i * $i ) > $i ).
tff('#skF_128',type,
'#skF_128': ( $i * $i ) > $i ).
tff(member1542417277on_val,type,
member1542417277on_val: ( $i * $i ) > $i ).
tff('#skF_162',type,
'#skF_162': ( $i * $i ) > $i ).
tff('#skF_217',type,
'#skF_217': ( $i * $i * $i ) > $i ).
tff('#skF_259',type,
'#skF_259': ( $i * $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(fAss_list_char,type,
fAss_list_char: ( $i * $i * $i * $i ) > $i ).
tff(produc286289338l_bool,type,
produc286289338l_bool: $i ).
tff(hAPP_P1826803705l_bool,type,
hAPP_P1826803705l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1708370145l_bool,type,
hAPP_P1708370145l_bool: ( $i * $i ) > $i ).
tff(val_list_char,type,
val_list_char: $i > $i ).
tff('#skF_201',type,
'#skF_201': ( $i * $i ) > $i ).
tff(cOMBB_1518282696on_val,type,
cOMBB_1518282696on_val: $i ).
tff('#skF_166',type,
'#skF_166': ( $i * $i ) > $i ).
tff(cOMBB_1895512847t_char,type,
cOMBB_1895512847t_char: $i ).
tff('#skF_230',type,
'#skF_230': ( $i * $i * $i ) > $i ).
tff('#skF_90',type,
'#skF_90': $i > $i ).
tff(hAPP_f332734435r_bool,type,
hAPP_f332734435r_bool: ( $i * $i ) > $i ).
tff(hAPP_f151189509l_bool,type,
hAPP_f151189509l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1830813581l_bool,type,
hAPP_f1830813581l_bool: ( $i * $i ) > $i ).
tff(hAPP_v1688016564l_bool,type,
hAPP_v1688016564l_bool: ( $i * $i ) > $i ).
tff('#skF_71',type,
'#skF_71': ( $i * $i ) > $i ).
tff('#skF_243',type,
'#skF_243': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f372404869on_val,type,
hAPP_f372404869on_val: ( $i * $i ) > $i ).
tff(produc1812634928l_bool,type,
produc1812634928l_bool: $i ).
tff('#skF_191',type,
'#skF_191': ( $i * $i ) > $i ).
tff(hAPP_P1578317968ion_ty,type,
hAPP_P1578317968ion_ty: ( $i * $i ) > $i ).
tff(hAPP_f1432609211l_bool,type,
hAPP_f1432609211l_bool: ( $i * $i ) > $i ).
tff(produc392960766l_bool,type,
produc392960766l_bool: $i ).
tff(hAPP_f181262431l_bool,type,
hAPP_f181262431l_bool: ( $i * $i ) > $i ).
tff(cOMBB_73690268t_char,type,
cOMBB_73690268t_char: $i ).
tff(the_val,type,
the_val: $i > $i ).
tff(hAPP_P159683425l_bool,type,
hAPP_P159683425l_bool: ( $i * $i ) > $i ).
tff('#skF_200',type,
'#skF_200': ( $i * $i ) > $i ).
tff(cOMBB_1522540928on_val,type,
cOMBB_1522540928on_val: $i ).
tff(fun_up1114451667r_bool,type,
fun_up1114451667r_bool: ( $i * $i * $i ) > $i ).
tff(produc1810874273r_bool,type,
produc1810874273r_bool: $i ).
tff(hAPP_f336522659r_bool,type,
hAPP_f336522659r_bool: ( $i * $i ) > $i ).
tff(dom_Pr1770328362r_bool,type,
dom_Pr1770328362r_bool: $i > $i ).
tff(hAPP_P1116729363l_bool,type,
hAPP_P1116729363l_bool: ( $i * $i ) > $i ).
tff(map_ad1982313927on_val,type,
map_ad1982313927on_val: ( $i * $i ) > $i ).
tff(cOMBB_507649738t_char,type,
cOMBB_507649738t_char: $i ).
tff(hAPP_n2063106924r_bool,type,
hAPP_n2063106924r_bool: ( $i * $i ) > $i ).
tff(cOMBB_2040779506on_val,type,
cOMBB_2040779506on_val: $i ).
tff(hAPP_f524589473l_bool,type,
hAPP_f524589473l_bool: ( $i * $i ) > $i ).
tff(wf_pro755087577t_char,type,
wf_pro755087577t_char: ( $i * $i ) > $i ).
tff('#skF_84',type,
'#skF_84': $i > $i ).
tff('#skF_170',type,
'#skF_170': ( $i * $i ) > $i ).
tff(hAPP_nat_option_ty,type,
hAPP_nat_option_ty: ( $i * $i ) > $i ).
tff(produc2102986512t_bool,type,
produc2102986512t_bool: $i ).
tff(hAPP_f1817272339l_bool,type,
hAPP_f1817272339l_bool: ( $i * $i ) > $i ).
tff('#skF_39',type,
'#skF_39': $i > $i ).
tff(hAPP_f414190381l_bool,type,
hAPP_f414190381l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1230564778on_val,type,
hAPP_P1230564778on_val: ( $i * $i ) > $i ).
tff('#skF_255',type,
'#skF_255': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff('#skF_138',type,
'#skF_138': ( $i * $i ) > $i ).
tff('#skF_271',type,
'#skF_271': ( $i * $i * $i * $i * $i ) > $i ).
tff('#skF_227',type,
'#skF_227': ( $i * $i ) > $i ).
tff('#skF_281',type,
'#skF_281': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff('#skF_131',type,
'#skF_131': ( $i * $i ) > $i ).
tff('#skF_23',type,
'#skF_23': $i > $i ).
tff(hAPP_P698243685l_bool,type,
hAPP_P698243685l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1157264807l_bool,type,
hAPP_f1157264807l_bool: ( $i * $i ) > $i ).
tff(map_ad478808158r_bool,type,
map_ad478808158r_bool: ( $i * $i ) > $i ).
tff(cOMBB_2121771659al_val,type,
cOMBB_2121771659al_val: $i ).
tff(hAPP_f496905015l_bool,type,
hAPP_f496905015l_bool: ( $i * $i ) > $i ).
tff(produc621191550al_val,type,
produc621191550al_val: $i ).
tff(hAPP_P929466802al_val,type,
hAPP_P929466802al_val: ( $i * $i ) > $i ).
tff(hAPP_v1940296605r_bool,type,
hAPP_v1940296605r_bool: ( $i * $i ) > $i ).
tff(fun_up965897386r_bool,type,
fun_up965897386r_bool: ( $i * $i * $i ) > $i ).
tff(cOMBC_832625297y_bool,type,
cOMBC_832625297y_bool: $i ).
tff(typeSa807100911_sconf,type,
typeSa807100911_sconf: ( $i * $i ) > $i ).
tff('#skF_241',type,
'#skF_241': ( $i * $i ) > $i ).
tff(cOMBB_1292453606on_val,type,
cOMBB_1292453606on_val: $i ).
tff(hAPP_f2032347769l_bool,type,
hAPP_f2032347769l_bool: ( $i * $i ) > $i ).
tff(subcls744239332t_char,type,
subcls744239332t_char: $i > $i ).
tff(hAPP_P1120259733t_bool,type,
hAPP_P1120259733t_bool: ( $i * $i ) > $i ).
tff('#skF_221',type,
'#skF_221': ( $i * $i * $i ) > $i ).
tff('#skF_33',type,
'#skF_33': $i > $i ).
tff(cOMBB_1259202826on_val,type,
cOMBB_1259202826on_val: $i ).
tff('#skF_269',type,
'#skF_269': ( $i * $i * $i * $i * $i ) > $i ).
tff('#skF_26',type,
'#skF_26': $i > $i ).
tff(hAPP_n546249108on_val,type,
hAPP_n546249108on_val: ( $i * $i ) > $i ).
tff(hAPP_f1857971237t_bool,type,
hAPP_f1857971237t_bool: ( $i * $i ) > $i ).
tff(hAPP_P1776198677on_val,type,
hAPP_P1776198677on_val: ( $i * $i ) > $i ).
tff(throw_list_char,type,
throw_list_char: $i > $i ).
tff('#skF_164',type,
'#skF_164': ( $i * $i ) > $i ).
tff(hAPP_f1090181127on_val,type,
hAPP_f1090181127on_val: ( $i * $i ) > $i ).
tff(cOMBB_572737002on_val,type,
cOMBB_572737002on_val: $i ).
tff('#skF_137',type,
'#skF_137': ( $i * $i ) > $i ).
tff(hAPP_f1492320500l_bool,type,
hAPP_f1492320500l_bool: ( $i * $i ) > $i ).
tff(produc1988544340l_bool,type,
produc1988544340l_bool: $i ).
tff(hAPP_f1935223905l_bool,type,
hAPP_f1935223905l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1591874724l_bool,type,
hAPP_P1591874724l_bool: ( $i * $i ) > $i ).
tff(hAPP_f2039548047l_bool,type,
hAPP_f2039548047l_bool: ( $i * $i ) > $i ).
tff('#skF_204',type,
'#skF_204': ( $i * $i ) > $i ).
tff(produc1555310053l_bool,type,
produc1555310053l_bool: $i > $i ).
tff(undefined_bop,type,
undefined_bop: $i > $i ).
tff('#skF_182',type,
'#skF_182': ( $i * $i ) > $i ).
tff(hAPP_f838396643l_bool,type,
hAPP_f838396643l_bool: ( $i * $i ) > $i ).
tff(hAPP_f192981486l_bool,type,
hAPP_f192981486l_bool: ( $i * $i ) > $i ).
tff('#skF_13',type,
'#skF_13': $i > $i ).
tff('#skF_228',type,
'#skF_228': ( $i * $i * $i * $i * $i ) > $i ).
tff('#skF_205',type,
'#skF_205': ( $i * $i ) > $i ).
tff(hAPP_f1734879897l_bool,type,
hAPP_f1734879897l_bool: ( $i * $i ) > $i ).
tff(hAPP_e1659493427on_val,type,
hAPP_e1659493427on_val: ( $i * $i ) > $i ).
tff(hAPP_P921015288l_bool,type,
hAPP_P921015288l_bool: ( $i * $i ) > $i ).
tff(fun_up387678665r_bool,type,
fun_up387678665r_bool: ( $i * $i * $i ) > $i ).
tff(classCast,type,
classCast: $i ).
tff('#skF_96',type,
'#skF_96': $i > $i ).
tff(hAPP_P2143028400r_bool,type,
hAPP_P2143028400r_bool: ( $i * $i ) > $i ).
tff(hAPP_f1561329507l_bool,type,
hAPP_f1561329507l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1491134931r_bool,type,
hAPP_f1491134931r_bool: ( $i * $i ) > $i ).
tff('#skF_133',type,
'#skF_133': ( $i * $i ) > $i ).
tff(produc1911463199l_bool,type,
produc1911463199l_bool: $i ).
tff(hAPP_f653692369l_bool,type,
hAPP_f653692369l_bool: ( $i * $i ) > $i ).
tff(dom_Pr717813794on_val,type,
dom_Pr717813794on_val: $i > $i ).
tff(hAPP_f1572306499l_bool,type,
hAPP_f1572306499l_bool: ( $i * $i ) > $i ).
tff('#skF_102',type,
'#skF_102': $i > $i ).
tff(hAPP_v1519391al_val,type,
hAPP_v1519391al_val: ( $i * $i ) > $i ).
tff('#skF_149',type,
'#skF_149': ( $i * $i ) > $i ).
tff(hAPP_f444383845l_bool,type,
hAPP_f444383845l_bool: ( $i * $i ) > $i ).
tff(map_ad1877333574val_ty,type,
map_ad1877333574val_ty: ( $i * $i ) > $i ).
tff('#skF_50',type,
'#skF_50': ( $i * $i ) > $i ).
tff(hAPP_f1050935001l_bool,type,
hAPP_f1050935001l_bool: ( $i * $i ) > $i ).
tff(cOMBB_1749175574t_char,type,
cOMBB_1749175574t_char: $i ).
tff('#skF_89',type,
'#skF_89': $i > $i ).
tff(produc820564232l_bool,type,
produc820564232l_bool: $i ).
tff('#skF_116',type,
'#skF_116': $i > $i ).
tff(some_val,type,
some_val: $i ).
tff(produc901351817on_val,type,
produc901351817on_val: $i ).
tff('#skF_178',type,
'#skF_178': ( $i * $i ) > $i ).
tff(produc121041439l_bool,type,
produc121041439l_bool: $i ).
tff('#skF_78',type,
'#skF_78': $i > $i ).
tff(produc1326056646l_bool,type,
produc1326056646l_bool: $i ).
tff(produc928527642on_val,type,
produc928527642on_val: $i ).
tff(ea,type,
ea: $i ).
tff(fTrue,type,
fTrue: $i ).
tff('#skF_77',type,
'#skF_77': $i > $i ).
tff('#skF_278',type,
'#skF_278': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff('#skF_235',type,
'#skF_235': ( $i * $i * $i ) > $i ).
tff('#skF_266',type,
'#skF_266': ( $i * $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f1661550453l_bool,type,
hAPP_f1661550453l_bool: ( $i * $i ) > $i ).
tff(hAPP_P292217386t_bool,type,
hAPP_P292217386t_bool: ( $i * $i ) > $i ).
tff(produc240246489l_bool,type,
produc240246489l_bool: $i ).
tff('#skF_46',type,
'#skF_46': ( $i * $i ) > $i ).
tff(dom_li2046124138on_val,type,
dom_li2046124138on_val: $i > $i ).
tff(hAPP_f340876351l_bool,type,
hAPP_f340876351l_bool: ( $i * $i ) > $i ).
tff(produc1958875245l_bool,type,
produc1958875245l_bool: $i ).
tff(map_ad2099161878al_val,type,
map_ad2099161878al_val: ( $i * $i ) > $i ).
tff(hAPP_f1965627013l_bool,type,
hAPP_f1965627013l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1882136222l_bool,type,
hAPP_P1882136222l_bool: ( $i * $i ) > $i ).
tff('#skF_145',type,
'#skF_145': ( $i * $i ) > $i ).
tff(la,type,
la: $i ).
tff('#skF_174',type,
'#skF_174': ( $i * $i ) > $i ).
tff('#skF_139',type,
'#skF_139': ( $i * $i ) > $i ).
tff('#skF_268',type,
'#skF_268': ( $i * $i * $i * $i * $i ) > $i ).
tff('#skF_115',type,
'#skF_115': $i > $i ).
tff(hAPP_f1996106275l_bool,type,
hAPP_f1996106275l_bool: ( $i * $i ) > $i ).
tff(cOMBB_338347573on_val,type,
cOMBB_338347573on_val: $i ).
tff(hAPP_l313577550l_bool,type,
hAPP_l313577550l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1886180715on_val,type,
hAPP_P1886180715on_val: ( $i * $i ) > $i ).
tff('#skF_17',type,
'#skF_17': $i > $i ).
tff(hAPP_e2019828964l_bool,type,
hAPP_e2019828964l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1389845689l_bool,type,
hAPP_P1389845689l_bool: ( $i * $i ) > $i ).
tff('#skF_59',type,
'#skF_59': ( $i * $i ) > $i ).
tff(hAPP_f348318673l_bool,type,
hAPP_f348318673l_bool: ( $i * $i ) > $i ).
tff(hAPP_P2111013316on_val,type,
hAPP_P2111013316on_val: ( $i * $i ) > $i ).
tff(hAPP_f555424277l_bool,type,
hAPP_f555424277l_bool: ( $i * $i ) > $i ).
tff('#skF_121',type,
'#skF_121': $i > $i ).
tff(l_a,type,
l_a: $i ).
tff('#skF_11',type,
'#skF_11': $i > $i ).
tff(hAPP_P294971854on_val,type,
hAPP_P294971854on_val: ( $i * $i ) > $i ).
tff(hAPP_f1623341439r_bool,type,
hAPP_f1623341439r_bool: ( $i * $i ) > $i ).
tff(hAPP_f1213370163y_bool,type,
hAPP_f1213370163y_bool: ( $i * $i ) > $i ).
tff(hAPP_P929938951l_bool,type,
hAPP_P929938951l_bool: ( $i * $i ) > $i ).
tff('#skF_58',type,
'#skF_58': ( $i * $i ) > $i ).
tff('#skF_181',type,
'#skF_181': ( $i * $i ) > $i ).
tff('#skF_95',type,
'#skF_95': $i > $i ).
tff(hAPP_P1529692155r_bool,type,
hAPP_P1529692155r_bool: ( $i * $i ) > $i ).
tff(hAPP_f1937467848l_bool,type,
hAPP_f1937467848l_bool: ( $i * $i ) > $i ).
tff('#skF_273',type,
'#skF_273': ( $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f1056413453r_bool,type,
hAPP_f1056413453r_bool: ( $i * $i ) > $i ).
tff('#skF_52',type,
'#skF_52': ( $i * $i ) > $i ).
tff('#skF_274',type,
'#skF_274': $i > $i ).
tff(hAPP_f1136596083l_bool,type,
hAPP_f1136596083l_bool: ( $i * $i ) > $i ).
tff(hAPP_P1989760379r_bool,type,
hAPP_P1989760379r_bool: ( $i * $i ) > $i ).
tff('#skF_94',type,
'#skF_94': $i > $i ).
tff('#skF_99',type,
'#skF_99': $i > $i ).
tff(hAPP_P1883022279on_val,type,
hAPP_P1883022279on_val: ( $i * $i ) > $i ).
tff(hAPP_f641257349l_bool,type,
hAPP_f641257349l_bool: ( $i * $i ) > $i ).
tff(hAPP_f857351829l_bool,type,
hAPP_f857351829l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1153851723l_bool,type,
hAPP_f1153851723l_bool: ( $i * $i ) > $i ).
tff(widen_2090681816t_char,type,
widen_2090681816t_char: ( $i * $i * $i ) > $i ).
tff('#skF_14',type,
'#skF_14': $i > $i ).
tff('#skF_199',type,
'#skF_199': ( $i * $i ) > $i ).
tff(hAPP_f1400730257l_bool,type,
hAPP_f1400730257l_bool: ( $i * $i ) > $i ).
tff('#skF_222',type,
'#skF_222': ( $i * $i * $i ) > $i ).
tff(hAPP_P1717724164t_bool,type,
hAPP_P1717724164t_bool: ( $i * $i ) > $i ).
tff(unit,type,
unit: $i ).
tff(hBOOL,type,
hBOOL: $i > $o ).
tff(some_ty,type,
some_ty: $i ).
tff(produc1159035454l_bool,type,
produc1159035454l_bool: $i > $i ).
tff('#skF_55',type,
'#skF_55': ( $i * $i ) > $i ).
tff('#skF_157',type,
'#skF_157': ( $i * $i ) > $i ).
tff(hAPP_e41879804t_bool,type,
hAPP_e41879804t_bool: ( $i * $i ) > $i ).
tff('#skF_127',type,
'#skF_127': ( $i * $i ) > $i ).
tff(produc1003071703on_val,type,
produc1003071703on_val: $i ).
tff(hAPP_val_option_val,type,
hAPP_val_option_val: ( $i * $i ) > $i ).
tff('#skF_2',type,
'#skF_2': ( $i * $i ) > $i ).
tff(produc1231332391l_bool,type,
produc1231332391l_bool: $i ).
tff(produc1780328409r_bool,type,
produc1780328409r_bool: $i ).
tff('#skF_163',type,
'#skF_163': ( $i * $i ) > $i ).
tff(hAPP_f1727192346on_val,type,
hAPP_f1727192346on_val: ( $i * $i ) > $i ).
tff(hAPP_P89750179on_val,type,
hAPP_P89750179on_val: ( $i * $i ) > $i ).
tff(map_ad1572886776r_bool,type,
map_ad1572886776r_bool: ( $i * $i ) > $i ).
tff(fun_up359791042ion_ty,type,
fun_up359791042ion_ty: ( $i * $i * $i ) > $i ).
tff(fun_up1149430426on_val,type,
fun_up1149430426on_val: ( $i * $i * $i ) > $i ).
tff(hAPP_l750759651l_bool,type,
hAPP_l750759651l_bool: ( $i * $i ) > $i ).
tff(map_ad61982421on_val,type,
map_ad61982421on_val: ( $i * $i ) > $i ).
tff('#skF_125',type,
'#skF_125': ( $i * $i ) > $i ).
tff('#skF_223',type,
'#skF_223': ( $i * $i * $i ) > $i ).
tff(map_ad435015558on_val,type,
map_ad435015558on_val: ( $i * $i ) > $i ).
tff('#skF_136',type,
'#skF_136': ( $i * $i ) > $i ).
tff('#skF_134',type,
'#skF_134': ( $i * $i ) > $i ).
tff(hAPP_P536162016l_bool,type,
hAPP_P536162016l_bool: ( $i * $i ) > $i ).
tff(hAPP_P808259092l_bool,type,
hAPP_P808259092l_bool: ( $i * $i ) > $i ).
tff('#skF_179',type,
'#skF_179': ( $i * $i ) > $i ).
tff(hAPP_P1638898323l_bool,type,
hAPP_P1638898323l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1825030711l_bool,type,
hAPP_f1825030711l_bool: ( $i * $i ) > $i ).
tff(hAPP_f639265145l_bool,type,
hAPP_f639265145l_bool: ( $i * $i ) > $i ).
tff(hAPP_v620871016l_bool,type,
hAPP_v620871016l_bool: ( $i * $i ) > $i ).
tff(hAPP_l1460960191t_bool,type,
hAPP_l1460960191t_bool: ( $i * $i ) > $i ).
tff(produc1596270113l_bool,type,
produc1596270113l_bool: $i ).
tff(transi1395422419t_char,type,
transi1395422419t_char: $i > $i ).
tff(hAPP_f1203122723t_bool,type,
hAPP_f1203122723t_bool: ( $i * $i ) > $i ).
tff('#skF_252',type,
'#skF_252': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f1803975093l_bool,type,
hAPP_f1803975093l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1861125939r_bool,type,
hAPP_f1861125939r_bool: ( $i * $i ) > $i ).
tff(hAPP_f928795841al_val,type,
hAPP_f928795841al_val: ( $i * $i ) > $i ).
tff(hAPP_f439412817l_bool,type,
hAPP_f439412817l_bool: ( $i * $i ) > $i ).
tff('#skF_81',type,
'#skF_81': $i > $i ).
tff('#skF_283',type,
'#skF_283': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff('#skF_88',type,
'#skF_88': $i > $i ).
tff('#skF_161',type,
'#skF_161': ( $i * $i ) > $i ).
tff(hAPP_f26812903r_bool,type,
hAPP_f26812903r_bool: ( $i * $i ) > $i ).
tff(hAPP_f2134824737l_bool,type,
hAPP_f2134824737l_bool: ( $i * $i ) > $i ).
tff(hAPP_v958864436l_bool,type,
hAPP_v958864436l_bool: ( $i * $i ) > $i ).
tff('#skF_226',type,
'#skF_226': ( $i * $i ) > $i ).
tff('#skF_177',type,
'#skF_177': ( $i * $i ) > $i ).
tff(produc95371820r_bool,type,
produc95371820r_bool: $i > $i ).
tff(hAPP_P1696703717l_bool,type,
hAPP_P1696703717l_bool: ( $i * $i ) > $i ).
tff(hAPP_P343853784r_bool,type,
hAPP_P343853784r_bool: ( $i * $i ) > $i ).
tff(hAPP_b589554111l_bool,type,
hAPP_b589554111l_bool: ( $i * $i ) > $i ).
tff(hAPP_P2024243179on_val,type,
hAPP_P2024243179on_val: ( $i * $i ) > $i ).
tff('#skF_189',type,
'#skF_189': ( $i * $i ) > $i ).
tff(map_ad451392333val_ty,type,
map_ad451392333val_ty: ( $i * $i ) > $i ).
tff(member649088532al_val,type,
member649088532al_val: ( $i * $i ) > $i ).
tff('#skF_40',type,
'#skF_40': ( $i * $i ) > $i ).
tff(fun_up1370188258on_val,type,
fun_up1370188258on_val: ( $i * $i * $i ) > $i ).
tff('#skF_27',type,
'#skF_27': $i > $i ).
tff(e,type,
e: $i ).
tff('#skF_265',type,
'#skF_265': ( $i * $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(hext,type,
hext: ( $i * $i ) > $i ).
tff('#skF_68',type,
'#skF_68': ( $i * $i ) > $i ).
tff(produc457808617on_val,type,
produc457808617on_val: $i ).
tff(cOMBB_1718333400on_val,type,
cOMBB_1718333400on_val: $i ).
tff(hAPP_f522522333l_bool,type,
hAPP_f522522333l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1939255213on_val,type,
hAPP_f1939255213on_val: ( $i * $i ) > $i ).
tff(cOMBB_678146046on_val,type,
cOMBB_678146046on_val: $i ).
tff(some_f80346385r_bool,type,
some_f80346385r_bool: $i ).
tff(hAPP_f1520199827on_val,type,
hAPP_f1520199827on_val: ( $i * $i ) > $i ).
tff('#skF_202',type,
'#skF_202': ( $i * $i ) > $i ).
tff('#skF_215',type,
'#skF_215': ( $i * $i * $i ) > $i ).
tff(produc1552159258l_bool,type,
produc1552159258l_bool: $i ).
tff('#skF_159',type,
'#skF_159': ( $i * $i ) > $i ).
tff(hAPP_f284805883t_bool,type,
hAPP_f284805883t_bool: ( $i * $i ) > $i ).
tff(cOMBB_364363975on_val,type,
cOMBB_364363975on_val: $i ).
tff(produc1275132703l_bool,type,
produc1275132703l_bool: $i ).
tff(dom_Pr548306299r_bool,type,
dom_Pr548306299r_bool: $i > $i ).
tff('#skF_12',type,
'#skF_12': $i > $i ).
tff(hAPP_f1443410953l_bool,type,
hAPP_f1443410953l_bool: ( $i * $i ) > $i ).
tff('#skF_158',type,
'#skF_158': ( $i * $i ) > $i ).
tff(transi2024712006on_val,type,
transi2024712006on_val: $i > $i ).
tff(dom_Pr1305783658val_ty,type,
dom_Pr1305783658val_ty: $i > $i ).
tff('#skF_43',type,
'#skF_43': ( $i * $i ) > $i ).
tff(c_Expr_Obop_OEq,type,
c_Expr_Obop_OEq: $i ).
tff(map_ad1139121712al_val,type,
map_ad1139121712al_val: ( $i * $i ) > $i ).
tff(p,type,
p: $i ).
tff(hAPP_f1309113673on_val,type,
hAPP_f1309113673on_val: ( $i * $i ) > $i ).
tff(hAPP_l2054741776r_bool,type,
hAPP_l2054741776r_bool: ( $i * $i ) > $i ).
tff(hAPP_b1434170967l_bool,type,
hAPP_b1434170967l_bool: ( $i * $i ) > $i ).
tff('#skF_87',type,
'#skF_87': $i > $i ).
tff(cOMBB_1153617344on_val,type,
cOMBB_1153617344on_val: $i ).
tff('#skF_229',type,
'#skF_229': ( $i * $i * $i ) > $i ).
tff(hAPP_e1610291612l_bool,type,
hAPP_e1610291612l_bool: ( $i * $i ) > $i ).
tff(cOMBB_1583755916ol_val,type,
cOMBB_1583755916ol_val: $i ).
tff(hAPP_P1235399154l_bool,type,
hAPP_P1235399154l_bool: ( $i * $i ) > $i ).
tff(produc1148763895on_val,type,
produc1148763895on_val: $i ).
tff(hAPP_f775361359r_bool,type,
hAPP_f775361359r_bool: ( $i * $i ) > $i ).
tff(cOMBB_383678192on_val,type,
cOMBB_383678192on_val: $i ).
tff(produc367277545l_bool,type,
produc367277545l_bool: $i ).
tff(produc1837990498l_bool,type,
produc1837990498l_bool: $i ).
tff('#skF_141',type,
'#skF_141': ( $i * $i ) > $i ).
tff('#skF_147',type,
'#skF_147': ( $i * $i ) > $i ).
tff(cOMBB_1730140646ol_val,type,
cOMBB_1730140646ol_val: $i ).
tff(hAPP_l1778295065r_bool,type,
hAPP_l1778295065r_bool: ( $i * $i ) > $i ).
tff('#skF_210',type,
'#skF_210': ( $i * $i * $i ) > $i ).
tff('#skF_86',type,
'#skF_86': $i > $i ).
tff(hAPP_P1354850246l_bool,type,
hAPP_P1354850246l_bool: ( $i * $i ) > $i ).
tff(hAPP_v1814257440r_bool,type,
hAPP_v1814257440r_bool: ( $i * $i ) > $i ).
tff(is_bop,type,
is_bop: $i > $o ).
tff(fun_up1686981986r_bool,type,
fun_up1686981986r_bool: ( $i * $i * $i ) > $i ).
tff(map_add_nat_val,type,
map_add_nat_val: ( $i * $i ) > $i ).
tff(hAPP_P1637755428l_bool,type,
hAPP_P1637755428l_bool: ( $i * $i ) > $i ).
tff('#skF_213',type,
'#skF_213': ( $i * $i * $i ) > $i ).
tff(hAPP_f235082303t_bool,type,
hAPP_f235082303t_bool: ( $i * $i ) > $i ).
tff(hAPP_f1712766199l_bool,type,
hAPP_f1712766199l_bool: ( $i * $i ) > $i ).
tff(dom_Pr594962099al_val,type,
dom_Pr594962099al_val: $i > $i ).
tff(hAPP_l2100324114t_char,type,
hAPP_l2100324114t_char: ( $i * $i ) > $i ).
tff(hAPP_f1849790461on_val,type,
hAPP_f1849790461on_val: ( $i * $i ) > $i ).
tff('#skF_251',type,
'#skF_251': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(produc399384568l_bool,type,
produc399384568l_bool: $i ).
tff(cOMBC_2027949654l_bool,type,
cOMBC_2027949654l_bool: $i ).
tff(fun_up958248092on_val,type,
fun_up958248092on_val: ( $i * $i * $i ) > $i ).
tff('#skF_61',type,
'#skF_61': ( $i * $i ) > $i ).
tff(hAPP_P1232134614l_bool,type,
hAPP_P1232134614l_bool: ( $i * $i ) > $i ).
tff(hAPP_P2013623467al_val,type,
hAPP_P2013623467al_val: ( $i * $i ) > $i ).
tff(hAPP_f1000689699l_bool,type,
hAPP_f1000689699l_bool: ( $i * $i ) > $i ).
tff(hAPP_b108134598l_bool,type,
hAPP_b108134598l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1371002581r_bool,type,
hAPP_f1371002581r_bool: ( $i * $i ) > $i ).
tff(hAPP_f1560238713l_bool,type,
hAPP_f1560238713l_bool: ( $i * $i ) > $i ).
tff('#skF_1',type,
'#skF_1': ( $i * $i ) > $i ).
tff(fFalse,type,
fFalse: $i ).
tff(nt,type,
nt: $i ).
tff('#skF_247',type,
'#skF_247': ( $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_l465799708l_bool,type,
hAPP_l465799708l_bool: ( $i * $i ) > $i ).
tff(seq_list_char,type,
seq_list_char: ( $i * $i ) > $i ).
tff(hAPP_P584663426r_bool,type,
hAPP_P584663426r_bool: ( $i * $i ) > $i ).
tff(hAPP_f917296015l_bool,type,
hAPP_f917296015l_bool: ( $i * $i ) > $i ).
tff(map_ad1263605142al_val,type,
map_ad1263605142al_val: ( $i * $i ) > $i ).
tff('#skF_119',type,
'#skF_119': $i > $i ).
tff(class,type,
class: $i > $i ).
tff('#skF_238',type,
'#skF_238': ( $i * $i * $i ) > $i ).
tff(hAPP_f1181212006al_val,type,
hAPP_f1181212006al_val: ( $i * $i ) > $i ).
tff(produc737906696l_bool,type,
produc737906696l_bool: $i ).
tff(cOMBB_263586492ol_val,type,
cOMBB_263586492ol_val: $i ).
tff(hAPP_P1067836940al_val,type,
hAPP_P1067836940al_val: ( $i * $i ) > $i ).
tff('#skF_148',type,
'#skF_148': ( $i * $i ) > $i ).
tff(hAPP_f990102836r_bool,type,
hAPP_f990102836r_bool: ( $i * $i ) > $i ).
tff(hAPP_f1550515381l_bool,type,
hAPP_f1550515381l_bool: ( $i * $i ) > $i ).
tff(hAPP_P733122084l_bool,type,
hAPP_P733122084l_bool: ( $i * $i ) > $i ).
tff('#skF_264',type,
'#skF_264': ( $i * $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(fun_up1177725947on_val,type,
fun_up1177725947on_val: ( $i * $i * $i ) > $i ).
tff(member1251428284t_char,type,
member1251428284t_char: ( $i * $i ) > $i ).
tff(hAPP_l258171825l_bool,type,
hAPP_l258171825l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1534412387l_bool,type,
hAPP_f1534412387l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1631509563l_bool,type,
hAPP_f1631509563l_bool: ( $i * $i ) > $i ).
tff(dom_Pr805691811on_val,type,
dom_Pr805691811on_val: $i > $i ).
tff(fun_up1256311364r_bool,type,
fun_up1256311364r_bool: ( $i * $i * $i ) > $i ).
tff(hAPP_l1369340754l_bool,type,
hAPP_l1369340754l_bool: ( $i * $i ) > $i ).
tff(map_ad1402016615val_ty,type,
map_ad1402016615val_ty: ( $i * $i ) > $i ).
tff(produc726689536r_bool,type,
produc726689536r_bool: $i ).
tff('#skF_5',type,
'#skF_5': ( $i * $i ) > $i ).
tff(hAPP_P50259953ion_ty,type,
hAPP_P50259953ion_ty: ( $i * $i ) > $i ).
tff(cOMBB_1466662571on_val,type,
cOMBB_1466662571on_val: $i ).
tff('#skF_30',type,
'#skF_30': $i > $i ).
tff('#skF_232',type,
'#skF_232': ( $i * $i * $i ) > $i ).
tff('#skF_279',type,
'#skF_279': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(hAPP_f1683814075r_bool,type,
hAPP_f1683814075r_bool: ( $i * $i ) > $i ).
tff(cOMBB_223841226on_val,type,
cOMBB_223841226on_val: $i ).
tff('#skF_6',type,
'#skF_6': $i > $i ).
tff(cOMBB_1543649755on_val,type,
cOMBB_1543649755on_val: $i ).
tff(hAPP_P1594728115on_val,type,
hAPP_P1594728115on_val: ( $i * $i ) > $i ).
tff(hAPP_f1617787571l_bool,type,
hAPP_f1617787571l_bool: ( $i * $i ) > $i ).
tff(fun_up106272779on_val,type,
fun_up106272779on_val: ( $i * $i * $i ) > $i ).
tff(hAPP_l1278066386l_bool,type,
hAPP_l1278066386l_bool: ( $i * $i ) > $i ).
tff(cOMBS_570216337l_bool,type,
cOMBS_570216337l_bool: ( $i * $i ) > $i ).
tff('#skF_4',type,
'#skF_4': ( $i * $i ) > $i ).
tff('#skF_207',type,
'#skF_207': ( $i * $i ) > $i ).
tff(hAPP_f1353090281l_bool,type,
hAPP_f1353090281l_bool: ( $i * $i ) > $i ).
tff(hAPP_l1294179937l_bool,type,
hAPP_l1294179937l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1742268533r_bool,type,
hAPP_f1742268533r_bool: ( $i * $i ) > $i ).
tff(hAPP_P595502227l_bool,type,
hAPP_P595502227l_bool: ( $i * $i ) > $i ).
tff(bop,type,
bop: $i ).
tff(hAPP_P1870962205on_val,type,
hAPP_P1870962205on_val: ( $i * $i ) > $i ).
tff(hAPP_f1175813647l_bool,type,
hAPP_f1175813647l_bool: ( $i * $i ) > $i ).
tff(produc1205785024r_bool,type,
produc1205785024r_bool: $i ).
tff('#skF_20',type,
'#skF_20': $i > $i ).
tff('#skF_76',type,
'#skF_76': $i > $i ).
tff(lAss_list_char,type,
lAss_list_char: ( $i * $i ) > $i ).
tff('#skF_112',type,
'#skF_112': $i > $i ).
tff(hAPP_v897668472t_bool,type,
hAPP_v897668472t_bool: ( $i * $i ) > $i ).
tff(fun_up768537841on_val,type,
fun_up768537841on_val: ( $i * $i * $i ) > $i ).
tff(while_list_char,type,
while_list_char: ( $i * $i ) > $i ).
tff(hAPP_f1336948941l_bool,type,
hAPP_f1336948941l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1614126606on_val,type,
hAPP_f1614126606on_val: ( $i * $i ) > $i ).
tff(hAPP_f850751421l_bool,type,
hAPP_f850751421l_bool: ( $i * $i ) > $i ).
tff('#skF_85',type,
'#skF_85': $i > $i ).
tff(hAPP_f1145600492l_bool,type,
hAPP_f1145600492l_bool: ( $i * $i ) > $i ).
tff(hAPP_f1452292669l_bool,type,
hAPP_f1452292669l_bool: ( $i * $i ) > $i ).
tff(assigned,type,
assigned: ( $i * $i ) > $i ).
tff(hAPP_f828778154l_bool,type,
hAPP_f828778154l_bool: ( $i * $i ) > $i ).
tff(hAPP_P576112536r_bool,type,
hAPP_P576112536r_bool: ( $i * $i ) > $i ).
tff(subcls851966956t_char,type,
subcls851966956t_char: $i > $i ).
tff(hAPP_l780727270l_bool,type,
hAPP_l780727270l_bool: ( $i * $i ) > $i ).
tff(produc1994406320l_bool,type,
produc1994406320l_bool: $i ).
tff(produc5062597t_char,type,
produc5062597t_char: $i ).
tff(produc1215886546r_bool,type,
produc1215886546r_bool: $i ).
tff(hAPP_P1510515380on_val,type,
hAPP_P1510515380on_val: ( $i * $i ) > $i ).
tff(hAPP_f2051274555l_bool,type,
hAPP_f2051274555l_bool: ( $i * $i ) > $i ).
tff(dom_Pr713105403r_bool,type,
dom_Pr713105403r_bool: $i > $i ).
tff('#skF_249',type,
'#skF_249': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(produc301664320l_bool,type,
produc301664320l_bool: $i ).
tff(hAPP_f1760682521l_bool,type,
hAPP_f1760682521l_bool: ( $i * $i ) > $i ).
tff(hAPP_f603925568l_bool,type,
hAPP_f603925568l_bool: ( $i * $i ) > $i ).
tff('#skF_104',type,
'#skF_104': $i > $i ).
tff('#skF_250',type,
'#skF_250': ( $i * $i * $i * $i * $i * $i * $i ) > $i ).
tff(f_3682,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_106,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_2295,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_3682]) ).
tff(c_82,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_106]) ).
tff(c_2374,plain,
$false,
inference(negUnitSimplification,[status(thm)],[c_2295,c_82]) ).
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.14 % Problem : SWW478+2 : TPTP v8.1.2. Released v5.3.0.
% 0.00/0.15 % 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.15/0.37 % Computer : n011.cluster.edu
% 0.15/0.37 % Model : x86_64 x86_64
% 0.15/0.37 % CPU : Intel(R) Xeon(R) CPU E5-2620 v4 @ 2.10GHz
% 0.15/0.37 % Memory : 8042.1875MB
% 0.15/0.37 % OS : Linux 3.10.0-693.el7.x86_64
% 0.15/0.37 % CPULimit : 300
% 0.15/0.37 % WCLimit : 300
% 0.15/0.37 % DateTime : Thu Aug 3 19:40:36 EDT 2023
% 0.15/0.37 % CPUTime :
% 16.31/5.74 % SZS status Theorem for /export/starexec/sandbox2/benchmark/theBenchmark.p
% 16.31/5.74
% 16.31/5.74 % SZS output start CNFRefutation for /export/starexec/sandbox2/benchmark/theBenchmark.p
% See solution above
% 16.58/5.79
% 16.58/5.79 Inference rules
% 16.58/5.79 ----------------------
% 16.58/5.79 #Ref : 0
% 16.58/5.79 #Sup : 0
% 16.58/5.79 #Fact : 0
% 16.58/5.79 #Define : 0
% 16.58/5.79 #Split : 0
% 16.58/5.79 #Chain : 0
% 16.58/5.79 #Close : 0
% 16.58/5.79
% 16.58/5.79 Ordering : KBO
% 16.58/5.79
% 16.58/5.79 Simplification rules
% 16.58/5.79 ----------------------
% 16.58/5.79 #Subsume : 1061
% 16.58/5.79 #Demod : 86
% 16.58/5.79 #Tautology : 75
% 16.58/5.79 #SimpNegUnit : 1
% 16.58/5.79 #BackRed : 0
% 16.58/5.79
% 16.58/5.79 #Partial instantiations: 0
% 16.58/5.79 #Strategies tried : 1
% 16.58/5.79
% 16.58/5.79 Timing (in seconds)
% 16.58/5.79 ----------------------
% 16.58/5.80 Preprocessing : 2.86
% 16.58/5.80 Parsing : 1.14
% 16.58/5.80 CNF conversion : 0.20
% 16.58/5.80 Main loop : 1.80
% 16.58/5.80 Inferencing : 0.00
% 16.58/5.80 Reduction : 1.15
% 16.58/5.80 Demodulation : 0.80
% 16.58/5.80 BG Simplification : 0.16
% 16.58/5.80 Subsumption : 0.44
% 16.58/5.80 Abstraction : 0.21
% 16.58/5.80 MUC search : 0.00
% 16.58/5.80 Cooper : 0.00
% 16.58/5.80 Total : 4.73
% 16.58/5.80 Index Insertion : 0.00
% 16.58/5.80 Index Deletion : 0.00
% 16.58/5.80 Index Matching : 0.00
% 16.58/5.80 BG Taut test : 0.00
%------------------------------------------------------------------------------