Proofgold Signed Transaction

vin
PrR6y../986e5.. PUXwB../71bdb..

vout

PrR6y../6f945.. 1.00 bars
TMN4s../4e2df.. ownership of 69aae.. as obj with payaddr PrJJf.. rights free controlledby PrJJf.. upto 0
TMQ1r../9d17f.. ownership of 59c58.. as obj with payaddr PrJJf.. rights free controlledby PrJJf.. upto 0
PUUXB../a3fee.. doc published by PrJJf..

Definition 69aae..^exp_nat := λ x0 . nat_primrec 1 (λ x1 . mul_nat x0)
Conjecture d0b0a.. : ∀ x0 x1 x2 x3 . nat_p x0 ⟶ In 2 x0 ⟶ nat_p x1 ⟶ not (x1 = 0) ⟶ nat_p x2 ⟶ not (x2 = 0) ⟶ nat_p x3 ⟶ not (x3 = 0) ⟶ not (add_nat (69aae.. x1 x0) (69aae.. x2 x0) = 69aae.. x3 x0)