Mira
... that IBM's Mira is listed by TOP500 as the third-fastest supercomputer in the world as of June 2012?
... that <a href="./IBM" id="mwARY" rel="mw:WikiLink" title="IBM">IBM</a>'s <b id="mwARc"><a class="mw-redirect" href="./IBM_Mira" id="mwARg" rel="mw:WikiLink" title="IBM Mira">Mira</a></b> is listed by <a href="./TOP500" id="mwARk" rel="mw:WikiLink" title="TOP500">TOP500</a> as the third-fastest <a href="./Supercomputer" id="mwARo" rel="mw:WikiLink" title="Supercomputer">supercomputer</a> in the world as of June<span id="mwARs" typeof="mw:Entity"> </span>2012?