[
 {
  "class": 0,
  "companions": 120,
  "bases": 10,
  "pairs": 45,
  "certified": 45,
  "unresolved": 0,
  "certificates": [
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "witness_u": 2,
    "witness_v": 4,
    "enclosure_of_|<u,v>|^2": "[10.5298,10.5298]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "witness_u": 2,
    "witness_v": 5,
    "enclosure_of_|<u,v>|^2": "[6.52982,6.52982]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "witness_u": 2,
    "witness_v": 8,
    "enclosure_of_|<u,v>|^2": "[3,3]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "witness_u": 2,
    "witness_v": 11,
    "enclosure_of_|<u,v>|^2": "[10.5298,10.5298]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "witness_u": 2,
    "witness_v": 12,
    "enclosure_of_|<u,v>|^2": "[9,9]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "witness_u": 2,
    "witness_v": 15,
    "enclosure_of_|<u,v>|^2": "[9,9]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "witness_u": 2,
    "witness_v": 19,
    "enclosure_of_|<u,v>|^2": "[2.51472,2.51472]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "witness_u": 2,
    "witness_v": 25,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     24,
     56,
     69,
     100,
     105
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 2,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[7,7]",
    "excludes_6": true
   },
   {
    "basisA": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "basisB": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "witness_u": 4,
    "witness_v": 5,
    "enclosure_of_|<u,v>|^2": "[19.2,19.2]",
    "excludes_6": true
   },
   {
    "basisA": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "basisB": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "witness_u": 4,
    "witness_v": 8,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "basisB": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "witness_u": 4,
    "witness_v": 11,
    "enclosure_of_|<u,v>|^2": "[4,4]",
    "excludes_6": true
   },
   {
    "basisA": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "basisB": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "witness_u": 4,
    "witness_v": 12,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "basisB": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "witness_u": 4,
    "witness_v": 15,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "basisB": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "witness_u": 4,
    "witness_v": 19,
    "enclosure_of_|<u,v>|^2": "[10.5298,10.5298]",
    "excludes_6": true
   },
   {
    "basisA": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "basisB": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "witness_u": 4,
    "witness_v": 25,
    "enclosure_of_|<u,v>|^2": "[19.2,19.2]",
    "excludes_6": true
   },
   {
    "basisA": [
     4,
     41,
     43,
     58,
     107,
     117
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 4,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[1.47018,1.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "basisB": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "witness_u": 5,
    "witness_v": 8,
    "enclosure_of_|<u,v>|^2": "[10.5298,10.5298]",
    "excludes_6": true
   },
   {
    "basisA": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "basisB": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "witness_u": 5,
    "witness_v": 11,
    "enclosure_of_|<u,v>|^2": "[-2.2891e-73,2.2891e-73]",
    "excludes_6": true
   },
   {
    "basisA": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "basisB": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "witness_u": 5,
    "witness_v": 12,
    "enclosure_of_|<u,v>|^2": "[1.47018,1.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "basisB": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "witness_u": 5,
    "witness_v": 15,
    "enclosure_of_|<u,v>|^2": "[10.5298,10.5298]",
    "excludes_6": true
   },
   {
    "basisA": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "basisB": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "witness_u": 5,
    "witness_v": 19,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "basisB": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "witness_u": 5,
    "witness_v": 25,
    "enclosure_of_|<u,v>|^2": "[4,4]",
    "excludes_6": true
   },
   {
    "basisA": [
     5,
     21,
     55,
     86,
     90,
     91
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 5,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "basisB": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "witness_u": 8,
    "witness_v": 11,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "basisB": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "witness_u": 8,
    "witness_v": 12,
    "enclosure_of_|<u,v>|^2": "[7,7]",
    "excludes_6": true
   },
   {
    "basisA": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "basisB": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "witness_u": 8,
    "witness_v": 15,
    "enclosure_of_|<u,v>|^2": "[19.4853,19.4853]",
    "excludes_6": true
   },
   {
    "basisA": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "basisB": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "witness_u": 8,
    "witness_v": 19,
    "enclosure_of_|<u,v>|^2": "[9,9]",
    "excludes_6": true
   },
   {
    "basisA": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "basisB": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "witness_u": 8,
    "witness_v": 25,
    "enclosure_of_|<u,v>|^2": "[10.5298,10.5298]",
    "excludes_6": true
   },
   {
    "basisA": [
     8,
     9,
     65,
     66,
     87,
     101
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 8,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[3,3]",
    "excludes_6": true
   },
   {
    "basisA": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "basisB": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "witness_u": 11,
    "witness_v": 12,
    "enclosure_of_|<u,v>|^2": "[6.52982,6.52982]",
    "excludes_6": true
   },
   {
    "basisA": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "basisB": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "witness_u": 11,
    "witness_v": 15,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "basisB": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "witness_u": 11,
    "witness_v": 19,
    "enclosure_of_|<u,v>|^2": "[1.47018,1.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "basisB": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "witness_u": 11,
    "witness_v": 25,
    "enclosure_of_|<u,v>|^2": "[-2.11055e-69,2.1108e-69]",
    "excludes_6": true
   },
   {
    "basisA": [
     11,
     13,
     51,
     71,
     89,
     113
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 11,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[1.47018,1.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "basisB": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "witness_u": 12,
    "witness_v": 15,
    "enclosure_of_|<u,v>|^2": "[19.4853,19.4853]",
    "excludes_6": true
   },
   {
    "basisA": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "basisB": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "witness_u": 12,
    "witness_v": 19,
    "enclosure_of_|<u,v>|^2": "[-2.59039e-71,2.59205e-71]",
    "excludes_6": true
   },
   {
    "basisA": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "basisB": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "witness_u": 12,
    "witness_v": 25,
    "enclosure_of_|<u,v>|^2": "[10.5298,10.5298]",
    "excludes_6": true
   },
   {
    "basisA": [
     12,
     27,
     36,
     84,
     97,
     99
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 12,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[-1.08959e-75,1.16228e-75]",
    "excludes_6": true
   },
   {
    "basisA": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "basisB": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "witness_u": 15,
    "witness_v": 19,
    "enclosure_of_|<u,v>|^2": "[-6.9545e-66,6.9545e-66]",
    "excludes_6": true
   },
   {
    "basisA": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "basisB": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "witness_u": 15,
    "witness_v": 25,
    "enclosure_of_|<u,v>|^2": "[1.47018,1.47018]",
    "excludes_6": true
   },
   {
    "basisA": [
     15,
     18,
     33,
     68,
     103,
     118
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 15,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[9,9]",
    "excludes_6": true
   },
   {
    "basisA": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "basisB": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "witness_u": 19,
    "witness_v": 25,
    "enclosure_of_|<u,v>|^2": "[6.52982,6.52982]",
    "excludes_6": true
   },
   {
    "basisA": [
     19,
     22,
     23,
     75,
     108,
     109
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 19,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[7,7]",
    "excludes_6": true
   },
   {
    "basisA": [
     25,
     29,
     39,
     70,
     88,
     114
    ],
    "basisB": [
     34,
     38,
     47,
     60,
     85,
     104
    ],
    "witness_u": 25,
    "witness_v": 34,
    "enclosure_of_|<u,v>|^2": "[5.47018,5.47018]",
    "excludes_6": true
   }
  ]
 },
 {
  "class": 1,
  "companions": 48,
  "bases": 4,
  "pairs": 6,
  "certified": 6,
  "unresolved": 0,
  "certificates": [
   {
    "basisA": [
     1,
     17,
     19,
     21,
     43,
     44
    ],
    "basisB": [
     2,
     20,
     32,
     34,
     35,
     41
    ],
    "witness_u": 1,
    "witness_v": 2,
    "enclosure_of_|<u,v>|^2": "[8,8]",
    "excludes_6": true
   },
   {
    "basisA": [
     1,
     17,
     19,
     21,
     43,
     44
    ],
    "basisB": [
     6,
     12,
     15,
     24,
     39,
     46
    ],
    "witness_u": 1,
    "witness_v": 6,
    "enclosure_of_|<u,v>|^2": "[8,8]",
    "excludes_6": true
   },
   {
    "basisA": [
     1,
     17,
     19,
     21,
     43,
     44
    ],
    "basisB": [
     9,
     14,
     16,
     27,
     38,
     40
    ],
    "witness_u": 1,
    "witness_v": 9,
    "enclosure_of_|<u,v>|^2": "[8,8]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     20,
     32,
     34,
     35,
     41
    ],
    "basisB": [
     6,
     12,
     15,
     24,
     39,
     46
    ],
    "witness_u": 2,
    "witness_v": 6,
    "enclosure_of_|<u,v>|^2": "[4,4]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     20,
     32,
     34,
     35,
     41
    ],
    "basisB": [
     9,
     14,
     16,
     27,
     38,
     40
    ],
    "witness_u": 2,
    "witness_v": 9,
    "enclosure_of_|<u,v>|^2": "[4,4]",
    "excludes_6": true
   },
   {
    "basisA": [
     6,
     12,
     15,
     24,
     39,
     46
    ],
    "basisB": [
     9,
     14,
     16,
     27,
     38,
     40
    ],
    "witness_u": 6,
    "witness_v": 9,
    "enclosure_of_|<u,v>|^2": "[4,4]",
    "excludes_6": true
   }
  ]
 },
 {
  "class": 2,
  "companions": 48,
  "bases": 4,
  "pairs": 6,
  "certified": 6,
  "unresolved": 0,
  "certificates": [
   {
    "basisA": [
     1,
     12,
     21,
     26,
     30,
     47
    ],
    "basisB": [
     2,
     13,
     20,
     25,
     38,
     45
    ],
    "witness_u": 1,
    "witness_v": 2,
    "enclosure_of_|<u,v>|^2": "[4,4]",
    "excludes_6": true
   },
   {
    "basisA": [
     1,
     12,
     21,
     26,
     30,
     47
    ],
    "basisB": [
     5,
     10,
     17,
     29,
     41,
     46
    ],
    "witness_u": 1,
    "witness_v": 5,
    "enclosure_of_|<u,v>|^2": "[8,8]",
    "excludes_6": true
   },
   {
    "basisA": [
     1,
     12,
     21,
     26,
     30,
     47
    ],
    "basisB": [
     7,
     8,
     19,
     28,
     42,
     44
    ],
    "witness_u": 1,
    "witness_v": 7,
    "enclosure_of_|<u,v>|^2": "[8,8]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     13,
     20,
     25,
     38,
     45
    ],
    "basisB": [
     5,
     10,
     17,
     29,
     41,
     46
    ],
    "witness_u": 2,
    "witness_v": 5,
    "enclosure_of_|<u,v>|^2": "[8,8]",
    "excludes_6": true
   },
   {
    "basisA": [
     2,
     13,
     20,
     25,
     38,
     45
    ],
    "basisB": [
     7,
     8,
     19,
     28,
     42,
     44
    ],
    "witness_u": 2,
    "witness_v": 7,
    "enclosure_of_|<u,v>|^2": "[8,8]",
    "excludes_6": true
   },
   {
    "basisA": [
     5,
     10,
     17,
     29,
     41,
     46
    ],
    "basisB": [
     7,
     8,
     19,
     28,
     42,
     44
    ],
    "witness_u": 5,
    "witness_v": 7,
    "enclosure_of_|<u,v>|^2": "[4,4]",
    "excludes_6": true
   }
  ]
 }
]