30531 (sh) R 30530 27426 24421 34816 27426 4194304 437 0 0 0 0 0 0 0 21 0 1 0 10028938 3649536 326 4294967295 134512640 135191968 3215760064 3215759376 3086283792 0 0 4100 65536 0 0 0 17 1 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 975 0 0 0 0 0 0 0 21 0 1 0 10028938 7331840 490 4294967295 134512640 134538271 3215256144 3215255104 3086398923 0 0 4096 0 0 0 0 17 1 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 981 0 0 0 1 0 0 0 21 0 1 0 10028938 7331840 496 4294967295 134512640 134538271 3215256144 3215254864 3082859847 0 0 4096 0 0 0 0 17 1 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 21 0 1 0 10028938 7331840 496 4294967295 134512640 134538271 3215256144 3215254784 3084568748 0 0 4096 0 0 0 0 17 1 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 981 0 0 0 2 0 0 0 21 0 1 0 10028938 7331840 496 4294967295 134512640 134538271 3215256144 3215254864 3082859940 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 987 0 0 0 3 0 0 0 21 0 1 0 10028938 7331840 502 4294967295 134512640 134538271 3215256144 3215254608 3082860279 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 21 0 1 0 10028938 7331840 502 4294967295 134512640 134538271 3215256144 3215254912 3085613306 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 23 0 1 0 10028938 7331840 502 4294967295 134512640 134538271 3215256144 3215255088 3084568549 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 987 0 0 0 4 0 0 0 23 0 1 0 10028938 7331840 502 4294967295 134512640 134538271 3215256144 3215255104 3084573116 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082860073 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 5 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255056 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859890 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255056 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 6 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859902 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 7 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859872 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 7 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254608 3082860960 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3084560174 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254608 3082861241 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 8 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082860044 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 9 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3085613271 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 9 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3084560287 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 10 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254908 3082848680 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 10 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254780 3082848728 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 10 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859826 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 11 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254784 3084572991 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 11 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255104 3084573139 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859951 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859861 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 12 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3085613263 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 13 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254908 3082860107 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 13 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859808 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 14 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859904 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 14 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254784 3084568731 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 14 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254608 3082863421 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 15 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3084560168 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 15 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859940 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3084560331 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254608 3082862048 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 16 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3084560251 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 17 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254784 3084568739 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 17 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254608 3082860260 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 18 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3085613235 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 18 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255056 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 18 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082860210 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 19 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254784 3084568638 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 19 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255104 3086399675 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3085613275 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255104 3086398923 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 20 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3085613271 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 21 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254976 3086401835 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 21 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254908 3082859776 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 22 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254908 3082848680 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 22 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255056 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 22 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255120 3085129895 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 23 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254912 3085613297 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 23 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859872 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254784 3084568748 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254784 3084568925 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 24 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859881 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 25 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859951 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 25 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254784 3084568894 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 26 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215255056 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 26 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082860088 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 26 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254864 3082859796 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 993 0 0 0 27 0 0 0 23 0 1 0 10028938 7331840 508 4294967295 134512640 134538271 3215256144 3215254896 3082859781 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1003 0 0 0 27 0 0 0 23 0 1 0 10028938 7495680 518 4294967295 134512640 134538271 3215256144 3215254864 3082859835 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10028938 7495680 518 4294967295 134512640 134538271 3215256144 3215254964 3084560346 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10028938 7495680 518 4294967295 134512640 134538271 3215256144 3215254784 3084570853 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1003 0 0 0 28 0 0 0 23 0 1 0 10028938 7495680 518 4294967295 134512640 134538271 3215256144 3215254912 3084560289 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1003 0 0 0 29 0 0 0 23 0 1 0 10028938 7495680 518 4294967295 134512640 134538271 3215256144 3215254864 3082860005 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1003 0 0 0 29 0 0 0 23 0 1 0 10028938 7495680 518 4294967295 134512640 134538271 3215256144 3215254912 3085613271 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1003 0 0 0 30 0 0 0 23 0 1 0 10028938 7495680 518 4294967295 134512640 134538271 3215256144 3215254784 3084572721 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1004 0 0 0 30 0 0 0 23 0 1 0 10028938 7495680 519 4294967295 134512640 134538271 3215256144 3215254784 3084571848 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1004 0 0 0 30 0 0 0 23 0 1 0 10028938 7495680 519 4294967295 134512640 134538271 3215256144 3215254780 3082860240 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1004 0 0 0 31 0 0 0 23 0 1 0 10028938 7495680 519 4294967295 134512640 134538271 3215256144 3215254864 3082859802 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1004 0 0 0 31 0 0 0 23 0 1 0 10028938 7495680 519 4294967295 134512640 134538271 3215256144 3215254608 3082860946 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1004 0 0 0 32 0 0 0 23 0 1 0 10028938 7495680 519 4294967295 134512640 134538271 3215256144 3215254864 3082859808 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1004 0 0 0 32 0 0 0 23 0 1 0 10028938 7495680 519 4294967295 134512640 134538271 3215256144 3215254784 3084572699 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 32 0 0 0 23 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255024 3082858494 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 33 0 0 0 23 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254912 3084560134 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 33 0 0 0 23 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255056 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 34 0 0 0 23 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255104 3086399112 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 34 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254864 3082859878 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 34 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254608 3082861150 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 35 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254912 3084560251 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 35 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255104 3086398882 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 36 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254608 3082860859 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 36 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254864 3082860029 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 36 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255056 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 37 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255056 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 37 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254864 3082859847 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 38 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254784 3084572708 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 38 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255040 3082859667 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 38 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254912 3084560289 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 39 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254784 3084572731 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 39 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254864 3082859872 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 40 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254864 3082859924 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 40 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255104 3086399887 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 40 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215254784 3084568759 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1005 0 0 0 41 0 0 0 24 0 1 0 10028938 7495680 520 4294967295 134512640 134538271 3215256144 3215255104 3086399080 0 0 4096 0 0 0 0 17 0 0 0 0
30531 (gecode-qwh) R 30530 27426 24421 34816 27426 4202496 1019 0 0 0 41 0 0 0 24 0 1 0 10028938 7036928 467 4294967295 134512640 134538271 3215256144 3215255136 3086427152 0 0 4096 0 0 0 0 17 0 0 0 0
