great(d01,d02).
great(d02,d03).
great(d02,d04).
great(d01,d05).
great(d02,d05).
great(d03,d05).
great(d02,d06).
great(d02,d07).
great(d02,d08).
great(d02,d09).
great(d05,d09).
great(d02,d10).
great(d05,d10).
great(d02,d11).
great(d05,d11).
great(d02,d12).
great(d05,d12).
great(d01,d13).
great(d02,d13).
great(d03,d13).
great(d04,d13).
great(d05,d13).
great(d06,d13).
great(d07,d13).
great(d08,d13).
great(d09,d13).
great(d10,d13).
great(d02,d14).
great(d05,d14).
great(d02,d15).
great(d05,d15).
great(d02,d16).
great(d05,d16).
great(d01,d17).
great(d02,d17).
great(d03,d17).
great(d04,d17).
great(d05,d17).
great(d06,d17).
great(d07,d17).
great(d08,d17).
great(d09,d17).
great(d10,d17).
great(d11,d17).
great(d12,d17).
great(d13,d17).
great(d02,d18).
great(d05,d18).
great(d13,d18).
great(d02,d19).
great(d05,d19).
great(d13,d19).
great(d17,d19).
great(d02,d20).
great(d05,d20).
great(d13,d20).
great(d17,d20).
great(d02,d21).
great(d05,d21).
great(d13,d21).
great(d17,d21).
great(d02,d22).
great(d05,d22).
great(d13,d22).
great(d17,d22).
great(d02,d23).
great(d05,d23).
great(d13,d23).
great(d17,d23).
great(d02,d24).
great(d05,d24).
great(d13,d24).
great(d17,d24).
great(d02,d25).
great(d05,d25).
great(d13,d25).
great(d17,d25).
great(d01,d26).
great(d02,d26).
great(d03,d26).
great(d04,d26).
great(d05,d26).
great(d06,d26).
great(d07,d26).
great(d08,d26).
great(d09,d26).
great(d10,d26).
great(d11,d26).
great(d12,d26).
great(d13,d26).
great(d14,d26).
great(d15,d26).
great(d16,d26).
great(d17,d26).
great(d18,d26).
great(d19,d26).
great(d20,d26).
great(d21,d26).
great(d22,d26).
great(d23,d26).
great(d24,d26).
great(d02,d27).
great(d05,d27).
great(d13,d27).
great(d17,d27).
great(d02,d28).
great(d05,d28).
great(d13,d28).
great(d17,d28).
great(d01,d29).
great(d02,d29).
great(d03,d29).
great(d04,d29).
great(d05,d29).
great(d06,d29).
great(d07,d29).
great(d08,d29).
great(d09,d29).
great(d10,d29).
great(d11,d29).
great(d12,d29).
great(d13,d29).
great(d14,d29).
great(d15,d29).
great(d16,d29).
great(d17,d29).
great(d18,d29).
great(d19,d29).
great(d20,d29).
great(d21,d29).
great(d22,d29).
great(d23,d29).
great(d24,d29).
great(d25,d29).
great(d02,d30).
great(d05,d30).
great(d13,d30).
great(d17,d30).
great(d26,d30).
great(d02,d31).
great(d05,d31).
great(d13,d31).
great(d17,d31).
great(d26,d31).
great(d29,d31).
great(d01,d32).
great(d02,d32).
great(d03,d32).
great(d04,d32).
great(d05,d32).
great(d06,d32).
great(d07,d32).
great(d08,d32).
great(d09,d32).
great(d10,d32).
great(d11,d32).
great(d12,d32).
great(d13,d32).
great(d14,d32).
great(d15,d32).
great(d16,d32).
great(d17,d32).
great(d18,d32).
great(d19,d32).
great(d20,d32).
great(d21,d32).
great(d22,d32).
great(d23,d32).
great(d24,d32).
great(d25,d32).
great(d26,d32).
great(d27,d32).
great(d28,d32).
great(d02,d33).
great(d05,d33).
great(d13,d33).
great(d17,d33).
great(d26,d33).
great(d29,d33).
great(d02,d34).
great(d05,d34).
great(d13,d34).
great(d17,d34).
great(d26,d34).
great(d29,d34).
great(d02,d35).
great(d05,d35).
great(d13,d35).
great(d17,d35).
great(d26,d35).
great(d29,d35).
great(d01,d36).
great(d02,d36).
great(d03,d36).
great(d04,d36).
great(d05,d36).
great(d06,d36).
great(d07,d36).
great(d08,d36).
great(d09,d36).
great(d10,d36).
great(d11,d36).
great(d12,d36).
great(d13,d36).
great(d14,d36).
great(d15,d36).
great(d16,d36).
great(d17,d36).
great(d18,d36).
great(d19,d36).
great(d20,d36).
great(d21,d36).
great(d22,d36).
great(d23,d36).
great(d24,d36).
great(d25,d36).
great(d26,d36).
great(d27,d36).
great(d28,d36).
great(d29,d36).
great(d30,d36).
great(d31,d36).
great(d02,d37).
great(d05,d37).
great(d13,d37).
great(d17,d37).
great(d26,d37).
great(d29,d37).
great(d32,d37).
great(d02,d38).
great(d05,d38).
great(d13,d38).
great(d17,d38).
great(d26,d38).
great(d29,d38).
great(d32,d38).
great(d36,d38).
great(d02,d39).
great(d05,d39).
great(d13,d39).
great(d17,d39).
great(d26,d39).
great(d29,d39).
great(d32,d39).
great(d36,d39).
great(d01,d40).
great(d02,d40).
great(d03,d40).
great(d04,d40).
great(d05,d40).
great(d06,d40).
great(d07,d40).
great(d08,d40).
great(d09,d40).
great(d10,d40).
great(d11,d40).
great(d12,d40).
great(d13,d40).
great(d14,d40).
great(d15,d40).
great(d16,d40).
great(d17,d40).
great(d18,d40).
great(d19,d40).
great(d20,d40).
great(d21,d40).
great(d22,d40).
great(d23,d40).
great(d24,d40).
great(d25,d40).
great(d26,d40).
great(d27,d40).
great(d28,d40).
great(d29,d40).
great(d30,d40).
great(d31,d40).
great(d32,d40).
great(d33,d40).
great(d34,d40).
great(d35,d40).
great(d36,d40).
great(d37,d40).
great(d38,d40).
great(d39,d40).
great(d02,d41).
great(d05,d41).
great(d13,d41).
great(d17,d41).
great(d26,d41).
great(d29,d41).
great(d32,d41).
great(d36,d41).
great(d02,d42).
great(d05,d42).
great(d13,d42).
great(d17,d42).
great(d26,d42).
great(d29,d42).
great(d32,d42).
great(d36,d42).
great(d40,d42).
great(d02,d43).
great(d05,d43).
great(d13,d43).
great(d17,d43).
great(d26,d43).
great(d29,d43).
great(d32,d43).
great(d36,d43).
great(d40,d43).
great(d02,d44).
great(d05,d44).
great(d13,d44).
great(d17,d44).
great(d26,d44).
great(d29,d44).
great(d32,d44).
great(d36,d44).
great(d40,d44).
great(d46,d40).
great(d45,d42).
great(d45,d43).
great(d45,d44).
great(d01,d45).
great(d02,d45).
great(d03,d45).
great(d04,d45).
great(d05,d45).
great(d06,d45).
great(d07,d45).
great(d08,d45).
great(d09,d45).
great(d10,d45).
great(d11,d45).
great(d12,d45).
great(d13,d45).
great(d14,d45).
great(d15,d45).
great(d16,d45).
great(d17,d45).
great(d18,d45).
great(d19,d45).
great(d20,d45).
great(d21,d45).
great(d22,d45).
great(d23,d45).
great(d24,d45).
great(d25,d45).
great(d26,d45).
great(d27,d45).
great(d28,d45).
great(d29,d45).
great(d30,d45).
great(d31,d45).
great(d32,d45).
great(d33,d45).
great(d34,d45).
great(d35,d45).
great(d36,d45).
great(d37,d45).
great(d38,d45).
great(d39,d45).
great(d40,d45).
great(d41,d45).
great(d02,d46).
great(d05,d46).
great(d13,d46).
great(d17,d46).
great(d26,d46).
great(d29,d46).
great(d32,d46).
great(d36,d46).
great(d02,d47).
great(d05,d47).
great(d13,d47).
great(d17,d47).
great(d26,d47).
great(d29,d47).
great(d32,d47).
great(d36,d47).
great(d40,d47).
great(d01,d48).
great(d02,d48).
great(d03,d48).
great(d04,d48).
great(d05,d48).
great(d06,d48).
great(d07,d48).
great(d08,d48).
great(d09,d48).
great(d10,d48).
great(d11,d48).
great(d12,d48).
great(d13,d48).
great(d14,d48).
great(d15,d48).
great(d16,d48).
great(d17,d48).
great(d18,d48).
great(d19,d48).
great(d20,d48).
great(d21,d48).
great(d22,d48).
great(d23,d48).
great(d24,d48).
great(d25,d48).
great(d26,d48).
great(d27,d48).
great(d28,d48).
great(d29,d48).
great(d30,d48).
great(d31,d48).
great(d32,d48).
great(d33,d48).
great(d34,d48).
great(d35,d48).
great(d36,d48).
great(d37,d48).
great(d38,d48).
great(d39,d48).
great(d40,d48).
great(d41,d48).
great(d42,d48).
great(d43,d48).
great(d02,d49).
great(d05,d49).
great(d13,d49).
great(d17,d49).
great(d26,d49).
great(d29,d49).
great(d32,d49).
great(d36,d49).
great(d40,d49).
great(d02,d50).
great(d05,d50).
great(d13,d50).
great(d17,d50).
great(d26,d50).
great(d29,d50).
great(d32,d50).
great(d36,d50).
great(d40,d50).
great(d02,d51).
great(d05,d51).
great(d13,d51).
great(d17,d51).
great(d26,d51).
great(d29,d51).
great(d32,d51).
great(d36,d51).
great(d40,d51).
great(d02,d52).
great(d05,d52).
great(d13,d52).
great(d17,d52).
great(d26,d52).
great(d29,d52).
great(d32,d52).
great(d36,d52).
great(d40,d52).
great(d02,d53).
great(d05,d53).
great(d13,d53).
great(d17,d53).
great(d26,d53).
great(d29,d53).
great(d32,d53).
great(d36,d53).
great(d40,d53).
great(d02,d54).
great(d05,d54).
great(d13,d54).
great(d17,d54).
great(d26,d54).
great(d29,d54).
great(d32,d54).
great(d36,d54).
great(d40,d54).
great(d02,d55).
great(d05,d55).
great(d13,d55).
great(d17,d55).
great(d26,d55).
great(d29,d55).
great(d32,d55).
great(d36,d55).
great(d46,d45).
great(d55,d45).
great(d45,d47).
great(d45,d48).
great(d46,d48).
great(d49,d48).
great(d53,d48).
great(d54,d48).
great(d55,d48).
great(d45,d49).
great(d45,d50).
great(d45,d51).
great(d48,d51).
great(d45,d52).
great(d48,d52).
great(d45,d53).
