begin
   comment 'LIBRARY' 1;
   boolean B;
   real X;
   integer array A[ + 1 : ·6⏨2];
   integer I, N;
   B ≔ false;
   N ≔ ⏨+2 × ·6;
   X ≔ 0;
   comment   ;
   begin
      comment   ;
      own real array C0[0 : 1];
      procedure P(A, B, C);
         value A;
         integer A;
           string B;
           boolean array C;
      begin
         begin
            C[(1)] ≔ true ∨ ·8 > C0[if true then 0 else
              1];
            C[ - ( - 2)] ≔ false ∧ ·4 ⩾ X + 500⏨-2;
            C[·3⏨1] ≔ ·3 ≠ (0) ∧ (if ⏨1 ≠ ⏨4 then true
            else false);
            if false then
              P(A, “STRING”, C)
            else
         end;
         ;
         for I ≔ 1 step 1 until 3 do
            begin
               if ·3 ⩽ 6 ÷ 2 then
                 goto OUT;
               OUT :
            end
      end;
      real procedure A0L;
         A0L ≔            if X < X then⏨4
         else·6;
      integer procedure II;
         II ≔ + 1 × (3 ÷ (4)) - ⏨2 + A0L;
      begin
         boolean array C[II + II ÷ II / II : 1·0⭡II + 3];
         C0[0] ≔            if B ∧ (1) = (2) then
           0
         else
           0;
         P( + 1)L : ( “” )M : (C);
         I ≔ - N - I × N ÷ N⭡1;
         goto
           if 1 - ·9 = II / 6 ∧ II ⩽ A0L then
           L
         else
           L1;
         L :
         L1 :
         for I ≔ I step N until II do
           ;
         if + ·3 + ⏨2 = + (·3) then
           B ≔ ¬ B ≡ false
         else
           B ≔ ⏨1 > 3 ≡ true;
         for I ≔ ((1)) step + (1) until + 60 do
            begin
               A[⏨1 - 9] ≔ 1 / ·1 - 0·1;
               A[I] ≔                  if (true) ∨ A[1]- 1 ≠ A[⏨1 - 9]× 1 impl
                 false then
                 + 1
               else
                 - 1
            end;
         for I ≔ 1,
           - 9 + A[1]step - 9 + A[1]until ·6⏨1 do
              N ≔               if + A[1]+ 0 = A[1]then
              0
            else⏨1 - 9 + N;
         if + N ≠ + 1 ≡ N = - N ∨ 0 < + N ∧ 0 + N ⩾ 0
           then
         else
           goto L2;
         B ≔ B impl N > + 0 ≡ 0 < - A[1]/ ⏨1 ∨ true;
         L2 :
         goto (L3);
         L3 :
         B ≔ true ∧ false ∨ false impl true ≡ + 0 ≠
           - 1;
         N ≔ 1⭡N × 1 + (⏨1) × ⏨-2⭡(1) / (2) + N;
         B ≔ true ≡ - (0) ÷ 1 > - A[1]∨ ¬ true ≡¬ true;
         B ≔ ¬ false ≡ ·1 = 1 impl true impl 0 ≠ 1;
         for I ≔ 1 while true do
              goto EXIT;
         EXIT :
         for I ≔ I while false do
              if - 0 ⩾ + 6 then
              for N ≔ 1 while 0 ⩾ - 1 ∨ + N ⩽ + (1) do
                 for N ≔ 1 do
           ;
         B ≔ 0 < ⏨1 impl + 1 ⩽ ·1 ∨ - 3 ⩽ - 6 ∧ true∧ + 1 ⩽ ⏨1;
         B ≔ B impl - (1) < (2) ≡ ⏨1 = ·1 ∧ - (1) ⩽ 0;
         if C[1]impl ¬ + 1 = ⏨1 then
           ;
         X ≔ A[1]⭡·5⭡⏨1 + (if ¬ N ⩾ ·1 ∨ (if true then
           false else true) then - 1 else + 2);
         begin
            integer procedure A0(B, C);
               boolean B, C;
               A0 ≔                  if B impl ¬ C then
                 (1)⭡2
               else if C ∧ ¬ B then
                 (1)
               else
                 (2);
            X ≔ X + A0(true, false) + A0(false, true impl ·4< ·6);
            N ≔ X × A0( ¬ 0 = ⏨1, 1 ⩾ ⏨2) - A0( ¬ - 1 >·1, ¬ ·1 ⩽ (1))
         end;
         begin
            goto L4;
            L4 :
            begin
               for I ≔ I step if 1 < 2 then 1 else 2 until
                 - 10 do
            end;
            if
              if B then·1 > ⏨1
            else¬ ⏨1 ≠ ·6 then
            begin
               X ≔ X + 100
            end
            else
              for I ≔ 1 step ·3⏨1 until if ¬ (false)
              then 1 else A[1]do
                 B ≔ true
         end;
         B ≔ false
      end;
      begin
         real Y;
         array D[C0[0]: + A[1]÷ 1 + 1 + C0[0]];
         boolean procedure B1;
         begin
            own boolean X;
            X ≔               if D[0]< 0 then¬ D[0]⩽ (0) impl (D[0]⩾ (1))
            else
              B;
            B ≔ X ∧ ⏨1 + D[0]> (1) ≡ (D[0]≠ 0);
            B1 ≔ B ∨ ⏨1 + D[0]= D[0]≡ (1) > D[0]
         end;
         switch S ≔ L10, L11;
         D[0] ≔ 0;
         B ≔ B1 impl ⏨1 + (1) ≠ D[0]∧ B;
         L10 :;
         L11 :;
      end;
      begin
         switch SS ≔ LA, LB;
         own integer P;
         procedure Q(L);
            label L;
         begin
            array R[(0) : - ( - 1)], S[1 : ⏨1];
            for I ≔ 0,
              + 1,·3,⏨1,
              (2),
              if B then 0 else 1 do
               begin
               end;
            for I ≔ 1 while I + (0) ⩾ 9,
              I + 1 while + I < 10 do
                 S[I] ≔ 0;
            for I ≔ 1 + S[2]while - I > 0,
              I + (1) while ¬ I ⩾ 10 do
                 if B then
         end;
         Q(LA);
         LA :;
         LB :;
      end;
      begin
         procedure P;
         begin
            ;
            for I ≔ 1 while if 1 < 2 then 0 = A[1]else (A[1]) > 0
              do
         end;
         array D[1 : if 1 < 2 then 2 else 1];
         for I ≔ 1 while ·1 < - 3,
           I + 1 while (I) < 3 do
              D[I] ≔ I;
         for I ≔ D[2],
           1 step (1) until (1) do
              if 1 < 2 then
              L :
            else
            begin
            end;
         P;
         for I ≔ 1 step ⏨1 - 9 until ⏨1 - 9,
           1 while ⏨1 > 11 do
              X ≔ X + N
      end;
      OUTREAL(99, X + N);
   end
end