Gopkg.lock 16 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696
  1. # This file is autogenerated, do not edit; changes may be undone by the next 'dep ensure'.
  2. [[projects]]
  3. name = "cloud.google.com/go"
  4. packages = ["compute/metadata"]
  5. revision = "056a55f54a6cc77b440b31a56a5e7c3982d32811"
  6. version = "v0.22.0"
  7. [[projects]]
  8. name = "github.com/BurntSushi/toml"
  9. packages = ["."]
  10. revision = "b26d9c308763d68093482582cea63d69be07a0f0"
  11. version = "v0.3.0"
  12. [[projects]]
  13. branch = "master"
  14. name = "github.com/Unknwon/com"
  15. packages = ["."]
  16. revision = "7677a1d7c1137cd3dd5ba7a076d0c898a1ef4520"
  17. [[projects]]
  18. branch = "master"
  19. name = "github.com/VividCortex/mysqlerr"
  20. packages = ["."]
  21. revision = "6c6b55f8796f578c870b7e19bafb16103bc40095"
  22. [[projects]]
  23. name = "github.com/aws/aws-sdk-go"
  24. packages = [
  25. "aws",
  26. "aws/awserr",
  27. "aws/awsutil",
  28. "aws/client",
  29. "aws/client/metadata",
  30. "aws/corehandlers",
  31. "aws/credentials",
  32. "aws/credentials/ec2rolecreds",
  33. "aws/credentials/endpointcreds",
  34. "aws/credentials/stscreds",
  35. "aws/csm",
  36. "aws/defaults",
  37. "aws/ec2metadata",
  38. "aws/endpoints",
  39. "aws/request",
  40. "aws/session",
  41. "aws/signer/v4",
  42. "internal/sdkio",
  43. "internal/sdkrand",
  44. "internal/shareddefaults",
  45. "private/protocol",
  46. "private/protocol/ec2query",
  47. "private/protocol/eventstream",
  48. "private/protocol/eventstream/eventstreamapi",
  49. "private/protocol/query",
  50. "private/protocol/query/queryutil",
  51. "private/protocol/rest",
  52. "private/protocol/restxml",
  53. "private/protocol/xml/xmlutil",
  54. "service/cloudwatch",
  55. "service/ec2",
  56. "service/ec2/ec2iface",
  57. "service/s3",
  58. "service/sts"
  59. ]
  60. revision = "fde4ded7becdeae4d26bf1212916aabba79349b4"
  61. version = "v1.14.12"
  62. [[projects]]
  63. branch = "master"
  64. name = "github.com/benbjohnson/clock"
  65. packages = ["."]
  66. revision = "7dc76406b6d3c05b5f71a86293cbcf3c4ea03b19"
  67. [[projects]]
  68. branch = "master"
  69. name = "github.com/beorn7/perks"
  70. packages = ["quantile"]
  71. revision = "3a771d992973f24aa725d07868b467d1ddfceafb"
  72. [[projects]]
  73. branch = "master"
  74. name = "github.com/bmizerany/assert"
  75. packages = ["."]
  76. revision = "b7ed37b82869576c289d7d97fb2bbd8b64a0cb28"
  77. [[projects]]
  78. branch = "master"
  79. name = "github.com/bradfitz/gomemcache"
  80. packages = ["memcache"]
  81. revision = "1952afaa557dc08e8e0d89eafab110fb501c1a2b"
  82. [[projects]]
  83. branch = "master"
  84. name = "github.com/codahale/hdrhistogram"
  85. packages = ["."]
  86. revision = "3a0bb77429bd3a61596f5e8a3172445844342120"
  87. [[projects]]
  88. name = "github.com/codegangsta/cli"
  89. packages = ["."]
  90. revision = "cfb38830724cc34fedffe9a2a29fb54fa9169cd1"
  91. version = "v1.20.0"
  92. [[projects]]
  93. name = "github.com/davecgh/go-spew"
  94. packages = ["spew"]
  95. revision = "346938d642f2ec3594ed81d874461961cd0faa76"
  96. version = "v1.1.0"
  97. [[projects]]
  98. name = "github.com/denisenkom/go-mssqldb"
  99. packages = [
  100. ".",
  101. "internal/cp"
  102. ]
  103. revision = "270bc3860bb94dd3a3ffd047377d746c5e276726"
  104. [[projects]]
  105. branch = "master"
  106. name = "github.com/facebookgo/inject"
  107. packages = ["."]
  108. revision = "cc1aa653e50f6a9893bcaef89e673e5b24e1e97b"
  109. [[projects]]
  110. branch = "master"
  111. name = "github.com/facebookgo/structtag"
  112. packages = ["."]
  113. revision = "217e25fb96916cc60332e399c9aa63f5c422ceed"
  114. [[projects]]
  115. name = "github.com/fatih/color"
  116. packages = ["."]
  117. revision = "5b77d2a35fb0ede96d138fc9a99f5c9b6aef11b4"
  118. version = "v1.7.0"
  119. [[projects]]
  120. name = "github.com/go-ini/ini"
  121. packages = ["."]
  122. revision = "6529cf7c58879c08d927016dde4477f18a0634cb"
  123. version = "v1.36.0"
  124. [[projects]]
  125. branch = "master"
  126. name = "github.com/go-macaron/binding"
  127. packages = ["."]
  128. revision = "ac54ee249c27dca7e76fad851a4a04b73bd1b183"
  129. [[projects]]
  130. branch = "master"
  131. name = "github.com/go-macaron/gzip"
  132. packages = ["."]
  133. revision = "cad1c6580a07c56f5f6bc52d66002a05985c5854"
  134. [[projects]]
  135. branch = "master"
  136. name = "github.com/go-macaron/inject"
  137. packages = ["."]
  138. revision = "d8a0b8677191f4380287cfebd08e462217bac7ad"
  139. [[projects]]
  140. branch = "master"
  141. name = "github.com/go-macaron/session"
  142. packages = [
  143. ".",
  144. "memcache",
  145. "postgres",
  146. "redis"
  147. ]
  148. revision = "068d408f9c54c7fa7fcc5e2bdd3241ab21280c9e"
  149. [[projects]]
  150. name = "github.com/go-sql-driver/mysql"
  151. packages = ["."]
  152. revision = "2cc627ac8defc45d65066ae98f898166f580f9a4"
  153. [[projects]]
  154. name = "github.com/go-stack/stack"
  155. packages = ["."]
  156. revision = "259ab82a6cad3992b4e21ff5cac294ccb06474bc"
  157. version = "v1.7.0"
  158. [[projects]]
  159. name = "github.com/go-xorm/builder"
  160. packages = ["."]
  161. revision = "bad0a612f0d6277b953910822ab5dfb30dd18237"
  162. version = "v0.2.0"
  163. [[projects]]
  164. name = "github.com/go-xorm/core"
  165. packages = ["."]
  166. revision = "da1adaf7a28ca792961721a34e6e04945200c890"
  167. version = "v0.5.7"
  168. [[projects]]
  169. name = "github.com/go-xorm/xorm"
  170. packages = ["."]
  171. revision = "1933dd69e294c0a26c0266637067f24dbb25770c"
  172. version = "v0.6.4"
  173. [[projects]]
  174. branch = "master"
  175. name = "github.com/golang/protobuf"
  176. packages = [
  177. "proto",
  178. "ptypes",
  179. "ptypes/any",
  180. "ptypes/duration",
  181. "ptypes/timestamp"
  182. ]
  183. revision = "927b65914520a8b7d44f5c9057611cfec6b2e2d0"
  184. [[projects]]
  185. branch = "master"
  186. name = "github.com/gopherjs/gopherjs"
  187. packages = ["js"]
  188. revision = "8dffc02ea1cb8398bb73f30424697c60fcf8d4c5"
  189. [[projects]]
  190. name = "github.com/gorilla/websocket"
  191. packages = ["."]
  192. revision = "ea4d1f681babbce9545c9c5f3d5194a789c89f5b"
  193. version = "v1.2.0"
  194. [[projects]]
  195. name = "github.com/gosimple/slug"
  196. packages = ["."]
  197. revision = "e9f42fa127660e552d0ad2b589868d403a9be7c6"
  198. version = "v1.1.1"
  199. [[projects]]
  200. branch = "master"
  201. name = "github.com/grafana/grafana-plugin-model"
  202. packages = [
  203. "go/datasource",
  204. "go/renderer"
  205. ]
  206. revision = "84176c64269d8060f99e750ee8aba6f062753336"
  207. [[projects]]
  208. branch = "master"
  209. name = "github.com/hashicorp/go-hclog"
  210. packages = ["."]
  211. revision = "69ff559dc25f3b435631604f573a5fa1efdb6433"
  212. [[projects]]
  213. name = "github.com/hashicorp/go-plugin"
  214. packages = ["."]
  215. revision = "e8d22c780116115ae5624720c9af0c97afe4f551"
  216. [[projects]]
  217. branch = "master"
  218. name = "github.com/hashicorp/go-version"
  219. packages = ["."]
  220. revision = "23480c0665776210b5fbbac6eaaee40e3e6a96b7"
  221. [[projects]]
  222. branch = "master"
  223. name = "github.com/hashicorp/yamux"
  224. packages = ["."]
  225. revision = "7221087c3d281fda5f794e28c2ea4c6e4d5c4558"
  226. [[projects]]
  227. name = "github.com/inconshreveable/log15"
  228. packages = ["."]
  229. revision = "0decfc6c20d9ca0ad143b0e89dcaa20f810b4fb3"
  230. version = "v2.13"
  231. [[projects]]
  232. name = "github.com/jmespath/go-jmespath"
  233. packages = ["."]
  234. revision = "0b12d6b5"
  235. [[projects]]
  236. name = "github.com/jtolds/gls"
  237. packages = ["."]
  238. revision = "77f18212c9c7edc9bd6a33d383a7b545ce62f064"
  239. version = "v4.2.1"
  240. [[projects]]
  241. name = "github.com/klauspost/compress"
  242. packages = [
  243. "flate",
  244. "gzip"
  245. ]
  246. revision = "6c8db69c4b49dd4df1fff66996cf556176d0b9bf"
  247. version = "v1.2.1"
  248. [[projects]]
  249. name = "github.com/klauspost/cpuid"
  250. packages = ["."]
  251. revision = "ae7887de9fa5d2db4eaa8174a7eff2c1ac00f2da"
  252. version = "v1.1"
  253. [[projects]]
  254. name = "github.com/klauspost/crc32"
  255. packages = ["."]
  256. revision = "cb6bfca970f6908083f26f39a79009d608efd5cd"
  257. version = "v1.1"
  258. [[projects]]
  259. name = "github.com/kr/pretty"
  260. packages = ["."]
  261. revision = "73f6ac0b30a98e433b289500d779f50c1a6f0712"
  262. version = "v0.1.0"
  263. [[projects]]
  264. name = "github.com/kr/text"
  265. packages = ["."]
  266. revision = "e2ffdb16a802fe2bb95e2e35ff34f0e53aeef34f"
  267. version = "v0.1.0"
  268. [[projects]]
  269. branch = "master"
  270. name = "github.com/lib/pq"
  271. packages = [
  272. ".",
  273. "oid"
  274. ]
  275. revision = "d34b9ff171c21ad295489235aec8b6626023cd04"
  276. [[projects]]
  277. name = "github.com/mattn/go-colorable"
  278. packages = ["."]
  279. revision = "167de6bfdfba052fa6b2d3664c8f5272e23c9072"
  280. version = "v0.0.9"
  281. [[projects]]
  282. name = "github.com/mattn/go-isatty"
  283. packages = ["."]
  284. revision = "0360b2af4f38e8d38c7fce2a9f4e702702d73a39"
  285. version = "v0.0.3"
  286. [[projects]]
  287. name = "github.com/mattn/go-sqlite3"
  288. packages = ["."]
  289. revision = "323a32be5a2421b8c7087225079c6c900ec397cd"
  290. version = "v1.7.0"
  291. [[projects]]
  292. name = "github.com/matttproud/golang_protobuf_extensions"
  293. packages = ["pbutil"]
  294. revision = "3247c84500bff8d9fb6d579d800f20b3e091582c"
  295. version = "v1.0.0"
  296. [[projects]]
  297. branch = "master"
  298. name = "github.com/mitchellh/go-testing-interface"
  299. packages = ["."]
  300. revision = "a61a99592b77c9ba629d254a693acffaeb4b7e28"
  301. [[projects]]
  302. name = "github.com/oklog/run"
  303. packages = ["."]
  304. revision = "4dadeb3030eda0273a12382bb2348ffc7c9d1a39"
  305. version = "v1.0.0"
  306. [[projects]]
  307. name = "github.com/opentracing/opentracing-go"
  308. packages = [
  309. ".",
  310. "ext",
  311. "log"
  312. ]
  313. revision = "1949ddbfd147afd4d964a9f00b24eb291e0e7c38"
  314. version = "v1.0.2"
  315. [[projects]]
  316. name = "github.com/patrickmn/go-cache"
  317. packages = ["."]
  318. revision = "a3647f8e31d79543b2d0f0ae2fe5c379d72cedc0"
  319. version = "v2.1.0"
  320. [[projects]]
  321. name = "github.com/pkg/errors"
  322. packages = ["."]
  323. revision = "645ef00459ed84a119197bfb8d8205042c6df63d"
  324. version = "v0.8.0"
  325. [[projects]]
  326. name = "github.com/prometheus/client_golang"
  327. packages = [
  328. "api",
  329. "api/prometheus/v1",
  330. "prometheus",
  331. "prometheus/promhttp"
  332. ]
  333. revision = "967789050ba94deca04a5e84cce8ad472ce313c1"
  334. version = "v0.9.0-pre1"
  335. [[projects]]
  336. branch = "master"
  337. name = "github.com/prometheus/client_model"
  338. packages = ["go"]
  339. revision = "99fa1f4be8e564e8a6b613da7fa6f46c9edafc6c"
  340. [[projects]]
  341. branch = "master"
  342. name = "github.com/prometheus/common"
  343. packages = [
  344. "expfmt",
  345. "internal/bitbucket.org/ww/goautoneg",
  346. "model"
  347. ]
  348. revision = "d811d2e9bf898806ecfb6ef6296774b13ffc314c"
  349. [[projects]]
  350. branch = "master"
  351. name = "github.com/prometheus/procfs"
  352. packages = [
  353. ".",
  354. "internal/util",
  355. "nfs",
  356. "xfs"
  357. ]
  358. revision = "8b1c2da0d56deffdbb9e48d4414b4e674bd8083e"
  359. [[projects]]
  360. branch = "master"
  361. name = "github.com/rainycape/unidecode"
  362. packages = ["."]
  363. revision = "cb7f23ec59bec0d61b19c56cd88cee3d0cc1870c"
  364. [[projects]]
  365. name = "github.com/sergi/go-diff"
  366. packages = ["diffmatchpatch"]
  367. revision = "1744e2970ca51c86172c8190fadad617561ed6e7"
  368. version = "v1.0.0"
  369. [[projects]]
  370. name = "github.com/smartystreets/assertions"
  371. packages = [
  372. ".",
  373. "internal/go-render/render",
  374. "internal/oglematchers"
  375. ]
  376. revision = "7678a5452ebea5b7090a6b163f844c133f523da2"
  377. version = "1.8.3"
  378. [[projects]]
  379. name = "github.com/smartystreets/goconvey"
  380. packages = [
  381. "convey",
  382. "convey/gotest",
  383. "convey/reporting"
  384. ]
  385. revision = "9e8dc3f972df6c8fcc0375ef492c24d0bb204857"
  386. version = "1.6.3"
  387. [[projects]]
  388. branch = "master"
  389. name = "github.com/teris-io/shortid"
  390. packages = ["."]
  391. revision = "771a37caa5cf0c81f585d7b6df4dfc77e0615b5c"
  392. [[projects]]
  393. name = "github.com/uber/jaeger-client-go"
  394. packages = [
  395. ".",
  396. "config",
  397. "internal/baggage",
  398. "internal/baggage/remote",
  399. "internal/spanlog",
  400. "internal/throttler",
  401. "internal/throttler/remote",
  402. "log",
  403. "rpcmetrics",
  404. "thrift",
  405. "thrift-gen/agent",
  406. "thrift-gen/baggage",
  407. "thrift-gen/jaeger",
  408. "thrift-gen/sampling",
  409. "thrift-gen/zipkincore",
  410. "utils"
  411. ]
  412. revision = "b043381d944715b469fd6b37addfd30145ca1758"
  413. version = "v2.14.0"
  414. [[projects]]
  415. name = "github.com/uber/jaeger-lib"
  416. packages = ["metrics"]
  417. revision = "ed3a127ec5fef7ae9ea95b01b542c47fbd999ce5"
  418. version = "v1.5.0"
  419. [[projects]]
  420. name = "github.com/yudai/gojsondiff"
  421. packages = [
  422. ".",
  423. "formatter"
  424. ]
  425. revision = "7b1b7adf999dab73a6eb02669c3d82dbb27a3dd6"
  426. version = "1.0.0"
  427. [[projects]]
  428. branch = "master"
  429. name = "github.com/yudai/golcs"
  430. packages = ["."]
  431. revision = "ecda9a501e8220fae3b4b600c3db4b0ba22cfc68"
  432. [[projects]]
  433. branch = "master"
  434. name = "golang.org/x/crypto"
  435. packages = [
  436. "ed25519",
  437. "ed25519/internal/edwards25519",
  438. "md4",
  439. "pbkdf2"
  440. ]
  441. revision = "1a580b3eff7814fc9b40602fd35256c63b50f491"
  442. [[projects]]
  443. branch = "master"
  444. name = "golang.org/x/net"
  445. packages = [
  446. "context",
  447. "context/ctxhttp",
  448. "http/httpguts",
  449. "http2",
  450. "http2/hpack",
  451. "idna",
  452. "internal/timeseries",
  453. "trace"
  454. ]
  455. revision = "2491c5de3490fced2f6cff376127c667efeed857"
  456. [[projects]]
  457. branch = "master"
  458. name = "golang.org/x/oauth2"
  459. packages = [
  460. ".",
  461. "google",
  462. "internal",
  463. "jws",
  464. "jwt"
  465. ]
  466. revision = "cdc340f7c179dbbfa4afd43b7614e8fcadde4269"
  467. [[projects]]
  468. branch = "master"
  469. name = "golang.org/x/sync"
  470. packages = ["errgroup"]
  471. revision = "1d60e4601c6fd243af51cc01ddf169918a5407ca"
  472. [[projects]]
  473. branch = "master"
  474. name = "golang.org/x/sys"
  475. packages = ["unix"]
  476. revision = "7c87d13f8e835d2fb3a70a2912c811ed0c1d241b"
  477. [[projects]]
  478. name = "golang.org/x/text"
  479. packages = [
  480. "collate",
  481. "collate/build",
  482. "internal/colltab",
  483. "internal/gen",
  484. "internal/tag",
  485. "internal/triegen",
  486. "internal/ucd",
  487. "language",
  488. "secure/bidirule",
  489. "transform",
  490. "unicode/bidi",
  491. "unicode/cldr",
  492. "unicode/norm",
  493. "unicode/rangetable"
  494. ]
  495. revision = "f21a4dfb5e38f5895301dc265a8def02365cc3d0"
  496. version = "v0.3.0"
  497. [[projects]]
  498. name = "google.golang.org/appengine"
  499. packages = [
  500. ".",
  501. "cloudsql",
  502. "internal",
  503. "internal/app_identity",
  504. "internal/base",
  505. "internal/datastore",
  506. "internal/log",
  507. "internal/modules",
  508. "internal/remote_api",
  509. "internal/urlfetch",
  510. "urlfetch"
  511. ]
  512. revision = "150dc57a1b433e64154302bdc40b6bb8aefa313a"
  513. version = "v1.0.0"
  514. [[projects]]
  515. branch = "master"
  516. name = "google.golang.org/genproto"
  517. packages = ["googleapis/rpc/status"]
  518. revision = "7bb2a897381c9c5ab2aeb8614f758d7766af68ff"
  519. [[projects]]
  520. name = "google.golang.org/grpc"
  521. packages = [
  522. ".",
  523. "balancer",
  524. "balancer/base",
  525. "balancer/roundrobin",
  526. "codes",
  527. "connectivity",
  528. "credentials",
  529. "encoding",
  530. "encoding/proto",
  531. "grpclb/grpc_lb_v1/messages",
  532. "grpclog",
  533. "health",
  534. "health/grpc_health_v1",
  535. "internal",
  536. "keepalive",
  537. "metadata",
  538. "naming",
  539. "peer",
  540. "resolver",
  541. "resolver/dns",
  542. "resolver/passthrough",
  543. "stats",
  544. "status",
  545. "tap",
  546. "transport"
  547. ]
  548. revision = "1e2570b1b19ade82d8dbb31bba4e65e9f9ef5b34"
  549. version = "v1.11.1"
  550. [[projects]]
  551. branch = "v3"
  552. name = "gopkg.in/alexcesaro/quotedprintable.v3"
  553. packages = ["."]
  554. revision = "2caba252f4dc53eaf6b553000885530023f54623"
  555. [[projects]]
  556. name = "gopkg.in/asn1-ber.v1"
  557. packages = ["."]
  558. revision = "379148ca0225df7a432012b8df0355c2a2063ac0"
  559. version = "v1.2"
  560. [[projects]]
  561. name = "gopkg.in/bufio.v1"
  562. packages = ["."]
  563. revision = "567b2bfa514e796916c4747494d6ff5132a1dfce"
  564. version = "v1"
  565. [[projects]]
  566. name = "gopkg.in/ini.v1"
  567. packages = ["."]
  568. revision = "6529cf7c58879c08d927016dde4477f18a0634cb"
  569. version = "v1.36.0"
  570. [[projects]]
  571. name = "gopkg.in/ldap.v3"
  572. packages = ["."]
  573. revision = "5c2c0f997205c29de14cb6c35996370c2c5dfab1"
  574. version = "v3"
  575. [[projects]]
  576. name = "gopkg.in/macaron.v1"
  577. packages = ["."]
  578. revision = "c1be95e6d21e769e44e1ec33cec9da5837861c10"
  579. version = "v1.3.1"
  580. [[projects]]
  581. branch = "v2"
  582. name = "gopkg.in/mail.v2"
  583. packages = ["."]
  584. revision = "5bc5c8bb07bd8d2803831fbaf8cbd630fcde2c68"
  585. [[projects]]
  586. name = "gopkg.in/redis.v2"
  587. packages = ["."]
  588. revision = "e6179049628164864e6e84e973cfb56335748dea"
  589. version = "v2.3.2"
  590. [[projects]]
  591. name = "gopkg.in/square/go-jose.v2"
  592. packages = [
  593. ".",
  594. "cipher",
  595. "json"
  596. ]
  597. revision = "ef984e69dd356202fd4e4910d4d9c24468bdf0b8"
  598. version = "v2.1.9"
  599. [[projects]]
  600. branch = "v2"
  601. name = "gopkg.in/yaml.v2"
  602. packages = ["."]
  603. revision = "5420a8b6744d3b0345ab293f6fcba19c978f1183"
  604. [solve-meta]
  605. analyzer-name = "dep"
  606. analyzer-version = 1
  607. inputs-digest = "88f0eb826b9c154ba46ea3bb64767707d86db75449ec75199eb2b8cf2b337fd4"
  608. solver-name = "gps-cdcl"
  609. solver-version = 1