Trace number 1722023

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
hybridGM7 7SAT 41.5467 41.5999

General information on the benchmark

NameAPPLICATIONS/satComp09_BioInstances/
ndhf_xits_21_SAT.cnf
MD5SUM03a36a0e1b9af8e7c30a29a92e02302e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.47777
Satisfiable
(Un)Satisfiability was proved
Number of variables4466
Number of clauses542457
Sum of the clauses size1621186
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 26774
Number of clauses of size 3535652
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 531

Solver Data

1.10/1.15	c Heuristic : ANov
1.10/1.15	c Hybrid barrier : 1 
1.10/1.15	c Problem instance: numAtoms = 4466, numClauses = 542457, numLiterals = 1621186
1.10/1.15	c General parameters: seed=1380386250, cutoff=1000000000, targetCost = 0, print solution: yes
1.10/1.15	c gNovelty+ parameters: noise = 0, walkprob = 1, smoothprob = 100
1.10/1.15	c tries = 1
1.10/1.15	c 
41.47/41.56	c gNovelty+ (M  0 )
41.47/41.56	s SATISFIABLE
41.47/41.56	v -1
41.47/41.56	v -2
41.47/41.56	v -3
41.47/41.56	v -4
41.47/41.56	v -5
41.47/41.56	v -6
41.47/41.56	v -7
41.47/41.56	v 8
41.47/41.56	v -9
41.47/41.56	v -10
41.47/41.56	v -11
41.47/41.56	v -12
41.47/41.56	v 13
41.47/41.56	v 14
41.47/41.56	v -15
41.47/41.56	v -16
41.47/41.56	v -17
41.47/41.56	v -18
41.47/41.56	v -19
41.47/41.56	v -20
41.47/41.56	v -21
41.47/41.56	v -22
41.47/41.56	v -23
41.47/41.56	v -24
41.47/41.56	v -25
41.47/41.56	v -26
41.47/41.56	v -27
41.47/41.56	v -28
41.47/41.56	v 29
41.47/41.56	v -30
41.47/41.56	v 31
41.47/41.56	v -32
41.47/41.56	v -33
41.47/41.56	v -34
41.47/41.56	v -35
41.47/41.56	v -36
41.47/41.56	v -37
41.47/41.56	v -38
41.47/41.56	v -39
41.47/41.56	v -40
41.47/41.56	v -41
41.47/41.56	v -42
41.47/41.56	v -43
41.47/41.56	v -44
41.47/41.56	v -45
41.47/41.56	v -46
41.47/41.56	v -47
41.47/41.56	v -48
41.47/41.56	v -49
41.47/41.56	v -50
41.47/41.56	v -51
41.47/41.56	v -52
41.47/41.56	v -53
41.47/41.56	v -54
41.47/41.56	v -55
41.47/41.56	v 56
41.47/41.56	v -57
41.47/41.56	v -58
41.47/41.56	v -59
41.47/41.56	v -60
41.47/41.56	v -61
41.47/41.56	v -62
41.47/41.56	v -63
41.47/41.56	v -64
41.47/41.56	v -65
41.47/41.56	v -66
41.47/41.56	v -67
41.47/41.56	v -68
41.47/41.56	v -69
41.47/41.56	v -70
41.47/41.56	v -71
41.47/41.56	v -72
41.47/41.56	v -73
41.47/41.56	v -74
41.47/41.56	v -75
41.47/41.56	v -76
41.47/41.56	v -77
41.47/41.56	v -78
41.47/41.56	v 79
41.47/41.56	v -80
41.47/41.56	v -81
41.47/41.56	v 82
41.47/41.56	v 83
41.47/41.56	v -84
41.47/41.56	v 85
41.47/41.56	v -86
41.47/41.56	v -87
41.47/41.56	v -88
41.47/41.56	v 89
41.47/41.56	v -90
41.47/41.56	v -91
41.47/41.56	v -92
41.47/41.56	v -93
41.47/41.56	v -94
41.47/41.56	v -95
41.47/41.56	v -96
41.47/41.56	v -97
41.47/41.56	v -98
41.47/41.56	v -99
41.47/41.56	v -100
41.47/41.56	v -101
41.47/41.56	v -102
41.47/41.56	v -103
41.47/41.56	v -104
41.47/41.56	v -105
41.47/41.56	v -106
41.47/41.56	v -107
41.47/41.56	v -108
41.47/41.56	v 109
41.47/41.56	v -110
41.47/41.56	v -111
41.47/41.56	v -112
41.47/41.56	v -113
41.47/41.56	v -114
41.47/41.56	v -115
41.47/41.56	v -116
41.47/41.56	v -117
41.47/41.56	v -118
41.47/41.56	v -119
41.47/41.56	v -120
41.47/41.56	v -121
41.47/41.56	v -122
41.47/41.56	v -123
41.47/41.56	v -124
41.47/41.56	v -125
41.47/41.56	v -126
41.47/41.56	v -127
41.47/41.56	v -128
41.47/41.56	v -129
41.47/41.56	v -130
41.47/41.56	v -131
41.47/41.56	v -132
41.47/41.56	v -133
41.47/41.56	v -134
41.47/41.56	v -135
41.47/41.56	v -136
41.47/41.56	v -137
41.47/41.56	v -138
41.47/41.56	v -139
41.47/41.56	v -140
41.47/41.56	v -141
41.47/41.56	v -142
41.47/41.56	v -143
41.47/41.56	v -144
41.47/41.56	v -145
41.47/41.56	v 146
41.47/41.56	v -147
41.47/41.56	v -148
41.47/41.56	v -149
41.47/41.56	v -150
41.47/41.56	v -151
41.47/41.56	v -152
41.47/41.56	v -153
41.47/41.56	v -154
41.47/41.56	v -155
41.47/41.56	v -156
41.47/41.56	v -157
41.47/41.56	v -158
41.47/41.56	v -159
41.47/41.56	v -160
41.47/41.56	v -161
41.47/41.56	v 162
41.47/41.56	v -163
41.47/41.56	v -164
41.47/41.56	v -165
41.47/41.56	v -166
41.47/41.56	v -167
41.47/41.56	v -168
41.47/41.56	v -169
41.47/41.56	v -170
41.47/41.56	v -171
41.47/41.56	v -172
41.47/41.56	v -173
41.47/41.56	v -174
41.47/41.56	v -175
41.47/41.56	v -176
41.47/41.56	v -177
41.47/41.56	v -178
41.47/41.56	v -179
41.47/41.56	v -180
41.47/41.56	v -181
41.47/41.56	v -182
41.47/41.56	v -183
41.47/41.56	v -184
41.47/41.56	v -185
41.47/41.56	v -186
41.47/41.56	v -187
41.47/41.56	v -188
41.47/41.56	v -189
41.47/41.56	v -190
41.47/41.56	v -191
41.47/41.56	v -192
41.47/41.56	v -193
41.47/41.56	v -194
41.47/41.56	v -195
41.47/41.56	v -196
41.47/41.56	v -197
41.47/41.56	v -198
41.47/41.56	v -199
41.47/41.56	v -200
41.47/41.56	v -201
41.47/41.56	v -202
41.47/41.56	v -203
41.47/41.56	v -204
41.47/41.56	v -205
41.47/41.56	v -206
41.47/41.56	v -207
41.47/41.56	v -208
41.47/41.56	v -209
41.47/41.56	v -210
41.47/41.56	v -211
41.47/41.56	v -212
41.47/41.56	v -213
41.47/41.56	v -214
41.47/41.56	v -215
41.47/41.56	v 216
41.47/41.56	v -217
41.47/41.56	v -218
41.47/41.56	v -219
41.47/41.56	v -220
41.47/41.56	v -221
41.47/41.56	v -222
41.47/41.56	v -223
41.47/41.56	v -224
41.47/41.56	v -225
41.47/41.56	v -226
41.47/41.56	v -227
41.47/41.56	v -228
41.47/41.56	v -229
41.47/41.56	v -230
41.47/41.56	v -231
41.47/41.56	v -232
41.47/41.56	v -233
41.47/41.56	v -234
41.47/41.56	v -235
41.47/41.56	v -236
41.47/41.56	v -237
41.47/41.56	v -238
41.47/41.56	v -239
41.47/41.56	v -240
41.47/41.56	v -241
41.47/41.56	v -242
41.47/41.56	v 243
41.47/41.56	v -244
41.47/41.56	v -245
41.47/41.56	v -246
41.47/41.56	v -247
41.47/41.56	v -248
41.47/41.56	v -249
41.47/41.56	v -250
41.47/41.56	v -251
41.47/41.56	v -252
41.47/41.56	v -253
41.47/41.56	v -254
41.47/41.56	v -255
41.47/41.56	v -256
41.47/41.56	v -257
41.47/41.56	v -258
41.47/41.56	v -259
41.47/41.56	v -260
41.47/41.56	v -261
41.47/41.56	v -262
41.47/41.56	v -263
41.47/41.56	v -264
41.47/41.56	v -265
41.47/41.56	v -266
41.47/41.56	v -267
41.47/41.56	v -268
41.47/41.56	v -269
41.47/41.56	v -270
41.47/41.56	v -271
41.47/41.56	v -272
41.47/41.56	v -273
41.47/41.56	v -274
41.47/41.56	v -275
41.47/41.56	v 276
41.47/41.56	v -277
41.47/41.56	v -278
41.47/41.56	v -279
41.47/41.56	v -280
41.47/41.56	v -281
41.47/41.56	v -282
41.47/41.56	v 283
41.47/41.56	v -284
41.47/41.56	v 285
41.47/41.56	v -286
41.47/41.56	v -287
41.47/41.56	v -288
41.47/41.56	v -289
41.47/41.56	v -290
41.47/41.56	v -291
41.47/41.56	v -292
41.47/41.56	v -293
41.47/41.56	v -294
41.47/41.56	v -295
41.47/41.56	v -296
41.47/41.56	v -297
41.47/41.56	v -298
41.47/41.56	v -299
41.47/41.56	v -300
41.47/41.56	v -301
41.47/41.56	v -302
41.47/41.56	v -303
41.47/41.56	v -304
41.47/41.56	v -305
41.47/41.56	v -306
41.47/41.56	v -307
41.47/41.56	v -308
41.47/41.56	v -309
41.47/41.56	v -310
41.47/41.56	v -311
41.47/41.56	v -312
41.47/41.56	v 313
41.47/41.56	v -314
41.47/41.56	v -315
41.47/41.56	v -316
41.47/41.56	v -317
41.47/41.56	v -318
41.47/41.56	v -319
41.47/41.56	v -320
41.47/41.56	v -321
41.47/41.56	v -322
41.47/41.56	v -323
41.47/41.56	v -324
41.47/41.56	v -325
41.47/41.56	v -326
41.47/41.56	v -327
41.47/41.56	v -328
41.47/41.56	v -329
41.47/41.56	v -330
41.47/41.56	v -331
41.47/41.56	v -332
41.47/41.56	v -333
41.47/41.56	v -334
41.47/41.56	v -335
41.47/41.56	v -336
41.47/41.56	v -337
41.47/41.56	v -338
41.47/41.56	v -339
41.47/41.56	v -340
41.47/41.56	v -341
41.47/41.56	v -342
41.47/41.56	v -343
41.47/41.56	v -344
41.47/41.56	v -345
41.47/41.56	v -346
41.47/41.56	v -347
41.47/41.56	v -348
41.47/41.56	v -349
41.47/41.56	v -350
41.47/41.56	v -351
41.47/41.56	v -352
41.47/41.56	v -353
41.47/41.56	v -354
41.47/41.56	v -355
41.47/41.56	v -356
41.47/41.56	v -357
41.47/41.56	v -358
41.47/41.56	v -359
41.47/41.56	v 360
41.47/41.56	v -361
41.47/41.56	v -362
41.47/41.56	v -363
41.47/41.56	v -364
41.47/41.56	v -365
41.47/41.56	v -366
41.47/41.56	v -367
41.47/41.56	v -368
41.47/41.56	v -369
41.47/41.56	v -370
41.47/41.56	v -371
41.47/41.56	v -372
41.47/41.56	v -373
41.47/41.56	v -374
41.47/41.56	v -375
41.47/41.56	v -376
41.47/41.56	v -377
41.47/41.56	v -378
41.47/41.56	v -379
41.47/41.56	v -380
41.47/41.56	v -381
41.47/41.56	v -382
41.47/41.56	v -383
41.47/41.56	v -384
41.47/41.56	v -385
41.47/41.56	v -386
41.47/41.56	v -387
41.47/41.56	v -388
41.47/41.56	v -389
41.47/41.56	v -390
41.47/41.56	v -391
41.47/41.56	v -392
41.47/41.56	v -393
41.47/41.56	v -394
41.47/41.56	v -395
41.47/41.56	v 396
41.47/41.56	v -397
41.47/41.56	v -398
41.47/41.56	v -399
41.47/41.56	v -400
41.47/41.56	v -401
41.47/41.56	v -402
41.47/41.56	v -403
41.47/41.56	v -404
41.47/41.56	v -405
41.47/41.56	v -406
41.47/41.56	v -407
41.47/41.56	v -408
41.47/41.56	v -409
41.47/41.56	v -410
41.47/41.56	v -411
41.47/41.56	v 412
41.47/41.56	v -413
41.47/41.56	v -414
41.47/41.56	v -415
41.47/41.56	v -416
41.47/41.56	v -417
41.47/41.56	v -418
41.47/41.56	v -419
41.47/41.56	v -420
41.47/41.56	v -421
41.47/41.56	v -422
41.47/41.56	v -423
41.47/41.56	v -424
41.47/41.56	v -425
41.47/41.56	v -426
41.47/41.56	v -427
41.47/41.56	v -428
41.47/41.56	v -429
41.47/41.56	v -430
41.47/41.56	v -431
41.47/41.56	v -432
41.47/41.56	v -433
41.47/41.56	v -434
41.47/41.56	v -435
41.47/41.56	v -436
41.47/41.56	v -437
41.47/41.56	v -438
41.47/41.56	v 439
41.47/41.56	v -440
41.47/41.56	v -441
41.47/41.56	v -442
41.47/41.56	v -443
41.47/41.56	v -444
41.47/41.56	v -445
41.47/41.56	v -446
41.47/41.56	v -447
41.47/41.56	v -448
41.47/41.56	v -449
41.47/41.56	v -450
41.47/41.56	v -451
41.47/41.56	v -452
41.47/41.56	v -453
41.47/41.56	v -454
41.47/41.56	v -455
41.47/41.56	v -456
41.47/41.56	v -457
41.47/41.56	v -458
41.47/41.56	v -459
41.47/41.56	v -460
41.47/41.56	v -461
41.47/41.56	v -462
41.47/41.56	v -463
41.47/41.56	v -464
41.47/41.56	v -465
41.47/41.56	v -466
41.47/41.56	v -467
41.47/41.56	v -468
41.47/41.56	v -469
41.47/41.56	v -470
41.47/41.56	v -471
41.47/41.56	v -472
41.47/41.56	v -473
41.47/41.56	v -474
41.47/41.56	v 475
41.47/41.56	v -476
41.47/41.56	v -477
41.47/41.56	v -478
41.47/41.56	v -479
41.47/41.56	v -480
41.47/41.56	v -481
41.47/41.56	v -482
41.47/41.56	v -483
41.47/41.56	v -484
41.47/41.56	v -485
41.47/41.56	v -486
41.47/41.56	v -487
41.47/41.56	v -488
41.47/41.56	v -489
41.47/41.56	v -490
41.47/41.56	v -491
41.47/41.56	v -492
41.47/41.56	v -493
41.47/41.56	v -494
41.47/41.56	v -495
41.47/41.56	v -496
41.47/41.56	v -497
41.47/41.56	v -498
41.47/41.56	v -499
41.47/41.56	v -500
41.47/41.56	v -501
41.47/41.56	v -502
41.47/41.56	v -503
41.47/41.56	v -504
41.47/41.56	v -505
41.47/41.56	v -506
41.47/41.56	v -507
41.47/41.56	v -508
41.47/41.56	v -509
41.47/41.56	v -510
41.47/41.56	v 511
41.47/41.56	v -512
41.47/41.56	v -513
41.47/41.56	v -514
41.47/41.56	v -515
41.47/41.56	v -516
41.47/41.56	v -517
41.47/41.56	v -518
41.47/41.56	v -519
41.47/41.56	v -520
41.47/41.56	v -521
41.47/41.56	v -522
41.47/41.56	v -523
41.47/41.56	v -524
41.47/41.56	v -525
41.47/41.56	v -526
41.47/41.56	v -527
41.47/41.56	v -528
41.47/41.56	v -529
41.47/41.56	v -530
41.47/41.56	v -531
41.47/41.56	v -532
41.47/41.56	v -533
41.47/41.56	v -534
41.47/41.56	v -535
41.47/41.56	v -536
41.47/41.56	v -537
41.47/41.56	v -538
41.47/41.56	v 539
41.47/41.56	v -540
41.47/41.56	v -541
41.47/41.56	v -542
41.47/41.56	v -543
41.47/41.56	v -544
41.47/41.56	v -545
41.47/41.56	v -546
41.47/41.56	v -547
41.47/41.56	v -548
41.47/41.56	v -549
41.47/41.56	v -550
41.47/41.56	v -551
41.47/41.56	v -552
41.47/41.56	v -553
41.47/41.56	v -554
41.47/41.56	v -555
41.47/41.56	v -556
41.47/41.56	v -557
41.47/41.56	v -558
41.47/41.56	v -559
41.47/41.56	v 560
41.47/41.56	v -561
41.47/41.56	v -562
41.47/41.56	v -563
41.47/41.56	v -564
41.47/41.56	v -565
41.47/41.56	v -566
41.47/41.56	v -567
41.47/41.56	v -568
41.47/41.56	v -569
41.47/41.56	v -570
41.47/41.56	v -571
41.47/41.56	v -572
41.47/41.56	v -573
41.47/41.56	v -574
41.47/41.56	v -575
41.47/41.56	v -576
41.47/41.56	v -577
41.47/41.56	v -578
41.47/41.56	v -579
41.47/41.56	v -580
41.47/41.56	v -581
41.47/41.56	v -582
41.47/41.56	v -583
41.47/41.56	v -584
41.47/41.56	v -585
41.47/41.56	v -586
41.47/41.56	v -587
41.47/41.56	v -588
41.47/41.56	v -589
41.47/41.56	v 590
41.47/41.56	v -591
41.47/41.56	v -592
41.47/41.56	v -593
41.47/41.56	v -594
41.47/41.56	v -595
41.47/41.56	v -596
41.47/41.56	v -597
41.47/41.56	v -598
41.47/41.56	v -599
41.47/41.56	v -600
41.47/41.56	v -601
41.47/41.56	v -602
41.47/41.56	v -603
41.47/41.56	v -604
41.47/41.56	v -605
41.47/41.56	v -606
41.47/41.56	v -607
41.47/41.56	v -608
41.47/41.56	v -609
41.47/41.56	v -610
41.47/41.56	v -611
41.47/41.56	v -612
41.47/41.56	v -613
41.47/41.56	v -614
41.47/41.56	v -615
41.47/41.56	v -616
41.47/41.56	v -617
41.47/41.56	v -618
41.47/41.56	v -619
41.47/41.56	v -620
41.47/41.56	v -621
41.47/41.56	v -622
41.47/41.56	v -623
41.47/41.56	v -624
41.47/41.56	v -625
41.47/41.56	v -626
41.47/41.56	v -627
41.47/41.56	v -628
41.47/41.56	v -629
41.47/41.56	v -630
41.47/41.56	v -631
41.47/41.56	v -632
41.47/41.56	v -633
41.47/41.56	v -634
41.47/41.56	v -635
41.47/41.56	v -636
41.47/41.56	v -637
41.47/41.56	v 638
41.47/41.56	v -639
41.47/41.56	v -640
41.47/41.56	v -641
41.47/41.56	v -642
41.47/41.56	v -643
41.47/41.56	v -644
41.47/41.56	v -645
41.47/41.56	v -646
41.47/41.56	v -647
41.47/41.56	v -648
41.47/41.56	v -649
41.47/41.56	v -650
41.47/41.56	v -651
41.47/41.56	v -652
41.47/41.56	v -653
41.47/41.56	v -654
41.47/41.56	v -655
41.47/41.56	v -656
41.47/41.56	v -657
41.47/41.56	v -658
41.47/41.56	v -659
41.47/41.56	v -660
41.47/41.56	v -661
41.47/41.56	v 662
41.47/41.56	v -663
41.47/41.56	v -664
41.47/41.56	v -665
41.47/41.56	v -666
41.47/41.56	v -667
41.47/41.56	v -668
41.47/41.56	v -669
41.47/41.56	v -670
41.47/41.56	v -671
41.47/41.56	v -672
41.47/41.56	v -673
41.47/41.56	v -674
41.47/41.56	v -675
41.47/41.56	v -676
41.47/41.56	v -677
41.47/41.56	v -678
41.47/41.56	v -679
41.47/41.56	v -680
41.47/41.56	v -681
41.47/41.56	v -682
41.47/41.56	v -683
41.47/41.56	v -684
41.47/41.56	v -685
41.47/41.56	v -686
41.47/41.56	v -687
41.47/41.56	v -688
41.47/41.56	v -689
41.47/41.56	v 690
41.47/41.56	v -691
41.47/41.56	v -692
41.47/41.56	v -693
41.47/41.56	v -694
41.47/41.56	v 695
41.47/41.56	v 696
41.47/41.56	v -697
41.47/41.56	v -698
41.47/41.56	v -699
41.47/41.56	v -700
41.47/41.56	v -701
41.47/41.56	v -702
41.47/41.56	v -703
41.47/41.56	v -704
41.47/41.56	v -705
41.47/41.56	v -706
41.47/41.56	v -707
41.47/41.56	v -708
41.47/41.56	v -709
41.47/41.56	v -710
41.47/41.56	v 711
41.47/41.56	v -712
41.47/41.56	v 713
41.47/41.56	v -714
41.47/41.56	v -715
41.47/41.56	v -716
41.47/41.56	v -717
41.47/41.56	v -718
41.47/41.56	v -719
41.47/41.56	v -720
41.47/41.56	v 721
41.47/41.56	v -722
41.47/41.56	v -723
41.47/41.56	v -724
41.47/41.56	v -725
41.47/41.56	v 726
41.47/41.56	v 727
41.47/41.56	v -728
41.47/41.56	v -729
41.47/41.56	v -730
41.47/41.56	v -731
41.47/41.56	v -732
41.47/41.56	v -733
41.47/41.56	v -734
41.47/41.56	v -735
41.47/41.56	v -736
41.47/41.56	v -737
41.47/41.56	v -738
41.47/41.56	v -739
41.47/41.56	v -740
41.47/41.56	v -741
41.47/41.56	v 742
41.47/41.56	v -743
41.47/41.56	v 744
41.47/41.56	v -745
41.47/41.56	v -746
41.47/41.56	v -747
41.47/41.56	v -748
41.47/41.56	v -749
41.47/41.56	v -750
41.47/41.56	v -751
41.47/41.56	v 752
41.47/41.56	v -753
41.47/41.56	v -754
41.47/41.56	v -755
41.47/41.56	v -756
41.47/41.56	v 757
41.47/41.56	v 758
41.47/41.56	v -759
41.47/41.56	v -760
41.47/41.56	v -761
41.47/41.56	v -762
41.47/41.56	v -763
41.47/41.56	v -764
41.47/41.56	v -765
41.47/41.56	v -766
41.47/41.56	v -767
41.47/41.56	v -768
41.47/41.56	v 769
41.47/41.56	v -770
41.47/41.56	v -771
41.47/41.56	v -772
41.47/41.56	v 773
41.47/41.56	v -774
41.47/41.56	v 775
41.47/41.56	v -776
41.47/41.56	v -777
41.47/41.56	v -778
41.47/41.56	v -779
41.47/41.56	v -780
41.47/41.56	v -781
41.47/41.56	v -782
41.47/41.56	v 783
41.47/41.56	v -784
41.47/41.56	v -785
41.47/41.56	v -786
41.47/41.56	v -787
41.47/41.56	v 788
41.47/41.56	v 789
41.47/41.56	v -790
41.47/41.56	v -791
41.47/41.56	v 792
41.47/41.56	v -793
41.47/41.56	v -794
41.47/41.56	v 795
41.47/41.56	v 796
41.47/41.56	v -797
41.47/41.56	v 798
41.47/41.56	v -799
41.47/41.56	v 800
41.47/41.56	v -801
41.47/41.56	v 802
41.47/41.56	v -803
41.47/41.56	v 804
41.47/41.56	v -805
41.47/41.56	v 806
41.47/41.56	v -807
41.47/41.56	v -808
41.47/41.56	v -809
41.47/41.56	v -810
41.47/41.56	v -811
41.47/41.56	v -812
41.47/41.56	v -813
41.47/41.56	v 814
41.47/41.56	v -815
41.47/41.56	v -816
41.47/41.56	v -817
41.47/41.56	v -818
41.47/41.56	v 819
41.47/41.56	v 820
41.47/41.56	v -821
41.47/41.56	v 822
41.47/41.56	v 823
41.47/41.56	v -824
41.47/41.56	v -825
41.47/41.56	v 826
41.47/41.56	v 827
41.47/41.56	v -828
41.47/41.56	v 829
41.47/41.56	v -830
41.47/41.56	v 831
41.47/41.56	v -832
41.47/41.56	v 833
41.47/41.56	v -834
41.47/41.56	v 835
41.47/41.56	v -836
41.47/41.56	v 837
41.47/41.56	v -838
41.47/41.56	v -839
41.47/41.56	v -840
41.47/41.56	v -841
41.47/41.56	v -842
41.47/41.56	v -843
41.47/41.56	v -844
41.47/41.56	v 845
41.47/41.56	v -846
41.47/41.56	v -847
41.47/41.56	v -848
41.47/41.56	v -849
41.47/41.56	v 850
41.47/41.56	v 851
41.47/41.56	v -852
41.47/41.56	v 853
41.47/41.56	v 854
41.47/41.56	v -855
41.47/41.56	v -856
41.47/41.56	v 857
41.47/41.56	v 858
41.47/41.56	v 859
41.47/41.56	v 860
41.47/41.56	v -861
41.47/41.56	v 862
41.47/41.56	v -863
41.47/41.56	v 864
41.47/41.56	v -865
41.47/41.56	v 866
41.47/41.56	v -867
41.47/41.56	v 868
41.47/41.56	v -869
41.47/41.56	v -870
41.47/41.56	v -871
41.47/41.56	v -872
41.47/41.56	v -873
41.47/41.56	v -874
41.47/41.56	v 875
41.47/41.56	v 876
41.47/41.56	v -877
41.47/41.56	v -878
41.47/41.56	v -879
41.47/41.56	v -880
41.47/41.56	v 881
41.47/41.56	v 882
41.47/41.56	v -883
41.47/41.56	v 884
41.47/41.56	v 885
41.47/41.56	v -886
41.47/41.56	v -887
41.47/41.56	v 888
41.47/41.56	v 889
41.47/41.56	v 890
41.47/41.56	v 891
41.47/41.56	v -892
41.47/41.56	v 893
41.47/41.56	v -894
41.47/41.56	v 895
41.47/41.56	v -896
41.47/41.56	v 897
41.47/41.56	v -898
41.47/41.56	v 899
41.47/41.56	v -900
41.47/41.56	v -901
41.47/41.56	v -902
41.47/41.56	v -903
41.47/41.56	v -904
41.47/41.56	v -905
41.47/41.56	v 906
41.47/41.56	v 907
41.47/41.56	v -908
41.47/41.56	v -909
41.47/41.56	v -910
41.47/41.56	v -911
41.47/41.56	v 912
41.47/41.56	v 913
41.47/41.56	v -914
41.47/41.56	v 915
41.47/41.56	v 916
41.47/41.56	v -917
41.47/41.56	v -918
41.47/41.56	v 919
41.47/41.56	v 920
41.47/41.56	v 921
41.47/41.56	v 922
41.47/41.56	v -923
41.47/41.56	v 924
41.47/41.56	v -925
41.47/41.56	v 926
41.47/41.56	v -927
41.47/41.56	v 928
41.47/41.56	v 929
41.47/41.56	v 930
41.47/41.56	v -931
41.47/41.56	v -932
41.47/41.56	v -933
41.47/41.56	v -934
41.47/41.56	v -935
41.47/41.56	v -936
41.47/41.56	v 937
41.47/41.56	v 938
41.47/41.56	v -939
41.47/41.56	v -940
41.47/41.56	v -941
41.47/41.56	v -942
41.47/41.56	v 943
41.47/41.56	v 944
41.47/41.56	v -945
41.47/41.56	v 946
41.47/41.56	v 947
41.47/41.56	v -948
41.47/41.56	v -949
41.47/41.56	v 950
41.47/41.56	v 951
41.47/41.56	v 952
41.47/41.56	v 953
41.47/41.56	v -954
41.47/41.56	v 955
41.47/41.56	v 956
41.47/41.56	v 957
41.47/41.56	v -958
41.47/41.56	v 959
41.47/41.56	v 960
41.47/41.56	v 961
41.47/41.56	v -962
41.47/41.56	v -963
41.47/41.56	v -964
41.47/41.56	v -965
41.47/41.56	v -966
41.47/41.56	v -967
41.47/41.56	v 968
41.47/41.56	v 969
41.47/41.56	v -970
41.47/41.56	v -971
41.47/41.56	v -972
41.47/41.56	v -973
41.47/41.56	v 974
41.47/41.56	v 975
41.47/41.56	v -976
41.47/41.56	v 977
41.47/41.56	v 978
41.47/41.56	v -979
41.47/41.56	v -980
41.47/41.56	v 981
41.47/41.56	v 982
41.47/41.56	v 983
41.47/41.56	v 984
41.47/41.56	v -985
41.47/41.56	v 986
41.47/41.56	v 987
41.47/41.56	v 988
41.47/41.56	v 989
41.47/41.56	v 990
41.47/41.56	v 991
41.47/41.56	v 992
41.47/41.56	v -993
41.47/41.56	v -994
41.47/41.56	v -995
41.47/41.56	v 996
41.47/41.56	v -997
41.47/41.56	v 998
41.47/41.56	v 999
41.47/41.56	v 1000
41.47/41.56	v -1001
41.47/41.56	v -1002
41.47/41.56	v -1003
41.47/41.56	v -1004
41.47/41.56	v 1005
41.47/41.56	v 1006
41.47/41.56	v -1007
41.47/41.56	v 1008
41.47/41.56	v 1009
41.47/41.56	v -1010
41.47/41.56	v -1011
41.47/41.56	v 1012
41.47/41.56	v 1013
41.47/41.56	v 1014
41.47/41.56	v 1015
41.47/41.56	v -1016
41.47/41.56	v 1017
41.47/41.56	v 1018
41.47/41.56	v 1019
41.47/41.56	v 1020
41.47/41.56	v 1021
41.47/41.56	v 1022
41.47/41.56	v 1023
41.47/41.56	v -1024
41.47/41.56	v -1025
41.47/41.56	v 1026
41.47/41.56	v 1027
41.47/41.56	v -1028
41.47/41.56	v 1029
41.47/41.56	v 1030
41.47/41.56	v 1031
41.47/41.56	v -1032
41.47/41.56	v -1033
41.47/41.56	v -1034
41.47/41.56	v -1035
41.47/41.56	v 1036
41.47/41.56	v 1037
41.47/41.56	v -1038
41.47/41.56	v 1039
41.47/41.56	v 1040
41.47/41.56	v -1041
41.47/41.56	v -1042
41.47/41.56	v 1043
41.47/41.56	v 1044
41.47/41.56	v 1045
41.47/41.56	v 1046
41.47/41.56	v -1047
41.47/41.56	v 1048
41.47/41.56	v 1049
41.47/41.56	v 1050
41.47/41.56	v 1051
41.47/41.56	v 1052
41.47/41.56	v 1053
41.47/41.56	v 1054
41.47/41.56	v -1055
41.47/41.56	v -1056
41.47/41.56	v 1057
41.47/41.56	v 1058
41.47/41.56	v -1059
41.47/41.56	v 1060
41.47/41.56	v 1061
41.47/41.56	v 1062
41.47/41.56	v -1063
41.47/41.56	v -1064
41.47/41.56	v -1065
41.47/41.56	v -1066
41.47/41.56	v 1067
41.47/41.56	v 1068
41.47/41.56	v -1069
41.47/41.56	v 1070
41.47/41.56	v 1071
41.47/41.56	v -1072
41.47/41.56	v 1073
41.47/41.56	v 1074
41.47/41.56	v 1075
41.47/41.56	v 1076
41.47/41.56	v 1077
41.47/41.56	v -1078
41.47/41.56	v 1079
41.47/41.56	v 1080
41.47/41.56	v 1081
41.47/41.56	v 1082
41.47/41.56	v 1083
41.47/41.56	v 1084
41.47/41.56	v 1085
41.47/41.56	v -1086
41.47/41.56	v -1087
41.47/41.56	v 1088
41.47/41.56	v 1089
41.47/41.56	v -1090
41.47/41.56	v 1091
41.47/41.56	v 1092
41.47/41.56	v 1093
41.47/41.56	v -1094
41.47/41.56	v -1095
41.47/41.56	v -1096
41.47/41.56	v -1097
41.47/41.56	v 1098
41.47/41.56	v 1099
41.47/41.56	v -1100
41.47/41.56	v 1101
41.47/41.56	v 1102
41.47/41.56	v -1103
41.47/41.56	v 1104
41.47/41.56	v 1105
41.47/41.56	v 1106
41.47/41.56	v 1107
41.47/41.56	v 1108
41.47/41.56	v 1109
41.47/41.56	v 1110
41.47/41.56	v 1111
41.47/41.56	v 1112
41.47/41.56	v 1113
41.47/41.56	v 1114
41.47/41.56	v 1115
41.47/41.56	v 1116
41.47/41.56	v -1117
41.47/41.56	v -1118
41.47/41.56	v 1119
41.47/41.56	v 1120
41.47/41.56	v -1121
41.47/41.56	v 1122
41.47/41.56	v 1123
41.47/41.56	v 1124
41.47/41.56	v 1125
41.47/41.56	v -1126
41.47/41.56	v -1127
41.47/41.56	v -1128
41.47/41.56	v 1129
41.47/41.56	v 1130
41.47/41.56	v -1131
41.47/41.56	v 1132
41.47/41.56	v 1133
41.47/41.56	v -1134
41.47/41.56	v 1135
41.47/41.56	v 1136
41.47/41.56	v 1137
41.47/41.56	v 1138
41.47/41.56	v 1139
41.47/41.56	v 1140
41.47/41.56	v 1141
41.47/41.56	v 1142
41.47/41.56	v 1143
41.47/41.56	v 1144
41.47/41.56	v 1145
41.47/41.56	v 1146
41.47/41.56	v 1147
41.47/41.56	v -1148
41.47/41.56	v -1149
41.47/41.56	v 1150
41.47/41.56	v 1151
41.47/41.56	v 1152
41.47/41.56	v 1153
41.47/41.56	v 1154
41.47/41.56	v 1155
41.47/41.56	v 1156
41.47/41.56	v -1157
41.47/41.56	v -1158
41.47/41.56	v -1159
41.47/41.56	v 1160
41.47/41.56	v 1161
41.47/41.56	v -1162
41.47/41.56	v 1163
41.47/41.56	v 1164
41.47/41.56	v -1165
41.47/41.56	v 1166
41.47/41.56	v 1167
41.47/41.56	v 1168
41.47/41.56	v 1169
41.47/41.56	v 1170
41.47/41.56	v 1171
41.47/41.56	v 1172
41.47/41.56	v 1173
41.47/41.56	v 1174
41.47/41.56	v 1175
41.47/41.56	v 1176
41.47/41.56	v 1177
41.47/41.56	v 1178
41.47/41.56	v -1179
41.47/41.56	v -1180
41.47/41.56	v 1181
41.47/41.56	v 1182
41.47/41.56	v 1183
41.47/41.56	v 1184
41.47/41.56	v 1185
41.47/41.56	v 1186
41.47/41.56	v 1187
41.47/41.56	v 1188
41.47/41.56	v -1189
41.47/41.56	v -1190
41.47/41.56	v 1191
41.47/41.56	v 1192
41.47/41.56	v -1193
41.47/41.56	v 1194
41.47/41.56	v 1195
41.47/41.56	v -1196
41.47/41.56	v 1197
41.47/41.57	v 1198
41.47/41.57	v 1199
41.47/41.57	v 1200
41.47/41.57	v 1201
41.47/41.57	v 1202
41.47/41.57	v 1203
41.47/41.57	v 1204
41.47/41.57	v 1205
41.47/41.57	v 1206
41.47/41.57	v 1207
41.47/41.57	v 1208
41.47/41.57	v 1209
41.47/41.57	v -1210
41.47/41.57	v -1211
41.47/41.57	v 1212
41.47/41.57	v 1213
41.47/41.57	v 1214
41.47/41.57	v 1215
41.47/41.57	v 1216
41.47/41.57	v 1217
41.47/41.57	v 1218
41.47/41.57	v 1219
41.47/41.57	v -1220
41.47/41.57	v -1221
41.47/41.57	v 1222
41.47/41.57	v 1223
41.47/41.57	v 1224
41.47/41.57	v 1225
41.47/41.57	v 1226
41.47/41.57	v -1227
41.47/41.57	v 1228
41.47/41.57	v 1229
41.47/41.57	v 1230
41.47/41.57	v 1231
41.47/41.57	v 1232
41.47/41.57	v 1233
41.47/41.57	v 1234
41.47/41.57	v 1235
41.47/41.57	v 1236
41.47/41.57	v 1237
41.47/41.57	v 1238
41.47/41.57	v 1239
41.47/41.57	v 1240
41.47/41.57	v -1241
41.47/41.57	v -1242
41.47/41.57	v 1243
41.47/41.57	v 1244
41.47/41.57	v 1245
41.47/41.57	v 1246
41.47/41.57	v 1247
41.47/41.57	v 1248
41.47/41.57	v 1249
41.47/41.57	v 1250
41.47/41.57	v -1251
41.47/41.57	v 1252
41.47/41.57	v 1253
41.47/41.57	v 1254
41.47/41.57	v 1255
41.47/41.57	v 1256
41.47/41.57	v 1257
41.47/41.57	v -1258
41.47/41.57	v 1259
41.47/41.57	v 1260
41.47/41.57	v 1261
41.47/41.57	v 1262
41.47/41.57	v 1263
41.47/41.57	v 1264
41.47/41.57	v 1265
41.47/41.57	v 1266
41.47/41.57	v 1267
41.47/41.57	v 1268
41.47/41.57	v 1269
41.47/41.57	v 1270
41.47/41.57	v 1271
41.47/41.57	v -1272
41.47/41.57	v 1273
41.47/41.57	v 1274
41.47/41.57	v 1275
41.47/41.57	v 1276
41.47/41.57	v 1277
41.47/41.57	v 1278
41.47/41.57	v 1279
41.47/41.57	v 1280
41.47/41.57	v 1281
41.47/41.57	v -1282
41.47/41.57	v 1283
41.47/41.57	v 1284
41.47/41.57	v 1285
41.47/41.57	v 1286
41.47/41.57	v 1287
41.47/41.57	v 1288
41.47/41.57	v -1289
41.47/41.57	v 1290
41.47/41.57	v 1291
41.47/41.57	v 1292
41.47/41.57	v 1293
41.47/41.57	v 1294
41.47/41.57	v 1295
41.47/41.57	v 1296
41.47/41.57	v 1297
41.47/41.57	v 1298
41.47/41.57	v 1299
41.47/41.57	v 1300
41.47/41.57	v 1301
41.47/41.57	v 1302
41.47/41.57	v 1303
41.47/41.57	v 1304
41.47/41.57	v 1305
41.47/41.57	v 1306
41.47/41.57	v 1307
41.47/41.57	v 1308
41.47/41.57	v 1309
41.47/41.57	v 1310
41.47/41.57	v 1311
41.47/41.57	v 1312
41.47/41.57	v -1313
41.47/41.57	v 1314
41.47/41.57	v 1315
41.47/41.57	v 1316
41.47/41.57	v 1317
41.47/41.57	v 1318
41.47/41.57	v 1319
41.47/41.57	v -1320
41.47/41.57	v 1321
41.47/41.57	v 1322
41.47/41.57	v 1323
41.47/41.57	v 1324
41.47/41.57	v 1325
41.47/41.57	v 1326
41.47/41.57	v 1327
41.47/41.57	v 1328
41.47/41.57	v 1329
41.47/41.57	v 1330
41.47/41.57	v 1331
41.47/41.57	v 1332
41.47/41.57	v 1333
41.47/41.57	v 1334
41.47/41.57	v 1335
41.47/41.57	v 1336
41.47/41.57	v 1337
41.47/41.57	v 1338
41.47/41.57	v 1339
41.47/41.57	v 1340
41.47/41.57	v 1341
41.47/41.57	v 1342
41.47/41.57	v 1343
41.47/41.57	v -1344
41.47/41.57	v 1345
41.47/41.57	v 1346
41.47/41.57	v 1347
41.47/41.57	v 1348
41.47/41.57	v 1349
41.47/41.57	v 1350
41.47/41.57	v 1351
41.47/41.57	v 1352
41.47/41.57	v 1353
41.47/41.57	v 1354
41.47/41.57	v 1355
41.47/41.57	v 1356
41.47/41.57	v 1357
41.47/41.57	v 1358
41.47/41.57	v 1359
41.47/41.57	v 1360
41.47/41.57	v 1361
41.47/41.57	v 1362
41.47/41.57	v 1363
41.47/41.57	v 1364
41.47/41.57	v 1365
41.47/41.57	v 1366
41.47/41.57	v 1367
41.47/41.57	v 1368
41.47/41.57	v 1369
41.47/41.57	v 1370
41.47/41.57	v 1371
41.47/41.57	v 1372
41.47/41.57	v -1373
41.47/41.57	v -1374
41.47/41.57	v -1375
41.47/41.57	v 1376
41.47/41.57	v 1377
41.47/41.57	v -1378
41.47/41.57	v 1379
41.47/41.57	v 1380
41.47/41.57	v 1381
41.47/41.57	v -1382
41.47/41.57	v -1383
41.47/41.57	v -1384
41.47/41.57	v -1385
41.47/41.57	v -1386
41.47/41.57	v -1387
41.47/41.57	v -1388
41.47/41.57	v -1389
41.47/41.57	v -1390
41.47/41.57	v -1391
41.47/41.57	v -1392
41.47/41.57	v -1393
41.47/41.57	v 1394
41.47/41.57	v -1395
41.47/41.57	v -1396
41.47/41.57	v -1397
41.47/41.57	v -1398
41.47/41.57	v -1399
41.47/41.57	v -1400
41.47/41.57	v -1401
41.47/41.57	v -1402
41.47/41.57	v -1403
41.47/41.57	v -1404
41.47/41.57	v -1405
41.47/41.57	v -1406
41.47/41.57	v -1407
41.47/41.57	v -1408
41.47/41.57	v -1409
41.47/41.57	v -1410
41.47/41.57	v -1411
41.47/41.57	v -1412
41.47/41.57	v -1413
41.47/41.57	v -1414
41.47/41.57	v -1415
41.47/41.57	v -1416
41.47/41.57	v -1417
41.47/41.57	v -1418
41.47/41.57	v -1419
41.47/41.57	v -1420
41.47/41.57	v -1421
41.47/41.57	v -1422
41.47/41.57	v -1423
41.47/41.57	v -1424
41.47/41.57	v -1425
41.47/41.57	v -1426
41.47/41.57	v -1427
41.47/41.57	v -1428
41.47/41.57	v -1429
41.47/41.57	v -1430
41.47/41.57	v -1431
41.47/41.57	v -1432
41.47/41.57	v 1433
41.47/41.57	v -1434
41.47/41.57	v -1435
41.47/41.57	v -1436
41.47/41.57	v -1437
41.47/41.57	v 1438
41.47/41.57	v -1439
41.47/41.57	v -1440
41.47/41.57	v -1441
41.47/41.57	v 1442
41.47/41.57	v 1443
41.47/41.57	v 1444
41.47/41.57	v 1445
41.47/41.57	v 1446
41.47/41.57	v 1447
41.47/41.57	v 1448
41.47/41.57	v 1449
41.47/41.57	v 1450
41.47/41.57	v 1451
41.47/41.57	v 1452
41.47/41.57	v 1453
41.47/41.57	v -1454
41.47/41.57	v -1455
41.47/41.57	v -1456
41.47/41.57	v -1457
41.47/41.57	v -1458
41.47/41.57	v -1459
41.47/41.57	v -1460
41.47/41.57	v -1461
41.47/41.57	v -1462
41.47/41.57	v -1463
41.47/41.57	v -1464
41.47/41.57	v -1465
41.47/41.57	v -1466
41.47/41.57	v -1467
41.47/41.57	v -1468
41.47/41.57	v -1469
41.47/41.57	v -1470
41.47/41.57	v -1471
41.47/41.57	v -1472
41.47/41.57	v -1473
41.47/41.57	v -1474
41.47/41.57	v -1475
41.47/41.57	v -1476
41.47/41.57	v -1477
41.47/41.57	v -1478
41.47/41.57	v -1479
41.47/41.57	v -1480
41.47/41.57	v -1481
41.47/41.57	v -1482
41.47/41.57	v -1483
41.47/41.57	v -1484
41.47/41.57	v -1485
41.47/41.57	v -1486
41.47/41.57	v -1487
41.47/41.57	v -1488
41.47/41.57	v -1489
41.47/41.57	v -1490
41.47/41.57	v -1491
41.47/41.57	v -1492
41.47/41.57	v -1493
41.47/41.57	v -1494
41.47/41.57	v -1495
41.47/41.57	v -1496
41.47/41.57	v -1497
41.47/41.57	v -1498
41.47/41.57	v -1499
41.47/41.57	v -1500
41.47/41.57	v -1501
41.47/41.57	v -1502
41.47/41.57	v -1503
41.47/41.57	v -1504
41.47/41.57	v -1505
41.47/41.57	v -1506
41.47/41.57	v -1507
41.47/41.57	v -1508
41.47/41.57	v -1509
41.47/41.57	v -1510
41.47/41.57	v -1511
41.47/41.57	v -1512
41.47/41.57	v -1513
41.47/41.57	v -1514
41.47/41.57	v -1515
41.47/41.57	v -1516
41.47/41.57	v -1517
41.47/41.57	v -1518
41.47/41.57	v -1519
41.47/41.57	v -1520
41.47/41.57	v -1521
41.47/41.57	v -1522
41.47/41.57	v -1523
41.47/41.57	v -1524
41.47/41.57	v -1525
41.47/41.57	v -1526
41.47/41.57	v -1527
41.47/41.57	v -1528
41.47/41.57	v -1529
41.47/41.57	v -1530
41.47/41.57	v -1531
41.47/41.57	v -1532
41.47/41.57	v -1533
41.47/41.57	v -1534
41.47/41.57	v -1535
41.47/41.57	v -1536
41.47/41.57	v -1537
41.47/41.57	v -1538
41.47/41.57	v -1539
41.47/41.57	v -1540
41.47/41.57	v -1541
41.47/41.57	v -1542
41.47/41.57	v -1543
41.47/41.57	v -1544
41.47/41.57	v -1545
41.47/41.57	v -1546
41.47/41.57	v -1547
41.47/41.57	v -1548
41.47/41.57	v -1549
41.47/41.57	v -1550
41.47/41.57	v -1551
41.47/41.57	v -1552
41.47/41.57	v -1553
41.47/41.57	v -1554
41.47/41.57	v -1555
41.47/41.57	v -1556
41.47/41.57	v -1557
41.47/41.57	v -1558
41.47/41.57	v -1559
41.47/41.57	v -1560
41.47/41.57	v -1561
41.47/41.57	v -1562
41.47/41.57	v -1563
41.47/41.57	v -1564
41.47/41.57	v -1565
41.47/41.57	v -1566
41.47/41.57	v -1567
41.47/41.57	v -1568
41.47/41.57	v -1569
41.47/41.57	v -1570
41.47/41.57	v -1571
41.47/41.57	v -1572
41.47/41.57	v -1573
41.47/41.57	v -1574
41.47/41.57	v -1575
41.47/41.57	v -1576
41.47/41.57	v -1577
41.47/41.57	v -1578
41.47/41.57	v -1579
41.47/41.57	v -1580
41.47/41.57	v -1581
41.47/41.57	v -1582
41.47/41.57	v -1583
41.47/41.57	v -1584
41.47/41.57	v -1585
41.47/41.57	v -1586
41.47/41.57	v -1587
41.47/41.57	v -1588
41.47/41.57	v -1589
41.47/41.57	v -1590
41.47/41.57	v -1591
41.47/41.57	v -1592
41.47/41.57	v -1593
41.47/41.57	v -1594
41.47/41.57	v -1595
41.47/41.57	v -1596
41.47/41.57	v -1597
41.47/41.57	v -1598
41.47/41.57	v -1599
41.47/41.57	v -1600
41.47/41.57	v -1601
41.47/41.57	v -1602
41.47/41.57	v -1603
41.47/41.57	v -1604
41.47/41.57	v -1605
41.47/41.57	v -1606
41.47/41.57	v -1607
41.47/41.57	v -1608
41.47/41.57	v -1609
41.47/41.57	v -1610
41.47/41.57	v -1611
41.47/41.57	v -1612
41.47/41.57	v -1613
41.47/41.57	v -1614
41.47/41.57	v -1615
41.47/41.57	v -1616
41.47/41.57	v -1617
41.47/41.57	v -1618
41.47/41.57	v -1619
41.47/41.57	v -1620
41.47/41.57	v -1621
41.47/41.57	v -1622
41.47/41.57	v -1623
41.47/41.57	v -1624
41.47/41.57	v -1625
41.47/41.57	v -1626
41.47/41.57	v -1627
41.47/41.57	v -1628
41.47/41.57	v -1629
41.47/41.57	v -1630
41.47/41.57	v -1631
41.47/41.57	v -1632
41.47/41.57	v -1633
41.47/41.57	v -1634
41.47/41.57	v -1635
41.47/41.57	v -1636
41.47/41.57	v -1637
41.47/41.57	v -1638
41.47/41.57	v -1639
41.47/41.57	v -1640
41.47/41.57	v -1641
41.47/41.57	v -1642
41.47/41.57	v -1643
41.47/41.57	v 1644
41.47/41.57	v 1645
41.47/41.57	v -1646
41.47/41.57	v -1647
41.47/41.57	v -1648
41.47/41.57	v -1649
41.47/41.57	v -1650
41.47/41.57	v -1651
41.47/41.57	v -1652
41.47/41.57	v -1653
41.47/41.57	v -1654
41.47/41.57	v -1655
41.47/41.57	v -1656
41.47/41.57	v -1657
41.47/41.57	v -1658
41.47/41.57	v -1659
41.47/41.57	v -1660
41.47/41.57	v -1661
41.47/41.57	v -1662
41.47/41.57	v -1663
41.47/41.57	v -1664
41.47/41.57	v -1665
41.47/41.57	v -1666
41.47/41.57	v -1667
41.47/41.57	v -1668
41.47/41.57	v -1669
41.47/41.57	v -1670
41.47/41.57	v -1671
41.47/41.57	v -1672
41.47/41.57	v -1673
41.47/41.57	v -1674
41.47/41.57	v -1675
41.47/41.57	v -1676
41.47/41.57	v -1677
41.47/41.57	v -1678
41.47/41.57	v -1679
41.47/41.57	v -1680
41.47/41.57	v -1681
41.47/41.57	v -1682
41.47/41.57	v -1683
41.47/41.57	v -1684
41.47/41.57	v -1685
41.47/41.57	v -1686
41.47/41.57	v -1687
41.47/41.57	v -1688
41.47/41.57	v -1689
41.47/41.57	v -1690
41.47/41.57	v -1691
41.47/41.57	v -1692
41.47/41.57	v -1693
41.47/41.57	v -1694
41.47/41.57	v -1695
41.47/41.57	v -1696
41.47/41.57	v -1697
41.47/41.57	v -1698
41.47/41.57	v -1699
41.47/41.57	v -1700
41.47/41.57	v -1701
41.47/41.57	v -1702
41.47/41.57	v -1703
41.47/41.57	v -1704
41.47/41.57	v -1705
41.47/41.57	v -1706
41.47/41.57	v -1707
41.47/41.57	v -1708
41.47/41.57	v -1709
41.47/41.57	v -1710
41.47/41.57	v -1711
41.47/41.57	v -1712
41.47/41.57	v -1713
41.47/41.57	v -1714
41.47/41.57	v -1715
41.47/41.57	v -1716
41.47/41.57	v -1717
41.47/41.57	v -1718
41.47/41.57	v -1719
41.47/41.57	v -1720
41.47/41.57	v -1721
41.47/41.57	v -1722
41.47/41.57	v -1723
41.47/41.57	v -1724
41.47/41.57	v -1725
41.47/41.57	v -1726
41.47/41.57	v -1727
41.47/41.57	v -1728
41.47/41.57	v -1729
41.47/41.57	v -1730
41.47/41.57	v -1731
41.47/41.57	v -1732
41.47/41.57	v -1733
41.47/41.57	v -1734
41.47/41.57	v -1735
41.47/41.57	v -1736
41.47/41.57	v -1737
41.47/41.57	v -1738
41.47/41.57	v -1739
41.47/41.57	v -1740
41.47/41.57	v -1741
41.47/41.57	v -1742
41.47/41.57	v -1743
41.47/41.57	v -1744
41.47/41.57	v -1745
41.47/41.57	v -1746
41.47/41.57	v -1747
41.47/41.57	v -1748
41.47/41.57	v -1749
41.47/41.57	v -1750
41.47/41.57	v -1751
41.47/41.57	v -1752
41.47/41.57	v -1753
41.47/41.57	v -1754
41.47/41.57	v -1755
41.47/41.57	v -1756
41.47/41.57	v -1757
41.47/41.57	v -1758
41.47/41.57	v -1759
41.47/41.57	v -1760
41.47/41.57	v -1761
41.47/41.57	v -1762
41.47/41.57	v -1763
41.47/41.57	v -1764
41.47/41.57	v -1765
41.47/41.57	v -1766
41.47/41.57	v -1767
41.47/41.57	v -1768
41.47/41.57	v -1769
41.47/41.57	v -1770
41.47/41.57	v -1771
41.47/41.57	v -1772
41.47/41.57	v -1773
41.47/41.57	v -1774
41.47/41.57	v -1775
41.47/41.57	v -1776
41.47/41.57	v -1777
41.47/41.57	v -1778
41.47/41.57	v -1779
41.47/41.57	v -1780
41.47/41.57	v -1781
41.47/41.57	v -1782
41.47/41.57	v -1783
41.47/41.57	v -1784
41.47/41.57	v -1785
41.47/41.57	v -1786
41.47/41.57	v -1787
41.47/41.57	v -1788
41.47/41.57	v -1789
41.47/41.57	v -1790
41.47/41.57	v -1791
41.47/41.57	v -1792
41.47/41.57	v -1793
41.47/41.57	v -1794
41.47/41.57	v -1795
41.47/41.57	v -1796
41.47/41.57	v -1797
41.47/41.57	v -1798
41.47/41.57	v -1799
41.47/41.57	v -1800
41.47/41.57	v -1801
41.47/41.57	v -1802
41.47/41.57	v -1803
41.47/41.57	v -1804
41.47/41.57	v -1805
41.47/41.57	v -1806
41.47/41.57	v -1807
41.47/41.57	v -1808
41.47/41.57	v -1809
41.47/41.57	v -1810
41.47/41.57	v -1811
41.47/41.57	v -1812
41.47/41.57	v -1813
41.47/41.57	v -1814
41.47/41.57	v -1815
41.47/41.57	v -1816
41.47/41.57	v -1817
41.47/41.57	v -1818
41.47/41.57	v -1819
41.47/41.57	v -1820
41.47/41.57	v -1821
41.47/41.57	v -1822
41.47/41.57	v -1823
41.47/41.57	v -1824
41.47/41.57	v -1825
41.47/41.57	v -1826
41.47/41.57	v -1827
41.47/41.57	v -1828
41.47/41.57	v -1829
41.47/41.57	v -1830
41.47/41.57	v -1831
41.47/41.57	v -1832
41.47/41.57	v -1833
41.47/41.57	v -1834
41.47/41.57	v -1835
41.47/41.57	v -1836
41.47/41.57	v -1837
41.47/41.57	v -1838
41.47/41.57	v -1839
41.47/41.57	v -1840
41.47/41.57	v -1841
41.47/41.57	v -1842
41.47/41.57	v -1843
41.47/41.57	v -1844
41.47/41.57	v -1845
41.47/41.57	v -1846
41.47/41.57	v -1847
41.47/41.57	v -1848
41.47/41.57	v -1849
41.47/41.57	v -1850
41.47/41.57	v -1851
41.47/41.57	v -1852
41.47/41.57	v -1853
41.47/41.57	v -1854
41.47/41.57	v -1855
41.47/41.57	v -1856
41.47/41.57	v -1857
41.47/41.57	v -1858
41.47/41.57	v -1859
41.47/41.57	v -1860
41.47/41.57	v -1861
41.47/41.57	v -1862
41.47/41.57	v -1863
41.47/41.57	v -1864
41.47/41.57	v -1865
41.47/41.57	v -1866
41.47/41.57	v -1867
41.47/41.57	v -1868
41.47/41.57	v -1869
41.47/41.57	v -1870
41.47/41.57	v -1871
41.47/41.57	v -1872
41.47/41.57	v -1873
41.47/41.57	v -1874
41.47/41.57	v -1875
41.47/41.57	v -1876
41.47/41.57	v -1877
41.47/41.57	v -1878
41.47/41.57	v -1879
41.47/41.57	v -1880
41.47/41.57	v -1881
41.47/41.57	v -1882
41.47/41.57	v -1883
41.47/41.57	v -1884
41.47/41.57	v -1885
41.47/41.57	v -1886
41.47/41.57	v -1887
41.47/41.57	v -1888
41.47/41.57	v -1889
41.47/41.57	v -1890
41.47/41.57	v -1891
41.47/41.57	v -1892
41.47/41.57	v -1893
41.47/41.57	v -1894
41.47/41.57	v -1895
41.47/41.57	v -1896
41.47/41.57	v -1897
41.47/41.57	v -1898
41.47/41.57	v -1899
41.47/41.57	v -1900
41.47/41.57	v -1901
41.47/41.57	v -1902
41.47/41.57	v -1903
41.47/41.57	v -1904
41.47/41.57	v -1905
41.47/41.57	v -1906
41.47/41.57	v -1907
41.47/41.57	v -1908
41.47/41.57	v -1909
41.47/41.57	v -1910
41.47/41.57	v -1911
41.47/41.57	v -1912
41.47/41.57	v -1913
41.47/41.57	v -1914
41.47/41.57	v -1915
41.47/41.57	v -1916
41.47/41.57	v -1917
41.47/41.57	v -1918
41.47/41.57	v -1919
41.47/41.57	v -1920
41.47/41.57	v -1921
41.47/41.57	v -1922
41.47/41.57	v -1923
41.47/41.57	v -1924
41.47/41.57	v -1925
41.47/41.57	v -1926
41.47/41.57	v -1927
41.47/41.57	v -1928
41.47/41.57	v -1929
41.47/41.57	v -1930
41.47/41.57	v -1931
41.47/41.57	v -1932
41.47/41.57	v -1933
41.47/41.57	v -1934
41.47/41.57	v -1935
41.47/41.57	v -1936
41.47/41.57	v -1937
41.47/41.57	v -1938
41.47/41.57	v -1939
41.47/41.57	v -1940
41.47/41.57	v -1941
41.47/41.57	v -1942
41.47/41.57	v -1943
41.47/41.57	v -1944
41.47/41.57	v -1945
41.47/41.57	v -1946
41.47/41.57	v -1947
41.47/41.57	v -1948
41.47/41.57	v -1949
41.47/41.57	v -1950
41.47/41.57	v -1951
41.47/41.57	v -1952
41.47/41.57	v -1953
41.47/41.57	v -1954
41.47/41.57	v -1955
41.47/41.57	v -1956
41.47/41.57	v -1957
41.47/41.57	v -1958
41.47/41.57	v -1959
41.47/41.57	v -1960
41.47/41.57	v -1961
41.47/41.57	v -1962
41.47/41.57	v -1963
41.47/41.57	v -1964
41.47/41.57	v -1965
41.47/41.57	v -1966
41.47/41.57	v -1967
41.47/41.57	v -1968
41.47/41.57	v -1969
41.47/41.57	v -1970
41.47/41.57	v -1971
41.47/41.57	v -1972
41.47/41.57	v -1973
41.47/41.57	v -1974
41.47/41.57	v -1975
41.47/41.57	v -1976
41.47/41.57	v -1977
41.47/41.57	v -1978
41.47/41.57	v -1979
41.47/41.57	v -1980
41.47/41.57	v -1981
41.47/41.57	v -1982
41.47/41.57	v -1983
41.47/41.57	v -1984
41.47/41.57	v -1985
41.47/41.57	v -1986
41.47/41.57	v -1987
41.47/41.57	v -1988
41.47/41.57	v -1989
41.47/41.57	v -1990
41.47/41.57	v -1991
41.47/41.57	v -1992
41.47/41.57	v -1993
41.47/41.57	v -1994
41.47/41.57	v -1995
41.47/41.57	v -1996
41.47/41.57	v -1997
41.47/41.57	v -1998
41.47/41.57	v -1999
41.47/41.57	v -2000
41.47/41.57	v -2001
41.47/41.57	v -2002
41.47/41.57	v -2003
41.47/41.57	v -2004
41.47/41.57	v -2005
41.47/41.57	v -2006
41.47/41.57	v -2007
41.47/41.57	v -2008
41.47/41.57	v -2009
41.47/41.57	v -2010
41.47/41.57	v -2011
41.47/41.57	v -2012
41.47/41.57	v -2013
41.47/41.57	v -2014
41.47/41.57	v -2015
41.47/41.57	v -2016
41.47/41.57	v -2017
41.47/41.57	v -2018
41.47/41.57	v -2019
41.47/41.57	v -2020
41.47/41.57	v -2021
41.47/41.57	v -2022
41.47/41.57	v -2023
41.47/41.57	v -2024
41.47/41.57	v 2025
41.47/41.57	v 2026
41.47/41.57	v 2027
41.47/41.57	v -2028
41.47/41.57	v 2029
41.47/41.57	v 2030
41.47/41.57	v 2031
41.47/41.57	v 2032
41.47/41.57	v 2033
41.47/41.57	v 2034
41.47/41.57	v 2035
41.47/41.57	v 2036
41.47/41.57	v 2037
41.47/41.57	v 2038
41.47/41.57	v 2039
41.47/41.57	v 2040
41.47/41.57	v -2041
41.47/41.57	v -2042
41.47/41.57	v -2043
41.47/41.57	v -2044
41.47/41.57	v -2045
41.47/41.57	v -2046
41.47/41.57	v -2047
41.47/41.57	v -2048
41.47/41.57	v -2049
41.47/41.57	v -2050
41.47/41.57	v -2051
41.47/41.57	v -2052
41.47/41.57	v -2053
41.47/41.57	v -2054
41.47/41.57	v -2055
41.47/41.57	v -2056
41.47/41.57	v -2057
41.47/41.57	v -2058
41.47/41.57	v -2059
41.47/41.57	v -2060
41.47/41.57	v -2061
41.47/41.57	v -2062
41.47/41.57	v -2063
41.47/41.57	v -2064
41.47/41.57	v -2065
41.47/41.57	v -2066
41.47/41.57	v -2067
41.47/41.57	v -2068
41.47/41.57	v -2069
41.47/41.57	v -2070
41.47/41.57	v -2071
41.47/41.57	v -2072
41.47/41.57	v -2073
41.47/41.57	v -2074
41.47/41.57	v -2075
41.47/41.57	v -2076
41.47/41.57	v -2077
41.47/41.57	v -2078
41.47/41.57	v -2079
41.47/41.57	v -2080
41.47/41.57	v -2081
41.47/41.57	v -2082
41.47/41.57	v -2083
41.47/41.57	v -2084
41.47/41.57	v -2085
41.47/41.57	v -2086
41.47/41.57	v -2087
41.47/41.57	v -2088
41.47/41.57	v -2089
41.47/41.57	v -2090
41.47/41.57	v -2091
41.47/41.57	v -2092
41.47/41.57	v -2093
41.47/41.57	v -2094
41.47/41.57	v -2095
41.47/41.57	v -2096
41.47/41.57	v -2097
41.47/41.57	v -2098
41.47/41.57	v -2099
41.47/41.57	v -2100
41.47/41.57	v 2101
41.47/41.57	v 2102
41.47/41.57	v 2103
41.47/41.57	v 2104
41.47/41.57	v 2105
41.47/41.57	v 2106
41.47/41.57	v 2107
41.47/41.57	v 2108
41.47/41.57	v 2109
41.47/41.57	v 2110
41.47/41.57	v 2111
41.47/41.57	v 2112
41.47/41.57	v 2113
41.47/41.57	v 2114
41.47/41.57	v -2115
41.47/41.57	v -2116
41.47/41.57	v -2117
41.47/41.57	v -2118
41.47/41.57	v -2119
41.47/41.57	v -2120
41.47/41.57	v -2121
41.47/41.57	v -2122
41.47/41.57	v -2123
41.47/41.57	v -2124
41.47/41.57	v -2125
41.47/41.57	v -2126
41.47/41.57	v -2127
41.47/41.57	v -2128
41.47/41.57	v -2129
41.47/41.57	v -2130
41.47/41.57	v -2131
41.47/41.57	v -2132
41.47/41.57	v -2133
41.47/41.57	v -2134
41.47/41.57	v -2135
41.47/41.57	v -2136
41.47/41.57	v -2137
41.47/41.57	v -2138
41.47/41.57	v -2139
41.47/41.57	v -2140
41.47/41.57	v -2141
41.47/41.57	v -2142
41.47/41.57	v -2143
41.47/41.57	v -2144
41.47/41.57	v -2145
41.47/41.57	v -2146
41.47/41.57	v -2147
41.47/41.57	v -2148
41.47/41.57	v -2149
41.47/41.57	v -2150
41.47/41.57	v -2151
41.47/41.57	v -2152
41.47/41.57	v -2153
41.47/41.57	v -2154
41.47/41.57	v -2155
41.47/41.57	v -2156
41.47/41.57	v -2157
41.47/41.57	v -2158
41.47/41.57	v -2159
41.47/41.57	v -2160
41.47/41.57	v -2161
41.47/41.57	v -2162
41.47/41.57	v -2163
41.47/41.57	v -2164
41.47/41.57	v -2165
41.47/41.57	v -2166
41.47/41.57	v -2167
41.47/41.57	v -2168
41.47/41.57	v -2169
41.47/41.57	v -2170
41.47/41.57	v -2171
41.47/41.57	v -2172
41.47/41.57	v -2173
41.47/41.57	v -2174
41.47/41.57	v -2175
41.47/41.57	v -2176
41.47/41.57	v -2177
41.47/41.57	v -2178
41.47/41.57	v -2179
41.47/41.57	v -2180
41.47/41.57	v -2181
41.47/41.57	v -2182
41.47/41.57	v -2183
41.47/41.57	v -2184
41.47/41.57	v -2185
41.47/41.57	v -2186
41.47/41.57	v -2187
41.47/41.57	v -2188
41.47/41.57	v -2189
41.47/41.57	v -2190
41.47/41.57	v -2191
41.47/41.57	v -2192
41.47/41.57	v -2193
41.47/41.57	v -2194
41.47/41.57	v -2195
41.47/41.57	v -2196
41.47/41.57	v -2197
41.47/41.57	v -2198
41.47/41.57	v -2199
41.47/41.57	v -2200
41.47/41.57	v -2201
41.47/41.57	v -2202
41.47/41.57	v -2203
41.47/41.57	v -2204
41.47/41.57	v -2205
41.47/41.57	v -2206
41.47/41.57	v -2207
41.47/41.57	v -2208
41.47/41.57	v -2209
41.47/41.57	v -2210
41.47/41.57	v -2211
41.47/41.57	v -2212
41.47/41.57	v -2213
41.47/41.57	v -2214
41.47/41.57	v -2215
41.47/41.57	v -2216
41.47/41.57	v -2217
41.47/41.57	v -2218
41.47/41.57	v -2219
41.47/41.57	v -2220
41.47/41.57	v -2221
41.47/41.57	v -2222
41.47/41.57	v -2223
41.47/41.57	v -2224
41.47/41.57	v -2225
41.47/41.57	v -2226
41.47/41.57	v -2227
41.47/41.57	v -2228
41.47/41.57	v -2229
41.47/41.57	v -2230
41.47/41.57	v -2231
41.47/41.57	v -2232
41.47/41.57	v -2233
41.47/41.57	v -2234
41.47/41.57	v -2235
41.47/41.57	v -2236
41.47/41.57	v -2237
41.47/41.57	v -2238
41.47/41.57	v -2239
41.47/41.57	v -2240
41.47/41.57	v -2241
41.47/41.57	v -2242
41.47/41.57	v -2243
41.47/41.57	v -2244
41.47/41.57	v -2245
41.47/41.57	v -2246
41.47/41.57	v -2247
41.47/41.57	v -2248
41.47/41.57	v -2249
41.47/41.57	v -2250
41.47/41.57	v -2251
41.47/41.57	v -2252
41.47/41.57	v -2253
41.47/41.57	v -2254
41.47/41.57	v -2255
41.47/41.57	v -2256
41.47/41.57	v -2257
41.47/41.57	v -2258
41.47/41.57	v -2259
41.47/41.57	v -2260
41.47/41.57	v -2261
41.47/41.57	v -2262
41.47/41.57	v -2263
41.47/41.57	v -2264
41.47/41.57	v -2265
41.47/41.57	v -2266
41.47/41.57	v -2267
41.47/41.57	v -2268
41.47/41.57	v -2269
41.47/41.57	v -2270
41.47/41.57	v -2271
41.47/41.57	v -2272
41.47/41.57	v -2273
41.47/41.57	v -2274
41.47/41.57	v -2275
41.47/41.57	v -2276
41.47/41.57	v -2277
41.47/41.57	v -2278
41.47/41.57	v -2279
41.47/41.57	v -2280
41.47/41.57	v -2281
41.47/41.57	v -2282
41.47/41.57	v -2283
41.47/41.57	v -2284
41.47/41.57	v -2285
41.47/41.57	v -2286
41.47/41.57	v -2287
41.47/41.57	v -2288
41.47/41.57	v -2289
41.47/41.57	v -2290
41.47/41.57	v -2291
41.47/41.57	v -2292
41.47/41.57	v -2293
41.47/41.57	v -2294
41.47/41.57	v -2295
41.47/41.57	v -2296
41.47/41.57	v -2297
41.47/41.57	v 2298
41.47/41.57	v -2299
41.47/41.57	v -2300
41.47/41.57	v -2301
41.47/41.57	v -2302
41.47/41.57	v -2303
41.47/41.57	v -2304
41.47/41.57	v -2305
41.47/41.57	v -2306
41.47/41.57	v -2307
41.47/41.57	v -2308
41.47/41.57	v -2309
41.47/41.57	v -2310
41.47/41.57	v -2311
41.47/41.57	v -2312
41.47/41.57	v -2313
41.47/41.57	v -2314
41.47/41.57	v -2315
41.47/41.57	v -2316
41.47/41.57	v -2317
41.47/41.57	v -2318
41.47/41.57	v -2319
41.47/41.57	v -2320
41.47/41.57	v -2321
41.47/41.57	v -2322
41.47/41.57	v -2323
41.47/41.57	v -2324
41.47/41.57	v -2325
41.47/41.57	v -2326
41.47/41.57	v -2327
41.47/41.57	v -2328
41.47/41.57	v -2329
41.47/41.57	v -2330
41.47/41.57	v -2331
41.47/41.57	v -2332
41.47/41.57	v -2333
41.47/41.57	v -2334
41.47/41.57	v -2335
41.47/41.57	v -2336
41.47/41.57	v -2337
41.47/41.57	v -2338
41.47/41.57	v -2339
41.47/41.57	v -2340
41.47/41.57	v -2341
41.47/41.57	v -2342
41.47/41.57	v -2343
41.47/41.57	v -2344
41.47/41.57	v -2345
41.47/41.57	v -2346
41.47/41.57	v -2347
41.47/41.57	v -2348
41.47/41.57	v -2349
41.47/41.57	v -2350
41.47/41.57	v -2351
41.47/41.57	v -2352
41.47/41.57	v -2353
41.47/41.57	v -2354
41.47/41.57	v -2355
41.47/41.57	v -2356
41.47/41.57	v -2357
41.47/41.57	v -2358
41.47/41.57	v -2359
41.47/41.57	v -2360
41.47/41.57	v -2361
41.47/41.57	v -2362
41.47/41.57	v -2363
41.47/41.57	v -2364
41.47/41.57	v -2365
41.47/41.57	v -2366
41.47/41.57	v -2367
41.47/41.57	v -2368
41.47/41.57	v -2369
41.47/41.57	v -2370
41.47/41.57	v -2371
41.47/41.57	v -2372
41.47/41.57	v -2373
41.47/41.57	v -2374
41.47/41.57	v -2375
41.47/41.57	v -2376
41.47/41.57	v -2377
41.47/41.57	v -2378
41.47/41.57	v -2379
41.47/41.57	v -2380
41.47/41.57	v -2381
41.47/41.57	v -2382
41.47/41.57	v -2383
41.47/41.57	v -2384
41.47/41.57	v -2385
41.47/41.57	v -2386
41.47/41.57	v -2387
41.47/41.57	v -2388
41.47/41.57	v -2389
41.47/41.57	v -2390
41.47/41.57	v -2391
41.47/41.57	v -2392
41.47/41.57	v -2393
41.47/41.57	v -2394
41.47/41.57	v -2395
41.47/41.57	v -2396
41.47/41.57	v -2397
41.47/41.57	v -2398
41.47/41.57	v -2399
41.47/41.57	v -2400
41.47/41.57	v -2401
41.47/41.57	v -2402
41.47/41.57	v -2403
41.47/41.57	v -2404
41.47/41.57	v -2405
41.47/41.57	v -2406
41.47/41.57	v -2407
41.47/41.57	v -2408
41.47/41.57	v -2409
41.47/41.57	v -2410
41.47/41.57	v -2411
41.47/41.57	v -2412
41.47/41.57	v -2413
41.47/41.57	v -2414
41.47/41.57	v -2415
41.47/41.57	v -2416
41.47/41.57	v -2417
41.47/41.57	v -2418
41.47/41.57	v -2419
41.47/41.57	v -2420
41.47/41.57	v -2421
41.47/41.57	v -2422
41.47/41.57	v -2423
41.47/41.57	v -2424
41.47/41.57	v -2425
41.47/41.57	v -2426
41.47/41.57	v -2427
41.47/41.57	v -2428
41.47/41.57	v -2429
41.47/41.57	v -2430
41.47/41.57	v -2431
41.47/41.57	v -2432
41.47/41.57	v -2433
41.47/41.57	v -2434
41.47/41.57	v -2435
41.47/41.57	v -2436
41.47/41.57	v -2437
41.47/41.57	v -2438
41.47/41.57	v -2439
41.47/41.57	v -2440
41.47/41.57	v -2441
41.47/41.57	v -2442
41.47/41.57	v -2443
41.47/41.57	v -2444
41.47/41.57	v -2445
41.47/41.57	v -2446
41.47/41.57	v -2447
41.47/41.57	v -2448
41.47/41.57	v -2449
41.47/41.57	v -2450
41.47/41.57	v -2451
41.47/41.57	v -2452
41.47/41.57	v -2453
41.47/41.57	v -2454
41.47/41.57	v -2455
41.47/41.57	v -2456
41.47/41.57	v -2457
41.47/41.57	v -2458
41.47/41.57	v -2459
41.47/41.57	v -2460
41.47/41.57	v -2461
41.47/41.57	v -2462
41.47/41.57	v -2463
41.47/41.57	v -2464
41.47/41.57	v -2465
41.47/41.57	v -2466
41.47/41.57	v -2467
41.47/41.57	v -2468
41.47/41.57	v -2469
41.47/41.57	v -2470
41.47/41.57	v -2471
41.47/41.57	v -2472
41.47/41.57	v -2473
41.47/41.57	v -2474
41.47/41.57	v -2475
41.47/41.57	v -2476
41.47/41.57	v -2477
41.47/41.57	v -2478
41.47/41.57	v -2479
41.47/41.57	v -2480
41.47/41.57	v -2481
41.47/41.57	v -2482
41.47/41.57	v -2483
41.47/41.57	v -2484
41.47/41.57	v -2485
41.47/41.57	v -2486
41.47/41.57	v -2487
41.47/41.57	v -2488
41.47/41.57	v -2489
41.47/41.57	v -2490
41.47/41.57	v -2491
41.47/41.57	v -2492
41.47/41.57	v -2493
41.47/41.57	v -2494
41.47/41.57	v -2495
41.47/41.57	v -2496
41.47/41.57	v -2497
41.47/41.57	v -2498
41.47/41.57	v -2499
41.47/41.57	v -2500
41.47/41.57	v -2501
41.47/41.57	v -2502
41.47/41.57	v -2503
41.47/41.58	v -2504
41.47/41.58	v -2505
41.47/41.58	v -2506
41.47/41.58	v -2507
41.47/41.58	v -2508
41.47/41.58	v -2509
41.47/41.58	v -2510
41.47/41.58	v -2511
41.47/41.58	v -2512
41.47/41.58	v -2513
41.47/41.58	v -2514
41.47/41.58	v -2515
41.47/41.58	v -2516
41.47/41.58	v -2517
41.47/41.58	v -2518
41.47/41.58	v -2519
41.47/41.58	v -2520
41.47/41.58	v -2521
41.47/41.58	v -2522
41.47/41.58	v -2523
41.47/41.58	v -2524
41.47/41.58	v -2525
41.47/41.58	v -2526
41.47/41.58	v -2527
41.47/41.58	v -2528
41.47/41.58	v -2529
41.47/41.58	v -2530
41.47/41.58	v -2531
41.47/41.58	v -2532
41.47/41.58	v -2533
41.47/41.58	v -2534
41.47/41.58	v -2535
41.47/41.58	v -2536
41.47/41.58	v -2537
41.47/41.58	v -2538
41.47/41.58	v -2539
41.47/41.58	v -2540
41.47/41.58	v -2541
41.47/41.58	v -2542
41.47/41.58	v -2543
41.47/41.58	v -2544
41.47/41.58	v -2545
41.47/41.58	v -2546
41.47/41.58	v -2547
41.47/41.58	v -2548
41.47/41.58	v -2549
41.47/41.58	v -2550
41.47/41.58	v -2551
41.47/41.58	v -2552
41.47/41.58	v -2553
41.47/41.58	v -2554
41.47/41.58	v -2555
41.47/41.58	v -2556
41.47/41.58	v -2557
41.47/41.58	v -2558
41.47/41.58	v -2559
41.47/41.58	v -2560
41.47/41.58	v -2561
41.47/41.58	v -2562
41.47/41.58	v -2563
41.47/41.58	v -2564
41.47/41.58	v -2565
41.47/41.58	v -2566
41.47/41.58	v -2567
41.47/41.58	v -2568
41.47/41.58	v -2569
41.47/41.58	v -2570
41.47/41.58	v -2571
41.47/41.58	v -2572
41.47/41.58	v -2573
41.47/41.58	v -2574
41.47/41.58	v -2575
41.47/41.58	v -2576
41.47/41.58	v -2577
41.47/41.58	v -2578
41.47/41.58	v -2579
41.47/41.58	v -2580
41.47/41.58	v -2581
41.47/41.58	v -2582
41.47/41.58	v -2583
41.47/41.58	v -2584
41.47/41.58	v -2585
41.47/41.58	v -2586
41.47/41.58	v -2587
41.47/41.58	v -2588
41.47/41.58	v -2589
41.47/41.58	v -2590
41.47/41.58	v -2591
41.47/41.58	v -2592
41.47/41.58	v -2593
41.47/41.58	v -2594
41.47/41.58	v -2595
41.47/41.58	v -2596
41.47/41.58	v -2597
41.47/41.58	v -2598
41.47/41.58	v -2599
41.47/41.58	v -2600
41.47/41.58	v -2601
41.47/41.58	v -2602
41.47/41.58	v -2603
41.47/41.58	v -2604
41.47/41.58	v -2605
41.47/41.58	v -2606
41.47/41.58	v -2607
41.47/41.58	v -2608
41.47/41.58	v -2609
41.47/41.58	v -2610
41.47/41.58	v -2611
41.47/41.58	v -2612
41.47/41.58	v -2613
41.47/41.58	v -2614
41.47/41.58	v -2615
41.47/41.58	v -2616
41.47/41.58	v -2617
41.47/41.58	v -2618
41.47/41.58	v -2619
41.47/41.58	v -2620
41.47/41.58	v -2621
41.47/41.58	v -2622
41.47/41.58	v -2623
41.47/41.58	v -2624
41.47/41.58	v -2625
41.47/41.58	v -2626
41.47/41.58	v -2627
41.47/41.58	v -2628
41.47/41.58	v -2629
41.47/41.58	v -2630
41.47/41.58	v -2631
41.47/41.58	v -2632
41.47/41.58	v -2633
41.47/41.58	v -2634
41.47/41.58	v -2635
41.47/41.58	v -2636
41.47/41.58	v -2637
41.47/41.58	v -2638
41.47/41.58	v -2639
41.47/41.58	v -2640
41.47/41.58	v -2641
41.47/41.58	v -2642
41.47/41.58	v -2643
41.47/41.58	v -2644
41.47/41.58	v -2645
41.47/41.58	v -2646
41.47/41.58	v -2647
41.47/41.58	v -2648
41.47/41.58	v -2649
41.47/41.58	v -2650
41.47/41.58	v -2651
41.47/41.58	v -2652
41.47/41.58	v -2653
41.47/41.58	v -2654
41.47/41.58	v -2655
41.47/41.58	v -2656
41.47/41.58	v -2657
41.47/41.58	v -2658
41.47/41.58	v -2659
41.47/41.58	v -2660
41.47/41.58	v -2661
41.47/41.58	v -2662
41.47/41.58	v -2663
41.47/41.58	v -2664
41.47/41.58	v -2665
41.47/41.58	v -2666
41.47/41.58	v -2667
41.47/41.58	v -2668
41.47/41.58	v -2669
41.47/41.58	v -2670
41.47/41.58	v -2671
41.47/41.58	v -2672
41.47/41.58	v -2673
41.47/41.58	v -2674
41.47/41.58	v -2675
41.47/41.58	v -2676
41.47/41.58	v -2677
41.47/41.58	v -2678
41.47/41.58	v -2679
41.47/41.58	v -2680
41.47/41.58	v -2681
41.47/41.58	v -2682
41.47/41.58	v -2683
41.47/41.58	v -2684
41.47/41.58	v 2685
41.47/41.58	v 2686
41.47/41.58	v 2687
41.47/41.58	v 2688
41.47/41.58	v 2689
41.47/41.58	v 2690
41.47/41.58	v 2691
41.47/41.58	v 2692
41.47/41.58	v -2693
41.47/41.58	v -2694
41.47/41.58	v -2695
41.47/41.58	v 2696
41.47/41.58	v 2697
41.47/41.58	v -2698
41.47/41.58	v 2699
41.47/41.58	v 2700
41.47/41.58	v 2701
41.47/41.58	v -2702
41.47/41.58	v -2703
41.47/41.58	v -2704
41.47/41.58	v -2705
41.47/41.58	v -2706
41.47/41.58	v -2707
41.47/41.58	v -2708
41.47/41.58	v -2709
41.47/41.58	v -2710
41.47/41.58	v -2711
41.47/41.58	v -2712
41.47/41.58	v -2713
41.47/41.58	v 2714
41.47/41.58	v 2715
41.47/41.58	v 2716
41.47/41.58	v 2717
41.47/41.58	v 2718
41.47/41.58	v 2719
41.47/41.58	v 2720
41.47/41.58	v 2721
41.47/41.58	v 2722
41.47/41.58	v -2723
41.47/41.58	v -2724
41.47/41.58	v -2725
41.47/41.58	v 2726
41.47/41.58	v 2727
41.47/41.58	v -2728
41.47/41.58	v 2729
41.47/41.58	v 2730
41.47/41.58	v 2731
41.47/41.58	v -2732
41.47/41.58	v -2733
41.47/41.58	v -2734
41.47/41.58	v -2735
41.47/41.58	v -2736
41.47/41.58	v -2737
41.47/41.58	v -2738
41.47/41.58	v -2739
41.47/41.58	v -2740
41.47/41.58	v -2741
41.47/41.58	v -2742
41.47/41.58	v -2743
41.47/41.58	v 2744
41.47/41.58	v 2745
41.47/41.58	v 2746
41.47/41.58	v 2747
41.47/41.58	v 2748
41.47/41.58	v 2749
41.47/41.58	v 2750
41.47/41.58	v 2751
41.47/41.58	v 2752
41.47/41.58	v -2753
41.47/41.58	v -2754
41.47/41.58	v -2755
41.47/41.58	v 2756
41.47/41.58	v 2757
41.47/41.58	v -2758
41.47/41.58	v 2759
41.47/41.58	v 2760
41.47/41.58	v 2761
41.47/41.58	v -2762
41.47/41.58	v -2763
41.47/41.58	v -2764
41.47/41.58	v -2765
41.47/41.58	v -2766
41.47/41.58	v -2767
41.47/41.58	v -2768
41.47/41.58	v -2769
41.47/41.58	v -2770
41.47/41.58	v -2771
41.47/41.58	v -2772
41.47/41.58	v -2773
41.47/41.58	v 2774
41.47/41.58	v 2775
41.47/41.58	v 2776
41.47/41.58	v 2777
41.47/41.58	v 2778
41.47/41.58	v 2779
41.47/41.58	v 2780
41.47/41.58	v 2781
41.47/41.58	v 2782
41.47/41.58	v 2783
41.47/41.58	v -2784
41.47/41.58	v -2785
41.47/41.58	v 2786
41.47/41.58	v 2787
41.47/41.58	v 2788
41.47/41.58	v 2789
41.47/41.58	v 2790
41.47/41.58	v 2791
41.47/41.58	v 2792
41.47/41.58	v 2793
41.47/41.58	v 2794
41.47/41.58	v 2795
41.47/41.58	v 2796
41.47/41.58	v 2797
41.47/41.58	v 2798
41.47/41.58	v 2799
41.47/41.58	v 2800
41.47/41.58	v 2801
41.47/41.58	v 2802
41.47/41.58	v 2803
41.47/41.58	v 2804
41.47/41.58	v 2805
41.47/41.58	v 2806
41.47/41.58	v 2807
41.47/41.58	v 2808
41.47/41.58	v 2809
41.47/41.58	v 2810
41.47/41.58	v 2811
41.47/41.58	v 2812
41.47/41.58	v 2813
41.47/41.58	v -2814
41.47/41.58	v -2815
41.47/41.58	v 2816
41.47/41.58	v 2817
41.47/41.58	v 2818
41.47/41.58	v 2819
41.47/41.58	v 2820
41.47/41.58	v 2821
41.47/41.58	v 2822
41.47/41.58	v 2823
41.47/41.58	v 2824
41.47/41.58	v 2825
41.47/41.58	v 2826
41.47/41.58	v 2827
41.47/41.58	v 2828
41.47/41.58	v 2829
41.47/41.58	v 2830
41.47/41.58	v 2831
41.47/41.58	v 2832
41.47/41.58	v 2833
41.47/41.58	v 2834
41.47/41.58	v 2835
41.47/41.58	v 2836
41.47/41.58	v 2837
41.47/41.58	v 2838
41.47/41.58	v 2839
41.47/41.58	v 2840
41.47/41.58	v 2841
41.47/41.58	v 2842
41.47/41.58	v 2843
41.47/41.58	v -2844
41.47/41.58	v -2845
41.47/41.58	v 2846
41.47/41.58	v 2847
41.47/41.58	v 2848
41.47/41.58	v 2849
41.47/41.58	v 2850
41.47/41.58	v 2851
41.47/41.58	v 2852
41.47/41.58	v 2853
41.47/41.58	v 2854
41.47/41.58	v 2855
41.47/41.58	v 2856
41.47/41.58	v 2857
41.47/41.58	v 2858
41.47/41.58	v 2859
41.47/41.58	v 2860
41.47/41.58	v 2861
41.47/41.58	v 2862
41.47/41.58	v 2863
41.47/41.58	v 2864
41.47/41.58	v 2865
41.47/41.58	v 2866
41.47/41.58	v 2867
41.47/41.58	v 2868
41.47/41.58	v 2869
41.47/41.58	v 2870
41.47/41.58	v 2871
41.47/41.58	v 2872
41.47/41.58	v 2873
41.47/41.58	v -2874
41.47/41.58	v -2875
41.47/41.58	v 2876
41.47/41.58	v 2877
41.47/41.58	v 2878
41.47/41.58	v 2879
41.47/41.58	v 2880
41.47/41.58	v 2881
41.47/41.58	v 2882
41.47/41.58	v 2883
41.47/41.58	v 2884
41.47/41.58	v 2885
41.47/41.58	v 2886
41.47/41.58	v 2887
41.47/41.58	v 2888
41.47/41.58	v 2889
41.47/41.58	v 2890
41.47/41.58	v 2891
41.47/41.58	v 2892
41.47/41.58	v 2893
41.47/41.58	v 2894
41.47/41.58	v 2895
41.47/41.58	v 2896
41.47/41.58	v 2897
41.47/41.58	v 2898
41.47/41.58	v 2899
41.47/41.58	v 2900
41.47/41.58	v 2901
41.47/41.58	v 2902
41.47/41.58	v 2903
41.47/41.58	v -2904
41.47/41.58	v -2905
41.47/41.58	v 2906
41.47/41.58	v 2907
41.47/41.58	v 2908
41.47/41.58	v 2909
41.47/41.58	v 2910
41.47/41.58	v 2911
41.47/41.58	v 2912
41.47/41.58	v 2913
41.47/41.58	v 2914
41.47/41.58	v 2915
41.47/41.58	v 2916
41.47/41.58	v 2917
41.47/41.58	v 2918
41.47/41.58	v 2919
41.47/41.58	v 2920
41.47/41.58	v 2921
41.47/41.58	v 2922
41.47/41.58	v 2923
41.47/41.58	v 2924
41.47/41.58	v 2925
41.47/41.58	v 2926
41.47/41.58	v 2927
41.47/41.58	v 2928
41.47/41.58	v 2929
41.47/41.58	v 2930
41.47/41.58	v 2931
41.47/41.58	v 2932
41.47/41.58	v 2933
41.47/41.58	v -2934
41.47/41.58	v -2935
41.47/41.58	v 2936
41.47/41.58	v 2937
41.47/41.58	v 2938
41.47/41.58	v 2939
41.47/41.58	v 2940
41.47/41.58	v 2941
41.47/41.58	v 2942
41.47/41.58	v 2943
41.47/41.58	v 2944
41.47/41.58	v 2945
41.47/41.58	v 2946
41.47/41.58	v 2947
41.47/41.58	v 2948
41.47/41.58	v 2949
41.47/41.58	v 2950
41.47/41.58	v 2951
41.47/41.58	v 2952
41.47/41.58	v 2953
41.47/41.58	v 2954
41.47/41.58	v 2955
41.47/41.58	v 2956
41.47/41.58	v 2957
41.47/41.58	v 2958
41.47/41.58	v 2959
41.47/41.58	v 2960
41.47/41.58	v 2961
41.47/41.58	v 2962
41.47/41.58	v 2963
41.47/41.58	v -2964
41.47/41.58	v -2965
41.47/41.58	v 2966
41.47/41.58	v 2967
41.47/41.58	v 2968
41.47/41.58	v 2969
41.47/41.58	v 2970
41.47/41.58	v 2971
41.47/41.58	v 2972
41.47/41.58	v 2973
41.47/41.58	v 2974
41.47/41.58	v 2975
41.47/41.58	v 2976
41.47/41.58	v 2977
41.47/41.58	v 2978
41.47/41.58	v 2979
41.47/41.58	v 2980
41.47/41.58	v 2981
41.47/41.58	v 2982
41.47/41.58	v 2983
41.47/41.58	v 2984
41.47/41.58	v 2985
41.47/41.58	v 2986
41.47/41.58	v 2987
41.47/41.58	v 2988
41.47/41.58	v 2989
41.47/41.58	v 2990
41.47/41.58	v 2991
41.47/41.58	v 2992
41.47/41.58	v 2993
41.47/41.58	v 2994
41.47/41.58	v 2995
41.47/41.58	v 2996
41.47/41.58	v 2997
41.47/41.58	v 2998
41.47/41.58	v 2999
41.47/41.58	v 3000
41.47/41.58	v 3001
41.47/41.58	v 3002
41.47/41.58	v 3003
41.47/41.58	v 3004
41.47/41.58	v 3005
41.47/41.58	v 3006
41.47/41.58	v 3007
41.47/41.58	v 3008
41.47/41.58	v 3009
41.47/41.58	v 3010
41.47/41.58	v 3011
41.47/41.58	v 3012
41.47/41.58	v 3013
41.47/41.58	v 3014
41.47/41.58	v 3015
41.47/41.58	v 3016
41.47/41.58	v 3017
41.47/41.58	v 3018
41.47/41.58	v 3019
41.47/41.58	v 3020
41.47/41.58	v 3021
41.47/41.58	v 3022
41.47/41.58	v 3023
41.47/41.58	v 3024
41.47/41.58	v 3025
41.47/41.58	v 3026
41.47/41.58	v 3027
41.47/41.58	v 3028
41.47/41.58	v 3029
41.47/41.58	v 3030
41.47/41.58	v 3031
41.47/41.58	v 3032
41.47/41.58	v 3033
41.47/41.58	v 3034
41.47/41.58	v 3035
41.47/41.58	v 3036
41.47/41.58	v 3037
41.47/41.58	v 3038
41.47/41.58	v 3039
41.47/41.58	v 3040
41.47/41.58	v 3041
41.47/41.58	v 3042
41.47/41.58	v 3043
41.47/41.58	v 3044
41.47/41.58	v 3045
41.47/41.58	v 3046
41.47/41.58	v 3047
41.47/41.58	v 3048
41.47/41.58	v 3049
41.47/41.58	v 3050
41.47/41.58	v 3051
41.47/41.58	v 3052
41.47/41.58	v 3053
41.47/41.58	v 3054
41.47/41.58	v 3055
41.47/41.58	v 3056
41.47/41.58	v 3057
41.47/41.58	v 3058
41.47/41.58	v 3059
41.47/41.58	v 3060
41.47/41.58	v 3061
41.47/41.58	v 3062
41.47/41.58	v 3063
41.47/41.58	v 3064
41.47/41.58	v 3065
41.47/41.58	v 3066
41.47/41.58	v 3067
41.47/41.58	v 3068
41.47/41.58	v 3069
41.47/41.58	v 3070
41.47/41.58	v 3071
41.47/41.58	v 3072
41.47/41.58	v 3073
41.47/41.58	v 3074
41.47/41.58	v 3075
41.47/41.58	v 3076
41.47/41.58	v 3077
41.47/41.58	v 3078
41.47/41.58	v 3079
41.47/41.58	v 3080
41.47/41.58	v 3081
41.47/41.58	v 3082
41.47/41.58	v 3083
41.47/41.58	v 3084
41.47/41.58	v 3085
41.47/41.58	v 3086
41.47/41.58	v 3087
41.47/41.58	v 3088
41.47/41.58	v 3089
41.47/41.58	v 3090
41.47/41.58	v 3091
41.47/41.58	v 3092
41.47/41.58	v 3093
41.47/41.58	v 3094
41.47/41.58	v 3095
41.47/41.58	v 3096
41.47/41.58	v 3097
41.47/41.58	v 3098
41.47/41.58	v 3099
41.47/41.58	v 3100
41.47/41.58	v 3101
41.47/41.58	v 3102
41.47/41.58	v 3103
41.47/41.58	v 3104
41.47/41.58	v 3105
41.47/41.58	v 3106
41.47/41.58	v 3107
41.47/41.58	v 3108
41.47/41.58	v 3109
41.47/41.58	v 3110
41.47/41.58	v 3111
41.47/41.58	v 3112
41.47/41.58	v 3113
41.47/41.58	v 3114
41.47/41.58	v 3115
41.47/41.58	v 3116
41.47/41.58	v 3117
41.47/41.58	v 3118
41.47/41.58	v 3119
41.47/41.58	v 3120
41.47/41.58	v 3121
41.47/41.58	v 3122
41.47/41.58	v 3123
41.47/41.58	v 3124
41.47/41.58	v 3125
41.47/41.58	v 3126
41.47/41.58	v 3127
41.47/41.58	v 3128
41.47/41.58	v 3129
41.47/41.58	v 3130
41.47/41.58	v 3131
41.47/41.58	v 3132
41.47/41.58	v 3133
41.47/41.58	v 3134
41.47/41.58	v 3135
41.47/41.58	v 3136
41.47/41.58	v 3137
41.47/41.58	v 3138
41.47/41.58	v 3139
41.47/41.58	v 3140
41.47/41.58	v 3141
41.47/41.58	v 3142
41.47/41.58	v 3143
41.47/41.58	v 3144
41.47/41.58	v 3145
41.47/41.58	v 3146
41.47/41.58	v 3147
41.47/41.58	v 3148
41.47/41.58	v 3149
41.47/41.58	v 3150
41.47/41.58	v 3151
41.47/41.58	v 3152
41.47/41.58	v 3153
41.47/41.58	v 3154
41.47/41.58	v 3155
41.47/41.58	v 3156
41.47/41.58	v 3157
41.47/41.58	v 3158
41.47/41.58	v 3159
41.47/41.58	v 3160
41.47/41.58	v 3161
41.47/41.58	v 3162
41.47/41.58	v 3163
41.47/41.58	v 3164
41.47/41.58	v 3165
41.47/41.58	v 3166
41.47/41.58	v 3167
41.47/41.58	v 3168
41.47/41.58	v 3169
41.47/41.58	v 3170
41.47/41.58	v 3171
41.47/41.58	v 3172
41.47/41.58	v 3173
41.47/41.58	v 3174
41.47/41.58	v 3175
41.47/41.58	v 3176
41.47/41.58	v 3177
41.47/41.58	v 3178
41.47/41.58	v 3179
41.47/41.58	v 3180
41.47/41.58	v 3181
41.47/41.58	v 3182
41.47/41.58	v 3183
41.47/41.58	v 3184
41.47/41.58	v 3185
41.47/41.58	v 3186
41.47/41.58	v 3187
41.47/41.58	v 3188
41.47/41.58	v 3189
41.47/41.58	v 3190
41.47/41.58	v 3191
41.47/41.58	v 3192
41.47/41.58	v 3193
41.47/41.58	v 3194
41.47/41.58	v 3195
41.47/41.58	v 3196
41.47/41.58	v 3197
41.47/41.58	v 3198
41.47/41.58	v 3199
41.47/41.58	v 3200
41.47/41.58	v 3201
41.47/41.58	v 3202
41.47/41.58	v 3203
41.47/41.58	v 3204
41.47/41.58	v 3205
41.47/41.58	v 3206
41.47/41.58	v 3207
41.47/41.58	v 3208
41.47/41.58	v 3209
41.47/41.58	v 3210
41.47/41.58	v 3211
41.47/41.58	v 3212
41.47/41.58	v 3213
41.47/41.58	v 3214
41.47/41.58	v 3215
41.47/41.58	v 3216
41.47/41.58	v 3217
41.47/41.58	v 3218
41.47/41.58	v 3219
41.47/41.58	v 3220
41.47/41.58	v 3221
41.47/41.58	v 3222
41.47/41.58	v 3223
41.47/41.58	v 3224
41.47/41.58	v 3225
41.47/41.58	v 3226
41.47/41.58	v 3227
41.47/41.58	v 3228
41.47/41.58	v 3229
41.47/41.58	v 3230
41.47/41.58	v 3231
41.47/41.58	v 3232
41.47/41.58	v 3233
41.47/41.58	v 3234
41.47/41.58	v 3235
41.47/41.58	v 3236
41.47/41.58	v 3237
41.47/41.58	v 3238
41.47/41.58	v 3239
41.47/41.58	v 3240
41.47/41.58	v 3241
41.47/41.58	v 3242
41.47/41.58	v 3243
41.47/41.58	v 3244
41.47/41.58	v 3245
41.47/41.58	v 3246
41.47/41.58	v 3247
41.47/41.58	v 3248
41.47/41.58	v 3249
41.47/41.58	v 3250
41.47/41.58	v 3251
41.47/41.58	v 3252
41.47/41.58	v 3253
41.47/41.58	v 3254
41.47/41.58	v 3255
41.47/41.58	v 3256
41.47/41.58	v 3257
41.47/41.58	v 3258
41.47/41.58	v 3259
41.47/41.58	v 3260
41.47/41.58	v 3261
41.47/41.58	v 3262
41.47/41.58	v 3263
41.47/41.58	v 3264
41.47/41.58	v 3265
41.47/41.58	v 3266
41.47/41.58	v 3267
41.47/41.58	v 3268
41.47/41.58	v 3269
41.47/41.58	v 3270
41.47/41.58	v 3271
41.47/41.58	v 3272
41.47/41.58	v 3273
41.47/41.58	v 3274
41.47/41.58	v 3275
41.47/41.58	v 3276
41.47/41.58	v 3277
41.47/41.58	v 3278
41.47/41.58	v 3279
41.47/41.58	v 3280
41.47/41.58	v 3281
41.47/41.58	v 3282
41.47/41.58	v 3283
41.47/41.58	v 3284
41.47/41.58	v 3285
41.47/41.58	v 3286
41.47/41.58	v 3287
41.47/41.58	v 3288
41.47/41.58	v 3289
41.47/41.58	v 3290
41.47/41.58	v 3291
41.47/41.58	v 3292
41.47/41.58	v 3293
41.47/41.58	v 3294
41.47/41.58	v 3295
41.47/41.58	v 3296
41.47/41.58	v 3297
41.47/41.58	v 3298
41.47/41.58	v 3299
41.47/41.58	v 3300
41.47/41.58	v 3301
41.47/41.58	v 3302
41.47/41.58	v 3303
41.47/41.58	v 3304
41.47/41.58	v 3305
41.47/41.58	v 3306
41.47/41.58	v 3307
41.47/41.58	v 3308
41.47/41.58	v 3309
41.47/41.58	v 3310
41.47/41.58	v 3311
41.47/41.58	v 3312
41.47/41.58	v 3313
41.47/41.58	v 3314
41.47/41.58	v 3315
41.47/41.58	v 3316
41.47/41.58	v 3317
41.47/41.58	v 3318
41.47/41.58	v 3319
41.47/41.58	v 3320
41.47/41.58	v 3321
41.47/41.58	v 3322
41.47/41.58	v 3323
41.47/41.58	v 3324
41.47/41.58	v 3325
41.47/41.58	v 3326
41.47/41.58	v 3327
41.47/41.58	v 3328
41.47/41.58	v 3329
41.47/41.58	v 3330
41.47/41.58	v 3331
41.47/41.58	v 3332
41.47/41.58	v 3333
41.47/41.58	v 3334
41.47/41.58	v 3335
41.47/41.58	v 3336
41.47/41.58	v 3337
41.47/41.58	v 3338
41.47/41.58	v 3339
41.47/41.58	v 3340
41.47/41.58	v 3341
41.47/41.58	v 3342
41.47/41.58	v 3343
41.47/41.58	v 3344
41.47/41.58	v 3345
41.47/41.58	v 3346
41.47/41.58	v 3347
41.47/41.58	v -3348
41.47/41.58	v 3349
41.47/41.58	v 3350
41.47/41.58	v 3351
41.47/41.58	v 3352
41.47/41.58	v 3353
41.47/41.58	v 3354
41.47/41.58	v 3355
41.47/41.58	v 3356
41.47/41.58	v 3357
41.47/41.58	v 3358
41.47/41.58	v 3359
41.47/41.58	v 3360
41.47/41.58	v -3361
41.47/41.58	v -3362
41.47/41.58	v -3363
41.47/41.58	v -3364
41.47/41.58	v -3365
41.47/41.58	v -3366
41.47/41.58	v -3367
41.47/41.58	v -3368
41.47/41.58	v -3369
41.47/41.58	v -3370
41.47/41.58	v -3371
41.47/41.58	v -3372
41.47/41.58	v -3373
41.47/41.58	v -3374
41.47/41.58	v 3375
41.47/41.58	v 3376
41.47/41.58	v 3377
41.47/41.58	v -3378
41.47/41.58	v 3379
41.47/41.58	v 3380
41.47/41.58	v 3381
41.47/41.58	v 3382
41.47/41.58	v 3383
41.47/41.58	v 3384
41.47/41.58	v 3385
41.47/41.58	v 3386
41.47/41.58	v 3387
41.47/41.58	v 3388
41.47/41.58	v 3389
41.47/41.58	v 3390
41.47/41.58	v -3391
41.47/41.58	v -3392
41.47/41.58	v -3393
41.47/41.58	v -3394
41.47/41.58	v -3395
41.47/41.58	v -3396
41.47/41.58	v -3397
41.47/41.58	v -3398
41.47/41.58	v -3399
41.47/41.58	v -3400
41.47/41.58	v -3401
41.47/41.58	v -3402
41.47/41.58	v -3403
41.47/41.58	v -3404
41.47/41.58	v 3405
41.47/41.58	v 3406
41.47/41.58	v 3407
41.47/41.58	v -3408
41.47/41.58	v 3409
41.47/41.58	v 3410
41.47/41.58	v 3411
41.47/41.58	v 3412
41.47/41.58	v 3413
41.47/41.58	v 3414
41.47/41.58	v 3415
41.47/41.58	v 3416
41.47/41.58	v 3417
41.47/41.58	v 3418
41.47/41.58	v 3419
41.47/41.58	v 3420
41.47/41.58	v -3421
41.47/41.58	v -3422
41.47/41.58	v -3423
41.47/41.58	v -3424
41.47/41.58	v -3425
41.47/41.58	v -3426
41.47/41.58	v -3427
41.47/41.58	v -3428
41.47/41.58	v -3429
41.47/41.58	v -3430
41.47/41.58	v -3431
41.47/41.58	v -3432
41.47/41.58	v -3433
41.47/41.58	v -3434
41.47/41.58	v 3435
41.47/41.58	v 3436
41.47/41.58	v 3437
41.47/41.58	v -3438
41.47/41.58	v 3439
41.47/41.58	v 3440
41.47/41.58	v 3441
41.47/41.58	v 3442
41.47/41.58	v 3443
41.47/41.58	v 3444
41.47/41.58	v 3445
41.47/41.58	v 3446
41.47/41.58	v 3447
41.47/41.58	v 3448
41.47/41.58	v 3449
41.47/41.58	v 3450
41.47/41.58	v 3451
41.47/41.58	v 3452
41.47/41.58	v 3453
41.47/41.58	v 3454
41.47/41.58	v 3455
41.47/41.58	v 3456
41.47/41.58	v 3457
41.47/41.58	v 3458
41.47/41.58	v 3459
41.47/41.58	v 3460
41.47/41.58	v 3461
41.47/41.58	v 3462
41.47/41.58	v 3463
41.47/41.58	v 3464
41.47/41.58	v 3465
41.47/41.58	v 3466
41.47/41.58	v 3467
41.47/41.58	v -3468
41.47/41.58	v 3469
41.47/41.58	v 3470
41.47/41.58	v 3471
41.47/41.58	v 3472
41.47/41.58	v 3473
41.47/41.58	v 3474
41.47/41.58	v 3475
41.47/41.58	v 3476
41.47/41.58	v 3477
41.47/41.58	v 3478
41.47/41.58	v 3479
41.47/41.58	v 3480
41.47/41.58	v 3481
41.47/41.58	v 3482
41.47/41.58	v 3483
41.47/41.58	v 3484
41.47/41.58	v 3485
41.47/41.58	v 3486
41.47/41.58	v 3487
41.47/41.58	v 3488
41.47/41.58	v 3489
41.47/41.58	v 3490
41.47/41.58	v 3491
41.47/41.58	v 3492
41.47/41.58	v 3493
41.47/41.58	v 3494
41.47/41.58	v 3495
41.47/41.58	v 3496
41.47/41.58	v 3497
41.47/41.58	v -3498
41.47/41.58	v 3499
41.47/41.58	v 3500
41.47/41.58	v 3501
41.47/41.58	v 3502
41.47/41.58	v 3503
41.47/41.58	v 3504
41.47/41.58	v 3505
41.47/41.58	v 3506
41.47/41.58	v 3507
41.47/41.58	v 3508
41.47/41.58	v 3509
41.47/41.58	v 3510
41.47/41.58	v 3511
41.47/41.58	v 3512
41.47/41.58	v 3513
41.47/41.58	v 3514
41.47/41.58	v 3515
41.47/41.58	v 3516
41.47/41.58	v 3517
41.47/41.58	v 3518
41.47/41.58	v 3519
41.47/41.58	v 3520
41.47/41.58	v 3521
41.47/41.58	v 3522
41.47/41.58	v 3523
41.47/41.58	v 3524
41.47/41.58	v 3525
41.47/41.58	v 3526
41.47/41.58	v 3527
41.47/41.58	v -3528
41.47/41.58	v 3529
41.47/41.58	v 3530
41.47/41.58	v 3531
41.47/41.58	v 3532
41.47/41.58	v 3533
41.47/41.58	v 3534
41.47/41.58	v 3535
41.47/41.58	v 3536
41.47/41.58	v 3537
41.47/41.58	v 3538
41.47/41.58	v 3539
41.47/41.58	v 3540
41.47/41.58	v 3541
41.47/41.58	v 3542
41.47/41.58	v 3543
41.47/41.58	v 3544
41.47/41.58	v 3545
41.47/41.58	v 3546
41.47/41.58	v 3547
41.47/41.58	v 3548
41.47/41.58	v 3549
41.47/41.58	v 3550
41.47/41.58	v 3551
41.47/41.58	v 3552
41.47/41.58	v 3553
41.47/41.58	v 3554
41.47/41.58	v 3555
41.47/41.58	v 3556
41.47/41.58	v 3557
41.47/41.58	v -3558
41.47/41.58	v 3559
41.47/41.58	v 3560
41.47/41.58	v 3561
41.47/41.58	v 3562
41.47/41.58	v 3563
41.47/41.58	v 3564
41.47/41.58	v 3565
41.47/41.58	v 3566
41.47/41.58	v 3567
41.47/41.58	v 3568
41.47/41.58	v 3569
41.47/41.58	v 3570
41.47/41.58	v 3571
41.47/41.58	v 3572
41.47/41.58	v 3573
41.47/41.58	v 3574
41.47/41.58	v 3575
41.47/41.58	v 3576
41.47/41.58	v 3577
41.47/41.58	v 3578
41.47/41.58	v 3579
41.47/41.58	v 3580
41.47/41.58	v 3581
41.47/41.58	v 3582
41.47/41.58	v 3583
41.47/41.58	v 3584
41.47/41.58	v 3585
41.47/41.58	v 3586
41.47/41.58	v 3587
41.47/41.58	v -3588
41.47/41.58	v 3589
41.47/41.58	v 3590
41.47/41.58	v 3591
41.47/41.58	v 3592
41.47/41.58	v 3593
41.47/41.58	v 3594
41.47/41.58	v 3595
41.47/41.58	v 3596
41.47/41.58	v 3597
41.47/41.58	v 3598
41.47/41.58	v 3599
41.47/41.58	v 3600
41.47/41.58	v 3601
41.47/41.58	v 3602
41.47/41.58	v 3603
41.47/41.58	v 3604
41.47/41.58	v 3605
41.47/41.58	v 3606
41.47/41.58	v 3607
41.47/41.58	v 3608
41.47/41.58	v 3609
41.47/41.58	v 3610
41.47/41.58	v 3611
41.47/41.58	v 3612
41.47/41.58	v 3613
41.47/41.58	v 3614
41.47/41.58	v 3615
41.47/41.58	v 3616
41.47/41.58	v 3617
41.47/41.58	v -3618
41.47/41.58	v 3619
41.47/41.58	v 3620
41.47/41.58	v 3621
41.47/41.58	v 3622
41.47/41.58	v 3623
41.47/41.58	v 3624
41.47/41.58	v 3625
41.47/41.58	v 3626
41.47/41.58	v 3627
41.47/41.58	v 3628
41.47/41.58	v 3629
41.47/41.58	v 3630
41.47/41.58	v 3631
41.47/41.58	v 3632
41.47/41.58	v 3633
41.47/41.58	v 3634
41.47/41.58	v 3635
41.47/41.58	v 3636
41.47/41.58	v 3637
41.47/41.58	v 3638
41.47/41.58	v 3639
41.47/41.58	v 3640
41.47/41.58	v 3641
41.47/41.58	v 3642
41.47/41.58	v 3643
41.47/41.58	v 3644
41.47/41.58	v 3645
41.47/41.58	v 3646
41.47/41.58	v 3647
41.47/41.58	v 3648
41.47/41.58	v 3649
41.47/41.58	v 3650
41.47/41.58	v 3651
41.47/41.58	v 3652
41.47/41.58	v 3653
41.47/41.58	v 3654
41.47/41.58	v 3655
41.47/41.58	v 3656
41.47/41.58	v 3657
41.47/41.58	v 3658
41.47/41.58	v 3659
41.47/41.58	v 3660
41.47/41.58	v 3661
41.47/41.58	v 3662
41.47/41.58	v 3663
41.47/41.58	v 3664
41.47/41.58	v 3665
41.47/41.58	v 3666
41.47/41.58	v 3667
41.47/41.58	v 3668
41.47/41.58	v 3669
41.47/41.58	v 3670
41.47/41.58	v 3671
41.47/41.58	v 3672
41.47/41.58	v 3673
41.47/41.58	v 3674
41.47/41.58	v 3675
41.47/41.58	v 3676
41.47/41.58	v 3677
41.47/41.58	v 3678
41.47/41.58	v 3679
41.47/41.58	v 3680
41.47/41.58	v 3681
41.47/41.58	v 3682
41.47/41.58	v 3683
41.47/41.58	v 3684
41.47/41.58	v 3685
41.47/41.58	v 3686
41.47/41.58	v 3687
41.47/41.58	v 3688
41.47/41.58	v 3689
41.47/41.58	v 3690
41.47/41.58	v 3691
41.47/41.58	v 3692
41.47/41.58	v 3693
41.47/41.58	v 3694
41.47/41.58	v 3695
41.47/41.58	v 3696
41.47/41.58	v 3697
41.47/41.58	v 3698
41.47/41.58	v 3699
41.47/41.58	v 3700
41.47/41.58	v 3701
41.47/41.58	v 3702
41.47/41.58	v 3703
41.47/41.58	v 3704
41.47/41.58	v 3705
41.47/41.58	v 3706
41.47/41.58	v 3707
41.47/41.58	v 3708
41.47/41.58	v 3709
41.47/41.58	v 3710
41.47/41.58	v 3711
41.47/41.58	v 3712
41.47/41.58	v 3713
41.47/41.58	v 3714
41.47/41.58	v 3715
41.47/41.58	v 3716
41.47/41.58	v 3717
41.47/41.58	v 3718
41.47/41.58	v 3719
41.47/41.58	v 3720
41.47/41.58	v 3721
41.47/41.58	v 3722
41.47/41.58	v 3723
41.47/41.58	v 3724
41.47/41.58	v 3725
41.47/41.58	v 3726
41.47/41.58	v 3727
41.47/41.58	v 3728
41.47/41.58	v 3729
41.47/41.58	v 3730
41.47/41.58	v 3731
41.47/41.58	v 3732
41.47/41.58	v 3733
41.47/41.58	v 3734
41.47/41.58	v 3735
41.47/41.58	v 3736
41.47/41.58	v 3737
41.47/41.58	v 3738
41.47/41.58	v 3739
41.47/41.58	v 3740
41.47/41.58	v 3741
41.47/41.58	v 3742
41.47/41.58	v 3743
41.47/41.58	v 3744
41.47/41.58	v 3745
41.47/41.58	v 3746
41.47/41.58	v 3747
41.47/41.58	v 3748
41.47/41.58	v 3749
41.47/41.58	v 3750
41.47/41.58	v 3751
41.47/41.58	v 3752
41.47/41.58	v 3753
41.47/41.58	v 3754
41.47/41.58	v 3755
41.47/41.58	v 3756
41.47/41.58	v 3757
41.47/41.58	v 3758
41.47/41.58	v 3759
41.47/41.58	v 3760
41.47/41.58	v 3761
41.47/41.58	v 3762
41.47/41.58	v 3763
41.47/41.58	v 3764
41.47/41.58	v 3765
41.47/41.58	v 3766
41.47/41.58	v 3767
41.47/41.58	v 3768
41.47/41.58	v 3769
41.47/41.58	v 3770
41.47/41.58	v 3771
41.47/41.58	v 3772
41.47/41.58	v 3773
41.47/41.58	v 3774
41.47/41.58	v 3775
41.47/41.58	v 3776
41.47/41.58	v 3777
41.47/41.58	v 3778
41.47/41.59	v 3779
41.47/41.59	v 3780
41.47/41.59	v 3781
41.47/41.59	v 3782
41.47/41.59	v 3783
41.47/41.59	v 3784
41.47/41.59	v 3785
41.47/41.59	v 3786
41.47/41.59	v 3787
41.47/41.59	v 3788
41.47/41.59	v 3789
41.47/41.59	v 3790
41.47/41.59	v 3791
41.47/41.59	v 3792
41.47/41.59	v 3793
41.47/41.59	v 3794
41.47/41.59	v 3795
41.47/41.59	v 3796
41.47/41.59	v 3797
41.47/41.59	v 3798
41.47/41.59	v 3799
41.47/41.59	v 3800
41.47/41.59	v 3801
41.47/41.59	v 3802
41.47/41.59	v 3803
41.47/41.59	v 3804
41.47/41.59	v 3805
41.47/41.59	v 3806
41.47/41.59	v 3807
41.47/41.59	v 3808
41.47/41.59	v 3809
41.47/41.59	v 3810
41.47/41.59	v 3811
41.47/41.59	v 3812
41.47/41.59	v 3813
41.47/41.59	v 3814
41.47/41.59	v 3815
41.47/41.59	v 3816
41.47/41.59	v 3817
41.47/41.59	v 3818
41.47/41.59	v 3819
41.47/41.59	v 3820
41.47/41.59	v 3821
41.47/41.59	v 3822
41.47/41.59	v 3823
41.47/41.59	v 3824
41.47/41.59	v 3825
41.47/41.59	v 3826
41.47/41.59	v 3827
41.47/41.59	v 3828
41.47/41.59	v 3829
41.47/41.59	v 3830
41.47/41.59	v 3831
41.47/41.59	v 3832
41.47/41.59	v 3833
41.47/41.59	v 3834
41.47/41.59	v 3835
41.47/41.59	v 3836
41.47/41.59	v 3837
41.47/41.59	v 3838
41.47/41.59	v 3839
41.47/41.59	v 3840
41.47/41.59	v 3841
41.47/41.59	v 3842
41.47/41.59	v 3843
41.47/41.59	v 3844
41.47/41.59	v 3845
41.47/41.59	v 3846
41.47/41.59	v 3847
41.47/41.59	v 3848
41.47/41.59	v 3849
41.47/41.59	v 3850
41.47/41.59	v 3851
41.47/41.59	v 3852
41.47/41.59	v 3853
41.47/41.59	v 3854
41.47/41.59	v 3855
41.47/41.59	v 3856
41.47/41.59	v 3857
41.47/41.59	v 3858
41.47/41.59	v 3859
41.47/41.59	v 3860
41.47/41.59	v 3861
41.47/41.59	v 3862
41.47/41.59	v 3863
41.47/41.59	v 3864
41.47/41.59	v 3865
41.47/41.59	v 3866
41.47/41.59	v 3867
41.47/41.59	v 3868
41.47/41.59	v 3869
41.47/41.59	v 3870
41.47/41.59	v 3871
41.47/41.59	v 3872
41.47/41.59	v 3873
41.47/41.59	v 3874
41.47/41.59	v 3875
41.47/41.59	v 3876
41.47/41.59	v 3877
41.47/41.59	v 3878
41.47/41.59	v 3879
41.47/41.59	v 3880
41.47/41.59	v 3881
41.47/41.59	v 3882
41.47/41.59	v 3883
41.47/41.59	v 3884
41.47/41.59	v 3885
41.47/41.59	v 3886
41.47/41.59	v 3887
41.47/41.59	v 3888
41.47/41.59	v 3889
41.47/41.59	v 3890
41.47/41.59	v 3891
41.47/41.59	v 3892
41.47/41.59	v 3893
41.47/41.59	v 3894
41.47/41.59	v 3895
41.47/41.59	v 3896
41.47/41.59	v 3897
41.47/41.59	v 3898
41.47/41.59	v 3899
41.47/41.59	v 3900
41.47/41.59	v 3901
41.47/41.59	v 3902
41.47/41.59	v 3903
41.47/41.59	v 3904
41.47/41.59	v 3905
41.47/41.59	v 3906
41.47/41.59	v 3907
41.47/41.59	v 3908
41.47/41.59	v 3909
41.47/41.59	v 3910
41.47/41.59	v 3911
41.47/41.59	v 3912
41.47/41.59	v 3913
41.47/41.59	v 3914
41.47/41.59	v 3915
41.47/41.59	v 3916
41.47/41.59	v 3917
41.47/41.59	v 3918
41.47/41.59	v 3919
41.47/41.59	v 3920
41.47/41.59	v 3921
41.47/41.59	v 3922
41.47/41.59	v 3923
41.47/41.59	v 3924
41.47/41.59	v 3925
41.47/41.59	v 3926
41.47/41.59	v 3927
41.47/41.59	v 3928
41.47/41.59	v 3929
41.47/41.59	v 3930
41.47/41.59	v 3931
41.47/41.59	v 3932
41.47/41.59	v 3933
41.47/41.59	v 3934
41.47/41.59	v 3935
41.47/41.59	v 3936
41.47/41.59	v 3937
41.47/41.59	v 3938
41.47/41.59	v 3939
41.47/41.59	v 3940
41.47/41.59	v 3941
41.47/41.59	v 3942
41.47/41.59	v 3943
41.47/41.59	v 3944
41.47/41.59	v 3945
41.47/41.59	v 3946
41.47/41.59	v 3947
41.47/41.59	v 3948
41.47/41.59	v 3949
41.47/41.59	v 3950
41.47/41.59	v 3951
41.47/41.59	v 3952
41.47/41.59	v 3953
41.47/41.59	v 3954
41.47/41.59	v 3955
41.47/41.59	v 3956
41.47/41.59	v 3957
41.47/41.59	v 3958
41.47/41.59	v 3959
41.47/41.59	v 3960
41.47/41.59	v 3961
41.47/41.59	v 3962
41.47/41.59	v 3963
41.47/41.59	v 3964
41.47/41.59	v 3965
41.47/41.59	v 3966
41.47/41.59	v 3967
41.47/41.59	v 3968
41.47/41.59	v 3969
41.47/41.59	v 3970
41.47/41.59	v 3971
41.47/41.59	v 3972
41.47/41.59	v 3973
41.47/41.59	v 3974
41.47/41.59	v 3975
41.47/41.59	v 3976
41.47/41.59	v 3977
41.47/41.59	v 3978
41.47/41.59	v 3979
41.47/41.59	v 3980
41.47/41.59	v 3981
41.47/41.59	v 3982
41.47/41.59	v 3983
41.47/41.59	v 3984
41.47/41.59	v 3985
41.47/41.59	v 3986
41.47/41.59	v 3987
41.47/41.59	v 3988
41.47/41.59	v 3989
41.47/41.59	v 3990
41.47/41.59	v 3991
41.47/41.59	v 3992
41.47/41.59	v 3993
41.47/41.59	v 3994
41.47/41.59	v 3995
41.47/41.59	v 3996
41.47/41.59	v 3997
41.47/41.59	v 3998
41.47/41.59	v 3999
41.47/41.59	v 4000
41.47/41.59	v 4001
41.47/41.59	v 4002
41.47/41.59	v 4003
41.47/41.59	v 4004
41.47/41.59	v -4005
41.47/41.59	v -4006
41.47/41.59	v -4007
41.47/41.59	v -4008
41.47/41.59	v -4009
41.47/41.59	v -4010
41.47/41.59	v -4011
41.47/41.59	v -4012
41.47/41.59	v -4013
41.47/41.59	v -4014
41.47/41.59	v -4015
41.47/41.59	v -4016
41.47/41.59	v -4017
41.47/41.59	v -4018
41.47/41.59	v -4019
41.47/41.59	v -4020
41.47/41.59	v -4021
41.47/41.59	v -4022
41.47/41.59	v -4023
41.47/41.59	v -4024
41.47/41.59	v -4025
41.47/41.59	v 4026
41.47/41.59	v 4027
41.47/41.59	v 4028
41.47/41.59	v 4029
41.47/41.59	v 4030
41.47/41.59	v 4031
41.47/41.59	v 4032
41.47/41.59	v 4033
41.47/41.59	v 4034
41.47/41.59	v 4035
41.47/41.59	v 4036
41.47/41.59	v 4037
41.47/41.59	v 4038
41.47/41.59	v 4039
41.47/41.59	v 4040
41.47/41.59	v 4041
41.47/41.59	v 4042
41.47/41.59	v 4043
41.47/41.59	v 4044
41.47/41.59	v 4045
41.47/41.59	v 4046
41.47/41.59	v 4047
41.47/41.59	v -4048
41.47/41.59	v -4049
41.47/41.59	v -4050
41.47/41.59	v -4051
41.47/41.59	v -4052
41.47/41.59	v -4053
41.47/41.59	v -4054
41.47/41.59	v -4055
41.47/41.59	v -4056
41.47/41.59	v -4057
41.47/41.59	v -4058
41.47/41.59	v -4059
41.47/41.59	v -4060
41.47/41.59	v -4061
41.47/41.59	v -4062
41.47/41.59	v -4063
41.47/41.59	v -4064
41.47/41.59	v -4065
41.47/41.59	v -4066
41.47/41.59	v -4067
41.47/41.59	v 4068
41.47/41.59	v -4069
41.47/41.59	v 4070
41.47/41.59	v -4071
41.47/41.59	v 4072
41.47/41.59	v -4073
41.47/41.59	v 4074
41.47/41.59	v 4075
41.47/41.59	v 4076
41.47/41.59	v 4077
41.47/41.59	v 4078
41.47/41.59	v 4079
41.47/41.59	v -4080
41.47/41.59	v 4081
41.47/41.59	v -4082
41.47/41.59	v -4083
41.47/41.59	v 4084
41.47/41.59	v -4085
41.47/41.59	v 4086
41.47/41.59	v 4087
41.47/41.59	v 4088
41.47/41.59	v 4089
41.47/41.59	v -4090
41.47/41.59	v 4091
41.47/41.59	v -4092
41.47/41.59	v 4093
41.47/41.59	v -4094
41.47/41.59	v -4095
41.47/41.59	v 4096
41.47/41.59	v 4097
41.47/41.59	v 4098
41.47/41.59	v 4099
41.47/41.59	v 4100
41.47/41.59	v -4101
41.47/41.59	v -4102
41.47/41.59	v -4103
41.47/41.59	v -4104
41.47/41.59	v 4105
41.47/41.59	v -4106
41.47/41.59	v -4107
41.47/41.59	v -4108
41.47/41.59	v 4109
41.47/41.59	v 4110
41.47/41.59	v -4111
41.47/41.59	v 4112
41.47/41.59	v -4113
41.47/41.59	v -4114
41.47/41.59	v -4115
41.47/41.59	v -4116
41.47/41.59	v 4117
41.47/41.59	v 4118
41.47/41.59	v -4119
41.47/41.59	v -4120
41.47/41.59	v -4121
41.47/41.59	v -4122
41.47/41.59	v -4123
41.47/41.59	v -4124
41.47/41.59	v -4125
41.47/41.59	v 4126
41.47/41.59	v -4127
41.47/41.59	v -4128
41.47/41.59	v -4129
41.47/41.59	v -4130
41.47/41.59	v 4131
41.47/41.59	v -4132
41.47/41.59	v 4133
41.47/41.59	v -4134
41.47/41.59	v -4135
41.47/41.59	v 4136
41.47/41.59	v 4137
41.47/41.59	v 4138
41.47/41.59	v 4139
41.47/41.59	v 4140
41.47/41.59	v 4141
41.47/41.59	v 4142
41.47/41.59	v -4143
41.47/41.59	v -4144
41.47/41.59	v 4145
41.47/41.59	v -4146
41.47/41.59	v 4147
41.47/41.59	v -4148
41.47/41.59	v 4149
41.47/41.59	v 4150
41.47/41.59	v 4151
41.47/41.59	v 4152
41.47/41.59	v -4153
41.47/41.59	v 4154
41.47/41.59	v -4155
41.47/41.59	v -4156
41.47/41.59	v 4157
41.47/41.59	v -4158
41.47/41.59	v 4159
41.47/41.59	v 4160
41.47/41.59	v -4161
41.47/41.59	v -4162
41.47/41.59	v 4163
41.47/41.59	v -4164
41.47/41.59	v -4165
41.47/41.59	v -4166
41.47/41.59	v -4167
41.47/41.59	v 4168
41.47/41.59	v -4169
41.47/41.59	v -4170
41.47/41.59	v -4171
41.47/41.59	v -4172
41.47/41.59	v 4173
41.47/41.59	v -4174
41.47/41.59	v 4175
41.47/41.59	v -4176
41.47/41.59	v -4177
41.47/41.59	v -4178
41.47/41.59	v -4179
41.47/41.59	v -4180
41.47/41.59	v -4181
41.47/41.59	v -4182
41.47/41.59	v -4183
41.47/41.59	v -4184
41.47/41.59	v -4185
41.47/41.59	v -4186
41.47/41.59	v -4187
41.47/41.59	v -4188
41.47/41.59	v 4189
41.47/41.59	v -4190
41.47/41.59	v -4191
41.47/41.59	v -4192
41.47/41.59	v -4193
41.47/41.59	v 4194
41.47/41.59	v -4195
41.47/41.59	v 4196
41.47/41.59	v -4197
41.47/41.59	v -4198
41.47/41.59	v -4199
41.47/41.59	v -4200
41.47/41.59	v -4201
41.47/41.59	v 4202
41.47/41.59	v -4203
41.47/41.59	v -4204
41.47/41.59	v -4205
41.47/41.59	v -4206
41.47/41.59	v -4207
41.47/41.59	v -4208
41.47/41.59	v -4209
41.47/41.59	v 4210
41.47/41.59	v -4211
41.47/41.59	v -4212
41.47/41.59	v -4213
41.47/41.59	v -4214
41.47/41.59	v 4215
41.47/41.59	v -4216
41.47/41.59	v 4217
41.47/41.59	v -4218
41.47/41.59	v -4219
41.47/41.59	v -4220
41.47/41.59	v -4221
41.47/41.59	v -4222
41.47/41.59	v 4223
41.47/41.59	v 4224
41.47/41.59	v -4225
41.47/41.59	v 4226
41.47/41.59	v -4227
41.47/41.59	v -4228
41.47/41.59	v -4229
41.47/41.59	v -4230
41.47/41.59	v 4231
41.47/41.59	v -4232
41.47/41.59	v -4233
41.47/41.59	v -4234
41.47/41.59	v -4235
41.47/41.59	v 4236
41.47/41.59	v -4237
41.47/41.59	v 4238
41.47/41.59	v -4239
41.47/41.59	v -4240
41.47/41.59	v -4241
41.47/41.59	v -4242
41.47/41.59	v -4243
41.47/41.59	v 4244
41.47/41.59	v 4245
41.47/41.59	v -4246
41.47/41.59	v -4247
41.47/41.59	v -4248
41.47/41.59	v -4249
41.47/41.59	v -4250
41.47/41.59	v -4251
41.47/41.59	v 4252
41.47/41.59	v -4253
41.47/41.59	v -4254
41.47/41.59	v -4255
41.47/41.59	v -4256
41.47/41.59	v 4257
41.47/41.59	v -4258
41.47/41.59	v 4259
41.47/41.59	v -4260
41.47/41.59	v -4261
41.47/41.59	v -4262
41.47/41.59	v -4263
41.47/41.59	v -4264
41.47/41.59	v 4265
41.47/41.59	v -4266
41.47/41.59	v -4267
41.47/41.59	v -4268
41.47/41.59	v -4269
41.47/41.59	v -4270
41.47/41.59	v -4271
41.47/41.59	v -4272
41.47/41.59	v 4273
41.47/41.59	v -4274
41.47/41.59	v -4275
41.47/41.59	v -4276
41.47/41.59	v -4277
41.47/41.59	v 4278
41.47/41.59	v -4279
41.47/41.59	v 4280
41.47/41.59	v -4281
41.47/41.59	v -4282
41.47/41.59	v 4283
41.47/41.59	v -4284
41.47/41.59	v -4285
41.47/41.59	v 4286
41.47/41.59	v 4287
41.47/41.59	v 4288
41.47/41.59	v 4289
41.47/41.59	v 4290
41.47/41.59	v -4291
41.47/41.59	v -4292
41.47/41.59	v -4293
41.47/41.59	v 4294
41.47/41.59	v -4295
41.47/41.59	v 4296
41.47/41.59	v 4297
41.47/41.59	v 4298
41.47/41.59	v 4299
41.47/41.59	v -4300
41.47/41.59	v 4301
41.47/41.59	v -4302
41.47/41.59	v -4303
41.47/41.59	v 4304
41.47/41.59	v -4305
41.47/41.59	v 4306
41.47/41.59	v 4307
41.47/41.59	v 4308
41.47/41.59	v 4309
41.47/41.59	v 4310
41.47/41.59	v 4311
41.47/41.59	v -4312
41.47/41.59	v -4313
41.47/41.59	v -4314
41.47/41.59	v 4315
41.47/41.59	v -4316
41.47/41.59	v 4317
41.47/41.59	v 4318
41.47/41.59	v 4319
41.47/41.59	v 4320
41.47/41.59	v -4321
41.47/41.59	v 4322
41.47/41.59	v -4323
41.47/41.59	v -4324
41.47/41.59	v 4325
41.47/41.59	v -4326
41.47/41.59	v 4327
41.47/41.59	v 4328
41.47/41.59	v 4329
41.47/41.59	v 4330
41.47/41.59	v 4331
41.47/41.59	v 4332
41.47/41.59	v -4333
41.47/41.59	v -4334
41.47/41.59	v -4335
41.47/41.59	v 4336
41.47/41.59	v -4337
41.47/41.59	v 4338
41.47/41.59	v 4339
41.47/41.59	v 4340
41.47/41.59	v 4341
41.47/41.59	v -4342
41.47/41.59	v 4343
41.47/41.59	v -4344
41.47/41.59	v -4345
41.47/41.59	v 4346
41.47/41.59	v -4347
41.47/41.59	v 4348
41.47/41.59	v 4349
41.47/41.59	v 4350
41.47/41.59	v 4351
41.47/41.59	v 4352
41.47/41.59	v 4353
41.47/41.59	v -4354
41.47/41.59	v -4355
41.47/41.59	v -4356
41.47/41.59	v 4357
41.47/41.59	v -4358
41.47/41.59	v 4359
41.47/41.59	v 4360
41.47/41.59	v 4361
41.47/41.59	v 4362
41.47/41.59	v -4363
41.47/41.59	v 4364
41.47/41.59	v -4365
41.47/41.59	v -4366
41.47/41.59	v -4367
41.47/41.59	v -4368
41.47/41.59	v -4369
41.47/41.59	v -4370
41.47/41.59	v -4371
41.47/41.59	v -4372
41.47/41.59	v -4373
41.47/41.59	v -4374
41.47/41.59	v -4375
41.47/41.59	v -4376
41.47/41.59	v -4377
41.47/41.59	v -4378
41.47/41.59	v -4379
41.47/41.59	v -4380
41.47/41.59	v -4381
41.47/41.59	v -4382
41.47/41.59	v 4383
41.47/41.59	v -4384
41.47/41.59	v 4385
41.47/41.59	v -4386
41.47/41.59	v -4387
41.47/41.59	v 4388
41.47/41.59	v -4389
41.47/41.59	v 4390
41.47/41.59	v 4391
41.47/41.59	v 4392
41.47/41.59	v 4393
41.47/41.59	v 4394
41.47/41.59	v 4395
41.47/41.59	v 4396
41.47/41.59	v -4397
41.47/41.59	v -4398
41.47/41.59	v 4399
41.47/41.59	v 4400
41.47/41.59	v 4401
41.47/41.59	v 4402
41.47/41.59	v 4403
41.47/41.59	v 4404
41.47/41.59	v -4405
41.47/41.59	v 4406
41.47/41.59	v -4407
41.47/41.59	v -4408
41.47/41.59	v 4409
41.47/41.59	v -4410
41.47/41.59	v -4411
41.47/41.59	v 4412
41.47/41.59	v 4413
41.47/41.59	v -4414
41.47/41.59	v 4415
41.47/41.59	v 4416
41.47/41.59	v -4417
41.47/41.59	v -4418
41.47/41.59	v -4419
41.47/41.59	v -4420
41.47/41.59	v 4421
41.47/41.59	v -4422
41.47/41.59	v -4423
41.47/41.59	v -4424
41.47/41.59	v 4425
41.47/41.59	v -4426
41.47/41.59	v 4427
41.47/41.59	v -4428
41.47/41.59	v -4429
41.47/41.59	v -4430
41.47/41.59	v -4431
41.47/41.59	v -4432
41.47/41.59	v 4433
41.47/41.59	v 4434
41.47/41.59	v 4435
41.47/41.59	v -4436
41.47/41.59	v 4437
41.47/41.59	v -4438
41.47/41.59	v -4439
41.47/41.59	v -4440
41.47/41.59	v -4441
41.47/41.59	v 4442
41.47/41.59	v -4443
41.47/41.59	v -4444
41.47/41.59	v 4445
41.47/41.59	v 4446
41.47/41.59	v -4447
41.47/41.59	v 4448
41.47/41.59	v -4449
41.47/41.59	v -4450
41.47/41.59	v -4451
41.47/41.59	v -4452
41.47/41.59	v -4453
41.47/41.59	v 4454
41.47/41.59	v 4455
41.47/41.59	v -4456
41.47/41.59	v -4457
41.47/41.59	v -4458
41.47/41.59	v -4459
41.47/41.59	v -4460
41.47/41.59	v -4461
41.47/41.59	v -4462
41.47/41.59	v 4463
41.47/41.59	v -4464
41.47/41.59	v -4465
41.47/41.59	v -4466
41.47/41.59	v 0
41.47/41.59	c Done in 40.370000 seconds

Verifier Data

OK

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1722023-1240671999/watcher-1722023-1240671999 -o /tmp/evaluation-result-1722023-1240671999/solver-1722023-1240671999 -C 1200 -W 1800 -M 1800 --output-limit 1,15 HOME/hybridGM7 HOME/instance-1722023-1240671999.cnf 1380386250 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.02 1.04 1.01 3/64 17551
/proc/meminfo: memFree=1704512/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=260600 CPUtime=0
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 887 0 0 0 0 0 0 0 18 0 1 0 95232935 266854400 871 1992294400 134512640 135204385 4294956208 18446744073709551615 134542712 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 65150 878 55 168 0 64980 0

[startup+0.077504 s]
/proc/loadavg: 1.02 1.04 1.01 3/64 17551
/proc/meminfo: memFree=1704512/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=268416 CPUtime=0.06
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 1283 0 0 0 6 0 0 0 18 0 1 0 95232935 274857984 1267 1992294400 134512640 135204385 4294956208 18446744073709551615 134728510 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 67104 1267 57 168 0 66934 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 268416

[startup+0.101506 s]
/proc/loadavg: 1.02 1.04 1.01 3/64 17551
/proc/meminfo: memFree=1704512/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=268416 CPUtime=0.09
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 1357 0 0 0 9 0 0 0 18 0 1 0 95232935 274857984 1341 1992294400 134512640 135204385 4294956208 18446744073709551615 134728510 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 67104 1341 57 168 0 66934 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 268416

[startup+0.301537 s]
/proc/loadavg: 1.02 1.04 1.01 3/64 17551
/proc/meminfo: memFree=1704512/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=268416 CPUtime=0.29
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 1956 0 0 0 29 0 0 0 19 0 1 0 95232935 274857984 1940 1992294400 134512640 135204385 4294956208 18446744073709551615 134728510 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 67104 1940 57 168 0 66934 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 268416

[startup+0.701602 s]
/proc/loadavg: 1.02 1.04 1.01 3/64 17551
/proc/meminfo: memFree=1704512/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=268416 CPUtime=0.69
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 3168 0 0 0 68 1 0 0 22 0 1 0 95232935 274857984 3152 1992294400 134512640 135204385 4294956208 18446744073709551615 134542911 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 67104 3153 57 168 0 66934 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 268416

[startup+1.50173 s]
/proc/loadavg: 1.02 1.04 1.01 2/65 17552
/proc/meminfo: memFree=1678392/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=1.49
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 144 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 284048

[startup+3.10198 s]
/proc/loadavg: 1.02 1.04 1.01 2/65 17552
/proc/meminfo: memFree=1653240/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=3.09
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 304 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 284048

[startup+6.3015 s]
/proc/loadavg: 1.02 1.04 1.01 2/65 17552
/proc/meminfo: memFree=1653048/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=6.29
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 624 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 284048

[startup+12.7015 s]
/proc/loadavg: 1.02 1.04 1.01 2/65 17552
/proc/meminfo: memFree=1653120/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=12.68
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 1263 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538282 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 284048

[startup+25.5016 s]
/proc/loadavg: 1.01 1.04 1.01 2/65 17552
/proc/meminfo: memFree=1653184/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=25.48
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 2543 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538041 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 284048

Solver just ended. Dumping a history of the last processes samples

[startup+31.9056 s]
/proc/loadavg: 1.01 1.04 1.01 2/65 17552
/proc/meminfo: memFree=1653120/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=31.88
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 3183 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 31.88
Current children cumulated vsize (KiB) 284048

[startup+38.3016 s]
/proc/loadavg: 1.09 1.05 1.01 2/65 17552
/proc/meminfo: memFree=1653120/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=38.27
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 3822 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 38.27
Current children cumulated vsize (KiB) 284048

[startup+39.9019 s]
/proc/loadavg: 1.09 1.05 1.01 2/65 17552
/proc/meminfo: memFree=1653120/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=39.87
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 3982 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538284 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 39.87
Current children cumulated vsize (KiB) 284048

[startup+40.706 s]
/proc/loadavg: 1.08 1.05 1.01 2/65 17552
/proc/meminfo: memFree=1653184/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=40.67
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 4062 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538312 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 40.67
Current children cumulated vsize (KiB) 284048

[startup+41.101 s]
/proc/loadavg: 1.08 1.05 1.01 2/65 17552
/proc/meminfo: memFree=1653184/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=41.07
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 4102 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134538395 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 41.07
Current children cumulated vsize (KiB) 284048

[startup+41.5011 s]
/proc/loadavg: 1.08 1.05 1.01 2/65 17552
/proc/meminfo: memFree=1653184/2055920 swapFree=4181132/4192956
[pid=17551] ppid=17549 vsize=284048 CPUtime=41.47
/proc/17551/stat : 17551 (hybridGM7) R 17549 17551 17058 0 -1 4194304 12826 0 0 0 4142 5 0 0 25 0 1 0 95232935 290865152 12809 1992294400 134512640 135204385 4294956208 18446744073709551615 134537711 0 0 4096 0 0 0 0 17 1 0 0
/proc/17551/statm: 71012 12809 63 168 0 70842 0
Current children cumulated CPU time (s) 41.47
Current children cumulated vsize (KiB) 284048

Child status: 10
Real time (s): 41.5999
CPU time (s): 41.5467
CPU user time (s): 41.4817
CPU system time (s): 0.06499
CPU usage (%): 99.872
Max. virtual memory (cumulated for all children) (KiB): 284048

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.4817
system time used= 0.06499
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 30
involuntary context switches= 109

runsolver used 0.044993 second user time and 0.12898 second system time

The end

Launcher Data

Begin job on node26 at 2009-04-25 17:06:40
IDJOB=1722023
IDBENCH=71081
IDSOLVER=535
FILE ID=node26/1722023-1240671999
PBS_JOBID= 9186557
Free space on /tmp= 66024 MiB

SOLVER NAME= hybridGM7 7
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_21_SAT.cnf
COMMAND LINE= HOME/hybridGM7 BENCHNAME RANDOMSEED 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1722023-1240671999/watcher-1722023-1240671999 -o /tmp/evaluation-result-1722023-1240671999/solver-1722023-1240671999 -C 1200 -W 1800 -M 1800 --output-limit 1,15  HOME/hybridGM7 HOME/instance-1722023-1240671999.cnf 1380386250 

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 03a36a0e1b9af8e7c30a29a92e02302e
RANDOM SEED=1380386250

node26.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1704992 kB
Buffers:         43060 kB
Cached:         236508 kB
SwapCached:       5760 kB
Active:          91060 kB
Inactive:       196820 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1704992 kB
SwapTotal:     4192956 kB
SwapFree:      4181132 kB
Dirty:           10188 kB
Writeback:           0 kB
Mapped:          13584 kB
Slab:            49140 kB
Committed_AS:   296532 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66024 MiB
End job on node26 at 2009-04-25 17:07:21