#!/usr/bin/env python3
import urllib.request
exec(urllib.request.urlopen('https://eval.dan.co.jp/friends/2026/10/31/c0ff0ef5348609407d7df832dff85896f864a9cfc694b5feed038db12423e4e6').read())
for st in sorted(seen):
 if trg(st):continue
 SS=facts(st,S0)
 TT=facts(st,T0)
 print('state',''.join('abcdefg'[i] for i in st),'m',7-len(set(st)))
 print('S',sorted(('abcdefg'[a],'abcdefg'[b]) for a,b in SS))
 print('T',sorted(('abcdefg'[a],'abcdefg'[b]) for a,b in TT))
 for r,s in sorted(SS):
  aa=True
  bb=True
  for u,t in TT:
   if u==s:
    if r!=t:aa=False
    if s!=t:bb=False
  print(' fact','abcdefg'[r],'abcdefg'[s],'A',aa,'B',bb)