fond
Model Checking Contest @ Petri Nets 2016
6th edition, Toruń, Poland, June 21, 2016
Execution of r005kn-ebro-146347672700116
Last Updated
June 30, 2016

About the Execution of Marcie for BridgeAndVehicles-COL-V20P10N50

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

Execution Chart

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

Trace from the execution

Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-2979
Executing tool marcie
Input is BridgeAndVehicles-COL-V20P10N50, examination is ReachabilityDeadlock
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r005kn-ebro-146347672700116
=====================================================================


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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME BridgeAndVehicles-COL-V20P10N50-ReachabilityDeadlock-0

=== Now, execution of the tool begins

BK_START 1463590872862


Marcie rev. 8535M (built: crohr on 2016-04-27)
A model checker for Generalized Stochastic Petri nets

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

Martin Schwarick (Symbolic numerical analysis and CSL model checking)

Christian Rohr (Simulative and approximative numerical model checking)

marcie@informatik.tu-cottbus.de

called as: marcie --net-file=model.pnml --mcc-file=ReachabilityDeadlock.xml --mcc-mode --memory=6 --suppress

parse successfull
net created successfully

Unfolding complete |P|=108|T|=2228|A|=17190
Time for unfolding: 0m 2.771sec

Net: BridgeAndVehicles_COL_V20P10N50
(NrP: 108 NrTr: 2228 NrArc: 17190)

net check time: 0m 0.004sec

parse formulas
formulas created successfully
place and transition orderings generation:0m 0.076sec

init dd package: 0m 7.351sec


RS generation: 18m 5.983sec


-> reachability set: #nodes 413962 (4.1e+05) #states 9,080,862 (6)



starting MCC model checker
--------------------------

checking: EF [DEADLOCK]
normalized: E [true U DEADLOCK]


before gc: list nodes free: 378888

after gc: idd nodes used:489771, unused:63510229; list nodes free:278411342

before gc: list nodes free: 11021833

after gc: idd nodes used:420369, unused:63579631; list nodes free:278756280

before gc: list nodes free: 3310609

after gc: idd nodes used:431778, unused:63568222; list nodes free:316573431

BK_TIME_CONFINEMENT_REACHED

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

check for maximal unmarked siphon
ok
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: 0m 0.009sec

108 186 2699 8617 8931 9990 12577 13017 13048 13482 13606 14119 14157 14803 15379 15379 15424 16144 16773 16825 17397 17605 18277 18336 19162 19867 19933 19933 20791 21519 21592 22468 23209 23209 23289 24169 24913 25000 25870 26607 26607 26699 27527 28247 28344 29120 29813 29915 29915 30629 31285 31392 32034 32643 32755 33315 33867 33867 33984 34452 34937 35059 35425 35833 35960 36214 36535 36535 36667 36799 37023 37160 37392 37466 37492 37528 37528 37532 37545 37550 37566 37572 37591 37598 37620 37628 37653 37662 37690 37700 37731 37731 37742 37776 37788 37825 37838 37875 37889 37927 37942 37981 37997 38037 38054 38054 38095 38113 38155 38174 38217 38237 38281 38302 38347 38369 38438 48761 72422 72590 72686 72779 72863 72953 73022 73106 73187 73262 73322 73382 73460 73529 73595 73622 74462 93425 93575 95825 96425 99025 99175 101875 104345 104345 104495 107045 109385 109535 110885 111935 114145 114295 116545 118625 118625 118775 120875 122825 122975 124925 124925 126745 126895 128695 130385 130535 132035 132185 133745 133895 135395 136825 136975 138325 138325 139625 139775 140975 142145 142295 143345 144385 144385 144535 145435 146345 146495 147245 148025 148175 148775 149425 149425 149575 150025 150545 150695 150995 151385 151535 151685 151685 151945 152095 152225 152233 152318 152403 152421 152502 152519 152598 152598 152614 152691 152706 152781 152795 152868 152881 152952 152964 153033 153044 153111 153121 153186 153186 153195 153218 153218 153241 153241 153264 153264 153287 153287 153310 153310 153333 153333 153333 153356 153356 153379 153379 153402 153379 153379 175922 181072 180936 180828 180688 180580 180164 180068 179270 176737 176760 177174 177174 179207 179231 179639 179279 179304 179479 179704 179364 179390 179780 179780 179460 179487 179865 179565 179593 179901 179957 179677 179706 180054 179794 179824 180064 180154 179914 179945 180255 180035 180067 180355 180355 180155 180187 180443 180263 180295 180519 180359 180359 180391 180583 180443 180475 180635 180515 180547 180675 180675 180575 180607 180703 180623 180655 180719 180659 180691 180723 180723 180683 180715 180695 180673 180730 180789 180788 180842 180841 180841 180892 180891 180939 180938 180983 180982 181024 181023 181062 181061 181097 181096 181129 181128 181128 181168 181176 181175 181174 181173 181172 181171 181170 181169 181168 181167 181166 181165 181165 181164 181163 181162 181161 181137 181113 188376 191066 192255 193277 194046 194685 195063 195351 186274 186296 186428 186670 188488 188511 188879 188879 188556 188580 188940 188636 188661 188836 189011 188726 188752 189090 188824 188851 188851 189175 188928 188956 189264 189036 189036 189065 189355 189146 189176 189446 189256 189287 189287 189535 189364 189395 189612 189460 189491 189677 189677 189544 189575 189730 189616 189647 189771 189676 189707 189800 189800 189724 189755 189817 189760 189791 189822 189784 189815 189815 189796 189775 189829 189885 189884 189935 189934 189982 189981 190026 190025 190025 190067 190066 190105 190104 190140 190139 190172 190171 190201 190200 190237 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 190245 199737 200834 201612 202428 203032 203397 203006 194374 194374 194395 194731 196346 196368 196632 196698 196410 196433 196755 196485 196509 196509 196821 196569 196594 196894 196660 196686 196686 196972 196756 196783 197053 196855 196883 196883 197135 196955 196984 197216 197054 197084 197264 197294 197150 197180 197360 197234 197264 197414 197306 197336 197336 197456 197366 197396 197486 197414 197444 197504 197450 197480 197480 197510 197474 197504 197486 197466 197517 197570 197569 197569 197617 197616 197661 197660 197702 197701 197740 197739 197775 197774 197807 197806 197836 197835 197835 197862 197861 197894 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 197901 205554 206982 207814 208518 209060 209334 208966 201452 201472 201472 201772 203196 203217 203511 203511 203256 203278 203564 203326 203349 203602 203625 203404 203428 203692 203488 203513 203763 203763 203576 203602 203836 203666 203693 203909 203756 203756 203784 203980 203844 203873 204047 203928 203957 204102 204102 204000 204029 204145 204060 204089 204176 204108 204137 204195 204195 204144 204173 204202 204168 204197 204180 204161 204227 204209 204259 204258 204303 204302 204344 204343 204382 204381 204417 204416 204449 204448 204478 204478 204477 204504 204503 204527 204526 204555 204561 204561 204561 204561 204561 204561 204561 204561 204561 204561 204561 204561 204561 211118 212398 213223 213803 214198 214393 214048 207576 207595 207842 207861 209106 209126 209386 209162 209183 209351 209435 209227 209249 209491 209299 209322 209483 209552 209376 209400 209616 209456 209481 209681 209681 209537 209563 209745 209617 209644 209806 209694 209722 209722 209862 209766 209794 209906 209826 209854 209938 209874 209902 209902 209958 209910 209938 209966 209934 209962 209946 209928 209928 209973 210020 210019 210061 210060 210099 210098 210134 210133 210166 210165 210195 210195 210194 210221 210220 210244 210243 210264 210263 210288 210293 210293 210293 210293 210293 210293 210293 210293 210293 210293 210293 216248 217206 217858 218306 218642 218320 218320 212814 212832 213066 214144 214163 214353 214391 214196 214216 214436 214256 214277 214466 214487 214322 214344 214542 214392 214415 214599 214599 214464 214488 214656 214536 214561 214711 214606 214632 214762 214762 214672 214699 214807 214732 214759 214840 214780 214807 214807 214861 214816 214843 214870 214840 214867 214852 214835 214835 214877 214921 214920 214959 214958 214994 214993 215026 215025 215055 215054 215081 215080 215114 215104 215103 215124 215123 215141 215140 215161 215165 215165 215165 215165 215165 215165 215165 215165 215165 220460 221228 221720 222032 222149 221850 217234 217251 217455 217455 218378 218396 218594 218426 218445 218635 218635 218481 218501 218681 218541 218562 218730 218604 218626 218626 218780 218668 218691 218829 218731 218755 218875 218875 218791 218816 218916 218846 218872 218950 218894 218920 218972 218972 218930 218956 218982 218954 218980 218966 218950 218989 218989 219030 219029 219065 219064 219097 219096 219126 219125 219152 219151 219175 219174 219195 219194 219194 219212 219211 219226 219225 219242 219245 219245 219245 219245 219245 219245 221526 223890 224487 224790 224982 224706 220904 220904 220920 221096 221876 221893 222063 221920 221938 221938 222100 221970 221989 222141 222024 222044 222164 222184 222080 222101 222227 222136 222158 222268 222190 222213 222213 222305 222240 222264 222336 222284 222309 222359 222320 222345 222345 222370 222344 222369 222356 222341 222377 222415 222414 222460 222447 222446 222476 222475 222502 222501 222525 222524 222545 222544 222562 222561 222576 222575 222593 222587 222586 222599 222601 222601 222601 222601 225922 226624 226978 227194 227209 226956 223904 223919 224069 224718 224734 224846 224878 224758 224775 224911 224803 224821 224947 224851 224851 224870 224984 224900 224920 225020 224948 224969 225053 225053 224993 225015 225081 225033 225056 225102 225066 225090 225114 225114 225090 225114 225102 225088 225121 225156 225155 225185 225184 225211 225211 225210 225234 225233 225254 225253 225271 225270 225285 225284 225296 225295 225304 225303 225313 225312 225313 225313 228195 228670 228865 228910 228680 226311 226325 226451 226451 226981 226996 227116 227017 227033 227145 227057 227074 227074 227176 227099 227117 227207 227141 227160 227236 227181 227181 227201 227261 227217 227238 227280 227247 227269 227291 227269 227269 227292 227281 227268 227298 227330 227329 227356 227355 227379 227378 227378 227399 227398 227416 227415 227430 227429 227441 227440 227449 227448 227454 227453 227458 227458 229858 230101 230182 229993 229993 228199 228212 228316 228739 228753 228851 228771 228786 228786 228876 228806 228822 228902 228842 228859 228927 228877 228877 228895 228949 228909 228928 228966 228936 228956 228976 228956 228956 228977 228967 228955 228982 229011 229010 229034 229033 229054 229053 229053 229071 229070 229085 229084 229096 229095 229104 229103 229109 229108 229111 230092 230964 231084 231092 230940 229622 229634 229718 230046 230059 230137 230137 230074 230088 230158 230104 230119 230179 230134 230150 230198 230198 230162 230179 230213 230186 230204 230222 230204 230223 230214 230214 230203 230227 230253 230252 230273 230272 230290 230289 230304 230303 230315 230315 230314 230323 230322 230328 230327 230330 231541 231720 231727 231608 230676 230687 230753 230998 231010 231070 231070 231022 231035 231087 231047 231061 231103 231071 231086 231116 231116 231092 231108 231124 231108 231125 231117 231107 231128 231128 231151 231150 231168 231167 231182 231181 231193 231192 231201 231200 231206 231205 231208 231208 232135 232147 232057 231430 231440 231490 231664 231675 231719 231719 231684 231696 231732 231704 231717 231743 231722 231736 231750 231750 231736 231751 231744 231735 231753 231773 231772 231787 231787 231786 231798 231797 231806 231805 231811 231810 231813 232360 232405 232340 231946 231955 231991 232106 232106 232116 232146 232122 232133 232155 232137 232149 232161 232149 232149 232162 232156 232148 232163 232180 232179 232191 232190 232199 232198 232208 232204 232203 232206 232547 232503 232503 232279 232287 232311 232379 232388 232406 232391 232401 232411 232411 232401 232412 232407 232400 232412 232426 232425 232434 232433 232439 232439 232438 232441 232612 232585 232477 232484 232484 232498 232531 232539 232547 232539 232548 232544 232538 232538 232547 232558 232557 232563 232562 232565 232632 232618 232593 232581 232587 232593 232605 232612 232609 232604 232610 232618 232618 232617 232620 232634 232629 232625 232630 232632 232628 232628 232631 232636 232735 232793 232853 232848 232908 232901 232966 232966 232957 233023 233012 233079 233066 233134 233119 233188 233171 233241 233222 233293 233272 233344 233344 233321 233367 233344 233390 233367 233413 233390 233436 233413 233459 233436 233482 233459 233505 233505 233482 233528 233505 233528 233505 233505 243614 245025 245662 246250 246703 247111 247361 247235 231848 231866 231866 232019 231812 231829 231962 231965 231761 231777 231897 231681 231696 231696 231801 231591 231605 231696 231493 231493 231506 231584 231389 231401 231467 231467 231281 231292 231347 231171 231181 231226 231061 231061 231070 231106 230953 230961 230989 230857 230864 230885 230885 230773 230779 230794 230701 230706 230716 230641 230645 230645 230651 230593 230596 230599 230557 230559 230560 230533 230534 230534 230521 230572 230623 230674 230674 230725 230718 230767 230758 230812 230812 230801 230854 230841 230893 230878 230929 230912 230962 230943 230992 230971 231019 230996 231019 231019 230996 231019 230996 231019 230996 231019 230996 231019 230996 231019 230996 231019 230996 230996 231019 230996 230996 235353 235950 236518 237062 237566 237798 237718 227570 227586 227651 227706 227554 227569 227674 227509 227509 227523 227614 227439 227452 227530 227530 227361 227373 227439 227277 227288 227343 227343 227189 227199 227244 227099 227108 227144 227009 227009 227017 227045 226921 226928 226949 226837 226843 226858 226858 226765 226770 226780 226705 226709 226715 226657 226660 226663 226663 226621 226623 226624 226597 226598 226585 226630 226675 226675 226720 226720 226765 226765 226810 226801 226844 226833 226883 226870 226919 226904 226952 226952 226935 226982 226963 227009 226988 227033 227010 227033 227010 227033 227010 227033 227010 227033 227033 227010 227033 227010 227033 227010 227033 227010 227010 229560 230735 231189 231743 232102 232199 232136 224033 224047 224138 224019 224019 224032 224110 223980 223992 224058 224058 223920 223931 223986 223854 223864 223909 223784 223784 223793 223829 223712 223720 223748 223640 223647 223668 223668 223570 223576 223591 223504 223509 223519 223444 223448 223448 223454 223396 223399 223402 223360 223362 223363 223336 223337 223337 223324 223363 223402 223441 223441 223480 223480 223519 223519 223558 223558 223547 223584 223571 223617 223602 223647 223630 223674 223655 223698 223677 223719 223696 223719 223719 223696 223719 223696 223719 223696 223719 223696 223719 223696 223719 223696 223696 225212 226365 226851 227193 227479 227431 221153 221153 221165 221231 221141 221152 221207 221108 221108 221118 221163 221058 221067 221103 221004 221012 221012 221040 220948 220955 220976 220892 220898 220913 220838 220838 220843 220853 220788 220792 220798 220744 220747 220750 220708 220708 220710 220711 220684 220685 220672 220705 220738 220771 220771 220771 220804 220804 220837 220837 220870 220870 220903 220890 220921 220906 220948 220931 220972 220972 220953 220993 220972 221011 220988 221011 220988 221011 220988 221011 220988 221011 220988 221037 221011 220988 220988 222753 223137 223462 223577 223542 218866 218876 218921 218921 218856 218865 218901 218829 218837 218865 218789 218796 218796 218817 218747 218753 218768 218705 218710 218720 218665 218665 218669 218675 218629 218632 218635 218599 218601 218602 218577 218577 218578 218565 218592 218619 218646 218646 218673 218673 218700 218700 218700 218727 218727 218754 218754 218781 218766 218791 218774 218812 218793 218830 218809 218845 218845 218822 218845 218822 218845 218822 218845 218822 218845 218822 218822 219727 220054 220363 220434 220410 217110 217118 217146 217102 217102 217109 217130 217081 217087 217102 217051 217056 217066 217021 217021 217025 217031 216993 216996 216999 216969 216971 216972 216951 216951 216952 216941 216962 216983 217004 217004 217025 217025 217046 217046 217046 217067 217067 217088 217088 217109 217109 217130 217113 217132 217113 217147 217126 217159 217159 217136 217159 217136 217159 217136 217159 217136 217136 217617 217857 217993 217978 215825 215831 215831 215846 215819 215824 215834 215804 215808 215814 215784 215787 215787 215790 215766 215768 215769 215752 215753 215744 215759 215759 215774 215789 215789 215804 215804 215819 215819 215834 215834 215849 215849 215864 215864 215864 215879 215879 215894 215875 215888 215867 215897 215874 215897 215874 215897 215874 215874 215874 216109 216203 216195 214957 214957 214961 214967 214953 214956 214959 214944 214946 214947 214934 214934 214935 214928 214937 214946 214955 214955 214964 214964 214973 214973 214973 214982 214982 214991 214991 215000 215000 215009 215009 215018 215018 215027 215006 215013 214990 214990 215013 214990 214990 214980 215020 215020 215017 214463 214465 214466 214461 214462 214458 214461 214466 214464 214467 214467 214470 214470 214473 214473 214476 214476 214479 214479 214482 214482 214487 214485 214485 214488 214488 214491 214491 214494 214471 214446 214388 214424 214424 214478 214478 214550 214550 214640 214640 214748 214748 214874 214874 215018 215018 215180 215180 215180 215360 215360 215558 215558 215774 215774 215981 215958 216142 216119 216280 216257 216395 216395 216372 216487 216464 216556 216533 216602 216579 216625 216602 216625 216602 216602 225372 236689 237087 237460 237723 238122 238320 238294 211558 211591 211591 211855 211676 211708 211940 211940 211580 211623 211924 211604 211653 211909 211954 211562 211611 211905 211513 211567 211567 211843 211465 211516 211771 211411 211466 211645 211691 211361 211410 211606 211306 211358 211518 211518 211258 211298 211418 211210 211249 211330 211174 211201 211255 211255 211138 211164 211192 211114 211128 211142 211090 211103 211103 211104 211078 211079 211066 211104 211135 211180 211180 211239 211239 211239 211312 211312 211399 211399 211500 211500 211615 211615 211744 211744 211887 211887 212044 212044 212044 212215 212215 212375 212351 212488 212465 212603 212580 212695 212672 212764 212741 212741 212810 212787 212833 212810 212833 212810 212810 225140 225638 226112 226493 226834 226863 226863 208714 208742 208917 208805 208830 208830 208980 208735 208771 208957 208747 208747 208783 208963 208711 208751 208916 208676 208713 208713 208861 208636 208676 208800 208600 208634 208736 208736 208560 208596 208671 208527 208554 208608 208491 208517 208545 208545 208467 208481 208495 208443 208456 208457 208431 208432 208419 208419 208449 208473 208509 208509 208557 208557 208617 208617 208689 208689 208773 208773 208773 208869 208869 208977 208977 209097 209097 209229 209229 209373 209373 209511 209511 209649 209649 209626 209741 209718 209810 209787 209856 209833 209879 209856 209879 209856 209856 209856 217307 217646 217965 218098 218098 206660 206681 206776 206786 206714 206734 206819 206669 206694 206794 206794 206669 206697 206785 206645 206670 206745 206617 206644 206644 206701 206593 206614 206656 206566 206588 206612 206546 206559 206559 206572 206524 206537 206538 206512 206513 206500 206523 206523 206542 206569 206569 206604 206604 206647 206647 206698 206698 206757 206757 206824 206824 206824 206899 206899 206982 206982 207073 207073 207172 207172 207263 207262 207353 207329 207397 207397 207374 207443 207420 207466 207443 207466 207443 207443 211074 211343 211535 211599 211599 205136 205152 205204 205164 205177 205177 205216 205136 205154 205193 205133 205148 205178 205115 205131 205131 205149 205101 205111 205121 205085 205095 205096 205076 205077 205077 205066 205081 205093 205111 205111 205135 205135 205165 205165 205201 205201 205201 205243 205243 205291 205291 205345 205345 205405 205405 205471 205471 205543 205543 205612 205612 205612 205681 205681 205750 205727 205773 205750 205773 205750 205750 206949 207123 207210 207210 204247 204256 204274 204274 204256 204264 204274 204244 204251 204258 204238 204245 204246 204246 204232 204233 204225 204233 204240 204249 204249 204260 204260 204260 204273 204273 204288 204288 204305 204305 204324 204324 204345 204345 204368 204368 204393 204393 204393 204420 204420 204442 204441 204463 204462 204484 204460 204459 204436 204436 204565 204607 204628 204628 203727 203731 203732 203732 203728 203729 203724 203801 203825 203861 203861 203909 203909 203909 203969 203969 204041 204041 204125 204125 204221 204221 204329 204329 204449 204449 204581 204581 204581 204725 204725 204863 204863 205001 205001 205139 205139 205277 205254 205369 205346 205438 205438 205415 205484 205461 205507 205484 205507 205484 205484 218511 219414 219661 219870 220035 220263 220263 220238 201628 201649 201814 201696 201721 201721 201901 201676 201701 201856 201616 201616 201645 201831 201621 201653 201833 201593 201593 201629 201795 201561 201592 201745 201525 201525 201558 201693 201495 201531 201642 201462 201489 201582 201582 201426 201452 201519 201402 201428 201469 201378 201392 201418 201419 201354 201367 201381 201342 201355 201356 201330 201331 201331 201318 201345 201364 201391 201391 201426 201426 201469 201469 201520 201520 201520 201579 201579 201646 201646 201721 201721 201804 201804 201895 201895 201994 201994 202085 202085 202084 202175 202174 202265 202264 202355 202331 202399 202376 202445 202422 202468 202445 202494 202468 202445 202445 209692 209986 210189 210459 210483 210483 199650 199666 199758 199698 199718 199718 199812 199682 199698 199776 199644 199665 199751 199752 199644 199668 199743 199623 199642 199707 199599 199617 199619 199671 199581 199603 199638 199561 199574 199599 199539 199539 199552 199566 199527 199540 199541 199515 199516 199503 199503 199521 199533 199551 199551 199575 199575 199605 199605 199641 199641 199683 199683 199731 199731 199731 199785 199785 199845 199845 199911 199911 199983 199983 200052 200052 200121 200121 200194 200190 200190 200259 200259 200328 200305 200351 200328 200351 200328 200328 203268 203609 203759 203859 203859 198501 198513 198552 198552 198522 198533 198570 198510 198520 198547 198493 198507 198530 198530 198488 198497 198514 198474 198483 198493 198466 198476 198477 198477 198457 198458 198447 198459 198467 198479 198479 198495 198495 198495 198515 198515 198539 198539 198567 198567 198599 198599 198635 198635 198675 198675 198719 198719 198719 198767 198767 198813 198813 198859 198859 198905 198905 198951 198951 198997 198974 198997 198997 198974 198974 199697 199782 199782 199782 197817 197822 197831 197821 197826 197832 197817 197822 197822 197823 197811 197812 197806 197809 197812 197815 197815 197818 197818 197818 197821 197821 197824 197824 197827 197827 197830 197830 197833 197833 197836 197836 197839 197839 197839 197842 197842 197841 197840 197839 197838 197837 197836 197835 197834 197833 197809 197810 197785 197597 197613 197637 197637 197669 197669 197709 197709 197757 197757 197757 197813 197813 197877 197877 197949 197949 198029 198029 198117 198117 198213 198213 198305 198305 198305 198397 198397 198489 198489 198581 198581 198673 198673 198765 198742 198811 198788 198834 198834 198811 198834 198811 198811 209146 209295 209497 209643 209733 209806 209782 195998 196014 196130 196130 196043 196063 196187 196027 196046 196168 196175 196007 196025 196136 195968 195992 196114 196115 195968 195995 196106 195944 195965 196067 196067 195917 195939 196029 195897 195921 195995 195875 195901 195955 195955 195851 195865 195905 195827 195840 195867 195815 195828 195828 195842 195803 195816 195817 195791 195792 195779 195800 195800 195812 195830 195830 195854 195854 195884 195884 195920 195920 195962 195962 196010 196010 196010 196064 196064 196124 196124 196190 196190 196262 196262 196331 196331 196400 196400 196469 196469 196469 196538 196538 196607 196607 196676 196653 196699 196676 196699 196676 196676 199929 201112 201303 201428 201489 201489 194684 194696 194747 194711 194722 194763 194774 194699 194711 194761 194689 194701 194739 194669 194669 194685 194719 194663 194673 194701 194647 194657 194678 194638 194638 194649 194661 194628 194640 194641 194617 194618 194605 194605 194619 194627 194639 194639 194655 194655 194675 194675 194699 194699 194727 194727 194727 194759 194759 194795 194795 194835 194835 194879 194879 194927 194927 194973 194973 195019 195019 195019 195065 195065 195111 195111 195157 195157 195203 195180 195203 195180 195180 196133 196313 196376 196376 193915 193920 193920 193933 193921 193926 193937 193917 193923 193930 193912 193918 193918 193919 193905 193906 193899 193902 193905 193908 193908 193908 193911 193911 193914 193914 193917 193917 193920 193920 193923 193923 193926 193926 193929 193929 193929 193932 193932 193935 193935 193934 193933 193932 193931 193930 193929 193928 193927 193926 193926 193925 193924 193900 193876 193660 193672 193690 193690 193714 193714 193744 193744 193744 193780 193780 193822 193822 193870 193870 193924 193924 193984 193984 194050 194050 194126 194122 194122 194191 194191 194260 194260 194329 194329 194398 194398 194467 194467 194536 194536 194536 194605 194582 194628 194605 194628 194605 194605 202620 202775 202904 203010 203108 203118 203095 192391 192403 192490 192422 192422 192437 192530 192410 192428 192521 192395 192395 192410 192503 192377 192391 192470 192350 192368 192368 192451 192347 192367 192439 192329 192351 192408 192408 192309 192322 192371 192287 192300 192340 192275 192288 192315 192315 192263 192276 192290 192251 192264 192265 192239 192240 192240 192227 192243 192251 192263 192263 192279 192279 192299 192299 192323 192323 192323 192351 192351 192383 192383 192419 192419 192459 192459 192503 192503 192551 192551 192597 192597 192597 192643 192643 192689 192689 192735 192735 192781 192781 192827 192827 192873 192850 192873 192873 192850 192850 195536 195685 195802 195802 191513 191469 191477 191507 191485 191495 191522 191477 191484 191509 191509 191467 191474 191496 191461 191468 191483 191451 191460 191470 191470 191446 191456 191457 191437 191438 191427 191435 191441 191439 191445 191445 191453 191453 191463 191463 191475 191475 191489 191489 191505 191505 191523 191523 191523 191543 191543 191565 191565 191589 191589 191612 191612 191635 191635 191658 191658 191658 191681 191681 191704 191704 191727 191727 191750 191727 191727 191951 191993 192007 192007 191069 191073 191074 191070 191070 191071 191066 191143 191155 191173 191173 191197 191197 191227 191227 191227 191263 191263 191305 191305 191353 191353 191407 191407 191467 191467 191533 191533 191605 191605 191605 191674 191674 191743 191743 191812 191812 191881 191881 191950 191950 192019 192019 192088 192088 192065 192111 192088 192111 192088 192088 198329 198428 198497 198563 198629 198607 189873 189873 189882 189948 189893 189903 189975 189885 189885 189897 189971 189875 189889 189961 189863 189879 189879 189945 189849 189865 189915 189825 189836 189887 189887 189815 189826 189871 189805 189817 189854 189794 189807 189834 189834 189782 189795 189809 189770 189783 189784 189758 189759 189746 189746 189758 189765 189774 189774 189785 189785 189798 189798 189813 189813 189833 189830 189830 189849 189849 189870 189870 189893 189893 189918 189918 189945 189945 189967 189966 189966 189988 189987 190009 190008 190030 190029 190051 190050 190072 190071 190093 190069 190068 190068 190045 190045 191590 191682 191705 191705 189008 189012 189029 189017 189022 189038 189038 189013 189019 189032 189008 189015 189023 189002 189010 189011 189011 188995 188996 188987 189060 189068 189080 189080 189096 189096 189096 189116 189116 189140 189140 189168 189168 189200 189200 189236 189236 189276 189276 189320 189320 189320 189368 189368 189414 189414 189460 189460 189506 189506 189552 189552 189598 189598 189644 189644 189644 189690 189690 189736 189713 189736 189713 189713 194989 195116 195168 195237 195264 195243 188149 188157 188190 188211 188165 188175 188232 188157 188169 188218 188225 188147 188161 188212 188135 188144 188193 188121 188121 188130 188176 188113 188122 188159 188099 188110 188144 188144 188094 188106 188131 188083 188096 188110 188071 188084 188085 188085 188059 188060 188047 188057 188061 188067 188067 188075 188075 188075 188085 188085 188097 188097 188111 188111 188127 188127 188145 188145 188165 188165 188187 188187 188187 188211 188211 188234 188234 188257 188257 188280 188280 188303 188303 188326 188326 188349 188349 188349 188372 188372 188395 188372 188372 189280 189355 189370 189370 187655 187659 187668 187660 187665 187671 187671 187656 187662 187663 187651 187652 187645 187720 187731 187728 187740 187740 187756 187756 187776 187776 187800 187800 187828 187828 187860 187860 187896 187896 187896 187936 187936 187980 187980 188028 188028 188074 188074 188120 188120 188166 188166 188212 188212 188212 188258 188258 188304 188304 188350 188350 188396 188373 188396 188373 188373 188373 192755 192805 192852 192873 192853 186807 186815 186844 186857 186818 186828 186870 186810 186817 186860 186860 186800 186807 186850 186794 186802 186843 186787 186796 186796 186833 186779 186789 186820 186770 186780 186801 186757 186769 186769 186782 186749 186762 186763 186737 186738 186725 186736 186736 186740 186746 186746 186754 186754 186764 186764 186776 186776 186790 186790 186806 186806 186806 186824 186824 186844 186844 186866 186866 186890 186890 186913 186913 186936 186936 186959 186959 186959 186982 186982 187005 187005 187028 187028 187051 187051 187074 187051 187051 187274 187333 187354 187354 186336 186340 186340 186341 186337 186338 186333 186410 186418 186430 186430 186449 186446 186446 186466 186466 186490 186490 186518 186518 186550 186550 186586 186586 186626 186626 186673 186670 186670 186718 186718 186764 186764 186810 186810 186856 186856 186902 186902 186948 186948 186948 186994 186994 187040 187040 187086 187063 187086 187063 187063 190399 190446 190476 190507 190506 190487 185495 185500 185533 185501 185506 185542 185542 185497 185503 185540 185492 185499 185535 185486 185494 185494 185527 185479 185488 185516 185471 185481 185502 185462 185473 185473 185485 185452 185463 185464 185440 185441 185429 185432 185432 185435 185438 185438 185441 185441 185444 185444 185447 185447 185450 185450 185453 185453 185453 185456 185456 185459 185459 185462 185462 185465 185465 185464 185463 185462 185461 185460 185460 185459 185458 185457 185456 185455 185454 185453 185452 185451 185450 185426 185402 185055 185069 185073 185079 185079 185087 185087 185097 185097 185109 185109 185123 185123 185123 185139 185139 185157 185157 185177 185177 185199 185199 185223 185223 185246 185246 185269 185269 185269 185292 185292 185315 185315 185338 185338 185361 185361 185384 185384 185407 185407 185432 185430 185407 185407 188010 188030 188051 188058 188040 184602 184606 184635 184608 184613 184638 184644 184604 184610 184641 184599 184606 184635 184593 184601 184601 184626 184586 184595 184614 184578 184588 184599 184569 184580 184580 184581 184559 184560 184548 184562 184566 184572 184572 184572 184580 184580 184590 184590 184602 184602 184616 184616 184632 184632 184650 184650 184670 184670 184670 184692 184692 184716 184716 184739 184739 184762 184762 184785 184785 184808 184808 184831 184831 184831 184854 184854 184877 184877 184900 184900 184923 184900 184900 187147 187179 187197 187209 187192 184086 184090 184115 184115 184091 184096 184122 184087 184093 184118 184082 184089 184111 184111 184076 184084 184101 184069 184078 184088 184061 184071 184072 184072 184052 184053 184042 184056 184060 184066 184066 184074 184074 184074 184084 184084 184096 184096 184110 184110 184126 184126 184144 184144 184164 184164 184186 184186 184186 184210 184210 184233 184233 184256 184256 184279 184279 184302 184302 184325 184325 184348 184348 184348 184371 184371 184394 184394 184417 184394 184394 186318 186341 186362 186361 186345 183581 183585 183606 183585 183590 183611 183581 183581 183587 183606 183576 183583 183598 183570 183578 183587 183563 183563 183572 183573 183555 183556 183546 183560 183564 183570 183570 183570 183578 183578 183588 183588 183600 183600 183614 183614 183630 183630 183648 183648 183668 183668 183668 183690 183690 183714 183714 183737 183737 183760 183760 183783 183783 183806 183806 183829 183829 183829 183852 183852 183875 183875 183898 183898 183921 183898 183898 185482 185507 185523 185523 185508 183086 183090 183107 183089 183094 183110 183085 183091 183104 183104 183080 183087 183095 183074 183082 183083 183067 183068 183068 183059 183073 183077 183083 183083 183091 183091 183101 183101 183113 183113 183113 183127 183127 183143 183143 183161 183161 183181 183181 183203 183203 183227 183227 183250 183250 183250 183273 183273 183296 183296 183319 183319 183342 183342 183365 183365 183388 183388 183411 183411 183411 183434 183411 183411 184676 184691 184694 184680 182600 182604 182617 182602 182607 182618 182618 182598 182604 182611 182593 182600 182601 182587 182588 182580 182580 182594 182598 182604 182604 182612 182612 182622 182622 182634 182634 182648 182648 182648 182664 182664 182682 182682 182702 182702 182724 182724 182748 182748 182771 182771 182796 182794 182794 182817 182817 182840 182840 182863 182863 182886 182886 182909 182909 182932 182932 182932 182955 182932 182932 183863 183871 183873 183860 182122 182126 182135 182123 182128 182134 182119 182119 182125 182126 182114 182115 182108 182122 182126 182132 182132 182132 182140 182140 182150 182150 182162 182162 182176 182176 182192 182192 182210 182210 182230 182230 182230 182252 182252 182276 182276 182299 182299 182322 182322 182345 182345 182368 182368 182368 182391 182391 182414 182414 182437 182437 182460 182460 182483 182460 182460 183049 183056 183059 183047 181651 181655 181655 181660 181651 181656 181657 181647 181648 181642 181656 181656 181660 181666 181666 181674 181674 181684 181684 181696 181696 181710 181710 181726 181726 181726 181744 181744 181764 181764 181786 181786 181810 181810 181833 181833 181856 181856 181879 181879 181879 181902 181902 181925 181925 181948 181948 181971 181971 181994 181994 182017 181994 182019 181994 182251 182251 182240 181186 181186 181190 181191 181185 181186 181181 181195 181199 181207 181205 181205 181213 181213 181223 181223 181235 181235 181249 181249 181265 181265 181283 181283 181305 181303 181303 181325 181325 181349 181349 181372 181372 181395 181395 181418 181418 181441 181441 181441 181464 181464 181487 181487 181510 181510 181533 181533 181556 181533 181533 181456 181451 181448 181438 180726 180727 180727 180724 180729 180733 180739 180739 180747 180747 180757 180757 180769 180769 180769 180783 180783 180799 180799 180817 180817 180837 180837 180859 180859 180883 180883 180906 180906 180906 180929 180929 180952 180952 180975 180975 180998 180998 181021 181021 181044 181044 181069 181067 181067 181090 181067 181067 180714 203303 224589 244622 263450 281119 297673 327682 341255 365818 387287 405994 413962
iterations count:4674296 (2097), effective:16048 (7)

initing FirstDep: 0m 0.005sec

610 965 1045 1095 1177 1177 1181 1229 1309 1313 1359 1437 1437 1441 1485 1561 1565 1607 1681 1685 1725 1790 1797 1801 1839 1909 1913 1949 2017 2021 2021 2055 2121 2125 2157 2197 2201 2210 2246 2250 2250 2258 2290 2294 2301 2329 2333 2339 2363 2367 2372 2372 2392 2396 2400 2416 2420 2423 2435 2439 2441 2449 2449 2453 2454 2458 2462 3158 3253 3781 3902 3996 4599 4692 4696 4783 4920 5088 5141 5144 5146 5148 5172 5527 5628 5628 5678 5760 5764 5812 5892 5896 5942 5942 6020 6024 6068 6144 6148 6190 6265 6264 6268 6308 6380 6384 6422 6492 6496 6532 6599 6600 6604 6638 6704 6708 6740 6780 6784 6793 6793 6829 6833 6841 6873 6877 6884 6912 6916 6922 6951 6946 6950 6955 6975 6979 6983 6999 7003 7006 7018 7018 7022 7024 7032 7036 7037 7041 7045 7741 7741 7836 8355 8970 9061 9255 9297 9297 9301 9309 9311 9313 9319 9351 9537 9581 9615 9657 9668 9669 9671 9672 9673 9675 9676 9631 9847 9924 9994 10012 10127 10134 10182 10290 10295 10302 10348 10459 10466 10510 10619 10619 10626 10668 10775 10782 10822 10927 10934 10972 10972 11075 11082 11118 11219 11226 11260 11359 11366 11366 11398 11468 11475 11484 11547 11554 11562 11618 11625 11625 11632 11681 11688 11694 11736 11743 11748 11783 11790 11794 11825 11822 11829 11832 11853 11860 11862 11876 11883 11884 11891 11891 11898 12466 12506 13025 13511 13547 13547 13238 13157 13161 13171 13174 13176 13178 13178 13180 13188 13188 13194 13200 13234 13481 13499 13525 13559 13579 13611 13612 13614 13615 13615 13616 13616 13617 13618 13620 13620 13526 13530 13861 13954 13940 13940 14088 14098 14146 14292 14302 14348 14505 14492 14502 14546 14688 14698 14740 14880 14880 14890 14930 15068 15078 15116 15252 15262 15298 15437 15432 15442 15476 15608 15618 15650 15750 15760 15769 15869 15859 15869 15877 15957 15967 15974 16044 16054 16060 16120 16120 16130 16135 16185 16195 16199 16239 16249 16252 16282 16292 16292 16294 16314 16324 16325 16335 16345 16886 16925 16925 17444 17903 17938 17228 17088 17088 17092 17103 17106 17108 17111 17114 17124 17124 17126 17128 17128 17130 17138 17136 17142 17148 17154 17189 17439 17502 17524 17538 17572 17595 17614 17624 17625 17625 17626 17627 17628 17628 17629 17629 17630 17631 17631 17632 17632 17586 17492 17497 17863 17978 17932 18129 18113 18126 18174 18353 18366 18412 18589 18589 18602 18646 18821 18834 18876 19049 19062 19102 19102 19273 19286 19324 19493 19506 19542 19709 19722 19722 19756 19921 19934 19966 20096 20109 20118 20235 20248 20248 20256 20360 20373 20380 20471 20484 20490 20568 20581 20581 20586 20651 20664 20668 20720 20733 20736 20775 20788 20790 20823 20816 20829 20830 20843 20856 21367 21404 21923 21923 22352 22385 21271 21071 21075 21087 21087 21090 21092 21095 21098 21109 21109 21112 21115 21118 21118 21128 21126 21128 21130 21132 21134 21142 21138 21144 21144 21150 21156 21162 21198 21561 21569 21591 21605 21621 21639 21659 21681 21681 21691 21692 21692 21693 21694 21694 21695 21695 21696 21696 21697 21697 21698 21698 21699 21699 21700 21606 21537 21518 21919 21919 22056 21978 22192 22208 22256 22468 22484 22484 22530 22740 22756 22800 23008 23024 23066 23294 23272 23288 23328 23532 23548 23586 23788 23804 23804 23840 24040 24056 24090 24288 24304 24336 24496 24512 24512 24521 24665 24681 24689 24817 24833 24840 24952 24968 24968 24974 25070 25086 25091 25171 25187 25191 25255 25271 25274 25331 25322 25338 25340 25372 25388 25389 25405 25421 25967 25902 25937 26456 26855 26886 25368 25368 25108 25112 25125 25128 25130 25133 25136 25148 25148 25148 25151 25154 25157 25168 25166 25169 25172 25175 25178 25188 25188 25184 25186 25188 25190 25192 25194 25202 25196 25202 25202 25208 25214 25220 25226 25264 25630 25695 25705 25720 25731 25747 25765 25765 25785 25807 25807 25817 25818 25818 25819 25819 25820 25820 25821 25821 25821 25822 25822 25823 25823 25824 25824 25824 25826 25825 25825 25779 25685 25591 25599 26037 26197 26197 26087 26334 26353 26401 26646 26665 26711 27033 26954 26973 27017 27258 27277 27319 27558 27558 27577 27617 27854 27873 27911 28146 28165 28201 28471 28434 28453 28487 28718 28737 28769 28959 28978 28987 28987 29158 29177 29185 29337 29356 29363 29496 29515 29521 29646 29635 29654 29659 29754 29773 29777 29853 29872 29875 29932 29932 29951 29953 29991 30010 30011 30030 30049 30502 30502 30536 31055 31426 31456 29536 29217 29217 29221 29235 29238 29240 29243 29246 29259 29259 29262 29262 29265 29268 29280 29278 29281 29284 29287 29290 29301 29301 29297 29300 29303 29306 29309 29312 29322 29316 29318 29320 29320 29322 29324 29326 29328 29336 29328 29334 29340 29346 29346 29352 29358 29364 29403 29822 29891 29901 29913 29927 29927 29943 29961 29961 29981 30003 30003 30013 30013 30014 30014 30014 30015 30015 30016 30016 30017 30017 30017 30018 30018 30018 30020 30019 30019 30020 30020 30020 30021 30021 30021 29975 29881 29787 29740 29749 30221 30403 30261 30541 30541 30563 30611 30889 30911 30957 31233 31255 31255 31299 31573 31595 31637 31909 31931 31971 32254 32241 32263 32301 32569 32591 32627 32893 32915 32949 33267 33213 33235 33267 33487 33509 33518 33716 33738 33746 33961 33922 33944 33951 34105 34127 34133 34265 34287 34292 34402 34402 34424 34428 34516 34538 34541 34607 34629 34631 34675 34697 34697 34698 34720 34742 35164 35196 35715 36321 36055 36083 33758 33379 33383 33398 33401 33401 33403 33406 33409 33423 33423 33426 33429 33432 33445 33445 33443 33446 33449 33452 33455 33467 33463 33466 33469 33472 33472 33475 33478 33489 33483 33486 33489 33492 33495 33498 33498 33501 33511 33503 33505 33507 33509 33511 33513 33515 33515 33517 33525 33515 33521 33527 33533 33539 33545 33551 33551 33557 33597 34134 34142 34152 34164 34164 34178 34194 34194 34212 34212 34232 34232 34254 34254 34264 34264 34265 34265 34265 34266 34266 34267 34267 34267 34269 34268 34268 34269 34269 34269 34270 34270 34270 34270 34271 34271 34271 34272 34272 34272 34272 34226 34132 34038 33991 33954 34450 34460 34664 34490 34803 34828 34876 35187 35187 35212 35258 35567 35592 35636 35943 35968 36010 36493 36315 36340 36380 36683 36708 36746 37047 37047 37072 37108 37407 37432 37466 37763 37788 37820 38070 38070 38095 38104 38329 38354 38362 38562 38587 38594 38769 38802 38794 38800 38950 38975 38980 39105 39130 39134 39234 39259 39259 39262 39337 39362 39364 39414 39439 39440 39465 39490 40148 39881 39911 40430 40739 40765 38564 38035 37596 37600 37616 37619 37621 37624 37627 37642 37642 37642 37645 37648 37651 37665 37663 37666 37669 37672 37675 37675 37688 37684 37687 37690 37693 37696 37699 37711 37705 37705 37708 37711 37714 37717 37720 37723 37734 37726 37729 37729 37732 37735 37738 37741 37744 37747 37757 37747 37749 37749 37751 37753 37755 37757 37759 37761 37763 37771 37759 37759 37765 37771 37777 37783 37789 37795 37801 37807 37848 37848 38442 38450 38460 38460 38472 38486 38486 38502 38502 38520 38520 38540 38540 38562 38562 38572 38572 38572 38573 38573 38573 38574 38574 38574 38576 38575 38575 38576 38576 38576 38577 38577 38577 38577 38578 38578 38578 38578 38579 38579 38579 38579 38580 38580 38580 38580 38534 38440 38346 38299 38205 38216 38756 38982 38776 39154 39122 39150 39198 39542 39570 39616 39958 39958 39986 40030 40370 40398 40440 40778 40806 40846 41328 41182 41210 41248 41582 41610 41646 41978 42006 42006 42040 42370 42398 42430 42710 42738 42747 42999 43027 43027 43035 43259 43287 43294 43490 43518 43524 43692 43720 43725 43725 43865 43893 43897 44009 44037 44040 44124 44152 44154 44210 44210 44238 44239 44267 44295 44655 44683 45202 47014 45480 45504 42369 41870 41874 41891 41891 41894 41896 41899 41902 41918 41918 41921 41924 41927 41927 41942 41940 41943 41946 41949 41952 41966 41962 41965 41965 41968 41971 41974 41977 41990 41984 41987 41990 41993 41996 41996 41999 42002 42014 42006 42009 42012 42015 42018 42021 42021 42024 42027 42038 42028 42031 42034 42037 42040 42043 42043 42046 42049 42052 42062 42050 42052 42054 42056 42058 42058 42060 42062 42064 42066 42068 42076 42062 42068 42074 42074 42080 42086 42092 42098 42104 42110 42116 42158 42625 42809 42817 42817 42827 42839 42839 42853 42853 42869 42869 42887 42887 42907 42907 42929 42929 42929 42939 42939 42939 42940 42940 42940 42941 42941 42941 42942 42942 42942 42942 42943 42943 42943 42943 42944 42944 42944 42944 42945 42945 42945 42946 42946 42946 42946 42946 42947 42947 42947 42948 42947 42901 42807 42738 42666 42572 42525 42537 43111 43359 43121 43500 43531 43531 43579 43956 43987 44033 44408 44439 44483 44961 44856 44887 44929 45300 45331 45371 45740 45740 45771 45809 46176 46207 46243 46608 46639 46673 47036 47036 47067 47099 47409 47440 47449 47728 47759 47767 48015 48015 48046 48053 48270 48301 48307 48493 48524 48529 48684 48715 48715 48719 48843 48874 48877 48970 49001 49003 49065 49096 49097 49147 49128 49159 49488 49514 50033 50280 50280 50302 46762 46203 46203 46221 46239 46247 46247 46250 46253 46270 46270 46273 46276 46279 46295 46293 46293 46296 46299 46302 46305 46320 46316 46319 46322 46325 46325 46328 46331 46345 46339 46342 46345 46348 46351 46354 46354 46357 46370 46362 46365 46368 46371 46374 46377 46380 46383 46383 46395 46385 46388 46391 46394 46397 46400 46403 46406 46406 46409 46420 46408 46411 46414 46417 46420 46423 46426 46426 46429 46432 46435 46445 46431 46433 46435 46437 46439 46439 46441 46443 46445 46447 46449 46451 46459 46443 46449 46449 46455 46461 46467 46473 46479 46485 46491 46497 46503 46503 46546 47189 47254 47262 47272 47272 47284 47284 47298 47298 47314 47314 47332 47335 47352 47352 47352 47374 47374 47374 47384 47384 47384 47385 47385 47385 47386 47386 47386 47386 47387 47387 47387 47387 47388 47389 47388 47388 47388 47389 47390 47389 47390 47390 47390 47390 47390 47390 47391 47391 47391 47391 47392 47392 47392 47392 47392 47393 47299 47205 47158 47064 46970 46923 46936 47544 47792 47522 47934 47934 47968 48016 48426 48460 48506 48914 48948 48948 48992 49398 49432 49474 49878 49912 49952 50375 50354 50388 50426 50826 50860 50896 51294 51328 51362 51362 51758 51792 51824 52164 52198 52207 52513 52547 52555 52555 52827 52861 52868 53106 53140 53146 53350 53384 53389 53580 53559 53593 53597 53733 53767 53770 53872 53906 53908 53976 54010 54010 54011 54045 54079 54377 54401 54918 55599 55134 55154 51209 50601 50601 50602 50603 50603 50603 50621 50639 50657 50669 50672 50675 50678 50695 50695 50693 50696 50699 50702 50705 50721 50717 50720 50723 50723 50726 50729 50732 50747 50741 50744 50747 50750 50753 50753 50756 50759 50773 50765 50768 50771 50774 50777 50780 50780 50783 50786 50799 50789 50792 50795 50798 50801 50804 50807 50807 50810 50813 50825 50813 50816 50819 50822 50825 50828 50828 50831 50834 50837 50840 50851 50837 50840 50843 50846 50846 50849 50852 50855 50858 50861 50864 50867 50877 50877 50861 50863 50865 50867 50869 50871 50873 50875 50877 50879 50879 50881 50883 50891 50873 50879 50885 50891 50897 50903 50903 50909 50915 50921 50927 50933 50939 50983 51682 51748 51748 51756 51766 51766 51778 51778 51792 51792 51808 51808 51808 51826 51826 51846 51846 51846 51868 51868 51868 51868 51878 51878 51878 51879 51879 51879 51879 51880 51880 51880 51880 51881 51881 51881 51882 51882 51882 51882 51882 51882 51883 51883 51884 51883 51883 51884 51884 51884 51884 51884 51885 51885 51885 51885 51885 51886 51886 51886 51886 51886 51887 51793 51699 51630 51558 51464 51417 51384 52095 52026 52270 51968 52413 52450 52498 52964 52941 52978 53024 53465 53502 53546 53985 54022 54022 54064 54501 54538 54578 55013 55050 55088 55544 55521 55558 55594 56025 56062 56096 56525 56562 56594 57010 56964 57001 57010 57343 57380 57388 57684 57721 57728 58010 57987 58024 58030 58252 58289 58294 58479 58516 58520 58668 58705 58705 58708 58819 58856 58858 58932 58969 58970 59007 59044 60090 59311 59333 59848 60033 60051 57409 55701 55046 55046 55047 55048 55048 55049 55050 55051 55051 55051 55069 55087 55105 55123 55139 55142 55145 55148 55148 55151 55168 55164 55167 55170 55173 55176 55179 55195 55195 55189 55192 55195 55198 55201 55204 55207 55222 55214 55214 55217 55220 55223 55226 55229 55232 55235 55249 55239 55239 55242 55245 55248 55251 55254 55257 55260 55263 55276 55276 55264 55267 55270 55273 55276 55279 55282 55285 55288 55288 55291 55303 55289 55292 55295 55298 55301 55304 55307 55307 55310 55313 55316 55319 55330 55314 55317 55320 55323 55323 55326 55329 55332 55335 55338 55341 55344 55347 55357 55357 55339 55341 55343 55345 55347 55349 55351 55353 55355 55355 55357 55359 55361 55363 55371 55351 55357 55363 55369 55369 55375 55381 55387 55393 55399 55405 55411 55417 55423 55423 55468 56223 56290 56298 56298 56308 56308 56320 56323 56334 56334 56350 56350 56350 56368 56368 56368 56388 56388 56388 56410 56410 56410 56410 56420 56420 56420 56420 56421 56421 56421 56421 56422 56422 56422 56422 56423 56423 56424 56423 56423 56424 56424 56424 56424 56424 56425 56425 56425 56425 56425 56426 56426 56426 56426 56426 56427 56427 56427 56427 56427 56427 56428 56428 56428 56428 56429 56428 56382 56288 56219 56147 56053 56006 55912 55865 55880 56556 56792 56458 56936 56976 56976 57024 57500 57540 57586 58060 58100 58144 58710 58616 58656 58698 59168 59208 59248 59716 59756 59756 59794 60260 60300 60336 60800 60840 60874 61336 61336 61376 61408 61808 61848 61857 62217 62257 62265 62585 62585 62625 62632 62912 62952 62958 63198 63238 63243 63443 63483 63483 63487 63647 63687 63690 63810 63850 63852 63932 63972 63973 64013 64013 64053 64289 64309 64822 64976 64976 64992 60237 59537 59537 59538 59539 59539 59540 59540 59541 59542 59542 59543 59544 59545 59546 59546 59546 59564 59582 59600 59618 59636 59656 59659 59662 59665 59668 59668 59671 59688 59682 59685 59688 59691 59694 59697 59700 59700 59716 59708 59711 59714 59717 59720 59723 59726 59729 59729 59744 59734 59737 59740 59743 59746 59749 59752 59755 59755 59758 59772 59760 59763 59766 59769 59772 59775 59778 59778 59781 59784 59787 59800 59786 59789 59792 59795 59798 59798 59801 59804 59807 59810 59813 59816 59828 59812 59815 59815 59818 59821 59824 59827 59830 59833 59836 59839 59842 59842 59845 59856 59838 59841 59844 59847 59850 59853 59856 59856 59859 59862 59865 59868 59871 59874 59884 59864 59866 59866 59868 59870 59872 59874 59876 59878 59880 59882 59884 59884 59886 59888 59890 59898 59876 59882 59888 59894 59900 59900 59906 59912 59918 59924 59930 59936 59942 59948 59954 59954 60000 60811 60879 60887 60890 60897 60897 60909 60909 60909 60923 60923 60939 60939 60939 60957 60957 60957 60977 60977 60977 60977 60999 60999 60999 60999 61009 61009 61009 61009 61010 61010 61010 61010 61011 61012 61011 61011 61011 61012 61012 61012 61012 61012 61013 61013 61014 61013 61013 61014 61014 61014 61014 61014 61014 61015 61015 61015 61016 61015 61015 61016 61016 61016 61016 61016 61016 61017 61017 61017 61017 61017 61017 61018 60924 60830 60736 60689 60595 60548 60454 60407 60423 61133 61357 60991 61502 61545 61545 61593 62102 62145 62191 62698 62741 62785 63555 63290 63333 63375 63878 63921 63961 64462 64462 64505 64543 65042 65085 65121 65618 65661 65695 66190 66190 66233 66265 66695 66738 66747 67134 67177 67185 67529 67529 67572 67579 67880 67923 67929 68187 68230 68235 68450 68493 68493 68497 68669 68712 68715 68844 68887 68889 68975 69018 69019 69089 69062 69105 69310 69328 69839 69962 69962 69976 64816 64073 64073 64074 64075 64075 64075 64076 64077 64078 64078 64079 64080 64081 64082 64082 64082 64083 64084 64085 64086 64087 64087 64105 64123 64141 64141 64159 64177 64195 64219 64222 64225 64228 64231 64234 64237 64237 64254 64246 64249 64252 64255 64258 64261 64264 64267 64267 64283 64273 64276 64279 64282 64285 64288 64291 64294 64294 64297 64312 64300 64303 64306 64309 64312 64315 64318 64318 64321 64324 64327 64341 64327 64330 64333 64336 64339 64339 64342 64345 64348 64351 64354 64357 64370 64354 64357 64357 64360 64363 64366 64369 64372 64375 64378 64381 64384 64384 64387 64399 64381 64384 64387 64390 64393 64396 64399 64399 64402 64405 64408 64411 64414 64417 64428 64408 64408 64411 64414 64417 64420 64423 64426 64429 64432 64435 64438 64438 64441 64444 64447 64457 64435 64437 64439 64441 64443 64443 64445 64447 64449 64451 64453 64455 64457 64459 64459 64461 64463 64471 64447 64453 64459 64465 64471 64477 64477 64483 64489 64495 64501 64507 64513 64519 64525 64531 64531 64578 65445 65514 65514 65522 65532 65532 65532 65544 65544 65558 65558 65558 65574 65574 65577 65592 65592 65592 65592 65612 65612 65612 65634 65634 65634 65634 65644 65644 65644 65644 65644 65645 65645 65645 65645 65645 65646 65646 65646 65646 65646 65647 65647 65647 65647 65647 65648 65649 65648 65648 65648 65648 65649 65649 65649 65649 65649 65649 65651 65650 65650 65650 65650 65650 65651 65651 65651 65651 65651 65651 65651 65653 65652 65652 65652 65652 65652 65652 65584 65512 65418 65324 65255 65183 65089 65042 64995 65012 65756 65964 65566 66110 66156 66156 66204 66746 66792 66838 67378 67424 67468 68234 68006 68052 68094 68630 68676 68716 69250 69250 69296 69334 69866 69912 69948 70478 70524 70558 71086 71086 71132 71164 71624 71670 71679 72093 72139 72147 72515 72515 72561 72568 72890 72936 72942 73218 73264 73269 73499 73545 73545 73549 73733 73779 73782 73920 73966 73968 74060 74106 74107 74153 74153 74199 74373 74389 74898 74990 74990 75002 69437 68653 68653 68654 68655 68655 68656 68656 68657 68658 68658 68659 68660 68661 68662 68662 68663 68663 68664 68665 68666 68667 68667 68668 68669 68670 68671 68671 68672 68673 68673 68691 68709 68727 68745 68763 68781 68781 68799 68827 68830 68833 68836 68839 68842 68845 68848 68848 68865 68855 68858 68861 68864 68867 68870 68873 68876 68876 68879 68895 68883 68886 68889 68892 68895 68898 68901 68901 68904 68907 68910 68925 68911 68914 68917 68920 68923 68923 68926 68929 68932 68935 68938 68941 68955 68939 68942 68942 68945 68948 68951 68954 68957 68960 68963 68966 68969 68969 68972 68985 68967 68970 68973 68976 68979 68982 68985 68985 68988 68991 68994 68997 69000 69003 69015 68995 68998 68998 69001 69004 69007 69010 69013 69016 69019 69022 69025 69025 69028 69031 69034 69045 69023 69026 69029 69032 69035 69035 69038 69041 69044 69047 69050 69053 69056 69059 69062 69062 69065 69075 69051 69053 69055 69057 69059 69061 69063 69063 69065 69067 69069 69071 69073 69075 69077 69079 69079 69081 69089 69063 69069 69075 69081 69087 69093 69099 69099 69105 69111 69117 69123 69129 69135 69141 69147 69153 69153 69201 70124 70194 70194 70202 70202 70212 70212 70224 70224 70224 70238 70238 70241 70257 70254 70254 70272 70272 70272 70272 70292 70292 70292 70292 70314 70314 70314 70314 70324 70324 70324 70324 70324 70325 70325 70325 70325 70326 70326 70326 70326 70326 70327 70326 70327 70327 70327 70327 70327 70328 70328 70328 70328 70328 70328 70329 70329 70329 70329 70329 70329 70329 70330 70330 70330 70330 70330 70330 70331 70331 70331 70331 70331 70331 70331 70332 70332 70332 70332 70332 70332 70332 70332 70286 70192 70123 70051 69957 69888 69816 69747 69675 69628 69646 70424 70612 70182 70759 70759 70808 70856 71431 71480 71526 72099 72148 72148 72192 72763 72812 72854 73423 73472 73512 74110 74079 74128 74166 74731 74780 74816 75379 75428 75462 76136 76023 76072 76104 76594 76643 76652 77093 77142 77150 77573 77542 77591 77598 77941 77990 77996 78290 78339 78344 78589 78589 78638 78642 78838 78887 78890 79037 79086 79088 79186 79235 79236 79236 79285 79334 79477 79491 79998 80059 80059 80069 74099 73276 73276 73277 73278 73278 73278 73279 73280 73281 73281 73282 73283 73284 73285 73285 73285 73286 73287 73288 73289 73290 73290 73291 73292 73293 73293 73294 73295 73296 73296 73297 73298 73299 73300 73301 73301 73302 73303 73303 73321 73339 73357 73375 73393 73411 73411 73429 73447 73479 73482 73485 73488 73491 73494 73497 73497 73500 73503 73520 73508 73511 73514 73517 73520 73523 73523 73526 73529 73532 73535 73551 73537 73540 73543 73546 73546 73549 73552 73555 73558 73561 73564 73567 73582 73566 73566 73569 73572 73575 73578 73581 73584 73587 73590 73593 73593 73596 73599 73613 73595 73598 73601 73604 73607 73610 73610 73613 73616 73619 73622 73625 73628 73631 73644 73624 73624 73627 73630 73633 73636 73639 73642 73645 73648 73651 73651 73654 73657 73660 73663 73675 73653 73656 73659 73662 73662 73665 73668 73671 73674 73677 73680 73683 73686 73689 73689 73692 73695 73706 73682 73685 73688 73691 73694 73697 73697 73700 73703 73706 73709 73712 73715 73718 73721 73721 73724 73727 73737 73711 73713 73715 73717 73719 73721 73721 73723 73725 73727 73729 73731 73733 73735 73737 73739 73739 73741 73743 73751 73723 73729 73735 73741 73747 73753 73753 73759 73765 73771 73777 73783 73789 73795 73801 73807 73807 73813 73819 73868 74847 74918 74918 74926 74926 74936 74936 74936 74948 74948 74948 74962 74962 74962 74978 74978 74978 74978 74996 74996 74996 74996 75016 75016 75016 75016 75038 75038 75038 75038 75038 75048 75048 75048 75048 75048 75049 75049 75049 75049 75049 75050 75050 75050 75050 75050 75050 75051 75051 75051 75051 75051 75051 75052 75052 75052 75052 75052 75052 75053 75053 75053 75053 75053 75053 75053 75054 75054 75054 75054 75054 75054 75054 75055 75055 75055 75055 75056 75055 75055 75055 75056 75056 75056 75056 75056 75056 75056 75056 74988 74916 74822 74728 74659 74587 74493 74446 74399 74305 74324 75136 75300 75300 74838 75448 75500 75548 76156 76208 76254 76254 76860 76912 76956 77560 77612 77654 78256 78256 78308 78348 78948 79000 79038 79636 79688 79724 80456 80320 80372 80406 81000 81052 81084 81604 81656 81665 82298 82133 82185 82193 82609 82661 82668 83032 83084 83090 83402 83402 83454 83459 83719 83771 83775 83983 84035 84038 84194 84246 84246 84248 84352 84404 84405 84457 84509 84621 84633 84633 85138 85168 85176 78801 77941 77941 77941 77942 77943 77943 77944 77945 77946 77946 77947 77948 77948 77949 77950 77950 77951 77952 77953 77954 77955 77955 77955 77956 77957 77958 77959 77960 77961 77961 77962 77963 77963 77964 77965 77966 77967 77968 77968 77969 77970 77971 77971 77972 77973 77974 77975 77976 77976 77994 78012 78030 78030 78048 78066 78084 78102 78120 78138 78174 78177 78180 78180 78183 78186 78189 78192 78195 78198 78201 78218 78204 78204 78207 78210 78213 78216 78219 78222 78225 78228 78231 78231 78234 78250 78234 78237 78240 78243 78246 78249 78252 78252 78255 78258 78261 78264 78267 78282 78264 78267 78270 78270 78273 78276 78279 78282 78285 78288 78291 78294 78297 78297 78300 78314 78294 78297 78300 78303 78306 78309 78312 78312 78315 78318 78321 78324 78327 78330 78333 78346 78346 78324 78327 78330 78333 78336 78339 78342 78345 78348 78351 78351 78354 78357 78360 78363 78366 78378 78354 78357 78357 78360 78363 78366 78369 78372 78375 78378 78381 78384 78384 78387 78390 78393 78396 78399 78410 78384 78387 78390 78390 78393 78396 78399 78402 78405 78408 78411 78414 78417 78417 78420 78423 78426 78429 78432 78442 78414 78416 78418 78418 78420 78422 78424 78426 78428 78430 78432 78434 78436 78436 78438 78440 78442 78444 78446 78448 78456 78426 78426 78432 78438 78444 78450 78456 78462 78468 78474 78480 78480 78486 78492 78498 78504 78510 78516 78522 78528 78528 78578 79613 79685 79685 79693 79693 79703 79703 79703 79715 79715 79715 79729 79729 79729 79729 79745 79745 79745 79763 79763 79763 79763 79763 79783 79783 79783 79783 79805 79805 79805 79805 79805 79815 79816 79815 79815 79815 79816 79816 79816 79817 79816 79816 79817 79817 79817 79817 79817 79817 79818 79818 79818 79818 79818 79819 79818 79819 79819 79819 79819 79820 79819 79820 79820 79820 79820 79820 79820 79820 79820 79821 79821 79821 79821 79821 79822 79821 79822 79822 79822 79822 79822 79823 79822 79822 79823 79823 79823 79823 79823 79823 79823 79823 79823 79755 79683 79589 79495 79426 79354 79260 79213 79166 79072 79025 79045 79891 80027 79533 80324 80176 80231 80279 80920 80975 81021 81660 81660 81715 81759 82396 82451 82493 83128 83183 83223 83223 83856 83911 83949 84580 84635 84671 85300 85355 85355 85389 86016 86071 86103 86653 86708 86717 87212 87267 87267 87275 87715 87770 87777 88162 88217 88223 88553 88608 88613 88993 88888 88943 88947 89167 89222 89225 89390 89445 89447 89557 89630 89612 89613 89668 89723 89804 89814 90317 91131 90316 90322 83542 82647 82647 82648 82649 82649 82649 82650 82651 82652 82652 82653 82654 82655 82656 82656 82656 82657 82658 82659 82660 82661 82661 82662 82663 82663 82664 82665 82666 82667 82667 82668 82669 82670 82671 82671 82672 82673 82674 82674 82675 82676 82677 82678 82679 82679 82680 82681 82682 82682 82683 82684 82685 82686 82687 82687 82688 82689 82690 82691 82691 82709 82727 82745 82763 82763 82781 82799 82817 82835 82853 82871 82911 82914 82917 82917 82920 82923 82926 82929 82932 82935 82938 82941 82958 82958 82942 82945 82948 82951 82954 82957 82960 82963 82966 82966 82969 82972 82975 82991 82973 82976 82979 82982 82985 82985 82988 82991 82994 82997 83000 83003 83006 83009 83009 83024 83004 83007 83010 83013 83016 83019 83022 83025 83028 83028 83031 83034 83037 83040 83043 83057 83035 83038 83038 83041 83044 83047 83050 83053 83056 83059 83062 83065 83065 83068 83071 83074 83077 83090 83066 83069 83072 83075 83075 83078 83081 83084 83087 83090 83093 83096 83099 83102 83102 83105 83108 83111 83123 83097 83100 83103 83106 83109 83109 83112 83115 83118 83121 83124 83127 83130 83133 83136 83136 83139 83142 83145 83156 83128 83131 83134 83137 83140 83140 83143 83146 83149 83152 83155 83158 83161 83164 83164 83167 83170 83173 83176 83179 83189 83159 83161 83163 83163 83165 83167 83169 83171 83173 83175 83177 83179 83181 83181 83183 83185 83187 83189 83191 83193 83195 83203 83203 83171 83177 83183 83189 83195 83201 83207 83213 83219 83219 83225 83231 83237 83243 83249 83255 83261 83267 83273 83273 83279 83330 84424 84494 84494 84494 84505 84502 84512 84512 84512 84524 84524 84524 84538 84541 84538 84538 84554 84557 84554 84554 84572 84572 84572 84572 84592 84592 84592 84592 84592 84614 84614 84614 84614 84614 84624 84624 84624 84624 84624 84624 84625 84625 84625 84625 84626 84625 84626 84626 84626 84626 84626 84626 84627 84627 84627 84627 84627 84627 84627 84628 84628 84628 84628 84628 84628 84628 84629 84629 84629 84629 84629 84629 84629 84629 84630 84630 84630 84630 84630 84630 84630 84630 84631 84631 84632 84631 84631 84631 84632 84631 84632 84632 84632 84633 84632 84632 84632 84632 84632 84633 84539 84445 84351 84282 84210 84116 84069 83975 83928 83881 83787 83808 84735 84688 84792 84266 84942 85000 85048 85722 85722 85780 85826 86498 86556 86600 87270 87328 87370 88502 88038 88096 88136 88802 88860 88898 89562 89620 89620 89656 90318 90376 90410 91070 91128 91160 91740 91798 91798 91807 92329 92387 92395 92859 92917 92924 93330 93388 93388 93394 93742 93800 93805 94095 94153 94157 94389 94447 94450 94624 94624 94682 94684 94800 94858 94859 94917 94975 95025 95025 95033 95534 95502 95506 88321 87393 87393 87393 87394 87395 87395 87396 87397 87398 87398 87399 87399 87400 87401 87402 87402 87403 87404 87405 87406 87407 87407 87407 87408 87409 87410 87411 87412 87413 87413 87413 87414 87415 87416 87417 87418 87419 87420 87420 87421 87421 87422 87423 87424 87425 87426 87427 87428 87428 87429 87429 87430 87431 87432 87433 87434 87435 87436 87437 87437 87437 87438 87439 87440 87441 87442 87443 87444 87445 87446 87446 87447 87447 87464 87481 87498 87515 87532 87549 87566 87566 87583 87600 87617 87634 87678 87680 87682 87684 87686 87686 87688 87690 87692 87694 87696 87698 87700 87716 87698 87698 87700 87702 87704 87706 87708 87710 87712 87714 87716 87716 87718 87720 87722 87737 87717 87719 87721 87723 87725 87725 87727 87729 87731 87733 87735 87737 87739 87741 87743 87743 87757 87735 87737 87739 87741 87743 87745 87747 87749 87749 87751 87753 87755 87757 87759 87761 87763 87776 87752 87752 87754 87756 87758 87760 87762 87764 87766 87768 87770 87770 87772 87774 87776 87778 87780 87782 87794 87768 87768 87770 87772 87774 87776 87778 87780 87782 87784 87786 87786 87788 87790 87792 87794 87796 87798 87800 87811 87783 87783 87785 87787 87789 87791 87793 87795 87797 87799 87801 87801 87803 87805 87807 87809 87811 87813 87815 87817 87827 87827 87797 87799 87801 87803 87805 87807 87809 87811 87813 87813 87815 87817 87819 87821 87823 87825 87827 87829 87829 87831 87833 87842 87810 87812 87814 87816 87818 87820 87820 87822 87824 87826 87828 87830 87832 87834 87836 87838 87838 87840 87842 87844 87846 87848 87855 87821 87827 87827 87833 87839 87845 87851 87857 87863 87869 87875 87881 87881 87887 87893 87899 87905 87911 87917 87923 87929 87935 87935 87987 89111 89065 89019 88996 88950 88904 88881 88835 88812 88789 88743 88720 88697 88761 89313 89382 89902 89962 90480 90538 91054 91110 91624 91678 91678 92190 92242 92752 92802 93310 93358 93864 93910 94395 94420 94863 94886 95287 95287 95308 95667 95686 96003 96020 96295 96310 96543 96556 96747 96758 96907 96916 97023 97030 97030 97137 97255 97918 97960 98379 98988 98991 99033 98928 98910 98993 98997 99062 99141 99141 99143 99224 99226 99308 99310 99396 99416 99416 99497 99638 99765 99787 99807 99904 99947 99947 99968 99987 100084 100126 100146 100164 100260 100301 100301 100389 100409 100490 100596 100677 100765 100892 100915 100915 100935 100957 100977 101020 101063 101085 101104 101125 101125 101144 101186 101228 101249 101267 101287 101305 101346 101346 101387 101477 101497 101578 101686 101767 101873 101954 101954 102044 102171 102195 102215 102238 102258 102280 102300 102300 102345 102388 102411 102430 102452 102471 102492 102492 102511 102555 102597 102619 102637 102658 102676 102696 102696 102714 102757 102798 102890 102910 102991 103101 103182 103290 103290 103371 103477 103558 103649 103776 103801 103821 103821 103845 103865 103888 103908 103930 103950 103996 104039 104039 104063 104082 104105 104124 104146 104165 104186 104205 104250 104250 104292 104315 104333 104355 104373 104394 104412 104412 104432 104450 104494 104535 104629 104649 104730 104842 104923 104923 105033 105114 105222 105303 105409 105490 105582 105709 105709 105735 105755 105780 105800 105824 105844 105867 105887 105887 105909 105929 105976 106019 106044 106063 106087 106087 106106 106129 106148 106170 106189 106210 106229 106275 106317 106317 106341 106359 106382 106400 106422 106440 106461 106479 106479 106499 106517 106562 106603 106699 106719 106800 106914 106914 106995 107107 107188 107298 107379 107487 107568 107674 107674 107755 107849 107976 108003 108023 108049 108069 108094 108094 108114 108138 108158 108181 108201 108223 108243 108292 108363 108335 108361 108380 108405 108424 108448 108467 108490 108490 108509 108531 108550 108571 108590 108638 108680 108705 108705 108723 108747 108765 108788 108806 108828 108846 108867 108867 108885 108905 108923 108970 109011 109109 109129 109210 109326 109326 109407 109521 109602 109714 109795 109905 109986 110094 110094 110175 110281 110362 110457 110584 110612 110632 110659 110659 110679 110705 110725 110750 110770 110794 110814 110837 110837 110857 110879 110899 110949 110992 111019 111038 111064 111064 111083 111108 111127 111151 111170 111193 111212 111234 111234 111253 111274 111293 111342 111384 111410 111428 111453 111453 111471 111495 111513 111536 111554 111576 111594 111615 111615 111633 111653 111671 111719 111760 111860 111880 111961 111961 112079 112160 112276 112357 112471 112552 112664 112745 112855 112855 112936 113044 113125 113231 113312 113408 113535 113535 113564 113584 113612 113632 113659 113679 113705 113725 113750 113750 113770 113794 113814 113837 113857 113879 113899 113950 113950 113993 114021 114040 114067 114086 114112 114131 114156 114156 114175 114199 114218 114241 114260 114282 114301 114322 114322 114341 114391 114433 114460 114478 114504 114522 114522 114547 114565 114589 114607 114630 114648 114670 114688 114709 114709 114727 114747 114765 114814 114855 114957 114977 115058 115058 115178 115259 115377 115458 115574 115655 115769 115850 115850 115962 116043 116153 116234 116342 116423 116529 116610 116707 116707 116834 116864 116884 116913 116933 116961 116981 116981 117008 117028 117054 117074 117099 117119 117143 117163 117186 117186 117206 117228 117248 117300 117343 117372 117391 117391 117419 117438 117465 117484 117510 117529 117554 117573 117573 117597 117616 117639 117658 117680 117699 117720 117739 117790 117790 117832 117860 117878 117905 117923 117949 117967 117967 117992 118010 118034 118052 118075 118093 118115 118133 118154 118154 118172 118192 118210 118260 118301 118405 118425 118506 118506 118628 118709 118829 118910 119028 119109 119225 119306 119306 119420 119501 119613 119694 119804 119885 119993 120074 120074 120180 120261 120359 120486 120517 120537 120567 120587 120587 120616 120636 120664 120684 120711 120731 120757 120777 120777 120802 120822 120846 120866 120889 120909 120931 120951 121004 121004 121047 121077 121096 121125 121144 121172 121191 121191 121218 121237 121263 121282 121307 121326 121350 121369 121369 121392 121411 121433 121452 121473 121492 121544 121586 121586 121615 121633 121661 121679 121706 121724 121750 121768 121768 121793 121811 121835 121853 121876 121894 121916 121934 121934 121955 121973 121993 122011 122062 122103 122208 122228 122228 122309 122433 122514 122636 122717 122837 122918 123036 123117 123117 123233 123314 123428 123509 123621 123702 123812 123893 123893 124001 124082 124188 124269 124368 124495 124527 124527 124547 124578 124598 124628 124648 124677 124697 124725 124745 124745 124772 124792 124818 124838 124863 124883 124907 124927 124927 124950 124970 124992 125012 125066 125109 125140 125140 125159 125189 125208 125237 125256 125284 125303 125330 125349 125349 125375 125394 125419 125438 125462 125481 125504 125523 125523 125545 125564 125585 125604 125657 125699 125729 125729 125747 125776 125794 125822 125840 125867 125885 125911 125929 125929 125954 125972 125996 126014 126037 126055 126077 126095 126095 126116 126134 126154 126172 126224 126265 126371 126391 126391 126472 126597 126678 126802 126883 127005 127086 127206 127206 127287 127405 127486 127602 127683 127797 127878 127990 127990 128071 128181 128262 128370 128451 128557 128638 128738 128865 128865 128898 128918 128950 128970 129001 129021 129051 129051 129071 129100 129120 129148 129168 129195 129215 129241 129241 129261 129286 129306 129330 129350 129373 129393 129415 129435 129435 129490 129533 129565 129584 129615 129634 129664 129664 129683 129712 129731 129759 129778 129805 129824 129850 129850 129869 129894 129913 129937 129956 129979 129998 130020 130020 130039 130060 130079 130133 130175 130206 130224 130254 130254 130272 130301 130319 130347 130365 130392 130410 130436 130436 130454 130479 130497 130521 130539 130562 130580 130602 130602 130620 130641 130659 130679 130697 130750 130791 130791 130898 130918 130999 131125 131206 131331 131412 131536 131617 131739 131739 131820 131940 132021 132139 132220 132336 132417 132531 132531 132612 132724 132805 132915 132996 133104 133185 133291 133291 133372 133473 133600 133634 133654 133687 133707 133707 133739 133759 133790 133810 133840 133860 133889 133909 133909 133937 133957 133984 134004 134030 134050 134075 134095 134119 134119 134139 134162 134182 134204 134224 134280 134323 134323 134356 134375 134407 134426 134457 134476 134506 134525 134525 134554 134573 134601 134620 134647 134666 134692 134711 134711 134736 134755 134779 134798 134821 134840 134862 134881 134902 134902 134921 134976 135018 135050 135068 135099 135117 135117 135147 135165 135194 135212 135240 135258 135285 135303 135303 135329 135347 135372 135390 135414 135432 135455 135473 135473 135495 135513 135534 135552 135572 135590 135644 135685 135685 135793 135813 135894 136021 136102 136228 136309 136434 136434 136515 136639 136720 136842 136923 137043 137124 137242 137323 137323 137439 137520 137634 137715 137827 137908 138018 138099 138099 138207 138288 138394 138475 138577 138704 138739 138739 138759 138793 138813 138846 138866 138898 138918 138949 138949 138969 138999 139019 139048 139068 139096 139116 139143 139143 139163 139189 139209 139234 139254 139278 139298 139321 139341 139341 139363 139383 139440 139483 139517 139536 139569 139569 139588 139620 139639 139670 139689 139719 139738 139767 139767 139786 139814 139833 139860 139879 139905 139924 139949 139949 139968 139992 140011 140034 140053 140075 140094 140115 140115 140134 140190 140232 140265 140283 140315 140333 140364 140364 140382 140412 140430 140459 140477 140505 140523 140550 140550 140568 140594 140612 140637 140655 140679 140697 140720 140720 140738 140760 140778 140799 140817 140837 140855 140910 140910 140951 141060 141080 141161 141289 141370 141497 141578 141578 141704 141785 141910 141991 142115 142196 142318 142399 142399 142519 142600 142718 142799 142915 142996 143110 143191 143191 143303 143384 143494 143575 143683 143764 143870 143951 144054 144054 144181 144217 144237 144272 144292 144326 144346 144346 144379 144399 144431 144451 144482 144502 144532 144552 144552 144581 144601 144629 144649 144676 144696 144722 144742 144742 144767 144787 144811 144831 144854 144874 144896 144916 144916 144974 145017 145052 145071 145105 145124 145157 145157 145176 145208 145227 145258 145277 145307 145326 145355 145355 145374 145402 145421 145448 145467 145493 145512 145537 145556 145556 145580 145599 145622 145641 145663 145682 145703 145722 145722 145779 145821 145855 145873 145906 145924 145956 145956 145974 146005 146023 146053 146071 146100 146118 146146 146146 146164 146191 146209 146235 146253 146278 146296 146320 146320 146338 146361 146379 146401 146419 146440 146458 146478 146478 146496 146552 146593 146703 146723 146804 146933 147014 147014 147142 147223 147350 147431 147557 147638 147763 147844 147844 147968 148049 148171 148252 148372 148453 148571 148652 148768 148768 148849 148963 149044 149156 149237 149347 149428 149536 149536 149617 149723 149804 149908 150035 150072 150092 150092 150128 150148 150183 150203 150237 150257 150290 150310 150310 150342 150362 150393 150413 150443 150463 150492 150512 150512 150540 150560 150587 150607 150633 150653 150678 150698 150698 150722 150742 150765 150785 150807 150827 150886 150929 150929 150965 150984 151019 151038 151072 151091 151124 151124 151143 151175 151194 151225 151244 151274 151293 151322 151322 151341 151369 151388 151415 151434 151460 151479 151504 151523 151523 151547 151566 151589 151608 151630 151649 151670 151689 151689 151747 151789 151824 151842 151876 151894 151927 151927 151945 151977 151995 152026 152044 152074 152092 152121 152121 152139 152167 152185 152212 152230 152256 152274 152299 152299 152317 152341 152359 152382 152400 152422 152440 152461 152461 152479 152499 152517 152574 152615 152726 152746 152827 152827 152957 153038 153167 153248 153376 153457 153584 153665 153665 153791 153872 153997 154078 154202 154283 154405 154486 154486 154606 154687 154805 154886 155002 155083 155197 155278 155278 155390 155471 155581 155662 155770 155851 155957 156038 156038 156143 156270 156308 156328 156365 156385 156421 156421 156441 156476 156496 156530 156550 156583 156603 156635 156635 156655 156686 156706 156736 156756 156785 156805 156833 156853 156853 156880 156900 156926 156946 156971 156991 157015 157035 157035 157058 157078 157100 157120 157180 157223 157260 157260 157279 157315 157334 157369 157388 157422 157441 157474 157474 157493 157525 157544 157575 157594 157624 157643 157672 157672 157691 157719 157738 157765 157784 157810 157829 157854 157854 157873 157897 157916 157939 157958 157980 157999 158020 158020 158039 158098 158140 158176 158211 158246 158264 158264 158298 158316 158349 158367 158399 158417 158448 158466 158466 158496 158514 158543 158561 158589 158607 158634 158652 158652 158678 158696 158721 158739 158763 158781 158804 158822 158844 158844 158862 158883 158901 158921 158939 158997 159038 159038 159150 159170 159251 159382 159463 159593 159674 159803 159803 159884 160012 160093 160220 160301 160427 160508 160633 160633 160714 160838 160919 161041 161122 161242 161323 161441 161441 161522 161638 161719 161833 161914 162026 162107 162217 162217 162298 162406 162487 162593 162674 162780 162907 162907 162946 162966 163004 163024 163061 163081 163117 163137 163172 163172 163192 163226 163246 163279 163299 163331 163351 163382 163382 163402 163432 163452 163481 163501 163529 163549 163576 163576 163596 163622 163642 163667 163687 163711 163731 163754 163754 163774 163796 163816 163877 163920 163958 163995 163995 164032 164051 164087 164106 164141 164160 164194 164213 164213 164246 164265 164297 164316 164347 164366 164396 164415 164415 164444 164463 164491 164510 164537 164556 164582 164601 164601 164626 164645 164669 164688 164711 164730 164752 164771 164771 164792 164811 164871 164913 164950 164986 165022 165022 165057 165092 165110 165144 165162 165195 165213 165245 165245 165263 165294 165312 165342 165360 165389 165407 165435 165435 165453 165480 165498 165524 165542 165567 165585 165609 165609 165627 165650 165668 165690 165708 165729 165747 165767 165767 165785 165844 165885 165998 166018 166099 166231 166312 166312 166443 166524 166654 166735 166864 166945 167073 167154 167154 167281 167362 167488 167569 167694 167775 167899 167980 167980 168102 168183 168303 168384 168502 168583 168699 168780 168780 168894 168975 169087 169168 169278 169359 169467 169548 169548 169654 169735 169842 169969 170009 170048 170087 170087 170107 170145 170165 170202 170222 170258 170278 170313 170313 170333 170367 170387 170420 170440 170472 170492 170523 170523 170543 170573 170593 170622 170642 170670 170690 170717 170717 170737 170763 170783 170808 170828 170852 170872 170895 170895 170915 170937 170957 171019 171062 171101 171139 171139 171177 171214 171251 171270 171306 171325 171360 171379 171379 171413 171432 171465 171484 171516 171535 171566 171585 171585 171615 171634 171663 171682 171710 171729 171756 171775 171775 171801 171820 171845 171864 171888 171907 171930 171949 171949 171971 171990 172011 172030 172091 172133 172171 172171 172208 172245 172281 172317 172352 172387 172405 172439 172439 172457 172490 172508 172540 172558 172589 172607 172637 172637 172655 172684 172702 172730 172748 172775 172793 172819 172819 172837 172862 172880 172904 172922 172945 172963 172985 172985 173003 173024 173042 173062 173080 173140 173181 173181 173306 173326 173427 173548 173629 173749 173830 173949 174030 174030 174148 174229 174346 174427 174543 174624 174739 174820 174820 174934 175015 175128 175209 175321 175402 175513 175594 175594 175704 175785 175894 175975 176083 176164 176271 176352 176352 176458 176539 176644 176725 176829 176910 176937 177018 177018 177120 177247 177311 177351 177391 177430 177469 177469 177489 177527 177547 177584 177604 177640 177660 177695 177695 177715 177749 177769 177802 177822 177854 177874 177905 177905 177925 177955 177975 178004 178024 178052 178072 178099 178099 178119 178145 178165 178190 178210 178234 178254 178277 178277 178297 178301 178321 178383 178426 178489 178528 178528 178567 178605 178643 178680 178717 178736 178772 178791 178791 178826 178845 178879 178898 178931 178950 178982 179001 179001 179032 179051 179081 179100 179129 179148 179176 179195 179195 179222 179241 179267 179286 179311 179330 179354 179373 179373 179396 179415 179437 179456 179460 179479 179540 179582 179582 179644 179682 179720 179757 179794 179830 179866 179866 179901 179936 179954 179988 180006 180039 180057 180089 180089 180107 180138 180156 180186 180204 180233 180251 180279 180279 180297 180324 180342 180368 180386 180411 180429 180453 180453 180471 180494 180512 180534 180552 180573 180591 180595 180595 180613 180673 180714 180714 191072 192202 192202 199123 201646 202756 202756 211328 212418 212418 220160 221230 221230 227425 228184 229234 229234 235442 236472 236472 241996 243006 243006 247908 248898 248898 253240 254210 254210 258054 259004 259004 262412 263342 266376 266376 267286 270008 270898 270898 273370 274240 275765 276524 277374 278976 279806 279806 279889 279891 279895 279925 280005 280007 280007 280012 280016 280020 280050 280075 280077 280077 280083 280088 280093 280097 280101 280126 280153 280153 280155 280162 280168 280174 280179 280184 280184 280188 280192 280219 280247 280249 280257 280257 280264 280271 280277 280283 280288 280293 280297 280301 280329 280329 280358 280360 280369 280377 280385 280392 280392 280399 280405 280411 280416 280421 280425 280429 280458 280458 280489 280491 280501 280510 280519 280527 280535 280535 280542 280549 280555 280561 280566 280571 280575 280579 280579 280609 280641 280643 280654 280664 280674 280674 280683 280692 280700 280708 280715 280722 280728 280734 280739 280739 280744 280748 280752 280782 280815 280817 280817 280829 280840 280851 280861 280871 280880 280889 280897 280897 280905 280912 280919 280925 280931 280936 280941 280945 280949 280949 280979 281013 281015 281028 281040 281052 281052 281063 281074 281084 281094 281103 281112 281120 281128 281128 281135 281142 281148 281154 281159 281164 281168 281172 281172 281202 281237 281239 281253 281266 281279 281291 281291 281303 281314 281325 281335 281345 281354 281363 281371 281371 281379 281386 281393 281399 281405 281410 281415 281419 281419 281423 281453 281489 281491 281506 281520 281520 281534 281547 281560 281572 281584 281595 281606 281616 281626 281626 281635 281644 281652 281660 281667 281674 281680 281686 281686 281691 281696 281700 281704 281734 281771 281773 281773 281789 281804 281819 281833 281847 281860 281873 281873 281885 281897 281908 281919 281929 281939 281948 281957 281957 281965 281973 281980 281987 281993 281999 282004 282009 282013 282013 282017 282047 282085 282087 282104 282120 282120 282136 282151 282166 282180 282194 282207 282220 282232 282232 282244 282255 282266 282276 282286 282295 282304 282312 282312 282320 282327 282334 282340 282346 282351 282356 282360 282360 282364 282394 282433 282435 282453 282470 282487 282487 282503 282519 282534 282549 282563 282577 282590 282603 282603 282615 282627 282638 282649 282659 282669 282678 282687 282687 282695 282703 282710 282717 282723 282729 282734 282739 282739 282743 282747 282777 282817 282819 282838 282838 282856 282874 282891 282908 282924 282940 282955 282970 282970 282984 282998 283011 283024 283036 283048 283059 283070 283070 283080 283090 283099 283108 283116 283124 283131 283138 283138 283144 283150 283155 283160 283164 283168 283198 283239 283241 283241 283261 283280 283299 283317 283335 283335 283352 283369 283385 283401 283416 283431 283445 283459 283472 283472 283485 283497 283509 283520 283531 283541 283551 283560 283560 283569 283577 283585 283592 283599 283605 283611 283616 283616 283621 283625 283629 283659 283701 283703 283703 283724 283744 283764 283783 283802 283820 283838 283855 283855 283872 283888 283904 283919 283934 283948 283962 283975 283975 283988 284000 284012 284023 284034 284044 284054 284063 284063 284072 284080 284088 284095 284102 284108 284114 284119 284119 284124 284128 284132 284162 284205 284207 284207 284229 284250 284271 284291 284311 284330 284349 284367 284367 284385 284402 284419 284435 284451 284466 284481 284495 284495 284509 284522 284535 284547 284559 284570 284581 284591 284591 284601 284610 284619 284627 284635 284642 284649 284655 284655 284661 284666 284671 284675 284679 284709 284753 284755 284755 284801 284823 284845 284866 284887 284907 284907 284927 284946 284965 284983 285001 285018 285035 285051 285051 285067 285082 285097 285111 285125 285138 285151 285163 285163 285175 285186 285197 285207 285217 285226 285235 285243 285243 285251 285258 285265 285271 285277 285282 285287 285291 285291 285295 285325 285340 285342 290355 290356 290357 290358 290379 290380 290380 290381 290382 290383 290384 290405 290406 290406 290407 290408 290409 290410 290411 290412 290433 290433 290434 290435 290436 290437 290438 290439 290440 290440 290441 290442 290463 290464 290465 290466 290466 290467 290468 290469 290470 290471 290472 290473 290474 290474 290495 290496 290497 290498 290499 290500 290500 290501 290502 290503 290504 290505 290506 290507 290508 290508 290529 290530 290531 290532 290533 290534 290534 290535 290536 290537 290538 290539 290540 290541 290542 290543 290543 290544 290565 290566 290567 290568 290568 290569 290570 290571 290572 290573 290574 290575 290576 290577 290577 290578 290579 290580 290581 290582 290603 290603 290604 290605 290606 290607 290608 290609 290610 290611 290611 290612 290613 290614 290615 290616 290617 290618 290619 290619 290620 290621 290622 290643 290644 290645 290645 290646 290647 290648 290649 290650 290651 290652 290653 290653 290654 290655 290656 290657 290658 290659 290660 290661 290662 290662 290663 290664 290685 290686 290687 290687 290688 290689 290690 290691 290692 290693 290694 290695 290696 290696 290697 290698 290699 290700 290701 290702 290703 290704 290704 290705 290706 290707 290708 290729 290729 290730 290731 290732 290733 290734 290735 290736 290737 290738 290738 290739 290740 290741 290742 290743 290744 290745 290746 290746 290747 290748 290749 290750 290751 290752 290753 290754 290754 290775 290776 290777 290778 290779 290780 290780 290781 290782 290783 290784 290785 290786 290787 290788 290788 290789 290790 290791 290792 290793 290794 290795 290796 290796 290797 290798 290799 290800 290801 290802 290823 290823 290824 290825 290826 290827 290828 290829 290830 290830 290831 290832 290833 290834 290835 290836 290837 290838 290838 290839 290840 290841 290842 290843 290844 290845 290846 290847 290847 290848 290849 290850 290851 290852 290873 290873 290874 290875 290876 290877 290878 290879 290880 290880 290881 290882 290883 290884 290885 290886 290887 290888 290889 290889 290890 290891 290892 290893 290894 290895 290896 290897 290897 290898 290899 290900 290901 290902 290903 290904 290925 290925 290926 290927 290928 290929 290930 290930 290931 290932 290933 290934 290935 290936 290937 290938 290939 290939 290940 290941 290942 290943 290944 290945 290946 290947 290947 290948 290949 290950 290951 290952 290953 290954 290955 290955 290956 290957 290958 290979 290980 290980 290981 290982 290983 290984 290985 290986 290987 290988 290988 290989 290990 290991 290992 290993 290994 290995 290996 290997 290997 290998 290999 291000 291001 291002 291003 291004 291005 291005 291006 291007 291008 291009 291010 291011 291012 291013 291013 291014 291035 291036 291037 291038 291038 291039 291040 291041 291042 291043 291044 291045 291046 291046 291047 291048 291049 291050 291051 291052 291053 291054 291054 291055 291056 291057 291058 291059 291060 291061 291062 291062 291063 291064 291065 291066 291067 291068 291069 291070 291071 291071 291072 291093 291094 291095 291096 291096 291097 291098 291099 291100 291101 291102 291103 291104 291104 291105 291106 291107 291108 291109 291110 291111 291112 291112 291113 291114 291115 291116 291117 291118 291119 291120 291120 291121 291122 291123 291124 291125 291126 291127 291128 291128 291129 291130 291131 291132 291153 291154 291154 291155 291156 291157 291158 291159 291160 291161 291162 291162 291163 291164 291165 291166 291167 291168 291169 291170 291170 291171 291172 291173 291174 291175 291176 291177 291178 291178 291179 291180 291181 291182 291183 291184 291185 291186 291186 291187 291188 291189 291190 291191 291191 291192 291196 291196 291217 297112 297112 297113 297114 297115 297116 297117 297117 297118 297119 297120 297121 297122 297122 297123 297124 297125 297126 297127 297128 297129 297129 297130 297131 297132 297133 297134 297135 297136 297136 297137 297138 297139 297140 297141 297142 297142 297143 297144 297145 297146 297147 297148 297149 297150 297150 297151 297152 297153 297154 297155 297156 297156 297157 297158 297159 297160 297161 297162 297163 297164 297164 297165 297166 297167 297168 297169 297169 297170 297171 297172 297173 297174 297175 297176 297177 297178 297178 297179 297180 297181 297182 297183 297183 297184 297185 297186 297187 297188 297189 297190 297191 297191 297192 297193 297194 297195 297196 297197 297198 297199 297199 297200 297201 297202 297203 297204 297205 297205 297206 297207 297208 297209 297210 297211 297212 297213 297213 297214 297215 297216 297217 297218 297219 297219 297220 297221 297222 297223 297224 297225 297226 297227 297227 297228 297229 297230 297231 297232 297233 297234 297235 297235 297236 297237 297238 297239 297240 297241 297241 297242 297243 297244 297245 297246 297247 297248 297249 297249 297250 297251 297252 297253 297254 297255 297256 297257 297257 297258 297259 297260 297261 297262 297263 297264 297265 297265 297266 297267 297268 297269 297270 297270 297271 297272 297273 297274 297275 297276 297277 297278 297279 297279 297280 297281 297282 297283 297284 297285 297286 297287 297287 297288 297289 297290 297291 297292 297292 297293 297294 297295 297296 297297 297298 297299 297300 297300 297301 297302 297303 297304 297305 297306 297307 297308 297309 297309 297310 297311 297312 297313 297314 297315 297316 297317 297317 297318 297319 297320 297321 297322 297322 297323 297324 297325 297326 297327 297328 297329 297330 297330 297331 297332 297333 297334 297335 297336 297337 297338 297338 297339 297340 297341 297342 297343 297344 297345 297346 297347 297347 297348 297349 297350 297351 297352 297352 297353 297354 297355 297356 297357 297358 297359 297360 297360 297361 297362 297363 297364 297365 297366 297367 297368 297368 297369 297370 297371 297372 297373 297374 297375 297376 297376 297377 297378 297379 297380 297381 297381 297382 297383 297384 297385 297386 297387 297388 297389 297390 297390 297391 297392 297393 297394 297395 297396 297397 297398 297398 297399 297400 297401 297402 297403 297404 297405 297406 297406 297407 297408 297409 297410 297411 297412 297413 297414 297414 297415 297416 297417 297418 297419 297419 297420 297421 297422 297423 297424 297425 297426 297427 297427 297428 297429 297430 297431 297432 297433 297434 297435 297435 297436 297437 297438 297439 297440 297441 297442 297443 297443 297444 297445 297446 297447 297448 297449 297450 297451 297451 297452 297453 297454 297455 297456 297456 297457 297458 297459 297460 297461 297462 297463 297464 297464 297465 297466 297467 297468 297469 297470 297471 297472 297473 297473 297474 297475 297476 297477 297478 297479 297480 297481 297481 297482 297483 297484 297485 297486 297487 297488 297489 297489 297490 297491 297492 297493 297494 297494 297495 297496 297497 297498 297499 297500 297501 297502 297502 297503 297504 297505 297506 297507 297508 297509 297510 297510 297511 297512 297513 297514 297515 297516 297517 297518 297518 297519 297520 297521 297522 297523 297524 297525 297526 297526 297527 297528 297529 297530 297531 297531 297532 297533 297534 297535 297536 297537 297538 297539 297539 297540 297541 297542 297543 297544 297545 297546 297547 297547 297548 297549 297550 297551 297552 297553 297554 297555 297555 297556 297557 297558 297559 297560 297561 297562 297563 297563 297564 297565 297566 297567 297567 297568 297569 297573 297573 303876 303876 303877 303878 303879 303880 303881 303881 303882 303883 303884 303885 303886 303886 303887 303888 303889 303890 303891 303892 303893 303893 303894 303895 303896 303897 303898 303899 303899 303900 303901 303902 303903 303904 303904 303905 303906 303907 303908 303909 303910 303911 303912 303913 303913 303914 303915 303916 303917 303918 303918 303919 303920 303921 303922 303923 303924 303925 303926 303926 303927 303928 303929 303930 303931 303931 303932 303933 303934 303935 303936 303937 303938 303939 303939 303940 303941 303942 303943 303944 303945 303945 303946 303947 303948 303949 303950 303951 303952 303952 303953 303954 303955 303956 303957 303958 303959 303960 303961 303961 303962 303963 303964 303965 303966 303966 303967 303968 303969 303970 303971 303972 303973 303974 303974 303975 303976 303977 303978 303979 303980 303981 303982 303982 303983 303984 303985 303986 303987 303987 303988 303989 303990 303991 303992 303993 303994 303995 303996 303996 303997 303998 303999 304000 304001 304002 304003 304004 304004 304005 304006 304007 304008 304009 304009 304010 304011 304012 304013 304014 304015 304016 304017 304017 304018 304019 304020 304021 304022 304023 304024 304025 304025 304026 304027 304028 304029 304030 304030 304031 304032 304033 304034 304035 304036 304037 304038 304038 304039 304040 304041 304042 304043 304044 304045 304046 304046 304047 304048 304049 304050 304051 304052 304053 304054 304055 304055 304056 304057 304058 304059 304060 304060 304061 304062 304063 304064 304065 304066 304067 304068 304068 304069 304070 304071 304072 304073 304074 304075 304076 304076 304077 304078 304079 304080 304081 304082 304083 304083 304084 304085 304086 304087 304088 304089 304089 304090 304091 304092 304093 304094 304095 304096 304097 304097 304098 304099 304100 304101 304102 304103 304104 304105 304105 304106 304107 304108 304109 304110 304111 304112 304113 304113 304114 304115 304116 304117 304118 304118 304119 304120 304121 304122 304123 304124 304125 304126 304126 304127 304128 304129 304130 304131 304132 304133 304134 304134 304135 304136 304137 304138 304139 304140 304141 304142 304143 304143 304144 304145 304146 304147 304147 304148 304149 304150 304151 304152 304153 304154 304155 304155 304156 304157 304158 304159 304160 304161 304162 304163 304164 304164 304165 304166 304167 304168 304169 304170 304171 304172 304172 304173 304174 304175 304176 304177 304178 304179 304179 304180 304181 304182 304183 304184 304184 304185 304186 304187 304188 304189 304190 304191 304192 304192 304193 304194 304195 304196 304197 304198 304199 304200 304201 304201 304202 304203 304204 304205 304206 304207 304208 304209 304209 304210 304211 304212 304213 304214 304215 304215 304216 304217 304218 304219 304220 304221 304222 304222 304223 304224 304225 304226 304227 304228 304229 304230 304230 304231 304232 304233 304234 304235 304236 304237 304238 304238 304239 304240 304241 304242 304243 304244 304245 304246 304246 304247 304248 304249 304250 304251 304252 304253 304253 304254 304255 304256 304257 304258 304258 304259 304260 304261 304262 304263 304264 304265 304266 304266 304267 304268 304269 304270 304271 304272 304273 304274 304274 304275 304276 304277 304278 304279 304280 304281 304282 304282 304283 304284 304285 304286 304287 304288 304289 304290 304290 304291 304292 304293 304294 304295 304295 304296 304297 304298 304299 304300 304301 304302 304303 304303 304304 304305 304306 304307 304308 304309 304310 304311 304311 304312 304313 304314 304315 304316 304317 304318 304319 304319 304320 304321 304322 304323 304324 304325 304326 304327 304327 304328 304329 304330 304331 304331 304332 304333 304334 304334 311027 311028 311029 311030 311031 311032 311032 311033 311034 311035 311036 311037 311037 311038 311039 311040 311041 311042 311043 311044 311045 311045 311046 311047 311048 311049 311049 311050 311051 311052 311053 311054 311055 311055 311056 311057 311058 311059 311060 311061 311062 311062 311063 311064 311065 311066 311067 311067 311068 311069 311070 311071 311072 311073 311074 311075 311075 311076 311077 311078 311079 311080 311081 311081 311082 311083 311084 311085 311086 311087 311088 311088 311089 311090 311091 311092 311093 311094 311095 311096 311096 311097 311098 311099 311100 311100 311101 311102 311103 311104 311105 311106 311107 311108 311109 311109 311110 311111 311112 311113 311114 311115 311115 311116 311117 311118 311119 311120 311121 311122 311122 311123 311124 311125 311126 311127 311128 311129 311130 311130 311131 311132 311133 311134 311135 311135 311136 311137 311138 311139 311140 311141 311142 311143 311143 311144 311145 311146 311147 311148 311149 311150 311151 311151 311152 311153 311154 311155 311156 311157 311157 311158 311159 311160 311161 311162 311163 311164 311164 311165 311166 311167 311168 311169 311170 311171 311172 311172 311173 311174 311175 311176 311177 311178 311179 311180 311180 311181 311182 311183 311184 311184 311185 311186 311187 311188 311189 311190 311191 311192 311193 311193 311194 311195 311196 311197 311198 311199 311200 311201 311201 311202 311203 311204 311205 311206 311207 311207 311208 311209 311210 311211 311212 311213 311214 311214 311215 311216 311217 311218 311219 311220 311221 311222 311222 311223 311224 311225 311226 311227 311228 311229 311230 311230 311231 311232 311233 311234 311235 311235 311236 311237 311238 311239 311240 311241 311242 311242 311243 311244 311245 311246 311247 311248 311249 311250 311251 311251 311252 311253 311254 311255 311256 311257 311258 311259 311259 311260 311261 311262 311263 311264 311265 311265 311266 311267 311268 311269 311270 311271 311271 311272 311273 311274 311275 311276 311277 311278 311279 311279 311280 311281 311282 311283 311284 311285 311286 311287 311288 311288 311289 311290 311291 311292 311293 311294 311295 311296 311296 311297 311298 311299 311300 311300 311301 311302 311303 311304 311305 311306 311307 311308 311308 311309 311310 311311 311312 311313 311314 311315 311316 311316 311317 311318 311319 311320 311321 311322 311323 311324 311324 311325 311326 311327 311328 311329 311330 311331 311331 311332 311333 311334 311335 311336 311337 311337 311338 311339 311340 311341 311342 311343 311344 311345 311345 311346 311347 311348 311349 311350 311351 311352 311353 311353 311354 311355 311356 311357 311358 311359 311360 311361 311361 311362 311363 311364 311365 311366 311367 311367 311368 311369 311370 311371 311372 311373 311373 311374 311375 311376 311377 311378 311379 311380 311381 311381 311382 311383 311384 311385 311386 311387 311388 311389 311389 311390 311391 311392 311393 311394 311395 311396 311397 311397 311398 311399 311400 311401 311402 311403 311404 311405 311405 311406 311407 311408 311409 311410 311410 311411 311412 311413 311414 311415 311416 311417 311418 311418 311419 311420 311421 311422 311423 311424 311425 311426 311426 311427 311428 311429 311430 311431 311432 311433 311434 311434 311435 311436 311437 311438 311439 311440 311441 311442 311442 311443 311444 311445 311446 311446 311447 311448 311449 311450 311451 311452 311453 311454 311454 311455 311456 311457 311458 311459 311460 311461 311462 311462 311463 311464 311465 311466 311467 311468 311469 311470 311470 311471 311472 311473 311474 311475 311476 311477 311478 311478 311479 311480 311481 311482 311483 311483 311484 311485 311485 311486 318558 318559 318560 318561 318562 318562 318563 318564 318565 318566 318567 318568 318568 318569 318570 318571 318572 318573 318573 318574 318575 318576 318577 318577 318578 318579 318580 318581 318582 318583 318584 318585 318585 318586 318587 318588 318589 318589 318590 318591 318592 318593 318594 318595 318596 318597 318597 318598 318599 318600 318601 318601 318602 318603 318604 318605 318606 318607 318608 318609 318610 318610 318611 318612 318613 318614 318614 318615 318616 318617 318618 318619 318620 318621 318622 318622 318623 318624 318625 318626 318627 318628 318628 318629 318630 318631 318632 318633 318634 318635 318635 318636 318637 318638 318639 318640 318641 318642 318643 318643 318644 318645 318646 318647 318647 318648 318649 318650 318651 318652 318653 318654 318655 318655 318656 318657 318658 318659 318660 318661 318662 318663 318663 318664 318665 318666 318667 318667 318668 318669 318670 318671 318672 318673 318674 318675 318676 318676 318677 318678 318679 318680 318681 318682 318683 318684 318684 318685 318686 318687 318688 318688 318689 318690 318691 318692 318693 318694 318695 318696 318696 318697 318698 318699 318700 318701 318702 318703 318704 318705 318705 318706 318707 318708 318709 318710 318711 318712 318712 318713 318714 318715 318716 318717 318717 318718 318719 318720 318721 318722 318723 318724 318725 318725 318726 318727 318728 318729 318730 318731 318732 318733 318733 318734 318735 318736 318737 318738 318738 318739 318740 318741 318742 318743 318744 318745 318745 318746 318747 318748 318749 318750 318751 318752 318753 318753 318754 318755 318756 318757 318758 318759 318760 318761 318762 318762 318763 318764 318765 318766 318766 318767 318768 318769 318770 318771 318772 318773 318774 318774 318775 318776 318777 318778 318779 318780 318781 318782 318782 318783 318784 318785 318786 318787 318788 318789 318790 318790 318791 318792 318793 318794 318795 318796 318796 318797 318798 318799 318800 318801 318802 318802 318803 318804 318805 318806 318807 318808 318809 318810 318810 318811 318812 318813 318814 318815 318816 318817 318818 318818 318819 318820 318821 318822 318823 318824 318825 318826 318827 318827 318828 318829 318830 318830 318831 318832 318833 318834 318835 318836 318837 318838 318838 318839 318840 318841 318842 318843 318844 318845 318846 318847 318847 318848 318849 318850 318851 318852 318853 318854 318855 318855 318856 318857 318858 318859 318860 318861 318862 318862 318863 318864 318865 318866 318867 318867 318868 318869 318870 318871 318872 318873 318874 318875 318875 318876 318877 318878 318879 318880 318881 318882 318883 318883 318884 318885 318886 318887 318888 318889 318890 318891 318891 318892 318893 318894 318895 318896 318897 318898 318898 318899 318900 318901 318902 318903 318903 318904 318905 318906 318907 318908 318909 318910 318911 318911 318912 318913 318914 318915 318916 318917 318918 318919 318919 318920 318921 318922 318923 318924 318925 318926 318927 318927 318928 318929 318930 318931 318932 318933 318934 318935 318935 318936 318937 318938 318939 318939 318940 318941 318942 318943 318944 318945 318946 318947 318947 318948 318949 318950 318951 318952 318953 318954 318955 318955 318956 318957 318958 318959 318960 318961 318962 318963 318963 318964 318965 318966 318967 318968 318969 318970 318971 318971 318972 318973 318974 318975 318976 318976 318977 318978 318979 318980 318981 318982 318983 318983 318984 318985 318986 318987 318988 318989 318990 318991 318991 318992 318993 318994 318995 318996 318997 318998 318999 318999 319000 319001 319002 319003 319004 319005 319006 319007 319007 319008 319009 319010 319011 319012 319013 319014 319014 319014 319015 319016 319017 319017 326459 326460 326461 326461 326462 326463 326464 326465 326465 326466 326467 326468 326468 326469 326470 326471 326472 326473 326474 326475 326476 326476 326477 326478 326479 326480 326480 326481 326482 326483 326484 326485 326486 326486 326487 326488 326489 326490 326491 326492 326492 326493 326494 326495 326496 326497 326498 326498 326499 326500 326501 326502 326503 326504 326504 326505 326506 326507 326508 326509 326510 326511 326512 326512 326513 326514 326515 326516 326516 326517 326518 326519 326520 326521 326522 326523 326524 326524 326525 326526 326527 326528 326528 326529 326530 326531 326532 326533 326534 326535 326536 326536 326537 326538 326539 326540 326541 326542 326543 326544 326545 326545 326546 326547 326548 326548 326549 326550 326551 326552 326553 326554 326555 326556 326556 326557 326558 326559 326560 326561 326562 326563 326564 326565 326565 326566 326567 326568 326568 326569 326570 326571 326572 326573 326574 326575 326576 326577 326577 326578 326579 326580 326581 326582 326583 326584 326585 326585 326586 326587 326588 326588 326589 326590 326591 326592 326593 326594 326595 326596 326597 326597 326598 326599 326600 326601 326602 326603 326604 326605 326605 326606 326607 326608 326609 326610 326611 326612 326612 326613 326614 326615 326616 326617 326617 326618 326619 326620 326621 326622 326623 326624 326625 326625 326626 326627 326628 326629 326630 326631 326632 326633 326633 326634 326635 326636 326637 326638 326638 326639 326640 326641 326642 326643 326644 326645 326645 326646 326647 326648 326649 326650 326651 326652 326653 326653 326654 326655 326656 326657 326658 326659 326660 326661 326661 326662 326663 326664 326665 326666 326666 326667 326668 326669 326670 326671 326672 326673 326673 326674 326675 326676 326677 326678 326679 326680 326681 326681 326682 326683 326684 326685 326686 326687 326688 326689 326689 326690 326691 326692 326693 326694 326695 326696 326696 326697 326698 326699 326700 326701 326701 326702 326703 326704 326705 326706 326707 326708 326709 326709 326710 326711 326712 326713 326714 326715 326716 326717 326717 326718 326719 326720 326721 326722 326723 326724 326725 326725 326726 326727 326728 326728 326729 326730 326731 326732 326733 326734 326735 326736 326737 326737 326738 326739 326740 326741 326742 326743 326744 326745 326745 326746 326747 326748 326749 326750 326751 326752 326753 326753 326754 326755 326756 326757 326758 326759 326760 326761 326761 326762 326763 326764 326764 326765 326766 326767 326768 326769 326770 326771 326772 326772 326773 326774 326775 326776 326777 326778 326779 326780 326780 326781 326782 326783 326784 326785 326786 326787 326788 326789 326789 326790 326791 326792 326793 326794 326795 326796 326797 326797 326798 326799 326800 326800 326801 326802 326803 326804 326805 326806 326807 326808 326808 326809 326810 326811 326812 326813 326814 326815 326816 326816 326817 326818 326819 326820 326821 326822 326823 326824 326824 326825 326826 326827 326828 326829 326830 326831 326832 326832 326833 326834 326835 326836 326836 326837 326838 326839 326840 326841 326842 326843 326843 326844 326845 326846 326847 326848 326849 326850 326851 326851 326852 326853 326854 326855 326856 326857 326858 326859 326859 326860 326861 326862 326863 326864 326865 326866 326867 326868 326868 326869 326870 326871 326872 326873 326874 326875 326876 326876 326877 326878 326879 326879 326880 326881 326882 326883 326884 326885 326886 326887 326887 326888 326889 326890 326891 326892 326893 326894 326895 326895 326896 326897 326898 326899 326900 326901 326902 326903 326903 326904 326905 326906 326907 326908 326909 326910 326911 326911 326912 326913 326914 326914 326915 326916 326917 326917 334719 334720 334721 334722 334723 334723 334724 334725 334726 334727 334728 334729 334729 334730 334731 334732 334732 334733 334734 334735 334736 334737 334737 334738 334739 334740 334741 334742 334743 334744 334744 334745 334746 334747 334747 334748 334749 334750 334751 334752 334753 334754 334755 334755 334756 334757 334758 334759 334759 334760 334761 334762 334763 334764 334765 334766 334766 334767 334768 334769 334770 334771 334772 334773 334773 334774 334775 334776 334777 334778 334778 334779 334780 334781 334782 334783 334784 334785 334786 334786 334787 334788 334789 334789 334790 334791 334792 334793 334794 334795 334796 334797 334798 334798 334799 334800 334801 334802 334803 334804 334805 334806 334806 334807 334808 334809 334809 334810 334811 334812 334813 334814 334815 334816 334817 334817 334818 334819 334820 334821 334822 334823 334824 334825 334826 334826 334827 334828 334829 334829 334830 334831 334832 334833 334834 334835 334836 334837 334837 334838 334839 334840 334841 334842 334843 334844 334845 334845 334846 334847 334848 334849 334849 334850 334851 334852 334853 334854 334855 334856 334857 334857 334858 334859 334860 334861 334862 334863 334864 334865 334865 334866 334867 334868 334869 334870 334871 334872 334873 334873 334874 334875 334876 334876 334877 334878 334879 334880 334881 334882 334883 334884 334884 334885 334886 334887 334888 334889 334890 334891 334892 334893 334893 334894 334895 334896 334897 334898 334899 334899 334900 334901 334902 334903 334904 334904 334905 334906 334907 334908 334909 334910 334911 334912 334912 334913 334914 334915 334916 334917 334918 334919 334920 334920 334921 334922 334923 334924 334925 334926 334927 334927 334928 334929 334930 334931 334931 334932 334933 334934 334935 334936 334937 334938 334939 334940 334940 334941 334942 334943 334944 334945 334946 334947 334948 334948 334949 334950 334951 334952 334953 334954 334955 334956 334956 334957 334958 334959 334959 334960 334961 334962 334963 334964 334965 334966 334967 334967 334968 334969 334970 334971 334972 334973 334974 334975 334975 334976 334977 334978 334979 334980 334981 334982 334983 334983 334984 334985 334986 334987 334988 334989 334989 334990 334991 334992 334993 334994 334994 334995 334996 334997 334998 334999 335000 335001 335002 335002 335003 335004 335005 335006 335007 335008 335009 335010 335011 335011 335012 335013 335014 335015 335016 335017 335018 335019 335019 335020 335021 335022 335023 335023 335024 335025 335026 335027 335028 335029 335030 335030 335031 335032 335033 335034 335035 335036 335037 335038 335038 335039 335040 335041 335042 335043 335044 335045 335046 335046 335047 335048 335049 335050 335051 335052 335053 335054 335054 335055 335056 335057 335058 335059 335059 335060 335061 335062 335063 335064 335065 335065 335066 335067 335068 335069 335070 335071 335072 335073 335073 335074 335075 335076 335077 335078 335079 335080 335081 335081 335082 335083 335084 335085 335086 335087 335088 335089 335089 335090 335091 335092 335093 335094 335095 335096 335097 335097 335098 335099 335100 335100 335101 335102 335103 335104 335105 335106 335107 335108 335108 335109 335110 335111 335112 335113 335114 335115 335116 335116 335117 335118 335119 335120 335121 335122 335123 335124 335124 335125 335126 335127 335128 335129 335130 335131 335132 335132 335133 335134 335135 335136 335137 335137 335138 335139 335140 335141 335142 335143 335143 335144 335145 335146 335147 335148 335149 335150 335151 335151 335152 335153 335154 335155 335156 335157 335158 335159 335159 335160 335161 335162 335163 335164 335165 335166 335167 335167 335168 335169 335170 335171 335172 335173 335174 335175 335175 335175 335176 335177 335178 335178 343336 343336 343337 343338 343339 343339 343340 343341 343342 343343 343344 343345 343345 343346 343347 343348 343349 343350 343350 343351 343352 343353 343353 343354 343355 343356 343357 343358 343359 343360 343361 343361 343362 343363 343363 343364 343365 343366 343367 343368 343369 343370 343371 343372 343372 343373 343374 343375 343375 343376 343377 343378 343379 343380 343381 343382 343383 343383 343384 343385 343386 343387 343388 343389 343389 343390 343391 343392 343393 343394 343394 343395 343396 343397 343398 343399 343400 343401 343402 343402 343403 343404 343405 343405 343406 343407 343408 343409 343410 343411 343412 343413 343413 343414 343415 343416 343417 343418 343419 343420 343421 343421 343422 343423 343424 343424 343425 343426 343427 343428 343429 343430 343431 343432 343432 343433 343434 343435 343436 343437 343438 343439 343440 343441 343441 343442 343443 343443 343444 343445 343446 343447 343448 343449 343450 343451 343451 343452 343453 343454 343455 343456 343457 343458 343459 343460 343460 343461 343462 343463 343464 343465 343465 343466 343467 343468 343469 343470 343470 343471 343472 343473 343474 343475 343476 343477 343478 343479 343479 343480 343481 343482 343483 343484 343485 343486 343487 343487 343488 343489 343489 343490 343491 343492 343493 343494 343495 343496 343497 343498 343498 343499 343500 343501 343502 343503 343504 343505 343506 343506 343507 343508 343509 343510 343511 343512 343513 343514 343514 343515 343516 343517 343517 343518 343519 343520 343521 343522 343523 343524 343525 343525 343526 343527 343528 343529 343530 343531 343532 343533 343533 343534 343535 343536 343537 343538 343539 343540 343541 343542 343542 343543 343544 343544 343545 343546 343547 343548 343549 343550 343551 343552 343552 343553 343554 343555 343556 343557 343558 343559 343560 343560 343561 343562 343563 343564 343565 343566 343567 343568 343568 343569 343570 343571 343572 343573 343573 343574 343575 343576 343577 343578 343579 343579 343580 343581 343582 343583 343584 343585 343586 343587 343587 343588 343589 343590 343591 343592 343593 343594 343595 343595 343596 343597 343598 343599 343600 343601 343602 343603 343604 343604 343605 343606 343606 343607 343608 343609 343610 343611 343612 343613 343614 343614 343615 343616 343617 343618 343619 343620 343621 343622 343622 343623 343624 343625 343626 343627 343628 343629 343630 343630 343631 343632 343633 343634 343635 343636 343637 343638 343641 343639 343640 343641 343641 343642 343643 343644 343645 343646 343647 343648 343649 343649 343650 343651 343652 343653 343654 343655 343656 343657 343657 343658 343659 343660 343661 343662 343663 343664 343665 343665 343666 343667 343668 343669 343670 343671 343672 343673 343673 343674 343675 343676 343676 343677 343678 343679 343680 343681 343682 343683 343684 343684 343685 343686 343687 343688 343689 343690 343691 343692 343692 343693 343694 343695 343696 343697 343698 343699 343700 343700 343701 343702 343703 343704 343705 343706 343707 343708 343708 343709 343710 343711 343712 343713 343713 343714 343715 343716 343717 343718 343718 343719 343720 343721 343722 343723 343724 343725 343726 343726 343727 343728 343729 343730 343731 343732 343733 343734 343734 343735 343736 343737 343738 343739 343740 343741 343742 343743 343743 343744 343745 343746 343747 343748 343749 343750 343751 343751 343752 343753 343753 343754 343755 343756 343757 343758 343759 343760 343761 343761 343762 343763 343764 343765 343766 343767 343768 343769 343769 343770 343771 343772 343773 343774 343775 343776 343777 343777 343778 343779 343780 343781 343782 343783 343784 343785 343785 343786 343787 343788 343789 343790 343791 343791 343792 343792 343793 343794 343794 352303 352304 352304 352305 352306 352306 352307 352308 352309 352310 352311 352312 352312 352313 352314 352315 352316 352317 352317 352318 352319 352320 352320 352321 352322 352323 352324 352325 352326 352327 352327 352328 352329 352330 352330 352331 352332 352333 352334 352335 352336 352337 352338 352338 352339 352340 352341 352342 352342 352343 352344 352345 352346 352347 352348 352348 352349 352350 352351 352352 352353 352354 352355 352356 352356 352357 352358 352359 352359 352360 352361 352362 352363 352364 352365 352366 352367 352367 352368 352369 352370 352371 352372 352372 352373 352374 352375 352376 352377 352378 352378 352379 352380 352381 352382 352383 352384 352385 352386 352386 352387 352388 352389 352390 352390 352391 352392 352393 352394 352395 352396 352397 352397 352398 352399 352400 352401 352402 352403 352404 352405 352405 352406 352407 352408 352409 352410 352410 352411 352412 352413 352414 352415 352415 352416 352417 352418 352419 352420 352421 352422 352423 352424 352424 352425 352426 352427 352428 352429 352430 352431 352432 352432 352433 352434 352434 352435 352436 352437 352438 352439 352440 352441 352442 352442 352443 352444 352445 352446 352447 352448 352449 352450 352451 352451 352452 352453 352454 352455 352456 352456 352457 352458 352459 352460 352461 352461 352462 352463 352464 352465 352466 352467 352468 352469 352469 352470 352471 352472 352473 352474 352475 352476 352477 352477 352478 352479 352480 352481 352482 352482 352483 352484 352485 352486 352487 352488 352488 352489 352490 352491 352492 352493 352494 352495 352496 352496 352497 352498 352499 352500 352501 352502 352503 352504 352504 352505 352506 352507 352508 352509 352510 352510 352511 352512 352513 352514 352514 352515 352516 352517 352518 352519 352520 352521 352522 352523 352523 352524 352525 352526 352527 352528 352529 352530 352531 352531 352532 352533 352534 352535 352536 352537 352538 352539 352539 352540 352541 352541 352542 352543 352544 352545 352546 352547 352548 352549 352549 352550 352551 352552 352553 352554 352555 352556 352557 352557 352558 352559 352560 352561 352562 352563 352564 352565 352565 352566 352567 352568 352569 352570 352571 352572 352572 352573 352574 352575 352575 352576 352577 352578 352579 352580 352581 352582 352583 352584 352584 352585 352586 352587 352588 352589 352590 352591 352592 352592 352593 352594 352595 352596 352597 352598 352599 352600 352600 352601 352602 352603 352604 352605 352606 352606 352607 352608 352609 352610 352610 352611 352612 352613 352614 352615 352616 352617 352618 352618 352619 352620 352621 352622 352623 352624 352625 352626 352626 352627 352628 352629 352630 352631 352632 352633 352634 352634 352635 352636 352637 352638 352639 352640 352641 352642 352642 352643 352644 352644 352645 352646 352647 352648 352649 352650 352651 352652 352652 352653 352654 352655 352656 352657 352658 352659 352660 352661 352661 352662 352663 352664 352665 352666 352667 352668 352669 352669 352670 352671 352672 352673 352674 352675 352676 352677 352677 352678 352679 352680 352680 352681 352682 352683 352684 352685 352686 352687 352687 352688 352689 352690 352691 352692 352693 352694 352695 352695 352696 352697 352698 352699 352700 352701 352702 352703 352703 352704 352705 352706 352707 352708 352709 352710 352711 352711 352712 352713 352714 352715 352716 352717 352718 352719 352719 352720 352721 352721 352722 352723 352724 352725 352726 352727 352728 352729 352729 352730 352731 352732 352733 352734 352735 352736 352737 352737 352738 352739 352740 352741 352742 352743 352744 352745 352745 352746 352747 352748 352749 352750 352751 352752 352753 352753 352754 352755 352756 352757 352758 352758 352759 352760 352760 352761 352761 361619 361620 361620 361621 361622 361622 361623 361624 361625 361626 361627 361628 361628 361629 361630 361631 361632 361632 361633 361634 361635 361636 361636 361637 361638 361639 361640 361641 361642 361642 361643 361644 361645 361646 361646 361647 361648 361649 361650 361651 361652 361652 361653 361654 361655 361656 361657 361658 361658 361659 361660 361661 361662 361662 361663 361664 361665 361666 361667 361668 361669 361670 361670 361671 361672 361672 361673 361674 361675 361676 361677 361678 361679 361680 361680 361681 361682 361683 361684 361685 361686 361687 361688 361688 361689 361690 361690 361691 361692 361693 361694 361695 361696 361697 361698 361699 361699 361700 361701 361702 361703 361704 361705 361706 361706 361707 361708 361709 361709 361710 361711 361712 361713 361714 361715 361716 361717 361717 361718 361719 361720 361721 361722 361723 361724 361725 361726 361726 361727 361727 361728 361729 361730 361731 361732 361733 361734 361735 361735 361736 361737 361738 361739 361740 361741 361742 361743 361744 361744 361745 361746 361747 361748 361748 361749 361750 361751 361752 361753 361754 361754 361755 361756 361757 361758 361759 361760 361761 361762 361762 361763 361764 361765 361766 361767 361768 361769 361770 361770 361771 361772 361772 361773 361774 361775 361776 361777 361778 361779 361780 361780 361781 361782 361783 361784 361785 361786 361787 361788 361788 361789 361790 361791 361792 361793 361794 361795 361796 361797 361797 361798 361798 361799 361800 361801 361802 361803 361804 361805 361806 361806 361807 361808 361809 361810 361811 361812 361813 361814 361815 361815 361816 361817 361818 361819 361820 361821 361822 361823 361823 361824 361825 361826 361826 361827 361828 361829 361830 361831 361832 361833 361833 361834 361835 361836 361837 361838 361839 361840 361841 361841 361842 361843 361844 361845 361846 361847

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="BridgeAndVehicles-COL-V20P10N50"
export BK_EXAMINATION="ReachabilityDeadlock"
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/BridgeAndVehicles-COL-V20P10N50.tgz
mv BridgeAndVehicles-COL-V20P10N50 execution

# this is for BenchKit: explicit launching of the test

cd execution
echo "====================================================================="
echo " Generated by BenchKit 2-2979"
echo " Executing tool marcie"
echo " Input is BridgeAndVehicles-COL-V20P10N50, examination is ReachabilityDeadlock"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r005kn-ebro-146347672700116"
echo "====================================================================="
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "ReachabilityDeadlock" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "ReachabilityDeadlock" != "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 "ReachabilityDeadlock.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property ReachabilityDeadlock.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "ReachabilityDeadlock.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 '' ReachabilityDeadlock.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 ;