Imports github.com/FabianWe/dimacscnf Standard library imports bufio bytes errors fmt io sort strconv sync