law ED

lawful-fields@0.1.1.0 · proof_num.bend:53

import Base

53law ED:
54  {U32.div(U32.not(0), 10) == 429496729 : U32}