(I(B true)(I(B true)(I(B true)(I(B true)(I(B true)(-(Y(N 0))(/(R -0.8211107411623737)(R 0.05995407653928009)))(-(/(+(R 1.0290979801941913)(V(N 0)))(R 0.05995407653928009))(Y(N 0))))(-(/(+(R 1.0290979801941913)(V(N 0)))(R 0.05995407653928009))(Y(N 0))))(-(U(N 0))(-(I(B true)(-(Y(N 0))(/(R -0.8211107411623737)(R 0.05995407653928009)))(-(Y(N 2))(Y(N 0))))(+(-(+(I(B false)(X(N 0))(*(-(Y(N 0))(R -1.098080079530789))(R -1.9648249338619213)))(I(B false)(-(X(N 0))(X(N 0)))(I(B true)(I(B false)(X(N 0))(U(N 0)))(R 1.8214305804583564))))(I(<(Y(N 0))(Y(N 0)))(Y(N 0))(+(R 1.313655490394619)(/(+(R -1.1120067570012884)(U(N 0)))(U(N 0))))))(I(<(R -0.8178028406309608)(R 0.5245110026633069))(Y(N 1))(Y(N 1)))))))(R 0.05995407653928009))(R 0.05995407653928009))

(I(<(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(U(N 2))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(V(N 1)))(-(-(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(Y(N 1)))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(U(N 0))))(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(Y(N 1)))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(V(N 1)))(I(<(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(U(N 2))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(Y(N 1)))(-(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(Y(N 1)))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(U(N 0))))(-(I(B false)(-(R -1.385125968295811)(Y(N 1)))(X(N 1)))(X(N 1))))(I(>(-(Y(N 1))(V(N 2)))(R 0.6218142004948128))(I(>(U(N 0))(X(N 1)))(I(<(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(U(N 2))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2))))(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(U(N 2))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(V(N 2)))))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 1)))(+(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(*(I(<(Y(N 0))(Y(N 2)))(-(-(R -1.9866398126012417)(R 1.4816946739647725))(*(Y(N 0))(U(N 0))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))(U(N 1))))(*(X(N 1))(U(N 2))))(I(B true)(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(I(>(U(N 0))(X(N 1)))(Y(N 2))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(X(N 1))))))))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(+(I(>(U(N 0))(X(N 1)))(*(X(N 1))(U(N 2)))(I(B true)(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(+(I(>(X(N 1))(I(B true)(R -0.5474904874857507)(-(X(N 1))(*(U(N 1))(V(N 1))))))(I(>(-(Y(N 1))(U(N 1)))(I(B true)(+(Y(N 2))(-(R -0.01644369463951323)(Y(N 1))))(X(N 1))))(R 1.327835551429538)(I(<(I(B true)(R -1.3836848828577786)(Y(N 1)))(R 0.5162299350456219))(I(B false)(U(N 1))(-(X(N 2))(Y(N 1))))(Y(N 1))))(X(N 2)))(I(<(+(V(N 1))(R -0.12256624759629275))(+(R -0.2881275910708041)(-(Y(N 1))(X(N 0)))))(V(N 1))(X(N 1))))))(R 0.5721255277267225)))))

(I(B true)(+(-(X(N 2))(R 1.0321876491664614))(+(X(N 2))(/(I(B true)(-(X(N 1))(U(N 2)))(R -1.9549694025923547))(+(R -0.9813260148926916)(Y(N 1))))))(V(N 2)))

====================
Created: Mon May 14 02:43:52 EDT 2001
Generation:  1520
Pop size:    50
Max gen:     10000
Mutate prob: 0.9
Cross prob:  0.9

