Search for blocks/addresses/...
Proofgold Asset
asset id
d30f99b4db79064e0cd6609c5c4f574539bf69a0399b72f1b57515f24b7de4be
asset hash
49de31e44c78c78adb24e73009951b631575fbf8140e1281febcf1c828056aec
bday / block
39140
tx
5a516..
preasset
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
(