fond
Model Checking Contest @ Petri Nets 2015
Bruxelles, Belgium, June 23, 2015
Execution of r050kn-ebro-143236503600224
Last Updated
August 19, 2015

About the Execution of Marcie for GlobalResAllocation-COL-06

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
4836.890 3600000.00 3599871.00 119.50 [undef] Time out reached

Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-2265
Executing tool marcie
Input is GlobalResAllocation-COL-06, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r050kn-ebro-143236503600224
=====================================================================


--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-0
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-1
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-10
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-11
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-12
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-13
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-14
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-15
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-2
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-3
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-4
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-5
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-6
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-7
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-8
FORMULA_NAME GlobalResAllocation-COL-06-CTLFireability-9

=== Now, execution of the tool begins

BK_START 1432534425614

Model: GlobalResAllocation-COL-06
reachability algorithm:
Saturation-based algorithm
variable ordering algorithm:
Calculated like in [Noa99]
--memory=6 --suppress --rs-algorithm=3 --place-order=5

Marcie rev. 1429:1432M (built: crohr on 2014-10-22)
A model checker for Generalized Stochastic Petri nets

authors: Alex Tovchigrechko (IDD package and CTL model checking)

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=CTLFireability.xml --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

Unfolding complete |P|=102|T|=136662|A|=1349364
Time for unfolding: 0m11sec

(NrP: 102 NrTr: 136662 NrArc: 1226388)

net check time: 0m0sec

parse formulas successfull
formulas created successfully
place and transition orderings generation:0m55sec

init dd package: 0m5sec


BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

check if there are places and transitions
ok
check if there are transitions without pre-places
ok
check if at least one transition is enabled in m0
ok
check if there are transitions that can never fire
ok


initing FirstDep: 0m10sec

224 268 296 328 344 371 389 395 412 417 424 432 441 456 463 470 475 480 492 499 507 516 524 532 539 546 553 558 563 568 575 575 601 617 617 627 641 641 650 650 660 673 673 681 681 689 689 698 698 708 708 714 714 714 720 720 726 726 726 732 732 732 780 780 780 803 803 815 815 815 824 824 824 832 832 832 837 837 837 849 849 849 855 855 855 862 862 862 867 867 867 872 872 872 876 876 876 879 879 879 884 884 888 888 888 893 893 893 1111 1094 1091 1085 1080 1076 1073 1072 1071 1068 1066 1064 1060 1057 1044 1044 1044 1339 1339 1339 1345 1345 1345 1345 1349 1349 1349 1359 1359 1359 1377 1377 1377 1411 1411 1411 1477 1477 1477 1477 1481 1481 1481 1487 1487 1487 1493 1493 1493 1499 1499 1499 1499 1507 1507 1507 1511 1511 1511 1515 1515 1515 1519 1519 1519 1524 1524 1524 1524 1534 1534 1534 1544 1544 1544 1555 1555 1555 1573 1573 1573 1573 1592 1592 1592 1627 1627 1627 1631 1631 1631 1631 1635 1635 1635 1639 1639 1639 1647 1647 1647 1647 1653 1653 1653 1659 1659 1659 1667 1667 1667 1667 1673 1673 1673 1681 1681 1681 1681 1689 1689 1689 1693 1693 1693 1693 1697 1697 1697 1702 1702 1702 1702 1706 1706 1706 1711 1711 1711 1711 1716 1716 1716 1726 1726 1726 1726 1737 1737 1737 1737 1748 1748 1748 1767 1767 1767 1767 1767 1776 1776 1776 1829 1822 1817 1810 1809 1807 1806 1805 1804 1799 1797 1793 1790 1778 1778 1778 1778 1778 1784 1784 1784 1819 1812 1807 1805 1800 1798 1794 1791 1783 1783 1783 1783 1783 1784 1784 1784 1814 1810 1804 1801 1800 1799 1795 1792 1783 1783 1783 1783 1785 1785 1785 1814 1811 1805 1804 1801 1800 1796 1794 1784 1784 1784 1784 1784 1788 1788 1788 1809 1808 1806 1805 1804 1801 1799 1788 1788 1788 1788 1791 1791 1791 1816 1808 1806 1801 1789 1789 1789 1789 1794 1794 1794 1819 1811 1808 1804 1801 1792 1792 1792 1792 1793 1793 1793 1813 1808 1802 1800 1792 1792 1792 1792 1792 1795 1795 1795 1809 1807 1804 1802 1794 1794 1794 1794 1796 1796 1796 1814 1805 1795 1795 1795 1795 1795 1796 1796 1796 1810 1809 1805 1804 1794 1794 1794 1794 1795 1795 1795 1814 1808 1804 1803 1794 1794 1794 1794 1794 1795 1795 1795 1807 1803 1794 1794 1794 1794 1796 1796 1796 1809 1808 1806 1805 1795 1795 1795 1795 1797 1797 1797 1810 1806 1795 1795 1795 1795 1798 1798 1798 1816 1796 1796 1796 1796 1796 1793 1793 1793 1793 1793 1791 1791 1791 1791 1791 1789 1789 1789 1789 1789 1788 1788 1788 1788 1788 1787 1787 1787 1787 1787 1786 1786 1786 1786 1786 1784 1784 1784 1784 1784 1784 1781 1781 1781 1781 1781 1780 1780 1780 1780 1780 1777 1777 1777 1777 1777 1777 2096 2096 2096 2096 2096 2096 2110 2110 2110 2110 2110 2116 2116 2116 2116 2116 2116 2130 2130 2130 2130 2130 2130 2153 2153 2153 2153 2153 2153 2194 2194 2194 2194 2194 2485 2485 2485 2485 2485 2485 2550 2550 2550 2550 2550 2550 2562 2562 2562 2562 2562 2572 2572 2572 2572 2572 2572 2583 2583 2583 2583 2583 2583 2596 2596 2596 2596 2596 2596 2604 2604 2604 2604 2604 2610 2610 2610 2610 2610 2610 2616 2616 2616 2616 2616 2616 2622 2622 2622 2622 2622 2622 2628 2628 2628 2628 2628 2633 2633 2633 2633 2633 2633 2637 2637 2637 2637 2637 2637 2651 2651 2651 2651 2651 2651 2665 2665 2665 2665 2665 2676 2676 2676 2676 2676 2676 2686 2686 2686 2686 2686 2686 2709 2709 2709 2709 2709 2709 2728 2728 2728 2728 2728 2728 2746 2746 2746 2746 2746 2781 2781 2781 2781 2781 2781 2815 2815 2815 2815 2815 2815 2881 2881 2881 2881 2881 2881 2893 2893 2893 2893 2893 2893 2902 2902 2902 2902 2902 2902 2913 2913 2913 2913 2913 2913 2921 2921 2921 2921 2921 2921 2925 2925 2925 2925 2925 2925 2935 2935 2935 2935 2935 2935 2945 2945 2945 2945 2945 2945 2953 2953 2953 2953 2953 2953 2959 2959 2959 2959 2959 2970 2970 2970 2970 2970 2970 2978 2978 2978 2978 2978 2978 2984 2984 2984 2984 2984 2984 2992 2992 2992 2992 2992 2992 2998 2998 2998 2998 2998 2998 3006 3006 3006 3006 3006 3006 3006 3012 3012 3012 3012 3012 3012 3018 3018 3018 3018 3018 3018 3023 3023 3023 3023 3023 3023 3027 3027 3027 3027 3027 3027 3033 3033 3033 3033 3033 3033 3038 3038 3038 3038 3038 3038 3042 3042 3042 3042 3042 3042 3047 3047 3047 3047 3047 3047 3047 3051 3051 3051 3051 3051 3051 3056 3056 3056 3056 3056 3056 3070 3070 3070 3070 3070 3070 3081 3081 3081 3081 3081 3081 3081 3091 3091 3091 3091 3091 3091 3102 3102 3102 3102 3102 3102 3112 3112 3112 3112 3112 3112 3112 3123 3123 3123 3123 3123 3123 3142 3142 3142 3142 3142 3142 3142 3160 3160 3160 3160 3160 3160 3179 3179 3179 3179 3179 3179 3179 3214 3214 3214 3214 3214 3214 3214 3214 3230 3230 3230 3328 3325 3320 3313 3312 3310 3309 3308 3304 3302 3300 3296 3293 3279 3279 3279 3279 3278 3278 3278 3276 3276 3276 3275 3275 3275 3274 3274 3274 3274 3273 3273 3273 3272 3272 3272 3269 3269 3269 3267 3267 3267 3267 3265 3265 3265 3263 3263 3263 3263 3259 3259 3259 3256 3256 3256 3256 3253 3253 3253 3248 3248 3248 3248 3244 3244 3244 3232 3232 3232 3232 3232 3232 3232 3232 3244 3244 3244 3314 3309 3304 3299 3297 3295 3291 3288 3280 3280 3280 3278 3278 3278 3278 3275 3275 3275 3273 3273 3273 3271 3271 3271 3269 3269 3269 3269 3265 3265 3265 3262 3262 3262 3262 3259 3259 3259 3254 3254 3254 3254 3250 3250 3250 3242 3242 3242 3242 3242 3242 3242 3242 3244 3244 3244 3309 3304 3299 3295 3294 3293 3289 3286 3277 3277 3277 3276 3276 3276 3273 3273 3273 3273 3272 3272 3272 3271 3271 3271 3270 3270 3270 3266 3266 3266 3266 3263 3263 3263 3260 3260 3260 3260 3255 3255 3255 3251 3251 3251 3251 3242 3242 3242 3242 3242 3242 3242 3246 3246 3246 3307 3304 3298 3297 3294 3293 3289 3287 3277 3277 3277 3276 3276 3276 3276 3274 3274 3274 3273 3273 3273 3272 3272 3272 3271 3271 3271 3271 3267 3267 3267 3265 3265 3265 3263 3263 3263 3263 3258 3258 3258 3254 3254 3254 3254 3244 3244 3244 3244 3244 3244 3244 3244 3252 3252 3252 3305 3304 3302 3301 3297 3295 3284 3284 3284 3284 3283 3283 3283 3281 3281 3281 3280 3280 3280 3279 3279 3279 3279 3278 3278 3278 3275 3275 3275 3273 3273 3273 3273 3271 3271 3271 3266 3266 3266 3266 3263 3263 3263 3252 3252 3252 3252 3252 3252 3252 3252 3260 3260 3260 3309 3306 3301 3294 3293 3291 3290 3288 3285 3283 3281 3277 3274 3262 3262 3262 3262 3262 3262 3262 3262 3268 3268 3268 3323 3315 3313 3308 3294 3294 3294 3293 3293 3293 3291 3291 3291 3290 3290 3290 3289 3289 3289 3289 3288 3288 3288 3285 3285 3285 3283 3283 3283 3283 3281 3281 3281 3277 3277 3277 3277 3274 3274 3274 3262 3262 3262 3262 3262 3262 3262 3262 3272 3272 3272 3323 3318 3311 3308 3299 3299 3299 3299 3296 3296 3296 3292 3292 3292 3289 3289 3289 3286 3286 3286 3286 3281 3281 3281 3277 3277 3277 3277 3268 3268 3268 3268 3268 3268 3268 3270 3270 3270 3318 3311 3309 3305 3303 3295 3295 3295 3293 3293 3293 3289 3289 3289 3287 3287 3287 3287 3285 3285 3285 3280 3280 3280 3280 3276 3276 3276 3268 3268 3268 3268 3268 3268 3268 3268 3274 3274 3274 3312 3310 3307 3305 3297 3297 3297 3295 3295 3295 3292 3292 3292 3290 3290 3290 3288 3288 3288 3288 3283 3283 3283 3280 3280 3280 3280 3272 3272 3272 3272 3272 3272 3272 3272 3278 3278 3278 3311 3306 3299 3296 3294 3292 3288 3285 3277 3277 3277 3277 3277 3277 3277 3277 3281 3281 3281 3316 3311 3303 3303 3303 3301 3301 3301 3298 3298 3298 3296 3296 3296 3296 3294 3294 3294 3290 3290 3290 3290 3287 3287 3287 3279 3279 3279 3279 3279 3279 3279 3279 3281 3281 3281 3324 3318 3314 3313 3303 3303 3303 3302 3302 3302 3298 3298 3298 3298 3297 3297 3297 3296 3296 3296 3291 3291 3291 3291 3287 3287 3287 3277 3277 3277 3277 3277 3277 3277 3277 3279 3279 3279 3314 3313 3310 3300 3300 3300 3300 3299 3299 3299 3296 3296 3296 3295 3295 3295 3294 3294 3294 3294 3289 3289 3289 3286 3286 3286 3286 3277 3277 3277 3277 3277 3277 3277 3278 3278 3278 3313 3305 3299 3298 3295 3293 3289 3286 3277 3277 3277 3277 3277 3277 3277 3277 3279 3279 3279 3313 3309 3299 3299 3299 3298 3298 3298 3295 3295 3295 3295 3294 3294 3294 3293 3293 3293 3289 3289 3289 3289 3286 3286 3286 3277 3277 3277 3277 3277 3277 3277 3277 3281 3281 3281 3315 3314 3311 3301 3301 3301 3300 3300 3300 3300 3298 3298 3298 3297 3297 3297 3296 3296 3296 3296 3291 3291 3291 3289 3289 3289 3279 3279 3279 3279 3279 3279 3279 3279 3281 3281 3281 3310 3306 3301 3298 3297 3296 3292 3290 3280 3280 3280 3280 3280 3280 3280 3280 3284 3284 3284 3316 3302 3302 3302 3302 3301 3301 3301 3299 3299 3299 3298 3298 3298 3297 3297 3297 3297 3293 3293 3293 3291 3291 3291 3280 3280 3280 3280 3280 3280 3280 3280 3284 3284 3284 3313 3305 3304 3301 3300 3297 3295 3284 3284 3284 3284 3284 3284 3284 3284 3290 3290 3290 3320 3306 3306 3306 3305 3305 3305 3303 3303 3303 3302 3302 3302 3302 3301 3301 3301 3298 3298 3298 3296 3296 3296 3296 3284 3284 3284 3284 3284 3284 3284 3284 3287 3287 3287 3307 3303 3299 3285 3285 3285 3285 3285 3285 3285 3285 3279 3279 3279 3279 3279 3279 3279 3279 3279 3275 3275 3275 3275 3275 3275 3275 3275 3273 3273 3273 3273 3273 3273 3273 3273 3269 3269 3269 3269 3269 3269 3269 3269 3269 3267 3267 3267 3267 3267 3267 3267 3267 3266 3266 3266 3266 3266 3266 3266 3266 3264 3264 3264 3264 3264 3264 3264 3264 3264 3263 3263 3263 3263 3263 3263 3263 3263 3261 3261 3261 3261 3261 3261 3261 3261 3260 3260 3260 3260 3260 3260 3260 3260 3260 3256 3256 3256 3256 3256 3256 3256 3256 3256 3254 3254 3254 3254 3254 3254 3254 3254 3254 3248 3248 3248 3248 3248 3248 3248 3248 3247 3247 3247 3247 3247 3247 3247 3247 3247 3245 3245 3245 3245 3245 3245 3245 3245 3245 3244 3244 3244 3244 3244 3244 3244 3244 3244 3243 3243 3243 3243 3243 3243 3243 3243 3243 3234 3234 3234 3234 3234 3234 3234 3234 3234 3232 3232 3232 3232 3232 3232 3232 3232 3232 3230 3230 3230 3230 3230 3230 3230 3230 3230 3565 3565 3565 3565 3565 3565 3565 3565 3565 3565 3574 3574 3574 3574 3574 3574 3574 3574 3574 3580 3580 3580 3580 3580 3580 3580 3580 3580 3580 3593 3593 3593 3593 3593 3593 3593 3593 3593 3614 3614 3614 3614 3614 3614 3614 3614 3614 3614 3915 3915 3915 3915 3915 3915 3915 3915 3915 3952 3952 3952 3952 3952 3952 3952 3952 3952 3952 4253 4253 4253 4253 4253 4253 4253 4253 4253 4318 4318 4318 4318 4318 4318 4318 4318 4318 4318 4325 4325 4325 4325 4325 4325 4325 4325 4325 4334 4334 4334 4334 4334 4334 4334 4334 4334 4334 4343 4343 4343 4343 4343 4343 4343 4343 4343 4352 4352 4352 4352 4352 4352 4352 4352 4352 4352 4361 4361 4361 4361 4361 4361 4361 4361 4361 4361 4369 4369 4369 4369 4369 4369 4369 4369 4369 4375 4375 4375 4375 4375 4375 4375 4375 4375 4375 4381 4381 4381 4381 4381 4381 4381 4381 4381 4387 4387 4387 4387 4387 4387 4387 4387 4387 4387 4393 4393 4393 4393 4393 4393 4393 4393 4393 4399 4399 4399 4399 4399 4399 4399 4399 4399 4399 4404 4404 4404 4404 4404 4404 4404 4404 4404 4408 4408 4408 4408 4408 4408 4408 4408 4408 4408 4421 4421 4421 4421 4421 4421 4421 4421 4421 4421 4434 4434 4434 4434 4434 4434 4434 4434 4434 4447 4447 4447 4447 4447 4447 4447 4447 4447 4447 4458 4458 4458 4458 4458 4458 4458 4458 4458 4468 4468 4468 4468 4468 4468 4468 4468 4468 4468 4489 4489 4489 4489 4489 4489 4489 4489 4489 4510 4510 4510 4510 4510 4510 4510 4510 4510 4510 4529 4529 4529 4529 4529 4529 4529 4529 4529 4529 4547 4547 4547 4547 4547 4547 4547 4547 4547 4584 4584 4584 4584 4584 4584 4584 4584 4584 4584 4874 4874 4874 4874 4874 4874 4874 4874 4874 4874 4939 4939 4939 4939 4939 4939 4939 4939 4939 4974 4974 4974 4974 4974 4974 4974 4974 4974 4974 5008 5008 5008 5008 5008 5008 5008 5008 5008 5074 5074 5074 5074 5074 5074 5074 5074 5074 5074 5081 5081 5081 5081 5081 5081 5081 5081 5081 5081 5088 5088 5088 5088 5088 5088 5088 5088 5088 5088 5095 5095 5095 5095 5095 5095 5095 5095 5095 5102 5102 5102 5102 5102 5102 5102 5102 5102 5102 5109 5109 5109 5109 5109 5109 5109 5109 5109 5109 5113 5113 5113 5113 5113 5113 5113 5113 5113 5113 5122 5122 5122 5122 5122 5122 5122 5122 5122 5122 5131 5131 5131 5131 5131 5131 5131 5131 5131 5140 5140 5140 5140 5140 5140 5140 5140 5140 5140 5148 5148 5148 5148 5148 5148 5148 5148 5148 5148 5154 5154 5154 5154 5154 5154 5154 5154 5154 5154 5163 5163 5163 5163 5163 5163 5163 5163 5163 5163 5172 5172 5172 5172 5172 5172 5172 5172 5172 5172 5180 5180 5180 5180 5180 5180 5180 5180 5180 5186 5186 5186 5186 5186 5186 5186 5186 5186 5186 5195 5195 5195 5195 5195 5195 5195 5195 5195 5195 5203 5203 5203 5203 5203 5203 5203 5203 5203 5203 5209 5209 5209 5209 5209 5209 5209 5209 5209 5209 5217 5217 5217 5217 5217 5217 5217 5217 5217 5223 5223 5223 5223 5223 5223 5223 5223 5223 5223 5231 5231 5231 5231 5231 5231 5231 5231 5231 5231 5237 5237 5237 5237 5237 5237 5237 5237 5237 5237 5243 5243 5243 5243 5243 5243 5243 5243 5243 5243 5249 5249 5249 5249 5249 5249 5249 5249 5249 5249 5254 5254 5254 5254 5254 5254 5254 5254 5254 5254 5258 5258 5258 5258 5258 5258 5258 5258 5258 5258 5264 5264 5264 5264 5264 5264 5264 5264 5264 5264 5264 5270 5270 5270 5270 5270 5270 5270 5270 5270 5270 5275 5275 5275 5275 5275 5275 5275 5275 5275 5275 5279 5279 5279 5279 5279 5279 5279 5279 5279 5279 5285 5285 5285 5285 5285 5285 5285 5285 5285 5285 5290 5290 5290 5290 5290 5290 5290 5290 5290 5290 5294 5294 5294 5294 5294 5294 5294 5294 5294 5294 5299 5299 5299 5299 5299 5299 5299 5299 5299 5299 5303 5303 5303 5303 5303 5303 5303 5303 5303 5303 5308 5308 5308 5308 5308 5308 5308 5308 5308 5308 5321 5321 5321 5321 5321 5321 5321 5321 5321 5321 5321 5334 5334 5334 5334 5334 5334 5334 5334 5334 5334 5345 5345 5345 5345 5345 5345 5345 5345 5345 5345 5345 5355 5355 5355 5355 5355 5355 5355 5355 5355 5355 5368 5368 5368 5368 5368 5368 5368 5368 5368 5368 5368 5379 5379 5379 5379 5379 5379 5379 5379 5379 5379 5389 5389 5389 5389 5389 5389 5389 5389 5389 5389 5389 5400 5400 5400 5400 5400 5400 5400 5400 5400 5400 5410 5410 5410 5410 5410 5410 5410 5410 5410 5410 5410 5421 5421 5421 5421 5421 5421 5421 5421 5421 5421 5442 5442 5442 5442 5442 5442 5442 5442 5442 5442 5442 5461 5461 5461 5461 5461 5461 5461 5461 5461 5461 5479 5479 5479 5479 5479 5479 5479 5479 5479 5479 5479 5498 5498 5498 5498 5498 5498 5498 5498 5498 5498 5516 5516 5516 5516 5516 5516 5516 5516 5516 5516 5516 5535 5535 5535 5535 5535 5535 5535 5535 5535 5535 5535 5570 5570 5570 5570 5570 5570 5570 5570 5570 5570 5604 5604 5604 5604 5604 5604 5604 5604 5604 5604 5604 5670 5670 5670 5670 5670 5670 5670 5670 5670 5670 5670 5705 5705 5705 5705 5705 5705 5705 5705 5705 5705 5705 5705 5753 5753 5753 5933 5926 5924 5914 5913 5911 5910 5909 5908 5903 5901 5897 5894 5894 5880 5880 5880 5879 5879 5879 5877 5877 5877 5876 5876 5876 5875 5875 5875 5875 5874 5874 5874 5873 5873 5873 5870 5870 5870 5870 5868 5868 5868 5866 5866 5866 5864 5864 5864 5864 5860 5860 5860 5857 5857 5857 5857 5854 5854 5854 5849 5849 5849 5849 5845 5845 5845 5831 5831 5831 5831 5831 5831 5830 5830 5830 5830 5830 5830 5828 5828 5828 5828 5828 5827 5827 5827 5827 5827 5827 5826 5826 5826 5826 5826 5826 5825 5825 5825 5825 5825 5825 5824 5824 5824 5824 5824 5824 5823 5823 5823 5823 5823 5820 5820 5820 5820 5820 5820 5818 5818 5818 5818 5818 5818 5816 5816 5816 5816 5816 5816 5814 5814 5814 5814 5814 5814 5812 5812 5812 5812 5812 5812 5808 5808 5808 5808 5808 5808 5805 5805 5805 5805 5805 5805 5802 5802 5802 5802 5802 5802 5802 5799 5799 5799 5799 5799 5799 5794 5794 5794 5794 5794 5794 5790 5790 5790 5790 5790 5790 5786 5786 5786 5786 5786 5786 5781 5781 5781 5781 5781 5781 5767 5767 5767 5767 5767 5767 5755 5755 5755 5755 5755 5755 5755 5755 5755 5755 5755 5755 5755 5779 5779 5779 5907 5902 5895 5892 5890 5888 5884 5881 5873 5873 5873 5871 5871 5871 5871 5868 5868 5868 5866 5866 5866 5864 5864 5864 5862 5862 5862 5862 5858 5858 5858 5855 5855 5855 5855 5852 5852 5852 5847 5847 5847 5847 5843 5843 5843 5835 5835 5835 5835 5835 5835 5833 5833 5833 5833 5833 5833 5830 5830 5830 5830 5830 5828 5828 5828 5828 5828 5828 5826 5826 5826 5826 5826 5826 5824 5824 5824 5824 5824 5824 5822 5822 5822 5822 5822 5822 5818 5818 5818 5818 5818 5818 5815 5815 5815 5815 5815 5815 5812 5812 5812 5812 5812 5812 5809 5809 5809 5809 5809 5809 5804 5804 5804 5804 5804 5804 5800 5800 5800 5800 5800 5800 5796 5796 5796 5796 5796 5796 5796 5791 5791 5791 5791 5791 5791 5783 5783 5783 5783 5783 5783 5775 5775 5775 5775 5775 5775 5775 5775 5775 5775 5775 5775 5779 5779 5779 5903 5895 5889 5888 5885 5883 5879 5876 5867 5867 5867 5867 5866 5866 5866 5863 5863 5863 5862 5862 5862 5861 5861 5861 5860 5860 5860 5860 5856 5856 5856 5853 5853 5853 5850 5850 5850 5850 5845 5845 5845 5845 5841 5841 5841 5832 5832 5832 5832 5832 5832 5831 5831 5831 5831 5831 5828 5828 5828 5828 5828 5828 5827 5827 5827 5827 5827 5827 5826 5826 5826 5826 5826 5826 5825 5825 5825 5825 5825 5825 5824 5824 5824 5824 5824 5820 5820 5820 5820 5820 5820 5817 5817 5817 5817 5817 5817 5814 5814 5814 5814 5814 5814 5811 5811 5811 5811 5811 5811 5806 5806 5806 5806 5806 5806 5802 5802 5802 5802 5802 5802 5802 5798 5798 5798 5798 5798 5798 5793 5793 5793 5793 5793 5793 5784 5784 5784 5784 5784 5784 5775 5775 5775 5775 5775 5775 5775 5775 5775 5775 5775 5775 5783 5783 5783 5897 5894 5888 5887 5884 5883 5879 5877 5867 5867 5867 5866 5866 5866 5866 5864 5864 5864 5863 5863 5863 5862 5862 5862 5861 5861 5861 5861 5857 5857 5857 5855 5855 5855 5853 5853 5853 5853 5848 5848 5848 5844 5844 5844 5844 5834 5834 5834 5834 5834 5834 5833 5833 5833 5833 5833 5831 5831 5831 5831 5831 5831 5830 5830 5830 5830 5830 5830 5829 5829 5829 5829 5829 5829 5828 5828 5828 5828 5828 5827 5827 5827 5827 5827 5827 5823 5823 5823 5823 5823 5823 5821 5821 5821 5821 5821 5821 5819 5819 5819 5819 5819 5819 5817 5817 5817 5817 5817 5817 5812 5812 5812 5812 5812 5812 5808 5808 5808 5808 5808 5808 5804 5804 5804 5804 5804 5804 5804 5799 5799 5799 5799 5799 5799 5789 5789 5789 5789 5789 5789 5779 5779 5779 5779 5779 5779 5779 5779 5779 5779 5779 5779 5795 5795 5795 5898 5892 5888 5883 5878 5875 5874 5873 5872 5869 5867 5865 5861 5858 5844 5844 5844 5843 5843 5843 5841 5841 5841 5840 5840 5840 5840 5839 5839 5839 5838 5838 5838 5837 5837 5837 5834 5834 5834 5834 5832 5832 5832 5830 5830 5830 5830 5828 5828 5828 5824 5824 5824 5824 5821 5821 5821 5818 5818 5818 5818 5813 5813 5813 5809 5809 5809 5809 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5813 5813 5813 5920 5919 5917 5916 5915 5912 5910 5899 5899 5899 5898 5898 5898 5896 5896 5896 5895 5895 5895 5895 5894 5894 5894 5893 5893 5893 5890 5890 5890 5888 5888 5888 5888 5886 5886 5886 5881 5881 5881 5881 5878 5878 5878 5867 5867 5867 5867 5867 5867 5866 5866 5866 5866 5866 5866 5864 5864 5864 5864 5864 5864 5863 5863 5863 5863 5863 5862 5862 5862 5862 5862 5862 5861 5861 5861 5861 5861 5861 5860 5860 5860 5860 5860 5860 5857 5857 5857 5857 5857 5857 5855 5855 5855 5855 5855 5855 5853 5853 5853 5853 5853 5853 5851 5851 5851 5851 5851 5851 5846 5846 5846 5846 5846 5846 5843 5843 5843 5843 5843 5843 5840 5840 5840 5840 5840 5840 5835 5835 5835 5835 5835 5835 5824 5824 5824 5824 5824 5824 5813 5813 5813 5813 5813 5813 5813 5813 5813 5813 5813 5813 5824 5824 5824 5936 5922 5918 5914 5907 5906 5904 5902 5901 5898 5896 5894 5890 5887 5872 5872 5872 5872 5872 5872 5871 5871 5871 5871 5871 5871 5869 5869 5869 5869 5869 5868 5868 5868 5868 5868 5868 5867 5867 5867 5867 5867 5867 5866 5866 5866 5866 5866 5866 5865 5865 5865 5865 5865 5865 5862 5862 5862 5862 5862 5860 5860 5860 5860 5860 5860 5858 5858 5858 5858 5858 5858 5856 5856 5856 5856 5856 5856 5852 5852 5852 5852 5852 5852 5852 5849 5849 5849 5849 5849 5849 5846 5846 5846 5846 5846 5846 5841 5841 5841 5841 5841 5841 5837 5837 5837 5837 5837 5837 5825 5825 5825 5825 5825 5825 5825 5825 5825 5825 5825 5825 5837 5837 5837 5945 5936 5932 5927 5913 5913 5913 5912 5912 5912 5910 5910 5910 5910 5909 5909 5909 5908 5908 5908 5907 5907 5907 5904 5904 5904 5904 5902 5902 5902 5900 5900 5900 5900 5896 5896 5896 5893 5893 5893 5893 5879 5879 5879 5879 5879 5878 5878 5878 5878 5878 5878 5876 5876 5876 5876 5876 5876 5875 5875 5875 5875 5875 5874 5874 5874 5874 5874 5874 5873 5873 5873 5873 5873 5873 5872 5872 5872 5872 5872 5872 5869 5869 5869 5869 5869 5869 5867 5867 5867 5867 5867 5867 5865 5865 5865 5865 5865 5865 5863 5863 5863 5863 5863 5863 5859 5859 5859 5859 5859 5859 5856 5856 5856 5856 5856 5856 5853 5853 5853 5853 5853 5853 5839 5839 5839 5839 5839 5839 5835 5835 5835 5835 5835 5835 5823 5823 5823 5823 5823 5823 5823 5823 5823 5823 5823 5823 5823 5843 5843 5843 5942 5934 5930 5927 5918 5918 5918 5915 5915 5915 5915 5911 5911 5911 5908 5908 5908 5905 5905 5905 5900 5900 5900 5900 5896 5896 5896 5896 5887 5887 5887 5887 5887 5884 5884 5884 5884 5884 5884 5880 5880 5880 5880 5880 5880 5877 5877 5877 5877 5877 5877 5874 5874 5874 5874 5874 5871 5871 5871 5871 5871 5871 5866 5866 5866 5866 5866 5866 5866 5862 5862 5862 5862 5862 5862 5858 5858 5858 5858 5858 5858 5853 5853 5853 5853 5853 5853 5844 5844 5844 5844 5844 5844 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5839 5839 5839 5931 5924 5922 5918 5916 5908 5908 5908 5906 5906 5906 5902 5902 5902 5900 5900 5900 5900 5898 5898 5898 5893 5893 5893 5893 5889 5889 5889 5881 5881 5881 5881 5881 5881 5879 5879 5879 5879 5879 5879 5875 5875 5875 5875 5875 5873 5873 5873 5873 5873 5873 5871 5871 5871 5871 5871 5871 5869 5869 5869 5869 5869 5869 5864 5864 5864 5864 5864 5864 5860 5860 5860 5860 5860 5860 5856 5856 5856 5856 5856 5856 5851 5851 5851 5851 5851 5851 5851 5843 5843 5843 5843 5843 5843 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5848 5848 5848 5927 5922 5915 5913 5910 5906 5902 5899 5891 5891 5891 5891 5889 5889 5889 5886 5886 5886 5884 5884 5884 5882 5882 5882 5882 5880 5880 5880 5876 5876 5876 5876 5873 5873 5873 5870 5870 5870 5870 5865 5865 5865 5861 5861 5861 5861 5853 5853 5853 5853 5853 5853 5853 5853 5853 5853 5853 5853 5865 5865 5865 5944 5942 5939 5937 5929 5929 5929 5927 5927 5927 5924 5924 5924 5922 5922 5922 5922 5920 5920 5920 5915 5915 5915 5915 5912 5912 5912 5904 5904 5904 5904 5904 5904 5902 5902 5902 5902 5902 5902 5899 5899 5899 5899 5899 5897 5897 5897 5897 5897 5897 5895 5895 5895 5895 5895 5895 5893 5893 5893 5893 5893 5893 5888 5888 5888 5888 5888 5888 5885 5885 5885 5885 5885 5885 5882 5882 5882 5882 5882 5882 5877 5877 5877 5877 5877 5877 5869 5869 5869 5869 5869 5869 5869 5861 5861 5861 5861 5861 5861 5861 5861 5861 5861 5861 5861 5867 5867 5867 5939 5932 5927 5922 5920 5918 5914 5911 5896 5896 5896 5896 5896 5896 5894 5894 5894 5894 5894 5894 5891 5891 5891 5891 5891 5889 5889 5889 5889 5889 5889 5887 5887 5887 5887 5887 5887 5885 5885 5885 5885 5885 5885 5881 5881 5881 5881 5881 5881 5878 5878 5878 5878 5878 5878 5875 5875 5875 5875 5875 5875 5870 5870 5870 5870 5870 5870 5870 5866 5866 5866 5866 5866 5866 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5866 5866 5866 5942 5935 5927 5927 5927 5925 5925 5925 5922 5922 5922 5922 5920 5920 5920 5918 5918 5918 5914 5914 5914 5914 5911 5911 5911 5903 5903 5903 5903 5903 5903 5901 5901 5901 5901 5901 5901 5898 5898 5898 5898 5898 5898 5896 5896 5896 5896 5896 5894 5894 5894 5894 5894 5894 5892 5892 5892 5892 5892 5892 5888 5888 5888 5888 5888 5888 5885 5885 5885 5885 5885 5885 5882 5882 5882 5882 5882 5882 5882 5874 5874 5874 5874 5874 5874 5870 5870 5870 5870 5870 5870 5862 5862 5862 5862 5862 5862 5862 5862 5862 5862 5862 5862 5866 5866 5866 5952 5946 5945 5940 5930 5930 5930 5930 5929 5929 5929 5925 5925 5925 5924 5924 5924 5923 5923 5923 5923 5918 5918 5918 5914 5914 5914 5904 5904 5904 5904 5904 5904 5903 5903 5903 5903 5903 5903 5899 5899 5899 5899 5899 5899 5898 5898 5898 5898 5898 5897 5897 5897 5897 5897 5897 5896 5896 5896 5896 5896 5896 5891 5891 5891 5891 5891 5891 5887 5887 5887 5887 5887 5887 5883 5883 5883 5883 5883 5883 5878 5878 5878 5878 5878 5878 5868 5868 5868 5868 5868 5868 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5867 5867 5867 5938 5933 5928 5924 5923 5922 5918 5915 5906 5906 5906 5905 5905 5905 5902 5902 5902 5902 5901 5901 5901 5900 5900 5900 5899 5899 5899 5895 5895 5895 5895 5892 5892 5892 5889 5889 5889 5889 5884 5884 5884 5880 5880 5880 5880 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5875 5875 5875 5949 5948 5945 5944 5935 5935 5935 5934 5934 5934 5931 5931 5931 5930 5930 5930 5930 5929 5929 5929 5924 5924 5924 5921 5921 5921 5921 5912 5912 5912 5912 5912 5912 5911 5911 5911 5911 5911 5908 5908 5908 5908 5908 5908 5907 5907 5907 5907 5907 5907 5906 5906 5906 5906 5906 5906 5905 5905 5905 5905 5905 5900 5900 5900 5900 5900 5900 5897 5897 5897 5897 5897 5897 5894 5894 5894 5894 5894 5894 5889 5889 5889 5889 5889 5889 5889 5880 5880 5880 5880 5880 5880 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5866 5866 5866 5931 5927 5921 5920 5916 5915 5911 5908 5893 5893 5893 5893 5893 5893 5892 5892 5892 5892 5892 5892 5889 5889 5889 5889 5889 5888 5888 5888 5888 5888 5888 5887 5887 5887 5887 5887 5887 5886 5886 5886 5886 5886 5886 5882 5882 5882 5882 5882 5882 5879 5879 5879 5879 5879 5879 5876 5876 5876 5876 5876 5876 5871 5871 5871 5871 5871 5871 5867 5867 5867 5867 5867 5867 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5862 5862 5862 5941 5932 5919 5919 5919 5919 5918 5918 5918 5915 5915 5915 5914 5914 5914 5913 5913 5913 5913 5909 5909 5909 5906 5906 5906 5897 5897 5897 5897 5897 5897 5896 5896 5896 5896 5896 5896 5893 5893 5893 5893 5893 5893 5892 5892 5892 5892 5892 5891 5891 5891 5891 5891 5891 5890 5890 5890 5890 5890 5890 5886 5886 5886 5886 5886 5886 5883 5883 5883 5883 5883 5883 5880 5880 5880 5880 5880 5880 5871 5871 5871 5871 5871 5871 5867 5867 5867 5867 5867 5867 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5868 5868 5868 5933 5925 5924 5922 5921 5920 5916 5914 5904 5904 5904 5903 5903 5903 5901 5901 5901 5900 5900 5900 5899 5899 5899 5899 5898 5898 5898 5894 5894 5894 5892 5892 5892 5892 5890 5890 5890 5885 5885 5885 5885 5881 5881 5881 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5871 5879 5879 5879 5951 5948 5947 5937 5937 5937 5936 5936 5936 5936 5934 5934 5934 5933 5933 5933 5932 5932 5932 5927 5927 5927 5927 5925 5925 5925 5915 5915 5915 5915 5915 5915 5914 5914 5914 5914 5914 5914 5912 5912 5912 5912 5912 5911 5911 5911 5911 5911 5911 5910 5910 5910 5910 5910 5910 5909 5909 5909 5909 5909 5909 5904 5904 5904 5904 5904 5904 5902 5902 5902 5902 5902 5902 5900 5900 5900 5900 5900 5900 5895 5895 5895 5895 5895 5895 5885 5885 5885 5885 5885 5885 5875 5875 5875 5875 5875 5875 5875 5875 5875 5875 5875 5875 5872 5872 5872 5940 5930 5924 5923 5921 5919 5915 5913 5898 5898 5898 5898 5898 5898 5897 5897 5897 5897 5897 5897 5895 5895 5895 5895 5895 5895 5894 5894 5894 5894 5894 5893 5893 5893 5893 5893 5893 5892 5892 5892 5892 5892 5892 5888 5888 5888 5888 5888 5888 5886 5886 5886 5886 5886 5886 5884 5884 5884 5884 5884 5884 5879 5879 5879 5879 5879 5879 5875 5875 5875 5875 5875 5875 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5873 5873 5873 5939 5927 5927 5927 5926 5926 5926 5926 5924 5924 5924 5923 5923 5923 5922 5922 5922 5918 5918 5918 5918 5916 5916 5916 5905 5905 5905 5905 5905 5905 5904 5904 5904 5904 5904 5904 5902 5902 5902 5902 5902 5902 5901 5901 5901 5901 5901 5900 5900 5900 5900 5900 5900 5899 5899 5899 5899 5899 5899 5895 5895 5895 5895 5895 5895 5893 5893 5893 5893 5893 5893 5891 5891 5891 5891 5891 5891 5880 5880 5880 5880 5880 5880 5876 5876 5876 5876 5876 5876 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5877 5877 5877 5933 5932 5930 5929 5928 5923 5923 5912 5912 5912 5911 5911 5911 5909 5909 5909 5908 5908 5908 5907 5907 5907 5907 5906 5906 5906 5903 5903 5903 5901 5901 5901 5901 5899 5899 5899 5894 5894 5894 5894 5891 5891 5891 5880 5880 5880 5880 5880 5880 5880 5880 5880 5880 5880 5880 5880 5888 5888 5888 5937 5933 5929 5922 5921 5919 5918 5916 5913 5911 5909 5905 5902 5890 5890 5890 5890 5890 5890 5890 5890 5890 5890 5890 5890 5890 5897 5897 5897 5948 5944 5940 5924 5924 5924 5923 5923 5923 5923 5921 5921 5921 5920 5920 5920 5919 5919 5919 5918 5918 5918 5918 5915 5915 5915 5913 5913 5913 5911 5911 5911 5911 5907 5907 5907 5904 5904 5904 5904 5892 5892 5892 5892 5892 5892 5892 5892 5892 5892 5892 5892 5896 5896 5896 5958 5949 5948 5946 5944 5941 5939 5928 5928 5928 5928 5928 5928 5927 5927 5927 5927 5927 5927 5925 5925 5925 5925 5925 5924 5924 5924 5924 5924 5924 5923 5923 5923 5923 5923 5923 5922 5922 5922 5922 5922 5922 5919 5919 5919 5919 5919 5919 5917 5917 5917 5917 5917 5917 5915 5915 5915 5915 5915 5915 5910 5910 5910 5910 5910 5910 5907 5907 5907 5907 5907 5907 5896 5896 5896 5896 5896 5896 5896 5896 5896 5896 5896 5896 5908 5908 5908 5982 5960 5960 5960 5959 5959 5959 5959 5957 5957 5957 5956 5956 5956 5955 5955 5955 5952 5952 5952 5952 5950 5950 5950 5936 5936 5936 5936 5936 5936 5935 5935 5935 5935 5935 5935 5933 5933 5933 5933 5933 5932 5932 5932 5932 5932 5932 5931 5931 5931 5931 5931 5931 5930 5930 5930 5930 5930 5930 5927 5927 5927 5927 5927 5927 5925 5925 5925 5925 5925 5925 5923 5923 5923 5923 5923 5923 5909 5909 5909 5909 5909 5909 5906 5906 5906 5906 5906 5906 5894 5894 5894 5894 5894 5894 5894 5894 5894 5894 5894 5894 5893 5893 5893 5954 5943 5939 5935 5918 5918 5918 5918 5918 5918 5917 5917 5917 5917 5917 5917 5915 5915 5915 5915 5915 5914 5914 5914 5914 5914 5914 5913 5913 5913 5913 5913 5913 5912 5912 5912 5912 5912 5912 5909 5909 5909 5909 5909 5909 5907 5907 5907 5907 5907 5907 5905 5905 5905 5905 5905 5905 5901 5901 5901 5901 5901 5901 5898 5898 5898 5898 5898 5898 5886 5886 5886 5886 5886 5886 5886 5886 5886 5886 5886 5886 5886 5874 5874 5874 5874 5874 5874 5874 5874 5874 5874 5874 5874 5874 5878 5878 5878 5878 5878 5878 5878 5878 5878 5878 5878 5878 5878 5870 5870 5870 5870 5870 5870 5870 5870 5870 5870 5870 5870 5870 5860 5860 5860 5860 5860 5860 5860 5860 5860 5860 5860 5860 5860 5852 5852 5852 5852 5852 5852 5852 5852 5852 5852 5852 5852 5852 5852 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5858 5854 5854 5854 5854 5854 5854 5854 5854 5854 5854 5854 5854 5854 5845 5845 5845 5845 5845 5845 5845 5845 5845 5845 5845 5845 5845 5841 5841 5841 5841 5841 5841 5841 5841 5841 5841 5841 5841 5841 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5846 5846 5846 5846 5846 5846 5846 5846 5846 5846 5846 5846 5846 5848 5848 5848 5848 5848 5848 5848 5848 5848 5848 5848 5848 5848 5848 5843 5843 5843 5843 5843 5843 5843 5843 5843 5843 5843 5843 5843 5839 5839 5839 5839 5839 5839 5839 5839 5839 5839 5839 5839 5839 5830 5830 5830 5830 5830 5830 5830 5830 5830 5830 5830 5830 5830 5830 5833 5833 5833 5833 5833 5833 5833 5833 5833 5833 5833 5833 5833 5825 5825 5825 5825 5825 5825 5825 5825 5825 5825 5825 5825 5825 5825 5816 5816 5816 5816 5816 5816 5816 5816 5816 5816 5816 5816 5816 5816 5804 5804 5804 5804 5804 5804 5804 5804 5804 5804 5804 5804 5804 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5808 5808 5808 5808 5808 5808 5808 5808 5808 5808 5808 5808 5808 5808 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5809 5805 5805 5805 5805 5805 5805 5805 5805 5805 5805 5805 5805 5805 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5793 5793 5793 5793 5793 5793 5793 5793 5793 5793 5793 5793 5793 5793 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5796 5796 5796 5796 5796 5796 5796 5796 5796 5796 5796 5796 5796 5796 5794 5794 5794 5794 5794 5794 5794 5794 5794 5794 5794 5794 5794 5794 5794 5791 5791 5791 5791 5791 5791 5791 5791 5791 5791 5791 5791 5791 5791 5769 5769 5769 5769 5769 5769 5769 5769 5769 5769 5769 5769 5769 5769 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5761 5758 5758 5758 5758 5758 5758 5758 5758 5758 5758 5758 5758 5758 5758 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5749 5749 5749 5749 5749 5749 5749 5749 5749 5749 5749 5749 5749 5749 6111 6111 6111 6111 6111 6111 6111 6111 6111 6111 6111 6111 6111 6111 6111 6116 6116 6116 6116 6116 6116 6116 6116 6116 6116 6116 6116 6116 6116 6116 6119 6119 6119 6119 6119 6119 6119 6119 6119 6119 6119 6119 6119 6119 6119 6439 6439 6439 6439 6439 6439 6439 6439 6439 6439 6439 6439 6439 6439 6439 6448 6448 6448 6448 6448 6448 6448 6448 6448 6448 6448 6448 6448 6448 6448 6465 6465 6465 6465 6465 6465 6465 6465 6465 6465 6465 6465 6465 6465 6465 6769 6769 6769 6769 6769 6769 6769 6769 6769 6769 6769 6769 6769 6769 6769 6802 6802 6802 6802 6802 6802 6802 6802 6802 6802 6802 6802 6802 6802 6802 7110 7110 7110 7110 7110 7110 7110 7110 7110 7110 7110 7110 7110 7110 7110 7175 7175 7175 7175 7175 7175 7175 7175 7175 7175 7175 7175 7175 7175 7175 7178 7178 7178 7178 7178 7178 7178 7178 7178 7178 7178 7178 7178 7178 7183 7183 7183 7183 7183 7183 7183 7183 7183 7183 7183 7183 7183 7183 7183 7188 7188 7188 7188 7188 7188 7188 7188 7188 7188 7188 7188 7188 7188 7188 7193 7193 7193 7193 7193 7193 7193 7193 7193 7193 7193 7193 7193 7193 7193 7198 7198 7198 7198 7198 7198 7198 7198 7198 7198 7198 7198 7198 7198 7198 7203 7203 7203 7203 7203 7203 7203 7203 7203 7203 7203 7203 7203 7203 7203 7208 7208 7208 7208 7208 7208 7208 7208 7208 7208 7208 7208 7208 7208 7208 7214 7214 7214 7214 7214 7214 7214 7214 7214 7214 7214 7214 7214 7214 7214 7217 7217 7217 7217 7217 7217 7217 7217 7217 7217 7217 7217 7217 7217 7217 7220 7220 7220 7220 7220 7220 7220 7220 7220 7220 7220 7220 7220 7220 7220 7223 7223 7223 7223 7223 7223 7223 7223 7223 7223 7223 7223 7223 7223 7223 7226 7226 7226 7226 7226 7226 7226 7226 7226 7226 7226 7226 7226 7226 7226 7229 7229 7229 7229 7229 7229 7229 7229 7229 7229 7229 7229 7229 7229 7229 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 7232 7236 7236 7236 7236 7236 7236 7236 7236 7236 7236 7236 7236 7236 7236 7236 7245 7245 7245 7245 7245 7245 7245 7245 7245 7245 7245 7245 7245 7245 7245 7262 7262 7262 7262 7262 7262 7262 7262 7262 7262 7262 7262 7262 7262 7262 7559 7559 7559 7559 7559 7559 7559 7559 7559 7559 7559 7559 7559 7559 7559 7592 7592 7592 7592 7592 7592 7592 7592 7592 7592 7592 7592 7592 7592 7592 7891 7891 7891 7891 7891 7891 7891 7891 7891 7891 7891 7891 7891 7891 7891 7956 7956 7956 7956 7956 7956 7956 7956 7956 7956 7956 7956 7956 7956 7956 7965 7965 7965 7965 7965 7965 7965 7965 7965 7965 7965 7965 7965 7965 7965 7974 7974 7974 7974 7974 7974 7974 7974 7974 7974 7974 7974 7974 7974 7974 7983 7983 7983 7983 7983 7983 7983 7983 7983 7983 7983 7983 7983 7983 7983 7992 7992 7992 7992 7992 7992 7992 7992 7992 7992 7992 7992 7992 7992 7992 8002 8002 8002 8002 8002 8002 8002 8002 8002 8002 8002 8002 8002 8002 8002 8019 8019 8019 8019 8019 8019 8019 8019 8019 8019 8019 8019 8019 8019 8019 8036 8036 8036 8036 8036 8036 8036 8036 8036 8036 8036 8036 8036 8036 8036 8036 8053 8053 8053 8053 8053 8053 8053 8053 8053 8053 8053 8053 8053 8053 8053 8071 8071 8071 8071 8071 8071 8071 8071 8071 8071 8071 8071 8071 8071 8071 8104 8104 8104 8104 8104 8104 8104 8104 8104 8104 8104 8104 8104 8104 8104 8401 8401 8401 8401 8401 8401 8401 8401 8401 8401 8401 8401 8401 8401 8401 8466 8466 8466 8466 8466 8466 8466 8466 8466 8466 8466 8466 8466 8466 8466 8499 8499 8499 8499 8499 8499 8499 8499 8499 8499 8499 8499 8499 8499 8499 8533 8533 8533 8533 8533 8533 8533 8533 8533 8533 8533 8533 8533 8533 8533 8599 8599 8599 8599 8599 8599 8599 8599 8599 8599 8599 8599 8599 8599 8599 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8605 8605 8605 8605 8605 8605 8605 8605 8605 8605 8605 8605 8605 8605 8605 8608 8608 8608 8608 8608 8608 8608 8608 8608 8608 8608 8608 8608 8608 8608 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8614 8614 8614 8614 8614 8614 8614 8614 8614 8614 8614 8614 8614 8614 8614 8614 8617 8617 8617 8617 8617 8617 8617 8617 8617 8617 8617 8617 8617 8617 8617 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8626 8626 8626 8626 8626 8626 8626 8626 8626 8626 8626 8626 8626 8626 8626 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8636 8636 8636 8636 8636 8636 8636 8636 8636 8636 8636 8636 8636 8636 8636 8641 8641 8641 8641 8641 8641 8641 8641 8641 8641 8641 8641 8641 8641 8641 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8652 8652 8652 8652 8652 8652 8652 8652 8652 8652 8652 8652 8652 8652 8652 8657 8657 8657 8657 8657 8657 8657 8657 8657 8657 8657 8657 8657 8657 8657 8662 8662 8662 8662 8662 8662 8662 8662 8662 8662 8662 8662 8662 8662 8662 8667 8667 8667 8667 8667 8667 8667 8667 8667 8667 8667 8667 8667 8667 8667 8667 8672 8672 8672 8672 8672 8672 8672 8672 8672 8672 8672 8672 8672 8672 8672 8678 8678 8678 8678 8678 8678 8678 8678 8678 8678 8678 8678 8678 8678 8678 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8688 8688 8688 8688 8688 8688 8688 8688 8688 8688 8688 8688 8688 8688 8688 8693 8693 8693 8693 8693 8693 8693 8693 8693 8693 8693 8693 8693 8693 8693 8699 8699 8699 8699 8699 8699 8699 8699 8699 8699 8699 8699 8699 8699 8699 8699 8704 8704 8704 8704 8704 8704 8704 8704 8704 8704 8704 8704 8704 8704 8704 8709 8709 8709 8709 8709 8709 8709 8709 8709 8709 8709 8709 8709 8709 8709 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8720 8720 8720 8720 8720 8720 8720 8720 8720 8720 8720 8720 8720 8720 8720 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8734 8734 8734 8734 8734 8734 8734 8734 8734 8734 8734 8734 8734 8734 8734 8734 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8740 8740 8740 8740 8740 8740 8740 8740 8740 8740 8740 8740 8740 8740 8740 8743 8743 8743 8743 8743 8743 8743 8743 8743 8743 8743 8743 8743 8743 8743 8743 8746 8746 8746 8746 8746 8746 8746 8746 8746 8746 8746 8746 8746 8746 8746 8749 8749 8749 8749 8749 8749 8749 8749 8749 8749 8749 8749 8749 8749 8749 8749 8753 8753 8753 8753 8753 8753 8753 8753 8753 8753 8753 8753 8753 8753 8753 8756 8756 8756 8756 8756 8756 8756 8756 8756 8756 8756 8756 8756 8756 8756 8756 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8762 8762 8762 8762 8762 8762 8762 8762 8762 8762 8762 8762 8762 8762 8762 8762 8765 8765 8765 8765 8765 8765 8765 8765 8765 8765 8765 8765 8765 8765 8765 8765 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8772 8772 8772 8772 8772 8772 8772 8772 8772 8772 8772 8772 8772 8772 8772 8772 8775 8775 8775 8775 8775 8775 8775 8775 8775 8775 8775 8775 8775 8775 8775 8778 8778 8778 8778 8778 8778 8778 8778 8778 8778 8778 8778 8778 8778 8778 8778 8782 8782 8782 8782 8782 8782 8782 8782 8782 8782 8782 8782 8782 8782 8782 8782 8785 8785 8785 8785 8785 8785 8785 8785 8785 8785 8785 8785 8785 8785 8785 8788 8788 8788 8788 8788 8788 8788 8788 8788 8788 8788 8788 8788 8788 8788 8788 8792 8792 8792 8792 8792 8792 8792 8792 8792 8792 8792 8792 8792 8792 8792 8795 8795 8795 8795 8795 8795 8795 8795 8795 8795 8795 8795 8795 8795 8795 8795 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8804 8804 8804 8804 8804 8804 8804 8804 8804 8804 8804 8804 8804 8804 8804 8804 8813 8813 8813 8813 8813 8813 8813 8813 8813 8813 8813 8813 8813 8813 8813 8822 8822 8822 8822 8822 8822 8822 8822 8822 8822 8822 8822 8822 8822 8822 8822 8831 8831 8831 8831 8831 8831 8831 8831 8831 8831 8831 8831 8831 8831 8831 8831 8840 8840 8840 8840 8840 8840 8840 8840 8840 8840 8840 8840 8840 8840 8840 8840 8850 8850 8850 8850 8850 8850 8850 8850 8850 8850 8850 8850 8850 8850 8850 8850 8867 8867 8867 8867 8867 8867 8867 8867 8867 8867 8867 8867 8867 8867 8867 8867 8884 8884 8884 8884 8884 8884 8884 8884 8884 8884 8884 8884 8884 8884 8884 8901 8901 8901 8901 8901 8901 8901 8901 8901 8901 8901 8901 8901 8901 8901 8901 8919 8919 8919 8919 8919 8919 8919 8919 8919 8919 8919 8919 8919 8919 8919 8919 8952 8952 8952 8952 8952 8952 8952 8952 8952 8952 8952 8952 8952 8952 8952 8952 9240 9240 9240 9240 9240 9240 9240 9240 9240 9240 9240 9240 9240 9240 9240 9240 9305 9305 9305 9305 9305 9305 9305 9305 9305 9305 9305 9305 9305 9305 9305 9305 9338 9338 9338 9338 9338 9338 9338 9338 9338 9338 9338 9338 9338 9338 9338 9338 9372 9372 9372 9372 9372 9372 9372 9372 9372 9372 9372 9372 9372 9372 9372 9372 9438 9438 9438 9438 9438 9438 9438 9438 9438 9438 9438 9438 9438 9438 9438 9438 9447 9447 9447 9447 9447 9447 9447 9447 9447 9447 9447 9447 9447 9447 9447 9447 9456 9456 9456 9456 9456 9456 9456 9456 9456 9456 9456 9456 9456 9456 9456 9456 9465 9465 9465 9465 9465 9465 9465 9465 9465 9465 9465 9465 9465 9465 9465 9465 9475 9475 9475 9475 9475 9475 9475 9475 9475 9475 9475 9475 9475 9475 9475 9475 9484 9484 9484 9484 9484 9484 9484 9484 9484 9484 9484 9484 9484 9484 9484 9484 9484 9493 9493 9493 9493 9493 9493 9493 9493 9493 9493 9493 9493 9493 9493 9493 9493 9503 9503 9503 9503 9503 9503 9503 9503 9503 9503 9503 9503 9503 9503 9503 9503 9512 9512 9512 9512 9512 9512 9512 9512 9512 9512 9512 9512 9512 9512 9512 9512 9522 9522 9522 9522 9522 9522 9522 9522 9522 9522 9522 9522 9522 9522 9522 9522 9533 9533 9533 9533 9533 9533 9533 9533 9533 9533 9533 9533 9533 9533 9533 9533 9533 9550 9550 9550 9550 9550 9550 9550 9550 9550 9550 9550 9550 9550 9550 9550 9550 9567 9567 9567 9567 9567 9567 9567 9567 9567 9567 9567 9567 9567 9567 9567 9567 9567 9585 9585 9585 9585 9585 9585 9585 9585 9585 9585 9585 9585 9585 9585 9585 9585 9602 9602 9602 9602 9602 9602 9602 9602 9602 9602 9602 9602 9602 9602 9602 9602 9620 9620 9620 9620 9620 9620 9620 9620 9620 9620 9620 9620 9620 9620 9620 9620 9620 9639 9639 9639 9639 9639 9639 9639 9639 9639 9639 9639 9639 9639 9639 9639 9639 9639 9672 9672 9672 9672 9672 9672 9672 9672 9672 9672 9672 9672 9672 9672 9672 9672 9706 9706 9706 9706 9706 9706 9706 9706 9706 9706 9706 9706 9706 9706 9706 9706 9706 9772 9772 9772 9772 9772 9772 9772 9772 9772 9772 9772 9772 9772 9772 9772 9772 9772 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9807 9887 9887 9887 10184 10181 10176 10169 10168 10166 10165 10164 10160 10158 10156 10152 10149 10135 10135 10135 10135 10134 10134 10134 10132 10132 10132 10131 10131 10131 10130 10130 10130 10130 10129 10129 10129 10128 10128 10128 10125 10125 10125 10123 10123 10123 10123 10121 10121 10121 10119 10119 10119 10119 10115 10115 10115 10112 10112 10112 10112 10109 10109 10109 10104 10104 10104 10104 10100 10100 10100 10086 10086 10086 10086 10086 10086 10085 10085 10085 10085 10085 10085 10083 10083 10083 10083 10083 10082 10082 10082 10082 10082 10082 10081 10081 10081 10081 10081 10081 10080 10080 10080 10080 10080 10080 10079 10079 10079 10079 10079 10078 10078 10078 10078 10078 10078 10075 10075 10075 10075 10075 10075 10073 10073 10073 10073 10073 10073 10071 10071 10071 10071 10071 10071 10069 10069 10069 10069 10069 10069 10067 10067 10067 10067 10067 10067 10063 10063 10063 10063 10063 10063 10060 10060 10060 10060 10060 10060 10057 10057 10057 10057 10057 10057 10054 10054 10054 10054 10054 10054 10054 10049 10049 10049 10049 10049 10049 10045 10045 10045 10045 10045 10045 10041 10041 10041 10041 10041 10041 10036 10036 10036 10036 10036 10036 10022 10022 10022 10022 10022 10022 10008 10008 10008 10008 10008 10008 10008 10008 10008 10008 10007 10007 10007 10007 10007 10007 10007 10007 10007 10005 10005 10005 10005 10005 10005 10005 10005 10005 10005 10004 10004 10004 10004 10004 10004 10004 10004 10004 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10002 10002 10002 10002 10002 10002 10002 10002 10002 10002 10001 10001 10001 10001 10001 10001 10001 10001 10001 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 9999 9999 9999 9999 9999 9999 9999 9999 9999 9996 9996 9996 9996 9996 9996 9996 9996 9996 9996 9994 9994 9994 9994 9994 9994 9994 9994 9994 9994 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9990 9990 9990 9990 9990 9990 9990 9990 9990 9990 9988 9988 9988 9988 9988 9988 9988 9988 9988 9986 9986 9986 9986 9986 9986 9986 9986 9986 9986 9982 9982 9982 9982 9982 9982 9982 9982 9982 9982 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9976 9976 9976 9976 9976 9976 9976 9976 9976 9976 9973 9973 9973 9973 9973 9973 9973 9973 9973 9973 9970 9970 9970 9970 9970 9970 9970 9970 9970 9970 9966 9966 9966 9966 9966 9966 9966 9966 9966 9966 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9957 9957 9957 9957 9957 9957 9957 9957 9957 9957 9953 9953 9953 9953 9953 9953 9953 9953 9953 9953 9948 9948 9948 9948 9948 9948 9948 9948 9948 9948 9936 9936 9936 9936 9936 9936 9936 9936 9936 9936 9922 9922 9922 9922 9922 9922 9922 9922 9922 9922 9917 9917 9917 9917 9917 9917 9917 9917 9917 9917 9903 9903 9903 9903 9903 9903 9903 9903 9903 9903 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9889 9937 9937 9937 10151 10146 10139 10136 10134 10132 10128 10125 10117 10117 10117 10115 10115 10115 10112 10112 10112 10112 10110 10110 10110 10108 10108 10108 10106 10106 10106 10106 10102 10102 10102 10099 10099 10099 10099 10096 10096 10096 10091 10091 10091 10091 10087 10087 10087 10079 10079 10079 10079 10079 10079 10077 10077 10077 10077 10077 10077 10074 10074 10074 10074 10074 10072 10072 10072 10072 10072 10072 10070 10070 10070 10070 10070 10070 10068 10068 10068 10068 10068 10068 10066 10066 10066 10066 10066 10066 10062 10062 10062 10062 10062 10062 10059 10059 10059 10059 10059 10059 10056 10056 10056 10056 10056 10056 10053 10053 10053 10053 10053 10053 10048 10048 10048 10048 10048 10048 10044 10044 10044 10044 10044 10044 10040 10040 10040 10040 10040 10040 10040 10035 10035 10035 10035 10035 10035 10027 10027 10027 10027 10027 10027 10019 10019 10019 10019 10019 10019 10019 10019 10019 10017 10017 10017 10017 10017 10017 10017 10017 10017 10017 10014 10014 10014 10014 10014 10014 10014 10014 10014 10014 10012 10012 10012 10012 10012 10012 10012 10012 10012 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10008 10008 10008 10008 10008 10008 10008 10008 10008 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10000 10000 10000 10000 10000 10000 10000 10000 10000 10000 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9994 9994 9994 9994 9994 9994 9994 9994 9994 9994 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9988 9988 9988 9988 9988 9988 9988 9988 9988 9988 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9975 9975 9975 9975 9975 9975 9975 9975 9975 9975 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9966 9966 9966 9966 9966 9966 9966 9966 9966 9966 9958 9958 9958 9958 9958 9958 9958 9958 9958 9958 9950 9950 9950 9950 9950 9950 9950 9950 9950 9950 9945 9945 9945 9945 9945 9945 9945 9945 9945 9945 9937 9937 9937 9937 9937 9937 9937 9937 9937 9937 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9929 9969 9969 9969 10150 10142 10140 10135 10129 10127 10126 10125 10124 10121 10119 10117 10113 10110 10096 10096 10096 10095 10095 10095 10093 10093 10093 10092 10092 10092 10092 10091 10091 10091 10090 10090 10090 10089 10089 10089 10086 10086 10086 10086 10084 10084 10084 10082 10082 10082 10080 10080 10080 10080 10076 10076 10076 10073 10073 10073 10073 10070 10070 10070 10065 10065 10065 10065 10061 10061 10061 10047 10047 10047 10047 10047 10047 10046 10046 10046 10046 10046 10046 10044 10044 10044 10044 10044 10044 10043 10043 10043 10043 10043 10042 10042 10042 10042 10042 10042 10041 10041 10041 10041 10041 10041 10040 10040 10040 10040 10040 10040 10039 10039 10039 10039 10039 10039 10036 10036 10036 10036 10036 10034 10034 10034 10034 10034 10034 10032 10032 10032 10032 10032 10032 10030 10030 10030 10030 10030 10030 10028 10028 10028 10028 10028 10028 10024 10024 10024 10024 10024 10024 10021 10021 10021 10021 10021 10021 10021 10018 10018 10018 10018 10018 10018 10015 10015 10015 10015 10015 10015 10010 10010 10010 10010 10010 10010 10006 10006 10006 10006 10006 10006 10002 10002 10002 10002 10002 10002 9997 9997 9997 9997 9997 9997 9983 9983 9983 9983 9983 9983 9983 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9979 9979 9979 10187 10179 10173 10172 10169 10167 10163 10160 10151 10151 10151 10151 10150 10150 10150 10147 10147 10147 10146 10146 10146 10145 10145 10145 10144 10144 10144 10144 10140 10140 10140 10137 10137 10137 10137 10134 10134 10134 10129 10129 10129 10129 10125 10125 10125 10116 10116 10116 10116 10116 10116 10115 10115 10115 10115 10115 10112 10112 10112 10112 10112 10112 10111 10111 10111 10111 10111 10111 10110 10110 10110 10110 10110 10110 10109 10109 10109 10109 10109 10109 10108 10108 10108 10108 10108 10104 10104 10104 10104 10104 10104 10101 10101 10101 10101 10101 10101 10098 10098 10098 10098 10098 10098 10095 10095 10095 10095 10095 10095 10090 10090 10090 10090 10090 10090 10086 10086 10086 10086 10086 10086 10086 10082 10082 10082 10082 10082 10082 10077 10077 10077 10077 10077 10077 10068 10068 10068 10068 10068 10068 10059 10059 10059 10059 10059 10059 10059 10059 10059 10059 10058 10058 10058 10058 10058 10058 10058 10058 10058 10055 10055 10055 10055 10055 10055 10055 10055 10055 10055 10054 10054 10054 10054 10054 10054 10054 10054 10054 10053 10053 10053 10053 10053 10053 10053 10053 10053 10053 10052 10052 10052 10052 10052 10052 10052 10052 10052 10051 10051 10051 10051 10051 10051 10051 10051 10051 10051 10050 10050 10050 10050 10050 10050 10050 10050 10050 10050 10046 10046 10046 10046 10046 10046 10046 10046 10046 10043 10043 10043 10043 10043 10043 10043 10043 10043 10043 10040 10040 10040 10040 10040 10040 10040 10040 10040 10040 10037 10037 10037 10037 10037 10037 10037 10037 10037 10037 10034 10034 10034 10034 10034 10034 10034 10034 10034 10034 10030 10030 10030 10030 10030 10030 10030 10030 10030 10030 10025 10025 10025 10025 10025 10025 10025 10025 10025 10025 10021 10021 10021 10021 10021 10021 10021 10021 10021 10021 10017 10017 10017 10017 10017 10017 10017 10017 10017 10017 10012 10012 10012 10012 10012 10012 10012 10012 10012 10012 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 9994 9994 9994 9994 9994 9994 9994 9994 9994 9994 9989 9989 9989 9989 9989 9989 9989 9989 9989 9989 9980 9980 9980 9980 9980 9980 9980 9980 9980 9980 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9971 9987 9987 9987 10183 10180 10174 10172 10171 10170 10166 10164 10154 10154 10154 10153 10153 10153 10151 10151 10151 10150 10150 10150 10150 10149 10149 10149 10148 10148 10148 10144 10144 10144 10144 10142 10142 10142 10140 10140 10140 10135 10135 10135 10135 10131 10131 10131 10121 10121 10121 10121 10121 10121 10120 10120 10120 10120 10120 10120 10118 10118 10118 10118 10118 10118 10117 10117 10117 10117 10117 10116 10116 10116 10116 10116 10116 10115 10115 10115 10115 10115 10115 10114 10114 10114 10114 10114 10114 10110 10110 10110 10110 10110 10110 10108 10108 10108 10108 10108 10108 10106 10106 10106 10106 10106 10106 10104 10104 10104 10104 10104 10104 10099 10099 10099 10099 10099 10099 10095 10095 10095 10095 10095 10095 10091 10091 10091 10091 10091 10091 10086 10086 10086 10086 10086 10086 10076 10076 10076 10076 10076 10076 10066 10066 10066 10066 10066 10066 10066 10066 10066 10066 10065 10065 10065 10065 10065 10065 10065 10065 10065 10063 10063 10063 10063 10063 10063 10063 10063 10063 10063 10062 10062 10062 10062 10062 10062 10062 10062 10062 10062 10061 10061 10061 10061 10061 10061 10061 10061 10061 10060 10060 10060 10060 10060 10060 10060 10060 10060 10060 10059 10059 10059 10059 10059 10059 10059 10059 10059 10058 10058 10058 10058 10058 10058 10058 10058 10058 10058 10054 10054 10054 10054 10054 10054 10054 10054 10054 10054 10052 10052 10052 10052 10052 10052 10052 10052 10052 10052 10050 10050 10050 10050 10050 10050 10050 10050 10050 10048 10048 10048 10048 10048 10048 10048 10048 10048 10048 10046 10046 10046 10046 10046 10046 10046 10046 10046 10046 10042 10042 10042 10042 10042 10042 10042 10042 10042 10042 10037 10037 10037 10037 10037 10037 10037 10037 10037 10037 10033 10033 10033 10033 10033 10033 10033 10033 10033 10033 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10024 10024 10024 10024 10024 10024 10024 10024 10024 10024 10014 10014 10014 10014 10014 10014 10014 10014 10014 10014 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 9999 9999 9999 9999 9999 9999 9999 9999 9999 9999 9989 9989 9989 9989 9989 9989 9989 9989 9989 9989 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9979 9997 9997 9997 10180 10172 10168 10163 10158 10155 10154 10153 10152 10149 10147 10145 10141 10138 10123 10123 10123 10122 10122 10122 10120 10120 10120 10119 10119 10119 10119 10118 10118 10118 10117 10117 10117 10116 10116 10116 10116 10113 10113 10113 10111 10111 10111 10109 10109 10109 10109 10107 10107 10107 10103 10103 10103 10103 10100 10100 10100 10097 10097 10097 10097 10092 10092 10092 10088 10088 10088 10088 10073 10073 10073 10073 10073 10073 10073 10073 10073 10072 10072 10072 10072 10072 10072 10072 10072 10072 10072 10070 10070 10070 10070 10070 10070 10070 10070 10070 10069 10069 10069 10069 10069 10069 10069 10069 10069 10069 10068 10068 10068 10068 10068 10068 10068 10068 10068 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10066 10066 10066 10066 10066 10066 10066 10066 10066 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10062 10062 10062 10062 10062 10062 10062 10062 10062 10062 10060 10060 10060 10060 10060 10060 10060 10060 10060 10060 10058 10058 10058 10058 10058 10058 10058 10058 10058 10056 10056 10056 10056 10056 10056 10056 10056 10056 10056 10054 10054 10054 10054 10054 10054 10054 10054 10054 10054 10050 10050 10050 10050 10050 10050 10050 10050 10050 10050 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10044 10044 10044 10044 10044 10044 10044 10044 10044 10044 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10036 10036 10036 10036 10036 10036 10036 10036 10036 10036 10032 10032 10032 10032 10032 10032 10032 10032 10032 10032 10028 10028 10028 10028 10028 10028 10028 10028 10028 10028 10023 10023 10023 10023 10023 10023 10023 10023 10023 10023 10023 10009 10009 10009 10009 10009 10009 10009 10009 10009 10009 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 9997 10029 10029 10029 10232 10223 10222 10219 10218 10215 10213 10202 10202 10202 10201 10201 10201 10201 10199 10199 10199 10198 10198 10198 10197 10197 10197 10196 10196 10196 10196 10193 10193 10193 10191 10191 10191 10189 10189 10189 10189 10184 10184 10184 10181 10181 10181 10181 10170 10170 10170 10170 10170 10170 10169 10169 10169 10169 10169 10167 10167 10167 10167 10167 10167 10166 10166 10166 10166 10166 10166 10165 10165 10165 10165 10165 10165 10164 10164 10164 10164 10164 10163 10163 10163 10163 10163 10163 10160 10160 10160 10160 10160 10160 10158 10158 10158 10158 10158 10158 10156 10156 10156 10156 10156 10156 10154 10154 10154 10154 10154 10154 10149 10149 10149 10149 10149 10149 10146 10146 10146 10146 10146 10146 10143 10143 10143 10143 10143 10143 10138 10138 10138 10138 10138 10138 10138 10127 10127 10127 10127 10127 10127 10116 10116 10116 10116 10116 10116 10116 10116 10116 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10113 10113 10113 10113 10113 10113 10113 10113 10113 10112 10112 10112 10112 10112 10112 10112 10112 10112 10112 10111 10111 10111 10111 10111 10111 10111 10111 10111 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10109 10109 10109 10109 10109 10109 10109 10109 10109 10109 10108 10108 10108 10108 10108 10108 10108 10108 10108 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10103 10103 10103 10103 10103 10103 10103 10103 10103 10103 10101 10101 10101 10101 10101 10101 10101 10101 10101 10101 10099 10099 10099 10099 10099 10099 10099 10099 10099 10097 10097 10097 10097 10097 10097 10097 10097 10097 10097 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10089 10089 10089 10089 10089 10089 10089 10089 10089 10089 10086 10086 10086 10086 10086 10086 10086 10086 10086 10086 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10078 10078 10078 10078 10078 10078 10078 10078 10078 10078 10073 10073 10073 10073 10073 10073 10073 10073 10073 10073 10062 10062 10062 10062 10062 10062 10062 10062 10062 10062 10051 10051 10051 10051 10051 10051 10051 10051 10051 10051 10040 10040 10040 10040 10040 10040 10040 10040 10040 10040 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10044 10044 10044 10232 10220 10216 10212 10205 10204 10202 10200 10199 10196 10194 10192 10188 10185 10169 10169 10169 10169 10169 10169 10168 10168 10168 10168 10168 10168 10166 10166 10166 10166 10166 10165 10165 10165 10165 10165 10165 10164 10164 10164 10164 10164 10164 10163 10163 10163 10163 10163 10163 10162 10162 10162 10162 10162 10159 10159 10159 10159 10159 10159 10157 10157 10157 10157 10157 10157 10155 10155 10155 10155 10155 10155 10153 10153 10153 10153 10153 10153 10149 10149 10149 10149 10149 10149 10146 10146 10146 10146 10146 10146 10146 10143 10143 10143 10143 10143 10143 10138 10138 10138 10138 10138 10138 10134 10134 10134 10134 10134 10134 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10117 10117 10117 10117 10117 10117 10117 10117 10117 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10114 10114 10114 10114 10114 10114 10114 10114 10114 10113 10113 10113 10113 10113 10113 10113 10113 10113 10113 10112 10112 10112 10112 10112 10112 10112 10112 10112 10111 10111 10111 10111 10111 10111 10111 10111 10111 10111 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10107 10107 10107 10107 10107 10107 10107 10107 10107 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10103 10103 10103 10103 10103 10103 10103 10103 10103 10103 10101 10101 10101 10101 10101 10101 10101 10101 10101 10101 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10095 10095 10095 10095 10095 10095 10095 10095 10095 10095 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10089 10089 10089 10089 10089 10089 10089 10089 10089 10089 10086 10086 10086 10086 10086 10086 10086 10086 10086 10086 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10077 10077 10077 10077 10077 10077 10077 10077 10077 10077 10073 10073 10073 10073 10073 10073 10073 10073 10073 10073 10068 10068 10068 10068 10068 10068 10068 10068 10068 10068 10056 10056 10056 10056 10056 10056 10056 10056 10056 10056 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10065 10065 10065 10245 10242 10237 10221 10221 10221 10220 10220 10220 10220 10218 10218 10218 10217 10217 10217 10216 10216 10216 10215 10215 10215 10215 10212 10212 10212 10210 10210 10210 10208 10208 10208 10208 10204 10204 10204 10201 10201 10201 10201 10187 10187 10187 10187 10187 10187 10186 10186 10186 10186 10186 10184 10184 10184 10184 10184 10184 10183 10183 10183 10183 10183 10183 10182 10182 10182 10182 10182 10182 10181 10181 10181 10181 10181 10180 10180 10180 10180 10180 10180 10177 10177 10177 10177 10177 10177 10175 10175 10175 10175 10175 10175 10173 10173 10173 10173 10173 10173 10171 10171 10171 10171 10171 10171 10167 10167 10167 10167 10167 10167 10164 10164 10164 10164 10164 10164 10161 10161 10161 10161 10161 10161 10161 10147 10147 10147 10147 10147 10147 10143 10143 10143 10143 10143 10143 10129 10129 10129 10129 10129 10129 10129 10129 10129 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10126 10126 10126 10126 10126 10126 10126 10126 10126 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10124 10124 10124 10124 10124 10124 10124 10124 10124 10123 10123 10123 10123 10123 10123 10123 10123 10123 10123 10122 10122 10122 10122 10122 10122 10122 10122 10122 10122 10121 10121 10121 10121 10121 10121 10121 10121 10121 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10116 10116 10116 10116 10116 10116 10116 10116 10116 10116 10114 10114 10114 10114 10114 10114 10114 10114 10114 10114 10112 10112 10112 10112 10112 10112 10112 10112 10112 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10106 10106 10106 10106 10106 10106 10106 10106 10106 10106 10103 10103 10103 10103 10103 10103 10103 10103 10103 10103 10100 10100 10100 10100 10100 10100 10100 10100 10100 10100 10100 10097 10097 10097 10097 10097 10097 10097 10097 10097 10097 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10079 10079 10079 10079 10079 10079 10079 10079 10079 10079 10075 10075 10075 10075 10075 10075 10075 10075 10075 10075 10061 10061 10061 10061 10061 10061 10061 10061 10061 10061 10049 10049 10049 10049 10049 10049 10049 10049 10049 10049 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10035 10064 10064 10064 10213 10203 10201 10198 10196 10194 10190 10187 10179 10179 10179 10177 10177 10177 10174 10174 10174 10174 10172 10172 10172 10170 10170 10170 10168 10168 10168 10168 10164 10164 10164 10161 10161 10161 10161 10158 10158 10158 10153 10153 10153 10153 10149 10149 10149 10141 10141 10141 10141 10141 10141 10139 10139 10139 10139 10139 10139 10136 10136 10136 10136 10136 10134 10134 10134 10134 10134 10134 10132 10132 10132 10132 10132 10132 10130 10130 10130 10130 10130 10130 10128 10128 10128 10128 10128 10128 10124 10124 10124 10124 10124 10124 10121 10121 10121 10121 10121 10121 10118 10118 10118 10118 10118 10118 10115 10115 10115 10115 10115 10115 10110 10110 10110 10110 10110 10110 10106 10106 10106 10106 10106 10106 10102 10102 10102 10102 10102 10102 10102 10097 10097 10097 10097 10097 10097 10089 10089 10089 10089 10089 10089 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10081 10121 10121 10121 10294 10286 10282 10279 10270 10270 10270 10267 10267 10267 10263 10263 10263 10263 10260 10260 10260 10257 10257 10257 10252 10252 10252 10252 10248 10248 10248 10239 10239 10239 10239 10239 10239 10236 10236 10236 10236 10236 10236 10232 10232 10232 10232 10232 10232 10229 10229 10229 10229 10229 10226 10226 10226 10226 10226 10226 10223 10223 10223 10223 10223 10223 10218 10218 10218 10218 10218 10218 10214 10214 10214 10214 10214 10214 10214 10210 10210 10210 10210 10210 10210 10205 10205 10205 10205 10205 10205 10196 10196 10196 10196 10196 10196 10187 10187 10187 10187 10187 10187 10187 10187 10187 10187 10184 10184 10184 10184 10184 10184 10184 10184 10184 10180 10180 10180 10180 10180 10180 10180 10180 10180 10180 10177 10177 10177 10177 10177 10177 10177 10177 10177 10174 10174 10174 10174 10174 10174 10174 10174 10174 10174 10171 10171 10171 10171 10171 10171 10171 10171 10171 10168 10168 10168 10168 10168 10168 10168 10168 10168 10168 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10155 10155 10155 10155 10155 10155 10155 10155 10155 10155 10155 10151 10151 10151 10151 10151 10151 10151 10151 10151 10151 10146 10146 10146 10146 10146 10146 10146 10146 10146 10146 10137 10137 10137 10137 10137 10137 10137 10137 10137 10137 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10123 10123 10123 10123 10123 10123 10123 10123 10123 10123 10114 10114 10114 10114 10114 10114 10114 10114 10114 10114 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10113 10113 10113 10267 10265 10261 10259 10251 10251 10251 10249 10249 10249 10245 10245 10245 10245 10243 10243 10243 10241 10241 10241 10236 10236 10236 10236 10232 10232 10232 10224 10224 10224 10224 10224 10224 10222 10222 10222 10222 10222 10222 10218 10218 10218 10218 10218 10218 10216 10216 10216 10216 10216 10214 10214 10214 10214 10214 10214 10212 10212 10212 10212 10212 10212 10207 10207 10207 10207 10207 10207 10203 10203 10203 10203 10203 10203 10199 10199 10199 10199 10199 10199 10199 10194 10194 10194 10194 10194 10194 10186 10186 10186 10186 10186 10186 10178 10178 10178 10178 10178 10178 10178 10178 10178 10176 10176 10176 10176 10176 10176 10176 10176 10176 10176 10172 10172 10172 10172 10172 10172 10172 10172 10172 10170 10170 10170 10170 10170 10170 10170 10170 10170 10170 10168 10168 10168 10168 10168 10168 10168 10168 10168 10168 10166 10166 10166 10166 10166 10166 10166 10166 10166 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10160 10160 10160 10160 10160 10160 10160 10160 10160 10160 10155 10155 10155 10155 10155 10155 10155 10155 10155 10155 10151 10151 10151 10151 10151 10151 10151 10151 10151 10151 10147 10147 10147 10147 10147 10147 10147 10147 10147 10147 10142 10142 10142 10142 10142 10142 10142 10142 10142 10142 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10121 10121 10121 10121 10121 10121 10121 10121 10121 10121 10113 10113 10113 10113 10113 10113 10113 10113 10113 10113 10113 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10105 10119 10119 10119 10267 10258 10251 10249 10246 10244 10242 10238 10235 10220 10220 10220 10218 10218 10218 10215 10215 10215 10213 10213 10213 10213 10211 10211 10211 10209 10209 10209 10205 10205 10205 10205 10202 10202 10202 10199 10199 10199 10199 10194 10194 10194 10190 10190 10190 10190 10175 10175 10175 10175 10175 10175 10175 10175 10175 10173 10173 10173 10173 10173 10173 10173 10173 10173 10173 10170 10170 10170 10170 10170 10170 10170 10170 10170 10168 10168 10168 10168 10168 10168 10168 10168 10168 10168 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10164 10164 10164 10164 10164 10164 10164 10164 10164 10162 10162 10162 10162 10162 10162 10162 10162 10162 10162 10158 10158 10158 10158 10158 10158 10158 10158 10158 10158 10155 10155 10155 10155 10155 10155 10155 10155 10155 10155 10152 10152 10152 10152 10152 10152 10152 10152 10152 10152 10149 10149 10149 10149 10149 10149 10149 10149 10149 10149 10144 10144 10144 10144 10144 10144 10144 10144 10144 10144 10140 10140 10140 10140 10140 10140 10140 10140 10140 10140 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10123 10123 10123 10123 10123 10123 10123 10123 10123 10123 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10139 10139 10139 10288 10281 10278 10276 10268 10268 10268 10266 10266 10266 10266 10263 10263 10263 10261 10261 10261 10259 10259 10259 10254 10254 10254 10254 10251 10251 10251 10243 10243 10243 10243 10243 10243 10241 10241 10241 10241 10241 10241 10238 10238 10238 10238 10238 10238 10236 10236 10236 10236 10236 10234 10234 10234 10234 10234 10234 10232 10232 10232 10232 10232 10232 10227 10227 10227 10227 10227 10227 10224 10224 10224 10224 10224 10224 10224 10221 10221 10221 10221 10221 10221 10216 10216 10216 10216 10216 10216 10208 10208 10208 10208 10208 10208 10200 10200 10200 10200 10200 10200 10200 10200 10200 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10195 10195 10195 10195 10195 10195 10195 10195 10195 10195 10193 10193 10193 10193 10193 10193 10193 10193 10193 10191 10191 10191 10191 10191 10191 10191 10191 10191 10191 10189 10189 10189 10189 10189 10189 10189 10189 10189 10187 10187 10187 10187 10187 10187 10187 10187 10187 10187 10182 10182 10182 10182 10182 10182 10182 10182 10182 10182 10179 10179 10179 10179 10179 10179 10179 10179 10179 10179 10176 10176 10176 10176 10176 10176 10176 10176 10176 10176 10173 10173 10173 10173 10173 10173 10173 10173 10173 10173 10168 10168 10168 10168 10168 10168 10168 10168 10168 10168 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10155 10155 10155 10155 10155 10155 10155 10155 10155 10155 10147 10147 10147 10147 10147 10147 10147 10147 10147 10147 10147 10139 10139 10139 10139 10139 10139 10139 10139 10139 10139 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10137 10137 10137 10273 10262 10255 10253 10250 10248 10246 10242 10239 10223 10223 10223 10223 10223 10221 10221 10221 10221 10221 10221 10218 10218 10218 10218 10218 10218 10216 10216 10216 10216 10216 10216 10214 10214 10214 10214 10214 10212 10212 10212 10212 10212 10212 10212 10208 10208 10208 10208 10208 10208 10205 10205 10205 10205 10205 10205 10202 10202 10202 10202 10202 10202 10197 10197 10197 10197 10197 10197 10193 10193 10193 10193 10193 10193 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10175 10175 10175 10175 10175 10175 10175 10175 10175 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10170 10170 10170 10170 10170 10170 10170 10170 10170 10168 10168 10168 10168 10168 10168 10168 10168 10168 10168 10166 10166 10166 10166 10166 10166 10166 10166 10166 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10160 10160 10160 10160 10160 10160 10160 10160 10160 10160 10160 10157 10157 10157 10157 10157 10157 10157 10157 10157 10157 10154 10154 10154 10154 10154 10154 10154 10154 10154 10154 10151 10151 10151 10151 10151 10151 10151 10151 10151 10151 10147 10147 10147 10147 10147 10147 10147 10147 10147 10147 10142 10142 10142 10142 10142 10142 10142 10142 10142 10142 10138 10138 10138 10138 10138 10138 10138 10138 10138 10138 10133 10133 10133 10133 10133 10133 10133 10133 10133 10133 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10110 10126 10126 10126 10262 10257 10249 10249 10249 10247 10247 10247 10244 10244 10244 10242 10242 10242 10240 10240 10240 10240 10236 10236 10236 10233 10233 10233 10233 10225 10225 10225 10225 10225 10225 10223 10223 10223 10223 10223 10220 10220 10220 10220 10220 10220 10218 10218 10218 10218 10218 10218 10216 10216 10216 10216 10216 10216 10214 10214 10214 10214 10214 10214 10210 10210 10210 10210 10210 10210 10207 10207 10207 10207 10207 10207 10204 10204 10204 10204 10204 10204 10196 10196 10196 10196 10196 10196 10192 10192 10192 10192 10192 10192 10184 10184 10184 10184 10184 10184 10184 10184 10184 10184 10182 10182 10182 10182 10182 10182 10182 10182 10182 10179 10179 10179 10179 10179 10179 10179 10179 10179 10179 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10175 10175 10175 10175 10175 10175 10175 10175 10175 10173 10173 10173 10173 10173 10173 10173 10173 10173 10173 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10167 10167 10167 10167 10167 10167 10167 10167 10167 10167 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10161 10161 10161 10161 10161 10161 10161 10161 10161 10161 10158 10158 10158 10158 10158 10158 10158 10158 10158 10158 10154 10154 10154 10154 10154 10154 10154 10154 10154 10154 10146 10146 10146 10146 10146 10146 10146 10146 10146 10146 10142 10142 10142 10142 10142 10142 10142 10142 10142 10142 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10118 10145 10145 10145 10282 10278 10273 10269 10268 10267 10263 10260 10251 10251 10251 10250 10250 10250 10247 10247 10247 10247 10246 10246 10246 10245 10245 10245 10244 10244 10244 10240 10240 10240 10240 10237 10237 10237 10234 10234 10234 10234 10229 10229 10229 10225 10225 10225 10225 10216 10216 10216 10216 10216 10215 10215 10215 10215 10215 10215 10212 10212 10212 10212 10212 10212 10211 10211 10211 10211 10211 10211 10210 10210 10210 10210 10210 10209 10209 10209 10209 10209 10209 10208 10208 10208 10208 10208 10208 10204 10204 10204 10204 10204 10204 10201 10201 10201 10201 10201 10201 10198 10198 10198 10198 10198 10198 10195 10195 10195 10195 10195 10195 10190 10190 10190 10190 10190 10190 10186 10186 10186 10186 10186 10186 10182 10182 10182 10182 10182 10182 10177 10177 10177 10177 10177 10177 10168 10168 10168 10168 10168 10168 10168 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10159 10167 10167 10167 10278 10272 10271 10269 10267 10263 10261 10251 10251 10251 10251 10250 10250 10250 10248 10248 10248 10247 10247 10247 10246 10246 10246 10245 10245 10245 10245 10241 10241 10241 10239 10239 10239 10239 10237 10237 10237 10232 10232 10232 10232 10228 10228 10228 10218 10218 10218 10218 10218 10218 10217 10217 10217 10217 10217 10217 10215 10215 10215 10215 10215 10214 10214 10214 10214 10214 10214 10213 10213 10213 10213 10213 10213 10212 10212 10212 10212 10212 10212 10211 10211 10211 10211 10211 10207 10207 10207 10207 10207 10207 10205 10205 10205 10205 10205 10205 10203 10203 10203 10203 10203 10203 10201 10201 10201 10201 10201 10201 10196 10196 10196 10196 10196 10196 10192 10192 10192 10192 10192 10192 10192 10188 10188 10188 10188 10188 10188 10183 10183 10183 10183 10183 10183 10173 10173 10173 10173 10173 10173 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10163 10179 10179 10179 10281 10274 10272 10267 10261 10259 10258 10257 10256 10253 10249 10249 10245 10242 10228 10228 10228 10227 10227 10227 10225 10225 10225 10224 10224 10224 10223 10223 10223 10223 10222 10222 10222 10221 10221 10221 10218 10218 10218 10218 10216 10216 10216 10214 10214 10214 10212 10212 10212 10212 10208 10208 10208 10205 10205 10205 10205 10202 10202 10202 10197 10197 10197 10197 10193 10193 10193 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10181 10197 10197 10197 10312 10304 10303 10300 10299 10296 10294 10283 10283 10283 10282 10282 10282 10282 10280 10280 10280 10279 10279 10279 10278 10278 10278 10277 10277 10277 10277 10274 10274 10274 10272 10272 10272 10270 10270 10270 10270 10265 10265 10265 10262 10262 10262 10262 10251 10251 10251 10251 10251 10250 10250 10250 10250 10250 10250 10248 10248 10248 10248 10248 10248 10247 10247 10247 10247 10247 10247 10246 10246 10246 10246 10246 10245 10245 10245 10245 10245 10245 10244 10244 10244 10244 10244 10244 10241 10241 10241 10241 10241 10241 10239 10239 10239 10239 10239 10239 10237 10237 10237 10237 10237 10237 10235 10235 10235 10235 10235 10235 10230 10230 10230 10230 10230 10230 10227 10227 10227 10227 10227 10227 10224 10224 10224 10224 10224 10224 10219 10219 10219 10219 10219 10219 10208 10208 10208 10208 10208 10208 10208 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10197 10208 10208 10208 10306 10302 10298 10291 10290 10288 10286 10285 10282 10280 10278 10274 10271 10256 10256 10256 10256 10256 10256 10255 10255 10255 10255 10255 10255 10253 10253 10253 10253 10253 10252 10252 10252 10252 10252 10252 10251 10251 10251 10251 10251 10251 10250 10250 10250 10250 10250 10250 10249 10249 10249 10249 10249 10249 10246 10246 10246 10246 10246 10244 10244 10244 10244 10244 10244 10242 10242 10242 10242 10242 10242 10240 10240 10240 10240 10240 10240 10236 10236 10236 10236 10236 10236 10236 10233 10233 10233 10233 10233 10233 10230 10230 10230 10230 10230 10230 10225 10225 10225 10225 10225 10225 10221 10221 10221 10221 10221 10221 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10221 10221 10221 10325 10318 10316 10311 10297 10297 10297 10296 10296 10296 10294 10294 10294 10293 10293 10293 10292 10292 10292 10292 10291 10291 10291 10288 10288 10288 10286 10286 10286 10286 10284 10284 10284 10280 10280 10280 10280 10277 10277 10277 10263 10263 10263 10263 10263 10263 10262 10262 10262 10262 10262 10262 10260 10260 10260 10260 10260 10259 10259 10259 10259 10259 10259 10258 10258 10258 10258 10258 10258 10257 10257 10257 10257 10257 10257 10256 10256 10256 10256 10256 10256 10253 10253 10253 10253 10253 10251 10251 10251 10251 10251 10251 10249 10249 10249 10249 10249 10249 10247 10247 10247 10247 10247 10247 10243 10243 10243 10243 10243 10243 10243 10240 10240 10240 10240 10240 10240 10237 10237 10237 10237 10237 10237 10223 10223 10223 10223 10223 10223 10219 10219 10219 10219 10219 10219 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10207 10215 10215 10215 10368 10362 10358 10357 10347 10347 10347 10346 10346 10346 10342 10342 10342 10342 10341 10341 10341 10340 10340 10340 10335 10335 10335 10335 10331 10331 10331 10321 10321 10321 10321 10321 10321 10320 10320 10320 10320 10320 10320 10316 10316 10316 10316 10316 10315 10315 10315 10315 10315 10315 10314 10314 10314 10314 10314 10314 10313 10313 10313 10313 10313 10313 10308 10308 10308 10308 10308 10308 10304 10304 10304 10304 10304 10304 10300 10300 10300 10300 10300 10300 10295 10295 10295 10295 10295 10295 10285 10285 10285 10285 10285 10285 10275 10275 10275 10275 10275 10275 10275 10275 10275 10275 10274 10274 10274 10274 10274 10274 10274 10274 10274 10270 10270 10270 10270 10270 10270 10270 10270 10270 10270 10269 10269 10269 10269 10269 10269 10269 10269 10269 10268 10268 10268 10268 10268 10268 10268 10268 10268 10268 10267 10267 10267 10267 10267 10267 10267 10267 10267 10266 10266 10266 10266 10266 10266 10266 10266 10266 10266 10262 10262 10262 10262 10262 10262 10262 10262 10262 10262 10257 10257 10257 10257 10257 10257 10257 10257 10257 10257 10253 10253 10253 10253 10253 10253 10253 10253 10253 10249 10249 10249 10249 10249 10249 10249 10249 10249 10249 10249 10244 10244 10244 10244 10244 10244 10244 10244 10244 10244 10234 10234 10234 10234 10234 10234 10234 10234 10234 10234 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10213 10213 10213 10344 10340 10334 10331 10330 10329 10325 10322 10313 10313 10313 10312 10312 10312 10309 10309 10309 10308 10308 10308 10308 10307 10307 10307 10306 10306 10306 10302 10302 10302 10302 10299 10299 10299 10296 10296 10296 10291 10291 10291 10291 10287 10287 10287 10278 10278 10278 10278 10278 10278 10278 10278 10278 10278 10277 10277 10277 10277 10277 10277 10277 10277 10277 10274 10274 10274 10274 10274 10274 10274 10274 10274 10274 10273 10273 10273 10273 10273 10273 10273 10273 10273 10273 10272 10272 10272 10272 10272 10272 10272 10272 10272 10271 10271 10271 10271 10271 10271 10271 10271 10271 10271 10270 10270 10270 10270 10270 10270 10270 10270 10270 10266 10266 10266 10266 10266 10266 10266 10266 10266 10266 10263 10263 10263 10263 10263 10263 10263 10263 10263 10263 10260 10260 10260 10260 10260 10260 10260 10260 10260 10260 10257 10257 10257 10257 10257 10257 10257 10257 10257 10257 10252 10252 10252 10252 10252 10252 10252 10252 10252 10252 10248 10248 10248 10248 10248 10248 10248 10248 10248 10248 10244 10244 10244 10244 10244 10244 10244 10244 10244 10244 10239 10239 10239 10239 10239 10239 10239 10239 10239 10239 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10229 10229 10229 10367 10366 10363 10362 10353 10353 10353 10352 10352 10352 10349 10349 10349 10348 10348 10348 10347 10347 10347 10347 10342 10342 10342 10339 10339 10339 10339 10330 10330 10330 10330 10330 10329 10329 10329 10329 10329 10329 10326 10326 10326 10326 10326 10326 10325 10325 10325 10325 10325 10325 10324 10324 10324 10324 10324 10323 10323 10323 10323 10323 10323 10318 10318 10318 10318 10318 10318 10315 10315 10315 10315 10315 10315 10312 10312 10312 10312 10312 10312 10307 10307 10307 10307 10307 10307 10298 10298 10298 10298 10298 10298 10298 10289 10289 10289 10289 10289 10289 10289 10289 10289 10288 10288 10288 10288 10288 10288 10288 10288 10288 10288 10285 10285 10285 10285 10285 10285 10285 10285 10285 10284 10284 10284 10284 10284 10284 10284 10284 10284 10284 10283 10283 10283 10283 10283 10283 10283 10283 10283 10282 10282 10282 10282 10282 10282 10282 10282 10282 10282 10281 10281 10281 10281 10281 10281 10281 10281 10281 10281 10276 10276 10276 10276 10276 10276 10276 10276 10276 10273 10273 10273 10273 10273 10273 10273 10273 10273 10273 10270 10270 10270 10270 10270 10270 10270 10270 10270 10270 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10262 10262 10262 10262 10262 10262 10262 10262 10262 10262 10257 10257 10257 10257 10257 10257 10257 10257 10257 10257 10248 10248 10248 10248 10248 10248 10248 10248 10248 10248 10239 10239 10239 10239 10239 10239 10239 10239 10239 10239 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10209 10209 10209 10329 10324 10319 10318 10314 10313 10309 10306 10291 10291 10291 10291 10291 10291 10290 10290 10290 10290 10290 10290 10287 10287 10287 10287 10287 10286 10286 10286 10286 10286 10286 10285 10285 10285 10285 10285 10285 10284 10284 10284 10284 10284 10284 10280 10280 10280 10280 10280 10280 10277 10277 10277 10277 10277 10277 10274 10274 10274 10274 10274 10274 10269 10269 10269 10269 10269 10269 10265 10265 10265 10265 10265 10265 10256 10256 10256 10256 10256 10256 10256 10256 10256 10256 10255 10255 10255 10255 10255 10255 10255 10255 10255 10252 10252 10252 10252 10252 10252 10252 10252 10252 10252 10251 10251 10251 10251 10251 10251 10251 10251 10251 10250 10250 10250 10250 10250 10250 10250 10250 10250 10250 10249 10249 10249 10249 10249 10249 10249 10249 10249 10248 10248 10248 10248 10248 10248 10248 10248 10248 10248 10244 10244 10244 10244 10244 10244 10244 10244 10244 10244 10241 10241 10241 10241 10241 10241 10241 10241 10241 10241 10238 10238 10238 10238 10238 10238 10238 10238 10238 10235 10235 10235 10235 10235 10235 10235 10235 10235 10235 10231 10231 10231 10231 10231 10231 10231 10231 10231 10231 10226 10226 10226 10226 10226 10226 10226 10226 10226 10226 10222 10222 10222 10222 10222 10222 10222 10222 10222 10222 10217 10217 10217 10217 10217 10217 10217 10217 10217 10217 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10201 10201 10201 10338 10329 10319 10319 10319 10318 10318 10318 10318 10315 10315 10315 10314 10314 10314 10313 10313 10313 10309 10309 10309 10309 10306 10306 10306 10297 10297 10297 10297 10297 10297 10296 10296 10296 10296 10296 10296 10293 10293 10293 10293 10293 10293 10292 10292 10292 10292 10292 10291 10291 10291 10291 10291 10291 10290 10290 10290 10290 10290 10290 10286 10286 10286 10286 10286 10286 10283 10283 10283 10283 10283 10283 10280 10280 10280 10280 10280 10280 10271 10271 10271 10271 10271 10271 10267 10267 10267 10267 10267 10267 10258 10258 10258 10258 10258 10258 10258 10258 10258 10258 10257 10257 10257 10257 10257 10257 10257 10257 10257 10254 10254 10254 10254 10254 10254 10254 10254 10254 10254 10253 10253 10253 10253 10253 10253 10253 10253 10253 10252 10252 10252 10252 10252 10252 10252 10252 10252 10252 10251 10251 10251 10251 10251 10251 10251 10251 10251 10250 10250 10250 10250 10250 10250 10250 10250 10250 10250 10246 10246 10246 10246 10246 10246 10246 10246 10246 10246 10243 10243 10243 10243 10243 10243 10243 10243 10243 10243 10240 10240 10240 10240 10240 10240 10240 10240 10240 10240 10237 10237 10237 10237 10237 10237 10237 10237 10237 10237 10233 10233 10233 10233 10233 10233 10233 10233 10233 10233 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10211 10211 10211 10211 10211 10211 10211 10211 10211 10211 10202 10202 10202 10202 10202 10202 10202 10202 10202 10202 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10193 10207 10207 10207 10330 10322 10321 10319 10318 10317 10313 10311 10301 10301 10301 10300 10300 10300 10298 10298 10298 10297 10297 10297 10296 10296 10296 10296 10295 10295 10295 10291 10291 10291 10289 10289 10289 10289 10287 10287 10287 10282 10282 10282 10282 10278 10278 10278 10268 10268 10268 10268 10268 10268 10268 10268 10268 10268 10267 10267 10267 10267 10267 10267 10267 10267 10267 10265 10265 10265 10265 10265 10265 10265 10265 10265 10265 10264 10264 10264 10264 10264 10264 10264 10264 10264 10263 10263 10263 10263 10263 10263 10263 10263 10263 10263 10262 10262 10262 10262 10262 10262 10262 10262 10262 10261 10261 10261 10261 10261 10261 10261 10261 10261 10261 10257 10257 10257 10257 10257 10257 10257 10257 10257 10257 10255 10255 10255 10255 10255 10255 10255 10255 10255 10255 10253 10253 10253 10253 10253 10253 10253 10253 10253 10253 10251 10251 10251 10251 10251 10251 10251 10251 10251 10251 10246 10246 10246 10246 10246 10246 10246 10246 10246 10246 10242 10242 10242 10242 10242 10242 10242 10242 10242 10242 10238 10238 10238 10238 10238 10238 10238 10238 10238 10238 10233 10233 10233 10233 10233 10233 10233 10233 10233 10233 10223 10223 10223 10223 10223 10223 10223 10223 10223 10223 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10229 10229 10229 10365 10362 10361 10351 10351 10351 10350 10350 10350 10350 10348 10348 10348 10347 10347 10347 10346 10346 10346 10341 10341 10341 10341 10339 10339 10339 10329 10329 10329 10329 10329 10329 10328 10328 10328 10328 10328 10328 10326 10326 10326 10326 10326 10325 10325 10325 10325 10325 10325 10324 10324 10324 10324 10324 10324 10323 10323 10323 10323 10323 10323 10318 10318 10318 10318 10318 10318 10316 10316 10316 10316 10316 10316 10314 10314 10314 10314 10314 10314 10309 10309 10309 10309 10309 10309 10299 10299 10299 10299 10299 10299 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10288 10288 10288 10288 10288 10288 10288 10288 10288 10286 10286 10286 10286 10286 10286 10286 10286 10286 10286 10285 10285 10285 10285 10285 10285 10285 10285 10285 10284 10284 10284 10284 10284 10284 10284 10284 10284 10284 10283 10283 10283 10283 10283 10283 10283 10283 10283 10282 10282 10282 10282 10282 10282 10282 10282 10282 10282 10277 10277 10277 10277 10277 10277 10277 10277 10277 10277 10275 10275 10275 10275 10275 10275 10275 10275 10275 10275 10273 10273 10273 10273 10273 10273 10273 10273 10273 10271 10271 10271 10271 10271 10271 10271 10271 10271 10271 10266 10266 10266 10266 10266 10266 10266 10266 10266 10266 10261 10261 10261 10261 10261 10261 10261 10261 10261 10261 10251 10251 10251 10251 10251 10251 10251 10251 10251 10251 10251 10241 10241 10241 10241 10241 10241 10241 10241 10241 10241 10231 10231 10231 10231 10231 10231 10231 10231 10231 10231 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10221 10212 10212 10212 10323 10317 10316 10314 10312 10308 10306 10291 10291 10291 10291 10291 10291 10290 10290 10290 10290 10290 10290 10288 10288 10288 10288 10288 10288 10287 10287 10287 10287 10287 10286 10286 10286 10286 10286 10286 10285 10285 10285 10285 10285 10285 10281 10281 10281 10281 10281 10281 10279 10279 10279 10279 10279 10279 10277 10277 10277 10277 10277 10277 10272 10272 10272 10272 10272 10272 10268 10268 10268 10268 10268 10268 10258 10258 10258 10258 10258 10258 10258 10258 10258 10258 10257 10257 10257 10257 10257 10257 10257 10257 10257 10255 10255 10255 10255 10255 10255 10255 10255 10255 10255 10254 10254 10254 10254 10254 10254 10254 10254 10254 10253 10253 10253 10253 10253 10253 10253 10253 10253 10253 10252 10252 10252 10252 10252 10252 10252 10252 10252 10251 10251 10251 10251 10251 10251 10251 10251 10251 10251 10247 10247 10247 10247 10247 10247 10247 10247 10247 10247 10245 10245 10245 10245 10245 10245 10245 10245 10245 10245 10243 10243 10243 10243 10243 10243 10243 10243 10243 10243 10241 10241 10241 10241 10241 10241 10241 10241 10241 10241 10237 10237 10237 10237 10237 10237 10237 10237 10237 10237 10232 10232 10232 10232 10232 10232 10232 10232 10232 10232 10228 10228 10228 10228 10228 10228 10228 10228 10228 10228 10223 10223 10223 10223 10223 10223 10223 10223 10223 10223 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10214 10214 10214 10343 10329 10329 10329 10329 10328 10328 10328 10326 10326 10326 10325 10325 10325 10324 10324 10324 10324 10320 10320 10320 10318 10318 10318 10307 10307 10307 10307 10307 10307 10306 10306 10306 10306 10306 10306 10304 10304 10304 10304 10304 10304 10303 10303 10303 10303 10303 10302 10302 10302 10302 10302 10302 10301 10301 10301 10301 10301 10301 10297 10297 10297 10297 10297 10297 10295 10295 10295 10295 10295 10295 10293 10293 10293 10293 10293 10293 10282 10282 10282 10282 10282 10282 10278 10278 10278 10278 10278 10278 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10266 10266 10266 10266 10266 10266 10266 10266 10266 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10263 10263 10263 10263 10263 10263 10263 10263 10263 10262 10262 10262 10262 10262 10262 10262 10262 10262 10262 10261 10261 10261 10261 10261 10261 10261 10261 10261 10260 10260 10260 10260 10260 10260 10260 10260 10260 10260 10256 10256 10256 10256 10256 10256 10256 10256 10256 10256 10254 10254 10254 10254 10254 10254 10254 10254 10254 10254 10252 10252 10252 10252 10252 10252 10252 10252 10252 10252 10250 10250 10250 10250 10250 10250 10250 10250 10250 10250 10246 10246 10246 10246 10246 10246 10246 10246 10246 10246 10235 10235 10235 10235 10235 10235 10235 10235 10235 10235 10231 10231 10231 10231 10231 10231 10231 10231 10231 10231 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10209 10209 10209 10209 10209 10209 10209 10209 10209 10209 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10214 10214 10214 10327 10326 10324 10323 10322 10319 10317 10306 10306 10306 10305 10305 10305 10303 10303 10303 10302 10302 10302 10301 10301 10301 10301 10300 10300 10300 10297 10297 10297 10295 10295 10295 10295 10293 10293 10293 10288 10288 10288 10288 10285 10285 10285 10274 10274 10274 10274 10274 10274 10274 10274 10274 10274 10273 10273 10273 10273 10273 10273 10273 10273 10273 10271 10271 10271 10271 10271 10271 10271 10271 10271 10271 10270 10270 10270 10270 10270 10270 10270 10270 10270 10269 10269 10269 10269 10269 10269 10269 10269 10269 10269 10268 10268 10268 10268 10268 10268 10268 10268 10268 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10262 10262 10262 10262 10262 10262 10262 10262 10262 10262 10260 10260 10260 10260 10260 10260 10260 10260 10260 10260 10258 10258 10258 10258 10258 10258 10258 10258 10258 10258 10253 10253 10253 10253 10253 10253 10253 10253 10253 10253 10250 10250 10250 10250 10250 10250 10250 10250 10250 10250 10247 10247 10247 10247 10247 10247 10247 10247 10247 10247 10242 10242 10242 10242 10242 10242 10242 10242 10242 10242 10231 10231 10231 10231 10231 10231 10231 10231 10231 10231 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10229 10229 10229 10327 10323 10319 10312 10311 10309 10308 10306 10303 10301 10299 10295 10292 10277 10277 10277 10277 10277 10277 10277 10277 10277 10277 10276 10276 10276 10276 10276 10276 10276 10276 10276 10274 10274 10274 10274 10274 10274 10274 10274 10274 10274 10273 10273 10273 10273 10273 10273 10273 10273 10273 10272 10272 10272 10272 10272 10272 10272 10272 10272 10272 10271 10271 10271 10271 10271 10271 10271 10271 10271 10271 10270 10270 10270 10270 10270 10270 10270 10270 10270 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10265 10265 10265 10265 10265 10265 10265 10265 10265 10265 10263 10263 10263 10263 10263 10263 10263 10263 10263 10263 10261 10261 10261 10261 10261 10261 10261 10261 10261 10261 10257 10257 10257 10257 10257 10257 10257 10257 10257 10257 10254 10254 10254 10254 10254 10254 10254 10254 10254 10254 10251 10251 10251 10251 10251 10251 10251 10251 10251 10251 10246 10246 10246 10246 10246 10246 10246 10246 10246 10246 10242 10242 10242 10242 10242 10242 10242 10242 10242 10242 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10230 10332 10329 10324 10307 10307 10307 10307 10306 10306 10306 10304 10304 10304 10303 10303 10303 10302 10302 10302 10301 10301 10301 10301 10298 10298 10298 10296 10296 10296 10294 10294 10294 10294 10290 10290 10290 10287 10287 10287 10287 10272 10272 10272 10272 10272 10272 10272 10272 10272 10271 10271 10271 10271 10271 10271 10271 10271 10271 10271 10269 10269 10269 10269 10269 10269 10269 10269 10269 10269 10268 10268 10268 10268 10268 10268 10268 10268 10268 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10266 10266 10266 10266 10266 10266 10266 10266 10266 10265 10265 10265 10265 10265 10265 10265 10265 10265 10265 10262 10262 10262 10262 10262 10262 10262 10262 10262 10262 10260 10260 10260 10260 10260 10260 10260 10260 10260 10260 10258 10258 10258 10258 10258 10258 10258 10258 10258 10256 10256 10256 10256 10256 10256 10256 10256 10256 10256 10252 10252 10252 10252 10252 10252 10252 10252 10252 10252 10249 10249 10249 10249 10249 10249 10249 10249 10249 10249 10246 10246 10246 10246 10246 10246 10246 10246 10246 10246 10232 10232 10232 10232 10232 10232 10232 10232 10232 10232 10228 10228 10228 10228 10228 10228 10228 10228 10228 10228 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10216 10220 10220 10220 10339 10327 10326 10324 10322 10319 10317 10306 10306 10306 10306 10306 10306 10305 10305 10305 10305 10305 10305 10303 10303 10303 10303 10303 10303 10302 10302 10302 10302 10302 10301 10301 10301 10301 10301 10301 10300 10300 10300 10300 10300 10300 10297 10297 10297 10297 10297 10297 10295 10295 10295 10295 10295 10295 10293 10293 10293 10293 10293 10293 10288 10288 10288 10288 10288 10288 10285 10285 10285 10285 10285 10285 10274 10274 10274 10274 10274 10274 10274 10274 10274 10274 10273 10273 10273 10273 10273 10273 10273 10273 10273 10271 10271 10271 10271 10271 10271 10271 10271 10271 10271 10270 10270 10270 10270 10270 10270 10270 10270 10270 10269 10269 10269 10269 10269 10269 10269 10269 10269 10269 10268 10268 10268 10268 10268 10268 10268 10268 10268 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10262 10262 10262 10262 10262 10262 10262 10262 10262 10262 10260 10260 10260 10260 10260 10260 10260 10260 10260 10258 10258 10258 10258 10258 10258 10258 10258 10258 10258 10253 10253 10253 10253 10253 10253 10253 10253 10253 10253 10250 10250 10250 10250 10250 10250 10250 10250 10250 10250 10247 10247 10247 10247 10247 10247 10247 10247 10247 10247 10247 10242 10242 10242 10242 10242 10242 10242 10242 10242 10242 10231 10231 10231 10231 10231 10231 10231 10231 10231 10231 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10244 10244 10244 10358 10358 10358 10357 10357 10357 10357 10355 10355 10355 10354 10354 10354 10353 10353 10353 10350 10350 10350 10350 10348 10348 10348 10334 10334 10334 10334 10334 10334 10333 10333 10333 10333 10333 10333 10331 10331 10331 10331 10331 10331 10330 10330 10330 10330 10330 10329 10329 10329 10329 10329 10329 10328 10328 10328 10328 10328 10328 10325 10325 10325 10325 10325 10325 10323 10323 10323 10323 10323 10323 10321 10321 10321 10321 10321 10321 10307 10307 10307 10307 10307 10307 10304 10304 10304 10304 10304 10304 10290 10290 10290 10290 10290 10290 10290 10290 10290 10290 10289 10289 10289 10289 10289 10289 10289 10289 10289 10287 10287 10287 10287 10287 10287 10287 10287 10287 10287 10286 10286 10286 10286 10286 10286 10286 10286 10286 10285 10285 10285 10285 10285 10285 10285 10285 10285 10285 10284 10284 10284 10284 10284 10284 10284 10284 10284 10283 10283 10283 10283 10283 10283 10283 10283 10283 10283 10280 10280 10280 10280 10280 10280 10280 10280 10280 10280 10278 10278 10278 10278 10278 10278 10278 10278 10278 10278 10276 10276 10276 10276 10276 10276 10276 10276 10276 10274 10274 10274 10274 10274 10274 10274 10274 10274 10274 10260 10260 10260 10260 10260 10260 10260 10260 10260 10260 10257 10257 10257 10257 10257 10257 10257 10257 10257 10257 10254 10254 10254 10254 10254 10254 10254 10254 10254 10254 10254 10240 10240 10240 10240 10240 10240 10240 10240 10240 10240 10226 10226 10226 10226 10226 10226 10226 10226 10226 10226 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10214 10205 10205 10205 10305 10301 10297 10279 10279 10279 10279 10279 10279 10278 10278 10278 10278 10278 10278 10276 10276 10276 10276 10276 10275 10275 10275 10275 10275 10275 10274 10274 10274 10274 10274 10274 10273 10273 10273 10273 10273 10273 10270 10270 10270 10270 10270 10270 10268 10268 10268 10268 10268 10268 10266 10266 10266 10266 10266 10266 10262 10262 10262 10262 10262 10262 10259 10259 10259 10259 10259 10259 10243 10243 10243 10243 10243 10243 10243 10243 10243 10242 10242 10242 10242 10242 10242 10242 10242 10242 10242 10240 10240 10240 10240 10240 10240 10240 10240 10240 10240 10239 10239 10239 10239 10239 10239 10239 10239 10239 10238 10238 10238 10238 10238 10238 10238 10238 10238 10238 10237 10237 10237 10237 10237 10237 10237 10237 10237 10236 10236 10236 10236 10236 10236 10236 10236 10236 10236 10233 10233 10233 10233 10233 10233 10233 10233 10233 10233 10231 10231 10231 10231 10231 10231 10231 10231 10231 10229 10229 10229 10229 10229 10229 10229 10229 10229 10229 10227 10227 10227 10227 10227 10227 10227 10227 10227 10227 10223 10223 10223 10223 10223 10223 10223 10223 10223 10223 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10217 10217 10217 10217 10217 10217 10217 10217 10217 10217 10213 10213 10213 10213 10213 10213 10213 10213 10213 10213 10198 10198 10198 10198 10198 10198 10198 10198 10198 10198 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10204 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10206 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10212 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10220 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10219 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10224 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10200 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10208 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10172 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10164 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10156 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10128 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10134 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10125 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10115 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10102 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10094 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10067 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10082 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10087 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10092 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10091 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10093 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10099 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10083 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10065 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10041 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10047 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10039 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10029 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10019 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 10011 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9987 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 9992 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10007 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10006 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10004 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10010 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 10003 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9991 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9984 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9935 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9913 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9918 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9916 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9912 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9901 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9881 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9879 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9877 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9868 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 9871 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10301 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10307 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 10687 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11043 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11360 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11684 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11748 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11758 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11767 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11777 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11788 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11800 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11812 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11820 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11826 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11837 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11843 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11849 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11855 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11861 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11870 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11873 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11886 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 11907 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12215 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12252 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12562 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12875 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12939 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12953 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12967 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12981 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 12992 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13002 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13011 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13034 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13057 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13076 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13094 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13111 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13151 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13457 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13762 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13826 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13861 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13895 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 13928 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14238 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14302 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14367 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14377 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14385 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14394 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14404 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14414 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14421 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14425 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14428 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14437 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14446 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14455 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14464 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14472 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14478 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14493 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14503 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14513 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14521 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14527 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14532 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14543 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14554 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14562 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14568 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14573 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14585 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14593 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14599 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14612 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14618 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14623 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14631 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14636 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14642 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14654 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14660 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14666 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14671 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14675 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14684 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14690 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14696 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14701 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14705 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14714 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14720 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14725 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14729 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14732 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14738 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14743 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14747 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14750 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14759 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14762 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14767 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14770 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14774 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14787 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14800 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14813 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14824 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14834 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14843 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14864 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14885 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14904 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14922 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14939 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 14976 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15275 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15573 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15637 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15672 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15706 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 15739 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16040 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16104 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16169 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16183 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16197 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16208 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16218 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16227 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16241 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16252 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16262 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16271 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16282 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16292 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16301 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16312 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16321 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16331 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16354 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16373 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16391 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16408 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16427 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16445 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16462 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16481 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16498 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16516 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16551 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16585 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16618 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16917 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 16981 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17046 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17081 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17114 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17148 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17214 17390 17390 17390 17874 17866 17862 17857 17852 17849 17848 17847 17846 17843 17841 17839 17835 17832 17818 17818 17818 17817 17817 17817 17815 17815 17815 17814 17814 17814 17814 17813 17813 17813 17812 17812 17812 17811 17811 17811 17811 17808 17808 17808 17806 17806 17806 17804 17804 17804 17804 17802 17802 17802 17798 17798 17798 17798 17795 17795 17795 17792 17792 17792 17792 17787 17787 17787 17783 17783 17783 17783 17769 17769 17769 17769 17769 17768 17768 17768 17768 17768 17768 17766 17766 17766 17766 17766 17766 17765 17765 17765 17765 17765 17765 17764 17764 17764 17764 17764 17763 17763 17763 17763 17763 17763 17762 17762 17762 17762 17762 17762 17761 17761 17761 17761 17761 17761 17758 17758 17758 17758 17758 17758 17756 17756 17756 17756 17756 17756 17754 17754 17754 17754 17754 17754 17752 17752 17752 17752 17752 17750 17750 17750 17750 17750 17750 17750 17746 17746 17746 17746 17746 17746 17743 17743 17743 17743 17743 17743 17740 17740 17740 17740 17740 17740 17737 17737 17737 17737 17737 17737 17732 17732 17732 17732 17732 17732 17728 17728 17728 17728 17728 17728 17724 17724 17724 17724 17724 17724 17719 17719 17719 17719 17719 17719 17719 17705 17705 17705 17705 17705 17705 17691 17691 17691 17691 17691 17691 17691 17691 17691 17690 17690 17690 17690 17690 17690 17690 17690 17690 17690 17688 17688 17688 17688 17688 17688 17688 17688 17688 17687 17687 17687 17687 17687 17687 17687 17687 17687 17687 17686 17686 17686 17686 17686 17686 17686 17686 17686 17685 17685 17685 17685 17685 17685 17685 17685 17685 17685 17684 17684 17684 17684 17684 17684 17684 17684 17684 17684 17683 17683 17683 17683 17683 17683 17683 17683 17683 17682 17682 17682 17682 17682 17682 17682 17682 17682 17682 17679 17679 17679 17679 17679 17679 17679 17679 17679 17679 17677 17677 17677 17677 17677 17677 17677 17677 17677 17675 17675 17675 17675 17675 17675 17675 17675 17675 17675 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17671 17671 17671 17671 17671 17671 17671 17671 17671 17671 17669 17669 17669 17669 17669 17669 17669 17669 17669 17669 17665 17665 17665 17665 17665 17665 17665 17665 17665 17665 17662 17662 17662 17662 17662 17662 17662 17662 17662 17662 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17656 17656 17656 17656 17656 17656 17656 17656 17656 17656 17653 17653 17653 17653 17653 17653 17653 17653 17653 17653 17649 17649 17649 17649 17649 17649 17649 17649 17649 17649 17644 17644 17644 17644 17644 17644 17644 17644 17644 17644 17640 17640 17640 17640 17640 17640 17640 17640 17640 17640 17636 17636 17636 17636 17636 17636 17636 17636 17636 17636 17631 17631 17631 17631 17631 17631 17631 17631 17631 17631 17617 17617 17617 17617 17617 17617 17617 17617 17617 17617 17603 17603 17603 17603 17603 17603 17603 17603 17603 17603 17598 17598 17598 17598 17598 17598 17598 17598 17598 17598 17584 17584 17584 17584 17584 17584 17584 17584 17584 17584 17570 17570 17570 17570 17570 17570 17570 17570 17570 17570 17570 17570 17570 17570 17570 17569 17569 17569 17569 17569 17569 17569 17569 17569 17569 17569 17569 17569 17569 17569 17567 17567 17567 17567 17567 17567 17567 17567 17567 17567 17567 17567 17567 17567 17567 17566 17566 17566 17566 17566 17566 17566 17566 17566 17566 17566 17566 17566 17566 17566 17565 17565 17565 17565 17565 17565 17565 17565 17565 17565 17565 17565 17565 17565 17565 17564 17564 17564 17564 17564 17564 17564 17564 17564 17564 17564 17564 17564 17564 17564 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17561 17561 17561 17561 17561 17561 17561 17561 17561 17561 17561 17561 17561 17561 17561 17560 17560 17560 17560 17560 17560 17560 17560 17560 17560 17560 17560 17560 17560 17560 17558 17558 17558 17558 17558 17558 17558 17558 17558 17558 17558 17558 17558 17558 17558 17558 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17553 17553 17553 17553 17553 17553 17553 17553 17553 17553 17553 17553 17553 17553 17553 17551 17551 17551 17551 17551 17551 17551 17551 17551 17551 17551 17551 17551 17551 17551 17549 17549 17549 17549 17549 17549 17549 17549 17549 17549 17549 17549 17549 17549 17549 17549 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17545 17545 17545 17545 17545 17545 17545 17545 17545 17545 17545 17545 17545 17545 17545 17542 17542 17542 17542 17542 17542 17542 17542 17542 17542 17542 17542 17542 17542 17542 17542 17538 17538 17538 17538 17538 17538 17538 17538 17538 17538 17538 17538 17538 17538 17538 17538 17524 17524 17524 17524 17524 17524 17524 17524 17524 17524 17524 17524 17524 17524 17524 17519 17519 17519 17519 17519 17519 17519 17519 17519 17519 17519 17519 17519 17519 17519 17519 17505 17505 17505 17505 17505 17505 17505 17505 17505 17505 17505 17505 17505 17505 17505 17491 17491 17491 17491 17491 17491 17491 17491 17491 17491 17491 17491 17491 17491 17491 17491 17487 17487 17487 17487 17487 17487 17487 17487 17487 17487 17487 17487 17487 17487 17487 17484 17484 17484 17484 17484 17484 17484 17484 17484 17484 17484 17484 17484 17484 17484 17484 17481 17481 17481 17481 17481 17481 17481 17481 17481 17481 17481 17481 17481 17481 17481 17481 17478 17478 17478 17478 17478 17478 17478 17478 17478 17478 17478 17478 17478 17478 17478 17475 17475 17475 17475 17475 17475 17475 17475 17475 17475 17475 17475 17475 17475 17475 17475 17471 17471 17471 17471 17471 17471 17471 17471 17471 17471 17471 17471 17471 17471 17471 17466 17466 17466 17466 17466 17466 17466 17466 17466 17466 17466 17466 17466 17466 17466 17466 17462 17462 17462 17462 17462 17462 17462 17462 17462 17462 17462 17462 17462 17462 17462 17458 17458 17458 17458 17458 17458 17458 17458 17458 17458 17458 17458 17458 17458 17458 17458 17453 17453 17453 17453 17453 17453 17453 17453 17453 17453 17453 17453 17453 17453 17453 17453 17439 17439 17439 17439 17439 17439 17439 17439 17439 17439 17439 17439 17439 17439 17439 17425 17425 17425 17425 17425 17425 17425 17425 17425 17425 17425 17425 17425 17425 17425 17425 17420 17420 17420 17420 17420 17420 17420 17420 17420 17420 17420 17420 17420 17420 17420 17420 17406 17406 17406 17406 17406 17406 17406 17406 17406 17406 17406 17406 17406 17406 17406 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17392 17488 17488 17488 17822 17817 17810 17807 17805 17803 17799 17796 17788 17788 17788 17786 17786 17786 17783 17783 17783 17783 17781 17781 17781 17779 17779 17779 17777 17777 17777 17777 17773 17773 17773 17770 17770 17770 17770 17767 17767 17767 17762 17762 17762 17762 17758 17758 17758 17750 17750 17750 17750 17750 17750 17748 17748 17748 17748 17748 17748 17745 17745 17745 17745 17745 17743 17743 17743 17743 17743 17743 17741 17741 17741 17741 17741 17741 17739 17739 17739 17739 17739 17739 17737 17737 17737 17737 17737 17737 17733 17733 17733 17733 17733 17733 17730 17730 17730 17730 17730 17730 17727 17727 17727 17727 17727 17727 17724 17724 17724 17724 17724 17724 17719 17719 17719 17719 17719 17719 17715 17715 17715 17715 17715 17715 17711 17711 17711 17711 17711 17711 17711 17706 17706 17706 17706 17706 17706 17698 17698 17698 17698 17698 17698 17690 17690 17690 17690 17690 17690 17690 17690 17690 17690 17688 17688 17688 17688 17688 17688 17688 17688 17688 17685 17685 17685 17685 17685 17685 17685 17685 17685 17685 17683 17683 17683 17683 17683 17683 17683 17683 17683 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17679 17679 17679 17679 17679 17679 17679 17679 17679 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17675 17675 17675 17675 17675 17675 17675 17675 17675 17675 17671 17671 17671 17671 17671 17671 17671 17671 17671 17671 17668 17668 17668 17668 17668 17668 17668 17668 17668 17668 17665 17665 17665 17665 17665 17665 17665 17665 17665 17665 17662 17662 17662 17662 17662 17662 17662 17662 17662 17662 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17655 17655 17655 17655 17655 17655 17655 17655 17655 17655 17650 17650 17650 17650 17650 17650 17650 17650 17650 17650 17646 17646 17646 17646 17646 17646 17646 17646 17646 17646 17642 17642 17642 17642 17642 17642 17642 17642 17642 17642 17637 17637 17637 17637 17637 17637 17637 17637 17637 17637 17629 17629 17629 17629 17629 17629 17629 17629 17629 17629 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17616 17616 17616 17616 17616 17616 17616 17616 17616 17616 17608 17608 17608 17608 17608 17608 17608 17608 17608 17608 17600 17600 17600 17600 17600 17600 17600 17600 17600 17600 17600 17600 17600 17600 17600 17598 17598 17598 17598 17598 17598 17598 17598 17598 17598 17598 17598 17598 17598 17598 17596 17596 17596 17596 17596 17596 17596 17596 17596 17596 17596 17596 17596 17596 17596 17593 17593 17593 17593 17593 17593 17593 17593 17593 17593 17593 17593 17593 17593 17593 17591 17591 17591 17591 17591 17591 17591 17591 17591 17591 17591 17591 17591 17591 17591 17589 17589 17589 17589 17589 17589 17589 17589 17589 17589 17589 17589 17589 17589 17589 17587 17587 17587 17587 17587 17587 17587 17587 17587 17587 17587 17587 17587 17587 17587 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17583 17583 17583 17583 17583 17583 17583 17583 17583 17583 17583 17583 17583 17583 17583 17583 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17568 17568 17568 17568 17568 17568 17568 17568 17568 17568 17568 17568 17568 17568 17568 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17563 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17555 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17547 17543 17543 17543 17543 17543 17543 17543 17543 17543 17543 17543 17543 17543 17543 17543 17543 17540 17540 17540 17540 17540 17540 17540 17540 17540 17540 17540 17540 17540 17540 17540 17537 17537 17537 17537 17537 17537 17537 17537 17537 17537 17537 17537 17537 17537 17537 17537 17534 17534 17534 17534 17534 17534 17534 17534 17534 17534 17534 17534 17534 17534 17534 17531 17531 17531 17531 17531 17531 17531 17531 17531 17531 17531 17531 17531 17531 17531 17531 17527 17527 17527 17527 17527 17527 17527 17527 17527 17527 17527 17527 17527 17527 17527 17527 17522 17522 17522 17522 17522 17522 17522 17522 17522 17522 17522 17522 17522 17522 17522 17518 17518 17518 17518 17518 17518 17518 17518 17518 17518 17518 17518 17518 17518 17518 17518 17514 17514 17514 17514 17514 17514 17514 17514 17514 17514 17514 17514 17514 17514 17514 17509 17509 17509 17509 17509 17509 17509 17509 17509 17509 17509 17509 17509 17509 17509 17509 17501 17501 17501 17501 17501 17501 17501 17501 17501 17501 17501 17501 17501 17501 17501 17501 17493 17493 17493 17493 17493 17493 17493 17493 17493 17493 17493 17493 17493 17493 17493 17488 17488 17488 17488 17488 17488 17488 17488 17488 17488 17488 17488 17488 17488 17488 17488 17480 17480 17480 17480 17480 17480 17480 17480 17480 17480 17480 17480 17480 17480 17480 17480 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17472 17560 17560 17560 17862 17854 17852 17847 17841 17839 17838 17837 17836 17833 17831 17829 17825 17822 17808 17808 17808 17807 17807 17807 17805 17805 17805 17804 17804 17804 17804 17803 17803 17803 17802 17802 17802 17801 17801 17801 17798 17798 17798 17798 17796 17796 17796 17794 17794 17794 17792 17792 17792 17792 17788 17788 17788 17785 17785 17785 17785 17782 17782 17782 17777 17777 17777 17777 17773 17773 17773 17759 17759 17759 17759 17759 17759 17758 17758 17758 17758 17758 17758 17756 17756 17756 17756 17756 17756 17755 17755 17755 17755 17755 17754 17754 17754 17754 17754 17754 17753 17753 17753 17753 17753 17753 17752 17752 17752 17752 17752 17752 17751 17751 17751 17751 17751 17751 17748 17748 17748 17748 17748 17746 17746 17746 17746 17746 17746 17744 17744 17744 17744 17744 17744 17742 17742 17742 17742 17742 17742 17740 17740 17740 17740 17740 17740 17736 17736 17736 17736 17736 17736 17733 17733 17733 17733 17733 17733 17733 17730 17730 17730 17730 17730 17730 17727 17727 17727 17727 17727 17727 17722 17722 17722 17722 17722 17722 17718 17718 17718 17718 17718 17718 17714 17714 17714 17714 17714 17714 17709 17709 17709 17709 17709 17709 17695 17695 17695 17695 17695 17695 17695 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17678 17678 17678 17678 17678 17678 17678 17678 17678 17678 17678 17678 17678 17678 17678 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17676 17676 17676 17676 17676 17676 17676 17676 17676 17676 17676 17676 17676 17676 17676 17675 17675 17675 17675 17675 17675 17675 17675 17675 17675 17675 17675 17675 17675 17675 17674 17674 17674 17674 17674 17674 17674 17674 17674 17674 17674 17674 17674 17674 17674 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17672 17672 17672 17672 17672 17672 17672 17672 17672 17672 17672 17672 17672 17672 17672 17672 17669 17669 17669 17669 17669 17669 17669 17669 17669 17669 17669 17669 17669 17669 17669 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17665 17665 17665 17665 17665 17665 17665 17665 17665 17665 17665 17665 17665 17665 17665 17663 17663 17663 17663 17663 17663 17663 17663 17663 17663 17663 17663 17663 17663 17663 17663 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17659 17655 17655 17655 17655 17655 17655 17655 17655 17655 17655 17655 17655 17655 17655 17655 17652 17652 17652 17652 17652 17652 17652 17652 17652 17652 17652 17652 17652 17652 17652 17652 17649 17649 17649 17649 17649 17649 17649 17649 17649 17649 17649 17649 17649 17649 17649 17646 17646 17646 17646 17646 17646 17646 17646 17646 17646 17646 17646 17646 17646 17646 17646 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17639 17639 17639 17639 17639 17639 17639 17639 17639 17639 17639 17639 17639 17639 17639 17639 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17630 17630 17630 17630 17630 17630 17630 17630 17630 17630 17630 17630 17630 17630 17630 17626 17626 17626 17626 17626 17626 17626 17626 17626 17626 17626 17626 17626 17626 17626 17626 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17609 17609 17609 17609 17609 17609 17609 17609 17609 17609 17609 17609 17609 17609 17609 17609 17595 17595 17595 17595 17595 17595 17595 17595 17595 17595 17595 17595 17595 17595 17595 17595 17590 17590 17590 17590 17590 17590 17590 17590 17590 17590 17590 17590 17590 17590 17590 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17576 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17578 17578 17578 17907 17898 17892 17891 17888 17887 17882 17879 17870 17870 17870 17870 17869 17869 17869 17866 17866 17866 17865 17865 17865 17864 17864 17864 17864 17863 17863 17863 17859 17859 17859 17856 17856 17856 17856 17853 17853 17853 17848 17848 17848 17848 17844 17844 17844 17835 17835 17835 17835 17835 17835 17834 17834 17834 17834 17834 17834 17831 17831 17831 17831 17831 17830 17830 17830 17830 17830 17830 17829 17829 17829 17829 17829 17829 17828 17828 17828 17828 17828 17828 17827 17827 17827 17827 17827 17827 17823 17823 17823 17823 17823 17820 17820 17820 17820 17820 17820 17817 17817 17817 17817 17817 17817 17814 17814 17814 17814 17814 17814 17809 17809 17809 17809 17809 17809 17809 17805 17805 17805 17805 17805 17805 17801 17801 17801 17801 17801 17801 17796 17796 17796 17796 17796 17796 17787 17787 17787 17787 17787 17787 17778 17778 17778 17778 17778 17778 17778 17778 17778 17778 17777 17777 17777 17777 17777 17777 17777 17777 17777 17774 17774 17774 17774 17774 17774 17774 17774 17774 17774 17773 17773 17773 17773 17773 17773 17773 17773 17773 17772 17772 17772 17772 17772 17772 17772 17772 17772 17772 17771 17771 17771 17771 17771 17771 17771 17771 17771 17770 17770 17770 17770 17770 17770 17770 17770 17770 17770 17769 17769 17769 17769 17769 17769 17769 17769 17769 17769 17765 17765 17765 17765 17765 17765 17765 17765 17765 17765 17762 17762 17762 17762 17762 17762 17762 17762 17762 17759 17759 17759 17759 17759 17759 17759 17759 17759 17759 17756 17756 17756 17756 17756 17756 17756 17756 17756 17756 17753 17753 17753 17753 17753 17753 17753 17753 17753 17753 17749 17749 17749 17749 17749 17749 17749 17749 17749 17749 17744 17744 17744 17744 17744 17744 17744 17744 17744 17744 17740 17740 17740 17740 17740 17740 17740 17740 17740 17740 17736 17736 17736 17736 17736 17736 17736 17736 17736 17736 17731 17731 17731 17731 17731 17731 17731 17731 17731 17731 17722 17722 17722 17722 17722 17722 17722 17722 17722 17722 17713 17713 17713 17713 17713 17713 17713 17713 17713 17713 17708 17708 17708 17708 17708 17708 17708 17708 17708 17708 17699 17699 17699 17699 17699 17699 17699 17699 17699 17699 17690 17690 17690 17690 17690 17690 17690 17690 17690 17690 17690 17690 17690 17690 17690 17689 17689 17689 17689 17689 17689 17689 17689 17689 17689 17689 17689 17689 17689 17689 17686 17686 17686 17686 17686 17686 17686 17686 17686 17686 17686 17686 17686 17686 17686 17685 17685 17685 17685 17685 17685 17685 17685 17685 17685 17685 17685 17685 17685 17685 17684 17684 17684 17684 17684 17684 17684 17684 17684 17684 17684 17684 17684 17684 17684 17683 17683 17683 17683 17683 17683 17683 17683 17683 17683 17683 17683 17683 17683 17683 17682 17682 17682 17682 17682 17682 17682 17682 17682 17682 17682 17682 17682 17682 17682 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17681 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17680 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17677 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17673 17670 17670 17670 17670 17670 17670 17670 17670 17670 17670 17670 17670 17670 17670 17670 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17667 17664 17664 17664 17664 17664 17664 17664 17664 17664 17664 17664 17664 17664 17664 17664 17664 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17661 17657 17657 17657 17657 17657 17657 17657 17657 17657 17657 17657 17657 17657 17657 17657 17657 17648 17648 17648 17648 17648 17648 17648 17648 17648 17648 17648 17648 17648 17648 17648 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17643 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17634 17625 17625 17625 17625 17625 17625 17625 17625 17625 17625 17625 17625 17625 17625 17625 17625 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17621 17616 17616 17616 17616 17616 17616 17616 17616 17616 17616 17616 17616 17616 17616 17616 17612 17612 17612 17612 17612 17612 17612 17612 17612 17612 17612 17612 17612 17612 17612 17612 17608 17608 17608 17608 17608 17608 17608 17608 17608 17608 17608 17608 17608 17608 17608 17603 17603 17603 17603 17603 17603 17603 17603 17603 17603 17603 17603 17603 17603 17603 17603 17594 17594 17594 17594 17594 17594 17594 17594 17594 17594 17594 17594 17594 17594 17594 17594 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17585 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17580 17571 17571 17571 17571 17571 17571 17571 17571 17571 17571 17571 17571 17571 17571 17571 17571 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17562 17594 17594 17594 17911 17908 17902 17900 17899 17898 17894 17892 17882 17882 17882 17881 17881 17881 17879 17879 17879 17879 17878 17878 17878 17877 17877 17877 17876 17876 17876 17872 17872 17872 17872 17870 17870 17870 17868 17868 17868 17868 17863 17863 17863 17859 17859 17859 17859 17849 17849 17849

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="GlobalResAllocation-COL-06"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="marcie"
export BK_RESULT_DIR="/users/gast00/fkordon/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

tar xzf /home/mcc/BenchKit/INPUTS/GlobalResAllocation-COL-06.tgz
mv GlobalResAllocation-COL-06 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2265"
echo " Executing tool marcie"
echo " Input is GlobalResAllocation-COL-06, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r050kn-ebro-143236503600224"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;