Upload folder using huggingface_hub (part 14)

objects/02/02ffdc499eee2d8620c6824306cfb6b97e90d3cf8bfae697cfaa1b20ac8753b8.drat.gz

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

objects/03/03007a1c99fbb5a77751cfc5824898570f6b5f6fda5b815ddfe329ecba51e2cc.cnf

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

objects/03/03007a1c99fbb5a77751cfc5824898570f6b5f6fda5b815ddfe329ecba51e2cc.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/03/030122afad3c4c586f7e522f79f39320861504a3ab544a81a0f86de7764895fa.cnf

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

objects/03/030122afad3c4c586f7e522f79f39320861504a3ab544a81a0f86de7764895fa.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/03/0302518342a1cbda9c53ee3f06fc99c3e0fb8634a761086e2f529c104adb44a3.cnf

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

objects/03/0302518342a1cbda9c53ee3f06fc99c3e0fb8634a761086e2f529c104adb44a3.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/03/0304be3a4cb29d5fc94cd0d652f00196ad18403979278dc216061c40086f83ae.cnf

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

objects/03/0304be3a4cb29d5fc94cd0d652f00196ad18403979278dc216061c40086f83ae.drat.gz

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

objects/03/0305634779ffca8d09db894018bc5313297e4a6f7430680939364ab6eee77ae5.cnf

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

objects/03/0305634779ffca8d09db894018bc5313297e4a6f7430680939364ab6eee77ae5.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/03/03070cee24845b3b2a1c3ceca1e1ec1a2119d4189eb371dbd48bebe2f8a14c91.cnf

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

objects/03/03070cee24845b3b2a1c3ceca1e1ec1a2119d4189eb371dbd48bebe2f8a14c91.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/03/0307be9b07b63da7c319668d141a4707e7580eb5808ff9597e7566453a75ab5e.cnf

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

objects/03/0307be9b07b63da7c319668d141a4707e7580eb5808ff9597e7566453a75ab5e.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/03/030894f72e7ea99be119feb4df94c98a2b2d9efda48e52aaa680d5cfdce495aa.cnf

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

objects/03/030894f72e7ea99be119feb4df94c98a2b2d9efda48e52aaa680d5cfdce495aa.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/03/030a93e19e5965e2020be4b3d64dec98ceb1c4802f04029e660cb66d921a54c0.cnf

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

objects/03/030a93e19e5965e2020be4b3d64dec98ceb1c4802f04029e660cb66d921a54c0.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/03/030b807a2d26476639ef6020a2dfd697ccc78d21f69987e9a4107f95d0cab285.cnf

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

objects/03/030b807a2d26476639ef6020a2dfd697ccc78d21f69987e9a4107f95d0cab285.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/03/030c628f03e8d5800207d115a68515d8a032ab4625e1ae2a51456a85cbb4cb31.cnf

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

objects/03/030c628f03e8d5800207d115a68515d8a032ab4625e1ae2a51456a85cbb4cb31.drat.gz

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

objects/03/030cd3dba140803671ea2bedd991f6cdf8c4d0884af1078f90f7f53f73bc12da.cnf

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

objects/03/030cd3dba140803671ea2bedd991f6cdf8c4d0884af1078f90f7f53f73bc12da.drat.gz

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

objects/03/030dd81a49621b93dc80ca23ea0f94201193d59963e2523fe4a13a8887492f2b.cnf

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

objects/03/030dd81a49621b93dc80ca23ea0f94201193d59963e2523fe4a13a8887492f2b.drat.gz

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

objects/03/030e71c0cc927cd6a18424756b66b6d7316be207169160560975359b77bf8a4e.cnf

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

objects/03/030e71c0cc927cd6a18424756b66b6d7316be207169160560975359b77bf8a4e.witness.json

@@ -0,0 +1,42 @@
+{
+  "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
+    ]
+  ]
+}

objects/03/030e78c22d311f8f5068152d4710cd41d6448fd4822b37a82d5bdf34497a071a.cnf

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

objects/03/030e78c22d311f8f5068152d4710cd41d6448fd4822b37a82d5bdf34497a071a.drat.gz

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

objects/03/030f0fcb680db6bfb4675f6b6101e233847673a35ee911f93a993c4c40f71bcf.cnf

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

objects/03/030f0fcb680db6bfb4675f6b6101e233847673a35ee911f93a993c4c40f71bcf.drat.gz

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

objects/03/030f446eae6a74b9f5db6da14153caa8913bb2705acc76231a07aadac58b8202.cnf

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

objects/03/030f446eae6a74b9f5db6da14153caa8913bb2705acc76231a07aadac58b8202.drat.gz

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

objects/03/030f56e4bb9cdfe822faf353a31922696e9f11334dbe63591688f7adafef84f1.cnf

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

objects/03/030f56e4bb9cdfe822faf353a31922696e9f11334dbe63591688f7adafef84f1.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/03/0312e5c08ee133969a64473a5be33c4e963468307b4b1e829fe3b12fd8ea0137.cnf

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

objects/03/0312e5c08ee133969a64473a5be33c4e963468307b4b1e829fe3b12fd8ea0137.drat.gz

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

objects/03/0312ef520fdb3b93923202ffdaeb7e9b9b928f720d8c9ddead03b2c28f4d4129.cnf

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

objects/03/0312ef520fdb3b93923202ffdaeb7e9b9b928f720d8c9ddead03b2c28f4d4129.drat.gz

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

objects/03/03146ae498aa66168ba428346922fd15b75c1c505d3438fc150a70eb9703b2e6.cnf

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

objects/03/03146ae498aa66168ba428346922fd15b75c1c505d3438fc150a70eb9703b2e6.drat.gz

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

objects/03/031542b77dbd5ef9f299fd4fe938235e44842791b9c231a4365399b73c6e007d.cnf

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

objects/03/031542b77dbd5ef9f299fd4fe938235e44842791b9c231a4365399b73c6e007d.drat.gz

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

objects/03/0315a1245e02a568c2f1152fe08b845bffa395969cd2869a1b93a28cd16c0b2f.cnf

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

objects/03/0315a1245e02a568c2f1152fe08b845bffa395969cd2869a1b93a28cd16c0b2f.drat.gz

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

objects/03/0315d2595421ee9c7f448dcae01fad64b1d34f6207d34f7608d786211bd1c55e.cnf

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

objects/03/0315d2595421ee9c7f448dcae01fad64b1d34f6207d34f7608d786211bd1c55e.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/03/0316fba5dcb5494803986173a10da4efbf95e237ab42d15e76dae0908b903b3c.cnf

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