usage: LS_1.py [-h] [--size SIZE] [--seed SEED] [--normalize] [--mode [MODE]] [--randomize] [--all-solutions] [--solver SOLVER] [-v] options: -h, --help show this help message and exit --size SIZE ... or order. Default=6 --seed SEED Seed. Default=random --normalize Normalize/reduce (before search) --mode [MODE] Can be enum/count/restart. Default=restart --randomize Randomize LS before search (in 'restart' mode). Default=false --all-solutions Produce all possible solutions. Default=false --solver SOLVER Set SAT solver. Supported: libcadical kissat gimsatul minisat plingeling picosat libpicosat -v Increase verbosity. May be -vv, -vvv, -vvvv Setting seed 505306555 Setting size 180 Setting mode restart Non-normalize mode Setting solver gimsatul get_all_solutions_start_afresh() start Warning: gimsatul doesn't support seed SAT *** Solution 120 116 109 100 098 084 082 071 050 027 009 096 010 021 053 135 045 035 025 052 039 062 174 127 061 077 044 103 012 017 019 078 088 011 022 105 064 076 177 018 001 102 075 055 145 056 072 005 004 034 040 157 066 047 006 128 031 118 037 134 024 106 060 151 038 101 173 070 094 079 124 139 117 092 042 041 014 138 130 008 089 122 125 149 132 026 093 003 033 178 032 168 114 002 115 065 067 029 030 081 148 058 119 176 016 099 087 133 046 059 108 150 123 107 161 085 144 104 126 043 057 090 036 086 143 175 095 063 159 000 155 121 049 129 083 111 054 172 158 141 013 156 097 131 137 164 154 073 068 162 171 048 028 167 110 160 007 091 166 112 140 015 169 142 113 069 146 023 153 051 165 136 179 020 152 080 074 163 147 170 124 120 098 088 075 178 097 056 049 044 121 047 041 003 039 032 025 019 011 002 005 050 069 129 004 101 135 146 036 029 111 094 022 108 065 062 092 048 134 037 093 141 046 068 073 034 007 123 043 066 163 014 017 148 122 118 130 107 177 110 119 087 070 143 149 125 052 080 024 115 095 170 156 084 055 035 128 102 042 006 116 161 083 076 010 020 169 179 168 016 167 057 077 061 127 171 058 026 015 008 175 018 082 159 145 074 152 012 045 100 054 028 060 172 133 086 105 158 009 085 160 104 021 103 164 099 176 051 174 144 106 023 109 079 081 117 112 001 089 064 091 151 139 067 000 126 090 114 096 063 059 166 113 150 053 071 078 033 132 030 072 027 153 131 140 142 138 157 162 165 137 147 013 173 038 031 155 040 154 136 110 132 106 103 095 090 162 151 158 124 127 059 003 053 047 043 037 141 002 009 091 167 178 093 023 068 119 057 176 070 138 025 122 163 136 153 039 005 145 126 066 076 107 063 030 113 152 019 137 096 157 086 150 044 062 028 036 073 029 128 131 116 048 020 164 135 031 147 088 035 144 173 100 133 017 069 161 108 123 024 143 101 075 097 081 078 051 000 060 115 154 092 074 112 174 055 072 099 155 094 172 033 156 104 149 140 098 042 065 071 034 171 067 056 179 040 083 010 084 109 021 087 011 170 125 046 129 165 114 016 054 166 134 146 027 015 001 007 077 139 026 168 045 061 120 148 105 052 079 022 142 013 118 008 038 111 080 177 082 160 014 006 121 085 058 032 159 089 102 004 041 175 169 050 117 012 018 049 130 064 092 118 119 090 081 129 084 072 046 048 066 071 080 054 026 053 042 144 001 154 116 007 029 002 021 041 076 009 174 077 103 000 107 068 122 098 043 093 147 032 062 060 134 142 151 166 167 120 038 131 153 152 156 133 108 097 059 176 015 135 019 024 069 141 004 078 170 150 035 075 013 085 006 149 095 065 055 087 100 034 117 010 178 162 030 056 027 099 109 049 111 008 064 148 074 126 073 110 003 113 096 130 023 020 031 040 104 017 137 114 083 177 086 140 063 089 044 123 011 037 052 179 088 051 157 136 124 161 016 079 012 159 173 121 160 022 082 145 102 158 061 047 070 175 164 005 067 105 139 058 168 014 165 057 138 128 171 115 112 143 146 018 033 106 155 163 172 050 039 045 094 127 132 025 125 036 101 091 169 028 103 117 118 116 113 100 092 074 089 022 114 084 150 025 070 042 039 011 007 066 028 108 005 073 163 034 083 177 080 052 021 141 024 172 171 030 137 157 035 123 165 026 081 082 153 107 156 048 017 006 164 135 151 071 148 002 176 147 104 160 041 077 175 105 075 112 161 020 145 166 159 016 102 136 023 044 143 101 056 060 093 000 122 001 055 059 130 098 111 014 086 126 096 054 013 125 004 012 162 051 144 015 062 132 179 174 063 120 091 079 003 040 131 036 173 072 140 090 037 031 032 046 119 058 149 152 029 027 133 121 109 049 129 128 088 087 067 097 169 076 170 154 065 139 033 053 047 057 009 061 099 106 095 168 064 019 038 094 158 078 010 134 068 110 069 050 045 127 155 138 043 142 146 167 124 085 008 018 178 115 144 114 115 150 084 146 111 116 131 103 089 033 147 080 042 083 021 039 027 017 001 030 175 178 011 100 105 160 155 159 129 166 066 176 069 053 127 149 142 005 008 151 085 035 121 165 023 143 052 062 167 058 056 163 096 010 012 171 169 139 091 000 135 125 044 126 172 022 123 016 025 003 177 059 154 031 007 034 119 141 120 036 137 145 156 124 032 088 118 109 006 113 024 051 140 070 081 071 004 014 029 097 074 019 094 138 040 002 028 026 092 122 168 079 061 077 047 018 174 128 048 158 041 102 057 015 106 045 076 037 104 009 086 153 049 164 132 068 075 107 046 038 162 152 095 050 173 133 073 060 117 043 170 020 179 161 136 090 067 108 099 101 110 098 078 055 112 134 064 130 013 063 093 087 148 054 082 157 072 065 100 093 088 075 127 076 096 050 043 079 000 018 029 032 046 009 065 025 017 078 168 165 083 007 013 055 039 109 040 104 068 023 178 006 126 175 026 171 021 060 071 113 036 149 132 150 095 160 145 107 159 081 114 084 038 157 092 164 117 041 072 119 059 133 155 158 124 123 058 103 163 101 144 179 147 019 087 118 154 162 091 094 167 121 176 069 170 089 067 110 136 030 031 141 035 148 152 051 037 156 073 143 102 137 080 129 085 142 134 105 090 053 015 116 022 027 097 011 028 061 153 122 125 169 161 044 012 003 106 151 064 120 131 082 172 177 048 008 057 047 128 024 140 049 074 115 099 002 135 033 016 034 063 077 173 139 070 001 062 020 052 146 056 130 005 010 111 112 086 066 014 166 004 054 042 138 174 098 045 108 163 136 132 106 083 102 131 098 178 034 108 008 031 036 002 013 006 001 019 143 107 080 160 028 100 096 161 141 017 067 171 172 165 055 144 074 068 094 166 050 150 153 086 103 085 084 077 075 060 073 007 095 149 092 046 052 115 168 138 081 109 142 066 126 012 029 089 038 135 134 147 164 152 140 044 127 043 014 082 022 037 064 000 048 071 122 112 173 119 105 088 070 026 041 027 030 065 128 101 079 061 174 069 139 137 133 121 053 097 018 111 009 063 129 167 039 051 003 040 004 179 058 045 110 099 116 010 015 158 049 148 005 023 159 033 054 021 011 176 104 032 124 090 025 117 114 020 059 078 016 162 123 120 145 024 155 156 072 035 169 062 170 157 042 087 093 154 130 091 125 076 177 118 057 146 113 047 056 151 175 174 155 110 095 089 069 036 058 012 074 031 037 051 014 020 030 017 067 000 083 179 070 107 159 153 062 047 171 056 079 168 115 092 140 035 149 046 125 136 158 099 127 151 172 041 178 128 094 025 105 148 087 108 116 124 055 057 018 006 161 015 120 049 043 175 165 078 088 142 076 027 103 050 144 117 138 064 112 090 134 109 160 141 163 166 052 045 005 048 071 066 135 032 063 021 059 086 040 077 093 082 038 019 143 123 156 068 101 114 044 053 173 162 026 106 003 096 042 022 137 054 121 080 145 016 167 097 154 132 013 084 139 102 060 085 024 081 130 147 152 073 098 169 150 122 004 113 010 111 072 033 118 009 104 157 146 065 011 177 164 039 176 028 001 023 002 029 133 075 091 007 170 061 129 119 100 131 008 126 034 131 162 130 084 068 110 141 173 031 166 005 010 082 066 064 006 023 033 013 057 153 069 146 024 115 140 025 034 000 081 048 120 042 051 071 177 040 161 008 154 137 118 165 168 037 167 086 144 175 103 152 174 045 094 101 135 172 136 041 053 022 012 176 074 065 148 116 059 156 067 102 138 142 147 021 070 159 149 169 107 035 126 124 058 060 160 133 007 054 113 083 108 134 009 015 038 030 145 043 095 002 150 055 093 032 062 078 047 179 046 029 092 080 052 128 075 088 114 106 178 063 151 018 027 129 170 104 087 122 132 089 163 056 085 014 099 117 049 171 001 011 090 073 119 096 121 125 127 158 100 109 091 077 072 017 016 020 157 026 079 036 076 164 003 111 004 028 155 139 105 097 019 143 061 098 044 123 112 050 039 109 168 104 107 106 074 159 177 147 145 016 066 059 043 040 036 019 030 023 100 042 152 014 045 071 155 015 004 090 000 095 144 141 083 033 084 173 156 025 157 125 050 061 057 067 032 005 163 133 166 122 020 175 007 087 062 108 001 151 130 171 101 077 073 142 105 002 027 044 123 169 072 136 137 091 028 078 088 075 037 003 103 121 128 011 010 076 102 065 006 069 117 086 092 111 041 013 140 132 160 131 026 167 094 113 056 070 116 080 112 068 017 089 146 164 176 110 082 127 172 055 098 099 174 035 060 178 134 135 085 149 081 158 148 139 008 119 124 162 021 049 129 138 029 114 118 054 165 058 031 063 153 022 079 051 115 093 053 009 047 179 064 161 143 126 154 096 012 024 052 046 018 048 150 034 039 097 170 038 120 153 146 160 109 140 159 147 085 076 167 074 072 001 064 056 044 011 041 042 030 144 162 006 021 173 092 101 049 035 163 053 058 090 156 046 071 066 102 033 125 118 022 032 139 127 061 169 131 002 067 045 151 080 038 110 152 177 081 087 069 107 138 114 091 178 028 059 000 126 175 014 078 003 129 097 095 018 166 179 164 141 123 017 055 052 079 024 050 077 010 047 054 176 117 154 149 116 103 005 145 150 096 124 063 100 111 043 104 170 174 009 161 165 039 083 168 120 106 023 084 012 031 130 007 029 051 133 132 157 128 025 065 013 089 119 137 075 108 112 098 113 171 093 121 135 040 148 060 008 027 062 026 155 158 115 172 004 142 073 086 105 094 122 048 020 016 143 019 034 136 070 037 036 015 057 068 088 082 099 134 135 178 075 174 120 099 140 143 081 102 028 005 146 107 068 025 083 053 029 027 170 153 057 026 147 084 097 045 171 141 119 052 035 076 044 111 019 066 020 089 037 130 155 039 038 090 134 173 059 169 086 164 117 003 159 067 064 091 137 138 132 041 166 061 112 030 144 049 150 033 051 015 034 123 098 072 013 163 167 087 103 065 162 124 165 092 056 125 002 145 122 055 156 101 032 109 016 152 108 078 114 036 158 126 085 000 048 106 077 069 157 018 151 007 176 172 175 118 042 079 062 054 095 017 024 113 022 021 073 014 127 060 093 009 128 142 136 082 043 177 149 105 131 010 031 094 001 050 110 008 154 104 058 011 006 148 074 071 115 080 139 100 070 129 046 023 040 004 096 121 160 133 161 063 116 047 012 088 168 179 138 109 150 111 090 116 151 141 078 177 119 009 062 042 073 048 063 007 115 013 045 101 123 128 082 112 160 143 179 139 022 002 034 103 005 089 036 127 028 173 149 146 083 074 156 076 137 135 031 039 144 016 054 024 069 049 011 015 114 145 010 117 091 040 077 159 122 033 102 155 017 121 133 175 041 068 165 057 099 000 020 158 043 148 113 125 029 019 055 088 085 162 124 152 105 164 178 136 118 087 093 167 075 154 098 006 134 100 161 058 012 067 147 126 046 130 079 065 059 030 108 027 066 153 071 008 037 044 056 140 086 169 171 004 176 050 129 157 026 120 094 096 092 035 110 070 053 018 051 038 106 052 132 084 032 142 001 081 080 021 172 072 003 025 168 014 107 166 097 131 095 061 064 104 174 170 060 023 047 163 176 158 116 081 092 078 160 046 069 005 037 041 083 056 014 027 024 029 074 053 124 000 173 010 174 172 098 168 106 065 020 102 156 079 087 178 050 017 018 170 131 152 012 009 177 067 165 130 058 147 145 103 070 049 153 004 068 134 171 051 073 161 075 090 022 118 066 122 099 127 166 114 135 100 137 062 028 121 061 115 157 107 155 034 016 151 003 142 042 063 117 045 025 023 052 163 140 008 033 169 101 149 159 167 133 072 091 143 138 136 032 164 054 097 031 110 162 055 007 119 059 154 112 146 044 129 082 001 030 064 035 048 094 132 111 011 123 047 084 095 080 125 126 085 088 128 179 144 040 175 015 139 036 086 108 026 021 113 141 076 060 039 013 096 148 043 002 093 077 019 120 071 057 105 150 006 038 089 109 104 147 138 175 142 085 059 057 031 055 073 136 015 028 023 025 011 027 000 026 069 030 119 115 034 033 093 016 021 003 006 071 048 129 065 032 118 067 018 037 024 155 121 092 126 152 146 102 109 149 060 112 091 051 077 012 063 061 143 103 165 150 131 124 145 177 049 036 105 148 014 043 074 169 050 159 168 042 135 053 094 125 132 056 172 046 098 141 137 128 062 104 154 054 097 064 123 038 114 090 010 174 076 161 075 153 139 101 162 058 122 088 111 133 157 029 008 171 170 035 081 086 068 113 070 173 166 156 120 020 089 179 039 007 108 041 130 004 127 178 096 022 167 160 040 140 079 044 045 100 005 001 107 080 052 019 158 087 078 099 163 116 017 066 117 002 110 106 176 047 013 151 072 134 083 095 164 084 144 009 082 171 088 105 099 096 087 173 069 071 058 143 004 049 040 011 035 032 028 008 007 006 156 128 157 113 024 075 167 162 086 045 110 084 158 089 067 136 115 012 130 111 176 020 018 017 140 145 138 051 094 052 065 081 041 061 036 153 131 172 056 108 060 168 116 080 142 097 079 101 022 134 029 148 125 129 126 155 160 159 043 068 095 044 165 103 106 151 124 031 164 166 150 093 144 000 135 123 092 119 163 010 002 025 175 146 021 077 122 026 117 127 070 090 174 102 178 169 048 072 027 177 037 076 013 170 019 085 100 179 078 062 147 001 050 030 042 104 034 132 053 039 152 054 112 057 003 161 120 107 098 141 064 033 139 133 137 066 109 083 046 038 121 015 055 047 073 149 082 074 023 016 059 014 154 009 091 063 005 118 114 129 100 081 062 114 155 080 125 096 123 065 000 160 013 061 003 001 027 032 058 018 110 076 006 074 014 128 016 046 162 038 153 120 171 028 127 113 168 163 017 004 173 049 015 097 108 034 044 144 024 137 105 007 167 059 030 055 158 121 101 060 134 164 039 070 143 098 048 068 165 005 124 104 126 029 099 166 178 071 175 140 131 033 043 177 112 019 138 036 092 073 159 037 010 106 009 011 148 089 069 079 115 035 088 042 150 075 107 147 094 021 151 057 095 056 041 022 064 142 179 169 111 133 109 086 063 054 040 025 091 083 152 031 012 154 026 103 093 090 174 045 176 052 172 116 082 078 051 157 130 136 023 135 053 149 067 170 145 117 066 020 161 008 139 156 118 102 077 084 072 119 087 047 122 132 141 146 050 002 085 107 153 165 083 105 122 139 142 087 098 071 080 074 084 065 041 054 060 003 029 000 143 062 134 101 156 108 131 168 021 067 150 113 149 002 130 106 137 016 116 133 044 034 073 059 030 017 176 042 045 174 064 027 129 117 077 076 013 014 082 170 160 177 079 172 053 099 057 115 096 119 028 070 094 179 085 008 171 110 112 088 152 161 024 164 051 058 159 097 141 169 104 068 124 095 155 043 047 032 038 078 040 009 103 175 061 128 125 072 132 173 033 023 145 089 111 126 102 006 157 005 050 135 091 178 154 167 022 121 127 144 026 039 063 036 140 020 158 100 037 138 015 025 093 118 146 123 004 109 055 019 010 086 001 092 066 147 035 018 166 120 081 046 069 136 056 052 075 031 049 148 114 011 162 090 007 151 012 163 048 081 107 084 144 133 158 072 078 065 037 029 006 035 008 028 005 000 054 010 004 156 060 149 126 056 147 103 153 119 057 167 109 015 064 014 128 073 058 051 118 122 131 166 041 002 016 170 036 178 040 125 110 159 121 146 068 162 085 142 175 101 063 025 113 123 070 141 062 124 090 020 115 047 099 089 076 135 019 096 074 012 154 163 027 111 120 097 001 079 091 067 174 100 080 018 082 127 048 136 044 045 021 155 117 075 116 042 164 152 034 172 087 138 024 050 026 150 038 168 077 049 069 102 132 011 143 098 105 148 106 145 033 165 043 093 023 003 176 032 009 177 169 053 086 139 052 130 151 088 059 108 129 160 071 031 104 137 095 046 094 157 140 083 030 171 061 039 161 092 022 114 007 066 134 179 173 055 013 112 017 105 097 080 102 071 109 110 118 041 115 135 055 013 162 001 017 003 045 030 000 060 094 028 158 069 008 088 133 148 093 073 006 143 066 127 009 156 011 140 061 047 125 103 081 175 122 100 068 050 014 177 167 026 160 036 142 085 083 168 169 147 021 136 176 119 116 019 112 107 161 004 153 062 015 074 082 174 042 005 091 070 121 171 130 039 155 101 056 020 029 095 024 164 154 123 067 141 044 052 035 106 054 033 128 018 090 096 016 150 057 078 048 132 179 059 117 031 087 012 152 145 114 032 144 025 134 151 038 131 111 092 084 104 099 064 163 086 051 022 173 053 126 178 063 129 089 120 124 023 108 137 072 065 049 077 079 159 043 157 113 098 058 040 075 027 172 007 165 076 046 138 034 170 010 002 139 149 166 037 146 139 167 097 163 168 125 176 154 160 029 129 098 087 094 044 070 066 003 022 051 013 128 068 071 117 054 171 010 041 144 110 152 018 177 132 164 100 141 036 072 106 053 158 008 133 105 033 076 161 165 009 059 064 140 145 138 090 148 025 017 032 150 123 095 083 174 073 035 074 126 113 102 162 107 109 089 046 080 023 015 179 012 166 052 042 169 092 091 040 104 155 038 045 146 031 122 130 062 007 030 178 028 060 004 056 119 124 103 069 019 005 112 088 047 065 116 084 027 114 039 067 173 048 134 082 121 049 057 115 006 001 043 175 156 061 157 101 149 099 081 020 063 127 136 108 086 135 118 093 000 011 142 111 055 096 131 143 026 058 151 037 024 172 079 050 075 014 153 078 170 159 021 034 077 147 137 120 002 085 016 114 151 179 110 146 139 118 159 058 165 018 083 099 065 013 101 040 036 033 011 002 103 102 136 176 131 022 127 105 055 044 130 115 106 150 068 148 032 126 006 152 005 088 137 109 145 143 157 113 178 147 009 073 064 128 025 132 017 144 120 051 149 140 092 096 046 056 045 041 081 075 027 084 067 153 156 100 167 010 174 134 104 076 119 135 172 063 133 123 117 060 037 094 086 158 001 170 077 098 050 090 062 043 097 053 035 034 085 095 121 168 020 004 070 039 093 122 091 015 163 125 164 000 129 142 038 107 008 175 072 059 080 054 116 016 003 012 162 124 160 082 112 108 078 048 074 111 014 024 141 089 021 061 169 066 007 042 029 138 155 023 171 173 028 019 087 079 154 049 031 030 057 052 177 047 069 166 071 026 161 097 075 111 130 179 150 136 170 175 063 079 050 009 015 049 008 086 154 054 012 066 158 034 000 092 151 033 003 169 042 065 062 155 093 125 143 114 047 174 172 039 120 105 099 131 011 149 020 077 035 134 052 132 058 167 026 024 067 127 040 135 076 119 038 139 144 071 002 122 060 133 123 128 104 084 027 152 036 051 056 148 138 164 168 140 113 146 064 165 059 044 029 121 159 109 145 069 078 173 141 161 129 089 074 046 153 018 068 112 157 160 001 005 004 082 080 163 103 095 007 101 028 142 126 096 032 100 102 118 030 043 006 053 166 048 083 088 177 072 178 107 137 031 017 162 014 124 115 013 147 091 045 094 037 087 171 057 085 108 098 073 156 090 081 070 025 110 061 016 106 116 022 010 023 055 041 176 019 021 117 132 098 096 086 073 169 179 113 135 069 042 046 027 044 036 067 030 013 014 022 127 033 133 137 076 087 130 161 054 018 170 112 166 129 106 138 151 029 082 097 078 023 063 031 103 119 120 136 147 175 043 074 071 141 178 171 152 019 010 142 148 049 072 026 024 006 037 159 149 118 059 094 176 079 177 128 003 123 146 093 114 004 051 077 172 157 090 154 008 150 145 061 099 115 144 121 052 089 075 039 160 056 020 165 095 048 053 167 110 126 066 125 117 105 017 163 060 080 108 100 168 016 005 156 104 028 134 164 102 062 111 155 107 045 047 088 032 000 058 109 083 068 001 070 173 139 092 131 101 158 174 050 040 012 035 002 081 122 011 084 015 143 009 038 124 153 140 162 041 065 064 085 091 055 021 025 034 007 116 057 119 169 151 112 152 157 049 172 085 088 059 022 015 039 067 019 060 042 034 014 113 026 179 101 165 137 086 031 058 108 117 154 148 109 160 033 035 010 122 115 116 036 159 128 170 142 104 126 084 141 130 012 158 177 025 000 139 046 102 055 129 153 150 173 094 064 135 078 133 097 174 175 131 011 140 155 096 076 107 146 056 098 004 069 167 099 040 156 032 074 161 136 168 134 080 003 082 124 111 143 121 001 147 024 089 118 006 144 037 110 171 027 072 017 079 103 114 008 047 087 002 095 062 063 066 132 065 029 163 028 091 020 016 090 125 030 149 053 050 093 057 092 068 043 051 044 007 178 166 009 018 105 162 021 052 013 061 077 120 081 123 070 176 127 164 045 023 038 100 073 075 145 083 005 138 048 106 054 041 071 098 078 089 071 108 045 115 117 051 040 032 027 023 049 019 010 033 055 061 041 134 008 015 042 077 163 062 140 048 160 157 106 172 091 102 065 074 004 005 044 141 087 169 143 155 156 132 017 072 152 123 053 170 022 056 083 159 014 133 007 145 095 058 064 168 154 136 165 111 146 060 025 009 177 116 088 001 082 093 129 059 084 047 150 031 101 039 094 092 075 068 166 028 171 130 138 179 080 050 135 067 122 085 018 120 020 073 090 003 124 121 081 128 046 066 174 131 079 113 063 038 142 109 162 006 107 173 127 054 021 126 148 118 000 026 112 167 104 161 069 110 002 016 158 147 029 057 100 012 139 105 097 119 149 099 052 036 024 164 144 086 153 037 103 030 013 176 096 070 114 011 076 175 034 178 125 035 043 137 151 078 103 077 119 070 161 089 129 067 026 020 062 006 011 057 024 046 004 009 044 025 041 049 156 075 091 085 128 015 122 154 137 145 073 012 147 038 152 090 114 127 160 027 151 005 158 163 034 028 052 097 153 031 155 143 165 043 132 150 060 000 108 149 083 125 086 072 121 065 141 033 023 126 017 054 081 157 133 102 029 104 124 120 051 099 144 134 175 107 176 118 173 069 166 164 080 159 096 171 088 032 100 138 131 047 014 036 071 148 050 061 093 113 092 178 146 074 172 169 136 115 003 162 116 040 039 068 016 082 094 095 101 045 168 022 079 140 064 059 106 174 111 170 055 130 167 117 008 112 109 048 135 066 110 098 010 013 123 139 056 007 037 179 021 042 063 035 087 030 053 058 002 142 018 076 105 177 001 084 019 116 125 173 131 078 080 045 054 091 179 088 016 030 024 005 033 022 090 015 072 103 092 019 064 135 133 178 046 038 063 169 117 098 165 000 095 086 067 172 161 153 108 160 177 069 047 175 122 123 017 154 013 035 166 076 137 003 031 146 144 056 145 041 150 052 004 156 081 155 023 007 109 101 051 158 112 149 143 121 111 126 002 060 059 119 065 082 139 134 001 110 042 171 114 128 039 094 043 040 152 057 105 162 036 104 164 140 102 089 049 124 032 020 136 006 073 029 070 083 075 008 148 118 048 107 138 050 066 009 058 100 129 106 127 096 168 170 018 055 151 157 079 074 130 014 147 097 027 011 077 093 113 163 062 044 034 028 120 053 085 012 087 084 115 071 099 021 167 010 132 142 176 026 068 141 159 061 174 025 037 167 159 125 175 099 097 158 163 037 170 147 173 126 091 006 046 067 155 036 028 023 003 137 117 010 119 073 094 165 134 081 068 002 179 172 112 129 056 164 042 074 090 093 123 146 127 012 032 054 110 141 176 060 131 041 140 135 058 108 065 059 075 148 096 051 145 106 007 144 066 079 005 016 029 076 171 030 153 150 018 083 087 105 004 061 000 062 177 136 050 013 130 039 160 151 011 169 156 168 020 092 053 022 142 143 009 107 035 063 045 026 128 055 031 070 095 116 122 078 104 152 109 120 100 139 085 001 033 111 084 138 008 082 024 072 103 157 027 019 149 154 101 089 161 017 132 088 038 043 064 114 086 178 047 080 040 124 057 077 049 071 069 021 166 115 034 162 121 048 098 044 052 113 102 133 014 015 025 174 118 088 179 100 118 119 095 037 175 053 012 062 063 044 156 027 064 034 002 028 056 083 006 017 049 130 157 003 048 005 165 008 169 142 133 113 103 154 120 067 000 176 148 011 145 140 085 150 079 159 030 061 071 146 151 054 091 046 178 174 131 115 052 139 132 173 093 134 099 038 007 026 050 170 128 163 136 102 168 040 010 086 162 039 081 082 127 122 161 171 138 065 051 172 094 153 032 023 155 141 015 152 117 087 116 097 060 125 109 033 078 158 042 114 029 111 129 041 101 090 047 031 160 074 121 022 069 076 075 058 024 020 013 164 149 144 143 057 009 135 025 072 014 019 137 092 001 126 035 018 004 177 070 105 098 123 021 084 147 036 124 106 066 073 068 016 167 108 104 112 096 055 077 110 089 045 166 107 059 043 080 150 130 168 080 129 141 169 131 060 128 068 073 122 027 008 001 044 009 021 024 123 124 110 053 106 075 051 149 014 151 013 159 158 096 157 010 165 049 029 160 091 064 163 115 143 153 125 023 164 155 120 154 112 026 144 172 111 066 033 173 140 170 178 022 002 095 102 011 119 114 126 089 166 156 174 142 098 162 177 099 034 108 058 085 107 042 176 086 039 032 016 087 059 167 043 137 050 074 134 105 117 148 045 015 005 077 020 006 109 104 113 056 139 065 067 152 076 147 081 121 030 072 054 118 052 146 084 071 035 036 041 100 038 175 097 047 116 070 061 019 004 048 040 062 083 046 037 055 094 103 127 012 031 133 079 063 145 171 003 101 017 028 082 092 090 057 078 135 132 069 136 138 000 088 093 179 007 161 018 025 111 124 141 132 087 096 152 066 117 043 137 095 121 047 018 015 031 021 020 036 033 012 166 062 007 099 156 001 118 005 050 100 044 113 049 170 169 154 157 127 083 110 028 025 029 023 174 009 024 061 016 054 179 107 175 013 136 142 163 086 130 115 010 134 128 055 057 119 002 070 164 108 074 004 114 150 173 165 104 071 076 045 042 022 041 046 153 101 056 094 092 116 109 122 072 048 003 147 000 082 027 060 172 011 158 073 139 084 038 064 093 080 126 067 026 030 123 167 068 059 161 077 017 081 098 106 078 091 085 090 125 145 162 051 069 148 105 006 120 075 040 097 135 133 019 065 008 155 176 168 138 112 088 014 129 144 177 034 103 102 178 035 089 146 151 052 171 037 079 039 032 143 160 149 053 140 159 063 131 058 121 085 133 153 128 108 155 158 118 107 027 092 018 070 032 142 048 148 055 025 132 159 056 168 059 162 134 106 066 012 100 011 020 136 175 026 008 098 135 113 016 117 087 144 099 139 062 080 166 037 075 172 140 150 176 131 110 141 043 006 105 156 013 103 169 044 046 173 076 149 030 071 091 064 145 077 120 010 014 179 097 033 112 089 057 067 068 111 125 081 015 004 022 073 170 035 160 036 174 040 034 093 021 003 151 049 177 078 060 090 102 165 052 143 053 007 127 019 161 024 130 038 065 101 054 029 063 119 083 178 023 028 163 088 104 074 164 096 126 084 009 051 086 116 061 129 157 095 072 138 122 147 050 031 058 109 005 039 167 123 069 079 017 171 082 114 047 045 137 154 002 124 041 001 094 000 115 152 146 042 157 096 071 098 177 136 100 165 164 062 072 064 050 019 069 028 014 023 024 095 032 013 063 038 129 122 153 025 112 116 007 135 159 167 146 029 123 103 154 141 094 105 022 045 051 138 168 060 047 143 115 097 169 005 004 133 044 155 161 083 011 126 088 048 117 109 086 091 132 108 156 040 147 077 148 178 162 124 054 039 043 075 010 125 110 140 127 027 120 003 149 179 006 158 002 150 037 084 079 137 166 085 073 092 070 033 130 076 057 102 144 082 061 078 118 106 015 020 131 173 119 009 008 171 055 035 142 176 053 026 034 087 090 021 151 059 134 042 093 056 036 066 018 114 099 017 081 049 067 089 046 001 152 000 170 031 052 160 012 128 113 030 080 074 101 104 058 111 163 174 065 016 172 139 145 121 068 041 175 107 085 089 087 139 130 179 117 178 142 086 158 082 042 055 162 026 007 015 053 001 135 114 065 016 035 080 045 012 098 097 108 165 014 144 176 000 058 100 132 168 164 075 023 140 126 025 155 134 095 102 103 122 009 083 137 109 129 003 049 067 040 037 081 057 170 149 150 106 093 151 136 157 167 005 092 125 024 146 021 054 128 127 116 032 161 143 036 123 030 099 062 031 043 006 034 064 047 088 041 002 105 121 039 066 063 078 110 141 111 038 166 133 051 013 096 079 145 068 160 060 094 153 147 077 059 090 120 115 028 044 112 107 124 020 163 159 172 171 071 052 070 072 061 073 148 019 084 048 091 152 118 076 011 177 175 069 119 027 104 029 074 056 174 008 022 169 101 138 046 018 033 010 154 131 173 004 050 017 113 156 113 080 135 178 086 171 161 124 172 119 064 079 019 122 093 014 015 044 039 046 011 175 090 029 050 017 095 162 052 024 005 099 070 111 096 120 083 123 115 137 051 167 173 107 138 164 075 047 106 145 010 112 092 143 026 166 158 130 022 084 126 104 062 068 023 152 003 101 129 169 148 128 139 097 071 163 077 141 048 040 013 001 053 054 153 102 159 016 007 036 037 160 055 028 176 174 089 041 147 134 168 170 066 042 110 067 150 038 098 073 154 059 140 085 094 118 103 004 056 114 076 108 020 009 132 144 031 121 012 060 156 131 087 125 136 127 033 002 149 091 165 069 177 032 157 035 030 109 146 151 025 057 045 043 063 008 049 116 000 065 027 078 006 072 133 021 074 100 179 082 061 088 018 117 058 034 142 081 105 155 112 081 122 166 076 172 127 044 022 042 118 174 026 068 108 061 002 014 004 033 008 161 053 176 144 097 159 073 018 027 055 082 095 080 179 054 030 084 173 129 148 059 005 040 157 070 071 006 063 041 056 140 013 169 116 012 015 113 035 149 160 032 074 066 090 115 039 117 137 111 057 007 025 120 024 167 094 100 138 047 124 060 046 036 050 141 163 048 101 139 128 171 087 062 010 020 093 011 019 031 021 123 135 001 086 105 175 088 075 170 110 130 064 045 119 000 177 125 003 038 092 152 078 098 049 089 096 162 037 034 150 085 072 069 147 058 083 132 091 131 164 146 165 065 016 168 052 156 142 099 145 136 143 126 102 133 114 009 155 023 077 154 107 104 051 106 158 151 043 153 079 028 121 103 067 109 134 178 017 029 087 149 161 076 162 127 174 042 171 036 073 049 163 164 094 000 061 024 045 023 035 058 165 099 014 168 021 085 093 083 088 080 096 101 177 057 167 086 063 002 103 065 122 114 102 175 157 146 005 047 098 109 106 156 029 124 007 135 132 078 152 026 126 120 092 113 110 008 128 034 143 039 112 043 013 022 066 091 145 136 017 068 118 056 040 119 059 054 089 027 052 046 062 151 030 115 075 160 070 117 097 172 100 105 170 155 179 154 004 016 133 147 137 142 130 134 107 051 067 071 020 025 131 012 069 082 116 139 060 032 011 038 111 084 123 006 150 055 074 169 044 001 003 176 050 153 018 141 015 019 158 173 010 095 072 138 129 108 048 148 064 033 079 009 178 041 037 144 081 159 104 121 166 053 028 090 140 031 125 077 071 084 113 124 054 111 119 134 137 133 033 032 056 163 048 002 078 017 031 155 029 164 131 177 171 136 179 088 011 176 018 161 085 082 103 021 112 146 057 138 019 008 043 170 066 110 122 096 104 068 121 030 015 101 000 039 073 173 091 035 020 003 156 087 152 117 157 143 016 135 042 001 174 034 106 141 086 147 142 055 010 047 067 061 075 049 025 014 064 076 063 114 072 074 092 127 051 125 044 158 013 132 007 050 004 037 166 118 165 083 036 105 045 028 069 154 128 060 116 098 120 150 053 080 168 059 023 006 005 167 160 095 149 081 094 108 130 058 159 041 123 009 148 153 093 027 144 107 102 052 100 062 090 115 145 070 162 178 175 139 169 038 022 046 099 040 151 024 026 089 126 097 109 140 079 172 065 077 012 129 072 067 064 108 050 060 142 027 017 130 078 122 008 000 003 052 043 020 040 032 137 011 055 107 094 071 115 174 059 172 069 056 013 127 031 044 048 176 026 038 144 164 010 136 023 035 166 119 132 177 126 160 145 030 165 173 079 162 084 093 163 074 125 112 148 161 076 179 154 028 131 149 150 135 065 151 139 086 046 168 085 073 016 066 133 129 022 045 080 021 096 001 014 098 124 147 005 111 087 075 077 101 116 141 090 041 118 158 104 009 081 068 143 037 113 063 061 178 018 089 097 057 007 106 155 157 152 156 134 047 051 062 095 109 117 128 114 033 012 070 159 138 049 002 171 025 042 123 004 170 082 058 092 034 120 121 053 088 019 110 029 102 099 175 167 054 103 015 146 024 039 083 105 169 091 153 006 036 140 100 096 062 120 129 149 164 177 067 008 061 178 088 045 048 009 023 056 047 035 021 053 036 020 059 055 141 057 050 091 117 011 064 137 000 041 078 031 170 019 148 138 001 015 169 110 069 158 115 127 150 151 033 014 144 154 156 124 016 052 085 146 122 173 028 066 034 153 152 168 119 114 160 082 130 143 123 136 079 092 161 135 139 159 073 097 081 109 147 087 037 163 013 140 090 024 006 042 107 012 054 070 118 010 157 038 101 004 094 022 167 162 113 145 051 098 132 176 049 133 112 102 026 121 095 076 017 165 083 084 068 027 174 089 155 131 179 142 103 166 105 005 043 116 075 030 077 046 074 063 025 125 071 126 044 172 100 134 065 072 171 175 040 060 007 003 086 099 018 058 093 108 111 104 002 080 029 128 032 039 106 099 112 117 167 178 177 163 057 010 126 153 164 038 030 060 179 074 101 043 047 007 004 001 103 134 175 035 069 044 022 027 005 021 122 120 063 023 071 170 169 135 019 146 160 018 068 089 132 154 123 031 143 144 087 051 168 039 150 162 077 062 066 152 003 161 131 155 157 140 095 082 006 107 124 096 133 151 109 108 121 064 059 008 041 013 028 147 079 026 114 024 110 088 065 156 098 029 104 034 042 100 078 137 127 138 011 092 083 025 076 040 049 111 002 090 113 032 141 118 080 046 149 139 016 067 148 115 097 173 033 072 070 136 015 171 009 056 086 081 119 084 012 174 106 052 037 116 176 048 102 085 159 073 045 091 093 014 105 020 061 165 054 058 050 017 145 166 000 128 036 129 094 125 142 172 158 130 053 055 075 118 110 153 161 132 046 170 052 014 075 013 107 011 097 091 007 179 022 056 018 047 039 167 081 156 031 146 112 074 073 164 010 106 120 166 049 102 051 127 085 160 054 041 094 061 096 178 150 021 025 001 158 126 128 024 040 065 048 044 154 173 082 108 067 105 098 148 171 045 043 129 141 149 169 155 012 017 137 062 030 032 134 003 174 114 086 100 087 029 080 076 177 090 059 019 139 121 133 020 000 008 042 077 140 116 104 113 093 136 002 142 123 066 060 092 083 064 131 099 058 084 135 157 119 026 162 163 138 109 159 172 122 015 124 175 152 055 144 069 088 079 028 101 071 089 009 036 078 006 145 068 027 053 143 057 037 103 004 176 050 034 016 117 165 063 035 033 168 038 111 072 125 130 147 115 095 070 151 005 023 156 104 121 135 074 128 066 123 015 151 131 112 025 109 105 057 079 032 113 019 154 049 003 008 119 016 150 039 030 041 136 075 125 056 168 051 144 069 010 007 167 009 126 091 087 012 161 083 013 064 142 166 164 102 014 120 018 139 158 116 005 096 160 127 101 169 138 095 072 172 110 165 089 058 141 132 146 050 073 122 107 046 040 092 137 162 173 038 174 100 170 097 078 045 061 000 098 081 055 155 086 023 157 021 017 152 080 060 006 099 130 090 037 117 004 031 048 124 034 054 042 043 001 177 062 108 148 093 145 082 068 076 033 111 129 029 133 115 063 176 114 178 027 163 053 036 024 171 149 011 070 088 103 179 022 143 153 044 047 134 035 067 085 059 159 084 020 094 118 071 106 026 147 175 077 052 002 065 028 140 165 106 140 179 135 142 175 171 167 132 098 031 039 061 054 004 016 043 065 015 020 168 101 018 022 088 094 002 024 107 032 021 019 025 056 014 153 134 178 079 046 161 148 141 158 006 057 137 009 136 067 035 128 091 040 076 080 154 005 146 048 070 099 012 058 089 029 034 170 059 157 119 145 143 087 117 169 063 109 176 096 147 097 007 174 152 172 163 095 116 028 078 084 155 060 051 129 090 122 103 062 110 050 120 118 092 133 105 027 111 115 026 008 081 114 071 102 160 151 055 104 047 093 127 085 073 164 173 036 066 113 072 108 013 150 100 159 125 156 017 166 177 023 064 011 033 045 138 038 083 052 037 112 041 075 074 069 068 124 121 003 010 149 086 053 001 123 139 042 126 130 030 077 082 144 162 044 131 000 049 084 102 177 138 116 170 069 161 011 032 083 132 094 079 063 020 036 057 133 034 016 051 114 097 111 173 164 081 109 158 072 175 017 015 091 002 014 061 040 074 100 038 120 028 071 080 140 159 169 134 166 144 022 048 104 151 086 092 070 046 168 064 179 174 157 139 154 077 152 167 006 127 090 145 178 058 026 027 171 045 098 062 037 050 007 035 108 165 103 122 137 153 149 125 150 136 135 131 093 073 112 041 117 119 130 147 146 021 030 010 095 024 148 019 044 087 155 126 124 049 123 129 004 082 003 172 110 023 143 067 176 089 055 163 054 060 107 160 052 042 076 029 156 115 012 031 005 162 056 113 000 141 059 013 106 025 039 099 142 105 053 096 018 118 065 078 075 128 121 085 101 047 068 066 008 088 001 009 033 043 075 122 102 117 124 134 135 169 019 077 046 011 164 178 079 060 020 016 128 043 038 065 092 072 179 130 000 035 089 127 010 158 074 045 042 061 022 009 003 012 140 052 152 087 118 057 147 116 163 160 063 044 050 108 001 139 143 153 148 133 175 114 155 094 150 081 177 064 151 136 146 161 159 047 170 059 121 040 037 137 105 145 018 006 129 095 004 090 110 126 070 131 017 093 099 034 088 068 069 125 055 073 098 023 015 084 120 054 132 041 176 109 027 165 076 025 167 078 166 115 091 106 026 154 048 100 024 103 113 168 119 156 085 007 067 039 002 066 097 111 086 032 058 096 141 080 142 112 173 172 149 031 101 028 082 123 062 049 029 104 056 051 071 053 162 036 144 008 014 021 107 157 174 171 033 083 005 030 013 138 093 071 107 096 117 050 168 133 141 072 126 086 091 017 000 055 029 031 058 037 024 125 051 116 032 006 154 159 178 147 092 151 078 028 145 144 162 025 069 019 002 043 062 089 020 027 090 156 138 112 070 003 131 136 033 108 169 063 160 064 074 146 023 115 167 110 053 172 173 148 118 099 164 127 103 139 105 132 137 026 046 142 134 106 155 021 044 166 059 123 157 119 061 076 057 176 150 065 038 018 049 082 163 030 048 130 001 179 054 109 098 129 011 111 034 161 158 007 052 014 088 120 140 135 114 056 079 149 042 152 009 094 047 016 122 171 128 077 177 012 008 035 041 039 087 010 104 083 153 081 045 015 068 170 060 095 097 102 113 174 100 004 067 073 165 101 085 005 124 075 175 036 080 143 013 022 040 121 066 084 133 113 138 061 172 131 042 126 033 059 030 118 088 002 051 022 047 046 018 040 141 127 135 119 008 176 110 017 063 053 179 070 149 125 050 123 108 124 155 106 026 020 009 120 081 171 096 174 082 115 093 114 103 098 058 048 156 005 159 157 092 163 167 130 146 084 137 021 136 057 031 065 105 161 090 080 062 139 170 072 168 151 077 012 148 111 164 037 013 043 038 095 044 150 122 142 066 007 067 055 089 011 076 086 079 091 102 073 178 147 060 023 099 104 117 024 094 016 074 015 004 145 153 045 000 158 162 064 100 025 010 116 069 029 166 001 152 003 143 078 034 041 112 128 028 054 121 140 169 101 160 049 107 032 056 039 027 154 087 129 177 097 165 019 109 144 006 068 083 134 085 014 035 036 071 175 075 052 132 173 086 170 099 073 164 138 046 149 144 097 132 116 095 001 024 074 009 058 051 003 034 045 100 057 036 179 055 067 020 177 096 027 026 040 098 165 077 039 108 087 080 007 129 010 072 052 093 155 069 139 041 032 089 082 119 134 142 160 016 152 159 102 113 104 174 018 127 118 157 130 176 008 110 168 122 050 124 085 028 173 115 111 156 143 088 161 013 023 015 022 178 133 147 121 163 167 092 158 061 109 044 064 140 029 101 146 141 056 011 128 112 106 103 063 047 006 019 105 175 094 148 017 012 065 091 021 081 114 043 031 162 172 048 136 169 084 079 107 150 153 071 145 083 076 123 120 004 075 126 137 037 125 035 025 014 060 002 166 054 062 030 090 131 154 066 117 049 070 000 033 053 151 042 038 005 135 078 068 059 171 141 119 166 164 175 173 157 033 063 025 011 057 002 101 058 051 004 008 098 042 019 016 134 015 053 076 007 095 071 152 030 167 010 039 155 079 006 153 123 102 081 139 100 163 050 048 082 073 135 159 116 169 121 072 060 161 122 111 046 104 055 047 138 146 140 001 035 014 147 092 149 162 125 142 036 120 114 127 031 078 112 003 144 068 044 107 017 028 084 034 105 009 108 130 097 096 020 115 129 090 052 176 118 080 172 137 056 065 074 066 091 083 110 021 136 062 099 043 054 069 093 143 085 029 087 117 170 178 041 126 024 168 103 038 089 132 165 059 005 150 151 000 113 124 131 174 145 160 106 067 088 077 027 061 018 179 040 133 128 032 158 013 156 023 075 070 086 049 154 109 045 148 094 037 171 177 064 026 022 012 090 123 145 127 107 153 138 174 077 093 063 001 012 059 022 172 008 091 106 149 171 009 007 025 060 003 066 092 070 056 049 079 004 164 158 055 111 000 071 053 168 099 136 043 116 120 084 026 016 156 054 005 098 112 166 024 175 105 126 124 034 167 027 122 030 067 162 047 114 173 161 073 154 121 113 052 050 018 147 131 078 144 032 134 036 139 074 021 035 028 146 157 179 118 065 151 110 019 102 142 163 045 176 051 082 013 086 096 023 177 041 072 046 125 152 128 075 089 048 064 165 132 040 061 141 137 117 011 103 135 133 143 083 095 108 170 148 062 015 033 085 094 017 020 038 160 101 150 037 155 080 119 097 130 042 088 076 010 002 006 057 068 140 058 029 039 115 178 159 104 087 044 129 100 081 169 109 014 069 031 067 086 073 089 100 149 164 137 174 031 150 070 032 098 176 091 013 018 041 065 068 122 039 056 148 052 168 042 079 011 029 074 050 010 169 048 107 113 053 069 060 017 044 173 162 106 151 112 119 027 104 138 040 146 092 023 051 144 077 179 084 025 111 076 062 171 061 103 131 019 093 116 087 096 105 083 134 047 125 142 072 022 054 166 102 008 139 130 133 045 108 033 063 000 178 114 132 009 057 136 038 090 120 129 157 159 003 024 088 082 141 156 172 109 124 115 020 037 163 153 085 066 165 152 005 123 101 059 049 145 028 071 046 006 012 158 154 121 078 126 127 135 080 007 167 099 034 110 118 002 170 094 081 016 160 147 064 128 140 097 001 095 143 014 026 030 155 036 161 035 117 075 058 021 004 043 175 055 177 015 104 140 139 176 066 154 144 011 163 053 120 002 000 009 041 054 018 096 005 031 133 017 080 058 068 098 142 166 021 178 127 044 116 086 131 004 105 175 049 030 092 085 048 146 101 159 160 089 122 100 084 093 102 124 150 081 167 050 064 027 134 155 065 015 115 003 109 129 118 026 076 113 014 162 063 016 006 158 153 007 099 097 035 090 143 047 071 083 074 038 079 145 103 067 108 042 008 013 029 151 023 051 024 161 052 135 061 057 157 125 164 039 001 110 126 043 117 165 171 078 060 107 174 112 111 040 123 179 168 045 152 012 128 072 010 070 173 141 148 059 075 022 062 132 136 119 095 046 082 069 169 056 025 033 028 073 088 106 055 034 019 149 138 020 114 077 170 137 156 032 121 130 087 091 037 147 036 172 094 177 062 087 090 094 104 113 031 065 152 173 091 024 021 168 128 029 052 005 126 178 138 170 103 145 172 026 129 059 022 047 084 157 064 166 107 163 063 174 162 040 049 111 039 158 070 038 136 085 067 016 020 037 025 095 121 098 035 115 165 054 027 176 000 007 042 013 164 148 125 068 045 117 127 110 132 118 023 017 135 082 160 149 153 030 151 089 041 075 108 112 177 044 011 053 093 134 018 003 080 154 122 061 083 114 147 100 169 155 116 033 146 143 012 015 043 124 034 057 179 032 066 086 058 073 140 139 060 056 081 141 175 099 142 001 133 120 137 071 096 008 088 161 076 019 097 051 009 167 077 079 002 130 074 036 150 119 072 144 156 010 055 046 105 004 106 159 131 028 109 006 123 078 069 014 102 092 048 171 101 050 046 061 070 082 101 124 167 146 044 106 080 019 063 100 059 049 055 040 037 098 012 024 013 031 125 047 127 074 010 088 112 176 005 138 153 142 028 090 076 034 006 123 051 155 036 172 126 086 045 164 094 177 162 130 132 145 140 025 135 058 014 029 116 107 134 085 158 003 026 171 064 077 168 173 110 057 118 120 004 069 154 175 096 087 021 163 043 131 141 053 174 022 050 161 102 170 078 179 150 052 103 169 115 000 152 054 089 041 001 143 148 091 129 151 139 017 009 133 039 011 018 157 104 033 072 065 136 030 178 056 166 083 032 073 075 081 007 020 060 023 156 117 099 144 008 038 016 071 121 095 147 066 109 160 128 015 035 002 068 149 084 048 108 119 062 067 114 097 113 079 105 042 111 027 159 165 093 137 092 122 089 111 103 154 125 167 178 008 024 041 142 138 104 020 114 105 080 140 135 026 056 117 132 037 095 069 053 087 173 137 017 123 179 036 149 003 124 055 156 070 057 092 116 096 010 022 054 015 099 148 169 029 113 126 035 079 058 110 012 011 121 023 043 000 028 160 152 083 146 102 081 031 073 166 164 074 172 005 007 067 009 014 150 136 049 147 001 066 021 134 168 094 143 044 118 112 115 171 151 085 059 109 175 133 128 075 027 025 042 051 177 071 153 018 127 048 082 062 098 101 107 034 013 050 158 076 006 090 004 139 129 130 174 091 045 077 052 061 047 100 030 065 145 016 144 064 165 170 097 176 084 040 038 068 161 078 032 063 122 002 093 088 019 159 039 108 157 120 141 086 131 163 155 106 162 033 072 060 046 119 149 139 152 148 031 163 041 024 133 076 164 120 077 085 083 138 026 153 151 054 048 019 140 125 167 082 001 060 110 038 105 087 073 150 099 106 159 036 027 028 142 016 074 147 043 155 154 095 111 070 091 129 101 162 097 160 173 079 175 062 174 157 121 069 109 104 067 144 172 050 023 066 044 045 094 145 068 053 078 118 021 116 071 096 124 132 171 178 130 135 049 005 165 057 098 004 000 122 158 126 037 086 107 032 119 018 064 034 056 127 051 029 047 103 014 136 046 093 020 131 100 040 006 114 088 102 055 010 075 065 117 003 025 143 137 092 161 169 030 002 090 141 179 123 166 007 089 013 081 084 008 063 042 146 113 080 128 059 061 115 033 177 039 134 112 022 072 170 052 108 012 058 015 017 168 035 156 011 176 009 108 099 082 032 139 166 011 005 002 067 001 178 090 060 153 136 104 059 123 038 160 147 064 088 062 072 028 055 026 084 023 016 091 046 004 162 120 070 103 152 027 041 013 048 014 044 116 053 107 012 106 094 163 017 079 117 025 172 050 141 133 154 146 035 073 024 130 098 127 089 140 179 081 171 061 135 033 144 045 159 066 063 143 158 100 054 009 109 034 087 156 058 161 036 086 008 122 000 010 074 138 112 169 145 165 003 114 126 176 029 022 155 167 175 097 069 101 129 121 006 111 039 049 042 150 128 080 118 151 093 052 018 119 110 095 131 077 164 173 040 168 134 043 015 056 047 170 019 115 085 083 068 051 174 076 113 149 030 092 142 075 132 177 065 137 037 148 078 071 124 020 102 157 031 007 096 021 105 057 125 095 175 131 156 118 064 079 162 103 135 039 114 073 093 077 071 051 151 060 108 130 053 143 050 067 011 061 100 049 059 158 003 087 159 066 076 072 030 102 096 058 178 070 176 169 013 148 041 062 173 000 119 157 113 005 155 082 089 140 125 038 048 122 075 009 177 088 161 104 137 139 129 028 116 002 147 065 110 069 171 106 078 090 084 154 109 124 008 132 068 021 163 083 081 001 031 027 150 023 097 015 047 141 164 040 004 012 112 146 037 174 138 160 016 085 179 024 121 111 035 133 063 136 052 034 033 046 026 166 098 080 007 010 074 025 172 019 036 042 094 145 054 014 165 142 127 153 056 032 134 043 055 029 092 168 126 101 149 006 044 152 117 170 091 105 020 120 115 144 167 057 045 022 107 099 123 017 128 086 018 080 156 046 149 121 144 153 015 013 091 166 017 173 128 101 103 035 084 044 137 097 032 066 078 020 040 117 147 094 169 177 038 052 151 072 174 131 059 150 026 010 045 018 119 064 170 051 142 134 081 042 162 161 158 179 056 113 167 085 172 123 118 143 082 057 146 022 135 049 139 058 019 141 076 104 096 148 029 088 028 054 089 073 164 027 083 087 006 112 106 055 025 095 127 014 108 070 050 159 099 030 000 079 124 122 053 047 039 120 140 002 031 034 133 075 114 093 163 132 008 011 102 168 125 033 077 074 012 067 129 071 110 021 126 105 176 016 069 037 068 007 086 005 024 004 063 062 009 171 116 003 109 100 155 036 165 154 136 178 107 145 092 043 061 175 048 001 065 060 160 157 041 152 090 023 115 138 111 098 130 160 147 167 159 176 126 015 014 027 013 024 003 036 022 023 111 077 123 012 103 079 135 009 017 070 019 064 165 128 001 016 177 140 002 130 114 088 040 065 052 063 082 101 153 120 125 171 139 000 072 006 161 055 086 134 121 155 090 058 108 033 080 018 029 144 100 145 039 112 091 087 038 092 030 127 158 099 081 131 049 025 172 062 011 136 032 034 097 050 107 075 106 104 068 142 162 109 054 051 061 156 152 164 085 150 093 084 089 035 008 132 175 043 115 037 149 170 095 148 141 143 067 096 021 179 098 146 048 045 154 163 004 026 094 053 010 138 083 133 116 178 102 173 069 047 057 060 113 074 169 020 041 071 005 105 157 056 028 078 168 151 059 118 076 044 166 042 129 122 110 124 174 117 007 066 046 119 073 031 137 173 135 158 066 126 112 107 030 026 000 006 028 079 139 090 077 087 097 155 005 121 037 010 085 086 035 093 063 002 051 175 042 048 044 019 036 004 104 141 132 068 084 109 065 054 174 088 179 130 050 024 116 049 023 177 016 020 140 129 091 138 022 147 164 156 136 166 151 134 110 034 021 017 153 003 161 123 142 058 075 029 039 081 018 120 178 119 092 053 060 114 172 125 137 040 043 143 072 027 062 056 098 152 162 168 165 007 011 102 149 170 047 059 096 122 101 025 032 080 108 033 001 052 160 083 064 118 169 074 076 105 078 012 144 103 031 113 163 154 115 041 157 038 095 133 106 014 089 070 071 128 082 127 131 015 099 045 046 094 057 176 124 171 111 145 148 117 067 013 100 008 009 167 159 069 146 150 061 073 055 143 145 164 168 160 137 027 155 097 019 141 091 057 038 007 016 082 068 179 127 126 054 018 110 109 107 041 072 140 009 004 077 131 094 023 080 033 121 138 112 059 061 066 044 115 062 101 056 146 043 055 010 048 139 049 011 163 103 090 132 096 014 153 100 162 045 079 125 052 178 175 070 086 102 123 073 002 026 113 117 172 020 012 039 037 076 120 136 129 025 151 098 152 128 071 161 108 169 148 017 118 124 133 147 173 158 051 166 085 154 000 078 035 130 003 058 149 074 177 105 157 030 106 093 001 050 083 084 008 170 069 046 005 034 015 150 171 122 021 142 104 144 167 089 036 042 159 032 095 013 134 092 064 176 081 075 067 165 065 088 040 114 024 031 060 053 087 119 022 029 111 156 099 116 006 063 028 047 135 174 142 161 042 091 153 143 132 041 003 049 160 065 177 037 167 108 094 010 071 008 057 075 155 032 136 159 079 173 088 002 059 119 101 009 178 040 171 164 052 092 151 170 016 110 106 043 055 045 093 083 051 147 125 096 130 111 134 152 073 080 169 078 157 137 126 141 060 076 117 011 120 046 038 113 156 176 056 024 086 001 118 029 063 154 149 145 179 103 014 058 099 123 107 034 165 072 085 166 124 048 087 102 109 150 030 050 033 020 081 144 129 127 100 012 074 133 148 067 077 090 105 128 098 036 115 163 018 000 022 035 131 162 138 104 017 069 139 174 140 097 068 070 082 053 007 122 146 172 047 021 023 019 121 066 116 064 089 112 015 175 168 061 026 095 013 006 005 025 028 062 135 084 031 044 039 027 004 114 158 054 159 171 143 165 155 079 126 112 108 099 002 026 007 147 038 094 053 086 082 039 043 048 144 063 166 102 173 105 139 174 056 101 117 130 111 122 003 062 133 029 025 081 064 012 027 010 015 158 168 137 124 100 110 050 172 176 103 157 057 068 141 031 120 135 098 163 069 104 011 045 080 131 004 134 125 116 041 030 049 140 132 148 034 109 084 088 021 077 076 040 078 146 167 096 083 107 097 149 170 123 014 138 032 091 142 024 093 095 067 169 059 160 071 128 129 044 016 075 085 001 162 113 023 066 156 055 179 013 046 009 005 118 115 058 019 090 127 022 017 072 033 089 006 052 152 018 061 087 119 065 121 047 054 060 020 036 051 175 154 035 161 151 178 136 153 028 070 145 037 042 164 074 092 073 000 106 114 177 008 150 177 163 155 055 137 156 008 003 134 138 022 133 017 010 098 132 126 107 057 106 139 043 027 154 104 149 012 152 061 013 124 050 047 049 021 125 001 158 070 065 120 159 060 029 171 077 011 054 117 127 037 024 018 090 074 169 166 020 167 164 162 040 118 172 076 102 168 056 014 153 048 110 002 101 000 129 122 041 036 114 145 085 109 082 142 123 131 032 025 066 087 086 097 083 033 075 007 035 157 146 088 140 081 095 058 089 119 028 092 103 151 099 042 072 084 147 130 045 115 026 112 141 073 178 039 071 174 094 170 023 121 173 034 067 135 091 064 038 031 128 052 078 004 009 161 165 019 063 046 068 030 143 079 100 176 105 144 005 179 093 080 175 062 113 096 136 051 148 069 016 150 053 108 059 015 160 111 116 006 044 126 101 083 145 136 115 087 013 000 153 174 093 022 089 173 072 005 063 038 010 081 146 170 167 143 158 125 015 142 033 109 131 105 102 062 161 034 016 058 039 052 055 172 069 011 123 061 147 012 029 114 068 119 104 082 054 178 175 164 098 156 168 071 031 137 150 064 120 130 106 103 177 027 132 030 154 133 157 079 127 004 141 023 070 094 128 152 047 116 124 160 176 085 108 148 088 090 037 166 091 026 014 092 121 139 017 162 134 032 165 048 019 040 077 149 078 113 144 036 028 051 169 171 117 065 151 067 111 059 053 049 097 179 112 056 020 084 138 018 003 021 122 095 140 046 100 110 159 086 042 096 080 001 006 025 057 060 008 135 073 044 107 045 043 076 009 050 066 129 074 155 035 002 118 024 163 041 099 075 007 155 166 142 126 069 176 130 063 111 007 012 025 158 074 092 018 068 026 047 016 044 116 054 043 159 117 121 029 151 035 104 072 161 169 093 099 094 021 050 178 073 162 098 071 135 019 041 167 055 048 058 045 084 004 156 110 141 070 113 106 049 144 095 123 039 015 008 154 097 006 152 090 079 119 115 002 125 046 174 143 057 037 132 133 175 030 165 034 027 009 138 129 081 103 051 118 060 153 127 139 134 088 146 177 024 163 145 067 108 075 179 038 062 020 087 065 078 056 173 005 122 168 101 105 100 091 086 096 000 150 171 052 160 061 031 089 059 032 137 022 124 076 013 033 064 011 172 136 131 164 010 157 014 102 040 082 112 148 001 140 107 128 036 109 077 147 066 114 149 083 017 080 028 085 170 053 042 120 023 003 178 095 146 173 141 148 099 084 036 020 007 087 133 018 015 045 010 012 006 055 003 029 082 001 037 083 071 076 166 175 140 132 176 014 073 093 130 046 047 059 119 028 008 138 161 079 038 002 091 179 160 128 085 114 125 143 116 064 096 121 117 111 056 136 027 065 017 174 159 154 151 137 000 157 049 011 057 033 066 092 026 102 021 144 169 164 086 106 177 044 171 035 040 088 053 113 019 098 081 023 170 075 168 016 156 034 129 097 094 120 043 110 115 068 058 158 118 072 089 162 041 172 070 074 108 142 042 104 013 022 101 031 067 062 024 004 060 052 145 039 153 147 105 051 149 112 109 077 080 135 054 152 134 069 050 048 139 032 127 005 078 063 163 155 123 165 025 090 131 150 122 167 030 009 103 107 126 100 124 061 164 073 171 177 144 162 166 132 129 001 125 124 033 087 071 059 012 065 052 097 014 010 138 066 018 005 139 084 147 069 143 142 056 173 109 047 015 044 046 140 017 135 117 053 150 099 118 016 023 089 019 104 134 029 163 094 063 170 093 026 165 179 172 178 108 000 169 096 048 013 085 004 039 154 086 152 153 008 168 057 119 155 002 146 068 159 095 115 113 020 030 080 160 072 110 156 133 067 137 006 074 145 128 174 136 106 024 091 090 011 042 088 081 075 121 126 028 127 167 148 064 176 060 032 036 092 043 061 112 157 141 111 123 055 062 038 009 079 083 122 003 130 102 041 077 175 040 007 025 114 051 100 161 151 101 049 054 031 149 082 103 045 034 070 131 076 022 116 050 078 098 027 037 058 120 021 105 107 035 158 123 152 176 171 166 174 137 136 127 056 122 147 165 170 107 040 085 051 081 061 004 140 074 027 002 073 059 038 006 031 090 014 028 105 110 007 098 177 079 036 067 024 076 161 015 094 039 050 044 146 128 159 037 089 138 017 151 042 013 001 082 046 134 008 047 025 115 032 120 099 054 126 093 088 119 026 145 048 143 148 150 055 041 178 141 096 129 011 005 130 109 023 113 179 162 060 118 139 049 144 132 068 131 033 009 154 103 063 064 080 175 117 091 149 086 142 072 030 125 168 078 075 084 157 153 124 071 052 069 133 019 035 169 077 102 018 095 135 114 066 043 160 172 100 029 020 106 101 104 045 173 003 021 022 155 097 163 121 070 167 111 053 057 112 010 058 156 034 012 092 158 000 062 065 164 108 087 083 016 116 130 133 163 140 122 053 120 026 009 002 040 177 005 179 085 079 101 034 078 045 027 160 050 175 121 095 063 018 170 076 003 030 082 126 070 038 145 109 074 062 021 168 065 017 008 152 164 178 006 033 110 134 023 061 022 107 089 094 143 096 102 013 011 154 116 054 112 087 158 077 142 148 043 090 073 060 051 001 115 016 075 100 055 141 047 138 157 093 046 015 080 036 159 031 166 052 128 105 097 071 020 139 108 057 092 088 172 014 007 162 123 124 083 041 156 173 165 028 091 012 149 167 044 010 056 131 059 147 104 081 132 113 037 176 155 025 042 067 117 135 099 103 114 098 086 150 174 024 019 153 072 146 171 058 039 084 161 129 049 111 136 127 069 000 125 066 032 118 151 169 048 029 119 035 137 064 144 106 004 068 127 121 114 136 109 008 013 115 126 092 146 139 085 082 021 075 072 048 068 006 026 157 130 172 142 033 056 024 161 118 083 032 061 034 052 081 011 097 009 117 054 093 171 046 055 051 065 066 089 004 039 057 028 045 020 095 145 060 042 000 036 069 053 149 049 155 014 041 138 160 088 132 158 164 025 078 019 067 098 163 050 031 174 137 059 156 150 035 073 084 134 125 079 003 112 071 165 010 105 070 133 141 080 178 027 176 144 058 029 091 074 077 108 131 100 148 168 110 076 099 128 064 124 166 123 179 103 002 162 147 169 063 044 135 159 096 151 043 119 143 175 040 120 173 177 107 012 102 007 062 116 022 104 154 030 001 023 170 152 090 101 122 106 016 037 017 094 113 140 005 086 015 153 111 018 129 167 038 087 047 146 143 174 151 170 133 124 120 099 004 103 094 065 077 089 047 058 108 140 104 009 074 045 141 042 013 030 179 023 113 178 043 076 061 095 031 057 060 148 008 012 079 035 021 007 132 142 040 177 032 017 136 093 000 052 092 019 029 054 176 003 051 128 106 171 037 139 156 036 005 135 087 048 053 134 075 154 084 085 157 121 166 130 167 073 050 038 112 082 097 102 152 110 001 169 117 083 056 175 027 046 059 041 070 025 015 090 055 163 072 071 069 107 173 064 028 062 161 016 129 155 044 150 138 162 022 109 137 080 160 123 066 078 131 116 153 125 063 165 118 100 081 067 105 126 144 086 149 159 034 014 002 049 024 011 091 164 020 114 033 088 115 119 145 172 098 168 158 111 068 026 006 122 096 101 018 147 039 010 127 152 142 137 074 158 103 065 114 032 127 105 043 020 092 088 012 069 056 048 076 054 027 072 022 090 025 138 154 107 145 128 168 173 063 047 097 009 037 104 035 015 122 118 109 117 091 121 162 029 149 002 155 041 013 140 080 120 078 101 143 161 169 170 011 131 119 038 028 030 052 044 176 001 163 112 175 164 006 087 003 139 008 108 095 130 034 115 070 018 111 124 151 098 058 050 086 147 174 085 064 053 005 026 007 093 039 106 066 082 089 156 004 068 148 081 042 178 134 017 040 126 096 123 023 060 049 094 150 024 136 102 010 000 019 021 160 061 045 016 077 146 055 075 113 172 084 033 031 071 166 036 167 177 083 067 159 157 110 144 125 059 129 100 133 073 141 165 132 135 057 179 116 051 099 153 062 171 079 014 046 154 046 159 146 173 027 105 111 093 147 170 100 054 033 012 109 097 082 069 048 022 034 087 098 160 078 157 019 145 161 040 134 067 037 074 126 060 144 059 177 011 163 106 002 053 039 092 118 015 172 165 025 030 119 141 058 071 043 136 070 029 042 096 167 021 079 121 001 169 061 125 009 005 056 080 017 088 156 128 104 133 044 152 153 085 176 028 117 094 065 007 032 162 024 073 063 055 102 036 116 127 107 114 123 164 120 035 077 047 108 138 013 014 139 158 155 066 168 062 110 131 112 132 124 113 006 130 175 137 003 178 090 122 140 076 041 089 129 010 045 143 179 084 142 026 008 023 016 083 018 038 149 166 099 086 050 115 052 004 150 095 000 101 135 072 174 057 171 020 081 068 051 103 151 031 049 148 075 064 091 117 160 074 155 174 093 026 105 040 064 092 069 102 090 096 087 071 006 129 128 055 063 016 140 003 029 009 151 154 049 173 136 077 161 038 056 081 031 032 058 030 035 080 106 165 072 131 171 167 008 083 124 120 010 168 127 054 122 099 112 116 043 115 027 095 076 033 110 084 001 158 068 012 172 020 086 097 062 164 021 111 066 133 015 162 103 042 051 078 024 094 170 048 147 089 141 177 022 060 028 017 070 166 109 134 157 057 159 130 156 067 149 150 132 005 153 014 176 135 088 142 011 138 025 073 037 143 085 119 050 045 137 098 123 179 019 044 013 121 108 023 148 046 146 101 125 175 000 065 047 139 053 091 039 007 114 075 126 059 036 002 041 145 034 107 100 104 169 082 061 018 113 144 163 118 079 052 004 152 178 125 127 170 069 110 107 103 091 059 158 019 113 151 072 095 068 073 061 050 063 040 150 044 083 079 060 096 054 009 048 077 081 104 088 008 023 172 024 011 164 031 067 033 084 028 173 133 057 155 140 003 132 020 134 161 175 026 039 131 168 120 136 092 030 165 166 013 043 056 094 036 010 109 007 139 042 117 128 176 035 080 171 098 014 144 025 162 141 086 108 179 065 038 021 049 169 167 058 018 112 142 135 177 090 002 148 005 124 016 074 159 121 078 062 147 037 085 100 105 076 174 041 116 034 154 145 126 089 099 130 000 047 153 152 070 115 053 178 111 046 102 118 015 138 075 055 119 163 017 106 012 122 032 137 093 129 160 087 045 146 097 001 052 114 143 156 064 006 066 149 022 101 082 123 157 051 071 029 027 004 058 164 147 105 060 092 063 122 001 009 082 012 086 031 017 034 161 150 088 064 069 145 096 051 093 127 176 089 126 125 130 160 071 107 143 141 142 139 099 025 048 078 174 037 044 046 019 117 073 101 079 011 171 067 023 100 121 166 155 119 111 098 154 016 006 038 027 085 070 039 108 091 124 008 135 106 109 061 149 103 087 170 114 157 118 057 102 116 075 077 035 002 052 129 146 179 015 132 021 053 072 004 090 163 010 022 173 045 169 152 084 104 144 042 148 165 151 115 153 083 113 140 081 120 159 094 137 032 095 074 036 068 028 133 110 055 041 168 007 018 029 050 059 003 156 158 162 026 033 049 047 138 043 097 065 054 131 172 056 024 167 112 128 040 080 005 013 177 136 076 178 062 123 030 175 066 000 020 134 014 145 042 112 093 063 105 098 012 030 104 175 136 037 052 035 038 139 178 080 115 051 028 011 160 133 103 116 113 025 014 155 061 099 033 165 134 049 007 054 078 023 144 141 076 000 124 022 140 036 135 005 077 021 117 106 158 146 149 156 123 001 008 131 045 127 027 050 138 034 157 153 041 172 111 150 109 009 151 083 097 048 088 059 062 121 171 143 020 102 086 130 100 177 019 120 053 071 137 058 159 043 179 148 072 003 170 079 018 010 119 101 095 096 176 068 002 129 169 107 082 013 006 126 060 046 110 004 047 065 075 094 164 066 122 032 016 092 044 168 166 024 142 057 031 081 085 147 015 128 163 074 067 108 073 084 154 118 017 091 114 026 173 125 039 174 161 167 055 090 152 056 132 070 029 087 040 069 064 089 162 140 131 149 160 094 044 109 138 132 168 043 089 048 105 029 137 099 076 101 164 021 059 139 173 177 010 058 086 146 170 125 060 174 084 156 064 045 079 031 011 061 013 037 020 035 161 024 102 129 005 119 007 087 165 042 162 062 040 123 025 016 100 127 121 106 092 142 093 053 012 155 134 083 063 015 107 075 097 152 158 049 070 172 159 108 175 055 080 145 118 018 144 019 026 017 033 113 151 074 004 128 077 057 041 126 114 008 147 034 148 120 014 141 001 110 052 067 081 122 154 090 065 143 150 030 066 028 163 078 071 096 135 112 032 068 036 050 095 000 054 136 073 153 157 022 039 166 169 116 178 056 006 072 088 023 027 009 047 051 003 115 133 103 167 130 082 179 124 171 002 038 069 085 098 104 176 117 046 091 111 175 063 157 162 059 026 019 001 173 038 085 023 092 169 052 081 028 073 141 035 147 104 168 086 114 125 107 134 039 100 137 096 054 115 151 154 143 122 061 015 177 025 102 033 046 179 008 121 139 042 053 055 136 066 105 041 093 068 130 158 043 097 142 098 138 072 095 149 060 065 165 062 037 148 126 144 047 004 111 036 051 009 069 016 150 045 099 118 159 013 074 077 058 078 117 091 156 119 112 012 176 089 153 064 007 113 021 123 018 017 094 057 101 170 140 088 108 166 155 029 003 133 090 084 128 120 056 106 164 040 014 109 146 075 006 044 024 010 020 079 050 011 161 082 002 171 103 034 027 160 087 083 131 172 127 030 135 070 031 132 163 049 005 067 129 178 124 174 152 116 145 110 032 071 022 167 080 000 048 076 094 144 059 125 102 089 001 000 061 008 157 111 142 005 082 092 153 050 130 165 037 109 047 036 028 046 123 172 016 173 093 086 135 143 068 101 163 052 023 043 178 049 121 164 013 003 177 051 080 020 066 115 065 081 007 159 099 033 039 073 071 017 104 056 141 103 126 004 010 156 112 097 175 055 064 162 167 096 067 116 122 120 138 053 012 114 060 140 041 179 027 124 018 022 139 024 026 006 160 011 146 113 091 136 105 095 151 108 076 035 128 021 134 030 171 169 040 132 170 161 015 062 075 069 063 078 058 148 107 118 158 019 150 057 079 166 174 098 106 014 031 100 077 145 085 088 127 084 117 154 044 090 129 029 048 083 168 074 110 025 155 002 032 152 147 137 034 131 054 009 176 038 133 072 070 042 045 119 149 087 168 177 069 170 138 117 112 053 105 006 008 149 014 160 100 021 050 075 104 151 015 052 118 003 017 023 109 078 064 007 042 129 058 135 055 012 071 013 072 179 134 000 059 113 074 020 027 125 070 054 011 001 133 057 083 038 033 082 116 018 098 121 068 024 110 061 094 065 143 030 127 122 045 002 157 108 092 169 144 090 067 119 154 091 171 029 031 114 147 103 131 164 150 139 028 124 145 167 130 076 084 159 126 077 099 141 095 137 044 178 089 043 056 087 123 022 081 162 097 132 037 175 034 005 106 009 040 004 079 096 146 025 073 174 140 101 153 128 051 080 115 049 166 048 039 060 152 085 010 026 165 035 148 161 158 136 142 062 016 173 063 111 155 172 041 047 036 102 107 163 066 086 088 156 046 019 032 093 120 176 170 141 148 120 026 119 114 086 072 105 069 051 052 035 045 145 108 162 079 082 169 056 161 138 030 022 031 007 028 164 039 029 139 032 078 016 017 167 153 175 159 089 113 034 024 154 025 061 140 011 092 080 001 173 118 096 123 065 166 050 088 174 057 036 158 091 049 124 171 062 179 075 041 160 172 111 021 136 094 132 151 143 106 000 147 116 008 095 126 018 004 155 117 085 059 165 125 063 047 058 098 013 134 084 064 038 097 019 087 168 150 012 044 071 144 107 100 130 112 122 043 074 014 104 101 135 020 060 033 015 128 077 006 066 002 110 070 023 048 163 055 099 157 178 027 068 149 053 156 129 102 127 176 142 177 046 152 137 040 083 005 009 081 010 067 109 121 076 003 115 054 093 090 042 131 133 037 146 103 073 179 128 065 141 157 114 093 017 151 109 003 171 047 006 031 096 081 163 137 088 117 155 024 102 161 105 074 116 083 068 075 053 138 087 140 148 091 082 048 165 173 071 144 001 034 033 010 067 156 130 008 042 046 100 064 099 005 072 119 107 106 110 036 086 154 026 143 168 080 152 121 049 054 118 149 025 127 013 029 014 136 178 176 129 126 108 000 052 139 174 098 012 166 132 135 084 175 159 167 089 124 120 097 146 050 069 038 032 103 145 004 131 170 169 150 009 057 021 147 158 039 007 055 011 177 101 015 019 044 162 090 061 051 023 115 043 063 016 040 113 077 164 104 066 062 092 094 022 002 123 111 079 018 070 142 020 073 041 076 045 058 085 027 060 059 095 125 160 134 037 035 172 112 028 122 030 056 153 133 078 148 126 128 042 171 175 122 108 113 023 017 013 053 165 004 082 095 112 059 060 140 173 025 105 152 007 099 142 150 085 026 090 170 019 100 024 069 089 045 143 029 137 127 022 178 097 000 035 153 161 156 028 083 149 123 132 102 096 134 009 080 147 110 144 061 114 151 012 018 031 078 172 138 014 048 005 076 125 133 106 062 177 157 086 109 041 104 074 058 073 001 075 027 111 129 049 174 154 002 179 063 094 040 155 084 115 066 119 070 092 039 158 124 064 101 091 037 120 032 116 176 130 117 006 131 067 033 036 087 077 038 160 121 047 055 169 015 139 056 034 141 046 168 159 103 098 011 081 054 136 079 093 057 050 163 145 030 167 088 068 166 020 010 071 135 146 043 164 044 118 021 162 107 003 052 072 016 051 065 008 151 094 061 152 093 135 113 097 021 131 014 168 179 083 016 076 070 069 066 141 078 142 089 082 088 166 081 026 102 004 002 084 144 074 011 042 099 023 030 057 090 128 138 062 130 050 009 169 158 108 073 038 124 125 043 149 126 051 098 037 139 133 029 053 129 178 010 063 020 116 003 107 119 075 111 153 101 155 022 019 039 146 049 071 163 005 007 058 122 147 077 137 105 060 173 177 091 170 100 036 136 092 154 148 159 145 072 079 059 086 047 044 000 120 132 035 054 046 162 033 068 045 015 028 118 001 025 109 048 156 140 167 157 160 013 114 034 110 095 121 117 172 085 104 080 056 115 017 087 006 103 065 052 112 134 106 175 064 008 041 096 031 055 032 024 150 018 143 164 171 040 161 012 176 027 174 127 067 165 123 134 157 058 147 027 015 116 092 047 178 010 126 140 007 078 066 075 038 063 101 031 136 120 069 122 079 034 033 062 030 139 054 169 175 129 119 041 173 128 045 005 133 042 013 026 037 046 022 142 076 138 163 068 019 152 112 028 151 060 072 087 171 162 102 035 096 104 097 012 121 077 059 088 040 018 090 085 071 091 048 065 032 148 025 089 146 098 061 127 057 082 158 141 020 070 029 084 086 149 170 016 050 174 006 001 143 081 113 166 095 135 064 155 003 159 167 004 164 110 103 109 177 144 111 094 023 014 124 176 131 073 179 100 117 130 156 000 021 067 132 106 074 056 083 115 161 118 093 154 165 039 114 172 002 049 051 099 055 125 008 153 036 053 107 011 080 044 123 108 043 052 168 150 145 017 009 137 024 160 105 172 174 162 169 134 063 044 153 056 111 112 105 101 016 104 086 088 137 070 059 177 031 145 123 139 067 144 119 045 008 052 095 057 054 058 132 176 129 107 014 035 091 156 026 076 131 108 028 078 000 015 168 019 147 170 130 002 127 125 092 066 109 082 080 001 020 146 128 051 021 055 118 061 023 081 143 072 115 120 166 074 135 160 173 018 073 175 068 047 155 040 140 148 116 077 133 041 113 022 102 005 069 110 100 103 117 060 037 036 158 085 079 049 114 025 096 159 009 094 126 164 161 167 043 093 150 017 046 011 042 154 171 151 165 007 098 087 099 064 124 121 006 010 027 178 013 003 012 053 075 004 039 122 065 097 024 083 163 050 071 142 152 038 084 089 033 030 048 029 157 034 032 106 138 062 136 141 149 179 090 137 172 134 157 147 168 056 176 120 118 161 121 171 099 033 122 096 088 076 079 125 018 046 039 150 020 049 041 019 098 058 034 053 174 060 124 021 035 077 080 107 063 078 061 003 024 112 149 065 028 178 022 160 069 072 084 128 075 083 089 142 132 004 037 048 082 025 164 008 015 002 145 114 159 026 092 005 173 052 027 023 081 123 042 138 064 148 129 071 153 119 156 010 070 104 146 106 117 094 016 054 154 151 009 000 127 111 130 105 040 155 055 177 043 131 047 141 143 051 057 045 144 175 031 102 109 166 073 062 012 103 059 068 170 066 167 014 140 086 007 139 108 091 074 169 032 133 090 044 050 029 101 115 038 136 110 116 097 017 067 013 163 087 100 006 162 135 179 126 095 036 165 158 011 085 152 030 113 093 001 162 069 126 026 148 120 150 090 119 136 036 035 016 171 075 104 141 164 084 081 129 005 094 149 154 108 132 064 100 138 133 024 045 139 053 167 056 095 117 027 115 006 137 105 001 134 013 003 096 176 057 066 086 015 102 146 179 000 071 061 077 018 031 169 032 128 178 030 163 082 029 143 121 165 047 097 093 020 068 151 130 034 028 147 072 022 135 113 043 168 023 063 042 033 007 103 062 106 152 019 050 008 111 076 166 124 157 160 127 175 080 046 158 049 099 004 112 092 087 017 014 156 025 140 174 114 161 131 110 059 058 074 101 142 173 012 065 088 155 085 172 109 123 177 078 170 002 039 122 037 067 011 145 091 021 125 079 054 060 055 159 083 116 041 048 107 038 010 089 044 051 098 040 144 073 070 009 118 153 052 056 154 169 121 008 132 102 059 090 024 025 034 155 153 122 143 115 106 136 123 148 120 022 070 047 065 177 051 032 109 091 178 167 007 174 113 012 179 087 033 171 134 084 050 107 036 045 145 172 170 176 049 111 127 080 014 104 125 100 004 158 162 001 002 097 133 018 160 175 093 039 095 140 020 083 029 082 015 141 017 030 054 019 099 152 094 037 081 061 042 071 053 089 079 048 077 074 101 028 164 011 151 044 118 078 055 069 075 124 088 105 137 041 005 072 046 156 026 139 066 117 163 161 038 144 052 064 009 096 043 067 138 027 076 149 040 062 035 142 103 130 166 119 000 063 073 010 021 165 110 098 060 023 135 126 003 058 173 116 147 112 131 031 057 108 092 068 086 150 129 006 146 114 013 128 157 085 016 159 168 158 173 124 128 165 152 003 101 029 017 133 119 075 146 132 031 076 171 062 049 036 001 116 174 118 042 169 120 086 074 009 125 102 160 048 179 005 092 002 046 041 069 055 135 083 065 053 106 126 022 089 156 095 164 011 104 148 045 079 153 057 123 039 050 078 099 028 142 032 162 105 144 021 131 168 064 170 098 015 023 018 129 110 175 112 150 167 107 091 052 014 056 155 087 145 143 176 030 103 096 024 027 008 038 127 178 100 070 159 139 033 140 058 040 060 094 147 097 137 130 010 088 043 141 121 013 077 117 051 020 161 154 004 172 134 072 068 151 085 006 054 113 012 034 163 108 136 111 035 090 071 073 044 007 026 061 082 114 063 000 047 080 109 157 166 138 177 016 093 122 149 067 115 019 025 084 059 037 081 066 166 176 178 158 150 140 030 010 153 160 117 162 093 096 130 050 106 085 095 070 017 022 012 132 137 027 023 080 157 092 118 051 033 123 104 066 044 034 068 163 154 101 179 036 142 151 105 043 094 009 026 121 155 115 098 065 029 004 040 008 035 055 159 168 045 062 149 177 028 113 122 060 076 042 006 124 011 126 097 002 081 173 111 079 125 061 103 108 001 005 084 015 053 046 016 119 172 049 161 072 139 039 031 170 091 064 067 048 019 025 165 107 021 144 109 038 134 135 073 164 127 110 082 087 167 141 131 018 120 052 114 037 088 014 112 145 090 147 129 138 000 013 007 057 058 078 041 152 143 171 086 089 069 136 071 047 148 003 074 059 024 077 020 128 054 083 174 156 133 099 146 056 100 075 063 102 116 175 032 169 083 082 129 068 053 011 104 099 102 039 134 052 109 088 081 073 124 115 143 169 175 085 176 120 103 074 140 044 055 054 087 045 153 024 079 086 070 038 043 003 009 014 139 016 031 163 064 021 151 116 012 101 006 105 050 090 001 077 002 155 007 020 165 158 093 080 160 040 106 159 084 133 171 167 152 048 034 179 035 150 146 118 119 063 015 036 117 078 062 089 126 141 157 131 075 166 022 172 135 065 033 147 004 096 023 019 030 049 107 047 145 000 154 138 137 066 111 177 005 092 110 125 170 097 018 112 057 072 149 008 098 017 148 173 051 067 046 025 136 168 069 071 121 037 174 059 132 029 162 091 026 156 123 114 100 094 108 060 161 027 127 113 041 056 095 042 076 142 061 144 028 164 128 178 130 058 013 010 122 032 054 077 015 008 003 001 121 139 101 051 124 007 066 004 072 095 162 168 147 085 059 178 038 087 016 116 046 156 073 058 141 155 114 048 018 083 089 042 151 013 065 097 125 052 154 055 138 025 075 093 099 000 127 179 107 148 010 086 030 012 122 036 158 078 118 090 159 006 160 142 115 082 094 027 175 103 150 002 043 177 060 071 135 170 023 117 026 167 163 173 039 014 144 064 133 129 157 017 031 165 120 067 049 062 019 128 076 005 061 053 152 063 022 106 143 068 132 033 145 044 081 134 137 113 045 104 149 034 123 171 164 105 079 037 161 136 100 024 035 112 169 119 047 092 020 131 032 011 041 146 021 096 153 166 009 102 110 130 069 176 108 126 029 174 074 088 091 080 098 028 050 070 056 109 084 111 057 140 172 040 161 129 053 113 044 017 010 055 179 162 035 099 004 177 043 106 128 078 156 074 064 040 008 153 123 036 137 101 034 072 132 105 007 148 029 092 032 073 022 047 143 003 164 108 176 031 021 114 066 058 117 076 166 037 158 116 077 012 048 100 018 009 098 124 145 060 020 111 082 133 130 151 173 146 027 079 160 011 139 165 041 024 030 126 170 104 067 015 154 085 033 090 135 084 175 152 095 002 016 168 140 087 056 065 061 122 023 131 096 081 001 115 025 088 028 150 080 083 102 149 138 118 089 000 038 086 070 039 006 172 167 134 159 052 059 071 147 057 144 013 063 110 142 054 127 109 171 174 136 097 050 075 005 163 046 107 120 093 042 178 141 155 091 121 014 068 019 051 125 103 062 112 045 049 026 119 169 069 157 094 031 040 047 027 123 038 012 006 005 028 023 156 081 029 109 149 169 142 164 171 120 035 000 065 041 160 122 111 127 157 165 133 097 072 024 152 079 002 064 167 077 039 170 056 105 001 066 078 003 121 036 131 082 138 075 057 030 093 112 113 008 010 080 044 166 153 063 094 178 018 022 168 015 139 176 032 108 009 162 013 100 115 146 151 074 177 073 172 004 067 091 118 132 025 085 007 137 053 054 049 083 043 011 060 021 136 148 140 062 014 143 135 102 061 042 099 045 076 144 147 129 117 179 161 119 020 051 058 034 092 087 103 114 107 050 125 071 101 174 090 150 128 124 084 070 130 069 126 134 017 104 046 096 116 037 175 158 016 086 145 068 110 159 052 033 155 141 059 106 088 154 055 098 095 019 089 163 048 173 026 169 053 108 114 111 009 017 028 023 122 159 029 143 050 113 140 116 071 149 130 158 131 171 135 078 110 020 098 167 089 144 040 031 008 025 088 059 041 119 101 013 154 001 178 019 049 048 012 026 002 105 018 115 011 065 033 074 138 118 102 094 038 093 042 136 137 016 051 166 107 070 150 153 082 069 004 079 003 006 109 036 179 170 057 005 063 077 104 124 095 142 066 175 056 141 090 061 100 164 022 165 177 052 152 087 032 039 092 084 097 046 085 156 091 080 139 160 034 176 072 132 099 067 054 010 155 147 128 117 083 134 014 168 145 162 174 027 076 024 146 015 106 163 030 125 075 000 047 133 157 035 120 055 081 068 151 172 037 064 007 148 062 123 045 021 129 173 060 073 161 127 126 086 121 043 112 103 044 058 096 057 049 041 001 015 056 058 002 025 082 093 115 156 117 136 062 155 135 165 146 010 138 150 142 162 124 014 163 160 066 149 170 068 089 118 168 047 072 167 153 050 040 003 067 174 141 080 055 173 086 171 019 094 172 127 043 147 120 051 076 017 045 169 159 016 121 026 131 085 054 083 100 113 039 012 084 103 075 132 031 166 006 104 088 139 018 005 164 081 079 176 161 008 143 020 154 053 059 106 114 095 125 144 112 178 063 137 128 177 077 065 036 073 011 027 090 157 145 123 070 061 119 033 035 110 097 122 133 129 087 108 021 071 064 152 109 175 078 107 024 148 030 096 013 042 034 140 179 092 032 009 038 046 004 111 028 098 151 126 037 134 044 000 116 052 105 060 099 158 101 074 023 007 069 048 130 091 102 029 022 047 052 008 038 011 094 048 019 006 114 102 020 089 078 121 157 159 174 152 162 106 144 086 118 015 066 112 155 084 153 122 069 059 110 097 172 147 099 175 016 169 046 031 165 045 087 042 004 064 055 077 067 148 142 091 163 150 026 034 021 166 092 171 051 132 123 007 013 043 117 009 063 072 081 167 093 000 164 080 145 001 050 022 037 028 131 088 076 083 133 158 010 116 120 103 062 056 146 025 057 036 119 017 040 129 125 138 027 100 173 178 168 024 014 154 160 143 035 130 068 073 101 115 151 124 054 075 107 141 104 139 170 135 018 023 061 179 113 127 029 002 058 136 109 176 030 156 033 039 096 041 032 082 108 137 044 003 161 111 095 070 065 074 126 098 149 134 071 085 140 128 105 053 012 177 005 079 090 049 060 115 148 079 036 112 003 090 135 098 143 004 176 107 104 161 113 130 064 171 121 131 163 156 089 049 048 087 082 111 037 001 055 175 021 139 073 155 159 060 145 126 015 132 101 160 066 043 168 068 075 044 102 038 035 095 144 149 052 122 097 128 057 017 034 124 179 133 086 103 058 109 032 077 151 040 164 061 172 106 119 173 157 117 008 091 006 047 018 028 170 022 105 092 013 094 050 134 039 120 007 108 071 059 158 096 169 009 177 118 142 136 152 033 054 141 023 146 063 030 019 167 178 002 147 081 016 127 116 088 029 074 114 070 010 174 085 110 012 080 020 162 056 125 011 005 166 093 153 026 024 129 078 000 076 062 053 165 067 014 137 045 123 065 138 083 140 084 027 072 025 099 031 046 041 154 150 100 042 051 069 106 066 057 011 049 005 002 102 148 100 113 078 110 012 010 130 136 062 064 177 162 081 159 169 046 146 158 065 087 179 089 127 152 047 026 013 138 145 116 056 157 027 114 024 098 071 124 059 125 142 150 173 096 014 008 006 109 104 018 036 058 050 174 108 063 132 021 126 022 004 128 120 033 070 166 020 080 016 084 038 123 137 082 075 035 043 072 039 052 031 054 069 151 037 076 074 034 085 107 086 001 083 061 028 161 029 149 009 144 030 045 003 178 141 153 121 164 073 041 171 103 023 019 092 176 105 111 122 068 007 147 175 040 115 099 133 094 131 053 165 129 091 048 077 160 163 025 044 090 156 095 117 060 042 088 134 000 015 101 051 118 119 168 140 032 170 055 079 017 135 093 154 067 097 155 143 112 167 139 172 063 092 050 030 024 012 006 157 121 096 101 117 034 075 111 169 122 158 016 153 150 090 127 115 098 128 152 164 129 040 106 173 089 060 045 082 029 057 038 054 042 140 133 070 108 109 059 100 018 088 087 031 061 028 120 019 047 007 021 033 037 124 076 017 081 175 005 025 067 069 001 104 143 072 107 094 036 065 003 147 055 056 080 171 032 091 118 026 044 064 010 071 119 052 023 085 151 177 078 009 058 160 051 099 013 068 000 062 086 020 116 172 077 022 135 170 002 159 141 123 154 131 149 163 126 168 105 049 138 174 137 146 084 053 167 093 073 179 066 144 095 132 079 008 041 134 114 161 145 043 176 148 110 074 004 014 046 048 039 015 125 178 113 027 102 103 139 035 166 112 083 155 162 165 142 097 136 130 156 011 055 032 172 044 163 043 022 021 143 164 048 038 176 071 177 085 135 052 166 136 100 096 035 011 170 094 145 077 141 036 123 001 072 124 016 045 080 131 075 111 146 083 097 159 104 063 162 108 171 007 082 006 078 122 081 031 008 076 179 115 026 137 019 070 050 033 041 153 109 027 107 047 046 114 051 034 084 090 057 130 028 061 151 127 086 058 161 148 069 144 012 064 139 173 149 002 102 020 165 118 039 029 099 110 068 010 158 004 140 098 106 060 009 000 088 157 095 013 093 042 017 126 155 024 014 003 005 152 116 073 056 150 132 065 113 178 018 142 101 154 037 174 117 120 025 103 066 119 125 074 053 175 138 054 121 087 167 079 023 089 133 091 112 169 134 015 062 105 160 147 168 128 059 040 030 156 049 129 067 092 082 137 060 133 156 104 129 009 128 003 058 090 144 095 099 078 174 070 159 126 077 112 154 146 080 170 147 108 069 171 014 017 041 001 148 034 168 101 081 010 117 109 053 175 136 111 040 177 033 071 046 149 142 120 039 073 013 114 139 074 023 130 024 021 089 066 167 016 096 158 123 064 118 087 038 018 012 083 160 059 162 093 025 044 131 072 075 002 085 004 100 006 036 145 116 157 105 121 011 178 173 031 103 098 020 008 155 135 049 063 007 015 122 086 032 143 000 029 079 065 027 097 051 062 084 119 125 166 152 115 107 153 035 102 165 113 076 030 163 134 140 127 037 028 138 172 055 094 057 054 110 132 124 056 043 169 019 092 106 048 150 022 061 151 176 164 067 047 005 050 091 068 141 052 161 045 026 179 042 088 102 059 144 045 072 013 009 147 007 112 096 077 071 111 034 126 173 157 178 050 143 179 060 020 149 145 040 130 152 023 163 018 001 043 051 046 117 087 146 131 104 056 099 148 128 137 004 027 103 026 100 002 062 161 135 129 075 011 017 156 153 081 028 110 054 138 032 037 019 041 160 036 151 122 058 170 115 154 134 172 092 076 088 105 127 015 083 010 142 119 048 165 057 047 022 061 014 005 109 003 000 106 029 035 171 016 082 098 024 123 073 084 136 101 166 141 139 039 120 125 175 093 064 089 031 079 155 055 094 063 042 108 008 033 052 053 168 116 065 133 176 080 159 090 150 095 049 086 114 140 132 162 167 030 012 085 091 107 097 177 174 021 044 066 121 074 118 069 169 164 025 158 124 070 113 038 067 078 068 006 059 060 072 079 169 098 000 087 057 095 047 014 129 028 139 156 143 130 154 067 076 141 163 147 043 123 013 068 104 119 166 031 080 142 015 151 125 054 113 020 101 115 058 111 084 121 002 172 120 126 127 146 012 074 066 122 045 034 024 048 176 089 161 148 103 056 040 017 164 025 032 158 106 112 008 051 022 092 044 085 174 026 165 046 019 003 069 144 140 082 064 134 007 027 096 083 149 016 133 132 107 006 038 037 033 081 105 178 039 001 167 116 036 108 018 070 077 061 086 041 135 138 100 030 090 053 073 159 097 153 110 075 091 177 004 035 162 117 023 137 109 155 071 171 094 179 131 088 062 010 175 150 099 093 055 011 063 118 052 170 065 042 114 078 009 160 136 021 157 102 049 152 145 124 029 050 168 173 128 005 065 165 156 022 001 010 171 007 039 148 173 153 161 172 103 160 062 049 177 174 058 042 157 104 038 061 027 137 057 121 176 145 108 026 036 159 002 085 097 099 053 037 052 083 032 162 113 107 101 031 018 060 016 059 089 050 125 146 003 079 086 068 054 117 135 167 024 102 017 144 021 098 111 178 082 066 119 051 020 133 006 096 091 023 048 134 105 009 072 129 005 132 075 100 067 044 035 014 139 130 126 074 034 151 071 112 109 013 158 116 140 163 084 124 033 011 136 000 070 170 025 012 164 076 169 118 128 110 142 019 029 093 063 106 092 073 040 120 046 127 078 114 147 149 015 043 143 175 030 080 055 179 154 064 041 090 122 131 081 004 028 150 047 087 141 168 088 152 115 077 069 123 095 008 166 056 094 138 155 045 042 055 154 104 064 165 172 119 112 120 052 048 105 034 087 093 149 169 148 096 109 047 070 079 155 043 091 176 137 132 101 019 032 012 115 156 051 138 006 095 075 157 050 038 039 083 036 014 102 171 071 130 173 088 015 085 160 059 076 063 009 139 033 065 041 162 044 069 177 073 068 024 030 016 128 008 004 000 127 108 129 110 168 113 092 040 023 082 098 143 123 111 066 099 025 131 136 061 001 026 007 035 178 046 074 002 153 117 106 060 107 167 161 166 151 057 089 140 164 086 118 124 029 158 145 133 062 077 146 097 142 144 170 141 084 080 010 114 116 179 125 027 100 072 159 021 031 028 045 121 094 005 078 175 054 017 126 022 090 013 049 147 150 018 152 003 163 058 103 067 174 020 135 056 134 037 053 122 011 081 136 115 093 051 012 019 029 023 124 149 145 157 024 110 142 037 084 175 127 167 052 067 147 013 040 144 065 047 031 101 131 049 038 117 138 096 126 140 055 122 070 143 094 154 137 133 123 097 148 119 004 079 139 001 164 060 118 057 095 043 042 035 016 058 102 011 174 018 050 017 141 054 085 062 010 006 176 106 000 169 108 090 179 098 009 007 053 041 170 033 061 048 128 032 081 087 161 073 063 005 064 066 015 034 160 132 059 146 068 135 030 114 163 155 120 112 056 113 158 046 071 083 086 020 152 088 159 069 171 099 177 178 156 150 153 173 072 111 103 026 074 165 129 080 082 022 075 121 036 014 028 172 151 109 166 162 100 168 044 091 089 116 134 002 025 130 077 092 021 003 125 008 039 078 105 104 076 045 107 027 069 072 051 041 145 000 014 150 052 125 169 085 178 062 144 084 123 132 157 068 176 129 030 040 025 126 143 037 081 044 047 114 111 112 142 155 087 028 004 108 172 066 177 171 166 102 058 175 035 162 140 046 043 135 070 045 091 038 153 136 054 065 133 018 007 075 077 082 079 164 154 013 022 074 031 134 113 130 055 149 152 105 036 067 179 053 160 146 010 083 097 096 034 050 137 015 163 024 116 121 076 095 071 115 106 057 029 165 122 101 100 086 002 089 012 021 039 148 049 151 159 073 056 131 009 173 090 078 001 124 088 119 117 059 080 141 093 060 167 032 017 003 063 026 128 048 168 061 020 094 027 016 156 107 103 006 174 098 005 064 042 008 092 158 110 019 127 033 170 011 023 099 138 120 109 161 118 139 104 147 091 057 086 017 013 002 024 127 122 129 107 075 174 076 158 154 132 074 172 144 119 148 077 061 039 169 004 022 175 019 160 140 006 058 101 157 037 126 062 021 033 072 030 014 168 008 001 065 020 099 109 178 143 016 090 150 067 124 027 042 137 007 015 049 071 151 171 089 047 145 012 051 179 176 009 110 035 116 166 084 177 125 100 080 034 011 094 044 138 131 106 139 170 133 087 079 028 093 121 066 041 046 036 078 141 085 156 029 031 052 082 118 149 159 163 135 104 153 136 010 098 055 063 165 130 083 053 123 167 108 120 142 113 068 114 162 005 161 070 117 097 026 069 081 023 155 164 064 152 105 115 018 102 128 045 032 050 103 147 092 048 025 088 173 000 059 073 146 040 056 112 134 060 043 054 003 096 095 111 038 061 105 091 013 103 118 108 156 028 139 154 125 149 133 076 123 158 165 046 176 166 068 109 171 009 058 155 093 130 026 148 037 003 137 114 025 018 006 106 150 096 012 162 090 021 169 063 081 152 157 050 084 122 008 126 177 053 159 178 052 078 143 087 019 121 094 074 113 073 140 089 011 129 010 014 047 032 059 070 128 005 043 085 031 080 110 168 057 161 041 002 040 153 049 082 100 044 038 138 045 071 072 132 027 124 172 112 115 051 160 015 062 146 164 134 098 007 077 065 144 024 029 035 067 120 042 000 170 023 142 048 064 092 030 107 056 069 004 131 055 016 116 141 099 102 104 017 054 175 036 066 095 083 119 034 135 151 111 174 022 117 167 097 101 179 079 147 173 001 145 088 039 163 033 060 075 020 136 127 086 050 041 055 063 038 066 073 029 018 011 090 102 118 081 062 128 138 149 083 080 046 023 158 005 140 142 172 096 113 130 150 028 146 168 077 020 134 008 015 159 043 156 014 000 048 040 153 007 057 106 162 026 039 002 027 061 127 047 115 024 099 034 086 179 088 108 084 137 105 049 074 017 103 141 001 071 045 095 072 144 031 163 078 100 004 154 107 135 009 169 036 178 021 035 132 104 079 091 013 033 003 065 160 010 131 058 167 174 129 171 037 025 119 098 175 060 121 094 165 139 053 092 152 164 019 176 145 177 093 112 151 069 022 087 101 155 109 148 068 114 147 143 030 059 006 111 070 116 016 076 042 170 085 123 117 124 012 056 173 161 032 052 166 051 064 157 082 125 110 054 133 122 136 126 075 120 089 097 044 067 048 027 001 053 079 030 128 040 035 071 148 101 157 151 086 153 146 176 067 134 108 066 129 004 024 081 082 125 072 080 162 036 163 095 152 006 140 111 124 075 018 057 096 127 077 092 130 165 034 051 179 099 044 145 174 047 114 121 032 109 144 005 052 147 059 097 131 107 031 120 137 000 029 117 039 007 177 037 060 170 008 136 045 065 026 038 126 084 160 090 112 074 009 043 011 022 173 143 110 115 069 016 014 055 049 076 161 015 017 087 025 094 175 156 078 104 133 142 033 093 058 123 159 139 116 010 150 062 105 070 061 073 020 056 168 106 028 089 041 172 019 064 002 091 100 169 122 023 085 088 013 155 098 113 178 167 138 050 021 012 046 003 154 141 149 171 054 083 063 119 042 118 102 164 068 132 135 158 166 103 051 090 066 052 010 029 005 022 092 150 099 154 172 086 140 146 064 152 138 139 065 177 121 166 048 001 126 148 131 020 116 008 009 081 017 032 170 068 114 105 024 136 143 085 082 028 176 039 108 128 060 142 107 118 111 037 171 002 036 137 004 044 163 014 019 041 101 046 095 078 062 012 080 109 059 054 049 007 156 089 147 013 149 093 003 133 006 055 011 069 144 016 076 106 091 175 153 070 123 047 141 164 018 026 045 179 122 173 083 113 038 074 094 023 168 159 042 151 157 135 072 021 169 167 061 084 030 112 015 119 053 102 096 134 100 165 058 073 088 067 155 075 050 097 071 110 098 145 127 040 031 160 087 162 124 130 132 174 027 077 129 120 104 125 034 115 056 103 025 158 161 079 043 000 035 178 033 057 117 063 074 091 101 031 115 024 145 164 139 161 149 135 076 067 126 097 038 105 086 020 063 055 071 179 084 044 148 023 051 112 062 171 103 042 094 090 150 151 041 107 113 138 002 093 025 157 052 092 170 065 085 118 174 110 032 082 088 119 147 177 104 001 012 129 040 130 011 061 039 056 028 043 049 000 099 033 081 068 059 095 077 114 057 156 008 075 035 134 155 048 143 027 131 109 172 016 117 144 014 021 004 133 127 106 140 160 022 163 009 007 069 037 079 152 015 013 030 053 019 146 083 136 111 137 165 080 003 054 072 017 018 176 125 070 120 045 006 029 128 102 058 034 122 169 098 142 158 173 108 073 153 154 047 159 141 089 121 124 010 096 087 050 167 026 100 123 175 046 178 064 166 005 116 168 078 060 132 066 162 036 079 083 136 005 000 006 028 047 165 155 038 030 068 140 164 120 113 081 094 091 152 134 033 163 131 045 077 075 144 148 064 146 151 050 007 015 078 162 101 166 076 174 135 122 114 103 106 046 039 154 065 145 090 042 013 021 070 133 069 032 127 141 085 084 176 168 119 053 121 040 066 061 099 073 124 001 130 044 089 110 095 150 074 035 002 097 057 025 158 026 147 107 056 102 167 128 142 031 092 043 111 175 072 160 055 012 159 008 048 179 010 051 017 080 108 125 138 117 088 009 139 137 177 004 105 018 112 067 098 054 118 132 058 086 082 052 096 170 115 016 014 149 036 143 049 093 100 003 178 029 123 087 173 059 104 156 037 153 071 011 171 157 023 022 169 062 126 109 027 063 172 024 020 161 129 116 019 034 060 041 122 051 092 143 167 039 033 018 156 016 055 054 043 121 097 098 089 077 075 062 146 133 073 030 102 134 042 083 125 114 099 022 119 013 124 145 110 107 105 176 034 100 108 162 063 088 135 064 010 095 139 072 141 157 151 070 050 116 080 028 053 091 009 152 068 069 103 140 021 174 138 076 160 106 093 061 038 113 161 178 011 086 084 049 014 126 166 004 090 078 153 000 041 169 037 158 001 025 179 177 031 012 047 045 006 144 168 040 079 005 019 058 104 066 155 029 052 085 046 048 056 060 094 149 007 074 026 082 136 101 159 057 002 147 118 123 036 015 008 087 171 173 130 111 112 067 059 128 129 127 017 081 164 003 131 065 044 117 137 154 132 023 175 150 163 027 024 172 120 148 115 109 096 170 020 032 165 035 071 142 001 079 044 097 077 022 007 109 162 021 049 074 040 118 116 063 107 080 092 110 167 176 125 046 034 161 141 066 029 062 024 156 127 114 086 131 054 132 143 009 028 126 082 124 090 135 068 103 041 153 048 047 104 036 100 018 138 084 053 013 061 033 037 081 120 042 117 170 064 038 106 142 055 115 108 157 016 045 148 004 000 027 102 094 105 137 158 169 166 128 164 147 035 168 003 010 031 075 088 025 006 173 129 008 076 023 178 152 050 096 020 073 032 171 172 140 071 059 119 056 019 070 122 057 078 174 139 065 052 177 093 030 014 130 146 051 099 136 151 015 111 017 098 154 067 072 112 134 005 149 155 121 150 026 095 101 085 069 165 159 011 043 160 179 012 175 113 163 087 133 060 091 089 039 083 144 145 058 123 002 019 024 011 000 006 033 062 095 004 172 034 166 096 051 165 162 127 094 089 111 145 061 037 044 157 164 174 158 099 060 161 139 065 069 080 140 116 148 171 066 105 129 071 079 056 160 159 133 176 085 029 021 072 097 018 027 087 163 149 103 110 125 064 077 020 012 070 100 141 128 104 042 053 046 007 113 090 114 001 041 102 109 147 013 063 168 156 049 150 132 057 122 091 038 039 017 101 032 073 167 143 142 112 052 088 131 025 138 078 134 137 076 026 048 035 177 119 146 117 016 023 082 178 107 050 130 047 108 124 010 022 040 120 002 121 014 115 152 153 030 067 123 154 045 179 173 043 068 075 118 058 059 008 015 151 092 106 083 169 136 135 005 144 036 084 126 009 031 175 155 081 003 054 074 086 055 098 028 170 093 128 150 000 172 131 160 143 167 177 035 138 179 061 114 117 100 049 089 085 075 163 002 106 076 064 113 048 178 115 082 086 097 063 116 043 058 103 105 014 119 087 171 006 088 004 007 037 152 030 080 069 127 034 027 112 093 094 022 068 015 095 158 044 099 011 083 009 073 071 098 050 125 056 060 016 024 141 170 013 124 053 018 139 102 104 130 052 174 146 072 042 169 046 140 054 023 036 165 142 147 135 166 005 081 066 051 154 145 123 003 149 045 039 168 008 074 070 025 092 176 047 155 079 173 021 062 108 153 055 134 136 091 133 137 157 144 111 026 038 148 096 020 175 118 010 090 107 129 120 041 161 028 159 078 109 122 033 084 057 001 126 162 059 029 132 121 017 040 032 156 077 065 164 067 012 151 031 110 019 101 066 076 123 054 142 145 146 140 138 152 097 039 072 132 119 116 110 037 077 105 088 057 043 060 045 038 166 005 163 136 035 092 029 067 134 169 000 130 109 139 022 094 153 058 141 026 030 062 071 111 034 036 011 093 115 020 016 108 089 148 031 004 021 010 122 019 075 178 167 086 177 084 052 083 131 160 129 107 009 025 079 048 113 120 001 158 106 150 023 070 172 007 033 015 100 046 168 042 006 056 164 127 002 171 174 121 135 149 125 159 087 144 179 154 095 055 018 040 143 091 044 061 068 003 047 081 175 099 156 137 065 126 050 028 170 078 098 133 104 063 112 085 008 103 059 162 151 080 049 161 101 069 117 082 118 173 155 096 041 053 124 073 102 012 157 051 128 014 176 017 147 013 074 032 064 114 027 165 090 024 032 068 076 101 022 035 023 025 149 163 075 058 131 135 166 125 041 083 120 084 067 139 153 151 027 167 060 138 085 146 145 108 123 016 010 017 055 020 095 081 129 119 038 112 079 100 109 031 136 090 078 175 042 168 099 088 170 030 110 174 155 039 063 089 036 009 111 134 077 080 150 159 018 013 066 015 073 103 158 113 082 133 093 047 006 165 049 065 037 142 115 121 051 040 005 026 162 118 086 157 177 052 001 087 114 126 071 171 154 130 122 098 106 147 011 050 137 044 096 003 069 091 107 179 004 160 144 043 064 176 008 128 127 054 028 057 124 105 034 000 161 019 152 046 045 062 169 097 059 117 007 074 002 094 140 132 024 021 148 070 173 172 012 164 104 072 116 053 056 014 029 048 178 141 092 061 143 156 102 033 045 064 049 006 009 023 052 082 079 068 041 161 067 126 037 065 118 146 093 142 050 078 136 148 029 021 024 090 042 102 135 116 027 162 119 094 158 114 080 174 163 149 154 092 172 129 070 069 081 109 113 061 153 040 133 115 168 044 000 095 179 164 005 054 046 147 034 139 075 112 038 002 178 012 121 010 053 056 165 155 170 091 031 160 159 173 066 072 167 140 011 047 120 014 157 106 076 055 145 131 171 156 123 039 028 134 099 003 073 084 062 016 097 032 071 019 063 128 043 175 035 020 057 176 051 111 008 143 086 110 077 015 018 048 060 013 169 166 004 058 089 088 144 087 105 026 096 103 001 104 150 036 130 138 152 177 127 100 030 017 085 125 141 137 007 124 059 074 101 107 132 025 033 022 151 122 108 117 083 098 008 108 094 134 151 025 040 166 020 176 051 045 060 130 124 117 103 095 100 087 049 121 141 023 054 132 092 175 067 167 063 091 164 170 133 005 082 081 093 171 123 032 157 030 148 114 035 071 160 003 173 090 052 152 113 147 101 128 004 162 154 135 144 033 043 057 006 158 161 046 053 169 075 065 146 179 070 039 076 102 022 021 145 116 122 149 174 096 099 127 159 083 115 018 126 027 111 015 072 059 009 007 084 068 011 028 019 050 000 031 055 010 016 044 036 034 109 002 058 074 089 139 105 078 037 156 038 172 014 080 047 042 077 118 106 129 131 155 013 061 066 062 110 107 073 069 178 143 177 112 120 137 136 085 125 056 017 104 098 026 041 012 064 168 088 097 142 150 165 001 153 119 140 048 163 024 029 086 138 079 028 058 085 092 002 101 165 144 170 018 139 150 159 137 160 133 057 114 091 112 173 100 031 108 001 178 102 036 153 078 054 179 110 147 006 022 020 088 073 094 044 098 149 095 075 176 016 164 143 117 014 056 118 123 169 069 009 126 045 003 097 030 084 162 107 120 080 141 015 083 086 174 042 071 033 146 158 093 064 012 175 005 070 040 043 167 145 063 151 007 121 142 138 082 134 116 096 046 053 111 119 128 171 135 125 027 065 052 041 115 035 166 013 074 021 067 068 017 004 155 026 127 059 037 089 000 154 130 090 048 099 024 019 103 132 049 177 109 157 050 047 104 055 168 106 061 029 062 066 087 076 051 034 010 156 077 011 152 025 039 079 148 136 105 081 038 129 032 172 113 163 131 023 060 140 008 122 072 161 124 044 043 068 010 019 123 154 038 155 175 163 160 070 141 156 127 133 079 145 122 093 151 084 055 120 148 106 091 135 094 152 059 075 178 081 110 174 096 112 073 136 034 054 125 129 168 114 042 162 013 146 126 067 111 047 072 098 169 074 099 028 027 007 088 005 040 012 071 069 024 008 030 058 052 144 036 179 177 041 139 142 159 066 118 025 085 046 105 149 161 009 109 001 113 078 018 039 116 064 173 060 153 037 172 108 102 083 170 020 021 017 050 053 119 057 131 023 022 128 045 065 014 077 049 147 004 087 158 032 011 063 104 076 092 029 082 026 100 138 086 051 140 103 134 107 176 048 164 137 056 143 061 016 089 171 166 150 080 033 157 121 130 124 090 015 132 097 002 035 000 031 117 006 062 165 101 003 115 167 095 101 044 036 123 017 007 083 148 016 047 156 167 154 041 135 152 100 170 073 107 096 106 078 077 005 032 067 097 008 075 061 093 086 141 112 001 024 064 088 128 000 033 029 166 113 095 006 038 109 132 155 051 091 052 114 087 165 145 065 126 090 159 151 171 060 111 129 072 098 042 099 147 066 150 085 172 048 122 124 062 169 130 177 002 079 074 015 043 121 011 081 021 174 153 136 089 146 138 009 140 137 019 179 168 057 110 143 022 117 070 023 102 092 053 116 018 161 031 178 127 050 115 163 059 028 149 158 142 071 105 039 125 139 164 034 063 037 056 160 175 103 120 134 058 055 012 108 157 069 046 049 084 076 035 010 004 104 013 133 054 025 144 014 080 119 094 026 003 068 176 118 040 173 045 082 020 162 027 030 131 073 134 013 122 033 151 125 043 048 146 061 053 138 046 120 115 114 118 108 089 101 038 041 162 127 012 068 170 123 111 159 143 177 018 034 137 175 155 121 022 064 103 150 059 100 074 097 090 056 019 023 082 088 080 002 179 105 102 141 029 050 140 014 161 010 051 081 132 078 036 091 096 067 026 032 045 060 129 173 005 094 156 009 021 098 016 020 042 152 149 165 099 112 119 058 178 164 028 084 104 158 049 113 044 008 087 037 007 172 106 063 052 003 135 001 092 017 107 071 160 079 147 027 133 117 093 069 076 126 148 004 157 145 039 077 086 163 075 062 011 035 031 024 167 072 083 065 040 055 030 166 124 139 171 169 116 109 025 136 131 154 057 130 153 142 128 015 054 006 047 000 066 176 174 110 168 095 085 144 070 010 019 003 002 052 048 074 004 176 142 152 134 153 063 118 039 098 092 099 093 112 015 126 075 026 018 032 123 001 129 085 083 016 022 161 133 166 150 017 146 124 030 104 167 060 073 069 013 121 079 175 043 137 033 037 154 095 028 109 094 025 090 045 005 160 157 108 116 165 047 067 130 120 021 077 023 040 012 027 065 007 080 006 131 024 087 110 155 000 008 053 138 049 105 177 111 064 178 091 046 162 081 122 101 059 086 011 156 115 056 114 174 082 035 041 061 058 054 172 107 070 071 072 148 103 057 034 144 031 055 097 136 147 179 145 149 102 159 014 125 042 044 009 068 084 076 128 139 170 132 113 020 168 096 078 140 173 038 163 127 050 029 051 089 036 158 169 088 143 117 141 106 151 119 100 171 066 164 062 135 077 047 025 115 143 036 018 020 034 030 054 145 166 176 155 167 172 066 124 113 086 046 079 012 146 150 078 062 132 123 015 163 168 157 001 050 160 119 137 142 170 070 045 005 093 014 073 033 165 092 096 108 057 099 017 125 052 177 038 049 006 083 105 101 031 068 107 090 042 088 041 035 011 085 037 121 111 072 129 152 156 112 048 064 128 148 140 100 153 055 133 019 127 075 138 102 059 027 082 084 149 171 106 056 029 065 174 044 040 004 104 139 095 069 007 144 098 175 021 002 016 094 071 130 053 024 032 126 063 161 173 117 110 114 058 000 158 039 076 136 081 087 109 164 091 097 028 154 022 122 179 178 013 141 061 009 008 135 118 162 147 169 151 120 103 116 003 043 067 080 089 060 159 026 010 131 023 134 074 051 076 074 078 087 097 121 039 034 136 117 130 040 064 145 138 119 102 072 110 073 114 025 095 170 128 139 017 058 116 099 070 071 154 041 061 018 085 063 152 077 108 165 047 131 062 093 083 024 053 133 168 088 177 020 142 123 000 174 011 075 089 103 046 006 013 023 113 036 007 124 052 014 026 049 005 003 144 028 151 101 033 079 050 176 096 002 010 031 164 051 043 091 012 172 004 056 068 001 045 166 066 155 030 111 162 059 163 069 126 027 086 100 118 009 019 054 135 179 055 167 141 084 127 008 160 153 092 140 021 122 057 044 080 169 148 048 035 137 109 159 173 037 029 060 175 157 038 067 150 082 090 042 125 129 107 098 105 134 032 158 022 104 132 178 146 143 065 147 094 120 156 115 149 081 106 016 161 015 171 112 068 048 027 077 023 130 020 032 086 065 115 137 145 175 030 176 129 127 087 117 089 166 091 109 073 059 113 008 004 140 074 047 171 090 076 069 161 147 139 156 072 142 000 152 111 101 056 151 150 036 013 123 003 051 157 029 037 080 105 038 081 172 022 114 159 173 132 019 108 131 061 088 040 041 028 177 063 104 017 053 149 058 014 107 158 121 116 119 162 102 034 120 169 016 042 054 057 163 026 174 035 134 136 122 039 001 062 046 099 006 070 066 085 083 052 045 106 012 024 124 144 002 092 155 075 103 009 005 160 146 031 050 064 096 043 138 118 154 110 170 025 095 011 179 165 135 071 079 021 044 148 098 128 067 033 168 178 125 143 133 082 164 007 049 094 018 153 141 015 060 078 100 055 112 126 093 010 084 097 167 052 065 095 009 154 051 148 035 114 060 176 021 130 159 084 089 120 116 174 090 080 072 093 133 105 050 118 040 033 142 037 162 039 132 121 115 075 045 149 001 109 004 073 032 147 177 047 124 085 023 068 107 058 170 131 126 027 053 111 019 046 112 030 062 099 031 123 024 057 122 117 171 010 103 138 165 140 043 063 079 015 169 158 161 173 014 144 168 016 172 129 167 106 005 044 101 025 018 153 175 081 104 012 083 155 066 136 157 156 146 097 054 070 100 055 164 069 096 000 145 077 049 151 056 042 048 002 028 003 041 135 092 011 113 178 017 166 143 094 082 108 139 088 110 119 071 134 020 163 150 034 007 006 087 059 022 029 036 013 038 091 179 098 102 128 125 160 026 127 008 152 064 078 137 061 067 086 074 076 141 036 000 006 065 007 073 134 160 159 157 168 081 132 045 106 088 177 111 097 071 072 123 098 131 164 004 114 102 120 166 041 033 023 145 064 037 061 050 013 086 040 021 057 150 179 128 020 074 032 010 049 015 165 171 053 089 154 087 082 147 069 079 038 163 153 140 093 146 113 055 100 044 161 078 130 115 058 099 018 063 014 067 005 152 051 062 155 143 175 121 148 112 003 039 056 047 009 108 125 060 094 084 027 107 034 103 117 136 149 151 024 119 031 137 142 156 174 001 066 096 029 116 030 172 122 126 138 035 026 173 076 124 178 011 109 068 017 091 002 043 105 059 042 101 090 028 077 104 052 048 167 054 141 075 016 118 022 169 129 135 083 019 025 176 144 085 092 095 008 012 080 046 127 133 158 110 170 162 070 139 005 070 038 012 028 072 016 121 145 116 140 172 120 144 178 118 142 102 096 094 104 044 085 143 141 030 165 150 095 071 080 009 025 062 123 039 128 166 176 063 069 048 007 174 078 136 032 077 014 059 021 008 109 065 147 105 004 137 056 111 177 006 003 119 015 107 082 010 023 074 132 154 130 152 133 114 110 055 112 081 002 035 169 117 029 024 061 149 157 162 050 115 146 163 068 037 124 034 017 098 179 168 067 022 043 046 160 031 167 013 103 153 019 073 045 097 027 058 001 138 171 000 156 099 064 122 089 151 108 051 033 088 042 083 091 134 011 126 087 129 158 052 164 079 076 113 026 125 155 057 060 161 020 106 139 041 018 159 066 100 090 084 075 054 170 127 093 101 148 175 092 049 131 047 036 086 173 135 040 053 033 038 062 035 091 018 071 130 125 057 095 165 084 158 141 175 119 179 163 152 122 099 148 054 178 049 104 126 134 115 012 041 147 023 085 117 118 108 086 055 139 088 040 132 065 098 050 113 114 124 047 004 138 031 109 007 144 097 106 039 157 151 102 009 133 073 030 068 003 064 019 079 020 024 161 149 156 105 136 083 016 017 089 045 123 066 078 176 006 159 046 128 000 135 090 168 154 060 131 037 028 103 094 005 069 052 032 150 145 067 027 170 112 127 077 100 053 173 008 120 075 171 172 014 137 036 021 129 092 169 013 056 029 080 164 002 074 153 001 010 093 042 051 174 044 058 155 096 167 070 022 110 026 063 146 076 107 101 034 087 061 142 162 011 043 111 048 072 116 177 140 082 025 166 059 015 081 160 121 143 020 035 031 049 057 055 156 145 161 014 177 128 046 108 127 158 125 117 072 118 041 137 105 122 019 028 167 136 101 120 114 063 150 038 009 091 109 001 042 067 032 132 024 023 086 130 060 166 061 138 095 106 147 178 094 051 157 062 152 090 047 099 008 013 087 129 054 005 153 003 000 053 071 037 078 159 116 021 074 058 165 168 126 115 076 142 113 110 135 012 140 089 173 066 119 073 100 097 146 068 018 079 149 048 081 025 002 026 131 085 077 065 164 112 093 175 172 098 045 133 007 022 010 015 092 011 036 017 169 107 174 151 141 139 143 104 029 050 134 123 006 016 064 044 154 124 027 030 084 144 075 176 039 040 070 163 111 082 170 052 043 103 096 162 160 102 069 056 080 179 004 033 171 148 088 059 121 155 034 083 049 020 026 057 051 062 091 104 154 169 179 141 175 106 170 166 137 134 111 168 087 097 061 067 063 143 054 132 164 043 034 174 069 098 117 059 122 053 159 084 121 158 161 102 092 060 129 153 076 077 118 017 032 079 139 066 100 009 173 127 075 011 042 109 130 124 163 145 001 147 094 083 155 035 046 000 112 140 008 044 176 019 029 078 178 023 050 036 131 136 089 093 030 055 088 045 107 052 144 110 080 010 006 012 072 123 115 064 013 138 125 002 074 027 073 162 003 119 103 113 022 024 108 018 171 068 114 031 128 120 015 177 167 101 090 033 156 041 025 071 126 004 028 038 151 016 039 005 014 133 172 116 146 048 165 152 096 150 037 040 160 099 135 082 086 007 105 085 095 070 047 081 148 157 056 065 058 021 142 149 035 026 002 018 067 016 070 081 084 083 094 129 100 149 143 170 147 098 175 077 071 014 152 150 168 000 010 124 103 110 151 057 043 128 003 158 121 133 144 088 102 172 025 072 022 112 091 099 074 125 038 137 135 060 173 106 078 056 075 087 164 165 101 142 085 039 105 058 174 037 178 140 097 069 004 046 089 117 118 167 027 049 052 114 020 090 030 059 176 148 045 011 080 095 055 153 017 079 042 063 115 034 065 053 012 082 131 161 171 166 013 141 028 113 138 051 021 086 029 050 156 019 047 044 068 177 007 136 040 155 032 096 116 157 008 154 160 054 139 031 062 093 066 036 134 015 073 006 179 126 159 163 048 111 122 120 041 146 107 130 092 145 127 005 001 064 109 108 119 123 162 104 009 076 169 023 024 033 061 132 027 002 056 040 065 071 085 096 150 101 162 044 125 120 133 124 109 087 102 092 084 105 122 100 132 053 037 000 050 032 172 147 079 030 167 104 013 014 089 149 082 177 068 130 123 075 119 111 115 015 107 048 010 025 019 046 097 129 061 045 178 152 094 052 033 156 043 066 062 029 116 020 007 170 057 038 059 058 163 080 161 165 064 103 117 017 114 126 148 023 090 175 067 004 179 140 024 157 154 153 169 022 095 166 121 168 026 081 008 131 139 006 069 076 160 016 012 136 060 021 099 042 028 055 135 164 093 088 070 143 078 054 155 158 142 118 047 112 141 049 001 159 146 108 018 138 051 137 098 086 144 174 003 009 074 005 034 176 145 106 128 011 077 063 031 091 083 039 173 151 171 073 072 113 041 134 110 127 036 035 021 054 009 029 016 040 004 048 073 081 123 108 098 136 172 164 140 109 103 119 085 091 117 112 097 120 170 145 149 095 082 007 008 153 163 075 053 118 131 124 003 077 090 156 057 058 028 030 092 046 143 150 005 175 055 114 014 061 094 171 045 071 002 001 072 074 000 115 176 087 065 080 036 031 160 039 178 025 155 088 167 106 013 135 101 044 089 062 017 096 056 127 020 011 152 110 049 168 099 138 129 165 070 067 169 161 052 023 113 141 076 157 116 084 125 064 010 015 100 111 147 051 154 022 166 012 177 086 066 102 037 034 059 105 042 027 121 173 179 038 132 083 060 006 043 159 137 069 151 093 032 128 024 144 148 174 047 158 134 018 162 026 035 033 068 122 130 041 019 142 063 107 050 146 139 078 104 126 079 133 038 039 037 078 159 034 149 168 070 015 026 152 136 161 055 110 170 177 167 147 115 064 023 114 151 057 100 020 138 045 051 124 081 121 084 150 132 074 000 031 156 145 176 104 052 018 139 127 118 097 129 111 063 068 103 022 107 069 001 088 085 093 106 175 079 021 091 155 005 101 172 166 008 036 165 131 142 054 047 073 171 113 086 122 058 077 154 157 117 030 059 049 029 007 046 130 126 112 076 032 012 048 143 025 041 080 116 148 002 163 016 120 169 033 009 102 179 137 013 134 178 035 061 108 017 087 099 098 153 164 040 067 105 042 011 065 141 090 044 162 056 082 128 050 060 024 072 158 144 053 135 133 075 027 094 043 140 006 119 109 066 014 095 123 173 071 089 062 174 146 019 004 003 125 160 028 083 092 096 010 064 036 127 137 161 147 021 016 140 174 067 143 167 119 080 163 134 100 168 131 142 126 048 084 112 109 019 053 159 015 113 035 083 070 054 052 149 160 092 082 175 114 077 007 058 086 078 104 090 151 074 085 076 063 162 103 060 037 097 005 068 107 051 046 111 010 087 075 006 179 056 093 115 061 072 014 069 148 178 096 138 099 101 132 146 153 123 145 172 125 173 041 133 110 066 081 155 120 095 013 091 020 028 002 117 171 049 129 128 032 057 008 029 118 177 059 154 150 038 018 121 166 176 071 027 045 088 025 047 004 157 098 009 022 044 034 039 094 152 164 116 136 033 141 158 000 102 001 130 023 065 017 089 122 003 170 026 012 024 031 144 105 050 156 139 135 011 042 055 030 073 169 079 108 040 124 043 062 106 165 053 008 033 070 043 085 133 179 169 141 015 142 058 127 112 178 121 110 107 114 062 102 172 111 175 152 026 144 076 091 156 138 109 092 170 129 139 027 078 136 174 104 021 117 009 147 018 128 131 069 132 125 024 034 067 119 066 095 120 150 167 059 073 093 151 014 065 029 004 105 046 055 146 003 050 140 137 161 077 052 040 016 079 028 090 060 048 012 173 160 101 072 013 030 047 099 166 087 039 041 113 116 130 149 035 108 126 086 005 118 049 154 075 162 165 032 006 036 031 022 082 056 134 064 148 096 044 081 057 163 115 106 017 098 020 094 080 019 123 155 122 025 176 135 037 145 074 168 042 124 097 000 084 023 143 045 068 164 171 153 054 071 001 083 061 011 063 007 088 010 177 103 038 051 089 002 158 159 100 157 026 031 017 024 042 020 060 049 066 078 155 036 169 058 163 114 178 156 160 170 164 021 067 113 083 153 029 157 136 061 134 103 040 071 063 072 076 143 130 121 097 068 167 004 124 149 081 088 179 104 133 148 168 018 003 141 112 100 145 014 039 002 055 140 147 047 092 108 091 084 011 111 165 006 053 166 175 094 126 105 101 117 095 142 116 115 177 022 070 046 025 062 102 162 161 093 032 123 172 001 051 044 048 043 109 151 074 139 173 107 008 089 050 122 146 138 005 069 064 118 158 010 037 128 013 127 035 080 144 038 079 086 154 171 057 007 085 028 125 065 087 045 034 012 054 041 056 106 000 174 073 131 030 019 027 176 015 023 150 009 110 159 016 077 120 119 098 052 033 059 090 137 075 132 135 099 129 096 082 152 037 029 030 021 005 068 086 152 168 089 053 146 141 026 125 177 112 121 105 116 061 073 104 048 044 064 011 027 060 003 120 098 046 075 083 139 042 015 084 071 085 169 128 133 091 004 103 082 088 018 161 023 129 056 016 170 072 109 008 020 067 173 040 111 113 058 118 114 110 150 162 092 069 033 151 009 010 174 095 070 052 057 136 038 106 080 138 171 049 101 017 039 163 165 147 097 077 135 062 100 047 137 078 156 102 007 045 036 066 043 079 108 006 134 157 081 090 041 063 025 087 159 050 115 175 014 019 074 154 179 055 000 176 035 127 119 143 123 054 028 059 158 094 122 124 096 167 132 034 148 140 126 142 164 153 117 166 155 130 172 131 032 002 144 093 065 031 107 099 178 001 012 076 160 149 145 051 022 024 013 040 033 005 007 039 031 035 051 054 052 070 140 148 155 151 141 131 104 112 129 161 107 108 124 000 106 175 030 097 103 115 026 160 003 075 102 179 091 120 004 128 166 142 042 047 002 079 154 008 063 080 171 130 009 034 174 069 165 088 159 143 113 109 157 018 172 114 044 055 020 037 086 065 089 022 098 025 150 032 156 024 074 011 019 078 071 081 067 100 152 093 101 111 029 084 068 139 045 169 083 123 057 046 144 060 149 132 059 053 015 058 178 121 099 062 056 038 116 027 095 028 085 087 090 136 043 048 145 177 061 050 041 036 138 158 135 066 134 105 110 133 153 118 126 013 049 006 147 164 012 119 168 017 127 073 023 094 076 162 122 016 137 146 163 092 176 010 117 167 173 170 096 021 064 001 082 014 125 077 072 060 025 010 003 021 014 088 076 080 110 044 159 115 167 171 139 150 128 122 099 082 089 119 094 012 135 043 071 075 124 046 004 118 134 137 160 157 142 125 068 158 095 140 019 096 116 144 161 027 001 028 098 152 103 009 086 083 117 007 166 112 058 097 032 100 050 175 169 061 063 145 057 024 048 162 091 074 078 038 064 155 042 131 072 070 084 018 017 105 177 113 052 073 138 114 069 104 066 035 127 040 111 165 079 036 047 015 087 153 022 109 126 174 121 049 108 026 005 129 053 151 033 141 085 077 030 013 168 002 123 016 011 041 008 039 107 051 106 146 101 179 163 133 023 170 102 176 148 031 092 156 164 037 090 130 062 059 143 093 120 081 055 054 132 045 173 178 020 147 034 067 149 029 136 065 154 172 006 056 000 023 056 043 047 034 058 061 088 106 171 104 163 124 138 147 161 176 173 139 120 090 095 036 052 091 177 111 013 077 143 098 128 055 100 154 041 135 165 160 151 145 116 017 157 016 126 141 070 097 053 027 117 172 078 045 113 084 010 107 022 103 166 130 131 067 164 048 009 087 044 167 105 059 108 011 122 071 089 033 032 153 007 092 155 038 082 064 060 063 035 051 085 136 175 121 005 112 134 178 133 068 003 170 125 115 026 142 099 101 054 072 159 065 050 174 109 008 006 002 102 146 015 083 046 020 169 039 014 019 149 030 158 057 025 074 066 144 040 049 062 012 018 021 162 069 137 076 042 168 119 081 029 114 118 000 150 031 075 079 156 094 093 086 037 028 152 132 140 004 127 024 129 001 110 096 073 179 123 080 148 009 022 021 059 014 106 032 062 166 140 165 060 152 173 050 159 111 119 131 145 075 113 151 047 169 115 089 099 156 016 174 148 000 155 105 176 146 163 085 133 079 058 168 129 042 017 094 052 141 078 135 040 123 046 084 044 056 027 124 057 100 019 090 118 104 008 096 026 063 010 072 048 051 091 043 130 138 077 034 160 069 164 103 083 157 004 132 162 045 061 139 076 002 170 143 120 012 033 071 092 065 080 088 013 154 109 054 001 142 055 117 005 030 177 024 015 049 112 025 073 114 053 128 068 070 171 041 167 127 158 122 082 097 093 035 147 031 037 039 161 038 023 107 018 153 006 087 036 028 066 064 108 179 178 029 081 125 086 121 116 067 098 126 149 150 134 095 175 007 172 110 144 137 101 136 074 011 003 020 102 034 005 039 019 036 052 054 080 104 033 087 110 111 115 149 144 164 122 114 148 095 076 059 161 145 070 136 107 047 131 126 020 051 017 147 108 177 135 158 048 007 150 089 121 159 029 179 018 157 084 072 063 176 075 073 003 137 106 078 170 030 085 032 139 025 088 090 067 092 002 096 155 035 086 169 056 015 152 024 009 113 083 140 138 093 001 016 040 068 098 132 060 130 042 160 014 021 173 163 128 151 037 125 031 026 043 127 175 119 172 050 097 105 008 010 171 091 154 053 117 166 100 069 123 146 041 011 174 077 165 082 055 074 049 000 124 023 118 006 044 142 162 022 102 066 133 079 065 064 120 061 004 116 101 167 103 071 045 028 058 156 168 129 099 038 012 027 057 062 094 134 141 081 046 112 013 178 109 143 153 011 013 007 023 040 041 051 045 064 054 086 148 119 069 175 171 152 103 134 173 110 098 002 019 066 129 162 006 092 150 121 089 037 020 090 136 010 128 111 104 038 018 067 100 167 144 076 029 112 122 102 139 075 070 085 178 131 021 031 030 065 016 026 153 053 127 015 052 000 163 097 135 078 001 035 087 095 060 172 061 137 028 094 177 077 174 149 151 024 056 141 073 126 071 012 057 048 083 117 124 145 157 142 059 044 036 055 080 043 039 096 169 093 123 107 166 125 108 082 106 009 170 022 088 074 025 091 101 027 113 116 165 143 120 138 032 155 046 033 147 160 005 132 004 034 156 050 146 003 159 164 140 133 017 154 068 176 042 109 072 114 158 115 047 079 049 161 081 105 058 084 179 008 130 014 118 099 168 063 062 002 034 023 058 032 004 081 077 083 087 084 042 106 142 159 107 167 120 153 102 155 088 113 144 006 085 149 061 121 105 033 039 036 078 128 171 104 112 001 064 147 179 130 049 080 009 099 008 110 114 035 069 154 137 129 075 022 098 170 178 052 054 050 041 037 134 047 015 046 051 063 146 116 138 062 100 163 074 157 123 090 174 038 020 095 031 012 030 057 175 003 018 016 126 168 092 158 127 115 172 019 161 139 082 111 094 017 176 160 065 056 101 166 093 013 122 043 024 109 156 000 048 103 053 151 005 119 007 089 117 070 029 152 027 086 028 108 014 011 140 118 067 026 148 021 066 068 091 141 173 131 145 169 125 164 055 025 162 096 165 076 136 072 177 040 060 133 073 045 143 059 135 071 079 044 010 124 132 150 097 016 001 034 014 035 047 067 073 074 080 081 104 139 124 148 168 175 131 142 140 118 132 052 041 057 002 163 135 143 087 025 164 094 085 116 070 178 106 066 155 110 051 145 054 173 117 146 058 019 158 111 179 069 062 171 032 133 006 023 122 012 128 112 055 056 077 045 127 086 008 071 037 108 095 101 063 083 064 030 046 061 082 026 029 134 093 121 013 114 137 000 028 015 136 107 144 119 130 176 129 157 091 042 089 065 177 165 033 174 048 147 075 109 150 169 105 011 084 010 166 096 162 160 039 138 031 027 068 038 100 170 161 003 036 005 076 022 102 079 167 098 007 115 156 009 151 021 072 050 020 092 044 004 018 090 059 123 141 172 099 149 060 078 097 154 120 152 159 053 040 113 043 024 153 049 017 125 103 088 126 025 011 029 039 041 054 050 064 082 094 100 144 114 129 146 121 168 160 132 156 070 093 032 092 052 118 008 117 007 154 000 149 130 077 173 028 119 116 091 110 084 042 147 060 134 081 085 148 079 113 172 089 097 106 030 078 048 099 020 047 021 073 061 059 026 087 165 133 179 009 035 112 068 038 142 055 107 159 019 098 131 015 128 010 083 170 033 053 104 163 162 003 137 157 045 076 040 004 056 067 153 158 063 017 037 031 164 043 014 155 126 176 127 102 002 123 065 066 150 174 034 080 016 143 023 178 169 171 139 088 075 051 161 005 018 122 120 072 175 057 167 036 044 125 109 105 177 058 138 001 024 111 012 046 013 096 086 140 022 069 006 135 152 062 049 151 071 136 145 141 027 095 101 115 074 103 090 124 108 166 029 028 040 048 046 086 078 107 094 108 171 103 127 113 154 099 165 147 146 179 172 174 142 014 096 104 131 043 122 168 102 121 133 059 027 077 062 075 034 091 095 073 069 080 119 015 111 037 001 082 064 170 004 176 155 136 006 041 128 105 013 088 083 023 003 106 055 167 025 071 049 178 132 044 056 101 067 070 016 100 164 072 020 110 066 019 065 033 137 000 152 068 158 156 036 058 148 162 024 161 116 163 173 134 135 042 123 030 021 129 018 011 125 057 054 053 124 047 159 169 074 076 009 175 112 007 160 050 130 039 143 079 166 017 126 139 038 085 045 145 092 115 081 022 035 140 138 098 060 177 005 151 144 051 089 012 090 061 084 118 031 141 120 093 008 026 150 149 002 097 010 153 063 114 032 117 157 087 052 109 007 017 019 004 030 042 043 106 107 134 109 158 135 174 168 150 163 166 176 124 073 149 021 121 099 138 151 070 037 126 060 111 128 053 039 011 152 022 083 144 045 047 123 066 094 000 044 093 105 091 062 141 033 076 010 015 041 035 067 071 118 148 089 155 082 048 058 055 054 100 069 156 031 057 052 013 029 119 025 050 110 153 087 009 056 012 125 024 096 157 116 084 101 178 038 095 131 142 059 122 154 136 068 130 077 162 108 051 133 161 169 034 173 167 112 014 001 171 104 036 040 081 129 159 172 027 132 020 061 114 026 002 177 097 003 075 049 005 028 074 065 175 032 088 079 143 085 092 113 078 146 165 140 080 147 018 117 179 160 103 170 086 137 064 127 139 008 063 023 090 102 120 016 006 072 098 046 145 115 164 024 003 004 028 047 088 055 100 095 144 167 151 112 134 152 090 092 099 173 163 128 020 164 155 081 089 018 110 114 025 147 113 049 131 030 043 115 019 161 135 166 029 124 116 068 042 014 098 040 087 136 034 079 073 031 071 174 179 009 010 070 056 145 138 000 017 120 060 059 085 111 033 063 066 118 105 027 032 002 077 084 176 129 169 168 013 178 170 038 054 072 050 065 104 171 094 046 069 083 106 075 126 053 061 022 107 044 074 012 137 064 132 130 158 103 119 142 149 057 067 006 052 039 096 109 026 016 037 150 086 021 045 062 162 156 175 122 048 172 036 101 133 143 160 001 023 141 082 123 125 157 008 093 121 159 035 146 058 007 117 102 108 139 015 097 177 080 091 011 041 005 140 165 127 051 076 153 148 078 154 022 014 048 067 056 077 068 083 115 137 151 131 123 152 179 155 117 172 161 158 178 086 075 096 087 171 038 032 082 039 142 126 157 057 013 060 025 078 098 041 036 062 110 051 012 045 173 129 128 118 108 133 029 109 149 167 021 112 154 114 002 053 103 097 084 063 125 163 037 143 073 069 134 093 100 030 104 049 140 066 144 040 001 033 064 136 011 132 106 047 026 088 023 176 009 028 010 076 177 034 159 055 101 113 148 079 094 061 141 000 031 145 007 059 162 120 092 052 044 020 116 105 042 072 015 070 121 095 050 166 003 016 099 046 124 102 146 017 027 035 135 008 150 005 111 091 058 043 089 107 130 169 175 165 174 153 006 127 085 074 138 139 147 170 018 024 090 122 065 168 071 054 019 004 156 081 164 080 119 160 013 006 032 034 062 075 053 079 068 070 077 106 113 112 115 056 157 167 162 132 098 130 099 009 065 111 090 121 108 050 066 067 136 118 159 135 093 083 096 049 088 002 119 047 149 064 087 105 124 044 030 092 178 154 063 102 161 008 059 023 151 177 137 060 086 036 147 054 100 129 010 018 095 174 045 148 091 069 039 020 042 128 107 074 145 037 084 122 143 156 029 082 004 012 026 173 120 175 046 080 025 131 058 169 144 005 016 072 155 176 052 142 076 153 038 127 055 014 140 051 170 103 110 168 097 125 061 024 101 116 165 022 172 071 141 146 043 031 164 027 134 021 078 094 040 117 150 041 160 003 163 171 015 152 085 033 179 019 123 028 109 166 133 035 138 081 000 001 057 048 139 011 017 158 114 126 073 104 007 089 000 030 035 050 088 070 064 103 116 121 111 130 117 154 150 151 160 138 170 161 099 082 097 164 031 063 124 079 065 010 146 122 112 119 037 100 052 026 169 076 179 080 131 098 125 078 003 001 048 167 025 075 059 132 021 053 017 101 157 034 083 028 006 177 055 002 042 023 013 032 016 058 057 022 067 049 020 145 012 086 159 011 015 005 045 135 096 128 178 120 019 149 060 091 008 066 171 109 156 029 085 162 093 069 062 175 046 110 143 068 163 061 152 090 104 033 173 071 134 165 172 036 024 047 043 147 072 141 007 095 044 115 081 040 073 105 176 074 118 051 027 039 106 056 155 136 129 166 174 142 107 009 137 140 114 038 077 014 153 126 004 089 148 094 158 133 041 084 018 087 144 139 168 092 123 127 102 108 054 113 070 050 018 046 082 057 101 110 157 010 172 109 162 166 174 112 171 159 090 160 136 111 088 068 124 114 006 014 117 133 079 066 134 031 135 008 027 043 024 083 056 155 091 118 163 053 074 170 049 129 022 165 077 021 086 035 096 036 081 016 063 105 132 156 034 059 023 130 009 177 098 052 123 158 173 037 039 038 175 051 127 140 007 060 069 179 080 029 144 002 120 067 145 149 062 019 087 164 065 108 048 017 064 054 167 071 147 169 093 153 028 148 142 055 040 012 013 138 061 143 150 004 003 094 095 161 168 042 125 005 085 001 137 154 078 097 025 146 073 089 119 107 072 151 032 045 015 076 099 115 152 033 041 103 047 058 092 139 102 075 000 106 030 044 116 131 122 011 104 128 100 178 126 084 121 026 113 176 141 020 003 009 028 037 055 061 077 068 130 084 144 155 128 157 129 148 145 161 049 138 102 171 026 033 108 090 080 115 078 156 057 076 060 005 082 121 016 012 100 093 162 031 175 011 006 118 107 101 046 098 149 050 116 174 136 059 042 074 019 167 044 178 117 072 064 035 062 092 066 125 173 045 122 032 120 040 132 022 103 153 073 051 027 104 067 039 070 160 169 158 008 043 123 142 079 172 099 126 140 176 110 063 096 014 054 166 058 151 168 024 075 146 018 163 091 001 086 023 069 150 137 013 114 083 134 159 052 135 165 109 007 053 065 041 071 021 030 081 170 048 152 010 020 047 143 002 139 025 147 111 124 177 106 105 112 000 133 089 131 179 119 034 004 088 085 113 164 029 036 038 015 017 097 094 127 087 154 141 095 056 018 045 012 020 048 049 075 094 100 156 057 123 168 148 131 165 090 093 117 109 105 169 177 095 158 051 052 056 068 028 097 104 124 099 108 107 133 080 039 103 098 074 111 086 088 143 127 011 116 174 101 062 036 159 077 001 023 055 047 066 076 067 035 085 163 043 083 031 139 000 170 081 096 025 136 119 037 176 050 154 071 069 072 179 087 009 128 073 022 019 041 034 142 008 125 078 144 129 114 120 167 178 121 138 132 173 171 172 015 164 134 030 135 010 145 005 033 157 014 140 106 032 091 079 002 058 102 053 017 175 006 027 060 151 038 046 126 065 113 004 137 150 149 166 146 141 160 122 029 007 112 115 070 153 162 042 016 040 089 152 021 118 063 013 161 044 061 064 130 026 082 092 084 024 003 155 054 147 110 059 041 018 063 085 029 083 094 089 110 113 106 127 137 116 102 058 154 139 121 159 074 087 124 035 126 009 036 028 096 090 006 118 030 004 020 166 141 077 129 100 055 175 112 097 040 115 026 010 022 056 076 039 099 012 093 042 081 161 072 140 136 084 078 165 008 052 176 050 027 138 168 034 157 054 068 067 031 131 101 135 045 023 065 017 033 048 079 071 179 167 125 103 047 107 155 013 114 021 104 149 109 146 003 073 163 142 088 132 164 133 014 134 098 025 051 082 153 152 075 000 095 005 038 019 032 061 172 160 091 069 066 123 144 119 001 064 178 150 092 171 120 170 111 147 145 177 080 070 105 143 057 158 174 117 002 108 043 156 151 060 130 007 011 024 122 046 053 044 059 162 037 173 049 086 016 148 062 169 015 128 039 015 052 064 004 081 106 075 123 050 110 061 097 103 169 174 151 129 109 175 159 154 040 074 058 037 072 011 172 155 043 046 121 146 162 173 095 065 056 023 089 124 026 078 112 005 098 063 007 049 059 073 008 085 068 153 032 156 028 044 093 086 067 170 114 071 100 042 090 104 092 136 163 105 034 021 054 134 117 125 038 053 024 108 062 118 137 120 019 017 107 020 070 077 069 036 033 082 048 150 130 025 013 179 051 030 041 111 055 012 161 096 010 006 000 084 035 088 101 142 140 165 166 002 080 115 045 079 029 001 060 127 126 167 177 116 145 119 122 157 131 057 087 014 132 152 083 066 076 128 178 102 149 148 144 164 113 018 168 141 009 047 158 147 091 031 016 022 138 027 143 171 139 135 176 094 160 133 003 099 012 037 067 072 080 091 095 093 109 154 021 170 134 150 123 147 059 136 116 086 111 172 169 106 107 121 084 118 133 034 028 015 162 027 092 085 097 178 165 120 161 112 019 075 033 054 031 110 098 144 090 078 074 153 088 164 049 032 055 163 125 129 047 166 179 022 128 175 081 053 171 056 060 018 079 043 126 023 011 076 158 030 142 139 065 068 014 046 115 039 058 026 082 089 131 040 045 057 096 077 104 099 105 173 073 044 050 000 071 042 006 007 176 038 048 010 087 174 138 052 036 146 148 122 127 002 113 041 140 103 124 141 024 100 063 151 135 156 130 083 064 061 137 155 168 101 013 117 132 035 069 025 062 157 008 149 102 066 159 119 143 160 094 017 177 029 004 009 051 020 003 108 005 016 167 001 152 070 114 145 017 023 022 033 037 028 038 039 045 046 050 056 055 057 066 069 093 124 144 125 149 084 162 165 138 154 120 104 043 128 036 013 012 097 067 087 065 136 110 051 130 107 004 077 164 089 049 141 100 163 032 027 053 006 160 064 119 024 062 117 114 072 079 025 091 176 140 166 083 168 015 106 098 019 088 102 171 111 122 042 178 041 099 112 115 105 054 152 003 146 103 143 129 174 113 159 080 161 126 101 155 009 086 047 014 096 010 127 151 061 153 035 048 094 020 076 073 109 026 034 134 059 031 001 133 075 135 070 147 002 081 058 052 044 040 005 008 175 082 092 060 121 158 170 068 116 063 177 172 131 078 085 157 173 132 029 169 007 095 016 018 074 142 108 118 000 145 030 123 137 167 090 156 179 011 071 139 150 148 021 014 004 020 025 018 032 034 036 038 055 060 068 069 073 074 080 091 133 119 150 094 079 042 152 116 174 002 139 177 135 076 065 011 029 059 027 090 033 007 098 112 147 056 134 089 104 110 000 083 057 088 070 047 053 028 008 164 023 086 031 113 015 141 071 143 016 051 136 162 072 040 067 019 155 102 169 168 035 026 138 163 052 061 111 017 100 142 085 156 166 175 081 154 123 063 012 103 176 066 171 022 144 054 153 107 045 013 114 121 093 118 179 159 161 170 145 115 050 146 097 001 078 173 041 058 165 157 092 010 125 046 140 075 178 087 062 106 167 003 130 048 131 151 021 024 149 064 037 148 039 006 099 158 120 005 127 095 132 105 043 122 082 049 124 117 096 137 126 009 084 109 160 044 172 108 128 077 101 129 030 030 021 054 060 061 065 076 070 088 090 116 097 103 143 145 134 156 125 150 135 092 115 112 091 085 015 005 114 013 106 078 107 132 104 057 146 101 169 168 162 014 096 079 064 122 148 067 072 011 074 081 041 000 039 044 034 040 049 026 118 124 127 129 128 069 007 004 176 033 170 024 152 137 028 171 174 131 052 105 126 019 167 175 003 022 027 111 158 066 165 020 102 071 017 006 025 002 095 068 119 042 032 016 058 177 098 031 082 139 062 099 136 038 178 023 036 059 155 154 159 080 018 046 075 008 047 153 157 172 138 130 149 043 161 009 037 045 087 029 073 010 084 035 117 113 123 163 108 140 179 151 144 056 147 083 086 141 051 100 063 164 109 048 160 055 089 012 110 142 166 173 001 120 093 050 077 133 094 053 121 006 012 016 015 020 021 025 037 042 045 056 067 078 102 137 131 148 145 158 172 157 118 081 139 110 039 070 169 053 149 031 088 093 152 040 116 007 117 179 109 132 106 072 003 144 082 115 087 086 038 170 096 002 043 057 005 034 071 066 129 079 094 100 047 074 032 001 084 089 176 101 022 023 080 060 173 052 073 114 120 044 077 068 123 054 166 085 121 051 151 135 059 178 048 029 160 063 064 113 107 125 024 104 108 112 083 014 153 175 028 011 162 171 058 105 049 050 111 156 062 124 174 146 136 041 095 140 155 018 027 017 133 061 026 098 161 091 165 036 099 163 033 000 127 065 154 035 130 103 167 126 030 147 134 069 141 010 119 075 019 008 138 076 122 004 090 046 013 168 055 009 150 177 128 097 142 092 143 164 159 043 010 045 056 058 067 123 128 146 159 076 175 170 131 134 173 105 143 169 157 151 083 004 130 089 165 133 129 027 046 094 012 062 052 164 035 084 172 118 090 086 011 115 179 095 021 029 049 174 168 158 113 167 055 078 074 117 054 092 059 064 061 020 160 014 122 085 162 116 109 047 026 013 009 019 053 147 066 081 068 063 025 127 140 000 033 091 153 088 093 031 017 005 069 101 132 006 023 008 024 102 108 150 071 176 070 028 121 135 036 044 041 120 034 016 137 166 156 152 177 136 079 145 142 163 072 141 125 039 018 002 032 030 003 037 126 097 080 098 060 144 077 171 042 104 087 082 099 161 015 040 103 007 124 119 178 048 073 038 138 051 075 111 148 057 112 100 106 114 139 096 050 065 155 107 149 022 154 001 110 004 007 014 016 025 037 047 060 062 066 045 076 108 123 110 102 144 113 125 166 174 077 111 090 072 086 050 122 124 064 107 085 126 035 141 019 096 003 044 134 114 010 178 027 139 059 117 091 087 021 033 120 100 054 071 101 038 088 176 151 172 175 034 063 017 005 179 109 029 048 018 167 032 068 075 137 106 031 116 011 058 092 173 026 160 070 002 069 012 154 127 148 118 164 041 105 138 094 128 162 147 030 145 049 083 097 170 168 052 150 131 103 157 082 115 020 152 099 149 023 163 089 158 040 079 140 171 146 161 046 153 036 130 078 065 095 013 084 009 156 028 053 155 129 121 081 022 135 061 051 133 024 067 132 001 112 055 000 043 042 104 165 093 006 056 008 119 098 177 015 169 159 073 080 143 057 039 142 136 074 015 016 024 043 045 082 059 061 075 085 128 169 116 125 157 129 166 126 118 133 165 071 058 080 051 056 069 052 158 096 153 073 100 154 088 109 164 110 094 147 020 086 095 006 049 041 172 084 037 120 131 083 105 032 048 009 106 123 063 002 149 062 107 004 029 170 068 074 040 132 090 163 064 098 070 104 044 175 065 033 047 038 115 101 053 055 136 127 093 171 150 079 122 177 159 021 054 141 143 148 099 114 000 102 067 167 176 010 162 023 119 022 087 160 030 151 036 139 050 013 173 008 097 026 012 034 066 113 155 057 168 112 140 031 046 121 078 092 108 005 018 060 039 001 003 178 091 142 124 028 077 134 019 156 135 072 130 138 146 014 137 174 042 161 035 179 081 017 117 007 103 089 027 152 111 011 025 076 145 144 ['./LS_1.py', '--solver=gimsatul', '--size', '180'] ['/home/i/dotfiles/bin/my_time.py', './LS_1.py', '--solver=gimsatul', '--size', '180'] seconds: 25254 or: 7h54s