Task 15317
| Name | batch_89__job_job-000163_1 |
| Workunit | 12091 |
| Created | 30 Apr 2025, 9:48:44 UTC |
| Sent | 30 Apr 2025, 21:10:15 UTC |
| Report deadline | 7 May 2025, 21:10:15 UTC |
| Received | 1 May 2025, 6:28:15 UTC |
| Server state | Over |
| Outcome | Success |
| Client state | Done |
| Exit status | 0 (0x00000000) |
| Computer ID | 32910 |
| Run time | 9 hours 17 min 45 sec |
| CPU time | 7 hours 37 min 53 sec |
| Validate state | Valid |
| Credit | 60.34 |
| Device peak FLOPS | 1.93 GFLOPS |
| Application version | Universal Docker app v1.08 (docker) x86_64-pc-linux-gnu |
| Peak working set size | 26.85 MB |
| Peak swap size | 1.90 GB |
| Peak disk usage | 137.00 KB |
Stderr output
<core_client_version>8.2.2</core_client_version>
<![CDATA[
<stderr_txt>
, 42, 54, 63, 105, 112, 168, 187, 206, 211 [best: 1000] 721554505728
4, 8, 32, 39, 42, 54, 79, 80, 85, 96, 145, 160 [best: 1000] 725849473024
4, 8, 32, 39, 42, 55, 58, 67, 83, 90, 111, 200 [best: 1000] 730144440320
4, 8, 32, 39, 42, 55, 66, 85, 124, 140, 188, 200 [best: 1000] 734439407616
4, 8, 32, 39, 42, 55, 81, 118, 121, 156, 166, 193 [best: 1000] 738734374912
4, 8, 32, 39, 42, 56, 59, 76, 126, 141, 151, 193, 223 [best: 1000] 743029342208
4, 8, 32, 39, 42, 56, 73, 94, 106, 120, 124, 168 [best: 1000] 747324309504
4, 8, 32, 39, 42, 57, 59, 80, 101, 112, 149, 152 [best: 1000] 751619276800
4, 8, 32, 39, 42, 57, 78, 96, 106, 117, 165, 171 [best: 1000] 755914244096
4, 8, 32, 39, 42, 58, 64, 69, 96, 137, 165, 172 [best: 1000] 760209211392
4, 8, 32, 39, 42, 58, 79, 87, 95, 144, 165, 209 [best: 1000] 764504178688
4, 8, 32, 39, 42, 59, 62, 80, 126, 142, 189, 213 [best: 1000] 768799145984
4, 8, 32, 39, 42, 59, 79, 105, 108, 117, 125, 161 [best: 1000] 773094113280
4, 8, 32, 39, 42, 60, 64, 113, 117, 152, 187, 191 [best: 1000] 777389080576
4, 8, 32, 39, 42, 60, 79, 122, 131, 139, 155, 187 [best: 1000] 781684047872
4, 8, 32, 39, 42, 61, 64, 100, 128, 130, 177, 195 [best: 1000] 785979015168
4, 8, 32, 39, 42, 62, 64, 76, 79, 107, 124, 188 [best: 1000] 790273982464
4, 8, 32, 39, 42, 62, 83, 85, 95, 123, 126, 142 [best: 1000] 794568949760
4, 8, 32, 39, 42, 63, 68, 122, 127, 129, 147, 172 [best: 1000] 798863917056
4, 8, 32, 39, 42, 63, 81, 116, 128, 161, 187, 219 [best: 1000] 803158884352
4, 8, 32, 39, 42, 64, 65, 71, 81, 147, 171, 180 [best: 1000] 807453851648
4, 8, 32, 39, 42, 64, 78, 97, 118, 133, 155, 173 [best: 1000] 811748818944
4, 8, 32, 39, 42, 64, 100, 116, 129, 165, 191, 214 [best: 1000] 816043786240
4, 8, 32, 39, 42, 65, 75, 86, 95, 96, 107, 126 [best: 1000] 820338753536
4, 8, 32, 39, 42, 65, 85, 90, 109, 115, 117, 118 [best: 1000] 824633720832
4, 8, 32, 39, 42, 65, 108, 122, 144, 179, 181, 190 [best: 1000] 828928688128
4, 8, 32, 39, 42, 67, 68, 90, 95, 107, 122, 156 [best: 1000] 833223655424
4, 8, 32, 39, 42, 67, 91, 116, 123, 153, 180, 226 [best: 1000] 837518622720
4, 8, 32, 39, 42, 68, 86, 106, 127, 135, 172, 186 [best: 1000] 841813590016
4, 8, 32, 39, 42, 70, 77, 85, 115, 141, 143, 162 [best: 1000] 846108557312
4, 8, 32, 39, 42, 71, 80, 104, 127, 150, 186, 220 [best: 1000] 850403524608
4, 8, 32, 39, 42, 72, 80, 90, 115, 125, 157, 187 [best: 1000] 854698491904
4, 8, 32, 39, 42, 73, 95, 96, 104, 128, 157, 197 [best: 1000] 858993459200
4, 8, 32, 39, 42, 75, 85, 105, 119, 142, 145, 189 [best: 1000] 863288426496
4, 8, 32, 39, 42, 77, 85, 98, 111, 131, 179, 202 [best: 1000] 867583393792
4, 8, 32, 39, 42, 78, 98, 102, 118, 162, 187, 225 [best: 1000] 871878361088
4, 8, 32, 39, 42, 80, 81, 83, 103, 145, 177, 198 [best: 1000] 876173328384
4, 8, 32, 39, 42, 81, 82, 102, 110, 125, 194, 212 [best: 1000] 880468295680
4, 8, 32, 39, 42, 81, 100, 103, 104, 126, 144, 145 [best: 1000] 884763262976
4, 8, 32, 39, 42, 83, 89, 110, 124, 151, 161, 179, 197 [best: 1000] 889058230272
4, 8, 32, 39, 42, 85, 93, 110, 120, 137, 138, 208 [best: 1000] 893353197568
4, 8, 32, 39, 43, 44, 45, 71, 110, 152, 182 [best: 1000] 897648164864
4, 8, 32, 39, 43, 44, 56, 79, 94, 138, 167, 195 [best: 1000] 901943132160
4, 8, 32, 39, 43, 44, 75, 81, 104, 139, 145, 168 [best: 1000] 906238099456
4, 8, 32, 39, 43, 45, 48, 63, 66, 125, 140, 189 [best: 1000] 910533066752
4, 8, 32, 39, 43, 45, 54, 116, 135, 147, 168, 252 [best: 1000] 914828034048
4, 8, 32, 39, 43, 45, 62, 81, 105, 111, 138, 184 [best: 1000] 919123001344
4, 8, 32, 39, 43, 45, 71, 73, 77, 158, 174, 175 [best: 1000] 923417968640
4, 8, 32, 39, 43, 45, 85, 95, 113, 147, 154, 177, 189 [best: 1000] 927712935936
4, 8, 32, 39, 43, 46, 48, 104, 108, 126, 154, 188 [best: 1000] 932007903232
4, 8, 32, 39, 43, 46, 55, 74, 130, 142, 147, 178 [best: 1000] 936302870528
4, 8, 32, 39, 43, 46, 63, 109, 136, 142, 146, 188 [best: 1000] 940597837824
4, 8, 32, 39, 43, 46, 75, 96, 98, 135, 153, 186 [best: 1000] 944892805120
4, 8, 32, 39, 43, 46, 95, 96, 111, 146, 178, 197 [best: 1000] 949187772416
4, 8, 32, 39, 43, 47, 58, 67, 89, 94, 105, 132 [best: 1000] 953482739712
4, 8, 32, 39, 43, 47, 92, 96, 130, 138, 155, 211 [best: 1000] 957777707008
4, 8, 32, 39, 43, 48, 62, 65, 80, 128, 183, 190 [best: 1000] 962072674304
4, 8, 32, 39, 43, 48, 92, 117, 131, 151, 167, 203 [best: 1000] 966367641600
4, 8, 32, 39, 43, 49, 61, 62, 91, 92, 109, 119 [best: 1000] 970662608896
4, 8, 32, 39, 43, 49, 80, 118, 148, 153, 178, 195 [best: 1000] 974957576192
4, 8, 32, 39, 43, 50, 55, 65, 102, 104, 123, 147, 238 [best: 1000] 979252543488
4, 8, 32, 39, 43, 50, 62, 70, 104, 134, 140, 143, 165 [best: 1000] 983547510784
4, 8, 32, 39, 43, 50, 69, 81, 87, 104, 118, 140, 164 [best: 1000] 987842478080
4, 8, 32, 39, 43, 50, 82, 104, 119, 126, 168, 172, 200 [best: 1000] 992137445376
4, 8, 32, 39, 43, 51, 54, 71, 106, 130, 141, 152 [best: 1000] 996432412672
4, 8, 32, 39, 43, 51, 80, 84, 101, 124, 143, 147 [best: 1000] 1000727379968
4, 8, 32, 39, 43, 52, 68, 87, 132, 136, 155, 163, 181 [best: 1000] 1005022347264
4, 8, 32, 39, 43, 53, 60, 104, 136, 146, 153, 184 [best: 1000] 1009317314560
4, 8, 32, 39, 43, 53, 81, 82, 89, 131, 184, 204 [best: 1000] 1013612281856
4, 8, 32, 39, 43, 54, 61, 68, 112, 147, 166, 178 [best: 1000] 1017907249152
4, 8, 32, 39, 43, 54, 75, 80, 99, 128, 140, 179 [best: 1000] 1022202216448
4, 8, 32, 39, 43, 55, 57, 73, 80, 144, 172, 176 [best: 1000] 1026497183744
4, 8, 32, 39, 43, 55, 69, 76, 107, 126, 159, 189 [best: 1000] 1030792151040
4, 8, 32, 39, 43, 55, 97, 108, 133, 158, 162, 168 [best: 1000] 1035087118336
4, 8, 32, 39, 43, 56, 80, 87, 118, 145, 151, 186 [best: 1000] 1039382085632
4, 8, 32, 39, 43, 57, 67, 69, 84, 96, 132, 183 [best: 1000] 1043677052928
4, 8, 32, 39, 43, 57, 102, 110, 111, 123, 145, 164 [best: 1000] 1047972020224
4, 8, 32, 39, 43, 58, 71, 125, 127, 129, 145, 183 [best: 1000] 1052266987520
4, 8, 32, 39, 43, 58, 102, 119, 125, 142, 155, 208 [best: 1000] 1056561954816
4, 8, 32, 39, 43, 59, 77, 95, 96, 105, 109, 160 [best: 1000] 1060856922112
4, 8, 32, 39, 43, 60, 65, 66, 77, 131, 151, 163 [best: 1000] 1065151889408
4, 8, 32, 39, 43, 60, 86, 102, 114, 116, 128, 137, 188 [best: 1000] 1069446856704
4, 8, 32, 39, 43, 61, 78, 80, 82, 119, 149, 159 [best: 1000] 1073741824000
4, 8, 32, 39, 43, 62, 73, 93, 103, 133, 147, 183 [best: 1000] 1078036791296
4, 8, 32, 39, 43, 63, 65, 128, 147, 156, 219, 229 [best: 1000] 1082331758592
4, 8, 32, 39, 43, 63, 81, 85, 88, 93, 164, 200 [best: 1000] 1086626725888
4, 8, 32, 39, 43, 64, 65, 86, 94, 95, 146, 167, 207 [best: 1000] 1090921693184
4, 8, 32, 39, 43, 64, 78, 106, 109, 117, 139, 198 [best: 1000] 1095216660480
4, 8, 32, 39, 43, 64, 98, 114, 120, 143, 185, 211 [best: 1000] 1099511627776
4, 8, 32, 39, 43, 65, 75, 94, 101, 148, 181, 213 [best: 1000] 1103806595072
4, 8, 32, 39, 43, 65, 89, 101, 109, 125, 150, 199 [best: 1000] 1108101562368
4, 8, 32, 39, 43, 66, 75, 105, 111, 123, 126, 139 [best: 1000] 1112396529664
4, 8, 32, 39, 43, 67, 80, 81, 117, 155, 204, 208 [best: 1000] 1116691496960
4, 8, 32, 39, 43, 68, 80, 81, 117, 122, 149, 235 [best: 1000] 1120986464256
4, 8, 32, 39, 43, 69, 81, 91, 103, 104, 129, 175 [best: 1000] 1125281431552
4, 8, 32, 39, 43, 71, 79, 83, 96, 108, 128, 138 [best: 1000] 1129576398848
4, 8, 32, 39, 43, 72, 81, 92, 110, 129, 143, 192 [best: 1000] 1133871366144
4, 8, 32, 39, 43, 74, 78, 84, 86, 97, 121, 142, 146 [best: 1000] 1138166333440
4, 8, 32, 39, 43, 75, 94, 112, 125, 166, 188, 191 [best: 1000] 1142461300736
4, 8, 32, 39, 43, 78, 79, 80, 99, 164, 184, 215 [best: 1000] 1146756268032
4, 8, 32, 39, 43, 79, 83, 100, 101, 105, 110, 161 [best: 1000] 1151051235328
4, 8, 32, 39, 43, 80, 84, 122, 144, 145, 159, 212 [best: 1000] 1155346202624
4, 8, 32, 39, 43, 81, 83, 108, 151, 169, 203, 204 [best: 1000] 1159641169920
4, 8, 32, 39, 43, 82, 90, 104, 108, 116, 154, 170 [best: 1000] 1163936137216
4, 8, 32, 39, 43, 85, 92, 99, 128, 154, 158, 198 [best: 1000] 1168231104512
4, 8, 32, 39, 43, 88, 92, 111, 120, 146, 148, 163 [best: 1000] 1172526071808
4, 8, 32, 39, 44, 45, 49, 58, 89, 146, 166, 211 [best: 1000] 1176821039104
4, 8, 32, 39, 44, 45, 58, 89, 94, 103, 167, 201 [best: 1000] 1181116006400
4, 8, 32, 39, 44, 45, 70, 74, 94, 125, 127, 154 [best: 1000] 1185410973696
4, 8, 32, 39, 44, 45, 97, 107, 115, 141, 146, 207 [best: 1000] 1189705940992
4, 8, 32, 39, 44, 46, 55, 90, 118, 135, 137, 164 [best: 1000] 1194000908288
4, 8, 32, 39, 44, 46, 65, 108, 125, 131, 183, 228 [best: 1000] 1198295875584
4, 8, 32, 39, 44, 46, 88, 95, 99, 141, 143, 166 [best: 1000] 1202590842880
4, 8, 32, 39, 44, 47, 63, 79, 87, 98, 139, 146 [best: 1000] 1206885810176
4, 8, 32, 39, 44, 48, 60, 62, 115, 122, 147, 163 [best: 1000] 1211180777472
4, 8, 32, 39, 44, 49, 56, 65, 92, 143, 169, 179, 202 [best: 1000] 1215475744768
4, 8, 32, 39, 44, 50, 53, 61, 76, 78, 174, 212, 226 [best: 1000] 1219770712064
4, 8, 32, 39, 44, 50, 66, 89, 128, 136, 144, 145 [best: 1000] 1224065679360
4, 8, 32, 39, 44, 51, 59, 60, 83, 98, 117, 136 [best: 1000] 1228360646656
4, 8, 32, 39, 44, 52, 81, 98, 99, 120, 121, 155 [best: 1000] 1232655613952
4, 8, 32, 39, 44, 53, 73, 88, 89, 138, 154, 193 [best: 1000] 1236950581248
4, 8, 32, 39, 44, 54, 62, 102, 106, 110, 152, 192 [best: 1000] 1241245548544
4, 8, 32, 39, 44, 54, 90, 99, 114, 137, 141, 152 [best: 1000] 1245540515840
4, 8, 32, 39, 44, 55, 70, 82, 86, 103, 139, 142 [best: 1000] 1249835483136
4, 8, 32, 39, 44, 56, 62, 84, 89, 92, 161, 177, 194 [best: 1000] 1254130450432
4, 8, 32, 39, 44, 57, 61, 63, 90, 97, 118, 166 [best: 1000] 1258425417728
4, 8, 32, 39, 44, 58, 59, 93, 123, 155, 180, 211 [best: 1000] 1262720385024
4, 8, 32, 39, 44, 58, 88, 101, 114, 133, 153, 180 [best: 1000] 1267015352320
4, 8, 32, 39, 44, 60, 61, 94, 96, 103, 107, 164 [best: 1000] 1271310319616
4, 8, 32, 39, 44, 61, 62, 73, 77, 95, 114, 188 [best: 1000] 1275605286912
4, 8, 32, 39, 44, 62, 73, 95, 135, 155, 165, 176 [best: 1000] 1279900254208
4, 8, 32, 39, 44, 63, 76, 95, 101, 111, 116, 159 [best: 1000] 1284195221504
4, 8, 32, 39, 44, 64, 71, 88, 131, 164, 176, 215 [best: 1000] 1288490188800
4, 8, 32, 39, 44, 65, 67, 91, 109, 150, 164, 198 [best: 1000] 1292785156096
4, 8, 32, 39, 44, 65, 92, 108, 109, 151, 163, 183 [best: 1000] 1297080123392
4, 8, 32, 39, 44, 67, 82, 97, 117, 126, 130, 190 [best: 1000] 1301375090688
4, 8, 32, 39, 44, 70, 75, 86, 92, 99, 114, 139 [best: 1000] 1305670057984
4, 8, 32, 39, 44, 72, 74, 83, 95, 99, 110, 161 [best: 1000] 1309965025280
4, 8, 32, 39, 44, 75, 91, 94, 103, 131, 141, 172 [best: 1000] 1314259992576
4, 8, 32, 39, 44, 78, 79, 86, 97, 110, 122, 160 [best: 1000] 1318554959872
4, 8, 32, 39, 44, 81, 89, 94, 107, 117, 140, 142 [best: 1000] 1322849927168
4, 8, 32, 39, 45, 46, 49, 81, 124, 128, 167, 173 [best: 1000] 1327144894464
4, 8, 32, 39, 45, 46, 54, 86, 90, 108, 114, 118 [best: 1000] 1331439861760
4, 8, 32, 39, 45, 46, 59, 83, 88, 164, 204, 239 [best: 1000] 1335734829056
4, 8, 32, 39, 45, 46, 64, 82, 100, 107, 176, 181 [best: 1000] 1340029796352
4, 8, 32, 39, 45, 46, 70, 89, 93, 117, 122, 146 [best: 1000] 1344324763648
4, 8, 32, 39, 45, 46, 78, 115, 130, 148, 183, 224 [best: 1000] 1348619730944
4, 8, 32, 39, 45, 46, 88, 110, 113, 165, 200, 224 [best: 1000] 1352914698240
4, 8, 32, 39, 45, 46, 107, 143, 163, 173, 201, 235 [best: 1000] 1357209665536
4, 8, 32, 39, 45, 47, 58, 69, 112, 123, 165, 175 [best: 1000] 1361504632832
4, 8, 32, 39, 45, 47, 75, 79, 105, 112, 138, 168 [best: 1000] 1365799600128
4, 8, 32, 39, 45, 48, 53, 80, 106, 123, 144, 160 [best: 1000] 1370094567424
4, 8, 32, 39, 45, 48, 62, 101, 129, 137, 149, 193 [best: 1000] 1374389534720
4, 8, 32, 39, 45, 48, 76, 96, 112, 131, 165, 178 [best: 1000] 1378684502016
4, 8, 32, 39, 45, 49, 53, 56, 74, 100, 129, 132 [best: 1000] 1382979469312
4, 8, 32, 39, 45, 49, 63, 72, 110, 138, 142, 195 [best: 1000] 1387274436608
4, 8, 32, 39, 45, 49, 79, 94, 105, 155, 180, 190 [best: 1000] 1391569403904
4, 8, 32, 39, 45, 50, 55, 74, 77, 98, 165, 190 [best: 1000] 1395864371200
4, 8, 32, 39, 45, 50, 64, 99, 132, 134, 187, 213 [best: 1000] 1400159338496
4, 8, 32, 39, 45, 50, 80, 99, 139, 148, 156, 161 [best: 1000] 1404454305792
4, 8, 32, 39, 45, 51, 57, 63, 79, 99, 106, 150 [best: 1000] 1408749273088
4, 8, 32, 39, 45, 51, 74, 93, 115, 119, 133, 154 [best: 1000] 1413044240384
4, 8, 32, 39, 45, 52, 59, 75, 94, 128, 135, 196 [best: 1000] 1417339207680
4, 8, 32, 39, 45, 52, 80, 91, 104, 114, 162, 165 [best: 1000] 1421634174976
4, 8, 32, 39, 45, 53, 59, 79, 120, 125, 169, 217 [best: 1000] 1425929142272
4, 8, 32, 39, 45, 53, 67, 121, 145, 154, 173, 208 [best: 1000] 1430224109568
4, 8, 32, 39, 45, 53, 82, 88, 105, 110, 170, 177 [best: 1000] 1434519076864
4, 8, 32, 39, 45, 54, 56, 102, 109, 113, 132, 179 [best: 1000] 1438814044160
4, 8, 32, 39, 45, 54, 64, 79, 101, 133, 161, 176 [best: 1000] 1443109011456
4, 8, 32, 39, 45, 54, 74, 107, 111, 120, 144, 205 [best: 1000] 1447403978752
4, 8, 32, 39, 45, 54, 90, 95, 138, 139, 169, 202, 221 [best: 1000] 1451698946048
4, 8, 32, 39, 45, 55, 60, 65, 78, 108, 216, 244 [best: 1000] 1455993913344
4, 8, 32, 39, 45, 55, 67, 70, 71, 122, 169, 208 [best: 1000] 1460288880640
4, 8, 32, 39, 45, 55, 78, 96, 125, 143, 155, 191 [best: 1000] 1464583847936
4, 8, 32, 39, 45, 55, 95, 112, 160, 182, 183, 195 [best: 1000] 1468878815232
4, 8, 32, 39, 45, 56, 63, 77, 113, 157, 184, 218 [best: 1000] 1473173782528
4, 8, 32, 39, 45, 56, 77, 81, 106, 120, 128, 204 [best: 1000] 1477468749824
4, 8, 32, 39, 45, 57, 59, 65, 117, 121, 175, 187 [best: 1000] 1481763717120
4, 8, 32, 39, 45, 57, 70, 78, 104, 113, 130, 156 [best: 1000] 1486058684416
4, 8, 32, 39, 45, 57, 94, 99, 128, 137, 199, 201 [best: 1000] 1490353651712
4, 8, 32, 39, 45, 58, 65, 74, 83, 138, 144, 216 [best: 1000] 1494648619008
4, 8, 32, 39, 45, 58, 77, 83, 86, 170, 195, 200 [best: 1000] 1498943586304
4, 8, 32, 39, 45, 58, 98, 105, 121, 160, 181, 246 [best: 1000] 1503238553600
4, 8, 32, 39, 45, 59, 66, 94, 112, 117, 145, 211 [best: 1000] 1507533520896
4, 8, 32, 39, 45, 59, 81, 84, 129, 136, 166, 204 [best: 1000] 1511828488192
4, 8, 32, 39, 45, 60, 63, 75, 117, 127, 178, 192 [best: 1000] 1516123455488
4, 8, 32, 39, 45, 60, 72, 82, 103, 119, 170, 171 [best: 1000] 1520418422784
4, 8, 32, 39, 45, 60, 84, 89, 95, 161, 186, 211 [best: 1000] 1524713390080
4, 8, 32, 39, 45, 61, 65, 74, 98, 119, 135, 191 [best: 1000] 1529008357376
4, 8, 32, 39, 45, 61, 88, 97, 109, 116, 168, 203 [best: 1000] 1533303324672
4, 8, 32, 39, 45, 62, 71, 107, 109, 137, 155, 188 [best: 1000] 1537598291968
4, 8, 32, 39, 45, 62, 88, 118, 146, 180, 202, 203, 255 [best: 1000] 1541893259264
4, 8, 32, 39, 45, 63, 67, 122, 133, 157, 158, 194 [best: 1000] 1546188226560
4, 8, 32, 39, 45, 63, 77, 79, 95, 151, 211, 246 [best: 1000] 1550483193856
4, 8, 32, 39, 45, 63, 86, 90, 97, 121, 139, 161 [best: 1000] 1554778161152
4, 8, 32, 39, 45, 63, 107, 113, 139, 149, 160, 209 [best: 1000] 1559073128448
4, 8, 32, 39, 45, 64, 73, 80, 83, 117, 143, 206 [best: 1000] 1563368095744
4, 8, 32, 39, 45, 64, 83, 96, 100, 126, 129, 192, 243 [best: 1000] 1567663063040
4, 8, 32, 39, 45, 65, 66, 84, 85, 127, 138, 173 [best: 1000] 1571958030336
4, 8, 32, 39, 45, 65, 74, 92, 107, 150, 168, 235 [best: 1000] 1576252997632
4, 8, 32, 39, 45, 65, 81, 95, 102, 154, 155, 265 [best: 1000] 1580547964928
4, 8, 32, 39, 45, 65, 92, 104, 116, 129, 156, 202 [best: 1000] 1584842932224
4, 8, 32, 39, 45, 66, 68, 91, 139, 142, 146, 164 [best: 1000] 1589137899520
4, 8, 32, 39, 45, 66, 89, 104, 106, 115, 142, 196 [best: 1000] 1593432866816
4, 8, 32, 39, 45, 67, 78, 108, 116, 141, 144, 194 [best: 1000] 1597727834112
4, 8, 32, 39, 45, 68, 69, 72, 78, 130, 154, 181 [best: 1000] 1602022801408
4, 8, 32, 39, 45, 68, 82, 106, 108, 114, 141, 155 [best: 1000] 1606317768704
4, 8, 32, 39, 45, 69, 79, 81, 93, 133, 189, 218 [best: 1000] 1610612736000
4, 8, 32, 39, 45, 70, 81, 95, 120, 126, 127, 157 [best: 1000] 1614907703296
4, 8, 32, 39, 45, 71, 78, 91, 134, 138, 144, 204 [best: 1000] 1619202670592
4, 8, 32, 39, 45, 71, 97, 100, 111, 129, 136, 138 [best: 1000] 1623497637888
4, 8, 32, 39, 45, 73, 76, 100, 148, 171, 179, 215 [best: 1000] 1627792605184
4, 8, 32, 39, 45, 73, 103, 113, 123, 124, 135, 198 [best: 1000] 1632087572480
4, 8, 32, 39, 45, 74, 89, 120, 129, 140, 187, 205 [best: 1000] 1636382539776
4, 8, 32, 39, 45, 75, 83, 88, 113, 119, 140, 205 [best: 1000] 1640677507072
4, 8, 32, 39, 45, 76, 81, 111, 163, 165, 210, 235 [best: 1000] 1644972474368
4, 8, 32, 39, 45, 77, 80, 83, 97, 130, 186, 248 [best: 1000] 1649267441664
4, 8, 32, 39, 45, 77, 107, 109, 130, 141, 147, 150 [best: 1000] 1653562408960
4, 8, 32, 39, 45, 78, 99, 121, 137, 148, 193, 214 [best: 1000] 1657857376256
4, 8, 32, 39, 45, 79, 89, 91, 111, 150, 157, 201 [best: 1000] 1662152343552
4, 8, 32, 39, 45, 80, 86, 94, 129, 161, 174, 186 [best: 1000] 1666447310848
4, 8, 32, 39, 45, 81, 85, 112, 118, 125, 133, 136 [best: 1000] 1670742278144
4, 8, 32, 39, 45, 81, 98, 102, 120, 137, 153, 175 [best: 1000] 1675037245440
4, 8, 32, 39, 45, 82, 85, 92, 96, 106, 162, 172 [best: 1000] 1679332212736
4, 8, 32, 39, 45, 83, 95, 101, 116, 158, 194, 241 [best: 1000] 1683627180032
4, 8, 32, 39, 45, 85, 97, 101, 113, 140, 151, 197 [best: 1000] 1687922147328
4, 8, 32, 39, 45, 87, 101, 105, 128, 130, 154, 221 [best: 1000] 1692217114624
4, 8, 32, 39, 45, 89, 94, 104, 121, 125, 161, 185 [best: 1000] 1696512081920
4, 8, 32, 39, 46, 47, 54, 84, 98, 106, 120, 164 [best: 1000] 1700807049216
4, 8, 32, 39, 46, 47, 66, 81, 120, 128, 160, 210 [best: 1000] 1705102016512
4, 8, 32, 39, 46, 47, 93, 106, 137, 156, 181, 205, 215 [best: 1000] 1709396983808
4, 8, 32, 39, 46, 48, 57, 79, 98, 114, 153, 199 [best: 1000] 1713691951104
4, 8, 32, 39, 46, 48, 67, 78, 92, 96, 186, 214 [best: 1000] 1717986918400
4, 8, 32, 39, 46, 48, 86, 94, 95, 113, 151, 169 [best: 1000] 1722281885696
4, 8, 32, 39, 46, 49, 55, 66, 107, 135, 140, 157 [best: 1000] 1726576852992
4, 8, 32, 39, 46, 49, 64, 100, 153, 162, 220, 247 [best: 1000] 1730871820288
4, 8, 32, 39, 46, 49, 79, 95, 136, 137, 184, 192 [best: 1000] 1735166787584
4, 8, 32, 39, 46, 50, 53, 62, 83, 111, 120, 165 [best: 1000] 1739461754880
4, 8, 32, 39, 46, 50, 59, 74, 130, 150, 152, 162, 169 [best: 1000] 1743756722176
4, 8, 32, 39, 46, 50, 65, 81, 106, 119, 169, 227 [best: 1000] 1748051689472
4, 8, 32, 39, 46, 50, 75, 80, 83, 186, 197, 232 [best: 1000] 1752346656768
4, 8, 32, 39, 46, 50, 84, 93, 94, 105, 134, 139 [best: 1000] 1756641624064
4, 8, 32, 39, 46, 51, 54, 89, 129, 149, 157, 181 [best: 1000] 1760936591360
4, 8, 32, 39, 46, 51, 68, 75, 118, 139, 158, 172 [best: 1000] 1765231558656
4, 8, 32, 39, 46, 52, 54, 68, 81, 83, 124, 149 [best: 1000] 1769526525952
4, 8, 32, 39, 46, 52, 67, 115, 123, 131, 150, 193 [best: 1000] 1773821493248
4, 8, 32, 39, 46, 53, 54, 95, 107, 124, 141, 165 [best: 1000] 1778116460544
4, 8, 32, 39, 46, 53, 63, 74, 104, 142, 154, 229 [best: 1000] 1782411427840
4, 8, 32, 39, 46, 53, 74, 84, 95, 113, 139, 149 [best: 1000] 1786706395136
4, 8, 32, 39, 46, 53, 90, 101, 125, 157, 175, 179 [best: 1000] 1791001362432
4, 8, 32, 39, 46, 54, 58, 79, 162, 169, 194 [best: 1000] 1795296329728
4, 8, 32, 39, 46, 54, 64, 87, 114, 139, 194, 212 [best: 1000] 1799591297024
4, 8, 32, 39, 46, 54, 72, 95, 111, 134, 149, 178, 200 [best: 1000] 1803886264320
4, 8, 32, 39, 46, 54, 80, 130, 159, 163, 193, 244 [best: 1000] 1808181231616
4, 8, 32, 39, 46, 54, 98, 102, 104, 113, 208, 238 [best: 1000] 1812476198912
4, 8, 32, 39, 46, 55, 61, 75, 132, 151, 170, 177 [best: 1000] 1816771166208
4, 8, 32, 39, 46, 55, 72, 87, 93, 122, 132, 187 [best: 1000] 1821066133504
4, 8, 32, 39, 46, 55, 90, 108, 110, 131, 168, 172 [best: 1000] 1825361100800
4, 8, 32, 39, 46, 56, 63, 72, 92, 105, 168, 185 [best: 1000] 1829656068096
4, 8, 32, 39, 46, 56, 76, 99, 141, 158, 181, 205 [best: 1000] 1833951035392
4, 8, 32, 39, 46, 57, 58, 65, 134, 136, 217, 226 [best: 1000] 1838246002688
4, 8, 32, 39, 46, 57, 65, 120, 123, 129, 173, 210 [best: 1000] 1842540969984
4, 8, 32, 39, 46, 57, 79, 106, 113, 161, 174, 178 [best: 1000] 1846835937280
4, 8, 32, 39, 46, 57, 108, 121, 160, 184, 228, 243, 270 [best: 1000] 1851130904576
4, 8, 32, 39, 46, 58, 65, 98, 107, 120, 176, 196 [best: 1000] 1855425871872
4, 8, 32, 39, 46, 58, 77, 89, 108, 117, 159, 212 [best: 1000] 1859720839168
4, 8, 32, 39, 46, 58, 91, 108, 134, 154, 166, 194, 206 [best: 1000] 1864015806464
4, 8, 32, 39, 46, 59, 64, 78, 99, 104, 162, 238 [best: 1000] 1868310773760
4, 8, 32, 39, 46, 59, 76, 81, 155, 160, 168, 258 [best: 1000] 1872605741056
4, 8, 32, 39, 46, 59, 92, 120, 135, 150, 191, 215 [best: 1000] 1876900708352
4, 8, 32, 39, 46, 60, 65, 78, 95, 145, 167, 221 [best: 1000] 1881195675648
4, 8, 32, 39, 46, 60, 76, 83, 91, 116, 121, 186 [best: 1000] 1885490642944
4, 8, 32, 39, 46, 60, 88, 96, 97, 102, 175, 200 [best: 1000] 1889785610240
4, 8, 32, 39, 46, 61, 64, 114, 120, 187, 198, 219 [best: 1000] 1894080577536
4, 8, 32, 39, 46, 61, 80, 96, 127, 152, 160, 208 [best: 1000] 1898375544832
4, 8, 32, 39, 46, 62, 65, 82, 84, 92, 102, 104 [best: 1000] 1902670512128
4, 8, 32, 39, 46, 62, 79, 93, 109, 120, 163, 202 [best: 1000] 1906965479424
4, 8, 32, 39, 46, 63, 64, 77, 102, 123, 143, 209 [best: 1000] 1911260446720
4, 8, 32, 39, 46, 63, 71, 116, 145, 146, 178, 215 [best: 1000] 1915555414016
4, 8, 32, 39, 46, 63, 80, 108, 119, 151, 213, 214 [best: 1000] 1919850381312
4, 8, 32, 39, 46, 63, 94, 127, 136, 146, 149, 166, 192 [best: 1000] 1924145348608
4, 8, 32, 39, 46, 64, 66, 102, 117, 131, 193, 237 [best: 1000] 1928440315904
4, 8, 32, 39, 46, 64, 74, 126, 151, 155, 183, 234 [best: 1000] 1932735283200
4, 8, 32, 39, 46, 64, 81, 99, 147, 188, 198, 236 [best: 1000] 1937030250496
4, 8, 32, 39, 46, 64, 93, 101, 150, 159, 176, 226 [best: 1000] 1941325217792
4, 8, 32, 39, 46, 65, 66, 81, 114, 174, 180, 211 [best: 1000] 1945620185088
4, 8, 32, 39, 46, 65, 74, 86, 109, 169, 202, 206 [best: 1000] 1949915152384
4, 8, 32, 39, 46, 65, 80, 87, 126, 142, 227, 245 [best: 1000] 1954210119680
4, 8, 32, 39, 46, 65, 89, 103, 130, 149, 164, 180, 261 [best: 1000] 1958505086976
4, 8, 32, 39, 46, 65, 104, 131, 151, 172, 209, 237 [best: 1000] 1962800054272
4, 8, 32, 39, 46, 66, 77, 86, 136, 168, 174, 195 [best: 1000] 1967095021568
4, 8, 32, 39, 46, 67, 68, 80, 92, 165, 174, 216 [best: 1000] 1971389988864
4, 8, 32, 39, 46, 67, 80, 116, 118, 167, 205, 254 [best: 1000] 1975684956160
4, 8, 32, 39, 46, 68, 70, 79, 141, 153, 159, 162 [best: 1000] 1979979923456
4, 8, 32, 39, 46, 68, 82, 95, 113, 121, 129, 212 [best: 1000] 1984274890752
4, 8, 32, 39, 46, 69, 75, 88, 118, 125, 129, 188 [best: 1000] 1988569858048
4, 8, 32, 39, 46, 70, 75, 102, 111, 146, 163, 192 [best: 1000] 1992864825344
4, 8, 32, 39, 46, 71, 73, 95, 102, 128, 160, 183 [best: 1000] 1997159792640
4, 8, 32, 39, 46, 71, 89, 92, 102, 148, 186, 198 [best: 1000] 2001454759936
4, 8, 32, 39, 46, 72, 88, 101, 121, 139, 153, 173 [best: 1000] 2005749727232
4, 8, 32, 39, 46, 73, 83, 93, 122, 146, 194, 201, 222 [best: 1000] 2010044694528
4, 8, 32, 39, 46, 74, 77, 134, 155, 174, 176, 180 [best: 1000] 2014339661824
4, 8, 32, 39, 46, 74, 92, 113, 119, 121, 145, 198 [best: 1000] 2018634629120
4, 8, 32, 39, 46, 75, 80, 92, 100, 101, 188, 224 [best: 1000] 2022929596416
4, 8, 32, 39, 46, 75, 100, 129, 138, 179, 189, 198 [best: 1000] 2027224563712
4, 8, 32, 39, 46, 76, 84, 96, 99, 120, 145, 162 [best: 1000] 2031519531008
4, 8, 32, 39, 46, 77, 78, 104, 106, 150, 160, 173 [best: 1000] 2035814498304
4, 8, 32, 39, 46, 77, 92, 94, 99, 143, 158, 168 [best: 1000] 2040109465600
4, 8, 32, 39, 46, 78, 82, 84, 119, 120, 141, 142 [best: 1000] 2044404432896
4, 8, 32, 39, 46, 78, 110, 127, 141, 154, 160, 169 [best: 1000] 2048699400192
4, 8, 32, 39, 46, 79, 89, 123, 140, 170, 173, 213 [best: 1000] 2052994367488
4, 8, 32, 39, 46, 79, 108, 112, 118, 146, 166, 167 [best: 1000] 2057289334784
4, 8, 32, 39, 46, 80, 86, 110, 155, 156, 174, 190 [best: 1000] 2061584302080
4, 8, 32, 39, 46, 80, 98, 105, 138, 142, 145, 149 [best: 1000] 2065879269376
4, 8, 32, 39, 46, 80, 112, 147, 158, 176, 187, 217 [best: 1000] 2070174236672
4, 8, 32, 39, 46, 81, 91, 109, 131, 135, 169, 202 [best: 1000] 2074469203968
4, 8, 32, 39, 46, 81, 113, 122, 134, 140, 167, 224 [best: 1000] 2078764171264
4, 8, 32, 39, 46, 82, 102, 140, 152, 156, 197, 232 [best: 1000] 2083059138560
4, 8, 32, 39, 46, 83, 107, 109, 110, 116, 132, 196 [best: 1000] 2087354105856
4, 8, 32, 39, 46, 84, 106, 114, 130, 147, 151, 174 [best: 1000] 2091649073152
4, 8, 32, 39, 46, 86, 107, 108, 120, 129, 145, 190, 235 [best: 1000] 2095944040448
4, 8, 32, 39, 46, 88, 113, 121, 130, 164, 180, 213 [best: 1000] 2100239007744
4, 8, 32, 39, 46, 91, 95, 123, 133, 161, 175, 195 [best: 1000] 2104533975040
4, 8, 32, 39, 46, 92, 97, 98, 114, 133, 147, 150 [best: 1000] 2108828942336
4, 8, 32, 39, 46, 94, 111, 123, 131, 147, 159, 201 [best: 1000] 2113123909632
4, 8, 32, 39, 47, 48, 63, 86, 104, 105, 148, 161 [best: 1000] 2117418876928
4, 8, 32, 39, 47, 49, 62, 65, 88, 92, 138 [best: 1000] 2121713844224
4, 8, 32, 39, 47, 50, 60, 80, 96, 126, 150 [best: 1000] 2126008811520
4, 8, 32, 39, 47, 51, 58, 64, 110, 114, 128, 151 [best: 1000] 2130303778816
4, 8, 32, 39, 47, 52, 86, 93, 111, 116, 154, 170 [best: 1000] 2134598746112
4, 8, 32, 39, 47, 53, 80, 91, 117, 118, 131, 137, 146 [best: 1000] 2138893713408
4, 8, 32, 39, 47, 54, 74, 95, 97, 108, 135, 188 [best: 1000] 2143188680704
4, 8, 32, 39, 47, 55, 68, 88, 89, 90, 181, 204 [best: 1000] 2147483648000
4, 8, 32, 39, 47, 56, 65, 76, 96, 121, 124, 162 [best: 1000] 2151778615296
4, 8, 32, 39, 47, 57, 71, 88, 133, 155, 173, 182 [best: 1000] 2156073582592
4, 8, 32, 39, 47, 58, 78, 102, 117, 125, 150, 156 [best: 1000] 2160368549888
4, 8, 32, 39, 47, 60, 62, 73, 88, 117, 138, 193 [best: 1000] 2164663517184
4, 8, 32, 39, 47, 61, 66, 72, 73, 97, 103, 109 [best: 1000] 2168958484480
4, 8, 32, 39, 47, 63, 65, 67, 113, 121, 132, 155 [best: 1000] 2173253451776
4, 8, 32, 39, 47, 64, 65, 88, 112, 118, 195, 214 [best: 1000] 2177548419072
4, 8, 32, 39, 47, 64, 96, 101, 111, 125, 153, 193 [best: 1000] 2181843386368
4, 8, 32, 39, 47, 65, 90, 93, 114, 144, 149, 217 [best: 1000] 2186138353664
4, 8, 32, 39, 47, 68, 71, 99, 104, 110, 119, 179 [best: 1000] 2190433320960
4, 8, 32, 39, 47, 71, 80, 93, 108, 127, 153, 181 [best: 1000] 2194728288256
4, 8, 32, 39, 47, 74, 93, 99, 113, 134, 158, 176 [best: 1000] 2199023255552
4, 8, 32, 39, 47, 79, 83, 85, 91, 134, 186, 209 [best: 1000] 2203318222848
4, 8, 32, 39, 48, 49, 56, 81, 97, 129, 156, 160 [best: 1000] 2207613190144
4, 8, 32, 39, 48, 50, 51, 73, 100, 133, 134 [best: 1000] 2211908157440
4, 8, 32, 39, 48, 50, 65, 81, 101, 132, 134, 144 [best: 1000] 2216203124736
4, 8, 32, 39, 48, 51, 56, 85, 89, 97, 132, 133 [best: 1000] 2220498092032
4, 8, 32, 39, 48, 52, 68, 74, 81, 134, 151, 159 [best: 1000] 2224793059328
4, 8, 32, 39, 48, 53, 67, 72, 83, 85, 135, 136 [best: 1000] 2229088026624
4, 8, 32, 39, 48, 54, 58, 81, 85, 136, 166, 191 [best: 1000] 2233382993920
4, 8, 32, 39, 48, 54, 77, 78, 112, 118, 130, 147 [best: 1000] 2237677961216
4, 8, 32, 39, 48, 55, 63, 78, 94, 135, 146, 187 [best: 1000] 2241972928512
4, 8, 32, 39, 48, 55, 90, 103, 118, 126, 129, 193 [best: 1000] 2246267895808
4, 8, 32, 39, 48, 56, 78, 80, 92, 146, 148, 183 [best: 1000] 2250562863104
4, 8, 32, 39, 48, 57, 72, 83, 109, 116, 144, 167 [best: 1000] 2254857830400
4, 8, 32, 39, 48, 58, 67, 72, 77, 104, 121, 130 [best: 1000] 2259152797696
4, 8, 32, 39, 48, 59, 64, 74, 80, 129, 166, 186 [best: 1000] 2263447764992
4, 8, 32, 39, 48, 60, 65, 74, 94, 105, 108, 210 [best: 1000] 2267742732288
4, 8, 32, 39, 48, 61, 64, 92, 96, 98, 115, 165 [best: 1000] 2272037699584
4, 8, 32, 39, 48, 62, 74, 85, 125, 140, 143, 178 [best: 1000] 2276332666880
4, 8, 32, 39, 48, 63, 74, 82, 100, 119, 136, 173 [best: 1000] 2280627634176
4, 8, 32, 39, 48, 64, 67, 79, 96, 103, 127, 128 [best: 1000] 2284922601472
4, 8, 32, 39, 48, 64, 96, 126, 130, 136, 147, 221 [best: 1000] 2289217568768
4, 8, 32, 39, 48, 65, 83, 89, 96, 146, 166, 183 [best: 1000] 2293512536064
4, 8, 32, 39, 48, 66, 88, 109, 110, 151, 158, 169 [best: 1000] 2297807503360
4, 8, 32, 39, 48, 68, 78, 111, 119, 164, 178, 213 [best: 1000] 2302102470656
4, 8, 32, 39, 48, 71, 73, 75, 93, 145, 191, 205 [best: 1000] 2306397437952
4, 8, 32, 39, 48, 73, 77, 90, 91, 165, 169, 221 [best: 1000] 2310692405248
4, 8, 32, 39, 48, 75, 82, 100, 102, 118, 145, 175 [best: 1000] 2314987372544
4, 8, 32, 39, 48, 77, 88, 98, 99, 130, 172, 188 [best: 1000] 2319282339840
4, 8, 32, 39, 48, 80, 83, 99, 103, 118, 137, 187 [best: 1000] 2323577307136
4, 8, 32, 39, 49, 50, 53, 62, 92, 105, 119, 160 [best: 1000] 2327872274432
4, 8, 32, 39, 49, 50, 73, 79, 100, 141, 155, 194 [best: 1000] 2332167241728
4, 8, 32, 39, 49, 51, 67, 79, 84, 92, 142, 168 [best: 1000] 2336462209024
4, 8, 32, 39, 49, 52, 79, 97, 98, 138, 147, 170 [best: 1000] 2340757176320
4, 8, 32, 39, 49, 53, 65, 87, 92, 118, 173, 196 [best: 1000] 2345052143616
4, 8, 32, 39, 49, 53, 95, 99, 123, 132, 157, 171, 186 [best: 1000] 2349347110912
4, 8, 32, 39, 49, 54, 68, 93, 103, 105, 124, 143 [best: 1000] 2353642078208
4, 8, 32, 39, 49, 55, 59, 61, 91, 137, 138, 181, 217 [best: 1000] 2357937045504
4, 8, 32, 39, 49, 55, 76, 82, 95, 107, 135, 162 [best: 1000] 2362232012800
4, 8, 32, 39, 49, 56, 62, 65, 88, 120, 160, 183 [best: 1000] 2366526980096
4, 8, 32, 39, 49, 56, 95, 104, 115, 147, 172, 173 [best: 1000] 2370821947392
4, 8, 32, 39, 49, 57, 88, 111, 113, 140, 171, 190 [best: 1000] 2375116914688
4, 8, 32, 39, 49, 58, 79, 88, 96, 111, 141, 146 [best: 1000] 2379411881984
4, 8, 32, 39, 49, 59, 79, 85, 105, 176, 177, 236 [best: 1000] 2383706849280
4, 8, 32, 39, 49, 60, 77, 114, 134, 139, 147, 186 [best: 1000] 2388001816576
4, 8, 32, 39, 49, 61, 84, 99, 102, 103, 126, 145 [best: 1000] 2392296783872
4, 8, 32, 39, 49, 63, 65, 79, 118, 119, 170, 185 [best: 1000] 2396591751168
4, 8, 32, 39, 49, 63, 90, 93, 102, 120, 147, 192 [best: 1000] 2400886718464
4, 8, 32, 39, 49, 64, 78, 103, 133, 153, 165, 171 [best: 1000] 2405181685760
4, 8, 32, 39, 49, 65, 71, 92, 117, 172, 185, 204 [best: 1000] 2409476653056
4, 8, 32, 39, 49, 65, 91, 109, 150, 158, 192, 206 [best: 1000] 2413771620352
4, 8, 32, 39, 49, 67, 78, 96, 103, 120, 143, 167 [best: 1000] 2418066587648
4, 8, 32, 39, 49, 69, 78, 89, 93, 132, 137, 180 [best: 1000] 2422361554944
4, 8, 32, 39, 49, 71, 90, 105, 132, 143, 160, 198 [best: 1000] 2426656522240
4, 8, 32, 39, 49, 74, 87, 90, 97, 123, 134, 167 [best: 1000] 2430951489536
4, 8, 32, 39, 49, 77, 82, 112, 138, 154, 158, 181 [best: 1000] 2435246456832
4, 8, 32, 39, 49, 79, 82, 115, 122, 162, 165, 194 [best: 1000] 2439541424128
4, 8, 32, 39, 49, 80, 91, 106, 107, 109, 116, 119, 140 [best: 1000] 2443836391424
4, 8, 32, 39, 50, 51, 62, 101, 109, 116, 173, 190 [best: 1000] 2448131358720
4, 8, 32, 39, 50, 52, 58, 76, 98, 135, 139, 142, 165 [best: 1000] 2452426326016
4, 8, 32, 39, 50, 53, 55, 73, 100, 126, 142, 152 [best: 1000] 2456721293312
4, 8, 32, 39, 50, 53, 65, 105, 134, 135, 181, 203 [best: 1000] 2461016260608
4, 8, 32, 39, 50, 53, 87, 99, 137, 142, 156, 169 [best: 1000] 2465311227904
4, 8, 32, 39, 50, 54, 63, 65, 131, 166, 197, 216 [best: 1000] 2469606195200
4, 8, 32, 39, 50, 54, 82, 118, 124, 125, 127, 146, 170 [best: 1000] 2473901162496
4, 8, 32, 39, 50, 55, 62, 71, 119, 153, 171, 184 [best: 1000] 2478196129792
4, 8, 32, 39, 50, 55, 73, 106, 109, 155, 166, 180 [best: 1000] 2482491097088
4, 8, 32, 39, 50, 55, 91, 111, 118, 126, 140, 147 [best: 1000] 2486786064384
4, 8, 32, 39, 50, 56, 65, 73, 96, 111, 169, 181 [best: 1000] 2491081031680
4, 8, 32, 39, 50, 56, 91, 96, 105, 154, 173, 182 [best: 1000] 2495375998976
4, 8, 32, 39, 50, 57, 71, 77, 135, 151, 174, 223 [best: 1000] 2499670966272
4, 8, 32, 39, 50, 58, 62, 76, 80, 158, 172, 213 [best: 1000] 2503965933568
4, 8, 32, 39, 50, 58, 78, 97, 125, 147, 157, 199 [best: 1000] 2508260900864
4, 8, 32, 39, 50, 59, 65, 71, 84, 99, 109, 198 [best: 1000] 2512555868160
4, 8, 32, 39, 50, 59, 92, 108, 116, 124, 126, 215, 274 [best: 1000] 2516850835456
4, 8, 32, 39, 50, 60, 74, 89, 95, 105, 107, 117 [best: 1000] 2521145802752
4, 8, 32, 39, 50, 61, 63, 73, 122, 140, 143, 169 [best: 1000] 2525440770048
4, 8, 32, 39, 50, 62, 63, 95, 125, 177, 213, 230 [best: 1000] 2529735737344
4, 8, 32, 39, 50, 62, 92, 99, 107, 109, 116, 194 [best: 1000] 2534030704640
4, 8, 32, 39, 50, 63, 74, 99, 111, 123, 167, 198 [best: 1000] 2538325671936
4, 8, 32, 39, 50, 63, 91, 111, 127, 135, 196, 213, 254 [best: 1000] 2542620639232
4, 8, 32, 39, 50, 64, 72, 79, 106, 110, 129, 132, 184 [best: 1000] 2546915606528
4, 8, 32, 39, 50, 64, 87, 97, 120, 124, 137, 180 [best: 1000] 2551210573824
4, 8, 32, 39, 50, 65, 71, 89, 122, 150, 181, 200 [best: 1000] 2555505541120
4, 8, 32, 39, 50, 65, 83, 112, 125, 151, 172, 183 [best: 1000] 2559800508416
4, 8, 32, 39, 50, 66, 70, 105, 111, 117, 119, 167 [best: 1000] 2564095475712
4, 8, 32, 39, 50, 67, 75, 91, 92, 112, 150, 177, 200 [best: 1000] 2568390443008
4, 8, 32, 39, 50, 68, 76, 95, 123, 128, 149, 197 [best: 1000] 2572685410304
4, 8, 32, 39, 50, 69, 86, 103, 119, 126, 160, 168 [best: 1000] 2576980377600
4, 8, 32, 39, 50, 71, 80, 84, 128, 138, 158, 201 [best: 1000] 2581275344896
4, 8, 32, 39, 50, 73, 76, 81, 93, 128, 147, 192 [best: 1000] 2585570312192
4, 8, 32, 39, 50, 74, 82, 90, 121, 126, 176, 213, 218 [best: 1000] 2589865279488
4, 8, 32, 39, 50, 75, 90, 94, 116, 162, 169, 176 [best: 1000] 2594160246784
4, 8, 32, 39, 50, 76, 101, 107, 119, 120, 151, 163 [best: 1000] 2598455214080
4, 8, 32, 39, 50, 78, 86, 97, 114, 134, 151, 187 [best: 1000] 2602750181376
4, 8, 32, 39, 50, 80, 85, 94, 97, 110, 121, 141 [best: 1000] 2607045148672
4, 8, 32, 39, 50, 81, 98, 112, 118, 134, 141, 160, 171 [best: 1000] 2611340115968
4, 8, 32, 39, 50, 82, 95, 135, 141, 182, 194, 212 [best: 1000] 2615635083264
4, 8, 32, 39, 50, 84, 100, 104, 117, 142, 151, 195 [best: 1000] 2619930050560
4, 8, 32, 39, 51, 53, 54, 60, 65, 79, 136, 140 [best: 1000] 2624225017856
4, 8, 32, 39, 51, 54, 57, 70, 108, 111, 128, 149 [best: 1000] 2628519985152
4, 8, 32, 39, 51, 55, 57, 101, 103, 151, 165, 187 [best: 1000] 2632814952448
4, 8, 32, 39, 51, 56, 59, 92, 113, 116, 119, 134 [best: 1000] 2637109919744
4, 8, 32, 39, 51, 57, 68, 101, 103, 147, 160, 173 [best: 1000] 2641404887040
4, 8, 32, 39, 51, 58, 86, 89, 107, 119, 154, 183 [best: 1000] 2645699854336
4, 8, 32, 39, 51, 60, 69, 79, 89, 121, 130, 145 [best: 1000] 2649994821632
4, 8, 32, 39, 51, 62, 68, 92, 115, 127, 148, 172 [best: 1000] 2654289788928
4, 8, 32, 39, 51, 63, 86, 108, 115, 125, 154, 181 [best: 1000] 2658584756224
4, 8, 32, 39, 51, 64, 96, 98, 121, 133, 153, 174 [best: 1000] 2662879723520
4, 8, 32, 39, 51, 66, 69, 84, 85, 110, 126, 149 [best: 1000] 2667174690816
4, 8, 32, 39, 51, 69, 74, 95, 107, 124, 141, 172 [best: 1000] 2671469658112
4, 8, 32, 39, 51, 73, 82, 83, 89, 100, 108, 115 [best: 1000] 2675764625408
4, 8, 32, 39, 51, 78, 88, 90, 97, 103, 120, 138 [best: 1000] 2680059592704
4, 8, 32, 39, 52, 53, 85, 88, 102, 132, 151, 207 [best: 1000] 2684354560000
4, 8, 32, 39, 52, 54, 85, 103, 128, 135, 147, 163 [best: 1000] 2688649527296
4, 8, 32, 39, 52, 55, 86, 107, 118, 148, 160, 214 [best: 1000] 2692944494592
4, 8, 32, 39, 52, 57, 65, 108, 110, 120, 138, 159 [best: 1000] 2697239461888
4, 8, 32, 39, 52, 58, 85, 102, 106, 118, 152, 181 [best: 1000] 2701534429184
4, 8, 32, 39, 52, 60, 71, 101, 111, 133, 180, 193 [best: 1000] 2705829396480
4, 8, 32, 39, 52, 62, 75, 81, 98, 130, 133, 177 [best: 1000] 2710124363776
4, 8, 32, 39, 52, 64, 65, 71, 95, 170, 187, 193 [best: 1000] 2714419331072
4, 8, 32, 39, 52, 65, 69, 92, 102, 107, 139, 142 [best: 1000] 2718714298368
4, 8, 32, 39, 52, 67, 69, 75, 81, 126, 130, 150 [best: 1000] 2723009265664
4, 8, 32, 39, 52, 70, 91, 95, 115, 116, 147, 168 [best: 1000] 2727304232960
4, 8, 32, 39, 52, 74, 89, 96, 103, 131, 147, 164 [best: 1000] 2731599200256
4, 8, 32, 39, 53, 54, 58, 78, 125, 132, 188, 202 [best: 1000] 2735894167552
4, 8, 32, 39, 53, 54, 74, 111, 121, 145, 146, 180, 245 [best: 1000] 2740189134848
4, 8, 32, 39, 53, 55, 60, 66, 93, 108, 112, 119 [best: 1000] 2744484102144
4, 8, 32, 39, 53, 55, 79, 96, 108, 131, 146, 164 [best: 1000] 2748779069440
4, 8, 32, 39, 53, 56, 67, 71, 79, 80, 99, 114 [best: 1000] 2753074036736
4, 8, 32, 39, 53, 57, 63, 88, 120, 142, 162, 180 [best: 1000] 2757369004032
4, 8, 32, 39, 53, 57, 94, 114, 131, 143, 151, 191 [best: 1000] 2761663971328
4, 8, 32, 39, 53, 58, 74, 80, 82, 85, 132, 193 [best: 1000] 2765958938624
4, 8, 32, 39, 53, 59, 64, 65, 88, 92, 129, 201 [best: 1000] 2770253905920
4, 8, 32, 39, 53, 60, 61, 76, 87, 96, 138, 141 [best: 1000] 2774548873216
4, 8, 32, 39, 53, 60, 80, 109, 111, 146, 147, 181 [best: 1000] 2778843840512
4, 8, 32, 39, 53, 61, 79, 82, 95, 110, 130, 186 [best: 1000] 2783138807808
4, 8, 32, 39, 53, 62, 79, 84, 117, 120, 141, 142 [best: 1000] 2787433775104
4, 8, 32, 39, 53, 63, 72, 98, 119, 136, 165, 202, 249 [best: 1000] 2791728742400
4, 8, 32, 39, 53, 63, 100, 108, 126, 164, 181 [best: 1000] 2796023709696
4, 8, 32, 39, 53, 64, 79, 81, 104, 132, 149, 181 [best: 1000] 2800318676992
4, 8, 32, 39, 53, 65, 68, 92, 130, 153, 174 [best: 1000] 2804613644288
4, 8, 32, 39, 53, 65, 84, 89, 93, 137, 155, 216 [best: 1000] 2808908611584
4, 8, 32, 39, 53, 66, 76, 87, 89, 148, 158, 190 [best: 1000] 2813203578880
4, 8, 32, 39, 53, 67, 91, 97, 101, 106, 144, 174 [best: 1000] 2817498546176
4, 8, 32, 39, 53, 69, 71, 74, 75, 106, 153, 199 [best: 1000] 2821793513472
4, 8, 32, 39, 53, 71, 73, 82, 89, 91, 111, 120 [best: 1000] 2826088480768
4, 8, 32, 39, 53, 71, 102, 105, 140, 147, 163, 164, 245 [best: 1000] 2830383448064
4, 8, 32, 39, 53, 74, 80, 113, 121, 129, 133, 190 [best: 1000] 2834678415360
4, 8, 32, 39, 53, 76, 80, 103, 110, 182, 201 [best: 1000] 2838973382656
4, 8, 32, 39, 53, 78, 80, 106, 109, 110, 182, 199 [best: 1000] 2843268349952
4, 8, 32, 39, 53, 79, 85, 102, 105, 125, 153, 187 [best: 1000] 2847563317248
4, 8, 32, 39, 53, 80, 90, 91, 130, 146, 157, 224 [best: 1000] 2851858284544
4, 8, 32, 39, 53, 82, 85, 90, 129, 140, 161, 172 [best: 1000] 2856153251840
4, 8, 32, 39, 53, 87, 95, 105, 109, 144, 164, 168, 190 [best: 1000] 2860448219136
4, 8, 32, 39, 54, 55, 63, 81, 105, 128, 155, 190 [best: 1000] 2864743186432
4, 8, 32, 39, 54, 55, 79, 88, 131, 163, 166, 204, 208 [best: 1000] 2869038153728
4, 8, 32, 39, 54, 56, 61, 77, 107, 125, 128, 132 [best: 1000] 2873333121024
4, 8, 32, 39, 54, 56, 85, 96, 105, 131, 145, 176 [best: 1000] 2877628088320
4, 8, 32, 39, 54, 57, 68, 93, 96, 108, 122, 123 [best: 1000] 2881923055616
4, 8, 32, 39, 54, 58, 60, 78, 115, 152, 156, 168 [best: 1000] 2886218022912
4, 8, 32, 39, 54, 58, 75, 78, 148, 156, 191, 209 [best: 1000] 2890512990208
4, 8, 32, 39, 54, 59, 62, 72, 103, 105, 121, 151 [best: 1000] 2894807957504
4, 8, 32, 39, 54, 59, 92, 116, 123, 134, 165, 170 [best: 1000] 2899102924800
4, 8, 32, 39, 54, 60, 75, 93, 106, 143, 148, 168 [best: 1000] 2903397892096
4, 8, 32, 39, 54, 61, 65, 85, 123, 143, 157, 170 [best: 1000] 2907692859392
4, 8, 32, 39, 54, 62, 65, 77, 78, 115, 132, 187 [best: 1000] 2911987826688
4, 8, 32, 39, 54, 62, 91, 93, 115, 148, 157, 163 [best: 1000] 2916282793984
4, 8, 32, 39, 54, 63, 76, 99, 133, 144, 157, 166 [best: 1000] 2920577761280
4, 8, 32, 39, 54, 64, 66, 81, 86, 89, 95, 195 [best: 1000] 2924872728576
4, 8, 32, 39, 54, 64, 79, 85, 88, 96, 101 [best: 1000] 2929167695872
4, 8, 32, 39, 54, 64, 104, 112, 143, 186, 193, 220, 234 [best: 1000] 2933462663168
4, 8, 32, 39, 54, 65, 77, 85, 100, 116, 165, 181 [best: 1000] 2937757630464
4, 8, 32, 39, 54, 65, 93, 98, 119, 122, 124, 165 [best: 1000] 2942052597760
4, 8, 32, 39, 54, 66, 90, 98, 99, 101, 103, 136 [best: 1000] 2946347565056
4, 8, 32, 39, 54, 67, 92, 123, 139, 145, 146, 158 [best: 1000] 2950642532352
4, 8, 32, 39, 54, 68, 92, 98, 122, 130, 157, 173 [best: 1000] 2954937499648
4, 8, 32, 39, 54, 70, 79, 96, 99, 140, 164, 176 [best: 1000] 2959232466944
4, 8, 32, 39, 54, 71, 81, 115, 118, 127, 157, 158 [best: 1000] 2963527434240
4, 8, 32, 39, 54, 73, 75, 80, 135, 151, 174, 198 [best: 1000] 2967822401536
4, 8, 32, 39, 54, 74, 87, 95, 158, 169, 192, 236 [best: 1000] 2972117368832
4, 8, 32, 39, 54, 75, 99, 120, 128, 169, 194, 205 [best: 1000] 2976412336128
4, 8, 32, 39, 54, 77, 81, 117, 124, 171, 202, 243 [best: 1000] 2980707303424
4, 8, 32, 39, 54, 78, 101, 109, 126, 131, 168, 193 [best: 1000] 2985002270720
4, 8, 32, 39, 54, 80, 85, 109, 138, 140, 158, 213 [best: 1000] 2989297238016
4, 8, 32, 39, 54, 81, 92, 107, 111, 132, 182, 200 [best: 1000] 2993592205312
4, 8, 32, 39, 54, 83, 84, 112, 136, 141, 144, 154 [best: 1000] 2997887172608
4, 8, 32, 39, 54, 87, 92, 107, 126, 130, 131, 163 [best: 1000] 3002182139904
4, 8, 32, 39, 55, 56, 68, 86, 92, 117, 130, 168 [best: 1000] 3006477107200
4, 8, 32, 39, 55, 57, 60, 75, 119, 135, 146, 168 [best: 1000] 3010772074496
4, 8, 32, 39, 55, 57, 77, 109, 133, 146, 165, 183 [best: 1000] 3015067041792
4, 8, 32, 39, 55, 58, 63, 96, 103, 128, 172, 187 [best: 1000] 3019362009088
4, 8, 32, 39, 55, 58, 78, 104, 115, 126, 197, 235 [best: 1000] 3023656976384
4, 8, 32, 39, 55, 59, 64, 70, 93, 97, 109, 130 [best: 1000] 3027951943680
4, 8, 32, 39, 55, 59, 86, 89, 93, 116, 118, 120 [best: 1000] 3032246910976
4, 8, 32, 39, 55, 60, 71, 95, 97, 101, 140, 165 [best: 1000] 3036541878272
4, 8, 32, 39, 55, 60, 101, 125, 135, 146, 178, 208 [best: 1000] 3040836845568
4, 8, 32, 39, 55, 61, 86, 94, 120, 146, 147, 181 [best: 1000] 3045131812864
4, 8, 32, 39, 55, 62, 78, 87, 113, 152, 172, 195 [best: 1000] 3049426780160
4, 8, 32, 39, 55, 63, 68, 84, 93, 126, 156, 186 [best: 1000] 3053721747456
4, 8, 32, 39, 55, 63, 82, 108, 141, 158, 161, 162 [best: 1000] 3058016714752
4, 8, 32, 39, 55, 64, 68, 71, 93, 102, 158, 193 [best: 1000] 3062311682048
4, 8, 32, 39, 55, 64, 80, 102, 122, 172, 202, 228 [best: 1000] 3066606649344
4, 8, 32, 39, 55, 65, 67, 70, 97, 104, 119, 186 [best: 1000] 3070901616640
4, 8, 32, 39, 55, 65, 78, 97, 136, 144, 178, 235 [best: 1000] 3075196583936
4, 8, 32, 39, 55, 65, 96, 103, 116, 150, 169, 221 [best: 1000] 3079491551232
4, 8, 32, 39, 55, 66, 87, 89, 90, 107, 121, 225 [best: 1000] 3083786518528
4, 8, 32, 39, 55, 67, 89, 105, 113, 138, 152, 165 [best: 1000] 3088081485824
4, 8, 32, 39, 55, 68, 84, 116, 129, 138, 144, 149, 164 [best: 1000] 3092376453120
4, 8, 32, 39, 55, 70, 73, 77, 118, 122, 143, 208 [best: 1000] 3096671420416
4, 8, 32, 39, 55, 71, 77, 84, 133, 136, 146, 199 [best: 1000] 3100966387712
4, 8, 32, 39, 55, 71, 100, 129, 131, 155, 191, 198 [best: 1000] 3105261355008
4, 8, 32, 39, 55, 73, 87, 94, 144, 161, 180, 233 [best: 1000] 3109556322304
4, 8, 32, 39, 55, 74, 94, 103, 110, 133, 200, 206 [best: 1000] 3113851289600
4, 8, 32, 39, 55, 75, 96, 122, 129, 133, 140, 211 [best: 1000] 3118146256896
4, 8, 32, 39, 55, 77, 78, 87, 94, 121, 126, 207 [best: 1000] 3122441224192
4, 8, 32, 39, 55, 78, 79, 121, 126, 143, 181, 207 [best: 1000] 3126736191488
4, 8, 32, 39, 55, 78, 98, 121, 153, 168, 201, 253 [best: 1000] 3131031158784
4, 8, 32, 39, 55, 79, 90, 121, 133, 170, 172, 216 [best: 1000] 3135326126080
4, 8, 32, 39, 55, 80, 86, 99, 102, 173, 198, 232 [best: 1000] 3139621093376
4, 8, 32, 39, 55, 81, 82, 96, 112, 114, 157, 181 [best: 1000] 3143916060672
4, 8, 32, 39, 55, 82, 106, 113, 130, 133, 149, 162 [best: 1000] 3148211027968
4, 8, 32, 39, 55, 86, 100, 110, 114, 133, 156, 218 [best: 1000] 3152505995264
4, 8, 32, 39, 56, 57, 63, 79, 88, 120, 198, 201 [best: 1000] 3156800962560
4, 8, 32, 39, 56, 58, 59, 95, 124, 133, 149, 169 [best: 1000] 3161095929856
4, 8, 32, 39, 56, 58, 79, 96, 110, 112, 129, 134 [best: 1000] 3165390897152
4, 8, 32, 39, 56, 59, 76, 79, 99, 150, 156, 207 [best: 1000] 3169685864448
4, 8, 32, 39, 56, 60, 73, 94, 99, 109, 144, 181 [best: 1000] 3173980831744
4, 8, 32, 39, 56, 61, 74, 83, 124, 126, 130, 148 [best: 1000] 3178275799040
4, 8, 32, 39, 56, 62, 79, 82, 123, 139, 154, 163, 190 [best: 1000] 3182570766336
4, 8, 32, 39, 56, 63, 76, 94, 112, 129, 139, 182 [best: 1000] 3186865733632
4, 8, 32, 39, 56, 64, 68, 73, 85, 91, 140, 165 [best: 1000] 3191160700928
4, 8, 32, 39, 56, 64, 88, 103, 113, 132, 133, 162 [best: 1000] 3195455668224
4, 8, 32, 39, 56, 65, 77, 87, 133, 145, 154, 165 [best: 1000] 3199750635520
4, 8, 32, 39, 56, 66, 68, 99, 101, 118, 121, 168 [best: 1000] 3204045602816
4, 8, 32, 39, 56, 67, 85, 101, 106, 150, 153, 177 [best: 1000] 3208340570112
4, 8, 32, 39, 56, 69, 76, 94, 98, 105, 117, 157 [best: 1000] 3212635537408
4, 8, 32, 39, 56, 71, 78, 94, 98, 101, 154, 207 [best: 1000] 3216930504704
4, 8, 32, 39, 56, 73, 77, 89, 140, 143, 158, 170 [best: 1000] 3221225472000
4, 8, 32, 39, 56, 74, 97, 99, 132, 160, 161, 194, 201 [best: 1000] 3225520439296
4, 8, 32, 39, 56, 77, 79, 81, 130, 136, 137, 159, 202 [best: 1000] 3229815406592
4, 8, 32, 39, 56, 78, 84, 95, 112, 120, 151, 188 [best: 1000] 3234110373888
4, 8, 32, 39, 56, 79, 89, 98, 114, 168, 183, 234 [best: 1000] 3238405341184
4, 8, 32, 39, 56, 81, 92, 96, 108, 124, 127, 131, 132 [best: 1000] 3242700308480
4, 8, 32, 39, 57, 58, 59, 71, 113, 124, 146, 154 [best: 1000] 3246995275776
4, 8, 32, 39, 57, 58, 80, 83, 92, 110, 137, 156 [best: 1000] 3251290243072
4, 8, 32, 39, 57, 59, 71, 85, 90, 109, 156, 188 [best: 1000] 3255585210368
4, 8, 32, 39, 57, 60, 66, 93, 99, 144, 156, 183 [best: 1000] 3259880177664
4, 8, 32, 39, 57, 61, 63, 76, 79, 91, 139, 171 [best: 1000] 3264175144960
4, 8, 32, 39, 57, 62, 71, 97, 98, 108, 167, 198 [best: 1000] 3268470112256
4, 8, 32, 39, 57, 63, 71, 96, 103, 118, 159, 190 [best: 1000] 3272765079552
4, 8, 32, 39, 57, 64, 65, 68, 126, 130, 132, 145 [best: 1000] 3277060046848
4, 8, 32, 39, 57, 64, 85, 105, 116, 130, 165, 192 [best: 1000] 3281355014144
4, 8, 32, 39, 57, 65, 76, 85, 97, 128, 171, 181 [best: 1000] 3285649981440
4, 8, 32, 39, 57, 65, 94, 103, 123, 131, 161, 167 [best: 1000] 3289944948736
4, 8, 32, 39, 57, 67, 71, 102, 118, 122, 161, 193 [best: 1000] 3294239916032
4, 8, 32, 39, 57, 68, 82, 103, 112, 115, 157, 183 [best: 1000] 3298534883328
4, 8, 32, 39, 57, 70, 87, 99, 106, 137, 152, 193 [best: 1000] 3302829850624
4, 8, 32, 39, 57, 72, 75, 89, 98, 107, 157, 180 [best: 1000] 3307124817920
4, 8, 32, 39, 57, 75, 78, 96, 97, 128, 129, 131 [best: 1000] 3311419785216
4, 8, 32, 39, 57, 77, 98, 106, 123, 138, 149, 208 [best: 1000] 3315714752512
4, 8, 32, 39, 57, 79, 101, 121, 132, 140, 158, 162 [best: 1000] 3320009719808
4, 8, 32, 39, 57, 81, 86, 107, 112, 114, 146, 189 [best: 1000] 3324304687104
4, 8, 32, 39, 57, 84, 87, 95, 124, 130, 147, 176 [best: 1000] 3328599654400
4, 8, 32, 39, 58, 59, 68, 116, 119, 124, 130, 189 [best: 1000] 3332894621696
4, 8, 32, 39, 58, 60, 64, 83, 114, 127, 157, 178 [best: 1000] 3337189588992
4, 8, 32, 39, 58, 60, 100, 112, 113, 115, 183, 202 [best: 1000] 3341484556288
4, 8, 32, 39, 58, 62, 63, 100, 106, 112, 180, 203 [best: 1000] 3345779523584
4, 8, 32, 39, 58, 63, 64, 79, 100, 122, 156, 222 [best: 1000] 3350074490880
4, 8, 32, 39, 58, 63, 80, 84, 111, 125, 147, 187 [best: 1000] 3354369458176
4, 8, 32, 39, 58, 63, 108, 117, 129, 137, 150, 151 [best: 1000] 3358664425472
4, 8, 32, 39, 58, 64, 78, 89, 126, 157, 167, 175 [best: 1000] 3362959392768
4, 8, 32, 39, 58, 64, 98, 113, 149, 194, 207, 244 [best: 1000] 3367254360064
4, 8, 32, 39, 58, 65, 80, 83, 125, 126, 196, 198 [best: 1000] 3371549327360
4, 8, 32, 39, 58, 66, 68, 109, 134, 143, 161, 195 [best: 1000] 3375844294656
4, 8, 32, 39, 58, 67, 81, 91, 117, 123, 154, 164 [best: 1000] 3380139261952
4, 8, 32, 39, 58, 68, 89, 100, 124, 142, 143, 155 [best: 1000] 3384434229248
4, 8, 32, 39, 58, 70, 83, 105, 115, 136, 162, 184 [best: 1000] 3388729196544
4, 8, 32, 39, 58, 71, 94, 105, 123, 137, 146, 162 [best: 1000] 3393024163840
4, 8, 32, 39, 58, 73, 93, 96, 120, 127, 133, 182 [best: 1000] 3397319131136
4, 8, 32, 39, 58, 76, 79, 96, 105, 128, 166, 177 [best: 1000] 3401614098432
4, 8, 32, 39, 58, 79, 81, 97, 103, 113, 145, 189 [best: 1000] 3405909065728
4, 8, 32, 39, 58, 80, 101, 105, 112, 143, 187, 207 [best: 1000] 3410204033024
4, 8, 32, 39, 58, 82, 84, 100, 130, 172, 184, 239 [best: 1000] 3414499000320
4, 8, 32, 39, 58, 83, 87, 107, 137, 144, 154, 195 [best: 1000] 3418793967616
4, 8, 32, 39, 58, 85, 88, 99, 133, 141, 149, 152 [best: 1000] 3423088934912
4, 8, 32, 39, 58, 89, 97, 98, 115, 125, 140, 148 [best: 1000] 3427383902208
4, 8, 32, 39, 59, 60, 77, 115, 126, 137, 172, 177 [best: 1000] 3431678869504
4, 8, 32, 39, 59, 61, 79, 85, 86, 112, 127, 135 [best: 1000] 3435973836800
4, 8, 32, 39, 59, 63, 64, 74, 102, 122, 129, 174 [best: 1000] 3440268804096
4, 8, 32, 39, 59, 63, 91, 100, 103, 104, 110, 113 [best: 1000] 3444563771392
4, 8, 32, 39, 59, 64, 79, 105, 135, 136, 146, 198 [best: 1000] 3448858738688
4, 8, 32, 39, 59, 65, 73, 90, 108, 120, 149, 164 [best: 1000] 3453153705984
4, 8, 32, 39, 59, 65, 97, 104, 136, 139, 156, 157 [best: 1000] 3457448673280
4, 8, 32, 39, 59, 67, 89, 95, 114, 144, 161, 192 [best: 1000] 3461743640576
4, 8, 32, 39, 59, 69, 86, 107, 118, 120, 133 [best: 1000] 3466038607872
4, 8, 32, 39, 59, 71, 86, 93, 125, 133, 162, 169 [best: 1000] 3470333575168
4, 8, 32, 39, 59, 74, 77, 78, 85, 128, 155, 168 [best: 1000] 3474628542464
4, 8, 32, 39, 59, 76, 100, 103, 104, 111, 113, 166 [best: 1000] 3478923509760
4, 8, 32, 39, 59, 78, 86, 93, 137, 148, 186, 217 [best: 1000] 3483218477056
4, 8, 32, 39, 59, 79, 96, 102, 109, 130, 173, 184 [best: 1000] 3487513444352
4, 8, 32, 39, 59, 83, 91, 107, 108, 112, 133, 147 [best: 1000] 3491808411648
4, 8, 32, 39, 60, 61, 85, 105, 109, 111, 132, 154 [best: 1000] 3496103378944
4, 8, 32, 39, 60, 62, 82, 91, 97, 116, 135, 166 [best: 1000] 3500398346240
4, 8, 32, 39, 60, 63, 74, 88, 100, 105, 112, 128 [best: 1000] 3504693313536
4, 8, 32, 39, 60, 63, 100, 113, 124, 139, 146, 165 [best: 1000] 3508988280832
4, 8, 32, 39, 60, 64, 77, 101, 109, 115, 183, 221 [best: 1000] 3513283248128
4, 8, 32, 39, 60, 64, 96, 130, 148, 151, 154, 158 [best: 1000] 3517578215424
4, 8, 32, 39, 60, 65, 79, 93, 136, 173, 193, 201 [best: 1000] 3521873182720
4, 8, 32, 39, 60, 66, 71, 74, 94, 119, 132, 186 [best: 1000] 3526168150016
4, 8, 32, 39, 60, 67, 82, 111, 132, 165, 174, 222 [best: 1000] 3530463117312
4, 8, 32, 39, 60, 68, 91, 114, 117, 128, 146, 212 [best: 1000] 3534758084608
4, 8, 32, 39, 60, 70, 86, 107, 129, 147, 165, 170 [best: 1000] 3539053051904
4, 8, 32, 39, 60, 71, 91, 113, 116, 137, 173, 219 [best: 1000] 3543348019200
4, 8, 32, 39, 60, 73, 87, 110, 119, 125, 177, 197 [best: 1000] 3547642986496
4, 8, 32, 39, 60, 76, 78, 101, 106, 151, 160, 165 [best: 1000] 3551937953792
4, 8, 32, 39, 60, 78, 80, 127, 132, 149, 152, 201 [best: 1000] 3556232921088
4, 8, 32, 39, 60, 79, 90, 95, 120, 159, 197, 249 [best: 1000] 3560527888384
4, 8, 32, 39, 60, 80, 92, 109, 133, 175, 188, 212 [best: 1000] 3564822855680
4, 8, 32, 39, 60, 81, 95, 97, 155, 173, 188 [best: 1000] 3569117822976
4, 8, 32, 39, 60, 83, 96, 107, 119, 139, 202, 211 [best: 1000] 3573412790272
4, 8, 32, 39, 60, 88, 91, 106, 112, 135, 159, 180 [best: 1000] 3577707757568
4, 8, 32, 39, 61, 63, 65, 85, 91, 109, 135, 172 [best: 1000] 3582002724864
4, 8, 32, 39, 61, 64, 65, 81, 84, 109, 148, 168 [best: 1000] 3586297692160
4, 8, 32, 39, 61, 65, 66, 101, 128, 154, 181, 194 [best: 1000] 3590592659456
4, 8, 32, 39, 61, 65, 87, 96, 104, 149, 163, 170 [best: 1000] 3594887626752
4, 8, 32, 39, 61, 67, 71, 94, 112, 118, 145, 162 [best: 1000] 3599182594048
4, 8, 32, 39, 61, 69, 73, 82, 114, 142, 163, 170 [best: 1000] 3603477561344
4, 8, 32, 39, 61, 71, 90, 111, 132, 141, 215, 253 [best: 1000] 3607772528640
4, 8, 32, 39, 61, 76, 83, 88, 103, 115, 143, 183 [best: 1000] 3612067495936
4, 8, 32, 39, 61, 79, 81, 93, 95, 121, 158 [best: 1000] 3616362463232
4, 8, 32, 39, 61, 83, 87, 88, 112, 123, 127, 157 [best: 1000] 3620657430528
4, 8, 32, 39, 62, 63, 81, 90, 138, 169, 221, 237 [best: 1000] 3624952397824
4, 8, 32, 39, 62, 64, 68, 80, 113, 122, 181, 192 [best: 1000] 3629247365120
4, 8, 32, 39, 62, 64, 87, 100, 129, 138, 167, 219 [best: 1000] 3633542332416
4, 8, 32, 39, 62, 65, 76, 98, 107, 136, 174, 187 [best: 1000] 3637837299712
4, 8, 32, 39, 62, 66, 71, 114, 117, 133, 139, 145 [best: 1000] 3642132267008
4, 8, 32, 39, 62, 68, 71, 84, 102, 115, 172, 190 [best: 1000] 3646427234304
4, 8, 32, 39, 62, 69, 96, 112, 115, 121, 122, 137 [best: 1000] 3650722201600
4, 8, 32, 39, 62, 71, 92, 95, 124, 127, 130, 228 [best: 1000] 3655017168896
4, 8, 32, 39, 62, 74, 81, 113, 123, 155, 162, 211 [best: 1000] 3659312136192
4, 8, 32, 39, 62, 78, 94, 99, 121, 158, 206, 234 [best: 1000] 3663607103488
4, 8, 32, 39, 62, 81, 83, 88, 94, 122, 123, 140 [best: 1000] 3667902070784
4, 8, 32, 39, 62, 82, 99, 119, 131, 152, 163, 172 [best: 1000] 3672197038080
4, 8, 32, 39, 62, 86, 96, 99, 112, 114, 129, 182 [best: 1000] 3676492005376
4, 8, 32, 39, 63, 64, 72, 80, 91, 96, 146, 160 [best: 1000] 3680786972672
4, 8, 32, 39, 63, 64, 83, 113, 123, 126, 179, 183 [best: 1000] 3685081939968
4, 8, 32, 39, 63, 65, 66, 79, 101, 146, 153, 180 [best: 1000] 3689376907264
4, 8, 32, 39, 63, 65, 76, 100, 112, 158, 186, 194 [best: 1000] 3693671874560
4, 8, 32, 39, 63, 65, 88, 92, 100, 110, 168, 179 [best: 1000] 3697966841856
4, 8, 32, 39, 63, 66, 69, 93, 97, 104, 114, 118 [best: 1000] 3702261809152
4, 8, 32, 39, 63, 67, 75, 89, 100, 125, 147, 168 [best: 1000] 3706556776448
4, 8, 32, 39, 63, 68, 73, 78, 117, 130, 167, 181 [best: 1000] 3710851743744
4, 8, 32, 39, 63, 68, 99, 109, 119, 124, 144, 147 [best: 1000] 3715146711040
4, 8, 32, 39, 63, 70, 77, 121, 136, 150, 180 [best: 1000] 3719441678336
4, 8, 32, 39, 63, 71, 79, 116, 128, 143, 169, 175 [best: 1000] 3723736645632
4, 8, 32, 39, 63, 72, 78, 85, 103, 108, 115, 125 [best: 1000] 3728031612928
4, 8, 32, 39, 63, 73, 92, 112, 116, 150, 193, 227 [best: 1000] 3732326580224
4, 8, 32, 39, 63, 75, 76, 81, 109, 155, 164, 202 [best: 1000] 3736621547520
4, 8, 32, 39, 63, 75, 99, 113, 114, 145, 181, 213 [best: 1000] 3740916514816
4, 8, 32, 39, 63, 76, 90, 102, 104, 121, 156, 210 [best: 1000] 3745211482112
4, 8, 32, 39, 63, 77, 87, 108, 134, 135, 153, 171 [best: 1000] 3749506449408
4, 8, 32, 39, 63, 78, 90, 125, 136, 139, 169, 215 [best: 1000] 3753801416704
4, 8, 32, 39, 63, 80, 84, 117, 120, 146, 151, 200 [best: 1000] 3758096384000
4, 8, 32, 39, 63, 81, 90, 100, 147, 187, 243, 254 [best: 1000] 3762391351296
4, 8, 32, 39, 63, 82, 87, 101, 129, 131, 204, 207 [best: 1000] 3766686318592
4, 8, 32, 39, 63, 82, 109, 120, 147, 161, 173, 232 [best: 1000] 3770981285888
4, 8, 32, 39, 63, 84, 99, 100, 119, 121, 140, 144 [best: 1000] 3775276253184
4, 8, 32, 39, 63, 87, 90, 98, 131, 134, 144, 193 [best: 1000] 3779571220480
4, 8, 32, 39, 63, 90, 97, 111, 117, 124, 171, 180 [best: 1000] 3783866187776
4, 8, 32, 39, 64, 65, 73, 77, 105, 137, 169, 170 [best: 1000] 3788161155072
4, 8, 32, 39, 64, 65, 81, 106, 130, 146, 158, 196 [best: 1000] 3792456122368
4, 8, 32, 39, 64, 65, 95, 105, 128, 129, 172, 188 [best: 1000] 3796751089664
4, 8, 32, 39, 64, 66, 74, 81, 129, 143, 196, 246 [best: 1000] 3801046056960
4, 8, 32, 39, 64, 67, 72, 73, 93, 108, 122, 128 [best: 1000] 3805341024256
4, 8, 32, 39, 64, 67, 90, 109, 115, 146, 212, 252 [best: 1000] 3809635991552
4, 8, 32, 39, 64, 68, 79, 97, 108, 144, 152, 166 [best: 1000] 3813930958848
4, 8, 32, 39, 64, 69, 70, 85, 123, 154, 155, 171 [best: 1000] 3818225926144
4, 8, 32, 39, 64, 70, 76, 90, 140, 156, 169, 201 [best: 1000] 3822520893440
4, 8, 32, 39, 64, 71, 75, 84, 96, 107, 156, 213 [best: 1000] 3826815860736
4, 8, 32, 39, 64, 71, 88, 95, 121, 152, 156, 207 [best: 1000] 3831110828032
4, 8, 32, 39, 64, 72, 85, 105, 110, 140, 163, 183 [best: 1000] 3835405795328
4, 8, 32, 39, 64, 73, 98, 118, 124, 150, 181, 234 [best: 1000] 3839700762624
4, 8, 32, 39, 64, 74, 101, 115, 127, 173, 175, 212 [best: 1000] 3843995729920
4, 8, 32, 39, 64, 75, 100, 102, 104, 168, 208, 211 [best: 1000] 3848290697216
4, 8, 32, 39, 64, 77, 81, 88, 127, 143, 147, 215 [best: 1000] 3852585664512
4, 8, 32, 39, 64, 78, 81, 85, 143, 150, 169, 182 [best: 1000] 3856880631808
4, 8, 32, 39, 64, 79, 81, 90, 109, 127, 135, 240 [best: 1000] 3861175599104
4, 8, 32, 39, 64, 79, 111, 131, 154, 158, 159, 188 [best: 1000] 3865470566400
4, 8, 32, 39, 64, 80, 102, 105, 112, 136, 185, 224 [best: 1000] 3869765533696
4, 8, 32, 39, 64, 81, 91, 104, 106, 114, 176, 215 [best: 1000] 3874060500992
4, 8, 32, 39, 64, 81, 114, 115, 135, 154, 183, 190 [best: 1000] 3878355468288
4, 8, 32, 39, 64, 83, 90, 92, 112, 123, 131, 149 [best: 1000] 3882650435584
4, 8, 32, 39, 64, 84, 107, 123, 138, 164, 188, 223 [best: 1000] 3886945402880
4, 8, 32, 39, 64, 86, 99, 130, 134, 173, 191, 233 [best: 1000] 3891240370176
4, 8, 32, 39, 64, 89, 100, 104, 122, 144, 157, 196 [best: 1000] 3895535337472
4, 8, 32, 39, 64, 91, 101, 104, 132, 147, 169, 192 [best: 1000] 3899830304768
4, 8, 32, 39, 65, 66, 82, 106, 118, 128, 166, 211 [best: 1000] 3904125272064
4, 8, 32, 39, 65, 67, 78, 106, 131, 139, 155, 170 [best: 1000] 3908420239360
4, 8, 32, 39, 65, 68, 74, 77, 83, 118, 154, 162 [best: 1000] 3912715206656
4, 8, 32, 39, 65, 68, 88, 115, 117, 141, 206, 216 [best: 1000] 3917010173952
4, 8, 32, 39, 65, 69, 83, 109, 125, 136, 158, 165 [best: 1000] 3921305141248
4, 8, 32, 39, 65, 70, 84, 85, 127, 131, 141, 164 [best: 1000] 3925600108544
4, 8, 32, 39, 65, 71, 79, 104, 135, 150, 170, 190 [best: 1000] 3929895075840
4, 8, 32, 39, 65, 71, 99, 111, 151, 190, 207 [best: 1000] 3934190043136
4, 8, 32, 39, 65, 73, 77, 94, 97, 120, 161, 165 [best: 1000] 3938485010432
4, 8, 32, 39, 65, 74, 75, 92, 113, 118, 146, 205 [best: 1000] 3942779977728
4, 8, 32, 39, 65, 74, 94, 102, 112, 115, 138, 172 [best: 1000] 3947074945024
4, 8, 32, 39, 65, 75, 84, 92, 107, 111, 180, 218 [best: 1000] 3951369912320
4, 8, 32, 39, 65, 76, 79, 94, 104, 148, 161, 187 [best: 1000] 3955664879616
4, 8, 32, 39, 65, 77, 79, 97, 103, 135, 165, 172 [best: 1000] 3959959846912
4, 8, 32, 39, 65, 77, 98, 100, 122, 184, 210, 213 [best: 1000] 3964254814208
4, 8, 32, 39, 65, 78, 87, 89, 94, 102, 146, 193 [best: 1000] 3968549781504
4, 8, 32, 39, 65, 79, 83, 100, 126, 132, 166, 234 [best: 1000] 3972844748800
4, 8, 32, 39, 65, 80, 83, 109, 138, 145, 147, 189 [best: 1000] 3977139716096
4, 8, 32, 39, 65, 81, 83, 86, 113, 156, 176, 190 [best: 1000] 3981434683392
4, 8, 32, 39, 65, 81, 97, 106, 124, 180, 212, 224 [best: 1000] 3985729650688
4, 8, 32, 39, 65, 82, 86, 100, 123, 125, 200, 215 [best: 1000] 3990024617984
4, 8, 32, 39, 65, 82, 100, 131, 133, 169, 171, 192 [best: 1000] 3994319585280
4, 8, 32, 39, 65, 83, 91, 111, 143, 144, 184, 188 [best: 1000] 3998614552576
4, 8, 32, 39, 65, 84, 95, 124, 125, 126, 159, 223 [best: 1000] 4002909519872
4, 8, 32, 39, 65, 85, 109, 110, 130, 152, 183, 185 [best: 1000] 4007204487168
4, 8, 32, 39, 65, 87, 97, 109, 114, 129, 140, 151 [best: 1000] 4011499454464
4, 8, 32, 39, 65, 90, 92, 101, 126, 168, 175, 193 [best: 1000] 4015794421760
4, 8, 32, 39, 65, 92, 97, 108, 115, 145, 211, 235 [best: 1000] 4020089389056
4, 8, 32, 39, 66, 68, 77, 92, 107, 154, 175, 233 [best: 1000] 4024384356352
4, 8, 32, 39, 66, 71, 75, 92, 102, 112, 178, 189 [best: 1000] 4028679323648
4, 8, 32, 39, 66, 73, 91, 99, 101, 103, 145, 200 [best: 1000] 4032974290944
4, 8, 32, 39, 66, 76, 77, 104, 111, 113, 180, 205 [best: 1000] 4037269258240
4, 8, 32, 39, 66, 79, 86, 87, 109, 153, 206 [best: 1000] 4041564225536
4, 8, 32, 39, 67, 68, 74, 89, 93, 127, 137, 174 [best: 1000] 4045859192832
4, 8, 32, 39, 67, 70, 71, 103, 105, 109, 112, 120 [best: 1000] 4050154160128
4, 8, 32, 39, 67, 71, 84, 96, 111, 156, 182, 192 [best: 1000] 4054449127424
4, 8, 32, 39, 67, 73, 88, 94, 105, 132, 155, 170 [best: 1000] 4058744094720
4, 8, 32, 39, 67, 75, 91, 92, 102, 155, 170, 187 [best: 1000] 4063039062016
4, 8, 32, 39, 67, 77, 97, 102, 112, 116, 128, 181 [best: 1000] 4067334029312
4, 8, 32, 39, 67, 80, 94, 102, 103, 139, 172, 183 [best: 1000] 4071628996608
4, 8, 32, 39, 67, 82, 102, 117, 139, 151, 183, 222 [best: 1000] 4075923963904
4, 8, 32, 39, 68, 69, 70, 75, 82, 123, 130, 163 [best: 1000] 4080218931200
4, 8, 32, 39, 68, 71, 76, 89, 102, 154, 162, 177, 184 [best: 1000] 4084513898496
4, 8, 32, 39, 68, 73, 76, 97, 115, 126, 141, 165 [best: 1000] 4088808865792
4, 8, 32, 39, 68, 75, 76, 84, 111, 125, 161, 162 [best: 1000] 4093103833088
4, 8, 32, 39, 68, 77, 81, 94, 136, 148, 167, 198 [best: 1000] 4097398800384
4, 8, 32, 39, 68, 80, 81, 84, 106, 120, 184, 195 [best: 1000] 4101693767680
4, 8, 32, 39, 68, 81, 85, 112, 113, 123, 146, 153 [best: 1000] 4105988734976
4, 8, 32, 39, 68, 82, 88, 95, 106, 129, 144, 203 [best: 1000] 4110283702272
4, 8, 32, 39, 68, 84, 93, 108, 111, 123, 163, 181 [best: 1000] 4114578669568
4, 8, 32, 39, 68, 89, 91, 118, 134, 138, 150, 210 [best: 1000] 4118873636864
4, 8, 32, 39, 69, 71, 90, 98, 108, 155, 160, 186 [best: 1000] 4123168604160
4, 8, 32, 39, 69, 76, 80, 85, 98, 103, 138, 183 [best: 1000] 4127463571456
4, 8, 32, 39, 69, 78, 94, 110, 117, 141, 177, 190 [best: 1000] 4131758538752
4, 8, 32, 39, 70, 71, 96, 110, 127, 160, 190, 223 [best: 1000] 4136053506048
4, 8, 32, 39, 70, 75, 91, 109, 115, 152, 167 [best: 1000] 4140348473344
4, 8, 32, 39, 70, 78, 86, 109, 130, 133, 142, 158 [best: 1000] 4144643440640
4, 8, 32, 39, 70, 80, 85, 97, 107, 108, 182, 186 [best: 1000] 4148938407936
4, 8, 32, 39, 70, 85, 87, 93, 113, 132, 136, 194 [best: 1000] 4153233375232
4, 8, 32, 39, 71, 73, 85, 125, 130, 141, 182, 188 [best: 1000] 4157528342528
4, 8, 32, 39, 71, 74, 97, 98, 140, 160, 178, 185 [best: 1000] 4161823309824
4, 8, 32, 39, 71, 76, 78, 80, 114, 128, 163, 166 [best: 1000] 4166118277120
4, 8, 32, 39, 71, 76, 107, 120, 129, 132, 187, 188 [best: 1000] 4170413244416
4, 8, 32, 39, 71, 78, 79, 97, 100, 132, 159, 185 [best: 1000] 4174708211712
4, 8, 32, 39, 71, 79, 83, 85, 88, 105, 120, 183, 192 [best: 1000] 4179003179008
4, 8, 32, 39, 71, 80, 91, 101, 105, 157, 175, 189 [best: 1000] 4183298146304
4, 8, 32, 39, 71, 81, 89, 113, 138, 143, 164, 217 [best: 1000] 4187593113600
4, 8, 32, 39, 71, 82, 84, 104, 121, 152, 159, 186 [best: 1000] 4191888080896
4, 8, 32, 39, 71, 83, 93, 122, 129, 151, 152, 172 [best: 1000] 4196183048192
4, 8, 32, 39, 71, 85, 98, 103, 117, 141, 164, 177 [best: 1000] 4200478015488
4, 8, 32, 39, 71, 88, 100, 112, 114, 117, 175, 198 [best: 1000] 4204772982784
4, 8, 32, 39, 72, 74, 84, 85, 98, 101, 104, 120 [best: 1000] 4209067950080
4, 8, 32, 39, 73, 74, 79, 96, 101, 115, 130, 201 [best: 1000] 4213362917376
4, 8, 32, 39, 73, 76, 80, 86, 97, 125, 157, 174 [best: 1000] 4217657884672
4, 8, 32, 39, 73, 79, 80, 84, 98, 100, 169, 218 [best: 1000] 4221952851968
4, 8, 32, 39, 73, 80, 84, 109, 117, 177, 207, 210 [best: 1000] 4226247819264
4, 8, 32, 39, 73, 81, 95, 113, 136, 176, 183, 247 [best: 1000] 4230542786560
4, 8, 32, 39, 73, 85, 89, 101, 111, 115, 137, 147 [best: 1000] 4234837753856
total chains: 4237622022810
new 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 17 17 17 17
9: 34 456 13 6 22
10: 1017 15169 14 3 29
11: 31838 533689 16 2 34
12: 1086635 20178335 18 1 39
13: 40854533 833922809 20 0 44
14: 1694400892 37796726933 22 0 49
15: 77335027260 1875569010975 24 0 54
16: 6509655023 143616369825 22 0 59
17: 3348944 90428720 27 2 58
18: 1543 43618 28 10 54
19: 0 0 0 0 0
20: 0 0 0 0 0
21: 0 0 0 0 0
real 557m33.484s
user 552m20.227s
sys 0m6.585s
stderr end
2025-05-01 08:28:03 (3760764): called boinc_finish(0)
</stderr_txt>
]]>
