30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4194304 603 0 0 0 0 0 0 0 22 0 1 0 10028652 6987776 138 4294967295 134512640 134538271 3216409440 3216408112 3085987087 0 0 4096 0 0 0 0 17 1 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 973 0 0 0 0 0 0 0 22 0 1 0 10028652 7327744 489 4294967295 134512640 134538271 3216409440 3216408080 3084081212 0 0 4096 0 0 0 0 17 1 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 979 0 0 0 1 0 0 0 22 0 1 0 10028652 7327744 495 4294967295 134512640 134538271 3216409440 3216408208 3085125849 0 0 4096 0 0 0 0 17 1 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 22 0 1 0 10028652 7327744 495 4294967295 134512640 134538271 3216409440 3216408196 3082372356 0 0 4096 0 0 0 0 17 1 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 22 0 1 0 10028652 7327744 501 4294967295 134512640 134538271 3216409440 3216408208 3084072870 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 22 0 1 0 10028652 7327744 501 4294967295 134512640 134538271 3216409440 3216408080 3084085340 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 24 0 1 0 10028652 7327744 501 4294967295 134512640 134538271 3216409440 3216408080 3084081346 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 5 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3084072889 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 6 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408400 3085911648 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 7 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408336 3082371775 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 8 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408204 3082372352 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 8 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408160 3082372478 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 9 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3085125824 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 10 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3084072843 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 11 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408080 3084084446 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 12 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3084072907 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 12 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408160 3082372489 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 13 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3085125811 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 14 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408080 3084085297 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 15 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408080 3084081227 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 16 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408432 3084628162 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 16 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408336 3082371661 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 17 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408160 3082372500 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 18 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408080 3084085567 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 19 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3085125864 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 20 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3085125847 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 20 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408080 3084085573 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 21 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408080 3084085292 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 22 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3085125847 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 23 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3084072799 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 24 0 0 0 24 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408208 3085125847 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 24 0 0 0 25 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216407904 3082373435 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 25 0 0 0 25 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216408352 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 991 0 0 0 26 0 0 0 25 0 1 0 10028652 7327744 507 4294967295 134512640 134538271 3216409440 3216407904 3082374818 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1001 0 0 0 27 0 0 0 25 0 1 0 10028652 7491584 517 4294967295 134512640 134538271 3216409440 3216408080 3084085287 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 25 0 1 0 10028652 7491584 517 4294967295 134512640 134538271 3216409440 3216408512 3085835994 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 25 0 1 0 10028652 7491584 517 4294967295 134512640 134538271 3216409440 3216408208 3085125847 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1001 0 0 0 29 0 0 0 25 0 1 0 10028652 7491584 517 4294967295 134512640 134538271 3216409440 3216407904 3082374641 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 25 0 1 0 10028652 7491584 518 4294967295 134512640 134538271 3216409440 3216408208 3085125847 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 25 0 1 0 10028652 7491584 518 4294967295 134512640 134538271 3216409440 3216408208 3085125847 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 25 0 1 0 10028652 7491584 518 4294967295 134512640 134538271 3216409440 3216407904 3082372870 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408352 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 33 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408208 3084072779 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408400 3085911499 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 35 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408160 3082372460 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408160 3082372658 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408080 3084084412 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 37 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408352 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408400 3085912258 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 39 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408352 134529195 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408080 3084081313 0 0 4096 0 0 0 0 17 0 0 0 0
30496 (gecode-qwh) R 30495 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 25 0 1 0 10028652 7491584 519 4294967295 134512640 134538271 3216409440 3216408080 3084084418 0 0 4096 0 0 0 0 17 0 0 0 0
