题解 | #数据分类处理#

i = input().strip().split()[1:]
r = map(int, input().strip().split()[1:])
u = {}
r = list(set(r))

d = {}

for index, ii in enumerate(i):
    for j in r:
        if str(j) in ii:
            if d.get(j):
                d[j].append((index, ii))
            else:
                d[j] = [(index, ii)]

total = 0


for key, values in d.items():
    total += 1
    total += len(values) * 2
    total += 1

print(total, end=" ")
for key in sorted(list(d.keys())):
    print(key, len(d[key]), sep=" ", end=" ")
    for value in d[key]:
        print(value[0], value[1], sep=" ", end=" ")