Trace number 308987

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
gnovelty+ 2007-02-08SAT 0.693893 0.710622

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

Verifier Data (download as text)

OK

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-308987-1172531698 -o ROOT/results/node1/solver-308987-1172531698 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/308987-1172531698/gnovelty+ /tmp/evaluation/308987-1172531698/instance-308987-1172531698.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 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.92 0.97 0.99 3/77 15698
/proc/meminfo: memFree=1783032/2055920 swapFree=4156676/4192956
[pid=15698] ppid=15696 vsize=244700 CPUtime=0
/proc/15698/stat : 15698 (gnovelty+) R 15696 15698 15200 0 -1 4194304 861 0 0 0 0 0 0 0 18 0 1 0 273124854 250572800 846 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/15698/statm: 61175 853 39 99 0 61074 0

[startup+0.107109 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 15698
/proc/meminfo: memFree=1783032/2055920 swapFree=4156676/4192956
[pid=15698] ppid=15696 vsize=252512 CPUtime=0.09
/proc/15698/stat : 15698 (gnovelty+) R 15696 15698 15200 0 -1 4194304 2293 0 0 0 9 0 0 0 18 0 1 0 273124854 258572288 2277 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513213 0 0 4096 0 0 0 0 17 1 0 0
/proc/15698/statm: 63128 2277 44 99 0 63027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 252512

[startup+0.515157 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 15698
/proc/meminfo: memFree=1783032/2055920 swapFree=4156676/4192956
[pid=15698] ppid=15696 vsize=252512 CPUtime=0.5
/proc/15698/stat : 15698 (gnovelty+) R 15696 15698 15200 0 -1 4194304 2293 0 0 0 50 0 0 0 22 0 1 0 273124854 258572288 2277 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513340 0 0 4096 0 0 0 0 17 1 0 0
/proc/15698/statm: 63128 2277 44 99 0 63027 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 252512

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

[startup+0.617168 s]
/proc/loadavg: 0.92 0.97 0.99 3/77 15698
/proc/meminfo: memFree=1783032/2055920 swapFree=4156676/4192956
[pid=15698] ppid=15696 vsize=252512 CPUtime=0.6
/proc/15698/stat : 15698 (gnovelty+) R 15696 15698 15200 0 -1 4194304 2293 0 0 0 60 0 0 0 22 0 1 0 273124854 258572288 2277 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513254 0 0 4096 0 0 0 0 17 1 0 0
/proc/15698/statm: 63128 2277 44 99 0 63027 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 252512

Child status: 10
Real time (s): 0.710622
CPU time (s): 0.693893
CPU user time (s): 0.685895
CPU system time (s): 0.007998
CPU usage (%): 97.6459
Max. virtual memory (cumulated for all children) (KiB): 252512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.685895
system time used= 0.007998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2307
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= 1

runsolver used 0.004999 second user time and 0.022996 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Mon Feb 26 23:14:58 UTC 2007

IDJOB= 308987
IDBENCH= 20247
IDSOLVER= 116
FILE ID= node1/308987-1172531698

PBS_JOBID= 3971635

Free space on /tmp= 66558 MiB

SOLVER NAME= gnovelty+ 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/308987-1172531698/gnovelty+ /tmp/evaluation/308987-1172531698/instance-308987-1172531698.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-308987-1172531698 -o ROOT/results/node1/solver-308987-1172531698 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/308987-1172531698/gnovelty+ /tmp/evaluation/308987-1172531698/instance-308987-1172531698.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  38e2a9bd59e68a32cdb8e1dbac558add

RANDOM SEED= 997319361

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.230
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.230
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:       1783440 kB
Buffers:         39616 kB
Cached:         161448 kB
SwapCached:      19188 kB
Active:         189144 kB
Inactive:        40616 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1783440 kB
SwapTotal:     4192956 kB
SwapFree:      4156676 kB
Dirty:            1288 kB
Writeback:           0 kB
Mapped:          30024 kB
Slab:            28296 kB
Committed_AS:   821608 kB
PageTables:       1740 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= 66558 MiB

End job on node1 on Mon Feb 26 23:14:59 UTC 2007