Joined: 8 Jul 11
The final level of the decic search over Q(i) has surpassed the 1/3 point. As mentioned previously, this is an extremely large search, so this is a worthy achievement. Only 2 more thirds to go. Congrats everyone!