(define-trait z ((ss ((buff 400)) (response (list 20 (response uint uint)) uint))))(define-public (r (b (buff 400)) (t <z>)) (if (> (len b) u0) (contract-call? t ss b) (ok (list))))(define-public (r0 (b (buff 400)) (t <z>)) (r b t))(define-public (r1 (b (buff 400)) (t <z>)) (r b t))(define-public (r2 (b (buff 400)) (t <z>)) (r b t))(define-public (r3 (b (buff 400)) (t <z>)) (r b t))(define-public (r4 (b (buff 400)) (t <z>)) (r b t))(define-public (r5 (b (buff 400)) (t <z>)) (r b t))(define-public (r6 (b (buff 400)) (t <z>)) (r b t))(define-public (r7 (b (buff 400)) (t <z>)) (r b t))(define-public (r8 (b (buff 400)) (t <z>)) (r b t))(define-public (r9 (b (buff 400)) (t <z>)) (r b t))(define-public (ra (b (buff 400)) (t <z>)) (r b t))(define-public (rb (b (buff 400)) (t <z>)) (r b t))(define-public (rc (b (buff 400)) (t <z>)) (r b t))(define-public (rd (b (buff 400)) (t <z>)) (r b t))(define-public (re (b (buff 400)) (t <z>)) (r b t))(define-public (rf (b (buff 400)) (t <z>)) (r b t))(define-public (rg (b (buff 400)) (t <z>)) (r b t))(define-public (rh (b (buff 400)) (t <z>)) (r b t))(define-public (ri (b (buff 400)) (t <z>)) (r b t))(define-public (rj (b (buff 400)) (t <z>)) (r b t))(define-public (rk (b (buff 400)) (t <z>)) (r b t))(define-public (rl (b (buff 400)) (t <z>)) (r b t))(define-public (rm (b (buff 400)) (t <z>)) (r b t))(define-public (rn (b (buff 400)) (t <z>)) (r b t))(define-public (ro (b (buff 400)) (t <z>)) (r b t))(define-public (rp (b (buff 400)) (t <z>)) (r b t))(define-public (rq (b (buff 400)) (t <z>)) (r b t))(define-public (rr (b (buff 400)) (t <z>)) (r b t))(define-public (rs (b (buff 400)) (t <z>)) (r b t))(define-public (rt (b (buff 400)) (t <z>)) (r b t))(define-public (ru (b (buff 400)) (t <z>)) (r b t))(define-public (rv (b (buff 400)) (t <z>)) (r b t))(define-public (rw (b (buff 400)) (t <z>)) (r b t))(define-public (rx (b (buff 400)) (t <z>)) (r b t))(define-public (ry (b (buff 400)) (t <z>)) (r b t))(define-public (rz (b (buff 400)) (t <z>)) (r b t))