VARIABLE1 = {
"(CL524913 = C1514756)",
"NOT (C1711202 = C1514756) OR ((C0024485 = C0032790) OR (C0024485 = C0445204))",
"(C1305671 = C1514756) AND ((C1305671 = C0007806) AND (C0007806 = C0024090)) AND ((C1305671 = C0032790) OR ((C1305671 <= 31 d) AND (C0231290 = C0543467)))",
"((C0012634 = CL053209) AND (CL053209 = C0441988)) OR (C0012634 = C0229730)",
"NOT ((C0032227 = C0205379) AND (C0205379 = C2457026) AND NOT (C0189477 = C0205160))",
"NOT (C0015250 = C0012634)",
"NOT (((C0425402 = C0521116) AND (C0425402 > 6 mo)) OR ((C0949766 = C0521116) AND (C0949766 > 6 mo)))",
"NOT ((C0008679 = C0205394) AND (C0008679 = C0521116))",
"(VARIABLE2 = {"(0027051 = C0332185) OR (C0002965 = C0332185)", "(C0012634 = C0019189)", "(C0012634 = C0003873)", "(C0012634 = C0022658) OR (C0012634 = C0023895)", "(C0012634 = C0011847) AND (C1514756 = C0021641) AND (C1514756 = C0521116)", "(C0178317 = C0332185)", "(C0029408 = C0750502)", "(CL930429 = C0445223)", "(C0012634 = C0524851)"} AND (C1292733 = C0034656)",
"NOT ((C0004936 = C0521116) AND (C0004936 = C0205404))",
"(C0022885 = C0205197) AND (C0022885 = C0444868) AND (C0444868 = C1514873)",
"(C3870478 >= 3 mo)",
"(C0375111 = C0005558) AND (C0005558 = C0332219)"
}