(~A v U v ~Y) ^
(~Y v ~R v ~M) ^
(V v ~D v X) ^
(P v ~O v M) ^
(E v I v ~D) ^
(~J v ~G v ~H) ^
(Z v ~C v L) ^
(~U v ~O v Q) ^
(~Q v ~A v R) ^
(W v ~D v H) ^
(~B v X v P) ^
(~S v ~Q v W) ^
(~Y v K v Z) ^
(A v ~C v E) ^
(G v Y v ~L) ^
(~O v ~F v M) ^
(M v ~Q v ~L) ^
(~E v ~S v I) ^
(O v ~Z v ~Z) ^
(V v ~W v B) ^
(U v ~Q v ~B) ^
(B v E v ~I) ^
(V v ~D v ~B) ^
(~I v ~G v A) ^
(U v ~P v ~X) ^
(~F v ~Q v ~W) ^
(N v L v G) ^
(I v ~J v E) ^
(~M v D v R) ^
(Q v B v G) ^
(L v L v ~R) ^
(U v C v ~W) ^
(J v O v ~D) ^
(X v E v L) ^
(G v R v ~V) ^
(~L v F v ~P) ^
(~U v ~G v E) ^
(~I v K v M) ^
(~L v S v ~A) ^
(T v V v ~D) ^
(~I v ~H v ~C) ^
(~M v ~Q v P) ^
(R v ~P v M) ^
(~P v ~T v ~I) ^
(J v ~Z v ~D) ^
(~D v ~Q v V) ^
(~M v Z v F) ^
(~X v A v C) ^
(W v ~E v ~Y) ^
(S v W v R) ^
(G v A v ~E) ^
(~C v E v Q) ^
(B v ~W v ~E) ^
(~M v ~J v G) ^
(M v E v M) ^
(~C v J v ~X) ^
(U v W v M) ^
(K v ~D v M) ^
(Z v Y v P) ^
(~U v ~N v U) ^
(~X v W v ~R) ^
(~F v ~R v ~N) ^
(M v ~R v S) ^
(M v ~W v ~H) ^
(F v ~H v M) ^
(~B v B v ~V) ^
(S v ~X v ~C) ^
(~B v M v ~K) ^
(~S v P v ~P) ^
(T v ~L v L) ^
(J v ~R v ~C) ^
(Y v ~X v ~J) ^
(~P v O v ~A) ^
(Y v ~Y v ~D) ^
(Q v P v ~U) ^
(~A v F v V) ^
(~H v ~U v E) ^
(~D v K v ~S) ^
(X v ~K v ~A) ^
(~D v D v ~L) ^
(D v ~J v U) ^
(N v N v ~W) ^
(~A v ~J v E) ^
(R v G v ~A) ^
(~F v ~K v A) ^
(~J v Z v O) ^
(L v E v ~V) ^
(N v V v ~Y) ^
(R v G v ~M) ^
(~D v T v W) ^
(L v ~O v ~A) ^
(K v J v N) ^
(~F v ~Z v D) ^
(P v ~E v ~E) ^
(S v ~Y v F) ^
(~K v ~D v ~E) ^
(X v G v ~A) ^
(V v U v T) ^
(R v M v ~R) ^
(~T v C v ~B) ^
(~I v P v U) ^
(~K v E v ~H) ^
(U v ~D v A) ^
(~W v G v P) ^
(R v S v Z) ^
(~S v ~V v ~B) ^
(~N v ~S v T) ^
(B v ~X v A) ^
(~N v A v V) ^
(B v A v H) ^
(~P v U v T) ^
(S v ~X v P) ^
(E v ~D v S) ^
(N v Q v J) ^
(G v ~D v B) ^
(R v ~R v P) ^
(V v O v ~A) ^
(~E v S v ~D) ^
(~Z v ~A v ~T) ^
(Y v ~Z v ~S) ^
(~A v K v ~T) ^
(~L v J v P) ^
(U v M v C) ^
(~V v S v Z) ^
(L v ~E v ~X) ^
(X v ~V v ~M) ^
(H v ~R v ~Y) ^
(~V v T v ~R) ^
(~Y v X v Z) ^
(I v ~F v R)