379 (sh) R 378 304 24421 34816 304 4194304 317 0 0 0 0 0 0 0 24 0 1 0 12893435 3084288 208 4294967295 134512640 135191968 3216896896 3216895788 3085016092 0 0 4096 0 0 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 940 0 0 0 0 0 0 0 25 0 3 0 12893435 22089728 449 4294967295 134512640 134524136 3218330784 3218329600 3085991985 0 0 4096 0 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1083 0 0 0 1 0 0 0 25 0 3 0 12893435 22089728 592 4294967295 134512640 134524136 3218330784 3218329660 3085830551 0 0 4096 0 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1213 0 0 0 2 0 0 0 25 0 2 0 12893435 21958656 722 4294967295 134512640 134524136 3218330784 3218321996 3086007760 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1254 0 0 0 2 0 0 0 25 0 4 0 12893435 30486528 762 4294967295 134512640 134524136 3218330784 3218322112 3085543502 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1271 0 0 0 3 0 0 0 25 0 4 0 12893435 30486528 779 4294967295 134512640 134524136 3218330784 3218322112 3085543490 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1271 0 0 0 4 0 0 0 25 0 4 0 12893435 30486528 779 4294967295 134512640 134524136 3218330784 3218322112 3085536467 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1271 0 0 0 5 0 0 0 25 0 4 0 12893435 30486528 779 4294967295 134512640 134524136 3218330784 3218322112 3085576068 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1271 0 0 0 6 0 0 0 25 0 4 0 12893435 30486528 779 4294967295 134512640 134524136 3218330784 3218322112 3085541126 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1297 0 0 0 6 0 0 0 25 0 4 0 12893435 30486528 805 4294967295 134512640 134524136 3218330784 3218322112 3085575040 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1297 0 0 0 7 0 0 0 25 0 4 0 12893435 30486528 805 4294967295 134512640 134524136 3218330784 3218322112 3085536521 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1297 0 0 0 8 0 0 0 25 0 4 0 12893435 30486528 805 4294967295 134512640 134524136 3218330784 3218322112 3085540493 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1297 0 0 0 9 0 0 0 25 0 4 0 12893435 30486528 805 4294967295 134512640 134524136 3218330784 3218322112 3085568142 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1297 0 0 0 10 0 0 0 25 0 4 0 12893435 30486528 805 4294967295 134512640 134524136 3218330784 3218322112 3085540942 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1297 0 0 0 10 0 0 0 25 0 4 0 12893435 30486528 805 4294967295 134512640 134524136 3218330784 3218322112 3085552666 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1297 0 0 0 11 0 0 0 25 0 4 0 12893435 30486528 805 4294967295 134512640 134524136 3218330784 3218322112 3085541059 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1303 0 0 0 12 0 0 0 25 0 4 0 12893435 30486528 810 4294967295 134512640 134524136 3218330784 3218322112 3085537734 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1303 0 0 0 13 0 0 0 25 0 4 0 12893435 30486528 810 4294967295 134512640 134524136 3218330784 3218322112 3085546584 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1303 0 0 0 14 0 0 0 25 0 4 0 12893435 30486528 810 4294967295 134512640 134524136 3218330784 3218322112 3085536458 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1304 0 0 0 14 0 0 0 25 0 4 0 12893435 30486528 811 4294967295 134512640 134524136 3218330784 3218322112 3085538218 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1305 0 0 0 15 0 0 0 25 0 4 0 12893435 30486528 812 4294967295 134512640 134524136 3218330784 3218322112 3085586583 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1306 0 0 0 16 0 0 0 25 0 4 0 12893435 30486528 813 4294967295 134512640 134524136 3218330784 3218322112 3085540534 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1307 0 0 0 17 0 0 0 25 0 4 0 12893435 30486528 814 4294967295 134512640 134524136 3218330784 3218322112 3085582337 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1308 0 0 0 18 0 0 0 25 0 4 0 12893435 30486528 815 4294967295 134512640 134524136 3218330784 3218322112 3085540955 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1309 0 0 0 18 0 0 0 25 0 4 0 12893435 30486528 816 4294967295 134512640 134524136 3218330784 3218322112 3085576008 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1310 0 0 0 19 0 0 0 25 0 4 0 12893435 30486528 817 4294967295 134512640 134524136 3218330784 3218322112 3085577703 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1311 0 0 0 20 0 0 0 25 0 4 0 12893435 30486528 818 4294967295 134512640 134524136 3218330784 3218322112 3085538211 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1349 0 0 0 21 0 0 0 25 0 5 0 12893435 39059456 856 4294967295 134512640 134524136 3218330784 3218321664 3085992125 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1435 0 0 0 21 1 0 0 25 0 4 0 12893435 39272448 942 4294967295 134512640 134524136 3218330784 3218321796 3086234640 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1444 0 0 0 22 1 0 0 25 0 4 0 12893435 39272448 951 4294967295 134512640 134524136 3218330784 3218321692 3085170211 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1454 0 0 0 22 1 0 0 25 0 4 0 12893435 39350272 961 4294967295 134512640 134524136 3218330784 3218322112 3085536467 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1513 0 0 0 23 1 0 0 25 0 4 0 12893435 39661568 1020 4294967295 134512640 134524136 3218330784 3218321836 3086234640 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1550 0 0 0 24 1 0 0 25 0 4 0 12893435 40075264 1057 4294967295 134512640 134524136 3218330784 3218322112 3085552859 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1560 0 0 0 25 1 0 0 25 0 3 0 12893435 40075264 1067 4294967295 134512640 134524136 3218330784 3218322112 3085572790 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 26 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321152 3085838951 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 26 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321104 3047127810 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 27 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321056 3047134592 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 28 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321212 3046971998 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 29 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321104 3047040430 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 30 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321088 3047041410 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 30 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218322064 3085889875 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 31 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321328 3047127741 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 32 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218322112 3085554732 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 33 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218322000 3085794996 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 34 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321212 3046973580 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 34 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321312 3047131340 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 35 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321328 3047019250 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 36 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321212 3046971923 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 37 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321136 3046981522 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 38 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321216 3046791085 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 38 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321120 3047029593 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
379 (sicstus) R 378 304 24421 34816 304 4202496 1655 0 0 0 39 1 0 0 25 0 3 0 12893435 40562688 1162 4294967295 134512640 134524136 3218330784 3218321136 3047029743 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
