TheoremXProject
#487 in Wisconsin
Gamerscore
600