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