Amazing programming should please Matt:-http://phys.org/news/2012-10-six-year-journey-proof-feit-thompson-theorem.html