thresh(1,pk(A))
and_b(pk(A),s:thresh(1,pk(B)))
or_b(pk(A),s:thresh(1,pk(B)))
and_b(pk(A),s:thresh(1,c:pk_k(B)))
and_v(v:thresh(1,pk(A)),pk(B))
and_b(or_i(pk(A),pk(B)),s:thresh(1,pk(C)))
thresh(1,pk(A),s:pk(B))
thresh(2,pk(A),s:pk(B),s:pk(C),s:pk(D),s:pk(E))
thresh(4,pk(A),s:pk(B),s:pk(C),s:pk(D),s:pk(E))
thresh(5,pk(A),s:pk(B),s:pk(C),s:pk(D),s:pk(E))
multi(1,A)
multi(1,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T)
multi(20,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T)
multi(15,A,B,C,D,E,F,G,H,I,J,K,L,M,N,O,P,Q,R,S,T)
c:pk_k(A)
c:pk_h(A)
pk(A)
pkh(A)
after(1)
after(2147483647)
after(500000000)
after(499999999)
older(1)
older(4194304)
older(4194305)
older(2147483647)
sha256(926a54995ca48600920a19bf7bc502ca5f2f7d07e6f804c4f00ebf0325084dbc)
hash256(926a54995ca48600920a19bf7bc502ca5f2f7d07e6f804c4f00ebf0325084dbc)
ripemd160(4355a46b19d348dc2f57c046f8ef63d4538ebb93)
hash160(4355a46b19d348dc2f57c046f8ef63d4538ebb93)
and_v(v:pk(A),after(500000000))
or_d(pk(A),and_v(v:pk(B),older(52560)))
andor(pk(A),older(4194305),pk(B))
l:pk(A)
u:pk(A)
and_n(pk(A),pk(B))
tv:pk(A)
and_v(vc:pk_k(A),pk(B))
or_i(and_v(v:pk(A),pk(B)),thresh(1,pk(C)))
thresh(1,or_i(multi(2,A,B,C),pk(D)),s:pk(E),s:pk(F))
thresh(2,or_i(multi(2,A,B,C),pk(D)),s:pk(E),s:pk(F),s:pk(G))
thresh(1,or_d(multi(2,A,B,C),pk(D)),s:pk(E),s:pk(F))
