Problem: guess harder

Code: guess+harder/tails_1727830100

Nibbles version: 0.2 | 0.21 | 0.22 | 0.23 | 0.24 | 0.25 | 1.00

Format: Compact | Simple | +Type | Table | JSON | .nbl (DeBruijn) | .nbl (names)

% (modulus) 
    % (modulus) 
        ^ (pow) 
            ; (save) -->let( A ) 
                ^ (pow) 
                    $ (= fstInt) 
                    $ (= fstInt) 
            7012 (integer) 
        - (subtract) 
            * (multiply) 
                ^ (pow) 
                    $ (= A) 
                    42 (integer) 
                - (subtract) 
                    $ (= A) 
                    ~ (auto = 1) 
            ~ (auto = 1) 
    (implicit arg = A)