{"shas":[["9895f44072aecf6c33e5072ec3c9705bc3d84c95","dd61f76bbd3761ff6aaff29b2c22037cc5554487@lapbroy48.informatik.tu-muenchen.de","a few stylistic changes","Jasmin Blanchette"],["cf5a292edf35e948b3db78e50f987cf8d30df75d","dd61f76bbd3761ff6aaff29b2c22037cc5554487@lapbroy48.informatik.tu-muenchen.de","added intro -- currently just copy-pasted from wiki","Jasmin Blanchette"]],"ref":"refs/heads/master","size":2,"head":"cf5a292edf35e948b3db78e50f987cf8d30df75d","push_id":42526691}