Proofgold Signed Transaction

vin
Pr9ob../8ec96.. PUPnu../d23ac..

vout
Pr9ob../0a57d.. 1,503.69 bars PUbjp../94779.. signature published by PrCmT.. Def 37da8..^and : ο → ο → ο := λ x0 x1 : ο . ∀ x2 : ο . (x0 ⟶ x1 ⟶ x2) ⟶ x2 Known 3bf19..^andI : ∀ x0 x1 : ο . x0 ⟶ x1 ⟶ and x0 x1