bool good_run_nosi(int run) { if( run == 141544 ) return true; if( run == 141572 ) return true; if( run == 141576 ) return true; if( run == 141577 ) return true; if( run == 141597 ) return true; if( run == 141598 ) return true; if( run == 141618 ) return true; if( run == 141619 ) return true; if( run == 141621 ) return true; if( run == 141660 ) return true; if( run == 141928 ) return true; if( run == 141931 ) return true; if( run == 141948 ) return true; if( run == 141950 ) return true; if( run == 141984 ) return true; if( run == 142106 ) return true; if( run == 142107 ) return true; if( run == 142108 ) return true; if( run == 142109 ) return true; if( run == 142110 ) return true; if( run == 142111 ) return true; if( run == 142130 ) return true; if( run == 142131 ) return true; if( run == 142168 ) return true; if( run == 142170 ) return true; if( run == 142177 ) return true; if( run == 142202 ) return true; if( run == 142227 ) return true; if( run == 142243 ) return true; if( run == 143254 ) return true; if( run == 143257 ) return true; if( run == 143281 ) return true; if( run == 143284 ) return true; if( run == 143814 ) return true; if( run == 143815 ) return true; if( run == 143821 ) return true; if( run == 143829 ) return true; if( run == 143847 ) return true; if( run == 143857 ) return true; if( run == 143862 ) return true; if( run == 143863 ) return true; if( run == 143890 ) return true; if( run == 143934 ) return true; if( run == 143935 ) return true; if( run == 143936 ) return true; if( run == 143937 ) return true; if( run == 143938 ) return true; if( run == 143939 ) return true; if( run == 143980 ) return true; if( run == 143981 ) return true; if( run == 144226 ) return true; if( run == 144295 ) return true; if( run == 144296 ) return true; if( run == 144302 ) return true; if( run == 144305 ) return true; if( run == 144327 ) return true; if( run == 144329 ) return true; if( run == 144330 ) return true; if( run == 144419 ) return true; if( run == 144420 ) return true; if( run == 144422 ) return true; if( run == 144423 ) return true; if( run == 144424 ) return true; if( run == 144428 ) return true; if( run == 144453 ) return true; if( run == 144455 ) return true; if( run == 144456 ) return true; if( run == 144457 ) return true; if( run == 144573 ) return true; if( run == 144574 ) return true; if( run == 144575 ) return true; if( run == 144576 ) return true; if( run == 144578 ) return true; if( run == 144671 ) return true; if( run == 144673 ) return true; if( run == 144674 ) return true; if( run == 144680 ) return true; if( run == 144691 ) return true; if( run == 144694 ) return true; if( run == 144696 ) return true; if( run == 144883 ) return true; if( run == 144884 ) return true; if( run == 144933 ) return true; if( run == 144935 ) return true; if( run == 144941 ) return true; if( run == 144942 ) return true; if( run == 145004 ) return true; if( run == 145005 ) return true; if( run == 145006 ) return true; if( run == 145029 ) return true; if( run == 145032 ) return true; if( run == 145033 ) return true; if( run == 145034 ) return true; if( run == 145035 ) return true; if( run == 145036 ) return true; if( run == 145043 ) return true; if( run == 145044 ) return true; if( run == 145045 ) return true; if( run == 145046 ) return true; if( run == 145047 ) return true; if( run == 145052 ) return true; if( run == 145071 ) return true; if( run == 145094 ) return true; if( run == 145096 ) return true; if( run == 145192 ) return true; if( run == 145411 ) return true; if( run == 145414 ) return true; if( run == 145415 ) return true; if( run == 145420 ) return true; if( run == 145450 ) return true; if( run == 145532 ) return true; if( run == 145608 ) return true; if( run == 145613 ) return true; if( run == 145650 ) return true; if( run == 145651 ) return true; if( run == 145654 ) return true; if( run == 145669 ) return true; if( run == 148288 ) return true; if( run == 148291 ) return true; if( run == 148293 ) return true; if( run == 148373 ) return true; if( run == 148375 ) return true; if( run == 148376 ) return true; if( run == 148377 ) return true; if( run == 148648 ) return true; if( run == 148649 ) return true; if( run == 148674 ) return true; if( run == 148774 ) return true; if( run == 148775 ) return true; if( run == 148824 ) return true; if( run == 148825 ) return true; if( run == 148846 ) return true; if( run == 148852 ) return true; if( run == 148856 ) return true; if( run == 148857 ) return true; if( run == 148858 ) return true; if( run == 148908 ) return true; if( run == 148916 ) return true; if( run == 148950 ) return true; if( run == 148951 ) return true; if( run == 148953 ) return true; if( run == 149052 ) return true; if( run == 149053 ) return true; if( run == 149055 ) return true; if( run == 149056 ) return true; if( run == 149058 ) return true; if( run == 149059 ) return true; if( run == 149259 ) return true; if( run == 149264 ) return true; if( run == 149292 ) return true; if( run == 149299 ) return true; if( run == 149344 ) return true; if( run == 149354 ) return true; if( run == 149355 ) return true; if( run == 149385 ) return true; if( run == 149386 ) return true; if( run == 149387 ) return true; if( run == 149481 ) return true; if( run == 149492 ) return true; if( run == 149493 ) return true; if( run == 149663 ) return true; if( run == 149676 ) return true; if( run == 149677 ) return true; if( run == 149678 ) return true; if( run == 149680 ) return true; if( run == 149681 ) return true; if( run == 149682 ) return true; if( run == 149685 ) return true; if( run == 150799 ) return true; if( run == 150801 ) return true; if( run == 150802 ) return true; if( run == 150803 ) return true; if( run == 150805 ) return true; if( run == 150819 ) return true; if( run == 150820 ) return true; if( run == 150821 ) return true; if( run == 150823 ) return true; if( run == 150853 ) return true; if( run == 151040 ) return true; if( run == 151087 ) return true; if( run == 151088 ) return true; if( run == 151092 ) return true; if( run == 151111 ) return true; if( run == 151115 ) return true; if( run == 151116 ) return true; if( run == 151118 ) return true; if( run == 151120 ) return true; if( run == 151121 ) return true; if( run == 151128 ) return true; if( run == 151134 ) return true; if( run == 151135 ) return true; if( run == 151138 ) return true; if( run == 151139 ) return true; if( run == 151140 ) return true; if( run == 151141 ) return true; if( run == 151142 ) return true; if( run == 151143 ) return true; if( run == 151144 ) return true; if( run == 151228 ) return true; if( run == 151229 ) return true; if( run == 151231 ) return true; if( run == 151235 ) return true; if( run == 151236 ) return true; if( run == 151237 ) return true; if( run == 151238 ) return true; if( run == 151239 ) return true; if( run == 151240 ) return true; if( run == 151434 ) return true; if( run == 151435 ) return true; if( run == 151436 ) return true; if( run == 151449 ) return true; if( run == 151476 ) return true; if( run == 151477 ) return true; if( run == 151509 ) return true; if( run == 151513 ) return true; if( run == 151514 ) return true; if( run == 151555 ) return true; if( run == 151556 ) return true; if( run == 151557 ) return true; if( run == 151628 ) return true; if( run == 151641 ) return true; if( run == 151683 ) return true; if( run == 151688 ) return true; if( run == 151808 ) return true; if( run == 151810 ) return true; if( run == 151811 ) return true; if( run == 151841 ) return true; if( run == 151842 ) return true; if( run == 151843 ) return true; if( run == 151844 ) return true; if( run == 151845 ) return true; if( run == 151868 ) return true; if( run == 151869 ) return true; if( run == 151870 ) return true; if( run == 151871 ) return true; if( run == 151872 ) return true; if( run == 151873 ) return true; if( run == 151900 ) return true; if( run == 151901 ) return true; if( run == 151902 ) return true; if( run == 151903 ) return true; if( run == 151906 ) return true; if( run == 151907 ) return true; if( run == 151911 ) return true; if( run == 151914 ) return true; if( run == 151917 ) return true; if( run == 151918 ) return true; if( run == 151919 ) return true; if( run == 151920 ) return true; if( run == 151922 ) return true; if( run == 151968 ) return true; if( run == 151969 ) return true; if( run == 151971 ) return true; if( run == 151974 ) return true; if( run == 151976 ) return true; if( run == 151978 ) return true; if( run == 151980 ) return true; if( run == 152170 ) return true; if( run == 152171 ) return true; if( run == 152266 ) return true; if( run == 152267 ) return true; if( run == 152270 ) return true; if( run == 152271 ) return true; if( run == 152273 ) return true; if( run == 152274 ) return true; if( run == 152455 ) return true; if( run == 152459 ) return true; if( run == 152464 ) return true; if( run == 152504 ) return true; if( run == 152507 ) return true; if( run == 152510 ) return true; if( run == 152514 ) return true; if( run == 152515 ) return true; if( run == 152516 ) return true; if( run == 152517 ) return true; if( run == 152518 ) return true; if( run == 152519 ) return true; if( run == 152520 ) return true; if( run == 152554 ) return true; if( run == 152555 ) return true; if( run == 152556 ) return true; if( run == 152559 ) return true; if( run == 152562 ) return true; if( run == 152579 ) return true; if( run == 152598 ) return true; if( run == 152599 ) return true; if( run == 152600 ) return true; if( run == 152601 ) return true; if( run == 152602 ) return true; if( run == 152615 ) return true; if( run == 152616 ) return true; if( run == 152669 ) return true; if( run == 152674 ) return true; if( run == 152675 ) return true; if( run == 152742 ) return true; if( run == 152743 ) return true; if( run == 152745 ) return true; if( run == 152746 ) return true; if( run == 152747 ) return true; if( run == 152752 ) return true; if( run == 152771 ) return true; if( run == 152772 ) return true; if( run == 152773 ) return true; if( run == 152810 ) return true; if( run == 152811 ) return true; if( run == 152942 ) return true; if( run == 152945 ) return true; if( run == 152949 ) return true; if( run == 152953 ) return true; if( run == 152954 ) return true; if( run == 152970 ) return true; if( run == 152971 ) return true; if( run == 153061 ) return true; if( run == 153068 ) return true; if( run == 153070 ) return true; if( run == 153074 ) return true; if( run == 153075 ) return true; if( run == 153076 ) return true; if( run == 153087 ) return true; if( run == 153091 ) return true; if( run == 153266 ) return true; if( run == 153268 ) return true; if( run == 153271 ) return true; if( run == 153325 ) return true; if( run == 153326 ) return true; if( run == 153327 ) return true; if( run == 153343 ) return true; if( run == 153345 ) return true; if( run == 153372 ) return true; if( run == 153373 ) return true; if( run == 153374 ) return true; if( run == 153389 ) return true; if( run == 153411 ) return true; if( run == 153412 ) return true; if( run == 153416 ) return true; if( run == 153447 ) return true; if( run == 153460 ) return true; if( run == 153557 ) return true; if( run == 153618 ) return true; if( run == 153620 ) return true; if( run == 153660 ) return true; if( run == 153661 ) return true; if( run == 153662 ) return true; if( run == 153663 ) return true; if( run == 153667 ) return true; if( run == 153693 ) return true; if( run == 153694 ) return true; if( run == 153697 ) return true; if( run == 153718 ) return true; if( run == 153738 ) return true; if( run == 153739 ) return true; if( run == 154021 ) return true; if( run == 154028 ) return true; if( run == 154029 ) return true; if( run == 154030 ) return true; if( run == 154050 ) return true; if( run == 154054 ) return true; if( run == 154069 ) return true; if( run == 154070 ) return true; if( run == 154111 ) return true; if( run == 154112 ) return true; if( run == 154116 ) return true; if( run == 154118 ) return true; if( run == 154122 ) return true; if( run == 154126 ) return true; if( run == 154175 ) return true; if( run == 154176 ) return true; if( run == 154180 ) return true; if( run == 154207 ) return true; if( run == 154208 ) return true; if( run == 154209 ) return true; if( run == 154449 ) return true; if( run == 154451 ) return true; if( run == 154452 ) return true; if( run == 154453 ) return true; if( run == 154518 ) return true; if( run == 154653 ) return true; if( run == 154654 ) return true; if( run == 154675 ) return true; if( run == 154681 ) return true; if( run == 154710 ) return true; if( run == 154765 ) return true; if( run == 154768 ) return true; if( run == 154769 ) return true; if( run == 154771 ) return true; if( run == 154799 ) return true; // Dec - Jan : if( run == 155107 ) return true; if( run == 155113 ) return true; if( run == 155114 ) return true; if( run == 155115 ) return true; if( run == 155116 ) return true; if( run == 155121 ) return true; if( run == 155129 ) return true; if( run == 155130 ) return true; if( run == 155141 ) return true; if( run == 155145 ) return true; if( run == 155146 ) return true; if( run == 155148 ) return true; if( run == 155150 ) return true; if( run == 155155 ) return true; if( run == 155301 ) return true; if( run == 155304 ) return true; if( run == 155312 ) return true; if( run == 155313 ) return true; if( run == 155318 ) return true; if( run == 155320 ) return true; if( run == 155324 ) return true; if( run == 155343 ) return true; if( run == 155344 ) return true; if( run == 155345 ) return true; if( run == 155346 ) return true; if( run == 155347 ) return true; if( run == 155364 ) return true; if( run == 155365 ) return true; if( run == 155392 ) return true; if( run == 155743 ) return true; if( run == 155744 ) return true; if( run == 155746 ) return true; if( run == 155747 ) return true; if( run == 155763 ) return true; if( run == 155764 ) return true; if( run == 155767 ) return true; if( run == 155768 ) return true; if( run == 155770 ) return true; if( run == 155793 ) return true; if( run == 155794 ) return true; if( run == 155795 ) return true; if( run == 155796 ) return true; if( run == 155818 ) return true; if( run == 155820 ) return true; if( run == 155821 ) return true; if( run == 155892 ) return true; if( run == 155895 ) return true; if( run == 155918 ) return true; if( run == 155919 ) return true; if( run == 155920 ) return true; if( run == 155923 ) return true; if( run == 155996 ) return true; if( run == 155997 ) return true; if( run == 156006 ) return true; if( run == 156007 ) return true; if( run == 156081 ) return true; if( run == 156082 ) return true; if( run == 156083 ) return true; if( run == 156084 ) return true; if( run == 156087 ) return true; if( run == 156088 ) return true; if( run == 156089 ) return true; if( run == 156098 ) return true; if( run == 156100 ) return true; if( run == 156103 ) return true; if( run == 156112 ) return true; if( run == 156116 ) return true; if( run == 156117 ) return true; if( run == 156118 ) return true; if( run == 156362 ) return true; if( run == 156365 ) return true; if( run == 156369 ) return true; if( run == 156484 ) return true; if( run == 156487 ) return true; if( run == 159603 ) return true; if( run == 160092 ) return true; if( run == 160151 ) return true; if( run == 160152 ) return true; if( run == 160153 ) return true; if( run == 160157 ) return true; if( run == 160175 ) return true; if( run == 160230 ) return true; if( run == 160301 ) return true; if( run == 160302 ) return true; if( run == 160303 ) return true; if( run == 160312 ) return true; if( run == 160314 ) return true; if( run == 160346 ) return true; if( run == 160359 ) return true; if( run == 160403 ) return true; if( run == 160405 ) return true; if( run == 160406 ) return true; if( run == 160407 ) return true; if( run == 160408 ) return true; if( run == 160410 ) return true; if( run == 160412 ) return true; if( run == 160414 ) return true; if( run == 160437 ) return true; if( run == 160440 ) return true; if( run == 160441 ) return true; if( run == 160533 ) return true; if( run == 160534 ) return true; if( run == 160541 ) return true; if( run == 160591 ) return true; if( run == 160592 ) return true; if( run == 160594 ) return true; if( run == 160596 ) return true; if( run == 160599 ) return true; if( run == 160601 ) return true; if( run == 160659 ) return true; if( run == 160663 ) return true; if( run == 160761 ) return true; if( run == 160796 ) return true; if( run == 160802 ) return true; if( run == 160823 ) return true; if( run == 160886 ) return true; if( run == 160887 ) return true; if( run == 160890 ) return true; if( run == 160891 ) return true; if( run == 160987 ) return true; if( run == 160988 ) return true; if( run == 160989 ) return true; if( run == 161011 ) return true; if( run == 161013 ) return true; if( run == 161029 ) return true; if( run == 161031 ) return true; if( run == 161044 ) return true; if( run == 161170 ) return true; if( run == 161171 ) return true; if( run == 161324 ) return true; if( run == 161327 ) return true; if( run == 161330 ) return true; if( run == 161379 ) return true; if( run == 161408 ) return true; if( run == 161409 ) return true; if( run == 161411 ) return true; if( run == 161414 ) return true; if( run == 161415 ) return true; if( run == 161441 ) return true; if( run == 161552 ) return true; if( run == 161555 ) return true; if( run == 161633 ) return true; if( run == 161634 ) return true; if( run == 161638 ) return true; if( run == 161678 ) return true; if( run == 161713 ) return true; if( run == 161714 ) return true; if( run == 161718 ) return true; if( run == 161722 ) return true; if( run == 161754 ) return true; if( run == 161756 ) return true; if( run == 161757 ) return true; if( run == 161758 ) return true; if( run == 161760 ) return true; if( run == 161761 ) return true; if( run == 161762 ) return true; if( run == 161763 ) return true; if( run == 161778 ) return true; if( run == 161779 ) return true; if( run == 161780 ) return true; if( run == 161781 ) return true; if( run == 161783 ) return true; if( run == 161784 ) return true; if( run == 161786 ) return true; if( run == 161787 ) return true; if( run == 161788 ) return true; if( run == 161789 ) return true; if( run == 161790 ) return true; if( run == 161791 ) return true; if( run == 161792 ) return true; if( run == 161795 ) return true; if( run == 161817 ) return true; if( run == 161818 ) return true; if( run == 161820 ) return true; if( run == 161821 ) return true; if( run == 161823 ) return true; if( run == 161825 ) return true; if( run == 161826 ) return true; if( run == 161827 ) return true; if( run == 161829 ) return true; if( run == 161830 ) return true; if( run == 162130 ) return true; if( run == 162174 ) return true; if( run == 162175 ) return true; if( run == 162178 ) return true; if( run == 162238 ) return true; if( run == 162241 ) return true; if( run == 162252 ) return true; if( run == 162300 ) return true; if( run == 162301 ) return true; if( run == 162307 ) return true; if( run == 162310 ) return true; if( run == 162312 ) return true; if( run == 162396 ) return true; if( run == 162399 ) return true; if( run == 162423 ) return true; if( run == 162453 ) return true; if( run == 162454 ) return true; if( run == 162462 ) return true; if( run == 162479 ) return true; if( run == 162480 ) return true; if( run == 162481 ) return true; if( run == 162498 ) return true; if( run == 162519 ) return true; if( run == 162520 ) return true; if( run == 162521 ) return true; if( run == 162631 ) return true; if( run == 162663 ) return true; if( run == 162664 ) return true; if( run == 162685 ) return true; if( run == 162686 ) return true; if( run == 162820 ) return true; if( run == 162825 ) return true; if( run == 162836 ) return true; if( run == 162837 ) return true; if( run == 162838 ) return true; if( run == 162839 ) return true; if( run == 162855 ) return true; if( run == 162856 ) return true; if( run == 162857 ) return true; if( run == 162937 ) return true; if( run == 162982 ) return true; if( run == 162986 ) return true; if( run == 163009 ) return true; if( run == 163011 ) return true; if( run == 163012 ) return true; if( run == 163025 ) return true; if( run == 163026 ) return true; if( run == 163035 ) return true; if( run == 163064 ) return true; if( run == 163113 ) return true; if( run == 163130 ) return true; if( run == 163136 ) return true; if( run == 163148 ) return true; if( run == 163385 ) return true; if( run == 163390 ) return true; if( run == 163394 ) return true; if( run == 163430 ) return true; if( run == 163431 ) return true; if( run == 163462 ) return true; if( run == 163463 ) return true; if( run == 163464 ) return true; if( run == 163474 ) return true; if( run == 163508 ) return true; if( run == 163510 ) return true; if( run == 163511 ) return true; if( run == 163512 ) return true; if( run == 163513 ) return true; if( run == 163515 ) return true; if( run == 163519 ) return true; if( run == 163526 ) return true; if( run == 163527 ) return true; return false; }