active
U101
tt
V1
V2
mark
U102
isNatural
V1
V2
active
U102
tt
V2
mark
U103
isLNat
V2
active
U103
tt
mark
tt
active
U11
tt
N
XS
mark
snd
splitAt
N
XS
active
U111
tt
V1
mark
U112
isLNat
V1
active
U112
tt
mark
tt
active
U121
tt
V1
mark
U122
isNatural
V1
active
U122
tt
mark
tt
active
U131
tt
V1
V2
mark
U132
isNatural
V1
V2
active
U132
tt
V2
mark
U133
isLNat
V2
active
U133
tt
mark
tt
active
U141
tt
V1
V2
mark
U142
isLNat
V1
V2
active
U142
tt
V2
mark
U143
isLNat
V2
active
U143
tt
mark
tt
active
U151
tt
V1
V2
mark
U152
isNatural
V1
V2
active
U152
tt
V2
mark
U153
isLNat
V2
active
U153
tt
mark
tt
active
U161
tt
N
mark
cons
N
natsFrom
s
N
active
U171
tt
N
XS
mark
head
afterNth
N
XS
active
U181
tt
Y
mark
Y
active
U191
tt
XS
mark
pair
nil
XS
active
U201
tt
N
X
XS
mark
U202
splitAt
N
XS
X
active
U202
pair
YS
ZS
X
mark
pair
cons
X
YS
ZS
active
U21
tt
X
mark
X
active
U211
tt
XS
mark
XS
active
U221
tt
N
XS
mark
fst
splitAt
N
XS
active
U31
tt
N
mark
N
active
U41
tt
V1
V2
mark
U42
isNatural
V1
V2
active
U42
tt
V2
mark
U43
isLNat
V2
active
U43
tt
mark
tt
active
U51
tt
V1
V2
mark
U52
isNatural
V1
V2
active
U52
tt
V2
mark
U53
isLNat
V2
active
U53
tt
mark
tt
active
U61
tt
V1
mark
U62
isPLNat
V1
active
U62
tt
mark
tt
active
U71
tt
V1
mark
U72
isNatural
V1
active
U72
tt
mark
tt
active
U81
tt
V1
mark
U82
isPLNat
V1
active
U82
tt
mark
tt
active
U91
tt
V1
mark
U92
isLNat
V1
active
U92
tt
mark
tt
active
afterNth
N
XS
mark
U11
and
and
isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
N
XS
active
and
tt
X
mark
X
active
fst
pair
X
Y
mark
U21
and
and
isLNat
X
isLNatKind
X
and
isLNat
Y
isLNatKind
Y
X
active
head
cons
N
XS
mark
U31
and
and
isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
N
active
isLNat
nil
mark
tt
active
isLNat
afterNth
V1
V2
mark
U41
and
isNaturalKind
V1
isLNatKind
V2
V1
V2
active
isLNat
cons
V1
V2
mark
U51
and
isNaturalKind
V1
isLNatKind
V2
V1
V2
active
isLNat
fst
V1
mark
U61
isPLNatKind
V1
V1
active
isLNat
natsFrom
V1
mark
U71
isNaturalKind
V1
V1
active
isLNat
snd
V1
mark
U81
isPLNatKind
V1
V1
active
isLNat
tail
V1
mark
U91
isLNatKind
V1
V1
active
isLNat
take
V1
V2
mark
U101
and
isNaturalKind
V1
isLNatKind
V2
V1
V2
active
isLNatKind
nil
mark
tt
active
isLNatKind
afterNth
V1
V2
mark
and
isNaturalKind
V1
isLNatKind
V2
active
isLNatKind
cons
V1
V2
mark
and
isNaturalKind
V1
isLNatKind
V2
active
isLNatKind
fst
V1
mark
isPLNatKind
V1
active
isLNatKind
natsFrom
V1
mark
isNaturalKind
V1
active
isLNatKind
snd
V1
mark
isPLNatKind
V1
active
isLNatKind
tail
V1
mark
isLNatKind
V1
active
isLNatKind
take
V1
V2
mark
and
isNaturalKind
V1
isLNatKind
V2
active
isNatural
0
mark
tt
active
isNatural
head
V1
mark
U111
isLNatKind
V1
V1
active
isNatural
s
V1
mark
U121
isNaturalKind
V1
V1
active
isNatural
sel
V1
V2
mark
U131
and
isNaturalKind
V1
isLNatKind
V2
V1
V2
active
isNaturalKind
0
mark
tt
active
isNaturalKind
head
V1
mark
isLNatKind
V1
active
isNaturalKind
s
V1
mark
isNaturalKind
V1
active
isNaturalKind
sel
V1
V2
mark
and
isNaturalKind
V1
isLNatKind
V2
active
isPLNat
pair
V1
V2
mark
U141
and
isLNatKind
V1
isLNatKind
V2
V1
V2
active
isPLNat
splitAt
V1
V2
mark
U151
and
isNaturalKind
V1
isLNatKind
V2
V1
V2
active
isPLNatKind
pair
V1
V2
mark
and
isLNatKind
V1
isLNatKind
V2
active
isPLNatKind
splitAt
V1
V2
mark
and
isNaturalKind
V1
isLNatKind
V2
active
natsFrom
N
mark
U161
and
isNatural
N
isNaturalKind
N
N
active
sel
N
XS
mark
U171
and
and
isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
N
XS
active
snd
pair
X
Y
mark
U181
and
and
isLNat
X
isLNatKind
X
and
isLNat
Y
isLNatKind
Y
Y
active
splitAt
0
XS
mark
U191
and
isLNat
XS
isLNatKind
XS
XS
active
splitAt
s
N
cons
X
XS
mark
U201
and
and
isNatural
N
isNaturalKind
N
and
and
isNatural
X
isNaturalKind
X
and
isLNat
XS
isLNatKind
XS
N
X
XS
active
tail
cons
N
XS
mark
U211
and
and
isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
XS
active
take
N
XS
mark
U221
and
and
isNatural
N
isNaturalKind
N
and
isLNat
XS
isLNatKind
XS
N
XS
mark
U101
X1
X2
X3
active
U101
mark
X1
X2
X3
mark
tt
active
tt
mark
U102
X1
X2
active
U102
mark
X1
X2
mark
isNatural
X
active
isNatural
X
mark
U103
X
active
U103
mark
X
mark
isLNat
X
active
isLNat
X
mark
U11
X1
X2
X3
active
U11
mark
X1
X2
X3
mark
snd
X
active
snd
mark
X
mark
splitAt
X1
X2
active
splitAt
mark
X1
mark
X2
mark
U111
X1
X2
active
U111
mark
X1
X2
mark
U112
X
active
U112
mark
X
mark
U121
X1
X2
active
U121
mark
X1
X2
mark
U122
X
active
U122
mark
X
mark
U131
X1
X2
X3
active
U131
mark
X1
X2
X3
mark
U132
X1
X2
active
U132
mark
X1
X2
mark
U133
X
active
U133
mark
X
mark
U141
X1
X2
X3
active
U141
mark
X1
X2
X3
mark
U142
X1
X2
active
U142
mark
X1
X2
mark
U143
X
active
U143
mark
X
mark
U151
X1
X2
X3
active
U151
mark
X1
X2
X3
mark
U152
X1
X2
active
U152
mark
X1
X2
mark
U153
X
active
U153
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
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
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
active
U202
mark
X1
X2
mark
U21
X1
X2
active
U21
mark
X1
X2
mark
U211
X1
X2
active
U211
mark
X1
X2
mark
U221
X1
X2
X3
active
U221
mark
X1
X2
X3
mark
fst
X
active
fst
mark
X
mark
U31
X1
X2
active
U31
mark
X1
X2
mark
U41
X1
X2
X3
active
U41
mark
X1
X2
X3
mark
U42
X1
X2
active
U42
mark
X1
X2
mark
U43
X
active
U43
mark
X
mark
U51
X1
X2
X3
active
U51
mark
X1
X2
X3
mark
U52
X1
X2
active
U52
mark
X1
X2
mark
U53
X
active
U53
mark
X
mark
U61
X1
X2
active
U61
mark
X1
X2
mark
U62
X
active
U62
mark
X
mark
isPLNat
X
active
isPLNat
X
mark
U71
X1
X2
active
U71
mark
X1
X2
mark
U72
X
active
U72
mark
X
mark
U81
X1
X2
active
U81
mark
X1
X2
mark
U82
X
active
U82
mark
X
mark
U91
X1
X2
active
U91
mark
X1
X2
mark
U92
X
active
U92
mark
X
mark
and
X1
X2
active
and
mark
X1
X2
mark
isNaturalKind
X
active
isNaturalKind
X
mark
isLNatKind
X
active
isLNatKind
X
mark
isPLNatKind
X
active
isPLNatKind
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
X3
U101
X1
X2
X3
U101
X1
mark
X2
X3
U101
X1
X2
X3
U101
X1
X2
mark
X3
U101
X1
X2
X3
U101
active
X1
X2
X3
U101
X1
X2
X3
U101
X1
active
X2
X3
U101
X1
X2
X3
U101
X1
X2
active
X3
U101
X1
X2
X3
U102
mark
X1
X2
U102
X1
X2
U102
X1
mark
X2
U102
X1
X2
U102
active
X1
X2
U102
X1
X2
U102
X1
active
X2
U102
X1
X2
isNatural
mark
X
isNatural
X
isNatural
active
X
isNatural
X
U103
mark
X
U103
X
U103
active
X
U103
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
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
U111
mark
X1
X2
U111
X1
X2
U111
X1
mark
X2
U111
X1
X2
U111
active
X1
X2
U111
X1
X2
U111
X1
active
X2
U111
X1
X2
U112
mark
X
U112
X
U112
active
X
U112
X
U121
mark
X1
X2
U121
X1
X2
U121
X1
mark
X2
U121
X1
X2
U121
active
X1
X2
U121
X1
X2
U121
X1
active
X2
U121
X1
X2
U122
mark
X
U122
X
U122
active
X
U122
X
U131
mark
X1
X2
X3
U131
X1
X2
X3
U131
X1
mark
X2
X3
U131
X1
X2
X3
U131
X1
X2
mark
X3
U131
X1
X2
X3
U131
active
X1
X2
X3
U131
X1
X2
X3
U131
X1
active
X2
X3
U131
X1
X2
X3
U131
X1
X2
active
X3
U131
X1
X2
X3
U132
mark
X1
X2
U132
X1
X2
U132
X1
mark
X2
U132
X1
X2
U132
active
X1
X2
U132
X1
X2
U132
X1
active
X2
U132
X1
X2
U133
mark
X
U133
X
U133
active
X
U133
X
U141
mark
X1
X2
X3
U141
X1
X2
X3
U141
X1
mark
X2
X3
U141
X1
X2
X3
U141
X1
X2
mark
X3
U141
X1
X2
X3
U141
active
X1
X2
X3
U141
X1
X2
X3
U141
X1
active
X2
X3
U141
X1
X2
X3
U141
X1
X2
active
X3
U141
X1
X2
X3
U142
mark
X1
X2
U142
X1
X2
U142
X1
mark
X2
U142
X1
X2
U142
active
X1
X2
U142
X1
X2
U142
X1
active
X2
U142
X1
X2
U143
mark
X
U143
X
U143
active
X
U143
X
U151
mark
X1
X2
X3
U151
X1
X2
X3
U151
X1
mark
X2
X3
U151
X1
X2
X3
U151
X1
X2
mark
X3
U151
X1
X2
X3
U151
active
X1
X2
X3
U151
X1
X2
X3
U151
X1
active
X2
X3
U151
X1
X2
X3
U151
X1
X2
active
X3
U151
X1
X2
X3
U152
mark
X1
X2
U152
X1
X2
U152
X1
mark
X2
U152
X1
X2
U152
active
X1
X2
U152
X1
X2
U152
X1
active
X2
U152
X1
X2
U153
mark
X
U153
X
U153
active
X
U153
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
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
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
U202
X1
X2
U202
X1
mark
X2
U202
X1
X2
U202
active
X1
X2
U202
X1
X2
U202
X1
active
X2
U202
X1
X2
U21
mark
X1
X2
U21
X1
X2
U21
X1
mark
X2
U21
X1
X2
U21
active
X1
X2
U21
X1
X2
U21
X1
active
X2
U21
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
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
fst
mark
X
fst
X
fst
active
X
fst
X
U31
mark
X1
X2
U31
X1
X2
U31
X1
mark
X2
U31
X1
X2
U31
active
X1
X2
U31
X1
X2
U31
X1
active
X2
U31
X1
X2
U41
mark
X1
X2
X3
U41
X1
X2
X3
U41
X1
mark
X2
X3
U41
X1
X2
X3
U41
X1
X2
mark
X3
U41
X1
X2
X3
U41
active
X1
X2
X3
U41
X1
X2
X3
U41
X1
active
X2
X3
U41
X1
X2
X3
U41
X1
X2
active
X3
U41
X1
X2
X3
U42
mark
X1
X2
U42
X1
X2
U42
X1
mark
X2
U42
X1
X2
U42
active
X1
X2
U42
X1
X2
U42
X1
active
X2
U42
X1
X2
U43
mark
X
U43
X
U43
active
X
U43
X
U51
mark
X1
X2
X3
U51
X1
X2
X3
U51
X1
mark
X2
X3
U51
X1
X2
X3
U51
X1
X2
mark
X3
U51
X1
X2
X3
U51
active
X1
X2
X3
U51
X1
X2
X3
U51
X1
active
X2
X3
U51
X1
X2
X3
U51
X1
X2
active
X3
U51
X1
X2
X3
U52
mark
X1
X2
U52
X1
X2
U52
X1
mark
X2
U52
X1
X2
U52
active
X1
X2
U52
X1
X2
U52
X1
active
X2
U52
X1
X2
U53
mark
X
U53
X
U53
active
X
U53
X
U61
mark
X1
X2
U61
X1
X2
U61
X1
mark
X2
U61
X1
X2
U61
active
X1
X2
U61
X1
X2
U61
X1
active
X2
U61
X1
X2
U62
mark
X
U62
X
U62
active
X
U62
X
isPLNat
mark
X
isPLNat
X
isPLNat
active
X
isPLNat
X
U71
mark
X1
X2
U71
X1
X2
U71
X1
mark
X2
U71
X1
X2
U71
active
X1
X2
U71
X1
X2
U71
X1
active
X2
U71
X1
X2
U72
mark
X
U72
X
U72
active
X
U72
X
U81
mark
X1
X2
U81
X1
X2
U81
X1
mark
X2
U81
X1
X2
U81
active
X1
X2
U81
X1
X2
U81
X1
active
X2
U81
X1
X2
U82
mark
X
U82
X
U82
active
X
U82
X
U91
mark
X1
X2
U91
X1
X2
U91
X1
mark
X2
U91
X1
X2
U91
active
X1
X2
U91
X1
X2
U91
X1
active
X2
U91
X1
X2
U92
mark
X
U92
X
U92
active
X
U92
X
and
mark
X1
X2
and
X1
X2
and
X1
mark
X2
and
X1
X2
and
active
X1
X2
and
X1
X2
and
X1
active
X2
and
X1
X2
isNaturalKind
mark
X
isNaturalKind
X
isNaturalKind
active
X
isNaturalKind
X
isLNatKind
mark
X
isLNatKind
X
isLNatKind
active
X
isLNatKind
X
isPLNatKind
mark
X
isPLNatKind
X
isPLNatKind
active
X
isPLNatKind
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
3
tt
0
mark
1
U102
2
isNatural
1
U103
1
isLNat
1
U11
3
snd
1
splitAt
2
U111
2
U112
1
U121
2
U122
1
U131
3
U132
2
U133
1
U141
3
U142
2
U143
1
U151
3
U152
2
U153
1
U161
2
cons
2
natsFrom
1
s
1
U171
3
head
1
afterNth
2
U181
2
U191
2
pair
2
nil
0
U201
4
U202
2
U21
2
U211
2
U221
3
fst
1
U31
2
U41
3
U42
2
U43
1
U51
3
U52
2
U53
1
U61
2
U62
1
isPLNat
1
U71
2
U72
1
U81
2
U82
1
U91
2
U92
1
and
2
isNaturalKind
1
isLNatKind
1
isPLNatKind
1
tail
1
take
2
0
0
sel
2
FULL
./TRS/TRCSR/LISTUTILITIES_complete_iGM.trs