active
U101
tt
V2
mark
U102
isLNat
V2
active
U102
tt
mark
tt
active
U11
tt
N
XS
mark
U12
isLNat
XS
N
XS
active
U111
tt
mark
tt
active
U12
tt
N
XS
mark
snd
splitAt
N
XS
active
U121
tt
mark
tt
active
U131
tt
V2
mark
U132
isLNat
V2
active
U132
tt
mark
tt
active
U141
tt
V2
mark
U142
isLNat
V2
active
U142
tt
mark
tt
active
U151
tt
V2
mark
U152
isLNat
V2
active
U152
tt
mark
tt
active
U161
tt
N
mark
cons
N
natsFrom
s
N
active
U171
tt
N
XS
mark
U172
isLNat
XS
N
XS
active
U172
tt
N
XS
mark
head
afterNth
N
XS
active
U181
tt
Y
mark
U182
isLNat
Y
Y
active
U182
tt
Y
mark
Y
active
U191
tt
XS
mark
pair
nil
XS
active
U201
tt
N
X
XS
mark
U202
isNatural
X
N
X
XS
active
U202
tt
N
X
XS
mark
U203
isLNat
XS
N
X
XS
active
U203
tt
N
X
XS
mark
U204
splitAt
N
XS
X
active
U204
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
U21
tt
X
Y
mark
U22
isLNat
Y
X
active
U211
tt
XS
mark
U212
isLNat
XS
XS
active
U212
tt
XS
mark
XS
active
U22
tt
X
mark
X
active
U221
tt
N
XS
mark
U222
isLNat
XS
N
XS
active
U222
tt
N
XS
mark
fst
splitAt
N
XS
active
U31
tt
N
XS
mark
U32
isLNat
XS
N
active
U32
tt
N
mark
N
active
U41
tt
V2
mark
U42
isLNat
V2
active
U42
tt
mark
tt
active
U51
tt
V2
mark
U52
isLNat
V2
active
U52
tt
mark
tt
active
U61
tt
mark
tt
active
U71
tt
mark
tt
active
U81
tt
mark
tt
active
U91
tt
mark
tt
active
afterNth
N
XS
mark
U11
isNatural
N
N
XS
active
fst
pair
X
Y
mark
U21
isLNat
X
X
Y
active
head
cons
N
XS
mark
U31
isNatural
N
N
XS
active
isLNat
nil
mark
tt
active
isLNat
afterNth
V1
V2
mark
U41
isNatural
V1
V2
active
isLNat
cons
V1
V2
mark
U51
isNatural
V1
V2
active
isLNat
fst
V1
mark
U61
isPLNat
V1
active
isLNat
natsFrom
V1
mark
U71
isNatural
V1
active
isLNat
snd
V1
mark
U81
isPLNat
V1
active
isLNat
tail
V1
mark
U91
isLNat
V1
active
isLNat
take
V1
V2
mark
U101
isNatural
V1
V2
active
isNatural
0
mark
tt
active
isNatural
head
V1
mark
U111
isLNat
V1
active
isNatural
s
V1
mark
U121
isNatural
V1
active
isNatural
sel
V1
V2
mark
U131
isNatural
V1
V2
active
isPLNat
pair
V1
V2
mark
U141
isLNat
V1
V2
active
isPLNat
splitAt
V1
V2
mark
U151
isNatural
V1
V2
active
natsFrom
N
mark
U161
isNatural
N
N
active
sel
N
XS
mark
U171
isNatural
N
N
XS
active
snd
pair
X
Y
mark
U181
isLNat
X
Y
active
splitAt
0
XS
mark
U191
isLNat
XS
XS
active
splitAt
s
N
cons
X
XS
mark
U201
isNatural
N
N
X
XS
active
tail
cons
N
XS
mark
U211
isNatural
N
XS
active
take
N
XS
mark
U221
isNatural
N
N
XS
mark
U101
X1
X2
active
U101
mark
X1
X2
mark
tt
active
tt
mark
U102
X
active
U102
mark
X
mark
isLNat
X
active
isLNat
X
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
U12
X1
X2
X3
active
U12
mark
X1
X2
X3
mark
U111
X
active
U111
mark
X
mark
snd
X
active
snd
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
U121
X
active
U121
mark
X
mark
U131
X1
X2
active
U131
mark
X1
X2
mark
U132
X
active
U132
mark
X
mark
U141
X1
X2
active
U141
mark
X1
X2
mark
U142
X
active
U142
mark
X
mark
U151
X1
X2
active
U151
mark
X1
X2
mark
U152
X
active
U152
mark
X
mark
U161
X1
X2
active
U161
mark
X1
X2
mark
cons
X1
X2
active
cons
mark
X1
X2
mark
natsFrom
X
active
natsFrom
mark
X
mark
s
X
active
s
mark
X
mark
U171
X1
X2
X3
active
U171
mark
X1
X2
X3
mark
U172
X1
X2
X3
active
U172
mark
X1
X2
X3
mark
head
X
active
head
mark
X
mark
afterNth
X1
X2
active
afterNth
mark
X1
mark
X2
mark
U181
X1
X2
active
U181
mark
X1
X2
mark
U182
X1
X2
active
U182
mark
X1
X2
mark
U191
X1
X2
active
U191
mark
X1
X2
mark
pair
X1
X2
active
pair
mark
X1
mark
X2
mark
nil
active
nil
mark
U201
X1
X2
X3
X4
active
U201
mark
X1
X2
X3
X4
mark
U202
X1
X2
X3
X4
active
U202
mark
X1
X2
X3
X4
mark
isNatural
X
active
isNatural
X
mark
U203
X1
X2
X3
X4
active
U203
mark
X1
X2
X3
X4
mark
U204
X1
X2
active
U204
mark
X1
X2
mark
U21
X1
X2
X3
active
U21
mark
X1
X2
X3
mark
U22
X1
X2
active
U22
mark
X1
X2
mark
U211
X1
X2
active
U211
mark
X1
X2
mark
U212
X1
X2
active
U212
mark
X1
X2
mark
U221
X1
X2
X3
active
U221
mark
X1
X2
X3
mark
U222
X1
X2
X3
active
U222
mark
X1
X2
X3
mark
fst
X
active
fst
mark
X
mark
U31
X1
X2
X3
active
U31
mark
X1
X2
X3
mark
U32
X1
X2
active
U32
mark
X1
X2
mark
U41
X1
X2
active
U41
mark
X1
X2
mark
U42
X
active
U42
mark
X
mark
U51
X1
X2
active
U51
mark
X1
X2
mark
U52
X
active
U52
mark
X
mark
U61
X
active
U61
mark
X
mark
U71
X
active
U71
mark
X
mark
U81
X
active
U81
mark
X
mark
U91
X
active
U91
mark
X
mark
isPLNat
X
active
isPLNat
X
mark
tail
X
active
tail
mark
X
mark
take
X1
X2
active
take
mark
X1
mark
X2
mark
0
active
0
mark
sel
X1
X2
active
sel
mark
X1
mark
X2
U101
mark
X1
X2
U101
X1
X2
U101
X1
mark
X2
U101
X1
X2
U101
active
X1
X2
U101
X1
X2
U101
X1
active
X2
U101
X1
X2
U102
mark
X
U102
X
U102
active
X
U102
X
isLNat
mark
X
isLNat
X
isLNat
active
X
isLNat
X
U11
mark
X1
X2
X3
U11
X1
X2
X3
U11
X1
mark
X2
X3
U11
X1
X2
X3
U11
X1
X2
mark
X3
U11
X1
X2
X3
U11
active
X1
X2
X3
U11
X1
X2
X3
U11
X1
active
X2
X3
U11
X1
X2
X3
U11
X1
X2
active
X3
U11
X1
X2
X3
U12
mark
X1
X2
X3
U12
X1
X2
X3
U12
X1
mark
X2
X3
U12
X1
X2
X3
U12
X1
X2
mark
X3
U12
X1
X2
X3
U12
active
X1
X2
X3
U12
X1
X2
X3
U12
X1
active
X2
X3
U12
X1
X2
X3
U12
X1
X2
active
X3
U12
X1
X2
X3
U111
mark
X
U111
X
U111
active
X
U111
X
snd
mark
X
snd
X
snd
active
X
snd
X
splitAt
mark
X1
X2
splitAt
X1
X2
splitAt
X1
mark
X2
splitAt
X1
X2
splitAt
active
X1
X2
splitAt
X1
X2
splitAt
X1
active
X2
splitAt
X1
X2
U121
mark
X
U121
X
U121
active
X
U121
X
U131
mark
X1
X2
U131
X1
X2
U131
X1
mark
X2
U131
X1
X2
U131
active
X1
X2
U131
X1
X2
U131
X1
active
X2
U131
X1
X2
U132
mark
X
U132
X
U132
active
X
U132
X
U141
mark
X1
X2
U141
X1
X2
U141
X1
mark
X2
U141
X1
X2
U141
active
X1
X2
U141
X1
X2
U141
X1
active
X2
U141
X1
X2
U142
mark
X
U142
X
U142
active
X
U142
X
U151
mark
X1
X2
U151
X1
X2
U151
X1
mark
X2
U151
X1
X2
U151
active
X1
X2
U151
X1
X2
U151
X1
active
X2
U151
X1
X2
U152
mark
X
U152
X
U152
active
X
U152
X
U161
mark
X1
X2
U161
X1
X2
U161
X1
mark
X2
U161
X1
X2
U161
active
X1
X2
U161
X1
X2
U161
X1
active
X2
U161
X1
X2
cons
mark
X1
X2
cons
X1
X2
cons
X1
mark
X2
cons
X1
X2
cons
active
X1
X2
cons
X1
X2
cons
X1
active
X2
cons
X1
X2
natsFrom
mark
X
natsFrom
X
natsFrom
active
X
natsFrom
X
s
mark
X
s
X
s
active
X
s
X
U171
mark
X1
X2
X3
U171
X1
X2
X3
U171
X1
mark
X2
X3
U171
X1
X2
X3
U171
X1
X2
mark
X3
U171
X1
X2
X3
U171
active
X1
X2
X3
U171
X1
X2
X3
U171
X1
active
X2
X3
U171
X1
X2
X3
U171
X1
X2
active
X3
U171
X1
X2
X3
U172
mark
X1
X2
X3
U172
X1
X2
X3
U172
X1
mark
X2
X3
U172
X1
X2
X3
U172
X1
X2
mark
X3
U172
X1
X2
X3
U172
active
X1
X2
X3
U172
X1
X2
X3
U172
X1
active
X2
X3
U172
X1
X2
X3
U172
X1
X2
active
X3
U172
X1
X2
X3
head
mark
X
head
X
head
active
X
head
X
afterNth
mark
X1
X2
afterNth
X1
X2
afterNth
X1
mark
X2
afterNth
X1
X2
afterNth
active
X1
X2
afterNth
X1
X2
afterNth
X1
active
X2
afterNth
X1
X2
U181
mark
X1
X2
U181
X1
X2
U181
X1
mark
X2
U181
X1
X2
U181
active
X1
X2
U181
X1
X2
U181
X1
active
X2
U181
X1
X2
U182
mark
X1
X2
U182
X1
X2
U182
X1
mark
X2
U182
X1
X2
U182
active
X1
X2
U182
X1
X2
U182
X1
active
X2
U182
X1
X2
U191
mark
X1
X2
U191
X1
X2
U191
X1
mark
X2
U191
X1
X2
U191
active
X1
X2
U191
X1
X2
U191
X1
active
X2
U191
X1
X2
pair
mark
X1
X2
pair
X1
X2
pair
X1
mark
X2
pair
X1
X2
pair
active
X1
X2
pair
X1
X2
pair
X1
active
X2
pair
X1
X2
U201
mark
X1
X2
X3
X4
U201
X1
X2
X3
X4
U201
X1
mark
X2
X3
X4
U201
X1
X2
X3
X4
U201
X1
X2
mark
X3
X4
U201
X1
X2
X3
X4
U201
X1
X2
X3
mark
X4
U201
X1
X2
X3
X4
U201
active
X1
X2
X3
X4
U201
X1
X2
X3
X4
U201
X1
active
X2
X3
X4
U201
X1
X2
X3
X4
U201
X1
X2
active
X3
X4
U201
X1
X2
X3
X4
U201
X1
X2
X3
active
X4
U201
X1
X2
X3
X4
U202
mark
X1
X2
X3
X4
U202
X1
X2
X3
X4
U202
X1
mark
X2
X3
X4
U202
X1
X2
X3
X4
U202
X1
X2
mark
X3
X4
U202
X1
X2
X3
X4
U202
X1
X2
X3
mark
X4
U202
X1
X2
X3
X4
U202
active
X1
X2
X3
X4
U202
X1
X2
X3
X4
U202
X1
active
X2
X3
X4
U202
X1
X2
X3
X4
U202
X1
X2
active
X3
X4
U202
X1
X2
X3
X4
U202
X1
X2
X3
active
X4
U202
X1
X2
X3
X4
isNatural
mark
X
isNatural
X
isNatural
active
X
isNatural
X
U203
mark
X1
X2
X3
X4
U203
X1
X2
X3
X4
U203
X1
mark
X2
X3
X4
U203
X1
X2
X3
X4
U203
X1
X2
mark
X3
X4
U203
X1
X2
X3
X4
U203
X1
X2
X3
mark
X4
U203
X1
X2
X3
X4
U203
active
X1
X2
X3
X4
U203
X1
X2
X3
X4
U203
X1
active
X2
X3
X4
U203
X1
X2
X3
X4
U203
X1
X2
active
X3
X4
U203
X1
X2
X3
X4
U203
X1
X2
X3
active
X4
U203
X1
X2
X3
X4
U204
mark
X1
X2
U204
X1
X2
U204
X1
mark
X2
U204
X1
X2
U204
active
X1
X2
U204
X1
X2
U204
X1
active
X2
U204
X1
X2
U21
mark
X1
X2
X3
U21
X1
X2
X3
U21
X1
mark
X2
X3
U21
X1
X2
X3
U21
X1
X2
mark
X3
U21
X1
X2
X3
U21
active
X1
X2
X3
U21
X1
X2
X3
U21
X1
active
X2
X3
U21
X1
X2
X3
U21
X1
X2
active
X3
U21
X1
X2
X3
U22
mark
X1
X2
U22
X1
X2
U22
X1
mark
X2
U22
X1
X2
U22
active
X1
X2
U22
X1
X2
U22
X1
active
X2
U22
X1
X2
U211
mark
X1
X2
U211
X1
X2
U211
X1
mark
X2
U211
X1
X2
U211
active
X1
X2
U211
X1
X2
U211
X1
active
X2
U211
X1
X2
U212
mark
X1
X2
U212
X1
X2
U212
X1
mark
X2
U212
X1
X2
U212
active
X1
X2
U212
X1
X2
U212
X1
active
X2
U212
X1
X2
U221
mark
X1
X2
X3
U221
X1
X2
X3
U221
X1
mark
X2
X3
U221
X1
X2
X3
U221
X1
X2
mark
X3
U221
X1
X2
X3
U221
active
X1
X2
X3
U221
X1
X2
X3
U221
X1
active
X2
X3
U221
X1
X2
X3
U221
X1
X2
active
X3
U221
X1
X2
X3
U222
mark
X1
X2
X3
U222
X1
X2
X3
U222
X1
mark
X2
X3
U222
X1
X2
X3
U222
X1
X2
mark
X3
U222
X1
X2
X3
U222
active
X1
X2
X3
U222
X1
X2
X3
U222
X1
active
X2
X3
U222
X1
X2
X3
U222
X1
X2
active
X3
U222
X1
X2
X3
fst
mark
X
fst
X
fst
active
X
fst
X
U31
mark
X1
X2
X3
U31
X1
X2
X3
U31
X1
mark
X2
X3
U31
X1
X2
X3
U31
X1
X2
mark
X3
U31
X1
X2
X3
U31
active
X1
X2
X3
U31
X1
X2
X3
U31
X1
active
X2
X3
U31
X1
X2
X3
U31
X1
X2
active
X3
U31
X1
X2
X3
U32
mark
X1
X2
U32
X1
X2
U32
X1
mark
X2
U32
X1
X2
U32
active
X1
X2
U32
X1
X2
U32
X1
active
X2
U32
X1
X2
U41
mark
X1
X2
U41
X1
X2
U41
X1
mark
X2
U41
X1
X2
U41
active
X1
X2
U41
X1
X2
U41
X1
active
X2
U41
X1
X2
U42
mark
X
U42
X
U42
active
X
U42
X
U51
mark
X1
X2
U51
X1
X2
U51
X1
mark
X2
U51
X1
X2
U51
active
X1
X2
U51
X1
X2
U51
X1
active
X2
U51
X1
X2
U52
mark
X
U52
X
U52
active
X
U52
X
U61
mark
X
U61
X
U61
active
X
U61
X
U71
mark
X
U71
X
U71
active
X
U71
X
U81
mark
X
U81
X
U81
active
X
U81
X
U91
mark
X
U91
X
U91
active
X
U91
X
isPLNat
mark
X
isPLNat
X
isPLNat
active
X
isPLNat
X
tail
mark
X
tail
X
tail
active
X
tail
X
take
mark
X1
X2
take
X1
X2
take
X1
mark
X2
take
X1
X2
take
active
X1
X2
take
X1
X2
take
X1
active
X2
take
X1
X2
sel
mark
X1
X2
sel
X1
X2
sel
X1
mark
X2
sel
X1
X2
sel
active
X1
X2
sel
X1
X2
sel
X1
active
X2
sel
X1
X2
active
1
U101
2
tt
0
mark
1
U102
1
isLNat
1
U11
3
U12
3
U111
1
snd
1
splitAt
2
U121
1
U131
2
U132
1
U141
2
U142
1
U151
2
U152
1
U161
2
cons
2
natsFrom
1
s
1
U171
3
U172
3
head
1
afterNth
2
U181
2
U182
2
U191
2
pair
2
nil
0
U201
4
U202
4
isNatural
1
U203
4
U204
2
U21
3
U22
2
U211
2
U212
2
U221
3
U222
3
fst
1
U31
3
U32
2
U41
2
U42
1
U51
2
U52
1
U61
1
U71
1
U81
1
U91
1
isPLNat
1
tail
1
take
2
0
0
sel
2
FULL
./TRS/TRCSR/LISTUTILITIES_nokinds_noand_iGM.trs