wgoodall01/shikaku

      0  1  2  3  4

 0   03  3  3 02  2
 1   05  5  5  5  5
 2   02  2 03  6 06
 3    4  4  3  6  6
 4    4 04  3  6  6

[0,0]: Given(3) Final([0,0]-[3,1]@[0,0])
[1,0]: Final([0,0]-[3,1]@[0,0])
[2,0]: Final([0,0]-[3,1]@[0,0])
[3,0]: Given(2) Final([3,0]-[5,1]@[3,0])
[4,0]: Final([3,0]-[5,1]@[3,0])
[0,1]: Given(5) Final([0,1]-[5,2]@[0,1])
[1,1]: Final([0,1]-[5,2]@[0,1])
[2,1]: Final([0,1]-[5,2]@[0,1])
[3,1]: Final([0,1]-[5,2]@[0,1])
[4,1]: Final([0,1]-[5,2]@[0,1])
[0,2]: Given(2) Final([0,2]-[2,3]@[0,2])
[1,2]: Final([0,2]-[2,3]@[0,2])
[2,2]: Given(3) Final([2,2]-[3,5]@[2,2])
[3,2]: Final([3,2]-[5,5]@[4,2])
[4,2]: Given(6) Final([3,2]-[5,5]@[4,2])
[0,3]: Final([0,3]-[2,5]@[1,4])
[1,3]: Final([0,3]-[2,5]@[1,4])
[2,3]: Final([2,2]-[3,5]@[2,2])
[3,3]: Final([3,2]-[5,5]@[4,2])
[4,3]: Final([3,2]-[5,5]@[4,2])
[0,4]: Final([0,3]-[2,5]@[1,4])
[1,4]: Given(4) Final([0,3]-[2,5]@[1,4])
[2,4]: Final([2,2]-[3,5]@[2,2])
[3,4]: Final([3,2]-[5,5]@[4,2])
[4,4]: Final([3,2]-[5,5]@[4,2])