Upload folder using huggingface_hub (part 21)

objects/0b/0b0d804631128e407859252e2d639b39fda02e0f0347358e781eb0632caf69d4.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:551ae810d2cbae3bcf8076fa770ebe043cf14fd4b15c5311bde519d52457e974
+size 119

objects/0b/0b0ecb0278b83a9ff6a52b1d98168bd7de13a85ae2d45daa4473423c5461accc.cnf

@@ -0,0 +1,135 @@
+p cnf 30 134
+3 5 25 0
+-5 -3 9 0
+-22 5 6 0
+-24 -19 27 0
+-14 17 21 0
+2 9 12 0
+-17 16 29 0
+-20 -10 19 0
+-28 -11 29 0
+-11 3 7 0
+20 23 26 0
+-18 1 25 0
+-19 -11 21 0
+-22 -12 26 0
+-22 -19 -7 0
+-17 -3 24 0
+-29 -17 22 0
+-26 -16 8 0
+-23 -15 -12 0
+-30 -19 -3 0
+-19 8 13 0
+-25 -14 26 0
+-18 9 20 0
+-23 -7 10 0
+-6 3 17 0
+-30 -13 -12 0
+-20 -13 16 0
+-23 -21 3 0
+-30 -20 15 0
+5 11 18 0
+-14 -9 30 0
+-26 -25 13 0
+1 25 30 0
+-24 -17 -2 0
+5 19 28 0
+-23 -6 30 0
+-19 -7 18 0
+-27 -21 -11 0
+-15 -5 -3 0
+-13 -7 -1 0
+-22 -16 19 0
+-8 -3 2 0
+-17 -13 11 0
+-19 -12 11 0
+-17 -3 20 0
+-27 -15 19 0
+-5 9 21 0
+-23 -16 1 0
+-30 -20 -8 0
+-7 5 16 0
+-30 -21 8 0
+-4 11 30 0
+-27 -19 -9 0
+-25 -23 -17 0
+-11 20 28 0
+-13 -1 28 0
+-30 -20 -17 0
+-3 7 14 0
+-17 -16 19 0
+-30 1 25 0
+-3 22 27 0
+-20 7 30 0
+-1 7 29 0
+-27 -11 -5 0
+-30 -18 1 0
+-11 2 5 0
+-4 10 22 0
+-30 -20 -14 0
+-12 -11 9 0
+-26 -18 6 0
+-8 -4 19 0
+-10 1 2 0
+-27 -23 -15 0
+-22 -7 -6 0
+-23 3 15 0
+-24 -21 12 0
+12 29 30 0
+-20 -14 18 0
+-9 3 23 0
+-16 14 26 0
+-28 -7 4 0
+-12 17 28 0
+-30 -15 -2 0
+-23 -16 5 0
+-12 9 15 0
+-27 -14 -3 0
+-16 -14 -2 0
+-27 -10 4 0
+-9 -2 -1 0
+-15 1 24 0
+-30 -25 18 0
+-20 -12 -4 0
+-27 -7 17 0
+-22 9 17 0
+-25 -2 3 0
+-21 -11 3 0
+-11 16 23 0
+2 4 7 0
+-4 13 28 0
+-2 17 23 0
+-29 1 5 0
+-29 -28 30 0
+-26 -12 8 0
+-5 21 23 0
+5 15 23 0
+-14 20 27 0
+-21 -20 -1 0
+6 15 26 0
+-19 6 28 0
+-20 -6 5 0
+-28 13 23 0
+-26 -11 6 0
+-7 -1 26 0
+-14 7 28 0
+4 9 11 0
+14 16 18 0
+-10 -9 1 0
+8 14 24 0
+8 11 21 0
+-5 2 17 0
+-20 -18 30 0
+-25 -14 -7 0
+-22 2 11 0
+-29 -17 2 0
+-21 18 29 0
+-11 15 27 0
+-28 -11 4 0
+-2 9 16 0
+-19 -14 -3 0
+-18 4 24 0
+-30 7 22 0
+-23 14 18 0
+-16 -9 28 0
+-19 10 25 0

objects/0b/0b0ecb0278b83a9ff6a52b1d98168bd7de13a85ae2d45daa4473423c5461accc.witness.json

@@ -0,0 +1,36 @@
+{
+  "assignments": [
+    [
+      1,
+      -2,
+      -3,
+      4,
+      5,
+      6,
+      7,
+      8,
+      9,
+      10,
+      -11,
+      -12,
+      -13,
+      -14,
+      15,
+      16,
+      17,
+      18,
+      19,
+      -20,
+      -21,
+      -22,
+      23,
+      -24,
+      -25,
+      26,
+      -27,
+      28,
+      -29,
+      30
+    ]
+  ]
+}

objects/0b/0b0f2f859eebb49fd575144d8642ec7682d1685fdad86325b9f683aaafc8f1e5.cnf

@@ -0,0 +1,89 @@
+p cnf 20 88
+-10 -4 17 0
+7 18 20 0
+-13 -6 20 0
+-5 3 10 0
+-9 14 17 0
+8 15 19 0
+-11 -6 15 0
+-20 -15 3 0
+-9 10 11 0
+-11 -3 -1 0
+-12 -8 17 0
+-7 -4 18 0
+6 7 18 0
+-18 -16 20 0
+-7 2 18 0
+-18 -12 -11 0
+-18 8 9 0
+-19 -17 10 0
+-19 -16 -11 0
+-7 11 20 0
+-6 3 15 0
+-16 -9 -5 0
+9 10 17 0
+-9 -4 2 0
+-4 12 16 0
+-3 4 9 0
+-18 13 20 0
+-4 17 20 0
+-20 -17 11 0
+-8 12 19 0
+5 8 10 0
+-15 -6 2 0
+-15 1 20 0
+-10 -7 -2 0
+4 14 20 0
+5 11 19 0
+-18 -16 4 0
+-3 4 11 0
+-14 2 13 0
+12 19 20 0
+-7 5 19 0
+-15 3 16 0
+-13 -8 18 0
+-6 14 15 0
+-19 10 13 0
+-18 -16 -12 0
+-5 1 8 0
+6 13 20 0
+-12 -3 14 0
+-18 -8 6 0
+-18 -4 9 0
+-15 14 17 0
+-11 13 16 0
+-18 -2 20 0
+-3 8 19 0
+-1 13 18 0
+-18 3 15 0
+-19 -10 13 0
+-18 -16 -4 0
+-7 9 17 0
+-11 8 13 0
+-7 15 19 0
+1 2 18 0
+-7 -3 13 0
+1 7 15 0
+-2 4 11 0
+-9 -5 10 0
+-9 11 20 0
+-18 -13 15 0
+-19 -14 7 0
+-7 12 15 0
+-2 5 19 0
+9 16 17 0
+4 5 7 0
+-15 3 12 0
+-3 7 19 0
+6 8 14 0
+-13 -4 16 0
+9 10 11 0
+10 13 19 0
+-5 16 17 0
+-18 2 12 0
+-16 -4 7 0
+-20 -18 5 0
+-20 -18 8 0
+-18 -12 9 0
+-17 -10 1 0
+-18 -11 3 0

objects/0b/0b0f2f859eebb49fd575144d8642ec7682d1685fdad86325b9f683aaafc8f1e5.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1e3f19cee0ffccf59d250fe6958187b9668ab231f182425ac25145c9748ad680
+size 84

objects/0b/0b0f3b401689a29c9ac6ccbbcc01bf0d96be5299eb690af28de16afcb9ea71b0.cnf

@@ -0,0 +1,139 @@
+p cnf 30 138
+-24 13 29 0
+6 14 17 0
+-16 -5 10 0
+-26 -24 -4 0
+-30 4 8 0
+-10 -8 2 0
+7 10 25 0
+-19 -4 12 0
+-15 -11 4 0
+-1 5 16 0
+-26 -12 -5 0
+20 28 29 0
+-24 9 23 0
+-17 -12 28 0
+-7 18 21 0
+10 13 25 0
+24 26 29 0
+-27 12 29 0
+-15 -8 -7 0
+-20 -17 -8 0
+-20 8 9 0
+-19 -9 14 0
+1 13 23 0
+-20 7 25 0
+-8 6 22 0
+-24 13 19 0
+-10 -2 22 0
+-6 15 16 0
+-28 -27 13 0
+-5 4 26 0
+-7 9 17 0
+-4 8 30 0
+-12 17 23 0
+13 16 20 0
+-1 22 26 0
+-29 -8 -3 0
+-27 -19 3 0
+-28 -23 -4 0
+-18 -1 16 0
+-17 23 29 0
+-30 -22 27 0
+-17 -16 26 0
+-9 -4 10 0
+11 15 17 0
+-12 1 5 0
+-30 16 17 0
+-10 22 24 0
+-21 -6 29 0
+-13 8 9 0
+-30 -2 13 0
+-29 -26 -17 0
+-13 14 15 0
+-9 -2 16 0
+-24 -5 20 0
+-30 -20 18 0
+-28 -27 -15 0
+-12 -1 25 0
+-20 8 25 0
+-7 20 28 0
+-4 11 16 0
+-9 -1 4 0
+-22 -6 -5 0
+-22 -8 -6 0
+-25 28 29 0
+-28 -23 10 0
+-24 -9 12 0
+-24 -13 -3 0
+-17 -6 8 0
+3 12 24 0
+-9 17 24 0
+-2 17 22 0
+7 17 30 0
+-6 9 30 0
+-30 -10 3 0
+-23 -11 24 0
+7 26 28 0
+-7 -3 4 0
+-23 11 28 0
+18 21 25 0
+-1 19 29 0
+12 15 25 0
+-24 -13 1 0
+-10 24 26 0
+-24 -20 -2 0
+-22 -12 20 0
+-18 -3 -1 0
+-16 -5 20 0
+-30 -24 13 0
+-28 -27 -20 0
+5 14 25 0
+-10 3 4 0
+-17 12 19 0
+-23 22 28 0
+-10 15 23 0
+-4 12 26 0
+-19 -18 -10 0
+-12 -11 27 0
+7 20 21 0
+-18 -14 20 0
+-26 4 24 0
+-9 11 16 0
+-26 -11 3 0
+5 12 28 0
+-28 -16 -9 0
+-25 -17 1 0
+1 15 28 0
+1 10 30 0
+-19 3 28 0
+-14 -11 8 0
+-22 -15 -3 0
+-25 -15 22 0
+-29 -11 16 0
+-18 2 6 0
+-14 4 15 0
+-29 -27 30 0
+-17 -5 12 0
+-28 -27 3 0
+-11 -8 28 0
+-14 -1 9 0
+-9 6 15 0
+-25 19 26 0
+-17 1 19 0
+-27 -20 -6 0
+-8 19 20 0
+-9 14 26 0
+2 14 15 0
+-13 26 28 0
+-4 8 21 0
+-30 10 16 0
+-6 2 23 0
+-14 -2 3 0
+-17 -15 -13 0
+9 22 27 0
+-20 -6 12 0
+-25 -19 -8 0
+-29 -4 3 0
+-16 -13 26 0
+4 17 24 0

objects/0b/0b0f3b401689a29c9ac6ccbbcc01bf0d96be5299eb690af28de16afcb9ea71b0.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:50fcdaeab117d49fa10fe040cfd3ec013c8db657f2a178a35702fe935ae7277b
+size 92

objects/0b/0b1085e0a466495a061a9ed5b0c844594ac774fb6040584eaf628674d0ae996d.cnf

@@ -0,0 +1,176 @@
+p cnf 40 175
+-27 -11 8 0
+-29 -15 40 0
+-30 -8 10 0
+-24 10 23 0
+-30 -11 5 0
+-39 2 15 0
+2 26 38 0
+-22 28 40 0
+19 21 26 0
+1 6 33 0
+-40 -20 -18 0
+-21 17 26 0
+-17 31 35 0
+-33 -3 29 0
+-33 6 24 0
+-31 -26 -3 0
+-31 -12 -2 0
+-20 6 21 0
+-13 -6 38 0
+-31 -28 6 0
+-25 -24 -9 0
+-29 -23 -18 0
+-17 -14 -4 0
+-14 -6 17 0
+-33 5 13 0
+-16 -10 25 0
+-26 15 21 0
+10 15 28 0
+-23 10 33 0
+-22 12 40 0
+21 22 37 0
+-30 -11 1 0
+-29 -22 -3 0
+-27 -25 11 0
+-32 21 23 0
+-24 2 16 0
+-31 -8 29 0
+-39 3 15 0
+-29 -23 -14 0
+-17 -4 5 0
+3 17 38 0
+-28 -4 22 0
+-27 4 15 0
+-24 -11 30 0
+4 17 28 0
+-40 -33 -6 0
+-39 -14 15 0
+-25 -13 12 0
+-34 -4 7 0
+-37 -20 12 0
+-40 8 25 0
+-31 -3 24 0
+-25 10 17 0
+-35 6 26 0
+5 32 34 0
+21 29 32 0
+-26 17 39 0
+14 24 29 0
+-31 23 39 0
+-22 11 38 0
+-40 -27 -16 0
+-11 25 30 0
+-28 -16 10 0
+-40 4 23 0
+-34 -25 -7 0
+-27 -24 36 0
+-3 -2 13 0
+-9 7 36 0
+-32 -5 35 0
+-5 17 29 0
+-33 -14 -8 0
+-34 -19 -1 0
+-39 35 38 0
+-14 13 15 0
+-28 19 26 0
+-39 -32 16 0
+-15 26 35 0
+15 33 37 0
+-25 -15 30 0
+-31 -24 16 0
+-23 -18 -12 0
+-16 20 39 0
+-5 20 27 0
+-4 13 30 0
+-33 -26 -19 0
+-40 18 34 0
+-15 5 30 0
+1 3 10 0
+-30 -25 -21 0
+-30 -5 21 0
+-36 -24 -6 0
+3 8 29 0
+-24 -19 -7 0
+-18 9 35 0
+-15 -3 27 0
+-15 -14 -2 0
+3 31 34 0
+3 21 38 0
+-25 -18 3 0
+-40 -19 11 0
+-39 -17 -6 0
+-33 -26 12 0
+-30 -10 -8 0
+-39 -24 -4 0
+-39 -21 -10 0
+-40 -26 -16 0
+-15 6 20 0
+-13 3 31 0
+-40 -34 -26 0
+4 20 30 0
+-37 -30 16 0
+-14 -4 37 0
+-20 15 19 0
+2 25 39 0
+-28 -16 9 0
+1 3 39 0
+-25 -13 16 0
+-35 -21 -17 0
+-39 -6 38 0
+-16 -4 27 0
+-23 -10 21 0
+-22 3 15 0
+-20 -10 17 0
+-38 -28 11 0
+-39 -15 34 0
+-9 1 2 0
+-27 -20 12 0
+-5 19 40 0
+21 25 26 0
+-20 -19 17 0
+-19 17 20 0
+-27 9 31 0
+-40 -21 5 0
+-37 -30 -7 0
+-1 29 40 0
+-36 -20 -10 0
+6 20 32 0
+-13 -10 -6 0
+-30 -25 -15 0
+-33 -27 19 0
+-34 7 35 0
+-28 -27 22 0
+-27 -22 12 0
+-17 14 34 0
+23 24 37 0
+19 30 38 0
+-24 -14 -9 0
+-33 -1 29 0
+12 31 40 0
+10 14 15 0
+-31 -16 1 0
+-16 -6 20 0
+-25 11 31 0
+-36 -33 -30 0
+-9 -1 34 0
+-13 30 37 0
+-31 12 30 0
+1 25 38 0
+1 2 14 0
+-34 32 36 0
+-9 -1 39 0
+-23 25 40 0
+-40 -20 9 0
+-39 -26 -8 0
+-29 -5 25 0
+-35 -23 30 0
+-19 -14 37 0
+-3 12 20 0
+-18 35 40 0
+-20 -3 19 0
+-24 -16 -1 0
+-38 -13 25 0
+-40 -38 -14 0
+-40 -19 36 0
+-34 -18 -14 0

objects/0b/0b1085e0a466495a061a9ed5b0c844594ac774fb6040584eaf628674d0ae996d.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:20bf58697610c8037e61f17eef761e9b7cd7c2166075f4caddfde2b56d07afae
+size 181

objects/0b/0b108997d080c201ca8dbeb0eccc0b687ad6471d2d1a9e279ef4e7c7c5495e88.cnf

@@ -0,0 +1,91 @@
+p cnf 20 90
+-10 11 20 0
+-6 -5 3 0
+-16 -8 -3 0
+5 8 20 0
+-17 -10 18 0
+-5 2 11 0
+-15 -13 6 0
+-19 -7 -4 0
+-12 2 14 0
+-19 11 16 0
+6 10 13 0
+3 13 15 0
+-20 11 19 0
+-20 4 18 0
+-14 -11 8 0
+-11 -2 15 0
+-14 17 18 0
+-15 12 13 0
+-10 -6 3 0
+-16 2 14 0
+-17 13 18 0
+-19 -8 -7 0
+-14 11 12 0
+-13 -8 -1 0
+-9 5 17 0
+-7 4 16 0
+-20 11 16 0
+-6 -1 16 0
+-15 -12 -11 0
+15 16 20 0
+-17 -14 11 0
+-18 -1 5 0
+9 10 20 0
+-16 -7 8 0
+-18 -9 2 0
+-18 -9 6 0
+-17 -14 1 0
+-7 -3 4 0
+-17 9 15 0
+-5 -2 19 0
+-18 -8 -5 0
+-19 -14 6 0
+-19 -5 4 0
+-13 -7 2 0
+-11 15 16 0
+8 9 14 0
+-5 10 20 0
+-14 7 13 0
+-8 13 16 0
+-13 -11 15 0
+-20 -10 9 0
+-6 1 16 0
+-9 6 10 0
+4 7 19 0
+-18 -2 10 0
+9 15 18 0
+-11 3 13 0
+-18 7 19 0
+9 18 20 0
+-2 -1 6 0
+-1 10 12 0
+-20 -17 -1 0
+-15 8 13 0
+-5 16 17 0
+-6 -4 16 0
+-16 -2 18 0
+-17 -15 10 0
+-16 -15 -7 0
+-19 -9 -5 0
+-20 -19 -7 0
+-16 -3 9 0
+-18 -13 1 0
+-20 1 16 0
+-8 -7 12 0
+-14 11 17 0
+-9 -6 12 0
+-15 -11 1 0
+-9 3 13 0
+-7 15 20 0
+-14 -2 3 0
+-17 5 14 0
+-11 4 7 0
+-20 -1 5 0
+-1 18 20 0
+-6 16 20 0
+5 7 12 0
+-8 -2 7 0
+-10 2 14 0
+-19 -1 13 0
+2 5 14 0

objects/0b/0b108997d080c201ca8dbeb0eccc0b687ad6471d2d1a9e279ef4e7c7c5495e88.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:eabcedfa45ecae07a2e5ee9257371dea8482bbe05f8e089baa0756bc3e1a26d0
+size 75

objects/0b/0b10a0a3694516220f9eb410cac0325b11cc9d85c5f54202468341a7b528292a.cnf

@@ -0,0 +1,136 @@
+p cnf 30 135
+-25 -14 10 0
+-25 -19 -6 0
+-28 -2 26 0
+-20 14 27 0
+2 8 17 0
+-24 -18 29 0
+-22 -21 5 0
+3 16 21 0
+-20 -5 2 0
+-29 -13 12 0
+-19 -6 20 0
+-3 5 7 0
+-13 -4 23 0
+-21 -8 3 0
+-20 19 29 0
+-29 -26 27 0
+4 17 18 0
+4 12 15 0
+-25 1 9 0
+-19 21 23 0
+-16 -5 20 0
+-20 21 25 0
+-14 7 15 0
+-21 9 15 0
+-5 3 7 0
+-30 -1 2 0
+11 22 23 0
+-26 -5 6 0
+6 14 24 0
+-16 28 30 0
+-18 2 4 0
+2 20 22 0
+4 5 14 0
+-24 -7 8 0
+-22 9 11 0
+-20 11 26 0
+-23 -21 -4 0
+-15 -4 26 0
+-28 -20 17 0
+-18 -16 14 0
+-23 -21 25 0
+12 16 27 0
+-24 -15 22 0
+-23 -14 18 0
+-27 -26 15 0
+-6 3 17 0
+-14 -12 10 0
+-21 -8 2 0
+-28 -11 -5 0
+-6 -3 13 0
+-21 -14 8 0
+-20 13 21 0
+-13 -12 -4 0
+-7 22 25 0
+-10 -4 20 0
+-9 4 29 0
+8 22 29 0
+-22 -8 -3 0
+-21 5 8 0
+-26 -23 10 0
+19 20 24 0
+-14 -10 5 0
+-28 15 29 0
+7 10 23 0
+6 10 29 0
+-22 -10 30 0
+8 22 24 0
+-23 -14 25 0
+-3 10 18 0
+-6 4 17 0
+-10 1 5 0
+9 18 19 0
+-8 5 27 0
+-30 -21 -2 0
+-16 11 12 0
+-7 -1 23 0
+12 13 19 0
+-15 -14 23 0
+-20 28 30 0
+-7 10 16 0
+-21 16 22 0
+1 27 30 0
+-9 10 17 0
+-28 -7 1 0
+-14 -12 29 0
+-22 2 18 0
+-28 -10 18 0
+-21 -11 22 0
+-30 -3 11 0
+3 15 23 0
+14 19 20 0
+4 21 30 0
+-16 -10 -2 0
+-23 -18 29 0
+-13 -2 16 0
+-29 5 21 0
+-29 -4 26 0
+7 10 22 0
+-27 13 16 0
+-25 13 19 0
+-26 -9 10 0
+-19 -12 8 0
+-24 4 10 0
+-4 12 23 0
+8 19 26 0
+-25 1 6 0
+-22 -12 -7 0
+-3 6 29 0
+-2 16 30 0
+-9 14 24 0
+-25 7 9 0
+-7 2 27 0
+-19 13 16 0
+-24 -12 18 0
+-17 -7 -5 0
+9 22 24 0
+-13 6 25 0
+-7 -4 16 0
+-19 -11 -7 0
+-30 -8 17 0
+-16 -15 29 0
+-17 -5 9 0
+-2 10 26 0
+-26 -17 21 0
+-24 -11 8 0
+-23 -18 -12 0
+10 11 16 0
+-17 -16 25 0
+-23 15 25 0
+-21 -5 16 0
+-3 5 24 0
+-28 -24 22 0
+-26 15 28 0
+-18 -3 -2 0
+-21 -6 3 0

objects/0b/0b10a0a3694516220f9eb410cac0325b11cc9d85c5f54202468341a7b528292a.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1afa37a552daa50f4b2ddc7c4352ac627a52a6b4219fa1aa3983d67ae4ba626f
+size 121

objects/0b/0b1127ec163b2de169f5836f3e2c57afcc891f717b4b480ba739f2bbc40943b8.cnf

@@ -0,0 +1,89 @@
+p cnf 20 88
+-14 -5 18 0
+-13 -5 11 0
+5 11 16 0
+-19 9 18 0
+-9 -8 17 0
+-14 -5 8 0
+-13 1 7 0
+-16 4 7 0
+-17 -3 14 0
+-12 -3 17 0
+-13 7 18 0
+-10 15 17 0
+1 15 17 0
+-20 -19 5 0
+-2 6 20 0
+6 8 20 0
+-18 2 16 0
+-12 3 5 0
+1 12 20 0
+5 13 20 0
+-9 7 13 0
+-20 -17 10 0
+-16 -5 10 0
+6 11 13 0
+1 19 20 0
+-1 7 10 0
+-20 -16 -13 0
+-16 -6 19 0
+11 14 16 0
+-10 3 7 0
+-15 -11 -1 0
+-20 16 18 0
+5 10 20 0
+-19 -18 13 0
+-1 9 20 0
+-9 8 12 0
+-20 -17 -9 0
+3 10 17 0
+-18 6 8 0
+15 18 19 0
+3 7 19 0
+-17 -14 -2 0
+-20 -14 5 0
+-18 9 17 0
+-20 -11 12 0
+-9 6 12 0
+-15 -14 -2 0
+-6 13 20 0
+-18 -1 17 0
+-19 -16 14 0
+-9 -2 8 0
+-9 -5 -3 0
+-13 -10 -1 0
+-20 2 5 0
+-20 -9 5 0
+-11 -6 2 0
+-10 -9 4 0
+-16 2 8 0
+-5 16 18 0
+-20 -2 8 0
+-20 -15 -10 0
+-17 -3 4 0
+-11 -8 7 0
+-17 -6 2 0
+-9 -2 19 0
+-18 -13 19 0
+-17 5 9 0
+-2 10 19 0
+1 2 13 0
+-13 -10 19 0
+-20 9 18 0
+5 7 18 0
+-3 -1 6 0
+-17 -16 2 0
+15 16 18 0
+4 11 17 0
+-18 5 6 0
+-11 12 20 0
+8 10 12 0
+3 11 17 0
+-13 -6 4 0
+-16 6 14 0
+-13 -10 -6 0
+4 8 12 0
+-12 -3 15 0
+-13 -8 15 0
+-9 8 18 0
+-13 -12 19 0

objects/0b/0b1127ec163b2de169f5836f3e2c57afcc891f717b4b480ba739f2bbc40943b8.witness.json

@@ -0,0 +1,26 @@
+{
+  "assignments": [
+    [
+      -1,
+      2,
+      -3,
+      4,
+      5,
+      6,
+      7,
+      8,
+      9,
+      -10,
+      11,
+      12,
+      13,
+      -14,
+      15,
+      -16,
+      17,
+      18,
+      19,
+      -20
+    ]
+  ]
+}

objects/0b/0b123e3c63b2b8adb9127bd693f3371a2ba887e6c3784e68d5ca9586fe48501d.cnf

@@ -0,0 +1,139 @@
+p cnf 30 138
+-17 -2 9 0
+-28 4 21 0
+-21 15 22 0
+-20 7 30 0
+-23 -22 8 0
+-29 -27 -22 0
+-16 4 9 0
+-30 -11 22 0
+-19 -1 13 0
+-27 -25 5 0
+-27 -14 -2 0
+-3 5 20 0
+15 25 29 0
+-11 1 9 0
+-22 18 19 0
+-8 11 15 0
+-30 22 24 0
+-5 -2 3 0
+-28 -14 27 0
+-9 -8 22 0
+24 27 28 0
+-8 -2 3 0
+-27 5 23 0
+-13 -4 -3 0
+-26 -20 9 0
+-19 -5 8 0
+7 19 20 0
+1 17 23 0
+5 10 18 0
+-4 -2 19 0
+-24 2 27 0
+-24 -18 -12 0
+-17 -4 27 0
+-19 1 16 0
+-5 -2 14 0
+-29 20 23 0
+-24 -2 6 0
+-27 -26 13 0
+-29 -23 -4 0
+-30 -5 24 0
+-21 7 26 0
+10 22 30 0
+-29 -21 9 0
+-19 26 30 0
+-10 -5 8 0
+-16 4 25 0
+-15 10 24 0
+-11 3 17 0
+-5 6 20 0
+-15 25 30 0
+-27 -13 20 0
+-18 4 14 0
+-9 10 15 0
+-26 -8 1 0
+-28 -23 6 0
+-6 -3 13 0
+-13 2 25 0
+-20 9 10 0
+-12 2 16 0
+-26 -6 7 0
+-25 12 30 0
+-26 14 25 0
+-14 -12 8 0
+-25 -14 17 0
+-21 -7 12 0
+9 13 19 0
+6 16 27 0
+-17 1 14 0
+-26 -9 18 0
+-10 -5 18 0
+-23 -1 8 0
+-19 11 30 0
+-23 -19 14 0
+-1 4 21 0
+-20 -17 2 0
+20 24 28 0
+-12 1 11 0
+-4 6 27 0
+-22 -19 -18 0
+-19 -6 28 0
+-24 -13 -9 0
+-4 12 27 0
+-25 -22 -5 0
+-21 9 13 0
+-22 -20 11 0
+-20 10 15 0
+-12 14 21 0
+-23 10 26 0
+-18 1 7 0
+-29 -23 15 0
+-2 4 24 0
+-6 1 25 0
+-15 -2 29 0
+-14 5 29 0
+-18 2 22 0
+-21 -20 5 0
+-17 25 30 0
+-19 -4 25 0
+7 11 13 0
+14 17 21 0
+2 17 19 0
+-30 -6 29 0
+-6 -2 17 0
+-17 9 22 0
+-14 -8 22 0
+-13 10 17 0
+7 8 20 0
+-22 26 27 0
+10 12 15 0
+-29 3 18 0
+-18 -4 21 0
+-6 3 15 0
+-18 -5 30 0
+-28 9 12 0
+-15 -10 19 0
+-22 10 17 0
+-14 -2 13 0
+-10 8 16 0
+-29 6 30 0
+-23 20 25 0
+-9 8 26 0
+-29 -10 -2 0
+-23 -8 -4 0
+13 17 21 0
+-30 -8 13 0
+-6 13 20 0
+-11 -4 21 0
+-22 -9 6 0
+-20 -8 6 0
+-18 -9 22 0
+-4 1 7 0
+25 27 30 0
+3 5 12 0
+22 27 28 0
+-17 -14 15 0
+-30 -10 11 0
+-29 -23 27 0
+-26 -7 11 0

objects/0b/0b123e3c63b2b8adb9127bd693f3371a2ba887e6c3784e68d5ca9586fe48501d.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:3a6721f82823f42b26813ef35002909d1aad6e0d0994e8391a82541d4520c78a
+size 130

objects/0b/0b128d25eaa832c05b0d15d63f256e44e3469758d49e040c98e243b07d46f271.cnf

@@ -0,0 +1,488 @@
+p cnf 36 487
+-13 -15 -14 16 0
+-32 -30 -29 -31 0
+23 -22 -24 -21 0
+-21 24 -23 -22 0
+12 -10 -11 9 0
+-32 -31 -29 -30 0
+4 2 3 -1 0
+30 -32 -29 31 0
+30 -29 -32 31 0
+-15 14 16 13 0
+16 14 15 13 0
+25 8 -15 -21 0
+24 23 -22 21 0
+27 25 -28 -26 0
+-17 18 20 -19 0
+-23 22 -24 21 0
+-25 28 27 26 0
+11 12 10 -9 0
+-22 24 21 23 0
+-4 3 1 2 0
+-8 5 -7 6 0
+29 -27 1 19 0
+-30 -31 29 32 0
+-34 -36 -33 35 0
+25 26 27 28 0
+-34 -36 35 -33 0
+35 33 -36 34 0
+3 -4 -1 -2 0
+-9 -11 12 -10 0
+-24 31 -35 -14 0
+2 -1 -4 3 0
+-19 17 -18 20 0
+21 23 24 -22 0
+-33 34 -36 -35 0
+25 -7 -4 32 0
+29 30 -32 -31 0
+12 10 9 -11 0
+23 -25 18 3 0
+32 31 -29 30 0
+19 17 -20 -18 0
+-32 -8 -4 -20 0
+21 -24 -23 22 0
+19 18 17 20 0
+21 -24 -23 22 0
+4 1 -3 2 0
+12 -10 11 -9 0
+-32 -30 29 31 0
+-31 -30 29 32 0
+-10 -11 12 9 0
+-11 10 9 12 0
+-2 3 -1 4 0
+-17 18 20 19 0
+24 -22 -23 -21 0
+28 -26 -27 25 0
+25 26 -28 -27 0
+10 -12 -11 -9 0
+-30 -32 -31 -29 0
+-34 -33 -35 -36 0
+-7 5 -8 6 0
+-35 -34 33 36 0
+20 -19 -18 -17 0
+-12 9 11 10 0
+-16 13 14 -15 0
+34 -36 33 35 0
+-36 35 -33 34 0
+-27 -25 -28 26 0
+24 23 21 22 0
+-20 18 17 -19 0
+-14 16 -13 15 0
+27 7 -18 24 0
+15 -13 16 14 0
+-17 19 -20 -18 0
+-22 21 -24 -23 0
+-4 -3 -2 1 0
+-19 20 17 -18 0
+19 -31 -12 -8 0
+23 21 -24 -22 0
+-23 24 -22 -21 0
+2 1 -4 3 0
+25 28 26 27 0
+8 -5 -6 -7 0
+-11 -12 10 9 0
+-32 30 -31 29 0
+26 25 -28 27 0
+-22 -24 -23 -21 0
+19 -17 18 20 0
+-28 -27 26 25 0
+-21 -32 -33 4 0
+-24 23 22 21 0
+-15 13 14 16 0
+-4 -1 -3 -2 0
+15 29 5 -33 0
+14 15 16 13 0
+4 -3 1 -2 0
+-21 -24 -23 22 0
+8 7 -6 -5 0
+23 21 -22 24 0
+29 -31 -32 30 0
+-1 -4 3 -2 0
+19 -18 20 -17 0
+-15 10 18 21 0
+-32 -30 -29 31 0
+6 35 22 14 0
+10 -12 9 -11 0
+-8 -6 5 -7 0
+20 -17 -18 -19 0
+-14 -13 -15 16 0
+20 -6 15 -29 0
+20 -12 8 27 0
+-2 -3 1 4 0
+-35 34 -36 33 0
+21 24 22 23 0
+-27 28 25 -26 0
+35 -34 -36 -33 0
+-9 12 -11 -10 0
+25 -28 -27 -26 0
+-28 -25 -27 -26 0
+-33 34 -36 35 0
+30 31 -29 -32 0
+-11 -12 10 -9 0
+-23 -22 -24 -21 0
+23 -24 21 -22 0
+19 -20 18 17 0
+20 18 17 19 0
+35 34 33 36 0
+3 -2 -1 -4 0
+-27 -34 -19 32 0
+21 22 24 23 0
+-10 -9 -12 11 0
+-6 -8 5 7 0
+31 -29 30 -32 0
+-24 -22 -23 21 0
+1 3 4 2 0
+-4 2 3 1 0
+-21 23 -24 22 0
+-21 22 -24 -23 0
+6 -7 -5 8 0
+5 8 6 7 0
+-16 12 -30 6 0
+25 -27 -26 -28 0
+-28 -25 -27 -26 0
+-17 -18 -20 19 0
+-5 7 8 -6 0
+-2 -3 -4 -1 0
+-21 -23 -24 -22 0
+28 -25 -26 -27 0
+4 2 1 -3 0
+-11 -10 9 -12 0
+-21 -15 25 17 0
+6 -5 -8 -7 0
+-32 31 29 30 0
+17 19 18 -20 0
+13 12 30 25 0
+-8 5 -6 7 0
+11 -12 10 -9 0
+35 -34 33 36 0
+-10 9 -12 -11 0
+9 -10 -11 -12 0
+32 -27 -11 13 0
+-17 -19 -20 18 0
+14 16 15 13 0
+-4 33 28 13 0
+-33 35 36 34 0
+-36 8 -2 21 0
+-4 3 -2 -1 0
+28 12 14 35 0
+11 -10 12 9 0
+-12 -9 -11 -10 0
+-10 12 -11 9 0
+-5 -22 -17 35 0
+-8 6 5 -7 0
+-36 34 -33 35 0
+23 -12 14 25 0
+36 35 34 33 0
+10 12 11 -9 0
+-23 -22 -24 -21 0
+3 1 -2 4 0
+-26 -21 -11 20 0
+33 -34 36 -35 0
+25 -28 26 -27 0
+27 26 -25 28 0
+-28 25 27 -26 0
+21 -24 23 22 0
+-9 11 -10 12 0
+21 -23 -24 -22 0
+-27 -25 26 28 0
+-4 -3 -2 1 0
+27 -26 -28 -25 0
+17 20 -19 -18 0
+10 9 12 -11 0
+22 -23 21 -24 0
+-4 -35 9 -5 0
+-26 -28 -27 25 0
+35 36 33 -34 0
+12 -9 10 11 0
+-28 26 25 -27 0
+7 5 -6 -8 0
+-25 28 -27 26 0
+-33 -35 -36 34 0
+-35 -33 -36 -34 0
+-5 -6 7 -8 0
+15 31 17 1 0
+-34 -33 -35 36 0
+-31 30 29 32 0
+9 10 -11 12 0
+26 25 -27 -28 0
+-20 19 -18 17 0
+-13 16 -15 14 0
+-2 4 -1 3 0
+-1 2 -4 3 0
+-2 4 -1 -3 0
+11 10 9 12 0
+-19 -18 -20 17 0
+1 -2 3 -4 0
+-21 7 -30 -9 0
+30 31 29 32 0
+17 -20 -19 -18 0
+2 4 -3 1 0
+17 -19 -18 20 0
+17 -18 -20 19 0
+-27 -28 -25 -26 0
+30 -35 -8 24 0
+29 32 31 -30 0
+-12 -15 2 -19 0
+-23 24 -22 21 0
+-26 27 28 25 0
+-4 2 -3 1 0
+-30 31 -29 -32 0
+-13 14 16 -15 0
+-32 -25 -22 -16 0
+21 23 22 -24 0
+9 10 -11 12 0
+24 -23 -22 21 0
+18 -19 17 -20 0
+-20 19 17 18 0
+-27 -26 -25 -28 0
+19 -17 20 -18 0
+-30 -32 -31 29 0
+-8 1 20 30 0
+30 32 -31 -29 0
+31 -30 -29 -32 0
+-20 -17 19 -18 0
+-11 10 -9 12 0
+-9 35 19 -26 0
+36 -33 -34 -35 0
+-33 -34 -35 36 0
+-16 -13 15 -14 0
+3 -1 2 4 0
+-7 -27 -9 16 0
+14 13 -16 -15 0
+-28 -27 -26 25 0
+-19 -17 18 20 0
+20 19 18 17 0
+26 -28 -25 27 0
+-4 1 -2 -3 0
+-4 1 2 3 0
+21 23 -22 -24 0
+13 14 15 16 0
+-11 12 10 -9 0
+29 31 -30 -32 0
+32 -30 -29 -31 0
+22 24 21 23 0
+-36 -33 -34 35 0
+-8 -6 5 -7 0
+-36 33 34 35 0
+-7 -8 -5 -6 0
+20 -18 -17 -19 0
+19 -16 12 -6 0
+-21 -23 -22 24 0
+-21 23 22 -24 0
+-10 -11 -12 9 0
+-23 24 21 -22 0
+4 3 1 -2 0
+14 15 -13 -16 0
+12 9 10 -11 0
+-8 5 -6 -7 0
+20 -19 -17 -18 0
+-9 12 11 -10 0
+-6 -8 -7 -5 0
+-3 2 1 4 0
+-27 28 25 26 0
+21 23 -22 24 0
+-34 -36 33 -35 0
+-25 -26 -28 27 0
+4 -2 1 3 0
+-32 29 30 31 0
+7 -8 6 5 0
+-29 -18 2 -16 0
+-29 19 35 -23 0
+-1 -4 -3 2 0
+-17 -19 20 -18 0
+30 -32 -29 31 0
+21 -22 -24 23 0
+19 -18 -17 -20 0
+-28 -3 -10 -17 0
+-27 -26 -28 25 0
+16 15 -14 -13 0
+34 33 36 -35 0
+11 -9 12 -10 0
+-12 10 -11 9 0
+11 10 -9 12 0
+33 -36 -35 -34 0
+-14 -2 -24 9 0
+26 20 16 2 0
+34 36 33 35 0
+-9 10 -12 -11 0
+35 -9 7 -14 0
+-11 -13 6 -25 0
+4 3 2 -1 0
+-23 -24 21 -22 0
+22 24 23 -21 0
+-35 -22 6 29 0
+1 -3 -4 2 0
+23 24 -22 -21 0
+24 23 22 -21 0
+-34 -10 -25 -15 0
+-15 -16 -14 13 0
+-24 23 -22 21 0
+17 -19 -18 -20 0
+36 -35 33 -34 0
+-28 -27 -26 25 0
+-18 19 -17 20 0
+-6 -7 -5 -8 0
+-24 6 -1 35 0
+23 21 24 -22 0
+28 27 26 -25 0
+-22 24 -23 -21 0
+22 24 -23 21 0
+-19 20 -17 18 0
+-24 -21 22 -23 0
+-26 25 28 27 0
+-36 -35 34 -33 0
+-9 11 10 -12 0
+-13 14 15 16 0
+-29 31 32 30 0
+23 21 22 -24 0
+-16 15 -14 13 0
+-33 35 34 -36 0
+-16 -15 14 -13 0
+-7 -6 5 -8 0
+-27 26 25 -28 0
+-2 1 -4 -3 0
+-25 -28 27 26 0
+8 6 -5 7 0
+6 -5 -7 -8 0
+5 8 -7 6 0
+9 -2 -30 -14 0
+-34 33 -36 -35 0
+7 8 5 6 0
+9 -12 10 -11 0
+-28 -25 -26 27 0
+30 -32 -31 -29 0
+-4 1 2 -3 0
+-10 9 11 -12 0
+2 1 -4 -3 0
+-30 31 -32 29 0
+30 29 -32 31 0
+16 -29 -12 6 0
+31 29 -32 30 0
+3 1 -4 -2 0
+2 4 -1 3 0
+9 -10 -12 -11 0
+-26 28 27 -25 0
+-10 -11 -12 9 0
+-4 -2 1 -3 0
+30 32 -29 31 0
+15 16 -14 -13 0
+-10 -12 -11 -9 0
+-22 -21 -23 -24 0
+-21 24 -22 23 0
+9 11 -10 -12 0
+-33 -35 -34 36 0
+13 -16 -15 14 0
+-33 -36 -35 -34 0
+34 35 -33 36 0
+-16 13 -14 -15 0
+-13 -16 14 -15 0
+-1 4 3 2 0
+-11 1 -36 14 0
+-13 -16 -14 -15 0
+35 -34 33 36 0
+14 15 -16 13 0
+-24 -22 23 21 0
+-7 -8 -5 -6 0
+-32 31 29 30 0
+-27 -28 26 -25 0
+-19 -17 -20 -18 0
+-22 -21 -24 -23 0
+19 18 -20 17 0
+-13 -34 -31 11 0
+10 12 -11 9 0
+14 16 13 15 0
+16 -13 -15 -14 0
+24 22 23 -21 0
+14 16 15 -13 0
+-11 -9 10 -12 0
+-10 -9 12 -11 0
+-14 15 13 16 0
+-34 8 -1 -32 0
+-21 23 -24 -22 0
+-12 25 -24 -18 0
+6 5 8 -7 0
+-26 28 -25 27 0
+-17 -19 20 18 0
+26 27 -28 -25 0
+20 -18 -19 17 0
+30 32 -29 31 0
+5 6 -8 7 0
+1 -4 -3 -2 0
+-20 -17 19 -18 0
+14 13 -16 15 0
+-29 32 -30 31 0
+-23 24 22 21 0
+22 24 -23 21 0
+-12 11 -10 9 0
+-30 -29 31 32 0
+-2 -3 -1 -4 0
+11 -10 -9 12 0
+9 -10 -11 12 0
+23 -24 21 -22 0
+22 -21 -24 -23 0
+11 10 -12 9 0
+17 20 19 18 0
+21 22 -23 24 0
+-21 23 -22 -24 0
+-22 -21 -24 -23 0
+28 1 5 -30 0
+-3 4 -2 1 0
+19 18 20 -17 0
+14 13 -15 16 0
+-32 -1 36 22 0
+-5 6 -8 -7 0
+-1 3 -4 2 0
+-19 -18 20 17 0
+-12 34 -23 20 0
+13 15 16 -14 0
+19 -17 -20 18 0
+17 -18 19 -20 0
+-20 18 -19 17 0
+-7 8 -5 6 0
+-4 2 3 1 0
+4 -2 -1 3 0
+-14 -15 13 -16 0
+-14 16 -15 13 0
+13 -15 -16 -14 0
+-14 13 -15 -16 0
+-5 25 -21 -16 0
+-11 -10 12 -9 0
+-17 -11 2 -34 0
+-25 26 27 28 0
+5 6 7 -8 0
+12 -9 11 10 0
+35 -36 -34 -33 0
+12 9 10 11 0
+-2 -4 -1 -3 0
+11 10 -12 9 0
+4 -3 -1 -2 0
+-28 -25 26 -27 0
+-16 -13 15 14 0
+-10 9 11 -12 0
+12 10 11 9 0
+-3 -2 4 1 0
+31 32 29 30 0
+-11 -3 25 -6 0
+-35 34 36 -33 0
+24 23 22 -21 0
+-27 -26 25 28 0
+21 22 24 -23 0
+-8 31 -26 2 0
+-6 8 -5 7 0
+-10 -9 -12 11 0
+-8 7 5 -6 0
+7 -6 -5 8 0
+-25 26 -27 -28 0
+18 -17 -19 -20 0
+-21 -22 -24 23 0
+18 19 -20 17 0
+-25 28 26 27 0
+-30 29 31 32 0
+20 -18 -17 -19 0
+3 2 1 4 0
+-12 -10 9 11 0
+-28 27 26 25 0
+36 34 -35 -33 0
+20 -17 -19 18 0
+8 -7 -6 5 0
+7 -8 -6 5 0

objects/0b/0b128d25eaa832c05b0d15d63f256e44e3469758d49e040c98e243b07d46f271.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8ecfa500a835bdd34726cad75c4000747b6c627f6300fb4e1e8c9ab4b57cf487
+size 61

objects/0b/0b12b5719478eefac095fda44e0ac934e16676f76ee32c9614f018a9bebb9d6b.cnf

@@ -0,0 +1,89 @@
+p cnf 20 88
+5 7 8 0
+-15 -10 -6 0
+-18 -8 -6 0
+1 4 8 0
+-17 2 7 0
+-10 -4 17 0
+-19 -10 -4 0
+-2 12 14 0
+-16 -13 5 0
+2 13 16 0
+-18 11 12 0
+-5 11 13 0
+-15 -8 9 0
+-3 12 16 0
+-14 1 6 0
+7 14 18 0
+-2 13 14 0
+-10 15 17 0
+-16 -8 19 0
+-2 4 9 0
+-9 -8 6 0
+-14 -7 20 0
+-7 3 14 0
+-8 -5 16 0
+-5 4 9 0
+-13 -1 2 0
+-3 2 18 0
+-16 9 17 0
+-6 13 20 0
+-2 6 13 0
+-20 -1 4 0
+-4 -1 9 0
+-20 -12 -3 0
+-15 12 19 0
+-9 -7 -5 0
+-14 11 13 0
+-12 -2 1 0
+-20 1 5 0
+-10 -7 3 0
+-5 6 14 0
+-6 3 5 0
+-2 6 19 0
+-7 8 17 0
+-10 7 14 0
+3 6 17 0
+-18 13 16 0
+-14 -9 6 0
+-16 -15 9 0
+-19 -5 10 0
+-18 -8 16 0
+6 12 20 0
+-20 -5 13 0
+1 11 17 0
+-15 9 18 0
+5 7 17 0
+-14 -1 20 0
+-17 -7 -4 0
+-16 -7 -5 0
+-17 -12 -9 0
+-19 -15 8 0
+-3 -2 13 0
+-20 -3 -2 0
+-6 -3 11 0
+4 9 11 0
+-9 1 10 0
+-20 -19 -8 0
+-20 -19 -11 0
+-20 2 14 0
+-8 2 17 0
+-18 -16 15 0
+-15 -14 12 0
+9 13 19 0
+-3 -1 4 0
+-15 7 18 0
+-19 1 12 0
+-17 -7 3 0
+-17 6 13 0
+-16 4 13 0
+-20 -19 12 0
+-12 3 10 0
+-20 -13 -7 0
+-1 6 18 0
+-12 -9 1 0
+2 7 13 0
+-11 3 9 0
+-10 6 11 0
+-9 -7 8 0
+-14 -9 -6 0

objects/0b/0b12b5719478eefac095fda44e0ac934e16676f76ee32c9614f018a9bebb9d6b.witness.json

@@ -0,0 +1,26 @@
+{
+  "assignments": [
+    [
+      1,
+      2,
+      3,
+      4,
+      -5,
+      6,
+      7,
+      8,
+      9,
+      -10,
+      11,
+      12,
+      13,
+      -14,
+      -15,
+      -16,
+      -17,
+      -18,
+      -19,
+      -20
+    ]
+  ]
+}

objects/0b/0b1369d3206685b094a6d5e2dbf111728f4f9def8660de081e62bdb47322a9bf.cnf

@@ -0,0 +1,101 @@
+p cnf 20 100
+-10 3 9 0
+-3 2 17 0
+1 15 17 0
+5 9 17 0
+-18 -17 -6 0
+-5 -1 7 0
+-19 6 13 0
+-6 15 16 0
+-11 4 6 0
+-12 -9 -1 0
+-17 -2 -1 0
+-15 -11 -7 0
+-17 -7 13 0
+-17 -5 11 0
+-14 -4 -3 0
+-12 1 16 0
+-17 3 8 0
+2 3 20 0
+4 5 15 0
+-18 -1 15 0
+-9 -7 6 0
+-20 -10 1 0
+-6 1 19 0
+-6 3 4 0
+6 11 19 0
+-13 -2 5 0
+-14 4 18 0
+1 9 13 0
+-17 3 16 0
+-20 -16 11 0
+-12 1 9 0
+-16 -7 3 0
+-16 -3 -2 0
+8 16 18 0
+-5 14 20 0
+-10 -5 13 0
+-15 4 13 0
+-9 1 2 0
+5 10 18 0
+-12 -6 16 0
+-16 1 3 0
+-11 -10 -1 0
+-19 -2 4 0
+-20 -1 16 0
+-12 -9 4 0
+-8 -7 15 0
+-6 -2 3 0
+-13 8 9 0
+-1 4 10 0
+16 17 19 0
+-10 -6 2 0
+-10 17 18 0
+-4 -3 5 0
+-11 3 18 0
+-16 -15 18 0
+-7 3 11 0
+-6 -5 17 0
+-7 -6 9 0
+-1 17 20 0
+-18 -15 19 0
+-5 8 10 0
+-15 -6 -5 0
+-10 -5 18 0
+9 11 12 0
+6 8 16 0
+-14 -8 15 0
+3 18 19 0
+-8 7 10 0
+-18 -7 -6 0
+-15 -13 -6 0
+-20 1 13 0
+-8 7 18 0
+-14 -12 -7 0
+-11 -1 12 0
+-13 -3 17 0
+-13 -7 19 0
+-20 1 14 0
+-17 -7 15 0
+-20 -2 3 0
+-13 12 15 0
+-20 3 15 0
+-8 13 20 0
+9 14 17 0
+-20 -19 1 0
+-8 3 12 0
+-12 -9 3 0
+-11 -3 18 0
+-10 -7 19 0
+-7 5 13 0
+-17 -11 6 0
+-10 5 13 0
+-12 -6 3 0
+-16 -10 -9 0
+-1 8 13 0
+-15 9 20 0
+-11 -3 10 0
+14 16 18 0
+-16 -11 -6 0
+-15 -12 9 0
+-20 -18 -15 0

objects/0b/0b1369d3206685b094a6d5e2dbf111728f4f9def8660de081e62bdb47322a9bf.witness.json

@@ -0,0 +1,26 @@
+{
+  "assignments": [
+    [
+      1,
+      -2,
+      3,
+      -4,
+      -5,
+      -6,
+      -7,
+      8,
+      9,
+      10,
+      -11,
+      -12,
+      13,
+      14,
+      15,
+      -16,
+      17,
+      18,
+      19,
+      -20
+    ]
+  ]
+}

objects/0b/0b13806da65c0a691e73584d75587df5dd4801a95c844d079fdc4320d5c9e3b3.cnf

@@ -0,0 +1,201 @@
+p cnf 50 200
+-49 -8 45 0
+-23 16 18 0
+-22 28 40 0
+-47 -21 37 0
+-50 -29 -10 0
+-24 1 49 0
+-24 -22 7 0
+-40 3 33 0
+-41 -14 -5 0
+-9 38 42 0
+-11 -2 16 0
+-6 24 47 0
+-9 -3 27 0
+-30 -7 12 0
+-12 -4 9 0
+-50 -16 -1 0
+-17 23 46 0
+27 45 48 0
+-46 -22 -7 0
+-45 11 47 0
+-45 8 33 0
+-32 -24 48 0
+-23 -3 42 0
+-36 -9 26 0
+-43 12 25 0
+-30 -23 -2 0
+-42 20 46 0
+-45 -30 22 0
+-42 -11 -8 0
+11 24 46 0
+-39 28 33 0
+-44 -3 21 0
+-25 -4 31 0
+13 41 42 0
+6 25 37 0
+-16 12 45 0
+-36 -10 6 0
+-18 16 38 0
+-30 10 37 0
+-39 -18 27 0
+-40 -3 42 0
+17 22 37 0
+-49 -25 44 0
+-48 -10 -4 0
+-46 16 27 0
+16 25 43 0
+-17 24 29 0
+-37 -17 -16 0
+-45 32 39 0
+-46 -17 30 0
+-8 14 50 0
+-49 -39 12 0
+-44 -32 17 0
+-50 -25 -9 0
+-26 -1 24 0
+-35 -8 20 0
+-39 1 34 0
+-12 20 37 0
+-24 -19 -12 0
+-45 -40 32 0
+-20 2 9 0
+-32 -4 17 0
+-44 1 10 0
+-20 17 36 0
+-20 -1 47 0
+-44 3 27 0
+-29 -23 15 0
+27 39 48 0
+-26 25 30 0
+-45 16 43 0
+-33 -18 -6 0
+-31 -3 17 0
+2 13 41 0
+-42 -25 41 0
+-45 13 46 0
+-41 -16 20 0
+-50 -46 -8 0
+-28 5 31 0
+-22 -14 48 0
+-5 35 49 0
+8 19 39 0
+-42 -30 25 0
+-49 44 46 0
+-10 -3 5 0
+-37 24 33 0
+19 26 28 0
+-42 -28 -24 0
+-14 -7 27 0
+-12 9 33 0
+-33 22 38 0
+-29 -26 45 0
+-39 -32 -27 0
+25 39 50 0
+-33 23 24 0
+-49 -44 41 0
+-33 28 48 0
+18 41 50 0
+-45 -9 2 0
+-46 11 17 0
+-23 -9 7 0
+9 11 33 0
+-2 34 42 0
+7 27 37 0
+-50 -9 49 0
+-11 36 46 0
+-25 -11 39 0
+-43 -3 46 0
+3 4 35 0
+-25 -19 9 0
+-34 -11 5 0
+-23 -17 -14 0
+-44 -17 48 0
+-15 30 39 0
+-47 -35 -34 0
+-43 31 42 0
+-40 -39 2 0
+-43 -1 24 0
+-13 7 25 0
+-38 4 8 0
+-43 -40 20 0
+-38 3 23 0
+10 15 18 0
+7 21 31 0
+-49 5 14 0
+-13 -7 -6 0
+-45 -7 34 0
+-42 13 19 0
+-42 -37 7 0
+-10 -7 34 0
+-48 -7 35 0
+-46 -12 4 0
+-20 14 21 0
+-10 16 27 0
+-43 27 29 0
+-34 16 42 0
+-41 -22 -16 0
+15 17 33 0
+-26 -10 39 0
+11 37 43 0
+-35 -6 7 0
+9 33 43 0
+-40 -29 5 0
+-28 -12 -9 0
+-17 8 38 0
+28 31 45 0
+-33 -4 36 0
+7 17 26 0
+-20 3 16 0
+-32 44 47 0
+-3 2 43 0
+7 8 47 0
+-7 -4 39 0
+-42 -8 1 0
+-45 -40 -10 0
+-44 -12 4 0
+-39 -31 -6 0
+-7 3 12 0
+-23 4 46 0
+-35 -20 -9 0
+-37 -33 42 0
+-9 22 29 0
+-34 -32 -7 0
+-28 -7 5 0
+23 25 31 0
+-35 -5 26 0
+-12 22 35 0
+25 30 45 0
+-6 -3 31 0
+-38 -25 28 0
+-28 -15 11 0
+-39 -31 32 0
+-48 -36 17 0
+-37 13 14 0
+-50 31 33 0
+11 19 30 0
+-38 -11 -8 0
+-6 23 48 0
+-13 36 45 0
+-12 24 35 0
+-44 -38 8 0
+-30 -19 -17 0
+-46 -42 -17 0
+20 25 28 0
+-32 34 37 0
+16 36 48 0
+-33 -28 -21 0
+-27 -16 -12 0
+20 23 45 0
+-26 -21 -16 0
+15 44 49 0
+-40 12 33 0
+2 17 28 0
+-41 -31 -25 0
+17 27 40 0
+-49 -28 12 0
+-46 -28 25 0
+-27 5 13 0
+-50 -20 26 0
+-43 -14 29 0
+-38 22 43 0

objects/0b/0b13806da65c0a691e73584d75587df5dd4801a95c844d079fdc4320d5c9e3b3.witness.json

@@ -0,0 +1,56 @@
+{
+  "assignments": [
+    [
+      1,
+      2,
+      3,
+      -4,
+      5,
+      -6,
+      7,
+      -8,
+      -9,
+      -10,
+      11,
+      -12,
+      13,
+      -14,
+      15,
+      16,
+      -17,
+      18,
+      -19,
+      -20,
+      -21,
+      22,
+      -23,
+      24,
+      25,
+      26,
+      27,
+      28,
+      29,
+      -30,
+      -31,
+      -32,
+      33,
+      34,
+      35,
+      36,
+      -37,
+      -38,
+      39,
+      -40,
+      -41,
+      -42,
+      -43,
+      -44,
+      45,
+      -46,
+      -47,
+      -48,
+      -49,
+      -50
+    ]
+  ]
+}

objects/0b/0b141ba8d4c70f4ea6df8a09662a2a6e70ec2b707583874eb9db3960d88a1cd6.cnf

@@ -0,0 +1,93 @@
+p cnf 20 92
+-9 11 15 0
+-6 -3 -2 0
+-10 -8 5 0
+-2 6 13 0
+-19 -14 -8 0
+-7 -3 10 0
+-1 5 11 0
+-3 8 15 0
+-19 -10 12 0
+-12 -8 9 0
+-20 -13 10 0
+-9 -8 -5 0
+-6 4 7 0
+3 4 9 0
+-18 -11 3 0
+-16 -8 20 0
+-12 9 17 0
+-18 -3 -2 0
+-19 -11 3 0
+-12 2 6 0
+-6 -3 4 0
+-18 -13 -11 0
+-2 3 6 0
+-19 9 12 0
+2 14 18 0
+-20 -12 10 0
+-1 14 18 0
+-17 2 4 0
+-12 -4 8 0
+-19 -13 -9 0
+-8 3 19 0
+-19 -6 -3 0
+5 12 19 0
+-14 -11 15 0
+-4 12 20 0
+-6 2 10 0
+-14 -9 -3 0
+-9 7 19 0
+-15 13 20 0
+-11 -1 4 0
+-19 -7 -2 0
+-19 -17 -10 0
+-17 -10 -7 0
+-19 -15 -14 0
+-16 -7 11 0
+-20 -13 8 0
+-17 -14 16 0
+-10 -7 2 0
+-10 2 12 0
+-14 -11 12 0
+-19 -18 -9 0
+-15 11 18 0
+2 7 9 0
+-17 -3 11 0
+-15 5 13 0
+-10 17 19 0
+-20 12 17 0
+-13 7 16 0
+-15 8 9 0
+-19 -18 -12 0
+-1 9 11 0
+-1 12 14 0
+5 12 20 0
+-16 -14 13 0
+-5 6 16 0
+-20 -13 18 0
+-8 6 9 0
+-18 -10 11 0
+-17 -9 20 0
+-18 -11 -2 0
+-20 6 15 0
+-11 7 13 0
+-14 7 13 0
+-15 -5 19 0
+-15 -3 8 0
+-5 -3 9 0
+1 2 16 0
+-18 -10 -2 0
+-15 14 18 0
+-19 -9 3 0
+-6 11 19 0
+2 3 5 0
+-4 19 20 0
+-18 -13 5 0
+-20 5 8 0
+-11 -6 -1 0
+-20 -9 1 0
+-12 -3 -1 0
+-3 7 20 0
+-14 9 10 0
+3 8 18 0
+-15 -14 10 0

objects/0b/0b141ba8d4c70f4ea6df8a09662a2a6e70ec2b707583874eb9db3960d88a1cd6.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:1fb80e2b38bbec20a10c0e850fcdc202347bde08edf14c26f9630cffa011a99f
+size 73

objects/0b/0b159c4a3c1ae4087c6cd8fd493cdcc2884f8b79edf255415903bb80a22dd12d.cnf

@@ -0,0 +1,97 @@
+p cnf 20 96
+6 9 18 0
+-13 -11 -8 0
+-10 3 4 0
+-13 -5 8 0
+-13 4 14 0
+2 3 8 0
+-1 7 18 0
+-3 17 18 0
+-20 -10 13 0
+-16 6 9 0
+-1 5 9 0
+-15 -8 11 0
+1 10 13 0
+-2 3 10 0
+-17 -15 7 0
+-15 -14 -13 0
+2 4 18 0
+-4 7 19 0
+-13 -10 17 0
+-2 10 19 0
+-8 -4 11 0
+-15 -13 4 0
+-13 -4 15 0
+4 7 8 0
+-20 -11 -10 0
+-20 -17 2 0
+-15 -6 14 0
+-16 -11 1 0
+-17 -13 -3 0
+-17 19 20 0
+3 8 18 0
+-15 -6 9 0
+-6 -1 13 0
+-7 1 5 0
+-9 7 19 0
+-6 1 19 0
+-11 -8 7 0
+-2 1 11 0
+-19 -16 -4 0
+-11 -6 15 0
+-3 -2 1 0
+-6 -2 18 0
+-5 7 12 0
+-15 -13 -9 0
+-8 -3 6 0
+-4 5 14 0
+-3 1 8 0
+-10 -4 -2 0
+-4 10 13 0
+-11 5 7 0
+-20 -9 15 0
+-15 -4 19 0
+-13 -3 6 0
+-20 -14 9 0
+-11 1 19 0
+-10 -9 16 0
+-15 3 12 0
+-18 -16 -13 0
+-18 -5 14 0
+-2 10 14 0
+1 14 16 0
+-10 -1 3 0
+5 10 12 0
+-12 -11 14 0
+-12 4 11 0
+-19 -18 -15 0
+-17 5 11 0
+14 19 20 0
+-15 -14 1 0
+-18 -12 -5 0
+-13 8 16 0
+-20 -16 11 0
+-20 3 16 0
+1 6 14 0
+-14 19 20 0
+-16 -7 15 0
+-20 8 14 0
+-13 -6 2 0
+5 18 19 0
+-17 -8 -5 0
+-20 -14 13 0
+-10 -6 16 0
+-15 -8 10 0
+-7 -1 10 0
+-8 -2 10 0
+1 6 9 0
+-4 -3 2 0
+-20 -17 -8 0
+-8 6 16 0
+-17 -9 12 0
+-19 -9 6 0
+-18 -1 9 0
+-7 2 8 0
+-11 6 13 0
+-17 5 9 0
+-15 17 18 0

objects/0b/0b159c4a3c1ae4087c6cd8fd493cdcc2884f8b79edf255415903bb80a22dd12d.witness.json

@@ -0,0 +1,26 @@
+{
+  "assignments": [
+    [
+      -1,
+      -2,
+      3,
+      -4,
+      -5,
+      6,
+      -7,
+      8,
+      -9,
+      10,
+      -11,
+      -12,
+      -13,
+      14,
+      -15,
+      16,
+      -17,
+      18,
+      19,
+      -20
+    ]
+  ]
+}

objects/0b/0b16299f9a289efaa9e3f63a2b64c146d27a45aa6d9a81fe701e510c5dae462b.cnf

@@ -0,0 +1,89 @@
+p cnf 20 88
+-8 -1 7 0
+-9 -4 17 0
+-15 -4 3 0
+-5 2 16 0
+-17 3 20 0
+-12 -5 2 0
+-9 7 17 0
+-17 11 20 0
+-7 12 13 0
+-2 1 20 0
+-15 -13 19 0
+-19 12 15 0
+-4 1 3 0
+-5 8 15 0
+-7 -5 -2 0
+-15 -11 -8 0
+-19 -3 15 0
+-15 -4 19 0
+-12 16 17 0
+6 7 10 0
+-15 12 13 0
+-15 11 14 0
+-20 10 11 0
+-16 5 19 0
+-9 -3 18 0
+-20 -16 7 0
+-14 9 11 0
+-13 18 19 0
+-18 -5 -4 0
+-16 -9 5 0
+-9 -5 1 0
+8 16 17 0
+-15 6 10 0
+-18 -2 11 0
+-20 9 15 0
+-5 1 15 0
+-18 -6 11 0
+-11 -4 8 0
+-16 -12 -10 0
+-17 10 19 0
+-17 3 13 0
+-19 -11 3 0
+-10 -6 3 0
+-14 8 11 0
+-15 2 14 0
+-19 8 12 0
+-20 -8 5 0
+-19 -9 10 0
+-13 -3 16 0
+-18 3 6 0
+-1 11 19 0
+-14 -12 10 0
+-15 -7 1 0
+4 15 16 0
+-8 1 14 0
+-16 6 7 0
+-14 -7 -5 0
+-16 -13 -5 0
+-12 -6 20 0
+-20 -12 -4 0
+-13 -8 18 0
+5 14 20 0
+-12 -7 6 0
+-13 -10 -9 0
+-16 -7 2 0
+-8 4 5 0
+-15 -5 13 0
+-15 1 17 0
+-9 4 8 0
+-14 2 11 0
+-2 18 19 0
+-15 -14 2 0
+-20 -9 17 0
+-14 -4 15 0
+6 8 10 0
+-20 -16 1 0
+6 7 18 0
+-14 13 15 0
+-18 5 17 0
+-15 -6 -4 0
+-20 -19 -16 0
+-17 -14 2 0
+-14 -6 4 0
+-11 3 15 0
+-8 -6 12 0
+-14 -13 -4 0
+-20 -18 -6 0
+-19 -10 4 0

objects/0b/0b16299f9a289efaa9e3f63a2b64c146d27a45aa6d9a81fe701e510c5dae462b.witness.json

@@ -0,0 +1,26 @@
+{
+  "assignments": [
+    [
+      1,
+      2,
+      3,
+      -4,
+      -5,
+      -6,
+      -7,
+      -8,
+      -9,
+      10,
+      11,
+      12,
+      -13,
+      14,
+      15,
+      -16,
+      17,
+      18,
+      -19,
+      -20
+    ]
+  ]
+}

objects/0b/0b176a75c2daeb47445ba7ee5bf676996bac0edbf3279e2812e0c33cf56d6756.cnf

@@ -0,0 +1,176 @@
+p cnf 40 175
+-35 -20 26 0
+-28 -27 -7 0
+-6 10 28 0
+-16 -15 19 0
+-20 31 40 0
+-4 32 33 0
+-30 -3 37 0
+-10 -8 38 0
+7 12 33 0
+-19 23 39 0
+-33 -4 22 0
+-36 14 39 0
+-39 -10 -6 0
+-40 -17 -14 0
+5 12 20 0
+-13 -4 11 0
+-35 -3 16 0
+-31 -13 33 0
+9 20 33 0
+-19 -11 28 0
+-15 -5 -1 0
+-28 -18 39 0
+-16 15 30 0
+-37 24 36 0
+-9 22 33 0
+-19 27 36 0
+-7 29 37 0
+-17 22 34 0
+-21 -14 37 0
+-34 36 39 0
+-30 4 5 0
+-33 -25 16 0
+-38 -14 26 0
+-28 -12 2 0
+-8 20 31 0
+-33 -22 27 0
+-7 -3 5 0
+-37 -6 16 0
+-28 -16 19 0
+-22 -7 2 0
+-12 -3 10 0
+2 9 30 0
+-30 5 24 0
+-29 -23 -17 0
+-23 7 37 0
+-21 -7 18 0
+-21 -16 34 0
+-5 9 12 0
+-26 -25 20 0
+12 27 35 0
+-18 -16 22 0
+-25 -16 3 0
+11 12 16 0
+-13 4 12 0
+-28 1 25 0
+-14 -4 27 0
+10 15 17 0
+-21 -4 15 0
+-3 25 38 0
+-33 32 34 0
+10 27 29 0
+-8 30 31 0
+-21 -17 -3 0
+-15 -2 23 0
+-29 -4 33 0
+9 14 17 0
+13 36 38 0
+-36 10 18 0
+-20 25 32 0
+-10 -6 40 0
+-31 -26 18 0
+-24 28 40 0
+-11 4 16 0
+-32 -27 -14 0
+-29 -16 21 0
+-10 -5 38 0
+-34 -7 -5 0
+-39 -38 -8 0
+-27 -24 -6 0
+-3 19 39 0
+-39 -17 -16 0
+-29 -7 25 0
+-29 -28 -2 0
+9 21 35 0
+-26 16 31 0
+-38 -33 40 0
+-19 -15 38 0
+-39 27 31 0
+-20 -17 -1 0
+-21 27 40 0
+-18 14 19 0
+-14 4 29 0
+1 2 5 0
+27 33 38 0
+-27 -5 8 0
+-22 2 12 0
+-12 14 25 0
+-18 -10 2 0
+-32 -25 1 0
+-29 3 9 0
+-31 6 12 0
+-30 -10 39 0
+-9 -5 20 0
+-32 -18 34 0
+-40 -8 30 0
+10 27 39 0
+-40 -4 19 0
+-40 -8 10 0
+-39 -33 -9 0
+-7 25 32 0
+-32 -26 30 0
+-12 -9 26 0
+-38 -7 -6 0
+18 27 34 0
+-36 -32 -23 0
+-9 -7 14 0
+-36 -9 33 0
+-3 26 32 0
+-31 -7 37 0
+-20 -1 4 0
+-35 -21 -9 0
+-40 -39 -8 0
+-19 31 34 0
+-16 5 39 0
+-13 -2 16 0
+-36 19 32 0
+-32 11 16 0
+-33 -28 -24 0
+-40 -37 -22 0
+-6 25 26 0
+-40 26 29 0
+-3 13 40 0
+-14 11 32 0
+2 16 37 0
+-9 2 25 0
+3 14 15 0
+34 36 39 0
+8 17 33 0
+-34 -12 4 0
+12 15 24 0
+-28 11 34 0
+-34 -12 -8 0
+-40 4 34 0
+-28 13 16 0
+-35 -13 -3 0
+-30 -26 -20 0
+-38 16 26 0
+-20 -10 1 0
+-36 12 26 0
+-9 -6 24 0
+-37 -18 -13 0
+-12 -2 5 0
+-8 22 31 0
+-28 4 27 0
+-24 9 13 0
+7 31 36 0
+-12 7 16 0
+-38 2 21 0
+-25 -18 35 0
+-32 -25 -2 0
+2 7 15 0
+-29 -28 -6 0
+26 27 31 0
+13 19 21 0
+-36 -16 -13 0
+-30 4 7 0
+-35 11 38 0
+-29 -24 -7 0
+-29 11 38 0
+-16 10 36 0
+4 17 18 0
+2 28 39 0
+-38 -21 11 0
+-4 7 38 0
+-27 4 38 0

objects/0b/0b176a75c2daeb47445ba7ee5bf676996bac0edbf3279e2812e0c33cf56d6756.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:53eaae02081e114dcd1c432a8991e25f7849b7868f0b2ee63d97e2a5c28a69da
+size 199

objects/0b/0b17ce43d49e3f1c77e5cbe7e0ce3b8d223f2b1a95ed51efdcfaee5d1cfbd7f5.cnf

@@ -0,0 +1,93 @@
+p cnf 20 92
+-8 -5 4 0
+-15 -11 6 0
+-13 -11 4 0
+-12 -2 5 0
+-16 -10 1 0
+-20 -2 1 0
+-18 10 16 0
+-11 -2 7 0
+-7 12 15 0
+-5 1 3 0
+-2 18 20 0
+1 19 20 0
+-20 -6 2 0
+-16 -5 13 0
+-5 -3 9 0
+-15 9 12 0
+1 13 16 0
+-13 -10 20 0
+-3 -1 18 0
+-6 -4 5 0
+-12 2 18 0
+-17 -16 14 0
+-15 -5 7 0
+-13 -9 16 0
+-11 -5 2 0
+2 14 19 0
+-19 -13 -10 0
+-18 5 14 0
+-20 -17 15 0
+3 15 19 0
+-11 -3 1 0
+-8 -7 10 0
+-7 -5 -2 0
+-18 -15 -10 0
+-10 -6 5 0
+-10 -6 20 0
+-16 -1 19 0
+-2 4 15 0
+-1 9 14 0
+-10 4 19 0
+-19 -15 20 0
+-9 -6 18 0
+7 13 20 0
+-19 -17 18 0
+-15 -12 19 0
+-20 15 18 0
+-16 -1 7 0
+-19 4 12 0
+-14 7 10 0
+-16 -11 -4 0
+-17 6 20 0
+7 9 15 0
+-18 -8 19 0
+-2 9 12 0
+4 10 20 0
+-7 8 15 0
+-4 -2 12 0
+-19 -10 15 0
+-18 4 9 0
+-13 -12 -1 0
+-16 4 12 0
+-9 -2 13 0
+-8 6 16 0
+-17 -1 6 0
+-10 1 8 0
+-12 13 16 0
+-11 -3 8 0
+-15 -8 17 0
+-3 10 15 0
+10 14 18 0
+-11 -8 5 0
+-1 8 9 0
+-19 -9 1 0
+1 5 11 0
+-19 -5 -4 0
+-16 -13 -12 0
+-12 6 7 0
+-18 -15 2 0
+-19 -14 15 0
+-10 -3 9 0
+-7 12 16 0
+-15 -6 4 0
+-13 8 15 0
+-18 12 13 0
+-5 10 19 0
+-9 -7 -4 0
+-16 17 19 0
+1 11 16 0
+-5 11 16 0
+-9 7 18 0
+-3 -1 2 0
+-9 18 20 0

objects/0b/0b17ce43d49e3f1c77e5cbe7e0ce3b8d223f2b1a95ed51efdcfaee5d1cfbd7f5.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:e4be2af8c9ebffb1a948a7d27846a625e68a88e120dea7b3527e2f12ad2ed542
+size 60

objects/0b/0b186d71e3b93b2ab6d92294f9e17fe75902d071017a231328e8593e570afd72.cnf

@@ -0,0 +1,89 @@
+p cnf 20 88
+-3 -1 7 0
+-14 -5 19 0
+5 6 18 0
+9 11 16 0
+-10 -3 20 0
+-12 -10 -5 0
+-20 8 19 0
+-20 -14 -10 0
+-19 -17 -9 0
+-13 -11 6 0
+-8 -3 15 0
+-19 -18 5 0
+-14 6 11 0
+-18 11 16 0
+-11 -4 12 0
+-10 -9 7 0
+-17 -8 2 0
+-6 -4 -2 0
+-14 -5 4 0
+-7 -2 16 0
+-5 -3 13 0
+-7 15 19 0
+-18 6 17 0
+-15 -6 10 0
+-20 -8 17 0
+-19 8 11 0
+-13 -7 12 0
+-11 12 18 0
+-18 -17 -9 0
+2 9 10 0
+-17 -10 18 0
+1 12 20 0
+-12 5 15 0
+-14 -1 11 0
+-4 10 19 0
+-13 -11 -1 0
+5 8 13 0
+-18 -9 -8 0
+-11 6 19 0
+-13 -7 11 0
+-17 7 19 0
+-16 -8 7 0
+-9 4 15 0
+3 11 12 0
+-15 -5 -1 0
+-9 -1 11 0
+-10 1 4 0
+-1 11 16 0
+2 13 17 0
+-12 -9 -6 0
+2 3 7 0
+-7 3 4 0
+-16 -8 9 0
+-18 -1 6 0
+-19 -9 -3 0
+-19 -9 11 0
+2 7 13 0
+-19 -15 17 0
+-9 2 5 0
+-10 5 17 0
+11 15 19 0
+-4 2 5 0
+2 3 9 0
+-7 14 18 0
+-17 -11 4 0
+-3 10 18 0
+-13 -4 20 0
+-18 -15 17 0
+-14 -7 13 0
+-10 -6 5 0
+-15 -8 4 0
+-6 10 11 0
+-16 -10 -2 0
+-6 18 19 0
+-4 6 14 0
+-11 -7 13 0
+2 14 16 0
+12 15 20 0
+-18 11 15 0
+-6 8 10 0
+-15 -12 20 0
+-7 -6 2 0
+-18 1 7 0
+3 9 17 0
+-18 6 16 0
+-10 -5 6 0
+-11 -10 19 0
+-16 5 9 0

objects/0b/0b186d71e3b93b2ab6d92294f9e17fe75902d071017a231328e8593e570afd72.witness.json

@@ -0,0 +1,26 @@
+{
+  "assignments": [
+    [
+      1,
+      2,
+      -3,
+      4,
+      5,
+      -6,
+      -7,
+      8,
+      -9,
+      -10,
+      11,
+      12,
+      -13,
+      14,
+      -15,
+      -16,
+      17,
+      -18,
+      19,
+      -20
+    ]
+  ]
+}

objects/0b/0b1a1cbef22aec1de76a416d4b9deb9f47252f672dc290ad1eb29475855daefe.cnf

@@ -0,0 +1,91 @@
+p cnf 20 90
+-17 4 14 0
+-17 -11 15 0
+-12 -4 6 0
+-11 4 10 0
+-9 -1 15 0
+-17 -6 12 0
+-5 7 8 0
+-18 -1 2 0
+-15 -2 20 0
+-13 -2 9 0
+-10 -3 6 0
+-14 -2 11 0
+6 14 15 0
+-13 -12 -6 0
+-11 9 19 0
+11 12 19 0
+-17 -12 -2 0
+-16 4 8 0
+-19 4 11 0
+-6 -3 2 0
+-20 11 13 0
+-3 5 16 0
+-20 4 5 0
+5 13 16 0
+-17 -6 15 0
+-13 -10 -1 0
+-11 17 20 0
+-20 -11 -9 0
+-6 14 15 0
+4 11 15 0
+-5 9 17 0
+-4 2 12 0
+-19 -16 -5 0
+4 12 14 0
+-9 -3 16 0
+-14 10 11 0
+-10 -3 19 0
+-15 -12 6 0
+-14 7 17 0
+-16 5 20 0
+-20 -18 6 0
+-18 -4 5 0
+-18 -2 6 0
+4 10 19 0
+-15 -2 3 0
+-16 -10 19 0
+5 14 20 0
+-8 4 11 0
+-12 -11 -1 0
+2 3 12 0
+-17 -10 4 0
+-9 4 20 0
+-13 5 16 0
+-7 -2 16 0
+-16 -2 19 0
+-12 -8 14 0
+6 7 14 0
+-19 -10 -5 0
+11 14 16 0
+-15 3 7 0
+-13 -12 -5 0
+-12 -4 18 0
+-1 2 15 0
+-20 -12 -11 0
+-20 -15 -6 0
+-13 -11 -3 0
+-20 -8 2 0
+-12 -9 -3 0
+-11 -9 2 0
+-3 1 20 0
+-13 -5 11 0
+-18 1 10 0
+1 10 20 0
+-15 9 17 0
+-6 -5 19 0
+-8 4 18 0
+6 10 16 0
+-19 3 18 0
+-16 -12 9 0
+-17 14 20 0
+-9 -3 2 0
+12 13 14 0
+-5 14 15 0
+-18 -6 10 0
+-20 -11 -4 0
+-18 -4 19 0
+-9 -8 14 0
+-5 11 20 0
+-12 -7 20 0
+-19 -8 2 0

objects/0b/0b1a1cbef22aec1de76a416d4b9deb9f47252f672dc290ad1eb29475855daefe.witness.json

@@ -0,0 +1,26 @@
+{
+  "assignments": [
+    [
+      1,
+      2,
+      3,
+      4,
+      -5,
+      -6,
+      7,
+      -8,
+      9,
+      -10,
+      -11,
+      -12,
+      13,
+      -14,
+      15,
+      16,
+      -17,
+      -18,
+      19,
+      20
+    ]
+  ]
+}

objects/0b/0b1a344db1e20d9bc08113b8b4c8d1f4b405c00c9617453ae1ca0f7db48e60c3.cnf

@@ -0,0 +1,165 @@
+p cnf 40 164
+-11 5 30 0
+-9 13 31 0
+2 17 40 0
+-21 -14 10 0
+-9 -6 16 0
+-17 -6 33 0
+7 27 36 0
+-29 1 18 0
+-14 -5 6 0
+-26 13 30 0
+-29 -3 -1 0
+-34 21 24 0
+-20 -14 16 0
+-38 -29 -4 0
+-28 15 27 0
+-26 28 30 0
+-33 -14 27 0
+-23 -2 19 0
+-26 -21 19 0
+-31 20 25 0
+-15 -7 40 0
+-12 3 31 0
+-26 -17 11 0
+-2 10 20 0
+-30 25 35 0
+-39 -28 -21 0
+-30 -28 -2 0
+-20 -19 40 0
+-3 13 17 0
+-36 -23 -13 0
+-4 2 38 0
+-25 -14 27 0
+-22 1 3 0
+-25 -18 -8 0
+-38 -16 -15 0
+27 28 36 0
+-32 11 21 0
+-29 -13 9 0
+-31 -9 15 0
+7 10 25 0
+-28 -3 -2 0
+-39 -34 -32 0
+-15 17 27 0
+-14 8 17 0
+-20 31 34 0
+-33 -3 25 0
+-3 8 11 0
+-23 20 26 0
+-20 1 3 0
+-10 -2 17 0
+-38 -21 5 0
+-22 16 24 0
+-33 -27 16 0
+-29 6 32 0
+-11 2 10 0
+-2 18 34 0
+-22 11 14 0
+-14 -13 39 0
+-11 -7 8 0
+-14 9 17 0
+-40 22 37 0
+-16 -1 21 0
+-29 -4 21 0
+-36 -10 31 0
+-13 -2 3 0
+19 25 27 0
+-4 -1 39 0
+5 21 25 0
+-32 4 35 0
+-34 17 38 0
+-16 26 34 0
+-27 -1 40 0
+-26 -18 -16 0
+-14 -3 31 0
+-31 22 23 0
+4 8 16 0
+-29 -2 27 0
+-28 -6 23 0
+-27 -13 -8 0
+-1 27 28 0
+-31 -25 -23 0
+-22 -18 13 0
+-30 -5 6 0
+-16 9 36 0
+-8 -6 4 0
+-30 -22 10 0
+-37 -23 -15 0
+-31 5 40 0
+-1 12 39 0
+-35 -26 2 0
+-10 -7 12 0
+-35 -5 18 0
+-37 3 35 0
+-15 21 31 0
+15 26 31 0
+-16 2 21 0
+-40 -14 5 0
+-30 -28 -18 0
+-25 14 40 0
+-17 -16 3 0
+-28 -20 38 0
+-8 35 37 0
+-32 -20 5 0
+-34 -16 15 0
+-20 -9 -8 0
+-33 6 7 0
+-35 9 13 0
+-40 17 21 0
+-30 -26 -10 0
+3 4 12 0
+-15 -1 33 0
+-26 22 39 0
+-6 17 31 0
+-36 20 24 0
+-32 -15 18 0
+-22 -19 11 0
+-30 -7 22 0
+-14 9 30 0
+-22 7 15 0
+-33 -5 28 0
+-18 12 31 0
+-39 -31 -8 0
+-30 -5 36 0
+-34 9 40 0
+9 22 37 0
+-8 19 26 0
+3 23 27 0
+-38 1 22 0
+-9 11 19 0
+-28 -13 3 0
+-24 6 14 0
+-29 8 31 0
+-38 -7 1 0
+-12 7 8 0
+-24 -10 13 0
+-24 -5 27 0
+-31 -18 7 0
+3 8 28 0
+-40 -3 27 0
+12 19 20 0
+-35 -20 -1 0
+-20 3 6 0
+9 10 25 0
+20 24 28 0
+-20 9 23 0
+-37 -5 35 0
+11 16 31 0
+-31 -26 38 0
+-28 -21 -6 0
+-32 9 19 0
+-30 -14 37 0
+-24 4 21 0
+-20 22 27 0
+-30 33 36 0
+-33 -30 -15 0
+-23 25 40 0
+-35 2 26 0
+-30 -4 17 0
+-22 -13 4 0
+-40 -10 -7 0
+-28 -27 -6 0
+20 30 32 0
+-37 -11 17 0
+1 29 38 0

objects/0b/0b1a344db1e20d9bc08113b8b4c8d1f4b405c00c9617453ae1ca0f7db48e60c3.witness.json

@@ -0,0 +1,46 @@
+{
+  "assignments": [
+    [
+      -1,
+      -2,
+      3,
+      4,
+      5,
+      6,
+      -7,
+      -8,
+      -9,
+      10,
+      11,
+      -12,
+      13,
+      -14,
+      15,
+      -16,
+      -17,
+      -18,
+      19,
+      20,
+      21,
+      22,
+      23,
+      24,
+      -25,
+      -26,
+      27,
+      -28,
+      -29,
+      -30,
+      31,
+      -32,
+      -33,
+      -34,
+      -35,
+      -36,
+      -37,
+      38,
+      39,
+      40
+    ]
+  ]
+}

objects/0b/0b1ac830f9e0cf2fd80419cbe6adb16b9d3be5a586acf89f23c75570c7d6fc2a.cnf

@@ -0,0 +1,124 @@
+p cnf 30 123
+-26 -25 7 0
+3 10 26 0
+-25 -19 13 0
+-27 -2 16 0
+-15 -1 8 0
+-27 22 23 0
+-22 -19 27 0
+8 15 22 0
+-28 -27 -25 0
+-28 -14 11 0
+6 14 17 0
+-25 -2 18 0
+16 26 27 0
+-9 -7 1 0
+-30 -26 28 0
+-16 5 28 0
+-19 -10 26 0
+-13 9 12 0
+-29 -18 -13 0
+-24 -23 15 0
+-8 2 12 0
+-20 -9 8 0
+-13 -6 28 0
+-23 1 15 0
+3 9 10 0
+-27 -11 25 0
+6 10 15 0
+-22 16 20 0
+-14 -8 21 0
+13 16 18 0
+-23 -17 25 0
+-28 -16 17 0
+-26 2 13 0
+11 22 30 0
+-17 19 23 0
+-29 6 28 0
+-30 2 24 0
+4 17 24 0
+-26 10 15 0
+-22 -18 3 0
+-28 -14 -7 0
+-29 6 11 0
+-29 4 20 0
+-30 -1 8 0
+2 9 16 0
+-12 11 26 0
+-21 7 20 0
+-27 -10 5 0
+-28 25 27 0
+-21 5 25 0
+-4 11 16 0
+-26 -20 -8 0
+-12 -9 2 0
+-16 11 28 0
+-10 1 30 0
+-28 -15 26 0
+-24 -16 7 0
+-21 23 28 0
+-22 -14 28 0
+9 15 20 0
+-28 -27 -23 0
+-26 -5 25 0
+-16 -12 7 0
+-23 -18 17 0
+-27 -21 8 0
+-21 -6 25 0
+-27 -24 -19 0
+-12 1 15 0
+-25 -21 1 0
+-12 2 20 0
+-7 -2 24 0
+-20 14 24 0
+-8 12 28 0
+-22 -5 30 0
+-12 6 19 0
+-27 -7 5 0
+-4 17 27 0
+-16 -2 9 0
+-5 9 14 0
+-10 1 19 0
+-4 9 14 0
+7 19 24 0
+-11 -3 5 0
+-21 -15 3 0
+-10 13 28 0
+-13 15 19 0
+-23 14 25 0
+-21 -1 5 0
+-27 7 10 0
+-30 24 27 0
+-9 8 13 0
+-27 7 18 0
+-1 22 25 0
+-24 -22 -15 0
+-27 -15 -3 0
+-27 -16 15 0
+-3 8 19 0
+-14 2 12 0
+-27 -22 6 0
+-27 -20 8 0
+-7 -4 17 0
+-29 8 12 0
+-26 -19 17 0
+-2 18 21 0
+-8 10 14 0
+-11 10 14 0
+-28 14 25 0
+-16 18 23 0
+-3 10 27 0
+-27 10 23 0
+-25 -19 -7 0
+-25 15 16 0
+-3 24 26 0
+-25 22 23 0
+-7 4 29 0
+-26 -17 23 0
+-18 21 25 0
+-9 6 25 0
+-18 17 19 0
+-26 -6 1 0
+-11 -3 23 0
+-10 -5 17 0
+-15 -7 4 0

objects/0b/0b1ac830f9e0cf2fd80419cbe6adb16b9d3be5a586acf89f23c75570c7d6fc2a.witness.json

@@ -0,0 +1,36 @@
+{
+  "assignments": [
+    [
+      1,
+      2,
+      -3,
+      4,
+      -5,
+      6,
+      7,
+      8,
+      9,
+      10,
+      11,
+      12,
+      13,
+      -14,
+      15,
+      16,
+      17,
+      18,
+      -19,
+      -20,
+      -21,
+      -22,
+      23,
+      24,
+      25,
+      26,
+      -27,
+      28,
+      -29,
+      -30
+    ]
+  ]
+}

objects/0b/0b1c67dd33f1a5675620cd90521df8ca522a092435e5aa99fafa2c1013261d02.cnf

@@ -0,0 +1,93 @@
+p cnf 20 92
+-19 -5 7 0
+-14 17 18 0
+-3 9 12 0
+-15 -11 8 0
+-3 10 20 0
+-19 -11 4 0
+4 10 13 0
+-7 10 12 0
+-13 1 7 0
+-5 -3 -1 0
+-2 8 12 0
+-14 -3 13 0
+12 15 17 0
+-18 -17 8 0
+4 8 20 0
+-19 1 2 0
+-17 -11 -6 0
+-17 -12 13 0
+-7 1 9 0
+-3 -1 18 0
+-10 5 6 0
+-14 -3 -1 0
+-18 -4 14 0
+-20 11 17 0
+-19 -3 12 0
+-16 -1 10 0
+-16 -14 -5 0
+-16 -10 5 0
+-20 4 15 0
+-20 -9 2 0
+2 5 10 0
+-15 2 18 0
+-12 4 10 0
+-20 1 7 0
+-9 8 11 0
+-19 -12 -6 0
+-4 5 18 0
+-15 -3 16 0
+1 8 17 0
+3 6 12 0
+-15 -4 18 0
+-17 -6 16 0
+-15 11 13 0
+-14 6 17 0
+-20 -5 17 0
+-19 5 13 0
+-2 -1 6 0
+-1 2 14 0
+-11 -9 -2 0
+-17 -16 10 0
+-11 -4 -2 0
+-14 9 15 0
+-10 -6 -2 0
+-1 2 12 0
+-19 -4 20 0
+-11 -4 -3 0
+-11 -10 3 0
+-2 7 19 0
+-7 -6 -4 0
+-19 8 13 0
+4 19 20 0
+-18 -3 4 0
+-18 3 7 0
+-5 3 4 0
+-20 -13 3 0
+-6 2 20 0
+-14 5 11 0
+-12 -4 15 0
+-12 -11 14 0
+-14 -5 17 0
+-19 3 7 0
+-11 -1 16 0
+-9 -8 14 0
+-15 -14 18 0
+-13 -1 16 0
+-20 -16 7 0
+7 18 19 0
+2 9 19 0
+2 8 10 0
+-6 1 9 0
+-17 -11 6 0
+-11 -5 1 0
+-14 13 16 0
+-14 -8 6 0
+-9 5 17 0
+1 4 19 0
+-19 2 9 0
+-7 -4 10 0
+-8 -4 3 0
+-16 -5 11 0
+-19 -5 2 0
+-12 -7 -6 0

objects/0b/0b1c67dd33f1a5675620cd90521df8ca522a092435e5aa99fafa2c1013261d02.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:855fb1d19231aa1dedf2dabd2c7d9ea2be45bff7f8d6056d590ae24afe9a728b
+size 72

objects/0b/0b1d477561d008174c107076a6e3eb309004a98cc29f329e819e382f7da37d4c.cnf

@@ -0,0 +1,197 @@
+p cnf 40 196
+-35 1 15 0
+-9 17 22 0
+-38 16 24 0
+-36 -31 9 0
+-20 7 21 0
+-26 -3 18 0
+-12 -7 37 0
+-37 -17 36 0
+-20 -12 1 0
+-31 13 17 0
+-38 -11 23 0
+-36 7 39 0
+3 5 25 0
+-10 27 36 0
+-36 -7 30 0
+-39 10 18 0
+-38 -12 11 0
+-12 20 35 0
+-37 -21 17 0
+-32 -12 33 0
+-11 9 37 0
+-37 -19 40 0
+-12 14 24 0
+-35 -21 19 0
+-40 -2 12 0
+-15 -2 17 0
+-26 10 16 0
+17 27 34 0
+-28 -3 19 0
+4 37 40 0
+-27 -3 26 0
+-24 -11 20 0
+-18 11 20 0
+-10 33 35 0
+-37 12 14 0
+-9 13 26 0
+-37 -12 25 0
+-23 4 36 0
+-11 17 22 0
+18 30 40 0
+-12 -9 -7 0
+-9 3 36 0
+-2 19 25 0
+-11 13 24 0
+-21 -6 20 0
+-28 -16 9 0
+-37 -29 -4 0
+-38 -8 -2 0
+-38 -9 2 0
+-30 -17 8 0
+-11 -8 9 0
+-20 -15 -6 0
+-31 14 22 0
+13 15 28 0
+-17 -6 25 0
+-33 -8 36 0
+-28 -25 38 0
+-10 11 28 0
+-16 9 28 0
+-15 13 38 0
+-26 -21 37 0
+-9 -3 27 0
+2 5 31 0
+-6 2 7 0
+-36 17 39 0
+-31 -19 -6 0
+-15 -11 21 0
+-13 -10 36 0
+-25 -13 28 0
+-29 -3 34 0
+-4 25 32 0
+2 30 39 0
+-37 -20 -9 0
+-5 33 35 0
+15 23 31 0
+-25 -16 28 0
+-14 -10 -5 0
+25 32 38 0
+-36 -26 -6 0
+2 24 27 0
+-30 20 32 0
+-3 32 37 0
+-38 -31 18 0
+-16 2 34 0
+-14 19 27 0
+-39 -16 5 0
+-35 -14 20 0
+-24 -2 1 0
+-10 4 23 0
+-19 14 35 0
+-39 -36 3 0
+-21 -10 -5 0
+-30 -8 -4 0
+-2 8 24 0
+-33 -29 27 0
+-6 10 29 0
+-16 21 29 0
+-25 14 38 0
+-36 -22 25 0
+-32 -17 38 0
+-12 7 31 0
+-38 -12 40 0
+-35 -22 17 0
+-35 -32 1 0
+-19 -5 35 0
+-9 21 34 0
+-32 -22 -18 0
+30 33 39 0
+-2 13 38 0
+-28 -8 20 0
+-38 -31 -4 0
+-30 22 36 0
+-2 13 32 0
+2 11 31 0
+-36 16 19 0
+-33 -17 -10 0
+-10 -8 25 0
+-35 3 15 0
+-36 2 26 0
+-11 -10 35 0
+-26 -19 -8 0
+-5 -3 33 0
+-7 11 31 0
+-40 -26 -24 0
+-26 -10 36 0
+-15 -4 40 0
+-39 -29 5 0
+-30 -10 12 0
+-25 7 14 0
+-18 8 13 0
+-33 -9 -3 0
+19 34 39 0
+9 18 28 0
+3 24 29 0
+-8 12 16 0
+-38 -34 6 0
+-32 -15 -8 0
+-7 32 39 0
+-33 -15 -7 0
+-28 2 40 0
+-28 -13 -4 0
+-40 -28 20 0
+9 18 33 0
+-37 -16 -14 0
+-30 -4 28 0
+-38 16 27 0
+-37 -29 33 0
+-28 -23 22 0
+-32 -14 8 0
+-30 -15 4 0
+12 15 23 0
+-40 -6 17 0
+-38 -32 -25 0
+-14 10 34 0
+-30 -26 -8 0
+-26 37 38 0
+-36 2 39 0
+-7 -2 28 0
+-6 -5 14 0
+-32 26 29 0
+-14 -8 26 0
+-32 -11 37 0
+-34 -23 38 0
+-32 -12 26 0
+-25 4 27 0
+-13 -10 5 0
+-10 8 25 0
+-23 12 32 0
+-26 7 31 0
+-29 20 38 0
+-31 18 30 0
+-23 -6 27 0
+5 14 27 0
+-38 5 14 0
+2 6 24 0
+-36 -30 35 0
+3 7 13 0
+-39 -10 12 0
+-39 -31 29 0
+-28 22 26 0
+-7 -3 1 0
+-19 -4 24 0
+-28 -17 39 0
+-25 7 32 0
+-2 16 27 0
+-12 27 38 0
+-31 -3 34 0
+9 26 33 0
+-39 32 36 0
+-39 -13 -8 0
+15 17 31 0
+-7 30 32 0
+-32 -14 -8 0
+-20 4 18 0
+-28 5 29 0
+-33 -2 32 0

objects/0b/0b1d477561d008174c107076a6e3eb309004a98cc29f329e819e382f7da37d4c.drat.gz

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:8af6dcd98136c37635dc9dc095a00319ae6516df8024934331f19c23e4ec2721
+size 126

objects/0b/0b1d83f9e0b199a115db984d949ec68d587bf688bd48615b45a10bd3e3e40339.cnf

@@ -0,0 +1,176 @@
+p cnf 40 175
+-37 18 29 0
+-3 8 10 0
+3 19 36 0
+-17 1 7 0
+-10 8 37 0
+10 17 40 0
+-34 -27 -19 0
+-20 -19 31 0
+-19 7 14 0
+-37 -31 26 0
+-12 3 19 0
+-38 -23 -13 0
+-28 -14 -8 0
+-36 17 33 0
+-6 -2 39 0
+-9 14 33 0
+-16 26 40 0
+-34 -31 -4 0
+-33 -31 20 0
+-12 -1 37 0
+-32 -6 21 0
+-10 30 35 0
+-17 15 30 0
+-37 -9 17 0
+27 32 37 0
+-29 1 12 0
+-13 5 14 0
+-36 -32 37 0
+-31 -30 29 0
+-18 2 29 0
+-34 -13 35 0
+-30 20 29 0
+-29 -1 25 0
+-35 -8 10 0
+-26 17 19 0
+-26 -7 16 0
+21 27 40 0
+-31 -5 40 0
+-24 30 33 0
+-40 -26 7 0
+-30 -14 -3 0
+26 35 38 0
+-28 -27 -20 0
+-8 -5 13 0
+-5 21 29 0
+-33 18 21 0
+-31 30 40 0
+-35 -13 19 0
+19 24 29 0
+-33 -14 -7 0
+-38 -34 18 0
+-32 36 40 0
+-27 3 40 0
+-36 -25 -9 0
+-28 -10 29 0
+-40 -18 9 0
+-3 6 17 0
+-22 3 19 0
+14 37 39 0
+-39 22 33 0
+-28 -9 -6 0
+-22 -18 6 0
+22 23 33 0
+-28 2 8 0
+-19 -16 35 0
+-36 37 39 0
+-36 -1 7 0
+-10 33 38 0
+-12 -9 14 0
+-26 -8 23 0
+-25 -23 -16 0
+-6 3 4 0
+-28 -4 39 0
+-36 11 33 0
+-21 -20 -3 0
+-7 18 38 0
+-37 -7 12 0
+-36 15 29 0
+-16 29 33 0
+-34 8 33 0
+-6 -3 2 0
+-6 7 22 0
+-35 26 33 0
+-22 19 32 0
+-26 -1 27 0
+-39 -1 20 0
+-22 -8 14 0
+-34 21 40 0
+-29 9 14 0
+-6 26 36 0
+-34 26 33 0
+-24 -15 11 0
+9 21 23 0
+15 31 37 0
+-36 -23 -20 0
+-13 -8 12 0
+-14 13 16 0
+-15 -11 -6 0
+-5 19 40 0
+-12 7 36 0
+-39 -28 27 0
+-22 -21 38 0
+-20 31 34 0
+-40 14 15 0
+-29 -3 37 0
+-10 23 33 0
+5 9 30 0
+-29 -21 -11 0
+-23 -22 24 0
+-22 -14 33 0
+-20 4 8 0
+-36 22 26 0
+-36 -15 32 0
+-38 -8 9 0
+-30 -8 5 0
+-33 6 25 0
+2 7 14 0
+-40 13 18 0
+-21 -7 -6 0
+-19 -7 17 0
+-29 -13 -6 0
+-40 -38 15 0
+-40 -11 21 0
+-34 -3 31 0
+-11 2 35 0
+-30 -8 37 0
+-37 -33 -2 0
+-8 22 25 0
+-29 -24 -12 0
+-3 12 19 0
+-14 -13 30 0
+13 18 28 0
+-33 16 27 0
+-21 26 35 0
+14 19 30 0
+-38 1 5 0
+-23 -13 17 0
+-13 11 36 0
+4 11 27 0
+-36 19 27 0
+-35 15 31 0
+-28 -27 -11 0
+-30 -6 13 0
+-1 4 22 0
+-22 15 25 0
+-39 15 28 0
+-39 -20 -16 0
+-13 -11 40 0
+-6 27 30 0
+-29 -2 33 0
+-6 -4 18 0
+5 27 40 0
+-37 -2 23 0
+-24 -3 20 0
+-29 -27 -3 0
+15 19 23 0
+-20 8 27 0
+-2 33 34 0
+-34 3 26 0
+-27 8 17 0
+-9 16 26 0
+-24 16 25 0
+-21 16 28 0
+-39 -34 -13 0
+-17 31 32 0
+-24 -12 39 0
+-21 27 31 0
+5 6 17 0
+-24 10 18 0
+-32 -30 -24 0
+-36 -28 -9 0
+-17 -13 5 0
+-18 -12 30 0
+-21 -4 31 0
+-5 22 38 0

objects/0b/0b1d83f9e0b199a115db984d949ec68d587bf688bd48615b45a10bd3e3e40339.witness.json

@@ -0,0 +1,46 @@
+{
+  "assignments": [
+    [
+      1,
+      2,
+      -3,
+      4,
+      5,
+      -6,
+      -7,
+      -8,
+      9,
+      -10,
+      -11,
+      -12,
+      -13,
+      14,
+      15,
+      16,
+      -17,
+      18,
+      19,
+      -20,
+      -21,
+      -22,
+      -23,
+      -24,
+      25,
+      -26,
+      -27,
+      -28,
+      29,
+      -30,
+      -31,
+      32,
+      33,
+      -34,
+      35,
+      -36,
+      -37,
+      38,
+      -39,
+      40
+    ]
+  ]
+}

objects/0b/0b1d9cd39346b088adbc1bb7d11344290982e8231bfcf3bce5022c7dde9f4dd4.cnf

@@ -0,0 +1,89 @@
+p cnf 20 88
+-10 5 9 0
+-5 -2 3 0
+-20 -16 -5 0
+-9 -4 1 0
+5 8 9 0
+-2 6 15 0
+-5 7 10 0
+-20 6 7 0
+-9 -2 10 0
+-19 -15 12 0
+-14 12 19 0
+-19 -3 2 0
+-13 2 19 0
+-8 -1 10 0
+-13 -12 3 0
+-6 14 20 0
+2 4 8 0
+-9 5 12 0
+3 7 15 0
+-18 -16 -6 0
+11 15 17 0
+-4 14 15 0
+-3 1 2 0
+-8 15 18 0
+1 5 6 0
+-18 2 10 0
+-1 5 14 0
+-15 -3 9 0
+-12 9 14 0
+2 3 9 0
+-5 -3 2 0
+-14 -4 11 0
+-13 -7 6 0
+-7 2 9 0
+-17 1 2 0
+-19 -6 17 0
+11 17 18 0
+-10 -2 5 0
+-20 -1 6 0
+-1 6 17 0
+-20 -3 2 0
+-8 -6 14 0
+-15 17 18 0
+-12 2 8 0
+-14 -3 19 0
+-20 11 12 0
+-16 -10 -6 0
+-18 7 17 0
+-20 -13 12 0
+-6 -5 7 0
+-14 -2 18 0
+-20 -18 6 0
+-7 4 14 0
+-12 2 6 0
+-13 -7 20 0
+2 7 17 0
+-16 -12 -8 0
+-20 -4 16 0
+6 15 19 0
+-16 -5 -3 0
+-15 -3 5 0
+-14 -11 -1 0
+-9 5 8 0
+-20 -15 8 0
+-6 -2 16 0
+-15 -14 -12 0
+-12 -5 2 0
+-17 9 20 0
+-11 9 15 0
+-9 5 20 0
+-20 5 13 0
+-19 -2 14 0
+-11 14 19 0
+-12 -2 20 0
+-15 -12 20 0
+-19 -9 6 0
+-8 10 15 0
+-18 -2 11 0
+-12 9 10 0
+11 14 19 0
+-7 -1 11 0
+-10 15 16 0
+-15 -5 3 0
+-5 3 14 0
+-1 3 5 0
+-8 -2 10 0
+-15 -2 12 0
+-13 3 20 0