0000000000000000000000000000000000000000 e63eaea8baf00bed8bcd5a29ffd8823abb265b39 Witold Filipczyk <witekfl@poczta.onet.pl> 1777378670 +0200	clone: from https://github.com/nim-lang/sat.git
