father(3,2).
father(4,2).
father(5,2).
father(6,2).
father(7,2).
father(8,2).
father(9,2).
father(10,2).
father(11,2).
father(13,4).
father(14,4).
father(15,4).
father(16,4).
father(17,4).
father(18,4).
father(95,6).
father(96,6).
father(97,6).
father(98,6).
father(99,6).
father(121,9).
father(122,9).
father(123,9).
father(24,10).
father(129,10).
father(31,14).
father(32,14).
father(33,14).
father(34,14).
father(35,14).
father(36,14).
father(23,19).
father(656,19).
father(21,20).
father(72,20).
father(73,20).
father(74,20).
father(75,20).
father(76,20).
father(77,20).
father(78,20).
father(420,21).
father(421,21).
father(422,21).
father(423,21).
father(424,21).
father(425,21).
father(426,21).
father(38,22).
father(39,22).
father(79,22).
father(83,22).
father(84,22).
father(85,22).
father(86,22).
father(26,25).
father(27,25).
father(28,25).
father(29,25).
father(509,26).
father(52,32).
father(53,32).
father(87,34).
father(88,34).
father(67,35).
father(106,35).
father(107,35).
father(46,37).
father(47,37).
father(48,37).
father(49,37).
father(50,37).
father(37,40).
father(153,40).
father(154,40).
father(155,40).
father(156,40).
father(1568,40).
father(44,42).
father(353,42).
father(2665,42).
father(2666,42).
father(40,44).
father(94,44).
father(149,44).
father(150,44).
father(151,44).
father(152,44).
father(491,44).
father(492,44).
father(1570,44).
father(1571,44).
father(1572,44).
father(55,54).
father(56,54).
father(2978,54).
father(58,57).
father(59,57).
father(60,57).
father(61,57).
father(115,58).
father(116,58).
father(827,60).
father(2958,60).
father(63,62).
father(64,62).
father(112,67).
father(113,67).
father(114,67).
father(244,68).
father(291,68).
father(450,71).
father(80,72).
father(81,72).
father(82,72).
father(461,83).
father(462,83).
father(90,88).
father(317,88).
father(318,88).
father(101,100).
father(102,100).
father(103,100).
father(238,100).
father(503,102).
father(504,102).
father(500,103).
father(501,103).
father(57,104).
father(147,104).
father(148,104).
father(463,104).
father(476,104).
father(125,105).
father(952,105).
father(320,107).
father(801,107).
father(109,108).
father(110,108).
father(118,117).
father(310,117).
father(311,117).
father(312,117).
father(313,117).
father(2155,122).
father(445,124).
father(447,124).
father(448,124).
father(449,124).
father(1059,124).
father(1706,126).
father(132,130).
father(133,130).
father(141,130).
father(202,130).
father(203,130).
father(204,130).
father(209,130).
father(210,130).
father(212,130).
father(213,130).
father(214,130).
father(215,130).
father(216,130).
father(217,130).
father(218,130).
father(135,132).
father(136,132).
father(262,132).
father(1,133).
father(30,137).
father(278,137).
father(279,137).
father(280,137).
father(2,139).
father(1737,139).
father(144,141).
father(51,145).
father(173,145).
father(174,145).
father(175,145).
father(176,145).
father(177,145).
father(178,145).
father(179,145).
father(180,145).
father(181,145).
father(158,149).
father(159,149).
father(160,149).
father(1362,149).
father(164,152).
father(1355,152).
father(1357,152).
father(1358,152).
father(1359,152).
father(502,155).
father(1360,155).
father(528,158).
father(588,158).
father(895,158).
father(43,162).
father(411,162).
father(412,162).
father(413,162).
father(414,162).
father(416,162).
father(418,162).
father(511,162).
father(1029,162).
father(2654,162).
father(1407,164).
father(2681,165).
father(168,169).
father(822,169).
father(2930,169).
father(2931,169).
father(2932,169).
father(70,171).
father(1962,176).
father(1963,176).
father(145,182).
father(182,184).
father(186,184).
father(184,187).
father(189,187).
father(120,199).
father(220,203).
father(221,203).
father(222,203).
father(223,203).
father(146,207).
father(249,212).
father(12,225).
father(41,225).
father(227,225).
father(254,225).
father(604,225).
father(1663,225).
father(104,227).
father(163,227).
father(229,227).
father(405,227).
father(465,227).
father(466,227).
father(467,227).
father(2673,227).
father(66,229).
father(236,229).
father(237,229).
father(2964,229).
father(2967,229).
father(441,232).
father(471,232).
father(1064,232).
father(474,234).
father(65,239).
father(240,239).
father(241,239).
father(242,239).
father(1712,239).
father(2963,242).
father(293,244).
father(294,244).
father(295,244).
father(315,244).
father(556,246).
father(1070,247).
father(1071,247).
father(1072,247).
father(1073,247).
father(251,249).
father(252,249).
father(253,249).
father(255,251).
father(256,251).
father(257,251).
father(258,251).
father(259,251).
father(552,251).
father(469,260).
father(264,262).
father(265,262).
father(266,262).
father(268,264).
father(269,264).
father(270,264).
father(272,271).
father(274,272).
father(275,272).
father(276,272).
father(277,272).
father(282,278).
father(283,278).
father(284,278).
father(285,278).
father(287,280).
father(288,280).
father(289,280).
father(1229,286).
father(1256,286).
father(1257,286).
father(1258,286).
father(297,291).
father(982,291).
father(941,293).
father(942,293).
father(943,293).
father(944,293).
father(946,294).
father(947,294).
father(949,295).
father(950,295).
father(226,298).
father(300,298).
father(134,301).
father(298,301).
father(137,303).
father(305,303).
father(306,303).
father(308,307).
father(436,309).
father(437,309).
father(438,309).
father(1096,309).
father(1097,309).
father(1098,309).
father(323,321).
father(324,321).
father(325,321).
father(326,321).
father(327,321).
father(328,321).
father(329,321).
father(330,321).
father(331,321).
father(130,323).
father(333,323).
father(334,323).
father(335,323).
father(336,323).
father(337,323).
father(338,323).
father(339,323).
father(340,323).
father(290,336).
father(2146,336).
father(321,341).
father(343,341).
father(764,344).
father(1637,344).
father(1638,344).
father(1639,344).
father(1640,344).
father(1643,344).
father(225,345).
father(25,347).
father(100,347).
father(224,347).
father(486,347).
father(487,347).
father(45,349).
father(347,349).
father(357,349).
father(493,349).
father(348,351).
father(165,353).
father(228,353).
father(2671,353).
father(2677,353).
father(354,355).
father(22,357).
father(497,357).
father(498,357).
father(499,357).
father(207,360).
father(208,362).
father(183,364).
father(239,366).
father(93,368).
father(368,370).
father(371,372).
father(373,374).
father(372,376).
father(370,378).
father(379,380).
father(378,382).
father(367,384).
father(1713,384).
father(1714,384).
father(384,386).
father(385,388).
father(369,390).
father(390,392).
father(391,394).
father(366,396).
father(1733,396).
father(1734,396).
father(396,398).
father(1731,398).
father(397,400).
father(230,405).
father(231,405).
father(232,405).
father(233,405).
father(234,405).
father(439,405).
father(430,409).
father(431,409).
father(432,409).
father(433,409).
father(591,409).
father(2642,409).
father(2643,409).
father(20,412).
father(428,412).
father(1704,417).
father(2551,417).
father(2552,417).
father(2553,417).
father(2554,417).
father(519,420).
father(520,420).
father(521,420).
father(522,420).
father(523,420).
father(524,420).
father(435,432).
father(592,432).
father(593,432).
father(594,432).
father(442,435).
father(443,435).
father(444,435).
father(468,438).
father(1057,438).
father(475,440).
father(874,440).
father(875,440).
father(603,445).
father(2526,445).
father(2527,445).
father(2528,445).
father(2529,445).
father(2740,447).
father(2742,449).
father(2743,449).
father(452,450).
father(958,450).
father(959,450).
father(454,452).
father(455,452).
father(124,456).
father(446,456).
father(1408,456).
father(456,458).
father(597,458).
father(2770,458).
father(2771,458).
father(2629,461).
father(2630,461).
father(2631,461).
father(2848,465).
father(2693,466).
father(2842,466).
father(972,468).
father(973,468).
father(974,468).
father(975,468).
father(976,468).
father(609,471).
father(1060,471).
father(1061,471).
father(1062,471).
father(1063,471).
father(877,475).
father(478,477).
father(480,479).
father(483,482).
father(303,484).
father(356,484).
father(595,484).
father(2158,504).
father(2159,504).
father(506,505).
father(508,507).
father(1213,515).
father(526,519).
father(527,519).
father(534,520).
father(535,520).
father(921,520).
father(922,520).
father(923,520).
father(924,520).
father(925,520).
father(538,521).
father(539,521).
father(541,522).
father(542,522).
father(543,522).
father(544,522).
father(545,522).
father(751,529).
father(1341,529).
father(741,531).
father(1366,533).
father(470,552).
father(1030,552).
father(1031,552).
father(1033,552).
father(1034,552).
father(1035,552).
father(162,553).
father(555,553).
father(557,553).
father(558,553).
father(559,553).
father(560,553).
father(561,553).
father(562,553).
father(563,553).
father(248,564).
father(652,565).
father(653,565).
father(1681,565).
father(1682,565).
father(553,568).
father(570,568).
father(571,568).
father(572,568).
father(485,574).
father(576,574).
father(578,576).
father(459,578).
father(580,578).
father(582,580).
father(584,582).
father(586,585).
father(899,588).
father(2915,590).
father(451,597).
father(599,597).
father(2738,597).
father(2829,597).
father(601,600).
father(1123,600).
father(1124,600).
father(1133,600).
father(1134,600).
father(1135,600).
father(2446,603).
father(2447,603).
father(2729,603).
father(71,604).
father(598,604).
father(606,604).
father(1664,604).
father(1665,604).
father(1666,604).
father(1667,604).
father(2697,604).
father(608,606).
father(1671,606).
father(472,608).
father(610,608).
father(1672,608).
father(613,611).
father(614,611).
father(663,613).
father(616,615).
father(618,616).
father(619,616).
father(575,618).
father(650,618).
father(621,620).
father(623,621).
father(625,623).
father(626,623).
father(628,625).
father(630,629).
father(632,631).
father(634,632).
father(636,635).
father(638,637).
father(1074,637).
father(1138,637).
father(1139,637).
father(1140,637).
father(1141,637).
father(1154,637).
father(1155,637).
father(1156,637).
father(1157,637).
father(1158,637).
father(1159,637).
father(646,639).
father(643,640).
father(645,643).
father(640,646).
father(641,646).
father(649,648).
father(565,650).
father(2653,650).
father(2655,650).
father(655,652).
father(1689,652).
father(1690,652).
father(1691,652).
father(1692,652).
father(512,653).
father(1028,653).
father(1683,653).
father(1684,653).
father(657,655).
father(1678,655).
father(1679,655).
father(1680,655).
father(659,658).
father(661,660).
father(1204,660).
father(1205,660).
father(1206,660).
father(665,663).
father(667,666).
father(669,668).
father(671,669).
father(673,672).
father(675,673).
father(677,676).
father(680,678).
father(682,680).
father(409,683).
father(2634,683).
father(2635,683).
father(685,684).
father(687,686).
father(689,688).
father(691,689).
father(1183,689).
father(1184,689).
father(1185,689).
father(1187,689).
father(1188,689).
father(1189,689).
father(1190,689).
father(1191,689).
father(1192,689).
father(694,692).
father(695,692).
father(696,692).
father(697,692).
father(698,692).
father(699,692).
father(700,692).
father(701,692).
father(702,692).
father(703,692).
father(704,692).
father(705,692).
father(693,706).
father(708,706).
father(709,706).
father(710,706).
father(711,706).
father(712,706).
father(713,706).
father(714,706).
father(716,706).
father(717,706).
father(718,706).
father(719,706).
father(720,706).
father(722,719).
father(723,719).
father(727,725).
father(728,725).
father(729,725).
father(730,725).
father(731,725).
father(732,725).
father(733,725).
father(734,725).
father(706,730).
father(742,730).
father(743,730).
father(744,730).
father(745,730).
father(746,730).
father(747,730).
father(748,730).
father(749,730).
father(736,735).
father(765,735).
father(766,735).
father(767,735).
father(768,735).
father(2114,735).
father(2115,735).
father(2116,735).
father(2117,735).
father(2118,735).
father(2119,735).
father(726,737).
father(1627,737).
father(2860,737).
father(2861,737).
father(2862,737).
father(529,740).
father(590,740).
father(739,740).
father(896,740).
father(2913,740).
father(757,750).
father(951,751).
father(2128,751).
father(2517,751).
father(2917,751).
father(752,753).
father(715,755).
father(341,758).
father(770,758).
father(771,758).
father(2123,758).
father(2124,758).
father(2125,758).
father(2126,758).
father(219,759).
father(568,761).
father(1160,761).
father(1161,761).
father(1162,761).
father(1163,761).
father(1164,761).
father(1165,761).
father(1166,761).
father(1167,761).
father(1168,761).
father(1169,761).
father(1170,761).
father(1171,761).
father(1617,764).
father(1653,764).
father(2415,765).
father(761,772).
father(1174,772).
father(1175,772).
father(1177,772).
father(1178,772).
father(775,773).
father(776,773).
father(828,773).
father(829,773).
father(830,773).
father(831,773).
father(832,773).
father(401,777).
father(399,779).
father(398,781).
father(400,783).
father(387,785).
father(386,788).
father(388,789).
father(389,792).
father(392,793).
father(393,795).
father(394,797).
father(395,799).
father(69,803).
father(808,807).
father(807,810).
father(169,811).
father(813,811).
father(811,814).
father(814,815).
father(815,816).
father(816,818).
father(818,819).
father(170,820).
father(826,825).
father(2959,825).
father(842,828).
father(843,828).
father(844,828).
father(845,828).
father(846,828).
father(847,828).
father(849,828).
father(850,828).
father(852,828).
father(835,834).
father(1247,835).
father(1431,836).
father(2440,838).
father(1426,839).
father(1427,839).
father(1428,839).
father(833,840).
father(2100,840).
father(2887,840).
father(2888,840).
father(2889,840).
father(853,854).
father(856,857).
father(851,860).
father(867,864).
father(859,865).
father(2309,865).
father(2132,870).
father(2136,870).
father(870,871).
father(1147,873).
father(883,874).
father(884,874).
father(886,874).
father(888,875).
father(889,875).
father(891,875).
father(892,875).
father(879,877).
father(880,877).
father(881,877).
father(897,894).
father(898,894).
father(1424,894).
father(2506,894).
father(2509,897).
father(2510,897).
father(901,900).
father(890,902).
father(903,902).
father(904,902).
father(905,902).
father(906,902).
father(907,902).
father(909,903).
father(910,903).
father(911,903).
father(912,903).
father(915,911).
father(917,916).
father(918,916).
father(919,916).
father(935,921).
father(937,921).
father(938,921).
father(939,921).
father(932,922).
father(933,922).
father(929,924).
father(930,924).
father(927,925).
father(954,953).
father(956,954).
father(957,954).
father(961,960).
father(962,960).
father(963,960).
father(964,960).
father(965,960).
father(967,966).
father(968,966).
father(969,966).
father(978,977).
father(980,979).
father(111,981).
father(986,984).
father(985,987).
father(1340,987).
father(984,988).
father(991,988).
father(992,988).
father(993,988).
father(994,988).
father(995,988).
father(996,988).
father(997,988).
father(989,990).
father(1342,990).
father(774,991).
father(999,991).
father(1000,991).
father(1001,991).
father(1002,991).
father(1003,991).
father(1004,991).
father(1005,991).
father(1006,991).
father(1007,991).
father(1018,993).
father(1019,993).
father(1014,1013).
father(1015,1013).
father(988,1023).
father(1025,1023).
father(605,1027).
father(1039,1030).
father(1040,1030).
father(1041,1030).
father(1042,1030).
father(1043,1030).
father(1044,1030).
father(2706,1031).
father(2707,1031).
father(2708,1031).
father(2711,1033).
father(2712,1033).
father(1047,1040).
father(1048,1040).
father(1050,1041).
father(971,1055).
father(473,1065).
father(247,1067).
father(1076,1070).
father(1077,1070).
father(1079,1070).
father(1080,1070).
father(1081,1070).
father(1085,1073).
father(1086,1073).
father(1087,1073).
father(1088,1073).
father(1089,1073).
father(1090,1086).
father(1092,1090).
father(1093,1090).
father(309,1099).
father(1101,1099).
father(1102,1099).
father(1099,1104).
father(1106,1104).
father(1107,1104).
father(1108,1104).
father(1109,1104).
father(1110,1104).
father(1103,1114).
father(1115,1114).
father(1116,1114).
father(1117,1114).
father(1118,1114).
father(600,1118).
father(1120,1118).
father(1121,1118).
father(1128,1124).
father(1129,1124).
father(1130,1124).
father(495,1138).
father(1143,1138).
father(1148,1138).
father(1149,1138).
father(1150,1138).
father(1151,1138).
father(1152,1138).
father(1153,1138).
father(1145,1143).
father(1146,1143).
father(688,1150).
father(1180,1150).
father(1181,1150).
father(1182,1150).
father(1194,1193).
father(1195,1193).
father(1196,1193).
father(1197,1193).
father(1198,1193).
father(1199,1193).
father(1200,1193).
father(1201,1193).
father(690,1197).
father(1119,1197).
father(1208,1207).
father(1209,1207).
father(1210,1207).
father(1207,1211).
father(658,1213).
father(740,1215).
father(1016,1217).
father(1217,1219).
father(1219,1221).
father(1223,1221).
father(1224,1221).
father(1225,1221).
father(1226,1221).
father(1227,1221).
father(1228,1221).
father(1231,1229).
father(1232,1229).
father(1233,1229).
father(1234,1229).
father(1235,1229).
father(1236,1229).
father(1237,1229).
father(1238,1229).
father(1239,1229).
father(1240,1229).
father(1241,1229).
father(1242,1229).
father(1411,1231).
father(1412,1231).
father(1348,1235).
father(1221,1236).
father(1329,1236).
father(1330,1236).
father(1331,1236).
father(1437,1236).
father(1501,1236).
father(1502,1236).
father(2065,1236).
father(1023,1237).
father(1338,1237).
father(2294,1237).
father(1603,1242).
father(2071,1242).
father(2072,1242).
father(2073,1242).
father(683,1245).
father(1244,1246).
father(725,1249).
father(834,1252).
father(2867,1252).
father(2868,1252).
father(1450,1253).
father(773,1254).
father(838,1260).
father(286,1261).
father(1263,1261).
father(1264,1261).
father(1265,1261).
father(1266,1261).
father(1267,1261).
father(1268,1261).
father(1269,1261).
father(1270,1261).
father(1271,1261).
father(1272,1261).
father(1273,1261).
father(1274,1261).
father(1275,1261).
father(1276,1261).
father(1278,1261).
father(1279,1261).
father(1280,1261).
father(1744,1278).
father(1410,1279).
father(1261,1281).
father(1283,1281).
father(1284,1281).
father(1285,1281).
father(1286,1281).
father(1287,1281).
father(1288,1281).
father(1289,1281).
father(1290,1281).
father(1496,1285).
father(1497,1285).
father(781,1291).
father(42,1294).
father(654,1294).
father(1296,1294).
father(1298,1296).
father(1294,1300).
father(1303,1301).
father(1304,1301).
father(1306,1301).
father(1308,1306).
father(1301,1309).
father(1311,1309).
father(1324,1309).
father(1325,1309).
father(1316,1311).
father(1309,1312).
father(1318,1316).
father(1319,1316).
father(1321,1320).
father(1323,1322).
father(1314,1326).
father(1333,1329).
father(1334,1329).
father(1335,1329).
father(1465,1329).
father(2079,1329).
father(1222,1332).
father(1255,1334).
father(2083,1335).
father(2084,1335).
father(2085,1335).
father(2086,1335).
father(2087,1335).
father(2088,1335).
father(2089,1335).
father(2090,1335).
father(2423,1341).
father(987,1342).
father(1024,1344).
father(1346,1344).
father(2280,1344).
father(2281,1344).
father(1344,1349).
father(2283,1349).
father(2284,1349).
father(2285,1349).
father(1254,1352).
father(1353,1352).
father(143,1363).
father(1281,1364).
father(1367,1364).
father(1368,1364).
father(1369,1364).
father(1370,1364).
father(1882,1367).
father(1887,1367).
father(1888,1367).
father(1364,1371).
father(1373,1371).
father(1374,1371).
father(1375,1371).
father(1376,1371).
father(1377,1371).
father(1378,1371).
father(1379,1371).
father(1507,1377).
father(1873,1377).
father(1382,1380).
father(1383,1380).
father(1384,1380).
father(1385,1380).
father(1386,1380).
father(1387,1380).
father(1388,1380).
father(1389,1380).
father(1390,1380).
father(1391,1380).
father(1853,1382).
father(1393,1391).
father(1394,1391).
father(1395,1391).
father(2224,1391).
father(2957,1391).
father(1399,1397).
father(1400,1397).
father(1401,1397).
father(1402,1397).
father(1403,1397).
father(1371,1405).
father(1866,1405).
father(1867,1405).
father(1409,1408).
father(2745,1409).
father(2746,1409).
father(2747,1409).
father(2748,1409).
father(2767,1409).
father(2768,1409).
father(2769,1409).
father(1300,1419).
father(894,1422).
father(1700,1424).
father(1701,1424).
father(1702,1424).
father(1703,1424).
father(868,1430).
father(2106,1430).
father(2107,1430).
father(1249,1432).
father(1433,1432).
father(1435,1433).
father(1439,1438).
father(1440,1438).
father(1441,1438).
father(1449,1447).
father(1451,1447).
father(1542,1452).
father(1455,1454).
father(1457,1455).
father(1458,1455).
father(1459,1455).
father(1460,1455).
father(1821,1455).
father(1462,1457).
father(1463,1457).
father(1486,1459).
father(1466,1463).
father(1252,1466).
father(1470,1466).
father(1471,1466).
father(1472,1466).
father(1484,1470).
father(2866,1470).
father(1475,1474).
father(1476,1474).
father(1492,1476).
father(1478,1477).
father(1432,1478).
father(1480,1478).
father(1482,1480).
father(1488,1487).
father(1489,1487).
father(1490,1487).
father(1494,1492).
father(1499,1497).
father(1243,1499).
father(1392,1511).
father(1513,1511).
father(1514,1511).
father(1515,1511).
father(1516,1511).
father(2237,1511).
father(2228,1515).
father(1397,1517).
father(1518,1517).
father(1519,1517).
father(1860,1517).
father(1861,1517).
father(1747,1520).
father(1398,1522).
father(1380,1525).
father(1525,1527).
father(1529,1527).
father(1527,1530).
father(1532,1530).
father(1534,1533).
father(1543,1533).
father(1753,1533).
father(1754,1533).
father(1755,1533).
father(1756,1533).
father(1757,1533).
father(1758,1533).
father(1759,1533).
father(1760,1533).
father(1761,1533).
father(1762,1533).
father(1767,1533).
father(1535,1536).
father(1538,1536).
father(1540,1538).
father(1545,1543).
father(1764,1543).
father(1512,1545).
father(1547,1545).
father(1766,1545).
father(1550,1548).
father(1551,1548).
father(1552,1548).
father(1768,1548).
father(1554,1553).
father(1555,1553).
father(1560,1559).
father(1561,1559).
father(1574,1570).
father(1576,1575).
father(1577,1575).
father(1579,1578).
father(1580,1578).
father(2234,1585).
father(1026,1602).
father(301,1604).
father(1736,1604).
father(1605,1606).
father(1610,1609).
father(1611,1609).
father(458,1613).
father(1027,1613).
father(1613,1615).
father(1642,1617).
father(1650,1617).
father(1655,1617).
father(1656,1617).
father(1657,1617).
father(1658,1617).
father(1659,1617).
father(1660,1617).
father(344,1620).
father(2850,1620).
father(1620,1622).
father(1622,1625).
father(2854,1625).
father(2855,1625).
father(1630,1627).
father(692,1630).
father(1625,1630).
father(2856,1630).
father(2857,1630).
father(2858,1630).
father(737,1632).
father(1632,1634).
father(346,1641).
father(1618,1641).
father(299,1643).
father(1645,1643).
father(1646,1643).
father(1649,1645).
father(1648,1654).
father(1670,1664).
father(2699,1664).
father(2700,1664).
father(2701,1664).
father(2702,1664).
father(1674,1671).
father(1675,1671).
father(1676,1671).
father(322,1694).
father(1114,1696).
father(1697,1696).
father(1698,1696).
father(1699,1696).
father(2901,1698).
father(2902,1698).
father(2903,1698).
father(2152,1706).
father(2153,1706).
father(2154,1706).
father(792,1716).
father(1716,1717).
father(1717,1719).
father(1719,1720).
father(1721,1720).
father(787,1722).
father(1725,1726).
father(789,1728).
father(782,1729).
father(1728,1729).
father(1291,1735).
father(1277,1739).
father(1903,1739).
father(1739,1740).
father(1740,1741).
father(1894,1741).
father(2481,1741).
father(2484,1741).
father(1262,1746).
father(1749,1746).
father(1520,1748).
father(1751,1749).
father(1452,1752).
father(1546,1763).
father(1765,1763).
father(1770,1771).
father(1539,1774).
father(1549,1775).
father(1548,1776).
father(1777,1778).
father(1533,1779).
father(1782,1779).
father(1784,1779).
father(1781,1783).
father(1780,1785).
father(1779,1786).
father(1788,1786).
father(1790,1791).
father(1786,1792).
father(1794,1792).
father(1795,1792).
father(1796,1792).
father(1799,1792).
father(1800,1792).
father(1803,1792).
father(1804,1792).
father(1805,1792).
father(1806,1792).
father(1807,1792).
father(1808,1792).
father(1809,1792).
father(1810,1792).
father(1251,1815).
father(1429,1816).
father(2438,1816).
father(1448,1818).
father(1456,1819).
father(1464,1820).
father(1461,1825).
father(1467,1826).
father(1468,1827).
father(1469,1827).
father(1634,1827).
father(1447,1830).
father(2869,1830).
father(2870,1830).
father(2871,1830).
father(2872,1830).
father(2873,1830).
father(1830,1832).
father(1833,1834).
father(1832,1835).
father(1836,1837).
father(1842,1837).
father(1838,1839).
father(1453,1841).
father(1844,1843).
father(1846,1845).
father(1849,1846).
father(1847,1848).
father(1381,1850).
father(1851,1852).
father(1854,1855).
father(1858,1855).
father(1856,1857).
father(1396,1859).
father(1862,1863).
father(1864,1865).
father(1372,1868).
father(1510,1869).
father(2451,1869).
father(1523,1870).
father(1521,1871).
father(1508,1872).
father(1506,1874).
father(1365,1877).
father(1282,1881).
father(596,1883).
father(1582,1884).
father(1583,1885).
father(1585,1886).
father(1889,1890).
father(1742,1891).
father(1746,1891).
father(1587,1893).
father(1495,1894).
father(1896,1897).
father(1504,1898).
father(1593,1899).
father(1505,1901).
father(127,1903).
father(1743,1903).
father(2464,1903).
father(2465,1903).
father(1349,1904).
father(1904,1905).
father(1905,1906).
father(1906,1907).
father(1907,1908).
father(1908,1910).
father(1919,1912).
father(1911,1913).
father(1957,1913).
father(1958,1913).
father(1959,1913).
father(361,1914).
father(1914,1915).
father(1917,1915).
father(1916,1918).
father(1909,1919).
father(1912,1920).
father(1921,1922).
father(1923,1924).
father(1925,1926).
father(1927,1928).
father(1990,1929).
father(1928,1930).
father(1933,1932).
father(1931,1934).
father(1934,1935).
father(2185,1935).
father(1935,1936).
father(1936,1937).
father(1937,1938).
father(1939,1938).
father(1940,1939).
father(1942,1940).
father(1943,1940).
father(1944,1940).
father(1945,1943).
father(1946,1943).
father(1948,1944).
father(1947,1945).
father(1949,1948).
father(1950,1949).
father(1951,1950).
father(1952,1951).
father(1953,1952).
father(1955,1952).
father(1913,1953).
father(1961,1957).
father(1960,1961).
father(1792,1964).
father(1982,1964).
father(1985,1964).
father(1986,1964).
father(1987,1964).
father(1964,1966).
father(1968,1966).
father(1969,1966).
father(1971,1966).
father(1972,1966).
father(1977,1966).
father(1978,1972).
father(1979,1972).
father(1966,1973).
father(1975,1973).
father(1967,1976).
father(1965,1981).
father(1983,1982).
father(1984,1982).
father(1992,1991).
father(1993,1992).
father(1994,1992).
father(2037,1993).
father(2022,1994).
father(2023,1994).
father(1991,1995).
father(2019,1995).
father(1995,1996).
father(1996,1997).
father(1997,1998).
father(1998,1999).
father(1999,2000).
father(2000,2001).
father(2001,2002).
father(2002,2003).
father(2003,2004).
father(2004,2005).
father(2005,2006).
father(2006,2007).
father(2007,2008).
father(2008,2009).
father(2009,2010).
father(2010,2011).
father(2011,2012).
father(2012,2013).
father(2013,2014).
father(2014,2015).
father(2015,2016).
father(2016,2017).
father(2017,2018).
father(2024,2022).
father(2028,2023).
father(2029,2024).
father(2030,2024).
father(2031,2024).
father(2032,2024).
father(2025,2026).
father(2026,2027).
father(2027,2028).
father(2033,2029).
father(2038,2037).
father(2039,2037).
father(2040,2037).
father(2041,2038).
father(2045,2039).
father(2048,2040).
father(2042,2041).
father(2043,2041).
father(2044,2045).
father(2046,2047).
father(2050,2047).
father(2051,2047).
father(2052,2047).
father(2047,2048).
father(2056,2050).
father(1973,2054).
father(2054,2055).
father(2055,2056).
father(1230,2057).
father(1595,2058).
father(1418,2059).
father(1347,2060).
father(1337,2062).
father(1416,2062).
father(1328,2063).
father(2066,2067).
father(2067,2068).
father(1343,2069).
father(1220,2075).
father(1414,2075).
father(2537,2075).
father(2077,2078).
father(2081,2082).
father(848,2099).
father(2338,2099).
father(2339,2099).
father(1434,2101).
father(2102,2103).
father(2334,2104).
father(2109,2108).
father(2110,2108).
father(1436,2109).
father(2396,2109).
father(2397,2109).
father(2398,2109).
father(2112,2113).
father(769,2120).
father(707,2127).
father(1420,2131).
father(2130,2131).
father(2421,2131).
father(920,2132).
father(2131,2132).
father(2417,2132).
father(721,2137).
father(2137,2138).
father(724,2139).
father(342,2140).
father(332,2142).
father(762,2144).
father(131,2147).
father(126,2151).
father(494,2160).
father(408,2161).
father(2165,2163).
father(2167,2166).
father(2169,2168).
father(2170,2169).
father(2171,2170).
father(2172,2171).
father(2174,2173).
father(1352,2174).
father(2173,2175).
father(2175,2176).
father(2176,2177).
father(2177,2178).
father(2179,2180).
father(2180,2181).
father(2181,2182).
father(2182,2183).
father(2183,2184).
father(2184,2185).
father(1918,2186).
father(2186,2187).
father(2188,2189).
father(2190,2191).
father(2191,2192).
father(2192,2193).
father(2193,2194).
father(2194,2195).
father(2195,2196).
father(2196,2197).
father(2197,2198).
father(2198,2199).
father(2199,2200).
father(2200,2201).
father(2201,2202).
father(2202,2203).
father(2203,2204).
father(2204,2205).
father(2205,2206).
father(2206,2208).
father(2208,2209).
father(2209,2210).
father(2210,2211).
father(2211,2212).
father(2213,2212).
father(2215,2214).
father(2223,2215).
father(2216,2217).
father(2218,2219).
father(2207,2221).
father(2220,2221).
father(2221,2222).
father(2222,2223).
father(2225,2226).
father(1837,2228).
father(2230,2228).
father(2231,2228).
father(1886,2231).
father(2236,2235).
father(1511,2239).
father(2241,2239).
father(2239,2242).
father(2246,2244).
father(2243,2248).
father(2248,2249).
father(2249,2250).
father(2253,2250).
father(2250,2251).
father(2251,2252).
father(2254,2253).
father(2255,2254).
father(2245,2255).
father(2256,2257).
father(2257,2258).
father(2258,2259).
father(2259,2260).
father(2252,2261).
father(2260,2261).
father(2262,2261).
father(2264,2263).
father(2261,2265).
father(2266,2265).
father(1601,2267).
father(1598,2268).
father(1596,2269).
father(1327,2270).
father(998,2271).
father(1218,2272).
father(1628,2274).
father(1345,2277).
father(1445,2279).
father(1413,2291).
father(1444,2299).
father(779,2301).
father(2301,2303).
father(2304,2305).
father(2305,2307).
father(869,2310).
father(2312,2310).
father(2313,2310).
father(2314,2310).
father(2315,2310).
father(2316,2310).
father(2317,2310).
father(2318,2310).
father(2324,2313).
father(2394,2340).
father(2403,2340).
father(857,2341).
father(2337,2341).
father(2343,2341).
father(2348,2341).
father(2349,2341).
father(2350,2341).
father(2355,2343).
father(2356,2343).
father(2357,2343).
father(2359,2355).
father(2360,2355).
father(2361,2355).
father(2362,2355).
father(2363,2355).
father(2367,2359).
father(2372,2359).
father(2387,2359).
father(2369,2367).
father(2375,2372).
father(2376,2372).
father(2377,2372).
father(2378,2372).
father(2379,2372).
father(2108,2392).
father(2319,2392).
father(2327,2392).
father(2331,2405).
father(2406,2405).
father(2407,2405).
father(2408,2405).
father(2409,2405).
father(2416,2418).
father(2420,2418).
father(2418,2419).
father(2427,2420).
father(2430,2420).
father(2431,2420).
father(2424,2423).
father(2426,2423).
father(2507,2423).
father(2880,2424).
father(1422,2426).
father(2429,2428).
father(2432,2431).
father(2434,2433).
father(1614,2435).
father(1438,2437).
father(1248,2438).
father(2522,2438).
father(2523,2438).
father(841,2442).
father(1612,2444).
father(138,2448).
father(139,2448).
father(205,2448).
father(1696,2448).
father(2973,2448).
father(2974,2448).
father(2975,2448).
father(2449,2450).
father(1741,2451).
father(2480,2451).
father(1869,2452).
father(2469,2452).
father(2470,2452).
father(2471,2452).
father(2472,2452).
father(2473,2452).
father(2474,2452).
father(2452,2454).
father(2454,2457).
father(2534,2457).
father(2457,2458).
father(2460,2458).
father(2533,2458).
father(2458,2463).
father(2466,2464).
father(1557,2467).
father(2467,2468).
father(2482,2483).
father(2487,2488).
father(2488,2489).
father(2498,2494).
father(2494,2495).
father(2520,2495).
father(2499,2498).
father(2518,2498).
father(2075,2499).
father(2501,2499).
father(2502,2499).
father(2503,2499).
father(1423,2504).
father(245,2511).
father(2511,2513).
father(2513,2515).
father(2515,2516).
father(2516,2517).
father(2921,2517).
father(2616,2522).
father(1816,2524).
father(2441,2524).
father(2524,2525).
father(440,2530).
father(2532,2530).
father(2540,2537).
father(2543,2540).
father(2544,2540).
father(2565,2552).
father(2560,2553).
father(2561,2553).
father(2562,2553).
father(2563,2553).
father(2564,2553).
father(2567,2560).
father(2568,2560).
father(2569,2560).
father(2570,2561).
father(2572,2563).
father(2573,2563).
father(2574,2563).
father(2576,2564).
father(2577,2564).
father(2578,2564).
father(2579,2564).
father(2587,2567).
father(2593,2572).
father(2581,2576).
father(2582,2576).
father(2584,2576).
father(2604,2584).
father(2589,2588).
father(2595,2593).
father(2596,2593).
father(2597,2593).
father(2599,2598).
father(2601,2599).
father(2602,2599).
father(2603,2599).
father(2605,2604).
father(2606,2604).
father(2607,2605).
father(2608,2605).
father(417,2609).
father(2611,2609).
father(2609,2613).
father(358,2622).
father(489,2623).
father(2625,2626).
father(464,2632).
father(434,2636).
father(2648,2649).
father(1214,2651).
father(1313,2658).
father(1312,2660).
father(2662,2663).
father(2669,2666).
father(2670,2666).
father(2672,2666).
father(2674,2666).
father(2675,2666).
father(2684,2671).
father(2685,2671).
father(2686,2671).
father(166,2675).
father(1562,2675).
father(1563,2675).
father(1564,2675).
father(1565,2675).
father(1566,2675).
father(1567,2675).
father(2679,2680).
father(157,2682).
father(589,2683).
father(2687,2688).
father(1295,2689).
father(1299,2691).
father(1828,2694).
father(607,2695).
father(453,2705).
father(2714,2713).
father(2715,2713).
father(2716,2713).
father(2718,2717).
father(2719,2717).
father(2720,2717).
father(2722,2721).
father(2723,2721).
father(2724,2721).
father(2726,2725).
father(2727,2725).
father(2728,2725).
father(2832,2738).
father(2761,2747).
father(2763,2747).
father(2765,2747).
father(2750,2749).
father(2751,2749).
father(2752,2749).
father(2753,2749).
father(2754,2749).
father(2756,2755).
father(2757,2755).
father(2758,2755).
father(2773,2770).
father(2774,2770).
father(2775,2770).
father(2776,2770).
father(2777,2770).
father(2780,2774).
father(2781,2774).
father(2782,2774).
father(2813,2774).
father(2820,2777).
father(2821,2777).
father(2822,2777).
father(2823,2777).
father(2772,2778).
father(2799,2781).
father(2804,2781).
father(2806,2781).
father(2807,2781).
father(2784,2783).
father(2785,2783).
father(2786,2783).
father(2787,2783).
father(2788,2783).
father(2790,2789).
father(2792,2791).
father(2793,2791).
father(2795,2794).
father(2796,2794).
father(2801,2800).
father(2802,2800).
father(2809,2808).
father(2810,2808).
father(2811,2808).
father(2815,2813).
father(2816,2813).
father(2825,2821).
father(2826,2821).
father(2827,2821).
father(2828,2821).
father(2834,2833).
father(2835,2833).
father(2836,2833).
father(2837,2833).
father(2839,2840).
father(1246,2878).
father(2878,2880).
father(1017,2884).
father(871,2885).
father(2894,2885).
father(2614,2895).
father(2448,2897).
father(1202,2899).
father(349,2911).
father(2661,2922).
father(2664,2923).
father(2659,2924).
father(161,2926).
father(1356,2927).
father(1406,2928).
father(821,2933).
father(2933,2934).
father(820,2936).
father(2937,2938).
father(2939,2940).
father(2941,2942).
father(2943,2942).
father(2944,2943).
father(2946,2944).
father(812,2946).
father(2947,2948).
father(2948,2949).
father(2942,2950).
father(2950,2951).
father(2951,2952).
father(2935,2953).
father(2953,2954).
father(2955,2956).
father(2961,2960).
father(2966,2965).
father(62,2968).
father(2969,2971).
father(2981,2980).
father(292,2982).
father(243,2984).
father(2990,2985).
father(2991,2985).
father(2992,2985).
father(2993,2985).
father(2989,2986).
father(3010,2986).
father(2986,2987).
father(2985,2994).
father(806,2995).
father(2997,2995).
father(2998,2995).
father(3009,2995).
father(3000,3001).
father(2996,3002).
father(3003,3002).
father(3004,3002).
father(3005,3002).
father(3006,3002).
father(2995,3007).