2 3 5 < input/inp.46
8 9 0 < input/inp.34
9 8 5 < input/inp.88
5 8 7 < input/inp.6
0 10 6 < input/inp.59
9 9 2 < input/inp.3
4 6 3 < input/inp.68
9 4 2 < input/inp.15
9 0 0 < input/inp.81
0 6 4 < input/inp.19
7 6 5 < input/inp.89
2 8 0 < input/inp.55
0 7 4 < input/inp.44
6 2 3 < input/inp.2
6 3 8 < input/inp.78
6 1 4 < input/inp.60
10 4 0 < input/inp.86
6 1 2 < input/inp.38
8 2 9 < input/inp.39
3 6 1 < input/inp.61
6 0 1 < input/inp.26
1 4 4 < input/inp.68
4 6 6 < input/inp.39
7 6 8 < input/inp.26
3 3 8 < input/inp.3
1 10 1 < input/inp.61
8 5 3 < input/inp.91
6 10 9 < input/inp.74
5 4 8 < input/inp.99
6 4 6 < input/inp.58
7 1 8 < input/inp.91
9 3 7 < input/inp.40
6 1 7 < input/inp.91
0 0 1 < input/inp.71
8 7 4 < input/inp.20
8 0 0 < input/inp.32
5 5 8 < input/inp.74
6 9 0 < input/inp.74
10 10 6 < input/inp.79
6 2 6 < input/inp.20
4 8 2 < input/inp.91
5 8 10 < input/inp.76
4 8 1 < input/inp.53
1 6 10 < input/inp.57
0 4 10 < input/inp.82
1 2 10 < input/inp.40
6 8 9 < input/inp.100
7 8 5 < input/inp.9
4 2 4 < input/inp.22
1 1 1 < input/inp.78
0 4 2 < input/inp.2
7 10 1 < input/inp.21
10 4 3 < input/inp.35
1 8 1 < input/inp.5
10 5 7 < input/inp.72
9 10 5 < input/inp.96
1 1 8 < input/inp.14
7 8 4 < input/inp.30
10 6 5 < input/inp.35
8 2 8 < input/inp.50
1 3 8 < input/inp.65
4 6 10 < input/inp.86
5 7 6 < input/inp.75
4 7 6 < input/inp.30
6 6 3 < input/inp.55
9 8 10 < input/inp.35
1 2 5 < input/inp.45
4 2 10 < input/inp.97
9 0 8 < input/inp.87
6 5 0 < input/inp.53
0 0 9 < input/inp.63
7 4 6 < input/inp.51
10 6 3 < input/inp.42
3 0 5 < input/inp.1
2 2 5 < input/inp.25
1 9 4 < input/inp.16
4 2 0 < input/inp.39
8 0 3 < input/inp.80
8 2 9 < input/inp.70
8 7 8 < input/inp.17
5 3 10 < input/inp.96
0 8 8 < input/inp.34
4 2 3 < input/inp.48
 0 1 0 < input/tc.3
 2 1 4 < input/tc.5
 0 0 0 < input/tc.11
 4 2 3 < input/tc.16
 2 0 0 < input/tc.21
 0 0 0 < input/tc.24
 0 0 0 < input/tc.25
 0 4 0 < input/tc.26
 0 0 3 < input/tc.27
 0 0 0 < input/tc.45
 4 4 1 < input/tc.48
 0 0 0 < input/tc.54
 4 1 3 < input/tc.55
 0 2 0 < input/tc.57
 0 0 0 < input/tc.63
 0 0 1 < input/tc.64
 0 0 0 < input/tc.76
 0 0 0 < input/tc.78
 3 0 0 < input/tc.81
 0 0 0 < input/tc.86
 2 2 4 < input/tc.92
 0 0 0 < input/tc.94
 0 0 0 < input/tc.96
 0 0 0 < input/tc.97
 3 3 3 < input/tc.98
 0 0 0 < input/tc.102
 0 0 0 < input/tc.104
 3 4 1 < input/tc.110
 1 4 1 < input/tc.116
 0 0 0 < input/tc.122
 0 0 0 < input/tc.123
 0 0 0 < input/tc.128
 0 4 0 < input/tc.133
 4 0 0 < input/tc.139
 0 0 0 < input/tc.142
 0 2 0 < input/tc.145
 2 2 3 < input/tc.148
 0 3 0 < input/tc.150
 0 0 0 < input/tc.151
 0 0 0 < input/tc.156
 3 0 0 < input/tc.160
 0 2 0 < input/tc.161
 0 0 3 < input/tc.162
 0 0 0 < input/tc.163
 0 4 0 < input/tc.165
 0 0 0 < input/tc.169
 1 0 0 < input/tc.176
 0 0 0 < input/tc.181
 0 0 2 < input/tc.183
 3 1 1 < input/tc.185
 4 0 0 < input/tc.187
 0 0 0 < input/tc.191
 0 0 0 < input/tc.192
 1 0 0 < input/tc.193
 0 0 0 < input/tc.194
 1 4 1 < input/tc.199
 0 1 0 < input/tc.204
 0 2 0 < input/tc.205
 0 4 0 < input/tc.210
 0 0 0 < input/tc.211
 0 0 0 < input/tc.212
 0 0 0 < input/tc.223
 0 0 0 < input/tc.224
 1 3 3 < input/tc.227
 0 1 0 < input/tc.228
 0 0 2 < input/tc.232
 3 3 4 < input/tc.233
 3 0 0 < input/tc.236
 0 0 0 < input/tc.237
 0 0 0 < input/tc.241
 4 4 4 < input/tc.242
 4 0 0 < input/tc.247
 0 0 0 < input/tc.249
 0 0 0 < input/tc.263
 0 0 1 < input/tc.266
 0 0 0 < input/tc.267
 0 0 0 < input/tc.269
 0 0 0 < input/tc.273
 0 3 0 < input/tc.276
 0 0 0 < input/tc.282
 0 0 0 < input/tc.293
 5 4 2 < input/dat000
 2 5 2 < input/dat001
 0 3 2 < input/dat002
 2 4 2 < input/dat017
 5 5 1 < input/dat024
 2 1 3 < input/dat025
 2 2 5 < input/dat026
 5 1 1 < input/dat027
 2 5 1 < input/dat028
 3 4 1 < input/dat031
 4 2 4 < input/dat035
 5 4 0 < input/dat039
 4 4 3 < input/dat041
 3 3 4 < input/dat042
 5 2 0 < input/dat047
 4 4 2 < input/dat052
 5 0 3 < input/dat053
 4 1 2 < input/dat054
 5 5 0 < input/dat062
 1 0 1 < input/dat063
 3 2 0 < input/dat065
 3 5 1 < input/dat068
 0 4 3 < input/dat069
 1 0 1 < input/dat070
 1 2 2 < input/dat071
 4 2 1 < input/dat073
 3 3 4 < input/dat076
 0 1 0 < input/dat079
 0 5 5 < input/dat080
 0 4 4 < input/dat089
 0 2 1 < input/dat091
 2 5 0 < input/dat101
 2 4 1 < input/dat105
 3 5 5 < input/dat109
 5 0 3 < input/dat110
 0 3 1 < input/dat113
 1 5 5 < input/dat117
 4 4 1 < input/dat121
 1 4 3 < input/dat123
 4 3 1 < input/dat130
 5 3 2 < input/dat135
 2 5 5 < input/dat136
 3 2 2 < input/dat137
 5 4 0 < input/dat146
 3 5 3 < input/dat149
 2 1 0 < input/dat153
 2 0 0 < input/dat159
 4 5 4 < input/dat163
 4 5 1 < input/dat166
 5 0 2 < input/dat172
 2 5 4 < input/dat173
 5 3 0 < input/dat177
 4 2 3 < input/dat179
 5 1 1 < input/dat187
 1 1 5 < input/dat188
 3 5 0 < input/dat189
 2 2 3 < input/dat192
 3 2 4 < input/dat198
 1 3 4 < input/dat199
 5 3 2 < input/dat200
 2 0 3 < input/dat206
 3 2 5 < input/dat212
 0 5 4 < input/dat214
 5 2 4 < input/dat217
 3 2 0 < input/dat223
 4 2 5 < input/dat225
 0 4 1 < input/dat227
 5 0 2 < input/dat232
 4 2 2 < input/dat234
 3 1 3 < input/dat236
 0 5 3 < input/dat238
 1 0 2 < input/dat239
 4 3 4 < input/dat244
 3 0 2 < input/dat245
 0 4 3 < input/dat246
 1 5 4 < input/dat250
 4 2 4 < input/dat251
 0 2 1 < input/dat252
 1 0 2 < input/dat259
 2 5 1 < input/dat260
 3 5 3 < input/dat262
 0 0 4 < input/dat265
 0 0 2 < input/dat268
 5 4 1 < input/dat269
 3 3 3 < input/dat270
 2 1 0 < input/dat271
 3 4 4 < input/dat276
 1 3 5 < input/dat277
 1 1 5 < input/dat281
 3 3 2 < input/dat283
 1 4 1 < input/dat287
 5 1 5 < input/dat288
 0 4 2 < input/dat296
 4 5 1 < input/dat298
 0 1 3 < input/dat300
 3 5 1 < input/dat305
 4 0 0 < input/dat309
 4 2 5 < input/dat310
 0 3 1 < input/dat317
 2 0 3 < input/dat318
 0 1 0 < input/dat323
 0 0 2 < input/dat330
 5 1 2 < input/dat337
 2 4 1 < input/dat340
 1 1 1 < input/dat343
 1 1 1 < input/dat344
 4 3 1 < input/dat350
 4 1 3 < input/dat351
 3 2 3 < input/dat352
 1 3 0 < input/dat354
 0 1 1 < input/dat356
 3 1 2 < input/dat358
 2 0 5 < input/dat372
 0 2 1 < input/dat377
 3 3 2 < input/dat378
 0 3 3 < input/dat380
 2 4 2 < input/dat381
 4 4 0 < input/dat383
 5 3 1 < input/dat386
 4 4 3 < input/dat390
 2 2 1 < input/dat392
 4 5 2 < input/dat395
 2 5 4 < input/dat398
 3 5 5 < input/dat403
 3 4 2 < input/dat407
 2 3 5 < input/dat410
 3 1 4 < input/dat412
 3 2 1 < input/dat415
 5 1 4 < input/dat418
 2 3 4 < input/dat422
 1 0 5 < input/dat424
 0 1 5 < input/dat431
 2 4 3 < input/dat433
 1 4 3 < input/dat436
 3 2 0 < input/dat438
 4 1 5 < input/dat439
 5 3 0 < input/dat441
 5 3 3 < input/dat442
 3 1 4 < input/dat443
 5 5 2 < input/dat444
 2 4 5 < input/dat445
 5 0 3 < input/dat448
 2 4 5 < input/dat449
 2 4 2 < input/dat451
 0 0 3 < input/dat457
 5 0 2 < input/dat458
 0 0 4 < input/dat460
 0 3 0 < input/dat472
 0 0 5 < input/dat477
 2 0 2 < input/dat482
 0 3 5 < input/dat485
 2 1 3 < input/dat486
 0 2 2 < input/dat487
 5 4 5 < input/dat492
 5 4 0 < input/dat501
 2 3 0 < input/dat502
 1 1 0 < input/dat504
 4 5 1 < input/dat505
 2 5 5 < input/dat508
 1 0 3 < input/dat509
 4 5 1 < input/dat513
 3 1 1 < input/dat514
 5 5 1 < input/dat517
 4 0 3 < input/dat526
 3 0 5 < input/dat528
 0 4 0 < input/dat533
 2 1 0 < input/dat535
 1 0 0 < input/dat539
 2 1 5 < input/dat547
 2 3 3 < input/dat549
 4 0 3 < input/dat551
 1 4 2 < input/dat557
 4 3 2 < input/dat559
 0 4 2 < input/dat560
 5 5 0 < input/dat561
 4 2 2 < input/dat562
 3 5 2 < input/dat563
 0 4 2 < input/dat564
 2 1 5 < input/dat575
 2 2 1 < input/dat578
 2 2 1 < input/dat581
 3 1 3 < input/dat582
 2 3 4 < input/dat587
 2 0 0 < input/dat593
 5 1 1 < input/dat596
 4 5 0 < input/dat597
 1 4 2 < input/dat602
 1 5 1 < input/dat605
 1 1 5 < input/dat609
 5 4 3 < input/dat610
 3 1 5 < input/dat612
 4 4 0 < input/dat614
 1 2 3 < input/dat620
 2 2 3 < input/dat621
 0 0 0 < input/dat622
 5 5 3 < input/dat623
 4 5 5 < input/dat629
 4 1 5 < input/dat632
 3 5 1 < input/dat645
 5 5 2 < input/dat647
 4 3 5 < input/dat649
 2 1 2 < input/dat650
 4 4 4 < input/dat651
 0 4 5 < input/dat656
 3 3 4 < input/dat663
 4 4 0 < input/dat665
 4 4 3 < input/dat667
 2 2 1 < input/dat668
 5 0 3 < input/dat673
 1 1 1 < input/dat674
 0 3 3 < input/dat684
 0 3 1 < input/dat687
 5 1 4 < input/dat689
 3 0 0 < input/dat692
 4 1 2 < input/dat695
 2 3 5 < input/dat696
 4 1 1 < input/dat708
 4 2 2 < input/dat712
 0 5 2 < input/dat717
 1 5 2 < input/dat718
 0 5 3 < input/dat719
 2 5 4 < input/dat721
 2 1 0 < input/dat724
 0 0 2 < input/dat729
 5 4 1 < input/dat738
 2 1 0 < input/dat753
 2 1 2 < input/dat754
 0 4 1 < input/dat755
 4 1 0 < input/dat756
 4 2 1 < input/dat762
 3 3 0 < input/dat763
 5 4 0 < input/dat766
 4 2 1 < input/dat777
 3 1 2 < input/dat780
 2 3 5 < input/dat791
 1 3 0 < input/dat792
 2 4 1 < input/dat794
 2 0 0 < input/dat795
 5 5 3 < input/dat800
1 < input/ad.1
7 1 4 < input/add.100
9 7 2 < input/add.0
0 2 6 < input/add.52
7 4 10 < input/add.37
1 10 8 < input/add.50
0 0 7 < input/add.34
3 6 5 < input/add.86
5 10 5 < input/add.52
9 3 10 < input/add.73
6 6 0 < input/add.19
1 10 6 < input/add.7
2 0 9 < input/add.15
2 2 10 < input/add.77
3 2 3 < input/add.65
5 0 9 < input/add.64
10 2 1 < input/add.6
7 0 3 < input/add.48
10 3 7 < input/add.20
0 6 1 < input/add.39
8 4 0 < input/add.37
6 9 10 < input/add.50
0 1 8 < input/add.75
10 4 10 < input/add.3
1 2 6 < input/add.45
0 6 3 < input/add.43
0 0 5 < input/add.79
10 2 4 < input/add.17
4 1 2 < input/add.20
0 1 8 < input/add.67
9 7 2 < input/adt.0
3 2 0 < input/adt.48
5 7 8 < input/adt.89
7 5 3 < input/adt.75
2 9 9 < input/adt.24
2 5 6 < input/adt.55
3 2 8 < input/adt.44
0 10 1 < input/adt.14
5 5 4 < input/adt.96
1 4 3 < input/adt.57
1 0 3 < input/adt.74
6 9 7 < input/adt.55
1 1 10 < input/adt.4
2 8 0 < input/adt.57
4 1 7 < input/adt.74
6 6 1 < input/adt.36
6 5 9 < input/adt.34
9 7 3 < input/adt.64
5 2 1 < input/adt.34
7 1 9 < input/inp.hf.1
10 0 2 < input/inp.hf.4
9 7 5 < input/inp.hf.9
8 3 9 < input/inp.hf.16
0 4 1 < input/inp.hf.19
0 10 6 < input/inp.hf.20
5 10 8 < input/inp.hf.24
10 5 0 < input/adt.120
10 5 10 < input/adt.103
7 5 3 < input/adt.175
1 10 0 < input/adt.193
2 5 6 < input/adt.155
3 2 8 < input/adt.144
0 10 1 < input/adt.114
5 5 4 < input/adt.196
1 0 3 < input/adt.174
10 6 1 < input/adt.137
6 9 7 < input/adt.155
0 0 4 < input/adt.140
3 1 9 < input/adt.111
8 1 0 < input/adt.190
4 2 10 < input/adt.121
6 6 1 < input/adt.136
5 2 1 < input/adt.134
6 9 8 < input/adt.108
3 5 4 < input/adt.116
0 6 6 < input/adt.127
2 6 0 < input/adt.103
10 5 7 < input/adt.150
4 5 5 < input/adt.189
0 2 5 < input/adt.146
5 6 0 < input/adt.160
9 3 9 < input/adt.123
6 2 3 < input/adt.155
0 6 8 < input/adt.172
3 9 2 < input/adt.175
9 4 7 < input/adt.122
3 1 9 < input/adt.165
1 3 5 < input/adt.144
1 1 1 < input/adt.164
1 2 9 < input/adt.112
10 3 9 < input/adt.136
5 1 4 < input/dat615
0 0 0 < input/nt.13
0 0 0 < input/nt.18
0 0 0 < input/nt.27
0 0 0 < input/nt.29
4 2 1 < input/dat309
0 1 0 < input/dat054
0 1 0 < input/dat317
2 4 2 < input/dat108
5 4 1 < input/dat036
9 7 2 < input/add.344
3 2 0 < input/add.325
7 4 10 < input/add.350
4 1 0 < input/add.308
10 0 4 < input/add.306
2 7 3 < input/add.337
7 10 9 < input/add.333
9 10 7 < input/add.345
2 9 7 < input/add.341
2 1 5 < input/add.343
3 2 4 < input/add.343
10 0 0 < input/add.300
7 10 10 < input/add.325
0 3 3 < input/add.304
4 3 4 < input/add.343
5 3 9 < input/add.302
2 2 4 < input/add.303
0 0 6 < input/add.349
10 4 1 < input/add.321
0 3 1 < input/add.313
3 8 6 < input/add.341
8 7 1 < input/add.336
1 1 10 < input/add.327
9 8 4 < input/add.343
4 3 8 < input/add.330
2 7 0 < input/add.308
5 0 6 < input/add.303
8 0 3 < input/add.341
8 0 7 < input/add.316
2  5  10  < input/lu2
8  9  2  < input/lu4
2  7  10  < input/lu6
6  3  2  < input/lu8
9  6  5  < input/lu9
3  2  3  < input/lu11
6  7  10  < input/lu14
5  4  5  < input/lu15
9  6  3  < input/lu19
9  10  5  < input/lu25
9  10  9  < input/lu27
7  10  3  < input/lu35
7  6  1  < input/lu41
6  3  2  < input/lu44
8  9  2  < input/lu46
1  10  3  < input/lu47
2  3  4  < input/lu50
5  2  5  < input/lu51
4  1  4  < input/lu52
9  2  1  < input/lu53
1  6  3  < input/lu55
1  6  1  < input/lu57
4  5  6  < input/lu62
2  7  2  < input/lu66
7  6  1  < input/lu67
6  5  6  < input/lu68
8  1  10  < input/lu74
4  7  10  < input/lu76
4  1  10  < input/lu78
8  5  4  < input/lu96
5  2  7  < input/lu99
5  2  7  < input/lu107
8  5  10  < input/lu114
8  7  4  < input/lu120
7  4  5  < input/lu123
6  3  6  < input/lu126
1  2  1  < input/lu129
2  7  8  < input/lu130
9  4  5  < input/lu135
8  9  6  < input/lu140
9  8  5  < input/lu141
2  7  4  < input/lu146
7  2  5  < input/lu147
1  2  7  < input/lu149
9  6  9  < input/lu151
6  3  6  < input/lu158
2  3  2  < input/lu160
4  3  4  < input/lu162
5  10  9  < input/lu163
1  6  9  < input/lu165
5  8  1  < input/lu167
7  6  3  < input/lu169
1  8  1  < input/lu181
2  5  8  < input/lu182
1  4  7  < input/lu185
7  2  3  < input/lu189
7  6  7  < input/lu197
2  9  8  < input/lu202
6  1  4  < input/lu204
5  2  3  < input/lu207
5  6  1  < input/lu209
2  5  6  < input/lu210
3  8  1  < input/lu221
1  10  7  < input/lu223
5  4  3  < input/lu225
10  5  4  < input/lu226
1  4  9  < input/lu227
9  8  7  < input/lu233
1  8  9  < input/lu237
1  10  1  < input/lu243
8  3  10  < input/lu246
9  2  5  < input/lu247
3  4  3  < input/lu249
2  5  10  < input/lu256
3  2  5  < input/lu259
5  6  7  < input/lu261
6  1  10  < input/lu262
1  4  3  < input/lu265
8  1  10  < input/lu266
4  9  4  < input/lu278
5  2  7  < input/lu279
8  7  8  < input/lu280
2  9  8  < input/lu282
2  9  6  < input/lu296
7  8  9  < input/lu299
8  5  4  < input/lu302
3  2  5  < input/lu303
1  10  3  < input/lu311
10  7  8  < input/lu314
4  5  8  < input/lu316
9  6  5  < input/lu321
9  4  3  < input/lu325
5  2  9  < input/lu331
6  9  8  < input/lu334
4  1  2  < input/lu336
8  7  8  < input/lu340
9  6  7  < input/lu343
6  7  10  < input/lu344
5  8  9  < input/lu351
5  4  7  < input/lu359
9  10  3  < input/lu367
10  1  8  < input/lu372
8  9  8  < input/lu382
7  6  5  < input/lu383
1  8  1  < input/lu391
4  5  10  < input/lu392
1  2  1  < input/lu397
6  9  4  < input/lu400
5  10  5  < input/lu403
1  6  7  < input/lu407
6  7  10  < input/lu408
1  8  9  < input/lu409
8  9  6  < input/lu412
5  10  1  < input/lu417
6  3  8  < input/lu418
5  6  7  < input/lu423
10  5  4  < input/lu428
6  3  4  < input/lu444
1  6  5  < input/lu449
2  5  4  < input/lu452
3  2  3  < input/lu455
9  6  9  < input/lu463
10  7  8  < input/lu470
5  8  3  < input/lu483
10  5  4  < input/lu490
9  2  9  < input/lu493
2  5  4  < input/lu494
5  6  5  < input/lu499
7 1 9 < input/bdt.58
7 2 10 < input/bdt.24
10 7 9 < input/bdt.22
2 8 7 < input/bdt.100
0 5 1 < input/bdt.1
0 1 3 < input/bdt.80
1 9 0 < input/bdt.39
7 0 6 < input/bdt.38
10 10 6 < input/bdt.42
6 9 1 < input/bdt.37
8 4 2 < input/bdt.29
6 9 8 <  input/bdt.64
4 3 2 < input/nnt6
2 3 2 < input/nnt9
3 4 1 < input/nnt11
5 0 0 < input/nnt12
3 5 2 < input/nnt14
0 0 0 < input/adt.3
1 1 < input/ad.2
1 1 < input/ad.2
0 0 0 < input/inp.hf.14
6 8 3 < input/ft.29
10 7 9 < input/ft.3
7 10 9 < input/ft.6
6 8 9 < input/ft.26
4 2 10 < input/ft.1
1 1 9 < input/ft.21
10 10 6 < input/ft.2
2 9 10 < input/ft.9
6 9 1 < input/ft.11
7 1 4 < input/ft.19
3 1 6 < input/ft.17
1 9 5 < input/ft.14
0 6 3 < input/ft.14
8 2 9 < input/ft.19
2 2 6 < input/ft.11
10 7 9 < input/ft.26
4 7 6 < input/ft.24
3 5 9 < input/ft.25
1 2  < input/bdt.77
0          0 < input/bdt.77
1 2 3 < input/et.2
2 1 2 < input/et.7
2 5 1 < input/et.10
0 1 4 < input/et.12
1 2 3 < input/et.13
4 1 2 < input/et.14
1 2 3 < input/et.15
9  2 < input/ft.21
3  < input/ft.1
6  < input/ft.29
2 0 0 < input/dt.1
1 4 0  < input/dt.9
1 2 1 < input/dt.12
3 2 0 < input/dt.13
3 2 0 < input/dt.14
2 1 0  < input/dt.15
2 1 1  < input/dt.16
2 1 3  < input/dt.19
2 1 3  < input/dt.20
2 1 3  < input/dt.22
3 0 3 < input/ct.5
3 0 3 < input/ct.6
3 1 3 < input/ct.7
1 3 1 < input/ct.8
1 3 1 < input/ct.9
1 3 1 < input/ct.10
1 3 1 < input/ct.11
1 2 3 < input/ct.15
4 5 6 < input/ct.18
0 1 2 < input/ct.22
3 1 5 < input/ct.28
0 0 0 < input/ct.29
1 2 0 < input/ct.30
6 7 3 < input/ct.36
3 4 5 < input/ct.38
0 3 4 < input/ct.44
2 2 1 < input/ct.47
1 2 4 < input/ct.48
2 4 2 < input/ct.57
2 4 2 < input/ct.59
2 2 2 < input/ct.61
2 4 2 < input/ct.65
