Archive / ОТКА / Синтез4 / test

12
7
1
0
2
A-B-nA-C-nC-nB
K1=I
200
252
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Y1=nS2*nP1*nP2
1
250
230
5
250
230
6
250
252
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Y2=nS1*S3*P1
0
250
230
2
230
5
252
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
K2=nS3+S2*nP1+S4*P1*P2
2
250
240
1
230
5
250
240
3
230
5
230
6
252
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Y3=S1*P1*nP2
0
230
5
230
6
250
252
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
P1=S3*P1+nS3*nP2
2
230
5
240
2
250
230
6
250
252
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
P2=S5+P2*(nS3+P1)
4
240
6
230
21
2
250
240
5
21
252
0
0