Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrDV8../95740..
PUUXF../4a5b4..
vout
PrDV8../85469.. 0.07 bars
TMay9../9cde7.. ownership of a5931.. as obj with payaddr PrAou.. rightscost 0.00 controlledby PrCmT.. upto 0
TMLSk../932bc.. ownership of d8421.. as obj with payaddr PrCmT.. rights free controlledby PrCmT.. upto 0
PUS6Z../d30f9.. doc published by PrCmT..
Definition a5931.. := λ x0 x1 : (ι → ι) → ι → ι . λ x2 : ι → ι . x0 (x1 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x1 (x0 (x1 (x1 (x1 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x1 (x1 (x1 (x1 (x1 (x0 (x0 (x0 (x1 (x1 (x1 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x1 (x0 (x1 (x1 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x1 (x0 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x1 (x1 (x0 (x1 (x0 (x1 (x0 (x1 (x0 (x1 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x1 (x0 (x1 (x1 (x1 (x1 (x1 (x0 (x0 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x1 (x0 (x1 (x0 (x0 (x0 (x1 (x0 (x0 (x0 (x0 (x0 (x1 (x0 (x0 (x1 (x1 (x1 (x0 (x0 (x1 (x0 x2)))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))))