% Automatic conversion from python relation
actionset( ['1', '2', '3', '4', '5', '6', '7', '8', '9', '10', '11', '12', '13', '14', '15', '16', '17', '18', '19', '20', '21', '22', '23', '24', '25', '26', '27', '28', '29', '30'] ).
evaluationdomain:-
asserta((valuationdomain(V) :- fd_domain(V, 0 , 100 ))).
relation('1','1', 0 ):-!.
relation('1','2', 46 ):-!.
relation('1','3', 41 ):-!.
relation('1','4', 24 ):-!.
relation('1','5', 16 ):-!.
relation('1','6', 50 ):-!.
relation('1','7', 32 ):-!.
relation('1','8', 47 ):-!.
relation('1','9', 31 ):-!.
relation('1','10', 15 ):-!.
relation('1','11', 19 ):-!.
relation('1','12', 9 ):-!.
relation('1','13', 52 ):-!.
relation('1','14', 36 ):-!.
relation('1','15', 29 ):-!.
relation('1','16', 32 ):-!.
relation('1','17', 31 ):-!.
relation('1','18', 31 ):-!.
relation('1','19', 45 ):-!.
relation('1','20', 38 ):-!.
relation('1','21', 32 ):-!.
relation('1','22', 42 ):-!.
relation('1','23', 41 ):-!.
relation('1','24', 45 ):-!.
relation('1','25', 35 ):-!.
relation('1','26', 18 ):-!.
relation('1','27', 49 ):-!.
relation('1','28', 48 ):-!.
relation('1','29', 12 ):-!.
relation('1','30', 38 ):-!.
relation('2','1', 31 ):-!.
relation('2','2', 0 ):-!.
relation('2','3', 22 ):-!.
relation('2','4', 46 ):-!.
relation('2','5', 46 ):-!.
relation('2','6', 36 ):-!.
relation('2','7', 29 ):-!.
relation('2','8', 41 ):-!.
relation('2','9', 4 ):-!.
relation('2','10', 35 ):-!.
relation('2','11', 14 ):-!.
relation('2','12', 46 ):-!.
relation('2','13', 36 ):-!.
relation('2','14', 51 ):-!.
relation('2','15', 47 ):-!.
relation('2','16', 26 ):-!.
relation('2','17', 52 ):-!.
relation('2','18', 22 ):-!.
relation('2','19', 46 ):-!.
relation('2','20', 16 ):-!.
relation('2','21', 17 ):-!.
relation('2','22', 14 ):-!.
relation('2','23', 43 ):-!.
relation('2','24', 16 ):-!.
relation('2','25', 53 ):-!.
relation('2','26', 44 ):-!.
relation('2','27', 17 ):-!.
relation('2','28', 14 ):-!.
relation('2','29', 18 ):-!.
relation('2','30', 50 ):-!.
relation('3','1', 1 ):-!.
relation('3','2', 51 ):-!.
relation('3','3', 0 ):-!.
relation('3','4', 20 ):-!.
relation('3','5', 20 ):-!.
relation('3','6', 17 ):-!.
relation('3','7', 41 ):-!.
relation('3','8', 53 ):-!.
relation('3','9', 14 ):-!.
relation('3','10', 47 ):-!.
relation('3','11', 16 ):-!.
relation('3','12', 39 ):-!.
relation('3','13', 34 ):-!.
relation('3','14', 41 ):-!.
relation('3','15', 24 ):-!.
relation('3','16', 22 ):-!.
relation('3','17', 11 ):-!.
relation('3','18', 20 ):-!.
relation('3','19', 19 ):-!.
relation('3','20', 24 ):-!.
relation('3','21', 44 ):-!.
relation('3','22', 6 ):-!.
relation('3','23', 15 ):-!.
relation('3','24', 26 ):-!.
relation('3','25', 51 ):-!.
relation('3','26', 10 ):-!.
relation('3','27', 15 ):-!.
relation('3','28', 30 ):-!.
relation('3','29', 42 ):-!.
relation('3','30', 16 ):-!.
relation('4','1', 7 ):-!.
relation('4','2', 32 ):-!.
relation('4','3', 32 ):-!.
relation('4','4', 0 ):-!.
relation('4','5', 18 ):-!.
relation('4','6', 50 ):-!.
relation('4','7', 6 ):-!.
relation('4','8', 51 ):-!.
relation('4','9', 21 ):-!.
relation('4','10', 36 ):-!.
relation('4','11', 5 ):-!.
relation('4','12', 36 ):-!.
relation('4','13', 26 ):-!.
relation('4','14', 46 ):-!.
relation('4','15', 45 ):-!.
relation('4','16', 28 ):-!.
relation('4','17', 15 ):-!.
relation('4','18', 37 ):-!.
relation('4','19', 2 ):-!.
relation('4','20', 2 ):-!.
relation('4','21', 26 ):-!.
relation('4','22', 42 ):-!.
relation('4','23', 5 ):-!.
relation('4','24', 13 ):-!.
relation('4','25', 46 ):-!.
relation('4','26', 26 ):-!.
relation('4','27', 39 ):-!.
relation('4','28', 26 ):-!.
relation('4','29', 7 ):-!.
relation('4','30', 18 ):-!.
relation('5','1', 3 ):-!.
relation('5','2', 49 ):-!.
relation('5','3', 38 ):-!.
relation('5','4', 2 ):-!.
relation('5','5', 0 ):-!.
relation('5','6', 48 ):-!.
relation('5','7', 53 ):-!.
relation('5','8', 50 ):-!.
relation('5','9', 31 ):-!.
relation('5','10', 27 ):-!.
relation('5','11', 11 ):-!.
relation('5','12', 2 ):-!.
relation('5','13', 19 ):-!.
relation('5','14', 5 ):-!.
relation('5','15', 53 ):-!.
relation('5','16', 16 ):-!.
relation('5','17', 7 ):-!.
relation('5','18', 31 ):-!.
relation('5','19', 7 ):-!.
relation('5','20', 14 ):-!.
relation('5','21', 44 ):-!.
relation('5','22', 17 ):-!.
relation('5','23', 51 ):-!.
relation('5','24', 10 ):-!.
relation('5','25', 44 ):-!.
relation('5','26', 34 ):-!.
relation('5','27', 2 ):-!.
relation('5','28', 31 ):-!.
relation('5','29', 4 ):-!.
relation('5','30', 48 ):-!.
relation('6','1', 29 ):-!.
relation('6','2', 30 ):-!.
relation('6','3', 18 ):-!.
relation('6','4', 16 ):-!.
relation('6','5', 12 ):-!.
relation('6','6', 0 ):-!.
relation('6','7', 1 ):-!.
relation('6','8', 32 ):-!.
relation('6','9', 46 ):-!.
relation('6','10', 22 ):-!.
relation('6','11', 19 ):-!.
relation('6','12', 25 ):-!.
relation('6','13', 50 ):-!.
relation('6','14', 21 ):-!.
relation('6','15', 28 ):-!.
relation('6','16', 42 ):-!.
relation('6','17', 18 ):-!.
relation('6','18', 49 ):-!.
relation('6','19', 14 ):-!.
relation('6','20', 31 ):-!.
relation('6','21', 30 ):-!.
relation('6','22', 33 ):-!.
relation('6','23', 42 ):-!.
relation('6','24', 52 ):-!.
relation('6','25', 5 ):-!.
relation('6','26', 34 ):-!.
relation('6','27', 38 ):-!.
relation('6','28', 32 ):-!.
relation('6','29', 10 ):-!.
relation('6','30', 25 ):-!.
relation('7','1', 43 ):-!.
relation('7','2', 19 ):-!.
relation('7','3', 14 ):-!.
relation('7','4', 37 ):-!.
relation('7','5', 27 ):-!.
relation('7','6', 11 ):-!.
relation('7','7', 0 ):-!.
relation('7','8', 39 ):-!.
relation('7','9', 16 ):-!.
relation('7','10', 10 ):-!.
relation('7','11', 15 ):-!.
relation('7','12', 51 ):-!.
relation('7','13', 42 ):-!.
relation('7','14', 32 ):-!.
relation('7','15', 35 ):-!.
relation('7','16', 30 ):-!.
relation('7','17', 34 ):-!.
relation('7','18', 21 ):-!.
relation('7','19', 38 ):-!.
relation('7','20', 26 ):-!.
relation('7','21', 25 ):-!.
relation('7','22', 30 ):-!.
relation('7','23', 7 ):-!.
relation('7','24', 53 ):-!.
relation('7','25', 37 ):-!.
relation('7','26', 26 ):-!.
relation('7','27', 25 ):-!.
relation('7','28', 24 ):-!.
relation('7','29', 40 ):-!.
relation('7','30', 18 ):-!.
relation('8','1', 51 ):-!.
relation('8','2', 13 ):-!.
relation('8','3', 8 ):-!.
relation('8','4', 23 ):-!.
relation('8','5', 8 ):-!.
relation('8','6', 27 ):-!.
relation('8','7', 36 ):-!.
relation('8','8', 0 ):-!.
relation('8','9', 9 ):-!.
relation('8','10', 36 ):-!.
relation('8','11', 20 ):-!.
relation('8','12', 36 ):-!.
relation('8','13', 49 ):-!.
relation('8','14', 52 ):-!.
relation('8','15', 20 ):-!.
relation('8','16', 35 ):-!.
relation('8','17', 14 ):-!.
relation('8','18', 27 ):-!.
relation('8','19', 6 ):-!.
relation('8','20', 45 ):-!.
relation('8','21', 30 ):-!.
relation('8','22', 45 ):-!.
relation('8','23', 1 ):-!.
relation('8','24', 34 ):-!.
relation('8','25', 41 ):-!.
relation('8','26', 15 ):-!.
relation('8','27', 20 ):-!.
relation('8','28', 46 ):-!.
relation('8','29', 46 ):-!.
relation('8','30', 32 ):-!.
relation('9','1', 33 ):-!.
relation('9','2', 3 ):-!.
relation('9','3', 33 ):-!.
relation('9','4', 47 ):-!.
relation('9','5', 17 ):-!.
relation('9','6', 9 ):-!.
relation('9','7', 42 ):-!.
relation('9','8', 45 ):-!.
relation('9','9', 0 ):-!.
relation('9','10', 16 ):-!.
relation('9','11', 21 ):-!.
relation('9','12', 35 ):-!.
relation('9','13', 2 ):-!.
relation('9','14', 50 ):-!.
relation('9','15', 11 ):-!.
relation('9','16', 39 ):-!.
relation('9','17', 8 ):-!.
relation('9','18', 52 ):-!.
relation('9','19', 35 ):-!.
relation('9','20', 21 ):-!.
relation('9','21', 42 ):-!.
relation('9','22', 43 ):-!.
relation('9','23', 18 ):-!.
relation('9','24', 7 ):-!.
relation('9','25', 2 ):-!.
relation('9','26', 50 ):-!.
relation('9','27', 27 ):-!.
relation('9','28', 16 ):-!.
relation('9','29', 46 ):-!.
relation('9','30', 33 ):-!.
relation('10','1', 4 ):-!.
relation('10','2', 35 ):-!.
relation('10','3', 19 ):-!.
relation('10','4', 0 ):-!.
relation('10','5', 21 ):-!.
relation('10','6', 46 ):-!.
relation('10','7', 41 ):-!.
relation('10','8', 30 ):-!.
relation('10','9', 32 ):-!.
relation('10','10', 0 ):-!.
relation('10','11', 10 ):-!.
relation('10','12', 7 ):-!.
relation('10','13', 19 ):-!.
relation('10','14', 49 ):-!.
relation('10','15', 14 ):-!.
relation('10','16', 27 ):-!.
relation('10','17', 13 ):-!.
relation('10','18', 52 ):-!.
relation('10','19', 38 ):-!.
relation('10','20', 0 ):-!.
relation('10','21', 19 ):-!.
relation('10','22', 7 ):-!.
relation('10','23', 32 ):-!.
relation('10','24', 2 ):-!.
relation('10','25', 23 ):-!.
relation('10','26', 21 ):-!.
relation('10','27', 29 ):-!.
relation('10','28', 41 ):-!.
relation('10','29', 35 ):-!.
relation('10','30', 12 ):-!.
relation('11','1', 47 ):-!.
relation('11','2', 32 ):-!.
relation('11','3', 25 ):-!.
relation('11','4', 23 ):-!.
relation('11','5', 9 ):-!.
relation('11','6', 21 ):-!.
relation('11','7', 51 ):-!.
relation('11','8', 41 ):-!.
relation('11','9', 52 ):-!.
relation('11','10', 3 ):-!.
relation('11','11', 0 ):-!.
relation('11','12', 13 ):-!.
relation('11','13', 37 ):-!.
relation('11','14', 12 ):-!.
relation('11','15', 22 ):-!.
relation('11','16', 33 ):-!.
relation('11','17', 14 ):-!.
relation('11','18', 48 ):-!.
relation('11','19', 23 ):-!.
relation('11','20', 0 ):-!.
relation('11','21', 3 ):-!.
relation('11','22', 14 ):-!.
relation('11','23', 26 ):-!.
relation('11','24', 11 ):-!.
relation('11','25', 7 ):-!.
relation('11','26', 4 ):-!.
relation('11','27', 51 ):-!.
relation('11','28', 18 ):-!.
relation('11','29', 30 ):-!.
relation('11','30', 19 ):-!.
relation('12','1', 37 ):-!.
relation('12','2', 21 ):-!.
relation('12','3', 24 ):-!.
relation('12','4', 12 ):-!.
relation('12','5', 36 ):-!.
relation('12','6', 37 ):-!.
relation('12','7', 17 ):-!.
relation('12','8', 15 ):-!.
relation('12','9', 17 ):-!.
relation('12','10', 24 ):-!.
relation('12','11', 20 ):-!.
relation('12','12', 0 ):-!.
relation('12','13', 39 ):-!.
relation('12','14', 52 ):-!.
relation('12','15', 37 ):-!.
relation('12','16', 45 ):-!.
relation('12','17', 35 ):-!.
relation('12','18', 5 ):-!.
relation('12','19', 28 ):-!.
relation('12','20', 0 ):-!.
relation('12','21', 9 ):-!.
relation('12','22', 35 ):-!.
relation('12','23', 6 ):-!.
relation('12','24', 31 ):-!.
relation('12','25', 25 ):-!.
relation('12','26', 14 ):-!.
relation('12','27', 2 ):-!.
relation('12','28', 40 ):-!.
relation('12','29', 25 ):-!.
relation('12','30', 4 ):-!.
relation('13','1', 31 ):-!.
relation('13','2', 13 ):-!.
relation('13','3', 27 ):-!.
relation('13','4', 51 ):-!.
relation('13','5', 23 ):-!.
relation('13','6', 20 ):-!.
relation('13','7', 41 ):-!.
relation('13','8', 29 ):-!.
relation('13','9', 6 ):-!.
relation('13','10', 2 ):-!.
relation('13','11', 9 ):-!.
relation('13','12', 10 ):-!.
relation('13','13', 0 ):-!.
relation('13','14', 2 ):-!.
relation('13','15', 20 ):-!.
relation('13','16', 50 ):-!.
relation('13','17', 22 ):-!.
relation('13','18', 17 ):-!.
relation('13','19', 47 ):-!.
relation('13','20', 51 ):-!.
relation('13','21', 41 ):-!.
relation('13','22', 21 ):-!.
relation('13','23', 30 ):-!.
relation('13','24', 13 ):-!.
relation('13','25', 21 ):-!.
relation('13','26', 18 ):-!.
relation('13','27', 24 ):-!.
relation('13','28', 50 ):-!.
relation('13','29', 34 ):-!.
relation('13','30', 9 ):-!.
relation('14','1', 32 ):-!.
relation('14','2', 30 ):-!.
relation('14','3', 10 ):-!.
relation('14','4', 32 ):-!.
relation('14','5', 0 ):-!.
relation('14','6', 42 ):-!.
relation('14','7', 5 ):-!.
relation('14','8', 32 ):-!.
relation('14','9', 0 ):-!.
relation('14','10', 38 ):-!.
relation('14','11', 38 ):-!.
relation('14','12', 28 ):-!.
relation('14','13', 4 ):-!.
relation('14','14', 0 ):-!.
relation('14','15', 12 ):-!.
relation('14','16', 23 ):-!.
relation('14','17', 45 ):-!.
relation('14','18', 10 ):-!.
relation('14','19', 41 ):-!.
relation('14','20', 2 ):-!.
relation('14','21', 6 ):-!.
relation('14','22', 14 ):-!.
relation('14','23', 40 ):-!.
relation('14','24', 41 ):-!.
relation('14','25', 33 ):-!.
relation('14','26', 29 ):-!.
relation('14','27', 25 ):-!.
relation('14','28', 4 ):-!.
relation('14','29', 9 ):-!.
relation('14','30', 27 ):-!.
relation('15','1', 17 ):-!.
relation('15','2', 11 ):-!.
relation('15','3', 45 ):-!.
relation('15','4', 13 ):-!.
relation('15','5', 19 ):-!.
relation('15','6', 26 ):-!.
relation('15','7', 4 ):-!.
relation('15','8', 22 ):-!.
relation('15','9', 45 ):-!.
relation('15','10', 7 ):-!.
relation('15','11', 28 ):-!.
relation('15','12', 17 ):-!.
relation('15','13', 7 ):-!.
relation('15','14', 27 ):-!.
relation('15','15', 0 ):-!.
relation('15','16', 38 ):-!.
relation('15','17', 30 ):-!.
relation('15','18', 0 ):-!.
relation('15','19', 23 ):-!.
relation('15','20', 53 ):-!.
relation('15','21', 29 ):-!.
relation('15','22', 34 ):-!.
relation('15','23', 24 ):-!.
relation('15','24', 44 ):-!.
relation('15','25', 18 ):-!.
relation('15','26', 48 ):-!.
relation('15','27', 11 ):-!.
relation('15','28', 19 ):-!.
relation('15','29', 49 ):-!.
relation('15','30', 3 ):-!.
relation('16','1', 49 ):-!.
relation('16','2', 4 ):-!.
relation('16','3', 14 ):-!.
relation('16','4', 40 ):-!.
relation('16','5', 1 ):-!.
relation('16','6', 53 ):-!.
relation('16','7', 8 ):-!.
relation('16','8', 29 ):-!.
relation('16','9', 10 ):-!.
relation('16','10', 41 ):-!.
relation('16','11', 6 ):-!.
relation('16','12', 28 ):-!.
relation('16','13', 17 ):-!.
relation('16','14', 51 ):-!.
relation('16','15', 30 ):-!.
relation('16','16', 0 ):-!.
relation('16','17', 42 ):-!.
relation('16','18', 26 ):-!.
relation('16','19', 45 ):-!.
relation('16','20', 48 ):-!.
relation('16','21', 1 ):-!.
relation('16','22', 43 ):-!.
relation('16','23', 2 ):-!.
relation('16','24', 15 ):-!.
relation('16','25', 41 ):-!.
relation('16','26', 47 ):-!.
relation('16','27', 37 ):-!.
relation('16','28', 7 ):-!.
relation('16','29', 10 ):-!.
relation('16','30', 23 ):-!.
relation('17','1', 2 ):-!.
relation('17','2', 20 ):-!.
relation('17','3', 13 ):-!.
relation('17','4', 35 ):-!.
relation('17','5', 28 ):-!.
relation('17','6', 9 ):-!.
relation('17','7', 4 ):-!.
relation('17','8', 43 ):-!.
relation('17','9', 12 ):-!.
relation('17','10', 12 ):-!.
relation('17','11', 44 ):-!.
relation('17','12', 31 ):-!.
relation('17','13', 2 ):-!.
relation('17','14', 48 ):-!.
relation('17','15', 35 ):-!.
relation('17','16', 5 ):-!.
relation('17','17', 0 ):-!.
relation('17','18', 0 ):-!.
relation('17','19', 11 ):-!.
relation('17','20', 13 ):-!.
relation('17','21', 49 ):-!.
relation('17','22', 5 ):-!.
relation('17','23', 25 ):-!.
relation('17','24', 44 ):-!.
relation('17','25', 22 ):-!.
relation('17','26', 48 ):-!.
relation('17','27', 28 ):-!.
relation('17','28', 22 ):-!.
relation('17','29', 24 ):-!.
relation('17','30', 49 ):-!.
relation('18','1', 0 ):-!.
relation('18','2', 42 ):-!.
relation('18','3', 52 ):-!.
relation('18','4', 20 ):-!.
relation('18','5', 19 ):-!.
relation('18','6', 42 ):-!.
relation('18','7', 31 ):-!.
relation('18','8', 27 ):-!.
relation('18','9', 48 ):-!.
relation('18','10', 4 ):-!.
relation('18','11', 28 ):-!.
relation('18','12', 44 ):-!.
relation('18','13', 15 ):-!.
relation('18','14', 31 ):-!.
relation('18','15', 41 ):-!.
relation('18','16', 47 ):-!.
relation('18','17', 44 ):-!.
relation('18','18', 0 ):-!.
relation('18','19', 14 ):-!.
relation('18','20', 29 ):-!.
relation('18','21', 31 ):-!.
relation('18','22', 38 ):-!.
relation('18','23', 20 ):-!.
relation('18','24', 51 ):-!.
relation('18','25', 15 ):-!.
relation('18','26', 1 ):-!.
relation('18','27', 43 ):-!.
relation('18','28', 35 ):-!.
relation('18','29', 22 ):-!.
relation('18','30', 2 ):-!.
relation('19','1', 23 ):-!.
relation('19','2', 29 ):-!.
relation('19','3', 2 ):-!.
relation('19','4', 12 ):-!.
relation('19','5', 19 ):-!.
relation('19','6', 43 ):-!.
relation('19','7', 18 ):-!.
relation('19','8', 35 ):-!.
relation('19','9', 22 ):-!.
relation('19','10', 41 ):-!.
relation('19','11', 4 ):-!.
relation('19','12', 10 ):-!.
relation('19','13', 13 ):-!.
relation('19','14', 33 ):-!.
relation('19','15', 2 ):-!.
relation('19','16', 53 ):-!.
relation('19','17', 28 ):-!.
relation('19','18', 24 ):-!.
relation('19','19', 0 ):-!.
relation('19','20', 37 ):-!.
relation('19','21', 41 ):-!.
relation('19','22', 47 ):-!.
relation('19','23', 10 ):-!.
relation('19','24', 3 ):-!.
relation('19','25', 41 ):-!.
relation('19','26', 8 ):-!.
relation('19','27', 5 ):-!.
relation('19','28', 28 ):-!.
relation('19','29', 40 ):-!.
relation('19','30', 43 ):-!.
relation('20','1', 9 ):-!.
relation('20','2', 30 ):-!.
relation('20','3', 0 ):-!.
relation('20','4', 42 ):-!.
relation('20','5', 6 ):-!.
relation('20','6', 22 ):-!.
relation('20','7', 11 ):-!.
relation('20','8', 11 ):-!.
relation('20','9', 8 ):-!.
relation('20','10', 13 ):-!.
relation('20','11', 34 ):-!.
relation('20','12', 5 ):-!.
relation('20','13', 41 ):-!.
relation('20','14', 15 ):-!.
relation('20','15', 24 ):-!.
relation('20','16', 19 ):-!.
relation('20','17', 6 ):-!.
relation('20','18', 33 ):-!.
relation('20','19', 34 ):-!.
relation('20','20', 0 ):-!.
relation('20','21', 50 ):-!.
relation('20','22', 38 ):-!.
relation('20','23', 27 ):-!.
relation('20','24', 30 ):-!.
relation('20','25', 5 ):-!.
relation('20','26', 26 ):-!.
relation('20','27', 27 ):-!.
relation('20','28', 43 ):-!.
relation('20','29', 12 ):-!.
relation('20','30', 50 ):-!.
relation('21','1', 36 ):-!.
relation('21','2', 7 ):-!.
relation('21','3', 52 ):-!.
relation('21','4', 52 ):-!.
relation('21','5', 4 ):-!.
relation('21','6', 37 ):-!.
relation('21','7', 19 ):-!.
relation('21','8', 38 ):-!.
relation('21','9', 38 ):-!.
relation('21','10', 17 ):-!.
relation('21','11', 24 ):-!.
relation('21','12', 5 ):-!.
relation('21','13', 18 ):-!.
relation('21','14', 1 ):-!.
relation('21','15', 38 ):-!.
relation('21','16', 35 ):-!.
relation('21','17', 14 ):-!.
relation('21','18', 34 ):-!.
relation('21','19', 15 ):-!.
relation('21','20', 39 ):-!.
relation('21','21', 0 ):-!.
relation('21','22', 25 ):-!.
relation('21','23', 30 ):-!.
relation('21','24', 12 ):-!.
relation('21','25', 34 ):-!.
relation('21','26', 17 ):-!.
relation('21','27', 6 ):-!.
relation('21','28', 37 ):-!.
relation('21','29', 50 ):-!.
relation('21','30', 35 ):-!.
relation('22','1', 46 ):-!.
relation('22','2', 19 ):-!.
relation('22','3', 31 ):-!.
relation('22','4', 13 ):-!.
relation('22','5', 27 ):-!.
relation('22','6', 6 ):-!.
relation('22','7', 15 ):-!.
relation('22','8', 35 ):-!.
relation('22','9', 18 ):-!.
relation('22','10', 34 ):-!.
relation('22','11', 30 ):-!.
relation('22','12', 13 ):-!.
relation('22','13', 27 ):-!.
relation('22','14', 19 ):-!.
relation('22','15', 10 ):-!.
relation('22','16', 37 ):-!.
relation('22','17', 32 ):-!.
relation('22','18', 10 ):-!.
relation('22','19', 32 ):-!.
relation('22','20', 25 ):-!.
relation('22','21', 2 ):-!.
relation('22','22', 0 ):-!.
relation('22','23', 41 ):-!.
relation('22','24', 8 ):-!.
relation('22','25', 4 ):-!.
relation('22','26', 29 ):-!.
relation('22','27', 48 ):-!.
relation('22','28', 52 ):-!.
relation('22','29', 49 ):-!.
relation('22','30', 35 ):-!.
relation('23','1', 23 ):-!.
relation('23','2', 12 ):-!.
relation('23','3', 13 ):-!.
relation('23','4', 1 ):-!.
relation('23','5', 17 ):-!.
relation('23','6', 23 ):-!.
relation('23','7', 34 ):-!.
relation('23','8', 5 ):-!.
relation('23','9', 17 ):-!.
relation('23','10', 34 ):-!.
relation('23','11', 52 ):-!.
relation('23','12', 41 ):-!.
relation('23','13', 53 ):-!.
relation('23','14', 38 ):-!.
relation('23','15', 45 ):-!.
relation('23','16', 29 ):-!.
relation('23','17', 44 ):-!.
relation('23','18', 4 ):-!.
relation('23','19', 10 ):-!.
relation('23','20', 45 ):-!.
relation('23','21', 37 ):-!.
relation('23','22', 8 ):-!.
relation('23','23', 0 ):-!.
relation('23','24', 10 ):-!.
relation('23','25', 28 ):-!.
relation('23','26', 13 ):-!.
relation('23','27', 30 ):-!.
relation('23','28', 51 ):-!.
relation('23','29', 51 ):-!.
relation('23','30', 38 ):-!.
relation('24','1', 16 ):-!.
relation('24','2', 33 ):-!.
relation('24','3', 41 ):-!.
relation('24','4', 33 ):-!.
relation('24','5', 52 ):-!.
relation('24','6', 45 ):-!.
relation('24','7', 5 ):-!.
relation('24','8', 6 ):-!.
relation('24','9', 41 ):-!.
relation('24','10', 44 ):-!.
relation('24','11', 50 ):-!.
relation('24','12', 30 ):-!.
relation('24','13', 13 ):-!.
relation('24','14', 46 ):-!.
relation('24','15', 44 ):-!.
relation('24','16', 11 ):-!.
relation('24','17', 52 ):-!.
relation('24','18', 13 ):-!.
relation('24','19', 29 ):-!.
relation('24','20', 15 ):-!.
relation('24','21', 20 ):-!.
relation('24','22', 35 ):-!.
relation('24','23', 20 ):-!.
relation('24','24', 0 ):-!.
relation('24','25', 24 ):-!.
relation('24','26', 39 ):-!.
relation('24','27', 9 ):-!.
relation('24','28', 47 ):-!.
relation('24','29', 51 ):-!.
relation('24','30', 34 ):-!.
relation('25','1', 26 ):-!.
relation('25','2', 18 ):-!.
relation('25','3', 38 ):-!.
relation('25','4', 42 ):-!.
relation('25','5', 20 ):-!.
relation('25','6', 46 ):-!.
relation('25','7', 0 ):-!.
relation('25','8', 35 ):-!.
relation('25','9', 8 ):-!.
relation('25','10', 5 ):-!.
relation('25','11', 10 ):-!.
relation('25','12', 44 ):-!.
relation('25','13', 48 ):-!.
relation('25','14', 26 ):-!.
relation('25','15', 32 ):-!.
relation('25','16', 2 ):-!.
relation('25','17', 31 ):-!.
relation('25','18', 48 ):-!.
relation('25','19', 28 ):-!.
relation('25','20', 16 ):-!.
relation('25','21', 29 ):-!.
relation('25','22', 35 ):-!.
relation('25','23', 9 ):-!.
relation('25','24', 10 ):-!.
relation('25','25', 0 ):-!.
relation('25','26', 19 ):-!.
relation('25','27', 25 ):-!.
relation('25','28', 21 ):-!.
relation('25','29', 45 ):-!.
relation('25','30', 16 ):-!.
relation('26','1', 6 ):-!.
relation('26','2', 42 ):-!.
relation('26','3', 29 ):-!.
relation('26','4', 30 ):-!.
relation('26','5', 14 ):-!.
relation('26','6', 21 ):-!.
relation('26','7', 46 ):-!.
relation('26','8', 38 ):-!.
relation('26','9', 38 ):-!.
relation('26','10', 45 ):-!.
relation('26','11', 42 ):-!.
relation('26','12', 4 ):-!.
relation('26','13', 24 ):-!.
relation('26','14', 36 ):-!.
relation('26','15', 41 ):-!.
relation('26','16', 2 ):-!.
relation('26','17', 40 ):-!.
relation('26','18', 11 ):-!.
relation('26','19', 28 ):-!.
relation('26','20', 8 ):-!.
relation('26','21', 7 ):-!.
relation('26','22', 48 ):-!.
relation('26','23', 1 ):-!.
relation('26','24', 2 ):-!.
relation('26','25', 42 ):-!.
relation('26','26', 0 ):-!.
relation('26','27', 50 ):-!.
relation('26','28', 10 ):-!.
relation('26','29', 19 ):-!.
relation('26','30', 26 ):-!.
relation('27','1', 51 ):-!.
relation('27','2', 33 ):-!.
relation('27','3', 25 ):-!.
relation('27','4', 13 ):-!.
relation('27','5', 1 ):-!.
relation('27','6', 53 ):-!.
relation('27','7', 8 ):-!.
relation('27','8', 22 ):-!.
relation('27','9', 49 ):-!.
relation('27','10', 39 ):-!.
relation('27','11', 31 ):-!.
relation('27','12', 51 ):-!.
relation('27','13', 16 ):-!.
relation('27','14', 19 ):-!.
relation('27','15', 24 ):-!.
relation('27','16', 17 ):-!.
relation('27','17', 21 ):-!.
relation('27','18', 32 ):-!.
relation('27','19', 29 ):-!.
relation('27','20', 19 ):-!.
relation('27','21', 47 ):-!.
relation('27','22', 43 ):-!.
relation('27','23', 40 ):-!.
relation('27','24', 17 ):-!.
relation('27','25', 31 ):-!.
relation('27','26', 9 ):-!.
relation('27','27', 0 ):-!.
relation('27','28', 3 ):-!.
relation('27','29', 1 ):-!.
relation('27','30', 46 ):-!.
relation('28','1', 25 ):-!.
relation('28','2', 34 ):-!.
relation('28','3', 15 ):-!.
relation('28','4', 41 ):-!.
relation('28','5', 5 ):-!.
relation('28','6', 7 ):-!.
relation('28','7', 23 ):-!.
relation('28','8', 27 ):-!.
relation('28','9', 49 ):-!.
relation('28','10', 50 ):-!.
relation('28','11', 3 ):-!.
relation('28','12', 34 ):-!.
relation('28','13', 39 ):-!.
relation('28','14', 11 ):-!.
relation('28','15', 23 ):-!.
relation('28','16', 16 ):-!.
relation('28','17', 22 ):-!.
relation('28','18', 17 ):-!.
relation('28','19', 53 ):-!.
relation('28','20', 33 ):-!.
relation('28','21', 39 ):-!.
relation('28','22', 35 ):-!.
relation('28','23', 38 ):-!.
relation('28','24', 13 ):-!.
relation('28','25', 51 ):-!.
relation('28','26', 51 ):-!.
relation('28','27', 18 ):-!.
relation('28','28', 0 ):-!.
relation('28','29', 42 ):-!.
relation('28','30', 15 ):-!.
relation('29','1', 41 ):-!.
relation('29','2', 12 ):-!.
relation('29','3', 9 ):-!.
relation('29','4', 12 ):-!.
relation('29','5', 16 ):-!.
relation('29','6', 18 ):-!.
relation('29','7', 52 ):-!.
relation('29','8', 28 ):-!.
relation('29','9', 33 ):-!.
relation('29','10', 44 ):-!.
relation('29','11', 17 ):-!.
relation('29','12', 7 ):-!.
relation('29','13', 45 ):-!.
relation('29','14', 20 ):-!.
relation('29','15', 52 ):-!.
relation('29','16', 34 ):-!.
relation('29','17', 37 ):-!.
relation('29','18', 52 ):-!.
relation('29','19', 2 ):-!.
relation('29','20', 47 ):-!.
relation('29','21', 3 ):-!.
relation('29','22', 9 ):-!.
relation('29','23', 13 ):-!.
relation('29','24', 36 ):-!.
relation('29','25', 50 ):-!.
relation('29','26', 28 ):-!.
relation('29','27', 7 ):-!.
relation('29','28', 50 ):-!.
relation('29','29', 0 ):-!.
relation('29','30', 23 ):-!.
relation('30','1', 43 ):-!.
relation('30','2', 22 ):-!.
relation('30','3', 0 ):-!.
relation('30','4', 31 ):-!.
relation('30','5', 4 ):-!.
relation('30','6', 40 ):-!.
relation('30','7', 30 ):-!.
relation('30','8', 20 ):-!.
relation('30','9', 18 ):-!.
relation('30','10', 21 ):-!.
relation('30','11', 16 ):-!.
relation('30','12', 28 ):-!.
relation('30','13', 2 ):-!.
relation('30','14', 23 ):-!.
relation('30','15', 19 ):-!.
relation('30','16', 35 ):-!.
relation('30','17', 2 ):-!.
relation('30','18', 28 ):-!.
relation('30','19', 29 ):-!.
relation('30','20', 6 ):-!.
relation('30','21', 46 ):-!.
relation('30','22', 39 ):-!.
relation('30','23', 51 ):-!.
relation('30','24', 22 ):-!.
relation('30','25', 38 ):-!.
relation('30','26', 5 ):-!.
relation('30','27', 4 ):-!.
relation('30','28', 29 ):-!.
relation('30','29', 50 ):-!.
relation('30','30', 0 ):-!.