Thassa's Oracle

When Thassa's Oracle enters, look at the top X cards of your library, where X is your devotion
to blue. Put up to one of them on top of your library and the rest on the bottom of your library in a random order. If X is greater than
or equal to the number of cards in your library, you win the game. (Each {u} in the
mana costs of permanents you control counts toward your devotion to blue.)