import re
def F(x,k):
 if isinstance(x,int):return x in k
 if len(x)==1:return x[0]in k
 a,b,c=x;r,R=F(a,k),F(c,k)
 return[r or R,r and R]['&'==b]
def f(K):
 T=[]
 for o in K:
  t=[];q=[([*{*map(int,re.findall('\d+',str(o)))}],[])]
  for k,p in q:
   t+=[sorted(p,reverse=1)]*F(o,p)
   if k:q+=(k[1:],p+[k[0]]),(k[1:],p),
  T+=(o,min(t)),
 return[a for a,_ in sorted(T,key=lambda x:x[1],reverse=1)]
 
def to_list(s):return[eval(i) for i in filter(None, s.split('\n'))]
s1 = """
[1]
[2]
[3]
[1, "&", 2]
[1, "&", 3]
[3, "&", 2]
[1, "|", 2]
[2, "|", 3]
[[1, "&", 2], "|", 3]
[[2, "|", 3], "&", 3]
"""
s2 = """
[[[6, '|', [[10, '|', 1], '&', [3, '&', 3]]], '|', 10], '&', [[12, '&', [9, '|', 7]], '|', [[3, '|', 8], '&', [[10, '|', [[1, '&', 3], '&', 9]], '|', [[2, '|', 1], '&', 1]]]]]
[[7, '|', 9], '&', [[5, '|', 10], '&', [[12, '|', 3], '&', 4]]]
[7, '|', 7]
[[[5, '|', [1, '|', 9]], '&', [[7, '&', [[6, '&', [1, '|', 7]], '|', 2]], '|', 5]], '&', [[[[8, '&', 6], '&', 1], '&', 5], '&', [10, '|', [11, '&', [3, '&', 6]]]]]
[[[[2, '&', [6, '&', 8]], '|', [[4, '|', 4], '|', [[5, '&', 4], '|', [[[1, '|', 5], '|', 1], '&', 7]]]], '&', [[[9, '|', [3, '&', 7]], '|', [9, '|', 5]], '&', [[[[8, '|', 11], '|', 8], '|', 2], '|', 2]]], '&', [[3, '|', 6], '&', 9]]
[[12, '|', [5, '&', [[12, '&', 3], '|', [9, '&', 1]]]], '|', [10, '&', [[8, '|', 9], '&', [[[8, '|', 3], '|', 8], '|', 11]]]]
[[9, '|', 11], '&', [[[11, '&', 12], '|', 10], '&', [3, '&', 12]]]
[[[5, '&', 9], '&', [10, '&', 2]], '|', [10, '|', 10]]
[[6, '&', 4], '&', [4, '|', 11]]
[[[[11, '&', [[[[5, '|', 11], '&', [10, '|', 7]], '&', 2], '|', 2]], '|', 12], '|', 5], '&', [[[2, '&', [5, '|', 9]], '&', 4], '&', [6, '|', [3, '&', 2]]]]
"""
print(f(to_list(s1)))
print(f(to_list(s2)))

aW1wb3J0IHJlCmRlZiBGKHgsayk6CiBpZiBpc2luc3RhbmNlKHgsaW50KTpyZXR1cm4geCBpbiBrCiBpZiBsZW4oeCk9PTE6cmV0dXJuIHhbMF1pbiBrCiBhLGIsYz14O3IsUj1GKGEsayksRihjLGspCiByZXR1cm5bciBvciBSLHIgYW5kIFJdWycmJz09Yl0KZGVmIGYoSyk6CiBUPVtdCiBmb3IgbyBpbiBLOgogIHQ9W107cT1bKFsqeyptYXAoaW50LHJlLmZpbmRhbGwoJ1xkKycsc3RyKG8pKSl9XSxbXSldCiAgZm9yIGsscCBpbiBxOgogICB0Kz1bc29ydGVkKHAscmV2ZXJzZT0xKV0qRihvLHApCiAgIGlmIGs6cSs9KGtbMTpdLHArW2tbMF1dKSwoa1sxOl0scCksCiAgVCs9KG8sbWluKHQpKSwKIHJldHVyblthIGZvciBhLF8gaW4gc29ydGVkKFQsa2V5PWxhbWJkYSB4OnhbMV0scmV2ZXJzZT0xKV0KIApkZWYgdG9fbGlzdChzKTpyZXR1cm5bZXZhbChpKSBmb3IgaSBpbiBmaWx0ZXIoTm9uZSwgcy5zcGxpdCgnXG4nKSldCnMxID0gIiIiClsxXQpbMl0KWzNdClsxLCAiJiIsIDJdClsxLCAiJiIsIDNdClszLCAiJiIsIDJdClsxLCAifCIsIDJdClsyLCAifCIsIDNdCltbMSwgIiYiLCAyXSwgInwiLCAzXQpbWzIsICJ8IiwgM10sICImIiwgM10KIiIiCnMyID0gIiIiCltbWzYsICd8JywgW1sxMCwgJ3wnLCAxXSwgJyYnLCBbMywgJyYnLCAzXV1dLCAnfCcsIDEwXSwgJyYnLCBbWzEyLCAnJicsIFs5LCAnfCcsIDddXSwgJ3wnLCBbWzMsICd8JywgOF0sICcmJywgW1sxMCwgJ3wnLCBbWzEsICcmJywgM10sICcmJywgOV1dLCAnfCcsIFtbMiwgJ3wnLCAxXSwgJyYnLCAxXV1dXV0KW1s3LCAnfCcsIDldLCAnJicsIFtbNSwgJ3wnLCAxMF0sICcmJywgW1sxMiwgJ3wnLCAzXSwgJyYnLCA0XV1dCls3LCAnfCcsIDddCltbWzUsICd8JywgWzEsICd8JywgOV1dLCAnJicsIFtbNywgJyYnLCBbWzYsICcmJywgWzEsICd8JywgN11dLCAnfCcsIDJdXSwgJ3wnLCA1XV0sICcmJywgW1tbWzgsICcmJywgNl0sICcmJywgMV0sICcmJywgNV0sICcmJywgWzEwLCAnfCcsIFsxMSwgJyYnLCBbMywgJyYnLCA2XV1dXV0KW1tbWzIsICcmJywgWzYsICcmJywgOF1dLCAnfCcsIFtbNCwgJ3wnLCA0XSwgJ3wnLCBbWzUsICcmJywgNF0sICd8JywgW1tbMSwgJ3wnLCA1XSwgJ3wnLCAxXSwgJyYnLCA3XV1dXSwgJyYnLCBbW1s5LCAnfCcsIFszLCAnJicsIDddXSwgJ3wnLCBbOSwgJ3wnLCA1XV0sICcmJywgW1tbWzgsICd8JywgMTFdLCAnfCcsIDhdLCAnfCcsIDJdLCAnfCcsIDJdXV0sICcmJywgW1szLCAnfCcsIDZdLCAnJicsIDldXQpbWzEyLCAnfCcsIFs1LCAnJicsIFtbMTIsICcmJywgM10sICd8JywgWzksICcmJywgMV1dXV0sICd8JywgWzEwLCAnJicsIFtbOCwgJ3wnLCA5XSwgJyYnLCBbW1s4LCAnfCcsIDNdLCAnfCcsIDhdLCAnfCcsIDExXV1dXQpbWzksICd8JywgMTFdLCAnJicsIFtbWzExLCAnJicsIDEyXSwgJ3wnLCAxMF0sICcmJywgWzMsICcmJywgMTJdXV0KW1tbNSwgJyYnLCA5XSwgJyYnLCBbMTAsICcmJywgMl1dLCAnfCcsIFsxMCwgJ3wnLCAxMF1dCltbNiwgJyYnLCA0XSwgJyYnLCBbNCwgJ3wnLCAxMV1dCltbW1sxMSwgJyYnLCBbW1tbNSwgJ3wnLCAxMV0sICcmJywgWzEwLCAnfCcsIDddXSwgJyYnLCAyXSwgJ3wnLCAyXV0sICd8JywgMTJdLCAnfCcsIDVdLCAnJicsIFtbWzIsICcmJywgWzUsICd8JywgOV1dLCAnJicsIDRdLCAnJicsIFs2LCAnfCcsIFszLCAnJicsIDJdXV1dCiIiIgpwcmludChmKHRvX2xpc3QoczEpKSkKcHJpbnQoZih0b19saXN0KHMyKSkp