Idris-dig

0   6   0   0   1 / 0

Idris-dig: follows