Proofgold Signed Transaction

vin
PrP4d../733f5.. PULgu../d886a..

vout

PrP4d../894c8.. 0.08 bars
TMYLV../20167.. ownership of b92a8.. as prop with payaddr PrCmT.. rightscost 0.00 controlledby PrCmT.. upto 0
TMVcK../e8f72.. ownership of 93825.. as prop with payaddr PrCmT.. rightscost 0.00 controlledby PrCmT.. upto 0
TMXE9../ed00a.. ownership of 1596d.. as obj with payaddr PrCmT.. rightscost 0.00 controlledby PrCmT.. upto 0
PUVjB../56bcd.. doc published by PrCmT..

Definition 1596d.. := ∀ x0 : ο . x0
Known ax_luk2 : ∀ x0 : ο . (wn x0 ⟶ x0) ⟶ x0
Known ax_luk3 : ∀ x0 x1 : ο . x0 ⟶ wn x0 ⟶ x1
Known ax_9d1 : wn (∀ x0 . wn (wceq (cv x0) (cv x0)))
Theorem b92a8.. : ∀ x0 : ο . (∀ x1 . x0) ⟶ x0 (proof)