if X then checkpoint if ~X then checkpoint fi else checkpoint fi if X|~X then checkpoint fi if Y then if ~X then checkpoint fi fi if ~~~~X then checkpoint fi if ~~~~~X then checkpoint fi if (((((X))))) then checkpoint fi if ((~((~~~((X)))))) then checkpoint fi if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi if X then if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi if Y then if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi if Z then if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi else if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi fi else if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi if Z then if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi else if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi fi fi else if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi if Y then if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi if Z then if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi else if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi fi else if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi if Z then if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi else if X&Y|Z then checkpoint fi if ~X&Y|Z then checkpoint fi if X&~Y|Z then checkpoint fi if ~X&~Y|Z then checkpoint fi if X&Y|~Z then checkpoint fi if ~X&Y|~Z then checkpoint fi if X&~Y|~Z then checkpoint fi if ~X&~Y|~Z then checkpoint fi if X|Y&Z then checkpoint fi if ~X|Y&Z then checkpoint fi if X|~Y&Z then checkpoint fi if ~X|~Y&Z then checkpoint fi if X|Y&~Z then checkpoint fi if ~X|Y&~Z then checkpoint fi if X|~Y&~Z then checkpoint fi if ~X|~Y&~Z then checkpoint fi fi fi fi checkpoint if ~V then checkpoint if M then checkpoint if P then checkpoint fi checkpoint fi if (J) then checkpoint else checkpoint fi if N then checkpoint if Z then checkpoint fi if J|U then checkpoint fi if W then checkpoint fi if H then checkpoint fi if ~(((H))) then checkpoint else checkpoint fi if I then checkpoint fi checkpoint else checkpoint if ~I&~V&O then checkpoint fi checkpoint fi if X then checkpoint else checkpoint fi checkpoint fi if K then checkpoint if V then checkpoint if Q then checkpoint if (J) then checkpoint else checkpoint fi if J then checkpoint else checkpoint fi if L|X&~H&~I|J|~(Q&Y|L&S)&N then checkpoint fi checkpoint fi if T then checkpoint if Y then checkpoint fi if Z|Y then checkpoint else checkpoint fi if O then checkpoint fi checkpoint else checkpoint if G|I|S&N|~Q|~~~S&(V)&N then checkpoint else checkpoint fi if L then checkpoint fi if (U) then checkpoint else checkpoint fi if U then checkpoint else checkpoint fi if O then checkpoint fi if G then checkpoint fi checkpoint fi checkpoint else checkpoint if W then checkpoint fi checkpoint fi if (~L|L|V)|L|Y then checkpoint if (V) then checkpoint else checkpoint fi if G then checkpoint fi checkpoint fi if M then checkpoint if K then checkpoint if Z&J then checkpoint fi if O then checkpoint else checkpoint fi if ((S)) then checkpoint fi if S then checkpoint fi if X then checkpoint else checkpoint fi if ~M then checkpoint fi checkpoint fi if X then checkpoint if ((S)&W)&(J|N) then checkpoint fi if ~(~P)&Z then checkpoint else checkpoint fi if ((Q)&I) then checkpoint fi checkpoint fi if (J) then checkpoint else checkpoint fi checkpoint fi if J then checkpoint if ~(((K)&T&(Y)))&P then checkpoint fi if O&J&N then checkpoint fi if T then checkpoint fi if Q|R&U then checkpoint else checkpoint fi if ~H then checkpoint fi checkpoint fi checkpoint else checkpoint if W then checkpoint fi if N then checkpoint if ((O)&(H&(N)&Q))|Q&(~~L&(V)&R|((V|G))|O|~(~U)&J|Y) then checkpoint fi if Y then checkpoint if L then checkpoint fi if ~(G)|H&U then checkpoint fi if X then checkpoint fi if (~~J|P) then checkpoint fi checkpoint else checkpoint if L&J then checkpoint fi if (J&(G)) then checkpoint else checkpoint fi if (K&U) then checkpoint fi checkpoint fi if ~I|H&I then checkpoint if (V) then checkpoint fi if L then checkpoint fi checkpoint fi if ~~~~G|~(Q&Y)&S|Q&W|~Z&(Z)&K then checkpoint if Z then checkpoint else checkpoint fi if O then checkpoint fi if X then checkpoint fi checkpoint fi if Y then checkpoint fi if O then checkpoint fi checkpoint else checkpoint if M|G|((Z|~N|Y)) then checkpoint else checkpoint fi if H then checkpoint if ~Z|S then checkpoint else checkpoint fi if (Q|Q)&M|P then checkpoint fi if (I) then checkpoint fi if ~~Y then checkpoint else checkpoint fi if ~~H then checkpoint else checkpoint fi checkpoint fi if G then checkpoint if G then checkpoint fi if L then checkpoint fi if V then checkpoint fi checkpoint fi if X&~K&~H|S then checkpoint else checkpoint fi if S then checkpoint if ~P then checkpoint else checkpoint fi if K then checkpoint fi if S|((Y)&(Z)&K)|(S|K|W) then checkpoint else checkpoint fi checkpoint else checkpoint if K then checkpoint else checkpoint fi if R|~H then checkpoint else checkpoint fi if (Y) then checkpoint else checkpoint fi checkpoint fi if X|~(U&V)&~(H)|H|P then checkpoint fi checkpoint fi if (H)&Z|L&~J&V|Q then checkpoint fi if ~U then checkpoint fi checkpoint fi if O then checkpoint if U then checkpoint if Q then checkpoint if N then checkpoint if W|Y then checkpoint if H then checkpoint else checkpoint fi checkpoint else checkpoint if ((X)&(~J&O)) then checkpoint fi if ~~G then checkpoint fi if N then checkpoint fi if ~((N)) then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi if Z then checkpoint if I then checkpoint fi if T then checkpoint else checkpoint fi if K then checkpoint fi if ~(X) then checkpoint else checkpoint fi if (S|~P) then checkpoint fi checkpoint fi if K then checkpoint if R|H then checkpoint fi if ~J&~H|~(~I|I)|((W))&~R then checkpoint if Z then checkpoint if (~Z&M&N) then checkpoint else checkpoint fi if I then checkpoint else checkpoint fi if T then checkpoint else checkpoint fi if G then checkpoint fi if O then checkpoint fi checkpoint else checkpoint if P then checkpoint fi if Z then checkpoint fi if H|I|((U)) then checkpoint fi if K then checkpoint else checkpoint fi checkpoint fi checkpoint fi if G then checkpoint if ((M|I&~Y&R)) then checkpoint else checkpoint fi checkpoint fi if (L) then checkpoint if ~(X)|(~O) then checkpoint if Y then checkpoint fi if H then checkpoint else checkpoint fi if Z then checkpoint else checkpoint fi checkpoint else checkpoint if N then checkpoint fi if (~N) then checkpoint fi checkpoint fi if ~I&~~L|V&Q&(S)|H then checkpoint if Q then checkpoint else checkpoint fi if J then checkpoint fi if G|I then checkpoint fi if Q then checkpoint fi if O then checkpoint else checkpoint fi checkpoint fi if K then checkpoint else checkpoint fi if Z then checkpoint if N then checkpoint else checkpoint fi checkpoint fi if ~Q then checkpoint else checkpoint fi checkpoint fi if ~R then checkpoint if O then checkpoint fi if L then checkpoint else checkpoint fi if (((W)))|(M)|J then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if G then checkpoint fi if Q|~U|(~V)&Q&T then checkpoint if L then checkpoint if ~J then checkpoint fi if W then checkpoint else checkpoint fi if T&S then checkpoint fi if (L) then checkpoint else checkpoint fi if H then checkpoint fi if ~Z then checkpoint else checkpoint fi checkpoint fi if Y then checkpoint fi checkpoint else checkpoint if ((L&H&S)) then checkpoint if Q then checkpoint fi if O then checkpoint fi if ~R&J|(V|Q)|~~G&W&G&J&~L&U&H&K&T|Z&(P) then checkpoint fi checkpoint else checkpoint if J then checkpoint fi if G|(H&V)&(O|S)&S&(X&U&~R)|~(R) then checkpoint else checkpoint fi if N then checkpoint else checkpoint fi if ~(W) then checkpoint else checkpoint fi if P then checkpoint fi if V&~(O|~Z&W|(~L)&M)&S then checkpoint else checkpoint fi checkpoint fi if Z then checkpoint if N&W&V&Z|(I)|~Q then checkpoint else checkpoint fi if Y then checkpoint else checkpoint fi checkpoint else checkpoint if N then checkpoint else checkpoint fi if S then checkpoint else checkpoint fi checkpoint fi if ~(G) then checkpoint if V then checkpoint fi if Z then checkpoint fi if ((M))|~K then checkpoint else checkpoint fi checkpoint else checkpoint if ~S then checkpoint else checkpoint fi if W&T then checkpoint fi if N then checkpoint fi if N then checkpoint else checkpoint fi if N then checkpoint fi if N then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi checkpoint fi if R then checkpoint if ~M then checkpoint else checkpoint fi if J|U&(J&V)&Z then checkpoint if J then checkpoint fi if (~G|(~~H))&~Z|P then checkpoint else checkpoint fi if P|((H))|Z then checkpoint fi if ~V then checkpoint fi if L then checkpoint else checkpoint fi if Y then checkpoint fi checkpoint fi if ~I then checkpoint if (K) then checkpoint fi if L then checkpoint fi if J then checkpoint fi if ~N then checkpoint else checkpoint fi checkpoint else checkpoint if L then checkpoint fi if I then checkpoint else checkpoint fi if X then checkpoint else checkpoint fi if ~N then checkpoint else checkpoint fi if X&H then checkpoint fi checkpoint fi if (X) then checkpoint if Z then checkpoint else checkpoint fi if M then checkpoint fi if W then checkpoint else checkpoint fi if Q then checkpoint fi if Z&~J then checkpoint else checkpoint fi if I then checkpoint fi checkpoint else checkpoint if W&R then checkpoint else checkpoint fi if N then checkpoint fi if ((J)|G&~J) then checkpoint else checkpoint fi if Z then checkpoint fi if ~K then checkpoint else checkpoint fi checkpoint fi if R then checkpoint fi if ~T|((~O)) then checkpoint if (J) then checkpoint if ~(I|~L&~X&Q|(G|O)|K|V) then checkpoint else checkpoint fi if V|O&~P&~S|~Z then checkpoint else checkpoint fi if ~~J then checkpoint fi if K then checkpoint else checkpoint fi if U then checkpoint fi if O then checkpoint fi checkpoint else checkpoint if (T) then checkpoint fi checkpoint fi if S|O|~S|Q&(U)|U&G|X then checkpoint else checkpoint fi checkpoint else checkpoint if Q then checkpoint if O then checkpoint else checkpoint fi if ~X|O then checkpoint else checkpoint fi if H then checkpoint fi if U then checkpoint fi checkpoint fi if ~U then checkpoint if R then checkpoint else checkpoint fi if Y then checkpoint else checkpoint fi if M then checkpoint else checkpoint fi if ((~P&U)|V&L|J) then checkpoint fi if G then checkpoint else checkpoint fi checkpoint else checkpoint if Y then checkpoint fi if N then checkpoint else checkpoint fi if V then checkpoint fi if ~Y|T&J&O|M|N&Z|U then checkpoint else checkpoint fi if M then checkpoint fi checkpoint fi if ~~~H then checkpoint fi if X|X|(Q|W)|~J then checkpoint if H then checkpoint fi if Q then checkpoint else checkpoint fi if ~G|(K) then checkpoint else checkpoint fi if L then checkpoint fi if Y then checkpoint else checkpoint fi checkpoint fi if I then checkpoint if ~K|G then checkpoint fi if U then checkpoint else checkpoint fi if Q then checkpoint else checkpoint fi if T then checkpoint else checkpoint fi if M then checkpoint else checkpoint fi if Z|P then checkpoint fi checkpoint fi checkpoint fi checkpoint else checkpoint if H then checkpoint fi checkpoint fi checkpoint else checkpoint if O then checkpoint if (S) then checkpoint if U then checkpoint if (~L|T|(W)) then checkpoint else checkpoint fi if ~O|M|O then checkpoint fi if K then checkpoint else checkpoint fi if T then checkpoint fi if X then checkpoint fi if X then checkpoint fi checkpoint else checkpoint if J then checkpoint else checkpoint fi if G then checkpoint else checkpoint fi if U then checkpoint else checkpoint fi if O then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if H&O then checkpoint else checkpoint fi if Y then checkpoint if ~L then checkpoint else checkpoint fi if Q then checkpoint else checkpoint fi if ~(~M)|X then checkpoint else checkpoint fi if (V) then checkpoint else checkpoint fi if (H)&~I then checkpoint fi if I|~H then checkpoint fi checkpoint fi if W then checkpoint if Z then checkpoint fi if ~R&~Y then checkpoint fi checkpoint else checkpoint if (X) then checkpoint else checkpoint fi if P then checkpoint else checkpoint fi if ~~~L|(J)&T&I|H|(U&R)&~N then checkpoint else checkpoint fi if ~P then checkpoint fi if Q|O|Z&(N)|H&H|L&I then checkpoint fi if ~N|G|S&X&Z&M then checkpoint fi checkpoint fi if O then checkpoint if U then checkpoint fi if W|W then checkpoint else checkpoint fi if W then checkpoint else checkpoint fi if H then checkpoint else checkpoint fi if M then checkpoint fi if I then checkpoint else checkpoint fi checkpoint fi if G then checkpoint if G then checkpoint else checkpoint fi if ~Z then checkpoint else checkpoint fi checkpoint else checkpoint if L then checkpoint else checkpoint fi if L then checkpoint fi if I&Y then checkpoint else checkpoint fi if ((V)) then checkpoint else checkpoint fi checkpoint fi if M|J then checkpoint else checkpoint fi checkpoint fi if ((V)) then checkpoint else checkpoint fi checkpoint fi if Q then checkpoint if T then checkpoint if M then checkpoint fi if M then checkpoint fi if (~~L) then checkpoint else checkpoint fi if (Q) then checkpoint else checkpoint fi if X&(J&T) then checkpoint else checkpoint fi if ~~Q|G then checkpoint else checkpoint fi checkpoint else checkpoint if L then checkpoint fi if ~N|~N then checkpoint fi if (U|U|V) then checkpoint else checkpoint fi if M then checkpoint fi checkpoint fi checkpoint fi if Y then checkpoint if ~V&~Z&~P then checkpoint fi if U then checkpoint else checkpoint fi if H|U&~O&U then checkpoint else checkpoint fi checkpoint fi checkpoint fi if K then checkpoint if J then checkpoint if V then checkpoint fi checkpoint fi if N then checkpoint if O then checkpoint if (W) then checkpoint if S then checkpoint else checkpoint fi if ~Y|((J)) then checkpoint else checkpoint fi if ~K then checkpoint fi if O then checkpoint fi if ~I then checkpoint else checkpoint fi checkpoint else checkpoint if J then checkpoint else checkpoint fi if U&~V then checkpoint fi if (P) then checkpoint else checkpoint fi if G then checkpoint fi checkpoint fi checkpoint else checkpoint if (S) then checkpoint if (Z) then checkpoint fi if Z then checkpoint else checkpoint fi if ~~~H then checkpoint else checkpoint fi if (M&~Q&Y&M) then checkpoint else checkpoint fi checkpoint fi if ~(P|(W)) then checkpoint if Q then checkpoint else checkpoint fi if Y&W then checkpoint fi if (J) then checkpoint fi if K then checkpoint else checkpoint fi if R then checkpoint fi if (W)&X|M|((I)&J)|~G then checkpoint else checkpoint fi checkpoint fi if N then checkpoint if (K|J) then checkpoint fi if Y|O|N&I&U|((S)|(H&Y|Y))|K&H then checkpoint else checkpoint fi if I|(N)|((Z))|~((N))&Y then checkpoint else checkpoint fi if Y then checkpoint fi checkpoint else checkpoint if Z then checkpoint fi if W then checkpoint else checkpoint fi if ~X then checkpoint else checkpoint fi checkpoint fi if (~(K)|O) then checkpoint else checkpoint fi if T then checkpoint if (R&(M)&G)|~L&~J then checkpoint else checkpoint fi if S then checkpoint fi checkpoint else checkpoint if U&((R|(R)|N)&Y|T) then checkpoint fi if (L) then checkpoint else checkpoint fi checkpoint fi if G then checkpoint if ((((~(((V)))))&S)) then checkpoint if (K)&I then checkpoint fi checkpoint else checkpoint if (G)|P then checkpoint fi if L then checkpoint else checkpoint fi checkpoint fi if R then checkpoint else checkpoint fi if ~Z then checkpoint if S|W then checkpoint else checkpoint fi checkpoint fi if (~R) then checkpoint else checkpoint fi checkpoint else checkpoint if X then checkpoint if X then checkpoint else checkpoint fi if G&I then checkpoint fi if P then checkpoint else checkpoint fi if ~Q|R&G then checkpoint fi if R&H&(J) then checkpoint fi checkpoint else checkpoint if K then checkpoint else checkpoint fi if Q then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi checkpoint else checkpoint if W then checkpoint fi checkpoint fi checkpoint else checkpoint if ~~X&M&(U)&I|(I|(W)) then checkpoint if Q then checkpoint fi if (G) then checkpoint if H&(O&V) then checkpoint else checkpoint fi if K then checkpoint else checkpoint fi checkpoint else checkpoint if ~S then checkpoint fi checkpoint fi if (R)&J then checkpoint if (G) then checkpoint if H|(~((K))&~W|~(G&~V)|W|~~~U&R|~((G&S))&X|~W|~~P|(O)|~K&U&X|((I))) then checkpoint if ~V then checkpoint fi if Y then checkpoint else checkpoint fi if V then checkpoint fi if Y then checkpoint fi if T then checkpoint fi checkpoint else checkpoint if I then checkpoint else checkpoint fi if (~O) then checkpoint else checkpoint fi if ~J|G then checkpoint else checkpoint fi if J then checkpoint fi if V|N then checkpoint fi if (G) then checkpoint else checkpoint fi checkpoint fi if ~T|M then checkpoint else checkpoint fi if O&Z then checkpoint if ~Y then checkpoint else checkpoint fi if Z then checkpoint else checkpoint fi if X|U then checkpoint fi if I then checkpoint fi checkpoint fi if I then checkpoint if M then checkpoint fi if ~T then checkpoint fi checkpoint else checkpoint if X then checkpoint fi if Q then checkpoint else checkpoint fi if H then checkpoint fi if W&L|J then checkpoint fi if ~(((Y))) then checkpoint else checkpoint fi if (~W) then checkpoint else checkpoint fi checkpoint fi if H then checkpoint if T&M&Z|U|U&J|(Y)|Q then checkpoint fi if Y&J then checkpoint fi if S then checkpoint else checkpoint fi checkpoint else checkpoint if J&Y then checkpoint fi checkpoint fi if (L)|P then checkpoint else checkpoint fi checkpoint fi checkpoint fi if ~(K) then checkpoint if G then checkpoint if S then checkpoint fi checkpoint fi if ~P|(W)&Q then checkpoint else checkpoint fi checkpoint fi if ~U then checkpoint else checkpoint fi if X then checkpoint if M&(~M|U&(P)|P&~R&Z|X|O) then checkpoint else checkpoint fi if Y&N then checkpoint if O then checkpoint else checkpoint fi if Z then checkpoint else checkpoint fi if ~T then checkpoint else checkpoint fi if I then checkpoint fi if X then checkpoint if ((H)&(T)&~K|I) then checkpoint fi if H then checkpoint fi checkpoint fi if ~~(H)|W then checkpoint if Y then checkpoint else checkpoint fi if Z then checkpoint fi if Z then checkpoint fi checkpoint else checkpoint if N then checkpoint fi if W&X|P&X|J then checkpoint fi if X then checkpoint else checkpoint fi if ~((Z)&M)|O|Z then checkpoint fi if X then checkpoint fi checkpoint fi checkpoint else checkpoint if (U&~W|((R))&Y&~~(~N)|G) then checkpoint else checkpoint fi if N then checkpoint if (L) then checkpoint else checkpoint fi if J&H&T&U&I then checkpoint else checkpoint fi if V then checkpoint else checkpoint fi if V then checkpoint else checkpoint fi if R then checkpoint else checkpoint fi checkpoint else checkpoint if ((L))&(I)|(R|U|~~(H|L)&H) then checkpoint else checkpoint fi if N then checkpoint fi if P|I then checkpoint else checkpoint fi if ~~Y|V then checkpoint fi checkpoint fi if ~~M then checkpoint else checkpoint fi checkpoint fi if (Z) then checkpoint if ~I then checkpoint if W then checkpoint else checkpoint fi if W then checkpoint fi if ~J then checkpoint else checkpoint fi if H&V|~~P then checkpoint else checkpoint fi checkpoint fi if (~M|~M) then checkpoint if V&X&~S&(S)|R&(Z)&~N|K&N then checkpoint fi checkpoint fi if G&Q then checkpoint else checkpoint fi checkpoint fi if N&W then checkpoint else checkpoint fi if ~J then checkpoint if R then checkpoint else checkpoint fi if H then checkpoint else checkpoint fi if L then checkpoint else checkpoint fi if (T) then checkpoint if ~L then checkpoint fi checkpoint fi if V then checkpoint else checkpoint fi if ~~~X|I&~~Y&U then checkpoint if Y then checkpoint fi if (~P|Y&H) then checkpoint fi if (K)|(J) then checkpoint fi if S then checkpoint else checkpoint fi checkpoint else checkpoint if (P&Q|Y) then checkpoint fi if ~(Z|((X|U))) then checkpoint else checkpoint fi if ~H&U|~Y then checkpoint fi if I then checkpoint else checkpoint fi if X&((~M&I)) then checkpoint fi if K then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if M then checkpoint fi if ~N|J then checkpoint if X then checkpoint else checkpoint fi if (~(N)|M) then checkpoint fi if V then checkpoint else checkpoint fi if (T) then checkpoint fi if ~S|M|~M&P then checkpoint else checkpoint fi if L then checkpoint else checkpoint fi checkpoint else checkpoint if K then checkpoint else checkpoint fi if U then checkpoint else checkpoint fi if T&(~U)|Z then checkpoint else checkpoint fi if ((~N|V)) then checkpoint else checkpoint fi if I|(Z)|~S&V&G|~L&K|L|V|(~Z)|N&N&~(R)&I&~(O)|H then checkpoint else checkpoint fi if (K|Y) then checkpoint fi checkpoint fi if P then checkpoint if (O) then checkpoint fi if X then checkpoint else checkpoint fi if ~Z then checkpoint fi if N|N|R&(Q)&Y then checkpoint fi if ((~U|T|I&~~Y&Q|H|S|P)) then checkpoint else checkpoint fi checkpoint fi checkpoint fi if ~~S|P|W&~O|(M)|I|U&M|N|L&X then checkpoint if K|O then checkpoint fi if Q|~((W))&S&(V|N&~S|N)|(Y) then checkpoint else checkpoint fi if P then checkpoint fi if S&P then checkpoint fi if U then checkpoint else checkpoint fi if (P) then checkpoint else checkpoint fi checkpoint else checkpoint if ((U))&~~K|O&N|Q then checkpoint else checkpoint fi if X then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if O then checkpoint else checkpoint fi if N then checkpoint if R|~G|~I then checkpoint else checkpoint fi if L then checkpoint fi if ~((Q))&M then checkpoint else checkpoint fi if S then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint else checkpoint if (V) then checkpoint if R then checkpoint if (U|Y&J) then checkpoint fi if O then checkpoint else checkpoint fi if (V) then checkpoint else checkpoint fi if X then checkpoint else checkpoint fi checkpoint else checkpoint if P&L then checkpoint else checkpoint fi checkpoint fi if X then checkpoint if I then checkpoint if Q then checkpoint else checkpoint fi checkpoint fi if S then checkpoint fi if O then checkpoint if I|O then checkpoint fi if Y then checkpoint else checkpoint fi if K then checkpoint else checkpoint fi if W then checkpoint fi checkpoint fi if Z then checkpoint if ~Q then checkpoint else checkpoint fi if ~K|J then checkpoint else checkpoint fi if L then checkpoint else checkpoint fi if (K)|~((O|Y))&Q|((X))|(H)|P|H|U&~G|R then checkpoint else checkpoint fi checkpoint fi if (((R))) then checkpoint else checkpoint fi checkpoint fi if (~U|(T)&Y|G|(O)|((M))&~P&M) then checkpoint else checkpoint fi if (X) then checkpoint else checkpoint fi if G then checkpoint if S then checkpoint fi if P then checkpoint else checkpoint fi if W&S&S&(X) then checkpoint if ~Y&~S&G then checkpoint fi if M then checkpoint fi if I then checkpoint fi if ~G then checkpoint fi checkpoint else checkpoint if L&Y then checkpoint else checkpoint fi if P|Y&(Y&T)|~~W&R then checkpoint fi if ~J&(Q|~N|I|N&M) then checkpoint else checkpoint fi if N then checkpoint fi if U then checkpoint else checkpoint fi checkpoint fi if S then checkpoint if ~(Q|G|Z&Y) then checkpoint fi if ~~~O&~~Q|I&U then checkpoint else checkpoint fi if V then checkpoint fi if H then checkpoint else checkpoint fi if N&Q then checkpoint fi if Q then checkpoint else checkpoint fi checkpoint else checkpoint if ~(R)&(X) then checkpoint else checkpoint fi if T|Z|(P)|R then checkpoint else checkpoint fi if I&U|Y|N then checkpoint fi if (R&J) then checkpoint fi if (Y) then checkpoint else checkpoint fi if Z&(T)|L then checkpoint fi checkpoint fi if ~T|~J then checkpoint fi checkpoint else checkpoint if S then checkpoint else checkpoint fi if (H) then checkpoint fi checkpoint fi if K&(I) then checkpoint if I then checkpoint if I|V then checkpoint else checkpoint fi checkpoint fi if W|(S) then checkpoint fi if T then checkpoint else checkpoint fi if I then checkpoint fi if W then checkpoint if N then checkpoint else checkpoint fi if T then checkpoint else checkpoint fi if M&H then checkpoint else checkpoint fi checkpoint fi if W then checkpoint else checkpoint fi checkpoint else checkpoint if ~X then checkpoint if ~H then checkpoint else checkpoint fi if P then checkpoint else checkpoint fi if J|Q then checkpoint fi if U&U then checkpoint else checkpoint fi if (L) then checkpoint else checkpoint fi checkpoint else checkpoint if T then checkpoint fi if X then checkpoint else checkpoint fi if V then checkpoint else checkpoint fi if ~V&~~L&Q then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi if J then checkpoint if (~I) then checkpoint else checkpoint fi if M then checkpoint if W then checkpoint else checkpoint fi if (K) then checkpoint else checkpoint fi if N then checkpoint else checkpoint fi checkpoint fi if N then checkpoint if T&~Z then checkpoint else checkpoint fi if ~T&M|(N)|(W) then checkpoint fi if S then checkpoint fi if R|S&M&J then checkpoint fi checkpoint fi if ~Z|W|G&(~J|Y)|X&R&G|H&J&J then checkpoint else checkpoint fi if (M)|M then checkpoint else checkpoint fi checkpoint else checkpoint if (Z) then checkpoint fi if ~V&(~X)|I then checkpoint if H then checkpoint fi if S then checkpoint else checkpoint fi if X|Z&M|S then checkpoint if K then checkpoint fi if J then checkpoint fi if G&(O)|M|U then checkpoint fi if (N) then checkpoint else checkpoint fi if H then checkpoint fi if U|L then checkpoint fi checkpoint fi if ~X|L then checkpoint if M then checkpoint fi if ~J&I&M&P then checkpoint else checkpoint fi if (T)|R then checkpoint else checkpoint fi if (J) then checkpoint fi checkpoint else checkpoint if V then checkpoint fi checkpoint fi if ~~T then checkpoint else checkpoint fi checkpoint else checkpoint if M then checkpoint if ~J then checkpoint fi if W then checkpoint fi checkpoint fi if Q then checkpoint fi if ~M then checkpoint fi if (N) then checkpoint else checkpoint fi if Y then checkpoint if I then checkpoint else checkpoint fi if K then checkpoint else checkpoint fi if (H) then checkpoint else checkpoint fi checkpoint else checkpoint if ~Z then checkpoint fi if (X&S) then checkpoint else checkpoint fi if S then checkpoint fi if J then checkpoint else checkpoint fi checkpoint fi checkpoint fi if P then checkpoint if (~L|L&X) then checkpoint else checkpoint fi if U then checkpoint else checkpoint fi if (W) then checkpoint fi if M then checkpoint else checkpoint fi checkpoint else checkpoint if X then checkpoint else checkpoint fi if S then checkpoint fi if H|G then checkpoint fi if (W) then checkpoint fi if H then checkpoint fi if S then checkpoint else checkpoint fi checkpoint fi if M|R|O then checkpoint if Z then checkpoint else checkpoint fi if V|((G)) then checkpoint fi if X then checkpoint else checkpoint fi if (~T) then checkpoint else checkpoint fi if V|Z then checkpoint else checkpoint fi if J then checkpoint fi checkpoint fi if H then checkpoint if Q then checkpoint else checkpoint fi if ~~V then checkpoint fi checkpoint fi checkpoint fi if ~R|X|~P&P then checkpoint if (I) then checkpoint fi if G&(J) then checkpoint if K then checkpoint else checkpoint fi if H then checkpoint else checkpoint fi if U then checkpoint fi if (X) then checkpoint else checkpoint fi if I then checkpoint else checkpoint fi if K then checkpoint fi checkpoint else checkpoint if U&I then checkpoint fi checkpoint fi if U then checkpoint else checkpoint fi checkpoint else checkpoint if (~Q|G) then checkpoint fi if X then checkpoint if ~~(J)&X&~L|(R)|Z then checkpoint fi checkpoint else checkpoint if P then checkpoint else checkpoint fi if L&M&((~G))|H then checkpoint else checkpoint fi if L then checkpoint fi if ~K|(V)|R&((~O)|~((~M&T&(~J&(X))|~H|(N)&H&~~Q))&(L)) then checkpoint else checkpoint fi checkpoint fi if G then checkpoint fi if Y then checkpoint fi if R then checkpoint else checkpoint fi if T then checkpoint if R then checkpoint else checkpoint fi if J then checkpoint fi checkpoint else checkpoint if Y&O then checkpoint fi if Q then checkpoint else checkpoint fi if K&U then checkpoint fi if U&(~V&R)|T&(Q&(M|P|N))|Y then checkpoint else checkpoint fi if Y then checkpoint else checkpoint fi if H then checkpoint else checkpoint fi checkpoint fi checkpoint fi if I|(~~~T) then checkpoint if (P)|J then checkpoint if M&U then checkpoint else checkpoint fi if (X&Y)&~~X|Q|((W)) then checkpoint fi if G|N then checkpoint else checkpoint fi if W then checkpoint fi if (K) then checkpoint fi checkpoint fi if (O) then checkpoint if I then checkpoint else checkpoint fi if N then checkpoint else checkpoint fi if (~X|~V&P|(R)&~L|(~P)) then checkpoint else checkpoint fi if X then checkpoint fi checkpoint else checkpoint if Z&(R)|~O|R&(((N)))&Y|L&~X&((Y))|J&O|(G)|Y|(X)|Y&X then checkpoint fi if I then checkpoint fi if G then checkpoint fi checkpoint fi if P then checkpoint fi checkpoint else checkpoint if J then checkpoint else checkpoint fi if M then checkpoint if O then checkpoint else checkpoint fi if M then checkpoint else checkpoint fi checkpoint else checkpoint if (G)|(N) then checkpoint fi checkpoint fi checkpoint fi if (L)|K then checkpoint if ~~Z|P then checkpoint else checkpoint fi if P then checkpoint fi if S then checkpoint else checkpoint fi if M&X then checkpoint fi if V|((~(M)&O))|Y|T then checkpoint fi if Y then checkpoint fi checkpoint fi checkpoint fi if (I) then checkpoint if O then checkpoint if ((M)) then checkpoint if (R&S) then checkpoint fi if ~T&S then checkpoint fi checkpoint fi checkpoint fi if K then checkpoint if (G|L|S) then checkpoint if N then checkpoint fi if X then checkpoint else checkpoint fi checkpoint else checkpoint if W then checkpoint else checkpoint fi checkpoint fi if J&Q then checkpoint if X&X then checkpoint else checkpoint fi if (J) then checkpoint if H&I then checkpoint fi if N&W then checkpoint fi if (J) then checkpoint else checkpoint fi if ~~U then checkpoint fi checkpoint fi if M then checkpoint if H then checkpoint else checkpoint fi checkpoint fi if ~U then checkpoint if U then checkpoint fi if W then checkpoint fi checkpoint else checkpoint if M|L then checkpoint else checkpoint fi if Q then checkpoint fi if W then checkpoint fi if H&M then checkpoint fi checkpoint fi if G|S then checkpoint if ~H then checkpoint else checkpoint fi if (R) then checkpoint else checkpoint fi if U&~~~P then checkpoint fi if (H&N)|L then checkpoint fi if Q then checkpoint fi if P then checkpoint else checkpoint fi checkpoint fi checkpoint fi if (N&I) then checkpoint if ~V then checkpoint if ~X|Z then checkpoint fi if T then checkpoint fi if ~S|~J|(~O)&O&G&~S|Y|K then checkpoint else checkpoint fi checkpoint fi if G then checkpoint if (K) then checkpoint fi if K then checkpoint fi if (Y) then checkpoint fi checkpoint else checkpoint if (O) then checkpoint else checkpoint fi if Q|N then checkpoint else checkpoint fi if ~(M|H) then checkpoint else checkpoint fi if T&(J&((Y))|Q&Z|S) then checkpoint fi checkpoint fi if (~(Q)) then checkpoint if X then checkpoint else checkpoint fi if N|P then checkpoint else checkpoint fi checkpoint fi if L then checkpoint else checkpoint fi if ~~H then checkpoint if V|~W|U|~Q then checkpoint else checkpoint fi if H&T&L then checkpoint else checkpoint fi if P then checkpoint else checkpoint fi if G|V&(Y) then checkpoint fi if W then checkpoint fi if R then checkpoint else checkpoint fi checkpoint else checkpoint if I|N then checkpoint fi if ~(S) then checkpoint fi if (((~~(P)|L&X|~((M|(I)&S))&(O)|W|(~I|O&X|(G)|~Y)&U|R|Z)&U|P)) then checkpoint else checkpoint fi checkpoint fi if (G) then checkpoint fi checkpoint fi if H&~N then checkpoint if (~K|L) then checkpoint if ~N then checkpoint fi if ((H)) then checkpoint fi if ~W|(M&L|X) then checkpoint fi if ~~(M|(N))|S&((U))|J&((S)) then checkpoint else checkpoint fi checkpoint fi if M then checkpoint fi checkpoint fi if L|U then checkpoint if ~Z|S then checkpoint else checkpoint fi if K&Q then checkpoint else checkpoint fi if V then checkpoint else checkpoint fi if ~Q then checkpoint else checkpoint fi if R then checkpoint else checkpoint fi if Q then checkpoint else checkpoint fi checkpoint fi if T then checkpoint if N&Q then checkpoint else checkpoint fi if T then checkpoint else checkpoint fi if K&Z then checkpoint fi if Q then checkpoint fi if T then checkpoint fi checkpoint else checkpoint if P then checkpoint fi if N&(W) then checkpoint else checkpoint fi checkpoint fi checkpoint fi if S|R|(I) then checkpoint else checkpoint fi if X then checkpoint fi if L then checkpoint if S then checkpoint else checkpoint fi checkpoint else checkpoint if Q then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if (~W&Q&(Z)|P|(M)|Y|P&U|V|S&R|~(K)|~Q&K&J|~~I|M|X|(H)&M&M|W) then checkpoint if (~Z|Q&V&~M&~X&((R))|K&K&((T)|R)&(K)|P&~L) then checkpoint else checkpoint fi if Y then checkpoint else checkpoint fi checkpoint else checkpoint if L then checkpoint fi if W then checkpoint else checkpoint fi if R|(M) then checkpoint else checkpoint fi if N then checkpoint else checkpoint fi checkpoint fi if S then checkpoint if ~Y then checkpoint fi if L then checkpoint fi if ~Z then checkpoint fi if J then checkpoint fi if ~W&P|K then checkpoint else checkpoint fi checkpoint else checkpoint if I then checkpoint fi if N then checkpoint fi if (N) then checkpoint fi if U then checkpoint fi if (~(~X)) then checkpoint fi if ~H|~U then checkpoint else checkpoint fi checkpoint fi if I|R then checkpoint if Y then checkpoint if H&(N)&G|~Q then checkpoint fi if ~((W)&O) then checkpoint fi if U then checkpoint else checkpoint fi if (~K) then checkpoint fi if (P)|P|U then checkpoint fi if G then checkpoint else checkpoint fi checkpoint else checkpoint if L&((Z&M)) then checkpoint fi if K&(S) then checkpoint fi if J then checkpoint fi if X then checkpoint fi if I&~R then checkpoint fi checkpoint fi if T then checkpoint else checkpoint fi if W then checkpoint fi if (W) then checkpoint else checkpoint fi if M then checkpoint else checkpoint fi checkpoint fi if (K)|N&~(X)&O|W|~X&~~((N))|~I|S then checkpoint if ~N|I then checkpoint if U then checkpoint fi checkpoint else checkpoint if X then checkpoint fi if M then checkpoint else checkpoint fi checkpoint fi if T then checkpoint else checkpoint fi if I then checkpoint if J then checkpoint else checkpoint fi if M then checkpoint fi if G then checkpoint fi if J then checkpoint fi if (~(H)) then checkpoint fi checkpoint else checkpoint if ~R then checkpoint fi if X|J then checkpoint else checkpoint fi if W then checkpoint fi if U then checkpoint fi if H then checkpoint fi if ~G|(~(L))&~H&~M&T|~O then checkpoint fi checkpoint fi if Q then checkpoint if (T) then checkpoint fi if ((~~T|N)) then checkpoint fi if (H) then checkpoint fi if ~R|P then checkpoint fi if L then checkpoint fi checkpoint fi if P then checkpoint if L then checkpoint else checkpoint fi if ~(O)|X&T|~~V|O|L then checkpoint fi if P then checkpoint fi checkpoint fi checkpoint else checkpoint if I then checkpoint if P then checkpoint else checkpoint fi checkpoint fi if I&M then checkpoint if W then checkpoint fi if Z|J then checkpoint else checkpoint fi if ((Z)&(G))&~(K)|U|Q then checkpoint fi if R&X&(U) then checkpoint else checkpoint fi if V then checkpoint fi if R&V then checkpoint fi checkpoint fi checkpoint fi checkpoint fi if R then checkpoint if T then checkpoint if (P) then checkpoint else checkpoint fi if (Z)|S then checkpoint if V then checkpoint else checkpoint fi if ~X&G then checkpoint else checkpoint fi if ~P&~(~~R|O&Y&Q|H|N)&~(V)&W&J|N&I&O then checkpoint else checkpoint fi checkpoint fi if ~U then checkpoint if H then checkpoint else checkpoint fi if I then checkpoint if N then checkpoint fi checkpoint else checkpoint if R then checkpoint fi checkpoint fi if O then checkpoint if (G) then checkpoint fi if U&S|Q|J|J then checkpoint fi if Z then checkpoint fi if ~H then checkpoint else checkpoint fi if O then checkpoint fi if (Y) then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if ~Q|G&T|S&W&W&(((Q))&Y) then checkpoint else checkpoint fi if T&(K) then checkpoint if K then checkpoint fi if U then checkpoint fi if K then checkpoint fi if P then checkpoint else checkpoint fi if H&W&((~O&N|~~N&G|W|J))|(Q) then checkpoint else checkpoint fi checkpoint else checkpoint if ~~K then checkpoint fi if L then checkpoint else checkpoint fi if K then checkpoint fi if O then checkpoint fi checkpoint fi if Z then checkpoint else checkpoint fi checkpoint fi if T|~M|Q&(~H|W) then checkpoint else checkpoint fi if (~(~H)) then checkpoint if N&~L|((~~N)|L)&(Z)&L|Q&K&S|S then checkpoint fi if X then checkpoint if U then checkpoint fi if M then checkpoint fi if L then checkpoint fi checkpoint fi checkpoint fi checkpoint fi if ~Y then checkpoint if V|S then checkpoint if X then checkpoint else checkpoint fi if P then checkpoint fi if X&W&(Z) then checkpoint fi checkpoint fi if Z then checkpoint if T then checkpoint fi checkpoint else checkpoint if L then checkpoint else checkpoint fi if (X|O&T&((R))&O|(N&T|G)) then checkpoint fi if M then checkpoint else checkpoint fi if P then checkpoint fi if (T) then checkpoint fi if Z then checkpoint fi checkpoint fi if H then checkpoint fi if H then checkpoint if N then checkpoint fi if (O) then checkpoint else checkpoint fi if ((H))&~V then checkpoint fi if J then checkpoint fi checkpoint else checkpoint if Q then checkpoint fi if N then checkpoint fi checkpoint fi checkpoint fi if (R)|X&(U) then checkpoint if U then checkpoint if U then checkpoint fi if K|U then checkpoint fi if I&K&O&~X&(I)|Z&W&~L|N|W|T|I then checkpoint fi if M then checkpoint fi checkpoint fi if Q then checkpoint fi checkpoint else checkpoint if G then checkpoint if W&K then checkpoint fi if L&T then checkpoint fi if P&J|H then checkpoint else checkpoint fi if U then checkpoint else checkpoint fi checkpoint fi if (X) then checkpoint if O then checkpoint fi if ~G then checkpoint fi if G then checkpoint else checkpoint fi if K|L&Y&W|N&(Q) then checkpoint fi checkpoint fi checkpoint fi if T then checkpoint if Z then checkpoint fi if N then checkpoint fi checkpoint else checkpoint if Z|V|Y then checkpoint fi if (N) then checkpoint fi if (~(~T)&(~I&~M)) then checkpoint fi if J|P then checkpoint else checkpoint fi checkpoint fi if G then checkpoint if (V) then checkpoint else checkpoint fi if H then checkpoint if Z&G&P|(O)|~Y then checkpoint else checkpoint fi if J then checkpoint fi if P&Y then checkpoint fi checkpoint fi if ~J&~O&V|(Y) then checkpoint if N then checkpoint fi if S&U then checkpoint if (~~P&~(~U)&P) then checkpoint fi if Z then checkpoint fi if N then checkpoint fi if Z|T then checkpoint fi if X then checkpoint else checkpoint fi checkpoint else checkpoint if T then checkpoint fi if H&K then checkpoint fi if ~(I) then checkpoint else checkpoint fi if R|(L)&H|~Q then checkpoint fi if ~Q then checkpoint fi if W then checkpoint fi checkpoint fi if (Q)&Y then checkpoint fi if ((J)) then checkpoint if G then checkpoint else checkpoint fi if H|G|J then checkpoint fi checkpoint else checkpoint if ~J|W then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if ~H then checkpoint fi if ~T then checkpoint else checkpoint fi if (M) then checkpoint fi checkpoint fi checkpoint else checkpoint if I then checkpoint if I then checkpoint else checkpoint fi if U then checkpoint fi if ~S then checkpoint else checkpoint fi if W then checkpoint fi if ~T then checkpoint fi if ~T then checkpoint if Q then checkpoint else checkpoint fi if ~H then checkpoint fi if (O) then checkpoint else checkpoint fi if ~V&Q|J&Q|(H&L) then checkpoint fi if Q then checkpoint fi checkpoint fi checkpoint else checkpoint if R then checkpoint else checkpoint fi checkpoint fi if Y|~K|(~Q&~(~(X|W)))|V then checkpoint if (V|O) then checkpoint if W then checkpoint else checkpoint fi if L&(G)|M&G&(L&(W&X|H|S)|M&Y|S&V|N)&Y then checkpoint else checkpoint fi if N then checkpoint else checkpoint fi checkpoint else checkpoint if P then checkpoint else checkpoint fi if N then checkpoint fi if Z then checkpoint fi if L then checkpoint fi if M then checkpoint else checkpoint fi if T then checkpoint else checkpoint fi checkpoint fi if V then checkpoint if (P)|H then checkpoint else checkpoint fi checkpoint else checkpoint if X then checkpoint fi if (~S&L) then checkpoint fi if R then checkpoint fi if (O) then checkpoint else checkpoint fi checkpoint fi checkpoint fi if (J) then checkpoint if H then checkpoint if ~((I)) then checkpoint else checkpoint fi if W then checkpoint else checkpoint fi if X then checkpoint else checkpoint fi if U then checkpoint else checkpoint fi checkpoint else checkpoint if ~(W)&I then checkpoint fi if Y then checkpoint fi if Q then checkpoint fi if I then checkpoint fi checkpoint fi if U&O then checkpoint if (I)&M&V then checkpoint fi if X then checkpoint fi if H|G then checkpoint else checkpoint fi if I then checkpoint fi if Z then checkpoint fi checkpoint else checkpoint if P then checkpoint fi if N&O then checkpoint fi if T then checkpoint else checkpoint fi if U then checkpoint else checkpoint fi if W&((O)) then checkpoint else checkpoint fi if Q then checkpoint fi checkpoint fi if ~X then checkpoint if (K) then checkpoint else checkpoint fi if V then checkpoint fi if S then checkpoint else checkpoint fi checkpoint else checkpoint if ~G then checkpoint fi if ~H&Z|U&I&~Y&~Y|V then checkpoint else checkpoint fi checkpoint fi if N then checkpoint if Z|(W) then checkpoint else checkpoint fi if ~P then checkpoint else checkpoint fi checkpoint fi if Q then checkpoint if ~Y|~~U|R&I|((M|T&X)|(W&I&H)|(U|Q&W)|~(P&~G&(~J)&G)|R&W&U&Y&R)&~(G|(L|L&V|~(M|Z|T)&O|N&P))&U then checkpoint else checkpoint fi if N|K then checkpoint fi if (T&I|I)&V then checkpoint else checkpoint fi checkpoint fi if J then checkpoint if (S) then checkpoint else checkpoint fi if Z then checkpoint fi if S&V then checkpoint fi if P then checkpoint fi if T then checkpoint fi if O then checkpoint else checkpoint fi checkpoint fi checkpoint fi if R then checkpoint if S then checkpoint if K then checkpoint else checkpoint fi if (~L|~X&X)&(~T) then checkpoint if ~G then checkpoint fi if ~I then checkpoint else checkpoint fi if U then checkpoint fi if J|~H|~((G)|Q) then checkpoint else checkpoint fi if V then checkpoint else checkpoint fi if Q then checkpoint else checkpoint fi checkpoint else checkpoint if T then checkpoint else checkpoint fi if Z then checkpoint else checkpoint fi if L then checkpoint fi if N|~I then checkpoint else checkpoint fi if ~(K)&N&L then checkpoint else checkpoint fi if U&U then checkpoint fi checkpoint fi if (~(K)&(N)|O) then checkpoint fi if J then checkpoint fi checkpoint else checkpoint if P then checkpoint fi if V then checkpoint fi if Z then checkpoint else checkpoint fi if R&~(J)|~L&Z|P|K|G then checkpoint if M then checkpoint fi if Y then checkpoint fi if (~I) then checkpoint else checkpoint fi if (N&(N|P))|U|(L) then checkpoint fi if P then checkpoint fi if J then checkpoint else checkpoint fi checkpoint fi if W then checkpoint fi checkpoint fi if I&V then checkpoint if Y then checkpoint if K then checkpoint fi if V|T then checkpoint else checkpoint fi if I then checkpoint fi if W then checkpoint fi if U then checkpoint fi checkpoint fi if V then checkpoint if ~M then checkpoint fi if ~O&~J then checkpoint fi if (L) then checkpoint else checkpoint fi if (~H)&~~J|Z then checkpoint else checkpoint fi checkpoint else checkpoint if ~T&L|V then checkpoint fi if G then checkpoint fi if R then checkpoint fi checkpoint fi if H then checkpoint if S&M|T then checkpoint else checkpoint fi if U then checkpoint else checkpoint fi if ~(R)|G then checkpoint else checkpoint fi checkpoint fi if Y then checkpoint if H then checkpoint fi if P then checkpoint fi if L then checkpoint else checkpoint fi if ~Z&R&(M&Y&T&O)|L&Q then checkpoint else checkpoint fi if H then checkpoint else checkpoint fi if O then checkpoint fi checkpoint fi checkpoint fi if P then checkpoint if ~(Q) then checkpoint if O then checkpoint else checkpoint fi if ~I then checkpoint else checkpoint fi checkpoint else checkpoint if O&L|U|~S|K&U then checkpoint else checkpoint fi if Z then checkpoint fi if (J&K)&~V then checkpoint else checkpoint fi if P then checkpoint else checkpoint fi if W then checkpoint fi if ((K&(S))) then checkpoint fi checkpoint fi if L then checkpoint if ~T then checkpoint fi if V then checkpoint else checkpoint fi checkpoint fi if S then checkpoint fi if ~~X then checkpoint if (~M&O&Z&~S&~O|M&S) then checkpoint fi checkpoint fi if V&M then checkpoint if P then checkpoint else checkpoint fi if H|G then checkpoint else checkpoint fi if Y|T&G then checkpoint else checkpoint fi if Q then checkpoint else checkpoint fi if T then checkpoint else checkpoint fi checkpoint fi checkpoint fi if M then checkpoint if U&L then checkpoint else checkpoint fi checkpoint fi if U then checkpoint if P then checkpoint fi if ~Q then checkpoint fi if ~~M|(V) then checkpoint else checkpoint fi if J then checkpoint else checkpoint fi checkpoint fi if H then checkpoint if (W) then checkpoint if (O) then checkpoint fi if Q then checkpoint fi if ~W|((~~R&W|(N)&K))|J then checkpoint fi if (~~(~I)) then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi if T then checkpoint else checkpoint fi if G then checkpoint if S then checkpoint if Z then checkpoint fi checkpoint fi if R then checkpoint fi if G&~T|X|~V&S then checkpoint else checkpoint fi if ~~N|T&T then checkpoint if (W)|(T)&Z then checkpoint fi if (X|(U&(~H&Z&(T)|~X|Q&X&((~(M&(G)&~~W|~(T|U&G)|Q&Y|H)|H&~K&G))|K|X&Z|M|M)&I)&(((~H&X|(G&Q)|P)))|(~(X&N)&I&(P)&S)&(Q)) then checkpoint fi if G|~L then checkpoint fi if ((V)|V) then checkpoint fi if N then checkpoint else checkpoint fi checkpoint else checkpoint if W then checkpoint fi if Y&L then checkpoint else checkpoint fi if (Q) then checkpoint fi if (K) then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi if ((~~S)) then checkpoint if G then checkpoint fi if (X) then checkpoint fi if (S)|M then checkpoint fi checkpoint else checkpoint if Y then checkpoint fi if Z then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi if P then checkpoint if (O) then checkpoint if (K&((W|G&K&T&(J)|L|(Q)&L)|G&I)|W|Y) then checkpoint if J then checkpoint else checkpoint fi if P then checkpoint fi if Y then checkpoint else checkpoint fi if ~Q then checkpoint else checkpoint fi checkpoint else checkpoint if Z then checkpoint else checkpoint fi if J then checkpoint fi if ~V then checkpoint fi checkpoint fi checkpoint fi if ~M then checkpoint if ~Q then checkpoint if (P|~M&(L))&~~M|I then checkpoint if R then checkpoint else checkpoint fi if R then checkpoint if I then checkpoint fi checkpoint else checkpoint if ~~X|M then checkpoint fi if X then checkpoint fi if T then checkpoint else checkpoint fi if (G&G|G|H) then checkpoint else checkpoint fi if I then checkpoint else checkpoint fi if V then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi if (H)|J then checkpoint if N|~Y&(S)|J then checkpoint fi if ((V)|~U&I) then checkpoint if ~(~I|Y)&N|~P then checkpoint fi if Y then checkpoint else checkpoint fi checkpoint fi if ~(V&~(Y)&P|~((X)|Y)) then checkpoint if ~(W) then checkpoint fi checkpoint fi if (Q) then checkpoint else checkpoint fi checkpoint else checkpoint if U then checkpoint else checkpoint fi if J then checkpoint else checkpoint fi if (T&P&I&M) then checkpoint if H&R then checkpoint fi if ~H then checkpoint else checkpoint fi if L then checkpoint else checkpoint fi if V&H then checkpoint else checkpoint fi checkpoint fi checkpoint fi if W then checkpoint if U then checkpoint if T then checkpoint if Q then checkpoint else checkpoint fi if O then checkpoint fi if L then checkpoint else checkpoint fi if ~M&(W|G) then checkpoint fi if (P) then checkpoint else checkpoint fi if ~~R|K|(U|((H)&R)) then checkpoint else checkpoint fi checkpoint else checkpoint if Z then checkpoint else checkpoint fi if Q then checkpoint fi if (~K) then checkpoint fi checkpoint fi if I then checkpoint if G then checkpoint fi if H|(I)&R&(W)|G then checkpoint else checkpoint fi checkpoint fi if I then checkpoint fi if H then checkpoint fi if U then checkpoint if J then checkpoint else checkpoint fi checkpoint else checkpoint if (U) then checkpoint fi if H then checkpoint fi if ~K&~K then checkpoint fi if R then checkpoint fi if ~K then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if G|P then checkpoint if X then checkpoint fi if T then checkpoint else checkpoint fi if X then checkpoint else checkpoint fi if ~I&I|(~~I) then checkpoint fi if ~X&W|(W) then checkpoint else checkpoint fi checkpoint else checkpoint if N then checkpoint fi if ~M then checkpoint else checkpoint fi if P then checkpoint else checkpoint fi if J then checkpoint else checkpoint fi if J then checkpoint else checkpoint fi checkpoint fi if N then checkpoint if (Q) then checkpoint if J&P then checkpoint fi checkpoint else checkpoint if I then checkpoint fi if L|U then checkpoint else checkpoint fi if H then checkpoint else checkpoint fi if T|~O then checkpoint else checkpoint fi checkpoint fi if Y then checkpoint fi if R then checkpoint if Q then checkpoint fi if W&I&N then checkpoint fi if R&Z then checkpoint else checkpoint fi if I then checkpoint fi if T then checkpoint else checkpoint fi checkpoint else checkpoint if U then checkpoint fi if P&~U|P|M then checkpoint else checkpoint fi if P then checkpoint fi checkpoint fi checkpoint fi if ((T&~K)) then checkpoint if X then checkpoint if O then checkpoint else checkpoint fi if (Z)|V then checkpoint fi if P|I then checkpoint fi if (P)&S then checkpoint fi if K&~N&Z|W&V&L then checkpoint fi checkpoint fi if ~(I) then checkpoint else checkpoint fi checkpoint else checkpoint if R then checkpoint if W&I then checkpoint fi if ((~O)&I&J|(P|M))|(P&~P&G&K&G&L&U) then checkpoint else checkpoint fi if Z|P then checkpoint else checkpoint fi if Y then checkpoint fi checkpoint fi if R then checkpoint if H then checkpoint fi if ~O then checkpoint fi if Z&(I) then checkpoint else checkpoint fi if N then checkpoint else checkpoint fi checkpoint else checkpoint if (M|P|Q|W&G) then checkpoint fi if (O|(N)&V) then checkpoint fi if (S|W|(S)|W) then checkpoint fi checkpoint fi if (T) then checkpoint fi if O|H|~~~T|O then checkpoint fi if ~(R)|L then checkpoint if I then checkpoint else checkpoint fi if W|O then checkpoint else checkpoint fi checkpoint fi checkpoint fi if (O)|(~(~K|(I))&((R|K|Z|(((P)|N))&~~~K|R&N))) then checkpoint else checkpoint fi if ~~X then checkpoint fi checkpoint fi if (~(M|(O)|~Y)|H)&V|V|I&~~L then checkpoint if (K)|I then checkpoint fi if R then checkpoint fi checkpoint else checkpoint if (Q) then checkpoint fi if H&Z then checkpoint else checkpoint fi if W then checkpoint else checkpoint fi checkpoint fi checkpoint fi checkpoint fi if ~W&H then checkpoint if ~O|(Z)|G then checkpoint else checkpoint fi if (W) then checkpoint fi if Z&S then checkpoint fi if K then checkpoint else checkpoint fi if ~(H) then checkpoint else checkpoint fi if K then checkpoint else checkpoint fi checkpoint fi if (M)|W then checkpoint if T&N then checkpoint if X&(~O|O&U&Q&(~Z)) then checkpoint if ~U then checkpoint fi if I&Q&(((W)&(P)))|~(W|P)&J&U then checkpoint if S then checkpoint fi if H then checkpoint else checkpoint fi if (N) then checkpoint fi checkpoint fi if (S)&U|Y then checkpoint if ~V&(G) then checkpoint else checkpoint fi if W then checkpoint if N then checkpoint fi if H then checkpoint fi checkpoint else checkpoint if I|~W&~(((Z)))&N&~O|H&T&U|U then checkpoint fi if (T) then checkpoint fi if N then checkpoint fi if L then checkpoint fi if P&N|Y then checkpoint fi if G then checkpoint else checkpoint fi checkpoint fi if ~(~I&P|(H)|(N)&G&M&G|V|(~J|~~(K|(Q|S))&(J)&N&Z)|~Q) then checkpoint fi if J then checkpoint if R then checkpoint else checkpoint fi if (T)&J|J&X&S|(J|V|N)&Q then checkpoint fi checkpoint else checkpoint if T then checkpoint fi if R then checkpoint fi if I&Q then checkpoint fi if R|~U then checkpoint else checkpoint fi if ~O|(I|M&N)|X then checkpoint fi if ~U&L then checkpoint fi checkpoint fi if G then checkpoint fi checkpoint fi if T then checkpoint else checkpoint fi checkpoint fi if J&(L|X) then checkpoint if H&K then checkpoint if (~~H) then checkpoint fi if Q then checkpoint fi checkpoint fi if (L&((((O)&J)))) then checkpoint else checkpoint fi if ~~O&K then checkpoint if (O)|Z then checkpoint fi if J then checkpoint if I then checkpoint fi if ((~X)) then checkpoint fi if N&L|Q then checkpoint else checkpoint fi if G|I&(S) then checkpoint fi if N&L&~L&~~S|(P) then checkpoint else checkpoint fi if ~U&L&M|P then checkpoint else checkpoint fi checkpoint fi if X|~~Y then checkpoint if ~(T) then checkpoint else checkpoint fi if ~~Z then checkpoint fi if Y then checkpoint else checkpoint fi if Z then checkpoint fi if H then checkpoint fi checkpoint fi checkpoint else checkpoint if W then checkpoint else checkpoint fi checkpoint fi if Q&S|L|L|T then checkpoint if ~~R|~~J&~N|(L)&V&(~V)|(L) then checkpoint else checkpoint fi if L then checkpoint else checkpoint fi checkpoint else checkpoint if Z|I&~L&~P|~R|Q|~Z&H then checkpoint else checkpoint fi if ~I then checkpoint else checkpoint fi if H then checkpoint else checkpoint fi if O then checkpoint else checkpoint fi if X then checkpoint fi if (M) then checkpoint else checkpoint fi checkpoint fi if (T) then checkpoint else checkpoint fi if W then checkpoint fi checkpoint fi if (S&K) then checkpoint if R then checkpoint if ~G then checkpoint else checkpoint fi if ~H then checkpoint else checkpoint fi if G then checkpoint else checkpoint fi if X|(M) then checkpoint else checkpoint fi if (I) then checkpoint else checkpoint fi if R then checkpoint fi checkpoint fi if ~~G then checkpoint else checkpoint fi if ~P|M|G|~Y then checkpoint if R&~K|W then checkpoint else checkpoint fi if Y then checkpoint else checkpoint fi if ~R|R|T|(((S))) then checkpoint fi if ~(Y) then checkpoint else checkpoint fi if M then checkpoint fi if X|~~M&(N)&U then checkpoint fi checkpoint fi checkpoint fi if (K) then checkpoint fi if ~I then checkpoint if ~(N) then checkpoint if ~V then checkpoint fi if M then checkpoint if G then checkpoint fi if ((O&(~S)|S)) then checkpoint fi if J then checkpoint fi if P then checkpoint fi if S then checkpoint fi if L then checkpoint else checkpoint fi checkpoint else checkpoint if G then checkpoint else checkpoint fi if U then checkpoint fi if ~~~~S&(G)&U|W|R|S&~((N))&Y&~(P)&V then checkpoint fi checkpoint fi if G then checkpoint if ~R then checkpoint else checkpoint fi if (P) then checkpoint fi checkpoint fi if ~Y then checkpoint if ~U then checkpoint else checkpoint fi if J then checkpoint else checkpoint fi if ~N then checkpoint fi if (R|Q) then checkpoint fi if Y|P&Q then checkpoint else checkpoint fi if O then checkpoint fi checkpoint fi if ~L&~Z|(~~S)&(N)&M&(J) then checkpoint if W then checkpoint fi if (Z) then checkpoint fi checkpoint else checkpoint if N then checkpoint fi if X then checkpoint else checkpoint fi checkpoint fi checkpoint fi if (U|(W)) then checkpoint if ~T&K|~~L|Y|R&~N|(P&~~W|Q|(I)|K) then checkpoint else checkpoint fi if Q then checkpoint else checkpoint fi if X&O&K then checkpoint else checkpoint fi checkpoint fi if J then checkpoint else checkpoint fi checkpoint fi checkpoint else checkpoint if Q then checkpoint fi checkpoint fi if K|X then checkpoint if X then checkpoint else checkpoint fi if Q then checkpoint fi if T&I|G|R|(O)|M&J|K then checkpoint fi checkpoint fi if ~Z then checkpoint if G then checkpoint fi checkpoint else checkpoint if U then checkpoint fi checkpoint fi if Y|Y then checkpoint if Z then checkpoint fi if Z then checkpoint else checkpoint fi if H then checkpoint else checkpoint fi if M then checkpoint if (L) then checkpoint if (N) then checkpoint else checkpoint fi if L&O then checkpoint fi checkpoint else checkpoint if (~Z)|(P)|(V&V|M)&Y|~W|((~~V&~Y)&((Q)))&~R|M|G&~(T)&((S))&~H&X|I|Q|Y&Q then checkpoint fi if N&~G&Z then checkpoint fi checkpoint fi if V then checkpoint fi if W then checkpoint if Y|W|K then checkpoint fi if (S) then checkpoint else checkpoint fi if S&R|(U)&N&~K|~((((T))|W)) then checkpoint fi if P then checkpoint else checkpoint fi if U then checkpoint fi if Z&Z then checkpoint fi checkpoint fi checkpoint else checkpoint if P then checkpoint if H&W then checkpoint else checkpoint fi if Q&(T) then checkpoint else checkpoint fi if N then checkpoint fi checkpoint else checkpoint if J&W then checkpoint else checkpoint fi if J|~T then checkpoint fi if H then checkpoint else checkpoint fi if T|T then checkpoint else checkpoint fi checkpoint fi if ~~~(((Z|H)&U)|~Q|X|~O|K&O&Q|~I&~~K&V)&S|W|N|X|P then checkpoint if M then checkpoint fi checkpoint else checkpoint if ((N)|P&Z) then checkpoint fi if Z then checkpoint else checkpoint fi if I then checkpoint else checkpoint fi if Y then checkpoint else checkpoint fi if ~H then checkpoint fi checkpoint fi checkpoint fi checkpoint fi if H&J then checkpoint if J then checkpoint else checkpoint fi if (I|~P&Y)|X then checkpoint fi if U then checkpoint else checkpoint fi if ~Q then checkpoint else checkpoint fi if (N) then checkpoint fi if (((Y))) then checkpoint fi checkpoint fi checkpoint fi checkpoint fi if Y|~~O then checkpoint if T&P&N&~~(L&G)&O then checkpoint if (P)|T then checkpoint if S then checkpoint else checkpoint fi if ~L&S then checkpoint fi if G|Z&Q then checkpoint fi if (~Q&~Q) then checkpoint fi checkpoint else checkpoint if L&T&R|I|~~T then checkpoint fi if (O)&J|(((((R)))))&V then checkpoint else checkpoint fi checkpoint fi if S then checkpoint fi checkpoint fi checkpoint fi checkpoint if G&H&I&J&K&L&M&N&O&P&Q&R&S&T&U&V&W&X&Y&Z then checkpoint fi