Search for blocks/addresses/...

Proofgold Signed Transaction

vin
PrCit../43abe..
PUM4q../edc5b..
vout
PrCit../6dc47.. 5.84 bars
TMY2U../fb65e.. negprop ownership controlledby Pr4zB.. upto 0
TMS7E../75c3f.. negprop ownership controlledby Pr4zB.. upto 0
TMZWb../87a76.. negprop ownership controlledby Pr4zB.. upto 0
TMbbY../1c99b.. negprop ownership controlledby Pr4zB.. upto 0
TMW4M../678af.. negprop ownership controlledby Pr4zB.. upto 0
TMa7J../6aad6.. negprop ownership controlledby Pr4zB.. upto 0
TMGYD../1de7f.. negprop ownership controlledby Pr4zB.. upto 0
TMM1H../bd4ad.. negprop ownership controlledby Pr4zB.. upto 0
TMF3C../6d13a.. negprop ownership controlledby Pr4zB.. upto 0
TMdGC../82c51.. negprop ownership controlledby Pr4zB.. upto 0
TMYRW../d606d.. negprop ownership controlledby Pr4zB.. upto 0
TMZsS../22401.. negprop ownership controlledby Pr4zB.. upto 0
TMLL1../81f15.. negprop ownership controlledby Pr4zB.. upto 0
TMHvG../a077e.. negprop ownership controlledby Pr4zB.. upto 0
TMTZT../7bf19.. negprop ownership controlledby Pr4zB.. upto 0
TMLsW../f3414.. negprop ownership controlledby Pr4zB.. upto 0
TMaKd../a765d.. negprop ownership controlledby Pr4zB.. upto 0
TMTyd../579a1.. negprop ownership controlledby Pr4zB.. upto 0
TMZt3../b102e.. negprop ownership controlledby Pr4zB.. upto 0
TMQXR../0a57b.. negprop ownership controlledby Pr4zB.. upto 0
TMFEL../0be06.. negprop ownership controlledby Pr4zB.. upto 0
TMHZD../160b0.. negprop ownership controlledby Pr4zB.. upto 0
TMaQF../89d51.. negprop ownership controlledby Pr4zB.. upto 0
TMUY4../6e56c.. negprop ownership controlledby Pr4zB.. upto 0
TMb12../5f97d.. negprop ownership controlledby Pr4zB.. upto 0
TMLpL../25a58.. negprop ownership controlledby Pr4zB.. upto 0
TMGC4../9ae45.. negprop ownership controlledby Pr4zB.. upto 0
TMX8C../4a4be.. negprop ownership controlledby Pr4zB.. upto 0
TMTyV../77589.. negprop ownership controlledby Pr4zB.. upto 0
TMHED../646a7.. negprop ownership controlledby Pr4zB.. upto 0
TMTZ3../59cba.. negprop ownership controlledby Pr4zB.. upto 0
TMWyU../1dd2e.. negprop ownership controlledby Pr4zB.. upto 0
TMGNy../d7dcf.. negprop ownership controlledby Pr4zB.. upto 0
TMU2K../21f2c.. negprop ownership controlledby Pr4zB.. upto 0
TMG6n../a0223.. negprop ownership controlledby Pr4zB.. upto 0
TMTQR../3e9dc.. negprop ownership controlledby Pr4zB.. upto 0
TMRQH../29a11.. negprop ownership controlledby Pr4zB.. upto 0
TMQdB../ba769.. negprop ownership controlledby Pr4zB.. upto 0
TMUiX../f44d7.. negprop ownership controlledby Pr4zB.. upto 0
TMQgx../3328c.. negprop ownership controlledby Pr4zB.. upto 0
TMGoW../4f4a0.. negprop ownership controlledby Pr4zB.. upto 0
TMa5d../81f84.. negprop ownership controlledby Pr4zB.. upto 0
TMbrr../70aa3.. negprop ownership controlledby Pr4zB.. upto 0
TMHgL../975da.. negprop ownership controlledby Pr4zB.. upto 0
TMW3q../9553e.. negprop ownership controlledby Pr4zB.. upto 0
TMHDR../6df3f.. negprop ownership controlledby Pr4zB.. upto 0
TMbn4../44d5e.. negprop ownership controlledby Pr4zB.. upto 0
TMdpe../5d940.. negprop ownership controlledby Pr4zB.. upto 0
TMGeW../fa08b.. negprop ownership controlledby Pr4zB.. upto 0
TMYb4../f492e.. negprop ownership controlledby Pr4zB.. upto 0
TMY58../19881.. negprop ownership controlledby Pr4zB.. upto 0
TMRQK../1b585.. negprop ownership controlledby Pr4zB.. upto 0
TMWdE../20e5e.. negprop ownership controlledby Pr4zB.. upto 0
TMUcG../79f01.. negprop ownership controlledby Pr4zB.. upto 0
TMVVN../9d2b8.. negprop ownership controlledby Pr4zB.. upto 0
TMJGh../91b05.. negprop ownership controlledby Pr4zB.. upto 0
TMHN9../cc834.. negprop ownership controlledby Pr4zB.. upto 0
TMcim../cc2df.. negprop ownership controlledby Pr4zB.. upto 0
TMMyh../0ff79.. negprop ownership controlledby Pr4zB.. upto 0
TMWQh../6a700.. negprop ownership controlledby Pr4zB.. upto 0
TMGSp../c980d.. negprop ownership controlledby Pr4zB.. upto 0
TMVo6../8b80e.. negprop ownership controlledby Pr4zB.. upto 0
TMZUg../a04ec.. negprop ownership controlledby Pr4zB.. upto 0
TMNtA../b2616.. negprop ownership controlledby Pr4zB.. upto 0
TMM2Q../3414c.. negprop ownership controlledby Pr4zB.. upto 0
TMbFm../964d8.. negprop ownership controlledby Pr4zB.. upto 0
TMYDG../5a9b4.. negprop ownership controlledby Pr4zB.. upto 0
TMWDu../56002.. negprop ownership controlledby Pr4zB.. upto 0
TMKMF../1eb91.. negprop ownership controlledby Pr4zB.. upto 0
TMTDJ../0ead1.. negprop ownership controlledby Pr4zB.. upto 0
TMWrW../604e6.. negprop ownership controlledby Pr4zB.. upto 0
TMFMw../a78b7.. negprop ownership controlledby Pr4zB.. upto 0
TMJNT../61a40.. negprop ownership controlledby Pr4zB.. upto 0
TMQbz../a23a7.. negprop ownership controlledby Pr4zB.. upto 0
TMLxC../e0435.. negprop ownership controlledby Pr4zB.. upto 0
TMJCn../09f3e.. negprop ownership controlledby Pr4zB.. upto 0
TMQJr../fd189.. negprop ownership controlledby Pr4zB.. upto 0
TMMCw../4235b.. negprop ownership controlledby Pr4zB.. upto 0
TMFEJ../cc155.. negprop ownership controlledby Pr4zB.. upto 0
TMF5o../1efe8.. negprop ownership controlledby Pr4zB.. upto 0
TMVsn../945e8.. negprop ownership controlledby Pr4zB.. upto 0
TMTyG../1683e.. negprop ownership controlledby Pr4zB.. upto 0
TMbzf../6ad9b.. negprop ownership controlledby Pr4zB.. upto 0
TMN1U../431f0.. negprop ownership controlledby Pr4zB.. upto 0
TMTrV../ef8ab.. negprop ownership controlledby Pr4zB.. upto 0
TMYRb../743b6.. negprop ownership controlledby Pr4zB.. upto 0
TMEsR../8ef89.. negprop ownership controlledby Pr4zB.. upto 0
TMRwJ../6593f.. negprop ownership controlledby Pr4zB.. upto 0
TMYyi../176b9.. negprop ownership controlledby Pr4zB.. upto 0
TMND3../7e1f6.. negprop ownership controlledby Pr4zB.. upto 0
TMRiv../a6e51.. negprop ownership controlledby Pr4zB.. upto 0
TMWDW../14bbd.. negprop ownership controlledby Pr4zB.. upto 0
TMLoB../a5fc2.. negprop ownership controlledby Pr4zB.. upto 0
TMcV1../68420.. ownership of 27a71.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYgq../f58a1.. ownership of c39a5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdYE../00242.. ownership of f9732.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUuS../f50fe.. ownership of 82787.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTdG../bdbb5.. ownership of 66f20.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFPN../1835a.. ownership of 14e19.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaAR../90147.. ownership of 660da.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMWcF../0f9c4.. ownership of 485b5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPvp../a7bd2.. ownership of f3498.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdL1../2ceae.. ownership of b9eff.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPsU../ea9f8.. ownership of dca77.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSfh../0e76e.. ownership of f5f38.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSZL../0d7c8.. ownership of 82c6a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMS6t../d096a.. ownership of 73b9c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMcRe../a469c.. ownership of 0eaf4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTMv../7286b.. ownership of 48199.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVnC../07a48.. ownership of dfba1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYaL../380b4.. ownership of fc69b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSWJ../9e495.. ownership of d92fd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMcmL../88351.. ownership of 95a48.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbHE../32d8c.. ownership of 5cb8a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMV4B../76db8.. ownership of 7a779.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZTT../6c9d2.. ownership of c1bd9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMS4D../4f5d0.. ownership of 3f4bd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXKj../1c8f2.. ownership of 8da43.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPjJ../f3e74.. ownership of da971.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPQh../97b24.. ownership of a335e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMHb../76bc2.. ownership of 06cb0.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJvb../bf732.. ownership of d3922.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMczW../875c7.. ownership of 7cc46.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYF1../6121a.. ownership of d47e8.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPj9../f1c76.. ownership of 548fa.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZnw../abd43.. ownership of c9d3b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbSd../6000d.. ownership of a87a3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHbF../61a8d.. ownership of 8347f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHsU../84fd6.. ownership of bfa78.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVJ3../328f3.. ownership of ac512.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMH9G../053dd.. ownership of d83da.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTT1../de72f.. ownership of 60e5c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMW6U../db175.. ownership of 7a2a7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdHC../1f866.. ownership of 1f012.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHKq../a8bdd.. ownership of 3a7b9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMN95../3c31e.. ownership of ad866.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMU5F../ad570.. ownership of efa1d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPei../a3423.. ownership of 9ccac.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdNE../3f7a6.. ownership of bfc47.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZth../bda7d.. ownership of 99743.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdpX../db8b4.. ownership of 7c4b5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNai../9ee58.. ownership of 7fbc8.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaRs../edc64.. ownership of 48ad0.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHCQ../72bc0.. ownership of ac12b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMBL../0c95a.. ownership of d1dff.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHbw../d5843.. ownership of 82608.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMWCv../c985f.. ownership of 4867b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbcc../94a30.. ownership of 30174.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZiU../d9e42.. ownership of ec959.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMF88../d9699.. ownership of 9a69f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdgf../f9e2f.. ownership of 8eaa9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTni../83130.. ownership of 454a8.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPEr../6d1ad.. ownership of 914ed.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMEz7../c9560.. ownership of 2e5d5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMG7e../09296.. ownership of 188cf.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQ3b../a306c.. ownership of 66dfd.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUcH../22d6b.. ownership of b4b3a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSti../8e27a.. ownership of dc9e6.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNH9../38004.. ownership of 027e1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSPE../84481.. ownership of 66c81.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaaA../f8315.. ownership of 3c9a2.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYiN../e411f.. ownership of b74f3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMfz../d3366.. ownership of 85b2a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNpj../57e02.. ownership of 4ab36.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbzh../90b3f.. ownership of 59d0e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGeN../0499b.. ownership of 506a9.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSuA../37554.. ownership of 38e0b.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaNa../f6a07.. ownership of 6c299.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMEL../22bc2.. ownership of d73e6.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVCg../eadd0.. ownership of 2c536.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TML6p../feff3.. ownership of adfda.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGzd../fbae2.. ownership of d4359.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMG8x../c7ee7.. ownership of b50d5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMckH../66752.. ownership of fcaf7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJJ5../0889b.. ownership of c10ff.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMEq9../7be53.. ownership of 41073.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMcV9../0ffa5.. ownership of 5f312.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMV5y../46b16.. ownership of 71c5e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRoU../79d94.. ownership of 44dd5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdhg../b2f79.. ownership of 4326e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMLKr../6ce67.. ownership of 4e561.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNYt../22b54.. ownership of fa664.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUwy../c1a6d.. ownership of 0c233.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTvo../5cdef.. ownership of 22184.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbPH../e9286.. ownership of 47b05.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMURb../31b08.. ownership of 6879f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaJh../09f23.. ownership of 728a4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMc2k../2cb14.. ownership of 78b49.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGNf../9e023.. ownership of ce4f8.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVEm../fd376.. ownership of 6c306.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUsv../333c6.. ownership of 14e13.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TML7w../c7a25.. ownership of d3a2f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMS1B../93ebd.. ownership of a0bdf.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMG3E../8cb41.. ownership of 3bd28.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZLb../22b2e.. ownership of d390a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJKy../61801.. ownership of 35bff.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGuV../a2088.. ownership of ca26d.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMWYT../73f70.. ownership of 7b2eb.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQyh../f8d1f.. ownership of 0cb59.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQG1../c2a57.. ownership of ca5c3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXZu../6ff06.. ownership of 1cbb5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJSg../b6095.. ownership of 296ac.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPcE../91508.. ownership of 400b3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMEww../2dfa1.. ownership of ab690.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZwo../fdded.. ownership of dd20a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMW1J../1824a.. ownership of 86ae3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQE8../65d33.. ownership of 60f83.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMapR../33d38.. ownership of b8e82.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXs5../a6e1a.. ownership of 9052a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMc15../c6495.. ownership of 4d8d4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSjt../27607.. ownership of c4ec8.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKS3../fcf0b.. ownership of 72647.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUrM../536d8.. ownership of b71ad.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMU3W../da611.. ownership of 9c5db.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMR8Z../424ae.. ownership of ee5d7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGye../309ac.. ownership of b7f53.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbfw../a2c46.. ownership of c2d8f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMM1n../45a7e.. ownership of 3a7bc.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbyd../a04aa.. ownership of a4ffe.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXkT../5c668.. ownership of c0d75.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKVq../e1884.. ownership of 85105.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSC7../1c0c3.. ownership of 008b1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNLF../96a8e.. ownership of 03bfa.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSSY../62de5.. ownership of f5ac7.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHN3../37a46.. ownership of 6163c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMagK../92b0e.. ownership of 24fad.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQYC../ccbcd.. ownership of 6be75.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMaPT../75610.. ownership of 4b742.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMawB../854e0.. ownership of a5048.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSZV../ccb63.. ownership of 70124.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXvd../376ce.. ownership of c966e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXi2../e5a0d.. ownership of 4d715.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXjN../52402.. ownership of 638ca.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHbv../b29c6.. ownership of 174d1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJWX../92d24.. ownership of 033f5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMc15../87dc6.. ownership of 160ad.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFwV../d1d50.. ownership of 9777c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRTv../79702.. ownership of e1947.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNVN../0c091.. ownership of ccf4a.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMcg2../a1c71.. ownership of ef4da.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMa9M../ff8bf.. ownership of 15d8f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZAs../00c1b.. ownership of 4e1aa.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdCH../b456b.. ownership of 00afc.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKiP../4d923.. ownership of f5ab5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMEvJ../f3e03.. ownership of 3e705.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSZQ../8e8ab.. ownership of d7730.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJ3H../1f777.. ownership of 16378.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMdJs../3c799.. ownership of 4f6ad.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbzR../7569f.. ownership of 9cd8c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMd52../48256.. ownership of 01bf6.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMUDH../4563c.. ownership of 6b6d8.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbYS../b0b49.. ownership of 62d80.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGdH../e65f2.. ownership of 521d5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMWXh../f93ea.. ownership of d6c57.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZB9../5b065.. ownership of 8e078.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKhL../ca5c3.. ownership of ffd62.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRfp../9f645.. ownership of 5c17f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZKH../85e4a.. ownership of d0fe4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQHw../c24aa.. ownership of 8d07e.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGft../a82c6.. ownership of 0bb18.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSiZ../3c984.. ownership of 2451f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRgx../165cb.. ownership of ac679.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKbT../3cd14.. ownership of 3ec40.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYCB../43978.. ownership of fc551.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFrE../684e9.. ownership of 786d0.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFBn../37772.. ownership of ad02f.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXmC../1dc78.. ownership of f4e27.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZkX../b5f62.. ownership of bf497.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMa79../97164.. ownership of 0a910.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMN6N../184e3.. ownership of 78358.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMKu../bf18b.. ownership of 611c1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZE3../0c499.. ownership of 3f24c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMGLU../eab0e.. ownership of 2f6e5.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMU7f../45cde.. ownership of 0b225.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSzi../2f0d5.. ownership of e20a3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbEm../94acf.. ownership of d9b35.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMdg../192c5.. ownership of 128d4.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXrd../4f211.. ownership of 02f5c.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMRyA../3449d.. ownership of 10123.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFk6../7e333.. ownership of 29333.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNTG../32bc5.. ownership of 708a1.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJcu../bb2be.. ownership of 4d850.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMHe7../55e8d.. ownership of 0b3e3.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMLxX../91472.. ownership of 19222.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMd4r../1d4ba.. ownership of f23c6.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJDW../7e56b.. ownership of 40d25.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYNe../26854.. ownership of 05637.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMQkt../9e1e5.. ownership of 16246.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZav../69bfa.. ownership of 71881.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZbv../ce8e3.. ownership of 733b2.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXMd../80f60.. ownership of c1228.. as prop with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXJj../3e6de.. ownership of edfbd.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMFKr../b04bf.. ownership of 37c2d.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMNae../f9f30.. ownership of e76f5.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTuc../fc4ee.. ownership of 2e737.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMVvp../81bd1.. ownership of 323e0.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPzZ../f9a50.. ownership of 5339f.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMLoB../40488.. ownership of 432cb.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMK9M../abba4.. ownership of 59c49.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMTmw../3b479.. ownership of c1f20.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPFD../9fefe.. ownership of de446.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMJzM../fd820.. ownership of dcd4d.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMc6h../5509e.. ownership of 34d3c.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMPRX../57792.. ownership of 5ae30.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMYp2../a8f01.. ownership of 43d5a.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMKHL../45745.. ownership of a35aa.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMXVE../5604b.. ownership of c52d3.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMZb8../3a5ea.. ownership of 94bc0.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbFf../f06af.. ownership of 7a768.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMhg../5088f.. ownership of f4137.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSTu../d5a5f.. ownership of 5c2a1.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMbWL../f86d9.. ownership of ac98a.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMmW../1a812.. ownership of 98e24.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMMsa../3124b.. ownership of f7604.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
TMSa8../6c0ad.. ownership of 07f6b.. as obj with payaddr Pr4zB.. rightscost 0.00 controlledby Pr4zB.. upto 0
PUSaZ../229e1.. doc published by Pr4zB..
Param ordsuccordsucc : ι → ι
Definition u1 := 1
Definition u2 := ordsucc u1
Definition u3 := ordsucc u2
Definition u4 := ordsucc u3
Definition u5 := ordsucc u4
Definition u6 := ordsucc u5
Definition u7 := ordsucc u6
Definition u8 := ordsucc u7
Definition u9 := ordsucc u8
Definition u10 := ordsucc u9
Definition u11 := ordsucc u10
Definition u12 := ordsucc u11
Definition u13 := ordsucc u12
Definition u14 := ordsucc u13
Definition u15 := ordsucc u14
Definition u16 := ordsucc u15
Definition u17 := ordsucc u16
Definition u18 := ordsucc u17
Definition u19 := ordsucc u18
Definition u20 := ordsucc u19
Definition u21 := ordsucc u20
Definition u22 := ordsucc u21
Definition u23 := ordsucc u22
Definition u24 := ordsucc u23
Definition u25 := ordsucc u24
Known neq_ordsucc_0neq_ordsucc_0 : ∀ x0 . ordsucc x0 = 0 ⟶ ∀ x1 : ο . x1
Theorem 733b2.. : u13 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Known ordsucc_inj_contraordsucc_inj_contra : ∀ x0 x1 . (x0 = x1 ⟶ ∀ x2 : ο . x2) ⟶ ordsucc x0 = ordsucc x1 ⟶ ∀ x2 : ο . x2
Known efdfc.. : u12 = 0 ⟶ ∀ x0 : ο . x0
Theorem 16246.. : u13 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Known ce0cd.. : u12 = u1 ⟶ ∀ x0 : ο . x0
Theorem 40d25.. : u13 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Known 8158b.. : u12 = u2 ⟶ ∀ x0 : ο . x0
Theorem 19222.. : u13 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Known e015c.. : u12 = u3 ⟶ ∀ x0 : ο . x0
Theorem 4d850.. : u13 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Known 7aa79.. : u12 = u4 ⟶ ∀ x0 : ο . x0
Theorem 29333.. : u13 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Known 07eba.. : u12 = u5 ⟶ ∀ x0 : ο . x0
Theorem 02f5c.. : u13 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Known 0bd83.. : u12 = u6 ⟶ ∀ x0 : ο . x0
Theorem d9b35.. : u13 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Known 6a15f.. : u12 = u7 ⟶ ∀ x0 : ο . x0
Theorem 0b225.. : u13 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Known a6a6c.. : u12 = u8 ⟶ ∀ x0 : ο . x0
Theorem 3f24c.. : u13 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Known 22885.. : u12 = u9 ⟶ ∀ x0 : ο . x0
Theorem 78358.. : u13 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Known 6c583.. : u12 = u10 ⟶ ∀ x0 : ο . x0
Theorem bf497.. : u13 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Known ab306.. : u12 = u11 ⟶ ∀ x0 : ο . x0
Theorem ad02f.. : u13 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem fc551.. : u14 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ac679.. : u14 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 0bb18.. : u14 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d0fe4.. : u14 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ffd62.. : u14 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d6c57.. : u14 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 62d80.. : u14 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 01bf6.. : u14 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4f6ad.. : u14 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d7730.. : u14 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem f5ab5.. : u14 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4e1aa.. : u14 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ef4da.. : u14 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem e1947.. : u14 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 160ad.. : u15 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 174d1.. : u15 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4d715.. : u15 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 70124.. : u15 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4b742.. : u15 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 24fad.. : u15 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem f5ac7.. : u15 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 008b1.. : u15 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem c0d75.. : u15 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 3a7bc.. : u15 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b7f53.. : u15 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 9c5db.. : u15 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 72647.. : u15 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4d8d4.. : u15 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b8e82.. : u15 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 86ae3.. : u16 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ab690.. : u16 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 296ac.. : u16 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ca5c3.. : u16 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 7b2eb.. : u16 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 35bff.. : u16 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 3bd28.. : u16 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d3a2f.. : u16 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 6c306.. : u16 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 78b49.. : u16 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 6879f.. : u16 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 22184.. : u16 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem fa664.. : u16 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4326e.. : u16 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 71c5e.. : u16 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 41073.. : u16 = u15 ⟶ ∀ x0 : ο . x0 (proof)
Theorem fcaf7.. : u17 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d4359.. : u17 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 2c536.. : u17 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 6c299.. : u17 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 506a9.. : u17 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 4ab36.. : u17 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem b74f3.. : u17 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 66c81.. : u17 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem dc9e6.. : u17 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 66dfd.. : u17 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 2e5d5.. : u17 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 454a8.. : u17 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 9a69f.. : u17 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 30174.. : u17 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 82608.. : u17 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ac12b.. : u17 = u15 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 7fbc8.. : u17 = u16 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 99743.. : u18 = 0 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 9ccac.. : u18 = u1 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ad866.. : u18 = u2 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 1f012.. : u18 = u3 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 60e5c.. : u18 = u4 ⟶ ∀ x0 : ο . x0 (proof)
Theorem ac512.. : u18 = u5 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 8347f.. : u18 = u6 ⟶ ∀ x0 : ο . x0 (proof)
Theorem c9d3b.. : u18 = u7 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d47e8.. : u18 = u8 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d3922.. : u18 = u9 ⟶ ∀ x0 : ο . x0 (proof)
Theorem a335e.. : u18 = u10 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 8da43.. : u18 = u11 ⟶ ∀ x0 : ο . x0 (proof)
Theorem c1bd9.. : u18 = u12 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 5cb8a.. : u18 = u13 ⟶ ∀ x0 : ο . x0 (proof)
Theorem d92fd.. : u18 = u14 ⟶ ∀ x0 : ο . x0 (proof)
Theorem dfba1.. : u18 = u15 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 0eaf4.. : u18 = u16 ⟶ ∀ x0 : ο . x0 (proof)
Theorem 82c6a.. : u18 = u17 ⟶ ∀ x0 : ο . x0 (proof)
Definition oror := λ x0 x1 : ο . ∀ x2 : ο . (x0 ⟶ x2) ⟶ (x1 ⟶ x2) ⟶ x2
Known ordsuccEordsuccE : ∀ x0 x1 . x1 ∈ ordsucc x0 ⟶ or (x1 ∈ x0) (x1 = x0)
Known 6de8d.. : ∀ x0 . x0 ∈ u13 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 u11 ⟶ x1 u12 ⟶ x1 x0
Theorem dca77.. : ∀ x0 . x0 ∈ u14 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 u11 ⟶ x1 u12 ⟶ x1 u13 ⟶ x1 x0 (proof)
Theorem f3498.. : ∀ x0 . x0 ∈ u15 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 u11 ⟶ x1 u12 ⟶ x1 u13 ⟶ x1 u14 ⟶ x1 x0 (proof)
Theorem 660da.. : ∀ x0 . x0 ∈ u16 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 u11 ⟶ x1 u12 ⟶ x1 u13 ⟶ x1 u14 ⟶ x1 u15 ⟶ x1 x0 (proof)
Theorem 66f20.. : ∀ x0 . x0 ∈ u17 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 u11 ⟶ x1 u12 ⟶ x1 u13 ⟶ x1 u14 ⟶ x1 u15 ⟶ x1 u16 ⟶ x1 x0 (proof)
Theorem f9732.. : ∀ x0 . x0 ∈ u18 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 u11 ⟶ x1 u12 ⟶ x1 u13 ⟶ x1 u14 ⟶ x1 u15 ⟶ x1 u16 ⟶ x1 u17 ⟶ x1 x0 (proof)
Theorem 27a71.. : ∀ x0 . x0 ∈ u19 ⟶ ∀ x1 : ι → ο . x1 0 ⟶ x1 u1 ⟶ x1 u2 ⟶ x1 u3 ⟶ x1 u4 ⟶ x1 u5 ⟶ x1 u6 ⟶ x1 u7 ⟶ x1 u8 ⟶ x1 u9 ⟶ x1 u10 ⟶ x1 u11 ⟶ x1 u12 ⟶ x1 u13 ⟶ x1 u14 ⟶ x1 u15 ⟶ x1 u16 ⟶ x1 u17 ⟶ x1 u18 ⟶ x1 x0 (proof)