Problem: Average Height Rounded Up

Code: Average+Height+Rounded+Up/tails_1655695913

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)

. `D 16 
  : `( `p + 50 
            $ 
    : "\'" 
      $ 
c6795a4960