% Solitaire Battleship problem instances
% Generated on Sat Oct 15 13:02:47 2016 from unsolvable_for_csplib.txt
%
% problem(InstanceId, Fleet, RowSums, ColSums, Hints).
% Fleet is a list of ShipSize:Amount.
% Rowsums/Colsums are lists of integers, list lengths imply grid size.
% Hints is a list of HintType@Coordinate.
% HintType is one of w,c,m,t,b,l,r.
% Coordinate is a pair [I,J], where indices start from 1, not 0.

problem(113,
	[4:1,3:2,2:3,1:4],
	[2,4,3,3,2,4,1,1,0,0],
	[0,5,0,2,2,3,1,3,2,2],
	[c@[7,10],w@[1,6]]).
problem(123,
	[4:1,3:2,2:3,1:4],
	[3,2,1,1,1,2,0,4,1,5],
	[2,1,5,3,2,1,2,0,4,0],
	[c@[6,3],c@[5,7],w@[6,9]]).
problem(200,
	[4:1,3:2,2:3,1:4],
	[1,2,4,3,1,4,3,1,1,0],
	[5,0,1,1,2,1,1,3,0,6],
	[c@[4,1],c@[6,5]]).
problem(239,
	[4:1,3:2,2:3,1:4],
	[5,1,2,1,1,2,2,3,1,2],
	[4,0,1,2,1,4,0,6,1,1],
	[c@[9,10],c@[1,3]]).
problem(312,
	[4:1,3:2,2:3,1:4],
	[2,5,2,1,3,1,3,2,0,1],
	[4,0,4,1,0,3,1,3,2,2],
	[c@[5,3],c@[10,3]]).
problem(352,
	[4:1,3:2,2:3,1:4],
	[1,2,2,3,1,3,1,1,4,2],
	[1,6,1,2,0,2,1,2,0,5],
	[c@[6,7],c@[6,10],w@[8,6]]).
problem(411,
	[4:1,3:2,2:3,1:4],
	[1,2,1,3,1,5,0,2,3,2],
	[3,1,2,1,2,4,1,4,1,1],
	[c@[6,9],c@[4,3],w@[8,6]]).
problem(530,
	[4:1,3:2,2:3,1:4],
	[3,1,4,2,3,2,1,2,1,1],
	[3,1,3,2,0,2,3,0,5,1],
	[c@[2,6],c@[10,1],w@[3,10]]).
problem(558,
	[4:1,3:2,2:3,1:4],
	[3,1,2,2,3,1,0,1,3,4],
	[1,2,3,1,2,3,2,1,5,0],
	[c@[2,6],w@[1,3]]).
problem(628,
	[4:1,3:2,2:3,1:4],
	[0,2,3,4,2,3,3,0,0,3],
	[2,2,2,1,4,0,4,1,3,1],
	[c@[6,3],c@[5,9],w@[2,1]]).
problem(697,
	[4:1,3:2,2:3,1:4],
	[3,4,1,1,2,2,2,2,1,2],
	[1,1,4,0,4,5,0,3,0,2],
	[b@[7,8],w@[5,3],w@[1,8]]).
problem(698,
	[4:1,3:2,2:3,1:4],
	[0,0,2,2,2,3,3,1,4,3],
	[2,1,1,3,1,4,1,4,2,1],
	[l@[4,1],w@[7,4]]).
problem(769,
	[4:1,3:2,2:3,1:4],
	[4,2,1,2,2,2,1,2,2,2],
	[3,1,4,2,5,2,1,2,0,0],
	[m@[5,1],w@[10,5]]).
problem(850,
	[4:1,3:2,2:3,1:4],
	[0,3,2,0,5,2,5,2,1,0],
	[3,2,0,1,2,2,3,2,3,2],
	[w@[5,10],w@[2,10]]).
problem(957,
	[4:1,3:2,2:3,1:4],
	[1,2,4,2,2,0,4,2,2,1],
	[2,2,1,2,2,3,3,1,3,1],
	[c@[10,7],w@[9,4]]).
problem(1044,
	[4:1,3:2,2:3,1:4],
	[0,1,1,0,4,5,1,1,2,5],
	[2,0,3,1,2,2,4,1,2,3],
	[w@[2,6]]).
problem(1109,
	[4:1,3:2,2:3,1:4],
	[2,2,0,0,4,3,2,0,4,3],
	[1,2,2,2,4,1,2,4,1,1],
	[c@[1,1],w@[5,7]]).
problem(1202,
	[4:1,3:2,2:3,1:4],
	[0,0,2,6,2,2,3,4,0,1],
	[4,2,2,1,1,4,0,2,3,1],
	[w@[6,3]]).
problem(1233,
	[4:1,3:2,2:3,1:4],
	[1,5,2,3,1,0,1,0,3,4],
	[1,5,0,2,3,3,1,1,4,0],
	[w@[2,4],w@[5,9]]).
problem(1234,
	[4:1,3:2,2:3,1:4],
	[2,2,5,0,2,1,0,1,6,1],
	[2,4,2,1,2,4,1,2,1,1],
	[c@[2,8],w@[3,5]]).
problem(1250,
	[4:1,3:2,2:3,1:4],
	[0,1,3,0,2,2,2,4,2,4],
	[3,3,1,5,1,1,2,3,1,0],
	[c@[5,8],w@[9,2]]).
problem(1283,
	[4:1,3:2,2:3,1:4],
	[4,0,1,0,1,2,4,0,4,4],
	[2,3,2,3,2,3,1,1,3,0],
	[l@[7,2],w@[3,4],w@[9,5]]).
problem(1337,
	[4:1,3:2,2:3,1:4],
	[1,3,2,2,2,2,2,3,1,2],
	[3,0,4,0,3,0,3,1,2,4],
	[c@[1,8],c@[7,5],w@[8,10],w@[2,3]]).
problem(1453,
	[4:1,3:2,2:3,1:4],
	[1,5,2,2,3,2,3,0,1,1],
	[1,4,1,1,3,1,2,1,5,1],
	[c@[5,9],w@[6,5]]).
problem(1530,
	[4:1,3:2,2:3,1:4],
	[2,1,1,2,1,2,5,1,4,1],
	[6,0,2,1,3,1,2,0,5,0],
	[c@[2,5],c@[9,7]]).
problem(1539,
	[4:1,3:2,2:3,1:4],
	[1,2,2,2,2,1,4,1,1,4],
	[1,2,2,1,2,2,1,4,1,4],
	[c@[7,8],t@[4,2],c@[3,5]]).
problem(1623,
	[4:1,3:2,2:3,1:4],
	[0,0,1,1,3,3,3,3,3,3],
	[1,3,0,5,0,5,2,0,4,0],
	[b@[6,9]]).
problem(1679,
	[4:1,3:2,2:3,1:4],
	[1,1,3,3,1,4,2,4,0,1],
	[4,1,1,1,5,1,3,3,0,1],
	[c@[2,7],l@[6,7],w@[1,1]]).
problem(1708,
	[4:1,3:2,2:3,1:4],
	[1,2,2,3,4,3,3,1,0,1],
	[2,2,4,0,4,0,2,1,5,0],
	[c@[6,1],c@[4,1]]).
problem(1734,
	[4:1,3:2,2:3,1:4],
	[1,1,0,6,2,2,1,2,2,3],
	[5,1,2,1,3,1,1,2,0,4],
	[c@[10,1],c@[6,3],w@[1,8]]).
problem(1917,
	[4:1,3:2,2:3,1:4],
	[0,1,1,0,3,1,4,4,2,4],
	[2,1,3,2,3,1,1,4,1,2],
	[c@[10,5]]).
problem(1933,
	[4:1,3:2,2:3,1:4],
	[1,2,2,2,3,0,1,1,6,2],
	[7,0,2,1,3,0,2,2,1,2],
	[c@[4,5],c@[1,8]]).
problem(2125,
	[4:1,3:2,2:3,1:4],
	[4,2,3,4,2,0,0,1,1,3],
	[2,1,3,3,1,3,0,5,0,2],
	[c@[3,6],c@[2,10],w@[2,1]]).
problem(2174,
	[4:1,3:2,2:3,1:4],
	[1,3,3,1,2,1,1,4,1,3],
	[1,1,4,0,6,0,3,1,2,2],
	[t@[1,10],c@[3,1],w@[5,3],w@[8,2]]).
problem(2269,
	[4:1,3:2,2:3,1:4],
	[0,1,2,4,3,2,4,1,1,2],
	[2,3,1,1,4,0,5,1,3,0],
	[c@[5,1],w@[7,5]]).
problem(2369,
	[4:1,3:2,2:3,1:4],
	[1,0,3,1,1,2,2,4,1,5],
	[3,1,5,1,0,3,2,2,1,2],
	[c@[8,1],r@[8,7],w@[3,4],w@[4,6]]).
problem(2390,
	[4:1,3:2,2:3,1:4],
	[2,2,3,4,1,2,3,2,1,0],
	[2,0,4,0,4,0,5,0,5,0],
	[c@[5,1],c@[6,3],w@[6,9]]).
problem(2395,
	[4:1,3:2,2:3,1:4],
	[1,3,2,0,0,2,1,6,2,3],
	[4,0,3,2,2,0,0,4,0,5],
	[c@[10,3],t@[8,1],w@[6,3]]).
problem(2411,
	[4:1,3:2,2:3,1:4],
	[2,2,1,1,2,5,0,0,5,2],
	[2,4,2,3,2,2,3,1,1,0],
	[m@[6,4]]).
problem(2432,
	[4:1,3:2,2:3,1:4],
	[2,2,4,0,5,1,3,0,3,0],
	[3,1,3,1,0,3,2,3,3,1],
	[c@[2,8],t@[6,1],w@[1,4]]).
problem(2473,
	[4:1,3:2,2:3,1:4],
	[3,0,2,0,0,4,1,6,2,2],
	[4,1,2,0,2,1,3,2,1,4],
	[c@[6,3],w@[9,10],w@[1,1],w@[1,5]]).
problem(2731,
	[4:1,3:2,2:3,1:4],
	[4,3,6,2,4,0,1,0,0,0],
	[3,0,4,1,2,1,3,2,1,3],
	[w@[4,1]]).
problem(2794,
	[4:1,3:2,2:3,1:4],
	[0,0,1,4,1,5,2,1,6,0],
	[1,3,3,1,1,4,0,1,1,5],
	[]).
problem(2833,
	[4:1,3:2,2:3,1:4],
	[5,1,4,1,4,1,0,0,3,1],
	[1,2,1,3,2,3,3,2,2,1],
	[c@[5,8],t@[5,2]]).
problem(2920,
	[4:1,3:2,2:3,1:4],
	[2,0,2,2,5,2,2,1,1,3],
	[3,2,1,0,0,4,1,4,0,5],
	[c@[5,10],c@[10,7],w@[3,6]]).
problem(2942,
	[4:1,3:2,2:3,1:4],
	[1,8,0,3,0,2,1,2,1,2],
	[3,3,3,2,1,4,1,1,0,2],
	[c@[4,3],l@[10,2]]).
problem(2951,
	[4:1,3:2,2:3,1:4],
	[1,1,1,2,5,1,4,4,1,0],
	[2,2,0,5,0,3,1,2,3,2],
	[c@[9,10]]).
problem(2997,
	[4:1,3:2,2:3,1:4],
	[4,1,1,6,0,2,1,2,1,2],
	[1,1,5,2,3,2,1,2,2,1],
	[l@[10,7],t@[3,9],w@[1,10]]).
problem(3044,
	[4:1,3:2,2:3,1:4],
	[0,0,2,1,5,2,4,1,4,1],
	[4,3,1,3,1,3,1,2,2,0],
	[w@[7,4]]).
problem(3082,
	[4:1,3:2,2:3,1:4],
	[1,3,2,3,4,2,2,1,2,0],
	[3,1,1,3,0,5,1,1,0,5],
	[c@[8,6],c@[9,3],w@[5,8]]).
problem(3232,
	[4:1,3:2,2:3,1:4],
	[1,1,1,2,4,1,4,3,2,1],
	[2,0,2,0,4,1,4,3,1,3],
	[c@[2,10],c@[7,3]]).
problem(3265,
	[4:1,3:2,2:3,1:4],
	[1,1,0,2,4,2,3,3,3,1],
	[5,0,2,1,1,3,2,0,4,2],
	[c@[8,7],w@[5,4]]).
problem(3298,
	[4:1,3:2,2:3,1:4],
	[2,1,4,2,2,1,1,0,3,4],
	[4,1,1,1,2,1,2,4,0,4],
	[c@[6,7],w@[4,1],w@[2,1]]).
problem(3305,
	[4:1,3:2,2:3,1:4],
	[3,3,0,1,1,1,0,5,1,5],
	[1,3,4,2,1,2,1,2,2,2],
	[c@[1,9],w@[8,4]]).
problem(3315,
	[4:1,3:2,2:3,1:4],
	[3,0,1,1,2,3,1,4,2,3],
	[3,1,5,1,3,1,1,0,1,4],
	[c@[8,9],m@[8,1],w@[10,6]]).
problem(3317,
	[4:1,3:2,2:3,1:4],
	[5,0,0,3,2,3,2,1,3,1],
	[1,1,4,0,1,5,1,4,1,2],
	[c@[5,1],l@[9,8],w@[4,3]]).
problem(3382,
	[4:1,3:2,2:3,1:4],
	[0,3,3,3,1,2,3,2,1,2],
	[6,0,4,0,3,0,1,2,0,4],
	[c@[8,5],c@[2,7],t@[3,3],w@[10,8]]).
problem(3421,
	[4:1,3:2,2:3,1:4],
	[6,0,3,0,0,2,5,1,2,1],
	[2,1,2,2,3,0,4,2,3,1],
	[c@[10,7],c@[6,1],w@[6,7]]).
problem(3508,
	[4:1,3:2,2:3,1:4],
	[4,3,2,2,1,1,1,2,2,2],
	[1,3,0,2,3,1,2,4,3,1],
	[c@[10,9],c@[10,1],w@[5,4]]).
problem(3531,
	[4:1,3:2,2:3,1:4],
	[3,5,1,1,1,1,1,1,4,2],
	[3,2,2,1,0,2,1,4,1,4],
	[m@[5,10],w@[1,1]]).
problem(3536,
	[4:1,3:2,2:3,1:4],
	[2,0,5,1,1,3,2,2,3,1],
	[1,5,1,1,2,1,4,3,2,0],
	[c@[3,7],w@[5,7]]).
problem(3546,
	[4:1,3:2,2:3,1:4],
	[0,2,6,0,0,3,3,1,3,2],
	[2,2,2,3,1,1,2,1,3,3],
	[c@[6,7],w@[2,9]]).
problem(3597,
	[4:1,3:2,2:3,1:4],
	[0,4,4,0,5,3,2,2,0,0],
	[3,2,1,2,2,2,2,3,2,1],
	[w@[7,10],w@[2,1]]).
problem(3640,
	[4:1,3:2,2:3,1:4],
	[1,0,2,1,0,3,4,3,1,5],
	[0,2,3,3,3,1,3,2,3,0],
	[w@[3,3]]).
problem(3649,
	[4:1,3:2,2:3,1:4],
	[1,2,4,1,5,1,0,4,2,0],
	[3,1,3,2,2,1,3,0,4,1],
	[c@[2,5],c@[5,9],w@[1,1]]).
problem(3710,
	[4:1,3:2,2:3,1:4],
	[6,1,1,0,2,2,1,1,4,2],
	[2,1,2,2,1,4,1,4,1,2],
	[c@[8,4],c@[6,10]]).
problem(3827,
	[4:1,3:2,2:3,1:4],
	[2,2,3,2,3,0,4,2,0,2],
	[2,0,2,0,3,1,5,1,4,2],
	[c@[7,3],b@[4,7],w@[7,1],w@[1,5]]).
problem(3830,
	[4:1,3:2,2:3,1:4],
	[3,1,2,1,1,2,2,2,2,4],
	[4,0,1,0,1,1,6,1,6,0],
	[c@[10,7],c@[9,3]]).
problem(3894,
	[4:1,3:2,2:3,1:4],
	[0,3,5,5,1,3,2,0,1,0],
	[4,1,4,0,3,1,3,0,4,0],
	[w@[5,1]]).
problem(3985,
	[4:1,3:2,2:3,1:4],
	[0,1,4,2,4,3,3,1,1,1],
	[1,6,1,0,4,0,2,3,1,2],
	[w@[7,5]]).
problem(4018,
	[4:1,3:2,2:3,1:4],
	[3,0,0,1,3,0,5,1,2,5],
	[2,1,3,2,2,3,2,2,2,1],
	[r@[1,2],c@[10,3]]).
problem(4058,
	[4:1,3:2,2:3,1:4],
	[3,1,6,1,4,3,2,0,0,0],
	[2,2,1,2,1,2,4,2,3,1],
	[w@[5,8]]).
problem(4062,
	[4:1,3:2,2:3,1:4],
	[0,2,1,2,4,1,2,2,1,5],
	[4,0,1,2,1,3,2,2,1,4],
	[c@[6,3],c@[3,4],w@[2,8]]).
problem(4128,
	[4:1,3:2,2:3,1:4],
	[1,0,1,5,1,4,3,3,1,1],
	[1,4,1,2,1,2,3,1,4,1],
	[c@[3,6]]).
problem(4191,
	[4:1,3:2,2:3,1:4],
	[2,0,1,3,2,5,1,0,1,5],
	[1,2,3,3,2,0,5,0,2,2],
	[c@[3,4],c@[1,7],w@[4,10]]).
problem(4282,
	[4:1,3:2,2:3,1:4],
	[4,1,4,0,6,0,1,1,1,2],
	[4,0,1,2,1,1,2,3,1,5],
	[m@[3,8],w@[1,4]]).
problem(4412,
	[4:1,3:2,2:3,1:4],
	[1,0,2,2,3,1,5,2,3,1],
	[5,0,4,0,0,4,0,2,4,1],
	[c@[9,10],c@[1,3],w@[4,6]]).
problem(4489,
	[4:1,3:2,2:3,1:4],
	[5,1,5,1,3,1,2,0,1,1],
	[1,3,1,5,1,3,1,1,3,1],
	[c@[6,10],w@[5,4],w@[7,6]]).
problem(4503,
	[4:1,3:2,2:3,1:4],
	[6,0,4,0,0,4,2,2,1,1],
	[2,0,2,2,3,4,1,3,1,2],
	[c@[8,5],w@[7,1],w@[3,7]]).
problem(4605,
	[4:1,3:2,2:3,1:4],
	[4,2,2,1,4,2,1,2,0,2],
	[3,0,5,1,0,3,3,1,2,2],
	[c@[1,4],c@[8,10],w@[10,7]]).
problem(4721,
	[4:1,3:2,2:3,1:4],
	[3,0,1,2,3,3,3,3,1,1],
	[1,0,1,2,3,2,4,1,0,6],
	[m@[4,10],w@[6,8]]).
problem(4750,
	[4:1,3:2,2:3,1:4],
	[2,3,0,3,0,0,5,0,5,2],
	[3,1,1,2,2,1,2,3,2,3],
	[c@[9,3],c@[2,4],w@[1,7]]).
problem(4776,
	[4:1,3:2,2:3,1:4],
	[1,1,4,2,3,2,3,2,1,1],
	[1,2,1,4,1,1,0,5,0,5],
	[c@[5,3],c@[7,4],m@[4,8]]).
problem(4866,
	[4:1,3:2,2:3,1:4],
	[1,5,1,2,0,1,1,2,6,1],
	[5,1,3,1,2,1,2,2,2,1],
	[l@[2,2],w@[1,7],w@[8,3]]).
problem(4892,
	[4:1,3:2,2:3,1:4],
	[1,0,4,1,4,0,0,5,1,4],
	[4,0,1,2,2,1,4,2,1,3],
	[c@[8,5],t@[4,1],w@[1,7]]).
problem(4895,
	[4:1,3:2,2:3,1:4],
	[2,0,1,4,1,4,0,6,1,1],
	[4,2,0,2,1,3,1,2,1,4],
	[c@[3,1],w@[5,6]]).
problem(4944,
	[4:1,3:2,2:3,1:4],
	[1,7,0,3,2,0,0,2,5,0],
	[2,2,1,2,3,2,2,1,4,1],
	[c@[9,1],w@[4,6]]).
problem(4988,
	[4:1,3:2,2:3,1:4],
	[2,1,2,2,2,4,2,1,2,2],
	[1,0,3,2,3,4,1,4,1,1],
	[c@[3,9],c@[7,1],w@[1,4]]).
problem(5047,
	[4:1,3:2,2:3,1:4],
	[3,3,2,1,2,1,1,1,2,4],
	[1,0,3,0,5,2,1,3,0,5],
	[l@[1,7],w@[10,8]]).
problem(5105,
	[4:1,3:2,2:3,1:4],
	[1,3,3,2,3,4,1,1,1,1],
	[5,0,3,0,3,1,1,0,3,4],
	[c@[9,3],c@[2,5]]).
problem(5387,
	[4:1,3:2,2:3,1:4],
	[2,3,2,3,3,1,1,3,2,0],
	[3,0,0,0,6,0,6,0,2,3],
	[b@[8,5],w@[4,5],w@[8,1]]).
problem(5683,
	[4:1,3:2,2:3,1:4],
	[2,0,2,4,1,3,1,2,4,1],
	[2,0,0,4,1,4,1,2,1,5],
	[c@[10,4],c@[4,1]]).
problem(5757,
	[4:1,3:2,2:3,1:4],
	[1,1,0,3,3,2,4,0,5,1],
	[1,1,3,2,4,0,4,1,1,3],
	[c@[6,9],c@[4,1]]).
problem(5771,
	[4:1,3:2,2:3,1:4],
	[1,3,1,2,2,2,2,3,2,2],
	[2,0,2,5,1,6,0,3,1,0],
	[t@[9,1],w@[7,8]]).
problem(5848,
	[4:1,3:2,2:3,1:4],
	[1,0,5,2,4,2,1,0,4,1],
	[0,3,1,4,1,5,1,2,0,3],
	[c@[6,10]]).
problem(5850,
	[4:1,3:2,2:3,1:4],
	[1,5,1,3,0,2,1,1,5,1],
	[3,4,0,2,1,2,0,6,1,1],
	[c@[4,6]]).
problem(5879,
	[4:1,3:2,2:3,1:4],
	[0,4,5,2,2,1,2,1,1,2],
	[5,2,1,1,1,1,1,4,2,2],
	[t@[5,1],w@[7,9]]).
problem(5912,
	[4:1,3:2,2:3,1:4],
	[0,3,1,6,0,2,1,0,4,3],
	[1,2,3,1,2,2,2,1,3,3],
	[c@[6,1],l@[2,5],w@[6,10]]).
problem(5961,
	[4:1,3:2,2:3,1:4],
	[3,0,0,3,1,6,1,5,1,0],
	[3,0,2,0,2,2,3,4,2,2],
	[m@[4,9]]).
problem(6016,
	[4:1,3:2,2:3,1:4],
	[1,1,4,1,5,1,3,0,3,1],
	[2,1,1,1,4,2,2,2,3,2],
	[r@[7,4],c@[1,1]]).
problem(6310,
	[4:1,3:2,2:3,1:4],
	[0,1,4,2,4,3,2,2,1,1],
	[3,0,3,1,2,1,3,2,4,1],
	[c@[7,1],c@[8,3]]).
problem(6319,
	[4:1,3:2,2:3,1:4],
	[0,1,3,2,2,5,0,0,4,3],
	[3,1,3,1,4,2,2,2,1,1],
	[b@[4,1],w@[4,5],w@[9,1]]).
problem(6525,
	[4:1,3:2,2:3,1:4],
	[1,1,4,2,3,2,2,1,3,1],
	[2,0,1,0,4,1,4,3,2,3],
	[c@[8,1],c@[5,1],w@[1,7]]).
problem(6541,
	[4:1,3:2,2:3,1:4],
	[1,0,0,1,4,0,1,6,1,6],
	[5,0,3,1,0,3,1,3,2,2],
	[c@[10,6]]).
problem(6553,
	[4:1,3:2,2:3,1:4],
	[6,0,3,2,2,2,2,2,1,0],
	[1,3,1,1,2,1,5,1,2,3],
	[t@[4,9],c@[5,4],w@[1,3]]).
problem(6654,
	[4:1,3:2,2:3,1:4],
	[1,0,1,4,1,4,2,2,1,4],
	[3,0,1,0,3,1,1,4,1,6],
	[c@[8,1],w@[1,10]]).
problem(6714,
	[4:1,3:2,2:3,1:4],
	[1,1,4,2,3,1,3,3,2,0],
	[2,2,0,2,1,1,1,4,3,4],
	[c@[5,1],w@[1,10]]).
problem(6809,
	[4:1,3:2,2:3,1:4],
	[2,1,1,4,1,1,1,2,4,3],
	[2,4,2,0,3,1,1,2,0,5],
	[c@[2,7],w@[1,2]]).
problem(6900,
	[4:1,3:2,2:3,1:4],
	[4,3,1,7,1,1,1,0,1,1],
	[3,2,2,2,2,1,2,3,1,2],
	[c@[6,1],c@[7,5],w@[9,2]]).
problem(6936,
	[4:1,3:2,2:3,1:4],
	[1,2,0,1,1,1,3,4,4,3],
	[1,2,2,1,3,0,4,3,3,1],
	[c@[2,5],w@[6,7]]).
problem(6959,
	[4:1,3:2,2:3,1:4],
	[1,3,1,0,4,1,2,3,4,1],
	[1,2,2,2,2,2,3,1,1,4],
	[c@[7,1],c@[1,7],c@[2,5]]).
problem(6963,
	[4:1,3:2,2:3,1:4],
	[6,0,0,1,1,3,0,1,6,2],
	[3,4,0,2,2,3,1,1,3,1],
	[l@[6,5]]).
problem(7162,
	[4:1,3:2,2:3,1:4],
	[0,1,1,1,3,4,3,3,3,1],
	[4,0,3,1,4,1,3,1,2,1],
	[c@[9,5],w@[6,1],w@[2,3]]).
problem(7202,
	[4:1,3:2,2:3,1:4],
	[4,0,0,1,1,0,3,4,2,5],
	[4,1,4,3,1,4,1,1,0,1],
	[w@[7,3]]).
problem(7326,
	[4:1,3:2,2:3,1:4],
	[7,1,1,0,3,2,2,1,2,1],
	[1,4,1,2,2,1,3,2,2,2],
	[c@[5,9],c@[9,5],w@[3,8]]).
problem(7664,
	[4:1,3:2,2:3,1:4],
	[2,0,1,6,0,0,3,2,5,1],
	[2,1,1,1,2,3,3,2,3,2],
	[r@[7,6],w@[8,2]]).
problem(7676,
	[4:1,3:2,2:3,1:4],
	[1,1,5,1,2,1,5,3,0,1],
	[2,4,0,4,2,2,1,2,1,2],
	[c@[1,10],w@[3,2]]).
problem(7782,
	[4:1,3:2,2:3,1:4],
	[0,1,1,0,3,4,1,4,3,3],
	[0,2,3,1,2,3,1,4,2,2],
	[r@[5,3],w@[2,7]]).
problem(7805,
	[4:1,3:2,2:3,1:4],
	[1,4,1,2,1,2,2,2,5,0],
	[3,1,3,1,1,0,1,5,1,4],
	[c@[9,3],c@[4,1],w@[1,8]]).
problem(7823,
	[4:1,3:2,2:3,1:4],
	[2,0,0,0,4,4,2,2,5,1],
	[2,3,2,3,2,2,1,1,3,1],
	[w@[5,3]]).
problem(7959,
	[4:1,3:2,2:3,1:4],
	[4,0,0,1,2,4,2,3,3,1],
	[4,1,3,1,2,1,2,2,1,3],
	[m@[9,8],w@[5,1],w@[1,10]]).
problem(8176,
	[4:1,3:2,2:3,1:4],
	[2,0,0,1,1,2,5,3,4,2],
	[4,1,2,0,4,0,4,0,5,0],
	[c@[1,3],w@[6,5]]).
problem(8177,
	[4:1,3:2,2:3,1:4],
	[1,2,1,3,3,2,2,4,1,1],
	[5,0,3,0,3,3,2,0,2,2],
	[c@[2,3],t@[3,1],w@[4,10]]).
problem(8186,
	[4:1,3:2,2:3,1:4],
	[2,0,1,3,2,4,1,3,2,2],
	[6,0,3,0,4,1,1,1,4,0],
	[c@[5,3],c@[8,5]]).
problem(8213,
	[4:1,3:2,2:3,1:4],
	[2,3,3,2,1,1,2,2,1,3],
	[1,0,1,4,0,5,0,5,0,4],
	[l@[2,3],c@[7,8],w@[5,10],w@[1,1]]).
problem(8224,
	[4:1,3:2,2:3,1:4],
	[2,1,4,0,4,1,4,1,2,1],
	[4,1,1,0,2,2,3,2,0,5],
	[c@[10,6],w@[5,7],w@[5,3]]).
problem(8382,
	[4:1,3:2,2:3,1:4],
	[0,3,3,4,2,0,2,0,1,5],
	[3,1,5,1,3,0,3,0,4,0],
	[c@[7,1],c@[7,7],w@[3,5]]).
problem(8694,
	[4:1,3:2,2:3,1:4],
	[0,5,2,1,3,2,1,2,1,3],
	[4,0,2,1,2,2,1,4,0,4],
	[c@[7,10],c@[5,5],w@[6,8],w@[2,1]]).
problem(8737,
	[4:1,3:2,2:3,1:4],
	[0,2,2,1,1,2,4,3,1,4],
	[5,1,3,1,0,2,2,1,4,1],
	[c@[8,1],c@[3,3]]).
problem(8826,
	[4:1,3:2,2:3,1:4],
	[3,3,2,1,1,3,1,1,1,4],
	[5,1,0,1,0,1,4,2,4,2],
	[c@[1,2],w@[3,9]]).
problem(8848,
	[4:1,3:2,2:3,1:4],
	[2,1,2,2,3,2,2,1,4,1],
	[1,1,0,4,0,3,6,1,1,3],
	[c@[1,2],w@[4,10],w@[8,10]]).
problem(8875,
	[4:1,3:2,2:3,1:4],
	[2,3,2,3,3,1,2,1,0,3],
	[1,5,1,1,4,0,5,0,2,1],
	[c@[3,10],c@[8,7]]).
problem(8888,
	[4:1,3:2,2:3,1:4],
	[4,3,0,1,2,2,3,0,3,2],
	[5,1,2,3,1,1,2,0,1,4],
	[c@[10,6],w@[2,10]]).
problem(9028,
	[4:1,3:2,2:3,1:4],
	[1,1,2,2,2,5,1,2,2,2],
	[4,0,1,2,1,1,2,3,1,5],
	[c@[9,9],c@[4,1],w@[8,7]]).
problem(9125,
	[4:1,3:2,2:3,1:4],
	[0,1,0,1,1,3,4,3,3,4],
	[2,2,1,3,2,1,4,2,3,0],
	[c@[4,5]]).
problem(9210,
	[4:1,3:2,2:3,1:4],
	[1,1,2,5,2,2,5,1,1,0],
	[2,4,1,1,3,2,2,0,3,2],
	[r@[4,6],w@[8,1]]).
problem(9325,
	[4:1,3:2,2:3,1:4],
	[2,2,2,3,1,0,1,2,3,4],
	[1,1,3,1,1,3,0,4,0,6],
	[c@[2,2],c@[5,6],w@[1,4]]).
problem(9443,
	[4:1,3:2,2:3,1:4],
	[2,3,1,3,2,2,2,1,3,1],
	[4,0,1,2,1,2,0,6,1,3],
	[c@[3,10],m@[7,8],w@[2,3]]).
problem(9625,
	[4:1,3:2,2:3,1:4],
	[2,2,3,3,4,1,2,1,1,1],
	[1,3,1,3,1,0,4,0,2,5],
	[t@[6,7],w@[2,4]]).
problem(9822,
	[4:1,3:2,2:3,1:4],
	[0,3,4,2,2,1,1,2,2,3],
	[4,0,2,2,1,0,5,0,4,2],
	[c@[8,9],t@[7,7]]).
problem(9837,
	[4:1,3:2,2:3,1:4],
	[4,1,2,0,1,2,3,2,5,0],
	[4,2,3,2,3,1,0,3,1,1],
	[c@[6,5],w@[7,1],w@[3,3]]).
problem(9960,
	[4:1,3:2,2:3,1:4],
	[3,2,2,2,1,1,0,4,0,5],
	[1,3,2,5,1,3,1,1,2,1],
	[c@[3,1],c@[2,6],m@[10,7],m@[8,3]]).
problem(10001,
	[4:1,3:2,2:3,1:4],
	[1,2,1,2,1,2,3,4,3,1],
	[2,1,1,0,4,0,4,4,1,3],
	[c@[1,2],w@[7,10]]).
problem(10060,
	[4:1,3:2,2:3,1:4],
	[1,2,2,5,3,2,2,1,1,1],
	[1,1,1,4,3,2,1,4,0,3],
	[c@[2,10],w@[4,1],w@[1,3]]).
problem(10091,
	[4:1,3:2,2:3,1:4],
	[5,2,0,0,2,2,2,2,5,0],
	[3,1,2,2,0,5,0,3,1,3],
	[c@[7,8],c@[5,4]]).
problem(10162,
	[4:1,3:2,2:3,1:4],
	[2,1,5,0,1,3,3,2,1,2],
	[4,0,3,1,2,1,5,0,4,0],
	[c@[2,9],w@[6,3],w@[1,6],w@[8,1]]).
problem(10278,
	[4:1,3:2,2:3,1:4],
	[2,1,1,1,2,4,2,4,2,1],
	[3,0,1,2,1,3,5,1,4,0],
	[c@[8,9],w@[6,3]]).
problem(10333,
	[4:1,3:2,2:3,1:4],
	[3,0,4,0,2,1,3,1,5,1],
	[2,4,0,3,1,1,2,2,2,3],
	[c@[7,5],w@[7,10]]).
problem(10352,
	[4:1,3:2,2:3,1:4],
	[2,1,3,1,2,1,1,4,1,4],
	[4,0,0,4,3,1,2,3,2,1],
	[c@[4,5],w@[3,9],w@[8,9]]).
problem(10361,
	[4:1,3:2,2:3,1:4],
	[0,1,2,0,4,0,4,2,4,3],
	[0,3,3,3,3,3,1,1,1,2],
	[l@[7,5],w@[2,6]]).
problem(10389,
	[4:1,3:2,2:3,1:4],
	[1,2,4,1,1,3,2,0,2,4],
	[4,0,4,1,0,3,2,4,1,1],
	[l@[10,3]]).
problem(10461,
	[4:1,3:2,2:3,1:4],
	[4,2,1,4,1,1,3,4,0,0],
	[3,2,3,3,0,3,0,2,4,0],
	[w@[3,9]]).
problem(10520,
	[4:1,3:2,2:3,1:4],
	[4,0,1,3,2,2,1,1,6,0],
	[3,1,2,1,4,0,3,2,1,3],
	[c@[7,1],t@[4,10],w@[6,8]]).
problem(10615,
	[4:1,3:2,2:3,1:4],
	[4,1,5,1,1,3,0,2,2,1],
	[2,2,3,2,2,2,1,1,4,1],
	[c@[6,2],l@[8,5],w@[3,1],w@[6,8]]).
problem(10634,
	[4:1,3:2,2:3,1:4],
	[2,2,5,1,5,1,2,1,0,1],
	[6,1,0,2,1,3,1,1,2,3],
	[c@[7,8],w@[2,6]]).
problem(10766,
	[4:1,3:2,2:3,1:4],
	[0,6,2,2,3,0,6,0,1,0],
	[2,1,3,2,2,1,2,3,0,4],
	[c@[5,1],c@[9,5]]).
problem(10898,
	[4:1,3:2,2:3,1:4],
	[0,3,0,6,1,5,1,3,0,1],
	[4,0,3,2,1,4,1,2,2,1],
	[c@[10,8],c@[8,3],w@[2,7]]).
problem(10965,
	[4:1,3:2,2:3,1:4],
	[2,2,2,2,1,2,3,2,0,4],
	[1,2,2,1,3,3,1,1,2,4],
	[c@[2,5],c@[8,1],w@[3,2]]).
problem(11007,
	[4:1,3:2,2:3,1:4],
	[3,3,2,0,5,0,1,1,0,5],
	[3,1,1,3,1,5,1,1,3,1],
	[c@[5,8],c@[2,1]]).
problem(11010,
	[4:1,3:2,2:3,1:4],
	[2,0,1,2,1,2,4,0,6,2],
	[3,4,3,3,1,1,1,2,1,1],
	[w@[3,2]]).
problem(11205,
	[4:1,3:2,2:3,1:4],
	[1,2,2,0,4,1,1,3,1,5],
	[2,1,1,1,3,2,2,2,1,5],
	[c@[2,4],c@[7,1],m@[5,9],w@[5,3]]).
problem(11311,
	[4:1,3:2,2:3,1:4],
	[1,2,1,1,4,1,1,4,2,3],
	[0,3,0,4,0,3,0,3,1,6],
	[c@[2,4],b@[9,6]]).
problem(11349,
	[4:1,3:2,2:3,1:4],
	[0,0,4,4,2,5,1,2,2,0],
	[2,1,1,2,1,3,3,1,3,3],
	[w@[4,1],w@[7,10]]).
problem(11461,
	[4:1,3:2,2:3,1:4],
	[2,4,2,3,1,2,2,1,3,0],
	[4,0,1,1,1,5,1,1,5,1],
	[c@[3,1],c@[9,1]]).
problem(11480,
	[4:1,3:2,2:3,1:4],
	[2,1,3,2,1,1,2,1,4,3],
	[0,0,5,1,4,2,3,2,1,2],
	[m@[6,3],w@[1,7]]).
problem(11679,
	[4:1,3:2,2:3,1:4],
	[6,0,3,2,1,0,1,3,0,4],
	[3,0,2,3,2,3,1,2,1,3],
	[c@[10,6],c@[3,3],w@[3,8]]).
problem(11715,
	[4:1,3:2,2:3,1:4],
	[5,2,1,2,0,6,1,1,1,1],
	[4,1,1,2,1,2,2,2,0,5],
	[c@[1,3],c@[9,8],w@[4,1]]).
problem(11765,
	[4:1,3:2,2:3,1:4],
	[1,1,0,4,3,3,1,2,4,1],
	[1,0,4,3,2,1,0,5,1,3],
	[c@[9,10],w@[6,8]]).
problem(11794,
	[4:1,3:2,2:3,1:4],
	[1,4,1,4,2,2,1,2,0,3],
	[1,5,1,2,1,1,1,2,4,2],
	[c@[4,6],c@[6,7],w@[2,1]]).
problem(11830,
	[4:1,3:2,2:3,1:4],
	[2,5,2,2,1,1,0,2,1,4],
	[2,1,2,3,3,1,2,3,2,1],
	[c@[4,7],c@[4,3],w@[1,1]]).
problem(11974,
	[4:1,3:2,2:3,1:4],
	[0,4,1,3,1,4,3,3,1,0],
	[4,1,2,3,2,0,3,1,1,3],
	[c@[6,1],w@[4,7]]).
problem(12183,
	[4:1,3:2,2:3,1:4],
	[2,1,1,1,1,3,3,2,5,1],
	[1,1,1,4,1,2,3,3,3,1],
	[c@[1,10],w@[3,8]]).
problem(12248,
	[4:1,3:2,2:3,1:4],
	[0,0,1,2,3,3,3,3,2,3],
	[3,1,1,3,0,4,0,4,0,4],
	[c@[7,3],c@[6,1],b@[6,6],w@[4,8]]).
problem(12271,
	[4:1,3:2,2:3,1:4],
	[2,1,2,5,1,3,3,1,0,2],
	[2,3,1,1,5,0,3,3,1,1],
	[c@[8,3]]).
problem(12401,
	[4:1,3:2,2:3,1:4],
	[0,0,1,4,3,5,3,3,1,0],
	[4,0,3,2,2,2,0,4,1,2],
	[w@[4,6]]).
problem(12444,
	[4:1,3:2,2:3,1:4],
	[2,4,0,3,3,3,2,1,1,1],
	[4,0,3,1,2,1,4,1,3,1],
	[c@[9,5],c@[5,5],w@[4,10],w@[4,9]]).
problem(12536,
	[4:1,3:2,2:3,1:4],
	[3,2,2,5,0,4,2,1,1,0],
	[3,1,2,2,2,1,3,1,1,4],
	[c@[6,8],c@[9,3],w@[6,4]]).
problem(12554,
	[4:1,3:2,2:3,1:4],
	[3,2,1,7,0,4,1,2,0,0],
	[3,2,3,2,2,1,2,2,0,3],
	[t@[6,10],c@[6,3],w@[1,1]]).
problem(12620,
	[4:1,3:2,2:3,1:4],
	[1,6,1,2,1,1,1,0,4,3],
	[1,1,4,3,3,1,4,0,3,0],
	[]).
problem(12647,
	[4:1,3:2,2:3,1:4],
	[2,0,5,1,3,3,2,4,0,0],
	[2,2,2,1,4,2,1,2,2,2],
	[c@[5,9],w@[3,5]]).
problem(12681,
	[4:1,3:2,2:3,1:4],
	[0,0,1,1,2,3,2,4,1,6],
	[2,1,5,1,3,1,1,2,1,3],
	[c@[5,7],w@[4,3]]).
problem(12737,
	[4:1,3:2,2:3,1:4],
	[4,0,1,4,4,1,0,1,2,3],
	[2,1,2,1,3,1,4,2,2,2],
	[c@[5,5],c@[8,3],w@[1,4]]).
problem(12838,
	[4:1,3:2,2:3,1:4],
	[0,2,0,4,3,2,4,2,3,0],
	[4,2,3,2,1,2,1,3,1,1],
	[c@[7,8],w@[6,1]]).
problem(12926,
	[4:1,3:2,2:3,1:4],
	[1,0,1,0,2,6,1,2,5,2],
	[2,2,2,1,4,0,2,3,1,3],
	[c@[10,9],c@[1,1]]).
problem(13082,
	[4:1,3:2,2:3,1:4],
	[0,3,3,1,1,2,1,1,4,4],
	[1,1,2,1,1,3,3,2,5,1],
	[w@[2,7]]).
problem(13085,
	[4:1,3:2,2:3,1:4],
	[2,0,6,1,4,1,2,1,0,3],
	[4,1,1,2,1,1,3,1,5,1],
	[c@[8,9],c@[10,2],w@[1,7]]).
problem(13131,
	[4:1,3:2,2:3,1:4],
	[2,0,1,2,3,3,4,1,0,4],
	[3,0,5,0,2,0,2,3,1,4],
	[c@[6,5],t@[3,8]]).
problem(13178,
	[4:1,3:2,2:3,1:4],
	[3,0,5,1,3,2,3,1,2,0],
	[2,4,1,5,2,1,1,2,1,1],
	[c@[9,7],c@[5,6],w@[7,8]]).
problem(13232,
	[4:1,3:2,2:3,1:4],
	[1,3,4,2,5,1,1,2,1,0],
	[3,1,1,5,0,2,3,0,1,4],
	[c@[7,1],w@[2,6]]).
problem(13275,
	[4:1,3:2,2:3,1:4],
	[0,2,6,1,4,3,0,1,3,0],
	[3,3,1,2,1,2,1,2,4,1],
	[w@[2,1]]).
problem(13284,
	[4:1,3:2,2:3,1:4],
	[1,3,2,3,0,1,0,4,4,2],
	[3,1,1,3,1,2,3,1,4,1],
	[c@[1,7],c@[4,1],w@[6,4]]).
problem(13391,
	[4:1,3:2,2:3,1:4],
	[1,2,0,4,5,1,4,3,0,0],
	[2,2,2,3,1,3,2,1,2,2],
	[w@[5,6]]).
problem(13441,
	[4:1,3:2,2:3,1:4],
	[6,1,3,2,3,2,0,1,1,1],
	[1,3,1,4,1,1,5,2,1,1],
	[c@[9,1],c@[10,8]]).
problem(13494,
	[4:1,3:2,2:3,1:4],
	[3,1,0,1,3,3,2,2,4,1],
	[2,4,0,5,0,3,2,2,2,0],
	[b@[5,4],c@[2,9],w@[6,9]]).
problem(13530,
	[4:1,3:2,2:3,1:4],
	[1,2,3,2,1,3,1,2,2,3],
	[2,0,2,4,0,2,4,1,3,2],
	[c@[4,3],c@[8,6],w@[1,7]]).
problem(13601,
	[4:1,3:2,2:3,1:4],
	[4,2,1,0,4,3,0,1,4,1],
	[2,1,1,2,4,2,3,2,2,1],
	[m@[1,2],w@[1,7]]).
problem(13679,
	[4:1,3:2,2:3,1:4],
	[2,3,3,2,1,5,1,2,0,1],
	[1,3,3,2,2,3,4,1,1,0],
	[c@[8,9]]).
problem(13691,
	[4:1,3:2,2:3,1:4],
	[0,0,2,4,1,3,3,3,4,0],
	[5,1,1,2,3,0,1,4,0,3],
	[l@[4,4],w@[3,10]]).
problem(13745,
	[4:1,3:2,2:3,1:4],
	[0,1,3,1,4,2,1,4,2,2],
	[4,0,1,5,2,2,3,0,2,1],
	[l@[5,5],c@[10,1]]).
problem(13860,
	[4:1,3:2,2:3,1:4],
	[1,4,2,3,3,1,1,2,1,2],
	[5,2,1,6,1,0,3,0,2,0],
	[c@[4,1]]).
problem(13940,
	[4:1,3:2,2:3,1:4],
	[0,6,1,4,0,4,0,1,0,4],
	[2,1,1,2,3,2,3,3,2,1],
	[c@[4,7],c@[4,3],w@[6,5]]).
problem(14011,
	[4:1,3:2,2:3,1:4],
	[0,0,2,3,4,4,3,1,1,2],
	[4,1,0,3,0,5,0,5,0,2],
	[c@[3,10],m@[5,1],w@[3,6]]).
problem(14041,
	[4:1,3:2,2:3,1:4],
	[1,2,4,1,4,4,2,2,0,0],
	[4,0,6,0,3,2,0,1,3,1],
	[m@[7,1]]).
problem(14309,
	[4:1,3:2,2:3,1:4],
	[0,6,1,6,0,2,0,2,2,1],
	[1,1,2,1,3,2,3,3,2,2],
	[c@[6,3],w@[8,7],w@[2,1]]).
problem(14333,
	[4:1,3:2,2:3,1:4],
	[4,1,2,2,4,1,3,1,1,1],
	[4,2,0,0,1,2,2,4,4,1],
	[b@[5,1]]).
problem(14435,
	[4:1,3:2,2:3,1:4],
	[5,3,1,0,0,2,4,2,3,0],
	[4,1,3,2,3,2,2,1,2,0],
	[c@[6,7],w@[8,5]]).
problem(14451,
	[4:1,3:2,2:3,1:4],
	[2,2,5,2,1,1,0,3,4,0],
	[3,4,1,1,4,0,4,1,1,1],
	[w@[8,1]]).
problem(14488,
	[4:1,3:2,2:3,1:4],
	[1,2,6,2,4,0,1,2,1,1],
	[4,0,3,1,2,0,2,3,3,2],
	[c@[5,9],w@[1,9]]).
problem(14489,
	[4:1,3:2,2:3,1:4],
	[1,3,2,2,2,1,4,1,2,2],
	[1,4,0,0,6,0,2,5,0,2],
	[c@[2,7],c@[7,1],w@[4,7]]).
problem(14498,
	[4:1,3:2,2:3,1:4],
	[2,4,2,1,4,3,1,1,2,0],
	[1,1,3,1,4,2,1,3,3,1],
	[l@[9,9],w@[1,6]]).
problem(14533,
	[4:1,3:2,2:3,1:4],
	[2,1,1,1,5,1,3,1,3,2],
	[3,0,4,1,2,1,4,0,5,0],
	[t@[2,7],c@[9,1],w@[5,4]]).
problem(14564,
	[4:1,3:2,2:3,1:4],
	[2,1,4,1,2,3,1,5,1,0],
	[3,2,3,1,2,0,5,0,4,0],
	[l@[1,1],l@[8,2],w@[6,3]]).
problem(14692,
	[4:1,3:2,2:3,1:4],
	[2,2,1,2,2,4,1,5,1,0],
	[5,0,4,1,2,1,2,4,0,1],
	[c@[6,7],l@[6,4],w@[2,3]]).
problem(14698,
	[4:1,3:2,2:3,1:4],
	[5,1,1,2,2,1,1,1,5,1],
	[1,4,1,1,4,1,1,3,1,3],
	[c@[8,8],c@[6,2],w@[5,8]]).
problem(14709,
	[4:1,3:2,2:3,1:4],
	[4,0,4,1,1,1,2,2,0,5],
	[5,0,4,1,1,1,2,2,2,2],
	[c@[4,1],c@[1,10],w@[1,6]]).
problem(14958,
	[4:1,3:2,2:3,1:4],
	[0,2,1,1,3,0,4,4,2,3],
	[2,1,2,4,2,2,1,1,4,1],
	[c@[10,5],w@[5,8]]).
problem(15012,
	[4:1,3:2,2:3,1:4],
	[5,2,2,2,1,2,0,1,1,4],
	[4,0,4,0,3,1,2,2,1,3],
	[c@[4,3],c@[4,5],w@[3,10]]).
problem(15534,
	[4:1,3:2,2:3,1:4],
	[2,2,3,2,2,0,3,3,2,1],
	[1,0,4,3,0,5,1,4,2,0],
	[c@[9,9],w@[1,6]]).
problem(15553,
	[4:1,3:2,2:3,1:4],
	[2,5,1,1,1,2,1,4,3,0],
	[1,4,3,2,2,3,1,1,3,0],
	[t@[5,9],w@[1,1]]).
problem(15567,
	[4:1,3:2,2:3,1:4],
	[5,1,2,3,4,1,2,0,1,1],
	[3,4,1,5,0,3,0,1,3,0],
	[c@[7,6],w@[2,9],w@[3,1]]).
problem(15769,
	[4:1,3:2,2:3,1:4],
	[6,0,0,1,1,2,2,1,2,5],
	[2,1,1,1,5,1,3,2,3,1],
	[c@[1,7],w@[4,7]]).
problem(15837,
	[4:1,3:2,2:3,1:4],
	[3,4,1,0,2,2,2,1,4,1],
	[3,0,2,2,2,3,2,3,1,2],
	[l@[7,3],c@[5,10],w@[8,10],w@[1,7]]).
problem(15841,
	[4:1,3:2,2:3,1:4],
	[5,0,0,1,0,5,2,3,2,2],
	[2,2,4,1,2,3,2,0,3,1],
	[c@[8,3],c@[1,7]]).
problem(15943,
	[4:1,3:2,2:3,1:4],
	[2,2,1,2,0,4,3,4,2,0],
	[5,1,3,0,1,2,1,3,4,0],
	[c@[4,3],w@[8,7]]).
problem(16097,
	[4:1,3:2,2:3,1:4],
	[1,6,2,3,5,1,0,0,0,2],
	[3,1,1,1,4,1,3,2,1,3],
	[w@[5,4]]).
problem(16111,
	[4:1,3:2,2:3,1:4],
	[1,5,0,4,0,2,1,2,4,1],
	[3,1,1,4,2,3,2,0,4,0],
	[c@[4,7],b@[8,9],w@[1,1],w@[8,4]]).
problem(16136,
	[4:1,3:2,2:3,1:4],
	[2,1,0,5,2,2,2,1,2,3],
	[4,2,3,0,2,0,2,1,2,4],
	[c@[6,5],c@[4,5],w@[4,1],w@[1,3]]).
problem(16163,
	[4:1,3:2,2:3,1:4],
	[0,1,4,3,1,5,0,0,2,4],
	[3,1,1,3,1,3,3,2,2,1],
	[c@[5,10],w@[3,7]]).
problem(16266,
	[4:1,3:2,2:3,1:4],
	[1,5,3,2,3,0,1,2,2,1],
	[4,1,2,1,2,3,1,3,1,2],
	[c@[5,8],c@[10,8]]).
problem(16296,
	[4:1,3:2,2:3,1:4],
	[5,1,0,2,2,4,1,4,0,1],
	[2,2,1,2,3,2,3,2,2,1],
	[c@[2,8],c@[6,1]]).
problem(16345,
	[4:1,3:2,2:3,1:4],
	[2,0,1,5,1,4,2,2,1,2],
	[4,1,2,0,1,2,3,1,3,3],
	[c@[4,1],w@[3,10]]).
problem(16360,
	[4:1,3:2,2:3,1:4],
	[5,1,0,3,0,5,2,2,2,0],
	[3,0,5,1,3,2,2,3,0,1],
	[c@[8,1],c@[9,5]]).
problem(16395,
	[4:1,3:2,2:3,1:4],
	[2,1,1,1,1,5,1,3,3,2],
	[2,4,2,1,3,1,4,0,1,2],
	[c@[10,7],c@[6,9],w@[8,3]]).
problem(16403,
	[4:1,3:2,2:3,1:4],
	[4,3,1,1,1,3,4,2,1,0],
	[2,0,2,3,4,3,1,2,0,3],
	[c@[6,8],w@[6,6],w@[5,1]]).
problem(16409,
	[4:1,3:2,2:3,1:4],
	[2,1,3,1,4,1,5,0,1,2],
	[2,4,0,1,4,1,1,3,2,2],
	[c@[3,7],c@[1,10],w@[1,5]]).
problem(16495,
	[4:1,3:2,2:3,1:4],
	[1,0,2,2,4,1,5,1,0,4],
	[1,4,1,1,5,0,1,1,0,6],
	[m@[4,2]]).
problem(16600,
	[4:1,3:2,2:3,1:4],
	[5,0,1,4,0,1,6,0,3,0],
	[3,2,0,1,3,3,1,2,3,2],
	[c@[9,10],w@[4,1]]).
problem(16692,
	[4:1,3:2,2:3,1:4],
	[4,0,4,1,2,1,2,1,3,2],
	[2,1,4,2,2,2,2,3,0,2],
	[c@[10,5],m@[5,8],c@[7,3]]).
problem(16721,
	[4:1,3:2,2:3,1:4],
	[0,3,5,0,6,0,1,1,1,3],
	[4,3,2,1,2,2,1,2,2,1],
	[m@[5,4],w@[2,8],w@[9,6]]).
problem(16734,
	[4:1,3:2,2:3,1:4],
	[2,4,2,1,1,2,1,1,0,6],
	[3,1,3,2,2,2,1,3,1,2],
	[c@[7,1],c@[6,5],w@[3,10]]).
problem(16740,
	[4:1,3:2,2:3,1:4],
	[2,0,1,4,4,3,0,6,0,0],
	[4,0,4,0,3,0,3,1,3,2],
	[c@[6,1]]).
problem(16798,
	[4:1,3:2,2:3,1:4],
	[0,4,1,2,1,1,2,3,0,6],
	[2,3,1,1,3,3,2,1,4,0],
	[c@[7,5],c@[2,9],w@[7,9]]).
problem(16932,
	[4:1,3:2,2:3,1:4],
	[4,2,2,2,7,1,0,0,2,0],
	[4,0,4,1,3,0,1,2,3,2],
	[m@[4,3]]).
problem(16942,
	[4:1,3:2,2:3,1:4],
	[1,0,3,0,4,1,0,7,0,4],
	[1,3,1,4,2,2,2,2,3,0],
	[m@[5,7],c@[10,4],w@[1,2]]).
problem(16981,
	[4:1,3:2,2:3,1:4],
	[0,2,5,0,5,2,4,0,2,0],
	[2,3,1,2,2,1,2,3,2,2],
	[c@[5,8],w@[2,2]]).
problem(17147,
	[4:1,3:2,2:3,1:4],
	[4,0,1,1,2,2,1,2,3,4],
	[4,1,4,1,0,2,1,1,4,2],
	[c@[10,10],c@[3,1],w@[1,3]]).
problem(17166,
	[4:1,3:2,2:3,1:4],
	[0,5,1,3,1,4,2,1,2,1],
	[4,0,2,2,0,1,1,5,0,5],
	[c@[10,4],w@[6,1]]).
problem(17265,
	[4:1,3:2,2:3,1:4],
	[4,0,1,4,1,0,3,2,0,5],
	[2,1,0,3,2,3,1,4,2,2],
	[c@[3,8],c@[1,1]]).
problem(17439,
	[4:1,3:2,2:3,1:4],
	[5,0,1,2,6,2,3,0,1,0],
	[2,1,3,1,2,3,0,3,0,5],
	[c@[7,1],w@[7,6]]).
problem(17449,
	[4:1,3:2,2:3,1:4],
	[4,1,1,4,1,0,5,4,0,0],
	[3,2,1,1,3,1,4,1,3,1],
	[c@[4,1],w@[1,5]]).
problem(17452,
	[4:1,3:2,2:3,1:4],
	[1,5,2,3,1,0,2,4,1,1],
	[2,2,3,1,2,2,2,3,3,0],
	[c@[7,9],w@[8,4]]).
problem(17496,
	[4:1,3:2,2:3,1:4],
	[1,2,2,2,2,2,4,1,3,1],
	[1,1,3,0,6,0,4,0,0,5],
	[c@[3,1],c@[1,7],w@[5,5]]).
problem(17498,
	[4:1,3:2,2:3,1:4],
	[3,2,1,4,0,1,1,1,4,3],
	[1,2,2,2,3,1,3,1,1,4],
	[m@[7,10],l@[1,1],w@[3,9]]).
problem(17508,
	[4:1,3:2,2:3,1:4],
	[2,0,2,1,1,2,2,5,1,4],
	[3,4,0,1,1,2,1,4,3,1],
	[b@[4,9],w@[6,6]]).
problem(17521,
	[4:1,3:2,2:3,1:4],
	[0,3,2,2,2,3,2,1,0,5],
	[5,1,3,0,4,0,1,3,1,2],
	[l@[7,7],w@[10,1],w@[3,5]]).
problem(17601,
	[4:1,3:2,2:3,1:4],
	[2,2,1,5,1,2,3,2,1,1],
	[3,1,3,4,1,1,3,0,3,1],
	[c@[2,3],c@[1,9],w@[3,1]]).
problem(17629,
	[4:1,3:2,2:3,1:4],
	[5,3,2,0,0,0,3,0,5,2],
	[3,2,2,2,3,1,2,1,2,2],
	[c@[10,1],w@[3,5]]).
problem(17721,
	[4:1,3:2,2:3,1:4],
	[1,1,6,2,1,3,2,3,0,1],
	[1,1,1,3,3,4,1,3,0,3],
	[c@[8,8]]).
problem(17734,
	[4:1,3:2,2:3,1:4],
	[2,1,3,1,4,0,3,1,1,4],
	[5,2,2,1,3,1,1,0,5,0],
	[c@[9,5],l@[5,4],w@[1,5]]).
problem(17755,
	[4:1,3:2,2:3,1:4],
	[1,1,0,0,3,2,3,3,2,5],
	[2,0,4,0,1,4,1,3,1,4],
	[c@[8,10],l@[10,7],w@[6,8]]).
problem(17759,
	[4:1,3:2,2:3,1:4],
	[1,2,3,2,1,1,3,2,4,1],
	[4,0,3,3,0,6,1,2,0,1],
	[c@[7,3],c@[2,8]]).
problem(17844,
	[4:1,3:2,2:3,1:4],
	[2,2,2,0,5,1,1,1,5,1],
	[2,3,2,3,0,4,2,2,2,0],
	[m@[7,6],l@[1,1],w@[2,9],w@[5,9]]).
problem(17901,
	[4:1,3:2,2:3,1:4],
	[2,0,0,3,3,2,2,2,2,4],
	[4,1,3,3,2,2,0,2,1,2],
	[c@[7,5],c@[1,10]]).
problem(17971,
	[4:1,3:2,2:3,1:4],
	[1,1,2,3,1,0,4,1,2,5],
	[3,2,3,2,0,2,2,1,3,2],
	[c@[9,10],w@[4,3],w@[3,1],w@[8,8]]).
problem(17996,
	[4:1,3:2,2:3,1:4],
	[3,1,2,3,2,3,1,0,5,0],
	[1,3,1,3,2,1,2,1,3,3],
	[c@[5,9],c@[6,7],w@[1,8]]).
problem(18012,
	[4:1,3:2,2:3,1:4],
	[2,0,4,1,3,1,2,2,2,3],
	[2,0,3,0,3,1,5,0,2,4],
	[c@[10,7],m@[8,3]]).
problem(18037,
	[4:1,3:2,2:3,1:4],
	[1,3,5,3,3,2,1,0,0,2],
	[3,1,4,1,1,4,1,3,1,1],
	[w@[4,1]]).
problem(18055,
	[4:1,3:2,2:3,1:4],
	[0,1,1,0,4,3,2,3,3,3],
	[2,2,2,3,1,2,1,4,2,1],
	[c@[10,3],w@[7,4],w@[2,2]]).
problem(18068,
	[4:1,3:2,2:3,1:4],
	[3,0,5,0,5,3,0,1,1,2],
	[3,1,3,2,3,2,1,3,1,1],
	[r@[5,4],c@[3,1],w@[5,6]]).
problem(18133,
	[4:1,3:2,2:3,1:4],
	[0,2,0,2,2,3,2,4,2,3],
	[0,4,0,4,4,1,3,1,2,1],
	[t@[4,7]]).
problem(18164,
	[4:1,3:2,2:3,1:4],
	[3,0,1,0,2,3,2,2,1,6],
	[4,2,2,1,5,1,2,1,2,0],
	[c@[7,1],w@[1,3],w@[3,3]]).
problem(18201,
	[4:1,3:2,2:3,1:4],
	[2,2,4,0,4,3,3,1,0,1],
	[3,2,2,2,1,2,2,2,2,2],
	[c@[1,3],c@[8,6],w@[3,1]]).
problem(18390,
	[4:1,3:2,2:3,1:4],
	[4,0,2,5,1,1,2,2,2,1],
	[2,0,1,1,1,4,3,5,2,1],
	[w@[8,8],w@[3,9]]).
problem(18497,
	[4:1,3:2,2:3,1:4],
	[1,1,1,2,4,3,1,0,5,2],
	[2,5,2,3,2,1,0,2,1,2],
	[w@[9,5]]).
problem(18549,
	[4:1,3:2,2:3,1:4],
	[6,0,4,0,0,0,1,2,2,5],
	[4,1,1,3,1,3,1,2,1,3],
	[c@[9,4],m@[1,4],w@[7,10]]).
problem(18580,
	[4:1,3:2,2:3,1:4],
	[3,0,1,4,2,3,3,3,1,0],
	[1,1,3,2,2,4,1,2,3,1],
	[l@[4,4],w@[6,1]]).
problem(18601,
	[4:1,3:2,2:3,1:4],
	[4,2,2,1,3,1,1,1,1,4],
	[5,0,4,0,2,3,2,3,1,0],
	[c@[1,8],c@[5,5],m@[2,1],w@[6,1]]).
problem(18723,
	[4:1,3:2,2:3,1:4],
	[5,1,1,1,1,3,3,3,1,1],
	[1,2,1,2,0,3,2,3,1,5],
	[m@[7,3],m@[1,8],w@[9,8]]).
problem(18731,
	[4:1,3:2,2:3,1:4],
	[4,1,1,3,1,6,0,0,4,0],
	[3,1,4,0,3,1,1,2,2,3],
	[c@[6,8],w@[5,5]]).
problem(18758,
	[4:1,3:2,2:3,1:4],
	[1,1,1,5,1,2,2,4,1,2],
	[4,0,5,1,1,0,1,2,1,5],
	[c@[2,4],c@[8,8]]).
problem(18796,
	[4:1,3:2,2:3,1:4],
	[2,2,4,2,2,0,1,1,2,4],
	[0,4,1,4,4,0,5,0,2,0],
	[w@[3,7]]).
problem(18925,
	[4:1,3:2,2:3,1:4],
	[0,0,1,5,2,4,1,0,3,4],
	[3,0,2,2,1,3,2,2,3,2],
	[t@[5,1],w@[3,6]]).
problem(19061,
	[4:1,3:2,2:3,1:4],
	[6,1,1,1,4,4,1,0,1,1],
	[3,0,5,2,3,2,1,2,2,0],
	[w@[3,5],w@[9,6]]).
problem(19153,
	[4:1,3:2,2:3,1:4],
	[1,0,5,1,3,2,0,0,4,4],
	[3,2,1,2,3,4,1,2,2,0],
	[w@[3,1],w@[9,7]]).
problem(19275,
	[4:1,3:2,2:3,1:4],
	[1,0,0,0,2,4,3,3,2,5],
	[4,2,1,2,3,2,1,1,0,4],
	[w@[9,10],w@[1,2]]).
problem(19293,
	[4:1,3:2,2:3,1:4],
	[1,1,1,4,1,0,3,1,7,1],
	[1,2,1,2,1,5,0,5,1,2],
	[c@[1,9],w@[4,4]]).
problem(19366,
	[4:1,3:2,2:3,1:4],
	[0,1,0,0,4,4,3,4,2,2],
	[5,0,1,2,1,3,1,1,4,2],
	[w@[2,1]]).
problem(19448,
	[4:1,3:2,2:3,1:4],
	[2,2,3,3,2,1,2,0,4,1],
	[0,4,2,0,2,1,5,1,5,0],
	[l@[4,2],c@[6,9]]).
problem(19533,
	[4:1,3:2,2:3,1:4],
	[0,2,1,2,4,2,2,2,3,2],
	[1,1,3,2,3,2,3,1,4,0],
	[c@[8,7],w@[9,4]]).
problem(19552,
	[4:1,3:2,2:3,1:4],
	[0,2,2,1,2,4,3,4,1,1],
	[2,3,2,2,0,0,4,0,2,5],
	[w@[7,9],w@[2,1]]).
problem(19560,
	[4:1,3:2,2:3,1:4],
	[1,1,2,2,4,2,2,2,1,3],
	[3,5,1,5,0,4,0,1,1,0],
	[c@[10,2]]).
problem(19571,
	[4:1,3:2,2:3,1:4],
	[4,3,1,0,1,1,1,2,3,4],
	[2,1,2,2,3,2,3,2,2,1],
	[c@[9,10],c@[3,1]]).
problem(19598,
	[4:1,3:2,2:3,1:4],
	[0,1,3,2,3,2,4,2,1,2],
	[3,1,4,1,2,3,1,3,1,1],
	[c@[6,5],w@[5,8]]).
problem(19621,
	[4:1,3:2,2:3,1:4],
	[3,3,1,2,1,4,1,1,3,1],
	[1,4,1,4,1,1,1,1,1,5],
	[c@[4,3],c@[9,6],w@[6,2]]).
problem(19743,
	[4:1,3:2,2:3,1:4],
	[0,1,6,2,2,1,1,4,3,0],
	[2,4,0,4,1,3,1,1,2,2],
	[c@[6,6],w@[2,4]]).
problem(19759,
	[4:1,3:2,2:3,1:4],
	[2,1,2,0,4,2,1,5,0,3],
	[3,3,0,3,1,2,2,2,1,3],
	[c@[2,6],c@[3,4],w@[3,2]]).
problem(19806,
	[4:1,3:2,2:3,1:4],
	[4,2,2,2,4,1,3,2,0,0],
	[3,2,2,1,2,1,5,0,2,2],
	[c@[8,6],c@[5,9],w@[3,5]]).
problem(19819,
	[4:1,3:2,2:3,1:4],
	[0,0,1,0,5,3,5,1,2,3],
	[3,1,2,1,4,1,1,3,1,3],
	[c@[3,10],w@[9,7]]).
problem(19848,
	[4:1,3:2,2:3,1:4],
	[4,0,2,0,1,3,0,5,0,5],
	[1,3,3,1,1,3,2,3,1,2],
	[c@[8,1],l@[1,5],c@[3,8],w@[5,10]]).
problem(20058,
	[4:1,3:2,2:3,1:4],
	[0,0,3,1,3,6,1,4,1,1],
	[3,2,2,2,1,3,1,1,0,5],
	[l@[6,5],w@[3,1]]).
problem(20183,
	[4:1,3:2,2:3,1:4],
	[0,1,5,2,3,2,1,4,1,1],
	[0,4,1,4,1,3,3,1,1,2],
	[c@[8,6],w@[6,4]]).
problem(20250,
	[4:1,3:2,2:3,1:4],
	[1,0,6,1,3,1,1,2,4,1],
	[5,0,2,1,1,3,3,2,2,1],
	[c@[1,1],l@[9,7]]).
problem(20263,
	[4:1,3:2,2:3,1:4],
	[1,5,2,1,1,4,0,4,1,1],
	[4,2,3,2,2,1,1,2,0,3],
	[c@[3,5],c@[10,10],w@[6,1],w@[1,8]]).
