# This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'. [solve-meta] analyzer-name = "dep" analyzer-version = 1 input-imports = [] solver-name = "gps-cdcl" solver-version = 1
