UPMS VS 投影OCF

本词条展示了UPMS和投影OCF的列表分析。本分析来自test_alpha0。

UPMS	投影OCF
0 111	p(W_w)
0 111 21	p(W_wW)
0 111 21 11 221	p(W_wW+pW_2(W_w))
0 111 21 11 221 31	p(W_wW+pW_2(W_wW))
0 111 21 11 221 31 22	p(W_wW+W_2)
0 111 21 111	p(W_wW+W_w)
0 111 21 32	p(W_wpW_2(W_2))
0 111 21 321	p(W_wpW_2(W_w))
0 111 211	p(W_w^2)
0 111 211 211	p(W_w^3)
0 111 211 31	p(W_w^W)
0 111 211 311	p(W_w^W_w)
0 111 22	p(W[w+1])
0 111 22 111 22	p(W[w+1]+pW[w+1](W[w+1]))
0 111 22 211 32	p(W[w+1]+pW[w+1](W[w+1])^2)
0 111 22 22	p(W[w+1]2)
0 111 22 32	p(W[w+1]^2)
0 111 22 33	p(W[w+2])
0 111 22 331	p(W[w2])
0 111 221	p(W[w^2])
0 111 221 111 22	p(W[w^2]+pW[w+1](W[w+1]))
0 111 221 111 22 331 441	p(W[w^2]+pW[w+1](W[w^2]))
0 111 221 111 22 331 441 22	p(W[w^2]+W[w+1])
0 111 221 111 22 331 441 3	p(W[w^2]+pW[w+2](W[w^2]+1))
0 111 221 111 22 331 441 32	p(W[w^2]+pW[w+2](W[w^2]+W[w+1]))
0 111 221 111 22 331 441 33	p(W[w^2]+W[w+2])
0 111 221 111 22 331 441 331	p(W[w^2]+W[w2])
0 111 221 111 22 331 441 331 44	p(W[w^2]+pW[w2+1](W[w2+1]))
0 111 221 111 22 331 441 331 44 551 661 44	p(W[w^2]+W[w2+1])
0 111 221 111 221	p(W[w^2]2)
0 111 221 211	p(W[w^2]W_w)
0 111 221 211 111 22 331 441 411	p(W[w^2]W_w+pW[w+1](W[w^2]W_w))
0 111 221 211 111 22 331 441 411 22	p(W[w^2]+W[w+1])
0 111 221 211 111 221	p(W[w^2]W_w+W[w^2])
0 111 221 211 321	p(W[w^2]^2)
0 111 221 211 321 111 22 331 441 431	p(W[w^2]^2+pW[w+1](W[w^2]W[w2]))
0 111 221 211 321 111 22 331 441 431 541	p(W[w^2]^2+pW[w+1](W[w^2]^2))
0 111 221 211 321 111 221	p(W[w^2]^2+W[w^2])
0 111 221 22	p(W[w^2+1])
0 111 221 22 331	p(W[w^2+w])
0 111 221 22 331 441	p(W[w^2*2])
0 111 221 221	p(W[w^3])
0 111 221 311	p(W[W_w])
0 111 221 311 421	p(W[W[w^2]])
0 111 221 32	p(pa(W[a+1]a))
0 111 221 32 22	p(pa(W[a+1]a+W[a+1]))
0 111 221 32 22 331 441	p(pa(W[a+1]a+W[a+1]w^2))
0 111 221 32 22 331 441 511 621 72	p(pa(W[a+1]a+W[a+1]pa(W[a+1]a)))
0 111 221 32 22 331 441 511 621 72 62	p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+a)))
0 111 221 32 22 331 441 511 621 72 62 731 841 911	p(pa(W[a+1]a+W[a+1]ppa(W[a+1]a+W[a+1])(pa(W[a+1]a+W[a+1]W_w)))
0 111 221 32 22 331 441 52	p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1])))
0 111 221 32 22 331 441 52 631 741 82	p(pa(W[a+1]a+W[a+1]ppa(W[a+1]a+W[a+1]2)(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1])))))
0 111 221 32 22 331 441 53	p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]2)))
0 111 221 32 22 331 441 531 641	p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]w^2)))
0 111 221 32 22 331 441 531 641 73	p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]2))))
0 111 221 32 22 331 441 531 641 731 841	p(pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]pa(W[a+1]a+W[a+1]w^2))))
0 111 221 32 22 331 441 54	p(pa(W[a+1]a2))
0 111 221 32 22 331 441 54 44	p(pa(W[a+1]a2+W[a+1]))
0 111 221 32 22 331 441 54 44 551 661 76	p(pa(W[a+1]a3))
0 111 221 32 221	p(pa(W[a+1]aw))
0 111 221 32 221 22 331 441 54	p(pa(W[a+1]aw+W[a+1]a))
0 111 221 32 221 22 331 441 54 441	p(pa(W[a+1]aw2))
0 111 221 32 221 221	p(pa(W[a+1]aw^2))
0 111 221 32 221 32	p(pa(W[a+1]a^2))
0 111 221 32 3	p(pa(W[a+1]a^w))
0 111 221 32 311	p(pa(W[a+1]a^W_w))
0 111 221 32 32	p(pa(W[a+1]a^a))
0 111 221 32 32 32	p(pa(W[a+1]a^a^2))
0 111 221 32 4	p(pa(W[a+1]a^a^w))
0 111 221 32 42	p(pa(W[a+1]a^a^a))
0 111 221 32 43	p(pa(W[a+1]^2+W[a+1]))
0 111 221 32 431	p(pa(W[a+1]^2+W[a+1]w))
0 111 221 32 431 541 62	p(pa(W[a+1]^2+W[a+1]pa(W[a+1]^2)))
0 111 221 321	p(pa(W[a+1]^2w))
0 111 221 321 22 331 441 54	p(pa(W[a+1]^2w+W[a+1]a))
0 111 221 321 22 331 441 54 65	p(pa(W[a+1]^2w+W[a+1]^2+W[a+1]))
0 111 221 321 22 331 441 541	p(pa(W[a+1]^2w2))
0 111 221 321 221	p(pa(W[a+1]^2w^2))
0 111 221 321 221 32	p(pa(W[a+1]^2a))
0 111 221 321 221 321	p(pa(W[a+1]^3w))
0 111 221 321 3	p(pa(W[a+1]^w))
0 111 221 321 32	p(pa(W[a+1]^a))
0 111 221 321 32 3	p(pa(W[a+1]^(aw)))
0 111 221 321 32 32	p(pa(W[a+1]^a^2))
0 111 221 321 32 42	p(pa(W[a+1]^a^a))
0 111 221 321 32 43	p(pa(W[a+1]^W[a+1]+W[a+1]))
0 111 221 321 321	p(pa(W[a+1]^W[a+1]w))
0 111 221 321 321 3	p(pa(W[a+1]^(W[a+1]w)))
0 111 221 321 321 32	p(pa(W[a+1]^(W[a+1]a)))
0 111 221 321 321 321	p(pa(W[a+1]^W[a+1]^2w))
0 111 221 321 4	p(pa(W[a+1]^W[a+1]^w))
0 111 221 321 42	p(pa(W[a+1]^W[a+1]^a))
0 111 221 321 42 3	p(pa(W[a+1]^(W[a+1]^aw)))
0 111 221 321 42 4	p(pa(W[a+1]^W[a+1]^(aw)))
0 111 221 321 42 42	p(pa(W[a+1]^W[a+1]^a^2))
0 111 221 321 42 53	p(pa(W[a+1]^W[a+1]^W[a+1]+W[a+1]))
0 111 221 321 421	p(pa(W[a+1]^W[a+1]^W[a+1]w))
0 111 221 321 421 4	p(pa(W[a+1]^W[a+1]^(W[a+1]w)))
0 111 221 321 421 5	p(pa(W[a+1]^W[a+1]^W[a+1]^w))
0 111 221 321 421 521	p(pa(W[a+1]^W[a+1]^W[a+1]^W[a+1]w))
0 111 221 33	p(pa(W[a+2]+W[a+1]))
0 111 221 33 321 43	p(pa(W[a+2]+W[a+1])+pa(W[a+2]+a+pa(W[a+2]+a+pa(W[a+2]+a))))
0 111 221 33 33	p(pa(W[a+2]+W[a+1])2)
0 111 221 33 42	p(pa(W[a+2]+W[a+1]+a))
0 111 221 33 43	p(pa(W[a+2]+W[a+1])^2)
0 111 221 33 44	p(pa(W[a+2]+W[a+1]2))
0 111 221 33 441	p(pa(W[a+2]+W[a+1]w))
0 111 221 33 441 551 66	p(pa(W[a+2]2+W[a+1]))
0 111 221 331	p(pa(W[a+2]w))
0 111 221 331 22 331 441 55	p(pa(W[a+2]w+W[a+2]+W[a+1]))
0 111 221 331 221	p(pa(W[a+2]w^2))
0 111 221 331 221 32	p(pa(W[a+2]a))
0 111 221 331 221 321	p(pa(W[a+2]W[a+1]w))
0 111 221 331 221 331	p(pa(W[a+2]^2))
0 111 221 331 32	p(pa(W[a+2]^a))
0 111 221 331 321	p(pa(W[a+2]^W[a+1]))
0 111 221 331 321 431	p(pa(W[a+2]^W[a+2]))
0 111 221 331 33	p(pa(W[a+3]+W[a+1]))
0 111 221 331 331	p(pa(W[a+3]w))
0 111 221 331 4	p(pa(W[a+w]))
0 111 221 331 42	p(pa(W[a2]))=p(pa(W[a_2+1]a))
0 111 221 331 42 53	p(pa(W[a_2+1]W[a+1]+W[a+1]))
0 111 221 331 421	p(pa(W[a_2+1]W[a+1]+pa_2(W[a_2+1]W[a+1]+1)))
0 111 221 331 421 531	p(pa(W[a_2+1]W[a+2]+pa_2(W[a_2+1]W[a+2]+1)))
0 111 221 331 421 531 62 73	p(pa(W[a_2+1]pa_2(W[a_2+1]W[a+1])+W[a+1]))
0 111 221 331 43	p(pa(W[a_2+1]a_2))
0 111 221 331 431	p(pa(W[a_2+1]^2+pa_2(W[a_2+1]^2+1)))
0 111 221 331 44	p(pa(W[a_2+2]+W[a+1]))
0 111 221 331 441	p(pa(W[a_2+2]+pa_2(W[a_2+2]+1)))
0 111 221 331 441 221 3	p(pa(W[a_2+2]+pa_2(W[a_2+2]+w)))
0 111 221 331 441 33	p(pa(W[a_2+2]+W[a_2+1]))
0 111 221 331 441 44	p(pa(W[a_2+3]+W[a+1]))
0 111 221 331 441 55	p(pa(W[a_3+2]+W[a+1]))
0 111 222	p(pa(a_w))
0 111 222 22	p(pa(a_w+a))
0 111 222 22 331 442	p(pa(a_w+pa_2(a_w)))
0 111 222 221	p(pa(a_w+pa_2(a_w+1)))
0 111 222 221 32	p(pa(a_w+pa_2(a_w+a)))
0 111 222 221 321	p(pa(a_w+pa_2(a_w+W(a+1)+1)))
0 111 222 221 321 221 321	p(pa(a_w+pa_2(a_w+W(a+1)2+1)))
0 111 222 221 321 321	p(pa(a_w+pa_2(a_w+W(a+1)^2+1)))
0 111 222 221 33	p(pa(a_w+pa_2(a_w+pa_2(a_2))))
0 111 222 221 332	p(pa(a_w+pa_2(a_w+pa_2(a_w))))
0 111 222 221 332 32	p(pa(a_w+pa_2(a_w+pa_2(a_w+a))))
0 111 222 221 332 33	p(pa(a_w+a_2))
0 111 222 221 332 331 442 44	p(pa(a_w+a_3))
0 111 222 222	p(a_w2)
0 111 222 32	p(a_wa)
0 111 222 321	p(a_wW[a+1]+pa_2(a_wW[a+1]+1))
0 111 222 321 221 332 421 33	p(a_wW[a+1]+a_2)
0 111 222 321 222	p(a_wW[a+1]+a_w)
0 111 222 321 3	p(a_wW[a+1]w)
0 111 222 321 43	p(a_wW[a+2]+W[a+1])
0 111 222 321 431	p(a_wW[a+2]+pa_2(a_wW[a+2]+1))
0 111 222 321 432	p(a_wpa_2(a_w))
0 111 222 321 432 43	p(a_wa_2)
0 111 222 322	p(a_w^2)
0 111 222 33	p(W[a_w+1]+W[a+1])
0 111 222 331	p(W[a_w+1]+pa_2(W[a_w+1]+1))
0 111 222 331 222	p(W[a_w+1]+a_w)
0 111 222 331 3	p(W[a_w+1]w)
0 111 222 331 32	p(W[a_w+1]a)
0 111 222 331 322	p(W[a_w+1]a_w)
0 111 222 331 322 431	p(W[a_w+1]^2+pa_2(W[a_w+1]^2+1))
0 111 222 331 33	p(W[a_w+2]+W[a+1])
0 111 222 331 4	p(pa[w+1](W[a[w+1]+1]w))
0 111 222 331 43	p(pa[w+1](W[a[w+1]+1]^2)+W[a+1])
0 111 222 331 44	p(a[w+2])
0 111 222 331 442	p(a[w2])
0 111 222 332	p(a[w^2])
0 111 222 332 322 222 331 442 552 622	p(a[w^2]a[w]+pa[w+1](a[w^2]a[w]))
0 111 222 332 322 222 331 442 552 622 44	p(a[w^2]a[w]+a[w+1])
0 111 222 332 322 222 332	p(a[w^2]a_w+a[w^2])
0 111 222 332 322 222 331 442 552 542 652	p(a[w^2]^2+pa[w+1](a[w^2]^2))
0 111 222 332 322 432 222 332	p(a[w^2]^2+a[w^2])
0 111 222 332 42	p(a[b+1]a)
0 111 222 332 422 532 62	p(a[b+1]pb(a[b+1]a))
0 111 222 332 43	p(a[b+1]b)
0 111 222 332 431	p(a[b+1]W[b+1]+pa_2(a[b+1]W[b+1]))
0 111 222 332 431 332 43	p(a[b+1]W[b+1]b)
0 111 222 332 431 5	p(a[b+1]W[b+1]^w)
0 111 222 332 431 541	p(a[b+1]^2+W[b+1]2+pa_2(a[b+1]^2+W[b+1]2+1))
0 111 222 332 431 542	p(a[b+1]^2+a[b+1]w)
0 111 222 332 431 542 652 73	p(a[b+1]^2+a[b+1]pb(a[b+1]^2))
0 111 222 332 431 542 652 75	p(a[b+1]^2+a[b+1]b)
0 111 222 332 432	p(a[b+1]^2w)
0 111 222 332 432 331 44	p(a[b+1]^2w+a[b+1]2)
0 111 222 332 432 331 442 552 62	p(a[b+1]^2w+a[b+1]a)
0 111 222 332 432 331 442 552 63	p(a[b+1]^2w+a[b+1]pb(a[b+1]^2w+W[b+1]))
0 111 222 332 432 331 442 552 631 552	p(a[b+1]^2w+a[b+1]pb(a[b+1]^2w+W[b+1]+1))
0 111 222 332 432 331 442 552 631 742	p(a[b+1]^2w+a[b+1]ppb(a[b+1]^2w+a[b+1]2)(pb(a[b+1]^2w+a[b+1]w)))
0 111 222 332 432 331 442 552 64	p(a[b+1]^2w+a[b+1]pb(a[b+1]^2+a[b+1]2))
0 111 222 332 432 331 442 552 642	p(a[b+1]^2w+a[b+1]pb(a[b+1]^2+a[b+1]w))
0 111 222 332 432 331 442 552 65	p(a[b+1]^2w+a[b+1]b)
0 111 222 332 432 331 442 552 651	p(a[b+1]^2w+a[b+1]^2+W[b+1]+pa_2(a[b+1]^2w+a[b+1]^2+W[b+1]+1))
0 111 222 332 432 331 442 552 652	p(a[b+1]^2w2)
0 111 222 332 432 332	p(a[b+1]^2w^2)
0 111 222 332 432 332 43	p(a[b+1]^2b)
0 111 222 332 432 332 431 542	p(a[b+1]^3+a[b+1]w)
0 111 222 332 432 332 432	p(a[b+1]^3w)
0 111 222 332 432 43	p(a[b+1]^b)
0 111 222 332 432 43 332 43	p(a[b+1]^bb)
0 111 222 332 432 43 332 432	p(a[b+1]^(b+1)w)
0 111 222 332 432 431 542	p(a[b+1]^a[b+1]+a[b+1]w)
0 111 222 332 432 432	p(a[b+1]^a[b+1]w)
0 111 222 332 44	p(b_2)
0 111 222 332 441 552	p(a[b_2+1]+a[b+1]w)
0 111 222 332 442	p(a[b_2+1]+pb_2(a[b_2+1]+1))
0 111 222 332 442 542	p(a[b_2+1]^2+pb_2(a[b_2+1]^2+1))
0 111 222 332 442 55	p(b_3)
0 111 222 332 442 551 662	p(a[b_3+1]+a[b+1]w)
0 111 222 332 442 552	p(a[b_3+1]+pb_2(a[b_3+1]+1))
0 111 222 333	p(b_w)
0 1111	p(pS(S'w))
0 1111 111	p(pS(S'w)+W_w)
0 1111 111 222	p(pS(S'w)+pa(a_w))
0 1111 111 2221	p(pS(S'w)+pa(pS(S'w)))
0 1111 111 2221 22	p(pS(S'w)+a)
0 1111 111 2221 221	p(pS(S'w)+pa_2(pS(S'w)+1))
0 1111 111 2221 221 3321 33	p(pS(S'w)+a_2)
0 1111 111 2221 222	p(pS(S'w)+a_w)
0 1111 111 2221 222 3331	p(pS(S'w)+pb(pS(S'w)))
0 1111 111 2221 222 3331 33	p(pS(S'w)+b)
0 1111 1111	p(pS(S'w)2)
0 1111 211	p(pS(S'w+W_w))
0 1111 211 3221 42	p(pS(S'w+a))
0 1111 211 3221 422	p(pS(S'w+a_w))
0 1111 2111	p(pS(S'w)^2)
0 1111 22	p(pS(S'w+S))
0 1111 221	p(pS(S'w+pS_2(S'))+pa_2(pS(S'w+pS_2(S'))+1))
0 1111 221 111 2221 331 22	p(pS(S'w+pS_2(S'))+pa_2(pS(S'w+pS_2(S'))+1)+a)
0 1111 221 111 2221 331 221	p(pS(S'w+pS_2(S'))+pa_2(pS(S'w+pS_2(S'))+2))
0 1111 221 111 2221 331 221 3321 441 33	p(pS(S'w+pS_2(S'))+a_2)
0 1111 221 1111	p(pS(S'w+pS_2(S'))+pS(S'w))
0 1111 221 22	p(pS(S'w+pS_2(S')+S))
0 1111 221 3	p(pS(S'w+pS_2(S'+1)))
0 1111 221 32	p(pS(S'w+pS_2(S'+S)))
0 1111 221 33	p(pS(S'w+pS_2(S'+S_2)))
0 1111 221 331	p(pS(S'w+pS_2(S'2))+pa_2(pS(S'w+pS_2(S'2))+1))
0 1111 221 331 44	p(pS(S'w+pS_2(S'2))+a[b+1]2)
0 1111 221 332	p(pS(S'w+pS_2(S'2))+a[b+1]w)
0 1111 221 3321	p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w)))
0 1111 221 3321 441 55	p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w+pS_2(S'+S_2))))
0 1111 221 3321 441 552	p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w+pS_2(S'2)))+a[b+1]w)
0 1111 221 3321 442	p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w+pS_2(S'2))+1))
0 1111 221 3321 442 332 4431 552 442	p(pS(S'w+pS_2(S'2))+pb_2(pS(S'w+pS_2(S'2))+2))
0 1111 221 3321 442 332 4431 552 442 5531 662 55	p(pS(S'w+pS_2(S'2))+b_2)
0 1111 221 3321 442 3321	p(pS(S'w+pS_2(S'2))+pS(S'w))
0 1111 221 3321 442 553	p(pS(S'w+pS_2(S'3))+b[c+1]w)
0 1111 2211	p(pS(S'w+pS_2(S'w)))
0 1111 2211 22	p(pS(S'w+pS_2(S'w)+S))
0 1111 2211 221	p(pS(S'w+pS_2(S'w)+pS_2(S'))+pa_2(pS(S'w+pS_2(S'w)+pS_2(S'))+1))
0 1111 2211 2211	p(pS(S'w+pS_2(S'w)2))
0 1111 2211 32	p(pS(S'w+pS_2(S'w+S)))
0 1111 2211 3211	p(pS(S'w+pS_2(S'w+pS_2(S'w))))
0 1111 2211 33	p(pS(S'w+S_2))
0 1111 2211 3311	p(pS(S'w+pS_3(S'w)))
0 1111 222	p(pS(S'w+S_w))
0 1111 222 2211	p(pS(S'w+S_w+pS_2(S'w)))
0 1111 222 2211 332 33	p(pS(S'w+S_w+S_2))
0 1111 222 222	p(pS(S'w+S_w2))
0 1111 222 322	p(pS(S'w+S_w^2))
0 1111 222 33	p(pS(S'w+pS[w+1](0)))
0 1111 222 3311	p(pS(S'w+pS[w+1](S'w)))
0 1111 222 3311 44	p(pS(S'w+S[w+1]))
0 1111 222 332	p(pS(S'w+S[w^2]))
0 1111 222 332 43	p(pS(S'w+S'2+pS_2(S'w+S')+pS(S'w+S'2)))
0 1111 222 332 4311	p(pS(S'w+S'2+pS_2(S'w+S')+pS(S'w+S'2+pS_2(S'w))))
0 1111 222 332 432	p(pS(S'w+S'2+pS_2(S'w+S')+pS(S'w+S'2+pS_2(S'w+S'))+1))
0 1111 222 332 44	p(pS(S'w+S'2+pS_2(S'w+S')+S))
0 1111 222 332 442	p(pS(S'w+S'2+pS_2(S'w+S')2+1))
0 1111 222 332 442 55	p(pS(S'w+S'2+pS_2(S'w+S'+S_2)))
0 1111 222 333	p(pS(S'w+S'2+pS_2(S'w+S'2+1)))
0 1111 222 3331	p(pS(S'w2))
0 1111 222 3331 444	p(pS(S'w2+S_w))
0 1111 2221	p(pS(S'w^2))
0 1111 2221 22	p(pS(S'w^2+S))
0 1111 2221 2211	p(pS(S'w^2+pS_2(S'w)))
0 1111 2221 2211 332	p(pS(S'w^2+pS_2(S'w+S_w)))
0 1111 2221 2211 332 443	p(pS(S'w^2+pS_2(S'w+S'))+pS(S'w+S'2+pS_2(S'w+S')+1))
0 1111 2221 2211 332 4431 5541	p(pS(S'w^2+pS_2(S'w+S'))+pS(S'w^2))
0 1111 2221 2211 332 4431 5541 5511	p(pS(S'w^2+pS_2(S'w+S'))+pS(S'w^2+pS_2(S'w)))
0 1111 2221 2211 332 4431 5541 552	p(pS(S'w^2+pS_2(S'w+S')+1))
0 1111 2221 2211 332 4431 5541 5531	p(pS(S'w^2+pS_2(S'w2)))
0 1111 2221 2211 3321	p(pS(S'w^2+pS_2(S'w^2)))
0 1111 2221 222	p(pS(S'w^2+S_w))
0 1111 2221 2221	p(pS(S'w^3))
0 1111 2221 32	p(pS(S'S))
0 1111 2221 32 2211 332 4431 5541 65	p(pS(S'S+pS_2(S'w+S'))+pS(S'S))
0 1111 2221 32 2211 3321	p(pS(S'S+pS_2(S'w^2)))
0 1111 2221 32 2211 3321 42	p(pS(S'S+pS_2(S'S)))
0 1111 2221 32 2211 3321 42 33	p(pS(S'S+S_2))
0 1111 2221 32 222	p(pS(S'S+S_w))
0 1111 2221 32 222 3331	p(pS(S'S+S'w))
0 1111 2221 32 222 3331 4441 5	p(pS(S'S+S'w^w))
0 1111 2221 32 222 3331 4441 5111	p(pS(S'S+S'pS(S'w)))
0 1111 2221 32 222 3331 4441 52	p(pS(S'S+S'pS(S'S+pS_2(S'))))
0 1111 2221 32 222 3331 4441 5331 6441	p(pS(S'S+S'pS(S'S+S'w^2)))
0 1111 2221 32 222 3331 4441 54	p(pS(S'S2))
0 1111 2221 32 2221	p(pS(S'Sw))
0 1111 2221 3211	p(pS(S'pS_2(S'w)))
0 1111 2221 3211 4321	p(pS(S'pS_2(S'w^2)))
0 1111 2221 3211 4321 53	p(pS(S'S_2))
0 1111 2221 322	p(pS(S'S_w))
0 1111 2221 322 3	p(pS(S'S_w^w))
0 1111 2221 322 43	p(pS(S'pS[w+1](0)))
0 1111 2221 322 4311 5421 64	p(pS(S'S[w+1]))
0 1111 2221 322 432	p(pS(S'S[w^2]))
0 1111 2221 322 432 52	p(pS(S'^2+pS_2(S'^2+S)))
0 1111 2221 322 432 53	p(pS(S'^2+S_2))
0 1111 2221 322 433	p(pS(S'^2+S_w))
0 1111 2221 322 4331	p(pS(S'^2+S'w))
0 1111 2221 3221	p(pS(S'^2w))
0 1111 2221 3221 2221	p(pS(S'^2w^2))
0 1111 2221 3221 2221 32	p(pS(S'^2S))
0 1111 2221 3221 2221 322	p(pS(S'^2S_w))
0 1111 2221 3221 2221 3221	p(pS(S'^3w))
0 1111 2221 3221 3	p(pS(S'^w))
0 1111 2221 3221 32	p(pS(S'^S))
0 1111 2221 3221 322	p(pS(S'^S_w))
0 1111 2221 3221 3221	p(pS(S'^S'w))
0 1111 2221 33	p(pS(S[S'+1]))
0 1111 2221 331	p(pS(S'_2)+pa_2(pS(S'_2)+1))
0 1111 2221 3311	p(pS(S'_2w))
0 1111 2221 3311 4421	p(pS(S'_2w^2))
0 1111 2221 3311 4421 52	p(pS(S'_2S))
0 1111 2221 3311 4421 5221	p(pS(S'_2S'+pS[S'+1](S'_2S'+1)))
0 1111 2221 3311 4421 53	p(pS(S'_2S[S'+1]))
0 1111 2221 3311 4421 5311	p(pS(S'_2pS[S'+2](S'_2w)))
0 1111 2221 3311 4421 54	p(pS(S'_2S[S'+2]))
0 1111 2221 3311 4421 542	p(pS(S'_2S[S'+w]))
0 1111 2221 3311 4421 5421	p(pS(S'_2^2w))
0 1111 2221 3311 4421 55	p(pS(S[S'_2+1]))
0 1111 2221 332	p(pS(S'_w))
0 1111 2221 332 222	p(pS(S'_w+S_w))
0 1111 2221 332 222 3331 4441 554	p(pS(S'_w+pS[S'+1](S'_w)))
0 1111 2221 332 2221	p(pS(S'_w+pS[S'+1](S'_w+1)))
0 1111 2221 332 2221 32	p(pS(S'_w+pS[S'+1](S'_w+S)))
0 1111 2221 332 2221 322	p(pS(S'_w+pS[S'+1](S'_w+S_w)))
0 1111 2221 332 2221 3221	p(pS(S'_w+pS[S'+1](S'_w+S'+1)))
0 1111 2221 332 2221 33	p(pS(S'_w+pS[S'+1](S'_w+pS[S'+1](0))))
0 1111 2221 332 2221 3311	p(pS(S'_w+pS[S'+1](S'_w+pS[S'+1](S'_2w))))
0 1111 2221 332 2221 3311 4421 552	p(pS(S'_w+pS[S'+1](S'_w+pS[S'+1](S'_w))))
0 1111 2221 332 2221 3311 4421 552 3221	p(pS(S'_w+pS[S'+1](S'_w+pS[S'+1](S'_w)+S'+1)))
0 1111 2221 332 2221 3311 4421 552 33	p(pS(S'_w+S[S'+1]))
0 1111 2221 332 2221 3311 4421 552 3311	p(pS(S'_w+pS[S'+2](S'_2w)))
0 1111 2221 332 2221 3311 4421 552 3311 4421 552	p(pS(S'_w+pS[S'+2](S'_w)))
0 1111 2221 332 2221 3311 4421 552 44	p(pS(S'_w+S[S'+2]))
0 1111 2221 332 2221 3311 4421 552 442	p(pS(S'_w+S[S'+w]))
0 1111 2221 332 2221 3311 4421 552 4421	p(pS(S'_w+pS[S'_2+1](S'_w+1)))
0 1111 2221 332 2221 332	p(pS(S'_w2))
0 1111 2221 332 32	p(pS(S'_wS))
0 1111 2221 332 3221	p(pS(S'_wS'+pS[S'+1](S'_wS'+1)))
0 1111 2221 332 3221 432	p(pS(S'_w^2))
0 1111 2221 332 33	p(pS(S[S'_w+1]))
0 1111 2221 332 331	p(pS(S'[w+1])+pa_2(pS(S'[w+1])+1))
0 1111 2221 332 332	p(pS(S'[w^2]))
0 1111 2221 332 4221 532	p(pS(pS''(S'[S''+1]pS''(S'[S''+1]w))))
0 1111 2221 332 43	p(pS(pS''(S'[S''+1]S'')))
0 1111 2221 332 43 54	p(pS(pS''(S'[S''+1]S[S''+1]+S[S''+1])))
0 1111 2221 332 4311	p(pS(pS''(S'[S''+1]S[S''+1]+S'[S''+1]+1)))
0 1111 2221 332 4311 5421 62	p(pS(pS''(S'[S''+1]S[S''+1]+S'[S''+1]+S)))
0 1111 2221 332 4311 5421 63	p(pS(pS''(S'[S''+1]S[S''+1]+S'[S''+1]+S[S''+1])))
0 1111 2221 332 4311 5421 642	p(pS(pS''(S'[S''+1]S[S''+1]+S'[S''+1]w)))
0 1111 2221 332 4311 5421 642 74	p(pS(pS''(S'[S''+1]S[S''+1]+S'[S''+1]S'')))
0 1111 2221 332 432	p(pS(pS''(S'[S''+1]S[S''+1]w)))
0 1111 2221 332 44	p(pS(pS''(S'[S''+1]S[S''+2]+S[S''+1])))
0 1111 2221 332 442	p(pS(pS''(S'[S''+1]S[S''+2]w)))
0 1111 2221 332 443	p(pS(pS''(S'[S''+1]^2)+S_w))
0 1111 2221 332 4431	p(pS(pS''(S'[S''+1]^2)+S'w))
0 1111 2221 3321	p(pS(pS''(S'[S''+1]^2+1)))