(((IF(!((!(IF((x(13) > x(5)), x(3), x(13)) > (x(0) - x(12))) || IF(IF((x(4) == x(18)), (x(5) == x(15)), (x(4) < x(5))), ((x(8) < x(10)) && (((x(16) < x(17)) || (x(3) < x(11))) && !((x(16) < x(17)) && (x(3) < x(11))))), ((x(8) - x(3)) == x(17)))) && !(!(IF((x(13) > x(5)), x(3), x(13)) > (x(0) - x(12))) && IF(IF((x(4) == x(18)), (x(5) == x(15)), (x(4) < x(5))), ((x(8) < x(10)) && (((x(16) < x(17)) || (x(3) < x(11))) && !((x(16) < x(17)) && (x(3) < x(11))))), ((x(8) - x(3)) == x(17))))), (x(3) == x(4)), (x(10) < x(5))) || ((((x(10) == x(3)) && IF(((((x(16) < x(0)) && (x(4) < x(13))) || !(x(16) > x(3))) && !(((x(16) < x(0)) && (x(4) < x(13))) && !(x(16) > x(3)))), (IF((x(10) < x(18)), (x(18) < x(0)), (x(6) < x(11))) || (x(5) > x(8))), (IF((x(6) > x(17)), x(6), x(12)) > x(9)))) || IF(((x(12) > (x(13) + x(0))) || (((x(11) > x(2)) || (x(17) < x(11))) || IF((x(14) > x(13)), (x(0) < x(4)), (x(10) > x(18))))), ((IF((x(13) < x(6)), x(17), x(13)) == x(7)) || (x(14) > x(15))), IF(((((x(1) > x(11)) || (x(15) < x(16))) || IF((x(2) < x(8)), (x(16) > x(5)), (x(10) > x(8)))) && !(((x(1) > x(11)) || (x(15) < x(16))) && IF((x(2) < x(8)), (x(16) > x(5)), (x(10) > x(8))))), !(x(2) == x(6)), ((((x(7) > x(2)) && (x(7) > x(14))) || (x(7) == x(7))) && !(((x(7) > x(2)) && (x(7) > x(14))) && (x(7) == x(7))))))) && (((IF(!(x(11) > x(2)), x(3), x(12)) - (x(2) - x(12))) - x(17)) > (((x(8) - x(6)) + x(13)) - ((x(11) + (x(1) - x(5))) - ((x(16) - x(2)) + (x(15) - x(13)))))))) && !(IF(!((!(IF((x(13) > x(5)), x(3), x(13)) > (x(0) - x(12))) || IF(IF((x(4) == x(18)), (x(5) == x(15)), (x(4) < x(5))), ((x(8) < x(10)) && (((x(16) < x(17)) || (x(3) < x(11))) && !((x(16) < x(17)) && (x(3) < x(11))))), ((x(8) - x(3)) == x(17)))) && !(!(IF((x(13) > x(5)), x(3), x(13)) > (x(0) - x(12))) && IF(IF((x(4) == x(18)), (x(5) == x(15)), (x(4) < x(5))), ((x(8) < x(10)) && (((x(16) < x(17)) || (x(3) < x(11))) && !((x(16) < x(17)) && (x(3) < x(11))))), ((x(8) - x(3)) == x(17))))), (x(3) == x(4)), (x(10) < x(5))) && ((((x(10) == x(3)) && IF(((((x(16) < x(0)) && (x(4) < x(13))) || !(x(16) > x(3))) && !(((x(16) < x(0)) && (x(4) < x(13))) && !(x(16) > x(3)))), (IF((x(10) < x(18)), (x(18) < x(0)), (x(6) < x(11))) || (x(5) > x(8))), (IF((x(6) > x(17)), x(6), x(12)) > x(9)))) || IF(((x(12) > (x(13) + x(0))) || (((x(11) > x(2)) || (x(17) < x(11))) || IF((x(14) > x(13)), (x(0) < x(4)), (x(10) > x(18))))), ((IF((x(13) < x(6)), x(17), x(13)) == x(7)) || (x(14) > x(15))), IF(((((x(1) > x(11)) || (x(15) < x(16))) || IF((x(2) < x(8)), (x(16) > x(5)), (x(10) > x(8)))) && !(((x(1) > x(11)) || (x(15) < x(16))) && IF((x(2) < x(8)), (x(16) > x(5)), (x(10) > x(8))))), !(x(2) == x(6)), ((((x(7) > x(2)) && (x(7) > x(14))) || (x(7) == x(7))) && !(((x(7) > x(2)) && (x(7) > x(14))) && (x(7) == x(7))))))) && (((IF(!(x(11) > x(2)), x(3), x(12)) - (x(2) - x(12))) - x(17)) > (((x(8) - x(6)) + x(13)) - ((x(11) + (x(1) - x(5))) - ((x(16) - x(2)) + (x(15) - x(13))))))))) && IF(IF(((IF(((x(14) - x(9)) < (x(17) + x(12))), ((x(17) - x(13)) - x(3)), x(15)) > IF(((IF((x(9) > x(13)), (x(10) < x(9)), (x(2) < x(17))) || (((x(4) < x(10)) || (x(3) > x(17))) && !((x(4) < x(10)) && (x(3) > x(17))))) && !(IF((x(9) > x(13)), (x(10) < x(9)), (x(2) < x(17))) && (((x(4) < x(10)) || (x(3) > x(17))) && !((x(4) < x(10)) && (x(3) > x(17)))))), IF(!(x(18) < x(17)), x(16), x(5)), (x(14) + x(2)))) && IF(((IF((x(0) < x(16)), ((x(2) < x(0)) && (x(8) > x(11))), (x(11) < x(16))) || (!(x(1) > x(7)) || ((x(11) < x(18)) || (x(16) > x(15))))) && !(IF((x(0) < x(16)), ((x(2) < x(0)) && (x(8) > x(11))), (x(11) < x(16))) && (!(x(1) > x(7)) || ((x(11) < x(18)) || (x(16) > x(15)))))), (IF(((x(9) > x(16)) || (x(8) < x(17))), (x(14) + x(16)), x(4)) > x(8)), (((x(18) == (x(2) + x(6))) || (x(0) > x(3))) && !((x(18) == (x(2) + x(6))) && (x(0) > x(3)))))), ((x(2) - x(15)) == (x(0) - IF((((x(10) < x(0)) || (x(12) > x(1))) && (x(1) < x(6))), ((x(3) - x(7)) + x(2)), IF((x(0) > x(8)), x(6), x(14))))), ((((x(18) + IF(!(x(10) > x(8)), (x(17) - x(11)), x(10))) > IF(((!(x(14) < x(2)) || (x(18) == x(11))) && !(!(x(14) < x(2)) && (x(18) == x(11)))), x(14), ((x(13) + x(12)) + x(0)))) || (IF((IF((x(6) > x(8)), x(17), x(17)) < x(13)), x(9), x(7)) > (x(10) - (x(7) - x(3))))) && !(((x(18) + IF(!(x(10) > x(8)), (x(17) - x(11)), x(10))) > IF(((!(x(14) < x(2)) || (x(18) == x(11))) && !(!(x(14) < x(2)) && (x(18) == x(11)))), x(14), ((x(13) + x(12)) + x(0)))) && (IF((IF((x(6) > x(8)), x(17), x(17)) < x(13)), x(9), x(7)) > (x(10) - (x(7) - x(3))))))), (!((((x(8) == x(12)) || (((x(0) > x(9)) && (x(11) > x(11))) || ((x(17) < x(16)) || (x(10) > x(14))))) && !((x(8) == x(12)) && (((x(0) > x(9)) && (x(11) > x(11))) || ((x(17) < x(16)) || (x(10) > x(14)))))) || (((x(13) < x(17)) || IF((x(3) < x(17)), IF((x(0) > x(1)), (x(13) > x(9)), (x(12) < x(8))), !(x(12) < x(15)))) && !((x(13) < x(17)) && IF((x(3) < x(17)), IF((x(0) > x(1)), (x(13) > x(9)), (x(12) < x(8))), !(x(12) < x(15)))))) || ((IF((x(8) > x(1)), IF(((x(6) - x(9)) > (x(6) + x(18))), !((x(12) > x(18)) || (x(5) > x(0))), ((((x(17) > x(1)) || (x(5) < x(11))) && !((x(17) > x(1)) && (x(5) < x(11)))) && ((x(0) < x(8)) && (x(16) > x(1))))), (x(12) < x(7))) || (!((((x(8) > x(6)) || (x(11) > x(11))) && !((x(8) > x(6)) && (x(11) > x(11)))) || (x(8) > x(5))) && !(x(13) == x(8)))) && !(IF((x(8) > x(1)), IF(((x(6) - x(9)) > (x(6) + x(18))), !((x(12) > x(18)) || (x(5) > x(0))), ((((x(17) > x(1)) || (x(5) < x(11))) && !((x(17) > x(1)) && (x(5) < x(11)))) && ((x(0) < x(8)) && (x(16) > x(1))))), (x(12) < x(7))) && (!((((x(8) > x(6)) || (x(11) > x(11))) && !((x(8) > x(6)) && (x(11) > x(11)))) || (x(8) > x(5))) && !(x(13) == x(8)))))), IF(IF(IF(((((x(0) > x(10)) || IF((x(13) < x(17)), (x(2) < x(0)), (x(5) < x(14)))) || (!(x(13) > x(5)) || IF((x(4) > x(17)), (x(17) > x(8)), (x(15) > x(7))))) && !(((x(0) > x(10)) || IF((x(13) < x(17)), (x(2) < x(0)), (x(5) < x(14)))) && (!(x(13) > x(5)) || IF((x(4) > x(17)), (x(17) > x(8)), (x(15) > x(7)))))), (((x(2) - x(1)) - (x(16) - x(16))) < x(10)), ((((x(7) - x(12)) < x(3)) || (x(9) == IF((x(0) > x(7)), x(14), x(13)))) && !(((x(7) - x(12)) < x(3)) && (x(9) == IF((x(0) > x(7)), x(14), x(13)))))), (x(11) > x(1)), !((((!(x(5) > x(9)) || !(x(15) < x(12))) && !(!(x(5) > x(9)) && !(x(15) < x(12)))) || (((x(11) < x(18)) || ((x(3) > x(6)) || (x(2) < x(2)))) && !((x(11) < x(18)) && ((x(3) > x(6)) || (x(2) < x(2)))))) && !(((!(x(5) > x(9)) || !(x(15) < x(12))) && !(!(x(5) > x(9)) && !(x(15) < x(12)))) && (((x(11) < x(18)) || ((x(3) > x(6)) || (x(2) < x(2)))) && !((x(11) < x(18)) && ((x(3) > x(6)) || (x(2) < x(2)))))))), !(((!!(x(5) > x(4)) && (x(7) == x(13))) || ((((x(13) + x(3)) < x(17)) || (((x(1) < x(10)) && (x(11) > x(14))) || !(x(6) > x(12)))) && !(((x(13) + x(3)) < x(17)) && (((x(1) < x(10)) && (x(11) > x(14))) || !(x(6) > x(12)))))) && !((!!(x(5) > x(4)) && (x(7) == x(13))) && ((((x(13) + x(3)) < x(17)) || (((x(1) < x(10)) && (x(11) > x(14))) || !(x(6) > x(12)))) && !(((x(13) + x(3)) < x(17)) && (((x(1) < x(10)) && (x(11) > x(14))) || !(x(6) > x(12))))))), (((x(10) == x(12)) || (x(12) > x(12))) && !((x(10) == x(12)) && (x(12) > x(12)))))))





(((IF(!((!(IF((x(13) > x(5)), x(3), x(13)) > (x(0) - x(12))) || IF(IF((x(4) == x(18)), (x(5) == x(15)), (x(4) < x(5))), ((x(8) < x(10)) && (((x(16) < x(17)) || (x(3) < x(11))) && !((x(16) < x(17)) && (x(3) < x(11))))), ((x(8) - x(3)) == x(17)))) && !(!(IF((x(13) > x(5)), x(3), x(13)) > (x(0) - x(12))) && IF(IF((x(4) == x(18)), (x(5) == x(15)), (x(4) < x(5))), ((x(8) < x(10)) && (((x(16) < x(17)) || (x(3) < x(11))) && !((x(16) < x(17)) && (x(3) < x(11))))), ((x(8) - x(3)) == x(17))))), (x(3) == x(4)), (x(10) < x(5))) || ((((x(10) == x(3)) && IF(((((x(16) < x(0)) && (x(4) < x(13))) || !(x(16) > x(3))) && !(((x(16) < x(0)) && (x(4) < x(13))) && !(x(16) > x(3)))), (IF((x(10) < x(18)), (x(18) < x(0)), (x(6) < x(11))) || (x(5) > x(8))), (IF((x(6) > x(17)), x(6), x(12)) > x(9)))) || IF(((x(12) > (x(13) + x(0))) || (((x(11) > x(2)) || (x(17) < x(11))) || IF((x(14) > x(13)), (x(0) < x(4)), (x(10) > x(18))))), ((IF((x(13) < x(6)), x(17), x(13)) == x(7)) || (x(14) > x(15))), IF(((((x(1) > x(11)) || (x(15) < x(16))) || IF((x(2) < x(8)), (x(16) > x(5)), (x(10) > x(8)))) && !(((x(1) > x(11)) || (x(15) < x(16))) && IF((x(2) < x(8)), (x(16) > x(5)), (x(10) > x(8))))), !(x(2) == x(6)), ((((x(7) > x(2)) && (x(7) > x(14))) || (x(7) == x(7))) && !(((x(7) > x(2)) && (x(7) > x(14))) && (x(7) == x(7))))))) && (((IF(!(x(11) > x(2)), x(3), x(12)) - (x(2) - x(12))) - x(17)) > (((x(8) - x(6)) + x(13)) - ((x(11) + (x(1) - x(5))) - ((x(16) - x(2)) + (x(15) - x(13)))))))) && !(IF(!((!(IF((x(13) > x(5)), x(3), x(13)) > (x(0) - x(12))) || IF(IF((x(4) == x(18)), (x(5) == x(15)), (x(4) < x(5))), ((x(8) < x(10)) && (((x(16) < x(17)) || (x(3) < x(11))) && !((x(16) < x(17)) && (x(3) < x(11))))), ((x(8) - x(3)) == x(17)))) && !(!(IF((x(13) > x(5)), x(3), x(13)) > (x(0) - x(12))) && IF(IF((x(4) == x(18)), (x(5) == x(15)), (x(4) < x(5))), ((x(8) < x(10)) && (((x(16) < x(17)) || (x(3) < x(11))) && !((x(16) < x(17)) && (x(3) < x(11))))), ((x(8) - x(3)) == x(17))))), (x(3) == x(4)), (x(10) < x(5))) && ((((x(10) == x(3)) && IF(((((x(16) < x(0)) && (x(4) < x(13))) || !(x(16) > x(3))) && !(((x(16) < x(0)) && (x(4) < x(13))) && !(x(16) > x(3)))), (IF((x(10) < x(18)), (x(18) < x(0)), (x(6) < x(11))) || (x(5) > x(8))), (IF((x(6) > x(17)), x(6), x(12)) > x(9)))) || IF(((x(12) > (x(13) + x(0))) || (((x(11) > x(2)) || (x(17) < x(11))) || IF((x(14) > x(13)), (x(0) < x(4)), (x(10) > x(18))))), ((IF((x(13) < x(6)), x(17), x(13)) == x(7)) || (x(14) > x(15))), IF(((((x(1) > x(11)) || (x(15) < x(16))) || IF((x(2) < x(8)), (x(16) > x(5)), (x(10) > x(8)))) && !(((x(1) > x(11)) || (x(15) < x(16))) && IF((x(2) < x(8)), (x(16) > x(5)), (x(10) > x(8))))), !(x(2) == x(6)), ((((x(7) > x(2)) && (x(7) > x(14))) || (x(7) == x(7))) && !(((x(7) > x(2)) && (x(7) > x(14))) && (x(7) == x(7))))))) && (((IF(!(x(11) > x(2)), x(3), x(12)) - (x(2) - x(12))) - x(17)) > (((x(8) - x(6)) + x(13)) - ((x(11) + (x(1) - x(5))) - ((x(16) - x(2)) + (x(15) - x(13))))))))) && IF(IF(((IF(((x(14) - x(9)) < (x(17) + x(12))), ((x(17) - x(13)) - x(3)), x(15)) > IF(((IF((x(9) > x(13)), (x(10) < x(9)), (x(2) < x(17))) || (((x(4) < x(10)) || (x(3) > x(17))) && !((x(4) < x(10)) && (x(3) > x(17))))) && !(IF((x(9) > x(13)), (x(10) < x(9)), (x(2) < x(17))) && (((x(4) < x(10)) || (x(3) > x(17))) && !((x(4) < x(10)) && (x(3) > x(17)))))), IF(!(x(18) < x(17)), x(16), x(5)), (x(14) + x(2)))) && IF(((IF((x(0) < x(16)), ((x(2) < x(0)) && (x(8) > x(11))), (x(11) < x(16))) || (!(x(1) > x(7)) || ((x(11) < x(18)) || (x(16) > x(15))))) && !(IF((x(0) < x(16)), ((x(2) < x(0)) && (x(8) > x(11))), (x(11) < x(16))) && (!(x(1) > x(7)) || ((x(11) < x(18)) || (x(16) > x(15)))))), (IF(((x(9) > x(16)) || (x(8) < x(17))), (x(14) + x(16)), x(4)) > x(8)), (((x(18) == (x(2) + x(6))) || (x(0) > x(3))) && !((x(18) == (x(2) + x(6))) && (x(0) > x(3)))))), ((x(2) - x(15)) == (x(0) - IF((((x(10) < x(0)) || (x(12) > x(1))) && (x(1) < x(6))), ((x(3) - x(7)) + x(2)), IF((x(0) > x(8)), x(6), x(14))))), ((((x(18) + IF((x(18) == x(14)), IF((x(1) < x(17)), x(3), x(14)), x(3))) > IF(((!(x(14) < x(2)) || (x(18) == x(11))) && !(!(x(14) < x(2)) && (x(18) == x(11)))), x(14), ((x(13) + x(12)) + x(0)))) || (IF((IF((x(6) > x(8)), x(17), x(17)) < x(13)), x(9), x(7)) > (x(10) - (x(7) - x(3))))) && !(((x(18) + IF((x(18) == x(14)), IF((x(1) < x(17)), x(3), x(14)), x(3))) > IF(((!(x(14) < x(2)) || (x(18) == x(11))) && !(!(x(14) < x(2)) && (x(18) == x(11)))), x(14), ((x(13) + x(12)) + x(0)))) && (IF((IF((x(6) > x(8)), x(17), x(17)) < x(13)), x(9), x(7)) > (x(10) - (x(7) - x(3))))))), (!((((x(8) == x(12)) || (((x(0) > x(9)) && (x(11) > x(11))) || ((x(17) < x(16)) || (x(10) > x(14))))) && !((x(8) == x(12)) && (((x(0) > x(9)) && (x(11) > x(11))) || ((x(17) < x(16)) || (x(10) > x(14)))))) || (((x(13) < x(17)) || IF((x(3) < x(17)), IF((x(0) > x(1)), (x(13) > x(9)), (x(12) < x(8))), !(x(12) < x(15)))) && !((x(13) < x(17)) && IF((x(3) < x(17)), IF((x(0) > x(1)), (x(13) > x(9)), (x(12) < x(8))), !(x(12) < x(15)))))) || ((IF((x(8) > x(1)), IF(((x(6) - x(9)) > (x(6) + x(18))), !((x(12) > x(18)) || (x(5) > x(0))), ((((x(17) > x(1)) || (x(5) < x(11))) && !((x(17) > x(1)) && (x(5) < x(11)))) && ((x(0) < x(8)) && (x(16) > x(1))))), (x(12) < x(7))) || (!((((x(8) > x(6)) || (x(11) > x(11))) && !((x(8) > x(6)) && (x(11) > x(11)))) || (x(8) > x(5))) && !(x(13) == x(8)))) && !(IF((x(8) > x(1)), IF(((x(6) - x(9)) > (x(6) + x(18))), !((x(12) > x(18)) || (x(5) > x(0))), ((((x(17) > x(1)) || (x(5) < x(11))) && !((x(17) > x(1)) && (x(5) < x(11)))) && ((x(0) < x(8)) && (x(16) > x(1))))), (x(12) < x(7))) && (!((((x(8) > x(6)) || (x(11) > x(11))) && !((x(8) > x(6)) && (x(11) > x(11)))) || (x(8) > x(5))) && !(x(13) == x(8)))))), IF(IF(IF(((((x(0) > x(10)) || IF((x(13) < x(17)), (x(2) < x(0)), (x(5) < x(14)))) || (!(x(13) > x(5)) || IF((x(4) > x(17)), (x(17) > x(8)), (x(15) > x(7))))) && !(((x(0) > x(10)) || IF((x(13) < x(17)), (x(2) < x(0)), (x(5) < x(14)))) && (!(x(13) > x(5)) || IF((x(4) > x(17)), (x(17) > x(8)), (x(15) > x(7)))))), (((x(2) - x(1)) - (x(16) - x(16))) < x(10)), ((((x(7) - x(12)) < x(3)) || (x(9) == IF((x(0) > x(7)), x(14), x(13)))) && !(((x(7) - x(12)) < x(3)) && (x(9) == IF((x(0) > x(7)), x(14), x(13)))))), (x(11) > x(1)), !((((!(x(5) > x(9)) || !(x(15) < x(12))) && !(!(x(5) > x(9)) && !(x(15) < x(12)))) || (((x(11) < x(18)) || ((x(3) > x(6)) || (x(2) < x(2)))) && !((x(11) < x(18)) && ((x(3) > x(6)) || (x(2) < x(2)))))) && !(((!(x(5) > x(9)) || !(x(15) < x(12))) && !(!(x(5) > x(9)) && !(x(15) < x(12)))) && (((x(11) < x(18)) || ((x(3) > x(6)) || (x(2) < x(2)))) && !((x(11) < x(18)) && ((x(3) > x(6)) || (x(2) < x(2)))))))), !(((!!(x(5) > x(4)) && (x(7) == x(13))) || ((((x(13) + x(3)) < x(17)) || (((x(1) < x(10)) && (x(11) > x(14))) || !(x(6) > x(12)))) && !(((x(13) + x(3)) < x(17)) && (((x(1) < x(10)) && (x(11) > x(14))) || !(x(6) > x(12)))))) && !((!!(x(5) > x(4)) && (x(7) == x(13))) && ((((x(13) + x(3)) < x(17)) || (((x(1) < x(10)) && (x(11) > x(14))) || !(x(6) > x(12)))) && !(((x(13) + x(3)) < x(17)) && (((x(1) < x(10)) && (x(11) > x(14))) || !(x(6) > x(12))))))), (((x(10) == x(12)) || (x(12) > x(12))) && !((x(10) == x(12)) && (x(12) > x(12)))))))