First solution in Speedy category for Univocalic davasaan by _Chico_
davasaan=d=lambda n:[n>9,(a:=n>>4)and a+d(n-(a<<3)-(a<<1))][a>0]
May 18, 2021