Trace number 423923

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, and are wall clock time (not CPU 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
ranov 2007-02-08SAT 0.72089 0.737552

General information on the benchmark

Namerandom/2+p/p0.7/v4500/
unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
MD5SUM38e2a9bd59e68a32cdb8e1dbac558add
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.167974
Satisfiable
(Un)Satisfiability was proved
Number of variables4494
Number of clauses12014
Sum of the clauses size32438
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 23604
Number of clauses of size 38410
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data (download as text)

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node35/watcher-423923-1177830873 -o ROOT/results/node35/solver-423923-1177830873 -C 5000 -W 7500 -M 1800 --output-limit 1,15 /tmp/evaluation/423923-1177830873/ranov /tmp/evaluation/423923-1177830873/instance-423923-1177830873.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 7500 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: 0.84 0.94 0.96 3/77 14861
/proc/meminfo: memFree=1397944/2055920 swapFree=4151088/4192956
[pid=14861] ppid=14859 vsize=319884 CPUtime=0
/proc/14861/stat : 14861 (ranov) R 14859 14861 13236 0 -1 4194304 849 0 0 0 0 0 0 0 18 0 1 0 231002711 327561216 836 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134528292 0 0 4096 0 0 0 0 17 1 0 0
/proc/14861/statm: 79971 842 30 98 0 79870 0

[startup+0.0695699 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 14861
/proc/meminfo: memFree=1397944/2055920 swapFree=4151088/4192956
[pid=14861] ppid=14859 vsize=320328 CPUtime=0.06
/proc/14861/stat : 14861 (ranov) R 14859 14861 13236 0 -1 4194304 9878 0 0 0 2 4 0 0 18 0 1 0 231002711 328015872 9863 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134529408 0 0 4096 0 0 0 0 17 1 0 0
/proc/14861/statm: 80082 9870 38 98 0 79981 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 320328

[startup+0.102573 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 14861
/proc/meminfo: memFree=1397944/2055920 swapFree=4151088/4192956
[pid=14861] ppid=14859 vsize=320872 CPUtime=0.09
/proc/14861/stat : 14861 (ranov) R 14859 14861 13236 0 -1 4194304 10571 0 0 0 5 4 0 0 18 0 1 0 231002711 328572928 10557 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134530400 0 0 4096 0 0 0 0 17 1 0 0
/proc/14861/statm: 80218 10563 39 98 0 80117 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 320872

[startup+0.301596 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 14861
/proc/meminfo: memFree=1397944/2055920 swapFree=4151088/4192956
[pid=14861] ppid=14859 vsize=328688 CPUtime=0.29
/proc/14861/stat : 14861 (ranov) R 14859 14861 13236 0 -1 4194304 12261 0 0 0 25 4 0 0 19 0 1 0 231002711 336576512 12246 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513295 0 0 4096 0 0 0 0 17 1 0 0
/proc/14861/statm: 82172 12246 42 98 0 82071 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 328688

[startup+0.701644 s]
/proc/loadavg: 0.84 0.94 0.96 3/77 14861
/proc/meminfo: memFree=1397944/2055920 swapFree=4151088/4192956
[pid=14861] ppid=14859 vsize=328688 CPUtime=0.69
/proc/14861/stat : 14861 (ranov) R 14859 14861 13236 0 -1 4194304 12261 0 0 0 65 4 0 0 23 0 1 0 231002711 336576512 12246 18446744073709551615 134512640 134914624 4294956672 18446744073709551615 134513666 0 0 4096 0 0 0 0 17 1 0 0
/proc/14861/statm: 82172 12246 42 98 0 82071 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 328688

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

Child status: 10
Real time (s): 0.737552
CPU time (s): 0.72089
CPU user time (s): 0.662899
CPU system time (s): 0.057991
CPU usage (%): 97.7409
Max. virtual memory (cumulated for all children) (KiB): 328688

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.662899
system time used= 0.057991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12277
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= 37
involuntary context switches= 15

runsolver used 0.004999 second user time and 0.021996 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Sun Apr 29 07:14:33 UTC 2007

IDJOB= 423923
IDBENCH= 20247
IDSOLVER= 193
FILE ID= node35/423923-1177830873

PBS_JOBID= 4718262

Free space on /tmp= 66563 MiB

SOLVER NAME= ranov 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v4500/unif2p-p0.7-v4500-c12015-S1821409123-12-SAT.cnf
COMMAND LINE= /tmp/evaluation/423923-1177830873/ranov /tmp/evaluation/423923-1177830873/instance-423923-1177830873.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-423923-1177830873 -o ROOT/results/node35/solver-423923-1177830873 -C 5000 -W 7500 -M 1800 --output-limit 1,15  /tmp/evaluation/423923-1177830873/ranov /tmp/evaluation/423923-1177830873/instance-423923-1177830873.cnf            

META MD5SUM SOLVER= d41d8cd98f00b204e9800998ecf8427e
MD5SUM BENCH=  38e2a9bd59e68a32cdb8e1dbac558add

RANDOM SEED= 280144189

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 1800 MiB

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

/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.232
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.232
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:       1398416 kB
Buffers:         52100 kB
Cached:         508676 kB
SwapCached:       9948 kB
Active:         311240 kB
Inactive:       274488 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1398416 kB
SwapTotal:     4192956 kB
SwapFree:      4151088 kB
Dirty:            1252 kB
Writeback:           0 kB
Mapped:          31020 kB
Slab:            57132 kB
Committed_AS:  2658872 kB
PageTables:       1996 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= 66563 MiB

End job on node35 on Sun Apr 29 07:14:34 UTC 2007