VARIABLE1 = {
"NOT ((C0085533 = C1514756) AND (C0231290 = C0543467)) OR ((C0085533 <= 12 w) AND (C0085533 = C0205197) AND (C0332152 = C0034656))",
"(NOT (C0543467 = C0006142) OR (C0034656 - C0543467 <= 70 d)) AND (NOT (C0085533 = C1514756) OR (C0034656 - C0085533 <= 70 d))",
"(C3665472 = C0205197) AND (C0444868 = C0205197) AND (C0332152 = C0543467)",
"(C0600558 = C0392920) AND (C1302181 >= 4) AND NOT ((C0332120 = C0242656) AND ((C0242656 = C0006141) OR (C0242656 = C0024204)))",
"(NOT (CL555507 = C0205238) OR ((CL555507 = C1334989) AND (C1334989 = C0007114) AND (C0205394 = C0205237))) OR (C0497153 >= VARIABLE2 = {"2", "3", "5", OTHER} y)",
"(C0023671 >= 5 y) AND (C0332196 = C0678222)",
"(((C0007117 = C0521116) OR (C0553723 = C0521116) OR (C0851140 = C0521116) OR (CL548514 = C0521116) OR (C0279563 = C0521116)) AND (((C0006826 = C0205394) AND (C0006826 = C0205237)) OR (C0497153 > 3 y)) AND NOT ((CL449097 = C0375111) AND (C0375111 = CL540184))",
"NOT ((C0027667= C0521115) OR (C0375111 = C0238767)) OR (((C0751560 = C0521116) AND (C0751560 = C0238767)) OR (C0475372 = C0521116) OR (C0475373 = C0521116) OR (C0441959 = C0521116) OR (C0445034 = C0521116) OR (C1337013 = C1521996))",
"((C0917927 = C0205238) AND (C1522449 = C1301732)) OR (C0024886 = C0205238)",
"(((C0854698 = C0750484) AND (C0521093 = C1521733)) OR (C0855027 = C1519810))"
}