% |X| = 35   |Y| = 35
Exists(x1).
Exists(x2).
Exists(x3).
Exists(x4).
Exists(x5).
Exists(x6).
Exists(x7).
Exists(x8).
Exists(x9).
Exists(x10).
Exists(x11).
Exists(x12).
Exists(x13).
Exists(x14).
Exists(x15).
Exists(x16).
Exists(x17).
Exists(x18).
Exists(x19).
Exists(x20).
Exists(x21).
Exists(x22).
Exists(x23).
Exists(x24).
Exists(x25).
Exists(x26).
Exists(x27).
Exists(x28).
Exists(x29).
Exists(x30).
Exists(x31).
Exists(x32).
Exists(x33).
Exists(x34).
Exists(x35).
Forall(y36).
Forall(y37).
Forall(y38).
Forall(y39).
Forall(y40).
Forall(y41).
Forall(y42).
Forall(y43).
Forall(y44).
Forall(y45).
Forall(y46).
Forall(y47).
Forall(y48).
Forall(y49).
Forall(y50).
Forall(y51).
Forall(y52).
Forall(y53).
Forall(y54).
Forall(y55).
Forall(y56).
Forall(y57).
Forall(y58).
Forall(y59).
Forall(y60).
Forall(y61).
Forall(y62).
Forall(y63).
Forall(y64).
Forall(y65).
Forall(y66).
Forall(y67).
Forall(y68).
Forall(y69).
Forall(y70).
Conjunct(x14, true, x12, false, y65, false).
Conjunct(x31, true, true, false, y66, y58).
Conjunct(x31, true, x11, false, y39, false).
Conjunct(x32, x13, y44, false, false, false).
Conjunct(true, x28, y59, x18, false, false).
Conjunct(x7, true, y53, false, x11, false).
Conjunct(y66, x18, true, false, false, x25).
Conjunct(true, y46, y49, y64, false, false).
Conjunct(true, true, true, x27, y65, y63).
Conjunct(true, x19, true, x33, false, y55).
Conjunct(true, y68, x22, x23, false, false).
Conjunct(true, y48, true, y41, false, x10).
Conjunct(x7, true, true, false, x4, y55).
Conjunct(true, y38, x22, y64, false, false).
Conjunct(y66, true, true, false, y45, x2).
Conjunct(true, y40, true, x27, false, x19).
Conjunct(true, y63, x29, y36, false, false).
Conjunct(true, y42, true, y40, false, y49).
Conjunct(true, y59, true, x30, false, x6).
Conjunct(true, true, y54, y38, y65, false).
Conjunct(true, x11, true, x7, false, y69).
Conjunct(true, true, y50, x22, x15, false).
Conjunct(y42, true, y64, false, y55, false).
Conjunct(y68, y52, x24, false, false, false).
Conjunct(true, true, true, x24, y37, x27).
Conjunct(true, true, true, y70, x34, x32).
Conjunct(y50, y60, true, false, false, y65).
Conjunct(x24, true, y64, false, x10, false).
Conjunct(y49, true, true, false, y45, y58).
Conjunct(true, x10, x18, y46, false, false).
Conjunct(x12, true, true, false, y42, y36).
Conjunct(true, true, true, y38, y44, y57).
Conjunct(y47, x25, x20, false, false, false).
Conjunct(true, true, true, x22, y61, y53).
Conjunct(true, true, true, y54, y49, y65).
Conjunct(x34, true, true, false, y69, x19).
Conjunct(true, true, true, x33, y62, x19).
Conjunct(y66, true, x27, false, y64, false).
Conjunct(x26, true, y42, false, x19, false).
Conjunct(true, true, x11, y68, y49, false).
Conjunct(y67, y36, x12, false, false, false).
Conjunct(true, true, y68, y45, x33, false).
Conjunct(x27, true, true, false, y68, y57).
Conjunct(y53, true, y52, false, x5, false).
Conjunct(true, y57, true, y68, false, y47).
Conjunct(y64, y63, true, false, false, x8).
Conjunct(true, true, true, x20, y48, x32).
Conjunct(x24, true, true, false, y47, y39).
Conjunct(true, true, true, y43, x23, y60).
Conjunct(true, x35, x17, y58, false, false).