regex that matches multiples of 7

gistfile1.txt

^([70]*|([18]|[70]*[18])(5?|4[70]*[18])*(4|4[70]*)|([92]|[70]*[92]|([18]|[70]*[1
8])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70
]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|4
[70]*))|(3|[70]*3|([18]|[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([92]|[70]*[92]
|([18]|[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]
*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70
]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]
*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[
92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18]
[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(5|5[70]*|(6|5[70]*[18])(5?|4[70]*[18
])*(4|4[70]*)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|
[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([18]|[18][70]
*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|4[70]*)))|(4|[70]*4|([18]|[70]*[18])(5?
|4[70]*[18])*([18]|4[70]*4)|([92]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[18])*(6|4
[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))
*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(3|[70]*3|([1
8]|[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([92]|[70]*[92]|([18]|[70]*[18])(5?|
4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])
*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3
)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|
(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[1
8])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[
18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)
|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]
|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70
]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70
]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5
|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3
|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[
18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[7
0]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[
92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70
]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[7
0]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70
]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*
[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18
][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([92]|[92][70]*|(3|[92][70]*[18])(5
?|4[70]*[18])*(4|4[70]*)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[
70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*
([18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|4[70]*))|(5|[92][70]*3|(3
|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[
18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[7
0]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[
92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70
]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[7
0]*[18])*([70]|4[70]*3)))*(5|5[70]*|(6|5[70]*[18])(5?|4[70]*[18])*(4|4[70]*)|([7
0]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([9
2]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][70]*
[18])(5?|4[70]*[18])*(4|4[70]*))))|(5|[70]*5|([18]|[70]*[18])(5?|4[70]*[18])*([9
2]|4[70]*5)|([92]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[
18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|(
[92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(3|[70]*3|([18]|[70]*[18])(5?
|4[70]*[18])*([70]|4[70]*3)|([92]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[18])*(6|4
[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))
*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*
3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18
])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]
*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|([70]|5[70]*[92]|(
6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18
])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[1
8])*([92]|4[70]*5)))|(4|[70]*4|([18]|[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([
92]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|(
[92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*
[18])(5?|4[70]*[18])*([18]|4[70]*4))|(3|[70]*3|([18]|[70]*[18])(5?|4[70]*[18])*(
[70]|4[70]*3)|([92]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?
|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3
|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18
])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*
(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[9
2]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[
70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18
])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]
*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4
[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(4|[92]
[70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92
]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18
])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])
*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92])
)(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][7
0]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]
*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[1
8])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92
]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]
*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4
[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([1
8]|4[70]*4))))*([70]|[92][70]*5|(3|[92][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|
(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[9
2]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][
70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70
]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4
|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(
6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4
[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*
(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)
))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|([70]|5[70]*[92]|(6|5
[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(
5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])
*([92]|4[70]*5)))))(4?|6[70]*5|([70]|6[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|(
[18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92
]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][7
0]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|([92]|6[70]*3|([70]|6[70]*[18])(5?|4[70]
*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]
*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|
[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6
|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3))
)*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|([70]|5[70]*[92]|(6|5[
70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*
([92]|4[70]*5)))|(3|6[70]*4|([70]|6[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([18
]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|(
[92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*
[18])(5?|4[70]*[18])*([18]|4[70]*4))|([92]|6[70]*3|([70]|6[70]*[18])(5?|4[70]*[1
8])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[9
2]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18
][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[
70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]
*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4
[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(
[92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[
70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*
([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|
(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[9
2]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][
70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70
]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4
|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(
6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4
[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*
(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)
))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(
6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18
])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[1
8])*([18]|4[70]*4))))*([70]|[92][70]*5|(3|[92][70]*[18])(5?|4[70]*[18])*([92]|4[
70]*5)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18]
[70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92
]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(5|[92][70]*3|(3|[92][70]*[18])(
5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*
(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[9
2]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[
70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18
])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]
*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4
[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|([70]|5[70]*[9
2]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]
*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70
]*[18])*([92]|4[70]*5)))))*(6|6[70]*|([70]|6[70]*[18])(5?|4[70]*[18])*(4|4[70]*)
|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[
92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[1
8][70]*[18])(5?|4[70]*[18])*(4|4[70]*))|([92]|6[70]*3|([70]|6[70]*[18])(5?|4[70]
*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]
*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|
[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6
|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3))
)*(5|5[70]*|(6|5[70]*[18])(5?|4[70]*[18])*(4|4[70]*)|([70]|5[70]*[92]|(6|5[70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[7
0]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|
4[70]*)))|(3|6[70]*4|([70]|6[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([18]|6[70]
*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[1
8][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5
?|4[70]*[18])*([18]|4[70]*4))|([92]|6[70]*3|([70]|6[70]*[18])(5?|4[70]*[18])*([7
0]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?
|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3
|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18
])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*
(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[9
2]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[
70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18
])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]
*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4
[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(4|[92]
[70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92
]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18
])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])
*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92])
)(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][7
0]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]
*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[1
8])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92
]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]
*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4
[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([1
8]|4[70]*4))))*([92]|[92][70]*|(3|[92][70]*[18])(5?|4[70]*[18])*(4|4[70]*)|(4|[9
2][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([
92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][70]
*[18])(5?|4[70]*[18])*(4|4[70]*))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])
*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92])
)(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][7
0]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]
*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[1
8])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(5|5
[70]*|(6|5[70]*[18])(5?|4[70]*[18])*(4|4[70]*)|([70]|5[70]*[92]|(6|5[70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18
])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|4[70]*
)))))|(6|[70]*6|([18]|[70]*[18])(5?|4[70]*[18])*(3|4[70]*6)|([92]|[70]*[92]|([18
]|[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*
[18])*(3|4[70]*6))|(3|[70]*3|([18]|[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([92
]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([9
2]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[1
8])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*
([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?
|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3
|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(4|5[70]*6|(6|5[70]*[18])(
5?|4[70]*[18])*(3|4[70]*6)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[7
0]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(
[70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6)))|(4|[70]*4|([18
]|[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([92]|[70]*[92]|([18]|[70]*[18])(5?|4
[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*
(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)
)|(3|[70]*3|([18]|[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([92]|[70]*[92]|([18]
|[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18]
)*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([
70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([
92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[
18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])
*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3
?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*
4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70
]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70
]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|
4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(
5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3
|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*
[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3
)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92
]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][7
0]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[
18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]
))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][
70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([18]|[92][70]*6|(3|
[92][70]*[18])(5?|4[70]*[18])*(3|4[70]*6)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|
4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])
*(6|4[70]*[92]))*([70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6
))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92
]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][7
0]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[
70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[7
0]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]
*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[1
8][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(4|5[70]*6|(6|5[70]*[18])(5?|4[70]*
[18])*(3|4[70]*6)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))
(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18]
[70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6))))|(5|[70]*5|([18]|[70]*[
18])(5?|4[70]*[18])*([92]|4[70]*5)|([92]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[18
])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]
*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(3|[70
]*3|([18]|[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([92]|[70]*[92]|([18]|[70]*[1
8])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70
]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|
4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70
]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18]
[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|
4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[70
]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*
[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18
][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))|(4|[70]*4|([18]|[70]*[18])(5?|4[70]*
[18])*([18]|4[70]*4)|([92]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[18])*(6|4[70]*[9
2]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18
][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(3|[70]*3|([18]|[70]
*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([92]|[70]*[92]|([18]|[70]*[18])(5?|4[70]*[
18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[7
0]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18
]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70
]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|
4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([
70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|
5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|
[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])
(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70]*[18])
*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92])
)(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][7
0]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3|[92][7
0]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[7
0]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6
|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))
([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|
5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18]
)*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([
70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([
92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[
18])(5?|4[70]*[18])*([18]|4[70]*4))))*([70]|[92][70]*5|(3|[92][70]*[18])(5?|4[70
]*[18])*([92]|4[70]*5)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6
|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(5|[92][70]*3|(3
|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[
18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[7
0]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[
92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70
]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[7
0]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5
)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92
]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][7
0]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))))(4?|6[70]*5|([70]|6[70]*[18])(5?|4[70]
*[18])*([92]|4[70]*5)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]
*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|
[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|([92]|6[70]*3|([7
0]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18])(
5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[1
8])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70
]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[9
2]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]
*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70
]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)
|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]
|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][70
]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))|(3|6[70]*4|([70]|6[70]*[18])(5?|4[70]*[1
8])*([18]|4[70]*4)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[9
2]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18
][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|([92]|6[70]*3|([70]|
6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|
4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])
*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3
)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|
(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[1
8])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[
18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)
|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]
|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70
]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70
]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5
|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3
|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[
18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[7
0]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[
92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70
]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[7
0]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70
]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*
[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18
][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([70]|[92][70]*5|(3|[92][70]*[18])(
5?|4[70]*[18])*([92]|4[70]*5)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*
(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[9
2]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(5|[92][7
0]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70
]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|
4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([
70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|
5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|
[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])
(5?|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|
4[70]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][
70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]
|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))))*(5|6[70]*6|([70]|6[70]*[18])(5
?|4[70]*[18])*(3|4[70]*6)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4
[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))
*([70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6))|([92]|6[70]*3
|([70]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[1
8])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70
]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|
4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70
]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18]
[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|
4[70]*[18])*([70]|4[70]*3)))*(4|5[70]*6|(6|5[70]*[18])(5?|4[70]*[18])*(3|4[70]*6
)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92
]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18][70]*6|([92]|[18
][70]*[18])(5?|4[70]*[18])*(3|4[70]*6)))|(3|6[70]*4|([70]|6[70]*[18])(5?|4[70]*[
18])*([18]|4[70]*4)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[
92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[1
8][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|([92]|6[70]*3|([70]
|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?
|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18]
)*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*
3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]
|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*
[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4
)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92
]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][7
0]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[7
0]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[7
0]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(
5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(
3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*
[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[
70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*
[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][7
0]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[
70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[7
0]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]
*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[1
8][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([18]|[92][70]*6|(3|[92][70]*[18])
(5?|4[70]*[18])*(3|4[70]*6)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6
|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]
))*([70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6))|(5|[92][70]
*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*
[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70
]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[
70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[1
8][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5
?|4[70]*[18])*([70]|4[70]*3)))*(4|5[70]*6|(6|5[70]*[18])(5?|4[70]*[18])*(3|4[70]
*6)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[
92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18][70]*6|([92]|[
18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6))))))([92]?|3[70]*6|(4|3[70]*[18])(5?|4[
70]*[18])*(3|4[70]*6)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92])
)(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18
][70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6))|(6|3[70]*3|(4|3[70]*[18
])(5?|4[70]*[18])*([70]|4[70]*3)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(6|
4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92])
)*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]
*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(
5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[1
8])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70
]*3)))*(4|5[70]*6|(6|5[70]*[18])(5?|4[70]*[18])*(3|4[70]*6)|([70]|5[70]*[92]|(6|
5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*[
18])*(3|4[70]*6)))|([70]|3[70]*4|(4|3[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(5
|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]
|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18]
)(5?|4[70]*[18])*([18]|4[70]*4))|(6|3[70]*3|(4|3[70]*[18])(5?|4[70]*[18])*([70]|
4[70]*3)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]
*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[1
8][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[7
0]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*
[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[
18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|
5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[7
0]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6
|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)))
)(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]
|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70
]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[7
0]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[
70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18]
[70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92
]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?
|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[
70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*
(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4
|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?
|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18]
)*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*
4))))*([18]|[92][70]*6|(3|[92][70]*[18])(5?|4[70]*[18])*(3|4[70]*6)|(4|[92][70]*
[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18
][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18][70]*6|([92]|[18][70]*[18])
(5?|4[70]*[18])*(3|4[70]*6))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70
]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|
[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|
([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18]
)(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92
]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(4|5[70]*
6|(6|5[70]*[18])(5?|4[70]*[18])*(3|4[70]*6)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4
[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*
(6|4[70]*[92]))*([70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6)
)))|([18]|3[70]*5|(4|3[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|(5|3[70]*[92]|(4|
3[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18]
)*([92]|4[70]*5))|(6|3[70]*3|(4|3[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(5|3[7
0]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18
][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?
|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|
4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][
70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]
|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[7
0]*[18])*([92]|4[70]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*
[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[
18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))|([70]|3[70]*4|(4|
3[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*
[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[
70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(6|
3[70]*3|(4|3[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(5|3[70]*[92]|(4|3[70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*
[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[
70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*
[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][7
0]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[
70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[7
0]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]
*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[1
8][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?
|4[70]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6
|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]
))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]
*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*
[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70
]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[
70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[1
8][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5
?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]
|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18]
[70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92
]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([70]|[92][70]*5|(3|[92][70]*[
18])(5?|4[70]*[18])*([92]|4[70]*5)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[
18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[7
0]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(5|[
92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[9
2][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18
])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(
[70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|(
[92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*
[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*(
[92]|4[70]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|
[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|
([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))))(4?|6[70]*5|([70]|6[70]*[1
8])(5?|4[70]*[18])*([92]|4[70]*5)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[1
8])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|([92]
|6[70]*3|([70]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|
6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])
(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18]
)*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([
70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([
92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[
18])(5?|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([
92]|4[70]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[
18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|(
[92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))|(3|6[70]*4|([70]|6[70]*[18])
(5?|4[70]*[18])*([18]|4[70]*4)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])
*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[
92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|([92]|6[
70]*3|([70]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[7
0]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?
|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*(
[70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]
|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]
|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18]
)(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([
18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[
18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|(
[92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[
18])(5?|4[70]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[
18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[7
0]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[
92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[9
2][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18
])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(
[70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|(
[92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*
[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18]
)*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(
3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]
*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([70]|[92][70]*5|(3|[92
][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|
4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])
*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5
))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92
]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][7
0]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[
70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[7
0]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]
*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[1
8][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*
[18])*([92]|4[70]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92
]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18]
[70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))))*(5|6[70]*6|([70]|6
[70]*[18])(5?|4[70]*[18])*(3|4[70]*6)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70
]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|
4[70]*[92]))*([70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6))|(
[92]|6[70]*3|([70]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([
70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*
[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3
)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92
]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][7
0]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(4|5[70]*6|(6|5[70]*[18])(5?|4[70]*[18]
)*(3|4[70]*6)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|
[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18][70]
*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6)))|(3|6[70]*4|([70]|6[70]*[18]
)(5?|4[70]*[18])*([18]|4[70]*4)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18]
)*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*
[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|([92]|6
[70]*3|([70]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[
70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*
([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70
]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92
]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18
])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*(
[18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|
[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|
([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*
[18])(5?|4[70]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*
[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[
70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|
[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[
92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18
])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[1
8])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|
([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|
([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]
*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18
])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))
(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70
]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([18]|[92][70]*6|(3|[9
2][70]*[18])(5?|4[70]*[18])*(3|4[70]*6)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))*([70]|[18][70]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6))
|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|
(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]
*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70
]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]
*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[
92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18]
[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(4|5[70]*6|(6|5[70]*[18])(5?|4[70]*[1
8])*(3|4[70]*6)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3
?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([70]|[18][7
0]*6|([92]|[18][70]*[18])(5?|4[70]*[18])*(3|4[70]*6))))))*(3|3[70]*|(4|3[70]*[18
])(5?|4[70]*[18])*(4|4[70]*)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([
18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|4[70]*))|(6|3[70]*3|(4|3[70
]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18]
)*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*
[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|
5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[7
0]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]
|4[70]*3)))*(5|5[70]*|(6|5[70]*[18])(5?|4[70]*[18])*(4|4[70]*)|([70]|5[70]*[92]|
(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[1
8])(5?|4[70]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]
*[18])*(4|4[70]*)))|([70]|3[70]*4|(4|3[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(
5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92
]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18
])(5?|4[70]*[18])*([18]|4[70]*4))|(6|3[70]*3|(4|3[70]*[18])(5?|4[70]*[18])*([70]
|4[70]*3)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70
]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[
18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[
70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]
*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|
[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6
|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))
))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(4|[92][70]*[92
]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][7
0]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[
70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4
[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18
][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([9
2]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5
?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4
[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))
*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*
4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18
])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]
*4))))*([92]|[92][70]*|(3|[92][70]*[18])(5?|4[70]*[18])*(4|4[70]*)|(4|[92][70]*[
92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18]
[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][70]*[18])(5
?|4[70]*[18])*(4|4[70]*))|(5|[92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4
[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18
][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([9
2]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5
?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4
[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))
*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(5|5[70]*|(6
|5[70]*[18])(5?|4[70]*[18])*(4|4[70]*)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*
[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[
70]*[92]))*([18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|4[70]*))))|([1
8]|3[70]*5|(4|3[70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)|(5|3[70]*[92]|(4|3[70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[7
0]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]
|4[70]*5))|(6|3[70]*3|(4|3[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(5|3[70]*[92]
|(4|3[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*
[18])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3
)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92
]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][7
0]*[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18]
)*([92]|4[70]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(
3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]
*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))|([70]|3[70]*4|(4|3[70]*[
18])(5?|4[70]*[18])*([18]|4[70]*4)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92
]))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(6|3[70]*3
|(4|3[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(5|3[70]*[92]|(4|3[70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3))
)([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6
|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18
])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(
[70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|(
[92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*
[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70]*
[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*
[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[
18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3|[
92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18
])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]
*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92
]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*
[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]
*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*
4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[9
2]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][
70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([70]|[92][70]*5|(3|[92][70]*[18])(5?
|4[70]*[18])*([92]|4[70]*5)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6
|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]
))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(5|[92][70]
*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*
[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70
]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[
70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[1
8][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5
?|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[
70]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70
]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[
18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))))(4?|6[70]*5|([70]|6[70]*[18])(5?|
4[70]*[18])*([92]|4[70]*5)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|
4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92])
)*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|([92]|6[70]*
3|([70]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[7
0]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]
|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[7
0]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18
][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?
|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*([92]|4[7
0]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]
*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|([92]|[1
8][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))|(3|6[70]*4|([70]|6[70]*[18])(5?|4[7
0]*[18])*([18]|4[70]*4)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[7
0]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(
5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|([92]|6[70]*3|(
[70]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*
[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[
70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*
[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][7
0]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[
70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[7
0]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]
*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[1
8][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?
|4[70]*[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6
|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]
))*(5|[18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]
*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*
[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70
]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[
70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[1
8][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5
?|4[70]*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]
|4[70]*4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18]
[70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92
]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([70]|[92][70]*5|(3|[92][70]*[
18])(5?|4[70]*[18])*([92]|4[70]*5)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[
18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[7
0]*[92]))*(6|[18][70]*5|([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5))|(5|[
92][70]*3|(3|[92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[9
2][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18
])*([70]|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(
[70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|(
[92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*
[18])(5?|4[70]*[18])*([70]|4[70]*3)))*(3|5[70]*5|(6|5[70]*[18])(5?|4[70]*[18])*(
[92]|4[70]*5)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|
[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(6|[18][70]*5|
([92]|[18][70]*[18])(5?|4[70]*[18])*([92]|4[70]*5)))))*(6|6[70]*|([70]|6[70]*[18
])(5?|4[70]*[18])*(4|4[70]*)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92
]))*([18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|4[70]*))|([92]|6[70]*
3|([70]|6[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[
18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[7
0]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]
|4[70]*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[7
0]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18
][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?
|4[70]*[18])*([70]|4[70]*3)))*(5|5[70]*|(6|5[70]*[18])(5?|4[70]*[18])*(4|4[70]*)
|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]
|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][
70]*[18])(5?|4[70]*[18])*(4|4[70]*)))|(3|6[70]*4|([70]|6[70]*[18])(5?|4[70]*[18]
)*([18]|4[70]*4)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]
))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][
70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|([92]|6[70]*3|([70]|6[
70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([18]|6[70]*[92]|([70]|6[70]*[18])(5?|4[
70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(
6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3))
)([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92]|(6
|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18]
)(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18
])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*4)|(
[70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|(
[92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][70]*
[18])(5?|4[70]*[18])*([18]|4[70]*4))))(6?|[92][70]*4|(3|[92][70]*[18])(5?|4[70]*
[18])*([18]|4[70]*4)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70]*
[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[
18][70]*4|([92]|[18][70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))|(5|[92][70]*3|(3|[
92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18
])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]
*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92
]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*
[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]
*[18])*([70]|4[70]*3)))*([92]|5[70]*4|(6|5[70]*[18])(5?|4[70]*[18])*([18]|4[70]*
4)|([70]|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[9
2]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(5|[18][70]*4|([92]|[18][
70]*[18])(5?|4[70]*[18])*([18]|4[70]*4))))*([92]|[92][70]*|(3|[92][70]*[18])(5?|
4[70]*[18])*(4|4[70]*)|(4|[92][70]*[92]|(3|[92][70]*[18])(5?|4[70]*[18])*(6|4[70
]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([
18]|[18][70]*|([92]|[18][70]*[18])(5?|4[70]*[18])*(4|4[70]*))|(5|[92][70]*3|(3|[
92][70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|(4|[92][70]*[92]|(3|[92][70]*[18])(5
?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*[18])(5?|4[70]*[18
])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]*[18])*([70]|4[70]
*3)))([18]?|5[70]*3|(6|5[70]*[18])(5?|4[70]*[18])*([70]|4[70]*3)|([70]|5[70]*[92
]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]|[18][70]*
[18])(5?|4[70]*[18])*(6|4[70]*[92]))*(4|[18][70]*3|([92]|[18][70]*[18])(5?|4[70]
*[18])*([70]|4[70]*3)))*(5|5[70]*|(6|5[70]*[18])(5?|4[70]*[18])*(4|4[70]*)|([70]
|5[70]*[92]|(6|5[70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))(3?|[18][70]*[92]|([92]
|[18][70]*[18])(5?|4[70]*[18])*(6|4[70]*[92]))*([18]|[18][70]*|([92]|[18][70]*[1
8])(5?|4[70]*[18])*(4|4[70]*)))))))$