Auto-assigning NUTS sampler...
Initializing NUTS using adapt_diag...
Multiprocess sampling (2 chains in 2 jobs)
NUTS: [x_pm_0_5, x_pm_0_4, x_pm_0_3_triu, x_pm_0_2, x_pm_0_1]
0%| | 0/2000 [00:00<?, ?it/s]
0%| | 1/2000 [00:00<19:46, 1.69it/s]
1%|1 | 21/2000 [00:00<13:45, 2.40it/s]
2%|2 | 46/2000 [00:00<09:32, 3.41it/s]
4%|4 | 81/2000 [00:00<06:35, 4.85it/s]
5%|4 | 99/2000 [00:02<05:13, 6.05it/s]
6%|5 | 112/2000 [00:03<04:31, 6.96it/s]
6%|6 | 122/2000 [00:04<04:08, 7.55it/s]
6%|6 | 129/2000 [00:05<03:46, 8.27it/s]
7%|6 | 135/2000 [00:06<04:44, 6.56it/s]
7%|6 | 139/2000 [00:07<04:46, 6.49it/s]
7%|7 | 142/2000 [00:07<05:17, 5.86it/s]
7%|7 | 145/2000 [00:08<05:24, 5.72it/s]
7%|7 | 147/2000 [00:08<05:47, 5.33it/s]
7%|7 | 149/2000 [00:09<05:45, 5.35it/s]
8%|7 | 151/2000 [00:09<05:57, 5.18it/s]
8%|7 | 152/2000 [00:09<06:35, 4.67it/s]
8%|7 | 153/2000 [00:09<06:18, 4.88it/s]
8%|7 | 154/2000 [00:10<06:36, 4.66it/s]
8%|7 | 155/2000 [00:10<06:19, 4.86it/s]
8%|7 | 156/2000 [00:10<06:35, 4.67it/s]
8%|7 | 157/2000 [00:10<06:45, 4.55it/s]
8%|7 | 158/2000 [00:11<06:35, 4.65it/s]
8%|7 | 159/2000 [00:11<06:18, 4.86it/s]
8%|8 | 160/2000 [00:11<06:17, 4.88it/s]
8%|8 | 161/2000 [00:11<06:04, 5.04it/s]
8%|8 | 162/2000 [00:11<06:09, 4.97it/s]
8%|8 | 163/2000 [00:11<05:52, 5.20it/s]
8%|8 | 164/2000 [00:12<06:03, 5.06it/s]
8%|8 | 165/2000 [00:12<05:54, 5.17it/s]
8%|8 | 167/2000 [00:12<05:09, 5.93it/s]
8%|8 | 168/2000 [00:12<05:24, 5.64it/s]
8%|8 | 169/2000 [00:12<05:36, 5.44it/s]
8%|8 | 170/2000 [00:13<05:44, 5.32it/s]
9%|8 | 171/2000 [00:13<05:47, 5.26it/s]
9%|8 | 172/2000 [00:13<05:43, 5.33it/s]
9%|8 | 173/2000 [00:13<05:52, 5.19it/s]
9%|8 | 174/2000 [00:13<05:46, 5.27it/s]
9%|8 | 175/2000 [00:14<06:01, 5.05it/s]
9%|8 | 176/2000 [00:14<05:15, 5.79it/s]
9%|8 | 177/2000 [00:14<05:55, 5.13it/s]
9%|8 | 179/2000 [00:14<04:58, 6.09it/s]
9%|9 | 181/2000 [00:14<04:20, 6.99it/s]
9%|9 | 183/2000 [00:15<03:30, 8.64it/s]
9%|9 | 185/2000 [00:15<03:58, 7.62it/s]
9%|9 | 186/2000 [00:15<04:57, 6.09it/s]
9%|9 | 187/2000 [00:15<05:27, 5.54it/s]
9%|9 | 188/2000 [00:15<05:28, 5.51it/s]
9%|9 | 189/2000 [00:16<05:43, 5.27it/s]
10%|9 | 191/2000 [00:16<04:50, 6.24it/s]
10%|9 | 193/2000 [00:16<04:21, 6.91it/s]
10%|9 | 194/2000 [00:16<04:56, 6.10it/s]
10%|9 | 195/2000 [00:16<05:08, 5.85it/s]
10%|9 | 196/2000 [00:17<05:16, 5.69it/s]
10%|9 | 197/2000 [00:17<06:22, 4.72it/s]
10%|9 | 198/2000 [00:17<07:26, 4.04it/s]
10%|9 | 199/2000 [00:17<06:16, 4.78it/s]
10%|# | 201/2000 [00:18<05:37, 5.33it/s]
10%|# | 202/2000 [00:18<10:36, 2.82it/s]
10%|# | 204/2000 [00:19<08:15, 3.62it/s]
10%|# | 205/2000 [00:19<07:32, 3.97it/s]
10%|# | 206/2000 [00:19<06:10, 4.84it/s]
10%|# | 208/2000 [00:19<05:10, 5.77it/s]
10%|# | 209/2000 [00:19<05:15, 5.68it/s]
10%|# | 210/2000 [00:19<04:35, 6.49it/s]
11%|# | 212/2000 [00:20<04:01, 7.39it/s]
11%|# | 213/2000 [00:20<04:48, 6.18it/s]
11%|# | 214/2000 [00:20<05:22, 5.54it/s]
11%|# | 215/2000 [00:20<05:26, 5.47it/s]
11%|# | 216/2000 [00:20<05:47, 5.13it/s]
11%|# | 218/2000 [00:21<04:52, 6.10it/s]
11%|# | 219/2000 [00:21<04:32, 6.54it/s]
11%|#1 | 220/2000 [00:21<04:21, 6.80it/s]
11%|#1 | 221/2000 [00:21<04:36, 6.44it/s]
11%|#1 | 223/2000 [00:21<04:10, 7.10it/s]
11%|#1 | 224/2000 [00:21<04:06, 7.19it/s]
11%|#1 | 227/2000 [00:22<03:17, 8.99it/s]
12%|#1 | 230/2000 [00:22<02:41, 10.95it/s]
12%|#1 | 232/2000 [00:22<02:54, 10.12it/s]
12%|#1 | 234/2000 [00:22<02:49, 10.44it/s]
12%|#1 | 236/2000 [00:22<02:37, 11.19it/s]
12%|#1 | 238/2000 [00:23<03:26, 8.54it/s]
12%|#2 | 240/2000 [00:23<03:07, 9.39it/s]
12%|#2 | 242/2000 [00:23<02:45, 10.62it/s]
12%|#2 | 244/2000 [00:24<05:23, 5.42it/s]
12%|#2 | 245/2000 [00:24<05:31, 5.30it/s]
12%|#2 | 247/2000 [00:24<05:29, 5.32it/s]
12%|#2 | 248/2000 [00:25<07:22, 3.96it/s]
12%|#2 | 249/2000 [00:25<08:22, 3.49it/s]
12%|#2 | 250/2000 [00:25<06:53, 4.24it/s]
13%|#2 | 252/2000 [00:25<06:00, 4.85it/s]
13%|#2 | 253/2000 [00:26<05:15, 5.54it/s]
13%|#2 | 255/2000 [00:26<04:30, 6.44it/s]
13%|#2 | 256/2000 [00:26<04:09, 6.98it/s]
13%|#2 | 257/2000 [00:26<04:34, 6.34it/s]
13%|#2 | 258/2000 [00:26<04:33, 6.36it/s]
13%|#3 | 260/2000 [00:26<04:00, 7.24it/s]
13%|#3 | 261/2000 [00:27<03:51, 7.53it/s]
13%|#3 | 263/2000 [00:27<03:45, 7.71it/s]
13%|#3 | 265/2000 [00:27<03:13, 8.97it/s]
13%|#3 | 267/2000 [00:27<02:56, 9.79it/s]
13%|#3 | 269/2000 [00:28<05:16, 5.46it/s]
14%|#3 | 270/2000 [00:28<05:39, 5.09it/s]
14%|#3 | 271/2000 [00:28<05:08, 5.61it/s]
14%|#3 | 273/2000 [00:28<04:01, 7.14it/s]
14%|#3 | 275/2000 [00:29<03:54, 7.36it/s]
14%|#3 | 277/2000 [00:29<04:44, 6.06it/s]
14%|#3 | 279/2000 [00:29<03:51, 7.44it/s]
14%|#4 | 281/2000 [00:29<03:53, 7.35it/s]
14%|#4 | 283/2000 [00:30<03:14, 8.83it/s]
14%|#4 | 286/2000 [00:30<02:39, 10.73it/s]
14%|#4 | 288/2000 [00:30<02:34, 11.07it/s]
14%|#4 | 290/2000 [00:30<02:18, 12.37it/s]
15%|#4 | 293/2000 [00:30<02:24, 11.78it/s]
15%|#4 | 296/2000 [00:30<02:21, 12.05it/s]
15%|#4 | 298/2000 [00:31<02:12, 12.88it/s]
15%|#5 | 300/2000 [00:31<02:27, 11.52it/s]
15%|#5 | 302/2000 [00:31<02:18, 12.25it/s]
15%|#5 | 304/2000 [00:31<02:19, 12.18it/s]
15%|#5 | 306/2000 [00:31<02:36, 10.84it/s]
15%|#5 | 308/2000 [00:31<02:26, 11.55it/s]
16%|#5 | 310/2000 [00:32<02:30, 11.25it/s]
16%|#5 | 312/2000 [00:32<02:21, 11.94it/s]
16%|#5 | 314/2000 [00:32<03:13, 8.72it/s]
16%|#5 | 316/2000 [00:32<02:49, 9.95it/s]
16%|#5 | 318/2000 [00:33<03:17, 8.53it/s]
16%|#6 | 320/2000 [00:33<03:31, 7.94it/s]
16%|#6 | 322/2000 [00:33<03:09, 8.87it/s]
16%|#6 | 326/2000 [00:33<02:27, 11.35it/s]
16%|#6 | 328/2000 [00:34<05:45, 4.84it/s]
16%|#6 | 330/2000 [00:34<04:32, 6.12it/s]
17%|#6 | 332/2000 [00:35<04:03, 6.86it/s]
17%|#6 | 334/2000 [00:35<03:21, 8.28it/s]
17%|#6 | 336/2000 [00:35<02:49, 9.81it/s]
17%|#7 | 340/2000 [00:35<02:15, 12.28it/s]
17%|#7 | 345/2000 [00:35<01:46, 15.54it/s]
17%|#7 | 349/2000 [00:35<01:29, 18.49it/s]
18%|#7 | 354/2000 [00:35<01:13, 22.29it/s]
18%|#7 | 358/2000 [00:35<01:10, 23.18it/s]
18%|#8 | 363/2000 [00:36<01:02, 26.38it/s]
18%|#8 | 367/2000 [00:36<01:03, 25.71it/s]
19%|#8 | 371/2000 [00:36<00:58, 27.81it/s]
19%|#8 | 375/2000 [00:36<00:53, 30.24it/s]
19%|#9 | 380/2000 [00:36<00:49, 32.94it/s]
19%|#9 | 384/2000 [00:36<00:48, 33.46it/s]
19%|#9 | 388/2000 [00:36<00:47, 33.65it/s]
20%|#9 | 392/2000 [00:36<00:52, 30.73it/s]
20%|#9 | 397/2000 [00:37<00:46, 34.31it/s]
20%|## | 401/2000 [00:37<00:46, 34.22it/s]
20%|## | 407/2000 [00:37<00:59, 26.74it/s]
21%|## | 411/2000 [00:37<01:23, 19.11it/s]
21%|## | 414/2000 [00:37<01:20, 19.68it/s]
21%|## | 417/2000 [00:38<01:21, 19.43it/s]
21%|##1 | 422/2000 [00:38<01:07, 23.24it/s]
21%|##1 | 426/2000 [00:38<01:01, 25.63it/s]
22%|##1 | 431/2000 [00:38<00:54, 28.56it/s]
22%|##1 | 435/2000 [00:38<00:54, 28.86it/s]
22%|##2 | 440/2000 [00:38<00:48, 31.99it/s]
22%|##2 | 444/2000 [00:38<00:51, 30.31it/s]
22%|##2 | 450/2000 [00:39<00:45, 34.39it/s]
23%|##2 | 454/2000 [00:39<00:43, 35.71it/s]
23%|##2 | 459/2000 [00:39<00:41, 37.56it/s]
23%|##3 | 463/2000 [00:39<00:40, 37.54it/s]
23%|##3 | 468/2000 [00:39<00:39, 38.82it/s]
24%|##3 | 474/2000 [00:39<00:35, 42.90it/s]
24%|##3 | 479/2000 [00:39<00:35, 42.44it/s]
24%|##4 | 484/2000 [00:39<00:37, 40.87it/s]
24%|##4 | 489/2000 [00:39<00:35, 42.48it/s]
25%|##4 | 494/2000 [00:40<00:35, 42.58it/s]
25%|##4 | 499/2000 [00:40<00:36, 41.03it/s]
25%|##5 | 504/2000 [00:40<00:35, 42.56it/s]
25%|##5 | 509/2000 [00:40<00:36, 41.04it/s]
26%|##5 | 514/2000 [00:40<00:35, 41.50it/s]
26%|##5 | 519/2000 [00:40<00:38, 38.66it/s]
26%|##6 | 524/2000 [00:40<00:37, 39.78it/s]
26%|##6 | 529/2000 [00:40<00:37, 38.99it/s]
27%|##6 | 536/2000 [00:41<00:33, 43.50it/s]
27%|##7 | 541/2000 [00:41<00:33, 43.27it/s]
27%|##7 | 546/2000 [00:41<00:32, 44.47it/s]
28%|##7 | 551/2000 [00:41<00:33, 43.58it/s]
28%|##7 | 556/2000 [00:41<00:32, 43.88it/s]
28%|##8 | 561/2000 [00:41<00:34, 41.89it/s]
28%|##8 | 566/2000 [00:41<00:41, 34.90it/s]
28%|##8 | 570/2000 [00:42<00:53, 26.80it/s]
29%|##8 | 575/2000 [00:42<00:51, 27.41it/s]
29%|##8 | 579/2000 [00:42<00:52, 27.21it/s]
29%|##9 | 582/2000 [00:42<00:50, 27.82it/s]
29%|##9 | 587/2000 [00:42<00:44, 31.82it/s]
30%|##9 | 592/2000 [00:42<00:40, 34.57it/s]
30%|##9 | 599/2000 [00:42<00:35, 39.17it/s]
30%|### | 608/2000 [00:42<00:30, 45.75it/s]
31%|### | 614/2000 [00:43<00:32, 42.12it/s]
31%|### | 619/2000 [00:43<00:32, 42.31it/s]
31%|###1 | 624/2000 [00:43<00:37, 36.64it/s]
31%|###1 | 629/2000 [00:43<00:36, 37.72it/s]
32%|###1 | 634/2000 [00:43<00:36, 37.35it/s]
32%|###1 | 638/2000 [00:43<00:37, 35.95it/s]
32%|###2 | 642/2000 [00:43<00:39, 34.65it/s]
32%|###2 | 648/2000 [00:44<00:35, 38.23it/s]
33%|###2 | 653/2000 [00:44<00:38, 34.66it/s]
33%|###2 | 658/2000 [00:44<00:35, 37.50it/s]
33%|###3 | 662/2000 [00:44<00:37, 36.11it/s]
33%|###3 | 667/2000 [00:44<00:35, 37.47it/s]
34%|###3 | 671/2000 [00:44<00:36, 36.66it/s]
34%|###3 | 678/2000 [00:44<00:32, 40.44it/s]
34%|###4 | 683/2000 [00:45<00:48, 27.34it/s]
34%|###4 | 687/2000 [00:45<00:53, 24.73it/s]
35%|###4 | 691/2000 [00:45<00:53, 24.35it/s]
35%|###4 | 694/2000 [00:45<00:51, 25.14it/s]
35%|###4 | 697/2000 [00:45<01:00, 21.60it/s]
35%|###5 | 700/2000 [00:45<01:05, 19.90it/s]
35%|###5 | 703/2000 [00:46<01:05, 19.77it/s]
35%|###5 | 708/2000 [00:46<00:54, 23.78it/s]
36%|###5 | 712/2000 [00:46<00:48, 26.55it/s]
36%|###5 | 717/2000 [00:46<00:42, 30.52it/s]
36%|###6 | 721/2000 [00:46<00:39, 32.31it/s]
36%|###6 | 725/2000 [00:46<00:38, 33.19it/s]
37%|###6 | 732/2000 [00:46<00:33, 37.67it/s]
37%|###6 | 737/2000 [00:46<00:33, 38.09it/s]
37%|###7 | 742/2000 [00:47<00:36, 34.59it/s]
37%|###7 | 746/2000 [00:47<00:40, 30.79it/s]
38%|###7 | 750/2000 [00:47<00:50, 24.92it/s]
38%|###7 | 753/2000 [00:47<01:12, 17.26it/s]
38%|###7 | 756/2000 [00:48<01:23, 14.88it/s]
38%|###8 | 761/2000 [00:48<01:05, 18.82it/s]
38%|###8 | 769/2000 [00:48<00:51, 24.03it/s]
39%|###8 | 775/2000 [00:48<00:42, 28.81it/s]
39%|###9 | 780/2000 [00:48<00:39, 31.23it/s]
39%|###9 | 785/2000 [00:48<00:39, 30.71it/s]
40%|###9 | 791/2000 [00:48<00:33, 35.57it/s]
40%|###9 | 796/2000 [00:48<00:34, 35.27it/s]
40%|#### | 801/2000 [00:49<00:31, 38.29it/s]
40%|#### | 806/2000 [00:49<00:31, 38.08it/s]
41%|#### | 811/2000 [00:49<00:32, 36.47it/s]
41%|#### | 815/2000 [00:49<00:35, 33.75it/s]
41%|####1 | 821/2000 [00:49<00:31, 37.48it/s]
41%|####1 | 826/2000 [00:49<00:34, 33.72it/s]
42%|####1 | 832/2000 [00:49<00:30, 38.70it/s]
42%|####1 | 837/2000 [00:50<00:29, 39.36it/s]
42%|####2 | 843/2000 [00:50<00:26, 43.32it/s]
42%|####2 | 848/2000 [00:50<00:28, 40.85it/s]
43%|####2 | 853/2000 [00:50<00:27, 41.43it/s]
43%|####2 | 858/2000 [00:50<00:29, 39.16it/s]
43%|####3 | 864/2000 [00:50<00:26, 42.70it/s]
43%|####3 | 869/2000 [00:50<00:27, 40.63it/s]
44%|####3 | 874/2000 [00:50<00:29, 37.61it/s]
44%|####3 | 878/2000 [00:51<00:31, 35.32it/s]
44%|####4 | 884/2000 [00:51<00:28, 39.00it/s]
44%|####4 | 889/2000 [00:51<00:27, 40.58it/s]
45%|####4 | 895/2000 [00:51<00:24, 44.42it/s]
45%|####5 | 901/2000 [00:51<00:24, 45.65it/s]
45%|####5 | 906/2000 [00:51<00:24, 44.75it/s]
46%|####5 | 911/2000 [00:51<00:25, 43.36it/s]
46%|####5 | 916/2000 [00:51<00:25, 43.16it/s]
46%|####6 | 921/2000 [00:52<00:26, 40.33it/s]
46%|####6 | 926/2000 [00:52<00:26, 40.74it/s]
47%|####6 | 931/2000 [00:52<00:29, 35.96it/s]
47%|####6 | 936/2000 [00:52<00:28, 37.20it/s]
47%|####6 | 940/2000 [00:52<00:28, 36.85it/s]
47%|####7 | 944/2000 [00:52<00:28, 37.53it/s]
47%|####7 | 948/2000 [00:52<00:29, 35.87it/s]
48%|####7 | 953/2000 [00:52<00:27, 38.69it/s]
48%|####7 | 957/2000 [00:53<00:29, 35.93it/s]
48%|####8 | 962/2000 [00:53<00:27, 37.77it/s]
48%|####8 | 966/2000 [00:53<00:31, 32.80it/s]
48%|####8 | 970/2000 [00:53<00:29, 34.45it/s]
49%|####8 | 974/2000 [00:53<00:32, 32.01it/s]
49%|####8 | 978/2000 [00:53<00:32, 31.48it/s]
49%|####9 | 983/2000 [00:53<00:30, 33.76it/s]
49%|####9 | 987/2000 [00:53<00:29, 34.32it/s]
50%|####9 | 992/2000 [00:54<00:27, 36.51it/s]
50%|####9 | 996/2000 [00:54<00:31, 32.21it/s]
50%|##### | 1001/2000 [00:54<00:28, 34.85it/s]
50%|##### | 1005/2000 [00:54<00:30, 32.67it/s]
50%|##### | 1009/2000 [00:54<00:31, 31.42it/s]
51%|##### | 1013/2000 [00:54<00:35, 27.65it/s]
51%|##### | 1018/2000 [00:54<00:31, 31.05it/s]
51%|#####1 | 1022/2000 [00:55<00:35, 27.49it/s]
51%|#####1 | 1027/2000 [00:55<00:31, 30.91it/s]
52%|#####1 | 1031/2000 [00:55<00:31, 31.08it/s]
52%|#####1 | 1036/2000 [00:55<00:27, 34.76it/s]
52%|#####2 | 1040/2000 [00:55<00:28, 33.17it/s]
52%|#####2 | 1044/2000 [00:55<00:29, 32.43it/s]
52%|#####2 | 1048/2000 [00:55<00:29, 32.06it/s]
53%|#####2 | 1053/2000 [00:55<00:26, 35.50it/s]
53%|#####2 | 1057/2000 [00:56<00:28, 33.06it/s]
53%|#####3 | 1062/2000 [00:56<00:26, 35.61it/s]
53%|#####3 | 1066/2000 [00:56<00:27, 33.88it/s]
54%|#####3 | 1071/2000 [00:56<00:25, 36.24it/s]
54%|#####3 | 1075/2000 [00:56<00:25, 35.60it/s]
54%|#####4 | 1080/2000 [00:56<00:23, 38.52it/s]
54%|#####4 | 1084/2000 [00:56<00:25, 35.27it/s]
54%|#####4 | 1088/2000 [00:56<00:27, 33.58it/s]
55%|#####4 | 1092/2000 [00:56<00:26, 34.05it/s]
55%|#####4 | 1096/2000 [00:57<00:28, 32.14it/s]
55%|#####5 | 1101/2000 [00:57<00:25, 34.88it/s]
55%|#####5 | 1105/2000 [00:57<00:31, 28.74it/s]
56%|#####5 | 1110/2000 [00:57<00:27, 31.85it/s]
56%|#####5 | 1114/2000 [00:57<00:28, 30.85it/s]
56%|#####5 | 1119/2000 [00:57<00:26, 32.87it/s]
56%|#####6 | 1123/2000 [00:57<00:28, 31.09it/s]
56%|#####6 | 1127/2000 [00:58<00:26, 33.12it/s]
57%|#####6 | 1131/2000 [00:58<00:32, 27.03it/s]
57%|#####6 | 1136/2000 [00:58<00:27, 31.13it/s]
57%|#####6 | 1140/2000 [00:58<00:28, 30.40it/s]
57%|#####7 | 1145/2000 [00:58<00:25, 33.16it/s]
57%|#####7 | 1149/2000 [00:58<00:25, 33.01it/s]
58%|#####7 | 1154/2000 [00:58<00:23, 35.60it/s]
58%|#####7 | 1158/2000 [00:59<00:25, 33.55it/s]
58%|#####8 | 1162/2000 [00:59<00:25, 33.09it/s]
58%|#####8 | 1166/2000 [00:59<00:26, 31.68it/s]
59%|#####8 | 1171/2000 [00:59<00:24, 34.50it/s]
59%|#####8 | 1175/2000 [00:59<00:25, 32.92it/s]
59%|#####8 | 1180/2000 [00:59<00:22, 35.91it/s]
59%|#####9 | 1184/2000 [00:59<00:23, 34.33it/s]
59%|#####9 | 1189/2000 [00:59<00:22, 36.63it/s]
60%|#####9 | 1193/2000 [01:00<00:23, 34.31it/s]
60%|#####9 | 1199/2000 [01:00<00:20, 38.20it/s]
60%|###### | 1204/2000 [01:00<00:22, 35.17it/s]
60%|###### | 1208/2000 [01:00<00:25, 31.24it/s]
61%|###### | 1214/2000 [01:00<00:23, 33.90it/s]
61%|###### | 1218/2000 [01:00<00:23, 33.39it/s]
61%|######1 | 1223/2000 [01:00<00:21, 35.82it/s]
61%|######1 | 1227/2000 [01:00<00:23, 33.36it/s]
62%|######1 | 1232/2000 [01:01<00:21, 35.79it/s]
62%|######1 | 1236/2000 [01:01<00:22, 34.64it/s]
62%|######2 | 1241/2000 [01:01<00:20, 37.82it/s]
62%|######2 | 1245/2000 [01:01<00:25, 30.13it/s]
62%|######2 | 1249/2000 [01:01<00:24, 30.85it/s]
63%|######2 | 1253/2000 [01:01<00:25, 28.77it/s]
63%|######2 | 1258/2000 [01:01<00:23, 31.95it/s]
63%|######3 | 1262/2000 [01:02<00:27, 27.01it/s]
63%|######3 | 1266/2000 [01:02<00:28, 26.03it/s]
63%|######3 | 1269/2000 [01:02<00:33, 21.99it/s]
64%|######3 | 1272/2000 [01:02<00:33, 21.69it/s]
64%|######3 | 1275/2000 [01:02<00:37, 19.44it/s]
64%|######3 | 1278/2000 [01:02<00:34, 21.21it/s]
64%|######4 | 1282/2000 [01:03<00:29, 24.69it/s]
64%|######4 | 1287/2000 [01:03<00:25, 28.24it/s]
65%|######4 | 1291/2000 [01:03<00:23, 29.61it/s]
65%|######4 | 1296/2000 [01:03<00:21, 33.47it/s]
65%|######5 | 1301/2000 [01:03<00:19, 35.62it/s]
65%|######5 | 1306/2000 [01:03<00:18, 37.37it/s]
66%|######5 | 1310/2000 [01:03<00:18, 37.31it/s]
66%|######5 | 1314/2000 [01:03<00:20, 32.77it/s]
66%|######5 | 1318/2000 [01:04<00:22, 30.90it/s]
66%|######6 | 1322/2000 [01:04<00:21, 31.46it/s]
66%|######6 | 1326/2000 [01:04<00:20, 32.98it/s]
66%|######6 | 1330/2000 [01:04<00:20, 32.90it/s]
67%|######6 | 1335/2000 [01:04<00:18, 35.44it/s]
67%|######6 | 1339/2000 [01:04<00:19, 34.08it/s]
67%|######7 | 1344/2000 [01:04<00:18, 36.39it/s]
67%|######7 | 1348/2000 [01:04<00:20, 32.26it/s]
68%|######7 | 1353/2000 [01:05<00:18, 34.87it/s]
68%|######7 | 1357/2000 [01:05<00:25, 24.98it/s]
68%|######8 | 1362/2000 [01:05<00:22, 28.32it/s]
68%|######8 | 1366/2000 [01:05<00:25, 24.99it/s]
68%|######8 | 1370/2000 [01:05<00:23, 27.26it/s]
69%|######8 | 1374/2000 [01:05<00:22, 27.60it/s]
69%|######8 | 1379/2000 [01:05<00:20, 30.96it/s]
69%|######9 | 1383/2000 [01:06<00:21, 29.26it/s]
69%|######9 | 1388/2000 [01:06<00:18, 32.47it/s]
70%|######9 | 1392/2000 [01:06<00:21, 28.13it/s]
70%|######9 | 1397/2000 [01:06<00:18, 32.23it/s]
70%|####### | 1401/2000 [01:06<00:19, 30.85it/s]
70%|####### | 1406/2000 [01:06<00:17, 33.77it/s]
70%|####### | 1410/2000 [01:06<00:19, 30.98it/s]
71%|####### | 1415/2000 [01:07<00:17, 33.87it/s]
71%|####### | 1419/2000 [01:07<00:18, 31.23it/s]
71%|#######1 | 1423/2000 [01:07<00:19, 29.82it/s]
71%|#######1 | 1428/2000 [01:07<00:17, 32.61it/s]
72%|#######1 | 1432/2000 [01:07<00:17, 32.02it/s]
72%|#######1 | 1436/2000 [01:07<00:16, 33.76it/s]
72%|#######2 | 1440/2000 [01:07<00:18, 30.97it/s]
72%|#######2 | 1445/2000 [01:07<00:16, 33.85it/s]
72%|#######2 | 1449/2000 [01:08<00:16, 33.80it/s]
73%|#######2 | 1454/2000 [01:08<00:15, 36.01it/s]
73%|#######2 | 1459/2000 [01:08<00:14, 37.54it/s]
73%|#######3 | 1464/2000 [01:08<00:13, 39.96it/s]
73%|#######3 | 1469/2000 [01:08<00:13, 38.67it/s]
74%|#######3 | 1473/2000 [01:08<00:13, 39.05it/s]
74%|#######3 | 1477/2000 [01:08<00:18, 28.11it/s]
74%|#######4 | 1481/2000 [01:09<00:17, 29.73it/s]
74%|#######4 | 1485/2000 [01:09<00:18, 28.38it/s]
74%|#######4 | 1490/2000 [01:09<00:16, 31.58it/s]
75%|#######4 | 1494/2000 [01:09<00:17, 29.39it/s]
75%|#######4 | 1499/2000 [01:09<00:15, 32.44it/s]
75%|#######5 | 1503/2000 [01:09<00:16, 29.89it/s]
75%|#######5 | 1509/2000 [01:09<00:14, 34.13it/s]
76%|#######5 | 1513/2000 [01:10<00:16, 30.09it/s]
76%|#######5 | 1517/2000 [01:10<00:15, 30.27it/s]
76%|#######6 | 1521/2000 [01:10<00:16, 29.91it/s]
76%|#######6 | 1526/2000 [01:10<00:14, 32.75it/s]
76%|#######6 | 1530/2000 [01:10<00:15, 30.14it/s]
77%|#######6 | 1534/2000 [01:10<00:16, 28.20it/s]
77%|#######6 | 1538/2000 [01:10<00:16, 27.95it/s]
77%|#######7 | 1541/2000 [01:11<00:19, 24.15it/s]
77%|#######7 | 1544/2000 [01:11<00:20, 22.61it/s]
77%|#######7 | 1547/2000 [01:11<00:21, 21.06it/s]
78%|#######7 | 1552/2000 [01:11<00:18, 24.80it/s]
78%|#######7 | 1556/2000 [01:11<00:15, 27.88it/s]
78%|#######8 | 1560/2000 [01:11<00:14, 30.39it/s]
78%|#######8 | 1564/2000 [01:11<00:14, 30.99it/s]
78%|#######8 | 1569/2000 [01:11<00:12, 33.81it/s]
79%|#######8 | 1573/2000 [01:12<00:13, 32.37it/s]
79%|#######8 | 1578/2000 [01:12<00:11, 35.82it/s]
79%|#######9 | 1582/2000 [01:12<00:11, 35.51it/s]
79%|#######9 | 1587/2000 [01:12<00:11, 37.13it/s]
80%|#######9 | 1591/2000 [01:12<00:11, 34.44it/s]
80%|#######9 | 1595/2000 [01:12<00:11, 35.79it/s]
80%|#######9 | 1599/2000 [01:12<00:11, 34.27it/s]
80%|######## | 1603/2000 [01:12<00:12, 32.84it/s]
80%|######## | 1607/2000 [01:13<00:12, 32.39it/s]
81%|######## | 1612/2000 [01:13<00:11, 34.89it/s]
81%|######## | 1616/2000 [01:13<00:10, 35.96it/s]
81%|########1 | 1621/2000 [01:13<00:10, 37.78it/s]
81%|########1 | 1625/2000 [01:13<00:10, 36.90it/s]
81%|########1 | 1629/2000 [01:13<00:09, 37.36it/s]
82%|########1 | 1633/2000 [01:13<00:10, 34.88it/s]
82%|########1 | 1637/2000 [01:13<00:10, 34.57it/s]
82%|########2 | 1641/2000 [01:13<00:10, 34.35it/s]
82%|########2 | 1645/2000 [01:14<00:10, 34.69it/s]
82%|########2 | 1650/2000 [01:14<00:09, 36.75it/s]
83%|########2 | 1654/2000 [01:14<00:09, 36.35it/s]
83%|########2 | 1659/2000 [01:14<00:08, 38.02it/s]
83%|########3 | 1663/2000 [01:14<00:08, 38.52it/s]
83%|########3 | 1668/2000 [01:14<00:08, 40.21it/s]
84%|########3 | 1673/2000 [01:14<00:08, 40.32it/s]
84%|########3 | 1678/2000 [01:14<00:08, 38.28it/s]
84%|########4 | 1682/2000 [01:15<00:08, 37.00it/s]
84%|########4 | 1687/2000 [01:15<00:08, 38.58it/s]
85%|########4 | 1691/2000 [01:15<00:08, 35.40it/s]
85%|########4 | 1696/2000 [01:15<00:08, 37.38it/s]
85%|########5 | 1700/2000 [01:15<00:10, 29.96it/s]
85%|########5 | 1704/2000 [01:15<00:10, 28.96it/s]
85%|########5 | 1708/2000 [01:15<00:09, 30.04it/s]
86%|########5 | 1712/2000 [01:15<00:08, 32.02it/s]
86%|########5 | 1716/2000 [01:16<00:08, 32.74it/s]
86%|########6 | 1721/2000 [01:16<00:07, 36.01it/s]
86%|########6 | 1725/2000 [01:16<00:07, 35.49it/s]
86%|########6 | 1730/2000 [01:16<00:07, 37.29it/s]
87%|########6 | 1734/2000 [01:16<00:07, 37.45it/s]
87%|########6 | 1738/2000 [01:16<00:06, 38.12it/s]
87%|########7 | 1742/2000 [01:16<00:06, 38.24it/s]
87%|########7 | 1746/2000 [01:16<00:06, 38.04it/s]
88%|########7 | 1751/2000 [01:16<00:06, 39.35it/s]
88%|########7 | 1755/2000 [01:17<00:06, 39.17it/s]
88%|########8 | 1760/2000 [01:17<00:05, 40.09it/s]
88%|########8 | 1765/2000 [01:17<00:06, 33.99it/s]
88%|########8 | 1769/2000 [01:17<00:07, 29.80it/s]
89%|########8 | 1773/2000 [01:17<00:09, 24.59it/s]
89%|########8 | 1776/2000 [01:17<00:08, 25.37it/s]
89%|########8 | 1779/2000 [01:18<00:09, 22.60it/s]
89%|########9 | 1784/2000 [01:18<00:08, 26.07it/s]
89%|########9 | 1787/2000 [01:18<00:07, 26.80it/s]
90%|########9 | 1792/2000 [01:18<00:06, 30.77it/s]
90%|########9 | 1796/2000 [01:18<00:06, 31.11it/s]
90%|######### | 1802/2000 [01:18<00:05, 35.21it/s]
90%|######### | 1806/2000 [01:18<00:05, 34.24it/s]
91%|######### | 1811/2000 [01:18<00:05, 36.53it/s]
91%|######### | 1815/2000 [01:18<00:05, 35.61it/s]
91%|#########1| 1820/2000 [01:19<00:04, 37.62it/s]
91%|#########1| 1824/2000 [01:19<00:04, 35.86it/s]
92%|#########1| 1830/2000 [01:19<00:04, 39.46it/s]
92%|#########1| 1835/2000 [01:19<00:04, 39.19it/s]
92%|#########2| 1840/2000 [01:19<00:04, 39.60it/s]
92%|#########2| 1845/2000 [01:19<00:04, 37.49it/s]
92%|#########2| 1850/2000 [01:19<00:03, 38.83it/s]
93%|#########2| 1854/2000 [01:19<00:03, 37.40it/s]
93%|#########2| 1858/2000 [01:20<00:04, 33.31it/s]
93%|#########3| 1863/2000 [01:20<00:03, 35.25it/s]
93%|#########3| 1867/2000 [01:20<00:04, 33.04it/s]
94%|#########3| 1872/2000 [01:20<00:03, 35.42it/s]
94%|#########3| 1876/2000 [01:20<00:03, 32.00it/s]
94%|#########4| 1881/2000 [01:20<00:03, 32.96it/s]
94%|#########4| 1885/2000 [01:20<00:03, 28.86it/s]
94%|#########4| 1890/2000 [01:21<00:03, 32.71it/s]
95%|#########4| 1894/2000 [01:21<00:03, 32.86it/s]
95%|#########4| 1899/2000 [01:21<00:02, 35.36it/s]
95%|#########5| 1903/2000 [01:21<00:02, 36.17it/s]
95%|#########5| 1908/2000 [01:21<00:02, 37.95it/s]
96%|#########5| 1912/2000 [01:21<00:02, 37.79it/s]
96%|#########5| 1917/2000 [01:21<00:02, 39.21it/s]
96%|#########6| 1921/2000 [01:21<00:02, 38.40it/s]
96%|#########6| 1926/2000 [01:21<00:01, 40.56it/s]
97%|#########6| 1931/2000 [01:22<00:01, 40.62it/s]
97%|#########6| 1936/2000 [01:22<00:01, 42.51it/s]
97%|#########7| 1941/2000 [01:22<00:01, 41.16it/s]
97%|#########7| 1946/2000 [01:22<00:01, 41.65it/s]
98%|#########7| 1951/2000 [01:22<00:01, 40.23it/s]
98%|#########7| 1956/2000 [01:22<00:01, 41.56it/s]
98%|#########8| 1961/2000 [01:22<00:01, 34.51it/s]
98%|#########8| 1965/2000 [01:22<00:00, 35.09it/s]
98%|#########8| 1969/2000 [01:23<00:01, 30.91it/s]
99%|#########8| 1973/2000 [01:23<00:00, 27.77it/s]
99%|#########8| 1978/2000 [01:23<00:00, 31.04it/s]
99%|#########9| 1982/2000 [01:23<00:00, 29.03it/s]
99%|#########9| 1987/2000 [01:23<00:00, 32.90it/s]
100%|#########9| 1991/2000 [01:23<00:00, 30.04it/s]
100%|#########9| 1997/2000 [01:24<00:00, 34.21it/s]
100%|##########| 2000/2000 [01:24<00:00, 23.77it/s]