import sys


def compare_data(data):
    posa = data["posa"]
    bigalke = data["bigalke-jung"]
    bauer = data["bauer"]

    print(f"Поша: {len(posa)}, Бигалке-Юнг: {len(bigalke)}, Бауэр: {len(bauer)}")
    print(f"Поша & Бауэр: {len(posa & bauer)}, Поша & Бигалке-Юнг: {len(posa & bigalke)}")

    print(f"Совпадают ли пересечения? {posa & bauer == posa & bigalke}")
    print(f"Поша & Бауэр <= Поша & Бигалке-Юнг? {posa & bauer <= posa & bigalke}")
    print(f"Поша & Бауэр >= Поша & Бигалке-Юнг? {posa & bauer >= posa & bigalke}")

    print(f"Графы Поша являются подмножеством графов Бигалке-Юнга? {posa <= bigalke}")
    print(f"Графы Поша являются подмножеством графов Бауэра? {posa <= bauer}")
    print(f"Симм. разность Бауэр и Поша: {bauer ^ posa}")
    print(f"Графы Бауэра являются подмножеством графов Бигалке-Юнга? {bauer <= bigalke}")
    print(f"Симм. разность Бауэр и Бигалке-Юнга: {bauer ^ bigalke}")


d = {}
for line in sys.stdin:
    if line.startswith("g6"):
        _, type, graph = line.strip().split(":")
        d[type] = d.get(type, set()) | {graph}
compare_data(d)