728 (sh) R 727 304 24421 34816 304 4194304 249 0 0 0 0 0 0 0 22 0 1 0 12895888 2592768 142 4294967295 134512640 135191968 3217615920 3217614404 3086812176 0 0 4096 0 0 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 933 0 0 0 0 0 0 0 24 0 3 0 12895888 22089728 444 4294967295 134512640 134524136 3219537344 3219536188 3085781399 0 0 4096 0 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1084 0 0 0 1 0 0 0 24 0 3 0 12895888 22089728 594 4294967295 134512640 134524136 3219537344 3219536156 3085781169 0 0 4096 0 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1209 0 0 0 2 0 0 0 25 0 2 0 12895888 21958656 719 4294967295 134512640 134524136 3219537344 3219528108 3086185488 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1253 0 0 0 2 0 0 0 25 0 4 0 12895888 30486528 762 4294967295 134512640 134524136 3219537344 3219528672 3085495869 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1270 0 0 0 3 0 0 0 25 0 4 0 12895888 30486528 779 4294967295 134512640 134524136 3219537344 3219528672 3085537398 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1270 0 0 0 4 0 0 0 25 0 4 0 12895888 30486528 779 4294967295 134512640 134524136 3219537344 3219527728 3083711122 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1270 0 0 0 5 0 0 0 25 0 4 0 12895888 30486528 779 4294967295 134512640 134524136 3219537344 3219528672 3085524967 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1270 0 0 0 6 0 0 0 25 0 4 0 12895888 30486528 779 4294967295 134512640 134524136 3219537344 3219528672 3085487321 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1296 0 0 0 6 0 0 0 25 0 4 0 12895888 30486528 805 4294967295 134512640 134524136 3219537344 3219528672 3085503773 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1296 0 0 0 7 0 0 0 25 0 4 0 12895888 30486528 805 4294967295 134512640 134524136 3219537344 3219528672 3085503771 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1296 0 0 0 8 0 0 0 25 0 4 0 12895888 30486528 805 4294967295 134512640 134524136 3219537344 3219528672 3085529231 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1296 0 0 0 9 0 0 0 25 0 4 0 12895888 30486528 805 4294967295 134512640 134524136 3219537344 3219528672 3085537337 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1296 0 0 0 10 0 0 0 25 0 4 0 12895888 30486528 805 4294967295 134512640 134524136 3219537344 3219528672 3085503827 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1296 0 0 0 10 0 0 0 25 0 4 0 12895888 30486528 805 4294967295 134512640 134524136 3219537344 3219528672 3085537460 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1296 0 0 0 11 0 0 0 25 0 4 0 12895888 30486528 805 4294967295 134512640 134524136 3219537344 3219528672 3085491773 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1302 0 0 0 12 0 0 0 25 0 4 0 12895888 30486528 810 4294967295 134512640 134524136 3219537344 3219528672 3085503797 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1302 0 0 0 13 0 0 0 25 0 4 0 12895888 30486528 810 4294967295 134512640 134524136 3219537344 3219528672 3085488574 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1302 0 0 0 14 0 0 0 25 0 4 0 12895888 30486528 810 4294967295 134512640 134524136 3219537344 3219528672 3085537513 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1303 0 0 0 14 0 0 0 25 0 4 0 12895888 30486528 811 4294967295 134512640 134524136 3219537344 3219528672 3085491096 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1304 0 0 0 15 0 0 0 25 0 4 0 12895888 30486528 812 4294967295 134512640 134524136 3219537344 3219528672 3085491116 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1305 0 0 0 16 0 0 0 25 0 4 0 12895888 30486528 813 4294967295 134512640 134524136 3219537344 3219528672 3085526515 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1306 0 0 0 17 0 0 0 25 0 4 0 12895888 30486528 814 4294967295 134512640 134524136 3219537344 3219528672 3085529254 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1307 0 0 0 18 0 0 0 25 0 4 0 12895888 30486528 815 4294967295 134512640 134524136 3219537344 3219528672 3085489049 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1308 0 0 0 18 0 0 0 25 0 4 0 12895888 30486528 816 4294967295 134512640 134524136 3219537344 3219528672 3085494161 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1309 0 0 0 19 0 0 0 25 0 4 0 12895888 30486528 817 4294967295 134512640 134524136 3219537344 3219528672 3085537530 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1310 0 0 0 20 0 0 0 25 0 4 0 12895888 30486528 818 4294967295 134512640 134524136 3219537344 3219528672 3085490528 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1398 0 0 0 21 0 0 0 25 0 5 0 12895888 39198720 906 4294967295 134512640 134524136 3219537344 3219528252 3085781399 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1434 0 0 0 22 0 0 0 18 0 4 0 12895888 39272448 942 4294967295 134512640 134524136 3219537344 3219528672 3085509204 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1450 0 0 0 22 1 0 0 21 0 4 0 12895888 39342080 958 4294967295 134512640 134524136 3219537344 3219528672 3085491323 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1455 0 0 0 23 1 0 0 23 0 4 0 12895888 39350272 963 4294967295 134512640 134524136 3219537344 3219528672 3085503749 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1535 0 0 0 23 2 0 0 24 0 4 0 12895888 40075264 1043 4294967295 134512640 134524136 3219537344 3219528652 3085750096 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1549 0 0 0 24 2 0 0 24 0 4 0 12895888 40075264 1057 4294967295 134512640 134524136 3219537344 3219528608 3085604195 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1565 0 0 0 25 2 0 0 24 0 3 0 12895888 40075264 1073 4294967295 134512640 134524136 3219537344 3219527776 3046742381 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1654 0 0 0 26 2 0 0 24 0 3 0 12895888 40562688 1162 4294967295 134512640 134524136 3219537344 3219528672 3085508484 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1654 0 0 0 26 2 0 0 24 0 3 0 12895888 40562688 1162 4294967295 134512640 134524136 3219537344 3219527696 3046930032 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 27 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928561 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 28 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932292 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 29 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922759 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 30 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741280 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 30 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922846 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 31 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742260 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 32 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922764 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 33 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527676 3046943152 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 34 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046943201 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 34 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046926045 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 35 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527724 3085787952 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 36 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046929555 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 37 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922830 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 38 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085363 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 38 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928603 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 39 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527920 3046982179 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 40 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527692 3046943073 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 41 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085326 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 42 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046930016 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 42 2 0 0 24 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527704 3046992382 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 43 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046991298 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 44 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085526640 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 45 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922746 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 46 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046973929 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 46 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932363 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 47 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085504065 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 48 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922846 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 49 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527872 3047082049 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 50 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527744 3046924824 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 50 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527920 3046982172 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 51 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741316 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 52 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527600 3047088309 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 53 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928589 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 54 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741854 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 54 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922746 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 55 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528560 3046972934 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 56 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046942879 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 57 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528576 3047061998 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 58 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046929948 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 58 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741945 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 59 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928597 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 60 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741850 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 61 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928581 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 62 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085504818 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 62 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980570 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 63 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3046992262 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 64 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046931968 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 64 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527692 3046942942 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 65 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047078634 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 66 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742353 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 67 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527724 3046939140 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 68 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527692 3046942937 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 68 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527680 3085789540 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 69 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527680 3046980374 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 70 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742530 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 71 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742114 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 72 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085487091 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 72 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046931974 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 73 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742450 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 74 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527856 3046980978 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 75 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085487123 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 76 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046931878 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 76 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742537 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 77 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742450 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 78 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528560 3046973271 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 79 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085558 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 80 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932288 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 80 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046991097 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 81 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742537 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 82 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085487152 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 83 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928263 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 84 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527584 3047078658 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 84 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527680 3046980490 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 85 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046927590 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 86 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980490 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 87 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085502416 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 88 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928700 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 88 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046931961 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 89 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046939398 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 90 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046938940 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 91 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527920 3046982338 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 92 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527920 3046981596 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 92 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742563 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 93 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3085789804 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 94 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046991242 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 95 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527644 3047078504 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 96 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527744 3046944931 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 96 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527744 3046927975 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 97 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741839 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 98 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046927936 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 99 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527724 3085787993 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 100 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047086966 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 100 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922764 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 101 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3046992071 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 102 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085746942 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 103 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922759 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 104 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527888 3047078668 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 104 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527676 3046942572 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 105 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046943107 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 106 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085747015 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 107 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922838 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 108 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527856 3046981449 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 108 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527728 3047080887 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 109 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527692 3046942925 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 110 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046943041 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 111 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527744 3046927956 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 112 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085491339 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 112 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528560 3085854138 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 113 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085326 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 114 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3085789718 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 115 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742517 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 116 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085564 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 116 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046927936 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 117 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085747255 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 118 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046991278 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 119 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528640 3085780619 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 120 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742450 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 120 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046929770 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 121 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527724 3046991040 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 122 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085747297 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 123 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085747253 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 124 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980589 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 124 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932267 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 125 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922749 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 126 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085746971 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 127 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085350 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 128 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528624 3085975694 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 128 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527744 3046924841 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 129 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922744 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 130 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527600 3047088316 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 131 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928528 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 132 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527916 3047082032 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 132 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741334 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 133 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527768 3085542516 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 134 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527920 3046982338 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 135 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527632 3047078597 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 136 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085518844 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 136 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527708 3046991465 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 137 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527728 3047080823 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 138 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928324 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 139 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047086944 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 140 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742343 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 140 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3047080410 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 141 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932259 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 142 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527600 3047088274 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 143 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527868 3085802807 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 144 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3046992065 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 144 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980408 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 145 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085564 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 146 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527728 3047080808 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 147 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742339 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 148 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528620 3085483879 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 148 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527676 3046942412 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 149 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527728 3047080751 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 150 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046973419 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 151 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3047080704 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 152 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980383 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 152 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928439 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 153 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527632 3047078746 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 154 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046931897 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 155 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046938940 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 156 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527728 3046924940 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 156 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085746968 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 157 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741292 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 158 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742512 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 159 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527744 3085788186 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 160 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085149 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 160 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527768 3046928097 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 161 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046943101 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 162 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085487168 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 163 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085503607 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 164 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046929860 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 164 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085747245 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 165 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922771 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 166 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527920 3046982128 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 167 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741811 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 168 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085532462 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 168 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928477 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 169 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932295 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 170 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922830 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 171 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527912 3046980881 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 172 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527920 3046982160 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 172 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742517 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 173 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528624 3085748004 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 174 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527600 3047088435 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 175 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742537 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 176 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527768 3046927566 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 176 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527632 3046935481 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 177 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527676 3046942429 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 178 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085491348 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 179 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046991153 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 180 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046930020 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 180 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3085789817 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 181 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046926073 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 182 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3046992108 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 183 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527888 3047078587 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 184 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046942977 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 184 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046943041 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 185 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928209 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 186 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527724 3085787946 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 187 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980560 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 188 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742587 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 188 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085502389 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 189 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527644 3085483879 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 190 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527600 3047088334 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 191 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085487152 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 192 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980737 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 192 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527680 3046980381 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 193 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932259 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 194 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527692 3046943058 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 195 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085514092 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 196 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527600 3047088325 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 196 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742514 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 197 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3047078580 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 198 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527728 3047080863 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 199 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085487255 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 200 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742336 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 200 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046939155 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 201 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741825 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 202 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527856 3046981228 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 203 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932363 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 204 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928165 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 204 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742558 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 205 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922832 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 206 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085389 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 207 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527584 3047078589 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 208 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741845 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 208 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527764 3046924386 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 209 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3046933675 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 210 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527648 3085747162 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 211 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528652 3046982060 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 212 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527736 3085780835 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 212 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980490 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 213 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046980381 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 214 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527636 3085746046 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 215 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085487315 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 216 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741992 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 216 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922771 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 217 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922746 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 218 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047078708 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 219 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085487143 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 220 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527720 3085483882 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 220 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527888 3047078643 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 221 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046929800 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 222 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085503692 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 223 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528496 3047088636 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 224 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046741811 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 224 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046939114 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 225 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527744 3046924824 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 226 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527612 3085483882 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 227 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527664 3046980394 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 228 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527888 3047078668 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 228 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046932295 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 229 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046943101 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 230 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527728 3046924966 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 231 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527868 3085802815 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 232 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527600 3047088435 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 232 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527672 3085787425 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 233 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528536 3046929090 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 234 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046942999 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 235 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046929579 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 236 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3047080410 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 236 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085453 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 237 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3085542229 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 238 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527876 3085802786 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 239 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527920 3046982390 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 240 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527692 3046943161 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 240 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528384 3047088247 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 241 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046980352 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 242 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527712 3046928569 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 242 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527736 3085780839 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 243 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527740 3046980783 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 244 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528672 3085526634 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 245 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527776 3046742321 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 246 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527660 3046731287 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 246 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527772 3046922805 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 247 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527680 3085789530 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 248 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528624 3085975697 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 249 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527632 3046935485 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 250 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527744 3085788141 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 250 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527616 3047085910 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 251 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046929563 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 252 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527632 3046935479 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 253 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219528624 3085975692 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 254 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527632 3046935436 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 254 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527696 3046929686 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202496 1655 0 0 0 255 2 0 0 25 0 3 0 12895888 40562688 1163 4294967295 134512640 134524136 3219537344 3219527600 3047078421 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
728 (sicstus) R 727 304 24421 34816 304 4202500 1659 0 0 0 256 3 0 0 25 0 1 0 12895888 0 0 4294967295 0 0 0 0 0 0 0 33558528 0 0 0 0 17 1 0 0 0
