-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathP7.txt
90 lines (90 loc) · 10.8 KB
/
P7.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
((*,(*,*)),((*,*),(*,*))); 5*(a - 1)**2*(2*a - g - 2)**2*(4*a - 3*g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,(*,*)),(*,(*,(*,*)))); 10*(a - 1)*(a - g - 1)*(2*a - g - 2)**2*(4*a - 3*g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,(*,*)),(*,(*,*,*))); -10*(a - 1)*(a - g)*(a - g - 1)*(2*a - g - 2)*(4*a - 3*g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,(*,*)),(*,*,(*,*))); -5*(a - 1)*(a - g)*(2*a - g - 2)*(4*a - 3*g - 4)*(5*a - g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),((*,*),(*,(*,*)))); 2*(a - 1)**2*(2*a - g - 2)*(3*a - 2*g - 3)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),((*,*),(*,*,*))); -2*(a - 1)**2*(a - g)*(3*a - 2*g - 3)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,((*,*),(*,*)))); (a - 1)**2*(2*a - 3*g - 2)*(2*a - g - 2)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,(*,(*,(*,*))))); 2*(a - 1)*(a - g - 1)*(2*a - 3*g - 2)*(2*a - g - 2)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,(*,(*,*,*)))); -2*(a - 1)*(a - g)*(a - g - 1)*(2*a - 3*g - 2)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,(*,*),(*,*))); -3*(a - 1)**2*(a - g)*(4*a - g - 4)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,(*,*,(*,*)))); -(a - 1)*(a - g)*(2*a - 3*g - 2)*(5*a - g - 5)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,(*,*,*,*))); (a - 1)*(a - g)*(2*a - g)*(2*a - 3*g - 2)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,*),(*,(*,*))); -5*(a - 1)**2*(a - g)*(2*a - g - 2)*(16*a - 5*g - 16)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,*),(*,*,*)); 5*(a - 1)**2*(a - g)**2*(16*a - 5*g - 16)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,*,(*,(*,*)))); -(a - 1)*(a - g)*(2*a - g - 2)*(7*a - 3*g - 7)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,*,(*,*,*))); (a - 1)*(a - g)**2*(7*a - 3*g - 7)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,*,*,(*,*))); (a - 1)*(a - g)*(2*a - g)*(9*a - g - 9)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*),(*,*,*,*,*)); -(a - 1)*(a - g)*(2*a - g)*(3*a - g)*(10*a - 11*g - 10)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*,*),((*,*),(*,*))); -5*(a - 1)**2*(a - g)*(2*a - g - 2)*(4*a - 3*g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*,*),(*,(*,(*,*)))); -10*(a - 1)*(a - g)*(a - g - 1)*(2*a - g - 2)*(4*a - 3*g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*,*),(*,(*,*,*))); 10*(a - 1)*(a - g)**2*(a - g - 1)*(4*a - 3*g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*,*),(*,*,(*,*))); 5*(a - 1)*(a - g)**2*(4*a - 3*g - 4)*(5*a - g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*,*),(*,*,*,*)); -5*(a - 1)*(a - g)**2*(2*a - g)*(4*a - 3*g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
((*,*,*,*),(*,(*,*))); 5*(a - 1)*(a - g)*(2*a - g)*(2*a - g - 2)*(4*a - 3*g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,(*,*)),(*,(*,*)))); 2*(a - 1)*(2*a - 5*g - 2)*(2*a - g - 2)**2*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,*),((*,*),(*,*)))); (a - 1)**2*(2*a - 5*g - 2)*(2*a - g - 2)*(8*a - 7*g - 8)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,*),(*,(*,(*,*))))); 2*(a - 1)*(a - g - 1)*(2*a - 5*g - 2)*(2*a - g - 2)*(8*a - 7*g - 8)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,*),(*,(*,*,*)))); -2*(a - 1)*(a - g)*(a - g - 1)*(2*a - 5*g - 2)*(8*a - 7*g - 8)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,*),(*,*),(*,*))); -3*(a - 1)**2*(a - g)*(2*a - 5*g - 2)*(4*a - g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,*),(*,*,(*,*)))); -(a - 1)*(a - g)*(2*a - 5*g - 2)*(5*a - g - 5)*(8*a - 7*g - 8)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,*),(*,*,*,*))); (a - 1)*(a - g)*(2*a - g)*(2*a - 5*g - 2)*(8*a - 7*g - 8)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,*,*),(*,(*,*)))); -4*(a - 1)*(a - g)*(2*a - 5*g - 2)*(2*a - g - 2)*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,((*,*,*),(*,*,*))); 2*(a - 1)*(a - g)**2*(2*a - 5*g - 2)*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,((*,*),(*,(*,*))))); 4*(a - 1)*(a - 2*g - 1)*(2*a - 5*g - 2)*(2*a - g - 2)*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,((*,*),(*,*,*)))); -4*(a - 1)*(a - g)*(a - 2*g - 1)*(2*a - 5*g - 2)*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,((*,*),(*,*))))); 2*(a - 1)*(a - 2*g - 1)*(2*a - 5*g - 2)*(2*a - 3*g - 2)*(2*a - g - 2)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,(*,(*,(*,*)))))); 4*(a - 2*g - 1)*(a - g - 1)*(2*a - 5*g - 2)*(2*a - 3*g - 2)*(2*a - g - 2)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,(*,(*,*,*))))); -4*(a - g)*(a - 2*g - 1)*(a - g - 1)*(2*a - 5*g - 2)*(2*a - 3*g - 2)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,(*,*),(*,*)))); -6*(a - 1)*(a - g)*(a - 2*g - 1)*(2*a - 5*g - 2)*(4*a - g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,(*,*,(*,*))))); -2*(a - g)*(a - 2*g - 1)*(2*a - 5*g - 2)*(2*a - 3*g - 2)*(5*a - g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,(*,*,*,*)))); 2*(a - g)*(2*a - g)*(a - 2*g - 1)*(2*a - 5*g - 2)*(2*a - 3*g - 2)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,*)),(*,(*,*))); -10*(a - 1)*(a - g)*(2*a - g - 2)**2*(5*a - 2*g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,*),(*,(*,*)))); -4*(a - 1)*(a - g)*(2*a - 5*g - 2)*(2*a - g - 2)*(11*a - 4*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,*),(*,*,*))); 4*(a - 1)*(a - g)**2*(2*a - 5*g - 2)*(11*a - 4*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,*,(*,(*,*))))); -2*(a - g)*(a - 2*g - 1)*(2*a - 5*g - 2)*(2*a - g - 2)*(7*a - 3*g - 7)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,*,(*,*,*)))); 2*(a - g)**2*(a - 2*g - 1)*(2*a - 5*g - 2)*(7*a - 3*g - 7)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,*,*,(*,*)))); 2*(a - g)*(2*a - g)*(a - 2*g - 1)*(2*a - 5*g - 2)*(9*a - g - 9)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,(*,*,*,*,*))); -2*(a - g)*(2*a - g)*(3*a - g)*(a - 2*g - 1)*(2*a - 5*g - 2)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*),((*,*),(*,*))); -35*(a - 1)**2*(a - g)*(2*a - g - 2)**2/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*),(*,(*,(*,*)))); -70*(a - 1)*(a - g)*(a - g - 1)*(2*a - g - 2)**2/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*),(*,(*,*,*))); 70*(a - 1)*(a - g)**2*(a - g - 1)*(2*a - g - 2)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*),(*,*),(*,*)); 15*(a - 1)**2*(a - g)*(2*a - g)*(6*a - g - 6)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*),(*,*,(*,*))); 35*(a - 1)*(a - g)**2*(2*a - g - 2)*(5*a - g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*),(*,*,*,*)); -35*(a - 1)*(a - g)**2*(2*a - g)*(2*a - g - 2)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,((*,*),(*,*)))); -3*(a - 1)*(a - g)*(2*a - 5*g - 2)*(2*a - g - 2)*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,(*,(*,(*,*))))); -6*(a - g)*(a - g - 1)*(2*a - 5*g - 2)*(2*a - g - 2)*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,(*,(*,*,*)))); 6*(a - g)**2*(a - g - 1)*(2*a - 5*g - 2)*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,(*,*),(*,*))); 3*(a - 1)*(a - g)*(2*a - g)*(2*a - 5*g - 2)*(13*a - 2*g - 13)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,(*,*,(*,*)))); 3*(a - g)**2*(2*a - 5*g - 2)*(3*a - 2*g - 3)*(5*a - g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,(*,*,*,*))); -3*(a - g)**2*(2*a - g)*(2*a - 5*g - 2)*(3*a - 2*g - 3)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,*),(*,(*,*))); 20*(a - 1)*(a - g)**2*(2*a - g - 2)*(5*a - 2*g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,*),(*,*,*)); -10*(a - 1)*(a - g)**3*(5*a - 2*g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,*,(*,(*,*)))); 4*(a - g)*(2*a - g)*(2*a - 5*g - 2)*(2*a - g - 2)*(4*a - g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,*,(*,*,*))); -4*(a - g)**2*(2*a - g)*(2*a - 5*g - 2)*(4*a - g - 4)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,*,*,(*,*))); -(a - g)*(2*a - g)*(3*a - g)*(2*a - 5*g - 2)*(14*a - g - 14)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,(*,*,*,*,*,*)); (a - g)*(2*a - g)*(3*a - g)*(4*a - g)*(2*a - 5*g - 2)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,((*,*),(*,(*,*)))); -2*(a - 1)*(a - g)*(2*a - g - 2)*(3*a - 2*g - 3)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,((*,*),(*,*,*))); 2*(a - 1)*(a - g)**2*(3*a - 2*g - 3)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,((*,*),(*,*)))); -(a - 1)*(a - g)*(2*a - 3*g - 2)*(2*a - g - 2)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,(*,(*,(*,*))))); -2*(a - g)*(a - g - 1)*(2*a - 3*g - 2)*(2*a - g - 2)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,(*,(*,*,*)))); 2*(a - g)**2*(a - g - 1)*(2*a - 3*g - 2)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,(*,*),(*,*))); 3*(a - 1)*(a - g)**2*(4*a - g - 4)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,(*,*,(*,*)))); (a - g)**2*(2*a - 3*g - 2)*(5*a - g - 5)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,(*,*,*,*))); -(a - g)**2*(2*a - g)*(2*a - 3*g - 2)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,*),(*,(*,*))); 10*(a - 1)*(a - g)*(2*a - g)*(2*a - g - 2)*(17*a - 4*g - 17)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,*),(*,*,*)); -10*(a - 1)*(a - g)**2*(2*a - g)*(17*a - 4*g - 17)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,*,(*,(*,*)))); (a - g)**2*(2*a - g - 2)*(7*a - 3*g - 7)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,*,(*,*,*))); -(a - g)**3*(7*a - 3*g - 7)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,*,*,(*,*))); -(a - g)**2*(2*a - g)*(9*a - g - 9)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,(*,*,*,*,*)); (a - g)**2*(2*a - g)*(3*a - g)*(11*a - 10*g - 11)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,((*,*),(*,*))); 5*(a - 1)*(a - g)*(2*a - g)*(2*a - g - 2)*(5*a - 2*g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,(*,(*,(*,*)))); 10*(a - g)*(2*a - g)*(a - g - 1)*(2*a - g - 2)*(5*a - 2*g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,(*,(*,*,*))); -10*(a - g)**2*(2*a - g)*(a - g - 1)*(5*a - 2*g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,(*,*),(*,*)); -5*(a - 1)*(a - g)*(2*a - g)*(3*a - g)*(19*a - 2*g - 19)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,(*,*,(*,*))); -5*(a - g)**2*(2*a - g)*(5*a - 2*g - 5)*(5*a - g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,(*,*,*,*)); 5*(a - g)**2*(2*a - g)**2*(5*a - 2*g - 5)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,*,(*,(*,*))); -5*(a - g)*(2*a - g)*(3*a - g)*(2*a - g - 2)*(6*a - g - 6)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,*,(*,*,*)); 5*(a - g)**2*(2*a - g)*(3*a - g)*(6*a - g - 6)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,*,*,(*,*)); (a - g)*(2*a - g)*(3*a - g)*(4*a - g)*(20*a - g - 20)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))
(*,*,*,*,*,*,*); -(a - g)*(2*a - g)*(3*a - g)*(4*a - g)*(5*a - g)/((a - 6)*(a - 5)*(a - 4)*(a - 3)*(a - 2))