In reply to @alexbellos
@alexbellos at the very least it's in PSPACE
View this tweet on twitter.com
This tweet as JSON