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 S_GlobalResAllocation-COL-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r162st-ebro-143319440800235
=====================================================================

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1433370091183

Model: S_GlobalResAllocation-COL-07
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 --memory=6 --suppress --rs-algorithm=3 --place-order=5

parse successfull
net created successfully

Unfolding complete |P|=133|T|=291067|A|=2880724
Time for unfolding: 0m25sec

(NrP: 133 NrTr: 291067 NrArc: 2652580)

net check time: 0m0sec

place and transition orderings generation:2m58sec

init dd package: 0m6sec


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: 1m1sec

261 299 323 346 357 376 395 400 415 431 439 444 444 476 493 493 503 509 509 512 522 522 528 531 536 536 539 543 543 639 632 630 614 614 787 787 796 803 803 818 818 836 874 874 883 892 892 897 897 905 912 912 918 918 925 935 935 949 949 967 976 976 985 985 993 993 998 1006 1006 1011 1011 1017 1017 1024 1024 1030 1030 1040 1040 1055 1055 1077 1074 1069 1057 1057 1057 1063 1078 1073 1063 1063 1066 1066 1080 1075 1066 1066 1068 1068 1078 1068 1068 1068 1068 1078 1064 1064 1070 1070 1078 1070 1070 1073 1073 1080 1073 1073 1073 1073 1071 1071 1073 1073 1080 1073 1073 1073 1073 1070 1070 1070 1070 1066 1066 1066 1066 1066 1066 1064 1064 1061 1061 1061 1057 1057 1057 1242 1242 1242 1242 1244 1244 1244 1248 1248 1248 1256 1256 1256 1421 1421 1421 1439 1439 1439 1439 1471 1471 1471 1473 1473 1473 1475 1475 1475 1477 1477 1477 1477 1482 1482 1482 1484 1484 1484 1488 1488 1488 1492 1492 1492 1498 1498 1498 1498 1502 1502 1502 1510 1510 1510 1520 1520 1520 1528 1528 1528 1528 1546 1546 1546 1578 1578 1578 1596 1596 1596 1596 1598 1598 1598 1600 1600 1600 1608 1608 1608 1608 1610 1610 1610 1612 1612 1612 1617 1617 1617 1617 1619 1619 1619 1624 1624 1624 1624 1626 1626 1626 1631 1631 1631 1631 1635 1635 1635 1641 1641 1641 1641 1645 1645 1645 1651 1651 1651 1651 1655 1655 1655 1661 1661 1661 1661 1671 1671 1671 1679 1679 1679 1679 1689 1689 1689 1689 1707 1707 1707 1707 1707 1721 1780 1772 1770 1765 1753 1752 1752 1750 1749 1749 1748 1748 1747 1744 1744 1742 1742 1740 1740 1736 1733 1733 1723 1723 1723 1723 1723 1735 1778 1769 1759 1759 1757 1754 1754 1752 1752 1750 1746 1746 1743 1743 1735 1735 1735 1735 1741 1741 1777 1772 1763 1762 1762 1759 1759 1758 1757 1757 1753 1753 1750 1750 1741 1741 1741 1741 1746 1746 1768 1764 1760 1748 1748 1748 1748 1748 1752 1782 1778 1771 1770 1770 1768 1768 1767 1766 1766 1762 1762 1760 1760 1753 1753 1753 1753 1753 1786 1764 1764 1763 1761 1761 1760 1760 1759 1756 1756 1754 1754 1744 1744 1744 1744 1756 1756 1782 1774 1771 1771 1767 1767 1764 1764 1756 1756 1756 1756 1760 1760 1773 1760 1760 1760 1760 1760 1766 1795 1782 1782 1780 1780 1776 1774 1774 1767 1767 1767 1767 1767 1767 1779 1779 1777 1777 1774 1772 1772 1764 1764 1764 1764 1765 1765 1779 1774 1765 1765 1765 1765 1769 1769 1790 1783 1782 1782 1778 1777 1777 1770 1770 1770 1770 1770 1770 1788 1779 1778 1778 1775 1774 1774 1765 1765 1765 1765 1765 1766 1777 1773 1766 1766 1766 1766 1765 1765 1772 1761 1761 1761 1761 1761 1761 1767 1766 1766 1764 1764 1763 1763 1753 1753 1753 1753 1753 1753 1753 1753 1753 1753 1753 1753 1753 1753 1749 1749 1749 1749 1749 1749 1749 1749 1749 1749 1747 1747 1747 1747 1747 1741 1741 1741 1741 1741 1741 1741 1741 1741 1741 1741 1738 1738 1738 1738 1738 1727 1727 1727 1727 1727 1727 1723 1723 1723 1723 1723 1945 1945 1945 1945 1945 1945 1957 1957 1957 1957 1957 1957 1964 1964 1964 1964 1964 1964 1982 1982 1982 1982 1982 2150 2150 2150 2150 2150 2150 2339 2339 2339 2339 2339 2339 2355 2355 2355 2355 2355 2393 2393 2393 2393 2393 2393 2405 2405 2405 2405 2405 2405 2417 2417 2417 2417 2417 2417 2422 2422 2422 2422 2422 2431 2431 2431 2431 2431 2431 2433 2433 2433 2433 2433 2433 2441 2441 2441 2441 2441 2441 2448 2448 2448 2448 2448 2454 2454 2454 2454 2454 2454 2461 2461 2461 2461 2461 2461 2465 2465 2465 2465 2465 2465 2472 2472 2472 2472 2472 2482 2482 2482 2482 2482 2482 2497 2497 2497 2497 2497 2497 2505 2505 2505 2505 2505 2505 2519 2519 2519 2519 2519 2678 2678 2678 2678 2678 2678 2696 2696 2696 2696 2696 2696 2730 2730 2730 2730 2730 2730 2746 2746 2746 2746 2746 2746 2784 2784 2784 2784 2784 2784 2800 2800 2800 2800 2800 2812 2812 2812 2812 2812 2812 2824 2824 2824 2824 2824 2824 2833 2833 2833 2833 2833 2833 2835 2835 2835 2835 2835 2835 2843 2843 2843 2843 2843 2843 2848 2848 2848 2848 2848 2848 2857 2857 2857 2857 2857 2857 2859 2859 2859 2859 2859 2859 2867 2867 2867 2867 2867 2867 2872 2872 2872 2872 2872 2872 2877 2877 2877 2877 2877 2877 2882 2882 2882 2882 2882 2882 2884 2884 2884 2884 2884 2884 2892 2892 2892 2892 2892 2892 2894 2894 2894 2894 2894 2894 2900 2900 2900 2900 2900 2900 2907 2907 2907 2907 2907 2907 2911 2911 2911 2911 2911 2911 2918 2918 2918 2918 2918 2918 2924 2924 2924 2924 2924 2924 2930 2930 2930 2930 2930 2930 2930 2936 2936 2936 2936 2936 2936 2940 2940 2940 2940 2940 2940 2947 2947 2947 2947 2947 2947 2951 2951 2951 2951 2951 2951 2961 2961 2961 2961 2961 2961 2961 2971 2971 2971 2971 2971 2971 2981 2981 2981 2981 2981 2981 2989 2989 2989 2989 2989 2989 2989 3003 3003 3003 3003 3003 3003 3011 3011 3011 3011 3011 3011 3011 3029 3029 3029 3029 3029 3029 3063 3063 3063 3063 3063 3063 3063 3081 3081 3081 3081 3081 3081 3081 3097 3097 3097 3097 3097 3097 3097 3133 3133 3241 3237 3233 3219 3219 3218 3216 3216 3215 3215 3214 3213 3213 3210 3210 3208 3208 3206 3202 3202 3199 3199 3187 3187 3187 3186 3186 3186 3184 3184 3184 3184 3183 3183 3183 3182 3182 3182 3181 3181 3181 3180 3180 3180 3180 3177 3177 3177 3175 3175 3175 3173 3173 3173 3173 3171 3171 3171 3168 3168 3168 3164 3164 3164 3164 3161 3161 3161 3157 3157 3157 3157 3147 3147 3147 3135 3135 3135 3135 3135 3135 3135 3135 3159 3239 3232 3224 3224 3222 3219 3219 3217 3215 3215 3211 3211 3208 3208 3200 3200 3200 3198 3198 3198 3195 3195 3195 3193 3193 3193 3193 3191 3191 3191 3189 3189 3189 3186 3186 3186 3186 3182 3182 3182 3179 3179 3179 3175 3175 3175 3175 3167 3167 3167 3159 3159 3159 3159 3159 3159 3159 3159 3171 3250 3242 3232 3232 3231 3228 3228 3227 3227 3226 3222 3222 3219 3219 3210 3210 3210 3209 3209 3209 3206 3206 3206 3206 3205 3205 3205 3204 3204 3204 3203 3203 3203 3200 3200 3200 3200 3196 3196 3196 3193 3193 3193 3193 3189 3189 3189 3180 3180 3180 3171 3171 3171 3171 3171 3171 3171 3171 3181 3247 3235 3231 3227 3213 3213 3212 3210 3210 3209 3209 3208 3207 3207 3204 3204 3202 3200 3200 3196 3196 3193 3193 3183 3183 3183 3183 3183 3183 3183 3193 3193 3251 3244 3239 3224 3224 3224 3224 3223 3223 3223 3221 3221 3221 3220 3220 3220 3219 3219 3219 3218 3218 3218 3218 3215 3215 3215 3213 3213 3213 3211 3211 3211 3211 3207 3207 3207 3204 3204 3204 3204 3194 3194 3194 3194 3194 3194 3194 3202 3202 3265 3255 3255 3254 3254 3252 3251 3251 3250 3250 3246 3244 3244 3237 3237 3237 3236 3236 3236 3236 3234 3234 3234 3233 3233 3233 3232 3232 3232 3231 3231 3231 3231 3227 3227 3227 3225 3225 3225 3223 3223 3223 3223 3219 3219 3219 3212 3212 3212 3205 3205 3205 3205 3205 3205 3205 3205 3205 3205 3246 3246 3245 3245 3243 3242 3242 3241 3241 3238 3236 3236 3224 3224 3224 3223 3223 3223 3221 3221 3221 3221 3220 3220 3220 3219 3219 3219 3218 3218 3218 3215 3215 3215 3215 3213 3213 3213 3211 3211 3211 3211 3208 3208 3208 3196 3196 3196 3186 3186 3186 3186 3186 3186 3186 3186 3210 3210 3261 3261 3258 3258 3254 3251 3251 3243 3243 3243 3240 3240 3240 3240 3237 3237 3237 3233 3233 3233 3230 3230 3230 3226 3226 3226 3226 3218 3218 3218 3210 3210 3210 3210 3210 3210 3210 3210 3219 3268 3257 3247 3247 3245 3245 3242 3240 3240 3238 3238 3234 3231 3231 3223 3223 3223 3223 3223 3223 3223 3223 3227 3270 3261 3246 3246 3246 3244 3244 3244 3244 3241 3241 3241 3239 3239 3239 3237 3237 3237 3233 3233 3233 3233 3230 3230 3230 3222 3222 3222 3222 3222 3222 3222 3222 3234 3289 3280 3280 3278 3274 3274 3272 3272 3265 3265 3265 3263 3263 3263 3259 3259 3259 3257 3257 3257 3257 3255 3255 3255 3251 3251 3251 3244 3244 3244 3244 3237 3237 3237 3237 3237 3237 3237 3237 3237 3275 3275 3273 3273 3270 3268 3268 3260 3260 3260 3258 3258 3258 3255 3255 3255 3255 3253 3253 3253 3251 3251 3251 3248 3248 3248 3248 3240 3240 3240 3232 3232 3232 3232 3232 3232 3232 3232 3238 3277 3273 3263 3263 3262 3259 3259 3258 3258 3257 3253 3253 3250 3250 3241 3241 3241 3241 3241 3241 3241 3239 3239 3275 3270 3257 3257 3257 3256 3256 3256 3253 3253 3253 3252 3252 3252 3252 3251 3251 3251 3247 3247 3247 3244 3244 3244 3244 3235 3235 3235 3235 3235 3235 3235 3243 3243 3291 3284 3283 3283 3279 3279 3278 3271 3271 3271 3271 3270 3270 3270 3266 3266 3266 3265 3265 3265 3264 3264 3264 3264 3260 3260 3260 3253 3253 3253 3246 3246 3246 3246 3246 3246 3246 3246 3246 3246 3278 3277 3277 3274 3274 3273 3264 3264 3264 3264 3263 3263 3263 3260 3260 3260 3259 3259 3259 3258 3258 3258 3258 3255 3255 3255 3246 3246 3246 3237 3237 3237 3237 3237 3237 3237 3237 3242 3242 3264 3260 3256 3244 3244 3244 3244 3244 3244 3244 3244 3251 3289 3282 3274 3274 3273 3271 3271 3270 3270 3269 3265 3265 3263 3263 3256 3256 3256 3256 3256 3256 3256 3256 3254 3278 3265 3264 3264 3262 3262 3261 3260 3260 3257 3257 3255 3255 3245 3245 3245 3245 3245 3245 3245 3247 3247 3276 3266 3266 3266 3266 3265 3265 3265 3263 3263 3263 3262 3262 3262 3261 3261 3261 3261 3257 3257 3257 3255 3255 3255 3248 3248 3248 3248 3248 3248 3248 3248 3242 3242 3252 3252 3252 3252 3251 3251 3251 3249 3249 3249 3248 3248 3248 3247 3247 3247 3247 3244 3244 3244 3242 3242 3242 3232 3232 3232 3232 3232 3232 3232 3232 3232 3232 3261 3260 3260 3258 3258 3257 3245 3245 3245 3244 3244 3244 3244 3242 3242 3242 3241 3241 3241 3240 3240 3240 3228 3228 3228 3228 3226 3226 3226 3216 3216 3216 3216 3216 3216 3216 3216 3221 3221 3221 3221 3221 3221 3221 3221 3221 3216 3216 3216 3216 3216 3216 3216 3216 3216 3216 3216 3216 3216 3216 3216 3216 3208 3208 3208 3208 3208 3208 3208 3208 3208 3208 3208 3208 3208 3208 3208 3208 3208 3214 3214 3214 3214 3214 3214 3214 3214 3211 3211 3211 3211 3211 3211 3211 3211 3211 3211 3211 3211 3211 3211 3211 3211 3211 3202 3202 3202 3202 3202 3202 3202 3202 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3190 3196 3196 3196 3196 3196 3196 3196 3196 3196 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3191 3181 3181 3181 3181 3181 3181 3181 3181 3181 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3154 3148 3148 3148 3148 3148 3148 3148 3148 3148 3137 3137 3137 3137 3137 3137 3137 3137 3137 3133 3133 3133 3133 3133 3133 3133 3133 3133 3397 3397 3397 3397 3397 3397 3397 3397 3397 3397 3410 3410 3410 3410 3410 3410 3410 3410 3410 3417 3417 3417 3417 3417 3417 3417 3417 3417 3417 3436 3436 3436 3436 3436 3436 3436 3436 3436 3611 3611 3611 3611 3611 3611 3611 3611 3611 3611 3802 3802 3802 3802 3802 3802 3802 3802 3802 4014 4014 4014 4014 4014 4014 4014 4014 4014 4014 4030 4030 4030 4030 4030 4030 4030 4030 4030 4068 4068 4068 4068 4068 4068 4068 4068 4068 4068 4081 4081 4081 4081 4081 4081 4081 4081 4081 4094 4094 4094 4094 4094 4094 4094 4094 4094 4094 4099 4099 4099 4099 4099 4099 4099 4099 4099 4111 4111 4111 4111 4111 4111 4111 4111 4111 4111 4120 4120 4120 4120 4120 4120 4120 4120 4120 4120 4122 4122 4122 4122 4122 4122 4122 4122 4122 4130 4130 4130 4130 4130 4130 4130 4130 4130 4130 4137 4137 4137 4137 4137 4137 4137 4137 4137 4143 4143 4143 4143 4143 4143 4143 4143 4143 4143 4150 4150 4150 4150 4150 4150 4150 4150 4150 4157 4157 4157 4157 4157 4157 4157 4157 4157 4157 4161 4161 4161 4161 4161 4161 4161 4161 4161 4168 4168 4168 4168 4168 4168 4168 4168 4168 4168 4178 4178 4178 4178 4178 4178 4178 4178 4178 4196 4196 4196 4196 4196 4196 4196 4196 4196 4196 4211 4211 4211 4211 4211 4211 4211 4211 4211 4211 4219 4219 4219 4219 4219 4219 4219 4219 4219 4233 4233 4233 4233 4233 4233 4233 4233 4233 4233 4401 4401 4401 4401 4401 4401 4401 4401 4401 4569 4569 4569 4569 4569 4569 4569 4569 4569 4569 4587 4587 4587 4587 4587 4587 4587 4587 4587 4587 4621 4621 4621 4621 4621 4621 4621 4621 4621 4798 4798 4798 4798 4798 4798 4798 4798 4798 4798 4814 4814 4814 4814 4814 4814 4814 4814 4814 4852 4852 4852 4852 4852 4852 4852 4852 4852 4852 4868 4868 4868 4868 4868 4868 4868 4868 4868 4868 4906 4906 4906 4906 4906 4906 4906 4906 4906 4922 4922 4922 4922 4922 4922 4922 4922 4922 4922 4935 4935 4935 4935 4935 4935 4935 4935 4935 4935 4948 4948 4948 4948 4948 4948 4948 4948 4948 4948 4960 4960 4960 4960 4960 4960 4960 4960 4960 4969 4969 4969 4969 4969 4969 4969 4969 4969 4969 4971 4971 4971 4971 4971 4971 4971 4971 4971 4971 4979 4979 4979 4979 4979 4979 4979 4979 4979 4979 4984 4984 4984 4984 4984 4984 4984 4984 4984 4984 4996 4996 4996 4996 4996 4996 4996 4996 4996 5005 5005 5005 5005 5005 5005 5005 5005 5005 5005 5007 5007 5007 5007 5007 5007 5007 5007 5007 5007 5015 5015 5015 5015 5015 5015 5015 5015 5015 5015 5020 5020 5020 5020 5020 5020 5020 5020 5020 5020 5025 5025 5025 5025 5025 5025 5025 5025 5025 5030 5030 5030 5030 5030 5030 5030 5030 5030 5030 5035 5035 5035 5035 5035 5035 5035 5035 5035 5035 5044 5044 5044 5044 5044 5044 5044 5044 5044 5044 5046 5046 5046 5046 5046 5046 5046 5046 5046 5046 5054 5054 5054 5054 5054 5054 5054 5054 5054 5054 5056 5056 5056 5056 5056 5056 5056 5056 5056 5056 5064 5064 5064 5064 5064 5064 5064 5064 5064 5066 5066 5066 5066 5066 5066 5066 5066 5066 5066 5072 5072 5072 5072 5072 5072 5072 5072 5072 5072 5079 5079 5079 5079 5079 5079 5079 5079 5079 5079 5086 5086 5086 5086 5086 5086 5086 5086 5086 5086 5090 5090 5090 5090 5090 5090 5090 5090 5090 5090 5097 5097 5097 5097 5097 5097 5097 5097 5097 5097 5103 5103 5103 5103 5103 5103 5103 5103 5103 5103 5109 5109 5109 5109 5109 5109 5109 5109 5109 5109 5115 5115 5115 5115 5115 5115 5115 5115 5115 5115 5121 5121 5121 5121 5121 5121 5121 5121 5121 5121 5121 5128 5128 5128 5128 5128 5128 5128 5128 5128 5128 5132 5132 5132 5132 5132 5132 5132 5132 5132 5132 5139 5139 5139 5139 5139 5139 5139 5139 5139 5139 5143 5143 5143 5143 5143 5143 5143 5143 5143 5143 5150 5150 5150 5150 5150 5150 5150 5150 5150 5150 5154 5154 5154 5154 5154 5154 5154 5154 5154 5154 5164 5164 5164 5164 5164 5164 5164 5164 5164 5164 5174 5174 5174 5174 5174 5174 5174 5174 5174 5174 5174 5184 5184 5184 5184 5184 5184 5184 5184 5184 5184 5194 5194 5194 5194 5194 5194 5194 5194 5194 5194 5209 5209 5209 5209 5209 5209 5209 5209 5209 5209 5209 5217 5217 5217 5217 5217 5217 5217 5217 5217 5217 5231 5231 5231 5231 5231 5231 5231 5231 5231 5231 5239 5239 5239 5239 5239 5239 5239 5239 5239 5239 5253 5253 5253 5253 5253 5253 5253 5253 5253 5253 5253 5261 5261 5261 5261 5261 5261 5261 5261 5261 5261 5420 5420 5420 5420 5420 5420 5420 5420 5420 5420 5420 5438 5438 5438 5438 5438 5438 5438 5438 5438 5438 5472 5472 5472 5472 5472 5472 5472 5472 5472 5472 5472 5490 5490 5490 5490 5490 5490 5490 5490 5490 5490 5524 5524 5524 5524 5524 5524 5524 5524 5524 5524 5524 5542 5542 5542 5542 5542 5542 5542 5542 5542 5542 5542 5558 5558 5558 5558 5558 5558 5558 5558 5558 5558 5558 5596 5596 5596 5596 5596 5596 5596 5596 5596 5596 5596 5612 5612 5612 5612 5612 5612 5612 5612 5612 5612 5612 5628 5628 5628 5628 5628 5628 5628 5628 5628 5628 5628 5628 5628 5692 5893 5885 5883 5878 5866 5865 5865 5863 5862 5862 5861 5861 5860 5857 5857 5855 5855 5853 5853 5849 5846 5846 5834 5834 5834 5833 5833 5833 5833 5831 5831 5831 5830 5830 5830 5829 5829 5829 5828 5828 5828 5828 5827 5827 5827 5824 5824 5824 5822 5822 5822 5822 5820 5820 5820 5818 5818 5818 5815 5815 5815 5815 5811 5811 5811 5808 5808 5808 5804 5804 5804 5804 5792 5792 5792 5780 5780 5780 5780 5780 5780 5779 5779 5779 5779 5779 5779 5777 5777 5777 5777 5777 5776 5776 5776 5776 5776 5776 5775 5775 5775 5775 5775 5775 5774 5774 5774 5774 5774 5774 5773 5773 5773 5773 5773 5772 5772 5772 5772 5772 5772 5769 5769 5769 5769 5769 5769 5767 5767 5767 5767 5767 5767 5765 5765 5765 5765 5765 5765 5763 5763 5763 5763 5763 5763 5761 5761 5761 5761 5761 5761 5758 5758 5758 5758 5758 5758 5755 5755 5755 5755 5755 5755 5751 5751 5751 5751 5751 5751 5748 5748 5748 5748 5748 5748 5738 5738 5738 5738 5738 5738 5734 5734 5734 5734 5734 5734 5722 5722 5722 5722 5722 5722 5718 5718 5718 5718 5718 5718 5706 5706 5706 5706 5706 5706 5694 5694 5694 5694 5694 5694 5694 5694 5694 5694 5694 5694 5742 5894 5883 5873 5873 5871 5871 5868 5866 5866 5864 5864 5860 5857 5857 5849 5849 5849 5847 5847 5847 5847 5844 5844 5844 5842 5842 5842 5840 5840 5840 5838 5838 5838 5838 5835 5835 5835 5831 5831 5831 5828 5828 5828 5828 5824 5824 5824 5816 5816 5816 5816 5808 5808 5808 5808 5808 5806 5806 5806 5806 5806 5806 5803 5803 5803 5803 5803 5803 5801 5801 5801 5801 5801 5799 5799 5799 5799 5799 5799 5797 5797 5797 5797 5797 5797 5795 5795 5795 5795 5795 5795 5792 5792 5792 5792 5792 5792 5789 5789 5789 5789 5789 5789 5785 5785 5785 5785 5785 5785 5782 5782 5782 5782 5782 5782 5774 5774 5774 5774 5774 5774 5770 5770 5770 5770 5770 5770 5762 5762 5762 5762 5762 5762 5758 5758 5758 5758 5758 5758 5750 5750 5750 5750 5750 5750 5742 5742 5742 5742 5742 5742 5742 5742 5742 5742 5742 5742 5766 5910 5902 5892 5892 5891 5888 5888 5887 5887 5886 5882 5882 5879 5879 5870 5870 5870 5869 5869 5869 5866 5866 5866 5866 5865 5865 5865 5864 5864 5864 5863 5863 5863 5860 5860 5860 5860 5856 5856 5856 5853 5853 5853 5853 5849 5849 5849 5840 5840 5840 5831 5831 5831 5831 5831 5831 5830 5830 5830 5830 5830 5830 5827 5827 5827 5827 5827 5827 5826 5826 5826 5826 5826 5825 5825 5825 5825 5825 5825 5824 5824 5824 5824 5824 5824 5823 5823 5823 5823 5823 5823 5820 5820 5820 5820 5820 5820 5817 5817 5817 5817 5817 5817 5813 5813 5813 5813 5813 5810 5810 5810 5810 5810 5810 5801 5801 5801 5801 5801 5801 5797 5797 5797 5797 5797 5797 5788 5788 5788 5788 5788 5788 5784 5784 5784 5784 5784 5784 5775 5775 5775 5775 5775 5775 5766 5766 5766 5766 5766 5766 5766 5766 5766 5766 5766 5766 5766 5786 5899 5893 5889 5884 5872 5871 5871 5869 5869 5868 5867 5867 5866 5866 5863 5861 5861 5859 5859 5855 5855 5852 5840 5840 5840 5840 5840 5840 5839 5839 5839 5839 5839 5839 5837 5837 5837 5837 5837 5837 5836 5836 5836 5836 5836 5835 5835 5835 5835 5835 5835 5834 5834 5834 5834 5834 5834 5833 5833 5833 5833 5833 5833 5830 5830 5830 5830 5830 5830 5828 5828 5828 5828 5828 5826 5826 5826 5826 5826 5826 5824 5824 5824 5824 5824 5824 5821 5821 5821 5821 5821 5821 5817 5817 5817 5817 5817 5817 5814 5814 5814 5814 5814 5814 5810 5810 5810 5810 5810 5810 5800 5800 5800 5800 5800 5800 5788 5788 5788 5788 5788 5788 5788 5788 5788 5788 5788 5788 5788 5806 5919 5911 5909 5904 5891 5890 5890 5888 5887 5887 5886 5886 5885 5882 5882 5880 5880 5878 5878 5874 5871 5871 5858 5858 5858 5857 5857 5857 5857 5855 5855 5855 5854 5854 5854 5853 5853 5853 5852 5852 5852 5852 5851 5851 5851 5848 5848 5848 5846 5846 5846 5846 5844 5844 5844 5842 5842 5842 5839 5839 5839 5839 5835 5835 5835 5832 5832 5832 5828 5828 5828 5828 5818 5818 5818 5806 5806 5806 5806 5806 5806 5806 5806 5806 5806 5806 5806 5806 5818 5931 5923 5921 5916 5901 5901 5901 5900 5900 5900 5898 5898 5898 5897 5897 5897 5896 5896 5896 5896 5895 5895 5895 5892 5892 5892 5890 5890 5890 5890 5888 5888 5888 5884 5884 5884 5881 5881 5881 5881 5866 5866 5866 5866 5866 5866 5865 5865 5865 5865 5865 5863 5863 5863 5863 5863 5863 5862 5862 5862 5862 5862 5862 5861 5861 5861 5861 5861 5860 5860 5860 5860 5860 5860 5859 5859 5859 5859 5859 5859 5856 5856 5856 5856 5856 5856 5854 5854 5854 5854 5854 5854 5852 5852 5852 5852 5852 5852 5850 5850 5850 5850 5850 5850 5847 5847 5847 5847 5847 5847 5843 5843 5843 5843 5843 5843 5840 5840 5840 5840 5840 5840 5836 5836 5836 5836 5836 5836 5826 5826 5826 5826 5826 5826 5813 5813 5813 5813 5813 5813 5813 5813 5813 5813 5813 5813 5829 5954 5947 5939 5939 5938 5936 5936 5935 5935 5934 5930 5930 5928 5928 5921 5921 5921 5920 5920 5920 5918 5918 5918 5917 5917 5917 5917 5916 5916 5916 5915 5915 5915 5911 5911 5911 5911 5909 5909 5909 5907 5907 5907 5903 5903 5903 5903 5896 5896 5896 5889 5889 5889 5889 5889 5889 5888 5888 5888 5888 5888 5888 5886 5886 5886 5886 5886 5885 5885 5885 5885 5885 5885 5884 5884 5884 5884 5884 5884 5883 5883 5883 5883 5883 5883 5882 5882 5882 5882 5882 5878 5878 5878 5878 5878 5878 5876 5876 5876 5876 5876 5876 5874 5874 5874 5874 5874 5874 5872 5872 5872 5872 5872 5872 5868 5868 5868 5868 5868 5868 5864 5864 5864 5864 5864 5864 5857 5857 5857 5857 5857 5857 5850 5850 5850 5850 5850 5850 5843 5843 5843 5843 5843 5843 5836 5836 5836 5836 5836 5836 5836 5836 5836 5836 5836 5836 5836 5836 5927 5927 5926 5926 5924 5923 5923 5922 5922 5919 5917 5917 5905 5905 5905 5904 5904 5904 5904 5902 5902 5902 5901 5901 5901 5900 5900 5900 5899 5899 5899 5899 5896 5896 5896 5894 5894 5894 5892 5892 5892 5892 5889 5889 5889 5877 5877 5877 5865 5865 5865 5865 5865 5865 5864 5864 5864 5864 5864 5864 5862 5862 5862 5862 5862 5862 5861 5861 5861 5861 5861 5860 5860 5860 5860 5860 5860 5859 5859 5859 5859 5859 5859 5858 5858 5858 5858 5858 5858 5855 5855 5855 5855 5855 5855 5853 5853 5853 5853 5853 5853 5851 5851 5851 5851 5851 5849 5849 5849 5849 5849 5849 5846 5846 5846 5846 5846 5846 5843 5843 5843 5843 5843 5843 5831 5831 5831 5831 5831 5831 5821 5821 5821 5821 5821 5821 5809 5809 5809 5809 5809 5809 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5797 5845 5963 5952 5952 5949 5945 5945 5942 5942 5934 5934 5934 5931 5931 5931 5928 5928 5928 5924 5924 5924 5921 5921 5921 5921 5917 5917 5917 5909 5909 5909 5909 5901 5901 5901 5901 5901 5898 5898 5898 5898 5898 5898 5895 5895 5895 5895 5895 5895 5892 5892 5892 5892 5892 5892 5888 5888 5888 5888 5888 5885 5885 5885 5885 5885 5885 5877 5877 5877 5877 5877 5877 5873 5873 5873 5873 5873 5873 5865 5865 5865 5865 5865 5865 5861 5861 5861 5861 5861 5861 5853 5853 5853 5853 5853 5853 5845 5845 5845 5845 5845 5845 5845 5845 5845 5845 5845 5845 5845 5864 5956 5949 5941 5941 5939 5936 5936 5934 5932 5932 5928 5928 5925 5925 5917 5917 5917 5917 5917 5915 5915 5915 5915 5915 5915 5912 5912 5912 5912 5912 5912 5910 5910 5910 5910 5910 5910 5908 5908 5908 5908 5908 5906 5906 5906 5906 5906 5906 5903 5903 5903 5903 5903 5903 5899 5899 5899 5899 5899 5899 5896 5896 5896 5896 5896 5896 5892 5892 5892 5892 5892 5892 5884 5884 5884 5884 5884 5884 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5890 5978 5973 5958 5958 5956 5953 5953 5951 5951 5949 5945 5945 5942 5942 5929 5929 5929 5927 5927 5927 5924 5924 5924 5922 5922 5922 5922 5920 5920 5920 5918 5918 5918 5915 5915 5915 5915 5911 5911 5911 5908 5908 5908 5904 5904 5904 5904 5896 5896 5896 5888 5888 5888 5888 5888 5888 5888 5888 5888 5888 5888 5888 5888 5892 5972 5965 5950 5950 5950 5948 5948 5948 5945 5945 5945 5945 5943 5943 5943 5941 5941 5941 5937 5937 5937 5934 5934 5934 5934 5919 5919 5919 5919 5919 5919 5917 5917 5917 5917 5917 5914 5914 5914 5914 5914 5914 5912 5912 5912 5912 5912 5912 5910 5910 5910 5910 5910 5910 5908 5908 5908 5908 5908 5908 5905 5905 5905 5905 5905 5901 5901 5901 5901 5901 5901 5898 5898 5898 5898 5898 5898 5894 5894 5894 5894 5894 5894 5886 5886 5886 5886 5886 5886 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5897 6004 5995 5995 5993 5989 5989 5987 5987 5980 5980 5980 5978 5978 5978 5974 5974 5974 5972 5972 5972 5970 5970 5970 5970 5966 5966 5966 5959 5959 5959 5959 5952 5952 5952 5952 5952 5950 5950 5950 5950 5950 5950 5946 5946 5946 5946 5946 5946 5944 5944 5944 5944 5944 5942 5942 5942 5942 5942 5942 5940 5940 5940 5940 5940 5940 5936 5936 5936 5936 5936 5936 5932 5932 5932 5932 5932 5932 5925 5925 5925 5925 5925 5925 5918 5918 5918 5918 5918 5918 5911 5911 5911 5911 5911 5911 5904 5904 5904 5904 5904 5904 5904 5904 5904 5904 5904 5904 5904 5904 5987 5987 5985 5982 5982 5980 5980 5972 5972 5972 5970 5970 5970 5967 5967 5967 5965 5965 5965 5965 5963 5963 5963 5960 5960 5960 5952 5952 5952 5952 5944 5944 5944 5944 5944 5942 5942 5942 5942 5942 5942 5939 5939 5939 5939 5939 5939 5937 5937 5937 5937 5937 5937 5935 5935 5935 5935 5935 5933 5933 5933 5933 5933 5933 5930 5930 5930 5930 5930 5930 5927 5927 5927 5927 5927 5927 5919 5919 5919 5919 5919 5919 5911 5911 5911 5911 5911 5911 5903 5903 5903 5903 5903 5903 5895 5895 5895 5895 5895 5895 5895 5895 5895 5895 5895 5895 5911 5911 5995 5990 5981 5980 5980 5977 5977 5976 5975 5975 5971 5971 5968 5968 5959 5959 5959 5959 5959 5958 5958 5958 5958 5958 5958 5955 5955 5955 5955 5955 5955 5954 5954 5954 5954 5954 5954 5953 5953 5953 5953 5953 5952 5952 5952 5952 5952 5952 5949 5949 5949 5949 5949 5949 5945 5945 5945 5945 5945 5945 5942 5942 5942 5942 5942 5942 5938 5938 5938 5938 5938 5938 5929 5929 5929 5929 5929 5929 5920 5920 5920 5920 5920 5920 5920 5920 5920 5920 5920 5920 5928 5928 6009 6004 5991 5990 5990 5987 5987 5986 5985 5985 5981 5981 5978 5978 5965 5965 5965 5964 5964 5964 5961 5961 5961 5960 5960 5960 5959 5959 5959 5959 5958 5958 5958 5955 5955 5955 5951 5951 5951 5951 5948 5948 5948 5944 5944 5944 5944 5935 5935 5935 5926 5926 5926 5926 5926 5926 5926 5926 5926 5926 5926 5926 5918 5918 5992 5988 5973 5973 5973 5972 5972 5972 5969 5969 5969 5968 5968 5968 5967 5967 5967 5967 5963 5963 5963 5960 5960 5960 5960 5945 5945 5945 5945 5945 5944 5944 5944 5944 5944 5944 5941 5941 5941 5941 5941 5941 5940 5940 5940 5940 5940 5939 5939 5939 5939 5939 5939 5938 5938 5938 5938 5938 5938 5935 5935 5935 5935 5935 5935 5931 5931 5931 5931 5931 5931 5928 5928 5928 5928 5928 5928 5924 5924 5924 5924 5924 5924 5915 5915 5915 5915 5915 5915 5902 5902 5902 5902 5902 5902 5902 5902 5902 5902 5902 5902 5918 5918 6014 6007 6006 6006 6002 6001 6001 5994 5994 5994 5993 5993 5993 5993 5989 5989 5989 5988 5988 5988 5987 5987 5987 5983 5983 5983 5983 5976 5976 5976 5969 5969 5969 5969 5969 5969 5968 5968 5968 5968 5968 5968 5964 5964 5964 5964 5964 5963 5963 5963 5963 5963 5963 5962 5962 5962 5962 5962 5962 5961 5961 5961 5961 5961 5961 5957 5957 5957 5957 5957 5957 5953 5953 5953 5953 5953 5953 5946 5946 5946 5946 5946 5939 5939 5939 5939 5939 5939 5932 5932 5932 5932 5932 5932 5925 5925 5925 5925 5925 5925 5925 5925 5925 5925 5925 5925 5925 5925 6007 5998 5997 5997 5994 5993 5993 5984 5984 5984 5983 5983 5983 5983 5980 5980 5980 5979 5979 5979 5978 5978 5978 5975 5975 5975 5975 5966 5966 5966 5957 5957 5957 5957 5957 5957 5956 5956 5956 5956 5956 5956 5953 5953 5953 5953 5953 5952 5952 5952 5952 5952 5952 5951 5951 5951 5951 5951 5951 5950 5950 5950 5950 5950 5950 5947 5947 5947 5947 5947 5947 5944 5944 5944 5944 5944 5944 5935 5935 5935 5935 5935 5935 5926 5926 5926 5926 5926 5926 5917 5917 5917 5917 5917 5917 5908 5908 5908 5908 5908 5908 5908 5908 5908 5908 5908 5908 5920 5982 5973 5970 5964 5952 5952 5951 5949 5949 5948 5947 5947 5946 5946 5943 5943 5941 5939 5939 5935 5935 5932 5932 5922 5922 5922 5922 5922 5922 5922 5922 5922 5922 5922 5922 5928 5994 5982 5978 5974 5957 5957 5957 5957 5957 5957 5956 5956 5956 5956 5956 5954 5954 5954 5954 5954 5954 5953 5953 5953 5953 5953 5953 5952 5952 5952 5952 5952 5952 5951 5951 5951 5951 5951 5951 5948 5948 5948 5948 5948 5946 5946 5946 5946 5946 5946 5944 5944 5944 5944 5944 5944 5940 5940 5940 5940 5940 5940 5937 5937 5937 5937 5937 5937 5927 5927 5927 5927 5927 5927 5927 5927 5927 5927 5927 5927 5927 5946 6022 6018 6011 6010 6010 6008 6008 6007 6006 6006 6002 6002 6000 6000 5993 5993 5993 5993 5993 5992 5992 5992 5992 5992 5992 5990 5990 5990 5990 5990 5990 5989 5989 5989 5989 5989 5989 5988 5988 5988 5988 5988 5987 5987 5987 5987 5987 5987 5983 5983 5983 5983 5983 5983 5981 5981 5981 5981 5981 5981 5979 5979 5979 5979 5979 5979 5975 5975 5975 5975 5975 5975 5968 5968 5968 5968 5968 5968 5961 5961 5961 5961 5961 5961 5961 5961 5961 5961 5961 5961 5957 5957 5998 5998 5997 5997 5995 5994 5994 5993 5993 5990 5988 5988 5976 5976 5976 5976 5976 5976 5975 5975 5975 5975 5975 5975 5973 5973 5973 5973 5973 5972 5972 5972 5972 5972 5972 5971 5971 5971 5971 5971 5971 5970 5970 5970 5970 5970 5970 5967 5967 5967 5967 5967 5967 5965 5965 5965 5965 5965 5965 5963 5963 5963 5963 5963 5963 5960 5960 5960 5960 5960 5960 5948 5948 5948 5948 5948 5948 5938 5938 5938 5938 5938 5938 5938 5938 5938 5938 5938 5938 5946 6011 6000 5996 5992 5977 5977 5977 5976 5976 5976 5974 5974 5974 5974 5973 5973 5973 5972 5972 5972 5971 5971 5971 5968 5968 5968 5968 5966 5966 5966 5964 5964 5964 5960 5960 5960 5960 5957 5957 5957 5947 5947 5947 5947 5947 5947 5947 5947 5947 5947 5947 5947 5947 5965 6037 6033 6026 6025 6025 6023 6023 6022 6021 6021 6017 6017 6015 6015 6008 6008 6008 6007 6007 6007 6005 6005 6005 6004 6004 6004 6003 6003 6003 6003 6002 6002 6002 5998 5998 5998 5996 5996 5996 5996 5994 5994 5994 5990 5990 5990 5983 5983 5983 5983 5976 5976 5976 5976 5976 5976 5976 5976 5976 5976 5976 5976 5964 5964 6004 6004 6003 6003 6001 6000 6000 5999 5999 5996 5994 5994 5981 5981 5981 5980 5980 5980 5980 5978 5978 5978 5977 5977 5977 5976 5976 5976 5975 5975 5975 5975 5972 5972 5972 5970 5970 5970 5968 5968 5968 5968 5965 5965 5965 5953 5953 5953 5943 5943 5943 5943 5943 5943 5943 5943 5943 5943 5943 5943 5943 5947 6011 6008 6000 6000 6000 5999 5999 5999 5997 5997 5997 5997 5996 5996 5996 5995 5995 5995 5991 5991 5991 5991 5989 5989 5989 5982 5982 5982 5982 5982 5982 5981 5981 5981 5981 5981 5979 5979 5979 5979 5979 5979 5978 5978 5978 5978 5978 5978 5977 5977 5977 5977 5977 5977 5976 5976 5976 5976 5976 5976 5972 5972 5972 5972 5972 5970 5970 5970 5970 5970 5970 5968 5968 5968 5968 5968 5968 5964 5964 5964 5964 5964 5964 5957 5957 5957 5957 5957 5957 5950 5950 5950 5950 5950 5950 5950 5950 5950 5950 5950 5950 5950 5934 5988 5972 5972 5972 5971 5971 5971 5969 5969 5969 5968 5968 5968 5968 5967 5967 5967 5964 5964 5964 5962 5962 5962 5962 5947 5947 5947 5947 5947 5946 5946 5946 5946 5946 5946 5944 5944 5944 5944 5944 5944 5943 5943 5943 5943 5943 5943 5942 5942 5942 5942 5942 5941 5941 5941 5941 5941 5941 5938 5938 5938 5938 5938 5938 5936 5936 5936 5936 5936 5936 5934 5934 5934 5934 5934 5934 5931 5931 5931 5931 5931 5931 5918 5918 5918 5918 5918 5918 5908 5908 5908 5908 5908 5908 5908 5908 5908 5908 5908 5908 5908 5908 5979 5979 5978 5976 5976 5975 5975 5963 5963 5963 5962 5962 5962 5960 5960 5960 5959 5959 5959 5958 5958 5958 5958 5946 5946 5946 5944 5944 5944 5944 5932 5932 5932 5932 5932 5931 5931 5931 5931 5931 5931 5929 5929 5929 5929 5929 5929 5928 5928 5928 5928 5928 5927 5927 5927 5927 5927 5927 5926 5926 5926 5926 5926 5926 5914 5914 5914 5914 5914 5914 5912 5912 5912 5912 5912 5912 5910 5910 5910 5910 5910 5910 5898 5898 5898 5898 5898 5898 5886 5886 5886 5886 5886 5886 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5891 5891 5891 5891 5891 5891 5891 5891 5891 5891 5891 5891 5891 5895 5895 5895 5895 5895 5895 5895 5895 5895 5895 5895 5895 5895 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5876 5860 5860 5860 5860 5860 5860 5860 5860 5860 5860 5860 5860 5860 5867 5867 5867 5867 5867 5867 5867 5867 5867 5867 5867 5867 5867 5867 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5865 5883 5883 5883 5883 5883 5883 5883 5883 5883 5883 5883 5883 5883 5878 5878 5878 5878 5878 5878 5878 5878 5878 5878 5878 5878 5878 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5889 5889 5889 5889 5889 5889 5889 5889 5889 5889 5889 5889 5889 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5873 5846 5846 5846 5846 5846 5846 5846 5846 5846 5846 5846 5846 5846 5822 5822 5822 5822 5822 5822 5822 5822 5822 5822 5822 5822 5822 5822 5828 5828 5828 5828 5828 5828 5828 5828 5828 5828 5828 5828 5828 5826 5826 5826 5826 5826 5826 5826 5826 5826 5826 5826 5826 5826 5826 5844 5844 5844 5844 5844 5844 5844 5844 5844 5844 5844 5844 5844 5844 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5835 5831 5831 5831 5831 5831 5831 5831 5831 5831 5831 5831 5831 5831 5831 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5847 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5829 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5801 5745 5745 5745 5745 5745 5745 5745 5745 5745 5745 5745 5745 5745 5745 5753 5753 5753 5753 5753 5753 5753 5753 5753 5753 5753 5753 5753 5753 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5751 5744 5744 5744 5744 5744 5744 5744 5744 5744 5744 5744 5744 5744 5744 5744 5738 5738 5738 5738 5738 5738 5738 5738 5738 5738 5738 5738 5738 5738 5730 5730 5730 5730 5730 5730 5730 5730 5730 5730 5730 5730 5730 5730 5701 5701 5701 5701 5701 5701 5701 5701 5701 5701 5701 5701 5701 5701 5698 5698 5698 5698 5698 5698 5698 5698 5698 5698 5698 5698 5698 5698 5692 5692 5692 5692 5692 5692 5692 5692 5692 5692 5692 5692 5692 5692 5692 5681 5681 5681 5681 5681 5681 5681 5681 5681 5681 5681 5681 5681 5681 5684 5684 5684 5684 5684 5684 5684 5684 5684 5684 5684 5684 5684 5684 6021 6021 6021 6021 6021 6021 6021 6021 6021 6021 6021 6021 6021 6021 6021 6032 6032 6032 6032 6032 6032 6032 6032 6032 6032 6032 6032 6032 6032 6032 6039 6039 6039 6039 6039 6039 6039 6039 6039 6039 6039 6039 6039 6039 6039 6056 6056 6056 6056 6056 6056 6056 6056 6056 6056 6056 6056 6056 6056 6056 6236 6236 6236 6236 6236 6236 6236 6236 6236 6236 6236 6236 6236 6236 6236 6429 6429 6429 6429 6429 6429 6429 6429 6429 6429 6429 6429 6429 6429 6429 6630 6630 6630 6630 6630 6630 6630 6630 6630 6630 6630 6630 6630 6630 6630 6877 6877 6877 6877 6877 6877 6877 6877 6877 6877 6877 6877 6877 6877 6877 6893 6893 6893 6893 6893 6893 6893 6893 6893 6893 6893 6893 6893 6893 6893 6931 6931 6931 6931 6931 6931 6931 6931 6931 6931 6931 6931 6931 6931 6931 6942 6942 6942 6942 6942 6942 6942 6942 6942 6942 6942 6942 6942 6942 6942 6953 6953 6953 6953 6953 6953 6953 6953 6953 6953 6953 6953 6953 6953 6953 6958 6958 6958 6958 6958 6958 6958 6958 6958 6958 6958 6958 6958 6958 6969 6969 6969 6969 6969 6969 6969 6969 6969 6969 6969 6969 6969 6969 6969 6980 6980 6980 6980 6980 6980 6980 6980 6980 6980 6980 6980 6980 6980 6980 6989 6989 6989 6989 6989 6989 6989 6989 6989 6989 6989 6989 6989 6989 6989 6991 6991 6991 6991 6991 6991 6991 6991 6991 6991 6991 6991 6991 6991 6991 6999 6999 6999 6999 6999 6999 6999 6999 6999 6999 6999 6999 6999 6999 6999 7006 7006 7006 7006 7006 7006 7006 7006 7006 7006 7006 7006 7006 7006 7006 7012 7012 7012 7012 7012 7012 7012 7012 7012 7012 7012 7012 7012 7012 7012 7019 7019 7019 7019 7019 7019 7019 7019 7019 7019 7019 7019 7019 7019 7019 7026 7026 7026 7026 7026 7026 7026 7026 7026 7026 7026 7026 7026 7026 7026 7033 7033 7033 7033 7033 7033 7033 7033 7033 7033 7033 7033 7033 7033 7033 7037 7037 7037 7037 7037 7037 7037 7037 7037 7037 7037 7037 7037 7037 7037 7044 7044 7044 7044 7044 7044 7044 7044 7044 7044 7044 7044 7044 7044 7044 7054 7054 7054 7054 7054 7054 7054 7054 7054 7054 7054 7054 7054 7054 7054 7071 7071 7071 7071 7071 7071 7071 7071 7071 7071 7071 7071 7071 7071 7071 7088 7088 7088 7088 7088 7088 7088 7088 7088 7088 7088 7088 7088 7088 7088 7103 7103 7103 7103 7103 7103 7103 7103 7103 7103 7103 7103 7103 7103 7103 7111 7111 7111 7111 7111 7111 7111 7111 7111 7111 7111 7111 7111 7111 7111 7125 7125 7125 7125 7125 7125 7125 7125 7125 7125 7125 7125 7125 7125 7125 7300 7300 7300 7300 7300 7300 7300 7300 7300 7300 7300 7300 7300 7300 7300 7475 7475 7475 7475 7475 7475 7475 7475 7475 7475 7475 7475 7475 7475 7475 7650 7650 7650 7650 7650 7650 7650 7650 7650 7650 7650 7650 7650 7650 7650 7650 7668 7668 7668 7668 7668 7668 7668 7668 7668 7668 7668 7668 7668 7668 7668 7702 7702 7702 7702 7702 7702 7702 7702 7702 7702 7702 7702 7702 7702 7702 7888 7888 7888 7888 7888 7888 7888 7888 7888 7888 7888 7888 7888 7888 7888 8072 8072 8072 8072 8072 8072 8072 8072 8072 8072 8072 8072 8072 8072 8072 8088 8088 8088 8088 8088 8088 8088 8088 8088 8088 8088 8088 8088 8088 8088 8126 8126 8126 8126 8126 8126 8126 8126 8126 8126 8126 8126 8126 8126 8126 8314 8314 8314 8314 8314 8314 8314 8314 8314 8314 8314 8314 8314 8314 8314 8330 8330 8330 8330 8330 8330 8330 8330 8330 8330 8330 8330 8330 8330 8330 8368 8368 8368 8368 8368 8368 8368 8368 8368 8368 8368 8368 8368 8368 8368 8384 8384 8384 8384 8384 8384 8384 8384 8384 8384 8384 8384 8384 8384 8384 8422 8422 8422 8422 8422 8422 8422 8422 8422 8422 8422 8422 8422 8422 8422 8438 8438 8438 8438 8438 8438 8438 8438 8438 8438 8438 8438 8438 8438 8438 8438 8449 8449 8449 8449 8449 8449 8449 8449 8449 8449 8449 8449 8449 8449 8449 8460 8460 8460 8460 8460 8460 8460 8460 8460 8460 8460 8460 8460 8460 8460 8471 8471 8471 8471 8471 8471 8471 8471 8471 8471 8471 8471 8471 8471 8471 8482 8482 8482 8482 8482 8482 8482 8482 8482 8482 8482 8482 8482 8482 8482 8482 8491 8491 8491 8491 8491 8491 8491 8491 8491 8491 8491 8491 8491 8491 8491 8493 8493 8493 8493 8493 8493 8493 8493 8493 8493 8493 8493 8493 8493 8493 8501 8501 8501 8501 8501 8501 8501 8501 8501 8501 8501 8501 8501 8501 8501 8501 8506 8506 8506 8506 8506 8506 8506 8506 8506 8506 8506 8506 8506 8506 8506 8517 8517 8517 8517 8517 8517 8517 8517 8517 8517 8517 8517 8517 8517 8517 8528 8528 8528 8528 8528 8528 8528 8528 8528 8528 8528 8528 8528 8528 8528 8537 8537 8537 8537 8537 8537 8537 8537 8537 8537 8537 8537 8537 8537 8537 8537 8539 8539 8539 8539 8539 8539 8539 8539 8539 8539 8539 8539 8539 8539 8539 8547 8547 8547 8547 8547 8547 8547 8547 8547 8547 8547 8547 8547 8547 8547 8552 8552 8552 8552 8552 8552 8552 8552 8552 8552 8552 8552 8552 8552 8552 8552 8557 8557 8557 8557 8557 8557 8557 8557 8557 8557 8557 8557 8557 8557 8557 8562 8562 8562 8562 8562 8562 8562 8562 8562 8562 8562 8562 8562 8562 8562 8567 8567 8567 8567 8567 8567 8567 8567 8567 8567 8567 8567 8567 8567 8567 8572 8572 8572 8572 8572 8572 8572 8572 8572 8572 8572 8572 8572 8572 8572 8572 8583 8583 8583 8583 8583 8583 8583 8583 8583 8583 8583 8583 8583 8583 8583 8592 8592 8592 8592 8592 8592 8592 8592 8592 8592 8592 8592 8592 8592 8592 8594 8594 8594 8594 8594 8594 8594 8594 8594 8594 8594 8594 8594 8594 8594 8594 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8602 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8611 8613 8613 8613 8613 8613 8613 8613 8613 8613 8613 8613 8613 8613 8613 8613 8613 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8621 8623 8623 8623 8623 8623 8623 8623 8623 8623 8623 8623 8623 8623 8623 8623 8623 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8631 8633 8633 8633 8633 8633 8633 8633 8633 8633 8633 8633 8633 8633 8633 8633 8633 8639 8639 8639 8639 8639 8639 8639 8639 8639 8639 8639 8639 8639 8639 8639 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8646 8653 8653 8653 8653 8653 8653 8653 8653 8653 8653 8653 8653 8653 8653 8653 8660 8660 8660 8660 8660 8660 8660 8660 8660 8660 8660 8660 8660 8660 8660 8660 8664 8664 8664 8664 8664 8664 8664 8664 8664 8664 8664 8664 8664 8664 8664 8671 8671 8671 8671 8671 8671 8671 8671 8671 8671 8671 8671 8671 8671 8671 8671 8677 8677 8677 8677 8677 8677 8677 8677 8677 8677 8677 8677 8677 8677 8677 8677 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8683 8689 8689 8689 8689 8689 8689 8689 8689 8689 8689 8689 8689 8689 8689 8689 8689 8695 8695 8695 8695 8695 8695 8695 8695 8695 8695 8695 8695 8695 8695 8695 8701 8701 8701 8701 8701 8701 8701 8701 8701 8701 8701 8701 8701 8701 8701 8701 8708 8708 8708 8708 8708 8708 8708 8708 8708 8708 8708 8708 8708 8708 8708 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8715 8719 8719 8719 8719 8719 8719 8719 8719 8719 8719 8719 8719 8719 8719 8719 8719 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8726 8733 8733 8733 8733 8733 8733 8733 8733 8733 8733 8733 8733 8733 8733 8733 8733 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8737 8744 8744 8744 8744 8744 8744 8744 8744 8744 8744 8744 8744 8744 8744 8744 8744 8748 8748 8748 8748 8748 8748 8748 8748 8748 8748 8748 8748 8748 8748 8748 8748 8755 8755 8755 8755 8755 8755 8755 8755 8755 8755 8755 8755 8755 8755 8755 8755 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8759 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8769 8779 8779 8779 8779 8779 8779 8779 8779 8779 8779 8779 8779 8779 8779 8779 8779 8789 8789 8789 8789 8789 8789 8789 8789 8789 8789 8789 8789 8789 8789 8789 8789 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8799 8809 8809 8809 8809 8809 8809 8809 8809 8809 8809 8809 8809 8809 8809 8809 8809 8826 8826 8826 8826 8826 8826 8826 8826 8826 8826 8826 8826 8826 8826 8826 8841 8841 8841 8841 8841 8841 8841 8841 8841 8841 8841 8841 8841 8841 8841 8841 8849 8849 8849 8849 8849 8849 8849 8849 8849 8849 8849 8849 8849 8849 8849 8849 8863 8863 8863 8863 8863 8863 8863 8863 8863 8863 8863 8863 8863 8863 8863 8863 8878 8878 8878 8878 8878 8878 8878 8878 8878 8878 8878 8878 8878 8878 8878 8878 8886 8886 8886 8886 8886 8886 8886 8886 8886 8886 8886 8886 8886 8886 8886 8886 8900 8900 8900 8900 8900 8900 8900 8900 8900 8900 8900 8900 8900 8900 8900 8900 8908 8908 8908 8908 8908 8908 8908 8908 8908 8908 8908 8908 8908 8908 8908 8908 8922 8922 8922 8922 8922 8922 8922 8922 8922 8922 8922 8922 8922 8922 8922 8922 8930 8930 8930 8930 8930 8930 8930 8930 8930 8930 8930 8930 8930 8930 8930 8930 9098 9098 9098 9098 9098 9098 9098 9098 9098 9098 9098 9098 9098 9098 9098 9098 9266 9266 9266 9266 9266 9266 9266 9266 9266 9266 9266 9266 9266 9266 9266 9266 9284 9284 9284 9284 9284 9284 9284 9284 9284 9284 9284 9284 9284 9284 9284 9284 9318 9318 9318 9318 9318 9318 9318 9318 9318 9318 9318 9318 9318 9318 9318 9318 9486 9486 9486 9486 9486 9486 9486 9486 9486 9486 9486 9486 9486 9486 9486 9486 9486 9504 9504 9504 9504 9504 9504 9504 9504 9504 9504 9504 9504 9504 9504 9504 9504 9538 9538 9538 9538 9538 9538 9538 9538 9538 9538 9538 9538 9538 9538 9538 9538 9556 9556 9556 9556 9556 9556 9556 9556 9556 9556 9556 9556 9556 9556 9556 9556 9590 9590 9590 9590 9590 9590 9590 9590 9590 9590 9590 9590 9590 9590 9590 9590 9590 9608 9608 9608 9608 9608 9608 9608 9608 9608 9608 9608 9608 9608 9608 9608 9608 9783 9783 9783 9783 9783 9783 9783 9783 9783 9783 9783 9783 9783 9783 9783 9783 9799 9799 9799 9799 9799 9799 9799 9799 9799 9799 9799 9799 9799 9799 9799 9799 9799 9837 9837 9837 9837 9837 9837 9837 9837 9837 9837 9837 9837 9837 9837 9837 9837 9853 9853 9853 9853 9853 9853 9853 9853 9853 9853 9853 9853 9853 9853 9853 9853 9853 9891 9891 9891 9891 9891 9891 9891 9891 9891 9891 9891 9891 9891 9891 9891 9891 9907 9907 9907 9907 9907 9907 9907 9907 9907 9907 9907 9907 9907 9907 9907 9907 9907 9923 9923 9923 9923 9923 9923 9923 9923 9923 9923 9923 9923 9923 9923 9923 9923 9923 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9961 9977 9977 9977 9977 9977 9977 9977 9977 9977 9977 9977 9977 9977 9977 9977 9977 9977 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 9993 10169 10169 10501 10497 10493 10479 10479 10478 10476 10476 10475 10475 10474 10473 10473 10470 10470 10468 10466 10466 10462 10462 10459 10459 10447 10447 10447 10446 10446 10446 10444 10444 10444 10443 10443 10443 10443 10442 10442 10442 10441 10441 10441 10440 10440 10440 10437 10437 10437 10437 10435 10435 10435 10433 10433 10433 10431 10431 10431 10431 10428 10428 10428 10424 10424 10424 10424 10421 10421 10421 10417 10417 10417 10405 10405 10405 10405 10393 10393 10393 10393 10393 10393 10392 10392 10392 10392 10392 10390 10390 10390 10390 10390 10390 10389 10389 10389 10389 10389 10389 10388 10388 10388 10388 10388 10387 10387 10387 10387 10387 10387 10386 10386 10386 10386 10386 10386 10385 10385 10385 10385 10385 10385 10382 10382 10382 10382 10382 10382 10380 10380 10380 10380 10380 10380 10378 10378 10378 10378 10378 10378 10376 10376 10376 10376 10376 10376 10374 10374 10374 10374 10374 10374 10371 10371 10371 10371 10371 10368 10368 10368 10368 10368 10368 10364 10364 10364 10364 10364 10364 10361 10361 10361 10361 10361 10361 10349 10349 10349 10349 10349 10349 10345 10345 10345 10345 10345 10345 10333 10333 10333 10333 10333 10333 10329 10329 10329 10329 10329 10329 10317 10317 10317 10317 10317 10317 10305 10305 10305 10305 10305 10305 10305 10305 10305 10305 10304 10304 10304 10304 10304 10304 10304 10304 10304 10302 10302 10302 10302 10302 10302 10302 10302 10302 10302 10301 10301 10301 10301 10301 10301 10301 10301 10301 10300 10300 10300 10300 10300 10300 10300 10300 10300 10300 10299 10299 10299 10299 10299 10299 10299 10299 10299 10298 10298 10298 10298 10298 10298 10298 10298 10298 10298 10297 10297 10297 10297 10297 10297 10297 10297 10297 10296 10296 10296 10296 10296 10296 10296 10296 10296 10296 10293 10293 10293 10293 10293 10293 10293 10293 10293 10293 10291 10291 10291 10291 10291 10291 10291 10291 10291 10291 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10287 10287 10287 10287 10287 10287 10287 10287 10287 10285 10285 10285 10285 10285 10285 10285 10285 10285 10285 10283 10283 10283 10283 10283 10283 10283 10283 10283 10283 10280 10280 10280 10280 10280 10280 10280 10280 10280 10280 10277 10277 10277 10277 10277 10277 10277 10277 10277 10274 10274 10274 10274 10274 10274 10274 10274 10274 10274 10270 10270 10270 10270 10270 10270 10270 10270 10270 10270 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10255 10255 10255 10255 10255 10255 10255 10255 10255 10255 10243 10243 10243 10243 10243 10243 10243 10243 10243 10239 10239 10239 10239 10239 10239 10239 10239 10239 10239 10227 10227 10227 10227 10227 10227 10227 10227 10227 10227 10215 10215 10215 10215 10215 10215 10215 10215 10215 10215 10211 10211 10211 10211 10211 10211 10211 10211 10211 10211 10199 10199 10199 10199 10199 10199 10199 10199 10199 10199 10195 10195 10195 10195 10195 10195 10195 10195 10195 10195 10183 10183 10183 10183 10183 10183 10183 10183 10183 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10171 10267 10267 10510 10497 10497 10495 10495 10492 10490 10490 10488 10488 10484 10484 10481 10473 10473 10473 10473 10471 10471 10471 10468 10468 10468 10466 10466 10466 10464 10464 10464 10462 10462 10462 10462 10459 10459 10459 10455 10455 10455 10455 10452 10452 10452 10448 10448 10448 10440 10440 10440 10440 10432 10432 10432 10432 10432 10430 10430 10430 10430 10430 10430 10427 10427 10427 10427 10427 10427 10425 10425 10425 10425 10425 10425 10423 10423 10423 10423 10423 10421 10421 10421 10421 10421 10421 10419 10419 10419 10419 10419 10419 10416 10416 10416 10416 10416 10416 10413 10413 10413 10413 10413 10413 10409 10409 10409 10409 10409 10409 10406 10406 10406 10406 10406 10406 10398 10398 10398 10398 10398 10398 10394 10394 10394 10394 10394 10394 10386 10386 10386 10386 10386 10386 10382 10382 10382 10382 10382 10382 10374 10374 10374 10374 10374 10374 10366 10366 10366 10366 10366 10366 10366 10366 10366 10364 10364 10364 10364 10364 10364 10364 10364 10364 10364 10361 10361 10361 10361 10361 10361 10361 10361 10361 10359 10359 10359 10359 10359 10359 10359 10359 10359 10359 10357 10357 10357 10357 10357 10357 10357 10357 10357 10355 10355 10355 10355 10355 10355 10355 10355 10355 10355 10353 10353 10353 10353 10353 10353 10353 10353 10353 10351 10351 10351 10351 10351 10351 10351 10351 10351 10351 10348 10348 10348 10348 10348 10348 10348 10348 10348 10348 10345 10345 10345 10345 10345 10345 10345 10345 10345 10345 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10338 10338 10338 10338 10338 10338 10338 10338 10338 10335 10335 10335 10335 10335 10335 10335 10335 10335 10335 10327 10327 10327 10327 10327 10327 10327 10327 10327 10327 10319 10319 10319 10319 10319 10319 10319 10319 10319 10319 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10307 10307 10307 10307 10307 10307 10307 10307 10307 10299 10299 10299 10299 10299 10299 10299 10299 10299 10299 10295 10295 10295 10295 10295 10295 10295 10295 10295 10295 10287 10287 10287 10287 10287 10287 10287 10287 10287 10287 10283 10283 10283 10283 10283 10283 10283 10283 10283 10283 10275 10275 10275 10275 10275 10275 10275 10275 10275 10275 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10267 10315 10555 10550 10541 10541 10540 10537 10537 10536 10535 10535 10531 10531 10528 10528 10519 10519 10519 10518 10518 10518 10515 10515 10515 10514 10514 10514 10514 10513 10513 10513 10512 10512 10512 10509 10509 10509 10505 10505 10505 10505 10502 10502 10502 10498 10498 10498 10498 10489 10489 10489 10480 10480 10480 10480 10480 10480 10479 10479 10479 10479 10479 10479 10476 10476 10476 10476 10476 10475 10475 10475 10475 10475 10475 10474 10474 10474 10474 10474 10474 10473 10473 10473 10473 10473 10472 10472 10472 10472 10472 10472 10469 10469 10469 10469 10469 10469 10466 10466 10466 10466 10466 10466 10462 10462 10462 10462 10462 10462 10459 10459 10459 10459 10459 10459 10450 10450 10450 10450 10450 10450 10446 10446 10446 10446 10446 10446 10437 10437 10437 10437 10437 10437 10433 10433 10433 10433 10433 10433 10424 10424 10424 10424 10424 10424 10415 10415 10415 10415 10415 10415 10415 10415 10415 10415 10414 10414 10414 10414 10414 10414 10414 10414 10414 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10410 10410 10410 10410 10410 10410 10410 10410 10410 10409 10409 10409 10409 10409 10409 10409 10409 10409 10409 10408 10408 10408 10408 10408 10408 10408 10408 10408 10407 10407 10407 10407 10407 10407 10407 10407 10407 10407 10406 10406 10406 10406 10406 10406 10406 10406 10406 10406 10403 10403 10403 10403 10403 10403 10403 10403 10403 10400 10400 10400 10400 10400 10400 10400 10400 10400 10400 10397 10397 10397 10397 10397 10397 10397 10397 10397 10397 10393 10393 10393 10393 10393 10393 10393 10393 10393 10393 10390 10390 10390 10390 10390 10390 10390 10390 10390 10381 10381 10381 10381 10381 10381 10381 10381 10381 10381 10372 10372 10372 10372 10372 10372 10372 10372 10372 10372 10368 10368 10368 10368 10368 10368 10368 10368 10368 10368 10359 10359 10359 10359 10359 10359 10359 10359 10359 10359 10350 10350 10350 10350 10350 10350 10350 10350 10350 10350 10346 10346 10346 10346 10346 10346 10346 10346 10346 10337 10337 10337 10337 10337 10337 10337 10337 10337 10337 10333 10333 10333 10333 10333 10333 10333 10333 10333 10333 10324 10324 10324 10324 10324 10324 10324 10324 10324 10324 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10315 10355 10558 10550 10546 10541 10529 10528 10528 10526 10526 10525 10524 10524 10523 10523 10520 10518 10518 10516 10516 10512 10512 10509 10497 10497 10497 10497 10497 10497 10496 10496 10496 10496 10496 10496 10494 10494 10494 10494 10494 10494 10493 10493 10493 10493 10493 10492 10492 10492 10492 10492 10492 10491 10491 10491 10491 10491 10491 10490 10490 10490 10490 10490 10490 10487 10487 10487 10487 10487 10487 10485 10485 10485 10485 10485 10485 10483 10483 10483 10483 10483 10483 10481 10481 10481 10481 10481 10481 10478 10478 10478 10478 10478 10474 10474 10474 10474 10474 10474 10471 10471 10471 10471 10471 10471 10467 10467 10467 10467 10467 10467 10455 10455 10455 10455 10455 10455 10443 10443 10443 10443 10443 10443 10443 10443 10443 10443 10442 10442 10442 10442 10442 10442 10442 10442 10442 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10438 10438 10438 10438 10438 10438 10438 10438 10438 10437 10437 10437 10437 10437 10437 10437 10437 10437 10437 10436 10436 10436 10436 10436 10436 10436 10436 10436 10435 10435 10435 10435 10435 10435 10435 10435 10435 10435 10432 10432 10432 10432 10432 10432 10432 10432 10432 10432 10430 10430 10430 10430 10430 10430 10430 10430 10430 10428 10428 10428 10428 10428 10428 10428 10428 10428 10428 10426 10426 10426 10426 10426 10426 10426 10426 10426 10426 10424 10424 10424 10424 10424 10424 10424 10424 10424 10424 10421 10421 10421 10421 10421 10421 10421 10421 10421 10421 10418 10418 10418 10418 10418 10418 10418 10418 10418 10414 10414 10414 10414 10414 10414 10414 10414 10414 10414 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10401 10401 10401 10401 10401 10401 10401 10401 10401 10401 10397 10397 10397 10397 10397 10397 10397 10397 10397 10397 10385 10385 10385 10385 10385 10385 10385 10385 10385 10385 10381 10381 10381 10381 10381 10381 10381 10381 10381 10369 10369 10369 10369 10369 10369 10369 10369 10369 10369 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10357 10389 10389 10585 10581 10577 10562 10562 10561 10559 10559 10558 10558 10557 10556 10556 10553 10553 10551 10549 10549 10545 10545 10542 10542 10529 10529 10529 10528 10528 10528 10526 10526 10526 10525 10525 10525 10525 10524 10524 10524 10523 10523 10523 10522 10522 10522 10519 10519 10519 10519 10517 10517 10517 10515 10515 10515 10513 10513 10513 10513 10510 10510 10510 10506 10506 10506 10506 10503 10503 10503 10499 10499 10499 10487 10487 10487 10487 10475 10475 10475 10475 10475 10475 10474 10474 10474 10474 10474 10472 10472 10472 10472 10472 10472 10471 10471 10471 10471 10471 10471 10470 10470 10470 10470 10470 10469 10469 10469 10469 10469 10469 10468 10468 10468 10468 10468 10468 10467 10467 10467 10467 10467 10467 10464 10464 10464 10464 10464 10464 10462 10462 10462 10462 10462 10462 10460 10460 10460 10460 10460 10460 10458 10458 10458 10458 10458 10458 10456 10456 10456 10456 10456 10453 10453 10453 10453 10453 10453 10450 10450 10450 10450 10450 10450 10446 10446 10446 10446 10446 10446 10443 10443 10443 10443 10443 10443 10433 10433 10433 10433 10433 10433 10429 10429 10429 10429 10429 10429 10417 10417 10417 10417 10417 10417 10413 10413 10413 10413 10413 10413 10400 10400 10400 10400 10400 10400 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10387 10419 10623 10614 10611 10605 10591 10591 10590 10588 10588 10587 10586 10586 10585 10585 10582 10582 10580 10578 10578 10574 10574 10571 10571 10557 10557 10557 10556 10556 10556 10554 10554 10554 10553 10553 10553 10552 10552 10552 10552 10551 10551 10551 10550 10550 10550 10547 10547 10547 10547 10545 10545 10545 10543 10543 10543 10541 10541 10541 10541 10538 10538 10538 10534 10534 10534 10531 10531 10531 10531 10527 10527 10527 10513 10513 10513 10513 10499 10499 10499 10499 10499 10499 10499 10499 10499 10498 10498 10498 10498 10498 10498 10498 10498 10498 10498 10496 10496 10496 10496 10496 10496 10496 10496 10496 10495 10495 10495 10495 10495 10495 10495 10495 10495 10495 10494 10494 10494 10494 10494 10494 10494 10494 10494 10493 10493 10493 10493 10493 10493 10493 10493 10493 10493 10492 10492 10492 10492 10492 10492 10492 10492 10492 10491 10491 10491 10491 10491 10491 10491 10491 10491 10491 10488 10488 10488 10488 10488 10488 10488 10488 10488 10488 10486 10486 10486 10486 10486 10486 10486 10486 10486 10486 10484 10484 10484 10484 10484 10484 10484 10484 10484 10482 10482 10482 10482 10482 10482 10482 10482 10482 10482 10480 10480 10480 10480 10480 10480 10480 10480 10480 10480 10477 10477 10477 10477 10477 10477 10477 10477 10477 10477 10474 10474 10474 10474 10474 10474 10474 10474 10474 10474 10470 10470 10470 10470 10470 10470 10470 10470 10470 10467 10467 10467 10467 10467 10467 10467 10467 10467 10467 10457 10457 10457 10457 10457 10457 10457 10457 10457 10457 10453 10453 10453 10453 10453 10453 10453 10453 10453 10453 10441 10441 10441 10441 10441 10441 10441 10441 10441 10441 10437 10437 10437 10437 10437 10437 10437 10437 10437 10437 10424 10424 10424 10424 10424 10424 10424 10424 10424 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10411 10455 10455 10651 10647 10643 10626 10626 10626 10625 10625 10625 10625 10623 10623 10623 10622 10622 10622 10621 10621 10621 10620 10620 10620 10620 10617 10617 10617 10615 10615 10615 10613 10613 10613 10613 10609 10609 10609 10606 10606 10606 10591 10591 10591 10591 10591 10591 10590 10590 10590 10590 10590 10590 10588 10588 10588 10588 10588 10588 10587 10587 10587 10587 10587 10586 10586 10586 10586 10586 10586 10585 10585 10585 10585 10585 10585 10584 10584 10584 10584 10584 10584 10581 10581 10581 10581 10581 10581 10579 10579 10579 10579 10579 10579 10577 10577 10577 10577 10577 10575 10575 10575 10575 10575 10575 10572 10572 10572 10572 10572 10572 10568 10568 10568 10568 10568 10568 10565 10565 10565 10565 10565 10565 10561 10561 10561 10561 10561 10561 10547 10547 10547 10547 10547 10547 10533 10533 10533 10533 10533 10533 10533 10533 10533 10533 10532 10532 10532 10532 10532 10532 10532 10532 10532 10530 10530 10530 10530 10530 10530 10530 10530 10530 10530 10529 10529 10529 10529 10529 10529 10529 10529 10529 10528 10528 10528 10528 10528 10528 10528 10528 10528 10528 10527 10527 10527 10527 10527 10527 10527 10527 10527 10526 10526 10526 10526 10526 10526 10526 10526 10526 10526 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10522 10522 10522 10522 10522 10522 10522 10522 10522 10520 10520 10520 10520 10520 10520 10520 10520 10520 10520 10518 10518 10518 10518 10518 10518 10518 10518 10518 10518 10516 10516 10516 10516 10516 10516 10516 10516 10516 10516 10514 10514 10514 10514 10514 10514 10514 10514 10514 10514 10511 10511 10511 10511 10511 10511 10511 10511 10511 10508 10508 10508 10508 10508 10508 10508 10508 10508 10508 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10491 10491 10491 10491 10491 10491 10491 10491 10491 10491 10487 10487 10487 10487 10487 10487 10487 10487 10487 10472 10472 10472 10472 10472 10472 10472 10472 10472 10472 10468 10468 10468 10468 10468 10468 10468 10468 10468 10468 10455 10455 10455 10455 10455 10455 10455 10455 10455 10455 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10440 10472 10682 10678 10671 10670 10670 10668 10668 10667 10666 10666 10662 10662 10660 10660 10653 10653 10653 10652 10652 10652 10650 10650 10650 10649 10649 10649 10648 10648 10648 10648 10647 10647 10647 10643 10643 10643 10641 10641 10641 10641 10639 10639 10639 10635 10635 10635 10628 10628 10628 10628 10621 10621 10621 10621 10621 10621 10620 10620 10620 10620 10620 10618 10618 10618 10618 10618 10618 10617 10617 10617 10617 10617 10617 10616 10616 10616 10616 10616 10615 10615 10615 10615 10615 10615 10614 10614 10614 10614 10614 10614 10610 10610 10610 10610 10610 10610 10608 10608 10608 10608 10608 10608 10606 10606 10606 10606 10606 10606 10604 10604 10604 10604 10604 10604 10600 10600 10600 10600 10600 10600 10596 10596 10596 10596 10596 10596 10589 10589 10589 10589 10589 10589 10582 10582 10582 10582 10582 10582 10575 10575 10575 10575 10575 10575 10568 10568 10568 10568 10568 10568 10568 10568 10568 10567 10567 10567 10567 10567 10567 10567 10567 10567 10567 10565 10565 10565 10565 10565 10565 10565 10565 10565 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10563 10563 10563 10563 10563 10563 10563 10563 10563 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10561 10561 10561 10561 10561 10561 10561 10561 10561 10560 10560 10560 10560 10560 10560 10560 10560 10560 10560 10556 10556 10556 10556 10556 10556 10556 10556 10556 10556 10554 10554 10554 10554 10554 10554 10554 10554 10554 10554 10552 10552 10552 10552 10552 10552 10552 10552 10552 10550 10550 10550 10550 10550 10550 10550 10550 10550 10550 10548 10548 10548 10548 10548 10548 10548 10548 10548 10548 10544 10544 10544 10544 10544 10544 10544 10544 10544 10544 10540 10540 10540 10540 10540 10540 10540 10540 10540 10540 10536 10536 10536 10536 10536 10536 10536 10536 10536 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10522 10522 10522 10522 10522 10522 10522 10522 10522 10522 10515 10515 10515 10515 10515 10515 10515 10515 10515 10515 10508 10508 10508 10508 10508 10508 10508 10508 10508 10508 10501 10501 10501 10501 10501 10501 10501 10501 10501 10494 10494 10494 10494 10494 10494 10494 10494 10494 10494 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10487 10652 10652 10651 10649 10649 10648 10648 10647 10647 10644 10642 10642 10630 10630 10630 10629 10629 10629 10627 10627 10627 10627 10626 10626 10626 10625 10625 10625 10624 10624 10624 10621 10621 10621 10621 10619 10619 10619 10617 10617 10617 10614 10614 10614 10614 10602 10602 10602 10590 10590 10590 10590 10590 10590 10589 10589 10589 10589 10589 10589 10587 10587 10587 10587 10587 10586 10586 10586 10586 10586 10586 10585 10585 10585 10585 10585 10585 10584 10584 10584 10584 10584 10584 10583 10583 10583 10583 10583 10583 10580 10580 10580 10580 10580 10578 10578 10578 10578 10578 10578 10576 10576 10576 10576 10576 10576 10574 10574 10574 10574 10574 10574 10571 10571 10571 10571 10571 10571 10568 10568 10568 10568 10568 10568 10556 10556 10556 10556 10556 10556 10544 10544 10544 10544 10544 10544 10532 10532 10532 10532 10532 10532 10520 10520 10520 10520 10520 10520 10520 10520 10520 10520 10519 10519 10519 10519 10519 10519 10519 10519 10519 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10516 10516 10516 10516 10516 10516 10516 10516 10516 10515 10515 10515 10515 10515 10515 10515 10515 10515 10515 10514 10514 10514 10514 10514 10514 10514 10514 10514 10513 10513 10513 10513 10513 10513 10513 10513 10513 10513 10512 10512 10512 10512 10512 10512 10512 10512 10512 10512 10509 10509 10509 10509 10509 10509 10509 10509 10509 10507 10507 10507 10507 10507 10507 10507 10507 10507 10507 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10503 10503 10503 10503 10503 10503 10503 10503 10503 10503 10501 10501 10501 10501 10501 10501 10501 10501 10501 10498 10498 10498 10498 10498 10498 10498 10498 10498 10498 10495 10495 10495 10495 10495 10495 10495 10495 10495 10495 10492 10492 10492 10492 10492 10492 10492 10492 10492 10492 10480 10480 10480 10480 10480 10480 10480 10480 10480 10480 10468 10468 10468 10468 10468 10468 10468 10468 10468 10456 10456 10456 10456 10456 10456 10456 10456 10456 10456 10444 10444 10444 10444 10444 10444 10444 10444 10444 10444 10432 10432 10432 10432 10432 10432 10432 10432 10432 10432 10420 10420 10420 10420 10420 10420 10420 10420 10420 10420 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10408 10504 10709 10698 10698 10695 10691 10691 10688 10688 10680 10680 10680 10677 10677 10677 10674 10674 10674 10670 10670 10670 10667 10667 10667 10667 10663 10663 10663 10655 10655 10655 10655 10647 10647 10647 10647 10647 10644 10644 10644 10644 10644 10644 10641 10641 10641 10641 10641 10641 10638 10638 10638 10638 10638 10638 10634 10634 10634 10634 10634 10631 10631 10631 10631 10631 10631 10623 10623 10623 10623 10623 10623 10619 10619 10619 10619 10619 10619 10611 10611 10611 10611 10611 10611 10607 10607 10607 10607 10607 10607 10599 10599 10599 10599 10599 10599 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10588 10588 10588 10588 10588 10588 10588 10588 10588 10585 10585 10585 10585 10585 10585 10585 10585 10585 10585 10582 10582 10582 10582 10582 10582 10582 10582 10582 10579 10579 10579 10579 10579 10579 10579 10579 10579 10579 10575 10575 10575 10575 10575 10575 10575 10575 10575 10572 10572 10572 10572 10572 10572 10572 10572 10572 10572 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10556 10556 10556 10556 10556 10556 10556 10556 10556 10556 10552 10552 10552 10552 10552 10552 10552 10552 10552 10552 10544 10544 10544 10544 10544 10544 10544 10544 10544 10536 10536 10536 10536 10536 10536 10536 10536 10536 10536 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10524 10524 10524 10524 10524 10524 10524 10524 10524 10524 10520 10520 10520 10520 10520 10520 10520 10520 10520 10520 10512 10512 10512 10512 10512 10512 10512 10512 10512 10512 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10504 10543 10717 10712 10702 10702 10700 10697 10697 10695 10695 10693 10689 10689 10686 10686 10678 10678 10678 10678 10678 10678 10676 10676 10676 10676 10676 10673 10673 10673 10673 10673 10673 10671 10671 10671 10671 10671 10671 10669 10669 10669 10669 10669 10669 10667 10667 10667 10667 10667 10664 10664 10664 10664 10664 10664 10660 10660 10660 10660 10660 10660 10657 10657 10657 10657 10657 10657 10653 10653 10653 10653 10653 10653 10645 10645 10645 10645 10645 10645 10637 10637 10637 10637 10637 10637 10637 10637 10637 10637 10635 10635 10635 10635 10635 10635 10635 10635 10635 10632 10632 10632 10632 10632 10632 10632 10632 10632 10632 10630 10630 10630 10630 10630 10630 10630 10630 10630 10628 10628 10628 10628 10628 10628 10628 10628 10628 10628 10626 10626 10626 10626 10626 10626 10626 10626 10626 10626 10624 10624 10624 10624 10624 10624 10624 10624 10624 10621 10621 10621 10621 10621 10621 10621 10621 10621 10621 10618 10618 10618 10618 10618 10618 10618 10618 10618 10618 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10611 10611 10611 10611 10611 10611 10611 10611 10611 10611 10603 10603 10603 10603 10603 10603 10603 10603 10603 10599 10599 10599 10599 10599 10599 10599 10599 10599 10599 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10579 10579 10579 10579 10579 10579 10579 10579 10579 10579 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10571 10599 10769 10764 10749 10749 10747 10744 10744 10742 10742 10740 10736 10736 10733 10733 10720 10720 10720 10718 10718 10718 10715 10715 10715 10715 10713 10713 10713 10711 10711 10711 10709 10709 10709 10706 10706 10706 10706 10702 10702 10702 10699 10699 10699 10695 10695 10695 10695 10687 10687 10687 10679 10679 10679 10679 10679 10679 10677 10677 10677 10677 10677 10677 10674 10674 10674 10674 10674 10672 10672 10672 10672 10672 10672 10670 10670 10670 10670 10670 10670 10668 10668 10668 10668 10668 10668 10666 10666 10666 10666 10666 10666 10663 10663 10663 10663 10663 10663 10660 10660 10660 10660 10660 10660 10656 10656 10656 10656 10656 10653 10653 10653 10653 10653 10653 10645 10645 10645 10645 10645 10645 10641 10641 10641 10641 10641 10641 10633 10633 10633 10633 10633 10633 10629 10629 10629 10629 10629 10629 10616 10616 10616 10616 10616 10616 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10603 10623 10623 10783 10778 10764 10762 10762 10759 10757 10757 10755 10755 10751 10751 10748 10734 10734 10734 10734 10732 10732 10732 10729 10729 10729 10727 10727 10727 10725 10725 10725 10723 10723 10723 10723 10720 10720 10720 10716 10716 10716 10716 10713 10713 10713 10709 10709 10709 10695 10695 10695 10695 10681 10681 10681 10681 10681 10681 10681 10681 10681 10679 10679 10679 10679 10679 10679 10679 10679 10679 10679 10676 10676 10676 10676 10676 10676 10676 10676 10676 10674 10674 10674 10674 10674 10674 10674 10674 10674 10674 10672 10672 10672 10672 10672 10672 10672 10672 10672 10670 10670 10670 10670 10670 10670 10670 10670 10670 10670 10668 10668 10668 10668 10668 10668 10668 10668 10668 10668 10665 10665 10665 10665 10665 10665 10665 10665 10665 10662 10662 10662 10662 10662 10662 10662 10662 10662 10662 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10655 10655 10655 10655 10655 10655 10655 10655 10655 10655 10647 10647 10647 10647 10647 10647 10647 10647 10647 10647 10643 10643 10643 10643 10643 10643 10643 10643 10643 10635 10635 10635 10635 10635 10635 10635 10635 10635 10635 10631 10631 10631 10631 10631 10631 10631 10631 10631 10631 10618 10618 10618 10618 10618 10618 10618 10618 10618 10618 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10605 10609 10761 10750 10733 10733 10733 10731 10731 10731 10731 10728 10728 10728 10726 10726 10726 10724 10724 10724 10720 10720 10720 10720 10717 10717 10717 10702 10702 10702 10702 10702 10702 10700 10700 10700 10700 10700 10700 10697 10697 10697 10697 10697 10695 10695 10695 10695 10695 10695 10693 10693 10693 10693 10693 10693 10691 10691 10691 10691 10691 10691 10688 10688 10688 10688 10688 10688 10684 10684 10684 10684 10684 10684 10681 10681 10681 10681 10681 10681 10677 10677 10677 10677 10677 10677 10663 10663 10663 10663 10663 10663 10649 10649 10649 10649 10649 10649 10649 10649 10649 10647 10647 10647 10647 10647 10647 10647 10647 10647 10647 10644 10644 10644 10644 10644 10644 10644 10644 10644 10642 10642 10642 10642 10642 10642 10642 10642 10642 10642 10640 10640 10640 10640 10640 10640 10640 10640 10640 10638 10638 10638 10638 10638 10638 10638 10638 10638 10638 10636 10636 10636 10636 10636 10636 10636 10636 10636 10636 10633 10633 10633 10633 10633 10633 10633 10633 10633 10630 10630 10630 10630 10630 10630 10630 10630 10630 10630 10626 10626 10626 10626 10626 10626 10626 10626 10626 10626 10623 10623 10623 10623 10623 10623 10623 10623 10623 10623 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10611 10611 10611 10611 10611 10611 10611 10611 10611 10596 10596 10596 10596 10596 10596 10596 10596 10596 10596 10592 10592 10592 10592 10592 10592 10592 10592 10592 10592 10579 10579 10579 10579 10579 10579 10579 10579 10579 10579 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10564 10612 10802 10793 10793 10791 10787 10787 10785 10785 10778 10778 10778 10776 10776 10776 10772 10772 10772 10770 10770 10770 10770 10768 10768 10768 10764 10764 10764 10757 10757 10757 10757 10750 10750 10750 10750 10750 10748 10748 10748 10748 10748 10748 10744 10744 10744 10744 10744 10744 10742 10742 10742 10742 10742 10742 10740 10740 10740 10740 10740 10738 10738 10738 10738 10738 10738 10734 10734 10734 10734 10734 10734 10730 10730 10730 10730 10730 10730 10723 10723 10723 10723 10723 10723 10716 10716 10716 10716 10716 10716 10709 10709 10709 10709 10709 10709 10702 10702 10702 10702 10702 10702 10702 10702 10702 10702 10700 10700 10700 10700 10700 10700 10700 10700 10700 10696 10696 10696 10696 10696 10696 10696 10696 10696 10696 10694 10694 10694 10694 10694 10694 10694 10694 10694 10692 10692 10692 10692 10692 10692 10692 10692 10692 10692 10690 10690 10690 10690 10690 10690 10690 10690 10690 10688 10688 10688 10688 10688 10688 10688 10688 10688 10688 10684 10684 10684 10684 10684 10684 10684 10684 10684 10684 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10676 10676 10676 10676 10676 10676 10676 10676 10676 10669 10669 10669 10669 10669 10669 10669 10669 10669 10669 10662 10662 10662 10662 10662 10662 10662 10662 10662 10662 10655 10655 10655 10655 10655 10655 10655 10655 10655 10655 10648 10648 10648 10648 10648 10648 10648 10648 10648 10648 10641 10641 10641 10641 10641 10641 10641 10641 10641 10641 10634 10634 10634 10634 10634 10634 10634 10634 10634 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10627 10780 10780 10778 10775 10775 10773 10773 10765 10765 10765 10763 10763 10763 10760 10760 10760 10758 10758 10758 10758 10756 10756 10756 10753 10753 10753 10745 10745 10745 10745 10737 10737 10737 10737 10737 10735 10735 10735 10735 10735 10735 10732 10732 10732 10732 10732 10732 10730 10730 10730 10730 10730 10730 10728 10728 10728 10728 10728 10726 10726 10726 10726 10726 10726 10723 10723 10723 10723 10723 10723 10720 10720 10720 10720 10720 10720 10712 10712 10712 10712 10712 10712 10704 10704 10704 10704 10704 10704 10696 10696 10696 10696 10696 10696 10688 10688 10688 10688 10688 10688 10688 10688 10688 10688 10686 10686 10686 10686 10686 10686 10686 10686 10686 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10681 10681 10681 10681 10681 10681 10681 10681 10681 10679 10679 10679 10679 10679 10679 10679 10679 10679 10679 10677 10677 10677 10677 10677 10677 10677 10677 10677 10675 10675 10675 10675 10675 10675 10675 10675 10675 10675 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10669 10669 10669 10669 10669 10669 10669 10669 10669 10669 10666 10666 10666 10666 10666 10666 10666 10666 10666 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10650 10650 10650 10650 10650 10650 10650 10650 10650 10650 10642 10642 10642 10642 10642 10642 10642 10642 10642 10642 10634 10634 10634 10634 10634 10634 10634 10634 10634 10634 10626 10626 10626 10626 10626 10626 10626 10626 10626 10626 10618 10618 10618 10618 10618 10618 10618 10618 10618 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10610 10646 10646 10806 10802 10793 10792 10792 10789 10788 10788 10787 10787 10783 10783 10780 10771 10771 10771 10771 10771 10771 10770 10770 10770 10770 10770 10770 10767 10767 10767 10767 10767 10767 10766 10766 10766 10766 10766 10765 10765 10765 10765 10765 10765 10764 10764 10764 10764 10764 10764 10761 10761 10761 10761 10761 10761 10757 10757 10757 10757 10757 10757 10754 10754 10754 10754 10754 10754 10750 10750 10750 10750 10750 10750 10741 10741 10741 10741 10741 10741 10732 10732 10732 10732 10732 10732 10732 10732 10732 10731 10731 10731 10731 10731 10731 10731 10731 10731 10731 10728 10728 10728 10728 10728 10728 10728 10728 10728 10727 10727 10727 10727 10727 10727 10727 10727 10727 10727 10726 10726 10726 10726 10726 10726 10726 10726 10726 10725 10725 10725 10725 10725 10725 10725 10725 10725 10725 10724 10724 10724 10724 10724 10724 10724 10724 10724 10724 10721 10721 10721 10721 10721 10721 10721 10721 10721 10721 10718 10718 10718 10718 10718 10718 10718 10718 10718 10714 10714 10714 10714 10714 10714 10714 10714 10714 10714 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10702 10702 10702 10702 10702 10702 10702 10702 10702 10702 10698 10698 10698 10698 10698 10698 10698 10698 10698 10698 10689 10689 10689 10689 10689 10689 10689 10689 10689 10689 10685 10685 10685 10685 10685 10685 10685 10685 10685 10676 10676 10676 10676 10676 10676 10676 10676 10676 10676 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10667 10689 10689 10846 10829 10829 10828 10828 10825 10824 10824 10823 10823 10819 10816 10816 10803 10803 10803 10802 10802 10802 10802 10799 10799 10799 10798 10798 10798 10797 10797 10797 10796 10796 10796 10796 10793 10793 10793 10789 10789 10789 10786 10786 10786 10786 10782 10782 10782 10773 10773 10773 10773 10764 10764 10764 10764 10764 10763 10763 10763 10763 10763 10763 10760 10760 10760 10760 10760 10760 10759 10759 10759 10759 10759 10759 10758 10758 10758 10758 10758 10757 10757 10757 10757 10757 10757 10756 10756 10756 10756 10756 10756 10753 10753 10753 10753 10753 10753 10750 10750 10750 10750 10750 10750 10746 10746 10746 10746 10746 10746 10743 10743 10743 10743 10743 10743 10734 10734 10734 10734 10734 10734 10730 10730 10730 10730 10730 10730 10721 10721 10721 10721 10721 10721 10717 10717 10717 10717 10717 10717 10704 10704 10704 10704 10704 10704 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10699 10699 10851 10846 10832 10831 10831 10828 10828 10827 10826 10826 10822 10822 10819 10819 10805 10805 10805 10804 10804 10804 10801 10801 10801 10800 10800 10800 10799 10799 10799 10799 10798 10798 10798 10795 10795 10795 10791 10791 10791 10791 10788 10788 10788 10784 10784 10784 10784 10770 10770 10770 10756 10756 10756 10756 10756 10756 10756 10756 10756 10755 10755 10755 10755 10755 10755 10755 10755 10755 10755 10752 10752 10752 10752 10752 10752 10752 10752 10752 10751 10751 10751 10751 10751 10751 10751 10751 10751 10751 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10749 10749 10749 10749 10749 10749 10749 10749 10749 10748 10748 10748 10748 10748 10748 10748 10748 10748 10748 10745 10745 10745 10745 10745 10745 10745 10745 10745 10745 10742 10742 10742 10742 10742 10742 10742 10742 10742 10738 10738 10738 10738 10738 10738 10738 10738 10738 10738 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10726 10726 10726 10726 10726 10726 10726 10726 10726 10726 10722 10722 10722 10722 10722 10722 10722 10722 10722 10722 10713 10713 10713 10713 10713 10713 10713 10713 10713 10709 10709 10709 10709 10709 10709 10709 10709 10709 10709 10696 10696 10696 10696 10696 10696 10696 10696 10696 10696 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10683 10663 10663 10802 10783 10783 10783 10783 10782 10782 10782 10779 10779 10779 10778 10778 10778 10777 10777 10777 10777 10773 10773 10773 10770 10770 10770 10755 10755 10755 10755 10755 10755 10754 10754 10754 10754 10754 10754 10751 10751 10751 10751 10751 10751 10750 10750 10750 10750 10750 10749 10749 10749 10749 10749 10749 10748 10748 10748 10748 10748 10748 10745 10745 10745 10745 10745 10745 10741 10741 10741 10741 10741 10741 10738 10738 10738 10738 10738 10738 10734 10734 10734 10734 10734 10734 10720 10720 10720 10720 10720 10720 10706 10706 10706 10706 10706 10706 10706 10706 10706 10705 10705 10705 10705 10705 10705 10705 10705 10705 10705 10702 10702 10702 10702 10702 10702 10702 10702 10702 10701 10701 10701 10701 10701 10701 10701 10701 10701 10701 10700 10700 10700 10700 10700 10700 10700 10700 10700 10699 10699 10699 10699 10699 10699 10699 10699 10699 10699 10698 10698 10698 10698 10698 10698 10698 10698 10698 10698 10695 10695 10695 10695 10695 10695 10695 10695 10695 10692 10692 10692 10692 10692 10692 10692 10692 10692 10692 10688 10688 10688 10688 10688 10688 10688 10688 10688 10688 10685 10685 10685 10685 10685 10685 10685 10685 10685 10685 10676 10676 10676 10676 10676 10676 10676 10676 10676 10676 10672 10672 10672 10672 10672 10672 10672 10672 10672 10657 10657 10657 10657 10657 10657 10657 10657 10657 10657 10653 10653 10653 10653 10653 10653 10653 10653 10653 10653 10640 10640 10640 10640 10640 10640 10640 10640 10640 10640 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10625 10657 10832 10824 10824 10823 10819 10819 10818 10818 10811 10811 10811 10810 10810 10810 10806 10806 10806 10805 10805 10805 10804 10804 10804 10804 10800 10800 10800 10793 10793 10793 10793 10786 10786 10786 10786 10786 10785 10785 10785 10785 10785 10785 10781 10781 10781 10781 10781 10781 10780 10780 10780 10780 10780 10780 10779 10779 10779 10779 10779 10778 10778 10778 10778 10778 10778 10774 10774 10774 10774 10774 10774 10770 10770 10770 10770 10770 10770 10763 10763 10763 10763 10763 10763 10756 10756 10756 10756 10756 10756 10749 10749 10749 10749 10749 10749 10742 10742 10742 10742 10742 10742 10742 10742 10742 10741 10741 10741 10741 10741 10741 10741 10741 10741 10741 10737 10737 10737 10737 10737 10737 10737 10737 10737 10737 10736 10736 10736 10736 10736 10736 10736 10736 10736 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10734 10734 10734 10734 10734 10734 10734 10734 10734 10733 10733 10733 10733 10733 10733 10733 10733 10733 10733 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10725 10725 10725 10725 10725 10725 10725 10725 10725 10721 10721 10721 10721 10721 10721 10721 10721 10721 10721 10714 10714 10714 10714 10714 10714 10714 10714 10714 10714 10707 10707 10707 10707 10707 10707 10707 10707 10707 10707 10700 10700 10700 10700 10700 10700 10700 10700 10700 10700 10693 10693 10693 10693 10693 10693 10693 10693 10693 10686 10686 10686 10686 10686 10686 10686 10686 10686 10686 10679 10679 10679 10679 10679 10679 10679 10679 10679 10679 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10809 10808 10808 10805 10805 10804 10795 10795 10795 10795 10794 10794 10794 10791 10791 10791 10790 10790 10790 10789 10789 10789 10789 10786 10786 10786 10777 10777 10777 10768 10768 10768 10768 10768 10768 10767 10767 10767 10767 10767 10767 10764 10764 10764 10764 10764 10764 10763 10763 10763 10763 10763 10762 10762 10762 10762 10762 10762 10761 10761 10761 10761 10761 10761 10758 10758 10758 10758 10758 10758 10755 10755 10755 10755 10755 10755 10746 10746 10746 10746 10746 10746 10737 10737 10737 10737 10737 10737 10728 10728 10728 10728 10728 10728 10719 10719 10719 10719 10719 10719 10719 10719 10719 10718 10718 10718 10718 10718 10718 10718 10718 10718 10718 10715 10715 10715 10715 10715 10715 10715 10715 10715 10714 10714 10714 10714 10714 10714 10714 10714 10714 10714 10713 10713 10713 10713 10713 10713 10713 10713 10713 10712 10712 10712 10712 10712 10712 10712 10712 10712 10712 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10708 10708 10708 10708 10708 10708 10708 10708 10708 10705 10705 10705 10705 10705 10705 10705 10705 10705 10705 10702 10702 10702 10702 10702 10702 10702 10702 10702 10702 10693 10693 10693 10693 10693 10693 10693 10693 10693 10693 10684 10684 10684 10684 10684 10684 10684 10684 10684 10684 10675 10675 10675 10675 10675 10675 10675 10675 10675 10666 10666 10666 10666 10666 10666 10666 10666 10666 10666 10657 10657 10657 10657 10657 10657 10657 10657 10657 10657 10648 10648 10648 10648 10648 10648 10648 10648 10648 10648 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10662 10778 10769 10766 10760 10748 10747 10747 10745 10745 10744 10743 10743 10742 10742 10739 10739 10737 10735 10735 10731 10731 10728 10728 10716 10716 10716 10716 10716 10715 10715 10715 10715 10715 10715 10713 10713 10713 10713 10713 10713 10712 10712 10712 10712 10712 10711 10711 10711 10711 10711 10711 10710 10710 10710 10710 10710 10710 10709 10709 10709 10709 10709 10709 10706 10706 10706 10706 10706 10706 10704 10704 10704 10704 10704 10704 10702 10702 10702 10702 10702 10702 10700 10700 10700 10700 10700 10700 10697 10697 10697 10697 10697 10697 10693 10693 10693 10693 10693 10690 10690 10690 10690 10690 10690 10686 10686 10686 10686 10686 10686 10676 10676 10676 10676 10676 10676 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10664 10680 10680 10792 10785 10780 10764 10764 10763 10763 10761 10760 10760 10759 10759 10758 10755 10755 10753 10753 10751 10751 10747 10744 10744 10730 10730 10730 10730 10730 10730 10730 10730 10730 10730 10729 10729 10729 10729 10729 10729 10729 10729 10729 10727 10727 10727 10727 10727 10727 10727 10727 10727 10727 10726 10726 10726 10726 10726 10726 10726 10726 10726 10725 10725 10725 10725 10725 10725 10725 10725 10725 10725 10724 10724 10724 10724 10724 10724 10724 10724 10724 10723 10723 10723 10723 10723 10723 10723 10723 10723 10723 10720 10720 10720 10720 10720 10720 10720 10720 10720 10720 10718 10718 10718 10718 10718 10718 10718 10718 10718 10718 10716 10716 10716 10716 10716 10716 10716 10716 10716 10714 10714 10714 10714 10714 10714 10714 10714 10714 10714 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10707 10707 10707 10707 10707 10707 10707 10707 10707 10707 10704 10704 10704 10704 10704 10704 10704 10704 10704 10704 10700 10700 10700 10700 10700 10700 10700 10700 10700 10690 10690 10690 10690 10690 10690 10690 10690 10690 10690 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10678 10686 10686 10794 10790 10786 10769 10769 10769 10769 10769 10769 10768 10768 10768 10768 10768 10768 10766 10766 10766 10766 10766 10765 10765 10765 10765 10765 10765 10764 10764 10764 10764 10764 10764 10763 10763 10763 10763 10763 10763 10760 10760 10760 10760 10760 10760 10758 10758 10758 10758 10758 10758 10756 10756 10756 10756 10756 10756 10752 10752 10752 10752 10752 10749 10749 10749 10749 10749 10749 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10734 10734 10734 10734 10734 10734 10734 10734 10734 10734 10732 10732 10732 10732 10732 10732 10732 10732 10732 10731 10731 10731 10731 10731 10731 10731 10731 10731 10731 10730 10730 10730 10730 10730 10730 10730 10730 10730 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10728 10728 10728 10728 10728 10728 10728 10728 10728 10725 10725 10725 10725 10725 10725 10725 10725 10725 10725 10723 10723 10723 10723 10723 10723 10723 10723 10723 10723 10721 10721 10721 10721 10721 10721 10721 10721 10721 10721 10719 10719 10719 10719 10719 10719 10719 10719 10719 10716 10716 10716 10716 10716 10716 10716 10716 10716 10716 10712 10712 10712 10712 10712 10712 10712 10712 10712 10712 10709 10709 10709 10709 10709 10709 10709 10709 10709 10709 10705 10705 10705 10705 10705 10705 10705 10705 10705 10705 10695 10695 10695 10695 10695 10695 10695 10695 10695 10695 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10680 10723 10723 10871 10868 10861 10860 10860 10858 10858 10857 10856 10856 10852 10852 10850 10843 10843 10843 10843 10843 10843 10842 10842 10842 10842 10842 10842 10840 10840 10840 10840 10840 10840 10839 10839 10839 10839 10839 10838 10838 10838 10838 10838 10838 10837 10837 10837 10837 10837 10837 10833 10833 10833 10833 10833 10833 10831 10831 10831 10831 10831 10831 10829 10829 10829 10829 10829 10829 10825 10825 10825 10825 10825 10825 10818 10818 10818 10818 10818 10818 10811 10811 10811 10811 10811 10811 10811 10811 10811 10810 10810 10810 10810 10810 10810 10810 10810 10810 10810 10808 10808 10808 10808 10808 10808 10808 10808 10808 10807 10807 10807 10807 10807 10807 10807 10807 10807 10807 10806 10806 10806 10806 10806 10806 10806 10806 10806 10805 10805 10805 10805 10805 10805 10805 10805 10805 10805 10804 10804 10804 10804 10804 10804 10804 10804 10804 10804 10800 10800 10800 10800 10800 10800 10800 10800 10800 10798 10798 10798 10798 10798 10798 10798 10798 10798 10798 10796 10796 10796 10796 10796 10796 10796 10796 10796 10796 10794 10794 10794 10794 10794 10794 10794 10794 10794 10794 10790 10790 10790 10790 10790 10790 10790 10790 10790 10790 10786 10786 10786 10786 10786 10786 10786 10786 10786 10779 10779 10779 10779 10779 10779 10779 10779 10779 10779 10772 10772 10772 10772 10772 10772 10772 10772 10772 10772 10765 10765 10765 10765 10765 10765 10765 10765 10765 10765 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10758 10750 10856 10841 10841 10840 10838 10838 10837 10837 10836 10833 10833 10831 10831 10819 10819 10819 10819 10819 10818 10818 10818 10818 10818 10818 10816 10816 10816 10816 10816 10816 10815 10815 10815 10815 10815 10815 10814 10814 10814 10814 10814 10813 10813 10813 10813 10813 10813 10810 10810 10810 10810 10810 10810 10808 10808 10808 10808 10808 10808 10806 10806 10806 10806 10806 10806 10803 10803 10803 10803 10803 10803 10791 10791 10791 10791 10791 10791 10779 10779 10779 10779 10779 10779 10779 10779 10779 10779 10778 10778 10778 10778 10778 10778 10778 10778 10778 10776 10776 10776 10776 10776 10776 10776 10776 10776 10776 10775 10775 10775 10775 10775 10775 10775 10775 10775 10774 10774 10774 10774 10774 10774 10774 10774 10774 10774 10773 10773 10773 10773 10773 10773 10773 10773 10773 10772 10772 10772 10772 10772 10772 10772 10772 10772 10772 10769 10769 10769 10769 10769 10769 10769 10769 10769 10769 10767 10767 10767 10767 10767 10767 10767 10767 10767 10767 10765 10765 10765 10765 10765 10765 10765 10765 10765 10763 10763 10763 10763 10763 10763 10763 10763 10763 10763 10760 10760 10760 10760 10760 10760 10760 10760 10760 10760 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10745 10745 10745 10745 10745 10745 10745 10745 10745 10745 10735 10735 10735 10735 10735 10735 10735 10735 10735 10723 10723 10723 10723 10723 10723 10723 10723 10723 10723 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10729 10729 10837 10833 10829 10814 10814 10813 10811 10811 10810 10810 10809 10808 10808 10805 10805 10803 10803 10801 10797 10797 10794 10794 10781 10781 10781 10780 10780 10780 10778 10778 10778 10777 10777 10777 10777 10776 10776 10776 10775 10775 10775 10774 10774 10774 10771 10771 10771 10771 10769 10769 10769 10767 10767 10767 10767 10765 10765 10765 10762 10762 10762 10758 10758 10758 10758 10755 10755 10755 10751 10751 10751 10741 10741 10741 10741 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10741 10856 10848 10844 10839 10824 10824 10824 10823 10823 10823 10821 10821 10821 10820 10820 10820 10820 10819 10819 10819 10818 10818 10818 10815 10815 10815 10813 10813 10813 10813 10811 10811 10811 10807 10807 10807 10807 10804 10804 10804 10789 10789 10789 10789 10789 10789 10788 10788 10788 10788 10788 10786 10786 10786 10786 10786 10786 10785 10785 10785 10785 10785 10785 10784 10784 10784 10784 10784 10784 10783 10783 10783 10783 10783 10782 10782 10782 10782 10782 10782 10779 10779 10779 10779 10779 10779 10777 10777 10777 10777 10777 10777 10775 10775 10775 10775 10775 10775 10773 10773 10773 10773 10773 10773 10770 10770 10770 10770 10770 10770 10766 10766 10766 10766 10766 10766 10763 10763 10763 10763 10763 10763 10759 10759 10759 10759 10759 10759 10749 10749 10749 10749 10749 10749 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10736 10780 10925 10921 10914 10913 10913 10911 10911 10910 10909 10909 10905 10905 10903 10903 10896 10896 10896 10895 10895 10895 10893 10893 10893 10892 10892 10892 10891 10891 10891 10891 10890 10890 10890 10886 10886 10886 10884 10884 10884 10884 10882 10882 10882 10878 10878 10878 10871 10871 10871 10871 10864 10864 10864 10864 10864 10864 10863 10863 10863 10863 10863 10861 10861 10861 10861 10861 10861 10860 10860 10860 10860 10860 10860 10859 10859 10859 10859 10859 10859 10858 10858 10858 10858 10858 10857 10857 10857 10857 10857 10857 10853 10853 10853 10853 10853 10853 10851 10851 10851 10851 10851 10851 10849 10849 10849 10849 10849 10849 10847 10847 10847 10847 10847 10847 10843 10843 10843 10843 10843 10843 10839 10839 10839 10839 10839 10839 10832 10832 10832 10832 10832 10832 10825 10825 10825 10825 10825 10825 10818 10818 10818 10818 10818 10818 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10811 10787 10891 10877 10876 10876 10874 10874 10873 10872 10872 10869 10869 10867 10867 10854 10854 10854 10853 10853 10853 10851 10851 10851 10850 10850 10850 10849 10849 10849 10849 10848 10848 10848 10845 10845 10845 10843 10843 10843 10843 10841 10841 10841 10838 10838 10838 10826 10826 10826 10826 10814 10814 10814 10814 10814 10813 10813 10813 10813 10813 10813 10811 10811 10811 10811 10811 10811 10810 10810 10810 10810 10810 10810 10809 10809 10809 10809 10809 10808 10808 10808 10808 10808 10808 10807 10807 10807 10807 10807 10807 10804 10804 10804 10804 10804 10804 10802 10802 10802 10802 10802 10802 10800 10800 10800 10800 10800 10800 10798 10798 10798 10798 10798 10798 10795 10795 10795 10795 10795 10795 10792 10792 10792 10792 10792 10792 10779 10779 10779 10779 10779 10779 10769 10769 10769 10769 10769 10769 10757 10757 10757 10757 10757 10757 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10744 10760 10760 10872 10865 10863 10844 10844 10844 10844 10843 10843 10843 10841 10841 10841 10840 10840 10840 10839 10839 10839 10839 10838 10838 10838 10835 10835 10835 10833 10833 10833 10833 10831 10831 10831 10827 10827 10827 10824 10824 10824 10824 10810 10810 10810 10810 10810 10810 10810 10810 10810 10809 10809 10809 10809 10809 10809 10809 10809 10809 10809 10807 10807 10807 10807 10807 10807 10807 10807 10807 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10805 10805 10805 10805 10805 10805 10805 10805 10805 10804 10804 10804 10804 10804 10804 10804 10804 10804 10804 10803 10803 10803 10803 10803 10803 10803 10803 10803 10803 10800 10800 10800 10800 10800 10800 10800 10800 10800 10798 10798 10798 10798 10798 10798 10798 10798 10798 10798 10796 10796 10796 10796 10796 10796 10796 10796 10796 10796 10794 10794 10794 10794 10794 10794 10794 10794 10794 10794 10791 10791 10791 10791 10791 10791 10791 10791 10791 10791 10787 10787 10787 10787 10787 10787 10787 10787 10787 10784 10784 10784 10784 10784 10784 10784 10784 10784 10784 10780 10780 10780 10780 10780 10780 10780 10780 10780 10780 10770 10770 10770 10770 10770 10770 10770 10770 10770 10770 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10757 10793 10930 10926 10919 10918 10918 10916 10916 10915 10914 10914 10910 10910 10908 10908 10901 10901 10901 10900 10900 10900 10898 10898 10898 10897 10897 10897 10896 10896 10896 10896 10895 10895 10895 10891 10891 10891 10889 10889 10889 10889 10887 10887 10887 10883 10883 10883 10876 10876 10876 10876 10869 10869 10869 10869 10869 10869 10869 10869 10869 10868 10868 10868 10868 10868 10868 10868 10868 10868 10868 10866 10866 10866 10866 10866 10866 10866 10866 10866 10865 10865 10865 10865 10865 10865 10865 10865 10865 10865 10864 10864 10864 10864 10864 10864 10864 10864 10864 10864 10863 10863 10863 10863 10863 10863 10863 10863 10863 10862 10862 10862 10862 10862 10862 10862 10862 10862 10862 10858 10858 10858 10858 10858 10858 10858 10858 10858 10858 10856 10856 10856 10856 10856 10856 10856 10856 10856 10854 10854 10854 10854 10854 10854 10854 10854 10854 10854 10852 10852 10852 10852 10852 10852 10852 10852 10852 10852 10848 10848 10848 10848 10848 10848 10848 10848 10848 10848 10844 10844 10844 10844 10844 10844 10844 10844 10844 10837 10837 10837 10837 10837 10837 10837 10837 10837 10837 10830 10830 10830 10830 10830 10830 10830 10830 10830 10830 10823 10823 10823 10823 10823 10823 10823 10823 10823 10823 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10816 10784 10891 10873 10873 10872 10870 10870 10869 10869 10868 10865 10865 10863 10863 10849 10849 10849 10848 10848 10848 10846 10846 10846 10845 10845 10845 10845 10844 10844 10844 10843 10843 10843 10840 10840 10840 10840 10838 10838 10838 10836 10836 10836 10833 10833 10833 10833 10819 10819 10819 10805 10805 10805 10805 10805 10805 10805 10805 10805 10805 10804 10804 10804 10804 10804 10804 10804 10804 10804 10802 10802 10802 10802 10802 10802 10802 10802 10802 10802 10801 10801 10801 10801 10801 10801 10801 10801 10801 10800 10800 10800 10800 10800 10800 10800 10800 10800 10800 10799 10799 10799 10799 10799 10799 10799 10799 10799 10798 10798 10798 10798 10798 10798 10798 10798 10798 10798 10795 10795 10795 10795 10795 10795 10795 10795 10795 10795 10793 10793 10793 10793 10793 10793 10793 10793 10793 10791 10791 10791 10791 10791 10791 10791 10791 10791 10791 10789 10789 10789 10789 10789 10789 10789 10789 10789 10789 10786 10786 10786 10786 10786 10786 10786 10786 10786 10786 10783 10783 10783 10783 10783 10783 10783 10783 10783 10783 10770 10770 10770 10770 10770 10770 10770 10770 10770 10760 10760 10760 10760 10760 10760 10760 10760 10760 10760 10748 10748 10748 10748 10748 10748 10748 10748 10748 10748 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10735 10743 10743 10861 10853 10853 10853 10852 10852 10852 10852 10850 10850 10850 10849 10849 10849 10848 10848 10848 10844 10844 10844 10844 10842 10842 10842 10835 10835 10835 10835 10835 10835 10834 10834 10834 10834 10834 10834 10832 10832 10832 10832 10832 10831 10831 10831 10831 10831 10831 10830 10830 10830 10830 10830 10830 10829 10829 10829 10829 10829 10829 10825 10825 10825 10825 10825 10825 10823 10823 10823 10823 10823 10823 10821 10821 10821 10821 10821 10817 10817 10817 10817 10817 10817 10810 10810 10810 10810 10810 10810 10803 10803 10803 10803 10803 10803 10803 10803 10803 10803 10802 10802 10802 10802 10802 10802 10802 10802 10802 10800 10800 10800 10800 10800 10800 10800 10800 10800 10800 10799 10799 10799 10799 10799 10799 10799 10799 10799 10798 10798 10798 10798 10798 10798 10798 10798 10798 10798 10797 10797 10797 10797 10797 10797 10797 10797 10797 10797 10796 10796 10796 10796 10796 10796 10796 10796 10796 10792 10792 10792 10792 10792 10792 10792 10792 10792 10792 10790 10790 10790 10790 10790 10790 10790 10790 10790 10790 10788 10788 10788 10788 10788 10788 10788 10788 10788 10788 10786 10786 10786 10786 10786 10786 10786 10786 10786 10782 10782 10782 10782 10782 10782 10782 10782 10782 10782 10778 10778 10778 10778 10778 10778 10778 10778 10778 10778 10771 10771 10771 10771 10771 10771 10771 10771 10771 10771 10764 10764 10764 10764 10764 10764 10764 10764 10764 10764 10757 10757 10757 10757 10757 10757 10757 10757 10757 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10750 10714 10714 10817 10802 10802 10802 10801 10801 10801 10799 10799 10799 10798 10798 10798 10797 10797 10797 10797 10794 10794 10794 10792 10792 10792 10777 10777 10777 10777 10777 10777 10776 10776 10776 10776 10776 10776 10774 10774 10774 10774 10774 10774 10773 10773 10773 10773 10773 10772 10772 10772 10772 10772 10772 10771 10771 10771 10771 10771 10771 10768 10768 10768 10768 10768 10768 10766 10766 10766 10766 10766 10766 10764 10764 10764 10764 10764 10764 10761 10761 10761 10761 10761 10761 10747 10747 10747 10747 10747 10747 10733 10733 10733 10733 10733 10733 10733 10733 10733 10732 10732 10732 10732 10732 10732 10732 10732 10732 10732 10730 10730 10730 10730 10730 10730 10730 10730 10730 10729 10729 10729 10729 10729 10729 10729 10729 10729 10729 10728 10728 10728 10728 10728 10728 10728 10728 10728 10727 10727 10727 10727 10727 10727 10727 10727 10727 10727 10726 10726 10726 10726 10726 10726 10726 10726 10726 10726 10723 10723 10723 10723 10723 10723 10723 10723 10723 10721 10721 10721 10721 10721 10721 10721 10721 10721 10721 10719 10719 10719 10719 10719 10719 10719 10719 10719 10719 10717 10717 10717 10717 10717 10717 10717 10717 10717 10717 10714 10714 10714 10714 10714 10714 10714 10714 10714 10711 10711 10711 10711 10711 10711 10711 10711 10711 10711 10696 10696 10696 10696 10696 10696 10696 10696 10696 10696 10686 10686 10686 10686 10686 10686 10686 10686 10686 10686 10671 10671 10671 10671 10671 10671 10671 10671 10671 10671 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10658 10796 10796 10795 10795 10793 10792 10792 10780 10780 10780 10779 10779 10779 10777 10777 10777 10777 10776 10776 10776 10775 10775 10775 10763 10763 10763 10761 10761 10761 10761 10749 10749 10749 10749 10749 10749 10748 10748 10748 10748 10748 10746 10746 10746 10746 10746 10746 10745 10745 10745 10745 10745 10745 10744 10744 10744 10744 10744 10743 10743 10743 10743 10743 10743 10731 10731 10731 10731 10731 10731 10729 10729 10729 10729 10729 10729 10727 10727 10727 10727 10727 10727 10715 10715 10715 10715 10715 10715 10703 10703 10703 10703 10703 10703 10691 10691 10691 10691 10691 10691 10691 10691 10691 10691 10690 10690 10690 10690 10690 10690 10690 10690 10690 10688 10688 10688 10688 10688 10688 10688 10688 10688 10688 10687 10687 10687 10687 10687 10687 10687 10687 10687 10686 10686 10686 10686 10686 10686 10686 10686 10686 10686 10685 10685 10685 10685 10685 10685 10685 10685 10685 10684 10684 10684 10684 10684 10684 10684 10684 10684 10684 10672 10672 10672 10672 10672 10672 10672 10672 10672 10672 10670 10670 10670 10670 10670 10670 10670 10670 10670 10670 10668 10668 10668 10668 10668 10668 10668 10668 10668 10666 10666 10666 10666 10666 10666 10666 10666 10666 10666 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10642 10642 10642 10642 10642 10642 10642 10642 10642 10642 10630 10630 10630 10630 10630 10630 10630 10630 10630 10618 10618 10618 10618 10618 10618 10618 10618 10618 10618 10606 10606 10606 10606 10606 10606 10606 10606 10606 10606 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10629 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10645 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10594 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10562 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10580 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10587 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10582 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10615 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10619 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10612 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10654 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10624 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10607 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10639 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10593 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10532 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10484 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10499 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10505 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10500 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10542 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10525 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10529 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10523 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10565 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10531 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10517 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10549 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10501 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10439 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10318 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10339 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10347 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10342 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10326 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10330 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10322 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10309 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10289 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10264 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10201 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10192 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10186 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10177 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10166 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10153 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10126 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10127 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10129 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10131 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10136 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10581 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10591 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10598 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10614 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 10806 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11003 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11212 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11453 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11757 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11773 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11811 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11821 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11831 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11836 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11846 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11856 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11866 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11875 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11877 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11885 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11892 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11898 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11905 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11912 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11919 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11926 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11930 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11937 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11947 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11963 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11979 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 11995 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12010 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12018 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12032 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12212 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12392 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12572 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12752 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12770 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12804 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 12996 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13188 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13379 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13395 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13433 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13633 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13832 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13848 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 13886 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14101 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14117 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14155 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14171 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14209 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14225 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14235 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14245 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14255 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14265 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14275 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14284 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14286 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14294 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14299 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14309 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14319 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14329 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14338 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14340 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14348 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14353 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14358 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14363 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14368 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14373 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14378 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14388 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14398 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14407 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14409 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14417 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14427 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14436 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 14438 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 14455 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14457 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14465 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14467 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14475 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14477 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14483 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14490 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14497 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14504 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14511 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14515 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14522 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14528 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14534 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14540 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14546 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14552 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14558 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14565 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14572 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14579 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14583 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14590 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14597 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14604 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14608 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14615 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14622 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14626 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14633 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14637 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14644 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14648 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14658 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14668 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14678 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14688 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14698 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14708 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14724 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14740 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14755 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14763 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14777 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14793 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14808 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14816 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14830 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14845 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14853 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14867 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14875 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14889 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 14897 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15072 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15247 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15422 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15440 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15474 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15649 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15824 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15842 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 15876 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16051 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16069 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16103 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16121 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16155 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16173 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16358 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16542 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16558 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16596 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16780 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16796 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16834 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16850 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16888 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 16904 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17092 17108 17108 17108 17108 17108 17108 17108

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="S_GlobalResAllocation-COL-07"
export BK_EXAMINATION="StateSpace"
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/S_GlobalResAllocation-COL-07.tgz
mv S_GlobalResAllocation-COL-07 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 S_GlobalResAllocation-COL-07, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r162st-ebro-143319440800235"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "ReachabilityComputeBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.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 ;