1.0 * x_9 < -1.258
1.0 * arelu_2_4 + 1.0 * arelu_2_6 - 0.1 * x_6 < 0.5
1.0 * pre_0_34 + 0.1 * x_5 < -0.5