[8t]-[8t] [qy] [8u]-[3t]- [4y]-[$y]-[5y]-r- [5y]-[5y] [0u] [5i]-[5r]- [0t]-[8u]-[5o]-[9r]- [5o] p [6o] [7i] [8u]-[8t]- [8i]-[8o]-[qp]-- [4s]-[4a] p [8o]-[8t]- [5u]-[5y]-[wy]-r- [qo] p [7o] i [8u]-[8t] ^ [6i] 9 [5o] E [4p]-- [4s]-[4a] [6p] [8o]-[6t]- [5u]-[5y]-[8t]-- [8t]-[8t] [qy] [8u]-[3t]- [4y]-[$y]-[5y]-r- [5y]-[5y] [0u] [5i]-[5r]- [0t]-[8u]-[5o]-[9r]- [5o] p [6o] [7i] [8u]-[8t]- [8i]-[8o]-[qp]-- [4s]-[4a] p [8o]-[8t]- [5u]-[5y]-[wy]-r- [qo] p [7o] i [8u]-[8t] ^ [6i] 9 [5o] E [4p]-- [4s]-[4a] [6p] [8o]-[6t]- [5u]-[5y]-[8t]-- [8t]-[8t] [qy] [8u]-[3t]- [4y]-[$y]-[5y]-r- [5y]-[5y] [0u] [5i]-[5r]- [0t]-[8u]-[5o]-[9r]- [5o] p [6o] [7i] [8u]-[8t]- [8i]-[8o]-[qp]-- [4s]-[4a] p [8o]-[8t]- [5u]-[5y]-[wy]-r- [qo] p [7o] i [8u]-[8t] ^ [6i] 9 [5o] E [4p]-- [4s]-[4a] [6p] [8o]-[6t]- [5u]-[5y]-[8t]