0000000000000000000000000000000000000000 67fd7582140994bd53af5d33bf1aa5e9a63dd304 Jip Spel <jip.spel@cs.rwth-aachen.de> 1560354340 +0200	clone: from https://github.com/smtrat/carl
