system-config.json

{   
    "How to read this json":[
       "For the Symmetric case:", 
       "Each key-value entry corresponds to a Fail Prone System. For example See F1 and F8. It looks like this:",
       "F8: [",
       "[ Fa ]",
       "[ Fb ]",
       "]",
       "Each of the Fa, Fb are Fail Prone Sets that belong in the Fail Prone System F8.",
       "There are two ways to describe a Fail Prone Set. Either as a List (see F1), or with Threshold operators (See F8)",
       "Now, if a threshold operator is used, it will produce many sets when parsed. E.g. see Fa in F8. It uses two threshold operators, so it actually describes 4 Fail Prone sets. ",
       
       "For the Asymmetric case:", 
       "The format is a bit different. Now, every row describes the Fail Prone System of a process",
       "For example, look at CT19Example1, which is the first example from the Asymmetric Trust paper. It looks like this:",
       "CT19Example1: [",
       "'PubKey' : P1, 'FailProneSystem': {'select': 1, 'out-of': [ {} {} ... {} }",
       "'PubKey' : P2, 'FailProneSystem': {'select': 1, 'out-of': [ {} {} ... {} }",
       "'PubKey' : P3, 'FailProneSystem': {'select': 1, 'out-of': [ {} {} ... {} }",
       "'PubKey' : P4, 'FailProneSystem': {'select': 1, 'out-of': [ {} {} ... {} }",
       "'PubKey' : P5, 'FailProneSystem': {'select': 1, 'out-of': [ {} {} ... {} }",
       "]",
       "Each of the P1 to P5 describe the Fail Prone System of the process 1 to 5.",
       "Inside the 'out-of' list, you can use either a node key or a a nested threshold operator to describe the Fail Prone System."
], 
      
    "F1":[
     [1,2],
     [2,3],
     [3,4]
      ],

    "F2": [[{"select": 1, "out-of":[6,7]}]],

    "F3": [[{"select": 2, "out-of":[2,4,5]}]],

    "F4": [[{"select": 1, "out-of":[6,7]}, 1]],

    "F5": [[{"select": 2, "out-of":[2,4,5]}, 6]],

    "F6": [[{"select": 1, "out-of":[2,3]}, {"select": 1, "out-of":[4,5]}]],

    "F7": [[{"select": 1, "out-of":[2,3]}, {"select": 1, "out-of":[4,5]}, 1]],

    "F8": [ 
     [{"select": 1, "out-of":[2,3]}, {"select": 1, "out-of":[4,5]}],
     [{"select": 1, "out-of":[10,11]}, {"select": 1, "out-of":[12,13]}]
     ],

    "F9": [[{"select": 2, "out-of":[ {"select": 1, "out-of": [1, 2]}, {"select": 1, "out-of": [3,4]} ]} ]],

    "Cachin01Ex1":[
      [{"select":2, "out-of":[1,2,3,4,5,6,7,8,9]}],
      [1,2,3,4],
      [5,6],
      [7,8],
      [9]
      ],
  
      "Cachin01Ex2":[
      [1,2,3,4, 1, 5, 9, 13],
      [1,2,3,4,  2, 6, 10, 14],
      [1,2,3,4,  3, 7, 11, 15],
      [1,2,3,4,  4, 8, 12, 16],
      [5,6,7,8,  1, 5, 9, 13],
      [5,6,7,8,  2, 6, 10, 14],
      [5,6,7,8,  3, 7, 11, 15],
      [5,6,7,8,  4, 8, 12, 16],
      [9, 10, 11, 12,  1, 5, 9, 13],
      [9, 10, 11, 12,  2, 6, 10, 14],
      [9, 10, 11, 12,  3, 7, 11, 15],
      [9, 10, 11, 12,  4, 8, 12, 16],
      [13, 14, 15, 16,  1, 5, 9, 13 ],
      [13, 14, 15, 16,  2, 6, 10, 14],
      [13, 14, 15, 16,  3, 7, 11, 15],
      [13, 14, 15, 16,  4, 8, 12, 16]
      ],
      "Schema":[
      "       a  b  c  d ",
      "alpha  1  2  3  4 ",
      "beta   5  6  7  8",
      "gamma  9  10 11 12",
      "delta  13 14 15 16"
      ],
  
      "Q1":[
      [1,2,3, {"select": 4, "out-of": [5,6,7,8,9]}],
      [1,2,4, {"select": 4, "out-of": [5,6,7,8,9]}],
      [1,3,4, {"select": 4, "out-of": [5,6,7,8,9]}],
      [2,3,4, {"select": 4, "out-of": [5,6,7,8,9]}],
      [1,2,3,4]
      ],
  
      "Q1_wNested":[
      [{"select": 4, "out-of": [1, 2, 3, 4, {"select": 4, "out-of": [5,6,7,8,9]} ] }]
      ],  

  "LcwExample":[
    [{"select": 2, "out-of": [ {"select": 2, "out-of":["A","B","C"]} , {"select": 2, "out-of":["D","E","F"]}  , {"select": 2, "out-of":["G","H", {"select": 3, "out-of":["I","J","K","L"]} ]} ]}]
    ],

    "Ex1":[
      [{"select": 4, "out-of": [ "A", "B", "C", {"select": 3, "out-of":["D", "E", "F", "G"]} , {"select": 3, "out-of":[{"select": 5, "out-of":["H","I","J","K","L","M","N"]},"O","P", "Q"]} ]}]
      ],

    "Ex2":[
      [{"select": 4, "out-of": ["A", "B", "C", {"select": 3, "out-of":["D", "E", "F", {"select": 5, "out-of":["G", "H","I","J","K","L","M"]}]} , {"select": 2, "out-of":["N","O","P"]} ]}]
      ],

    "Ex3":[
      [{"select": 4, "out-of": ["A1", "A2", "A3", {"select": 1, "out-of":[{"select": 2, "out-of":["C1", "C2","C3"]}, {"select": 2, "out-of":["D1", "D2","D3"]} ]} , {"select": 2, "out-of":["B1","B2"]} ]}]
      ],
        
    "LcwExampleAdvanced":[
      [{"select": 2, "out-of": [ {"select": 2, "out-of":["A","B","C"]} , 
                                  {"select": 2, "out-of":["D","E","F"]}  , 
                                  {"select": 2, "out-of":[{"select": 3, "out-of":[{"select": 2, "out-of":["Q","R","S","T"]},"N","O","P"]}, "H", {"select": 3, "out-of":["I","J","K","L"]} ]} ]}]
      ],

    "2Common":[
      [{"select": 3, "out-of": [ {"select": 3, "out-of":["H", "A", "B", "C"]}, {"select": 3, "out-of":["B", "C", "D", "E"]}, {"select": 3, "out-of":["D", "E", "F", "G"]}, {"select": 3, "out-of":["F", "G", "H", "A"]}  ]}]
      ],
    
    "1Common":[
      [{"select": 3, "out-of": [ {"select": 3, "out-of":["A", "B", "C", "D"]}, {"select": 3, "out-of":["D", "E", "F", "G"]}, {"select": 3, "out-of":["G", "H", "I", "J"]}, {"select": 3, "out-of":["J", "K", "L", "A"]}  ]}]
      ],

    "1CommonV2_k4":[
      [{"select": 3, "out-of": [ 
        {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
        {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
        {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
        {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B1"]} 
      ]} ]}]
      ],
    "1CommonV2_k5":[
      [{"select": 4, "out-of": [ 
        {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
        {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
        {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
        {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
        {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B1"]} ]}
      ]}]
      ], 
    "1CommonV2_k6":[
      [{"select": 5, "out-of": [ 
        {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
        {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
        {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
        {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
        {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B16"]} ]},  
        {"select": 2, "out-of":["A6", {"select": 2, "out-of":["B16", "B17", "B18", "B1"]} ]}
      ]}]
      ],
    "1CommonV2_k7":[
      [{"select": 5, "out-of": [ 
        {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
        {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
        {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
        {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
        {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B16"]} ]},  
        {"select": 2, "out-of":["A6", {"select": 2, "out-of":["B16", "B17", "B18", "B19"]} ]},  
        {"select": 2, "out-of":["A7", {"select": 2, "out-of":["B19", "B20", "B21", "B1"]} ]}
      ]}]
      ],
    "1CommonV2_k8":[
      [{"select": 6, "out-of": [ 
        {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
        {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
        {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
        {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
        {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B16"]} ]},  
        {"select": 2, "out-of":["A6", {"select": 2, "out-of":["B16", "B17", "B18", "B19"]} ]},  
        {"select": 2, "out-of":["A7", {"select": 2, "out-of":["B19", "B20", "B21", "B22"]} ]},
        {"select": 2, "out-of":["A8", {"select": 2, "out-of":["B22", "B23", "B24", "B1"]} ]}
      ]}]
      ],      
    "1CommonV2_k9":[
      [{"select": 7, "out-of": [ 
        {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
        {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
        {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
        {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
        {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B16"]} ]},  
        {"select": 2, "out-of":["A6", {"select": 2, "out-of":["B16", "B17", "B18", "B19"]} ]},  
        {"select": 2, "out-of":["A7", {"select": 2, "out-of":["B19", "B20", "B21", "B22"]} ]},
        {"select": 2, "out-of":["A8", {"select": 2, "out-of":["B22", "B23", "B24", "B25"]} ]},
        {"select": 2, "out-of":["A9", {"select": 2, "out-of":["B25", "B26", "B27", "B1"]} ]}
      ]}]
      ],
    "1CommonV2_k10":[
      [{"select": 7, "out-of": [ 
        {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
        {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
        {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
        {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
        {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B16"]} ]},  
        {"select": 2, "out-of":["A6", {"select": 2, "out-of":["B16", "B17", "B18", "B19"]} ]},  
        {"select": 2, "out-of":["A7", {"select": 2, "out-of":["B19", "B20", "B21", "B22"]} ]},
        {"select": 2, "out-of":["A8", {"select": 2, "out-of":["B22", "B23", "B24", "B25"]} ]},
        {"select": 2, "out-of":["A9", {"select": 2, "out-of":["B25", "B26", "B27", "B28"]} ]},
        {"select": 2, "out-of":["A10", {"select": 2, "out-of":["B28", "B29", "B30", "B1"]} ]}
      ]}]
      ],
      "1CommonV2_k11":[
        [{"select": 8, "out-of": [ 
          {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
          {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
          {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
          {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
          {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B16"]} ]},  
          {"select": 2, "out-of":["A6", {"select": 2, "out-of":["B16", "B17", "B18", "B19"]} ]},  
          {"select": 2, "out-of":["A7", {"select": 2, "out-of":["B19", "B20", "B21", "B22"]} ]},
          {"select": 2, "out-of":["A8", {"select": 2, "out-of":["B22", "B23", "B24", "B25"]} ]},
          {"select": 2, "out-of":["A9", {"select": 2, "out-of":["B25", "B26", "B27", "B28"]} ]},
          {"select": 2, "out-of":["A10", {"select": 2, "out-of":["B28", "B29", "B30", "B31"]} ]},
          {"select": 2, "out-of":["A11", {"select": 2, "out-of":["B31", "B32", "B33", "B1"]} ]}
        ]}]
        ],
      "1CommonV2_k12":[
        [{"select": 9, "out-of": [ 
          {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
          {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
          {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
          {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
          {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B16"]} ]},  
          {"select": 2, "out-of":["A6", {"select": 2, "out-of":["B16", "B17", "B18", "B19"]} ]},  
          {"select": 2, "out-of":["A7", {"select": 2, "out-of":["B19", "B20", "B21", "B22"]} ]},
          {"select": 2, "out-of":["A8", {"select": 2, "out-of":["B22", "B23", "B24", "B25"]} ]},
          {"select": 2, "out-of":["A9", {"select": 2, "out-of":["B25", "B26", "B27", "B28"]} ]},
          {"select": 2, "out-of":["A10", {"select": 2, "out-of":["B28", "B29", "B30", "B31"]} ]},
          {"select": 2, "out-of":["A11", {"select": 2, "out-of":["B31", "B32", "B33", "B34"]} ]},
          {"select": 2, "out-of":["A12", {"select": 2, "out-of":["B34", "B35", "B36", "B1"]} ]}          
        ]}]
        ],
      "1CommonV2_k13":[
        [{"select": 9, "out-of": [ 
          {"select": 2, "out-of":["A1", {"select": 2, "out-of":["B1", "B2", "CB3", "B4"]} ]}, 
          {"select": 2, "out-of":["A2", {"select": 2, "out-of":["B4", "B5", "B6", "B7"]} ]}, 
          {"select": 2, "out-of":["A3", {"select": 2, "out-of":["B7", "B8", "B9", "B10"]} ]}, 
          {"select": 2, "out-of":["A4", {"select": 2, "out-of":["B10", "B11", "B12", "B13"]} ]},
          {"select": 2, "out-of":["A5", {"select": 2, "out-of":["B13", "B14", "B15", "B16"]} ]},  
          {"select": 2, "out-of":["A6", {"select": 2, "out-of":["B16", "B17", "B18", "B19"]} ]},  
          {"select": 2, "out-of":["A7", {"select": 2, "out-of":["B19", "B20", "B21", "B22"]} ]},
          {"select": 2, "out-of":["A8", {"select": 2, "out-of":["B22", "B23", "B24", "B25"]} ]},
          {"select": 2, "out-of":["A9", {"select": 2, "out-of":["B25", "B26", "B27", "B28"]} ]},
          {"select": 2, "out-of":["A10", {"select": 2, "out-of":["B28", "B29", "B30", "B31"]} ]},
          {"select": 2, "out-of":["A11", {"select": 2, "out-of":["B31", "B32", "B33", "B34"]} ]},
          {"select": 2, "out-of":["A12", {"select": 2, "out-of":["B34", "B35", "B36", "B37"]} ]},
          {"select": 2, "out-of":["A13", {"select": 2, "out-of":["B37", "B238", "B39", "B1"]} ]}
        ]}]
        ],
    "CT19Example1": [ 
    {"PubKey" : "1", "FailProneSystem": {"select": 1, "out-of":[2,3,4,5]}},
    {"PubKey" : "2", "FailProneSystem": {"select": 1, "out-of":[1,3,4,5]}},
    {"PubKey" : "3", "FailProneSystem": {"select": 2, "out-of":[{"select": 1, "out-of":[1,2]}, {"select": 1, "out-of":[4,5]}]}},
    {"PubKey" : "4", "FailProneSystem": {"select": 1, "out-of":[1,2,3,5]}},
    {"PubKey" : "5", "FailProneSystem": {"select": 2, "out-of":[2,4]}}
    ],

    "CT19Example1Explicit": [ 
    {"PubKey" : "1", "FailProneSystem": [[2],[3],[4],[5]]},
    {"PubKey" : "2", "FailProneSystem": [[1],[3],[4],[5]]},
    {"PubKey" : "3", "FailProneSystem": [[1,4],[1,5],[2,4],[2,5]]},
    {"PubKey" : "4", "FailProneSystem": [[1],[2],[3],[5]]},
    {"PubKey" : "5", "FailProneSystem": [[2,4]]}
    ],

    "CT19Example1Mixed": [ 
    {"PubKey" : "1", "FailProneSystem":  {"select": 1, "out-of":[2,3,4,5]}},
    {"PubKey" : "2", "FailProneSystem": {"select": 1, "out-of":[1,3,4,5]}},
    {"PubKey" : "3", "FailProneSystem": [[1,4],[1,5],[2,4],[2,5]]},
    {"PubKey" : "4", "FailProneSystem": [[1],[2],[3],[5]]},
    {"PubKey" : "5", "FailProneSystem": [[2,4]]}
    ],
        
    "CT19Example2":[
    {"PubKey" : "1", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[2,4,5]}, 6]}},
    {"PubKey" : "2", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[3,4,5]}, 6]}},
    {"PubKey" : "3", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[1,4,5]}, 6]}},
    {"PubKey" : "4", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 1, "out-of":[1,2,3,5]}, 6]}},
    {"PubKey" : "5", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 1, "out-of":[1,2,3,4]}, 6]}},
    {"PubKey" : "6", "FailProneSystem": {"select" : 2, "out-of" : [1, {"select": 1, "out-of":[2,3,4,5]}]}}
    ],

    "CT19Example2SBAdaptation":[
    {"PubKey" : "1", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[2,4,5]}, 6]}},
    {"PubKey" : "2", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[3,4,5]}, 6]}},
    {"PubKey" : "3", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[1,4,5]}, 6]}},
    {"PubKey" : "4", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 1, "out-of":[1,2,3,5]}, 6]}},
    {"PubKey" : "5", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 1, "out-of":[1,2,3,4]}, 6]}},
    {"PubKey" : "6", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 1, "out-of":[2,3,4,5]}]}}
    ],
    
    "CT19Example2Version2":[
    {"PubKey" : "1", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[2,4,5]}, 6]}},
    {"PubKey" : "2", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[3,4,5]}, 6]}},
    {"PubKey" : "3", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 2, "out-of":[1,4,5]}, 6]}},
    {"PubKey" : "4", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 1, "out-of":[1,2,3,5]}, 6]}},
    {"PubKey" : "5", "FailProneSystem": {"select" : 2, "out-of" : [{"select": 1, "out-of":[1,2,3,4]}, 6]}},
    {"PubKey" : "6", "FailProneSystem": {"select" : 2, "out-of" : [1,3]}}
    ],

   "CT19Example2Version2Explicit":[
    {"PubKey" : "1", "FailProneSystem": [[2,4,6],[2,5,6],[4,5,6]]},
    {"PubKey" : "2", "FailProneSystem": [[3,4,6],[3,5,6],[4,5,6]]},
    {"PubKey" : "3", "FailProneSystem": [[1,4,6],[1,5,6],[4,5,6]]},
    {"PubKey" : "4", "FailProneSystem": [[1,6], [2,6], [3,6], [5,6]]},
    {"PubKey" : "5", "FailProneSystem": [[1,6], [2,6], [3,6], [4,6]]},
    {"PubKey" : "6", "FailProneSystem": [[1,3]]}
    ],

    "SBExample1":[
    {"PubKey" : "Process1", "FailProneSystem": {"select" : 3, "out-of" : ["Process2","Process3","Process4","Process5"]}},
    {"PubKey" : "Process2", "FailProneSystem": {"select" : 3, "out-of" : ["Process3","Process4","Process5","Process6"]}},
    {"PubKey" : "Process3", "FailProneSystem": {"select" : 3, "out-of" : ["Process4","Process5","Process6","Process7"]}},
    {"PubKey" : "Process4", "FailProneSystem": {"select" : 3, "out-of" : ["Process1","Process2","Process3","Process5"]}},
    {"PubKey" : "Process5", "FailProneSystem": {"select" : 3, "out-of" : ["Process1","Process2","Process3","Process4"]}},
    {"PubKey" : "Process6", "FailProneSystem": {"select" : 3, "out-of" : ["Process2","Process3","Process4","Process5"]}},
    {"PubKey" : "Process7", "FailProneSystem": {"select" : 3, "out-of" : ["Process3","Process4","Process5","Process6"]}}
    ],

    "LcwExample2":[
      {"PubKey":"XX1", "QuorumSystem": {}, "FailProneSystem": {"select": 2, "out-of": [ {"select": 2, "out-of":["A","B","C"]} , {"select": 2, "out-of":["D","E","F"]}  , {"select": 2, "out-of":["G","H", {"select": 3, "out-of":["I","J","K","L"]} ]} ]}},
      {"PubKey":"XX2", "QuorumSystem": {}, "FailProneSystem": {"select": 2, "out-of": [ {"select": 2, "out-of":["A","B","C"]} , {"select": 2, "out-of":["D","E","F"]}  , {"select": 2, "out-of":["G","H", {"select": 3, "out-of":["I","J","K","L"]} ]} ]}}
    ],

    "CT19PresentationExample":[
      {"PubKey" : "p", "FailProneSystem": {"select" : 1, "out-of" : ["q", "r", {"select": 2, "out-of":["x", "y", "z"]}]}},
      {"PubKey" : "r", "FailProneSystem": {"select" : 1, "out-of" : ["p", "z", {"select": 2, "out-of":["x", "y", "q"]}]}},
      {"PubKey" : "z", "FailProneSystem": {"select" : 1, "out-of" : ["y", "r", {"select": 2, "out-of":["x", "q", "p"]}]}},
      {"PubKey" : "y", "FailProneSystem": {"select" : 1, "out-of" : ["x", "z", {"select": 2, "out-of":["q", "p", "r"]}]}},
      {"PubKey" : "x", "FailProneSystem": {"select" : 1, "out-of" : ["y", "q", {"select": 2, "out-of":["z", "r", "p"]}]}},
      {"PubKey" : "q", "FailProneSystem": {"select" : 1, "out-of" : ["q", "x", {"select": 2, "out-of":["r", "y", "z"]}]}}
      ],

    "CT19PresentationExampleV2":[
      {"PubKey" : "p", "FailProneSystem": {"select": 1, "out-of": [{"select" : 2, "out-of" : ["q", {"select": 2, "out-of":["x", "y", "z"]}]}, {"select" : 2, "out-of" : ["r", {"select": 2, "out-of":["x", "y", "z"]}]}]  }},
      {"PubKey" : "q", "FailProneSystem": {"select": 1, "out-of": [{"select" : 2, "out-of" : ["x", {"select": 2, "out-of":["r", "y", "z"]}]}, {"select" : 2, "out-of" : ["p", {"select": 2, "out-of":["r", "y", "z"]}]}]  }},
      {"PubKey" : "r", "FailProneSystem": {"select": 1, "out-of": [{"select" : 2, "out-of" : ["p", {"select": 2, "out-of":["x", "y", "q"]}]}, {"select" : 2, "out-of" : ["z", {"select": 2, "out-of":["x", "y", "q"]}]}]  }},
      {"PubKey" : "x", "FailProneSystem": {"select": 1, "out-of": [{"select" : 2, "out-of" : ["y", {"select": 2, "out-of":["r", "p", "z"]}]}, {"select" : 2, "out-of" : ["q", {"select": 2, "out-of":["r", "p", "z"]}]}]  }},
      {"PubKey" : "y", "FailProneSystem": {"select": 1, "out-of": [{"select" : 2, "out-of" : ["z", {"select": 2, "out-of":["q", "p", "r"]}]}, {"select" : 2, "out-of" : ["x", {"select": 2, "out-of":["q", "p", "r"]}]}]  }},
      {"PubKey" : "z", "FailProneSystem": {"select": 1, "out-of": [{"select" : 2, "out-of" : ["y", {"select": 2, "out-of":["x", "q", "p"]}]}, {"select" : 2, "out-of" : ["r", {"select": 2, "out-of":["x", "q", "p"]}]}]  }}
      ],

    "ZanoliniPaperExample":[
      {"PubKey" : "1", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":[2,4,5]}, 6, 7]}},
      {"PubKey" : "2", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":[3,4,5]}, 6, 7]}},
      {"PubKey" : "3", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":[1,4,5]}, 6, 7]}},
      {"PubKey" : "4", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 1, "out-of":[1,2,3,5]}, 6, 7]}},
      {"PubKey" : "5", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 1, "out-of":[1,2,3,4]}, 6, 7]}},
      {"PubKey" : "6", "FailProneSystem": {"select" : 3, "out-of" : [1,3,7]}},
      {"PubKey" : "7", "FailProneSystem": {"select" : 3, "out-of" : [3, 4, 5]}}
      ],

      "Zanolini":[
        {"PubKey" : "1", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":["2","4","5"]}, "6", "7"]} },
        {"PubKey" : "2", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":["3","4","5"]}, "6", "7"]} },
        {"PubKey" : "3", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":["1","4","5"]}, "6", "7"]} },
        {"PubKey" : "4", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 1, "out-of":["1","2","3","5"]}, "6", "7"]} },
        {"PubKey" : "5", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 1, "out-of":["1","2","3","4"]}, "6", "7"]} },
        {"PubKey" : "6", "FailProneSystem": ["1","3","7"]  },
        {"PubKey" : "7", "FailProneSystem": ["3","4","5"]  }
        ],
  
    "ZanoliniNew": [
      {"PubKey": "p_1", "FailProneSystem": {"select": 1, "out-of": ["p_2", "p_4"] } },
      {"PubKey": "p_2", "FailProneSystem": {"select": 1, "out-of": ["p_3", "p_4"] } },
      {"PubKey": "p_3", "FailProneSystem": {"select": 1, "out-of": ["p_1", "p_4"] } },
      {"PubKey": "p_4", "FailProneSystem": {"select": 1, "out-of": ["p_1", "p_2", "p_3"] } }
    ],

    "ZanoliniWithN2andN3":[
      {"PubKey" : "1", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":["2","4","5"]}, "6", "7"]} },
      {"PubKey" : "2", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":["3","4","5"]}, "6", "7"]} },
      {"PubKey" : "3", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 2, "out-of":["1","4","5"]}, "6", "7"]} },
      {"PubKey" : "4", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 1, "out-of":["1","2","3","5"]}, "6", "7"]} },
      {"PubKey" : "5", "FailProneSystem": {"select" : 3, "out-of" : [{"select": 1, "out-of":["1","2","3","4"]}, "6", "7"]} },
      {"PubKey" : "6", "FailProneSystem": ["1","3","7"]  },
      {"PubKey" : "7", "FailProneSystem": ["3","4","5"]  },
      {"PubKey" : "8", "FailProneSystem": ["4","5","6"]  }
      ],
    
    

    "StrangersBlogAsym1": [ 
      {"PubKey": "1", "FailProneSystem": {"select": 1, "out-of": [3, 4, 5] }},
      {"PubKey": "2", "FailProneSystem": {"select": 1, "out-of": [3, 4, 5] }},
      {"PubKey": "3", "FailProneSystem": {"select": 1, "out-of": [{"select": 2, "out-of":[1,2]}, 4, 5] }},
      {"PubKey": "4", "FailProneSystem": {"select": 1, "out-of": [{"select": 2, "out-of":[1,2]}, 3, 5] }},
      {"PubKey": "5", "FailProneSystem": {"select": 1, "out-of": [{"select": 2, "out-of":[1,2]}, 3, 4] }},
      {"PubKey": "T", "FailProneSystem": {"select": 1, "out-of": [{"select": 2, "out-of":[1,2]}, 3, 4, 5] }}
    ],

    "StrangersBlogAsym2": [ 
      {"PubKey": "1", "FailProneSystem": {"select": 1, "out-of": [{"select": 2, "out-of":[2,5]}, 3, 4] }},
      {"PubKey": "2", "FailProneSystem": {"select": 1, "out-of": [1, 3, 4] }},
      {"PubKey": "3", "FailProneSystem": {"select": 1, "out-of": [{"select": 2, "out-of":[2,5]}, 1, 4] }},
      {"PubKey": "4", "FailProneSystem": {"select": 1, "out-of": [{"select": 2, "out-of":[2,5]}, 1, 3] }},
      {"PubKey": "5", "FailProneSystem": {"select": 1, "out-of": [1, 3, 4] }},
      {"PubKey": "T", "FailProneSystem": {"select": 1, "out-of": [{"select": 2, "out-of":[2,5]}, 1, 3, 4] }}
    ]
  }