def FT

import lawful-fields@0.1.1.0/proof_num.bend as ProofNum

import Base

261def FT(+acc: U32, +x: U32) -> Bool:
262  U32.is_lt(acc, 429496729) || (U32.is_eq(acc, 429496729) && U32.is_le((x - 48 : U32), 5))

Uses (8)