J       K       L       M       N       O       P       Q       R
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |   2   | 1 2 3 | 1 2 3 |       |
A | 4 5 6 | 4 5 6 | 4     | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 |   5   |
  | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |
B | 4 5 6 | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1     | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |       | 1 2 3 | 1 2 3 |
C |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 |     6 | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |     3 |       | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |
D | 4 5 6 |       |       | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 |       | 7     | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 |   2   |
E |       | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 |       |
  |   8   | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1     |       | 1 2 3 |
F | 4 5 6 | 4 5 6 | 4 5 6 |     6 | 4 5 6 | 4 5 6 |       |       | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |     9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |   2   | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       |
G | 4 5 6 | 4 5 6 |       | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |       |
  | 7 8 9 | 7 8 9 |       | 7 8 9 |     9 | 7 8 9 | 7 8 9 | 7 8 9 | 7     |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |
H | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 | 7     | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |     3 | 1 2 3 | 1 2 3 |
I |     6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+

72 Deductions found:
1. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in row A)}.
  Therefore, we know that none of
    {4AJ or 4AK or 4AM or 4AN or 4AP or 4AQ}
  are true.
2. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in column L)}.
  Therefore, we know that none of
    {4BL or 4CL or 4EL or 4FL or 4HL or 4IL}
  are true.
3. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in box 1)}.
  Therefore, we know that none of
    {4AJ or 4AK or 4BJ or 4BK or 4BL or 4CK or 4CL}
  are true.
4. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in row A)}.
  Therefore, we know that none of
    {2AJ or 2AK or 2AM or 2AN or 2AP or 2AQ}
  are true.
5. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in column O)}.
  Therefore, we know that none of
    {2BO or 2CO or 2EO or 2FO or 2GO or 2IO}
  are true.
6. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in box 2)}.
  Therefore, we know that none of
    {2AM or 2AN or 2BN or 2BO or 2CM or 2CO}
  are true.
7. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in row A)}.
  Therefore, we know that none of
    {5AJ or 5AK or 5AM or 5AN or 5AP or 5AQ}
  are true.
8. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in column R)}.
  Therefore, we know that none of
    {5BR or 5CR or 5DR or 5FR or 5HR or 5IR}
  are true.
9. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in box 3)}.
  Therefore, we know that none of
    {5AP or 5AQ or 5BP or 5BR or 5CQ or 5CR}
  are true.
10. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in row B)}.
  Therefore, we know that none of
    {8BJ or 8BK or 8BL or 8BN or 8BO or 8BP or 8BR}
  are true.
11. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in column M)}.
  Therefore, we know that none of
    {8AM or 8CM or 8DM or 8EM or 8GM or 8HM}
  are true.
12. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in box 2)}.
  Therefore, we know that none of
    {8AM or 8AN or 8BN or 8BO or 8CM or 8CO}
  are true.
13. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in row B)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4BN or 4BO or 4BP or 4BR}
  are true.
14. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in column Q)}.
  Therefore, we know that none of
    {4AQ or 4CQ or 4DQ or 4EQ or 4GQ or 4HQ or 4IQ}
  are true.
15. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in box 3)}.
  Therefore, we know that none of
    {4AP or 4AQ or 4BP or 4BR or 4CQ or 4CR}
  are true.
16. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in row C)}.
  Therefore, we know that none of
    {1CK or 1CL or 1CM or 1CO or 1CQ or 1CR}
  are true.
17. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in column J)}.
  Therefore, we know that none of
    {1AJ or 1BJ or 1DJ or 1FJ or 1GJ or 1HJ}
  are true.
18. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in box 1)}.
  Therefore, we know that none of
    {1AJ or 1AK or 1BJ or 1BK or 1BL or 1CK or 1CL}
  are true.
19. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in row C)}.
  Therefore, we know that none of
    {5CK or 5CL or 5CM or 5CO or 5CQ or 5CR}
  are true.
20. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in column N)}.
  Therefore, we know that none of
    {5AN or 5BN or 5DN or 5EN or 5FN or 5HN or 5IN}
  are true.
21. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in box 2)}.
  Therefore, we know that none of
    {5AM or 5AN or 5BN or 5BO or 5CM or 5CO}
  are true.
22. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in row C)}.
  Therefore, we know that none of
    {6CK or 6CL or 6CM or 6CO or 6CQ or 6CR}
  are true.
23. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in column P)}.
  Therefore, we know that none of
    {6AP or 6BP or 6DP or 6EP or 6GP or 6HP}
  are true.
24. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in box 3)}.
  Therefore, we know that none of
    {6AP or 6AQ or 6BP or 6BR or 6CQ or 6CR}
  are true.
25. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in row D)}.
  Therefore, we know that none of
    {3DJ or 3DM or 3DN or 3DP or 3DQ or 3DR}
  are true.
26. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in column K)}.
  Therefore, we know that none of
    {3AK or 3BK or 3CK or 3EK or 3FK or 3GK or 3IK}
  are true.
27. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in box 4)}.
  Therefore, we know that none of
    {3DJ or 3EK or 3EL or 3FJ or 3FK or 3FL}
  are true.
28. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in row D)}.
  Therefore, we know that none of
    {7DJ or 7DM or 7DN or 7DP or 7DQ or 7DR}
  are true.
29. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in column L)}.
  Therefore, we know that none of
    {7BL or 7CL or 7EL or 7FL or 7HL or 7IL}
  are true.
30. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in box 4)}.
  Therefore, we know that none of
    {7DJ or 7EK or 7EL or 7FJ or 7FK or 7FL}
  are true.
31. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in row D)}.
  Therefore, we know that none of
    {8DJ or 8DM or 8DN or 8DP or 8DQ or 8DR}
  are true.
32. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in column O)}.
  Therefore, we know that none of
    {8BO or 8CO or 8EO or 8FO or 8GO or 8IO}
  are true.
33. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in box 5)}.
  Therefore, we know that none of
    {8DM or 8DN or 8EM or 8EN or 8EO or 8FN or 8FO}
  are true.
34. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in row E)}.
  Therefore, we know that none of
    {8EK or 8EL or 8EM or 8EN or 8EO or 8EP or 8EQ}
  are true.
35. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in column J)}.
  Therefore, we know that none of
    {8AJ or 8BJ or 8DJ or 8FJ or 8GJ or 8HJ}
  are true.
36. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in box 4)}.
  Therefore, we know that none of
    {8DJ or 8EK or 8EL or 8FJ or 8FK or 8FL}
  are true.
37. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in row E)}.
  Therefore, we know that none of
    {2EK or 2EL or 2EM or 2EN or 2EO or 2EP or 2EQ}
  are true.
38. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in column R)}.
  Therefore, we know that none of
    {2BR or 2CR or 2DR or 2FR or 2HR or 2IR}
  are true.
39. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in box 6)}.
  Therefore, we know that none of
    {2DP or 2DQ or 2DR or 2EP or 2EQ or 2FR}
  are true.
40. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in row F)}.
  Therefore, we know that none of
    {6FJ or 6FK or 6FL or 6FN or 6FO or 6FR}
  are true.
41. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in column M)}.
  Therefore, we know that none of
    {6AM or 6CM or 6DM or 6EM or 6GM or 6HM}
  are true.
42. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in box 5)}.
  Therefore, we know that none of
    {6DM or 6DN or 6EM or 6EN or 6EO or 6FN or 6FO}
  are true.
43. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in row F)}.
  Therefore, we know that none of
    {1FJ or 1FK or 1FL or 1FN or 1FO or 1FR}
  are true.
44. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in column P)}.
  Therefore, we know that none of
    {1AP or 1BP or 1DP or 1EP or 1GP or 1HP}
  are true.
45. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in box 6)}.
  Therefore, we know that none of
    {1DP or 1DQ or 1DR or 1EP or 1EQ or 1FR}
  are true.
46. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in row F)}.
  Therefore, we know that none of
    {9FJ or 9FK or 9FL or 9FN or 9FO or 9FR}
  are true.
47. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in column Q)}.
  Therefore, we know that none of
    {9AQ or 9CQ or 9DQ or 9EQ or 9GQ or 9HQ or 9IQ}
  are true.
48. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in box 6)}.
  Therefore, we know that none of
    {9DP or 9DQ or 9DR or 9EP or 9EQ or 9FR}
  are true.
49. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in row G)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2GM or 2GO or 2GP or 2GQ}
  are true.
50. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in column L)}.
  Therefore, we know that none of
    {2BL or 2CL or 2EL or 2FL or 2HL or 2IL}
  are true.
51. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in box 7)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2HJ or 2HL or 2IK or 2IL}
  are true.
52. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in row G)}.
  Therefore, we know that none of
    {9GJ or 9GK or 9GM or 9GO or 9GP or 9GQ}
  are true.
53. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in column N)}.
  Therefore, we know that none of
    {9AN or 9BN or 9DN or 9EN or 9FN or 9HN or 9IN}
  are true.
54. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in box 8)}.
  Therefore, we know that none of
    {9GM or 9GO or 9HM or 9HN or 9IN or 9IO}
  are true.
55. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in row G)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7GM or 7GO or 7GP or 7GQ}
  are true.
56. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in column R)}.
  Therefore, we know that none of
    {7BR or 7CR or 7DR or 7FR or 7HR or 7IR}
  are true.
57. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in box 9)}.
  Therefore, we know that none of
    {7GP or 7GQ or 7HP or 7HQ or 7HR or 7IQ or 7IR}
  are true.
58. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in row H)}.
  Therefore, we know that none of
    {7HJ or 7HL or 7HM or 7HN or 7HP or 7HQ or 7HR}
  are true.
59. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in column K)}.
  Therefore, we know that none of
    {7AK or 7BK or 7CK or 7EK or 7FK or 7GK or 7IK}
  are true.
60. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in box 7)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7HJ or 7HL or 7IK or 7IL}
  are true.
61. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in row H)}.
  Therefore, we know that none of
    {5HJ or 5HL or 5HM or 5HN or 5HP or 5HQ or 5HR}
  are true.
62. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in column O)}.
  Therefore, we know that none of
    {5BO or 5CO or 5EO or 5FO or 5GO or 5IO}
  are true.
63. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in box 8)}.
  Therefore, we know that none of
    {5GM or 5GO or 5HM or 5HN or 5IN or 5IO}
  are true.
64. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in row I)}.
  Therefore, we know that none of
    {6IK or 6IL or 6IN or 6IO or 6IQ or 6IR}
  are true.
65. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in column J)}.
  Therefore, we know that none of
    {6AJ or 6BJ or 6DJ or 6FJ or 6GJ or 6HJ}
  are true.
66. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in box 7)}.
  Therefore, we know that none of
    {6GJ or 6GK or 6HJ or 6HL or 6IK or 6IL}
  are true.
67. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in row I)}.
  Therefore, we know that none of
    {4IK or 4IL or 4IN or 4IO or 4IQ or 4IR}
  are true.
68. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in column M)}.
  Therefore, we know that none of
    {4AM or 4CM or 4DM or 4EM or 4GM or 4HM}
  are true.
69. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in box 8)}.
  Therefore, we know that none of
    {4GM or 4GO or 4HM or 4HN or 4IN or 4IO}
  are true.
70. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in row I)}.
  Therefore, we know that none of
    {3IK or 3IL or 3IN or 3IO or 3IQ or 3IR}
  are true.
71. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in column P)}.
  Therefore, we know that none of
    {3AP or 3BP or 3DP or 3EP or 3GP or 3HP}
  are true.
72. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in box 9)}.
  Therefore, we know that none of
    {3GP or 3GQ or 3HP or 3HQ or 3HR or 3IQ or 3IR}
  are true.
Choosing the first deduction to implement...
      J       K       L       M       N       O       P       Q       R
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |   2   | 1 2 3 | 1 2 3 |       |
A |   5 6 |   5 6 | 4     |   5 6 |   5 6 |       |   5 6 |   5 6 |   5   |
  | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |
B | 4 5 6 | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1     | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |       | 1 2 3 | 1 2 3 |
C |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 |     6 | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |     3 |       | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |
D | 4 5 6 |       |       | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 |       | 7     | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 |   2   |
E |       | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 |       |
  |   8   | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1     |       | 1 2 3 |
F | 4 5 6 | 4 5 6 | 4 5 6 |     6 | 4 5 6 | 4 5 6 |       |       | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |     9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |   2   | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       |
G | 4 5 6 | 4 5 6 |       | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |       |
  | 7 8 9 | 7 8 9 |       | 7 8 9 |     9 | 7 8 9 | 7 8 9 | 7 8 9 | 7     |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |
H | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 | 7     | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |     3 | 1 2 3 | 1 2 3 |
I |     6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+

...Looking for slaves...
(There is something in AL) will enslave (There is a 4 in row A)
...stopped looking for slaves...
71 Deductions found:
1. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in box 9)}.
  Therefore, we know that none of
    {3GP or 3GQ or 3HP or 3HQ or 3HR or 3IQ or 3IR}
  are true.
2. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in column P)}.
  Therefore, we know that none of
    {3AP or 3BP or 3DP or 3EP or 3GP or 3HP}
  are true.
3. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in row I)}.
  Therefore, we know that none of
    {3IK or 3IL or 3IN or 3IO or 3IQ or 3IR}
  are true.
4. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in box 8)}.
  Therefore, we know that none of
    {4GM or 4GO or 4HM or 4HN or 4IN or 4IO}
  are true.
5. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in column M)}.
  Therefore, we know that none of
    {4CM or 4DM or 4EM or 4GM or 4HM}
  are true.
6. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in row I)}.
  Therefore, we know that none of
    {4IK or 4IL or 4IN or 4IO or 4IQ or 4IR}
  are true.
7. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in box 7)}.
  Therefore, we know that none of
    {6GJ or 6GK or 6HJ or 6HL or 6IK or 6IL}
  are true.
8. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in column J)}.
  Therefore, we know that none of
    {6AJ or 6BJ or 6DJ or 6FJ or 6GJ or 6HJ}
  are true.
9. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in row I)}.
  Therefore, we know that none of
    {6IK or 6IL or 6IN or 6IO or 6IQ or 6IR}
  are true.
10. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in box 8)}.
  Therefore, we know that none of
    {5GM or 5GO or 5HM or 5HN or 5IN or 5IO}
  are true.
11. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in column O)}.
  Therefore, we know that none of
    {5BO or 5CO or 5EO or 5FO or 5GO or 5IO}
  are true.
12. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in row H)}.
  Therefore, we know that none of
    {5HJ or 5HL or 5HM or 5HN or 5HP or 5HQ or 5HR}
  are true.
13. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in box 7)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7HJ or 7HL or 7IK or 7IL}
  are true.
14. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in column K)}.
  Therefore, we know that none of
    {7AK or 7BK or 7CK or 7EK or 7FK or 7GK or 7IK}
  are true.
15. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in row H)}.
  Therefore, we know that none of
    {7HJ or 7HL or 7HM or 7HN or 7HP or 7HQ or 7HR}
  are true.
16. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in box 9)}.
  Therefore, we know that none of
    {7GP or 7GQ or 7HP or 7HQ or 7HR or 7IQ or 7IR}
  are true.
17. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in column R)}.
  Therefore, we know that none of
    {7BR or 7CR or 7DR or 7FR or 7HR or 7IR}
  are true.
18. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in row G)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7GM or 7GO or 7GP or 7GQ}
  are true.
19. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in box 8)}.
  Therefore, we know that none of
    {9GM or 9GO or 9HM or 9HN or 9IN or 9IO}
  are true.
20. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in column N)}.
  Therefore, we know that none of
    {9AN or 9BN or 9DN or 9EN or 9FN or 9HN or 9IN}
  are true.
21. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in row G)}.
  Therefore, we know that none of
    {9GJ or 9GK or 9GM or 9GO or 9GP or 9GQ}
  are true.
22. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in box 7)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2HJ or 2HL or 2IK or 2IL}
  are true.
23. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in column L)}.
  Therefore, we know that none of
    {2BL or 2CL or 2EL or 2FL or 2HL or 2IL}
  are true.
24. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in row G)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2GM or 2GO or 2GP or 2GQ}
  are true.
25. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in box 6)}.
  Therefore, we know that none of
    {9DP or 9DQ or 9DR or 9EP or 9EQ or 9FR}
  are true.
26. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in column Q)}.
  Therefore, we know that none of
    {9AQ or 9CQ or 9DQ or 9EQ or 9GQ or 9HQ or 9IQ}
  are true.
27. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in row F)}.
  Therefore, we know that none of
    {9FJ or 9FK or 9FL or 9FN or 9FO or 9FR}
  are true.
28. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in box 6)}.
  Therefore, we know that none of
    {1DP or 1DQ or 1DR or 1EP or 1EQ or 1FR}
  are true.
29. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in column P)}.
  Therefore, we know that none of
    {1AP or 1BP or 1DP or 1EP or 1GP or 1HP}
  are true.
30. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in row F)}.
  Therefore, we know that none of
    {1FJ or 1FK or 1FL or 1FN or 1FO or 1FR}
  are true.
31. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in box 5)}.
  Therefore, we know that none of
    {6DM or 6DN or 6EM or 6EN or 6EO or 6FN or 6FO}
  are true.
32. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in column M)}.
  Therefore, we know that none of
    {6AM or 6CM or 6DM or 6EM or 6GM or 6HM}
  are true.
33. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in row F)}.
  Therefore, we know that none of
    {6FJ or 6FK or 6FL or 6FN or 6FO or 6FR}
  are true.
34. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in box 6)}.
  Therefore, we know that none of
    {2DP or 2DQ or 2DR or 2EP or 2EQ or 2FR}
  are true.
35. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in column R)}.
  Therefore, we know that none of
    {2BR or 2CR or 2DR or 2FR or 2HR or 2IR}
  are true.
36. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in row E)}.
  Therefore, we know that none of
    {2EK or 2EL or 2EM or 2EN or 2EO or 2EP or 2EQ}
  are true.
37. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in box 4)}.
  Therefore, we know that none of
    {8DJ or 8EK or 8EL or 8FJ or 8FK or 8FL}
  are true.
38. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in column J)}.
  Therefore, we know that none of
    {8AJ or 8BJ or 8DJ or 8FJ or 8GJ or 8HJ}
  are true.
39. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in row E)}.
  Therefore, we know that none of
    {8EK or 8EL or 8EM or 8EN or 8EO or 8EP or 8EQ}
  are true.
40. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in box 5)}.
  Therefore, we know that none of
    {8DM or 8DN or 8EM or 8EN or 8EO or 8FN or 8FO}
  are true.
41. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in column O)}.
  Therefore, we know that none of
    {8BO or 8CO or 8EO or 8FO or 8GO or 8IO}
  are true.
42. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in row D)}.
  Therefore, we know that none of
    {8DJ or 8DM or 8DN or 8DP or 8DQ or 8DR}
  are true.
43. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in box 4)}.
  Therefore, we know that none of
    {7DJ or 7EK or 7EL or 7FJ or 7FK or 7FL}
  are true.
44. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in column L)}.
  Therefore, we know that none of
    {7BL or 7CL or 7EL or 7FL or 7HL or 7IL}
  are true.
45. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in row D)}.
  Therefore, we know that none of
    {7DJ or 7DM or 7DN or 7DP or 7DQ or 7DR}
  are true.
46. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in box 4)}.
  Therefore, we know that none of
    {3DJ or 3EK or 3EL or 3FJ or 3FK or 3FL}
  are true.
47. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in column K)}.
  Therefore, we know that none of
    {3AK or 3BK or 3CK or 3EK or 3FK or 3GK or 3IK}
  are true.
48. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in row D)}.
  Therefore, we know that none of
    {3DJ or 3DM or 3DN or 3DP or 3DQ or 3DR}
  are true.
49. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in box 3)}.
  Therefore, we know that none of
    {6AP or 6AQ or 6BP or 6BR or 6CQ or 6CR}
  are true.
50. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in column P)}.
  Therefore, we know that none of
    {6AP or 6BP or 6DP or 6EP or 6GP or 6HP}
  are true.
51. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in row C)}.
  Therefore, we know that none of
    {6CK or 6CL or 6CM or 6CO or 6CQ or 6CR}
  are true.
52. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in box 2)}.
  Therefore, we know that none of
    {5AM or 5AN or 5BN or 5BO or 5CM or 5CO}
  are true.
53. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in column N)}.
  Therefore, we know that none of
    {5AN or 5BN or 5DN or 5EN or 5FN or 5HN or 5IN}
  are true.
54. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in row C)}.
  Therefore, we know that none of
    {5CK or 5CL or 5CM or 5CO or 5CQ or 5CR}
  are true.
55. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in box 1)}.
  Therefore, we know that none of
    {1AJ or 1AK or 1BJ or 1BK or 1BL or 1CK or 1CL}
  are true.
56. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in column J)}.
  Therefore, we know that none of
    {1AJ or 1BJ or 1DJ or 1FJ or 1GJ or 1HJ}
  are true.
57. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in row C)}.
  Therefore, we know that none of
    {1CK or 1CL or 1CM or 1CO or 1CQ or 1CR}
  are true.
58. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in box 3)}.
  Therefore, we know that none of
    {4BP or 4BR or 4CQ or 4CR}
  are true.
59. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in column Q)}.
  Therefore, we know that none of
    {4CQ or 4DQ or 4EQ or 4GQ or 4HQ or 4IQ}
  are true.
60. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in row B)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4BN or 4BO or 4BP or 4BR}
  are true.
61. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in box 2)}.
  Therefore, we know that none of
    {8AM or 8AN or 8BN or 8BO or 8CM or 8CO}
  are true.
62. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in column M)}.
  Therefore, we know that none of
    {8AM or 8CM or 8DM or 8EM or 8GM or 8HM}
  are true.
63. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in row B)}.
  Therefore, we know that none of
    {8BJ or 8BK or 8BL or 8BN or 8BO or 8BP or 8BR}
  are true.
64. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in box 3)}.
  Therefore, we know that none of
    {5AP or 5AQ or 5BP or 5BR or 5CQ or 5CR}
  are true.
65. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in column R)}.
  Therefore, we know that none of
    {5BR or 5CR or 5DR or 5FR or 5HR or 5IR}
  are true.
66. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in row A)}.
  Therefore, we know that none of
    {5AJ or 5AK or 5AM or 5AN or 5AP or 5AQ}
  are true.
67. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in box 2)}.
  Therefore, we know that none of
    {2AM or 2AN or 2BN or 2BO or 2CM or 2CO}
  are true.
68. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in column O)}.
  Therefore, we know that none of
    {2BO or 2CO or 2EO or 2FO or 2GO or 2IO}
  are true.
69. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in row A)}.
  Therefore, we know that none of
    {2AJ or 2AK or 2AM or 2AN or 2AP or 2AQ}
  are true.
70. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in box 1)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4CK or 4CL}
  are true.
71. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in column L)}.
  Therefore, we know that none of
    {4BL or 4CL or 4EL or 4FL or 4HL or 4IL}
  are true.
Choosing the first deduction to implement...
      J       K       L       M       N       O       P       Q       R
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |   2   | 1 2 3 | 1 2 3 |       |
A |   5 6 |   5 6 | 4     |   5 6 |   5 6 |       |   5 6 |   5 6 |   5   |
  | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |
B | 4 5 6 | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1     | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |       | 1 2 3 | 1 2 3 |
C |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 |     6 | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |     3 |       | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |
D | 4 5 6 |       |       | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 |       | 7     | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 |   2   |
E |       | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 |       |
  |   8   | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1     |       | 1 2 3 |
F | 4 5 6 | 4 5 6 | 4 5 6 |     6 | 4 5 6 | 4 5 6 |       |       | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |     9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |   2   | 1 2 3 |       | 1 2 3 | 1 2   | 1 2   |       |
G | 4 5 6 | 4 5 6 |       | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |       |
  | 7 8 9 | 7 8 9 |       | 7 8 9 |     9 | 7 8 9 | 7 8 9 | 7 8 9 | 7     |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2   | 1 2   | 1 2   |
H | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 | 7     | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |     3 | 1 2   | 1 2   |
I |     6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+

...Looking for slaves...
(There is something in IP) will enslave (There is a 3 in box 9)
...stopped looking for slaves...
70 Deductions found:
1. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in column P)}.
  Therefore, we know that none of
    {3AP or 3BP or 3DP or 3EP}
  are true.
2. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in row I)}.
  Therefore, we know that none of
    {3IK or 3IL or 3IN or 3IO}
  are true.
3. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in box 8)}.
  Therefore, we know that none of
    {4GM or 4GO or 4HM or 4HN or 4IN or 4IO}
  are true.
4. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in column M)}.
  Therefore, we know that none of
    {4CM or 4DM or 4EM or 4GM or 4HM}
  are true.
5. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in row I)}.
  Therefore, we know that none of
    {4IK or 4IL or 4IN or 4IO or 4IQ or 4IR}
  are true.
6. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in box 7)}.
  Therefore, we know that none of
    {6GJ or 6GK or 6HJ or 6HL or 6IK or 6IL}
  are true.
7. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in column J)}.
  Therefore, we know that none of
    {6AJ or 6BJ or 6DJ or 6FJ or 6GJ or 6HJ}
  are true.
8. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in row I)}.
  Therefore, we know that none of
    {6IK or 6IL or 6IN or 6IO or 6IQ or 6IR}
  are true.
9. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in box 8)}.
  Therefore, we know that none of
    {5GM or 5GO or 5HM or 5HN or 5IN or 5IO}
  are true.
10. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in column O)}.
  Therefore, we know that none of
    {5BO or 5CO or 5EO or 5FO or 5GO or 5IO}
  are true.
11. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in row H)}.
  Therefore, we know that none of
    {5HJ or 5HL or 5HM or 5HN or 5HP or 5HQ or 5HR}
  are true.
12. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in box 7)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7HJ or 7HL or 7IK or 7IL}
  are true.
13. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in column K)}.
  Therefore, we know that none of
    {7AK or 7BK or 7CK or 7EK or 7FK or 7GK or 7IK}
  are true.
14. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in row H)}.
  Therefore, we know that none of
    {7HJ or 7HL or 7HM or 7HN or 7HP or 7HQ or 7HR}
  are true.
15. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in box 9)}.
  Therefore, we know that none of
    {7GP or 7GQ or 7HP or 7HQ or 7HR or 7IQ or 7IR}
  are true.
16. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in column R)}.
  Therefore, we know that none of
    {7BR or 7CR or 7DR or 7FR or 7HR or 7IR}
  are true.
17. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in row G)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7GM or 7GO or 7GP or 7GQ}
  are true.
18. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in box 8)}.
  Therefore, we know that none of
    {9GM or 9GO or 9HM or 9HN or 9IN or 9IO}
  are true.
19. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in column N)}.
  Therefore, we know that none of
    {9AN or 9BN or 9DN or 9EN or 9FN or 9HN or 9IN}
  are true.
20. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in row G)}.
  Therefore, we know that none of
    {9GJ or 9GK or 9GM or 9GO or 9GP or 9GQ}
  are true.
21. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in box 7)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2HJ or 2HL or 2IK or 2IL}
  are true.
22. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in column L)}.
  Therefore, we know that none of
    {2BL or 2CL or 2EL or 2FL or 2HL or 2IL}
  are true.
23. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in row G)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2GM or 2GO or 2GP or 2GQ}
  are true.
24. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in box 6)}.
  Therefore, we know that none of
    {9DP or 9DQ or 9DR or 9EP or 9EQ or 9FR}
  are true.
25. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in column Q)}.
  Therefore, we know that none of
    {9AQ or 9CQ or 9DQ or 9EQ or 9GQ or 9HQ or 9IQ}
  are true.
26. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in row F)}.
  Therefore, we know that none of
    {9FJ or 9FK or 9FL or 9FN or 9FO or 9FR}
  are true.
27. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in box 6)}.
  Therefore, we know that none of
    {1DP or 1DQ or 1DR or 1EP or 1EQ or 1FR}
  are true.
28. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in column P)}.
  Therefore, we know that none of
    {1AP or 1BP or 1DP or 1EP or 1GP or 1HP}
  are true.
29. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in row F)}.
  Therefore, we know that none of
    {1FJ or 1FK or 1FL or 1FN or 1FO or 1FR}
  are true.
30. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in box 5)}.
  Therefore, we know that none of
    {6DM or 6DN or 6EM or 6EN or 6EO or 6FN or 6FO}
  are true.
31. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in column M)}.
  Therefore, we know that none of
    {6AM or 6CM or 6DM or 6EM or 6GM or 6HM}
  are true.
32. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in row F)}.
  Therefore, we know that none of
    {6FJ or 6FK or 6FL or 6FN or 6FO or 6FR}
  are true.
33. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in box 6)}.
  Therefore, we know that none of
    {2DP or 2DQ or 2DR or 2EP or 2EQ or 2FR}
  are true.
34. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in column R)}.
  Therefore, we know that none of
    {2BR or 2CR or 2DR or 2FR or 2HR or 2IR}
  are true.
35. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in row E)}.
  Therefore, we know that none of
    {2EK or 2EL or 2EM or 2EN or 2EO or 2EP or 2EQ}
  are true.
36. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in box 4)}.
  Therefore, we know that none of
    {8DJ or 8EK or 8EL or 8FJ or 8FK or 8FL}
  are true.
37. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in column J)}.
  Therefore, we know that none of
    {8AJ or 8BJ or 8DJ or 8FJ or 8GJ or 8HJ}
  are true.
38. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in row E)}.
  Therefore, we know that none of
    {8EK or 8EL or 8EM or 8EN or 8EO or 8EP or 8EQ}
  are true.
39. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in box 5)}.
  Therefore, we know that none of
    {8DM or 8DN or 8EM or 8EN or 8EO or 8FN or 8FO}
  are true.
40. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in column O)}.
  Therefore, we know that none of
    {8BO or 8CO or 8EO or 8FO or 8GO or 8IO}
  are true.
41. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in row D)}.
  Therefore, we know that none of
    {8DJ or 8DM or 8DN or 8DP or 8DQ or 8DR}
  are true.
42. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in box 4)}.
  Therefore, we know that none of
    {7DJ or 7EK or 7EL or 7FJ or 7FK or 7FL}
  are true.
43. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in column L)}.
  Therefore, we know that none of
    {7BL or 7CL or 7EL or 7FL or 7HL or 7IL}
  are true.
44. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in row D)}.
  Therefore, we know that none of
    {7DJ or 7DM or 7DN or 7DP or 7DQ or 7DR}
  are true.
45. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in box 4)}.
  Therefore, we know that none of
    {3DJ or 3EK or 3EL or 3FJ or 3FK or 3FL}
  are true.
46. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in column K)}.
  Therefore, we know that none of
    {3AK or 3BK or 3CK or 3EK or 3FK or 3GK or 3IK}
  are true.
47. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in row D)}.
  Therefore, we know that none of
    {3DJ or 3DM or 3DN or 3DP or 3DQ or 3DR}
  are true.
48. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in box 3)}.
  Therefore, we know that none of
    {6AP or 6AQ or 6BP or 6BR or 6CQ or 6CR}
  are true.
49. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in column P)}.
  Therefore, we know that none of
    {6AP or 6BP or 6DP or 6EP or 6GP or 6HP}
  are true.
50. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in row C)}.
  Therefore, we know that none of
    {6CK or 6CL or 6CM or 6CO or 6CQ or 6CR}
  are true.
51. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in box 2)}.
  Therefore, we know that none of
    {5AM or 5AN or 5BN or 5BO or 5CM or 5CO}
  are true.
52. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in column N)}.
  Therefore, we know that none of
    {5AN or 5BN or 5DN or 5EN or 5FN or 5HN or 5IN}
  are true.
53. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in row C)}.
  Therefore, we know that none of
    {5CK or 5CL or 5CM or 5CO or 5CQ or 5CR}
  are true.
54. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in box 1)}.
  Therefore, we know that none of
    {1AJ or 1AK or 1BJ or 1BK or 1BL or 1CK or 1CL}
  are true.
55. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in column J)}.
  Therefore, we know that none of
    {1AJ or 1BJ or 1DJ or 1FJ or 1GJ or 1HJ}
  are true.
56. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in row C)}.
  Therefore, we know that none of
    {1CK or 1CL or 1CM or 1CO or 1CQ or 1CR}
  are true.
57. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in box 3)}.
  Therefore, we know that none of
    {4BP or 4BR or 4CQ or 4CR}
  are true.
58. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in column Q)}.
  Therefore, we know that none of
    {4CQ or 4DQ or 4EQ or 4GQ or 4HQ or 4IQ}
  are true.
59. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in row B)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4BN or 4BO or 4BP or 4BR}
  are true.
60. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in box 2)}.
  Therefore, we know that none of
    {8AM or 8AN or 8BN or 8BO or 8CM or 8CO}
  are true.
61. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in column M)}.
  Therefore, we know that none of
    {8AM or 8CM or 8DM or 8EM or 8GM or 8HM}
  are true.
62. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in row B)}.
  Therefore, we know that none of
    {8BJ or 8BK or 8BL or 8BN or 8BO or 8BP or 8BR}
  are true.
63. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in box 3)}.
  Therefore, we know that none of
    {5AP or 5AQ or 5BP or 5BR or 5CQ or 5CR}
  are true.
64. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in column R)}.
  Therefore, we know that none of
    {5BR or 5CR or 5DR or 5FR or 5HR or 5IR}
  are true.
65. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in row A)}.
  Therefore, we know that none of
    {5AJ or 5AK or 5AM or 5AN or 5AP or 5AQ}
  are true.
66. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in box 2)}.
  Therefore, we know that none of
    {2AM or 2AN or 2BN or 2BO or 2CM or 2CO}
  are true.
67. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in column O)}.
  Therefore, we know that none of
    {2BO or 2CO or 2EO or 2FO or 2GO or 2IO}
  are true.
68. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in row A)}.
  Therefore, we know that none of
    {2AJ or 2AK or 2AM or 2AN or 2AP or 2AQ}
  are true.
69. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in box 1)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4CK or 4CL}
  are true.
70. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in column L)}.
  Therefore, we know that none of
    {4BL or 4CL or 4EL or 4FL or 4HL or 4IL}
  are true.
Choosing the first deduction to implement...
      J       K       L       M       N       O       P       Q       R
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |   2   | 1 2   | 1 2 3 |       |
A |   5 6 |   5 6 | 4     |   5 6 |   5 6 |       |   5 6 |   5 6 |   5   |
  | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2   |       | 1 2 3 |
B | 4 5 6 | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1     | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |       | 1 2 3 | 1 2 3 |
C |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 |     6 | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |     3 |       | 1 2 3 | 1 2 3 |       | 1 2   | 1 2 3 | 1 2 3 |
D | 4 5 6 |       |       | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 |       | 7     | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2   | 1 2 3 |   2   |
E |       | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 |       |
  |   8   | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1     |       | 1 2 3 |
F | 4 5 6 | 4 5 6 | 4 5 6 |     6 | 4 5 6 | 4 5 6 |       |       | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |     9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |   2   | 1 2 3 |       | 1 2 3 | 1 2   | 1 2   |       |
G | 4 5 6 | 4 5 6 |       | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |       |
  | 7 8 9 | 7 8 9 |       | 7 8 9 |     9 | 7 8 9 | 7 8 9 | 7 8 9 | 7     |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2   | 1 2   | 1 2   |
H | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 | 7     | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |     3 | 1 2   | 1 2   |
I |     6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+

...Looking for slaves...
(There is something in IP) will enslave (There is a 3 in column P)
...stopped looking for slaves...
69 Deductions found:
1. Since {(There is something in IP)} we know
    1 of {3IP} are true.
  But those are a subset of
    {(There is a 3 in row I)}.
  Therefore, we know that none of
    {3IK or 3IL or 3IN or 3IO}
  are true.
2. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in box 8)}.
  Therefore, we know that none of
    {4GM or 4GO or 4HM or 4HN or 4IN or 4IO}
  are true.
3. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in column M)}.
  Therefore, we know that none of
    {4CM or 4DM or 4EM or 4GM or 4HM}
  are true.
4. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in row I)}.
  Therefore, we know that none of
    {4IK or 4IL or 4IN or 4IO or 4IQ or 4IR}
  are true.
5. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in box 7)}.
  Therefore, we know that none of
    {6GJ or 6GK or 6HJ or 6HL or 6IK or 6IL}
  are true.
6. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in column J)}.
  Therefore, we know that none of
    {6AJ or 6BJ or 6DJ or 6FJ or 6GJ or 6HJ}
  are true.
7. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in row I)}.
  Therefore, we know that none of
    {6IK or 6IL or 6IN or 6IO or 6IQ or 6IR}
  are true.
8. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in box 8)}.
  Therefore, we know that none of
    {5GM or 5GO or 5HM or 5HN or 5IN or 5IO}
  are true.
9. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in column O)}.
  Therefore, we know that none of
    {5BO or 5CO or 5EO or 5FO or 5GO or 5IO}
  are true.
10. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in row H)}.
  Therefore, we know that none of
    {5HJ or 5HL or 5HM or 5HN or 5HP or 5HQ or 5HR}
  are true.
11. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in box 7)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7HJ or 7HL or 7IK or 7IL}
  are true.
12. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in column K)}.
  Therefore, we know that none of
    {7AK or 7BK or 7CK or 7EK or 7FK or 7GK or 7IK}
  are true.
13. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in row H)}.
  Therefore, we know that none of
    {7HJ or 7HL or 7HM or 7HN or 7HP or 7HQ or 7HR}
  are true.
14. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in box 9)}.
  Therefore, we know that none of
    {7GP or 7GQ or 7HP or 7HQ or 7HR or 7IQ or 7IR}
  are true.
15. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in column R)}.
  Therefore, we know that none of
    {7BR or 7CR or 7DR or 7FR or 7HR or 7IR}
  are true.
16. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in row G)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7GM or 7GO or 7GP or 7GQ}
  are true.
17. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in box 8)}.
  Therefore, we know that none of
    {9GM or 9GO or 9HM or 9HN or 9IN or 9IO}
  are true.
18. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in column N)}.
  Therefore, we know that none of
    {9AN or 9BN or 9DN or 9EN or 9FN or 9HN or 9IN}
  are true.
19. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in row G)}.
  Therefore, we know that none of
    {9GJ or 9GK or 9GM or 9GO or 9GP or 9GQ}
  are true.
20. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in box 7)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2HJ or 2HL or 2IK or 2IL}
  are true.
21. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in column L)}.
  Therefore, we know that none of
    {2BL or 2CL or 2EL or 2FL or 2HL or 2IL}
  are true.
22. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in row G)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2GM or 2GO or 2GP or 2GQ}
  are true.
23. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in box 6)}.
  Therefore, we know that none of
    {9DP or 9DQ or 9DR or 9EP or 9EQ or 9FR}
  are true.
24. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in column Q)}.
  Therefore, we know that none of
    {9AQ or 9CQ or 9DQ or 9EQ or 9GQ or 9HQ or 9IQ}
  are true.
25. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in row F)}.
  Therefore, we know that none of
    {9FJ or 9FK or 9FL or 9FN or 9FO or 9FR}
  are true.
26. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in box 6)}.
  Therefore, we know that none of
    {1DP or 1DQ or 1DR or 1EP or 1EQ or 1FR}
  are true.
27. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in column P)}.
  Therefore, we know that none of
    {1AP or 1BP or 1DP or 1EP or 1GP or 1HP}
  are true.
28. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in row F)}.
  Therefore, we know that none of
    {1FJ or 1FK or 1FL or 1FN or 1FO or 1FR}
  are true.
29. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in box 5)}.
  Therefore, we know that none of
    {6DM or 6DN or 6EM or 6EN or 6EO or 6FN or 6FO}
  are true.
30. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in column M)}.
  Therefore, we know that none of
    {6AM or 6CM or 6DM or 6EM or 6GM or 6HM}
  are true.
31. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in row F)}.
  Therefore, we know that none of
    {6FJ or 6FK or 6FL or 6FN or 6FO or 6FR}
  are true.
32. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in box 6)}.
  Therefore, we know that none of
    {2DP or 2DQ or 2DR or 2EP or 2EQ or 2FR}
  are true.
33. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in column R)}.
  Therefore, we know that none of
    {2BR or 2CR or 2DR or 2FR or 2HR or 2IR}
  are true.
34. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in row E)}.
  Therefore, we know that none of
    {2EK or 2EL or 2EM or 2EN or 2EO or 2EP or 2EQ}
  are true.
35. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in box 4)}.
  Therefore, we know that none of
    {8DJ or 8EK or 8EL or 8FJ or 8FK or 8FL}
  are true.
36. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in column J)}.
  Therefore, we know that none of
    {8AJ or 8BJ or 8DJ or 8FJ or 8GJ or 8HJ}
  are true.
37. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in row E)}.
  Therefore, we know that none of
    {8EK or 8EL or 8EM or 8EN or 8EO or 8EP or 8EQ}
  are true.
38. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in box 5)}.
  Therefore, we know that none of
    {8DM or 8DN or 8EM or 8EN or 8EO or 8FN or 8FO}
  are true.
39. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in column O)}.
  Therefore, we know that none of
    {8BO or 8CO or 8EO or 8FO or 8GO or 8IO}
  are true.
40. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in row D)}.
  Therefore, we know that none of
    {8DJ or 8DM or 8DN or 8DP or 8DQ or 8DR}
  are true.
41. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in box 4)}.
  Therefore, we know that none of
    {7DJ or 7EK or 7EL or 7FJ or 7FK or 7FL}
  are true.
42. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in column L)}.
  Therefore, we know that none of
    {7BL or 7CL or 7EL or 7FL or 7HL or 7IL}
  are true.
43. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in row D)}.
  Therefore, we know that none of
    {7DJ or 7DM or 7DN or 7DP or 7DQ or 7DR}
  are true.
44. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in box 4)}.
  Therefore, we know that none of
    {3DJ or 3EK or 3EL or 3FJ or 3FK or 3FL}
  are true.
45. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in column K)}.
  Therefore, we know that none of
    {3AK or 3BK or 3CK or 3EK or 3FK or 3GK or 3IK}
  are true.
46. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in row D)}.
  Therefore, we know that none of
    {3DJ or 3DM or 3DN or 3DQ or 3DR}
  are true.
47. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in box 3)}.
  Therefore, we know that none of
    {6AP or 6AQ or 6BP or 6BR or 6CQ or 6CR}
  are true.
48. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in column P)}.
  Therefore, we know that none of
    {6AP or 6BP or 6DP or 6EP or 6GP or 6HP}
  are true.
49. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in row C)}.
  Therefore, we know that none of
    {6CK or 6CL or 6CM or 6CO or 6CQ or 6CR}
  are true.
50. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in box 2)}.
  Therefore, we know that none of
    {5AM or 5AN or 5BN or 5BO or 5CM or 5CO}
  are true.
51. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in column N)}.
  Therefore, we know that none of
    {5AN or 5BN or 5DN or 5EN or 5FN or 5HN or 5IN}
  are true.
52. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in row C)}.
  Therefore, we know that none of
    {5CK or 5CL or 5CM or 5CO or 5CQ or 5CR}
  are true.
53. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in box 1)}.
  Therefore, we know that none of
    {1AJ or 1AK or 1BJ or 1BK or 1BL or 1CK or 1CL}
  are true.
54. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in column J)}.
  Therefore, we know that none of
    {1AJ or 1BJ or 1DJ or 1FJ or 1GJ or 1HJ}
  are true.
55. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in row C)}.
  Therefore, we know that none of
    {1CK or 1CL or 1CM or 1CO or 1CQ or 1CR}
  are true.
56. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in box 3)}.
  Therefore, we know that none of
    {4BP or 4BR or 4CQ or 4CR}
  are true.
57. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in column Q)}.
  Therefore, we know that none of
    {4CQ or 4DQ or 4EQ or 4GQ or 4HQ or 4IQ}
  are true.
58. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in row B)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4BN or 4BO or 4BP or 4BR}
  are true.
59. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in box 2)}.
  Therefore, we know that none of
    {8AM or 8AN or 8BN or 8BO or 8CM or 8CO}
  are true.
60. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in column M)}.
  Therefore, we know that none of
    {8AM or 8CM or 8DM or 8EM or 8GM or 8HM}
  are true.
61. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in row B)}.
  Therefore, we know that none of
    {8BJ or 8BK or 8BL or 8BN or 8BO or 8BP or 8BR}
  are true.
62. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in box 3)}.
  Therefore, we know that none of
    {5AP or 5AQ or 5BP or 5BR or 5CQ or 5CR}
  are true.
63. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in column R)}.
  Therefore, we know that none of
    {5BR or 5CR or 5DR or 5FR or 5HR or 5IR}
  are true.
64. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in row A)}.
  Therefore, we know that none of
    {5AJ or 5AK or 5AM or 5AN or 5AP or 5AQ}
  are true.
65. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in box 2)}.
  Therefore, we know that none of
    {2AM or 2AN or 2BN or 2BO or 2CM or 2CO}
  are true.
66. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in column O)}.
  Therefore, we know that none of
    {2BO or 2CO or 2EO or 2FO or 2GO or 2IO}
  are true.
67. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in row A)}.
  Therefore, we know that none of
    {2AJ or 2AK or 2AM or 2AN or 2AP or 2AQ}
  are true.
68. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in box 1)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4CK or 4CL}
  are true.
69. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in column L)}.
  Therefore, we know that none of
    {4BL or 4CL or 4EL or 4FL or 4HL or 4IL}
  are true.
Choosing the first deduction to implement...
      J       K       L       M       N       O       P       Q       R
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |   2   | 1 2   | 1 2 3 |       |
A |   5 6 |   5 6 | 4     |   5 6 |   5 6 |       |   5 6 |   5 6 |   5   |
  | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2   |       | 1 2 3 |
B | 4 5 6 | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1     | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |       | 1 2 3 | 1 2 3 |
C |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 |     6 | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |     3 |       | 1 2 3 | 1 2 3 |       | 1 2   | 1 2 3 | 1 2 3 |
D | 4 5 6 |       |       | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 |       | 7     | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2   | 1 2 3 |   2   |
E |       | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 |       |
  |   8   | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1     |       | 1 2 3 |
F | 4 5 6 | 4 5 6 | 4 5 6 |     6 | 4 5 6 | 4 5 6 |       |       | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |     9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |   2   | 1 2 3 |       | 1 2 3 | 1 2   | 1 2   |       |
G | 4 5 6 | 4 5 6 |       | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |       |
  | 7 8 9 | 7 8 9 |       | 7 8 9 |     9 | 7 8 9 | 7 8 9 | 7 8 9 | 7     |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2   | 1 2   | 1 2   |
H | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 | 7     | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2   | 1 2   |       | 1 2   | 1 2   |     3 | 1 2   | 1 2   |
I |     6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+

...Looking for slaves...
(There is something in IP) will enslave (There is a 3 in row I)
...stopped looking for slaves...
68 Deductions found:
1. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in box 8)}.
  Therefore, we know that none of
    {4GM or 4GO or 4HM or 4HN or 4IN or 4IO}
  are true.
2. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in column M)}.
  Therefore, we know that none of
    {4CM or 4DM or 4EM or 4GM or 4HM}
  are true.
3. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in row I)}.
  Therefore, we know that none of
    {4IK or 4IL or 4IN or 4IO or 4IQ or 4IR}
  are true.
4. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in box 7)}.
  Therefore, we know that none of
    {6GJ or 6GK or 6HJ or 6HL or 6IK or 6IL}
  are true.
5. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in column J)}.
  Therefore, we know that none of
    {6AJ or 6BJ or 6DJ or 6FJ or 6GJ or 6HJ}
  are true.
6. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in row I)}.
  Therefore, we know that none of
    {6IK or 6IL or 6IN or 6IO or 6IQ or 6IR}
  are true.
7. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in box 8)}.
  Therefore, we know that none of
    {5GM or 5GO or 5HM or 5HN or 5IN or 5IO}
  are true.
8. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in column O)}.
  Therefore, we know that none of
    {5BO or 5CO or 5EO or 5FO or 5GO or 5IO}
  are true.
9. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in row H)}.
  Therefore, we know that none of
    {5HJ or 5HL or 5HM or 5HN or 5HP or 5HQ or 5HR}
  are true.
10. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in box 7)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7HJ or 7HL or 7IK or 7IL}
  are true.
11. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in column K)}.
  Therefore, we know that none of
    {7AK or 7BK or 7CK or 7EK or 7FK or 7GK or 7IK}
  are true.
12. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in row H)}.
  Therefore, we know that none of
    {7HJ or 7HL or 7HM or 7HN or 7HP or 7HQ or 7HR}
  are true.
13. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in box 9)}.
  Therefore, we know that none of
    {7GP or 7GQ or 7HP or 7HQ or 7HR or 7IQ or 7IR}
  are true.
14. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in column R)}.
  Therefore, we know that none of
    {7BR or 7CR or 7DR or 7FR or 7HR or 7IR}
  are true.
15. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in row G)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7GM or 7GO or 7GP or 7GQ}
  are true.
16. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in box 8)}.
  Therefore, we know that none of
    {9GM or 9GO or 9HM or 9HN or 9IN or 9IO}
  are true.
17. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in column N)}.
  Therefore, we know that none of
    {9AN or 9BN or 9DN or 9EN or 9FN or 9HN or 9IN}
  are true.
18. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in row G)}.
  Therefore, we know that none of
    {9GJ or 9GK or 9GM or 9GO or 9GP or 9GQ}
  are true.
19. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in box 7)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2HJ or 2HL or 2IK or 2IL}
  are true.
20. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in column L)}.
  Therefore, we know that none of
    {2BL or 2CL or 2EL or 2FL or 2HL or 2IL}
  are true.
21. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in row G)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2GM or 2GO or 2GP or 2GQ}
  are true.
22. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in box 6)}.
  Therefore, we know that none of
    {9DP or 9DQ or 9DR or 9EP or 9EQ or 9FR}
  are true.
23. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in column Q)}.
  Therefore, we know that none of
    {9AQ or 9CQ or 9DQ or 9EQ or 9GQ or 9HQ or 9IQ}
  are true.
24. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in row F)}.
  Therefore, we know that none of
    {9FJ or 9FK or 9FL or 9FN or 9FO or 9FR}
  are true.
25. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in box 6)}.
  Therefore, we know that none of
    {1DP or 1DQ or 1DR or 1EP or 1EQ or 1FR}
  are true.
26. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in column P)}.
  Therefore, we know that none of
    {1AP or 1BP or 1DP or 1EP or 1GP or 1HP}
  are true.
27. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in row F)}.
  Therefore, we know that none of
    {1FJ or 1FK or 1FL or 1FN or 1FO or 1FR}
  are true.
28. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in box 5)}.
  Therefore, we know that none of
    {6DM or 6DN or 6EM or 6EN or 6EO or 6FN or 6FO}
  are true.
29. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in column M)}.
  Therefore, we know that none of
    {6AM or 6CM or 6DM or 6EM or 6GM or 6HM}
  are true.
30. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in row F)}.
  Therefore, we know that none of
    {6FJ or 6FK or 6FL or 6FN or 6FO or 6FR}
  are true.
31. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in box 6)}.
  Therefore, we know that none of
    {2DP or 2DQ or 2DR or 2EP or 2EQ or 2FR}
  are true.
32. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in column R)}.
  Therefore, we know that none of
    {2BR or 2CR or 2DR or 2FR or 2HR or 2IR}
  are true.
33. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in row E)}.
  Therefore, we know that none of
    {2EK or 2EL or 2EM or 2EN or 2EO or 2EP or 2EQ}
  are true.
34. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in box 4)}.
  Therefore, we know that none of
    {8DJ or 8EK or 8EL or 8FJ or 8FK or 8FL}
  are true.
35. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in column J)}.
  Therefore, we know that none of
    {8AJ or 8BJ or 8DJ or 8FJ or 8GJ or 8HJ}
  are true.
36. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in row E)}.
  Therefore, we know that none of
    {8EK or 8EL or 8EM or 8EN or 8EO or 8EP or 8EQ}
  are true.
37. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in box 5)}.
  Therefore, we know that none of
    {8DM or 8DN or 8EM or 8EN or 8EO or 8FN or 8FO}
  are true.
38. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in column O)}.
  Therefore, we know that none of
    {8BO or 8CO or 8EO or 8FO or 8GO or 8IO}
  are true.
39. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in row D)}.
  Therefore, we know that none of
    {8DJ or 8DM or 8DN or 8DP or 8DQ or 8DR}
  are true.
40. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in box 4)}.
  Therefore, we know that none of
    {7DJ or 7EK or 7EL or 7FJ or 7FK or 7FL}
  are true.
41. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in column L)}.
  Therefore, we know that none of
    {7BL or 7CL or 7EL or 7FL or 7HL or 7IL}
  are true.
42. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in row D)}.
  Therefore, we know that none of
    {7DJ or 7DM or 7DN or 7DP or 7DQ or 7DR}
  are true.
43. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in box 4)}.
  Therefore, we know that none of
    {3DJ or 3EK or 3EL or 3FJ or 3FK or 3FL}
  are true.
44. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in column K)}.
  Therefore, we know that none of
    {3AK or 3BK or 3CK or 3EK or 3FK or 3GK}
  are true.
45. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in row D)}.
  Therefore, we know that none of
    {3DJ or 3DM or 3DN or 3DQ or 3DR}
  are true.
46. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in box 3)}.
  Therefore, we know that none of
    {6AP or 6AQ or 6BP or 6BR or 6CQ or 6CR}
  are true.
47. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in column P)}.
  Therefore, we know that none of
    {6AP or 6BP or 6DP or 6EP or 6GP or 6HP}
  are true.
48. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in row C)}.
  Therefore, we know that none of
    {6CK or 6CL or 6CM or 6CO or 6CQ or 6CR}
  are true.
49. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in box 2)}.
  Therefore, we know that none of
    {5AM or 5AN or 5BN or 5BO or 5CM or 5CO}
  are true.
50. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in column N)}.
  Therefore, we know that none of
    {5AN or 5BN or 5DN or 5EN or 5FN or 5HN or 5IN}
  are true.
51. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in row C)}.
  Therefore, we know that none of
    {5CK or 5CL or 5CM or 5CO or 5CQ or 5CR}
  are true.
52. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in box 1)}.
  Therefore, we know that none of
    {1AJ or 1AK or 1BJ or 1BK or 1BL or 1CK or 1CL}
  are true.
53. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in column J)}.
  Therefore, we know that none of
    {1AJ or 1BJ or 1DJ or 1FJ or 1GJ or 1HJ}
  are true.
54. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in row C)}.
  Therefore, we know that none of
    {1CK or 1CL or 1CM or 1CO or 1CQ or 1CR}
  are true.
55. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in box 3)}.
  Therefore, we know that none of
    {4BP or 4BR or 4CQ or 4CR}
  are true.
56. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in column Q)}.
  Therefore, we know that none of
    {4CQ or 4DQ or 4EQ or 4GQ or 4HQ or 4IQ}
  are true.
57. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in row B)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4BN or 4BO or 4BP or 4BR}
  are true.
58. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in box 2)}.
  Therefore, we know that none of
    {8AM or 8AN or 8BN or 8BO or 8CM or 8CO}
  are true.
59. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in column M)}.
  Therefore, we know that none of
    {8AM or 8CM or 8DM or 8EM or 8GM or 8HM}
  are true.
60. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in row B)}.
  Therefore, we know that none of
    {8BJ or 8BK or 8BL or 8BN or 8BO or 8BP or 8BR}
  are true.
61. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in box 3)}.
  Therefore, we know that none of
    {5AP or 5AQ or 5BP or 5BR or 5CQ or 5CR}
  are true.
62. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in column R)}.
  Therefore, we know that none of
    {5BR or 5CR or 5DR or 5FR or 5HR or 5IR}
  are true.
63. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in row A)}.
  Therefore, we know that none of
    {5AJ or 5AK or 5AM or 5AN or 5AP or 5AQ}
  are true.
64. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in box 2)}.
  Therefore, we know that none of
    {2AM or 2AN or 2BN or 2BO or 2CM or 2CO}
  are true.
65. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in column O)}.
  Therefore, we know that none of
    {2BO or 2CO or 2EO or 2FO or 2GO or 2IO}
  are true.
66. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in row A)}.
  Therefore, we know that none of
    {2AJ or 2AK or 2AM or 2AN or 2AP or 2AQ}
  are true.
67. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in box 1)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4CK or 4CL}
  are true.
68. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in column L)}.
  Therefore, we know that none of
    {4BL or 4CL or 4EL or 4FL or 4HL or 4IL}
  are true.
Choosing the first deduction to implement...
      J       K       L       M       N       O       P       Q       R
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |   2   | 1 2   | 1 2 3 |       |
A |   5 6 |   5 6 | 4     |   5 6 |   5 6 |       |   5 6 |   5 6 |   5   |
  | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2   |       | 1 2 3 |
B | 4 5 6 | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1     | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |       | 1 2 3 | 1 2 3 |
C |       | 4 5 6 | 4 5 6 | 4 5 6 |   5   | 4 5 6 |     6 | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |     3 |       | 1 2 3 | 1 2 3 |       | 1 2   | 1 2 3 | 1 2 3 |
D | 4 5 6 |       |       | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 |       | 7     | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2   | 1 2 3 |   2   |
E |       | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 |       |
  |   8   | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1     |       | 1 2 3 |
F | 4 5 6 | 4 5 6 | 4 5 6 |     6 | 4 5 6 | 4 5 6 |       |       | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |     9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |   2   | 1 2 3 |       | 1 2 3 | 1 2   | 1 2   |       |
G | 4 5 6 | 4 5 6 |       |   5 6 |       |   5 6 | 4 5 6 | 4 5 6 |       |
  | 7 8 9 | 7 8 9 |       | 7 8 9 |     9 | 7 8 9 | 7 8 9 | 7 8 9 | 7     |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2   | 1 2   | 1 2   |
H | 4 5 6 |       | 4 5 6 |   5 6 |   5 6 |   5   | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 | 7     | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2   | 1 2   |       | 1 2   | 1 2   |     3 | 1 2   | 1 2   |
I |     6 | 4 5 6 | 4 5 6 | 4     |   5 6 |   5 6 |       | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+

...Looking for slaves...
(There is something in IM) will enslave (There is a 4 in box 8)
...stopped looking for slaves...
67 Deductions found:
1. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in column M)}.
  Therefore, we know that none of
    {4CM or 4DM or 4EM}
  are true.
2. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in row I)}.
  Therefore, we know that none of
    {4IK or 4IL or 4IQ or 4IR}
  are true.
3. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in box 7)}.
  Therefore, we know that none of
    {6GJ or 6GK or 6HJ or 6HL or 6IK or 6IL}
  are true.
4. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in column J)}.
  Therefore, we know that none of
    {6AJ or 6BJ or 6DJ or 6FJ or 6GJ or 6HJ}
  are true.
5. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in row I)}.
  Therefore, we know that none of
    {6IK or 6IL or 6IN or 6IO or 6IQ or 6IR}
  are true.
6. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in box 8)}.
  Therefore, we know that none of
    {5GM or 5GO or 5HM or 5HN or 5IN or 5IO}
  are true.
7. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in column O)}.
  Therefore, we know that none of
    {5BO or 5CO or 5EO or 5FO or 5GO or 5IO}
  are true.
8. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in row H)}.
  Therefore, we know that none of
    {5HJ or 5HL or 5HM or 5HN or 5HP or 5HQ or 5HR}
  are true.
9. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in box 7)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7HJ or 7HL or 7IK or 7IL}
  are true.
10. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in column K)}.
  Therefore, we know that none of
    {7AK or 7BK or 7CK or 7EK or 7FK or 7GK or 7IK}
  are true.
11. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in row H)}.
  Therefore, we know that none of
    {7HJ or 7HL or 7HM or 7HN or 7HP or 7HQ or 7HR}
  are true.
12. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in box 9)}.
  Therefore, we know that none of
    {7GP or 7GQ or 7HP or 7HQ or 7HR or 7IQ or 7IR}
  are true.
13. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in column R)}.
  Therefore, we know that none of
    {7BR or 7CR or 7DR or 7FR or 7HR or 7IR}
  are true.
14. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in row G)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7GM or 7GO or 7GP or 7GQ}
  are true.
15. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in box 8)}.
  Therefore, we know that none of
    {9GM or 9GO or 9HM or 9HN or 9IN or 9IO}
  are true.
16. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in column N)}.
  Therefore, we know that none of
    {9AN or 9BN or 9DN or 9EN or 9FN or 9HN or 9IN}
  are true.
17. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in row G)}.
  Therefore, we know that none of
    {9GJ or 9GK or 9GM or 9GO or 9GP or 9GQ}
  are true.
18. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in box 7)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2HJ or 2HL or 2IK or 2IL}
  are true.
19. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in column L)}.
  Therefore, we know that none of
    {2BL or 2CL or 2EL or 2FL or 2HL or 2IL}
  are true.
20. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in row G)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2GM or 2GO or 2GP or 2GQ}
  are true.
21. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in box 6)}.
  Therefore, we know that none of
    {9DP or 9DQ or 9DR or 9EP or 9EQ or 9FR}
  are true.
22. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in column Q)}.
  Therefore, we know that none of
    {9AQ or 9CQ or 9DQ or 9EQ or 9GQ or 9HQ or 9IQ}
  are true.
23. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in row F)}.
  Therefore, we know that none of
    {9FJ or 9FK or 9FL or 9FN or 9FO or 9FR}
  are true.
24. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in box 6)}.
  Therefore, we know that none of
    {1DP or 1DQ or 1DR or 1EP or 1EQ or 1FR}
  are true.
25. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in column P)}.
  Therefore, we know that none of
    {1AP or 1BP or 1DP or 1EP or 1GP or 1HP}
  are true.
26. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in row F)}.
  Therefore, we know that none of
    {1FJ or 1FK or 1FL or 1FN or 1FO or 1FR}
  are true.
27. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in box 5)}.
  Therefore, we know that none of
    {6DM or 6DN or 6EM or 6EN or 6EO or 6FN or 6FO}
  are true.
28. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in column M)}.
  Therefore, we know that none of
    {6AM or 6CM or 6DM or 6EM or 6GM or 6HM}
  are true.
29. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in row F)}.
  Therefore, we know that none of
    {6FJ or 6FK or 6FL or 6FN or 6FO or 6FR}
  are true.
30. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in box 6)}.
  Therefore, we know that none of
    {2DP or 2DQ or 2DR or 2EP or 2EQ or 2FR}
  are true.
31. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in column R)}.
  Therefore, we know that none of
    {2BR or 2CR or 2DR or 2FR or 2HR or 2IR}
  are true.
32. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in row E)}.
  Therefore, we know that none of
    {2EK or 2EL or 2EM or 2EN or 2EO or 2EP or 2EQ}
  are true.
33. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in box 4)}.
  Therefore, we know that none of
    {8DJ or 8EK or 8EL or 8FJ or 8FK or 8FL}
  are true.
34. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in column J)}.
  Therefore, we know that none of
    {8AJ or 8BJ or 8DJ or 8FJ or 8GJ or 8HJ}
  are true.
35. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in row E)}.
  Therefore, we know that none of
    {8EK or 8EL or 8EM or 8EN or 8EO or 8EP or 8EQ}
  are true.
36. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in box 5)}.
  Therefore, we know that none of
    {8DM or 8DN or 8EM or 8EN or 8EO or 8FN or 8FO}
  are true.
37. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in column O)}.
  Therefore, we know that none of
    {8BO or 8CO or 8EO or 8FO or 8GO or 8IO}
  are true.
38. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in row D)}.
  Therefore, we know that none of
    {8DJ or 8DM or 8DN or 8DP or 8DQ or 8DR}
  are true.
39. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in box 4)}.
  Therefore, we know that none of
    {7DJ or 7EK or 7EL or 7FJ or 7FK or 7FL}
  are true.
40. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in column L)}.
  Therefore, we know that none of
    {7BL or 7CL or 7EL or 7FL or 7HL or 7IL}
  are true.
41. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in row D)}.
  Therefore, we know that none of
    {7DJ or 7DM or 7DN or 7DP or 7DQ or 7DR}
  are true.
42. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in box 4)}.
  Therefore, we know that none of
    {3DJ or 3EK or 3EL or 3FJ or 3FK or 3FL}
  are true.
43. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in column K)}.
  Therefore, we know that none of
    {3AK or 3BK or 3CK or 3EK or 3FK or 3GK}
  are true.
44. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in row D)}.
  Therefore, we know that none of
    {3DJ or 3DM or 3DN or 3DQ or 3DR}
  are true.
45. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in box 3)}.
  Therefore, we know that none of
    {6AP or 6AQ or 6BP or 6BR or 6CQ or 6CR}
  are true.
46. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in column P)}.
  Therefore, we know that none of
    {6AP or 6BP or 6DP or 6EP or 6GP or 6HP}
  are true.
47. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in row C)}.
  Therefore, we know that none of
    {6CK or 6CL or 6CM or 6CO or 6CQ or 6CR}
  are true.
48. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in box 2)}.
  Therefore, we know that none of
    {5AM or 5AN or 5BN or 5BO or 5CM or 5CO}
  are true.
49. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in column N)}.
  Therefore, we know that none of
    {5AN or 5BN or 5DN or 5EN or 5FN or 5HN or 5IN}
  are true.
50. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in row C)}.
  Therefore, we know that none of
    {5CK or 5CL or 5CM or 5CO or 5CQ or 5CR}
  are true.
51. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in box 1)}.
  Therefore, we know that none of
    {1AJ or 1AK or 1BJ or 1BK or 1BL or 1CK or 1CL}
  are true.
52. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in column J)}.
  Therefore, we know that none of
    {1AJ or 1BJ or 1DJ or 1FJ or 1GJ or 1HJ}
  are true.
53. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in row C)}.
  Therefore, we know that none of
    {1CK or 1CL or 1CM or 1CO or 1CQ or 1CR}
  are true.
54. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in box 3)}.
  Therefore, we know that none of
    {4BP or 4BR or 4CQ or 4CR}
  are true.
55. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in column Q)}.
  Therefore, we know that none of
    {4CQ or 4DQ or 4EQ or 4GQ or 4HQ or 4IQ}
  are true.
56. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in row B)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4BN or 4BO or 4BP or 4BR}
  are true.
57. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in box 2)}.
  Therefore, we know that none of
    {8AM or 8AN or 8BN or 8BO or 8CM or 8CO}
  are true.
58. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in column M)}.
  Therefore, we know that none of
    {8AM or 8CM or 8DM or 8EM or 8GM or 8HM}
  are true.
59. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in row B)}.
  Therefore, we know that none of
    {8BJ or 8BK or 8BL or 8BN or 8BO or 8BP or 8BR}
  are true.
60. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in box 3)}.
  Therefore, we know that none of
    {5AP or 5AQ or 5BP or 5BR or 5CQ or 5CR}
  are true.
61. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in column R)}.
  Therefore, we know that none of
    {5BR or 5CR or 5DR or 5FR or 5HR or 5IR}
  are true.
62. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in row A)}.
  Therefore, we know that none of
    {5AJ or 5AK or 5AM or 5AN or 5AP or 5AQ}
  are true.
63. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in box 2)}.
  Therefore, we know that none of
    {2AM or 2AN or 2BN or 2BO or 2CM or 2CO}
  are true.
64. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in column O)}.
  Therefore, we know that none of
    {2BO or 2CO or 2EO or 2FO or 2GO or 2IO}
  are true.
65. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in row A)}.
  Therefore, we know that none of
    {2AJ or 2AK or 2AM or 2AN or 2AP or 2AQ}
  are true.
66. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in box 1)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4CK or 4CL}
  are true.
67. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in column L)}.
  Therefore, we know that none of
    {4BL or 4CL or 4EL or 4FL or 4HL or 4IL}
  are true.
Choosing the first deduction to implement...
      J       K       L       M       N       O       P       Q       R
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |   2   | 1 2   | 1 2 3 |       |
A |   5 6 |   5 6 | 4     |   5 6 |   5 6 |       |   5 6 |   5 6 |   5   |
  | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2   |       | 1 2 3 |
B | 4 5 6 | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1     | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |       | 1 2 3 | 1 2 3 |
C |       | 4 5 6 | 4 5 6 |   5 6 |   5   | 4 5 6 |     6 | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |     3 |       | 1 2 3 | 1 2 3 |       | 1 2   | 1 2 3 | 1 2 3 |
D | 4 5 6 |       |       |   5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 |       | 7     | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2 3 | 1 2   | 1 2 3 |   2   |
E |       | 4 5 6 | 4 5 6 |   5 6 | 4 5 6 | 4 5 6 | 4 5 6 | 4 5 6 |       |
  |   8   | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1     |       | 1 2 3 |
F | 4 5 6 | 4 5 6 | 4 5 6 |     6 | 4 5 6 | 4 5 6 |       |       | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |     9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |   2   | 1 2 3 |       | 1 2 3 | 1 2   | 1 2   |       |
G | 4 5 6 | 4 5 6 |       |   5 6 |       |   5 6 | 4 5 6 | 4 5 6 |       |
  | 7 8 9 | 7 8 9 |       | 7 8 9 |     9 | 7 8 9 | 7 8 9 | 7 8 9 | 7     |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2   | 1 2   | 1 2   |
H | 4 5 6 |       | 4 5 6 |   5 6 |   5 6 |   5   | 4 5 6 | 4 5 6 | 4 5 6 |
  | 7 8 9 | 7     | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  |       | 1 2   | 1 2   |       | 1 2   | 1 2   |     3 | 1 2   | 1 2   |
I |     6 | 4 5 6 | 4 5 6 | 4     |   5 6 |   5 6 |       | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+

...Looking for slaves...
(There is something in IM) will enslave (There is a 4 in column M)
...stopped looking for slaves...
66 Deductions found:
1. Since {(There is something in IM)} we know
    1 of {4IM} are true.
  But those are a subset of
    {(There is a 4 in row I)}.
  Therefore, we know that none of
    {4IK or 4IL or 4IQ or 4IR}
  are true.
2. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in box 7)}.
  Therefore, we know that none of
    {6GJ or 6GK or 6HJ or 6HL or 6IK or 6IL}
  are true.
3. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in column J)}.
  Therefore, we know that none of
    {6AJ or 6BJ or 6DJ or 6FJ or 6GJ or 6HJ}
  are true.
4. Since {(There is something in IJ)} we know
    1 of {6IJ} are true.
  But those are a subset of
    {(There is a 6 in row I)}.
  Therefore, we know that none of
    {6IK or 6IL or 6IN or 6IO or 6IQ or 6IR}
  are true.
5. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in box 8)}.
  Therefore, we know that none of
    {5GM or 5GO or 5HM or 5HN or 5IN or 5IO}
  are true.
6. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in column O)}.
  Therefore, we know that none of
    {5BO or 5CO or 5EO or 5FO or 5GO or 5IO}
  are true.
7. Since {(There is something in HO)} we know
    1 of {5HO} are true.
  But those are a subset of
    {(There is a 5 in row H)}.
  Therefore, we know that none of
    {5HJ or 5HL or 5HM or 5HN or 5HP or 5HQ or 5HR}
  are true.
8. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in box 7)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7HJ or 7HL or 7IK or 7IL}
  are true.
9. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in column K)}.
  Therefore, we know that none of
    {7AK or 7BK or 7CK or 7EK or 7FK or 7GK or 7IK}
  are true.
10. Since {(There is something in HK)} we know
    1 of {7HK} are true.
  But those are a subset of
    {(There is a 7 in row H)}.
  Therefore, we know that none of
    {7HJ or 7HL or 7HM or 7HN or 7HP or 7HQ or 7HR}
  are true.
11. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in box 9)}.
  Therefore, we know that none of
    {7GP or 7GQ or 7HP or 7HQ or 7HR or 7IQ or 7IR}
  are true.
12. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in column R)}.
  Therefore, we know that none of
    {7BR or 7CR or 7DR or 7FR or 7HR or 7IR}
  are true.
13. Since {(There is something in GR)} we know
    1 of {7GR} are true.
  But those are a subset of
    {(There is a 7 in row G)}.
  Therefore, we know that none of
    {7GJ or 7GK or 7GM or 7GO or 7GP or 7GQ}
  are true.
14. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in box 8)}.
  Therefore, we know that none of
    {9GM or 9GO or 9HM or 9HN or 9IN or 9IO}
  are true.
15. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in column N)}.
  Therefore, we know that none of
    {9AN or 9BN or 9DN or 9EN or 9FN or 9HN or 9IN}
  are true.
16. Since {(There is something in GN)} we know
    1 of {9GN} are true.
  But those are a subset of
    {(There is a 9 in row G)}.
  Therefore, we know that none of
    {9GJ or 9GK or 9GM or 9GO or 9GP or 9GQ}
  are true.
17. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in box 7)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2HJ or 2HL or 2IK or 2IL}
  are true.
18. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in column L)}.
  Therefore, we know that none of
    {2BL or 2CL or 2EL or 2FL or 2HL or 2IL}
  are true.
19. Since {(There is something in GL)} we know
    1 of {2GL} are true.
  But those are a subset of
    {(There is a 2 in row G)}.
  Therefore, we know that none of
    {2GJ or 2GK or 2GM or 2GO or 2GP or 2GQ}
  are true.
20. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in box 6)}.
  Therefore, we know that none of
    {9DP or 9DQ or 9DR or 9EP or 9EQ or 9FR}
  are true.
21. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in column Q)}.
  Therefore, we know that none of
    {9AQ or 9CQ or 9DQ or 9EQ or 9GQ or 9HQ or 9IQ}
  are true.
22. Since {(There is something in FQ)} we know
    1 of {9FQ} are true.
  But those are a subset of
    {(There is a 9 in row F)}.
  Therefore, we know that none of
    {9FJ or 9FK or 9FL or 9FN or 9FO or 9FR}
  are true.
23. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in box 6)}.
  Therefore, we know that none of
    {1DP or 1DQ or 1DR or 1EP or 1EQ or 1FR}
  are true.
24. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in column P)}.
  Therefore, we know that none of
    {1AP or 1BP or 1DP or 1EP or 1GP or 1HP}
  are true.
25. Since {(There is something in FP)} we know
    1 of {1FP} are true.
  But those are a subset of
    {(There is a 1 in row F)}.
  Therefore, we know that none of
    {1FJ or 1FK or 1FL or 1FN or 1FO or 1FR}
  are true.
26. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in box 5)}.
  Therefore, we know that none of
    {6DM or 6DN or 6EM or 6EN or 6EO or 6FN or 6FO}
  are true.
27. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in column M)}.
  Therefore, we know that none of
    {6AM or 6CM or 6DM or 6EM or 6GM or 6HM}
  are true.
28. Since {(There is something in FM)} we know
    1 of {6FM} are true.
  But those are a subset of
    {(There is a 6 in row F)}.
  Therefore, we know that none of
    {6FJ or 6FK or 6FL or 6FN or 6FO or 6FR}
  are true.
29. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in box 6)}.
  Therefore, we know that none of
    {2DP or 2DQ or 2DR or 2EP or 2EQ or 2FR}
  are true.
30. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in column R)}.
  Therefore, we know that none of
    {2BR or 2CR or 2DR or 2FR or 2HR or 2IR}
  are true.
31. Since {(There is something in ER)} we know
    1 of {2ER} are true.
  But those are a subset of
    {(There is a 2 in row E)}.
  Therefore, we know that none of
    {2EK or 2EL or 2EM or 2EN or 2EO or 2EP or 2EQ}
  are true.
32. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in box 4)}.
  Therefore, we know that none of
    {8DJ or 8EK or 8EL or 8FJ or 8FK or 8FL}
  are true.
33. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in column J)}.
  Therefore, we know that none of
    {8AJ or 8BJ or 8DJ or 8FJ or 8GJ or 8HJ}
  are true.
34. Since {(There is something in EJ)} we know
    1 of {8EJ} are true.
  But those are a subset of
    {(There is a 8 in row E)}.
  Therefore, we know that none of
    {8EK or 8EL or 8EM or 8EN or 8EO or 8EP or 8EQ}
  are true.
35. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in box 5)}.
  Therefore, we know that none of
    {8DM or 8DN or 8EM or 8EN or 8EO or 8FN or 8FO}
  are true.
36. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in column O)}.
  Therefore, we know that none of
    {8BO or 8CO or 8EO or 8FO or 8GO or 8IO}
  are true.
37. Since {(There is something in DO)} we know
    1 of {8DO} are true.
  But those are a subset of
    {(There is a 8 in row D)}.
  Therefore, we know that none of
    {8DJ or 8DM or 8DN or 8DP or 8DQ or 8DR}
  are true.
38. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in box 4)}.
  Therefore, we know that none of
    {7DJ or 7EK or 7EL or 7FJ or 7FK or 7FL}
  are true.
39. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in column L)}.
  Therefore, we know that none of
    {7BL or 7CL or 7EL or 7FL or 7HL or 7IL}
  are true.
40. Since {(There is something in DL)} we know
    1 of {7DL} are true.
  But those are a subset of
    {(There is a 7 in row D)}.
  Therefore, we know that none of
    {7DJ or 7DM or 7DN or 7DP or 7DQ or 7DR}
  are true.
41. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in box 4)}.
  Therefore, we know that none of
    {3DJ or 3EK or 3EL or 3FJ or 3FK or 3FL}
  are true.
42. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in column K)}.
  Therefore, we know that none of
    {3AK or 3BK or 3CK or 3EK or 3FK or 3GK}
  are true.
43. Since {(There is something in DK)} we know
    1 of {3DK} are true.
  But those are a subset of
    {(There is a 3 in row D)}.
  Therefore, we know that none of
    {3DJ or 3DM or 3DN or 3DQ or 3DR}
  are true.
44. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in box 3)}.
  Therefore, we know that none of
    {6AP or 6AQ or 6BP or 6BR or 6CQ or 6CR}
  are true.
45. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in column P)}.
  Therefore, we know that none of
    {6AP or 6BP or 6DP or 6EP or 6GP or 6HP}
  are true.
46. Since {(There is something in CP)} we know
    1 of {6CP} are true.
  But those are a subset of
    {(There is a 6 in row C)}.
  Therefore, we know that none of
    {6CK or 6CL or 6CM or 6CO or 6CQ or 6CR}
  are true.
47. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in box 2)}.
  Therefore, we know that none of
    {5AM or 5AN or 5BN or 5BO or 5CM or 5CO}
  are true.
48. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in column N)}.
  Therefore, we know that none of
    {5AN or 5BN or 5DN or 5EN or 5FN or 5HN or 5IN}
  are true.
49. Since {(There is something in CN)} we know
    1 of {5CN} are true.
  But those are a subset of
    {(There is a 5 in row C)}.
  Therefore, we know that none of
    {5CK or 5CL or 5CM or 5CO or 5CQ or 5CR}
  are true.
50. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in box 1)}.
  Therefore, we know that none of
    {1AJ or 1AK or 1BJ or 1BK or 1BL or 1CK or 1CL}
  are true.
51. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in column J)}.
  Therefore, we know that none of
    {1AJ or 1BJ or 1DJ or 1FJ or 1GJ or 1HJ}
  are true.
52. Since {(There is something in CJ)} we know
    1 of {1CJ} are true.
  But those are a subset of
    {(There is a 1 in row C)}.
  Therefore, we know that none of
    {1CK or 1CL or 1CM or 1CO or 1CQ or 1CR}
  are true.
53. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in box 3)}.
  Therefore, we know that none of
    {4BP or 4BR or 4CQ or 4CR}
  are true.
54. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in column Q)}.
  Therefore, we know that none of
    {4CQ or 4DQ or 4EQ or 4GQ or 4HQ or 4IQ}
  are true.
55. Since {(There is something in BQ)} we know
    1 of {4BQ} are true.
  But those are a subset of
    {(There is a 4 in row B)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4BN or 4BO or 4BP or 4BR}
  are true.
56. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in box 2)}.
  Therefore, we know that none of
    {8AM or 8AN or 8BN or 8BO or 8CM or 8CO}
  are true.
57. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in column M)}.
  Therefore, we know that none of
    {8AM or 8CM or 8DM or 8EM or 8GM or 8HM}
  are true.
58. Since {(There is something in BM)} we know
    1 of {8BM} are true.
  But those are a subset of
    {(There is a 8 in row B)}.
  Therefore, we know that none of
    {8BJ or 8BK or 8BL or 8BN or 8BO or 8BP or 8BR}
  are true.
59. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in box 3)}.
  Therefore, we know that none of
    {5AP or 5AQ or 5BP or 5BR or 5CQ or 5CR}
  are true.
60. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in column R)}.
  Therefore, we know that none of
    {5BR or 5CR or 5DR or 5FR or 5HR or 5IR}
  are true.
61. Since {(There is something in AR)} we know
    1 of {5AR} are true.
  But those are a subset of
    {(There is a 5 in row A)}.
  Therefore, we know that none of
    {5AJ or 5AK or 5AM or 5AN or 5AP or 5AQ}
  are true.
62. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in box 2)}.
  Therefore, we know that none of
    {2AM or 2AN or 2BN or 2BO or 2CM or 2CO}
  are true.
63. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in column O)}.
  Therefore, we know that none of
    {2BO or 2CO or 2EO or 2FO or 2GO or 2IO}
  are true.
64. Since {(There is something in AO)} we know
    1 of {2AO} are true.
  But those are a subset of
    {(There is a 2 in row A)}.
  Therefore, we know that none of
    {2AJ or 2AK or 2AM or 2AN or 2AP or 2AQ}
  are true.
65. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in box 1)}.
  Therefore, we know that none of
    {4BJ or 4BK or 4BL or 4CK or 4CL}
  are true.
66. Since {(There is something in AL)} we know
    1 of {4AL} are true.
  But those are a subset of
    {(There is a 4 in column L)}.
  Therefore, we know that none of
    {4BL or 4CL or 4EL or 4FL or 4HL or 4IL}
  are true.
Choosing the first deduction to implement...
      J       K       L       M       N       O       P       Q       R
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 |   2   | 1 2   | 1 2 3 |       |
A |   5 6 |   5 6 | 4     |   5 6 |   5 6 |       |   5 6 |   5 6 |   5   |
  | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       | 7 8 9 | 7 8 9 |       |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 | 1 2 3 | 1 2   |       | 1 2 3 |
B | 4 5 6 | 4 5 6 | 4 5 6 |       | 4 5 6 | 4 5 6 | 4 5 6 | 4     | 4 5 6 |
  | 7 8 9 | 7 8 9 | 7 8 9 |   8   | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1     | 1 2 3 | 1 2 3 | 1 2 3 |       | 1 2 3 |       | 1 2 3 | 1 2 3 |
C |       | 4 5 6 | 4 5 6 |   5 6 |   5   | 4 5 6 |     6 | 4 5 6 | 4 5 6 |
  |       | 7 8 9 | 7 8 9 | 7 8 9 |       | 7 8 9 |       | 7 8 9 | 7 8 9 |
  +-------+-------+-------+-------+-------+-------+-------+-------+-------+
  | 1 2 3 |     3 |       | 1 2 3 | 1 2 3 |       | 1 2   | 1 2 3 | 1 2 3 |
D | 4 5 6 |       |       |   5