30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 956 0 0 0 0 0 0 0 25 0 1 0 10034338 7163904 472 4294967295 134512640 134538271 3219598960 3219598028 3084695152 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 980 0 0 0 1 0 0 0 25 0 1 0 10034338 7327744 496 4294967295 134512640 134538271 3219598960 3219597424 3082471174 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 994 0 0 0 2 0 0 0 25 0 1 0 10034338 7327744 510 4294967295 134512640 134538271 3219598960 3219597424 3082472071 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 994 0 0 0 3 0 0 0 25 0 1 0 10034338 7327744 510 4294967295 134512640 134538271 3219598960 3219597600 3084181786 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 994 0 0 0 4 0 0 0 25 0 1 0 10034338 7327744 510 4294967295 134512640 134538271 3219598960 3219597792 3086012640 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 4 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597916 134529299 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 5 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597728 3085224180 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 6 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597920 3086009952 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 7 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597680 3082470749 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597424 3082471739 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 8 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597680 3082470752 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 9 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597728 3084171174 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 10 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597728 3085224151 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 11 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597872 134529231 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597716 3079871092 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 12 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597680 3082470820 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 13 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597728 3085224149 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 14 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597600 3084181716 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 15 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597588 3082471124 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597708 3082470662 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 16 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597680 3082470782 0 0 4096 0 0 0 0 17 1 0 0 0
30938 (gecode-qwh) R 30937 27426 24421 34816 27426 4202496 1000 0 0 0 17 0 0 0 25 0 1 0 10034338 7491584 516 4294967295 134512640 134538271 3219598960 3219597680 3082471088 0 0 4096 0 0 0 0 17 1 0 0 0
