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