656 (sh) R 655 304 24421 34816 304 4194304 155 0 0 0 0 0 0 0 22 0 1 0 12895095 2678784 67 4294967295 134512640 135191968 3214764400 3214763016 3086720629 0 0 4096 0 0 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 924 0 0 0 0 0 0 0 25 0 3 0 12895095 22089728 432 4294967295 134512640 134524136 3213371360 3213370244 3086592894 0 0 4096 0 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1085 0 0 0 1 0 0 0 25 0 3 0 12895095 22089728 593 4294967295 134512640 134524136 3213371360 3213370236 3086436759 0 0 4096 0 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1211 0 0 0 1 1 0 0 25 0 3 0 12895095 21958656 719 4294967295 134512640 134524136 3213371360 3213361840 3086351445 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1256 0 0 0 2 1 0 0 25 0 4 0 12895095 30486528 763 4294967295 134512640 134524136 3213371360 3213362688 3086147177 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1273 0 0 0 3 1 0 0 25 0 4 0 12895095 30486528 780 4294967295 134512640 134524136 3213371360 3213362688 3086159032 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1273 0 0 0 4 1 0 0 25 0 4 0 12895095 30486528 780 4294967295 134512640 134524136 3213371360 3213362688 3086143548 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1273 0 0 0 4 1 0 0 25 0 4 0 12895095 30486528 780 4294967295 134512640 134524136 3213371360 3213362688 3086171495 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1273 0 0 0 5 1 0 0 25 0 4 0 12895095 30486528 780 4294967295 134512640 134524136 3213371360 3213362688 3086150067 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1299 0 0 0 6 1 0 0 25 0 4 0 12895095 30486528 806 4294967295 134512640 134524136 3213371360 3213362688 3086194256 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1299 0 0 0 7 1 0 0 25 0 4 0 12895095 30486528 806 4294967295 134512640 134524136 3213371360 3213362688 3086146456 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1299 0 0 0 8 1 0 0 25 0 4 0 12895095 30486528 806 4294967295 134512640 134524136 3213371360 3213362688 3086192876 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1299 0 0 0 8 1 0 0 25 0 4 0 12895095 30486528 806 4294967295 134512640 134524136 3213371360 3213362688 3086174356 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1299 0 0 0 9 1 0 0 25 0 4 0 12895095 30486528 806 4294967295 134512640 134524136 3213371360 3213362688 3086146680 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1299 0 0 0 10 1 0 0 25 0 4 0 12895095 30486528 806 4294967295 134512640 134524136 3213371360 3213362688 3086142641 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1299 0 0 0 11 1 0 0 25 0 4 0 12895095 30486528 806 4294967295 134512640 134524136 3213371360 3213362688 3086147020 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1305 0 0 0 12 1 0 0 25 0 4 0 12895095 30486528 811 4294967295 134512640 134524136 3213371360 3213362688 3086149948 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1305 0 0 0 12 1 0 0 25 0 4 0 12895095 30486528 811 4294967295 134512640 134524136 3213371360 3213362688 3086176705 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1305 0 0 0 13 1 0 0 25 0 4 0 12895095 30486528 811 4294967295 134512640 134524136 3213371360 3213362688 3086184567 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1306 0 0 0 14 1 0 0 25 0 4 0 12895095 30486528 812 4294967295 134512640 134524136 3213371360 3213362688 3086148696 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1307 0 0 0 15 1 0 0 25 0 4 0 12895095 30486528 813 4294967295 134512640 134524136 3213371360 3213362688 3086147150 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1308 0 0 0 16 1 0 0 25 0 4 0 12895095 30486528 814 4294967295 134512640 134524136 3213371360 3213362688 3086173369 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1309 0 0 0 16 1 0 0 25 0 4 0 12895095 30486528 815 4294967295 134512640 134524136 3213371360 3213362688 3086196297 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1310 0 0 0 17 1 0 0 25 0 4 0 12895095 30486528 816 4294967295 134512640 134524136 3213371360 3213362688 3086142380 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1311 0 0 0 18 1 0 0 25 0 4 0 12895095 30486528 817 4294967295 134512640 134524136 3213371360 3213362688 3086142584 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1312 0 0 0 19 1 0 0 25 0 4 0 12895095 30486528 818 4294967295 134512640 134524136 3213371360 3213362688 3086142590 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1313 0 0 0 20 1 0 0 25 0 4 0 12895095 30486528 819 4294967295 134512640 134524136 3213371360 3213362688 3086142380 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1314 0 0 0 20 1 0 0 25 0 4 0 12895095 30486528 820 4294967295 134512640 134524136 3213371360 3213362688 3086150246 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) S 655 304 24421 34816 304 4202496 1437 0 0 0 21 1 0 0 25 0 5 0 12895095 39272448 943 4294967295 134512640 134524136 3213371360 3213361724 3086840848 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1444 0 0 0 22 1 0 0 25 0 4 0 12895095 39272448 950 4294967295 134512640 134524136 3213371360 3213362260 3086840848 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1454 0 0 0 22 1 0 0 25 0 4 0 12895095 39342080 960 4294967295 134512640 134524136 3213371360 3213362268 3085776419 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1462 0 0 0 23 1 0 0 25 0 4 0 12895095 39358464 968 4294967295 134512640 134524136 3213371360 3213362688 3086181573 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1552 0 0 0 24 1 0 0 25 0 4 0 12895095 40075264 1058 4294967295 134512640 134524136 3213371360 3213362688 3086143900 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1560 0 0 0 24 2 0 0 25 0 3 0 12895095 40075264 1066 4294967295 134512640 134524136 3213371360 3213362524 3047629152 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1656 0 0 0 25 2 0 0 25 0 3 0 12895095 40562688 1162 4294967295 134512640 134524136 3213371360 3213361676 3047598574 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1656 0 0 0 26 2 0 0 25 0 3 0 12895095 40562688 1162 4294967295 134512640 134524136 3213371360 3213362384 3047734022 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1656 0 0 0 27 2 0 0 25 0 3 0 12895095 40562688 1162 4294967295 134512640 134524136 3213371360 3213362688 3086174327 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 28 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397703 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 28 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047581435 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 29 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142480 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 30 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397872 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 31 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047735767 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 32 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361780 3047581346 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 32 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361904 3047734022 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 33 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578131 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 34 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3086443472 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 35 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086148560 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 36 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397699 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 36 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3047589025 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 37 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361744 3047736279 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 38 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362640 3086631170 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 39 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361760 3047736756 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 40 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047594617 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 40 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362512 3047583689 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 41 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3047647521 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 42 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578131 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 43 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362528 3047743143 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 44 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361904 3047733937 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 44 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047587414 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 45 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578206 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 46 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362592 3047716966 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 47 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047628895 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 48 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361752 3086436199 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 48 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361720 3047647313 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 49 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361696 3086444890 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 50 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086169459 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 51 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362464 3047594646 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 52 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361856 3047734682 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 52 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583577 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 53 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361616 3047743634 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 54 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361676 3047598396 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 55 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047594494 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 56 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397171 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 56 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362512 3047740544 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 57 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086153237 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 58 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361872 3047636646 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 59 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361904 3086631218 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 60 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086178941 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 60 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047584948 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 61 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3047647674 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 62 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361740 3086443233 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 63 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397293 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 64 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047635916 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 64 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397103 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 65 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047584931 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 66 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361900 3086458144 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 67 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361692 3047598512 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 68 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361896 3047396625 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 68 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142512 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 69 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361888 3047737624 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 70 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583949 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 71 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361936 3047637650 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 72 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086153256 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 72 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397348 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 73 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578119 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 74 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361692 3047597972 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 75 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397371 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 76 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583898 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 76 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361760 3047736744 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 77 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361936 3047636945 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 78 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142451 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 79 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361744 3047736114 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 80 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3047647350 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 80 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397335 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 81 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047635741 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 82 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397220 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 83 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047635960 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 84 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3086442789 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 84 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362640 3086496080 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 85 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047646549 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 86 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361632 3047741260 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 87 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3086402654 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 88 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047594550 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 88 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397220 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 89 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361616 3047743837 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 90 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361872 3047636313 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 91 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361924 3047733922 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 92 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361744 3047736135 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 92 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361936 3047637698 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 93 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583467 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 94 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361708 3047598373 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 95 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361872 3047636809 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 96 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047587310 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 96 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585083 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 97 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578190 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 98 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397877 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 99 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361616 3047733858 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 100 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585029 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 100 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361904 3047734022 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 101 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397220 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 102 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583834 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 103 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047636136 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 104 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3047647425 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 104 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142495 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 105 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361600 3047733997 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 106 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361720 3047393928 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 107 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361888 3047737608 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 108 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047646487 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 108 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578104 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 109 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397311 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 110 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397594 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 111 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361708 3047598436 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 112 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397699 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 112 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361676 3047598410 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 113 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362640 3086631042 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 114 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047587723 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 115 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361936 3047637488 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 116 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3047589603 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 116 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361660 3047733696 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 117 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3086402631 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 118 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397890 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 119 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362536 3047734657 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 120 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142635 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 120 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047587627 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 121 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361708 3047598563 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 122 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397706 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 123 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361616 3047743679 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 124 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086149811 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 124 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361756 3086445056 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 125 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047587718 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 126 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086181945 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 127 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047594410 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 128 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361696 3047635741 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 128 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583565 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 129 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583905 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 130 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578124 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 131 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397095 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 132 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397699 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 132 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397119 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 133 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047646513 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 134 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361780 3047600226 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 135 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142521 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 136 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047587723 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 136 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3086445164 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 137 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361648 3047590931 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 138 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047594328 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 139 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3047647574 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 140 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397251 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 140 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361632 3047740726 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 141 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361760 3047579783 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 142 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362512 3047734022 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 143 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362640 3086403131 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 144 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361600 3047733944 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 144 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578116 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 145 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578131 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 146 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047635758 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 147 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361760 3086443485 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 148 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047594333 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 148 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397171 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 149 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361784 3086197879 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 150 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361904 3047625477 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 151 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361748 3047587234 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 152 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086153237 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 152 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397678 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 153 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361856 3047734676 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 154 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578178 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 155 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361936 3047637535 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 156 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361632 3047740943 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 156 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583941 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 157 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362400 3047743634 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 158 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361872 3047636303 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 159 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361744 3047736235 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 160 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583565 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 160 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361676 3047598410 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 161 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361632 3086509909 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 162 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362656 3086435969 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 163 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047581435 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 164 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585150 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 164 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361888 3047737630 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 165 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361744 3047580417 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 166 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086147921 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 167 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086169452 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 168 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361644 3086436458 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 168 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047581450 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 169 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361740 3086443312 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 170 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361924 3047737394 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 171 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361632 3047740514 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 172 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3086443027 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 172 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361740 3086443315 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 173 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397305 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 174 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578162 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 175 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397391 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 176 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361936 3047637679 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 176 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142451 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 177 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578124 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 178 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047584915 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 179 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142451 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 180 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3086445059 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 180 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361888 3047737421 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 181 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583837 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 182 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578124 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 183 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361760 3047583307 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 184 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585220 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 184 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578119 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 185 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578190 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 186 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361868 3047734037 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 187 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361760 3047580167 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 188 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362524 3086197601 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 188 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397877 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 189 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361904 3047625462 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 190 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362640 3086495797 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 191 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361692 3047598512 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 192 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578206 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 192 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362668 3047637027 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 193 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047582912 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 194 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361744 3047580309 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 195 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361704 3047598209 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 196 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578186 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 196 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578198 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 197 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583949 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 198 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142495 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 199 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047635734 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 200 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361632 3047740713 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 200 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397182 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 201 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362528 3047734788 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 202 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361744 3047580490 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 203 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362572 3047578235 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 204 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086148097 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 204 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585083 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 205 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578186 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 206 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578186 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 207 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361696 3047635789 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 208 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086142510 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 208 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397795 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 209 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361696 3047636042 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 210 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361900 3047396624 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 211 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397703 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 212 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047628784 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 212 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361676 3047598252 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 213 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047587726 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 214 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578124 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 215 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047583993 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 216 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361696 3047635850 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 216 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397245 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 217 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397899 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 218 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047582172 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 219 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047594709 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 220 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047646575 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 220 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361896 3086458145 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 221 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047396652 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 222 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361708 3047598487 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 223 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578178 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 224 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397872 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 224 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585234 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 225 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397293 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 226 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578178 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 227 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086190445 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 228 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361932 3047636240 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 228 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361884 3086458175 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 229 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361728 3047584060 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 230 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047646685 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 231 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585120 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 232 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361648 3086401405 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 232 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086174362 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 233 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047636071 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 234 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361648 3047590854 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 235 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578122 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 236 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578131 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 236 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397171 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 237 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047628959 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 238 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361744 3047580442 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 239 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397249 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 240 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585296 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 240 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361620 3047734035 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 241 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361760 3047600241 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 242 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361760 3047583307 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 243 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086180612 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 244 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362688 3086157793 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 244 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361616 3047743632 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 245 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361916 3047636824 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 246 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361680 3047594515 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 247 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397741 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 248 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397690 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 248 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361676 3086509872 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 249 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361664 3086442801 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 250 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361788 3047578206 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 251 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361616 3047743596 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 252 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362560 3047734673 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 252 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361888 3047737643 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 253 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361632 3086509918 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 254 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213362572 3047578248 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 255 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361792 3047397220 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1657 0 0 0 256 2 0 0 25 0 3 0 12895095 40562688 1163 4294967295 134512640 134524136 3213371360 3213361712 3047585012 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
656 (sicstus) R 655 304 24421 34816 304 4202496 1660 0 0 0 256 2 0 0 25 0 4 0 12895095 39952384 1090 4294967295 134512640 134524136 3213371360 3213362220 3086840848 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
