V16_env and (OK != ((not V16_env) => (true -> ((V68_age_of_p >= (V14_k + V15_m)) => r)))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not V16_env) and (OK != ((not V16_env) => (true -> ((V68_age_of_p >= (V14_k + V15_m)) => r)))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(V68_age_of_p >= (V14_k + V15_m)) and (OK != (V16_env => (true -> ((not (V68_age_of_p >= (V14_k + V15_m))) => r)))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not (V68_age_of_p >= (V14_k + V15_m))) and (OK != (V16_env => (true -> ((not (V68_age_of_p >= (V14_k + V15_m))) => r)))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
r and (OK != (V16_env => (true -> ((V68_age_of_p >= (V14_k + V15_m)) => (not r))))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not r) and (OK != (V16_env => (true -> ((V68_age_of_p >= (V14_k + V15_m)) => (not r))))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
V55_X and (V16_env != ((not V55_X) -> (V55_X and pre V16_env))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not V55_X) and (V16_env != ((not V55_X) -> (V55_X and pre V16_env))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
V55_X and (V16_env != (V55_X -> ((not V55_X) and pre V16_env))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not V55_X) and (V16_env != (V55_X -> ((not V55_X) and pre V16_env))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
pre V16_env and (V16_env != (V55_X -> (V55_X and pre (not V16_env)))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not pre V16_env) and (V16_env != (V55_X -> (V55_X and pre (not V16_env)))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(V14_k >= 1) and (V55_X != ((((not (V14_k >= 1)) and (V15_m >= 1)) and ((V45_age_of_p >= V14_k) => q)) and ((V52_age_of_p >= V15_m) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not (V14_k >= 1)) and (V55_X != ((((not (V14_k >= 1)) and (V15_m >= 1)) and ((V45_age_of_p >= V14_k) => q)) and ((V52_age_of_p >= V15_m) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(V15_m >= 1) and (V55_X != ((((V14_k >= 1) and (not (V15_m >= 1))) and ((V45_age_of_p >= V14_k) => q)) and ((V52_age_of_p >= V15_m) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not (V15_m >= 1)) and (V55_X != ((((V14_k >= 1) and (not (V15_m >= 1))) and ((V45_age_of_p >= V14_k) => q)) and ((V52_age_of_p >= V15_m) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(V45_age_of_p >= V14_k) and (V55_X != ((((V14_k >= 1) and (V15_m >= 1)) and ((not (V45_age_of_p >= V14_k)) => q)) and ((V52_age_of_p >= V15_m) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not (V45_age_of_p >= V14_k)) and (V55_X != ((((V14_k >= 1) and (V15_m >= 1)) and ((not (V45_age_of_p >= V14_k)) => q)) and ((V52_age_of_p >= V15_m) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
q and (V55_X != ((((V14_k >= 1) and (V15_m >= 1)) and ((V45_age_of_p >= V14_k) => (not q))) and ((V52_age_of_p >= V15_m) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not q) and (V55_X != ((((V14_k >= 1) and (V15_m >= 1)) and ((V45_age_of_p >= V14_k) => (not q))) and ((V52_age_of_p >= V15_m) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(V52_age_of_p >= V15_m) and (V55_X != ((((V14_k >= 1) and (V15_m >= 1)) and ((V45_age_of_p >= V14_k) => q)) and ((not (V52_age_of_p >= V15_m)) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not (V52_age_of_p >= V15_m)) and (V55_X != ((((V14_k >= 1) and (V15_m >= 1)) and ((V45_age_of_p >= V14_k) => q)) and ((not (V52_age_of_p >= V15_m)) => r))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
r and (V55_X != ((((V14_k >= 1) and (V15_m >= 1)) and ((V45_age_of_p >= V14_k) => q)) and ((V52_age_of_p >= V15_m) => (not r)))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)
(not r) and (V55_X != ((((V14_k >= 1) and (V15_m >= 1)) and ((V45_age_of_p >= V14_k) => q)) and ((V52_age_of_p >= V15_m) => (not r)))) and (ik > 0 or ik <= 0) and (im > 0 or im <= 0) and (p or not p) and (q or not q) and (r or not r) and (OK or not OK)