307 (sh) R 306 304 24421 34816 304 4194304 447 0 0 0 0 0 0 0 18 0 1 0 12893290 3649536 336 4294967295 134512640 135191968 3216456464 3216453452 134731424 0 0 4100 65536 0 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 993 0 0 0 1 0 0 0 21 0 3 0 12893290 22089728 502 4294967295 134512640 134524136 3216456400 3216455276 3086485681 0 0 4096 0 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1142 0 0 0 2 0 0 0 21 0 3 0 12893290 22089728 651 4294967295 134512640 134524136 3216456400 3216455328 3086494088 0 0 4096 0 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1255 0 0 0 2 0 0 0 25 0 4 0 12893290 30486528 763 4294967295 134512640 134524136 3216456400 3216447728 3086191867 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1255 0 0 0 3 0 0 0 25 0 4 0 12893290 30486528 763 4294967295 134512640 134524136 3216456400 3216447728 3086191712 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1272 0 0 0 4 0 0 0 25 0 4 0 12893290 30486528 780 4294967295 134512640 134524136 3216456400 3216446832 3086323858 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1272 0 0 0 5 0 0 0 25 0 4 0 12893290 30486528 780 4294967295 134512640 134524136 3216456400 3216447728 3086208160 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1272 0 0 0 6 0 0 0 25 0 4 0 12893290 30486528 780 4294967295 134512640 134524136 3216456400 3216447728 3086223514 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1298 0 0 0 6 0 0 0 25 0 4 0 12893290 30486528 806 4294967295 134512640 134524136 3216456400 3216447728 3086208359 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1298 0 0 0 7 0 0 0 25 0 4 0 12893290 30486528 806 4294967295 134512640 134524136 3216456400 3216447728 3086198797 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1298 0 0 0 8 0 0 0 25 0 4 0 12893290 30486528 806 4294967295 134512640 134524136 3216456400 3216447728 3086191574 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1298 0 0 0 9 0 0 0 25 0 4 0 12893290 30486528 806 4294967295 134512640 134524136 3216456400 3216447728 3086196419 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1298 0 0 0 10 0 0 0 25 0 4 0 12893290 30486528 806 4294967295 134512640 134524136 3216456400 3216447728 3086213700 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1298 0 0 0 10 0 0 0 25 0 4 0 12893290 30486528 806 4294967295 134512640 134524136 3216456400 3216447728 3086225456 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1298 0 0 0 11 0 0 0 25 0 4 0 12893290 30486528 806 4294967295 134512640 134524136 3216456400 3216447728 3086191736 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1304 0 0 0 12 0 0 0 25 0 4 0 12893290 30486528 811 4294967295 134512640 134524136 3216456400 3216447728 3086197188 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1304 0 0 0 13 0 0 0 25 0 4 0 12893290 30486528 811 4294967295 134512640 134524136 3216456400 3216447728 3086208191 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1304 0 0 0 14 0 0 0 25 0 4 0 12893290 30486528 811 4294967295 134512640 134524136 3216456400 3216447728 3086237641 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1304 0 0 0 14 0 0 0 25 0 4 0 12893290 30486528 811 4294967295 134512640 134524136 3216456400 3216447728 3086208437 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1305 0 0 0 15 0 0 0 25 0 4 0 12893290 30486528 812 4294967295 134512640 134524136 3216456400 3216447728 3086223502 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1306 0 0 0 16 0 0 0 25 0 4 0 12893290 30486528 813 4294967295 134512640 134524136 3216456400 3216447728 3086240067 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1307 0 0 0 17 0 0 0 25 0 4 0 12893290 30486528 814 4294967295 134512640 134524136 3216456400 3216447728 3086208548 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1308 0 0 0 18 0 0 0 25 0 4 0 12893290 30486528 815 4294967295 134512640 134524136 3216456400 3216447728 3086197705 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1310 0 0 0 18 0 0 0 25 0 4 0 12893290 30486528 817 4294967295 134512640 134524136 3216456400 3216447616 3086494088 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1311 0 0 0 19 0 0 0 25 0 4 0 12893290 30486528 818 4294967295 134512640 134524136 3216456400 3216446880 3086391103 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1312 0 0 0 20 0 0 0 25 0 4 0 12893290 30486528 819 4294967295 134512640 134524136 3216456400 3216447728 3086198803 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1313 0 0 0 21 0 0 0 25 0 4 0 12893290 30486528 820 4294967295 134512640 134524136 3216456400 3216447728 3086191818 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1435 0 0 0 22 0 0 0 25 0 5 0 12893290 39337984 942 4294967295 134512640 134524136 3216456400 3216447276 3086485911 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1438 0 0 0 22 0 0 0 25 0 5 0 12893290 39272448 945 4294967295 134512640 134524136 3216456400 3216447248 3086494088 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1452 0 0 0 23 0 0 0 25 0 4 0 12893290 39342080 959 4294967295 134512640 134524136 3216456400 3216447180 3086890000 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1458 0 0 0 24 0 0 0 18 0 4 0 12893290 39350272 965 4294967295 134512640 134524136 3216456400 3216447180 3086890000 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1548 0 0 0 25 0 0 0 18 0 4 0 12893290 40075264 1055 4294967295 134512640 134524136 3216456400 3216447496 3047673840 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1551 0 0 0 26 0 0 0 18 0 4 0 12893290 40075264 1058 4294967295 134512640 134524136 3216456400 3216447728 3086242042 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1653 0 0 0 26 0 0 0 18 0 3 0 12893290 40562688 1160 4294967295 134512640 134524136 3216456400 3216447536 3086548672 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 27 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446640 3047783220 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 28 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446972 3086670128 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 29 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446832 3047446271 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 30 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446832 3047445798 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 30 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446768 3047630609 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 31 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446832 3047447049 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 32 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216447568 3047629700 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 33 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446828 3047627276 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 34 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216447728 3086196293 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 34 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446752 3047634448 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 35 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446768 3047630602 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 36 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446976 3047686605 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 37 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446828 3047627346 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 38 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216447728 3086225900 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 38 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446704 3047696629 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 39 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446832 3047446865 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 40 0 0 0 18 0 3 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216446704 3047696739 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
307 (sicstus) R 306 304 24421 34816 304 4202496 1655 0 0 0 41 0 0 0 19 0 4 0 12893290 40562688 1162 4294967295 134512640 134524136 3216456400 3216447888 3086199882 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
