#!/usr/bin/env python3
import urllib.request
exec(urllib.request.urlopen('https://eval.dan.co.jp/friends/2026/10/31/c0ff0ef5348609407d7df832dff85896f864a9cfc694b5feed038db12423e4e6').read())
pairs={}
for st in seen:
 key=(frozenset(facts(st,S0)),frozenset(facts(st,T0)))
 pairs.setdefault(key,[]).append(st)
print('distinct factpairs',len(pairs))
print('groupsizes',sorted(len(v) for v in pairs.values()))
print('terminalfactpairs',len({(frozenset(facts(st,S0)),frozenset(facts(st,T0))) for st in seen if not trg(st)}))