father(b1,b2). father(p1,p2). father(b2,b3). father(p2,p3). father(b3,b4). father(p3,p4). father(b4,b5). father(p4,p5). father(b5,b6). father(p5,p6). father(b6,b7). father(p6,p7). father(b7,b8). father(p7,p8). father(b8,b9). father(p8,p9). father(b9,b10). father(p9,p10). father(b10,b11). father(p10,p11). father(b11,b12). father(p11,p12). father(b12,b13). father(p12,p13). father(b13,b14). father(p13,p14). father(b14,b15). father(p14,p15). father(b15,b16). father(p15,p16). father(b16,b17). father(p16,p17). father(b17,b18). father(p17,p18). father(b18,b19). father(p18,p19). father(b19,b20). father(p19,p20). father(b20,b21). father(p20,p21). father(b21,b22). father(p21,p22). father(b22,b23). father(p22,p23). father(b23,b24). father(p23,p24). father(b24,b25). father(p24,p25). father(b25,b26). father(p25,p26). father(b26,b27). father(p26,p27). father(b27,b28). father(p27,p28). father(b28,b29). father(p28,p29). father(b29,b30). father(p29,p30). father(b30,b31). father(p30,p31). father(b31,b32). father(p31,p32). father(b32,b33). father(p32,p33). father(b33,b34). father(p33,p34). father(b34,b35). father(p34,p35). father(b35,b36). father(p35,p36). father(b36,b37). father(p36,p37). father(b37,b38). father(p37,p38). father(b38,b39). father(p38,p39). father(b39,b40). father(p39,p40). father(b40,b41). father(p40,p41). father(b41,b42). father(p41,p42). father(b42,b43). father(p42,p43). father(b43,b44). father(p43,p44). father(b44,b45). father(p44,p45). father(b45,b46). father(p45,p46). father(b46,b47). father(p46,p47). father(b47,b48). father(p47,p48). father(b48,b49). father(p48,p49). father(b49,b50). father(p49,p50). father(b50,b51). father(p50,p51). father(b51,b52). father(p51,p52). father(b52,b53). father(p52,p53). father(b53,b54). father(p53,p54). father(b54,b55). father(p54,p55). father(b55,b56). father(p55,p56). father(b56,b57). father(p56,p57). father(b57,b58). father(p57,p58). father(b58,b59). father(p58,p59). father(b59,b60). father(p59,p60). father(b60,b61). father(p60,p61). father(b61,b62). father(p61,p62). father(b62,b63). father(p62,p63). father(b63,b64). father(p63,p64). father(b64,b65). father(p64,p65). father(b65,b66). father(p65,p66). father(b66,b67). father(p66,p67). father(b67,b68). father(p67,p68). father(b68,b69). father(p68,p69). father(b69,b70). father(p69,p70). father(b70,b71). father(p70,p71). father(b71,b72). father(p71,p72). father(b72,b73). father(p72,p73). father(b73,b74). father(p73,p74). father(b74,b75). father(p74,p75). father(b75,b76). father(p75,p76). father(b76,b77). father(p76,p77). father(b77,b78). father(p77,p78). father(b78,b79). father(p78,p79). father(b79,b80). father(p79,p80). father(b80,b81). father(p80,p81). father(b81,b82). father(p81,p82). father(b82,b83). father(p82,p83). father(b83,b84). father(p83,p84). father(b84,b85). father(p84,p85). father(b85,b86). father(p85,p86). father(b86,b87). father(p86,p87). father(b87,b88). father(p87,p88). father(b88,b89). father(p88,p89). father(b89,b90). father(p89,p90). father(b90,b91). father(p90,p91). father(b91,b92). father(p91,p92). father(b92,b93). father(p92,p93). father(b93,b94). father(p93,p94). father(b94,b95). father(p94,p95). father(b95,b96). father(p95,p96). father(b96,b97). father(p96,p97). father(b97,b98). father(p97,p98). father(b98,b99). father(p98,p99). father(b99,b100). father(p99,p100). father(b100,b101). father(p100,p101). father(b101,b102). father(p101,p102). father(b102,b103). father(p102,p103). father(b103,b104). father(p103,p104). father(b104,b105). father(p104,p105). father(b105,b106). father(p105,p106). father(b106,b107). father(p106,p107). father(b107,b108). father(p107,p108). father(b108,b109). father(p108,p109). father(b109,b110). father(p109,p110). father(b110,b111). father(p110,p111). father(b111,b112). father(p111,p112). father(b112,b113). father(p112,p113). father(b113,b114). father(p113,p114). father(b114,b115). father(p114,p115). father(b115,b116). father(p115,p116). father(b116,b117). father(p116,p117). father(b117,b118). father(p117,p118). father(b118,b119). father(p118,p119). father(b119,b120). father(p119,p120). father(b120,b121). father(p120,p121). father(b121,b122). father(p121,p122). father(b122,b123). father(p122,p123). father(b123,b124). father(p123,p124). father(b124,b125). father(p124,p125). father(b125,b126). father(p125,p126). father(b126,b127). father(p126,p127). father(b127,b128). father(p127,p128). father(b128,b129). father(p128,p129). father(b129,b130). father(p129,p130). father(b130,b131). father(p130,p131). father(b131,b132). father(p131,p132). father(b132,b133). father(p132,p133). father(b133,b134). father(p133,p134). father(b134,b135). father(p134,p135). father(b135,b136). father(p135,p136). father(b136,b137). father(p136,p137). father(b137,b138). father(p137,p138). father(b138,b139). father(p138,p139). father(b139,b140). father(p139,p140). father(b140,b141). father(p140,p141). father(b141,b142). father(p141,p142). father(b142,b143). father(p142,p143). father(b143,b144). father(p143,p144). father(b144,b145). father(p144,p145). father(b145,b146). father(p145,p146). father(b146,b147). father(p146,p147). father(b147,b148). father(p147,p148). father(b148,b149). father(p148,p149). father(b149,b150). father(p149,p150). father(b150,b151). father(p150,p151). father(b151,b152). father(p151,p152). father(b152,b153). father(p152,p153). father(b153,b154). father(p153,p154). father(b154,b155). father(p154,p155). father(b155,b156). father(p155,p156). father(b156,b157). father(p156,p157). father(b157,b158). father(p157,p158). father(b158,b159). father(p158,p159). father(b159,b160). father(p159,p160). father(b160,b161). father(p160,p161). father(b161,b162). father(p161,p162). father(b162,b163). father(p162,p163). father(b163,b164). father(p163,p164). father(b164,b165). father(p164,p165). father(b165,b166). father(p165,p166). father(b166,b167). father(p166,p167). father(b167,b168). father(p167,p168). father(b168,b169). father(p168,p169). father(b169,b170). father(p169,p170). father(b170,b171). father(p170,p171). father(b171,b172). father(p171,p172). father(b172,b173). father(p172,p173). father(b173,b174). father(p173,p174). father(b174,b175). father(p174,p175). father(b175,b176). father(p175,p176). father(b176,b177). father(p176,p177). father(b177,b178). father(p177,p178). father(b178,b179). father(p178,p179). father(b179,b180). father(p179,p180). father(b180,b181). father(p180,p181). father(b181,b182). father(p181,p182). father(b182,b183). father(p182,p183). father(b183,b184). father(p183,p184). father(b184,b185). father(p184,p185). father(b185,b186). father(p185,p186). father(b186,b187). father(p186,p187). father(b187,b188). father(p187,p188). father(b188,b189). father(p188,p189). father(b189,b190). father(p189,p190). father(b190,b191). father(p190,p191). father(b191,b192). father(p191,p192). father(b192,b193). father(p192,p193). father(b193,b194). father(p193,p194). father(b194,b195). father(p194,p195). father(b195,b196). father(p195,p196). father(b196,b197). father(p196,p197). father(b197,b198). father(p197,p198). father(b198,b199). father(p198,p199). father(b199,b200). father(p199,p200). father(b200,b201). father(p200,p201). father(b201,b202). father(p201,p202). father(b202,b203). father(p202,p203). father(b203,b204). father(p203,p204). father(b204,b205). father(p204,p205). father(b205,b206). father(p205,p206). father(b206,b207). father(p206,p207). father(b207,b208). father(p207,p208). father(b208,b209). father(p208,p209). father(b209,b210). father(p209,p210). father(b210,b211). father(p210,p211). father(b211,b212). father(p211,p212). father(b212,b213). father(p212,p213). father(b213,b214). father(p213,p214). father(b214,b215). father(p214,p215). father(b215,b216). father(p215,p216). father(b216,b217). father(p216,p217). father(b217,b218). father(p217,p218). father(b218,b219). father(p218,p219). father(b219,b220). father(p219,p220). father(b220,b221). father(p220,p221). father(b221,b222). father(p221,p222). father(b222,b223). father(p222,p223). father(b223,b224). father(p223,p224). father(b224,b225). father(p224,p225). father(b225,b226). father(p225,p226). father(b226,b227). father(p226,p227). father(b227,b228). father(p227,p228). father(b228,b229). father(p228,p229). father(b229,b230). father(p229,p230). father(b230,b231). father(p230,p231). father(b231,b232). father(p231,p232). father(b232,b233). father(p232,p233). father(b233,b234). father(p233,p234). father(b234,b235). father(p234,p235). father(b235,b236). father(p235,p236). father(b236,b237). father(p236,p237). father(b237,b238). father(p237,p238). father(b238,b239). father(p238,p239). father(b239,b240). father(p239,p240). father(b240,b241). father(p240,p241). father(b241,b242). father(p241,p242). father(b242,b243). father(p242,p243). father(b243,b244). father(p243,p244). father(b244,b245). father(p244,p245). father(b245,b246). father(p245,p246). father(b246,b247). father(p246,p247). father(b247,b248). father(p247,p248). father(b248,b249). father(p248,p249). father(b249,b250). father(p249,p250). father(b250,b251). father(p250,p251). father(b251,b252). father(p251,p252). father(b252,b253). father(p252,p253). father(b253,b254). father(p253,p254). father(b254,b255). father(p254,p255). father(b255,b256). father(p255,p256). father(b256,b257). father(p256,p257). father(b257,b258). father(p257,p258). father(b258,b259). father(p258,p259). father(b259,b260). father(p259,p260). father(b260,b261). father(p260,p261). father(b261,b262). father(p261,p262). father(b262,b263). father(p262,p263). father(b263,b264). father(p263,p264). father(b264,b265). father(p264,p265). father(b265,b266). father(p265,p266). father(b266,b267). father(p266,p267). father(b267,b268). father(p267,p268). father(b268,b269). father(p268,p269). father(b269,b270). father(p269,p270). father(b270,b271). father(p270,p271). father(b271,b272). father(p271,p272). father(b272,b273). father(p272,p273). father(b273,b274). father(p273,p274). father(b274,b275). father(p274,p275). father(b275,b276). father(p275,p276). father(b276,b277). father(p276,p277). father(b277,b278). father(p277,p278). father(b278,b279). father(p278,p279). father(b279,b280). father(p279,p280). father(b280,b281). father(p280,p281). father(b281,b282). father(p281,p282). father(b282,b283). father(p282,p283). father(b283,b284). father(p283,p284). father(b284,b285). father(p284,p285). father(b285,b286). father(p285,p286). father(b286,b287). father(p286,p287). father(b287,b288). father(p287,p288). father(b288,b289). father(p288,p289). father(b289,b290). father(p289,p290). father(b290,b291). father(p290,p291). father(b291,b292). father(p291,p292). father(b292,b293). father(p292,p293). father(b293,b294). father(p293,p294). father(b294,b295). father(p294,p295). father(b295,b296). father(p295,p296). father(b296,b297). father(p296,p297). father(b297,b298). father(p297,p298). father(b298,b299). father(p298,p299). father(b299,b300). father(p299,p300). father(b300,b301). father(p300,p301). father(b301,b302). father(p301,p302). father(b302,b303). father(p302,p303). father(b303,b304). father(p303,p304). father(b304,b305). father(p304,p305). father(b305,b306). father(p305,p306). father(b306,b307). father(p306,p307). father(b307,b308). father(p307,p308). father(b308,b309). father(p308,p309). father(b309,b310). father(p309,p310). father(b310,b311). father(p310,p311). father(b311,b312). father(p311,p312). father(b312,b313). father(p312,p313). father(b313,b314). father(p313,p314). father(b314,b315). father(p314,p315). father(b315,b316). father(p315,p316). father(b316,b317). father(p316,p317). father(b317,b318). father(p317,p318). father(b318,b319). father(p318,p319). father(b319,b320). father(p319,p320). father(b320,b321). father(p320,p321). father(b321,b322). father(p321,p322). father(b322,b323). father(p322,p323). father(b323,b324). father(p323,p324). father(b324,b325). father(p324,p325). father(b325,b326). father(p325,p326). father(b326,b327). father(p326,p327). father(b327,b328). father(p327,p328). father(b328,b329). father(p328,p329). father(b329,b330). father(p329,p330). father(b330,b331). father(p330,p331). father(b331,b332). father(p331,p332). father(b332,b333). father(p332,p333). father(b333,b334). father(p333,p334). father(b334,b335). father(p334,p335). father(b335,b336). father(p335,p336). father(b336,b337). father(p336,p337). father(b337,b338). father(p337,p338). father(b338,b339). father(p338,p339). father(b339,b340). father(p339,p340). father(b340,b341). father(p340,p341). father(b341,b342). father(p341,p342). father(b342,b343). father(p342,p343). father(b343,b344). father(p343,p344). father(b344,b345). father(p344,p345). father(b345,b346). father(p345,p346). father(b346,b347). father(p346,p347). father(b347,b348). father(p347,p348). father(b348,b349). father(p348,p349). father(b349,b350). father(p349,p350). father(b350,b351). father(p350,p351). father(b351,b352). father(p351,p352). father(b352,b353). father(p352,p353). father(b353,b354). father(p353,p354). father(b354,b355). father(p354,p355). father(b355,b356). father(p355,p356). father(b356,b357). father(p356,p357). father(b357,b358). father(p357,p358). father(b358,b359). father(p358,p359). father(b359,b360). father(p359,p360). father(b360,b361). father(p360,p361). father(b361,b362). father(p361,p362). father(b362,b363). father(p362,p363). father(b363,b364). father(p363,p364). father(b364,b365). father(p364,p365). father(b365,b366). father(p365,p366). father(b366,b367). father(p366,p367). father(b367,b368). father(p367,p368). father(b368,b369). father(p368,p369). father(b369,b370). father(p369,p370). father(b370,b371). father(p370,p371). father(b371,b372). father(p371,p372). father(b372,b373). father(p372,p373). father(b373,b374). father(p373,p374). father(b374,b375). father(p374,p375). father(b375,b376). father(p375,p376). father(b376,b377). father(p376,p377). father(b377,b378). father(p377,p378). father(b378,b379). father(p378,p379). father(b379,b380). father(p379,p380). father(b380,b381). father(p380,p381). father(b381,b382). father(p381,p382). father(b382,b383). father(p382,p383). father(b383,b384). father(p383,p384). father(b384,b385). father(p384,p385). father(b385,b386). father(p385,p386). father(b386,b387). father(p386,p387). father(b387,b388). father(p387,p388). father(b388,b389). father(p388,p389). father(b389,b390). father(p389,p390). father(b390,b391). father(p390,p391). father(b391,b392). father(p391,p392). father(b392,b393). father(p392,p393). father(b393,b394). father(p393,p394). father(b394,b395). father(p394,p395). father(b395,b396). father(p395,p396). father(b396,b397). father(p396,p397). father(b397,b398). father(p397,p398). father(b398,b399). father(p398,p399). father(b399,b400). father(p399,p400). father(b400,b401). father(p400,p401). father(b401,b402). father(p401,p402). father(b402,b403). father(p402,p403). father(b403,b404). father(p403,p404). father(b404,b405). father(p404,p405). father(b405,b406). father(p405,p406). father(b406,b407). father(p406,p407). father(b407,b408). father(p407,p408). father(b408,b409). father(p408,p409). father(b409,b410). father(p409,p410). father(b410,b411). father(p410,p411). father(b411,b412). father(p411,p412). father(b412,b413). father(p412,p413). father(b413,b414). father(p413,p414). father(b414,b415). father(p414,p415). father(b415,b416). father(p415,p416). father(b416,b417). father(p416,p417). father(b417,b418). father(p417,p418). father(b418,b419). father(p418,p419). father(b419,b420). father(p419,p420). father(b420,b421). father(p420,p421). father(b421,b422). father(p421,p422). father(b422,b423). father(p422,p423). father(b423,b424). father(p423,p424). father(b424,b425). father(p424,p425). father(b425,b426). father(p425,p426). father(b426,b427). father(p426,p427). father(b427,b428). father(p427,p428). father(b428,b429). father(p428,p429). father(b429,b430). father(p429,p430). father(b430,b431). father(p430,p431). father(b431,b432). father(p431,p432). father(b432,b433). father(p432,p433). father(b433,b434). father(p433,p434). father(b434,b435). father(p434,p435). father(b435,b436). father(p435,p436). father(b436,b437). father(p436,p437). father(b437,b438). father(p437,p438). father(b438,b439). father(p438,p439). father(b439,b440). father(p439,p440). father(b440,b441). father(p440,p441). father(b441,b442). father(p441,p442). father(b442,b443). father(p442,p443). father(b443,b444). father(p443,p444). father(b444,b445). father(p444,p445). father(b445,b446). father(p445,p446). father(b446,b447). father(p446,p447). father(b447,b448). father(p447,p448). father(b448,b449). father(p448,p449). father(b449,b450). father(p449,p450). father(b450,b451). father(p450,p451). father(b451,b452). father(p451,p452). father(b452,b453). father(p452,p453). father(b453,b454). father(p453,p454). father(b454,b455). father(p454,p455). father(b455,b456). father(p455,p456). father(b456,b457). father(p456,p457). father(b457,b458). father(p457,p458). father(b458,b459). father(p458,p459). father(b459,b460). father(p459,p460). father(b460,b461). father(p460,p461). father(b461,b462). father(p461,p462). father(b462,b463). father(p462,p463). father(b463,b464). father(p463,p464). father(b464,b465). father(p464,p465). father(b465,b466). father(p465,p466). father(b466,b467). father(p466,p467). father(b467,b468). father(p467,p468). father(b468,b469). father(p468,p469). father(b469,b470). father(p469,p470). father(b470,b471). father(p470,p471). father(b471,b472). father(p471,p472). father(b472,b473). father(p472,p473). father(b473,b474). father(p473,p474). father(b474,b475). father(p474,p475). father(b475,b476). father(p475,p476). father(b476,b477). father(p476,p477). father(b477,b478). father(p477,p478). father(b478,b479). father(p478,p479). father(b479,b480). father(p479,p480). father(b480,b481). father(p480,p481). father(b481,b482). father(p481,p482). father(b482,b483). father(p482,p483). father(b483,b484). father(p483,p484). father(b484,b485). father(p484,p485). father(b485,b486). father(p485,p486). father(b486,b487). father(p486,p487). father(b487,b488). father(p487,p488). father(b488,b489). father(p488,p489). father(b489,b490). father(p489,p490). father(b490,b491). father(p490,p491). father(b491,b492). father(p491,p492). father(b492,b493). father(p492,p493). father(b493,b494). father(p493,p494). father(b494,b495). father(p494,p495). father(b495,b496). father(p495,p496). father(b496,b497). father(p496,p497). father(b497,b498). father(p497,p498). father(b498,b499). father(p498,p499). father(b499,b500). father(p499,p500). father(b500,b501). father(p500,p501). father(b501,b502). father(p501,p502). father(b502,b503). father(p502,p503). father(b503,b504). father(p503,p504). father(b504,b505). father(p504,p505). father(b505,b506). father(p505,p506). father(b506,b507). father(p506,p507). father(b507,b508). father(p507,p508). father(b508,b509). father(p508,p509). father(b509,b510). father(p509,p510). father(b510,b511). father(p510,p511). father(b511,b512). father(p511,p512). father(b512,b513). father(p512,p513). father(b513,b514). father(p513,p514). father(b514,b515). father(p514,p515). father(b515,b516). father(p515,p516). father(b516,b517). father(p516,p517). father(b517,b518). father(p517,p518). father(b518,b519). father(p518,p519). father(b519,b520). father(p519,p520). father(b520,b521). father(p520,p521). father(b521,b522). father(p521,p522). father(b522,b523). father(p522,p523). father(b523,b524). father(p523,p524). father(b524,b525). father(p524,p525). father(b525,b526). father(p525,p526). father(b526,b527). father(p526,p527). father(b527,b528). father(p527,p528). father(b528,b529). father(p528,p529). father(b529,b530). father(p529,p530). father(b530,b531). father(p530,p531). father(b531,b532). father(p531,p532). father(b532,b533). father(p532,p533). father(b533,b534). father(p533,p534). father(b534,b535). father(p534,p535). father(b535,b536). father(p535,p536). father(b536,b537). father(p536,p537). father(b537,b538). father(p537,p538). father(b538,b539). father(p538,p539). father(b539,b540). father(p539,p540). father(b540,b541). father(p540,p541). father(b541,b542). father(p541,p542). father(b542,b543). father(p542,p543). father(b543,b544). father(p543,p544). father(b544,b545). father(p544,p545). father(b545,b546). father(p545,p546). father(b546,b547). father(p546,p547). father(b547,b548). father(p547,p548). father(b548,b549). father(p548,p549). father(b549,b550). father(p549,p550). father(b550,b551). father(p550,p551). father(b551,b552). father(p551,p552). father(b552,b553). father(p552,p553). father(b553,b554). father(p553,p554). father(b554,b555). father(p554,p555). father(b555,b556). father(p555,p556). father(b556,b557). father(p556,p557). father(b557,b558). father(p557,p558). father(b558,b559). father(p558,p559). father(b559,b560). father(p559,p560). father(b560,b561). father(p560,p561). father(b561,b562). father(p561,p562). father(b562,b563). father(p562,p563). father(b563,b564). father(p563,p564). father(b564,b565). father(p564,p565). father(b565,b566). father(p565,p566). father(b566,b567). father(p566,p567). father(b567,b568). father(p567,p568). father(b568,b569). father(p568,p569). father(b569,b570). father(p569,p570). father(b570,b571). father(p570,p571). father(b571,b572). father(p571,p572). father(b572,b573). father(p572,p573). father(b573,b574). father(p573,p574). father(b574,b575). father(p574,p575). father(b575,b576). father(p575,p576). father(b576,b577). father(p576,p577). father(b577,b578). father(p577,p578). father(b578,b579). father(p578,p579). father(b579,b580). father(p579,p580). father(b580,b581). father(p580,p581). father(b581,b582). father(p581,p582). father(b582,b583). father(p582,p583). father(b583,b584). father(p583,p584). father(b584,b585). father(p584,p585). father(b585,b586). father(p585,p586). father(b586,b587). father(p586,p587). father(b587,b588). father(p587,p588). father(b588,b589). father(p588,p589). father(b589,b590). father(p589,p590). father(b590,b591). father(p590,p591). father(b591,b592). father(p591,p592). father(b592,b593). father(p592,p593). father(b593,b594). father(p593,p594). father(b594,b595). father(p594,p595). father(b595,b596). father(p595,p596). father(b596,b597). father(p596,p597). father(b597,b598). father(p597,p598). father(b598,b599). father(p598,p599). father(b599,b600). father(p599,p600). father(b600,b601). father(p600,p601). father(b601,b602). father(p601,p602). father(b602,b603). father(p602,p603). father(b603,b604). father(p603,p604). father(b604,b605). father(p604,p605). father(b605,b606). father(p605,p606). father(b606,b607). father(p606,p607). father(b607,b608). father(p607,p608). father(b608,b609). father(p608,p609). father(b609,b610). father(p609,p610). father(b610,b611). father(p610,p611). father(b611,b612). father(p611,p612). father(b612,b613). father(p612,p613). father(b613,b614). father(p613,p614). father(b614,b615). father(p614,p615). father(b615,b616). father(p615,p616). father(b616,b617). father(p616,p617). father(b617,b618). father(p617,p618). father(b618,b619). father(p618,p619). father(b619,b620). father(p619,p620). father(b620,b621). father(p620,p621). father(b621,b622). father(p621,p622). father(b622,b623). father(p622,p623). father(b623,b624). father(p623,p624). father(b624,b625). father(p624,p625). father(b625,b626). father(p625,p626). father(b626,b627). father(p626,p627). father(b627,b628). father(p627,p628). father(b628,b629). father(p628,p629). father(b629,b630). father(p629,p630). father(b630,b631). father(p630,p631). father(b631,b632). father(p631,p632). father(b632,b633). father(p632,p633). father(b633,b634). father(p633,p634). father(b634,b635). father(p634,p635). father(b635,b636). father(p635,p636). father(b636,b637). father(p636,p637). father(b637,b638). father(p637,p638). father(b638,b639). father(p638,p639). father(b639,b640). father(p639,p640). father(b640,b641). father(p640,p641). father(b641,b642). father(p641,p642). father(b642,b643). father(p642,p643). father(b643,b644). father(p643,p644). father(b644,b645). father(p644,p645). father(b645,b646). father(p645,p646). father(b646,b647). father(p646,p647). father(b647,b648). father(p647,p648). father(b648,b649). father(p648,p649). father(b649,b650). father(p649,p650). father(b650,b651). father(p650,p651). father(b651,b652). father(p651,p652). father(b652,b653). father(p652,p653). father(b653,b654). father(p653,p654). father(b654,b655). father(p654,p655). father(b655,b656). father(p655,p656). father(b656,b657). father(p656,p657). father(b657,b658). father(p657,p658). father(b658,b659). father(p658,p659). father(b659,b660). father(p659,p660). father(b660,b661). father(p660,p661). father(b661,b662). father(p661,p662). father(b662,b663). father(p662,p663). father(b663,b664). father(p663,p664). father(b664,b665). father(p664,p665). father(b665,b666). father(p665,p666). father(b666,b667). father(p666,p667). father(b667,b668). father(p667,p668). father(b668,b669). father(p668,p669). father(b669,b670). father(p669,p670). father(b670,b671). father(p670,p671). father(b671,b672). father(p671,p672). father(b672,b673). father(p672,p673). father(b673,b674). father(p673,p674). father(b674,b675). father(p674,p675). father(b675,b676). father(p675,p676). father(b676,b677). father(p676,p677). father(b677,b678). father(p677,p678). father(b678,b679). father(p678,p679). father(b679,b680). father(p679,p680). father(b680,b681). father(p680,p681). father(b681,b682). father(p681,p682). father(b682,b683). father(p682,p683). father(b683,b684). father(p683,p684). father(b684,b685). father(p684,p685). father(b685,b686). father(p685,p686). father(b686,b687). father(p686,p687). father(b687,b688). father(p687,p688). father(b688,b689). father(p688,p689). father(b689,b690). father(p689,p690). father(b690,b691). father(p690,p691). father(b691,b692). father(p691,p692). father(b692,b693). father(p692,p693). father(b693,b694). father(p693,p694). father(b694,b695). father(p694,p695). father(b695,b696). father(p695,p696). father(b696,b697). father(p696,p697). father(b697,b698). father(p697,p698). father(b698,b699). father(p698,p699). father(b699,b700). father(p699,p700). father(b700,b701). father(p700,p701). father(b701,b702). father(p701,p702). father(b702,b703). father(p702,p703). father(b703,b704). father(p703,p704). father(b704,b705). father(p704,p705). father(b705,b706). father(p705,p706). father(b706,b707). father(p706,p707). father(b707,b708). father(p707,p708). father(b708,b709). father(p708,p709). father(b709,b710). father(p709,p710). father(b710,b711). father(p710,p711). father(b711,b712). father(p711,p712). father(b712,b713). father(p712,p713). father(b713,b714). father(p713,p714). father(b714,b715). father(p714,p715). father(b715,b716). father(p715,p716). father(b716,b717). father(p716,p717). father(b717,b718). father(p717,p718). father(b718,b719). father(p718,p719). father(b719,b720). father(p719,p720). father(b720,b721). father(p720,p721). father(b721,b722). father(p721,p722). father(b722,b723). father(p722,p723). father(b723,b724). father(p723,p724). father(b724,b725). father(p724,p725). father(b725,b726). father(p725,p726). father(b726,b727). father(p726,p727). father(b727,b728). father(p727,p728). father(b728,b729). father(p728,p729). father(b729,b730). father(p729,p730). father(b730,b731). father(p730,p731). father(b731,b732). father(p731,p732). father(b732,b733). father(p732,p733). father(b733,b734). father(p733,p734). father(b734,b735). father(p734,p735). father(b735,b736). father(p735,p736). father(b736,b737). father(p736,p737). father(b737,b738). father(p737,p738). father(b738,b739). father(p738,p739). father(b739,b740). father(p739,p740). father(b740,b741). father(p740,p741). father(b741,b742). father(p741,p742). father(b742,b743). father(p742,p743). father(b743,b744). father(p743,p744). father(b744,b745). father(p744,p745). father(b745,b746). father(p745,p746). father(b746,b747). father(p746,p747). father(b747,b748). father(p747,p748). father(b748,b749). father(p748,p749). father(b749,b750). father(p749,p750). father(b750,b751). father(p750,p751). father(b751,b752). father(p751,p752). father(b752,b753). father(p752,p753). father(b753,b754). father(p753,p754). father(b754,b755). father(p754,p755). father(b755,b756). father(p755,p756). father(b756,b757). father(p756,p757). father(b757,b758). father(p757,p758). father(b758,b759). father(p758,p759). father(b759,b760). father(p759,p760). father(b760,b761). father(p760,p761). father(b761,b762). father(p761,p762). father(b762,b763). father(p762,p763). father(b763,b764). father(p763,p764). father(b764,b765). father(p764,p765). father(b765,b766). father(p765,p766). father(b766,b767). father(p766,p767). father(b767,b768). father(p767,p768). father(b768,b769). father(p768,p769). father(b769,b770). father(p769,p770). father(b770,b771). father(p770,p771). father(b771,b772). father(p771,p772). father(b772,b773). father(p772,p773). father(b773,b774). father(p773,p774). father(b774,b775). father(p774,p775). father(b775,b776). father(p775,p776). father(b776,b777). father(p776,p777). father(b777,b778). father(p777,p778). father(b778,b779). father(p778,p779). father(b779,b780). father(p779,p780). father(b780,b781). father(p780,p781). father(b781,b782). father(p781,p782). father(b782,b783). father(p782,p783). father(b783,b784). father(p783,p784). father(b784,b785). father(p784,p785). father(b785,b786). father(p785,p786). father(b786,b787). father(p786,p787). father(b787,b788). father(p787,p788). father(b788,b789). father(p788,p789). father(b789,b790). father(p789,p790). father(b790,b791). father(p790,p791). father(b791,b792). father(p791,p792). father(b792,b793). father(p792,p793). father(b793,b794). father(p793,p794). father(b794,b795). father(p794,p795). father(b795,b796). father(p795,p796). father(b796,b797). father(p796,p797). father(b797,b798). father(p797,p798). father(b798,b799). father(p798,p799). father(b799,b800). father(p799,p800). father(b800,b801). father(p800,p801). father(b801,b802). father(p801,p802). father(b802,b803). father(p802,p803). father(b803,b804). father(p803,p804). father(b804,b805). father(p804,p805). father(b805,b806). father(p805,p806). father(b806,b807). father(p806,p807). father(b807,b808). father(p807,p808). father(b808,b809). father(p808,p809). father(b809,b810). father(p809,p810). father(b810,b811). father(p810,p811). father(b811,b812). father(p811,p812). father(b812,b813). father(p812,p813). father(b813,b814). father(p813,p814). father(b814,b815). father(p814,p815). father(b815,b816). father(p815,p816). father(b816,b817). father(p816,p817). father(b817,b818). father(p817,p818). father(b818,b819). father(p818,p819). father(b819,b820). father(p819,p820). father(b820,b821). father(p820,p821). father(b821,b822). father(p821,p822). father(b822,b823). father(p822,p823). father(b823,b824). father(p823,p824). father(b824,b825). father(p824,p825). father(b825,b826). father(p825,p826). father(b826,b827). father(p826,p827). father(b827,b828). father(p827,p828). father(b828,b829). father(p828,p829). father(b829,b830). father(p829,p830). father(b830,b831). father(p830,p831). father(b831,b832). father(p831,p832). father(b832,b833). father(p832,p833). father(b833,b834). father(p833,p834). father(b834,b835). father(p834,p835). father(b835,b836). father(p835,p836). father(b836,b837). father(p836,p837). father(b837,b838). father(p837,p838). father(b838,b839). father(p838,p839). father(b839,b840). father(p839,p840). father(b840,b841). father(p840,p841). father(b841,b842). father(p841,p842). father(b842,b843). father(p842,p843). father(b843,b844). father(p843,p844). father(b844,b845). father(p844,p845). father(b845,b846). father(p845,p846). father(b846,b847). father(p846,p847). father(b847,b848). father(p847,p848). father(b848,b849). father(p848,p849). father(b849,b850). father(p849,p850). father(b850,b851). father(p850,p851). father(b851,b852). father(p851,p852). father(b852,b853). father(p852,p853). father(b853,b854). father(p853,p854). father(b854,b855). father(p854,p855). father(b855,b856). father(p855,p856). father(b856,b857). father(p856,p857). father(b857,b858). father(p857,p858). father(b858,b859). father(p858,p859). father(b859,b860). father(p859,p860). father(b860,b861). father(p860,p861). father(b861,b862). father(p861,p862). father(b862,b863). father(p862,p863). father(b863,b864). father(p863,p864). father(b864,b865). father(p864,p865). father(b865,b866). father(p865,p866). father(b866,b867). father(p866,p867). father(b867,b868). father(p867,p868). father(b868,b869). father(p868,p869). father(b869,b870). father(p869,p870). father(b870,b871). father(p870,p871). father(b871,b872). father(p871,p872). father(b872,b873). father(p872,p873). father(b873,b874). father(p873,p874). father(b874,b875). father(p874,p875). father(b875,b876). father(p875,p876). father(b876,b877). father(p876,p877). father(b877,b878). father(p877,p878). father(b878,b879). father(p878,p879). father(b879,b880). father(p879,p880). father(b880,b881). father(p880,p881). father(b881,b882). father(p881,p882). father(b882,b883). father(p882,p883). father(b883,b884). father(p883,p884). father(b884,b885). father(p884,p885). father(b885,b886). father(p885,p886). father(b886,b887). father(p886,p887). father(b887,b888). father(p887,p888). father(b888,b889). father(p888,p889). father(b889,b890). father(p889,p890). father(b890,b891). father(p890,p891). father(b891,b892). father(p891,p892). father(b892,b893). father(p892,p893). father(b893,b894). father(p893,p894). father(b894,b895). father(p894,p895). father(b895,b896). father(p895,p896). father(b896,b897). father(p896,p897). father(b897,b898). father(p897,p898). father(b898,b899). father(p898,p899). father(b899,b900). father(p899,p900). father(b900,b901). father(p900,p901). father(b901,b902). father(p901,p902). father(b902,b903). father(p902,p903). father(b903,b904). father(p903,p904). father(b904,b905). father(p904,p905). father(b905,b906). father(p905,p906). father(b906,b907). father(p906,p907). father(b907,b908). father(p907,p908). father(b908,b909). father(p908,p909). father(b909,b910). father(p909,p910). father(b910,b911). father(p910,p911). father(b911,b912). father(p911,p912). father(b912,b913). father(p912,p913). father(b913,b914). father(p913,p914). father(b914,b915). father(p914,p915). father(b915,b916). father(p915,p916). father(b916,b917). father(p916,p917). father(b917,b918). father(p917,p918). father(b918,b919). father(p918,p919). father(b919,b920). father(p919,p920). father(b920,b921). father(p920,p921). father(b921,b922). father(p921,p922). father(b922,b923). father(p922,p923). father(b923,b924). father(p923,p924). father(b924,b925). father(p924,p925). father(b925,b926). father(p925,p926). father(b926,b927). father(p926,p927). father(b927,b928). father(p927,p928). father(b928,b929). father(p928,p929). father(b929,b930). father(p929,p930). father(b930,b931). father(p930,p931). father(b931,b932). father(p931,p932). father(b932,b933). father(p932,p933). father(b933,b934). father(p933,p934). father(b934,b935). father(p934,p935). father(b935,b936). father(p935,p936). father(b936,b937). father(p936,p937). father(b937,b938). father(p937,p938). father(b938,b939). father(p938,p939). father(b939,b940). father(p939,p940). father(b940,b941). father(p940,p941). father(b941,b942). father(p941,p942). father(b942,b943). father(p942,p943). father(b943,b944). father(p943,p944). father(b944,b945). father(p944,p945). father(b945,b946). father(p945,p946). father(b946,b947). father(p946,p947). father(b947,b948). father(p947,p948). father(b948,b949). father(p948,p949). father(b949,b950). father(p949,p950). father(b950,b951). father(p950,p951). father(b951,b952). father(p951,p952). father(b952,b953). father(p952,p953). father(b953,b954). father(p953,p954). father(b954,b955). father(p954,p955). father(b955,b956). father(p955,p956). father(b956,b957). father(p956,p957). father(b957,b958). father(p957,p958). father(b958,b959). father(p958,p959). father(b959,b960). father(p959,p960). father(b960,b961). father(p960,p961). father(b961,b962). father(p961,p962). father(b962,b963). father(p962,p963). father(b963,b964). father(p963,p964). father(b964,b965). father(p964,p965). father(b965,b966). father(p965,p966). father(b966,b967). father(p966,p967). father(b967,b968). father(p967,p968). father(b968,b969). father(p968,p969). father(b969,b970). father(p969,p970). father(b970,b971). father(p970,p971). father(b971,b972). father(p971,p972). father(b972,b973). father(p972,p973). father(b973,b974). father(p973,p974). father(b974,b975). father(p974,p975). father(b975,b976). father(p975,p976). father(b976,b977). father(p976,p977). father(b977,b978). father(p977,p978). father(b978,b979). father(p978,p979). father(b979,b980). father(p979,p980). father(b980,b981). father(p980,p981). father(b981,b982). father(p981,p982). father(b982,b983). father(p982,p983). father(b983,b984). father(p983,p984). father(b984,b985). father(p984,p985). father(b985,b986). father(p985,p986). father(b986,b987). father(p986,p987). father(b987,b988). father(p987,p988). father(b988,b989). father(p988,p989). father(b989,b990). father(p989,p990). father(b990,b991). father(p990,p991). father(b991,b992). father(p991,p992). father(b992,b993). father(p992,p993). father(b993,b994). father(p993,p994). father(b994,b995). father(p994,p995). father(b995,b996). father(p995,p996). father(b996,b997). father(p996,p997). father(b997,b998). father(p997,p998). father(b998,b999). father(p998,p999). father(b999,b1000). father(p999,p1000). bird(b1). penguin(p1). bird(X) :- penguin(X). flies(X) :- bird(X), not -flies(X). -flies(X) :- penguin(X). % dlv solves in ca 1 minute anc(X,Y):- father(X,Y). anc(X,Y) :- anc(X,Z), anc(Z,Y). penguin(X):- anc(Y,X), penguin(Y). %bird(X):- anc(Y,X), bird(Y). % nflies(X) :- -flies(X). % nflies(p1) ? flies(b1) ?