% 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]]).