text: //@ ltl invariant negative: (AP(x_14 - x_19 > -18) || (AP(x_24 - x_10 > 13) && AP(x_14 - x_7 >= -10)));
  float x_0;
  float x_1;
  float x_2;
  float x_3;
  float x_4;
  float x_5;
  float x_6;
  float x_7;
  float x_8;
  float x_9;
  float x_10;
  float x_11;
  float x_12;
  float x_13;
  float x_14;
  float x_15;
  float x_16;
  float x_17;
  float x_18;
  float x_19;
  float x_20;
  float x_21;
  float x_22;
  float x_23;
  float x_24;
  float x_25;
  float x_26;
  float x_27;
  int main()
  {
    float x_0_;
    float x_1_;
    float x_2_;
    float x_3_;
    float x_4_;
    float x_5_;
    float x_6_;
    float x_7_;
    float x_8_;
    float x_9_;
    float x_10_;
    float x_11_;
    float x_12_;
    float x_13_;
    float x_14_;
    float x_15_;
    float x_16_;
    float x_17_;
    float x_18_;
    float x_19_;
    float x_20_;
    float x_21_;
    float x_22_;
    float x_23_;
    float x_24_;
    float x_25_;
    float x_26_;
    float x_27_;
    while(1) {
  x_0_ = ((((17.0 + x_0) > ((18.0 + x_2) > (2.0 + x_4)? (18.0 + x_2) : (2.0 + x_4))? (17.0 + x_0) : ((18.0 + x_2) > (2.0 + x_4)? (18.0 + x_2) : (2.0 + x_4))) > (((11.0 + x_5) > (20.0 + x_7)? (11.0 + x_5) : (20.0 + x_7)) > ((14.0 + x_8) > (15.0 + x_11)? (14.0 + x_8) : (15.0 + x_11))? ((11.0 + x_5) > (20.0 + x_7)? (11.0 + x_5) : (20.0 + x_7)) : ((14.0 + x_8) > (15.0 + x_11)? (14.0 + x_8) : (15.0 + x_11)))? ((17.0 + x_0) > ((18.0 + x_2) > (2.0 + x_4)? (18.0 + x_2) : (2.0 + x_4))? (17.0 + x_0) : ((18.0 + x_2) > (2.0 + x_4)? (18.0 + x_2) : (2.0 + x_4))) : (((11.0 + x_5) > (20.0 + x_7)? (11.0 + x_5) : (20.0 + x_7)) > ((14.0 + x_8) > (15.0 + x_11)? (14.0 + x_8) : (15.0 + x_11))? ((11.0 + x_5) > (20.0 + x_7)? (11.0 + x_5) : (20.0 + x_7)) : ((14.0 + x_8) > (15.0 + x_11)? (14.0 + x_8) : (15.0 + x_11)))) > (((2.0 + x_15) > ((8.0 + x_16) > (18.0 + x_18)? (8.0 + x_16) : (18.0 + x_18))? (2.0 + x_15) : ((8.0 + x_16) > (18.0 + x_18)? (8.0 + x_16) : (18.0 + x_18))) > (((19.0 + x_23) > (3.0 + x_24)? (19.0 + x_23) : (3.0 + x_24)) > ((10.0 + x_26) > (8.0 + x_27)? (10.0 + x_26) : (8.0 + x_27))? ((19.0 + x_23) > (3.0 + x_24)? (19.0 + x_23) : (3.0 + x_24)) : ((10.0 + x_26) > (8.0 + x_27)? (10.0 + x_26) : (8.0 + x_27)))? ((2.0 + x_15) > ((8.0 + x_16) > (18.0 + x_18)? (8.0 + x_16) : (18.0 + x_18))? (2.0 + x_15) : ((8.0 + x_16) > (18.0 + x_18)? (8.0 + x_16) : (18.0 + x_18))) : (((19.0 + x_23) > (3.0 + x_24)? (19.0 + x_23) : (3.0 + x_24)) > ((10.0 + x_26) > (8.0 + x_27)? (10.0 + x_26) : (8.0 + x_27))? ((19.0 + x_23) > (3.0 + x_24)? (19.0 + x_23) : (3.0 + x_24)) : ((10.0 + x_26) > (8.0 + x_27)? (10.0 + x_26) : (8.0 + x_27))))? (((17.0 + x_0) > ((18.0 + x_2) > (2.0 + x_4)? (18.0 + x_2) : (2.0 + x_4))? (17.0 + x_0) : ((18.0 + x_2) > (2.0 + x_4)? (18.0 + x_2) : (2.0 + x_4))) > (((11.0 + x_5) > (20.0 + x_7)? (11.0 + x_5) : (20.0 + x_7)) > ((14.0 + x_8) > (15.0 + x_11)? (14.0 + x_8) : (15.0 + x_11))? ((11.0 + x_5) > (20.0 + x_7)? (11.0 + x_5) : (20.0 + x_7)) : ((14.0 + x_8) > (15.0 + x_11)? (14.0 + x_8) : (15.0 + x_11)))? ((17.0 + x_0) > ((18.0 + x_2) > (2.0 + x_4)? (18.0 + x_2) : (2.0 + x_4))? (17.0 + x_0) : ((18.0 + x_2) > (2.0 + x_4)? (18.0 + x_2) : (2.0 + x_4))) : (((11.0 + x_5) > (20.0 + x_7)? (11.0 + x_5) : (20.0 + x_7)) > ((14.0 + x_8) > (15.0 + x_11)? (14.0 + x_8) : (15.0 + x_11))? ((11.0 + x_5) > (20.0 + x_7)? (11.0 + x_5) : (20.0 + x_7)) : ((14.0 + x_8) > (15.0 + x_11)? (14.0 + x_8) : (15.0 + x_11)))) : (((2.0 + x_15) > ((8.0 + x_16) > (18.0 + x_18)? (8.0 + x_16) : (18.0 + x_18))? (2.0 + x_15) : ((8.0 + x_16) > (18.0 + x_18)? (8.0 + x_16) : (18.0 + x_18))) > (((19.0 + x_23) > (3.0 + x_24)? (19.0 + x_23) : (3.0 + x_24)) > ((10.0 + x_26) > (8.0 + x_27)? (10.0 + x_26) : (8.0 + x_27))? ((19.0 + x_23) > (3.0 + x_24)? (19.0 + x_23) : (3.0 + x_24)) : ((10.0 + x_26) > (8.0 + x_27)? (10.0 + x_26) : (8.0 + x_27)))? ((2.0 + x_15) > ((8.0 + x_16) > (18.0 + x_18)? (8.0 + x_16) : (18.0 + x_18))? (2.0 + x_15) : ((8.0 + x_16) > (18.0 + x_18)? (8.0 + x_16) : (18.0 + x_18))) : (((19.0 + x_23) > (3.0 + x_24)? (19.0 + x_23) : (3.0 + x_24)) > ((10.0 + x_26) > (8.0 + x_27)? (10.0 + x_26) : (8.0 + x_27))? ((19.0 + x_23) > (3.0 + x_24)? (19.0 + x_23) : (3.0 + x_24)) : ((10.0 + x_26) > (8.0 + x_27)? (10.0 + x_26) : (8.0 + x_27)))));
  x_1_ = ((((10.0 + x_2) > ((8.0 + x_3) > (10.0 + x_7)? (8.0 + x_3) : (10.0 + x_7))? (10.0 + x_2) : ((8.0 + x_3) > (10.0 + x_7)? (8.0 + x_3) : (10.0 + x_7))) > (((14.0 + x_8) > (8.0 + x_11)? (14.0 + x_8) : (8.0 + x_11)) > ((9.0 + x_14) > (17.0 + x_17)? (9.0 + x_14) : (17.0 + x_17))? ((14.0 + x_8) > (8.0 + x_11)? (14.0 + x_8) : (8.0 + x_11)) : ((9.0 + x_14) > (17.0 + x_17)? (9.0 + x_14) : (17.0 + x_17)))? ((10.0 + x_2) > ((8.0 + x_3) > (10.0 + x_7)? (8.0 + x_3) : (10.0 + x_7))? (10.0 + x_2) : ((8.0 + x_3) > (10.0 + x_7)? (8.0 + x_3) : (10.0 + x_7))) : (((14.0 + x_8) > (8.0 + x_11)? (14.0 + x_8) : (8.0 + x_11)) > ((9.0 + x_14) > (17.0 + x_17)? (9.0 + x_14) : (17.0 + x_17))? ((14.0 + x_8) > (8.0 + x_11)? (14.0 + x_8) : (8.0 + x_11)) : ((9.0 + x_14) > (17.0 + x_17)? (9.0 + x_14) : (17.0 + x_17)))) > (((3.0 + x_18) > ((14.0 + x_20) > (12.0 + x_21)? (14.0 + x_20) : (12.0 + x_21))? (3.0 + x_18) : ((14.0 + x_20) > (12.0 + x_21)? (14.0 + x_20) : (12.0 + x_21))) > (((10.0 + x_23) > (2.0 + x_25)? (10.0 + x_23) : (2.0 + x_25)) > ((6.0 + x_26) > (18.0 + x_27)? (6.0 + x_26) : (18.0 + x_27))? ((10.0 + x_23) > (2.0 + x_25)? (10.0 + x_23) : (2.0 + x_25)) : ((6.0 + x_26) > (18.0 + x_27)? (6.0 + x_26) : (18.0 + x_27)))? ((3.0 + x_18) > ((14.0 + x_20) > (12.0 + x_21)? (14.0 + x_20) : (12.0 + x_21))? (3.0 + x_18) : ((14.0 + x_20) > (12.0 + x_21)? (14.0 + x_20) : (12.0 + x_21))) : (((10.0 + x_23) > (2.0 + x_25)? (10.0 + x_23) : (2.0 + x_25)) > ((6.0 + x_26) > (18.0 + x_27)? (6.0 + x_26) : (18.0 + x_27))? ((10.0 + x_23) > (2.0 + x_25)? (10.0 + x_23) : (2.0 + x_25)) : ((6.0 + x_26) > (18.0 + x_27)? (6.0 + x_26) : (18.0 + x_27))))? (((10.0 + x_2) > ((8.0 + x_3) > (10.0 + x_7)? (8.0 + x_3) : (10.0 + x_7))? (10.0 + x_2) : ((8.0 + x_3) > (10.0 + x_7)? (8.0 + x_3) : (10.0 + x_7))) > (((14.0 + x_8) > (8.0 + x_11)? (14.0 + x_8) : (8.0 + x_11)) > ((9.0 + x_14) > (17.0 + x_17)? (9.0 + x_14) : (17.0 + x_17))? ((14.0 + x_8) > (8.0 + x_11)? (14.0 + x_8) : (8.0 + x_11)) : ((9.0 + x_14) > (17.0 + x_17)? (9.0 + x_14) : (17.0 + x_17)))? ((10.0 + x_2) > ((8.0 + x_3) > (10.0 + x_7)? (8.0 + x_3) : (10.0 + x_7))? (10.0 + x_2) : ((8.0 + x_3) > (10.0 + x_7)? (8.0 + x_3) : (10.0 + x_7))) : (((14.0 + x_8) > (8.0 + x_11)? (14.0 + x_8) : (8.0 + x_11)) > ((9.0 + x_14) > (17.0 + x_17)? (9.0 + x_14) : (17.0 + x_17))? ((14.0 + x_8) > (8.0 + x_11)? (14.0 + x_8) : (8.0 + x_11)) : ((9.0 + x_14) > (17.0 + x_17)? (9.0 + x_14) : (17.0 + x_17)))) : (((3.0 + x_18) > ((14.0 + x_20) > (12.0 + x_21)? (14.0 + x_20) : (12.0 + x_21))? (3.0 + x_18) : ((14.0 + x_20) > (12.0 + x_21)? (14.0 + x_20) : (12.0 + x_21))) > (((10.0 + x_23) > (2.0 + x_25)? (10.0 + x_23) : (2.0 + x_25)) > ((6.0 + x_26) > (18.0 + x_27)? (6.0 + x_26) : (18.0 + x_27))? ((10.0 + x_23) > (2.0 + x_25)? (10.0 + x_23) : (2.0 + x_25)) : ((6.0 + x_26) > (18.0 + x_27)? (6.0 + x_26) : (18.0 + x_27)))? ((3.0 + x_18) > ((14.0 + x_20) > (12.0 + x_21)? (14.0 + x_20) : (12.0 + x_21))? (3.0 + x_18) : ((14.0 + x_20) > (12.0 + x_21)? (14.0 + x_20) : (12.0 + x_21))) : (((10.0 + x_23) > (2.0 + x_25)? (10.0 + x_23) : (2.0 + x_25)) > ((6.0 + x_26) > (18.0 + x_27)? (6.0 + x_26) : (18.0 + x_27))? ((10.0 + x_23) > (2.0 + x_25)? (10.0 + x_23) : (2.0 + x_25)) : ((6.0 + x_26) > (18.0 + x_27)? (6.0 + x_26) : (18.0 + x_27)))));
  x_2_ = ((((6.0 + x_1) > ((5.0 + x_3) > (4.0 + x_4)? (5.0 + x_3) : (4.0 + x_4))? (6.0 + x_1) : ((5.0 + x_3) > (4.0 + x_4)? (5.0 + x_3) : (4.0 + x_4))) > (((10.0 + x_6) > (7.0 + x_7)? (10.0 + x_6) : (7.0 + x_7)) > ((2.0 + x_9) > (18.0 + x_11)? (2.0 + x_9) : (18.0 + x_11))? ((10.0 + x_6) > (7.0 + x_7)? (10.0 + x_6) : (7.0 + x_7)) : ((2.0 + x_9) > (18.0 + x_11)? (2.0 + x_9) : (18.0 + x_11)))? ((6.0 + x_1) > ((5.0 + x_3) > (4.0 + x_4)? (5.0 + x_3) : (4.0 + x_4))? (6.0 + x_1) : ((5.0 + x_3) > (4.0 + x_4)? (5.0 + x_3) : (4.0 + x_4))) : (((10.0 + x_6) > (7.0 + x_7)? (10.0 + x_6) : (7.0 + x_7)) > ((2.0 + x_9) > (18.0 + x_11)? (2.0 + x_9) : (18.0 + x_11))? ((10.0 + x_6) > (7.0 + x_7)? (10.0 + x_6) : (7.0 + x_7)) : ((2.0 + x_9) > (18.0 + x_11)? (2.0 + x_9) : (18.0 + x_11)))) > (((8.0 + x_12) > ((16.0 + x_13) > (1.0 + x_14)? (16.0 + x_13) : (1.0 + x_14))? (8.0 + x_12) : ((16.0 + x_13) > (1.0 + x_14)? (16.0 + x_13) : (1.0 + x_14))) > (((1.0 + x_17) > (19.0 + x_19)? (1.0 + x_17) : (19.0 + x_19)) > ((10.0 + x_20) > (4.0 + x_27)? (10.0 + x_20) : (4.0 + x_27))? ((1.0 + x_17) > (19.0 + x_19)? (1.0 + x_17) : (19.0 + x_19)) : ((10.0 + x_20) > (4.0 + x_27)? (10.0 + x_20) : (4.0 + x_27)))? ((8.0 + x_12) > ((16.0 + x_13) > (1.0 + x_14)? (16.0 + x_13) : (1.0 + x_14))? (8.0 + x_12) : ((16.0 + x_13) > (1.0 + x_14)? (16.0 + x_13) : (1.0 + x_14))) : (((1.0 + x_17) > (19.0 + x_19)? (1.0 + x_17) : (19.0 + x_19)) > ((10.0 + x_20) > (4.0 + x_27)? (10.0 + x_20) : (4.0 + x_27))? ((1.0 + x_17) > (19.0 + x_19)? (1.0 + x_17) : (19.0 + x_19)) : ((10.0 + x_20) > (4.0 + x_27)? (10.0 + x_20) : (4.0 + x_27))))? (((6.0 + x_1) > ((5.0 + x_3) > (4.0 + x_4)? (5.0 + x_3) : (4.0 + x_4))? (6.0 + x_1) : ((5.0 + x_3) > (4.0 + x_4)? (5.0 + x_3) : (4.0 + x_4))) > (((10.0 + x_6) > (7.0 + x_7)? (10.0 + x_6) : (7.0 + x_7)) > ((2.0 + x_9) > (18.0 + x_11)? (2.0 + x_9) : (18.0 + x_11))? ((10.0 + x_6) > (7.0 + x_7)? (10.0 + x_6) : (7.0 + x_7)) : ((2.0 + x_9) > (18.0 + x_11)? (2.0 + x_9) : (18.0 + x_11)))? ((6.0 + x_1) > ((5.0 + x_3) > (4.0 + x_4)? (5.0 + x_3) : (4.0 + x_4))? (6.0 + x_1) : ((5.0 + x_3) > (4.0 + x_4)? (5.0 + x_3) : (4.0 + x_4))) : (((10.0 + x_6) > (7.0 + x_7)? (10.0 + x_6) : (7.0 + x_7)) > ((2.0 + x_9) > (18.0 + x_11)? (2.0 + x_9) : (18.0 + x_11))? ((10.0 + x_6) > (7.0 + x_7)? (10.0 + x_6) : (7.0 + x_7)) : ((2.0 + x_9) > (18.0 + x_11)? (2.0 + x_9) : (18.0 + x_11)))) : (((8.0 + x_12) > ((16.0 + x_13) > (1.0 + x_14)? (16.0 + x_13) : (1.0 + x_14))? (8.0 + x_12) : ((16.0 + x_13) > (1.0 + x_14)? (16.0 + x_13) : (1.0 + x_14))) > (((1.0 + x_17) > (19.0 + x_19)? (1.0 + x_17) : (19.0 + x_19)) > ((10.0 + x_20) > (4.0 + x_27)? (10.0 + x_20) : (4.0 + x_27))? ((1.0 + x_17) > (19.0 + x_19)? (1.0 + x_17) : (19.0 + x_19)) : ((10.0 + x_20) > (4.0 + x_27)? (10.0 + x_20) : (4.0 + x_27)))? ((8.0 + x_12) > ((16.0 + x_13) > (1.0 + x_14)? (16.0 + x_13) : (1.0 + x_14))? (8.0 + x_12) : ((16.0 + x_13) > (1.0 + x_14)? (16.0 + x_13) : (1.0 + x_14))) : (((1.0 + x_17) > (19.0 + x_19)? (1.0 + x_17) : (19.0 + x_19)) > ((10.0 + x_20) > (4.0 + x_27)? (10.0 + x_20) : (4.0 + x_27))? ((1.0 + x_17) > (19.0 + x_19)? (1.0 + x_17) : (19.0 + x_19)) : ((10.0 + x_20) > (4.0 + x_27)? (10.0 + x_20) : (4.0 + x_27)))));
  x_3_ = ((((17.0 + x_0) > ((16.0 + x_1) > (11.0 + x_3)? (16.0 + x_1) : (11.0 + x_3))? (17.0 + x_0) : ((16.0 + x_1) > (11.0 + x_3)? (16.0 + x_1) : (11.0 + x_3))) > (((17.0 + x_7) > (11.0 + x_9)? (17.0 + x_7) : (11.0 + x_9)) > ((15.0 + x_11) > (8.0 + x_13)? (15.0 + x_11) : (8.0 + x_13))? ((17.0 + x_7) > (11.0 + x_9)? (17.0 + x_7) : (11.0 + x_9)) : ((15.0 + x_11) > (8.0 + x_13)? (15.0 + x_11) : (8.0 + x_13)))? ((17.0 + x_0) > ((16.0 + x_1) > (11.0 + x_3)? (16.0 + x_1) : (11.0 + x_3))? (17.0 + x_0) : ((16.0 + x_1) > (11.0 + x_3)? (16.0 + x_1) : (11.0 + x_3))) : (((17.0 + x_7) > (11.0 + x_9)? (17.0 + x_7) : (11.0 + x_9)) > ((15.0 + x_11) > (8.0 + x_13)? (15.0 + x_11) : (8.0 + x_13))? ((17.0 + x_7) > (11.0 + x_9)? (17.0 + x_7) : (11.0 + x_9)) : ((15.0 + x_11) > (8.0 + x_13)? (15.0 + x_11) : (8.0 + x_13)))) > (((9.0 + x_14) > ((20.0 + x_18) > (15.0 + x_20)? (20.0 + x_18) : (15.0 + x_20))? (9.0 + x_14) : ((20.0 + x_18) > (15.0 + x_20)? (20.0 + x_18) : (15.0 + x_20))) > (((13.0 + x_21) > (20.0 + x_25)? (13.0 + x_21) : (20.0 + x_25)) > ((5.0 + x_26) > (4.0 + x_27)? (5.0 + x_26) : (4.0 + x_27))? ((13.0 + x_21) > (20.0 + x_25)? (13.0 + x_21) : (20.0 + x_25)) : ((5.0 + x_26) > (4.0 + x_27)? (5.0 + x_26) : (4.0 + x_27)))? ((9.0 + x_14) > ((20.0 + x_18) > (15.0 + x_20)? (20.0 + x_18) : (15.0 + x_20))? (9.0 + x_14) : ((20.0 + x_18) > (15.0 + x_20)? (20.0 + x_18) : (15.0 + x_20))) : (((13.0 + x_21) > (20.0 + x_25)? (13.0 + x_21) : (20.0 + x_25)) > ((5.0 + x_26) > (4.0 + x_27)? (5.0 + x_26) : (4.0 + x_27))? ((13.0 + x_21) > (20.0 + x_25)? (13.0 + x_21) : (20.0 + x_25)) : ((5.0 + x_26) > (4.0 + x_27)? (5.0 + x_26) : (4.0 + x_27))))? (((17.0 + x_0) > ((16.0 + x_1) > (11.0 + x_3)? (16.0 + x_1) : (11.0 + x_3))? (17.0 + x_0) : ((16.0 + x_1) > (11.0 + x_3)? (16.0 + x_1) : (11.0 + x_3))) > (((17.0 + x_7) > (11.0 + x_9)? (17.0 + x_7) : (11.0 + x_9)) > ((15.0 + x_11) > (8.0 + x_13)? (15.0 + x_11) : (8.0 + x_13))? ((17.0 + x_7) > (11.0 + x_9)? (17.0 + x_7) : (11.0 + x_9)) : ((15.0 + x_11) > (8.0 + x_13)? (15.0 + x_11) : (8.0 + x_13)))? ((17.0 + x_0) > ((16.0 + x_1) > (11.0 + x_3)? (16.0 + x_1) : (11.0 + x_3))? (17.0 + x_0) : ((16.0 + x_1) > (11.0 + x_3)? (16.0 + x_1) : (11.0 + x_3))) : (((17.0 + x_7) > (11.0 + x_9)? (17.0 + x_7) : (11.0 + x_9)) > ((15.0 + x_11) > (8.0 + x_13)? (15.0 + x_11) : (8.0 + x_13))? ((17.0 + x_7) > (11.0 + x_9)? (17.0 + x_7) : (11.0 + x_9)) : ((15.0 + x_11) > (8.0 + x_13)? (15.0 + x_11) : (8.0 + x_13)))) : (((9.0 + x_14) > ((20.0 + x_18) > (15.0 + x_20)? (20.0 + x_18) : (15.0 + x_20))? (9.0 + x_14) : ((20.0 + x_18) > (15.0 + x_20)? (20.0 + x_18) : (15.0 + x_20))) > (((13.0 + x_21) > (20.0 + x_25)? (13.0 + x_21) : (20.0 + x_25)) > ((5.0 + x_26) > (4.0 + x_27)? (5.0 + x_26) : (4.0 + x_27))? ((13.0 + x_21) > (20.0 + x_25)? (13.0 + x_21) : (20.0 + x_25)) : ((5.0 + x_26) > (4.0 + x_27)? (5.0 + x_26) : (4.0 + x_27)))? ((9.0 + x_14) > ((20.0 + x_18) > (15.0 + x_20)? (20.0 + x_18) : (15.0 + x_20))? (9.0 + x_14) : ((20.0 + x_18) > (15.0 + x_20)? (20.0 + x_18) : (15.0 + x_20))) : (((13.0 + x_21) > (20.0 + x_25)? (13.0 + x_21) : (20.0 + x_25)) > ((5.0 + x_26) > (4.0 + x_27)? (5.0 + x_26) : (4.0 + x_27))? ((13.0 + x_21) > (20.0 + x_25)? (13.0 + x_21) : (20.0 + x_25)) : ((5.0 + x_26) > (4.0 + x_27)? (5.0 + x_26) : (4.0 + x_27)))));
  x_4_ = ((((5.0 + x_0) > ((17.0 + x_2) > (14.0 + x_7)? (17.0 + x_2) : (14.0 + x_7))? (5.0 + x_0) : ((17.0 + x_2) > (14.0 + x_7)? (17.0 + x_2) : (14.0 + x_7))) > (((13.0 + x_9) > (11.0 + x_11)? (13.0 + x_9) : (11.0 + x_11)) > ((19.0 + x_12) > (14.0 + x_14)? (19.0 + x_12) : (14.0 + x_14))? ((13.0 + x_9) > (11.0 + x_11)? (13.0 + x_9) : (11.0 + x_11)) : ((19.0 + x_12) > (14.0 + x_14)? (19.0 + x_12) : (14.0 + x_14)))? ((5.0 + x_0) > ((17.0 + x_2) > (14.0 + x_7)? (17.0 + x_2) : (14.0 + x_7))? (5.0 + x_0) : ((17.0 + x_2) > (14.0 + x_7)? (17.0 + x_2) : (14.0 + x_7))) : (((13.0 + x_9) > (11.0 + x_11)? (13.0 + x_9) : (11.0 + x_11)) > ((19.0 + x_12) > (14.0 + x_14)? (19.0 + x_12) : (14.0 + x_14))? ((13.0 + x_9) > (11.0 + x_11)? (13.0 + x_9) : (11.0 + x_11)) : ((19.0 + x_12) > (14.0 + x_14)? (19.0 + x_12) : (14.0 + x_14)))) > (((2.0 + x_16) > ((7.0 + x_18) > (10.0 + x_19)? (7.0 + x_18) : (10.0 + x_19))? (2.0 + x_16) : ((7.0 + x_18) > (10.0 + x_19)? (7.0 + x_18) : (10.0 + x_19))) > (((18.0 + x_20) > (5.0 + x_22)? (18.0 + x_20) : (5.0 + x_22)) > ((10.0 + x_25) > (11.0 + x_26)? (10.0 + x_25) : (11.0 + x_26))? ((18.0 + x_20) > (5.0 + x_22)? (18.0 + x_20) : (5.0 + x_22)) : ((10.0 + x_25) > (11.0 + x_26)? (10.0 + x_25) : (11.0 + x_26)))? ((2.0 + x_16) > ((7.0 + x_18) > (10.0 + x_19)? (7.0 + x_18) : (10.0 + x_19))? (2.0 + x_16) : ((7.0 + x_18) > (10.0 + x_19)? (7.0 + x_18) : (10.0 + x_19))) : (((18.0 + x_20) > (5.0 + x_22)? (18.0 + x_20) : (5.0 + x_22)) > ((10.0 + x_25) > (11.0 + x_26)? (10.0 + x_25) : (11.0 + x_26))? ((18.0 + x_20) > (5.0 + x_22)? (18.0 + x_20) : (5.0 + x_22)) : ((10.0 + x_25) > (11.0 + x_26)? (10.0 + x_25) : (11.0 + x_26))))? (((5.0 + x_0) > ((17.0 + x_2) > (14.0 + x_7)? (17.0 + x_2) : (14.0 + x_7))? (5.0 + x_0) : ((17.0 + x_2) > (14.0 + x_7)? (17.0 + x_2) : (14.0 + x_7))) > (((13.0 + x_9) > (11.0 + x_11)? (13.0 + x_9) : (11.0 + x_11)) > ((19.0 + x_12) > (14.0 + x_14)? (19.0 + x_12) : (14.0 + x_14))? ((13.0 + x_9) > (11.0 + x_11)? (13.0 + x_9) : (11.0 + x_11)) : ((19.0 + x_12) > (14.0 + x_14)? (19.0 + x_12) : (14.0 + x_14)))? ((5.0 + x_0) > ((17.0 + x_2) > (14.0 + x_7)? (17.0 + x_2) : (14.0 + x_7))? (5.0 + x_0) : ((17.0 + x_2) > (14.0 + x_7)? (17.0 + x_2) : (14.0 + x_7))) : (((13.0 + x_9) > (11.0 + x_11)? (13.0 + x_9) : (11.0 + x_11)) > ((19.0 + x_12) > (14.0 + x_14)? (19.0 + x_12) : (14.0 + x_14))? ((13.0 + x_9) > (11.0 + x_11)? (13.0 + x_9) : (11.0 + x_11)) : ((19.0 + x_12) > (14.0 + x_14)? (19.0 + x_12) : (14.0 + x_14)))) : (((2.0 + x_16) > ((7.0 + x_18) > (10.0 + x_19)? (7.0 + x_18) : (10.0 + x_19))? (2.0 + x_16) : ((7.0 + x_18) > (10.0 + x_19)? (7.0 + x_18) : (10.0 + x_19))) > (((18.0 + x_20) > (5.0 + x_22)? (18.0 + x_20) : (5.0 + x_22)) > ((10.0 + x_25) > (11.0 + x_26)? (10.0 + x_25) : (11.0 + x_26))? ((18.0 + x_20) > (5.0 + x_22)? (18.0 + x_20) : (5.0 + x_22)) : ((10.0 + x_25) > (11.0 + x_26)? (10.0 + x_25) : (11.0 + x_26)))? ((2.0 + x_16) > ((7.0 + x_18) > (10.0 + x_19)? (7.0 + x_18) : (10.0 + x_19))? (2.0 + x_16) : ((7.0 + x_18) > (10.0 + x_19)? (7.0 + x_18) : (10.0 + x_19))) : (((18.0 + x_20) > (5.0 + x_22)? (18.0 + x_20) : (5.0 + x_22)) > ((10.0 + x_25) > (11.0 + x_26)? (10.0 + x_25) : (11.0 + x_26))? ((18.0 + x_20) > (5.0 + x_22)? (18.0 + x_20) : (5.0 + x_22)) : ((10.0 + x_25) > (11.0 + x_26)? (10.0 + x_25) : (11.0 + x_26)))));
  x_5_ = ((((17.0 + x_1) > ((14.0 + x_2) > (6.0 + x_6)? (14.0 + x_2) : (6.0 + x_6))? (17.0 + x_1) : ((14.0 + x_2) > (6.0 + x_6)? (14.0 + x_2) : (6.0 + x_6))) > (((2.0 + x_10) > (11.0 + x_11)? (2.0 + x_10) : (11.0 + x_11)) > ((8.0 + x_13) > (2.0 + x_16)? (8.0 + x_13) : (2.0 + x_16))? ((2.0 + x_10) > (11.0 + x_11)? (2.0 + x_10) : (11.0 + x_11)) : ((8.0 + x_13) > (2.0 + x_16)? (8.0 + x_13) : (2.0 + x_16)))? ((17.0 + x_1) > ((14.0 + x_2) > (6.0 + x_6)? (14.0 + x_2) : (6.0 + x_6))? (17.0 + x_1) : ((14.0 + x_2) > (6.0 + x_6)? (14.0 + x_2) : (6.0 + x_6))) : (((2.0 + x_10) > (11.0 + x_11)? (2.0 + x_10) : (11.0 + x_11)) > ((8.0 + x_13) > (2.0 + x_16)? (8.0 + x_13) : (2.0 + x_16))? ((2.0 + x_10) > (11.0 + x_11)? (2.0 + x_10) : (11.0 + x_11)) : ((8.0 + x_13) > (2.0 + x_16)? (8.0 + x_13) : (2.0 + x_16)))) > (((6.0 + x_18) > ((20.0 + x_19) > (2.0 + x_20)? (20.0 + x_19) : (2.0 + x_20))? (6.0 + x_18) : ((20.0 + x_19) > (2.0 + x_20)? (20.0 + x_19) : (2.0 + x_20))) > (((5.0 + x_21) > (12.0 + x_22)? (5.0 + x_21) : (12.0 + x_22)) > ((19.0 + x_23) > (1.0 + x_26)? (19.0 + x_23) : (1.0 + x_26))? ((5.0 + x_21) > (12.0 + x_22)? (5.0 + x_21) : (12.0 + x_22)) : ((19.0 + x_23) > (1.0 + x_26)? (19.0 + x_23) : (1.0 + x_26)))? ((6.0 + x_18) > ((20.0 + x_19) > (2.0 + x_20)? (20.0 + x_19) : (2.0 + x_20))? (6.0 + x_18) : ((20.0 + x_19) > (2.0 + x_20)? (20.0 + x_19) : (2.0 + x_20))) : (((5.0 + x_21) > (12.0 + x_22)? (5.0 + x_21) : (12.0 + x_22)) > ((19.0 + x_23) > (1.0 + x_26)? (19.0 + x_23) : (1.0 + x_26))? ((5.0 + x_21) > (12.0 + x_22)? (5.0 + x_21) : (12.0 + x_22)) : ((19.0 + x_23) > (1.0 + x_26)? (19.0 + x_23) : (1.0 + x_26))))? (((17.0 + x_1) > ((14.0 + x_2) > (6.0 + x_6)? (14.0 + x_2) : (6.0 + x_6))? (17.0 + x_1) : ((14.0 + x_2) > (6.0 + x_6)? (14.0 + x_2) : (6.0 + x_6))) > (((2.0 + x_10) > (11.0 + x_11)? (2.0 + x_10) : (11.0 + x_11)) > ((8.0 + x_13) > (2.0 + x_16)? (8.0 + x_13) : (2.0 + x_16))? ((2.0 + x_10) > (11.0 + x_11)? (2.0 + x_10) : (11.0 + x_11)) : ((8.0 + x_13) > (2.0 + x_16)? (8.0 + x_13) : (2.0 + x_16)))? ((17.0 + x_1) > ((14.0 + x_2) > (6.0 + x_6)? (14.0 + x_2) : (6.0 + x_6))? (17.0 + x_1) : ((14.0 + x_2) > (6.0 + x_6)? (14.0 + x_2) : (6.0 + x_6))) : (((2.0 + x_10) > (11.0 + x_11)? (2.0 + x_10) : (11.0 + x_11)) > ((8.0 + x_13) > (2.0 + x_16)? (8.0 + x_13) : (2.0 + x_16))? ((2.0 + x_10) > (11.0 + x_11)? (2.0 + x_10) : (11.0 + x_11)) : ((8.0 + x_13) > (2.0 + x_16)? (8.0 + x_13) : (2.0 + x_16)))) : (((6.0 + x_18) > ((20.0 + x_19) > (2.0 + x_20)? (20.0 + x_19) : (2.0 + x_20))? (6.0 + x_18) : ((20.0 + x_19) > (2.0 + x_20)? (20.0 + x_19) : (2.0 + x_20))) > (((5.0 + x_21) > (12.0 + x_22)? (5.0 + x_21) : (12.0 + x_22)) > ((19.0 + x_23) > (1.0 + x_26)? (19.0 + x_23) : (1.0 + x_26))? ((5.0 + x_21) > (12.0 + x_22)? (5.0 + x_21) : (12.0 + x_22)) : ((19.0 + x_23) > (1.0 + x_26)? (19.0 + x_23) : (1.0 + x_26)))? ((6.0 + x_18) > ((20.0 + x_19) > (2.0 + x_20)? (20.0 + x_19) : (2.0 + x_20))? (6.0 + x_18) : ((20.0 + x_19) > (2.0 + x_20)? (20.0 + x_19) : (2.0 + x_20))) : (((5.0 + x_21) > (12.0 + x_22)? (5.0 + x_21) : (12.0 + x_22)) > ((19.0 + x_23) > (1.0 + x_26)? (19.0 + x_23) : (1.0 + x_26))? ((5.0 + x_21) > (12.0 + x_22)? (5.0 + x_21) : (12.0 + x_22)) : ((19.0 + x_23) > (1.0 + x_26)? (19.0 + x_23) : (1.0 + x_26)))));
  x_6_ = ((((5.0 + x_0) > ((16.0 + x_1) > (7.0 + x_3)? (16.0 + x_1) : (7.0 + x_3))? (5.0 + x_0) : ((16.0 + x_1) > (7.0 + x_3)? (16.0 + x_1) : (7.0 + x_3))) > (((12.0 + x_4) > (20.0 + x_5)? (12.0 + x_4) : (20.0 + x_5)) > ((11.0 + x_9) > (15.0 + x_12)? (11.0 + x_9) : (15.0 + x_12))? ((12.0 + x_4) > (20.0 + x_5)? (12.0 + x_4) : (20.0 + x_5)) : ((11.0 + x_9) > (15.0 + x_12)? (11.0 + x_9) : (15.0 + x_12)))? ((5.0 + x_0) > ((16.0 + x_1) > (7.0 + x_3)? (16.0 + x_1) : (7.0 + x_3))? (5.0 + x_0) : ((16.0 + x_1) > (7.0 + x_3)? (16.0 + x_1) : (7.0 + x_3))) : (((12.0 + x_4) > (20.0 + x_5)? (12.0 + x_4) : (20.0 + x_5)) > ((11.0 + x_9) > (15.0 + x_12)? (11.0 + x_9) : (15.0 + x_12))? ((12.0 + x_4) > (20.0 + x_5)? (12.0 + x_4) : (20.0 + x_5)) : ((11.0 + x_9) > (15.0 + x_12)? (11.0 + x_9) : (15.0 + x_12)))) > (((12.0 + x_14) > ((14.0 + x_15) > (10.0 + x_18)? (14.0 + x_15) : (10.0 + x_18))? (12.0 + x_14) : ((14.0 + x_15) > (10.0 + x_18)? (14.0 + x_15) : (10.0 + x_18))) > (((7.0 + x_22) > (20.0 + x_24)? (7.0 + x_22) : (20.0 + x_24)) > ((17.0 + x_26) > (12.0 + x_27)? (17.0 + x_26) : (12.0 + x_27))? ((7.0 + x_22) > (20.0 + x_24)? (7.0 + x_22) : (20.0 + x_24)) : ((17.0 + x_26) > (12.0 + x_27)? (17.0 + x_26) : (12.0 + x_27)))? ((12.0 + x_14) > ((14.0 + x_15) > (10.0 + x_18)? (14.0 + x_15) : (10.0 + x_18))? (12.0 + x_14) : ((14.0 + x_15) > (10.0 + x_18)? (14.0 + x_15) : (10.0 + x_18))) : (((7.0 + x_22) > (20.0 + x_24)? (7.0 + x_22) : (20.0 + x_24)) > ((17.0 + x_26) > (12.0 + x_27)? (17.0 + x_26) : (12.0 + x_27))? ((7.0 + x_22) > (20.0 + x_24)? (7.0 + x_22) : (20.0 + x_24)) : ((17.0 + x_26) > (12.0 + x_27)? (17.0 + x_26) : (12.0 + x_27))))? (((5.0 + x_0) > ((16.0 + x_1) > (7.0 + x_3)? (16.0 + x_1) : (7.0 + x_3))? (5.0 + x_0) : ((16.0 + x_1) > (7.0 + x_3)? (16.0 + x_1) : (7.0 + x_3))) > (((12.0 + x_4) > (20.0 + x_5)? (12.0 + x_4) : (20.0 + x_5)) > ((11.0 + x_9) > (15.0 + x_12)? (11.0 + x_9) : (15.0 + x_12))? ((12.0 + x_4) > (20.0 + x_5)? (12.0 + x_4) : (20.0 + x_5)) : ((11.0 + x_9) > (15.0 + x_12)? (11.0 + x_9) : (15.0 + x_12)))? ((5.0 + x_0) > ((16.0 + x_1) > (7.0 + x_3)? (16.0 + x_1) : (7.0 + x_3))? (5.0 + x_0) : ((16.0 + x_1) > (7.0 + x_3)? (16.0 + x_1) : (7.0 + x_3))) : (((12.0 + x_4) > (20.0 + x_5)? (12.0 + x_4) : (20.0 + x_5)) > ((11.0 + x_9) > (15.0 + x_12)? (11.0 + x_9) : (15.0 + x_12))? ((12.0 + x_4) > (20.0 + x_5)? (12.0 + x_4) : (20.0 + x_5)) : ((11.0 + x_9) > (15.0 + x_12)? (11.0 + x_9) : (15.0 + x_12)))) : (((12.0 + x_14) > ((14.0 + x_15) > (10.0 + x_18)? (14.0 + x_15) : (10.0 + x_18))? (12.0 + x_14) : ((14.0 + x_15) > (10.0 + x_18)? (14.0 + x_15) : (10.0 + x_18))) > (((7.0 + x_22) > (20.0 + x_24)? (7.0 + x_22) : (20.0 + x_24)) > ((17.0 + x_26) > (12.0 + x_27)? (17.0 + x_26) : (12.0 + x_27))? ((7.0 + x_22) > (20.0 + x_24)? (7.0 + x_22) : (20.0 + x_24)) : ((17.0 + x_26) > (12.0 + x_27)? (17.0 + x_26) : (12.0 + x_27)))? ((12.0 + x_14) > ((14.0 + x_15) > (10.0 + x_18)? (14.0 + x_15) : (10.0 + x_18))? (12.0 + x_14) : ((14.0 + x_15) > (10.0 + x_18)? (14.0 + x_15) : (10.0 + x_18))) : (((7.0 + x_22) > (20.0 + x_24)? (7.0 + x_22) : (20.0 + x_24)) > ((17.0 + x_26) > (12.0 + x_27)? (17.0 + x_26) : (12.0 + x_27))? ((7.0 + x_22) > (20.0 + x_24)? (7.0 + x_22) : (20.0 + x_24)) : ((17.0 + x_26) > (12.0 + x_27)? (17.0 + x_26) : (12.0 + x_27)))));
  x_7_ = ((((5.0 + x_0) > ((20.0 + x_4) > (10.0 + x_6)? (20.0 + x_4) : (10.0 + x_6))? (5.0 + x_0) : ((20.0 + x_4) > (10.0 + x_6)? (20.0 + x_4) : (10.0 + x_6))) > (((10.0 + x_10) > (4.0 + x_12)? (10.0 + x_10) : (4.0 + x_12)) > ((19.0 + x_13) > (18.0 + x_15)? (19.0 + x_13) : (18.0 + x_15))? ((10.0 + x_10) > (4.0 + x_12)? (10.0 + x_10) : (4.0 + x_12)) : ((19.0 + x_13) > (18.0 + x_15)? (19.0 + x_13) : (18.0 + x_15)))? ((5.0 + x_0) > ((20.0 + x_4) > (10.0 + x_6)? (20.0 + x_4) : (10.0 + x_6))? (5.0 + x_0) : ((20.0 + x_4) > (10.0 + x_6)? (20.0 + x_4) : (10.0 + x_6))) : (((10.0 + x_10) > (4.0 + x_12)? (10.0 + x_10) : (4.0 + x_12)) > ((19.0 + x_13) > (18.0 + x_15)? (19.0 + x_13) : (18.0 + x_15))? ((10.0 + x_10) > (4.0 + x_12)? (10.0 + x_10) : (4.0 + x_12)) : ((19.0 + x_13) > (18.0 + x_15)? (19.0 + x_13) : (18.0 + x_15)))) > (((15.0 + x_16) > ((18.0 + x_18) > (17.0 + x_20)? (18.0 + x_18) : (17.0 + x_20))? (15.0 + x_16) : ((18.0 + x_18) > (17.0 + x_20)? (18.0 + x_18) : (17.0 + x_20))) > (((2.0 + x_21) > (13.0 + x_22)? (2.0 + x_21) : (13.0 + x_22)) > ((11.0 + x_25) > (3.0 + x_26)? (11.0 + x_25) : (3.0 + x_26))? ((2.0 + x_21) > (13.0 + x_22)? (2.0 + x_21) : (13.0 + x_22)) : ((11.0 + x_25) > (3.0 + x_26)? (11.0 + x_25) : (3.0 + x_26)))? ((15.0 + x_16) > ((18.0 + x_18) > (17.0 + x_20)? (18.0 + x_18) : (17.0 + x_20))? (15.0 + x_16) : ((18.0 + x_18) > (17.0 + x_20)? (18.0 + x_18) : (17.0 + x_20))) : (((2.0 + x_21) > (13.0 + x_22)? (2.0 + x_21) : (13.0 + x_22)) > ((11.0 + x_25) > (3.0 + x_26)? (11.0 + x_25) : (3.0 + x_26))? ((2.0 + x_21) > (13.0 + x_22)? (2.0 + x_21) : (13.0 + x_22)) : ((11.0 + x_25) > (3.0 + x_26)? (11.0 + x_25) : (3.0 + x_26))))? (((5.0 + x_0) > ((20.0 + x_4) > (10.0 + x_6)? (20.0 + x_4) : (10.0 + x_6))? (5.0 + x_0) : ((20.0 + x_4) > (10.0 + x_6)? (20.0 + x_4) : (10.0 + x_6))) > (((10.0 + x_10) > (4.0 + x_12)? (10.0 + x_10) : (4.0 + x_12)) > ((19.0 + x_13) > (18.0 + x_15)? (19.0 + x_13) : (18.0 + x_15))? ((10.0 + x_10) > (4.0 + x_12)? (10.0 + x_10) : (4.0 + x_12)) : ((19.0 + x_13) > (18.0 + x_15)? (19.0 + x_13) : (18.0 + x_15)))? ((5.0 + x_0) > ((20.0 + x_4) > (10.0 + x_6)? (20.0 + x_4) : (10.0 + x_6))? (5.0 + x_0) : ((20.0 + x_4) > (10.0 + x_6)? (20.0 + x_4) : (10.0 + x_6))) : (((10.0 + x_10) > (4.0 + x_12)? (10.0 + x_10) : (4.0 + x_12)) > ((19.0 + x_13) > (18.0 + x_15)? (19.0 + x_13) : (18.0 + x_15))? ((10.0 + x_10) > (4.0 + x_12)? (10.0 + x_10) : (4.0 + x_12)) : ((19.0 + x_13) > (18.0 + x_15)? (19.0 + x_13) : (18.0 + x_15)))) : (((15.0 + x_16) > ((18.0 + x_18) > (17.0 + x_20)? (18.0 + x_18) : (17.0 + x_20))? (15.0 + x_16) : ((18.0 + x_18) > (17.0 + x_20)? (18.0 + x_18) : (17.0 + x_20))) > (((2.0 + x_21) > (13.0 + x_22)? (2.0 + x_21) : (13.0 + x_22)) > ((11.0 + x_25) > (3.0 + x_26)? (11.0 + x_25) : (3.0 + x_26))? ((2.0 + x_21) > (13.0 + x_22)? (2.0 + x_21) : (13.0 + x_22)) : ((11.0 + x_25) > (3.0 + x_26)? (11.0 + x_25) : (3.0 + x_26)))? ((15.0 + x_16) > ((18.0 + x_18) > (17.0 + x_20)? (18.0 + x_18) : (17.0 + x_20))? (15.0 + x_16) : ((18.0 + x_18) > (17.0 + x_20)? (18.0 + x_18) : (17.0 + x_20))) : (((2.0 + x_21) > (13.0 + x_22)? (2.0 + x_21) : (13.0 + x_22)) > ((11.0 + x_25) > (3.0 + x_26)? (11.0 + x_25) : (3.0 + x_26))? ((2.0 + x_21) > (13.0 + x_22)? (2.0 + x_21) : (13.0 + x_22)) : ((11.0 + x_25) > (3.0 + x_26)? (11.0 + x_25) : (3.0 + x_26)))));
  x_8_ = ((((8.0 + x_0) > ((5.0 + x_1) > (5.0 + x_3)? (5.0 + x_1) : (5.0 + x_3))? (8.0 + x_0) : ((5.0 + x_1) > (5.0 + x_3)? (5.0 + x_1) : (5.0 + x_3))) > (((14.0 + x_4) > (3.0 + x_5)? (14.0 + x_4) : (3.0 + x_5)) > ((1.0 + x_9) > (13.0 + x_15)? (1.0 + x_9) : (13.0 + x_15))? ((14.0 + x_4) > (3.0 + x_5)? (14.0 + x_4) : (3.0 + x_5)) : ((1.0 + x_9) > (13.0 + x_15)? (1.0 + x_9) : (13.0 + x_15)))? ((8.0 + x_0) > ((5.0 + x_1) > (5.0 + x_3)? (5.0 + x_1) : (5.0 + x_3))? (8.0 + x_0) : ((5.0 + x_1) > (5.0 + x_3)? (5.0 + x_1) : (5.0 + x_3))) : (((14.0 + x_4) > (3.0 + x_5)? (14.0 + x_4) : (3.0 + x_5)) > ((1.0 + x_9) > (13.0 + x_15)? (1.0 + x_9) : (13.0 + x_15))? ((14.0 + x_4) > (3.0 + x_5)? (14.0 + x_4) : (3.0 + x_5)) : ((1.0 + x_9) > (13.0 + x_15)? (1.0 + x_9) : (13.0 + x_15)))) > (((13.0 + x_16) > ((11.0 + x_18) > (10.0 + x_19)? (11.0 + x_18) : (10.0 + x_19))? (13.0 + x_16) : ((11.0 + x_18) > (10.0 + x_19)? (11.0 + x_18) : (10.0 + x_19))) > (((13.0 + x_20) > (14.0 + x_22)? (13.0 + x_20) : (14.0 + x_22)) > ((11.0 + x_25) > (5.0 + x_27)? (11.0 + x_25) : (5.0 + x_27))? ((13.0 + x_20) > (14.0 + x_22)? (13.0 + x_20) : (14.0 + x_22)) : ((11.0 + x_25) > (5.0 + x_27)? (11.0 + x_25) : (5.0 + x_27)))? ((13.0 + x_16) > ((11.0 + x_18) > (10.0 + x_19)? (11.0 + x_18) : (10.0 + x_19))? (13.0 + x_16) : ((11.0 + x_18) > (10.0 + x_19)? (11.0 + x_18) : (10.0 + x_19))) : (((13.0 + x_20) > (14.0 + x_22)? (13.0 + x_20) : (14.0 + x_22)) > ((11.0 + x_25) > (5.0 + x_27)? (11.0 + x_25) : (5.0 + x_27))? ((13.0 + x_20) > (14.0 + x_22)? (13.0 + x_20) : (14.0 + x_22)) : ((11.0 + x_25) > (5.0 + x_27)? (11.0 + x_25) : (5.0 + x_27))))? (((8.0 + x_0) > ((5.0 + x_1) > (5.0 + x_3)? (5.0 + x_1) : (5.0 + x_3))? (8.0 + x_0) : ((5.0 + x_1) > (5.0 + x_3)? (5.0 + x_1) : (5.0 + x_3))) > (((14.0 + x_4) > (3.0 + x_5)? (14.0 + x_4) : (3.0 + x_5)) > ((1.0 + x_9) > (13.0 + x_15)? (1.0 + x_9) : (13.0 + x_15))? ((14.0 + x_4) > (3.0 + x_5)? (14.0 + x_4) : (3.0 + x_5)) : ((1.0 + x_9) > (13.0 + x_15)? (1.0 + x_9) : (13.0 + x_15)))? ((8.0 + x_0) > ((5.0 + x_1) > (5.0 + x_3)? (5.0 + x_1) : (5.0 + x_3))? (8.0 + x_0) : ((5.0 + x_1) > (5.0 + x_3)? (5.0 + x_1) : (5.0 + x_3))) : (((14.0 + x_4) > (3.0 + x_5)? (14.0 + x_4) : (3.0 + x_5)) > ((1.0 + x_9) > (13.0 + x_15)? (1.0 + x_9) : (13.0 + x_15))? ((14.0 + x_4) > (3.0 + x_5)? (14.0 + x_4) : (3.0 + x_5)) : ((1.0 + x_9) > (13.0 + x_15)? (1.0 + x_9) : (13.0 + x_15)))) : (((13.0 + x_16) > ((11.0 + x_18) > (10.0 + x_19)? (11.0 + x_18) : (10.0 + x_19))? (13.0 + x_16) : ((11.0 + x_18) > (10.0 + x_19)? (11.0 + x_18) : (10.0 + x_19))) > (((13.0 + x_20) > (14.0 + x_22)? (13.0 + x_20) : (14.0 + x_22)) > ((11.0 + x_25) > (5.0 + x_27)? (11.0 + x_25) : (5.0 + x_27))? ((13.0 + x_20) > (14.0 + x_22)? (13.0 + x_20) : (14.0 + x_22)) : ((11.0 + x_25) > (5.0 + x_27)? (11.0 + x_25) : (5.0 + x_27)))? ((13.0 + x_16) > ((11.0 + x_18) > (10.0 + x_19)? (11.0 + x_18) : (10.0 + x_19))? (13.0 + x_16) : ((11.0 + x_18) > (10.0 + x_19)? (11.0 + x_18) : (10.0 + x_19))) : (((13.0 + x_20) > (14.0 + x_22)? (13.0 + x_20) : (14.0 + x_22)) > ((11.0 + x_25) > (5.0 + x_27)? (11.0 + x_25) : (5.0 + x_27))? ((13.0 + x_20) > (14.0 + x_22)? (13.0 + x_20) : (14.0 + x_22)) : ((11.0 + x_25) > (5.0 + x_27)? (11.0 + x_25) : (5.0 + x_27)))));
  x_9_ = ((((5.0 + x_2) > ((14.0 + x_3) > (12.0 + x_4)? (14.0 + x_3) : (12.0 + x_4))? (5.0 + x_2) : ((14.0 + x_3) > (12.0 + x_4)? (14.0 + x_3) : (12.0 + x_4))) > (((15.0 + x_5) > (14.0 + x_6)? (15.0 + x_5) : (14.0 + x_6)) > ((15.0 + x_8) > (5.0 + x_13)? (15.0 + x_8) : (5.0 + x_13))? ((15.0 + x_5) > (14.0 + x_6)? (15.0 + x_5) : (14.0 + x_6)) : ((15.0 + x_8) > (5.0 + x_13)? (15.0 + x_8) : (5.0 + x_13)))? ((5.0 + x_2) > ((14.0 + x_3) > (12.0 + x_4)? (14.0 + x_3) : (12.0 + x_4))? (5.0 + x_2) : ((14.0 + x_3) > (12.0 + x_4)? (14.0 + x_3) : (12.0 + x_4))) : (((15.0 + x_5) > (14.0 + x_6)? (15.0 + x_5) : (14.0 + x_6)) > ((15.0 + x_8) > (5.0 + x_13)? (15.0 + x_8) : (5.0 + x_13))? ((15.0 + x_5) > (14.0 + x_6)? (15.0 + x_5) : (14.0 + x_6)) : ((15.0 + x_8) > (5.0 + x_13)? (15.0 + x_8) : (5.0 + x_13)))) > (((8.0 + x_15) > ((3.0 + x_17) > (17.0 + x_19)? (3.0 + x_17) : (17.0 + x_19))? (8.0 + x_15) : ((3.0 + x_17) > (17.0 + x_19)? (3.0 + x_17) : (17.0 + x_19))) > (((18.0 + x_23) > (16.0 + x_24)? (18.0 + x_23) : (16.0 + x_24)) > ((11.0 + x_26) > (15.0 + x_27)? (11.0 + x_26) : (15.0 + x_27))? ((18.0 + x_23) > (16.0 + x_24)? (18.0 + x_23) : (16.0 + x_24)) : ((11.0 + x_26) > (15.0 + x_27)? (11.0 + x_26) : (15.0 + x_27)))? ((8.0 + x_15) > ((3.0 + x_17) > (17.0 + x_19)? (3.0 + x_17) : (17.0 + x_19))? (8.0 + x_15) : ((3.0 + x_17) > (17.0 + x_19)? (3.0 + x_17) : (17.0 + x_19))) : (((18.0 + x_23) > (16.0 + x_24)? (18.0 + x_23) : (16.0 + x_24)) > ((11.0 + x_26) > (15.0 + x_27)? (11.0 + x_26) : (15.0 + x_27))? ((18.0 + x_23) > (16.0 + x_24)? (18.0 + x_23) : (16.0 + x_24)) : ((11.0 + x_26) > (15.0 + x_27)? (11.0 + x_26) : (15.0 + x_27))))? (((5.0 + x_2) > ((14.0 + x_3) > (12.0 + x_4)? (14.0 + x_3) : (12.0 + x_4))? (5.0 + x_2) : ((14.0 + x_3) > (12.0 + x_4)? (14.0 + x_3) : (12.0 + x_4))) > (((15.0 + x_5) > (14.0 + x_6)? (15.0 + x_5) : (14.0 + x_6)) > ((15.0 + x_8) > (5.0 + x_13)? (15.0 + x_8) : (5.0 + x_13))? ((15.0 + x_5) > (14.0 + x_6)? (15.0 + x_5) : (14.0 + x_6)) : ((15.0 + x_8) > (5.0 + x_13)? (15.0 + x_8) : (5.0 + x_13)))? ((5.0 + x_2) > ((14.0 + x_3) > (12.0 + x_4)? (14.0 + x_3) : (12.0 + x_4))? (5.0 + x_2) : ((14.0 + x_3) > (12.0 + x_4)? (14.0 + x_3) : (12.0 + x_4))) : (((15.0 + x_5) > (14.0 + x_6)? (15.0 + x_5) : (14.0 + x_6)) > ((15.0 + x_8) > (5.0 + x_13)? (15.0 + x_8) : (5.0 + x_13))? ((15.0 + x_5) > (14.0 + x_6)? (15.0 + x_5) : (14.0 + x_6)) : ((15.0 + x_8) > (5.0 + x_13)? (15.0 + x_8) : (5.0 + x_13)))) : (((8.0 + x_15) > ((3.0 + x_17) > (17.0 + x_19)? (3.0 + x_17) : (17.0 + x_19))? (8.0 + x_15) : ((3.0 + x_17) > (17.0 + x_19)? (3.0 + x_17) : (17.0 + x_19))) > (((18.0 + x_23) > (16.0 + x_24)? (18.0 + x_23) : (16.0 + x_24)) > ((11.0 + x_26) > (15.0 + x_27)? (11.0 + x_26) : (15.0 + x_27))? ((18.0 + x_23) > (16.0 + x_24)? (18.0 + x_23) : (16.0 + x_24)) : ((11.0 + x_26) > (15.0 + x_27)? (11.0 + x_26) : (15.0 + x_27)))? ((8.0 + x_15) > ((3.0 + x_17) > (17.0 + x_19)? (3.0 + x_17) : (17.0 + x_19))? (8.0 + x_15) : ((3.0 + x_17) > (17.0 + x_19)? (3.0 + x_17) : (17.0 + x_19))) : (((18.0 + x_23) > (16.0 + x_24)? (18.0 + x_23) : (16.0 + x_24)) > ((11.0 + x_26) > (15.0 + x_27)? (11.0 + x_26) : (15.0 + x_27))? ((18.0 + x_23) > (16.0 + x_24)? (18.0 + x_23) : (16.0 + x_24)) : ((11.0 + x_26) > (15.0 + x_27)? (11.0 + x_26) : (15.0 + x_27)))));
  x_10_ = ((((1.0 + x_3) > ((8.0 + x_4) > (14.0 + x_6)? (8.0 + x_4) : (14.0 + x_6))? (1.0 + x_3) : ((8.0 + x_4) > (14.0 + x_6)? (8.0 + x_4) : (14.0 + x_6))) > (((6.0 + x_7) > (11.0 + x_10)? (6.0 + x_7) : (11.0 + x_10)) > ((5.0 + x_11) > (20.0 + x_19)? (5.0 + x_11) : (20.0 + x_19))? ((6.0 + x_7) > (11.0 + x_10)? (6.0 + x_7) : (11.0 + x_10)) : ((5.0 + x_11) > (20.0 + x_19)? (5.0 + x_11) : (20.0 + x_19)))? ((1.0 + x_3) > ((8.0 + x_4) > (14.0 + x_6)? (8.0 + x_4) : (14.0 + x_6))? (1.0 + x_3) : ((8.0 + x_4) > (14.0 + x_6)? (8.0 + x_4) : (14.0 + x_6))) : (((6.0 + x_7) > (11.0 + x_10)? (6.0 + x_7) : (11.0 + x_10)) > ((5.0 + x_11) > (20.0 + x_19)? (5.0 + x_11) : (20.0 + x_19))? ((6.0 + x_7) > (11.0 + x_10)? (6.0 + x_7) : (11.0 + x_10)) : ((5.0 + x_11) > (20.0 + x_19)? (5.0 + x_11) : (20.0 + x_19)))) > (((10.0 + x_21) > ((18.0 + x_22) > (16.0 + x_23)? (18.0 + x_22) : (16.0 + x_23))? (10.0 + x_21) : ((18.0 + x_22) > (16.0 + x_23)? (18.0 + x_22) : (16.0 + x_23))) > (((6.0 + x_24) > (15.0 + x_25)? (6.0 + x_24) : (15.0 + x_25)) > ((3.0 + x_26) > (20.0 + x_27)? (3.0 + x_26) : (20.0 + x_27))? ((6.0 + x_24) > (15.0 + x_25)? (6.0 + x_24) : (15.0 + x_25)) : ((3.0 + x_26) > (20.0 + x_27)? (3.0 + x_26) : (20.0 + x_27)))? ((10.0 + x_21) > ((18.0 + x_22) > (16.0 + x_23)? (18.0 + x_22) : (16.0 + x_23))? (10.0 + x_21) : ((18.0 + x_22) > (16.0 + x_23)? (18.0 + x_22) : (16.0 + x_23))) : (((6.0 + x_24) > (15.0 + x_25)? (6.0 + x_24) : (15.0 + x_25)) > ((3.0 + x_26) > (20.0 + x_27)? (3.0 + x_26) : (20.0 + x_27))? ((6.0 + x_24) > (15.0 + x_25)? (6.0 + x_24) : (15.0 + x_25)) : ((3.0 + x_26) > (20.0 + x_27)? (3.0 + x_26) : (20.0 + x_27))))? (((1.0 + x_3) > ((8.0 + x_4) > (14.0 + x_6)? (8.0 + x_4) : (14.0 + x_6))? (1.0 + x_3) : ((8.0 + x_4) > (14.0 + x_6)? (8.0 + x_4) : (14.0 + x_6))) > (((6.0 + x_7) > (11.0 + x_10)? (6.0 + x_7) : (11.0 + x_10)) > ((5.0 + x_11) > (20.0 + x_19)? (5.0 + x_11) : (20.0 + x_19))? ((6.0 + x_7) > (11.0 + x_10)? (6.0 + x_7) : (11.0 + x_10)) : ((5.0 + x_11) > (20.0 + x_19)? (5.0 + x_11) : (20.0 + x_19)))? ((1.0 + x_3) > ((8.0 + x_4) > (14.0 + x_6)? (8.0 + x_4) : (14.0 + x_6))? (1.0 + x_3) : ((8.0 + x_4) > (14.0 + x_6)? (8.0 + x_4) : (14.0 + x_6))) : (((6.0 + x_7) > (11.0 + x_10)? (6.0 + x_7) : (11.0 + x_10)) > ((5.0 + x_11) > (20.0 + x_19)? (5.0 + x_11) : (20.0 + x_19))? ((6.0 + x_7) > (11.0 + x_10)? (6.0 + x_7) : (11.0 + x_10)) : ((5.0 + x_11) > (20.0 + x_19)? (5.0 + x_11) : (20.0 + x_19)))) : (((10.0 + x_21) > ((18.0 + x_22) > (16.0 + x_23)? (18.0 + x_22) : (16.0 + x_23))? (10.0 + x_21) : ((18.0 + x_22) > (16.0 + x_23)? (18.0 + x_22) : (16.0 + x_23))) > (((6.0 + x_24) > (15.0 + x_25)? (6.0 + x_24) : (15.0 + x_25)) > ((3.0 + x_26) > (20.0 + x_27)? (3.0 + x_26) : (20.0 + x_27))? ((6.0 + x_24) > (15.0 + x_25)? (6.0 + x_24) : (15.0 + x_25)) : ((3.0 + x_26) > (20.0 + x_27)? (3.0 + x_26) : (20.0 + x_27)))? ((10.0 + x_21) > ((18.0 + x_22) > (16.0 + x_23)? (18.0 + x_22) : (16.0 + x_23))? (10.0 + x_21) : ((18.0 + x_22) > (16.0 + x_23)? (18.0 + x_22) : (16.0 + x_23))) : (((6.0 + x_24) > (15.0 + x_25)? (6.0 + x_24) : (15.0 + x_25)) > ((3.0 + x_26) > (20.0 + x_27)? (3.0 + x_26) : (20.0 + x_27))? ((6.0 + x_24) > (15.0 + x_25)? (6.0 + x_24) : (15.0 + x_25)) : ((3.0 + x_26) > (20.0 + x_27)? (3.0 + x_26) : (20.0 + x_27)))));
  x_11_ = ((((14.0 + x_4) > ((16.0 + x_5) > (18.0 + x_6)? (16.0 + x_5) : (18.0 + x_6))? (14.0 + x_4) : ((16.0 + x_5) > (18.0 + x_6)? (16.0 + x_5) : (18.0 + x_6))) > (((20.0 + x_8) > (3.0 + x_12)? (20.0 + x_8) : (3.0 + x_12)) > ((11.0 + x_14) > (13.0 + x_16)? (11.0 + x_14) : (13.0 + x_16))? ((20.0 + x_8) > (3.0 + x_12)? (20.0 + x_8) : (3.0 + x_12)) : ((11.0 + x_14) > (13.0 + x_16)? (11.0 + x_14) : (13.0 + x_16)))? ((14.0 + x_4) > ((16.0 + x_5) > (18.0 + x_6)? (16.0 + x_5) : (18.0 + x_6))? (14.0 + x_4) : ((16.0 + x_5) > (18.0 + x_6)? (16.0 + x_5) : (18.0 + x_6))) : (((20.0 + x_8) > (3.0 + x_12)? (20.0 + x_8) : (3.0 + x_12)) > ((11.0 + x_14) > (13.0 + x_16)? (11.0 + x_14) : (13.0 + x_16))? ((20.0 + x_8) > (3.0 + x_12)? (20.0 + x_8) : (3.0 + x_12)) : ((11.0 + x_14) > (13.0 + x_16)? (11.0 + x_14) : (13.0 + x_16)))) > (((7.0 + x_17) > ((12.0 + x_18) > (7.0 + x_21)? (12.0 + x_18) : (7.0 + x_21))? (7.0 + x_17) : ((12.0 + x_18) > (7.0 + x_21)? (12.0 + x_18) : (7.0 + x_21))) > (((13.0 + x_22) > (13.0 + x_25)? (13.0 + x_22) : (13.0 + x_25)) > ((2.0 + x_26) > (10.0 + x_27)? (2.0 + x_26) : (10.0 + x_27))? ((13.0 + x_22) > (13.0 + x_25)? (13.0 + x_22) : (13.0 + x_25)) : ((2.0 + x_26) > (10.0 + x_27)? (2.0 + x_26) : (10.0 + x_27)))? ((7.0 + x_17) > ((12.0 + x_18) > (7.0 + x_21)? (12.0 + x_18) : (7.0 + x_21))? (7.0 + x_17) : ((12.0 + x_18) > (7.0 + x_21)? (12.0 + x_18) : (7.0 + x_21))) : (((13.0 + x_22) > (13.0 + x_25)? (13.0 + x_22) : (13.0 + x_25)) > ((2.0 + x_26) > (10.0 + x_27)? (2.0 + x_26) : (10.0 + x_27))? ((13.0 + x_22) > (13.0 + x_25)? (13.0 + x_22) : (13.0 + x_25)) : ((2.0 + x_26) > (10.0 + x_27)? (2.0 + x_26) : (10.0 + x_27))))? (((14.0 + x_4) > ((16.0 + x_5) > (18.0 + x_6)? (16.0 + x_5) : (18.0 + x_6))? (14.0 + x_4) : ((16.0 + x_5) > (18.0 + x_6)? (16.0 + x_5) : (18.0 + x_6))) > (((20.0 + x_8) > (3.0 + x_12)? (20.0 + x_8) : (3.0 + x_12)) > ((11.0 + x_14) > (13.0 + x_16)? (11.0 + x_14) : (13.0 + x_16))? ((20.0 + x_8) > (3.0 + x_12)? (20.0 + x_8) : (3.0 + x_12)) : ((11.0 + x_14) > (13.0 + x_16)? (11.0 + x_14) : (13.0 + x_16)))? ((14.0 + x_4) > ((16.0 + x_5) > (18.0 + x_6)? (16.0 + x_5) : (18.0 + x_6))? (14.0 + x_4) : ((16.0 + x_5) > (18.0 + x_6)? (16.0 + x_5) : (18.0 + x_6))) : (((20.0 + x_8) > (3.0 + x_12)? (20.0 + x_8) : (3.0 + x_12)) > ((11.0 + x_14) > (13.0 + x_16)? (11.0 + x_14) : (13.0 + x_16))? ((20.0 + x_8) > (3.0 + x_12)? (20.0 + x_8) : (3.0 + x_12)) : ((11.0 + x_14) > (13.0 + x_16)? (11.0 + x_14) : (13.0 + x_16)))) : (((7.0 + x_17) > ((12.0 + x_18) > (7.0 + x_21)? (12.0 + x_18) : (7.0 + x_21))? (7.0 + x_17) : ((12.0 + x_18) > (7.0 + x_21)? (12.0 + x_18) : (7.0 + x_21))) > (((13.0 + x_22) > (13.0 + x_25)? (13.0 + x_22) : (13.0 + x_25)) > ((2.0 + x_26) > (10.0 + x_27)? (2.0 + x_26) : (10.0 + x_27))? ((13.0 + x_22) > (13.0 + x_25)? (13.0 + x_22) : (13.0 + x_25)) : ((2.0 + x_26) > (10.0 + x_27)? (2.0 + x_26) : (10.0 + x_27)))? ((7.0 + x_17) > ((12.0 + x_18) > (7.0 + x_21)? (12.0 + x_18) : (7.0 + x_21))? (7.0 + x_17) : ((12.0 + x_18) > (7.0 + x_21)? (12.0 + x_18) : (7.0 + x_21))) : (((13.0 + x_22) > (13.0 + x_25)? (13.0 + x_22) : (13.0 + x_25)) > ((2.0 + x_26) > (10.0 + x_27)? (2.0 + x_26) : (10.0 + x_27))? ((13.0 + x_22) > (13.0 + x_25)? (13.0 + x_22) : (13.0 + x_25)) : ((2.0 + x_26) > (10.0 + x_27)? (2.0 + x_26) : (10.0 + x_27)))));
  x_12_ = ((((18.0 + x_0) > ((1.0 + x_1) > (19.0 + x_3)? (1.0 + x_1) : (19.0 + x_3))? (18.0 + x_0) : ((1.0 + x_1) > (19.0 + x_3)? (1.0 + x_1) : (19.0 + x_3))) > (((4.0 + x_5) > (19.0 + x_6)? (4.0 + x_5) : (19.0 + x_6)) > ((7.0 + x_7) > (2.0 + x_9)? (7.0 + x_7) : (2.0 + x_9))? ((4.0 + x_5) > (19.0 + x_6)? (4.0 + x_5) : (19.0 + x_6)) : ((7.0 + x_7) > (2.0 + x_9)? (7.0 + x_7) : (2.0 + x_9)))? ((18.0 + x_0) > ((1.0 + x_1) > (19.0 + x_3)? (1.0 + x_1) : (19.0 + x_3))? (18.0 + x_0) : ((1.0 + x_1) > (19.0 + x_3)? (1.0 + x_1) : (19.0 + x_3))) : (((4.0 + x_5) > (19.0 + x_6)? (4.0 + x_5) : (19.0 + x_6)) > ((7.0 + x_7) > (2.0 + x_9)? (7.0 + x_7) : (2.0 + x_9))? ((4.0 + x_5) > (19.0 + x_6)? (4.0 + x_5) : (19.0 + x_6)) : ((7.0 + x_7) > (2.0 + x_9)? (7.0 + x_7) : (2.0 + x_9)))) > (((10.0 + x_16) > ((12.0 + x_17) > (14.0 + x_20)? (12.0 + x_17) : (14.0 + x_20))? (10.0 + x_16) : ((12.0 + x_17) > (14.0 + x_20)? (12.0 + x_17) : (14.0 + x_20))) > (((15.0 + x_21) > (2.0 + x_23)? (15.0 + x_21) : (2.0 + x_23)) > ((16.0 + x_25) > (14.0 + x_27)? (16.0 + x_25) : (14.0 + x_27))? ((15.0 + x_21) > (2.0 + x_23)? (15.0 + x_21) : (2.0 + x_23)) : ((16.0 + x_25) > (14.0 + x_27)? (16.0 + x_25) : (14.0 + x_27)))? ((10.0 + x_16) > ((12.0 + x_17) > (14.0 + x_20)? (12.0 + x_17) : (14.0 + x_20))? (10.0 + x_16) : ((12.0 + x_17) > (14.0 + x_20)? (12.0 + x_17) : (14.0 + x_20))) : (((15.0 + x_21) > (2.0 + x_23)? (15.0 + x_21) : (2.0 + x_23)) > ((16.0 + x_25) > (14.0 + x_27)? (16.0 + x_25) : (14.0 + x_27))? ((15.0 + x_21) > (2.0 + x_23)? (15.0 + x_21) : (2.0 + x_23)) : ((16.0 + x_25) > (14.0 + x_27)? (16.0 + x_25) : (14.0 + x_27))))? (((18.0 + x_0) > ((1.0 + x_1) > (19.0 + x_3)? (1.0 + x_1) : (19.0 + x_3))? (18.0 + x_0) : ((1.0 + x_1) > (19.0 + x_3)? (1.0 + x_1) : (19.0 + x_3))) > (((4.0 + x_5) > (19.0 + x_6)? (4.0 + x_5) : (19.0 + x_6)) > ((7.0 + x_7) > (2.0 + x_9)? (7.0 + x_7) : (2.0 + x_9))? ((4.0 + x_5) > (19.0 + x_6)? (4.0 + x_5) : (19.0 + x_6)) : ((7.0 + x_7) > (2.0 + x_9)? (7.0 + x_7) : (2.0 + x_9)))? ((18.0 + x_0) > ((1.0 + x_1) > (19.0 + x_3)? (1.0 + x_1) : (19.0 + x_3))? (18.0 + x_0) : ((1.0 + x_1) > (19.0 + x_3)? (1.0 + x_1) : (19.0 + x_3))) : (((4.0 + x_5) > (19.0 + x_6)? (4.0 + x_5) : (19.0 + x_6)) > ((7.0 + x_7) > (2.0 + x_9)? (7.0 + x_7) : (2.0 + x_9))? ((4.0 + x_5) > (19.0 + x_6)? (4.0 + x_5) : (19.0 + x_6)) : ((7.0 + x_7) > (2.0 + x_9)? (7.0 + x_7) : (2.0 + x_9)))) : (((10.0 + x_16) > ((12.0 + x_17) > (14.0 + x_20)? (12.0 + x_17) : (14.0 + x_20))? (10.0 + x_16) : ((12.0 + x_17) > (14.0 + x_20)? (12.0 + x_17) : (14.0 + x_20))) > (((15.0 + x_21) > (2.0 + x_23)? (15.0 + x_21) : (2.0 + x_23)) > ((16.0 + x_25) > (14.0 + x_27)? (16.0 + x_25) : (14.0 + x_27))? ((15.0 + x_21) > (2.0 + x_23)? (15.0 + x_21) : (2.0 + x_23)) : ((16.0 + x_25) > (14.0 + x_27)? (16.0 + x_25) : (14.0 + x_27)))? ((10.0 + x_16) > ((12.0 + x_17) > (14.0 + x_20)? (12.0 + x_17) : (14.0 + x_20))? (10.0 + x_16) : ((12.0 + x_17) > (14.0 + x_20)? (12.0 + x_17) : (14.0 + x_20))) : (((15.0 + x_21) > (2.0 + x_23)? (15.0 + x_21) : (2.0 + x_23)) > ((16.0 + x_25) > (14.0 + x_27)? (16.0 + x_25) : (14.0 + x_27))? ((15.0 + x_21) > (2.0 + x_23)? (15.0 + x_21) : (2.0 + x_23)) : ((16.0 + x_25) > (14.0 + x_27)? (16.0 + x_25) : (14.0 + x_27)))));
  x_13_ = ((((19.0 + x_1) > ((18.0 + x_2) > (13.0 + x_3)? (18.0 + x_2) : (13.0 + x_3))? (19.0 + x_1) : ((18.0 + x_2) > (13.0 + x_3)? (18.0 + x_2) : (13.0 + x_3))) > (((14.0 + x_6) > (12.0 + x_8)? (14.0 + x_6) : (12.0 + x_8)) > ((2.0 + x_9) > (1.0 + x_10)? (2.0 + x_9) : (1.0 + x_10))? ((14.0 + x_6) > (12.0 + x_8)? (14.0 + x_6) : (12.0 + x_8)) : ((2.0 + x_9) > (1.0 + x_10)? (2.0 + x_9) : (1.0 + x_10)))? ((19.0 + x_1) > ((18.0 + x_2) > (13.0 + x_3)? (18.0 + x_2) : (13.0 + x_3))? (19.0 + x_1) : ((18.0 + x_2) > (13.0 + x_3)? (18.0 + x_2) : (13.0 + x_3))) : (((14.0 + x_6) > (12.0 + x_8)? (14.0 + x_6) : (12.0 + x_8)) > ((2.0 + x_9) > (1.0 + x_10)? (2.0 + x_9) : (1.0 + x_10))? ((14.0 + x_6) > (12.0 + x_8)? (14.0 + x_6) : (12.0 + x_8)) : ((2.0 + x_9) > (1.0 + x_10)? (2.0 + x_9) : (1.0 + x_10)))) > (((12.0 + x_11) > ((10.0 + x_14) > (14.0 + x_20)? (10.0 + x_14) : (14.0 + x_20))? (12.0 + x_11) : ((10.0 + x_14) > (14.0 + x_20)? (10.0 + x_14) : (14.0 + x_20))) > (((15.0 + x_23) > (5.0 + x_24)? (15.0 + x_23) : (5.0 + x_24)) > ((18.0 + x_26) > (6.0 + x_27)? (18.0 + x_26) : (6.0 + x_27))? ((15.0 + x_23) > (5.0 + x_24)? (15.0 + x_23) : (5.0 + x_24)) : ((18.0 + x_26) > (6.0 + x_27)? (18.0 + x_26) : (6.0 + x_27)))? ((12.0 + x_11) > ((10.0 + x_14) > (14.0 + x_20)? (10.0 + x_14) : (14.0 + x_20))? (12.0 + x_11) : ((10.0 + x_14) > (14.0 + x_20)? (10.0 + x_14) : (14.0 + x_20))) : (((15.0 + x_23) > (5.0 + x_24)? (15.0 + x_23) : (5.0 + x_24)) > ((18.0 + x_26) > (6.0 + x_27)? (18.0 + x_26) : (6.0 + x_27))? ((15.0 + x_23) > (5.0 + x_24)? (15.0 + x_23) : (5.0 + x_24)) : ((18.0 + x_26) > (6.0 + x_27)? (18.0 + x_26) : (6.0 + x_27))))? (((19.0 + x_1) > ((18.0 + x_2) > (13.0 + x_3)? (18.0 + x_2) : (13.0 + x_3))? (19.0 + x_1) : ((18.0 + x_2) > (13.0 + x_3)? (18.0 + x_2) : (13.0 + x_3))) > (((14.0 + x_6) > (12.0 + x_8)? (14.0 + x_6) : (12.0 + x_8)) > ((2.0 + x_9) > (1.0 + x_10)? (2.0 + x_9) : (1.0 + x_10))? ((14.0 + x_6) > (12.0 + x_8)? (14.0 + x_6) : (12.0 + x_8)) : ((2.0 + x_9) > (1.0 + x_10)? (2.0 + x_9) : (1.0 + x_10)))? ((19.0 + x_1) > ((18.0 + x_2) > (13.0 + x_3)? (18.0 + x_2) : (13.0 + x_3))? (19.0 + x_1) : ((18.0 + x_2) > (13.0 + x_3)? (18.0 + x_2) : (13.0 + x_3))) : (((14.0 + x_6) > (12.0 + x_8)? (14.0 + x_6) : (12.0 + x_8)) > ((2.0 + x_9) > (1.0 + x_10)? (2.0 + x_9) : (1.0 + x_10))? ((14.0 + x_6) > (12.0 + x_8)? (14.0 + x_6) : (12.0 + x_8)) : ((2.0 + x_9) > (1.0 + x_10)? (2.0 + x_9) : (1.0 + x_10)))) : (((12.0 + x_11) > ((10.0 + x_14) > (14.0 + x_20)? (10.0 + x_14) : (14.0 + x_20))? (12.0 + x_11) : ((10.0 + x_14) > (14.0 + x_20)? (10.0 + x_14) : (14.0 + x_20))) > (((15.0 + x_23) > (5.0 + x_24)? (15.0 + x_23) : (5.0 + x_24)) > ((18.0 + x_26) > (6.0 + x_27)? (18.0 + x_26) : (6.0 + x_27))? ((15.0 + x_23) > (5.0 + x_24)? (15.0 + x_23) : (5.0 + x_24)) : ((18.0 + x_26) > (6.0 + x_27)? (18.0 + x_26) : (6.0 + x_27)))? ((12.0 + x_11) > ((10.0 + x_14) > (14.0 + x_20)? (10.0 + x_14) : (14.0 + x_20))? (12.0 + x_11) : ((10.0 + x_14) > (14.0 + x_20)? (10.0 + x_14) : (14.0 + x_20))) : (((15.0 + x_23) > (5.0 + x_24)? (15.0 + x_23) : (5.0 + x_24)) > ((18.0 + x_26) > (6.0 + x_27)? (18.0 + x_26) : (6.0 + x_27))? ((15.0 + x_23) > (5.0 + x_24)? (15.0 + x_23) : (5.0 + x_24)) : ((18.0 + x_26) > (6.0 + x_27)? (18.0 + x_26) : (6.0 + x_27)))));
  x_14_ = ((((16.0 + x_1) > ((14.0 + x_5) > (16.0 + x_6)? (14.0 + x_5) : (16.0 + x_6))? (16.0 + x_1) : ((14.0 + x_5) > (16.0 + x_6)? (14.0 + x_5) : (16.0 + x_6))) > (((6.0 + x_7) > (11.0 + x_8)? (6.0 + x_7) : (11.0 + x_8)) > ((14.0 + x_16) > (12.0 + x_17)? (14.0 + x_16) : (12.0 + x_17))? ((6.0 + x_7) > (11.0 + x_8)? (6.0 + x_7) : (11.0 + x_8)) : ((14.0 + x_16) > (12.0 + x_17)? (14.0 + x_16) : (12.0 + x_17)))? ((16.0 + x_1) > ((14.0 + x_5) > (16.0 + x_6)? (14.0 + x_5) : (16.0 + x_6))? (16.0 + x_1) : ((14.0 + x_5) > (16.0 + x_6)? (14.0 + x_5) : (16.0 + x_6))) : (((6.0 + x_7) > (11.0 + x_8)? (6.0 + x_7) : (11.0 + x_8)) > ((14.0 + x_16) > (12.0 + x_17)? (14.0 + x_16) : (12.0 + x_17))? ((6.0 + x_7) > (11.0 + x_8)? (6.0 + x_7) : (11.0 + x_8)) : ((14.0 + x_16) > (12.0 + x_17)? (14.0 + x_16) : (12.0 + x_17)))) > (((15.0 + x_19) > ((2.0 + x_20) > (16.0 + x_21)? (2.0 + x_20) : (16.0 + x_21))? (15.0 + x_19) : ((2.0 + x_20) > (16.0 + x_21)? (2.0 + x_20) : (16.0 + x_21))) > (((5.0 + x_22) > (19.0 + x_23)? (5.0 + x_22) : (19.0 + x_23)) > ((11.0 + x_25) > (4.0 + x_26)? (11.0 + x_25) : (4.0 + x_26))? ((5.0 + x_22) > (19.0 + x_23)? (5.0 + x_22) : (19.0 + x_23)) : ((11.0 + x_25) > (4.0 + x_26)? (11.0 + x_25) : (4.0 + x_26)))? ((15.0 + x_19) > ((2.0 + x_20) > (16.0 + x_21)? (2.0 + x_20) : (16.0 + x_21))? (15.0 + x_19) : ((2.0 + x_20) > (16.0 + x_21)? (2.0 + x_20) : (16.0 + x_21))) : (((5.0 + x_22) > (19.0 + x_23)? (5.0 + x_22) : (19.0 + x_23)) > ((11.0 + x_25) > (4.0 + x_26)? (11.0 + x_25) : (4.0 + x_26))? ((5.0 + x_22) > (19.0 + x_23)? (5.0 + x_22) : (19.0 + x_23)) : ((11.0 + x_25) > (4.0 + x_26)? (11.0 + x_25) : (4.0 + x_26))))? (((16.0 + x_1) > ((14.0 + x_5) > (16.0 + x_6)? (14.0 + x_5) : (16.0 + x_6))? (16.0 + x_1) : ((14.0 + x_5) > (16.0 + x_6)? (14.0 + x_5) : (16.0 + x_6))) > (((6.0 + x_7) > (11.0 + x_8)? (6.0 + x_7) : (11.0 + x_8)) > ((14.0 + x_16) > (12.0 + x_17)? (14.0 + x_16) : (12.0 + x_17))? ((6.0 + x_7) > (11.0 + x_8)? (6.0 + x_7) : (11.0 + x_8)) : ((14.0 + x_16) > (12.0 + x_17)? (14.0 + x_16) : (12.0 + x_17)))? ((16.0 + x_1) > ((14.0 + x_5) > (16.0 + x_6)? (14.0 + x_5) : (16.0 + x_6))? (16.0 + x_1) : ((14.0 + x_5) > (16.0 + x_6)? (14.0 + x_5) : (16.0 + x_6))) : (((6.0 + x_7) > (11.0 + x_8)? (6.0 + x_7) : (11.0 + x_8)) > ((14.0 + x_16) > (12.0 + x_17)? (14.0 + x_16) : (12.0 + x_17))? ((6.0 + x_7) > (11.0 + x_8)? (6.0 + x_7) : (11.0 + x_8)) : ((14.0 + x_16) > (12.0 + x_17)? (14.0 + x_16) : (12.0 + x_17)))) : (((15.0 + x_19) > ((2.0 + x_20) > (16.0 + x_21)? (2.0 + x_20) : (16.0 + x_21))? (15.0 + x_19) : ((2.0 + x_20) > (16.0 + x_21)? (2.0 + x_20) : (16.0 + x_21))) > (((5.0 + x_22) > (19.0 + x_23)? (5.0 + x_22) : (19.0 + x_23)) > ((11.0 + x_25) > (4.0 + x_26)? (11.0 + x_25) : (4.0 + x_26))? ((5.0 + x_22) > (19.0 + x_23)? (5.0 + x_22) : (19.0 + x_23)) : ((11.0 + x_25) > (4.0 + x_26)? (11.0 + x_25) : (4.0 + x_26)))? ((15.0 + x_19) > ((2.0 + x_20) > (16.0 + x_21)? (2.0 + x_20) : (16.0 + x_21))? (15.0 + x_19) : ((2.0 + x_20) > (16.0 + x_21)? (2.0 + x_20) : (16.0 + x_21))) : (((5.0 + x_22) > (19.0 + x_23)? (5.0 + x_22) : (19.0 + x_23)) > ((11.0 + x_25) > (4.0 + x_26)? (11.0 + x_25) : (4.0 + x_26))? ((5.0 + x_22) > (19.0 + x_23)? (5.0 + x_22) : (19.0 + x_23)) : ((11.0 + x_25) > (4.0 + x_26)? (11.0 + x_25) : (4.0 + x_26)))));
  x_15_ = ((((17.0 + x_0) > ((14.0 + x_3) > (2.0 + x_9)? (14.0 + x_3) : (2.0 + x_9))? (17.0 + x_0) : ((14.0 + x_3) > (2.0 + x_9)? (14.0 + x_3) : (2.0 + x_9))) > (((5.0 + x_11) > (13.0 + x_12)? (5.0 + x_11) : (13.0 + x_12)) > ((13.0 + x_14) > (15.0 + x_17)? (13.0 + x_14) : (15.0 + x_17))? ((5.0 + x_11) > (13.0 + x_12)? (5.0 + x_11) : (13.0 + x_12)) : ((13.0 + x_14) > (15.0 + x_17)? (13.0 + x_14) : (15.0 + x_17)))? ((17.0 + x_0) > ((14.0 + x_3) > (2.0 + x_9)? (14.0 + x_3) : (2.0 + x_9))? (17.0 + x_0) : ((14.0 + x_3) > (2.0 + x_9)? (14.0 + x_3) : (2.0 + x_9))) : (((5.0 + x_11) > (13.0 + x_12)? (5.0 + x_11) : (13.0 + x_12)) > ((13.0 + x_14) > (15.0 + x_17)? (13.0 + x_14) : (15.0 + x_17))? ((5.0 + x_11) > (13.0 + x_12)? (5.0 + x_11) : (13.0 + x_12)) : ((13.0 + x_14) > (15.0 + x_17)? (13.0 + x_14) : (15.0 + x_17)))) > (((8.0 + x_18) > ((8.0 + x_19) > (19.0 + x_20)? (8.0 + x_19) : (19.0 + x_20))? (8.0 + x_18) : ((8.0 + x_19) > (19.0 + x_20)? (8.0 + x_19) : (19.0 + x_20))) > (((17.0 + x_23) > (20.0 + x_24)? (17.0 + x_23) : (20.0 + x_24)) > ((18.0 + x_25) > (7.0 + x_27)? (18.0 + x_25) : (7.0 + x_27))? ((17.0 + x_23) > (20.0 + x_24)? (17.0 + x_23) : (20.0 + x_24)) : ((18.0 + x_25) > (7.0 + x_27)? (18.0 + x_25) : (7.0 + x_27)))? ((8.0 + x_18) > ((8.0 + x_19) > (19.0 + x_20)? (8.0 + x_19) : (19.0 + x_20))? (8.0 + x_18) : ((8.0 + x_19) > (19.0 + x_20)? (8.0 + x_19) : (19.0 + x_20))) : (((17.0 + x_23) > (20.0 + x_24)? (17.0 + x_23) : (20.0 + x_24)) > ((18.0 + x_25) > (7.0 + x_27)? (18.0 + x_25) : (7.0 + x_27))? ((17.0 + x_23) > (20.0 + x_24)? (17.0 + x_23) : (20.0 + x_24)) : ((18.0 + x_25) > (7.0 + x_27)? (18.0 + x_25) : (7.0 + x_27))))? (((17.0 + x_0) > ((14.0 + x_3) > (2.0 + x_9)? (14.0 + x_3) : (2.0 + x_9))? (17.0 + x_0) : ((14.0 + x_3) > (2.0 + x_9)? (14.0 + x_3) : (2.0 + x_9))) > (((5.0 + x_11) > (13.0 + x_12)? (5.0 + x_11) : (13.0 + x_12)) > ((13.0 + x_14) > (15.0 + x_17)? (13.0 + x_14) : (15.0 + x_17))? ((5.0 + x_11) > (13.0 + x_12)? (5.0 + x_11) : (13.0 + x_12)) : ((13.0 + x_14) > (15.0 + x_17)? (13.0 + x_14) : (15.0 + x_17)))? ((17.0 + x_0) > ((14.0 + x_3) > (2.0 + x_9)? (14.0 + x_3) : (2.0 + x_9))? (17.0 + x_0) : ((14.0 + x_3) > (2.0 + x_9)? (14.0 + x_3) : (2.0 + x_9))) : (((5.0 + x_11) > (13.0 + x_12)? (5.0 + x_11) : (13.0 + x_12)) > ((13.0 + x_14) > (15.0 + x_17)? (13.0 + x_14) : (15.0 + x_17))? ((5.0 + x_11) > (13.0 + x_12)? (5.0 + x_11) : (13.0 + x_12)) : ((13.0 + x_14) > (15.0 + x_17)? (13.0 + x_14) : (15.0 + x_17)))) : (((8.0 + x_18) > ((8.0 + x_19) > (19.0 + x_20)? (8.0 + x_19) : (19.0 + x_20))? (8.0 + x_18) : ((8.0 + x_19) > (19.0 + x_20)? (8.0 + x_19) : (19.0 + x_20))) > (((17.0 + x_23) > (20.0 + x_24)? (17.0 + x_23) : (20.0 + x_24)) > ((18.0 + x_25) > (7.0 + x_27)? (18.0 + x_25) : (7.0 + x_27))? ((17.0 + x_23) > (20.0 + x_24)? (17.0 + x_23) : (20.0 + x_24)) : ((18.0 + x_25) > (7.0 + x_27)? (18.0 + x_25) : (7.0 + x_27)))? ((8.0 + x_18) > ((8.0 + x_19) > (19.0 + x_20)? (8.0 + x_19) : (19.0 + x_20))? (8.0 + x_18) : ((8.0 + x_19) > (19.0 + x_20)? (8.0 + x_19) : (19.0 + x_20))) : (((17.0 + x_23) > (20.0 + x_24)? (17.0 + x_23) : (20.0 + x_24)) > ((18.0 + x_25) > (7.0 + x_27)? (18.0 + x_25) : (7.0 + x_27))? ((17.0 + x_23) > (20.0 + x_24)? (17.0 + x_23) : (20.0 + x_24)) : ((18.0 + x_25) > (7.0 + x_27)? (18.0 + x_25) : (7.0 + x_27)))));
  x_16_ = ((((10.0 + x_0) > ((18.0 + x_1) > (5.0 + x_4)? (18.0 + x_1) : (5.0 + x_4))? (10.0 + x_0) : ((18.0 + x_1) > (5.0 + x_4)? (18.0 + x_1) : (5.0 + x_4))) > (((1.0 + x_5) > (17.0 + x_10)? (1.0 + x_5) : (17.0 + x_10)) > ((1.0 + x_11) > (12.0 + x_12)? (1.0 + x_11) : (12.0 + x_12))? ((1.0 + x_5) > (17.0 + x_10)? (1.0 + x_5) : (17.0 + x_10)) : ((1.0 + x_11) > (12.0 + x_12)? (1.0 + x_11) : (12.0 + x_12)))? ((10.0 + x_0) > ((18.0 + x_1) > (5.0 + x_4)? (18.0 + x_1) : (5.0 + x_4))? (10.0 + x_0) : ((18.0 + x_1) > (5.0 + x_4)? (18.0 + x_1) : (5.0 + x_4))) : (((1.0 + x_5) > (17.0 + x_10)? (1.0 + x_5) : (17.0 + x_10)) > ((1.0 + x_11) > (12.0 + x_12)? (1.0 + x_11) : (12.0 + x_12))? ((1.0 + x_5) > (17.0 + x_10)? (1.0 + x_5) : (17.0 + x_10)) : ((1.0 + x_11) > (12.0 + x_12)? (1.0 + x_11) : (12.0 + x_12)))) > (((7.0 + x_14) > ((19.0 + x_15) > (6.0 + x_18)? (19.0 + x_15) : (6.0 + x_18))? (7.0 + x_14) : ((19.0 + x_15) > (6.0 + x_18)? (19.0 + x_15) : (6.0 + x_18))) > (((13.0 + x_19) > (17.0 + x_20)? (13.0 + x_19) : (17.0 + x_20)) > ((3.0 + x_22) > (14.0 + x_23)? (3.0 + x_22) : (14.0 + x_23))? ((13.0 + x_19) > (17.0 + x_20)? (13.0 + x_19) : (17.0 + x_20)) : ((3.0 + x_22) > (14.0 + x_23)? (3.0 + x_22) : (14.0 + x_23)))? ((7.0 + x_14) > ((19.0 + x_15) > (6.0 + x_18)? (19.0 + x_15) : (6.0 + x_18))? (7.0 + x_14) : ((19.0 + x_15) > (6.0 + x_18)? (19.0 + x_15) : (6.0 + x_18))) : (((13.0 + x_19) > (17.0 + x_20)? (13.0 + x_19) : (17.0 + x_20)) > ((3.0 + x_22) > (14.0 + x_23)? (3.0 + x_22) : (14.0 + x_23))? ((13.0 + x_19) > (17.0 + x_20)? (13.0 + x_19) : (17.0 + x_20)) : ((3.0 + x_22) > (14.0 + x_23)? (3.0 + x_22) : (14.0 + x_23))))? (((10.0 + x_0) > ((18.0 + x_1) > (5.0 + x_4)? (18.0 + x_1) : (5.0 + x_4))? (10.0 + x_0) : ((18.0 + x_1) > (5.0 + x_4)? (18.0 + x_1) : (5.0 + x_4))) > (((1.0 + x_5) > (17.0 + x_10)? (1.0 + x_5) : (17.0 + x_10)) > ((1.0 + x_11) > (12.0 + x_12)? (1.0 + x_11) : (12.0 + x_12))? ((1.0 + x_5) > (17.0 + x_10)? (1.0 + x_5) : (17.0 + x_10)) : ((1.0 + x_11) > (12.0 + x_12)? (1.0 + x_11) : (12.0 + x_12)))? ((10.0 + x_0) > ((18.0 + x_1) > (5.0 + x_4)? (18.0 + x_1) : (5.0 + x_4))? (10.0 + x_0) : ((18.0 + x_1) > (5.0 + x_4)? (18.0 + x_1) : (5.0 + x_4))) : (((1.0 + x_5) > (17.0 + x_10)? (1.0 + x_5) : (17.0 + x_10)) > ((1.0 + x_11) > (12.0 + x_12)? (1.0 + x_11) : (12.0 + x_12))? ((1.0 + x_5) > (17.0 + x_10)? (1.0 + x_5) : (17.0 + x_10)) : ((1.0 + x_11) > (12.0 + x_12)? (1.0 + x_11) : (12.0 + x_12)))) : (((7.0 + x_14) > ((19.0 + x_15) > (6.0 + x_18)? (19.0 + x_15) : (6.0 + x_18))? (7.0 + x_14) : ((19.0 + x_15) > (6.0 + x_18)? (19.0 + x_15) : (6.0 + x_18))) > (((13.0 + x_19) > (17.0 + x_20)? (13.0 + x_19) : (17.0 + x_20)) > ((3.0 + x_22) > (14.0 + x_23)? (3.0 + x_22) : (14.0 + x_23))? ((13.0 + x_19) > (17.0 + x_20)? (13.0 + x_19) : (17.0 + x_20)) : ((3.0 + x_22) > (14.0 + x_23)? (3.0 + x_22) : (14.0 + x_23)))? ((7.0 + x_14) > ((19.0 + x_15) > (6.0 + x_18)? (19.0 + x_15) : (6.0 + x_18))? (7.0 + x_14) : ((19.0 + x_15) > (6.0 + x_18)? (19.0 + x_15) : (6.0 + x_18))) : (((13.0 + x_19) > (17.0 + x_20)? (13.0 + x_19) : (17.0 + x_20)) > ((3.0 + x_22) > (14.0 + x_23)? (3.0 + x_22) : (14.0 + x_23))? ((13.0 + x_19) > (17.0 + x_20)? (13.0 + x_19) : (17.0 + x_20)) : ((3.0 + x_22) > (14.0 + x_23)? (3.0 + x_22) : (14.0 + x_23)))));
  x_17_ = ((((18.0 + x_0) > ((3.0 + x_2) > (2.0 + x_3)? (3.0 + x_2) : (2.0 + x_3))? (18.0 + x_0) : ((3.0 + x_2) > (2.0 + x_3)? (3.0 + x_2) : (2.0 + x_3))) > (((11.0 + x_6) > (18.0 + x_7)? (11.0 + x_6) : (18.0 + x_7)) > ((4.0 + x_8) > (15.0 + x_11)? (4.0 + x_8) : (15.0 + x_11))? ((11.0 + x_6) > (18.0 + x_7)? (11.0 + x_6) : (18.0 + x_7)) : ((4.0 + x_8) > (15.0 + x_11)? (4.0 + x_8) : (15.0 + x_11)))? ((18.0 + x_0) > ((3.0 + x_2) > (2.0 + x_3)? (3.0 + x_2) : (2.0 + x_3))? (18.0 + x_0) : ((3.0 + x_2) > (2.0 + x_3)? (3.0 + x_2) : (2.0 + x_3))) : (((11.0 + x_6) > (18.0 + x_7)? (11.0 + x_6) : (18.0 + x_7)) > ((4.0 + x_8) > (15.0 + x_11)? (4.0 + x_8) : (15.0 + x_11))? ((11.0 + x_6) > (18.0 + x_7)? (11.0 + x_6) : (18.0 + x_7)) : ((4.0 + x_8) > (15.0 + x_11)? (4.0 + x_8) : (15.0 + x_11)))) > (((20.0 + x_13) > ((7.0 + x_14) > (10.0 + x_15)? (7.0 + x_14) : (10.0 + x_15))? (20.0 + x_13) : ((7.0 + x_14) > (10.0 + x_15)? (7.0 + x_14) : (10.0 + x_15))) > (((19.0 + x_18) > (4.0 + x_20)? (19.0 + x_18) : (4.0 + x_20)) > ((20.0 + x_24) > (8.0 + x_26)? (20.0 + x_24) : (8.0 + x_26))? ((19.0 + x_18) > (4.0 + x_20)? (19.0 + x_18) : (4.0 + x_20)) : ((20.0 + x_24) > (8.0 + x_26)? (20.0 + x_24) : (8.0 + x_26)))? ((20.0 + x_13) > ((7.0 + x_14) > (10.0 + x_15)? (7.0 + x_14) : (10.0 + x_15))? (20.0 + x_13) : ((7.0 + x_14) > (10.0 + x_15)? (7.0 + x_14) : (10.0 + x_15))) : (((19.0 + x_18) > (4.0 + x_20)? (19.0 + x_18) : (4.0 + x_20)) > ((20.0 + x_24) > (8.0 + x_26)? (20.0 + x_24) : (8.0 + x_26))? ((19.0 + x_18) > (4.0 + x_20)? (19.0 + x_18) : (4.0 + x_20)) : ((20.0 + x_24) > (8.0 + x_26)? (20.0 + x_24) : (8.0 + x_26))))? (((18.0 + x_0) > ((3.0 + x_2) > (2.0 + x_3)? (3.0 + x_2) : (2.0 + x_3))? (18.0 + x_0) : ((3.0 + x_2) > (2.0 + x_3)? (3.0 + x_2) : (2.0 + x_3))) > (((11.0 + x_6) > (18.0 + x_7)? (11.0 + x_6) : (18.0 + x_7)) > ((4.0 + x_8) > (15.0 + x_11)? (4.0 + x_8) : (15.0 + x_11))? ((11.0 + x_6) > (18.0 + x_7)? (11.0 + x_6) : (18.0 + x_7)) : ((4.0 + x_8) > (15.0 + x_11)? (4.0 + x_8) : (15.0 + x_11)))? ((18.0 + x_0) > ((3.0 + x_2) > (2.0 + x_3)? (3.0 + x_2) : (2.0 + x_3))? (18.0 + x_0) : ((3.0 + x_2) > (2.0 + x_3)? (3.0 + x_2) : (2.0 + x_3))) : (((11.0 + x_6) > (18.0 + x_7)? (11.0 + x_6) : (18.0 + x_7)) > ((4.0 + x_8) > (15.0 + x_11)? (4.0 + x_8) : (15.0 + x_11))? ((11.0 + x_6) > (18.0 + x_7)? (11.0 + x_6) : (18.0 + x_7)) : ((4.0 + x_8) > (15.0 + x_11)? (4.0 + x_8) : (15.0 + x_11)))) : (((20.0 + x_13) > ((7.0 + x_14) > (10.0 + x_15)? (7.0 + x_14) : (10.0 + x_15))? (20.0 + x_13) : ((7.0 + x_14) > (10.0 + x_15)? (7.0 + x_14) : (10.0 + x_15))) > (((19.0 + x_18) > (4.0 + x_20)? (19.0 + x_18) : (4.0 + x_20)) > ((20.0 + x_24) > (8.0 + x_26)? (20.0 + x_24) : (8.0 + x_26))? ((19.0 + x_18) > (4.0 + x_20)? (19.0 + x_18) : (4.0 + x_20)) : ((20.0 + x_24) > (8.0 + x_26)? (20.0 + x_24) : (8.0 + x_26)))? ((20.0 + x_13) > ((7.0 + x_14) > (10.0 + x_15)? (7.0 + x_14) : (10.0 + x_15))? (20.0 + x_13) : ((7.0 + x_14) > (10.0 + x_15)? (7.0 + x_14) : (10.0 + x_15))) : (((19.0 + x_18) > (4.0 + x_20)? (19.0 + x_18) : (4.0 + x_20)) > ((20.0 + x_24) > (8.0 + x_26)? (20.0 + x_24) : (8.0 + x_26))? ((19.0 + x_18) > (4.0 + x_20)? (19.0 + x_18) : (4.0 + x_20)) : ((20.0 + x_24) > (8.0 + x_26)? (20.0 + x_24) : (8.0 + x_26)))));
  x_18_ = ((((10.0 + x_1) > ((11.0 + x_3) > (10.0 + x_6)? (11.0 + x_3) : (10.0 + x_6))? (10.0 + x_1) : ((11.0 + x_3) > (10.0 + x_6)? (11.0 + x_3) : (10.0 + x_6))) > (((15.0 + x_10) > (15.0 + x_13)? (15.0 + x_10) : (15.0 + x_13)) > ((12.0 + x_17) > (3.0 + x_18)? (12.0 + x_17) : (3.0 + x_18))? ((15.0 + x_10) > (15.0 + x_13)? (15.0 + x_10) : (15.0 + x_13)) : ((12.0 + x_17) > (3.0 + x_18)? (12.0 + x_17) : (3.0 + x_18)))? ((10.0 + x_1) > ((11.0 + x_3) > (10.0 + x_6)? (11.0 + x_3) : (10.0 + x_6))? (10.0 + x_1) : ((11.0 + x_3) > (10.0 + x_6)? (11.0 + x_3) : (10.0 + x_6))) : (((15.0 + x_10) > (15.0 + x_13)? (15.0 + x_10) : (15.0 + x_13)) > ((12.0 + x_17) > (3.0 + x_18)? (12.0 + x_17) : (3.0 + x_18))? ((15.0 + x_10) > (15.0 + x_13)? (15.0 + x_10) : (15.0 + x_13)) : ((12.0 + x_17) > (3.0 + x_18)? (12.0 + x_17) : (3.0 + x_18)))) > (((5.0 + x_19) > ((5.0 + x_20) > (15.0 + x_22)? (5.0 + x_20) : (15.0 + x_22))? (5.0 + x_19) : ((5.0 + x_20) > (15.0 + x_22)? (5.0 + x_20) : (15.0 + x_22))) > (((19.0 + x_23) > (1.0 + x_24)? (19.0 + x_23) : (1.0 + x_24)) > ((11.0 + x_25) > (6.0 + x_27)? (11.0 + x_25) : (6.0 + x_27))? ((19.0 + x_23) > (1.0 + x_24)? (19.0 + x_23) : (1.0 + x_24)) : ((11.0 + x_25) > (6.0 + x_27)? (11.0 + x_25) : (6.0 + x_27)))? ((5.0 + x_19) > ((5.0 + x_20) > (15.0 + x_22)? (5.0 + x_20) : (15.0 + x_22))? (5.0 + x_19) : ((5.0 + x_20) > (15.0 + x_22)? (5.0 + x_20) : (15.0 + x_22))) : (((19.0 + x_23) > (1.0 + x_24)? (19.0 + x_23) : (1.0 + x_24)) > ((11.0 + x_25) > (6.0 + x_27)? (11.0 + x_25) : (6.0 + x_27))? ((19.0 + x_23) > (1.0 + x_24)? (19.0 + x_23) : (1.0 + x_24)) : ((11.0 + x_25) > (6.0 + x_27)? (11.0 + x_25) : (6.0 + x_27))))? (((10.0 + x_1) > ((11.0 + x_3) > (10.0 + x_6)? (11.0 + x_3) : (10.0 + x_6))? (10.0 + x_1) : ((11.0 + x_3) > (10.0 + x_6)? (11.0 + x_3) : (10.0 + x_6))) > (((15.0 + x_10) > (15.0 + x_13)? (15.0 + x_10) : (15.0 + x_13)) > ((12.0 + x_17) > (3.0 + x_18)? (12.0 + x_17) : (3.0 + x_18))? ((15.0 + x_10) > (15.0 + x_13)? (15.0 + x_10) : (15.0 + x_13)) : ((12.0 + x_17) > (3.0 + x_18)? (12.0 + x_17) : (3.0 + x_18)))? ((10.0 + x_1) > ((11.0 + x_3) > (10.0 + x_6)? (11.0 + x_3) : (10.0 + x_6))? (10.0 + x_1) : ((11.0 + x_3) > (10.0 + x_6)? (11.0 + x_3) : (10.0 + x_6))) : (((15.0 + x_10) > (15.0 + x_13)? (15.0 + x_10) : (15.0 + x_13)) > ((12.0 + x_17) > (3.0 + x_18)? (12.0 + x_17) : (3.0 + x_18))? ((15.0 + x_10) > (15.0 + x_13)? (15.0 + x_10) : (15.0 + x_13)) : ((12.0 + x_17) > (3.0 + x_18)? (12.0 + x_17) : (3.0 + x_18)))) : (((5.0 + x_19) > ((5.0 + x_20) > (15.0 + x_22)? (5.0 + x_20) : (15.0 + x_22))? (5.0 + x_19) : ((5.0 + x_20) > (15.0 + x_22)? (5.0 + x_20) : (15.0 + x_22))) > (((19.0 + x_23) > (1.0 + x_24)? (19.0 + x_23) : (1.0 + x_24)) > ((11.0 + x_25) > (6.0 + x_27)? (11.0 + x_25) : (6.0 + x_27))? ((19.0 + x_23) > (1.0 + x_24)? (19.0 + x_23) : (1.0 + x_24)) : ((11.0 + x_25) > (6.0 + x_27)? (11.0 + x_25) : (6.0 + x_27)))? ((5.0 + x_19) > ((5.0 + x_20) > (15.0 + x_22)? (5.0 + x_20) : (15.0 + x_22))? (5.0 + x_19) : ((5.0 + x_20) > (15.0 + x_22)? (5.0 + x_20) : (15.0 + x_22))) : (((19.0 + x_23) > (1.0 + x_24)? (19.0 + x_23) : (1.0 + x_24)) > ((11.0 + x_25) > (6.0 + x_27)? (11.0 + x_25) : (6.0 + x_27))? ((19.0 + x_23) > (1.0 + x_24)? (19.0 + x_23) : (1.0 + x_24)) : ((11.0 + x_25) > (6.0 + x_27)? (11.0 + x_25) : (6.0 + x_27)))));
  x_19_ = ((((2.0 + x_0) > ((20.0 + x_2) > (6.0 + x_5)? (20.0 + x_2) : (6.0 + x_5))? (2.0 + x_0) : ((20.0 + x_2) > (6.0 + x_5)? (20.0 + x_2) : (6.0 + x_5))) > (((2.0 + x_7) > (17.0 + x_9)? (2.0 + x_7) : (17.0 + x_9)) > ((1.0 + x_12) > (6.0 + x_13)? (1.0 + x_12) : (6.0 + x_13))? ((2.0 + x_7) > (17.0 + x_9)? (2.0 + x_7) : (17.0 + x_9)) : ((1.0 + x_12) > (6.0 + x_13)? (1.0 + x_12) : (6.0 + x_13)))? ((2.0 + x_0) > ((20.0 + x_2) > (6.0 + x_5)? (20.0 + x_2) : (6.0 + x_5))? (2.0 + x_0) : ((20.0 + x_2) > (6.0 + x_5)? (20.0 + x_2) : (6.0 + x_5))) : (((2.0 + x_7) > (17.0 + x_9)? (2.0 + x_7) : (17.0 + x_9)) > ((1.0 + x_12) > (6.0 + x_13)? (1.0 + x_12) : (6.0 + x_13))? ((2.0 + x_7) > (17.0 + x_9)? (2.0 + x_7) : (17.0 + x_9)) : ((1.0 + x_12) > (6.0 + x_13)? (1.0 + x_12) : (6.0 + x_13)))) > (((9.0 + x_14) > ((2.0 + x_15) > (2.0 + x_17)? (2.0 + x_15) : (2.0 + x_17))? (9.0 + x_14) : ((2.0 + x_15) > (2.0 + x_17)? (2.0 + x_15) : (2.0 + x_17))) > (((6.0 + x_19) > (16.0 + x_21)? (6.0 + x_19) : (16.0 + x_21)) > ((11.0 + x_22) > (4.0 + x_26)? (11.0 + x_22) : (4.0 + x_26))? ((6.0 + x_19) > (16.0 + x_21)? (6.0 + x_19) : (16.0 + x_21)) : ((11.0 + x_22) > (4.0 + x_26)? (11.0 + x_22) : (4.0 + x_26)))? ((9.0 + x_14) > ((2.0 + x_15) > (2.0 + x_17)? (2.0 + x_15) : (2.0 + x_17))? (9.0 + x_14) : ((2.0 + x_15) > (2.0 + x_17)? (2.0 + x_15) : (2.0 + x_17))) : (((6.0 + x_19) > (16.0 + x_21)? (6.0 + x_19) : (16.0 + x_21)) > ((11.0 + x_22) > (4.0 + x_26)? (11.0 + x_22) : (4.0 + x_26))? ((6.0 + x_19) > (16.0 + x_21)? (6.0 + x_19) : (16.0 + x_21)) : ((11.0 + x_22) > (4.0 + x_26)? (11.0 + x_22) : (4.0 + x_26))))? (((2.0 + x_0) > ((20.0 + x_2) > (6.0 + x_5)? (20.0 + x_2) : (6.0 + x_5))? (2.0 + x_0) : ((20.0 + x_2) > (6.0 + x_5)? (20.0 + x_2) : (6.0 + x_5))) > (((2.0 + x_7) > (17.0 + x_9)? (2.0 + x_7) : (17.0 + x_9)) > ((1.0 + x_12) > (6.0 + x_13)? (1.0 + x_12) : (6.0 + x_13))? ((2.0 + x_7) > (17.0 + x_9)? (2.0 + x_7) : (17.0 + x_9)) : ((1.0 + x_12) > (6.0 + x_13)? (1.0 + x_12) : (6.0 + x_13)))? ((2.0 + x_0) > ((20.0 + x_2) > (6.0 + x_5)? (20.0 + x_2) : (6.0 + x_5))? (2.0 + x_0) : ((20.0 + x_2) > (6.0 + x_5)? (20.0 + x_2) : (6.0 + x_5))) : (((2.0 + x_7) > (17.0 + x_9)? (2.0 + x_7) : (17.0 + x_9)) > ((1.0 + x_12) > (6.0 + x_13)? (1.0 + x_12) : (6.0 + x_13))? ((2.0 + x_7) > (17.0 + x_9)? (2.0 + x_7) : (17.0 + x_9)) : ((1.0 + x_12) > (6.0 + x_13)? (1.0 + x_12) : (6.0 + x_13)))) : (((9.0 + x_14) > ((2.0 + x_15) > (2.0 + x_17)? (2.0 + x_15) : (2.0 + x_17))? (9.0 + x_14) : ((2.0 + x_15) > (2.0 + x_17)? (2.0 + x_15) : (2.0 + x_17))) > (((6.0 + x_19) > (16.0 + x_21)? (6.0 + x_19) : (16.0 + x_21)) > ((11.0 + x_22) > (4.0 + x_26)? (11.0 + x_22) : (4.0 + x_26))? ((6.0 + x_19) > (16.0 + x_21)? (6.0 + x_19) : (16.0 + x_21)) : ((11.0 + x_22) > (4.0 + x_26)? (11.0 + x_22) : (4.0 + x_26)))? ((9.0 + x_14) > ((2.0 + x_15) > (2.0 + x_17)? (2.0 + x_15) : (2.0 + x_17))? (9.0 + x_14) : ((2.0 + x_15) > (2.0 + x_17)? (2.0 + x_15) : (2.0 + x_17))) : (((6.0 + x_19) > (16.0 + x_21)? (6.0 + x_19) : (16.0 + x_21)) > ((11.0 + x_22) > (4.0 + x_26)? (11.0 + x_22) : (4.0 + x_26))? ((6.0 + x_19) > (16.0 + x_21)? (6.0 + x_19) : (16.0 + x_21)) : ((11.0 + x_22) > (4.0 + x_26)? (11.0 + x_22) : (4.0 + x_26)))));
  x_20_ = ((((13.0 + x_3) > ((13.0 + x_4) > (1.0 + x_5)? (13.0 + x_4) : (1.0 + x_5))? (13.0 + x_3) : ((13.0 + x_4) > (1.0 + x_5)? (13.0 + x_4) : (1.0 + x_5))) > (((7.0 + x_6) > (15.0 + x_7)? (7.0 + x_6) : (15.0 + x_7)) > ((18.0 + x_8) > (19.0 + x_10)? (18.0 + x_8) : (19.0 + x_10))? ((7.0 + x_6) > (15.0 + x_7)? (7.0 + x_6) : (15.0 + x_7)) : ((18.0 + x_8) > (19.0 + x_10)? (18.0 + x_8) : (19.0 + x_10)))? ((13.0 + x_3) > ((13.0 + x_4) > (1.0 + x_5)? (13.0 + x_4) : (1.0 + x_5))? (13.0 + x_3) : ((13.0 + x_4) > (1.0 + x_5)? (13.0 + x_4) : (1.0 + x_5))) : (((7.0 + x_6) > (15.0 + x_7)? (7.0 + x_6) : (15.0 + x_7)) > ((18.0 + x_8) > (19.0 + x_10)? (18.0 + x_8) : (19.0 + x_10))? ((7.0 + x_6) > (15.0 + x_7)? (7.0 + x_6) : (15.0 + x_7)) : ((18.0 + x_8) > (19.0 + x_10)? (18.0 + x_8) : (19.0 + x_10)))) > (((3.0 + x_11) > ((9.0 + x_13) > (13.0 + x_14)? (9.0 + x_13) : (13.0 + x_14))? (3.0 + x_11) : ((9.0 + x_13) > (13.0 + x_14)? (9.0 + x_13) : (13.0 + x_14))) > (((13.0 + x_16) > (14.0 + x_23)? (13.0 + x_16) : (14.0 + x_23)) > ((6.0 + x_24) > (5.0 + x_26)? (6.0 + x_24) : (5.0 + x_26))? ((13.0 + x_16) > (14.0 + x_23)? (13.0 + x_16) : (14.0 + x_23)) : ((6.0 + x_24) > (5.0 + x_26)? (6.0 + x_24) : (5.0 + x_26)))? ((3.0 + x_11) > ((9.0 + x_13) > (13.0 + x_14)? (9.0 + x_13) : (13.0 + x_14))? (3.0 + x_11) : ((9.0 + x_13) > (13.0 + x_14)? (9.0 + x_13) : (13.0 + x_14))) : (((13.0 + x_16) > (14.0 + x_23)? (13.0 + x_16) : (14.0 + x_23)) > ((6.0 + x_24) > (5.0 + x_26)? (6.0 + x_24) : (5.0 + x_26))? ((13.0 + x_16) > (14.0 + x_23)? (13.0 + x_16) : (14.0 + x_23)) : ((6.0 + x_24) > (5.0 + x_26)? (6.0 + x_24) : (5.0 + x_26))))? (((13.0 + x_3) > ((13.0 + x_4) > (1.0 + x_5)? (13.0 + x_4) : (1.0 + x_5))? (13.0 + x_3) : ((13.0 + x_4) > (1.0 + x_5)? (13.0 + x_4) : (1.0 + x_5))) > (((7.0 + x_6) > (15.0 + x_7)? (7.0 + x_6) : (15.0 + x_7)) > ((18.0 + x_8) > (19.0 + x_10)? (18.0 + x_8) : (19.0 + x_10))? ((7.0 + x_6) > (15.0 + x_7)? (7.0 + x_6) : (15.0 + x_7)) : ((18.0 + x_8) > (19.0 + x_10)? (18.0 + x_8) : (19.0 + x_10)))? ((13.0 + x_3) > ((13.0 + x_4) > (1.0 + x_5)? (13.0 + x_4) : (1.0 + x_5))? (13.0 + x_3) : ((13.0 + x_4) > (1.0 + x_5)? (13.0 + x_4) : (1.0 + x_5))) : (((7.0 + x_6) > (15.0 + x_7)? (7.0 + x_6) : (15.0 + x_7)) > ((18.0 + x_8) > (19.0 + x_10)? (18.0 + x_8) : (19.0 + x_10))? ((7.0 + x_6) > (15.0 + x_7)? (7.0 + x_6) : (15.0 + x_7)) : ((18.0 + x_8) > (19.0 + x_10)? (18.0 + x_8) : (19.0 + x_10)))) : (((3.0 + x_11) > ((9.0 + x_13) > (13.0 + x_14)? (9.0 + x_13) : (13.0 + x_14))? (3.0 + x_11) : ((9.0 + x_13) > (13.0 + x_14)? (9.0 + x_13) : (13.0 + x_14))) > (((13.0 + x_16) > (14.0 + x_23)? (13.0 + x_16) : (14.0 + x_23)) > ((6.0 + x_24) > (5.0 + x_26)? (6.0 + x_24) : (5.0 + x_26))? ((13.0 + x_16) > (14.0 + x_23)? (13.0 + x_16) : (14.0 + x_23)) : ((6.0 + x_24) > (5.0 + x_26)? (6.0 + x_24) : (5.0 + x_26)))? ((3.0 + x_11) > ((9.0 + x_13) > (13.0 + x_14)? (9.0 + x_13) : (13.0 + x_14))? (3.0 + x_11) : ((9.0 + x_13) > (13.0 + x_14)? (9.0 + x_13) : (13.0 + x_14))) : (((13.0 + x_16) > (14.0 + x_23)? (13.0 + x_16) : (14.0 + x_23)) > ((6.0 + x_24) > (5.0 + x_26)? (6.0 + x_24) : (5.0 + x_26))? ((13.0 + x_16) > (14.0 + x_23)? (13.0 + x_16) : (14.0 + x_23)) : ((6.0 + x_24) > (5.0 + x_26)? (6.0 + x_24) : (5.0 + x_26)))));
  x_21_ = ((((16.0 + x_0) > ((5.0 + x_2) > (18.0 + x_3)? (5.0 + x_2) : (18.0 + x_3))? (16.0 + x_0) : ((5.0 + x_2) > (18.0 + x_3)? (5.0 + x_2) : (18.0 + x_3))) > (((7.0 + x_4) > (8.0 + x_7)? (7.0 + x_4) : (8.0 + x_7)) > ((19.0 + x_9) > (8.0 + x_10)? (19.0 + x_9) : (8.0 + x_10))? ((7.0 + x_4) > (8.0 + x_7)? (7.0 + x_4) : (8.0 + x_7)) : ((19.0 + x_9) > (8.0 + x_10)? (19.0 + x_9) : (8.0 + x_10)))? ((16.0 + x_0) > ((5.0 + x_2) > (18.0 + x_3)? (5.0 + x_2) : (18.0 + x_3))? (16.0 + x_0) : ((5.0 + x_2) > (18.0 + x_3)? (5.0 + x_2) : (18.0 + x_3))) : (((7.0 + x_4) > (8.0 + x_7)? (7.0 + x_4) : (8.0 + x_7)) > ((19.0 + x_9) > (8.0 + x_10)? (19.0 + x_9) : (8.0 + x_10))? ((7.0 + x_4) > (8.0 + x_7)? (7.0 + x_4) : (8.0 + x_7)) : ((19.0 + x_9) > (8.0 + x_10)? (19.0 + x_9) : (8.0 + x_10)))) > (((5.0 + x_11) > ((7.0 + x_12) > (17.0 + x_13)? (7.0 + x_12) : (17.0 + x_13))? (5.0 + x_11) : ((7.0 + x_12) > (17.0 + x_13)? (7.0 + x_12) : (17.0 + x_13))) > (((10.0 + x_15) > (18.0 + x_16)? (10.0 + x_15) : (18.0 + x_16)) > ((1.0 + x_22) > (18.0 + x_23)? (1.0 + x_22) : (18.0 + x_23))? ((10.0 + x_15) > (18.0 + x_16)? (10.0 + x_15) : (18.0 + x_16)) : ((1.0 + x_22) > (18.0 + x_23)? (1.0 + x_22) : (18.0 + x_23)))? ((5.0 + x_11) > ((7.0 + x_12) > (17.0 + x_13)? (7.0 + x_12) : (17.0 + x_13))? (5.0 + x_11) : ((7.0 + x_12) > (17.0 + x_13)? (7.0 + x_12) : (17.0 + x_13))) : (((10.0 + x_15) > (18.0 + x_16)? (10.0 + x_15) : (18.0 + x_16)) > ((1.0 + x_22) > (18.0 + x_23)? (1.0 + x_22) : (18.0 + x_23))? ((10.0 + x_15) > (18.0 + x_16)? (10.0 + x_15) : (18.0 + x_16)) : ((1.0 + x_22) > (18.0 + x_23)? (1.0 + x_22) : (18.0 + x_23))))? (((16.0 + x_0) > ((5.0 + x_2) > (18.0 + x_3)? (5.0 + x_2) : (18.0 + x_3))? (16.0 + x_0) : ((5.0 + x_2) > (18.0 + x_3)? (5.0 + x_2) : (18.0 + x_3))) > (((7.0 + x_4) > (8.0 + x_7)? (7.0 + x_4) : (8.0 + x_7)) > ((19.0 + x_9) > (8.0 + x_10)? (19.0 + x_9) : (8.0 + x_10))? ((7.0 + x_4) > (8.0 + x_7)? (7.0 + x_4) : (8.0 + x_7)) : ((19.0 + x_9) > (8.0 + x_10)? (19.0 + x_9) : (8.0 + x_10)))? ((16.0 + x_0) > ((5.0 + x_2) > (18.0 + x_3)? (5.0 + x_2) : (18.0 + x_3))? (16.0 + x_0) : ((5.0 + x_2) > (18.0 + x_3)? (5.0 + x_2) : (18.0 + x_3))) : (((7.0 + x_4) > (8.0 + x_7)? (7.0 + x_4) : (8.0 + x_7)) > ((19.0 + x_9) > (8.0 + x_10)? (19.0 + x_9) : (8.0 + x_10))? ((7.0 + x_4) > (8.0 + x_7)? (7.0 + x_4) : (8.0 + x_7)) : ((19.0 + x_9) > (8.0 + x_10)? (19.0 + x_9) : (8.0 + x_10)))) : (((5.0 + x_11) > ((7.0 + x_12) > (17.0 + x_13)? (7.0 + x_12) : (17.0 + x_13))? (5.0 + x_11) : ((7.0 + x_12) > (17.0 + x_13)? (7.0 + x_12) : (17.0 + x_13))) > (((10.0 + x_15) > (18.0 + x_16)? (10.0 + x_15) : (18.0 + x_16)) > ((1.0 + x_22) > (18.0 + x_23)? (1.0 + x_22) : (18.0 + x_23))? ((10.0 + x_15) > (18.0 + x_16)? (10.0 + x_15) : (18.0 + x_16)) : ((1.0 + x_22) > (18.0 + x_23)? (1.0 + x_22) : (18.0 + x_23)))? ((5.0 + x_11) > ((7.0 + x_12) > (17.0 + x_13)? (7.0 + x_12) : (17.0 + x_13))? (5.0 + x_11) : ((7.0 + x_12) > (17.0 + x_13)? (7.0 + x_12) : (17.0 + x_13))) : (((10.0 + x_15) > (18.0 + x_16)? (10.0 + x_15) : (18.0 + x_16)) > ((1.0 + x_22) > (18.0 + x_23)? (1.0 + x_22) : (18.0 + x_23))? ((10.0 + x_15) > (18.0 + x_16)? (10.0 + x_15) : (18.0 + x_16)) : ((1.0 + x_22) > (18.0 + x_23)? (1.0 + x_22) : (18.0 + x_23)))));
  x_22_ = ((((3.0 + x_1) > ((13.0 + x_3) > (10.0 + x_5)? (13.0 + x_3) : (10.0 + x_5))? (3.0 + x_1) : ((13.0 + x_3) > (10.0 + x_5)? (13.0 + x_3) : (10.0 + x_5))) > (((17.0 + x_6) > (6.0 + x_7)? (17.0 + x_6) : (6.0 + x_7)) > ((20.0 + x_9) > (6.0 + x_10)? (20.0 + x_9) : (6.0 + x_10))? ((17.0 + x_6) > (6.0 + x_7)? (17.0 + x_6) : (6.0 + x_7)) : ((20.0 + x_9) > (6.0 + x_10)? (20.0 + x_9) : (6.0 + x_10)))? ((3.0 + x_1) > ((13.0 + x_3) > (10.0 + x_5)? (13.0 + x_3) : (10.0 + x_5))? (3.0 + x_1) : ((13.0 + x_3) > (10.0 + x_5)? (13.0 + x_3) : (10.0 + x_5))) : (((17.0 + x_6) > (6.0 + x_7)? (17.0 + x_6) : (6.0 + x_7)) > ((20.0 + x_9) > (6.0 + x_10)? (20.0 + x_9) : (6.0 + x_10))? ((17.0 + x_6) > (6.0 + x_7)? (17.0 + x_6) : (6.0 + x_7)) : ((20.0 + x_9) > (6.0 + x_10)? (20.0 + x_9) : (6.0 + x_10)))) > (((5.0 + x_12) > ((10.0 + x_14) > (12.0 + x_16)? (10.0 + x_14) : (12.0 + x_16))? (5.0 + x_12) : ((10.0 + x_14) > (12.0 + x_16)? (10.0 + x_14) : (12.0 + x_16))) > (((17.0 + x_19) > (20.0 + x_20)? (17.0 + x_19) : (20.0 + x_20)) > ((10.0 + x_24) > (3.0 + x_26)? (10.0 + x_24) : (3.0 + x_26))? ((17.0 + x_19) > (20.0 + x_20)? (17.0 + x_19) : (20.0 + x_20)) : ((10.0 + x_24) > (3.0 + x_26)? (10.0 + x_24) : (3.0 + x_26)))? ((5.0 + x_12) > ((10.0 + x_14) > (12.0 + x_16)? (10.0 + x_14) : (12.0 + x_16))? (5.0 + x_12) : ((10.0 + x_14) > (12.0 + x_16)? (10.0 + x_14) : (12.0 + x_16))) : (((17.0 + x_19) > (20.0 + x_20)? (17.0 + x_19) : (20.0 + x_20)) > ((10.0 + x_24) > (3.0 + x_26)? (10.0 + x_24) : (3.0 + x_26))? ((17.0 + x_19) > (20.0 + x_20)? (17.0 + x_19) : (20.0 + x_20)) : ((10.0 + x_24) > (3.0 + x_26)? (10.0 + x_24) : (3.0 + x_26))))? (((3.0 + x_1) > ((13.0 + x_3) > (10.0 + x_5)? (13.0 + x_3) : (10.0 + x_5))? (3.0 + x_1) : ((13.0 + x_3) > (10.0 + x_5)? (13.0 + x_3) : (10.0 + x_5))) > (((17.0 + x_6) > (6.0 + x_7)? (17.0 + x_6) : (6.0 + x_7)) > ((20.0 + x_9) > (6.0 + x_10)? (20.0 + x_9) : (6.0 + x_10))? ((17.0 + x_6) > (6.0 + x_7)? (17.0 + x_6) : (6.0 + x_7)) : ((20.0 + x_9) > (6.0 + x_10)? (20.0 + x_9) : (6.0 + x_10)))? ((3.0 + x_1) > ((13.0 + x_3) > (10.0 + x_5)? (13.0 + x_3) : (10.0 + x_5))? (3.0 + x_1) : ((13.0 + x_3) > (10.0 + x_5)? (13.0 + x_3) : (10.0 + x_5))) : (((17.0 + x_6) > (6.0 + x_7)? (17.0 + x_6) : (6.0 + x_7)) > ((20.0 + x_9) > (6.0 + x_10)? (20.0 + x_9) : (6.0 + x_10))? ((17.0 + x_6) > (6.0 + x_7)? (17.0 + x_6) : (6.0 + x_7)) : ((20.0 + x_9) > (6.0 + x_10)? (20.0 + x_9) : (6.0 + x_10)))) : (((5.0 + x_12) > ((10.0 + x_14) > (12.0 + x_16)? (10.0 + x_14) : (12.0 + x_16))? (5.0 + x_12) : ((10.0 + x_14) > (12.0 + x_16)? (10.0 + x_14) : (12.0 + x_16))) > (((17.0 + x_19) > (20.0 + x_20)? (17.0 + x_19) : (20.0 + x_20)) > ((10.0 + x_24) > (3.0 + x_26)? (10.0 + x_24) : (3.0 + x_26))? ((17.0 + x_19) > (20.0 + x_20)? (17.0 + x_19) : (20.0 + x_20)) : ((10.0 + x_24) > (3.0 + x_26)? (10.0 + x_24) : (3.0 + x_26)))? ((5.0 + x_12) > ((10.0 + x_14) > (12.0 + x_16)? (10.0 + x_14) : (12.0 + x_16))? (5.0 + x_12) : ((10.0 + x_14) > (12.0 + x_16)? (10.0 + x_14) : (12.0 + x_16))) : (((17.0 + x_19) > (20.0 + x_20)? (17.0 + x_19) : (20.0 + x_20)) > ((10.0 + x_24) > (3.0 + x_26)? (10.0 + x_24) : (3.0 + x_26))? ((17.0 + x_19) > (20.0 + x_20)? (17.0 + x_19) : (20.0 + x_20)) : ((10.0 + x_24) > (3.0 + x_26)? (10.0 + x_24) : (3.0 + x_26)))));
  x_23_ = ((((1.0 + x_1) > ((15.0 + x_2) > (3.0 + x_5)? (15.0 + x_2) : (3.0 + x_5))? (1.0 + x_1) : ((15.0 + x_2) > (3.0 + x_5)? (15.0 + x_2) : (3.0 + x_5))) > (((5.0 + x_6) > (1.0 + x_9)? (5.0 + x_6) : (1.0 + x_9)) > ((13.0 + x_14) > (14.0 + x_16)? (13.0 + x_14) : (14.0 + x_16))? ((5.0 + x_6) > (1.0 + x_9)? (5.0 + x_6) : (1.0 + x_9)) : ((13.0 + x_14) > (14.0 + x_16)? (13.0 + x_14) : (14.0 + x_16)))? ((1.0 + x_1) > ((15.0 + x_2) > (3.0 + x_5)? (15.0 + x_2) : (3.0 + x_5))? (1.0 + x_1) : ((15.0 + x_2) > (3.0 + x_5)? (15.0 + x_2) : (3.0 + x_5))) : (((5.0 + x_6) > (1.0 + x_9)? (5.0 + x_6) : (1.0 + x_9)) > ((13.0 + x_14) > (14.0 + x_16)? (13.0 + x_14) : (14.0 + x_16))? ((5.0 + x_6) > (1.0 + x_9)? (5.0 + x_6) : (1.0 + x_9)) : ((13.0 + x_14) > (14.0 + x_16)? (13.0 + x_14) : (14.0 + x_16)))) > (((20.0 + x_17) > ((5.0 + x_18) > (17.0 + x_20)? (5.0 + x_18) : (17.0 + x_20))? (20.0 + x_17) : ((5.0 + x_18) > (17.0 + x_20)? (5.0 + x_18) : (17.0 + x_20))) > (((17.0 + x_21) > (1.0 + x_24)? (17.0 + x_21) : (1.0 + x_24)) > ((8.0 + x_25) > (11.0 + x_26)? (8.0 + x_25) : (11.0 + x_26))? ((17.0 + x_21) > (1.0 + x_24)? (17.0 + x_21) : (1.0 + x_24)) : ((8.0 + x_25) > (11.0 + x_26)? (8.0 + x_25) : (11.0 + x_26)))? ((20.0 + x_17) > ((5.0 + x_18) > (17.0 + x_20)? (5.0 + x_18) : (17.0 + x_20))? (20.0 + x_17) : ((5.0 + x_18) > (17.0 + x_20)? (5.0 + x_18) : (17.0 + x_20))) : (((17.0 + x_21) > (1.0 + x_24)? (17.0 + x_21) : (1.0 + x_24)) > ((8.0 + x_25) > (11.0 + x_26)? (8.0 + x_25) : (11.0 + x_26))? ((17.0 + x_21) > (1.0 + x_24)? (17.0 + x_21) : (1.0 + x_24)) : ((8.0 + x_25) > (11.0 + x_26)? (8.0 + x_25) : (11.0 + x_26))))? (((1.0 + x_1) > ((15.0 + x_2) > (3.0 + x_5)? (15.0 + x_2) : (3.0 + x_5))? (1.0 + x_1) : ((15.0 + x_2) > (3.0 + x_5)? (15.0 + x_2) : (3.0 + x_5))) > (((5.0 + x_6) > (1.0 + x_9)? (5.0 + x_6) : (1.0 + x_9)) > ((13.0 + x_14) > (14.0 + x_16)? (13.0 + x_14) : (14.0 + x_16))? ((5.0 + x_6) > (1.0 + x_9)? (5.0 + x_6) : (1.0 + x_9)) : ((13.0 + x_14) > (14.0 + x_16)? (13.0 + x_14) : (14.0 + x_16)))? ((1.0 + x_1) > ((15.0 + x_2) > (3.0 + x_5)? (15.0 + x_2) : (3.0 + x_5))? (1.0 + x_1) : ((15.0 + x_2) > (3.0 + x_5)? (15.0 + x_2) : (3.0 + x_5))) : (((5.0 + x_6) > (1.0 + x_9)? (5.0 + x_6) : (1.0 + x_9)) > ((13.0 + x_14) > (14.0 + x_16)? (13.0 + x_14) : (14.0 + x_16))? ((5.0 + x_6) > (1.0 + x_9)? (5.0 + x_6) : (1.0 + x_9)) : ((13.0 + x_14) > (14.0 + x_16)? (13.0 + x_14) : (14.0 + x_16)))) : (((20.0 + x_17) > ((5.0 + x_18) > (17.0 + x_20)? (5.0 + x_18) : (17.0 + x_20))? (20.0 + x_17) : ((5.0 + x_18) > (17.0 + x_20)? (5.0 + x_18) : (17.0 + x_20))) > (((17.0 + x_21) > (1.0 + x_24)? (17.0 + x_21) : (1.0 + x_24)) > ((8.0 + x_25) > (11.0 + x_26)? (8.0 + x_25) : (11.0 + x_26))? ((17.0 + x_21) > (1.0 + x_24)? (17.0 + x_21) : (1.0 + x_24)) : ((8.0 + x_25) > (11.0 + x_26)? (8.0 + x_25) : (11.0 + x_26)))? ((20.0 + x_17) > ((5.0 + x_18) > (17.0 + x_20)? (5.0 + x_18) : (17.0 + x_20))? (20.0 + x_17) : ((5.0 + x_18) > (17.0 + x_20)? (5.0 + x_18) : (17.0 + x_20))) : (((17.0 + x_21) > (1.0 + x_24)? (17.0 + x_21) : (1.0 + x_24)) > ((8.0 + x_25) > (11.0 + x_26)? (8.0 + x_25) : (11.0 + x_26))? ((17.0 + x_21) > (1.0 + x_24)? (17.0 + x_21) : (1.0 + x_24)) : ((8.0 + x_25) > (11.0 + x_26)? (8.0 + x_25) : (11.0 + x_26)))));
  x_24_ = ((((19.0 + x_0) > ((6.0 + x_6) > (11.0 + x_7)? (6.0 + x_6) : (11.0 + x_7))? (19.0 + x_0) : ((6.0 + x_6) > (11.0 + x_7)? (6.0 + x_6) : (11.0 + x_7))) > (((14.0 + x_8) > (16.0 + x_10)? (14.0 + x_8) : (16.0 + x_10)) > ((4.0 + x_11) > (10.0 + x_18)? (4.0 + x_11) : (10.0 + x_18))? ((14.0 + x_8) > (16.0 + x_10)? (14.0 + x_8) : (16.0 + x_10)) : ((4.0 + x_11) > (10.0 + x_18)? (4.0 + x_11) : (10.0 + x_18)))? ((19.0 + x_0) > ((6.0 + x_6) > (11.0 + x_7)? (6.0 + x_6) : (11.0 + x_7))? (19.0 + x_0) : ((6.0 + x_6) > (11.0 + x_7)? (6.0 + x_6) : (11.0 + x_7))) : (((14.0 + x_8) > (16.0 + x_10)? (14.0 + x_8) : (16.0 + x_10)) > ((4.0 + x_11) > (10.0 + x_18)? (4.0 + x_11) : (10.0 + x_18))? ((14.0 + x_8) > (16.0 + x_10)? (14.0 + x_8) : (16.0 + x_10)) : ((4.0 + x_11) > (10.0 + x_18)? (4.0 + x_11) : (10.0 + x_18)))) > (((16.0 + x_19) > ((6.0 + x_20) > (14.0 + x_21)? (6.0 + x_20) : (14.0 + x_21))? (16.0 + x_19) : ((6.0 + x_20) > (14.0 + x_21)? (6.0 + x_20) : (14.0 + x_21))) > (((8.0 + x_23) > (13.0 + x_24)? (8.0 + x_23) : (13.0 + x_24)) > ((8.0 + x_25) > (10.0 + x_26)? (8.0 + x_25) : (10.0 + x_26))? ((8.0 + x_23) > (13.0 + x_24)? (8.0 + x_23) : (13.0 + x_24)) : ((8.0 + x_25) > (10.0 + x_26)? (8.0 + x_25) : (10.0 + x_26)))? ((16.0 + x_19) > ((6.0 + x_20) > (14.0 + x_21)? (6.0 + x_20) : (14.0 + x_21))? (16.0 + x_19) : ((6.0 + x_20) > (14.0 + x_21)? (6.0 + x_20) : (14.0 + x_21))) : (((8.0 + x_23) > (13.0 + x_24)? (8.0 + x_23) : (13.0 + x_24)) > ((8.0 + x_25) > (10.0 + x_26)? (8.0 + x_25) : (10.0 + x_26))? ((8.0 + x_23) > (13.0 + x_24)? (8.0 + x_23) : (13.0 + x_24)) : ((8.0 + x_25) > (10.0 + x_26)? (8.0 + x_25) : (10.0 + x_26))))? (((19.0 + x_0) > ((6.0 + x_6) > (11.0 + x_7)? (6.0 + x_6) : (11.0 + x_7))? (19.0 + x_0) : ((6.0 + x_6) > (11.0 + x_7)? (6.0 + x_6) : (11.0 + x_7))) > (((14.0 + x_8) > (16.0 + x_10)? (14.0 + x_8) : (16.0 + x_10)) > ((4.0 + x_11) > (10.0 + x_18)? (4.0 + x_11) : (10.0 + x_18))? ((14.0 + x_8) > (16.0 + x_10)? (14.0 + x_8) : (16.0 + x_10)) : ((4.0 + x_11) > (10.0 + x_18)? (4.0 + x_11) : (10.0 + x_18)))? ((19.0 + x_0) > ((6.0 + x_6) > (11.0 + x_7)? (6.0 + x_6) : (11.0 + x_7))? (19.0 + x_0) : ((6.0 + x_6) > (11.0 + x_7)? (6.0 + x_6) : (11.0 + x_7))) : (((14.0 + x_8) > (16.0 + x_10)? (14.0 + x_8) : (16.0 + x_10)) > ((4.0 + x_11) > (10.0 + x_18)? (4.0 + x_11) : (10.0 + x_18))? ((14.0 + x_8) > (16.0 + x_10)? (14.0 + x_8) : (16.0 + x_10)) : ((4.0 + x_11) > (10.0 + x_18)? (4.0 + x_11) : (10.0 + x_18)))) : (((16.0 + x_19) > ((6.0 + x_20) > (14.0 + x_21)? (6.0 + x_20) : (14.0 + x_21))? (16.0 + x_19) : ((6.0 + x_20) > (14.0 + x_21)? (6.0 + x_20) : (14.0 + x_21))) > (((8.0 + x_23) > (13.0 + x_24)? (8.0 + x_23) : (13.0 + x_24)) > ((8.0 + x_25) > (10.0 + x_26)? (8.0 + x_25) : (10.0 + x_26))? ((8.0 + x_23) > (13.0 + x_24)? (8.0 + x_23) : (13.0 + x_24)) : ((8.0 + x_25) > (10.0 + x_26)? (8.0 + x_25) : (10.0 + x_26)))? ((16.0 + x_19) > ((6.0 + x_20) > (14.0 + x_21)? (6.0 + x_20) : (14.0 + x_21))? (16.0 + x_19) : ((6.0 + x_20) > (14.0 + x_21)? (6.0 + x_20) : (14.0 + x_21))) : (((8.0 + x_23) > (13.0 + x_24)? (8.0 + x_23) : (13.0 + x_24)) > ((8.0 + x_25) > (10.0 + x_26)? (8.0 + x_25) : (10.0 + x_26))? ((8.0 + x_23) > (13.0 + x_24)? (8.0 + x_23) : (13.0 + x_24)) : ((8.0 + x_25) > (10.0 + x_26)? (8.0 + x_25) : (10.0 + x_26)))));
  x_25_ = ((((8.0 + x_0) > ((11.0 + x_4) > (9.0 + x_6)? (11.0 + x_4) : (9.0 + x_6))? (8.0 + x_0) : ((11.0 + x_4) > (9.0 + x_6)? (11.0 + x_4) : (9.0 + x_6))) > (((13.0 + x_8) > (5.0 + x_9)? (13.0 + x_8) : (5.0 + x_9)) > ((14.0 + x_11) > (19.0 + x_15)? (14.0 + x_11) : (19.0 + x_15))? ((13.0 + x_8) > (5.0 + x_9)? (13.0 + x_8) : (5.0 + x_9)) : ((14.0 + x_11) > (19.0 + x_15)? (14.0 + x_11) : (19.0 + x_15)))? ((8.0 + x_0) > ((11.0 + x_4) > (9.0 + x_6)? (11.0 + x_4) : (9.0 + x_6))? (8.0 + x_0) : ((11.0 + x_4) > (9.0 + x_6)? (11.0 + x_4) : (9.0 + x_6))) : (((13.0 + x_8) > (5.0 + x_9)? (13.0 + x_8) : (5.0 + x_9)) > ((14.0 + x_11) > (19.0 + x_15)? (14.0 + x_11) : (19.0 + x_15))? ((13.0 + x_8) > (5.0 + x_9)? (13.0 + x_8) : (5.0 + x_9)) : ((14.0 + x_11) > (19.0 + x_15)? (14.0 + x_11) : (19.0 + x_15)))) > (((1.0 + x_17) > ((14.0 + x_21) > (20.0 + x_22)? (14.0 + x_21) : (20.0 + x_22))? (1.0 + x_17) : ((14.0 + x_21) > (20.0 + x_22)? (14.0 + x_21) : (20.0 + x_22))) > (((2.0 + x_24) > (19.0 + x_25)? (2.0 + x_24) : (19.0 + x_25)) > ((15.0 + x_26) > (14.0 + x_27)? (15.0 + x_26) : (14.0 + x_27))? ((2.0 + x_24) > (19.0 + x_25)? (2.0 + x_24) : (19.0 + x_25)) : ((15.0 + x_26) > (14.0 + x_27)? (15.0 + x_26) : (14.0 + x_27)))? ((1.0 + x_17) > ((14.0 + x_21) > (20.0 + x_22)? (14.0 + x_21) : (20.0 + x_22))? (1.0 + x_17) : ((14.0 + x_21) > (20.0 + x_22)? (14.0 + x_21) : (20.0 + x_22))) : (((2.0 + x_24) > (19.0 + x_25)? (2.0 + x_24) : (19.0 + x_25)) > ((15.0 + x_26) > (14.0 + x_27)? (15.0 + x_26) : (14.0 + x_27))? ((2.0 + x_24) > (19.0 + x_25)? (2.0 + x_24) : (19.0 + x_25)) : ((15.0 + x_26) > (14.0 + x_27)? (15.0 + x_26) : (14.0 + x_27))))? (((8.0 + x_0) > ((11.0 + x_4) > (9.0 + x_6)? (11.0 + x_4) : (9.0 + x_6))? (8.0 + x_0) : ((11.0 + x_4) > (9.0 + x_6)? (11.0 + x_4) : (9.0 + x_6))) > (((13.0 + x_8) > (5.0 + x_9)? (13.0 + x_8) : (5.0 + x_9)) > ((14.0 + x_11) > (19.0 + x_15)? (14.0 + x_11) : (19.0 + x_15))? ((13.0 + x_8) > (5.0 + x_9)? (13.0 + x_8) : (5.0 + x_9)) : ((14.0 + x_11) > (19.0 + x_15)? (14.0 + x_11) : (19.0 + x_15)))? ((8.0 + x_0) > ((11.0 + x_4) > (9.0 + x_6)? (11.0 + x_4) : (9.0 + x_6))? (8.0 + x_0) : ((11.0 + x_4) > (9.0 + x_6)? (11.0 + x_4) : (9.0 + x_6))) : (((13.0 + x_8) > (5.0 + x_9)? (13.0 + x_8) : (5.0 + x_9)) > ((14.0 + x_11) > (19.0 + x_15)? (14.0 + x_11) : (19.0 + x_15))? ((13.0 + x_8) > (5.0 + x_9)? (13.0 + x_8) : (5.0 + x_9)) : ((14.0 + x_11) > (19.0 + x_15)? (14.0 + x_11) : (19.0 + x_15)))) : (((1.0 + x_17) > ((14.0 + x_21) > (20.0 + x_22)? (14.0 + x_21) : (20.0 + x_22))? (1.0 + x_17) : ((14.0 + x_21) > (20.0 + x_22)? (14.0 + x_21) : (20.0 + x_22))) > (((2.0 + x_24) > (19.0 + x_25)? (2.0 + x_24) : (19.0 + x_25)) > ((15.0 + x_26) > (14.0 + x_27)? (15.0 + x_26) : (14.0 + x_27))? ((2.0 + x_24) > (19.0 + x_25)? (2.0 + x_24) : (19.0 + x_25)) : ((15.0 + x_26) > (14.0 + x_27)? (15.0 + x_26) : (14.0 + x_27)))? ((1.0 + x_17) > ((14.0 + x_21) > (20.0 + x_22)? (14.0 + x_21) : (20.0 + x_22))? (1.0 + x_17) : ((14.0 + x_21) > (20.0 + x_22)? (14.0 + x_21) : (20.0 + x_22))) : (((2.0 + x_24) > (19.0 + x_25)? (2.0 + x_24) : (19.0 + x_25)) > ((15.0 + x_26) > (14.0 + x_27)? (15.0 + x_26) : (14.0 + x_27))? ((2.0 + x_24) > (19.0 + x_25)? (2.0 + x_24) : (19.0 + x_25)) : ((15.0 + x_26) > (14.0 + x_27)? (15.0 + x_26) : (14.0 + x_27)))));
  x_26_ = ((((17.0 + x_0) > ((18.0 + x_3) > (13.0 + x_4)? (18.0 + x_3) : (13.0 + x_4))? (17.0 + x_0) : ((18.0 + x_3) > (13.0 + x_4)? (18.0 + x_3) : (13.0 + x_4))) > (((7.0 + x_5) > (16.0 + x_6)? (7.0 + x_5) : (16.0 + x_6)) > ((3.0 + x_8) > (8.0 + x_9)? (3.0 + x_8) : (8.0 + x_9))? ((7.0 + x_5) > (16.0 + x_6)? (7.0 + x_5) : (16.0 + x_6)) : ((3.0 + x_8) > (8.0 + x_9)? (3.0 + x_8) : (8.0 + x_9)))? ((17.0 + x_0) > ((18.0 + x_3) > (13.0 + x_4)? (18.0 + x_3) : (13.0 + x_4))? (17.0 + x_0) : ((18.0 + x_3) > (13.0 + x_4)? (18.0 + x_3) : (13.0 + x_4))) : (((7.0 + x_5) > (16.0 + x_6)? (7.0 + x_5) : (16.0 + x_6)) > ((3.0 + x_8) > (8.0 + x_9)? (3.0 + x_8) : (8.0 + x_9))? ((7.0 + x_5) > (16.0 + x_6)? (7.0 + x_5) : (16.0 + x_6)) : ((3.0 + x_8) > (8.0 + x_9)? (3.0 + x_8) : (8.0 + x_9)))) > (((14.0 + x_10) > ((10.0 + x_11) > (9.0 + x_12)? (10.0 + x_11) : (9.0 + x_12))? (14.0 + x_10) : ((10.0 + x_11) > (9.0 + x_12)? (10.0 + x_11) : (9.0 + x_12))) > (((13.0 + x_15) > (1.0 + x_16)? (13.0 + x_15) : (1.0 + x_16)) > ((1.0 + x_21) > (6.0 + x_22)? (1.0 + x_21) : (6.0 + x_22))? ((13.0 + x_15) > (1.0 + x_16)? (13.0 + x_15) : (1.0 + x_16)) : ((1.0 + x_21) > (6.0 + x_22)? (1.0 + x_21) : (6.0 + x_22)))? ((14.0 + x_10) > ((10.0 + x_11) > (9.0 + x_12)? (10.0 + x_11) : (9.0 + x_12))? (14.0 + x_10) : ((10.0 + x_11) > (9.0 + x_12)? (10.0 + x_11) : (9.0 + x_12))) : (((13.0 + x_15) > (1.0 + x_16)? (13.0 + x_15) : (1.0 + x_16)) > ((1.0 + x_21) > (6.0 + x_22)? (1.0 + x_21) : (6.0 + x_22))? ((13.0 + x_15) > (1.0 + x_16)? (13.0 + x_15) : (1.0 + x_16)) : ((1.0 + x_21) > (6.0 + x_22)? (1.0 + x_21) : (6.0 + x_22))))? (((17.0 + x_0) > ((18.0 + x_3) > (13.0 + x_4)? (18.0 + x_3) : (13.0 + x_4))? (17.0 + x_0) : ((18.0 + x_3) > (13.0 + x_4)? (18.0 + x_3) : (13.0 + x_4))) > (((7.0 + x_5) > (16.0 + x_6)? (7.0 + x_5) : (16.0 + x_6)) > ((3.0 + x_8) > (8.0 + x_9)? (3.0 + x_8) : (8.0 + x_9))? ((7.0 + x_5) > (16.0 + x_6)? (7.0 + x_5) : (16.0 + x_6)) : ((3.0 + x_8) > (8.0 + x_9)? (3.0 + x_8) : (8.0 + x_9)))? ((17.0 + x_0) > ((18.0 + x_3) > (13.0 + x_4)? (18.0 + x_3) : (13.0 + x_4))? (17.0 + x_0) : ((18.0 + x_3) > (13.0 + x_4)? (18.0 + x_3) : (13.0 + x_4))) : (((7.0 + x_5) > (16.0 + x_6)? (7.0 + x_5) : (16.0 + x_6)) > ((3.0 + x_8) > (8.0 + x_9)? (3.0 + x_8) : (8.0 + x_9))? ((7.0 + x_5) > (16.0 + x_6)? (7.0 + x_5) : (16.0 + x_6)) : ((3.0 + x_8) > (8.0 + x_9)? (3.0 + x_8) : (8.0 + x_9)))) : (((14.0 + x_10) > ((10.0 + x_11) > (9.0 + x_12)? (10.0 + x_11) : (9.0 + x_12))? (14.0 + x_10) : ((10.0 + x_11) > (9.0 + x_12)? (10.0 + x_11) : (9.0 + x_12))) > (((13.0 + x_15) > (1.0 + x_16)? (13.0 + x_15) : (1.0 + x_16)) > ((1.0 + x_21) > (6.0 + x_22)? (1.0 + x_21) : (6.0 + x_22))? ((13.0 + x_15) > (1.0 + x_16)? (13.0 + x_15) : (1.0 + x_16)) : ((1.0 + x_21) > (6.0 + x_22)? (1.0 + x_21) : (6.0 + x_22)))? ((14.0 + x_10) > ((10.0 + x_11) > (9.0 + x_12)? (10.0 + x_11) : (9.0 + x_12))? (14.0 + x_10) : ((10.0 + x_11) > (9.0 + x_12)? (10.0 + x_11) : (9.0 + x_12))) : (((13.0 + x_15) > (1.0 + x_16)? (13.0 + x_15) : (1.0 + x_16)) > ((1.0 + x_21) > (6.0 + x_22)? (1.0 + x_21) : (6.0 + x_22))? ((13.0 + x_15) > (1.0 + x_16)? (13.0 + x_15) : (1.0 + x_16)) : ((1.0 + x_21) > (6.0 + x_22)? (1.0 + x_21) : (6.0 + x_22)))));
  x_27_ = ((((3.0 + x_0) > ((2.0 + x_4) > (13.0 + x_5)? (2.0 + x_4) : (13.0 + x_5))? (3.0 + x_0) : ((2.0 + x_4) > (13.0 + x_5)? (2.0 + x_4) : (13.0 + x_5))) > (((15.0 + x_8) > (3.0 + x_10)? (15.0 + x_8) : (3.0 + x_10)) > ((18.0 + x_11) > (13.0 + x_19)? (18.0 + x_11) : (13.0 + x_19))? ((15.0 + x_8) > (3.0 + x_10)? (15.0 + x_8) : (3.0 + x_10)) : ((18.0 + x_11) > (13.0 + x_19)? (18.0 + x_11) : (13.0 + x_19)))? ((3.0 + x_0) > ((2.0 + x_4) > (13.0 + x_5)? (2.0 + x_4) : (13.0 + x_5))? (3.0 + x_0) : ((2.0 + x_4) > (13.0 + x_5)? (2.0 + x_4) : (13.0 + x_5))) : (((15.0 + x_8) > (3.0 + x_10)? (15.0 + x_8) : (3.0 + x_10)) > ((18.0 + x_11) > (13.0 + x_19)? (18.0 + x_11) : (13.0 + x_19))? ((15.0 + x_8) > (3.0 + x_10)? (15.0 + x_8) : (3.0 + x_10)) : ((18.0 + x_11) > (13.0 + x_19)? (18.0 + x_11) : (13.0 + x_19)))) > (((14.0 + x_20) > ((11.0 + x_21) > (3.0 + x_22)? (11.0 + x_21) : (3.0 + x_22))? (14.0 + x_20) : ((11.0 + x_21) > (3.0 + x_22)? (11.0 + x_21) : (3.0 + x_22))) > (((11.0 + x_23) > (9.0 + x_24)? (11.0 + x_23) : (9.0 + x_24)) > ((16.0 + x_26) > (15.0 + x_27)? (16.0 + x_26) : (15.0 + x_27))? ((11.0 + x_23) > (9.0 + x_24)? (11.0 + x_23) : (9.0 + x_24)) : ((16.0 + x_26) > (15.0 + x_27)? (16.0 + x_26) : (15.0 + x_27)))? ((14.0 + x_20) > ((11.0 + x_21) > (3.0 + x_22)? (11.0 + x_21) : (3.0 + x_22))? (14.0 + x_20) : ((11.0 + x_21) > (3.0 + x_22)? (11.0 + x_21) : (3.0 + x_22))) : (((11.0 + x_23) > (9.0 + x_24)? (11.0 + x_23) : (9.0 + x_24)) > ((16.0 + x_26) > (15.0 + x_27)? (16.0 + x_26) : (15.0 + x_27))? ((11.0 + x_23) > (9.0 + x_24)? (11.0 + x_23) : (9.0 + x_24)) : ((16.0 + x_26) > (15.0 + x_27)? (16.0 + x_26) : (15.0 + x_27))))? (((3.0 + x_0) > ((2.0 + x_4) > (13.0 + x_5)? (2.0 + x_4) : (13.0 + x_5))? (3.0 + x_0) : ((2.0 + x_4) > (13.0 + x_5)? (2.0 + x_4) : (13.0 + x_5))) > (((15.0 + x_8) > (3.0 + x_10)? (15.0 + x_8) : (3.0 + x_10)) > ((18.0 + x_11) > (13.0 + x_19)? (18.0 + x_11) : (13.0 + x_19))? ((15.0 + x_8) > (3.0 + x_10)? (15.0 + x_8) : (3.0 + x_10)) : ((18.0 + x_11) > (13.0 + x_19)? (18.0 + x_11) : (13.0 + x_19)))? ((3.0 + x_0) > ((2.0 + x_4) > (13.0 + x_5)? (2.0 + x_4) : (13.0 + x_5))? (3.0 + x_0) : ((2.0 + x_4) > (13.0 + x_5)? (2.0 + x_4) : (13.0 + x_5))) : (((15.0 + x_8) > (3.0 + x_10)? (15.0 + x_8) : (3.0 + x_10)) > ((18.0 + x_11) > (13.0 + x_19)? (18.0 + x_11) : (13.0 + x_19))? ((15.0 + x_8) > (3.0 + x_10)? (15.0 + x_8) : (3.0 + x_10)) : ((18.0 + x_11) > (13.0 + x_19)? (18.0 + x_11) : (13.0 + x_19)))) : (((14.0 + x_20) > ((11.0 + x_21) > (3.0 + x_22)? (11.0 + x_21) : (3.0 + x_22))? (14.0 + x_20) : ((11.0 + x_21) > (3.0 + x_22)? (11.0 + x_21) : (3.0 + x_22))) > (((11.0 + x_23) > (9.0 + x_24)? (11.0 + x_23) : (9.0 + x_24)) > ((16.0 + x_26) > (15.0 + x_27)? (16.0 + x_26) : (15.0 + x_27))? ((11.0 + x_23) > (9.0 + x_24)? (11.0 + x_23) : (9.0 + x_24)) : ((16.0 + x_26) > (15.0 + x_27)? (16.0 + x_26) : (15.0 + x_27)))? ((14.0 + x_20) > ((11.0 + x_21) > (3.0 + x_22)? (11.0 + x_21) : (3.0 + x_22))? (14.0 + x_20) : ((11.0 + x_21) > (3.0 + x_22)? (11.0 + x_21) : (3.0 + x_22))) : (((11.0 + x_23) > (9.0 + x_24)? (11.0 + x_23) : (9.0 + x_24)) > ((16.0 + x_26) > (15.0 + x_27)? (16.0 + x_26) : (15.0 + x_27))? ((11.0 + x_23) > (9.0 + x_24)? (11.0 + x_23) : (9.0 + x_24)) : ((16.0 + x_26) > (15.0 + x_27)? (16.0 + x_26) : (15.0 + x_27)))));
  x_0 = x_0_;
  x_1 = x_1_;
  x_2 = x_2_;
  x_3 = x_3_;
  x_4 = x_4_;
  x_5 = x_5_;
  x_6 = x_6_;
  x_7 = x_7_;
  x_8 = x_8_;
  x_9 = x_9_;
  x_10 = x_10_;
  x_11 = x_11_;
  x_12 = x_12_;
  x_13 = x_13_;
  x_14 = x_14_;
  x_15 = x_15_;
  x_16 = x_16_;
  x_17 = x_17_;
  x_18 = x_18_;
  x_19 = x_19_;
  x_20 = x_20_;
  x_21 = x_21_;
  x_22 = x_22_;
  x_23 = x_23_;
  x_24 = x_24_;
  x_25 = x_25_;
  x_26 = x_26_;
  x_27 = x_27_;
    }
    return 0;
  }
  