как часто придут 5 аутов без позы в ха :
ответ дает вот такая формула
+f1(0,1,5,47)*f2(0,4,5,46)*(+f1(0,1,3,42)*f2(0,4,3,41)*(+f1(0,1,3,39)*f2(0,4,3,38)*(+f1(0,1,3,36)*f2(0,4,3,35)*(+f1(0,1,
3,33)*f2(0,4,3,32)*(+f1(0,1,3,30)*f2(0,4,3,29)*(+f1(0,1,3,27)*f2(0,4,3,26)*(+f1(0,1,3,24)*f2(1,4,3,23)+f1(0,1,3,24)*f2(2
,
4,3,23)+f1(0,1,3,24)*f2(3,4,3,23)+f1(1,1,3,24)*f2(0,4,2,23)+f1(1,1,3,24)*f2(1,4,2,23)+f1(1,1,3,24)*f2(2,4,2,23))+f1(0,1,
3
,27)*f2(1,4,3,26)*(+f1(0,1,3,24)*f2(1,3,3,23)+f1(0,1,3,24)*f2(2,3,3,23)+f1(0,1,3,24)*f2(3,3,3,23)+f1(1,1,3,24)*f2(0,3,2,
2
3)+f1(1,1,3,24)*f2(1,3,2,23)+f1(1,1,3,24)*f2(2,3,2,23))+f1(0,1,3,27)*f2(2,4,3,26)*(+f1(0,1,3,24)*f2(1,2,3,23)+f1(0,1,3,2
4
)*f2(2,2,3,23)+f1(1,1,3,24)*f2(0,2,2,23)+f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0,1,3,27)*f2(3,4,3,26)*
(
+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(1,1,3,27)*f2(0,4,2,26)*(+f1(0,0,3,24)
*
f2(1,4,3,24)+f1(0,0,3,24)*f2(2,4,3,24)+f1(0,0,3,24)*f2(3,4,3,24))+f1(1,1,3,27)*f2(1,4,2,26)*(+f1(0,0,3,24)*f2(1,3,3,24)+
f
1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(1,1,3,27)*f2(2,4,2,26)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f
2
(2,2,3,24)))+f1(0,1,3,30)*f2(1,4,3,29)+f1(0,1,3,30)*f2(2,4,3,29)+f1(0,1,3,30)*f2(3,4,3,29)+f1(1,1,3,30)*f2(0,4,2,29)+f1(
1
,1,3,30)*f2(1,4,2,29)+f1(1,1,3,30)*f2(2,4,2,29))+f1(0,1,3,33)*f2(1,4,3,32)*(+f1(0,1,3,30)*f2(0,3,3,29)*(+f1(0,1,3,27)*f2
(
0,3,3,26)*(+f1(0,1,3,24)*f2(1,3,3,23)+f1(0,1,3,24)*f2(2,3,3,23)+f1(0,1,3,24)*f2(3,3,3,23)+f1(1,1,3,24)*f2(0,3,2,23)+f1(1
,
1,3,24)*f2(1,3,2,23)+f1(1,1,3,24)*f2(2,3,2,23))+f1(0,1,3,27)*f2(1,3,3,26)*(+f1(0,1,3,24)*f2(1,2,3,23)+f1(0,1,3,24)*f2(2,
2
,3,23)+f1(1,1,3,24)*f2(0,2,2,23)+f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0,1,3,27)*f2(2,3,3,26)*(+f1(0,1
,
3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(3,3,3,26)*(+f1(1,1,3,24)*f2(0,0,
2
,23))+f1(1,1,3,27)*f2(0,3,2,26)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(1,1,
3
,27)*f2(1,3,2,26)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(1,1,3,27)*f2(2,3,2,26)*(+f1(0,0,3,24)*f2(1,1
,
3,24)))+f1(0,1,3,30)*f2(1,3,3,29)+f1(0,1,3,30)*f2(2,3,3,29)+f1(0,1,3,30)*f2(3,3,3,29)+f1(1,1,3,30)*f2(0,3,2,29)+f1(1,1,3
,
30)*f2(1,3,2,29)+f1(1,1,3,30)*f2(2,3,2,29))+f1(0,1,3,33)*f2(2,4,3,32)*(+f1(0,1,3,30)*f2(0,2,3,29)*(+f1(0,1,3,27)*f2(0,2,
3
,26)*(+f1(0,1,3,24)*f2(1,2,3,23)+f1(0,1,3,24)*f2(2,2,3,23)+f1(1,1,3,24)*f2(0,2,2,23)+f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,
2
4)*f2(2,2,2,23))+f1(0,1,3,27)*f2(1,2,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,2
3
))+f1(0,1,3,27)*f2(2,2,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,2,2,26)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3
,
24)*f2(2,2,3,24))+f1(1,1,3,27)*f2(1,2,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,2,3,29)+f1(0,1,3,30)*f2(2,2,
3
,29)+f1(1,1,3,30)*f2(0,2,2,29)+f1(1,1,3,30)*f2(1,2,2,29)+f1(1,1,3,30)*f2(2,2,2,29))+f1(0,1,3,33)*f2(3,4,3,32)*(+f1(0,1,3
,
30)*f2(0,1,3,29)*(+f1(0,1,3,27)*f2(0,1,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2
,
23))+f1(0,1,3,27)*f2(1,1,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,1,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0
,
1,3,30)*f2(1,1,3,29)+f1(1,1,3,30)*f2(0,1,2,29)+f1(1,1,3,30)*f2(1,1,2,29))+f1(1,1,3,33)*f2(0,4,2,32)*(+f1(0,0,3,30)*f2(0,
4
,3,30)*(+f1(0,0,3,27)*f2(0,4,3,27)*(+f1(0,0,3,24)*f2(1,4,3,24)+f1(0,0,3,24)*f2(2,4,3,24)+f1(0,0,3,24)*f2(3,4,3,24))+f1(0
,
0,3,27)*f2(1,4,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(2,
4
,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(3,4,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1
(
0,0,3,30)*f2(1,4,3,30)+f1(0,0,3,30)*f2(2,4,3,30)+f1(0,0,3,30)*f2(3,4,3,30))+f1(1,1,3,33)*f2(1,4,2,32)*(+f1(0,0,3,30)*f2(
0
,3,3,30)*(+f1(0,0,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1
(
0,0,3,27)*f2(1,3,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f
2
(1,1,3,24)))+f1(0,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+f1(0,0,3,30)*f2(3,3,3,30))+f1(1,1,3,33)*f2(2,4,2,32)*(+
f
1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)
*
f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30)))+f1(0,1,3,36)*f2(1,4,3,3
5
)+f1(0,1,3,36)*f2(2,4,3,35)+f1(0,1,3,36)*f2(3,4,3,35)+f1(1,1,3,36)*f2(0,4,2,35)+f1(1,1,3,36)*f2(1,4,2,35)+f1(1,1,3,36)*f
2
(2,4,2,35))+f1(0,1,3,39)*f2(1,4,3,38)*(+f1(0,1,3,36)*f2(0,3,3,35)*(+f1(0,1,3,33)*f2(0,3,3,32)*(+f1(0,1,3,30)*f2(0,3,3,29
)
*(+f1(0,1,3,27)*f2(0,3,3,26)*(+f1(0,1,3,24)*f2(1,3,3,23)+f1(0,1,3,24)*f2(2,3,3,23)+f1(0,1,3,24)*f2(3,3,3,23)+f1(1,1,3,24
)
*f2(0,3,2,23)+f1(1,1,3,24)*f2(1,3,2,23)+f1(1,1,3,24)*f2(2,3,2,23))+f1(0,1,3,27)*f2(1,3,3,26)*(+f1(0,1,3,24)*f2(1,2,3,23)
+
f1(0,1,3,24)*f2(2,2,3,23)+f1(1,1,3,24)*f2(0,2,2,23)+f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0,1,3,27)*f2
(
2,3,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(3,3,3,26)*(+f
1
(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,3,2,26)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2
(
3,3,3,24))+f1(1,1,3,27)*f2(1,3,2,26)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(1,1,3,27)*f2(2,3,2,26)*(+
f
1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,3,3,29)+f1(0,1,3,30)*f2(2,3,3,29)+f1(0,1,3,30)*f2(3,3,3,29)+f1(1,1,3,30)*f2
(
0,3,2,29)+f1(1,1,3,30)*f2(1,3,2,29)+f1(1,1,3,30)*f2(2,3,2,29))+f1(0,1,3,33)*f2(1,3,3,32)*(+f1(0,1,3,30)*f2(0,2,3,29)*(+f
1
(0,1,3,27)*f2(0,2,3,26)*(+f1(0,1,3,24)*f2(1,2,3,23)+f1(0,1,3,24)*f2(2,2,3,23)+f1(1,1,3,24)*f2(0,2,2,23)+f1(1,1,3,24)*f2(
1
,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0,1,3,27)*f2(1,2,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1
,
1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(2,2,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,2,2,26)*(+f1(0,0,3,24)*f2
(
1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(1,1,3,27)*f2(1,2,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,2,3,29)+f
1
(0,1,3,30)*f2(2,2,3,29)+f1(1,1,3,30)*f2(0,2,2,29)+f1(1,1,3,30)*f2(1,2,2,29)+f1(1,1,3,30)*f2(2,2,2,29))+f1(0,1,3,33)*f2(2
,
3,3,32)*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1(0,1,3,27)*f2(0,1,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1
(
1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(1,1,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,1,2,26)*(+f1(0,0,3,24)*
f
2(1,1,3,24)))+f1(0,1,3,30)*f2(1,1,3,29)+f1(1,1,3,30)*f2(0,1,2,29)+f1(1,1,3,30)*f2(1,1,2,29))+f1(0,1,3,33)*f2(3,3,3,32)*(
+
f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29))+f1(1,1,3,
3
3)*f2(0,3,2,32)*(+f1(0,0,3,30)*f2(0,3,3,30)*(+f1(0,0,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,
3
,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(1,3,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,
3
,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+f1(0,0,3,30)*f2(3,3,
3
,30))+f1(1,1,3,33)*f2(1,3,2,32)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0
,
0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(
2
,2,3,30))+f1(1,1,3,33)*f2(2,3,2,32)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24))
)
+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,1,3,36)*f2(1,3,3,35)+f1(0,1,3,36)*f2(2,3,3,35)+f1(0,1,3,36)*f2(3,3,3,35)+f1(1,1,3,36)*
f
2(0,3,2,35)+f1(1,1,3,36)*f2(1,3,2,35)+f1(1,1,3,36)*f2(2,3,2,35))+f1(0,1,3,39)*f2(2,4,3,38)*(+f1(0,1,3,36)*f2(0,2,3,35)*(
+
f1(0,1,3,33)*f2(0,2,3,32)*(+f1(0,1,3,30)*f2(0,2,3,29)*(+f1(0,1,3,27)*f2(0,2,3,26)*(+f1(0,1,3,24)*f2(1,2,3,23)+f1(0,1,3,2
4
)*f2(2,2,3,23)+f1(1,1,3,24)*f2(0,2,2,23)+f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0,1,3,27)*f2(1,2,3,26)*
(
+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(2,2,3,26)*(+f1(1,1,3,24)
*
f2(0,0,2,23))+f1(1,1,3,27)*f2(0,2,2,26)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(1,1,3,27)*f2(1,2,2,26)
*
(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,2,3,29)+f1(0,1,3,30)*f2(2,2,3,29)+f1(1,1,3,30)*f2(0,2,2,29)+f1(1,1,3,30)
*
f2(1,2,2,29)+f1(1,1,3,30)*f2(2,2,2,29))+f1(0,1,3,33)*f2(1,2,3,32)*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1(0,1,3,27)*f2(0,1,3,26
)
*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(1,1,3,26)*(+f1(1,1,3,2
4
)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,1,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,1,3,29)+f1(1,1,3,30)*f2(0,1,2,
2
9)+f1(1,1,3,30)*f2(1,1,2,29))+f1(0,1,3,33)*f2(2,2,3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1
,
3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29))+f1(1,1,3,33)*f2(0,2,2,32)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(
0
,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+
f
1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(1,1,3,33)*f2(1,2,2,32)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)
*
f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,1,3,36)*f2(1,2,3,35)+f1(0,1,3,36)*f2(2,2,3,3
5
)+f1(1,1,3,36)*f2(0,2,2,35)+f1(1,1,3,36)*f2(1,2,2,35)+f1(1,1,3,36)*f2(2,2,2,35))+f1(0,1,3,39)*f2(3,4,3,38)*(+f1(0,1,3,36
)
*f2(0,1,3,35)*(+f1(0,1,3,33)*f2(0,1,3,32)*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1(0,1,3,27)*f2(0,1,3,26)*(+f1(0,1,3,24)*f2(1,1,
3
,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(1,1,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,
3
,27)*f2(0,1,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,1,3,29)+f1(1,1,3,30)*f2(0,1,2,29)+f1(1,1,3,30)*f2(1,1,
2
,29))+f1(0,1,3,33)*f2(1,1,3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23)))+f1
(
1,1,3,30)*f2(0,0,2,29))+f1(1,1,3,33)*f2(0,1,2,32)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)
*
f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,1,3,36)*f2(1,1,3,35)+f1(1,1,3,36)*f2(0,1,2,35)+f1(1,1,3,36)*f2(1,1,2,35)
)
+f1(1,1,3,39)*f2(0,4,2,38)*(+f1(0,0,3,36)*f2(0,4,3,36)*(+f1(0,0,3,33)*f2(0,4,3,33)*(+f1(0,0,3,30)*f2(0,4,3,30)*(+f1(0,0,
3
,27)*f2(0,4,3,27)*(+f1(0,0,3,24)*f2(1,4,3,24)+f1(0,0,3,24)*f2(2,4,3,24)+f1(0,0,3,24)*f2(3,4,3,24))+f1(0,0,3,27)*f2(1,4,3
,
27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(2,4,3,27)*(+f1(0,0,
3
,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(3,4,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,4
,
3,30)+f1(0,0,3,30)*f2(2,4,3,30)+f1(0,0,3,30)*f2(3,4,3,30))+f1(0,0,3,33)*f2(1,4,3,33)*(+f1(0,0,3,30)*f2(0,3,3,30)*(+f1(0,
0
,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(1,3
,
3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(
0
,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+f1(0,0,3,30)*f2(3,3,3,30))+f1(0,0,3,33)*f2(2,4,3,33)*(+f1(0,0,3,30)*f2(0
,
2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f
1
(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(3,4,3,33)*(+f1(0,0,3,30)*
f
2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,4,3,
3
6)+f1(0,0,3,36)*f2(2,4,3,36)+f1(0,0,3,36)*f2(3,4,3,36))+f1(1,1,3,39)*f2(1,4,2,38)*(+f1(0,0,3,36)*f2(0,3,3,36)*(+f1(0,0,3
,
33)*f2(0,3,3,33)*(+f1(0,0,3,30)*f2(0,3,3,30)*(+f1(0,0,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3
,
3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(1,3,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0
,
3,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+f1(0,0,3,30)*f2(3,3
,
3,30))+f1(0,0,3,33)*f2(1,3,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(
0
,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2
(
2,2,3,30))+f1(0,0,3,33)*f2(2,3,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)
)
)+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,3,3,36)+f1(0,0,3,36)*f2(2,3,3,36)+f1(0,0,3,36)*f2(3,3,3,36))+f1(1,1,3,39
)
*f2(2,4,2,38)*(+f1(0,0,3,36)*f2(0,2,3,36)*(+f1(0,0,3,33)*f2(0,2,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,
3
,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0
,
0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(1,2,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(
0
,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,2,3,36)+f1(0,0,3,36)*f2(2,2,3,36)))
+
f1(0,1,3,42)*f2(1,4,3,41)+f1(0,1,3,42)*f2(2,4,3,41)+f1(0,1,3,42)*f2(3,4,3,41)+f1(1,1,3,42)*f2(0,4,2,41)+f1(1,1,3,42)*f2(
1
,4,2,41)+f1(1,1,3,42)*f2(2,4,2,41))+f1(0,1,5,47)*f2(1,4,5,46)*(+f1(0,1,3,42)*f2(0,3,3,41)*(+f1(0,1,3,39)*f2(0,3,3,38)*(+
f
1(0,1,3,36)*f2(0,3,3,35)*(+f1(0,1,3,33)*f2(0,3,3,32)*(+f1(0,1,3,30)*f2(0,3,3,29)*(+f1(0,1,3,27)*f2(0,3,3,26)*(+f1(0,1,3,
2
4)*f2(1,3,3,23)+f1(0,1,3,24)*f2(2,3,3,23)+f1(0,1,3,24)*f2(3,3,3,23)+f1(1,1,3,24)*f2(0,3,2,23)+f1(1,1,3,24)*f2(1,3,2,23)+
f
1(1,1,3,24)*f2(2,3,2,23))+f1(0,1,3,27)*f2(1,3,3,26)*(+f1(0,1,3,24)*f2(1,2,3,23)+f1(0,1,3,24)*f2(2,2,3,23)+f1(1,1,3,24)*f
2
(0,2,2,23)+f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0,1,3,27)*f2(2,3,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1
(
1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(3,3,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2
(
0,3,2,26)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(1,1,3,27)*f2(1,3,2,26)*(+f
1
(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(1,1,3,27)*f2(2,3,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*
f
2(1,3,3,29)+f1(0,1,3,30)*f2(2,3,3,29)+f1(0,1,3,30)*f2(3,3,3,29)+f1(1,1,3,30)*f2(0,3,2,29)+f1(1,1,3,30)*f2(1,3,2,29)+f1(1
,
1,3,30)*f2(2,3,2,29))+f1(0,1,3,33)*f2(1,3,3,32)*(+f1(0,1,3,30)*f2(0,2,3,29)*(+f1(0,1,3,27)*f2(0,2,3,26)*(+f1(0,1,3,24)*f
2
(1,2,3,23)+f1(0,1,3,24)*f2(2,2,3,23)+f1(1,1,3,24)*f2(0,2,2,23)+f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0
,
1,3,27)*f2(1,2,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(2,
2
,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,2,2,26)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(
1
,1,3,27)*f2(1,2,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,2,3,29)+f1(0,1,3,30)*f2(2,2,3,29)+f1(1,1,3,30)*f2(
0
,2,2,29)+f1(1,1,3,30)*f2(1,2,2,29)+f1(1,1,3,30)*f2(2,2,2,29))+f1(0,1,3,33)*f2(2,3,3,32)*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1
(
0,1,3,27)*f2(0,1,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(
1
,1,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,1,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,1,3,29)+
f
1(1,1,3,30)*f2(0,1,2,29)+f1(1,1,3,30)*f2(1,1,2,29))+f1(0,1,3,33)*f2(3,3,3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)
*
f2(0,0,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29))+f1(1,1,3,33)*f2(0,3,2,32)*(+f1(0,0,3,30)*f2(0,3,3,
3
0)*(+f1(0,0,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3
,
27)*f2(1,3,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f2(1,1,
3
,24)))+f1(0,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+f1(0,0,3,30)*f2(3,3,3,30))+f1(1,1,3,33)*f2(1,3,2,32)*(+f1(0,0
,
3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,
2
,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(1,1,3,33)*f2(2,3,2,32)*(+f1
(
0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,1,3,36
)
*f2(1,3,3,35)+f1(0,1,3,36)*f2(2,3,3,35)+f1(0,1,3,36)*f2(3,3,3,35)+f1(1,1,3,36)*f2(0,3,2,35)+f1(1,1,3,36)*f2(1,3,2,35)+f1
(
1,1,3,36)*f2(2,3,2,35))+f1(0,1,3,39)*f2(1,3,3,38)*(+f1(0,1,3,36)*f2(0,2,3,35)*(+f1(0,1,3,33)*f2(0,2,3,32)*(+f1(0,1,3,30)
*
f2(0,2,3,29)*(+f1(0,1,3,27)*f2(0,2,3,26)*(+f1(0,1,3,24)*f2(1,2,3,23)+f1(0,1,3,24)*f2(2,2,3,23)+f1(1,1,3,24)*f2(0,2,2,23)
+
f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0,1,3,27)*f2(1,2,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*
f
2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(2,2,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,2,2,26)*
(
+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(1,1,3,27)*f2(1,2,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,3
0
)*f2(1,2,3,29)+f1(0,1,3,30)*f2(2,2,3,29)+f1(1,1,3,30)*f2(0,2,2,29)+f1(1,1,3,30)*f2(1,2,2,29)+f1(1,1,3,30)*f2(2,2,2,29))+
f
1(0,1,3,33)*f2(1,2,3,32)*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1(0,1,3,27)*f2(0,1,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24
)
*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(1,1,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,1,2,26
)
*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,1,3,29)+f1(1,1,3,30)*f2(0,1,2,29)+f1(1,1,3,30)*f2(1,1,2,29))+f1(0,1,3,3
3
)*f2(2,2,3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0
,
2,29))+f1(1,1,3,33)*f2(0,2,2,32)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(
0
,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2
(
2,2,3,30))+f1(1,1,3,33)*f2(1,2,2,32)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)
)
)+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,1,3,36)*f2(1,2,3,35)+f1(0,1,3,36)*f2(2,2,3,35)+f1(1,1,3,36)*f2(0,2,2,35)+f1(1,1,3,36)
*
f2(1,2,2,35)+f1(1,1,3,36)*f2(2,2,2,35))+f1(0,1,3,39)*f2(2,3,3,38)*(+f1(0,1,3,36)*f2(0,1,3,35)*(+f1(0,1,3,33)*f2(0,1,3,32
)
*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1(0,1,3,27)*f2(0,1,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,
2
4)*f2(1,1,2,23))+f1(0,1,3,27)*f2(1,1,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,1,2,26)*(+f1(0,0,3,24)*f2(1,1,
3
,24)))+f1(0,1,3,30)*f2(1,1,3,29)+f1(1,1,3,30)*f2(0,1,2,29)+f1(1,1,3,30)*f2(1,1,2,29))+f1(0,1,3,33)*f2(1,1,3,32)*(+f1(0,1
,
3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29))+f1(1,1,3,33)*f2(
0
,1,2,32)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)
)
)+f1(0,1,3,36)*f2(1,1,3,35)+f1(1,1,3,36)*f2(0,1,2,35)+f1(1,1,3,36)*f2(1,1,2,35))+f1(0,1,3,39)*f2(3,3,3,38)*(+f1(0,1,3,36
)
*f2(0,0,3,35)*(+f1(0,1,3,33)*f2(0,0,3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1,3,24)*f2(0,0,
2
,23)))+f1(1,1,3,30)*f2(0,0,2,29)))+f1(1,1,3,36)*f2(0,0,2,35))+f1(1,1,3,39)*f2(0,3,2,38)*(+f1(0,0,3,36)*f2(0,3,3,36)*(+f1
(
0,0,3,33)*f2(0,3,3,33)*(+f1(0,0,3,30)*f2(0,3,3,30)*(+f1(0,0,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*
f
2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(1,3,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+
f
1(0,0,3,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+f1(0,0,3,30)*
f
2(3,3,3,30))+f1(0,0,3,33)*f2(1,3,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,2
4
)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,
3
0)*f2(2,2,3,30))+f1(0,0,3,33)*f2(2,3,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1
,
3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,3,3,36)+f1(0,0,3,36)*f2(2,3,3,36)+f1(0,0,3,36)*f2(3,3,3,36))+f1(1,
1
,3,39)*f2(1,3,2,38)*(+f1(0,0,3,36)*f2(0,2,3,36)*(+f1(0,0,3,33)*f2(0,2,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f
2
(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24))
)
+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(1,2,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,2
7
)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,2,3,36)+f1(0,0,3,36)*f2(2,2,3
,
36))+f1(1,1,3,39)*f2(2,3,2,38)*(+f1(0,0,3,36)*f2(0,1,3,36)*(+f1(0,0,3,33)*f2(0,1,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(
0
,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,1,3,36)))+f1(0,1,3,42)
*
f2(1,3,3,41)+f1(0,1,3,42)*f2(2,3,3,41)+f1(0,1,3,42)*f2(3,3,3,41)+f1(1,1,3,42)*f2(0,3,2,41)+f1(1,1,3,42)*f2(1,3,2,41)+f1(
1
,1,3,42)*f2(2,3,2,41))+f1(0,1,5,47)*f2(2,4,5,46)*(+f1(0,1,3,42)*f2(0,2,3,41)*(+f1(0,1,3,39)*f2(0,2,3,38)*(+f1(0,1,3,36)*
f
2(0,2,3,35)*(+f1(0,1,3,33)*f2(0,2,3,32)*(+f1(0,1,3,30)*f2(0,2,3,29)*(+f1(0,1,3,27)*f2(0,2,3,26)*(+f1(0,1,3,24)*f2(1,2,3,
2
3)+f1(0,1,3,24)*f2(2,2,3,23)+f1(1,1,3,24)*f2(0,2,2,23)+f1(1,1,3,24)*f2(1,2,2,23)+f1(1,1,3,24)*f2(2,2,2,23))+f1(0,1,3,27)
*
f2(1,2,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(2,2,3,26)*
(
+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,2,2,26)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(1,1,3,27
)
*f2(1,2,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,2,3,29)+f1(0,1,3,30)*f2(2,2,3,29)+f1(1,1,3,30)*f2(0,2,2,29
)
+f1(1,1,3,30)*f2(1,2,2,29)+f1(1,1,3,30)*f2(2,2,2,29))+f1(0,1,3,33)*f2(1,2,3,32)*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1(0,1,3,2
7
)*f2(0,1,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(1,1,3,26
)
*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,1,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,1,3,29)+f1(1,1,3
,
30)*f2(0,1,2,29)+f1(1,1,3,30)*f2(1,1,2,29))+f1(0,1,3,33)*f2(2,2,3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,
3
,26)*(+f1(1,1,3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29))+f1(1,1,3,33)*f2(0,2,2,32)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1
(
0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f
2
(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(1,1,3,33)*f2(1,2,2,32)*(+f1(0,0,3,30)*f2(0,1,3,30)*
(
+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,1,3,36)*f2(1,2,3,35)+f1(0,1,3,
3
6)*f2(2,2,3,35)+f1(1,1,3,36)*f2(0,2,2,35)+f1(1,1,3,36)*f2(1,2,2,35)+f1(1,1,3,36)*f2(2,2,2,35))+f1(0,1,3,39)*f2(1,2,3,38)
*
(+f1(0,1,3,36)*f2(0,1,3,35)*(+f1(0,1,3,33)*f2(0,1,3,32)*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1(0,1,3,27)*f2(0,1,3,26)*(+f1(0,1
,
3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,2,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(1,1,3,26)*(+f1(1,1,3,24)*f2(0,0,
2
,23))+f1(1,1,3,27)*f2(0,1,2,26)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,1,3,29)+f1(1,1,3,30)*f2(0,1,2,29)+f1(1,1
,
3,30)*f2(1,1,2,29))+f1(0,1,3,33)*f2(1,1,3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1,3,24)*f2(
0
,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29))+f1(1,1,3,33)*f2(0,1,2,32)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*
(
+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,1,3,36)*f2(1,1,3,35)+f1(1,1,3,36)*f2(0,1,2,35)+f1(1,1,3,36
)
*f2(1,1,2,35))+f1(0,1,3,39)*f2(2,2,3,38)*(+f1(0,1,3,36)*f2(0,0,3,35)*(+f1(0,1,3,33)*f2(0,0,3,32)*(+f1(0,1,3,30)*f2(0,0,3
,
29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29)))+f1(1,1,3,36)*f2(0,0,2,35))+f1(
1
,1,3,39)*f2(0,2,2,38)*(+f1(0,0,3,36)*f2(0,2,3,36)*(+f1(0,0,3,33)*f2(0,2,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)
*
f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24
)
))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(1,2,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3
,
27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,2,3,36)+f1(0,0,3,36)*f2(2,2
,
3,36))+f1(1,1,3,39)*f2(1,2,2,38)*(+f1(0,0,3,36)*f2(0,1,3,36)*(+f1(0,0,3,33)*f2(0,1,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f
1
(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,1,3,36)))+f1(0,1,3,4
2
)*f2(1,2,3,41)+f1(0,1,3,42)*f2(2,2,3,41)+f1(1,1,3,42)*f2(0,2,2,41)+f1(1,1,3,42)*f2(1,2,2,41)+f1(1,1,3,42)*f2(2,2,2,41))+
f
1(0,1,5,47)*f2(3,4,5,46)*(+f1(0,1,3,42)*f2(0,1,3,41)*(+f1(0,1,3,39)*f2(0,1,3,38)*(+f1(0,1,3,36)*f2(0,1,3,35)*(+f1(0,1,3,
3
3)*f2(0,1,3,32)*(+f1(0,1,3,30)*f2(0,1,3,29)*(+f1(0,1,3,27)*f2(0,1,3,26)*(+f1(0,1,3,24)*f2(1,1,3,23)+f1(1,1,3,24)*f2(0,1,
2
,23)+f1(1,1,3,24)*f2(1,1,2,23))+f1(0,1,3,27)*f2(1,1,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23))+f1(1,1,3,27)*f2(0,1,2,26)*(+f1(0,
0
,3,24)*f2(1,1,3,24)))+f1(0,1,3,30)*f2(1,1,3,29)+f1(1,1,3,30)*f2(0,1,2,29)+f1(1,1,3,30)*f2(1,1,2,29))+f1(0,1,3,33)*f2(1,1
,
3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,1,3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29))+f
1
(1,1,3,33)*f2(0,1,2,32)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,3
0
)*f2(1,1,3,30)))+f1(0,1,3,36)*f2(1,1,3,35)+f1(1,1,3,36)*f2(0,1,2,35)+f1(1,1,3,36)*f2(1,1,2,35))+f1(0,1,3,39)*f2(1,1,3,38
)
*(+f1(0,1,3,36)*f2(0,0,3,35)*(+f1(0,1,3,33)*f2(0,0,3,32)*(+f1(0,1,3,30)*f2(0,0,3,29)*(+f1(0,1,3,27)*f2(0,0,3,26)*(+f1(1,
1
,3,24)*f2(0,0,2,23)))+f1(1,1,3,30)*f2(0,0,2,29)))+f1(1,1,3,36)*f2(0,0,2,35))+f1(1,1,3,39)*f2(0,1,2,38)*(+f1(0,0,3,36)*f2
(
0,1,3,36)*(+f1(0,0,3,33)*f2(0,1,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24
)
))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,1,3,36)))+f1(0,1,3,42)*f2(1,1,3,41)+f1(1,1,3,42)*f2(0,1,2,41)+f1(1,1,3,
4
2)*f2(1,1,2,41))+f1(1,1,5,47)*f2(0,4,4,46)*(+f1(0,0,3,42)*f2(0,4,3,42)*(+f1(0,0,3,39)*f2(0,4,3,39)*(+f1(0,0,3,36)*f2(0,4
,
3,36)*(+f1(0,0,3,33)*f2(0,4,3,33)*(+f1(0,0,3,30)*f2(0,4,3,30)*(+f1(0,0,3,27)*f2(0,4,3,27)*(+f1(0,0,3,24)*f2(1,4,3,24)+f1
(
0,0,3,24)*f2(2,4,3,24)+f1(0,0,3,24)*f2(3,4,3,24))+f1(0,0,3,27)*f2(1,4,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(
2
,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(2,4,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(
0
,0,3,27)*f2(3,4,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,4,3,30)+f1(0,0,3,30)*f2(2,4,3,30)+f1(0,0,3,30)*f2(
3
,4,3,30))+f1(0,0,3,33)*f2(1,4,3,33)*(+f1(0,0,3,30)*f2(0,3,3,30)*(+f1(0,0,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+
f
1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(1,3,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f
2
(2,2,3,24))+f1(0,0,3,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+
f
1(0,0,3,30)*f2(3,3,3,30))+f1(0,0,3,33)*f2(2,4,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,2
4
)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,
3
0)+f1(0,0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(3,4,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0
,
3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,4,3,36)+f1(0,0,3,36)*f2(2,4,3,36)+f1(0,0,3,36)*f2(3,4
,
3,36))+f1(0,0,3,39)*f2(1,4,3,39)*(+f1(0,0,3,36)*f2(0,3,3,36)*(+f1(0,0,3,33)*f2(0,3,3,33)*(+f1(0,0,3,30)*f2(0,3,3,30)*(+f
1
(0,0,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3,24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2
(
1,3,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))
+
f1(0,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+f1(0,0,3,30)*f2(3,3,3,30))+f1(0,0,3,33)*f2(1,3,3,33)*(+f1(0,0,3,30)*
f
2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)
*
(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(2,3,3,33)*(+f1(0,0,3,
3
0)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,
3
,3,36)+f1(0,0,3,36)*f2(2,3,3,36)+f1(0,0,3,36)*f2(3,3,3,36))+f1(0,0,3,39)*f2(2,4,3,39)*(+f1(0,0,3,36)*f2(0,2,3,36)*(+f1(0
,
0,3,33)*f2(0,2,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2
(
2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+
f
1(0,0,3,33)*f2(1,2,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,
3
0)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,2,3,36)+f1(0,0,3,36)*f2(2,2,3,36))+f1(0,0,3,39)*f2(3,4,3,39)*(+f1(0,0,3,36)*f2(0,1,3
,
36)*(+f1(0,0,3,33)*f2(0,1,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1
(
0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,1,3,36)))+f1(0,0,3,42)*f2(1,4,3,42)+f1(0,0,3,42)*f2(2,4,3,42)+f1(0,0,3,42)*f2
(
3,4,3,42))+f1(1,1,5,47)*f2(1,4,4,46)*(+f1(0,0,3,42)*f2(0,3,3,42)*(+f1(0,0,3,39)*f2(0,3,3,39)*(+f1(0,0,3,36)*f2(0,3,3,36)
*
(+f1(0,0,3,33)*f2(0,3,3,33)*(+f1(0,0,3,30)*f2(0,3,3,30)*(+f1(0,0,3,27)*f2(0,3,3,27)*(+f1(0,0,3,24)*f2(1,3,3,24)+f1(0,0,3
,
24)*f2(2,3,3,24)+f1(0,0,3,24)*f2(3,3,3,24))+f1(0,0,3,27)*f2(1,3,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,
2
4))+f1(0,0,3,27)*f2(2,3,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,3,3,30)+f1(0,0,3,30)*f2(2,3,3,30)+f1(0,0,3
,
30)*f2(3,3,3,30))+f1(0,0,3,33)*f2(1,3,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,
2
,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0
,
0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(2,3,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f
2
(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,3,3,36)+f1(0,0,3,36)*f2(2,3,3,36)+f1(0,0,3,36)*f2(3,3,3,36))+
f
1(0,0,3,39)*f2(1,3,3,39)*(+f1(0,0,3,36)*f2(0,2,3,36)*(+f1(0,0,3,33)*f2(0,2,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1(0,0,3,
2
7)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f2(1,1,3
,
24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(1,2,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*(+f1(0,
0
,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,2,3,36)+f1(0,0,3,36)*f2(
2
,2,3,36))+f1(0,0,3,39)*f2(2,3,3,39)*(+f1(0,0,3,36)*f2(0,1,3,36)*(+f1(0,0,3,33)*f2(0,1,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*
(
+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,1,3,36)))+f1(0,0,
3
,42)*f2(1,3,3,42)+f1(0,0,3,42)*f2(2,3,3,42)+f1(0,0,3,42)*f2(3,3,3,42))+f1(1,1,5,47)*f2(2,4,4,46)*(+f1(0,0,3,42)*f2(0,2,3
,
42)*(+f1(0,0,3,39)*f2(0,2,3,39)*(+f1(0,0,3,36)*f2(0,2,3,36)*(+f1(0,0,3,33)*f2(0,2,3,33)*(+f1(0,0,3,30)*f2(0,2,3,30)*(+f1
(
0,0,3,27)*f2(0,2,3,27)*(+f1(0,0,3,24)*f2(1,2,3,24)+f1(0,0,3,24)*f2(2,2,3,24))+f1(0,0,3,27)*f2(1,2,3,27)*(+f1(0,0,3,24)*f
2
(1,1,3,24)))+f1(0,0,3,30)*f2(1,2,3,30)+f1(0,0,3,30)*f2(2,2,3,30))+f1(0,0,3,33)*f2(1,2,3,33)*(+f1(0,0,3,30)*f2(0,1,3,30)*
(
+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,2,3,36)+f1(0,0,3,
3
6)*f2(2,2,3,36))+f1(0,0,3,39)*f2(1,2,3,39)*(+f1(0,0,3,36)*f2(0,1,3,36)*(+f1(0,0,3,33)*f2(0,1,3,33)*(+f1(0,0,3,30)*f2(0,1
,
3,30)*(+f1(0,0,3,27)*f2(0,1,3,27)*(+f1(0,0,3,24)*f2(1,1,3,24)))+f1(0,0,3,30)*f2(1,1,3,30)))+f1(0,0,3,36)*f2(1,1,3,36)))+
f
1(0,0,3,42)*f2(1,2,3,42)+f1(0,0,3,42)*f2(2,2,3,42))
ans =
0.7883
Искусственный интеллект предсказал результаты чемпионата мира по футболу 2018