30492 (sh) R 30491 27426 24421 34816 27426 4194304 462 0 0 0 0 0 0 0 21 0 1 0 10028603 0 0 4294967295 0 0 0 3217657908 3086148624 0 0 4096 0 0 0 0 17 1 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 974 0 0 0 1 0 0 0 21 0 1 0 10028603 7327744 489 4294967295 134512640 134538271 3218584960 3218583680 3083257258 0 0 4096 0 0 0 0 17 1 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10028603 7327744 495 4294967295 134512640 134538271 3218584960 3218583920 3086796235 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 980 0 0 0 2 0 0 0 25 0 1 0 10028603 7327744 495 4294967295 134512640 134538271 3218584960 3218583708 3083257094 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 986 0 0 0 3 0 0 0 25 0 1 0 10028603 7327744 501 4294967295 134512640 134538271 3218584960 3218583872 134529233 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 986 0 0 0 4 0 0 0 25 0 1 0 10028603 7327744 501 4294967295 134512640 134538271 3218584960 3218583920 3086796179 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 986 0 0 0 5 0 0 0 25 0 1 0 10028603 7327744 501 4294967295 134512640 134538271 3218584960 3218583680 3083257274 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 6 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257219 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 6 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257190 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 7 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257141 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 8 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583600 3084966131 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 9 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257211 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 10 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583424 3083258160 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 10 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257190 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 11 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583424 3083258618 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 12 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583424 3083259522 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 12 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583424 3083258562 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 13 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257434 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 14 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583920 3086796227 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 14 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257274 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 15 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583600 3084970076 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 16 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583708 3083257094 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 17 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583600 3084966071 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 18 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583920 3086796235 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 18 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583600 3084970004 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 19 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257434 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 20 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583856 3083256490 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 21 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583920 3086796243 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 22 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583728 3086010618 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 22 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583920 3086796401 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 23 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583728 3084957606 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 24 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583728 3086010583 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 25 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583600 3084966187 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 26 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257274 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 26 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583600 3084970025 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 27 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583680 3083257196 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 992 0 0 0 28 0 0 0 25 0 1 0 10028603 7327744 507 4294967295 134512640 134538271 3218584960 3218583728 3084957594 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1002 0 0 0 29 0 0 0 25 0 1 0 10028603 7491584 517 4294967295 134512640 134538271 3218584960 3218583424 3083259085 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 25 0 1 0 10028603 7491584 517 4294967295 134512640 134538271 3218584960 3218583680 3083257141 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1002 0 0 0 30 0 0 0 25 0 1 0 10028603 7491584 517 4294967295 134512640 134538271 3218584960 3218583680 3083257403 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1002 0 0 0 31 0 0 0 25 0 1 0 10028603 7491584 517 4294967295 134512640 134538271 3218584960 3218583424 3083258258 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1003 0 0 0 32 0 0 0 25 0 1 0 10028603 7491584 518 4294967295 134512640 134538271 3218584960 3218583920 3086796227 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1003 0 0 0 33 0 0 0 25 0 1 0 10028603 7491584 518 4294967295 134512640 134538271 3218584960 3218583728 3086010512 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1003 0 0 0 34 0 0 0 25 0 1 0 10028603 7491584 518 4294967295 134512640 134538271 3218584960 3218583792 3086799167 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 34 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583724 3083257088 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 35 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583728 3084957563 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 36 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583728 3086010547 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 37 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583728 3086010566 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583424 3083259337 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 38 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583728 3086010583 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 39 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583728 3086010583 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 40 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583676 3083246567 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 41 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583680 3083257181 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 42 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583680 3083257196 0 0 4096 0 0 0 0 17 0 0 0 0
30492 (gecode-qwh) R 30491 27426 24421 34816 27426 4202496 1004 0 0 0 42 0 0 0 25 0 1 0 10028603 7491584 519 4294967295 134512640 134538271 3218584960 3218583600 3084966074 0 0 4096 0 0 0 0 17 0 0 0 0
