text: export default {
    format: "compact",
    test: [
      ["𝐀", "𝐀", ["(=)𝐀"], ["(=)𝐀"], ["(=)𝐀"], ["(=)𝐀"]],
      ["𝐀", "𝐁𝐀", ["(=)𝐀"], ["(=𝐁)𝐀"], ["(=𝐁)𝐀"], ["(=)𝐁𝐀"]],
      ["𝐀𝐁", "𝐁", ["(=)𝐀𝐁"], ["(𝐀=)𝐁"], ["(𝐀=)𝐁"], ["(=)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁", ["(=)𝐀𝐁"], ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐂)𝐁"], ["(=)𝐂𝐁"]],
      ["𝐀", "", ["(=)𝐀"], ["(𝐀=)"], ["(𝐀=)"], ["(=)"]],
      ["𝐀", "𝐁", ["(=)𝐀"], ["(𝐀=𝐁)"], ["(𝐀=𝐁)"], ["(=)𝐁"]],
      ["𝐀𝐁", "𝐀𝐁", ["(=)𝐀𝐁"], ["𝐀(=)𝐁"], ["𝐀(=)𝐁"], ["(=)𝐀𝐁"]],
      ["𝐀𝐁", "𝐀𝐂𝐁", ["(=)𝐀𝐁"], ["𝐀(=𝐂)𝐁"], ["𝐀(=𝐂)𝐁"], ["(=)𝐀𝐂𝐁"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["(=)𝐀𝐁𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)𝐂"], ["(=)𝐀𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["(=)𝐀𝐁𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["(=)𝐀𝐃𝐂"]],
      ["𝐀𝐁", "𝐀", ["(=)𝐀𝐁"], ["𝐀(𝐁=)"], ["𝐀(𝐁=)"], ["(=)𝐀"]],
      ["𝐀𝐁", "𝐀𝐂", ["(=)𝐀𝐁"], ["𝐀(𝐁=𝐂)"], ["𝐀(𝐁=𝐂)"], ["(=)𝐀𝐂"]],
      ["𝐀", "𝐀", ["(=)𝐀"], ["𝐀(=)"], ["𝐀(=)"], ["(=)𝐀"]],
      ["𝐀", "𝐀𝐁", ["(=)𝐀"], ["𝐀(=𝐁)"], ["𝐀(=𝐁)"], ["(=)𝐀𝐁"]],
      ["𝐀", "𝐁𝐀", ["(=𝐁)𝐀"], ["(=)𝐀"], ["𝐁(=)𝐀"], ["(=𝐁)𝐀"]],
      ["𝐀", "𝐁𝐁𝐀", ["(=𝐁)𝐀"], ["(=𝐁)𝐀"], ["𝐁(=𝐁)𝐀"], ["(=𝐁)𝐁𝐀"]],
      ["𝐀", "𝐁𝐂𝐀", ["(=𝐁)𝐀"], ["(=𝐂)𝐀"], ["𝐁(=𝐂)𝐀"], ["(=𝐁)𝐂𝐀"]],
      ["𝐀𝐁", "𝐂𝐁", ["(=𝐂)𝐀𝐁"], ["(𝐀=)𝐁"], ["𝐂(𝐀=)𝐁"], ["(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐂𝐁", ["(=𝐂)𝐀𝐁"], ["(𝐀=𝐂)𝐁"], ["𝐂(𝐀=𝐂)𝐁"], ["(=𝐂)𝐂𝐁"]],
      ["𝐀𝐁", "𝐂𝐃𝐁", ["(=𝐂)𝐀𝐁"], ["(𝐀=𝐃)𝐁"], ["𝐂(𝐀=𝐃)𝐁"], ["(=𝐂)𝐃𝐁"]],
      ["𝐀", "𝐁", ["(=𝐁)𝐀"], ["(𝐀=)"], ["𝐁(𝐀=)"], ["(=𝐁)"]],
      ["𝐀", "𝐁𝐁", ["(=𝐁)𝐀"], ["(𝐀=𝐁)"], ["𝐁(𝐀=𝐁)"], ["(=𝐁)𝐁"]],
      ["𝐀", "𝐁𝐂", ["(=𝐁)𝐀"], ["(𝐀=𝐂)"], ["𝐁(𝐀=𝐂)"], ["(=𝐁)𝐂"]],
      ["𝐀𝐁", "𝐂𝐀𝐁", ["(=𝐂)𝐀𝐁"], ["𝐀(=)𝐁"], ["𝐂𝐀(=)𝐁"], ["(=𝐂)𝐀𝐁"]],
      ["𝐀𝐁", "𝐂𝐀𝐂𝐁", ["(=𝐂)𝐀𝐁"], ["𝐀(=𝐂)𝐁"], ["𝐂𝐀(=𝐂)𝐁"], ["(=𝐂)𝐀𝐂𝐁"]],
      ["𝐀𝐁", "𝐂𝐀𝐃𝐁", ["(=𝐂)𝐀𝐁"], ["𝐀(=𝐃)𝐁"], ["𝐂𝐀(=𝐃)𝐁"], ["(=𝐂)𝐀𝐃𝐁"]],
      ["𝐀𝐁𝐂", "𝐃𝐀𝐂", ["(=𝐃)𝐀𝐁𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐃𝐀(𝐁=)𝐂"], ["(=𝐃)𝐀𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐀𝐃𝐂", ["(=𝐃)𝐀𝐁𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐃𝐀(𝐁=𝐃)𝐂"], ["(=𝐃)𝐀𝐃𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐀𝐄𝐂", ["(=𝐃)𝐀𝐁𝐂"], ["𝐀(𝐁=𝐄)𝐂"], ["𝐃𝐀(𝐁=𝐄)𝐂"], ["(=𝐃)𝐀𝐄𝐂"]],
      ["𝐀𝐁", "𝐂𝐀", ["(=𝐂)𝐀𝐁"], ["𝐀(𝐁=)"], ["𝐂𝐀(𝐁=)"], ["(=𝐂)𝐀"]],
      ["𝐀𝐁", "𝐂𝐀𝐂", ["(=𝐂)𝐀𝐁"], ["𝐀(𝐁=𝐂)"], ["𝐂𝐀(𝐁=𝐂)"], ["(=𝐂)𝐀𝐂"]],
      ["𝐀𝐁", "𝐂𝐀𝐃", ["(=𝐂)𝐀𝐁"], ["𝐀(𝐁=𝐃)"], ["𝐂𝐀(𝐁=𝐃)"], ["(=𝐂)𝐀𝐃"]],
      ["𝐀", "𝐁𝐀", ["(=𝐁)𝐀"], ["𝐀(=)"], ["𝐁𝐀(=)"], ["(=𝐁)𝐀"]],
      ["𝐀", "𝐁𝐀𝐁", ["(=𝐁)𝐀"], ["𝐀(=𝐁)"], ["𝐁𝐀(=𝐁)"], ["(=𝐁)𝐀𝐁"]],
      ["𝐀", "𝐁𝐀𝐂", ["(=𝐁)𝐀"], ["𝐀(=𝐂)"], ["𝐁𝐀(=𝐂)"], ["(=𝐁)𝐀𝐂"]],
      ["𝐀𝐁", "𝐁", ["(𝐀=)𝐁"], ["(=)𝐀𝐁"], ["(=)𝐁"], ["(𝐀=)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁", ["(𝐀=)𝐁"], ["(=𝐂)𝐀𝐁"], ["(=𝐂)𝐁"], ["𝐂(𝐀=)𝐁"]],
      ["𝐀𝐁", "𝐁", ["(𝐀=)𝐁"], ["(𝐀=)𝐁"], [], ["(=)𝐁"]],
      ["𝐀𝐁", "𝐁", ["(𝐀=)𝐁"], ["(𝐀=𝐂)𝐁"], [], ["(𝐂=)𝐁"]],
      ["𝐀𝐁𝐂", "𝐂", ["(𝐀=)𝐁𝐂"], ["(𝐀𝐁=)𝐂"], ["(𝐁=)𝐂"], ["(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀=)𝐁𝐂"], ["(𝐀𝐁=𝐃)𝐂"], ["(𝐁=𝐃)𝐂"], ["(=)𝐃𝐂"]],
      ["𝐀𝐁", "", ["(𝐀=)𝐁"], ["(𝐀𝐁=)"], ["(𝐁=)"], ["(=)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀=)𝐁"], ["(𝐀𝐁=𝐂)"], ["(𝐁=𝐂)"], ["(=)𝐂"]],
      ["𝐀𝐁", "𝐁", ["(𝐀=)𝐁"], ["𝐀(=)𝐁"], ["(=)𝐁"], ["(𝐀=)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁", ["(𝐀=)𝐁"], ["𝐀(=𝐂)𝐁"], ["(=𝐂)𝐁"], ["(𝐀=)𝐂𝐁"]],
      ["𝐀𝐁𝐂", "𝐂", ["(𝐀=)𝐁𝐂"], ["𝐀(𝐁=)𝐂"], ["(𝐁=)𝐂"], ["(𝐀=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀=)𝐁𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["(𝐁=𝐃)𝐂"], ["(𝐀=)𝐃𝐂"]],
      ["𝐀𝐁", "", ["(𝐀=)𝐁"], ["𝐀(𝐁=)"], ["(𝐁=)"], ["(𝐀=)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀=)𝐁"], ["𝐀(𝐁=𝐂)"], ["(𝐁=𝐂)"], ["(𝐀=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐁𝐂", ["(𝐀=)𝐁𝐂"], ["𝐀𝐁(=)𝐂"], ["𝐁(=)𝐂"], ["(𝐀=)𝐁𝐂"]],
      ["𝐀𝐁𝐂", "𝐁𝐃𝐂", ["(𝐀=)𝐁𝐂"], ["𝐀𝐁(=𝐃)𝐂"], ["𝐁(=𝐃)𝐂"], ["(𝐀=)𝐁𝐃𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐁𝐃", ["(𝐀=)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=)𝐃"], ["𝐁(𝐂=)𝐃"], ["(𝐀=)𝐁𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐁𝐄𝐃", ["(𝐀=)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐁(𝐂=𝐄)𝐃"], ["(𝐀=)𝐁𝐄𝐃"]],
      ["𝐀𝐁𝐂", "𝐁", ["(𝐀=)𝐁𝐂"], ["𝐀𝐁(𝐂=)"], ["𝐁(𝐂=)"], ["(𝐀=)𝐁"]],
      ["𝐀𝐁𝐂", "𝐁𝐃", ["(𝐀=)𝐁𝐂"], ["𝐀𝐁(𝐂=𝐃)"], ["𝐁(𝐂=𝐃)"], ["(𝐀=)𝐁𝐃"]],
      ["𝐀𝐁", "𝐁", ["(𝐀=)𝐁"], ["𝐀𝐁(=)"], ["𝐁(=)"], ["(𝐀=)𝐁"]],
      ["𝐀𝐁", "𝐁𝐂", ["(𝐀=)𝐁"], ["𝐀𝐁(=𝐂)"], ["𝐁(=𝐂)"], ["(𝐀=)𝐁𝐂"]],
      ["𝐀𝐁", "𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["(=)𝐀𝐁"], ["(=)𝐂𝐁"], ["(𝐀=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["(=𝐂)𝐀𝐁"], ["(=𝐂)𝐂𝐁"], ["𝐂(𝐀=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐃𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["(=𝐃)𝐀𝐁"], ["(=𝐃)𝐂𝐁"], ["𝐃(𝐀=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["(𝐀=)𝐁"], [], ["(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐂)𝐁"], [], ["(𝐂=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐃)𝐁"], [], ["(𝐃=𝐂)𝐁"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀𝐁=)𝐂"], ["𝐃(𝐁=)𝐂"], ["(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐃𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀𝐁=𝐃)𝐂"], ["𝐃(𝐁=𝐃)𝐂"], ["(=𝐃)𝐃𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐄𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀𝐁=𝐄)𝐂"], ["𝐃(𝐁=𝐄)𝐂"], ["(=𝐃)𝐄𝐂"]],
      ["𝐀𝐁", "𝐂", ["(𝐀=𝐂)𝐁"], ["(𝐀𝐁=)"], ["𝐂(𝐁=)"], ["(=𝐂)"]],
      ["𝐀𝐁", "𝐂𝐂", ["(𝐀=𝐂)𝐁"], ["(𝐀𝐁=𝐂)"], ["𝐂(𝐁=𝐂)"], ["(=𝐂)𝐂"]],
      ["𝐀𝐁", "𝐂𝐃", ["(𝐀=𝐂)𝐁"], ["(𝐀𝐁=𝐃)"], ["𝐂(𝐁=𝐃)"], ["(=𝐂)𝐃"]],
      ["𝐀𝐁", "𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["𝐀(=)𝐁"], ["𝐂(=)𝐁"], ["(𝐀=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["𝐀(=𝐂)𝐁"], ["𝐂(=𝐂)𝐁"], ["(𝐀=𝐂)𝐂𝐁"]],
      ["𝐀𝐁", "𝐂𝐃𝐁", ["(𝐀=𝐂)𝐁"], ["𝐀(=𝐃)𝐁"], ["𝐂(=𝐃)𝐁"], ["(𝐀=𝐂)𝐃𝐁"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐃(𝐁=)𝐂"], ["(𝐀=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐃𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐃(𝐁=𝐃)𝐂"], ["(𝐀=𝐃)𝐃𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐄𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀(𝐁=𝐄)𝐂"], ["𝐃(𝐁=𝐄)𝐂"], ["(𝐀=𝐃)𝐄𝐂"]],
      ["𝐀𝐁", "𝐂", ["(𝐀=𝐂)𝐁"], ["𝐀(𝐁=)"], ["𝐂(𝐁=)"], ["(𝐀=𝐂)"]],
      ["𝐀𝐁", "𝐂𝐂", ["(𝐀=𝐂)𝐁"], ["𝐀(𝐁=𝐂)"], ["𝐂(𝐁=𝐂)"], ["(𝐀=𝐂)𝐂"]],
      ["𝐀𝐁", "𝐂𝐃", ["(𝐀=𝐂)𝐁"], ["𝐀(𝐁=𝐃)"], ["𝐂(𝐁=𝐃)"], ["(𝐀=𝐂)𝐃"]],
      ["𝐀𝐁𝐂", "𝐃𝐁𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀𝐁(=)𝐂"], ["𝐃𝐁(=)𝐂"], ["(𝐀=𝐃)𝐁𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐁𝐃𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀𝐁(=𝐃)𝐂"], ["𝐃𝐁(=𝐃)𝐂"], ["(𝐀=𝐃)𝐁𝐃𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐁𝐄𝐂", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀𝐁(=𝐄)𝐂"], ["𝐃𝐁(=𝐄)𝐂"], ["(𝐀=𝐃)𝐁𝐄𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐁𝐃", ["(𝐀=𝐄)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=)𝐃"], ["𝐄𝐁(𝐂=)𝐃"], ["(𝐀=𝐄)𝐁𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐁𝐄𝐃", ["(𝐀=𝐄)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐄𝐁(𝐂=𝐄)𝐃"], ["(𝐀=𝐄)𝐁𝐄𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐁𝐅𝐃", ["(𝐀=𝐄)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=𝐅)𝐃"], ["𝐄𝐁(𝐂=𝐅)𝐃"], ["(𝐀=𝐄)𝐁𝐅𝐃"]],
      ["𝐀𝐁𝐂", "𝐃𝐁", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀𝐁(𝐂=)"], ["𝐃𝐁(𝐂=)"], ["(𝐀=𝐃)𝐁"]],
      ["𝐀𝐁𝐂", "𝐃𝐁𝐃", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀𝐁(𝐂=𝐃)"], ["𝐃𝐁(𝐂=𝐃)"], ["(𝐀=𝐃)𝐁𝐃"]],
      ["𝐀𝐁𝐂", "𝐃𝐁𝐄", ["(𝐀=𝐃)𝐁𝐂"], ["𝐀𝐁(𝐂=𝐄)"], ["𝐃𝐁(𝐂=𝐄)"], ["(𝐀=𝐃)𝐁𝐄"]],
      ["𝐀𝐁", "𝐂𝐁", ["(𝐀=𝐂)𝐁"], ["𝐀𝐁(=)"], ["𝐂𝐁(=)"], ["(𝐀=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁𝐂", ["(𝐀=𝐂)𝐁"], ["𝐀𝐁(=𝐂)"], ["𝐂𝐁(=𝐂)"], ["(𝐀=𝐂)𝐁𝐂"]],
      ["𝐀𝐁", "𝐂𝐁𝐃", ["(𝐀=𝐂)𝐁"], ["𝐀𝐁(=𝐃)"], ["𝐂𝐁(=𝐃)"], ["(𝐀=𝐂)𝐁𝐃"]],
      ["𝐀𝐁𝐂", "𝐂", ["(𝐀𝐁=)𝐂"], ["(𝐀=)𝐁𝐂"], [], ["(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐂", ["(𝐀𝐁=)𝐂"], ["(𝐀=𝐃)𝐁𝐂"], [], ["(𝐃𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐂", ["(𝐀𝐁=)𝐂"], ["𝐀(=)𝐁𝐂"], [], ["(𝐀𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐂", ["(𝐀𝐁=)𝐂"], ["𝐀(=𝐃)𝐁𝐂"], [], ["(𝐀𝐃𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐂", ["(𝐀𝐁=)𝐂"], ["𝐀(𝐁=)𝐂"], [], ["(𝐀=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐂", ["(𝐀𝐁=)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], [], ["(𝐀𝐃=)𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐃", ["(𝐀𝐁=)𝐂𝐃"], ["𝐀(𝐁𝐂=)𝐃"], ["(𝐂=)𝐃"], ["(𝐀=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["(𝐀𝐁=)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["(𝐂=𝐄)𝐃"], ["(𝐀=)𝐄𝐃"]],
      ["𝐀𝐁𝐂", "", ["(𝐀𝐁=)𝐂"], ["𝐀(𝐁𝐂=)"], ["(𝐂=)"], ["(𝐀=)"]],
      ["𝐀𝐁𝐂", "𝐃", ["(𝐀𝐁=)𝐂"], ["𝐀(𝐁𝐂=𝐃)"], ["(𝐂=𝐃)"], ["(𝐀=)𝐃"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀=)𝐁𝐂"], [], ["(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀=𝐃)𝐁𝐂"], [], ["(𝐃𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀=𝐄)𝐁𝐂"], [], ["(𝐄𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(=)𝐁𝐂"], [], ["(𝐀𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(=𝐃)𝐁𝐂"], [], ["(𝐀𝐃𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(=𝐄)𝐁𝐂"], [], ["(𝐀𝐄𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(𝐁=)𝐂"], [], ["(𝐀=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], [], ["(𝐀𝐃=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐄)𝐂"], [], ["(𝐀𝐄=𝐃)𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["(𝐀𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐄(𝐂=)𝐃"], ["(𝐀=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐄𝐃", ["(𝐀𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐄(𝐂=𝐄)𝐃"], ["(𝐀=𝐄)𝐄𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐅𝐃", ["(𝐀𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐅)𝐃"], ["𝐄(𝐂=𝐅)𝐃"], ["(𝐀=𝐄)𝐅𝐃"]],
      ["𝐀𝐁𝐂", "𝐃", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(𝐁𝐂=)"], ["𝐃(𝐂=)"], ["(𝐀=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐃𝐃", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(𝐁𝐂=𝐃)"], ["𝐃(𝐂=𝐃)"], ["(𝐀=𝐃)𝐃"]],
      ["𝐀𝐁𝐂", "𝐃𝐄", ["(𝐀𝐁=𝐃)𝐂"], ["𝐀(𝐁𝐂=𝐄)"], ["𝐃(𝐂=𝐄)"], ["(𝐀=𝐃)𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐃", ["(𝐀𝐁𝐂=)𝐃"], ["𝐀(𝐁=)𝐂𝐃"], [], ["(𝐀𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐃", ["(𝐀𝐁𝐂=)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], [], ["(𝐀𝐄𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["(𝐀𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=)𝐂𝐃"], [], ["(𝐀𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["(𝐀𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], [], ["(𝐀𝐄𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["(𝐀𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐅)𝐂𝐃"], [], ["(𝐀𝐅𝐂=𝐄)𝐃"]],
      ["𝐀", "", ["(𝐀=)"], ["(=)𝐀"], ["(=)"], ["(𝐀=)"]],
      ["𝐀", "𝐁", ["(𝐀=)"], ["(=𝐁)𝐀"], ["(=𝐁)"], ["𝐁(𝐀=)"]],
      ["𝐀𝐁", "", ["(𝐀𝐁=)"], ["(𝐀=)𝐁"], [], ["(𝐁=)"]],
      ["𝐀𝐁", "", ["(𝐀𝐁=)"], ["(𝐀=𝐂)𝐁"], [], ["(𝐂𝐁=)"]],
      ["𝐀", "", ["(𝐀=)"], ["(𝐀=)"], [], ["(=)"]],
      ["𝐀", "", ["(𝐀=)"], ["(𝐀=𝐁)"], [], ["(𝐁=)"]],
      ["𝐀𝐁", "", ["(𝐀𝐁=)"], ["𝐀(=)𝐁"], [], ["(𝐀𝐁=)"]],
      ["𝐀𝐁", "", ["(𝐀𝐁=)"], ["𝐀(=𝐂)𝐁"], [], ["(𝐀𝐂𝐁=)"]],
      ["𝐀𝐁𝐂", "", ["(𝐀𝐁𝐂=)"], ["𝐀(𝐁=)𝐂"], [], ["(𝐀𝐂=)"]],
      ["𝐀𝐁𝐂", "", ["(𝐀𝐁𝐂=)"], ["𝐀(𝐁=𝐃)𝐂"], [], ["(𝐀𝐃𝐂=)"]],
      ["𝐀𝐁", "", ["(𝐀𝐁=)"], ["𝐀(𝐁=)"], [], ["(𝐀=)"]],
      ["𝐀𝐁", "", ["(𝐀𝐁=)"], ["𝐀(𝐁=𝐂)"], [], ["(𝐀𝐂=)"]],
      ["𝐀", "", ["(𝐀=)"], ["𝐀(=)"], ["(=)"], ["(𝐀=)"]],
      ["𝐀", "𝐁", ["(𝐀=)"], ["𝐀(=𝐁)"], ["(=𝐁)"], ["(𝐀=)𝐁"]],
      ["𝐀", "𝐁", ["(𝐀=𝐁)"], ["(=)𝐀"], ["(=)𝐁"], ["(𝐀=𝐁)"]],
      ["𝐀", "𝐁𝐁", ["(𝐀=𝐁)"], ["(=𝐁)𝐀"], ["(=𝐁)𝐁"], ["𝐁(𝐀=𝐁)"]],
      ["𝐀", "𝐂𝐁", ["(𝐀=𝐁)"], ["(=𝐂)𝐀"], ["(=𝐂)𝐁"], ["𝐂(𝐀=𝐁)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["(𝐀=)𝐁"], [], ["(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["(𝐀=𝐂)𝐁"], [], ["(𝐂𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["(𝐀=𝐃)𝐁"], [], ["(𝐃𝐁=𝐂)"]],
      ["𝐀", "𝐁", ["(𝐀=𝐁)"], ["(𝐀=)"], [], ["(=𝐁)"]],
      ["𝐀", "𝐁", ["(𝐀=𝐁)"], ["(𝐀=𝐁)"], [], ["(𝐁=𝐁)"]],
      ["𝐀", "𝐁", ["(𝐀=𝐁)"], ["(𝐀=𝐂)"], [], ["(𝐂=𝐁)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["𝐀(=)𝐁"], [], ["(𝐀𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["𝐀(=𝐂)𝐁"], [], ["(𝐀𝐂𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["𝐀(=𝐃)𝐁"], [], ["(𝐀𝐃𝐁=𝐂)"]],
      ["𝐀𝐁𝐂", "𝐃", ["(𝐀𝐁𝐂=𝐃)"], ["𝐀(𝐁=)𝐂"], [], ["(𝐀𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐃", ["(𝐀𝐁𝐂=𝐃)"], ["𝐀(𝐁=𝐃)𝐂"], [], ["(𝐀𝐃𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐃", ["(𝐀𝐁𝐂=𝐃)"], ["𝐀(𝐁=𝐄)𝐂"], [], ["(𝐀𝐄𝐂=𝐃)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["𝐀(𝐁=)"], [], ["(𝐀=𝐂)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["𝐀(𝐁=𝐂)"], [], ["(𝐀𝐂=𝐂)"]],
      ["𝐀𝐁", "𝐂", ["(𝐀𝐁=𝐂)"], ["𝐀(𝐁=𝐃)"], [], ["(𝐀𝐃=𝐂)"]],
      ["𝐀", "𝐁", ["(𝐀=𝐁)"], ["𝐀(=)"], ["𝐁(=)"], ["(𝐀=𝐁)"]],
      ["𝐀", "𝐁𝐁", ["(𝐀=𝐁)"], ["𝐀(=𝐁)"], ["𝐁(=𝐁)"], ["(𝐀=𝐁)𝐁"]],
      ["𝐀", "𝐁𝐂", ["(𝐀=𝐁)"], ["𝐀(=𝐂)"], ["𝐁(=𝐂)"], ["(𝐀=𝐁)𝐂"]],
      ["𝐀𝐁", "𝐀𝐁", ["𝐀(=)𝐁"], ["(=)𝐀𝐁"], ["(=)𝐀𝐁"], ["𝐀(=)𝐁"]],
      ["𝐀𝐁", "𝐂𝐀𝐁", ["𝐀(=)𝐁"], ["(=𝐂)𝐀𝐁"], ["(=𝐂)𝐀𝐁"], ["𝐂𝐀(=)𝐁"]],
      ["𝐀𝐁", "𝐁", ["𝐀(=)𝐁"], ["(𝐀=)𝐁"], ["(𝐀=)𝐁"], ["(=)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁", ["𝐀(=)𝐁"], ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐂)𝐁"], ["𝐂(=)𝐁"]],
      ["𝐀𝐁𝐂", "𝐂", ["𝐀(=)𝐁𝐂"], ["(𝐀𝐁=)𝐂"], ["(𝐀𝐁=)𝐂"], []],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["𝐀(=)𝐁𝐂"], ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀𝐁=𝐃)𝐂"], []],
      ["𝐀𝐁", "", ["𝐀(=)𝐁"], ["(𝐀𝐁=)"], ["(𝐀𝐁=)"], []],
      ["𝐀𝐁", "𝐂", ["𝐀(=)𝐁"], ["(𝐀𝐁=𝐂)"], ["(𝐀𝐁=𝐂)"], []],
      ["𝐀𝐁", "𝐀𝐁", ["𝐀(=)𝐁"], ["𝐀(=)𝐁"], ["𝐀(=)𝐁"], ["𝐀(=)𝐁"]],
      ["𝐀𝐁", "𝐀𝐂𝐁", ["𝐀(=)𝐁"], ["𝐀(=𝐂)𝐁"], ["𝐀(=𝐂)𝐁"], ["𝐀(=)𝐂𝐁"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀(=)𝐁𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐀(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(=)𝐁𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(=)𝐃𝐂"]],
      ["𝐀𝐁", "𝐀", ["𝐀(=)𝐁"], ["𝐀(𝐁=)"], ["𝐀(𝐁=)"], ["𝐀(=)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(=)𝐁"], ["𝐀(𝐁=𝐂)"], ["𝐀(𝐁=𝐂)"], ["𝐀(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐁𝐂", ["𝐀(=)𝐁𝐂"], ["𝐀𝐁(=)𝐂"], ["𝐀𝐁(=)𝐂"], ["𝐀(=)𝐁𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐁𝐃𝐂", ["𝐀(=)𝐁𝐂"], ["𝐀𝐁(=𝐃)𝐂"], ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(=)𝐁𝐃𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐁𝐃", ["𝐀(=)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=)𝐃"], ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(=)𝐁𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐁𝐄𝐃", ["𝐀(=)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(=)𝐁𝐄𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐁", ["𝐀(=)𝐁𝐂"], ["𝐀𝐁(𝐂=)"], ["𝐀𝐁(𝐂=)"], ["𝐀(=)𝐁"]],
      ["𝐀𝐁𝐂", "𝐀𝐁𝐃", ["𝐀(=)𝐁𝐂"], ["𝐀𝐁(𝐂=𝐃)"], ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(=)𝐁𝐃"]],
      ["𝐀𝐁", "𝐀𝐁", ["𝐀(=)𝐁"], ["𝐀𝐁(=)"], ["𝐀𝐁(=)"], ["𝐀(=)𝐁"]],
      ["𝐀𝐁", "𝐀𝐁𝐂", ["𝐀(=)𝐁"], ["𝐀𝐁(=𝐂)"], ["𝐀𝐁(=𝐂)"], ["𝐀(=)𝐁𝐂"]],
      ["𝐀𝐁", "𝐀𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["(=)𝐀𝐁"], ["(=)𝐀𝐂𝐁"], ["𝐀(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐀𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["(=𝐂)𝐀𝐁"], ["(=𝐂)𝐀𝐂𝐁"], ["𝐂𝐀(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐃𝐀𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["(=𝐃)𝐀𝐁"], ["(=𝐃)𝐀𝐂𝐁"], ["𝐃𝐀(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["(𝐀=)𝐁"], ["(𝐀=)𝐂𝐁"], ["(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐂𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐂)𝐂𝐁"], ["𝐂(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐃𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["(𝐀=𝐃)𝐁"], ["(𝐀=𝐃)𝐂𝐁"], ["𝐃(=𝐂)𝐁"]],
      ["𝐀𝐁𝐂", "𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["(𝐀𝐁=)𝐂"], ["(𝐀𝐃𝐁=)𝐂"], []],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀𝐃𝐁=𝐃)𝐂"], []],
      ["𝐀𝐁𝐂", "𝐄𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["(𝐀𝐁=𝐄)𝐂"], ["(𝐀𝐃𝐁=𝐄)𝐂"], []],
      ["𝐀𝐁", "", ["𝐀(=𝐂)𝐁"], ["(𝐀𝐁=)"], ["(𝐀𝐂𝐁=)"], []],
      ["𝐀𝐁", "𝐂", ["𝐀(=𝐂)𝐁"], ["(𝐀𝐁=𝐂)"], ["(𝐀𝐂𝐁=𝐂)"], []],
      ["𝐀𝐁", "𝐃", ["𝐀(=𝐂)𝐁"], ["(𝐀𝐁=𝐃)"], ["(𝐀𝐂𝐁=𝐃)"], []],
      ["𝐀𝐁", "𝐀𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["𝐀(=)𝐁"], ["𝐀𝐂(=)𝐁"], ["𝐀(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐀𝐂𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["𝐀(=𝐂)𝐁"], ["𝐀𝐂(=𝐂)𝐁"], ["𝐀(=𝐂)𝐂𝐁"]],
      ["𝐀𝐁", "𝐀𝐂𝐃𝐁", ["𝐀(=𝐂)𝐁"], ["𝐀(=𝐃)𝐁"], ["𝐀𝐂(=𝐃)𝐁"], ["𝐀(=𝐂)𝐃𝐁"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐀𝐃(𝐁=)𝐂"], ["𝐀(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐃𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐃(𝐁=𝐃)𝐂"], ["𝐀(=𝐃)𝐃𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐄𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(𝐁=𝐄)𝐂"], ["𝐀𝐃(𝐁=𝐄)𝐂"], ["𝐀(=𝐃)𝐄𝐂"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(=𝐂)𝐁"], ["𝐀(𝐁=)"], ["𝐀𝐂(𝐁=)"], ["𝐀(=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐂𝐂", ["𝐀(=𝐂)𝐁"], ["𝐀(𝐁=𝐂)"], ["𝐀𝐂(𝐁=𝐂)"], ["𝐀(=𝐂)𝐂"]],
      ["𝐀𝐁", "𝐀𝐂𝐃", ["𝐀(=𝐂)𝐁"], ["𝐀(𝐁=𝐃)"], ["𝐀𝐂(𝐁=𝐃)"], ["𝐀(=𝐂)𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀𝐁(=)𝐂"], ["𝐀𝐃𝐁(=)𝐂"], ["𝐀(=𝐃)𝐁𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁𝐃𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀𝐁(=𝐃)𝐂"], ["𝐀𝐃𝐁(=𝐃)𝐂"], ["𝐀(=𝐃)𝐁𝐃𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁𝐄𝐂", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀𝐁(=𝐄)𝐂"], ["𝐀𝐃𝐁(=𝐄)𝐂"], ["𝐀(=𝐃)𝐁𝐄𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐁𝐃", ["𝐀(=𝐄)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=)𝐃"], ["𝐀𝐄𝐁(𝐂=)𝐃"], ["𝐀(=𝐄)𝐁𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐁𝐄𝐃", ["𝐀(=𝐄)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀𝐄𝐁(𝐂=𝐄)𝐃"], ["𝐀(=𝐄)𝐁𝐄𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐁𝐅𝐃", ["𝐀(=𝐄)𝐁𝐂𝐃"], ["𝐀𝐁(𝐂=𝐅)𝐃"], ["𝐀𝐄𝐁(𝐂=𝐅)𝐃"], ["𝐀(=𝐄)𝐁𝐅𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀𝐁(𝐂=)"], ["𝐀𝐃𝐁(𝐂=)"], ["𝐀(=𝐃)𝐁"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁𝐃", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀𝐁(𝐂=𝐃)"], ["𝐀𝐃𝐁(𝐂=𝐃)"], ["𝐀(=𝐃)𝐁𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁𝐄", ["𝐀(=𝐃)𝐁𝐂"], ["𝐀𝐁(𝐂=𝐄)"], ["𝐀𝐃𝐁(𝐂=𝐄)"], ["𝐀(=𝐃)𝐁𝐄"]],
      ["𝐀𝐁", "𝐀𝐂𝐁", ["𝐀(=𝐂)𝐁"], ["𝐀𝐁(=)"], ["𝐀𝐂𝐁(=)"], ["𝐀(=𝐂)𝐁"]],
      ["𝐀𝐁", "𝐀𝐂𝐁𝐂", ["𝐀(=𝐂)𝐁"], ["𝐀𝐁(=𝐂)"], ["𝐀𝐂𝐁(=𝐂)"], ["𝐀(=𝐂)𝐁𝐂"]],
      ["𝐀𝐁", "𝐀𝐂𝐁𝐃", ["𝐀(=𝐂)𝐁"], ["𝐀𝐁(=𝐃)"], ["𝐀𝐂𝐁(=𝐃)"], ["𝐀(=𝐂)𝐁𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀(𝐁=)𝐂"], ["(=)𝐀𝐁𝐂"], ["(=)𝐀𝐂"], ["𝐀(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐀𝐂", ["𝐀(𝐁=)𝐂"], ["(=𝐃)𝐀𝐁𝐂"], ["(=𝐃)𝐀𝐂"], ["𝐃𝐀(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐂", ["𝐀(𝐁=)𝐂"], ["(𝐀=)𝐁𝐂"], ["(𝐀=)𝐂"], ["(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["𝐀(𝐁=)𝐂"], ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀=𝐃)𝐂"], ["𝐃(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐂", ["𝐀(𝐁=)𝐂"], ["(𝐀𝐁=)𝐂"], ["(𝐀=)𝐂"], []],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["𝐀(𝐁=)𝐂"], ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀=𝐃)𝐂"], []],
      ["𝐀𝐁𝐂𝐃", "𝐃", ["𝐀(𝐁=)𝐂𝐃"], ["(𝐀𝐁𝐂=)𝐃"], ["(𝐀𝐂=)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["𝐀(𝐁=)𝐂𝐃"], ["(𝐀𝐁𝐂=𝐄)𝐃"], ["(𝐀𝐂=𝐄)𝐃"], []],
      ["𝐀𝐁𝐂", "", ["𝐀(𝐁=)𝐂"], ["(𝐀𝐁𝐂=)"], ["(𝐀𝐂=)"], []],
      ["𝐀𝐁𝐂", "𝐃", ["𝐀(𝐁=)𝐂"], ["(𝐀𝐁𝐂=𝐃)"], ["(𝐀𝐂=𝐃)"], []],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀(𝐁=)𝐂"], ["𝐀(=)𝐁𝐂"], ["𝐀(=)𝐂"], ["𝐀(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=)𝐂"], ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(=𝐃)𝐂"], ["𝐀𝐃(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)𝐂"], [], ["𝐀(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], [], ["𝐀(𝐃=)𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀(𝐁=)𝐂𝐃"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐂=)𝐃"], ["𝐀(=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁=)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐂=𝐄)𝐃"], ["𝐀(=)𝐄𝐃"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁𝐂=)"], ["𝐀(𝐂=)"], ["𝐀(=)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁𝐂=𝐃)"], ["𝐀(𝐂=𝐃)"], ["𝐀(=)𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀(𝐁=)𝐂"], ["𝐀𝐁(=)𝐂"], ["𝐀(=)𝐂"], ["𝐀(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=)𝐂"], ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(=𝐃)𝐂"], ["𝐀(𝐁=)𝐃𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀(𝐁=)𝐂𝐃"], ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(𝐂=)𝐃"], ["𝐀(𝐁=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁=)𝐂𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐂=𝐄)𝐃"], ["𝐀(𝐁=)𝐄𝐃"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀(𝐁=)𝐂"], ["𝐀𝐁(𝐂=)"], ["𝐀(𝐂=)"], ["𝐀(𝐁=)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁=)𝐂"], ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(𝐂=𝐃)"], ["𝐀(𝐁=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐂𝐃", ["𝐀(𝐁=)𝐂𝐃"], ["𝐀𝐁𝐂(=)𝐃"], ["𝐀𝐂(=)𝐃"], ["𝐀(𝐁=)𝐂𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐂𝐄𝐃", ["𝐀(𝐁=)𝐂𝐃"], ["𝐀𝐁𝐂(=𝐄)𝐃"], ["𝐀𝐂(=𝐄)𝐃"], ["𝐀(𝐁=)𝐂𝐄𝐃"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐂𝐄", ["𝐀(𝐁=)𝐂𝐃𝐄"], ["𝐀𝐁𝐂(𝐃=)𝐄"], ["𝐀𝐂(𝐃=)𝐄"], ["𝐀(𝐁=)𝐂𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐂𝐅𝐄", ["𝐀(𝐁=)𝐂𝐃𝐄"], ["𝐀𝐁𝐂(𝐃=𝐅)𝐄"], ["𝐀𝐂(𝐃=𝐅)𝐄"], ["𝐀(𝐁=)𝐂𝐅𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐂", ["𝐀(𝐁=)𝐂𝐃"], ["𝐀𝐁𝐂(𝐃=)"], ["𝐀𝐂(𝐃=)"], ["𝐀(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐂𝐄", ["𝐀(𝐁=)𝐂𝐃"], ["𝐀𝐁𝐂(𝐃=𝐄)"], ["𝐀𝐂(𝐃=𝐄)"], ["𝐀(𝐁=)𝐂𝐄"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀(𝐁=)𝐂"], ["𝐀𝐁𝐂(=)"], ["𝐀𝐂(=)"], ["𝐀(𝐁=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐂𝐃", ["𝐀(𝐁=)𝐂"], ["𝐀𝐁𝐂(=𝐃)"], ["𝐀𝐂(=𝐃)"], ["𝐀(𝐁=)𝐂𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(=)𝐀𝐁𝐂"], ["(=)𝐀𝐃𝐂"], ["𝐀(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(=𝐃)𝐀𝐁𝐂"], ["(=𝐃)𝐀𝐃𝐂"], ["𝐃𝐀(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐄𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(=𝐄)𝐀𝐁𝐂"], ["(=𝐄)𝐀𝐃𝐂"], ["𝐄𝐀(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀=)𝐁𝐂"], ["(𝐀=)𝐃𝐂"], ["(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀=𝐃)𝐃𝐂"], ["𝐃(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐄𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀=𝐄)𝐁𝐂"], ["(𝐀=𝐄)𝐃𝐂"], ["𝐄(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀𝐁=)𝐂"], ["(𝐀𝐃=)𝐂"], []],
      ["𝐀𝐁𝐂", "𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀𝐃=𝐃)𝐂"], []],
      ["𝐀𝐁𝐂", "𝐄𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀𝐁=𝐄)𝐂"], ["(𝐀𝐃=𝐄)𝐂"], []],
      ["𝐀𝐁𝐂𝐃", "𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["(𝐀𝐁𝐂=)𝐃"], ["(𝐀𝐄𝐂=)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["(𝐀𝐁𝐂=𝐄)𝐃"], ["(𝐀𝐄𝐂=𝐄)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐅𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["(𝐀𝐁𝐂=𝐅)𝐃"], ["(𝐀𝐄𝐂=𝐅)𝐃"], []],
      ["𝐀𝐁𝐂", "", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀𝐁𝐂=)"], ["(𝐀𝐃𝐂=)"], []],
      ["𝐀𝐁𝐂", "𝐃", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀𝐁𝐂=𝐃)"], ["(𝐀𝐃𝐂=𝐃)"], []],
      ["𝐀𝐁𝐂", "𝐄", ["𝐀(𝐁=𝐃)𝐂"], ["(𝐀𝐁𝐂=𝐄)"], ["(𝐀𝐃𝐂=𝐄)"], []],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(=)𝐁𝐂"], ["𝐀(=)𝐃𝐂"], ["𝐀(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(=𝐃)𝐃𝐂"], ["𝐀𝐃(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐄𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(=𝐄)𝐁𝐂"], ["𝐀(=𝐄)𝐃𝐂"], ["𝐀𝐄(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=)𝐂"], [], ["𝐀(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], [], ["𝐀(𝐃=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐄)𝐂"], [], ["𝐀(𝐄=𝐃)𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐀𝐄(𝐂=)𝐃"], ["𝐀(=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐄𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐄(𝐂=𝐄)𝐃"], ["𝐀(=𝐄)𝐄𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐅𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐅)𝐃"], ["𝐀𝐄(𝐂=𝐅)𝐃"], ["𝐀(=𝐄)𝐅𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁𝐂=)"], ["𝐀𝐃(𝐂=)"], ["𝐀(=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐃", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁𝐂=𝐃)"], ["𝐀𝐃(𝐂=𝐃)"], ["𝐀(=𝐃)𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐄", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁𝐂=𝐄)"], ["𝐀𝐃(𝐂=𝐄)"], ["𝐀(=𝐃)𝐄"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁(=)𝐂"], ["𝐀𝐃(=)𝐂"], ["𝐀(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁(=𝐃)𝐂"], ["𝐀𝐃(=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐃𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐄𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁(=𝐄)𝐂"], ["𝐀𝐃(=𝐄)𝐂"], ["𝐀(𝐁=𝐃)𝐄𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁(𝐂=)𝐃"], ["𝐀𝐄(𝐂=)𝐃"], ["𝐀(𝐁=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐄𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀𝐄(𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐄)𝐄𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐅𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁(𝐂=𝐅)𝐃"], ["𝐀𝐄(𝐂=𝐅)𝐃"], ["𝐀(𝐁=𝐄)𝐅𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁(𝐂=)"], ["𝐀𝐃(𝐂=)"], ["𝐀(𝐁=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐃", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁(𝐂=𝐃)"], ["𝐀𝐃(𝐂=𝐃)"], ["𝐀(𝐁=𝐃)𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐄", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁(𝐂=𝐄)"], ["𝐀𝐃(𝐂=𝐄)"], ["𝐀(𝐁=𝐃)𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁𝐂(=)𝐃"], ["𝐀𝐄𝐂(=)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂𝐄𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁𝐂(=𝐄)𝐃"], ["𝐀𝐄𝐂(=𝐄)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐄𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂𝐅𝐃", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁𝐂(=𝐅)𝐃"], ["𝐀𝐄𝐂(=𝐅)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐅𝐃"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐂𝐄", ["𝐀(𝐁=𝐅)𝐂𝐃𝐄"], ["𝐀𝐁𝐂(𝐃=)𝐄"], ["𝐀𝐅𝐂(𝐃=)𝐄"], ["𝐀(𝐁=𝐅)𝐂𝐄"]],
      [
        "𝐀𝐁𝐂𝐃𝐄",
        "𝐀𝐅𝐂𝐅𝐄",
        ["𝐀(𝐁=𝐅)𝐂𝐃𝐄"],
        ["𝐀𝐁𝐂(𝐃=𝐅)𝐄"],
        ["𝐀𝐅𝐂(𝐃=𝐅)𝐄"],
        ["𝐀(𝐁=𝐅)𝐂𝐅𝐄"]
      ],
      [
        "𝐀𝐁𝐂𝐃𝐄",
        "𝐀𝐅𝐂𝐆𝐄",
        ["𝐀(𝐁=𝐅)𝐂𝐃𝐄"],
        ["𝐀𝐁𝐂(𝐃=𝐆)𝐄"],
        ["𝐀𝐅𝐂(𝐃=𝐆)𝐄"],
        ["𝐀(𝐁=𝐅)𝐂𝐆𝐄"]
      ],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁𝐂(𝐃=)"], ["𝐀𝐄𝐂(𝐃=)"], ["𝐀(𝐁=𝐄)𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂𝐄", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁𝐂(𝐃=𝐄)"], ["𝐀𝐄𝐂(𝐃=𝐄)"], ["𝐀(𝐁=𝐄)𝐂𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂𝐅", ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐁𝐂(𝐃=𝐅)"], ["𝐀𝐄𝐂(𝐃=𝐅)"], ["𝐀(𝐁=𝐄)𝐂𝐅"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁𝐂(=)"], ["𝐀𝐃𝐂(=)"], ["𝐀(𝐁=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂𝐃", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁𝐂(=𝐃)"], ["𝐀𝐃𝐂(=𝐃)"], ["𝐀(𝐁=𝐃)𝐂𝐃"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂𝐄", ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐁𝐂(=𝐄)"], ["𝐀𝐃𝐂(=𝐄)"], ["𝐀(𝐁=𝐃)𝐂𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐃", ["𝐀(𝐁𝐂=)𝐃"], ["(𝐀𝐁=)𝐂𝐃"], ["(𝐀=)𝐃"], ["(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["𝐀(𝐁𝐂=)𝐃"], ["(𝐀𝐁=𝐄)𝐂𝐃"], ["(𝐀=𝐄)𝐃"], ["𝐄(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐁=)𝐂𝐃"], [], ["𝐀(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], [], ["𝐀(𝐄𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀(𝐁𝐂=)𝐃"], ["𝐀𝐁(=)𝐂𝐃"], [], ["𝐀(𝐁𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀(𝐁𝐂=)𝐃"], ["𝐀𝐁(=𝐄)𝐂𝐃"], [], ["𝐀(𝐁𝐄𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀(𝐁𝐂=)𝐃"], ["𝐀𝐁(𝐂=)𝐃"], [], ["𝐀(𝐁=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀(𝐁𝐂=)𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], [], ["𝐀(𝐁𝐄=)𝐃"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐄", ["𝐀(𝐁𝐂=)𝐃𝐄"], ["𝐀𝐁(𝐂𝐃=)𝐄"], ["𝐀(𝐃=)𝐄"], ["𝐀(𝐁=)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀(𝐁𝐂=)𝐃𝐄"], ["𝐀𝐁(𝐂𝐃=𝐅)𝐄"], ["𝐀(𝐃=𝐅)𝐄"], ["𝐀(𝐁=)𝐅𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐀", ["𝐀(𝐁𝐂=)𝐃"], ["𝐀𝐁(𝐂𝐃=)"], ["𝐀(𝐃=)"], ["𝐀(𝐁=)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀(𝐁𝐂=)𝐃"], ["𝐀𝐁(𝐂𝐃=𝐄)"], ["𝐀(𝐃=𝐄)"], ["𝐀(𝐁=)𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["(𝐀𝐁=)𝐂𝐃"], ["(𝐀=)𝐄𝐃"], ["(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["(𝐀𝐁=𝐄)𝐂𝐃"], ["(𝐀=𝐄)𝐄𝐃"], ["𝐄(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐅𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["(𝐀𝐁=𝐅)𝐂𝐃"], ["(𝐀=𝐅)𝐄𝐃"], ["𝐅(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=)𝐂𝐃"], [], ["𝐀(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], [], ["𝐀(𝐄𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐅)𝐂𝐃"], [], ["𝐀(𝐅𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(=)𝐂𝐃"], [], ["𝐀(𝐁𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(=𝐄)𝐂𝐃"], [], ["𝐀(𝐁𝐄𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(=𝐅)𝐂𝐃"], [], ["𝐀(𝐁𝐅𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(𝐂=)𝐃"], [], ["𝐀(𝐁=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"], [], ["𝐀(𝐁𝐄=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(𝐂=𝐅)𝐃"], [], ["𝐀(𝐁𝐅=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀(𝐁𝐂=𝐅)𝐃𝐄"], ["𝐀𝐁(𝐂𝐃=)𝐄"], ["𝐀𝐅(𝐃=)𝐄"], ["𝐀(𝐁=𝐅)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐅𝐄", ["𝐀(𝐁𝐂=𝐅)𝐃𝐄"], ["𝐀𝐁(𝐂𝐃=𝐅)𝐄"], ["𝐀𝐅(𝐃=𝐅)𝐄"], ["𝐀(𝐁=𝐅)𝐅𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐆𝐄", ["𝐀(𝐁𝐂=𝐅)𝐃𝐄"], ["𝐀𝐁(𝐂𝐃=𝐆)𝐄"], ["𝐀𝐅(𝐃=𝐆)𝐄"], ["𝐀(𝐁=𝐅)𝐆𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(𝐂𝐃=)"], ["𝐀𝐄(𝐃=)"], ["𝐀(𝐁=𝐄)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐄", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(𝐂𝐃=𝐄)"], ["𝐀𝐄(𝐃=𝐄)"], ["𝐀(𝐁=𝐄)𝐄"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐅", ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀𝐁(𝐂𝐃=𝐅)"], ["𝐀𝐄(𝐃=𝐅)"], ["𝐀(𝐁=𝐄)𝐅"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐄", ["𝐀(𝐁𝐂𝐃=)𝐄"], ["𝐀𝐁(𝐂=)𝐃𝐄"], [], ["𝐀(𝐁𝐃=)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐄", ["𝐀(𝐁𝐂𝐃=)𝐄"], ["𝐀𝐁(𝐂=𝐅)𝐃𝐄"], [], ["𝐀(𝐁𝐅𝐃=)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀(𝐁𝐂𝐃=𝐅)𝐄"], ["𝐀𝐁(𝐂=)𝐃𝐄"], [], ["𝐀(𝐁𝐃=𝐅)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀(𝐁𝐂𝐃=𝐅)𝐄"], ["𝐀𝐁(𝐂=𝐅)𝐃𝐄"], [], ["𝐀(𝐁𝐅𝐃=𝐅)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀(𝐁𝐂𝐃=𝐅)𝐄"], ["𝐀𝐁(𝐂=𝐆)𝐃𝐄"], [], ["𝐀(𝐁𝐆𝐃=𝐅)𝐄"]],
      ["𝐀𝐁", "𝐀", ["𝐀(𝐁=)"], ["(=)𝐀𝐁"], ["(=)𝐀"], ["𝐀(𝐁=)"]],
      ["𝐀𝐁", "𝐂𝐀", ["𝐀(𝐁=)"], ["(=𝐂)𝐀𝐁"], ["(=𝐂)𝐀"], ["𝐂𝐀(𝐁=)"]],
      ["𝐀𝐁", "", ["𝐀(𝐁=)"], ["(𝐀=)𝐁"], ["(𝐀=)"], ["(𝐁=)"]],
      ["𝐀𝐁", "𝐂", ["𝐀(𝐁=)"], ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐂)"], ["𝐂(𝐁=)"]],
      ["𝐀𝐁𝐂", "", ["𝐀(𝐁𝐂=)"], ["(𝐀𝐁=)𝐂"], ["(𝐀=)"], ["(𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐃", ["𝐀(𝐁𝐂=)"], ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀=𝐃)"], ["𝐃(𝐂=)"]],
      ["𝐀𝐁", "", ["𝐀(𝐁=)"], ["(𝐀𝐁=)"], ["(𝐀=)"], []],
      ["𝐀𝐁", "𝐂", ["𝐀(𝐁=)"], ["(𝐀𝐁=𝐂)"], ["(𝐀=𝐂)"], []],
      ["𝐀𝐁", "𝐀", ["𝐀(𝐁=)"], ["𝐀(=)𝐁"], ["𝐀(=)"], ["𝐀(𝐁=)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(𝐁=)"], ["𝐀(=𝐂)𝐁"], ["𝐀(=𝐂)"], ["𝐀𝐂(𝐁=)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀(𝐁𝐂=)"], ["𝐀(𝐁=)𝐂"], [], ["𝐀(𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀(𝐁𝐂=)"], ["𝐀(𝐁=𝐃)𝐂"], [], ["𝐀(𝐃𝐂=)"]],
      ["𝐀𝐁", "𝐀", ["𝐀(𝐁=)"], ["𝐀(𝐁=)"], [], ["𝐀(=)"]],
      ["𝐀𝐁", "𝐀", ["𝐀(𝐁=)"], ["𝐀(𝐁=𝐂)"], [], ["𝐀(𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀(𝐁𝐂=)"], ["𝐀𝐁(=)𝐂"], [], ["𝐀(𝐁𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀(𝐁𝐂=)"], ["𝐀𝐁(=𝐃)𝐂"], [], ["𝐀(𝐁𝐃𝐂=)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀", ["𝐀(𝐁𝐂𝐃=)"], ["𝐀𝐁(𝐂=)𝐃"], [], ["𝐀(𝐁𝐃=)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀", ["𝐀(𝐁𝐂𝐃=)"], ["𝐀𝐁(𝐂=𝐄)𝐃"], [], ["𝐀(𝐁𝐄𝐃=)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀(𝐁𝐂=)"], ["𝐀𝐁(𝐂=)"], [], ["𝐀(𝐁=)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀(𝐁𝐂=)"], ["𝐀𝐁(𝐂=𝐃)"], [], ["𝐀(𝐁𝐃=)"]],
      ["𝐀𝐁", "𝐀", ["𝐀(𝐁=)"], ["𝐀𝐁(=)"], ["𝐀(=)"], ["𝐀(𝐁=)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(𝐁=)"], ["𝐀𝐁(=𝐂)"], ["𝐀(=𝐂)"], ["𝐀(𝐁=)𝐂"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(𝐁=𝐂)"], ["(=)𝐀𝐁"], ["(=)𝐀𝐂"], ["𝐀(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐂𝐀𝐂", ["𝐀(𝐁=𝐂)"], ["(=𝐂)𝐀𝐁"], ["(=𝐂)𝐀𝐂"], ["𝐂𝐀(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐃𝐀𝐂", ["𝐀(𝐁=𝐂)"], ["(=𝐃)𝐀𝐁"], ["(=𝐃)𝐀𝐂"], ["𝐃𝐀(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐂", ["𝐀(𝐁=𝐂)"], ["(𝐀=)𝐁"], ["(𝐀=)𝐂"], ["(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐂𝐂", ["𝐀(𝐁=𝐂)"], ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐂)𝐂"], ["𝐂(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐃𝐂", ["𝐀(𝐁=𝐂)"], ["(𝐀=𝐃)𝐁"], ["(𝐀=𝐃)𝐂"], ["𝐃(𝐁=𝐂)"]],
      ["𝐀𝐁𝐂", "𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["(𝐀𝐁=)𝐂"], ["(𝐀=)𝐃"], ["(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐃𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["(𝐀𝐁=𝐃)𝐂"], ["(𝐀=𝐃)𝐃"], ["𝐃(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐄𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["(𝐀𝐁=𝐄)𝐂"], ["(𝐀=𝐄)𝐃"], ["𝐄(𝐂=𝐃)"]],
      ["𝐀𝐁", "", ["𝐀(𝐁=𝐂)"], ["(𝐀𝐁=)"], ["(𝐀𝐂=)"], []],
      ["𝐀𝐁", "𝐂", ["𝐀(𝐁=𝐂)"], ["(𝐀𝐁=𝐂)"], ["(𝐀𝐂=𝐂)"], []],
      ["𝐀𝐁", "𝐃", ["𝐀(𝐁=𝐂)"], ["(𝐀𝐁=𝐃)"], ["(𝐀𝐂=𝐃)"], []],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(𝐁=𝐂)"], ["𝐀(=)𝐁"], ["𝐀(=)𝐂"], ["𝐀(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐂𝐂", ["𝐀(𝐁=𝐂)"], ["𝐀(=𝐂)𝐁"], ["𝐀(=𝐂)𝐂"], ["𝐀𝐂(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐃𝐂", ["𝐀(𝐁=𝐂)"], ["𝐀(=𝐃)𝐁"], ["𝐀(=𝐃)𝐂"], ["𝐀𝐃(𝐁=𝐂)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀(𝐁=)𝐂"], [], ["𝐀(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀(𝐁=𝐃)𝐂"], [], ["𝐀(𝐃𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀(𝐁=𝐄)𝐂"], [], ["𝐀(𝐄𝐂=𝐃)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(𝐁=𝐂)"], ["𝐀(𝐁=)"], [], ["𝐀(=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(𝐁=𝐂)"], ["𝐀(𝐁=𝐂)"], [], ["𝐀(𝐂=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(𝐁=𝐂)"], ["𝐀(𝐁=𝐃)"], [], ["𝐀(𝐃=𝐂)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀𝐁(=)𝐂"], [], ["𝐀(𝐁𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀𝐁(=𝐃)𝐂"], [], ["𝐀(𝐁𝐃𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀𝐁(=𝐄)𝐂"], [], ["𝐀(𝐁𝐄𝐂=𝐃)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀(𝐁𝐂𝐃=𝐄)"], ["𝐀𝐁(𝐂=)𝐃"], [], ["𝐀(𝐁𝐃=𝐄)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀(𝐁𝐂𝐃=𝐄)"], ["𝐀𝐁(𝐂=𝐄)𝐃"], [], ["𝐀(𝐁𝐄𝐃=𝐄)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀(𝐁𝐂𝐃=𝐄)"], ["𝐀𝐁(𝐂=𝐅)𝐃"], [], ["𝐀(𝐁𝐅𝐃=𝐄)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀𝐁(𝐂=)"], [], ["𝐀(𝐁=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀𝐁(𝐂=𝐃)"], [], ["𝐀(𝐁𝐃=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀(𝐁𝐂=𝐃)"], ["𝐀𝐁(𝐂=𝐄)"], [], ["𝐀(𝐁𝐄=𝐃)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀(𝐁=𝐂)"], ["𝐀𝐁(=)"], ["𝐀𝐂(=)"], ["𝐀(𝐁=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐂𝐂", ["𝐀(𝐁=𝐂)"], ["𝐀𝐁(=𝐂)"], ["𝐀𝐂(=𝐂)"], ["𝐀(𝐁=𝐂)𝐂"]],
      ["𝐀𝐁", "𝐀𝐂𝐃", ["𝐀(𝐁=𝐂)"], ["𝐀𝐁(=𝐃)"], ["𝐀𝐂(=𝐃)"], ["𝐀(𝐁=𝐂)𝐃"]],
      ["𝐀𝐁𝐂", "𝐁𝐂", ["𝐀𝐁(=)𝐂"], ["(𝐀=)𝐁𝐂"], ["(𝐀=)𝐁𝐂"], ["𝐁(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐁𝐂", ["𝐀𝐁(=)𝐂"], ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀=𝐃)𝐁𝐂"], ["𝐃𝐁(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐁𝐂", ["𝐀𝐁(=)𝐂"], ["𝐀(=)𝐁𝐂"], ["𝐀(=)𝐁𝐂"], ["𝐀𝐁(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁𝐂", ["𝐀𝐁(=)𝐂"], ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(=𝐃)𝐁𝐂"], ["𝐀𝐃𝐁(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀𝐁(=)𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐀(=)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀𝐁(=)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐃(=)𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀𝐁(=)𝐂𝐃"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐁𝐂=)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀𝐁(=)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], []],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀𝐁(=)𝐂"], ["𝐀(𝐁𝐂=)"], ["𝐀(𝐁𝐂=)"], []],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀𝐁(=)𝐂"], ["𝐀(𝐁𝐂=𝐃)"], ["𝐀(𝐁𝐂=𝐃)"], []],
      ["𝐀𝐁𝐂", "𝐁𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["(𝐀=)𝐁𝐂"], ["(𝐀=)𝐁𝐃𝐂"], ["𝐁(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐃𝐁𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀=𝐃)𝐁𝐃𝐂"], ["𝐃𝐁(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐄𝐁𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["(𝐀=𝐄)𝐁𝐂"], ["(𝐀=𝐄)𝐁𝐃𝐂"], ["𝐄𝐁(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐁𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(=)𝐁𝐂"], ["𝐀(=)𝐁𝐃𝐂"], ["𝐀𝐁(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(=𝐃)𝐁𝐃𝐂"], ["𝐀𝐃𝐁(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐄𝐁𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(=𝐄)𝐁𝐂"], ["𝐀(=𝐄)𝐁𝐃𝐂"], ["𝐀𝐄𝐁(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)𝐃𝐂"], ["𝐀(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐃𝐂"], ["𝐀𝐃(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂", "𝐀𝐄𝐃𝐂", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(𝐁=𝐄)𝐂"], ["𝐀(𝐁=𝐄)𝐃𝐂"], ["𝐀𝐄(=𝐃)𝐂"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀𝐁(=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐁𝐄𝐂=)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀𝐁(=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐄𝐂=𝐄)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐅𝐃", ["𝐀𝐁(=𝐄)𝐂𝐃"], ["𝐀(𝐁𝐂=𝐅)𝐃"], ["𝐀(𝐁𝐄𝐂=𝐅)𝐃"], []],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(𝐁𝐂=)"], ["𝐀(𝐁𝐃𝐂=)"], []],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(𝐁𝐂=𝐃)"], ["𝐀(𝐁𝐃𝐂=𝐃)"], []],
      ["𝐀𝐁𝐂", "𝐀𝐄", ["𝐀𝐁(=𝐃)𝐂"], ["𝐀(𝐁𝐂=𝐄)"], ["𝐀(𝐁𝐃𝐂=𝐄)"], []],
      ["𝐀𝐁𝐂𝐃", "𝐁𝐃", ["𝐀𝐁(𝐂=)𝐃"], ["(𝐀=)𝐁𝐂𝐃"], ["(𝐀=)𝐁𝐃"], ["𝐁(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐁𝐃", ["𝐀𝐁(𝐂=)𝐃"], ["(𝐀=𝐄)𝐁𝐂𝐃"], ["(𝐀=𝐄)𝐁𝐃"], ["𝐄𝐁(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐁𝐃", ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(=)𝐁𝐂𝐃"], ["𝐀(=)𝐁𝐃"], ["𝐀𝐁(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐁𝐃", ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(=𝐄)𝐁𝐂𝐃"], ["𝐀(=𝐄)𝐁𝐃"], ["𝐀𝐄𝐁(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(𝐁=)𝐂𝐃"], ["𝐀(𝐁=)𝐃"], ["𝐀(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁=𝐄)𝐃"], ["𝐀𝐄(𝐂=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐁=)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐄)𝐃"], []],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐄", ["𝐀𝐁(𝐂=)𝐃𝐄"], ["𝐀(𝐁𝐂𝐃=)𝐄"], ["𝐀(𝐁𝐃=)𝐄"], []],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀𝐁(𝐂=)𝐃𝐄"], ["𝐀(𝐁𝐂𝐃=𝐅)𝐄"], ["𝐀(𝐁𝐃=𝐅)𝐄"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀", ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(𝐁𝐂𝐃=)"], ["𝐀(𝐁𝐃=)"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀𝐁(𝐂=)𝐃"], ["𝐀(𝐁𝐂𝐃=𝐄)"], ["𝐀(𝐁𝐃=𝐄)"], []],
      ["𝐀𝐁𝐂𝐃", "𝐁𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["(𝐀=)𝐁𝐂𝐃"], ["(𝐀=)𝐁𝐄𝐃"], ["𝐁(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐄𝐁𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["(𝐀=𝐄)𝐁𝐂𝐃"], ["(𝐀=𝐄)𝐁𝐄𝐃"], ["𝐄𝐁(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐅𝐁𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["(𝐀=𝐅)𝐁𝐂𝐃"], ["(𝐀=𝐅)𝐁𝐄𝐃"], ["𝐅𝐁(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐁𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(=)𝐁𝐂𝐃"], ["𝐀(=)𝐁𝐄𝐃"], ["𝐀𝐁(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐁𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(=𝐄)𝐁𝐂𝐃"], ["𝐀(=𝐄)𝐁𝐄𝐃"], ["𝐀𝐄𝐁(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐅𝐁𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(=𝐅)𝐁𝐂𝐃"], ["𝐀(=𝐅)𝐁𝐄𝐃"], ["𝐀𝐅𝐁(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁=)𝐂𝐃"], ["𝐀(𝐁=)𝐄𝐃"], ["𝐀(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁=𝐄)𝐄𝐃"], ["𝐀𝐄(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐅𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐅)𝐂𝐃"], ["𝐀(𝐁=𝐅)𝐄𝐃"], ["𝐀𝐅(𝐂=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐁𝐄=)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐄=𝐄)𝐃"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐅𝐃", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐂=𝐅)𝐃"], ["𝐀(𝐁𝐄=𝐅)𝐃"], []],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐄", ["𝐀𝐁(𝐂=𝐅)𝐃𝐄"], ["𝐀(𝐁𝐂𝐃=)𝐄"], ["𝐀(𝐁𝐅𝐃=)𝐄"], []],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀𝐁(𝐂=𝐅)𝐃𝐄"], ["𝐀(𝐁𝐂𝐃=𝐅)𝐄"], ["𝐀(𝐁𝐅𝐃=𝐅)𝐄"], []],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐆𝐄", ["𝐀𝐁(𝐂=𝐅)𝐃𝐄"], ["𝐀(𝐁𝐂𝐃=𝐆)𝐄"], ["𝐀(𝐁𝐅𝐃=𝐆)𝐄"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐂𝐃=)"], ["𝐀(𝐁𝐄𝐃=)"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐂𝐃=𝐄)"], ["𝐀(𝐁𝐄𝐃=𝐄)"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐅", ["𝐀𝐁(𝐂=𝐄)𝐃"], ["𝐀(𝐁𝐂𝐃=𝐅)"], ["𝐀(𝐁𝐄𝐃=𝐅)"], []],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐄", ["𝐀𝐁(𝐂𝐃=)𝐄"], ["𝐀(𝐁𝐂=)𝐃𝐄"], ["𝐀(𝐁=)𝐄"], ["𝐀(𝐃=)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀𝐁(𝐂𝐃=)𝐄"], ["𝐀(𝐁𝐂=𝐅)𝐃𝐄"], ["𝐀(𝐁=𝐅)𝐄"], ["𝐀𝐅(𝐃=)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐄", ["𝐀𝐁(𝐂𝐃=𝐅)𝐄"], ["𝐀(𝐁𝐂=)𝐃𝐄"], ["𝐀(𝐁=)𝐅𝐄"], ["𝐀(𝐃=𝐅)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐅𝐄", ["𝐀𝐁(𝐂𝐃=𝐅)𝐄"], ["𝐀(𝐁𝐂=𝐅)𝐃𝐄"], ["𝐀(𝐁=𝐅)𝐅𝐄"], ["𝐀𝐅(𝐃=𝐅)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐆𝐅𝐄", ["𝐀𝐁(𝐂𝐃=𝐅)𝐄"], ["𝐀(𝐁𝐂=𝐆)𝐃𝐄"], ["𝐀(𝐁=𝐆)𝐅𝐄"], ["𝐀𝐆(𝐃=𝐅)𝐄"]],
      ["𝐀𝐁𝐂", "𝐁", ["𝐀𝐁(𝐂=)"], ["(𝐀=)𝐁𝐂"], ["(𝐀=)𝐁"], ["𝐁(𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐃𝐁", ["𝐀𝐁(𝐂=)"], ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀=𝐃)𝐁"], ["𝐃𝐁(𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐀𝐁", ["𝐀𝐁(𝐂=)"], ["𝐀(=)𝐁𝐂"], ["𝐀(=)𝐁"], ["𝐀𝐁(𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁", ["𝐀𝐁(𝐂=)"], ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(=𝐃)𝐁"], ["𝐀𝐃𝐁(𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀𝐁(𝐂=)"], ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)"], ["𝐀(𝐂=)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀𝐁(𝐂=)"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)"], ["𝐀𝐃(𝐂=)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀", ["𝐀𝐁(𝐂𝐃=)"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐁=)"], ["𝐀(𝐃=)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀𝐁(𝐂𝐃=)"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐄)"], ["𝐀𝐄(𝐃=)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀𝐁(𝐂=)"], ["𝐀(𝐁𝐂=)"], ["𝐀(𝐁=)"], []],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀𝐁(𝐂=)"], ["𝐀(𝐁𝐂=𝐃)"], ["𝐀(𝐁=𝐃)"], []],
      ["𝐀𝐁𝐂", "𝐁𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["(𝐀=)𝐁𝐂"], ["(𝐀=)𝐁𝐃"], ["𝐁(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐃𝐁𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["(𝐀=𝐃)𝐁𝐂"], ["(𝐀=𝐃)𝐁𝐃"], ["𝐃𝐁(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐄𝐁𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["(𝐀=𝐄)𝐁𝐂"], ["(𝐀=𝐄)𝐁𝐃"], ["𝐄𝐁(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐁𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(=)𝐁𝐂"], ["𝐀(=)𝐁𝐃"], ["𝐀𝐁(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐁𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(=𝐃)𝐁𝐂"], ["𝐀(=𝐃)𝐁𝐃"], ["𝐀𝐃𝐁(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐄𝐁𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(=𝐄)𝐁𝐂"], ["𝐀(=𝐄)𝐁𝐃"], ["𝐀𝐄𝐁(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)𝐃"], ["𝐀(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐃"], ["𝐀𝐃(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐄𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(𝐁=𝐄)𝐂"], ["𝐀(𝐁=𝐄)𝐃"], ["𝐀𝐄(𝐂=𝐃)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄", ["𝐀𝐁(𝐂𝐃=𝐄)"], ["𝐀(𝐁𝐂=)𝐃"], ["𝐀(𝐁=)𝐄"], ["𝐀(𝐃=𝐄)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐄", ["𝐀𝐁(𝐂𝐃=𝐄)"], ["𝐀(𝐁𝐂=𝐄)𝐃"], ["𝐀(𝐁=𝐄)𝐄"], ["𝐀𝐄(𝐃=𝐄)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐅𝐄", ["𝐀𝐁(𝐂𝐃=𝐄)"], ["𝐀(𝐁𝐂=𝐅)𝐃"], ["𝐀(𝐁=𝐅)𝐄"], ["𝐀𝐅(𝐃=𝐄)"]],
      ["𝐀𝐁𝐂", "𝐀", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(𝐁𝐂=)"], ["𝐀(𝐁𝐃=)"], []],
      ["𝐀𝐁𝐂", "𝐀𝐃", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(𝐁𝐂=𝐃)"], ["𝐀(𝐁𝐃=𝐃)"], []],
      ["𝐀𝐁𝐂", "𝐀𝐄", ["𝐀𝐁(𝐂=𝐃)"], ["𝐀(𝐁𝐂=𝐄)"], ["𝐀(𝐁𝐃=𝐄)"], []],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐂𝐃", ["𝐀𝐁𝐂(=)𝐃"], ["𝐀(𝐁=)𝐂𝐃"], ["𝐀(𝐁=)𝐂𝐃"], ["𝐀𝐂(=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂𝐃", ["𝐀𝐁𝐂(=)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐄𝐂(=)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐂𝐄𝐃", ["𝐀𝐁𝐂(=𝐄)𝐃"], ["𝐀(𝐁=)𝐂𝐃"], ["𝐀(𝐁=)𝐂𝐄𝐃"], ["𝐀𝐂(=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂𝐄𝐃", ["𝐀𝐁𝐂(=𝐄)𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐄𝐃"], ["𝐀𝐄𝐂(=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐅𝐂𝐄𝐃", ["𝐀𝐁𝐂(=𝐄)𝐃"], ["𝐀(𝐁=𝐅)𝐂𝐃"], ["𝐀(𝐁=𝐅)𝐂𝐄𝐃"], ["𝐀𝐅𝐂(=𝐄)𝐃"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐂𝐄", ["𝐀𝐁𝐂(𝐃=)𝐄"], ["𝐀(𝐁=)𝐂𝐃𝐄"], ["𝐀(𝐁=)𝐂𝐄"], ["𝐀𝐂(𝐃=)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐅𝐂𝐄", ["𝐀𝐁𝐂(𝐃=)𝐄"], ["𝐀(𝐁=𝐅)𝐂𝐃𝐄"], ["𝐀(𝐁=𝐅)𝐂𝐄"], ["𝐀𝐅𝐂(𝐃=)𝐄"]],
      ["𝐀𝐁𝐂𝐃𝐄", "𝐀𝐂𝐅𝐄", ["𝐀𝐁𝐂(𝐃=𝐅)𝐄"], ["𝐀(𝐁=)𝐂𝐃𝐄"], ["𝐀(𝐁=)𝐂𝐅𝐄"], ["𝐀𝐂(𝐃=𝐅)𝐄"]],
      [
        "𝐀𝐁𝐂𝐃𝐄",
        "𝐀𝐅𝐂𝐅𝐄",
        ["𝐀𝐁𝐂(𝐃=𝐅)𝐄"],
        ["𝐀(𝐁=𝐅)𝐂𝐃𝐄"],
        ["𝐀(𝐁=𝐅)𝐂𝐅𝐄"],
        ["𝐀𝐅𝐂(𝐃=𝐅)𝐄"]
      ],
      [
        "𝐀𝐁𝐂𝐃𝐄",
        "𝐀𝐆𝐂𝐅𝐄",
        ["𝐀𝐁𝐂(𝐃=𝐅)𝐄"],
        ["𝐀(𝐁=𝐆)𝐂𝐃𝐄"],
        ["𝐀(𝐁=𝐆)𝐂𝐅𝐄"],
        ["𝐀𝐆𝐂(𝐃=𝐅)𝐄"]
      ],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐂", ["𝐀𝐁𝐂(𝐃=)"], ["𝐀(𝐁=)𝐂𝐃"], ["𝐀(𝐁=)𝐂"], ["𝐀𝐂(𝐃=)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂", ["𝐀𝐁𝐂(𝐃=)"], ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁=𝐄)𝐂"], ["𝐀𝐄𝐂(𝐃=)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐂𝐄", ["𝐀𝐁𝐂(𝐃=𝐄)"], ["𝐀(𝐁=)𝐂𝐃"], ["𝐀(𝐁=)𝐂𝐄"], ["𝐀𝐂(𝐃=𝐄)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐄𝐂𝐄", ["𝐀𝐁𝐂(𝐃=𝐄)"], ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀(𝐁=𝐄)𝐂𝐄"], ["𝐀𝐄𝐂(𝐃=𝐄)"]],
      ["𝐀𝐁𝐂𝐃", "𝐀𝐅𝐂𝐄", ["𝐀𝐁𝐂(𝐃=𝐄)"], ["𝐀(𝐁=𝐅)𝐂𝐃"], ["𝐀(𝐁=𝐅)𝐂𝐄"], ["𝐀𝐅𝐂(𝐃=𝐄)"]],
      ["𝐀", "𝐀", ["𝐀(=)"], ["(=)𝐀"], ["(=)𝐀"], ["𝐀(=)"]],
      ["𝐀", "𝐁𝐀", ["𝐀(=)"], ["(=𝐁)𝐀"], ["(=𝐁)𝐀"], ["𝐁𝐀(=)"]],
      ["𝐀𝐁", "𝐁", ["𝐀𝐁(=)"], ["(𝐀=)𝐁"], ["(𝐀=)𝐁"], ["𝐁(=)"]],
      ["𝐀𝐁", "𝐂𝐁", ["𝐀𝐁(=)"], ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐂)𝐁"], ["𝐂𝐁(=)"]],
      ["𝐀", "", ["𝐀(=)"], ["(𝐀=)"], ["(𝐀=)"], ["(=)"]],
      ["𝐀", "𝐁", ["𝐀(=)"], ["(𝐀=𝐁)"], ["(𝐀=𝐁)"], ["𝐁(=)"]],
      ["𝐀𝐁", "𝐀𝐁", ["𝐀𝐁(=)"], ["𝐀(=)𝐁"], ["𝐀(=)𝐁"], ["𝐀𝐁(=)"]],
      ["𝐀𝐁", "𝐀𝐂𝐁", ["𝐀𝐁(=)"], ["𝐀(=𝐂)𝐁"], ["𝐀(=𝐂)𝐁"], ["𝐀𝐂𝐁(=)"]],
      ["𝐀𝐁𝐂", "𝐀𝐂", ["𝐀𝐁𝐂(=)"], ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)𝐂"], ["𝐀𝐂(=)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂", ["𝐀𝐁𝐂(=)"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐃𝐂(=)"]],
      ["𝐀𝐁", "𝐀", ["𝐀𝐁(=)"], ["𝐀(𝐁=)"], ["𝐀(𝐁=)"], ["𝐀(=)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀𝐁(=)"], ["𝐀(𝐁=𝐂)"], ["𝐀(𝐁=𝐂)"], ["𝐀𝐂(=)"]],
      ["𝐀", "𝐀", ["𝐀(=)"], ["𝐀(=)"], ["𝐀(=)"], ["𝐀(=)"]],
      ["𝐀", "𝐀𝐁", ["𝐀(=)"], ["𝐀(=𝐁)"], ["𝐀(=𝐁)"], ["𝐀(=)𝐁"]],
      ["𝐀", "𝐀𝐁", ["𝐀(=𝐁)"], ["(=)𝐀"], ["(=)𝐀𝐁"], ["𝐀(=𝐁)"]],
      ["𝐀", "𝐁𝐀𝐁", ["𝐀(=𝐁)"], ["(=𝐁)𝐀"], ["(=𝐁)𝐀𝐁"], ["𝐁𝐀(=𝐁)"]],
      ["𝐀", "𝐂𝐀𝐁", ["𝐀(=𝐁)"], ["(=𝐂)𝐀"], ["(=𝐂)𝐀𝐁"], ["𝐂𝐀(=𝐁)"]],
      ["𝐀𝐁", "𝐁𝐂", ["𝐀𝐁(=𝐂)"], ["(𝐀=)𝐁"], ["(𝐀=)𝐁𝐂"], ["𝐁(=𝐂)"]],
      ["𝐀𝐁", "𝐂𝐁𝐂", ["𝐀𝐁(=𝐂)"], ["(𝐀=𝐂)𝐁"], ["(𝐀=𝐂)𝐁𝐂"], ["𝐂𝐁(=𝐂)"]],
      ["𝐀𝐁", "𝐃𝐁𝐂", ["𝐀𝐁(=𝐂)"], ["(𝐀=𝐃)𝐁"], ["(𝐀=𝐃)𝐁𝐂"], ["𝐃𝐁(=𝐂)"]],
      ["𝐀", "𝐁", ["𝐀(=𝐁)"], ["(𝐀=)"], ["(𝐀=)𝐁"], ["(=𝐁)"]],
      ["𝐀", "𝐁𝐁", ["𝐀(=𝐁)"], ["(𝐀=𝐁)"], ["(𝐀=𝐁)𝐁"], ["𝐁(=𝐁)"]],
      ["𝐀", "𝐂𝐁", ["𝐀(=𝐁)"], ["(𝐀=𝐂)"], ["(𝐀=𝐂)𝐁"], ["𝐂(=𝐁)"]],
      ["𝐀𝐁", "𝐀𝐁𝐂", ["𝐀𝐁(=𝐂)"], ["𝐀(=)𝐁"], ["𝐀(=)𝐁𝐂"], ["𝐀𝐁(=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐂𝐁𝐂", ["𝐀𝐁(=𝐂)"], ["𝐀(=𝐂)𝐁"], ["𝐀(=𝐂)𝐁𝐂"], ["𝐀𝐂𝐁(=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐃𝐁𝐂", ["𝐀𝐁(=𝐂)"], ["𝐀(=𝐃)𝐁"], ["𝐀(=𝐃)𝐁𝐂"], ["𝐀𝐃𝐁(=𝐂)"]],
      ["𝐀𝐁𝐂", "𝐀𝐂𝐃", ["𝐀𝐁𝐂(=𝐃)"], ["𝐀(𝐁=)𝐂"], ["𝐀(𝐁=)𝐂𝐃"], ["𝐀𝐂(=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐃𝐂𝐃", ["𝐀𝐁𝐂(=𝐃)"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀(𝐁=𝐃)𝐂𝐃"], ["𝐀𝐃𝐂(=𝐃)"]],
      ["𝐀𝐁𝐂", "𝐀𝐄𝐂𝐃", ["𝐀𝐁𝐂(=𝐃)"], ["𝐀(𝐁=𝐄)𝐂"], ["𝐀(𝐁=𝐄)𝐂𝐃"], ["𝐀𝐄𝐂(=𝐃)"]],
      ["𝐀𝐁", "𝐀𝐂", ["𝐀𝐁(=𝐂)"], ["𝐀(𝐁=)"], ["𝐀(𝐁=)𝐂"], ["𝐀(=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐂𝐂", ["𝐀𝐁(=𝐂)"], ["𝐀(𝐁=𝐂)"], ["𝐀(𝐁=𝐂)𝐂"], ["𝐀𝐂(=𝐂)"]],
      ["𝐀𝐁", "𝐀𝐃𝐂", ["𝐀𝐁(=𝐂)"], ["𝐀(𝐁=𝐃)"], ["𝐀(𝐁=𝐃)𝐂"], ["𝐀𝐃(=𝐂)"]],
      ["𝐀", "𝐀𝐁", ["𝐀(=𝐁)"], ["𝐀(=)"], ["𝐀𝐁(=)"], ["𝐀(=𝐁)"]],
      ["𝐀", "𝐀𝐁𝐁", ["𝐀(=𝐁)"], ["𝐀(=𝐁)"], ["𝐀𝐁(=𝐁)"], ["𝐀(=𝐁)𝐁"]],
      ["𝐀", "𝐀𝐁𝐂", ["𝐀(=𝐁)"], ["𝐀(=𝐂)"], ["𝐀𝐁(=𝐂)"], ["𝐀(=𝐁)𝐂"]]
    ]
  };
  