Monero P2Pool.Observer

[Gupax] P2Pool plug and play Mining GUI, by hinto-janai :: P2Pool Setup Help :: P2Pool FAQ :: What is P2Pool? :: Observer API Documentation

Join chat to talk, send feedback, ask questions and be notified of changes on IRC on #p2pool-log@irc.libera.chat:6697, on WebIRC, on Matrix

How to join P2Pool :: Guide on how to run a Monero and P2Pool node by Seth :: P2Pool Bonus Hash Rate Raffle by XMRvsBEAST

Latest releases: P2Pool v3.10 106.2 day(s) ago :: Monero v0.18.3.3 17.5 day(s) ago

This share mined Monero block at height 2765264


<< Previous share Next share >>

Share information

P2Pool Height P2Pool Template Id Monero Height Monero Id
3759981 b724edfc72d165aacf6a38771b478daa1d549e66c8e71b101c4628dd726101a9 2765264 be80d0ad85c464df8f4da4435ccf81d15d83f90f509d5524277ced9978f2e0ea
 
Age [h:m:s] PoW Hash Found by Difficulty
508:12:45:42 0407d38cb3749c3e3e2215e2424aed3691aee325e2e23716b2dcd20100000000 47oeGVdUWX...6SuFtxk3Da 2343031987 / 602908184878
 
Valuation Coinbase Id Coinbase Reward Coinbase Private Key
100% 8b449e6e640cc7be5d6f9891f850097a4c0c68944773b72394357efd8986d5ed 0.600000000000 XMR ca58936a9a2b1fe73294e4415ff22dae3b29ead4c87232a919052130084b7d08
 
Nonce Cumulative Difficulty Extra Nonce Monero Target Difficulty
2097219783 0000000000000000001206594fea76e5 9 332589159763
 
Software Version Signaling Deterministic Private Key Seed
Not present v1 (no known signaling) a31f82b50fb224863168f553141c471893d1e97b7aea2be22863f03079aeffc4

Payouts share was weighted into

Monero Height P2Pool Height Age [h:m:s] Reward Global Output Index Coinbase Transaction Payout Proof
2765433 3761936 508:06:52:12 0.003464118644 XMR 64902332 b9012313bd...008571e44b [Payout Proof #87]
2765427 3761879 508:07:01:53 0.003445203107 XMR 64902011 474c932677...9d0b9789e4 [Payout Proof #87]
2765425 3761847 508:07:06:13 0.003198206269 XMR 64901770 0db0a567c0...acb32de687 [Payout Proof #88]
2765406 3761562 508:07:49:58 0.003251020166 XMR 64900833 45eca31d7e...735170b986 [Payout Proof #84]
2765363 3761077 508:09:12:10 0.002436150111 XMR 64899117 a14f2eb01e...d51194bc7b [Payout Proof #77]
2765348 3760946 508:09:41:19 0.003107404787 XMR 64898325 908545418c...1a81ca527e [Payout Proof #77]
2765332 3760891 508:09:56:10 0.002979979298 XMR 64897820 bfe2df4cd7...c55a517e77 [Payout Proof #77]
2765317 3760681 508:10:35:58 0.002702273038 XMR 64896990 9074817aac...e1839c46c9 [Payout Proof #74]
2765316 3760670 508:10:37:22 0.002691801902 XMR 64896672 4bf44232f5...9b4ff628a8 [Payout Proof #75]
2765314 3760628 508:10:44:26 0.002523500509 XMR 64896402 c46aa34709...ea58962106 [Payout Proof #75]
2765301 3760369 508:11:28:47 0.002985040895 XMR 64895531 9334fb34f5...0137863d23 [Payout Proof #74]
2765279 3760165 508:12:09:54 0.002473852197 XMR 64894329 6944f63509...c974f41ecc [Payout Proof #71]
2765264 3759981 508:12:45:42 0.002471638021 XMR 64893480 ae262d4199...6ab873c9ce [Payout Proof #73]
Share is outside the PPLNS window. No more payouts for this share will be provided by other P2Pool miners.

Coinbase Transaction

01c6d19b48bb0a686427888b274f40d8035e169d333dbb867de80886f286b03a06 020409000000 0320b724edfc72d165aacf6a38771b478daa1d549e66c8e71b101c4628dd726101a9
 
Output Index Ephemeral Public Key Receiver Address Reward Global Output Index Proof
0 ae7b9565e712db2befe5bcf9ea817705f5bef3aa3e1733bc9ddae5bceb3d8e94 45Z7S78NEW...uwoHoW3oWH 0.000498827682 XMR 64893407 [Payout Proof #0]
1 5771cc2aa438f9b53792b65222509b4305274620cf56cf932c478256691b8015 49inJhnrFK...6ktF4F9Zyx 0.000256437456 XMR 64893408 [Payout Proof #1]
2 2e34895ed932ab7434ad6430f8bb5ecbe1bb2c208b9345016c5dd2fa5fb149d9 ovp66 0.001001047577 XMR 64893409 [Payout Proof #2]
3 eabfeed1ced9a83158a5734182da26babd0d0588fecb14b7e19f34a5291a254a 4291viJfdy...coXEbpkWZo 0.000495572450 XMR 64893410 [Payout Proof #3]
4 75fd3d89ffc20262d637b6d0490b65e42988bf24f54f21b7d221f051966a0bd7 44cxJCpLf1...G9K6vGFFkc 0.000255463973 XMR 64893411 [Payout Proof #4]
5 bb640e64883c13835a25ac2a19f06bba61bf3d96c0af78ae57a3394fc82e21c2 43nsYYdVMu...Kd52qrKdtz 0.000252024657 XMR 64893412 [Payout Proof #5]
6 839aea31571745968bd9357ec6319d54c0ad13a8cc5daae8e299eba60074da49 453Q3R9inZ...1EHTSp8pD9 0.000249309988 XMR 64893413 [Payout Proof #6]
7 5d1a66ece81f155fd9a8f8f00afe0993e72c62fa1f173b3039edfd8d94561234 41vgpoAPpA...t27D1tXsF3 0.009295761652 XMR 64893414 [Payout Proof #7]
8 51e411a64594a72d7f8dbeb38fc360bcda094810160f16f5dac1178143d91133 463GTZ5MPX...UMZRfZNKeM 0.000246598348 XMR 64893415 [Payout Proof #8]
9 f90eecf0a59c2e75f1abd639a522533df41266d9a044441ce102b8d8d5076527 48BTSScLUy...LpNRedDzBM 0.000401887732 XMR 64893416 [Payout Proof #9]
10 70e37357c47ab06b1c1157277d0db5fc7e51349b336ea2004a25934d157c15a8 47S5v5z6w8...4Q11Z2ZV6h 0.000504010424 XMR 64893417 [Payout Proof #10]
11 f8118179348b6aa4141b76bdf50209b00bec31c90b303ab2998de209c6070906 aog 0.001569438207 XMR 64893418 [Payout Proof #11]
12 fa542fea81ad82cb1731091b879170645cd57953a6b1b6eb559a2cad522fa607 44tNFj2vTj...MEhUmddJob 0.000255079377 XMR 64893419 [Payout Proof #12]
13 c604ec0dff5b7ffbf7d999e3ae15c597b67f2f65718f644ca0da52b8eef33fed 43Deh4H34k...LyJPrHYSzZ 0.000255393147 XMR 64893420 [Payout Proof #13]
14 99280bc858d3ce0067a18cc4234381df2b9239582415e0ccbb0899d91f0b186c 43Hbt2pLD2...yxiSTpzyhv 0.000253330742 XMR 64893421 [Payout Proof #14]
15 5a6405e13d04061faed45925fb60a863838d102eb6af22fe7697fda6ebfddbc2 48mYZD9Fzi...cx27W92z8b 0.001963366079 XMR 64893422 [Payout Proof #15]
16 1a9e4363b2d53b1a1e9d53853ea2ca53c0910240fb15db666120f311e5bf23bd 44dDDJbXsg...Htt7UtTCim 0.000253718506 XMR 64893423 [Payout Proof #16]
17 5974b2edadee69231b6da5fd54f927c62ba9658a5da54aae20c2d931eb826e19 4AsbrigbYn...TXgMQSYwvJ 0.000248738793 XMR 64893424 [Payout Proof #17]
18 18aed02eabd8275a8f82a8e141bfe00a3bbcea24be62a8b6efc8f15326e32a08 448oanL2F6...Jcg4iupKiK 0.000253708738 XMR 64893425 [Payout Proof #18]
19 7661d5d335f4de756a834aa74cc6af4bf1610abb649d41696feeb76aae3e4a3f 42Pv7DvpXF...4NCR5NWC2K 0.000248589850 XMR 64893426 [Payout Proof #19]
20 77e32bde145730f310cc660ba506f40001fe53a9bd7d82ee1d8d2e78ada624af 44CjU7ziPy...VtKCLHsag2 0.000254104668 XMR 64893427 [Payout Proof #20]
21 778251834d85e80e70c3fbff7deb22d342c655430209121afef449b70233cb0e 44axVA4gsD...iNLBmNWzTp 0.000254285379 XMR 64893428 [Payout Proof #21]
22 4b2d94e32174538d4df7e6ad7bb017cafe36fbf89842bf2cd77a348f975e323b 48yFpqJbJ4...zAj3ynwBAS 0.000254542251 XMR 64893429 [Payout Proof #22]
23 93601aef42a64d2f36ae7d5a67a76bb53cf3d20140d4b3bdf33c06df84b3f4a0 42AK2AY28H...MyyBwVco4s 0.000251054954 XMR 64893430 [Payout Proof #23]
24 f1e1207dc82f293cdd1f630b123f57958cfa127dbe4727981fedd190fa779840 44d17ZsfJW...Fr4SSG9GjG 0.000507866192 XMR 64893431 [Payout Proof #24]
25 5862a307b87c58d73c222a5034ce72172c41d2d749187ddc5dd4c8997f2fe4db 4BBb6ZBPPP...RKtLi1jcMb 0.246820138780 XMR 64893432 [Payout Proof #25]
26 ecf7f57f5b34ca6892bf79f9792a8c66eccbd7465564fd1ffd0a4d94e2510ed8 48gjGsibKv...gxUPMe5N7g 0.047637055202 XMR 64893433 [Payout Proof #26]
27 5613b72ae7844f8f7bd4edb73c60570386dd25a6bdc4ae3687016d78450d478f 42TScNAvam...jjv7w2xbWJ 0.000256687827 XMR 64893434 [Payout Proof #27]
28 94c4f5298e1dd8dd104eb06763def2c0f987fb89baa14ebe98d5b7a1fc8308be 49WiMtnuqX...xyRNND4GJv 0.003873254618 XMR 64893435 [Payout Proof #28]
29 4fbf7eefcc6f4bf7dc17cbe8f759f032f5f0bd5edd3ea2f651507ac779baaa5a 44au3R7eYU...qyqFhSceZj 0.000256703861 XMR 64893436 [Payout Proof #29]
30 e534e5e6a2d8c3b58d10d643d597b8821a0cae4e7f68d5812c2f77f77c40578b 42yAHAH5at...6dy78x2gbp 0.000812291927 XMR 64893437 [Payout Proof #30]
31 bf5092709cf6af894be2546bd659af2867d0d516c0fd122148a8064fd5eb3d4f 47W3NyhZg6...xobDwj1Emx 0.000855506153 XMR 64893438 [Payout Proof #31]
32 0c8d2bd568adb639939669f8a9eda08e06824f43582f6421ab4af285f90585cb 43t5aJQ9He...Th1EKey1Eh 0.000858110498 XMR 64893439 [Payout Proof #32]
33 0d7a1ae34303262144dab4bf08d9885d0370ca6f36ff9f3368350d4354e65394 48VJjZzo6y...8GLEMn52qZ 0.000743430921 XMR 64893440 [Payout Proof #33]
34 cac9b05b7a4a2ef8798f0868315594a7e9602aa8019823df69a6778ec8497879 4ANx29nQEC...uTLQ1rk65J 0.000303363640 XMR 64893441 [Payout Proof #34]
35 16a5470aa8a49e9cfd06b3dbdd104b078b3a8015fc3955016a7863c69926304a 44D8G4RqCj...97xKxThCEd 0.000251690310 XMR 64893442 [Payout Proof #35]
36 35d8c9ff33133850bb42739f1cd82e34382daeab19579e107ec2254738e4386b 4AnrdZDafC...PofMPMBuEL 0.000755301813 XMR 64893443 [Payout Proof #36]
37 0e094aa0d5a69504d60a7277b629d7f6f7da561ecddf63b77ce92b9946505bc4 46gqxjqnT7...8tVCHjp3kJ 0.000507017410 XMR 64893444 [Payout Proof #37]
38 7dce39f7069203ae8bffc3e6312910443a14caf055925c3512dd7760e2667d98 47YhK5kJnV...3TDUhdkVFv 0.000258718950 XMR 64893445 [Payout Proof #38]
39 b70f4d61c16d5de1a608ff5220fa13f0419f9acacf26e04f7847aeb65d795f8c 43vd5bRtzS...6oA35c4LQ8 0.000254228186 XMR 64893446 [Payout Proof #39]
40 6f3069f0910f962d1082ac4f54ab135d206720de36a17c1f438fa37b340b899b 4ApeMQzcRS...CRi1jEqJZd 0.010068785067 XMR 64893447 [Payout Proof #40]
41 aa4cb66dee3c32c281c28138b755b7a6a0e8860b73be72d0829724fe93927b50 4AXVyJrCz1...R4pEU53q7T 0.000206593757 XMR 64893448 [Payout Proof #41]
42 585042cb2b4fba69eab5080ccfdcd34f396fc4cbcd156096b603aaf0a3fb6de4 44YdBost8R...2nZ55pXeCU 0.005983815367 XMR 64893449 [Payout Proof #42]
43 edcf1dc1bbb8e57b29d139147cbf56f91839100b76d109a35eb076ed58cab499 42FcH6c9dd...pqsDxYUP9W 0.000252504059 XMR 64893450 [Payout Proof #43]
44 f4e3401e49c3446c9402f9c5d0fb56aaabb64791eae6bee622738a44b2545e94 449JEpWrUv...SHtARieMdf 0.000248862838 XMR 64893451 [Payout Proof #44]
45 0921043bc3d518c606497c672ccd06093b9e023b4036e7f0abbd509ab67dab0e 44BJWgFVEq...kJS1wE9CAT 0.000253708738 XMR 64893452 [Payout Proof #45]
46 2fcf486baeedd67f6fbd7e6f33efc0aedffb27e302ac6aabe02bafa0d2a8012b 42LLyf2t61...cG5Ff4v17r 0.000254226484 XMR 64893453 [Payout Proof #46]
47 bc4a92bfadeefd029865b524d249322970806cfba068c02fca086b1792bc4d27 44a13Ad58x...m9hAHj5BeX 0.001227161882 XMR 64893454 [Payout Proof #47]
48 eb654a3f367ab4cd96ea5989390cd1713fac51cd8045a2aef8876f3f40a27ea6 45LHspj1s8...gPRTjRZBBo 0.000253151535 XMR 64893455 [Payout Proof #48]
49 39e91554e35ea236f1720afe7d137710d2d0d209fb51c226cddbe426abc126e6 4AQ3YkqG2X...YUBLg876Gt 0.017129677749 XMR 64893456 [Payout Proof #49]
50 78c6ceaa04a2796dcc56808a1f54d9db77d901fb7f0f15161fe08f8a5f5df2e5 45CJihffff...jbU8pjwe5H 0.000255263870 XMR 64893457 [Payout Proof #50]
51 0b423233b9d9f3e9e31e7d9f22215a6325f446d99c46e6c0b7f08f6d072dc91d 43EQZe9SD9...iPhM8NDpqP 0.001009251835 XMR 64893458 [Payout Proof #51]
52 edeb4295a57365cdca9241161039f436cf7a796c5f91722f18d307534515b9c3 45Pjt2daMo...yJ5Bez3aHv 0.004554175696 XMR 64893459 [Payout Proof #52]
53 9f86690cc789f39b0ddbdc42ba8e5b48da043d7374ba921a666129f7cb8067a5 499vZuqK8R...edFQfk2sGm 0.000558088328 XMR 64893460 [Payout Proof #53]
54 e8b5cfa2e4b1aef34d6c1ad33a176886010b2714208d4ebb6783f0d56980bed3 46femdYwNr...MJ8JnVhzej 0.000511396075 XMR 64893461 [Payout Proof #54]
55 3813c6d4388fb5c43c815b4b94525f92a029d0d23961696404e3915585ddc06e minexmr2.com 0.001258352682 XMR 64893462 [Payout Proof #55]
56 2a6a18b1ce7fff98972cb8f5df41cfe894f022bf16b8c7109ca74f0bc86fcb73 47Dp3jhRmU...MhfTSpRep2 0.000256018067 XMR 64893463 [Payout Proof #56]
57 3b33d086fd4bc183ecd00caf4173d30d51db55bd3813b9114d9708a6041820db 44dL4Wj9Ne...PMRR3G9DXg 0.000245632666 XMR 64893464 [Payout Proof #57]
58 c3eb0f5d520813f903801845f3df219ac1ca297b83a19771367f707fc00086e3 48QV9coiM4...LGYCKVCNcc 0.001061122728 XMR 64893465 [Payout Proof #58]
59 cef58d2f95da6823db8b5560232a7b910d868e71cba6abe83aa3bb34a8d5c75b 486yqKChfZ...NnMEEyCVUJ 0.000800164030 XMR 64893466 [Payout Proof #59]
60 5c81bab41077b85465171cae49d00f91eabed33b6690d2d048e4f6728eb69fcc 49Zk77FFBu...TXbRRnYRMd 0.000256962686 XMR 64893467 [Payout Proof #60]
61 e96ce53f6c78b05325851f178db13486ebf178aa18f5561fe04a6c2de70d8ce1 45vMeqsvpW...VJzAQWHRnL 0.000503485943 XMR 64893468 [Payout Proof #61]
62 9347368535f09e86a5ab68cb2dfcb2cf45da151ccb2669b799e59b713df96630 47J5KAEgev...ykY5J4Ev85 0.000256658657 XMR 64893469 [Payout Proof #62]
63 057ba4ebf499e75511629e77847b19128674ae9cc4c510c7da59f5e15fb6205a 4A5T73RVBh...PQa3XK3YaZ 0.000498996127 XMR 64893470 [Payout Proof #63]
64 9ffb2c06e242aa0c85dc264890067eaf71b2fdd4772d73bf248c9a872f97f5ba 43KoR4YawG...qfPLsfv2m2 0.000256104758 XMR 64893471 [Payout Proof #64]
65 5ed294102f6fd7c546ed3187028e3f10d8b6b7d7aaa8fd45082d1fb920cedbfb 4227R8i3vB...MvSHSANYkM 0.019686243608 XMR 64893472 [Payout Proof #65]
66 cdfa428317b1fc34fe1d4a1fd50c98c9a6b863593989edd8e42bd68ef837b186 46vavwU3QD...haN4U9F7kf 0.000253807298 XMR 64893473 [Payout Proof #66]
67 81ce1a4d4a5365de284d66fbf7b49ad20fd66f6dc23a7f7269f1f52aa81be325 42WqKYtEW7...aS9SQKq859 0.001724460906 XMR 64893474 [Payout Proof #67]
68 dc1ab93ab94e4c66702163e14effd150e0103c39c36d4f78b2cd817c00ff5190 42Wo3jKqfd...uhPGBM9Qn4 0.000254113255 XMR 64893475 [Payout Proof #68]
69 0a6c9ffe8200a092a1cfb9ab882a2913442682b3bb482fca380d3d2880278378 44RCrGEJvs...S9W4QQ3EkR 0.000764294026 XMR 64893476 [Payout Proof #69]
70 08b3d27f6731f8b2b672e4b92b399c6cfe12c6f08b78e6639b7a55d71e501603 48wb4XXtsT...zMDB5dB2iH 0.000703435576 XMR 64893477 [Payout Proof #70]
71 7578264c71f29c7287d196966afd004a0471cf270b16eaa4009b55f2cfd5923a 44uCC62oz8...LZGEwYKsSh 0.000252326771 XMR 64893478 [Payout Proof #71]
72 678efefef1e08335d1f8c861e1b8166dc35885849a9c9b57f115c86d727922e0 47G1Stozyv...RttHaWsWx7 0.001464049739 XMR 64893479 [Payout Proof #72]
73 4e10cc62c1a5b05fce92f7d74be6e04508903084c7cb66e0dbf8613b2662943b 47oeGVdUWX...6SuFtxk3Da 0.002472673383 XMR 64893480 [Payout Proof #73]
74 caa9516489fcb889085aaa07199f51494759954c4c7925b6b31d63334215eb8f 47ab14EokG...vu6JqWMsGw 0.160661407262 XMR 64893481 [Payout Proof #74]
75 76b49d20269b384d163871c70c4d7ed72d971f31bdc0b764d8dde66438dc477e 46o3U9z7SE...ivQEw3Qhyf 0.000254083806 XMR 64893482 [Payout Proof #75]
76 8a6168d0d8305d23726012407a0ff252e86dc514f6cc6c716d4d24b9c3207a28 44bjfxuxh1...5SzMGCpUd3 0.000509737663 XMR 64893483 [Payout Proof #76]
77 0eaa44b55bb55b5b61de4e01972d48b53a07bf72f9f0a0a3d68c7b8cf5a4c9d3 m00zilla 0.000254382340 XMR 64893484 [Payout Proof #77]
78 4dc19b066419a5158db99b9e42408d5e268e4c3c70f3e0c07ff02526b637bf05 48MZtWQwM4...GT8CPgjcj1 0.002313180396 XMR 64893485 [Payout Proof #78]
79 75fa6d2d61565603f0f9a979c1cf134abcc1d3698a93a729e716f4ad6cdbfdd6 47mPRqjRZT...m8YUQBvJbS 0.000253376613 XMR 64893486 [Payout Proof #79]
80 870521de720fb4b3c357e3de0f7adc2386ae61162a0ce053ee5ab6054d5281ad 44CDVjjZxm...FuxAfnHzxo 0.000202629197 XMR 64893487 [Payout Proof #80]
81 cbf393fd230df5a9a5f2fa3986f00719d004cfb504241319224db2b3b6f66ca5 4B3KFaQzu2...ZooBbEd3Y2 0.000251699708 XMR 64893488 [Payout Proof #81]
82 ff91ae0960dd70686a73cb83ada86baec6bbf167dd9c3d462982178ef0e19c08 45Ncg2eiyR...JCdU98nB9w 0.000252895634 XMR 64893489 [Payout Proof #82]
83 9b96964a60832408eb11cd60451b47182cf025af0def27b7dac77e0c18e5ada7 46j7wSWpwf...hn4UABDk6C 0.000253224821 XMR 64893490 [Payout Proof #83]
84 dba79808833d5f1884125778cd033526c3e4928fe6c2e6599200840de0dfb258 43bqfW5T2a...Vij3zaipsZ 0.000768059841 XMR 64893491 [Payout Proof #84]
85 1d1cb7e0aaea07763b5a383530bc7e9c52c42ff442af6caa0184a70ade095b68 41ueRRVR69...SiE3uFhZFR 0.000302942133 XMR 64893492 [Payout Proof #85]
86 556f416c4789ea40ebb8ed641d615eaadf1a7db8a0cbaedcd21198df5c5d7d03 44CzTLaNiD...iog9cZTbxb 0.000252589600 XMR 64893493 [Payout Proof #86]
87 b1c8ab6029c8f88d7808a5e32d228941908e82668fee5e7c6c5f9b2043b4da29 4Ac3sNcxiT...8c47gBq6Xf 0.000255326397 XMR 64893494 [Payout Proof #87]
88 cb885123f238e8968ce527d46239226d7b2807e462486d40cd817d1093c1a5e8 4AxaapsBMR...dqmAZLqaGN 0.024285547233 XMR 64893495 [Payout Proof #88]
89 ec841088f2b6ed15eb4987e1d8d49f9ee34a58b14293255e80d5c822bb7ceff5 43K5xVB8Wk...cziPPuxRGK 0.000251011810 XMR 64893496 [Payout Proof #89]
90 d248c6800973ed8ebf43d19f8acc8563a5469aa4aba76bb6331844ae44f3fe46 WTF 0.006400635580 XMR 64893497 [Payout Proof #90]
91 45d5f4808a53982d19f82418682ef6eaaaeb9716d0e4ed908ea68dbcc0f29bf3 43DkeCYkbL...rkfNj5i7yA 0.001307688999 XMR 64893498 [Payout Proof #91]
92 930879589ec3c82f4d8c439f110f620925b6d43493c1fab8cb7ec01885039ddd Miner 0.000253811180 XMR 64893499 [Payout Proof #92]
93 0566f2dc249b2d9bfa3b59e4a87ada3034aadb4db0b9b414c9e33a0694ffac19 44bpsy6MYU...8YN9waVpqo 0.000256544683 XMR 64893500 [Payout Proof #93]