30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4194304 511 0 0 0 0 0 0 0 23 0 1 0 10032291 4263936 49 4294967295 134512640 134538271 3215426176 3215423652 3086890759 0 0 4096 0 0 0 0 17 1 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 951 0 0 0 0 0 0 0 23 0 1 0 10032291 7135232 465 4294967295 134512640 134538271 3215426176 3215424896 3083285822 0 0 4096 0 0 0 0 17 1 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 990 0 0 0 0 0 0 0 23 0 1 0 10032291 7299072 504 4294967295 134512640 134538271 3215426176 3215424944 3086039262 0 0 4096 0 0 0 0 17 1 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 990 0 0 0 0 0 0 0 25 0 1 0 10032291 7299072 504 4294967295 134512640 134538271 3215426176 3215424640 3083288006 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1006 0 0 0 1 0 0 0 25 0 1 0 10032291 7462912 520 4294967295 134512640 134538271 3215426176 3215424816 3084994614 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1007 0 0 0 1 0 0 0 25 0 1 0 10032291 7462912 521 4294967295 134512640 134538271 3215426176 3215424944 3086039255 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 2 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424640 3083287134 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 2 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215425152 3085556002 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 2 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424640 3083286437 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 3 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424944 3086039255 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 3 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424944 3084986094 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 4 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424944 3084986312 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 4 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424944 3084986020 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 4 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424816 3084998692 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 5 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424944 3084986200 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 5 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424944 3086039255 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 6 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424640 3083286971 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 6 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424944 3086039255 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 6 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215425088 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 7 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424896 3083285831 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 7 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424640 3083288120 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 8 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424896 3083285924 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 8 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215425136 3084999148 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 8 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424644 3083288150 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 9 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424896 3083285894 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 9 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424640 3083288000 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 10 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424896 3083285813 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 10 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424896 3083286099 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 10 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424812 3083274712 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 11 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215425008 3086827831 0 0 4096 0 0 0 0 17 0 0 0 0
30687 (gecode-qwh) R 30686 27426 24421 34816 27426 4202496 1008 0 0 0 11 0 0 0 25 0 1 0 10032291 7462912 522 4294967295 134512640 134538271 3215426176 3215424896 3083285928 0 0 4096 0 0 0 0 17 0 0 0 0
