Problem: Multiply long version
Code: Multiply+long+version/tails_1642044112
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)
`* (product) _ (= ints)