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

OK

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

command line: runsolver --timestamp -w ROOT/results/node18/watcher-308536-1172522028 -o ROOT/results/node18/solver-308536-1172522028 -C 1200 -M 1800 --output-limit 1,15 /tmp/evaluation/308536-1172522028/gnovelty+ /tmp/evaluation/308536-1172522028/instance-308536-1172522028.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: 1.00 1.00 0.99 3/77 15957
/proc/meminfo: memFree=1750704/2055920 swapFree=4192812/4192956
[pid=15957] ppid=15955 vsize=244700 CPUtime=0
/proc/15957/stat : 15957 (gnovelty+) R 15955 15957 15094 0 -1 4194304 881 0 0 0 0 0 0 0 18 0 1 0 272157402 250572800 866 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134518504 0 0 4096 0 0 0 0 17 1 0 0
/proc/15957/statm: 61175 874 39 99 0 61074 0

[startup+0.106909 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 15957
/proc/meminfo: memFree=1750704/2055920 swapFree=4192812/4192956
[pid=15957] ppid=15955 vsize=252512 CPUtime=0.09
/proc/15957/stat : 15957 (gnovelty+) R 15955 15957 15094 0 -1 4194304 2349 0 0 0 9 0 0 0 18 0 1 0 272157402 258572288 2333 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134513284 0 0 4096 0 0 0 0 17 1 0 0
/proc/15957/statm: 63128 2333 44 99 0 63027 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 252512

[startup+0.514949 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 15957
/proc/meminfo: memFree=1750704/2055920 swapFree=4192812/4192956
[pid=15957] ppid=15955 vsize=252512 CPUtime=0.5
/proc/15957/stat : 15957 (gnovelty+) R 15955 15957 15094 0 -1 4194304 2349 0 0 0 50 0 0 0 21 0 1 0 272157402 258572288 2333 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134523660 0 0 4096 0 0 0 0 17 1 0 0
/proc/15957/statm: 63128 2333 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.514949 s]
/proc/loadavg: 1.00 1.00 0.99 3/77 15957
/proc/meminfo: memFree=1750704/2055920 swapFree=4192812/4192956
[pid=15957] ppid=15955 vsize=252512 CPUtime=0.5
/proc/15957/stat : 15957 (gnovelty+) R 15955 15957 15094 0 -1 4194304 2349 0 0 0 50 0 0 0 21 0 1 0 272157402 258572288 2333 18446744073709551615 134512640 134921880 4294956704 18446744073709551615 134523660 0 0 4096 0 0 0 0 17 1 0 0
/proc/15957/statm: 63128 2333 44 99 0 63027 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 252512

Child status: 10
Real time (s): 0.581448
CPU time (s): 0.559914
CPU user time (s): 0.551916
CPU system time (s): 0.007998
CPU usage (%): 96.2965
Max. virtual memory (cumulated for all children) (KiB): 252512

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.551916
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= 2364
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= 45
involuntary context switches= 0

runsolver used 0.001999 second user time and 0.030995 second system time

The end

Begin job on node18 on Mon Feb 26 20:33:49 UTC 2007

IDJOB= 308536
IDBENCH= 20234
IDSOLVER= 116
FILE ID= node18/308536-1172522028

PBS_JOBID= 3971604

Free space on /tmp= 66556 MiB

SOLVER NAME= gnovelty+ 2007-02-08
BENCH NAME= HOME/pub/bench/SAT07/random/2+p/p0.7/v5500/unif2p-p0.7-v5500-c14685-S30788164-07-SAT.cnf
COMMAND LINE= /tmp/evaluation/308536-1172522028/gnovelty+ /tmp/evaluation/308536-1172522028/instance-308536-1172522028.cnf            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node18/watcher-308536-1172522028 -o ROOT/results/node18/solver-308536-1172522028 -C 1200 -M 1800 --output-limit 1,15  /tmp/evaluation/308536-1172522028/gnovelty+ /tmp/evaluation/308536-1172522028/instance-308536-1172522028.cnf            

META MD5SUM SOLVER= f62d3053d967228316972e47f5f50e74
MD5SUM BENCH=  0b3a3794de00c23df34815ce61181142

RANDOM SEED= 881877109

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB

Linux node18.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.236
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.236
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:       1751112 kB
Buffers:         40132 kB
Cached:         152104 kB
SwapCached:          0 kB
Active:         212496 kB
Inactive:        39420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1751112 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            1168 kB
Writeback:           0 kB
Mapped:          78604 kB
Slab:            38544 kB
Committed_AS:   932256 kB
PageTables:       1668 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= 66556 MiB

End job on node18 on Mon Feb 26 20:33:49 UTC 2007