play([1,3,2]).
play([1,4,5]).
play([1,5,4]).
play([1,6,7]).
play([1,7,6]).
play([1,8,9]).
play([1,9,8]).
play([1,10,11]).
play([1,11,10]).
play([1,13,12]).
play([2,1,3]).
play([2,3,1]).
play([2,4,6]).
play([2,6,4]).
play([2,7,5]).
play([2,8,10]).
play([2,10,8]).
play([2,11,9]).
play([2,12,14]).
play([2,13,15]).
play([2,14,12]).
play([3,1,2]).
play([3,2,1]).
play([3,4,7]).
play([3,5,6]).
play([3,6,5]).
play([3,7,4]).
play([3,8,11]).
play([3,9,10]).
play([3,13,14]).
play([3,14,13]).
play([3,15,12]).
play([4,1,5]).
play([4,2,6]).
play([4,3,7]).
play([4,5,1]).
play([4,6,2]).
play([4,7,3]).
play([4,8,12]).
play([4,11,15]).
play([4,12,8]).
play([4,13,9]).
play([4,14,10]).
play([4,15,11]).
play([5,1,4]).
play([5,2,7]).
play([5,3,6]).
play([5,4,1]).
play([5,6,3]).
play([5,7,2]).
play([5,8,13]).
play([5,10,15]).
play([5,11,14]).
play([5,12,9]).
play([5,13,8]).
play([5,14,11]).
play([5,15,10]).
play([6,2,4]).
play([6,3,5]).
play([6,4,2]).
play([6,5,3]).
play([6,8,14]).
play([6,9,15]).
play([6,10,12]).
play([6,11,13]).
play([6,12,10]).
play([6,13,11]).
play([6,14,8]).
play([6,15,9]).
play([7,1,6]).
play([7,2,5]).
play([7,3,4]).
play([7,5,2]).
play([7,9,14]).
play([7,12,11]).
play([7,13,10]).
play([7,14,9]).
play([7,15,8]).
play([8,1,9]).
play([8,3,11]).
play([8,4,12]).
play([8,5,13]).
play([8,6,14]).
play([8,7,15]).
play([8,9,1]).
play([8,10,2]).
play([8,11,3]).
play([8,12,4]).
play([8,13,5]).
play([8,14,6]).
play([8,15,7]).
play([9,1,8]).
play([9,2,11]).
play([9,3,10]).
play([9,4,13]).
play([9,5,12]).
play([9,6,15]).
play([9,8,1]).
play([9,10,3]).
play([9,11,2]).
play([9,12,5]).
play([9,14,7]).
play([10,1,11]).
play([10,2,8]).
play([10,4,14]).
play([10,5,15]).
play([10,6,12]).
play([10,8,2]).
play([10,9,3]).
play([10,11,1]).
play([10,12,6]).
play([10,13,7]).
play([10,14,4]).
play([10,15,5]).
play([11,1,10]).
play([11,2,9]).
play([11,3,8]).
play([11,4,15]).
play([11,5,14]).
play([11,6,13]).
play([11,7,12]).
play([11,8,3]).
play([11,9,2]).
play([11,10,1]).
play([11,12,7]).
play([11,13,6]).
play([11,14,5]).
play([11,15,4]).
play([12,1,13]).
play([12,2,14]).
play([12,4,8]).
play([12,5,9]).
play([12,6,10]).
play([12,7,11]).
play([12,8,4]).
play([12,9,5]).
play([12,10,6]).
play([12,13,1]).
play([12,14,2]).
play([12,15,3]).
play([13,1,12]).
play([13,4,9]).
play([13,5,8]).
play([13,6,11]).
play([13,7,10]).
play([13,8,5]).
play([13,9,4]).
play([13,10,7]).
play([13,12,1]).
play([13,15,2]).
play([14,1,15]).
play([14,2,12]).
play([14,3,13]).
play([14,5,11]).
play([14,6,8]).
play([14,7,9]).
play([14,8,6]).
play([14,9,7]).
play([14,10,4]).
play([14,11,5]).
play([14,12,2]).
play([14,13,3]).
play([14,15,1]).
play([15,1,14]).
play([15,3,12]).
play([15,4,11]).
play([15,6,9]).
play([15,7,8]).
play([15,8,7]).
play([15,10,5]).
play([15,11,4]).
play([15,13,2]).
play([15,14,1]).
play([1,4,6,3]).
play([1,7,12,10]).
play([1,8,4,13]).
play([1,10,3,8]).
play([1,10,6,13]).
play([1,11,8,2]).
play([1,14,4,11]).
play([2,1,1,2]).
play([2,2,2,2]).
play([2,2,9,9]).
play([2,2,15,15]).
play([2,4,9,15]).
play([2,5,4,3]).
play([2,5,11,12]).
play([2,7,1,4]).
play([2,8,7,13]).
play([2,12,13,3]).
play([3,2,2,3]).
play([3,2,9,8]).
play([3,4,3,4]).
play([3,4,14,9]).
play([3,5,7,1]).
play([3,6,10,15]).
play([3,7,1,5]).
play([3,9,4,14]).
play([3,14,12,1]).
play([3,15,6,10]).
play([4,2,8,14]).
play([4,3,2,5]).
play([4,5,6,7]).
play([4,5,7,6]).
play([4,6,7,5]).
play([4,7,14,13]).
play([4,10,1,15]).
play([4,13,11,2]).
play([4,14,1,11]).
play([4,14,2,8]).
play([4,14,13,7]).
play([4,15,6,13]).
play([4,15,15,4]).
play([5,1,8,12]).
play([5,2,8,15]).
play([5,3,14,8]).
play([5,7,3,1]).
play([5,8,2,15]).
play([5,9,1,13]).
play([5,10,1,14]).
play([5,12,10,3]).
play([5,13,10,2]).
play([5,14,9,2]).
play([5,14,14,5]).
play([5,15,7,13]).
play([6,2,7,3]).
play([6,2,12,8]).
play([6,2,13,9]).
play([6,2,15,11]).
play([6,3,13,8]).
play([6,4,8,10]).
play([6,4,13,15]).
play([6,6,14,14]).
play([6,7,3,2]).
play([6,9,8,7]).
play([6,10,3,15]).
play([6,10,6,10]).
play([6,11,15,2]).
play([6,12,7,13]).
play([7,1,4,2]).
play([7,1,15,9]).
play([7,3,9,13]).
play([7,4,14,13]).
play([7,5,15,13]).
play([7,6,11,10]).
play([7,6,13,12]).
play([7,7,10,10]).
play([7,8,1,14]).
play([7,9,13,3]).
play([7,10,15,2]).
play([7,13,8,2]).
play([8,1,2,11]).
play([8,2,7,13]).
play([8,2,12,6]).
play([8,4,2,14]).
play([8,4,5,9]).
play([8,5,1,12]).
play([8,6,7,9]).
play([8,8,8,8]).
play([8,8,9,9]).
play([8,9,3,2]).
play([8,9,12,13]).
play([8,10,15,13]).
play([8,12,13,9]).
play([8,12,15,11]).
play([8,13,12,9]).
play([8,14,14,8]).
play([9,2,12,7]).
play([9,5,14,2]).
play([9,11,9,11]).
play([9,14,13,10]).
play([9,14,15,8]).
play([10,1,10,1]).
play([10,1,12,7]).
play([10,3,15,6]).
play([10,4,15,1]).
play([10,11,5,4]).
play([10,12,8,14]).
play([10,13,6,1]).
play([10,13,13,10]).
play([11,1,9,3]).
play([11,2,5,12]).
play([11,5,4,10]).
play([11,5,13,3]).
play([11,7,1,13]).
play([11,7,6,10]).
play([11,7,9,5]).
play([11,9,5,7]).
play([11,12,15,8]).
play([11,13,2,4]).
play([11,13,5,3]).
play([11,13,9,15]).
play([12,1,5,8]).
play([12,2,8,6]).
play([12,3,4,11]).
play([12,4,5,13]).
play([12,4,7,15]).
play([12,5,10,3]).
play([12,5,15,6]).
play([12,6,3,9]).
play([12,7,1,10]).
play([12,7,6,13]).
play([12,7,9,2]).
play([12,9,8,13]).
play([12,11,8,15]).
play([12,15,4,7]).
play([12,15,6,5]).
play([12,15,12,15]).
play([13,1,10,6]).
play([13,1,14,2]).
play([13,6,2,9]).
play([13,8,6,3]).
play([13,10,3,4]).
play([13,10,5,2]).
play([13,11,5,3]).
play([13,11,15,9]).
play([13,12,2,3]).
play([13,12,10,11]).
play([13,13,7,7]).
play([13,14,2,1]).
play([14,2,1,13]).
play([14,2,13,1]).
play([14,3,5,8]).
play([14,3,12,1]).
play([14,4,2,8]).
play([14,7,6,15]).
play([14,7,8,1]).
play([14,7,12,5]).
play([14,9,11,12]).
play([14,10,8,12]).
play([15,5,7,13]).
play([15,6,1,8]).
play([15,7,14,6]).
play([15,8,1,6]).
play([15,10,2,7]).
play([15,11,11,15]).
play([15,11,15,11]).
play([15,14,4,5]).
play([1,2,12,1,14]).
play([1,6,6,3,2]).
play([1,7,7,14,15]).
play([1,8,12,13,8]).
play([1,9,4,11,7]).
play([1,9,14,10,12]).
play([1,11,4,6,8]).
play([1,15,4,15,5]).
play([2,1,4,6,1]).
play([2,1,12,10,5]).
play([2,2,6,12,10]).
play([2,3,3,9,11]).
play([2,3,9,2,10]).
play([2,5,13,8,2]).
play([2,6,10,11,5]).
play([2,8,3,15,6]).
play([2,8,4,7,9]).
play([2,9,5,10,4]).
play([2,9,13,3,5]).
play([2,11,9,13,13]).
play([2,13,12,10,9]).
play([2,14,2,12,2]).
play([2,14,9,15,10]).
play([3,2,3,11,9]).
play([3,2,15,5,11]).
play([3,3,1,2,3]).
play([3,5,15,4,13]).
play([3,8,4,6,9]).
play([3,9,7,8,5]).
play([3,11,2,7,13]).
play([3,14,7,6,12]).
play([3,15,10,2,4]).
play([4,1,15,3,9]).
play([4,3,5,15,13]).
play([4,3,10,9,4]).
play([4,4,12,13,1]).
play([4,9,7,6,12]).
play([4,9,14,5,6]).
play([4,12,4,2,14]).
play([4,12,9,7,6]).
play([4,13,14,8,15]).
play([4,14,1,12,7]).
play([5,7,5,1,6]).
play([5,7,13,1,14]).
play([5,8,11,7,1]).
play([5,9,15,2,1]).
play([5,10,5,8,2]).
play([5,10,7,1,9]).
play([5,11,8,1,7]).
play([5,11,11,4,1]).
play([5,11,11,12,9]).
play([5,13,6,7,9]).
play([5,15,5,13,2]).
play([6,1,13,15,5]).
play([6,2,9,14,3]).
play([6,5,15,2,14]).
play([6,6,6,4,2]).
play([6,7,3,6,4]).
play([6,7,11,13,7]).
play([6,11,3,11,5]).
play([6,15,12,11,14]).
play([7,2,1,12,8]).
play([7,2,10,14,1]).
play([7,2,14,2,9]).
play([7,5,11,12,5]).
play([7,6,7,11,13]).
play([7,7,9,3,10]).
play([7,8,12,15,12]).
play([7,9,2,2,14]).
play([7,10,6,4,15]).
play([7,10,8,2,7]).
play([7,13,3,15,6]).
play([7,14,8,13,12]).
play([7,14,15,5,3]).
play([8,1,2,9,2]).
play([8,4,11,12,11]).
play([8,4,12,12,12]).
play([8,5,9,12,8]).
play([8,6,14,13,13]).
play([8,8,10,1,11]).
play([8,9,8,12,5]).
play([8,10,12,7,9]).
play([8,11,1,13,15]).
play([9,2,9,8,10]).
play([9,6,9,4,2]).
play([9,8,14,14,1]).
play([9,10,11,5,13]).
play([9,12,6,7,4]).
play([9,12,15,14,4]).
play([9,15,11,6,11]).
play([10,1,4,12,3]).
play([10,3,2,15,4]).
play([10,3,3,4,14]).
play([10,3,7,1,15]).
play([10,4,10,9,13]).
play([10,6,2,11,5]).
play([10,7,2,3,12]).
play([10,9,1,5,7]).
play([10,10,8,1,9]).
play([10,11,5,13,9]).
play([10,11,12,11,6]).
play([10,11,14,11,4]).
play([10,13,11,2,14]).
play([10,14,8,9,5]).
play([10,14,12,10,2]).
play([10,15,12,2,11]).
play([11,1,15,6,3]).
play([11,4,5,7,13]).
play([11,4,7,11,3]).
play([11,6,7,3,9]).
play([11,6,14,8,11]).
play([11,7,6,12,6]).
play([11,8,2,9,8]).
play([11,8,4,15,8]).
play([11,8,7,10,14]).
play([11,8,10,13,4]).
play([11,11,13,15,2]).
play([11,13,14,7,15]).
play([11,15,7,8,11]).
play([12,1,6,5,14]).
play([12,5,6,6,9]).
play([12,6,4,4,10]).
play([12,7,6,1,12]).
play([12,8,11,4,11]).
play([12,11,10,5,8]).
play([12,11,15,4,12]).
play([12,13,15,6,8]).
play([12,14,11,7,14]).
play([13,2,15,14,14]).
play([13,3,1,5,10]).
play([13,3,4,3,9]).
play([13,3,4,7,13]).
play([13,3,5,4,15]).
play([13,3,11,7,2]).
play([13,3,14,6,6]).
play([13,4,3,15,5]).
play([13,4,5,9,5]).
play([13,4,11,1,3]).
play([13,7,8,14,12]).
play([13,9,1,13,8]).
play([13,11,13,7,12]).
play([13,11,14,13,5]).
play([13,12,8,6,15]).
play([13,12,15,1,15]).
play([13,13,15,1,14]).
play([13,15,4,2,4]).
play([14,1,8,6,1]).
play([14,1,15,11,11]).
play([14,6,14,15,9]).
play([14,8,4,3,1]).
play([14,8,12,9,3]).
play([14,9,11,15,3]).
play([14,10,14,9,3]).
play([14,11,14,10,1]).
play([14,14,8,9,1]).
play([15,3,6,14,4]).
play([15,4,1,13,7]).
play([15,5,7,1,12]).
play([15,8,7,11,11]).
play([15,10,8,15,2]).
play([15,13,7,3,6]).
play([15,14,12,15,2]).
:-play([1,1,8]).
:-play([1,2,2]).
:-play([1,3,7]).
:-play([1,4,10]).
:-play([1,4,12]).
:-play([1,4,13]).
:-play([1,8,8]).
:-play([1,10,12]).
:-play([1,12,1]).
:-play([1,12,2]).
:-play([1,13,3]).
:-play([1,15,1]).
:-play([2,1,13]).
:-play([2,5,9]).
:-play([2,7,12]).
:-play([2,8,12]).
:-play([2,9,9]).
:-play([2,9,12]).
:-play([2,9,13]).
:-play([2,10,5]).
:-play([2,10,13]).
:-play([2,13,4]).
:-play([2,13,11]).
:-play([3,3,12]).
:-play([3,4,2]).
:-play([3,5,2]).
:-play([3,5,7]).
:-play([3,8,5]).
:-play([3,8,10]).
:-play([3,9,13]).
:-play([3,10,2]).
:-play([3,10,10]).
:-play([3,15,7]).
:-play([3,15,9]).
:-play([4,3,1]).
:-play([4,3,4]).
:-play([4,4,2]).
:-play([4,4,4]).
:-play([4,5,3]).
:-play([4,6,12]).
:-play([4,10,11]).
:-play([4,10,12]).
:-play([4,11,13]).
:-play([4,13,12]).
:-play([4,14,3]).
:-play([4,14,12]).
:-play([4,14,13]).
:-play([4,14,14]).
:-play([5,4,4]).
:-play([5,4,7]).
:-play([5,7,15]).
:-play([5,8,12]).
:-play([5,14,13]).
:-play([5,15,15]).
:-play([6,1,5]).
:-play([6,1,8]).
:-play([6,3,8]).
:-play([6,3,12]).
:-play([6,3,15]).
:-play([6,5,1]).
:-play([6,5,15]).
:-play([6,7,9]).
:-play([6,9,3]).
:-play([6,10,10]).
:-play([6,11,6]).
:-play([6,14,9]).
:-play([6,15,4]).
:-play([6,15,12]).
:-play([7,1,5]).
:-play([7,2,10]).
:-play([7,3,7]).
:-play([7,3,10]).
:-play([7,5,12]).
:-play([7,5,15]).
:-play([7,6,11]).
:-play([7,7,12]).
:-play([7,7,14]).
:-play([7,8,14]).
:-play([7,9,2]).
:-play([7,9,15]).
:-play([7,12,1]).
:-play([7,14,8]).
:-play([8,5,3]).
:-play([8,5,6]).
:-play([8,6,9]).
:-play([8,8,13]).
:-play([8,10,8]).
:-play([8,14,10]).
:-play([8,15,3]).
:-play([9,1,5]).
:-play([9,2,13]).
:-play([9,4,7]).
:-play([9,4,10]).
:-play([9,5,2]).
:-play([9,5,10]).
:-play([9,6,1]).
:-play([9,12,9]).
:-play([9,15,9]).
:-play([10,1,3]).
:-play([10,5,6]).
:-play([10,6,1]).
:-play([10,6,4]).
:-play([10,6,10]).
:-play([10,7,8]).
:-play([10,12,8]).
:-play([10,12,13]).
:-play([10,14,11]).
:-play([10,15,10]).
:-play([11,4,12]).
:-play([11,5,2]).
:-play([11,5,15]).
:-play([11,7,1]).
:-play([11,7,15]).
:-play([11,8,7]).
:-play([11,8,8]).
:-play([11,9,7]).
:-play([11,10,3]).
:-play([11,11,6]).
:-play([11,13,5]).
:-play([11,13,11]).
:-play([11,14,8]).
:-play([11,15,9]).
:-play([12,1,5]).
:-play([12,3,9]).
:-play([12,4,3]).
:-play([12,5,10]).
:-play([12,6,7]).
:-play([12,6,12]).
:-play([12,7,14]).
:-play([12,8,14]).
:-play([12,9,7]).
:-play([12,13,6]).
:-play([12,15,4]).
:-play([13,1,8]).
:-play([13,2,9]).
:-play([13,4,4]).
:-play([13,4,8]).
:-play([13,11,1]).
:-play([13,11,7]).
:-play([13,11,11]).
:-play([13,12,2]).
:-play([13,13,3]).
:-play([13,14,7]).
:-play([13,15,14]).
:-play([14,1,8]).
:-play([14,1,9]).
:-play([14,2,3]).
:-play([14,2,6]).
:-play([14,3,12]).
:-play([14,4,7]).
:-play([14,5,15]).
:-play([14,8,9]).
:-play([14,9,5]).
:-play([14,12,4]).
:-play([14,12,11]).
:-play([14,13,4]).
:-play([14,14,7]).
:-play([15,1,7]).
:-play([15,1,12]).
:-play([15,5,2]).
:-play([15,5,9]).
:-play([15,6,6]).
:-play([15,9,8]).
:-play([15,9,14]).
:-play([15,12,7]).
:-play([15,13,14]).
:-play([15,14,9]).
:-play([15,15,12]).
:-play([1,2,7,3]).
:-play([1,7,6,13]).
:-play([1,8,13,9]).
:-play([1,9,11,7]).
:-play([1,9,15,6]).
:-play([1,10,2,2]).
:-play([1,11,9,6]).
:-play([1,13,14,6]).
:-play([1,14,6,14]).
:-play([1,15,9,13]).
:-play([1,15,15,11]).
:-play([2,1,10,10]).
:-play([2,1,12,6]).
:-play([2,1,13,3]).
:-play([2,2,10,14]).
:-play([2,3,13,15]).
:-play([2,4,4,12]).
:-play([2,4,6,8]).
:-play([2,4,9,2]).
:-play([2,6,4,3]).
:-play([2,6,7,9]).
:-play([2,7,2,2]).
:-play([2,7,3,10]).
:-play([2,10,8,3]).
:-play([2,10,14,1]).
:-play([2,13,7,12]).
:-play([3,2,12,7]).
:-play([3,4,12,3]).
:-play([3,8,10,6]).
:-play([3,9,12,10]).
:-play([3,9,12,13]).
:-play([3,12,8,15]).
:-play([3,12,11,14]).
:-play([3,12,14,3]).
:-play([3,13,2,4]).
:-play([3,13,11,3]).
:-play([4,3,8,8]).
:-play([4,5,2,13]).
:-play([4,7,1,8]).
:-play([4,7,12,4]).
:-play([4,11,5,9]).
:-play([4,12,5,15]).
:-play([4,12,12,10]).
:-play([4,13,8,2]).
:-play([4,14,14,11]).
:-play([4,15,10,15]).
:-play([5,1,5,10]).
:-play([5,2,5,15]).
:-play([5,5,3,15]).
:-play([5,8,3,10]).
:-play([5,10,14,6]).
:-play([5,11,2,3]).
:-play([5,11,5,12]).
:-play([5,11,6,11]).
:-play([5,13,1,12]).
:-play([6,2,7,5]).
:-play([6,6,13,5]).
:-play([6,7,6,4]).
:-play([6,8,7,14]).
:-play([6,8,10,5]).
:-play([6,13,1,13]).
:-play([6,13,6,14]).
:-play([7,1,14,12]).
:-play([7,3,4,7]).
:-play([7,4,8,6]).
:-play([7,5,7,9]).
:-play([7,8,6,8]).
:-play([7,9,4,15]).
:-play([7,9,10,6]).
:-play([7,10,9,7]).
:-play([7,15,7,12]).
:-play([8,2,13,3]).
:-play([8,4,4,2]).
:-play([8,5,4,11]).
:-play([8,6,1,3]).
:-play([8,8,7,4]).
:-play([8,8,8,11]).
:-play([8,9,7,4]).
:-play([8,9,15,11]).
:-play([8,10,5,10]).
:-play([8,14,9,1]).
:-play([8,15,3,3]).
:-play([8,15,7,7]).
:-play([9,1,10,7]).
:-play([9,3,9,13]).
:-play([9,3,11,10]).
:-play([9,4,15,8]).
:-play([9,5,9,13]).
:-play([9,7,5,14]).
:-play([9,8,9,3]).
:-play([9,8,14,14]).
:-play([9,9,9,3]).
:-play([9,9,11,7]).
:-play([9,11,13,8]).
:-play([9,12,10,5]).
:-play([9,12,12,6]).
:-play([9,15,6,13]).
:-play([10,1,2,10]).
:-play([10,1,9,9]).
:-play([10,2,8,3]).
:-play([10,3,4,12]).
:-play([10,4,2,7]).
:-play([10,6,13,9]).
:-play([10,8,6,14]).
:-play([10,10,12,5]).
:-play([10,11,9,14]).
:-play([10,13,6,6]).
:-play([11,1,14,13]).
:-play([11,2,7,8]).
:-play([11,5,7,10]).
:-play([11,5,12,11]).
:-play([11,6,4,7]).
:-play([11,6,6,14]).
:-play([11,8,1,4]).
:-play([11,8,3,7]).
:-play([11,8,9,1]).
:-play([11,9,7,9]).
:-play([11,10,2,1]).
:-play([11,10,10,1]).
:-play([11,11,15,10]).
:-play([11,13,1,6]).
:-play([11,13,11,10]).
:-play([11,14,5,14]).
:-play([11,15,15,1]).
:-play([12,1,2,5]).
:-play([12,5,1,15]).
:-play([12,9,5,1]).
:-play([12,13,2,1]).
:-play([13,1,10,10]).
:-play([13,5,3,1]).
:-play([13,8,14,3]).
:-play([13,8,15,13]).
:-play([13,15,11,10]).
:-play([13,15,15,14]).
:-play([14,2,9,11]).
:-play([14,5,3,4]).
:-play([14,7,15,13]).
:-play([14,9,9,5]).
:-play([14,11,4,3]).
:-play([14,14,1,2]).
:-play([15,2,1,6]).
:-play([15,4,11,3]).
:-play([15,7,10,14]).
:-play([15,7,11,15]).
:-play([15,8,5,4]).
:-play([15,9,9,12]).
:-play([15,12,7,12]).
:-play([15,15,3,14]).
:-play([15,15,8,2]).
:-play([1,3,4,14,12]).
:-play([1,3,14,1,8]).
:-play([1,4,15,8,6]).
:-play([1,4,15,15,8]).
:-play([1,7,10,6,6]).
:-play([1,9,4,2,2]).
:-play([1,9,12,7,7]).
:-play([1,9,15,3,14]).
:-play([1,10,2,8,6]).
:-play([1,12,12,14,7]).
:-play([2,1,10,5,5]).
:-play([2,2,2,10,6]).
:-play([2,2,9,9,14]).
:-play([2,4,4,4,9]).
:-play([2,4,5,13,9]).
:-play([2,7,3,2,12]).
:-play([2,7,14,2,13]).
:-play([2,7,15,9,10]).
:-play([2,10,8,6,14]).
:-play([2,10,8,7,14]).
:-play([2,10,11,5,1]).
:-play([2,11,1,14,10]).
:-play([2,13,15,14,9]).
:-play([2,15,4,4,8]).
:-play([3,1,1,13,4]).
:-play([3,2,11,7,9]).
:-play([3,3,3,15,8]).
:-play([3,3,6,14,1]).
:-play([3,5,2,12,11]).
:-play([3,5,8,7,10]).
:-play([3,5,12,4,13]).
:-play([3,6,2,1,8]).
:-play([3,6,4,15,1]).
:-play([3,6,5,3,1]).
:-play([3,7,6,9,3]).
:-play([3,7,11,1,1]).
:-play([3,9,1,4,12]).
:-play([3,9,6,2,13]).
:-play([3,9,7,5,1]).
:-play([3,9,10,9,7]).
:-play([3,11,14,13,14]).
:-play([3,13,7,10,5]).
:-play([3,14,5,4,14]).
:-play([3,15,3,4,12]).
:-play([4,3,10,15,3]).
:-play([4,4,7,8,11]).
:-play([4,4,15,7,15]).
:-play([4,5,2,7,13]).
:-play([4,5,4,10,10]).
:-play([4,6,1,13,5]).
:-play([4,6,4,1,9]).
:-play([4,7,6,2,12]).
:-play([4,7,6,4,10]).
:-play([4,8,4,10,6]).
:-play([4,8,5,2,14]).
:-play([4,10,9,14,1]).
:-play([4,11,5,8,10]).
:-play([4,11,7,2,9]).
:-play([4,11,11,5,15]).
:-play([4,12,3,9,13]).
:-play([4,13,11,3,9]).
:-play([4,15,2,3,6]).
:-play([4,15,4,14,9]).
:-play([4,15,6,5,12]).
:-play([5,1,4,15,3]).
:-play([5,1,11,12,15]).
:-play([5,4,4,2,8]).
:-play([5,6,8,11,6]).
:-play([5,9,2,4,11]).
:-play([5,9,8,12,9]).
:-play([5,10,9,14,1]).
:-play([5,11,8,7,12]).
:-play([5,12,13,13,1]).
:-play([5,12,15,3,3]).
:-play([5,15,5,9,4]).
:-play([6,1,12,12,5]).
:-play([6,2,1,12,4]).
:-play([6,3,5,4,1]).
:-play([6,4,13,7,5]).
:-play([6,8,5,11,13]).
:-play([6,8,9,8,14]).
:-play([6,8,11,6,9]).
:-play([6,9,3,12,14]).
:-play([6,9,15,10,2]).
:-play([6,11,4,13,15]).
:-play([6,11,4,15,2]).
:-play([6,12,1,2,12]).
:-play([6,12,11,14,2]).
:-play([7,2,1,10,10]).
:-play([7,2,6,11,11]).
:-play([7,2,11,5,7]).
:-play([7,3,5,4,9]).
:-play([7,4,3,12,13]).
:-play([7,5,5,12,14]).
:-play([7,5,7,12,12]).
:-play([7,5,11,3,11]).
:-play([7,6,6,13,4]).
:-play([7,6,8,9,6]).
:-play([7,8,13,3,6]).
:-play([7,12,3,8,3]).
:-play([8,2,3,3,8]).
:-play([8,2,7,15,6]).
:-play([8,10,3,3,14]).
:-play([8,10,8,3,11]).
:-play([8,11,3,1,10]).
:-play([8,11,10,9,8]).
:-play([8,12,10,15,14]).
:-play([8,13,3,2,2]).
:-play([8,15,10,14,11]).
:-play([9,5,7,3,7]).
:-play([9,7,14,1,11]).
:-play([9,8,13,13,2]).
:-play([9,9,3,4,5]).
:-play([9,9,12,12,13]).
:-play([9,10,4,2,15]).
:-play([9,11,4,15,11]).
:-play([9,12,6,1,15]).
:-play([9,13,13,8,7]).
:-play([9,13,15,4,2]).
:-play([9,14,11,5,3]).
:-play([9,15,6,4,6]).
:-play([10,2,6,5,7]).
:-play([10,4,4,6,1]).
:-play([10,5,9,14,9]).
:-play([10,5,10,3,8]).
:-play([10,5,14,15,15]).
:-play([10,6,5,14,12]).
:-play([10,7,5,14,14]).
:-play([10,7,8,10,2]).
:-play([10,8,7,9,4]).
:-play([10,8,14,3,11]).
:-play([10,13,10,6,4]).
:-play([10,14,3,5,15]).
:-play([10,14,7,7,11]).
:-play([10,15,1,10,8]).
:-play([10,15,4,9,5]).
:-play([11,1,5,7,13]).
:-play([11,1,12,1,2]).
:-play([11,3,13,4,5]).
:-play([11,3,15,7,10]).
:-play([11,5,4,12,13]).
:-play([11,6,12,11,14]).
:-play([11,7,2,15,6]).
:-play([11,7,8,2,10]).
:-play([11,8,4,2,8]).
:-play([11,10,12,10,8]).
:-play([11,10,13,6,6]).
:-play([11,14,13,14,5]).
:-play([11,15,2,4,12]).
:-play([11,15,12,11,9]).
:-play([11,15,15,7,4]).
:-play([12,1,15,5,11]).
:-play([12,4,8,2,4]).
:-play([12,5,4,10,9]).
:-play([12,7,1,10,9]).
:-play([12,7,5,5,10]).
:-play([12,7,13,11,14]).
:-play([12,11,15,10,15]).
:-play([12,13,3,4,15]).
:-play([12,14,7,4,2]).
:-play([12,15,4,8,2]).
:-play([13,2,12,3,13]).
:-play([13,5,5,1,7]).
:-play([13,6,15,3,8]).
:-play([13,8,13,9,7]).
:-play([13,12,3,5,6]).
:-play([13,13,2,1,7]).
:-play([14,1,4,10,15]).
:-play([14,1,7,1,14]).
:-play([14,2,13,7,8]).
:-play([14,5,13,2,5]).
:-play([14,6,4,13,12]).
:-play([14,8,15,1,10]).
:-play([14,12,4,3,3]).
:-play([14,13,4,13,9]).
:-play([15,3,12,9,10]).
:-play([15,6,10,7,2]).
:-play([15,9,13,4,10]).
:-play([15,11,9,4,13]).
:-play([15,12,11,14,2]).
:-play([15,13,5,3,8]).
:-play([15,13,5,6,13]).
:-play([15,14,10,2,11]).