Alphabet

0:A
active:A → A
afterNth:A → A → A
app:(A → A) → A → A
cons:A → A → A
fst:A → A
head:A → A
isLNat:A → A
isLNatKind:A → A
isNatural:A → A
isNaturalKind:A → A
isPLNat:A → A
isPLNatKind:A → A
map:(A → A) → A → A
mark:A → A
natsFrom:A → A
nil:A
pair:A → A → A
s:A → A
sel:A → A → A
snd:A → A
splitAt:A → A → A
tail:A → A
take:A → A → A
tt:A
u101:A → A → A → A
u102:A → A → A → A
u103:A → A → A → A
u104:A → A → A → A
u105:A → A → A
u106:A → A
u11:A → A → A → A
u111:A → A → A
u112:A → A
u12:A → A → A → A
u121:A → A → A
u122:A → A
u13:A → A → A → A
u131:A → A
u14:A → A → A → A
u141:A → A
u151:A → A
u161:A → A
u171:A → A → A
u172:A → A
u181:A → A → A
u182:A → A → A
u183:A → A
u191:A → A → A
u192:A → A → A
u193:A → A
u201:A → A → A → A
u202:A → A → A → A
u203:A → A → A → A
u204:A → A → A → A
u205:A → A → A
u206:A → A
u21:A → A → A → A
u211:A → A
u22:A → A → A → A
u221:A → A
u23:A → A → A → A
u231:A → A → A
u232:A → A
u24:A → A → A
u241:A → A → A → A
u242:A → A → A → A
u243:A → A → A → A
u244:A → A → A → A
u245:A → A → A
u246:A → A
u251:A → A → A → A
u252:A → A → A → A
u253:A → A → A → A
u254:A → A → A → A
u255:A → A → A
u256:A → A
u261:A → A → A
u262:A → A
u271:A → A → A
u272:A → A
u281:A → A → A
u282:A → A → A
u291:A → A → A → A
u292:A → A → A → A
u293:A → A → A → A
u294:A → A → A → A
u301:A → A → A → A
u302:A → A → A
u303:A → A → A
u304:A → A → A
u31:A → A → A → A
u311:A → A → A
u312:A → A → A
u32:A → A → A → A
u321:A → A → A → A → A
u322:A → A → A → A → A
u323:A → A → A → A → A
u324:A → A → A → A → A
u325:A → A → A → A → A
u326:A → A → A → A → A
u327:A → A → A
u33:A → A → A → A
u331:A → A → A → A
u332:A → A → A
u333:A → A → A
u334:A → A → A
u34:A → A → A
u341:A → A → A → A
u342:A → A → A → A
u343:A → A → A → A
u344:A → A → A → A
u41:A → A → A → A
u42:A → A → A → A
u43:A → A → A → A
u44:A → A → A → A
u45:A → A → A
u46:A → A
u51:A → A → A → A
u52:A → A → A → A
u53:A → A → A → A
u54:A → A → A → A
u55:A → A → A
u56:A → A
u61:A → A → A
u62:A → A → A
u63:A → A
u71:A → A → A
u72:A → A → A
u73:A → A
u81:A → A → A
u82:A → A → A
u83:A → A
u91:A → A → A
u92:A → A → A
u93:A → A

Variables

X:A
Y:A
U:A
V:A
W:A
P:A
X1:A
Y1:A
U1:A
V1:A
W1:A
P1:A
X2:A
Y2:A
U2:A
V2:A
W2:A
P2:A
X3:A
Y3:A
U3:A
V3:A
W3:A
P3:A
X4:A
Y4:A
U4:A
V4:A
W4:A
P4:A
X5:A
Y5:A
U5:A
V5:A
W5:A
P5:A
X6:A
Y6:A
U6:A
V6:A
W6:A
P6:A
X7:A
Y7:A
U7:A
V7:A
W7:A
P7:A
X8:A
Y8:A
U8:A
V8:A
W8:A
P8:A
X9:A
Y9:A
U9:A
V9:A
W9:A
P9:A
X10:A
Y10:A
U10:A
V10:A
W10:A
P10:A
X11:A
Y11:A
U11:A
V11:A
W11:A
P11:A
X12:A
Y12:A
U12:A
V12:A
W12:A
P12:A
X13:A
Y13:A
U13:A
V13:A
W13:A
P13:A
X14:A
Y14:A
U14:A
V14:A
W14:A
P14:A
X15:A
Y15:A
U15:A
V15:A
W15:A
P15:A
X16:A
Y16:A
U16:A
V16:A
W16:A
P16:A
X17:A
Y17:A
U17:A
V17:A
W17:A
P17:A
X18:A
Y18:A
U18:A
V18:A
W18:A
P18:A
X19:A
Y19:A
U19:A
V19:A
W19:A
P19:A
X20:A
Y20:A
U20:A
V20:A
W20:A
P20:A
X21:A
Y21:A
U21:A
V21:A
W21:A
P21:A
X22:A
Y22:A
U22:A
V22:A
W22:A
P22:A
X23:A
Y23:A
U23:A
V23:A
W23:A
P23:A
X24:A
Y24:A
U24:A
V24:A
W24:A
P24:A
X25:A
Y25:A
U25:A
V25:A
W25:A
P25:A
X26:A
Y26:A
U26:A
V26:A
W26:A
P26:A
X27:A
Y27:A
U27:A
V27:A
W27:A
P27:A
X28:A
Y28:A
U28:A
V28:A
W28:A
P28:A
X29:A
Y29:A
U29:A
V29:A
W29:A
P29:A
X30:A
Y30:A
U30:A
V30:A
W30:A
P30:A
X31:A
Y31:A
U31:A
V31:A
W31:A
P31:A
X32:A
Y32:A
U32:A
V32:A
W32:A
P32:A
X33:A
Y33:A
U33:A
V33:A
W33:A
P33:A
X34:A
Y34:A
U34:A
V34:A
W34:A
P34:A
X35:A
Y35:A
U35:A
V35:A
W35:A
P35:A
X36:A
Y36:A
U36:A
V36:A
W36:A
P36:A
X37:A
Y37:A
U37:A
V37:A
W37:A
P37:A
X38:A
Y38:A
U38:A
V38:A
W38:A
P38:A
X39:A
Y39:A
U39:A
V39:A
W39:A
P39:A
X40:A
Y40:A
U40:A
V40:A
W40:A
P40:A
X41:A
Y41:A
U41:A
V41:A
W41:A
P41:A
X42:A
Y42:A
U42:A
V42:A
W42:A
P42:A
X43:A
Y43:A
U43:A
V43:A
W43:A
P43:A
X44:A
Y44:A
U44:A
V44:A
W44:A
P44:A
X45:A
Y45:A
U45:A
V45:A
W45:A
P45:A
X46:A
Y46:A
U46:A
V46:A
W46:A
P46:A
X47:A
Y47:A
U47:A
V47:A
W47:A
P47:A
X48:A
Y48:A
U48:A
V48:A
W48:A
P48:A
X49:A
Y49:A
U49:A
V49:A
W49:A
P49:A
X50:A
Y50:A
U50:A
V50:A
W50:A
P50:A
X51:A
Y51:A
U51:A
V51:A
W51:A
P51:A
X52:A
Y52:A
U52:A
V52:A
W52:A
P52:A
X53:A
Y53:A
U53:A
V53:A
W53:A
P53:A
X54:A
Y54:A
U54:A
V54:A
W54:A
P54:A
X55:A
Y55:A
U55:A
V55:A
W55:A
P55:A
X56:A
Y56:A
U56:A
V56:A
W56:A
P56:A
X57:A
Y57:A
U57:A
V57:A
W57:A
P57:A
X58:A
Y58:A
U58:A
V58:A
W58:A
P58:A
X59:A
Y59:A
U59:A
V59:A
W59:A
P59:A
X60:A
Y60:A
U60:A
V60:A
W60:A
P60:A
X61:A
Y61:A
U61:A
V61:A
W61:A
P61:A
X62:A
Y62:A
U62:A
V62:A
W62:A
P62:A
X63:A
Y63:A
U63:A
V63:A
W63:A
P63:A
X64:A
Y64:A
U64:A
V64:A
W64:A
P64:A
X65:A
Y65:A
U65:A
V65:A
W65:A
P65:A
X66:A
Y66:A
U66:A
V66:A
W66:A
P66:A
X67:A
Y67:A
U67:A
V67:A
W67:A
P67:A
X68:A
Y68:A
U68:A
V68:A
W68:A
P68:A
X69:A
Y69:A
U69:A
V69:A
W69:A
P69:A
X70:A
Y70:A
U70:A
V70:A
W70:A
P70:A
X71:A
Y71:A
U71:A
V71:A
W71:A
P71:A
X72:A
Y72:A
U72:A
V72:A
W72:A
P72:A
X73:A
Y73:A
U73:A
V73:A
W73:A
P73:A
X74:A
Y74:A
U74:A
V74:A
W74:A
P74:A
X75:A
Y75:A
U75:A
V75:A
W75:A
P75:A
X76:A
Y76:A
U76:A
V76:A
W76:A
P76:A
X77:A
Y77:A
U77:A
V77:A
W77:A
P77:A
X78:A
Y78:A
U78:A
V78:A
W78:A
P78:A
X79:A
Y79:A
U79:A
V79:A
W79:A
P79:A
X80:A
Y80:A
U80:A
V80:A
W80:A
P80:A
X81:A
Y81:A
U81:A
V81:A
W81:A
P81:A
X82:A
Y82:A
U82:A
V82:A
W82:A
P82:A
X83:A
Y83:A
U83:A
V83:A
W83:A
P83:A
X84:A
Y84:A
U84:A
V84:A
W84:A
P84:A
X85:A
Y85:A
U85:A
V85:A
W85:A
P85:A
X86:A
Y86:A
U86:A
V86:A
W86:A
P86:A
X87:A
Y87:A
U87:A
V87:A
W87:A
P87:A
X88:A
Y88:A
U88:A
V88:A
W88:A
P88:A
X89:A
Y89:A
U89:A
V89:A
W89:A
P89:A
X90:A
Y90:A
U90:A
V90:A
W90:A
P90:A
X91:A
Y91:A
U91:A
V91:A
W91:A
P91:A
X92:A
Y92:A
U92:A
V92:A
W92:A
P92:A
X93:A
Y93:A
U93:A
V93:A
W93:A
P93:A
X94:A
Y94:A
U94:A
V94:A
W94:A
P94:A
X95:A
Y95:A
U95:A
V95:A
W95:A
P95:A
X96:A
Y96:A
U96:A
V96:A
W96:A
P96:A
X97:A
Y97:A
U97:A
V97:A
W97:A
P97:A
X98:A
Y98:A
U98:A
V98:A
W98:A
P98:A
X99:A
Y99:A
U99:A
V99:A
W99:A
P99:A
X100:A
Y100:A
U100:A
V100:A
W100:A
P100:A
X101:A
Y101:A
U101:A
V101:A
W101:A
P101:A
X102:A
Y102:A
U102:A
V102:A
W102:A
P102:A
X103:A
Y103:A
U103:A
V103:A
W103:A
P103:A
X104:A
Y104:A
U104:A
V104:A
W104:A
P104:A
X105:A
Y105:A
U105:A
V105:A
W105:A
P105:A
X106:A
Y106:A
U106:A
V106:A
W106:A
P106:A
X107:A
Y107:A
U107:A
V107:A
W107:A
P107:A
X108:A
Y108:A
U108:A
V108:A
W108:A
P108:A
X109:A
Y109:A
U109:A
V109:A
W109:A
P109:A
X110:A
Y110:A
U110:A
V110:A
W110:A
P110:A
X111:A
Y111:A
U111:A
V111:A
W111:A
P111:A
X112:A
Y112:A
U112:A
V112:A
W112:A
P112:A
X113:A
Y113:A
U113:A
V113:A
W113:A
P113:A
X114:A
Y114:A
U114:A
V114:A
W114:A
P114:A
X115:A
Y115:A
U115:A
V115:A
W115:A
P115:A
X116:A
Y116:A
U116:A
V116:A
W116:A
P116:A
X117:A
Y117:A
U117:A
V117:A
W117:A
P117:A
X118:A
Y118:A
U118:A
V118:A
W118:A
P118:A
X119:A
Y119:A
U119:A
V119:A
W119:A
P119:A
X120:A
Y120:A
U120:A
V120:A
W120:A
P120:A
X121:A
Y121:A
U121:A
V121:A
W121:A
P121:A
X122:A
Y122:A
U122:A
V122:A
W122:A
P122:A
X123:A
Y123:A
U123:A
V123:A
W123:A
P123:A
X124:A
Y124:A
U124:A
V124:A
W124:A
P124:A
X125:A
Y125:A
U125:A
V125:A
W125:A
P125:A
X126:A
Y126:A
U126:A
V126:A
W126:A
P126:A
X127:A
Y127:A
U127:A
V127:A
W127:A
P127:A
X128:A
Y128:A
U128:A
V128:A
W128:A
P128:A
X129:A
Y129:A
U129:A
V129:A
W129:A
P129:A
X130:A
Y130:A
U130:A
V130:A
W130:A
P130:A
X131:A
Y131:A
U131:A
V131:A
W131:A
P131:A
X132:A
Y132:A
U132:A
V132:A
W132:A
P132:A
X133:A
Y133:A
U133:A
V133:A
W133:A
P133:A
X134:A
Y134:A
U134:A
V134:A
W134:A
P134:A
X135:A
Y135:A
U135:A
V135:A
W135:A
P135:A
X136:A
Y136:A
U136:A
V136:A
W136:A
P136:A
X137:A
Y137:A
U137:A
V137:A
W137:A
P137:A
X138:A
Y138:A
U138:A
V138:A
W138:A
P138:A
X139:A
Y139:A
U139:A
V139:A
W139:A
P139:A
X140:A
Y140:A
U140:A
V140:A
W140:A
P140:A
X141:A
Y141:A
U141:A
V141:A
W141:A
P141:A
X142:A
Y142:A
U142:A
V142:A
W142:A
P142:A
X143:A
Y143:A
U143:A
V143:A
W143:A
P143:A
X144:A
Y144:A
U144:A
V144:A
W144:A
P144:A
X145:A
Y145:A
U145:A
V145:A
W145:A
P145:A
X146:A
Y146:A
U146:A
V146:A
W146:A
P146:A
X147:A
Y147:A
U147:A
V147:A
W147:A
P147:A
X148:A
Y148:A
U148:A
V148:A
W148:A
P148:A
X149:A
Y149:A
U149:A
V149:A
W149:A
P149:A
X150:A
Y150:A
U150:A
V150:A
W150:A
P150:A
X151:A
Y151:A
U151:A
V151:A
W151:A
P151:A
X152:A
Y152:A
U152:A
V152:A
W152:A
P152:A
X153:A
Y153:A
U153:A
V153:A
W153:A
P153:A
X154:A
Y154:A
U154:A
V154:A
W154:A
P154:A
X155:A
Y155:A
U155:A
V155:A
W155:A
P155:A
X156:A
Y156:A
U156:A
V156:A
W156:A
P156:A
X157:A
Y157:A
U157:A
V157:A
W157:A
P157:A
X158:A
Y158:A
U158:A
V158:A
W158:A
P158:A
X159:A
Y159:A
U159:A
V159:A
W159:A
P159:A
X160:A
Y160:A
U160:A
V160:A
W160:A
P160:A
X161:A
Y161:A
U161:A
V161:A
W161:A
P161:A
X162:A
Y162:A
U162:A
V162:A
W162:A
P162:A
X163:A
Y163:A
U163:A
V163:A
W163:A
P163:A
X164:A
Y164:A
U164:A
V164:A
W164:A
P164:A
X165:A
Y165:A
U165:A
V165:A
W165:A
P165:A
X166:A
Y166:A
U166:A
V166:A
W166:A
P166:A
X167:A
Y167:A
U167:A
V167:A
W167:A
P167:A
X168:A
Y168:A
U168:A
V168:A
W168:A
P168:A
X169:A
Y169:A
U169:A
V169:A
W169:A
P169:A
X170:A
Y170:A
U170:A
V170:A
W170:A
P170:A
X171:A
Y171:A
U171:A
V171:A
W171:A
P171:A
X172:A
Y172:A
U172:A
V172:A
W172:A
P172:A
X173:A
Y173:A
U173:A
V173:A
W173:A
P173:A
X174:A
Y174:A
U174:A
V174:A
W174:A
P174:A
X175:A
Y175:A
U175:A
V175:A
W175:A
P175:A
X176:A
Y176:A
U176:A
V176:A
W176:A
P176:A
X177:A
Y177:A
U177:A
V177:A
W177:A
P177:A
X178:A
Y178:A
U178:A
V178:A
W178:A
P178:A
X179:A
Y179:A
U179:A
V179:A
W179:A
P179:A
X180:A
Y180:A
U180:A
V180:A
W180:A
P180:A
X181:A
Y181:A
U181:A
V181:A
W181:A
P181:A
X182:A
Y182:A
U182:A
V182:A
W182:A
P182:A
X183:A
Y183:A
U183:A
V183:A
W183:A
P183:A
X184:A
Y184:A
U184:A
V184:A
W184:A
P184:A
X185:A
Y185:A
U185:A
V185:A
W185:A
P185:A
X186:A
Y186:A
U186:A
V186:A
W186:A
P186:A
X187:A
Y187:A
U187:A
V187:A
W187:A
P187:A
X188:A
Y188:A
U188:A
V188:A
W188:A
P188:A
X189:A
Y189:A
U189:A
V189:A
W189:A
P189:A
X190:A
Y190:A
U190:A
V190:A
W190:A
P190:A
X191:A
Y191:A
U191:A
V191:A
W191:A
P191:A
X192:A
Y192:A
U192:A
V192:A
W192:A
P192:A
X193:A
Y193:A
U193:A
V193:A
W193:A
P193:A
X194:A
Y194:A
U194:A
V194:A
W194:A
P194:A
X195:A
Y195:A
U195:A
V195:A
W195:A
P195:A
X196:A
Y196:A
U196:A
V196:A
W196:A
P196:A
X197:A
Y197:A
U197:A
V197:A
W197:A
P197:A
X198:A
Y198:A
U198:A
V198:A
W198:A
P198:A
X199:A
Y199:A
U199:A
V199:A
W199:A
P199:A
X200:A
Y200:A
U200:A
V200:A
W200:A
P200:A
X201:A
Y201:A
U201:A
V201:A
W201:A
P201:A
X202:A
Y202:A
U202:A
V202:A
W202:A
P202:A
X203:A
Y203:A
U203:A
V203:A
W203:A
P203:A
X204:A
Y204:A
U204:A
V204:A
W204:A
P204:A
X205:A
Y205:A
U205:A
V205:A
W205:A
P205:A
X206:A
Y206:A
U206:A
V206:A
W206:A
P206:A
X207:A
Y207:A
U207:A
V207:A
W207:A
P207:A
X208:A
Y208:A
U208:A
V208:A
W208:A
P208:A
X209:A
Y209:A
U209:A
V209:A
W209:A
P209:A
X210:A
Y210:A
U210:A
V210:A
W210:A
P210:A
X211:A
Y211:A
U211:A
V211:A
W211:A
P211:A
X212:A
Y212:A
U212:A
V212:A
W212:A
P212:A
X213:A
Y213:A
U213:A
V213:A
W213:A
P213:A
X214:A
Y214:A
U214:A
V214:A
W214:A
P214:A
X215:A
Y215:A
U215:A
V215:A
W215:A
P215:A
X216:A
Y216:A
U216:A
V216:A
W216:A
P216:A
X217:A
Y217:A
U217:A
V217:A
W217:A
P217:A
X218:A
Y218:A
U218:A
V218:A
W218:A
P218:A
X219:A
Y219:A
U219:A
V219:A
W219:A
P219:A
X220:A
Y220:A
U220:A
V220:A
W220:A
P220:A
X221:A
Y221:A
U221:A
V221:A
W221:A
P221:A
X222:A
Y222:A
U222:A
V222:A
W222:A
P222:A
X223:A
Y223:A
U223:A
V223:A
W223:A
P223:A
X224:A
Y224:A
U224:A
V224:A
W224:A
P224:A
X225:A
Y225:A
U225:A
V225:A
W225:A
P225:A
X226:A
Y226:A
U226:A
V226:A
W226:A
P226:A
X227:A
Y227:A
U227:A
V227:A
W227:A
P227:A
X228:A
Y228:A
U228:A
V228:A
W228:A
P228:A
X229:A
Y229:A
U229:A
V229:A
W229:A
P229:A
X230:A
Y230:A
U230:A
V230:A
W230:A
P230:A
X231:A
Y231:A
U231:A
V231:A
W231:A
P231:A
X232:A
Y232:A
U232:A
V232:A
W232:A
P232:A
X233:A
Y233:A
U233:A
V233:A
W233:A
P233:A
X234:A
Y234:A
U234:A
V234:A
W234:A
P234:A
X235:A
Y235:A
U235:A
V235:A
W235:A
P235:A
X236:A
Y236:A
U236:A
V236:A
W236:A
P236:A
X237:A
Y237:A
U237:A
V237:A
W237:A
P237:A
X238:A
Y238:A
U238:A
V238:A
W238:A
P238:A
X239:A
Y239:A
U239:A
V239:A
W239:A
P239:A
X240:A
Y240:A
U240:A
V240:A
W240:A
P240:A
X241:A
Y241:A
U241:A
V241:A
W241:A
P241:A
X242:A
Y242:A
U242:A
V242:A
W242:A
P242:A
X243:A
Y243:A
U243:A
V243:A
W243:A
P243:A
X244:A
Y244:A
U244:A
V244:A
W244:A
P244:A
X245:A
Y245:A
U245:A
V245:A
W245:A
P245:A
X246:A
Y246:A
U246:A
V246:A
W246:A
P246:A
X247:A
Y247:A
U247:A
V247:A
W247:A
P247:A
X248:A
Y248:A
U248:A
V248:A
W248:A
P248:A
X249:A
Y249:A
U249:A
V249:A
W249:A
P249:A
X250:A
Y250:A
U250:A
V250:A
W250:A
P250:A
X251:A
Y251:A
U251:A
V251:A
W251:A
P251:A
X252:A
Y252:A
U252:A
V252:A
W252:A
P252:A
X253:A
Y253:A
U253:A
V253:A
W253:A
P253:A
X254:A
Y254:A
U254:A
V254:A
W254:A
P254:A
X255:A
Y255:A
U255:A
V255:A
W255:A
P255:A
X256:A
Y256:A
U256:A
V256:A
W256:A
P256:A
X257:A
Y257:A
U257:A
V257:A
W257:A
P257:A
X258:A
Y258:A
U258:A
V258:A
W258:A
P258:A
X259:A
Y259:A
U259:A
V259:A
W259:A
P259:A
X260:A
Y260:A
U260:A
V260:A
W260:A
P260:A
X261:A
Y261:A
U261:A
V261:A
W261:A
P261:A
X262:A
Y262:A
U262:A
V262:A
W262:A
P262:A
X263:A
Y263:A
U263:A
V263:A
W263:A
P263:A
X264:A
Y264:A
U264:A
V264:A
W264:A
P264:A
X265:A
Y265:A
U265:A
V265:A
W265:A
P265:A
X266:A
Y266:A
U266:A
V266:A
W266:A
P266:A
X267:A
Y267:A
U267:A
V267:A
W267:A
P267:A
X268:A
Y268:A
U268:A
V268:A
W268:A
P268:A
X269:A
Y269:A
U269:A
V269:A
W269:A
P269:A
X270:A
Y270:A
U270:A
V270:A
W270:A
P270:A
X271:A
Y271:A
U271:A
V271:A
W271:A
P271:A
X272:A
Y272:A
U272:A
V272:A
W272:A
P272:A
X273:A
Y273:A
U273:A
V273:A
W273:A
P273:A
X274:A
Y274:A
U274:A
V274:A
W274:A
P274:A
X275:A
Y275:A
U275:A
V275:A
W275:A
P275:A
X276:A
Y276:A
U276:A
V276:A
W276:A
P276:A
X277:A
Y277:A
U277:A
V277:A
W277:A
P277:A
X278:A
Y278:A
U278:A
V278:A
W278:A
P278:A
X279:A
Y279:A
U279:A
V279:A
W279:A
P279:A
X280:A
Y280:A
U280:A
V280:A
W280:A
P280:A
X281:A
Y281:A
U281:A
V281:A
W281:A
P281:A
X282:A
Y282:A
U282:A
V282:A
W282:A
P282:A
X283:A
Y283:A
U283:A
V283:A
W283:A
P283:A
X284:A
Y284:A
U284:A
V284:A
W284:A
P284:A
X285:A
Y285:A
U285:A
V285:A
W285:A
P285:A
X286:A
Y286:A
U286:A
V286:A
W286:A
P286:A
X287:A
Y287:A
U287:A
V287:A
W287:A
P287:A
X288:A
Y288:A
U288:A
V288:A
W288:A
P288:A
X289:A
Y289:A
U289:A
V289:A
W289:A
P289:A
X290:A
Y290:A
U290:A
V290:A
W290:A
P290:A
X291:A
Y291:A
U291:A
V291:A
W291:A
P291:A
X292:A
Y292:A
U292:A
V292:A
W292:A
P292:A
X293:A
Y293:A
U293:A
V293:A
W293:A
P293:A
X294:A
Y294:A
U294:A
V294:A
W294:A
P294:A
X295:A
Y295:A
U295:A
V295:A
W295:A
P295:A
X296:A
Y296:A
U296:A
V296:A
W296:A
P296:A
X297:A
Y297:A
U297:A
V297:A
W297:A
P297:A
X298:A
Y298:A
U298:A
V298:A
W298:A
P298:A
X299:A
Y299:A
U299:A
V299:A
W299:A
P299:A
X300:A
Y300:A
U300:A
V300:A
W300:A
P300:A
X301:A
Y301:A
U301:A
V301:A
W301:A
P301:A
X302:A
Y302:A
U302:A
V302:A
W302:A
P302:A
X303:A
Y303:A
U303:A
V303:A
W303:A
P303:A
X304:A
Y304:A
U304:A
V304:A
W304:A
P304:A
X305:A
Y305:A
U305:A
V305:A
W305:A
P305:A
X306:A
Y306:A
U306:A
V306:A
W306:A
P306:A
X307:A
Y307:A
U307:A
V307:A
W307:A
P307:A
X308:A
Y308:A
U308:A
V308:A
W308:A
P308:A
X309:A
Y309:A
U309:A
V309:A
W309:A
P309:A
X310:A
Y310:A
U310:A
V310:A
W310:A
P310:A
X311:A
Y311:A
U311:A
V311:A
W311:A
P311:A
X312:A
Y312:A
U312:A
V312:A
W312:A
P312:A
F313:A → A
Z313:A → A
U313:A

Rules

active · (u101 · tt · X · Y)mark · (u102 · (isNaturalKind · X) · X · Y)
active · (u102 · tt · U · V)mark · (u103 · (isLNatKind · V) · U · V)
active · (u103 · tt · W · P)mark · (u104 · (isLNatKind · P) · W · P)
active · (u104 · tt · X1 · Y1)mark · (u105 · (isNatural · X1) · Y1)
active · (u105 · tt · U1)mark · (u106 · (isLNat · U1))
active · (u106 · tt)mark · tt
active · (u11 · tt · V1 · W1)mark · (u12 · (isNaturalKind · V1) · V1 · W1)
active · (u111 · tt · P1)mark · (u112 · (isLNatKind · P1))
active · (u112 · tt)mark · tt
active · (u12 · tt · X2 · Y2)mark · (u13 · (isLNat · Y2) · X2 · Y2)
active · (u121 · tt · U2)mark · (u122 · (isLNatKind · U2))
active · (u122 · tt)mark · tt
active · (u13 · tt · V2 · W2)mark · (u14 · (isLNatKind · W2) · V2 · W2)
active · (u131 · tt)mark · tt
active · (u14 · tt · P2 · X3)mark · (snd · (splitAt · P2 · X3))
active · (u141 · tt)mark · tt
active · (u151 · tt)mark · tt
active · (u161 · tt)mark · tt
active · (u171 · tt · Y3)mark · (u172 · (isLNatKind · Y3))
active · (u172 · tt)mark · tt
active · (u181 · tt · U3)mark · (u182 · (isLNatKind · U3) · U3)
active · (u182 · tt · V3)mark · (u183 · (isLNat · V3))
active · (u183 · tt)mark · tt
active · (u191 · tt · W3)mark · (u192 · (isNaturalKind · W3) · W3)
active · (u192 · tt · P3)mark · (u193 · (isNatural · P3))
active · (u193 · tt)mark · tt
active · (u201 · tt · X4 · Y4)mark · (u202 · (isNaturalKind · X4) · X4 · Y4)
active · (u202 · tt · U4 · V4)mark · (u203 · (isLNatKind · V4) · U4 · V4)
active · (u203 · tt · W4 · P4)mark · (u204 · (isLNatKind · P4) · W4 · P4)
active · (u204 · tt · X5 · Y5)mark · (u205 · (isNatural · X5) · Y5)
active · (u205 · tt · U5)mark · (u206 · (isLNat · U5))
active · (u206 · tt)mark · tt
active · (u21 · tt · V5 · W5)mark · (u22 · (isLNatKind · V5) · V5 · W5)
active · (u211 · tt)mark · tt
active · (u22 · tt · P5 · X6)mark · (u23 · (isLNat · X6) · P5 · X6)
active · (u221 · tt)mark · tt
active · (u23 · tt · Y6 · U6)mark · (u24 · (isLNatKind · U6) · Y6)
active · (u231 · tt · V6)mark · (u232 · (isLNatKind · V6))
active · (u232 · tt)mark · tt
active · (u24 · tt · W6)mark · W6
active · (u241 · tt · P6 · X7)mark · (u242 · (isLNatKind · P6) · P6 · X7)
active · (u242 · tt · Y7 · U7)mark · (u243 · (isLNatKind · U7) · Y7 · U7)
active · (u243 · tt · V7 · W7)mark · (u244 · (isLNatKind · W7) · V7 · W7)
active · (u244 · tt · P7 · X8)mark · (u245 · (isLNat · P7) · X8)
active · (u245 · tt · Y8)mark · (u246 · (isLNat · Y8))
active · (u246 · tt)mark · tt
active · (u251 · tt · U8 · V8)mark · (u252 · (isNaturalKind · U8) · U8 · V8)
active · (u252 · tt · W8 · P8)mark · (u253 · (isLNatKind · P8) · W8 · P8)
active · (u253 · tt · X9 · Y9)mark · (u254 · (isLNatKind · Y9) · X9 · Y9)
active · (u254 · tt · U9 · V9)mark · (u255 · (isNatural · U9) · V9)
active · (u255 · tt · W9)mark · (u256 · (isLNat · W9))
active · (u256 · tt)mark · tt
active · (u261 · tt · P9)mark · (u262 · (isLNatKind · P9))
active · (u262 · tt)mark · tt
active · (u271 · tt · X10)mark · (u272 · (isLNatKind · X10))
active · (u272 · tt)mark · tt
active · (u281 · tt · Y10)mark · (u282 · (isNaturalKind · Y10) · Y10)
active · (u282 · tt · U10)mark · (cons · U10 · (natsFrom · (s · U10)))
active · (u291 · tt · V10 · W10)mark · (u292 · (isNaturalKind · V10) · V10 · W10)
active · (u292 · tt · P10 · X11)mark · (u293 · (isLNat · X11) · P10 · X11)
active · (u293 · tt · Y11 · U11)mark · (u294 · (isLNatKind · U11) · Y11 · U11)
active · (u294 · tt · V11 · W11)mark · (head · (afterNth · V11 · W11))
active · (u301 · tt · P11 · X12)mark · (u302 · (isLNatKind · P11) · X12)
active · (u302 · tt · Y12)mark · (u303 · (isLNat · Y12) · Y12)
active · (u303 · tt · U12)mark · (u304 · (isLNatKind · U12) · U12)
active · (u304 · tt · V12)mark · V12
active · (u31 · tt · W12 · P12)mark · (u32 · (isNaturalKind · W12) · W12 · P12)
active · (u311 · tt · X13)mark · (u312 · (isLNatKind · X13) · X13)
active · (u312 · tt · Y13)mark · (pair · nil · Y13)
active · (u32 · tt · U13 · V13)mark · (u33 · (isLNat · V13) · U13 · V13)
active · (u321 · tt · W13 · P13 · X14)mark · (u322 · (isNaturalKind · W13) · W13 · P13 · X14)
active · (u322 · tt · Y14 · U14 · V14)mark · (u323 · (isNatural · U14) · Y14 · U14 · V14)
active · (u323 · tt · W14 · P14 · X15)mark · (u324 · (isNaturalKind · P14) · W14 · P14 · X15)
active · (u324 · tt · Y15 · U15 · V15)mark · (u325 · (isLNat · V15) · Y15 · U15 · V15)
active · (u325 · tt · W15 · P15 · X16)mark · (u326 · (isLNatKind · X16) · W15 · P15 · X16)
active · (u326 · tt · Y16 · U16 · V16)mark · (u327 · (splitAt · Y16 · V16) · U16)
active · (u327 · (pair · W16 · P16) · X17)mark · (pair · (cons · X17 · W16) · P16)
active · (u33 · tt · Y17 · U17)mark · (u34 · (isLNatKind · U17) · Y17)
active · (u331 · tt · V17 · W17)mark · (u332 · (isNaturalKind · V17) · W17)
active · (u332 · tt · P17)mark · (u333 · (isLNat · P17) · P17)
active · (u333 · tt · X18)mark · (u334 · (isLNatKind · X18) · X18)
active · (u334 · tt · Y18)mark · Y18
active · (u34 · tt · U18)mark · U18
active · (u341 · tt · V18 · W18)mark · (u342 · (isNaturalKind · V18) · V18 · W18)
active · (u342 · tt · P18 · X19)mark · (u343 · (isLNat · X19) · P18 · X19)
active · (u343 · tt · Y19 · U19)mark · (u344 · (isLNatKind · U19) · Y19 · U19)
active · (u344 · tt · V19 · W19)mark · (fst · (splitAt · V19 · W19))
active · (u41 · tt · P19 · X20)mark · (u42 · (isNaturalKind · P19) · P19 · X20)
active · (u42 · tt · Y20 · U20)mark · (u43 · (isLNatKind · U20) · Y20 · U20)
active · (u43 · tt · V20 · W20)mark · (u44 · (isLNatKind · W20) · V20 · W20)
active · (u44 · tt · P20 · X21)mark · (u45 · (isNatural · P20) · X21)
active · (u45 · tt · Y21)mark · (u46 · (isLNat · Y21))
active · (u46 · tt)mark · tt
active · (u51 · tt · U21 · V21)mark · (u52 · (isNaturalKind · U21) · U21 · V21)
active · (u52 · tt · W21 · P21)mark · (u53 · (isLNatKind · P21) · W21 · P21)
active · (u53 · tt · X22 · Y22)mark · (u54 · (isLNatKind · Y22) · X22 · Y22)
active · (u54 · tt · U22 · V22)mark · (u55 · (isNatural · U22) · V22)
active · (u55 · tt · W22)mark · (u56 · (isLNat · W22))
active · (u56 · tt)mark · tt
active · (u61 · tt · P22)mark · (u62 · (isPLNatKind · P22) · P22)
active · (u62 · tt · X23)mark · (u63 · (isPLNat · X23))
active · (u63 · tt)mark · tt
active · (u71 · tt · Y23)mark · (u72 · (isNaturalKind · Y23) · Y23)
active · (u72 · tt · U23)mark · (u73 · (isNatural · U23))
active · (u73 · tt)mark · tt
active · (u81 · tt · V23)mark · (u82 · (isPLNatKind · V23) · V23)
active · (u82 · tt · W23)mark · (u83 · (isPLNat · W23))
active · (u83 · tt)mark · tt
active · (u91 · tt · P23)mark · (u92 · (isLNatKind · P23) · P23)
active · (u92 · tt · X24)mark · (u93 · (isLNat · X24))
active · (u93 · tt)mark · tt
active · (afterNth · Y24 · U24)mark · (u11 · (isNatural · Y24) · Y24 · U24)
active · (fst · (pair · V24 · W24))mark · (u21 · (isLNat · V24) · V24 · W24)
active · (head · (cons · P24 · X25))mark · (u31 · (isNatural · P24) · P24 · X25)
active · (isLNat · nil)mark · tt
active · (isLNat · (afterNth · Y25 · U25))mark · (u41 · (isNaturalKind · Y25) · Y25 · U25)
active · (isLNat · (cons · V25 · W25))mark · (u51 · (isNaturalKind · V25) · V25 · W25)
active · (isLNat · (fst · P25))mark · (u61 · (isPLNatKind · P25) · P25)
active · (isLNat · (natsFrom · X26))mark · (u71 · (isNaturalKind · X26) · X26)
active · (isLNat · (snd · Y26))mark · (u81 · (isPLNatKind · Y26) · Y26)
active · (isLNat · (tail · U26))mark · (u91 · (isLNatKind · U26) · U26)
active · (isLNat · (take · V26 · W26))mark · (u101 · (isNaturalKind · V26) · V26 · W26)
active · (isLNatKind · nil)mark · tt
active · (isLNatKind · (afterNth · P26 · X27))mark · (u111 · (isNaturalKind · P26) · X27)
active · (isLNatKind · (cons · Y27 · U27))mark · (u121 · (isNaturalKind · Y27) · U27)
active · (isLNatKind · (fst · V27))mark · (u131 · (isPLNatKind · V27))
active · (isLNatKind · (natsFrom · W27))mark · (u141 · (isNaturalKind · W27))
active · (isLNatKind · (snd · P27))mark · (u151 · (isPLNatKind · P27))
active · (isLNatKind · (tail · X28))mark · (u161 · (isLNatKind · X28))
active · (isLNatKind · (take · Y28 · U28))mark · (u171 · (isNaturalKind · Y28) · U28)
active · (isNatural · 0)mark · tt
active · (isNatural · (head · V28))mark · (u181 · (isLNatKind · V28) · V28)
active · (isNatural · (s · W28))mark · (u191 · (isNaturalKind · W28) · W28)
active · (isNatural · (sel · P28 · X29))mark · (u201 · (isNaturalKind · P28) · P28 · X29)
active · (isNaturalKind · 0)mark · tt
active · (isNaturalKind · (head · Y29))mark · (u211 · (isLNatKind · Y29))
active · (isNaturalKind · (s · U29))mark · (u221 · (isNaturalKind · U29))
active · (isNaturalKind · (sel · V29 · W29))mark · (u231 · (isNaturalKind · V29) · W29)
active · (isPLNat · (pair · P29 · X30))mark · (u241 · (isLNatKind · P29) · P29 · X30)
active · (isPLNat · (splitAt · Y30 · U30))mark · (u251 · (isNaturalKind · Y30) · Y30 · U30)
active · (isPLNatKind · (pair · V30 · W30))mark · (u261 · (isLNatKind · V30) · W30)
active · (isPLNatKind · (splitAt · P30 · X31))mark · (u271 · (isNaturalKind · P30) · X31)
active · (natsFrom · Y31)mark · (u281 · (isNatural · Y31) · Y31)
active · (sel · U31 · V31)mark · (u291 · (isNatural · U31) · U31 · V31)
active · (snd · (pair · W31 · P31))mark · (u301 · (isLNat · W31) · W31 · P31)
active · (splitAt · 0 · X32)mark · (u311 · (isLNat · X32) · X32)
active · (splitAt · (s · Y32) · (cons · U32 · V32))mark · (u321 · (isNatural · Y32) · Y32 · U32 · V32)
active · (tail · (cons · W32 · P32))mark · (u331 · (isNatural · W32) · W32 · P32)
active · (take · X33 · Y33)mark · (u341 · (isNatural · X33) · X33 · Y33)
mark · (u101 · U33 · V33 · W33)active · (u101 · (mark · U33) · V33 · W33)
mark · ttactive · tt
mark · (u102 · P33 · X34 · Y34)active · (u102 · (mark · P33) · X34 · Y34)
mark · (isNaturalKind · U34)active · (isNaturalKind · U34)
mark · (u103 · V34 · W34 · P34)active · (u103 · (mark · V34) · W34 · P34)
mark · (isLNatKind · X35)active · (isLNatKind · X35)
mark · (u104 · Y35 · U35 · V35)active · (u104 · (mark · Y35) · U35 · V35)
mark · (u105 · W35 · P35)active · (u105 · (mark · W35) · P35)
mark · (isNatural · X36)active · (isNatural · X36)
mark · (u106 · Y36)active · (u106 · (mark · Y36))
mark · (isLNat · U36)active · (isLNat · U36)
mark · (u11 · V36 · W36 · P36)active · (u11 · (mark · V36) · W36 · P36)
mark · (u12 · X37 · Y37 · U37)active · (u12 · (mark · X37) · Y37 · U37)
mark · (u111 · V37 · W37)active · (u111 · (mark · V37) · W37)
mark · (u112 · P37)active · (u112 · (mark · P37))
mark · (u13 · X38 · Y38 · U38)active · (u13 · (mark · X38) · Y38 · U38)
mark · (u121 · V38 · W38)active · (u121 · (mark · V38) · W38)
mark · (u122 · P38)active · (u122 · (mark · P38))
mark · (u14 · X39 · Y39 · U39)active · (u14 · (mark · X39) · Y39 · U39)
mark · (u131 · V39)active · (u131 · (mark · V39))
mark · (snd · W39)active · (snd · (mark · W39))
mark · (splitAt · P39 · X40)active · (splitAt · (mark · P39) · (mark · X40))
mark · (u141 · Y40)active · (u141 · (mark · Y40))
mark · (u151 · U40)active · (u151 · (mark · U40))
mark · (u161 · V40)active · (u161 · (mark · V40))
mark · (u171 · W40 · P40)active · (u171 · (mark · W40) · P40)
mark · (u172 · X41)active · (u172 · (mark · X41))
mark · (u181 · Y41 · U41)active · (u181 · (mark · Y41) · U41)
mark · (u182 · V41 · W41)active · (u182 · (mark · V41) · W41)
mark · (u183 · P41)active · (u183 · (mark · P41))
mark · (u191 · X42 · Y42)active · (u191 · (mark · X42) · Y42)
mark · (u192 · U42 · V42)active · (u192 · (mark · U42) · V42)
mark · (u193 · W42)active · (u193 · (mark · W42))
mark · (u201 · P42 · X43 · Y43)active · (u201 · (mark · P42) · X43 · Y43)
mark · (u202 · U43 · V43 · W43)active · (u202 · (mark · U43) · V43 · W43)
mark · (u203 · P43 · X44 · Y44)active · (u203 · (mark · P43) · X44 · Y44)
mark · (u204 · U44 · V44 · W44)active · (u204 · (mark · U44) · V44 · W44)
mark · (u205 · P44 · X45)active · (u205 · (mark · P44) · X45)
mark · (u206 · Y45)active · (u206 · (mark · Y45))
mark · (u21 · U45 · V45 · W45)active · (u21 · (mark · U45) · V45 · W45)
mark · (u22 · P45 · X46 · Y46)active · (u22 · (mark · P45) · X46 · Y46)
mark · (u211 · U46)active · (u211 · (mark · U46))
mark · (u23 · V46 · W46 · P46)active · (u23 · (mark · V46) · W46 · P46)
mark · (u221 · X47)active · (u221 · (mark · X47))
mark · (u24 · Y47 · U47)active · (u24 · (mark · Y47) · U47)
mark · (u231 · V47 · W47)active · (u231 · (mark · V47) · W47)
mark · (u232 · P47)active · (u232 · (mark · P47))
mark · (u241 · X48 · Y48 · U48)active · (u241 · (mark · X48) · Y48 · U48)
mark · (u242 · V48 · W48 · P48)active · (u242 · (mark · V48) · W48 · P48)
mark · (u243 · X49 · Y49 · U49)active · (u243 · (mark · X49) · Y49 · U49)
mark · (u244 · V49 · W49 · P49)active · (u244 · (mark · V49) · W49 · P49)
mark · (u245 · X50 · Y50)active · (u245 · (mark · X50) · Y50)
mark · (u246 · U50)active · (u246 · (mark · U50))
mark · (u251 · V50 · W50 · P50)active · (u251 · (mark · V50) · W50 · P50)
mark · (u252 · X51 · Y51 · U51)active · (u252 · (mark · X51) · Y51 · U51)
mark · (u253 · V51 · W51 · P51)active · (u253 · (mark · V51) · W51 · P51)
mark · (u254 · X52 · Y52 · U52)active · (u254 · (mark · X52) · Y52 · U52)
mark · (u255 · V52 · W52)active · (u255 · (mark · V52) · W52)
mark · (u256 · P52)active · (u256 · (mark · P52))
mark · (u261 · X53 · Y53)active · (u261 · (mark · X53) · Y53)
mark · (u262 · U53)active · (u262 · (mark · U53))
mark · (u271 · V53 · W53)active · (u271 · (mark · V53) · W53)
mark · (u272 · P53)active · (u272 · (mark · P53))
mark · (u281 · X54 · Y54)active · (u281 · (mark · X54) · Y54)
mark · (u282 · U54 · V54)active · (u282 · (mark · U54) · V54)
mark · (cons · W54 · P54)active · (cons · (mark · W54) · P54)
mark · (natsFrom · X55)active · (natsFrom · (mark · X55))
mark · (s · Y55)active · (s · (mark · Y55))
mark · (u291 · U55 · V55 · W55)active · (u291 · (mark · U55) · V55 · W55)
mark · (u292 · P55 · X56 · Y56)active · (u292 · (mark · P55) · X56 · Y56)
mark · (u293 · U56 · V56 · W56)active · (u293 · (mark · U56) · V56 · W56)
mark · (u294 · P56 · X57 · Y57)active · (u294 · (mark · P56) · X57 · Y57)
mark · (head · U57)active · (head · (mark · U57))
mark · (afterNth · V57 · W57)active · (afterNth · (mark · V57) · (mark · W57))
mark · (u301 · P57 · X58 · Y58)active · (u301 · (mark · P57) · X58 · Y58)
mark · (u302 · U58 · V58)active · (u302 · (mark · U58) · V58)
mark · (u303 · W58 · P58)active · (u303 · (mark · W58) · P58)
mark · (u304 · X59 · Y59)active · (u304 · (mark · X59) · Y59)
mark · (u31 · U59 · V59 · W59)active · (u31 · (mark · U59) · V59 · W59)
mark · (u32 · P59 · X60 · Y60)active · (u32 · (mark · P59) · X60 · Y60)
mark · (u311 · U60 · V60)active · (u311 · (mark · U60) · V60)
mark · (u312 · W60 · P60)active · (u312 · (mark · W60) · P60)
mark · (pair · X61 · Y61)active · (pair · (mark · X61) · (mark · Y61))
mark · nilactive · nil
mark · (u33 · U61 · V61 · W61)active · (u33 · (mark · U61) · V61 · W61)
mark · (u321 · P61 · X62 · Y62 · U62)active · (u321 · (mark · P61) · X62 · Y62 · U62)
mark · (u322 · V62 · W62 · P62 · X63)active · (u322 · (mark · V62) · W62 · P62 · X63)
mark · (u323 · Y63 · U63 · V63 · W63)active · (u323 · (mark · Y63) · U63 · V63 · W63)
mark · (u324 · P63 · X64 · Y64 · U64)active · (u324 · (mark · P63) · X64 · Y64 · U64)
mark · (u325 · V64 · W64 · P64 · X65)active · (u325 · (mark · V64) · W64 · P64 · X65)
mark · (u326 · Y65 · U65 · V65 · W65)active · (u326 · (mark · Y65) · U65 · V65 · W65)
mark · (u327 · P65 · X66)active · (u327 · (mark · P65) · X66)
mark · (u34 · Y66 · U66)active · (u34 · (mark · Y66) · U66)
mark · (u331 · V66 · W66 · P66)active · (u331 · (mark · V66) · W66 · P66)
mark · (u332 · X67 · Y67)active · (u332 · (mark · X67) · Y67)
mark · (u333 · U67 · V67)active · (u333 · (mark · U67) · V67)
mark · (u334 · W67 · P67)active · (u334 · (mark · W67) · P67)
mark · (u341 · X68 · Y68 · U68)active · (u341 · (mark · X68) · Y68 · U68)
mark · (u342 · V68 · W68 · P68)active · (u342 · (mark · V68) · W68 · P68)
mark · (u343 · X69 · Y69 · U69)active · (u343 · (mark · X69) · Y69 · U69)
mark · (u344 · V69 · W69 · P69)active · (u344 · (mark · V69) · W69 · P69)
mark · (fst · X70)active · (fst · (mark · X70))
mark · (u41 · Y70 · U70 · V70)active · (u41 · (mark · Y70) · U70 · V70)
mark · (u42 · W70 · P70 · X71)active · (u42 · (mark · W70) · P70 · X71)
mark · (u43 · Y71 · U71 · V71)active · (u43 · (mark · Y71) · U71 · V71)
mark · (u44 · W71 · P71 · X72)active · (u44 · (mark · W71) · P71 · X72)
mark · (u45 · Y72 · U72)active · (u45 · (mark · Y72) · U72)
mark · (u46 · V72)active · (u46 · (mark · V72))
mark · (u51 · W72 · P72 · X73)active · (u51 · (mark · W72) · P72 · X73)
mark · (u52 · Y73 · U73 · V73)active · (u52 · (mark · Y73) · U73 · V73)
mark · (u53 · W73 · P73 · X74)active · (u53 · (mark · W73) · P73 · X74)
mark · (u54 · Y74 · U74 · V74)active · (u54 · (mark · Y74) · U74 · V74)
mark · (u55 · W74 · P74)active · (u55 · (mark · W74) · P74)
mark · (u56 · X75)active · (u56 · (mark · X75))
mark · (u61 · Y75 · U75)active · (u61 · (mark · Y75) · U75)
mark · (u62 · V75 · W75)active · (u62 · (mark · V75) · W75)
mark · (isPLNatKind · P75)active · (isPLNatKind · P75)
mark · (u63 · X76)active · (u63 · (mark · X76))
mark · (isPLNat · Y76)active · (isPLNat · Y76)
mark · (u71 · U76 · V76)active · (u71 · (mark · U76) · V76)
mark · (u72 · W76 · P76)active · (u72 · (mark · W76) · P76)
mark · (u73 · X77)active · (u73 · (mark · X77))
mark · (u81 · Y77 · U77)active · (u81 · (mark · Y77) · U77)
mark · (u82 · V77 · W77)active · (u82 · (mark · V77) · W77)
mark · (u83 · P77)active · (u83 · (mark · P77))
mark · (u91 · X78 · Y78)active · (u91 · (mark · X78) · Y78)
mark · (u92 · U78 · V78)active · (u92 · (mark · U78) · V78)
mark · (u93 · W78)active · (u93 · (mark · W78))
mark · (tail · P78)active · (tail · (mark · P78))
mark · (take · X79 · Y79)active · (take · (mark · X79) · (mark · Y79))
mark · 0active · 0
mark · (sel · U79 · V79)active · (sel · (mark · U79) · (mark · V79))
u101 · (mark · W79) · P79 · X80u101 · W79 · P79 · X80
u101 · Y80 · (mark · U80) · V80u101 · Y80 · U80 · V80
u101 · W80 · P80 · (mark · X81)u101 · W80 · P80 · X81
u101 · (active · Y81) · U81 · V81u101 · Y81 · U81 · V81
u101 · W81 · (active · P81) · X82u101 · W81 · P81 · X82
u101 · Y82 · U82 · (active · V82)u101 · Y82 · U82 · V82
u102 · (mark · W82) · P82 · X83u102 · W82 · P82 · X83
u102 · Y83 · (mark · U83) · V83u102 · Y83 · U83 · V83
u102 · W83 · P83 · (mark · X84)u102 · W83 · P83 · X84
u102 · (active · Y84) · U84 · V84u102 · Y84 · U84 · V84
u102 · W84 · (active · P84) · X85u102 · W84 · P84 · X85
u102 · Y85 · U85 · (active · V85)u102 · Y85 · U85 · V85
isNaturalKind · (mark · W85)isNaturalKind · W85
isNaturalKind · (active · P85)isNaturalKind · P85
u103 · (mark · X86) · Y86 · U86u103 · X86 · Y86 · U86
u103 · V86 · (mark · W86) · P86u103 · V86 · W86 · P86
u103 · X87 · Y87 · (mark · U87)u103 · X87 · Y87 · U87
u103 · (active · V87) · W87 · P87u103 · V87 · W87 · P87
u103 · X88 · (active · Y88) · U88u103 · X88 · Y88 · U88
u103 · V88 · W88 · (active · P88)u103 · V88 · W88 · P88
isLNatKind · (mark · X89)isLNatKind · X89
isLNatKind · (active · Y89)isLNatKind · Y89
u104 · (mark · U89) · V89 · W89u104 · U89 · V89 · W89
u104 · P89 · (mark · X90) · Y90u104 · P89 · X90 · Y90
u104 · U90 · V90 · (mark · W90)u104 · U90 · V90 · W90
u104 · (active · P90) · X91 · Y91u104 · P90 · X91 · Y91
u104 · U91 · (active · V91) · W91u104 · U91 · V91 · W91
u104 · P91 · X92 · (active · Y92)u104 · P91 · X92 · Y92
u105 · (mark · U92) · V92u105 · U92 · V92
u105 · W92 · (mark · P92)u105 · W92 · P92
u105 · (active · X93) · Y93u105 · X93 · Y93
u105 · U93 · (active · V93)u105 · U93 · V93
isNatural · (mark · W93)isNatural · W93
isNatural · (active · P93)isNatural · P93
u106 · (mark · X94)u106 · X94
u106 · (active · Y94)u106 · Y94
isLNat · (mark · U94)isLNat · U94
isLNat · (active · V94)isLNat · V94
u11 · (mark · W94) · P94 · X95u11 · W94 · P94 · X95
u11 · Y95 · (mark · U95) · V95u11 · Y95 · U95 · V95
u11 · W95 · P95 · (mark · X96)u11 · W95 · P95 · X96
u11 · (active · Y96) · U96 · V96u11 · Y96 · U96 · V96
u11 · W96 · (active · P96) · X97u11 · W96 · P96 · X97
u11 · Y97 · U97 · (active · V97)u11 · Y97 · U97 · V97
u12 · (mark · W97) · P97 · X98u12 · W97 · P97 · X98
u12 · Y98 · (mark · U98) · V98u12 · Y98 · U98 · V98
u12 · W98 · P98 · (mark · X99)u12 · W98 · P98 · X99
u12 · (active · Y99) · U99 · V99u12 · Y99 · U99 · V99
u12 · W99 · (active · P99) · X100u12 · W99 · P99 · X100
u12 · Y100 · U100 · (active · V100)u12 · Y100 · U100 · V100
u111 · (mark · W100) · P100u111 · W100 · P100
u111 · X101 · (mark · Y101)u111 · X101 · Y101
u111 · (active · U101) · V101u111 · U101 · V101
u111 · W101 · (active · P101)u111 · W101 · P101
u112 · (mark · X102)u112 · X102
u112 · (active · Y102)u112 · Y102
u13 · (mark · U102) · V102 · W102u13 · U102 · V102 · W102
u13 · P102 · (mark · X103) · Y103u13 · P102 · X103 · Y103
u13 · U103 · V103 · (mark · W103)u13 · U103 · V103 · W103
u13 · (active · P103) · X104 · Y104u13 · P103 · X104 · Y104
u13 · U104 · (active · V104) · W104u13 · U104 · V104 · W104
u13 · P104 · X105 · (active · Y105)u13 · P104 · X105 · Y105
u121 · (mark · U105) · V105u121 · U105 · V105
u121 · W105 · (mark · P105)u121 · W105 · P105
u121 · (active · X106) · Y106u121 · X106 · Y106
u121 · U106 · (active · V106)u121 · U106 · V106
u122 · (mark · W106)u122 · W106
u122 · (active · P106)u122 · P106
u14 · (mark · X107) · Y107 · U107u14 · X107 · Y107 · U107
u14 · V107 · (mark · W107) · P107u14 · V107 · W107 · P107
u14 · X108 · Y108 · (mark · U108)u14 · X108 · Y108 · U108
u14 · (active · V108) · W108 · P108u14 · V108 · W108 · P108
u14 · X109 · (active · Y109) · U109u14 · X109 · Y109 · U109
u14 · V109 · W109 · (active · P109)u14 · V109 · W109 · P109
u131 · (mark · X110)u131 · X110
u131 · (active · Y110)u131 · Y110
snd · (mark · U110)snd · U110
snd · (active · V110)snd · V110
splitAt · (mark · W110) · P110splitAt · W110 · P110
splitAt · X111 · (mark · Y111)splitAt · X111 · Y111
splitAt · (active · U111) · V111splitAt · U111 · V111
splitAt · W111 · (active · P111)splitAt · W111 · P111
u141 · (mark · X112)u141 · X112
u141 · (active · Y112)u141 · Y112
u151 · (mark · U112)u151 · U112
u151 · (active · V112)u151 · V112
u161 · (mark · W112)u161 · W112
u161 · (active · P112)u161 · P112
u171 · (mark · X113) · Y113u171 · X113 · Y113
u171 · U113 · (mark · V113)u171 · U113 · V113
u171 · (active · W113) · P113u171 · W113 · P113
u171 · X114 · (active · Y114)u171 · X114 · Y114
u172 · (mark · U114)u172 · U114
u172 · (active · V114)u172 · V114
u181 · (mark · W114) · P114u181 · W114 · P114
u181 · X115 · (mark · Y115)u181 · X115 · Y115
u181 · (active · U115) · V115u181 · U115 · V115
u181 · W115 · (active · P115)u181 · W115 · P115
u182 · (mark · X116) · Y116u182 · X116 · Y116
u182 · U116 · (mark · V116)u182 · U116 · V116
u182 · (active · W116) · P116u182 · W116 · P116
u182 · X117 · (active · Y117)u182 · X117 · Y117
u183 · (mark · U117)u183 · U117
u183 · (active · V117)u183 · V117
u191 · (mark · W117) · P117u191 · W117 · P117
u191 · X118 · (mark · Y118)u191 · X118 · Y118
u191 · (active · U118) · V118u191 · U118 · V118
u191 · W118 · (active · P118)u191 · W118 · P118
u192 · (mark · X119) · Y119u192 · X119 · Y119
u192 · U119 · (mark · V119)u192 · U119 · V119
u192 · (active · W119) · P119u192 · W119 · P119
u192 · X120 · (active · Y120)u192 · X120 · Y120
u193 · (mark · U120)u193 · U120
u193 · (active · V120)u193 · V120
u201 · (mark · W120) · P120 · X121u201 · W120 · P120 · X121
u201 · Y121 · (mark · U121) · V121u201 · Y121 · U121 · V121
u201 · W121 · P121 · (mark · X122)u201 · W121 · P121 · X122
u201 · (active · Y122) · U122 · V122u201 · Y122 · U122 · V122
u201 · W122 · (active · P122) · X123u201 · W122 · P122 · X123
u201 · Y123 · U123 · (active · V123)u201 · Y123 · U123 · V123
u202 · (mark · W123) · P123 · X124u202 · W123 · P123 · X124
u202 · Y124 · (mark · U124) · V124u202 · Y124 · U124 · V124
u202 · W124 · P124 · (mark · X125)u202 · W124 · P124 · X125
u202 · (active · Y125) · U125 · V125u202 · Y125 · U125 · V125
u202 · W125 · (active · P125) · X126u202 · W125 · P125 · X126
u202 · Y126 · U126 · (active · V126)u202 · Y126 · U126 · V126
u203 · (mark · W126) · P126 · X127u203 · W126 · P126 · X127
u203 · Y127 · (mark · U127) · V127u203 · Y127 · U127 · V127
u203 · W127 · P127 · (mark · X128)u203 · W127 · P127 · X128
u203 · (active · Y128) · U128 · V128u203 · Y128 · U128 · V128
u203 · W128 · (active · P128) · X129u203 · W128 · P128 · X129
u203 · Y129 · U129 · (active · V129)u203 · Y129 · U129 · V129
u204 · (mark · W129) · P129 · X130u204 · W129 · P129 · X130
u204 · Y130 · (mark · U130) · V130u204 · Y130 · U130 · V130
u204 · W130 · P130 · (mark · X131)u204 · W130 · P130 · X131
u204 · (active · Y131) · U131 · V131u204 · Y131 · U131 · V131
u204 · W131 · (active · P131) · X132u204 · W131 · P131 · X132
u204 · Y132 · U132 · (active · V132)u204 · Y132 · U132 · V132
u205 · (mark · W132) · P132u205 · W132 · P132
u205 · X133 · (mark · Y133)u205 · X133 · Y133
u205 · (active · U133) · V133u205 · U133 · V133
u205 · W133 · (active · P133)u205 · W133 · P133
u206 · (mark · X134)u206 · X134
u206 · (active · Y134)u206 · Y134
u21 · (mark · U134) · V134 · W134u21 · U134 · V134 · W134
u21 · P134 · (mark · X135) · Y135u21 · P134 · X135 · Y135
u21 · U135 · V135 · (mark · W135)u21 · U135 · V135 · W135
u21 · (active · P135) · X136 · Y136u21 · P135 · X136 · Y136
u21 · U136 · (active · V136) · W136u21 · U136 · V136 · W136
u21 · P136 · X137 · (active · Y137)u21 · P136 · X137 · Y137
u22 · (mark · U137) · V137 · W137u22 · U137 · V137 · W137
u22 · P137 · (mark · X138) · Y138u22 · P137 · X138 · Y138
u22 · U138 · V138 · (mark · W138)u22 · U138 · V138 · W138
u22 · (active · P138) · X139 · Y139u22 · P138 · X139 · Y139
u22 · U139 · (active · V139) · W139u22 · U139 · V139 · W139
u22 · P139 · X140 · (active · Y140)u22 · P139 · X140 · Y140
u211 · (mark · U140)u211 · U140
u211 · (active · V140)u211 · V140
u23 · (mark · W140) · P140 · X141u23 · W140 · P140 · X141
u23 · Y141 · (mark · U141) · V141u23 · Y141 · U141 · V141
u23 · W141 · P141 · (mark · X142)u23 · W141 · P141 · X142
u23 · (active · Y142) · U142 · V142u23 · Y142 · U142 · V142
u23 · W142 · (active · P142) · X143u23 · W142 · P142 · X143
u23 · Y143 · U143 · (active · V143)u23 · Y143 · U143 · V143
u221 · (mark · W143)u221 · W143
u221 · (active · P143)u221 · P143
u24 · (mark · X144) · Y144u24 · X144 · Y144
u24 · U144 · (mark · V144)u24 · U144 · V144
u24 · (active · W144) · P144u24 · W144 · P144
u24 · X145 · (active · Y145)u24 · X145 · Y145
u231 · (mark · U145) · V145u231 · U145 · V145
u231 · W145 · (mark · P145)u231 · W145 · P145
u231 · (active · X146) · Y146u231 · X146 · Y146
u231 · U146 · (active · V146)u231 · U146 · V146
u232 · (mark · W146)u232 · W146
u232 · (active · P146)u232 · P146
u241 · (mark · X147) · Y147 · U147u241 · X147 · Y147 · U147
u241 · V147 · (mark · W147) · P147u241 · V147 · W147 · P147
u241 · X148 · Y148 · (mark · U148)u241 · X148 · Y148 · U148
u241 · (active · V148) · W148 · P148u241 · V148 · W148 · P148
u241 · X149 · (active · Y149) · U149u241 · X149 · Y149 · U149
u241 · V149 · W149 · (active · P149)u241 · V149 · W149 · P149
u242 · (mark · X150) · Y150 · U150u242 · X150 · Y150 · U150
u242 · V150 · (mark · W150) · P150u242 · V150 · W150 · P150
u242 · X151 · Y151 · (mark · U151)u242 · X151 · Y151 · U151
u242 · (active · V151) · W151 · P151u242 · V151 · W151 · P151
u242 · X152 · (active · Y152) · U152u242 · X152 · Y152 · U152
u242 · V152 · W152 · (active · P152)u242 · V152 · W152 · P152
u243 · (mark · X153) · Y153 · U153u243 · X153 · Y153 · U153
u243 · V153 · (mark · W153) · P153u243 · V153 · W153 · P153
u243 · X154 · Y154 · (mark · U154)u243 · X154 · Y154 · U154
u243 · (active · V154) · W154 · P154u243 · V154 · W154 · P154
u243 · X155 · (active · Y155) · U155u243 · X155 · Y155 · U155
u243 · V155 · W155 · (active · P155)u243 · V155 · W155 · P155
u244 · (mark · X156) · Y156 · U156u244 · X156 · Y156 · U156
u244 · V156 · (mark · W156) · P156u244 · V156 · W156 · P156
u244 · X157 · Y157 · (mark · U157)u244 · X157 · Y157 · U157
u244 · (active · V157) · W157 · P157u244 · V157 · W157 · P157
u244 · X158 · (active · Y158) · U158u244 · X158 · Y158 · U158
u244 · V158 · W158 · (active · P158)u244 · V158 · W158 · P158
u245 · (mark · X159) · Y159u245 · X159 · Y159
u245 · U159 · (mark · V159)u245 · U159 · V159
u245 · (active · W159) · P159u245 · W159 · P159
u245 · X160 · (active · Y160)u245 · X160 · Y160
u246 · (mark · U160)u246 · U160
u246 · (active · V160)u246 · V160
u251 · (mark · W160) · P160 · X161u251 · W160 · P160 · X161
u251 · Y161 · (mark · U161) · V161u251 · Y161 · U161 · V161
u251 · W161 · P161 · (mark · X162)u251 · W161 · P161 · X162
u251 · (active · Y162) · U162 · V162u251 · Y162 · U162 · V162
u251 · W162 · (active · P162) · X163u251 · W162 · P162 · X163
u251 · Y163 · U163 · (active · V163)u251 · Y163 · U163 · V163
u252 · (mark · W163) · P163 · X164u252 · W163 · P163 · X164
u252 · Y164 · (mark · U164) · V164u252 · Y164 · U164 · V164
u252 · W164 · P164 · (mark · X165)u252 · W164 · P164 · X165
u252 · (active · Y165) · U165 · V165u252 · Y165 · U165 · V165
u252 · W165 · (active · P165) · X166u252 · W165 · P165 · X166
u252 · Y166 · U166 · (active · V166)u252 · Y166 · U166 · V166
u253 · (mark · W166) · P166 · X167u253 · W166 · P166 · X167
u253 · Y167 · (mark · U167) · V167u253 · Y167 · U167 · V167
u253 · W167 · P167 · (mark · X168)u253 · W167 · P167 · X168
u253 · (active · Y168) · U168 · V168u253 · Y168 · U168 · V168
u253 · W168 · (active · P168) · X169u253 · W168 · P168 · X169
u253 · Y169 · U169 · (active · V169)u253 · Y169 · U169 · V169
u254 · (mark · W169) · P169 · X170u254 · W169 · P169 · X170
u254 · Y170 · (mark · U170) · V170u254 · Y170 · U170 · V170
u254 · W170 · P170 · (mark · X171)u254 · W170 · P170 · X171
u254 · (active · Y171) · U171 · V171u254 · Y171 · U171 · V171
u254 · W171 · (active · P171) · X172u254 · W171 · P171 · X172
u254 · Y172 · U172 · (active · V172)u254 · Y172 · U172 · V172
u255 · (mark · W172) · P172u255 · W172 · P172
u255 · X173 · (mark · Y173)u255 · X173 · Y173
u255 · (active · U173) · V173u255 · U173 · V173
u255 · W173 · (active · P173)u255 · W173 · P173
u256 · (mark · X174)u256 · X174
u256 · (active · Y174)u256 · Y174
u261 · (mark · U174) · V174u261 · U174 · V174
u261 · W174 · (mark · P174)u261 · W174 · P174
u261 · (active · X175) · Y175u261 · X175 · Y175
u261 · U175 · (active · V175)u261 · U175 · V175
u262 · (mark · W175)u262 · W175
u262 · (active · P175)u262 · P175
u271 · (mark · X176) · Y176u271 · X176 · Y176
u271 · U176 · (mark · V176)u271 · U176 · V176
u271 · (active · W176) · P176u271 · W176 · P176
u271 · X177 · (active · Y177)u271 · X177 · Y177
u272 · (mark · U177)u272 · U177
u272 · (active · V177)u272 · V177
u281 · (mark · W177) · P177u281 · W177 · P177
u281 · X178 · (mark · Y178)u281 · X178 · Y178
u281 · (active · U178) · V178u281 · U178 · V178
u281 · W178 · (active · P178)u281 · W178 · P178
u282 · (mark · X179) · Y179u282 · X179 · Y179
u282 · U179 · (mark · V179)u282 · U179 · V179
u282 · (active · W179) · P179u282 · W179 · P179
u282 · X180 · (active · Y180)u282 · X180 · Y180
cons · (mark · U180) · V180cons · U180 · V180
cons · W180 · (mark · P180)cons · W180 · P180
cons · (active · X181) · Y181cons · X181 · Y181
cons · U181 · (active · V181)cons · U181 · V181
natsFrom · (mark · W181)natsFrom · W181
natsFrom · (active · P181)natsFrom · P181
s · (mark · X182)s · X182
s · (active · Y182)s · Y182
u291 · (mark · U182) · V182 · W182u291 · U182 · V182 · W182
u291 · P182 · (mark · X183) · Y183u291 · P182 · X183 · Y183
u291 · U183 · V183 · (mark · W183)u291 · U183 · V183 · W183
u291 · (active · P183) · X184 · Y184u291 · P183 · X184 · Y184
u291 · U184 · (active · V184) · W184u291 · U184 · V184 · W184
u291 · P184 · X185 · (active · Y185)u291 · P184 · X185 · Y185
u292 · (mark · U185) · V185 · W185u292 · U185 · V185 · W185
u292 · P185 · (mark · X186) · Y186u292 · P185 · X186 · Y186
u292 · U186 · V186 · (mark · W186)u292 · U186 · V186 · W186
u292 · (active · P186) · X187 · Y187u292 · P186 · X187 · Y187
u292 · U187 · (active · V187) · W187u292 · U187 · V187 · W187
u292 · P187 · X188 · (active · Y188)u292 · P187 · X188 · Y188
u293 · (mark · U188) · V188 · W188u293 · U188 · V188 · W188
u293 · P188 · (mark · X189) · Y189u293 · P188 · X189 · Y189
u293 · U189 · V189 · (mark · W189)u293 · U189 · V189 · W189
u293 · (active · P189) · X190 · Y190u293 · P189 · X190 · Y190
u293 · U190 · (active · V190) · W190u293 · U190 · V190 · W190
u293 · P190 · X191 · (active · Y191)u293 · P190 · X191 · Y191
u294 · (mark · U191) · V191 · W191u294 · U191 · V191 · W191
u294 · P191 · (mark · X192) · Y192u294 · P191 · X192 · Y192
u294 · U192 · V192 · (mark · W192)u294 · U192 · V192 · W192
u294 · (active · P192) · X193 · Y193u294 · P192 · X193 · Y193
u294 · U193 · (active · V193) · W193u294 · U193 · V193 · W193
u294 · P193 · X194 · (active · Y194)u294 · P193 · X194 · Y194
head · (mark · U194)head · U194
head · (active · V194)head · V194
afterNth · (mark · W194) · P194afterNth · W194 · P194
afterNth · X195 · (mark · Y195)afterNth · X195 · Y195
afterNth · (active · U195) · V195afterNth · U195 · V195
afterNth · W195 · (active · P195)afterNth · W195 · P195
u301 · (mark · X196) · Y196 · U196u301 · X196 · Y196 · U196
u301 · V196 · (mark · W196) · P196u301 · V196 · W196 · P196
u301 · X197 · Y197 · (mark · U197)u301 · X197 · Y197 · U197
u301 · (active · V197) · W197 · P197u301 · V197 · W197 · P197
u301 · X198 · (active · Y198) · U198u301 · X198 · Y198 · U198
u301 · V198 · W198 · (active · P198)u301 · V198 · W198 · P198
u302 · (mark · X199) · Y199u302 · X199 · Y199
u302 · U199 · (mark · V199)u302 · U199 · V199
u302 · (active · W199) · P199u302 · W199 · P199
u302 · X200 · (active · Y200)u302 · X200 · Y200
u303 · (mark · U200) · V200u303 · U200 · V200
u303 · W200 · (mark · P200)u303 · W200 · P200
u303 · (active · X201) · Y201u303 · X201 · Y201
u303 · U201 · (active · V201)u303 · U201 · V201
u304 · (mark · W201) · P201u304 · W201 · P201
u304 · X202 · (mark · Y202)u304 · X202 · Y202
u304 · (active · U202) · V202u304 · U202 · V202
u304 · W202 · (active · P202)u304 · W202 · P202
u31 · (mark · X203) · Y203 · U203u31 · X203 · Y203 · U203
u31 · V203 · (mark · W203) · P203u31 · V203 · W203 · P203
u31 · X204 · Y204 · (mark · U204)u31 · X204 · Y204 · U204
u31 · (active · V204) · W204 · P204u31 · V204 · W204 · P204
u31 · X205 · (active · Y205) · U205u31 · X205 · Y205 · U205
u31 · V205 · W205 · (active · P205)u31 · V205 · W205 · P205
u32 · (mark · X206) · Y206 · U206u32 · X206 · Y206 · U206
u32 · V206 · (mark · W206) · P206u32 · V206 · W206 · P206
u32 · X207 · Y207 · (mark · U207)u32 · X207 · Y207 · U207
u32 · (active · V207) · W207 · P207u32 · V207 · W207 · P207
u32 · X208 · (active · Y208) · U208u32 · X208 · Y208 · U208
u32 · V208 · W208 · (active · P208)u32 · V208 · W208 · P208
u311 · (mark · X209) · Y209u311 · X209 · Y209
u311 · U209 · (mark · V209)u311 · U209 · V209
u311 · (active · W209) · P209u311 · W209 · P209
u311 · X210 · (active · Y210)u311 · X210 · Y210
u312 · (mark · U210) · V210u312 · U210 · V210
u312 · W210 · (mark · P210)u312 · W210 · P210
u312 · (active · X211) · Y211u312 · X211 · Y211
u312 · U211 · (active · V211)u312 · U211 · V211
pair · (mark · W211) · P211pair · W211 · P211
pair · X212 · (mark · Y212)pair · X212 · Y212
pair · (active · U212) · V212pair · U212 · V212
pair · W212 · (active · P212)pair · W212 · P212
u33 · (mark · X213) · Y213 · U213u33 · X213 · Y213 · U213
u33 · V213 · (mark · W213) · P213u33 · V213 · W213 · P213
u33 · X214 · Y214 · (mark · U214)u33 · X214 · Y214 · U214
u33 · (active · V214) · W214 · P214u33 · V214 · W214 · P214
u33 · X215 · (active · Y215) · U215u33 · X215 · Y215 · U215
u33 · V215 · W215 · (active · P215)u33 · V215 · W215 · P215
u321 · (mark · X216) · Y216 · U216 · V216u321 · X216 · Y216 · U216 · V216
u321 · W216 · (mark · P216) · X217 · Y217u321 · W216 · P216 · X217 · Y217
u321 · U217 · V217 · (mark · W217) · P217u321 · U217 · V217 · W217 · P217
u321 · X218 · Y218 · U218 · (mark · V218)u321 · X218 · Y218 · U218 · V218
u321 · (active · W218) · P218 · X219 · Y219u321 · W218 · P218 · X219 · Y219
u321 · U219 · (active · V219) · W219 · P219u321 · U219 · V219 · W219 · P219
u321 · X220 · Y220 · (active · U220) · V220u321 · X220 · Y220 · U220 · V220
u321 · W220 · P220 · X221 · (active · Y221)u321 · W220 · P220 · X221 · Y221
u322 · (mark · U221) · V221 · W221 · P221u322 · U221 · V221 · W221 · P221
u322 · X222 · (mark · Y222) · U222 · V222u322 · X222 · Y222 · U222 · V222
u322 · W222 · P222 · (mark · X223) · Y223u322 · W222 · P222 · X223 · Y223
u322 · U223 · V223 · W223 · (mark · P223)u322 · U223 · V223 · W223 · P223
u322 · (active · X224) · Y224 · U224 · V224u322 · X224 · Y224 · U224 · V224
u322 · W224 · (active · P224) · X225 · Y225u322 · W224 · P224 · X225 · Y225
u322 · U225 · V225 · (active · W225) · P225u322 · U225 · V225 · W225 · P225
u322 · X226 · Y226 · U226 · (active · V226)u322 · X226 · Y226 · U226 · V226
u323 · (mark · W226) · P226 · X227 · Y227u323 · W226 · P226 · X227 · Y227
u323 · U227 · (mark · V227) · W227 · P227u323 · U227 · V227 · W227 · P227
u323 · X228 · Y228 · (mark · U228) · V228u323 · X228 · Y228 · U228 · V228
u323 · W228 · P228 · X229 · (mark · Y229)u323 · W228 · P228 · X229 · Y229
u323 · (active · U229) · V229 · W229 · P229u323 · U229 · V229 · W229 · P229
u323 · X230 · (active · Y230) · U230 · V230u323 · X230 · Y230 · U230 · V230
u323 · W230 · P230 · (active · X231) · Y231u323 · W230 · P230 · X231 · Y231
u323 · U231 · V231 · W231 · (active · P231)u323 · U231 · V231 · W231 · P231
u324 · (mark · X232) · Y232 · U232 · V232u324 · X232 · Y232 · U232 · V232
u324 · W232 · (mark · P232) · X233 · Y233u324 · W232 · P232 · X233 · Y233
u324 · U233 · V233 · (mark · W233) · P233u324 · U233 · V233 · W233 · P233
u324 · X234 · Y234 · U234 · (mark · V234)u324 · X234 · Y234 · U234 · V234
u324 · (active · W234) · P234 · X235 · Y235u324 · W234 · P234 · X235 · Y235
u324 · U235 · (active · V235) · W235 · P235u324 · U235 · V235 · W235 · P235
u324 · X236 · Y236 · (active · U236) · V236u324 · X236 · Y236 · U236 · V236
u324 · W236 · P236 · X237 · (active · Y237)u324 · W236 · P236 · X237 · Y237
u325 · (mark · U237) · V237 · W237 · P237u325 · U237 · V237 · W237 · P237
u325 · X238 · (mark · Y238) · U238 · V238u325 · X238 · Y238 · U238 · V238
u325 · W238 · P238 · (mark · X239) · Y239u325 · W238 · P238 · X239 · Y239
u325 · U239 · V239 · W239 · (mark · P239)u325 · U239 · V239 · W239 · P239
u325 · (active · X240) · Y240 · U240 · V240u325 · X240 · Y240 · U240 · V240
u325 · W240 · (active · P240) · X241 · Y241u325 · W240 · P240 · X241 · Y241
u325 · U241 · V241 · (active · W241) · P241u325 · U241 · V241 · W241 · P241
u325 · X242 · Y242 · U242 · (active · V242)u325 · X242 · Y242 · U242 · V242
u326 · (mark · W242) · P242 · X243 · Y243u326 · W242 · P242 · X243 · Y243
u326 · U243 · (mark · V243) · W243 · P243u326 · U243 · V243 · W243 · P243
u326 · X244 · Y244 · (mark · U244) · V244u326 · X244 · Y244 · U244 · V244
u326 · W244 · P244 · X245 · (mark · Y245)u326 · W244 · P244 · X245 · Y245
u326 · (active · U245) · V245 · W245 · P245u326 · U245 · V245 · W245 · P245
u326 · X246 · (active · Y246) · U246 · V246u326 · X246 · Y246 · U246 · V246
u326 · W246 · P246 · (active · X247) · Y247u326 · W246 · P246 · X247 · Y247
u326 · U247 · V247 · W247 · (active · P247)u326 · U247 · V247 · W247 · P247
u327 · (mark · X248) · Y248u327 · X248 · Y248
u327 · U248 · (mark · V248)u327 · U248 · V248
u327 · (active · W248) · P248u327 · W248 · P248
u327 · X249 · (active · Y249)u327 · X249 · Y249
u34 · (mark · U249) · V249u34 · U249 · V249
u34 · W249 · (mark · P249)u34 · W249 · P249
u34 · (active · X250) · Y250u34 · X250 · Y250
u34 · U250 · (active · V250)u34 · U250 · V250
u331 · (mark · W250) · P250 · X251u331 · W250 · P250 · X251
u331 · Y251 · (mark · U251) · V251u331 · Y251 · U251 · V251
u331 · W251 · P251 · (mark · X252)u331 · W251 · P251 · X252
u331 · (active · Y252) · U252 · V252u331 · Y252 · U252 · V252
u331 · W252 · (active · P252) · X253u331 · W252 · P252 · X253
u331 · Y253 · U253 · (active · V253)u331 · Y253 · U253 · V253
u332 · (mark · W253) · P253u332 · W253 · P253
u332 · X254 · (mark · Y254)u332 · X254 · Y254
u332 · (active · U254) · V254u332 · U254 · V254
u332 · W254 · (active · P254)u332 · W254 · P254
u333 · (mark · X255) · Y255u333 · X255 · Y255
u333 · U255 · (mark · V255)u333 · U255 · V255
u333 · (active · W255) · P255u333 · W255 · P255
u333 · X256 · (active · Y256)u333 · X256 · Y256
u334 · (mark · U256) · V256u334 · U256 · V256
u334 · W256 · (mark · P256)u334 · W256 · P256
u334 · (active · X257) · Y257u334 · X257 · Y257
u334 · U257 · (active · V257)u334 · U257 · V257
u341 · (mark · W257) · P257 · X258u341 · W257 · P257 · X258
u341 · Y258 · (mark · U258) · V258u341 · Y258 · U258 · V258
u341 · W258 · P258 · (mark · X259)u341 · W258 · P258 · X259
u341 · (active · Y259) · U259 · V259u341 · Y259 · U259 · V259
u341 · W259 · (active · P259) · X260u341 · W259 · P259 · X260
u341 · Y260 · U260 · (active · V260)u341 · Y260 · U260 · V260
u342 · (mark · W260) · P260 · X261u342 · W260 · P260 · X261
u342 · Y261 · (mark · U261) · V261u342 · Y261 · U261 · V261
u342 · W261 · P261 · (mark · X262)u342 · W261 · P261 · X262
u342 · (active · Y262) · U262 · V262u342 · Y262 · U262 · V262
u342 · W262 · (active · P262) · X263u342 · W262 · P262 · X263
u342 · Y263 · U263 · (active · V263)u342 · Y263 · U263 · V263
u343 · (mark · W263) · P263 · X264u343 · W263 · P263 · X264
u343 · Y264 · (mark · U264) · V264u343 · Y264 · U264 · V264
u343 · W264 · P264 · (mark · X265)u343 · W264 · P264 · X265
u343 · (active · Y265) · U265 · V265u343 · Y265 · U265 · V265
u343 · W265 · (active · P265) · X266u343 · W265 · P265 · X266
u343 · Y266 · U266 · (active · V266)u343 · Y266 · U266 · V266
u344 · (mark · W266) · P266 · X267u344 · W266 · P266 · X267
u344 · Y267 · (mark · U267) · V267u344 · Y267 · U267 · V267
u344 · W267 · P267 · (mark · X268)u344 · W267 · P267 · X268
u344 · (active · Y268) · U268 · V268u344 · Y268 · U268 · V268
u344 · W268 · (active · P268) · X269u344 · W268 · P268 · X269
u344 · Y269 · U269 · (active · V269)u344 · Y269 · U269 · V269
fst · (mark · W269)fst · W269
fst · (active · P269)fst · P269
u41 · (mark · X270) · Y270 · U270u41 · X270 · Y270 · U270
u41 · V270 · (mark · W270) · P270u41 · V270 · W270 · P270
u41 · X271 · Y271 · (mark · U271)u41 · X271 · Y271 · U271
u41 · (active · V271) · W271 · P271u41 · V271 · W271 · P271
u41 · X272 · (active · Y272) · U272u41 · X272 · Y272 · U272
u41 · V272 · W272 · (active · P272)u41 · V272 · W272 · P272
u42 · (mark · X273) · Y273 · U273u42 · X273 · Y273 · U273
u42 · V273 · (mark · W273) · P273u42 · V273 · W273 · P273
u42 · X274 · Y274 · (mark · U274)u42 · X274 · Y274 · U274
u42 · (active · V274) · W274 · P274u42 · V274 · W274 · P274
u42 · X275 · (active · Y275) · U275u42 · X275 · Y275 · U275
u42 · V275 · W275 · (active · P275)u42 · V275 · W275 · P275
u43 · (mark · X276) · Y276 · U276u43 · X276 · Y276 · U276
u43 · V276 · (mark · W276) · P276u43 · V276 · W276 · P276
u43 · X277 · Y277 · (mark · U277)u43 · X277 · Y277 · U277
u43 · (active · V277) · W277 · P277u43 · V277 · W277 · P277
u43 · X278 · (active · Y278) · U278u43 · X278 · Y278 · U278
u43 · V278 · W278 · (active · P278)u43 · V278 · W278 · P278
u44 · (mark · X279) · Y279 · U279u44 · X279 · Y279 · U279
u44 · V279 · (mark · W279) · P279u44 · V279 · W279 · P279
u44 · X280 · Y280 · (mark · U280)u44 · X280 · Y280 · U280
u44 · (active · V280) · W280 · P280u44 · V280 · W280 · P280
u44 · X281 · (active · Y281) · U281u44 · X281 · Y281 · U281
u44 · V281 · W281 · (active · P281)u44 · V281 · W281 · P281
u45 · (mark · X282) · Y282u45 · X282 · Y282
u45 · U282 · (mark · V282)u45 · U282 · V282
u45 · (active · W282) · P282u45 · W282 · P282
u45 · X283 · (active · Y283)u45 · X283 · Y283
u46 · (mark · U283)u46 · U283
u46 · (active · V283)u46 · V283
u51 · (mark · W283) · P283 · X284u51 · W283 · P283 · X284
u51 · Y284 · (mark · U284) · V284u51 · Y284 · U284 · V284
u51 · W284 · P284 · (mark · X285)u51 · W284 · P284 · X285
u51 · (active · Y285) · U285 · V285u51 · Y285 · U285 · V285
u51 · W285 · (active · P285) · X286u51 · W285 · P285 · X286
u51 · Y286 · U286 · (active · V286)u51 · Y286 · U286 · V286
u52 · (mark · W286) · P286 · X287u52 · W286 · P286 · X287
u52 · Y287 · (mark · U287) · V287u52 · Y287 · U287 · V287
u52 · W287 · P287 · (mark · X288)u52 · W287 · P287 · X288
u52 · (active · Y288) · U288 · V288u52 · Y288 · U288 · V288
u52 · W288 · (active · P288) · X289u52 · W288 · P288 · X289
u52 · Y289 · U289 · (active · V289)u52 · Y289 · U289 · V289
u53 · (mark · W289) · P289 · X290u53 · W289 · P289 · X290
u53 · Y290 · (mark · U290) · V290u53 · Y290 · U290 · V290
u53 · W290 · P290 · (mark · X291)u53 · W290 · P290 · X291
u53 · (active · Y291) · U291 · V291u53 · Y291 · U291 · V291
u53 · W291 · (active · P291) · X292u53 · W291 · P291 · X292
u53 · Y292 · U292 · (active · V292)u53 · Y292 · U292 · V292
u54 · (mark · W292) · P292 · X293u54 · W292 · P292 · X293
u54 · Y293 · (mark · U293) · V293u54 · Y293 · U293 · V293
u54 · W293 · P293 · (mark · X294)u54 · W293 · P293 · X294
u54 · (active · Y294) · U294 · V294u54 · Y294 · U294 · V294
u54 · W294 · (active · P294) · X295u54 · W294 · P294 · X295
u54 · Y295 · U295 · (active · V295)u54 · Y295 · U295 · V295
u55 · (mark · W295) · P295u55 · W295 · P295
u55 · X296 · (mark · Y296)u55 · X296 · Y296
u55 · (active · U296) · V296u55 · U296 · V296
u55 · W296 · (active · P296)u55 · W296 · P296
u56 · (mark · X297)u56 · X297
u56 · (active · Y297)u56 · Y297
u61 · (mark · U297) · V297u61 · U297 · V297
u61 · W297 · (mark · P297)u61 · W297 · P297
u61 · (active · X298) · Y298u61 · X298 · Y298
u61 · U298 · (active · V298)u61 · U298 · V298
u62 · (mark · W298) · P298u62 · W298 · P298
u62 · X299 · (mark · Y299)u62 · X299 · Y299
u62 · (active · U299) · V299u62 · U299 · V299
u62 · W299 · (active · P299)u62 · W299 · P299
isPLNatKind · (mark · X300)isPLNatKind · X300
isPLNatKind · (active · Y300)isPLNatKind · Y300
u63 · (mark · U300)u63 · U300
u63 · (active · V300)u63 · V300
isPLNat · (mark · W300)isPLNat · W300
isPLNat · (active · P300)isPLNat · P300
u71 · (mark · X301) · Y301u71 · X301 · Y301
u71 · U301 · (mark · V301)u71 · U301 · V301
u71 · (active · W301) · P301u71 · W301 · P301
u71 · X302 · (active · Y302)u71 · X302 · Y302
u72 · (mark · U302) · V302u72 · U302 · V302
u72 · W302 · (mark · P302)u72 · W302 · P302
u72 · (active · X303) · Y303u72 · X303 · Y303
u72 · U303 · (active · V303)u72 · U303 · V303
u73 · (mark · W303)u73 · W303
u73 · (active · P303)u73 · P303
u81 · (mark · X304) · Y304u81 · X304 · Y304
u81 · U304 · (mark · V304)u81 · U304 · V304
u81 · (active · W304) · P304u81 · W304 · P304
u81 · X305 · (active · Y305)u81 · X305 · Y305
u82 · (mark · U305) · V305u82 · U305 · V305
u82 · W305 · (mark · P305)u82 · W305 · P305
u82 · (active · X306) · Y306u82 · X306 · Y306
u82 · U306 · (active · V306)u82 · U306 · V306
u83 · (mark · W306)u83 · W306
u83 · (active · P306)u83 · P306
u91 · (mark · X307) · Y307u91 · X307 · Y307
u91 · U307 · (mark · V307)u91 · U307 · V307
u91 · (active · W307) · P307u91 · W307 · P307
u91 · X308 · (active · Y308)u91 · X308 · Y308
u92 · (mark · U308) · V308u92 · U308 · V308
u92 · W308 · (mark · P308)u92 · W308 · P308
u92 · (active · X309) · Y309u92 · X309 · Y309
u92 · U309 · (active · V309)u92 · U309 · V309
u93 · (mark · W309)u93 · W309
u93 · (active · P309)u93 · P309
tail · (mark · X310)tail · X310
tail · (active · Y310)tail · Y310
take · (mark · U310) · V310take · U310 · V310
take · W310 · (mark · P310)take · W310 · P310
take · (active · X311) · Y311take · X311 · Y311
take · U311 · (active · V311)take · U311 · V311
sel · (mark · W311) · P311sel · W311 · P311
sel · X312 · (mark · Y312)sel · X312 · Y312
sel · (active · U312) · V312sel · U312 · V312
sel · W312 · (active · P312)sel · W312 · P312
map · (λ%X:A.F313 · %X) · nilnil
app · (λ%Y:A.Z313 · %Y) · U313Z313 · U313