% file: Indo-European-unprocessed

% Indo-European languages
%    obtained from the dataset, assembled by Don Ringe and Ann Taylor, 
%    with the advice of other specialist colleagues, is described in
%       "Indo-European and computational cladistics,"
%       (Transactions of the Philological Society, 100:1:59-129,2002)
%    by Donald Ringe and Tandy Warnow and Ann Taylor .

% 24 languages with 282 informative characters

const k=23.

leaf(0..23).

% f : V x I -> S

f(23,1,3). f(0,1,4). f(1,1,1). f(2,1,1). f(3,1,1). f(4,1,1). 
f(5,1,1). f(6,1,1). f(7,1,1). f(8,1,1). f(9,1,1). f(10,1,2). 
f(11,1,2). f(12,1,5). f(13,1,6). f(14,1,1). f(15,1,1). f(16,1,1). 
f(17,1,1). f(18,1,1). f(19,1,1). f(20,1,1). f(21,1,2). f(22,1,3). 

f(23,2,1). f(0,2,1). f(1,2,1). f(2,2,1). f(3,2,1). f(4,2,1). 
f(5,2,2). f(6,2,2). f(7,2,2). f(8,2,2). f(9,2,1). f(10,2,1). 
f(11,2,1). f(12,2,1). f(13,2,1). f(14,2,1). f(15,2,2). f(16,2,2). 
f(17,2,2). f(18,2,1). f(19,2,1). f(20,2,1). f(21,2,1). f(22,2,1). 

f(23,3,1). f(0,3,1). f(1,3,1). f(2,3,1). f(3,3,1). f(4,3,1). 
f(5,3,2). f(6,3,2). f(7,3,2). f(8,3,2). f(9,3,1). f(10,3,1). 
f(11,3,1). f(12,3,1). f(13,3,1). f(14,3,1). f(15,3,2). f(16,3,3). 
f(17,3,4). f(18,3,1). f(19,3,1). f(20,3,1). f(21,3,1). f(22,3,1). 

f(23,4,1). f(0,4,2). f(1,4,1). f(2,4,1). f(3,4,1). f(4,4,1). 
f(5,4,1). f(6,4,1). f(7,4,1). f(8,4,1). f(9,4,1). f(10,4,1). 
f(11,4,1). f(12,4,2). f(13,4,2). f(14,4,1). f(15,4,1). f(16,4,1). 
f(17,4,1). f(18,4,1). f(19,4,1). f(20,4,1). f(21,4,1). f(22,4,1). 

f(23,5,1). f(0,5,2). f(1,5,1). f(2,5,1). f(3,5,1). f(4,5,1). 
f(5,5,1). f(6,5,1). f(7,5,1). f(8,5,1). f(9,5,1). f(10,5,1). 
f(11,5,1). f(12,5,2). f(13,5,2). f(14,5,1). f(15,5,1). f(16,5,1). 
f(17,5,1). f(18,5,1). f(19,5,1). f(20,5,1). f(21,5,1). f(22,5,1). 

f(23,6,1). f(0,6,2). f(1,6,1). f(2,6,1). f(3,6,1). f(4,6,1). 
f(5,6,1). f(6,6,1). f(7,6,1). f(8,6,1). f(9,6,1). f(10,6,1). 
f(11,6,1). f(12,6,2). f(13,6,2). f(14,6,1). f(15,6,1). f(16,6,1). 
f(17,6,1). f(18,6,1). f(19,6,1). f(20,6,1). f(21,6,1). f(22,6,1). 

f(23,7,1). f(0,7,2). f(1,7,1). f(2,7,1). f(3,7,1). f(4,7,1). 
f(5,7,1). f(6,7,1). f(7,7,1). f(8,7,1). f(9,7,1). f(10,7,1). 
f(11,7,1). f(12,7,2). f(13,7,2). f(14,7,1). f(15,7,1). f(16,7,1). 
f(17,7,1). f(18,7,1). f(19,7,1). f(20,7,1). f(21,7,1). f(22,7,1). 

f(23,8,1). f(0,8,1). f(1,8,1). f(2,8,1). f(3,8,1). f(4,8,2). 
f(5,8,1). f(6,8,1). f(7,8,1). f(8,8,1). f(9,8,1). f(10,8,1). 
f(11,8,1). f(12,8,1). f(13,8,1). f(14,8,2). f(15,8,1). f(16,8,1). 
f(17,8,1). f(18,8,1). f(19,8,1). f(20,8,1). f(21,8,1). f(22,8,1). 

f(23,9,1). f(0,9,1). f(1,9,1). f(2,9,1). f(3,9,1). f(4,9,2). 
f(5,9,1). f(6,9,1). f(7,9,1). f(8,9,1). f(9,9,1). f(10,9,1). 
f(11,9,1). f(12,9,1). f(13,9,1). f(14,9,2). f(15,9,1). f(16,9,1). 
f(17,9,1). f(18,9,1). f(19,9,1). f(20,9,1). f(21,9,1). f(22,9,1). 

f(23,10,1). f(0,10,1). f(1,10,1). f(2,10,1). f(3,10,1). f(4,10,2). 
f(5,10,1). f(6,10,1). f(7,10,1). f(8,10,1). f(9,10,1). f(10,10,1). 
f(11,10,1). f(12,10,1). f(13,10,1). f(14,10,2). f(15,10,1). f(16,10,1). 
f(17,10,1). f(18,10,1). f(19,10,1). f(20,10,1). f(21,10,1). f(22,10,1). 

f(23,11,1). f(0,11,1). f(1,11,1). f(2,11,1). f(3,11,1). f(4,11,2). 
f(5,11,1). f(6,11,1). f(7,11,1). f(8,11,1). f(9,11,1). f(10,11,1). 
f(11,11,1). f(12,11,1). f(13,11,1). f(14,11,2). f(15,11,1). f(16,11,1). 
f(17,11,1). f(18,11,1). f(19,11,1). f(20,11,1). f(21,11,1). f(22,11,1). 

f(23,12,1). f(0,12,1). f(1,12,1). f(2,12,1). f(3,12,1). f(4,12,1). 
f(5,12,2). f(6,12,2). f(7,12,1). f(8,12,1). f(9,12,1). f(10,12,1). 
f(11,12,1). f(12,12,1). f(13,12,1). f(14,12,1). f(15,12,2). f(16,12,1). 
f(17,12,1). f(18,12,1). f(19,12,1). f(20,12,1). f(21,12,1). f(22,12,1). 

f(23,13,1). f(0,13,1). f(1,13,1). f(2,13,1). f(3,13,1). f(4,13,1). 
f(5,13,2). f(6,13,2). f(7,13,1). f(8,13,1). f(9,13,1). f(10,13,1). 
f(11,13,1). f(12,13,1). f(13,13,1). f(14,13,1). f(15,13,3). f(16,13,1). 
f(17,13,1). f(18,13,1). f(19,13,1). f(20,13,1). f(21,13,1). f(22,13,1). 

f(23,14,1). f(0,14,1). f(1,14,1). f(2,14,1). f(3,14,1). f(4,14,1). 
f(5,14,1). f(6,14,2). f(7,14,1). f(8,14,1). f(9,14,1). f(10,14,1). 
f(11,14,1). f(12,14,1). f(13,14,1). f(14,14,1). f(15,14,2). f(16,14,1). 
f(17,14,1). f(18,14,1). f(19,14,1). f(20,14,1). f(21,14,1). f(22,14,1). 

f(23,15,1). f(0,15,1). f(1,15,1). f(2,15,1). f(3,15,1). f(4,15,1). 
f(5,15,1). f(6,15,1). f(7,15,2). f(8,15,2). f(9,15,1). f(10,15,1). 
f(11,15,1). f(12,15,1). f(13,15,1). f(14,15,1). f(15,15,1). f(16,15,2). 
f(17,15,2). f(18,15,1). f(19,15,1). f(20,15,1). f(21,15,1). f(22,15,1). 

f(23,16,1). f(0,16,1). f(1,16,1). f(2,16,1). f(3,16,1). f(4,16,1). 
f(5,16,1). f(6,16,1). f(7,16,1). f(8,16,1). f(9,16,2). f(10,16,1). 
f(11,16,1). f(12,16,1). f(13,16,1). f(14,16,1). f(15,16,1). f(16,16,1). 
f(17,16,1). f(18,16,2). f(19,16,2). f(20,16,2). f(21,16,1). f(22,16,1). 

f(23,17,1). f(0,17,1). f(1,17,1). f(2,17,1). f(3,17,1). f(4,17,1). 
f(5,17,1). f(6,17,1). f(7,17,1). f(8,17,1). f(9,17,2). f(10,17,1). 
f(11,17,1). f(12,17,1). f(13,17,1). f(14,17,1). f(15,17,1). f(16,17,1). 
f(17,17,1). f(18,17,2). f(19,17,2). f(20,17,2). f(21,17,1). f(22,17,1). 

f(23,18,1). f(0,18,1). f(1,18,1). f(2,18,1). f(3,18,1). f(4,18,1). 
f(5,18,1). f(6,18,1). f(7,18,1). f(8,18,1). f(9,18,2). f(10,18,1). 
f(11,18,1). f(12,18,1). f(13,18,1). f(14,18,1). f(15,18,1). f(16,18,1). 
f(17,18,1). f(18,18,1). f(19,18,2). f(20,18,2). f(21,18,1). f(22,18,1). 

f(23,19,1). f(0,19,1). f(1,19,1). f(2,19,1). f(3,19,1). f(4,19,1). 
f(5,19,1). f(6,19,1). f(7,19,1). f(8,19,1). f(9,19,2). f(10,19,1). 
f(11,19,1). f(12,19,1). f(13,19,1). f(14,19,1). f(15,19,1). f(16,19,1). 
f(17,19,1). f(18,19,1). f(19,19,1). f(20,19,2). f(21,19,1). f(22,19,1). 

f(23,20,1). f(0,20,1). f(1,20,1). f(2,20,1). f(3,20,1). f(4,20,1). 
f(5,20,1). f(6,20,1). f(7,20,1). f(8,20,1). f(9,20,1). f(10,20,2). 
f(11,20,1). f(12,20,1). f(13,20,1). f(14,20,1). f(15,20,1). f(16,20,1). 
f(17,20,1). f(18,20,1). f(19,20,1). f(20,20,1). f(21,20,2). f(22,20,1). 

f(23,21,1). f(0,21,1). f(1,21,1). f(2,21,1). f(3,21,1). f(4,21,1). 
f(5,21,1). f(6,21,1). f(7,21,1). f(8,21,1). f(9,21,1). f(10,21,2). 
f(11,21,1). f(12,21,1). f(13,21,1). f(14,21,1). f(15,21,1). f(16,21,1). 
f(17,21,1). f(18,21,1). f(19,21,1). f(20,21,1). f(21,21,2). f(22,21,1). 

f(23,22,2). f(0,22,1). f(1,22,1). f(2,22,1). f(3,22,1). f(4,22,1). 
f(5,22,1). f(6,22,1). f(7,22,1). f(8,22,1). f(9,22,1). f(10,22,1). 
f(11,22,1). f(12,22,1). f(13,22,1). f(14,22,1). f(15,22,1). f(16,22,1). 
f(17,22,1). f(18,22,1). f(19,22,1). f(20,22,1). f(21,22,1). f(22,22,2). 

f(23,23,2). f(0,23,1). f(1,23,2). f(2,23,2). f(3,23,2). f(4,23,3). 
f(5,23,2). f(6,23,2). f(7,23,2). f(8,23,4). f(9,23,5). f(10,23,6). 
f(11,23,2). f(12,23,1). f(13,23,1). f(14,23,3). f(15,23,2). f(16,23,4). 
f(17,23,4). f(18,23,5). f(19,23,5). f(20,23,5). f(21,23,7). f(22,23,2). 

f(23,24,2). f(0,24,1). f(1,24,2). f(2,24,2). f(3,24,2). f(4,24,3). 
f(5,24,2). f(6,24,2). f(7,24,2). f(8,24,4). f(9,24,5). f(10,24,6). 
f(11,24,2). f(12,24,7). f(13,24,7). f(14,24,3). f(15,24,2). f(16,24,4). 
f(17,24,4). f(18,24,5). f(19,24,5). f(20,24,5). f(21,24,8). f(22,24,2). 

f(23,25,2). f(0,25,1). f(1,25,2). f(2,25,2). f(3,25,3). f(4,25,2). 
f(5,25,2). f(6,25,2). f(7,25,2). f(8,25,4). f(9,25,5). f(10,25,2). 
f(11,25,2). f(12,25,1). f(13,25,1). f(14,25,2). f(15,25,6). f(16,25,7). 
f(17,25,8). f(18,25,9). f(19,25,10). f(20,25,11). f(21,25,12). f(22,25,2). 

f(23,26,22). f(0,26,1). f(1,26,4). f(2,26,1). f(3,26,5). f(4,26,3). 
f(5,26,6). f(6,26,7). f(7,26,8). f(8,26,9). f(9,26,10). f(10,26,11). 
f(11,26,2). f(12,26,12). f(13,26,13). f(14,26,3). f(15,26,14). f(16,26,15). 
f(17,26,16). f(18,26,17). f(19,26,18). f(20,26,19). f(21,26,20). f(22,26,21). 

f(23,27,1). f(0,27,1). f(1,27,3). f(2,27,2). f(3,27,4). f(4,27,1). 
f(5,27,2). f(6,27,2). f(7,27,5). f(8,27,6). f(9,27,2). f(10,27,1). 
f(11,27,1). f(12,27,1). f(13,27,7). f(14,27,1). f(15,27,2). f(16,27,8). 
f(17,27,9). f(18,27,2). f(19,27,2). f(20,27,10). f(21,27,1). f(22,27,1). 

f(23,28,3). f(0,28,4). f(1,28,5). f(2,28,2). f(3,28,6). f(4,28,1). 
f(5,28,2). f(6,28,2). f(7,28,2). f(8,28,2). f(9,28,2). f(10,28,3). 
f(11,28,3). f(12,28,7). f(13,28,8). f(14,28,1). f(15,28,2). f(16,28,2). 
f(17,28,2). f(18,28,2). f(19,28,2). f(20,28,2). f(21,28,3). f(22,28,3). 

f(23,29,2). f(0,29,3). f(1,29,4). f(2,29,1). f(3,29,5). f(4,29,6). 
f(5,29,1). f(6,29,1). f(7,29,7). f(8,29,8). f(9,29,1). f(10,29,2). 
f(11,29,2). f(12,29,9). f(13,29,10). f(14,29,11). f(15,29,1). f(16,29,12). 
f(17,29,13). f(18,29,1). f(19,29,1). f(20,29,1). f(21,29,2). f(22,29,2). 

f(23,34,2). f(0,34,1). f(1,34,1). f(2,34,1). f(3,34,3). f(4,34,1). 
f(5,34,1). f(6,34,1). f(7,34,1). f(8,34,1). f(9,34,1). f(10,34,2). 
f(11,34,2). f(12,34,1). f(13,34,4). f(14,34,1). f(15,34,1). f(16,34,1). 
f(17,34,1). f(18,34,1). f(19,34,1). f(20,34,1). f(21,34,5). f(22,34,2). 

f(23,35,3). f(0,35,1). f(1,35,1). f(2,35,1). f(3,35,1). f(4,35,1). 
f(5,35,1). f(6,35,1). f(7,35,1). f(8,35,1). f(9,35,1). f(10,35,1). 
f(11,35,2). f(12,35,1). f(13,35,1). f(14,35,1). f(15,35,1). f(16,35,1). 
f(17,35,1). f(18,35,1). f(19,35,1). f(20,35,1). f(21,35,1). f(22,35,2). 

f(23,36,2). f(0,36,1). f(1,36,1). f(2,36,1). f(3,36,1). f(4,36,1). 
f(5,36,1). f(6,36,1). f(7,36,1). f(8,36,1). f(9,36,1). f(10,36,1). 
f(11,36,2). f(12,36,1). f(13,36,1). f(14,36,1). f(15,36,1). f(16,36,1). 
f(17,36,1). f(18,36,1). f(19,36,1). f(20,36,1). f(21,36,1). f(22,36,2). 

f(23,37,1). f(0,37,1). f(1,37,1). f(2,37,1). f(3,37,1). f(4,37,1). 
f(5,37,1). f(6,37,1). f(7,37,1). f(8,37,2). f(9,37,1). f(10,37,1). 
f(11,37,1). f(12,37,1). f(13,37,1). f(14,37,1). f(15,37,1). f(16,37,2). 
f(17,37,2). f(18,37,1). f(19,37,1). f(20,37,1). f(21,37,1). f(22,37,1). 

f(23,38,1). f(0,38,1). f(1,38,1). f(2,38,1). f(3,38,1). f(4,38,1). 
f(5,38,1). f(6,38,1). f(7,38,1). f(8,38,1). f(9,38,2). f(10,38,1). 
f(11,38,1). f(12,38,1). f(13,38,1). f(14,38,1). f(15,38,1). f(16,38,1). 
f(17,38,1). f(18,38,1). f(19,38,1). f(20,38,2). f(21,38,1). f(22,38,1). 

f(23,39,11). f(0,39,1). f(1,39,2). f(2,39,3). f(3,39,4). f(4,39,3). 
f(5,39,5). f(6,39,5). f(7,39,5). f(8,39,5). f(9,39,6). f(10,39,6). 
f(11,39,7). f(12,39,8). f(13,39,8). f(14,39,3). f(15,39,5). f(16,39,5). 
f(17,39,5). f(18,39,6). f(19,39,6). f(20,39,6). f(21,39,9). f(22,39,10). 

f(23,40,11). f(0,40,1). f(1,40,2). f(2,40,3). f(3,40,4). f(4,40,3). 
f(5,40,5). f(6,40,5). f(7,40,12). f(8,40,12). f(9,40,6). f(10,40,13). 
f(11,40,7). f(12,40,8). f(13,40,8). f(14,40,3). f(15,40,5). f(16,40,12). 
f(17,40,12). f(18,40,6). f(19,40,6). f(20,40,6). f(21,40,9). f(22,40,10). 

f(23,41,10). f(0,41,1). f(1,41,2). f(2,41,3). f(3,41,4). f(4,41,5). 
f(5,41,6). f(6,41,6). f(7,41,7). f(8,41,7). f(9,41,8). f(10,41,9). 
f(11,41,10). f(12,41,1). f(13,41,1). f(14,41,11). f(15,41,6). f(16,41,12). 
f(17,41,13). f(18,41,14). f(19,41,15). f(20,41,8). f(21,41,6). f(22,41,16). 

f(23,42,20). f(0,42,1). f(1,42,2). f(2,42,3). f(3,42,4). f(4,42,5). 
f(5,42,6). f(6,42,7). f(7,42,8). f(8,42,9). f(9,42,10). f(10,42,11). 
f(11,42,12). f(12,42,13). f(13,42,14). f(14,42,5). f(15,42,15). f(16,42,16). 
f(17,42,17). f(18,42,10). f(19,42,10). f(20,42,10). f(21,42,18). f(22,42,19). 

f(23,43,14). f(0,43,1). f(1,43,2). f(2,43,3). f(3,43,4). f(4,43,5). 
f(5,43,1). f(6,43,6). f(7,43,7). f(8,43,7). f(9,43,1). f(10,43,8). 
f(11,43,9). f(12,43,10). f(13,43,11). f(14,43,5). f(15,43,12). f(16,43,7). 
f(17,43,7). f(18,43,1). f(19,43,1). f(20,43,1). f(21,43,8). f(22,43,13). 

f(23,44,14). f(0,44,1). f(1,44,2). f(2,44,3). f(3,44,4). f(4,44,5). 
f(5,44,1). f(6,44,6). f(7,44,7). f(8,44,15). f(9,44,16). f(10,44,8). 
f(11,44,9). f(12,44,10). f(13,44,11). f(14,44,5). f(15,44,12). f(16,44,15). 
f(17,44,15). f(18,44,16). f(19,44,16). f(20,44,16). f(21,44,8). f(22,44,13). 

f(23,45,9). f(0,45,1). f(1,45,2). f(2,45,3). f(3,45,4). f(4,45,5). 
f(5,45,6). f(6,45,7). f(7,45,8). f(8,45,8). f(9,45,9). f(10,45,10). 
f(11,45,9). f(12,45,11). f(13,45,12). f(14,45,5). f(15,45,13). f(16,45,8). 
f(17,45,14). f(18,45,9). f(19,45,9). f(20,45,9). f(21,45,15). f(22,45,9). 

f(23,46,19). f(0,46,1). f(1,46,2). f(2,46,3). f(3,46,4). f(4,46,1). 
f(5,46,5). f(6,46,6). f(7,46,7). f(8,46,8). f(9,46,9). f(10,46,10). 
f(11,46,11). f(12,46,1). f(13,46,12). f(14,46,13). f(15,46,14). f(16,46,15). 
f(17,46,16). f(18,46,9). f(19,46,17). f(20,46,9). f(21,46,18). f(22,46,11). 

f(23,47,20). f(0,47,1). f(1,47,1). f(2,47,2). f(3,47,3). f(4,47,4). 
f(5,47,5). f(6,47,5). f(7,47,6). f(8,47,7). f(9,47,8). f(10,47,9). 
f(11,47,10). f(12,47,11). f(13,47,12). f(14,47,4). f(15,47,13). f(16,47,14). 
f(17,47,7). f(18,47,15). f(19,47,16). f(20,47,17). f(21,47,18). f(22,47,19). 

f(23,48,17). f(0,48,1). f(1,48,2). f(2,48,3). f(3,48,4). f(4,48,5). 
f(5,48,6). f(6,48,6). f(7,48,7). f(8,48,8). f(9,48,9). f(10,48,10). 
f(11,48,11). f(12,48,12). f(13,48,13). f(14,48,5). f(15,48,14). f(16,48,6). 
f(17,48,6). f(18,48,9). f(19,48,9). f(20,48,9). f(21,48,15). f(22,48,16). 

f(23,49,17). f(0,49,1). f(1,49,2). f(2,49,3). f(3,49,4). f(4,49,5). 
f(5,49,6). f(6,49,6). f(7,49,7). f(8,49,8). f(9,49,9). f(10,49,10). 
f(11,49,11). f(12,49,12). f(13,49,13). f(14,49,5). f(15,49,14). f(16,49,18). 
f(17,49,18). f(18,49,9). f(19,49,9). f(20,49,9). f(21,49,15). f(22,49,16). 

f(23,50,13). f(0,50,1). f(1,50,2). f(2,50,2). f(3,50,2). f(4,50,3). 
f(5,50,2). f(6,50,2). f(7,50,4). f(8,50,5). f(9,50,2). f(10,50,6). 
f(11,50,2). f(12,50,7). f(13,50,8). f(14,50,9). f(15,50,10). f(16,50,11). 
f(17,50,12). f(18,50,2). f(19,50,2). f(20,50,2). f(21,50,6). f(22,50,13). 

f(23,51,13). f(0,51,1). f(1,51,2). f(2,51,2). f(3,51,2). f(4,51,3). 
f(5,51,2). f(6,51,2). f(7,51,4). f(8,51,5). f(9,51,14). f(10,51,6). 
f(11,51,2). f(12,51,7). f(13,51,8). f(14,51,9). f(15,51,10). f(16,51,11). 
f(17,51,12). f(18,51,14). f(19,51,14). f(20,51,14). f(21,51,6). f(22,51,13). 

f(23,52,6). f(0,52,1). f(1,52,2). f(2,52,3). f(3,52,4). f(4,52,5). 
f(5,52,6). f(6,52,6). f(7,52,7). f(8,52,8). f(9,52,9). f(10,52,10). 
f(11,52,6). f(12,52,11). f(13,52,12). f(14,52,5). f(15,52,13). f(16,52,14). 
f(17,52,7). f(18,52,9). f(19,52,9). f(20,52,9). f(21,52,10). f(22,52,15). 

f(23,53,17). f(0,53,1). f(1,53,2). f(2,53,3). f(3,53,4). f(4,53,5). 
f(5,53,3). f(6,53,3). f(7,53,6). f(8,53,6). f(9,53,7). f(10,53,8). 
f(11,53,9). f(12,53,10). f(13,53,11). f(14,53,12). f(15,53,13). f(16,53,14). 
f(17,53,6). f(18,53,7). f(19,53,7). f(20,53,7). f(21,53,15). f(22,53,16). 

f(23,57,12). f(0,57,1). f(1,57,1). f(2,57,1). f(3,57,2). f(4,57,1). 
f(5,57,1). f(6,57,1). f(7,57,4). f(8,57,5). f(9,57,6). f(10,57,7). 
f(11,57,1). f(12,57,1). f(13,57,8). f(14,57,1). f(15,57,9). f(16,57,5). 
f(17,57,5). f(18,57,10). f(19,57,6). f(20,57,6). f(21,57,1). f(22,57,11). 

f(23,58,12). f(0,58,1). f(1,58,1). f(2,58,1). f(3,58,2). f(4,58,3). 
f(5,58,1). f(6,58,1). f(7,58,4). f(8,58,5). f(9,58,6). f(10,58,7). 
f(11,58,1). f(12,58,1). f(13,58,8). f(14,58,3). f(15,58,9). f(16,58,5). 
f(17,58,5). f(18,58,10). f(19,58,6). f(20,58,6). f(21,58,1). f(22,58,11). 

f(23,59,14). f(0,59,1). f(1,59,2). f(2,59,3). f(3,59,4). f(4,59,2). 
f(5,59,2). f(6,59,2). f(7,59,5). f(8,59,6). f(9,59,7). f(10,59,8). 
f(11,59,9). f(12,59,1). f(13,59,10). f(14,59,2). f(15,59,11). f(16,59,12). 
f(17,59,6). f(18,59,7). f(19,59,7). f(20,59,7). f(21,59,7). f(22,59,13). 

f(23,60,15). f(0,60,1). f(1,60,2). f(2,60,3). f(3,60,4). f(4,60,2). 
f(5,60,2). f(6,60,2). f(7,60,5). f(8,60,6). f(9,60,7). f(10,60,8). 
f(11,60,9). f(12,60,1). f(13,60,10). f(14,60,2). f(15,60,11). f(16,60,12). 
f(17,60,6). f(18,60,7). f(19,60,7). f(20,60,7). f(21,60,13). f(22,60,14). 

f(23,61,14). f(0,61,1). f(1,61,2). f(2,61,3). f(3,61,4). f(4,61,4). 
f(5,61,4). f(6,61,4). f(7,61,5). f(8,61,4). f(9,61,6). f(10,61,7). 
f(11,61,8). f(12,61,9). f(13,61,10). f(14,61,4). f(15,61,11). f(16,61,12). 
f(17,61,4). f(18,61,6). f(19,61,6). f(20,61,6). f(21,61,7). f(22,61,13). 

f(23,62,21). f(0,62,1). f(1,62,2). f(2,62,3). f(3,62,4). f(4,62,5). 
f(5,62,6). f(6,62,7). f(7,62,8). f(8,62,9). f(9,62,10). f(10,62,11). 
f(11,62,12). f(12,62,13). f(13,62,14). f(14,62,5). f(15,62,15). f(16,62,16). 
f(17,62,17). f(18,62,10). f(19,62,10). f(20,62,18). f(21,62,19). f(22,62,20). 

f(23,63,16). f(0,63,1). f(1,63,2). f(2,63,3). f(3,63,4). f(4,63,5). 
f(5,63,3). f(6,63,6). f(7,63,3). f(8,63,3). f(9,63,7). f(10,63,3). 
f(11,63,3). f(12,63,8). f(13,63,9). f(14,63,10). f(15,63,11). f(16,63,12). 
f(17,63,3). f(18,63,13). f(19,63,7). f(20,63,7). f(21,63,14). f(22,63,15). 

f(23,64,9). f(0,64,1). f(1,64,2). f(2,64,3). f(3,64,6). f(4,64,9). 
f(5,64,4). f(6,64,4). f(7,64,5). f(8,64,7). f(9,64,9). f(10,64,8). 
f(11,64,9). f(12,64,1). f(13,64,10). f(14,64,9). f(15,64,4). f(16,64,11). 
f(17,64,12). f(18,64,9). f(19,64,9). f(20,64,9). f(21,64,13). f(22,64,14). 

f(23,65,19). f(0,65,1). f(1,65,2). f(2,65,3). f(3,65,4). f(4,65,5). 
f(5,65,6). f(6,65,7). f(7,65,8). f(8,65,8). f(9,65,9). f(10,65,9). 
f(11,65,11). f(12,65,12). f(13,65,13). f(14,65,14). f(15,65,15). f(16,65,16). 
f(17,65,8). f(18,65,17). f(19,65,9). f(20,65,9). f(21,65,9). f(22,65,18). 

f(23,66,19). f(0,66,1). f(1,66,2). f(2,66,3). f(3,66,4). f(4,66,5). 
f(5,66,6). f(6,66,7). f(7,66,8). f(8,66,20). f(9,66,10). f(10,66,9). 
f(11,66,11). f(12,66,12). f(13,66,13). f(14,66,14). f(15,66,15). f(16,66,16). 
f(17,66,20). f(18,66,17). f(19,66,10). f(20,66,10). f(21,66,9). f(22,66,18). 

f(23,67,1). f(0,67,1). f(1,67,2). f(2,67,2). f(3,67,1). f(4,67,3). 
f(5,67,1). f(6,67,4). f(7,67,1). f(8,67,1). f(9,67,5). f(10,67,6). 
f(11,67,1). f(12,67,7). f(13,67,8). f(14,67,3). f(15,67,9). f(16,67,1). 
f(17,67,1). f(18,67,5). f(19,67,5). f(20,67,5). f(21,67,10). f(22,67,1). 

f(23,68,14). f(0,68,11). f(1,68,2). f(2,68,2). f(3,68,12). f(4,68,3). 
f(5,68,1). f(6,68,4). f(7,68,13). f(8,68,13). f(9,68,5). f(10,68,6). 
f(11,68,1). f(12,68,7). f(13,68,8). f(14,68,3). f(15,68,9). f(16,68,13). 
f(17,68,13). f(18,68,5). f(19,68,5). f(20,68,5). f(21,68,10). f(22,68,14). 

f(23,69,12). f(0,69,1). f(1,69,1). f(2,69,2). f(3,69,1). f(4,69,3). 
f(5,69,4). f(6,69,4). f(7,69,1). f(8,69,1). f(9,69,5). f(10,69,6). 
f(11,69,1). f(12,69,7). f(13,69,8). f(14,69,3). f(15,69,9). f(16,69,10). 
f(17,69,1). f(18,69,5). f(19,69,5). f(20,69,5). f(21,69,1). f(22,69,11). 

f(23,70,12). f(0,70,13). f(1,70,1). f(2,70,2). f(3,70,14). f(4,70,3). 
f(5,70,4). f(6,70,4). f(7,70,15). f(8,70,15). f(9,70,5). f(10,70,6). 
f(11,70,1). f(12,70,7). f(13,70,8). f(14,70,3). f(15,70,9). f(16,70,10). 
f(17,70,15). f(18,70,5). f(19,70,5). f(20,70,5). f(21,70,1). f(22,70,11). 

f(23,71,16). f(0,71,1). f(1,71,2). f(2,71,3). f(3,71,4). f(4,71,5). 
f(5,71,6). f(6,71,6). f(7,71,7). f(8,71,8). f(9,71,9). f(10,71,10). 
f(11,71,1). f(12,71,11). f(13,71,12). f(14,71,5). f(15,71,6). f(16,71,13). 
f(17,71,14). f(18,71,9). f(19,71,9). f(20,71,9). f(21,71,10). f(22,71,15). 

f(23,72,8). f(0,72,1). f(1,72,1). f(2,72,1). f(3,72,2). f(4,72,1). 
f(5,72,1). f(6,72,1). f(7,72,3). f(8,72,1). f(9,72,9). f(10,72,1). 
f(11,72,4). f(12,72,1). f(13,72,5). f(14,72,1). f(15,72,6). f(16,72,1). 
f(17,72,1). f(18,72,9). f(19,72,9). f(20,72,9). f(21,72,1). f(22,72,7). 

f(23,73,9). f(0,73,1). f(1,73,2). f(2,73,3). f(3,73,3). f(4,73,1). 
f(5,73,3). f(6,73,4). f(7,73,3). f(8,73,5). f(9,73,6). f(10,73,3). 
f(11,73,3). f(12,73,1). f(13,73,7). f(14,73,1). f(15,73,8). f(16,73,3). 
f(17,73,5). f(18,73,6). f(19,73,6). f(20,73,6). f(21,73,3). f(22,73,3). 

f(23,74,22). f(0,74,1). f(1,74,2). f(2,74,3). f(3,74,4). f(4,74,5). 
f(5,74,7). f(6,74,8). f(7,74,9). f(8,74,10). f(9,74,6). f(10,74,12). 
f(11,74,13). f(12,74,14). f(13,74,15). f(14,74,5). f(15,74,16). f(16,74,17). 
f(17,74,18). f(18,74,19). f(19,74,11). f(20,74,19). f(21,74,20). f(22,74,21). 

f(23,75,8). f(0,75,1). f(1,75,2). f(2,75,2). f(3,75,2). f(4,75,3). 
f(5,75,4). f(6,75,5). f(7,75,2). f(8,75,2). f(9,75,2). f(10,75,9). 
f(11,75,2). f(12,75,1). f(13,75,6). f(14,75,3). f(15,75,5). f(16,75,2). 
f(17,75,2). f(18,75,2). f(19,75,2). f(20,75,2). f(21,75,9). f(22,75,7). 

f(23,76,8). f(0,76,1). f(1,76,2). f(2,76,2). f(3,76,2). f(4,76,3). 
f(5,76,4). f(6,76,5). f(7,76,2). f(8,76,2). f(9,76,10). f(10,76,9). 
f(11,76,2). f(12,76,1). f(13,76,6). f(14,76,3). f(15,76,5). f(16,76,2). 
f(17,76,2). f(18,76,10). f(19,76,10). f(20,76,10). f(21,76,9). f(22,76,7). 

f(23,77,10). f(0,77,1). f(1,77,2). f(2,77,3). f(3,77,1). f(4,77,1). 
f(5,77,1). f(6,77,1). f(7,77,1). f(8,77,1). f(9,77,4). f(10,77,5). 
f(11,77,6). f(12,77,1). f(13,77,7). f(14,77,1). f(15,77,8). f(16,77,1). 
f(17,77,1). f(18,77,4). f(19,77,4). f(20,77,4). f(21,77,9). f(22,77,6). 

f(23,78,10). f(0,78,1). f(1,78,2). f(2,78,3). f(3,78,1). f(4,78,1). 
f(5,78,1). f(6,78,1). f(7,78,11). f(8,78,11). f(9,78,4). f(10,78,5). 
f(11,78,6). f(12,78,1). f(13,78,7). f(14,78,1). f(15,78,8). f(16,78,11). 
f(17,78,11). f(18,78,4). f(19,78,4). f(20,78,4). f(21,78,9). f(22,78,6). 

f(23,79,7). f(0,79,1). f(1,79,2). f(2,79,2). f(3,79,3). f(4,79,2). 
f(5,79,2). f(6,79,4). f(7,79,2). f(8,79,2). f(9,79,2). f(10,79,8). 
f(11,79,2). f(12,79,1). f(13,79,1). f(14,79,2). f(15,79,4). f(16,79,2). 
f(17,79,2). f(18,79,2). f(19,79,2). f(20,79,2). f(21,79,5). f(22,79,6). 

f(23,80,7). f(0,80,1). f(1,80,2). f(2,80,2). f(3,80,3). f(4,80,2). 
f(5,80,2). f(6,80,4). f(7,80,2). f(8,80,2). f(9,80,9). f(10,80,8). 
f(11,80,2). f(12,80,1). f(13,80,1). f(14,80,2). f(15,80,4). f(16,80,2). 
f(17,80,2). f(18,80,9). f(19,80,9). f(20,80,9). f(21,80,5). f(22,80,6). 

f(23,82,13). f(0,82,1). f(1,82,2). f(2,82,14). f(3,82,3). f(4,82,4). 
f(5,82,1). f(6,82,1). f(7,82,5). f(8,82,6). f(9,82,15). f(10,82,7). 
f(11,82,16). f(12,82,8). f(13,82,9). f(14,82,4). f(15,82,1). f(16,82,10). 
f(17,82,6). f(18,82,15). f(19,82,15). f(20,82,15). f(21,82,11). f(22,82,12). 

f(23,83,13). f(0,83,1). f(1,83,2). f(2,83,14). f(3,83,3). f(4,83,4). 
f(5,83,17). f(6,83,17). f(7,83,5). f(8,83,6). f(9,83,15). f(10,83,7). 
f(11,83,16). f(12,83,8). f(13,83,9). f(14,83,4). f(15,83,17). f(16,83,10). 
f(17,83,6). f(18,83,15). f(19,83,15). f(20,83,15). f(21,83,11). f(22,83,12). 

f(23,84,10). f(0,84,1). f(1,84,2). f(2,84,3). f(3,84,4). f(4,84,5). 
f(5,84,6). f(6,84,6). f(7,84,7). f(8,84,7). f(9,84,8). f(10,84,9). 
f(11,84,10). f(12,84,11). f(13,84,12). f(14,84,5). f(15,84,13). f(16,84,7). 
f(17,84,7). f(18,84,14). f(19,84,8). f(20,84,15). f(21,84,16). f(22,84,17). 

f(23,86,14). f(0,86,1). f(1,86,2). f(2,86,2). f(3,86,3). f(4,86,4). 
f(5,86,5). f(6,86,5). f(7,86,5). f(8,86,5). f(9,86,15). f(10,86,6). 
f(11,86,7). f(12,86,8). f(13,86,9). f(14,86,4). f(15,86,10). f(16,86,5). 
f(17,86,5). f(18,86,15). f(19,86,11). f(20,86,15). f(21,86,12). f(22,86,13). 

f(23,87,14). f(0,87,1). f(1,87,2). f(2,87,2). f(3,87,3). f(4,87,4). 
f(5,87,5). f(6,87,5). f(7,87,16). f(8,87,17). f(9,87,6). f(10,87,6). 
f(11,87,7). f(12,87,8). f(13,87,9). f(14,87,4). f(15,87,10). f(16,87,17). 
f(17,87,18). f(18,87,6). f(19,87,11). f(20,87,6). f(21,87,12). f(22,87,13). 

f(23,88,17). f(0,88,1). f(1,88,2). f(2,88,3). f(3,88,4). f(4,88,3). 
f(5,88,3). f(6,88,3). f(7,88,3). f(8,88,5). f(9,88,6). f(10,88,7). 
f(11,88,18). f(12,88,8). f(13,88,9). f(14,88,10). f(15,88,11). f(16,88,12). 
f(17,88,13). f(18,88,14). f(19,88,6). f(20,88,6). f(21,88,15). f(22,88,16). 

f(23,89,17). f(0,89,1). f(1,89,2). f(2,89,19). f(3,89,4). f(4,89,20). 
f(5,89,21). f(6,89,21). f(7,89,3). f(8,89,5). f(9,89,6). f(10,89,7). 
f(11,89,18). f(12,89,8). f(13,89,9). f(14,89,10). f(15,89,11). f(16,89,12). 
f(17,89,13). f(18,89,14). f(19,89,6). f(20,89,6). f(21,89,15). f(22,89,16). 

f(23,90,18). f(0,90,1). f(1,90,2). f(2,90,3). f(3,90,4). f(4,90,5). 
f(5,90,6). f(6,90,7). f(7,90,8). f(8,90,9). f(9,90,10). f(10,90,11). 
f(11,90,10). f(12,90,12). f(13,90,13). f(14,90,14). f(15,90,7). f(16,90,15). 
f(17,90,9). f(18,90,10). f(19,90,10). f(20,90,10). f(21,90,16). f(22,90,17). 

f(23,91,18). f(0,91,1). f(1,91,2). f(2,91,3). f(3,91,4). f(4,91,5). 
f(5,91,6). f(6,91,7). f(7,91,8). f(8,91,9). f(9,91,10). f(10,91,11). 
f(11,91,19). f(12,91,12). f(13,91,13). f(14,91,14). f(15,91,7). f(16,91,15). 
f(17,91,9). f(18,91,10). f(19,91,10). f(20,91,10). f(21,91,16). f(22,91,17). 

f(23,93,14). f(0,93,1). f(1,93,2). f(2,93,2). f(3,93,3). f(4,93,4). 
f(5,93,5). f(6,93,5). f(7,93,6). f(8,93,2). f(9,93,7). f(10,93,7). 
f(11,93,7). f(12,93,8). f(13,93,9). f(14,93,10). f(15,93,11). f(16,93,2). 
f(17,93,2). f(18,93,7). f(19,93,7). f(20,93,7). f(21,93,12). f(22,93,13). 

f(23,94,14). f(0,94,1). f(1,94,2). f(2,94,2). f(3,94,3). f(4,94,4). 
f(5,94,5). f(6,94,5). f(7,94,6). f(8,94,2). f(9,94,7). f(10,94,15). 
f(11,94,16). f(12,94,8). f(13,94,9). f(14,94,10). f(15,94,11). f(16,94,2). 
f(17,94,2). f(18,94,7). f(19,94,7). f(20,94,7). f(21,94,12). f(22,94,13). 

f(23,95,2). f(0,95,1). f(1,95,2). f(2,95,2). f(3,95,2). f(4,95,2). 
f(5,95,2). f(6,95,2). f(7,95,2). f(8,95,2). f(9,95,6). f(10,95,2). 
f(11,95,2). f(12,95,3). f(13,95,4). f(14,95,2). f(15,95,5). f(16,95,2). 
f(17,95,2). f(18,95,6). f(19,95,6). f(20,95,6). f(21,95,2). f(22,95,2). 

f(23,96,72). f(0,96,4). f(1,96,9). f(2,96,9). f(3,96,9). f(4,96,9). 
f(5,96,9). f(6,96,20). f(7,96,9). f(8,96,9). f(9,96,9). f(10,96,11). 
f(11,96,32). f(12,96,35). f(13,96,40). f(14,96,43). f(15,96,48). f(16,96,53). 
f(17,96,9). f(18,96,60). f(19,96,9). f(20,96,9). f(21,96,11). f(22,96,67). 

f(23,97,72). f(0,97,4). f(1,97,9). f(2,97,9). f(3,97,9). f(4,97,9). 
f(5,97,9). f(6,97,20). f(7,97,9). f(8,97,1). f(9,97,1). f(10,97,11). 
f(11,97,32). f(12,97,35). f(13,97,40). f(14,97,43). f(15,97,48). f(16,97,53). 
f(17,97,1). f(18,97,60). f(19,97,1). f(20,97,1). f(21,97,11). f(22,97,67). 

f(23,98,16). f(0,98,1). f(1,98,2). f(2,98,3). f(3,98,4). f(4,98,5). 
f(5,98,6). f(6,98,7). f(7,98,8). f(8,98,9). f(9,98,10). f(10,98,17). 
f(11,98,18). f(12,98,11). f(13,98,12). f(14,98,5). f(15,98,13). f(16,98,14). 
f(17,98,15). f(18,98,10). f(19,98,10). f(20,98,10). f(21,98,17). f(22,98,18). 

f(23,100,46). f(0,100,3). f(1,100,4). f(2,100,5). f(3,100,6). f(4,100,12). 
f(5,100,7). f(6,100,16). f(7,100,5). f(8,100,5). f(9,100,8). f(10,100,21). 
f(11,100,1). f(12,100,24). f(13,100,27). f(14,100,29). f(15,100,31). f(16,100,33). 
f(17,100,5). f(18,100,35). f(19,100,37). f(20,100,1). f(21,100,40). f(22,100,43). 

f(23,101,1). f(0,101,1). f(1,101,1). f(2,101,1). f(3,101,2). f(4,101,1). 
f(5,101,1). f(6,101,1). f(7,101,3). f(8,101,4). f(9,101,1). f(10,101,5). 
f(11,101,1). f(12,101,1). f(13,101,1). f(14,101,1). f(15,101,1). f(16,101,3). 
f(17,101,4). f(18,101,1). f(19,101,1). f(20,101,1). f(21,101,5). f(22,101,1). 

f(23,102,2). f(0,102,1). f(1,102,2). f(2,102,2). f(3,102,2). f(4,102,2). 
f(5,102,2). f(6,102,2). f(7,102,2). f(8,102,2). f(9,102,2). f(10,102,2). 
f(11,102,2). f(12,102,1). f(13,102,3). f(14,102,2). f(15,102,4). f(16,102,2). 
f(17,102,2). f(18,102,2). f(19,102,2). f(20,102,2). f(21,102,2). f(22,102,2). 

f(23,103,2). f(0,103,1). f(1,103,2). f(2,103,2). f(3,103,2). f(4,103,2). 
f(5,103,2). f(6,103,2). f(7,103,2). f(8,103,2). f(9,103,5). f(10,103,2). 
f(11,103,2). f(12,103,1). f(13,103,3). f(14,103,2). f(15,103,4). f(16,103,2). 
f(17,103,2). f(18,103,5). f(19,103,5). f(20,103,5). f(21,103,2). f(22,103,2). 

f(23,104,19). f(0,104,1). f(1,104,2). f(2,104,3). f(3,104,4). f(4,104,5). 
f(5,104,6). f(6,104,7). f(7,104,8). f(8,104,9). f(9,104,10). f(10,104,11). 
f(11,104,12). f(12,104,13). f(13,104,14). f(14,104,15). f(15,104,16). f(16,104,17). 
f(17,104,9). f(18,104,10). f(19,104,10). f(20,104,10). f(21,104,10). f(22,104,18). 

f(23,105,6). f(0,105,1). f(1,105,2). f(2,105,3). f(3,105,4). f(4,105,5). 
f(5,105,6). f(6,105,6). f(7,105,6). f(8,105,6). f(9,105,6). f(10,105,6). 
f(11,105,6). f(12,105,7). f(13,105,8). f(14,105,5). f(15,105,9). f(16,105,6). 
f(17,105,6). f(18,105,6). f(19,105,6). f(20,105,6). f(21,105,6). f(22,105,10). 

f(23,106,11). f(0,106,1). f(1,106,2). f(2,106,3). f(3,106,4). f(4,106,5). 
f(5,106,6). f(6,106,6). f(7,106,6). f(8,106,6). f(9,106,6). f(10,106,6). 
f(11,106,11). f(12,106,7). f(13,106,8). f(14,106,5). f(15,106,9). f(16,106,6). 
f(17,106,6). f(18,106,6). f(19,106,6). f(20,106,6). f(21,106,6). f(22,106,10). 

f(23,107,2). f(0,107,1). f(1,107,2). f(2,107,2). f(3,107,3). f(4,107,1). 
f(5,107,2). f(6,107,2). f(7,107,2). f(8,107,2). f(9,107,4). f(10,107,5). 
f(11,107,2). f(12,107,1). f(13,107,1). f(14,107,1). f(15,107,2). f(16,107,2). 
f(17,107,2). f(18,107,4). f(19,107,4). f(20,107,4). f(21,107,2). f(22,107,2). 

f(23,108,7). f(0,108,6). f(1,108,2). f(2,108,7). f(3,108,3). f(4,108,1). 
f(5,108,7). f(6,108,7). f(7,108,8). f(8,108,8). f(9,108,4). f(10,108,5). 
f(11,108,7). f(12,108,6). f(13,108,6). f(14,108,1). f(15,108,7). f(16,108,8). 
f(17,108,8). f(18,108,4). f(19,108,4). f(20,108,4). f(21,108,9). f(22,108,7). 

f(23,109,16). f(0,109,1). f(1,109,2). f(2,109,3). f(3,109,4). f(4,109,5). 
f(5,109,6). f(6,109,6). f(7,109,7). f(8,109,8). f(9,109,9). f(10,109,10). 
f(11,109,11). f(12,109,6). f(13,109,12). f(14,109,5). f(15,109,6). f(16,109,13). 
f(17,109,13). f(18,109,9). f(19,109,9). f(20,109,9). f(21,109,14). f(22,109,15). 

f(23,110,19). f(0,110,1). f(1,110,2). f(2,110,3). f(3,110,4). f(4,110,5). 
f(5,110,6). f(6,110,7). f(7,110,8). f(8,110,9). f(9,110,10). f(10,110,11). 
f(11,110,12). f(12,110,13). f(13,110,14). f(14,110,5). f(15,110,15). f(16,110,16). 
f(17,110,9). f(18,110,17). f(19,110,10). f(20,110,10). f(21,110,1). f(22,110,18). 

f(23,111,16). f(0,111,1). f(1,111,2). f(2,111,3). f(3,111,4). f(4,111,5). 
f(5,111,3). f(6,111,6). f(7,111,3). f(8,111,3). f(9,111,7). f(10,111,8). 
f(11,111,9). f(12,111,1). f(13,111,10). f(14,111,11). f(15,111,12). f(16,111,3). 
f(17,111,3). f(18,111,13). f(19,111,7). f(20,111,7). f(21,111,14). f(22,111,15). 

f(23,112,16). f(0,112,1). f(1,112,2). f(2,112,3). f(3,112,4). f(4,112,5). 
f(5,112,3). f(6,112,6). f(7,112,3). f(8,112,17). f(9,112,7). f(10,112,8). 
f(11,112,9). f(12,112,1). f(13,112,10). f(14,112,11). f(15,112,12). f(16,112,17). 
f(17,112,17). f(18,112,13). f(19,112,7). f(20,112,7). f(21,112,14). f(22,112,15). 

f(23,113,19). f(0,113,1). f(1,113,2). f(2,113,2). f(3,113,3). f(4,113,4). 
f(5,113,2). f(6,113,5). f(7,113,6). f(8,113,7). f(9,113,8). f(10,113,9). 
f(11,113,2). f(12,113,10). f(13,113,11). f(14,113,12). f(15,113,13). f(16,113,14). 
f(17,113,15). f(18,113,16). f(19,113,8). f(20,113,8). f(21,113,17). f(22,113,18). 

f(23,114,5). f(0,114,1). f(1,114,1). f(2,114,1). f(3,114,1). f(4,114,1). 
f(5,114,1). f(6,114,1). f(7,114,2). f(8,114,2). f(9,114,3). f(10,114,4). 
f(11,114,5). f(12,114,1). f(13,114,1). f(14,114,1). f(15,114,1). f(16,114,2). 
f(17,114,2). f(18,114,3). f(19,114,3). f(20,114,3). f(21,114,4). f(22,114,5). 

f(23,115,5). f(0,115,1). f(1,115,1). f(2,115,1). f(3,115,1). f(4,115,1). 
f(5,115,6). f(6,115,6). f(7,115,2). f(8,115,2). f(9,115,3). f(10,115,4). 
f(11,115,5). f(12,115,1). f(13,115,1). f(14,115,1). f(15,115,6). f(16,115,2). 
f(17,115,2). f(18,115,3). f(19,115,3). f(20,115,3). f(21,115,4). f(22,115,5). 

f(23,119,8). f(0,119,1). f(1,119,1). f(2,119,1). f(3,119,2). f(4,119,3). 
f(5,119,1). f(6,119,1). f(7,119,1). f(8,119,1). f(9,119,1). f(10,119,1). 
f(11,119,1). f(12,119,1). f(13,119,4). f(14,119,3). f(15,119,5). f(16,119,1). 
f(17,119,1). f(18,119,1). f(19,119,1). f(20,119,1). f(21,119,6). f(22,119,7). 

f(23,120,8). f(0,120,1). f(1,120,1). f(2,120,1). f(3,120,2). f(4,120,3). 
f(5,120,9). f(6,120,9). f(7,120,1). f(8,120,1). f(9,120,10). f(10,120,1). 
f(11,120,1). f(12,120,1). f(13,120,4). f(14,120,3). f(15,120,5). f(16,120,1). 
f(17,120,1). f(18,120,10). f(19,120,10). f(20,120,10). f(21,120,6). f(22,120,7). 

f(23,124,17). f(0,124,1). f(1,124,2). f(2,124,3). f(3,124,4). f(4,124,5). 
f(5,124,6). f(6,124,6). f(7,124,7). f(8,124,8). f(9,124,9). f(10,124,10). 
f(11,124,11). f(12,124,12). f(13,124,12). f(14,124,5). f(15,124,6). f(16,124,13). 
f(17,124,14). f(18,124,9). f(19,124,9). f(20,124,9). f(21,124,15). f(22,124,16). 

f(23,125,17). f(0,125,1). f(1,125,2). f(2,125,3). f(3,125,4). f(4,125,5). 
f(5,125,6). f(6,125,6). f(7,125,7). f(8,125,8). f(9,125,11). f(10,125,10). 
f(11,125,11). f(12,125,12). f(13,125,12). f(14,125,5). f(15,125,6). f(16,125,13). 
f(17,125,14). f(18,125,11). f(19,125,11). f(20,125,11). f(21,125,15). f(22,125,16). 

f(23,129,21). f(0,129,1). f(1,129,2). f(2,129,3). f(3,129,4). f(4,129,5). 
f(5,129,6). f(6,129,7). f(7,129,8). f(8,129,9). f(9,129,10). f(10,129,11). 
f(11,129,12). f(12,129,13). f(13,129,14). f(14,129,15). f(15,129,16). f(16,129,9). 
f(17,129,9). f(18,129,17). f(19,129,18). f(20,129,18). f(21,129,19). f(22,129,20). 

f(23,133,16). f(0,133,1). f(1,133,2). f(2,133,3). f(3,133,4). f(4,133,5). 
f(5,133,6). f(6,133,7). f(7,133,8). f(8,133,8). f(9,133,7). f(10,133,1). 
f(11,133,9). f(12,133,10). f(13,133,11). f(14,133,12). f(15,133,13). f(16,133,8). 
f(17,133,8). f(18,133,14). f(19,133,7). f(20,133,7). f(21,133,1). f(22,133,15). 

f(23,135,1). f(0,135,1). f(1,135,1). f(2,135,1). f(3,135,1). f(4,135,2). 
f(5,135,3). f(6,135,4). f(7,135,1). f(8,135,1). f(9,135,1). f(10,135,1). 
f(11,135,1). f(12,135,1). f(13,135,1). f(14,135,2). f(15,135,5). f(16,135,1). 
f(17,135,6). f(18,135,1). f(19,135,1). f(20,135,1). f(21,135,1). f(22,135,1). 

f(23,136,1). f(0,136,7). f(1,136,1). f(2,136,1). f(3,136,1). f(4,136,2). 
f(5,136,3). f(6,136,4). f(7,136,1). f(8,136,1). f(9,136,1). f(10,136,1). 
f(11,136,1). f(12,136,7). f(13,136,7). f(14,136,2). f(15,136,5). f(16,136,1). 
f(17,136,6). f(18,136,1). f(19,136,1). f(20,136,1). f(21,136,1). f(22,136,1). 

f(23,137,8). f(0,137,1). f(1,137,1). f(2,137,1). f(3,137,1). f(4,137,1). 
f(5,137,1). f(6,137,1). f(7,137,2). f(8,137,9). f(9,137,1). f(10,137,1). 
f(11,137,1). f(12,137,3). f(13,137,4). f(14,137,1). f(15,137,5). f(16,137,6). 
f(17,137,9). f(18,137,1). f(19,137,1). f(20,137,1). f(21,137,1). f(22,137,7). 

f(23,138,8). f(0,138,1). f(1,138,1). f(2,138,1). f(3,138,1). f(4,138,1). 
f(5,138,1). f(6,138,1). f(7,138,2). f(8,138,9). f(9,138,10). f(10,138,11). 
f(11,138,1). f(12,138,3). f(13,138,4). f(14,138,1). f(15,138,5). f(16,138,6). 
f(17,138,9). f(18,138,10). f(19,138,10). f(20,138,10). f(21,138,11). f(22,138,7). 

f(23,139,18). f(0,139,1). f(1,139,2). f(2,139,2). f(3,139,3). f(4,139,4). 
f(5,139,5). f(6,139,6). f(7,139,7). f(8,139,8). f(9,139,9). f(10,139,10). 
f(11,139,11). f(12,139,12). f(13,139,13). f(14,139,4). f(15,139,14). f(16,139,15). 
f(17,139,7). f(18,139,9). f(19,139,9). f(20,139,9). f(21,139,16). f(22,139,17). 

f(23,140,18). f(0,140,1). f(1,140,2). f(2,140,3). f(3,140,4). f(4,140,5). 
f(5,140,6). f(6,140,6). f(7,140,6). f(8,140,7). f(9,140,8). f(10,140,9). 
f(11,140,10). f(12,140,11). f(13,140,12). f(14,140,5). f(15,140,13). f(16,140,14). 
f(17,140,15). f(18,140,16). f(19,140,8). f(20,140,8). f(21,140,17). f(22,140,18). 

f(23,141,21). f(0,141,1). f(1,141,2). f(2,141,3). f(3,141,4). f(4,141,5). 
f(5,141,6). f(6,141,7). f(7,141,8). f(8,141,9). f(9,141,10). f(10,141,11). 
f(11,141,2). f(12,141,12). f(13,141,13). f(14,141,14). f(15,141,15). f(16,141,16). 
f(17,141,9). f(18,141,17). f(19,141,18). f(20,141,19). f(21,141,11). f(22,141,20). 

f(23,143,8). f(0,143,1). f(1,143,2). f(2,143,2). f(3,143,3). f(4,143,2). 
f(5,143,2). f(6,143,2). f(7,143,2). f(8,143,2). f(9,143,4). f(10,143,2). 
f(11,143,2). f(12,143,5). f(13,143,6). f(14,143,2). f(15,143,2). f(16,143,2). 
f(17,143,2). f(18,143,4). f(19,143,4). f(20,143,4). f(21,143,2). f(22,143,7). 

f(23,144,8). f(0,144,1). f(1,144,2). f(2,144,9). f(3,144,3). f(4,144,9). 
f(5,144,9). f(6,144,9). f(7,144,9). f(8,144,10). f(9,144,4). f(10,144,11). 
f(11,144,9). f(12,144,5). f(13,144,6). f(14,144,9). f(15,144,9). f(16,144,9). 
f(17,144,12). f(18,144,4). f(19,144,4). f(20,144,4). f(21,144,11). f(22,144,7). 

f(23,145,15). f(0,145,1). f(1,145,16). f(2,145,2). f(3,145,3). f(4,145,4). 
f(5,145,2). f(6,145,2). f(7,145,5). f(8,145,6). f(9,145,7). f(10,145,8). 
f(11,145,2). f(12,145,9). f(13,145,10). f(14,145,11). f(15,145,12). f(16,145,2). 
f(17,145,2). f(18,145,13). f(19,145,7). f(20,145,7). f(21,145,8). f(22,145,14). 

f(23,146,14). f(0,146,1). f(1,146,2). f(2,146,3). f(3,146,4). f(4,146,5). 
f(5,146,6). f(6,146,6). f(7,146,6). f(8,146,6). f(9,146,7). f(10,146,8). 
f(11,146,7). f(12,146,9). f(13,146,10). f(14,146,5). f(15,146,6). f(16,146,6). 
f(17,146,11). f(18,146,7). f(19,146,7). f(20,146,7). f(21,146,12). f(22,146,13). 

f(23,147,14). f(0,147,1). f(1,147,2). f(2,147,3). f(3,147,4). f(4,147,5). 
f(5,147,6). f(6,147,6). f(7,147,6). f(8,147,15). f(9,147,7). f(10,147,8). 
f(11,147,7). f(12,147,9). f(13,147,10). f(14,147,5). f(15,147,6). f(16,147,15). 
f(17,147,11). f(18,147,7). f(19,147,7). f(20,147,7). f(21,147,12). f(22,147,13). 

f(23,148,20). f(0,148,1). f(1,148,2). f(2,148,3). f(3,148,4). f(4,148,5). 
f(5,148,6). f(6,148,7). f(7,148,8). f(8,148,9). f(9,148,10). f(10,148,11). 
f(11,148,12). f(12,148,13). f(13,148,14). f(14,148,15). f(15,148,16). f(16,148,17). 
f(17,148,9). f(18,148,18). f(19,148,10). f(20,148,10). f(21,148,10). f(22,148,19). 

f(23,149,16). f(0,149,1). f(1,149,2). f(2,149,3). f(3,149,2). f(4,149,2). 
f(5,149,2). f(6,149,4). f(7,149,2). f(8,149,2). f(9,149,5). f(10,149,6). 
f(11,149,7). f(12,149,8). f(13,149,9). f(14,149,10). f(15,149,11). f(16,149,2). 
f(17,149,12). f(18,149,2). f(19,149,13). f(20,149,5). f(21,149,14). f(22,149,15). 

f(23,150,2). f(0,150,1). f(1,150,2). f(2,150,2). f(3,150,3). f(4,150,2). 
f(5,150,2). f(6,150,2). f(7,150,2). f(8,150,2). f(9,150,2). f(10,150,2). 
f(11,150,2). f(12,150,1). f(13,150,1). f(14,150,2). f(15,150,2). f(16,150,2). 
f(17,150,2). f(18,150,4). f(19,150,2). f(20,150,2). f(21,150,5). f(22,150,2). 

f(23,151,18). f(0,151,1). f(1,151,2). f(2,151,3). f(3,151,4). f(4,151,5). 
f(5,151,6). f(6,151,6). f(7,151,6). f(8,151,7). f(9,151,8). f(10,151,9). 
f(11,151,10). f(12,151,11). f(13,151,12). f(14,151,5). f(15,151,13). f(16,151,14). 
f(17,151,7). f(18,151,15). f(19,151,16). f(20,151,8). f(21,151,10). f(22,151,17). 

f(23,152,18). f(0,152,1). f(1,152,2). f(2,152,3). f(3,152,4). f(4,152,5). 
f(5,152,6). f(6,152,6). f(7,152,19). f(8,152,7). f(9,152,8). f(10,152,9). 
f(11,152,10). f(12,152,11). f(13,152,12). f(14,152,5). f(15,152,13). f(16,152,14). 
f(17,152,7). f(18,152,15). f(19,152,16). f(20,152,8). f(21,152,20). f(22,152,17). 

f(23,153,14). f(0,153,1). f(1,153,2). f(2,153,3). f(3,153,4). f(4,153,5). 
f(5,153,1). f(6,153,1). f(7,153,6). f(8,153,7). f(9,153,8). f(10,153,9). 
f(11,153,1). f(12,153,1). f(13,153,10). f(14,153,5). f(15,153,11). f(16,153,6). 
f(17,153,12). f(18,153,8). f(19,153,8). f(20,153,8). f(21,153,9). f(22,153,13). 

f(23,154,1). f(0,154,1). f(1,154,1). f(2,154,1). f(3,154,1). f(4,154,1). 
f(5,154,1). f(6,154,1). f(7,154,1). f(8,154,2). f(9,154,1). f(10,154,1). 
f(11,154,1). f(12,154,1). f(13,154,1). f(14,154,1). f(15,154,1). f(16,154,1). 
f(17,154,2). f(18,154,1). f(19,154,1). f(20,154,1). f(21,154,1). f(22,154,1). 

f(23,155,1). f(0,155,3). f(1,155,1). f(2,155,1). f(3,155,1). f(4,155,1). 
f(5,155,1). f(6,155,1). f(7,155,1). f(8,155,2). f(9,155,1). f(10,155,1). 
f(11,155,1). f(12,155,4). f(13,155,4). f(14,155,1). f(15,155,1). f(16,155,1). 
f(17,155,2). f(18,155,1). f(19,155,1). f(20,155,1). f(21,155,1). f(22,155,1). 

f(23,156,19). f(0,156,1). f(1,156,2). f(2,156,3). f(3,156,4). f(4,156,5). 
f(5,156,6). f(6,156,7). f(7,156,8). f(8,156,9). f(9,156,10). f(10,156,11). 
f(11,156,12). f(12,156,13). f(13,156,14). f(14,156,15). f(15,156,7). f(16,156,16). 
f(17,156,17). f(18,156,10). f(19,156,10). f(20,156,10). f(21,156,18). f(22,156,19). 

f(23,157,18). f(0,157,1). f(1,157,2). f(2,157,3). f(3,157,4). f(4,157,5). 
f(5,157,6). f(6,157,6). f(7,157,8). f(8,157,9). f(9,157,10). f(10,157,11). 
f(11,157,10). f(12,157,12). f(13,157,13). f(14,157,14). f(15,157,15). f(16,157,16). 
f(17,157,9). f(18,157,10). f(19,157,10). f(20,157,10). f(21,157,7). f(22,157,17). 

f(23,158,18). f(0,158,1). f(1,158,2). f(2,158,3). f(3,158,4). f(4,158,5). 
f(5,158,7). f(6,158,7). f(7,158,8). f(8,158,9). f(9,158,10). f(10,158,11). 
f(11,158,10). f(12,158,12). f(13,158,13). f(14,158,14). f(15,158,15). f(16,158,16). 
f(17,158,9). f(18,158,10). f(19,158,10). f(20,158,10). f(21,158,7). f(22,158,17). 

f(23,159,14). f(0,159,1). f(1,159,2). f(2,159,3). f(3,159,4). f(4,159,5). 
f(5,159,6). f(6,159,6). f(7,159,6). f(8,159,6). f(9,159,6). f(10,159,7). 
f(11,159,6). f(12,159,8). f(13,159,9). f(14,159,5). f(15,159,6). f(16,159,6). 
f(17,159,10). f(18,159,11). f(19,159,6). f(20,159,6). f(21,159,12). f(22,159,13). 

f(23,160,1). f(0,160,1). f(1,160,2). f(2,160,2). f(3,160,1). f(4,160,3). 
f(5,160,1). f(6,160,1). f(7,160,1). f(8,160,1). f(9,160,1). f(10,160,1). 
f(11,160,1). f(12,160,1). f(13,160,1). f(14,160,3). f(15,160,1). f(16,160,1). 
f(17,160,1). f(18,160,1). f(19,160,4). f(20,160,1). f(21,160,1). f(22,160,1). 

f(23,161,8). f(0,161,1). f(1,161,2). f(2,161,2). f(3,161,2). f(4,161,2). 
f(5,161,9). f(6,161,10). f(7,161,3). f(8,161,4). f(9,161,11). f(10,161,11). 
f(11,161,11). f(12,161,5). f(13,161,6). f(14,161,2). f(15,161,10). f(16,161,11). 
f(17,161,4). f(18,161,11). f(19,161,11). f(20,161,11). f(21,161,11). f(22,161,7). 

f(23,162,9). f(0,162,1). f(1,162,2). f(2,162,2). f(3,162,3). f(4,162,2). 
f(5,162,4). f(6,162,4). f(7,162,5). f(8,162,6). f(9,162,10). f(10,162,2). 
f(11,162,2). f(12,162,7). f(13,162,8). f(14,162,2). f(15,162,4). f(16,162,6). 
f(17,162,6). f(18,162,10). f(19,162,10). f(20,162,10). f(21,162,2). f(22,162,2). 

f(23,164,20). f(0,164,1). f(1,164,2). f(2,164,3). f(3,164,4). f(4,164,5). 
f(5,164,6). f(6,164,7). f(7,164,8). f(8,164,9). f(9,164,10). f(10,164,11). 
f(11,164,8). f(12,164,12). f(13,164,13). f(14,164,5). f(15,164,14). f(16,164,8). 
f(17,164,9). f(18,164,15). f(19,164,16). f(20,164,17). f(21,164,18). f(22,164,19). 

f(23,165,18). f(0,165,1). f(1,165,2). f(2,165,3). f(3,165,4). f(4,165,5). 
f(5,165,5). f(6,165,6). f(7,165,7). f(8,165,8). f(9,165,9). f(10,165,10). 
f(11,165,11). f(12,165,12). f(13,165,13). f(14,165,5). f(15,165,14). f(16,165,15). 
f(17,165,8). f(18,165,9). f(19,165,9). f(20,165,9). f(21,165,16). f(22,165,17). 

f(23,166,17). f(0,166,1). f(1,166,2). f(2,166,3). f(3,166,3). f(4,166,3). 
f(5,166,4). f(6,166,5). f(7,166,6). f(8,166,7). f(9,166,8). f(10,166,9). 
f(11,166,10). f(12,166,11). f(13,166,12). f(14,166,3). f(15,166,13). f(16,166,14). 
f(17,166,7). f(18,166,8). f(19,166,8). f(20,166,8). f(21,166,15). f(22,166,16). 

f(23,167,17). f(0,167,1). f(1,167,2). f(2,167,3). f(3,167,3). f(4,167,18). 
f(5,167,4). f(6,167,5). f(7,167,6). f(8,167,7). f(9,167,8). f(10,167,9). 
f(11,167,10). f(12,167,11). f(13,167,12). f(14,167,18). f(15,167,13). f(16,167,14). 
f(17,167,7). f(18,167,8). f(19,167,8). f(20,167,8). f(21,167,15). f(22,167,16). 

f(23,168,16). f(0,168,1). f(1,168,2). f(2,168,3). f(3,168,13). f(4,168,4). 
f(5,168,14). f(6,168,14). f(7,168,14). f(8,168,14). f(9,168,5). f(10,168,15). 
f(11,168,16). f(12,168,6). f(13,168,7). f(14,168,8). f(15,168,9). f(16,168,10). 
f(17,168,11). f(18,168,17). f(19,168,12). f(20,168,17). f(21,168,18). f(22,168,16). 

f(23,169,18). f(0,169,1). f(1,169,2). f(2,169,3). f(3,169,4). f(4,169,5). 
f(5,169,6). f(6,169,17). f(7,169,7). f(8,169,8). f(9,169,18). f(10,169,9). 
f(11,169,18). f(12,169,10). f(13,169,11). f(14,169,12). f(15,169,13). f(16,169,14). 
f(17,169,15). f(18,169,18). f(19,169,18). f(20,169,18). f(21,169,9). f(22,169,16). 

f(23,170,15). f(0,170,1). f(1,170,2). f(2,170,3). f(3,170,4). f(4,170,5). 
f(5,170,6). f(6,170,7). f(7,170,8). f(8,170,9). f(9,170,10). f(10,170,1). 
f(11,170,11). f(12,170,1). f(13,170,12). f(14,170,13). f(15,170,7). f(16,170,9). 
f(17,170,9). f(18,170,10). f(19,170,10). f(20,170,10). f(21,170,1). f(22,170,14). 

f(23,171,17). f(0,171,1). f(1,171,2). f(2,171,3). f(3,171,4). f(4,171,5). 
f(5,171,6). f(6,171,7). f(7,171,8). f(8,171,9). f(9,171,10). f(10,171,11). 
f(11,171,10). f(12,171,12). f(13,171,13). f(14,171,14). f(15,171,15). f(16,171,9). 
f(17,171,9). f(18,171,10). f(19,171,10). f(20,171,10). f(21,171,10). f(22,171,16). 

f(23,172,20). f(0,172,1). f(1,172,2). f(2,172,3). f(3,172,4). f(4,172,5). 
f(5,172,6). f(6,172,7). f(7,172,8). f(8,172,9). f(9,172,10). f(10,172,11). 
f(11,172,12). f(12,172,13). f(13,172,14). f(14,172,15). f(15,172,16). f(16,172,17). 
f(17,172,9). f(18,172,18). f(19,172,10). f(20,172,10). f(21,172,11). f(22,172,19). 

f(23,173,21). f(0,173,1). f(1,173,2). f(2,173,3). f(3,173,4). f(4,173,5). 
f(5,173,6). f(6,173,7). f(7,173,8). f(8,173,8). f(9,173,9). f(10,173,10). 
f(11,173,11). f(12,173,12). f(13,173,13). f(14,173,14). f(15,173,15). f(16,173,16). 
f(17,173,17). f(18,173,18). f(19,173,18). f(20,173,9). f(21,173,19). f(22,173,20). 

f(23,174,2). f(0,174,1). f(1,174,2). f(2,174,2). f(3,174,3). f(4,174,11). 
f(5,174,4). f(6,174,5). f(7,174,2). f(8,174,6). f(9,174,12). f(10,174,13). 
f(11,174,2). f(12,174,7). f(13,174,8). f(14,174,11). f(15,174,9). f(16,174,2). 
f(17,174,2). f(18,174,12). f(19,174,12). f(20,174,12). f(21,174,13). f(22,174,10). 

f(23,175,18). f(0,175,1). f(1,175,2). f(2,175,2). f(3,175,3). f(4,175,4). 
f(5,175,5). f(6,175,6). f(7,175,7). f(8,175,8). f(9,175,2). f(10,175,9). 
f(11,175,10). f(12,175,11). f(13,175,12). f(14,175,4). f(15,175,13). f(16,175,14). 
f(17,175,8). f(18,175,15). f(19,175,2). f(20,175,2). f(21,175,16). f(22,175,17). 

f(23,176,8). f(0,176,1). f(1,176,2). f(2,176,3). f(3,176,4). f(4,176,5). 
f(5,176,6). f(6,176,7). f(7,176,8). f(8,176,9). f(9,176,10). f(10,176,11). 
f(11,176,8). f(12,176,12). f(13,176,13). f(14,176,5). f(15,176,7). f(16,176,8). 
f(17,176,14). f(18,176,10). f(19,176,10). f(20,176,10). f(21,176,15). f(22,176,16). 

f(23,178,18). f(0,178,1). f(1,178,2). f(2,178,3). f(3,178,4). f(4,178,5). 
f(5,178,6). f(6,178,3). f(7,178,7). f(8,178,8). f(9,178,9). f(10,178,10). 
f(11,178,3). f(12,178,1). f(13,178,11). f(14,178,12). f(15,178,13). f(16,178,14). 
f(17,178,14). f(18,178,15). f(19,178,16). f(20,178,16). f(21,178,10). f(22,178,17). 

f(23,179,10). f(0,179,1). f(1,179,2). f(2,179,3). f(3,179,4). f(4,179,5). 
f(5,179,6). f(6,179,7). f(7,179,5). f(8,179,8). f(9,179,9). f(10,179,10). 
f(11,179,10). f(12,179,11). f(13,179,12). f(14,179,5). f(15,179,13). f(16,179,14). 
f(17,179,15). f(18,179,9). f(19,179,9). f(20,179,9). f(21,179,10). f(22,179,16). 

f(23,181,19). f(0,181,1). f(1,181,2). f(2,181,2). f(3,181,3). f(4,181,4). 
f(5,181,5). f(6,181,6). f(7,181,7). f(8,181,8). f(9,181,9). f(10,181,10). 
f(11,181,2). f(12,181,11). f(13,181,12). f(14,181,4). f(15,181,13). f(16,181,14). 
f(17,181,2). f(18,181,15). f(19,181,16). f(20,181,9). f(21,181,17). f(22,181,18). 

f(23,182,16). f(0,182,1). f(1,182,2). f(2,182,3). f(3,182,4). f(4,182,5). 
f(5,182,17). f(6,182,6). f(7,182,17). f(8,182,17). f(9,182,7). f(10,182,9). 
f(11,182,17). f(12,182,10). f(13,182,11). f(14,182,12). f(15,182,13). f(16,182,17). 
f(17,182,17). f(18,182,14). f(19,182,7). f(20,182,7). f(21,182,8). f(22,182,15). 

f(23,183,19). f(0,183,1). f(1,183,2). f(2,183,3). f(3,183,4). f(4,183,5). 
f(5,183,6). f(6,183,7). f(7,183,8). f(8,183,8). f(9,183,9). f(10,183,10). 
f(11,183,3). f(12,183,11). f(13,183,12). f(14,183,13). f(15,183,14). f(16,183,15). 
f(17,183,8). f(18,183,16). f(19,183,16). f(20,183,16). f(21,183,17). f(22,183,18). 

f(23,188,13). f(0,188,1). f(1,188,14). f(2,188,2). f(3,188,3). f(4,188,4). 
f(5,188,15). f(6,188,5). f(7,188,16). f(8,188,17). f(9,188,18). f(10,188,6). 
f(11,188,19). f(12,188,7). f(13,188,8). f(14,188,4). f(15,188,15). f(16,188,9). 
f(17,188,10). f(18,188,18). f(19,188,18). f(20,188,18). f(21,188,11). f(22,188,12). 

f(23,189,20). f(0,189,1). f(1,189,2). f(2,189,3). f(3,189,4). f(4,189,5). 
f(5,189,3). f(6,189,6). f(7,189,7). f(8,189,8). f(9,189,9). f(10,189,10). 
f(11,189,11). f(12,189,12). f(13,189,13). f(14,189,14). f(15,189,15). f(16,189,16). 
f(17,189,17). f(18,189,9). f(19,189,9). f(20,189,18). f(21,189,10). f(22,189,19). 

f(23,190,3). f(0,190,1). f(1,190,2). f(2,190,3). f(3,190,4). f(4,190,5). 
f(5,190,3). f(6,190,3). f(7,190,3). f(8,190,3). f(9,190,3). f(10,190,3). 
f(11,190,3). f(12,190,3). f(13,190,3). f(14,190,5). f(15,190,3). f(16,190,3). 
f(17,190,3). f(18,190,3). f(19,190,3). f(20,190,3). f(21,190,3). f(22,190,3). 

f(23,191,8). f(0,191,1). f(1,191,2). f(2,191,3). f(3,191,4). f(4,191,5). 
f(5,191,3). f(6,191,3). f(7,191,3). f(8,191,6). f(9,191,7). f(10,191,3). 
f(11,191,8). f(12,191,3). f(13,191,3). f(14,191,5). f(15,191,3). f(16,191,3). 
f(17,191,6). f(18,191,7). f(19,191,7). f(20,191,7). f(21,191,3). f(22,191,8). 

f(23,192,10). f(0,192,1). f(1,192,1). f(2,192,1). f(3,192,2). f(4,192,1). 
f(5,192,1). f(6,192,1). f(7,192,3). f(8,192,3). f(9,192,1). f(10,192,4). 
f(11,192,1). f(12,192,5). f(13,192,6). f(14,192,1). f(15,192,7). f(16,192,8). 
f(17,192,3). f(18,192,1). f(19,192,1). f(20,192,1). f(21,192,1). f(22,192,9). 

f(23,193,10). f(0,193,1). f(1,193,1). f(2,193,1). f(3,193,2). f(4,193,11). 
f(5,193,1). f(6,193,1). f(7,193,3). f(8,193,3). f(9,193,12). f(10,193,4). 
f(11,193,1). f(12,193,5). f(13,193,6). f(14,193,11). f(15,193,7). f(16,193,8). 
f(17,193,3). f(18,193,12). f(19,193,12). f(20,193,12). f(21,193,1). f(22,193,9). 

f(23,194,22). f(0,194,1). f(1,194,2). f(2,194,3). f(3,194,4). f(4,194,5). 
f(5,194,6). f(6,194,7). f(7,194,8). f(8,194,9). f(9,194,10). f(10,194,11). 
f(11,194,3). f(12,194,12). f(13,194,13). f(14,194,14). f(15,194,15). f(16,194,9). 
f(17,194,16). f(18,194,17). f(19,194,18). f(20,194,19). f(21,194,20). f(22,194,21). 

f(23,195,9). f(0,195,1). f(1,195,2). f(2,195,3). f(3,195,4). f(4,195,5). 
f(5,195,6). f(6,195,6). f(7,195,6). f(8,195,6). f(9,195,7). f(10,195,8). 
f(11,195,9). f(12,195,10). f(13,195,11). f(14,195,12). f(15,195,6). f(16,195,13). 
f(17,195,6). f(18,195,7). f(19,195,7). f(20,195,7). f(21,195,14). f(22,195,15). 

f(23,196,16). f(0,196,1). f(1,196,2). f(2,196,3). f(3,196,4). f(4,196,5). 
f(5,196,6). f(6,196,6). f(7,196,7). f(8,196,8). f(9,196,17). f(10,196,6). 
f(11,196,17). f(12,196,9). f(13,196,10). f(14,196,11). f(15,196,12). f(16,196,13). 
f(17,196,8). f(18,196,17). f(19,196,17). f(20,196,17). f(21,196,14). f(22,196,15). 

f(23,197,14). f(0,197,1). f(1,197,2). f(2,197,2). f(3,197,3). f(4,197,4). 
f(5,197,2). f(6,197,5). f(7,197,15). f(8,197,6). f(9,197,16). f(10,197,2). 
f(11,197,16). f(12,197,7). f(13,197,8). f(14,197,9). f(15,197,10). f(16,197,11). 
f(17,197,6). f(18,197,12). f(19,197,16). f(20,197,16). f(21,197,2). f(22,197,13). 

f(23,198,10). f(0,198,1). f(1,198,2). f(2,198,3). f(3,198,4). f(4,198,5). 
f(5,198,3). f(6,198,3). f(7,198,3). f(8,198,3). f(9,198,3). f(10,198,6). 
f(11,198,3). f(12,198,11). f(13,198,7). f(14,198,5). f(15,198,8). f(16,198,3). 
f(17,198,3). f(18,198,3). f(19,198,3). f(20,198,3). f(21,198,3). f(22,198,9). 

f(23,199,20). f(0,199,1). f(1,199,2). f(2,199,2). f(3,199,3). f(4,199,4). 
f(5,199,5). f(6,199,5). f(7,199,6). f(8,199,7). f(9,199,8). f(10,199,9). 
f(11,199,10). f(12,199,11). f(13,199,12). f(14,199,13). f(15,199,14). f(16,199,15). 
f(17,199,16). f(18,199,17). f(19,199,8). f(20,199,8). f(21,199,18). f(22,199,19). 

f(23,201,7). f(0,201,2). f(1,201,3). f(2,201,5). f(3,201,6). f(4,201,6). 
f(5,201,6). f(6,201,8). f(7,201,6). f(8,201,6). f(9,201,6). f(10,201,9). 
f(11,201,7). f(12,201,11). f(13,201,12). f(14,201,6). f(15,201,13). f(16,201,6). 
f(17,201,6). f(18,201,6). f(19,201,6). f(20,201,6). f(21,201,15). f(22,201,7). 

f(23,202,19). f(0,202,1). f(1,202,2). f(2,202,3). f(3,202,4). f(4,202,5). 
f(5,202,3). f(6,202,6). f(7,202,7). f(8,202,8). f(9,202,9). f(10,202,9). 
f(11,202,10). f(12,202,11). f(13,202,12). f(14,202,13). f(15,202,14). f(16,202,15). 
f(17,202,16). f(18,202,17). f(19,202,9). f(20,202,9). f(21,202,9). f(22,202,18). 

f(23,204,15). f(0,204,1). f(1,204,2). f(2,204,3). f(3,204,4). f(4,204,5). 
f(5,204,1). f(6,204,1). f(7,204,6). f(8,204,6). f(9,204,7). f(10,204,8). 
f(11,204,9). f(12,204,10). f(13,204,11). f(14,204,12). f(15,204,1). f(16,204,6). 
f(17,204,6). f(18,204,7). f(19,204,7). f(20,204,7). f(21,204,13). f(22,204,14). 

f(23,205,7). f(0,205,1). f(1,205,2). f(2,205,3). f(3,205,4). f(4,205,2). 
f(5,205,2). f(6,205,2). f(7,205,2). f(8,205,2). f(9,205,2). f(10,205,2). 
f(11,205,2). f(12,205,1). f(13,205,5). f(14,205,2). f(15,205,2). f(16,205,2). 
f(17,205,6). f(18,205,2). f(19,205,2). f(20,205,2). f(21,205,2). f(22,205,2). 

f(23,206,7). f(0,206,1). f(1,206,2). f(2,206,3). f(3,206,4). f(4,206,8). 
f(5,206,9). f(6,206,9). f(7,206,10). f(8,206,11). f(9,206,12). f(10,206,13). 
f(11,206,2). f(12,206,1). f(13,206,5). f(14,206,8). f(15,206,9). f(16,206,10). 
f(17,206,6). f(18,206,12). f(19,206,12). f(20,206,12). f(21,206,13). f(22,206,14). 

f(23,207,7). f(0,207,1). f(1,207,2). f(2,207,3). f(3,207,4). f(4,207,8). 
f(5,207,9). f(6,207,15). f(7,207,10). f(8,207,11). f(9,207,12). f(10,207,13). 
f(11,207,2). f(12,207,1). f(13,207,5). f(14,207,8). f(15,207,15). f(16,207,10). 
f(17,207,6). f(18,207,12). f(19,207,12). f(20,207,12). f(21,207,13). f(22,207,14). 

f(23,209,16). f(0,209,1). f(1,209,2). f(2,209,1). f(3,209,1). f(4,209,3). 
f(5,209,4). f(6,209,5). f(7,209,1). f(8,209,6). f(9,209,1). f(10,209,7). 
f(11,209,8). f(12,209,9). f(13,209,10). f(14,209,3). f(15,209,11). f(16,209,12). 
f(17,209,13). f(18,209,14). f(19,209,1). f(20,209,17). f(21,209,7). f(22,209,15). 

f(23,210,16). f(0,210,1). f(1,210,2). f(2,210,1). f(3,210,1). f(4,210,3). 
f(5,210,4). f(6,210,5). f(7,210,1). f(8,210,6). f(9,210,18). f(10,210,7). 
f(11,210,8). f(12,210,9). f(13,210,10). f(14,210,3). f(15,210,11). f(16,210,12). 
f(17,210,13). f(18,210,14). f(19,210,18). f(20,210,17). f(21,210,7). f(22,210,15). 

f(23,211,6). f(0,211,1). f(1,211,2). f(2,211,3). f(3,211,4). f(4,211,5). 
f(5,211,6). f(6,211,7). f(7,211,8). f(8,211,6). f(9,211,9). f(10,211,10). 
f(11,211,6). f(12,211,11). f(13,211,12). f(14,211,5). f(15,211,6). f(16,211,6). 
f(17,211,6). f(18,211,9). f(19,211,13). f(20,211,9). f(21,211,14). f(22,211,15). 

f(23,212,15). f(0,212,1). f(1,212,2). f(2,212,3). f(3,212,4). f(4,212,5). 
f(5,212,3). f(6,212,3). f(7,212,6). f(8,212,3). f(9,212,7). f(10,212,8). 
f(11,212,3). f(12,212,9). f(13,212,10). f(14,212,11). f(15,212,12). f(16,212,3). 
f(17,212,3). f(18,212,13). f(19,212,7). f(20,212,7). f(21,212,8). f(22,212,14). 

f(23,214,10). f(0,214,2). f(1,214,2). f(2,214,2). f(3,214,2). f(4,214,1). 
f(5,214,2). f(6,214,2). f(7,214,2). f(8,214,3). f(9,214,2). f(10,214,2). 
f(11,214,2). f(12,214,2). f(13,214,5). f(14,214,1). f(15,214,6). f(16,214,3). 
f(17,214,3). f(18,214,2). f(19,214,2). f(20,214,2). f(21,214,2). f(22,214,8). 

f(23,215,6). f(0,215,1). f(1,215,8). f(2,215,9). f(3,215,10). f(4,215,2). 
f(5,215,11). f(6,215,11). f(7,215,12). f(8,215,11). f(9,215,13). f(10,215,14). 
f(11,215,15). f(12,215,16). f(13,215,3). f(14,215,2). f(15,215,4). f(16,215,11). 
f(17,215,11). f(18,215,13). f(19,215,13). f(20,215,13). f(21,215,17). f(22,215,5). 

f(23,217,8). f(0,217,1). f(1,217,2). f(2,217,3). f(3,217,4). f(4,217,1). 
f(5,217,5). f(6,217,5). f(7,217,6). f(8,217,15). f(9,217,14). f(10,217,7). 
f(11,217,8). f(12,217,9). f(13,217,10). f(14,217,1). f(15,217,11). f(16,217,12). 
f(17,217,15). f(18,217,14). f(19,217,14). f(20,217,14). f(21,217,7). f(22,217,13). 

f(23,218,8). f(0,218,1). f(1,218,2). f(2,218,3). f(3,218,4). f(4,218,1). 
f(5,218,1). f(6,218,1). f(7,218,6). f(8,218,15). f(9,218,14). f(10,218,7). 
f(11,218,8). f(12,218,9). f(13,218,10). f(14,218,1). f(15,218,11). f(16,218,12). 
f(17,218,15). f(18,218,14). f(19,218,14). f(20,218,14). f(21,218,7). f(22,218,13). 

f(23,220,9). f(0,220,1). f(1,220,2). f(2,220,2). f(3,220,3). f(4,220,1). 
f(5,220,1). f(6,220,1). f(7,220,1). f(8,220,1). f(9,220,1). f(10,220,4). 
f(11,220,1). f(12,220,5). f(13,220,6). f(14,220,1). f(15,220,7). f(16,220,1). 
f(17,220,1). f(18,220,1). f(19,220,1). f(20,220,1). f(21,220,1). f(22,220,8). 

f(23,221,9). f(0,221,1). f(1,221,2). f(2,221,2). f(3,221,3). f(4,221,10). 
f(5,221,11). f(6,221,11). f(7,221,12). f(8,221,13). f(9,221,10). f(10,221,4). 
f(11,221,10). f(12,221,5). f(13,221,6). f(14,221,10). f(15,221,7). f(16,221,12). 
f(17,221,13). f(18,221,10). f(19,221,10). f(20,221,10). f(21,221,10). f(22,221,8). 

f(23,222,16). f(0,222,1). f(1,222,3). f(2,222,1). f(3,222,4). f(4,222,5). 
f(5,222,1). f(6,222,1). f(7,222,6). f(8,222,1). f(9,222,2). f(10,222,17). 
f(11,222,7). f(12,222,8). f(13,222,9). f(14,222,10). f(15,222,11). f(16,222,12). 
f(17,222,1). f(18,222,13). f(19,222,14). f(20,222,2). f(21,222,18). f(22,222,15). 

f(23,223,16). f(0,223,1). f(1,223,3). f(2,223,19). f(3,223,4). f(4,223,5). 
f(5,223,20). f(6,223,20). f(7,223,6). f(8,223,21). f(9,223,2). f(10,223,17). 
f(11,223,7). f(12,223,8). f(13,223,9). f(14,223,10). f(15,223,11). f(16,223,12). 
f(17,223,21). f(18,223,13). f(19,223,14). f(20,223,2). f(21,223,18). f(22,223,15). 

f(23,224,21). f(0,224,1). f(1,224,2). f(2,224,3). f(3,224,4). f(4,224,5). 
f(5,224,6). f(6,224,7). f(7,224,8). f(8,224,9). f(9,224,10). f(10,224,11). 
f(11,224,12). f(12,224,1). f(13,224,13). f(14,224,5). f(15,224,14). f(16,224,15). 
f(17,224,16). f(18,224,17). f(19,224,18). f(20,224,17). f(21,224,19). f(22,224,20). 

f(23,225,11). f(0,225,1). f(1,225,1). f(2,225,1). f(3,225,2). f(4,225,3). 
f(5,225,1). f(6,225,1). f(7,225,1). f(8,225,4). f(9,225,5). f(10,225,1). 
f(11,225,6). f(12,225,1). f(13,225,7). f(14,225,3). f(15,225,8). f(16,225,1). 
f(17,225,9). f(18,225,1). f(19,225,1). f(20,225,5). f(21,225,1). f(22,225,10). 

f(23,227,12). f(0,227,1). f(1,227,3). f(2,227,1). f(3,227,4). f(4,227,5). 
f(5,227,1). f(6,227,1). f(7,227,1). f(8,227,2). f(9,227,1). f(10,227,1). 
f(11,227,1). f(12,227,1). f(13,227,7). f(14,227,5). f(15,227,9). f(16,227,1). 
f(17,227,2). f(18,227,1). f(19,227,1). f(20,227,1). f(21,227,1). f(22,227,10). 

f(23,228,15). f(0,228,1). f(1,228,2). f(2,228,3). f(3,228,4). f(4,228,5). 
f(5,228,6). f(6,228,6). f(7,228,6). f(8,228,6). f(9,228,6). f(10,228,7). 
f(11,228,8). f(12,228,1). f(13,228,9). f(14,228,10). f(15,228,11). f(16,228,6). 
f(17,228,6). f(18,228,12). f(19,228,6). f(20,228,6). f(21,228,13). f(22,228,14). 

f(23,229,15). f(0,229,1). f(1,229,2). f(2,229,3). f(3,229,4). f(4,229,5). 
f(5,229,16). f(6,229,16). f(7,229,6). f(8,229,17). f(9,229,18). f(10,229,7). 
f(11,229,8). f(12,229,1). f(13,229,9). f(14,229,10). f(15,229,11). f(16,229,17). 
f(17,229,17). f(18,229,12). f(19,229,6). f(20,229,18). f(21,229,13). f(22,229,14). 

f(23,230,16). f(0,230,1). f(1,230,2). f(2,230,3). f(3,230,4). f(4,230,5). 
f(5,230,5). f(6,230,5). f(7,230,6). f(8,230,7). f(9,230,8). f(10,230,9). 
f(11,230,10). f(12,230,11). f(13,230,12). f(14,230,5). f(15,230,13). f(16,230,8). 
f(17,230,7). f(18,230,8). f(19,230,8). f(20,230,8). f(21,230,14). f(22,230,15). 

f(23,232,19). f(0,232,1). f(1,232,2). f(2,232,3). f(3,232,4). f(4,232,5). 
f(5,232,6). f(6,232,7). f(7,232,3). f(8,232,8). f(9,232,9). f(10,232,10). 
f(11,232,11). f(12,232,12). f(13,232,13). f(14,232,14). f(15,232,15). f(16,232,3). 
f(17,232,8). f(18,232,3). f(19,232,16). f(20,232,9). f(21,232,17). f(22,232,18). 

f(23,233,16). f(0,233,1). f(1,233,2). f(2,233,3). f(3,233,4). f(4,233,5). 
f(5,233,3). f(6,233,3). f(7,233,6). f(8,233,6). f(9,233,7). f(10,233,8). 
f(11,233,17). f(12,233,9). f(13,233,10). f(14,233,11). f(15,233,12). f(16,233,6). 
f(17,233,13). f(18,233,7). f(19,233,7). f(20,233,7). f(21,233,14). f(22,233,15). 

f(23,234,13). f(0,234,1). f(1,234,1). f(2,234,1). f(3,234,1). f(4,234,2). 
f(5,234,1). f(6,234,1). f(7,234,3). f(8,234,4). f(9,234,5). f(10,234,6). 
f(11,234,1). f(12,234,7). f(13,234,8). f(14,234,9). f(15,234,10). f(16,234,4). 
f(17,234,4). f(18,234,11). f(19,234,5). f(20,234,5). f(21,234,1). f(22,234,12). 

f(23,235,15). f(0,235,1). f(1,235,1). f(2,235,2). f(3,235,1). f(4,235,3). 
f(5,235,1). f(6,235,4). f(7,235,5). f(8,235,5). f(9,235,5). f(10,235,6). 
f(11,235,5). f(12,235,7). f(13,235,8). f(14,235,9). f(15,235,10). f(16,235,5). 
f(17,235,5). f(18,235,11). f(19,235,12). f(20,235,5). f(21,235,13). f(22,235,14). 

f(23,236,15). f(0,236,1). f(1,236,2). f(2,236,16). f(3,236,17). f(4,236,3). 
f(5,236,4). f(6,236,5). f(7,236,6). f(8,236,18). f(9,236,6). f(10,236,6). 
f(11,236,7). f(12,236,8). f(13,236,9). f(14,236,10). f(15,236,11). f(16,236,18). 
f(17,236,18). f(18,236,12). f(19,236,6). f(20,236,6). f(21,236,13). f(22,236,14). 

f(23,237,11). f(0,237,1). f(1,237,2). f(2,237,2). f(3,237,3). f(4,237,4). 
f(5,237,2). f(6,237,2). f(7,237,5). f(8,237,6). f(9,237,7). f(10,237,2). 
f(11,237,2). f(12,237,8). f(13,237,9). f(14,237,4). f(15,237,10). f(16,237,6). 
f(17,237,6). f(18,237,7). f(19,237,7). f(20,237,7). f(21,237,2). f(22,237,2). 

f(23,238,18). f(0,238,1). f(1,238,2). f(2,238,3). f(3,238,4). f(4,238,5). 
f(5,238,6). f(6,238,6). f(7,238,7). f(8,238,7). f(9,238,8). f(10,238,9). 
f(11,238,10). f(12,238,11). f(13,238,12). f(14,238,13). f(15,238,6). f(16,238,14). 
f(17,238,7). f(18,238,15). f(19,238,8). f(20,238,8). f(21,238,16). f(22,238,17). 

f(23,239,18). f(0,239,1). f(1,239,2). f(2,239,3). f(3,239,4). f(4,239,5). 
f(5,239,6). f(6,239,19). f(7,239,7). f(8,239,7). f(9,239,8). f(10,239,9). 
f(11,239,10). f(12,239,11). f(13,239,12). f(14,239,13). f(15,239,19). f(16,239,14). 
f(17,239,7). f(18,239,15). f(19,239,8). f(20,239,8). f(21,239,16). f(22,239,17). 

f(23,240,16). f(0,240,1). f(1,240,2). f(2,240,3). f(3,240,4). f(4,240,5). 
f(5,240,2). f(6,240,6). f(7,240,7). f(8,240,8). f(9,240,9). f(10,240,2). 
f(11,240,9). f(12,240,10). f(13,240,11). f(14,240,5). f(15,240,12). f(16,240,7). 
f(17,240,8). f(18,240,9). f(19,240,13). f(20,240,9). f(21,240,14). f(22,240,15). 

f(23,241,16). f(0,241,1). f(1,241,2). f(2,241,3). f(3,241,4). f(4,241,5). 
f(5,241,2). f(6,241,6). f(7,241,7). f(8,241,8). f(9,241,9). f(10,241,2). 
f(11,241,17). f(12,241,10). f(13,241,11). f(14,241,5). f(15,241,12). f(16,241,7). 
f(17,241,8). f(18,241,9). f(19,241,13). f(20,241,9). f(21,241,14). f(22,241,15). 

f(23,242,7). f(0,242,1). f(1,242,2). f(2,242,3). f(3,242,4). f(4,242,5). 
f(5,242,6). f(6,242,7). f(7,242,8). f(8,242,9). f(9,242,7). f(10,242,10). 
f(11,242,7). f(12,242,11). f(13,242,12). f(14,242,13). f(15,242,14). f(16,242,15). 
f(17,242,16). f(18,242,7). f(19,242,7). f(20,242,7). f(21,242,10). f(22,242,7). 

f(23,243,2). f(0,243,1). f(1,243,2). f(2,243,3). f(3,243,4). f(4,243,2). 
f(5,243,2). f(6,243,2). f(7,243,2). f(8,243,2). f(9,243,2). f(10,243,2). 
f(11,243,2). f(12,243,1). f(13,243,1). f(14,243,2). f(15,243,2). f(16,243,2). 
f(17,243,2). f(18,243,2). f(19,243,2). f(20,243,2). f(21,243,2). f(22,243,2). 

f(23,244,2). f(0,244,1). f(1,244,2). f(2,244,3). f(3,244,4). f(4,244,2). 
f(5,244,2). f(6,244,2). f(7,244,2). f(8,244,5). f(9,244,2). f(10,244,2). 
f(11,244,2). f(12,244,1). f(13,244,1). f(14,244,2). f(15,244,2). f(16,244,2). 
f(17,244,5). f(18,244,2). f(19,244,2). f(20,244,2). f(21,244,2). f(22,244,2). 

f(23,245,18). f(0,245,1). f(1,245,2). f(2,245,2). f(3,245,3). f(4,245,4). 
f(5,245,2). f(6,245,5). f(7,245,2). f(8,245,6). f(9,245,2). f(10,245,7). 
f(11,245,2). f(12,245,8). f(13,245,9). f(14,245,10). f(15,245,11). f(16,245,12). 
f(17,245,6). f(18,245,13). f(19,245,14). f(20,245,15). f(21,245,16). f(22,245,17). 

f(23,248,8). f(0,248,1). f(1,248,16). f(2,248,17). f(3,248,2). f(4,248,3). 
f(5,248,3). f(6,248,4). f(7,248,5). f(8,248,6). f(9,248,7). f(10,248,3). 
f(11,248,8). f(12,248,9). f(13,248,10). f(14,248,11). f(15,248,12). f(16,248,13). 
f(17,248,6). f(18,248,7). f(19,248,14). f(20,248,15). f(21,248,3). f(22,248,8). 

f(23,249,2). f(0,249,1). f(1,249,2). f(2,249,2). f(3,249,3). f(4,249,2). 
f(5,249,2). f(6,249,2). f(7,249,4). f(8,249,4). f(9,249,2). f(10,249,2). 
f(11,249,2). f(12,249,1). f(13,249,5). f(14,249,2). f(15,249,2). f(16,249,6). 
f(17,249,4). f(18,249,2). f(19,249,2). f(20,249,7). f(21,249,8). f(22,249,2). 

f(23,250,2). f(0,250,1). f(1,250,2). f(2,250,2). f(3,250,3). f(4,250,2). 
f(5,250,2). f(6,250,2). f(7,250,9). f(8,250,4). f(9,250,2). f(10,250,2). 
f(11,250,2). f(12,250,1). f(13,250,5). f(14,250,2). f(15,250,2). f(16,250,6). 
f(17,250,4). f(18,250,2). f(19,250,2). f(20,250,7). f(21,250,8). f(22,250,2). 

f(23,251,3). f(0,251,1). f(1,251,2). f(2,251,3). f(3,251,4). f(4,251,5). 
f(5,251,6). f(6,251,7). f(7,251,8). f(8,251,9). f(9,251,10). f(10,251,20). 
f(11,251,3). f(12,251,11). f(13,251,12). f(14,251,13). f(15,251,14). f(16,251,15). 
f(17,251,16). f(18,251,17). f(19,251,10). f(20,251,10). f(21,251,18). f(22,251,19). 

f(23,252,15). f(0,252,1). f(1,252,2). f(2,252,3). f(3,252,4). f(4,252,5). 
f(5,252,6). f(6,252,6). f(7,252,6). f(8,252,6). f(9,252,7). f(10,252,16). 
f(11,252,6). f(12,252,8). f(13,252,9). f(14,252,5). f(15,252,10). f(16,252,11). 
f(17,252,6). f(18,252,12). f(19,252,13). f(20,252,17). f(21,252,16). f(22,252,14). 

f(23,253,15). f(0,253,1). f(1,253,2). f(2,253,2). f(3,253,2). f(4,253,3). 
f(5,253,2). f(6,253,4). f(7,253,2). f(8,253,5). f(9,253,2). f(10,253,6). 
f(11,253,2). f(12,253,7). f(13,253,8). f(14,253,9). f(15,253,10). f(16,253,5). 
f(17,253,11). f(18,253,12). f(19,253,2). f(20,253,2). f(21,253,13). f(22,253,14). 

f(23,254,3). f(0,254,1). f(1,254,2). f(2,254,4). f(3,254,5). f(4,254,7). 
f(5,254,3). f(6,254,3). f(7,254,9). f(8,254,9). f(9,254,10). f(10,254,3). 
f(11,254,3). f(12,254,13). f(13,254,14). f(14,254,16). f(15,254,17). f(16,254,9). 
f(17,254,9). f(18,254,10). f(19,254,18). f(20,254,10). f(21,254,19). f(22,254,21). 

f(23,256,16). f(0,256,1). f(1,256,2). f(2,256,3). f(3,256,4). f(4,256,5). 
f(5,256,6). f(6,256,6). f(7,256,7). f(8,256,7). f(9,256,8). f(10,256,8). 
f(11,256,9). f(12,256,10). f(13,256,11). f(14,256,12). f(15,256,13). f(16,256,7). 
f(17,256,7). f(18,256,14). f(19,256,8). f(20,256,8). f(21,256,8). f(22,256,15). 

f(23,257,16). f(0,257,1). f(1,257,2). f(2,257,3). f(3,257,4). f(4,257,5). 
f(5,257,6). f(6,257,6). f(7,257,7). f(8,257,7). f(9,257,17). f(10,257,8). 
f(11,257,9). f(12,257,10). f(13,257,11). f(14,257,12). f(15,257,13). f(16,257,7). 
f(17,257,7). f(18,257,14). f(19,257,17). f(20,257,17). f(21,257,18). f(22,257,15). 

f(23,258,16). f(0,258,1). f(1,258,2). f(2,258,2). f(3,258,3). f(4,258,4). 
f(5,258,5). f(6,258,6). f(7,258,7). f(8,258,8). f(9,258,2). f(10,258,9). 
f(11,258,16). f(12,258,10). f(13,258,11). f(14,258,12). f(15,258,13). f(16,258,8). 
f(17,258,8). f(18,258,2). f(19,258,2). f(20,258,2). f(21,258,14). f(22,258,15). 

f(23,259,2). f(0,259,1). f(1,259,2). f(2,259,2). f(3,259,3). f(4,259,4). 
f(5,259,5). f(6,259,6). f(7,259,7). f(8,259,8). f(9,259,2). f(10,259,9). 
f(11,259,2). f(12,259,10). f(13,259,11). f(14,259,12). f(15,259,13). f(16,259,8). 
f(17,259,8). f(18,259,2). f(19,259,2). f(20,259,2). f(21,259,14). f(22,259,15). 

f(23,260,17). f(0,260,1). f(1,260,2). f(2,260,3). f(3,260,4). f(4,260,5). 
f(5,260,6). f(6,260,7). f(7,260,8). f(8,260,8). f(9,260,9). f(10,260,10). 
f(11,260,11). f(12,260,12). f(13,260,13). f(14,260,5). f(15,260,14). f(16,260,8). 
f(17,260,8). f(18,260,9). f(19,260,9). f(20,260,9). f(21,260,15). f(22,260,16). 

f(23,261,13). f(0,261,1). f(1,261,2). f(2,261,2). f(3,261,2). f(4,261,3). 
f(5,261,4). f(6,261,4). f(7,261,2). f(8,261,2). f(9,261,5). f(10,261,6). 
f(11,261,2). f(12,261,7). f(13,261,8). f(14,261,9). f(15,261,10). f(16,261,2). 
f(17,261,2). f(18,261,11). f(19,261,5). f(20,261,5). f(21,261,6). f(22,261,12). 

f(23,262,15). f(0,262,1). f(1,262,2). f(2,262,3). f(3,262,4). f(4,262,5). 
f(5,262,3). f(6,262,3). f(7,262,6). f(8,262,3). f(9,262,7). f(10,262,3). 
f(11,262,3). f(12,262,8). f(13,262,9). f(14,262,3). f(15,262,10). f(16,262,11). 
f(17,262,3). f(18,262,12). f(19,262,7). f(20,262,7). f(21,262,13). f(22,262,14). 

f(23,263,17). f(0,263,1). f(1,263,2). f(2,263,3). f(3,263,4). f(4,263,5). 
f(5,263,6). f(6,263,7). f(7,263,8). f(8,263,9). f(9,263,10). f(10,263,11). 
f(11,263,3). f(12,263,12). f(13,263,1). f(14,263,13). f(15,263,14). f(16,263,15). 
f(17,263,16). f(18,263,10). f(19,263,10). f(20,263,10). f(21,263,10). f(22,263,3). 

f(23,264,21). f(0,264,1). f(1,264,2). f(2,264,3). f(3,264,4). f(4,264,5). 
f(5,264,6). f(6,264,7). f(7,264,8). f(8,264,9). f(9,264,10). f(10,264,11). 
f(11,264,12). f(12,264,13). f(13,264,14). f(14,264,15). f(15,264,16). f(16,264,17). 
f(17,264,9). f(18,264,18). f(19,264,19). f(20,264,10). f(21,264,10). f(22,264,20). 

f(23,265,10). f(0,265,1). f(1,265,2). f(2,265,3). f(3,265,4). f(4,265,5). 
f(5,265,4). f(6,265,6). f(7,265,7). f(8,265,4). f(9,265,8). f(10,265,9). 
f(11,265,10). f(12,265,11). f(13,265,12). f(14,265,5). f(15,265,13). f(16,265,4). 
f(17,265,14). f(18,265,8). f(19,265,8). f(20,265,8). f(21,265,9). f(22,265,15). 

f(23,266,13). f(0,266,1). f(1,266,2). f(2,266,3). f(3,266,4). f(4,266,5). 
f(5,266,6). f(6,266,6). f(7,266,14). f(8,266,7). f(9,266,15). f(10,266,8). 
f(11,266,7). f(12,266,9). f(13,266,10). f(14,266,5). f(15,266,6). f(16,266,7). 
f(17,266,16). f(18,266,15). f(19,266,15). f(20,266,15). f(21,266,11). f(22,266,12). 

f(23,267,14). f(0,267,1). f(1,267,2). f(2,267,3). f(3,267,4). f(4,267,5). 
f(5,267,3). f(6,267,6). f(7,267,3). f(8,267,3). f(9,267,3). f(10,267,7). 
f(11,267,3). f(12,267,8). f(13,267,9). f(14,267,10). f(15,267,11). f(16,267,3). 
f(17,267,3). f(18,267,12). f(19,267,3). f(20,267,3). f(21,267,7). f(22,267,13). 

f(23,270,1). f(0,270,1). f(1,270,2). f(2,270,2). f(3,270,3). f(4,270,4). 
f(5,270,5). f(6,270,6). f(7,270,1). f(8,270,1). f(9,270,7). f(10,270,1). 
f(11,270,1). f(12,270,8). f(13,270,9). f(14,270,10). f(15,270,11). f(16,270,12). 
f(17,270,1). f(18,270,1). f(19,270,1). f(20,270,1). f(21,270,1). f(22,270,13). 

f(23,271,20). f(0,271,1). f(1,271,2). f(2,271,3). f(3,271,4). f(4,271,5). 
f(5,271,6). f(6,271,7). f(7,271,8). f(8,271,9). f(9,271,10). f(10,271,11). 
f(11,271,12). f(12,271,13). f(13,271,14). f(14,271,15). f(15,271,16). f(16,271,17). 
f(17,271,9). f(18,271,10). f(19,271,10). f(20,271,10). f(21,271,18). f(22,271,19). 

f(23,273,12). f(0,273,1). f(1,273,2). f(2,273,3). f(3,273,4). f(4,273,3). 
f(5,273,3). f(6,273,3). f(7,273,5). f(8,273,6). f(9,273,7). f(10,273,3). 
f(11,273,3). f(12,273,3). f(13,273,3). f(14,273,3). f(15,273,3). f(16,273,8). 
f(17,273,9). f(18,273,3). f(19,273,7). f(20,273,7). f(21,273,10). f(22,273,11). 

f(23,276,19). f(0,276,1). f(1,276,2). f(2,276,3). f(3,276,4). f(4,276,5). 
f(5,276,6). f(6,276,6). f(7,276,7). f(8,276,6). f(9,276,8). f(10,276,9). 
f(11,276,6). f(12,276,10). f(13,276,11). f(14,276,5). f(15,276,12). f(16,276,13). 
f(17,276,14). f(18,276,15). f(19,276,16). f(20,276,8). f(21,276,17). f(22,276,18). 

f(23,277,17). f(0,277,1). f(1,277,2). f(2,277,3). f(3,277,4). f(4,277,5). 
f(5,277,6). f(6,277,7). f(7,277,8). f(8,277,9). f(9,277,10). f(10,277,6). 
f(11,277,6). f(12,277,11). f(13,277,11). f(14,277,5). f(15,277,7). f(16,277,12). 
f(17,277,13). f(18,277,14). f(19,277,10). f(20,277,10). f(21,277,15). f(22,277,16). 

f(23,278,21). f(0,278,1). f(1,278,2). f(2,278,3). f(3,278,4). f(4,278,5). 
f(5,278,6). f(6,278,7). f(7,278,8). f(8,278,9). f(9,278,10). f(10,278,11). 
f(11,278,12). f(12,278,13). f(13,278,14). f(14,278,15). f(15,278,16). f(16,278,17). 
f(17,278,9). f(18,278,18). f(19,278,10). f(20,278,10). f(21,278,19). f(22,278,20). 

f(23,280,14). f(0,280,1). f(1,280,2). f(2,280,2). f(3,280,3). f(4,280,4). 
f(5,280,2). f(6,280,2). f(7,280,5). f(8,280,2). f(9,280,3). f(10,280,6). 
f(11,280,2). f(12,280,7). f(13,280,8). f(14,280,4). f(15,280,9). f(16,280,10). 
f(17,280,11). f(18,280,3). f(19,280,3). f(20,280,3). f(21,280,12). f(22,280,13). 

f(23,281,14). f(0,281,1). f(1,281,2). f(2,281,2). f(3,281,15). f(4,281,4). 
f(5,281,2). f(6,281,2). f(7,281,5). f(8,281,2). f(9,281,3). f(10,281,6). 
f(11,281,2). f(12,281,7). f(13,281,8). f(14,281,4). f(15,281,9). f(16,281,10). 
f(17,281,11). f(18,281,3). f(19,281,3). f(20,281,3). f(21,281,12). f(22,281,13). 

f(23,282,19). f(0,282,1). f(1,282,2). f(2,282,3). f(3,282,4). f(4,282,5). 
f(5,282,7). f(6,282,8). f(7,282,9). f(8,282,10). f(9,282,11). f(10,282,12). 
f(11,282,6). f(12,282,13). f(13,282,14). f(14,282,5). f(15,282,15). f(16,282,16). 
f(17,282,10). f(18,282,11). f(19,282,11). f(20,282,11). f(21,282,17). f(22,282,18). 

f(23,283,19). f(0,283,1). f(1,283,2). f(2,283,3). f(3,283,4). f(4,283,5). 
f(5,283,7). f(6,283,8). f(7,283,9). f(8,283,10). f(9,283,11). f(10,283,12). 
f(11,283,5). f(12,283,13). f(13,283,14). f(14,283,5). f(15,283,15). f(16,283,16). 
f(17,283,10). f(18,283,11). f(19,283,11). f(20,283,11). f(21,283,17). f(22,283,18). 

f(23,284,11). f(0,284,1). f(1,284,1). f(2,284,2). f(3,284,3). f(4,284,1). 
f(5,284,1). f(6,284,1). f(7,284,4). f(8,284,4). f(9,284,1). f(10,284,1). 
f(11,284,1). f(12,284,5). f(13,284,6). f(14,284,1). f(15,284,7). f(16,284,8). 
f(17,284,9). f(18,284,1). f(19,284,1). f(20,284,1). f(21,284,1). f(22,284,10). 

f(23,285,11). f(0,285,1). f(1,285,2). f(2,285,2). f(3,285,2). f(4,285,3). 
f(5,285,2). f(6,285,2). f(7,285,4). f(8,285,5). f(9,285,2). f(10,285,2). 
f(11,285,2). f(12,285,6). f(13,285,7). f(14,285,3). f(15,285,8). f(16,285,9). 
f(17,285,5). f(18,285,2). f(19,285,2). f(20,285,2). f(21,285,10). f(22,285,2). 

f(23,286,14). f(0,286,1). f(1,286,2). f(2,286,3). f(3,286,4). f(4,286,5). 
f(5,286,6). f(6,286,6). f(7,286,7). f(8,286,15). f(9,286,5). f(10,286,5). 
f(11,286,16). f(12,286,8). f(13,286,9). f(14,286,5). f(15,286,10). f(16,286,11). 
f(17,286,15). f(18,286,5). f(19,286,5). f(20,286,5). f(21,286,12). f(22,286,13). 

f(23,287,14). f(0,287,1). f(1,287,2). f(2,287,3). f(3,287,4). f(4,287,5). 
f(5,287,6). f(6,287,6). f(7,287,7). f(8,287,15). f(9,287,17). f(10,287,5). 
f(11,287,16). f(12,287,8). f(13,287,9). f(14,287,5). f(15,287,10). f(16,287,11). 
f(17,287,15). f(18,287,17). f(19,287,17). f(20,287,17). f(21,287,12). f(22,287,13). 

f(23,288,14). f(0,288,1). f(1,288,2). f(2,288,2). f(3,288,2). f(4,288,3). 
f(5,288,2). f(6,288,4). f(7,288,2). f(8,288,5). f(9,288,2). f(10,288,6). 
f(11,288,2). f(12,288,7). f(13,288,8). f(14,288,9). f(15,288,10). f(16,288,11). 
f(17,288,5). f(18,288,12). f(19,288,2). f(20,288,2). f(21,288,6). f(22,288,13). 

f(23,289,11). f(0,289,1). f(1,289,2). f(2,289,3). f(3,289,4). f(4,289,12). 
f(5,289,3). f(6,289,5). f(7,289,13). f(8,289,14). f(9,289,15). f(10,289,16). 
f(11,289,3). f(12,289,6). f(13,289,7). f(14,289,12). f(15,289,8). f(16,289,13). 
f(17,289,14). f(18,289,9). f(19,289,15). f(20,289,15). f(21,289,16). f(22,289,10). 

f(23,290,11). f(0,290,1). f(1,290,1). f(2,290,1). f(3,290,2). f(4,290,3). 
f(5,290,1). f(6,290,1). f(7,290,12). f(8,290,12). f(9,290,13). f(10,290,14). 
f(11,290,1). f(12,290,4). f(13,290,5). f(14,290,6). f(15,290,7). f(16,290,8). 
f(17,290,9). f(18,290,13). f(19,290,13). f(20,290,13). f(21,290,14). f(22,290,10). 

f(23,291,15). f(0,291,1). f(1,291,2). f(2,291,3). f(3,291,4). f(4,291,5). 
f(5,291,3). f(6,291,3). f(7,291,6). f(8,291,7). f(9,291,16). f(10,291,3). 
f(11,291,3). f(12,291,8). f(13,291,9). f(14,291,10). f(15,291,11). f(16,291,3). 
f(17,291,3). f(18,291,12). f(19,291,16). f(20,291,16). f(21,291,13). f(22,291,14). 

f(23,293,11). f(0,293,1). f(1,293,2). f(2,293,1). f(3,293,1). f(4,293,1). 
f(5,293,12). f(6,293,12). f(7,293,1). f(8,293,3). f(9,293,1). f(10,293,4). 
f(11,293,1). f(12,293,1). f(13,293,5). f(14,293,6). f(15,293,12). f(16,293,7). 
f(17,293,8). f(18,293,1). f(19,293,1). f(20,293,1). f(21,293,9). f(22,293,10). 

f(23,294,11). f(0,294,1). f(1,294,2). f(2,294,1). f(3,294,1). f(4,294,1). 
f(5,294,13). f(6,294,12). f(7,294,1). f(8,294,3). f(9,294,1). f(10,294,4). 
f(11,294,1). f(12,294,1). f(13,294,5). f(14,294,6). f(15,294,12). f(16,294,7). 
f(17,294,8). f(18,294,1). f(19,294,1). f(20,294,1). f(21,294,9). f(22,294,10). 

f(23,296,3). f(0,296,1). f(1,296,2). f(2,296,3). f(3,296,4). f(4,296,3). 
f(5,296,3). f(6,296,3). f(7,296,3). f(8,296,5). f(9,296,3). f(10,296,6). 
f(11,296,3). f(12,296,8). f(13,296,9). f(14,296,10). f(15,296,11). f(16,296,3). 
f(17,296,12). f(18,296,3). f(19,296,3). f(20,296,3). f(21,296,6). f(22,296,13). 

f(23,297,7). f(0,297,1). f(1,297,2). f(2,297,3). f(3,297,4). f(4,297,3). 
f(5,297,3). f(6,297,3). f(7,297,14). f(8,297,5). f(9,297,14). f(10,297,6). 
f(11,297,7). f(12,297,8). f(13,297,9). f(14,297,10). f(15,297,11). f(16,297,14). 
f(17,297,12). f(18,297,14). f(19,297,14). f(20,297,14). f(21,297,6). f(22,297,13). 

f(23,298,12). f(0,298,1). f(1,298,2). f(2,298,3). f(3,298,4). f(4,298,5). 
f(5,298,6). f(6,298,6). f(7,298,3). f(8,298,3). f(9,298,3). f(10,298,3). 
f(11,298,3). f(12,298,7). f(13,298,8). f(14,298,9). f(15,298,10). f(16,298,3). 
f(17,298,3). f(18,298,3). f(19,298,3). f(20,298,3). f(21,298,3). f(22,298,11). 

f(23,299,13). f(0,299,1). f(1,299,2). f(2,299,3). f(3,299,4). f(4,299,3). 
f(5,299,5). f(6,299,5). f(7,299,6). f(8,299,6). f(9,299,14). f(10,299,7). 
f(11,299,14). f(12,299,1). f(13,299,8). f(14,299,3). f(15,299,9). f(16,299,6). 
f(17,299,6). f(18,299,14). f(19,299,10). f(20,299,14). f(21,299,11). f(22,299,12). 

f(23,302,12). f(0,302,1). f(1,302,2). f(2,302,3). f(3,302,4). f(4,302,5). 
f(5,302,6). f(6,302,6). f(7,302,3). f(8,302,3). f(9,302,3). f(10,302,3). 
f(11,302,3). f(12,302,7). f(13,302,8). f(14,302,5). f(15,302,9). f(16,302,10). 
f(17,302,3). f(18,302,3). f(19,302,3). f(20,302,11). f(21,302,3). f(22,302,3). 

f(23,303,16). f(0,303,1). f(1,303,2). f(2,303,3). f(3,303,4). f(4,303,5). 
f(5,303,6). f(6,303,7). f(7,303,8). f(8,303,17). f(9,303,18). f(10,303,19). 
f(11,303,20). f(12,303,9). f(13,303,10). f(14,303,11). f(15,303,12). f(16,303,17). 
f(17,303,13). f(18,303,14). f(19,303,18). f(20,303,18). f(21,303,19). f(22,303,15). 

f(23,304,19). f(0,304,1). f(1,304,2). f(2,304,3). f(3,304,4). f(4,304,5). 
f(5,304,6). f(6,304,7). f(7,304,8). f(8,304,9). f(9,304,20). f(10,304,20). 
f(11,304,21). f(12,304,10). f(13,304,11). f(14,304,12). f(15,304,13). f(16,304,14). 
f(17,304,9). f(18,304,15). f(19,304,20). f(20,304,16). f(21,304,17). f(22,304,18). 

f(23,305,19). f(0,305,1). f(1,305,2). f(2,305,3). f(3,305,4). f(4,305,5). 
f(5,305,6). f(6,305,7). f(7,305,8). f(8,305,9). f(9,305,10). f(10,305,11). 
f(11,305,12). f(12,305,13). f(13,305,14). f(14,305,5). f(15,305,6). f(16,305,15). 
f(17,305,16). f(18,305,10). f(19,305,10). f(20,305,10). f(21,305,17). f(22,305,18). 

f(23,306,6). f(0,306,1). f(1,306,1). f(2,306,1). f(3,306,1). f(4,306,1). 
f(5,306,1). f(6,306,1). f(7,306,1). f(8,306,1). f(9,306,7). f(10,306,1). 
f(11,306,1). f(12,306,2). f(13,306,3). f(14,306,1). f(15,306,4). f(16,306,1). 
f(17,306,1). f(18,306,7). f(19,306,7). f(20,306,7). f(21,306,1). f(22,306,5). 

f(23,307,6). f(0,307,1). f(1,307,2). f(2,307,3). f(3,307,4). f(4,307,5). 
f(5,307,6). f(6,307,7). f(7,307,6). f(8,307,6). f(9,307,8). f(10,307,9). 
f(11,307,6). f(12,307,6). f(13,307,6). f(14,307,5). f(15,307,10). f(16,307,11). 
f(17,307,12). f(18,307,13). f(19,307,14). f(20,307,8). f(21,307,15). f(22,307,16). 

f(23,308,6). f(0,308,1). f(1,308,2). f(2,308,3). f(3,308,4). f(4,308,6). 
f(5,308,6). f(6,308,7). f(7,308,6). f(8,308,6). f(9,308,8). f(10,308,9). 
f(11,308,6). f(12,308,6). f(13,308,6). f(14,308,6). f(15,308,10). f(16,308,11). 
f(17,308,12). f(18,308,13). f(19,308,14). f(20,308,8). f(21,308,15). f(22,308,16). 

f(23,309,16). f(0,309,1). f(1,309,2). f(2,309,3). f(3,309,4). f(4,309,5). 
f(5,309,3). f(6,309,3). f(7,309,7). f(8,309,8). f(9,309,9). f(10,309,10). 
f(11,309,3). f(12,309,11). f(13,309,12). f(14,309,5). f(15,309,3). f(16,309,13). 
f(17,309,14). f(18,309,9). f(19,309,9). f(20,309,9). f(21,309,10). f(22,309,15). 

f(23,310,16). f(0,310,1). f(1,310,2). f(2,310,3). f(3,310,4). f(4,310,5). 
f(5,310,3). f(6,310,3). f(7,310,7). f(8,310,8). f(9,310,9). f(10,310,3). 
f(11,310,3). f(12,310,11). f(13,310,12). f(14,310,5). f(15,310,3). f(16,310,13). 
f(17,310,14). f(18,310,9). f(19,310,9). f(20,310,9). f(21,310,3). f(22,310,15). 

f(23,311,9). f(0,311,1). f(1,311,2). f(2,311,10). f(3,311,4). f(4,311,5). 
f(5,311,3). f(6,311,3). f(7,311,6). f(8,311,11). f(9,311,12). f(10,311,3). 
f(11,311,3). f(12,311,7). f(13,311,8). f(14,311,5). f(15,311,3). f(16,311,13). 
f(17,311,14). f(18,311,12). f(19,311,12). f(20,311,12). f(21,311,3). f(22,311,3). 

f(23,312,9). f(0,312,1). f(1,312,2). f(2,312,3). f(3,312,4). f(4,312,2). 
f(5,312,2). f(6,312,2). f(7,312,2). f(8,312,2). f(9,312,2). f(10,312,2). 
f(11,312,2). f(12,312,1). f(13,312,5). f(14,312,2). f(15,312,6). f(16,312,2). 
f(17,312,7). f(18,312,2). f(19,312,2). f(20,312,2). f(21,312,2). f(22,312,8). 

f(23,313,21). f(0,313,1). f(1,313,2). f(2,313,3). f(3,313,4). f(4,313,5). 
f(5,313,6). f(6,313,7). f(7,313,3). f(8,313,8). f(9,313,9). f(10,313,10). 
f(11,313,3). f(12,313,11). f(13,313,12). f(14,313,13). f(15,313,14). f(16,313,15). 
f(17,313,8). f(18,313,16). f(19,313,17). f(20,313,18). f(21,313,19). f(22,313,20). 

f(23,314,16). f(0,314,1). f(1,314,2). f(2,314,3). f(3,314,3). f(4,314,4). 
f(5,314,3). f(6,314,3). f(7,314,3). f(8,314,3). f(9,314,5). f(10,314,6). 
f(11,314,3). f(12,314,7). f(13,314,8). f(14,314,9). f(15,314,10). f(16,314,11). 
f(17,314,12). f(18,314,13). f(19,314,13). f(20,314,5). f(21,314,14). f(22,314,15). 

f(23,315,16). f(0,315,1). f(1,315,2). f(2,315,3). f(3,315,3). f(4,315,4). 
f(5,315,17). f(6,315,17). f(7,315,18). f(8,315,18). f(9,315,5). f(10,315,6). 
f(11,315,3). f(12,315,7). f(13,315,8). f(14,315,9). f(15,315,10). f(16,315,11). 
f(17,315,12). f(18,315,13). f(19,315,13). f(20,315,5). f(21,315,14). f(22,315,15). 

f(23,316,17). f(0,316,1). f(1,316,2). f(2,316,3). f(3,316,4). f(4,316,5). 
f(5,316,6). f(6,316,7). f(7,316,8). f(8,316,9). f(9,316,10). f(10,316,3). 
f(11,316,3). f(12,316,11). f(13,316,12). f(14,316,13). f(15,316,14). f(16,316,15). 
f(17,316,9). f(18,316,10). f(19,316,10). f(20,316,10). f(21,316,3). f(22,316,16). 

f(23,317,12). f(0,317,1). f(1,317,1). f(2,317,1). f(3,317,2). f(4,317,3). 
f(5,317,1). f(6,317,1). f(7,317,1). f(8,317,1). f(9,317,4). f(10,317,5). 
f(11,317,1). f(12,317,6). f(13,317,7). f(14,317,8). f(15,317,1). f(16,317,9). 
f(17,317,1). f(18,317,10). f(19,317,1). f(20,317,4). f(21,317,1). f(22,317,11). 

f(23,318,12). f(0,318,13). f(1,318,1). f(2,318,1). f(3,318,2). f(4,318,3). 
f(5,318,1). f(6,318,1). f(7,318,1). f(8,318,14). f(9,318,4). f(10,318,5). 
f(11,318,1). f(12,318,6). f(13,318,7). f(14,318,8). f(15,318,1). f(16,318,9). 
f(17,318,14). f(18,318,10). f(19,318,1). f(20,318,4). f(21,318,1). f(22,318,11). 

f(23,321,20). f(0,321,1). f(1,321,2). f(2,321,3). f(3,321,4). f(4,321,5). 
f(5,321,6). f(6,321,7). f(7,321,8). f(8,321,9). f(9,321,3). f(10,321,11). 
f(11,321,12). f(12,321,13). f(13,321,14). f(14,321,5). f(15,321,15). f(16,321,16). 
f(17,321,17). f(18,321,3). f(19,321,3). f(20,321,3). f(21,321,18). f(22,321,19). 

f(23,322,20). f(0,322,1). f(1,322,2). f(2,322,3). f(3,322,4). f(4,322,3). 
f(5,322,6). f(6,322,7). f(7,322,8). f(8,322,9). f(9,322,10). f(10,322,11). 
f(11,322,12). f(12,322,13). f(13,322,14). f(14,322,3). f(15,322,15). f(16,322,16). 
f(17,322,17). f(18,322,10). f(19,322,10). f(20,322,10). f(21,322,18). f(22,322,19). 

f(23,323,15). f(0,323,1). f(1,323,2). f(2,323,3). f(3,323,4). f(4,323,2). 
f(5,323,5). f(6,323,2). f(7,323,6). f(8,323,7). f(9,323,2). f(10,323,2). 
f(11,323,8). f(12,323,9). f(13,323,10). f(14,323,2). f(15,323,11). f(16,323,12). 
f(17,323,7). f(18,323,13). f(19,323,2). f(20,323,2). f(21,323,2). f(22,323,14). 

f(23,324,15). f(0,324,1). f(1,324,2). f(2,324,3). f(3,324,4). f(4,324,17). 
f(5,324,5). f(6,324,2). f(7,324,6). f(8,324,7). f(9,324,18). f(10,324,2). 
f(11,324,8). f(12,324,9). f(13,324,10). f(14,324,17). f(15,324,11). f(16,324,12). 
f(17,324,7). f(18,324,13). f(19,324,18). f(20,324,18). f(21,324,2). f(22,324,14). 

f(23,326,23). f(0,326,1). f(1,326,2). f(2,326,3). f(3,326,4). f(4,326,6). 
f(5,326,5). f(6,326,8). f(7,326,9). f(8,326,9). f(9,326,6). f(10,326,7). 
f(11,326,11). f(12,326,12). f(13,326,14). f(14,326,6). f(15,326,17). f(16,326,18). 
f(17,326,9). f(18,326,19). f(19,326,6). f(20,326,6). f(21,326,7). f(22,326,21). 

f(23,327,23). f(0,327,1). f(1,327,2). f(2,327,3). f(3,327,4). f(4,327,10). 
f(5,327,5). f(6,327,8). f(7,327,9). f(8,327,9). f(9,327,6). f(10,327,7). 
f(11,327,11). f(12,327,12). f(13,327,14). f(14,327,10). f(15,327,17). f(16,327,18). 
f(17,327,9). f(18,327,19). f(19,327,6). f(20,327,6). f(21,327,7). f(22,327,21). 

f(23,328,14). f(0,328,1). f(1,328,2). f(2,328,3). f(3,328,4). f(4,328,5). 
f(5,328,3). f(6,328,3). f(7,328,6). f(8,328,6). f(9,328,6). f(10,328,7). 
f(11,328,8). f(12,328,9). f(13,328,10). f(14,328,5). f(15,328,11). f(16,328,6). 
f(17,328,6). f(18,328,6). f(19,328,6). f(20,328,6). f(21,328,12). f(22,328,13). 

f(23,329,14). f(0,329,1). f(1,329,2). f(2,329,3). f(3,329,4). f(4,329,5). 
f(5,329,15). f(6,329,15). f(7,329,6). f(8,329,6). f(9,329,6). f(10,329,7). 
f(11,329,8). f(12,329,9). f(13,329,10). f(14,329,5). f(15,329,11). f(16,329,6). 
f(17,329,6). f(18,329,6). f(19,329,6). f(20,329,6). f(21,329,12). f(22,329,13). 

f(23,330,11). f(0,330,1). f(1,330,2). f(2,330,2). f(3,330,3). f(4,330,2). 
f(5,330,2). f(6,330,2). f(7,330,4). f(8,330,4). f(9,330,5). f(10,330,2). 
f(11,330,2). f(12,330,6). f(13,330,7). f(14,330,2). f(15,330,8). f(16,330,9). 
f(17,330,4). f(18,330,5). f(19,330,5). f(20,330,5). f(21,330,2). f(22,330,10). 

f(23,331,18). f(0,331,1). f(1,331,2). f(2,331,3). f(3,331,4). f(4,331,5). 
f(5,331,3). f(6,331,6). f(7,331,7). f(8,331,8). f(9,331,3). f(10,331,9). 
f(11,331,3). f(12,331,10). f(13,331,11). f(14,331,12). f(15,331,13). f(16,331,14). 
f(17,331,8). f(18,331,15). f(19,331,3). f(20,331,3). f(21,331,16). f(22,331,17). 

f(23,332,14). f(0,332,1). f(1,332,1). f(2,332,2). f(3,332,3). f(4,332,1). 
f(5,332,1). f(6,332,1). f(7,332,4). f(8,332,5). f(9,332,15). f(10,332,6). 
f(11,332,7). f(12,332,1). f(13,332,8). f(14,332,1). f(15,332,9). f(16,332,10). 
f(17,332,5). f(18,332,15). f(19,332,11). f(20,332,12). f(21,332,1). f(22,332,13). 

f(23,333,14). f(0,333,1). f(1,333,1). f(2,333,2). f(3,333,3). f(4,333,1). 
f(5,333,1). f(6,333,1). f(7,333,4). f(8,333,4). f(9,333,1). f(10,333,6). 
f(11,333,7). f(12,333,1). f(13,333,8). f(14,333,1). f(15,333,9). f(16,333,10). 
f(17,333,4). f(18,333,1). f(19,333,11). f(20,333,12). f(21,333,1). f(22,333,13). 

f(23,335,19). f(0,335,2). f(1,335,2). f(2,335,2). f(3,335,2). f(4,335,2). 
f(5,335,2). f(6,335,2). f(7,335,2). f(8,335,2). f(9,335,7). f(10,335,2). 
f(11,335,2). f(12,335,9). f(13,335,11). f(14,335,2). f(15,335,14). f(16,335,2). 
f(17,335,2). f(18,335,7). f(19,335,7). f(20,335,7). f(21,335,2). f(22,335,17). 

f(23,337,11). f(0,337,1). f(1,337,2). f(2,337,3). f(3,337,4). f(4,337,5). 
f(5,337,1). f(6,337,1). f(7,337,1). f(8,337,1). f(9,337,1). f(10,337,12). 
f(11,337,1). f(12,337,1). f(13,337,6). f(14,337,7). f(15,337,8). f(16,337,9). 
f(17,337,1). f(18,337,1). f(19,337,1). f(20,337,1). f(21,337,12). f(22,337,10). 

f(23,338,5). f(0,338,1). f(1,338,2). f(2,338,2). f(3,338,3). f(4,338,4). 
f(5,338,5). f(6,338,5). f(7,338,5). f(8,338,5). f(9,338,5). f(10,338,5). 
f(11,338,5). f(12,338,6). f(13,338,7). f(14,338,8). f(15,338,9). f(16,338,10). 
f(17,338,5). f(18,338,5). f(19,338,5). f(20,338,5). f(21,338,5). f(22,338,11). 

f(23,339,5). f(0,339,1). f(1,339,2). f(2,339,2). f(3,339,3). f(4,339,4). 
f(5,339,5). f(6,339,5). f(7,339,5). f(8,339,5). f(9,339,12). f(10,339,12). 
f(11,339,5). f(12,339,6). f(13,339,7). f(14,339,8). f(15,339,9). f(16,339,10). 
f(17,339,5). f(18,339,12). f(19,339,12). f(20,339,12). f(21,339,12). f(22,339,11). 

f(23,340,10). f(0,340,1). f(1,340,2). f(2,340,2). f(3,340,3). f(4,340,11). 
f(5,340,11). f(6,340,11). f(7,340,4). f(8,340,11). f(9,340,2). f(10,340,2). 
f(11,340,2). f(12,340,5). f(13,340,6). f(14,340,11). f(15,340,7). f(16,340,8). 
f(17,340,11). f(18,340,2). f(19,340,2). f(20,340,2). f(21,340,2). f(22,340,9). 

% characters and states

character(I) :- f(X,I,S).
state(S) :- f(X,I,S).

% to be able to use phylogeny-improved.lp
informative_character(I) :- f(X,I,S).
essential_state(I,S) :- f(X,I,S).