% |X| = 30   |Y| = 30
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).
Forall(y31).
Forall(y32).
Forall(y33).
Forall(y34).
Forall(y35).
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).
Conjunct(true, true, true, y59, y51, y41).
Conjunct(true, x29, true, y44, false, y33).
Conjunct(x28, true, x25, false, y41, false).
Conjunct(x25, true, x2, false, y49, false).
Conjunct(true, true, x11, y51, y53, false).
Conjunct(x11, x21, y51, false, false, false).
Conjunct(true, true, true, y60, y56, y49).
Conjunct(true, y40, true, x12, false, y47).
Conjunct(true, x17, y58, x21, false, false).
Conjunct(y52, y31, true, false, false, x19).
Conjunct(true, true, y34, x13, x1, false).
Conjunct(x1, x15, true, false, false, y36).
Conjunct(y55, x29, x13, false, false, false).
Conjunct(x7, y54, x14, false, false, false).
Conjunct(true, true, x2, y35, y46, false).
Conjunct(x18, x24, true, false, false, y59).
Conjunct(x16, true, true, false, x26, y33).
Conjunct(y56, y54, x13, false, false, false).
Conjunct(true, y53, x9, x28, false, false).
Conjunct(x19, y33, y37, false, false, false).
Conjunct(y45, true, true, false, x20, x4).
Conjunct(true, x28, y32, y43, false, false).
Conjunct(true, y34, y37, y31, false, false).
Conjunct(true, true, true, y38, x20, y42).
Conjunct(y41, y52, true, false, false, x29).
Conjunct(y57, true, true, false, x17, x18).
Conjunct(y42, true, true, false, x10, y49).
Conjunct(true, x25, true, y35, false, y56).
Conjunct(y31, x17, x26, false, false, false).
Conjunct(x28, true, true, false, x29, y59).
Conjunct(x3, true, true, false, x22, y38).
Conjunct(y55, true, true, false, x30, y38).
Conjunct(x29, x2, y56, false, false, false).
Conjunct(true, y36, y60, y54, false, false).
Conjunct(true, true, y47, x12, x24, false).
Conjunct(true, x2, x27, y46, false, false).
Conjunct(true, y56, true, x15, false, x12).
Conjunct(y58, true, true, false, x25, x4).
Conjunct(true, x14, y36, y34, false, false).
Conjunct(y32, x11, y33, false, false, false).