'BEGIN'
    'COMMENT' 'LIBRARY' 1;
    'INTEGER'
        I,
        J,
        K;
    'BOOLEAN'
        P,
        T;
    'PROCEDURE' FAIL;
        'BEGIN'
        OUTREAL(99, I);
        OUTREAL(99, J)
        'END';
    T := 'TRUE';
    'FOR' I := - 1,
        0,
        1 'DO'
        'FOR' J := - 1,
            0,
            1 'DO'
            'BEGIN'
            K := 3 * (I + 1) + J + 2;
            'IF' K 'DIV' 2 * 2 = K 'EQUIV' T 'THEN'
                FAIL;
            T := 'NOT' T;
            'IF' (I + J > 1 'AND' J # 1) 'OR' (I + J < - 1
                'AND' I # - 1) 'THEN'
                FAIL;
            'IF' 'NOT' (K >= 7 'AND' I # 1 'IMPL' K < 0) 'THEN'
                FAIL;
            P := I = J;
            'IF' P 'AND' I * J < 0 'THEN'
                FAIL
            'END';
    OUTREAL(99, 0)
'END'