1.0 * arelu_2_4 + 1.0 * arelu_2_6 - 0.1 * x_9 - 0.1 * x_4 < 0.5
2 * pre_2_3 - 1 * pre_2_6 - 0.1 * x_5 > 0.5
4.0 * relu_2_2 - 0.5 * relu_2_3 > 10