fork download
  1. INF = 100000000000000
  2.  
  3. pickup = {}
  4. dest = {}
  5. trace = {}
  6. dp = {}
  7.  
  8. def calc(a, b):
  9. return abs(a[0] - b[0]) + abs(a[1] - b[1])
  10.  
  11. def solve(curPos, completed, ongoing):
  12. if len(completed) == N and len(ongoing) == 0:
  13. return 0
  14. curState = (curPos, frozenset(completed), frozenset(ongoing))
  15.  
  16. if curState in dp.keys():
  17. print ("Dp Hit: ", curState)
  18. return dp[curState]
  19.  
  20. minVal = INF
  21. for i in pickup.keys():
  22. if i in completed: continue
  23. newOngoing = ongoing.copy()
  24. newCompleted = completed.copy()
  25.  
  26. if i in ongoing:
  27. newOngoing.remove(i)
  28. newCompleted.add(i)
  29. val = calc(curPos, dest[i]) + solve(dest[i], newCompleted, newOngoing)
  30. if val < minVal:
  31. minVal = val
  32. trace[curState] = \
  33. ("drop " + str(i), (dest[i], newCompleted, newOngoing))
  34. elif len(ongoing) < maxCustomers:
  35. newOngoing.add(i)
  36. val = calc(curPos, pickup[i]) + solve(pickup[i], newCompleted, newOngoing)
  37. if val < minVal:
  38. minVal = val
  39. trace[curState] = \
  40. ("pickup " + str(i), (pickup[i], newCompleted, newOngoing))
  41.  
  42. dp[curState] = minVal
  43. return minVal
  44.  
  45. def path(state):
  46. stateVar = (state[0], frozenset(state[1]), frozenset(state[2]))
  47. if stateVar not in trace.keys():
  48. return
  49. print (trace[stateVar][0])
  50. if trace[stateVar][1] != None:
  51. return path(trace[stateVar][1])
  52.  
  53. maxCustomers = int(input())
  54. rstr = input().split(",")
  55. start = (int(rstr[0]), int(rstr[1]))
  56. N = int(input())
  57. for i in range(N):
  58. line = input().split(",")
  59. pickup[int(line[0])] = (int(line[1]), int(line[2]))
  60. dest[int(line[0])] = (int(line[3]), int(line[4]))
  61.  
  62. print("Total distance travelled: ", solve(start, set(), set()))
  63. path((start, set(), set()))
  64.  
  65.  
Runtime error #stdin #stdout 0.04s 28560KB
stdin
6
148,128
7
1,45,199,178,69
2,54,87,26,83
3,197,147,135,93
4,12,49,61,66
5,91,8,55,73
6,88,42,15,9
7,184,144,31,34
stdout
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({4, 5, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({4, 5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset())
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({4, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({4, 6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({5, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({4, 5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({4, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset())
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({4, 5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({4, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({4, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4}), frozenset({5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4}), frozenset({6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4}), frozenset({7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6}), frozenset({3, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 6, 7}), frozenset({3}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 4, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 7}), frozenset({3, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 7}), frozenset({3, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 7}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6, 7}), frozenset({3}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({4, 5, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({4, 5, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4}), frozenset({3, 5, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4}), frozenset({3, 5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 5}), frozenset({3, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 5}), frozenset({3, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6}), frozenset({3, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6}), frozenset({3, 4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 7}), frozenset({5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 7}), frozenset({3, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5}), frozenset({3, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 7}), frozenset({3, 4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 7}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5, 7}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 7}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({4, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({4, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 4}), frozenset({3, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4}), frozenset({3, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 4, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2}), frozenset({3, 4, 5, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 4, 6}), frozenset({3, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 6}), frozenset({3, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6}), frozenset({3, 4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6}), frozenset({7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 6, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 6, 7}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 7}), frozenset({3, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6}), frozenset({3, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 7}), frozenset({6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 6, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6, 7}), frozenset({3}))
Dp Hit:  ((91, 8), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4}), frozenset({7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({4, 5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({4, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 4}), frozenset({3, 5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4}), frozenset({3, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 4, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2}), frozenset({3, 4, 5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2}), frozenset({3, 4, 5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 3, 4, 7}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 7}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 4, 7}), frozenset({3, 5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 7}), frozenset({3, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 7}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 7}), frozenset({3, 4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 7}), frozenset({3, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({5, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({5, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 4}))
Dp Hit:  ((88, 42), frozenset({1, 2}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5}), frozenset({6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5}), frozenset({7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 5}), frozenset({3, 4, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 5}), frozenset({3, 4, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6}), frozenset({3, 4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({4, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 7}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((12, 49), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 5, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5}), frozenset({3, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 7}), frozenset({3, 4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 5, 7}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({5, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 4, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2}), frozenset({3, 4, 5, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 5}), frozenset({3, 4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6}), frozenset({3, 4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6}), frozenset())
Dp Hit:  ((12, 49), frozenset({1, 2, 5, 6}), frozenset({3, 4}))
Dp Hit:  ((184, 144), frozenset({1, 2, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({4, 5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6}), frozenset({7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 5, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6, 7}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 6, 7}), frozenset())
Dp Hit:  ((12, 49), frozenset({1, 2, 5, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 5, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 5}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({4, 5, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 7}), frozenset({6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 5, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5}), frozenset({7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 5, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 4, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2}), frozenset({3, 4, 5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5}), frozenset({7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 5}), frozenset({3, 4, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 5, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({5, 6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2}), frozenset({3, 4, 5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 3, 5, 7}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({4, 5}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 7}), frozenset({3, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 7}), frozenset({3, 4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 5, 7}), frozenset())
Dp Hit:  ((12, 49), frozenset({1, 2, 5, 7}), frozenset({3, 4}))
Dp Hit:  ((88, 42), frozenset({1, 2, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 3}), frozenset({6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 4}))
Dp Hit:  ((184, 144), frozenset({1, 2}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({5, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6}), frozenset({4}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6}), frozenset({5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 3, 6}), frozenset({7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6}), frozenset({3}))
Dp Hit:  ((91, 8), frozenset({1, 2, 6}), frozenset({3, 4, 5}))
Dp Hit:  ((184, 144), frozenset({1, 2, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 6}), frozenset({3, 4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 6, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6}), frozenset({3, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({5, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 6}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 6, 7}), frozenset({3}))
Dp Hit:  ((91, 8), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6, 7}), frozenset({5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 6, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset({6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 6, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2}), frozenset({3, 4, 5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({5, 6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2}), frozenset({3, 4, 5, 6, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6}), frozenset({7}))
Dp Hit:  ((12, 49), frozenset({1, 2, 6}), frozenset({3, 4, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 6}), frozenset({3, 5, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 6, 7}), frozenset({3}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 3, 6, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({4, 6}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 7}), frozenset({3, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({5, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 7}), frozenset({3, 4, 5, 6}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 7}), frozenset({3, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 6, 7}), frozenset())
Dp Hit:  ((12, 49), frozenset({1, 2, 6, 7}), frozenset({3, 4}))
Dp Hit:  ((91, 8), frozenset({1, 2, 6, 7}), frozenset({3, 5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3}), frozenset({4, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3}), frozenset({5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3}), frozenset({6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 3, 7}), frozenset())
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4, 7}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 4}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({5, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2}), frozenset({3, 4, 5, 7}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5}), frozenset({3, 7}))
Dp Hit:  ((88, 42), frozenset({1, 2}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 5}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({6, 7}))
Dp Hit:  ((12, 49), frozenset({1, 2}), frozenset({3, 4, 6, 7}))
Dp Hit:  ((91, 8), frozenset({1, 2}), frozenset({3, 5, 6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6}), frozenset({3, 7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 7}), frozenset({3, 6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 3, 7}), frozenset({4}))
Dp Hit:  ((91, 8), frozenset({1, 2, 3, 7}), frozenset({5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 3, 7}), frozenset({6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4, 7}), frozenset({3}))
Dp Hit:  ((91, 8), frozenset({1, 2, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({5}))
Dp Hit:  ((12, 49), frozenset({1, 2, 7}), frozenset({3, 4, 5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 5, 7}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 7}), frozenset({6}))
Dp Hit:  ((12, 49), frozenset({1, 2, 7}), frozenset({3, 4, 6}))
Dp Hit:  ((91, 8), frozenset({1, 2, 7}), frozenset({3, 5, 6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 6, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3}), frozenset({4}))
Dp Hit:  ((61, 66), frozenset({1, 2, 4}), frozenset({3}))
Dp Hit:  ((91, 8), frozenset({1, 2}), frozenset({3, 4, 5}))
Dp Hit:  ((88, 42), frozenset({1, 2}), frozenset({3, 4, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2}), frozenset({3, 4, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset())
Dp Hit:  ((91, 8), frozenset({1, 2, 4}), frozenset({3, 5}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4}), frozenset({3, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4}), frozenset({3, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4}), frozenset({5}))
Dp Hit:  ((55, 73), frozenset({1, 2, 4, 5}), frozenset({3}))
Dp Hit:  ((88, 42), frozenset({1, 2, 4}), frozenset({3, 5, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4}), frozenset({3, 5, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset())
Dp Hit:  ((88, 42), frozenset({1, 2, 4, 5}), frozenset({3, 6}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 5}), frozenset({3, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({6}))
Dp Hit:  ((15, 9), frozenset({1, 2, 4, 5, 6}), frozenset({3}))
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 5}), frozenset({3, 6, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 6}), frozenset())
Dp Hit:  ((184, 144), frozenset({1, 2, 4, 5, 6}), frozenset({3, 7}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5, 6}), frozenset({7}))
Dp Hit:  ((31, 34), frozenset({1, 2, 4, 5, 6, 7}), frozenset({3}))
Dp Hit:  ((135, 93), frozenset({1, 2, 3, 4, 5}), frozenset({6, 7}))
Dp Hit:  ((15, 9), frozenset({1, 2