active
u101
tt
X
Y
mark
fst
splitAt
X
Y
active
u11
tt
U
V
mark
snd
splitAt
U
V
active
u21
tt
W
mark
W
active
u31
tt
P
mark
P
active
u41
tt
X1
mark
cons
X1
natsFrom
s
X1
active
u51
tt
Y1
U1
mark
head
afterNth
Y1
U1
active
u61
tt
V1
mark
V1
active
u71
tt
W1
mark
pair
nil
W1
active
u81
tt
P1
X2
Y2
mark
u82
splitAt
P1
Y2
X2
active
u82
pair
U2
V2
W2
mark
pair
cons
W2
U2
V2
active
u91
tt
P2
mark
P2
active
afterNth
X3
Y3
mark
u11
and
isNatural
X3
isLNat
Y3
X3
Y3
active
and
tt
U3
mark
U3
active
fst
pair
V3
W3
mark
u21
and
isLNat
V3
isLNat
W3
V3
active
head
cons
P3
X4
mark
u31
and
isNatural
P3
isLNat
X4
P3
active
isLNat
nil
mark
tt
active
isLNat
afterNth
Y4
U4
mark
and
isNatural
Y4
isLNat
U4
active
isLNat
cons
V4
W4
mark
and
isNatural
V4
isLNat
W4
active
isLNat
fst
P4
mark
isPLNat
P4
active
isLNat
natsFrom
X5
mark
isNatural
X5
active
isLNat
snd
Y5
mark
isPLNat
Y5
active
isLNat
tail
U5
mark
isLNat
U5
active
isLNat
take
V5
W5
mark
and
isNatural
V5
isLNat
W5
active
isNatural
0
mark
tt
active
isNatural
head
P5
mark
isLNat
P5
active
isNatural
s
X6
mark
isNatural
X6
active
isNatural
sel
Y6
U6
mark
and
isNatural
Y6
isLNat
U6
active
isPLNat
pair
V6
W6
mark
and
isLNat
V6
isLNat
W6
active
isPLNat
splitAt
P6
X7
mark
and
isNatural
P6
isLNat
X7
active
natsFrom
Y7
mark
u41
isNatural
Y7
Y7
active
sel
U7
V7
mark
u51
and
isNatural
U7
isLNat
V7
U7
V7
active
snd
pair
W7
P7
mark
u61
and
isLNat
W7
isLNat
P7
P7
active
splitAt
0
X8
mark
u71
isLNat
X8
X8
active
splitAt
s
Y8
cons
U8
V8
mark
u81
and
isNatural
Y8
and
isNatural
U8
isLNat
V8
Y8
U8
V8
active
tail
cons
W8
P8
mark
u91
and
isNatural
W8
isLNat
P8
P8
active
take
X9
Y9
mark
u101
and
isNatural
X9
isLNat
Y9
X9
Y9
mark
u101
U9
V9
W9
active
u101
mark
U9
V9
W9
mark
tt
active
tt
mark
fst
P9
active
fst
mark
P9
mark
splitAt
X10
Y10
active
splitAt
mark
X10
mark
Y10
mark
u11
U10
V10
W10
active
u11
mark
U10
V10
W10
mark
snd
P10
active
snd
mark
P10
mark
u21
X11
Y11
active
u21
mark
X11
Y11
mark
u31
U11
V11
active
u31
mark
U11
V11
mark
u41
W11
P11
active
u41
mark
W11
P11
mark
cons
X12
Y12
active
cons
mark
X12
Y12
mark
natsFrom
U12
active
natsFrom
mark
U12
mark
s
V12
active
s
mark
V12
mark
u51
W12
P12
X13
active
u51
mark
W12
P12
X13
mark
head
Y13
active
head
mark
Y13
mark
afterNth
U13
V13
active
afterNth
mark
U13
mark
V13
mark
u61
W13
P13
active
u61
mark
W13
P13
mark
u71
X14
Y14
active
u71
mark
X14
Y14
mark
pair
U14
V14
active
pair
mark
U14
mark
V14
mark
nil
active
nil
mark
u81
W14
P14
X15
Y15
active
u81
mark
W14
P14
X15
Y15
mark
u82
U15
V15
active
u82
mark
U15
V15
mark
u91
W15
P15
active
u91
mark
W15
P15
mark
and
X16
Y16
active
and
mark
X16
Y16
mark
isNatural
U16
active
isNatural
U16
mark
isLNat
V16
active
isLNat
V16
mark
isPLNat
W16
active
isPLNat
W16
mark
tail
P16
active
tail
mark
P16
mark
take
X17
Y17
active
take
mark
X17
mark
Y17
mark
0
active
0
mark
sel
U17
V17
active
sel
mark
U17
mark
V17
u101
mark
W17
P17
X18
u101
W17
P17
X18
u101
Y18
mark
U18
V18
u101
Y18
U18
V18
u101
W18
P18
mark
X19
u101
W18
P18
X19
u101
active
Y19
U19
V19
u101
Y19
U19
V19
u101
W19
active
P19
X20
u101
W19
P19
X20
u101
Y20
U20
active
V20
u101
Y20
U20
V20
fst
mark
W20
fst
W20
fst
active
P20
fst
P20
splitAt
mark
X21
Y21
splitAt
X21
Y21
splitAt
U21
mark
V21
splitAt
U21
V21
splitAt
active
W21
P21
splitAt
W21
P21
splitAt
X22
active
Y22
splitAt
X22
Y22
u11
mark
U22
V22
W22
u11
U22
V22
W22
u11
P22
mark
X23
Y23
u11
P22
X23
Y23
u11
U23
V23
mark
W23
u11
U23
V23
W23
u11
active
P23
X24
Y24
u11
P23
X24
Y24
u11
U24
active
V24
W24
u11
U24
V24
W24
u11
P24
X25
active
Y25
u11
P24
X25
Y25
snd
mark
U25
snd
U25
snd
active
V25
snd
V25
u21
mark
W25
P25
u21
W25
P25
u21
X26
mark
Y26
u21
X26
Y26
u21
active
U26
V26
u21
U26
V26
u21
W26
active
P26
u21
W26
P26
u31
mark
X27
Y27
u31
X27
Y27
u31
U27
mark
V27
u31
U27
V27
u31
active
W27
P27
u31
W27
P27
u31
X28
active
Y28
u31
X28
Y28
u41
mark
U28
V28
u41
U28
V28
u41
W28
mark
P28
u41
W28
P28
u41
active
X29
Y29
u41
X29
Y29
u41
U29
active
V29
u41
U29
V29
cons
mark
W29
P29
cons
W29
P29
cons
X30
mark
Y30
cons
X30
Y30
cons
active
U30
V30
cons
U30
V30
cons
W30
active
P30
cons
W30
P30
natsFrom
mark
X31
natsFrom
X31
natsFrom
active
Y31
natsFrom
Y31
s
mark
U31
s
U31
s
active
V31
s
V31
u51
mark
W31
P31
X32
u51
W31
P31
X32
u51
Y32
mark
U32
V32
u51
Y32
U32
V32
u51
W32
P32
mark
X33
u51
W32
P32
X33
u51
active
Y33
U33
V33
u51
Y33
U33
V33
u51
W33
active
P33
X34
u51
W33
P33
X34
u51
Y34
U34
active
V34
u51
Y34
U34
V34
head
mark
W34
head
W34
head
active
P34
head
P34
afterNth
mark
X35
Y35
afterNth
X35
Y35
afterNth
U35
mark
V35
afterNth
U35
V35
afterNth
active
W35
P35
afterNth
W35
P35
afterNth
X36
active
Y36
afterNth
X36
Y36
u61
mark
U36
V36
u61
U36
V36
u61
W36
mark
P36
u61
W36
P36
u61
active
X37
Y37
u61
X37
Y37
u61
U37
active
V37
u61
U37
V37
u71
mark
W37
P37
u71
W37
P37
u71
X38
mark
Y38
u71
X38
Y38
u71
active
U38
V38
u71
U38
V38
u71
W38
active
P38
u71
W38
P38
pair
mark
X39
Y39
pair
X39
Y39
pair
U39
mark
V39
pair
U39
V39
pair
active
W39
P39
pair
W39
P39
pair
X40
active
Y40
pair
X40
Y40
u81
mark
U40
V40
W40
P40
u81
U40
V40
W40
P40
u81
X41
mark
Y41
U41
V41
u81
X41
Y41
U41
V41
u81
W41
P41
mark
X42
Y42
u81
W41
P41
X42
Y42
u81
U42
V42
W42
mark
P42
u81
U42
V42
W42
P42
u81
active
X43
Y43
U43
V43
u81
X43
Y43
U43
V43
u81
W43
active
P43
X44
Y44
u81
W43
P43
X44
Y44
u81
U44
V44
active
W44
P44
u81
U44
V44
W44
P44
u81
X45
Y45
U45
active
V45
u81
X45
Y45
U45
V45
u82
mark
W45
P45
u82
W45
P45
u82
X46
mark
Y46
u82
X46
Y46
u82
active
U46
V46
u82
U46
V46
u82
W46
active
P46
u82
W46
P46
u91
mark
X47
Y47
u91
X47
Y47
u91
U47
mark
V47
u91
U47
V47
u91
active
W47
P47
u91
W47
P47
u91
X48
active
Y48
u91
X48
Y48
and
mark
U48
V48
and
U48
V48
and
W48
mark
P48
and
W48
P48
and
active
X49
Y49
and
X49
Y49
and
U49
active
V49
and
U49
V49
isNatural
mark
W49
isNatural
W49
isNatural
active
P49
isNatural
P49
isLNat
mark
X50
isLNat
X50
isLNat
active
Y50
isLNat
Y50
isPLNat
mark
U50
isPLNat
U50
isPLNat
active
V50
isPLNat
V50
tail
mark
W50
tail
W50
tail
active
P50
tail
P50
take
mark
X51
Y51
take
X51
Y51
take
U51
mark
V51
take
U51
V51
take
active
W51
P51
take
W51
P51
take
X52
active
Y52
take
X52
Y52
sel
mark
U52
V52
sel
U52
V52
sel
W52
mark
P52
sel
W52
P52
sel
active
X53
Y53
sel
X53
Y53
sel
U53
active
V53
sel
U53
V53
map
%X
A
I53
%X
nil
nil
app
%Y
A
J53
%Y
X54
J53
X54
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
I53
A
A
J53
A
A
X54
A
0
A
active
A
A
afterNth
A
A
A
and
A
A
A
app
A
A
A
A
cons
A
A
A
fst
A
A
head
A
A
isLNat
A
A
isNatural
A
A
isPLNat
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
u11
A
A
A
A
u21
A
A
A
u31
A
A
A
u41
A
A
A
u51
A
A
A
A
u61
A
A
A
u71
A
A
A
u81
A
A
A
A
A
u82
A
A
A
u91
A
A
A
FULL
/tmp/tmpfile.afsm