843 (sicstus) R 842 304 24421 34816 304 4194304 488 0 0 0 0 0 0 0 23 0 1 0 12896623 229376 25 4294967295 134512640 134524136 3215837760 3215836712 3086496193 0 0 4096 0 0 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 964 0 0 0 0 0 0 0 25 0 3 0 12896623 22089728 472 4294967295 134512640 134524136 3215837760 3215836636 3086002353 0 0 4096 0 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1094 0 0 0 0 1 0 0 25 0 3 0 12896623 22089728 602 4294967295 134512640 134524136 3215837760 3215836636 3086002353 0 0 4096 0 4294967295 0 0 17 1 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1224 0 0 0 1 1 0 0 18 0 3 0 12896623 21958656 731 4294967295 134512640 134524136 3215837760 3215828940 3086406672 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
 1 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1256 0 0 0 2 1 0 0 19 0 4 0 12896623 30486528 763 4294967295 134512640 134524136 3215837760 3215829088 3085758574 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1273 0 0 0 3 1 0 0 19 0 4 0 12896623 30486528 780 4294967295 134512640 134524136 3215837760 3215829088 3085737336 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1273 0 0 0 4 1 0 0 19 0 4 0 12896623 30486528 780 4294967295 134512640 134524136 3215837760 3215829088 3085708439 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1273 0 0 0 4 1 0 0 19 0 4 0 12896623 30486528 780 4294967295 134512640 134524136 3215837760 3215829088 3085709379 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1299 0 0 0 5 1 0 0 19 0 4 0 12896623 30486528 806 4294967295 134512640 134524136 3215837760 3215829088 3085725171 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1299 0 0 0 6 1 0 0 19 0 4 0 12896623 30486528 806 4294967295 134512640 134524136 3215837760 3215829088 3085724684 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1299 0 0 0 7 1 0 0 19 0 4 0 12896623 30486528 806 4294967295 134512640 134524136 3215837760 3215829088 3085737729 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1299 0 0 0 8 1 0 0 19 0 4 0 12896623 30486528 806 4294967295 134512640 134524136 3215837760 3215829088 3085758618 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1299 0 0 0 8 1 0 0 19 0 4 0 12896623 30486528 806 4294967295 134512640 134524136 3215837760 3215829088 3085715338 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1299 0 0 0 9 1 0 0 19 0 4 0 12896623 30486528 806 4294967295 134512640 134524136 3215837760 3215829088 3085712300 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1299 0 0 0 10 1 0 0 19 0 4 0 12896623 30486528 806 4294967295 134512640 134524136 3215837760 3215829088 3085723720 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1301 0 0 0 11 1 0 0 19 0 4 0 12896623 30486528 808 4294967295 134512640 134524136 3215837760 3215829088 3085747818 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1305 0 0 0 12 1 0 0 19 0 4 0 12896623 30486528 811 4294967295 134512640 134524136 3215837760 3215829088 3085712525 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1305 0 0 0 12 1 0 0 19 0 4 0 12896623 30486528 811 4294967295 134512640 134524136 3215837760 3215829088 3085724701 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1305 0 0 0 13 1 0 0 19 0 4 0 12896623 30486528 811 4294967295 134512640 134524136 3215837760 3215829088 3085712916 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1306 0 0 0 14 1 0 0 19 0 4 0 12896623 30486528 812 4294967295 134512640 134524136 3215837760 3215829088 3085741321 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1307 0 0 0 15 1 0 0 19 0 4 0 12896623 30486528 813 4294967295 134512640 134524136 3215837760 3215829088 3085717839 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1308 0 0 0 16 1 0 0 19 0 4 0 12896623 30486528 814 4294967295 134512640 134524136 3215837760 3215829088 3085740144 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1309 0 0 0 16 1 0 0 19 0 4 0 12896623 30486528 815 4294967295 134512640 134524136 3215837760 3215829088 3085724835 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1310 0 0 0 17 1 0 0 19 0 4 0 12896623 30486528 816 4294967295 134512640 134524136 3215837760 3215829088 3085716443 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1311 0 0 0 18 1 0 0 19 0 4 0 12896623 30486528 817 4294967295 134512640 134524136 3215837760 3215829088 3085747108 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1313 0 0 0 19 1 0 0 19 0 4 0 12896623 30486528 819 4294967295 134512640 134524136 3215837760 3215829088 3085754369 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1314 0 0 0 20 1 0 0 19 0 4 0 12896623 30486528 820 4294967295 134512640 134524136 3215837760 3215829088 3085747118 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1428 0 0 0 20 1 0 0 19 0 5 0 12896623 39268352 934 4294967295 134512640 134524136 3215837760 3215828752 3086010760 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
843 (sicstus) S 842 304 24421 34816 304 4202496 1437 0 0 0 21 1 0 0 23 0 5 0 12896623 39272448 943 4294967295 134512640 134524136 3215837760 3215828124 3086406672 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1453 0 0 0 22 1 0 0 25 0 4 0 12896623 39342080 959 4294967295 134512640 134524136 3215837760 3215828348 3086406672 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) S 842 304 24421 34816 304 4202496 1459 0 0 0 22 1 0 0 25 0 5 0 12896623 39350272 965 4294967295 134512640 134524136 3215837760 3215828076 3086406672 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1541 0 0 0 23 1 0 0 25 0 4 0 12896623 40075264 1047 4294967295 134512640 134524136 3215837760 3215829088 3085748043 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1552 0 0 0 24 1 0 0 25 0 4 0 12896623 40075264 1058 4294967295 134512640 134524136 3215837760 3215829088 3085746151 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1649 0 0 0 24 2 0 0 25 0 3 0 12896623 40562688 1155 4294967295 134512640 134524136 3215837760 3215828776 3084330791 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 25 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215829088 3085713748 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 26 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828188 3047143977 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 27 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828180 3047145570 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 28 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828288 3047303242 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 28 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828160 3047302547 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 29 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828336 3047203393 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 30 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828032 3047299868 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 31 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828336 3047203386 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 32 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828064 3086008841 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 32 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828160 3047145600 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 33 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828296 3086023969 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 34 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828312 3046952474 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 35 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828076 3047164135 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 36 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828064 3085968152 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 36 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828192 3046963141 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 37 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828188 3047150736 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 38 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828296 3086023969 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 39 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828192 3046963483 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 40 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828064 3047213354 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 40 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215829088 3085726002 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 41 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828128 3047147198 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 42 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828256 3047300509 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 42 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828144 3047301985 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 43 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828192 3046963026 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 43 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215829088 3085726206 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 44 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828272 3047202430 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 44 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828076 3047164234 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 45 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828160 3047146002 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 46 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828032 3047308150 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 46 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828084 3086008912 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 47 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828112 3047150970 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 47 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828064 3085968126 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 48 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828192 3046963710 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 48 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828284 3086023999 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 49 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828092 3047164336 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 49 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828272 3047202465 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 50 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828064 3047213476 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 50 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828080 3047212486 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 51 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828048 3047156673 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 51 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828944 3086074910 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 52 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828180 3047149826 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 52 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828112 3047151247 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 53 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828152 3086001966 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 53 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828292 3046962450 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 54 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828188 3047143948 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 54 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828112 3047150792 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 55 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828128 3047148766 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 56 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828080 3047212435 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 56 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828188 3047301584 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 56 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828188 3047144002 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 57 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828112 3047194717 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 57 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828000 3047299870 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 58 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828268 3047300480 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 58 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828192 3046962648 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 59 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828080 3047212630 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
843 (sicstus) R 842 304 24421 34816 304 4202496 1656 0 0 0 59 2 0 0 25 0 3 0 12896623 40562688 1162 4294967295 134512640 134524136 3215837760 3215828016 3047309458 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
