402 (sh) R 401 304 24421 34816 304 4194304 116 0 0 0 0 0 0 0 22 0 1 0 12893482 937984 31 4294967295 134512640 135191968 3218937200 3218934676 3086393358 0 0 4096 0 0 0 0 17 0 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 952 0 0 0 0 0 0 0 25 0 3 0 12893482 22089728 460 4294967295 134512640 134524136 3219154272 3219153088 3086500624 0 0 4096 0 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1106 0 0 0 1 0 0 0 25 0 3 0 12893482 22089728 614 4294967295 134512640 134524136 3219154272 3219153116 3086477489 0 0 4096 0 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1255 0 0 0 2 0 0 0 25 0 4 0 12893482 30486528 762 4294967295 134512640 134524136 3219154272 3219145600 3086227170 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1255 0 0 0 3 0 0 0 25 0 4 0 12893482 30486528 762 4294967295 134512640 134524136 3219154272 3219145600 3086183560 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1272 0 0 0 4 0 0 0 25 0 4 0 12893482 30486528 779 4294967295 134512640 134524136 3219154272 3219145600 3086189500 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1272 0 0 0 4 0 0 0 25 0 4 0 12893482 30486528 779 4294967295 134512640 134524136 3219154272 3219145600 3086188287 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1272 0 0 0 5 0 0 0 25 0 4 0 12893482 30486528 779 4294967295 134512640 134524136 3219154272 3219145600 3086233824 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1298 0 0 0 6 0 0 0 25 0 4 0 12893482 30486528 805 4294967295 134512640 134524136 3219154272 3219145600 3086225574 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1298 0 0 0 7 0 0 0 25 0 4 0 12893482 30486528 805 4294967295 134512640 134524136 3219154272 3219145600 3086233824 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1298 0 0 0 8 0 0 0 25 0 4 0 12893482 30486528 805 4294967295 134512640 134524136 3219154272 3219145600 3086189556 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1298 0 0 0 8 0 0 0 25 0 4 0 12893482 30486528 805 4294967295 134512640 134524136 3219154272 3219145600 3086183619 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1298 0 0 0 9 0 0 0 25 0 4 0 12893482 30486528 805 4294967295 134512640 134524136 3219154272 3219145600 3086185541 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1298 0 0 0 10 0 0 0 25 0 4 0 12893482 30486528 805 4294967295 134512640 134524136 3219154272 3219145600 3086217214 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1298 0 0 0 11 0 0 0 25 0 4 0 12893482 30486528 805 4294967295 134512640 134524136 3219154272 3219145600 3086189520 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1300 0 0 0 12 0 0 0 25 0 4 0 12893482 30486528 807 4294967295 134512640 134524136 3219154272 3219145600 3086200129 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1304 0 0 0 12 0 0 0 25 0 4 0 12893482 30486528 810 4294967295 134512640 134524136 3219154272 3219145600 3086189520 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1304 0 0 0 13 0 0 0 25 0 4 0 12893482 30486528 810 4294967295 134512640 134524136 3219154272 3219145600 3086191680 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1304 0 0 0 14 0 0 0 25 0 4 0 12893482 30486528 810 4294967295 134512640 134524136 3219154272 3219145600 3086223157 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1305 0 0 0 15 0 0 0 25 0 4 0 12893482 30486528 811 4294967295 134512640 134524136 3219154272 3219145600 3086192189 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1306 0 0 0 16 0 0 0 25 0 4 0 12893482 30486528 812 4294967295 134512640 134524136 3219154272 3219145600 3086183635 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1307 0 0 0 16 0 0 0 25 0 4 0 12893482 30486528 813 4294967295 134512640 134524136 3219154272 3219145600 3086200069 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1308 0 0 0 17 0 0 0 25 0 4 0 12893482 30486528 814 4294967295 134512640 134524136 3219154272 3219145600 3086191150 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1309 0 0 0 18 0 0 0 25 0 4 0 12893482 30486528 815 4294967295 134512640 134524136 3219154272 3219145600 3086222954 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1310 0 0 0 19 0 0 0 25 0 4 0 12893482 30486528 816 4294967295 134512640 134524136 3219154272 3219145600 3086235196 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1311 0 0 0 20 0 0 0 25 0 4 0 12893482 30486528 817 4294967295 134512640 134524136 3219154272 3219145600 3086216354 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1313 0 0 0 20 0 0 0 25 0 4 0 12893482 30486528 819 4294967295 134512640 134524136 3219154272 3219145600 3086187656 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1420 0 0 0 21 0 0 0 25 0 5 0 12893482 39268352 926 4294967295 134512640 134524136 3219154272 3219145168 3086500624 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1436 0 0 0 22 0 0 0 25 0 4 0 12893482 39272448 942 4294967295 134512640 134524136 3219154272 3219145052 3086881808 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1452 0 0 0 22 1 0 0 19 0 4 0 12893482 39342080 958 4294967295 134512640 134524136 3219154272 3219145284 3086881808 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) S 401 304 24421 34816 304 4202496 1457 0 0 0 22 2 0 0 20 0 5 0 12893482 39350272 963 4294967295 134512640 134524136 3219154272 3219144636 3086881808 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1540 0 0 0 23 2 0 0 21 0 4 0 12893482 40075264 1046 4294967295 134512640 134524136 3219154272 3219145564 3086476937 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1551 0 0 0 24 2 0 0 21 0 4 0 12893482 40075264 1057 4294967295 134512640 134524136 3219154272 3219145600 3086200285 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1571 0 0 0 24 2 0 0 21 0 3 0 12893482 40075264 1077 4294967295 134512640 134524136 3219154272 3219145052 3086881808 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 25 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144624 3047677024 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 26 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219145600 3086193470 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 27 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144624 3047626014 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 28 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144700 3047619150 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 28 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144588 3047639212 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 29 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144704 3047438626 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 30 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144608 3047676735 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 31 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144544 3047781683 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 32 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144640 3047624470 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 32 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144688 3047624961 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 33 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219145600 3086183689 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 34 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144652 3047670010 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 35 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144576 3086443470 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 36 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144816 3047774894 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 36 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144704 3047438286 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 37 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144640 3047624559 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 38 2 0 0 21 0 3 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219144656 3047777191 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
402 (sicstus) R 401 304 24421 34816 304 4202496 1656 0 0 0 39 2 0 0 22 0 4 0 12893482 40562688 1162 4294967295 134512640 134524136 3219154272 3219145760 3086221287 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
