Please wait ...

Benchmark(s) have been added to cart.

Tag has been added.

• Login
• Links
• FAQs
• Contact

Navigation

• Instance
  • Show Instances
• Problem
  • Show Problems
• Show Tags
• Search
• Cart

Instance 60 generations

Name	60 generations
Classes	[Root]    Unclassified (3031)    SameGeneration (8)
Submitter	Martin Gebser
Author
Description	same generation
Created	2009-03-30 13:03
Modified	2008-11-29 00:06
Languages
Language Features
Compatible Encodings
Output Predicates
Tags:
Attributes
Content	parent(n0_0,n1_1). parent(n0_1,n1_0). parent(n0_1,n1_2). parent(n0_2,n1_1). parent(n0_2,n1_3). parent(n0_3,n1_2). parent(n0_3,n1_4). parent(n0_4,n1_3). parent(n0_4,n1_5). parent(n0_5,n1_4). parent(n0_5,n1_6). parent(n0_6,n1_5). parent(n0_6,n1_7). parent(n0_7,n1_6). parent(n0_7,n1_8). parent(n0_8,n1_7). parent(n0_8,n1_9). parent(n0_9,n1_8). parent(n0_9,n1_10). parent(n0_10,n1_9). parent(n0_10,n1_11). parent(n0_11,n1_10). parent(n0_11,n1_12). parent(n0_12,n1_11). parent(n0_12,n1_13). parent(n0_13,n1_12). parent(n0_13,n1_14). parent(n0_14,n1_13). parent(n0_14,n1_15). parent(n0_15,n1_14). parent(n0_15,n1_16). parent(n0_16,n1_15). parent(n0_16,n1_17). parent(n0_17,n1_16). parent(n0_17,n1_18). parent(n0_18,n1_17). parent(n0_18,n1_19). parent(n0_19,n1_18). parent(n0_19,n1_20). parent(n0_20,n1_19). parent(n0_20,n1_21). parent(n0_21,n1_20). parent(n0_21,n1_22). parent(n0_22,n1_21). parent(n0_22,n1_23). parent(n0_23,n1_22). parent(n0_23,n1_24). parent(n0_24,n1_23). parent(n0_24,n1_25). parent(n0_25,n1_24). parent(n0_25,n1_26). parent(n0_26,n1_25). parent(n0_26,n1_27). parent(n0_27,n1_26). parent(n0_27,n1_28). parent(n0_28,n1_27). parent(n0_28,n1_29). parent(n0_29,n1_28). parent(n0_29,n1_30). parent(n0_30,n1_29). parent(n0_30,n1_31). parent(n0_31,n1_30). parent(n0_31,n1_32). parent(n0_32,n1_31). parent(n0_32,n1_33). parent(n0_33,n1_32). parent(n0_33,n1_34). parent(n0_34,n1_33). parent(n0_34,n1_35). parent(n0_35,n1_34). parent(n0_35,n1_36). parent(n0_36,n1_35). parent(n0_36,n1_37). parent(n0_37,n1_36). parent(n0_37,n1_38). parent(n0_38,n1_37). parent(n0_38,n1_39). parent(n0_39,n1_38). parent(n0_39,n1_40). parent(n0_40,n1_39). parent(n0_40,n1_41). parent(n0_41,n1_40). parent(n0_41,n1_42). parent(n0_42,n1_41). parent(n0_42,n1_43). parent(n0_43,n1_42). parent(n0_43,n1_44). parent(n0_44,n1_43). parent(n0_44,n1_45). parent(n0_45,n1_44). parent(n0_45,n1_46). parent(n0_46,n1_45). parent(n0_46,n1_47). parent(n0_47,n1_46). parent(n0_47,n1_48). parent(n0_48,n1_47). parent(n0_48,n1_49). parent(n0_49,n1_48). parent(n0_49,n1_50). parent(n0_50,n1_49). parent(n0_50,n1_51). parent(n0_51,n1_50). parent(n0_51,n1_52). parent(n0_52,n1_51). parent(n0_52,n1_53). parent(n0_53,n1_52). parent(n0_53,n1_54). parent(n0_54,n1_53). parent(n0_54,n1_55). parent(n0_55,n1_54). parent(n0_55,n1_56). parent(n0_56,n1_55). parent(n0_56,n1_57). parent(n0_57,n1_56). parent(n0_57,n1_58). parent(n0_58,n1_57). parent(n0_58,n1_59). parent(n0_59,n1_58). parent(n1_0,n2_1). parent(n1_1,n2_0). parent(n1_1,n2_2). parent(n1_2,n2_1). parent(n1_2,n2_3). parent(n1_3,n2_2). parent(n1_3,n2_4). parent(n1_4,n2_3). parent(n1_4,n2_5). parent(n1_5,n2_4). parent(n1_5,n2_6). parent(n1_6,n2_5). parent(n1_6,n2_7). parent(n1_7,n2_6). parent(n1_7,n2_8). parent(n1_8,n2_7). parent(n1_8,n2_9). parent(n1_9,n2_8). parent(n1_9,n2_10). parent(n1_10,n2_9). parent(n1_10,n2_11). parent(n1_11,n2_10). parent(n1_11,n2_12). parent(n1_12,n2_11). parent(n1_12,n2_13). parent(n1_13,n2_12). parent(n1_13,n2_14). parent(n1_14,n2_13). parent(n1_14,n2_15). parent(n1_15,n2_14). parent(n1_15,n2_16). parent(n1_16,n2_15). parent(n1_16,n2_17). parent(n1_17,n2_16). parent(n1_17,n2_18). parent(n1_18,n2_17). parent(n1_18,n2_19). parent(n1_19,n2_18). parent(n1_19,n2_20). parent(n1_20,n2_19). parent(n1_20,n2_21). parent(n1_21,n2_20). parent(n1_21,n2_22). parent(n1_22,n2_21). parent(n1_22,n2_23). parent(n1_23,n2_22). parent(n1_23,n2_24). parent(n1_24,n2_23). parent(n1_24,n2_25). parent(n1_25,n2_24). parent(n1_25,n2_26). parent(n1_26,n2_25). parent(n1_26,n2_27). parent(n1_27,n2_26). parent(n1_27,n2_28). parent(n1_28,n2_27). parent(n1_28,n2_29). parent(n1_29,n2_28). parent(n1_29,n2_30). parent(n1_30,n2_29). parent(n1_30,n2_31). parent(n1_31,n2_30). parent(n1_31,n2_32). parent(n1_32,n2_31). parent(n1_32,n2_33). parent(n1_33,n2_32). parent(n1_33,n2_34). parent(n1_34,n2_33). parent(n1_34,n2_35). parent(n1_35,n2_34). parent(n1_35,n2_36). parent(n1_36,n2_35). parent(n1_36,n2_37). parent(n1_37,n2_36). parent(n1_37,n2_38). parent(n1_38,n2_37). parent(n1_38,n2_39). parent(n1_39,n2_38). parent(n1_39,n2_40). parent(n1_40,n2_39). parent(n1_40,n2_41). parent(n1_41,n2_40). parent(n1_41,n2_42). parent(n1_42,n2_41). parent(n1_42,n2_43). parent(n1_43,n2_42). parent(n1_43,n2_44). parent(n1_44,n2_43). parent(n1_44,n2_45). parent(n1_45,n2_44). parent(n1_45,n2_46). parent(n1_46,n2_45). parent(n1_46,n2_47). parent(n1_47,n2_46). parent(n1_47,n2_48). parent(n1_48,n2_47). parent(n1_48,n2_49). parent(n1_49,n2_48). parent(n1_49,n2_50). parent(n1_50,n2_49). parent(n1_50,n2_51). parent(n1_51,n2_50). parent(n1_51,n2_52). parent(n1_52,n2_51). parent(n1_52,n2_53). parent(n1_53,n2_52). parent(n1_53,n2_54). parent(n1_54,n2_53). parent(n1_54,n2_55). parent(n1_55,n2_54). parent(n1_55,n2_56). parent(n1_56,n2_55). parent(n1_56,n2_57). parent(n1_57,n2_56). parent(n1_57,n2_58). parent(n1_58,n2_57). parent(n1_58,n2_59). parent(n1_59,n2_58). parent(n2_0,n3_1). parent(n2_1,n3_0). parent(n2_1,n3_2). parent(n2_2,n3_1). parent(n2_2,n3_3). parent(n2_3,n3_2). parent(n2_3,n3_4). parent(n2_4,n3_3). parent(n2_4,n3_5). parent(n2_5,n3_4). parent(n2_5,n3_6). parent(n2_6,n3_5). parent(n2_6,n3_7). parent(n2_7,n3_6). parent(n2_7,n3_8). parent(n2_8,n3_7). parent(n2_8,n3_9). parent(n2_9,n3_8). parent(n2_9,n3_10). parent(n2_10,n3_9). parent(n2_10,n3_11). parent(n2_11,n3_10). parent(n2_11,n3_12). parent(n2_12,n3_11). parent(n2_12,n3_13). parent(n2_13,n3_12). parent(n2_13,n3_14). parent(n2_14,n3_13). parent(n2_14,n3_15). parent(n2_15,n3_14). parent(n2_15,n3_16). parent(n2_16,n3_15). parent(n2_16,n3_17). parent(n2_17,n3_16). parent(n2_17,n3_18). parent(n2_18,n3_17). parent(n2_18,n3_19). parent(n2_19,n3_18). parent(n2_19,n3_20). parent(n2_20,n3_19). parent(n2_20,n3_21). parent(n2_21,n3_20). parent(n2_21,n3_22). parent(n2_22,n3_21). parent(n2_22,n3_23). parent(n2_23,n3_22). parent(n2_23,n3_24). parent(n2_24,n3_23). parent(n2_24,n3_25). parent(n2_25,n3_24). parent(n2_25,n3_26). parent(n2_26,n3_25). parent(n2_26,n3_27). parent(n2_27,n3_26). parent(n2_27,n3_28). parent(n2_28,n3_27). parent(n2_28,n3_29). parent(n2_29,n3_28). parent(n2_29,n3_30). parent(n2_30,n3_29). parent(n2_30,n3_31). parent(n2_31,n3_30). parent(n2_31,n3_32). parent(n2_32,n3_31). parent(n2_32,n3_33). parent(n2_33,n3_32). parent(n2_33,n3_34). parent(n2_34,n3_33). parent(n2_34,n3_35). parent(n2_35,n3_34). parent(n2_35,n3_36). parent(n2_36,n3_35). parent(n2_36,n3_37). parent(n2_37,n3_36). parent(n2_37,n3_38). parent(n2_38,n3_37). parent(n2_38,n3_39). parent(n2_39,n3_38). parent(n2_39,n3_40). parent(n2_40,n3_39). parent(n2_40,n3_41). parent(n2_41,n3_40). parent(n2_41,n3_42). parent(n2_42,n3_41). parent(n2_42,n3_43). parent(n2_43,n3_42). parent(n2_43,n3_44). parent(n2_44,n3_43). parent(n2_44,n3_45). parent(n2_45,n3_44). parent(n2_45,n3_46). parent(n2_46,n3_45). parent(n2_46,n3_47). parent(n2_47,n3_46). parent(n2_47,n3_48). parent(n2_48,n3_47). parent(n2_48,n3_49). parent(n2_49,n3_48). parent(n2_49,n3_50). parent(n2_50,n3_49). parent(n2_50,n3_51). parent(n2_51,n3_50). parent(n2_51,n3_52). parent(n2_52,n3_51). parent(n2_52,n3_53). parent(n2_53,n3_52). parent(n2_53,n3_54). parent(n2_54,n3_53). parent(n2_54,n3_55). parent(n2_55,n3_54). parent(n2_55,n3_56). parent(n2_56,n3_55). parent(n2_56,n3_57). parent(n2_57,n3_56). parent(n2_57,n3_58). parent(n2_58,n3_57). parent(n2_58,n3_59). parent(n2_59,n3_58). parent(n3_0,n4_1). parent(n3_1,n4_0). parent(n3_1,n4_2). parent(n3_2,n4_1). parent(n3_2,n4_3). parent(n3_3,n4_2). parent(n3_3,n4_4). parent(n3_4,n4_3). parent(n3_4,n4_5). parent(n3_5,n4_4). parent(n3_5,n4_6). parent(n3_6,n4_5). parent(n3_6,n4_7). parent(n3_7,n4_6). parent(n3_7,n4_8). parent(n3_8,n4_7). parent(n3_8,n4_9). parent(n3_9,n4_8). parent(n3_9,n4_10). parent(n3_10,n4_9). parent(n3_10,n4_11). parent(n3_11,n4_10). parent(n3_11,n4_12). parent(n3_12,n4_11). parent(n3_12,n4_13). parent(n3_13,n4_12). parent(n3_13,n4_14). parent(n3_14,n4_13). parent(n3_14,n4_15). parent(n3_15,n4_14). parent(n3_15,n4_16). parent(n3_16,n4_15). parent(n3_16,n4_17). parent(n3_17,n4_16). parent(n3_17,n4_18). parent(n3_18,n4_17). parent(n3_18,n4_19). parent(n3_19,n4_18). parent(n3_19,n4_20). parent(n3_20,n4_19). parent(n3_20,n4_21). parent(n3_21,n4_20). parent(n3_21,n4_22). parent(n3_22,n4_21). parent(n3_22,n4_23). parent(n3_23,n4_22). parent(n3_23,n4_24). parent(n3_24,n4_23). parent(n3_24,n4_25). parent(n3_25,n4_24). parent(n3_25,n4_26). parent(n3_26,n4_25). parent(n3_26,n4_27). parent(n3_27,n4_26). parent(n3_27,n4_28). parent(n3_28,n4_27). parent(n3_28,n4_29). parent(n3_29,n4_28). parent(n3_29,n4_30). parent(n3_30,n4_29). parent(n3_30,n4_31). parent(n3_31,n4_30). parent(n3_31,n4_32). parent(n3_32,n4_31). parent(n3_32,n4_33). parent(n3_33,n4_32). parent(n3_33,n4_34). parent(n3_34,n4_33). parent(n3_34,n4_35). parent(n3_35,n4_34). parent(n3_35,n4_36). parent(n3_36,n4_35). parent(n3_36,n4_37). parent(n3_37,n4_36). parent(n3_37,n4_38). parent(n3_38,n4_37). parent(n3_38,n4_39). parent(n3_39,n4_38). parent(n3_39,n4_40). parent(n3_40,n4_39). parent(n3_40,n4_41). parent(n3_41,n4_40). parent(n3_41,n4_42). parent(n3_42,n4_41). parent(n3_42,n4_43). parent(n3_43,n4_42). parent(n3_43,n4_44). parent(n3_44,n4_43). parent(n3_44,n4_45). parent(n3_45,n4_44). parent(n3_45,n4_46). parent(n3_46,n4_45). parent(n3_46,n4_47). parent(n3_47,n4_46). parent(n3_47,n4_48). parent(n3_48,n4_47). parent(n3_48,n4_49). parent(n3_49,n4_48). parent(n3_49,n4_50). parent(n3_50,n4_49). parent(n3_50,n4_51). parent(n3_51,n4_50). parent(n3_51,n4_52). parent(n3_52,n4_51). parent(n3_52,n4_53). parent(n3_53,n4_52). parent(n3_53,n4_54). parent(n3_54,n4_53). parent(n3_54,n4_55). parent(n3_55,n4_54). parent(n3_55,n4_56). parent(n3_56,n4_55). parent(n3_56,n4_57). parent(n3_57,n4_56). parent(n3_57,n4_58). parent(n3_58,n4_57). parent(n3_58,n4_59). parent(n3_59,n4_58). parent(n4_0,n5_1). parent(n4_1,n5_0). parent(n4_1,n5_2). parent(n4_2,n5_1). parent(n4_2,n5_3). parent(n4_3,n5_2). parent(n4_3,n5_4). parent(n4_4,n5_3). parent(n4_4,n5_5). parent(n4_5,n5_4). parent(n4_5,n5_6). parent(n4_6,n5_5). parent(n4_6,n5_7). parent(n4_7,n5_6). parent(n4_7,n5_8). parent(n4_8,n5_7). parent(n4_8,n5_9). parent(n4_9,n5_8). parent(n4_9,n5_10). parent(n4_10,n5_9). parent(n4_10,n5_11). parent(n4_11,n5_10). parent(n4_11,n5_12). parent(n4_12,n5_11). parent(n4_12,n5_13). parent(n4_13,n5_12). parent(n4_13,n5_14). parent(n4_14,n5_13). parent(n4_14,n5_15). parent(n4_15,n5_14). parent(n4_15,n5_16). parent(n4_16,n5_15). parent(n4_16,n5_17). parent(n4_17,n5_16). parent(n4_17,n5_18). parent(n4_18,n5_17). parent(n4_18,n5_19). parent(n4_19,n5_18). parent(n4_19,n5_20). parent(n4_20,n5_19). parent(n4_20,n5_21). parent(n4_21,n5_20). parent(n4_21,n5_22). parent(n4_22,n5_21). parent(n4_22,n5_23). parent(n4_23,n5_22). parent(n4_23,n5_24). parent(n4_24,n5_23). parent(n4_24,n5_25). parent(n4_25,n5_24). parent(n4_25,n5_26). parent(n4_26,n5_25). parent(n4_26,n5_27). parent(n4_27,n5_26). parent(n4_27,n5_28). parent(n4_28,n5_27). parent(n4_28,n5_29). parent(n4_29,n5_28). parent(n4_29,n5_30). parent(n4_30,n5_29). parent(n4_30,n5_31). parent(n4_31,n5_30). parent(n4_31,n5_32). parent(n4_32,n5_31). parent(n4_32,n5_33). parent(n4_33,n5_32). parent(n4_33,n5_34). parent(n4_34,n5_33). parent(n4_34,n5_35). parent(n4_35,n5_34). parent(n4_35,n5_36). parent(n4_36,n5_35). parent(n4_36,n5_37). parent(n4_37,n5_36). parent(n4_37,n5_38). parent(n4_38,n5_37). parent(n4_38,n5_39). parent(n4_39,n5_38). parent(n4_39,n5_40). parent(n4_40,n5_39). parent(n4_40,n5_41). parent(n4_41,n5_40). parent(n4_41,n5_42). parent(n4_42,n5_41). parent(n4_42,n5_43). parent(n4_43,n5_42). parent(n4_43,n5_44). parent(n4_44,n5_43). parent(n4_44,n5_45). parent(n4_45,n5_44). parent(n4_45,n5_46). parent(n4_46,n5_45). parent(n4_46,n5_47). parent(n4_47,n5_46). parent(n4_47,n5_48). parent(n4_48,n5_47). parent(n4_48,n5_49). parent(n4_49,n5_48). parent(n4_49,n5_50). parent(n4_50,n5_49). parent(n4_50,n5_51). parent(n4_51,n5_50). parent(n4_51,n5_52). parent(n4_52,n5_51). parent(n4_52,n5_53). parent(n4_53,n5_52). parent(n4_53,n5_54). parent(n4_54,n5_53). parent(n4_54,n5_55). parent(n4_55,n5_54). parent(n4_55,n5_56). parent(n4_56,n5_55). parent(n4_56,n5_57). parent(n4_57,n5_56). parent(n4_57,n5_58). parent(n4_58,n5_57). parent(n4_58,n5_59). parent(n4_59,n5_58). parent(n5_0,n6_1). parent(n5_1,n6_0). parent(n5_1,n6_2). parent(n5_2,n6_1). parent(n5_2,n6_3). parent(n5_3,n6_2). parent(n5_3,n6_4). parent(n5_4,n6_3). parent(n5_4,n6_5). parent(n5_5,n6_4). parent(n5_5,n6_6). parent(n5_6,n6_5). parent(n5_6,n6_7). parent(n5_7,n6_6). parent(n5_7,n6_8). parent(n5_8,n6_7). parent(n5_8,n6_9). parent(n5_9,n6_8). parent(n5_9,n6_10). parent(n5_10,n6_9). parent(n5_10,n6_11). parent(n5_11,n6_10). parent(n5_11,n6_12). parent(n5_12,n6_11). parent(n5_12,n6_13). parent(n5_13,n6_12). parent(n5_13,n6_14). parent(n5_14,n6_13). parent(n5_14,n6_15). parent(n5_15,n6_14). parent(n5_15,n6_16). parent(n5_16,n6_15). parent(n5_16,n6_17). parent(n5_17,n6_16). parent(n5_17,n6_18). parent(n5_18,n6_17). parent(n5_18,n6_19). parent(n5_19,n6_18). parent(n5_19,n6_20). parent(n5_20,n6_19). parent(n5_20,n6_21). parent(n5_21,n6_20). parent(n5_21,n6_22). parent(n5_22,n6_21). parent(n5_22,n6_23). parent(n5_23,n6_22). parent(n5_23,n6_24). parent(n5_24,n6_23). parent(n5_24,n6_25). parent(n5_25,n6_24). parent(n5_25,n6_26). parent(n5_26,n6_25). parent(n5_26,n6_27). parent(n5_27,n6_26). parent(n5_27,n6_28). parent(n5_28,n6_27). parent(n5_28,n6_29). parent(n5_29,n6_28). parent(n5_29,n6_30). parent(n5_30,n6_29). parent(n5_30,n6_31). parent(n5_31,n6_30). parent(n5_31,n6_32). parent(n5_32,n6_31). parent(n5_32,n6_33). parent(n5_33,n6_32). parent(n5_33,n6_34). parent(n5_34,n6_33). parent(n5_34,n6_35). parent(n5_35,n6_34). parent(n5_35,n6_36). parent(n5_36,n6_35). parent(n5_36,n6_37). parent(n5_37,n6_36). parent(n5_37,n6_38). parent(n5_38,n6_37). parent(n5_38,n6_39). parent(n5_39,n6_38). parent(n5_39,n6_40). parent(n5_40,n6_39). parent(n5_40,n6_41). parent(n5_41,n6_40). parent(n5_41,n6_42). parent(n5_42,n6_41). parent(n5_42,n6_43). parent(n5_43,n6_42). parent(n5_43,n6_44). parent(n5_44,n6_43). parent(n5_44,n6_45). parent(n5_45,n6_44). parent(n5_45,n6_46). parent(n5_46,n6_45). parent(n5_46,n6_47). parent(n5_47,n6_46). parent(n5_47,n6_48). parent(n5_48,n6_47). parent(n5_48,n6_49). parent(n5_49,n6_48). parent(n5_49,n6_50). parent(n5_50,n6_49). parent(n5_50,n6_51). parent(n5_51,n6_50). parent(n5_51,n6_52). parent(n5_52,n6_51). parent(n5_52,n6_53). parent(n5_53,n6_52). parent(n5_53,n6_54). parent(n5_54,n6_53). parent(n5_54,n6_55). parent(n5_55,n6_54). parent(n5_55,n6_56). parent(n5_56,n6_55). parent(n5_56,n6_57). parent(n5_57,n6_56). parent(n5_57,n6_58). parent(n5_58,n6_57). parent(n5_58,n6_59). parent(n5_59,n6_58). parent(n6_0,n7_1). parent(n6_1,n7_0). parent(n6_1,n7_2). parent(n6_2,n7_1). parent(n6_2,n7_3). parent(n6_3,n7_2). parent(n6_3,n7_4). parent(n6_4,n7_3). parent(n6_4,n7_5). parent(n6_5,n7_4). parent(n6_5,n7_6). parent(n6_6,n7_5). parent(n6_6,n7_7). parent(n6_7,n7_6). parent(n6_7,n7_8). parent(n6_8,n7_7). parent(n6_8,n7_9). parent(n6_9,n7_8). parent(n6_9,n7_10). parent(n6_10,n7_9). parent(n6_10,n7_11). parent(n6_11,n7_10). parent(n6_11,n7_12). parent(n6_12,n7_11). parent(n6_12,n7_13). parent(n6_13,n7_12). parent(n6_13,n7_14). parent(n6_14,n7_13). parent(n6_14,n7_15). parent(n6_15,n7_14). parent(n6_15,n7_16). parent(n6_16,n7_15). parent(n6_16,n7_17). parent(n6_17,n7_16). parent(n6_17,n7_18). parent(n6_18,n7_17). parent(n6_18,n7_19). parent(n6_19,n7_18). parent(n6_19,n7_20). parent(n6_20,n7_19). parent(n6_20,n7_21). parent(n6_21,n7_20). parent(n6_21,n7_22). parent(n6_22,n7_21). parent(n6_22,n7_23). parent(n6_23,n7_22). parent(n6_23,n7_24). parent(n6_24,n7_23). parent(n6_24,n7_25). parent(n6_25,n7_24). parent(n6_25,n7_26). parent(n6_26,n7_25). parent(n6_26,n7_27). parent(n6_27,n7_26). parent(n6_27,n7_28). parent(n6_28,n7_27). parent(n6_28,n7_29). parent(n6_29,n7_28). parent(n6_29,n7_30). parent(n6_30,n7_29). parent(n6_30,n7_31). parent(n6_31,n7_30). parent(n6_31,n7_32). parent(n6_32,n7_31). parent(n6_32,n7_33). parent(n6_33,n7_32). parent(n6_33,n7_34). parent(n6_34,n7_33). parent(n6_34,n7_35). parent(n6_35,n7_34). parent(n6_35,n7_36). parent(n6_36,n7_35). parent(n6_36,n7_37). parent(n6_37,n7_36). parent(n6_37,n7_38). parent(n6_38,n7_37). parent(n6_38,n7_39). parent(n6_39,n7_38). parent(n6_39,n7_40). parent(n6_40,n7_39). parent(n6_40,n7_41). parent(n6_41,n7_40). parent(n6_41,n7_42). parent(n6_42,n7_41). parent(n6_42,n7_43). parent(n6_43,n7_42). parent(n6_43,n7_44). parent(n6_44,n7_43). parent(n6_44,n7_45). parent(n6_45,n7_44). parent(n6_45,n7_46). parent(n6_46,n7_45). parent(n6_46,n7_47). parent(n6_47,n7_46). parent(n6_47,n7_48). parent(n6_48,n7_47). parent(n6_48,n7_49). parent(n6_49,n7_48). parent(n6_49,n7_50). parent(n6_50,n7_49). parent(n6_50,n7_51). parent(n6_51,n7_50). parent(n6_51,n7_52). parent(n6_52,n7_51). parent(n6_52,n7_53). parent(n6_53,n7_52). parent(n6_53,n7_54). parent(n6_54,n7_53). parent(n6_54,n7_55). parent(n6_55,n7_54). parent(n6_55,n7_56). parent(n6_56,n7_55). parent(n6_56,n7_57). parent(n6_57,n7_56). parent(n6_57,n7_58). parent(n6_58,n7_57). parent(n6_58,n7_59). parent(n6_59,n7_58). parent(n7_0,n8_1). parent(n7_1,n8_0). parent(n7_1,n8_2). parent(n7_2,n8_1). parent(n7_2,n8_3). parent(n7_3,n8_2). parent(n7_3,n8_4). parent(n7_4,n8_3). parent(n7_4,n8_5). parent(n7_5,n8_4). parent(n7_5,n8_6). parent(n7_6,n8_5). parent(n7_6,n8_7). parent(n7_7,n8_6). parent(n7_7,n8_8). parent(n7_8,n8_7). parent(n7_8,n8_9). parent(n7_9,n8_8). parent(n7_9,n8_10). parent(n7_10,n8_9). parent(n7_10,n8_11). parent(n7_11,n8_10). parent(n7_11,n8_12). parent(n7_12,n8_11). parent(n7_12,n8_13). parent(n7_13,n8_12). parent(n7_13,n8_14). parent(n7_14,n8_13). parent(n7_14,n8_15). parent(n7_15,n8_14). parent(n7_15,n8_16). parent(n7_16,n8_15). parent(n7_16,n8_17). parent(n7_17,n8_16). parent(n7_17,n8_18). parent(n7_18,n8_17). parent(n7_18,n8_19). parent(n7_19,n8_18). parent(n7_19,n8_20). parent(n7_20,n8_19). parent(n7_20,n8_21). parent(n7_21,n8_20). parent(n7_21,n8_22). parent(n7_22,n8_21). parent(n7_22,n8_23). parent(n7_23,n8_22). parent(n7_23,n8_24). parent(n7_24,n8_23). parent(n7_24,n8_25). parent(n7_25,n8_24). parent(n7_25,n8_26). parent(n7_26,n8_25). parent(n7_26,n8_27). parent(n7_27,n8_26). parent(n7_27,n8_28). parent(n7_28,n8_27). parent(n7_28,n8_29). parent(n7_29,n8_28). parent(n7_29,n8_30). parent(n7_30,n8_29). parent(n7_30,n8_31). parent(n7_31,n8_30). parent(n7_31,n8_32). parent(n7_32,n8_31). parent(n7_32,n8_33). parent(n7_33,n8_32). parent(n7_33,n8_34). parent(n7_34,n8_33). parent(n7_34,n8_35). parent(n7_35,n8_34). parent(n7_35,n8_36). parent(n7_36,n8_35). parent(n7_36,n8_37). parent(n7_37,n8_36). parent(n7_37,n8_38). parent(n7_38,n8_37). parent(n7_38,n8_39). parent(n7_39,n8_38). parent(n7_39,n8_40). parent(n7_40,n8_39). parent(n7_40,n8_41). parent(n7_41,n8_40). parent(n7_41,n8_42). parent(n7_42,n8_41). parent(n7_42,n8_43). parent(n7_43,n8_42). parent(n7_43,n8_44). parent(n7_44,n8_43). parent(n7_44,n8_45). parent(n7_45,n8_44). parent(n7_45,n8_46). parent(n7_46,n8_45). parent(n7_46,n8_47). parent(n7_47,n8_46). parent(n7_47,n8_48). parent(n7_48,n8_47). parent(n7_48,n8_49). parent(n7_49,n8_48). parent(n7_49,n8_50). parent(n7_50,n8_49). parent(n7_50,n8_51). parent(n7_51,n8_50). parent(n7_51,n8_52). parent(n7_52,n8_51). parent(n7_52,n8_53). parent(n7_53,n8_52). parent(n7_53,n8_54). parent(n7_54,n8_53). parent(n7_54,n8_55). parent(n7_55,n8_54). parent(n7_55,n8_56). parent(n7_56,n8_55). parent(n7_56,n8_57). parent(n7_57,n8_56). parent(n7_57,n8_58). parent(n7_58,n8_57). parent(n7_58,n8_59). parent(n7_59,n8_58). parent(n8_0,n9_1). parent(n8_1,n9_0). parent(n8_1,n9_2). parent(n8_2,n9_1). parent(n8_2,n9_3). parent(n8_3,n9_2). parent(n8_3,n9_4). parent(n8_4,n9_3). parent(n8_4,n9_5). parent(n8_5,n9_4). parent(n8_5,n9_6). parent(n8_6,n9_5). parent(n8_6,n9_7). parent(n8_7,n9_6). parent(n8_7,n9_8). parent(n8_8,n9_7). parent(n8_8,n9_9). parent(n8_9,n9_8). parent(n8_9,n9_10). parent(n8_10,n9_9). parent(n8_10,n9_11). parent(n8_11,n9_10). parent(n8_11,n9_12). parent(n8_12,n9_11). parent(n8_12,n9_13). parent(n8_13,n9_12). parent(n8_13,n9_14). parent(n8_14,n9_13). parent(n8_14,n9_15). parent(n8_15,n9_14). parent(n8_15,n9_16). parent(n8_16,n9_15). parent(n8_16,n9_17). parent(n8_17,n9_16). parent(n8_17,n9_18). parent(n8_18,n9_17). parent(n8_18,n9_19). parent(n8_19,n9_18). parent(n8_19,n9_20). parent(n8_20,n9_19). parent(n8_20,n9_21). parent(n8_21,n9_20). parent(n8_21,n9_22). parent(n8_22,n9_21). parent(n8_22,n9_23). parent(n8_23,n9_22). parent(n8_23,n9_24). parent(n8_24,n9_23). parent(n8_24,n9_25). parent(n8_25,n9_24). parent(n8_25,n9_26). parent(n8_26,n9_25). parent(n8_26,n9_27). parent(n8_27,n9_26). parent(n8_27,n9_28). parent(n8_28,n9_27). parent(n8_28,n9_29). parent(n8_29,n9_28). parent(n8_29,n9_30). parent(n8_30,n9_29). parent(n8_30,n9_31). parent(n8_31,n9_30). parent(n8_31,n9_32). parent(n8_32,n9_31). parent(n8_32,n9_33). parent(n8_33,n9_32). parent(n8_33,n9_34). parent(n8_34,n9_33). parent(n8_34,n9_35). parent(n8_35,n9_34). parent(n8_35,n9_36). parent(n8_36,n9_35). parent(n8_36,n9_37). parent(n8_37,n9_36). parent(n8_37,n9_38). parent(n8_38,n9_37). parent(n8_38,n9_39). parent(n8_39,n9_38). parent(n8_39,n9_40). parent(n8_40,n9_39). parent(n8_40,n9_41). parent(n8_41,n9_40). parent(n8_41,n9_42). parent(n8_42,n9_41). parent(n8_42,n9_43). parent(n8_43,n9_42). parent(n8_43,n9_44). parent(n8_44,n9_43). parent(n8_44,n9_45). parent(n8_45,n9_44). parent(n8_45,n9_46). parent(n8_46,n9_45). parent(n8_46,n9_47). parent(n8_47,n9_46). parent(n8_47,n9_48). parent(n8_48,n9_47). parent(n8_48,n9_49). parent(n8_49,n9_48). parent(n8_49,n9_50). parent(n8_50,n9_49). parent(n8_50,n9_51). parent(n8_51,n9_50). parent(n8_51,n9_52). parent(n8_52,n9_51). parent(n8_52,n9_53). parent(n8_53,n9_52). parent(n8_53,n9_54). parent(n8_54,n9_53). parent(n8_54,n9_55). parent(n8_55,n9_54). parent(n8_55,n9_56). parent(n8_56,n9_55). parent(n8_56,n9_57). parent(n8_57,n9_56). parent(n8_57,n9_58). parent(n8_58,n9_57). parent(n8_58,n9_59). parent(n8_59,n9_58). parent(n9_0,n10_1). parent(n9_1,n10_0). parent(n9_1,n10_2). parent(n9_2,n10_1). parent(n9_2,n10_3). parent(n9_3,n10_2). parent(n9_3,n10_4). parent(n9_4,n10_3). parent(n9_4,n10_5). parent(n9_5,n10_4). parent(n9_5,n10_6). parent(n9_6,n10_5). parent(n9_6,n10_7). parent(n9_7,n10_6). parent(n9_7,n10_8). parent(n9_8,n10_7). parent(n9_8,n10_9). parent(n9_9,n10_8). parent(n9_9,n10_10). parent(n9_10,n10_9). parent(n9_10,n10_11). parent(n9_11,n10_10). parent(n9_11,n10_12). parent(n9_12,n10_11). parent(n9_12,n10_13). parent(n9_13,n10_12). parent(n9_13,n10_14). parent(n9_14,n10_13). parent(n9_14,n10_15). parent(n9_15,n10_14). parent(n9_15,n10_16). parent(n9_16,n10_15). parent(n9_16,n10_17). parent(n9_17,n10_16). parent(n9_17,n10_18). parent(n9_18,n10_17). parent(n9_18,n10_19). parent(n9_19,n10_18). parent(n9_19,n10_20). parent(n9_20,n10_19). parent(n9_20,n10_21). parent(n9_21,n10_20). parent(n9_21,n10_22). parent(n9_22,n10_21). parent(n9_22,n10_23). parent(n9_23,n10_22). parent(n9_23,n10_24). parent(n9_24,n10_23). parent(n9_24,n10_25). parent(n9_25,n10_24). parent(n9_25,n10_26). parent(n9_26,n10_25). parent(n9_26,n10_27). parent(n9_27,n10_26). parent(n9_27,n10_28). parent(n9_28,n10_27). parent(n9_28,n10_29). parent(n9_29,n10_28). parent(n9_29,n10_30). parent(n9_30,n10_29). parent(n9_30,n10_31). parent(n9_31,n10_30). parent(n9_31,n10_32). parent(n9_32,n10_31). parent(n9_32,n10_33). parent(n9_33,n10_32). parent(n9_33,n10_34). parent(n9_34,n10_33). parent(n9_34,n10_35). parent(n9_35,n10_34). parent(n9_35,n10_36). parent(n9_36,n10_35). parent(n9_36,n10_37). parent(n9_37,n10_36). parent(n9_37,n10_38). parent(n9_38,n10_37). parent(n9_38,n10_39). parent(n9_39,n10_38). parent(n9_39,n10_40). parent(n9_40,n10_39). parent(n9_40,n10_41). parent(n9_41,n10_40). parent(n9_41,n10_42). parent(n9_42,n10_41). parent(n9_42,n10_43). parent(n9_43,n10_42). parent(n9_43,n10_44). parent(n9_44,n10_43). parent(n9_44,n10_45). parent(n9_45,n10_44). parent(n9_45,n10_46). parent(n9_46,n10_45). parent(n9_46,n10_47). parent(n9_47,n10_46). parent(n9_47,n10_48). parent(n9_48,n10_47). parent(n9_48,n10_49). parent(n9_49,n10_48). parent(n9_49,n10_50). parent(n9_50,n10_49). parent(n9_50,n10_51). parent(n9_51,n10_50). parent(n9_51,n10_52). parent(n9_52,n10_51). parent(n9_52,n10_53). parent(n9_53,n10_52). parent(n9_53,n10_54). parent(n9_54,n10_53). parent(n9_54,n10_55). parent(n9_55,n10_54). parent(n9_55,n10_56). parent(n9_56,n10_55). parent(n9_56,n10_57). parent(n9_57,n10_56). parent(n9_57,n10_58). parent(n9_58,n10_57). parent(n9_58,n10_59). parent(n9_59,n10_58). parent(n10_0,n11_1). parent(n10_1,n11_0). parent(n10_1,n11_2). parent(n10_2,n11_1). parent(n10_2,n11_3). parent(n10_3,n11_2). parent(n10_3,n11_4). parent(n10_4,n11_3). parent(n10_4,n11_5). parent(n10_5,n11_4). parent(n10_5,n11_6). parent(n10_6,n11_5). parent(n10_6,n11_7). parent(n10_7,n11_6). parent(n10_7,n11_8). parent(n10_8,n11_7). parent(n10_8,n11_9). parent(n10_9,n11_8). parent(n10_9,n11_10). parent(n10_10,n11_9). parent(n10_10,n11_11). parent(n10_11,n11_10). parent(n10_11,n11_12). parent(n10_12,n11_11). parent(n10_12,n11_13). parent(n10_13,n11_12). parent(n10_13,n11_14). parent(n10_14,n11_13). parent(n10_14,n11_15). parent(n10_15,n11_14). parent(n10_15,n11_16). parent(n10_16,n11_15). parent(n10_16,n11_17). parent(n10_17,n11_16). parent(n10_17,n11_18). parent(n10_18,n11_17). parent(n10_18,n11_19). parent(n10_19,n11_18). parent(n10_19,n11_20). parent(n10_20,n11_19). parent(n10_20,n11_21). parent(n10_21,n11_20). parent(n10_21,n11_22). parent(n10_22,n11_21). parent(n10_22,n11_23). parent(n10_23,n11_22). parent(n10_23,n11_24). parent(n10_24,n11_23). parent(n10_24,n11_25). parent(n10_25,n11_24). parent(n10_25,n11_26). parent(n10_26,n11_25). parent(n10_26,n11_27). parent(n10_27,n11_26). parent(n10_27,n11_28). parent(n10_28,n11_27). parent(n10_28,n11_29). parent(n10_29,n11_28). parent(n10_29,n11_30). parent(n10_30,n11_29). parent(n10_30,n11_31). parent(n10_31,n11_30). parent(n10_31,n11_32). parent(n10_32,n11_31). parent(n10_32,n11_33). parent(n10_33,n11_32). parent(n10_33,n11_34). parent(n10_34,n11_33). parent(n10_34,n11_35). parent(n10_35,n11_34). parent(n10_35,n11_36). parent(n10_36,n11_35). parent(n10_36,n11_37). parent(n10_37,n11_36). parent(n10_37,n11_38). parent(n10_38,n11_37). parent(n10_38,n11_39). parent(n10_39,n11_38). parent(n10_39,n11_40). parent(n10_40,n11_39). parent(n10_40,n11_41). parent(n10_41,n11_40). parent(n10_41,n11_42). parent(n10_42,n11_41). parent(n10_42,n11_43). parent(n10_43,n11_42). parent(n10_43,n11_44). parent(n10_44,n11_43). parent(n10_44,n11_45). parent(n10_45,n11_44). parent(n10_45,n11_46). parent(n10_46,n11_45). parent(n10_46,n11_47). parent(n10_47,n11_46). parent(n10_47,n11_48). parent(n10_48,n11_47). parent(n10_48,n11_49). parent(n10_49,n11_48). parent(n10_49,n11_50). parent(n10_50,n11_49). parent(n10_50,n11_51). parent(n10_51,n11_50). parent(n10_51,n11_52). parent(n10_52,n11_51). parent(n10_52,n11_53). parent(n10_53,n11_52). parent(n10_53,n11_54). parent(n10_54,n11_53). parent(n10_54,n11_55). parent(n10_55,n11_54). parent(n10_55,n11_56). parent(n10_56,n11_55). parent(n10_56,n11_57). parent(n10_57,n11_56). parent(n10_57,n11_58). parent(n10_58,n11_57). parent(n10_58,n11_59). parent(n10_59,n11_58). parent(n11_0,n12_1). parent(n11_1,n12_0). parent(n11_1,n12_2). parent(n11_2,n12_1). parent(n11_2,n12_3). parent(n11_3,n12_2). parent(n11_3,n12_4). parent(n11_4,n12_3). parent(n11_4,n12_5). parent(n11_5,n12_4). parent(n11_5,n12_6). parent(n11_6,n12_5). parent(n11_6,n12_7). parent(n11_7,n12_6). parent(n11_7,n12_8). parent(n11_8,n12_7). parent(n11_8,n12_9). parent(n11_9,n12_8). parent(n11_9,n12_10). parent(n11_10,n12_9). parent(n11_10,n12_11). parent(n11_11,n12_10). parent(n11_11,n12_12). parent(n11_12,n12_11). parent(n11_12,n12_13). parent(n11_13,n12_12). parent(n11_13,n12_14). parent(n11_14,n12_13). parent(n11_14,n12_15). parent(n11_15,n12_14). parent(n11_15,n12_16). parent(n11_16,n12_15). parent(n11_16,n12_17). parent(n11_17,n12_16). parent(n11_17,n12_18). parent(n11_18,n12_17). parent(n11_18,n12_19). parent(n11_19,n12_18). parent(n11_19,n12_20). parent(n11_20,n12_19). parent(n11_20,n12_21). parent(n11_21,n12_20). parent(n11_21,n12_22). parent(n11_22,n12_21). parent(n11_22,n12_23). parent(n11_23,n12_22). parent(n11_23,n12_24). parent(n11_24,n12_23). parent(n11_24,n12_25). parent(n11_25,n12_24). parent(n11_25,n12_26). parent(n11_26,n12_25). parent(n11_26,n12_27). parent(n11_27,n12_26). parent(n11_27,n12_28). parent(n11_28,n12_27). parent(n11_28,n12_29). parent(n11_29,n12_28). parent(n11_29,n12_30). parent(n11_30,n12_29). parent(n11_30,n12_31). parent(n11_31,n12_30). parent(n11_31,n12_32). parent(n11_32,n12_31). parent(n11_32,n12_33). parent(n11_33,n12_32). parent(n11_33,n12_34). parent(n11_34,n12_33). parent(n11_34,n12_35). parent(n11_35,n12_34). parent(n11_35,n12_36). parent(n11_36,n12_35). parent(n11_36,n12_37). parent(n11_37,n12_36). parent(n11_37,n12_38). parent(n11_38,n12_37). parent(n11_38,n12_39). parent(n11_39,n12_38). parent(n11_39,n12_40). parent(n11_40,n12_39). parent(n11_40,n12_41). parent(n11_41,n12_40). parent(n11_41,n12_42). parent(n11_42,n12_41). parent(n11_42,n12_43). parent(n11_43,n12_42). parent(n11_43,n12_44). parent(n11_44,n12_43). parent(n11_44,n12_45). parent(n11_45,n12_44). parent(n11_45,n12_46). parent(n11_46,n12_45). parent(n11_46,n12_47). parent(n11_47,n12_46). parent(n11_47,n12_48). parent(n11_48,n12_47). parent(n11_48,n12_49). parent(n11_49,n12_48). parent(n11_49,n12_50). parent(n11_50,n12_49). parent(n11_50,n12_51). parent(n11_51,n12_50). parent(n11_51,n12_52). parent(n11_52,n12_51). parent(n11_52,n12_53). parent(n11_53,n12_52). parent(n11_53,n12_54). parent(n11_54,n12_53). parent(n11_54,n12_55). parent(n11_55,n12_54). parent(n11_55,n12_56). parent(n11_56,n12_55). parent(n11_56,n12_57). parent(n11_57,n12_56). parent(n11_57,n12_58). parent(n11_58,n12_57). parent(n11_58,n12_59). parent(n11_59,n12_58). parent(n12_0,n13_1). parent(n12_1,n13_0). parent(n12_1,n13_2). parent(n12_2,n13_1). parent(n12_2,n13_3). parent(n12_3,n13_2). parent(n12_3,n13_4). parent(n12_4,n13_3). parent(n12_4,n13_5). parent(n12_5,n13_4). parent(n12_5,n13_6). parent(n12_6,n13_5). parent(n12_6,n13_7). parent(n12_7,n13_6). parent(n12_7,n13_8). parent(n12_8,n13_7). parent(n12_8,n13_9). parent(n12_9,n13_8). parent(n12_9,n13_10). parent(n12_10,n13_9). parent(n12_10,n13_11). parent(n12_11,n13_10). parent(n12_11,n13_12). parent(n12_12,n13_11). parent(n12_12,n13_13). parent(n12_13,n13_12). parent(n12_13,n13_14). parent(n12_14,n13_13). parent(n12_14,n13_15). parent(n12_15,n13_14). parent(n12_15,n13_16). parent(n12_16,n13_15). parent(n12_16,n13_17). parent(n12_17,n13_16). parent(n12_17,n13_18). parent(n12_18,n13_17). parent(n12_18,n13_19). parent(n12_19,n13_18). parent(n12_19,n13_20). parent(n12_20,n13_19). parent(n12_20,n13_21). parent(n12_21,n13_20). parent(n12_21,n13_22). parent(n12_22,n13_21). parent(n12_22,n13_23). parent(n12_23,n13_22). parent(n12_23,n13_24). parent(n12_24,n13_23). parent(n12_24,n13_25). parent(n12_25,n13_24). parent(n12_25,n13_26). parent(n12_26,n13_25). parent(n12_26,n13_27). parent(n12_27,n13_26). parent(n12_27,n13_28). parent(n12_28,n13_27). parent(n12_28,n13_29). parent(n12_29,n13_28). parent(n12_29,n13_30). parent(n12_30,n13_29). parent(n12_30,n13_31). parent(n12_31,n13_30). parent(n12_31,n13_32). parent(n12_32,n13_31). parent(n12_32,n13_33). parent(n12_33,n13_32). parent(n12_33,n13_34). parent(n12_34,n13_33). parent(n12_34,n13_35). parent(n12_35,n13_34). parent(n12_35,n13_36). parent(n12_36,n13_35). parent(n12_36,n13_37). parent(n12_37,n13_36). parent(n12_37,n13_38). parent(n12_38,n13_37). parent(n12_38,n13_39). parent(n12_39,n13_38). parent(n12_39,n13_40). parent(n12_40,n13_39). parent(n12_40,n13_41). parent(n12_41,n13_40). parent(n12_41,n13_42). parent(n12_42,n13_41). parent(n12_42,n13_43). parent(n12_43,n13_42). parent(n12_43,n13_44). parent(n12_44,n13_43). parent(n12_44,n13_45). parent(n12_45,n13_44). parent(n12_45,n13_46). parent(n12_46,n13_45). parent(n12_46,n13_47). parent(n12_47,n13_46). parent(n12_47,n13_48). parent(n12_48,n13_47). parent(n12_48,n13_49). parent(n12_49,n13_48). parent(n12_49,n13_50). parent(n12_50,n13_49). parent(n12_50,n13_51). parent(n12_51,n13_50). parent(n12_51,n13_52). parent(n12_52,n13_51). parent(n12_52,n13_53). parent(n12_53,n13_52). parent(n12_53,n13_54). parent(n12_54,n13_53). parent(n12_54,n13_55). parent(n12_55,n13_54). parent(n12_55,n13_56). parent(n12_56,n13_55). parent(n12_56,n13_57). parent(n12_57,n13_56). parent(n12_57,n13_58). parent(n12_58,n13_57). parent(n12_58,n13_59). parent(n12_59,n13_58). parent(n13_0,n14_1). parent(n13_1,n14_0). parent(n13_1,n14_2). parent(n13_2,n14_1). parent(n13_2,n14_3). parent(n13_3,n14_2). parent(n13_3,n14_4). parent(n13_4,n14_3). parent(n13_4,n14_5). parent(n13_5,n14_4). parent(n13_5,n14_6). parent(n13_6,n14_5). parent(n13_6,n14_7). parent(n13_7,n14_6). parent(n13_7,n14_8). parent(n13_8,n14_7). parent(n13_8,n14_9). parent(n13_9,n14_8). parent(n13_9,n14_10). parent(n13_10,n14_9). parent(n13_10,n14_11). parent(n13_11,n14_10). parent(n13_11,n14_12). parent(n13_12,n14_11). parent(n13_12,n14_13). parent(n13_13,n14_12). parent(n13_13,n14_14). parent(n13_14,n14_13). parent(n13_14,n14_15). parent(n13_15,n14_14). parent(n13_15,n14_16). parent(n13_16,n14_15). parent(n13_16,n14_17). parent(n13_17,n14_16). parent(n13_17,n14_18). parent(n13_18,n14_17). parent(n13_18,n14_19). parent(n13_19,n14_18). parent(n13_19,n14_20). parent(n13_20,n14_19). parent(n13_20,n14_21). parent(n13_21,n14_20). parent(n13_21,n14_22). parent(n13_22,n14_21). parent(n13_22,n14_23). parent(n13_23,n14_22). parent(n13_23,n14_24). parent(n13_24,n14_23). parent(n13_24,n14_25). parent(n13_25,n14_24). parent(n13_25,n14_26). parent(n13_26,n14_25). parent(n13_26,n14_27). parent(n13_27,n14_26). parent(n13_27,n14_28). parent(n13_28,n14_27). parent(n13_28,n14_29). parent(n13_29,n14_28). parent(n13_29,n14_30). parent(n13_30,n14_29). parent(n13_30,n14_31). parent(n13_31,n14_30). parent(n13_31,n14_32). parent(n13_32,n14_31). parent(n13_32,n14_33). parent(n13_33,n14_32). parent(n13_33,n14_34). parent(n13_34,n14_33). parent(n13_34,n14_35). parent(n13_35,n14_34). parent(n13_35,n14_36). parent(n13_36,n14_35). parent(n13_36,n14_37). parent(n13_37,n14_36). parent(n13_37,n14_38). parent(n13_38,n14_37). parent(n13_38,n14_39). parent(n13_39,n14_38). parent(n13_39,n14_40). parent(n13_40,n14_39). parent(n13_40,n14_41). parent(n13_41,n14_40). parent(n13_41,n14_42). parent(n13_42,n14_41). parent(n13_42,n14_43). parent(n13_43,n14_42). parent(n13_43,n14_44). parent(n13_44,n14_43). parent(n13_44,n14_45). parent(n13_45,n14_44). parent(n13_45,n14_46). parent(n13_46,n14_45). parent(n13_46,n14_47). parent(n13_47,n14_46). parent(n13_47,n14_48). parent(n13_48,n14_47). parent(n13_48,n14_49). parent(n13_49,n14_48). parent(n13_49,n14_50). parent(n13_50,n14_49). parent(n13_50,n14_51). parent(n13_51,n14_50). parent(n13_51,n14_52). parent(n13_52,n14_51). parent(n13_52,n14_53). parent(n13_53,n14_52). parent(n13_53,n14_54). parent(n13_54,n14_53). parent(n13_54,n14_55). parent(n13_55,n14_54). parent(n13_55,n14_56). parent(n13_56,n14_55). parent(n13_56,n14_57). parent(n13_57,n14_56). parent(n13_57,n14_58). parent(n13_58,n14_57). parent(n13_58,n14_59). parent(n13_59,n14_58). parent(n14_0,n15_1). parent(n14_1,n15_0). parent(n14_1,n15_2). parent(n14_2,n15_1). parent(n14_2,n15_3). parent(n14_3,n15_2). parent(n14_3,n15_4). parent(n14_4,n15_3). parent(n14_4,n15_5). parent(n14_5,n15_4). parent(n14_5,n15_6). parent(n14_6,n15_5). parent(n14_6,n15_7). parent(n14_7,n15_6). parent(n14_7,n15_8). parent(n14_8,n15_7). parent(n14_8,n15_9). parent(n14_9,n15_8). parent(n14_9,n15_10). parent(n14_10,n15_9). parent(n14_10,n15_11). parent(n14_11,n15_10). parent(n14_11,n15_12). parent(n14_12,n15_11). parent(n14_12,n15_13). parent(n14_13,n15_12). parent(n14_13,n15_14). parent(n14_14,n15_13). parent(n14_14,n15_15). parent(n14_15,n15_14). parent(n14_15,n15_16). parent(n14_16,n15_15). parent(n14_16,n15_17). parent(n14_17,n15_16). parent(n14_17,n15_18). parent(n14_18,n15_17). parent(n14_18,n15_19). parent(n14_19,n15_18). parent(n14_19,n15_20). parent(n14_20,n15_19). parent(n14_20,n15_21). parent(n14_21,n15_20). parent(n14_21,n15_22). parent(n14_22,n15_21). parent(n14_22,n15_23). parent(n14_23,n15_22). parent(n14_23,n15_24). parent(n14_24,n15_23). parent(n14_24,n15_25). parent(n14_25,n15_24). parent(n14_25,n15_26). parent(n14_26,n15_25). parent(n14_26,n15_27). parent(n14_27,n15_26). parent(n14_27,n15_28). parent(n14_28,n15_27). parent(n14_28,n15_29). parent(n14_29,n15_28). parent(n14_29,n15_30). parent(n14_30,n15_29). parent(n14_30,n15_31). parent(n14_31,n15_30). parent(n14_31,n15_32). parent(n14_32,n15_31). parent(n14_32,n15_33). parent(n14_33,n15_32). parent(n14_33,n15_34). parent(n14_34,n15_33). parent(n14_34,n15_35). parent(n14_35,n15_34). parent(n14_35,n15_36). parent(n14_36,n15_35). parent(n14_36,n15_37). parent(n14_37,n15_36). parent(n14_37,n15_38). parent(n14_38,n15_37). parent(n14_38,n15_39). parent(n14_39,n15_38). parent(n14_39,n15_40). parent(n14_40,n15_39). parent(n14_40,n15_41). parent(n14_41,n15_40). parent(n14_41,n15_42). parent(n14_42,n15_41). parent(n14_42,n15_43). parent(n14_43,n15_42). parent(n14_43,n15_44). parent(n14_44,n15_43). parent(n14_44,n15_45). parent(n14_45,n15_44). parent(n14_45,n15_46). parent(n14_46,n15_45). parent(n14_46,n15_47). parent(n14_47,n15_46). parent(n14_47,n15_48). parent(n14_48,n15_47). parent(n14_48,n15_49). parent(n14_49,n15_48). parent(n14_49,n15_50). parent(n14_50,n15_49). parent(n14_50,n15_51). parent(n14_51,n15_50). parent(n14_51,n15_52). parent(n14_52,n15_51). parent(n14_52,n15_53). parent(n14_53,n15_52). parent(n14_53,n15_54). parent(n14_54,n15_53). parent(n14_54,n15_55). parent(n14_55,n15_54). parent(n14_55,n15_56). parent(n14_56,n15_55). parent(n14_56,n15_57). parent(n14_57,n15_56). parent(n14_57,n15_58). parent(n14_58,n15_57). parent(n14_58,n15_59). parent(n14_59,n15_58). parent(n15_0,n16_1). parent(n15_1,n16_0). parent(n15_1,n16_2). parent(n15_2,n16_1). parent(n15_2,n16_3). parent(n15_3,n16_2). parent(n15_3,n16_4). parent(n15_4,n16_3). parent(n15_4,n16_5). parent(n15_5,n16_4). parent(n15_5,n16_6). parent(n15_6,n16_5). parent(n15_6,n16_7). parent(n15_7,n16_6). parent(n15_7,n16_8). parent(n15_8,n16_7). parent(n15_8,n16_9). parent(n15_9,n16_8). parent(n15_9,n16_10). parent(n15_10,n16_9). parent(n15_10,n16_11). parent(n15_11,n16_10). parent(n15_11,n16_12). parent(n15_12,n16_11). parent(n15_12,n16_13). parent(n15_13,n16_12). parent(n15_13,n16_14). parent(n15_14,n16_13). parent(n15_14,n16_15). parent(n15_15,n16_14). parent(n15_15,n16_16). parent(n15_16,n16_15). parent(n15_16,n16_17). parent(n15_17,n16_16). parent(n15_17,n16_18). parent(n15_18,n16_17). parent(n15_18,n16_19). parent(n15_19,n16_18). parent(n15_19,n16_20). parent(n15_20,n16_19). parent(n15_20,n16_21). parent(n15_21,n16_20). parent(n15_21,n16_22). parent(n15_22,n16_21). parent(n15_22,n16_23). parent(n15_23,n16_22). parent(n15_23,n16_24). parent(n15_24,n16_23). parent(n15_24,n16_25). parent(n15_25,n16_24). parent(n15_25,n16_26). parent(n15_26,n16_25). parent(n15_26,n16_27). parent(n15_27,n16_26). parent(n15_27,n16_28). parent(n15_28,n16_27). parent(n15_28,n16_29). parent(n15_29,n16_28). parent(n15_29,n16_30). parent(n15_30,n16_29). parent(n15_30,n16_31). parent(n15_31,n16_30). parent(n15_31,n16_32). parent(n15_32,n16_31). parent(n15_32,n16_33). parent(n15_33,n16_32). parent(n15_33,n16_34). parent(n15_34,n16_33). parent(n15_34,n16_35). parent(n15_35,n16_34). parent(n15_35,n16_36). parent(n15_36,n16_35). parent(n15_36,n16_37). parent(n15_37,n16_36). parent(n15_37,n16_38). parent(n15_38,n16_37). parent(n15_38,n16_39). parent(n15_39,n16_38). parent(n15_39,n16_40). parent(n15_40,n16_39). parent(n15_40,n16_41). parent(n15_41,n16_40). parent(n15_41,n16_42). parent(n15_42,n16_41). parent(n15_42,n16_43). parent(n15_43,n16_42). parent(n15_43,n16_44). parent(n15_44,n16_43). parent(n15_44,n16_45). parent(n15_45,n16_44). parent(n15_45,n16_46). parent(n15_46,n16_45). parent(n15_46,n16_47). parent(n15_47,n16_46). parent(n15_47,n16_48). parent(n15_48,n16_47). parent(n15_48,n16_49). parent(n15_49,n16_48). parent(n15_49,n16_50). parent(n15_50,n16_49). parent(n15_50,n16_51). parent(n15_51,n16_50). parent(n15_51,n16_52). parent(n15_52,n16_51). parent(n15_52,n16_53). parent(n15_53,n16_52). parent(n15_53,n16_54). parent(n15_54,n16_53). parent(n15_54,n16_55). parent(n15_55,n16_54). parent(n15_55,n16_56). parent(n15_56,n16_55). parent(n15_56,n16_57). parent(n15_57,n16_56). parent(n15_57,n16_58). parent(n15_58,n16_57). parent(n15_58,n16_59). parent(n15_59,n16_58). parent(n16_0,n17_1). parent(n16_1,n17_0). parent(n16_1,n17_2). parent(n16_2,n17_1). parent(n16_2,n17_3). parent(n16_3,n17_2). parent(n16_3,n17_4). parent(n16_4,n17_3). parent(n16_4,n17_5). parent(n16_5,n17_4). parent(n16_5,n17_6). parent(n16_6,n17_5). parent(n16_6,n17_7). parent(n16_7,n17_6). parent(n16_7,n17_8). parent(n16_8,n17_7). parent(n16_8,n17_9). parent(n16_9,n17_8). parent(n16_9,n17_10). parent(n16_10,n17_9). parent(n16_10,n17_11). parent(n16_11,n17_10). parent(n16_11,n17_12). parent(n16_12,n17_11). parent(n16_12,n17_13). parent(n16_13,n17_12). parent(n16_13,n17_14). parent(n16_14,n17_13). parent(n16_14,n17_15). parent(n16_15,n17_14). parent(n16_15,n17_16). parent(n16_16,n17_15). parent(n16_16,n17_17). parent(n16_17,n17_16). parent(n16_17,n17_18). parent(n16_18,n17_17). parent(n16_18,n17_19). parent(n16_19,n17_18). parent(n16_19,n17_20). parent(n16_20,n17_19). parent(n16_20,n17_21). parent(n16_21,n17_20). parent(n16_21,n17_22). parent(n16_22,n17_21). parent(n16_22,n17_23). parent(n16_23,n17_22). parent(n16_23,n17_24). parent(n16_24,n17_23). parent(n16_24,n17_25). parent(n16_25,n17_24). parent(n16_25,n17_26). parent(n16_26,n17_25). parent(n16_26,n17_27). parent(n16_27,n17_26). parent(n16_27,n17_28). parent(n16_28,n17_27). parent(n16_28,n17_29). parent(n16_29,n17_28). parent(n16_29,n17_30). parent(n16_30,n17_29). parent(n16_30,n17_31). parent(n16_31,n17_30). parent(n16_31,n17_32). parent(n16_32,n17_31). parent(n16_32,n17_33). parent(n16_33,n17_32). parent(n16_33,n17_34). parent(n16_34,n17_33). parent(n16_34,n17_35). parent(n16_35,n17_34). parent(n16_35,n17_36). parent(n16_36,n17_35). parent(n16_36,n17_37). parent(n16_37,n17_36). parent(n16_37,n17_38). parent(n16_38,n17_37). parent(n16_38,n17_39). parent(n16_39,n17_38). parent(n16_39,n17_40). parent(n16_40,n17_39). parent(n16_40,n17_41). parent(n16_41,n17_40). parent(n16_41,n17_42). parent(n16_42,n17_41). parent(n16_42,n17_43). parent(n16_43,n17_42). parent(n16_43,n17_44). parent(n16_44,n17_43). parent(n16_44,n17_45). parent(n16_45,n17_44). parent(n16_45,n17_46). parent(n16_46,n17_45). parent(n16_46,n17_47). parent(n16_47,n17_46). parent(n16_47,n17_48). parent(n16_48,n17_47). parent(n16_48,n17_49). parent(n16_49,n17_48). parent(n16_49,n17_50). parent(n16_50,n17_49). parent(n16_50,n17_51). parent(n16_51,n17_50). parent(n16_51,n17_52). parent(n16_52,n17_51). parent(n16_52,n17_53). parent(n16_53,n17_52). parent(n16_53,n17_54). parent(n16_54,n17_53). parent(n16_54,n17_55). parent(n16_55,n17_54). parent(n16_55,n17_56). parent(n16_56,n17_55). parent(n16_56,n17_57). parent(n16_57,n17_56). parent(n16_57,n17_58). parent(n16_58,n17_57). parent(n16_58,n17_59). parent(n16_59,n17_58). parent(n17_0,n18_1). parent(n17_1,n18_0). parent(n17_1,n18_2). parent(n17_2,n18_1). parent(n17_2,n18_3). parent(n17_3,n18_2). parent(n17_3,n18_4). parent(n17_4,n18_3). parent(n17_4,n18_5). parent(n17_5,n18_4). parent(n17_5,n18_6). parent(n17_6,n18_5). parent(n17_6,n18_7). parent(n17_7,n18_6). parent(n17_7,n18_8). parent(n17_8,n18_7). parent(n17_8,n18_9). parent(n17_9,n18_8). parent(n17_9,n18_10). parent(n17_10,n18_9). parent(n17_10,n18_11). parent(n17_11,n18_10). parent(n17_11,n18_12). parent(n17_12,n18_11). parent(n17_12,n18_13). parent(n17_13,n18_12). parent(n17_13,n18_14). parent(n17_14,n18_13). parent(n17_14,n18_15). parent(n17_15,n18_14). parent(n17_15,n18_16). parent(n17_16,n18_15). parent(n17_16,n18_17). parent(n17_17,n18_16). parent(n17_17,n18_18). parent(n17_18,n18_17). parent(n17_18,n18_19). parent(n17_19,n18_18). parent(n17_19,n18_20). parent(n17_20,n18_19). parent(n17_20,n18_21). parent(n17_21,n18_20). parent(n17_21,n18_22). parent(n17_22,n18_21). parent(n17_22,n18_23). parent(n17_23,n18_22). parent(n17_23,n18_24). parent(n17_24,n18_23). parent(n17_24,n18_25). parent(n17_25,n18_24). parent(n17_25,n18_26). parent(n17_26,n18_25). parent(n17_26,n18_27). parent(n17_27,n18_26). parent(n17_27,n18_28). parent(n17_28,n18_27). parent(n17_28,n18_29). parent(n17_29,n18_28). parent(n17_29,n18_30). parent(n17_30,n18_29). parent(n17_30,n18_31). parent(n17_31,n18_30). parent(n17_31,n18_32). parent(n17_32,n18_31). parent(n17_32,n18_33). parent(n17_33,n18_32). parent(n17_33,n18_34). parent(n17_34,n18_33). parent(n17_34,n18_35). parent(n17_35,n18_34). parent(n17_35,n18_36). parent(n17_36,n18_35). parent(n17_36,n18_37). parent(n17_37,n18_36). parent(n17_37,n18_38). parent(n17_38,n18_37). parent(n17_38,n18_39). parent(n17_39,n18_38). parent(n17_39,n18_40). parent(n17_40,n18_39). parent(n17_40,n18_41). parent(n17_41,n18_40). parent(n17_41,n18_42). parent(n17_42,n18_41). parent(n17_42,n18_43). parent(n17_43,n18_42). parent(n17_43,n18_44). parent(n17_44,n18_43). parent(n17_44,n18_45). parent(n17_45,n18_44). parent(n17_45,n18_46). parent(n17_46,n18_45). parent(n17_46,n18_47). parent(n17_47,n18_46). parent(n17_47,n18_48). parent(n17_48,n18_47). parent(n17_48,n18_49). parent(n17_49,n18_48). parent(n17_49,n18_50). parent(n17_50,n18_49). parent(n17_50,n18_51). parent(n17_51,n18_50). parent(n17_51,n18_52). parent(n17_52,n18_51). parent(n17_52,n18_53). parent(n17_53,n18_52). parent(n17_53,n18_54). parent(n17_54,n18_53). parent(n17_54,n18_55). parent(n17_55,n18_54). parent(n17_55,n18_56). parent(n17_56,n18_55). parent(n17_56,n18_57). parent(n17_57,n18_56). parent(n17_57,n18_58). parent(n17_58,n18_57). parent(n17_58,n18_59). parent(n17_59,n18_58). parent(n18_0,n19_1). parent(n18_1,n19_0). parent(n18_1,n19_2). parent(n18_2,n19_1). parent(n18_2,n19_3). parent(n18_3,n19_2). parent(n18_3,n19_4). parent(n18_4,n19_3). parent(n18_4,n19_5). parent(n18_5,n19_4). parent(n18_5,n19_6). parent(n18_6,n19_5). parent(n18_6,n19_7). parent(n18_7,n19_6). parent(n18_7,n19_8). parent(n18_8,n19_7). parent(n18_8,n19_9). parent(n18_9,n19_8). parent(n18_9,n19_10). parent(n18_10,n19_9). parent(n18_10,n19_11). parent(n18_11,n19_10). parent(n18_11,n19_12). parent(n18_12,n19_11). parent(n18_12,n19_13). parent(n18_13,n19_12). parent(n18_13,n19_14). parent(n18_14,n19_13). parent(n18_14,n19_15). parent(n18_15,n19_14). parent(n18_15,n19_16). parent(n18_16,n19_15). parent(n18_16,n19_17). parent(n18_17,n19_16). parent(n18_17,n19_18). parent(n18_18,n19_17). parent(n18_18,n19_19). parent(n18_19,n19_18). parent(n18_19,n19_20). parent(n18_20,n19_19). parent(n18_20,n19_21). parent(n18_21,n19_20). parent(n18_21,n19_22). parent(n18_22,n19_21). parent(n18_22,n19_23). parent(n18_23,n19_22). parent(n18_23,n19_24). parent(n18_24,n19_23). parent(n18_24,n19_25). parent(n18_25,n19_24). parent(n18_25,n19_26). parent(n18_26,n19_25). parent(n18_26,n19_27). parent(n18_27,n19_26). parent(n18_27,n19_28). parent(n18_28,n19_27). parent(n18_28,n19_29). parent(n18_29,n19_28). parent(n18_29,n19_30). parent(n18_30,n19_29). parent(n18_30,n19_31). parent(n18_31,n19_30). parent(n18_31,n19_32). parent(n18_32,n19_31). parent(n18_32,n19_33). parent(n18_33,n19_32). parent(n18_33,n19_34). parent(n18_34,n19_33). parent(n18_34,n19_35). parent(n18_35,n19_34). parent(n18_35,n19_36). parent(n18_36,n19_35). parent(n18_36,n19_37). parent(n18_37,n19_36). parent(n18_37,n19_38). parent(n18_38,n19_37). parent(n18_38,n19_39). parent(n18_39,n19_38). parent(n18_39,n19_40). parent(n18_40,n19_39). parent(n18_40,n19_41). parent(n18_41,n19_40). parent(n18_41,n19_42). parent(n18_42,n19_41). parent(n18_42,n19_43). parent(n18_43,n19_42). parent(n18_43,n19_44). parent(n18_44,n19_43). parent(n18_44,n19_45). parent(n18_45,n19_44). parent(n18_45,n19_46). parent(n18_46,n19_45). parent(n18_46,n19_47). parent(n18_47,n19_46). parent(n18_47,n19_48). parent(n18_48,n19_47). parent(n18_48,n19_49). parent(n18_49,n19_48). parent(n18_49,n19_50). parent(n18_50,n19_49). parent(n18_50,n19_51). parent(n18_51,n19_50). parent(n18_51,n19_52). parent(n18_52,n19_51). parent(n18_52,n19_53). parent(n18_53,n19_52). parent(n18_53,n19_54). parent(n18_54,n19_53). parent(n18_54,n19_55). parent(n18_55,n19_54). parent(n18_55,n19_56). parent(n18_56,n19_55). parent(n18_56,n19_57). parent(n18_57,n19_56). parent(n18_57,n19_58). parent(n18_58,n19_57). parent(n18_58,n19_59). parent(n18_59,n19_58). parent(n19_0,n20_1). parent(n19_1,n20_0). parent(n19_1,n20_2). parent(n19_2,n20_1). parent(n19_2,n20_3). parent(n19_3,n20_2). parent(n19_3,n20_4). parent(n19_4,n20_3). parent(n19_4,n20_5). parent(n19_5,n20_4). parent(n19_5,n20_6). parent(n19_6,n20_5). parent(n19_6,n20_7). parent(n19_7,n20_6). parent(n19_7,n20_8). parent(n19_8,n20_7). parent(n19_8,n20_9). parent(n19_9,n20_8). parent(n19_9,n20_10). parent(n19_10,n20_9). parent(n19_10,n20_11). parent(n19_11,n20_10). parent(n19_11,n20_12). parent(n19_12,n20_11). parent(n19_12,n20_13). parent(n19_13,n20_12). parent(n19_13,n20_14). parent(n19_14,n20_13). parent(n19_14,n20_15). parent(n19_15,n20_14). parent(n19_15,n20_16). parent(n19_16,n20_15). parent(n19_16,n20_17). parent(n19_17,n20_16). parent(n19_17,n20_18). parent(n19_18,n20_17). parent(n19_18,n20_19). parent(n19_19,n20_18). parent(n19_19,n20_20). parent(n19_20,n20_19). parent(n19_20,n20_21). parent(n19_21,n20_20). parent(n19_21,n20_22). parent(n19_22,n20_21). parent(n19_22,n20_23). parent(n19_23,n20_22). parent(n19_23,n20_24). parent(n19_24,n20_23). parent(n19_24,n20_25). parent(n19_25,n20_24). parent(n19_25,n20_26). parent(n19_26,n20_25). parent(n19_26,n20_27). parent(n19_27,n20_26). parent(n19_27,n20_28). parent(n19_28,n20_27). ... (This is only a excerpt, because of a very long content and a possible freeze of firefox. Please download for whole content.)