0.00/0.00	c RoundingSat 2
0.00/0.00	c branch 
0.00/0.00	c commit 
0.00/0.07	c #variables 9940 #constraints 24510
53.66/53.84	c bounds 77399784671 >= -70 @ 0.040993
53.66/53.84	c bounds 62786317 >= -70 @ 1.50735
53.66/53.84	c bounds 52704231 >= -70 @ 1.51335
53.66/53.84	c bounds 52694853 >= -70 @ 1.53622
53.66/53.84	c bounds 37605093 >= -70 @ 1.54071
53.66/53.84	c bounds 36180643 >= -70 @ 2.40869
53.66/53.84	c bounds 36101843 >= -70 @ 2.43228
53.66/53.84	c bounds 36097907 >= -70 @ 2.46735
53.66/53.84	c bounds 36010997 >= -70 @ 2.74293
53.66/53.84	c bounds 35959557 >= -70 @ 2.7654
53.66/53.84	c bounds 35953617 >= -70 @ 2.80028
53.66/53.84	c bounds 35907967 >= -70 @ 2.85718
53.66/53.84	c bounds 35816875 >= -70 @ 2.87306
53.66/53.84	c bounds 35758089 >= -70 @ 2.94618
53.66/53.84	c bounds 35679177 >= -70 @ 3.15151
53.66/53.84	c bounds 35581039 >= -70 @ 3.18589
53.66/53.84	c bounds 27457713 >= -70 @ 4.01546
53.66/53.84	c bounds 27297039 >= -70 @ 4.04935
53.66/53.84	c bounds 27245669 >= -70 @ 4.11987
53.66/53.84	c bounds 27130981 >= -70 @ 4.28411
53.66/53.84	c bounds 27011555 >= -70 @ 4.34832
53.66/53.84	c bounds 26990133 >= -70 @ 4.39991
53.66/53.84	c bounds 26858037 >= -70 @ 4.53896
53.66/53.84	c bounds 26833579 >= -70 @ 4.63641
53.66/53.84	c bounds 26826337 >= -70 @ 4.9126
53.66/53.84	c bounds 26800635 >= -70 @ 5.03216
53.66/53.84	c #Conflicts:       1000 | #Constraints:      25534
53.66/53.84	c bounds 26788449 >= -70 @ 5.19962
53.66/53.84	c bounds 26770023 >= -70 @ 5.28225
53.66/53.84	c bounds 26742183 >= -70 @ 5.33685
53.66/53.84	c bounds 26736823 >= -70 @ 5.4798
53.66/53.84	c bounds 26688813 >= -70 @ 5.84584
53.66/53.84	c bounds 24789461 >= -70 @ 9.48968
53.66/53.84	c bounds 22845029 >= -70 @ 9.57151
53.66/53.84	c bounds 22831779 >= -70 @ 9.68746
53.66/53.84	c bounds 22784683 >= -70 @ 9.76466
53.66/53.84	c bounds 22775745 >= -70 @ 9.99872
53.66/53.84	c bounds 22771211 >= -70 @ 10.1099
53.66/53.84	c bounds 22696619 >= -70 @ 10.4939
53.66/53.84	c bounds 22688659 >= -70 @ 10.9552
53.66/53.84	c bounds 22678285 >= -70 @ 11.3576
53.66/53.84	c bounds 22648123 >= -70 @ 11.5508
53.66/53.84	c bounds 22592469 >= -70 @ 12.2877
53.66/53.84	c #Conflicts:       2000 | #Constraints:      26550
53.66/53.84	c INPROCESSING
53.66/53.84	c GARBAGE COLLECT
53.66/53.84	c bounds 22546671 >= -70 @ 13.3109
53.66/53.84	c bounds 22516093 >= -70 @ 13.4246
53.66/53.84	c bounds 22470827 >= -70 @ 13.4917
53.66/53.84	c bounds 22462587 >= -70 @ 13.5391
53.66/53.84	c bounds 22458805 >= -70 @ 13.6152
53.66/53.84	c bounds 22428635 >= -70 @ 13.7854
53.66/53.84	c bounds 22385593 >= -70 @ 13.8872
53.66/53.84	c bounds 22384655 >= -70 @ 14.0506
53.66/53.84	c bounds 22366447 >= -70 @ 14.1859
53.66/53.84	c bounds 22358305 >= -70 @ 14.5707
53.66/53.84	c bounds 22351021 >= -70 @ 15.3847
53.66/53.84	c bounds 22316523 >= -70 @ 15.7034
53.66/53.84	c bounds 22305011 >= -70 @ 15.8567
53.66/53.84	c bounds 22273243 >= -70 @ 16.2477
53.66/53.84	c bounds 21852429 >= -70 @ 16.4311
53.66/53.84	c bounds 20646797 >= -70 @ 16.5747
53.66/53.84	c bounds 18702365 >= -70 @ 16.6812
53.66/53.84	c bounds 18696779 >= -70 @ 16.8911
53.66/53.84	c bounds 18668573 >= -70 @ 17.1097
53.66/53.84	c bounds 18635081 >= -70 @ 17.2895
53.66/53.84	c #Conflicts:       3000 | #Constraints:      23526
53.66/53.84	c bounds 18505207 >= -70 @ 20.5833
53.66/53.84	c bounds 18490621 >= -70 @ 21.1243
53.66/53.84	c bounds 18485963 >= -70 @ 21.8091
53.66/53.84	c bounds 18459689 >= -70 @ 22.012
53.66/53.84	c bounds 18430837 >= -70 @ 22.2241
53.66/53.84	c bounds 18424069 >= -70 @ 22.4955
53.66/53.84	c bounds 18413549 >= -70 @ 22.7629
53.66/53.84	c bounds 18410331 >= -70 @ 23.2661
53.66/53.84	c bounds 18407261 >= -70 @ 23.4046
53.66/53.84	c bounds 18381259 >= -70 @ 23.5393
53.66/53.84	c bounds 18368011 >= -70 @ 23.935
53.66/53.84	c bounds 18327461 >= -70 @ 24.4192
53.66/53.84	c bounds 18322101 >= -70 @ 25.0411
53.66/53.84	c bounds 17164841 >= -70 @ 25.3183
53.66/53.84	c bounds 17115347 >= -70 @ 25.4624
53.66/53.84	c bounds 17086275 >= -70 @ 25.6746
53.66/53.84	c bounds 15141843 >= -70 @ 25.8187
53.66/53.84	c bounds 15140337 >= -70 @ 26.9447
53.66/53.84	c bounds 15093957 >= -70 @ 27.1168
53.66/53.84	c bounds 9970445 >= -70 @ 28.9272
53.66/53.84	c bounds 9966339 >= -70 @ 29.107
53.66/53.84	c bounds 9948853 >= -70 @ 29.2572
53.66/53.84	c bounds 9875755 >= -70 @ 29.4029
53.66/53.84	c bounds 9871913 >= -70 @ 29.8606
53.66/53.84	c bounds 9788891 >= -70 @ 30.0389
53.66/53.84	c bounds 9777357 >= -70 @ 30.2014
53.66/53.84	c bounds 9775045 >= -70 @ 30.4752
53.66/53.84	c bounds 8996069 >= -70 @ 30.8508
53.66/53.84	c bounds 8972235 >= -70 @ 31.0399
53.66/53.84	c bounds 8962249 >= -70 @ 31.2065
53.66/53.84	c bounds 8949745 >= -70 @ 31.7145
53.66/53.84	c bounds 8894299 >= -70 @ 31.9338
53.66/53.84	c bounds 8861561 >= -70 @ 32.8501
53.66/53.84	c #Conflicts:       4000 | #Constraints:      24563
53.66/53.84	c INPROCESSING
53.66/53.84	c GARBAGE COLLECT
53.66/53.84	c bounds 8844661 >= -70 @ 34.9753
53.66/53.84	c bounds 8813139 >= -70 @ 35.1778
53.66/53.84	c bounds 8810003 >= -70 @ 35.2538
53.66/53.84	c bounds 8806101 >= -70 @ 35.7655
53.66/53.84	c bounds 8775595 >= -70 @ 36.3303
53.66/53.84	c bounds 8753207 >= -70 @ 37.1129
53.66/53.84	c bounds 8732161 >= -70 @ 37.2188
53.66/53.84	c #Conflicts:       5000 | #Constraints:      20898
53.66/53.84	c #Conflicts:       6000 | #Constraints:      21901
53.66/53.84	c bounds 8726335 >= -70 @ 48.4651
53.66/53.84	c bounds 8725093 >= -70 @ 48.7038
53.66/53.84	c bounds 8724853 >= -70 @ 48.9336
53.66/53.84	c bounds 8711679 >= -70 @ 49.7798
53.66/53.84	c bounds 8694965 >= -70 @ 51.4331
53.66/53.84	c bounds 8681765 >= -70 @ 53.1587
231.22/231.87	c bounds 8680677 >= -70 @ 54.1775
231.22/231.87	c bounds 8653389 >= -70 @ 55.1201
231.22/231.87	c bounds 8621117 >= -70 @ 55.9746
231.22/231.87	c bounds 8617643 >= -70 @ 57.2458
231.22/231.87	c INPROCESSING
231.22/231.87	c GARBAGE COLLECT
231.22/231.87	c #Conflicts:       7000 | #Constraints:      20885
231.22/231.87	c #Conflicts:       8000 | #Constraints:      21885
231.22/231.87	c #Conflicts:       9000 | #Constraints:      22886
231.22/231.87	c bounds 8612139 >= -70 @ 92.381
231.22/231.87	c bounds 8609839 >= -70 @ 92.8688
231.22/231.87	c bounds 8600089 >= -70 @ 93.2703
231.22/231.87	c bounds 8595871 >= -70 @ 94.2566
231.22/231.87	c INPROCESSING
231.22/231.87	c GARBAGE COLLECT
231.22/231.87	c bounds 8589963 >= -70 @ 98.2295
231.22/231.87	c bounds 8577295 >= -70 @ 105.203
231.22/231.87	c #Conflicts:      10000 | #Constraints:      21559
231.22/231.87	c bounds 8568967 >= -70 @ 110.261
231.22/231.87	c bounds 8567957 >= -70 @ 110.491
231.22/231.87	c bounds 8562911 >= -70 @ 115.183
231.22/231.87	c bounds 8562313 >= -70 @ 115.48
231.22/231.87	c bounds 8561333 >= -70 @ 116.095
231.22/231.87	c bounds 8560345 >= -70 @ 119.453
231.22/231.87	c bounds 8554585 >= -70 @ 120.367
231.22/231.87	c bounds 8544451 >= -70 @ 120.96
231.22/231.87	c #Conflicts:      11000 | #Constraints:      22576
231.22/231.87	c bounds 8534925 >= -70 @ 124.957
231.22/231.87	c bounds 8471799 >= -70 @ 146.871
231.22/231.87	c bounds 8421587 >= -70 @ 147.219
231.22/231.87	c bounds 8420545 >= -70 @ 147.729
231.22/231.87	c bounds 8373787 >= -70 @ 148.155
231.22/231.87	c bounds 8320571 >= -70 @ 148.516
231.22/231.87	c bounds 8312069 >= -70 @ 148.889
231.22/231.87	c bounds 8300017 >= -70 @ 149.275
231.22/231.87	c bounds 8287507 >= -70 @ 149.615
231.22/231.87	c #Conflicts:      12000 | #Constraints:      23588
231.22/231.87	c INPROCESSING
231.22/231.87	c GARBAGE COLLECT
231.22/231.87	c bounds 8189859 >= -70 @ 150.861
231.22/231.87	c bounds 8158147 >= -70 @ 151.897
231.22/231.87	c bounds 8123943 >= -70 @ 152.535
231.22/231.87	c bounds 8101225 >= -70 @ 152.83
231.22/231.87	c bounds 8093443 >= -70 @ 153.083
231.22/231.87	c bounds 8034357 >= -70 @ 153.338
231.22/231.87	c bounds 7995813 >= -70 @ 153.867
231.22/231.87	c bounds 7959589 >= -70 @ 154.189
231.22/231.87	c bounds 7947093 >= -70 @ 154.424
231.22/231.87	c bounds 7944909 >= -70 @ 154.851
231.22/231.87	c bounds 7936283 >= -70 @ 155.437
231.22/231.87	c bounds 7920077 >= -70 @ 155.673
231.22/231.87	c bounds 7894973 >= -70 @ 155.921
231.22/231.87	c bounds 7894429 >= -70 @ 156.087
231.22/231.87	c bounds 7881405 >= -70 @ 156.334
231.22/231.87	c bounds 7860197 >= -70 @ 157.113
231.22/231.87	c bounds 7843495 >= -70 @ 157.477
231.22/231.87	c bounds 7832775 >= -70 @ 158.452
231.22/231.87	c bounds 7802165 >= -70 @ 158.622
231.22/231.87	c bounds 7798487 >= -70 @ 160.828
231.22/231.87	c #Conflicts:      13000 | #Constraints:      21925
231.22/231.87	c bounds 6358937 >= -70 @ 165.053
231.22/231.87	c bounds 6352987 >= -70 @ 165.7
231.22/231.87	c bounds 6244931 >= -70 @ 165.923
231.22/231.87	c bounds 6229073 >= -70 @ 166.171
231.22/231.87	c bounds 6228633 >= -70 @ 166.42
231.22/231.87	c bounds 6214025 >= -70 @ 166.625
231.22/231.87	c bounds 6189431 >= -70 @ 166.908
231.22/231.87	c bounds 6182663 >= -70 @ 167.172
231.22/231.87	c bounds 6164969 >= -70 @ 168.204
231.22/231.87	c bounds 6108353 >= -70 @ 168.463
231.22/231.87	c bounds 6075155 >= -70 @ 168.85
231.22/231.87	c bounds 5985857 >= -70 @ 169.308
231.22/231.87	c bounds 5985523 >= -70 @ 169.662
231.22/231.87	c bounds 5904267 >= -70 @ 169.942
231.22/231.87	c bounds 5902397 >= -70 @ 170.226
231.22/231.87	c bounds 5891595 >= -70 @ 170.709
231.22/231.87	c bounds 5874935 >= -70 @ 171.28
231.22/231.87	c bounds 5839173 >= -70 @ 171.606
231.22/231.87	c bounds 5780457 >= -70 @ 171.998
231.22/231.87	c #Conflicts:      14000 | #Constraints:      22948
231.22/231.87	c #Conflicts:      15000 | #Constraints:      23948
231.22/231.87	c INPROCESSING
231.22/231.87	c GARBAGE COLLECT
231.22/231.87	c bounds 5757495 >= -70 @ 211.813
231.22/231.87	c bounds 5732391 >= -70 @ 212.054
231.22/231.87	c bounds 5714585 >= -70 @ 212.152
231.22/231.87	c bounds 5627301 >= -70 @ 212.28
231.22/231.87	c bounds 5570379 >= -70 @ 212.376
231.22/231.87	c bounds 5568927 >= -70 @ 212.6
231.22/231.87	c bounds 5538125 >= -70 @ 212.857
231.22/231.87	c bounds 5537949 >= -70 @ 213.411
231.22/231.87	c bounds 5511385 >= -70 @ 213.526
231.22/231.87	c bounds 5506003 >= -70 @ 213.665
231.22/231.87	c bounds 5451091 >= -70 @ 213.784
231.22/231.87	c bounds 5425115 >= -70 @ 214.145
231.22/231.87	c bounds 5399615 >= -70 @ 214.255
231.22/231.87	c bounds 5380393 >= -70 @ 214.734
231.22/231.87	c bounds 5338263 >= -70 @ 215.939
231.22/231.87	c bounds 5323559 >= -70 @ 216.392
231.22/231.87	c bounds 5290227 >= -70 @ 217.293
231.22/231.87	c bounds 5258347 >= -70 @ 218.492
231.22/231.87	c bounds 5234299 >= -70 @ 218.869
231.22/231.87	c bounds 5211595 >= -70 @ 219.938
231.22/231.87	c bounds 5202129 >= -70 @ 220.2
231.22/231.87	c #Conflicts:      16000 | #Constraints:      21053
231.22/231.87	c bounds 5178163 >= -70 @ 220.995
231.22/231.87	c bounds 5170345 >= -70 @ 221.83
231.22/231.87	c bounds 5153371 >= -70 @ 222.083
231.22/231.87	c bounds 5152371 >= -70 @ 222.249
231.22/231.87	c bounds 5134329 >= -70 @ 223.411
231.22/231.87	c bounds 5123643 >= -70 @ 225.023
231.22/231.87	c bounds 5120475 >= -70 @ 225.316
231.22/231.87	c bounds 5115627 >= -70 @ 225.893
231.22/231.87	c bounds 5110249 >= -70 @ 226.166
231.22/231.87	c bounds 5107939 >= -70 @ 227.151
231.22/231.87	c bounds 5100117 >= -70 @ 227.353
231.22/231.87	c bounds 5095623 >= -70 @ 228.459
231.22/231.87	c bounds 5085391 >= -70 @ 229.333
231.22/231.87	c bounds 5084571 >= -70 @ 230.05
271.73/272.49	c bounds 5082957 >= -70 @ 230.416
271.73/272.49	c bounds 5074401 >= -70 @ 231.094
271.73/272.49	c #Conflicts:      17000 | #Constraints:      22079
271.73/272.49	c bounds 5072657 >= -70 @ 233.707
271.73/272.49	c bounds 5046609 >= -70 @ 234.213
271.73/272.49	c bounds 5023361 >= -70 @ 235.797
271.73/272.49	c bounds 5001171 >= -70 @ 236.813
271.73/272.49	c bounds 4999753 >= -70 @ 242.722
271.73/272.49	c bounds 4993187 >= -70 @ 243.919
271.73/272.49	c bounds 4972115 >= -70 @ 244.619
271.73/272.49	c bounds 4957343 >= -70 @ 245.128
271.73/272.49	c #Conflicts:      18000 | #Constraints:      23097
271.73/272.49	c bounds 4946535 >= -70 @ 248.722
271.73/272.49	c bounds 4941473 >= -70 @ 248.999
271.73/272.49	c INPROCESSING
271.73/272.49	c GARBAGE COLLECT
271.73/272.49	c bounds 4939511 >= -70 @ 253.144
271.73/272.49	c bounds 4936559 >= -70 @ 253.496
271.73/272.49	c bounds 4933457 >= -70 @ 254.412
271.73/272.49	c #Conflicts:      19000 | #Constraints:      20672
271.73/272.49	WSVECS04 Frhs2[242]: 6 -38416 0 shouldn't be
271.73/272.49	WSVECS04 Frhs2[1762]: 6 -38416 0 shouldn't be
271.73/272.49	WSVECS04 Frhs2[1794]: 6 -15129 0 shouldn't be
271.73/272.49	WSVECS04 Frhs2[2078]: 6 -17424 0 shouldn't be
271.73/272.49	WSVECS04 Frhs2[2692]: 6 -15129 0 shouldn't be
271.73/272.49	WSVECS04 Frhs2[2976]: 6 -17424 0 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4550]: 6 -5184 0 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4974]: 6 0 1.00004 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4975]: 6 0 1.00001 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4976]: 6 0 1.00004 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4979]: 6 0 1.00009 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4987]: 6 0 1.00001 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4989]: 6 0 1.0001 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4997]: 6 0 1.00001 shouldn't be
271.73/272.49	WSVECS04 Frhs2[4998]: 6 0 1.00006 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5000]: 6 0 1.00009 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5005]: 6 0 1.00002 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5006]: 6 0 1.00002 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5012]: 6 0 1.0001 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5015]: 6 0 1.00003 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5019]: 6 0 1.00001 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5022]: 6 0 1.00004 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5023]: 6 0 1.00002 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5026]: 6 0 1.00002 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5028]: 6 0 1.00002 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5031]: 6 0 1.00009 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5036]: 6 0 1.00008 shouldn't be
271.73/272.49	WSVECS04 Frhs2[5038]: 6 0 1.00005 shouldn't be
471.43/472.66	c #Conflicts:      20000 | #Constraints:      21672
471.43/472.66	c #Conflicts:      21000 | #Constraints:      22672
471.43/472.66	c INPROCESSING
471.43/472.66	c GARBAGE COLLECT
471.43/472.66	c bounds 4929435 >= -70 @ 310.003
471.43/472.66	c bounds 4927251 >= -70 @ 310.113
471.43/472.66	c bounds 4922403 >= -70 @ 310.361
471.43/472.66	c #Conflicts:      22000 | #Constraints:      20384
471.43/472.66	c bounds 4920831 >= -70 @ 320.931
471.43/472.66	c #Conflicts:      23000 | #Constraints:      21385
471.43/472.66	c #Conflicts:      24000 | #Constraints:      22385
471.43/472.66	c bounds 4915769 >= -70 @ 347.12
471.43/472.66	c #Conflicts:      25000 | #Constraints:      23386
471.43/472.66	c bounds 4905437 >= -70 @ 374.165
471.43/472.66	c INPROCESSING
471.43/472.66	c GARBAGE COLLECT
471.43/472.66	c #Conflicts:      26000 | #Constraints:      20984
471.43/472.66	c #Conflicts:      27000 | #Constraints:      21984
471.43/472.66	c #Conflicts:      28000 | #Constraints:      22984
471.43/472.66	c #Conflicts:      29000 | #Constraints:      23984
471.43/472.66	c INPROCESSING
471.43/472.66	c GARBAGE COLLECT
471.43/472.66	WSVECS04 Frhs2[4971]: 6 0 1.0001 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4972]: 6 0 1.00001 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4973]: 6 0 1.00009 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4977]: 6 0 1.00008 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4978]: 6 0 1.00005 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4980]: 6 0 1.00001 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4981]: 6 0 1.00006 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4982]: 6 0 1.00009 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4983]: 6 0 1.00009 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4984]: 6 0 1.0001 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4985]: 6 0 1.00004 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4986]: 6 0 1.00002 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4988]: 6 0 1.00004 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4990]: 6 0 1.00006 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4991]: 6 0 1.00004 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4992]: 6 0 1.00009 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4993]: 6 0 1.0001 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4995]: 6 0 1.00006 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4996]: 6 0 1.00008 shouldn't be
471.43/472.66	WSVECS04 Frhs2[4999]: 6 0 1.00008 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5001]: 6 0 1.00007 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5003]: 6 0 1.00008 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5004]: 6 0 1.00002 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5007]: 6 0 1.00002 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5008]: 6 0 1.00003 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5009]: 6 0 1.0001 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5010]: 6 0 1.00003 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5011]: 6 0 1.00008 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5013]: 6 0 1.00007 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5014]: 6 0 1.00002 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5016]: 6 0 1.00008 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5017]: 6 0 1.00002 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5018]: 6 0 1.00008 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5020]: 6 0 1.00004 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5021]: 6 0 1.00002 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5024]: 6 0 1.00006 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5025]: 6 0 1.00003 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5027]: 6 0 1.00003 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5030]: 6 0 1.00002 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5032]: 6 0 1.00005 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5033]: 6 0 1.00007 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5034]: 6 0 1.00009 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5035]: 6 0 1.00005 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5037]: 6 0 1.00007 shouldn't be
471.43/472.66	WSVECS04 Frhs2[5040]: 6 0 1.00003 shouldn't be
473.02/474.21	c rational objective 1.88651e+06
662.72/664.45	c bounds 4896287 >= -70 @ 480.6
662.72/664.45	c #Conflicts:      30000 | #Constraints:      21395
662.72/664.45	c #Conflicts:      31000 | #Constraints:      22402
662.72/664.45	c bounds 4866753 >= -70 @ 508.557
662.72/664.45	c bounds 4851849 >= -70 @ 508.906
662.72/664.45	c bounds 4851405 >= -70 @ 509.334
662.72/664.45	c bounds 4756117 >= -70 @ 509.646
662.72/664.45	c bounds 4746769 >= -70 @ 510.025
662.72/664.45	c bounds 4739653 >= -70 @ 511.754
662.72/664.45	c bounds 4739377 >= -70 @ 512.171
662.72/664.45	c bounds 4707183 >= -70 @ 513.965
662.72/664.45	c bounds 4697885 >= -70 @ 518.802
662.72/664.45	c bounds 4656885 >= -70 @ 519.214
662.72/664.45	c bounds 4656859 >= -70 @ 520.144
662.72/664.45	c bounds 4655725 >= -70 @ 520.583
662.72/664.45	c bounds 4655461 >= -70 @ 521.044
662.72/664.45	c #Conflicts:      32000 | #Constraints:      23415
662.72/664.45	c bounds 4638853 >= -70 @ 524.463
662.72/664.45	c bounds 4607255 >= -70 @ 526.621
662.72/664.45	c bounds 4556979 >= -70 @ 527.743
662.72/664.45	c bounds 4556715 >= -70 @ 528.173
662.72/664.45	c bounds 4553597 >= -70 @ 528.816
662.72/664.45	c bounds 4546761 >= -70 @ 529.235
662.72/664.45	c bounds 4546193 >= -70 @ 530.216
662.72/664.45	c bounds 4540181 >= -70 @ 532.199
662.72/664.45	c bounds 4538423 >= -70 @ 532.621
662.72/664.45	c bounds 4535095 >= -70 @ 534.385
662.72/664.45	c bounds 4506265 >= -70 @ 534.831
662.72/664.45	c bounds 4505833 >= -70 @ 546.225
662.72/664.45	c #Conflicts:      33000 | #Constraints:      24427
662.72/664.45	c INPROCESSING
662.72/664.45	c GARBAGE COLLECT
662.72/664.45	c bounds 4504875 >= -70 @ 551.205
662.72/664.45	c bounds 4503285 >= -70 @ 551.328
662.72/664.45	c bounds 4480303 >= -70 @ 551.754
662.72/664.45	c bounds 4478525 >= -70 @ 551.883
662.72/664.45	c bounds 4477821 >= -70 @ 555.322
662.72/664.45	c #Conflicts:      34000 | #Constraints:      21426
662.72/664.45	c #Conflicts:      35000 | #Constraints:      22426
662.72/664.45	c #Conflicts:      36000 | #Constraints:      23429
662.72/664.45	c bounds 4472855 >= -70 @ 588.093
662.72/664.45	c bounds 4462691 >= -70 @ 588.793
662.72/664.45	c bounds 4462249 >= -70 @ 590.17
662.72/664.45	c bounds 4434741 >= -70 @ 590.679
662.72/664.45	c bounds 4410017 >= -70 @ 592.094
662.72/664.45	c #Conflicts:      37000 | #Constraints:      24434
662.72/664.45	c bounds 4401719 >= -70 @ 597.88
662.72/664.45	c INPROCESSING
662.72/664.45	c GARBAGE COLLECT
662.72/664.45	c bounds 4401619 >= -70 @ 600.017
662.72/664.45	c bounds 4388159 >= -70 @ 600.862
662.72/664.45	c bounds 4386919 >= -70 @ 601.167
662.72/664.45	c bounds 4370663 >= -70 @ 601.611
662.72/664.45	c bounds 4354775 >= -70 @ 602.595
662.72/664.45	c #Conflicts:      38000 | #Constraints:      21379
662.72/664.45	c bounds 4315009 >= -70 @ 609.277
662.72/664.45	c #Conflicts:      39000 | #Constraints:      22380
662.72/664.45	c #Conflicts:      40000 | #Constraints:      23380
662.72/664.45	c #Conflicts:      41000 | #Constraints:      24380
662.72/664.45	c INPROCESSING
662.72/664.45	c GARBAGE COLLECT
662.72/664.45	WSVECS04 Frhs2[84]: 6 -61009 0 shouldn't be
662.72/664.45	WSVECS04 Frhs2[360]: 6 -61009 0 shouldn't be
662.72/664.45	WSVECS04 Frhs2[1588]: 6 -73984 0 shouldn't be
662.72/664.45	WSVECS04 Frhs2[2942]: 6 -73984 0 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4972]: 6 0 1.0001 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4974]: 6 0 1.00001 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4977]: 6 0 1.00007 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4979]: 6 0 1.00007 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4981]: 6 0 1.00005 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4984]: 6 0 1.00009 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4985]: 6 0 1.0001 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4989]: 6 0 1.00003 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4990]: 6 0 1.00008 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4992]: 6 0 1.00005 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4993]: 6 0 1.00008 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4994]: 6 0 1.00002 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4995]: 6 0 1.00003 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4997]: 6 0 1.00002 shouldn't be
662.72/664.45	WSVECS04 Frhs2[4999]: 6 0 1.00009 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5000]: 6 0 1.00007 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5005]: 6 0 1.00008 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5006]: 6 0 1.0001 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5007]: 6 0 1.00002 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5008]: 6 0 1.00007 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5009]: 6 0 1.00007 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5010]: 6 0 1.00005 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5015]: 6 0 1.0001 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5019]: 6 0 1.00004 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5020]: 6 0 1.00002 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5021]: 6 0 1.00005 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5023]: 6 0 1.00001 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5025]: 6 0 1.00005 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5035]: 6 0 1.00001 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5036]: 6 0 1.00006 shouldn't be
662.72/664.45	WSVECS04 Frhs2[5039]: 6 0 1.00009 shouldn't be
667.71/669.49	c rational objective 1.88925e+06
1516.39/1520.20	c bounds 4294865 >= -70 @ 667.216
1516.39/1520.20	c bounds 4294255 >= -70 @ 667.403
1516.39/1520.20	c bounds 4293675 >= -70 @ 667.514
1516.39/1520.20	c #Conflicts:      42000 | #Constraints:      21138
1516.39/1520.20	c #Conflicts:      43000 | #Constraints:      22138
1516.39/1520.20	c #Conflicts:      44000 | #Constraints:      23138
1516.39/1520.20	c bounds 4290315 >= -70 @ 705.199
1516.39/1520.20	c #Conflicts:      45000 | #Constraints:      24139
1516.39/1520.20	c #Conflicts:      46000 | #Constraints:      25139
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c #Conflicts:      47000 | #Constraints:      21705
1516.39/1520.20	c #Conflicts:      48000 | #Constraints:      22711
1516.39/1520.20	c #Conflicts:      49000 | #Constraints:      23726
1516.39/1520.20	c #Conflicts:      50000 | #Constraints:      24734
1516.39/1520.20	c #Conflicts:      51000 | #Constraints:      25734
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c #Conflicts:      52000 | #Constraints:      22109
1516.39/1520.20	c bounds 4272999 >= -70 @ 821.711
1516.39/1520.20	c #Conflicts:      53000 | #Constraints:      23110
1516.39/1520.20	c #Conflicts:      54000 | #Constraints:      24110
1516.39/1520.20	c #Conflicts:      55000 | #Constraints:      25110
1516.39/1520.20	c #Conflicts:      56000 | #Constraints:      26110
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c bounds 4272985 >= -70 @ 912.855
1516.39/1520.20	c bounds 4264865 >= -70 @ 913.135
1516.39/1520.20	c bounds 4229361 >= -70 @ 913.314
1516.39/1520.20	c bounds 4191511 >= -70 @ 913.804
1516.39/1520.20	c bounds 4187261 >= -70 @ 915.744
1516.39/1520.20	c bounds 4173635 >= -70 @ 916.624
1516.39/1520.20	c bounds 4165795 >= -70 @ 919.482
1516.39/1520.20	c #Conflicts:      57000 | #Constraints:      22291
1516.39/1520.20	c bounds 4162915 >= -70 @ 921.414
1516.39/1520.20	c #Conflicts:      58000 | #Constraints:      23292
1516.39/1520.20	c #Conflicts:      59000 | #Constraints:      24292
1516.39/1520.20	c #Conflicts:      60000 | #Constraints:      25292
1516.39/1520.20	c #Conflicts:      61000 | #Constraints:      26292
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c bounds 4154325 >= -70 @ 986.945
1516.39/1520.20	c bounds 4138765 >= -70 @ 987.484
1516.39/1520.20	c bounds 4128365 >= -70 @ 988.194
1516.39/1520.20	c bounds 4123287 >= -70 @ 988.952
1516.39/1520.20	c #Conflicts:      62000 | #Constraints:      22270
1516.39/1520.20	c #Conflicts:      63000 | #Constraints:      23270
1516.39/1520.20	c bounds 4083191 >= -70 @ 998.134
1516.39/1520.20	c #Conflicts:      64000 | #Constraints:      24271
1516.39/1520.20	c #Conflicts:      65000 | #Constraints:      25271
1516.39/1520.20	c #Conflicts:      66000 | #Constraints:      26271
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c #Conflicts:      67000 | #Constraints:      22026
1516.39/1520.20	c bounds 4081457 >= -70 @ 1110.26
1516.39/1520.20	c bounds 4071493 >= -70 @ 1111.12
1516.39/1520.20	c #Conflicts:      68000 | #Constraints:      23033
1516.39/1520.20	c #Conflicts:      69000 | #Constraints:      24033
1516.39/1520.20	c #Conflicts:      70000 | #Constraints:      25034
1516.39/1520.20	c #Conflicts:      71000 | #Constraints:      26194
1516.39/1520.20	c #Conflicts:      72000 | #Constraints:      27195
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c #Conflicts:      73000 | #Constraints:      22648
1516.39/1520.20	c #Conflicts:      74000 | #Constraints:      23649
1516.39/1520.20	c #Conflicts:      75000 | #Constraints:      24650
1516.39/1520.20	c #Conflicts:      76000 | #Constraints:      25650
1516.39/1520.20	c #Conflicts:      77000 | #Constraints:      26650
1516.39/1520.20	c #Conflicts:      78000 | #Constraints:      27650
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c #Conflicts:      79000 | #Constraints:      22975
1516.39/1520.20	c #Conflicts:      80000 | #Constraints:      23975
1516.39/1520.20	c #Conflicts:      81000 | #Constraints:      24975
1516.39/1520.20	c #Conflicts:      82000 | #Constraints:      25975
1516.39/1520.20	c #Conflicts:      83000 | #Constraints:      26975
1516.39/1520.20	c #Conflicts:      84000 | #Constraints:      27975
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c #Conflicts:      85000 | #Constraints:      23186
1516.39/1520.20	c #Conflicts:      86000 | #Constraints:      24186
1516.39/1520.20	c #Conflicts:      87000 | #Constraints:      25187
1516.39/1520.20	c bounds 4068903 >= -70 @ 1396.86
1516.39/1520.20	c bounds 4068661 >= -70 @ 1406.3
1516.39/1520.20	c #Conflicts:      88000 | #Constraints:      26195
1516.39/1520.20	c bounds 4066629 >= -70 @ 1410.98
1516.39/1520.20	c bounds 4066327 >= -70 @ 1426.77
1516.39/1520.20	c #Conflicts:      89000 | #Constraints:      27198
1516.39/1520.20	c #Conflicts:      90000 | #Constraints:      28199
1516.39/1520.20	c INPROCESSING
1516.39/1520.20	c GARBAGE COLLECT
1516.39/1520.20	c #Conflicts:      91000 | #Constraints:      23010
1516.39/1520.20	c #Conflicts:      92000 | #Constraints:      24016
1516.39/1520.20	WSVECS04 Frhs2[826]: 6 0 31986.8 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[903]: 6 0 4066.83 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[1696]: 6 0 125826 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[1698]: 6 0 138104 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[1699]: 6 0 156944 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[1704]: 6 0 181771 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[1722]: 6 0 115104 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[1731]: 6 0 139746 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[1745]: 6 0 132734 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[1748]: 6 0 144863 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[2061]: 6 0 159366 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[2271]: 6 0 128760 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[2621]: 6 0 55367.6 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[2761]: 6 0 148032 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[2827]: 6 0 15568 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[2859]: 6 0 26849.8 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[2863]: 6 0 41234.8 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[2901]: 6 0 214176 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[3601]: 6 0 58454.6 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[4021]: 6 0 150656 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[4063]: 6 0 47646.4 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[4091]: 6 0 271101 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[4096]: 6 0 67382.4 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[4105]: 6 0 43620.4 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[4161]: 6 0 125512 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[4451]: 6 -147730 0 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[4581]: 6 0 142574 shouldn't be
1516.39/1520.20	WSVECS04 Frhs2[9397]: 6 0 106513 shouldn't be
1816.28/1820.81	c #Conflicts:      93000 | #Constraints:      25019
1816.28/1820.81	c #Conflicts:      94000 | #Constraints:      26019
1816.28/1820.81	c #Conflicts:      95000 | #Constraints:      27019
1816.28/1820.81	c #Conflicts:      96000 | #Constraints:      28019
1816.28/1820.81	c INPROCESSING
1816.28/1820.81	c GARBAGE COLLECT
1816.28/1820.81	c #Conflicts:      97000 | #Constraints:      22826
1816.28/1820.81	c #Conflicts:      98000 | #Constraints:      23826
1816.28/1820.81	c #Conflicts:      99000 | #Constraints:      24826
1816.28/1820.81	c #Conflicts:     100000 | #Constraints:      25826
1816.28/1820.81	c #Conflicts:     101000 | #Constraints:      26826
1816.28/1820.81	c #Conflicts:     102000 | #Constraints:      27826
1816.28/1820.81	c #Conflicts:     103000 | #Constraints:      28826
1816.28/1820.81	c INPROCESSING
1816.28/1820.81	c GARBAGE COLLECT
1816.28/1820.81	c #Conflicts:     104000 | #Constraints:      23292
1816.28/1820.81	c #Conflicts:     105000 | #Constraints:      24294
1816.28/1820.81	c #Conflicts:     106000 | #Constraints:      25294
1816.28/1820.81	c #Conflicts:     107000 | #Constraints:      26294
1816.28/1820.81	c #Conflicts:     108000 | #Constraints:      27294
1816.28/1820.81	c #Conflicts:     109000 | #Constraints:      28294
1816.28/1820.81	c #Conflicts:     110000 | #Constraints:      29294
1816.28/1820.81	c INPROCESSING
1816.28/1820.81	c GARBAGE COLLECT
1816.28/1820.81	c rational objective 1.89628e+06
1945.54/1950.41	c #Conflicts:     111000 | #Constraints:      23571
1945.54/1950.41	c #Conflicts:     112000 | #Constraints:      24571
1945.54/1950.41	c #Conflicts:     113000 | #Constraints:      25571
1945.54/1950.41	c #Conflicts:     114000 | #Constraints:      26571
1945.54/1950.41	c #Conflicts:     115000 | #Constraints:      27571
1945.54/1950.41	c #Conflicts:     116000 | #Constraints:      28571
1945.54/1950.41	c #Conflicts:     117000 | #Constraints:      29571
1945.54/1950.41	c INPROCESSING
1945.54/1950.41	c GARBAGE COLLECT
1945.54/1950.41	c rational objective 1.89691e+06
2066.95/2072.20	c #Conflicts:     118000 | #Constraints:      23862
2066.95/2072.20	c #Conflicts:     119000 | #Constraints:      24862
2066.95/2072.20	c #Conflicts:     120000 | #Constraints:      25862
2066.95/2072.20	c #Conflicts:     121000 | #Constraints:      26867
2066.95/2072.20	c #Conflicts:     122000 | #Constraints:      27887
2066.95/2072.20	c #Conflicts:     123000 | #Constraints:      28889
2066.95/2072.20	c #Conflicts:     124000 | #Constraints:      29891
2066.95/2072.20	c INPROCESSING
2066.95/2072.20	c GARBAGE COLLECT
2066.95/2072.20	c rational objective 1.89873e+06
2220.96/2226.58	c #Conflicts:     125000 | #Constraints:      23910
2220.96/2226.58	c #Conflicts:     126000 | #Constraints:      24910
2220.96/2226.58	c #Conflicts:     127000 | #Constraints:      25911
2220.96/2226.58	c #Conflicts:     128000 | #Constraints:      26912
2220.96/2226.58	c #Conflicts:     129000 | #Constraints:      27916
2220.96/2226.58	c #Conflicts:     130000 | #Constraints:      28918
2220.96/2226.58	c #Conflicts:     131000 | #Constraints:      29918
2220.96/2226.58	c INPROCESSING
2220.96/2226.58	c GARBAGE COLLECT
2220.96/2226.58	c rational objective 1.9007e+06
2469.13/2475.34	c #Conflicts:     132000 | #Constraints:      23639
2469.13/2475.34	c #Conflicts:     133000 | #Constraints:      24639
2469.13/2475.34	c #Conflicts:     134000 | #Constraints:      25640
2469.13/2475.34	c #Conflicts:     135000 | #Constraints:      26645
2469.13/2475.34	c #Conflicts:     136000 | #Constraints:      27647
2469.13/2475.34	c #Conflicts:     137000 | #Constraints:      28658
2469.13/2475.34	c #Conflicts:     138000 | #Constraints:      29663
2469.13/2475.34	c #Conflicts:     139000 | #Constraints:      30673
2469.13/2475.34	c INPROCESSING
2469.13/2475.34	c GARBAGE COLLECT
2469.13/2475.34	c rational objective 1.9007e+06
2759.56/2766.56	c #Conflicts:     140000 | #Constraints:      24213
2759.56/2766.56	c #Conflicts:     141000 | #Constraints:      25216
2759.56/2766.56	c #Conflicts:     142000 | #Constraints:      26216
2759.56/2766.56	c #Conflicts:     143000 | #Constraints:      27216
2759.56/2766.56	c #Conflicts:     144000 | #Constraints:      28216
2759.56/2766.56	c #Conflicts:     145000 | #Constraints:      29216
2759.56/2766.56	c #Conflicts:     146000 | #Constraints:      30216
2759.56/2766.56	c #Conflicts:     147000 | #Constraints:      31216
2759.56/2766.56	c INPROCESSING
2759.56/2766.56	c GARBAGE COLLECT
2759.56/2766.56	c #Conflicts:     148000 | #Constraints:      24527
2759.56/2766.56	c #Conflicts:     149000 | #Constraints:      25528
2759.56/2766.56	c bounds 4040305 >= -70 @ 2616.33
2759.56/2766.56	c bounds 4036089 >= -70 @ 2617.33
2759.56/2766.56	c bounds 4029935 >= -70 @ 2618.53
2759.56/2766.56	c bounds 4022801 >= -70 @ 2619.63
2759.56/2766.56	c bounds 4021235 >= -70 @ 2619.99
2759.56/2766.56	c bounds 4007811 >= -70 @ 2620.21
2759.56/2766.56	c #Conflicts:     150000 | #Constraints:      26539
2759.56/2766.56	c bounds 3998199 >= -70 @ 2623.75
2759.56/2766.56	c bounds 3994713 >= -70 @ 2624.21
2759.56/2766.56	c bounds 3992201 >= -70 @ 2625.74
2759.56/2766.56	c bounds 3991673 >= -70 @ 2626.1
2759.56/2766.56	c bounds 3979805 >= -70 @ 2626.41
2759.56/2766.56	c bounds 3966003 >= -70 @ 2631.52
2759.56/2766.56	c bounds 3964585 >= -70 @ 2633.96
2759.56/2766.56	c bounds 3963159 >= -70 @ 2634.6
2759.56/2766.56	c bounds 3954079 >= -70 @ 2634.9
2759.56/2766.56	c bounds 3953125 >= -70 @ 2635.19
2759.56/2766.56	c bounds 3948661 >= -70 @ 2635.47
2759.56/2766.56	c #Conflicts:     151000 | #Constraints:      27554
2759.56/2766.56	c bounds 3940861 >= -70 @ 2638.41
2759.56/2766.56	c bounds 3934363 >= -70 @ 2642.17
2759.56/2766.56	c bounds 3933987 >= -70 @ 2642.56
2759.56/2766.56	c bounds 3931823 >= -70 @ 2643.5
2759.56/2766.56	c bounds 3931473 >= -70 @ 2643.9
2759.56/2766.56	c bounds 3928457 >= -70 @ 2645.48
2759.56/2766.56	c bounds 3893831 >= -70 @ 2645.96
2759.56/2766.56	c bounds 3893393 >= -70 @ 2647.99
2759.56/2766.56	c #Conflicts:     152000 | #Constraints:      28569
2759.56/2766.56	c bounds 3864461 >= -70 @ 2652.9
2759.56/2766.56	c bounds 3862123 >= -70 @ 2654.1
2759.56/2766.56	c #Conflicts:     153000 | #Constraints:      29574
2759.56/2766.56	c #Conflicts:     154000 | #Constraints:      30574
2759.56/2766.56	c #Conflicts:     155000 | #Constraints:      31575
2759.56/2766.56	c INPROCESSING
2759.56/2766.56	c GARBAGE COLLECT
2759.56/2766.56	c rational objective 1.90155e+06
2954.92/2962.42	c #Conflicts:     156000 | #Constraints:      24579
2954.92/2962.42	c #Conflicts:     157000 | #Constraints:      25580
2954.92/2962.42	c #Conflicts:     158000 | #Constraints:      26581
2954.92/2962.42	c #Conflicts:     159000 | #Constraints:      27583
2954.92/2962.42	c #Conflicts:     160000 | #Constraints:      28583
2954.92/2962.42	c #Conflicts:     161000 | #Constraints:      29584
2954.92/2962.42	c #Conflicts:     162000 | #Constraints:      30585
2954.92/2962.42	c #Conflicts:     163000 | #Constraints:      31586
2954.92/2962.42	c INPROCESSING
2954.92/2962.42	c GARBAGE COLLECT
2954.92/2962.42	c rational objective 1.91256e+06
3253.88/3262.25	c #Conflicts:     164000 | #Constraints:      24477
3253.88/3262.25	c #Conflicts:     165000 | #Constraints:      25477
3253.88/3262.25	c #Conflicts:     166000 | #Constraints:      26477
3253.88/3262.25	c #Conflicts:     167000 | #Constraints:      27477
3253.88/3262.25	c #Conflicts:     168000 | #Constraints:      28477
3253.88/3262.25	c #Conflicts:     169000 | #Constraints:      29478
3253.88/3262.25	c #Conflicts:     170000 | #Constraints:      30478
3253.88/3262.25	c #Conflicts:     171000 | #Constraints:      31479
3253.88/3262.25	c INPROCESSING
3253.88/3262.25	c GARBAGE COLLECT
3253.88/3262.25	c bounds 3859189 >= -70 @ 3120.14
3253.88/3262.25	c #Conflicts:     172000 | #Constraints:      24154
3253.88/3262.25	c bounds 3853581 >= -70 @ 3129.29
3253.88/3262.25	c #Conflicts:     173000 | #Constraints:      25155
3253.88/3262.25	c #Conflicts:     174000 | #Constraints:      26155
3253.88/3262.25	c #Conflicts:     175000 | #Constraints:      27155
3253.88/3262.25	c #Conflicts:     176000 | #Constraints:      28155
3253.88/3262.25	c #Conflicts:     177000 | #Constraints:      29155
3253.88/3262.25	c #Conflicts:     178000 | #Constraints:      30155
3253.88/3262.25	c #Conflicts:     179000 | #Constraints:      31170
3253.88/3262.25	c #Conflicts:     180000 | #Constraints:      32190
3253.88/3262.25	c INPROCESSING
3253.88/3262.25	c GARBAGE COLLECT
3253.88/3262.25	c rational objective 1.91397e+06
3575.80/3585.00	c bounds 3849267 >= -70 @ 3248.22
3575.80/3585.00	c bounds 3833717 >= -70 @ 3248.32
3575.80/3585.00	c bounds 3830561 >= -70 @ 3252.82
3575.80/3585.00	c #Conflicts:     181000 | #Constraints:      24881
3575.80/3585.00	c bounds 3828401 >= -70 @ 3255.74
3575.80/3585.00	c bounds 3824359 >= -70 @ 3259.29
3575.80/3585.00	c #Conflicts:     182000 | #Constraints:      25898
3575.80/3585.00	c bounds 3814117 >= -70 @ 3267.43
3575.80/3585.00	c bounds 3813767 >= -70 @ 3269.81
3575.80/3585.00	c #Conflicts:     183000 | #Constraints:      26906
3575.80/3585.00	c bounds 3811437 >= -70 @ 3282.13
3575.80/3585.00	c bounds 3795671 >= -70 @ 3285.03
3575.80/3585.00	c #Conflicts:     184000 | #Constraints:      27909
3575.80/3585.00	c #Conflicts:     185000 | #Constraints:      28939
3575.80/3585.00	c #Conflicts:     186000 | #Constraints:      29983
3575.80/3585.00	c #Conflicts:     187000 | #Constraints:      30989
3575.80/3585.00	c bounds 3795485 >= -70 @ 3361.96
3575.80/3585.00	c #Conflicts:     188000 | #Constraints:      31993
3575.80/3585.00	c #Conflicts:     189000 | #Constraints:      32994
3575.80/3585.00	c INPROCESSING
3575.80/3585.00	c GARBAGE COLLECT
3575.80/3585.00	c #Conflicts:     190000 | #Constraints:      25356
3575.80/3585.00	c #Conflicts:     191000 | #Constraints:      26358
3575.80/3585.00	c #Conflicts:     192000 | #Constraints:      27362
3575.80/3585.00	c #Conflicts:     193000 | #Constraints:      28398
3575.80/3585.00	c #Conflicts:     194000 | #Constraints:      29407
3575.80/3585.00	c #Conflicts:     195000 | #Constraints:      30407
3575.80/3585.00	c #Conflicts:     196000 | #Constraints:      31407
3575.80/3585.00	c #Conflicts:     197000 | #Constraints:      32407
3575.80/3585.00	c #Conflicts:     198000 | #Constraints:      33407
3575.80/3585.00	c INPROCESSING
3575.80/3585.00	c GARBAGE COLLECT
3575.80/3585.00	c rational objective 1.91578e+06
3600.03/3609.30	c
3600.03/3609.30	s SATISFIABLE
3600.03/3609.30	v ~x1 ~x2 ~x3 ~x4 ~x5 ~x6 ~x7 ~x8 ~x9 ~x10 ~x11 ~x12 ~x13 ~x14 ~x15 ~x16 ~x17 ~x18 ~x19 ~x20 ~x21 ~x22 ~x23 ~x24 ~x25 ~x26 ~x27 ~x28 ~x29 ~x30 ~x31 ~x32 ~x33 ~x34 ~x35 ~x36 ~x37 ~x38 ~x39 ~x40 ~x41 ~x42 ~x43 ~x44 ~x45 x46 ~x47 ~x48 ~x49 ~x50 ~x51 ~x52 ~x53 ~x54 ~x55 ~x56 ~x57 ~x58 ~x59 ~x60 ~x61 ~x62 ~x63 ~x64 ~x65 ~x66 ~x67 ~x68 ~x69 ~x70 ~x71 ~x72 ~x73 ~x74 ~x75 ~x76 ~x77 ~x78 ~x79 ~x80 ~x81 ~x82 ~x83 ~x84 ~x85 ~x86 ~x87 ~x88 ~x89 ~x90 ~x91 ~x92 ~x93 ~x94 ~x95 ~x96 ~x97 ~x98 ~x99 ~x100 ~x101 ~x102 ~x103 ~x104 ~x105 ~x106 ~x107 ~x108 ~x109 ~x110 ~x111 ~x112 ~x113 ~x114 ~x115 ~x116 ~x117 ~x118 ~x119 ~x120 ~x121 ~x122 ~x123 ~x124 ~x125 ~x126 ~x127 ~x128 ~x129 ~x130 ~x131 ~x132 ~x133 ~x134 ~x135 ~x136 ~x137 ~x138 ~x139 x140 ~x141 ~x142 ~x143 ~x144 ~x145 ~x146 ~x147 ~x148 ~x149 ~x150 ~x151 ~x152 ~x153 ~x154 ~x155 ~x156 ~x157 ~x158 ~x159 ~x160 ~x161 ~x162 ~x163 ~x164 ~x165 ~x166 ~x167 ~x168 ~x169 ~x170 ~x171 ~x172 ~x173 ~x174 ~x175 ~x176 ~x177 ~x178 ~x179 ~x180 ~x181 ~x182 ~x183 ~x184 ~x185 ~x186 ~x187 ~x188 ~x189 ~x190 ~x191 ~x192 ~x193 ~x194 ~x195 ~x196 ~x197 ~x198 ~x199 ~x200 ~x201 ~x202 ~x203 ~x204 ~x205 ~x206 x207 ~x208 ~x209 ~x210 ~x211 ~x212 ~x213 ~x214 ~x215 ~x216 ~x217 ~x218 ~x219 ~x220 ~x221 ~x222 ~x223 ~x224 ~x225 ~x226 ~x227 ~x228 ~x229 ~x230 ~x231 ~x232 ~x233 ~x234 ~x235 ~x236 ~x237 ~x238 ~x239 ~x240 ~x241 ~x242 ~x243 ~x244 ~x245 ~x246 ~x247 ~x248 ~x249 ~x250 ~x251 ~x252 ~x253 ~x254 ~x255 ~x256 ~x257 ~x258 ~x259 ~x260 ~x261 ~x262 ~x263 ~x264 ~x265 ~x266 ~x267 ~x268 ~x269 ~x270 ~x271 ~x272 ~x273 ~x274 ~x275 ~x276 ~x277 ~x278 ~x279 x280 ~x281 ~x282 ~x283 ~x284 ~x285 ~x286 ~x287 ~x288 ~x289 ~x290 ~x291 ~x292 ~x293 ~x294 ~x295 ~x296 ~x297 ~x298 ~x299 ~x300 ~x301 ~x302 ~x303 ~x304 ~x305 ~x306 ~x307 ~x308 ~x309 ~x310 ~x311 ~x312 x313 ~x314 ~x315 ~x316 ~x317 ~x318 ~x319 ~x320 ~x321 ~x322 ~x323 ~x324 ~x325 ~x326 ~x327 ~x328 ~x329 ~x330 ~x331 ~x332 ~x333 ~x334 ~x335 ~x336 ~x337 ~x338 ~x339 ~x340 ~x341 ~x342 ~x343 ~x344 ~x345 ~x346 ~x347 ~x348 ~x349 ~x350 ~x351 ~x352 ~x353 ~x354 ~x355 ~x356 ~x357 ~x358 ~x359 ~x360 ~x361 ~x362 ~x363 ~x364 ~x365 ~x366 ~x367 ~x368 ~x369 ~x370 ~x371 ~x372 ~x373 ~x374 ~x375 ~x376 ~x377 ~x378 ~x379 ~x380 ~x381 ~x382 x383 ~x384 ~x385 ~x386 ~x387 ~x388 ~x389 ~x390 ~x391 ~x392 ~x393 ~x394 ~x395 ~x396 ~x397 ~x398 ~x399 ~x400 ~x401 ~x402 ~x403 ~x404 ~x405 ~x406 ~x407 ~x408 ~x409 ~x410 ~x411 ~x412 ~x413 ~x414 ~x415 ~x416 ~x417 ~x418 ~x419 ~x420 ~x421 ~x422 ~x423 ~x424 ~x425 ~x426 ~x427 ~x428 ~x429 ~x430 ~x431 ~x432 ~x433 ~x434 ~x435 ~x436 ~x437 ~x438 ~x439 ~x440 ~x441 ~x442 ~x443 ~x444 ~x445 ~x446 ~x447 ~x448 ~x449 ~x450 ~x451 ~x452 x453 ~x454 ~x455 ~x456 ~x457 ~x458 ~x459 ~x460 ~x461 ~x462 ~x463 ~x464 ~x465 ~x466 ~x467 ~x468 ~x469 ~x470 ~x471 ~x472 ~x473 ~x474 ~x475 ~x476 ~x477 ~x478 ~x479 ~x480 ~x481 ~x482 ~x483 ~x484 ~x485 ~x486 ~x487 ~x488 ~x489 ~x490 ~x491 ~x492 ~x493 ~x494 ~x495 ~x496 ~x497 ~x498 ~x499 ~x500 ~x501 ~x502 ~x503 ~x504 ~x505 ~x506 ~x507 ~x508 ~x509 ~x510 ~x511 ~x512 ~x513 ~x514 ~x515 ~x516 ~x517 ~x518 ~x519 ~x520 ~x521 ~x522 ~x523 ~x524 ~x525 ~x526 ~x527 ~x528 ~x529 ~x530 ~x531 ~x532 ~x533 ~x534 ~x535 ~x536 ~x537 ~x538 ~x539 ~x540 ~x541 ~x542 ~x543 ~x544 ~x545 ~x546 ~x547 ~x548 ~x549 ~x550 ~x551 ~x552 ~x553 ~x554 ~x555 ~x556 ~x557 ~x558 ~x559 x560 ~x561 ~x562 ~x563 ~x564 ~x565 ~x566 ~x567 ~x568 ~x569 ~x570 ~x571 ~x572 ~x573 ~x574 ~x575 ~x576 ~x577 ~x578 ~x579 ~x580 ~x581 ~x582 ~x583 ~x584 ~x585 ~x586 ~x587 ~x588 ~x589 ~x590 ~x591 ~x592 ~x593 ~x594 ~x595 ~x596 ~x597 ~x598 ~x599 ~x600 ~x601 ~x602 ~x603 ~x604 ~x605 ~x606 ~x607 ~x608 ~x609 ~x610 ~x611 ~x612 ~x613 ~x614 ~x615 ~x616 ~x617 ~x618 ~x619 ~x620 ~x621 ~x622 ~x623 ~x624 ~x625 ~x626 ~x627 ~x628 ~x629 x630 ~x631 ~x632 ~x633 ~x634 ~x635 ~x636 ~x637 ~x638 ~x639 ~x640 ~x641 ~x642 ~x643 ~x644 ~x645 ~x646 ~x647 ~x648 ~x649 ~x650 ~x651 ~x652 ~x653 ~x654 ~x655 ~x656 ~x657 ~x658 ~x659 ~x660 ~x661 ~x662 ~x663 ~x664 ~x665 ~x666 ~x667 ~x668 ~x669 ~x670 ~x671 ~x672 ~x673 ~x674 ~x675 ~x676 ~x677 ~x678 ~x679 ~x680 ~x681 ~x682 ~x683 ~x684 ~x685 ~x686 ~x687 ~x688 ~x689 ~x690 ~x691 ~x692 ~x693 ~x694 ~x695 ~x696 ~x697 ~x698 ~x699 x700 ~x701 ~x702 ~x703 ~x704 ~x705 ~x706 ~x707 ~x708 ~x709 ~x710 ~x711 ~x712 ~x713 ~x714 ~x715 ~x716 ~x717 ~x718 ~x719 ~x720 ~x721 ~x722 ~x723 ~x724 ~x725 ~x726 ~x727 ~x728 ~x729 ~x730 ~x731 ~x732 ~x733 ~x734 ~x735 ~x736 ~x737 ~x738 ~x739 ~x740 ~x741 ~x742 ~x743 ~x744 ~x745 ~x746 ~x747 ~x748 ~x749 ~x750 ~x751 ~x752 ~x753 ~x754 ~x755 ~x756 ~x757 ~x758 ~x759 ~x760 ~x761 ~x762 ~x763 ~x764 ~x765 ~x766 x767 ~x768 ~x769 ~x770 ~x771 ~x772 ~x773 ~x774 ~x775 ~x776 ~x777 ~x778 ~x779 ~x780 ~x781 ~x782 ~x783 ~x784 ~x785 ~x786 ~x787 ~x788 ~x789 ~x790 ~x791 ~x792 ~x793 ~x794 ~x795 ~x796 ~x797 ~x798 ~x799 ~x800 ~x801 ~x802 ~x803 ~x804 ~x805 ~x806 ~x807 ~x808 ~x809 ~x810 ~x811 ~x812 ~x813 ~x814 ~x815 ~x816 ~x817 ~x818 ~x819 ~x820 ~x821 ~x822 ~x823 ~x824 ~x825 ~x826 ~x827 ~x828 ~x829 ~x830 ~x831 ~x832 ~x833 ~x834 ~x835 ~x836 ~x837 ~x838 ~x839 x840 ~x841 ~x842 ~x843 ~x844 ~x845 ~x846 ~x847 ~x848 ~x849 ~x850 ~x851 ~x852 ~x853 ~x854 ~x855 ~x856 ~x857 ~x858 ~x859 ~x860 ~x861 ~x862 ~x863 ~x864 ~x865 ~x866 ~x867 ~x868 ~x869 ~x870 ~x871 ~x872 x873 ~x874 ~x875 ~x876 ~x877 ~x878 ~x879 ~x880 ~x881 ~x882 ~x883 ~x884 ~x885 ~x886 ~x887 ~x888 ~x889 ~x890 ~x891 ~x892 ~x893 ~x894 ~x895 ~x896 ~x897 ~x898 ~x899 ~x900 ~x901 ~x902 ~x903 ~x904 ~x905 ~x906 ~x907 ~x908 ~x909 ~x910 ~x911 ~x912 ~x913 ~x914 ~x915 ~x916 ~x917 ~x918 ~x919 ~x920 ~x921 ~x922 ~x923 ~x924 ~x925 ~x926 ~x927 ~x928 ~x929 ~x930 ~x931 ~x932 ~x933 ~x934 ~x935 ~x936 ~x937 ~x938 ~x939 ~x940 ~x941 ~x942 ~x943 ~x944 ~x945 ~x946 ~x947 ~x948 ~x949 ~x950 ~x951 ~x952 ~x953 ~x954 ~x955 ~x956 ~x957 ~x958 ~x959 ~x960 ~x961 ~x962 ~x963 ~x964 ~x965 ~x966 ~x967 ~x968 ~x969 ~x970 ~x971 ~x972 ~x973 ~x974 ~x975 ~x976 ~x977 ~x978 ~x979 x980 ~x981 ~x982 ~x983 ~x984 ~x985 ~x986 ~x987 ~x988 ~x989 ~x990 ~x991 ~x992 ~x993 ~x994 ~x995 ~x996 ~x997 ~x998 ~x999 ~x1000 ~x1001 ~x1002 ~x1003 ~x1004 ~x1005 ~x1006 ~x1007 ~x1008 ~x1009 ~x1010 ~x1011 ~x1012 ~x1013 ~x1014 ~x1015 ~x1016 ~x1017 ~x1018 ~x1019 ~x1020 ~x1021 ~x1022 ~x1023 ~x1024 ~x1025 ~x1026 ~x1027 ~x1028 ~x1029 ~x1030 ~x1031 ~x1032 ~x1033 ~x1034 ~x1035 ~x1036 ~x1037 ~x1038 ~x1039 ~x1040 ~x1041 ~x1042 ~x1043 ~x1044 ~x1045 ~x1046 ~x1047 ~x1048 ~x1049 x1050 ~x1051 ~x1052 ~x1053 ~x1054 ~x1055 ~x1056 ~x1057 ~x1058 ~x1059 ~x1060 ~x1061 ~x1062 ~x1063 ~x1064 ~x1065 ~x1066 ~x1067 ~x1068 ~x1069 ~x1070 ~x1071 ~x1072 ~x1073 ~x1074 ~x1075 ~x1076 ~x1077 ~x1078 ~x1079 ~x1080 ~x1081 ~x1082 ~x1083 ~x1084 ~x1085 ~x1086 ~x1087 ~x1088 ~x1089 ~x1090 ~x1091 ~x1092 ~x1093 ~x1094 ~x1095 ~x1096 ~x1097 ~x1098 ~x1099 ~x1100 ~x1101 ~x1102 ~x1103 ~x1104 ~x1105 ~x1106 ~x1107 ~x1108 ~x1109 ~x1110 ~x1111 ~x1112 ~x1113 ~x1114 ~x1115 ~x1116 x1117 ~x1118 ~x1119 ~x1120 ~x1121 ~x1122 ~x1123 ~x1124 ~x1125 ~x1126 ~x1127 ~x1128 ~x1129 ~x1130 ~x1131 ~x1132 ~x1133 ~x1134 ~x1135 ~x1136 ~x1137 ~x1138 ~x1139 ~x1140 ~x1141 ~x1142 ~x1143 ~x1144 ~x1145 ~x1146 ~x1147 ~x1148 ~x1149 ~x1150 ~x1151 ~x1152 x1153 ~x1154 ~x1155 ~x1156 ~x1157 ~x1158 ~x1159 ~x1160 ~x1161 ~x1162 ~x1163 ~x1164 ~x1165 ~x1166 ~x1167 ~x1168 ~x1169 ~x1170 ~x1171 ~x1172 ~x1173 ~x1174 ~x1175 ~x1176 ~x1177 ~x1178 ~x1179 ~x1180 ~x1181 ~x1182 ~x1183 ~x1184 ~x1185 ~x1186 ~x1187 ~x1188 ~x1189 ~x1190 ~x1191 ~x1192 ~x1193 ~x1194 ~x1195 ~x1196 ~x1197 ~x1198 ~x1199 ~x1200 ~x1201 ~x1202 ~x1203 ~x1204 ~x1205 ~x1206 ~x1207 ~x1208 ~x1209 ~x1210 ~x1211 ~x1212 ~x1213 ~x1214 ~x1215 ~x1216 ~x1217 ~x1218 ~x1219 ~x1220 ~x1221 ~x1222 x1223 ~x1224 ~x1225 ~x1226 ~x1227 ~x1228 ~x1229 ~x1230 ~x1231 ~x1232 ~x1233 ~x1234 ~x1235 ~x1236 ~x1237 ~x1238 ~x1239 ~x1240 ~x1241 ~x1242 ~x1243 ~x1244 ~x1245 ~x1246 ~x1247 ~x1248 ~x1249 ~x1250 ~x1251 ~x1252 ~x1253 ~x1254 ~x1255 ~x1256 ~x1257 ~x1258 ~x1259 ~x1260 ~x1261 ~x1262 ~x1263 ~x1264 ~x1265 ~x1266 ~x1267 ~x1268 ~x1269 ~x1270 ~x1271 ~x1272 ~x1273 ~x1274 ~x1275 ~x1276 ~x1277 ~x1278 ~x1279 ~x1280 ~x1281 ~x1282 ~x1283 ~x1284 ~x1285 ~x1286 ~x1287 ~x1288 ~x1289 ~x1290 ~x1291 ~x1292 ~x1293 ~x1294 ~x1295 ~x1296 ~x1297 ~x1298 ~x1299 ~x1300 ~x1301 ~x1302 ~x1303 ~x1304 ~x1305 ~x1306 ~x1307 ~x1308 ~x1309 ~x1310 ~x1311 ~x1312 ~x1313 ~x1314 ~x1315 ~x1316 ~x1317 ~x1318 ~x1319 ~x1320 ~x1321 ~x1322 ~x1323 ~x1324 ~x1325 ~x1326 ~x1327 ~x1328 ~x1329 x1330 ~x1331 ~x1332 ~x1333 ~x1334 ~x1335 ~x1336 ~x1337 ~x1338 ~x1339 ~x1340 ~x1341 ~x1342 ~x1343 ~x1344 ~x1345 ~x1346 ~x1347 ~x1348 ~x1349 ~x1350 ~x1351 ~x1352 ~x1353 ~x1354 ~x1355 ~x1356 ~x1357 ~x1358 ~x1359 ~x1360 ~x1361 ~x1362 ~x1363 ~x1364 ~x1365 ~x1366 ~x1367 ~x1368 ~x1369 ~x1370 ~x1371 ~x1372 ~x1373 ~x1374 ~x1375 ~x1376 ~x1377 ~x1378 ~x1379 ~x1380 ~x1381 ~x1382 ~x1383 ~x1384 ~x1385 ~x1386 ~x1387 ~x1388 ~x1389 ~x1390 ~x1391 ~x1392 ~x1393 ~x1394 ~x1395 ~x1396 ~x1397 ~x1398 ~x1399 x1400 ~x1401 ~x1402 ~x1403 ~x1404 ~x1405 ~x1406 ~x1407 ~x1408 ~x1409 ~x1410 ~x1411 ~x1412 ~x1413 ~x1414 ~x1415 ~x1416 ~x1417 ~x1418 ~x1419 ~x1420 ~x1421 ~x1422 ~x1423 ~x1424 ~x1425 ~x1426 ~x1427 ~x1428 ~x1429 ~x1430 ~x1431 ~x1432 ~x1433 ~x1434 ~x1435 ~x1436 ~x1437 ~x1438 ~x1439 ~x1440 ~x1441 ~x1442 ~x1443 ~x1444 ~x1445 ~x1446 ~x1447 ~x1448 ~x1449 ~x1450 ~x1451 ~x1452 ~x1453 ~x1454 ~x1455 ~x1456 ~x1457 ~x1458 ~x1459 ~x1460 ~x1461 ~x1462 ~x1463 ~x1464 ~x1465 ~x1466 x1467 ~x1468 ~x1469 ~x1470 ~x1471 ~x1472 ~x1473 ~x1474 ~x1475 ~x1476 ~x1477 ~x1478 ~x1479 ~x1480 ~x1481 ~x1482 ~x1483 ~x1484 ~x1485 ~x1486 ~x1487 ~x1488 ~x1489 ~x1490 ~x1491 ~x1492 ~x1493 ~x1494 ~x1495 ~x1496 ~x1497 ~x1498 ~x1499 ~x1500 ~x1501 ~x1502 x1503 ~x1504 ~x1505 ~x1506 ~x1507 ~x1508 ~x1509 ~x1510 ~x1511 ~x1512 ~x1513 ~x1514 ~x1515 ~x1516 ~x1517 ~x1518 ~x1519 ~x1520 ~x1521 ~x1522 ~x1523 ~x1524 ~x1525 ~x1526 ~x1527 ~x1528 ~x1529 ~x1530 ~x1531 ~x1532 ~x1533 ~x1534 ~x1535 ~x1536 ~x1537 ~x1538 ~x1539 ~x1540 ~x1541 ~x1542 ~x1543 ~x1544 ~x1545 ~x1546 ~x1547 ~x1548 ~x1549 ~x1550 ~x1551 ~x1552 ~x1553 ~x1554 ~x1555 ~x1556 ~x1557 ~x1558 ~x1559 ~x1560 ~x1561 ~x1562 ~x1563 ~x1564 ~x1565 ~x1566 ~x1567 ~x1568 ~x1569 ~x1570 ~x1571 ~x1572 x1573 ~x1574 ~x1575 ~x1576 ~x1577 ~x1578 ~x1579 ~x1580 ~x1581 ~x1582 ~x1583 ~x1584 ~x1585 ~x1586 ~x1587 ~x1588 ~x1589 ~x1590 ~x1591 ~x1592 ~x1593 ~x1594 ~x1595 ~x1596 ~x1597 ~x1598 ~x1599 ~x1600 ~x1601 ~x1602 ~x1603 ~x1604 ~x1605 ~x1606 ~x1607 ~x1608 ~x1609 ~x1610 ~x1611 ~x1612 ~x1613 ~x1614 ~x1615 ~x1616 ~x1617 ~x1618 ~x1619 ~x1620 ~x1621 ~x1622 ~x1623 ~x1624 ~x1625 ~x1626 ~x1627 ~x1628 ~x1629 ~x1630 ~x1631 ~x1632 ~x1633 ~x1634 ~x1635 ~x1636 ~x1637 ~x1638 ~x1639 ~x1640 ~x1641 ~x1642 x1643 ~x1644 ~x1645 ~x1646 ~x1647 ~x1648 ~x1649 ~x1650 ~x1651 ~x1652 ~x1653 ~x1654 ~x1655 ~x1656 ~x1657 ~x1658 ~x1659 ~x1660 ~x1661 ~x1662 ~x1663 ~x1664 ~x1665 ~x1666 ~x1667 ~x1668 ~x1669 ~x1670 ~x1671 ~x1672 ~x1673 ~x1674 ~x1675 ~x1676 ~x1677 ~x1678 ~x1679 ~x1680 ~x1681 ~x1682 ~x1683 ~x1684 ~x1685 ~x1686 ~x1687 ~x1688 ~x1689 ~x1690 ~x1691 ~x1692 ~x1693 ~x1694 ~x1695 ~x1696 ~x1697 ~x1698 ~x1699 ~x1700 ~x1701 ~x1702 ~x1703 ~x1704 ~x1705 ~x1706 ~x1707 ~x1708 ~x1709 ~x1710 ~x1711 ~x1712 ~x1713 ~x1714 ~x1715 ~x1716 ~x1717 ~x1718 ~x1719 ~x1720 ~x1721 ~x1722 ~x1723 ~x1724 ~x1725 ~x1726 ~x1727 ~x1728 ~x1729 ~x1730 ~x1731 ~x1732 ~x1733 ~x1734 ~x1735 ~x1736 ~x1737 ~x1738 ~x1739 ~x1740 ~x1741 ~x1742 ~x1743 ~x1744 ~x1745 ~x1746 ~x1747 ~x1748 ~x1749 x1750 ~x1751 ~x1752 ~x1753 ~x1754 ~x1755 ~x1756 ~x1757 ~x1758 ~x1759 ~x1760 ~x1761 ~x1762 ~x1763 ~x1764 ~x1765 ~x1766 ~x1767 ~x1768 ~x1769 ~x1770 ~x1771 ~x1772 ~x1773 ~x1774 ~x1775 ~x1776 ~x1777 ~x1778 ~x1779 ~x1780 ~x1781 ~x1782 ~x1783 ~x1784 ~x1785 ~x1786 ~x1787 ~x1788 ~x1789 ~x1790 ~x1791 ~x1792 ~x1793 ~x1794 ~x1795 ~x1796 ~x1797 ~x1798 ~x1799 ~x1800 ~x1801 ~x1802 ~x1803 ~x1804 ~x1805 ~x1806 ~x1807 ~x1808 ~x1809 ~x1810 ~x1811 ~x1812 ~x1813 ~x1814 ~x1815 ~x1816 x1817 ~x1818 ~x1819 ~x1820 ~x1821 x1822 ~x1823 ~x1824 x1825 ~x1826 ~x1827 ~x1828 x1829 ~x1830 ~x1831 ~x1832 x1833 x1834 x1835 ~x1836 ~x1837 ~x1838 ~x1839 x1840 ~x1841 ~x1842 ~x1843 x1844 x1845 ~x1846 ~x1847 ~x1848 x1849 x1850 ~x1851 ~x1852 ~x1853 ~x1854 x1855 ~x1856 x1857 ~x1858 ~x1859 ~x1860 ~x1861 ~x1862 ~x1863 ~x1864 ~x1865 ~x1866 ~x1867 ~x1868 ~x1869 x1870 ~x1871 ~x1872 x1873 ~x1874 x1875 ~x1876 ~x1877 ~x1878 x1879 x1880 ~x1881 x1882 ~x1883 ~x1884 ~x1885 x1886 ~x1887 x1888 x1889 ~x1890 ~x1891 ~x1892 ~x1893 ~x1894 ~x1895 ~x1896 ~x1897 ~x1898 ~x1899 ~x1900 ~x1901 ~x1902 ~x1903 ~x1904 ~x1905 ~x1906 ~x1907 ~x1908 ~x1909 ~x1910 ~x1911 ~x1912 ~x1913 ~x1914 ~x1915 ~x1916 ~x1917 ~x1918 ~x1919 ~x1920 ~x1921 ~x1922 ~x1923 ~x1924 ~x1925 ~x1926 ~x1927 ~x1928 ~x1929 ~x1930 ~x1931 ~x1932 ~x1933 ~x1934 ~x1935 ~x1936 ~x1937 ~x1938 ~x1939 ~x1940 ~x1941 ~x1942 ~x1943 ~x1944 ~x1945 ~x1946 ~x1947 ~x1948 ~x1949 ~x1950 ~x1951 ~x1952 ~x1953 ~x1954 ~x1955 ~x1956 x1957 ~x1958 ~x1959 ~x1960 ~x1961 ~x1962 ~x1963 ~x1964 ~x1965 ~x1966 ~x1967 ~x1968 ~x1969 ~x1970 ~x1971 ~x1972 ~x1973 ~x1974 ~x1975 ~x1976 ~x1977 ~x1978 ~x1979 ~x1980 ~x1981 ~x1982 ~x1983 ~x1984 ~x1985 ~x1986 ~x1987 ~x1988 ~x1989 ~x1990 ~x1991 ~x1992 x1993 ~x1994 ~x1995 ~x1996 ~x1997 ~x1998 ~x1999 ~x2000 ~x2001 ~x2002 ~x2003 ~x2004 ~x2005 ~x2006 ~x2007 ~x2008 ~x2009 ~x2010 ~x2011 ~x2012 ~x2013 ~x2014 ~x2015 ~x2016 ~x2017 ~x2018 ~x2019 ~x2020 ~x2021 ~x2022 ~x2023 ~x2024 ~x2025 ~x2026 ~x2027 ~x2028 ~x2029 ~x2030 ~x2031 ~x2032 ~x2033 ~x2034 ~x2035 ~x2036 ~x2037 ~x2038 ~x2039 ~x2040 ~x2041 ~x2042 ~x2043 ~x2044 ~x2045 ~x2046 ~x2047 ~x2048 ~x2049 ~x2050 ~x2051 ~x2052 ~x2053 ~x2054 ~x2055 ~x2056 ~x2057 ~x2058 ~x2059 ~x2060 ~x2061 ~x2062 ~x2063 ~x2064 ~x2065 ~x2066 ~x2067 ~x2068 ~x2069 ~x2070 ~x2071 ~x2072 ~x2073 ~x2074 ~x2075 ~x2076 ~x2077 ~x2078 ~x2079 ~x2080 ~x2081 ~x2082 ~x2083 ~x2084 ~x2085 ~x2086 ~x2087 ~x2088 ~x2089 ~x2090 ~x2091 ~x2092 ~x2093 ~x2094 ~x2095 ~x2096 x2097 ~x2098 ~x2099 ~x2100 ~x2101 ~x2102 ~x2103 ~x2104 ~x2105 ~x2106 ~x2107 ~x2108 ~x2109 ~x2110 ~x2111 ~x2112 ~x2113 ~x2114 ~x2115 ~x2116 ~x2117 ~x2118 ~x2119 ~x2120 ~x2121 ~x2122 ~x2123 ~x2124 ~x2125 ~x2126 ~x2127 ~x2128 ~x2129 ~x2130 ~x2131 ~x2132 x2133 ~x2134 ~x2135 ~x2136 ~x2137 ~x2138 ~x2139 ~x2140 ~x2141 ~x2142 ~x2143 ~x2144 ~x2145 ~x2146 ~x2147 ~x2148 ~x2149 ~x2150 ~x2151 ~x2152 ~x2153 ~x2154 ~x2155 ~x2156 ~x2157 ~x2158 ~x2159 ~x2160 ~x2161 ~x2162 ~x2163 ~x2164 ~x2165 ~x2166 ~x2167 ~x2168 ~x2169 ~x2170 ~x2171 ~x2172 ~x2173 ~x2174 ~x2175 ~x2176 ~x2177 ~x2178 ~x2179 ~x2180 ~x2181 ~x2182 ~x2183 ~x2184 ~x2185 ~x2186 ~x2187 ~x2188 ~x2189 ~x2190 ~x2191 ~x2192 ~x2193 ~x2194 ~x2195 ~x2196 ~x2197 ~x2198 ~x2199 ~x2200 ~x2201 ~x2202 ~x2203 ~x2204 ~x2205 ~x2206 ~x2207 ~x2208 ~x2209 ~x2210 ~x2211 ~x2212 ~x2213 ~x2214 ~x2215 ~x2216 ~x2217 ~x2218 ~x2219 ~x2220 ~x2221 ~x2222 ~x2223 ~x2224 ~x2225 ~x2226 ~x2227 ~x2228 ~x2229 ~x2230 ~x2231 ~x2232 ~x2233 ~x2234 ~x2235 ~x2236 ~x2237 ~x2238 ~x2239 x2240 ~x2241 ~x2242 ~x2243 ~x2244 ~x2245 ~x2246 ~x2247 ~x2248 ~x2249 ~x2250 ~x2251 ~x2252 ~x2253 ~x2254 ~x2255 ~x2256 ~x2257 ~x2258 ~x2259 ~x2260 ~x2261 ~x2262 ~x2263 ~x2264 ~x2265 ~x2266 ~x2267 ~x2268 ~x2269 ~x2270 ~x2271 ~x2272 ~x2273 ~x2274 ~x2275 ~x2276 ~x2277 ~x2278 ~x2279 ~x2280 ~x2281 ~x2282 ~x2283 ~x2284 ~x2285 ~x2286 ~x2287 ~x2288 ~x2289 ~x2290 ~x2291 ~x2292 ~x2293 ~x2294 ~x2295 ~x2296 ~x2297 ~x2298 ~x2299 ~x2300 ~x2301 ~x2302 ~x2303 ~x2304 ~x2305 ~x2306 ~x2307 ~x2308 ~x2309 x2310 ~x2311 ~x2312 ~x2313 ~x2314 ~x2315 ~x2316 ~x2317 ~x2318 ~x2319 ~x2320 ~x2321 ~x2322 ~x2323 ~x2324 ~x2325 ~x2326 ~x2327 ~x2328 ~x2329 ~x2330 ~x2331 ~x2332 ~x2333 ~x2334 ~x2335 ~x2336 ~x2337 ~x2338 ~x2339 ~x2340 ~x2341 ~x2342 ~x2343 ~x2344 ~x2345 ~x2346 ~x2347 ~x2348 ~x2349 ~x2350 ~x2351 ~x2352 ~x2353 ~x2354 ~x2355 ~x2356 ~x2357 ~x2358 ~x2359 ~x2360 ~x2361 ~x2362 ~x2363 ~x2364 ~x2365 ~x2366 ~x2367 ~x2368 ~x2369 ~x2370 ~x2371 ~x2372 ~x2373 ~x2374 ~x2375 ~x2376 x2377 ~x2378 ~x2379 ~x2380 ~x2381 ~x2382 ~x2383 ~x2384 ~x2385 ~x2386 ~x2387 ~x2388 ~x2389 ~x2390 ~x2391 ~x2392 ~x2393 ~x2394 ~x2395 ~x2396 ~x2397 ~x2398 ~x2399 ~x2400 ~x2401 ~x2402 ~x2403 ~x2404 ~x2405 ~x2406 ~x2407 ~x2408 ~x2409 ~x2410 ~x2411 ~x2412 ~x2413 ~x2414 ~x2415 ~x2416 ~x2417 ~x2418 ~x2419 ~x2420 ~x2421 ~x2422 ~x2423 ~x2424 ~x2425 ~x2426 ~x2427 ~x2428 ~x2429 ~x2430 ~x2431 ~x2432 ~x2433 ~x2434 ~x2435 ~x2436 ~x2437 ~x2438 ~x2439 ~x2440 ~x2441 ~x2442 ~x2443 ~x2444 ~x2445 ~x2446 x2447 ~x2448 ~x2449 ~x2450 ~x2451 ~x2452 ~x2453 ~x2454 ~x2455 ~x2456 ~x2457 ~x2458 ~x2459 ~x2460 ~x2461 ~x2462 ~x2463 ~x2464 ~x2465 ~x2466 ~x2467 ~x2468 ~x2469 ~x2470 ~x2471 ~x2472 ~x2473 ~x2474 ~x2475 ~x2476 ~x2477 ~x2478 ~x2479 ~x2480 ~x2481 ~x2482 ~x2483 ~x2484 ~x2485 ~x2486 ~x2487 ~x2488 ~x2489 ~x2490 ~x2491 ~x2492 ~x2493 ~x2494 ~x2495 ~x2496 ~x2497 ~x2498 ~x2499 ~x2500 ~x2501 ~x2502 ~x2503 ~x2504 ~x2505 ~x2506 ~x2507 ~x2508 ~x2509 ~x2510 ~x2511 ~x2512 ~x2513 ~x2514 ~x2515 ~x2516 x2517 ~x2518 ~x2519 ~x2520 ~x2521 ~x2522 ~x2523 ~x2524 ~x2525 ~x2526 ~x2527 ~x2528 ~x2529 ~x2530 ~x2531 ~x2532 ~x2533 ~x2534 ~x2535 ~x2536 ~x2537 ~x2538 ~x2539 ~x2540 ~x2541 ~x2542 ~x2543 ~x2544 ~x2545 ~x2546 ~x2547 ~x2548 ~x2549 ~x2550 ~x2551 ~x2552 ~x2553 ~x2554 ~x2555 ~x2556 ~x2557 ~x2558 ~x2559 ~x2560 ~x2561 ~x2562 ~x2563 ~x2564 ~x2565 ~x2566 ~x2567 ~x2568 ~x2569 ~x2570 ~x2571 ~x2572 ~x2573 ~x2574 ~x2575 ~x2576 ~x2577 ~x2578 ~x2579 ~x2580 ~x2581 ~x2582 ~x2583 ~x2584 ~x2585 ~x2586 ~x2587 ~x2588 ~x2589 x2590 ~x2591 ~x2592 ~x2593 ~x2594 ~x2595 ~x2596 ~x2597 ~x2598 ~x2599 ~x2600 ~x2601 ~x2602 ~x2603 ~x2604 ~x2605 ~x2606 ~x2607 ~x2608 ~x2609 ~x2610 ~x2611 ~x2612 ~x2613 ~x2614 ~x2615 ~x2616 ~x2617 ~x2618 ~x2619 ~x2620 ~x2621 ~x2622 ~x2623 ~x2624 ~x2625 ~x2626 ~x2627 ~x2628 ~x2629 ~x2630 ~x2631 ~x2632 ~x2633 ~x2634 ~x2635 ~x2636 ~x2637 ~x2638 ~x2639 ~x2640 ~x2641 ~x2642 ~x2643 ~x2644 ~x2645 ~x2646 ~x2647 ~x2648 ~x2649 ~x2650 ~x2651 ~x2652 ~x2653 ~x2654 ~x2655 ~x2656 x2657 ~x2658 ~x2659 ~x2660 ~x2661 ~x2662 ~x2663 ~x2664 ~x2665 ~x2666 ~x2667 ~x2668 ~x2669 ~x2670 ~x2671 ~x2672 ~x2673 ~x2674 ~x2675 ~x2676 ~x2677 ~x2678 ~x2679 ~x2680 ~x2681 ~x2682 ~x2683 ~x2684 ~x2685 ~x2686 ~x2687 ~x2688 ~x2689 ~x2690 ~x2691 ~x2692 ~x2693 ~x2694 ~x2695 ~x2696 ~x2697 ~x2698 ~x2699 ~x2700 ~x2701 ~x2702 ~x2703 ~x2704 ~x2705 ~x2706 ~x2707 ~x2708 ~x2709 ~x2710 ~x2711 ~x2712 ~x2713 ~x2714 ~x2715 ~x2716 ~x2717 ~x2718 ~x2719 ~x2720 ~x2721 ~x2722 ~x2723 ~x2724 ~x2725 ~x2726 x2727 ~x2728 ~x2729 ~x2730 ~x2731 ~x2732 ~x2733 ~x2734 ~x2735 ~x2736 ~x2737 ~x2738 ~x2739 ~x2740 ~x2741 ~x2742 ~x2743 ~x2744 ~x2745 ~x2746 ~x2747 ~x2748 ~x2749 ~x2750 ~x2751 ~x2752 ~x2753 ~x2754 ~x2755 ~x2756 ~x2757 ~x2758 ~x2759 ~x2760 ~x2761 ~x2762 ~x2763 ~x2764 ~x2765 ~x2766 ~x2767 ~x2768 ~x2769 ~x2770 ~x2771 ~x2772 ~x2773 ~x2774 ~x2775 ~x2776 ~x2777 ~x2778 ~x2779 ~x2780 ~x2781 ~x2782 ~x2783 ~x2784 ~x2785 ~x2786 ~x2787 ~x2788 ~x2789 ~x2790 ~x2791 ~x2792 ~x2793 ~x2794 ~x2795 ~x2796 x2797 ~x2798 ~x2799 ~x2800 ~x2801 ~x2802 ~x2803 ~x2804 ~x2805 ~x2806 ~x2807 ~x2808 ~x2809 ~x2810 ~x2811 ~x2812 ~x2813 ~x2814 ~x2815 ~x2816 ~x2817 ~x2818 ~x2819 ~x2820 ~x2821 ~x2822 ~x2823 ~x2824 ~x2825 ~x2826 ~x2827 ~x2828 ~x2829 ~x2830 ~x2831 ~x2832 ~x2833 ~x2834 ~x2835 ~x2836 ~x2837 ~x2838 ~x2839 ~x2840 ~x2841 ~x2842 ~x2843 ~x2844 ~x2845 ~x2846 ~x2847 ~x2848 ~x2849 ~x2850 ~x2851 ~x2852 ~x2853 ~x2854 ~x2855 ~x2856 ~x2857 ~x2858 ~x2859 ~x2860 ~x2861 ~x2862 ~x2863 ~x2864 ~x2865 ~x2866 ~x2867 ~x2868 ~x2869 ~x2870 ~x2871 ~x2872 ~x2873 ~x2874 ~x2875 ~x2876 ~x2877 ~x2878 ~x2879 ~x2880 ~x2881 ~x2882 ~x2883 ~x2884 ~x2885 ~x2886 ~x2887 ~x2888 ~x2889 ~x2890 ~x2891 ~x2892 ~x2893 ~x2894 ~x2895 ~x2896 ~x2897 ~x2898 ~x2899 ~x2900 ~x2901 ~x2902 ~x2903 ~x2904 ~x2905 ~x2906 ~x2907 ~x2908 ~x2909 ~x2910 ~x2911 ~x2912 ~x2913 ~x2914 ~x2915 ~x2916 ~x2917 ~x2918 ~x2919 ~x2920 ~x2921 ~x2922 ~x2923 ~x2924 ~x2925 ~x2926 ~x2927 ~x2928 ~x2929 ~x2930 ~x2931 ~x2932 ~x2933 ~x2934 ~x2935 ~x2936 ~x2937 ~x2938 ~x2939 x2940 ~x2941 ~x2942 ~x2943 ~x2944 ~x2945 ~x2946 ~x2947 ~x2948 ~x2949 ~x2950 ~x2951 ~x2952 ~x2953 ~x2954 ~x2955 ~x2956 ~x2957 ~x2958 ~x2959 ~x2960 ~x2961 ~x2962 ~x2963 ~x2964 ~x2965 ~x2966 ~x2967 ~x2968 ~x2969 ~x2970 ~x2971 ~x2972 ~x2973 ~x2974 ~x2975 ~x2976 ~x2977 ~x2978 ~x2979 ~x2980 ~x2981 ~x2982 ~x2983 ~x2984 ~x2985 ~x2986 ~x2987 ~x2988 ~x2989 ~x2990 ~x2991 ~x2992 ~x2993 ~x2994 ~x2995 ~x2996 ~x2997 ~x2998 ~x2999 ~x3000 ~x3001 ~x3002 ~x3003 ~x3004 ~x3005 ~x3006 x3007 ~x3008 ~x3009 ~x3010 ~x3011 ~x3012 ~x3013 ~x3014 ~x3015 ~x3016 ~x3017 ~x3018 ~x3019 ~x3020 ~x3021 ~x3022 ~x3023 ~x3024 ~x3025 ~x3026 ~x3027 ~x3028 ~x3029 ~x3030 ~x3031 ~x3032 ~x3033 ~x3034 ~x3035 ~x3036 ~x3037 ~x3038 ~x3039 ~x3040 ~x3041 ~x3042 ~x3043 ~x3044 ~x3045 ~x3046 ~x3047 ~x3048 ~x3049 ~x3050 ~x3051 ~x3052 ~x3053 ~x3054 ~x3055 ~x3056 ~x3057 ~x3058 ~x3059 ~x3060 ~x3061 ~x3062 ~x3063 ~x3064 ~x3065 ~x3066 ~x3067 ~x3068 ~x3069 ~x3070 ~x3071 ~x3072 ~x3073 ~x3074 ~x3075 ~x3076 ~x3077 ~x3078 ~x3079 x3080 ~x3081 ~x3082 ~x3083 ~x3084 ~x3085 ~x3086 ~x3087 ~x3088 ~x3089 ~x3090 ~x3091 ~x3092 ~x3093 ~x3094 ~x3095 ~x3096 ~x3097 ~x3098 ~x3099 ~x3100 ~x3101 ~x3102 ~x3103 ~x3104 ~x3105 ~x3106 ~x3107 ~x3108 ~x3109 ~x3110 ~x3111 ~x3112 ~x3113 ~x3114 ~x3115 ~x3116 ~x3117 ~x3118 ~x3119 ~x3120 ~x3121 ~x3122 ~x3123 ~x3124 ~x3125 ~x3126 ~x3127 ~x3128 ~x3129 ~x3130 ~x3131 ~x3132 ~x3133 ~x3134 ~x3135 ~x3136 ~x3137 ~x3138 ~x3139 ~x3140 ~x3141 ~x3142 ~x3143 ~x3144 ~x3145 ~x3146 x3147 ~x3148 ~x3149 ~x3150 ~x3151 ~x3152 ~x3153 ~x3154 ~x3155 ~x3156 ~x3157 ~x3158 ~x3159 ~x3160 ~x3161 ~x3162 ~x3163 ~x3164 ~x3165 ~x3166 ~x3167 ~x3168 ~x3169 ~x3170 ~x3171 ~x3172 ~x3173 ~x3174 ~x3175 ~x3176 ~x3177 ~x3178 ~x3179 ~x3180 ~x3181 ~x3182 x3183 ~x3184 ~x3185 ~x3186 ~x3187 ~x3188 ~x3189 ~x3190 ~x3191 ~x3192 ~x3193 ~x3194 ~x3195 ~x3196 ~x3197 ~x3198 ~x3199 ~x3200 ~x3201 ~x3202 ~x3203 ~x3204 ~x3205 ~x3206 ~x3207 ~x3208 ~x3209 ~x3210 ~x3211 ~x3212 ~x3213 ~x3214 ~x3215 ~x3216 ~x3217 ~x3218 ~x3219 ~x3220 ~x3221 ~x3222 ~x3223 ~x3224 ~x3225 ~x3226 ~x3227 ~x3228 ~x3229 ~x3230 ~x3231 ~x3232 ~x3233 ~x3234 ~x3235 ~x3236 ~x3237 ~x3238 ~x3239 ~x3240 ~x3241 ~x3242 ~x3243 ~x3244 ~x3245 ~x3246 ~x3247 ~x3248 ~x3249 ~x3250 ~x3251 ~x3252 ~x3253 ~x3254 ~x3255 ~x3256 ~x3257 ~x3258 ~x3259 ~x3260 ~x3261 ~x3262 ~x3263 ~x3264 ~x3265 ~x3266 ~x3267 ~x3268 ~x3269 ~x3270 ~x3271 ~x3272 ~x3273 ~x3274 ~x3275 ~x3276 ~x3277 ~x3278 ~x3279 ~x3280 ~x3281 ~x3282 ~x3283 ~x3284 ~x3285 ~x3286 ~x3287 ~x3288 ~x3289 x3290 ~x3291 ~x3292 ~x3293 ~x3294 ~x3295 ~x3296 ~x3297 ~x3298 ~x3299 ~x3300 ~x3301 ~x3302 ~x3303 ~x3304 ~x3305 ~x3306 ~x3307 ~x3308 ~x3309 ~x3310 ~x3311 ~x3312 ~x3313 ~x3314 ~x3315 ~x3316 ~x3317 ~x3318 ~x3319 ~x3320 ~x3321 ~x3322 ~x3323 ~x3324 ~x3325 ~x3326 ~x3327 ~x3328 ~x3329 ~x3330 ~x3331 ~x3332 ~x3333 ~x3334 ~x3335 ~x3336 ~x3337 ~x3338 ~x3339 ~x3340 ~x3341 ~x3342 ~x3343 ~x3344 ~x3345 ~x3346 ~x3347 ~x3348 ~x3349 ~x3350 ~x3351 ~x3352 ~x3353 ~x3354 ~x3355 ~x3356 x3357 ~x3358 ~x3359 ~x3360 ~x3361 ~x3362 ~x3363 ~x3364 ~x3365 ~x3366 ~x3367 ~x3368 ~x3369 ~x3370 ~x3371 ~x3372 ~x3373 ~x3374 ~x3375 ~x3376 ~x3377 ~x3378 ~x3379 ~x3380 ~x3381 ~x3382 ~x3383 ~x3384 ~x3385 ~x3386 ~x3387 ~x3388 ~x3389 ~x3390 ~x3391 ~x3392 x3393 ~x3394 ~x3395 ~x3396 ~x3397 ~x3398 ~x3399 ~x3400 ~x3401 ~x3402 ~x3403 ~x3404 ~x3405 ~x3406 ~x3407 ~x3408 ~x3409 ~x3410 ~x3411 ~x3412 ~x3413 ~x3414 ~x3415 ~x3416 ~x3417 ~x3418 ~x3419 ~x3420 ~x3421 ~x3422 ~x3423 ~x3424 ~x3425 ~x3426 ~x3427 ~x3428 ~x3429 ~x3430 ~x3431 ~x3432 ~x3433 ~x3434 ~x3435 ~x3436 ~x3437 ~x3438 ~x3439 ~x3440 ~x3441 ~x3442 ~x3443 ~x3444 ~x3445 ~x3446 ~x3447 ~x3448 ~x3449 ~x3450 ~x3451 ~x3452 ~x3453 ~x3454 ~x3455 ~x3456 ~x3457 ~x3458 ~x3459 ~x3460 ~x3461 ~x3462 ~x3463 ~x3464 ~x3465 ~x3466 ~x3467 ~x3468 ~x3469 ~x3470 ~x3471 ~x3472 ~x3473 ~x3474 ~x3475 ~x3476 ~x3477 ~x3478 ~x3479 ~x3480 ~x3481 ~x3482 ~x3483 ~x3484 ~x3485 ~x3486 ~x3487 ~x3488 ~x3489 ~x3490 ~x3491 ~x3492 ~x3493 ~x3494 ~x3495 ~x3496 x3497 ~x3498 ~x3499 ~x3500 ~x3501 ~x3502 ~x3503 ~x3504 ~x3505 ~x3506 ~x3507 ~x3508 ~x3509 ~x3510 ~x3511 ~x3512 ~x3513 ~x3514 ~x3515 ~x3516 ~x3517 ~x3518 ~x3519 ~x3520 ~x3521 ~x3522 ~x3523 ~x3524 ~x3525 ~x3526 ~x3527 ~x3528 ~x3529 ~x3530 ~x3531 ~x3532 x3533 ~x3534 ~x3535 ~x3536 ~x3537 ~x3538 ~x3539 ~x3540 ~x3541 ~x3542 ~x3543 ~x3544 ~x3545 ~x3546 ~x3547 ~x3548 ~x3549 ~x3550 ~x3551 ~x3552 ~x3553 ~x3554 ~x3555 ~x3556 ~x3557 ~x3558 ~x3559 ~x3560 ~x3561 ~x3562 ~x3563 ~x3564 ~x3565 ~x3566 ~x3567 ~x3568 ~x3569 ~x3570 ~x3571 ~x3572 ~x3573 ~x3574 ~x3575 ~x3576 ~x3577 ~x3578 ~x3579 ~x3580 ~x3581 ~x3582 ~x3583 ~x3584 ~x3585 ~x3586 ~x3587 ~x3588 ~x3589 ~x3590 ~x3591 ~x3592 ~x3593 ~x3594 ~x3595 ~x3596 ~x3597 ~x3598 ~x3599 ~x3600 ~x3601 ~x3602 ~x3603 ~x3604 ~x3605 ~x3606 ~x3607 ~x3608 ~x3609 ~x3610 ~x3611 ~x3612 ~x3613 ~x3614 ~x3615 ~x3616 ~x3617 ~x3618 ~x3619 ~x3620 ~x3621 ~x3622 ~x3623 ~x3624 ~x3625 ~x3626 ~x3627 ~x3628 ~x3629 ~x3630 ~x3631 ~x3632 ~x3633 ~x3634 ~x3635 ~x3636 x3637 ~x3638 ~x3639 ~x3640 ~x3641 ~x3642 ~x3643 ~x3644 ~x3645 ~x3646 ~x3647 ~x3648 ~x3649 ~x3650 ~x3651 ~x3652 ~x3653 ~x3654 ~x3655 ~x3656 ~x3657 ~x3658 ~x3659 ~x3660 ~x3661 ~x3662 ~x3663 ~x3664 ~x3665 ~x3666 ~x3667 ~x3668 ~x3669 ~x3670 ~x3671 ~x3672 ~x3673 ~x3674 ~x3675 ~x3676 ~x3677 ~x3678 ~x3679 ~x3680 ~x3681 ~x3682 ~x3683 ~x3684 ~x3685 ~x3686 ~x3687 ~x3688 ~x3689 ~x3690 ~x3691 ~x3692 ~x3693 ~x3694 ~x3695 ~x3696 ~x3697 ~x3698 ~x3699 ~x3700 ~x3701 ~x3702 ~x3703 ~x3704 ~x3705 ~x3706 ~x3707 ~x3708 ~x3709 x3710 ~x3711 ~x3712 ~x3713 ~x3714 ~x3715 ~x3716 ~x3717 ~x3718 ~x3719 ~x3720 ~x3721 ~x3722 ~x3723 ~x3724 ~x3725 ~x3726 ~x3727 ~x3728 ~x3729 ~x3730 ~x3731 ~x3732 ~x3733 ~x3734 ~x3735 ~x3736 ~x3737 ~x3738 ~x3739 ~x3740 ~x3741 ~x3742 ~x3743 ~x3744 ~x3745 ~x3746 ~x3747 ~x3748 ~x3749 ~x3750 ~x3751 ~x3752 ~x3753 ~x3754 ~x3755 ~x3756 ~x3757 ~x3758 ~x3759 ~x3760 ~x3761 ~x3762 ~x3763 ~x3764 ~x3765 ~x3766 ~x3767 ~x3768 ~x3769 ~x3770 ~x3771 ~x3772 ~x3773 ~x3774 ~x3775 ~x3776 x3777 ~x3778 ~x3779 ~x3780 ~x3781 ~x3782 ~x3783 ~x3784 ~x3785 ~x3786 ~x3787 ~x3788 ~x3789 ~x3790 ~x3791 ~x3792 ~x3793 ~x3794 ~x3795 ~x3796 ~x3797 ~x3798 ~x3799 ~x3800 ~x3801 ~x3802 ~x3803 ~x3804 ~x3805 ~x3806 ~x3807 ~x3808 ~x3809 ~x3810 ~x3811 ~x3812 x3813 ~x3814 ~x3815 ~x3816 ~x3817 ~x3818 ~x3819 ~x3820 ~x3821 ~x3822 ~x3823 ~x3824 ~x3825 ~x3826 ~x3827 ~x3828 ~x3829 ~x3830 ~x3831 ~x3832 ~x3833 ~x3834 ~x3835 ~x3836 ~x3837 ~x3838 ~x3839 ~x3840 ~x3841 ~x3842 ~x3843 ~x3844 ~x3845 ~x3846 ~x3847 ~x3848 ~x3849 ~x3850 ~x3851 ~x3852 ~x3853 ~x3854 ~x3855 ~x3856 ~x3857 ~x3858 ~x3859 ~x3860 ~x3861 ~x3862 ~x3863 ~x3864 ~x3865 ~x3866 ~x3867 ~x3868 ~x3869 ~x3870 ~x3871 ~x3872 ~x3873 ~x3874 ~x3875 ~x3876 ~x3877 ~x3878 ~x3879 ~x3880 ~x3881 ~x3882 x3883 ~x3884 ~x3885 ~x3886 ~x3887 ~x3888 ~x3889 ~x3890 ~x3891 ~x3892 ~x3893 ~x3894 ~x3895 ~x3896 ~x3897 ~x3898 ~x3899 ~x3900 ~x3901 ~x3902 ~x3903 ~x3904 ~x3905 ~x3906 ~x3907 ~x3908 ~x3909 ~x3910 ~x3911 ~x3912 ~x3913 ~x3914 ~x3915 ~x3916 ~x3917 ~x3918 ~x3919 ~x3920 ~x3921 ~x3922 ~x3923 ~x3924 ~x3925 ~x3926 ~x3927 ~x3928 ~x3929 ~x3930 ~x3931 ~x3932 ~x3933 ~x3934 ~x3935 ~x3936 ~x3937 ~x3938 ~x3939 ~x3940 ~x3941 ~x3942 ~x3943 ~x3944 ~x3945 ~x3946 ~x3947 ~x3948 ~x3949 ~x3950 ~x3951 ~x3952 x3953 ~x3954 ~x3955 ~x3956 ~x3957 ~x3958 ~x3959 ~x3960 ~x3961 ~x3962 ~x3963 ~x3964 ~x3965 ~x3966 ~x3967 ~x3968 ~x3969 ~x3970 ~x3971 ~x3972 ~x3973 ~x3974 ~x3975 ~x3976 ~x3977 ~x3978 ~x3979 ~x3980 ~x3981 ~x3982 ~x3983 ~x3984 ~x3985 ~x3986 ~x3987 ~x3988 ~x3989 ~x3990 ~x3991 ~x3992 ~x3993 ~x3994 ~x3995 ~x3996 ~x3997 ~x3998 ~x3999 ~x4000 ~x4001 ~x4002 ~x4003 ~x4004 ~x4005 ~x4006 ~x4007 ~x4008 ~x4009 ~x4010 ~x4011 ~x4012 ~x4013 ~x4014 ~x4015 ~x4016 ~x4017 ~x4018 ~x4019 ~x4020 ~x4021 ~x4022 ~x4023 ~x4024 ~x4025 ~x4026 ~x4027 ~x4028 ~x4029 ~x4030 ~x4031 ~x4032 ~x4033 ~x4034 ~x4035 ~x4036 ~x4037 ~x4038 ~x4039 ~x4040 ~x4041 ~x4042 ~x4043 ~x4044 ~x4045 ~x4046 ~x4047 ~x4048 ~x4049 ~x4050 ~x4051 ~x4052 ~x4053 ~x4054 ~x4055 ~x4056 ~x4057 ~x4058 ~x4059 x4060 ~x4061 ~x4062 ~x4063 ~x4064 ~x4065 ~x4066 ~x4067 ~x4068 ~x4069 ~x4070 ~x4071 ~x4072 ~x4073 ~x4074 ~x4075 ~x4076 ~x4077 ~x4078 ~x4079 ~x4080 ~x4081 ~x4082 ~x4083 ~x4084 ~x4085 ~x4086 ~x4087 ~x4088 ~x4089 ~x4090 ~x4091 ~x4092 x4093 ~x4094 ~x4095 ~x4096 ~x4097 ~x4098 ~x4099 ~x4100 ~x4101 ~x4102 ~x4103 ~x4104 ~x4105 ~x4106 ~x4107 ~x4108 ~x4109 ~x4110 ~x4111 ~x4112 ~x4113 ~x4114 ~x4115 ~x4116 ~x4117 ~x4118 ~x4119 ~x4120 ~x4121 ~x4122 ~x4123 ~x4124 ~x4125 ~x4126 ~x4127 ~x4128 ~x4129 ~x4130 ~x4131 ~x4132 ~x4133 ~x4134 ~x4135 ~x4136 ~x4137 ~x4138 ~x4139 ~x4140 ~x4141 ~x4142 ~x4143 ~x4144 ~x4145 ~x4146 ~x4147 ~x4148 ~x4149 ~x4150 ~x4151 ~x4152 ~x4153 ~x4154 ~x4155 ~x4156 ~x4157 ~x4158 ~x4159 ~x4160 ~x4161 ~x4162 ~x4163 ~x4164 ~x4165 ~x4166 ~x4167 ~x4168 ~x4169 ~x4170 ~x4171 ~x4172 ~x4173 ~x4174 ~x4175 ~x4176 ~x4177 ~x4178 ~x4179 ~x4180 ~x4181 ~x4182 ~x4183 ~x4184 ~x4185 ~x4186 ~x4187 ~x4188 ~x4189 ~x4190 ~x4191 ~x4192 ~x4193 ~x4194 ~x4195 ~x4196 x4197 ~x4198 ~x4199 ~x4200 ~x4201 ~x4202 ~x4203 ~x4204 ~x4205 ~x4206 ~x4207 ~x4208 ~x4209 ~x4210 ~x4211 ~x4212 ~x4213 ~x4214 ~x4215 ~x4216 ~x4217 ~x4218 ~x4219 ~x4220 ~x4221 ~x4222 ~x4223 ~x4224 ~x4225 ~x4226 ~x4227 ~x4228 ~x4229 ~x4230 ~x4231 ~x4232 ~x4233 ~x4234 ~x4235 ~x4236 ~x4237 ~x4238 ~x4239 ~x4240 ~x4241 ~x4242 ~x4243 ~x4244 ~x4245 ~x4246 ~x4247 ~x4248 ~x4249 ~x4250 ~x4251 ~x4252 ~x4253 ~x4254 ~x4255 ~x4256 ~x4257 ~x4258 ~x4259 ~x4260 ~x4261 ~x4262 ~x4263 ~x4264 ~x4265 ~x4266 x4267 ~x4268 ~x4269 ~x4270 ~x4271 ~x4272 ~x4273 ~x4274 ~x4275 ~x4276 ~x4277 ~x4278 ~x4279 ~x4280 ~x4281 ~x4282 ~x4283 ~x4284 ~x4285 ~x4286 ~x4287 ~x4288 ~x4289 ~x4290 ~x4291 ~x4292 ~x4293 ~x4294 ~x4295 ~x4296 ~x4297 ~x4298 ~x4299 ~x4300 ~x4301 ~x4302 ~x4303 ~x4304 ~x4305 ~x4306 ~x4307 ~x4308 ~x4309 ~x4310 ~x4311 ~x4312 ~x4313 ~x4314 ~x4315 ~x4316 ~x4317 ~x4318 ~x4319 ~x4320 ~x4321 ~x4322 ~x4323 ~x4324 ~x4325 ~x4326 ~x4327 ~x4328 ~x4329 ~x4330 ~x4331 ~x4332 ~x4333 ~x4334 ~x4335 ~x4336 x4337 ~x4338 ~x4339 ~x4340 ~x4341 ~x4342 ~x4343 ~x4344 ~x4345 ~x4346 ~x4347 ~x4348 ~x4349 ~x4350 ~x4351 ~x4352 ~x4353 ~x4354 ~x4355 ~x4356 ~x4357 ~x4358 ~x4359 ~x4360 ~x4361 ~x4362 ~x4363 ~x4364 ~x4365 ~x4366 ~x4367 ~x4368 ~x4369 ~x4370 ~x4371 ~x4372 x4373 ~x4374 ~x4375 ~x4376 ~x4377 ~x4378 ~x4379 ~x4380 ~x4381 ~x4382 ~x4383 ~x4384 ~x4385 ~x4386 ~x4387 ~x4388 ~x4389 ~x4390 ~x4391 ~x4392 ~x4393 ~x4394 ~x4395 ~x4396 ~x4397 ~x4398 ~x4399 ~x4400 ~x4401 ~x4402 ~x4403 ~x4404 ~x4405 ~x4406 ~x4407 ~x4408 ~x4409 ~x4410 ~x4411 ~x4412 x4413 x4414 ~x4415 ~x4416 ~x4417 ~x4418 ~x4419 ~x4420 x4421 ~x4422 ~x4423 ~x4424 ~x4425 ~x4426 ~x4427 ~x4428 x4429 ~x4430 ~x4431 ~x4432 x4433 ~x4434 ~x4435 ~x4436 ~x4437 x4438 ~x4439 ~x4440 ~x4441 x4442 ~x4443 x4444 ~x4445 x4446 ~x4447 ~x4448 ~x4449 x4450 x4451 ~x4452 x4453 x4454 x4455 ~x4456 ~x4457 x4458 ~x4459 ~x4460 ~x4461 x4462 ~x4463 x4464 ~x4465 x4466 ~x4467 x4468 ~x4469 ~x4470 ~x4471 ~x4472 x4473 x4474 x4475 ~x4476 ~x4477 ~x4478 ~x4479 ~x4480 ~x4481 ~x4482 ~x4483 ~x4484 ~x4485 ~x4486 ~x4487 ~x4488 ~x4489 ~x4490 ~x4491 ~x4492 ~x4493 ~x4494 ~x4495 ~x4496 ~x4497 ~x4498 ~x4499 ~x4500 ~x4501 ~x4502 ~x4503 ~x4504 ~x4505 ~x4506 ~x4507 ~x4508 ~x4509 ~x4510 ~x4511 ~x4512 x4513 ~x4514 ~x4515 ~x4516 ~x4517 ~x4518 ~x4519 ~x4520 ~x4521 ~x4522 ~x4523 ~x4524 ~x4525 ~x4526 ~x4527 ~x4528 ~x4529 ~x4530 ~x4531 ~x4532 ~x4533 ~x4534 ~x4535 ~x4536 ~x4537 ~x4538 ~x4539 ~x4540 ~x4541 ~x4542 ~x4543 ~x4544 ~x4545 ~x4546 ~x4547 ~x4548 ~x4549 ~x4550 ~x4551 ~x4552 ~x4553 ~x4554 ~x4555 ~x4556 ~x4557 ~x4558 ~x4559 ~x4560 ~x4561 ~x4562 ~x4563 ~x4564 ~x4565 ~x4566 ~x4567 ~x4568 ~x4569 ~x4570 ~x4571 ~x4572 ~x4573 ~x4574 ~x4575 ~x4576 ~x4577 ~x4578 ~x4579 ~x4580 ~x4581 ~x4582 x4583 ~x4584 ~x4585 ~x4586 ~x4587 ~x4588 ~x4589 ~x4590 ~x4591 ~x4592 ~x4593 ~x4594 ~x4595 ~x4596 ~x4597 ~x4598 ~x4599 ~x4600 ~x4601 ~x4602 ~x4603 ~x4604 ~x4605 ~x4606 ~x4607 ~x4608 ~x4609 ~x4610 ~x4611 ~x4612 ~x4613 ~x4614 ~x4615 ~x4616 ~x4617 ~x4618 ~x4619 ~x4620 ~x4621 ~x4622 ~x4623 ~x4624 ~x4625 ~x4626 ~x4627 ~x4628 ~x4629 ~x4630 ~x4631 ~x4632 ~x4633 ~x4634 ~x4635 ~x4636 ~x4637 ~x4638 ~x4639 ~x4640 ~x4641 ~x4642 ~x4643 ~x4644 ~x4645 ~x4646 ~x4647 ~x4648 ~x4649 ~x4650 ~x4651 ~x4652 ~x4653 ~x4654 ~x4655 ~x4656 ~x4657 ~x4658 ~x4659 ~x4660 ~x4661 ~x4662 ~x4663 ~x4664 ~x4665 ~x4666 ~x4667 ~x4668 ~x4669 ~x4670 ~x4671 ~x4672 ~x4673 ~x4674 ~x4675 ~x4676 ~x4677 ~x4678 ~x4679 ~x4680 ~x4681 ~x4682 ~x4683 ~x4684 ~x4685 ~x4686 ~x4687 ~x4688 ~x4689 x4690 x4691 ~x4692 ~x4693 ~x4694 ~x4695 x4696 x4697 x4698 ~x4699 x4700 ~x4701 x4702 ~x4703 ~x4704 ~x4705 x4706 x4707 x4708 ~x4709 ~x4710 x4711 x4712 ~x4713 ~x4714 ~x4715 x4716 x4717 ~x4718 ~x4719 ~x4720 x4721 ~x4722 ~x4723 ~x4724 ~x4725 ~x4726 ~x4727 x4728 x4729 ~x4730 ~x4731 x4732 ~x4733 ~x4734 ~x4735 ~x4736 x4737 ~x4738 x4739 ~x4740 x4741 ~x4742 ~x4743 ~x4744 ~x4745 ~x4746 x4747 ~x4748 ~x4749 ~x4750 x4751 ~x4752 ~x4753 ~x4754 ~x4755 ~x4756 ~x4757 ~x4758 ~x4759 ~x4760 ~x4761 ~x4762 ~x4763 ~x4764 ~x4765 ~x4766 ~x4767 ~x4768 ~x4769 ~x4770 ~x4771 ~x4772 ~x4773 ~x4774 ~x4775 ~x4776 ~x4777 ~x4778 ~x4779 ~x4780 ~x4781 ~x4782 ~x4783 ~x4784 ~x4785 ~x4786 ~x4787 ~x4788 ~x4789 ~x4790 ~x4791 ~x4792 ~x4793 ~x4794 ~x4795 ~x4796 ~x4797 ~x4798 ~x4799 ~x4800 ~x4801 ~x4802 ~x4803 ~x4804 ~x4805 ~x4806 ~x4807 ~x4808 ~x4809 ~x4810 ~x4811 ~x4812 ~x4813 ~x4814 ~x4815 ~x4816 ~x4817 ~x4818 ~x4819 ~x4820 ~x4821 ~x4822 ~x4823 ~x4824 ~x4825 ~x4826 ~x4827 ~x4828 ~x4829 x4830 ~x4831 ~x4832 ~x4833 ~x4834 ~x4835 ~x4836 ~x4837 ~x4838 ~x4839 ~x4840 ~x4841 ~x4842 ~x4843 ~x4844 ~x4845 ~x4846 ~x4847 ~x4848 ~x4849 ~x4850 ~x4851 ~x4852 ~x4853 ~x4854 ~x4855 ~x4856 ~x4857 ~x4858 ~x4859 ~x4860 ~x4861 ~x4862 ~x4863 ~x4864 ~x4865 ~x4866 ~x4867 ~x4868 ~x4869 ~x4870 ~x4871 ~x4872 ~x4873 ~x4874 ~x4875 ~x4876 ~x4877 ~x4878 ~x4879 ~x4880 ~x4881 ~x4882 ~x4883 ~x4884 ~x4885 ~x4886 ~x4887 ~x4888 ~x4889 ~x4890 ~x4891 ~x4892 ~x4893 ~x4894 ~x4895 ~x4896 ~x4897 ~x4898 ~x4899 x4900 ~x4901 ~x4902 ~x4903 ~x4904 ~x4905 ~x4906 ~x4907 ~x4908 ~x4909 ~x4910 ~x4911 ~x4912 ~x4913 ~x4914 ~x4915 ~x4916 ~x4917 ~x4918 ~x4919 ~x4920 ~x4921 ~x4922 ~x4923 ~x4924 ~x4925 ~x4926 ~x4927 ~x4928 ~x4929 ~x4930 ~x4931 ~x4932 x4933 ~x4934 ~x4935 ~x4936 ~x4937 ~x4938 ~x4939 ~x4940 ~x4941 ~x4942 ~x4943 ~x4944 ~x4945 ~x4946 ~x4947 ~x4948 ~x4949 ~x4950 ~x4951 ~x4952 ~x4953 ~x4954 ~x4955 ~x4956 ~x4957 ~x4958 ~x4959 ~x4960 ~x4961 ~x4962 ~x4963 ~x4964 ~x4965 ~x4966 ~x4967 ~x4968 ~x4969 ~x4970 ~x4971 ~x4972 ~x4973 ~x4974 ~x4975 ~x4976 ~x4977 ~x4978 ~x4979 ~x4980 ~x4981 ~x4982 ~x4983 ~x4984 ~x4985 ~x4986 ~x4987 ~x4988 ~x4989 ~x4990 ~x4991 ~x4992 ~x4993 ~x4994 ~x4995 ~x4996 ~x4997 ~x4998 ~x4999 ~x5000 ~x5001 ~x5002 x5003 ~x5004 ~x5005 ~x5006 ~x5007 ~x5008 ~x5009 ~x5010 ~x5011 ~x5012 ~x5013 ~x5014 ~x5015 ~x5016 ~x5017 ~x5018 ~x5019 ~x5020 ~x5021 ~x5022 ~x5023 ~x5024 ~x5025 ~x5026 ~x5027 ~x5028 ~x5029 ~x5030 ~x5031 ~x5032 ~x5033 ~x5034 ~x5035 ~x5036 x5037 ~x5038 ~x5039 x5040 ~x5041 ~x5042 ~x5043 ~x5044 ~x5045 ~x5046 ~x5047 ~x5048 ~x5049 ~x5050 ~x5051 ~x5052 ~x5053 ~x5054 ~x5055 ~x5056 ~x5057 ~x5058 ~x5059 ~x5060 ~x5061 ~x5062 ~x5063 ~x5064 ~x5065 ~x5066 ~x5067 ~x5068 ~x5069 ~x5070 ~x5071 ~x5072 ~x5073 ~x5074 ~x5075 ~x5076 ~x5077 ~x5078 ~x5079 ~x5080 ~x5081 ~x5082 ~x5083 ~x5084 ~x5085 ~x5086 ~x5087 ~x5088 ~x5089 ~x5090 ~x5091 ~x5092 ~x5093 ~x5094 ~x5095 ~x5096 ~x5097 ~x5098 ~x5099 ~x5100 ~x5101 ~x5102 ~x5103 ~x5104 ~x5105 ~x5106 ~x5107 ~x5108 ~x5109 ~x5110 ~x5111 ~x5112 ~x5113 ~x5114 ~x5115 ~x5116 ~x5117 ~x5118 ~x5119 ~x5120 ~x5121 ~x5122 ~x5123 ~x5124 ~x5125 ~x5126 ~x5127 ~x5128 ~x5129 ~x5130 ~x5131 ~x5132 ~x5133 ~x5134 ~x5135 ~x5136 ~x5137 ~x5138 ~x5139 ~x5140 ~x5141 ~x5142 ~x5143 ~x5144 ~x5145 ~x5146 ~x5147 ~x5148 ~x5149 ~x5150 ~x5151 ~x5152 ~x5153 ~x5154 ~x5155 ~x5156 ~x5157 ~x5158 ~x5159 ~x5160 ~x5161 ~x5162 ~x5163 ~x5164 ~x5165 ~x5166 ~x5167 ~x5168 ~x5169 ~x5170 ~x5171 ~x5172 ~x5173 ~x5174 ~x5175 ~x5176 ~x5177 ~x5178 ~x5179 ~x5180 ~x5181 ~x5182 ~x5183 ~x5184 ~x5185 ~x5186 ~x5187 ~x5188 ~x5189 ~x5190 ~x5191 ~x5192 ~x5193 ~x5194 ~x5195 ~x5196 ~x5197 ~x5198 ~x5199 ~x5200 ~x5201 ~x5202 ~x5203 ~x5204 ~x5205 ~x5206 ~x5207 ~x5208 ~x5209 ~x5210 ~x5211 ~x5212 ~x5213 ~x5214 ~x5215 ~x5216 ~x5217 ~x5218 ~x5219 ~x5220 ~x5221 ~x5222 ~x5223 ~x5224 ~x5225 ~x5226 ~x5227 ~x5228 ~x5229 ~x5230 ~x5231 ~x5232 ~x5233 ~x5234 ~x5235 ~x5236 ~x5237 ~x5238 ~x5239 ~x5240 ~x5241 ~x5242 ~x5243 ~x5244 ~x5245 ~x5246 ~x5247 ~x5248 ~x5249 ~x5250 ~x5251 ~x5252 ~x5253 ~x5254 ~x5255 ~x5256 ~x5257 ~x5258 ~x5259 ~x5260 ~x5261 ~x5262 ~x5263 ~x5264 ~x5265 ~x5266 ~x5267 ~x5268 ~x5269 ~x5270 ~x5271 ~x5272 ~x5273 ~x5274 ~x5275 ~x5276 ~x5277 ~x5278 ~x5279 ~x5280 ~x5281 ~x5282 ~x5283 ~x5284 ~x5285 ~x5286 ~x5287 ~x5288 ~x5289 ~x5290 ~x5291 ~x5292 ~x5293 ~x5294 ~x5295 ~x5296 ~x5297 ~x5298 ~x5299 ~x5300 ~x5301 ~x5302 ~x5303 ~x5304 ~x5305 ~x5306 ~x5307 ~x5308 ~x5309 ~x5310 ~x5311 ~x5312 ~x5313 ~x5314 ~x5315 ~x5316 ~x5317 ~x5318 ~x5319 ~x5320 ~x5321 ~x5322 ~x5323 ~x5324 ~x5325 ~x5326 ~x5327 ~x5328 ~x5329 ~x5330 ~x5331 ~x5332 ~x5333 ~x5334 ~x5335 ~x5336 ~x5337 ~x5338 ~x5339 ~x5340 ~x5341 ~x5342 ~x5343 ~x5344 ~x5345 ~x5346 ~x5347 ~x5348 ~x5349 ~x5350 ~x5351 ~x5352 ~x5353 ~x5354 ~x5355 ~x5356 ~x5357 ~x5358 ~x5359 ~x5360 ~x5361 ~x5362 ~x5363 ~x5364 ~x5365 ~x5366 ~x5367 ~x5368 ~x5369 ~x5370 ~x5371 ~x5372 ~x5373 ~x5374 ~x5375 ~x5376 ~x5377 ~x5378 ~x5379 ~x5380 ~x5381 ~x5382 ~x5383 ~x5384 ~x5385 ~x5386 ~x5387 ~x5388 ~x5389 ~x5390 ~x5391 ~x5392 ~x5393 ~x5394 ~x5395 ~x5396 ~x5397 ~x5398 ~x5399 ~x5400 ~x5401 ~x5402 ~x5403 ~x5404 ~x5405 ~x5406 ~x5407 ~x5408 ~x5409 ~x5410 ~x5411 ~x5412 ~x5413 ~x5414 ~x5415 ~x5416 ~x5417 ~x5418 ~x5419 ~x5420 ~x5421 ~x5422 ~x5423 ~x5424 ~x5425 ~x5426 ~x5427 ~x5428 ~x5429 ~x5430 ~x5431 ~x5432 ~x5433 ~x5434 ~x5435 ~x5436 ~x5437 ~x5438 ~x5439 ~x5440 ~x5441 ~x5442 ~x5443 ~x5444 ~x5445 ~x5446 ~x5447 ~x5448 ~x5449 ~x5450 ~x5451 ~x5452 ~x5453 ~x5454 ~x5455 ~x5456 ~x5457 ~x5458 ~x5459 ~x5460 ~x5461 ~x5462 ~x5463 ~x5464 ~x5465 ~x5466 ~x5467 ~x5468 ~x5469 ~x5470 ~x5471 ~x5472 ~x5473 ~x5474 ~x5475 ~x5476 ~x5477 ~x5478 ~x5479 ~x5480 ~x5481 ~x5482 ~x5483 ~x5484 ~x5485 ~x5486 ~x5487 ~x5488 ~x5489 ~x5490 ~x5491 ~x5492 ~x5493 ~x5494 ~x5495 ~x5496 ~x5497 ~x5498 ~x5499 ~x5500 ~x5501 ~x5502 ~x5503 ~x5504 ~x5505 ~x5506 ~x5507 ~x5508 ~x5509 ~x5510 ~x5511 ~x5512 ~x5513 ~x5514 ~x5515 ~x5516 ~x5517 ~x5518 ~x5519 ~x5520 ~x5521 ~x5522 ~x5523 ~x5524 ~x5525 ~x5526 ~x5527 ~x5528 ~x5529 ~x5530 ~x5531 ~x5532 ~x5533 ~x5534 ~x5535 ~x5536 ~x5537 ~x5538 ~x5539 ~x5540 ~x5541 ~x5542 ~x5543 ~x5544 ~x5545 ~x5546 ~x5547 ~x5548 ~x5549 ~x5550 ~x5551 ~x5552 ~x5553 ~x5554 ~x5555 ~x5556 ~x5557 ~x5558 ~x5559 ~x5560 ~x5561 ~x5562 ~x5563 ~x5564 ~x5565 ~x5566 ~x5567 ~x5568 ~x5569 ~x5570 ~x5571 ~x5572 ~x5573 ~x5574 ~x5575 ~x5576 ~x5577 ~x5578 ~x5579 ~x5580 ~x5581 ~x5582 ~x5583 ~x5584 ~x5585 ~x5586 ~x5587 ~x5588 ~x5589 ~x5590 ~x5591 ~x5592 ~x5593 ~x5594 ~x5595 ~x5596 ~x5597 ~x5598 ~x5599 ~x5600 ~x5601 ~x5602 ~x5603 ~x5604 ~x5605 ~x5606 ~x5607 ~x5608 ~x5609 ~x5610 ~x5611 ~x5612 ~x5613 ~x5614 ~x5615 ~x5616 ~x5617 ~x5618 ~x5619 ~x5620 ~x5621 ~x5622 ~x5623 ~x5624 ~x5625 ~x5626 ~x5627 ~x5628 ~x5629 ~x5630 ~x5631 ~x5632 ~x5633 ~x5634 ~x5635 ~x5636 ~x5637 ~x5638 ~x5639 ~x5640 ~x5641 ~x5642 ~x5643 ~x5644 ~x5645 ~x5646 ~x5647 ~x5648 ~x5649 ~x5650 ~x5651 ~x5652 ~x5653 ~x5654 ~x5655 ~x5656 ~x5657 ~x5658 ~x5659 ~x5660 ~x5661 ~x5662 ~x5663 ~x5664 ~x5665 ~x5666 ~x5667 ~x5668 ~x5669 ~x5670 ~x5671 ~x5672 ~x5673 ~x5674 ~x5675 ~x5676 ~x5677 ~x5678 ~x5679 ~x5680 ~x5681 ~x5682 ~x5683 ~x5684 ~x5685 ~x5686 ~x5687 ~x5688 ~x5689 ~x5690 ~x5691 ~x5692 ~x5693 ~x5694 ~x5695 ~x5696 ~x5697 ~x5698 ~x5699 ~x5700 ~x5701 ~x5702 ~x5703 ~x5704 ~x5705 ~x5706 ~x5707 ~x5708 ~x5709 ~x5710 ~x5711 ~x5712 ~x5713 ~x5714 ~x5715 ~x5716 ~x5717 ~x5718 ~x5719 ~x5720 ~x5721 ~x5722 ~x5723 ~x5724 ~x5725 ~x5726 ~x5727 ~x5728 ~x5729 ~x5730 ~x5731 ~x5732 ~x5733 ~x5734 ~x5735 ~x5736 ~x5737 ~x5738 ~x5739 ~x5740 ~x5741 ~x5742 ~x5743 ~x5744 ~x5745 ~x5746 ~x5747 ~x5748 ~x5749 ~x5750 ~x5751 ~x5752 ~x5753 ~x5754 ~x5755 ~x5756 ~x5757 ~x5758 ~x5759 ~x5760 ~x5761 ~x5762 ~x5763 ~x5764 ~x5765 ~x5766 ~x5767 ~x5768 ~x5769 ~x5770 ~x5771 ~x5772 ~x5773 ~x5774 ~x5775 ~x5776 ~x5777 ~x5778 ~x5779 ~x5780 ~x5781 ~x5782 ~x5783 ~x5784 ~x5785 ~x5786 ~x5787 ~x5788 ~x5789 ~x5790 ~x5791 ~x5792 ~x5793 ~x5794 ~x5795 ~x5796 ~x5797 ~x5798 ~x5799 ~x5800 ~x5801 ~x5802 ~x5803 ~x5804 ~x5805 ~x5806 ~x5807 ~x5808 ~x5809 ~x5810 ~x5811 ~x5812 ~x5813 ~x5814 ~x5815 ~x5816 ~x5817 ~x5818 ~x5819 ~x5820 ~x5821 ~x5822 ~x5823 ~x5824 ~x5825 ~x5826 ~x5827 ~x5828 ~x5829 ~x5830 ~x5831 ~x5832 ~x5833 ~x5834 ~x5835 ~x5836 ~x5837 ~x5838 ~x5839 ~x5840 ~x5841 ~x5842 ~x5843 ~x5844 ~x5845 ~x5846 ~x5847 ~x5848 ~x5849 ~x5850 ~x5851 ~x5852 ~x5853 ~x5854 ~x5855 ~x5856 ~x5857 ~x5858 ~x5859 ~x5860 ~x5861 ~x5862 ~x5863 ~x5864 ~x5865 ~x5866 ~x5867 ~x5868 ~x5869 ~x5870 ~x5871 ~x5872 ~x5873 ~x5874 ~x5875 ~x5876 ~x5877 ~x5878 ~x5879 ~x5880 ~x5881 ~x5882 ~x5883 ~x5884 ~x5885 ~x5886 ~x5887 ~x5888 ~x5889 ~x5890 ~x5891 ~x5892 ~x5893 ~x5894 ~x5895 ~x5896 ~x5897 ~x5898 ~x5899 ~x5900 ~x5901 ~x5902 ~x5903 ~x5904 ~x5905 ~x5906 ~x5907 ~x5908 ~x5909 ~x5910 ~x5911 ~x5912 ~x5913 ~x5914 ~x5915 ~x5916 ~x5917 ~x5918 ~x5919 ~x5920 ~x5921 ~x5922 ~x5923 ~x5924 ~x5925 ~x5926 ~x5927 ~x5928 ~x5929 ~x5930 ~x5931 ~x5932 ~x5933 ~x5934 ~x5935 ~x5936 ~x5937 ~x5938 ~x5939 ~x5940 ~x5941 ~x5942 ~x5943 ~x5944 ~x5945 ~x5946 ~x5947 ~x5948 ~x5949 ~x5950 ~x5951 ~x5952 ~x5953 ~x5954 ~x5955 ~x5956 ~x5957 ~x5958 ~x5959 ~x5960 ~x5961 ~x5962 ~x5963 ~x5964 ~x5965 ~x5966 ~x5967 ~x5968 ~x5969 ~x5970 ~x5971 ~x5972 ~x5973 ~x5974 ~x5975 ~x5976 ~x5977 ~x5978 ~x5979 ~x5980 ~x5981 ~x5982 ~x5983 ~x5984 ~x5985 ~x5986 ~x5987 ~x5988 ~x5989 ~x5990 ~x5991 ~x5992 ~x5993 ~x5994 ~x5995 ~x5996 ~x5997 ~x5998 ~x5999 ~x6000 ~x6001 ~x6002 ~x6003 ~x6004 ~x6005 ~x6006 ~x6007 ~x6008 ~x6009 ~x6010 ~x6011 ~x6012 ~x6013 ~x6014 ~x6015 ~x6016 ~x6017 ~x6018 ~x6019 ~x6020 ~x6021 ~x6022 ~x6023 ~x6024 ~x6025 ~x6026 ~x6027 ~x6028 ~x6029 ~x6030 ~x6031 ~x6032 ~x6033 ~x6034 ~x6035 ~x6036 ~x6037 ~x6038 ~x6039 ~x6040 ~x6041 ~x6042 ~x6043 ~x6044 ~x6045 ~x6046 ~x6047 ~x6048 ~x6049 ~x6050 ~x6051 ~x6052 ~x6053 ~x6054 ~x6055 ~x6056 ~x6057 ~x6058 ~x6059 ~x6060 ~x6061 ~x6062 ~x6063 ~x6064 ~x6065 ~x6066 ~x6067 ~x6068 ~x6069 ~x6070 ~x6071 ~x6072 ~x6073 ~x6074 ~x6075 ~x6076 ~x6077 ~x6078 ~x6079 ~x6080 ~x6081 ~x6082 ~x6083 ~x6084 ~x6085 ~x6086 ~x6087 ~x6088 ~x6089 ~x6090 ~x6091 ~x6092 ~x6093 ~x6094 ~x6095 ~x6096 ~x6097 ~x6098 ~x6099 ~x6100 ~x6101 ~x6102 ~x6103 ~x6104 ~x6105 ~x6106 ~x6107 ~x6108 ~x6109 ~x6110 ~x6111 ~x6112 ~x6113 ~x6114 ~x6115 ~x6116 ~x6117 ~x6118 ~x6119 ~x6120 ~x6121 ~x6122 ~x6123 ~x6124 ~x6125 ~x6126 ~x6127 ~x6128 ~x6129 ~x6130 ~x6131 ~x6132 ~x6133 ~x6134 ~x6135 ~x6136 ~x6137 ~x6138 ~x6139 ~x6140 ~x6141 ~x6142 ~x6143 ~x6144 ~x6145 ~x6146 ~x6147 ~x6148 ~x6149 ~x6150 ~x6151 ~x6152 ~x6153 ~x6154 ~x6155 ~x6156 ~x6157 ~x6158 ~x6159 ~x6160 ~x6161 ~x6162 ~x6163 ~x6164 ~x6165 ~x6166 ~x6167 ~x6168 ~x6169 ~x6170 ~x6171 ~x6172 ~x6173 ~x6174 ~x6175 ~x6176 ~x6177 ~x6178 ~x6179 ~x6180 ~x6181 ~x6182 ~x6183 ~x6184 ~x6185 ~x6186 ~x6187 ~x6188 ~x6189 ~x6190 ~x6191 ~x6192 ~x6193 ~x6194 ~x6195 ~x6196 ~x6197 ~x6198 ~x6199 ~x6200 ~x6201 ~x6202 ~x6203 ~x6204 ~x6205 ~x6206 ~x6207 ~x6208 ~x6209 ~x6210 ~x6211 ~x6212 ~x6213 ~x6214 ~x6215 ~x6216 ~x6217 ~x6218 ~x6219 ~x6220 ~x6221 ~x6222 ~x6223 ~x6224 ~x6225 ~x6226 ~x6227 ~x6228 ~x6229 ~x6230 ~x6231 ~x6232 ~x6233 ~x6234 ~x6235 ~x6236 ~x6237 ~x6238 ~x6239 ~x6240 ~x6241 ~x6242 ~x6243 ~x6244 ~x6245 ~x6246 ~x6247 ~x6248 ~x6249 ~x6250 ~x6251 ~x6252 ~x6253 ~x6254 ~x6255 ~x6256 ~x6257 ~x6258 ~x6259 ~x6260 ~x6261 ~x6262 ~x6263 ~x6264 ~x6265 ~x6266 ~x6267 ~x6268 ~x6269 ~x6270 ~x6271 ~x6272 ~x6273 ~x6274 ~x6275 ~x6276 ~x6277 ~x6278 ~x6279 ~x6280 ~x6281 ~x6282 ~x6283 ~x6284 ~x6285 ~x6286 ~x6287 ~x6288 ~x6289 ~x6290 ~x6291 ~x6292 ~x6293 ~x6294 ~x6295 ~x6296 ~x6297 ~x6298 ~x6299 ~x6300 ~x6301 ~x6302 ~x6303 ~x6304 ~x6305 ~x6306 ~x6307 ~x6308 ~x6309 ~x6310 ~x6311 ~x6312 ~x6313 ~x6314 ~x6315 ~x6316 ~x6317 ~x6318 ~x6319 ~x6320 ~x6321 ~x6322 ~x6323 ~x6324 ~x6325 ~x6326 ~x6327 ~x6328 ~x6329 ~x6330 ~x6331 ~x6332 ~x6333 ~x6334 ~x6335 ~x6336 ~x6337 ~x6338 ~x6339 ~x6340 ~x6341 ~x6342 ~x6343 ~x6344 ~x6345 ~x6346 ~x6347 ~x6348 ~x6349 ~x6350 ~x6351 ~x6352 ~x6353 ~x6354 ~x6355 ~x6356 ~x6357 ~x6358 ~x6359 ~x6360 ~x6361 ~x6362 ~x6363 ~x6364 ~x6365 ~x6366 ~x6367 ~x6368 ~x6369 ~x6370 ~x6371 ~x6372 ~x6373 ~x6374 ~x6375 ~x6376 ~x6377 ~x6378 ~x6379 ~x6380 ~x6381 ~x6382 ~x6383 ~x6384 ~x6385 ~x6386 ~x6387 ~x6388 ~x6389 ~x6390 ~x6391 ~x6392 ~x6393 ~x6394 ~x6395 ~x6396 ~x6397 ~x6398 ~x6399 ~x6400 ~x6401 ~x6402 ~x6403 ~x6404 ~x6405 ~x6406 ~x6407 ~x6408 ~x6409 ~x6410 ~x6411 ~x6412 ~x6413 ~x6414 ~x6415 ~x6416 ~x6417 ~x6418 ~x6419 ~x6420 ~x6421 ~x6422 ~x6423 ~x6424 ~x6425 ~x6426 ~x6427 ~x6428 ~x6429 ~x6430 ~x6431 ~x6432 ~x6433 ~x6434 ~x6435 ~x6436 ~x6437 ~x6438 ~x6439 ~x6440 ~x6441 ~x6442 ~x6443 ~x6444 ~x6445 ~x6446 ~x6447 ~x6448 ~x6449 ~x6450 ~x6451 ~x6452 ~x6453 ~x6454 ~x6455 ~x6456 ~x6457 ~x6458 ~x6459 ~x6460 ~x6461 ~x6462 ~x6463 ~x6464 ~x6465 ~x6466 ~x6467 ~x6468 ~x6469 ~x6470 ~x6471 ~x6472 ~x6473 ~x6474 ~x6475 ~x6476 ~x6477 ~x6478 ~x6479 ~x6480 ~x6481 ~x6482 ~x6483 ~x6484 ~x6485 ~x6486 ~x6487 ~x6488 ~x6489 ~x6490 ~x6491 ~x6492 ~x6493 ~x6494 ~x6495 ~x6496 ~x6497 ~x6498 ~x6499 ~x6500 ~x6501 ~x6502 ~x6503 ~x6504 ~x6505 ~x6506 ~x6507 ~x6508 ~x6509 ~x6510 ~x6511 ~x6512 ~x6513 ~x6514 ~x6515 ~x6516 ~x6517 ~x6518 ~x6519 ~x6520 ~x6521 ~x6522 ~x6523 ~x6524 ~x6525 ~x6526 ~x6527 ~x6528 ~x6529 ~x6530 ~x6531 ~x6532 ~x6533 ~x6534 ~x6535 ~x6536 ~x6537 ~x6538 ~x6539 ~x6540 ~x6541 ~x6542 ~x6543 ~x6544 ~x6545 ~x6546 ~x6547 ~x6548 ~x6549 ~x6550 ~x6551 ~x6552 ~x6553 ~x6554 ~x6555 ~x6556 ~x6557 ~x6558 ~x6559 ~x6560 ~x6561 ~x6562 ~x6563 ~x6564 ~x6565 ~x6566 ~x6567 ~x6568 ~x6569 ~x6570 ~x6571 ~x6572 ~x6573 ~x6574 ~x6575 ~x6576 ~x6577 ~x6578 ~x6579 ~x6580 ~x6581 ~x6582 ~x6583 ~x6584 ~x6585 ~x6586 ~x6587 ~x6588 ~x6589 ~x6590 ~x6591 ~x6592 ~x6593 ~x6594 ~x6595 ~x6596 ~x6597 ~x6598 ~x6599 ~x6600 ~x6601 ~x6602 ~x6603 ~x6604 ~x6605 ~x6606 ~x6607 ~x6608 ~x6609 ~x6610 ~x6611 ~x6612 ~x6613 ~x6614 ~x6615 ~x6616 ~x6617 ~x6618 ~x6619 ~x6620 ~x6621 ~x6622 ~x6623 ~x6624 ~x6625 ~x6626 ~x6627 ~x6628 ~x6629 ~x6630 ~x6631 ~x6632 ~x6633 ~x6634 ~x6635 ~x6636 ~x6637 ~x6638 ~x6639 ~x6640 ~x6641 ~x6642 ~x6643 ~x6644 ~x6645 ~x6646 ~x6647 ~x6648 ~x6649 ~x6650 ~x6651 ~x6652 ~x6653 ~x6654 ~x6655 ~x6656 ~x6657 ~x6658 ~x6659 ~x6660 ~x6661 ~x6662 ~x6663 ~x6664 ~x6665 ~x6666 ~x6667 ~x6668 ~x6669 ~x6670 ~x6671 ~x6672 ~x6673 ~x6674 ~x6675 ~x6676 ~x6677 ~x6678 ~x6679 ~x6680 ~x6681 ~x6682 ~x6683 ~x6684 ~x6685 ~x6686 ~x6687 ~x6688 ~x6689 ~x6690 ~x6691 ~x6692 ~x6693 ~x6694 ~x6695 ~x6696 ~x6697 ~x6698 ~x6699 ~x6700 ~x6701 ~x6702 ~x6703 ~x6704 ~x6705 ~x6706 ~x6707 ~x6708 ~x6709 ~x6710 ~x6711 ~x6712 ~x6713 ~x6714 ~x6715 ~x6716 ~x6717 ~x6718 ~x6719 ~x6720 ~x6721 ~x6722 ~x6723 ~x6724 ~x6725 ~x6726 ~x6727 ~x6728 ~x6729 ~x6730 ~x6731 ~x6732 ~x6733 ~x6734 ~x6735 ~x6736 ~x6737 ~x6738 ~x6739 ~x6740 ~x6741 ~x6742 ~x6743 ~x6744 ~x6745 ~x6746 ~x6747 ~x6748 ~x6749 ~x6750 ~x6751 ~x6752 ~x6753 ~x6754 ~x6755 ~x6756 ~x6757 ~x6758 ~x6759 ~x6760 ~x6761 ~x6762 ~x6763 ~x6764 ~x6765 ~x6766 ~x6767 ~x6768 ~x6769 ~x6770 ~x6771 ~x6772 ~x6773 ~x6774 ~x6775 ~x6776 ~x6777 ~x6778 ~x6779 ~x6780 ~x6781 ~x6782 ~x6783 ~x6784 ~x6785 ~x6786 ~x6787 ~x6788 ~x6789 ~x6790 ~x6791 ~x6792 ~x6793 ~x6794 ~x6795 ~x6796 ~x6797 ~x6798 ~x6799 ~x6800 ~x6801 ~x6802 ~x6803 ~x6804 ~x6805 ~x6806 ~x6807 ~x6808 ~x6809 ~x6810 ~x6811 ~x6812 ~x6813 ~x6814 ~x6815 ~x6816 ~x6817 ~x6818 ~x6819 ~x6820 ~x6821 ~x6822 ~x6823 ~x6824 ~x6825 ~x6826 ~x6827 ~x6828 ~x6829 ~x6830 ~x6831 ~x6832 ~x6833 ~x6834 ~x6835 x6836 ~x6837 ~x6838 ~x6839 ~x6840 ~x6841 ~x6842 ~x6843 ~x6844 ~x6845 ~x6846 ~x6847 ~x6848 ~x6849 ~x6850 ~x6851 ~x6852 ~x6853 ~x6854 ~x6855 ~x6856 ~x6857 ~x6858 ~x6859 x6860 ~x6861 ~x6862 ~x6863 ~x6864 ~x6865 ~x6866 ~x6867 ~x6868 ~x6869 ~x6870 ~x6871 ~x6872 ~x6873 ~x6874 ~x6875 ~x6876 ~x6877 ~x6878 ~x6879 ~x6880 ~x6881 ~x6882 ~x6883 ~x6884 ~x6885 ~x6886 ~x6887 ~x6888 ~x6889 ~x6890 ~x6891 ~x6892 ~x6893 ~x6894 ~x6895 ~x6896 ~x6897 ~x6898 ~x6899 ~x6900 ~x6901 ~x6902 ~x6903 ~x6904 ~x6905 ~x6906 ~x6907 ~x6908 ~x6909 ~x6910 ~x6911 ~x6912 ~x6913 ~x6914 ~x6915 ~x6916 ~x6917 ~x6918 ~x6919 ~x6920 ~x6921 ~x6922 ~x6923 ~x6924 ~x6925 ~x6926 ~x6927 ~x6928 ~x6929 ~x6930 ~x6931 ~x6932 ~x6933 ~x6934 ~x6935 ~x6936 ~x6937 ~x6938 ~x6939 ~x6940 ~x6941 ~x6942 ~x6943 ~x6944 ~x6945 ~x6946 ~x6947 ~x6948 ~x6949 ~x6950 ~x6951 ~x6952 ~x6953 ~x6954 ~x6955 ~x6956 ~x6957 ~x6958 ~x6959 ~x6960 ~x6961 ~x6962 ~x6963 ~x6964 ~x6965 ~x6966 ~x6967 ~x6968 ~x6969 ~x6970 ~x6971 ~x6972 ~x6973 ~x6974 ~x6975 ~x6976 ~x6977 ~x6978 ~x6979 ~x6980 ~x6981 ~x6982 ~x6983 ~x6984 ~x6985 ~x6986 ~x6987 ~x6988 ~x6989 ~x6990 ~x6991 ~x6992 ~x6993 ~x6994 ~x6995 ~x6996 ~x6997 ~x6998 ~x6999 ~x7000 ~x7001 ~x7002 ~x7003 ~x7004 ~x7005 ~x7006 ~x7007 ~x7008 ~x7009 ~x7010 ~x7011 ~x7012 ~x7013 ~x7014 ~x7015 ~x7016 ~x7017 ~x7018 ~x7019 ~x7020 ~x7021 ~x7022 ~x7023 ~x7024 ~x7025 ~x7026 ~x7027 ~x7028 ~x7029 ~x7030 ~x7031 ~x7032 ~x7033 ~x7034 ~x7035 ~x7036 ~x7037 ~x7038 ~x7039 ~x7040 ~x7041 ~x7042 ~x7043 ~x7044 ~x7045 ~x7046 ~x7047 ~x7048 ~x7049 ~x7050 ~x7051 ~x7052 ~x7053 ~x7054 ~x7055 ~x7056 ~x7057 ~x7058 ~x7059 ~x7060 ~x7061 ~x7062 ~x7063 ~x7064 ~x7065 ~x7066 ~x7067 ~x7068 ~x7069 ~x7070 ~x7071 ~x7072 ~x7073 ~x7074 ~x7075 ~x7076 ~x7077 ~x7078 ~x7079 ~x7080 ~x7081 ~x7082 ~x7083 ~x7084 ~x7085 ~x7086 ~x7087 ~x7088 ~x7089 ~x7090 ~x7091 ~x7092 ~x7093 ~x7094 ~x7095 ~x7096 ~x7097 ~x7098 ~x7099 ~x7100 ~x7101 ~x7102 ~x7103 ~x7104 ~x7105 ~x7106 ~x7107 ~x7108 ~x7109 ~x7110 ~x7111 ~x7112 ~x7113 ~x7114 ~x7115 ~x7116 ~x7117 ~x7118 ~x7119 ~x7120 ~x7121 ~x7122 ~x7123 ~x7124 ~x7125 ~x7126 ~x7127 ~x7128 ~x7129 ~x7130 ~x7131 ~x7132 ~x7133 ~x7134 ~x7135 ~x7136 ~x7137 ~x7138 ~x7139 ~x7140 ~x7141 ~x7142 ~x7143 ~x7144 ~x7145 ~x7146 ~x7147 ~x7148 ~x7149 ~x7150 ~x7151 ~x7152 ~x7153 ~x7154 ~x7155 ~x7156 ~x7157 ~x7158 ~x7159 ~x7160 ~x7161 ~x7162 ~x7163 ~x7164 ~x7165 ~x7166 ~x7167 ~x7168 ~x7169 ~x7170 ~x7171 ~x7172 ~x7173 ~x7174 ~x7175 ~x7176 ~x7177 ~x7178 ~x7179 ~x7180 ~x7181 ~x7182 ~x7183 ~x7184 ~x7185 ~x7186 ~x7187 ~x7188 ~x7189 ~x7190 ~x7191 ~x7192 ~x7193 ~x7194 ~x7195 ~x7196 ~x7197 ~x7198 ~x7199 ~x7200 ~x7201 ~x7202 ~x7203 ~x7204 ~x7205 ~x7206 ~x7207 ~x7208 ~x7209 ~x7210 ~x7211 ~x7212 ~x7213 ~x7214 ~x7215 ~x7216 ~x7217 ~x7218 ~x7219 ~x7220 ~x7221 ~x7222 ~x7223 ~x7224 ~x7225 ~x7226 ~x7227 ~x7228 ~x7229 ~x7230 ~x7231 ~x7232 ~x7233 ~x7234 ~x7235 ~x7236 ~x7237 ~x7238 ~x7239 ~x7240 ~x7241 ~x7242 ~x7243 ~x7244 ~x7245 ~x7246 ~x7247 ~x7248 ~x7249 ~x7250 ~x7251 ~x7252 ~x7253 ~x7254 ~x7255 ~x7256 ~x7257 ~x7258 ~x7259 ~x7260 ~x7261 ~x7262 ~x7263 ~x7264 ~x7265 ~x7266 ~x7267 ~x7268 ~x7269 ~x7270 ~x7271 ~x7272 ~x7273 ~x7274 ~x7275 ~x7276 ~x7277 ~x7278 ~x7279 ~x7280 ~x7281 ~x7282 ~x7283 ~x7284 ~x7285 ~x7286 ~x7287 ~x7288 ~x7289 ~x7290 ~x7291 ~x7292 ~x7293 ~x7294 ~x7295 ~x7296 ~x7297 ~x7298 ~x7299 ~x7300 ~x7301 ~x7302 ~x7303 ~x7304 ~x7305 ~x7306 ~x7307 ~x7308 ~x7309 ~x7310 ~x7311 ~x7312 ~x7313 ~x7314 ~x7315 ~x7316 ~x7317 ~x7318 ~x7319 ~x7320 ~x7321 ~x7322 ~x7323 ~x7324 ~x7325 ~x7326 ~x7327 ~x7328 ~x7329 ~x7330 ~x7331 ~x7332 ~x7333 ~x7334 ~x7335 ~x7336 ~x7337 ~x7338 ~x7339 ~x7340 ~x7341 ~x7342 ~x7343 ~x7344 ~x7345 ~x7346 ~x7347 ~x7348 ~x7349 ~x7350 ~x7351 ~x7352 ~x7353 ~x7354 ~x7355 ~x7356 ~x7357 ~x7358 ~x7359 ~x7360 ~x7361 ~x7362 ~x7363 ~x7364 ~x7365 ~x7366 ~x7367 ~x7368 ~x7369 ~x7370 ~x7371 ~x7372 ~x7373 ~x7374 ~x7375 ~x7376 ~x7377 ~x7378 ~x7379 ~x7380 ~x7381 ~x7382 ~x7383 ~x7384 ~x7385 ~x7386 ~x7387 ~x7388 ~x7389 ~x7390 ~x7391 ~x7392 ~x7393 ~x7394 ~x7395 ~x7396 ~x7397 ~x7398 ~x7399 ~x7400 ~x7401 ~x7402 ~x7403 ~x7404 ~x7405 ~x7406 ~x7407 ~x7408 ~x7409 ~x7410 ~x7411 ~x7412 ~x7413 ~x7414 ~x7415 ~x7416 ~x7417 ~x7418 ~x7419 ~x7420 ~x7421 ~x7422 ~x7423 ~x7424 ~x7425 ~x7426 ~x7427 ~x7428 ~x7429 ~x7430 ~x7431 ~x7432 ~x7433 ~x7434 ~x7435 ~x7436 ~x7437 ~x7438 ~x7439 ~x7440 ~x7441 ~x7442 ~x7443 ~x7444 ~x7445 ~x7446 ~x7447 ~x7448 ~x7449 ~x7450 ~x7451 ~x7452 ~x7453 ~x7454 ~x7455 ~x7456 ~x7457 ~x7458 ~x7459 ~x7460 ~x7461 ~x7462 ~x7463 ~x7464 ~x7465 ~x7466 ~x7467 ~x7468 ~x7469 ~x7470 ~x7471 ~x7472 ~x7473 ~x7474 ~x7475 ~x7476 ~x7477 ~x7478 ~x7479 ~x7480 ~x7481 ~x7482 ~x7483 ~x7484 ~x7485 ~x7486 ~x7487 ~x7488 ~x7489 ~x7490 ~x7491 ~x7492 ~x7493 ~x7494 ~x7495 ~x7496 ~x7497 ~x7498 ~x7499 ~x7500 ~x7501 ~x7502 ~x7503 ~x7504 ~x7505 ~x7506 ~x7507 ~x7508 ~x7509 ~x7510 ~x7511 ~x7512 ~x7513 ~x7514 ~x7515 ~x7516 ~x7517 ~x7518 ~x7519 ~x7520 ~x7521 ~x7522 ~x7523 ~x7524 ~x7525 ~x7526 ~x7527 ~x7528 ~x7529 ~x7530 ~x7531 ~x7532 ~x7533 ~x7534 ~x7535 ~x7536 ~x7537 ~x7538 ~x7539 ~x7540 ~x7541 ~x7542 ~x7543 ~x7544 ~x7545 ~x7546 ~x7547 ~x7548 ~x7549 ~x7550 ~x7551 ~x7552 ~x7553 ~x7554 ~x7555 ~x7556 ~x7557 ~x7558 ~x7559 ~x7560 ~x7561 ~x7562 ~x7563 ~x7564 ~x7565 ~x7566 ~x7567 ~x7568 ~x7569 ~x7570 ~x7571 ~x7572 ~x7573 ~x7574 ~x7575 ~x7576 ~x7577 ~x7578 ~x7579 ~x7580 ~x7581 ~x7582 ~x7583 ~x7584 ~x7585 ~x7586 ~x7587 ~x7588 ~x7589 ~x7590 ~x7591 ~x7592 ~x7593 ~x7594 ~x7595 ~x7596 ~x7597 ~x7598 ~x7599 ~x7600 ~x7601 ~x7602 ~x7603 ~x7604 ~x7605 ~x7606 ~x7607 ~x7608 ~x7609 ~x7610 ~x7611 ~x7612 ~x7613 ~x7614 ~x7615 ~x7616 ~x7617 ~x7618 ~x7619 ~x7620 ~x7621 ~x7622 ~x7623 ~x7624 ~x7625 ~x7626 ~x7627 ~x7628 ~x7629 ~x7630 ~x7631 ~x7632 ~x7633 ~x7634 ~x7635 ~x7636 ~x7637 ~x7638 ~x7639 ~x7640 ~x7641 ~x7642 ~x7643 ~x7644 ~x7645 ~x7646 ~x7647 ~x7648 ~x7649 ~x7650 ~x7651 ~x7652 ~x7653 ~x7654 ~x7655 ~x7656 ~x7657 ~x7658 ~x7659 ~x7660 ~x7661 ~x7662 ~x7663 ~x7664 ~x7665 ~x7666 ~x7667 ~x7668 ~x7669 ~x7670 ~x7671 ~x7672 ~x7673 ~x7674 ~x7675 ~x7676 ~x7677 ~x7678 ~x7679 ~x7680 ~x7681 ~x7682 ~x7683 ~x7684 ~x7685 ~x7686 ~x7687 ~x7688 ~x7689 ~x7690 ~x7691 ~x7692 ~x7693 ~x7694 ~x7695 ~x7696 ~x7697 ~x7698 ~x7699 ~x7700 ~x7701 ~x7702 ~x7703 ~x7704 ~x7705 ~x7706 ~x7707 ~x7708 ~x7709 ~x7710 ~x7711 ~x7712 ~x7713 ~x7714 ~x7715 ~x7716 ~x7717 ~x7718 ~x7719 ~x7720 ~x7721 ~x7722 ~x7723 ~x7724 ~x7725 ~x7726 ~x7727 ~x7728 ~x7729 ~x7730 ~x7731 ~x7732 ~x7733 ~x7734 ~x7735 ~x7736 ~x7737 ~x7738 ~x7739 ~x7740 ~x7741 ~x7742 ~x7743 ~x7744 ~x7745 ~x7746 ~x7747 ~x7748 ~x7749 ~x7750 ~x7751 ~x7752 ~x7753 ~x7754 ~x7755 ~x7756 ~x7757 ~x7758 ~x7759 ~x7760 ~x7761 ~x7762 ~x7763 ~x7764 ~x7765 ~x7766 ~x7767 ~x7768 ~x7769 ~x7770 ~x7771 ~x7772 ~x7773 ~x7774 ~x7775 ~x7776 ~x7777 ~x7778 ~x7779 ~x7780 ~x7781 ~x7782 ~x7783 ~x7784 ~x7785 ~x7786 ~x7787 ~x7788 ~x7789 ~x7790 ~x7791 ~x7792 ~x7793 ~x7794 ~x7795 ~x7796 ~x7797 ~x7798 ~x7799 ~x7800 ~x7801 ~x7802 x7803 ~x7804 ~x7805 ~x7806 ~x7807 ~x7808 ~x7809 ~x7810 ~x7811 ~x7812 ~x7813 ~x7814 ~x7815 ~x7816 ~x7817 ~x7818 ~x7819 ~x7820 ~x7821 ~x7822 ~x7823 ~x7824 ~x7825 ~x7826 ~x7827 ~x7828 ~x7829 ~x7830 ~x7831 ~x7832 ~x7833 ~x7834 ~x7835 ~x7836 x7837 ~x7838 ~x7839 x7840 ~x7841 ~x7842 ~x7843 ~x7844 ~x7845 ~x7846 ~x7847 ~x7848 ~x7849 ~x7850 ~x7851 ~x7852 ~x7853 ~x7854 ~x7855 ~x7856 ~x7857 ~x7858 ~x7859 ~x7860 ~x7861 ~x7862 ~x7863 ~x7864 ~x7865 ~x7866 ~x7867 ~x7868 ~x7869 ~x7870 ~x7871 ~x7872 ~x7873 ~x7874 ~x7875 ~x7876 ~x7877 ~x7878 ~x7879 ~x7880 ~x7881 ~x7882 ~x7883 ~x7884 ~x7885 ~x7886 ~x7887 ~x7888 ~x7889 ~x7890 ~x7891 ~x7892 ~x7893 ~x7894 ~x7895 ~x7896 ~x7897 ~x7898 ~x7899 ~x7900 ~x7901 ~x7902 ~x7903 ~x7904 ~x7905 ~x7906 ~x7907 ~x7908 ~x7909 ~x7910 ~x7911 ~x7912 ~x7913 ~x7914 ~x7915 ~x7916 ~x7917 ~x7918 ~x7919 ~x7920 ~x7921 ~x7922 ~x7923 ~x7924 ~x7925 ~x7926 ~x7927 ~x7928 ~x7929 ~x7930 ~x7931 ~x7932 ~x7933 ~x7934 ~x7935 ~x7936 ~x7937 ~x7938 ~x7939 ~x7940 ~x7941 ~x7942 ~x7943 ~x7944 ~x7945 ~x7946 ~x7947 ~x7948 ~x7949 ~x7950 ~x7951 ~x7952 ~x7953 ~x7954 ~x7955 ~x7956 ~x7957 ~x7958 ~x7959 ~x7960 ~x7961 ~x7962 ~x7963 ~x7964 ~x7965 ~x7966 ~x7967 ~x7968 ~x7969 ~x7970 ~x7971 ~x7972 ~x7973 ~x7974 ~x7975 ~x7976 ~x7977 ~x7978 ~x7979 ~x7980 ~x7981 ~x7982 ~x7983 ~x7984 ~x7985 ~x7986 ~x7987 ~x7988 ~x7989 ~x7990 ~x7991 ~x7992 ~x7993 ~x7994 ~x7995 ~x7996 ~x7997 ~x7998 ~x7999 ~x8000 ~x8001 ~x8002 ~x8003 ~x8004 ~x8005 ~x8006 ~x8007 ~x8008 ~x8009 ~x8010 ~x8011 ~x8012 ~x8013 ~x8014 ~x8015 ~x8016 ~x8017 ~x8018 ~x8019 ~x8020 ~x8021 ~x8022 ~x8023 ~x8024 ~x8025 ~x8026 ~x8027 ~x8028 ~x8029 ~x8030 ~x8031 ~x8032 ~x8033 ~x8034 ~x8035 ~x8036 ~x8037 ~x8038 ~x8039 ~x8040 ~x8041 ~x8042 ~x8043 ~x8044 ~x8045 ~x8046 ~x8047 ~x8048 ~x8049 ~x8050 ~x8051 ~x8052 ~x8053 ~x8054 ~x8055 ~x8056 ~x8057 ~x8058 ~x8059 ~x8060 ~x8061 ~x8062 ~x8063 ~x8064 ~x8065 ~x8066 ~x8067 ~x8068 ~x8069 ~x8070 ~x8071 ~x8072 ~x8073 ~x8074 ~x8075 ~x8076 ~x8077 ~x8078 ~x8079 ~x8080 ~x8081 ~x8082 ~x8083 ~x8084 ~x8085 ~x8086 ~x8087 ~x8088 ~x8089 ~x8090 ~x8091 ~x8092 ~x8093 ~x8094 ~x8095 ~x8096 ~x8097 ~x8098 ~x8099 ~x8100 ~x8101 ~x8102 ~x8103 ~x8104 ~x8105 ~x8106 ~x8107 ~x8108 ~x8109 ~x8110 ~x8111 ~x8112 ~x8113 ~x8114 ~x8115 ~x8116 ~x8117 ~x8118 ~x8119 ~x8120 ~x8121 ~x8122 ~x8123 ~x8124 ~x8125 ~x8126 ~x8127 ~x8128 ~x8129 ~x8130 ~x8131 ~x8132 ~x8133 ~x8134 ~x8135 ~x8136 ~x8137 ~x8138 ~x8139 ~x8140 ~x8141 ~x8142 ~x8143 ~x8144 ~x8145 ~x8146 ~x8147 ~x8148 ~x8149 ~x8150 ~x8151 ~x8152 ~x8153 ~x8154 ~x8155 ~x8156 ~x8157 ~x8158 ~x8159 ~x8160 ~x8161 ~x8162 ~x8163 ~x8164 ~x8165 ~x8166 ~x8167 ~x8168 ~x8169 ~x8170 ~x8171 ~x8172 ~x8173 ~x8174 ~x8175 ~x8176 ~x8177 ~x8178 ~x8179 ~x8180 ~x8181 ~x8182 ~x8183 ~x8184 ~x8185 ~x8186 ~x8187 ~x8188 ~x8189 ~x8190 ~x8191 ~x8192 ~x8193 ~x8194 ~x8195 ~x8196 ~x8197 ~x8198 ~x8199 ~x8200 ~x8201 ~x8202 ~x8203 ~x8204 ~x8205 ~x8206 ~x8207 ~x8208 ~x8209 ~x8210 ~x8211 ~x8212 ~x8213 ~x8214 ~x8215 ~x8216 ~x8217 ~x8218 ~x8219 ~x8220 ~x8221 ~x8222 ~x8223 ~x8224 ~x8225 ~x8226 ~x8227 ~x8228 ~x8229 ~x8230 ~x8231 ~x8232 ~x8233 ~x8234 ~x8235 ~x8236 ~x8237 ~x8238 ~x8239 ~x8240 ~x8241 ~x8242 ~x8243 ~x8244 ~x8245 ~x8246 ~x8247 ~x8248 ~x8249 ~x8250 ~x8251 ~x8252 ~x8253 ~x8254 ~x8255 ~x8256 ~x8257 ~x8258 ~x8259 ~x8260 ~x8261 ~x8262 ~x8263 ~x8264 ~x8265 ~x8266 ~x8267 ~x8268 ~x8269 ~x8270 ~x8271 ~x8272 ~x8273 ~x8274 ~x8275 ~x8276 ~x8277 ~x8278 ~x8279 ~x8280 ~x8281 ~x8282 ~x8283 ~x8284 ~x8285 ~x8286 ~x8287 ~x8288 ~x8289 ~x8290 ~x8291 ~x8292 ~x8293 ~x8294 ~x8295 ~x8296 ~x8297 ~x8298 ~x8299 ~x8300 ~x8301 ~x8302 ~x8303 ~x8304 ~x8305 ~x8306 ~x8307 ~x8308 ~x8309 ~x8310 ~x8311 ~x8312 ~x8313 ~x8314 ~x8315 ~x8316 ~x8317 ~x8318 ~x8319 ~x8320 ~x8321 ~x8322 ~x8323 ~x8324 ~x8325 ~x8326 ~x8327 ~x8328 ~x8329 ~x8330 ~x8331 ~x8332 ~x8333 ~x8334 ~x8335 ~x8336 ~x8337 ~x8338 ~x8339 ~x8340 ~x8341 ~x8342 ~x8343 ~x8344 ~x8345 ~x8346 ~x8347 ~x8348 ~x8349 ~x8350 ~x8351 ~x8352 ~x8353 ~x8354 ~x8355 ~x8356 ~x8357 ~x8358 ~x8359 ~x8360 ~x8361 ~x8362 ~x8363 ~x8364 ~x8365 ~x8366 ~x8367 ~x8368 ~x8369 ~x8370 ~x8371 ~x8372 ~x8373 ~x8374 ~x8375 ~x8376 ~x8377 ~x8378 ~x8379 ~x8380 ~x8381 ~x8382 ~x8383 ~x8384 ~x8385 ~x8386 ~x8387 ~x8388 ~x8389 ~x8390 ~x8391 ~x8392 ~x8393 ~x8394 ~x8395 ~x8396 ~x8397 ~x8398 ~x8399 ~x8400 ~x8401 ~x8402 ~x8403 ~x8404 ~x8405 ~x8406 ~x8407 ~x8408 ~x8409 ~x8410 ~x8411 ~x8412 ~x8413 ~x8414 ~x8415 ~x8416 ~x8417 ~x8418 ~x8419 ~x8420 ~x8421 ~x8422 ~x8423 ~x8424 ~x8425 ~x8426 ~x8427 ~x8428 ~x8429 ~x8430 ~x8431 ~x8432 ~x8433 ~x8434 ~x8435 ~x8436 ~x8437 ~x8438 ~x8439 ~x8440 ~x8441 ~x8442 ~x8443 ~x8444 ~x8445 ~x8446 ~x8447 ~x8448 ~x8449 ~x8450 ~x8451 ~x8452 ~x8453 ~x8454 ~x8455 ~x8456 ~x8457 ~x8458 ~x8459 ~x8460 ~x8461 ~x8462 ~x8463 ~x8464 ~x8465 ~x8466 ~x8467 ~x8468 ~x8469 ~x8470 ~x8471 ~x8472 ~x8473 ~x8474 ~x8475 ~x8476 ~x8477 ~x8478 ~x8479 ~x8480 ~x8481 ~x8482 ~x8483 ~x8484 ~x8485 ~x8486 ~x8487 ~x8488 ~x8489 ~x8490 ~x8491 ~x8492 ~x8493 ~x8494 ~x8495 ~x8496 ~x8497 ~x8498 ~x8499 ~x8500 ~x8501 ~x8502 ~x8503 ~x8504 ~x8505 ~x8506 ~x8507 ~x8508 ~x8509 ~x8510 ~x8511 ~x8512 ~x8513 ~x8514 ~x8515 ~x8516 ~x8517 ~x8518 ~x8519 ~x8520 ~x8521 ~x8522 ~x8523 ~x8524 ~x8525 ~x8526 ~x8527 ~x8528 ~x8529 ~x8530 ~x8531 ~x8532 ~x8533 ~x8534 ~x8535 ~x8536 ~x8537 ~x8538 ~x8539 ~x8540 ~x8541 ~x8542 ~x8543 ~x8544 ~x8545 ~x8546 ~x8547 ~x8548 ~x8549 ~x8550 ~x8551 ~x8552 ~x8553 ~x8554 ~x8555 ~x8556 ~x8557 ~x8558 ~x8559 ~x8560 ~x8561 ~x8562 ~x8563 ~x8564 ~x8565 ~x8566 ~x8567 ~x8568 ~x8569 ~x8570 ~x8571 ~x8572 ~x8573 ~x8574 ~x8575 ~x8576 ~x8577 ~x8578 ~x8579 ~x8580 ~x8581 ~x8582 ~x8583 ~x8584 ~x8585 ~x8586 ~x8587 ~x8588 ~x8589 ~x8590 ~x8591 ~x8592 ~x8593 ~x8594 ~x8595 ~x8596 ~x8597 ~x8598 ~x8599 ~x8600 ~x8601 ~x8602 ~x8603 ~x8604 ~x8605 ~x8606 ~x8607 ~x8608 ~x8609 ~x8610 ~x8611 ~x8612 ~x8613 ~x8614 ~x8615 ~x8616 ~x8617 ~x8618 ~x8619 ~x8620 ~x8621 ~x8622 ~x8623 ~x8624 ~x8625 ~x8626 ~x8627 ~x8628 ~x8629 ~x8630 ~x8631 ~x8632 ~x8633 ~x8634 ~x8635 ~x8636 ~x8637 ~x8638 ~x8639 ~x8640 ~x8641 ~x8642 ~x8643 ~x8644 ~x8645 ~x8646 ~x8647 ~x8648 ~x8649 ~x8650 ~x8651 ~x8652 ~x8653 ~x8654 ~x8655 ~x8656 ~x8657 ~x8658 ~x8659 ~x8660 ~x8661 ~x8662 ~x8663 ~x8664 ~x8665 ~x8666 ~x8667 ~x8668 ~x8669 ~x8670 ~x8671 ~x8672 ~x8673 ~x8674 ~x8675 ~x8676 ~x8677 ~x8678 ~x8679 ~x8680 ~x8681 ~x8682 ~x8683 ~x8684 ~x8685 ~x8686 ~x8687 ~x8688 ~x8689 ~x8690 ~x8691 ~x8692 ~x8693 ~x8694 ~x8695 ~x8696 ~x8697 ~x8698 ~x8699 ~x8700 ~x8701 ~x8702 ~x8703 ~x8704 ~x8705 ~x8706 ~x8707 ~x8708 ~x8709 ~x8710 ~x8711 ~x8712 ~x8713 ~x8714 ~x8715 ~x8716 ~x8717 ~x8718 ~x8719 ~x8720 ~x8721 ~x8722 ~x8723 ~x8724 ~x8725 ~x8726 ~x8727 ~x8728 ~x8729 ~x8730 ~x8731 ~x8732 ~x8733 ~x8734 ~x8735 ~x8736 ~x8737 ~x8738 ~x8739 ~x8740 ~x8741 ~x8742 ~x8743 ~x8744 ~x8745 ~x8746 ~x8747 ~x8748 ~x8749 ~x8750 ~x8751 ~x8752 ~x8753 ~x8754 ~x8755 ~x8756 ~x8757 ~x8758 ~x8759 ~x8760 ~x8761 ~x8762 ~x8763 ~x8764 ~x8765 ~x8766 ~x8767 ~x8768 ~x8769 ~x8770 ~x8771 ~x8772 ~x8773 ~x8774 ~x8775 ~x8776 ~x8777 ~x8778 ~x8779 ~x8780 ~x8781 ~x8782 ~x8783 ~x8784 ~x8785 ~x8786 ~x8787 ~x8788 ~x8789 ~x8790 ~x8791 ~x8792 ~x8793 ~x8794 ~x8795 ~x8796 ~x8797 ~x8798 ~x8799 ~x8800 ~x8801 ~x8802 ~x8803 ~x8804 ~x8805 ~x8806 ~x8807 ~x8808 ~x8809 ~x8810 ~x8811 ~x8812 ~x8813 ~x8814 ~x8815 ~x8816 ~x8817 ~x8818 ~x8819 ~x8820 ~x8821 ~x8822 ~x8823 ~x8824 ~x8825 ~x8826 ~x8827 ~x8828 ~x8829 ~x8830 ~x8831 ~x8832 ~x8833 ~x8834 ~x8835 ~x8836 ~x8837 ~x8838 ~x8839 ~x8840 ~x8841 ~x8842 ~x8843 ~x8844 ~x8845 ~x8846 ~x8847 ~x8848 ~x8849 ~x8850 ~x8851 ~x8852 ~x8853 ~x8854 ~x8855 ~x8856 ~x8857 ~x8858 ~x8859 ~x8860 ~x8861 ~x8862 ~x8863 ~x8864 ~x8865 ~x8866 ~x8867 ~x8868 ~x8869 ~x8870 ~x8871 ~x8872 ~x8873 ~x8874 ~x8875 ~x8876 ~x8877 ~x8878 ~x8879 ~x8880 ~x8881 ~x8882 ~x8883 ~x8884 ~x8885 ~x8886 ~x8887 ~x8888 ~x8889 ~x8890 ~x8891 ~x8892 ~x8893 ~x8894 ~x8895 ~x8896 ~x8897 ~x8898 ~x8899 ~x8900 ~x8901 ~x8902 ~x8903 ~x8904 ~x8905 ~x8906 ~x8907 ~x8908 ~x8909 ~x8910 ~x8911 ~x8912 ~x8913 ~x8914 ~x8915 ~x8916 ~x8917 ~x8918 ~x8919 ~x8920 ~x8921 ~x8922 ~x8923 ~x8924 ~x8925 ~x8926 ~x8927 ~x8928 ~x8929 ~x8930 ~x8931 ~x8932 ~x8933 ~x8934 ~x8935 ~x8936 ~x8937 ~x8938 ~x8939 ~x8940 ~x8941 ~x8942 ~x8943 ~x8944 ~x8945 ~x8946 ~x8947 ~x8948 ~x8949 ~x8950 ~x8951 ~x8952 ~x8953 ~x8954 ~x8955 ~x8956 ~x8957 ~x8958 ~x8959 ~x8960 ~x8961 ~x8962 ~x8963 ~x8964 ~x8965 ~x8966 ~x8967 ~x8968 ~x8969 ~x8970 ~x8971 ~x8972 ~x8973 ~x8974 ~x8975 ~x8976 ~x8977 ~x8978 ~x8979 ~x8980 ~x8981 ~x8982 ~x8983 ~x8984 ~x8985 ~x8986 ~x8987 ~x8988 ~x8989 ~x8990 ~x8991 ~x8992 ~x8993 ~x8994 ~x8995 ~x8996 ~x8997 ~x8998 ~x8999 ~x9000 ~x9001 ~x9002 ~x9003 ~x9004 ~x9005 ~x9006 ~x9007 ~x9008 ~x9009 ~x9010 ~x9011 ~x9012 ~x9013 ~x9014 ~x9015 ~x9016 ~x9017 ~x9018 ~x9019 ~x9020 ~x9021 ~x9022 ~x9023 ~x9024 ~x9025 ~x9026 ~x9027 ~x9028 ~x9029 ~x9030 ~x9031 ~x9032 ~x9033 ~x9034 ~x9035 ~x9036 ~x9037 ~x9038 ~x9039 ~x9040 ~x9041 ~x9042 ~x9043 ~x9044 ~x9045 ~x9046 ~x9047 ~x9048 ~x9049 ~x9050 ~x9051 ~x9052 ~x9053 ~x9054 ~x9055 ~x9056 ~x9057 ~x9058 ~x9059 ~x9060 ~x9061 ~x9062 ~x9063 ~x9064 ~x9065 ~x9066 ~x9067 ~x9068 ~x9069 ~x9070 ~x9071 ~x9072 ~x9073 ~x9074 ~x9075 ~x9076 ~x9077 ~x9078 ~x9079 ~x9080 ~x9081 ~x9082 ~x9083 ~x9084 ~x9085 ~x9086 ~x9087 ~x9088 ~x9089 ~x9090 ~x9091 ~x9092 ~x9093 ~x9094 ~x9095 ~x9096 ~x9097 ~x9098 ~x9099 ~x9100 ~x9101 ~x9102 ~x9103 ~x9104 ~x9105 ~x9106 ~x9107 ~x9108 ~x9109 ~x9110 ~x9111 ~x9112 ~x9113 ~x9114 ~x9115 ~x9116 ~x9117 ~x9118 ~x9119 ~x9120 ~x9121 ~x9122 ~x9123 ~x9124 ~x9125 ~x9126 ~x9127 ~x9128 ~x9129 ~x9130 ~x9131 ~x9132 ~x9133 ~x9134 ~x9135 ~x9136 ~x9137 ~x9138 ~x9139 ~x9140 ~x9141 ~x9142 ~x9143 ~x9144 ~x9145 ~x9146 ~x9147 ~x9148 ~x9149 ~x9150 ~x9151 ~x9152 ~x9153 ~x9154 ~x9155 ~x9156 ~x9157 ~x9158 ~x9159 ~x9160 ~x9161 ~x9162 ~x9163 ~x9164 ~x9165 ~x9166 ~x9167 ~x9168 ~x9169 ~x9170 ~x9171 ~x9172 ~x9173 ~x9174 ~x9175 ~x9176 ~x9177 ~x9178 ~x9179 ~x9180 ~x9181 ~x9182 ~x9183 ~x9184 ~x9185 ~x9186 ~x9187 ~x9188 ~x9189 ~x9190 ~x9191 ~x9192 ~x9193 ~x9194 ~x9195 ~x9196 ~x9197 ~x9198 ~x9199 ~x9200 ~x9201 ~x9202 ~x9203 ~x9204 ~x9205 ~x9206 ~x9207 ~x9208 ~x9209 ~x9210 ~x9211 ~x9212 ~x9213 ~x9214 ~x9215 ~x9216 ~x9217 ~x9218 ~x9219 ~x9220 ~x9221 ~x9222 ~x9223 ~x9224 ~x9225 ~x9226 ~x9227 ~x9228 ~x9229 ~x9230 ~x9231 ~x9232 ~x9233 ~x9234 ~x9235 ~x9236 ~x9237 ~x9238 ~x9239 ~x9240 ~x9241 ~x9242 ~x9243 ~x9244 ~x9245 ~x9246 ~x9247 ~x9248 ~x9249 ~x9250 ~x9251 ~x9252 ~x9253 ~x9254 ~x9255 ~x9256 ~x9257 ~x9258 ~x9259 ~x9260 ~x9261 ~x9262 ~x9263 ~x9264 ~x9265 ~x9266 ~x9267 ~x9268 ~x9269 ~x9270 ~x9271 ~x9272 ~x9273 ~x9274 ~x9275 ~x9276 ~x9277 ~x9278 ~x9279 ~x9280 ~x9281 ~x9282 ~x9283 ~x9284 ~x9285 ~x9286 ~x9287 ~x9288 ~x9289 ~x9290 ~x9291 ~x9292 ~x9293 ~x9294 ~x9295 ~x9296 ~x9297 ~x9298 ~x9299 ~x9300 ~x9301 ~x9302 ~x9303 ~x9304 ~x9305 ~x9306 ~x9307 ~x9308 ~x9309 ~x9310 ~x9311 ~x9312 ~x9313 ~x9314 ~x9315 ~x9316 ~x9317 ~x9318 ~x9319 ~x9320 ~x9321 ~x9322 ~x9323 ~x9324 ~x9325 ~x9326 ~x9327 ~x9328 ~x9329 ~x9330 ~x9331 ~x9332 ~x9333 ~x9334 ~x9335 ~x9336 ~x9337 ~x9338 ~x9339 ~x9340 ~x9341 ~x9342 ~x9343 ~x9344 ~x9345 ~x9346 ~x9347 ~x9348 ~x9349 ~x9350 ~x9351 ~x9352 ~x9353 ~x9354 ~x9355 ~x9356 ~x9357 ~x9358 ~x9359 ~x9360 ~x9361 ~x9362 ~x9363 ~x9364 ~x9365 ~x9366 ~x9367 ~x9368 ~x9369 ~x9370 ~x9371 ~x9372 ~x9373 ~x9374 ~x9375 ~x9376 ~x9377 ~x9378 ~x9379 ~x9380 ~x9381 ~x9382 ~x9383 ~x9384 ~x9385 ~x9386 ~x9387 ~x9388 ~x9389 ~x9390 ~x9391 ~x9392 ~x9393 ~x9394 ~x9395 ~x9396 ~x9397 ~x9398 ~x9399 ~x9400 ~x9401 ~x9402 ~x9403 ~x9404 ~x9405 ~x9406 ~x9407 ~x9408 ~x9409 ~x9410 ~x9411 ~x9412 ~x9413 ~x9414 ~x9415 ~x9416 ~x9417 ~x9418 ~x9419 ~x9420 ~x9421 ~x9422 ~x9423 ~x9424 ~x9425 x9426 ~x9427 ~x9428 ~x9429 ~x9430 ~x9431 ~x9432 ~x9433 ~x9434 ~x9435 ~x9436 ~x9437 ~x9438 ~x9439 ~x9440 ~x9441 ~x9442 ~x9443 ~x9444 ~x9445 ~x9446 ~x9447 ~x9448 ~x9449 x9450 ~x9451 ~x9452 ~x9453 ~x9454 ~x9455 ~x9456 ~x9457 ~x9458 ~x9459 ~x9460 ~x9461 ~x9462 ~x9463 ~x9464 ~x9465 ~x9466 ~x9467 ~x9468 ~x9469 ~x9470 ~x9471 ~x9472 ~x9473 ~x9474 ~x9475 ~x9476 ~x9477 ~x9478 ~x9479 ~x9480 ~x9481 ~x9482 ~x9483 ~x9484 ~x9485 ~x9486 ~x9487 ~x9488 ~x9489 ~x9490 ~x9491 ~x9492 ~x9493 ~x9494 ~x9495 ~x9496 ~x9497 ~x9498 ~x9499 ~x9500 ~x9501 ~x9502 ~x9503 ~x9504 ~x9505 ~x9506 ~x9507 ~x9508 ~x9509 ~x9510 ~x9511 ~x9512 ~x9513 ~x9514 ~x9515 ~x9516 ~x9517 ~x9518 ~x9519 ~x9520 ~x9521 ~x9522 ~x9523 ~x9524 ~x9525 ~x9526 ~x9527 ~x9528 ~x9529 ~x9530 ~x9531 ~x9532 ~x9533 ~x9534 ~x9535 ~x9536 ~x9537 ~x9538 ~x9539 ~x9540 ~x9541 ~x9542 ~x9543 ~x9544 ~x9545 ~x9546 ~x9547 ~x9548 ~x9549 ~x9550 ~x9551 ~x9552 ~x9553 ~x9554 ~x9555 ~x9556 ~x9557 ~x9558 ~x9559 ~x9560 ~x9561 ~x9562 ~x9563 ~x9564 ~x9565 ~x9566 ~x9567 ~x9568 ~x9569 ~x9570 ~x9571 ~x9572 ~x9573 ~x9574 ~x9575 ~x9576 ~x9577 ~x9578 ~x9579 ~x9580 ~x9581 ~x9582 ~x9583 ~x9584 ~x9585 ~x9586 ~x9587 ~x9588 ~x9589 ~x9590 ~x9591 ~x9592 ~x9593 ~x9594 ~x9595 ~x9596 ~x9597 ~x9598 ~x9599 ~x9600 ~x9601 ~x9602 ~x9603 ~x9604 ~x9605 ~x9606 ~x9607 ~x9608 ~x9609 ~x9610 ~x9611 ~x9612 ~x9613 ~x9614 ~x9615 ~x9616 ~x9617 ~x9618 ~x9619 ~x9620 ~x9621 ~x9622 ~x9623 ~x9624 ~x9625 ~x9626 ~x9627 ~x9628 ~x9629 ~x9630 ~x9631 ~x9632 ~x9633 ~x9634 ~x9635 ~x9636 ~x9637 ~x9638 ~x9639 ~x9640 ~x9641 ~x9642 ~x9643 ~x9644 ~x9645 ~x9646 ~x9647 ~x9648 ~x9649 ~x9650 ~x9651 ~x9652 ~x9653 ~x9654 ~x9655 ~x9656 ~x9657 ~x9658 ~x9659 ~x9660 ~x9661 ~x9662 ~x9663 ~x9664 ~x9665 ~x9666 ~x9667 ~x9668 ~x9669 ~x9670 ~x9671 ~x9672 ~x9673 ~x9674 ~x9675 ~x9676 ~x9677 ~x9678 ~x9679 ~x9680 ~x9681 ~x9682 ~x9683 ~x9684 ~x9685 ~x9686 ~x9687 ~x9688 ~x9689 ~x9690 ~x9691 ~x9692 x9693 ~x9694 ~x9695 ~x9696 ~x9697 ~x9698 ~x9699 ~x9700 ~x9701 ~x9702 ~x9703 ~x9704 ~x9705 x9706 ~x9707 ~x9708 ~x9709 ~x9710 ~x9711 ~x9712 ~x9713 ~x9714 ~x9715 ~x9716 ~x9717 ~x9718 ~x9719 ~x9720 ~x9721 ~x9722 ~x9723 ~x9724 ~x9725 ~x9726 x9727 ~x9728 ~x9729 ~x9730 ~x9731 ~x9732 ~x9733 ~x9734 ~x9735 ~x9736 ~x9737 ~x9738 ~x9739 ~x9740 ~x9741 ~x9742 ~x9743 ~x9744 ~x9745 ~x9746 ~x9747 ~x9748 ~x9749 ~x9750 ~x9751 ~x9752 ~x9753 ~x9754 ~x9755 ~x9756 ~x9757 ~x9758 ~x9759 ~x9760 ~x9761 ~x9762 ~x9763 ~x9764 ~x9765 ~x9766 ~x9767 ~x9768 ~x9769 ~x9770 ~x9771 ~x9772 ~x9773 ~x9774 ~x9775 ~x9776 ~x9777 ~x9778 ~x9779 ~x9780 ~x9781 ~x9782 ~x9783 ~x9784 ~x9785 ~x9786 ~x9787 ~x9788 ~x9789 ~x9790 ~x9791 ~x9792 ~x9793 ~x9794 ~x9795 ~x9796 ~x9797 ~x9798 ~x9799 ~x9800 ~x9801 ~x9802 ~x9803 ~x9804 ~x9805 ~x9806 ~x9807 ~x9808 ~x9809 ~x9810 ~x9811 ~x9812 ~x9813 ~x9814 ~x9815 ~x9816 ~x9817 ~x9818 ~x9819 ~x9820 ~x9821 ~x9822 ~x9823 ~x9824 ~x9825 ~x9826 ~x9827 ~x9828 ~x9829 ~x9830 ~x9831 ~x9832 ~x9833 ~x9834 ~x9835 ~x9836 ~x9837 ~x9838 ~x9839 ~x9840 ~x9841 ~x9842 ~x9843 ~x9844 ~x9845 ~x9846 ~x9847 ~x9848 ~x9849 ~x9850 ~x9851 ~x9852 ~x9853 ~x9854 ~x9855 ~x9856 ~x9857 ~x9858 ~x9859 ~x9860 ~x9861 ~x9862 ~x9863 ~x9864 ~x9865 ~x9866 ~x9867 ~x9868 ~x9869 ~x9870 ~x9871 ~x9872 ~x9873 ~x9874 ~x9875 ~x9876 ~x9877 ~x9878 ~x9879 ~x9880 ~x9881 ~x9882 ~x9883 ~x9884 ~x9885 ~x9886 ~x9887 ~x9888 ~x9889 ~x9890 ~x9891 ~x9892 ~x9893 ~x9894 ~x9895 ~x9896 ~x9897 ~x9898 ~x9899 ~x9900 ~x9901 ~x9902 ~x9903 ~x9904 ~x9905 ~x9906 ~x9907 ~x9908 ~x9909 ~x9910 ~x9911 ~x9912 ~x9913 ~x9914 ~x9915 ~x9916 ~x9917 ~x9918 ~x9919 ~x9920 ~x9921 ~x9922 ~x9923 ~x9924 ~x9925 ~x9926 ~x9927 ~x9928 ~x9929 ~x9930 ~x9931 ~x9932 ~x9933 ~x9934 ~x9935 ~x9936 ~x9937 ~x9938 ~x9939 ~x9940
3600.03/3609.30	c #Conflicts:     199000 | #Constraints:      25442
3600.03/3609.30	c #Conflicts:     200000 | #Constraints:      26442

OK	3795485

runsolver version 3.4.2 (svn: 4680) Copyright (C) 2010-2013 Olivier ROUSSEL

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

NUMA information:
  number of nodes: 2
  memory of node 0: 63968 MiB (62807 MiB free)
  memory of node 1: 64473 MiB (60022 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429644-1721051455/watcher-4429644-1721051455 -o /tmp/evaluation-result-4429644-1721051455/solver-4429644-1721051455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721047859-800775 --watchdog 3760 roundingsat --print-sol=1 --time limit=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429644-1721051455.opb 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=803248, runsolver pid=803245

[startup+0.100686 s]*
/proc/loadavg: 4.09 4.12 4.07 5/258 803249
/proc/meminfo: memFree=125755424/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=57308 memory=28292 CPUtime=0.09 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 6624 0 0 0 6 3 0 0 20 0 1 0 157312508 58683392 7073 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 14327 7073 1663 922 0 6279 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 57308 KiB
Current children cumulated memory: 28292 KiB

[startup+0.205738 s]*
/proc/loadavg: 4.09 4.12 4.07 5/258 803249
/proc/meminfo: memFree=125755532/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=57832 memory=28292 CPUtime=0.19 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 6632 0 0 0 16 3 0 0 20 0 1 0 157312508 59219968 7073 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 14458 7073 1663 922 0 6410 0
Current children cumulated CPU time: 0.19 s
Current children cumulated vsize: 57832 KiB
Current children cumulated memory: 28292 KiB

[startup+0.305414 s]*
/proc/loadavg: 4.09 4.12 4.07 5/258 803249
/proc/meminfo: memFree=125755056/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=58612 memory=29176 CPUtime=0.29 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 6727 0 0 0 26 3 0 0 20 0 1 0 157312508 60018688 7294 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 14653 7294 1759 922 0 6605 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 58612 KiB
Current children cumulated memory: 29176 KiB

[startup+0.700158 s]
/proc/loadavg: 4.09 4.12 4.07 5/258 803249
/proc/meminfo: memFree=125754244/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=59432 memory=30232 CPUtime=0.68 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 7037 0 0 0 65 3 0 0 20 0 1 0 157312508 60858368 7558 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 14858 7558 1759 922 0 6810 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 59432 KiB
Current children cumulated memory: 30232 KiB

[startup+1.50016 s]
/proc/loadavg: 4.09 4.12 4.07 5/258 803249
/proc/meminfo: memFree=125752852/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=60688 memory=33456 CPUtime=1.49 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 7276 0 0 0 145 4 0 0 20 0 1 0 157312508 62144512 8364 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 15172 8364 1791 922 0 7124 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 60688 KiB
Current children cumulated memory: 33456 KiB

[startup+3.10548 s]
/proc/loadavg: 4.09 4.12 4.07 5/258 803295
/proc/meminfo: memFree=126199876/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=118788 memory=86584 CPUtime=3.08 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 17464 0 0 0 300 8 0 0 20 0 1 0 157312508 121638912 21646 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 29697 21646 1865 922 0 21649 0
Current children cumulated CPU time: 3.08 s
Current children cumulated vsize: 118788 KiB
Current children cumulated memory: 86584 KiB

[startup+6.30022 s]
/proc/loadavg: 4.08 4.11 4.07 5/258 803342
/proc/meminfo: memFree=126382496/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=205352 memory=154480 CPUtime=6.27 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 27742 0 0 0 613 14 0 0 20 0 1 0 157312508 210280448 38620 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 51338 38620 1865 922 0 43290 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 205352 KiB
Current children cumulated memory: 154480 KiB

[startup+12.7002 s]
/proc/loadavg: 4.08 4.11 4.07 5/257 803342
/proc/meminfo: memFree=126014744/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=310048 memory=241932 CPUtime=12.65 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 41680 0 0 0 1243 22 0 0 20 0 1 0 157312508 317489152 60483 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 77512 60483 1881 922 0 69464 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 310048 KiB
Current children cumulated memory: 241932 KiB

[startup+25.5002 s]
/proc/loadavg: 4.13 4.12 4.07 5/257 803345
/proc/meminfo: memFree=125755392/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=331148 memory=288072 CPUtime=25.42 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 47701 0 0 0 2508 34 0 0 20 0 1 0 157312508 339095552 72018 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 82787 72018 1881 922 0 74739 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 331148 KiB
Current children cumulated memory: 288072 KiB

[startup+51.1056 s]
/proc/loadavg: 4.09 4.11 4.07 5/257 803348
/proc/meminfo: memFree=125249808/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=499324 memory=402620 CPUtime=50.97 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 67334 0 0 0 5044 53 0 0 20 0 1 0 157312508 511307776 100655 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 124831 100655 1881 922 0 116783 0
Current children cumulated CPU time: 50.97 s
Current children cumulated vsize: 499324 KiB
Current children cumulated memory: 402620 KiB

[startup+102.3 s]
/proc/loadavg: 4.08 4.11 4.07 5/257 803357
/proc/meminfo: memFree=124850512/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=586824 memory=547980 CPUtime=102.04 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 89663 0 0 0 10126 78 0 0 20 0 1 0 157312508 600907776 136995 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 146706 136995 1881 922 0 138658 0
Current children cumulated CPU time: 102.04 s
Current children cumulated vsize: 586824 KiB
Current children cumulated memory: 547980 KiB

[startup+162.3 s]
/proc/loadavg: 4.09 4.10 4.07 5/257 803368
/proc/meminfo: memFree=124543296/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=772908 memory=593784 CPUtime=161.89 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 98066 0 0 0 16091 98 0 0 20 0 1 0 157312508 791457792 148446 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 193227 148446 1881 922 0 185179 0
Current children cumulated CPU time: 161.89 s
Current children cumulated vsize: 772908 KiB
Current children cumulated memory: 593784 KiB

[startup+222.3 s]
/proc/loadavg: 4.13 4.11 4.08 5/257 803379
/proc/meminfo: memFree=124329272/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=775404 memory=595896 CPUtime=221.75 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 98655 0 0 0 22053 122 0 0 20 0 1 0 157312508 794013696 148974 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 193851 148974 1881 922 0 185803 0
Current children cumulated CPU time: 221.75 s
Current children cumulated vsize: 775404 KiB
Current children cumulated memory: 595896 KiB

[startup+282.3 s]
/proc/loadavg: 4.16 4.12 4.08 5/256 803773
/proc/meminfo: memFree=123426068/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=850072 memory=664368 CPUtime=281.61 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 113844 0 0 0 28016 145 0 0 20 0 1 0 157312508 870473728 166092 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 212518 166092 1881 922 0 204470 0
Current children cumulated CPU time: 281.61 s
Current children cumulated vsize: 850072 KiB
Current children cumulated memory: 664368 KiB

[startup+342.3 s]
/proc/loadavg: 4.06 4.10 4.08 5/256 803783
/proc/meminfo: memFree=122967904/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=850072 memory=664368 CPUtime=341.45 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 113886 0 0 0 33985 160 0 0 20 0 1 0 157312508 870473728 166092 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 212518 166092 1881 922 0 204470 0
Current children cumulated CPU time: 341.45 s
Current children cumulated vsize: 850072 KiB
Current children cumulated memory: 664368 KiB

[startup+402.3 s]
/proc/loadavg: 4.11 4.11 4.08 5/257 803795
/proc/meminfo: memFree=122453408/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=921136 memory=738564 CPUtime=401.31 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 127354 0 0 0 39952 179 0 0 20 0 1 0 157312508 943243264 184641 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 230284 184641 1881 922 0 222236 0
Current children cumulated CPU time: 401.31 s
Current children cumulated vsize: 921136 KiB
Current children cumulated memory: 738564 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/257 803973
/proc/meminfo: memFree=122183400/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=921136 memory=738816 CPUtime=461.15 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 127373 0 0 0 45928 187 0 0 20 0 1 0 157312508 943243264 184704 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 230284 184704 1881 922 0 222236 0

################
# More data... #
################

Current children cumulated memory: 1316012 KiB

[startup+2922.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/254 805084
/proc/meminfo: memFree=121411532/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1537264 memory=1316012 CPUtime=2914.93 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 223048 0 0 0 290793 700 0 0 20 0 1 0 157312508 1574158336 329003 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 384316 329003 2006 922 0 376268 0
Current children cumulated CPU time: 2914.93 s
Current children cumulated vsize: 1537264 KiB
Current children cumulated memory: 1316012 KiB

[startup+2982.3 s]
/proc/loadavg: 4.04 4.13 4.15 5/256 805099
/proc/meminfo: memFree=121321680/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1537264 memory=1316012 CPUtime=2974.76 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 223500 0 0 0 296759 717 0 0 20 0 1 0 157312508 1574158336 329003 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 384316 329003 2006 922 0 376268 0
Current children cumulated CPU time: 2974.76 s
Current children cumulated vsize: 1537264 KiB
Current children cumulated memory: 1316012 KiB

[startup+3042.3 s]
/proc/loadavg: 4.30 4.21 4.18 5/256 805109
/proc/meminfo: memFree=120540880/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1537264 memory=1316012 CPUtime=3034.59 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 223933 0 0 0 302736 723 0 0 20 0 1 0 157312508 1574158336 329003 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 384316 329003 2006 922 0 376268 0
Current children cumulated CPU time: 3034.59 s
Current children cumulated vsize: 1537264 KiB
Current children cumulated memory: 1316012 KiB

[startup+3102.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/256 805119
/proc/meminfo: memFree=120126500/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1537264 memory=1316016 CPUtime=3094.43 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 224383 0 0 0 308714 729 0 0 20 0 1 0 157312508 1574158336 329004 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 384316 329004 2006 922 0 376268 0
Current children cumulated CPU time: 3094.43 s
Current children cumulated vsize: 1537264 KiB
Current children cumulated memory: 1316016 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.18 5/256 805130
/proc/meminfo: memFree=120037936/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1537264 memory=1316016 CPUtime=3154.25 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 224843 0 0 0 314685 740 0 0 20 0 1 0 157312508 1574158336 329004 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 384316 329004 2006 922 0 376268 0
Current children cumulated CPU time: 3154.25 s
Current children cumulated vsize: 1537264 KiB
Current children cumulated memory: 1316016 KiB

[startup+3222.3 s]
/proc/loadavg: 4.12 4.16 4.17 5/256 805141
/proc/meminfo: memFree=119975648/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1537264 memory=1316088 CPUtime=3214.1 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 225359 0 0 0 320658 752 0 0 20 0 1 0 157312508 1574158336 329022 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 384316 329022 2006 922 0 376268 0
Current children cumulated CPU time: 3214.1 s
Current children cumulated vsize: 1537264 KiB
Current children cumulated memory: 1316088 KiB

[startup+3282.3 s]
/proc/loadavg: 4.09 4.14 4.16 5/254 805151
/proc/meminfo: memFree=119938392/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1551656 memory=1327188 CPUtime=3273.93 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 228766 0 0 0 326620 773 0 0 20 0 1 0 157312508 1588895744 331797 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 387914 331797 2006 922 0 379866 0
Current children cumulated CPU time: 3273.93 s
Current children cumulated vsize: 1551656 KiB
Current children cumulated memory: 1327188 KiB

[startup+3342.3 s]
/proc/loadavg: 4.19 4.16 4.17 5/254 805161
/proc/meminfo: memFree=119927180/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1551656 memory=1327196 CPUtime=3333.76 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 229246 0 0 0 332593 783 0 0 20 0 1 0 157312508 1588895744 331799 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 387914 331799 2006 922 0 379866 0
Current children cumulated CPU time: 3333.76 s
Current children cumulated vsize: 1551656 KiB
Current children cumulated memory: 1327196 KiB

[startup+3402.3 s]
/proc/loadavg: 4.07 4.13 4.16 5/255 805173
/proc/meminfo: memFree=119865672/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1556776 memory=1331112 CPUtime=3393.6 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 230816 0 0 0 338567 793 0 0 20 0 1 0 157312508 1594138624 332778 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 389194 332778 2006 922 0 381146 0
Current children cumulated CPU time: 3393.6 s
Current children cumulated vsize: 1556776 KiB
Current children cumulated memory: 1331112 KiB

[startup+3462.3 s]
/proc/loadavg: 4.14 4.13 4.16 5/255 805183
/proc/meminfo: memFree=119833176/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1574908 memory=1361692 CPUtime=3453.43 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 234831 0 0 0 344530 813 0 0 20 0 1 0 157312508 1612705792 340423 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 393727 340423 2006 922 0 385679 0
Current children cumulated CPU time: 3453.43 s
Current children cumulated vsize: 1574908 KiB
Current children cumulated memory: 1361692 KiB

[startup+3522.3 s]
/proc/loadavg: 4.11 4.12 4.15 5/255 805193
/proc/meminfo: memFree=119827712/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1576788 memory=1364256 CPUtime=3513.27 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 236026 0 0 0 350500 827 0 0 20 0 1 0 157312508 1614630912 341064 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 394197 341064 2006 922 0 386149 0
Current children cumulated CPU time: 3513.27 s
Current children cumulated vsize: 1576788 KiB
Current children cumulated memory: 1364256 KiB

[startup+3582.3 s]
/proc/loadavg: 4.09 4.11 4.15 5/257 805208
/proc/meminfo: memFree=119743092/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1683116 memory=1433984 CPUtime=3573.11 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 253926 0 0 0 356469 842 0 0 20 0 1 0 157312508 1723510784 358496 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 420779 358496 2006 922 0 412731 0
Current children cumulated CPU time: 3573.11 s
Current children cumulated vsize: 1683116 KiB
Current children cumulated memory: 1433984 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3609.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/257 805213
/proc/meminfo: memFree=119739692/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1683116 memory=1434052 CPUtime=3600.03 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 254185 0 0 0 359153 850 0 0 20 0 1 0 157312508 1723510784 358513 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 420779 358513 2006 922 0 412731 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1683116 KiB
Current children cumulated memory: 1434052 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+3609.32 s]
# the end of solver process 803248 was just reported to runsolver
# Child status: 1

# cumulated CPU time of all completed processes:  user=3591.54 s, system=8.51998 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3609.3 s]
/proc/loadavg: 4.06 4.10 4.14 5/257 805213
/proc/meminfo: memFree=119739692/131524600 swapFree=131071996/131071996
[pid=803248] ppid=803245 vsize=1683116 memory=1434052 CPUtime=3600.03 cores=4,6
/proc/803248/stat : 803248 (roundingsat) R 803245 803248 800764 0 -1 4194304 254185 0 0 0 359153 850 0 0 20 0 1 0 157312508 1723510784 358513 134679101440 4194304 7968869 140721238077104 0 0 0 0 0 25182210 0 0 0 17 4 0 0 0 0 0 8652288 8659944 10072064 140721238078398 140721238078562 140721238078562 140721238085577 0
/proc/803248/statm: 420779 358513 2006 922 0 412731 0
Current children cumulated CPU time: 3600.03 s
Current children cumulated vsize: 1683116 KiB
Current children cumulated memory: 1434052 KiB

Child status: 1

Real time (s): 3609.32
CPU time (s): 3600.06
CPU user time (s): 3591.54
CPU system time (s): 8.51998
CPU usage (%): 99.7434
Max. virtual memory (cumulated for all children) (KiB): 1683116
Max. memory (cumulated for all children) (KiB): 1434052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3591.54
system time used= 8.51998
maximum resident set size= 1434052
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 254204
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= 174
involuntary context switches= 2448


# summary of solver processes directly reported to runsolver:
#   pid: 803248
#   total CPU time (s): 3600.06
#   total CPU user time (s): 3591.54
#   total CPU system time (s): 8.51998

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.64607 second user time and 16.2613 second system time

The end

Begin job on nodeC028 at 2024-07-15 15:51:07
IDJOB=4429644
IDBENCH=155624
IDSOLVER=3051
FILE ID=nodeC028/4429644-1721051455
RUNJOBID= nodeC028-1721047859-800775
SLURM_JOB_ID= 7505455
Free space on /tmp= 890048 MiB

SOLVER NAME= RoundingSat nolog
BENCH NAME= PB24/normalized-PB12/OPT-LIN/zahidi/Base/normalized-minisat70_4_22_4.opb
COMMAND LINE= roundingsat --print-sol=1 --'time limit'=TIMEOUT --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4429644-1721051455/watcher-4429644-1721051455 -o /tmp/evaluation-result-4429644-1721051455/solver-4429644-1721051455 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC028-1721047859-800775 --watchdog 3760  roundingsat --print-sol=1 --'time limit'=3600 --vsids-var=0.8 --cg-encoding=reified --cg-resprop=1 HOME/instance-4429644-1721051455.opb

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 9e5b0b67365644613b47988ddf91495e
RANDOM SEED=1041914328

nodeC028.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3678.494
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.090
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3633.729
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.985
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3657.484
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3688.196
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3655.291
cache size	: 15360 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 6999.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 79
model name	: Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping	: 1
microcode	: 0xb00002a
cpu MHz		: 3599.914
cache size	: 15360 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 20
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 pbe syscall nx pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips	: 7005.59
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131524600 kB
MemFree:        125778028 kB
MemAvailable:   126128296 kB
Buffers:          362624 kB
Cached:           829316 kB
SwapCached:            0 kB
Active:           596600 kB
Inactive:        4566108 kB
Active(anon):       1536 kB
Inactive(anon):  4006944 kB
Active(file):     595064 kB
Inactive(file):   559164 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              5980 kB
Writeback:             0 kB
AnonPages:       3967960 kB
Mapped:           113648 kB
Shmem:             37720 kB
KReclaimable:      71728 kB
Slab:             173172 kB
SReclaimable:      71728 kB
SUnreclaim:       101444 kB
KernelStack:        4160 kB
PageTables:        17300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196834296 kB
Committed_AS:    4656276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            59776 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2811904 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      193236 kB
DirectMap2M:    18454528 kB
DirectMap1G:    117440512 kB

Free space on /tmp at the end= 890032 MiB
End job on nodeC028 at 2024-07-15 16:51:17