'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' 'OR' .8 > C0(/'IF' 'TRUE' 'THEN' 0 'ELSE'
                    1/);
                C(/ - ( - 2)/):= 'FALSE' 'AND' .4 >= X + 500&-2;
                C(/.3&1/):= .3 # (0) 'AND' ('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 'DIV' 2 'THEN'
                    'GOTO' OUT;
              OUT :
                'END'
            'END';
        'REAL' 'PROCEDURE' A0L;
            A0L :=
                'IF' X < X 'THEN'
                    &4
                'ELSE'
                    .6;
        'INTEGER' 'PROCEDURE' II;
            II := + 1 * (3 'DIV' (4)) - &2 + A0L;
        'BEGIN'
            'BOOLEAN' 'ARRAY' C(/II + II 'DIV' II / II : 1^II + 3/);
            C0(/0/):=
                'IF' B 'AND' (1) = (2) 'THEN'
                    0
                'ELSE'
                    0;
            P( + 1)L : ( <> )M : (C);
            I := - N - I * N 'DIV' N^1;
            'GOTO'
                'IF' 1 - .9 = II / 6 'AND' II <= A0L 'THEN'
                    L
                'ELSE'
                    L1;
          L :
          L1 :
            'FOR' I := I 'STEP' N 'UNTIL' II 'DO'
               ;
            'IF' + .3 + &2 = + (.3) 'THEN'
                B := 'NOT' B 'EQUIV' 'FALSE'
            'ELSE'
                B := &1 > 3 'EQUIV' 'TRUE';
            'FOR' I := ((1)) 'STEP' + (1) 'UNTIL' + 60 'DO'
                'BEGIN'
                A(/&1 - 9/):= 1 / .1 - 0.1;
                A(/I/):=
                    'IF' ('TRUE') 'OR' 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 'EQUIV' N = - N 'OR' 0 < + N 'AND' 0 + N >= 0
                'THEN'
            'ELSE'
                'GOTO' L2;
            B := B 'IMPL' N > + 0 'EQUIV' 0 < - A(/1/)/ &1 'OR' 'TRUE';
          L2 :
            'GOTO' (L3);
          L3 :
            B := 'TRUE' 'AND' 'FALSE' 'OR' 'FALSE' 'IMPL' 'TRUE' 'EQUIV' + 0 #
                - 1;
            N := 1^N * 1 + (&1) * &-2^(1) / (2) + N;
           B := 'TRUE' 'EQUIV' - (0) 'DIV' 1 > - A(/1/)'OR' 'NOT' 'TRUE' 'EQUIV'
                'NOT' 'TRUE';
            B := 'NOT' 'FALSE' 'EQUIV' .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 'OR' + N <= + (1) 'DO'
                        'FOR' N := 1 'DO'
                           ;
            B := 0 < &1 'IMPL' + 1 <= .1 'OR' - 3 <= - 6 'AND' 'TRUE'
                'AND' + 1 <= &1;
            B := B 'IMPL' - (1) < (2) 'EQUIV' &1 = .1 'AND' - (1) <= 0;
            'IF' C(/1/)'IMPL' 'NOT' + 1 = &1 'THEN'
               ;
            X := A(/1/)^.5^&1 + ('IF' 'NOT' N >= .1 'OR' ('IF' 'TRUE' 'THEN'
                'FALSE' 'ELSE' 'TRUE') 'THEN' - 1 'ELSE' + 2);
            'BEGIN'
                'INTEGER' 'PROCEDURE' A0(B, C);
                    'BOOLEAN' B, C;
                    A0 :=
                        'IF' B 'IMPL' 'NOT' C 'THEN'
                            (1)^2
                        'ELSE' 'IF' C 'AND' 'NOT' B 'THEN'
                            (1)
                        'ELSE'
                            (2);
                X := X + A0('TRUE', 'FALSE') + A0('FALSE', 'TRUE' 'IMPL' .4
                    < .6);
                N := X * A0( 'NOT' 0 = &1, 1 >= &2) - A0( 'NOT' - 1 >
                    .1, 'NOT' .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'
                        'NOT' &1 # .6 'THEN'
                    'BEGIN'
                    X := X + 100
                    'END'
                'ELSE'
                    'FOR' I := 1 'STEP' .3&1 'UNTIL' 'IF' 'NOT' ('FALSE')
                            'THEN' 1 'ELSE' A(/1/)'DO'
                        B := 'TRUE'
            'END';
            B := 'FALSE'
        'END';
        'BEGIN'
            'REAL' Y;
            'ARRAY' D(/C0(/0/): + A(/1/)'DIV' 1 + 1 + C0(/0/)/);
            'BOOLEAN' 'PROCEDURE' B1;
                'BEGIN'
                'OWN' 'BOOLEAN' X;
                X :=
                    'IF' D(/0/)< 0 'THEN'
                        'NOT' D(/0/)<= (0) 'IMPL' (D(/0/)>= (1))
                    'ELSE'
                        B;
                B := X 'AND' &1 + D(/0/)> (1) 'EQUIV' (D(/0/)# 0);
                B1 := B 'OR' &1 + D(/0/)= D(/0/)'EQUIV' (1) > D(/0/)
                'END';
            'SWITCH' S := L10, L11;
            D(/0/):= 0;
            B := B1 'IMPL' &1 + (1) # D(/0/)'AND' 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' 'NOT' 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'