Best lower bound for the min. length of superpermutations proved by wikiusertwitter.com·3 pts·philippz·0