(define-read-only (lookup (address principal) (uid uint))
(let (
(listed (list
(list address)
(list address address)
(list address address address)
(list address address address address)
(list address address address address address)
(list address address address address address address)
(list address address address address address address address)
(list address address address address address address address address)
(list address address address address address address address address address)
(list address address address address address address address address address address)
(list address address address address address address address address address address address)
(list address address address address address address address address address address address address)
(list address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
(list address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address address)
))
)
(unwrap-panic (element-at listed uid))
)
)