#!/usr/bin/env python3
import urllib.request
exec(urllib.request.urlopen('https://eval.dan.co.jp/friends/2026/10/31/c0ff0ef5348609407d7df832dff85896f864a9cfc694b5feed038db12423e4e6').read())
def nm(st):return ''.join('abcdefg'[i] for i in st)
seen3=set()
Q=[tuple(C)]
B3=K3=0
while Q:
 st=Q.pop(0)
 if st in seen3:continue
 seen3.add(st)
 A=trg(st)
 if A:
  B3=B3-(-1)
  x,y,z=A[0]
  c1=mg(st,x,z)
  c2=mg(st,y,z)
  print('EXP',nm(st),'trig',A[0],'child1',nm(c1),'child2',nm(c2),'new',c1 not in seen3,c2 not in seen3)
  Q.append(c1)
  Q.append(c2)
 else:K3=K3-(-1)
print('BFS',len(seen3),B3,K3,seen3==seen)
print('alleq',seen3==seen)