[1,2,2,/,2]
[1,8,3,/,3]
[2,4,4,/,4]
[3,0,5,/,5]
[3,6,6,/,6]
[4,2,7,/,7]
[4,8,8,/,8]
[5,4,9,/,9]
[7,+,9,*,6]
[5,+,8,*,7]
[5,+,7,*,8]
[7,+,6,*,9]
[5,1,+,1,0]
[5,0,+,1,1]
[4,9,+,1,2]
[4,8,+,1,3]
[4,7,+,1,4]
[4,6,+,1,5]
[4,5,+,1,6]
[4,4,+,1,7]
[4,3,+,1,8]
[4,2,+,1,9]
[4,1,+,2,0]
[4,0,+,2,1]
[3,9,+,2,2]
[3,8,+,2,3]
[3,7,+,2,4]
[3,6,+,2,5]
[3,5,+,2,6]
[3,4,+,2,7]
[3,3,+,2,8]
[3,2,+,2,9]
[3,1,+,3,0]
[3,0,+,3,1]
[2,9,+,3,2]
[2,8,+,3,3]
[2,7,+,3,4]
[2,6,+,3,5]
[2,5,+,3,6]
[2,4,+,3,7]
[2,3,+,3,8]
[2,2,+,3,9]
[2,1,+,4,0]
[2,0,+,4,1]
[1,9,+,4,2]
[1,8,+,4,3]
[1,7,+,4,4]
[1,6,+,4,5]
[1,5,+,4,6]
[1,4,+,4,7]
[1,3,+,4,8]
[1,2,+,4,9]
[1,1,+,5,0]
[1,0,+,5,1]
[8,*,7,+,5]
[7,*,8,+,5]
[9,*,6,+,7]
[6,*,9,+,7]
[7,1,-,1,0]
[7,2,-,1,1]
[7,3,-,1,2]
[7,4,-,1,3]
[7,5,-,1,4]
[7,6,-,1,5]
[7,7,-,1,6]
[7,8,-,1,7]
[7,9,-,1,8]
[8,0,-,1,9]
[8,1,-,2,0]
[8,2,-,2,1]
[8,3,-,2,2]
[8,4,-,2,3]
[8,5,-,2,4]
[8,6,-,2,5]
[8,7,-,2,6]
[8,8,-,2,7]
[8,9,-,2,8]
[9,0,-,2,9]
[9,1,-,3,0]
[9,2,-,3,1]
[9,3,-,3,2]
[9,4,-,3,3]
[9,5,-,3,4]
[9,6,-,3,5]
[9,7,-,3,6]
[9,8,-,3,7]
[9,9,-,3,8]
[9,*,7,-,2]
[7,*,9,-,2]
[8,*,8,-,3]
[size=90,time=0]
90= searching...
89-[1,2,2,/,2]=10.4287-max(none,-1)+sec(0)
88-[1,8,3,/,3]=6.59461-max([1,2,2,/,2],10.4287)+sec(0)
87-[2,4,4,/,4]=10.7119-max([1,2,2,/,2],10.4287)+sec(0)
86-[3,0,5,/,5]=5.50067-max([2,4,4,/,4],10.7119)+sec(0)
85-[3,6,6,/,6]=6.05748-max([2,4,4,/,4],10.7119)+sec(0)
84-[4,2,7,/,7]=6.74504-max([2,4,4,/,4],10.7119)+sec(0)
83-[4,8,8,/,8]=8.53621-max([2,4,4,/,4],10.7119)+sec(0)
82-[5,4,9,/,9]=5.59709-max([2,4,4,/,4],10.7119)+sec(0)
81-[7,+,9,*,6]=4.04389-max([2,4,4,/,4],10.7119)+sec(0)
80-[5,+,8,*,7]=4.11917-max([2,4,4,/,4],10.7119)+sec(0)
79-[5,+,7,*,8]=4.16906-max([2,4,4,/,4],10.7119)+sec(0)
78-[7,+,6,*,9]=4.06747-max([2,4,4,/,4],10.7119)+sec(0)
77-[5,1,+,1,0]=6.85984-max([2,4,4,/,4],10.7119)+sec(0)
76-[5,0,+,1,1]=7.03651-max([2,4,4,/,4],10.7119)+sec(0)
75-[4,9,+,1,2]=4.96353-max([2,4,4,/,4],10.7119)+sec(0)
74-[4,8,+,1,3]=4.95153-max([2,4,4,/,4],10.7119)+sec(0)
73-[4,7,+,1,4]=6.52336-max([2,4,4,/,4],10.7119)+sec(0)
72-[4,6,+,1,5]=4.54454-max([2,4,4,/,4],10.7119)+sec(0)
71-[4,5,+,1,6]=4.53615-max([2,4,4,/,4],10.7119)+sec(0)
70-[4,4,+,1,7]=6.56123-max([2,4,4,/,4],10.7119)+sec(0)
69-[4,3,+,1,8]=5.00547-max([2,4,4,/,4],10.7119)+sec(0)
68-[4,2,+,1,9]=4.92203-max([2,4,4,/,4],10.7119)+sec(0)
67-[4,1,+,2,0]=4.64977-max([2,4,4,/,4],10.7119)+sec(0)
66-[4,0,+,2,1]=4.69421-max([2,4,4,/,4],10.7119)+sec(0)
65-[3,9,+,2,2]=7.44574-max([2,4,4,/,4],10.7119)+sec(0)
64-[3,8,+,2,3]=7.31532-max([2,4,4,/,4],10.7119)+sec(0)
63-[3,7,+,2,4]=4.88626-max([2,4,4,/,4],10.7119)+sec(0)
62-[3,6,+,2,5]=4.74002-max([2,4,4,/,4],10.7119)+sec(0)
61-[3,5,+,2,6]=4.75386-max([2,4,4,/,4],10.7119)+sec(0)
60-[3,4,+,2,7]=4.99332-max([2,4,4,/,4],10.7119)+sec(0)
59-[3,3,+,2,8]=7.31745-max([2,4,4,/,4],10.7119)+sec(0)
58-[3,2,+,2,9]=7.59024-max([2,4,4,/,4],10.7119)+sec(0)
57-[3,1,+,3,0]=6.00611-max([2,4,4,/,4],10.7119)+sec(0)
56-[3,0,+,3,1]=6.07822-max([2,4,4,/,4],10.7119)+sec(0)
55-[2,9,+,3,2]=7.67858-max([2,4,4,/,4],10.7119)+sec(0)
54-[2,8,+,3,3]=7.03557-max([2,4,4,/,4],10.7119)+sec(0)
53-[2,7,+,3,4]=4.81636-max([2,4,4,/,4],10.7119)+sec(0)
52-[2,6,+,3,5]=4.74888-max([2,4,4,/,4],10.7119)+sec(0)
51-[2,5,+,3,6]=4.76271-max([2,4,4,/,4],10.7119)+sec(1)
50-[2,4,+,3,7]=4.92343-max([2,4,4,/,4],10.7119)+sec(0)
49-[2,3,+,3,8]=7.11164-max([2,4,4,/,4],10.7119)+sec(0)
48-[2,2,+,3,9]=7.79232-max([2,4,4,/,4],10.7119)+sec(0)
47-[2,1,+,4,0]=4.45816-max([2,4,4,/,4],10.7119)+sec(0)
46-[2,0,+,4,1]=4.5121-max([2,4,4,/,4],10.7119)+sec(0)
45-[1,9,+,4,2]=4.87464-max([2,4,4,/,4],10.7119)+sec(0)
44-[1,8,+,4,3]=4.84586-max([2,4,4,/,4],10.7119)+sec(0)
43-[1,7,+,4,4]=6.58057-max([2,4,4,/,4],10.7119)+sec(0)
42-[1,6,+,4,5]=4.44393-max([2,4,4,/,4],10.7119)+sec(0)
41-[1,5,+,4,6]=4.43554-max([2,4,4,/,4],10.7119)+sec(0)
40-[1,4,+,4,7]=6.63478-max([2,4,4,/,4],10.7119)+sec(0)
39-[1,3,+,4,8]=4.93042-max([2,4,4,/,4],10.7119)+sec(0)
38-[1,2,+,4,9]=4.87758-max([2,4,4,/,4],10.7119)+sec(0)
37-[1,1,+,5,0]=7.02306-max([2,4,4,/,4],10.7119)+sec(0)
36-[1,0,+,5,1]=7.27758-max([2,4,4,/,4],10.7119)+sec(0)
35-[8,*,7,+,5]=4.18261-max([2,4,4,/,4],10.7119)+sec(0)
34-[7,*,8,+,5]=4.16221-max([2,4,4,/,4],10.7119)+sec(0)
33-[9,*,6,+,7]=4.04959-max([2,4,4,/,4],10.7119)+sec(0)
32-[6,*,9,+,7]=3.98156-max([2,4,4,/,4],10.7119)+sec(0)
31-[7,1,-,1,0]=6.46351-max([2,4,4,/,4],10.7119)+sec(0)
30-[7,2,-,1,1]=7.4475-max([2,4,4,/,4],10.7119)+sec(0)
29-[7,3,-,1,2]=4.96425-max([2,4,4,/,4],10.7119)+sec(0)
28-[7,4,-,1,3]=4.86515-max([2,4,4,/,4],10.7119)+sec(0)
27-[7,5,-,1,4]=4.89282-max([2,4,4,/,4],10.7119)+sec(0)
26-[7,6,-,1,5]=4.65841-max([2,4,4,/,4],10.7119)+sec(0)
25-[7,7,-,1,6]=6.71788-max([2,4,4,/,4],10.7119)+sec(0)
24-[7,8,-,1,7]=6.77419-max([2,4,4,/,4],10.7119)+sec(0)
23-[7,9,-,1,8]=4.82423-max([2,4,4,/,4],10.7119)+sec(0)
22-[8,0,-,1,9]=4.59566-max([2,4,4,/,4],10.7119)+sec(0)
21-[8,1,-,2,0]=4.57902-max([2,4,4,/,4],10.7119)+sec(1)
20-[8,2,-,2,1]=7.49373-max([2,4,4,/,4],10.7119)+sec(0)
19-[8,3,-,2,2]=7.1912-max([2,4,4,/,4],10.7119)+sec(0)
18-[8,4,-,2,3]=4.97579-max([2,4,4,/,4],10.7119)+sec(0)
17-[8,5,-,2,4]=4.85407-max([2,4,4,/,4],10.7119)+sec(0)
16-[8,6,-,2,5]=4.58347-max([2,4,4,/,4],10.7119)+sec(0)
15-[8,7,-,2,6]=4.88332-max([2,4,4,/,4],10.7119)+sec(0)
14-[8,8,-,2,7]=6.52143-max([2,4,4,/,4],10.7119)+sec(0)
13-[8,9,-,2,8]=6.12641-max([2,4,4,/,4],10.7119)+sec(0)
12-[9,0,-,2,9]=6.34811-max([2,4,4,/,4],10.7119)+sec(0)
11-[9,1,-,3,0]=4.4906-max([2,4,4,/,4],10.7119)+sec(0)
10-[9,2,-,3,1]=4.84099-max([2,4,4,/,4],10.7119)+sec(0)
9-[9,3,-,3,2]=6.94108-max([2,4,4,/,4],10.7119)+sec(0)
8-[9,4,-,3,3]=6.85568-max([2,4,4,/,4],10.7119)+sec(0)
7-[9,5,-,3,4]=4.76536-max([2,4,4,/,4],10.7119)+sec(0)
6-[9,6,-,3,5]=4.54632-max([2,4,4,/,4],10.7119)+sec(0)
5-[9,7,-,3,6]=4.76753-max([2,4,4,/,4],10.7119)+sec(0)
4-[9,8,-,3,7]=4.77745-max([2,4,4,/,4],10.7119)+sec(0)
3-[9,9,-,3,8]=6.196-max([2,4,4,/,4],10.7119)+sec(0)
2-[9,*,7,-,2]=4.21798-max([2,4,4,/,4],10.7119)+sec(0)
1-[7,*,9,-,2]=4.13454-max([2,4,4,/,4],10.7119)+sec(0)
0-[8,*,8,-,3]=5.66567-max([2,4,4,/,4],10.7119)+sec(0)
Play: 244/4
Answ: !---!
state([],[[2],[0,1,2,3,5,6,7,8,9,+,-,*,(,)],[0,1,2,3,5,6,7,8,9,+,-,*,(,)],[0,1,2,3,5,6,7,8,9,+,-,*,(,)],[4]])
reduced=1
Solved: 27+34