332 (sicstus) R 331 304 24421 34816 304 4202496 870 0 0 0 0 0 0 0 25 0 3 0 12893339 21938176 377 4294967295 134512640 134524136 3215436240 3215434352 3085211336 0 2144074295 4096 0 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1065 0 0 0 1 0 0 0 18 0 3 0 12893339 22089728 572 4294967295 134512640 134524136 3215436240 3215435116 3086453143 0 0 4096 0 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1200 0 0 0 2 0 0 0 19 0 2 0 12893339 21958656 707 4294967295 134512640 134524136 3215436240 3215427520 3086273779 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1257 0 0 0 3 0 0 0 22 0 4 0 12893339 30486528 763 4294967295 134512640 134524136 3215436240 3215427568 3086187717 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1274 0 0 0 4 0 0 0 22 0 4 0 12893339 30486528 780 4294967295 134512640 134524136 3215436240 3215427568 3086190740 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1274 0 0 0 4 0 0 0 22 0 4 0 12893339 30486528 780 4294967295 134512640 134524136 3215436240 3215427568 3086213053 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1274 0 0 0 5 0 0 0 22 0 4 0 12893339 30486528 780 4294967295 134512640 134524136 3215436240 3215427568 3086209134 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1274 0 0 0 6 0 0 0 22 0 4 0 12893339 30486528 780 4294967295 134512640 134524136 3215436240 3215427568 3086201392 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1300 0 0 0 7 0 0 0 22 0 4 0 12893339 30486528 806 4294967295 134512640 134524136 3215436240 3215427568 3086175382 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1300 0 0 0 8 0 0 0 22 0 4 0 12893339 30486528 806 4294967295 134512640 134524136 3215436240 3215427520 3086307289 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1300 0 0 0 8 0 0 0 22 0 4 0 12893339 30486528 806 4294967295 134512640 134524136 3215436240 3215427568 3086158754 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1300 0 0 0 9 0 0 0 22 0 4 0 12893339 30486528 806 4294967295 134512640 134524136 3215436240 3215427568 3086159050 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1300 0 0 0 10 0 0 0 22 0 4 0 12893339 30486528 806 4294967295 134512640 134524136 3215436240 3215427568 3086160298 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1300 0 0 0 11 0 0 0 22 0 4 0 12893339 30486528 806 4294967295 134512640 134524136 3215436240 3215427568 3086163664 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1300 0 0 0 12 0 0 0 22 0 4 0 12893339 30486528 806 4294967295 134512640 134524136 3215436240 3215427568 3086193792 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1306 0 0 0 12 0 0 0 22 0 4 0 12893339 30486528 811 4294967295 134512640 134524136 3215436240 3215427568 3086159050 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1306 0 0 0 13 0 0 0 22 0 4 0 12893339 30486528 811 4294967295 134512640 134524136 3215436240 3215427568 3086193130 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1306 0 0 0 14 0 0 0 22 0 4 0 12893339 30486528 811 4294967295 134512640 134524136 3215436240 3215427568 3086200998 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1307 0 0 0 15 0 0 0 22 0 4 0 12893339 30486528 812 4294967295 134512640 134524136 3215436240 3215427568 3086159059 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1308 0 0 0 16 0 0 0 22 0 4 0 12893339 30486528 813 4294967295 134512640 134524136 3215436240 3215427568 3086158984 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1309 0 0 0 16 0 0 0 22 0 4 0 12893339 30486528 814 4294967295 134512640 134524136 3215436240 3215427568 3086209142 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1310 0 0 0 17 0 0 0 22 0 4 0 12893339 30486528 815 4294967295 134512640 134524136 3215436240 3215427568 3086166032 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1311 0 0 0 18 0 0 0 22 0 4 0 12893339 30486528 816 4294967295 134512640 134524136 3215436240 3215427568 3086160309 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1312 0 0 0 19 0 0 0 22 0 4 0 12893339 30486528 817 4294967295 134512640 134524136 3215436240 3215427568 3086191819 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1313 0 0 0 20 0 0 0 22 0 4 0 12893339 30486528 818 4294967295 134512640 134524136 3215436240 3215427568 3086159093 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1314 0 0 0 20 0 0 0 22 0 4 0 12893339 30486528 819 4294967295 134512640 134524136 3215436240 3215427568 3086187704 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1352 0 0 0 21 0 0 0 22 0 5 0 12893339 39059456 857 4294967295 134512640 134524136 3215436240 3215427216 3086493191 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1438 0 0 0 22 0 0 0 24 0 4 0 12893339 39272448 943 4294967295 134512640 134524136 3215436240 3215427252 3086857232 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1447 0 0 0 23 0 0 0 25 0 4 0 12893339 39272448 952 4294967295 134512640 134524136 3215436240 3215427156 3086857232 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1457 0 0 0 23 0 0 0 25 0 4 0 12893339 39350272 962 4294967295 134512640 134524136 3215436240 3215427568 3086163815 0 0 33558528 2 4294967295 0 0 17 0 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1516 0 0 0 24 0 0 0 18 0 4 0 12893339 39661568 1021 4294967295 134512640 134524136 3215436240 3215427376 3086515920 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1553 0 0 0 25 0 0 0 18 0 4 0 12893339 40075264 1058 4294967295 134512640 134524136 3215436240 3215427568 3086163083 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1562 0 0 0 26 0 0 0 18 0 3 0 12893339 40075264 1067 4294967295 134512640 134524136 3215436240 3215427568 3086197712 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 26 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426592 3047652179 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 27 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426560 3047645692 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 28 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426640 3047599723 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 29 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426496 3047760069 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 30 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426668 3047594515 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 30 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426672 3047413677 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 31 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426604 3047604000 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 32 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426512 3047758710 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 33 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426784 3047750397 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 34 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426672 3047414267 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 34 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426512 3086417777 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 35 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215427560 3047733313 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 36 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426544 3086418906 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 37 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426544 3047663889 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 38 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426784 3047750412 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 38 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426664 3086214263 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 39 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426624 3047752708 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
332 (sicstus) R 331 304 24421 34816 304 4202496 1657 0 0 0 40 0 0 0 18 0 3 0 12893339 40562688 1162 4294967295 134512640 134524136 3215436240 3215426592 3047601430 0 0 33558528 2 4294967295 0 0 17 1 0 0 0
