{"nodes":
 [{"rep": "LogicE", "name": "LogicE", "level": 0},
  {"rep": "LogicE4", "name": "LogicE4", "level": 1},
  {"rep": "LogicE45", "name": "LogicE45", "level": 2},
  {"rep": "LogicE5", "name": "LogicE5", "level": 1},
  {"rep": "LogicEB", "name": "LogicEB", "level": 1},
  {"rep": "LogicEB4", "name": "LogicEB4", "level": 3},
  {"rep": "LogicEB4", "name": "LogicENB4", "level": 3},
  {"rep": "LogicEB45", "name": "LogicEB45", "level": 4},
  {"rep": "LogicEB45", "name": "LogicENB45", "level": 4},
  {"rep": "LogicEB5", "name": "LogicEB5", "level": 2},
  {"rep": "LogicEC", "name": "LogicEC", "level": 1},
  {"rep": "LogicEC4", "name": "LogicEC4", "level": 2},
  {"rep": "LogicEC45", "name": "LogicEC45", "level": 3},
  {"rep": "LogicEC5", "name": "LogicEC5", "level": 2},
  {"rep": "LogicECB", "name": "LogicECB", "level": 2},
  {"rep": "LogicECB4", "name": "LogicECB4", "level": 4},
  {"rep": "LogicECB4", "name": "LogicECNB4", "level": 4},
  {"rep": "LogicECB45", "name": "LogicECB45", "level": 5},
  {"rep": "LogicECB45", "name": "LogicECNB45", "level": 5},
  {"rep": "LogicECB5", "name": "LogicECB5", "level": 3},
  {"rep": "LogicECD", "name": "LogicECD", "level": 2},
  {"rep": "LogicECD4", "name": "LogicECD4", "level": 3},
  {"rep": "LogicECD45", "name": "LogicECD45", "level": 4},
  {"rep": "LogicECD5", "name": "LogicECD5", "level": 3},
  {"rep": "LogicECDB", "name": "LogicECDB", "level": 3},
  {"rep": "LogicECT5", "name": "LogicECDB4", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECDB45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECDB5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNDB4", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNDB45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNDB5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNT45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNT5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNTB4", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNTB45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNTB5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNTD45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNTD5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNTDB4", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNTDB45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECNTDB5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECT45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECT5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECTB4", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECTB45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECTB5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECTD45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECTD5", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECTDB4", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECTDB45", "level": 7},
  {"rep": "LogicECT5", "name": "LogicECTDB5", "level": 7},
  {"rep": "LogicECP", "name": "LogicECDP", "level": 3},
  {"rep": "LogicECP", "name": "LogicECP", "level": 3},
  {"rep": "LogicECN", "name": "LogicECN", "level": 2},
  {"rep": "LogicECN4", "name": "LogicECN4", "level": 3},
  {"rep": "LogicECN45", "name": "LogicECN45", "level": 4},
  {"rep": "LogicECN5", "name": "LogicECN5", "level": 3},
  {"rep": "LogicECNB", "name": "LogicECNB", "level": 3},
  {"rep": "LogicECNB5", "name": "LogicECNB5", "level": 4},
  {"rep": "LogicECND", "name": "LogicECND", "level": 4},
  {"rep": "LogicECND", "name": "LogicECNP", "level": 4},
  {"rep": "LogicECND4", "name": "LogicECND4", "level": 5},
  {"rep": "LogicECND45", "name": "LogicECND45", "level": 6},
  {"rep": "LogicECND5", "name": "LogicECND5", "level": 5},
  {"rep": "LogicECNDB", "name": "LogicECNDB", "level": 5},
  {"rep": "LogicENK", "name": "LogicECNK", "level": 3},
  {"rep": "LogicENK", "name": "LogicEMCN", "level": 3},
  {"rep": "LogicENK", "name": "LogicEMNK", "level": 3},
  {"rep": "LogicENK", "name": "LogicENK", "level": 3},
  {"rep": "LogicECNT", "name": "LogicECNT", "level": 5},
  {"rep": "LogicECNT", "name": "LogicECNTD", "level": 5},
  {"rep": "LogicECNT4", "name": "LogicECNT4", "level": 6},
  {"rep": "LogicECNT4", "name": "LogicECNTD4", "level": 6},
  {"rep": "LogicECTB", "name": "LogicECNTB", "level": 6},
  {"rep": "LogicECTB", "name": "LogicECNTDB", "level": 6},
  {"rep": "LogicECTB", "name": "LogicECTB", "level": 6},
  {"rep": "LogicECTB", "name": "LogicECTDB", "level": 6},
  {"rep": "LogicECT", "name": "LogicECT", "level": 3},
  {"rep": "LogicECT", "name": "LogicECTD", "level": 3},
  {"rep": "LogicECT", "name": "LogicECTP", "level": 3},
  {"rep": "LogicECT4", "name": "LogicECT4", "level": 4},
  {"rep": "LogicECT4", "name": "LogicECTD4", "level": 4},
  {"rep": "LogicED", "name": "LogicED", "level": 1},
  {"rep": "LogicED4", "name": "LogicED4", "level": 2},
  {"rep": "LogicED45", "name": "LogicED45", "level": 3},
  {"rep": "LogicED5", "name": "LogicED5", "level": 2},
  {"rep": "LogicEDB", "name": "LogicEDB", "level": 2},
  {"rep": "LogicET5", "name": "LogicEDB4", "level": 6},
  {"rep": "LogicET5", "name": "LogicEDB45", "level": 6},
  {"rep": "LogicET5", "name": "LogicENDB4", "level": 6},
  {"rep": "LogicET5", "name": "LogicENDB45", "level": 6},
  {"rep": "LogicET5", "name": "LogicENT45", "level": 6},
  {"rep": "LogicET5", "name": "LogicENT5", "level": 6},
  {"rep": "LogicET5", "name": "LogicENTB4", "level": 6},
  {"rep": "LogicET5", "name": "LogicENTB45", "level": 6},
  {"rep": "LogicET5", "name": "LogicENTB5", "level": 6},
  {"rep": "LogicET5", "name": "LogicENTD45", "level": 6},
  {"rep": "LogicET5", "name": "LogicENTD5", "level": 6},
  {"rep": "LogicET5", "name": "LogicENTDB4", "level": 6},
  {"rep": "LogicET5", "name": "LogicENTDB45", "level": 6},
  {"rep": "LogicET5", "name": "LogicENTDB5", "level": 6},
  {"rep": "LogicET5", "name": "LogicET45", "level": 6},
  {"rep": "LogicET5", "name": "LogicET5", "level": 6},
  {"rep": "LogicET5", "name": "LogicETB4", "level": 6},
  {"rep": "LogicET5", "name": "LogicETB45", "level": 6},
  {"rep": "LogicET5", "name": "LogicETB5", "level": 6},
  {"rep": "LogicET5", "name": "LogicETD45", "level": 6},
  {"rep": "LogicET5", "name": "LogicETD5", "level": 6},
  {"rep": "LogicET5", "name": "LogicETDB4", "level": 6},
  {"rep": "LogicET5", "name": "LogicETDB45", "level": 6},
  {"rep": "LogicET5", "name": "LogicETDB5", "level": 6},
  {"rep": "LogicET5", "name": "LogicETP5", "level": 6},
  {"rep": "LogicEDB5", "name": "LogicEDB5", "level": 5},
  {"rep": "LogicEDB5", "name": "LogicENDB5", "level": 5},
  {"rep": "LogicEDP5", "name": "LogicEDP5", "level": 4},
  {"rep": "LogicEDP5", "name": "LogicEND5", "level": 4},
  {"rep": "LogicEDPB", "name": "LogicEDPB", "level": 4},
  {"rep": "LogicEDPB", "name": "LogicENDB", "level": 4},
  {"rep": "LogicEK", "name": "LogicEK", "level": 1},
  {"rep": "LogicEKB4", "name": "LogicEKB4", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMB4", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMB45", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMB5", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMCB4", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMCB45", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMCB5", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMCNB4", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMCNB45", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMCNB5", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMNB4", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMNB45", "level": 6},
  {"rep": "LogicEKB4", "name": "LogicEMNB5", "level": 6},
  {"rep": "LogicEKP", "name": "LogicEKDP", "level": 0},
  {"rep": "LogicEKP", "name": "LogicEKP", "level": 0},
  {"rep": "LogicEKPB", "name": "LogicEKPB", "level": 6},
  {"rep": "LogicEKPB", "name": "LogicEMCDB", "level": 6},
  {"rep": "LogicEKPB", "name": "LogicEMCNDB", "level": 6},
  {"rep": "LogicEKPB", "name": "LogicEMDB", "level": 6},
  {"rep": "LogicEKPB", "name": "LogicEMNDB", "level": 6},
  {"rep": "LogicEKPB", "name": "LogicEMPB", "level": 6},
  {"rep": "LogicEKT", "name": "LogicEKT", "level": 0},
  {"rep": "LogicEKT", "name": "LogicEKTD", "level": 0},
  {"rep": "LogicEKT", "name": "LogicEKTP", "level": 0},
  {"rep": "LogicEKT5", "name": "LogicEKT5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCDB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCDB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCDB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNDB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNDB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNDB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNT45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNT5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNTB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNTB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNTB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNTD45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNTD5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNTDB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNTDB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCNTDB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCT45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCT5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCTB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCTB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCTB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCTD45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCTD5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCTDB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCTDB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMCTDB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMDB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMDB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMDB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNDB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNDB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNDB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNT45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNT5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNTB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNTB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNTB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNTD45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNTD5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNTDB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNTDB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMNTDB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMT45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMT5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMTB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMTB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMTB5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMTD45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMTD5", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMTDB4", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMTDB45", "level": 8},
  {"rep": "LogicEKT5", "name": "LogicEMTDB5", "level": 8},
  {"rep": "LogicEKTB", "name": "LogicEKTB", "level": 7},
  {"rep": "LogicEKTB", "name": "LogicEMCNTB", "level": 7},
  {"rep": "LogicEKTB", "name": "LogicEMCNTDB", "level": 7},
  {"rep": "LogicEKTB", "name": "LogicEMCTB", "level": 7},
  {"rep": "LogicEKTB", "name": "LogicEMCTDB", "level": 7},
  {"rep": "LogicEKTB", "name": "LogicEMNTB", "level": 7},
  {"rep": "LogicEKTB", "name": "LogicEMNTDB", "level": 7},
  {"rep": "LogicEKTB", "name": "LogicEMTB", "level": 7},
  {"rep": "LogicEKTB", "name": "LogicEMTDB", "level": 7},
  {"rep": "LogicEM", "name": "LogicEM", "level": 1},
  {"rep": "LogicEM4", "name": "LogicEM4", "level": 2},
  {"rep": "LogicEM45", "name": "LogicEM45", "level": 4},
  {"rep": "LogicEM45", "name": "LogicEMN45", "level": 4},
  {"rep": "LogicEM5", "name": "LogicEM5", "level": 3},
  {"rep": "LogicEM5", "name": "LogicEMN5", "level": 3},
  {"rep": "LogicEMB", "name": "LogicEMB", "level": 4},
  {"rep": "LogicEMB", "name": "LogicEMCB", "level": 4},
  {"rep": "LogicEMB", "name": "LogicEMCNB", "level": 4},
  {"rep": "LogicEMB", "name": "LogicEMKB", "level": 4},
  {"rep": "LogicEMB", "name": "LogicEMNB", "level": 4},
  {"rep": "LogicEMB", "name": "LogicENKB", "level": 4},
  {"rep": "LogicEMC", "name": "LogicEMC", "level": 2},
  {"rep": "LogicEMC", "name": "LogicEMCK", "level": 2},
  {"rep": "LogicEMC", "name": "LogicEMK", "level": 2},
  {"rep": "LogicEMC4", "name": "LogicEMC4", "level": 3},
  {"rep": "LogicEMC4", "name": "LogicEMK4", "level": 3},
  {"rep": "LogicEMC45", "name": "LogicEMC45", "level": 5},
  {"rep": "LogicEMC45", "name": "LogicEMCN45", "level": 5},
  {"rep": "LogicEMC5", "name": "LogicEMC5", "level": 4},
  {"rep": "LogicEMC5", "name": "LogicEMCN5", "level": 4},
  {"rep": "LogicEMC5", "name": "LogicEMK5", "level": 4},
  {"rep": "LogicEMC5", "name": "LogicENK5", "level": 4},
  {"rep": "LogicEMCD", "name": "LogicEMCD", "level": 4},
  {"rep": "LogicEMCD", "name": "LogicEMCP", "level": 4},
  {"rep": "LogicEMCD", "name": "LogicEMKD", "level": 4},
  {"rep": "LogicEMCD", "name": "LogicEMKP", "level": 4},
  {"rep": "LogicEMCD4", "name": "LogicEMCD4", "level": 5},
  {"rep": "LogicEMCD45", "name": "LogicEMCD45", "level": 7},
  {"rep": "LogicEMCD45", "name": "LogicEMCND45", "level": 7},
  {"rep": "LogicEMCD5", "name": "LogicEMCD5", "level": 6},
  {"rep": "LogicEMCD5", "name": "LogicEMCND5", "level": 6},
  {"rep": "LogicEMCN4", "name": "LogicEMCN4", "level": 4},
  {"rep": "LogicEMCND", "name": "LogicEMCND", "level": 5},
  {"rep": "LogicEMCND", "name": "LogicEMCNP", "level": 5},
  {"rep": "LogicEMCND4", "name": "LogicEMCND4", "level": 6},
  {"rep": "LogicENKT", "name": "LogicEMCNT", "level": 6},
  {"rep": "LogicENKT", "name": "LogicEMCNTD", "level": 6},
  {"rep": "LogicENKT", "name": "LogicENKT", "level": 6},
  {"rep": "LogicEMCNT4", "name": "LogicEMCNT4", "level": 7},
  {"rep": "LogicEMCNT4", "name": "LogicEMCNTD4", "level": 7},
  {"rep": "LogicEMCT", "name": "LogicEMCT", "level": 5},
  {"rep": "LogicEMCT", "name": "LogicEMCTD", "level": 5},
  {"rep": "LogicEMCT", "name": "LogicEMKT", "level": 5},
  {"rep": "LogicEMCT4", "name": "LogicEMCT4", "level": 6},
  {"rep": "LogicEMCT4", "name": "LogicEMCTD4", "level": 6},
  {"rep": "LogicEMD", "name": "LogicEMD", "level": 3},
  {"rep": "LogicEMD", "name": "LogicEMDP", "level": 3},
  {"rep": "LogicEMD4", "name": "LogicEMD4", "level": 4},
  {"rep": "LogicEMD45", "name": "LogicEMD45", "level": 6},
  {"rep": "LogicEMD45", "name": "LogicEMND45", "level": 6},
  {"rep": "LogicEMD5", "name": "LogicEMD5", "level": 5},
  {"rep": "LogicEMD5", "name": "LogicEMND5", "level": 5},
  {"rep": "LogicEMN", "name": "LogicEMN", "level": 2},
  {"rep": "LogicEMN4", "name": "LogicEMN4", "level": 3},
  {"rep": "LogicEMND", "name": "LogicEMND", "level": 4},
  {"rep": "LogicEMND4", "name": "LogicEMND4", "level": 5},
  {"rep": "LogicEMNP", "name": "LogicEMNP", "level": 3},
  {"rep": "LogicEMNT", "name": "LogicEMNT", "level": 5},
  {"rep": "LogicEMNT", "name": "LogicEMNTD", "level": 5},
  {"rep": "LogicEMNT4", "name": "LogicEMNT4", "level": 6},
  {"rep": "LogicEMNT4", "name": "LogicEMNTD4", "level": 6},
  {"rep": "LogicEMP", "name": "LogicEMP", "level": 2},
  {"rep": "LogicEMT", "name": "LogicEMT", "level": 4},
  {"rep": "LogicEMT", "name": "LogicEMTD", "level": 4},
  {"rep": "LogicEMT", "name": "LogicEMTP", "level": 4},
  {"rep": "LogicEMT4", "name": "LogicEMT4", "level": 5},
  {"rep": "LogicEMT4", "name": "LogicEMTD4", "level": 5},
  {"rep": "LogicEN", "name": "LogicEN", "level": 1},
  {"rep": "LogicEN4", "name": "LogicEN4", "level": 2},
  {"rep": "LogicEN45", "name": "LogicEN45", "level": 3},
  {"rep": "LogicEN5", "name": "LogicEN5", "level": 2},
  {"rep": "LogicENB", "name": "LogicENB", "level": 2},
  {"rep": "LogicENB5", "name": "LogicENB5", "level": 3},
  {"rep": "LogicEND", "name": "LogicEND", "level": 3},
  {"rep": "LogicEND", "name": "LogicENDP", "level": 3},
  {"rep": "LogicEND4", "name": "LogicEND4", "level": 4},
  {"rep": "LogicEND45", "name": "LogicEND45", "level": 5},
  {"rep": "LogicENKD", "name": "LogicENKD", "level": 0},
  {"rep": "LogicENKD", "name": "LogicENKP", "level": 0},
  {"rep": "LogicENP", "name": "LogicENP", "level": 2},
  {"rep": "LogicEP5", "name": "LogicENP5", "level": 0},
  {"rep": "LogicEP5", "name": "LogicEP5", "level": 0},
  {"rep": "LogicEPB", "name": "LogicENPB", "level": 0},
  {"rep": "LogicEPB", "name": "LogicEPB", "level": 0},
  {"rep": "LogicENT", "name": "LogicENT", "level": 4},
  {"rep": "LogicENT", "name": "LogicENTD", "level": 4},
  {"rep": "LogicENT", "name": "LogicENTP", "level": 4},
  {"rep": "LogicENT4", "name": "LogicENT4", "level": 5},
  {"rep": "LogicENT4", "name": "LogicENTD4", "level": 5},
  {"rep": "LogicETB", "name": "LogicENTB", "level": 5},
  {"rep": "LogicETB", "name": "LogicENTDB", "level": 5},
  {"rep": "LogicETB", "name": "LogicETB", "level": 5},
  {"rep": "LogicETB", "name": "LogicETDB", "level": 5},
  {"rep": "LogicETB", "name": "LogicETPB", "level": 5},
  {"rep": "LogicEP", "name": "LogicEP", "level": 1},
  {"rep": "LogicET", "name": "LogicET", "level": 2},
  {"rep": "LogicET", "name": "LogicETD", "level": 2},
  {"rep": "LogicET", "name": "LogicETDP", "level": 2},
  {"rep": "LogicET", "name": "LogicETP", "level": 2},
  {"rep": "LogicET4", "name": "LogicET4", "level": 3},
  {"rep": "LogicET4", "name": "LogicETD4", "level": 3},
  {"rep": "LogicET4", "name": "LogicETP4", "level": 3}],
 "edges":
 [{"type": "ssub", "to": "LogicE4", "from": "LogicE"},
  {"type": "ssub", "to": "LogicE5", "from": "LogicE"},
  {"type": "ssub", "to": "LogicEB", "from": "LogicE"},
  {"type": "ssub", "to": "LogicEC", "from": "LogicE"},
  {"type": "ssub", "to": "LogicED", "from": "LogicE"},
  {"type": "ssub", "to": "LogicEK", "from": "LogicE"},
  {"type": "ssub", "to": "LogicEM", "from": "LogicE"},
  {"type": "ssub", "to": "LogicEN", "from": "LogicE"},
  {"type": "ssub", "to": "LogicEP", "from": "LogicE"},
  {"type": "ssub", "to": "LogicE45", "from": "LogicE4"},
  {"type": "ssub", "to": "LogicEC4", "from": "LogicE4"},
  {"type": "ssub", "to": "LogicED4", "from": "LogicE4"},
  {"type": "ssub", "to": "LogicEM4", "from": "LogicE4"},
  {"type": "ssub", "to": "LogicEN4", "from": "LogicE4"},
  {"type": "ssub", "to": "LogicEC45", "from": "LogicE45"},
  {"type": "ssub", "to": "LogicED45", "from": "LogicE45"},
  {"type": "ssub", "to": "LogicEN45", "from": "LogicE45"},
  {"type": "ssub", "to": "LogicE45", "from": "LogicE5"},
  {"type": "ssub", "to": "LogicEB5", "from": "LogicE5"},
  {"type": "ssub", "to": "LogicEC5", "from": "LogicE5"},
  {"type": "ssub", "to": "LogicED5", "from": "LogicE5"},
  {"type": "ssub", "to": "LogicEN5", "from": "LogicE5"},
  {"type": "ssub", "to": "LogicEB5", "from": "LogicEB"},
  {"type": "ssub", "to": "LogicECB", "from": "LogicEB"},
  {"type": "ssub", "to": "LogicEDB", "from": "LogicEB"},
  {"type": "ssub", "to": "LogicENB", "from": "LogicEB"},
  {"type": "ssub", "to": "LogicEB45", "from": "LogicEB4"},
  {"type": "ssub", "to": "LogicECB4", "from": "LogicEB4"},
  {"type": "ssub", "to": "LogicECB45", "from": "LogicEB45"},
  {"type": "ssub", "to": "LogicETB45", "from": "LogicEB45"},
  {"type": "ssub", "to": "LogicECB5", "from": "LogicEB5"},
  {"type": "ssub", "to": "LogicENB5", "from": "LogicEB5"},
  {"type": "ssub", "to": "LogicEC4", "from": "LogicEC"},
  {"type": "ssub", "to": "LogicEC5", "from": "LogicEC"},
  {"type": "ssub", "to": "LogicECB", "from": "LogicEC"},
  {"type": "ssub", "to": "LogicECD", "from": "LogicEC"},
  {"type": "ssub", "to": "LogicECN", "from": "LogicEC"},
  {"type": "ssub", "to": "LogicEMC", "from": "LogicEC"},
  {"type": "ssub", "to": "LogicEC45", "from": "LogicEC4"},
  {"type": "ssub", "to": "LogicECD4", "from": "LogicEC4"},
  {"type": "ssub", "to": "LogicECN4", "from": "LogicEC4"},
  {"type": "ssub", "to": "LogicEMC4", "from": "LogicEC4"},
  {"type": "ssub", "to": "LogicECD45", "from": "LogicEC45"},
  {"type": "ssub", "to": "LogicECN45", "from": "LogicEC45"},
  {"type": "ssub", "to": "LogicEC45", "from": "LogicEC5"},
  {"type": "ssub", "to": "LogicECB5", "from": "LogicEC5"},
  {"type": "ssub", "to": "LogicECD5", "from": "LogicEC5"},
  {"type": "ssub", "to": "LogicECN5", "from": "LogicEC5"},
  {"type": "ssub", "to": "LogicECB5", "from": "LogicECB"},
  {"type": "ssub", "to": "LogicECDB", "from": "LogicECB"},
  {"type": "ssub", "to": "LogicECNB", "from": "LogicECB"},
  {"type": "ssub", "to": "LogicECB45", "from": "LogicECB4"},
  {"type": "ssub", "to": "LogicECTB45", "from": "LogicECB45"},
  {"type": "ssub", "to": "LogicEMCB45", "from": "LogicECB45"},
  {"type": "ssub", "to": "LogicECNB5", "from": "LogicECB5"},
  {"type": "ssub", "to": "LogicECD4", "from": "LogicECD"},
  {"type": "ssub", "to": "LogicECD5", "from": "LogicECD"},
  {"type": "ssub", "to": "LogicECDB", "from": "LogicECD"},
  {"type": "ssub", "to": "LogicECP", "from": "LogicECD"},
  {"type": "ssub", "to": "LogicECTD", "from": "LogicECD"},
  {"type": "ssub", "to": "LogicECD45", "from": "LogicECD4"},
  {"type": "ssub", "to": "LogicECND4", "from": "LogicECD4"},
  {"type": "ssub", "to": "LogicECT4", "from": "LogicECD4"},
  {"type": "ssub", "to": "LogicEMCD4", "from": "LogicECD4"},
  {"type": "ssub", "to": "LogicECND45", "from": "LogicECD45"},
  {"type": "ssub", "to": "LogicECD45", "from": "LogicECD5"},
  {"type": "ssub", "to": "LogicECND5", "from": "LogicECD5"},
  {"type": "ssub", "to": "LogicECNDB", "from": "LogicECDB"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECDB4"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECDB45"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECDB5"},
  {"type": "eq", "to": "LogicECP", "from": "LogicECDP"},
  {"type": "ssub", "to": "LogicECN4", "from": "LogicECN"},
  {"type": "ssub", "to": "LogicECN5", "from": "LogicECN"},
  {"type": "ssub", "to": "LogicECNB", "from": "LogicECN"},
  {"type": "ssub", "to": "LogicECND", "from": "LogicECN"},
  {"type": "ssub", "to": "LogicEMCN", "from": "LogicECN"},
  {"type": "ssub", "to": "LogicECB4", "from": "LogicECN4"},
  {"type": "ssub", "to": "LogicECN45", "from": "LogicECN4"},
  {"type": "ssub", "to": "LogicECND4", "from": "LogicECN4"},
  {"type": "ssub", "to": "LogicEMCN4", "from": "LogicECN4"},
  {"type": "ssub", "to": "LogicECNB45", "from": "LogicECN45"},
  {"type": "ssub", "to": "LogicECND45", "from": "LogicECN45"},
  {"type": "ssub", "to": "LogicEMCN45", "from": "LogicECN45"},
  {"type": "ssub", "to": "LogicECN45", "from": "LogicECN5"},
  {"type": "ssub", "to": "LogicECNB5", "from": "LogicECN5"},
  {"type": "ssub", "to": "LogicECND5", "from": "LogicECN5"},
  {"type": "ssub", "to": "LogicEMC5", "from": "LogicECN5"},
  {"type": "ssub", "to": "LogicECB4", "from": "LogicECNB"},
  {"type": "ssub", "to": "LogicECNB5", "from": "LogicECNB"},
  {"type": "ssub", "to": "LogicECNDB", "from": "LogicECNB"},
  {"type": "ssub", "to": "LogicEMB", "from": "LogicECNB"},
  {"type": "eq", "to": "LogicECB4", "from": "LogicECNB4"},
  {"type": "eq", "to": "LogicECB45", "from": "LogicECNB45"},
  {"type": "ssub", "to": "LogicECNB45", "from": "LogicECNB5"},
  {"type": "ssub", "to": "LogicECND4", "from": "LogicECND"},
  {"type": "ssub", "to": "LogicECND5", "from": "LogicECND"},
  {"type": "ssub", "to": "LogicECNDB", "from": "LogicECND"},
  {"type": "eq", "to": "LogicECNP", "from": "LogicECND"},
  {"type": "ssub", "to": "LogicECNT", "from": "LogicECND"},
  {"type": "ssub", "to": "LogicEMCND", "from": "LogicECND"},
  {"type": "ssub", "to": "LogicECND45", "from": "LogicECND4"},
  {"type": "ssub", "to": "LogicECNTD4", "from": "LogicECND4"},
  {"type": "ssub", "to": "LogicEMCND4", "from": "LogicECND4"},
  {"type": "ssub", "to": "LogicECNTD45", "from": "LogicECND45"},
  {"type": "ssub", "to": "LogicEMCND45", "from": "LogicECND45"},
  {"type": "ssub", "to": "LogicECND45", "from": "LogicECND5"},
  {"type": "ssub", "to": "LogicEMCND5", "from": "LogicECND5"},
  {"type": "ssub", "to": "LogicECTB", "from": "LogicECNDB"},
  {"type": "ssub", "to": "LogicEMCNDB", "from": "LogicECNDB"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECNDB4"},
  {"type": "eq", "to": "LogicECNTDB45", "from": "LogicECNDB45"},
  {"type": "eq", "to": "LogicECDB5", "from": "LogicECNDB5"},
  {"type": "eq", "to": "LogicEMCN", "from": "LogicECNK"},
  {"type": "ssub", "to": "LogicECNT4", "from": "LogicECNT"},
  {"type": "ssub", "to": "LogicECTB", "from": "LogicECNT"},
  {"type": "ssub", "to": "LogicEMCNT", "from": "LogicECNT"},
  {"type": "ssub", "to": "LogicECNTB4", "from": "LogicECNT4"},
  {"type": "ssub", "to": "LogicEMCNT4", "from": "LogicECNT4"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECNT45"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECNT5"},
  {"type": "eq", "to": "LogicECTB", "from": "LogicECNTB"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECNTB4"},
  {"type": "eq", "to": "LogicECNTDB45", "from": "LogicECNTB45"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECNTB5"},
  {"type": "eq", "to": "LogicECNT", "from": "LogicECNTD"},
  {"type": "eq", "to": "LogicECNT4", "from": "LogicECNTD4"},
  {"type": "eq", "to": "LogicECNTDB45", "from": "LogicECNTD45"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECNTD5"},
  {"type": "eq", "to": "LogicECTB", "from": "LogicECNTDB"},
  {"type": "eq", "to": "LogicECNTDB45", "from": "LogicECNTDB4"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECNTDB45"},
  {"type": "eq", "to": "LogicECNTDB45", "from": "LogicECNTDB5"},
  {"type": "ssub", "to": "LogicECND", "from": "LogicECP"},
  {"type": "ssub", "to": "LogicEMCD", "from": "LogicECP"},
  {"type": "ssub", "to": "LogicECNT", "from": "LogicECT"},
  {"type": "ssub", "to": "LogicECT4", "from": "LogicECT"},
  {"type": "ssub", "to": "LogicEMCT", "from": "LogicECT"},
  {"type": "ssub", "to": "LogicECNT4", "from": "LogicECT4"},
  {"type": "ssub", "to": "LogicEMCT4", "from": "LogicECT4"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECT45"},
  {"type": "ssub", "to": "LogicEMT5", "from": "LogicECT5"},
  {"type": "ssub", "to": "LogicECT5", "from": "LogicECTB"},
  {"type": "ssub", "to": "LogicEMTB", "from": "LogicECTB"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECTB4"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECTB45"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECTB5"},
  {"type": "eq", "to": "LogicECT", "from": "LogicECTD"},
  {"type": "eq", "to": "LogicECT4", "from": "LogicECTD4"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECTD45"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECTD5"},
  {"type": "eq", "to": "LogicECTB", "from": "LogicECTDB"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECTDB4"},
  {"type": "eq", "to": "LogicECNTDB45", "from": "LogicECTDB45"},
  {"type": "eq", "to": "LogicECT5", "from": "LogicECTDB5"},
  {"type": "eq", "to": "LogicECT", "from": "LogicECTP"},
  {"type": "ssub", "to": "LogicECD", "from": "LogicED"},
  {"type": "ssub", "to": "LogicED4", "from": "LogicED"},
  {"type": "ssub", "to": "LogicED5", "from": "LogicED"},
  {"type": "ssub", "to": "LogicEDB", "from": "LogicED"},
  {"type": "ssub", "to": "LogicEMD", "from": "LogicED"},
  {"type": "ssub", "to": "LogicEND", "from": "LogicED"},
  {"type": "ssub", "to": "LogicET", "from": "LogicED"},
  {"type": "ssub", "to": "LogicECD4", "from": "LogicED4"},
  {"type": "ssub", "to": "LogicED45", "from": "LogicED4"},
  {"type": "ssub", "to": "LogicEMD4", "from": "LogicED4"},
  {"type": "ssub", "to": "LogicEND4", "from": "LogicED4"},
  {"type": "ssub", "to": "LogicET4", "from": "LogicED4"},
  {"type": "ssub", "to": "LogicECD45", "from": "LogicED45"},
  {"type": "ssub", "to": "LogicEND45", "from": "LogicED45"},
  {"type": "ssub", "to": "LogicECD5", "from": "LogicED5"},
  {"type": "ssub", "to": "LogicED45", "from": "LogicED5"},
  {"type": "ssub", "to": "LogicEND5", "from": "LogicED5"},
  {"type": "ssub", "to": "LogicECDB", "from": "LogicEDB"},
  {"type": "ssub", "to": "LogicENDB", "from": "LogicEDB"},
  {"type": "eq", "to": "LogicET5", "from": "LogicEDB4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicEDB45"},
  {"type": "ssub", "to": "LogicETDB5", "from": "LogicEDB5"},
  {"type": "eq", "to": "LogicEND5", "from": "LogicEDP5"},
  {"type": "eq", "to": "LogicENDB", "from": "LogicEDPB"},
  {"type": "ssub", "to": "LogicEMK", "from": "LogicEK"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEKB4"},
  {"type": "eq", "to": "LogicEKP", "from": "LogicEKDP"},
  {"type": "eq", "to": "LogicEMDB", "from": "LogicEKPB"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEKT5"},
  {"type": "eq", "to": "LogicEMTB", "from": "LogicEKTB"},
  {"type": "eq", "to": "LogicEKT", "from": "LogicEKTD"},
  {"type": "eq", "to": "LogicEKT", "from": "LogicEKTP"},
  {"type": "ssub", "to": "LogicEM4", "from": "LogicEM"},
  {"type": "ssub", "to": "LogicEMK", "from": "LogicEM"},
  {"type": "ssub", "to": "LogicEMN", "from": "LogicEM"},
  {"type": "ssub", "to": "LogicEMP", "from": "LogicEM"},
  {"type": "ssub", "to": "LogicEMC4", "from": "LogicEM4"},
  {"type": "ssub", "to": "LogicEMD4", "from": "LogicEM4"},
  {"type": "ssub", "to": "LogicEMN4", "from": "LogicEM4"},
  {"type": "ssub", "to": "LogicEMC45", "from": "LogicEM45"},
  {"type": "ssub", "to": "LogicEMD45", "from": "LogicEM45"},
  {"type": "ssub", "to": "LogicEM45", "from": "LogicEM5"},
  {"type": "ssub", "to": "LogicEMC5", "from": "LogicEM5"},
  {"type": "ssub", "to": "LogicEMD5", "from": "LogicEM5"},
  {"type": "ssub", "to": "LogicEMB4", "from": "LogicEMB"},
  {"type": "ssub", "to": "LogicEMDB", "from": "LogicEMB"},
  {"type": "ssub", "to": "LogicEMT5", "from": "LogicEMB4"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMB45"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMB5"},
  {"type": "ssub", "to": "LogicEMC4", "from": "LogicEMC"},
  {"type": "ssub", "to": "LogicEMCD", "from": "LogicEMC"},
  {"type": "ssub", "to": "LogicEMCN", "from": "LogicEMC"},
  {"type": "ssub", "to": "LogicEMCD4", "from": "LogicEMC4"},
  {"type": "ssub", "to": "LogicEMCN4", "from": "LogicEMC4"},
  {"type": "ssub", "to": "LogicEMB4", "from": "LogicEMC45"},
  {"type": "ssub", "to": "LogicEMCD45", "from": "LogicEMC45"},
  {"type": "ssub", "to": "LogicEMC45", "from": "LogicEMC5"},
  {"type": "ssub", "to": "LogicEMCD5", "from": "LogicEMC5"},
  {"type": "eq", "to": "LogicEMB", "from": "LogicEMCB"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMCB4"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMCB45"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMCB5"},
  {"type": "ssub", "to": "LogicEMCD4", "from": "LogicEMCD"},
  {"type": "ssub", "to": "LogicEMCND", "from": "LogicEMCD"},
  {"type": "eq", "to": "LogicEMCP", "from": "LogicEMCD"},
  {"type": "ssub", "to": "LogicEMCT", "from": "LogicEMCD"},
  {"type": "ssub", "to": "LogicEMCND4", "from": "LogicEMCD4"},
  {"type": "ssub", "to": "LogicEMCTD4", "from": "LogicEMCD4"},
  {"type": "ssub", "to": "LogicEMT5", "from": "LogicEMCD45"},
  {"type": "ssub", "to": "LogicEMCD45", "from": "LogicEMCD5"},
  {"type": "eq", "to": "LogicEMDB", "from": "LogicEMCDB"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCDB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCDB45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCDB5"},
  {"type": "eq", "to": "LogicEMC", "from": "LogicEMCK"},
  {"type": "eq", "to": "LogicEMK", "from": "LogicEMCK"},
  {"type": "ssub", "to": "LogicEMB", "from": "LogicEMCN"},
  {"type": "ssub", "to": "LogicEMC5", "from": "LogicEMCN"},
  {"type": "ssub", "to": "LogicEMCN4", "from": "LogicEMCN"},
  {"type": "ssub", "to": "LogicEMCND", "from": "LogicEMCN"},
  {"type": "ssub", "to": "LogicEMC45", "from": "LogicEMCN4"},
  {"type": "ssub", "to": "LogicEMCND4", "from": "LogicEMCN4"},
  {"type": "eq", "to": "LogicEMC45", "from": "LogicEMCN45"},
  {"type": "eq", "to": "LogicEMC5", "from": "LogicEMCN5"},
  {"type": "eq", "to": "LogicEMB", "from": "LogicEMCNB"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMCNB4"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMCNB45"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMCNB5"},
  {"type": "ssub", "to": "LogicEMCD5", "from": "LogicEMCND"},
  {"type": "ssub", "to": "LogicEMCND4", "from": "LogicEMCND"},
  {"type": "eq", "to": "LogicEMCNP", "from": "LogicEMCND"},
  {"type": "ssub", "to": "LogicEMCNT", "from": "LogicEMCND"},
  {"type": "ssub", "to": "LogicEMDB", "from": "LogicEMCND"},
  {"type": "ssub", "to": "LogicEMCD45", "from": "LogicEMCND4"},
  {"type": "ssub", "to": "LogicEMCNT4", "from": "LogicEMCND4"},
  {"type": "eq", "to": "LogicEMCD45", "from": "LogicEMCND45"},
  {"type": "eq", "to": "LogicEMCD5", "from": "LogicEMCND5"},
  {"type": "eq", "to": "LogicEMDB", "from": "LogicEMCNDB"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNDB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNDB45"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNDB5"},
  {"type": "ssub", "to": "LogicEMCNT4", "from": "LogicEMCNT"},
  {"type": "ssub", "to": "LogicEMTB", "from": "LogicEMCNT"},
  {"type": "eq", "to": "LogicENKT", "from": "LogicEMCNT"},
  {"type": "ssub", "to": "LogicEMT5", "from": "LogicEMCNT4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNT45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCNT5"},
  {"type": "eq", "to": "LogicEMTB", "from": "LogicEMCNTB"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNTB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNTB45"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNTB5"},
  {"type": "eq", "to": "LogicENKT", "from": "LogicEMCNTD"},
  {"type": "eq", "to": "LogicEMCNT4", "from": "LogicEMCNTD4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNTD45"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNTD5"},
  {"type": "eq", "to": "LogicEMTB", "from": "LogicEMCNTDB"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNTDB4"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCNTDB45"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCNTDB5"},
  {"type": "ssub", "to": "LogicEMCNT", "from": "LogicEMCT"},
  {"type": "ssub", "to": "LogicEMCT4", "from": "LogicEMCT"},
  {"type": "ssub", "to": "LogicEMCNT4", "from": "LogicEMCT4"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCT45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCT5"},
  {"type": "eq", "to": "LogicEMTB", "from": "LogicEMCTB"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCTB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCTB45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCTB5"},
  {"type": "eq", "to": "LogicEMCT", "from": "LogicEMCTD"},
  {"type": "eq", "to": "LogicEMCT4", "from": "LogicEMCTD4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCTD45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMCTD5"},
  {"type": "eq", "to": "LogicEMTB", "from": "LogicEMCTDB"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCTDB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCTDB45"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMCTDB5"},
  {"type": "ssub", "to": "LogicEMCD", "from": "LogicEMD"},
  {"type": "ssub", "to": "LogicEMD4", "from": "LogicEMD"},
  {"type": "ssub", "to": "LogicEMND", "from": "LogicEMD"},
  {"type": "ssub", "to": "LogicEMT", "from": "LogicEMD"},
  {"type": "ssub", "to": "LogicEMCD4", "from": "LogicEMD4"},
  {"type": "ssub", "to": "LogicEMND4", "from": "LogicEMD4"},
  {"type": "ssub", "to": "LogicEMT4", "from": "LogicEMD4"},
  {"type": "ssub", "to": "LogicEMCD45", "from": "LogicEMD45"},
  {"type": "ssub", "to": "LogicEMCD5", "from": "LogicEMD5"},
  {"type": "ssub", "to": "LogicEMD45", "from": "LogicEMD5"},
  {"type": "ssub", "to": "LogicEMTB", "from": "LogicEMDB"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMDB4"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMDB45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMDB5"},
  {"type": "eq", "to": "LogicEMD", "from": "LogicEMDP"},
  {"type": "eq", "to": "LogicEMC4", "from": "LogicEMK4"},
  {"type": "eq", "to": "LogicEMC5", "from": "LogicEMK5"},
  {"type": "eq", "to": "LogicEMB", "from": "LogicEMKB"},
  {"type": "eq", "to": "LogicEMCD", "from": "LogicEMKD"},
  {"type": "eq", "to": "LogicEMCD", "from": "LogicEMKP"},
  {"type": "eq", "to": "LogicEMCT", "from": "LogicEMKT"},
  {"type": "ssub", "to": "LogicEM5", "from": "LogicEMN"},
  {"type": "ssub", "to": "LogicEMCN", "from": "LogicEMN"},
  {"type": "ssub", "to": "LogicEMN4", "from": "LogicEMN"},
  {"type": "ssub", "to": "LogicEMNP", "from": "LogicEMN"},
  {"type": "ssub", "to": "LogicEM45", "from": "LogicEMN4"},
  {"type": "ssub", "to": "LogicEMCN4", "from": "LogicEMN4"},
  {"type": "ssub", "to": "LogicEMND4", "from": "LogicEMN4"},
  {"type": "eq", "to": "LogicEM45", "from": "LogicEMN45"},
  {"type": "eq", "to": "LogicEM5", "from": "LogicEMN5"},
  {"type": "eq", "to": "LogicEMB", "from": "LogicEMNB"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMNB4"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMNB45"},
  {"type": "eq", "to": "LogicEMB4", "from": "LogicEMNB5"},
  {"type": "ssub", "to": "LogicEMCND", "from": "LogicEMND"},
  {"type": "ssub", "to": "LogicEMD5", "from": "LogicEMND"},
  {"type": "ssub", "to": "LogicEMND4", "from": "LogicEMND"},
  {"type": "ssub", "to": "LogicEMNT", "from": "LogicEMND"},
  {"type": "ssub", "to": "LogicEMCND4", "from": "LogicEMND4"},
  {"type": "ssub", "to": "LogicEMD45", "from": "LogicEMND4"},
  {"type": "ssub", "to": "LogicEMNTD4", "from": "LogicEMND4"},
  {"type": "eq", "to": "LogicEMD45", "from": "LogicEMND45"},
  {"type": "eq", "to": "LogicEMD5", "from": "LogicEMND5"},
  {"type": "eq", "to": "LogicEMDB", "from": "LogicEMNDB"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMNDB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMNDB45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMNDB5"},
  {"type": "eq", "to": "LogicEMCN", "from": "LogicEMNK"},
  {"type": "ssub", "to": "LogicEMND", "from": "LogicEMNP"},
  {"type": "ssub", "to": "LogicEMCNT", "from": "LogicEMNT"},
  {"type": "ssub", "to": "LogicEMNT4", "from": "LogicEMNT"},
  {"type": "ssub", "to": "LogicEMCNT4", "from": "LogicEMNT4"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMNT45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMNT5"},
  {"type": "eq", "to": "LogicEMTB", "from": "LogicEMNTB"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMNTB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMNTB45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMNTB5"},
  {"type": "eq", "to": "LogicEMNT", "from": "LogicEMNTD"},
  {"type": "eq", "to": "LogicEMNT4", "from": "LogicEMNTD4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMNTD45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMNTD5"},
  {"type": "eq", "to": "LogicEMTB", "from": "LogicEMNTDB"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMNTDB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMNTDB45"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMNTDB5"},
  {"type": "ssub", "to": "LogicEMD", "from": "LogicEMP"},
  {"type": "ssub", "to": "LogicEMNP", "from": "LogicEMP"},
  {"type": "eq", "to": "LogicEMDB", "from": "LogicEMPB"},
  {"type": "ssub", "to": "LogicEMCT", "from": "LogicEMT"},
  {"type": "ssub", "to": "LogicEMNT", "from": "LogicEMT"},
  {"type": "ssub", "to": "LogicEMT4", "from": "LogicEMT"},
  {"type": "ssub", "to": "LogicEMCT4", "from": "LogicEMT4"},
  {"type": "ssub", "to": "LogicEMNT4", "from": "LogicEMT4"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMT45"},
  {"type": "ssub", "to": "LogicEMT5", "from": "LogicEMTB"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMTB4"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMTB45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMTB5"},
  {"type": "eq", "to": "LogicEMT", "from": "LogicEMTD"},
  {"type": "eq", "to": "LogicEMT4", "from": "LogicEMTD4"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMTD45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMTD5"},
  {"type": "eq", "to": "LogicEMTB", "from": "LogicEMTDB"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMTDB4"},
  {"type": "eq", "to": "LogicEMCNTDB45", "from": "LogicEMTDB45"},
  {"type": "eq", "to": "LogicEMT5", "from": "LogicEMTDB5"},
  {"type": "eq", "to": "LogicEMT", "from": "LogicEMTP"},
  {"type": "ssub", "to": "LogicECN", "from": "LogicEN"},
  {"type": "ssub", "to": "LogicEMN", "from": "LogicEN"},
  {"type": "ssub", "to": "LogicEN4", "from": "LogicEN"},
  {"type": "ssub", "to": "LogicEN5", "from": "LogicEN"},
  {"type": "ssub", "to": "LogicENB", "from": "LogicEN"},
  {"type": "ssub", "to": "LogicENP", "from": "LogicEN"},
  {"type": "ssub", "to": "LogicEB4", "from": "LogicEN4"},
  {"type": "ssub", "to": "LogicECN4", "from": "LogicEN4"},
  {"type": "ssub", "to": "LogicEMN4", "from": "LogicEN4"},
  {"type": "ssub", "to": "LogicEN45", "from": "LogicEN4"},
  {"type": "ssub", "to": "LogicEND4", "from": "LogicEN4"},
  {"type": "ssub", "to": "LogicECN45", "from": "LogicEN45"},
  {"type": "ssub", "to": "LogicEM45", "from": "LogicEN45"},
  {"type": "ssub", "to": "LogicENB45", "from": "LogicEN45"},
  {"type": "ssub", "to": "LogicEND45", "from": "LogicEN45"},
  {"type": "ssub", "to": "LogicECN5", "from": "LogicEN5"},
  {"type": "ssub", "to": "LogicEM5", "from": "LogicEN5"},
  {"type": "ssub", "to": "LogicEN45", "from": "LogicEN5"},
  {"type": "ssub", "to": "LogicENB5", "from": "LogicEN5"},
  {"type": "ssub", "to": "LogicEND5", "from": "LogicEN5"},
  {"type": "ssub", "to": "LogicEB4", "from": "LogicENB"},
  {"type": "ssub", "to": "LogicECNB", "from": "LogicENB"},
  {"type": "ssub", "to": "LogicENB5", "from": "LogicENB"},
  {"type": "ssub", "to": "LogicENDB", "from": "LogicENB"},
  {"type": "eq", "to": "LogicEB4", "from": "LogicENB4"},
  {"type": "eq", "to": "LogicEB45", "from": "LogicENB45"},
  {"type": "ssub", "to": "LogicECNB5", "from": "LogicENB5"},
  {"type": "ssub", "to": "LogicENB45", "from": "LogicENB5"},
  {"type": "ssub", "to": "LogicENDB5", "from": "LogicENB5"},
  {"type": "ssub", "to": "LogicECND", "from": "LogicEND"},
  {"type": "ssub", "to": "LogicEMND", "from": "LogicEND"},
  {"type": "ssub", "to": "LogicEND4", "from": "LogicEND"},
  {"type": "ssub", "to": "LogicEND5", "from": "LogicEND"},
  {"type": "ssub", "to": "LogicENDB", "from": "LogicEND"},
  {"type": "ssub", "to": "LogicENT", "from": "LogicEND"},
  {"type": "ssub", "to": "LogicECND4", "from": "LogicEND4"},
  {"type": "ssub", "to": "LogicEMND4", "from": "LogicEND4"},
  {"type": "ssub", "to": "LogicEND45", "from": "LogicEND4"},
  {"type": "ssub", "to": "LogicENT4", "from": "LogicEND4"},
  {"type": "ssub", "to": "LogicECND45", "from": "LogicEND45"},
  {"type": "ssub", "to": "LogicEMD45", "from": "LogicEND45"},
  {"type": "ssub", "to": "LogicENTD45", "from": "LogicEND45"},
  {"type": "ssub", "to": "LogicECND5", "from": "LogicEND5"},
  {"type": "ssub", "to": "LogicEMD5", "from": "LogicEND5"},
  {"type": "ssub", "to": "LogicEND45", "from": "LogicEND5"},
  {"type": "ssub", "to": "LogicENDB5", "from": "LogicEND5"},
  {"type": "ssub", "to": "LogicECNDB", "from": "LogicENDB"},
  {"type": "ssub", "to": "LogicENDB5", "from": "LogicENDB"},
  {"type": "ssub", "to": "LogicETB", "from": "LogicENDB"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENDB4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENDB45"},
  {"type": "eq", "to": "LogicEDB5", "from": "LogicENDB5"},
  {"type": "eq", "to": "LogicEND", "from": "LogicENDP"},
  {"type": "eq", "to": "LogicEMCN", "from": "LogicENK"},
  {"type": "eq", "to": "LogicEMC5", "from": "LogicENK5"},
  {"type": "eq", "to": "LogicEMB", "from": "LogicENKB"},
  {"type": "eq", "to": "LogicENKD", "from": "LogicENKP"},
  {"type": "ssub", "to": "LogicEMNP", "from": "LogicENP"},
  {"type": "ssub", "to": "LogicEND", "from": "LogicENP"},
  {"type": "eq", "to": "LogicEP5", "from": "LogicENP5"},
  {"type": "eq", "to": "LogicEPB", "from": "LogicENPB"},
  {"type": "ssub", "to": "LogicECNT", "from": "LogicENT"},
  {"type": "ssub", "to": "LogicEMNT", "from": "LogicENT"},
  {"type": "ssub", "to": "LogicENT4", "from": "LogicENT"},
  {"type": "ssub", "to": "LogicENTB", "from": "LogicENT"},
  {"type": "ssub", "to": "LogicECNT4", "from": "LogicENT4"},
  {"type": "ssub", "to": "LogicEMNT4", "from": "LogicENT4"},
  {"type": "ssub", "to": "LogicET5", "from": "LogicENT4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENT45"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENT5"},
  {"type": "eq", "to": "LogicETB", "from": "LogicENTB"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENTB4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENTB45"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENTB5"},
  {"type": "eq", "to": "LogicENT", "from": "LogicENTD"},
  {"type": "eq", "to": "LogicENT4", "from": "LogicENTD4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENTD45"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENTD5"},
  {"type": "eq", "to": "LogicETB", "from": "LogicENTDB"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENTDB4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENTDB45"},
  {"type": "eq", "to": "LogicET5", "from": "LogicENTDB5"},
  {"type": "eq", "to": "LogicENT", "from": "LogicENTP"},
  {"type": "ssub", "to": "LogicECP", "from": "LogicEP"},
  {"type": "ssub", "to": "LogicEMP", "from": "LogicEP"},
  {"type": "ssub", "to": "LogicENP", "from": "LogicEP"},
  {"type": "ssub", "to": "LogicET", "from": "LogicEP"},
  {"type": "ssub", "to": "LogicECT", "from": "LogicET"},
  {"type": "ssub", "to": "LogicEMT", "from": "LogicET"},
  {"type": "ssub", "to": "LogicENT", "from": "LogicET"},
  {"type": "ssub", "to": "LogicET4", "from": "LogicET"},
  {"type": "ssub", "to": "LogicECT4", "from": "LogicET4"},
  {"type": "ssub", "to": "LogicEMT4", "from": "LogicET4"},
  {"type": "ssub", "to": "LogicENT4", "from": "LogicET4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicET45"},
  {"type": "ssub", "to": "LogicECT5", "from": "LogicET5"},
  {"type": "ssub", "to": "LogicECTB", "from": "LogicETB"},
  {"type": "ssub", "to": "LogicET5", "from": "LogicETB"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETB4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETB45"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETB5"},
  {"type": "eq", "to": "LogicET", "from": "LogicETD"},
  {"type": "eq", "to": "LogicET4", "from": "LogicETD4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETD45"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETD5"},
  {"type": "eq", "to": "LogicETB", "from": "LogicETDB"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETDB4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETDB45"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETDB5"},
  {"type": "eq", "to": "LogicET", "from": "LogicETDP"},
  {"type": "eq", "to": "LogicET", "from": "LogicETP"},
  {"type": "eq", "to": "LogicET4", "from": "LogicETP4"},
  {"type": "eq", "to": "LogicET5", "from": "LogicETP5"},
  {"type": "eq", "to": "LogicETB", "from": "LogicETPB"}]}