Task 14884
| Name | batch_89__job_job-000038_1 |
| Workunit | 11966 |
| Created | 29 Apr 2025, 23:40:16 UTC |
| Sent | 30 Apr 2025, 20:05:52 UTC |
| Report deadline | 7 May 2025, 20:05:52 UTC |
| Received | 1 May 2025, 5:23:39 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 33110 |
| Run time | 5 hours 31 min 8 sec |
| CPU time | 5 hours 10 min 38 sec |
| Validate state | Valid |
| Credit | 79.09 |
| Device peak FLOPS | 5.48 GFLOPS |
| Application version | Universal Docker app v1.09 (docker) windows_x86_64 |
| Peak working set size | 12.24 MB |
| Peak swap size | 2.29 MB |
| Peak disk usage | 120.18 KB |
Stderr output
<core_client_version>8.2.1</core_client_version> <![CDATA[ <stderr_txt> 27, 49, 53, 62, 75, 99, 123, 154, 194, 231 [best: 1000] 48962627174411, 16, 27, 49, 53, 62, 88, 89, 102, 112, 160, 194 [best: 1000] 49392123904011, 16, 27, 49, 53, 62, 108, 122, 144, 181, 200, 215 [best: 1000] 49821620633611, 16, 27, 49, 53, 63, 73, 94, 158, 164, 167, 228 [best: 1000] 50251117363211, 16, 27, 49, 53, 63, 93, 113, 114, 144, 151, 176 [best: 1000] 50680614092811, 16, 27, 49, 53, 64, 71, 115, 136, 145, 167, 191 [best: 1000] 51110110822411, 16, 27, 49, 53, 64, 84, 94, 95, 182, 185, 215 [best: 1000] 51539607552011, 16, 27, 49, 53, 64, 111, 129, 136, 183, 186, 189 [best: 1000] 51969104281611, 16, 27, 49, 53, 65, 76, 91, 97, 122, 134, 176 [best: 1000] 52398601011211, 16, 27, 49, 53, 65, 100, 122, 152, 164, 165, 180 [best: 1000] 52828097740811, 16, 27, 49, 53, 66, 81, 83, 94, 105, 114, 121 [best: 1000] 53257594470411, 16, 27, 49, 53, 67, 71, 88, 111, 170, 174, 184 [best: 1000] 53687091200011, 16, 27, 49, 53, 67, 84, 88, 117, 147, 191, 220 [best: 1000] 54116587929611, 16, 27, 49, 53, 67, 103, 122, 123, 133, 141, 218 [best: 1000] 54546084659211, 16, 27, 49, 53, 68, 85, 97, 100, 153, 190, 214 [best: 1000] 54975581388811, 16, 27, 49, 53, 69, 76, 84, 115, 130, 176, 201 [best: 1000] 55405078118411, 16, 27, 49, 53, 70, 71, 79, 142, 145, 172, 190 [best: 1000] 55834574848011, 16, 27, 49, 53, 70, 83, 88, 101, 114, 120, 232 [best: 1000] 56264071577611, 16, 27, 49, 53, 70, 100, 109, 118, 128, 165, 212 [best: 1000] 56693568307211, 16, 27, 49, 53, 71, 85, 88, 160, 170, 193, 218 [best: 1000] 57123065036811, 16, 27, 49, 53, 72, 73, 129, 140, 142, 191, 209, 224 [best: 1000] 57552561766411, 16, 27, 49, 53, 72, 84, 86, 148, 151, 188, 248 [best: 1000] 57982058496011, 16, 27, 49, 53, 72, 96, 98, 102, 114, 137, 146 [best: 1000] 58411555225611, 16, 27, 49, 53, 73, 77, 82, 87, 97, 117, 173 [best: 1000] 58841051955211, 16, 27, 49, 53, 73, 87, 90, 102, 157, 214, 224 [best: 1000] 59270548684811, 16, 27, 49, 53, 73, 99, 122, 124, 151, 215, 261 [best: 1000] 59700045414411, 16, 27, 49, 53, 74, 82, 115, 146, 165, 182, 194 [best: 1000] 60129542144011, 16, 27, 49, 53, 74, 100, 104, 127, 162, 188, 194 [best: 1000] 60559038873611, 16, 27, 49, 53, 75, 101, 106, 110, 150, 178, 199 [best: 1000] 60988535603211, 16, 27, 49, 53, 77, 87, 107, 110, 143, 162, 175 [best: 1000] 61418032332811, 16, 27, 49, 53, 78, 101, 115, 140, 153, 174, 194 [best: 1000] 61847529062411, 16, 27, 49, 53, 80, 83, 123, 137, 141, 179, 213 [best: 1000] 62277025792011, 16, 27, 49, 53, 81, 89, 98, 99, 124, 146, 217 [best: 1000] 62706522521611, 16, 27, 49, 53, 83, 84, 95, 99, 151, 158, 174 [best: 1000] 63136019251211, 16, 27, 49, 53, 84, 85, 100, 122, 150, 199, 220, 285 [best: 1000] 63565515980811, 16, 27, 49, 53, 85, 87, 93, 122, 147, 190, 242 [best: 1000] 63995012710411, 16, 27, 49, 53, 85, 102, 116, 127, 136, 168, 198 [best: 1000] 64424509440011, 16, 27, 49, 53, 86, 103, 113, 125, 130, 187, 226 [best: 1000] 64854006169611, 16, 27, 49, 53, 88, 92, 112, 119, 146, 160, 233 [best: 1000] 65283502899211, 16, 27, 49, 53, 89, 96, 112, 113, 124, 161, 171 [best: 1000] 65712999628811, 16, 27, 49, 53, 91, 103, 104, 132, 177, 183, 228 [best: 1000] 66142496358411, 16, 27, 49, 54, 55, 62, 97, 126, 144, 152, 160 [best: 1000] 66571993088011, 16, 27, 49, 54, 55, 83, 89, 108, 121, 149, 161 [best: 1000] 67001489817611, 16, 27, 49, 54, 56, 65, 79, 93, 134, 148, 177 [best: 1000] 67430986547211, 16, 27, 49, 54, 56, 95, 113, 124, 152, 181, 186 [best: 1000] 67860483276811, 16, 27, 49, 54, 57, 71, 106, 128, 155, 160, 192 [best: 1000] 68289980006411, 16, 27, 49, 54, 58, 62, 66, 99, 128, 135, 181 [best: 1000] 68719476736011, 16, 27, 49, 54, 58, 82, 89, 106, 123, 177, 205 [best: 1000] 69148973465611, 16, 27, 49, 54, 59, 65, 70, 113, 132, 166, 177 [best: 1000] 69578470195211, 16, 27, 49, 54, 59, 75, 119, 126, 138, 154, 185 [best: 1000] 70007966924811, 16, 27, 49, 54, 59, 104, 113, 139, 160, 188, 202 [best: 1000] 70437463654411, 16, 27, 49, 54, 60, 70, 82, 89, 136, 151, 201 [best: 1000] 70866960384011, 16, 27, 49, 54, 60, 86, 96, 114, 138, 145, 186 [best: 1000] 71296457113611, 16, 27, 49, 54, 61, 64, 78, 82, 102, 148, 216 [best: 1000] 71725953843211, 16, 27, 49, 54, 61, 73, 80, 102, 108, 127, 221 [best: 1000] 72155450572811, 16, 27, 49, 54, 61, 87, 100, 101, 153, 198, 203 [best: 1000] 72584947302411, 16, 27, 49, 54, 62, 64, 76, 88, 91, 98, 176 [best: 1000] 73014444032011, 16, 27, 49, 54, 62, 72, 94, 106, 127, 146, 165, 192 [best: 1000] 73443940761611, 16, 27, 49, 54, 62, 85, 87, 122, 125, 150, 194 [best: 1000] 73873437491211, 16, 27, 49, 54, 62, 98, 132, 163, 189, 223, 238 [best: 1000] 74302934220811, 16, 27, 49, 54, 63, 72, 112, 118, 122, 132, 185 [best: 1000] 74732430950411, 16, 27, 49, 54, 63, 101, 116, 136, 145, 198, 228 [best: 1000] 75161927680011, 16, 27, 49, 54, 64, 74, 116, 130, 146, 159, 197 [best: 1000] 75591424409611, 16, 27, 49, 54, 64, 98, 112, 134, 135, 192, 216 [best: 1000] 76020921139211, 16, 27, 49, 54, 65, 74, 90, 97, 113, 146, 158 [best: 1000] 76450417868811, 16, 27, 49, 54, 65, 106, 110, 115, 116, 165, 174 [best: 1000] 76879914598411, 16, 27, 49, 54, 66, 87, 95, 107, 110, 134, 194 [best: 1000] 77309411328011, 16, 27, 49, 54, 67, 77, 78, 106, 134, 158, 192 [best: 1000] 77738908057611, 16, 27, 49, 54, 67, 101, 102, 132, 144, 149, 185 [best: 1000] 78168404787211, 16, 27, 49, 54, 68, 95, 111, 113, 117, 122, 155 [best: 1000] 78597901516811, 16, 27, 49, 54, 69, 88, 114, 127, 157, 182, 209 [best: 1000] 79027398246411, 16, 27, 49, 54, 70, 80, 98, 102, 137, 168, 171 [best: 1000] 79456894976011, 16, 27, 49, 54, 70, 102, 115, 137, 143, 186, 195 [best: 1000] 79886391705611, 16, 27, 49, 54, 71, 96, 125, 128, 173, 176, 216 [best: 1000] 80315888435211, 16, 27, 49, 54, 72, 78, 128, 153, 155, 175, 206 [best: 1000] 80745385164811, 16, 27, 49, 54, 72, 93, 121, 144, 146, 174, 242 [best: 1000] 81174881894411, 16, 27, 49, 54, 73, 77, 106, 122, 134, 171, 184 [best: 1000] 81604378624011, 16, 27, 49, 54, 73, 90, 92, 118, 126, 132, 204, 239 [best: 1000] 82033875353611, 16, 27, 49, 54, 73, 112, 123, 124, 165, 177, 215 [best: 1000] 82463372083211, 16, 27, 49, 54, 74, 95, 98, 118, 120, 125, 249 [best: 1000] 82892868812811, 16, 27, 49, 54, 75, 105, 115, 136, 171, 178, 229 [best: 1000] 83322365542411, 16, 27, 49, 54, 78, 82, 86, 93, 112, 139, 175 [best: 1000] 83751862272011, 16, 27, 49, 54, 79, 93, 100, 130, 135, 189, 206 [best: 1000] 84181359001611, 16, 27, 49, 54, 81, 98, 108, 118, 162, 184, 204 [best: 1000] 84610855731211, 16, 27, 49, 54, 84, 87, 94, 102, 132, 156, 172 [best: 1000] 85040352460811, 16, 27, 49, 54, 85, 100, 114, 118, 127, 131, 188 [best: 1000] 85469849190411, 16, 27, 49, 54, 87, 88, 101, 150, 176, 195, 239 [best: 1000] 85899345920011, 16, 27, 49, 54, 88, 105, 127, 135, 140, 197, 219 [best: 1000] 86328842649611, 16, 27, 49, 55, 56, 58, 73, 125, 151, 152, 165 [best: 1000] 86758339379211, 16, 27, 49, 55, 56, 81, 83, 87, 118, 154, 198 [best: 1000] 87187836108811, 16, 27, 49, 55, 57, 72, 115, 136, 141, 158, 186 [best: 1000] 87617332838411, 16, 27, 49, 55, 58, 69, 85, 100, 103, 146, 163 [best: 1000] 88046829568011, 16, 27, 49, 55, 59, 63, 77, 81, 105, 178, 184 [best: 1000] 88476326297611, 16, 27, 49, 55, 59, 81, 96, 125, 163, 178, 187 [best: 1000] 88905823027211, 16, 27, 49, 55, 60, 67, 69, 111, 133, 172, 203 [best: 1000] 89335319756811, 16, 27, 49, 55, 60, 86, 95, 122, 133, 141, 156, 175 [best: 1000] 89764816486411, 16, 27, 49, 55, 61, 67, 109, 129, 159, 200, 243 [best: 1000] 90194313216011, 16, 27, 49, 55, 61, 85, 115, 131, 132, 164 [best: 1000] 90623809945611, 16, 27, 49, 55, 62, 67, 113, 135, 155, 180, 233 [best: 1000] 91053306675211, 16, 27, 49, 55, 62, 79, 102, 113, 127, 137, 140 [best: 1000] 91482803404811, 16, 27, 49, 55, 62, 99, 109, 144, 175, 176, 202 [best: 1000] 91912300134411, 16, 27, 49, 55, 63, 77, 91, 92, 99, 148, 150 [best: 1000] 92341796864011, 16, 27, 49, 55, 64, 70, 100, 130, 142, 144, 173 [best: 1000] 92771293593611, 16, 27, 49, 55, 64, 96, 118, 130, 132, 171, 214 [best: 1000] 93200790323211, 16, 27, 49, 55, 65, 81, 82, 112, 124, 144, 202 [best: 1000] 93630287052811, 16, 27, 49, 55, 66, 73, 111, 140, 143, 153, 185 [best: 1000] 94059783782411, 16, 27, 49, 55, 67, 73, 92, 96, 147, 178, 244 [best: 1000] 94489280512011, 16, 27, 49, 55, 67, 96, 119, 127, 157, 170, 196 [best: 1000] 94918777241611, 16, 27, 49, 55, 69, 70, 100, 114, 142, 172, 177 [best: 1000] 95348273971211, 16, 27, 49, 55, 70, 73, 123, 134, 137, 151, 230 [best: 1000] 95777770700811, 16, 27, 49, 55, 70, 98, 114, 117, 179, 193, 232 [best: 1000] 96207267430411, 16, 27, 49, 55, 72, 73, 97, 103, 132, 162, 186, 194 [best: 1000] 96636764160011, 16, 27, 49, 55, 72, 89, 99, 106, 166, 187, 235 [best: 1000] 97066260889611, 16, 27, 49, 55, 73, 81, 109, 152, 155, 158, 210 [best: 1000] 97495757619211, 16, 27, 49, 55, 73, 96, 125, 137, 158, 194, 214 [best: 1000] 97925254348811, 16, 27, 49, 55, 74, 90, 91, 100, 117, 155, 179 [best: 1000] 98354751078411, 16, 27, 49, 55, 76, 92, 107, 111, 153, 161, 211 [best: 1000] 98784247808011, 16, 27, 49, 55, 79, 82, 86, 103, 114, 142, 158 [best: 1000] 99213744537611, 16, 27, 49, 55, 82, 85, 102, 118, 147, 181, 187 [best: 1000] 99643241267211, 16, 27, 49, 55, 83, 103, 117, 129, 142, 155, 241 [best: 1000] 100072737996811, 16, 27, 49, 55, 86, 90, 113, 140, 164, 172, 226 [best: 1000] 100502234726411, 16, 27, 49, 56, 57, 62, 72, 82, 115, 158, 209 [best: 1000] 100931731456011, 16, 27, 49, 56, 58, 59, 84, 87, 127, 158, 170 [best: 1000] 101361228185611, 16, 27, 49, 56, 59, 60, 64, 92, 122, 170, 177 [best: 1000] 101790724915211, 16, 27, 49, 56, 59, 73, 80, 92, 93, 175, 195 [best: 1000] 102220221644811, 16, 27, 49, 56, 60, 62, 84, 104, 105, 165, 199 [best: 1000] 102649718374411, 16, 27, 49, 56, 60, 79, 91, 100, 128, 158, 180 [best: 1000] 103079215104011, 16, 27, 49, 56, 61, 65, 81, 87, 140, 144, 172 [best: 1000] 103508711833611, 16, 27, 49, 56, 61, 76, 109, 110, 117, 162, 177 [best: 1000] 103938208563211, 16, 27, 49, 56, 61, 98, 110, 139, 157, 165, 211 [best: 1000] 104367705292811, 16, 27, 49, 56, 62, 72, 98, 140, 151, 153 [best: 1000] 104797202022411, 16, 27, 49, 56, 62, 95, 104, 127, 150, 172, 188 [best: 1000] 105226698752011, 16, 27, 49, 56, 63, 78, 87, 124, 148, 183, 220 [best: 1000] 105656195481611, 16, 27, 49, 56, 64, 72, 88, 143, 173, 175, 227 [best: 1000] 106085692211211, 16, 27, 49, 56, 64, 100, 112, 135, 141, 155, 164 [best: 1000] 106515188940811, 16, 27, 49, 56, 65, 83, 90, 97, 157, 185, 200 [best: 1000] 106944685670411, 16, 27, 49, 56, 66, 77, 78, 91, 94, 114, 165 [best: 1000] 107374182400011, 16, 27, 49, 56, 67, 78, 97, 140, 149, 155, 169 [best: 1000] 107803679129611, 16, 27, 49, 56, 68, 81, 107, 121, 144, 150, 158 [best: 1000] 108233175859211, 16, 27, 49, 56, 69, 87, 97, 108, 131, 156, 229 [best: 1000] 108662672588811, 16, 27, 49, 56, 70, 86, 113, 125, 157, 183, 210 [best: 1000] 109092169318411, 16, 27, 49, 56, 72, 73, 80, 110, 132, 150, 170, 220 [best: 1000] 109521666048011, 16, 27, 49, 56, 72, 84, 100, 102, 110, 161, 185 [best: 1000] 109951162777611, 16, 27, 49, 56, 73, 74, 79, 106, 148, 156, 183 [best: 1000] 110380659507211, 16, 27, 49, 56, 73, 91, 113, 129, 131, 186, 201, 210 [best: 1000] 110810156236811, 16, 27, 49, 56, 74, 90, 118, 125, 143, 193, 207 [best: 1000] 111239652966411, 16, 27, 49, 56, 77, 78, 80, 92, 113, 118, 159 [best: 1000] 111669149696011, 16, 27, 49, 56, 79, 83, 109, 138, 153, 162, 201 [best: 1000] 112098646425611, 16, 27, 49, 56, 82, 92, 97, 99, 104, 128, 194 [best: 1000] 112528143155211, 16, 27, 49, 56, 84, 88, 108, 119, 127, 163, 202 [best: 1000] 112957639884811, 16, 27, 49, 56, 87, 91, 101, 145, 156, 167, 174 [best: 1000] 113387136614411, 16, 27, 49, 57, 58, 70, 90, 92, 106, 130, 149 [best: 1000] 113816633344011, 16, 27, 49, 57, 59, 64, 93, 122, 124, 141, 180 [best: 1000] 114246130073611, 16, 27, 49, 57, 59, 82, 102, 132, 136, 146, 159 [best: 1000] 114675626803211, 16, 27, 49, 57, 60, 67, 72, 116, 128, 132, 156 [best: 1000] 115105123532811, 16, 27, 49, 57, 60, 89, 103, 132, 133, 146, 179 [best: 1000] 115534620262411, 16, 27, 49, 57, 61, 69, 97, 98, 153, 170, 186 [best: 1000] 115964116992011, 16, 27, 49, 57, 61, 89, 92, 114, 133, 186, 192 [best: 1000] 116393613721611, 16, 27, 49, 57, 62, 69, 89, 94, 135, 153, 200 [best: 1000] 116823110451211, 16, 27, 49, 57, 62, 83, 95, 104, 122, 166, 171 [best: 1000] 117252607180811, 16, 27, 49, 57, 63, 64, 116, 124, 149, 152, 168, 184 [best: 1000] 117682103910411, 16, 27, 49, 57, 63, 92, 97, 122, 135, 181, 192 [best: 1000] 118111600640011, 16, 27, 49, 57, 64, 81, 84, 86, 116, 137, 140 [best: 1000] 118541097369611, 16, 27, 49, 57, 65, 72, 89, 98, 128, 186, 211 [best: 1000] 118970594099211, 16, 27, 49, 57, 66, 67, 97, 127, 136, 160, 163 [best: 1000] 119400090828811, 16, 27, 49, 57, 67, 68, 93, 130, 136, 138, 210 [best: 1000] 119829587558411, 16, 27, 49, 57, 67, 88, 95, 118, 151, 179, 190 [best: 1000] 120259084288011, 16, 27, 49, 57, 68, 87, 93, 114, 130, 196, 226 [best: 1000] 120688581017611, 16, 27, 49, 57, 70, 73, 80, 99, 125, 129, 162 [best: 1000] 121118077747211, 16, 27, 49, 57, 70, 98, 102, 130, 133, 204, 223 [best: 1000] 121547574476811, 16, 27, 49, 57, 72, 73, 109, 131, 139, 154, 191, 235 [best: 1000] 121977071206411, 16, 27, 49, 57, 72, 92, 106, 110, 139, 181, 196 [best: 1000] 122406567936011, 16, 27, 49, 57, 73, 84, 94, 98, 127, 129, 156 [best: 1000] 122836064665611, 16, 27, 49, 57, 73, 103, 107, 111, 125, 147, 169 [best: 1000] 123265561395211, 16, 27, 49, 57, 75, 81, 107, 130, 133, 156, 187 [best: 1000] 123695058124811, 16, 27, 49, 57, 78, 83, 110, 116, 128, 151, 172 [best: 1000] 124124554854411, 16, 27, 49, 57, 81, 92, 99, 138, 149, 155, 199 [best: 1000] 124554051584011, 16, 27, 49, 57, 83, 92, 109, 112, 135, 140, 147 [best: 1000] 124983548313611, 16, 27, 49, 57, 85, 94, 104, 107, 127, 147, 218 [best: 1000] 125413045043211, 16, 27, 49, 58, 59, 63, 94, 118, 137, 166, 168 [best: 1000] 125842541772811, 16, 27, 49, 58, 59, 82, 84, 112, 131, 168, 169 [best: 1000] 126272038502411, 16, 27, 49, 58, 60, 67, 72, 79, 142, 183, 227 [best: 1000] 126701535232011, 16, 27, 49, 58, 60, 86, 88, 119, 136, 156, 179 [best: 1000] 127131031961611, 16, 27, 49, 58, 61, 67, 69, 77, 87, 153, 204 [best: 1000] 127560528691211, 16, 27, 49, 58, 61, 79, 92, 130, 153, 176, 205 [best: 1000] 127990025420811, 16, 27, 49, 58, 61, 104, 108, 120, 141, 148, 202 [best: 1000] 128419522150411, 16, 27, 49, 58, 62, 73, 108, 136, 153, 194, 201 [best: 1000] 128849018880011, 16, 27, 49, 58, 62, 98, 115, 123, 148, 179, 213, 231 [best: 1000] 129278515609611, 16, 27, 49, 58, 63, 83, 89, 124, 134, 171, 184 [best: 1000] 129708012339211, 16, 27, 49, 58, 64, 74, 88, 97, 103, 109, 158 [best: 1000] 130137509068811, 16, 27, 49, 58, 65, 69, 121, 139, 141, 180, 192 [best: 1000] 130567005798411, 16, 27, 49, 58, 65, 94, 105, 116, 121, 156, 184 [best: 1000] 130996502528011, 16, 27, 49, 58, 66, 94, 98, 117, 165, 200, 236 [best: 1000] 131425999257611, 16, 27, 49, 58, 67, 88, 91, 96, 149, 168, 172 [best: 1000] 131855495987211, 16, 27, 49, 58, 68, 95, 111, 138, 162, 176, 192 [best: 1000] 132284992716811, 16, 27, 49, 58, 69, 98, 109, 120, 156, 164, 210 [best: 1000] 132714489446411, 16, 27, 49, 58, 70, 100, 107, 112, 119, 143, 177, 231 [best: 1000] 133143986176011, 16, 27, 49, 58, 72, 73, 132, 143, 164, 176, 212, 252, 310 [best: 1000] 133573482905611, 16, 27, 49, 58, 72, 89, 126, 132, 143, 206, 224 [best: 1000] 134002979635211, 16, 27, 49, 58, 73, 79, 98, 127, 129, 160, 224 [best: 1000] 134432476364811, 16, 27, 49, 58, 73, 101, 109, 116, 123, 144, 182 [best: 1000] 134861973094411, 16, 27, 49, 58, 75, 81, 100, 119, 127, 135, 188 [best: 1000] 135291469824011, 16, 27, 49, 58, 78, 81, 82, 93, 95, 121, 131 [best: 1000] 135720966553611, 16, 27, 49, 58, 81, 85, 110, 125, 148, 179, 213 [best: 1000] 136150463283211, 16, 27, 49, 58, 83, 90, 109, 132, 155, 160, 215 [best: 1000] 136579960012811, 16, 27, 49, 58, 85, 92, 111, 120, 151, 155, 166 [best: 1000] 137009456742411, 16, 27, 49, 58, 88, 100, 104, 127, 150, 157, 162 [best: 1000] 137438953472011, 16, 27, 49, 59, 60, 69, 76, 130, 139, 158, 198 [best: 1000] 137868450201611, 16, 27, 49, 59, 60, 80, 82, 133, 134, 164, 174 [best: 1000] 138297946931211, 16, 27, 49, 59, 60, 99, 117, 119, 120, 129, 210, 227 [best: 1000] 138727443660811, 16, 27, 49, 59, 61, 67, 101, 143, 174, 191, 209 [best: 1000] 139156940390411, 16, 27, 49, 59, 61, 78, 80, 140, 149, 157, 222 [best: 1000] 139586437120011, 16, 27, 49, 59, 61, 97, 112, 113, 142, 183, 224 [best: 1000] 140015933849611, 16, 27, 49, 59, 62, 67, 106, 110, 154, 157 [best: 1000] 140445430579211, 16, 27, 49, 59, 62, 74, 82, 149, 163, 181, 187 [best: 1000] 140874927308811, 16, 27, 49, 59, 62, 85, 113, 133, 169, 224, 232 [best: 1000] 141304424038411, 16, 27, 49, 59, 62, 100, 123, 170, 177, 184, 186 [best: 1000] 141733920768011, 16, 27, 49, 59, 63, 70, 79, 91, 117, 121, 188 [best: 1000] 142163417497611, 16, 27, 49, 59, 63, 87, 103, 119, 156, 194, 195 [best: 1000] 142592914227211, 16, 27, 49, 59, 64, 70, 99, 120, 173, 190, 236 [best: 1000] 143022410956811, 16, 27, 49, 59, 64, 83, 92, 93, 101, 194, 233 [best: 1000] 143451907686411, 16, 27, 49, 59, 64, 108, 129, 141, 162, 196, 244 [best: 1000] 143881404416011, 16, 27, 49, 59, 65, 73, 121, 139, 145, 194, 248 [best: 1000] 144310901145611, 16, 27, 49, 59, 65, 89, 96, 98, 127, 138, 203 [best: 1000] 144740397875211, 16, 27, 49, 59, 66, 73, 83, 118, 140, 146, 159 [best: 1000] 145169894604811, 16, 27, 49, 59, 67, 68, 88, 118, 135, 143, 183 [best: 1000] 145599391334411, 16, 27, 49, 59, 67, 77, 89, 127, 161, 194, 199 [best: 1000] 146028888064011, 16, 27, 49, 59, 67, 91, 93, 112, 140, 170, 208 [best: 1000] 146458384793611, 16, 27, 49, 59, 68, 72, 76, 89, 112, 136, 139 [best: 1000] 146887881523211, 16, 27, 49, 59, 68, 95, 101, 120, 130, 186, 212 [best: 1000] 147317378252811, 16, 27, 49, 59, 69, 83, 87, 97, 112, 144, 195 [best: 1000] 147746874982411, 16, 27, 49, 59, 70, 72, 114, 134, 192, 213, 250 [best: 1000] 148176371712011, 16, 27, 49, 59, 70, 84, 107, 127, 133, 187, 203 [best: 1000] 148605868441611, 16, 27, 49, 59, 70, 101, 136, 138, 153, 191, 225 [best: 1000] 149035365171211, 16, 27, 49, 59, 71, 85, 91, 103, 125, 126, 173 [best: 1000] 149464861900811, 16, 27, 49, 59, 72, 73, 138, 139, 150, 210, 241, 245 [best: 1000] 149894358630411, 16, 27, 49, 59, 72, 85, 89, 97, 99, 130, 143, 236 [best: 1000] 150323855360011, 16, 27, 49, 59, 72, 95, 115, 119, 133, 146, 223 [best: 1000] 150753352089611, 16, 27, 49, 59, 73, 77, 102, 117, 172, 192, 215 [best: 1000] 151182848819211, 16, 27, 49, 59, 73, 85, 88, 118, 122, 207, 216 [best: 1000] 151612345548811, 16, 27, 49, 59, 73, 93, 101, 109, 132, 167, 249, 295 [best: 1000] 152041842278411, 16, 27, 49, 59, 73, 106, 126, 131, 144, 177, 212 [best: 1000] 152471339008011, 16, 27, 49, 59, 74, 85, 92, 111, 141, 228, 266 [best: 1000] 152900835737611, 16, 27, 49, 59, 75, 79, 99, 112, 150, 151, 195 [best: 1000] 153330332467211, 16, 27, 49, 59, 76, 87, 91, 113, 153, 179, 228 [best: 1000] 153759829196811, 16, 27, 49, 59, 77, 98, 103, 107, 110, 147, 172 [best: 1000] 154189325926411, 16, 27, 49, 59, 78, 93, 118, 151, 172, 175, 219 [best: 1000] 154618822656011, 16, 27, 49, 59, 79, 96, 97, 98, 144, 151, 202 [best: 1000] 155048319385611, 16, 27, 49, 59, 81, 90, 93, 94, 116, 142, 182 [best: 1000] 155477816115211, 16, 27, 49, 59, 83, 85, 108, 134, 144, 192, 206 [best: 1000] 155907312844811, 16, 27, 49, 59, 83, 109, 116, 133, 153, 171, 218 [best: 1000] 156336809574411, 16, 27, 49, 59, 85, 88, 90, 148, 173, 192, 245, 271 [best: 1000] 156766306304011, 16, 27, 49, 59, 85, 99, 142, 155, 163, 177, 179, 227 [best: 1000] 157195803033611, 16, 27, 49, 59, 85, 117, 131, 168, 169, 173, 261 [best: 1000] 157625299763211, 16, 27, 49, 59, 87, 90, 91, 92, 139, 148, 175 [best: 1000] 158054796492811, 16, 27, 49, 59, 88, 98, 128, 141, 163, 170, 206 [best: 1000] 158484293222411, 16, 27, 49, 59, 90, 109, 110, 120, 128, 182, 218 [best: 1000] 158913789952011, 16, 27, 49, 59, 92, 102, 105, 112, 157, 178, 202 [best: 1000] 159343286681611, 16, 27, 49, 60, 61, 65, 72, 101, 115, 122, 142 [best: 1000] 159772783411211, 16, 27, 49, 60, 61, 72, 86, 100, 176, 210, 273 [best: 1000] 160202280140811, 16, 27, 49, 60, 61, 82, 85, 110, 145, 154, 157, 233 [best: 1000] 160631776870411, 16, 27, 49, 60, 61, 93, 95, 97, 151, 166, 227 [best: 1000] 161061273600011, 16, 27, 49, 60, 62, 64, 97, 104, 139, 153, 190 [best: 1000] 161490770329611, 16, 27, 49, 60, 62, 72, 118, 137, 156, 167, 197, 208 [best: 1000] 161920267059211, 16, 27, 49, 60, 62, 85, 86, 111, 121, 131, 194, 214 [best: 1000] 162349763788811, 16, 27, 49, 60, 62, 109, 113, 136, 168, 170, 185 [best: 1000] 162779260518411, 16, 27, 49, 60, 63, 73, 96, 117, 149, 181, 219 [best: 1000] 163208757248011, 16, 27, 49, 60, 63, 90, 91, 106, 130, 157 [best: 1000] 163638253977611, 16, 27, 49, 60, 64, 71, 88, 98, 158, 170, 181 [best: 1000] 164067750707211, 16, 27, 49, 60, 64, 85, 87, 94, 118, 120, 144, 254 [best: 1000] 164497247436811, 16, 27, 49, 60, 65, 69, 70, 101, 104, 182, 183 [best: 1000] 164926744166411, 16, 27, 49, 60, 65, 79, 88, 107, 124, 133, 185 [best: 1000] 165356240896011, 16, 27, 49, 60, 65, 96, 111, 121, 123, 164 [best: 1000] 165785737625611, 16, 27, 49, 60, 66, 74, 99, 124, 140, 209, 217 [best: 1000] 166215234355211, 16, 27, 49, 60, 66, 93, 117, 131, 153, 198, 232 [best: 1000] 166644731084811, 16, 27, 49, 60, 67, 75, 90, 106, 140, 153, 197 [best: 1000] 167074227814411, 16, 27, 49, 60, 67, 88, 93, 105, 126, 155, 174 [best: 1000] 167503724544011, 16, 27, 49, 60, 68, 74, 81, 105, 106, 128, 182 [best: 1000] 167933221273611, 16, 27, 49, 60, 68, 99, 101, 131, 145, 158, 169 [best: 1000] 168362718003211, 16, 27, 49, 60, 69, 82, 87, 100, 106, 173, 184 [best: 1000] 168792214732811, 16, 27, 49, 60, 70, 71, 78, 80, 103, 155, 210 [best: 1000] 169221711462411, 16, 27, 49, 60, 70, 84, 86, 144, 192, 199, 266 [best: 1000] 169651208192011, 16, 27, 49, 60, 70, 107, 112, 133, 134, 147, 186 [best: 1000] 170080704921611, 16, 27, 49, 60, 71, 85, 117, 118, 155, 203, 228, 261 [best: 1000] 170510201651211, 16, 27, 49, 60, 72, 73, 131, 140, 148, 177, 200, 202 [best: 1000] 170939698380811, 16, 27, 49, 60, 72, 82, 93, 105, 106, 187, 198 [best: 1000] 171369195110411, 16, 27, 49, 60, 72, 88, 101, 106, 111, 112, 135 [best: 1000] 171798691840011, 16, 27, 49, 60, 72, 103, 122, 135, 137, 148, 201 [best: 1000] 172228188569611, 16, 27, 49, 60, 73, 79, 96, 129, 149, 163, 202 [best: 1000] 172657685299211, 16, 27, 49, 60, 73, 85, 86, 125, 137, 182, 221, 243 [best: 1000] 173087182028811, 16, 27, 49, 60, 73, 97, 110, 118, 168, 182, 240 [best: 1000] 173516678758411, 16, 27, 49, 60, 74, 81, 116, 133, 137, 186, 219, 257 [best: 1000] 173946175488011, 16, 27, 49, 60, 74, 99, 101, 104, 119, 139, 145 [best: 1000] 174375672217611, 16, 27, 49, 60, 75, 92, 101, 121, 128, 159, 189 [best: 1000] 174805168947211, 16, 27, 49, 60, 77, 78, 85, 129, 131, 153, 170, 175 [best: 1000] 175234665676811, 16, 27, 49, 60, 78, 82, 106, 110, 118, 120, 156 [best: 1000] 175664162406411, 16, 27, 49, 60, 78, 105, 126, 134, 158, 172, 190 [best: 1000] 176093659136011, 16, 27, 49, 60, 80, 82, 88, 100, 121, 158, 195 [best: 1000] 176523155865611, 16, 27, 49, 60, 81, 88, 91, 112, 128, 146, 190 [best: 1000] 176952652595211, 16, 27, 49, 60, 82, 89, 90, 128, 144, 163, 168 [best: 1000] 177382149324811, 16, 27, 49, 60, 83, 88, 105, 120, 142, 150, 169 [best: 1000] 177811646054411, 16, 27, 49, 60, 84, 87, 112, 118, 131, 156, 203 [best: 1000] 178241142784011, 16, 27, 49, 60, 84, 99, 114, 161, 169, 179, 220 [best: 1000] 178670639513611, 16, 27, 49, 60, 84, 114, 134, 143, 151, 157, 198 [best: 1000] 179100136243211, 16, 27, 49, 60, 85, 91, 99, 104, 163, 213, 241, 270 [best: 1000] 179529632972811, 16, 27, 49, 60, 85, 99, 104, 116, 153, 187, 189, 202 [best: 1000] 179959129702411, 16, 27, 49, 60, 85, 104, 115, 120, 161, 166, 199, 206 [best: 1000] 180388626432011, 16, 27, 49, 60, 86, 94, 105, 147, 172, 176, 236 [best: 1000] 180818123161611, 16, 27, 49, 60, 87, 94, 120, 141, 158, 163, 174, 275 [best: 1000] 181247619891211, 16, 27, 49, 60, 89, 99, 122, 132, 137, 163, 179 [best: 1000] 181677116620811, 16, 27, 49, 60, 92, 94, 106, 112, 144, 156, 204 [best: 1000] 182106613350411, 16, 27, 49, 61, 62, 64, 88, 93, 184, 218, 247 [best: 1000] 182536110080011, 16, 27, 49, 61, 62, 70, 82, 91, 101, 141, 244 [best: 1000] 182965606809611, 16, 27, 49, 61, 62, 76, 81, 140, 147, 198, 246 [best: 1000] 183395103539211, 16, 27, 49, 61, 62, 83, 131, 153, 171, 204, 228 [best: 1000] 183824600268811, 16, 27, 49, 61, 62, 93, 95, 109, 122, 145, 258 [best: 1000] 184254096998411, 16, 27, 49, 61, 62, 110, 132, 145, 149, 185, 207 [best: 1000] 184683593728011, 16, 27, 49, 61, 63, 72, 88, 140, 147, 193, 239 [best: 1000] 185113090457611, 16, 27, 49, 61, 63, 86, 90, 96, 131, 167, 188 [best: 1000] 185542587187211, 16, 27, 49, 61, 64, 67, 94, 101, 118, 122, 230 [best: 1000] 185972083916811, 16, 27, 49, 61, 64, 74, 78, 131, 135, 182, 184 [best: 1000] 186401580646411, 16, 27, 49, 61, 64, 84, 89, 90, 126, 134, 140 [best: 1000] 186831077376011, 16, 27, 49, 61, 64, 96, 107, 119, 147, 187, 191 [best: 1000] 187260574105611, 16, 27, 49, 61, 65, 69, 94, 113, 123, 185, 190 [best: 1000] 187690070835211, 16, 27, 49, 61, 65, 78, 82, 85, 120, 134, 142 [best: 1000] 188119567564811, 16, 27, 49, 61, 65, 88, 89, 137, 175, 230, 235 [best: 1000] 188549064294411, 16, 27, 49, 61, 66, 69, 87, 89, 119, 140, 173 [best: 1000] 188978561024011, 16, 27, 49, 61, 66, 82, 85, 103, 139, 155, 171 [best: 1000] 189408057753611, 16, 27, 49, 61, 67, 68, 109, 118, 131, 156, 162 [best: 1000] 189837554483211, 16, 27, 49, 61, 67, 75, 94, 111, 170, 171, 196 [best: 1000] 190267051212811, 16, 27, 49, 61, 67, 84, 109, 118, 154, 156, 174 [best: 1000] 190696547942411, 16, 27, 49, 61, 67, 95, 109, 131, 142, 189 [best: 1000] 191126044672011, 16, 27, 49, 61, 68, 72, 73, 114, 148, 174, 183, 258 [best: 1000] 191555541401611, 16, 27, 49, 61, 68, 85, 132, 155, 164, 170, 194 [best: 1000] 191985038131211, 16, 27, 49, 61, 69, 73, 121, 122, 123, 128, 214 [best: 1000] 192414534860811, 16, 27, 49, 61, 69, 88, 99, 121, 125, 149, 200 [best: 1000] 192844031590411, 16, 27, 49, 61, 70, 73, 120, 141, 158, 183, 235 [best: 1000] 193273528320011, 16, 27, 49, 61, 70, 82, 122, 124, 160, 188, 258 [best: 1000] 193703025049611, 16, 27, 49, 61, 70, 92, 105, 113, 133, 134, 215 [best: 1000] 194132521779211, 16, 27, 49, 61, 70, 115, 129, 172, 195, 219, 252 [best: 1000] 194562018508811, 16, 27, 49, 61, 71, 85, 131, 137, 143, 145, 156 [best: 1000] 194991515238411, 16, 27, 49, 61, 72, 73, 120, 137, 172, 188, 255, 299, 335 [best: 1000] 195421011968011, 16, 27, 49, 61, 72, 83, 100, 101, 120, 174, 232 [best: 1000] 195850508697611, 16, 27, 49, 61, 72, 98, 101, 117, 152, 173, 221 [best: 1000] 196280005427211, 16, 27, 49, 61, 73, 78, 82, 136, 160, 167, 258 [best: 1000] 196709502156811, 16, 27, 49, 61, 73, 83, 123, 154, 167, 193, 221 [best: 1000] 197138998886411, 16, 27, 49, 61, 73, 89, 115, 125, 147, 155, 183 [best: 1000] 197568495616011, 16, 27, 49, 61, 73, 98, 126, 149, 167, 175, 205 [best: 1000] 197997992345611, 16, 27, 49, 61, 73, 114, 136, 147, 151, 176, 208 [best: 1000] 198427489075211, 16, 27, 49, 61, 74, 83, 104, 113, 121, 155, 176, 194 [best: 1000] 198856985804811, 16, 27, 49, 61, 74, 98, 133, 144, 196, 201, 211 [best: 1000] 199286482534411, 16, 27, 49, 61, 75, 89, 106, 110, 120, 127, 193 [best: 1000] 199715979264011, 16, 27, 49, 61, 76, 87, 95, 98, 115, 117, 242 [best: 1000] 200145475993611, 16, 27, 49, 61, 77, 85, 109, 125, 126, 151, 174 [best: 1000] 200574972723211, 16, 27, 49, 61, 78, 83, 119, 122, 132, 138, 174, 242 [best: 1000] 201004469452811, 16, 27, 49, 61, 78, 99, 105, 117, 147, 178, 221 [best: 1000] 201433966182411, 16, 27, 49, 61, 79, 87, 92, 95, 101, 106, 229 [best: 1000] 201863462912011, 16, 27, 49, 61, 79, 109, 125, 132, 133, 159, 218 [best: 1000] 202292959641611, 16, 27, 49, 61, 80, 102, 116, 149, 156, 227, 250 [best: 1000] 202722456371211, 16, 27, 49, 61, 81, 93, 101, 104, 182, 194, 224 [best: 1000] 203151953100811, 16, 27, 49, 61, 82, 86, 90, 113, 145, 154, 205 [best: 1000] 203581449830411, 16, 27, 49, 61, 82, 108, 114, 125, 156, 197, 206 [best: 1000] 204010946560011, 16, 27, 49, 61, 83, 93, 124, 127, 140, 200 [best: 1000] 204440443289611, 16, 27, 49, 61, 84, 85, 95, 152, 163, 185, 209 [best: 1000] 204869940019211, 16, 27, 49, 61, 85, 86, 119, 120, 126, 154, 157 [best: 1000] 205299436748811, 16, 27, 49, 61, 85, 94, 116, 138, 185, 200, 223 [best: 1000] 205728933478411, 16, 27, 49, 61, 85, 104, 131, 183, 190, 222 [best: 1000] 206158430208011, 16, 27, 49, 61, 86, 87, 98, 109, 178, 183, 220 [best: 1000] 206587926937611, 16, 27, 49, 61, 86, 105, 107, 139, 170, 199, 213 [best: 1000] 207017423667211, 16, 27, 49, 61, 87, 101, 124, 156, 184, 192, 262 [best: 1000] 207446920396811, 16, 27, 49, 61, 88, 103, 120, 157, 170, 203, 220 [best: 1000] 207876417126411, 16, 27, 49, 61, 90, 92, 128, 131, 135, 173, 195 [best: 1000] 208305913856011, 16, 27, 49, 61, 92, 95, 106, 137, 159, 162, 237 [best: 1000] 208735410585611, 16, 27, 49, 61, 92, 116, 122, 127, 194, 209, 216 [best: 1000] 209164907315211, 16, 27, 49, 61, 94, 103, 119, 133, 142, 146, 222 [best: 1000] 209594404044811, 16, 27, 49, 62, 63, 69, 100, 109, 131, 134, 171 [best: 1000] 210023900774411, 16, 27, 49, 62, 63, 78, 80, 105, 141, 171, 230 [best: 1000] 210453397504011, 16, 27, 49, 62, 63, 86, 123, 137, 157, 185, 212, 275 [best: 1000] 210882894233611, 16, 27, 49, 62, 63, 110, 122, 140, 142, 143, 146 [best: 1000] 211312390963211, 16, 27, 49, 62, 64, 72, 124, 126, 128, 132, 233 [best: 1000] 211741887692811, 16, 27, 49, 62, 64, 85, 96, 122, 170, 201, 245 [best: 1000] 212171384422411, 16, 27, 49, 62, 65, 66, 76, 117, 156, 164, 169 [best: 1000] 212600881152011, 16, 27, 49, 62, 65, 73, 85, 143, 157, 187, 280 [best: 1000] 213030377881611, 16, 27, 49, 62, 65, 84, 93, 112, 131, 159, 192, 233 [best: 1000] 213459874611211, 16, 27, 49, 62, 65, 100, 102, 109, 147, 224, 236 [best: 1000] 213889371340811, 16, 27, 49, 62, 66, 73, 92, 125, 145, 160, 213 [best: 1000] 214318868070411, 16, 27, 49, 62, 66, 85, 138, 152, 190, 200, 238 [best: 1000] 214748364800011, 16, 27, 49, 62, 67, 70, 94, 100, 101, 134, 168 [best: 1000] 215177861529611, 16, 27, 49, 62, 67, 79, 100, 113, 131, 158, 237 [best: 1000] 215607358259211, 16, 27, 49, 62, 67, 90, 118, 130, 182, 222, 234 [best: 1000] 216036854988811, 16, 27, 49, 62, 68, 72, 78, 92, 94, 120, 143 [best: 1000] 216466351718411, 16, 27, 49, 62, 68, 85, 105, 113, 117, 147, 230 [best: 1000] 216895848448011, 16, 27, 49, 62, 69, 72, 91, 144, 161, 206, 253 [best: 1000] 217325345177611, 16, 27, 49, 62, 69, 82, 86, 104, 123, 161, 223 [best: 1000] 217754841907211, 16, 27, 49, 62, 69, 94, 112, 117, 168, 194, 236 [best: 1000] 218184338636811, 16, 27, 49, 62, 70, 74, 76, 101, 122, 156, 232 [best: 1000] 218613835366411, 16, 27, 49, 62, 70, 85, 91, 121, 144, 149, 174 [best: 1000] 219043332096011, 16, 27, 49, 62, 70, 103, 119, 120, 152, 206, 225 [best: 1000] 219472828825611, 16, 27, 49, 62, 71, 81, 106, 116, 160, 161, 170 [best: 1000] 219902325555211, 16, 27, 49, 62, 71, 109, 117, 140, 158, 181, 183, 262 [best: 1000] 220331822284811, 16, 27, 49, 62, 72, 76, 77, 91, 121, 141, 218 [best: 1000] 220761319014411, 16, 27, 49, 62, 72, 81, 130, 142, 172, 182, 208 [best: 1000] 221190815744011, 16, 27, 49, 62, 72, 86, 137, 156, 165, 193, 216, 237 [best: 1000] 221620312473611, 16, 27, 49, 62, 72, 93, 109, 143, 148, 182, 243, 246 [best: 1000] 222049809203211, 16, 27, 49, 62, 72, 103, 109, 127, 172, 193, 226 [best: 1000] 222479305932811, 16, 27, 49, 62, 73, 74, 81, 96, 102, 113, 140 [best: 1000] 222908802662411, 16, 27, 49, 62, 73, 83, 87, 91, 121, 182, 188 [best: 1000] 223338299392011, 16, 27, 49, 62, 73, 92, 114, 120, 132, 167, 207 [best: 1000] 223767796121611, 16, 27, 49, 62, 73, 116, 119, 138, 178, 212, 229 [best: 1000] 224197292851211, 16, 27, 49, 62, 74, 85, 86, 92, 131, 230, 249 [best: 1000] 224626789580811, 16, 27, 49, 62, 74, 98, 124, 131, 139, 152, 168 [best: 1000] 225056286310411, 16, 27, 49, 62, 75, 85, 101, 148, 165, 198, 208 [best: 1000] 225485783040011, 16, 27, 49, 62, 76, 81, 121, 140, 174, 200, 205 [best: 1000] 225915279769611, 16, 27, 49, 62, 77, 81, 91, 136, 142, 153, 154 [best: 1000] 226344776499211, 16, 27, 49, 62, 78, 80, 87, 136, 138, 170, 183 [best: 1000] 226774273228811, 16, 27, 49, 62, 78, 93, 94, 101, 108, 148, 184 [best: 1000] 227203769958411, 16, 27, 49, 62, 79, 84, 111, 137, 145, 171, 195 [best: 1000] 227633266688011, 16, 27, 49, 62, 79, 97, 100, 103, 104, 115, 180 [best: 1000] 228062763417611, 16, 27, 49, 62, 80, 85, 105, 143, 162, 179, 205 [best: 1000] 228492260147211, 16, 27, 49, 62, 81, 83, 90, 100, 107, 118, 179 [best: 1000] 228921756876811, 16, 27, 49, 62, 81, 93, 118, 130, 152, 157, 228 [best: 1000] 229351253606411, 16, 27, 49, 62, 82, 83, 135, 144, 170, 203, 218 [best: 1000] 229780750336011, 16, 27, 49, 62, 82, 101, 132, 141, 154, 165, 184 [best: 1000] 230210247065611, 16, 27, 49, 62, 83, 93, 110, 113, 148, 200, 250 [best: 1000] 230639743795211, 16, 27, 49, 62, 84, 87, 102, 107, 118, 131, 218 [best: 1000] 231069240524811, 16, 27, 49, 62, 85, 86, 104, 112, 148, 182, 191 [best: 1000] 231498737254411, 16, 27, 49, 62, 85, 93, 103, 104, 172, 179, 238 [best: 1000] 231928233984011, 16, 27, 49, 62, 85, 102, 119, 175, 196, 206, 228 [best: 1000] 232357730713611, 16, 27, 49, 62, 85, 117, 128, 146, 178, 221, 229 [best: 1000] 232787227443211, 16, 27, 49, 62, 86, 95, 98, 127, 166, 193, 201 [best: 1000] 233216724172811, 16, 27, 49, 62, 86, 116, 118, 151, 153, 165, 217 [best: 1000] 233646220902411, 16, 27, 49, 62, 87, 101, 121, 131, 164, 170, 235 [best: 1000] 234075717632011, 16, 27, 49, 62, 88, 95, 127, 134, 169, 192, 220 [best: 1000] 234505214361611, 16, 27, 49, 62, 89, 96, 111, 141, 173, 182, 190 [best: 1000] 234934711091211, 16, 27, 49, 62, 90, 111, 118, 139, 148, 205, 217 [best: 1000] 235364207820811, 16, 27, 49, 62, 92, 102, 130, 135, 175, 198, 204 [best: 1000] 235793704550411, 16, 27, 49, 62, 93, 108, 114, 142, 173, 181, 226, 250 [best: 1000] 236223201280011, 16, 27, 49, 62, 95, 96, 102, 131, 146, 148, 196 [best: 1000] 236652698009611, 16, 27, 49, 63, 64, 71, 82, 98, 141, 167, 180, 236 [best: 1000] 237082194739211, 16, 27, 49, 63, 64, 83, 130, 140, 159, 161, 225 [best: 1000] 237511691468811, 16, 27, 49, 63, 65, 67, 87, 106, 132, 173, 223 [best: 1000] 237941188198411, 16, 27, 49, 63, 65, 79, 82, 94, 111, 131, 194 [best: 1000] 238370684928011, 16, 27, 49, 63, 65, 104, 112, 124, 133, 149, 191 [best: 1000] 238800181657611, 16, 27, 49, 63, 66, 80, 112, 127, 156, 164, 234 [best: 1000] 239229678387211, 16, 27, 49, 63, 67, 72, 73, 84, 127, 159, 205, 214 [best: 1000] 239659175116811, 16, 27, 49, 63, 67, 84, 88, 116, 173, 186, 213 [best: 1000] 240088671846411, 16, 27, 49, 63, 68, 70, 99, 135, 137, 139, 164 [best: 1000] 240518168576011, 16, 27, 49, 63, 68, 92, 101, 123, 131, 152, 178 [best: 1000] 240947665305611, 16, 27, 49, 63, 69, 83, 96, 143, 144, 156, 162 [best: 1000] 241377162035211, 16, 27, 49, 63, 70, 75, 99, 112, 133, 140, 166 [best: 1000] 241806658764811, 16, 27, 49, 63, 70, 91, 100, 119, 126, 130, 150 [best: 1000] 242236155494411, 16, 27, 49, 63, 71, 80, 101, 107, 135, 172, 185 [best: 1000] 242665652224011, 16, 27, 49, 63, 72, 73, 126, 136, 147, 161, 174, 252 [best: 1000] 243095148953611, 16, 27, 49, 63, 72, 84, 112, 119, 126, 157, 177 [best: 1000] 243524645683211, 16, 27, 49, 63, 73, 74, 96, 141, 144, 173, 177 [best: 1000] 243954142412811, 16, 27, 49, 63, 73, 83, 108, 147, 184, 194, 196, 222 [best: 1000] 244383639142411, 16, 27, 49, 63, 73, 94, 98, 113, 134, 138, 256 [best: 1000] 244813135872011, 16, 27, 49, 63, 74, 76, 80, 94, 104, 112, 144 [best: 1000] 245242632601611, 16, 27, 49, 63, 74, 97, 128, 156, 174, 198, 252 [best: 1000] 245672129331211, 16, 27, 49, 63, 76, 85, 87, 98, 150, 169, 177 [best: 1000] 246101626060811, 16, 27, 49, 63, 78, 80, 87, 92, 152, 180, 189 [best: 1000] 246531122790411, 16, 27, 49, 63, 79, 80, 86, 96, 129, 141, 178 [best: 1000] 246960619520011, 16, 27, 49, 63, 79, 105, 136, 149, 156, 159, 223 [best: 1000] 247390116249611, 16, 27, 49, 63, 80, 108, 126, 151, 154, 192, 216 [best: 1000] 247819612979211, 16, 27, 49, 63, 82, 88, 89, 136, 154, 180, 222 [best: 1000] 248249109708811, 16, 27, 49, 63, 83, 90, 121, 127, 128, 164, 171 [best: 1000] 248678606438411, 16, 27, 49, 63, 83, 101, 110, 161, 176, 195, 199 [best: 1000] 249108103168011, 16, 27, 49, 63, 84, 95, 123, 138, 157, 161, 189 [best: 1000] 249537599897611, 16, 27, 49, 63, 85, 100, 106, 112, 138, 145, 180 [best: 1000] 249967096627211, 16, 27, 49, 63, 88, 94, 111, 124, 139, 158, 164 [best: 1000] 250396593356811, 16, 27, 49, 63, 90, 107, 115, 130, 149, 159, 187 [best: 1000] 250826090086411, 16, 27, 49, 64, 65, 76, 79, 99, 110, 145, 169 [best: 1000] 251255586816011, 16, 27, 49, 64, 65, 98, 112, 113, 150, 160, 178 [best: 1000] 251685083545611, 16, 27, 49, 64, 66, 75, 115, 141, 156, 164, 174 [best: 1000] 252114580275211, 16, 27, 49, 64, 66, 102, 126, 141, 166, 183, 220 [best: 1000] 252544077004811, 16, 27, 49, 64, 67, 78, 82, 104, 178, 216, 244 [best: 1000] 252973573734411, 16, 27, 49, 64, 67, 97, 98, 113, 148, 151, 157 [best: 1000] 253403070464011, 16, 27, 49, 64, 68, 78, 96, 103, 111, 133, 189 [best: 1000] 253832567193611, 16, 27, 49, 64, 69, 71, 83, 92, 94, 130, 144 [best: 1000] 254262063923211, 16, 27, 49, 64, 69, 85, 100, 122, 128, 142, 143 [best: 1000] 254691560652811, 16, 27, 49, 64, 70, 72, 116, 119, 122, 156, 193 [best: 1000] 255121057382411, 16, 27, 49, 64, 70, 85, 125, 161, 185, 206, 260 [best: 1000] 255550554112011, 16, 27, 49, 64, 71, 73, 79, 89, 146, 183, 196 [best: 1000] 255980050841611, 16, 27, 49, 64, 71, 94, 100, 134, 149, 196, 217 [best: 1000] 256409547571211, 16, 27, 49, 64, 72, 74, 114, 117, 172, 198, 233 [best: 1000] 256839044300811, 16, 27, 49, 64, 72, 83, 105, 150, 153, 198, 239 [best: 1000] 257268541030411, 16, 27, 49, 64, 72, 93, 105, 127, 128, 186, 191 [best: 1000] 257698037760011, 16, 27, 49, 64, 72, 110, 138, 147, 154, 176, 212 [best: 1000] 258127534489611, 16, 27, 49, 64, 73, 81, 93, 106, 110, 206, 223 [best: 1000] 258557031219211, 16, 27, 49, 64, 73, 93, 101, 110, 116, 126, 186 [best: 1000] 258986527948811, 16, 27, 49, 64, 74, 75, 112, 113, 119, 143, 147 [best: 1000] 259416024678411, 16, 27, 49, 64, 74, 90, 93, 118, 155, 160, 223 [best: 1000] 259845521408011, 16, 27, 49, 64, 75, 84, 95, 99, 108, 153, 168 [best: 1000] 260275018137611, 16, 27, 49, 64, 76, 88, 91, 122, 127, 150, 180 [best: 1000] 260704514867211, 16, 27, 49, 64, 78, 79, 82, 101, 123, 172, 183 [best: 1000] 261134011596811, 16, 27, 49, 64, 78, 103, 118, 135, 162, 169, 214 [best: 1000] 261563508326411, 16, 27, 49, 64, 79, 94, 124, 132, 157, 191, 214 [best: 1000] 261993005056011, 16, 27, 49, 64, 80, 92, 96, 112, 117, 156, 170 [best: 1000] 262422501785611, 16, 27, 49, 64, 81, 93, 107, 150, 161, 173, 214 [best: 1000] 262851998515211, 16, 27, 49, 64, 82, 87, 111, 121, 147, 164, 173 [best: 1000] 263281495244811, 16, 27, 49, 64, 83, 108, 114, 136, 140, 172, 213 [best: 1000] 263710991974411, 16, 27, 49, 64, 85, 89, 117, 132, 144, 148, 182 [best: 1000] 264140488704011, 16, 27, 49, 64, 85, 102, 120, 154, 177, 234, 239 [best: 1000] 264569985433611, 16, 27, 49, 64, 86, 87, 99, 103, 137, 174, 175 [best: 1000] 264999482163211, 16, 27, 49, 64, 86, 111, 125, 142, 145, 179, 193, 234 [best: 1000] 265428978892811, 16, 27, 49, 64, 87, 105, 127, 138, 151, 174, 194 [best: 1000] 265858475622411, 16, 27, 49, 64, 90, 95, 113, 139, 143, 148, 159 [best: 1000] 266287972352011, 16, 27, 49, 64, 93, 98, 121, 129, 155, 168, 182 [best: 1000] 266717469081611, 16, 27, 49, 64, 95, 104, 105, 117, 143, 164, 167 [best: 1000] 267146965811211, 16, 27, 49, 65, 66, 80, 100, 106, 130, 148, 152 [best: 1000] 267576462540811, 16, 27, 49, 65, 67, 71, 72, 96, 102, 154, 243 [best: 1000] 268005959270411, 16, 27, 49, 65, 67, 80, 89, 154, 164, 201, 204 [best: 1000] 268435456000011, 16, 27, 49, 65, 67, 95, 124, 132, 168, 172, 200 [best: 1000] 268864952729611, 16, 27, 49, 65, 68, 74, 78, 86, 90, 140, 143 [best: 1000] 269294449459211, 16, 27, 49, 65, 69, 71, 126, 143, 155, 181, 210 [best: 1000] 269723946188811, 16, 27, 49, 65, 69, 85, 100, 124, 141, 160, 188 [best: 1000] 270153442918411, 16, 27, 49, 65, 70, 72, 111, 120, 141, 169, 173 [best: 1000] 270582939648011, 16, 27, 49, 65, 70, 84, 91, 103, 115, 120, 167 [best: 1000] 271012436377611, 16, 27, 49, 65, 70, 105, 106, 161, 168, 169, 216 [best: 1000] 271441933107211, 16, 27, 49, 65, 71, 84, 117, 133, 144, 173, 216 [best: 1000] 271871429836811, 16, 27, 49, 65, 72, 73, 106, 129, 147, 149, 249, 316 [best: 1000] 272300926566411, 16, 27, 49, 65, 72, 80, 89, 117, 142, 181, 235 [best: 1000] 272730423296011, 16, 27, 49, 65, 72, 89, 94, 111, 118, 149, 188 [best: 1000] 273159920025611, 16, 27, 49, 65, 72, 104, 127, 154, 158, 166, 260 [best: 1000] 273589416755211, 16, 27, 49, 65, 73, 78, 89, 104, 110, 135, 251 [best: 1000] 274018913484811, 16, 27, 49, 65, 73, 85, 133, 136, 172, 207, 229 [best: 1000] 274448410214411, 16, 27, 49, 65, 73, 99, 104, 137, 144, 149, 224, 283 [best: 1000] 274877906944011, 16, 27, 49, 65, 74, 77, 81, 101, 127, 132, 210 [best: 1000] 275307403673611, 16, 27, 49, 65, 74, 95, 100, 143, 172, 185, 237 [best: 1000] 275736900403211, 16, 27, 49, 65, 75, 88, 114, 117, 132, 184, 233 [best: 1000] 276166397132811, 16, 27, 49, 65, 77, 78, 100, 108, 115, 144, 213 [best: 1000] 276595893862411, 16, 27, 49, 65, 78, 85, 132, 154, 186, 209, 259 [best: 1000] 277025390592011, 16, 27, 49, 65, 79, 87, 101, 127, 131, 137, 202 [best: 1000] 277454887321611, 16, 27, 49, 65, 80, 83, 93, 114, 115, 119, 156 [best: 1000] 277884384051211, 16, 27, 49, 65, 81, 84, 103, 128, 139, 192, 208 [best: 1000] 278313880780811, 16, 27, 49, 65, 81, 106, 124, 169, 179, 209, 214 [best: 1000] 278743377510411, 16, 27, 49, 65, 83, 87, 99, 104, 106, 194, 224 [best: 1000] 279172874240011, 16, 27, 49, 65, 84, 102, 127, 146, 150, 152, 174 [best: 1000] 279602370969611, 16, 27, 49, 65, 85, 97, 110, 113, 174, 194, 210 [best: 1000] 280031867699211, 16, 27, 49, 65, 85, 112, 118, 165, 168, 207, 211 [best: 1000] 280461364428811, 16, 27, 49, 65, 87, 88, 92, 125, 161, 170, 196 [best: 1000] 280890861158411, 16, 27, 49, 65, 88, 100, 103, 131, 144, 164, 229 [best: 1000] 281320357888011, 16, 27, 49, 65, 91, 99, 116, 138, 168, 170, 190 [best: 1000] 281749854617611, 16, 27, 49, 65, 95, 97, 104, 113, 124, 166, 211 [best: 1000] 282179351347211, 16, 27, 49, 66, 67, 72, 95, 111, 141, 203, 235, 245 [best: 1000] 282608848076811, 16, 27, 49, 66, 67, 88, 115, 124, 151, 168, 202, 230 [best: 1000] 283038344806411, 16, 27, 49, 66, 68, 77, 94, 95, 97, 115, 162 [best: 1000] 283467841536011, 16, 27, 49, 66, 69, 78, 82, 101, 119, 130, 139 [best: 1000] 283897338265611, 16, 27, 49, 66, 70, 74, 99, 125, 159, 185, 224 [best: 1000] 284326834995211, 16, 27, 49, 66, 70, 97, 99, 121, 127, 140, 224 [best: 1000] 284756331724811, 16, 27, 49, 66, 71, 88, 108, 121, 132, 133, 186 [best: 1000] 285185828454411, 16, 27, 49, 66, 72, 78, 84, 87, 92, 168, 214 [best: 1000] 285615325184011, 16, 27, 49, 66, 72, 88, 107, 111, 123, 171, 224 [best: 1000] 286044821913611, 16, 27, 49, 66, 73, 76, 79, 115, 153, 162, 172 [best: 1000] 286474318643211, 16, 27, 49, 66, 73, 86, 121, 149, 154, 180, 181, 215 [best: 1000] 286903815372811, 16, 27, 49, 66, 73, 101, 121, 145, 172, 199, 230 [best: 1000] 287333312102411, 16, 27, 49, 66, 74, 88, 106, 131, 142, 144, 193 [best: 1000] 287762808832011, 16, 27, 49, 66, 76, 77, 86, 94, 103, 120, 188 [best: 1000] 288192305561611, 16, 27, 49, 66, 78, 80, 81, 131, 136, 167, 179 [best: 1000] 288621802291211, 16, 27, 49, 66, 79, 85, 110, 117, 138, 150, 177 [best: 1000] 289051299020811, 16, 27, 49, 66, 80, 97, 102, 125, 170, 179, 183, 204 [best: 1000] 289480795750411, 16, 27, 49, 66, 82, 87, 103, 110, 131, 141, 214 [best: 1000] 289910292480011, 16, 27, 49, 66, 84, 95, 109, 112, 153, 174, 190 [best: 1000] 290339789209611, 16, 27, 49, 66, 85, 98, 103, 108, 182, 213, 238 [best: 1000] 290769285939211, 16, 27, 49, 66, 87, 88, 105, 108, 125, 188, 206 [best: 1000] 291198782668811, 16, 27, 49, 66, 90, 95, 96, 131, 138, 161, 198 [best: 1000] 291628279398411, 16, 27, 49, 67, 68, 76, 89, 94, 99, 158, 171 [best: 1000] 292057776128011, 16, 27, 49, 67, 69, 70, 85, 107, 133, 141, 165 [best: 1000] 292487272857611, 16, 27, 49, 67, 69, 85, 96, 121, 151, 153, 155 [best: 1000] 292916769587211, 16, 27, 49, 67, 70, 74, 95, 127, 141, 179, 181 [best: 1000] 293346266316811, 16, 27, 49, 67, 70, 94, 124, 134, 141, 152, 173 [best: 1000] 293775763046411, 16, 27, 49, 67, 71, 84, 96, 105, 133, 158, 176 [best: 1000] 294205259776011, 16, 27, 49, 67, 72, 74, 77, 104, 108, 114, 176 [best: 1000] 294634756505611, 16, 27, 49, 67, 72, 83, 103, 121, 125, 167, 210 [best: 1000] 295064253235211, 16, 27, 49, 67, 72, 93, 115, 130, 151, 169, 181 [best: 1000] 295493749964811, 16, 27, 49, 67, 72, 117, 123, 130, 167, 181, 220 [best: 1000] 295923246694411, 16, 27, 49, 67, 73, 84, 101, 121, 134, 219, 230 [best: 1000] 296352743424011, 16, 27, 49, 67, 73, 100, 107, 120, 142, 143, 145 [best: 1000] 296782240153611, 16, 27, 49, 67, 74, 82, 103, 114, 132, 137, 184 [best: 1000] 297211736883211, 16, 27, 49, 67, 74, 100, 118, 143, 185, 193, 203 [best: 1000] 297641233612811, 16, 27, 49, 67, 75, 95, 112, 113, 116, 141, 201 [best: 1000] 298070730342411, 16, 27, 49, 67, 76, 98, 127, 132, 140, 149, 217 [best: 1000] 298500227072011, 16, 27, 49, 67, 78, 81, 103, 160, 166, 195, 227 [best: 1000] 298929723801611, 16, 27, 49, 67, 78, 98, 140, 154, 204, 233, 251 [best: 1000] 299359220531211, 16, 27, 49, 67, 80, 83, 89, 102, 132, 162, 186 [best: 1000] 299788717260811, 16, 27, 49, 67, 81, 89, 100, 125, 138, 141, 159 [best: 1000] 300218213990411, 16, 27, 49, 67, 82, 92, 93, 146, 160, 170, 207 [best: 1000] 300647710720011, 16, 27, 49, 67, 83, 87, 137, 141, 151, 165, 224 [best: 1000] 301077207449611, 16, 27, 49, 67, 84, 86, 109, 146, 152, 214, 215 [best: 1000] 301506704179211, 16, 27, 49, 67, 84, 98, 106, 155, 168, 181, 199 [best: 1000] 301936200908811, 16, 27, 49, 67, 84, 118, 147, 155, 157, 160, 236, 252 [best: 1000] 302365697638411, 16, 27, 49, 67, 85, 104, 106, 126, 151, 167, 188 [best: 1000] 302795194368011, 16, 27, 49, 67, 86, 101, 115, 121, 154, 176, 209 [best: 1000] 303224691097611, 16, 27, 49, 67, 87, 94, 113, 138, 148, 172, 200 [best: 1000] 303654187827211, 16, 27, 49, 67, 88, 100, 113, 120, 137, 147, 171 [best: 1000] 304083684556811, 16, 27, 49, 67, 91, 99, 101, 166, 176, 204, 219 [best: 1000] 304513181286411, 16, 27, 49, 67, 93, 104, 111, 122, 132, 198, 210, 223 [best: 1000] 304942678016011, 16, 27, 49, 68, 69, 74, 104, 107, 123, 158, 172 [best: 1000] 305372174745611, 16, 27, 49, 68, 70, 73, 89, 109, 170, 175, 177, 250 [best: 1000] 305801671475211, 16, 27, 49, 68, 70, 97, 109, 123, 126, 158, 195 [best: 1000] 306231168204811, 16, 27, 49, 68, 72, 73, 95, 96, 105, 114, 130, 252 [best: 1000] 306660664934411, 16, 27, 49, 68, 72, 87, 91, 146, 161, 182, 225 [best: 1000] 307090161664011, 16, 27, 49, 68, 73, 78, 87, 118, 119, 129, 205 [best: 1000] 307519658393611, 16, 27, 49, 68, 73, 95, 98, 157, 158, 235, 247 [best: 1000] 307949155123211, 16, 27, 49, 68, 74, 86, 94, 123, 146, 179, 212 [best: 1000] 308378651852811, 16, 27, 49, 68, 76, 82, 97, 123, 146, 157, 178 [best: 1000] 308808148582411, 16, 27, 49, 68, 78, 89, 99, 120, 151, 182, 221 [best: 1000] 309237645312011, 16, 27, 49, 68, 81, 82, 120, 135, 154, 169, 181 [best: 1000] 309667142041611, 16, 27, 49, 68, 83, 84, 90, 95, 121, 189, 193 [best: 1000] 310096638771211, 16, 27, 49, 68, 84, 97, 105, 115, 125, 136, 225 [best: 1000] 310526135500811, 16, 27, 49, 68, 85, 101, 104, 130, 154, 186, 189 [best: 1000] 310955632230411, 16, 27, 49, 68, 89, 92, 105, 114, 119, 124, 166 [best: 1000] 311385128960011, 16, 27, 49, 69, 70, 79, 82, 114, 119, 128, 218 [best: 1000] 311814625689611, 16, 27, 49, 69, 70, 101, 116, 139, 147, 155, 161 [best: 1000] 312244122419211, 16, 27, 49, 69, 72, 73, 74, 94, 134, 149, 227, 240 [best: 1000] 312673619148811, 16, 27, 49, 69, 72, 81, 119, 159, 175, 190, 199 [best: 1000] 313103115878411, 16, 27, 49, 69, 72, 92, 107, 114, 120, 154, 180 [best: 1000] 313532612608011, 16, 27, 49, 69, 73, 80, 86, 92, 169, 176, 217 [best: 1000] 313962109337611, 16, 27, 49, 69, 73, 91, 117, 154, 172, 204, 243 [best: 1000] 314391606067211, 16, 27, 49, 69, 74, 76, 81, 105, 136, 181, 226 [best: 1000] 314821102796811, 16, 27, 49, 69, 74, 96, 116, 134, 149, 178, 219 [best: 1000] 315250599526411, 16, 27, 49, 69, 76, 85, 88, 112, 149, 169, 185 [best: 1000] 315680096256011, 16, 27, 49, 69, 78, 84, 93, 139, 149, 174, 199 [best: 1000] 316109592985611, 16, 27, 49, 69, 79, 93, 109, 119, 123, 134, 201 [best: 1000] 316539089715211, 16, 27, 49, 69, 81, 84, 122, 124, 153, 171, 196 [best: 1000] 316968586444811, 16, 27, 49, 69, 82, 87, 96, 128, 170, 172, 180, 209 [best: 1000] 317398083174411, 16, 27, 49, 69, 82, 102, 124, 157, 184, 190, 191 [best: 1000] 317827579904011, 16, 27, 49, 69, 84, 85, 93, 149, 167, 172, 207 [best: 1000] 318257076633611, 16, 27, 49, 69, 85, 97, 100, 114, 120, 171, 211 [best: 1000] 318686573363211, 16, 27, 49, 69, 88, 92, 112, 127, 131, 183, 198 [best: 1000] 319116070092811, 16, 27, 49, 69, 90, 107, 112, 132, 135, 148 [best: 1000] 319545566822411, 16, 27, 49, 70, 71, 93, 122, 137, 148, 162, 211 [best: 1000] 319975063552011, 16, 27, 49, 70, 72, 77, 85, 119, 124, 170, 219 [best: 1000] 320404560281611, 16, 27, 49, 70, 72, 86, 119, 144, 147, 163, 217 [best: 1000] 320834057011211, 16, 27, 49, 70, 72, 98, 111, 150, 160, 161, 240, 252 [best: 1000] 321263553740811, 16, 27, 49, 70, 73, 75, 104, 149, 155, 158, 223 [best: 1000] 321693050470411, 16, 27, 49, 70, 73, 85, 123, 142, 148, 222, 250, 261 [best: 1000] 322122547200011, 16, 27, 49, 70, 73, 98, 123, 162, 176, 189, 215 [best: 1000] 322552043929611, 16, 27, 49, 70, 74, 83, 88, 161, 171, 219, 220 [best: 1000] 322981540659211, 16, 27, 49, 70, 74, 98, 121, 122, 169, 186, 229 [best: 1000] 323411037388811, 16, 27, 49, 70, 75, 91, 105, 116, 130, 161, 206 [best: 1000] 323840534118411, 16, 27, 49, 70, 76, 103, 115, 127, 129, 137, 148 [best: 1000] 324270030848011, 16, 27, 49, 70, 78, 85, 89, 159, 170, 174, 206 [best: 1000] 324699527577611, 16, 27, 49, 70, 79, 84, 101, 142, 149, 165, 172 [best: 1000] 325129024307211, 16, 27, 49, 70, 80, 91, 103, 115, 189, 198, 221 [best: 1000] 325558521036811, 16, 27, 49, 70, 81, 104, 116, 127, 139, 151, 160 [best: 1000] 325988017766411, 16, 27, 49, 70, 83, 89, 106, 138, 139, 168, 184 [best: 1000] 326417514496011, 16, 27, 49, 70, 84, 85, 109, 161, 182, 196, 208 [best: 1000] 326847011225611, 16, 27, 49, 70, 84, 109, 121, 158, 173, 183, 195 [best: 1000] 327276507955211, 16, 27, 49, 70, 85, 91, 136, 141, 144, 170, 235, 255 [best: 1000] 327706004684811, 16, 27, 49, 70, 85, 104, 106, 140, 176, 180, 208 [best: 1000] 328135501414411, 16, 27, 49, 70, 86, 88, 110, 134, 143, 189, 198 [best: 1000] 328564998144011, 16, 27, 49, 70, 87, 91, 95, 140, 143, 184, 206 [best: 1000] 328994494873611, 16, 27, 49, 70, 87, 109, 126, 154, 159, 166, 200 [best: 1000] 329423991603211, 16, 27, 49, 70, 88, 102, 116, 125, 127, 201, 220 [best: 1000] 329853488332811, 16, 27, 49, 70, 89, 101, 139, 141, 180, 204, 212 [best: 1000] 330282985062411, 16, 27, 49, 70, 91, 98, 135, 139, 140, 173, 190, 226 [best: 1000] 330712481792011, 16, 27, 49, 70, 92, 111, 113, 132, 153, 166, 193, 260 [best: 1000] 331141978521611, 16, 27, 49, 70, 95, 108, 110, 125, 150, 152, 164 [best: 1000] 331571475251211, 16, 27, 49, 71, 72, 83, 91, 118, 119, 131, 163 [best: 1000] 332000971980811, 16, 27, 49, 71, 73, 74, 100, 154, 159, 163, 226 [best: 1000] 332430468710411, 16, 27, 49, 71, 73, 90, 96, 129, 176, 183, 185, 224 [best: 1000] 332859965440011, 16, 27, 49, 71, 74, 79, 100, 123, 142, 154 [best: 1000] 333289462169611, 16, 27, 49, 71, 76, 79, 81, 88, 125, 139, 188 [best: 1000] 333718958899211, 16, 27, 49, 71, 78, 85, 98, 126, 130, 138, 151 [best: 1000] 334148455628811, 16, 27, 49, 71, 81, 87, 102, 135, 139, 160, 199 [best: 1000] 334577952358411, 16, 27, 49, 71, 82, 94, 130, 140, 150, 151, 200 [best: 1000] 335007449088011, 16, 27, 49, 71, 83, 103, 117, 129, 147, 167, 182 [best: 1000] 335436945817611, 16, 27, 49, 71, 86, 93, 111, 113, 142, 145, 150 [best: 1000] 335866442547211, 16, 27, 49, 72, 73, 74, 92, 119, 124, 142, 143, 255 [best: 1000] 336295939276811, 16, 27, 49, 72, 73, 76, 108, 118, 119, 132, 144, 246 [best: 1000] 336725436006411, 16, 27, 49, 72, 73, 79, 89, 118, 119, 134, 158, 180 [best: 1000] 337154932736011, 16, 27, 49, 72, 73, 81, 96, 101, 119, 203, 243, 247 [best: 1000] 337584429465611, 16, 27, 49, 72, 73, 83, 109, 119, 120, 136, 184, 237 [best: 1000] 338013926195211, 16, 27, 49, 72, 73, 86, 88, 99, 105, 119, 146, 306 [best: 1000] 338443422924811, 16, 27, 49, 72, 73, 88, 93, 119, 140, 163, 183, 185 [best: 1000] 338872919654411, 16, 27, 49, 72, 73, 90, 108, 112, 119, 125, 158, 191 [best: 1000] 339302416384011, 16, 27, 49, 72, 73, 93, 115, 119, 177, 186, 222, 261 [best: 1000] 339731913113611, 16, 27, 49, 72, 73, 96, 119, 182, 186, 210, 212, 294 [best: 1000] 340161409843211, 16, 27, 49, 72, 73, 100, 119, 126, 137, 152, 194, 262 [best: 1000] 340590906572811, 16, 27, 49, 72, 73, 104, 119, 151, 171, 193, 223, 226 [best: 1000] 341020403302411, 16, 27, 49, 72, 73, 108, 119, 136, 149, 198, 243, 272 [best: 1000] 341449900032011, 16, 27, 49, 72, 73, 113, 119, 142, 176, 205, 221, 285 [best: 1000] 341879396761611, 16, 27, 49, 72, 73, 119, 121, 149, 187, 225, 258 [best: 1000] 342308893491211, 16, 27, 49, 72, 73, 119, 133, 146, 189, 210, 228 [best: 1000] 342738390220811, 16, 27, 49, 72, 74, 76, 85, 95, 99, 131, 176 [best: 1000] 343167886950411, 16, 27, 49, 72, 74, 86, 88, 97, 147, 221, 227 [best: 1000] 343597383680011, 16, 27, 49, 72, 74, 102, 106, 122, 130, 159, 225 [best: 1000] 344026880409611, 16, 27, 49, 72, 75, 87, 112, 148, 168, 227, 251 [best: 1000] 344456377139211, 16, 27, 49, 72, 76, 84, 112, 140, 183, 194, 233 [best: 1000] 344885873868811, 16, 27, 49, 72, 77, 79, 107, 134, 164, 178, 197 [best: 1000] 345315370598411, 16, 27, 49, 72, 78, 79, 83, 109, 196, 220, 231 [best: 1000] 345744867328011, 16, 27, 49, 72, 78, 88, 141, 152, 161, 167, 227 [best: 1000] 346174364057611, 16, 27, 49, 72, 79, 80, 133, 144, 153, 169, 221 [best: 1000] 346603860787211, 16, 27, 49, 72, 79, 88, 147, 160, 176, 197, 241 [best: 1000] 347033357516811, 16, 27, 49, 72, 79, 104, 118, 140, 163, 178, 184 [best: 1000] 347462854246411, 16, 27, 49, 72, 80, 82, 112, 127, 129, 164, 212 [best: 1000] 347892350976011, 16, 27, 49, 72, 80, 105, 121, 175, 185, 211, 218 [best: 1000] 348321847705611, 16, 27, 49, 72, 81, 88, 120, 171, 210, 226, 236 [best: 1000] 348751344435211, 16, 27, 49, 72, 81, 104, 111, 136, 161, 199, 238 [best: 1000] 349180841164811, 16, 27, 49, 72, 82, 84, 105, 111, 155, 191, 203 [best: 1000] 349610337894411, 16, 27, 49, 72, 83, 84, 128, 135, 160, 175 [best: 1000] 350039834624011, 16, 27, 49, 72, 83, 99, 133, 137, 188, 201, 227 [best: 1000] 350469331353611, 16, 27, 49, 72, 84, 88, 141, 142, 169, 176, 193 [best: 1000] 350898828083211, 16, 27, 49, 72, 84, 115, 138, 159, 169, 184, 194 [best: 1000] 351328324812811, 16, 27, 49, 72, 86, 88, 123, 156, 165, 221, 262 [best: 1000] 351757821542411, 16, 27, 49, 72, 86, 97, 112, 144, 158, 167, 244 [best: 1000] 352187318272011, 16, 27, 49, 72, 86, 108, 109, 110, 116, 119, 159 [best: 1000] 352616815001611, 16, 27, 49, 72, 86, 124, 139, 140, 187, 216, 233 [best: 1000] 353046311731211, 16, 27, 49, 72, 87, 107, 108, 147, 155, 192, 228 [best: 1000] 353475808460811, 16, 27, 49, 72, 88, 103, 113, 134, 177, 191, 198 [best: 1000] 353905305190411, 16, 27, 49, 72, 89, 97, 102, 120, 178, 188, 209 [best: 1000] 354334801920011, 16, 27, 49, 72, 90, 102, 104, 112, 117, 134, 157 [best: 1000] 354764298649611, 16, 27, 49, 72, 92, 101, 102, 115, 158, 170, 221 [best: 1000] 355193795379211, 16, 27, 49, 72, 93, 103, 105, 115, 139, 158, 180 [best: 1000] 355623292108811, 16, 27, 49, 72, 96, 99, 121, 132, 167, 199, 248 [best: 1000] 356052788838411, 16, 27, 49, 72, 97, 99, 102, 109, 162, 169, 190 [best: 1000] 356482285568011, 16, 27, 49, 72, 99, 103, 122, 138, 163, 185, 196, 225 [best: 1000] 356911782297611, 16, 27, 49, 73, 74, 81, 83, 121, 126, 128, 208, 281 [best: 1000] 357341279027211, 16, 27, 49, 73, 74, 88, 108, 143, 145, 165, 191 [best: 1000] 357770775756811, 16, 27, 49, 73, 74, 104, 124, 154, 170, 218, 266 [best: 1000] 358200272486411, 16, 27, 49, 73, 75, 84, 121, 143, 147, 177, 193 [best: 1000] 358629769216011, 16, 27, 49, 73, 75, 109, 110, 123, 142, 171, 211 [best: 1000] 359059265945611, 16, 27, 49, 73, 76, 89, 116, 130, 145, 163, 193 [best: 1000] 359488762675211, 16, 27, 49, 73, 77, 84, 107, 126, 173, 174, 204 [best: 1000] 359918259404811, 16, 27, 49, 73, 77, 107, 111, 112, 148, 152, 162, 227 [best: 1000] 360347756134411, 16, 27, 49, 73, 78, 89, 122, 134, 136, 183, 207 [best: 1000] 360777252864011, 16, 27, 49, 73, 79, 82, 86, 103, 153, 158, 165 [best: 1000] 361206749593611, 16, 27, 49, 73, 79, 88, 149, 157, 184, 189, 232, 233 [best: 1000] 361636246323211, 16, 27, 49, 73, 79, 102, 129, 146, 193, 195, 216 [best: 1000] 362065743052811, 16, 27, 49, 73, 80, 81, 108, 157, 159, 168, 212 [best: 1000] 362495239782411, 16, 27, 49, 73, 80, 90, 132, 134, 148, 154, 188 [best: 1000] 362924736512011, 16, 27, 49, 73, 80, 119, 128, 150, 151, 201, 202 [best: 1000] 363354233241611, 16, 27, 49, 73, 81, 88, 109, 111, 176, 209, 212 [best: 1000] 363783729971211, 16, 27, 49, 73, 81, 99, 109, 119, 159, 197, 219 [best: 1000] 364213226700811, 16, 27, 49, 73, 81, 121, 128, 137, 145, 176, 178, 225 [best: 1000] 364642723430411, 16, 27, 49, 73, 82, 95, 104, 121, 131, 150, 224 [best: 1000] 365072220160011, 16, 27, 49, 73, 83, 89, 93, 115, 152, 165, 211 [best: 1000] 365501716889611, 16, 27, 49, 73, 84, 85, 92, 102, 105, 121, 161 [best: 1000] 365931213619211, 16, 27, 49, 73, 84, 95, 117, 127, 152, 180, 210 [best: 1000] 366360710348811, 16, 27, 49, 73, 85, 86, 125, 134, 158, 171, 174 [best: 1000] 366790207078411, 16, 27, 49, 73, 85, 103, 107, 109, 152, 183, 227 [best: 1000] 367219703808011, 16, 27, 49, 73, 86, 88, 109, 167, 186, 188, 211 [best: 1000] 367649200537611, 16, 27, 49, 73, 86, 94, 109, 114, 150, 184, 266 [best: 1000] 368078697267211, 16, 27, 49, 73, 86, 102, 110, 142, 156, 168, 190 [best: 1000] 368508193996811, 16, 27, 49, 73, 86, 111, 118, 148, 163, 188, 231 [best: 1000] 368937690726411, 16, 27, 49, 73, 86, 129, 133, 167, 184, 213, 223 [best: 1000] 369367187456011, 16, 27, 49, 73, 87, 103, 106, 117, 147, 199, 216, 235 [best: 1000] 369796684185611, 16, 27, 49, 73, 88, 93, 96, 111, 113, 197, 212 [best: 1000] 370226180915211, 16, 27, 49, 73, 88, 103, 134, 160, 177, 200, 259 [best: 1000] 370655677644811, 16, 27, 49, 73, 88, 122, 129, 152, 159, 175, 177, 238 [best: 1000] 371085174374411, 16, 27, 49, 73, 89, 100, 128, 138, 160, 191, 202, 232 [best: 1000] 371514671104011, 16, 27, 49, 73, 90, 91, 102, 124, 164, 184, 217 [best: 1000] 371944167833611, 16, 27, 49, 73, 91, 95, 113, 150, 170, 185 [best: 1000] 372373664563211, 16, 27, 49, 73, 92, 103, 115, 136, 178, 203, 214 [best: 1000] 372803161292811, 16, 27, 49, 73, 93, 105, 129, 145, 182, 237, 247, 288 [best: 1000] 373232658022411, 16, 27, 49, 73, 94, 110, 118, 126, 140, 183, 196 [best: 1000] 373662154752011, 16, 27, 49, 73, 95, 118, 120, 135, 136, 199, 211 [best: 1000] 374091651481611, 16, 27, 49, 73, 97, 112, 124, 165, 173, 179, 249, 257 [best: 1000] 374521148211211, 16, 27, 49, 74, 75, 83, 89, 114, 135, 168, 185 [best: 1000] 374950644940811, 16, 27, 49, 74, 76, 85, 86, 88, 98, 132, 162 [best: 1000] 375380141670411, 16, 27, 49, 74, 77, 92, 100, 105, 151, 185, 232 [best: 1000] 375809638400011, 16, 27, 49, 74, 78, 92, 112, 114, 128, 139, 192 [best: 1000] 376239135129611, 16, 27, 49, 74, 79, 90, 99, 136, 147, 193, 204 [best: 1000] 376668631859211, 16, 27, 49, 74, 80, 90, 121, 130, 144, 165, 169 [best: 1000] 377098128588811, 16, 27, 49, 74, 81, 92, 119, 134, 166, 168, 227 [best: 1000] 377527625318411, 16, 27, 49, 74, 82, 93, 94, 99, 157, 210, 211 [best: 1000] 377957122048011, 16, 27, 49, 74, 83, 90, 96, 130, 156, 161, 174 [best: 1000] 378386618777611, 16, 27, 49, 74, 84, 86, 104, 134, 137, 152, 195 [best: 1000] 378816115507211, 16, 27, 49, 74, 84, 104, 152, 160, 166, 179, 190 [best: 1000] 379245612236811, 16, 27, 49, 74, 85, 95, 105, 106, 107, 163, 225 [best: 1000] 379675108966411, 16, 27, 49, 74, 85, 110, 113, 137, 175, 192, 258 [best: 1000] 380104605696011, 16, 27, 49, 74, 87, 94, 100, 104, 125, 153, 213 [best: 1000] 380534102425611, 16, 27, 49, 74, 89, 95, 99, 100, 101, 114, 140 [best: 1000] 380963599155211, 16, 27, 49, 74, 92, 106, 126, 145, 146, 181, 238 [best: 1000] 381393095884811, 16, 27, 49, 75, 76, 81, 100, 114, 129, 142, 208 [best: 1000] 381822592614411, 16, 27, 49, 75, 78, 90, 101, 112, 118, 142, 155 [best: 1000] 382252089344011, 16, 27, 49, 75, 79, 104, 122, 127, 159, 191, 207 [best: 1000] 382681586073611, 16, 27, 49, 75, 81, 97, 98, 105, 116, 134, 233 [best: 1000] 383111082803211, 16, 27, 49, 75, 84, 94, 102, 155, 184, 186, 205 [best: 1000] 383540579532811, 16, 27, 49, 75, 88, 96, 107, 108, 110, 185, 196 [best: 1000] 383970076262411, 16, 27, 49, 76, 78, 99, 113, 114, 148, 176, 208 [best: 1000] 384399572992011, 16, 27, 49, 76, 80, 96, 105, 119, 143, 154, 203 [best: 1000] 384829069721611, 16, 27, 49, 76, 83, 88, 96, 116, 139, 157, 199 [best: 1000] 385258566451211, 16, 27, 49, 76, 86, 99, 125, 140, 157, 195, 226 [best: 1000] 385688063180811, 16, 27, 49, 76, 91, 93, 96, 128, 140, 158, 211 [best: 1000] 386117559910411, 16, 27, 49, 77, 80, 82, 108, 116, 119, 154, 202 [best: 1000] 386547056640011, 16, 27, 49, 77, 83, 84, 102, 106, 113, 131, 171, 195 [best: 1000] 386976553369611, 16, 27, 49, 77, 83, 108, 115, 139, 150, 165, 206 [best: 1000] 387406050099211, 16, 27, 49, 77, 85, 88, 110, 117, 132, 137, 205 [best: 1000] 387835546828811, 16, 27, 49, 78, 79, 82, 134, 144, 155, 160, 186 [best: 1000] 388265043558411, 16, 27, 49, 78, 80, 82, 86, 117, 145, 164, 185 [best: 1000] 388694540288011, 16, 27, 49, 78, 81, 84, 118, 138, 141, 151, 153 [best: 1000] 389124037017611, 16, 27, 49, 78, 82, 86, 92, 115, 154, 162, 209 [best: 1000] 389553533747211, 16, 27, 49, 78, 82, 106, 139, 154, 205, 210, 260 [best: 1000] 389983030476811, 16, 27, 49, 78, 84, 95, 122, 128, 130, 164, 210 [best: 1000] 390412527206411, 16, 27, 49, 78, 87, 89, 101, 116, 149, 160, 173 [best: 1000] 390842023936011, 16, 27, 49, 78, 87, 104, 121, 165, 167, 195, 212 [best: 1000] 391271520665611, 16, 27, 49, 78, 88, 109, 113, 121, 167, 192, 206 [best: 1000] 391701017395211, 16, 27, 49, 78, 90, 97, 117, 137, 147, 153, 237 [best: 1000] 392130514124811, 16, 27, 49, 78, 94, 108, 122, 129, 146, 158, 198 [best: 1000] 3925600108544total chains: 3925602238687new expressions at chain length: n sum avg min max 4: 0 15 0 14 15 5: 0 0 0 0 0 6: 0 0 0 0 0 7: 0 0 0 0 0 8: 1 12 12 12 12 9: 29 386 13 5 2110: 792 12753 16 6 3111: 23960 432742 18 3 3612: 820260 16302610 19 2 4113: 31635518 686540493 21 0 4614: 1362868253 32144576052 23 0 5115: 65035933026 1659988630485 25 0 5616: 7435278042 209418283570 28 0 6117: 97131457 3042206894 31 2 6418: 1011376 34711489 34 2 6719: 7746 298838 38 11 6420: 0 0 0 0 021: 0 0 0 0 0real 331m1.896suser 325m55.892ssys 0m15.482sEOMstderr end 2025-05-01 06:22:53 (21760): called boinc_finish(0) </stderr_txt> ]]>
