(dp0
S'and'
p1
(iparser
LambdaExp
p2
(dp3
S'body'
p4
(iparser
LambdaExp
p5
(dp6
g4
(iparser
ApplyExp
p7
(dp8
S'rand'
p9
(iparser
LambdaExp
p10
(dp11
g4
(iparser
LambdaExp
p12
(dp13
g4
(iparser
NameExp
p14
(dp15
g4
S'y'
p16
sbsS'arg'
p17
g16
sbsg17
S'x'
p18
sbsS'rator'
p19
(iparser
ApplyExp
p20
(dp21
g9
(iparser
NameExp
p22
(dp23
g4
S'q'
p24
sbsg19
(iparser
NameExp
p25
(dp26
g4
S'p'
p27
sbsbsbsg17
g24
sbsg17
g27
sbsS'false'
p28
g10
sS'show'
p29
(iparser
SpecialExp
p30
(dp31
S'body'
p32
S'#show'
p33
sbsS'true'
p34
(iparser
LambdaExp
p35
(dp36
g4
(iparser
LambdaExp
p37
(dp38
g4
(iparser
NameExp
p39
(dp40
g4
g18
sbsg17
g16
sbsg17
g18
sbsS'c3'
p41
(iparser
LambdaExp
p42
(dp43
S'body'
p44
(iparser
LambdaExp
p45
(dp46
g44
(iparser
ApplyExp
p47
(dp48
S'rand'
p49
(iparser
ApplyExp
p50
(dp51
g49
(iparser
ApplyExp
p52
(dp53
g49
(iparser
NameExp
p54
(dp55
g44
S'x'
p56
sbsS'rator'
p57
(iparser
NameExp
p58
(dp59
g44
S'f'
p60
sbsbsg57
(iparser
NameExp
p61
(dp62
g44
g60
sbsbsg57
(iparser
NameExp
p63
(dp64
g44
g60
sbsbsS'arg'
p65
g56
sbsg65
g60
sbsS'c256'
p66
(iparser
ApplyExp
p67
(dp68
S'rand'
p69
(iparser
ApplyExp
p70
(dp71
g69
(iparser
LambdaExp
p72
(dp73
S'body'
p74
(iparser
LambdaExp
p75
(dp76
g74
(iparser
ApplyExp
p77
(dp78
g69
(iparser
ApplyExp
p79
(dp80
g69
(iparser
NameExp
p81
(dp82
g74
S'x'
p83
sbsS'rator'
p84
(iparser
NameExp
p85
(dp86
g74
S'f'
p87
sbsbsg84
(iparser
NameExp
p88
(dp89
g74
g87
sbsbsS'arg'
p90
g83
sbsg90
g87
sbsg84
(iparser
LambdaExp
p91
(dp92
g74
(iparser
ApplyExp
p93
(dp94
g69
(iparser
NameExp
p95
(dp96
g74
S'n'
p97
sbsg84
(iparser
NameExp
p98
(dp99
g74
g97
sbsbsg90
g97
sbsbsg84
(iparser
LambdaExp
p100
(dp101
g74
(iparser
ApplyExp
p102
(dp103
g69
(iparser
NameExp
p104
(dp105
g74
g97
sbsg84
(iparser
NameExp
p106
(dp107
g74
g97
sbsbsg90
g97
sbsbsS'if'
p108
(iparser
LambdaExp
p109
(dp110
S'body'
p111
(iparser
LambdaExp
p112
(dp113
g111
(iparser
LambdaExp
p114
(dp115
g111
(iparser
ApplyExp
p116
(dp117
S'rand'
p118
(iparser
NameExp
p119
(dp120
g111
S'y'
p121
sbsS'rator'
p122
(iparser
ApplyExp
p123
(dp124
g118
(iparser
NameExp
p125
(dp126
g111
S'x'
p127
sbsg122
(iparser
NameExp
p128
(dp129
g111
S'p'
p130
sbsbsbsS'arg'
p131
g121
sbsg131
g127
sbsg131
g130
sbsS'iszero'
p132
(iparser
LambdaExp
p133
(dp134
g111
(iparser
ApplyExp
p135
(dp136
g118
g35
sg122
(iparser
ApplyExp
p137
(dp138
g118
(iparser
LambdaExp
p139
(dp140
g111
g10
sg131
g127
sbsg122
(iparser
NameExp
p141
(dp142
g111
S'n'
p143
sbsbsbsg131
g143
sbsS'pred'
p144
(iparser
LambdaExp
p145
(dp146
S'body'
p147
(iparser
LambdaExp
p148
(dp149
g147
(iparser
LambdaExp
p150
(dp151
g147
(iparser
ApplyExp
p152
(dp153
S'rand'
p154
(iparser
LambdaExp
p155
(dp156
g147
(iparser
NameExp
p157
(dp158
g147
S'u'
p159
sbsS'arg'
p160
g159
sbsS'rator'
p161
(iparser
ApplyExp
p162
(dp163
g154
(iparser
LambdaExp
p164
(dp165
g147
(iparser
NameExp
p166
(dp167
g147
S'x'
p168
sbsg160
g159
sbsg161
(iparser
ApplyExp
p169
(dp170
g154
(iparser
LambdaExp
p171
(dp172
g147
(iparser
LambdaExp
p173
(dp174
g147
(iparser
ApplyExp
p175
(dp176
g154
(iparser
ApplyExp
p177
(dp178
g154
(iparser
NameExp
p179
(dp180
g147
S'f'
p181
sbsg161
(iparser
NameExp
p182
(dp183
g147
S'g'
p184
sbsbsg161
(iparser
NameExp
p185
(dp186
g147
S'h'
p187
sbsbsg160
g187
sbsg160
g184
sbsg161
(iparser
NameExp
p188
(dp189
g147
S'n'
p190
sbsbsbsbsg160
g168
sbsg160
g181
sbsg160
g190
sbsS'greyknight'
p191
(iparser
StringExp
p192
(dp193
S'line'
p194
S'idiot'
p195
sbsS'c5'
p196
(iparser
ApplyExp
p197
(dp198
S'rand'
p199
(iparser
ApplyExp
p200
(dp201
S'rand'
p202
g42
sS'rator'
p203
(iparser
LambdaExp
p204
(dp205
S'body'
p206
(iparser
LambdaExp
p207
(dp208
g206
(iparser
LambdaExp
p209
(dp210
g206
(iparser
ApplyExp
p211
(dp212
S'rand'
p213
(iparser
ApplyExp
p214
(dp215
g213
(iparser
NameExp
p216
(dp217
g206
S'x'
p218
sbsS'rator'
p219
(iparser
ApplyExp
p220
(dp221
g213
(iparser
NameExp
p222
(dp223
g206
S'f'
p224
sbsg219
(iparser
NameExp
p225
(dp226
g206
S'n'
p227
sbsbsbsg219
(iparser
NameExp
p228
(dp229
g206
g224
sbsbsS'arg'
p230
g218
sbsg230
g224
sbsg230
g227
sbsbsS'rator'
p231
g204
sbsS'c10'
p232
(iparser
ApplyExp
p233
(dp234
g199
(iparser
ApplyExp
p235
(dp236
g199
(iparser
ApplyExp
p237
(dp238
g199
(iparser
ApplyExp
p239
(dp240
g199
(iparser
ApplyExp
p241
(dp242
g199
g197
sg231
g204
sbsg231
g204
sbsg231
g204
sbsg231
g204
sbsg231
g204
sbsS'fr'
p243
(iparser
ApplyExp
p244
(dp245
S'rand'
p246
(iparser
LambdaExp
p247
(dp248
S'body'
p249
(iparser
LambdaExp
p250
(dp251
g249
(iparser
ApplyExp
p252
(dp253
S'rand'
p254
(iparser
ApplyExp
p255
(dp256
g254
(iparser
ApplyExp
p257
(dp258
g254
(iparser
ApplyExp
p259
(dp260
g254
(iparser
NameExp
p261
(dp262
g249
S'x'
p263
sbsS'rator'
p264
g145
sbsg264
(iparser
NameExp
p265
(dp266
g249
S'f'
p267
sbsbsg264
(iparser
ApplyExp
p268
(dp269
g254
(iparser
NameExp
p270
(dp271
g249
g263
sbsg264
(iparser
LambdaExp
p272
(dp273
S'body'
p274
(iparser
LambdaExp
p275
(dp276
g274
(iparser
LambdaExp
p277
(dp278
g274
(iparser
ApplyExp
p279
(dp280
S'rand'
p281
(iparser
ApplyExp
p282
(dp283
g281
(iparser
NameExp
p284
(dp285
g274
S'f'
p286
sbsS'rator'
p287
(iparser
NameExp
p288
(dp289
g274
S'm'
p290
sbsbsg287
(iparser
NameExp
p291
(dp292
g274
S'n'
p293
sbsbsS'arg'
p294
g286
sbsg294
g293
sbsg294
g290
sbsbsbsg264
(iparser
ApplyExp
p295
(dp296
g254
(iparser
LambdaExp
p297
(dp298
S'body'
p299
(iparser
LambdaExp
p300
(dp301
g299
(iparser
ApplyExp
p302
(dp303
S'rand'
p304
(iparser
NameExp
p305
(dp306
g299
S'x'
p307
sbsS'rator'
p308
(iparser
NameExp
p309
(dp310
g299
S'f'
p311
sbsbsS'arg'
p312
g307
sbsg312
g311
sbsg264
(iparser
ApplyExp
p313
(dp314
g254
(iparser
NameExp
p315
(dp316
g249
g263
sbsg264
g133
sbsbsbsS'arg'
p317
g263
sbsg317
g267
sbsS'rator'
p318
(iparser
LambdaExp
p319
(dp320
S'body'
p321
(iparser
ApplyExp
p322
(dp323
S'rand'
p324
(iparser
LambdaExp
p325
(dp326
g321
(iparser
ApplyExp
p327
(dp328
g324
(iparser
ApplyExp
p329
(dp330
g324
(iparser
NameExp
p331
(dp332
g321
S'x'
p333
sbsS'rator'
p334
(iparser
NameExp
p335
(dp336
g321
g333
sbsbsg334
(iparser
NameExp
p337
(dp338
g321
S'f'
p339
sbsbsS'arg'
p340
g333
sbsg334
(iparser
LambdaExp
p341
(dp342
g321
(iparser
ApplyExp
p343
(dp344
g324
(iparser
ApplyExp
p345
(dp346
g324
(iparser
NameExp
p347
(dp348
g321
g333
sbsg334
(iparser
NameExp
p349
(dp350
g321
g333
sbsbsg334
(iparser
NameExp
p351
(dp352
g321
g339
sbsbsg340
g333
sbsbsg340
g339
sbsbsS'i1'
p353
(iparser
LambdaExp
p354
(dp355
S'body'
p356
(iparser
LambdaExp
p357
(dp358
g356
(iparser
ApplyExp
p359
(dp360
S'rand'
p361
(iparser
LambdaExp
p362
(dp363
g356
(iparser
LambdaExp
p364
(dp365
g356
(iparser
NameExp
p366
(dp367
g356
S'b'
p368
sbsS'arg'
p369
g368
sbsg369
S'a'
p370
sbsS'rator'
p371
(iparser
NameExp
p372
(dp373
g356
g370
sbsbsg369
g368
sbsg369
g370
sbsS'i0'
p374
(iparser
LambdaExp
p375
(dp376
S'body'
p377
(iparser
LambdaExp
p378
(dp379
g377
(iparser
NameExp
p380
(dp381
g377
S'b'
p382
sbsS'arg'
p383
g382
sbsg383
S'a'
p384
sbsS'succ'
p385
g204
sS'c8'
p386
g237
sS'not'
p387
(iparser
LambdaExp
p388
(dp389
g4
(iparser
ApplyExp
p390
(dp391
g9
g35
sg19
(iparser
ApplyExp
p392
(dp393
g9
g10
sg19
(iparser
NameExp
p394
(dp395
g4
g27
sbsbsbsg17
g27
sbsS'c2'
p396
(iparser
LambdaExp
p397
(dp398
S'body'
p399
(iparser
LambdaExp
p400
(dp401
g399
(iparser
ApplyExp
p402
(dp403
S'rand'
p404
(iparser
ApplyExp
p405
(dp406
g404
(iparser
NameExp
p407
(dp408
g399
S'x'
p409
sbsS'rator'
p410
(iparser
NameExp
p411
(dp412
g399
S'f'
p413
sbsbsg410
(iparser
NameExp
p414
(dp415
g399
g413
sbsbsS'arg'
p416
g409
sbsg416
g413
sbsS'c1'
p417
g297
sS'c0'
p418
(iparser
LambdaExp
p419
(dp420
S'body'
p421
(iparser
LambdaExp
p422
(dp423
g421
(iparser
NameExp
p424
(dp425
g421
S'x'
p426
sbsS'arg'
p427
g426
sbsg427
S'f'
p428
sbsS'c7'
p429
g239
sS'c6'
p430
g241
sS'mult'
p431
g272
sS'c4'
p432
g200
sS'i'
p433
(iparser
LambdaExp
p434
(dp435
S'body'
p436
(iparser
NameExp
p437
(dp438
g436
S'x'
p439
sbsS'arg'
p440
g439
sbsS'k'
p441
(iparser
LambdaExp
p442
(dp443
S'body'
p444
(iparser
LambdaExp
p445
(dp446
g444
(iparser
NameExp
p447
(dp448
g444
S'x'
p449
sbsS'arg'
p450
S'y'
p451
sbsg450
g449
sbsS'c9'
p452
g235
sS's'
p453
(iparser
LambdaExp
p454
(dp455
S'body'
p456
(iparser
LambdaExp
p457
(dp458
g456
(iparser
LambdaExp
p459
(dp460
g456
(iparser
ApplyExp
p461
(dp462
S'rand'
p463
(iparser
ApplyExp
p464
(dp465
g463
(iparser
NameExp
p466
(dp467
g456
S'z'
p468
sbsS'rator'
p469
(iparser
NameExp
p470
(dp471
g456
S'y'
p472
sbsbsg469
(iparser
ApplyExp
p473
(dp474
g463
(iparser
NameExp
p475
(dp476
g456
g468
sbsg469
(iparser
NameExp
p477
(dp478
g456
S'x'
p479
sbsbsbsS'arg'
p480
g468
sbsg480
g472
sbsg480
g479
sbsS'plus'
p481
(iparser
LambdaExp
p482
(dp483
S'body'
p484
(iparser
LambdaExp
p485
(dp486
g484
(iparser
LambdaExp
p487
(dp488
g484
(iparser
LambdaExp
p489
(dp490
g484
(iparser
ApplyExp
p491
(dp492
S'rand'
p493
(iparser
ApplyExp
p494
(dp495
g493
(iparser
NameExp
p496
(dp497
g484
S'x'
p498
sbsS'rator'
p499
(iparser
ApplyExp
p500
(dp501
g493
(iparser
NameExp
p502
(dp503
g484
S'f'
p504
sbsg499
(iparser
NameExp
p505
(dp506
g484
S'n'
p507
sbsbsbsg499
(iparser
ApplyExp
p508
(dp509
g493
(iparser
NameExp
p510
(dp511
g484
g504
sbsg499
(iparser
NameExp
p512
(dp513
g484
S'm'
p514
sbsbsbsS'arg'
p515
g498
sbsg515
g504
sbsg515
g507
sbsg515
g514
sbsS'exp'
p516
(iparser
LambdaExp
p517
(dp518
S'body'
p519
(iparser
LambdaExp
p520
(dp521
g519
(iparser
ApplyExp
p522
(dp523
S'rand'
p524
(iparser
NameExp
p525
(dp526
g519
S'm'
p527
sbsS'rator'
p528
(iparser
NameExp
p529
(dp530
g519
S'n'
p531
sbsbsS'arg'
p532
g531
sbsg532
g527
sbsS'y'
p533
g319
sS'or'
p534
(iparser
LambdaExp
p535
(dp536
g4
(iparser
LambdaExp
p537
(dp538
g4
(iparser
ApplyExp
p539
(dp540
g9
(iparser
NameExp
p541
(dp542
g4
g24
sbsg19
(iparser
ApplyExp
p543
(dp544
g9
g35
sg19
(iparser
NameExp
p545
(dp546
g4
g27
sbsbsbsg17
g24
sbsg17
g27
sbsS'fact'
p547
g244
s.