add([5],[2],1,[0,8]).
add([5],[6],0,[1,1]).
add([2],[0],1,[0,3]).
add([5],[3],1,[0,9]).
add([4],[8],1,[1,3]).
add([1],[2],1,[0,4]).
add([8],[4],1,[1,3]).
add([2],[0],0,[0,2]).
add([2],[4],1,[0,7]).
add([1],[3],0,[0,4]).
add([5],[3],1,[0,9]).
add([0],[3],0,[0,3]).
add([8],[0],0,[0,8]).
add([9],[9],0,[1,8]).
add([1],[1],0,[0,2]).
add([0],[5],0,[0,5]).
add([1],[1],1,[0,3]).
add([7],[7],0,[1,4]).
add([9],[5],1,[1,5]).
add([4],[5],1,[1,0]).
add([3],[3],0,[0,6]).
add([6],[2],1,[0,9]).
add([6],[6],1,[1,3]).
add([4],[7],0,[1,1]).
add([5],[3],0,[0,8]).
add([0],[6],0,[0,6]).
add([6],[8],1,[1,5]).
add([3],[4],1,[0,8]).
add([1],[0],0,[0,1]).
add([9],[3],1,[1,3]).
add([7],[6],0,[1,3]).
add([1],[4],0,[0,5]).
add([0],[2],1,[0,3]).
add([9],[0],1,[1,0]).
add([8],[1],0,[0,9]).
add([3],[5],0,[0,8]).
add([3],[2],0,[0,5]).
add([9],[2],0,[1,1]).
add([6],[5],0,[1,1]).
add([0],[5],1,[0,6]).
add([6],[2],0,[0,8]).
add([3],[7],0,[1,0]).
add([9],[4],0,[1,3]).
add([9],[7],0,[1,6]).
add([2],[2],0,[0,4]).
add([8],[0],0,[0,8]).
add([4],[0],0,[0,4]).
add([6],[8],1,[1,5]).
add([8],[2],0,[1,0]).
add([7],[2],0,[0,9]).
add([7],[7],0,[1,4]).
add([3],[6],0,[0,9]).
add([2],[9],0,[1,1]).
add([2],[1],1,[0,4]).
add([4],[8],1,[1,3]).
add([3],[9],1,[1,3]).
add([6],[7],0,[1,3]).
add([3],[7],0,[1,0]).
add([5],[1],1,[0,7]).
add([5],[6],0,[1,1]).
add([0],[6],0,[0,6]).
add([2],[3],0,[0,5]).
add([8],[1],1,[1,0]).
add([8],[2],0,[1,0]).
add([8],[0],1,[0,9]).
add([4],[6],0,[1,0]).
add([5],[5],0,[1,0]).
add([5],[6],0,[1,1]).
add([8],[7],0,[1,5]).
add([3],[8],1,[1,2]).
add([4],[6],1,[1,1]).
add([2],[6],0,[0,8]).
add([2],[1],0,[0,3]).
add([9],[0],0,[0,9]).
add([3],[8],0,[1,1]).
add([9],[9],0,[1,8]).
add([2],[3],1,[0,6]).
add([6],[1],1,[0,8]).
add([2],[1],0,[0,3]).
add([3],[6],1,[1,0]).
add([4],[1],1,[0,6]).
add([3],[8],0,[1,1]).
add([4],[8],1,[1,3]).
add([8],[1],1,[1,0]).
add([7],[0],1,[0,8]).
add([1],[8],0,[0,9]).
add([5],[1],0,[0,6]).
add([4],[3],1,[0,8]).
add([8],[7],0,[1,5]).
add([3],[9],0,[1,2]).
add([7],[4],1,[1,2]).
add([1],[6],1,[0,8]).
add([0],[9],0,[0,9]).
add([1],[7],0,[0,8]).
add([7],[9],0,[1,6]).
add([3],[7],1,[1,1]).
add([0],[8],1,[0,9]).
add([7],[9],0,[1,6]).
add([5],[4],1,[1,0]).
add([5],[2],0,[0,7]).
add([9],[6],1,[1,6]).
add([9],[3],1,[1,3]).
add([9],[5],0,[1,4]).
add([4],[4],0,[0,8]).
add([5],[1],1,[0,7]).
add([6],[0],1,[0,7]).
add([3],[9],1,[1,3]).
add([5],[5],1,[1,1]).
add([3],[6],0,[0,9]).
add([7],[6],1,[1,4]).
add([7],[4],0,[1,1]).
add([4],[0],0,[0,4]).
add([8],[5],0,[1,3]).
add([9],[1],0,[1,0]).
add([6],[2],1,[0,9]).
add([3],[0],1,[0,4]).
add([2],[2],1,[0,5]).
add([1],[9],0,[1,0]).
add([7],[8],1,[1,6]).
add([4],[8],1,[1,3]).
add([0],[4],0,[0,4]).
add([2],[5],1,[0,8]).
add([5],[9],0,[1,4]).
add([5],[3],1,[0,9]).
add([5],[0],0,[0,5]).
add([1],[9],1,[1,1]).
add([9],[3],0,[1,2]).
add([3],[3],0,[0,6]).
add([0],[4],1,[0,5]).
add([7],[6],1,[1,4]).
add([1],[8],1,[1,0]).
add([6],[7],1,[1,4]).
add([0],[8],0,[0,8]).
add([7],[4],1,[1,2]).
add([5],[6],1,[1,2]).
add([1],[6],0,[0,7]).
add([3],[0],1,[0,4]).
add([8],[6],1,[1,5]).
add([6],[5],1,[1,2]).
add([6],[2],0,[0,8]).
add([7],[1],0,[0,8]).
add([0],[3],0,[0,3]).
add([0],[4],0,[0,4]).
add([7],[9],0,[1,6]).
add([2],[7],1,[1,0]).
add([3],[8],0,[1,1]).
add([6],[8],1,[1,5]).
add([9],[4],1,[1,4]).
add([5],[2],0,[0,7]).
add([1],[7],1,[0,9]).
add([5],[0],0,[0,5]).
add([9],[4],0,[1,3]).
add([6],[1],1,[0,8]).
add([7],[5],0,[1,2]).
add([0],[3],0,[0,3]).
add([3],[5],0,[0,8]).
add([8],[4],0,[1,2]).
add([5],[7],0,[1,2]).
add([2],[2],1,[0,5]).
add([0],[1],1,[0,2]).
add([1],[6],0,[0,7]).
add([5],[7],0,[1,2]).
add([2],[7],0,[0,9]).
add([4],[9],1,[1,4]).
add([0],[3],0,[0,3]).
add([0],[1],0,[0,1]).
add([5],[0],1,[0,6]).
add([5],[6],0,[1,1]).
add([5],[8],0,[1,3]).
add([2],[9],0,[1,1]).
add([4],[1],1,[0,6]).
add([9],[4],1,[1,4]).
add([2],[2],0,[0,4]).
add([6],[7],1,[1,4]).
add([0],[1],0,[0,1]).
add([5],[7],1,[1,3]).
add([4],[6],1,[1,1]).
add([1],[1],0,[0,2]).
add([5],[3],0,[0,8]).
add([8],[4],1,[1,3]).
add([8],[7],1,[1,6]).
add([2],[9],0,[1,1]).
add([8],[6],1,[1,5]).
add([9],[0],0,[0,9]).
add([1],[0],1,[0,2]).
add([8],[9],1,[1,8]).
add([0],[4],1,[0,5]).
add([5],[9],0,[1,4]).
add([4],[1],0,[0,5]).
add([1],[9],1,[1,1]).
add([3],[8],1,[1,2]).
add([2],[7],1,[1,0]).
add([0],[0],0,[0,0]).
add([6],[0],1,[0,7]).
add([7],[5],0,[1,2]).
add([3],[0],1,[0,4]).
add([1],[7],1,[0,9]).
add([4],[7],1,[1,2]).
add([1],[5],0,[0,6]).
add([7],[0],1,[0,8]).
add([3],[4],0,[0,7]).
add([1],[8],1,[1,0]).
add([2],[0],1,[0,3]).
add([5],[4],0,[0,9]).
add([1],[6],1,[0,8]).
add([8],[2],0,[1,0]).
add([9],[1],0,[1,0]).
add([4],[2],1,[0,7]).
add([0],[5],0,[0,5]).
add([4],[5],1,[1,0]).
add([0],[8],1,[0,9]).
add([6],[8],0,[1,4]).
add([3],[2],0,[0,5]).
add([0],[1],0,[0,1]).
add([5],[5],0,[1,0]).
add([8],[4],0,[1,2]).
add([6],[3],1,[1,0]).
add([9],[4],1,[1,4]).
add([8],[3],1,[1,2]).
add([4],[7],0,[1,1]).
add([8],[5],0,[1,3]).
add([4],[5],0,[0,9]).
add([9],[0],1,[1,0]).
add([6],[9],0,[1,5]).
add([2],[6],0,[0,8]).
add([9],[1],1,[1,1]).
add([3],[1],1,[0,5]).
add([4],[1],1,[0,6]).
add([0],[6],1,[0,7]).
add([7],[2],0,[0,9]).
add([3],[6],0,[0,9]).
add([3],[0],0,[0,3]).
add([7],[6],1,[1,4]).
add([5],[0],0,[0,5]).
add([1],[3],0,[0,4]).
add([4],[2],1,[0,7]).
add([8],[1],0,[0,9]).
add([7],[1],1,[0,9]).
add([0],[5],0,[0,5]).
add([8],[5],1,[1,4]).
add([9],[6],0,[1,5]).
add([6],[6],0,[1,2]).
add([5],[4],0,[0,9]).
add([9],[2],0,[1,1]).
add([4],[0],1,[0,5]).
add([4],[8],1,[1,3]).
add([1],[1],0,[0,2]).
add([8],[5],1,[1,4]).
add([0],[7],0,[0,7]).
add([6],[5],0,[1,1]).
add([4],[2],1,[0,7]).
add([8],[3],0,[1,1]).
add([1],[2],0,[0,3]).
add([8],[9],1,[1,8]).
add([7],[3],0,[1,0]).
add([3],[3],0,[0,6]).
add([5],[0],0,[0,5]).
add([0],[0],1,[0,1]).
add([7],[1],0,[0,8]).
add([3],[6],1,[1,0]).
add([3],[7],1,[1,1]).
add([7],[9],0,[1,6]).
add([2],[4],0,[0,6]).
add([2],[3],1,[0,6]).
add([2],[1],1,[0,4]).
add([2],[4],0,[0,6]).
add([3],[8],0,[1,1]).
add([7],[8],0,[1,5]).
add([7],[8],0,[1,5]).
add([5],[7],1,[1,3]).
add([8],[6],0,[1,4]).
add([4],[5],0,[0,9]).
add([4],[2],0,[0,6]).
add([6],[5],0,[1,1]).
add([6],[2],0,[0,8]).
add([6],[5],1,[1,2]).
add([9],[4],1,[1,4]).
add([5],[5],0,[1,0]).
add([5],[2],1,[0,8]).
add([5],[8],0,[1,3]).
add([7],[4],0,[1,1]).
add([0],[1],1,[0,2]).
add([4],[9],1,[1,4]).
add([6],[9],1,[1,6]).
add([3],[4],0,[0,7]).
add([4],[0],1,[0,5]).
add([2],[2],0,[0,4]).
add([3],[2],1,[0,6]).
add([8],[7],1,[1,6]).
add([7],[9],0,[1,6]).
add([1],[5],0,[0,6]).
add([3],[1],0,[0,4]).
add([8],[7],1,[1,6]).
add([6],[2],0,[0,8]).
add([6],[8],0,[1,4]).
add([0],[8],1,[0,9]).
add([6],[1],1,[0,8]).
add([3],[3],1,[0,7]).
add([0],[4],0,[0,4]).
add([8],[6],0,[1,4]).
add([2],[0],1,[0,3]).
add([6],[1],1,[0,8]).
add([2],[5],0,[0,7]).
add([3],[0],1,[0,4]).
add([5],[2],1,[0,8]).
add([9],[5],0,[1,4]).
add([6],[2],1,[0,9]).
add([6],[9],1,[1,6]).
add([8],[0],0,[0,8]).
add([3],[9],1,[1,3]).
add([8],[8],0,[1,6]).
add([9],[0],0,[0,9]).
add([4],[5],0,[0,9]).
add([8],[0],1,[0,9]).
add([7],[9],1,[1,7]).
add([5],[5],0,[1,0]).
add([0],[1],0,[0,1]).
add([4],[7],0,[1,1]).
add([9],[3],1,[1,3]).
add([7],[9],1,[1,7]).
add([2],[1],1,[0,4]).
add([5],[7],0,[1,2]).
add([1],[5],1,[0,7]).
add([9],[2],0,[1,1]).
add([2],[4],1,[0,7]).
add([7],[0],0,[0,7]).
add([8],[7],0,[1,5]).
add([1],[7],1,[0,9]).
add([5],[6],1,[1,2]).
add([5],[8],1,[1,4]).
add([0],[5],0,[0,5]).
add([7],[4],1,[1,2]).
add([6],[3],0,[0,9]).
add([4],[2],0,[0,6]).
add([5],[0],0,[0,5]).
add([5],[9],0,[1,4]).
add([7],[5],1,[1,3]).
add([4],[6],1,[1,1]).
add([8],[9],0,[1,7]).
add([3],[9],0,[1,2]).
add([8],[8],0,[1,6]).
add([9],[3],1,[1,3]).
add([2],[8],0,[1,0]).
add([7],[6],1,[1,4]).
add([3],[7],0,[1,0]).
add([9],[8],1,[1,8]).
add([0],[6],1,[0,7]).
add([0],[9],1,[1,0]).
add([0],[8],1,[0,9]).
add([2],[7],0,[0,9]).
add([2],[1],1,[0,4]).
add([3],[9],1,[1,3]).
add([0],[3],1,[0,4]).
add([0],[6],0,[0,6]).
add([3],[5],1,[0,9]).
add([4],[7],1,[1,2]).
add([5],[6],1,[1,2]).
add([3],[1],1,[0,5]).
add([4],[0],1,[0,5]).
add([7],[4],1,[1,2]).
add([5],[4],0,[0,9]).
add([3],[8],0,[1,1]).
add([9],[8],0,[1,7]).
add([2],[4],0,[0,6]).
add([7],[4],0,[1,1]).
add([5],[7],0,[1,2]).
add([7],[9],0,[1,6]).
add([6],[5],0,[1,1]).
add([0],[6],0,[0,6]).
add([0],[1],1,[0,2]).
add([5],[4],1,[1,0]).
add([2],[4],0,[0,6]).
add([5],[6],0,[1,1]).
add([6],[2],0,[0,8]).
add([5],[3],0,[0,8]).
add([7],[2],0,[0,9]).
add([6],[6],1,[1,3]).
add([1],[7],1,[0,9]).
add([0],[3],1,[0,4]).
add([0],[4],0,[0,4]).
add([7],[9],0,[1,6]).
add([8],[5],0,[1,3]).
add([1],[5],1,[0,7]).
add([5],[9],1,[1,5]).
add([1],[3],0,[0,4]).
add([8],[6],1,[1,5]).
add([9],[2],1,[1,2]).
add([0],[5],1,[0,6]).
add([1],[9],1,[1,1]).
add([3],[0],1,[0,4]).
add([2],[8],0,[1,0]).
add([0],[3],0,[0,3]).
add([5],[8],0,[1,3]).
add([3],[5],0,[0,8]).
add([6],[1],1,[0,8]).
add([9],[3],0,[1,2]).
add([6],[4],1,[1,1]).
add([9],[1],0,[1,0]).
add([8],[4],1,[1,3]).
add([6],[2],0,[0,8]).
add([1],[4],1,[0,6]).
add([7],[2],0,[0,9]).
add([9],[9],0,[1,8]).
add([7],[0],1,[0,8]).
add([1],[2],0,[0,3]).
add([9],[4],1,[1,4]).
add([2],[8],1,[1,1]).
add([5],[1],0,[0,6]).
add([5],[4],0,[0,9]).
add([8],[0],1,[0,9]).
add([2],[4],1,[0,7]).
add([1],[6],1,[0,8]).
add([4],[4],0,[0,8]).
add([0],[2],0,[0,2]).
add([8],[6],1,[1,5]).
add([3],[1],1,[0,5]).
add([8],[8],1,[1,7]).
add([5],[2],1,[0,8]).
add([0],[1],0,[0,1]).
add([6],[0],1,[0,7]).
add([6],[4],1,[1,1]).
add([5],[7],1,[1,3]).
add([9],[4],1,[1,4]).
add([6],[6],0,[1,2]).
add([8],[8],1,[1,7]).
add([8],[5],1,[1,4]).
add([1],[4],0,[0,5]).
add([5],[5],0,[1,0]).
add([4],[9],0,[1,3]).
add([4],[7],0,[1,1]).
add([8],[4],1,[1,3]).
add([3],[7],0,[1,0]).
add([2],[4],1,[0,7]).
add([2],[0],1,[0,3]).
add([1],[3],1,[0,5]).
add([6],[3],0,[0,9]).
add([9],[4],0,[1,3]).
add([7],[0],0,[0,7]).
add([8],[5],0,[1,3]).
add([7],[9],0,[1,6]).
add([5],[5],1,[1,1]).
add([7],[8],0,[1,5]).
add([3],[8],1,[1,2]).
add([6],[7],1,[1,4]).
add([4],[6],0,[1,0]).
add([3],[9],1,[1,3]).
add([6],[6],1,[1,3]).
add([9],[0],0,[0,9]).
add([0],[3],0,[0,3]).
add([1],[6],0,[0,7]).
add([9],[7],1,[1,7]).
add([4],[3],0,[0,7]).
add([6],[8],0,[1,4]).
add([0],[7],1,[0,8]).
add([4],[5],1,[1,0]).
add([9],[2],1,[1,2]).
add([2],[9],1,[1,2]).
add([1],[1],0,[0,2]).
add([9],[6],1,[1,6]).
add([6],[4],0,[1,0]).
add([4],[4],1,[0,9]).
add([8],[6],0,[1,4]).
add([1],[2],1,[0,4]).
add([3],[7],0,[1,0]).
add([6],[6],0,[1,2]).
add([2],[1],0,[0,3]).
add([1],[9],1,[1,1]).
add([9],[3],0,[1,2]).
add([0],[3],0,[0,3]).
add([3],[0],0,[0,3]).
add([3],[4],1,[0,8]).
add([7],[0],1,[0,8]).
add([6],[8],1,[1,5]).
add([0],[4],1,[0,5]).
add([6],[6],1,[1,3]).
add([0],[9],1,[1,0]).
add([6],[2],0,[0,8]).
add([7],[7],1,[1,5]).
add([1],[0],1,[0,2]).
add([9],[1],1,[1,1]).
add([6],[0],0,[0,6]).
add([1],[7],0,[0,8]).
add([6],[1],1,[0,8]).
add([9],[8],0,[1,7]).
add([6],[7],1,[1,4]).
add([3],[2],1,[0,6]).
add([0],[8],1,[0,9]).
add([6],[9],0,[1,5]).
add([5],[5],0,[1,0]).
add([7],[7],1,[1,5]).
add([4],[9],0,[1,3]).
add([4],[7],1,[1,2]).
add([9],[4],1,[1,4]).
add([4],[2],0,[0,6]).
add([2],[7],1,[1,0]).
add([3],[9],1,[1,3]).
add([0],[6],0,[0,6]).
add([3],[5],0,[0,8]).
add([9],[6],0,[1,5]).
add([0],[0],1,[0,1]).
add([6],[7],1,[1,4]).
add([8],[8],1,[1,7]).
add([1],[1],1,[0,3]).
add([9],[9],1,[1,9]).
add([4],[1],0,[0,5]).
add([6],[6],1,[1,3]).
add([3],[5],1,[0,9]).
add([2],[0],1,[0,3]).
add([3],[8],0,[1,1]).
add([1],[2],1,[0,4]).
add([7],[2],1,[1,0]).
add([8],[7],0,[1,5]).