Problem: A006530

Code: A006530/tails_1644995382

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)

(implicit map with implicit range) 
    $ (= fstInt) 
    / (foldr1) <--arg( B A ) 
        | (filter) 
            \ (reverse) 
                , (range from 1) 
                    $ (= B) 
            - (subtract) <--arg( C ) 
                - (subtract) 
                    3 (integer) 
                    , (length) 
                        | (filter) 
                            , (range from 1) 
                                $ (= C) 
                            ~ (not) 
                            % (modulus) <--arg( D ) 
                                @ (= C) 
                                $ (= D) 
                % (modulus) 
                    @ (= B) 
                    (implicit arg = C) 
        (implicit arg = F) <--arg( F E )