9,4,10,11,7,2,8,3,5,12,-1,9,4,10,1,7,1,7,11,7,2,8,3,5,12,-1,9,0,10,1,7,1,7,2,3,5,12,-1,9,6,10,1,7,1,7,2,3,5,12,-1,9,6,10,1,7,1,7,2,3,5,12,-1,9,4,10,11,7,2,8,3,5,12,-1,9,4,10,11,7,2,8,3,5,12,-1,9,0,10,11,7,1,7,11,7,2,3,5,12,-1,9,0,10,11,7,11,7,11,7,2,8,3,5,12,-1,9,4,10,1,7,2,8,3,5,12,-1,9,6,10,1,7,11,7,2,8,3,5,12,-1,9,0,10,1,7,11,7,11,7,2,3,5,12,-1,9,0,10,11,7,1,7,11,7,11,7,11,7,11,7,11,7,1,7,11,7,11,7,11,7,1,7,2,3,5,12,-1,9,0,10,11,7,11,7,2,3,5,12,-1,9,6,10,11,7,1,7,1,7,2,8,3,5,12,-1,9,6,10,1,7,1,7,1,7,11,7,2,8,3,5,12,-1,9,4,10,11,7,11,7,2,8,3,5,12,-1,9,6,10,11,7,1,7,2,3,5,12,-1,9,6,10,11,7,1,7,11,7,1,7,2,8,3,5,12,-1,9,6,10,1,7,11,7,2,8,3,5,12,-1,9,0,10,11,7,1,7,11,7,1,7,1,7,2,3,5,12,-1,9,0,10,1,7,2,8,3,5,12,-1,9,4,10,1,7,2,3,5,12,-1,9,4,10,1,7,1,7,1,7,11,7,1,7,11,7,2,8,3,5,12,-1,9,6,10,11,7,1,7,2,8,3,5,12,-1,9,4,10,1,7,1,7,2,3,5,12,-1,9,6,10,11,7,1,7,2,8,3,5,12,-1,9,4,10,11,7,11,7,1,7,2,3,5,12,-1,9,6,10,1,7,2,8,3,5,12,-1,9,6,10,1,7,1,7,1,7,1,7,2,8,3,5,12,-1,9,4,10,1,7,2,8,3,5,12,-1,9,4,10,11,7,2,8,3,5,12,-1,9,6,10,11,7,2,8,3,5,12,-1,9,0,10,11,7,2,3,5,12,-1,9,0,10,11,7,2,3,5,12,-1,9,6,10,11,7,2,8,3,5,12,-1,9,0,10,11,7,2,3,5,12,-1,9,6,10,1,7,2,3,5,12,-1,9,4,10,11,7,1,7,11,7,2,8,3,5,12,-1,9,4,10,11,7,1,7,11,7,1,7,11,7,1,7,2,8,3,5,12,-1,9,0,10,1,7,1,7,11,7,11,7,2,8,3,5,12,-1,9,6,10,11,7,2,3,5,12,-1,9,0,10,1,7,2,3,5,12,-1,9,0,10,11,7,2,8,3,5,12,-1,9,6,10,11,7,2,8,3,5,12,-1,9,6,10,11,7,1,7,1,7,2,8,3,5,12,-1,9,0,10,11,7,1,7,11,7,2,8,3,5,12,-1,9,0,10,11,7,1,7,1,7,11,7,11,7,1,7,11,7,1,7,2,3,5,12,-1,9,6,10,1,7,1,7,2,3,5,12,-1,9,4,10,1,7,1,7,11,7,2,3,5,12,-1,9,4,10,1,7,11,7,2,3,5,12,-1,9,6,10,11,7,2,8,3,5,12,-1,9,0,10,1,7,2,3,5,12,-1,9,4,10,1,7,1,7,1,7,2,3,5,12,-1,9,0,10,1,7,2,3,5,12,-1,9,4,10,11,7,1,7,2,8,3,5,12,-1,9,0,10,1,7,2,3,5,12,-1,9,6,10,11,7,2,8,3,5,12,-1,9,0,10,1,7,11,7,11,7,11,7,1,7,2,3,5,12,-1,9,0,10,11,7,11,7,2,3,5,12,-1,9,0,10,11,7,1,7,2,8,3,5,12,-1,9,0,10,11,7,1,7,2,3,5,12,-1,9,6,10,11,7,11,7,11,7,1,7,2,8,3,5,12,-1,9,6,10,1,7,2,3,5,12,-1,9,6,10,11,7,11,7,11,7,2,8,3,5,12,-1,9,4,10,11,7,2,8,3,5,12,-1,9,4,10,1,7,2,3,5,12,-1,9,6,10,1,7,1,7,1,7,1,7,1,7,11,7,2,8,3,5,12,-1,9,0,10,11,7,11,7,2,8,3,5,12,-1,9,0,10,11,7,11,7,2,8,3,5,12,-1,9,6,10,1,7,2,8,3,5,12,-1,9,6,10,1,7,2,8,3,5,12,-1,9,0,10,11,7,1,7,11,7,2,3,5,12,-1,9,0,10,1,7,2,8,3,5,12,-1,9,0,10,11,7,11,7,1,7,2,3,5,12,-1,9,4,10,1,7,2,8,3,5,12,-1,9,6,10,11,7,2,3,5,12,-1,9,6,10,11,7,11,7,2,3,5,12,-1,9,6,10,1,7,11,7,2,3,5,12,-1,9,4,10,1,7,11,7,11,7,1,7,11,7,2,3,5,12,-1,9,0,10,11,7,2,3,5,12,-1,9,6,10,11,7,2,8,3,5,12,-1,9,6,10,1,7,2,8,3,5,12,-1,9,4,10,1,7,2,8,3,5,12,-1,9,6,10,1,7,2,8,3,5,12,-1,9,6,10,1,7,2,3,5,12,-1,9,6,10,1,7,1,7,2,3,5,12,-1,9,0,10,1,7,1,7,2,8,3,5,12,-1,9,6,10,11,7,1,7,2,3,5,12,-1,9,0,10,1,7,11,7,11,7,11,7,2,3,5,12,-1,9,0,10,1,7,2,3,5,12,-1,9,0,10,1,7,1,7,1,7,11,7,11,7,2,8,3,5,12,-1,9,6,10,11,7,1,7,11,7,1,7,2,8,3,5,12,-1,9,0,10,1,7,11,7,1,7,1,7,2,3,5,12,-1,9,6,10,11,7,11,7,2,3,5,12,-1,9,6,10,1,7,1,7,1,7,2,8,3,5,12,-1,9,0,10,1,7,11,7,2,8,3,5,12,-1,9,4,10,1,7,1,7,11,7,11,7,2,3,5,12,-1,9,0,10,11,7,11,7,2,8,3,5,12,-1,9,4,10,11,7,1,7,1,7,1,7,2,3,5,12,-1,