ala

% [env].

:- dynamic cell/3, move/3, global/2.
:- use_module(library(random)).



%                       %

global(gameboard_size,10).
global(max_moves,300).
global(interactive,yes).


%                       %

content_type(target1,prey).
content_type(target2,prey).

content_type(agent1,hunter).
content_type(agent2,hunter).
content_type(agent3,hunter).
content_type(agent4,hunter).


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% To run the environment,
% call run/5 with 
% Arg1 = a number b/w 1 and 2500,
% Arg2-5 uninstantiated 
% (free variables).
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%                      

run(SeedId,NoMoves,Outcome,BaselineMoves,BaselineOutcome) :-
        seed(SeedId,A,B,C,BaselineMoves,BaselineOutcome),
        setrand(rand(A,B,C)),

        initialize,
        update_display,
        go(0,NoMoves,Outcome).

%                         %

initialize :-
	retractall(cell(A,B,C)),
        add_list_of_agents([agent1,agent2,agent3,agent4,target1,target2]).


%                         %

switch_interactive_mode_on :-
    retractall(global(interactive,_)),
    assert(global(interactive,yes)).

switch_interactive_mode_off :-
    retractall(global(interactive,_)),
    assert(global(interactive,no)).



%                         %

go(MaxMoves,MaxMoves,miss) :-
        global(max_moves,MaxMoves),
        !.
 
go(NoMoves,NoMoves,hit) :-
        prey_caught,
        !.
 
go(Move,NoMoves,Outcome) :-
        ask_users_permission,
        compute_next_step,
        update_environment,
        update_display,
        NextMove is Move + 1,
        !,
        go(NextMove,NoMoves,Outcome).


%                         %

add_list_of_agents([]) :-
    !.

add_list_of_agents([First|Rest]) :-
    add_agent_at_random(First),
    add_list_of_agents(Rest).
 

%                         %

add_agent_at_random(AgentID) :-
    cell(X,Y,AgentID),
    retract(cell(X,Y,AgentID)),
    add_agent_at_random(AgentID).

add_agent_at_random(AgentID) :-   % some simple error handling.
    \+ content_type(AgentID,_),   %
    nl,
    write('Error: '),
    write(AgentID),
    write(' is of unknown type.'),
    nl,
    abort.
    
add_agent_at_random(AgentID) :-
    random_pos(X,Y),
    assertz(cell(X,Y,AgentID)),
    !.


%                         %


print_rand_state :-
        getrand(rand(X,Y,Z)),
        write(rand(X,Y,Z)),
        nl.


%                         %
prey_caught :-
	
	    content_type(Agent,prey),
     	    cell(X,Y,Agent),
	    cell(X,Y,Agent2),
	    content_type(Agent2,hunter). 


%                         %

compute_next_step :-
	cell(X,Y,Agent), 
	next_move(Agent,X,Y,X2,Y2), % should only succeed once.
	assertz(move(X2,Y2,Agent)),
	fail.

compute_next_step.

%                         %

next_move(Agent,X,Y,X2,Y2) :-
	content_type(Agent,prey),
	flee(X,Y,X2,Y2),
	!.


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%
% Below is the clause you need to
% replace in order to implement 
% your behaviour for hunters.
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

next_move(Agent,X,Y,X2,Y2) :-
	content_type(Agent,hunter),
	chase(X,Y,X2,Y2),
	!.



%    'chasing' policy     %

chase(X,Y,X2,Y2) :-
	new_coord(X,Y,_,X2,Y2),
	validate_coordinates(X2,Y2),
 	neighbour(X2,Y2,same_spot,Agent),
	content_type(Agent,prey).
	
chase(X,Y,X2,Y2) :-
	new_coord(X,Y,_,X2,Y2),
	validate_coordinates(X2,Y2),
	neighbour(X2,Y2,Direction,Agent),
	member(Direction,[s,w,n,e]),
	content_type(Agent,prey).
	
chase(X,Y,X2,Y2) :-
	random_move(X,Y,X2,Y2).


%    fleeing policy for   %
%    prey.		  %

flee(X,Y,X2,Y2) :-
	new_coord(X,Y,_,X2,Y2),
	validate_coordinates(X2,Y2),
	\+ (
 	    neighbour(X2,Y2,Direction,Agent),
	 %  member(Direction,[same_spot,s,w,n,e]),
 	    content_type(Agent,hunter)
	    ).	% neither the new square nor its n-hood contain hunters.
	

flee(X,Y,X2,Y2) :-
	new_coord(X,Y,_,X2,Y2),
	validate_coordinates(X2,Y2),
	\+ (
 	    neighbour(X2,Y2,same_spot,Agent),
	    content_type(Agent,hunter)
	    ).	% the new square does not contain hunters.
	

flee(X,Y,X2,Y2) :-
	random_move(X,Y,X2,Y2).

%                         %

neighbour(X,Y,sw,Content) :-
	check_cell(X,Y,-1,-1,Content).

neighbour(X,Y,s,Content) :-
	check_cell(X,Y,0,-1,Content).

neighbour(X,Y,se,Content) :-
	check_cell(X,Y,+1,-1,Content).

neighbour(X,Y,w,Content) :-
	check_cell(X,Y,-1,0,Content).

neighbour(X,Y,same_spot,Content) :-
	check_cell(X,Y,0,0,Content).

neighbour(X,Y,e,Content) :-
	check_cell(X,Y,+1,0,Content).

neighbour(X,Y,nw,Content) :-
	check_cell(X,Y,-1,+1,Content).

neighbour(X,Y,n,Content) :-
	check_cell(X,Y,0,+1,Content).

neighbour(X,Y,ne,Content) :-
	check_cell(X,Y,+1,+1,Content).

%                         %

check_cell(X,Y,XOffset,YOffset,Content) :-
	X2 is X + XOffset,
	Y2 is Y + YOffset,
	validate_coordinates(X2,Y2),
	cell(X2,Y2,Content).	

%                         %

random_move(X,Y,X2,Y2) :-
	repeat,
	random_dir(Dir),
	new_coord(X,Y,Dir,X2,Y2),
	validate_coordinates(X2,Y2).

%                         %


new_coord(X,Y,left,X2,Y) :-
	X2 is X - 1.

new_coord(X,Y,right,X2,Y) :-
	X2 is X + 1.

new_coord(X,Y,up,X,Y2) :-
	Y2 is Y + 1.

new_coord(X,Y,down,X,Y2) :-
	Y2 is Y - 1.

new_coord(X,Y,stay,X,Y).

%                         %

random_dir(Dir) :-
        random(0, 5, Int),  % Int e [0, 5)
	dir_case(Int,Dir).

%                         %

dir_case(0,left).
dir_case(1,up).
dir_case(2,right).
dir_case(3,down).
dir_case(4,stay).


% Random X,Y position on a %
% gameboard.               %

random_pos(X,Y) :-
    random_1D_pos(X),
    random_1D_pos(Y).


%  Random position on  an  %
% axis, i.e.,              %
% Pos e [0,gameboard_size) %

random_1D_pos(Pos) :-
    global(gameboard_size,Size),
    random(0,Size,Pos).


%                         %

update_environment :-
	retractall(cell(A,B,C)),
	move(X,Y,Agent),
	validate_coordinates(X,Y),  % if move not valid, the agent will disappear
	assertz(cell(X,Y,Agent)),
	retract(move(X,Y,Agent)),
	fail.

update_environment.

%                         %

validate_coordinates(X,Y) :-
	global(gameboard_size,Size),
	X >= 0,
	X < Size,
	Y >= 0,
	Y < Size.


%                         %

ask_users_permission :-
        global(interactive,yes),
	write('Press <enter> to step the environment or anything else+<enter> to exit'),
	get0(S),
        nl,
        !,
	S == 10.

ask_users_permission :-
       \+ global(interactive,yes). %  '\+' means 'not'. So, if this parameter is not set 
                                   %  to yes, the clause will succeed.

%                         %

update_display :-
        global(interactive,yes),
	global(gameboard_size,Size),
	draw_horiz_border(Size),
	draw_rows(Size),
	draw_horiz_border(Size),
        !.

update_display :-
       \+ global(interactive,yes). %  '\+' means 'not'. So, if this parameter is not set 
                                   %  to yes, the clause will succeed.

%                         %

draw_row(Size,_,Size) :-
	draw(vert_separator),
	nl.

draw_row(Col,Row,Size) :-
	draw(vert_separator),
	plot_cell_content(Col,Row),
	Col2 is Col + 1,
	draw_row(Col2,Row,Size).
	

%                         %

plot_cell_content(Col,Row) :-
	content(Col,Row,Content),
	draw(Content).

%                         %

content(Col,Row,hunter_n_prey) :-
	cell(Col,Row,Agent),
	content_type(Agent,hunter),
	cell(Col,Row,Agent2),
	content_type(Agent2,prey),
	!. % note that the cell may contain more than 
         % one hunter, but this is not displayed.
	   % Also, order of clauses IS important.

content(Col,Row,hunters) :-
	cell(Col,Row,Agent),
	content_type(Agent,hunter),
	cell(Col,Row,Agent2),
	\+ (Agent2 == Agent),
	content_type(Agent2,hunter),
	!.

content(Col,Row,hunter) :-
	cell(Col,Row,Agent),
	content_type(Agent,hunter),
	!.

content(Col,Row,prey) :-
	cell(Col,Row,Agent),
	content_type(Agent,prey),
	!.

content(Col,Row,empty_cell).

%                         %

draw(hunter_n_prey) :-
	write('X').

draw(hunters) :-
	write('@').

draw(prey) :-
	write('+').

draw(hunter) :-
	write('*').

draw(empty_cell) :-
	write(' ').

draw(vert_separator) :-
	write('|').

	

%  counted from bottom to top   %

draw_rows(Size) :-
	SizeMinusOne is Size - 1,
	draw_rows(SizeMinusOne,Size).

draw_rows(-1,Size).

draw_rows(No,Size) :-
	draw_row(0,No,Size),
	No2 is No - 1,
	draw_rows(No2,Size).

%                         %

draw_horiz_border(Length) :-
	draw_line(Length).

%                         %

draw_line(0) :-
	nl.
draw_line(Length) :-
	write('=='),
	L2 is Length - 1,
	draw_line(L2).

%                         %

member(H,[H|_]).
member(H,[_|T]) :-
       member(H,T).



%                         %

seed(1,21661,21107,4759,153,hit).
seed(2,14249,881,27701,300,miss).
seed(3,29863,1087,10333,50,hit).
seed(4,26449,20353,7603,300,miss).
seed(5,347,25171,2647,300,miss).
seed(6,5869,20929,15749,300,miss).
seed(7,16699,6091,13877,24,hit).
seed(8,4547,7457,12959,300,miss).
seed(9,7933,12527,25147,38,hit).
seed(10,509,22861,22639,300,miss).
seed(11,28429,23557,14447,58,hit).
seed(12,28279,19801,643,300,miss).
seed(13,3449,28319,6763,145,hit).
seed(14,11411,14653,9467,75,hit).
seed(15,14083,27749,17359,25,hit).
seed(16,29569,4591,25253,69,hit).
seed(17,14083,20611,563,22,hit).
seed(18,1201,7283,7933,119,hit).
seed(19,19979,12671,26347,16,hit).
seed(20,8893,29717,27191,76,hit).
seed(21,347,15809,4567,22,hit).
seed(22,6737,27109,2111,26,hit).
seed(23,16187,21211,20921,48,hit).
seed(24,6421,26687,10627,82,hit).
seed(25,22397,2539,26029,300,miss).
seed(26,1187,6329,7933,55,hit).
seed(27,28813,25469,7537,108,hit).
seed(28,15217,24203,5717,41,hit).
seed(29,14107,14243,7213,116,hit).
seed(30,22093,24533,13241,25,hit).
seed(31,8093,6733,29201,51,hit).
seed(32,12611,29683,12911,39,hit).
seed(33,11813,811,20873,62,hit).
seed(34,11743,28643,13103,27,hit).
seed(35,4547,15013,5167,58,hit).
seed(36,3517,6047,6143,300,miss).
seed(37,6719,5431,20639,6,hit).
seed(38,21059,16981,14831,39,hit).
seed(39,27361,7523,14033,96,hit).
seed(40,14879,23893,5743,300,miss).
seed(41,2381,15013,28069,292,hit).
seed(42,8539,1409,449,49,hit).
seed(43,4733,27011,6421,140,hit).
seed(44,20029,3547,11351,300,miss).
seed(45,5507,449,6581,44,hit).
seed(46,24919,2473,15173,34,hit).
seed(47,23071,21187,29569,57,hit).
seed(48,16411,27583,20743,300,miss).
seed(49,21019,2393,7963,300,miss).
seed(50,6907,27823,24469,66,hit).
seed(51,28619,14087,727,164,hit).
seed(52,233,16493,17987,34,hit).
seed(53,11867,23041,8731,77,hit).
seed(54,26347,4733,1123,300,miss).
seed(55,18301,6659,15307,45,hit).
seed(56,1409,919,12041,31,hit).
seed(57,10093,2143,6883,26,hit).
seed(58,6257,25747,12049,89,hit).
seed(59,20719,6911,21019,40,hit).
seed(60,25411,12527,9767,72,hit).
seed(61,9173,22109,12373,27,hit).
seed(62,5113,1493,15329,71,hit).
seed(63,13463,8713,27847,166,hit).
seed(64,24683,10733,17881,57,hit).
seed(65,11383,25733,19867,59,hit).
seed(66,3259,8839,1879,300,miss).
seed(67,11551,8273,15649,43,hit).
seed(68,9587,6829,29453,25,hit).
seed(69,14033,25087,20063,93,hit).
seed(70,2003,22433,29423,300,miss).
seed(71,5431,5953,15227,50,hit).
seed(72,10973,22273,12391,94,hit).
seed(73,1669,20101,24971,300,miss).
seed(74,17203,2069,24509,35,hit).
seed(75,547,149,13001,19,hit).
seed(76,3631,8779,10061,300,miss).
seed(77,1279,12911,8647,16,hit).
seed(78,13093,2083,21893,133,hit).
seed(79,4013,13313,2791,40,hit).
seed(80,2143,26183,23371,176,hit).
seed(81,3209,13649,29207,300,miss).
seed(82,23873,17351,13127,28,hit).
seed(83,3943,28879,13903,9,hit).
seed(84,5323,22073,10883,21,hit).
seed(85,28057,15551,19861,56,hit).
seed(86,26357,19661,15359,300,miss).
seed(87,16943,3919,8363,170,hit).
seed(88,4973,18307,6211,300,miss).
seed(89,3557,563,25969,173,hit).
seed(90,9091,197,11119,125,hit).
seed(91,593,19381,5051,138,hit).
seed(92,20047,12893,10601,64,hit).
seed(93,19273,20477,11279,300,miss).
seed(94,17137,19543,29333,47,hit).
seed(95,2003,19717,787,300,miss).
seed(96,11353,3499,19853,113,hit).
seed(97,1213,22769,5347,37,hit).
seed(98,21611,27527,8719,68,hit).
seed(99,22367,23431,2297,190,hit).
seed(100,26863,14741,13033,63,hit).
seed(101,6793,10093,337,300,miss).
seed(102,4421,3719,25609,63,hit).
seed(103,13669,11839,3203,32,hit).
seed(104,23291,13127,26641,21,hit).
seed(105,11677,23227,16411,8,hit).
seed(106,4271,4241,26437,51,hit).
seed(107,16747,11903,21739,21,hit).
seed(108,18097,21433,7481,96,hit).
seed(109,29917,12547,28657,47,hit).
seed(110,20063,2957,8221,51,hit).
seed(111,28813,5737,7283,82,hit).
seed(112,10301,26293,7727,300,miss).
seed(113,7523,6763,18803,99,hit).
seed(114,23687,23537,29633,47,hit).
seed(115,12071,2551,8369,31,hit).
seed(116,6047,23801,9907,25,hit).
seed(117,19073,11821,887,66,hit).
seed(118,14983,8971,24509,29,hit).
seed(119,10141,2237,9769,8,hit).
seed(120,29389,20123,5711,51,hit).
seed(121,21871,26099,15349,35,hit).
seed(122,3931,1423,28603,20,hit).
seed(123,17377,313,15467,276,hit).
seed(124,7177,3691,19937,126,hit).
seed(125,25939,21799,13103,300,miss).
seed(126,2683,21599,20411,38,hit).
seed(127,3203,29221,8363,40,hit).
seed(128,25819,25411,21019,29,hit).
seed(129,6271,8803,26227,8,hit).
seed(130,10663,23063,9743,50,hit).
seed(131,11497,9721,27631,14,hit).
seed(132,1399,13997,21493,32,hit).
seed(133,5591,20731,15787,88,hit).
seed(134,26251,3853,24509,102,hit).
seed(135,6983,24359,14563,29,hit).
seed(136,15907,18379,12959,78,hit).
seed(137,26959,14633,331,39,hit).
seed(138,11311,17909,6091,16,hit).
seed(139,5417,5701,28211,79,hit).
seed(140,4157,10247,28447,24,hit).
seed(141,22709,8527,27773,35,hit).
seed(142,25537,16493,2417,9,hit).
seed(143,757,1973,17491,42,hit).
seed(144,7417,29063,8861,65,hit).
seed(145,1693,3917,12527,89,hit).
seed(146,15619,26309,18661,70,hit).
seed(147,6763,5009,1289,77,hit).
seed(148,9337,4967,4027,29,hit).
seed(149,28097,2789,6907,67,hit).
seed(150,18521,12917,21107,29,hit).
seed(151,25189,15791,12097,300,miss).
seed(152,26951,8513,193,52,hit).
seed(153,9187,1741,25741,63,hit).
seed(154,17581,6389,433,8,hit).
seed(155,383,14633,21493,300,miss).
seed(156,23291,17167,25111,163,hit).
seed(157,25673,4099,12277,27,hit).
seed(158,20023,631,5407,30,hit).
seed(159,317,13907,27809,22,hit).
seed(160,21929,22079,8117,35,hit).
seed(161,18919,5867,18397,300,miss).
seed(162,29209,19381,10513,93,hit).
seed(163,3323,26927,13997,112,hit).
seed(164,10433,23081,12049,27,hit).
seed(165,14813,22741,8263,24,hit).
seed(166,28019,251,5077,20,hit).
seed(167,21601,9311,3167,300,miss).
seed(168,8101,18959,17449,45,hit).
seed(169,22993,7649,13999,42,hit).
seed(170,23581,18457,919,41,hit).
seed(171,20707,29537,10973,22,hit).
seed(172,2243,15991,10303,75,hit).
seed(173,23197,13553,5441,12,hit).
seed(174,4643,15919,15511,77,hit).
seed(175,14401,10133,487,28,hit).
seed(176,983,19469,18049,44,hit).
seed(177,20789,6703,15859,16,hit).
seed(178,6163,14929,13327,98,hit).
seed(179,10903,5009,15559,300,miss).
seed(180,5393,8941,6737,36,hit).
seed(181,9173,6827,20641,70,hit).
seed(182,24179,14011,2843,38,hit).
seed(183,2777,2657,24697,6,hit).
seed(184,20717,1931,16217,64,hit).
seed(185,12781,11287,18191,79,hit).
seed(186,15107,3673,17123,19,hit).
seed(187,10193,17107,2099,24,hit).
seed(188,3299,15053,12689,300,miss).
seed(189,14057,12251,367,300,miss).
seed(190,2729,22013,11719,300,miss).
seed(191,8867,677,277,40,hit).
seed(192,373,24373,1669,300,miss).
seed(193,3517,24851,11941,41,hit).
seed(194,4177,24781,27779,300,miss).
seed(195,23537,619,2579,300,miss).
seed(196,11719,14143,7589,22,hit).
seed(197,17011,3061,6841,73,hit).
seed(198,26371,22811,14633,102,hit).
seed(199,24133,23227,28979,300,miss).
seed(200,21493,6043,12197,33,hit).
seed(201,4349,10399,3623,81,hit).
seed(202,1847,11261,4999,14,hit).
seed(203,19139,16657,29009,57,hit).
seed(204,7649,4003,11311,29,hit).
seed(205,4073,19577,8783,46,hit).
seed(206,18257,12097,8821,28,hit).
seed(207,17761,25411,7867,42,hit).
seed(208,2969,4049,11117,34,hit).
seed(209,8761,13627,4273,163,hit).
seed(210,24593,5303,29423,18,hit).
seed(211,1277,24439,19813,7,hit).
seed(212,12959,10111,8011,7,hit).
seed(213,10987,9967,151,300,miss).
seed(214,28771,5099,7541,73,hit).
seed(215,27539,24077,7393,80,hit).
seed(216,1229,28081,3911,46,hit).
seed(217,19457,24229,11821,12,hit).
seed(218,4787,24197,22367,65,hit).
seed(219,25321,18947,13999,9,hit).
seed(220,18121,3547,29207,68,hit).
seed(221,25733,20089,20639,51,hit).
seed(222,11941,7193,22067,35,hit).
seed(223,1913,13921,5741,41,hit).
seed(224,20143,16363,24749,14,hit).
seed(225,3557,17377,7937,80,hit).
seed(226,20533,20479,5903,12,hit).
seed(227,9239,20161,7937,300,miss).
seed(228,11411,27109,4483,32,hit).
seed(229,9829,20627,14879,22,hit).
seed(230,227,5507,11083,39,hit).
seed(231,17683,7237,14891,300,miss).
seed(232,10837,3049,677,300,miss).
seed(233,28123,5431,15737,300,miss).
seed(234,19559,8117,4027,58,hit).
seed(235,8429,9013,10861,37,hit).
seed(236,15923,22159,12781,58,hit).
seed(237,1549,3739,2377,61,hit).
seed(238,2833,9661,21317,300,miss).
seed(239,1049,22651,1907,300,miss).
seed(240,12097,26777,25633,64,hit).
seed(241,2861,7457,20959,133,hit).
seed(242,21757,761,27479,22,hit).
seed(243,7213,11177,20147,28,hit).
seed(244,28493,14779,7757,31,hit).
seed(245,4289,8513,22699,69,hit).
seed(246,22973,4421,4987,300,miss).
seed(247,7151,6317,10847,47,hit).
seed(248,18539,977,6737,22,hit).
seed(249,21503,3583,18541,50,hit).
seed(250,24697,7243,2269,45,hit).
seed(251,241,11867,17957,81,hit).
seed(252,22129,22751,14951,86,hit).
seed(253,17959,24179,24671,63,hit).
seed(254,521,8221,9049,22,hit).
seed(255,24709,12101,4253,75,hit).
seed(256,6379,14867,461,45,hit).
seed(257,769,27107,25307,12,hit).
seed(258,21107,10267,18401,69,hit).
seed(259,12241,10597,13799,99,hit).
seed(260,8429,7583,13183,70,hit).
seed(261,1553,29867,9791,300,miss).
seed(262,19553,3323,23663,22,hit).
seed(263,15937,26017,8461,29,hit).
seed(264,331,23081,18913,85,hit).
seed(265,27749,3583,761,31,hit).
seed(266,2503,26423,6073,146,hit).
seed(267,20879,23173,26959,54,hit).
seed(268,3313,12113,27527,45,hit).
seed(269,25301,5441,8819,300,miss).
seed(270,6869,28661,14753,52,hit).
seed(271,17599,5851,24097,79,hit).
seed(272,23761,8863,16661,25,hit).
seed(273,2719,7177,12269,27,hit).
seed(274,2297,23813,20543,14,hit).
seed(275,9941,22853,16063,60,hit).
seed(276,2609,21317,17827,65,hit).
seed(277,25307,20959,27031,63,hit).
seed(278,29327,27479,3389,12,hit).
seed(279,8861,13627,14891,27,hit).
seed(280,23599,21059,15511,156,hit).
seed(281,21019,25849,24809,300,miss).
seed(282,20747,22739,1667,40,hit).
seed(283,26879,571,16111,24,hit).
seed(284,21313,5009,5309,37,hit).
seed(285,15511,22063,3613,24,hit).
seed(286,4519,149,7817,300,miss).
seed(287,21319,797,16747,225,hit).
seed(288,11177,20107,7193,53,hit).
seed(289,24691,9719,6791,80,hit).
seed(290,28927,29917,20219,20,hit).
seed(291,28573,2539,4049,26,hit).
seed(292,11353,4241,5683,78,hit).
seed(293,1297,181,23027,300,miss).
seed(294,23473,1523,18217,20,hit).
seed(295,433,25247,27701,56,hit).
seed(296,29347,727,1301,300,miss).
seed(297,19417,15427,9013,83,hit).
seed(298,17519,6257,4673,110,hit).
seed(299,4691,24407,1361,35,hit).
seed(300,3919,1697,17107,300,miss).
seed(301,11839,25643,10667,17,hit).
seed(302,22807,25819,29137,251,hit).
seed(303,17117,28319,5711,34,hit).
seed(304,26459,14437,13327,55,hit).
seed(305,10093,22133,14449,300,miss).
seed(306,14461,6659,14621,300,miss).
seed(307,20399,19051,19661,24,hit).
seed(308,24967,20393,9137,96,hit).
seed(309,18587,21661,13003,15,hit).
seed(310,23557,7253,1297,147,hit).
seed(311,23039,7649,18719,87,hit).
seed(312,25117,7717,7703,40,hit).
seed(313,24179,3733,23333,300,miss).
seed(314,12301,28349,7129,91,hit).
seed(315,25997,18593,12241,81,hit).
seed(316,11311,27367,12601,67,hit).
seed(317,27541,18671,15161,42,hit).
seed(318,643,431,19937,300,miss).
seed(319,28669,13049,307,300,miss).
seed(320,26701,5647,7321,300,miss).
seed(321,3137,18307,22391,30,hit).
seed(322,4673,15551,23753,9,hit).
seed(323,8419,3299,10369,22,hit).
seed(324,6427,20147,5233,13,hit).
seed(325,9337,23971,10837,34,hit).
seed(326,4817,10193,26347,300,miss).
seed(327,16493,4289,4133,300,miss).
seed(328,20563,15527,19697,53,hit).
seed(329,557,11273,18211,28,hit).
seed(330,24251,22079,307,300,miss).
seed(331,24967,19249,19441,90,hit).
seed(332,709,15643,5273,60,hit).
seed(333,1087,14869,21601,52,hit).
seed(334,17683,16477,23689,46,hit).
seed(335,8623,6827,16673,75,hit).
seed(336,29867,11369,10903,66,hit).
seed(337,1259,21683,19073,29,hit).
seed(338,11519,16519,21221,17,hit).
seed(339,373,6047,4643,52,hit).
seed(340,16103,11587,8963,69,hit).
seed(341,15233,22159,7151,36,hit).
seed(342,3301,27983,491,300,miss).
seed(343,17539,5419,991,300,miss).
seed(344,25747,26041,21799,106,hit).
seed(345,23003,7853,15187,78,hit).
seed(346,7949,21713,23929,66,hit).
seed(347,12569,6829,5801,300,miss).
seed(348,9173,11467,14897,81,hit).
seed(349,15287,17903,21011,55,hit).
seed(350,2153,20479,28447,300,miss).
seed(351,27791,26249,13297,32,hit).
seed(352,12073,11467,28477,83,hit).
seed(353,7823,26557,17509,12,hit).
seed(354,11551,22741,7331,57,hit).
seed(355,25033,16139,24197,21,hit).
seed(356,3797,5323,5021,300,miss).
seed(357,21011,5749,16411,6,hit).
seed(358,18553,977,8849,234,hit).
seed(359,15727,1303,23977,21,hit).
seed(360,2417,6491,18917,75,hit).
seed(361,9787,1607,10457,13,hit).
seed(362,15493,24919,16921,113,hit).
seed(363,13997,18671,11867,162,hit).
seed(364,17443,18301,2953,57,hit).
seed(365,5557,29333,28517,19,hit).
seed(366,18329,24439,23333,12,hit).
seed(367,13567,8237,10111,26,hit).
seed(368,12239,15359,26903,17,hit).
seed(369,28549,26107,3229,217,hit).
seed(370,19333,11497,2753,70,hit).
seed(371,9749,6131,24571,60,hit).
seed(372,21401,3253,12613,55,hit).
seed(373,17747,14797,14033,28,hit).
seed(374,8209,4933,19979,8,hit).
seed(375,1447,2971,11471,67,hit).
seed(376,29531,10723,5107,34,hit).
seed(377,17881,419,29207,300,miss).
seed(378,7517,7759,28183,65,hit).
seed(379,24071,8543,28697,13,hit).
seed(380,2039,25447,11717,50,hit).
seed(381,21017,2897,27509,88,hit).
seed(382,18803,23609,20021,107,hit).
seed(383,3793,271,8389,44,hit).
seed(384,21193,27919,18329,76,hit).
seed(385,5059,14177,5839,69,hit).
seed(386,9337,16421,11069,69,hit).
seed(387,19387,29437,2857,65,hit).
seed(388,12713,10477,14869,300,miss).
seed(389,14831,21011,6247,5,hit).
seed(390,5437,929,17299,300,miss).
seed(391,8171,7727,16273,43,hit).
seed(392,5227,18307,16573,50,hit).
seed(393,23633,20509,6823,10,hit).
seed(394,21701,14303,25013,83,hit).
seed(395,17911,22453,3559,46,hit).
seed(396,6211,19309,5101,49,hit).
seed(397,20233,16699,16519,300,miss).
seed(398,8599,26119,25667,196,hit).
seed(399,8803,8363,21017,22,hit).
seed(400,3613,6779,18797,23,hit).
seed(401,1699,2909,20483,74,hit).
seed(402,21757,17959,21773,30,hit).
seed(403,22111,16759,2693,300,miss).
seed(404,20389,6991,17713,45,hit).
seed(405,9257,14437,27431,116,hit).
seed(406,6691,1319,28607,60,hit).
seed(407,853,28433,5477,61,hit).
seed(408,7039,15551,18481,17,hit).
seed(409,9227,2789,28001,108,hit).
seed(410,15913,199,2549,68,hit).
seed(411,26849,2777,14891,70,hit).
seed(412,3037,18553,26003,49,hit).
seed(413,29399,9643,1493,46,hit).
seed(414,28627,19157,28711,300,miss).
seed(415,257,22567,5861,47,hit).
seed(416,18803,17909,18061,64,hit).
seed(417,3041,7129,4931,21,hit).
seed(418,16619,4787,24781,40,hit).
seed(419,24593,9803,1913,71,hit).
seed(420,13963,2113,28703,46,hit).
seed(421,14731,13441,23041,137,hit).
seed(422,24391,16787,20543,20,hit).
seed(423,9857,21163,22549,57,hit).
seed(424,12541,15313,18671,13,hit).
seed(425,18307,11939,8669,28,hit).
seed(426,1877,12973,28027,33,hit).
seed(427,19979,27997,14321,13,hit).
seed(428,15901,4507,1109,300,miss).
seed(429,373,4157,14537,300,miss).
seed(430,5623,25171,8093,64,hit).
seed(431,17419,5653,12301,38,hit).
seed(432,5897,26189,10867,300,miss).
seed(433,29741,9421,18211,96,hit).
seed(434,1447,17881,21499,82,hit).
seed(435,14713,2963,12227,51,hit).
seed(436,16319,14537,8329,300,miss).
seed(437,21323,2969,18617,300,miss).
seed(438,20743,14657,10799,15,hit).
seed(439,4391,15601,14557,80,hit).
seed(440,3581,23053,17977,69,hit).
seed(441,24859,3319,1229,30,hit).
seed(442,23971,25673,19471,300,miss).
seed(443,3637,26701,16487,115,hit).
seed(444,14827,15451,20717,56,hit).
seed(445,23599,1567,21613,300,miss).
seed(446,20809,20347,28927,59,hit).
seed(447,17341,10273,6607,37,hit).
seed(448,19447,12713,1303,81,hit).
seed(449,20347,11261,28493,14,hit).
seed(450,10883,7757,26723,138,hit).
seed(451,9739,17597,631,300,miss).
seed(452,3499,8861,6733,300,miss).
seed(453,15959,7687,2017,300,miss).
seed(454,13883,29683,10061,25,hit).
seed(455,11503,10889,28807,53,hit).
seed(456,7043,12823,24151,43,hit).
seed(457,12743,29303,6037,54,hit).
seed(458,24697,25057,28537,69,hit).
seed(459,10513,4561,491,12,hit).
seed(460,18149,4801,19759,17,hit).
seed(461,10499,20183,24859,12,hit).
seed(462,4931,2039,751,21,hit).
seed(463,4943,9341,20507,69,hit).
seed(464,17683,24329,21023,30,hit).
seed(465,5413,6689,7793,30,hit).
seed(466,23753,937,1823,300,miss).
seed(467,23297,24593,16759,300,miss).
seed(468,22769,5669,5647,15,hit).
seed(469,8971,4007,5801,21,hit).
seed(470,26209,9133,29123,300,miss).
seed(471,14869,18973,11047,300,miss).
seed(472,17419,27527,8171,7,hit).
seed(473,12953,29179,27397,15,hit).
seed(474,15817,28211,23209,104,hit).
seed(475,26687,23789,29131,155,hit).
seed(476,12527,419,5689,53,hit).
seed(477,22291,20639,13457,300,miss).
seed(478,22961,17623,23677,35,hit).
seed(479,11953,8893,12071,16,hit).
seed(480,27361,443,4373,66,hit).
seed(481,17053,28627,569,116,hit).
seed(482,271,9871,28087,3,hit).
seed(483,4451,18539,15907,45,hit).
seed(484,9871,13337,9829,157,hit).
seed(485,5531,3767,4801,8,hit).
seed(486,23741,10111,27409,300,miss).
seed(487,7841,26513,5059,44,hit).
seed(488,17491,4783,5399,19,hit).
seed(489,163,16901,29347,167,hit).
seed(490,14831,23677,14153,39,hit).
seed(491,14251,11239,28097,78,hit).
seed(492,29761,12907,7853,69,hit).
seed(493,10141,7789,1297,135,hit).
seed(494,14281,29287,26681,26,hit).
seed(495,20347,21391,1483,27,hit).
seed(496,28547,24547,21013,19,hit).
seed(497,13003,1637,8123,3,hit).
seed(498,14251,3001,22247,300,miss).
seed(499,18013,11353,12547,54,hit).
seed(500,27809,1787,18049,300,miss).
seed(501,17921,5009,24083,18,hit).
seed(502,27479,8431,6311,34,hit).
seed(503,13999,11779,1847,300,miss).
seed(504,24049,11173,26417,26,hit).
seed(505,19661,25301,5477,300,miss).
seed(506,19141,14293,10427,99,hit).
seed(507,11731,13997,15467,11,hit).
seed(508,14347,28229,9739,300,miss).
seed(509,4957,2927,7451,31,hit).
seed(510,26833,29453,11173,300,miss).
seed(511,647,2237,22877,20,hit).
seed(512,3217,27431,11719,300,miss).
seed(513,5869,283,1439,87,hit).
seed(514,22283,14827,4357,40,hit).
seed(515,8147,25219,15361,62,hit).
seed(516,28571,4129,6047,133,hit).
seed(517,5471,829,25087,35,hit).
seed(518,29437,1847,11467,53,hit).
seed(519,9319,1193,8363,101,hit).
seed(520,5059,17321,27059,39,hit).
seed(521,27367,15391,24677,7,hit).
seed(522,4933,5881,22189,124,hit).
seed(523,2713,10601,17491,27,hit).
seed(524,26881,29209,16063,90,hit).
seed(525,23143,28027,15373,65,hit).
seed(526,5927,23357,859,11,hit).
seed(527,1489,24907,20639,48,hit).
seed(528,20411,431,26459,174,hit).
seed(529,5573,23357,28661,28,hit).
seed(530,26099,16747,27337,106,hit).
seed(531,8641,8969,19181,18,hit).
seed(532,6911,28069,9437,35,hit).
seed(533,3371,1951,2311,46,hit).
seed(534,8419,3301,18047,112,hit).
seed(535,4759,3259,22963,74,hit).
seed(536,27901,9857,15919,32,hit).
seed(537,607,22621,8269,49,hit).
seed(538,26449,4091,24623,78,hit).
seed(539,857,29789,7537,27,hit).
seed(540,11789,17359,24359,39,hit).
seed(541,9323,379,15551,79,hit).
seed(542,9473,14009,15121,300,miss).
seed(543,3797,29753,16553,31,hit).
seed(544,18521,25717,27673,15,hit).
seed(545,26017,20219,5923,38,hit).
seed(546,22697,18371,5051,300,miss).
seed(547,25309,29191,24917,35,hit).
seed(548,10163,12437,1783,300,miss).
seed(549,21101,24251,13177,40,hit).
seed(550,5827,27697,7759,19,hit).
seed(551,6091,17383,14153,72,hit).
seed(552,18289,14243,22303,16,hit).
seed(553,27437,18803,18287,300,miss).
seed(554,19661,19267,10987,7,hit).
seed(555,12227,2777,10399,79,hit).
seed(556,1951,11161,25679,44,hit).
seed(557,29311,4621,9137,16,hit).
seed(558,22027,23719,15973,300,miss).
seed(559,10607,6899,27751,107,hit).
seed(560,7573,26903,22907,40,hit).
seed(561,4483,10289,5483,60,hit).
seed(562,23003,11789,7817,33,hit).
seed(563,6287,11939,18353,49,hit).
seed(564,6229,22777,20147,16,hit).
seed(565,4099,27901,11273,182,hit).
seed(566,15493,3797,9791,300,miss).
seed(567,5641,28477,4957,70,hit).
seed(568,26459,8849,21661,19,hit).
seed(569,5233,4397,4349,64,hit).
seed(570,25903,24919,28571,300,miss).
seed(571,16927,16729,15649,87,hit).
seed(572,14717,29033,15877,64,hit).
seed(573,21221,27653,1597,16,hit).
seed(574,12899,28843,6563,19,hit).
seed(575,6323,4817,5399,102,hit).
seed(576,22973,16139,3733,48,hit).
seed(577,8461,9157,18439,57,hit).
seed(578,10831,6257,26371,32,hit).
seed(579,2797,4691,13933,19,hit).
seed(580,19207,5323,6521,230,hit).
seed(581,29063,18743,5407,40,hit).
seed(582,23741,28879,12277,101,hit).
seed(583,5477,26449,20753,82,hit).
seed(584,7309,18541,947,65,hit).
seed(585,317,27299,21319,64,hit).
seed(586,24907,7841,4013,16,hit).
seed(587,27281,10429,10111,16,hit).
seed(588,18149,13163,2017,300,miss).
seed(589,2803,19843,11437,12,hit).
seed(590,13327,29123,8237,54,hit).
seed(591,16619,17921,12583,17,hit).
seed(592,2689,12073,10937,32,hit).
seed(593,9391,10909,3527,57,hit).
seed(594,347,9137,16699,24,hit).
seed(595,1663,163,14423,47,hit).
seed(596,27901,7949,12421,21,hit).
seed(597,197,4481,17167,22,hit).
seed(598,1049,2777,23753,48,hit).
seed(599,10861,5051,9187,46,hit).
seed(600,6977,643,27281,43,hit).
seed(601,22639,12703,14293,243,hit).
seed(602,3793,8167,18913,19,hit).
seed(603,25601,20627,4567,2,hit).
seed(604,24247,9643,14797,70,hit).
seed(605,389,26339,5743,66,hit).
seed(606,21851,24499,16883,47,hit).
seed(607,23633,25643,26833,59,hit).
seed(608,24473,16189,27917,14,hit).
seed(609,25621,24499,1723,300,miss).
seed(610,2647,24317,1531,128,hit).
seed(611,10211,13229,11923,12,hit).
seed(612,7687,12161,28123,38,hit).
seed(613,10247,13789,4271,18,hit).
seed(614,16529,24943,11909,30,hit).
seed(615,10079,23981,13009,68,hit).
seed(616,24247,27697,16451,39,hit).
seed(617,27043,26189,18959,127,hit).
seed(618,21503,25169,17053,58,hit).
seed(619,23459,6073,2179,20,hit).
seed(620,6703,28289,28229,77,hit).
seed(621,227,421,7321,112,hit).
seed(622,27893,6661,25667,300,miss).
seed(623,4013,16349,7703,10,hit).
seed(624,15683,233,1499,19,hit).
seed(625,19979,15313,17627,17,hit).
seed(626,25307,4801,21851,57,hit).
seed(627,1399,25537,16649,20,hit).
seed(628,16127,12301,2953,8,hit).
seed(629,29881,22993,29231,19,hit).
seed(630,22769,8737,11399,44,hit).
seed(631,22637,1723,27611,300,miss).
seed(632,24967,13151,15083,47,hit).
seed(633,19609,3163,6607,7,hit).
seed(634,11941,25541,25253,40,hit).
seed(635,4133,16871,18691,123,hit).
seed(636,26293,4003,14503,56,hit).
seed(637,15217,7309,10729,96,hit).
seed(638,8731,4217,12511,7,hit).
seed(639,28619,23609,1259,40,hit).
seed(640,19997,22279,26951,44,hit).
seed(641,9829,18121,14321,44,hit).
seed(642,19973,997,14087,66,hit).
seed(643,7457,20681,5209,67,hit).
seed(644,26539,12917,4621,300,miss).
seed(645,22769,821,25057,300,miss).
seed(646,13691,18493,2351,176,hit).
seed(647,2731,21569,27407,122,hit).
seed(648,19381,17987,24907,63,hit).
seed(649,10267,12511,21023,300,miss).
seed(650,5851,20347,8581,300,miss).
seed(651,163,3467,4663,14,hit).
seed(652,13291,4273,4373,85,hit).
seed(653,307,11047,23159,300,miss).
seed(654,11969,18869,3323,59,hit).
seed(655,17471,5437,16421,20,hit).
seed(656,29389,1303,631,118,hit).
seed(657,18307,17863,12049,55,hit).
seed(658,4127,3559,20359,19,hit).
seed(659,17047,13883,29879,300,miss).
seed(660,3637,7549,13037,15,hit).
seed(661,16829,4349,25229,300,miss).
seed(662,29881,16829,15187,300,miss).
seed(663,24203,10987,2411,58,hit).
seed(664,17021,18701,4339,2,hit).
seed(665,4013,24107,11119,145,hit).
seed(666,3329,16487,21577,300,miss).
seed(667,10601,29399,9281,156,hit).
seed(668,3361,8069,11987,300,miss).
seed(669,23167,4957,18691,28,hit).
seed(670,12251,10247,2087,39,hit).
seed(671,27281,4019,15791,16,hit).
seed(672,17291,16927,12539,30,hit).
seed(673,22303,5923,23831,94,hit).
seed(674,5527,26591,479,300,miss).
seed(675,20939,8521,22273,41,hit).
seed(676,29009,9679,2663,300,miss).
seed(677,19447,23537,16493,300,miss).
seed(678,983,6803,6011,64,hit).
seed(679,7481,2677,24919,85,hit).
seed(680,26723,27479,29587,24,hit).
seed(681,20549,16831,25537,51,hit).
seed(682,15601,23269,23117,190,hit).
seed(683,17107,11437,7013,21,hit).
seed(684,23609,27059,14957,35,hit).
seed(685,27851,2579,12269,46,hit).
seed(686,28097,4273,13757,36,hit).
seed(687,487,26647,23537,16,hit).
seed(688,21881,11617,16127,55,hit).
seed(689,10687,5923,8423,89,hit).
seed(690,21529,18503,1693,103,hit).
seed(691,11243,29611,277,111,hit).
seed(692,23857,18367,27191,300,miss).
seed(693,20089,19141,19927,29,hit).
seed(694,22031,6469,17509,300,miss).
seed(695,683,1787,22501,25,hit).
seed(696,2791,12253,1031,300,miss).
seed(697,5107,28309,4253,32,hit).
seed(698,6577,15173,4691,28,hit).
seed(699,17207,8663,4289,43,hit).
seed(700,17837,3361,16087,300,miss).
seed(701,4957,6379,11047,79,hit).
seed(702,21031,4451,12323,26,hit).
seed(703,18587,24407,18223,67,hit).
seed(704,10273,5783,24821,300,miss).
seed(705,7243,25343,23143,300,miss).
seed(706,22571,13877,27773,74,hit).
seed(707,13337,28793,13469,115,hit).
seed(708,23131,397,9209,32,hit).
seed(709,12589,19559,21599,60,hit).
seed(710,4703,4679,22153,105,hit).
seed(711,19213,6659,22073,81,hit).
seed(712,8609,27299,15581,53,hit).
seed(713,4391,16693,24841,24,hit).
seed(714,5519,7159,11311,25,hit).
seed(715,3221,25229,17107,59,hit).
seed(716,27739,2411,5347,300,miss).
seed(717,17053,5981,4019,153,hit).
seed(718,11069,1453,3631,7,hit).
seed(719,16657,6719,14633,113,hit).
seed(720,4447,17957,7211,62,hit).
seed(721,18311,1597,9029,221,hit).
seed(722,6299,13997,21227,33,hit).
seed(723,443,23357,11807,18,hit).
seed(724,10463,3917,4943,73,hit).
seed(725,18223,9497,19391,300,miss).
seed(726,211,25639,2467,300,miss).
seed(727,14411,3449,28979,140,hit).
seed(728,17341,13567,22637,23,hit).
seed(729,11863,15077,28751,300,miss).
seed(730,29683,26237,12113,40,hit).
seed(731,3319,15797,4813,300,miss).
seed(732,15647,23201,29191,100,hit).
seed(733,25261,28867,25771,9,hit).
seed(734,2647,22783,26249,18,hit).
seed(735,1429,22129,17987,37,hit).
seed(736,8737,26083,22751,148,hit).
seed(737,10357,8081,29221,117,hit).
seed(738,21391,29569,29101,82,hit).
seed(739,27617,18061,27427,77,hit).
seed(740,20887,19531,16823,49,hit).
seed(741,20233,701,5119,300,miss).
seed(742,709,23873,10151,300,miss).
seed(743,5531,9209,12907,300,miss).
seed(744,10337,26237,677,300,miss).
seed(745,26317,14543,11027,44,hit).
seed(746,6907,18133,367,37,hit).
seed(747,29881,1277,11867,53,hit).
seed(748,9497,17939,15877,300,miss).
seed(749,14759,8563,1171,23,hit).
seed(750,9091,27967,12203,12,hit).
seed(751,26641,18671,29863,104,hit).
seed(752,1663,4099,24083,300,miss).
seed(753,17041,28979,10337,63,hit).
seed(754,23623,997,17443,150,hit).
seed(755,4813,7433,27737,29,hit).
seed(756,18541,3889,12163,10,hit).
seed(757,1063,17923,19853,61,hit).
seed(758,26041,21499,17957,7,hit).
seed(759,20063,14033,16883,38,hit).
seed(760,14423,823,29399,176,hit).
seed(761,23813,11941,20123,25,hit).
seed(762,20743,23143,25229,41,hit).
seed(763,1777,18181,20903,36,hit).
seed(764,4733,12743,11393,19,hit).
seed(765,23143,19751,8731,35,hit).
seed(766,3491,211,29527,128,hit).
seed(767,1213,28603,26161,24,hit).
seed(768,22469,4073,751,73,hit).
seed(769,13831,5897,27941,24,hit).
seed(770,1439,17231,14813,22,hit).
seed(771,21487,4597,20719,83,hit).
seed(772,6793,28663,21599,34,hit).
seed(773,9043,419,3733,23,hit).
seed(774,15559,10837,21589,13,hit).
seed(775,25367,19379,8171,23,hit).
seed(776,21557,21821,8317,49,hit).
seed(777,16369,13099,8839,300,miss).
seed(778,5393,12547,20627,36,hit).
seed(779,15511,11887,15877,16,hit).
seed(780,16253,8623,4817,68,hit).
seed(781,28813,2029,12763,133,hit).
seed(782,25939,13037,20021,31,hit).
seed(783,10369,23917,19379,300,miss).
seed(784,3559,3499,20809,9,hit).
seed(785,19073,8707,12497,21,hit).
seed(786,10597,17977,19819,300,miss).
seed(787,479,22171,5827,57,hit).
seed(788,6883,28669,18493,83,hit).
seed(789,4177,11353,15733,18,hit).
seed(790,18773,4159,12497,114,hit).
seed(791,353,3527,3559,19,hit).
seed(792,5821,12547,27539,300,miss).
seed(793,23623,28019,28723,48,hit).
seed(794,11701,5779,21493,36,hit).
seed(795,12073,23327,3851,53,hit).
seed(796,3209,1493,21517,33,hit).
seed(797,11927,10501,8893,31,hit).
seed(798,28081,24197,17203,98,hit).
seed(799,19843,11027,28057,33,hit).
seed(800,4967,21397,4253,42,hit).
seed(801,11939,20063,9871,19,hit).
seed(802,199,1759,3329,8,hit).
seed(803,28109,1693,25469,16,hit).
seed(804,12413,16831,7457,55,hit).
seed(805,6211,569,15091,48,hit).
seed(806,4337,17291,449,40,hit).
seed(807,4397,22511,5431,300,miss).
seed(808,13513,7417,9931,71,hit).
seed(809,26209,16741,20563,58,hit).
seed(810,21157,11113,1543,26,hit).
seed(811,17657,2153,18049,57,hit).
seed(812,3847,1901,18481,23,hit).
seed(813,8117,21211,4337,19,hit).
seed(814,10627,1061,2243,19,hit).
seed(815,23911,12041,19381,18,hit).
seed(816,6421,21577,311,300,miss).
seed(817,17827,13003,7213,10,hit).
seed(818,673,8713,24943,68,hit).
seed(819,7591,6967,25457,15,hit).
seed(820,20129,17053,17839,21,hit).
seed(821,13877,7331,15187,76,hit).
seed(822,11903,2269,26053,49,hit).
seed(823,26227,19559,14389,15,hit).
seed(824,13873,18439,22973,12,hit).
seed(825,13591,21787,25343,300,miss).
seed(826,4793,13907,2887,10,hit).
seed(827,14437,18311,20479,70,hit).
seed(828,2857,19861,12743,83,hit).
seed(829,22003,21227,2377,95,hit).
seed(830,5417,28573,28477,60,hit).
seed(831,17321,10691,6863,300,miss).
seed(832,10391,11633,15739,50,hit).
seed(833,17749,5821,9001,300,miss).
seed(834,547,8999,26953,25,hit).
seed(835,20441,26189,25357,64,hit).
seed(836,26431,10889,1931,10,hit).
seed(837,26573,16843,23017,46,hit).
seed(838,17419,26251,22027,24,hit).
seed(839,3547,2633,3391,22,hit).
seed(840,25453,11923,12007,42,hit).
seed(841,23857,9161,23003,300,miss).
seed(842,26839,17467,5843,7,hit).
seed(843,17989,28657,277,44,hit).
seed(844,14821,16361,13163,32,hit).
seed(845,23603,23227,5953,35,hit).
seed(846,3463,19469,28921,65,hit).
seed(847,22453,9319,5011,18,hit).
seed(848,853,9463,2777,57,hit).
seed(849,24547,16187,26003,12,hit).
seed(850,21179,23677,26107,263,hit).
seed(851,19727,9851,27617,57,hit).
seed(852,16333,29867,12433,15,hit).
seed(853,6547,26953,5431,67,hit).
seed(854,337,25759,16631,148,hit).
seed(855,18503,20641,28643,45,hit).
seed(856,28927,3251,22091,47,hit).
seed(857,17383,8237,23873,3,hit).
seed(858,8753,4513,23143,79,hit).
seed(859,3119,19739,16843,15,hit).
seed(860,24317,11839,10691,300,miss).
seed(861,27967,21727,1789,300,miss).
seed(862,27743,19073,3319,300,miss).
seed(863,23333,26921,15451,20,hit).
seed(864,29077,3169,13789,20,hit).
seed(865,24251,16921,8539,13,hit).
seed(866,10433,28387,7853,25,hit).
seed(867,29669,27409,14011,7,hit).
seed(868,20353,19213,2719,79,hit).
seed(869,19183,3677,19993,300,miss).
seed(870,8699,7369,3359,300,miss).
seed(871,239,11467,20347,71,hit).
seed(872,4561,7219,15193,300,miss).
seed(873,18269,7927,13613,300,miss).
seed(874,2539,14449,19381,32,hit).
seed(875,4969,15527,6689,38,hit).
seed(876,25679,9497,19273,24,hit).
seed(877,12583,28927,8209,28,hit).
seed(878,18041,929,21569,68,hit).
seed(879,20441,7559,23041,68,hit).
seed(880,3467,11177,25873,26,hit).
seed(881,11549,20873,20753,12,hit).
seed(882,25717,20231,3767,97,hit).
seed(883,14627,24943,26249,63,hit).
seed(884,11047,4201,18433,70,hit).
seed(885,28813,16223,28201,59,hit).
seed(886,19333,11399,15187,60,hit).
seed(887,14009,25771,11471,300,miss).
seed(888,17707,8629,4127,8,hit).
seed(889,27107,947,20479,227,hit).
seed(890,4649,10837,10139,88,hit).
seed(891,2029,22621,29101,20,hit).
seed(892,19751,3457,11621,70,hit).
seed(893,5233,17681,2437,300,miss).
seed(894,2269,6577,21859,87,hit).
seed(895,28289,12203,15473,24,hit).
seed(896,1777,19237,20117,25,hit).
seed(897,19661,29599,22807,14,hit).
seed(898,22259,23633,13249,39,hit).
seed(899,5011,12113,1571,73,hit).
seed(900,5261,4217,14887,41,hit).
seed(901,20101,15299,10243,44,hit).
seed(902,26783,11831,28661,66,hit).
seed(903,9133,8039,21601,17,hit).
seed(904,25801,10501,13537,300,miss).
seed(905,599,12433,25147,62,hit).
seed(906,2549,26591,22901,142,hit).
seed(907,14713,5261,9311,18,hit).
seed(908,13901,14221,12241,300,miss).
seed(909,18523,26003,1459,86,hit).
seed(910,25117,25169,2399,60,hit).
seed(911,193,14543,18691,40,hit).
seed(912,11959,19001,6661,94,hit).
seed(913,4423,5309,20731,45,hit).
seed(914,5591,15017,28723,84,hit).
seed(915,11953,8783,2011,48,hit).
seed(916,12277,18671,20599,112,hit).
seed(917,23623,20323,5051,300,miss).
seed(918,29303,14303,20743,20,hit).
seed(919,15061,27481,11437,18,hit).
seed(920,26561,21143,9623,14,hit).
seed(921,8839,13147,22961,48,hit).
seed(922,28433,11131,22501,24,hit).
seed(923,22769,28843,28219,31,hit).
seed(924,24923,23021,6073,300,miss).
seed(925,19751,25841,8629,33,hit).
seed(926,12457,19249,25577,18,hit).
seed(927,1217,22469,6653,18,hit).
seed(928,15683,3463,12203,96,hit).
seed(929,15809,25741,9973,300,miss).
seed(930,563,3299,3001,153,hit).
seed(931,7489,8923,7649,19,hit).
seed(932,11633,1697,10687,300,miss).
seed(933,28429,11801,27253,37,hit).
seed(934,10169,9043,10159,34,hit).
seed(935,15937,20939,19433,21,hit).
seed(936,27107,28229,12157,137,hit).
seed(937,9871,18541,21961,95,hit).
seed(938,5623,20921,10663,70,hit).
seed(939,10139,28109,1231,34,hit).
seed(940,599,12821,14177,46,hit).
seed(941,17027,13693,2311,300,miss).
seed(942,15427,13687,17707,108,hit).
seed(943,12377,8941,8039,55,hit).
seed(944,25153,29173,24181,60,hit).
seed(945,11813,15473,8693,77,hit).
seed(946,12263,14557,7451,60,hit).
seed(947,19889,479,3617,15,hit).
seed(948,6323,24547,18587,208,hit).
seed(949,12269,29789,15787,57,hit).
seed(950,26261,2087,19697,44,hit).
seed(951,9239,17341,1777,144,hit).
seed(952,149,7151,23539,14,hit).
seed(953,11839,1831,127,40,hit).
seed(954,14923,9749,14957,37,hit).
seed(955,563,17989,27361,76,hit).
seed(956,12457,1367,23059,51,hit).
seed(957,12073,10631,28711,22,hit).
seed(958,28409,29297,11779,96,hit).
seed(959,11821,14051,14563,300,miss).
seed(960,28607,6047,12101,153,hit).
seed(961,8719,14669,13633,88,hit).
seed(962,3863,21269,6961,65,hit).
seed(963,29221,8867,521,21,hit).
seed(964,28111,24469,21893,300,miss).
seed(965,27851,22259,5669,9,hit).
seed(966,457,28697,4691,8,hit).
seed(967,12959,29269,5903,26,hit).
seed(968,10883,8287,26209,34,hit).
seed(969,2503,13367,21617,300,miss).
seed(970,28961,8713,3371,15,hit).
seed(971,3623,17467,14551,300,miss).
seed(972,21773,24683,14897,300,miss).
seed(973,14293,6791,29191,26,hit).
seed(974,25523,617,26729,300,miss).
seed(975,14107,26107,4951,300,miss).
seed(976,22381,22787,7321,59,hit).
seed(977,19273,13649,26153,300,miss).
seed(978,2341,25841,6121,35,hit).
seed(979,11969,5081,27073,300,miss).
seed(980,23293,10723,12497,150,hit).
seed(981,23633,6577,3061,72,hit).
seed(982,21221,12329,359,57,hit).
seed(983,311,8539,7523,300,miss).
seed(984,17707,11827,6317,21,hit).
seed(985,14879,20707,4967,26,hit).
seed(986,3547,8443,13723,15,hit).
seed(987,7741,12821,29581,29,hit).
seed(988,23753,27277,20287,22,hit).
seed(989,12041,18947,29153,27,hit).
seed(990,6529,1217,613,35,hit).
seed(991,20123,4703,10651,46,hit).
seed(992,28109,9923,19457,74,hit).
seed(993,8431,4013,23197,55,hit).
seed(994,16699,23087,29717,31,hit).
seed(995,11887,22717,29669,300,miss).
seed(996,28859,2659,26119,300,miss).
seed(997,9049,5407,3529,8,hit).
seed(998,23189,15511,24971,24,hit).
seed(999,28961,19709,773,300,miss).
seed(1000,15467,24551,5303,53,hit).
seed(1001,353,5477,7247,300,miss).
seed(1002,28429,24593,17383,181,hit).
seed(1003,16427,28537,23593,51,hit).
seed(1004,13633,13999,18307,300,miss).
seed(1005,25931,3209,4421,51,hit).
seed(1006,10333,19259,19457,87,hit).
seed(1007,16519,1483,13043,37,hit).
seed(1008,10111,14249,6599,259,hit).
seed(1009,13159,16141,3469,110,hit).
seed(1010,11821,26041,8623,27,hit).
seed(1011,5903,23899,15581,9,hit).
seed(1012,23767,751,3217,127,hit).
seed(1013,9041,28909,20963,27,hit).
seed(1014,3889,2621,19267,32,hit).
seed(1015,10723,20747,24359,71,hit).
seed(1016,10139,20023,16693,47,hit).
seed(1017,9689,17791,21221,6,hit).
seed(1018,1123,23689,8317,16,hit).
seed(1019,6329,3407,811,25,hit).
seed(1020,6911,24691,4787,20,hit).
seed(1021,18367,19051,22571,17,hit).
seed(1022,22871,9739,6829,87,hit).
seed(1023,1459,21727,7321,36,hit).
seed(1024,20789,11471,12589,203,hit).
seed(1025,13577,16103,6619,2,hit).
seed(1026,18043,313,7027,88,hit).
seed(1027,10979,26053,13009,238,hit).
seed(1028,14107,23957,1423,10,hit).
seed(1029,17167,21407,23539,14,hit).
seed(1030,7759,19919,14543,43,hit).
seed(1031,26591,26641,997,19,hit).
seed(1032,1831,1489,15013,15,hit).
seed(1033,13691,22433,25801,79,hit).
seed(1034,15451,14753,27427,70,hit).
seed(1035,577,26813,149,19,hit).
seed(1036,27997,269,17657,57,hit).
seed(1037,6449,19919,10399,76,hit).
seed(1038,19483,3301,7963,300,miss).
seed(1039,20063,6299,16633,3,hit).
seed(1040,25841,16981,10193,120,hit).
seed(1041,13457,10141,11069,76,hit).
seed(1042,10651,15443,26647,42,hit).
seed(1043,20731,13331,27457,11,hit).
seed(1044,5437,18133,7219,26,hit).
seed(1045,5653,9241,20533,119,hit).
seed(1046,22063,9587,27809,300,miss).
seed(1047,28183,9403,16561,37,hit).
seed(1048,29873,23251,21817,22,hit).
seed(1049,23753,14747,13151,36,hit).
seed(1050,23887,4517,13729,93,hit).
seed(1051,9059,12049,1237,65,hit).
seed(1052,1433,6959,23981,8,hit).
seed(1053,4801,22613,18947,153,hit).
seed(1054,16741,29209,26927,239,hit).
seed(1055,24677,4253,18223,103,hit).
seed(1056,20753,18049,29221,300,miss).
seed(1057,4999,4877,1181,18,hit).
seed(1058,5981,23021,13381,62,hit).
seed(1059,16007,15643,8867,300,miss).
seed(1060,3793,311,9833,27,hit).
seed(1061,5851,23087,10601,63,hit).
seed(1062,24571,23753,11779,27,hit).
seed(1063,26597,9001,21701,300,miss).
seed(1064,2297,5839,15889,164,hit).
seed(1065,25147,14011,21863,39,hit).
seed(1066,10133,15731,919,78,hit).
seed(1067,19501,15907,15787,29,hit).
seed(1068,22691,19867,23209,9,hit).
seed(1069,10337,523,1553,44,hit).
seed(1070,3499,6637,14087,35,hit).
seed(1071,16339,24473,21611,122,hit).
seed(1072,811,22717,12149,60,hit).
seed(1073,15913,17027,7639,300,miss).
seed(1074,4903,6991,13297,40,hit).
seed(1075,5171,29387,10457,15,hit).
seed(1076,12527,11243,13037,36,hit).
seed(1077,17957,20219,8191,45,hit).
seed(1078,4153,24967,22717,55,hit).
seed(1079,919,7523,12511,71,hit).
seed(1080,4801,13159,17923,300,miss).
seed(1081,16301,22067,10711,69,hit).
seed(1082,2459,8467,14879,7,hit).
seed(1083,29527,20327,7907,300,miss).
seed(1084,16369,15581,14401,45,hit).
seed(1085,15391,28591,1951,94,hit).
seed(1086,5471,17989,15991,300,miss).
seed(1087,8191,11987,8971,7,hit).
seed(1088,13397,12161,4877,88,hit).
seed(1089,20353,2039,11717,21,hit).
seed(1090,13367,20719,22037,20,hit).
seed(1091,2897,10799,27043,300,miss).
seed(1092,21283,10937,7213,19,hit).
seed(1093,14717,9091,21419,85,hit).
seed(1094,617,27437,14759,75,hit).
seed(1095,15331,7949,24847,90,hit).
seed(1096,12671,4391,12889,14,hit).
seed(1097,21031,3011,15377,52,hit).
seed(1098,25073,20639,23893,9,hit).
seed(1099,29297,9551,7487,300,miss).
seed(1100,311,2767,9433,48,hit).
seed(1101,18439,2593,8609,84,hit).
seed(1102,6257,21031,15077,107,hit).
seed(1103,9521,27107,15797,300,miss).
seed(1104,25673,3019,28411,300,miss).
seed(1105,12277,6719,5741,49,hit).
seed(1106,7229,22433,2659,300,miss).
seed(1107,26189,9349,28927,300,miss).
seed(1108,6793,13469,17123,18,hit).
seed(1109,9839,10937,19559,17,hit).
seed(1110,7333,10453,25169,97,hit).
seed(1111,25841,12149,1103,57,hit).
seed(1112,24847,1021,3119,7,hit).
seed(1113,2711,683,26777,54,hit).
seed(1114,1697,14783,17789,23,hit).
seed(1115,29399,13457,15887,300,miss).
seed(1116,10789,6841,26717,94,hit).
seed(1117,10331,2153,20161,62,hit).
seed(1118,19861,26693,17293,63,hit).
seed(1119,3221,28493,16447,45,hit).
seed(1120,22391,23293,11909,300,miss).
seed(1121,26921,20753,5437,53,hit).
seed(1122,2749,27539,4447,21,hit).
seed(1123,25163,18169,15791,300,miss).
seed(1124,15889,14011,5737,68,hit).
seed(1125,10253,22993,28111,8,hit).
seed(1126,16433,7109,22273,16,hit).
seed(1127,19157,18911,16363,46,hit).
seed(1128,3659,2753,1669,66,hit).
seed(1129,3361,1867,12983,49,hit).
seed(1130,6983,12899,19609,59,hit).
seed(1131,751,16673,11047,10,hit).
seed(1132,29101,3217,1361,27,hit).
seed(1133,401,25523,29717,42,hit).
seed(1134,277,7079,17209,26,hit).
seed(1135,24001,22051,9323,129,hit).
seed(1136,18461,21991,8623,92,hit).
seed(1137,16657,12107,5591,50,hit).
seed(1138,8863,13001,27409,38,hit).
seed(1139,3121,347,3733,195,hit).
seed(1140,21011,9743,167,53,hit).
seed(1141,2131,25919,14653,27,hit).
seed(1142,6421,7243,25717,46,hit).
seed(1143,14489,24043,3911,18,hit).
seed(1144,10973,22157,9923,148,hit).
seed(1145,4423,4943,15761,28,hit).
seed(1146,2621,10133,15277,19,hit).
seed(1147,11909,20411,12239,300,miss).
seed(1148,13469,3203,13513,54,hit).
seed(1149,21013,29581,8353,24,hit).
seed(1150,28901,27059,15791,87,hit).
seed(1151,10831,20021,8863,300,miss).
seed(1152,14243,27253,20627,17,hit).
seed(1153,15959,13313,10391,300,miss).
seed(1154,28307,19237,28307,48,hit).
seed(1155,19661,27743,14867,300,miss).
seed(1156,1153,5531,12437,300,miss).
seed(1157,29669,9521,25561,15,hit).
seed(1158,12073,4691,28817,300,miss).
seed(1159,24547,9743,2633,31,hit).
seed(1160,15887,3851,2243,50,hit).
seed(1161,19333,16091,16339,35,hit).
seed(1162,21377,7853,3863,83,hit).
seed(1163,23041,25579,11483,40,hit).
seed(1164,12421,239,7691,24,hit).
seed(1165,7477,10333,9127,300,miss).
seed(1166,26263,23081,10273,56,hit).
seed(1167,13829,2917,1493,47,hit).
seed(1168,25639,1091,5813,68,hit).
seed(1169,15569,21121,21977,83,hit).
seed(1170,3889,22859,27529,47,hit).
seed(1171,18973,4073,11743,45,hit).
seed(1172,11701,16747,8287,37,hit).
seed(1173,3617,8573,22409,10,hit).
seed(1174,2861,25633,18973,47,hit).
seed(1175,2417,21157,3677,119,hit).
seed(1176,21193,16699,12671,300,miss).
seed(1177,6689,17053,5441,39,hit).
seed(1178,3793,13681,13907,49,hit).
seed(1179,18199,21881,18223,17,hit).
seed(1180,15527,7523,3461,150,hit).
seed(1181,2207,15511,2657,17,hit).
seed(1182,24907,24103,15017,159,hit).
seed(1183,16673,15217,24473,300,miss).
seed(1184,9007,29873,9901,33,hit).
seed(1185,9391,26263,19559,31,hit).
seed(1186,2029,26903,2549,61,hit).
seed(1187,17863,5507,20507,59,hit).
seed(1188,24989,16187,25919,300,miss).
seed(1189,21727,11981,22079,27,hit).
seed(1190,15787,6121,5021,51,hit).
seed(1191,6883,22013,503,12,hit).
seed(1192,21929,9907,11587,44,hit).
seed(1193,8521,11719,13037,300,miss).
seed(1194,21149,769,10979,18,hit).
seed(1195,25439,12899,8287,38,hit).
seed(1196,12637,28477,22171,39,hit).
seed(1197,11159,4201,26267,54,hit).
seed(1198,17053,26437,25793,88,hit).
seed(1199,967,26431,22013,16,hit).
seed(1200,821,2237,11867,300,miss).
seed(1201,9431,26669,6701,52,hit).
seed(1202,4549,6971,13523,20,hit).
seed(1203,11597,2897,7603,36,hit).
seed(1204,2389,28201,19157,118,hit).
seed(1205,347,26489,4219,107,hit).
seed(1206,10663,29327,1801,300,miss).
seed(1207,21929,7129,16747,53,hit).
seed(1208,491,1873,26921,60,hit).
seed(1209,9521,29027,9239,300,miss).
seed(1210,14629,10883,29147,300,miss).
seed(1211,27191,29881,18149,119,hit).
seed(1212,28867,3797,9601,300,miss).
seed(1213,23633,9029,26683,138,hit).
seed(1214,28229,5333,19373,82,hit).
seed(1215,14479,4549,4099,98,hit).
seed(1216,27953,4013,29833,115,hit).
seed(1217,11827,1523,24203,107,hit).
seed(1218,7547,21023,12809,72,hit).
seed(1219,3533,17041,10753,32,hit).
seed(1220,28657,13337,15289,81,hit).
seed(1221,4759,19387,15053,16,hit).
seed(1222,499,17053,8171,17,hit).
seed(1223,3539,5503,18119,83,hit).
seed(1224,16831,29021,10259,300,miss).
seed(1225,5081,29633,15887,58,hit).
seed(1226,28817,21323,5807,300,miss).
seed(1227,17471,5237,29717,61,hit).
seed(1228,9901,17881,19597,75,hit).
seed(1229,25819,9421,1237,300,miss).
seed(1230,14143,18773,22397,25,hit).
seed(1231,26183,21317,17749,81,hit).
seed(1232,11743,1427,2837,300,miss).
seed(1233,1789,22853,5657,105,hit).
seed(1234,8101,23087,1847,43,hit).
seed(1235,5011,19231,8179,300,miss).
seed(1236,5851,15569,6659,25,hit).
seed(1237,3169,7019,13367,97,hit).
seed(1238,8377,20177,27791,61,hit).
seed(1239,8803,12911,17333,198,hit).
seed(1240,17011,1607,25763,32,hit).
seed(1241,20759,22343,18301,74,hit).
seed(1242,3793,25889,18253,18,hit).
seed(1243,24061,19937,5471,25,hit).
seed(1244,20143,14939,4561,28,hit).
seed(1245,22037,29501,1187,61,hit).
seed(1246,15527,3037,12967,300,miss).
seed(1247,27253,15329,14503,95,hit).
seed(1248,22541,10867,5101,43,hit).
seed(1249,18251,9161,18287,17,hit).
seed(1250,27407,7691,7639,15,hit).
seed(1251,24203,11171,10301,10,hit).
seed(1252,27367,19961,29501,92,hit).
seed(1253,16361,20233,3617,120,hit).
seed(1254,26953,7621,19421,17,hit).
seed(1255,9511,8761,18121,25,hit).
seed(1256,13327,26321,16561,67,hit).
seed(1257,18539,3931,29633,87,hit).
seed(1258,20521,27581,19087,14,hit).
seed(1259,18917,2621,28807,300,miss).
seed(1260,503,17029,15053,28,hit).
seed(1261,12601,28111,11807,50,hit).
seed(1262,26693,2371,23357,300,miss).
seed(1263,20117,8819,6967,36,hit).
seed(1264,11093,6689,1753,55,hit).
seed(1265,6247,23509,4889,26,hit).
seed(1266,24593,26557,24971,300,miss).
seed(1267,24697,3299,28627,74,hit).
seed(1268,2243,6971,29333,24,hit).
seed(1269,25639,13669,22511,157,hit).
seed(1270,5657,9029,14717,75,hit).
seed(1271,11987,21121,11491,52,hit).
seed(1272,1481,7673,10463,300,miss).
seed(1273,2017,1021,21017,21,hit).
seed(1274,19979,21433,28517,70,hit).
seed(1275,21559,18451,26449,17,hit).
seed(1276,5431,16831,1607,34,hit).
seed(1277,12659,11491,1163,27,hit).
seed(1278,11069,15139,29327,56,hit).
seed(1279,10847,16349,13043,29,hit).
seed(1280,593,9497,10513,300,miss).
seed(1281,29077,21221,1873,16,hit).
seed(1282,27179,16651,29483,300,miss).
seed(1283,20399,18593,13691,97,hit).
seed(1284,15361,4597,22273,47,hit).
seed(1285,7537,547,3911,7,hit).
seed(1286,1471,29483,29327,58,hit).
seed(1287,28549,17551,9871,34,hit).
seed(1288,1997,3001,9907,45,hit).
seed(1289,10009,24083,12823,39,hit).
seed(1290,18859,15017,12911,300,miss).
seed(1291,23197,8779,12239,19,hit).
seed(1292,24809,15767,23063,202,hit).
seed(1293,17863,11131,10837,81,hit).
seed(1294,22483,6101,20809,70,hit).
seed(1295,5101,16519,23311,74,hit).
seed(1296,397,18379,25423,300,miss).
seed(1297,12281,331,18859,15,hit).
seed(1298,23767,7109,17747,30,hit).
seed(1299,8087,10111,21191,187,hit).
seed(1300,17099,4723,2803,53,hit).
seed(1301,25849,17231,18329,300,miss).
seed(1302,8221,12197,9689,75,hit).
seed(1303,29297,11069,13913,300,miss).
seed(1304,6323,11587,2311,300,miss).
seed(1305,4153,5107,29327,8,hit).
seed(1306,12647,5479,3491,300,miss).
seed(1307,8783,4357,28859,32,hit).
seed(1308,19753,14293,21149,27,hit).
seed(1309,13037,23057,1933,16,hit).
seed(1310,2069,18661,10477,23,hit).
seed(1311,4519,10427,7309,139,hit).
seed(1312,12637,16927,15331,12,hit).
seed(1313,6581,14029,877,53,hit).
seed(1314,7541,25013,22717,179,hit).
seed(1315,2389,27917,26557,300,miss).
seed(1316,2707,8837,16633,11,hit).
seed(1317,29741,27919,13163,180,hit).
seed(1318,27103,2377,13691,63,hit).
seed(1319,6709,10729,14843,86,hit).
seed(1320,6199,2707,9479,59,hit).
seed(1321,2777,1721,7949,87,hit).
seed(1322,12421,14341,2671,43,hit).
seed(1323,19087,8329,1951,57,hit).
seed(1324,28201,443,4597,24,hit).
seed(1325,331,6217,15749,32,hit).
seed(1326,16561,7187,22129,101,hit).
seed(1327,17981,11161,2609,134,hit).
seed(1328,13831,6311,1367,44,hit).
seed(1329,20233,7247,13759,300,miss).
seed(1330,9067,17117,16097,57,hit).
seed(1331,2897,22549,9833,62,hit).
seed(1332,3187,21727,14747,128,hit).
seed(1333,13171,811,4549,54,hit).
seed(1334,8053,14951,7853,9,hit).
seed(1335,5483,2377,21739,113,hit).
seed(1336,4591,25951,8713,70,hit).
seed(1337,14543,761,2237,27,hit).
seed(1338,23899,23833,9319,217,hit).
seed(1339,15749,11369,19867,83,hit).
seed(1340,3613,20113,5927,300,miss).
seed(1341,9787,9907,18701,39,hit).
seed(1342,293,19139,5333,47,hit).
seed(1343,11927,3323,1163,300,miss).
seed(1344,6257,4507,11731,77,hit).
seed(1345,26183,1361,22013,16,hit).
seed(1346,10891,27851,6271,75,hit).
seed(1347,20807,5573,653,86,hit).
seed(1348,23663,23981,13901,72,hit).
seed(1349,859,13159,12671,178,hit).
seed(1350,16361,2161,577,50,hit).
seed(1351,1913,233,179,300,miss).
seed(1352,18587,5507,5839,10,hit).
seed(1353,14143,257,5107,92,hit).
seed(1354,9613,8867,29837,118,hit).
seed(1355,10369,16879,20113,47,hit).
seed(1356,13151,15641,4451,54,hit).
seed(1357,10973,3163,27409,300,miss).
seed(1358,28513,21521,6323,20,hit).
seed(1359,8369,19681,26683,10,hit).
seed(1360,10477,7237,16567,300,miss).
seed(1361,18311,16657,17341,8,hit).
seed(1362,6607,3323,15461,13,hit).
seed(1363,3623,19441,4337,17,hit).
seed(1364,18229,24499,4903,31,hit).
seed(1365,17911,17099,7109,300,miss).
seed(1366,17419,27509,7307,132,hit).
seed(1367,20483,1607,3929,89,hit).
seed(1368,5827,26813,15121,14,hit).
seed(1369,199,1531,11959,18,hit).
seed(1370,17099,11789,7759,300,miss).
seed(1371,1171,20389,1619,300,miss).
seed(1372,3613,22669,9743,36,hit).
seed(1373,25919,11071,12323,105,hit).
seed(1374,17519,10457,2381,90,hit).
seed(1375,2309,4729,211,22,hit).
seed(1376,6047,10627,22859,31,hit).
seed(1377,6703,26927,1409,91,hit).
seed(1378,10781,11939,3203,19,hit).
seed(1379,21617,26041,1277,15,hit).
seed(1380,26821,7621,23719,69,hit).
seed(1381,10357,28909,23761,300,miss).
seed(1382,2137,23071,6863,300,miss).
seed(1383,29243,11969,13789,300,miss).
seed(1384,5483,11923,11321,43,hit).
seed(1385,10607,389,6793,35,hit).
seed(1386,619,11257,26947,42,hit).
seed(1387,25339,22273,9643,66,hit).
seed(1388,27179,1493,26893,12,hit).
seed(1389,15803,23509,27397,300,miss).
seed(1390,23627,17569,22637,49,hit).
seed(1391,6823,15739,2957,74,hit).
seed(1392,6131,16361,2473,2,hit).
seed(1393,4549,17837,11437,54,hit).
seed(1394,15887,4327,16073,21,hit).
seed(1395,11549,5861,29501,56,hit).
seed(1396,29179,2459,8431,86,hit).
seed(1397,23593,6311,6317,38,hit).
seed(1398,16127,14243,14057,300,miss).
seed(1399,21059,9743,28123,11,hit).
seed(1400,4021,1783,16619,58,hit).
seed(1401,3607,15233,16631,300,miss).
seed(1402,23417,12301,293,300,miss).
seed(1403,24697,13931,28463,15,hit).
seed(1404,7523,2161,12143,300,miss).
seed(1405,29027,15299,19597,36,hit).
seed(1406,257,29389,5897,300,miss).
seed(1407,29063,4561,20879,34,hit).
seed(1408,29207,3323,20947,73,hit).
seed(1409,15277,3877,21649,134,hit).
seed(1410,10061,19843,431,50,hit).
seed(1411,22193,23993,7159,300,miss).
seed(1412,21587,14411,1979,51,hit).
seed(1413,7043,11981,21529,300,miss).
seed(1414,5303,29537,26227,83,hit).
seed(1415,509,25759,27733,48,hit).
seed(1416,13367,12703,15013,58,hit).
seed(1417,29137,23993,25801,6,hit).
seed(1418,7393,12437,15313,16,hit).
seed(1419,23977,1693,14449,76,hit).
seed(1420,12037,13591,17987,51,hit).
seed(1421,5011,8731,14221,35,hit).
seed(1422,15187,3517,26729,72,hit).
seed(1423,9521,6977,421,159,hit).
seed(1424,21991,28463,11057,300,miss).
seed(1425,14969,28571,8053,70,hit).
seed(1426,17489,21961,7753,91,hit).
seed(1427,6247,10733,661,19,hit).
seed(1428,23993,3373,4663,300,miss).
seed(1429,24953,6653,23159,300,miss).
seed(1430,27941,15131,7529,25,hit).
seed(1431,11287,11261,5381,40,hit).
seed(1432,2861,22153,27529,300,miss).
seed(1433,28057,15583,29599,23,hit).
seed(1434,1579,4211,5743,300,miss).
seed(1435,10453,12601,24499,77,hit).
seed(1436,17791,22159,28817,89,hit).
seed(1437,14369,9467,8287,34,hit).
seed(1438,14537,18719,461,273,hit).
seed(1439,26539,4549,1787,50,hit).
seed(1440,17011,3929,12269,8,hit).
seed(1441,25633,16067,28087,112,hit).
seed(1442,19919,29881,18521,8,hit).
seed(1443,13907,7883,7237,79,hit).
seed(1444,4289,10667,22783,300,miss).
seed(1445,24481,7907,5309,300,miss).
seed(1446,3169,24113,17159,27,hit).
seed(1447,22003,16661,27061,300,miss).
seed(1448,26849,27271,8761,28,hit).
seed(1449,12791,28901,6959,146,hit).
seed(1450,3109,11503,9349,15,hit).
seed(1451,25117,29879,17401,78,hit).
seed(1452,1609,1039,17321,9,hit).
seed(1453,15541,9721,18119,24,hit).
seed(1454,12097,929,24889,300,miss).
seed(1455,16061,18917,18043,25,hit).
seed(1456,4903,22259,11813,63,hit).
seed(1457,17747,4201,27773,12,hit).
seed(1458,17623,3533,20287,16,hit).
seed(1459,19387,6299,12269,40,hit).
seed(1460,853,10259,26981,69,hit).
seed(1461,12889,18493,14387,15,hit).
seed(1462,21503,859,15937,100,hit).
seed(1463,2297,211,8623,17,hit).
seed(1464,21617,5407,6067,48,hit).
seed(1465,21487,2351,18587,300,miss).
seed(1466,4099,9721,3701,55,hit).
seed(1467,8849,283,16747,7,hit).
seed(1468,3527,5227,15991,85,hit).
seed(1469,12329,22153,15121,200,hit).
seed(1470,19889,20899,29383,300,miss).
seed(1471,16091,26293,16273,45,hit).
seed(1472,23041,8317,5821,76,hit).
seed(1473,29473,18443,18457,56,hit).
seed(1474,2591,15809,27361,300,miss).
seed(1475,9431,20431,23857,43,hit).
seed(1476,21683,23117,4919,17,hit).
seed(1477,19843,6763,16001,300,miss).
seed(1478,24623,7639,16363,49,hit).
seed(1479,701,8761,15877,79,hit).
seed(1480,18539,5009,3767,192,hit).
seed(1481,1709,28867,25633,80,hit).
seed(1482,18077,27239,7057,69,hit).
seed(1483,163,29761,12569,18,hit).
seed(1484,5023,1303,11551,66,hit).
seed(1485,6011,6163,18919,64,hit).
seed(1486,12347,15797,26699,65,hit).
seed(1487,25847,15349,10883,22,hit).
seed(1488,9769,14717,16979,5,hit).
seed(1489,26687,21499,12269,35,hit).
seed(1490,21613,20483,18397,19,hit).
seed(1491,6581,21023,10111,35,hit).
seed(1492,9041,29863,24439,22,hit).
seed(1493,16349,29453,23581,121,hit).
seed(1494,13723,4253,18049,300,miss).
seed(1495,21611,14107,4159,300,miss).
seed(1496,28493,5437,12911,20,hit).
seed(1497,4591,1279,10973,49,hit).
seed(1498,27901,2837,4987,42,hit).
seed(1499,1489,15727,367,28,hit).
seed(1500,20411,1249,4451,58,hit).
seed(1501,6907,20599,12959,49,hit).
seed(1502,10889,28663,10889,58,hit).
seed(1503,1129,5689,1063,113,hit).
seed(1504,25013,11597,12893,19,hit).
seed(1505,20543,6871,19961,291,hit).
seed(1506,23671,20177,26693,56,hit).
seed(1507,26669,14087,7621,13,hit).
seed(1508,467,23131,16073,21,hit).
seed(1509,20411,4759,8053,30,hit).
seed(1510,2099,13421,1217,137,hit).
seed(1511,12853,10831,29333,9,hit).
seed(1512,2081,25463,6067,300,miss).
seed(1513,28559,25733,26293,245,hit).
seed(1514,9551,19051,9151,31,hit).
seed(1515,26431,22343,2099,300,miss).
seed(1516,17377,22153,4241,52,hit).
seed(1517,26513,7607,8527,39,hit).
seed(1518,23339,2083,13693,13,hit).
seed(1519,22549,21991,18587,300,miss).
seed(1520,12953,1831,5021,143,hit).
seed(1521,9739,21601,4463,49,hit).
seed(1522,11923,19141,11383,28,hit).
seed(1523,27073,5479,20921,178,hit).
seed(1524,4027,23549,23053,300,miss).
seed(1525,16339,28027,1697,189,hit).
seed(1526,6203,22787,14087,11,hit).
seed(1527,17383,7393,7541,58,hit).
seed(1528,3359,7741,25261,27,hit).
seed(1529,18691,17657,8263,83,hit).
seed(1530,26959,10729,29191,43,hit).
seed(1531,12457,25679,14633,300,miss).
seed(1532,3137,23071,16361,12,hit).
seed(1533,16193,1973,19013,43,hit).
seed(1534,13577,8761,971,54,hit).
seed(1535,20231,1777,17729,40,hit).
seed(1536,22031,20399,8117,66,hit).
seed(1537,28723,6329,22129,77,hit).
seed(1538,6737,28879,23761,21,hit).
seed(1539,14143,1597,28019,93,hit).
seed(1540,7753,27851,6379,300,miss).
seed(1541,12479,29123,4801,75,hit).
seed(1542,28433,25127,853,9,hit).
seed(1543,26777,5581,227,60,hit).
seed(1544,13487,18223,13103,20,hit).
seed(1545,5641,17659,1741,58,hit).
seed(1546,24083,16273,5297,43,hit).
seed(1547,563,21379,347,18,hit).
seed(1548,22699,20807,673,39,hit).
seed(1549,17497,8627,26347,300,miss).
seed(1550,25969,20543,6421,68,hit).
seed(1551,21023,8039,3191,28,hit).
seed(1552,14437,5527,26489,66,hit).
seed(1553,7717,21487,14783,75,hit).
seed(1554,29077,5711,3853,25,hit).
seed(1555,21997,7933,14879,6,hit).
seed(1556,24113,22147,4987,28,hit).
seed(1557,23887,8971,16339,300,miss).
seed(1558,3631,24019,3559,24,hit).
seed(1559,25933,2957,13907,70,hit).
seed(1560,23357,19081,10499,42,hit).
seed(1561,28549,2099,16073,300,miss).
seed(1562,2293,5923,12799,65,hit).
seed(1563,18803,22637,7841,13,hit).
seed(1564,2267,19483,25849,133,hit).
seed(1565,9479,25163,2399,300,miss).
seed(1566,19381,2963,29683,65,hit).
seed(1567,20107,9277,23773,300,miss).
seed(1568,13693,21499,27241,42,hit).
seed(1569,20717,1193,19937,300,miss).
seed(1570,5563,29021,1231,300,miss).
seed(1571,14327,18539,13177,45,hit).
seed(1572,26783,2347,12097,120,hit).
seed(1573,11353,6949,18119,274,hit).
seed(1574,24793,7057,7243,300,miss).
seed(1575,12251,15193,24907,89,hit).
seed(1576,17737,523,9239,19,hit).
seed(1577,10103,11831,6551,56,hit).
seed(1578,10457,1201,18341,139,hit).
seed(1579,1741,641,1627,142,hit).
seed(1580,3463,2351,21193,18,hit).
seed(1581,14657,23887,26881,300,miss).
seed(1582,27427,5323,14033,42,hit).
seed(1583,12841,7321,16829,34,hit).
seed(1584,23081,5653,18947,62,hit).
seed(1585,8329,19777,27127,25,hit).
seed(1586,20233,577,13553,300,miss).
seed(1587,6343,3253,19301,45,hit).
seed(1588,6907,3001,17489,68,hit).
seed(1589,22073,10093,7963,300,miss).
seed(1590,22433,3457,12899,40,hit).
seed(1591,15733,19819,24917,60,hit).
seed(1592,23293,25243,13709,34,hit).
seed(1593,21221,10369,4817,12,hit).
seed(1594,9007,20323,27479,300,miss).
seed(1595,2399,127,11239,26,hit).
seed(1596,12703,29633,8093,29,hit).
seed(1597,25169,12457,29137,52,hit).
seed(1598,27283,24821,20219,300,miss).
seed(1599,20029,12227,27739,45,hit).
seed(1600,5309,6047,14633,9,hit).
seed(1601,2753,21529,2857,164,hit).
seed(1602,29429,21587,24781,32,hit).
seed(1603,7691,23143,17417,34,hit).
seed(1604,16427,24419,2087,300,miss).
seed(1605,28513,26539,1871,8,hit).
seed(1606,13451,17431,22063,225,hit).
seed(1607,17033,12347,21319,300,miss).
seed(1608,24781,8923,1997,300,miss).
seed(1609,6949,18341,3499,300,miss).
seed(1610,503,24923,499,71,hit).
seed(1611,2777,29131,24071,73,hit).
seed(1612,2377,8167,11677,37,hit).
seed(1613,22481,12613,23563,300,miss).
seed(1614,16063,26947,13831,114,hit).
seed(1615,27277,6691,19993,12,hit).
seed(1616,29423,14489,21787,33,hit).
seed(1617,1249,14717,12263,61,hit).
seed(1618,28559,24691,16529,43,hit).
seed(1619,23087,22619,26921,69,hit).
seed(1620,5479,16519,21379,36,hit).
seed(1621,25939,12197,8233,37,hit).
seed(1622,28201,27407,2399,109,hit).
seed(1623,3701,439,15461,12,hit).
seed(1624,12911,17659,4273,56,hit).
seed(1625,3221,6287,16631,37,hit).
seed(1626,13901,20981,16231,10,hit).
seed(1627,23623,19937,17449,11,hit).
seed(1628,24859,17551,11423,300,miss).
seed(1629,14549,23279,5477,55,hit).
seed(1630,607,25847,8761,8,hit).
seed(1631,12647,21961,16349,11,hit).
seed(1632,27943,15121,9601,300,miss).
seed(1633,8317,11047,12757,88,hit).
seed(1634,22697,20981,7219,10,hit).
seed(1635,13859,25121,18617,300,miss).
seed(1636,3697,22409,9043,23,hit).
seed(1637,4391,10273,719,79,hit).
seed(1638,10979,24691,12239,16,hit).
seed(1639,1447,8389,8923,61,hit).
seed(1640,5197,13297,3463,300,miss).
seed(1641,5011,19447,22073,150,hit).
seed(1642,10487,28099,3739,68,hit).
seed(1643,12569,2137,163,27,hit).
seed(1644,2753,4801,26021,40,hit).
seed(1645,13367,16189,17351,70,hit).
seed(1646,26183,23417,26993,7,hit).
seed(1647,11897,7349,12791,75,hit).
seed(1648,9067,7057,13901,14,hit).
seed(1649,4153,5519,17737,300,miss).
seed(1650,16699,20749,17449,68,hit).
seed(1651,26501,5641,18481,300,miss).
seed(1652,24943,29347,18617,14,hit).
seed(1653,4091,29851,6691,82,hit).
seed(1654,1367,8761,19937,300,miss).
seed(1655,18959,14627,11789,48,hit).
seed(1656,27017,2593,2141,31,hit).
seed(1657,29873,4423,14783,69,hit).
seed(1658,28411,27883,29021,126,hit).
seed(1659,757,1259,25321,300,miss).
seed(1660,4019,5861,5431,4,hit).
seed(1661,5153,26479,5839,300,miss).
seed(1662,5779,10009,4943,41,hit).
seed(1663,10973,24043,19709,109,hit).
seed(1664,26699,3319,1709,75,hit).
seed(1665,26903,5531,3881,300,miss).
seed(1666,15373,4801,27689,9,hit).
seed(1667,8629,2411,25189,9,hit).
seed(1668,3329,14737,18911,21,hit).
seed(1669,26261,13799,9391,300,miss).
seed(1670,15889,8191,8089,156,hit).
seed(1671,28219,1753,9221,71,hit).
seed(1672,5867,20681,29009,67,hit).
seed(1673,6011,21487,13799,24,hit).
seed(1674,22937,503,1601,43,hit).
seed(1675,12451,7853,12959,300,miss).
seed(1676,16363,20849,19457,61,hit).
seed(1677,887,21661,3109,6,hit).
seed(1678,25759,28753,23917,102,hit).
seed(1679,17957,28513,10139,59,hit).
seed(1680,13757,16319,4001,300,miss).
seed(1681,2297,2591,811,92,hit).
seed(1682,23279,16451,7057,9,hit).
seed(1683,19031,23593,2087,18,hit).
seed(1684,27011,7331,9929,141,hit).
seed(1685,18757,22811,19979,300,miss).
seed(1686,3467,27179,12539,37,hit).
seed(1687,3089,13421,16703,108,hit).
seed(1688,15641,8317,22259,80,hit).
seed(1689,10837,19441,4283,61,hit).
seed(1690,3701,10607,20879,55,hit).
seed(1691,12637,6449,28351,35,hit).
seed(1692,23767,19763,12197,102,hit).
seed(1693,1259,27367,18913,300,miss).
seed(1694,4799,27823,18043,18,hit).
seed(1695,13147,11491,5503,26,hit).
seed(1696,25087,13997,4157,300,miss).
seed(1697,12893,3167,16901,16,hit).
seed(1698,18679,29789,29741,300,miss).
seed(1699,6911,20929,5051,300,miss).
seed(1700,12301,3307,23869,25,hit).
seed(1701,20549,15193,25309,91,hit).
seed(1702,27737,21893,16417,72,hit).
seed(1703,28081,22273,15349,88,hit).
seed(1704,24979,25717,10061,71,hit).
seed(1705,27653,22153,7457,300,miss).
seed(1706,11171,9103,19457,18,hit).
seed(1707,4241,28277,24733,69,hit).
seed(1708,15373,293,16763,81,hit).
seed(1709,197,18287,19387,166,hit).
seed(1710,14821,4507,7247,178,hit).
seed(1711,24809,23857,12041,48,hit).
seed(1712,2731,983,16823,54,hit).
seed(1713,13313,24611,7351,46,hit).
seed(1714,1619,19309,16417,79,hit).
seed(1715,25919,199,743,58,hit).
seed(1716,21467,27103,4099,300,miss).
seed(1717,19417,9463,25411,10,hit).
seed(1718,23459,16987,8783,19,hit).
seed(1719,14489,11119,18461,21,hit).
seed(1720,9679,3389,12119,93,hit).
seed(1721,6263,8647,11489,14,hit).
seed(1722,7079,8089,13709,26,hit).
seed(1723,20219,8969,19709,39,hit).
seed(1724,20611,26107,1433,81,hit).
seed(1725,25219,23417,10589,74,hit).
seed(1726,22613,10193,6197,44,hit).
seed(1727,2309,25013,29201,300,miss).
seed(1728,1531,8543,1993,17,hit).
seed(1729,15439,12841,211,300,miss).
seed(1730,19889,24023,19441,300,miss).
seed(1731,1741,5323,29833,74,hit).
seed(1732,21061,3877,13789,15,hit).
seed(1733,14251,3677,983,17,hit).
seed(1734,12983,8663,18047,39,hit).
seed(1735,1601,5653,10321,49,hit).
seed(1736,12841,9059,17351,12,hit).
seed(1737,12301,12101,15641,61,hit).
seed(1738,23497,27847,233,300,miss).
seed(1739,5717,15427,491,34,hit).
seed(1740,11071,3911,26357,34,hit).
seed(1741,1123,2647,4339,13,hit).
seed(1742,23819,2339,27109,90,hit).
seed(1743,25639,193,11597,70,hit).
seed(1744,2897,21997,28753,44,hit).
seed(1745,18439,7159,27943,11,hit).
seed(1746,26347,5659,15859,26,hit).
seed(1747,24683,24419,23753,6,hit).
seed(1748,15727,12241,5701,18,hit).
seed(1749,443,26993,4919,67,hit).
seed(1750,17729,14827,21517,118,hit).
seed(1751,8179,1627,6703,67,hit).
seed(1752,23339,2749,13759,84,hit).
seed(1753,7523,1429,27481,29,hit).
seed(1754,13229,10211,9281,137,hit).
seed(1755,10093,4591,8093,17,hit).
seed(1756,12517,26759,10139,38,hit).
seed(1757,3833,25601,4447,49,hit).
seed(1758,17939,1613,11597,300,miss).
seed(1759,1213,23663,14683,6,hit).
seed(1760,18859,9587,25523,61,hit).
seed(1761,1523,3499,25523,79,hit).
seed(1762,7457,15013,2647,300,miss).
seed(1763,227,25447,13537,31,hit).
seed(1764,14897,2143,14731,12,hit).
seed(1765,701,9293,21851,300,miss).
seed(1766,2467,14479,4027,16,hit).
seed(1767,19301,13997,15541,61,hit).
seed(1768,14281,7459,8867,87,hit).
seed(1769,19157,293,8093,13,hit).
seed(1770,20117,1997,8689,59,hit).
seed(1771,10711,29333,6863,17,hit).
seed(1772,1489,16829,10631,91,hit).
seed(1773,27743,13103,16447,300,miss).
seed(1774,19069,9551,22963,17,hit).
seed(1775,20389,13171,7109,196,hit).
seed(1776,7487,22937,12517,3,hit).
seed(1777,4261,5897,7253,18,hit).
seed(1778,10613,17791,19273,29,hit).
seed(1779,3823,23747,22741,53,hit).
seed(1780,1409,4211,23071,7,hit).
seed(1781,19213,28069,1459,17,hit).
seed(1782,17117,11399,3407,38,hit).
seed(1783,21397,1861,3617,93,hit).
seed(1784,20921,10303,13963,17,hit).
seed(1785,16057,16339,971,100,hit).
seed(1786,6397,18013,6869,52,hit).
seed(1787,1231,25031,8209,47,hit).
seed(1788,21011,4967,21407,42,hit).
seed(1789,5701,19069,24781,39,hit).
seed(1790,6691,18089,24907,56,hit).
seed(1791,25951,10709,11411,38,hit).
seed(1792,10667,6247,20789,68,hit).
seed(1793,27647,9479,22613,8,hit).
seed(1794,9629,4733,9613,300,miss).
seed(1795,19577,17581,5741,13,hit).
seed(1796,11789,20641,18379,74,hit).
seed(1797,13127,24251,4813,300,miss).
seed(1798,26171,4591,26993,26,hit).
seed(1799,317,5717,15263,34,hit).
seed(1800,6899,16651,6197,58,hit).
seed(1801,27701,18911,5303,15,hit).
seed(1802,14827,6449,10709,300,miss).
seed(1803,13313,14347,3931,71,hit).
seed(1804,28961,12703,18191,300,miss).
seed(1805,22157,16747,27107,20,hit).
seed(1806,17417,11411,10529,300,miss).
seed(1807,5507,14033,15727,37,hit).
seed(1808,15161,26953,14737,63,hit).
seed(1809,5623,9743,10009,8,hit).
seed(1810,6619,25577,13297,55,hit).
seed(1811,27277,2137,29347,59,hit).
seed(1812,2459,12119,10867,19,hit).
seed(1813,10597,7577,14731,300,miss).
seed(1814,17713,21997,1483,121,hit).
seed(1815,2399,16633,19717,34,hit).
seed(1816,4243,26839,17359,95,hit).
seed(1817,15373,433,5779,227,hit).
seed(1818,23689,8923,28057,91,hit).
seed(1819,4931,16633,4877,37,hit).
seed(1820,27427,3491,18397,84,hit).
seed(1821,7853,17431,17077,8,hit).
seed(1822,15061,25447,12503,16,hit).
seed(1823,1399,373,5881,82,hit).
seed(1824,26981,19211,19301,86,hit).
seed(1825,24223,16633,19841,77,hit).
seed(1826,8747,4091,21599,12,hit).
seed(1827,6329,8573,9349,41,hit).
seed(1828,28163,27271,6317,26,hit).
seed(1829,22811,1609,7537,141,hit).
seed(1830,10247,28817,15671,64,hit).
seed(1831,16831,26849,22157,51,hit).
seed(1832,8627,17077,11681,151,hit).
seed(1833,6361,9151,11047,64,hit).
seed(1834,6733,26783,3169,36,hit).
seed(1835,19739,28711,3023,66,hit).
seed(1836,5189,1993,15017,19,hit).
seed(1837,257,9629,6247,78,hit).
seed(1838,29759,18523,29033,28,hit).
seed(1839,17761,10939,28789,89,hit).
seed(1840,6899,6547,6967,31,hit).
seed(1841,19753,16339,5531,6,hit).
seed(1842,19973,7507,14243,40,hit).
seed(1843,2417,24499,27647,76,hit).
seed(1844,337,4027,7019,65,hit).
seed(1845,21269,6197,24989,15,hit).
seed(1846,15173,25741,22861,61,hit).
seed(1847,23027,29741,4691,300,miss).
seed(1848,6481,25793,5849,300,miss).
seed(1849,28541,8287,2713,300,miss).
seed(1850,27109,7877,8627,300,miss).
seed(1851,25309,14737,27407,39,hit).
seed(1852,20663,8123,5399,63,hit).
seed(1853,29833,28057,23741,300,miss).
seed(1854,1427,2083,8171,48,hit).
seed(1855,25819,1553,163,18,hit).
seed(1856,1621,11981,22973,43,hit).
seed(1857,5503,28463,29669,80,hit).
seed(1858,13751,28669,24697,300,miss).
seed(1859,7867,15193,12037,16,hit).
seed(1860,19031,3659,16747,57,hit).
seed(1861,251,4093,967,118,hit).
seed(1862,25873,28123,4523,199,hit).
seed(1863,12497,19583,15451,300,miss).
seed(1864,29761,2063,28813,13,hit).
seed(1865,26759,24851,9293,76,hit).
seed(1866,2131,10973,8537,38,hit).
seed(1867,21341,22409,11279,51,hit).
seed(1868,15187,29137,9173,99,hit).
seed(1869,2633,8053,823,16,hit).
seed(1870,2699,28517,18401,125,hit).
seed(1871,14449,27617,24499,300,miss).
seed(1872,5431,15299,3407,14,hit).
seed(1873,15193,16349,719,46,hit).
seed(1874,17321,5881,12413,18,hit).
seed(1875,1949,25411,6247,42,hit).
seed(1876,7213,15937,15667,40,hit).
seed(1877,9403,6679,21157,300,miss).
seed(1878,1913,11987,5417,300,miss).
seed(1879,11597,22697,2027,146,hit).
seed(1880,5419,5839,16063,45,hit).
seed(1881,16057,18397,11941,51,hit).
seed(1882,27541,11491,18397,59,hit).
seed(1883,2477,9161,28081,25,hit).
seed(1884,12473,22721,11593,300,miss).
seed(1885,20719,13997,6581,14,hit).
seed(1886,16477,23201,4271,70,hit).
seed(1887,15601,24239,27509,300,miss).
seed(1888,17981,19157,17207,23,hit).
seed(1889,21773,23789,22447,81,hit).
seed(1890,17729,1433,14627,101,hit).
seed(1891,18097,4217,6521,60,hit).
seed(1892,22637,9013,421,300,miss).
seed(1893,24239,9539,24151,45,hit).
seed(1894,25169,27277,16453,46,hit).
seed(1895,3187,6101,16447,63,hit).
seed(1896,5011,14347,1109,35,hit).
seed(1897,9649,811,26981,26,hit).
seed(1898,7639,9463,27107,55,hit).
seed(1899,17483,22129,19541,14,hit).
seed(1900,22739,10837,11959,19,hit).
seed(1901,20231,1301,12119,45,hit).
seed(1902,17683,28871,14251,20,hit).
seed(1903,11213,997,19457,300,miss).
seed(1904,22483,4129,7459,72,hit).
seed(1905,439,24611,1901,300,miss).
seed(1906,929,27733,10009,64,hit).
seed(1907,18521,11057,27191,45,hit).
seed(1908,331,27239,29333,50,hit).
seed(1909,6217,11783,2161,43,hit).
seed(1910,15541,14207,2803,56,hit).
seed(1911,1787,2939,7159,21,hit).
seed(1912,13613,22171,4229,86,hit).
seed(1913,20477,14753,12899,55,hit).
seed(1914,16273,3019,17483,46,hit).
seed(1915,28927,28621,19919,300,miss).
seed(1916,19427,7243,21881,21,hit).
seed(1917,12791,16829,2753,39,hit).
seed(1918,20887,23399,4919,300,miss).
seed(1919,20509,27809,5557,45,hit).
seed(1920,12433,20407,24317,25,hit).
seed(1921,3373,9311,24509,90,hit).
seed(1922,6619,1033,25423,300,miss).
seed(1923,17497,26449,2027,18,hit).
seed(1924,11171,17989,5683,14,hit).
seed(1925,25307,3559,1171,66,hit).
seed(1926,3329,16763,23627,14,hit).
seed(1927,16703,1871,383,201,hit).
seed(1928,5077,5569,18713,46,hit).
seed(1929,6869,431,691,61,hit).
seed(1930,29383,25037,20089,300,miss).
seed(1931,3037,18127,28183,20,hit).
seed(1932,12251,26189,5783,256,hit).
seed(1933,27481,10639,6971,17,hit).
seed(1934,3433,25561,22273,25,hit).
seed(1935,15269,22573,4273,46,hit).
seed(1936,7237,727,7351,300,miss).
seed(1937,13327,1933,10853,8,hit).
seed(1938,13451,6763,1213,66,hit).
seed(1939,17623,16787,17981,55,hit).
seed(1940,5039,6389,1033,35,hit).
seed(1941,5737,19597,17581,19,hit).
seed(1942,11549,24859,13567,209,hit).
seed(1943,17021,2029,13931,300,miss).
seed(1944,23039,10631,7573,300,miss).
seed(1945,16619,2239,5059,41,hit).
seed(1946,28627,1103,25801,300,miss).
seed(1947,16567,13219,28627,300,miss).
seed(1948,25703,13537,15083,63,hit).
seed(1949,9929,21121,29411,164,hit).
seed(1950,23473,17431,15061,66,hit).
seed(1951,14737,27653,22531,300,miss).
seed(1952,24989,20879,20287,56,hit).
seed(1953,9619,9049,21799,300,miss).
seed(1954,433,21143,29599,300,miss).
seed(1955,9923,23789,14327,300,miss).
seed(1956,25793,16987,25747,26,hit).
seed(1957,1459,20947,19949,300,miss).
seed(1958,15107,12907,16927,32,hit).
seed(1959,25589,25321,20089,110,hit).
seed(1960,3919,23747,10589,98,hit).
seed(1961,23669,19919,29741,49,hit).
seed(1962,6553,11437,3533,28,hit).
seed(1963,27917,11887,21031,98,hit).
seed(1964,19843,21737,3797,46,hit).
seed(1965,24697,18047,22963,27,hit).
seed(1966,1667,25801,4787,79,hit).
seed(1967,1171,23801,22277,9,hit).
seed(1968,27689,16187,13831,300,miss).
seed(1969,28619,2459,7243,15,hit).
seed(1970,4861,24179,13421,135,hit).
seed(1971,29837,13147,6709,18,hit).
seed(1972,983,3121,7607,7,hit).
seed(1973,17293,12781,4549,58,hit).
seed(1974,7687,9419,11887,17,hit).
seed(1975,23671,17209,11497,24,hit).
seed(1976,22691,4201,28297,51,hit).
seed(1977,4013,19141,23017,300,miss).
seed(1978,27059,23279,6907,29,hit).
seed(1979,3209,26479,24509,15,hit).
seed(1980,14887,25087,11393,92,hit).
seed(1981,27919,4967,23627,39,hit).
seed(1982,10979,28817,29423,72,hit).
seed(1983,5107,19273,10369,28,hit).
seed(1984,12809,25219,3137,83,hit).
seed(1985,17839,18371,22367,300,miss).
seed(1986,5501,26557,7537,27,hit).
seed(1987,24847,20327,14251,33,hit).
seed(1988,2003,20981,13669,31,hit).
seed(1989,1531,24439,661,79,hit).
seed(1990,18251,21379,269,40,hit).
seed(1991,4451,1327,2843,16,hit).
seed(1992,16411,2381,23971,20,hit).
seed(1993,4919,28031,21871,300,miss).
seed(1994,26021,5189,1091,297,hit).
seed(1995,5839,16103,227,46,hit).
seed(1996,277,19583,7583,17,hit).
seed(1997,6871,4441,8933,16,hit).
seed(1998,29581,19403,12037,300,miss).
seed(1999,20177,25307,2063,300,miss).
seed(2000,24709,6871,919,69,hit).
seed(2001,18149,20747,28279,135,hit).
seed(2002,28817,23311,18089,46,hit).
seed(2003,8623,8543,6271,86,hit).
seed(2004,1327,12149,3067,37,hit).
seed(2005,26209,21283,5737,79,hit).
seed(2006,20903,4157,5923,21,hit).
seed(2007,9419,23209,17203,72,hit).
seed(2008,29077,23609,419,131,hit).
seed(2009,18719,18719,11827,46,hit).
seed(2010,11831,12041,12451,300,miss).
seed(2011,25919,3881,17939,300,miss).
seed(2012,8573,16657,28949,19,hit).
seed(2013,13217,17047,23819,52,hit).
seed(2014,5431,17789,9029,179,hit).
seed(2015,29231,26863,2203,21,hit).
seed(2016,19949,13591,26371,29,hit).
seed(2017,29629,12697,26141,93,hit).
seed(2018,4021,20747,26627,21,hit).
seed(2019,22453,29873,6709,96,hit).
seed(2020,22549,22769,27367,69,hit).
seed(2021,19139,13831,17107,300,miss).
seed(2022,3203,9721,12157,49,hit).
seed(2023,6091,1861,9181,300,miss).
seed(2024,24029,17981,8059,16,hit).
seed(2025,6323,28447,18433,41,hit).
seed(2026,6269,19739,7477,76,hit).
seed(2027,19031,25031,18287,31,hit).
seed(2028,5107,12263,29873,280,hit).
seed(2029,21221,18443,29383,67,hit).
seed(2030,15331,9007,4523,59,hit).
seed(2031,15439,13873,4603,9,hit).
seed(2032,947,15787,24481,47,hit).
seed(2033,6257,6481,4159,67,hit).
seed(2034,10781,8527,20507,300,miss).
seed(2035,25057,29123,16567,21,hit).
seed(2036,12049,3847,8731,6,hit).
seed(2037,6389,571,19441,39,hit).
seed(2038,25261,16921,811,219,hit).
seed(2039,26317,17393,14891,8,hit).
seed(2040,12721,4357,28097,26,hit).
seed(2041,15031,3391,25931,66,hit).
seed(2042,22531,8689,3527,69,hit).
seed(2043,27773,18413,1033,300,miss).
seed(2044,20947,1277,9413,56,hit).
seed(2045,15749,19267,28069,17,hit).
seed(2046,3691,13523,26309,18,hit).
seed(2047,18869,811,14653,64,hit).
seed(2048,25349,18289,27941,5,hit).
seed(2049,19997,9547,14341,20,hit).
seed(2050,24029,2539,2917,109,hit).
seed(2051,16981,27803,3011,63,hit).
seed(2052,24379,12049,25903,53,hit).
seed(2053,28657,13829,25121,300,miss).
seed(2054,20789,3929,13693,21,hit).
seed(2055,24499,1789,839,31,hit).
seed(2056,17789,28669,28099,89,hit).
seed(2057,23929,27793,28393,32,hit).
seed(2058,23623,16361,7027,54,hit).
seed(2059,1019,701,7621,71,hit).
seed(2060,5689,9049,18077,46,hit).
seed(2061,2671,4481,29027,65,hit).
seed(2062,12391,12323,7039,300,miss).
seed(2063,9203,4759,14431,300,miss).
seed(2064,1319,26267,10607,60,hit).
seed(2065,28477,23333,14153,300,miss).
seed(2066,4423,15137,27581,53,hit).
seed(2067,15373,6829,17431,16,hit).
seed(2068,2953,4877,9623,11,hit).
seed(2069,821,18253,25621,116,hit).
seed(2070,26647,18773,11411,300,miss).
seed(2071,4729,27143,27397,33,hit).
seed(2072,373,26927,29347,45,hit).
seed(2073,12107,9859,3221,300,miss).
seed(2074,16963,25951,29191,300,miss).
seed(2075,26839,191,9781,300,miss).
seed(2076,15137,15217,22129,300,miss).
seed(2077,9629,12301,5297,16,hit).
seed(2078,18593,1193,6569,13,hit).
seed(2079,5009,8819,6247,137,hit).
seed(2080,5849,25243,2917,126,hit).
seed(2081,7237,27017,17681,12,hit).
seed(2082,24697,16759,22739,26,hit).
seed(2083,2843,16631,18913,35,hit).
seed(2084,619,11717,12697,154,hit).
seed(2085,13933,26227,5861,21,hit).
seed(2086,9239,433,26227,300,miss).
seed(2087,17807,13477,10169,46,hit).
seed(2088,2683,15991,5419,59,hit).
seed(2089,12619,17419,8089,300,miss).
seed(2090,8263,6661,27773,56,hit).
seed(2091,3613,18521,17789,30,hit).
seed(2092,8663,22531,3659,27,hit).
seed(2093,17443,9403,5741,131,hit).
seed(2094,27067,3319,709,159,hit).
seed(2095,4721,21859,12941,300,miss).
seed(2096,1783,13757,22051,38,hit).
seed(2097,28097,16661,13177,13,hit).
seed(2098,14557,10651,14479,64,hit).
seed(2099,20173,13457,22013,30,hit).
seed(2100,19031,6961,7039,19,hit).
seed(2101,23357,26713,25247,47,hit).
seed(2102,7351,28219,21701,300,miss).
seed(2103,21179,11971,2803,67,hit).
seed(2104,15077,23669,4951,55,hit).
seed(2105,7933,25981,14713,25,hit).
seed(2106,4027,3209,17207,300,miss).
seed(2107,14347,16189,27487,73,hit).
seed(2108,24043,8623,29789,73,hit).
seed(2109,29191,29101,7481,23,hit).
seed(2110,22697,2833,15427,38,hit).
seed(2111,16763,199,5651,39,hit).
seed(2112,20177,19889,4133,300,miss).
seed(2113,15937,5417,2203,50,hit).
seed(2114,6823,7211,13003,129,hit).
seed(2115,7187,18401,23167,47,hit).
seed(2116,2683,10313,25621,74,hit).
seed(2117,24443,27617,4691,141,hit).
seed(2118,26119,2333,6763,251,hit).
seed(2119,2383,15131,28027,61,hit).
seed(2120,19583,4691,2069,38,hit).
seed(2121,5237,1499,6637,87,hit).
seed(2122,5981,29423,383,62,hit).
seed(2123,12569,8123,23327,47,hit).
seed(2124,27127,18329,5171,10,hit).
seed(2125,12073,2659,26053,79,hit).
seed(2126,23627,5009,28547,22,hit).
seed(2127,23251,3709,12611,18,hit).
seed(2128,15083,21661,29723,45,hit).
seed(2129,16477,9803,23833,300,miss).
seed(2130,9697,13877,17167,34,hit).
seed(2131,25537,16057,14831,39,hit).
seed(2132,24151,17683,823,59,hit).
seed(2133,2011,389,8467,85,hit).
seed(2134,8087,27109,5297,300,miss).
seed(2135,19237,20809,14591,25,hit).
seed(2136,15817,5557,8669,31,hit).
seed(2137,20611,20749,18131,116,hit).
seed(2138,24763,5779,16417,22,hit).
seed(2139,13267,8839,3691,71,hit).
seed(2140,6959,10169,4271,120,hit).
seed(2141,24509,6737,16607,123,hit).
seed(2142,5783,18719,3769,149,hit).
seed(2143,13711,15643,10093,74,hit).
seed(2144,8839,3209,1193,126,hit).
seed(2145,21101,6343,15581,20,hit).
seed(2146,29021,12251,9041,49,hit).
seed(2147,251,19927,11243,45,hit).
seed(2148,21881,8089,20903,38,hit).
seed(2149,823,15581,26561,13,hit).
seed(2150,14939,20399,3779,17,hit).
seed(2151,27541,8893,15413,58,hit).
seed(2152,17681,523,3767,17,hit).
seed(2153,6841,21589,20807,73,hit).
seed(2154,17923,14251,359,5,hit).
seed(2155,3191,11173,23899,12,hit).
seed(2156,17321,5021,18401,17,hit).
seed(2157,5099,3121,18539,57,hit).
seed(2158,9241,23053,23459,94,hit).
seed(2159,12149,10457,23417,2,hit).
seed(2160,22777,15733,3779,12,hit).
seed(2161,5689,3359,6151,55,hit).
seed(2162,25657,8179,6173,46,hit).
seed(2163,10253,8563,23971,70,hit).
seed(2164,5399,21163,14771,300,miss).
seed(2165,25981,7253,25873,12,hit).
seed(2166,149,11083,27253,67,hit).
seed(2167,19231,1429,17029,7,hit).
seed(2168,28547,16607,3109,300,miss).
seed(2169,4643,2927,12689,60,hit).
seed(2170,29669,15767,2593,138,hit).
seed(2171,3217,2707,18979,55,hit).
seed(2172,9941,21179,431,300,miss).
seed(2173,19709,3191,5441,300,miss).
seed(2174,2971,18461,13709,49,hit).
seed(2175,23603,14207,1697,66,hit).
seed(2176,9769,20549,29287,60,hit).
seed(2177,14683,8431,20639,1,hit).
seed(2178,15131,23087,7001,12,hit).
seed(2179,4691,20731,2731,38,hit).
seed(2180,17159,8053,17033,300,miss).
seed(2181,28661,8999,21839,84,hit).
seed(2182,20981,6733,6173,87,hit).
seed(2183,3607,2281,6217,12,hit).
seed(2184,27967,16631,23497,6,hit).
seed(2185,16823,29837,20011,33,hit).
seed(2186,20639,27803,27427,45,hit).
seed(2187,25609,18311,17579,37,hit).
seed(2188,28069,11279,15349,69,hit).
seed(2189,1499,10139,12821,66,hit).
seed(2190,5563,1487,22573,51,hit).
seed(2191,2027,6959,2351,108,hit).
seed(2192,8599,7669,3691,89,hit).
seed(2193,10597,4793,2971,46,hit).
seed(2194,4259,17881,2789,300,miss).
seed(2195,29147,9137,3779,92,hit).
seed(2196,29837,7079,10631,3,hit).
seed(2197,29347,11113,283,18,hit).
seed(2198,22567,22031,10433,26,hit).
seed(2199,907,4933,23269,64,hit).
seed(2200,10273,25643,4003,50,hit).
seed(2201,5347,4919,28319,300,miss).
seed(2202,953,19867,22193,20,hit).
seed(2203,21613,10133,20323,300,miss).
seed(2204,27739,5273,3797,300,miss).
seed(2205,15473,11383,2591,46,hit).
seed(2206,29173,11719,20107,50,hit).
seed(2207,3623,23537,23801,30,hit).
seed(2208,7529,23431,4157,34,hit).
seed(2209,29339,12743,2749,185,hit).
seed(2210,22003,29339,10333,300,miss).
seed(2211,431,1907,6871,94,hit).
seed(2212,26267,13441,17401,17,hit).
seed(2213,17483,22777,23929,38,hit).
seed(2214,23761,12097,23087,87,hit).
seed(2215,29863,16703,5059,300,miss).
seed(2216,7349,11941,139,96,hit).
seed(2217,6961,17239,28219,53,hit).
seed(2218,8521,12457,19259,26,hit).
seed(2219,9203,14633,14759,53,hit).
seed(2220,10531,20807,14891,40,hit).
seed(2221,22787,4969,26777,12,hit).
seed(2222,6793,24889,15331,35,hit).
seed(2223,16673,14249,17417,46,hit).
seed(2224,8167,26669,22133,68,hit).
seed(2225,12421,9833,12967,300,miss).
seed(2226,13831,23609,22739,3,hit).
seed(2227,2333,10357,7793,74,hit).
seed(2228,12433,16607,5779,11,hit).
seed(2229,29881,18131,10883,133,hit).
seed(2230,24103,14621,13613,8,hit).
seed(2231,5527,22937,21799,104,hit).
seed(2232,3917,7727,811,11,hit).
seed(2233,28201,9491,6389,62,hit).
seed(2234,14449,24229,24133,300,miss).
seed(2235,487,653,13259,31,hit).
seed(2236,16673,28351,13931,300,miss).
seed(2237,8069,14657,13451,18,hit).
seed(2238,16097,28411,683,300,miss).
seed(2239,11681,20233,26321,51,hit).
seed(2240,2731,10091,6781,75,hit).
seed(2241,17327,11719,15749,6,hit).
seed(2242,27689,29599,15031,6,hit).
seed(2243,13997,5531,18199,63,hit).
seed(2244,10289,17921,509,44,hit).
seed(2245,23017,21803,17011,33,hit).
seed(2246,27179,17359,2221,48,hit).
seed(2247,7253,15817,2713,33,hit).
seed(2248,14747,3169,28289,44,hit).
seed(2249,2789,10601,3221,18,hit).
seed(2250,937,10103,9127,300,miss).
seed(2251,7369,27673,829,11,hit).
seed(2252,15053,11489,6277,70,hit).
seed(2253,3863,14627,23473,300,miss).
seed(2254,27823,24631,16901,37,hit).
seed(2255,24547,24799,2311,193,hit).
seed(2256,20113,25307,15859,18,hit).
seed(2257,28789,20327,21617,19,hit).
seed(2258,6337,12503,3671,10,hit).
seed(2259,24197,1217,617,31,hit).
seed(2260,3083,9133,21059,300,miss).
seed(2261,19181,13921,23357,300,miss).
seed(2262,19309,5273,13219,300,miss).
seed(2263,17791,1381,22573,300,miss).
seed(2264,12437,27803,18341,31,hit).
seed(2265,9923,27127,9043,57,hit).
seed(2266,4259,2383,3709,115,hit).
seed(2267,761,16139,20921,20,hit).
seed(2268,19001,24203,2131,39,hit).
seed(2269,26183,16879,9623,49,hit).
seed(2270,2399,11057,13999,128,hit).
seed(2271,25703,7537,25411,40,hit).
seed(2272,4813,20233,1289,25,hit).
seed(2273,1901,12799,15193,45,hit).
seed(2274,23057,18917,12409,65,hit).
seed(2275,22699,16349,18787,22,hit).
seed(2276,28643,23719,20147,121,hit).
seed(2277,10733,24821,15289,16,hit).
seed(2278,2333,7949,22153,24,hit).
seed(2279,18413,19181,20297,300,miss).
seed(2280,13799,5101,4153,68,hit).
seed(2281,29917,19087,20347,41,hit).
seed(2282,317,23819,20323,16,hit).
seed(2283,21991,26849,9803,300,miss).
seed(2284,28027,4973,20857,57,hit).
seed(2285,1613,8389,20743,13,hit).
seed(2286,8783,9767,613,70,hit).
seed(2287,15493,13681,18671,36,hit).
seed(2288,21379,5303,9041,300,miss).
seed(2289,29753,23297,19961,25,hit).
seed(2290,9467,23767,18439,300,miss).
seed(2291,9929,10607,16427,300,miss).
seed(2292,27061,22783,2887,73,hit).
seed(2293,3931,19801,739,214,hit).
seed(2294,653,20129,1609,62,hit).
seed(2295,25931,727,5981,18,hit).
seed(2296,29411,26723,4789,73,hit).
seed(2297,179,8713,21397,15,hit).
seed(2298,12889,2833,29209,50,hit).
seed(2299,4919,21023,617,204,hit).
seed(2300,6329,26681,21193,300,miss).
seed(2301,1061,24547,13033,300,miss).
seed(2302,1951,16141,24179,300,miss).
seed(2303,16921,3761,1249,300,miss).
seed(2304,5737,20707,3407,9,hit).
seed(2305,2029,6911,6361,21,hit).
seed(2306,11719,18119,29123,32,hit).
seed(2307,28979,19751,3919,97,hit).
seed(2308,8513,28603,28663,131,hit).
seed(2309,6121,24527,22613,300,miss).
seed(2310,4229,10837,22469,124,hit).
seed(2311,457,20177,23117,23,hit).
seed(2312,5821,22349,18289,48,hit).
seed(2313,21521,8707,23311,109,hit).
seed(2314,22573,20747,17077,65,hit).
seed(2315,13469,137,3089,3,hit).
seed(2316,4177,11353,26177,15,hit).
seed(2317,12583,4643,25073,25,hit).
seed(2318,1231,26669,28387,300,miss).
seed(2319,15667,577,7793,166,hit).
seed(2320,25033,3163,7193,224,hit).
seed(2321,28069,6971,29347,19,hit).
seed(2322,2837,5437,5843,31,hit).
seed(2323,29741,5107,8941,31,hit).
seed(2324,1459,29527,1559,60,hit).
seed(2325,16657,2753,10357,31,hit).
seed(2326,26449,24391,4447,69,hit).
seed(2327,15083,22391,21487,28,hit).
seed(2328,3299,9479,10079,68,hit).
seed(2329,23173,25229,20731,29,hit).
seed(2330,331,29537,17231,39,hit).
seed(2331,23689,839,24631,15,hit).
seed(2332,1297,1231,3847,100,hit).
seed(2333,157,2467,8839,75,hit).
seed(2334,22691,23167,24971,67,hit).
seed(2335,10831,24061,1153,52,hit).
seed(2336,14549,8527,5059,47,hit).
seed(2337,12503,27779,18593,300,miss).
seed(2338,26029,1873,13649,21,hit).
seed(2339,13907,18859,2341,12,hit).
seed(2340,12007,823,16573,300,miss).
seed(2341,11701,28289,7669,4,hit).
seed(2342,1873,20233,13693,92,hit).
seed(2343,857,22669,27011,52,hit).
seed(2344,12917,22073,15923,300,miss).
seed(2345,27091,6733,24391,134,hit).
seed(2346,14717,12911,6781,300,miss).
seed(2347,29663,22037,3307,68,hit).
seed(2348,22717,19037,29389,60,hit).
seed(2349,5851,9851,17489,52,hit).
seed(2350,17257,5591,4421,32,hit).
seed(2351,11399,22573,10687,41,hit).
seed(2352,6869,6217,12473,30,hit).
seed(2353,17981,8233,14633,67,hit).
seed(2354,5867,28307,15349,46,hit).
seed(2355,8467,9161,1117,30,hit).
seed(2356,28393,5647,3359,53,hit).
seed(2357,5323,25589,14029,47,hit).
seed(2358,9161,9839,3391,38,hit).
seed(2359,12203,27397,22171,300,miss).
seed(2360,15749,9403,15889,69,hit).
seed(2361,17351,4073,8273,8,hit).
seed(2362,18523,27893,21011,79,hit).
seed(2363,29077,9091,22447,37,hit).
seed(2364,12973,3433,5333,13,hit).
seed(2365,15193,887,12491,27,hit).
seed(2366,4969,2267,521,300,miss).
seed(2367,9619,22567,631,300,miss).
seed(2368,1549,17333,3023,69,hit).
seed(2369,29207,2753,3581,156,hit).
seed(2370,27733,27143,9649,300,miss).
seed(2371,16087,20407,19843,9,hit).
seed(2372,18757,25447,17747,300,miss).
seed(2373,2671,8737,13723,9,hit).
seed(2374,7019,9649,23209,300,miss).
seed(2375,4793,11887,2383,102,hit).
seed(2376,26339,20047,28723,300,miss).
seed(2377,17341,11981,19927,129,hit).
seed(2378,20323,761,13259,5,hit).
seed(2379,25037,7549,18223,9,hit).
seed(2380,18587,22861,13249,300,miss).
seed(2381,25763,26813,7649,203,hit).
seed(2382,4523,18013,12451,36,hit).
seed(2383,277,5323,6529,34,hit).
seed(2384,26981,7759,9511,13,hit).
seed(2385,28909,9343,23813,26,hit).
seed(2386,25247,4049,887,32,hit).
seed(2387,2699,2647,21839,47,hit).
seed(2388,23857,2803,13291,72,hit).
seed(2389,3671,10691,12479,20,hit).
seed(2390,19937,15383,28603,300,miss).
seed(2391,15733,5261,10333,43,hit).
seed(2392,2837,6763,28949,44,hit).
seed(2393,16487,10211,22709,18,hit).
seed(2394,26209,1487,10333,300,miss).
seed(2395,7057,6089,26573,34,hit).
seed(2396,26731,9859,28027,39,hit).
seed(2397,26113,3593,9689,79,hit).
seed(2398,29537,9137,17099,33,hit).
seed(2399,4229,29383,28949,101,hit).
seed(2400,3391,16829,11519,9,hit).
seed(2401,6451,3527,26029,82,hit).
seed(2402,21737,22751,12203,5,hit).
seed(2403,15601,17923,29153,300,miss).
seed(2404,20389,12941,4621,88,hit).
seed(2405,17383,18439,9949,8,hit).
seed(2406,22901,25643,25951,124,hit).
seed(2407,12893,5573,21937,50,hit).
seed(2408,2017,23929,1433,174,hit).
seed(2409,23017,14813,3499,38,hit).
seed(2410,18061,15137,22619,57,hit).
seed(2411,29531,28817,27901,70,hit).
seed(2412,4637,28867,2179,300,miss).
seed(2413,6977,17077,15289,66,hit).
seed(2414,20749,14779,9319,66,hit).
seed(2415,14347,18803,22093,87,hit).
seed(2416,20143,2039,17333,300,miss).
seed(2417,11317,3673,2179,29,hit).
seed(2418,24677,6211,7877,70,hit).
seed(2419,10837,5167,307,300,miss).
seed(2420,27919,10139,11801,33,hit).
seed(2421,18061,11701,28687,33,hit).
seed(2422,18539,13033,25111,300,miss).
seed(2423,12547,15061,22003,56,hit).
seed(2424,24391,16103,6947,168,hit).
seed(2425,1787,18191,4051,25,hit).
seed(2426,14051,28631,29723,24,hit).
seed(2427,18593,28979,23209,40,hit).
seed(2428,23623,10193,12671,27,hit).
seed(2429,28349,11959,23801,85,hit).
seed(2430,22937,12149,28319,300,miss).
seed(2431,18503,22031,14821,35,hit).
seed(2432,25969,2609,5849,59,hit).
seed(2433,12539,12959,19751,300,miss).
seed(2434,2089,29761,6451,31,hit).
seed(2435,21227,11261,7283,11,hit).
seed(2436,24793,3049,21011,300,miss).
seed(2437,27773,19553,10303,20,hit).
seed(2438,15299,25453,26717,28,hit).
seed(2439,13903,22859,7517,102,hit).
seed(2440,13241,6337,17417,76,hit).
seed(2441,563,22159,19001,58,hit).
seed(2442,26783,4483,6101,22,hit).
seed(2443,18367,14281,6977,300,miss).
seed(2444,7321,14939,8713,74,hit).
seed(2445,5701,17333,23917,23,hit).
seed(2446,22193,6791,29327,114,hit).
seed(2447,2729,26927,13649,40,hit).
seed(2448,1489,4673,12697,61,hit).
seed(2449,25679,13033,7639,37,hit).
seed(2450,7993,25633,19001,34,hit).
seed(2451,15901,16889,21649,14,hit).
seed(2452,3803,1747,23633,10,hit).
seed(2453,881,22291,22691,20,hit).
seed(2454,28513,191,593,24,hit).
seed(2455,11113,4691,25037,9,hit).
seed(2456,28687,3307,3061,105,hit).
seed(2457,9769,19813,17257,6,hit).
seed(2458,20627,15913,5471,18,hit).
seed(2459,1721,1997,7307,66,hit).
seed(2460,19267,12347,9137,64,hit).
seed(2461,5231,269,3691,20,hit).
seed(2462,20857,6661,2917,56,hit).
seed(2463,17987,3797,23227,19,hit).
seed(2464,1307,10909,137,300,miss).
seed(2465,21997,25463,14107,76,hit).
seed(2466,14813,21991,11681,236,hit).
seed(2467,6361,16453,4159,7,hit).
seed(2468,1399,20921,8609,15,hit).
seed(2469,7507,22111,12149,300,miss).
seed(2470,2803,6173,29179,59,hit).
seed(2471,3877,8311,15161,18,hit).
seed(2472,3673,9281,21851,26,hit).
seed(2473,28163,3299,27059,88,hit).
seed(2474,29383,23279,21499,57,hit).
seed(2475,29131,8513,4273,214,hit).
seed(2476,22013,149,13463,40,hit).
seed(2477,24121,16787,2083,242,hit).
seed(2478,4133,16871,13693,40,hit).
seed(2479,27367,21211,28573,90,hit).
seed(2480,4457,16883,13267,300,miss).
seed(2481,23873,11743,24001,29,hit).
seed(2482,17627,14321,18503,16,hit).
seed(2483,28871,11681,4817,60,hit).
seed(2484,10243,1741,20921,50,hit).
seed(2485,26459,8369,4969,57,hit).
seed(2486,20681,7877,8719,9,hit).
seed(2487,29611,3319,1609,26,hit).
seed(2488,23957,22453,1669,45,hit).
seed(2489,29303,3853,17959,162,hit).
seed(2490,12479,22109,26669,11,hit).
seed(2491,24419,7369,28927,300,miss).
seed(2492,5737,4801,15791,49,hit).
seed(2493,23059,4969,5689,124,hit).
seed(2494,5077,4733,27941,22,hit).
seed(2495,10289,18451,25309,300,miss).
seed(2496,6361,10559,11497,19,hit).
seed(2497,21227,15643,14321,119,hit).
seed(2498,3847,17707,16661,300,miss).
seed(2499,5867,14029,21433,16,hit).
seed(2500,21313,23581,16231,5,hit).