30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4194304 612 0 0 0 0 0 0 0 20 0 1 0 10029763 6991872 146 4294967295 134512640 134538271 3216763840 3216762276 3086017749 0 0 4096 0 0 0 0 17 1 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 964 0 0 0 0 0 0 0 20 0 1 0 10029763 7168000 479 4294967295 134512640 134538271 3216763840 3216762304 3082410302 0 0 4096 0 0 0 0 17 1 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 1 0 0 0 20 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 1 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 20 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762832 3084665173 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 20 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762800 3085948512 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 2 0 0 0 20 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409402 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 20 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762600 3082409219 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 3 0 0 0 20 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 20 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162640 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762300 3084081520 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 4 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 5 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762476 3082409680 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 6 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409555 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409306 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 7 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409380 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762780 3079816818 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762304 3082411593 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 8 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109691 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 9 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762480 3084122178 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762304 3082411933 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 10 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762304 3082409734 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162627 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 11 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762800 3085948355 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762476 3082410393 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762864 3085949963 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 12 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162694 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409528 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 13 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409248 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762812 3084617248 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 14 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109643 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762304 3082409722 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 15 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109691 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762556 3082398695 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409306 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 16 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162737 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 17 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762304 3082409719 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409420 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 18 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762304 3082411933 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109548 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 19 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409426 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109734 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762304 3082409746 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 20 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762596 3082409220 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762800 3085948363 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 21 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762752 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762596 3082409220 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109541 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 22 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762816 3084679421 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 23 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762800 3085949086 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762752 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409469 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 24 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109640 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762800 3085948358 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 25 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409391 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762672 3085951308 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762560 3082409555 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 26 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762556 3082398698 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762296 3084081532 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 27 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109762 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 28 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3084109753 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162640 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 29 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762800 3085948320 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 996 0 0 0 30 0 0 0 23 0 1 0 10029763 7331840 511 4294967295 134512640 134538271 3216763840 3216762304 3082411593 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109768 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762604 3082409572 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409380 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082410386 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409330 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762832 3085946765 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 33 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762604 3082398120 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 23 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762480 3084122454 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085948363 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 34 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109460 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109598 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 35 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762480 3084118434 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 36 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762600 3082409217 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762712 3084081529 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 37 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762308 3082411606 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762752 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 38 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762752 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 39 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082410296 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109734 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109734 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 40 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762664 3084109441 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085948363 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 41 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082410053 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409391 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 42 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409506 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762480 3084118199 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 43 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762480 3084118033 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 24 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409321 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162631 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 44 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762468 3082409684 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162681 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 45 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409462 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082410403 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762832 3085947037 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 46 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162703 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409269 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 47 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3084122534 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762556 3082398695 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 48 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085949115 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409315 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 49 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409519 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085948518 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762596 3082409220 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 50 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409402 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762592 3082409221 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 51 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762480 3084122204 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082412265 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762480 3084122425 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 52 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762604 3082409216 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409342 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 53 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409555 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 54 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162715 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 55 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085949086 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109719 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 56 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082410755 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082411972 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 57 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082409725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082409746 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082412019 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 58 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109771 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 59 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082411927 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 59 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082410386 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762468 3082409684 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 60 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409373 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 61 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409380 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 61 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762604 3082409216 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162713 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 62 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085948363 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 63 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085948307 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 63 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082410403 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109525 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409285 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 64 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 65 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762476 3082410393 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 65 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409339 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109643 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109614 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 66 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762832 3084665173 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 67 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109731 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 67 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409380 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085948538 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 68 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162737 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 69 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409650 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 69 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085948320 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409309 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762480 3084122204 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 70 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082409719 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 71 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 71 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082410409 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762832 3085946771 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162691 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 72 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162706 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 73 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 73 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409426 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109729 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762604 3082409216 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 74 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 75 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082409855 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 75 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409531 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082411555 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762480 3084122148 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 76 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409519 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 77 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082411576 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 77 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082409700 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762476 3082409680 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 78 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762304 3082411560 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 79 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3084109548 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 79 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162691 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762800 3085948518 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1002 0 0 0 80 0 0 0 25 0 1 0 10029763 7495680 517 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 81 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410664 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 81 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122145 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762912 3085871824 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 82 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762600 3082409571 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409706 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 83 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411213 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118168 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 84 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109768 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118002 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 85 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410386 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762908 3085949920 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 86 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948355 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084121302 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 87 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409342 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762720 3082407955 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762532 3079810778 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 88 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409285 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410587 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 89 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 90 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409519 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409356 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 91 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409562 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409399 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 92 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762824 3084122529 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118259 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 93 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762912 3085873356 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109697 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122139 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 94 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118144 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762780 3079816789 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 95 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122151 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109734 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409391 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 96 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118160 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 97 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409565 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409492 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3084122579 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 98 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 99 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409731 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085949120 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409275 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 100 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948307 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122469 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 101 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762472 3082410392 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762832 3085946702 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162697 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 102 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409287 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762812 3084617253 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 103 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162728 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 104 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762784 3084117989 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762464 3082410390 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 105 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109704 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409298 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085949113 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 106 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948518 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409519 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 107 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085949327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 108 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762728 3084081545 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118247 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 109 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762296 3084081542 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118417 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762748 134521140 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 110 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109593 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 111 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762736 3082409107 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411291 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409386 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 112 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411984 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409535 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 113 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109656 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410400 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409278 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 114 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409289 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409510 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 115 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162691 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109611 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410470 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 116 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162737 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 117 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118199 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409359 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118322 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 118 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122499 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 119 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529229 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 119 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409266 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762784 3084117989 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109753 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 120 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948355 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 121 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409552 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 121 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762600 3082409571 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409540 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762912 3085872162 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 122 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122191 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 123 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 123 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109734 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762464 3082410390 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409359 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 124 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409330 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 125 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109643 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 125 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948363 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109525 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409309 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 126 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762592 3082409569 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 127 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762600 3082409546 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 127 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082412014 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762736 3082408450 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948307 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 128 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 129 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409402 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 129 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409650 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 130 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409342 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 131 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762296 3084081532 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 131 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409764 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118346 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409242 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 132 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162715 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 133 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411656 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 133 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409565 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409236 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 134 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 135 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122132 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 135 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409758 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948529 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409236 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 136 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409380 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 137 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762476 3082398168 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 137 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410723 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118444 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762592 3082409569 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 138 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762912 3085873281 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 139 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762912 3085872799 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 139 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409469 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109716 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 140 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 141 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118199 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 141 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084120293 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762816 3084679278 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 142 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118250 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 143 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411933 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 143 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411230 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409737 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 144 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762460 3082409686 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 145 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 145 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122185 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409309 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409330 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 146 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409650 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 147 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 147 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118128 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118196 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 148 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409353 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 149 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118199 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 149 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118250 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109643 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409339 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 150 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 151 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762532 3079811025 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 151 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122204 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162724 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762296 3084081537 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 152 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411213 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 153 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410305 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 153 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948322 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409315 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948322 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 154 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118070 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 155 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409287 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 155 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762600 3082409217 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948320 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 156 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762296 3084081521 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 157 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162740 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 157 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409285 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762816 3082407872 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 158 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409285 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 159 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 159 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762660 3084109444 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109722 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162611 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 160 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 161 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084120301 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 161 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409378 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529136 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 162 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762908 3079808977 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 163 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948529 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 163 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109663 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122153 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162724 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 164 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 165 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122139 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 165 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948360 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762668 3084109440 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109566 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 166 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762300 3084081520 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 167 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410640 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 167 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409236 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 168 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 169 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409492 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 169 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409339 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762308 3082411623 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409481 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 170 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 171 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109673 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 171 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109729 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 172 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118210 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 173 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409285 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 173 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109632 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409535 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 174 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109455 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 175 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948529 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 175 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411332 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762832 3085946737 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410065 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 176 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762296 3084081532 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 177 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409758 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 177 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122142 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762880 3079809073 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 178 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409228 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 179 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762556 3082398695 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 179 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762668 3084109440 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410432 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 180 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409287 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 181 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122478 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 181 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162627 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410384 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762596 3082409545 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 182 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 183 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 183 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085949122 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762596 3082409220 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 184 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 185 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 185 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085949327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762672 3085951295 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 186 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 187 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409339 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 187 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118210 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762296 3084081535 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762832 3085946672 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 188 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409650 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 189 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 189 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409361 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109525 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762816 3084679388 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 190 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122185 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 191 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109636 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 191 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084121324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109753 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109583 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 192 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162431 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 193 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409330 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 193 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409350 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122437 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 194 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409453 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 195 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084121302 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 195 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084120317 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409522 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762556 3082398695 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 196 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409248 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 197 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 197 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084121312 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118277 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118191 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 198 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409472 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 199 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118188 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 199 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762736 3082408515 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3084122604 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948518 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 200 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085949327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 201 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 201 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122132 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409236 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082409725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 202 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 203 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409306 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 203 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762904 3085950217 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411523 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122151 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 204 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409242 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 205 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 205 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948358 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118144 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409266 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 206 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 207 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948313 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 207 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762672 3085951476 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409260 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762596 3079809662 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 208 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109731 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 209 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109548 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 209 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948512 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409321 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 210 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762596 3079809673 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 211 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411456 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 211 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084121288 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409555 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122178 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 212 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762592 3082409221 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 213 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762832 3084665123 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 213 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410299 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529143 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 214 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118196 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 215 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411642 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 215 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118379 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 216 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122161 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118250 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 217 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122151 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409287 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409519 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 218 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082411552 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162737 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 219 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762752 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 220 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109691 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122139 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 221 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085948329 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 222 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084122481 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118135 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 223 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409260 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762296 3084081529 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085949086 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 224 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762668 3084109440 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762480 3084118191 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 225 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762604 3082409547 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762800 3085949327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3084109663 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 226 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762560 3082409386 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 227 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1008 0 0 0 227 0 0 0 25 0 1 0 10029763 7495680 523 4294967295 134512640 134538271 3216763840 3216762304 3082410386 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762672 3085951295 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 228 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411271 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 229 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 229 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118018 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762816 3084679329 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118322 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 230 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409528 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 231 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084120317 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 231 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948322 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409386 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411688 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 232 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948518 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 233 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 233 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762300 3084081520 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109566 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 234 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762532 3079810752 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 235 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 235 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948394 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409459 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409519 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 236 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084120317 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 237 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409332 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 237 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122132 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948320 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762300 3084081520 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 238 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162761 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 239 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762464 3082409685 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 239 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085949327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162728 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162700 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 240 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082410384 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 241 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 241 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762296 3084081526 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 242 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082409746 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 243 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085949083 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 243 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529201 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762784 3084117989 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118171 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 244 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162640 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 245 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082409758 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 245 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409510 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085949113 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162697 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 246 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409531 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 247 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409364 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 247 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411494 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762796 3084118497 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085949327 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 248 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529149 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 249 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 249 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762604 3082398120 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109716 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084121302 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 250 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409489 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 251 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109719 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 251 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109719 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409562 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 252 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762740 3082408574 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 253 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084121302 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 253 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118018 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948335 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409361 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 254 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162743 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 255 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118141 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 255 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109768 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 256 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 257 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948512 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 257 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162718 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529192 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 258 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 259 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762588 3082409222 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 259 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122185 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082410743 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 260 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122161 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 261 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409306 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 261 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118349 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082409725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 262 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162737 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 263 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762672 3085951285 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 263 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409380 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409350 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411451 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 264 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762296 3084081532 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 265 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762596 3082409570 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 265 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162700 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109643 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122132 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 266 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762588 3082409222 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 267 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 267 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109753 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948504 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 268 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411597 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 269 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 269 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082409758 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118171 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109725 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 270 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162732 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 271 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409266 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 271 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122151 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529220 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 272 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948552 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 273 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162694 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 273 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082409722 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762828 3084122528 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118018 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 274 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084121273 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 275 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 275 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948371 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409565 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762832 3085946666 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 276 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411560 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 277 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 277 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409391 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122178 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 278 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948529 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 279 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411945 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 279 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162703 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409337 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409318 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 280 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409481 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 281 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162711 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 281 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122145 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118404 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162675 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 282 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122204 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 283 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 283 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409469 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162706 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 284 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082410690 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 285 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762600 3082409217 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 285 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109727 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409395 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762832 3085946625 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 286 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 287 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109734 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 287 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529208 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122204 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409528 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 288 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762588 3082409222 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 289 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 289 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122183 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409391 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762672 3085951314 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 290 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082409758 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 291 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948355 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 291 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762752 134529152 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762604 3082409216 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409531 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 292 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762472 3082409683 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 293 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762672 3085951285 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 293 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762720 3082407248 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118210 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085949122 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 294 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162709 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 295 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948386 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 295 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762800 3085948518 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118199 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084122204 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 296 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162737 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 297 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762592 3082409221 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 297 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3084109550 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411560 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409361 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 298 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082411586 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 299 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409472 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 299 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762480 3084118432 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762608 3085162728 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082410299 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 300 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409555 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 301 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409324 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 301 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409266 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 302 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409535 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 302 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762560 3082409295 0 0 4096 0 0 0 0 17 0 0 0 0
30627 (gecode-qwh) R 30626 27426 24421 34816 27426 4202496 1009 0 0 0 302 0 0 0 25 0 1 0 10029763 7495680 524 4294967295 134512640 134538271 3216763840 3216762304 3082410403 0 0 4096 0 0 0 0 17 0 0 0 0
