30500 (sh) R 30499 27426 24421 34816 27426 4194304 254 0 0 0 0 0 0 0 20 0 1 0 10028699 3063808 147 4294967295 134512640 135191968 3215827664 3215826180 3084353264 0 0 4096 0 0 0 0 17 1 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 968 0 0 0 0 0 0 0 20 0 1 0 10028699 7327744 484 4294967295 134512640 134538271 3215827680 3215826292 3079750894 0 0 4096 0 0 0 0 17 1 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 979 0 0 0 1 0 0 0 20 0 1 0 10028699 7327744 495 4294967295 134512640 134538271 3215827680 3215826592 134529192 0 0 4096 0 0 0 0 17 1 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 979 0 0 0 2 0 0 0 20 0 1 0 10028699 7327744 495 4294967295 134512640 134538271 3215827680 3215826400 3082348091 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 985 0 0 0 3 0 0 0 20 0 1 0 10028699 7327744 501 4294967295 134512640 134538271 3215827680 3215826400 3082347872 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 23 0 1 0 10028699 7327744 501 4294967295 134512640 134538271 3215827680 3215826448 3084048328 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 985 0 0 0 4 0 0 0 23 0 1 0 10028699 7327744 501 4294967295 134512640 134538271 3215827680 3215826400 3082347796 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 5 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826448 3085101278 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 6 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826400 3082347890 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 7 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826144 3082348628 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 8 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826448 3084048267 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 8 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826320 3084059872 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 9 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826144 3082350083 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 10 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826640 3085886923 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 11 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826400 3082347878 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 12 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826640 3085886867 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 12 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826136 3084020108 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 13 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826640 3085887078 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 14 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826640 3085887072 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 15 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826400 3082347861 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 16 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826448 3084048257 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 16 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826436 3082347780 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 17 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826320 3084056801 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 18 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826432 3082347781 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 19 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826640 3085886915 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 20 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826400 3082347845 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 20 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826656 3084617942 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 21 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826448 3085101263 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 22 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826320 3084056695 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 23 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826560 3082345723 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 24 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826400 3082347884 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 24 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826400 3082347838 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 25 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826592 134529231 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 26 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826448 3084048287 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 991 0 0 0 27 0 0 0 23 0 1 0 10028699 7327744 507 4294967295 134512640 134538271 3215827680 3215826400 3082347835 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 23 0 1 0 10028699 7491584 517 4294967295 134512640 134538271 3215827680 3215826432 3082347781 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1001 0 0 0 28 0 0 0 23 0 1 0 10028699 7491584 517 4294967295 134512640 134538271 3215827680 3215826512 3085889611 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1001 0 0 0 29 0 0 0 23 0 1 0 10028699 7491584 517 4294967295 134512640 134538271 3215827680 3215826144 3082348870 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 23 0 1 0 10028699 7491584 518 4294967295 134512640 134538271 3215827680 3215826372 3079748155 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 23 0 1 0 10028699 7491584 518 4294967295 134512640 134538271 3215827680 3215826640 3085886915 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1002 0 0 0 32 0 0 0 23 0 1 0 10028699 7491584 518 4294967295 134512640 134538271 3215827680 3215826400 3082348097 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 23 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826320 3084056956 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 33 0 0 0 23 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826400 3082347878 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826320 3084060764 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 35 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826448 3085101251 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826444 3082348132 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 36 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826448 3084048287 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 37 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826448 3085101248 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 38 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826448 3084048287 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 39 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826448 3085101271 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826400 3082348122 0 0 4096 0 0 0 0 17 0 0 0 0
30500 (gecode-qwh) R 30499 27426 24421 34816 27426 4202496 1003 0 0 0 40 0 0 0 24 0 1 0 10028699 7491584 519 4294967295 134512640 134538271 3215827680 3215826640 3085887882 0 0 4096 0 0 0 0 17 0 0 0 0
