:-module(wumpus_world_big). :-lib(fd). :-export adjacent/2. :-export neighbours/2. :-export initial_state/1. :-export real_world/1. :-export action/3. :-export aux/1. :-export sensors/1. :-export sensor_axiom/2. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Declare Auxiliary Predicates %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% aux([neighbours]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Declare Sensor Fluents %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% sensors([breeze,glitter,stench]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Declare Size of Wumpus World %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Choose world size: %% dimension(4). %% dimension(8). dimension(16). %% dimension(32). real_world(W) :- dimension(Dim), real_world(Dim,W). initial_state(State) :- dimension(Dim), initial_state(Dim,State). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Actions %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% Grab gold action(grab, [at(gold,Cell),at(agent,Cell)], [carries(agent,gold),neg(at(gold,Cell))]). %% Go to next cell action(go(Cell1,Cell2), [at(agent,Cell1), connected(Cell1,Cell2)], [neg(at(agent,Cell1)), at(agent,Cell2)]). %% Shoot the Wumpus action(shoot, [carries(agent,arrow), at(wumpus,Cell1), at(agent,Cell2), connected(Cell2,Cell1)], [neg(carries(agent,arrow)), neg(alive(wumpus))]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Sensor Axioms %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% sensor_axiom(breeze(X),[ [X-true] - [at(agent,Y),neighbours(Y,[Cell1,Cell2,Cell3,Cell4])] - [[ pit(Cell1),pit(Cell2),pit(Cell3),pit(Cell4)]], [X-false] - [at(agent,Y),neighbours(Y,[Cell1,Cell2,Cell3,Cell4])] - [neg(pit(Cell1)),neg(pit(Cell2)),neg(pit(Cell3)),neg(pit(Cell4))] ]). sensor_axiom(glitter(X),[ [X-true] - [at(agent,Y)] - [at(gold,Y)], [X-false] - [at(agent,Y)]- [neg(at(gold,Y))] ]). sensor_axiom(stench(X),[ [X-true] - [at(agent,Y),neighbours(Y,[Cell1,Cell2,Cell3,Cell4])]- [[ at(wumpus,Cell1),at(wumpus,Cell2),at(wumpus,Cell3),at(wumpus,Cell4)]], [X-false] - [at(agent,Y),neighbours(Y,[Cell1,Cell2,Cell3,Cell4])]- [neg(at(wumpus,Cell1)),neg(at(wumpus,Cell2)),neg(at(wumpus,Cell3)),neg(at(wumpus,Cell4))] ]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Auxiliary Axioms %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% adjacent(cell(X,Y),cell(X1,Y1)) :- dimension(Dim), [X,Y,X1,Y1]::1..Dim, (X1#=X) #/\ (Y1#=Y+1) #\/ (X1#=X) #/\ (Y1#=Y-1) #\/ (X1#=X+1) #/\ (Y1#=Y) #\/ (X1#=X-1) #/\ (Y1#=Y), labeling([X,Y,X1,Y1]). neighbours(cell(X,Y), [cell(X,Y1),cell(X,Y2),cell(X1,Y),cell(X2,Y)]) :- Y1 is Y + 1, Y2 is Y - 1, X1 is X + 1, X2 is X - 1. %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% The real world %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% ... comes in four different sizes real_world(4,[at(wumpus,cell(2,4)), pit(cell(4,2)), at(gold,cell(4,4))]). real_world(8,[at(wumpus,cell(6,6)), at(gold,cell(7,6)), pit(cell(7,3)), pit(cell(5,3)), pit(cell(4,3)), pit(cell(5,7)), pit(cell(3,4))]). real_world(16,[at(wumpus,cell(9,6)), at(gold,cell(11,13)), pit(cell(2,3)), pit(cell(2,10)), pit(cell(5,4)), pit(cell(3,5)), pit(cell(8,6)), pit(cell(9,8)), pit(cell(13,8)), pit(cell(5,10)), pit(cell(11,11)), pit(cell(7,13))]). real_world(32,[at(wumpus,cell(8,13)), at(gold,cell(26,30)), pit(cell(4,1)), pit(cell(10,3)), pit(cell(18,3)), pit(cell(24,4)), pit(cell(6,5)), pit(cell(12,6)), pit(cell(28,6)), pit(cell(21,7)), pit(cell(21,8)), pit(cell(16,9)), pit(cell(5,10)), pit(cell(12,12)), pit(cell(21,12)), pit(cell(26,12)), pit(cell(4,13)), pit(cell(6,13)), pit(cell(10,13)), pit(cell(13,14)), pit(cell(6,15)), pit(cell(10,15)), pit(cell(29,15)), pit(cell(19,16)), pit(cell(23,16)), pit(cell(8,19)), pit(cell(15,19)), pit(cell(21,20)), pit(cell(25,20)), pit(cell(12,21)), pit(cell(6,22)), pit(cell(15,24)), pit(cell(21,24)), pit(cell(8,25)), pit(cell(28,25)), pit(cell(30,25)), pit(cell(25,26)), pit(cell(5,27)), pit(cell(12,28)), pit(cell(23,28)), pit(cell(8,30)), pit(cell(17,30)) ]). %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% %% %% %% Initial State as Fact %% %% %% %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% initial_state(4,State) :- State = [ %% No Wumpus or pits on the boundary neg(at(wumpus, cell(0, 1))), neg(at(wumpus, cell(0, 2))), neg(at(wumpus, cell(0, 3))), neg(at(wumpus, cell(0, 4))), neg(at(wumpus, cell(5, 1))), neg(at(wumpus, cell(5, 2))), neg(at(wumpus, cell(5, 3))), neg(at(wumpus, cell(5, 4))), neg(at(wumpus, cell(1, 0))), neg(at(wumpus, cell(2, 0))), neg(at(wumpus, cell(3, 0))), neg(at(wumpus, cell(4, 0))), neg(at(wumpus, cell(1, 5))), neg(at(wumpus, cell(2, 5))), neg(at(wumpus, cell(3, 5))), neg(at(wumpus, cell(4, 5))), neg(pit(cell(0, 1))), neg(pit(cell(0, 2))), neg(pit(cell(0, 3))), neg(pit(cell(0, 4))), neg(pit(cell(5, 1))), neg(pit(cell(5, 2))), neg(pit(cell(5, 3))), neg(pit(cell(5, 4))), neg(pit(cell(1, 0))), neg(pit(cell(2, 0))), neg(pit(cell(3, 0))), neg(pit(cell(4, 0))), neg(pit(cell(1, 5))), neg(pit(cell(2, 5))), neg(pit(cell(3, 5))), neg(pit(cell(4, 5))), %% The connected cells connected(cell(1, 1), cell(1, 2)), connected(cell(1, 1), cell(2, 1)), connected(cell(1, 2), cell(1, 1)), connected(cell(1, 2), cell(1, 3)), connected(cell(1, 2), cell(2, 2)), connected(cell(1, 3), cell(1, 2)), connected(cell(1, 3), cell(1, 4)), connected(cell(1, 3), cell(2, 3)), connected(cell(1, 4), cell(1, 3)), connected(cell(1, 4), cell(2, 4)), connected(cell(2, 1), cell(1, 1)), connected(cell(2, 1), cell(2, 2)), connected(cell(2, 1), cell(3, 1)), connected(cell(2, 2), cell(1, 2)), connected(cell(2, 2), cell(2, 1)), connected(cell(2, 2), cell(2, 3)), connected(cell(2, 2), cell(3, 2)), connected(cell(2, 3), cell(1, 3)), connected(cell(2, 3), cell(2, 2)), connected(cell(2, 3), cell(2, 4)), connected(cell(2, 3), cell(3, 3)), connected(cell(2, 4), cell(1, 4)), connected(cell(2, 4), cell(2, 3)), connected(cell(2, 4), cell(3, 4)), connected(cell(3, 1), cell(2, 1)), connected(cell(3, 1), cell(3, 2)), connected(cell(3, 1), cell(4, 1)), connected(cell(3, 2), cell(2, 2)), connected(cell(3, 2), cell(3, 1)), connected(cell(3, 2), cell(3, 3)), connected(cell(3, 2), cell(4, 2)), connected(cell(3, 3), cell(2, 3)), connected(cell(3, 3), cell(3, 2)), connected(cell(3, 3), cell(3, 4)), connected(cell(3, 3), cell(4, 3)), connected(cell(3, 4), cell(2, 4)), connected(cell(3, 4), cell(3, 3)), connected(cell(3, 4), cell(4, 4)), connected(cell(4, 1), cell(3, 1)), connected(cell(4, 1), cell(4, 2)), connected(cell(4, 2), cell(3, 2)), connected(cell(4, 2), cell(4, 1)), connected(cell(4, 2), cell(4, 3)), connected(cell(4, 3), cell(3, 3)), connected(cell(4, 3), cell(4, 2)), connected(cell(4, 3), cell(4, 4)), connected(cell(4, 4), cell(3, 4)), connected(cell(4, 4), cell(4, 3)), %% Agent is armed carries(agent, arrow), %% Agent is in the lower left corner at(agent, cell(1, 1)), %% The Wumpus is out there alive(wumpus) ]. initial_state(8,State) :- State = [ neg(at(wumpus, cell(0, 1))), neg(at(wumpus, cell(0, 2))), neg(at(wumpus, cell(0, 3))), neg(at(wumpus, cell(0, 4))), neg(at(wumpus, cell(0, 5))), neg(at(wumpus, cell(0, 6))), neg(at(wumpus, cell(0, 7))), neg(at(wumpus, cell(0, 8))), neg(at(wumpus, cell(9, 1))), neg(at(wumpus, cell(9, 2))), neg(at(wumpus, cell(9, 3))), neg(at(wumpus, cell(9, 4))), neg(at(wumpus, cell(9, 5))), neg(at(wumpus, cell(9, 6))), neg(at(wumpus, cell(9, 7))), neg(at(wumpus, cell(9, 8))), neg(at(wumpus, cell(1, 0))), neg(at(wumpus, cell(2, 0))), neg(at(wumpus, cell(3, 0))), neg(at(wumpus, cell(4, 0))), neg(at(wumpus, cell(5, 0))), neg(at(wumpus, cell(6, 0))), neg(at(wumpus, cell(7, 0))), neg(at(wumpus, cell(8, 0))), neg(at(wumpus, cell(1, 9))), neg(at(wumpus, cell(2, 9))), neg(at(wumpus, cell(3, 9))), neg(at(wumpus, cell(4, 9))), neg(at(wumpus, cell(5, 9))), neg(at(wumpus, cell(6, 9))), neg(at(wumpus, cell(7, 9))), neg(at(wumpus, cell(8, 9))), neg(pit(cell(0, 1))), neg(pit(cell(0, 2))), neg(pit(cell(0, 3))), neg(pit(cell(0, 4))), neg(pit(cell(0, 5))), neg(pit(cell(0, 6))), neg(pit(cell(0, 7))), neg(pit(cell(0, 8))), neg(pit(cell(9, 1))), neg(pit(cell(9, 2))), neg(pit(cell(9, 3))), neg(pit(cell(9, 4))), neg(pit(cell(9, 5))), neg(pit(cell(9, 6))), neg(pit(cell(9, 7))), neg(pit(cell(9, 8))), neg(pit(cell(1, 0))), neg(pit(cell(2, 0))), neg(pit(cell(3, 0))), neg(pit(cell(4, 0))), neg(pit(cell(5, 0))), neg(pit(cell(6, 0))), neg(pit(cell(7, 0))), neg(pit(cell(8, 0))), neg(pit(cell(1, 9))), neg(pit(cell(2, 9))), neg(pit(cell(3, 9))), neg(pit(cell(4, 9))), neg(pit(cell(5, 9))), neg(pit(cell(6, 9))), neg(pit(cell(7, 9))), neg(pit(cell(8, 9))), connected(cell(1, 1), cell(1, 2)), connected(cell(1, 1), cell(2, 1)), connected(cell(1, 2), cell(1, 1)), connected(cell(1, 2), cell(1, 3)), connected(cell(1, 2), cell(2, 2)), connected(cell(1, 3), cell(1, 2)), connected(cell(1, 3), cell(1, 4)), connected(cell(1, 3), cell(2, 3)), connected(cell(1, 4), cell(1, 3)), connected(cell(1, 4), cell(1, 5)), connected(cell(1, 4), cell(2, 4)), connected(cell(1, 5), cell(1, 4)), connected(cell(1, 5), cell(1, 6)), connected(cell(1, 5), cell(2, 5)), connected(cell(1, 6), cell(1, 5)), connected(cell(1, 6), cell(1, 7)), connected(cell(1, 6), cell(2, 6)), connected(cell(1, 7), cell(1, 6)), connected(cell(1, 7), cell(1, 8)), connected(cell(1, 7), cell(2, 7)), connected(cell(1, 8), cell(1, 7)), connected(cell(1, 8), cell(2, 8)), connected(cell(2, 1), cell(1, 1)), connected(cell(2, 1), cell(2, 2)), connected(cell(2, 1), cell(3, 1)), connected(cell(2, 2), cell(1, 2)), connected(cell(2, 2), cell(2, 1)), connected(cell(2, 2), cell(2, 3)), connected(cell(2, 2), cell(3, 2)), connected(cell(2, 3), cell(1, 3)), connected(cell(2, 3), cell(2, 2)), connected(cell(2, 3), cell(2, 4)), connected(cell(2, 3), cell(3, 3)), connected(cell(2, 4), cell(1, 4)), connected(cell(2, 4), cell(2, 3)), connected(cell(2, 4), cell(2, 5)), connected(cell(2, 4), cell(3, 4)), connected(cell(2, 5), cell(1, 5)), connected(cell(2, 5), cell(2, 4)), connected(cell(2, 5), cell(2, 6)), connected(cell(2, 5), cell(3, 5)), connected(cell(2, 6), cell(1, 6)), connected(cell(2, 6), cell(2, 5)), connected(cell(2, 6), cell(2, 7)), connected(cell(2, 6), cell(3, 6)), connected(cell(2, 7), cell(1, 7)), connected(cell(2, 7), cell(2, 6)), connected(cell(2, 7), cell(2, 8)), connected(cell(2, 7), cell(3, 7)), connected(cell(2, 8), cell(1, 8)), connected(cell(2, 8), cell(2, 7)), connected(cell(2, 8), cell(3, 8)), connected(cell(3, 1), cell(2, 1)), connected(cell(3, 1), cell(3, 2)), connected(cell(3, 1), cell(4, 1)), connected(cell(3, 2), cell(2, 2)), connected(cell(3, 2), cell(3, 1)), connected(cell(3, 2), cell(3, 3)), connected(cell(3, 2), cell(4, 2)), connected(cell(3, 3), cell(2, 3)), connected(cell(3, 3), cell(3, 2)), connected(cell(3, 3), cell(3, 4)), connected(cell(3, 3), cell(4, 3)), connected(cell(3, 4), cell(2, 4)), connected(cell(3, 4), cell(3, 3)), connected(cell(3, 4), cell(3, 5)), connected(cell(3, 4), cell(4, 4)), connected(cell(3, 5), cell(2, 5)), connected(cell(3, 5), cell(3, 4)), connected(cell(3, 5), cell(3, 6)), connected(cell(3, 5), cell(4, 5)), connected(cell(3, 6), cell(2, 6)), connected(cell(3, 6), cell(3, 5)), connected(cell(3, 6), cell(3, 7)), connected(cell(3, 6), cell(4, 6)), connected(cell(3, 7), cell(2, 7)), connected(cell(3, 7), cell(3, 6)), connected(cell(3, 7), cell(3, 8)), connected(cell(3, 7), cell(4, 7)), connected(cell(3, 8), cell(2, 8)), connected(cell(3, 8), cell(3, 7)), connected(cell(3, 8), cell(4, 8)), connected(cell(4, 1), cell(3, 1)), connected(cell(4, 1), cell(4, 2)), connected(cell(4, 1), cell(5, 1)), connected(cell(4, 2), cell(3, 2)), connected(cell(4, 2), cell(4, 1)), connected(cell(4, 2), cell(4, 3)), connected(cell(4, 2), cell(5, 2)), connected(cell(4, 3), cell(3, 3)), connected(cell(4, 3), cell(4, 2)), connected(cell(4, 3), cell(4, 4)), connected(cell(4, 3), cell(5, 3)), connected(cell(4, 4), cell(3, 4)), connected(cell(4, 4), cell(4, 3)), connected(cell(4, 4), cell(4, 5)), connected(cell(4, 4), cell(5, 4)), connected(cell(4, 5), cell(3, 5)), connected(cell(4, 5), cell(4, 4)), connected(cell(4, 5), cell(4, 6)), connected(cell(4, 5), cell(5, 5)), connected(cell(4, 6), cell(3, 6)), connected(cell(4, 6), cell(4, 5)), connected(cell(4, 6), cell(4, 7)), connected(cell(4, 6), cell(5, 6)), connected(cell(4, 7), cell(3, 7)), connected(cell(4, 7), cell(4, 6)), connected(cell(4, 7), cell(4, 8)), connected(cell(4, 7), cell(5, 7)), connected(cell(4, 8), cell(3, 8)), connected(cell(4, 8), cell(4, 7)), connected(cell(4, 8), cell(5, 8)), connected(cell(5, 1), cell(4, 1)), connected(cell(5, 1), cell(5, 2)), connected(cell(5, 1), cell(6, 1)), connected(cell(5, 2), cell(4, 2)), connected(cell(5, 2), cell(5, 1)), connected(cell(5, 2), cell(5, 3)), connected(cell(5, 2), cell(6, 2)), connected(cell(5, 3), cell(4, 3)), connected(cell(5, 3), cell(5, 2)), connected(cell(5, 3), cell(5, 4)), connected(cell(5, 3), cell(6, 3)), connected(cell(5, 4), cell(4, 4)), connected(cell(5, 4), cell(5, 3)), connected(cell(5, 4), cell(5, 5)), connected(cell(5, 4), cell(6, 4)), connected(cell(5, 5), cell(4, 5)), connected(cell(5, 5), cell(5, 4)), connected(cell(5, 5), cell(5, 6)), connected(cell(5, 5), cell(6, 5)), connected(cell(5, 6), cell(4, 6)), connected(cell(5, 6), cell(5, 5)), connected(cell(5, 6), cell(5, 7)), connected(cell(5, 6), cell(6, 6)), connected(cell(5, 7), cell(4, 7)), connected(cell(5, 7), cell(5, 6)), connected(cell(5, 7), cell(5, 8)), connected(cell(5, 7), cell(6, 7)), connected(cell(5, 8), cell(4, 8)), connected(cell(5, 8), cell(5, 7)), connected(cell(5, 8), cell(6, 8)), connected(cell(6, 1), cell(5, 1)), connected(cell(6, 1), cell(6, 2)), connected(cell(6, 1), cell(7, 1)), connected(cell(6, 2), cell(5, 2)), connected(cell(6, 2), cell(6, 1)), connected(cell(6, 2), cell(6, 3)), connected(cell(6, 2), cell(7, 2)), connected(cell(6, 3), cell(5, 3)), connected(cell(6, 3), cell(6, 2)), connected(cell(6, 3), cell(6, 4)), connected(cell(6, 3), cell(7, 3)), connected(cell(6, 4), cell(5, 4)), connected(cell(6, 4), cell(6, 3)), connected(cell(6, 4), cell(6, 5)), connected(cell(6, 4), cell(7, 4)), connected(cell(6, 5), cell(5, 5)), connected(cell(6, 5), cell(6, 4)), connected(cell(6, 5), cell(6, 6)), connected(cell(6, 5), cell(7, 5)), connected(cell(6, 6), cell(5, 6)), connected(cell(6, 6), cell(6, 5)), connected(cell(6, 6), cell(6, 7)), connected(cell(6, 6), cell(7, 6)), connected(cell(6, 7), cell(5, 7)), connected(cell(6, 7), cell(6, 6)), connected(cell(6, 7), cell(6, 8)), connected(cell(6, 7), cell(7, 7)), connected(cell(6, 8), cell(5, 8)), connected(cell(6, 8), cell(6, 7)), connected(cell(6, 8), cell(7, 8)), connected(cell(7, 1), cell(6, 1)), connected(cell(7, 1), cell(7, 2)), connected(cell(7, 1), cell(8, 1)), connected(cell(7, 2), cell(6, 2)), connected(cell(7, 2), cell(7, 1)), connected(cell(7, 2), cell(7, 3)), connected(cell(7, 2), cell(8, 2)), connected(cell(7, 3), cell(6, 3)), connected(cell(7, 3), cell(7, 2)), connected(cell(7, 3), cell(7, 4)), connected(cell(7, 3), cell(8, 3)), connected(cell(7, 4), cell(6, 4)), connected(cell(7, 4), cell(7, 3)), connected(cell(7, 4), cell(7, 5)), connected(cell(7, 4), cell(8, 4)), connected(cell(7, 5), cell(6, 5)), connected(cell(7, 5), cell(7, 4)), connected(cell(7, 5), cell(7, 6)), connected(cell(7, 5), cell(8, 5)), connected(cell(7, 6), cell(6, 6)), connected(cell(7, 6), cell(7, 5)), connected(cell(7, 6), cell(7, 7)), connected(cell(7, 6), cell(8, 6)), connected(cell(7, 7), cell(6, 7)), connected(cell(7, 7), cell(7, 6)), connected(cell(7, 7), cell(7, 8)), connected(cell(7, 7), cell(8, 7)), connected(cell(7, 8), cell(6, 8)), connected(cell(7, 8), cell(7, 7)), connected(cell(7, 8), cell(8, 8)), connected(cell(8, 1), cell(7, 1)), connected(cell(8, 1), cell(8, 2)), connected(cell(8, 2), cell(7, 2)), connected(cell(8, 2), cell(8, 1)), connected(cell(8, 2), cell(8, 3)), connected(cell(8, 3), cell(7, 3)), connected(cell(8, 3), cell(8, 2)), connected(cell(8, 3), cell(8, 4)), connected(cell(8, 4), cell(7, 4)), connected(cell(8, 4), cell(8, 3)), connected(cell(8, 4), cell(8, 5)), connected(cell(8, 5), cell(7, 5)), connected(cell(8, 5), cell(8, 4)), connected(cell(8, 5), cell(8, 6)), connected(cell(8, 6), cell(7, 6)), connected(cell(8, 6), cell(8, 5)), connected(cell(8, 6), cell(8, 7)), connected(cell(8, 7), cell(7, 7)), connected(cell(8, 7), cell(8, 6)), connected(cell(8, 7), cell(8, 8)), connected(cell(8, 8), cell(7, 8)), connected(cell(8, 8), cell(8, 7)), carries(agent, arrow), at(agent, cell(1, 1)), alive(wumpus) ]. initial_state(16,State) :- State = [ neg(at(wumpus, cell(0, 1))), neg(at(wumpus, cell(0, 2))), neg(at(wumpus, cell(0, 3))), neg(at(wumpus, cell(0, 4))), neg(at(wumpus, cell(0, 5))), neg(at(wumpus, cell(0, 6))), neg(at(wumpus, cell(0, 7))), neg(at(wumpus, cell(0, 8))), neg(at(wumpus, cell(0, 9))), neg(at(wumpus, cell(0, 10))), neg(at(wumpus, cell(0, 11))), neg(at(wumpus, cell(0, 12))), neg(at(wumpus, cell(0, 13))), neg(at(wumpus, cell(0, 14))), neg(at(wumpus, cell(0, 15))), neg(at(wumpus, cell(0, 16))), neg(at(wumpus, cell(17, 1))), neg(at(wumpus, cell(17, 2))), neg(at(wumpus, cell(17, 3))), neg(at(wumpus, cell(17, 4))), neg(at(wumpus, cell(17, 5))), neg(at(wumpus, cell(17, 6))), neg(at(wumpus, cell(17, 7))), neg(at(wumpus, cell(17, 8))), neg(at(wumpus, cell(17, 9))), neg(at(wumpus, cell(17, 10))), neg(at(wumpus, cell(17, 11))), neg(at(wumpus, cell(17, 12))), neg(at(wumpus, cell(17, 13))), neg(at(wumpus, cell(17, 14))), neg(at(wumpus, cell(17, 15))), neg(at(wumpus, cell(17, 16))), neg(at(wumpus, cell(1, 0))), neg(at(wumpus, cell(2, 0))), neg(at(wumpus, cell(3, 0))), neg(at(wumpus, cell(4, 0))), neg(at(wumpus, cell(5, 0))), neg(at(wumpus, cell(6, 0))), neg(at(wumpus, cell(7, 0))), neg(at(wumpus, cell(8, 0))), neg(at(wumpus, cell(9, 0))), neg(at(wumpus, cell(10, 0))), neg(at(wumpus, cell(11, 0))), neg(at(wumpus, cell(12, 0))), neg(at(wumpus, cell(13, 0))), neg(at(wumpus, cell(14, 0))), neg(at(wumpus, cell(15, 0))), neg(at(wumpus, cell(16, 0))), neg(at(wumpus, cell(1, 17))), neg(at(wumpus, cell(2, 17))), neg(at(wumpus, cell(3, 17))), neg(at(wumpus, cell(4, 17))), neg(at(wumpus, cell(5, 17))), neg(at(wumpus, cell(6, 17))), neg(at(wumpus, cell(7, 17))), neg(at(wumpus, cell(8, 17))), neg(at(wumpus, cell(9, 17))), neg(at(wumpus, cell(10, 17))), neg(at(wumpus, cell(11, 17))), neg(at(wumpus, cell(12, 17))), neg(at(wumpus, cell(13, 17))), neg(at(wumpus, cell(14, 17))), neg(at(wumpus, cell(15, 17))), neg(at(wumpus, cell(16, 17))), neg(pit(cell(0, 1))), neg(pit(cell(0, 2))), neg(pit(cell(0, 3))), neg(pit(cell(0, 4))), neg(pit(cell(0, 5))), neg(pit(cell(0, 6))), neg(pit(cell(0, 7))), neg(pit(cell(0, 8))), neg(pit(cell(0, 9))), neg(pit(cell(0, 10))), neg(pit(cell(0, 11))), neg(pit(cell(0, 12))), neg(pit(cell(0, 13))), neg(pit(cell(0, 14))), neg(pit(cell(0, 15))), neg(pit(cell(0, 16))), neg(pit(cell(17, 1))), neg(pit(cell(17, 2))), neg(pit(cell(17, 3))), neg(pit(cell(17, 4))), neg(pit(cell(17, 5))), neg(pit(cell(17, 6))), neg(pit(cell(17, 7))), neg(pit(cell(17, 8))), neg(pit(cell(17, 9))), neg(pit(cell(17, 10))), neg(pit(cell(17, 11))), neg(pit(cell(17, 12))), neg(pit(cell(17, 13))), neg(pit(cell(17, 14))), neg(pit(cell(17, 15))), neg(pit(cell(17, 16))), neg(pit(cell(1, 0))), neg(pit(cell(2, 0))), neg(pit(cell(3, 0))), neg(pit(cell(4, 0))), neg(pit(cell(5, 0))), neg(pit(cell(6, 0))), neg(pit(cell(7, 0))), neg(pit(cell(8, 0))), neg(pit(cell(9, 0))), neg(pit(cell(10, 0))), neg(pit(cell(11, 0))), neg(pit(cell(12, 0))), neg(pit(cell(13, 0))), neg(pit(cell(14, 0))), neg(pit(cell(15, 0))), neg(pit(cell(16, 0))), neg(pit(cell(1, 17))), neg(pit(cell(2, 17))), neg(pit(cell(3, 17))), neg(pit(cell(4, 17))), neg(pit(cell(5, 17))), neg(pit(cell(6, 17))), neg(pit(cell(7, 17))), neg(pit(cell(8, 17))), neg(pit(cell(9, 17))), neg(pit(cell(10, 17))), neg(pit(cell(11, 17))), neg(pit(cell(12, 17))), neg(pit(cell(13, 17))), neg(pit(cell(14, 17))), neg(pit(cell(15, 17))), neg(pit(cell(16, 17))), connected(cell(1, 1), cell(1, 2)), connected(cell(1, 1), cell(2, 1)), connected(cell(1, 2), cell(1, 1)), connected(cell(1, 2), cell(1, 3)), connected(cell(1, 2), cell(2, 2)), connected(cell(1, 3), cell(1, 2)), connected(cell(1, 3), cell(1, 4)), connected(cell(1, 3), cell(2, 3)), connected(cell(1, 4), cell(1, 3)), connected(cell(1, 4), cell(1, 5)), connected(cell(1, 4), cell(2, 4)), connected(cell(1, 5), cell(1, 4)), connected(cell(1, 5), cell(1, 6)), connected(cell(1, 5), cell(2, 5)), connected(cell(1, 6), cell(1, 5)), connected(cell(1, 6), cell(1, 7)), connected(cell(1, 6), cell(2, 6)), connected(cell(1, 7), cell(1, 6)), connected(cell(1, 7), cell(1, 8)), connected(cell(1, 7), cell(2, 7)), connected(cell(1, 8), cell(1, 7)), connected(cell(1, 8), cell(1, 9)), connected(cell(1, 8), cell(2, 8)), connected(cell(1, 9), cell(1, 8)), connected(cell(1, 9), cell(1, 10)), connected(cell(1, 9), cell(2, 9)), connected(cell(1, 10), cell(1, 9)), connected(cell(1, 10), cell(1, 11)), connected(cell(1, 10), cell(2, 10)), connected(cell(1, 11), cell(1, 10)), connected(cell(1, 11), cell(1, 12)), connected(cell(1, 11), cell(2, 11)), connected(cell(1, 12), cell(1, 11)), connected(cell(1, 12), cell(1, 13)), connected(cell(1, 12), cell(2, 12)), connected(cell(1, 13), cell(1, 12)), connected(cell(1, 13), cell(1, 14)), connected(cell(1, 13), cell(2, 13)), connected(cell(1, 14), cell(1, 13)), connected(cell(1, 14), cell(1, 15)), connected(cell(1, 14), cell(2, 14)), connected(cell(1, 15), cell(1, 14)), connected(cell(1, 15), cell(1, 16)), connected(cell(1, 15), cell(2, 15)), connected(cell(1, 16), cell(1, 15)), connected(cell(1, 16), cell(2, 16)), connected(cell(2, 1), cell(1, 1)), connected(cell(2, 1), cell(2, 2)), connected(cell(2, 1), cell(3, 1)), connected(cell(2, 2), cell(1, 2)), connected(cell(2, 2), cell(2, 1)), connected(cell(2, 2), cell(2, 3)), connected(cell(2, 2), cell(3, 2)), connected(cell(2, 3), cell(1, 3)), connected(cell(2, 3), cell(2, 2)), connected(cell(2, 3), cell(2, 4)), connected(cell(2, 3), cell(3, 3)), connected(cell(2, 4), cell(1, 4)), connected(cell(2, 4), cell(2, 3)), connected(cell(2, 4), cell(2, 5)), connected(cell(2, 4), cell(3, 4)), connected(cell(2, 5), cell(1, 5)), connected(cell(2, 5), cell(2, 4)), connected(cell(2, 5), cell(2, 6)), connected(cell(2, 5), cell(3, 5)), connected(cell(2, 6), cell(1, 6)), connected(cell(2, 6), cell(2, 5)), connected(cell(2, 6), cell(2, 7)), connected(cell(2, 6), cell(3, 6)), connected(cell(2, 7), cell(1, 7)), connected(cell(2, 7), cell(2, 6)), connected(cell(2, 7), cell(2, 8)), connected(cell(2, 7), cell(3, 7)), connected(cell(2, 8), cell(1, 8)), connected(cell(2, 8), cell(2, 7)), connected(cell(2, 8), cell(2, 9)), connected(cell(2, 8), cell(3, 8)), connected(cell(2, 9), cell(1, 9)), connected(cell(2, 9), cell(2, 8)), connected(cell(2, 9), cell(2, 10)), connected(cell(2, 9), cell(3, 9)), connected(cell(2, 10), cell(1, 10)), connected(cell(2, 10), cell(2, 9)), connected(cell(2, 10), cell(2, 11)), connected(cell(2, 10), cell(3, 10)), connected(cell(2, 11), cell(1, 11)), connected(cell(2, 11), cell(2, 10)), connected(cell(2, 11), cell(2, 12)), connected(cell(2, 11), cell(3, 11)), connected(cell(2, 12), cell(1, 12)), connected(cell(2, 12), cell(2, 11)), connected(cell(2, 12), cell(2, 13)), connected(cell(2, 12), cell(3, 12)), connected(cell(2, 13), cell(1, 13)), connected(cell(2, 13), cell(2, 12)), connected(cell(2, 13), cell(2, 14)), connected(cell(2, 13), cell(3, 13)), connected(cell(2, 14), cell(1, 14)), connected(cell(2, 14), cell(2, 13)), connected(cell(2, 14), cell(2, 15)), connected(cell(2, 14), cell(3, 14)), connected(cell(2, 15), cell(1, 15)), connected(cell(2, 15), cell(2, 14)), connected(cell(2, 15), cell(2, 16)), connected(cell(2, 15), cell(3, 15)), connected(cell(2, 16), cell(1, 16)), connected(cell(2, 16), cell(2, 15)), connected(cell(2, 16), cell(3, 16)), connected(cell(3, 1), cell(2, 1)), connected(cell(3, 1), cell(3, 2)), connected(cell(3, 1), cell(4, 1)), connected(cell(3, 2), cell(2, 2)), connected(cell(3, 2), cell(3, 1)), connected(cell(3, 2), cell(3, 3)), connected(cell(3, 2), cell(4, 2)), connected(cell(3, 3), cell(2, 3)), connected(cell(3, 3), cell(3, 2)), connected(cell(3, 3), cell(3, 4)), connected(cell(3, 3), cell(4, 3)), connected(cell(3, 4), cell(2, 4)), connected(cell(3, 4), cell(3, 3)), connected(cell(3, 4), cell(3, 5)), connected(cell(3, 4), cell(4, 4)), connected(cell(3, 5), cell(2, 5)), connected(cell(3, 5), cell(3, 4)), connected(cell(3, 5), cell(3, 6)), connected(cell(3, 5), cell(4, 5)), connected(cell(3, 6), cell(2, 6)), connected(cell(3, 6), cell(3, 5)), connected(cell(3, 6), cell(3, 7)), connected(cell(3, 6), cell(4, 6)), connected(cell(3, 7), cell(2, 7)), connected(cell(3, 7), cell(3, 6)), connected(cell(3, 7), cell(3, 8)), connected(cell(3, 7), cell(4, 7)), connected(cell(3, 8), cell(2, 8)), connected(cell(3, 8), cell(3, 7)), connected(cell(3, 8), cell(3, 9)), connected(cell(3, 8), cell(4, 8)), connected(cell(3, 9), cell(2, 9)), connected(cell(3, 9), cell(3, 8)), connected(cell(3, 9), cell(3, 10)), connected(cell(3, 9), cell(4, 9)), connected(cell(3, 10), cell(2, 10)), connected(cell(3, 10), cell(3, 9)), connected(cell(3, 10), cell(3, 11)), connected(cell(3, 10), cell(4, 10)), connected(cell(3, 11), cell(2, 11)), connected(cell(3, 11), cell(3, 10)), connected(cell(3, 11), cell(3, 12)), connected(cell(3, 11), cell(4, 11)), connected(cell(3, 12), cell(2, 12)), connected(cell(3, 12), cell(3, 11)), connected(cell(3, 12), cell(3, 13)), connected(cell(3, 12), cell(4, 12)), connected(cell(3, 13), cell(2, 13)), connected(cell(3, 13), cell(3, 12)), connected(cell(3, 13), cell(3, 14)), connected(cell(3, 13), cell(4, 13)), connected(cell(3, 14), cell(2, 14)), connected(cell(3, 14), cell(3, 13)), connected(cell(3, 14), cell(3, 15)), connected(cell(3, 14), cell(4, 14)), connected(cell(3, 15), cell(2, 15)), connected(cell(3, 15), cell(3, 14)), connected(cell(3, 15), cell(3, 16)), connected(cell(3, 15), cell(4, 15)), connected(cell(3, 16), cell(2, 16)), connected(cell(3, 16), cell(3, 15)), connected(cell(3, 16), cell(4, 16)), connected(cell(4, 1), cell(3, 1)), connected(cell(4, 1), cell(4, 2)), connected(cell(4, 1), cell(5, 1)), connected(cell(4, 2), cell(3, 2)), connected(cell(4, 2), cell(4, 1)), connected(cell(4, 2), cell(4, 3)), connected(cell(4, 2), cell(5, 2)), connected(cell(4, 3), cell(3, 3)), connected(cell(4, 3), cell(4, 2)), connected(cell(4, 3), cell(4, 4)), connected(cell(4, 3), cell(5, 3)), connected(cell(4, 4), cell(3, 4)), connected(cell(4, 4), cell(4, 3)), connected(cell(4, 4), cell(4, 5)), connected(cell(4, 4), cell(5, 4)), connected(cell(4, 5), cell(3, 5)), connected(cell(4, 5), cell(4, 4)), connected(cell(4, 5), cell(4, 6)), connected(cell(4, 5), cell(5, 5)), connected(cell(4, 6), cell(3, 6)), connected(cell(4, 6), cell(4, 5)), connected(cell(4, 6), cell(4, 7)), connected(cell(4, 6), cell(5, 6)), connected(cell(4, 7), cell(3, 7)), connected(cell(4, 7), cell(4, 6)), connected(cell(4, 7), cell(4, 8)), connected(cell(4, 7), cell(5, 7)), connected(cell(4, 8), cell(3, 8)), connected(cell(4, 8), cell(4, 7)), connected(cell(4, 8), cell(4, 9)), connected(cell(4, 8), cell(5, 8)), connected(cell(4, 9), cell(3, 9)), connected(cell(4, 9), cell(4, 8)), connected(cell(4, 9), cell(4, 10)), connected(cell(4, 9), cell(5, 9)), connected(cell(4, 10), cell(3, 10)), connected(cell(4, 10), cell(4, 9)), connected(cell(4, 10), cell(4, 11)), connected(cell(4, 10), cell(5, 10)), connected(cell(4, 11), cell(3, 11)), connected(cell(4, 11), cell(4, 10)), connected(cell(4, 11), cell(4, 12)), connected(cell(4, 11), cell(5, 11)), connected(cell(4, 12), cell(3, 12)), connected(cell(4, 12), cell(4, 11)), connected(cell(4, 12), cell(4, 13)), connected(cell(4, 12), cell(5, 12)), connected(cell(4, 13), cell(3, 13)), connected(cell(4, 13), cell(4, 12)), connected(cell(4, 13), cell(4, 14)), connected(cell(4, 13), cell(5, 13)), connected(cell(4, 14), cell(3, 14)), connected(cell(4, 14), cell(4, 13)), connected(cell(4, 14), cell(4, 15)), connected(cell(4, 14), cell(5, 14)), connected(cell(4, 15), cell(3, 15)), connected(cell(4, 15), cell(4, 14)), connected(cell(4, 15), cell(4, 16)), connected(cell(4, 15), cell(5, 15)), connected(cell(4, 16), cell(3, 16)), connected(cell(4, 16), cell(4, 15)), connected(cell(4, 16), cell(5, 16)), connected(cell(5, 1), cell(4, 1)), connected(cell(5, 1), cell(5, 2)), connected(cell(5, 1), cell(6, 1)), connected(cell(5, 2), cell(4, 2)), connected(cell(5, 2), cell(5, 1)), connected(cell(5, 2), cell(5, 3)), connected(cell(5, 2), cell(6, 2)), connected(cell(5, 3), cell(4, 3)), connected(cell(5, 3), cell(5, 2)), connected(cell(5, 3), cell(5, 4)), connected(cell(5, 3), cell(6, 3)), connected(cell(5, 4), cell(4, 4)), connected(cell(5, 4), cell(5, 3)), connected(cell(5, 4), cell(5, 5)), connected(cell(5, 4), cell(6, 4)), connected(cell(5, 5), cell(4, 5)), connected(cell(5, 5), cell(5, 4)), connected(cell(5, 5), cell(5, 6)), connected(cell(5, 5), cell(6, 5)), connected(cell(5, 6), cell(4, 6)), connected(cell(5, 6), cell(5, 5)), connected(cell(5, 6), cell(5, 7)), connected(cell(5, 6), cell(6, 6)), connected(cell(5, 7), cell(4, 7)), connected(cell(5, 7), cell(5, 6)), connected(cell(5, 7), cell(5, 8)), connected(cell(5, 7), cell(6, 7)), connected(cell(5, 8), cell(4, 8)), connected(cell(5, 8), cell(5, 7)), connected(cell(5, 8), cell(5, 9)), connected(cell(5, 8), cell(6, 8)), connected(cell(5, 9), cell(4, 9)), connected(cell(5, 9), cell(5, 8)), connected(cell(5, 9), cell(5, 10)), connected(cell(5, 9), cell(6, 9)), connected(cell(5, 10), cell(4, 10)), connected(cell(5, 10), cell(5, 9)), connected(cell(5, 10), cell(5, 11)), connected(cell(5, 10), cell(6, 10)), connected(cell(5, 11), cell(4, 11)), connected(cell(5, 11), cell(5, 10)), connected(cell(5, 11), cell(5, 12)), connected(cell(5, 11), cell(6, 11)), connected(cell(5, 12), cell(4, 12)), connected(cell(5, 12), cell(5, 11)), connected(cell(5, 12), cell(5, 13)), connected(cell(5, 12), cell(6, 12)), connected(cell(5, 13), cell(4, 13)), connected(cell(5, 13), cell(5, 12)), connected(cell(5, 13), cell(5, 14)), connected(cell(5, 13), cell(6, 13)), connected(cell(5, 14), cell(4, 14)), connected(cell(5, 14), cell(5, 13)), connected(cell(5, 14), cell(5, 15)), connected(cell(5, 14), cell(6, 14)), connected(cell(5, 15), cell(4, 15)), connected(cell(5, 15), cell(5, 14)), connected(cell(5, 15), cell(5, 16)), connected(cell(5, 15), cell(6, 15)), connected(cell(5, 16), cell(4, 16)), connected(cell(5, 16), cell(5, 15)), connected(cell(5, 16), cell(6, 16)), connected(cell(6, 1), cell(5, 1)), connected(cell(6, 1), cell(6, 2)), connected(cell(6, 1), cell(7, 1)), connected(cell(6, 2), cell(5, 2)), connected(cell(6, 2), cell(6, 1)), connected(cell(6, 2), cell(6, 3)), connected(cell(6, 2), cell(7, 2)), connected(cell(6, 3), cell(5, 3)), connected(cell(6, 3), cell(6, 2)), connected(cell(6, 3), cell(6, 4)), connected(cell(6, 3), cell(7, 3)), connected(cell(6, 4), cell(5, 4)), connected(cell(6, 4), cell(6, 3)), connected(cell(6, 4), cell(6, 5)), connected(cell(6, 4), cell(7, 4)), connected(cell(6, 5), cell(5, 5)), connected(cell(6, 5), cell(6, 4)), connected(cell(6, 5), cell(6, 6)), connected(cell(6, 5), cell(7, 5)), connected(cell(6, 6), cell(5, 6)), connected(cell(6, 6), cell(6, 5)), connected(cell(6, 6), cell(6, 7)), connected(cell(6, 6), cell(7, 6)), connected(cell(6, 7), cell(5, 7)), connected(cell(6, 7), cell(6, 6)), connected(cell(6, 7), cell(6, 8)), connected(cell(6, 7), cell(7, 7)), connected(cell(6, 8), cell(5, 8)), connected(cell(6, 8), cell(6, 7)), connected(cell(6, 8), cell(6, 9)), connected(cell(6, 8), cell(7, 8)), connected(cell(6, 9), cell(5, 9)), connected(cell(6, 9), cell(6, 8)), connected(cell(6, 9), cell(6, 10)), connected(cell(6, 9), cell(7, 9)), connected(cell(6, 10), cell(5, 10)), connected(cell(6, 10), cell(6, 9)), connected(cell(6, 10), cell(6, 11)), connected(cell(6, 10), cell(7, 10)), connected(cell(6, 11), cell(5, 11)), connected(cell(6, 11), cell(6, 10)), connected(cell(6, 11), cell(6, 12)), connected(cell(6, 11), cell(7, 11)), connected(cell(6, 12), cell(5, 12)), connected(cell(6, 12), cell(6, 11)), connected(cell(6, 12), cell(6, 13)), connected(cell(6, 12), cell(7, 12)), connected(cell(6, 13), cell(5, 13)), connected(cell(6, 13), cell(6, 12)), connected(cell(6, 13), cell(6, 14)), connected(cell(6, 13), cell(7, 13)), connected(cell(6, 14), cell(5, 14)), connected(cell(6, 14), cell(6, 13)), connected(cell(6, 14), cell(6, 15)), connected(cell(6, 14), cell(7, 14)), connected(cell(6, 15), cell(5, 15)), connected(cell(6, 15), cell(6, 14)), connected(cell(6, 15), cell(6, 16)), connected(cell(6, 15), cell(7, 15)), connected(cell(6, 16), cell(5, 16)), connected(cell(6, 16), cell(6, 15)), connected(cell(6, 16), cell(7, 16)), connected(cell(7, 1), cell(6, 1)), connected(cell(7, 1), cell(7, 2)), connected(cell(7, 1), cell(8, 1)), connected(cell(7, 2), cell(6, 2)), connected(cell(7, 2), cell(7, 1)), connected(cell(7, 2), cell(7, 3)), connected(cell(7, 2), cell(8, 2)), connected(cell(7, 3), cell(6, 3)), connected(cell(7, 3), cell(7, 2)), connected(cell(7, 3), cell(7, 4)), connected(cell(7, 3), cell(8, 3)), connected(cell(7, 4), cell(6, 4)), connected(cell(7, 4), cell(7, 3)), connected(cell(7, 4), cell(7, 5)), connected(cell(7, 4), cell(8, 4)), connected(cell(7, 5), cell(6, 5)), connected(cell(7, 5), cell(7, 4)), connected(cell(7, 5), cell(7, 6)), connected(cell(7, 5), cell(8, 5)), connected(cell(7, 6), cell(6, 6)), connected(cell(7, 6), cell(7, 5)), connected(cell(7, 6), cell(7, 7)), connected(cell(7, 6), cell(8, 6)), connected(cell(7, 7), cell(6, 7)), connected(cell(7, 7), cell(7, 6)), connected(cell(7, 7), cell(7, 8)), connected(cell(7, 7), cell(8, 7)), connected(cell(7, 8), cell(6, 8)), connected(cell(7, 8), cell(7, 7)), connected(cell(7, 8), cell(7, 9)), connected(cell(7, 8), cell(8, 8)), connected(cell(7, 9), cell(6, 9)), connected(cell(7, 9), cell(7, 8)), connected(cell(7, 9), cell(7, 10)), connected(cell(7, 9), cell(8, 9)), connected(cell(7, 10), cell(6, 10)), connected(cell(7, 10), cell(7, 9)), connected(cell(7, 10), cell(7, 11)), connected(cell(7, 10), cell(8, 10)), connected(cell(7, 11), cell(6, 11)), connected(cell(7, 11), cell(7, 10)), connected(cell(7, 11), cell(7, 12)), connected(cell(7, 11), cell(8, 11)), connected(cell(7, 12), cell(6, 12)), connected(cell(7, 12), cell(7, 11)), connected(cell(7, 12), cell(7, 13)), connected(cell(7, 12), cell(8, 12)), connected(cell(7, 13), cell(6, 13)), connected(cell(7, 13), cell(7, 12)), connected(cell(7, 13), cell(7, 14)), connected(cell(7, 13), cell(8, 13)), connected(cell(7, 14), cell(6, 14)), connected(cell(7, 14), cell(7, 13)), connected(cell(7, 14), cell(7, 15)), connected(cell(7, 14), cell(8, 14)), connected(cell(7, 15), cell(6, 15)), connected(cell(7, 15), cell(7, 14)), connected(cell(7, 15), cell(7, 16)), connected(cell(7, 15), cell(8, 15)), connected(cell(7, 16), cell(6, 16)), connected(cell(7, 16), cell(7, 15)), connected(cell(7, 16), cell(8, 16)), connected(cell(8, 1), cell(7, 1)), connected(cell(8, 1), cell(8, 2)), connected(cell(8, 1), cell(9, 1)), connected(cell(8, 2), cell(7, 2)), connected(cell(8, 2), cell(8, 1)), connected(cell(8, 2), cell(8, 3)), connected(cell(8, 2), cell(9, 2)), connected(cell(8, 3), cell(7, 3)), connected(cell(8, 3), cell(8, 2)), connected(cell(8, 3), cell(8, 4)), connected(cell(8, 3), cell(9, 3)), connected(cell(8, 4), cell(7, 4)), connected(cell(8, 4), cell(8, 3)), connected(cell(8, 4), cell(8, 5)), connected(cell(8, 4), cell(9, 4)), connected(cell(8, 5), cell(7, 5)), connected(cell(8, 5), cell(8, 4)), connected(cell(8, 5), cell(8, 6)), connected(cell(8, 5), cell(9, 5)), connected(cell(8, 6), cell(7, 6)), connected(cell(8, 6), cell(8, 5)), connected(cell(8, 6), cell(8, 7)), connected(cell(8, 6), cell(9, 6)), connected(cell(8, 7), cell(7, 7)), connected(cell(8, 7), cell(8, 6)), connected(cell(8, 7), cell(8, 8)), connected(cell(8, 7), cell(9, 7)), connected(cell(8, 8), cell(7, 8)), connected(cell(8, 8), cell(8, 7)), connected(cell(8, 8), cell(8, 9)), connected(cell(8, 8), cell(9, 8)), connected(cell(8, 9), cell(7, 9)), connected(cell(8, 9), cell(8, 8)), connected(cell(8, 9), cell(8, 10)), connected(cell(8, 9), cell(9, 9)), connected(cell(8, 10), cell(7, 10)), connected(cell(8, 10), cell(8, 9)), connected(cell(8, 10), cell(8, 11)), connected(cell(8, 10), cell(9, 10)), connected(cell(8, 11), cell(7, 11)), connected(cell(8, 11), cell(8, 10)), connected(cell(8, 11), cell(8, 12)), connected(cell(8, 11), cell(9, 11)), connected(cell(8, 12), cell(7, 12)), connected(cell(8, 12), cell(8, 11)), connected(cell(8, 12), cell(8, 13)), connected(cell(8, 12), cell(9, 12)), connected(cell(8, 13), cell(7, 13)), connected(cell(8, 13), cell(8, 12)), connected(cell(8, 13), cell(8, 14)), connected(cell(8, 13), cell(9, 13)), connected(cell(8, 14), cell(7, 14)), connected(cell(8, 14), cell(8, 13)), connected(cell(8, 14), cell(8, 15)), connected(cell(8, 14), cell(9, 14)), connected(cell(8, 15), cell(7, 15)), connected(cell(8, 15), cell(8, 14)), connected(cell(8, 15), cell(8, 16)), connected(cell(8, 15), cell(9, 15)), connected(cell(8, 16), cell(7, 16)), connected(cell(8, 16), cell(8, 15)), connected(cell(8, 16), cell(9, 16)), connected(cell(9, 1), cell(8, 1)), connected(cell(9, 1), cell(9, 2)), connected(cell(9, 1), cell(10, 1)), connected(cell(9, 2), cell(8, 2)), connected(cell(9, 2), cell(9, 1)), connected(cell(9, 2), cell(9, 3)), connected(cell(9, 2), cell(10, 2)), connected(cell(9, 3), cell(8, 3)), connected(cell(9, 3), cell(9, 2)), connected(cell(9, 3), cell(9, 4)), connected(cell(9, 3), cell(10, 3)), connected(cell(9, 4), cell(8, 4)), connected(cell(9, 4), cell(9, 3)), connected(cell(9, 4), cell(9, 5)), connected(cell(9, 4), cell(10, 4)), connected(cell(9, 5), cell(8, 5)), connected(cell(9, 5), cell(9, 4)), connected(cell(9, 5), cell(9, 6)), connected(cell(9, 5), cell(10, 5)), connected(cell(9, 6), cell(8, 6)), connected(cell(9, 6), cell(9, 5)), connected(cell(9, 6), cell(9, 7)), connected(cell(9, 6), cell(10, 6)), connected(cell(9, 7), cell(8, 7)), connected(cell(9, 7), cell(9, 6)), connected(cell(9, 7), cell(9, 8)), connected(cell(9, 7), cell(10, 7)), connected(cell(9, 8), cell(8, 8)), connected(cell(9, 8), cell(9, 7)), connected(cell(9, 8), cell(9, 9)), connected(cell(9, 8), cell(10, 8)), connected(cell(9, 9), cell(8, 9)), connected(cell(9, 9), cell(9, 8)), connected(cell(9, 9), cell(9, 10)), connected(cell(9, 9), cell(10, 9)), connected(cell(9, 10), cell(8, 10)), connected(cell(9, 10), cell(9, 9)), connected(cell(9, 10), cell(9, 11)), connected(cell(9, 10), cell(10, 10)), connected(cell(9, 11), cell(8, 11)), connected(cell(9, 11), cell(9, 10)), connected(cell(9, 11), cell(9, 12)), connected(cell(9, 11), cell(10, 11)), connected(cell(9, 12), cell(8, 12)), connected(cell(9, 12), cell(9, 11)), connected(cell(9, 12), cell(9, 13)), connected(cell(9, 12), cell(10, 12)), connected(cell(9, 13), cell(8, 13)), connected(cell(9, 13), cell(9, 12)), connected(cell(9, 13), cell(9, 14)), connected(cell(9, 13), cell(10, 13)), connected(cell(9, 14), cell(8, 14)), connected(cell(9, 14), cell(9, 13)), connected(cell(9, 14), cell(9, 15)), connected(cell(9, 14), cell(10, 14)), connected(cell(9, 15), cell(8, 15)), connected(cell(9, 15), cell(9, 14)), connected(cell(9, 15), cell(9, 16)), connected(cell(9, 15), cell(10, 15)), connected(cell(9, 16), cell(8, 16)), connected(cell(9, 16), cell(9, 15)), connected(cell(9, 16), cell(10, 16)), connected(cell(10, 1), cell(9, 1)), connected(cell(10, 1), cell(10, 2)), connected(cell(10, 1), cell(11, 1)), connected(cell(10, 2), cell(9, 2)), connected(cell(10, 2), cell(10, 1)), connected(cell(10, 2), cell(10, 3)), connected(cell(10, 2), cell(11, 2)), connected(cell(10, 3), cell(9, 3)), connected(cell(10, 3), cell(10, 2)), connected(cell(10, 3), cell(10, 4)), connected(cell(10, 3), cell(11, 3)), connected(cell(10, 4), cell(9, 4)), connected(cell(10, 4), cell(10, 3)), connected(cell(10, 4), cell(10, 5)), connected(cell(10, 4), cell(11, 4)), connected(cell(10, 5), cell(9, 5)), connected(cell(10, 5), cell(10, 4)), connected(cell(10, 5), cell(10, 6)), connected(cell(10, 5), cell(11, 5)), connected(cell(10, 6), cell(9, 6)), connected(cell(10, 6), cell(10, 5)), connected(cell(10, 6), cell(10, 7)), connected(cell(10, 6), cell(11, 6)), connected(cell(10, 7), cell(9, 7)), connected(cell(10, 7), cell(10, 6)), connected(cell(10, 7), cell(10, 8)), connected(cell(10, 7), cell(11, 7)), connected(cell(10, 8), cell(9, 8)), connected(cell(10, 8), cell(10, 7)), connected(cell(10, 8), cell(10, 9)), connected(cell(10, 8), cell(11, 8)), connected(cell(10, 9), cell(9, 9)), connected(cell(10, 9), cell(10, 8)), connected(cell(10, 9), cell(10, 10)), connected(cell(10, 9), cell(11, 9)), connected(cell(10, 10), cell(9, 10)), connected(cell(10, 10), cell(10, 9)), connected(cell(10, 10), cell(10, 11)), connected(cell(10, 10), cell(11, 10)), connected(cell(10, 11), cell(9, 11)), connected(cell(10, 11), cell(10, 10)), connected(cell(10, 11), cell(10, 12)), connected(cell(10, 11), cell(11, 11)), connected(cell(10, 12), cell(9, 12)), connected(cell(10, 12), cell(10, 11)), connected(cell(10, 12), cell(10, 13)), connected(cell(10, 12), cell(11, 12)), connected(cell(10, 13), cell(9, 13)), connected(cell(10, 13), cell(10, 12)), connected(cell(10, 13), cell(10, 14)), connected(cell(10, 13), cell(11, 13)), connected(cell(10, 14), cell(9, 14)), connected(cell(10, 14), cell(10, 13)), connected(cell(10, 14), cell(10, 15)), connected(cell(10, 14), cell(11, 14)), connected(cell(10, 15), cell(9, 15)), connected(cell(10, 15), cell(10, 14)), connected(cell(10, 15), cell(10, 16)), connected(cell(10, 15), cell(11, 15)), connected(cell(10, 16), cell(9, 16)), connected(cell(10, 16), cell(10, 15)), connected(cell(10, 16), cell(11, 16)), connected(cell(11, 1), cell(10, 1)), connected(cell(11, 1), cell(11, 2)), connected(cell(11, 1), cell(12, 1)), connected(cell(11, 2), cell(10, 2)), connected(cell(11, 2), cell(11, 1)), connected(cell(11, 2), cell(11, 3)), connected(cell(11, 2), cell(12, 2)), connected(cell(11, 3), cell(10, 3)), connected(cell(11, 3), cell(11, 2)), connected(cell(11, 3), cell(11, 4)), connected(cell(11, 3), cell(12, 3)), connected(cell(11, 4), cell(10, 4)), connected(cell(11, 4), cell(11, 3)), connected(cell(11, 4), cell(11, 5)), connected(cell(11, 4), cell(12, 4)), connected(cell(11, 5), cell(10, 5)), connected(cell(11, 5), cell(11, 4)), connected(cell(11, 5), cell(11, 6)), connected(cell(11, 5), cell(12, 5)), connected(cell(11, 6), cell(10, 6)), connected(cell(11, 6), cell(11, 5)), connected(cell(11, 6), cell(11, 7)), connected(cell(11, 6), cell(12, 6)), connected(cell(11, 7), cell(10, 7)), connected(cell(11, 7), cell(11, 6)), connected(cell(11, 7), cell(11, 8)), connected(cell(11, 7), cell(12, 7)), connected(cell(11, 8), cell(10, 8)), connected(cell(11, 8), cell(11, 7)), connected(cell(11, 8), cell(11, 9)), connected(cell(11, 8), cell(12, 8)), connected(cell(11, 9), cell(10, 9)), connected(cell(11, 9), cell(11, 8)), connected(cell(11, 9), cell(11, 10)), connected(cell(11, 9), cell(12, 9)), connected(cell(11, 10), cell(10, 10)), connected(cell(11, 10), cell(11, 9)), connected(cell(11, 10), cell(11, 11)), connected(cell(11, 10), cell(12, 10)), connected(cell(11, 11), cell(10, 11)), connected(cell(11, 11), cell(11, 10)), connected(cell(11, 11), cell(11, 12)), connected(cell(11, 11), cell(12, 11)), connected(cell(11, 12), cell(10, 12)), connected(cell(11, 12), cell(11, 11)), connected(cell(11, 12), cell(11, 13)), connected(cell(11, 12), cell(12, 12)), connected(cell(11, 13), cell(10, 13)), connected(cell(11, 13), cell(11, 12)), connected(cell(11, 13), cell(11, 14)), connected(cell(11, 13), cell(12, 13)), connected(cell(11, 14), cell(10, 14)), connected(cell(11, 14), cell(11, 13)), connected(cell(11, 14), cell(11, 15)), connected(cell(11, 14), cell(12, 14)), connected(cell(11, 15), cell(10, 15)), connected(cell(11, 15), cell(11, 14)), connected(cell(11, 15), cell(11, 16)), connected(cell(11, 15), cell(12, 15)), connected(cell(11, 16), cell(10, 16)), connected(cell(11, 16), cell(11, 15)), connected(cell(11, 16), cell(12, 16)), connected(cell(12, 1), cell(11, 1)), connected(cell(12, 1), cell(12, 2)), connected(cell(12, 1), cell(13, 1)), connected(cell(12, 2), cell(11, 2)), connected(cell(12, 2), cell(12, 1)), connected(cell(12, 2), cell(12, 3)), connected(cell(12, 2), cell(13, 2)), connected(cell(12, 3), cell(11, 3)), connected(cell(12, 3), cell(12, 2)), connected(cell(12, 3), cell(12, 4)), connected(cell(12, 3), cell(13, 3)), connected(cell(12, 4), cell(11, 4)), connected(cell(12, 4), cell(12, 3)), connected(cell(12, 4), cell(12, 5)), connected(cell(12, 4), cell(13, 4)), connected(cell(12, 5), cell(11, 5)), connected(cell(12, 5), cell(12, 4)), connected(cell(12, 5), cell(12, 6)), connected(cell(12, 5), cell(13, 5)), connected(cell(12, 6), cell(11, 6)), connected(cell(12, 6), cell(12, 5)), connected(cell(12, 6), cell(12, 7)), connected(cell(12, 6), cell(13, 6)), connected(cell(12, 7), cell(11, 7)), connected(cell(12, 7), cell(12, 6)), connected(cell(12, 7), cell(12, 8)), connected(cell(12, 7), cell(13, 7)), connected(cell(12, 8), cell(11, 8)), connected(cell(12, 8), cell(12, 7)), connected(cell(12, 8), cell(12, 9)), connected(cell(12, 8), cell(13, 8)), connected(cell(12, 9), cell(11, 9)), connected(cell(12, 9), cell(12, 8)), connected(cell(12, 9), cell(12, 10)), connected(cell(12, 9), cell(13, 9)), connected(cell(12, 10), cell(11, 10)), connected(cell(12, 10), cell(12, 9)), connected(cell(12, 10), cell(12, 11)), connected(cell(12, 10), cell(13, 10)), connected(cell(12, 11), cell(11, 11)), connected(cell(12, 11), cell(12, 10)), connected(cell(12, 11), cell(12, 12)), connected(cell(12, 11), cell(13, 11)), connected(cell(12, 12), cell(11, 12)), connected(cell(12, 12), cell(12, 11)), connected(cell(12, 12), cell(12, 13)), connected(cell(12, 12), cell(13, 12)), connected(cell(12, 13), cell(11, 13)), connected(cell(12, 13), cell(12, 12)), connected(cell(12, 13), cell(12, 14)), connected(cell(12, 13), cell(13, 13)), connected(cell(12, 14), cell(11, 14)), connected(cell(12, 14), cell(12, 13)), connected(cell(12, 14), cell(12, 15)), connected(cell(12, 14), cell(13, 14)), connected(cell(12, 15), cell(11, 15)), connected(cell(12, 15), cell(12, 14)), connected(cell(12, 15), cell(12, 16)), connected(cell(12, 15), cell(13, 15)), connected(cell(12, 16), cell(11, 16)), connected(cell(12, 16), cell(12, 15)), connected(cell(12, 16), cell(13, 16)), connected(cell(13, 1), cell(12, 1)), connected(cell(13, 1), cell(13, 2)), connected(cell(13, 1), cell(14, 1)), connected(cell(13, 2), cell(12, 2)), connected(cell(13, 2), cell(13, 1)), connected(cell(13, 2), cell(13, 3)), connected(cell(13, 2), cell(14, 2)), connected(cell(13, 3), cell(12, 3)), connected(cell(13, 3), cell(13, 2)), connected(cell(13, 3), cell(13, 4)), connected(cell(13, 3), cell(14, 3)), connected(cell(13, 4), cell(12, 4)), connected(cell(13, 4), cell(13, 3)), connected(cell(13, 4), cell(13, 5)), connected(cell(13, 4), cell(14, 4)), connected(cell(13, 5), cell(12, 5)), connected(cell(13, 5), cell(13, 4)), connected(cell(13, 5), cell(13, 6)), connected(cell(13, 5), cell(14, 5)), connected(cell(13, 6), cell(12, 6)), connected(cell(13, 6), cell(13, 5)), connected(cell(13, 6), cell(13, 7)), connected(cell(13, 6), cell(14, 6)), connected(cell(13, 7), cell(12, 7)), connected(cell(13, 7), cell(13, 6)), connected(cell(13, 7), cell(13, 8)), connected(cell(13, 7), cell(14, 7)), connected(cell(13, 8), cell(12, 8)), connected(cell(13, 8), cell(13, 7)), connected(cell(13, 8), cell(13, 9)), connected(cell(13, 8), cell(14, 8)), connected(cell(13, 9), cell(12, 9)), connected(cell(13, 9), cell(13, 8)), connected(cell(13, 9), cell(13, 10)), connected(cell(13, 9), cell(14, 9)), connected(cell(13, 10), cell(12, 10)), connected(cell(13, 10), cell(13, 9)), connected(cell(13, 10), cell(13, 11)), connected(cell(13, 10), cell(14, 10)), connected(cell(13, 11), cell(12, 11)), connected(cell(13, 11), cell(13, 10)), connected(cell(13, 11), cell(13, 12)), connected(cell(13, 11), cell(14, 11)), connected(cell(13, 12), cell(12, 12)), connected(cell(13, 12), cell(13, 11)), connected(cell(13, 12), cell(13, 13)), connected(cell(13, 12), cell(14, 12)), connected(cell(13, 13), cell(12, 13)), connected(cell(13, 13), cell(13, 12)), connected(cell(13, 13), cell(13, 14)), connected(cell(13, 13), cell(14, 13)), connected(cell(13, 14), cell(12, 14)), connected(cell(13, 14), cell(13, 13)), connected(cell(13, 14), cell(13, 15)), connected(cell(13, 14), cell(14, 14)), connected(cell(13, 15), cell(12, 15)), connected(cell(13, 15), cell(13, 14)), connected(cell(13, 15), cell(13, 16)), connected(cell(13, 15), cell(14, 15)), connected(cell(13, 16), cell(12, 16)), connected(cell(13, 16), cell(13, 15)), connected(cell(13, 16), cell(14, 16)), connected(cell(14, 1), cell(13, 1)), connected(cell(14, 1), cell(14, 2)), connected(cell(14, 1), cell(15, 1)), connected(cell(14, 2), cell(13, 2)), connected(cell(14, 2), cell(14, 1)), connected(cell(14, 2), cell(14, 3)), connected(cell(14, 2), cell(15, 2)), connected(cell(14, 3), cell(13, 3)), connected(cell(14, 3), cell(14, 2)), connected(cell(14, 3), cell(14, 4)), connected(cell(14, 3), cell(15, 3)), connected(cell(14, 4), cell(13, 4)), connected(cell(14, 4), cell(14, 3)), connected(cell(14, 4), cell(14, 5)), connected(cell(14, 4), cell(15, 4)), connected(cell(14, 5), cell(13, 5)), connected(cell(14, 5), cell(14, 4)), connected(cell(14, 5), cell(14, 6)), connected(cell(14, 5), cell(15, 5)), connected(cell(14, 6), cell(13, 6)), connected(cell(14, 6), cell(14, 5)), connected(cell(14, 6), cell(14, 7)), connected(cell(14, 6), cell(15, 6)), connected(cell(14, 7), cell(13, 7)), connected(cell(14, 7), cell(14, 6)), connected(cell(14, 7), cell(14, 8)), connected(cell(14, 7), cell(15, 7)), connected(cell(14, 8), cell(13, 8)), connected(cell(14, 8), cell(14, 7)), connected(cell(14, 8), cell(14, 9)), connected(cell(14, 8), cell(15, 8)), connected(cell(14, 9), cell(13, 9)), connected(cell(14, 9), cell(14, 8)), connected(cell(14, 9), cell(14, 10)), connected(cell(14, 9), cell(15, 9)), connected(cell(14, 10), cell(13, 10)), connected(cell(14, 10), cell(14, 9)), connected(cell(14, 10), cell(14, 11)), connected(cell(14, 10), cell(15, 10)), connected(cell(14, 11), cell(13, 11)), connected(cell(14, 11), cell(14, 10)), connected(cell(14, 11), cell(14, 12)), connected(cell(14, 11), cell(15, 11)), connected(cell(14, 12), cell(13, 12)), connected(cell(14, 12), cell(14, 11)), connected(cell(14, 12), cell(14, 13)), connected(cell(14, 12), cell(15, 12)), connected(cell(14, 13), cell(13, 13)), connected(cell(14, 13), cell(14, 12)), connected(cell(14, 13), cell(14, 14)), connected(cell(14, 13), cell(15, 13)), connected(cell(14, 14), cell(13, 14)), connected(cell(14, 14), cell(14, 13)), connected(cell(14, 14), cell(14, 15)), connected(cell(14, 14), cell(15, 14)), connected(cell(14, 15), cell(13, 15)), connected(cell(14, 15), cell(14, 14)), connected(cell(14, 15), cell(14, 16)), connected(cell(14, 15), cell(15, 15)), connected(cell(14, 16), cell(13, 16)), connected(cell(14, 16), cell(14, 15)), connected(cell(14, 16), cell(15, 16)), connected(cell(15, 1), cell(14, 1)), connected(cell(15, 1), cell(15, 2)), connected(cell(15, 1), cell(16, 1)), connected(cell(15, 2), cell(14, 2)), connected(cell(15, 2), cell(15, 1)), connected(cell(15, 2), cell(15, 3)), connected(cell(15, 2), cell(16, 2)), connected(cell(15, 3), cell(14, 3)), connected(cell(15, 3), cell(15, 2)), connected(cell(15, 3), cell(15, 4)), connected(cell(15, 3), cell(16, 3)), connected(cell(15, 4), cell(14, 4)), connected(cell(15, 4), cell(15, 3)), connected(cell(15, 4), cell(15, 5)), connected(cell(15, 4), cell(16, 4)), connected(cell(15, 5), cell(14, 5)), connected(cell(15, 5), cell(15, 4)), connected(cell(15, 5), cell(15, 6)), connected(cell(15, 5), cell(16, 5)), connected(cell(15, 6), cell(14, 6)), connected(cell(15, 6), cell(15, 5)), connected(cell(15, 6), cell(15, 7)), connected(cell(15, 6), cell(16, 6)), connected(cell(15, 7), cell(14, 7)), connected(cell(15, 7), cell(15, 6)), connected(cell(15, 7), cell(15, 8)), connected(cell(15, 7), cell(16, 7)), connected(cell(15, 8), cell(14, 8)), connected(cell(15, 8), cell(15, 7)), connected(cell(15, 8), cell(15, 9)), connected(cell(15, 8), cell(16, 8)), connected(cell(15, 9), cell(14, 9)), connected(cell(15, 9), cell(15, 8)), connected(cell(15, 9), cell(15, 10)), connected(cell(15, 9), cell(16, 9)), connected(cell(15, 10), cell(14, 10)), connected(cell(15, 10), cell(15, 9)), connected(cell(15, 10), cell(15, 11)), connected(cell(15, 10), cell(16, 10)), connected(cell(15, 11), cell(14, 11)), connected(cell(15, 11), cell(15, 10)), connected(cell(15, 11), cell(15, 12)), connected(cell(15, 11), cell(16, 11)), connected(cell(15, 12), cell(14, 12)), connected(cell(15, 12), cell(15, 11)), connected(cell(15, 12), cell(15, 13)), connected(cell(15, 12), cell(16, 12)), connected(cell(15, 13), cell(14, 13)), connected(cell(15, 13), cell(15, 12)), connected(cell(15, 13), cell(15, 14)), connected(cell(15, 13), cell(16, 13)), connected(cell(15, 14), cell(14, 14)), connected(cell(15, 14), cell(15, 13)), connected(cell(15, 14), cell(15, 15)), connected(cell(15, 14), cell(16, 14)), connected(cell(15, 15), cell(14, 15)), connected(cell(15, 15), cell(15, 14)), connected(cell(15, 15), cell(15, 16)), connected(cell(15, 15), cell(16, 15)), connected(cell(15, 16), cell(14, 16)), connected(cell(15, 16), cell(15, 15)), connected(cell(15, 16), cell(16, 16)), connected(cell(16, 1), cell(15, 1)), connected(cell(16, 1), cell(16, 2)), connected(cell(16, 2), cell(15, 2)), connected(cell(16, 2), cell(16, 1)), connected(cell(16, 2), cell(16, 3)), connected(cell(16, 3), cell(15, 3)), connected(cell(16, 3), cell(16, 2)), connected(cell(16, 3), cell(16, 4)), connected(cell(16, 4), cell(15, 4)), connected(cell(16, 4), cell(16, 3)), connected(cell(16, 4), cell(16, 5)), connected(cell(16, 5), cell(15, 5)), connected(cell(16, 5), cell(16, 4)), connected(cell(16, 5), cell(16, 6)), connected(cell(16, 6), cell(15, 6)), connected(cell(16, 6), cell(16, 5)), connected(cell(16, 6), cell(16, 7)), connected(cell(16, 7), cell(15, 7)), connected(cell(16, 7), cell(16, 6)), connected(cell(16, 7), cell(16, 8)), connected(cell(16, 8), cell(15, 8)), connected(cell(16, 8), cell(16, 7)), connected(cell(16, 8), cell(16, 9)), connected(cell(16, 9), cell(15, 9)), connected(cell(16, 9), cell(16, 8)), connected(cell(16, 9), cell(16, 10)), connected(cell(16, 10), cell(15, 10)), connected(cell(16, 10), cell(16, 9)), connected(cell(16, 10), cell(16, 11)), connected(cell(16, 11), cell(15, 11)), connected(cell(16, 11), cell(16, 10)), connected(cell(16, 11), cell(16, 12)), connected(cell(16, 12), cell(15, 12)), connected(cell(16, 12), cell(16, 11)), connected(cell(16, 12), cell(16, 13)), connected(cell(16, 13), cell(15, 13)), connected(cell(16, 13), cell(16, 12)), connected(cell(16, 13), cell(16, 14)), connected(cell(16, 14), cell(15, 14)), connected(cell(16, 14), cell(16, 13)), connected(cell(16, 14), cell(16, 15)), connected(cell(16, 15), cell(15, 15)), connected(cell(16, 15), cell(16, 14)), connected(cell(16, 15), cell(16, 16)), connected(cell(16, 16), cell(15, 16)), connected(cell(16, 16), cell(16, 15)), carries(agent, arrow), at(agent, cell(1, 1)), alive(wumpus) ]. initial_state(32,State) :- State = [ neg(at(wumpus, cell(0, 1))), neg(at(wumpus, cell(0, 2))), neg(at(wumpus, cell(0, 3))), neg(at(wumpus, cell(0, 4))), neg(at(wumpus, cell(0, 5))), neg(at(wumpus, cell(0, 6))), neg(at(wumpus, cell(0, 7))), neg(at(wumpus, cell(0, 8))), neg(at(wumpus, cell(0, 9))), neg(at(wumpus, cell(0, 10))), neg(at(wumpus, cell(0, 11))), neg(at(wumpus, cell(0, 12))), neg(at(wumpus, cell(0, 13))), neg(at(wumpus, cell(0, 14))), neg(at(wumpus, cell(0, 15))), neg(at(wumpus, cell(0, 16))), neg(at(wumpus, cell(0, 17))), neg(at(wumpus, cell(0, 18))), neg(at(wumpus, cell(0, 19))), neg(at(wumpus, cell(0, 20))), neg(at(wumpus, cell(0, 21))), neg(at(wumpus, cell(0, 22))), neg(at(wumpus, cell(0, 23))), neg(at(wumpus, cell(0, 24))), neg(at(wumpus, cell(0, 25))), neg(at(wumpus, cell(0, 26))), neg(at(wumpus, cell(0, 27))), neg(at(wumpus, cell(0, 28))), neg(at(wumpus, cell(0, 29))), neg(at(wumpus, cell(0, 30))), neg(at(wumpus, cell(0, 31))), neg(at(wumpus, cell(0, 32))), neg(at(wumpus, cell(33, 1))), neg(at(wumpus, cell(33, 2))), neg(at(wumpus, cell(33, 3))), neg(at(wumpus, cell(33, 4))), neg(at(wumpus, cell(33, 5))), neg(at(wumpus, cell(33, 6))), neg(at(wumpus, cell(33, 7))), neg(at(wumpus, cell(33, 8))), neg(at(wumpus, cell(33, 9))), neg(at(wumpus, cell(33, 10))), neg(at(wumpus, cell(33, 11))), neg(at(wumpus, cell(33, 12))), neg(at(wumpus, cell(33, 13))), neg(at(wumpus, cell(33, 14))), neg(at(wumpus, cell(33, 15))), neg(at(wumpus, cell(33, 16))), neg(at(wumpus, cell(33, 17))), neg(at(wumpus, cell(33, 18))), neg(at(wumpus, cell(33, 19))), neg(at(wumpus, cell(33, 20))), neg(at(wumpus, cell(33, 21))), neg(at(wumpus, cell(33, 22))), neg(at(wumpus, cell(33, 23))), neg(at(wumpus, cell(33, 24))), neg(at(wumpus, cell(33, 25))), neg(at(wumpus, cell(33, 26))), neg(at(wumpus, cell(33, 27))), neg(at(wumpus, cell(33, 28))), neg(at(wumpus, cell(33, 29))), neg(at(wumpus, cell(33, 30))), neg(at(wumpus, cell(33, 31))), neg(at(wumpus, cell(33, 32))), neg(at(wumpus, cell(1, 0))), neg(at(wumpus, cell(2, 0))), neg(at(wumpus, cell(3, 0))), neg(at(wumpus, cell(4, 0))), neg(at(wumpus, cell(5, 0))), neg(at(wumpus, cell(6, 0))), neg(at(wumpus, cell(7, 0))), neg(at(wumpus, cell(8, 0))), neg(at(wumpus, cell(9, 0))), neg(at(wumpus, cell(10, 0))), neg(at(wumpus, cell(11, 0))), neg(at(wumpus, cell(12, 0))), neg(at(wumpus, cell(13, 0))), neg(at(wumpus, cell(14, 0))), neg(at(wumpus, cell(15, 0))), neg(at(wumpus, cell(16, 0))), neg(at(wumpus, cell(17, 0))), neg(at(wumpus, cell(18, 0))), neg(at(wumpus, cell(19, 0))), neg(at(wumpus, cell(20, 0))), neg(at(wumpus, cell(21, 0))), neg(at(wumpus, cell(22, 0))), neg(at(wumpus, cell(23, 0))), neg(at(wumpus, cell(24, 0))), neg(at(wumpus, cell(25, 0))), neg(at(wumpus, cell(26, 0))), neg(at(wumpus, cell(27, 0))), neg(at(wumpus, cell(28, 0))), neg(at(wumpus, cell(29, 0))), neg(at(wumpus, cell(30, 0))), neg(at(wumpus, cell(31, 0))), neg(at(wumpus, cell(32, 0))), neg(at(wumpus, cell(1, 33))), neg(at(wumpus, cell(2, 33))), neg(at(wumpus, cell(3, 33))), neg(at(wumpus, cell(4, 33))), neg(at(wumpus, cell(5, 33))), neg(at(wumpus, cell(6, 33))), neg(at(wumpus, cell(7, 33))), neg(at(wumpus, cell(8, 33))), neg(at(wumpus, cell(9, 33))), neg(at(wumpus, cell(10, 33))), neg(at(wumpus, cell(11, 33))), neg(at(wumpus, cell(12, 33))), neg(at(wumpus, cell(13, 33))), neg(at(wumpus, cell(14, 33))), neg(at(wumpus, cell(15, 33))), neg(at(wumpus, cell(16, 33))), neg(at(wumpus, cell(17, 33))), neg(at(wumpus, cell(18, 33))), neg(at(wumpus, cell(19, 33))), neg(at(wumpus, cell(20, 33))), neg(at(wumpus, cell(21, 33))), neg(at(wumpus, cell(22, 33))), neg(at(wumpus, cell(23, 33))), neg(at(wumpus, cell(24, 33))), neg(at(wumpus, cell(25, 33))), neg(at(wumpus, cell(26, 33))), neg(at(wumpus, cell(27, 33))), neg(at(wumpus, cell(28, 33))), neg(at(wumpus, cell(29, 33))), neg(at(wumpus, cell(30, 33))), neg(at(wumpus, cell(31, 33))), neg(at(wumpus, cell(32, 33))), neg(pit(cell(0, 1))), neg(pit(cell(0, 2))), neg(pit(cell(0, 3))), neg(pit(cell(0, 4))), neg(pit(cell(0, 5))), neg(pit(cell(0, 6))), neg(pit(cell(0, 7))), neg(pit(cell(0, 8))), neg(pit(cell(0, 9))), neg(pit(cell(0, 10))), neg(pit(cell(0, 11))), neg(pit(cell(0, 12))), neg(pit(cell(0, 13))), neg(pit(cell(0, 14))), neg(pit(cell(0, 15))), neg(pit(cell(0, 16))), neg(pit(cell(0, 17))), neg(pit(cell(0, 18))), neg(pit(cell(0, 19))), neg(pit(cell(0, 20))), neg(pit(cell(0, 21))), neg(pit(cell(0, 22))), neg(pit(cell(0, 23))), neg(pit(cell(0, 24))), neg(pit(cell(0, 25))), neg(pit(cell(0, 26))), neg(pit(cell(0, 27))), neg(pit(cell(0, 28))), neg(pit(cell(0, 29))), neg(pit(cell(0, 30))), neg(pit(cell(0, 31))), neg(pit(cell(0, 32))), neg(pit(cell(33, 1))), neg(pit(cell(33, 2))), neg(pit(cell(33, 3))), neg(pit(cell(33, 4))), neg(pit(cell(33, 5))), neg(pit(cell(33, 6))), neg(pit(cell(33, 7))), neg(pit(cell(33, 8))), neg(pit(cell(33, 9))), neg(pit(cell(33, 10))), neg(pit(cell(33, 11))), neg(pit(cell(33, 12))), neg(pit(cell(33, 13))), neg(pit(cell(33, 14))), neg(pit(cell(33, 15))), neg(pit(cell(33, 16))), neg(pit(cell(33, 17))), neg(pit(cell(33, 18))), neg(pit(cell(33, 19))), neg(pit(cell(33, 20))), neg(pit(cell(33, 21))), neg(pit(cell(33, 22))), neg(pit(cell(33, 23))), neg(pit(cell(33, 24))), neg(pit(cell(33, 25))), neg(pit(cell(33, 26))), neg(pit(cell(33, 27))), neg(pit(cell(33, 28))), neg(pit(cell(33, 29))), neg(pit(cell(33, 30))), neg(pit(cell(33, 31))), neg(pit(cell(33, 32))), neg(pit(cell(1, 0))), neg(pit(cell(2, 0))), neg(pit(cell(3, 0))), neg(pit(cell(4, 0))), neg(pit(cell(5, 0))), neg(pit(cell(6, 0))), neg(pit(cell(7, 0))), neg(pit(cell(8, 0))), neg(pit(cell(9, 0))), neg(pit(cell(10, 0))), neg(pit(cell(11, 0))), neg(pit(cell(12, 0))), neg(pit(cell(13, 0))), neg(pit(cell(14, 0))), neg(pit(cell(15, 0))), neg(pit(cell(16, 0))), neg(pit(cell(17, 0))), neg(pit(cell(18, 0))), neg(pit(cell(19, 0))), neg(pit(cell(20, 0))), neg(pit(cell(21, 0))), neg(pit(cell(22, 0))), neg(pit(cell(23, 0))), neg(pit(cell(24, 0))), neg(pit(cell(25, 0))), neg(pit(cell(26, 0))), neg(pit(cell(27, 0))), neg(pit(cell(28, 0))), neg(pit(cell(29, 0))), neg(pit(cell(30, 0))), neg(pit(cell(31, 0))), neg(pit(cell(32, 0))), neg(pit(cell(1, 33))), neg(pit(cell(2, 33))), neg(pit(cell(3, 33))), neg(pit(cell(4, 33))), neg(pit(cell(5, 33))), neg(pit(cell(6, 33))), neg(pit(cell(7, 33))), neg(pit(cell(8, 33))), neg(pit(cell(9, 33))), neg(pit(cell(10, 33))), neg(pit(cell(11, 33))), neg(pit(cell(12, 33))), neg(pit(cell(13, 33))), neg(pit(cell(14, 33))), neg(pit(cell(15, 33))), neg(pit(cell(16, 33))), neg(pit(cell(17, 33))), neg(pit(cell(18, 33))), neg(pit(cell(19, 33))), neg(pit(cell(20, 33))), neg(pit(cell(21, 33))), neg(pit(cell(22, 33))), neg(pit(cell(23, 33))), neg(pit(cell(24, 33))), neg(pit(cell(25, 33))), neg(pit(cell(26, 33))), neg(pit(cell(27, 33))), neg(pit(cell(28, 33))), neg(pit(cell(29, 33))), neg(pit(cell(30, 33))), neg(pit(cell(31, 33))), neg(pit(cell(32, 33))), connected(cell(1, 1), cell(1, 2)), connected(cell(1, 1), cell(2, 1)), connected(cell(1, 2), cell(1, 1)), connected(cell(1, 2), cell(1, 3)), connected(cell(1, 2), cell(2, 2)), connected(cell(1, 3), cell(1, 2)), connected(cell(1, 3), cell(1, 4)), connected(cell(1, 3), cell(2, 3)), connected(cell(1, 4), cell(1, 3)), connected(cell(1, 4), cell(1, 5)), connected(cell(1, 4), cell(2, 4)), connected(cell(1, 5), cell(1, 4)), connected(cell(1, 5), cell(1, 6)), connected(cell(1, 5), cell(2, 5)), connected(cell(1, 6), cell(1, 5)), connected(cell(1, 6), cell(1, 7)), connected(cell(1, 6), cell(2, 6)), connected(cell(1, 7), cell(1, 6)), connected(cell(1, 7), cell(1, 8)), connected(cell(1, 7), cell(2, 7)), connected(cell(1, 8), cell(1, 7)), connected(cell(1, 8), cell(1, 9)), connected(cell(1, 8), cell(2, 8)), connected(cell(1, 9), cell(1, 8)), connected(cell(1, 9), cell(1, 10)), connected(cell(1, 9), cell(2, 9)), connected(cell(1, 10), cell(1, 9)), connected(cell(1, 10), cell(1, 11)), connected(cell(1, 10), cell(2, 10)), connected(cell(1, 11), cell(1, 10)), connected(cell(1, 11), cell(1, 12)), connected(cell(1, 11), cell(2, 11)), connected(cell(1, 12), cell(1, 11)), connected(cell(1, 12), cell(1, 13)), connected(cell(1, 12), cell(2, 12)), connected(cell(1, 13), cell(1, 12)), connected(cell(1, 13), cell(1, 14)), connected(cell(1, 13), cell(2, 13)), connected(cell(1, 14), cell(1, 13)), connected(cell(1, 14), cell(1, 15)), connected(cell(1, 14), cell(2, 14)), connected(cell(1, 15), cell(1, 14)), connected(cell(1, 15), cell(1, 16)), connected(cell(1, 15), cell(2, 15)), connected(cell(1, 16), cell(1, 15)), connected(cell(1, 16), cell(1, 17)), connected(cell(1, 16), cell(2, 16)), connected(cell(1, 17), cell(1, 16)), connected(cell(1, 17), cell(1, 18)), connected(cell(1, 17), cell(2, 17)), connected(cell(1, 18), cell(1, 17)), connected(cell(1, 18), cell(1, 19)), connected(cell(1, 18), cell(2, 18)), connected(cell(1, 19), cell(1, 18)), connected(cell(1, 19), cell(1, 20)), connected(cell(1, 19), cell(2, 19)), connected(cell(1, 20), cell(1, 19)), connected(cell(1, 20), cell(1, 21)), connected(cell(1, 20), cell(2, 20)), connected(cell(1, 21), cell(1, 20)), connected(cell(1, 21), cell(1, 22)), connected(cell(1, 21), cell(2, 21)), connected(cell(1, 22), cell(1, 21)), connected(cell(1, 22), cell(1, 23)), connected(cell(1, 22), cell(2, 22)), connected(cell(1, 23), cell(1, 22)), connected(cell(1, 23), cell(1, 24)), connected(cell(1, 23), cell(2, 23)), connected(cell(1, 24), cell(1, 23)), connected(cell(1, 24), cell(1, 25)), connected(cell(1, 24), cell(2, 24)), connected(cell(1, 25), cell(1, 24)), connected(cell(1, 25), cell(1, 26)), connected(cell(1, 25), cell(2, 25)), connected(cell(1, 26), cell(1, 25)), connected(cell(1, 26), cell(1, 27)), connected(cell(1, 26), cell(2, 26)), connected(cell(1, 27), cell(1, 26)), connected(cell(1, 27), cell(1, 28)), connected(cell(1, 27), cell(2, 27)), connected(cell(1, 28), cell(1, 27)), connected(cell(1, 28), cell(1, 29)), connected(cell(1, 28), cell(2, 28)), connected(cell(1, 29), cell(1, 28)), connected(cell(1, 29), cell(1, 30)), connected(cell(1, 29), cell(2, 29)), connected(cell(1, 30), cell(1, 29)), connected(cell(1, 30), cell(1, 31)), connected(cell(1, 30), cell(2, 30)), connected(cell(1, 31), cell(1, 30)), connected(cell(1, 31), cell(1, 32)), connected(cell(1, 31), cell(2, 31)), connected(cell(1, 32), cell(1, 31)), connected(cell(1, 32), cell(2, 32)), connected(cell(2, 1), cell(1, 1)), connected(cell(2, 1), cell(2, 2)), connected(cell(2, 1), cell(3, 1)), connected(cell(2, 2), cell(1, 2)), connected(cell(2, 2), cell(2, 1)), connected(cell(2, 2), cell(2, 3)), connected(cell(2, 2), cell(3, 2)), connected(cell(2, 3), cell(1, 3)), connected(cell(2, 3), cell(2, 2)), connected(cell(2, 3), cell(2, 4)), connected(cell(2, 3), cell(3, 3)), connected(cell(2, 4), cell(1, 4)), connected(cell(2, 4), cell(2, 3)), connected(cell(2, 4), cell(2, 5)), connected(cell(2, 4), cell(3, 4)), connected(cell(2, 5), cell(1, 5)), connected(cell(2, 5), cell(2, 4)), connected(cell(2, 5), cell(2, 6)), connected(cell(2, 5), cell(3, 5)), connected(cell(2, 6), cell(1, 6)), connected(cell(2, 6), cell(2, 5)), connected(cell(2, 6), cell(2, 7)), connected(cell(2, 6), cell(3, 6)), connected(cell(2, 7), cell(1, 7)), connected(cell(2, 7), cell(2, 6)), connected(cell(2, 7), cell(2, 8)), connected(cell(2, 7), cell(3, 7)), connected(cell(2, 8), cell(1, 8)), connected(cell(2, 8), cell(2, 7)), connected(cell(2, 8), cell(2, 9)), connected(cell(2, 8), cell(3, 8)), connected(cell(2, 9), cell(1, 9)), connected(cell(2, 9), cell(2, 8)), connected(cell(2, 9), cell(2, 10)), connected(cell(2, 9), cell(3, 9)), connected(cell(2, 10), cell(1, 10)), connected(cell(2, 10), cell(2, 9)), connected(cell(2, 10), cell(2, 11)), connected(cell(2, 10), cell(3, 10)), connected(cell(2, 11), cell(1, 11)), connected(cell(2, 11), cell(2, 10)), connected(cell(2, 11), cell(2, 12)), connected(cell(2, 11), cell(3, 11)), connected(cell(2, 12), cell(1, 12)), connected(cell(2, 12), cell(2, 11)), connected(cell(2, 12), cell(2, 13)), connected(cell(2, 12), cell(3, 12)), connected(cell(2, 13), cell(1, 13)), connected(cell(2, 13), cell(2, 12)), connected(cell(2, 13), cell(2, 14)), connected(cell(2, 13), cell(3, 13)), connected(cell(2, 14), cell(1, 14)), connected(cell(2, 14), cell(2, 13)), connected(cell(2, 14), cell(2, 15)), connected(cell(2, 14), cell(3, 14)), connected(cell(2, 15), cell(1, 15)), connected(cell(2, 15), cell(2, 14)), connected(cell(2, 15), cell(2, 16)), connected(cell(2, 15), cell(3, 15)), connected(cell(2, 16), cell(1, 16)), connected(cell(2, 16), cell(2, 15)), connected(cell(2, 16), cell(2, 17)), connected(cell(2, 16), cell(3, 16)), connected(cell(2, 17), cell(1, 17)), connected(cell(2, 17), cell(2, 16)), connected(cell(2, 17), cell(2, 18)), connected(cell(2, 17), cell(3, 17)), connected(cell(2, 18), cell(1, 18)), connected(cell(2, 18), cell(2, 17)), connected(cell(2, 18), cell(2, 19)), connected(cell(2, 18), cell(3, 18)), connected(cell(2, 19), cell(1, 19)), connected(cell(2, 19), cell(2, 18)), connected(cell(2, 19), cell(2, 20)), connected(cell(2, 19), cell(3, 19)), connected(cell(2, 20), cell(1, 20)), connected(cell(2, 20), cell(2, 19)), connected(cell(2, 20), cell(2, 21)), connected(cell(2, 20), cell(3, 20)), connected(cell(2, 21), cell(1, 21)), connected(cell(2, 21), cell(2, 20)), connected(cell(2, 21), cell(2, 22)), connected(cell(2, 21), cell(3, 21)), connected(cell(2, 22), cell(1, 22)), connected(cell(2, 22), cell(2, 21)), connected(cell(2, 22), cell(2, 23)), connected(cell(2, 22), cell(3, 22)), connected(cell(2, 23), cell(1, 23)), connected(cell(2, 23), cell(2, 22)), connected(cell(2, 23), cell(2, 24)), connected(cell(2, 23), cell(3, 23)), connected(cell(2, 24), cell(1, 24)), connected(cell(2, 24), cell(2, 23)), connected(cell(2, 24), cell(2, 25)), connected(cell(2, 24), cell(3, 24)), connected(cell(2, 25), cell(1, 25)), connected(cell(2, 25), cell(2, 24)), connected(cell(2, 25), cell(2, 26)), connected(cell(2, 25), cell(3, 25)), connected(cell(2, 26), cell(1, 26)), connected(cell(2, 26), cell(2, 25)), connected(cell(2, 26), cell(2, 27)), connected(cell(2, 26), cell(3, 26)), connected(cell(2, 27), cell(1, 27)), connected(cell(2, 27), cell(2, 26)), connected(cell(2, 27), cell(2, 28)), connected(cell(2, 27), cell(3, 27)), connected(cell(2, 28), cell(1, 28)), connected(cell(2, 28), cell(2, 27)), connected(cell(2, 28), cell(2, 29)), connected(cell(2, 28), cell(3, 28)), connected(cell(2, 29), cell(1, 29)), connected(cell(2, 29), cell(2, 28)), connected(cell(2, 29), cell(2, 30)), connected(cell(2, 29), cell(3, 29)), connected(cell(2, 30), cell(1, 30)), connected(cell(2, 30), cell(2, 29)), connected(cell(2, 30), cell(2, 31)), connected(cell(2, 30), cell(3, 30)), connected(cell(2, 31), cell(1, 31)), connected(cell(2, 31), cell(2, 30)), connected(cell(2, 31), cell(2, 32)), connected(cell(2, 31), cell(3, 31)), connected(cell(2, 32), cell(1, 32)), connected(cell(2, 32), cell(2, 31)), connected(cell(2, 32), cell(3, 32)), connected(cell(3, 1), cell(2, 1)), connected(cell(3, 1), cell(3, 2)), connected(cell(3, 1), cell(4, 1)), connected(cell(3, 2), cell(2, 2)), connected(cell(3, 2), cell(3, 1)), connected(cell(3, 2), cell(3, 3)), connected(cell(3, 2), cell(4, 2)), connected(cell(3, 3), cell(2, 3)), connected(cell(3, 3), cell(3, 2)), connected(cell(3, 3), cell(3, 4)), connected(cell(3, 3), cell(4, 3)), connected(cell(3, 4), cell(2, 4)), connected(cell(3, 4), cell(3, 3)), connected(cell(3, 4), cell(3, 5)), connected(cell(3, 4), cell(4, 4)), connected(cell(3, 5), cell(2, 5)), connected(cell(3, 5), cell(3, 4)), connected(cell(3, 5), cell(3, 6)), connected(cell(3, 5), cell(4, 5)), connected(cell(3, 6), cell(2, 6)), connected(cell(3, 6), cell(3, 5)), connected(cell(3, 6), cell(3, 7)), connected(cell(3, 6), cell(4, 6)), connected(cell(3, 7), cell(2, 7)), connected(cell(3, 7), cell(3, 6)), connected(cell(3, 7), cell(3, 8)), connected(cell(3, 7), cell(4, 7)), connected(cell(3, 8), cell(2, 8)), connected(cell(3, 8), cell(3, 7)), connected(cell(3, 8), cell(3, 9)), connected(cell(3, 8), cell(4, 8)), connected(cell(3, 9), cell(2, 9)), connected(cell(3, 9), cell(3, 8)), connected(cell(3, 9), cell(3, 10)), connected(cell(3, 9), cell(4, 9)), connected(cell(3, 10), cell(2, 10)), connected(cell(3, 10), cell(3, 9)), connected(cell(3, 10), cell(3, 11)), connected(cell(3, 10), cell(4, 10)), connected(cell(3, 11), cell(2, 11)), connected(cell(3, 11), cell(3, 10)), connected(cell(3, 11), cell(3, 12)), connected(cell(3, 11), cell(4, 11)), connected(cell(3, 12), cell(2, 12)), connected(cell(3, 12), cell(3, 11)), connected(cell(3, 12), cell(3, 13)), connected(cell(3, 12), cell(4, 12)), connected(cell(3, 13), cell(2, 13)), connected(cell(3, 13), cell(3, 12)), connected(cell(3, 13), cell(3, 14)), connected(cell(3, 13), cell(4, 13)), connected(cell(3, 14), cell(2, 14)), connected(cell(3, 14), cell(3, 13)), connected(cell(3, 14), cell(3, 15)), connected(cell(3, 14), cell(4, 14)), connected(cell(3, 15), cell(2, 15)), connected(cell(3, 15), cell(3, 14)), connected(cell(3, 15), cell(3, 16)), connected(cell(3, 15), cell(4, 15)), connected(cell(3, 16), cell(2, 16)), connected(cell(3, 16), cell(3, 15)), connected(cell(3, 16), cell(3, 17)), connected(cell(3, 16), cell(4, 16)), connected(cell(3, 17), cell(2, 17)), connected(cell(3, 17), cell(3, 16)), connected(cell(3, 17), cell(3, 18)), connected(cell(3, 17), cell(4, 17)), connected(cell(3, 18), cell(2, 18)), connected(cell(3, 18), cell(3, 17)), connected(cell(3, 18), cell(3, 19)), connected(cell(3, 18), cell(4, 18)), connected(cell(3, 19), cell(2, 19)), connected(cell(3, 19), cell(3, 18)), connected(cell(3, 19), cell(3, 20)), connected(cell(3, 19), cell(4, 19)), connected(cell(3, 20), cell(2, 20)), connected(cell(3, 20), cell(3, 19)), connected(cell(3, 20), cell(3, 21)), connected(cell(3, 20), cell(4, 20)), connected(cell(3, 21), cell(2, 21)), connected(cell(3, 21), cell(3, 20)), connected(cell(3, 21), cell(3, 22)), connected(cell(3, 21), cell(4, 21)), connected(cell(3, 22), cell(2, 22)), connected(cell(3, 22), cell(3, 21)), connected(cell(3, 22), cell(3, 23)), connected(cell(3, 22), cell(4, 22)), connected(cell(3, 23), cell(2, 23)), connected(cell(3, 23), cell(3, 22)), connected(cell(3, 23), cell(3, 24)), connected(cell(3, 23), cell(4, 23)), connected(cell(3, 24), cell(2, 24)), connected(cell(3, 24), cell(3, 23)), connected(cell(3, 24), cell(3, 25)), connected(cell(3, 24), cell(4, 24)), connected(cell(3, 25), cell(2, 25)), connected(cell(3, 25), cell(3, 24)), connected(cell(3, 25), cell(3, 26)), connected(cell(3, 25), cell(4, 25)), connected(cell(3, 26), cell(2, 26)), connected(cell(3, 26), cell(3, 25)), connected(cell(3, 26), cell(3, 27)), connected(cell(3, 26), cell(4, 26)), connected(cell(3, 27), cell(2, 27)), connected(cell(3, 27), cell(3, 26)), connected(cell(3, 27), cell(3, 28)), connected(cell(3, 27), cell(4, 27)), connected(cell(3, 28), cell(2, 28)), connected(cell(3, 28), cell(3, 27)), connected(cell(3, 28), cell(3, 29)), connected(cell(3, 28), cell(4, 28)), connected(cell(3, 29), cell(2, 29)), connected(cell(3, 29), cell(3, 28)), connected(cell(3, 29), cell(3, 30)), connected(cell(3, 29), cell(4, 29)), connected(cell(3, 30), cell(2, 30)), connected(cell(3, 30), cell(3, 29)), connected(cell(3, 30), cell(3, 31)), connected(cell(3, 30), cell(4, 30)), connected(cell(3, 31), cell(2, 31)), connected(cell(3, 31), cell(3, 30)), connected(cell(3, 31), cell(3, 32)), connected(cell(3, 31), cell(4, 31)), connected(cell(3, 32), cell(2, 32)), connected(cell(3, 32), cell(3, 31)), connected(cell(3, 32), cell(4, 32)), connected(cell(4, 1), cell(3, 1)), connected(cell(4, 1), cell(4, 2)), connected(cell(4, 1), cell(5, 1)), connected(cell(4, 2), cell(3, 2)), connected(cell(4, 2), cell(4, 1)), connected(cell(4, 2), cell(4, 3)), connected(cell(4, 2), cell(5, 2)), connected(cell(4, 3), cell(3, 3)), connected(cell(4, 3), cell(4, 2)), connected(cell(4, 3), cell(4, 4)), connected(cell(4, 3), cell(5, 3)), connected(cell(4, 4), cell(3, 4)), connected(cell(4, 4), cell(4, 3)), connected(cell(4, 4), cell(4, 5)), connected(cell(4, 4), cell(5, 4)), connected(cell(4, 5), cell(3, 5)), connected(cell(4, 5), cell(4, 4)), connected(cell(4, 5), cell(4, 6)), connected(cell(4, 5), cell(5, 5)), connected(cell(4, 6), cell(3, 6)), connected(cell(4, 6), cell(4, 5)), connected(cell(4, 6), cell(4, 7)), connected(cell(4, 6), cell(5, 6)), connected(cell(4, 7), cell(3, 7)), connected(cell(4, 7), cell(4, 6)), connected(cell(4, 7), cell(4, 8)), connected(cell(4, 7), cell(5, 7)), connected(cell(4, 8), cell(3, 8)), connected(cell(4, 8), cell(4, 7)), connected(cell(4, 8), cell(4, 9)), connected(cell(4, 8), cell(5, 8)), connected(cell(4, 9), cell(3, 9)), connected(cell(4, 9), cell(4, 8)), connected(cell(4, 9), cell(4, 10)), connected(cell(4, 9), cell(5, 9)), connected(cell(4, 10), cell(3, 10)), connected(cell(4, 10), cell(4, 9)), connected(cell(4, 10), cell(4, 11)), connected(cell(4, 10), cell(5, 10)), connected(cell(4, 11), cell(3, 11)), connected(cell(4, 11), cell(4, 10)), connected(cell(4, 11), cell(4, 12)), connected(cell(4, 11), cell(5, 11)), connected(cell(4, 12), cell(3, 12)), connected(cell(4, 12), cell(4, 11)), connected(cell(4, 12), cell(4, 13)), connected(cell(4, 12), cell(5, 12)), connected(cell(4, 13), cell(3, 13)), connected(cell(4, 13), cell(4, 12)), connected(cell(4, 13), cell(4, 14)), connected(cell(4, 13), cell(5, 13)), connected(cell(4, 14), cell(3, 14)), connected(cell(4, 14), cell(4, 13)), connected(cell(4, 14), cell(4, 15)), connected(cell(4, 14), cell(5, 14)), connected(cell(4, 15), cell(3, 15)), connected(cell(4, 15), cell(4, 14)), connected(cell(4, 15), cell(4, 16)), connected(cell(4, 15), cell(5, 15)), connected(cell(4, 16), cell(3, 16)), connected(cell(4, 16), cell(4, 15)), connected(cell(4, 16), cell(4, 17)), connected(cell(4, 16), cell(5, 16)), connected(cell(4, 17), cell(3, 17)), connected(cell(4, 17), cell(4, 16)), connected(cell(4, 17), cell(4, 18)), connected(cell(4, 17), cell(5, 17)), connected(cell(4, 18), cell(3, 18)), connected(cell(4, 18), cell(4, 17)), connected(cell(4, 18), cell(4, 19)), connected(cell(4, 18), cell(5, 18)), connected(cell(4, 19), cell(3, 19)), connected(cell(4, 19), cell(4, 18)), connected(cell(4, 19), cell(4, 20)), connected(cell(4, 19), cell(5, 19)), connected(cell(4, 20), cell(3, 20)), connected(cell(4, 20), cell(4, 19)), connected(cell(4, 20), cell(4, 21)), connected(cell(4, 20), cell(5, 20)), connected(cell(4, 21), cell(3, 21)), connected(cell(4, 21), cell(4, 20)), connected(cell(4, 21), cell(4, 22)), connected(cell(4, 21), cell(5, 21)), connected(cell(4, 22), cell(3, 22)), connected(cell(4, 22), cell(4, 21)), connected(cell(4, 22), cell(4, 23)), connected(cell(4, 22), cell(5, 22)), connected(cell(4, 23), cell(3, 23)), connected(cell(4, 23), cell(4, 22)), connected(cell(4, 23), cell(4, 24)), connected(cell(4, 23), cell(5, 23)), connected(cell(4, 24), cell(3, 24)), connected(cell(4, 24), cell(4, 23)), connected(cell(4, 24), cell(4, 25)), connected(cell(4, 24), cell(5, 24)), connected(cell(4, 25), cell(3, 25)), connected(cell(4, 25), cell(4, 24)), connected(cell(4, 25), cell(4, 26)), connected(cell(4, 25), cell(5, 25)), connected(cell(4, 26), cell(3, 26)), connected(cell(4, 26), cell(4, 25)), connected(cell(4, 26), cell(4, 27)), connected(cell(4, 26), cell(5, 26)), connected(cell(4, 27), cell(3, 27)), connected(cell(4, 27), cell(4, 26)), connected(cell(4, 27), cell(4, 28)), connected(cell(4, 27), cell(5, 27)), connected(cell(4, 28), cell(3, 28)), connected(cell(4, 28), cell(4, 27)), connected(cell(4, 28), cell(4, 29)), connected(cell(4, 28), cell(5, 28)), connected(cell(4, 29), cell(3, 29)), connected(cell(4, 29), cell(4, 28)), connected(cell(4, 29), cell(4, 30)), connected(cell(4, 29), cell(5, 29)), connected(cell(4, 30), cell(3, 30)), connected(cell(4, 30), cell(4, 29)), connected(cell(4, 30), cell(4, 31)), connected(cell(4, 30), cell(5, 30)), connected(cell(4, 31), cell(3, 31)), connected(cell(4, 31), cell(4, 30)), connected(cell(4, 31), cell(4, 32)), connected(cell(4, 31), cell(5, 31)), connected(cell(4, 32), cell(3, 32)), connected(cell(4, 32), cell(4, 31)), connected(cell(4, 32), cell(5, 32)), connected(cell(5, 1), cell(4, 1)), connected(cell(5, 1), cell(5, 2)), connected(cell(5, 1), cell(6, 1)), connected(cell(5, 2), cell(4, 2)), connected(cell(5, 2), cell(5, 1)), connected(cell(5, 2), cell(5, 3)), connected(cell(5, 2), cell(6, 2)), connected(cell(5, 3), cell(4, 3)), connected(cell(5, 3), cell(5, 2)), connected(cell(5, 3), cell(5, 4)), connected(cell(5, 3), cell(6, 3)), connected(cell(5, 4), cell(4, 4)), connected(cell(5, 4), cell(5, 3)), connected(cell(5, 4), cell(5, 5)), connected(cell(5, 4), cell(6, 4)), connected(cell(5, 5), cell(4, 5)), connected(cell(5, 5), cell(5, 4)), connected(cell(5, 5), cell(5, 6)), connected(cell(5, 5), cell(6, 5)), connected(cell(5, 6), cell(4, 6)), connected(cell(5, 6), cell(5, 5)), connected(cell(5, 6), cell(5, 7)), connected(cell(5, 6), cell(6, 6)), connected(cell(5, 7), cell(4, 7)), connected(cell(5, 7), cell(5, 6)), connected(cell(5, 7), cell(5, 8)), connected(cell(5, 7), cell(6, 7)), connected(cell(5, 8), cell(4, 8)), connected(cell(5, 8), cell(5, 7)), connected(cell(5, 8), cell(5, 9)), connected(cell(5, 8), cell(6, 8)), connected(cell(5, 9), cell(4, 9)), connected(cell(5, 9), cell(5, 8)), connected(cell(5, 9), cell(5, 10)), connected(cell(5, 9), cell(6, 9)), connected(cell(5, 10), cell(4, 10)), connected(cell(5, 10), cell(5, 9)), connected(cell(5, 10), cell(5, 11)), connected(cell(5, 10), cell(6, 10)), connected(cell(5, 11), cell(4, 11)), connected(cell(5, 11), cell(5, 10)), connected(cell(5, 11), cell(5, 12)), connected(cell(5, 11), cell(6, 11)), connected(cell(5, 12), cell(4, 12)), connected(cell(5, 12), cell(5, 11)), connected(cell(5, 12), cell(5, 13)), connected(cell(5, 12), cell(6, 12)), connected(cell(5, 13), cell(4, 13)), connected(cell(5, 13), cell(5, 12)), connected(cell(5, 13), cell(5, 14)), connected(cell(5, 13), cell(6, 13)), connected(cell(5, 14), cell(4, 14)), connected(cell(5, 14), cell(5, 13)), connected(cell(5, 14), cell(5, 15)), connected(cell(5, 14), cell(6, 14)), connected(cell(5, 15), cell(4, 15)), connected(cell(5, 15), cell(5, 14)), connected(cell(5, 15), cell(5, 16)), connected(cell(5, 15), cell(6, 15)), connected(cell(5, 16), cell(4, 16)), connected(cell(5, 16), cell(5, 15)), connected(cell(5, 16), cell(5, 17)), connected(cell(5, 16), cell(6, 16)), connected(cell(5, 17), cell(4, 17)), connected(cell(5, 17), cell(5, 16)), connected(cell(5, 17), cell(5, 18)), connected(cell(5, 17), cell(6, 17)), connected(cell(5, 18), cell(4, 18)), connected(cell(5, 18), cell(5, 17)), connected(cell(5, 18), cell(5, 19)), connected(cell(5, 18), cell(6, 18)), connected(cell(5, 19), cell(4, 19)), connected(cell(5, 19), cell(5, 18)), connected(cell(5, 19), cell(5, 20)), connected(cell(5, 19), cell(6, 19)), connected(cell(5, 20), cell(4, 20)), connected(cell(5, 20), cell(5, 19)), connected(cell(5, 20), cell(5, 21)), connected(cell(5, 20), cell(6, 20)), connected(cell(5, 21), cell(4, 21)), connected(cell(5, 21), cell(5, 20)), connected(cell(5, 21), cell(5, 22)), connected(cell(5, 21), cell(6, 21)), connected(cell(5, 22), cell(4, 22)), connected(cell(5, 22), cell(5, 21)), connected(cell(5, 22), cell(5, 23)), connected(cell(5, 22), cell(6, 22)), connected(cell(5, 23), cell(4, 23)), connected(cell(5, 23), cell(5, 22)), connected(cell(5, 23), cell(5, 24)), connected(cell(5, 23), cell(6, 23)), connected(cell(5, 24), cell(4, 24)), connected(cell(5, 24), cell(5, 23)), connected(cell(5, 24), cell(5, 25)), connected(cell(5, 24), cell(6, 24)), connected(cell(5, 25), cell(4, 25)), connected(cell(5, 25), cell(5, 24)), connected(cell(5, 25), cell(5, 26)), connected(cell(5, 25), cell(6, 25)), connected(cell(5, 26), cell(4, 26)), connected(cell(5, 26), cell(5, 25)), connected(cell(5, 26), cell(5, 27)), connected(cell(5, 26), cell(6, 26)), connected(cell(5, 27), cell(4, 27)), connected(cell(5, 27), cell(5, 26)), connected(cell(5, 27), cell(5, 28)), connected(cell(5, 27), cell(6, 27)), connected(cell(5, 28), cell(4, 28)), connected(cell(5, 28), cell(5, 27)), connected(cell(5, 28), cell(5, 29)), connected(cell(5, 28), cell(6, 28)), connected(cell(5, 29), cell(4, 29)), connected(cell(5, 29), cell(5, 28)), connected(cell(5, 29), cell(5, 30)), connected(cell(5, 29), cell(6, 29)), connected(cell(5, 30), cell(4, 30)), connected(cell(5, 30), cell(5, 29)), connected(cell(5, 30), cell(5, 31)), connected(cell(5, 30), cell(6, 30)), connected(cell(5, 31), cell(4, 31)), connected(cell(5, 31), cell(5, 30)), connected(cell(5, 31), cell(5, 32)), connected(cell(5, 31), cell(6, 31)), connected(cell(5, 32), cell(4, 32)), connected(cell(5, 32), cell(5, 31)), connected(cell(5, 32), cell(6, 32)), connected(cell(6, 1), cell(5, 1)), connected(cell(6, 1), cell(6, 2)), connected(cell(6, 1), cell(7, 1)), connected(cell(6, 2), cell(5, 2)), connected(cell(6, 2), cell(6, 1)), connected(cell(6, 2), cell(6, 3)), connected(cell(6, 2), cell(7, 2)), connected(cell(6, 3), cell(5, 3)), connected(cell(6, 3), cell(6, 2)), connected(cell(6, 3), cell(6, 4)), connected(cell(6, 3), cell(7, 3)), connected(cell(6, 4), cell(5, 4)), connected(cell(6, 4), cell(6, 3)), connected(cell(6, 4), cell(6, 5)), connected(cell(6, 4), cell(7, 4)), connected(cell(6, 5), cell(5, 5)), connected(cell(6, 5), cell(6, 4)), connected(cell(6, 5), cell(6, 6)), connected(cell(6, 5), cell(7, 5)), connected(cell(6, 6), cell(5, 6)), connected(cell(6, 6), cell(6, 5)), connected(cell(6, 6), cell(6, 7)), connected(cell(6, 6), cell(7, 6)), connected(cell(6, 7), cell(5, 7)), connected(cell(6, 7), cell(6, 6)), connected(cell(6, 7), cell(6, 8)), connected(cell(6, 7), cell(7, 7)), connected(cell(6, 8), cell(5, 8)), connected(cell(6, 8), cell(6, 7)), connected(cell(6, 8), cell(6, 9)), connected(cell(6, 8), cell(7, 8)), connected(cell(6, 9), cell(5, 9)), connected(cell(6, 9), cell(6, 8)), connected(cell(6, 9), cell(6, 10)), connected(cell(6, 9), cell(7, 9)), connected(cell(6, 10), cell(5, 10)), connected(cell(6, 10), cell(6, 9)), connected(cell(6, 10), cell(6, 11)), connected(cell(6, 10), cell(7, 10)), connected(cell(6, 11), cell(5, 11)), connected(cell(6, 11), cell(6, 10)), connected(cell(6, 11), cell(6, 12)), connected(cell(6, 11), cell(7, 11)), connected(cell(6, 12), cell(5, 12)), connected(cell(6, 12), cell(6, 11)), connected(cell(6, 12), cell(6, 13)), connected(cell(6, 12), cell(7, 12)), connected(cell(6, 13), cell(5, 13)), connected(cell(6, 13), cell(6, 12)), connected(cell(6, 13), cell(6, 14)), connected(cell(6, 13), cell(7, 13)), connected(cell(6, 14), cell(5, 14)), connected(cell(6, 14), cell(6, 13)), connected(cell(6, 14), cell(6, 15)), connected(cell(6, 14), cell(7, 14)), connected(cell(6, 15), cell(5, 15)), connected(cell(6, 15), cell(6, 14)), connected(cell(6, 15), cell(6, 16)), connected(cell(6, 15), cell(7, 15)), connected(cell(6, 16), cell(5, 16)), connected(cell(6, 16), cell(6, 15)), connected(cell(6, 16), cell(6, 17)), connected(cell(6, 16), cell(7, 16)), connected(cell(6, 17), cell(5, 17)), connected(cell(6, 17), cell(6, 16)), connected(cell(6, 17), cell(6, 18)), connected(cell(6, 17), cell(7, 17)), connected(cell(6, 18), cell(5, 18)), connected(cell(6, 18), cell(6, 17)), connected(cell(6, 18), cell(6, 19)), connected(cell(6, 18), cell(7, 18)), connected(cell(6, 19), cell(5, 19)), connected(cell(6, 19), cell(6, 18)), connected(cell(6, 19), cell(6, 20)), connected(cell(6, 19), cell(7, 19)), connected(cell(6, 20), cell(5, 20)), connected(cell(6, 20), cell(6, 19)), connected(cell(6, 20), cell(6, 21)), connected(cell(6, 20), cell(7, 20)), connected(cell(6, 21), cell(5, 21)), connected(cell(6, 21), cell(6, 20)), connected(cell(6, 21), cell(6, 22)), connected(cell(6, 21), cell(7, 21)), connected(cell(6, 22), cell(5, 22)), connected(cell(6, 22), cell(6, 21)), connected(cell(6, 22), cell(6, 23)), connected(cell(6, 22), cell(7, 22)), connected(cell(6, 23), cell(5, 23)), connected(cell(6, 23), cell(6, 22)), connected(cell(6, 23), cell(6, 24)), connected(cell(6, 23), cell(7, 23)), connected(cell(6, 24), cell(5, 24)), connected(cell(6, 24), cell(6, 23)), connected(cell(6, 24), cell(6, 25)), connected(cell(6, 24), cell(7, 24)), connected(cell(6, 25), cell(5, 25)), connected(cell(6, 25), cell(6, 24)), connected(cell(6, 25), cell(6, 26)), connected(cell(6, 25), cell(7, 25)), connected(cell(6, 26), cell(5, 26)), connected(cell(6, 26), cell(6, 25)), connected(cell(6, 26), cell(6, 27)), connected(cell(6, 26), cell(7, 26)), connected(cell(6, 27), cell(5, 27)), connected(cell(6, 27), cell(6, 26)), connected(cell(6, 27), cell(6, 28)), connected(cell(6, 27), cell(7, 27)), connected(cell(6, 28), cell(5, 28)), connected(cell(6, 28), cell(6, 27)), connected(cell(6, 28), cell(6, 29)), connected(cell(6, 28), cell(7, 28)), connected(cell(6, 29), cell(5, 29)), connected(cell(6, 29), cell(6, 28)), connected(cell(6, 29), cell(6, 30)), connected(cell(6, 29), cell(7, 29)), connected(cell(6, 30), cell(5, 30)), connected(cell(6, 30), cell(6, 29)), connected(cell(6, 30), cell(6, 31)), connected(cell(6, 30), cell(7, 30)), connected(cell(6, 31), cell(5, 31)), connected(cell(6, 31), cell(6, 30)), connected(cell(6, 31), cell(6, 32)), connected(cell(6, 31), cell(7, 31)), connected(cell(6, 32), cell(5, 32)), connected(cell(6, 32), cell(6, 31)), connected(cell(6, 32), cell(7, 32)), connected(cell(7, 1), cell(6, 1)), connected(cell(7, 1), cell(7, 2)), connected(cell(7, 1), cell(8, 1)), connected(cell(7, 2), cell(6, 2)), connected(cell(7, 2), cell(7, 1)), connected(cell(7, 2), cell(7, 3)), connected(cell(7, 2), cell(8, 2)), connected(cell(7, 3), cell(6, 3)), connected(cell(7, 3), cell(7, 2)), connected(cell(7, 3), cell(7, 4)), connected(cell(7, 3), cell(8, 3)), connected(cell(7, 4), cell(6, 4)), connected(cell(7, 4), cell(7, 3)), connected(cell(7, 4), cell(7, 5)), connected(cell(7, 4), cell(8, 4)), connected(cell(7, 5), cell(6, 5)), connected(cell(7, 5), cell(7, 4)), connected(cell(7, 5), cell(7, 6)), connected(cell(7, 5), cell(8, 5)), connected(cell(7, 6), cell(6, 6)), connected(cell(7, 6), cell(7, 5)), connected(cell(7, 6), cell(7, 7)), connected(cell(7, 6), cell(8, 6)), connected(cell(7, 7), cell(6, 7)), connected(cell(7, 7), cell(7, 6)), connected(cell(7, 7), cell(7, 8)), connected(cell(7, 7), cell(8, 7)), connected(cell(7, 8), cell(6, 8)), connected(cell(7, 8), cell(7, 7)), connected(cell(7, 8), cell(7, 9)), connected(cell(7, 8), cell(8, 8)), connected(cell(7, 9), cell(6, 9)), connected(cell(7, 9), cell(7, 8)), connected(cell(7, 9), cell(7, 10)), connected(cell(7, 9), cell(8, 9)), connected(cell(7, 10), cell(6, 10)), connected(cell(7, 10), cell(7, 9)), connected(cell(7, 10), cell(7, 11)), connected(cell(7, 10), cell(8, 10)), connected(cell(7, 11), cell(6, 11)), connected(cell(7, 11), cell(7, 10)), connected(cell(7, 11), cell(7, 12)), connected(cell(7, 11), cell(8, 11)), connected(cell(7, 12), cell(6, 12)), connected(cell(7, 12), cell(7, 11)), connected(cell(7, 12), cell(7, 13)), connected(cell(7, 12), cell(8, 12)), connected(cell(7, 13), cell(6, 13)), connected(cell(7, 13), cell(7, 12)), connected(cell(7, 13), cell(7, 14)), connected(cell(7, 13), cell(8, 13)), connected(cell(7, 14), cell(6, 14)), connected(cell(7, 14), cell(7, 13)), connected(cell(7, 14), cell(7, 15)), connected(cell(7, 14), cell(8, 14)), connected(cell(7, 15), cell(6, 15)), connected(cell(7, 15), cell(7, 14)), connected(cell(7, 15), cell(7, 16)), connected(cell(7, 15), cell(8, 15)), connected(cell(7, 16), cell(6, 16)), connected(cell(7, 16), cell(7, 15)), connected(cell(7, 16), cell(7, 17)), connected(cell(7, 16), cell(8, 16)), connected(cell(7, 17), cell(6, 17)), connected(cell(7, 17), cell(7, 16)), connected(cell(7, 17), cell(7, 18)), connected(cell(7, 17), cell(8, 17)), connected(cell(7, 18), cell(6, 18)), connected(cell(7, 18), cell(7, 17)), connected(cell(7, 18), cell(7, 19)), connected(cell(7, 18), cell(8, 18)), connected(cell(7, 19), cell(6, 19)), connected(cell(7, 19), cell(7, 18)), connected(cell(7, 19), cell(7, 20)), connected(cell(7, 19), cell(8, 19)), connected(cell(7, 20), cell(6, 20)), connected(cell(7, 20), cell(7, 19)), connected(cell(7, 20), cell(7, 21)), connected(cell(7, 20), cell(8, 20)), connected(cell(7, 21), cell(6, 21)), connected(cell(7, 21), cell(7, 20)), connected(cell(7, 21), cell(7, 22)), connected(cell(7, 21), cell(8, 21)), connected(cell(7, 22), cell(6, 22)), connected(cell(7, 22), cell(7, 21)), connected(cell(7, 22), cell(7, 23)), connected(cell(7, 22), cell(8, 22)), connected(cell(7, 23), cell(6, 23)), connected(cell(7, 23), cell(7, 22)), connected(cell(7, 23), cell(7, 24)), connected(cell(7, 23), cell(8, 23)), connected(cell(7, 24), cell(6, 24)), connected(cell(7, 24), cell(7, 23)), connected(cell(7, 24), cell(7, 25)), connected(cell(7, 24), cell(8, 24)), connected(cell(7, 25), cell(6, 25)), connected(cell(7, 25), cell(7, 24)), connected(cell(7, 25), cell(7, 26)), connected(cell(7, 25), cell(8, 25)), connected(cell(7, 26), cell(6, 26)), connected(cell(7, 26), cell(7, 25)), connected(cell(7, 26), cell(7, 27)), connected(cell(7, 26), cell(8, 26)), connected(cell(7, 27), cell(6, 27)), connected(cell(7, 27), cell(7, 26)), connected(cell(7, 27), cell(7, 28)), connected(cell(7, 27), cell(8, 27)), connected(cell(7, 28), cell(6, 28)), connected(cell(7, 28), cell(7, 27)), connected(cell(7, 28), cell(7, 29)), connected(cell(7, 28), cell(8, 28)), connected(cell(7, 29), cell(6, 29)), connected(cell(7, 29), cell(7, 28)), connected(cell(7, 29), cell(7, 30)), connected(cell(7, 29), cell(8, 29)), connected(cell(7, 30), cell(6, 30)), connected(cell(7, 30), cell(7, 29)), connected(cell(7, 30), cell(7, 31)), connected(cell(7, 30), cell(8, 30)), connected(cell(7, 31), cell(6, 31)), connected(cell(7, 31), cell(7, 30)), connected(cell(7, 31), cell(7, 32)), connected(cell(7, 31), cell(8, 31)), connected(cell(7, 32), cell(6, 32)), connected(cell(7, 32), cell(7, 31)), connected(cell(7, 32), cell(8, 32)), connected(cell(8, 1), cell(7, 1)), connected(cell(8, 1), cell(8, 2)), connected(cell(8, 1), cell(9, 1)), connected(cell(8, 2), cell(7, 2)), connected(cell(8, 2), cell(8, 1)), connected(cell(8, 2), cell(8, 3)), connected(cell(8, 2), cell(9, 2)), connected(cell(8, 3), cell(7, 3)), connected(cell(8, 3), cell(8, 2)), connected(cell(8, 3), cell(8, 4)), connected(cell(8, 3), cell(9, 3)), connected(cell(8, 4), cell(7, 4)), connected(cell(8, 4), cell(8, 3)), connected(cell(8, 4), cell(8, 5)), connected(cell(8, 4), cell(9, 4)), connected(cell(8, 5), cell(7, 5)), connected(cell(8, 5), cell(8, 4)), connected(cell(8, 5), cell(8, 6)), connected(cell(8, 5), cell(9, 5)), connected(cell(8, 6), cell(7, 6)), connected(cell(8, 6), cell(8, 5)), connected(cell(8, 6), cell(8, 7)), connected(cell(8, 6), cell(9, 6)), connected(cell(8, 7), cell(7, 7)), connected(cell(8, 7), cell(8, 6)), connected(cell(8, 7), cell(8, 8)), connected(cell(8, 7), cell(9, 7)), connected(cell(8, 8), cell(7, 8)), connected(cell(8, 8), cell(8, 7)), connected(cell(8, 8), cell(8, 9)), connected(cell(8, 8), cell(9, 8)), connected(cell(8, 9), cell(7, 9)), connected(cell(8, 9), cell(8, 8)), connected(cell(8, 9), cell(8, 10)), connected(cell(8, 9), cell(9, 9)), connected(cell(8, 10), cell(7, 10)), connected(cell(8, 10), cell(8, 9)), connected(cell(8, 10), cell(8, 11)), connected(cell(8, 10), cell(9, 10)), connected(cell(8, 11), cell(7, 11)), connected(cell(8, 11), cell(8, 10)), connected(cell(8, 11), cell(8, 12)), connected(cell(8, 11), cell(9, 11)), connected(cell(8, 12), cell(7, 12)), connected(cell(8, 12), cell(8, 11)), connected(cell(8, 12), cell(8, 13)), connected(cell(8, 12), cell(9, 12)), connected(cell(8, 13), cell(7, 13)), connected(cell(8, 13), cell(8, 12)), connected(cell(8, 13), cell(8, 14)), connected(cell(8, 13), cell(9, 13)), connected(cell(8, 14), cell(7, 14)), connected(cell(8, 14), cell(8, 13)), connected(cell(8, 14), cell(8, 15)), connected(cell(8, 14), cell(9, 14)), connected(cell(8, 15), cell(7, 15)), connected(cell(8, 15), cell(8, 14)), connected(cell(8, 15), cell(8, 16)), connected(cell(8, 15), cell(9, 15)), connected(cell(8, 16), cell(7, 16)), connected(cell(8, 16), cell(8, 15)), connected(cell(8, 16), cell(8, 17)), connected(cell(8, 16), cell(9, 16)), connected(cell(8, 17), cell(7, 17)), connected(cell(8, 17), cell(8, 16)), connected(cell(8, 17), cell(8, 18)), connected(cell(8, 17), cell(9, 17)), connected(cell(8, 18), cell(7, 18)), connected(cell(8, 18), cell(8, 17)), connected(cell(8, 18), cell(8, 19)), connected(cell(8, 18), cell(9, 18)), connected(cell(8, 19), cell(7, 19)), connected(cell(8, 19), cell(8, 18)), connected(cell(8, 19), cell(8, 20)), connected(cell(8, 19), cell(9, 19)), connected(cell(8, 20), cell(7, 20)), connected(cell(8, 20), cell(8, 19)), connected(cell(8, 20), cell(8, 21)), connected(cell(8, 20), cell(9, 20)), connected(cell(8, 21), cell(7, 21)), connected(cell(8, 21), cell(8, 20)), connected(cell(8, 21), cell(8, 22)), connected(cell(8, 21), cell(9, 21)), connected(cell(8, 22), cell(7, 22)), connected(cell(8, 22), cell(8, 21)), connected(cell(8, 22), cell(8, 23)), connected(cell(8, 22), cell(9, 22)), connected(cell(8, 23), cell(7, 23)), connected(cell(8, 23), cell(8, 22)), connected(cell(8, 23), cell(8, 24)), connected(cell(8, 23), cell(9, 23)), connected(cell(8, 24), cell(7, 24)), connected(cell(8, 24), cell(8, 23)), connected(cell(8, 24), cell(8, 25)), connected(cell(8, 24), cell(9, 24)), connected(cell(8, 25), cell(7, 25)), connected(cell(8, 25), cell(8, 24)), connected(cell(8, 25), cell(8, 26)), connected(cell(8, 25), cell(9, 25)), connected(cell(8, 26), cell(7, 26)), connected(cell(8, 26), cell(8, 25)), connected(cell(8, 26), cell(8, 27)), connected(cell(8, 26), cell(9, 26)), connected(cell(8, 27), cell(7, 27)), connected(cell(8, 27), cell(8, 26)), connected(cell(8, 27), cell(8, 28)), connected(cell(8, 27), cell(9, 27)), connected(cell(8, 28), cell(7, 28)), connected(cell(8, 28), cell(8, 27)), connected(cell(8, 28), cell(8, 29)), connected(cell(8, 28), cell(9, 28)), connected(cell(8, 29), cell(7, 29)), connected(cell(8, 29), cell(8, 28)), connected(cell(8, 29), cell(8, 30)), connected(cell(8, 29), cell(9, 29)), connected(cell(8, 30), cell(7, 30)), connected(cell(8, 30), cell(8, 29)), connected(cell(8, 30), cell(8, 31)), connected(cell(8, 30), cell(9, 30)), connected(cell(8, 31), cell(7, 31)), connected(cell(8, 31), cell(8, 30)), connected(cell(8, 31), cell(8, 32)), connected(cell(8, 31), cell(9, 31)), connected(cell(8, 32), cell(7, 32)), connected(cell(8, 32), cell(8, 31)), connected(cell(8, 32), cell(9, 32)), connected(cell(9, 1), cell(8, 1)), connected(cell(9, 1), cell(9, 2)), connected(cell(9, 1), cell(10, 1)), connected(cell(9, 2), cell(8, 2)), connected(cell(9, 2), cell(9, 1)), connected(cell(9, 2), cell(9, 3)), connected(cell(9, 2), cell(10, 2)), connected(cell(9, 3), cell(8, 3)), connected(cell(9, 3), cell(9, 2)), connected(cell(9, 3), cell(9, 4)), connected(cell(9, 3), cell(10, 3)), connected(cell(9, 4), cell(8, 4)), connected(cell(9, 4), cell(9, 3)), connected(cell(9, 4), cell(9, 5)), connected(cell(9, 4), cell(10, 4)), connected(cell(9, 5), cell(8, 5)), connected(cell(9, 5), cell(9, 4)), connected(cell(9, 5), cell(9, 6)), connected(cell(9, 5), cell(10, 5)), connected(cell(9, 6), cell(8, 6)), connected(cell(9, 6), cell(9, 5)), connected(cell(9, 6), cell(9, 7)), connected(cell(9, 6), cell(10, 6)), connected(cell(9, 7), cell(8, 7)), connected(cell(9, 7), cell(9, 6)), connected(cell(9, 7), cell(9, 8)), connected(cell(9, 7), cell(10, 7)), connected(cell(9, 8), cell(8, 8)), connected(cell(9, 8), cell(9, 7)), connected(cell(9, 8), cell(9, 9)), connected(cell(9, 8), cell(10, 8)), connected(cell(9, 9), cell(8, 9)), connected(cell(9, 9), cell(9, 8)), connected(cell(9, 9), cell(9, 10)), connected(cell(9, 9), cell(10, 9)), connected(cell(9, 10), cell(8, 10)), connected(cell(9, 10), cell(9, 9)), connected(cell(9, 10), cell(9, 11)), connected(cell(9, 10), cell(10, 10)), connected(cell(9, 11), cell(8, 11)), connected(cell(9, 11), cell(9, 10)), connected(cell(9, 11), cell(9, 12)), connected(cell(9, 11), cell(10, 11)), connected(cell(9, 12), cell(8, 12)), connected(cell(9, 12), cell(9, 11)), connected(cell(9, 12), cell(9, 13)), connected(cell(9, 12), cell(10, 12)), connected(cell(9, 13), cell(8, 13)), connected(cell(9, 13), cell(9, 12)), connected(cell(9, 13), cell(9, 14)), connected(cell(9, 13), cell(10, 13)), connected(cell(9, 14), cell(8, 14)), connected(cell(9, 14), cell(9, 13)), connected(cell(9, 14), cell(9, 15)), connected(cell(9, 14), cell(10, 14)), connected(cell(9, 15), cell(8, 15)), connected(cell(9, 15), cell(9, 14)), connected(cell(9, 15), cell(9, 16)), connected(cell(9, 15), cell(10, 15)), connected(cell(9, 16), cell(8, 16)), connected(cell(9, 16), cell(9, 15)), connected(cell(9, 16), cell(9, 17)), connected(cell(9, 16), cell(10, 16)), connected(cell(9, 17), cell(8, 17)), connected(cell(9, 17), cell(9, 16)), connected(cell(9, 17), cell(9, 18)), connected(cell(9, 17), cell(10, 17)), connected(cell(9, 18), cell(8, 18)), connected(cell(9, 18), cell(9, 17)), connected(cell(9, 18), cell(9, 19)), connected(cell(9, 18), cell(10, 18)), connected(cell(9, 19), cell(8, 19)), connected(cell(9, 19), cell(9, 18)), connected(cell(9, 19), cell(9, 20)), connected(cell(9, 19), cell(10, 19)), connected(cell(9, 20), cell(8, 20)), connected(cell(9, 20), cell(9, 19)), connected(cell(9, 20), cell(9, 21)), connected(cell(9, 20), cell(10, 20)), connected(cell(9, 21), cell(8, 21)), connected(cell(9, 21), cell(9, 20)), connected(cell(9, 21), cell(9, 22)), connected(cell(9, 21), cell(10, 21)), connected(cell(9, 22), cell(8, 22)), connected(cell(9, 22), cell(9, 21)), connected(cell(9, 22), cell(9, 23)), connected(cell(9, 22), cell(10, 22)), connected(cell(9, 23), cell(8, 23)), connected(cell(9, 23), cell(9, 22)), connected(cell(9, 23), cell(9, 24)), connected(cell(9, 23), cell(10, 23)), connected(cell(9, 24), cell(8, 24)), connected(cell(9, 24), cell(9, 23)), connected(cell(9, 24), cell(9, 25)), connected(cell(9, 24), cell(10, 24)), connected(cell(9, 25), cell(8, 25)), connected(cell(9, 25), cell(9, 24)), connected(cell(9, 25), cell(9, 26)), connected(cell(9, 25), cell(10, 25)), connected(cell(9, 26), cell(8, 26)), connected(cell(9, 26), cell(9, 25)), connected(cell(9, 26), cell(9, 27)), connected(cell(9, 26), cell(10, 26)), connected(cell(9, 27), cell(8, 27)), connected(cell(9, 27), cell(9, 26)), connected(cell(9, 27), cell(9, 28)), connected(cell(9, 27), cell(10, 27)), connected(cell(9, 28), cell(8, 28)), connected(cell(9, 28), cell(9, 27)), connected(cell(9, 28), cell(9, 29)), connected(cell(9, 28), cell(10, 28)), connected(cell(9, 29), cell(8, 29)), connected(cell(9, 29), cell(9, 28)), connected(cell(9, 29), cell(9, 30)), connected(cell(9, 29), cell(10, 29)), connected(cell(9, 30), cell(8, 30)), connected(cell(9, 30), cell(9, 29)), connected(cell(9, 30), cell(9, 31)), connected(cell(9, 30), cell(10, 30)), connected(cell(9, 31), cell(8, 31)), connected(cell(9, 31), cell(9, 30)), connected(cell(9, 31), cell(9, 32)), connected(cell(9, 31), cell(10, 31)), connected(cell(9, 32), cell(8, 32)), connected(cell(9, 32), cell(9, 31)), connected(cell(9, 32), cell(10, 32)), connected(cell(10, 1), cell(9, 1)), connected(cell(10, 1), cell(10, 2)), connected(cell(10, 1), cell(11, 1)), connected(cell(10, 2), cell(9, 2)), connected(cell(10, 2), cell(10, 1)), connected(cell(10, 2), cell(10, 3)), connected(cell(10, 2), cell(11, 2)), connected(cell(10, 3), cell(9, 3)), connected(cell(10, 3), cell(10, 2)), connected(cell(10, 3), cell(10, 4)), connected(cell(10, 3), cell(11, 3)), connected(cell(10, 4), cell(9, 4)), connected(cell(10, 4), cell(10, 3)), connected(cell(10, 4), cell(10, 5)), connected(cell(10, 4), cell(11, 4)), connected(cell(10, 5), cell(9, 5)), connected(cell(10, 5), cell(10, 4)), connected(cell(10, 5), cell(10, 6)), connected(cell(10, 5), cell(11, 5)), connected(cell(10, 6), cell(9, 6)), connected(cell(10, 6), cell(10, 5)), connected(cell(10, 6), cell(10, 7)), connected(cell(10, 6), cell(11, 6)), connected(cell(10, 7), cell(9, 7)), connected(cell(10, 7), cell(10, 6)), connected(cell(10, 7), cell(10, 8)), connected(cell(10, 7), cell(11, 7)), connected(cell(10, 8), cell(9, 8)), connected(cell(10, 8), cell(10, 7)), connected(cell(10, 8), cell(10, 9)), connected(cell(10, 8), cell(11, 8)), connected(cell(10, 9), cell(9, 9)), connected(cell(10, 9), cell(10, 8)), connected(cell(10, 9), cell(10, 10)), connected(cell(10, 9), cell(11, 9)), connected(cell(10, 10), cell(9, 10)), connected(cell(10, 10), cell(10, 9)), connected(cell(10, 10), cell(10, 11)), connected(cell(10, 10), cell(11, 10)), connected(cell(10, 11), cell(9, 11)), connected(cell(10, 11), cell(10, 10)), connected(cell(10, 11), cell(10, 12)), connected(cell(10, 11), cell(11, 11)), connected(cell(10, 12), cell(9, 12)), connected(cell(10, 12), cell(10, 11)), connected(cell(10, 12), cell(10, 13)), connected(cell(10, 12), cell(11, 12)), connected(cell(10, 13), cell(9, 13)), connected(cell(10, 13), cell(10, 12)), connected(cell(10, 13), cell(10, 14)), connected(cell(10, 13), cell(11, 13)), connected(cell(10, 14), cell(9, 14)), connected(cell(10, 14), cell(10, 13)), connected(cell(10, 14), cell(10, 15)), connected(cell(10, 14), cell(11, 14)), connected(cell(10, 15), cell(9, 15)), connected(cell(10, 15), cell(10, 14)), connected(cell(10, 15), cell(10, 16)), connected(cell(10, 15), cell(11, 15)), connected(cell(10, 16), cell(9, 16)), connected(cell(10, 16), cell(10, 15)), connected(cell(10, 16), cell(10, 17)), connected(cell(10, 16), cell(11, 16)), connected(cell(10, 17), cell(9, 17)), connected(cell(10, 17), cell(10, 16)), connected(cell(10, 17), cell(10, 18)), connected(cell(10, 17), cell(11, 17)), connected(cell(10, 18), cell(9, 18)), connected(cell(10, 18), cell(10, 17)), connected(cell(10, 18), cell(10, 19)), connected(cell(10, 18), cell(11, 18)), connected(cell(10, 19), cell(9, 19)), connected(cell(10, 19), cell(10, 18)), connected(cell(10, 19), cell(10, 20)), connected(cell(10, 19), cell(11, 19)), connected(cell(10, 20), cell(9, 20)), connected(cell(10, 20), cell(10, 19)), connected(cell(10, 20), cell(10, 21)), connected(cell(10, 20), cell(11, 20)), connected(cell(10, 21), cell(9, 21)), connected(cell(10, 21), cell(10, 20)), connected(cell(10, 21), cell(10, 22)), connected(cell(10, 21), cell(11, 21)), connected(cell(10, 22), cell(9, 22)), connected(cell(10, 22), cell(10, 21)), connected(cell(10, 22), cell(10, 23)), connected(cell(10, 22), cell(11, 22)), connected(cell(10, 23), cell(9, 23)), connected(cell(10, 23), cell(10, 22)), connected(cell(10, 23), cell(10, 24)), connected(cell(10, 23), cell(11, 23)), connected(cell(10, 24), cell(9, 24)), connected(cell(10, 24), cell(10, 23)), connected(cell(10, 24), cell(10, 25)), connected(cell(10, 24), cell(11, 24)), connected(cell(10, 25), cell(9, 25)), connected(cell(10, 25), cell(10, 24)), connected(cell(10, 25), cell(10, 26)), connected(cell(10, 25), cell(11, 25)), connected(cell(10, 26), cell(9, 26)), connected(cell(10, 26), cell(10, 25)), connected(cell(10, 26), cell(10, 27)), connected(cell(10, 26), cell(11, 26)), connected(cell(10, 27), cell(9, 27)), connected(cell(10, 27), cell(10, 26)), connected(cell(10, 27), cell(10, 28)), connected(cell(10, 27), cell(11, 27)), connected(cell(10, 28), cell(9, 28)), connected(cell(10, 28), cell(10, 27)), connected(cell(10, 28), cell(10, 29)), connected(cell(10, 28), cell(11, 28)), connected(cell(10, 29), cell(9, 29)), connected(cell(10, 29), cell(10, 28)), connected(cell(10, 29), cell(10, 30)), connected(cell(10, 29), cell(11, 29)), connected(cell(10, 30), cell(9, 30)), connected(cell(10, 30), cell(10, 29)), connected(cell(10, 30), cell(10, 31)), connected(cell(10, 30), cell(11, 30)), connected(cell(10, 31), cell(9, 31)), connected(cell(10, 31), cell(10, 30)), connected(cell(10, 31), cell(10, 32)), connected(cell(10, 31), cell(11, 31)), connected(cell(10, 32), cell(9, 32)), connected(cell(10, 32), cell(10, 31)), connected(cell(10, 32), cell(11, 32)), connected(cell(11, 1), cell(10, 1)), connected(cell(11, 1), cell(11, 2)), connected(cell(11, 1), cell(12, 1)), connected(cell(11, 2), cell(10, 2)), connected(cell(11, 2), cell(11, 1)), connected(cell(11, 2), cell(11, 3)), connected(cell(11, 2), cell(12, 2)), connected(cell(11, 3), cell(10, 3)), connected(cell(11, 3), cell(11, 2)), connected(cell(11, 3), cell(11, 4)), connected(cell(11, 3), cell(12, 3)), connected(cell(11, 4), cell(10, 4)), connected(cell(11, 4), cell(11, 3)), connected(cell(11, 4), cell(11, 5)), connected(cell(11, 4), cell(12, 4)), connected(cell(11, 5), cell(10, 5)), connected(cell(11, 5), cell(11, 4)), connected(cell(11, 5), cell(11, 6)), connected(cell(11, 5), cell(12, 5)), connected(cell(11, 6), cell(10, 6)), connected(cell(11, 6), cell(11, 5)), connected(cell(11, 6), cell(11, 7)), connected(cell(11, 6), cell(12, 6)), connected(cell(11, 7), cell(10, 7)), connected(cell(11, 7), cell(11, 6)), connected(cell(11, 7), cell(11, 8)), connected(cell(11, 7), cell(12, 7)), connected(cell(11, 8), cell(10, 8)), connected(cell(11, 8), cell(11, 7)), connected(cell(11, 8), cell(11, 9)), connected(cell(11, 8), cell(12, 8)), connected(cell(11, 9), cell(10, 9)), connected(cell(11, 9), cell(11, 8)), connected(cell(11, 9), cell(11, 10)), connected(cell(11, 9), cell(12, 9)), connected(cell(11, 10), cell(10, 10)), connected(cell(11, 10), cell(11, 9)), connected(cell(11, 10), cell(11, 11)), connected(cell(11, 10), cell(12, 10)), connected(cell(11, 11), cell(10, 11)), connected(cell(11, 11), cell(11, 10)), connected(cell(11, 11), cell(11, 12)), connected(cell(11, 11), cell(12, 11)), connected(cell(11, 12), cell(10, 12)), connected(cell(11, 12), cell(11, 11)), connected(cell(11, 12), cell(11, 13)), connected(cell(11, 12), cell(12, 12)), connected(cell(11, 13), cell(10, 13)), connected(cell(11, 13), cell(11, 12)), connected(cell(11, 13), cell(11, 14)), connected(cell(11, 13), cell(12, 13)), connected(cell(11, 14), cell(10, 14)), connected(cell(11, 14), cell(11, 13)), connected(cell(11, 14), cell(11, 15)), connected(cell(11, 14), cell(12, 14)), connected(cell(11, 15), cell(10, 15)), connected(cell(11, 15), cell(11, 14)), connected(cell(11, 15), cell(11, 16)), connected(cell(11, 15), cell(12, 15)), connected(cell(11, 16), cell(10, 16)), connected(cell(11, 16), cell(11, 15)), connected(cell(11, 16), cell(11, 17)), connected(cell(11, 16), cell(12, 16)), connected(cell(11, 17), cell(10, 17)), connected(cell(11, 17), cell(11, 16)), connected(cell(11, 17), cell(11, 18)), connected(cell(11, 17), cell(12, 17)), connected(cell(11, 18), cell(10, 18)), connected(cell(11, 18), cell(11, 17)), connected(cell(11, 18), cell(11, 19)), connected(cell(11, 18), cell(12, 18)), connected(cell(11, 19), cell(10, 19)), connected(cell(11, 19), cell(11, 18)), connected(cell(11, 19), cell(11, 20)), connected(cell(11, 19), cell(12, 19)), connected(cell(11, 20), cell(10, 20)), connected(cell(11, 20), cell(11, 19)), connected(cell(11, 20), cell(11, 21)), connected(cell(11, 20), cell(12, 20)), connected(cell(11, 21), cell(10, 21)), connected(cell(11, 21), cell(11, 20)), connected(cell(11, 21), cell(11, 22)), connected(cell(11, 21), cell(12, 21)), connected(cell(11, 22), cell(10, 22)), connected(cell(11, 22), cell(11, 21)), connected(cell(11, 22), cell(11, 23)), connected(cell(11, 22), cell(12, 22)), connected(cell(11, 23), cell(10, 23)), connected(cell(11, 23), cell(11, 22)), connected(cell(11, 23), cell(11, 24)), connected(cell(11, 23), cell(12, 23)), connected(cell(11, 24), cell(10, 24)), connected(cell(11, 24), cell(11, 23)), connected(cell(11, 24), cell(11, 25)), connected(cell(11, 24), cell(12, 24)), connected(cell(11, 25), cell(10, 25)), connected(cell(11, 25), cell(11, 24)), connected(cell(11, 25), cell(11, 26)), connected(cell(11, 25), cell(12, 25)), connected(cell(11, 26), cell(10, 26)), connected(cell(11, 26), cell(11, 25)), connected(cell(11, 26), cell(11, 27)), connected(cell(11, 26), cell(12, 26)), connected(cell(11, 27), cell(10, 27)), connected(cell(11, 27), cell(11, 26)), connected(cell(11, 27), cell(11, 28)), connected(cell(11, 27), cell(12, 27)), connected(cell(11, 28), cell(10, 28)), connected(cell(11, 28), cell(11, 27)), connected(cell(11, 28), cell(11, 29)), connected(cell(11, 28), cell(12, 28)), connected(cell(11, 29), cell(10, 29)), connected(cell(11, 29), cell(11, 28)), connected(cell(11, 29), cell(11, 30)), connected(cell(11, 29), cell(12, 29)), connected(cell(11, 30), cell(10, 30)), connected(cell(11, 30), cell(11, 29)), connected(cell(11, 30), cell(11, 31)), connected(cell(11, 30), cell(12, 30)), connected(cell(11, 31), cell(10, 31)), connected(cell(11, 31), cell(11, 30)), connected(cell(11, 31), cell(11, 32)), connected(cell(11, 31), cell(12, 31)), connected(cell(11, 32), cell(10, 32)), connected(cell(11, 32), cell(11, 31)), connected(cell(11, 32), cell(12, 32)), connected(cell(12, 1), cell(11, 1)), connected(cell(12, 1), cell(12, 2)), connected(cell(12, 1), cell(13, 1)), connected(cell(12, 2), cell(11, 2)), connected(cell(12, 2), cell(12, 1)), connected(cell(12, 2), cell(12, 3)), connected(cell(12, 2), cell(13, 2)), connected(cell(12, 3), cell(11, 3)), connected(cell(12, 3), cell(12, 2)), connected(cell(12, 3), cell(12, 4)), connected(cell(12, 3), cell(13, 3)), connected(cell(12, 4), cell(11, 4)), connected(cell(12, 4), cell(12, 3)), connected(cell(12, 4), cell(12, 5)), connected(cell(12, 4), cell(13, 4)), connected(cell(12, 5), cell(11, 5)), connected(cell(12, 5), cell(12, 4)), connected(cell(12, 5), cell(12, 6)), connected(cell(12, 5), cell(13, 5)), connected(cell(12, 6), cell(11, 6)), connected(cell(12, 6), cell(12, 5)), connected(cell(12, 6), cell(12, 7)), connected(cell(12, 6), cell(13, 6)), connected(cell(12, 7), cell(11, 7)), connected(cell(12, 7), cell(12, 6)), connected(cell(12, 7), cell(12, 8)), connected(cell(12, 7), cell(13, 7)), connected(cell(12, 8), cell(11, 8)), connected(cell(12, 8), cell(12, 7)), connected(cell(12, 8), cell(12, 9)), connected(cell(12, 8), cell(13, 8)), connected(cell(12, 9), cell(11, 9)), connected(cell(12, 9), cell(12, 8)), connected(cell(12, 9), cell(12, 10)), connected(cell(12, 9), cell(13, 9)), connected(cell(12, 10), cell(11, 10)), connected(cell(12, 10), cell(12, 9)), connected(cell(12, 10), cell(12, 11)), connected(cell(12, 10), cell(13, 10)), connected(cell(12, 11), cell(11, 11)), connected(cell(12, 11), cell(12, 10)), connected(cell(12, 11), cell(12, 12)), connected(cell(12, 11), cell(13, 11)), connected(cell(12, 12), cell(11, 12)), connected(cell(12, 12), cell(12, 11)), connected(cell(12, 12), cell(12, 13)), connected(cell(12, 12), cell(13, 12)), connected(cell(12, 13), cell(11, 13)), connected(cell(12, 13), cell(12, 12)), connected(cell(12, 13), cell(12, 14)), connected(cell(12, 13), cell(13, 13)), connected(cell(12, 14), cell(11, 14)), connected(cell(12, 14), cell(12, 13)), connected(cell(12, 14), cell(12, 15)), connected(cell(12, 14), cell(13, 14)), connected(cell(12, 15), cell(11, 15)), connected(cell(12, 15), cell(12, 14)), connected(cell(12, 15), cell(12, 16)), connected(cell(12, 15), cell(13, 15)), connected(cell(12, 16), cell(11, 16)), connected(cell(12, 16), cell(12, 15)), connected(cell(12, 16), cell(12, 17)), connected(cell(12, 16), cell(13, 16)), connected(cell(12, 17), cell(11, 17)), connected(cell(12, 17), cell(12, 16)), connected(cell(12, 17), cell(12, 18)), connected(cell(12, 17), cell(13, 17)), connected(cell(12, 18), cell(11, 18)), connected(cell(12, 18), cell(12, 17)), connected(cell(12, 18), cell(12, 19)), connected(cell(12, 18), cell(13, 18)), connected(cell(12, 19), cell(11, 19)), connected(cell(12, 19), cell(12, 18)), connected(cell(12, 19), cell(12, 20)), connected(cell(12, 19), cell(13, 19)), connected(cell(12, 20), cell(11, 20)), connected(cell(12, 20), cell(12, 19)), connected(cell(12, 20), cell(12, 21)), connected(cell(12, 20), cell(13, 20)), connected(cell(12, 21), cell(11, 21)), connected(cell(12, 21), cell(12, 20)), connected(cell(12, 21), cell(12, 22)), connected(cell(12, 21), cell(13, 21)), connected(cell(12, 22), cell(11, 22)), connected(cell(12, 22), cell(12, 21)), connected(cell(12, 22), cell(12, 23)), connected(cell(12, 22), cell(13, 22)), connected(cell(12, 23), cell(11, 23)), connected(cell(12, 23), cell(12, 22)), connected(cell(12, 23), cell(12, 24)), connected(cell(12, 23), cell(13, 23)), connected(cell(12, 24), cell(11, 24)), connected(cell(12, 24), cell(12, 23)), connected(cell(12, 24), cell(12, 25)), connected(cell(12, 24), cell(13, 24)), connected(cell(12, 25), cell(11, 25)), connected(cell(12, 25), cell(12, 24)), connected(cell(12, 25), cell(12, 26)), connected(cell(12, 25), cell(13, 25)), connected(cell(12, 26), cell(11, 26)), connected(cell(12, 26), cell(12, 25)), connected(cell(12, 26), cell(12, 27)), connected(cell(12, 26), cell(13, 26)), connected(cell(12, 27), cell(11, 27)), connected(cell(12, 27), cell(12, 26)), connected(cell(12, 27), cell(12, 28)), connected(cell(12, 27), cell(13, 27)), connected(cell(12, 28), cell(11, 28)), connected(cell(12, 28), cell(12, 27)), connected(cell(12, 28), cell(12, 29)), connected(cell(12, 28), cell(13, 28)), connected(cell(12, 29), cell(11, 29)), connected(cell(12, 29), cell(12, 28)), connected(cell(12, 29), cell(12, 30)), connected(cell(12, 29), cell(13, 29)), connected(cell(12, 30), cell(11, 30)), connected(cell(12, 30), cell(12, 29)), connected(cell(12, 30), cell(12, 31)), connected(cell(12, 30), cell(13, 30)), connected(cell(12, 31), cell(11, 31)), connected(cell(12, 31), cell(12, 30)), connected(cell(12, 31), cell(12, 32)), connected(cell(12, 31), cell(13, 31)), connected(cell(12, 32), cell(11, 32)), connected(cell(12, 32), cell(12, 31)), connected(cell(12, 32), cell(13, 32)), connected(cell(13, 1), cell(12, 1)), connected(cell(13, 1), cell(13, 2)), connected(cell(13, 1), cell(14, 1)), connected(cell(13, 2), cell(12, 2)), connected(cell(13, 2), cell(13, 1)), connected(cell(13, 2), cell(13, 3)), connected(cell(13, 2), cell(14, 2)), connected(cell(13, 3), cell(12, 3)), connected(cell(13, 3), cell(13, 2)), connected(cell(13, 3), cell(13, 4)), connected(cell(13, 3), cell(14, 3)), connected(cell(13, 4), cell(12, 4)), connected(cell(13, 4), cell(13, 3)), connected(cell(13, 4), cell(13, 5)), connected(cell(13, 4), cell(14, 4)), connected(cell(13, 5), cell(12, 5)), connected(cell(13, 5), cell(13, 4)), connected(cell(13, 5), cell(13, 6)), connected(cell(13, 5), cell(14, 5)), connected(cell(13, 6), cell(12, 6)), connected(cell(13, 6), cell(13, 5)), connected(cell(13, 6), cell(13, 7)), connected(cell(13, 6), cell(14, 6)), connected(cell(13, 7), cell(12, 7)), connected(cell(13, 7), cell(13, 6)), connected(cell(13, 7), cell(13, 8)), connected(cell(13, 7), cell(14, 7)), connected(cell(13, 8), cell(12, 8)), connected(cell(13, 8), cell(13, 7)), connected(cell(13, 8), cell(13, 9)), connected(cell(13, 8), cell(14, 8)), connected(cell(13, 9), cell(12, 9)), connected(cell(13, 9), cell(13, 8)), connected(cell(13, 9), cell(13, 10)), connected(cell(13, 9), cell(14, 9)), connected(cell(13, 10), cell(12, 10)), connected(cell(13, 10), cell(13, 9)), connected(cell(13, 10), cell(13, 11)), connected(cell(13, 10), cell(14, 10)), connected(cell(13, 11), cell(12, 11)), connected(cell(13, 11), cell(13, 10)), connected(cell(13, 11), cell(13, 12)), connected(cell(13, 11), cell(14, 11)), connected(cell(13, 12), cell(12, 12)), connected(cell(13, 12), cell(13, 11)), connected(cell(13, 12), cell(13, 13)), connected(cell(13, 12), cell(14, 12)), connected(cell(13, 13), cell(12, 13)), connected(cell(13, 13), cell(13, 12)), connected(cell(13, 13), cell(13, 14)), connected(cell(13, 13), cell(14, 13)), connected(cell(13, 14), cell(12, 14)), connected(cell(13, 14), cell(13, 13)), connected(cell(13, 14), cell(13, 15)), connected(cell(13, 14), cell(14, 14)), connected(cell(13, 15), cell(12, 15)), connected(cell(13, 15), cell(13, 14)), connected(cell(13, 15), cell(13, 16)), connected(cell(13, 15), cell(14, 15)), connected(cell(13, 16), cell(12, 16)), connected(cell(13, 16), cell(13, 15)), connected(cell(13, 16), cell(13, 17)), connected(cell(13, 16), cell(14, 16)), connected(cell(13, 17), cell(12, 17)), connected(cell(13, 17), cell(13, 16)), connected(cell(13, 17), cell(13, 18)), connected(cell(13, 17), cell(14, 17)), connected(cell(13, 18), cell(12, 18)), connected(cell(13, 18), cell(13, 17)), connected(cell(13, 18), cell(13, 19)), connected(cell(13, 18), cell(14, 18)), connected(cell(13, 19), cell(12, 19)), connected(cell(13, 19), cell(13, 18)), connected(cell(13, 19), cell(13, 20)), connected(cell(13, 19), cell(14, 19)), connected(cell(13, 20), cell(12, 20)), connected(cell(13, 20), cell(13, 19)), connected(cell(13, 20), cell(13, 21)), connected(cell(13, 20), cell(14, 20)), connected(cell(13, 21), cell(12, 21)), connected(cell(13, 21), cell(13, 20)), connected(cell(13, 21), cell(13, 22)), connected(cell(13, 21), cell(14, 21)), connected(cell(13, 22), cell(12, 22)), connected(cell(13, 22), cell(13, 21)), connected(cell(13, 22), cell(13, 23)), connected(cell(13, 22), cell(14, 22)), connected(cell(13, 23), cell(12, 23)), connected(cell(13, 23), cell(13, 22)), connected(cell(13, 23), cell(13, 24)), connected(cell(13, 23), cell(14, 23)), connected(cell(13, 24), cell(12, 24)), connected(cell(13, 24), cell(13, 23)), connected(cell(13, 24), cell(13, 25)), connected(cell(13, 24), cell(14, 24)), connected(cell(13, 25), cell(12, 25)), connected(cell(13, 25), cell(13, 24)), connected(cell(13, 25), cell(13, 26)), connected(cell(13, 25), cell(14, 25)), connected(cell(13, 26), cell(12, 26)), connected(cell(13, 26), cell(13, 25)), connected(cell(13, 26), cell(13, 27)), connected(cell(13, 26), cell(14, 26)), connected(cell(13, 27), cell(12, 27)), connected(cell(13, 27), cell(13, 26)), connected(cell(13, 27), cell(13, 28)), connected(cell(13, 27), cell(14, 27)), connected(cell(13, 28), cell(12, 28)), connected(cell(13, 28), cell(13, 27)), connected(cell(13, 28), cell(13, 29)), connected(cell(13, 28), cell(14, 28)), connected(cell(13, 29), cell(12, 29)), connected(cell(13, 29), cell(13, 28)), connected(cell(13, 29), cell(13, 30)), connected(cell(13, 29), cell(14, 29)), connected(cell(13, 30), cell(12, 30)), connected(cell(13, 30), cell(13, 29)), connected(cell(13, 30), cell(13, 31)), connected(cell(13, 30), cell(14, 30)), connected(cell(13, 31), cell(12, 31)), connected(cell(13, 31), cell(13, 30)), connected(cell(13, 31), cell(13, 32)), connected(cell(13, 31), cell(14, 31)), connected(cell(13, 32), cell(12, 32)), connected(cell(13, 32), cell(13, 31)), connected(cell(13, 32), cell(14, 32)), connected(cell(14, 1), cell(13, 1)), connected(cell(14, 1), cell(14, 2)), connected(cell(14, 1), cell(15, 1)), connected(cell(14, 2), cell(13, 2)), connected(cell(14, 2), cell(14, 1)), connected(cell(14, 2), cell(14, 3)), connected(cell(14, 2), cell(15, 2)), connected(cell(14, 3), cell(13, 3)), connected(cell(14, 3), cell(14, 2)), connected(cell(14, 3), cell(14, 4)), connected(cell(14, 3), cell(15, 3)), connected(cell(14, 4), cell(13, 4)), connected(cell(14, 4), cell(14, 3)), connected(cell(14, 4), cell(14, 5)), connected(cell(14, 4), cell(15, 4)), connected(cell(14, 5), cell(13, 5)), connected(cell(14, 5), cell(14, 4)), connected(cell(14, 5), cell(14, 6)), connected(cell(14, 5), cell(15, 5)), connected(cell(14, 6), cell(13, 6)), connected(cell(14, 6), cell(14, 5)), connected(cell(14, 6), cell(14, 7)), connected(cell(14, 6), cell(15, 6)), connected(cell(14, 7), cell(13, 7)), connected(cell(14, 7), cell(14, 6)), connected(cell(14, 7), cell(14, 8)), connected(cell(14, 7), cell(15, 7)), connected(cell(14, 8), cell(13, 8)), connected(cell(14, 8), cell(14, 7)), connected(cell(14, 8), cell(14, 9)), connected(cell(14, 8), cell(15, 8)), connected(cell(14, 9), cell(13, 9)), connected(cell(14, 9), cell(14, 8)), connected(cell(14, 9), cell(14, 10)), connected(cell(14, 9), cell(15, 9)), connected(cell(14, 10), cell(13, 10)), connected(cell(14, 10), cell(14, 9)), connected(cell(14, 10), cell(14, 11)), connected(cell(14, 10), cell(15, 10)), connected(cell(14, 11), cell(13, 11)), connected(cell(14, 11), cell(14, 10)), connected(cell(14, 11), cell(14, 12)), connected(cell(14, 11), cell(15, 11)), connected(cell(14, 12), cell(13, 12)), connected(cell(14, 12), cell(14, 11)), connected(cell(14, 12), cell(14, 13)), connected(cell(14, 12), cell(15, 12)), connected(cell(14, 13), cell(13, 13)), connected(cell(14, 13), cell(14, 12)), connected(cell(14, 13), cell(14, 14)), connected(cell(14, 13), cell(15, 13)), connected(cell(14, 14), cell(13, 14)), connected(cell(14, 14), cell(14, 13)), connected(cell(14, 14), cell(14, 15)), connected(cell(14, 14), cell(15, 14)), connected(cell(14, 15), cell(13, 15)), connected(cell(14, 15), cell(14, 14)), connected(cell(14, 15), cell(14, 16)), connected(cell(14, 15), cell(15, 15)), connected(cell(14, 16), cell(13, 16)), connected(cell(14, 16), cell(14, 15)), connected(cell(14, 16), cell(14, 17)), connected(cell(14, 16), cell(15, 16)), connected(cell(14, 17), cell(13, 17)), connected(cell(14, 17), cell(14, 16)), connected(cell(14, 17), cell(14, 18)), connected(cell(14, 17), cell(15, 17)), connected(cell(14, 18), cell(13, 18)), connected(cell(14, 18), cell(14, 17)), connected(cell(14, 18), cell(14, 19)), connected(cell(14, 18), cell(15, 18)), connected(cell(14, 19), cell(13, 19)), connected(cell(14, 19), cell(14, 18)), connected(cell(14, 19), cell(14, 20)), connected(cell(14, 19), cell(15, 19)), connected(cell(14, 20), cell(13, 20)), connected(cell(14, 20), cell(14, 19)), connected(cell(14, 20), cell(14, 21)), connected(cell(14, 20), cell(15, 20)), connected(cell(14, 21), cell(13, 21)), connected(cell(14, 21), cell(14, 20)), connected(cell(14, 21), cell(14, 22)), connected(cell(14, 21), cell(15, 21)), connected(cell(14, 22), cell(13, 22)), connected(cell(14, 22), cell(14, 21)), connected(cell(14, 22), cell(14, 23)), connected(cell(14, 22), cell(15, 22)), connected(cell(14, 23), cell(13, 23)), connected(cell(14, 23), cell(14, 22)), connected(cell(14, 23), cell(14, 24)), connected(cell(14, 23), cell(15, 23)), connected(cell(14, 24), cell(13, 24)), connected(cell(14, 24), cell(14, 23)), connected(cell(14, 24), cell(14, 25)), connected(cell(14, 24), cell(15, 24)), connected(cell(14, 25), cell(13, 25)), connected(cell(14, 25), cell(14, 24)), connected(cell(14, 25), cell(14, 26)), connected(cell(14, 25), cell(15, 25)), connected(cell(14, 26), cell(13, 26)), connected(cell(14, 26), cell(14, 25)), connected(cell(14, 26), cell(14, 27)), connected(cell(14, 26), cell(15, 26)), connected(cell(14, 27), cell(13, 27)), connected(cell(14, 27), cell(14, 26)), connected(cell(14, 27), cell(14, 28)), connected(cell(14, 27), cell(15, 27)), connected(cell(14, 28), cell(13, 28)), connected(cell(14, 28), cell(14, 27)), connected(cell(14, 28), cell(14, 29)), connected(cell(14, 28), cell(15, 28)), connected(cell(14, 29), cell(13, 29)), connected(cell(14, 29), cell(14, 28)), connected(cell(14, 29), cell(14, 30)), connected(cell(14, 29), cell(15, 29)), connected(cell(14, 30), cell(13, 30)), connected(cell(14, 30), cell(14, 29)), connected(cell(14, 30), cell(14, 31)), connected(cell(14, 30), cell(15, 30)), connected(cell(14, 31), cell(13, 31)), connected(cell(14, 31), cell(14, 30)), connected(cell(14, 31), cell(14, 32)), connected(cell(14, 31), cell(15, 31)), connected(cell(14, 32), cell(13, 32)), connected(cell(14, 32), cell(14, 31)), connected(cell(14, 32), cell(15, 32)), connected(cell(15, 1), cell(14, 1)), connected(cell(15, 1), cell(15, 2)), connected(cell(15, 1), cell(16, 1)), connected(cell(15, 2), cell(14, 2)), connected(cell(15, 2), cell(15, 1)), connected(cell(15, 2), cell(15, 3)), connected(cell(15, 2), cell(16, 2)), connected(cell(15, 3), cell(14, 3)), connected(cell(15, 3), cell(15, 2)), connected(cell(15, 3), cell(15, 4)), connected(cell(15, 3), cell(16, 3)), connected(cell(15, 4), cell(14, 4)), connected(cell(15, 4), cell(15, 3)), connected(cell(15, 4), cell(15, 5)), connected(cell(15, 4), cell(16, 4)), connected(cell(15, 5), cell(14, 5)), connected(cell(15, 5), cell(15, 4)), connected(cell(15, 5), cell(15, 6)), connected(cell(15, 5), cell(16, 5)), connected(cell(15, 6), cell(14, 6)), connected(cell(15, 6), cell(15, 5)), connected(cell(15, 6), cell(15, 7)), connected(cell(15, 6), cell(16, 6)), connected(cell(15, 7), cell(14, 7)), connected(cell(15, 7), cell(15, 6)), connected(cell(15, 7), cell(15, 8)), connected(cell(15, 7), cell(16, 7)), connected(cell(15, 8), cell(14, 8)), connected(cell(15, 8), cell(15, 7)), connected(cell(15, 8), cell(15, 9)), connected(cell(15, 8), cell(16, 8)), connected(cell(15, 9), cell(14, 9)), connected(cell(15, 9), cell(15, 8)), connected(cell(15, 9), cell(15, 10)), connected(cell(15, 9), cell(16, 9)), connected(cell(15, 10), cell(14, 10)), connected(cell(15, 10), cell(15, 9)), connected(cell(15, 10), cell(15, 11)), connected(cell(15, 10), cell(16, 10)), connected(cell(15, 11), cell(14, 11)), connected(cell(15, 11), cell(15, 10)), connected(cell(15, 11), cell(15, 12)), connected(cell(15, 11), cell(16, 11)), connected(cell(15, 12), cell(14, 12)), connected(cell(15, 12), cell(15, 11)), connected(cell(15, 12), cell(15, 13)), connected(cell(15, 12), cell(16, 12)), connected(cell(15, 13), cell(14, 13)), connected(cell(15, 13), cell(15, 12)), connected(cell(15, 13), cell(15, 14)), connected(cell(15, 13), cell(16, 13)), connected(cell(15, 14), cell(14, 14)), connected(cell(15, 14), cell(15, 13)), connected(cell(15, 14), cell(15, 15)), connected(cell(15, 14), cell(16, 14)), connected(cell(15, 15), cell(14, 15)), connected(cell(15, 15), cell(15, 14)), connected(cell(15, 15), cell(15, 16)), connected(cell(15, 15), cell(16, 15)), connected(cell(15, 16), cell(14, 16)), connected(cell(15, 16), cell(15, 15)), connected(cell(15, 16), cell(15, 17)), connected(cell(15, 16), cell(16, 16)), connected(cell(15, 17), cell(14, 17)), connected(cell(15, 17), cell(15, 16)), connected(cell(15, 17), cell(15, 18)), connected(cell(15, 17), cell(16, 17)), connected(cell(15, 18), cell(14, 18)), connected(cell(15, 18), cell(15, 17)), connected(cell(15, 18), cell(15, 19)), connected(cell(15, 18), cell(16, 18)), connected(cell(15, 19), cell(14, 19)), connected(cell(15, 19), cell(15, 18)), connected(cell(15, 19), cell(15, 20)), connected(cell(15, 19), cell(16, 19)), connected(cell(15, 20), cell(14, 20)), connected(cell(15, 20), cell(15, 19)), connected(cell(15, 20), cell(15, 21)), connected(cell(15, 20), cell(16, 20)), connected(cell(15, 21), cell(14, 21)), connected(cell(15, 21), cell(15, 20)), connected(cell(15, 21), cell(15, 22)), connected(cell(15, 21), cell(16, 21)), connected(cell(15, 22), cell(14, 22)), connected(cell(15, 22), cell(15, 21)), connected(cell(15, 22), cell(15, 23)), connected(cell(15, 22), cell(16, 22)), connected(cell(15, 23), cell(14, 23)), connected(cell(15, 23), cell(15, 22)), connected(cell(15, 23), cell(15, 24)), connected(cell(15, 23), cell(16, 23)), connected(cell(15, 24), cell(14, 24)), connected(cell(15, 24), cell(15, 23)), connected(cell(15, 24), cell(15, 25)), connected(cell(15, 24), cell(16, 24)), connected(cell(15, 25), cell(14, 25)), connected(cell(15, 25), cell(15, 24)), connected(cell(15, 25), cell(15, 26)), connected(cell(15, 25), cell(16, 25)), connected(cell(15, 26), cell(14, 26)), connected(cell(15, 26), cell(15, 25)), connected(cell(15, 26), cell(15, 27)), connected(cell(15, 26), cell(16, 26)), connected(cell(15, 27), cell(14, 27)), connected(cell(15, 27), cell(15, 26)), connected(cell(15, 27), cell(15, 28)), connected(cell(15, 27), cell(16, 27)), connected(cell(15, 28), cell(14, 28)), connected(cell(15, 28), cell(15, 27)), connected(cell(15, 28), cell(15, 29)), connected(cell(15, 28), cell(16, 28)), connected(cell(15, 29), cell(14, 29)), connected(cell(15, 29), cell(15, 28)), connected(cell(15, 29), cell(15, 30)), connected(cell(15, 29), cell(16, 29)), connected(cell(15, 30), cell(14, 30)), connected(cell(15, 30), cell(15, 29)), connected(cell(15, 30), cell(15, 31)), connected(cell(15, 30), cell(16, 30)), connected(cell(15, 31), cell(14, 31)), connected(cell(15, 31), cell(15, 30)), connected(cell(15, 31), cell(15, 32)), connected(cell(15, 31), cell(16, 31)), connected(cell(15, 32), cell(14, 32)), connected(cell(15, 32), cell(15, 31)), connected(cell(15, 32), cell(16, 32)), connected(cell(16, 1), cell(15, 1)), connected(cell(16, 1), cell(16, 2)), connected(cell(16, 1), cell(17, 1)), connected(cell(16, 2), cell(15, 2)), connected(cell(16, 2), cell(16, 1)), connected(cell(16, 2), cell(16, 3)), connected(cell(16, 2), cell(17, 2)), connected(cell(16, 3), cell(15, 3)), connected(cell(16, 3), cell(16, 2)), connected(cell(16, 3), cell(16, 4)), connected(cell(16, 3), cell(17, 3)), connected(cell(16, 4), cell(15, 4)), connected(cell(16, 4), cell(16, 3)), connected(cell(16, 4), cell(16, 5)), connected(cell(16, 4), cell(17, 4)), connected(cell(16, 5), cell(15, 5)), connected(cell(16, 5), cell(16, 4)), connected(cell(16, 5), cell(16, 6)), connected(cell(16, 5), cell(17, 5)), connected(cell(16, 6), cell(15, 6)), connected(cell(16, 6), cell(16, 5)), connected(cell(16, 6), cell(16, 7)), connected(cell(16, 6), cell(17, 6)), connected(cell(16, 7), cell(15, 7)), connected(cell(16, 7), cell(16, 6)), connected(cell(16, 7), cell(16, 8)), connected(cell(16, 7), cell(17, 7)), connected(cell(16, 8), cell(15, 8)), connected(cell(16, 8), cell(16, 7)), connected(cell(16, 8), cell(16, 9)), connected(cell(16, 8), cell(17, 8)), connected(cell(16, 9), cell(15, 9)), connected(cell(16, 9), cell(16, 8)), connected(cell(16, 9), cell(16, 10)), connected(cell(16, 9), cell(17, 9)), connected(cell(16, 10), cell(15, 10)), connected(cell(16, 10), cell(16, 9)), connected(cell(16, 10), cell(16, 11)), connected(cell(16, 10), cell(17, 10)), connected(cell(16, 11), cell(15, 11)), connected(cell(16, 11), cell(16, 10)), connected(cell(16, 11), cell(16, 12)), connected(cell(16, 11), cell(17, 11)), connected(cell(16, 12), cell(15, 12)), connected(cell(16, 12), cell(16, 11)), connected(cell(16, 12), cell(16, 13)), connected(cell(16, 12), cell(17, 12)), connected(cell(16, 13), cell(15, 13)), connected(cell(16, 13), cell(16, 12)), connected(cell(16, 13), cell(16, 14)), connected(cell(16, 13), cell(17, 13)), connected(cell(16, 14), cell(15, 14)), connected(cell(16, 14), cell(16, 13)), connected(cell(16, 14), cell(16, 15)), connected(cell(16, 14), cell(17, 14)), connected(cell(16, 15), cell(15, 15)), connected(cell(16, 15), cell(16, 14)), connected(cell(16, 15), cell(16, 16)), connected(cell(16, 15), cell(17, 15)), connected(cell(16, 16), cell(15, 16)), connected(cell(16, 16), cell(16, 15)), connected(cell(16, 16), cell(16, 17)), connected(cell(16, 16), cell(17, 16)), connected(cell(16, 17), cell(15, 17)), connected(cell(16, 17), cell(16, 16)), connected(cell(16, 17), cell(16, 18)), connected(cell(16, 17), cell(17, 17)), connected(cell(16, 18), cell(15, 18)), connected(cell(16, 18), cell(16, 17)), connected(cell(16, 18), cell(16, 19)), connected(cell(16, 18), cell(17, 18)), connected(cell(16, 19), cell(15, 19)), connected(cell(16, 19), cell(16, 18)), connected(cell(16, 19), cell(16, 20)), connected(cell(16, 19), cell(17, 19)), connected(cell(16, 20), cell(15, 20)), connected(cell(16, 20), cell(16, 19)), connected(cell(16, 20), cell(16, 21)), connected(cell(16, 20), cell(17, 20)), connected(cell(16, 21), cell(15, 21)), connected(cell(16, 21), cell(16, 20)), connected(cell(16, 21), cell(16, 22)), connected(cell(16, 21), cell(17, 21)), connected(cell(16, 22), cell(15, 22)), connected(cell(16, 22), cell(16, 21)), connected(cell(16, 22), cell(16, 23)), connected(cell(16, 22), cell(17, 22)), connected(cell(16, 23), cell(15, 23)), connected(cell(16, 23), cell(16, 22)), connected(cell(16, 23), cell(16, 24)), connected(cell(16, 23), cell(17, 23)), connected(cell(16, 24), cell(15, 24)), connected(cell(16, 24), cell(16, 23)), connected(cell(16, 24), cell(16, 25)), connected(cell(16, 24), cell(17, 24)), connected(cell(16, 25), cell(15, 25)), connected(cell(16, 25), cell(16, 24)), connected(cell(16, 25), cell(16, 26)), connected(cell(16, 25), cell(17, 25)), connected(cell(16, 26), cell(15, 26)), connected(cell(16, 26), cell(16, 25)), connected(cell(16, 26), cell(16, 27)), connected(cell(16, 26), cell(17, 26)), connected(cell(16, 27), cell(15, 27)), connected(cell(16, 27), cell(16, 26)), connected(cell(16, 27), cell(16, 28)), connected(cell(16, 27), cell(17, 27)), connected(cell(16, 28), cell(15, 28)), connected(cell(16, 28), cell(16, 27)), connected(cell(16, 28), cell(16, 29)), connected(cell(16, 28), cell(17, 28)), connected(cell(16, 29), cell(15, 29)), connected(cell(16, 29), cell(16, 28)), connected(cell(16, 29), cell(16, 30)), connected(cell(16, 29), cell(17, 29)), connected(cell(16, 30), cell(15, 30)), connected(cell(16, 30), cell(16, 29)), connected(cell(16, 30), cell(16, 31)), connected(cell(16, 30), cell(17, 30)), connected(cell(16, 31), cell(15, 31)), connected(cell(16, 31), cell(16, 30)), connected(cell(16, 31), cell(16, 32)), connected(cell(16, 31), cell(17, 31)), connected(cell(16, 32), cell(15, 32)), connected(cell(16, 32), cell(16, 31)), connected(cell(16, 32), cell(17, 32)), connected(cell(17, 1), cell(16, 1)), connected(cell(17, 1), cell(17, 2)), connected(cell(17, 1), cell(18, 1)), connected(cell(17, 2), cell(16, 2)), connected(cell(17, 2), cell(17, 1)), connected(cell(17, 2), cell(17, 3)), connected(cell(17, 2), cell(18, 2)), connected(cell(17, 3), cell(16, 3)), connected(cell(17, 3), cell(17, 2)), connected(cell(17, 3), cell(17, 4)), connected(cell(17, 3), cell(18, 3)), connected(cell(17, 4), cell(16, 4)), connected(cell(17, 4), cell(17, 3)), connected(cell(17, 4), cell(17, 5)), connected(cell(17, 4), cell(18, 4)), connected(cell(17, 5), cell(16, 5)), connected(cell(17, 5), cell(17, 4)), connected(cell(17, 5), cell(17, 6)), connected(cell(17, 5), cell(18, 5)), connected(cell(17, 6), cell(16, 6)), connected(cell(17, 6), cell(17, 5)), connected(cell(17, 6), cell(17, 7)), connected(cell(17, 6), cell(18, 6)), connected(cell(17, 7), cell(16, 7)), connected(cell(17, 7), cell(17, 6)), connected(cell(17, 7), cell(17, 8)), connected(cell(17, 7), cell(18, 7)), connected(cell(17, 8), cell(16, 8)), connected(cell(17, 8), cell(17, 7)), connected(cell(17, 8), cell(17, 9)), connected(cell(17, 8), cell(18, 8)), connected(cell(17, 9), cell(16, 9)), connected(cell(17, 9), cell(17, 8)), connected(cell(17, 9), cell(17, 10)), connected(cell(17, 9), cell(18, 9)), connected(cell(17, 10), cell(16, 10)), connected(cell(17, 10), cell(17, 9)), connected(cell(17, 10), cell(17, 11)), connected(cell(17, 10), cell(18, 10)), connected(cell(17, 11), cell(16, 11)), connected(cell(17, 11), cell(17, 10)), connected(cell(17, 11), cell(17, 12)), connected(cell(17, 11), cell(18, 11)), connected(cell(17, 12), cell(16, 12)), connected(cell(17, 12), cell(17, 11)), connected(cell(17, 12), cell(17, 13)), connected(cell(17, 12), cell(18, 12)), connected(cell(17, 13), cell(16, 13)), connected(cell(17, 13), cell(17, 12)), connected(cell(17, 13), cell(17, 14)), connected(cell(17, 13), cell(18, 13)), connected(cell(17, 14), cell(16, 14)), connected(cell(17, 14), cell(17, 13)), connected(cell(17, 14), cell(17, 15)), connected(cell(17, 14), cell(18, 14)), connected(cell(17, 15), cell(16, 15)), connected(cell(17, 15), cell(17, 14)), connected(cell(17, 15), cell(17, 16)), connected(cell(17, 15), cell(18, 15)), connected(cell(17, 16), cell(16, 16)), connected(cell(17, 16), cell(17, 15)), connected(cell(17, 16), cell(17, 17)), connected(cell(17, 16), cell(18, 16)), connected(cell(17, 17), cell(16, 17)), connected(cell(17, 17), cell(17, 16)), connected(cell(17, 17), cell(17, 18)), connected(cell(17, 17), cell(18, 17)), connected(cell(17, 18), cell(16, 18)), connected(cell(17, 18), cell(17, 17)), connected(cell(17, 18), cell(17, 19)), connected(cell(17, 18), cell(18, 18)), connected(cell(17, 19), cell(16, 19)), connected(cell(17, 19), cell(17, 18)), connected(cell(17, 19), cell(17, 20)), connected(cell(17, 19), cell(18, 19)), connected(cell(17, 20), cell(16, 20)), connected(cell(17, 20), cell(17, 19)), connected(cell(17, 20), cell(17, 21)), connected(cell(17, 20), cell(18, 20)), connected(cell(17, 21), cell(16, 21)), connected(cell(17, 21), cell(17, 20)), connected(cell(17, 21), cell(17, 22)), connected(cell(17, 21), cell(18, 21)), connected(cell(17, 22), cell(16, 22)), connected(cell(17, 22), cell(17, 21)), connected(cell(17, 22), cell(17, 23)), connected(cell(17, 22), cell(18, 22)), connected(cell(17, 23), cell(16, 23)), connected(cell(17, 23), cell(17, 22)), connected(cell(17, 23), cell(17, 24)), connected(cell(17, 23), cell(18, 23)), connected(cell(17, 24), cell(16, 24)), connected(cell(17, 24), cell(17, 23)), connected(cell(17, 24), cell(17, 25)), connected(cell(17, 24), cell(18, 24)), connected(cell(17, 25), cell(16, 25)), connected(cell(17, 25), cell(17, 24)), connected(cell(17, 25), cell(17, 26)), connected(cell(17, 25), cell(18, 25)), connected(cell(17, 26), cell(16, 26)), connected(cell(17, 26), cell(17, 25)), connected(cell(17, 26), cell(17, 27)), connected(cell(17, 26), cell(18, 26)), connected(cell(17, 27), cell(16, 27)), connected(cell(17, 27), cell(17, 26)), connected(cell(17, 27), cell(17, 28)), connected(cell(17, 27), cell(18, 27)), connected(cell(17, 28), cell(16, 28)), connected(cell(17, 28), cell(17, 27)), connected(cell(17, 28), cell(17, 29)), connected(cell(17, 28), cell(18, 28)), connected(cell(17, 29), cell(16, 29)), connected(cell(17, 29), cell(17, 28)), connected(cell(17, 29), cell(17, 30)), connected(cell(17, 29), cell(18, 29)), connected(cell(17, 30), cell(16, 30)), connected(cell(17, 30), cell(17, 29)), connected(cell(17, 30), cell(17, 31)), connected(cell(17, 30), cell(18, 30)), connected(cell(17, 31), cell(16, 31)), connected(cell(17, 31), cell(17, 30)), connected(cell(17, 31), cell(17, 32)), connected(cell(17, 31), cell(18, 31)), connected(cell(17, 32), cell(16, 32)), connected(cell(17, 32), cell(17, 31)), connected(cell(17, 32), cell(18, 32)), connected(cell(18, 1), cell(17, 1)), connected(cell(18, 1), cell(18, 2)), connected(cell(18, 1), cell(19, 1)), connected(cell(18, 2), cell(17, 2)), connected(cell(18, 2), cell(18, 1)), connected(cell(18, 2), cell(18, 3)), connected(cell(18, 2), cell(19, 2)), connected(cell(18, 3), cell(17, 3)), connected(cell(18, 3), cell(18, 2)), connected(cell(18, 3), cell(18, 4)), connected(cell(18, 3), cell(19, 3)), connected(cell(18, 4), cell(17, 4)), connected(cell(18, 4), cell(18, 3)), connected(cell(18, 4), cell(18, 5)), connected(cell(18, 4), cell(19, 4)), connected(cell(18, 5), cell(17, 5)), connected(cell(18, 5), cell(18, 4)), connected(cell(18, 5), cell(18, 6)), connected(cell(18, 5), cell(19, 5)), connected(cell(18, 6), cell(17, 6)), connected(cell(18, 6), cell(18, 5)), connected(cell(18, 6), cell(18, 7)), connected(cell(18, 6), cell(19, 6)), connected(cell(18, 7), cell(17, 7)), connected(cell(18, 7), cell(18, 6)), connected(cell(18, 7), cell(18, 8)), connected(cell(18, 7), cell(19, 7)), connected(cell(18, 8), cell(17, 8)), connected(cell(18, 8), cell(18, 7)), connected(cell(18, 8), cell(18, 9)), connected(cell(18, 8), cell(19, 8)), connected(cell(18, 9), cell(17, 9)), connected(cell(18, 9), cell(18, 8)), connected(cell(18, 9), cell(18, 10)), connected(cell(18, 9), cell(19, 9)), connected(cell(18, 10), cell(17, 10)), connected(cell(18, 10), cell(18, 9)), connected(cell(18, 10), cell(18, 11)), connected(cell(18, 10), cell(19, 10)), connected(cell(18, 11), cell(17, 11)), connected(cell(18, 11), cell(18, 10)), connected(cell(18, 11), cell(18, 12)), connected(cell(18, 11), cell(19, 11)), connected(cell(18, 12), cell(17, 12)), connected(cell(18, 12), cell(18, 11)), connected(cell(18, 12), cell(18, 13)), connected(cell(18, 12), cell(19, 12)), connected(cell(18, 13), cell(17, 13)), connected(cell(18, 13), cell(18, 12)), connected(cell(18, 13), cell(18, 14)), connected(cell(18, 13), cell(19, 13)), connected(cell(18, 14), cell(17, 14)), connected(cell(18, 14), cell(18, 13)), connected(cell(18, 14), cell(18, 15)), connected(cell(18, 14), cell(19, 14)), connected(cell(18, 15), cell(17, 15)), connected(cell(18, 15), cell(18, 14)), connected(cell(18, 15), cell(18, 16)), connected(cell(18, 15), cell(19, 15)), connected(cell(18, 16), cell(17, 16)), connected(cell(18, 16), cell(18, 15)), connected(cell(18, 16), cell(18, 17)), connected(cell(18, 16), cell(19, 16)), connected(cell(18, 17), cell(17, 17)), connected(cell(18, 17), cell(18, 16)), connected(cell(18, 17), cell(18, 18)), connected(cell(18, 17), cell(19, 17)), connected(cell(18, 18), cell(17, 18)), connected(cell(18, 18), cell(18, 17)), connected(cell(18, 18), cell(18, 19)), connected(cell(18, 18), cell(19, 18)), connected(cell(18, 19), cell(17, 19)), connected(cell(18, 19), cell(18, 18)), connected(cell(18, 19), cell(18, 20)), connected(cell(18, 19), cell(19, 19)), connected(cell(18, 20), cell(17, 20)), connected(cell(18, 20), cell(18, 19)), connected(cell(18, 20), cell(18, 21)), connected(cell(18, 20), cell(19, 20)), connected(cell(18, 21), cell(17, 21)), connected(cell(18, 21), cell(18, 20)), connected(cell(18, 21), cell(18, 22)), connected(cell(18, 21), cell(19, 21)), connected(cell(18, 22), cell(17, 22)), connected(cell(18, 22), cell(18, 21)), connected(cell(18, 22), cell(18, 23)), connected(cell(18, 22), cell(19, 22)), connected(cell(18, 23), cell(17, 23)), connected(cell(18, 23), cell(18, 22)), connected(cell(18, 23), cell(18, 24)), connected(cell(18, 23), cell(19, 23)), connected(cell(18, 24), cell(17, 24)), connected(cell(18, 24), cell(18, 23)), connected(cell(18, 24), cell(18, 25)), connected(cell(18, 24), cell(19, 24)), connected(cell(18, 25), cell(17, 25)), connected(cell(18, 25), cell(18, 24)), connected(cell(18, 25), cell(18, 26)), connected(cell(18, 25), cell(19, 25)), connected(cell(18, 26), cell(17, 26)), connected(cell(18, 26), cell(18, 25)), connected(cell(18, 26), cell(18, 27)), connected(cell(18, 26), cell(19, 26)), connected(cell(18, 27), cell(17, 27)), connected(cell(18, 27), cell(18, 26)), connected(cell(18, 27), cell(18, 28)), connected(cell(18, 27), cell(19, 27)), connected(cell(18, 28), cell(17, 28)), connected(cell(18, 28), cell(18, 27)), connected(cell(18, 28), cell(18, 29)), connected(cell(18, 28), cell(19, 28)), connected(cell(18, 29), cell(17, 29)), connected(cell(18, 29), cell(18, 28)), connected(cell(18, 29), cell(18, 30)), connected(cell(18, 29), cell(19, 29)), connected(cell(18, 30), cell(17, 30)), connected(cell(18, 30), cell(18, 29)), connected(cell(18, 30), cell(18, 31)), connected(cell(18, 30), cell(19, 30)), connected(cell(18, 31), cell(17, 31)), connected(cell(18, 31), cell(18, 30)), connected(cell(18, 31), cell(18, 32)), connected(cell(18, 31), cell(19, 31)), connected(cell(18, 32), cell(17, 32)), connected(cell(18, 32), cell(18, 31)), connected(cell(18, 32), cell(19, 32)), connected(cell(19, 1), cell(18, 1)), connected(cell(19, 1), cell(19, 2)), connected(cell(19, 1), cell(20, 1)), connected(cell(19, 2), cell(18, 2)), connected(cell(19, 2), cell(19, 1)), connected(cell(19, 2), cell(19, 3)), connected(cell(19, 2), cell(20, 2)), connected(cell(19, 3), cell(18, 3)), connected(cell(19, 3), cell(19, 2)), connected(cell(19, 3), cell(19, 4)), connected(cell(19, 3), cell(20, 3)), connected(cell(19, 4), cell(18, 4)), connected(cell(19, 4), cell(19, 3)), connected(cell(19, 4), cell(19, 5)), connected(cell(19, 4), cell(20, 4)), connected(cell(19, 5), cell(18, 5)), connected(cell(19, 5), cell(19, 4)), connected(cell(19, 5), cell(19, 6)), connected(cell(19, 5), cell(20, 5)), connected(cell(19, 6), cell(18, 6)), connected(cell(19, 6), cell(19, 5)), connected(cell(19, 6), cell(19, 7)), connected(cell(19, 6), cell(20, 6)), connected(cell(19, 7), cell(18, 7)), connected(cell(19, 7), cell(19, 6)), connected(cell(19, 7), cell(19, 8)), connected(cell(19, 7), cell(20, 7)), connected(cell(19, 8), cell(18, 8)), connected(cell(19, 8), cell(19, 7)), connected(cell(19, 8), cell(19, 9)), connected(cell(19, 8), cell(20, 8)), connected(cell(19, 9), cell(18, 9)), connected(cell(19, 9), cell(19, 8)), connected(cell(19, 9), cell(19, 10)), connected(cell(19, 9), cell(20, 9)), connected(cell(19, 10), cell(18, 10)), connected(cell(19, 10), cell(19, 9)), connected(cell(19, 10), cell(19, 11)), connected(cell(19, 10), cell(20, 10)), connected(cell(19, 11), cell(18, 11)), connected(cell(19, 11), cell(19, 10)), connected(cell(19, 11), cell(19, 12)), connected(cell(19, 11), cell(20, 11)), connected(cell(19, 12), cell(18, 12)), connected(cell(19, 12), cell(19, 11)), connected(cell(19, 12), cell(19, 13)), connected(cell(19, 12), cell(20, 12)), connected(cell(19, 13), cell(18, 13)), connected(cell(19, 13), cell(19, 12)), connected(cell(19, 13), cell(19, 14)), connected(cell(19, 13), cell(20, 13)), connected(cell(19, 14), cell(18, 14)), connected(cell(19, 14), cell(19, 13)), connected(cell(19, 14), cell(19, 15)), connected(cell(19, 14), cell(20, 14)), connected(cell(19, 15), cell(18, 15)), connected(cell(19, 15), cell(19, 14)), connected(cell(19, 15), cell(19, 16)), connected(cell(19, 15), cell(20, 15)), connected(cell(19, 16), cell(18, 16)), connected(cell(19, 16), cell(19, 15)), connected(cell(19, 16), cell(19, 17)), connected(cell(19, 16), cell(20, 16)), connected(cell(19, 17), cell(18, 17)), connected(cell(19, 17), cell(19, 16)), connected(cell(19, 17), cell(19, 18)), connected(cell(19, 17), cell(20, 17)), connected(cell(19, 18), cell(18, 18)), connected(cell(19, 18), cell(19, 17)), connected(cell(19, 18), cell(19, 19)), connected(cell(19, 18), cell(20, 18)), connected(cell(19, 19), cell(18, 19)), connected(cell(19, 19), cell(19, 18)), connected(cell(19, 19), cell(19, 20)), connected(cell(19, 19), cell(20, 19)), connected(cell(19, 20), cell(18, 20)), connected(cell(19, 20), cell(19, 19)), connected(cell(19, 20), cell(19, 21)), connected(cell(19, 20), cell(20, 20)), connected(cell(19, 21), cell(18, 21)), connected(cell(19, 21), cell(19, 20)), connected(cell(19, 21), cell(19, 22)), connected(cell(19, 21), cell(20, 21)), connected(cell(19, 22), cell(18, 22)), connected(cell(19, 22), cell(19, 21)), connected(cell(19, 22), cell(19, 23)), connected(cell(19, 22), cell(20, 22)), connected(cell(19, 23), cell(18, 23)), connected(cell(19, 23), cell(19, 22)), connected(cell(19, 23), cell(19, 24)), connected(cell(19, 23), cell(20, 23)), connected(cell(19, 24), cell(18, 24)), connected(cell(19, 24), cell(19, 23)), connected(cell(19, 24), cell(19, 25)), connected(cell(19, 24), cell(20, 24)), connected(cell(19, 25), cell(18, 25)), connected(cell(19, 25), cell(19, 24)), connected(cell(19, 25), cell(19, 26)), connected(cell(19, 25), cell(20, 25)), connected(cell(19, 26), cell(18, 26)), connected(cell(19, 26), cell(19, 25)), connected(cell(19, 26), cell(19, 27)), connected(cell(19, 26), cell(20, 26)), connected(cell(19, 27), cell(18, 27)), connected(cell(19, 27), cell(19, 26)), connected(cell(19, 27), cell(19, 28)), connected(cell(19, 27), cell(20, 27)), connected(cell(19, 28), cell(18, 28)), connected(cell(19, 28), cell(19, 27)), connected(cell(19, 28), cell(19, 29)), connected(cell(19, 28), cell(20, 28)), connected(cell(19, 29), cell(18, 29)), connected(cell(19, 29), cell(19, 28)), connected(cell(19, 29), cell(19, 30)), connected(cell(19, 29), cell(20, 29)), connected(cell(19, 30), cell(18, 30)), connected(cell(19, 30), cell(19, 29)), connected(cell(19, 30), cell(19, 31)), connected(cell(19, 30), cell(20, 30)), connected(cell(19, 31), cell(18, 31)), connected(cell(19, 31), cell(19, 30)), connected(cell(19, 31), cell(19, 32)), connected(cell(19, 31), cell(20, 31)), connected(cell(19, 32), cell(18, 32)), connected(cell(19, 32), cell(19, 31)), connected(cell(19, 32), cell(20, 32)), connected(cell(20, 1), cell(19, 1)), connected(cell(20, 1), cell(20, 2)), connected(cell(20, 1), cell(21, 1)), connected(cell(20, 2), cell(19, 2)), connected(cell(20, 2), cell(20, 1)), connected(cell(20, 2), cell(20, 3)), connected(cell(20, 2), cell(21, 2)), connected(cell(20, 3), cell(19, 3)), connected(cell(20, 3), cell(20, 2)), connected(cell(20, 3), cell(20, 4)), connected(cell(20, 3), cell(21, 3)), connected(cell(20, 4), cell(19, 4)), connected(cell(20, 4), cell(20, 3)), connected(cell(20, 4), cell(20, 5)), connected(cell(20, 4), cell(21, 4)), connected(cell(20, 5), cell(19, 5)), connected(cell(20, 5), cell(20, 4)), connected(cell(20, 5), cell(20, 6)), connected(cell(20, 5), cell(21, 5)), connected(cell(20, 6), cell(19, 6)), connected(cell(20, 6), cell(20, 5)), connected(cell(20, 6), cell(20, 7)), connected(cell(20, 6), cell(21, 6)), connected(cell(20, 7), cell(19, 7)), connected(cell(20, 7), cell(20, 6)), connected(cell(20, 7), cell(20, 8)), connected(cell(20, 7), cell(21, 7)), connected(cell(20, 8), cell(19, 8)), connected(cell(20, 8), cell(20, 7)), connected(cell(20, 8), cell(20, 9)), connected(cell(20, 8), cell(21, 8)), connected(cell(20, 9), cell(19, 9)), connected(cell(20, 9), cell(20, 8)), connected(cell(20, 9), cell(20, 10)), connected(cell(20, 9), cell(21, 9)), connected(cell(20, 10), cell(19, 10)), connected(cell(20, 10), cell(20, 9)), connected(cell(20, 10), cell(20, 11)), connected(cell(20, 10), cell(21, 10)), connected(cell(20, 11), cell(19, 11)), connected(cell(20, 11), cell(20, 10)), connected(cell(20, 11), cell(20, 12)), connected(cell(20, 11), cell(21, 11)), connected(cell(20, 12), cell(19, 12)), connected(cell(20, 12), cell(20, 11)), connected(cell(20, 12), cell(20, 13)), connected(cell(20, 12), cell(21, 12)), connected(cell(20, 13), cell(19, 13)), connected(cell(20, 13), cell(20, 12)), connected(cell(20, 13), cell(20, 14)), connected(cell(20, 13), cell(21, 13)), connected(cell(20, 14), cell(19, 14)), connected(cell(20, 14), cell(20, 13)), connected(cell(20, 14), cell(20, 15)), connected(cell(20, 14), cell(21, 14)), connected(cell(20, 15), cell(19, 15)), connected(cell(20, 15), cell(20, 14)), connected(cell(20, 15), cell(20, 16)), connected(cell(20, 15), cell(21, 15)), connected(cell(20, 16), cell(19, 16)), connected(cell(20, 16), cell(20, 15)), connected(cell(20, 16), cell(20, 17)), connected(cell(20, 16), cell(21, 16)), connected(cell(20, 17), cell(19, 17)), connected(cell(20, 17), cell(20, 16)), connected(cell(20, 17), cell(20, 18)), connected(cell(20, 17), cell(21, 17)), connected(cell(20, 18), cell(19, 18)), connected(cell(20, 18), cell(20, 17)), connected(cell(20, 18), cell(20, 19)), connected(cell(20, 18), cell(21, 18)), connected(cell(20, 19), cell(19, 19)), connected(cell(20, 19), cell(20, 18)), connected(cell(20, 19), cell(20, 20)), connected(cell(20, 19), cell(21, 19)), connected(cell(20, 20), cell(19, 20)), connected(cell(20, 20), cell(20, 19)), connected(cell(20, 20), cell(20, 21)), connected(cell(20, 20), cell(21, 20)), connected(cell(20, 21), cell(19, 21)), connected(cell(20, 21), cell(20, 20)), connected(cell(20, 21), cell(20, 22)), connected(cell(20, 21), cell(21, 21)), connected(cell(20, 22), cell(19, 22)), connected(cell(20, 22), cell(20, 21)), connected(cell(20, 22), cell(20, 23)), connected(cell(20, 22), cell(21, 22)), connected(cell(20, 23), cell(19, 23)), connected(cell(20, 23), cell(20, 22)), connected(cell(20, 23), cell(20, 24)), connected(cell(20, 23), cell(21, 23)), connected(cell(20, 24), cell(19, 24)), connected(cell(20, 24), cell(20, 23)), connected(cell(20, 24), cell(20, 25)), connected(cell(20, 24), cell(21, 24)), connected(cell(20, 25), cell(19, 25)), connected(cell(20, 25), cell(20, 24)), connected(cell(20, 25), cell(20, 26)), connected(cell(20, 25), cell(21, 25)), connected(cell(20, 26), cell(19, 26)), connected(cell(20, 26), cell(20, 25)), connected(cell(20, 26), cell(20, 27)), connected(cell(20, 26), cell(21, 26)), connected(cell(20, 27), cell(19, 27)), connected(cell(20, 27), cell(20, 26)), connected(cell(20, 27), cell(20, 28)), connected(cell(20, 27), cell(21, 27)), connected(cell(20, 28), cell(19, 28)), connected(cell(20, 28), cell(20, 27)), connected(cell(20, 28), cell(20, 29)), connected(cell(20, 28), cell(21, 28)), connected(cell(20, 29), cell(19, 29)), connected(cell(20, 29), cell(20, 28)), connected(cell(20, 29), cell(20, 30)), connected(cell(20, 29), cell(21, 29)), connected(cell(20, 30), cell(19, 30)), connected(cell(20, 30), cell(20, 29)), connected(cell(20, 30), cell(20, 31)), connected(cell(20, 30), cell(21, 30)), connected(cell(20, 31), cell(19, 31)), connected(cell(20, 31), cell(20, 30)), connected(cell(20, 31), cell(20, 32)), connected(cell(20, 31), cell(21, 31)), connected(cell(20, 32), cell(19, 32)), connected(cell(20, 32), cell(20, 31)), connected(cell(20, 32), cell(21, 32)), connected(cell(21, 1), cell(20, 1)), connected(cell(21, 1), cell(21, 2)), connected(cell(21, 1), cell(22, 1)), connected(cell(21, 2), cell(20, 2)), connected(cell(21, 2), cell(21, 1)), connected(cell(21, 2), cell(21, 3)), connected(cell(21, 2), cell(22, 2)), connected(cell(21, 3), cell(20, 3)), connected(cell(21, 3), cell(21, 2)), connected(cell(21, 3), cell(21, 4)), connected(cell(21, 3), cell(22, 3)), connected(cell(21, 4), cell(20, 4)), connected(cell(21, 4), cell(21, 3)), connected(cell(21, 4), cell(21, 5)), connected(cell(21, 4), cell(22, 4)), connected(cell(21, 5), cell(20, 5)), connected(cell(21, 5), cell(21, 4)), connected(cell(21, 5), cell(21, 6)), connected(cell(21, 5), cell(22, 5)), connected(cell(21, 6), cell(20, 6)), connected(cell(21, 6), cell(21, 5)), connected(cell(21, 6), cell(21, 7)), connected(cell(21, 6), cell(22, 6)), connected(cell(21, 7), cell(20, 7)), connected(cell(21, 7), cell(21, 6)), connected(cell(21, 7), cell(21, 8)), connected(cell(21, 7), cell(22, 7)), connected(cell(21, 8), cell(20, 8)), connected(cell(21, 8), cell(21, 7)), connected(cell(21, 8), cell(21, 9)), connected(cell(21, 8), cell(22, 8)), connected(cell(21, 9), cell(20, 9)), connected(cell(21, 9), cell(21, 8)), connected(cell(21, 9), cell(21, 10)), connected(cell(21, 9), cell(22, 9)), connected(cell(21, 10), cell(20, 10)), connected(cell(21, 10), cell(21, 9)), connected(cell(21, 10), cell(21, 11)), connected(cell(21, 10), cell(22, 10)), connected(cell(21, 11), cell(20, 11)), connected(cell(21, 11), cell(21, 10)), connected(cell(21, 11), cell(21, 12)), connected(cell(21, 11), cell(22, 11)), connected(cell(21, 12), cell(20, 12)), connected(cell(21, 12), cell(21, 11)), connected(cell(21, 12), cell(21, 13)), connected(cell(21, 12), cell(22, 12)), connected(cell(21, 13), cell(20, 13)), connected(cell(21, 13), cell(21, 12)), connected(cell(21, 13), cell(21, 14)), connected(cell(21, 13), cell(22, 13)), connected(cell(21, 14), cell(20, 14)), connected(cell(21, 14), cell(21, 13)), connected(cell(21, 14), cell(21, 15)), connected(cell(21, 14), cell(22, 14)), connected(cell(21, 15), cell(20, 15)), connected(cell(21, 15), cell(21, 14)), connected(cell(21, 15), cell(21, 16)), connected(cell(21, 15), cell(22, 15)), connected(cell(21, 16), cell(20, 16)), connected(cell(21, 16), cell(21, 15)), connected(cell(21, 16), cell(21, 17)), connected(cell(21, 16), cell(22, 16)), connected(cell(21, 17), cell(20, 17)), connected(cell(21, 17), cell(21, 16)), connected(cell(21, 17), cell(21, 18)), connected(cell(21, 17), cell(22, 17)), connected(cell(21, 18), cell(20, 18)), connected(cell(21, 18), cell(21, 17)), connected(cell(21, 18), cell(21, 19)), connected(cell(21, 18), cell(22, 18)), connected(cell(21, 19), cell(20, 19)), connected(cell(21, 19), cell(21, 18)), connected(cell(21, 19), cell(21, 20)), connected(cell(21, 19), cell(22, 19)), connected(cell(21, 20), cell(20, 20)), connected(cell(21, 20), cell(21, 19)), connected(cell(21, 20), cell(21, 21)), connected(cell(21, 20), cell(22, 20)), connected(cell(21, 21), cell(20, 21)), connected(cell(21, 21), cell(21, 20)), connected(cell(21, 21), cell(21, 22)), connected(cell(21, 21), cell(22, 21)), connected(cell(21, 22), cell(20, 22)), connected(cell(21, 22), cell(21, 21)), connected(cell(21, 22), cell(21, 23)), connected(cell(21, 22), cell(22, 22)), connected(cell(21, 23), cell(20, 23)), connected(cell(21, 23), cell(21, 22)), connected(cell(21, 23), cell(21, 24)), connected(cell(21, 23), cell(22, 23)), connected(cell(21, 24), cell(20, 24)), connected(cell(21, 24), cell(21, 23)), connected(cell(21, 24), cell(21, 25)), connected(cell(21, 24), cell(22, 24)), connected(cell(21, 25), cell(20, 25)), connected(cell(21, 25), cell(21, 24)), connected(cell(21, 25), cell(21, 26)), connected(cell(21, 25), cell(22, 25)), connected(cell(21, 26), cell(20, 26)), connected(cell(21, 26), cell(21, 25)), connected(cell(21, 26), cell(21, 27)), connected(cell(21, 26), cell(22, 26)), connected(cell(21, 27), cell(20, 27)), connected(cell(21, 27), cell(21, 26)), connected(cell(21, 27), cell(21, 28)), connected(cell(21, 27), cell(22, 27)), connected(cell(21, 28), cell(20, 28)), connected(cell(21, 28), cell(21, 27)), connected(cell(21, 28), cell(21, 29)), connected(cell(21, 28), cell(22, 28)), connected(cell(21, 29), cell(20, 29)), connected(cell(21, 29), cell(21, 28)), connected(cell(21, 29), cell(21, 30)), connected(cell(21, 29), cell(22, 29)), connected(cell(21, 30), cell(20, 30)), connected(cell(21, 30), cell(21, 29)), connected(cell(21, 30), cell(21, 31)), connected(cell(21, 30), cell(22, 30)), connected(cell(21, 31), cell(20, 31)), connected(cell(21, 31), cell(21, 30)), connected(cell(21, 31), cell(21, 32)), connected(cell(21, 31), cell(22, 31)), connected(cell(21, 32), cell(20, 32)), connected(cell(21, 32), cell(21, 31)), connected(cell(21, 32), cell(22, 32)), connected(cell(22, 1), cell(21, 1)), connected(cell(22, 1), cell(22, 2)), connected(cell(22, 1), cell(23, 1)), connected(cell(22, 2), cell(21, 2)), connected(cell(22, 2), cell(22, 1)), connected(cell(22, 2), cell(22, 3)), connected(cell(22, 2), cell(23, 2)), connected(cell(22, 3), cell(21, 3)), connected(cell(22, 3), cell(22, 2)), connected(cell(22, 3), cell(22, 4)), connected(cell(22, 3), cell(23, 3)), connected(cell(22, 4), cell(21, 4)), connected(cell(22, 4), cell(22, 3)), connected(cell(22, 4), cell(22, 5)), connected(cell(22, 4), cell(23, 4)), connected(cell(22, 5), cell(21, 5)), connected(cell(22, 5), cell(22, 4)), connected(cell(22, 5), cell(22, 6)), connected(cell(22, 5), cell(23, 5)), connected(cell(22, 6), cell(21, 6)), connected(cell(22, 6), cell(22, 5)), connected(cell(22, 6), cell(22, 7)), connected(cell(22, 6), cell(23, 6)), connected(cell(22, 7), cell(21, 7)), connected(cell(22, 7), cell(22, 6)), connected(cell(22, 7), cell(22, 8)), connected(cell(22, 7), cell(23, 7)), connected(cell(22, 8), cell(21, 8)), connected(cell(22, 8), cell(22, 7)), connected(cell(22, 8), cell(22, 9)), connected(cell(22, 8), cell(23, 8)), connected(cell(22, 9), cell(21, 9)), connected(cell(22, 9), cell(22, 8)), connected(cell(22, 9), cell(22, 10)), connected(cell(22, 9), cell(23, 9)), connected(cell(22, 10), cell(21, 10)), connected(cell(22, 10), cell(22, 9)), connected(cell(22, 10), cell(22, 11)), connected(cell(22, 10), cell(23, 10)), connected(cell(22, 11), cell(21, 11)), connected(cell(22, 11), cell(22, 10)), connected(cell(22, 11), cell(22, 12)), connected(cell(22, 11), cell(23, 11)), connected(cell(22, 12), cell(21, 12)), connected(cell(22, 12), cell(22, 11)), connected(cell(22, 12), cell(22, 13)), connected(cell(22, 12), cell(23, 12)), connected(cell(22, 13), cell(21, 13)), connected(cell(22, 13), cell(22, 12)), connected(cell(22, 13), cell(22, 14)), connected(cell(22, 13), cell(23, 13)), connected(cell(22, 14), cell(21, 14)), connected(cell(22, 14), cell(22, 13)), connected(cell(22, 14), cell(22, 15)), connected(cell(22, 14), cell(23, 14)), connected(cell(22, 15), cell(21, 15)), connected(cell(22, 15), cell(22, 14)), connected(cell(22, 15), cell(22, 16)), connected(cell(22, 15), cell(23, 15)), connected(cell(22, 16), cell(21, 16)), connected(cell(22, 16), cell(22, 15)), connected(cell(22, 16), cell(22, 17)), connected(cell(22, 16), cell(23, 16)), connected(cell(22, 17), cell(21, 17)), connected(cell(22, 17), cell(22, 16)), connected(cell(22, 17), cell(22, 18)), connected(cell(22, 17), cell(23, 17)), connected(cell(22, 18), cell(21, 18)), connected(cell(22, 18), cell(22, 17)), connected(cell(22, 18), cell(22, 19)), connected(cell(22, 18), cell(23, 18)), connected(cell(22, 19), cell(21, 19)), connected(cell(22, 19), cell(22, 18)), connected(cell(22, 19), cell(22, 20)), connected(cell(22, 19), cell(23, 19)), connected(cell(22, 20), cell(21, 20)), connected(cell(22, 20), cell(22, 19)), connected(cell(22, 20), cell(22, 21)), connected(cell(22, 20), cell(23, 20)), connected(cell(22, 21), cell(21, 21)), connected(cell(22, 21), cell(22, 20)), connected(cell(22, 21), cell(22, 22)), connected(cell(22, 21), cell(23, 21)), connected(cell(22, 22), cell(21, 22)), connected(cell(22, 22), cell(22, 21)), connected(cell(22, 22), cell(22, 23)), connected(cell(22, 22), cell(23, 22)), connected(cell(22, 23), cell(21, 23)), connected(cell(22, 23), cell(22, 22)), connected(cell(22, 23), cell(22, 24)), connected(cell(22, 23), cell(23, 23)), connected(cell(22, 24), cell(21, 24)), connected(cell(22, 24), cell(22, 23)), connected(cell(22, 24), cell(22, 25)), connected(cell(22, 24), cell(23, 24)), connected(cell(22, 25), cell(21, 25)), connected(cell(22, 25), cell(22, 24)), connected(cell(22, 25), cell(22, 26)), connected(cell(22, 25), cell(23, 25)), connected(cell(22, 26), cell(21, 26)), connected(cell(22, 26), cell(22, 25)), connected(cell(22, 26), cell(22, 27)), connected(cell(22, 26), cell(23, 26)), connected(cell(22, 27), cell(21, 27)), connected(cell(22, 27), cell(22, 26)), connected(cell(22, 27), cell(22, 28)), connected(cell(22, 27), cell(23, 27)), connected(cell(22, 28), cell(21, 28)), connected(cell(22, 28), cell(22, 27)), connected(cell(22, 28), cell(22, 29)), connected(cell(22, 28), cell(23, 28)), connected(cell(22, 29), cell(21, 29)), connected(cell(22, 29), cell(22, 28)), connected(cell(22, 29), cell(22, 30)), connected(cell(22, 29), cell(23, 29)), connected(cell(22, 30), cell(21, 30)), connected(cell(22, 30), cell(22, 29)), connected(cell(22, 30), cell(22, 31)), connected(cell(22, 30), cell(23, 30)), connected(cell(22, 31), cell(21, 31)), connected(cell(22, 31), cell(22, 30)), connected(cell(22, 31), cell(22, 32)), connected(cell(22, 31), cell(23, 31)), connected(cell(22, 32), cell(21, 32)), connected(cell(22, 32), cell(22, 31)), connected(cell(22, 32), cell(23, 32)), connected(cell(23, 1), cell(22, 1)), connected(cell(23, 1), cell(23, 2)), connected(cell(23, 1), cell(24, 1)), connected(cell(23, 2), cell(22, 2)), connected(cell(23, 2), cell(23, 1)), connected(cell(23, 2), cell(23, 3)), connected(cell(23, 2), cell(24, 2)), connected(cell(23, 3), cell(22, 3)), connected(cell(23, 3), cell(23, 2)), connected(cell(23, 3), cell(23, 4)), connected(cell(23, 3), cell(24, 3)), connected(cell(23, 4), cell(22, 4)), connected(cell(23, 4), cell(23, 3)), connected(cell(23, 4), cell(23, 5)), connected(cell(23, 4), cell(24, 4)), connected(cell(23, 5), cell(22, 5)), connected(cell(23, 5), cell(23, 4)), connected(cell(23, 5), cell(23, 6)), connected(cell(23, 5), cell(24, 5)), connected(cell(23, 6), cell(22, 6)), connected(cell(23, 6), cell(23, 5)), connected(cell(23, 6), cell(23, 7)), connected(cell(23, 6), cell(24, 6)), connected(cell(23, 7), cell(22, 7)), connected(cell(23, 7), cell(23, 6)), connected(cell(23, 7), cell(23, 8)), connected(cell(23, 7), cell(24, 7)), connected(cell(23, 8), cell(22, 8)), connected(cell(23, 8), cell(23, 7)), connected(cell(23, 8), cell(23, 9)), connected(cell(23, 8), cell(24, 8)), connected(cell(23, 9), cell(22, 9)), connected(cell(23, 9), cell(23, 8)), connected(cell(23, 9), cell(23, 10)), connected(cell(23, 9), cell(24, 9)), connected(cell(23, 10), cell(22, 10)), connected(cell(23, 10), cell(23, 9)), connected(cell(23, 10), cell(23, 11)), connected(cell(23, 10), cell(24, 10)), connected(cell(23, 11), cell(22, 11)), connected(cell(23, 11), cell(23, 10)), connected(cell(23, 11), cell(23, 12)), connected(cell(23, 11), cell(24, 11)), connected(cell(23, 12), cell(22, 12)), connected(cell(23, 12), cell(23, 11)), connected(cell(23, 12), cell(23, 13)), connected(cell(23, 12), cell(24, 12)), connected(cell(23, 13), cell(22, 13)), connected(cell(23, 13), cell(23, 12)), connected(cell(23, 13), cell(23, 14)), connected(cell(23, 13), cell(24, 13)), connected(cell(23, 14), cell(22, 14)), connected(cell(23, 14), cell(23, 13)), connected(cell(23, 14), cell(23, 15)), connected(cell(23, 14), cell(24, 14)), connected(cell(23, 15), cell(22, 15)), connected(cell(23, 15), cell(23, 14)), connected(cell(23, 15), cell(23, 16)), connected(cell(23, 15), cell(24, 15)), connected(cell(23, 16), cell(22, 16)), connected(cell(23, 16), cell(23, 15)), connected(cell(23, 16), cell(23, 17)), connected(cell(23, 16), cell(24, 16)), connected(cell(23, 17), cell(22, 17)), connected(cell(23, 17), cell(23, 16)), connected(cell(23, 17), cell(23, 18)), connected(cell(23, 17), cell(24, 17)), connected(cell(23, 18), cell(22, 18)), connected(cell(23, 18), cell(23, 17)), connected(cell(23, 18), cell(23, 19)), connected(cell(23, 18), cell(24, 18)), connected(cell(23, 19), cell(22, 19)), connected(cell(23, 19), cell(23, 18)), connected(cell(23, 19), cell(23, 20)), connected(cell(23, 19), cell(24, 19)), connected(cell(23, 20), cell(22, 20)), connected(cell(23, 20), cell(23, 19)), connected(cell(23, 20), cell(23, 21)), connected(cell(23, 20), cell(24, 20)), connected(cell(23, 21), cell(22, 21)), connected(cell(23, 21), cell(23, 20)), connected(cell(23, 21), cell(23, 22)), connected(cell(23, 21), cell(24, 21)), connected(cell(23, 22), cell(22, 22)), connected(cell(23, 22), cell(23, 21)), connected(cell(23, 22), cell(23, 23)), connected(cell(23, 22), cell(24, 22)), connected(cell(23, 23), cell(22, 23)), connected(cell(23, 23), cell(23, 22)), connected(cell(23, 23), cell(23, 24)), connected(cell(23, 23), cell(24, 23)), connected(cell(23, 24), cell(22, 24)), connected(cell(23, 24), cell(23, 23)), connected(cell(23, 24), cell(23, 25)), connected(cell(23, 24), cell(24, 24)), connected(cell(23, 25), cell(22, 25)), connected(cell(23, 25), cell(23, 24)), connected(cell(23, 25), cell(23, 26)), connected(cell(23, 25), cell(24, 25)), connected(cell(23, 26), cell(22, 26)), connected(cell(23, 26), cell(23, 25)), connected(cell(23, 26), cell(23, 27)), connected(cell(23, 26), cell(24, 26)), connected(cell(23, 27), cell(22, 27)), connected(cell(23, 27), cell(23, 26)), connected(cell(23, 27), cell(23, 28)), connected(cell(23, 27), cell(24, 27)), connected(cell(23, 28), cell(22, 28)), connected(cell(23, 28), cell(23, 27)), connected(cell(23, 28), cell(23, 29)), connected(cell(23, 28), cell(24, 28)), connected(cell(23, 29), cell(22, 29)), connected(cell(23, 29), cell(23, 28)), connected(cell(23, 29), cell(23, 30)), connected(cell(23, 29), cell(24, 29)), connected(cell(23, 30), cell(22, 30)), connected(cell(23, 30), cell(23, 29)), connected(cell(23, 30), cell(23, 31)), connected(cell(23, 30), cell(24, 30)), connected(cell(23, 31), cell(22, 31)), connected(cell(23, 31), cell(23, 30)), connected(cell(23, 31), cell(23, 32)), connected(cell(23, 31), cell(24, 31)), connected(cell(23, 32), cell(22, 32)), connected(cell(23, 32), cell(23, 31)), connected(cell(23, 32), cell(24, 32)), connected(cell(24, 1), cell(23, 1)), connected(cell(24, 1), cell(24, 2)), connected(cell(24, 1), cell(25, 1)), connected(cell(24, 2), cell(23, 2)), connected(cell(24, 2), cell(24, 1)), connected(cell(24, 2), cell(24, 3)), connected(cell(24, 2), cell(25, 2)), connected(cell(24, 3), cell(23, 3)), connected(cell(24, 3), cell(24, 2)), connected(cell(24, 3), cell(24, 4)), connected(cell(24, 3), cell(25, 3)), connected(cell(24, 4), cell(23, 4)), connected(cell(24, 4), cell(24, 3)), connected(cell(24, 4), cell(24, 5)), connected(cell(24, 4), cell(25, 4)), connected(cell(24, 5), cell(23, 5)), connected(cell(24, 5), cell(24, 4)), connected(cell(24, 5), cell(24, 6)), connected(cell(24, 5), cell(25, 5)), connected(cell(24, 6), cell(23, 6)), connected(cell(24, 6), cell(24, 5)), connected(cell(24, 6), cell(24, 7)), connected(cell(24, 6), cell(25, 6)), connected(cell(24, 7), cell(23, 7)), connected(cell(24, 7), cell(24, 6)), connected(cell(24, 7), cell(24, 8)), connected(cell(24, 7), cell(25, 7)), connected(cell(24, 8), cell(23, 8)), connected(cell(24, 8), cell(24, 7)), connected(cell(24, 8), cell(24, 9)), connected(cell(24, 8), cell(25, 8)), connected(cell(24, 9), cell(23, 9)), connected(cell(24, 9), cell(24, 8)), connected(cell(24, 9), cell(24, 10)), connected(cell(24, 9), cell(25, 9)), connected(cell(24, 10), cell(23, 10)), connected(cell(24, 10), cell(24, 9)), connected(cell(24, 10), cell(24, 11)), connected(cell(24, 10), cell(25, 10)), connected(cell(24, 11), cell(23, 11)), connected(cell(24, 11), cell(24, 10)), connected(cell(24, 11), cell(24, 12)), connected(cell(24, 11), cell(25, 11)), connected(cell(24, 12), cell(23, 12)), connected(cell(24, 12), cell(24, 11)), connected(cell(24, 12), cell(24, 13)), connected(cell(24, 12), cell(25, 12)), connected(cell(24, 13), cell(23, 13)), connected(cell(24, 13), cell(24, 12)), connected(cell(24, 13), cell(24, 14)), connected(cell(24, 13), cell(25, 13)), connected(cell(24, 14), cell(23, 14)), connected(cell(24, 14), cell(24, 13)), connected(cell(24, 14), cell(24, 15)), connected(cell(24, 14), cell(25, 14)), connected(cell(24, 15), cell(23, 15)), connected(cell(24, 15), cell(24, 14)), connected(cell(24, 15), cell(24, 16)), connected(cell(24, 15), cell(25, 15)), connected(cell(24, 16), cell(23, 16)), connected(cell(24, 16), cell(24, 15)), connected(cell(24, 16), cell(24, 17)), connected(cell(24, 16), cell(25, 16)), connected(cell(24, 17), cell(23, 17)), connected(cell(24, 17), cell(24, 16)), connected(cell(24, 17), cell(24, 18)), connected(cell(24, 17), cell(25, 17)), connected(cell(24, 18), cell(23, 18)), connected(cell(24, 18), cell(24, 17)), connected(cell(24, 18), cell(24, 19)), connected(cell(24, 18), cell(25, 18)), connected(cell(24, 19), cell(23, 19)), connected(cell(24, 19), cell(24, 18)), connected(cell(24, 19), cell(24, 20)), connected(cell(24, 19), cell(25, 19)), connected(cell(24, 20), cell(23, 20)), connected(cell(24, 20), cell(24, 19)), connected(cell(24, 20), cell(24, 21)), connected(cell(24, 20), cell(25, 20)), connected(cell(24, 21), cell(23, 21)), connected(cell(24, 21), cell(24, 20)), connected(cell(24, 21), cell(24, 22)), connected(cell(24, 21), cell(25, 21)), connected(cell(24, 22), cell(23, 22)), connected(cell(24, 22), cell(24, 21)), connected(cell(24, 22), cell(24, 23)), connected(cell(24, 22), cell(25, 22)), connected(cell(24, 23), cell(23, 23)), connected(cell(24, 23), cell(24, 22)), connected(cell(24, 23), cell(24, 24)), connected(cell(24, 23), cell(25, 23)), connected(cell(24, 24), cell(23, 24)), connected(cell(24, 24), cell(24, 23)), connected(cell(24, 24), cell(24, 25)), connected(cell(24, 24), cell(25, 24)), connected(cell(24, 25), cell(23, 25)), connected(cell(24, 25), cell(24, 24)), connected(cell(24, 25), cell(24, 26)), connected(cell(24, 25), cell(25, 25)), connected(cell(24, 26), cell(23, 26)), connected(cell(24, 26), cell(24, 25)), connected(cell(24, 26), cell(24, 27)), connected(cell(24, 26), cell(25, 26)), connected(cell(24, 27), cell(23, 27)), connected(cell(24, 27), cell(24, 26)), connected(cell(24, 27), cell(24, 28)), connected(cell(24, 27), cell(25, 27)), connected(cell(24, 28), cell(23, 28)), connected(cell(24, 28), cell(24, 27)), connected(cell(24, 28), cell(24, 29)), connected(cell(24, 28), cell(25, 28)), connected(cell(24, 29), cell(23, 29)), connected(cell(24, 29), cell(24, 28)), connected(cell(24, 29), cell(24, 30)), connected(cell(24, 29), cell(25, 29)), connected(cell(24, 30), cell(23, 30)), connected(cell(24, 30), cell(24, 29)), connected(cell(24, 30), cell(24, 31)), connected(cell(24, 30), cell(25, 30)), connected(cell(24, 31), cell(23, 31)), connected(cell(24, 31), cell(24, 30)), connected(cell(24, 31), cell(24, 32)), connected(cell(24, 31), cell(25, 31)), connected(cell(24, 32), cell(23, 32)), connected(cell(24, 32), cell(24, 31)), connected(cell(24, 32), cell(25, 32)), connected(cell(25, 1), cell(24, 1)), connected(cell(25, 1), cell(25, 2)), connected(cell(25, 1), cell(26, 1)), connected(cell(25, 2), cell(24, 2)), connected(cell(25, 2), cell(25, 1)), connected(cell(25, 2), cell(25, 3)), connected(cell(25, 2), cell(26, 2)), connected(cell(25, 3), cell(24, 3)), connected(cell(25, 3), cell(25, 2)), connected(cell(25, 3), cell(25, 4)), connected(cell(25, 3), cell(26, 3)), connected(cell(25, 4), cell(24, 4)), connected(cell(25, 4), cell(25, 3)), connected(cell(25, 4), cell(25, 5)), connected(cell(25, 4), cell(26, 4)), connected(cell(25, 5), cell(24, 5)), connected(cell(25, 5), cell(25, 4)), connected(cell(25, 5), cell(25, 6)), connected(cell(25, 5), cell(26, 5)), connected(cell(25, 6), cell(24, 6)), connected(cell(25, 6), cell(25, 5)), connected(cell(25, 6), cell(25, 7)), connected(cell(25, 6), cell(26, 6)), connected(cell(25, 7), cell(24, 7)), connected(cell(25, 7), cell(25, 6)), connected(cell(25, 7), cell(25, 8)), connected(cell(25, 7), cell(26, 7)), connected(cell(25, 8), cell(24, 8)), connected(cell(25, 8), cell(25, 7)), connected(cell(25, 8), cell(25, 9)), connected(cell(25, 8), cell(26, 8)), connected(cell(25, 9), cell(24, 9)), connected(cell(25, 9), cell(25, 8)), connected(cell(25, 9), cell(25, 10)), connected(cell(25, 9), cell(26, 9)), connected(cell(25, 10), cell(24, 10)), connected(cell(25, 10), cell(25, 9)), connected(cell(25, 10), cell(25, 11)), connected(cell(25, 10), cell(26, 10)), connected(cell(25, 11), cell(24, 11)), connected(cell(25, 11), cell(25, 10)), connected(cell(25, 11), cell(25, 12)), connected(cell(25, 11), cell(26, 11)), connected(cell(25, 12), cell(24, 12)), connected(cell(25, 12), cell(25, 11)), connected(cell(25, 12), cell(25, 13)), connected(cell(25, 12), cell(26, 12)), connected(cell(25, 13), cell(24, 13)), connected(cell(25, 13), cell(25, 12)), connected(cell(25, 13), cell(25, 14)), connected(cell(25, 13), cell(26, 13)), connected(cell(25, 14), cell(24, 14)), connected(cell(25, 14), cell(25, 13)), connected(cell(25, 14), cell(25, 15)), connected(cell(25, 14), cell(26, 14)), connected(cell(25, 15), cell(24, 15)), connected(cell(25, 15), cell(25, 14)), connected(cell(25, 15), cell(25, 16)), connected(cell(25, 15), cell(26, 15)), connected(cell(25, 16), cell(24, 16)), connected(cell(25, 16), cell(25, 15)), connected(cell(25, 16), cell(25, 17)), connected(cell(25, 16), cell(26, 16)), connected(cell(25, 17), cell(24, 17)), connected(cell(25, 17), cell(25, 16)), connected(cell(25, 17), cell(25, 18)), connected(cell(25, 17), cell(26, 17)), connected(cell(25, 18), cell(24, 18)), connected(cell(25, 18), cell(25, 17)), connected(cell(25, 18), cell(25, 19)), connected(cell(25, 18), cell(26, 18)), connected(cell(25, 19), cell(24, 19)), connected(cell(25, 19), cell(25, 18)), connected(cell(25, 19), cell(25, 20)), connected(cell(25, 19), cell(26, 19)), connected(cell(25, 20), cell(24, 20)), connected(cell(25, 20), cell(25, 19)), connected(cell(25, 20), cell(25, 21)), connected(cell(25, 20), cell(26, 20)), connected(cell(25, 21), cell(24, 21)), connected(cell(25, 21), cell(25, 20)), connected(cell(25, 21), cell(25, 22)), connected(cell(25, 21), cell(26, 21)), connected(cell(25, 22), cell(24, 22)), connected(cell(25, 22), cell(25, 21)), connected(cell(25, 22), cell(25, 23)), connected(cell(25, 22), cell(26, 22)), connected(cell(25, 23), cell(24, 23)), connected(cell(25, 23), cell(25, 22)), connected(cell(25, 23), cell(25, 24)), connected(cell(25, 23), cell(26, 23)), connected(cell(25, 24), cell(24, 24)), connected(cell(25, 24), cell(25, 23)), connected(cell(25, 24), cell(25, 25)), connected(cell(25, 24), cell(26, 24)), connected(cell(25, 25), cell(24, 25)), connected(cell(25, 25), cell(25, 24)), connected(cell(25, 25), cell(25, 26)), connected(cell(25, 25), cell(26, 25)), connected(cell(25, 26), cell(24, 26)), connected(cell(25, 26), cell(25, 25)), connected(cell(25, 26), cell(25, 27)), connected(cell(25, 26), cell(26, 26)), connected(cell(25, 27), cell(24, 27)), connected(cell(25, 27), cell(25, 26)), connected(cell(25, 27), cell(25, 28)), connected(cell(25, 27), cell(26, 27)), connected(cell(25, 28), cell(24, 28)), connected(cell(25, 28), cell(25, 27)), connected(cell(25, 28), cell(25, 29)), connected(cell(25, 28), cell(26, 28)), connected(cell(25, 29), cell(24, 29)), connected(cell(25, 29), cell(25, 28)), connected(cell(25, 29), cell(25, 30)), connected(cell(25, 29), cell(26, 29)), connected(cell(25, 30), cell(24, 30)), connected(cell(25, 30), cell(25, 29)), connected(cell(25, 30), cell(25, 31)), connected(cell(25, 30), cell(26, 30)), connected(cell(25, 31), cell(24, 31)), connected(cell(25, 31), cell(25, 30)), connected(cell(25, 31), cell(25, 32)), connected(cell(25, 31), cell(26, 31)), connected(cell(25, 32), cell(24, 32)), connected(cell(25, 32), cell(25, 31)), connected(cell(25, 32), cell(26, 32)), connected(cell(26, 1), cell(25, 1)), connected(cell(26, 1), cell(26, 2)), connected(cell(26, 1), cell(27, 1)), connected(cell(26, 2), cell(25, 2)), connected(cell(26, 2), cell(26, 1)), connected(cell(26, 2), cell(26, 3)), connected(cell(26, 2), cell(27, 2)), connected(cell(26, 3), cell(25, 3)), connected(cell(26, 3), cell(26, 2)), connected(cell(26, 3), cell(26, 4)), connected(cell(26, 3), cell(27, 3)), connected(cell(26, 4), cell(25, 4)), connected(cell(26, 4), cell(26, 3)), connected(cell(26, 4), cell(26, 5)), connected(cell(26, 4), cell(27, 4)), connected(cell(26, 5), cell(25, 5)), connected(cell(26, 5), cell(26, 4)), connected(cell(26, 5), cell(26, 6)), connected(cell(26, 5), cell(27, 5)), connected(cell(26, 6), cell(25, 6)), connected(cell(26, 6), cell(26, 5)), connected(cell(26, 6), cell(26, 7)), connected(cell(26, 6), cell(27, 6)), connected(cell(26, 7), cell(25, 7)), connected(cell(26, 7), cell(26, 6)), connected(cell(26, 7), cell(26, 8)), connected(cell(26, 7), cell(27, 7)), connected(cell(26, 8), cell(25, 8)), connected(cell(26, 8), cell(26, 7)), connected(cell(26, 8), cell(26, 9)), connected(cell(26, 8), cell(27, 8)), connected(cell(26, 9), cell(25, 9)), connected(cell(26, 9), cell(26, 8)), connected(cell(26, 9), cell(26, 10)), connected(cell(26, 9), cell(27, 9)), connected(cell(26, 10), cell(25, 10)), connected(cell(26, 10), cell(26, 9)), connected(cell(26, 10), cell(26, 11)), connected(cell(26, 10), cell(27, 10)), connected(cell(26, 11), cell(25, 11)), connected(cell(26, 11), cell(26, 10)), connected(cell(26, 11), cell(26, 12)), connected(cell(26, 11), cell(27, 11)), connected(cell(26, 12), cell(25, 12)), connected(cell(26, 12), cell(26, 11)), connected(cell(26, 12), cell(26, 13)), connected(cell(26, 12), cell(27, 12)), connected(cell(26, 13), cell(25, 13)), connected(cell(26, 13), cell(26, 12)), connected(cell(26, 13), cell(26, 14)), connected(cell(26, 13), cell(27, 13)), connected(cell(26, 14), cell(25, 14)), connected(cell(26, 14), cell(26, 13)), connected(cell(26, 14), cell(26, 15)), connected(cell(26, 14), cell(27, 14)), connected(cell(26, 15), cell(25, 15)), connected(cell(26, 15), cell(26, 14)), connected(cell(26, 15), cell(26, 16)), connected(cell(26, 15), cell(27, 15)), connected(cell(26, 16), cell(25, 16)), connected(cell(26, 16), cell(26, 15)), connected(cell(26, 16), cell(26, 17)), connected(cell(26, 16), cell(27, 16)), connected(cell(26, 17), cell(25, 17)), connected(cell(26, 17), cell(26, 16)), connected(cell(26, 17), cell(26, 18)), connected(cell(26, 17), cell(27, 17)), connected(cell(26, 18), cell(25, 18)), connected(cell(26, 18), cell(26, 17)), connected(cell(26, 18), cell(26, 19)), connected(cell(26, 18), cell(27, 18)), connected(cell(26, 19), cell(25, 19)), connected(cell(26, 19), cell(26, 18)), connected(cell(26, 19), cell(26, 20)), connected(cell(26, 19), cell(27, 19)), connected(cell(26, 20), cell(25, 20)), connected(cell(26, 20), cell(26, 19)), connected(cell(26, 20), cell(26, 21)), connected(cell(26, 20), cell(27, 20)), connected(cell(26, 21), cell(25, 21)), connected(cell(26, 21), cell(26, 20)), connected(cell(26, 21), cell(26, 22)), connected(cell(26, 21), cell(27, 21)), connected(cell(26, 22), cell(25, 22)), connected(cell(26, 22), cell(26, 21)), connected(cell(26, 22), cell(26, 23)), connected(cell(26, 22), cell(27, 22)), connected(cell(26, 23), cell(25, 23)), connected(cell(26, 23), cell(26, 22)), connected(cell(26, 23), cell(26, 24)), connected(cell(26, 23), cell(27, 23)), connected(cell(26, 24), cell(25, 24)), connected(cell(26, 24), cell(26, 23)), connected(cell(26, 24), cell(26, 25)), connected(cell(26, 24), cell(27, 24)), connected(cell(26, 25), cell(25, 25)), connected(cell(26, 25), cell(26, 24)), connected(cell(26, 25), cell(26, 26)), connected(cell(26, 25), cell(27, 25)), connected(cell(26, 26), cell(25, 26)), connected(cell(26, 26), cell(26, 25)), connected(cell(26, 26), cell(26, 27)), connected(cell(26, 26), cell(27, 26)), connected(cell(26, 27), cell(25, 27)), connected(cell(26, 27), cell(26, 26)), connected(cell(26, 27), cell(26, 28)), connected(cell(26, 27), cell(27, 27)), connected(cell(26, 28), cell(25, 28)), connected(cell(26, 28), cell(26, 27)), connected(cell(26, 28), cell(26, 29)), connected(cell(26, 28), cell(27, 28)), connected(cell(26, 29), cell(25, 29)), connected(cell(26, 29), cell(26, 28)), connected(cell(26, 29), cell(26, 30)), connected(cell(26, 29), cell(27, 29)), connected(cell(26, 30), cell(25, 30)), connected(cell(26, 30), cell(26, 29)), connected(cell(26, 30), cell(26, 31)), connected(cell(26, 30), cell(27, 30)), connected(cell(26, 31), cell(25, 31)), connected(cell(26, 31), cell(26, 30)), connected(cell(26, 31), cell(26, 32)), connected(cell(26, 31), cell(27, 31)), connected(cell(26, 32), cell(25, 32)), connected(cell(26, 32), cell(26, 31)), connected(cell(26, 32), cell(27, 32)), connected(cell(27, 1), cell(26, 1)), connected(cell(27, 1), cell(27, 2)), connected(cell(27, 1), cell(28, 1)), connected(cell(27, 2), cell(26, 2)), connected(cell(27, 2), cell(27, 1)), connected(cell(27, 2), cell(27, 3)), connected(cell(27, 2), cell(28, 2)), connected(cell(27, 3), cell(26, 3)), connected(cell(27, 3), cell(27, 2)), connected(cell(27, 3), cell(27, 4)), connected(cell(27, 3), cell(28, 3)), connected(cell(27, 4), cell(26, 4)), connected(cell(27, 4), cell(27, 3)), connected(cell(27, 4), cell(27, 5)), connected(cell(27, 4), cell(28, 4)), connected(cell(27, 5), cell(26, 5)), connected(cell(27, 5), cell(27, 4)), connected(cell(27, 5), cell(27, 6)), connected(cell(27, 5), cell(28, 5)), connected(cell(27, 6), cell(26, 6)), connected(cell(27, 6), cell(27, 5)), connected(cell(27, 6), cell(27, 7)), connected(cell(27, 6), cell(28, 6)), connected(cell(27, 7), cell(26, 7)), connected(cell(27, 7), cell(27, 6)), connected(cell(27, 7), cell(27, 8)), connected(cell(27, 7), cell(28, 7)), connected(cell(27, 8), cell(26, 8)), connected(cell(27, 8), cell(27, 7)), connected(cell(27, 8), cell(27, 9)), connected(cell(27, 8), cell(28, 8)), connected(cell(27, 9), cell(26, 9)), connected(cell(27, 9), cell(27, 8)), connected(cell(27, 9), cell(27, 10)), connected(cell(27, 9), cell(28, 9)), connected(cell(27, 10), cell(26, 10)), connected(cell(27, 10), cell(27, 9)), connected(cell(27, 10), cell(27, 11)), connected(cell(27, 10), cell(28, 10)), connected(cell(27, 11), cell(26, 11)), connected(cell(27, 11), cell(27, 10)), connected(cell(27, 11), cell(27, 12)), connected(cell(27, 11), cell(28, 11)), connected(cell(27, 12), cell(26, 12)), connected(cell(27, 12), cell(27, 11)), connected(cell(27, 12), cell(27, 13)), connected(cell(27, 12), cell(28, 12)), connected(cell(27, 13), cell(26, 13)), connected(cell(27, 13), cell(27, 12)), connected(cell(27, 13), cell(27, 14)), connected(cell(27, 13), cell(28, 13)), connected(cell(27, 14), cell(26, 14)), connected(cell(27, 14), cell(27, 13)), connected(cell(27, 14), cell(27, 15)), connected(cell(27, 14), cell(28, 14)), connected(cell(27, 15), cell(26, 15)), connected(cell(27, 15), cell(27, 14)), connected(cell(27, 15), cell(27, 16)), connected(cell(27, 15), cell(28, 15)), connected(cell(27, 16), cell(26, 16)), connected(cell(27, 16), cell(27, 15)), connected(cell(27, 16), cell(27, 17)), connected(cell(27, 16), cell(28, 16)), connected(cell(27, 17), cell(26, 17)), connected(cell(27, 17), cell(27, 16)), connected(cell(27, 17), cell(27, 18)), connected(cell(27, 17), cell(28, 17)), connected(cell(27, 18), cell(26, 18)), connected(cell(27, 18), cell(27, 17)), connected(cell(27, 18), cell(27, 19)), connected(cell(27, 18), cell(28, 18)), connected(cell(27, 19), cell(26, 19)), connected(cell(27, 19), cell(27, 18)), connected(cell(27, 19), cell(27, 20)), connected(cell(27, 19), cell(28, 19)), connected(cell(27, 20), cell(26, 20)), connected(cell(27, 20), cell(27, 19)), connected(cell(27, 20), cell(27, 21)), connected(cell(27, 20), cell(28, 20)), connected(cell(27, 21), cell(26, 21)), connected(cell(27, 21), cell(27, 20)), connected(cell(27, 21), cell(27, 22)), connected(cell(27, 21), cell(28, 21)), connected(cell(27, 22), cell(26, 22)), connected(cell(27, 22), cell(27, 21)), connected(cell(27, 22), cell(27, 23)), connected(cell(27, 22), cell(28, 22)), connected(cell(27, 23), cell(26, 23)), connected(cell(27, 23), cell(27, 22)), connected(cell(27, 23), cell(27, 24)), connected(cell(27, 23), cell(28, 23)), connected(cell(27, 24), cell(26, 24)), connected(cell(27, 24), cell(27, 23)), connected(cell(27, 24), cell(27, 25)), connected(cell(27, 24), cell(28, 24)), connected(cell(27, 25), cell(26, 25)), connected(cell(27, 25), cell(27, 24)), connected(cell(27, 25), cell(27, 26)), connected(cell(27, 25), cell(28, 25)), connected(cell(27, 26), cell(26, 26)), connected(cell(27, 26), cell(27, 25)), connected(cell(27, 26), cell(27, 27)), connected(cell(27, 26), cell(28, 26)), connected(cell(27, 27), cell(26, 27)), connected(cell(27, 27), cell(27, 26)), connected(cell(27, 27), cell(27, 28)), connected(cell(27, 27), cell(28, 27)), connected(cell(27, 28), cell(26, 28)), connected(cell(27, 28), cell(27, 27)), connected(cell(27, 28), cell(27, 29)), connected(cell(27, 28), cell(28, 28)), connected(cell(27, 29), cell(26, 29)), connected(cell(27, 29), cell(27, 28)), connected(cell(27, 29), cell(27, 30)), connected(cell(27, 29), cell(28, 29)), connected(cell(27, 30), cell(26, 30)), connected(cell(27, 30), cell(27, 29)), connected(cell(27, 30), cell(27, 31)), connected(cell(27, 30), cell(28, 30)), connected(cell(27, 31), cell(26, 31)), connected(cell(27, 31), cell(27, 30)), connected(cell(27, 31), cell(27, 32)), connected(cell(27, 31), cell(28, 31)), connected(cell(27, 32), cell(26, 32)), connected(cell(27, 32), cell(27, 31)), connected(cell(27, 32), cell(28, 32)), connected(cell(28, 1), cell(27, 1)), connected(cell(28, 1), cell(28, 2)), connected(cell(28, 1), cell(29, 1)), connected(cell(28, 2), cell(27, 2)), connected(cell(28, 2), cell(28, 1)), connected(cell(28, 2), cell(28, 3)), connected(cell(28, 2), cell(29, 2)), connected(cell(28, 3), cell(27, 3)), connected(cell(28, 3), cell(28, 2)), connected(cell(28, 3), cell(28, 4)), connected(cell(28, 3), cell(29, 3)), connected(cell(28, 4), cell(27, 4)), connected(cell(28, 4), cell(28, 3)), connected(cell(28, 4), cell(28, 5)), connected(cell(28, 4), cell(29, 4)), connected(cell(28, 5), cell(27, 5)), connected(cell(28, 5), cell(28, 4)), connected(cell(28, 5), cell(28, 6)), connected(cell(28, 5), cell(29, 5)), connected(cell(28, 6), cell(27, 6)), connected(cell(28, 6), cell(28, 5)), connected(cell(28, 6), cell(28, 7)), connected(cell(28, 6), cell(29, 6)), connected(cell(28, 7), cell(27, 7)), connected(cell(28, 7), cell(28, 6)), connected(cell(28, 7), cell(28, 8)), connected(cell(28, 7), cell(29, 7)), connected(cell(28, 8), cell(27, 8)), connected(cell(28, 8), cell(28, 7)), connected(cell(28, 8), cell(28, 9)), connected(cell(28, 8), cell(29, 8)), connected(cell(28, 9), cell(27, 9)), connected(cell(28, 9), cell(28, 8)), connected(cell(28, 9), cell(28, 10)), connected(cell(28, 9), cell(29, 9)), connected(cell(28, 10), cell(27, 10)), connected(cell(28, 10), cell(28, 9)), connected(cell(28, 10), cell(28, 11)), connected(cell(28, 10), cell(29, 10)), connected(cell(28, 11), cell(27, 11)), connected(cell(28, 11), cell(28, 10)), connected(cell(28, 11), cell(28, 12)), connected(cell(28, 11), cell(29, 11)), connected(cell(28, 12), cell(27, 12)), connected(cell(28, 12), cell(28, 11)), connected(cell(28, 12), cell(28, 13)), connected(cell(28, 12), cell(29, 12)), connected(cell(28, 13), cell(27, 13)), connected(cell(28, 13), cell(28, 12)), connected(cell(28, 13), cell(28, 14)), connected(cell(28, 13), cell(29, 13)), connected(cell(28, 14), cell(27, 14)), connected(cell(28, 14), cell(28, 13)), connected(cell(28, 14), cell(28, 15)), connected(cell(28, 14), cell(29, 14)), connected(cell(28, 15), cell(27, 15)), connected(cell(28, 15), cell(28, 14)), connected(cell(28, 15), cell(28, 16)), connected(cell(28, 15), cell(29, 15)), connected(cell(28, 16), cell(27, 16)), connected(cell(28, 16), cell(28, 15)), connected(cell(28, 16), cell(28, 17)), connected(cell(28, 16), cell(29, 16)), connected(cell(28, 17), cell(27, 17)), connected(cell(28, 17), cell(28, 16)), connected(cell(28, 17), cell(28, 18)), connected(cell(28, 17), cell(29, 17)), connected(cell(28, 18), cell(27, 18)), connected(cell(28, 18), cell(28, 17)), connected(cell(28, 18), cell(28, 19)), connected(cell(28, 18), cell(29, 18)), connected(cell(28, 19), cell(27, 19)), connected(cell(28, 19), cell(28, 18)), connected(cell(28, 19), cell(28, 20)), connected(cell(28, 19), cell(29, 19)), connected(cell(28, 20), cell(27, 20)), connected(cell(28, 20), cell(28, 19)), connected(cell(28, 20), cell(28, 21)), connected(cell(28, 20), cell(29, 20)), connected(cell(28, 21), cell(27, 21)), connected(cell(28, 21), cell(28, 20)), connected(cell(28, 21), cell(28, 22)), connected(cell(28, 21), cell(29, 21)), connected(cell(28, 22), cell(27, 22)), connected(cell(28, 22), cell(28, 21)), connected(cell(28, 22), cell(28, 23)), connected(cell(28, 22), cell(29, 22)), connected(cell(28, 23), cell(27, 23)), connected(cell(28, 23), cell(28, 22)), connected(cell(28, 23), cell(28, 24)), connected(cell(28, 23), cell(29, 23)), connected(cell(28, 24), cell(27, 24)), connected(cell(28, 24), cell(28, 23)), connected(cell(28, 24), cell(28, 25)), connected(cell(28, 24), cell(29, 24)), connected(cell(28, 25), cell(27, 25)), connected(cell(28, 25), cell(28, 24)), connected(cell(28, 25), cell(28, 26)), connected(cell(28, 25), cell(29, 25)), connected(cell(28, 26), cell(27, 26)), connected(cell(28, 26), cell(28, 25)), connected(cell(28, 26), cell(28, 27)), connected(cell(28, 26), cell(29, 26)), connected(cell(28, 27), cell(27, 27)), connected(cell(28, 27), cell(28, 26)), connected(cell(28, 27), cell(28, 28)), connected(cell(28, 27), cell(29, 27)), connected(cell(28, 28), cell(27, 28)), connected(cell(28, 28), cell(28, 27)), connected(cell(28, 28), cell(28, 29)), connected(cell(28, 28), cell(29, 28)), connected(cell(28, 29), cell(27, 29)), connected(cell(28, 29), cell(28, 28)), connected(cell(28, 29), cell(28, 30)), connected(cell(28, 29), cell(29, 29)), connected(cell(28, 30), cell(27, 30)), connected(cell(28, 30), cell(28, 29)), connected(cell(28, 30), cell(28, 31)), connected(cell(28, 30), cell(29, 30)), connected(cell(28, 31), cell(27, 31)), connected(cell(28, 31), cell(28, 30)), connected(cell(28, 31), cell(28, 32)), connected(cell(28, 31), cell(29, 31)), connected(cell(28, 32), cell(27, 32)), connected(cell(28, 32), cell(28, 31)), connected(cell(28, 32), cell(29, 32)), connected(cell(29, 1), cell(28, 1)), connected(cell(29, 1), cell(29, 2)), connected(cell(29, 1), cell(30, 1)), connected(cell(29, 2), cell(28, 2)), connected(cell(29, 2), cell(29, 1)), connected(cell(29, 2), cell(29, 3)), connected(cell(29, 2), cell(30, 2)), connected(cell(29, 3), cell(28, 3)), connected(cell(29, 3), cell(29, 2)), connected(cell(29, 3), cell(29, 4)), connected(cell(29, 3), cell(30, 3)), connected(cell(29, 4), cell(28, 4)), connected(cell(29, 4), cell(29, 3)), connected(cell(29, 4), cell(29, 5)), connected(cell(29, 4), cell(30, 4)), connected(cell(29, 5), cell(28, 5)), connected(cell(29, 5), cell(29, 4)), connected(cell(29, 5), cell(29, 6)), connected(cell(29, 5), cell(30, 5)), connected(cell(29, 6), cell(28, 6)), connected(cell(29, 6), cell(29, 5)), connected(cell(29, 6), cell(29, 7)), connected(cell(29, 6), cell(30, 6)), connected(cell(29, 7), cell(28, 7)), connected(cell(29, 7), cell(29, 6)), connected(cell(29, 7), cell(29, 8)), connected(cell(29, 7), cell(30, 7)), connected(cell(29, 8), cell(28, 8)), connected(cell(29, 8), cell(29, 7)), connected(cell(29, 8), cell(29, 9)), connected(cell(29, 8), cell(30, 8)), connected(cell(29, 9), cell(28, 9)), connected(cell(29, 9), cell(29, 8)), connected(cell(29, 9), cell(29, 10)), connected(cell(29, 9), cell(30, 9)), connected(cell(29, 10), cell(28, 10)), connected(cell(29, 10), cell(29, 9)), connected(cell(29, 10), cell(29, 11)), connected(cell(29, 10), cell(30, 10)), connected(cell(29, 11), cell(28, 11)), connected(cell(29, 11), cell(29, 10)), connected(cell(29, 11), cell(29, 12)), connected(cell(29, 11), cell(30, 11)), connected(cell(29, 12), cell(28, 12)), connected(cell(29, 12), cell(29, 11)), connected(cell(29, 12), cell(29, 13)), connected(cell(29, 12), cell(30, 12)), connected(cell(29, 13), cell(28, 13)), connected(cell(29, 13), cell(29, 12)), connected(cell(29, 13), cell(29, 14)), connected(cell(29, 13), cell(30, 13)), connected(cell(29, 14), cell(28, 14)), connected(cell(29, 14), cell(29, 13)), connected(cell(29, 14), cell(29, 15)), connected(cell(29, 14), cell(30, 14)), connected(cell(29, 15), cell(28, 15)), connected(cell(29, 15), cell(29, 14)), connected(cell(29, 15), cell(29, 16)), connected(cell(29, 15), cell(30, 15)), connected(cell(29, 16), cell(28, 16)), connected(cell(29, 16), cell(29, 15)), connected(cell(29, 16), cell(29, 17)), connected(cell(29, 16), cell(30, 16)), connected(cell(29, 17), cell(28, 17)), connected(cell(29, 17), cell(29, 16)), connected(cell(29, 17), cell(29, 18)), connected(cell(29, 17), cell(30, 17)), connected(cell(29, 18), cell(28, 18)), connected(cell(29, 18), cell(29, 17)), connected(cell(29, 18), cell(29, 19)), connected(cell(29, 18), cell(30, 18)), connected(cell(29, 19), cell(28, 19)), connected(cell(29, 19), cell(29, 18)), connected(cell(29, 19), cell(29, 20)), connected(cell(29, 19), cell(30, 19)), connected(cell(29, 20), cell(28, 20)), connected(cell(29, 20), cell(29, 19)), connected(cell(29, 20), cell(29, 21)), connected(cell(29, 20), cell(30, 20)), connected(cell(29, 21), cell(28, 21)), connected(cell(29, 21), cell(29, 20)), connected(cell(29, 21), cell(29, 22)), connected(cell(29, 21), cell(30, 21)), connected(cell(29, 22), cell(28, 22)), connected(cell(29, 22), cell(29, 21)), connected(cell(29, 22), cell(29, 23)), connected(cell(29, 22), cell(30, 22)), connected(cell(29, 23), cell(28, 23)), connected(cell(29, 23), cell(29, 22)), connected(cell(29, 23), cell(29, 24)), connected(cell(29, 23), cell(30, 23)), connected(cell(29, 24), cell(28, 24)), connected(cell(29, 24), cell(29, 23)), connected(cell(29, 24), cell(29, 25)), connected(cell(29, 24), cell(30, 24)), connected(cell(29, 25), cell(28, 25)), connected(cell(29, 25), cell(29, 24)), connected(cell(29, 25), cell(29, 26)), connected(cell(29, 25), cell(30, 25)), connected(cell(29, 26), cell(28, 26)), connected(cell(29, 26), cell(29, 25)), connected(cell(29, 26), cell(29, 27)), connected(cell(29, 26), cell(30, 26)), connected(cell(29, 27), cell(28, 27)), connected(cell(29, 27), cell(29, 26)), connected(cell(29, 27), cell(29, 28)), connected(cell(29, 27), cell(30, 27)), connected(cell(29, 28), cell(28, 28)), connected(cell(29, 28), cell(29, 27)), connected(cell(29, 28), cell(29, 29)), connected(cell(29, 28), cell(30, 28)), connected(cell(29, 29), cell(28, 29)), connected(cell(29, 29), cell(29, 28)), connected(cell(29, 29), cell(29, 30)), connected(cell(29, 29), cell(30, 29)), connected(cell(29, 30), cell(28, 30)), connected(cell(29, 30), cell(29, 29)), connected(cell(29, 30), cell(29, 31)), connected(cell(29, 30), cell(30, 30)), connected(cell(29, 31), cell(28, 31)), connected(cell(29, 31), cell(29, 30)), connected(cell(29, 31), cell(29, 32)), connected(cell(29, 31), cell(30, 31)), connected(cell(29, 32), cell(28, 32)), connected(cell(29, 32), cell(29, 31)), connected(cell(29, 32), cell(30, 32)), connected(cell(30, 1), cell(29, 1)), connected(cell(30, 1), cell(30, 2)), connected(cell(30, 1), cell(31, 1)), connected(cell(30, 2), cell(29, 2)), connected(cell(30, 2), cell(30, 1)), connected(cell(30, 2), cell(30, 3)), connected(cell(30, 2), cell(31, 2)), connected(cell(30, 3), cell(29, 3)), connected(cell(30, 3), cell(30, 2)), connected(cell(30, 3), cell(30, 4)), connected(cell(30, 3), cell(31, 3)), connected(cell(30, 4), cell(29, 4)), connected(cell(30, 4), cell(30, 3)), connected(cell(30, 4), cell(30, 5)), connected(cell(30, 4), cell(31, 4)), connected(cell(30, 5), cell(29, 5)), connected(cell(30, 5), cell(30, 4)), connected(cell(30, 5), cell(30, 6)), connected(cell(30, 5), cell(31, 5)), connected(cell(30, 6), cell(29, 6)), connected(cell(30, 6), cell(30, 5)), connected(cell(30, 6), cell(30, 7)), connected(cell(30, 6), cell(31, 6)), connected(cell(30, 7), cell(29, 7)), connected(cell(30, 7), cell(30, 6)), connected(cell(30, 7), cell(30, 8)), connected(cell(30, 7), cell(31, 7)), connected(cell(30, 8), cell(29, 8)), connected(cell(30, 8), cell(30, 7)), connected(cell(30, 8), cell(30, 9)), connected(cell(30, 8), cell(31, 8)), connected(cell(30, 9), cell(29, 9)), connected(cell(30, 9), cell(30, 8)), connected(cell(30, 9), cell(30, 10)), connected(cell(30, 9), cell(31, 9)), connected(cell(30, 10), cell(29, 10)), connected(cell(30, 10), cell(30, 9)), connected(cell(30, 10), cell(30, 11)), connected(cell(30, 10), cell(31, 10)), connected(cell(30, 11), cell(29, 11)), connected(cell(30, 11), cell(30, 10)), connected(cell(30, 11), cell(30, 12)), connected(cell(30, 11), cell(31, 11)), connected(cell(30, 12), cell(29, 12)), connected(cell(30, 12), cell(30, 11)), connected(cell(30, 12), cell(30, 13)), connected(cell(30, 12), cell(31, 12)), connected(cell(30, 13), cell(29, 13)), connected(cell(30, 13), cell(30, 12)), connected(cell(30, 13), cell(30, 14)), connected(cell(30, 13), cell(31, 13)), connected(cell(30, 14), cell(29, 14)), connected(cell(30, 14), cell(30, 13)), connected(cell(30, 14), cell(30, 15)), connected(cell(30, 14), cell(31, 14)), connected(cell(30, 15), cell(29, 15)), connected(cell(30, 15), cell(30, 14)), connected(cell(30, 15), cell(30, 16)), connected(cell(30, 15), cell(31, 15)), connected(cell(30, 16), cell(29, 16)), connected(cell(30, 16), cell(30, 15)), connected(cell(30, 16), cell(30, 17)), connected(cell(30, 16), cell(31, 16)), connected(cell(30, 17), cell(29, 17)), connected(cell(30, 17), cell(30, 16)), connected(cell(30, 17), cell(30, 18)), connected(cell(30, 17), cell(31, 17)), connected(cell(30, 18), cell(29, 18)), connected(cell(30, 18), cell(30, 17)), connected(cell(30, 18), cell(30, 19)), connected(cell(30, 18), cell(31, 18)), connected(cell(30, 19), cell(29, 19)), connected(cell(30, 19), cell(30, 18)), connected(cell(30, 19), cell(30, 20)), connected(cell(30, 19), cell(31, 19)), connected(cell(30, 20), cell(29, 20)), connected(cell(30, 20), cell(30, 19)), connected(cell(30, 20), cell(30, 21)), connected(cell(30, 20), cell(31, 20)), connected(cell(30, 21), cell(29, 21)), connected(cell(30, 21), cell(30, 20)), connected(cell(30, 21), cell(30, 22)), connected(cell(30, 21), cell(31, 21)), connected(cell(30, 22), cell(29, 22)), connected(cell(30, 22), cell(30, 21)), connected(cell(30, 22), cell(30, 23)), connected(cell(30, 22), cell(31, 22)), connected(cell(30, 23), cell(29, 23)), connected(cell(30, 23), cell(30, 22)), connected(cell(30, 23), cell(30, 24)), connected(cell(30, 23), cell(31, 23)), connected(cell(30, 24), cell(29, 24)), connected(cell(30, 24), cell(30, 23)), connected(cell(30, 24), cell(30, 25)), connected(cell(30, 24), cell(31, 24)), connected(cell(30, 25), cell(29, 25)), connected(cell(30, 25), cell(30, 24)), connected(cell(30, 25), cell(30, 26)), connected(cell(30, 25), cell(31, 25)), connected(cell(30, 26), cell(29, 26)), connected(cell(30, 26), cell(30, 25)), connected(cell(30, 26), cell(30, 27)), connected(cell(30, 26), cell(31, 26)), connected(cell(30, 27), cell(29, 27)), connected(cell(30, 27), cell(30, 26)), connected(cell(30, 27), cell(30, 28)), connected(cell(30, 27), cell(31, 27)), connected(cell(30, 28), cell(29, 28)), connected(cell(30, 28), cell(30, 27)), connected(cell(30, 28), cell(30, 29)), connected(cell(30, 28), cell(31, 28)), connected(cell(30, 29), cell(29, 29)), connected(cell(30, 29), cell(30, 28)), connected(cell(30, 29), cell(30, 30)), connected(cell(30, 29), cell(31, 29)), connected(cell(30, 30), cell(29, 30)), connected(cell(30, 30), cell(30, 29)), connected(cell(30, 30), cell(30, 31)), connected(cell(30, 30), cell(31, 30)), connected(cell(30, 31), cell(29, 31)), connected(cell(30, 31), cell(30, 30)), connected(cell(30, 31), cell(30, 32)), connected(cell(30, 31), cell(31, 31)), connected(cell(30, 32), cell(29, 32)), connected(cell(30, 32), cell(30, 31)), connected(cell(30, 32), cell(31, 32)), connected(cell(31, 1), cell(30, 1)), connected(cell(31, 1), cell(31, 2)), connected(cell(31, 1), cell(32, 1)), connected(cell(31, 2), cell(30, 2)), connected(cell(31, 2), cell(31, 1)), connected(cell(31, 2), cell(31, 3)), connected(cell(31, 2), cell(32, 2)), connected(cell(31, 3), cell(30, 3)), connected(cell(31, 3), cell(31, 2)), connected(cell(31, 3), cell(31, 4)), connected(cell(31, 3), cell(32, 3)), connected(cell(31, 4), cell(30, 4)), connected(cell(31, 4), cell(31, 3)), connected(cell(31, 4), cell(31, 5)), connected(cell(31, 4), cell(32, 4)), connected(cell(31, 5), cell(30, 5)), connected(cell(31, 5), cell(31, 4)), connected(cell(31, 5), cell(31, 6)), connected(cell(31, 5), cell(32, 5)), connected(cell(31, 6), cell(30, 6)), connected(cell(31, 6), cell(31, 5)), connected(cell(31, 6), cell(31, 7)), connected(cell(31, 6), cell(32, 6)), connected(cell(31, 7), cell(30, 7)), connected(cell(31, 7), cell(31, 6)), connected(cell(31, 7), cell(31, 8)), connected(cell(31, 7), cell(32, 7)), connected(cell(31, 8), cell(30, 8)), connected(cell(31, 8), cell(31, 7)), connected(cell(31, 8), cell(31, 9)), connected(cell(31, 8), cell(32, 8)), connected(cell(31, 9), cell(30, 9)), connected(cell(31, 9), cell(31, 8)), connected(cell(31, 9), cell(31, 10)), connected(cell(31, 9), cell(32, 9)), connected(cell(31, 10), cell(30, 10)), connected(cell(31, 10), cell(31, 9)), connected(cell(31, 10), cell(31, 11)), connected(cell(31, 10), cell(32, 10)), connected(cell(31, 11), cell(30, 11)), connected(cell(31, 11), cell(31, 10)), connected(cell(31, 11), cell(31, 12)), connected(cell(31, 11), cell(32, 11)), connected(cell(31, 12), cell(30, 12)), connected(cell(31, 12), cell(31, 11)), connected(cell(31, 12), cell(31, 13)), connected(cell(31, 12), cell(32, 12)), connected(cell(31, 13), cell(30, 13)), connected(cell(31, 13), cell(31, 12)), connected(cell(31, 13), cell(31, 14)), connected(cell(31, 13), cell(32, 13)), connected(cell(31, 14), cell(30, 14)), connected(cell(31, 14), cell(31, 13)), connected(cell(31, 14), cell(31, 15)), connected(cell(31, 14), cell(32, 14)), connected(cell(31, 15), cell(30, 15)), connected(cell(31, 15), cell(31, 14)), connected(cell(31, 15), cell(31, 16)), connected(cell(31, 15), cell(32, 15)), connected(cell(31, 16), cell(30, 16)), connected(cell(31, 16), cell(31, 15)), connected(cell(31, 16), cell(31, 17)), connected(cell(31, 16), cell(32, 16)), connected(cell(31, 17), cell(30, 17)), connected(cell(31, 17), cell(31, 16)), connected(cell(31, 17), cell(31, 18)), connected(cell(31, 17), cell(32, 17)), connected(cell(31, 18), cell(30, 18)), connected(cell(31, 18), cell(31, 17)), connected(cell(31, 18), cell(31, 19)), connected(cell(31, 18), cell(32, 18)), connected(cell(31, 19), cell(30, 19)), connected(cell(31, 19), cell(31, 18)), connected(cell(31, 19), cell(31, 20)), connected(cell(31, 19), cell(32, 19)), connected(cell(31, 20), cell(30, 20)), connected(cell(31, 20), cell(31, 19)), connected(cell(31, 20), cell(31, 21)), connected(cell(31, 20), cell(32, 20)), connected(cell(31, 21), cell(30, 21)), connected(cell(31, 21), cell(31, 20)), connected(cell(31, 21), cell(31, 22)), connected(cell(31, 21), cell(32, 21)), connected(cell(31, 22), cell(30, 22)), connected(cell(31, 22), cell(31, 21)), connected(cell(31, 22), cell(31, 23)), connected(cell(31, 22), cell(32, 22)), connected(cell(31, 23), cell(30, 23)), connected(cell(31, 23), cell(31, 22)), connected(cell(31, 23), cell(31, 24)), connected(cell(31, 23), cell(32, 23)), connected(cell(31, 24), cell(30, 24)), connected(cell(31, 24), cell(31, 23)), connected(cell(31, 24), cell(31, 25)), connected(cell(31, 24), cell(32, 24)), connected(cell(31, 25), cell(30, 25)), connected(cell(31, 25), cell(31, 24)), connected(cell(31, 25), cell(31, 26)), connected(cell(31, 25), cell(32, 25)), connected(cell(31, 26), cell(30, 26)), connected(cell(31, 26), cell(31, 25)), connected(cell(31, 26), cell(31, 27)), connected(cell(31, 26), cell(32, 26)), connected(cell(31, 27), cell(30, 27)), connected(cell(31, 27), cell(31, 26)), connected(cell(31, 27), cell(31, 28)), connected(cell(31, 27), cell(32, 27)), connected(cell(31, 28), cell(30, 28)), connected(cell(31, 28), cell(31, 27)), connected(cell(31, 28), cell(31, 29)), connected(cell(31, 28), cell(32, 28)), connected(cell(31, 29), cell(30, 29)), connected(cell(31, 29), cell(31, 28)), connected(cell(31, 29), cell(31, 30)), connected(cell(31, 29), cell(32, 29)), connected(cell(31, 30), cell(30, 30)), connected(cell(31, 30), cell(31, 29)), connected(cell(31, 30), cell(31, 31)), connected(cell(31, 30), cell(32, 30)), connected(cell(31, 31), cell(30, 31)), connected(cell(31, 31), cell(31, 30)), connected(cell(31, 31), cell(31, 32)), connected(cell(31, 31), cell(32, 31)), connected(cell(31, 32), cell(30, 32)), connected(cell(31, 32), cell(31, 31)), connected(cell(31, 32), cell(32, 32)), connected(cell(32, 1), cell(31, 1)), connected(cell(32, 1), cell(32, 2)), connected(cell(32, 2), cell(31, 2)), connected(cell(32, 2), cell(32, 1)), connected(cell(32, 2), cell(32, 3)), connected(cell(32, 3), cell(31, 3)), connected(cell(32, 3), cell(32, 2)), connected(cell(32, 3), cell(32, 4)), connected(cell(32, 4), cell(31, 4)), connected(cell(32, 4), cell(32, 3)), connected(cell(32, 4), cell(32, 5)), connected(cell(32, 5), cell(31, 5)), connected(cell(32, 5), cell(32, 4)), connected(cell(32, 5), cell(32, 6)), connected(cell(32, 6), cell(31, 6)), connected(cell(32, 6), cell(32, 5)), connected(cell(32, 6), cell(32, 7)), connected(cell(32, 7), cell(31, 7)), connected(cell(32, 7), cell(32, 6)), connected(cell(32, 7), cell(32, 8)), connected(cell(32, 8), cell(31, 8)), connected(cell(32, 8), cell(32, 7)), connected(cell(32, 8), cell(32, 9)), connected(cell(32, 9), cell(31, 9)), connected(cell(32, 9), cell(32, 8)), connected(cell(32, 9), cell(32, 10)), connected(cell(32, 10), cell(31, 10)), connected(cell(32, 10), cell(32, 9)), connected(cell(32, 10), cell(32, 11)), connected(cell(32, 11), cell(31, 11)), connected(cell(32, 11), cell(32, 10)), connected(cell(32, 11), cell(32, 12)), connected(cell(32, 12), cell(31, 12)), connected(cell(32, 12), cell(32, 11)), connected(cell(32, 12), cell(32, 13)), connected(cell(32, 13), cell(31, 13)), connected(cell(32, 13), cell(32, 12)), connected(cell(32, 13), cell(32, 14)), connected(cell(32, 14), cell(31, 14)), connected(cell(32, 14), cell(32, 13)), connected(cell(32, 14), cell(32, 15)), connected(cell(32, 15), cell(31, 15)), connected(cell(32, 15), cell(32, 14)), connected(cell(32, 15), cell(32, 16)), connected(cell(32, 16), cell(31, 16)), connected(cell(32, 16), cell(32, 15)), connected(cell(32, 16), cell(32, 17)), connected(cell(32, 17), cell(31, 17)), connected(cell(32, 17), cell(32, 16)), connected(cell(32, 17), cell(32, 18)), connected(cell(32, 18), cell(31, 18)), connected(cell(32, 18), cell(32, 17)), connected(cell(32, 18), cell(32, 19)), connected(cell(32, 19), cell(31, 19)), connected(cell(32, 19), cell(32, 18)), connected(cell(32, 19), cell(32, 20)), connected(cell(32, 20), cell(31, 20)), connected(cell(32, 20), cell(32, 19)), connected(cell(32, 20), cell(32, 21)), connected(cell(32, 21), cell(31, 21)), connected(cell(32, 21), cell(32, 20)), connected(cell(32, 21), cell(32, 22)), connected(cell(32, 22), cell(31, 22)), connected(cell(32, 22), cell(32, 21)), connected(cell(32, 22), cell(32, 23)), connected(cell(32, 23), cell(31, 23)), connected(cell(32, 23), cell(32, 22)), connected(cell(32, 23), cell(32, 24)), connected(cell(32, 24), cell(31, 24)), connected(cell(32, 24), cell(32, 23)), connected(cell(32, 24), cell(32, 25)), connected(cell(32, 25), cell(31, 25)), connected(cell(32, 25), cell(32, 24)), connected(cell(32, 25), cell(32, 26)), connected(cell(32, 26), cell(31, 26)), connected(cell(32, 26), cell(32, 25)), connected(cell(32, 26), cell(32, 27)), connected(cell(32, 27), cell(31, 27)), connected(cell(32, 27), cell(32, 26)), connected(cell(32, 27), cell(32, 28)), connected(cell(32, 28), cell(31, 28)), connected(cell(32, 28), cell(32, 27)), connected(cell(32, 28), cell(32, 29)), connected(cell(32, 29), cell(31, 29)), connected(cell(32, 29), cell(32, 28)), connected(cell(32, 29), cell(32, 30)), connected(cell(32, 30), cell(31, 30)), connected(cell(32, 30), cell(32, 29)), connected(cell(32, 30), cell(32, 31)), connected(cell(32, 31), cell(31, 31)), connected(cell(32, 31), cell(32, 30)), connected(cell(32, 31), cell(32, 32)), connected(cell(32, 32), cell(31, 32)), connected(cell(32, 32), cell(32, 31)), carries(agent, arrow), at(agent, cell(1, 1)), alive(wumpus) ].