div class=trans-pagebuttonPage 1button div class=trans-image a href=https:reader043fdocumentsnetreader043viewer20220307115afaf7587f8b9a19548ea21bhtml5page1jpg target=_blank amp-img class=trans-thumb alt=Page 1: pagepersolifuniv-mrsfrpagepersolifuniv-mrsfr~shantanudasM1algodistThe other Yo- Yo is a minimum-finding protocol which is exceedingly simple to specify and to prove src=https:reader043fdocumentsnetreader043viewer20220307115afaf7587f8b9a19548ea21bhtml5thumbnails1jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=trans-pagebuttonPage 2button div class=trans-image a href=https:reader043fdocumentsnetreader043viewer20220307115afaf7587f8b9a19548ea21bhtml5page2jpg target=_blank amp-img class=trans-thumb alt=Page 2: pagepersolifuniv-mrsfrpagepersolifuniv-mrsfr~shantanudasM1algodistThe other Yo- Yo is a minimum-finding protocol which is exceedingly simple to specify and to prove src=https:reader043fdocumentsnetreader043viewer20220307115afaf7587f8b9a19548ea21bhtml5thumbnails2jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=trans-pagebuttonPage 3button div class=trans-image a href=https:reader043fdocumentsnetreader043viewer20220307115afaf7587f8b9a19548ea21bhtml5page3jpg target=_blank amp-img class=trans-thumb alt=Page 3: pagepersolifuniv-mrsfrpagepersolifuniv-mrsfr~shantanudasM1algodistThe other Yo- Yo is a minimum-finding protocol which is exceedingly simple to specify and to prove src=https:reader043fdocumentsnetreader043viewer20220307115afaf7587f8b9a19548ea21bhtml5thumbnails3jpg width=142 height=106 layout=responsive amp-imga divdivdiv class=trans-pagebuttonPage 4button div class=trans-image a href=https:reader043fdocumentsnetreader043viewer20220307115afaf7587f8b9a19548ea21bhtml5page4jpg target=_blank amp-img class=trans-thumb alt=Page 4: pagepersolifuniv-mrsfrpagepersolifuniv-mrsfr~shantanudasM1algodistThe other Yo- Yo is a minimum-finding protocol which is exceedingly simple to specify and to prove...