Fermat's Last Theorem Is this the marvelous proof?
Daniele De Pedis - INFN-Roma1-Italy [email protected]
Paulo Ribenboin in the preface of his book “Fermat’s Last Theorem for Amateurs” wrote[1]: “You may feel tempted to write your own (simpler) proof of Fermat’s last theorem. I have strong views about such a project. It should be written in the Constitution of States and Nations, in the Chapter of Human Rights: It is an inalienable right of each individual to produce his or her own proof of Fermat’s last theorem. However, such a solemn statement about Fermat’s last theorem (henceforth referred to as THE theorem) should be tempered by the following articles: Art. 1. No attempted proof of THE theorem should ever duplicate a previous one. Art. 2. It is a criminal offense to submit false proofs of THE theorem to professors who arduously earn their living by teaching how not to conceive false proofs of THE theorem. Infringement of the latter, leads directly to Hell. Return to Paradise only after the said criminal has understood and is able to reproduce Wiles’ proof. (Harsh punishment)”. I would add the following article:
Art. 3 The punishment is idle for the first attempt. Then: a) The present paper is my first attempt, then I ask the application of Art. 3. b) At my present known this is an original procedure, then according Art.1 c) Is my hope not violating the Art. 2
1
Introduction In 1637 Pierre de Fermat wrote in the margins of a copy of Diophantus’s Arithmetical, the book where he used to write many of his famous theories [3]: "It is impossible to separate a cube into two cubes or a fourth power into two
fourth powers or, in general, all the major powers of two as the sum of the same power. I have discovered a truly marvelous proof of this theorem, which can’t be contained in the too narrow page margin"
In other words, the previous expression can be condensed into: the equation:
(1) has no solution for any value of A, B, C, and n integers with n>2.
nnn CBA
The equation (1) is known as Fermat's Last Theorem (FLT). Last, not because it was the last work of Fermat in chronological sense, but because it has remained for over 350 years the Fermat's theorem never solved. In fact, also the same Fermat, although stating the non-solvability of (1) he never provided a complete proof but limited his claim only to the case n = 4. In reality, therefore, it would be more correct to talk about Fermat’s conjecture. Today, many mathematicians have the opinion that Fermat was wrong and did not have a real full demonstration. Others think that Fermat possessed such proof, or at least that he had guessed the way, but, as was his custom, he was so much apathetic that it became lost. In any case, as you wish take a position, the fact remains that for over 350 years all the greatest mathe-maticians have tried to find such proof without success. Only in 1994, after seven years of complete dedication to the problem, Andrew Wiles, who was fascinated by the theorem that as a child dreamed to solve, finally managed to give a demonstration. Since then, we might refer to (1) as Fermat's theorem. However, Wiles used elements of mathematic and modern algebra that Fermat could not know: the demonstration that Fermat claimed to have, if it were correct, then must be so different [4]. In this paper I’ll try to give my contribution proposing a demonstration of Fermat's Last Theorem using a technique certainly within the reach of Fermat himself, and then infer that this is the marvelous proof that Fermat claimed to have. First considerations [1][2] The Fermat's last theorem is a generalization, to be restricted to the field of integers, the Pythagoras’s
theorem, that is nothing else than the (1) when n = 2, that is . 222 CBA
2
Even the ancient Greeks and the Babylonians knew about its integer solutions eg. . 222 543 There are an infinite number of such solutions and are known as Pythagorean triples. In the proof of Fermat’s Last Theorem that we’ll give, will emerge spontaneously even an original procedure to find all the infinite Pythagorean triples, this makes us confident in the goodness of the proposed method of proof (see Appendix B). Before to go in deep in the proof we make some considerations relating to (1).
a) To say that Fermat's theorem is true is equivalent to saying that (1) has never occurred. b) It is sufficient to prove (1) be true for the exponent n = 4 and for every n = p = odd prime. In
fact if the theorem is true for p then it is automatically true for every n = mp being
As mentioned the case of n = 4 was proved directly by Fermat. pmpmpmnn CBABA
c) A, B, C must be such that their Greater Common Divider (GCD) is the unit when taken in pairs ie: GCD (A, B) = GCD (A, C) = GCD (B, C) = 1 and also GCD (A, B, C) = 1. In fact if, for example, there was a integer q such that GCD (A, B) = q then, for (1), it should also be a factor of C (we denote this property by )(mod0 qC ), and then we can simplify (1) introducing new variables, qAA 1
, qBB 1 and qCC 1
and then return to the case of
(1) with . nnn CBA 111 d) Important corollary to the previous property is that the three variables A, B, C, can not all have
the same parity and, moreover, only one can be even following this scheme:
A B C D E odd odd even odd odd even odd odd odd even odd even odd even odd
We'll see that, in reality, other considerations will restrict this possibility only at the first case.
e) Another important corollary of c) is: given D=C-A (2) E=C-B then must be GCD (A+B, C-A)=1 (2a) GCD (A+B, C-B)=1 (2b) GCD (C-A, C-B)=1 (2c) and in particular by the last relation is GCD (D,E)= 1 (2d)
3
In fact, suppose for absurd that the terms A + B, C - A, C - B in 2a, 2b, 2c have a common divisor q then we could write:
qAC mod0 (2e)
qBC mod0 (2f)
qBA mod0 (2g) Summing member to member of the (2e) (2f) and (2d) we obtain
that implies C be divisible by q, that is
qC mod02
which, in turn, for (2e) and (2f), implying
qC mod0
qA mod0 qB mod0
that both A and B would be divisible by q, this contradicts the claim of GCD (A, B) = 1 in point c). Similar considerations lead to the absurd that GCD (A, C) = q and GCD (B, C) = q. The absurdity is avoided considered valid (2a) (2b) (2c) and in particular the (2d).
4
Demonstration of FLT From (1) and (2) we have
nnnnn CECDCBA (3) with n = p = prime number ≥ 3 and developing the powers of binomials
knn
k
kn
k
knn
k
knkn
k
kn CDCCDDC
10
11 (4)
knn
k
kn
k
knknn
k
kn
k
kn CECCEEC
10
11 (5)
where for convenience we have released the first term under the sign of summation. Substituting (4) and (5) in (3) we obtain the fundamental relationship
n
k
knkkn
k
knnC CEDCP
1),( 01 (6)
The (6) is the expression of a polynomial in C, homogeneous of degree n, with integer coefficients and alternate signs. The fundamental theorem of algebra(*) assures us that there are n roots of (6) which can be: separate, (partially) overlap, integer, real or complex conjugates. The latter case (complex conjugated roots) is a particular aspect of our demonstration but we do not take into account because the complex numbers could not be known by Fermat having been introduced by Gauss only 150 years after Fermat's statement concerning the (1). Here, what interests us are the possible integer roots of (6), in fact, given D, E and n, if we could find any integer solution into whole root’s array then, using (2), we could get A and B, and then disprove Fermat's Theorem. Equivalently we can state the following
Lemma 1: given any integer D, E, and n such that GCD (D, E) = 1 and n ≥ 3, showing that (6) does not admit integer solutions for the variable C is equivalent to proof that Fermat's theorem is true ! !
Moreover the fundamental theorem of algebra assures us that the polynomial in (6) can be expressed as
01
),(
n
iinC CCP (7)
Where Ci are the roots of (6). In order that (6) and (7) are equal, it is necessary and sufficient that the coefficients of the terms of same degree in C are equal.
(*) see Fine, Benjamin; Rosenber, Gerhard (1997), The Fundamental Theorem of Algebra, Undergraduate Texts in Mathematics, Berlin: Springer-Verlag,
5
Expanding (6) and (7) in their terms, we get
0.... 11
1
222
2
1
1),(
nnnnn
n
nn
nn
nnC EDCEDCEDCEDCP (6a)
01211
121
21
21
21
1
1
21
1
1211
nnn
n
iiiii
n
iiiii
nn
iiii
nn
ii
n
nn
n
iinC
CCCCCCCCCCCCCC
CCCCCCCCCCP
.........
...
...
),(
(7a)
The (7a) shows that the development of (7) leads to an expression which is the sum, with alternate signs, of terms with decreasing powers in C and whose coefficients are the sum of all the products of Ci , selected with growing indexes, that are all their permutations without repetition(*). Also note that the last term is always given by the product of the n roots Ci. Equating the coefficients of terms of equal degree in (6a) and (7a) we arrive at the following fundamental system of equations (also known as Viete’s formula);
n
ii
n
CEDnED11
1
1 (8a)
n
iiii
n
CCED21
21
22
2 (8b)
…
n
iiiiii
nnnnn
nn
nCCCEDnED
121
121...
1111
1... (8c)
n1n21 iiii
nn CC...CCED
(8d)
Preliminarily we make some general remarks on (8):
Members in the left side of (8) are all integer. The values of Ci are all positive. This will be ensured by the alternation of the signs of the
coefficients of (6) and (6a )(**).
(*) As example, see also the following equations (12) for case n = 3 and (15) for case n = 5 and Appendices C and D. (**)The Descartes' rule of signs is a useful tool to assess the number of positive and/or negative roots of a polynomial of degree n. The policy works as follows: we write the sequence of non-zero coefficients of the polynomial, then we count how many variations of sign there are. The number of positive real roots (counted with multiplicity) is equal to the number of sign changes.
6
If one of Ci is integer (ie. the theorem is disproved), then all the other roots must be integer, too. Indeed, suppose that C1 is integer and are real, that is:
1jC jJC int1jC ,
Where CintJ are the integer parts of the and 0 <jC j < 1 the fractional part of them, so that
their sum (8a) is an integer, must be
n
i
n
jj
n
jji CCC
1 22int1 = integer where itself must be integer.
n
jj
2
It follows that in (8d) we have
n
i
n
jjCCi
nn
jjPCED
1 2,, int1
where is a polynomial that depends
from C1, CintJ and j while the quantity can never be integer, then the (8d)
never integer, too, for any > 0.
jjCCP ,, int1
j 1
n
j 2
0
The solutions of complex roots, that is: ibaCi and ibaCi could effectively
meet the (8) but, as we said, we exclude these solutions because the imaginary numbers were introduced in the nineteenth century and could not be known by Fermat(*).
The roots can not be all equal, in fact in this case, called Ck that root, from (8a) we’ll have
while from (8d) knCEDn nk
nn CED then the impossible equality
ED .
nn ED n
From (8a) and (8b), irrespective of n, we have
fnCfED i ),( (9a)
gnCgED i ),(22 (9b)
Where f and g are functions that include the sum and the binomial coefficient on its left side members of (8). Keeping E (D) from (9a) and substituting in (9b) we obtain
gDfD 22 gEEf 22 (10a)
022 22 gfDfD 022 22 gfEfE (10b)
fD2
1 fE
2
1 (10c)
(*) It is worth mentioning that Cauchy and Lame tried to demonstrate the Fermat's Last Theorem by using complex numbers, a procedure which, however, Kummer proved to be wrong. In their attempt such complex numbers were the tool to demonstrate the FLT, in our demonstration vice versa complex numbers are just the product of the demonstration, thus they can be considered as a special case.
7
ith W 222 22 fggff
MCD (D,E)=1 must be being ED then from (10c) we put
222
1
ffD (10d)
222
1
ffE (10e)
hat is, D and E are the sum and difference of two equal amounts and then follows the important
Lemma 2:
T
D and E have the same parity(*) and must both be odd, then in (8) all terms (Di + Ei) must be even.
e will see that the condition D and E both odd is incompatible to satisfy all the relations (8), that is
Lemma 3:
Wwe arrive to the following
If D and E, as defined in (2), are both odd then at least one of the n relations of (8) will not be satisfied whatever the integer values of Ci. It follows that no integer roots of (6) exist, and then, by Lemma 1, the Fermat's Last Theorem has been verified.
his last statement will be verified by analyzing a few cases, and then extended by the principle of
Tinduction, demonstrating the entire FLT.
(*) from (10d) and (10e) we can extract the following table of parity:
2f 2
D E D+E
even even even even even * odd odd odd odd even odd even odd odd even odd odd even even even *
Note that the quantity D + E is always even, but the case marked with a * can not exist because D = even and E = even contradicts the requirement that GCD (D, E) = 1.
8
Case n=3 n = 3 is the first case to be addressed to show that Fermat's Last Theorem is true. Resume (6a) and (7a) for n = 3 and expanding the members on the right side
0331 333
222333
3)3,(
EDCEDCEDCCEDCP kkkk
C1 k k
(11)
03213231212
3213
321
3
1)3,(
CCCCCCCCCCCCCCC
CCCCCCCCPi
iC
(12)
And equating the coefficients of terms with the same power we obtain the system of equations
3213 CCCED (13a)
323121223 CCCCCCED (13b)
32133 CCCED (13c)
Where, as usual, Ci are the roots of (11). To the relations of system (13) we can apply all the considerations of the preceding paragraphs and in particular, by Lemma 2, the (13a) must be: 3213 CCCED = Even Number
that can be achieved in two ways:
1. All the Ci are even 2. One even C and two odd C. Suppose, without loss of generality, C1=even, while C2=odd and
C3=odd Case 1) satisfies (13a) but not (13b). In fact, in right side there would be a factor 4 (due to the product of two even numbers) while on the left side the sum of the squares of two odd numbers can never be divided by 4 (see Appendix A). The case 2) satisfies (13a) but not (13b). In fact, the term C2 C3 is odd, making odd the entire terms on the right hand that, by Lemma 2, must be even. Any other permutation of the indexes leads to the same result. This exhausts all possible cases, showing that (11) admits no integer solutions for the variable C for any value of D and E odd integers, then by Lemma 3:
if n=3 then Fermat's Last Theorem is true
9
Case n=5 Again we take the (6a) and (7a) expanding the members on the right side for n = 5
0510105 554423332245)5,( EDCEDCEDCEDCEDCP C
(14)
054321
54325431542153214321
2543542532432
541531431521421321
354534352423251413121
454321
5
54321
5
1)5,(
CCCCC
CCCCCCCCCCCCCCCCCCCCC
CCCCCCCCCCCCC
CCCCCCCCCCCCCCCCCC
CCCCCCCCCCCCCCCCCCCCC
CCCCCC
C
CCCCCCCCCCCCPi
iC
(15)
then equating the coefficients of terms with the same power is obtained the system of equations
ED 5 = 54321 CCCCC (16a)
2210 ED = 52423251413121 CCCCCCCCCCCCCC
+ 545343 CCCCCC (16b)
3310 ED = 541531431521421321 CCCCCCCCCCCCCCCCCC
543542532432 CCCCCCCCCCCC (16c)
445 ED = 54325431542153214321 CCCCCCCCCCCCCCCCCCCC (16d)
55 ED = 54321 CCCCC (16e)
Where, as usual, the Ci are the roots of (14). Again, at the relations of the system (16) we can apply all the considerations of the preceding
10
paragraphs and in particular, by Lemma 2, the (16a) must be: ED 5 = = Even Number 54321 CCCCC
that can be achieved in three ways:
1. All the Ci are even 2. Three C are even and two odd. Let C1 C2 C3 even and C4 C5 odd. 3. One C even and four odd. Let C1 even and C2 C3 C4 C5 odd
Case 1) satisfies (16a) but not (16d). Indeed we would have a factor 16 (due to the product of four even numbers) while on the left side the sum of fourth powers of two odd numbers can never be divided by 4 (see Appendix A) and then, moreover, never divisible by 16. The case 2) satisfies (16a) but not (16b). Indeed the term C4 C5 is odd, making odd the entire terms on the right hand that, vice versa by Lemma 2, must be even. The case 3) satisfies (16a) but not (16d). Indeed the term C2C3C4C5 is odd, making odd the entire terms on the right hand that, vice versa by Lemma 2, must be even. Any other permutation of the indexes leads to the same result. This exhausts all possible cases, showing that (14) admits no integer solutions for the variable C for any value D and E odd integers, then by Lemma 3:
if n=5 then Fermat's Last Theorem is true
11
Case n=p=prime number We have seen that in the examples where n = 3 and n = 5(*) there is no combinations of the n integer roots that can simultaneously satisfy all the n equations (8). For a full demonstration of Fermat's Last Theorem we must to verify that this is true for any n = prime. For convenience we rewrite the fundamental system of equations (8).
n
iiCEDn
11
1 (8a)
n
iiii
n
CCED21
21
22
2 (8b)
…
n
iiiiii
nn
n
nCCCEDn
121
121...
11 ... (8c)
nn iiii
nn CCCCED121
... (8d)
We begin by noting that, for any n = p = prime number in the left member of each equation of the system always appears, by Lemma 2, an even term (Di + Ei). In particular, the following:
the (8a) to be satisfied can only contain an even number r of odd roots Ci in (8c )(**) factor n is always odd then, as shown in Appendix A, the member on left side is
never divisible by 4 or multiples by 4. Therefore this excludes the case of all even roots Ci because it implies a factor 2n-1 in each term of sum on the right side.
Cases with even number r of odd roots (and therefore compatible with the (8a)) are excluded
from one of the other equations (8b and below) which terms in brackets are formed from products of r roots Ci. In fact, in all possible permutations of the r indexes there will always be an odd term with indexes corresponding to those of r roots, while all other terms are even, see also (7a). This contradicts Lemma 2.
All odd roots not meet the (8d).
This exhausts all possible cases, showing that (8) does not admit integer solutions for any odd integers D and E and for all n = prime number, then by Lemma 3:
For any n ≥ 3 Fermat's Last Theorem is true
(*) The Appendix C and Appendix D list the cases n = 7 and n = 11. List of program (in VB6 language) to produce cases for any n is provided in appendix E. (**) The (8c) in general will be the penultimate equation of any system with n = p equations.
12
Conclusions
We have proved the validity of Fermat's Last Theorem by a procedure, without doubt, Fermat himself could known and then we can infer that this is the marvelous demonstration that he claimed to own. The exclusion of complex conjugated roots does not affect the demonstration itself, because the complex numbers could not be known by Fermat having been introduced only 150 years later by Gauss. We note that Andrew Wiles proved the FLT only indirectly. In fact Wiles proved the validity of the Taniyama-Shimura conjecture that asserts that every elliptic curve must be related to a modular form. Gerhard Frey had previously devised a mechanism that links the FLT to elliptic equations and thus indirectly to the Taniyama-Shimura conjecture. The demonstration of FLT presented in this work so well as to verify the validity of FLT itself, through the mechanism of Frey, lets say that the Taniyama-Shimura conjecture is also verified without the use of the demonstration of Wiles.
Reference [1] P. Ribenboim, Fermat Last Theorem For Amateurs, Springer-Verlag, 1999. [2] P. Ribenboim, 13 Lectures on Fermat's Last Theorem , Springer-Verlag, 1979. [3] Simon Singh, Fermat's Last Theorem , The story of a riddle that confounded the world's great minds for 358 years, London: Fourth Estate Limited, 1997. [4] A. Wiles, Modular elliptic curves and Fermat’s Last Theorem, Annals of Math. 141 (1995), 443–551.
13
Appendix A We need to verify that given two odd numbers X and Y positive integers and n even then the quantity
nn YX never is divisible by 4. Let n=2, then due to the odd value of X, we’ll have either or , then for any odd X. )4(mod1X )4(mod3X )4(mod12 X Moreover, then, by induction, for any even n
and odd X. )4(mod1224 XXX )4(mod122 nn XXX
To conclude then
)4(mod2)( nn YX
that is never divisible by 4. Appendix B Case n=2 As already said this is nothing else the Pythagorean theorem, restricted at the domain of integer numbers, and then, in this case and only in this case, there are integer solutions of (6). We aim to find an algorithm that can provide all the Pythagorean triples. Rewrite (6a) and (7a) for n = 2:
2
1
22222
2)2,( 21
k
kkk
k
kC EDCEDCCEDCP
(B1)
21212
21
2
1)2,( CCCCCCCCCCCCP
iiC
(B2)
Comparing the coefficients of terms with the same powers we obtain:
212 CCED (B3)
2122 CCED (B4)
Taking, for example, C2 from (B3) and inserting it into (B4) we have
14
11
22 2 CEDCED giving
02 221
21 EDCEDC then
DEEDEDEDEDC 22221 (B5a)
DEEDEDEDEDC 22222 (B5b)
In order (B5) to admit integer values for C1 and C2 is necessary that the amount below the root is a
perfect square, that is . 22 QDE
The following table lists all Pythagorean triples for values of . 1002 Q The values of D and E are all possible combinations of integers such that 2DE =Q2, while C is given by the (B5) considering only the positive sign, and A and B by the relations (2) of the preceding
paragraph. Note that actually is . 222 CBA The solutions marked with an asterisk are the so-called primitive Pythagorean triples, that is triples that, unlike the others, not further simplification is possible being GCD (A,B,C)=1.
DEQ 22 DE DE2 D E DEEDC 2 )( DCA ECB
4 2 2 2 1 5 3 4 * 8 1 13 5 12 *
16 8 4 4 2 10 6 8 18 1 25 7 24 * 9 2 17 8 15 * 36 18 6 6 3 15 9 12 32 1 41 9 40 * 16 2 26 10 24 64 32 8 8 4 20 12 16 50 1 61 11 60 * 25 2 37 12 35 * 100 50 10 10 5 25 15 20
15
Appendix C Case n=7 In the case n=7 the (8) become as following form (C1, C2, C3... stay for C1, C2, C3 etc.)
7(D +E) = C1 +C2 +C3 +C4 +C5 +C6 +C7 (7C1) 21(D2 +E2) = C2C1 +C3C1 +C3C2 +C4C1 +C4C2 +C4C3 +C5C1 +C5C2 +C5C3 +C5C4 +C6C1 +C6C2 +C6C3 +C6C4 (7C2) +C6C5 +C7C1 +C7C2 +C7C3 +C7C4 +C7C5 +C7C6 35(D3 +E3) = C3C2C1 +C4C2C1 +C4C3C1 +C4C3C2 +C5C2C1 +C5C3C1 +C5C3C2 +C5C4C1 +C5C4C2 +C5C4C3 +C6C2C1 +C6C3C1 +C6C3C2 +C6C4C1 +C6C4C2 +C6C4C3 +C6C5C1 +C6C5C2 (7C3) +C6C5C3 +C6C5C4 +C7C2C1 +C7C3C1 +C7C3C2 +C7C4C1 +C7C4C2 +C7C4C3 +C7C5C1 +C7C5C2 +C7C5C3 +C7C5C4 +C7C6C1 +C7C6C2 +C7C6C3 +C7C6C4 +C7C6C5 35(D4 +E4) = C4C3C2C1 +C5C3C2C1 +C5C4C2C1 +C5C4C3C1 +C5C4C3C2 +C6C3C2C1 +C6C4C2C1 +C6C4C3C1 +C6C4C3C2 +C6C5C2C1 +C6C5C3C1 +C6C5C3C2 +C6C5C4C1 +C6C5C4C2 +C6C5C4C3 +C7C3C2C1 +C7C4C2C1 +C7C4C3C1 +C7C4C3C2 +C7C5C2C1 (7C4) +C7C5C3C1 +C7C5C3C2 +C7C5C4C1 +C7C5C4C2 +C7C5C4C3 +C7C6C2C1 +C7C6C3C1+C7C6C3C2 +C7C6C4C1 +C7C6C4C2 +C7C6C4C3 +C7C6C5C1 +C7C6C5C2+C7C6C5C3 +C7C6C5C4 21(D5 +E5) = C5C4C3C2C1 +C6C4C3C2C1 +C6C5C3C2C1 +C6C5C4C2C1 +C6C5C4C3C1 +C6C5C4C3C2 +C7C4C3C2C1 +C7C5C3C2C1 +C7C5C4C2C1 +C7C5C4C3C1 +C7C5C4C3C2 +C7C6C3C2C1 (7C5) +C7C6C4C2C1 +C7C6C4C3C1 +C7C6C4C3C2 +C7C6C5C2C1 +C7C6C5C3C1 +C7C6C5C3C2 +C7C6C5C4C1 +C7C6C5C4C2 +C7C6C5C4C3 7(D6 +E6) = C6C5C4C3C2C1 +C7C5C4C3C2C1 +C7C6C4C3C2C1 (7C6) +C7C6C5C3C2C1 +C7C6C5C4C2C1 +C7C6C5C4C3C1
+C7C6C5C4C3C2 (D7 +E7) = C7C6C5C4C3C2C1 (7C7) As usual the (7C1) can be achieved by
All even Ci. Then the (7C6) will not satisfied because the member in the left side is not divisible by 4.
Five even and two odd Ci. Let even C1 C2 C3 C4 C5 while odd C6 C7. The (7C2) will not satisfied having the odd factor C6C7 , making odd the whole member in the right side.
Three even and four odd Ci. Let even C1 C2 C3 while odd C4 C5 C6 C7. Then the (7C4) will not satisfied
One even and six odd Ci. Let even C1 while odd C2 C3 C4 C5 C6 C7. Then the (7C6) will not satisfied.
Any other permutation of indexes gives the same result.
16
Appendix D Case n=11 In case n=11 le (8) take the following form (C1, C2, C3... stay for C1, C2, C3 etc.) 11(D+E) = + C1 + C2 + C3 + C4 + C5 + C6 + C7 + C8 + C9 + C10 (11D1) + C11 55(D2+E2) = + C2C1 + C3C1 + C3C2 + C4C1 + C4C2 + C4C3 + C5C1 + C5C2 + C5C3 + C5C4 + C6C1 + C6C2 + C6C3 + C6C4 + C6C5 + C7C1 + C7C2 + C7C3 + C7C4 + C7C5 + C7C6 + C8C1 + C8C2 + C8C3 + C8C4 + C8C5 + C8C6 + C8C7 (11D2) + C9C1 + C9C2 + C9C3 + C9C4 + C9C5 + C9C6 + C9C7 + C9C8 + C10C1 + C10C2 + C10C3 + C10C4 + C10C5 + C10C6 + C10C7 + C10C8 + C10C9 + C11C1 + C11C2 + C11C3 + C11C4 + C11C5 + C11C6 + C11C7 + C11C8 + C11C9 + C11C10 165(D3+E3) = + C3C2C1 + C4C2C1 + C4C3C1 + C4C3C2 + C5C2C1 + C5C3C1 + C5C3C2 + C5C4C1 + C5C4C2 + C5C4C3 + C6C2C1 + C6C3C1 + C6C3C2 + C6C4C1 + C6C4C2 + C6C4C3 + C6C5C1 + C6C5C2 + C6C5C3 + C6C5C4 + C7C2C1 + C7C3C1 + C7C3C2 + C7C4C1 + C7C4C2 + C7C4C3 + C7C5C1 + C7C5C2 + C7C5C3 + C7C5C4 + C7C6C1 + C7C6C2 + C7C6C3 + C7C6C4 + C7C6C5 + C8C2C1 + C8C3C1 + C8C3C2 + C8C4C1 + C8C4C2 + C8C4C3 + C8C5C1 (11D3) + C8C5C2 + C8C5C3 + C8C5C4 + C8C6C1 + C8C6C2 + C8C6C3 + C8C6C4 + C8C6C5 + C8C7C1 + C8C7C2 + C8C7C3 + C8C7C4 + C8C7C5 + C8C7C6 + C9C2C1 + C9C3C1 + C9C3C2 + C9C4C1 + C9C4C2 + C9C4C3 + C9C5C1 + C9C5C2 + C9C5C3 + C9C5C4 + C9C6C1 + C9C6C2 + C9C6C3 + C9C6C4 + C9C6C5 + C9C7C1 + C9C7C2 + C9C7C3 + C9C7C4 + C9C7C5 + C9C7C6 + C9C8C1 + C9C8C2 + C9C8C3 + C9C8C4 + C9C8C5 + C9C8C6 + C9C8C7 + C10C2C1 + C10C3C1 + C10C3C2 + C10C4C1 + C10C4C2 + C10C4C3 + C10C5C1 + C10C5C2 + C10C5C3 + C10C5C4 + C10C6C1 + C10C6C2 + C10C6C3 + C10C6C4 + C10C6C5 + C10C7C1 + C10C7C2 + C10C7C3 + C10C7C4 + C10C7C5 + C10C7C6 + C10C8C1 + C10C8C2 + C10C8C3 + C10C8C4 + C10C8C5 + C10C8C6 + C10C8C7 + C10C9C1 + C10C9C2 + C10C9C3 + C10C9C4 + C10C9C5 + C10C9C6 + C10C9C7 + C10C9C8 + C11C2C1 + C11C3C1 + C11C3C2 + C11C4C1 + C11C4C2 + C11C4C3 + C11C5C1 + C11C5C2 + C11C5C3 + C11C5C4 + C11C6C1 + C11C6C2 + C11C6C3 + C11C6C4 + C11C6C5 + C11C7C1 + C11C7C2 + C11C7C3 + C11C7C4 + C11C7C5 + C11C7C6 + C11C8C1 + C11C8C2 + C11C8C3 + C11C8C4 + C11C8C5 + C11C8C6 + C11C8C7 + C11C9C1 + C11C9C2 + C11C9C3 + C11C9C4 + C11C9C5 + C11C9C6 + C11C9C7 + C11C9C8 + C11C10C1 + C11C10C2 + C11C10C3 + C11C10C4 + C11C10C5 + C11C10C6 + C11C10C7 + C11C10C8 + C11C10C9
17
330(D4+E4) = + C4C3C2C1 + C5C3C2C1 + C5C4C2C1 + C5C4C3C1 + C5C4C3C2 + C6C3C2C1 + C6C4C2C1 + C6C4C3C1 + C6C4C3C2 + C6C5C2C1 + C6C5C3C1 + C6C5C3C2 + C6C5C4C1 + C6C5C4C2 + C6C5C4C3 + C7C3C2C1 + C7C4C2C1 + C7C4C3C1 + C7C4C3C2 + C7C5C2C1 + C7C5C3C1 + C7C5C3C2 + C7C5C4C1 + C7C5C4C2 + C7C5C4C3 + C7C6C2C1 + C7C6C3C1 + C7C6C3C2 + C7C6C4C1 + C7C6C4C2 + C7C6C4C3 + C7C6C5C1 + C7C6C5C2 + C7C6C5C3 + C7C6C5C4 + C8C3C2C1 + C8C4C2C1 + C8C4C3C1 + C8C4C3C2 + C8C5C2C1 (11D4) + C8C5C3C1 + C8C5C3C2 + C8C5C4C1 + C8C5C4C2 + C8C5C4C3 + C8C6C2C1 + C8C6C3C1 + C8C6C3C2 + C8C6C4C1 + C8C6C4C2 + C8C6C4C3 + C8C6C5C1 + C8C6C5C2 + C8C6C5C3 + C8C6C5C4 + C8C7C2C1 + C8C7C3C1 + C8C7C3C2 + C8C7C4C1 + C8C7C4C2 + C8C7C4C3 + C8C7C5C1 + C8C7C5C2 + C8C7C5C3 + C8C7C5C4 + C8C7C6C1 + C8C7C6C2 + C8C7C6C3 + C8C7C6C4 + C8C7C6C5 + C9C3C2C1 + C9C4C2C1 + C9C4C3C1 + C9C4C3C2 + C9C5C2C1 + C9C5C3C1 + C9C5C3C2 + C9C5C4C1 + C9C5C4C2 + C9C5C4C3 + C9C6C2C1 + C9C6C3C1 + C9C6C3C2 + C9C6C4C1 + C9C6C4C2 + C9C6C4C3 + C9C6C5C1 + C9C6C5C2 + C9C6C5C3 + C9C6C5C4 + C9C7C2C1 + C9C7C3C1 + C9C7C3C2 + C9C7C4C1 + C9C7C4C2 + C9C7C4C3 + C9C7C5C1 + C9C7C5C2 + C9C7C5C3 + C9C7C5C4 + C9C7C6C1 + C9C7C6C2 + C9C7C6C3 + C9C7C6C4 + C9C7C6C5 + C9C8C2C1 + C9C8C3C1 + C9C8C3C2 + C9C8C4C1 + C9C8C4C2 + C9C8C4C3 + C9C8C5C1 + C9C8C5C2 + C9C8C5C3 + C9C8C5C4 + C9C8C6C1 + C9C8C6C2 + C9C8C6C3 + C9C8C6C4 + C9C8C6C5 + C9C8C7C1 + C9C8C7C2 + C9C8C7C3 + C9C8C7C4 + C9C8C7C5 + C9C8C7C6 + C10C3C2C1 + C10C4C2C1 + C10C4C3C1 + C10C4C3C2 + C10C5C2C1 + C10C5C3C1 + C10C5C3C2 + C10C5C4C1 + C10C5C4C2 + C10C5C4C3 + C10C6C2C1 + C10C6C3C1 + C10C6C3C2 + C10C6C4C1 + C10C6C4C2 + C10C6C4C3 + C10C6C5C1 + C10C6C5C2 + C10C6C5C3 + C10C6C5C4 + C10C7C2C1 + C10C7C3C1 + C10C7C3C2 + C10C7C4C1 + C10C7C4C2 + C10C7C4C3 + C10C7C5C1 + C10C7C5C2 + C10C7C5C3 + C10C7C5C4 + C10C7C6C1 + C10C7C6C2 + C10C7C6C3 + C10C7C6C4 + C10C7C6C5 + C10C8C2C1 + C10C8C3C1 + C10C8C3C2 + C10C8C4C1 + C10C8C4C2 + C10C8C4C3 + C10C8C5C1 + C10C8C5C2 + C10C8C5C3 + C10C8C5C4 + C10C8C6C1 + C10C8C6C2 + C10C8C6C3 + C10C8C6C4 + C10C8C6C5 + C10C8C7C1 + C10C8C7C2 + C10C8C7C3 + C10C8C7C4 + C10C8C7C5 + C10C8C7C6 + C10C9C2C1 + C10C9C3C1 + C10C9C3C2 + C10C9C4C1 + C10C9C4C2 + C10C9C4C3 + C10C9C5C1 + C10C9C5C2 + C10C9C5C3 + C10C9C5C4 + C10C9C6C1 + C10C9C6C2 + C10C9C6C3 + C10C9C6C4 + C10C9C6C5 + C10C9C7C1 + C10C9C7C2 + C10C9C7C3 + C10C9C7C4 + C10C9C7C5 + C10C9C7C6 + C10C9C8C1 + C10C9C8C2 + C10C9C8C3 + C10C9C8C4 + C10C9C8C5 + C10C9C8C6 + C10C9C8C7 + C11C3C2C1 + C11C4C2C1 + C11C4C3C1 + C11C4C3C2 + C11C5C2C1 + C11C5C3C1 + C11C5C3C2 + C11C5C4C1 + C11C5C4C2 + C11C5C4C3 + C11C6C2C1 + C11C6C3C1 + C11C6C3C2 + C11C6C4C1 + C11C6C4C2 + C11C6C4C3 + C11C6C5C1 + C11C6C5C2 + C11C6C5C3 + C11C6C5C4 + C11C7C2C1 + C11C7C3C1 + C11C7C3C2 + C11C7C4C1 + C11C7C4C2 + C11C7C4C3 + C11C7C5C1 + C11C7C5C2 + C11C7C5C3 + C11C7C5C4 + C11C7C6C1 + C11C7C6C2 + C11C7C6C3 + C11C7C6C4 + C11C7C6C5 + C11C8C2C1 + C11C8C3C1 + C11C8C3C2 + C11C8C4C1 + C11C8C4C2 + C11C8C4C3 + C11C8C5C1 + C11C8C5C2 + C11C8C5C3 + C11C8C5C4 + C11C8C6C1 + C11C8C6C2 + C11C8C6C3 + C11C8C6C4 + C11C8C6C5 + C11C8C7C1
18
+ C11C8C7C2 + C11C8C7C3 + C11C8C7C4 + C11C8C7C5 + C11C8C7C6 + C11C9C2C1 + C11C9C3C1 + C11C9C3C2 + C11C9C4C1 + C11C9C4C2 + C11C9C4C3 + C11C9C5C1 + C11C9C5C2 + C11C9C5C3 + C11C9C5C4 + C11C9C6C1 + C11C9C6C2 + C11C9C6C3 + C11C9C6C4 + C11C9C6C5 + C11C9C7C1 + C11C9C7C2 + C11C9C7C3 + C11C9C7C4 + C11C9C7C5 + C11C9C7C6 + C11C9C8C1 + C11C9C8C2 + C11C9C8C3 + C11C9C8C4 + C11C9C8C5 + C11C9C8C6 + C11C9C8C7 + C11C10C2C1 + C11C10C3C1 + C11C10C3C2 + C11C10C4C1 + C11C10C4C2 + C11C10C4C3 + C11C10C5C1 + C11C10C5C2 + C11C10C5C3 + C11C10C5C4 + C11C10C6C1 + C11C10C6C2 + C11C10C6C3 + C11C10C6C4 + C11C10C6C5 + C11C10C7C1 + C11C10C7C2 + C11C10C7C3 + C11C10C7C4 + C11C10C7C5 + C11C10C7C6 + C11C10C8C1 + C11C10C8C2 + C11C10C8C3 + C11C10C8C4 + C11C10C8C5 + C11C10C8C6 + C11C10C8C7 + C11C10C9C1 + C11C10C9C2 + C11C10C9C3 + C11C10C9C4 + C11C10C9C5 + C11C10C9C6 + C11C10C9C7 + C11C10C9C8 462(D5+E5) = + C5C4C3C2C1 + C6C4C3C2C1 + C6C5C3C2C1 + C6C5C4C2C1 + C6C5C4C3C1 + C6C5C4C3C2 + C7C4C3C2C1 + C7C5C3C2C1 + C7C5C4C2C1 + C7C5C4C3C1 + C7C5C4C3C2 + C7C6C3C2C1 + C7C6C4C2C1 + C7C6C4C3C1 + C7C6C4C3C2 + C7C6C5C2C1 + C7C6C5C3C1 + C7C6C5C3C2 + C7C6C5C4C1 + C7C6C5C4C2 + C7C6C5C4C3 + C8C4C3C2C1 + C8C5C3C2C1 + C8C5C4C2C1 + C8C5C4C3C1 + C8C5C4C3C2 + C8C6C3C2C1 + C8C6C4C2C1 + C8C6C4C3C1 + C8C6C4C3C2 + C8C6C5C2C1 + C8C6C5C3C1 (11D5) + C8C6C5C3C2 + C8C6C5C4C1 + C8C6C5C4C2 + C8C6C5C4C3 + C8C7C3C2C1 + C8C7C4C2C1 + C8C7C4C3C1 + C8C7C4C3C2 + C8C7C5C2C1 + C8C7C5C3C1 + C8C7C5C3C2 + C8C7C5C4C1 + C8C7C5C4C2 + C8C7C5C4C3 + C8C7C6C2C1 + C8C7C6C3C1 + C8C7C6C3C2 + C8C7C6C4C1 + C8C7C6C4C2 + C8C7C6C4C3 + C8C7C6C5C1 + C8C7C6C5C2 + C8C7C6C5C3 + C8C7C6C5C4 + C9C4C3C2C1 + C9C5C3C2C1 + C9C5C4C2C1 + C9C5C4C3C1 + C9C5C4C3C2 + C9C6C3C2C1 + C9C6C4C2C1 + C9C6C4C3C1 + C9C6C4C3C2 + C9C6C5C2C1 + C9C6C5C3C1 + C9C6C5C3C2 + C9C6C5C4C1 + C9C6C5C4C2 + C9C6C5C4C3 + C9C7C3C2C1 + C9C7C4C2C1 + C9C7C4C3C1 + C9C7C4C3C2 + C9C7C5C2C1 + C9C7C5C3C1 + C9C7C5C3C2 + C9C7C5C4C1 + C9C7C5C4C2 + C9C7C5C4C3 + C9C7C6C2C1 + C9C7C6C3C1 + C9C7C6C3C2 + C9C7C6C4C1 + C9C7C6C4C2 + C9C7C6C4C3 + C9C7C6C5C1 + C9C7C6C5C2 + C9C7C6C5C3 + C9C7C6C5C4 + C9C8C3C2C1 + C9C8C4C2C1 + C9C8C4C3C1 + C9C8C4C3C2 + C9C8C5C2C1 + C9C8C5C3C1 + C9C8C5C3C2 + C9C8C5C4C1 + C9C8C5C4C2 + C9C8C5C4C3 + C9C8C6C2C1 + C9C8C6C3C1 + C9C8C6C3C2 + C9C8C6C4C1 + C9C8C6C4C2 + C9C8C6C4C3 + C9C8C6C5C1 + C9C8C6C5C2 + C9C8C6C5C3 + C9C8C6C5C4 + C9C8C7C2C1 + C9C8C7C3C1 + C9C8C7C3C2 + C9C8C7C4C1 + C9C8C7C4C2 + C9C8C7C4C3 + C9C8C7C5C1 + C9C8C7C5C2 + C9C8C7C5C3 + C9C8C7C5C4 + C9C8C7C6C1 + C9C8C7C6C2 + C9C8C7C6C3 + C9C8C7C6C4 + C9C8C7C6C5 + C10C4C3C2C1 + C10C5C3C2C1 + C10C5C4C2C1 + C10C5C4C3C1 + C10C5C4C3C2 + C10C6C3C2C1 + C10C6C4C2C1 + C10C6C4C3C1 + C10C6C4C3C2 + C10C6C5C2C1 + C10C6C5C3C1 + C10C6C5C3C2 + C10C6C5C4C1 + C10C6C5C4C2 + C10C6C5C4C3 + C10C7C3C2C1 + C10C7C4C2C1 + C10C7C4C3C1 + C10C7C4C3C2 + C10C7C5C2C1 + C10C7C5C3C1 + C10C7C5C3C2 + C10C7C5C4C1 + C10C7C5C4C2 + C10C7C5C4C3 + C10C7C6C2C1 + C10C7C6C3C1 + C10C7C6C3C2 + C10C7C6C4C1 + C10C7C6C4C2 + C10C7C6C4C3 + C10C7C6C5C1 + C10C7C6C5C2 + C10C7C6C5C3
19
+ C10C7C6C5C4 + C10C8C3C2C1 + C10C8C4C2C1 + C10C8C4C3C1 + C10C8C4C3C2 + C10C8C5C2C1 + C10C8C5C3C1 + C10C8C5C3C2 + C10C8C5C4C1 + C10C8C5C4C2 + C10C8C5C4C3 + C10C8C6C2C1 + C10C8C6C3C1 + C10C8C6C3C2 + C10C8C6C4C1 + C10C8C6C4C2 + C10C8C6C4C3 + C10C8C6C5C1 + C10C8C6C5C2 + C10C8C6C5C3 + C10C8C6C5C4 + C10C8C7C2C1 + C10C8C7C3C1 + C10C8C7C3C2 + C10C8C7C4C1 + C10C8C7C4C2 + C10C8C7C4C3 + C10C8C7C5C1 + C10C8C7C5C2 + C10C8C7C5C3 + C10C8C7C5C4 + C10C8C7C6C1 + C10C8C7C6C2 + C10C8C7C6C3 + C10C8C7C6C4 + C10C8C7C6C5 + C10C9C3C2C1 + C10C9C4C2C1 + C10C9C4C3C1 + C10C9C4C3C2 + C10C9C5C2C1 + C10C9C5C3C1 + C10C9C5C3C2 + C10C9C5C4C1 + C10C9C5C4C2 + C10C9C5C4C3 + C10C9C6C2C1 + C10C9C6C3C1 + C10C9C6C3C2 + C10C9C6C4C1 + C10C9C6C4C2 + C10C9C6C4C3 + C10C9C6C5C1 + C10C9C6C5C2 + C10C9C6C5C3 + C10C9C6C5C4 + C10C9C7C2C1 + C10C9C7C3C1 + C10C9C7C3C2 + C10C9C7C4C1 + C10C9C7C4C2 + C10C9C7C4C3 + C10C9C7C5C1 + C10C9C7C5C2 + C10C9C7C5C3 + C10C9C7C5C4 + C10C9C7C6C1 + C10C9C7C6C2 + C10C9C7C6C3 + C10C9C7C6C4 + C10C9C7C6C5 + C10C9C8C2C1 + C10C9C8C3C1 + C10C9C8C3C2 + C10C9C8C4C1 + C10C9C8C4C2 + C10C9C8C4C3 + C10C9C8C5C1 + C10C9C8C5C2 + C10C9C8C5C3 + C10C9C8C5C4 + C10C9C8C6C1 + C10C9C8C6C2 + C10C9C8C6C3 + C10C9C8C6C4 + C10C9C8C6C5 + C10C9C8C7C1 + C10C9C8C7C2 + C10C9C8C7C3 + C10C9C8C7C4 + C10C9C8C7C5 + C10C9C8C7C6 + C11C4C3C2C1 + C11C5C3C2C1 + C11C5C4C2C1 + C11C5C4C3C1 + C11C5C4C3C2 + C11C6C3C2C1 + C11C6C4C2C1 + C11C6C4C3C1 + C11C6C4C3C2 + C11C6C5C2C1 + C11C6C5C3C1 + C11C6C5C3C2 + C11C6C5C4C1 + C11C6C5C4C2 + C11C6C5C4C3 + C11C7C3C2C1 + C11C7C4C2C1 + C11C7C4C3C1 + C11C7C4C3C2 + C11C7C5C2C1 + C11C7C5C3C1 + C11C7C5C3C2 + C11C7C5C4C1 + C11C7C5C4C2 + C11C7C5C4C3 + C11C7C6C2C1 + C11C7C6C3C1 + C11C7C6C3C2 + C11C7C6C4C1 + C11C7C6C4C2 + C11C7C6C4C3 + C11C7C6C5C1 + C11C7C6C5C2 + C11C7C6C5C3 + C11C7C6C5C4 + C11C8C3C2C1 + C11C8C4C2C1 + C11C8C4C3C1 + C11C8C4C3C2 + C11C8C5C2C1 + C11C8C5C3C1 + C11C8C5C3C2 + C11C8C5C4C1 + C11C8C5C4C2 + C11C8C5C4C3 + C11C8C6C2C1 + C11C8C6C3C1 + C11C8C6C3C2 + C11C8C6C4C1 + C11C8C6C4C2 + C11C8C6C4C3 + C11C8C6C5C1 + C11C8C6C5C2 + C11C8C6C5C3 + C11C8C6C5C4 + C11C8C7C2C1 + C11C8C7C3C1 + C11C8C7C3C2 + C11C8C7C4C1 + C11C8C7C4C2 + C11C8C7C4C3 + C11C8C7C5C1 + C11C8C7C5C2 + C11C8C7C5C3 + C11C8C7C5C4 + C11C8C7C6C1 + C11C8C7C6C2 + C11C8C7C6C3 + C11C8C7C6C4 + C11C8C7C6C5 + C11C9C3C2C1 + C11C9C4C2C1 + C11C9C4C3C1 + C11C9C4C3C2 + C11C9C5C2C1 + C11C9C5C3C1 + C11C9C5C3C2 + C11C9C5C4C1 + C11C9C5C4C2 + C11C9C5C4C3 + C11C9C6C2C1 + C11C9C6C3C1 + C11C9C6C3C2 + C11C9C6C4C1 + C11C9C6C4C2 + C11C9C6C4C3 + C11C9C6C5C1 + C11C9C6C5C2 + C11C9C6C5C3 + C11C9C6C5C4 + C11C9C7C2C1 + C11C9C7C3C1 + C11C9C7C3C2 + C11C9C7C4C1 + C11C9C7C4C2 + C11C9C7C4C3 + C11C9C7C5C1 + C11C9C7C5C2 + C11C9C7C5C3 + C11C9C7C5C4 + C11C9C7C6C1 + C11C9C7C6C2 + C11C9C7C6C3 + C11C9C7C6C4 + C11C9C7C6C5 + C11C9C8C2C1 + C11C9C8C3C1 + C11C9C8C3C2 + C11C9C8C4C1 + C11C9C8C4C2 + C11C9C8C4C3 + C11C9C8C5C1 + C11C9C8C5C2 + C11C9C8C5C3 + C11C9C8C5C4 + C11C9C8C6C1 + C11C9C8C6C2 + C11C9C8C6C3 + C11C9C8C6C4 + C11C9C8C6C5 + C11C9C8C7C1 + C11C9C8C7C2 + C11C9C8C7C3 + C11C9C8C7C4 + C11C9C8C7C5 + C11C9C8C7C6 + C11C10C3C2C1 + C11C10C4C2C1 + C11C10C4C3C1 + C11C10C4C3C2 + C11C10C5C2C1 + C11C10C5C3C1 + C11C10C5C3C2 + C11C10C5C4C1 + C11C10C5C4C2 + C11C10C5C4C3 + C11C10C6C2C1 + C11C10C6C3C1 + C11C10C6C3C2 + C11C10C6C4C1 + C11C10C6C4C2 + C11C10C6C4C3 + C11C10C6C5C1 + C11C10C6C5C2
20
+ C11C10C6C5C3 + C11C10C6C5C4 + C11C10C7C2C1 + C11C10C7C3C1 + C11C10C7C3C2 + C11C10C7C4C1 + C11C10C7C4C2 + C11C10C7C4C3 + C11C10C7C5C1 + C11C10C7C5C2 + C11C10C7C5C3 + C11C10C7C5C4 + C11C10C7C6C1 + C11C10C7C6C2 + C11C10C7C6C3 + C11C10C7C6C4 + C11C10C7C6C5 + C11C10C8C2C1 + C11C10C8C3C1 + C11C10C8C3C2 + C11C10C8C4C1 + C11C10C8C4C2 + C11C10C8C4C3 + C11C10C8C5C1 + C11C10C8C5C2 + C11C10C8C5C3 + C11C10C8C5C4 + C11C10C8C6C1 + C11C10C8C6C2 + C11C10C8C6C3 + C11C10C8C6C4 + C11C10C8C6C5 + C11C10C8C7C1 + C11C10C8C7C2 + C11C10C8C7C3 + C11C10C8C7C4 + C11C10C8C7C5 + C11C10C8C7C6 + C11C10C9C2C1 + C11C10C9C3C1 + C11C10C9C3C2 + C11C10C9C4C1 + C11C10C9C4C2 + C11C10C9C4C3 + C11C10C9C5C1 + C11C10C9C5C2 + C11C10C9C5C3 + C11C10C9C5C4 + C11C10C9C6C1 + C11C10C9C6C2 + C11C10C9C6C3 + C11C10C9C6C4 + C11C10C9C6C5 + C11C10C9C7C1 + C11C10C9C7C2 + C11C10C9C7C3 + C11C10C9C7C4 + C11C10C9C7C5 + C11C10C9C7C6 + C11C10C9C8C1 + C11C10C9C8C2 + C11C10C9C8C3 + C11C10C9C8C4 + C11C10C9C8C5 + C11C10C9C8C6 + C11C10C9C8C7 462(D6+E6) = + C6C5C4C3C2C1 + C7C5C4C3C2C1 + C7C6C4C3C2C1 + C7C6C5C3C2C1 + C7C6C5C4C2C1 + C7C6C5C4C3C1 + C7C6C5C4C3C2 + C8C5C4C3C2C1 + C8C6C4C3C2C1 + C8C6C5C3C2C1 + C8C6C5C4C2C1 + C8C6C5C4C3C1 + C8C6C5C4C3C2 + C8C7C4C3C2C1 + C8C7C5C3C2C1 + C8C7C5C4C2C1 + C8C7C5C4C3C1 + C8C7C5C4C3C2 + C8C7C6C3C2C1 + C8C7C6C4C2C1 + C8C7C6C4C3C1 + C8C7C6C4C3C2 + C8C7C6C5C2C1 + C8C7C6C5C3C1 (11D6) + C8C7C6C5C3C2 + C8C7C6C5C4C1 + C8C7C6C5C4C2 + C8C7C6C5C4C3 + C9C5C4C3C2C1 + C9C6C4C3C2C1 + C9C6C5C3C2C1 + C9C6C5C4C2C1 + C9C6C5C4C3C1 + C9C6C5C4C3C2 + C9C7C4C3C2C1 + C9C7C5C3C2C1 + C9C7C5C4C2C1 + C9C7C5C4C3C1 + C9C7C5C4C3C2 + C9C7C6C3C2C1 + C9C7C6C4C2C1 + C9C7C6C4C3C1 + C9C7C6C4C3C2 + C9C7C6C5C2C1 + C9C7C6C5C3C1 + C9C7C6C5C3C2 + C9C7C6C5C4C1 + C9C7C6C5C4C2 + C9C7C6C5C4C3 + C9C8C4C3C2C1 + C9C8C5C3C2C1 + C9C8C5C4C2C1 + C9C8C5C4C3C1 + C9C8C5C4C3C2 + C9C8C6C3C2C1 + C9C8C6C4C2C1 + C9C8C6C4C3C1 + C9C8C6C4C3C2 + C9C8C6C5C2C1 + C9C8C6C5C3C1 + C9C8C6C5C3C2 + C9C8C6C5C4C1 + C9C8C6C5C4C2 + C9C8C6C5C4C3 + C9C8C7C3C2C1 + C9C8C7C4C2C1 + C9C8C7C4C3C1 + C9C8C7C4C3C2 + C9C8C7C5C2C1 + C9C8C7C5C3C1 + C9C8C7C5C3C2 + C9C8C7C5C4C1 + C9C8C7C5C4C2 + C9C8C7C5C4C3 + C9C8C7C6C2C1 + C9C8C7C6C3C1 + C9C8C7C6C3C2 + C9C8C7C6C4C1 + C9C8C7C6C4C2 + C9C8C7C6C4C3 + C9C8C7C6C5C1 + C9C8C7C6C5C2 + C9C8C7C6C5C3 + C9C8C7C6C5C4 + C10C5C4C3C2C1 + C10C6C4C3C2C1 + C10C6C5C3C2C1 + C10C6C5C4C2C1 + C10C6C5C4C3C1 + C10C6C5C4C3C2 + C10C7C4C3C2C1 + C10C7C5C3C2C1 + C10C7C5C4C2C1 + C10C7C5C4C3C1 + C10C7C5C4C3C2 + C10C7C6C3C2C1 + C10C7C6C4C2C1 + C10C7C6C4C3C1 + C10C7C6C4C3C2 + C10C7C6C5C2C1 + C10C7C6C5C3C1 + C10C7C6C5C3C2 + C10C7C6C5C4C1 + C10C7C6C5C4C2 + C10C7C6C5C4C3 + C10C8C4C3C2C1 + C10C8C5C3C2C1 + C10C8C5C4C2C1 + C10C8C5C4C3C1 + C10C8C5C4C3C2 + C10C8C6C3C2C1 + C10C8C6C4C2C1 + C10C8C6C4C3C1 + C10C8C6C4C3C2 + C10C8C6C5C2C1 + C10C8C6C5C3C1 + C10C8C6C5C3C2 + C10C8C6C5C4C1 + C10C8C6C5C4C2 + C10C8C6C5C4C3 + C10C8C7C3C2C1 + C10C8C7C4C2C1 + C10C8C7C4C3C1 + C10C8C7C4C3C2 + C10C8C7C5C2C1 + C10C8C7C5C3C1 + C10C8C7C5C3C2 + C10C8C7C5C4C1 + C10C8C7C5C4C2 + C10C8C7C5C4C3 + C10C8C7C6C2C1 + C10C8C7C6C3C1 + C10C8C7C6C3C2 + C10C8C7C6C4C1 + C10C8C7C6C4C2 + C10C8C7C6C4C3 + C10C8C7C6C5C1 + C10C8C7C6C5C2 + C10C8C7C6C5C3 + C10C8C7C6C5C4 + C10C9C4C3C2C1 + C10C9C5C3C2C1 + C10C9C5C4C2C1 + C10C9C5C4C3C1
21
+ C10C9C5C4C3C2 + C10C9C6C3C2C1 + C10C9C6C4C2C1 + C10C9C6C4C3C1 + C10C9C6C4C3C2 + C10C9C6C5C2C1 + C10C9C6C5C3C1 + C10C9C6C5C3C2 + C10C9C6C5C4C1 + C10C9C6C5C4C2 + C10C9C6C5C4C3 + C10C9C7C3C2C1 + C10C9C7C4C2C1 + C10C9C7C4C3C1 + C10C9C7C4C3C2 + C10C9C7C5C2C1 + C10C9C7C5C3C1 + C10C9C7C5C3C2 + C10C9C7C5C4C1 + C10C9C7C5C4C2 + C10C9C7C5C4C3 + C10C9C7C6C2C1 + C10C9C7C6C3C1 + C10C9C7C6C3C2 + C10C9C7C6C4C1 + C10C9C7C6C4C2 + C10C9C7C6C4C3 + C10C9C7C6C5C1 + C10C9C7C6C5C2 + C10C9C7C6C5C3 + C10C9C7C6C5C4 + C10C9C8C3C2C1 + C10C9C8C4C2C1 + C10C9C8C4C3C1 + C10C9C8C4C3C2 + C10C9C8C5C2C1 + C10C9C8C5C3C1 + C10C9C8C5C3C2 + C10C9C8C5C4C1 + C10C9C8C5C4C2 + C10C9C8C5C4C3 + C10C9C8C6C2C1 + C10C9C8C6C3C1 + C10C9C8C6C3C2 + C10C9C8C6C4C1 + C10C9C8C6C4C2 + C10C9C8C6C4C3 + C10C9C8C6C5C1 + C10C9C8C6C5C2 + C10C9C8C6C5C3 + C10C9C8C6C5C4 + C10C9C8C7C2C1 + C10C9C8C7C3C1 + C10C9C8C7C3C2 + C10C9C8C7C4C1 + C10C9C8C7C4C2 + C10C9C8C7C4C3 + C10C9C8C7C5C1 + C10C9C8C7C5C2 + C10C9C8C7C5C3 + C10C9C8C7C5C4 + C10C9C8C7C6C1 + C10C9C8C7C6C2 + C10C9C8C7C6C3 + C10C9C8C7C6C4 + C10C9C8C7C6C5 + C11C5C4C3C2C1 + C11C6C4C3C2C1 + C11C6C5C3C2C1 + C11C6C5C4C2C1 + C11C6C5C4C3C1 + C11C6C5C4C3C2 + C11C7C4C3C2C1 + C11C7C5C3C2C1 + C11C7C5C4C2C1 + C11C7C5C4C3C1 + C11C7C5C4C3C2 + C11C7C6C3C2C1 + C11C7C6C4C2C1 + C11C7C6C4C3C1 + C11C7C6C4C3C2 + C11C7C6C5C2C1 + C11C7C6C5C3C1 + C11C7C6C5C3C2 + C11C7C6C5C4C1 + C11C7C6C5C4C2 + C11C7C6C5C4C3 + C11C8C4C3C2C1 + C11C8C5C3C2C1 + C11C8C5C4C2C1 + C11C8C5C4C3C1 + C11C8C5C4C3C2 + C11C8C6C3C2C1 + C11C8C6C4C2C1 + C11C8C6C4C3C1 + C11C8C6C4C3C2 + C11C8C6C5C2C1 + C11C8C6C5C3C1 + C11C8C6C5C3C2 + C11C8C6C5C4C1 + C11C8C6C5C4C2 + C11C8C6C5C4C3 + C11C8C7C3C2C1 + C11C8C7C4C2C1 + C11C8C7C4C3C1 + C11C8C7C4C3C2 + C11C8C7C5C2C1 + C11C8C7C5C3C1 + C11C8C7C5C3C2 + C11C8C7C5C4C1 + C11C8C7C5C4C2 + C11C8C7C5C4C3 + C11C8C7C6C2C1 + C11C8C7C6C3C1 + C11C8C7C6C3C2 + C11C8C7C6C4C1 + C11C8C7C6C4C2 + C11C8C7C6C4C3 + C11C8C7C6C5C1 + C11C8C7C6C5C2 + C11C8C7C6C5C3 + C11C8C7C6C5C4 + C11C9C4C3C2C1 + C11C9C5C3C2C1 + C11C9C5C4C2C1 + C11C9C5C4C3C1 + C11C9C5C4C3C2 + C11C9C6C3C2C1 + C11C9C6C4C2C1 + C11C9C6C4C3C1 + C11C9C6C4C3C2 + C11C9C6C5C2C1 + C11C9C6C5C3C1 + C11C9C6C5C3C2 + C11C9C6C5C4C1 + C11C9C6C5C4C2 + C11C9C6C5C4C3 + C11C9C7C3C2C1 + C11C9C7C4C2C1 + C11C9C7C4C3C1 + C11C9C7C4C3C2 + C11C9C7C5C2C1 + C11C9C7C5C3C1 + C11C9C7C5C3C2 + C11C9C7C5C4C1 + C11C9C7C5C4C2 + C11C9C7C5C4C3 + C11C9C7C6C2C1 + C11C9C7C6C3C1 + C11C9C7C6C3C2 + C11C9C7C6C4C1 + C11C9C7C6C4C2 + C11C9C7C6C4C3 + C11C9C7C6C5C1 + C11C9C7C6C5C2 + C11C9C7C6C5C3 + C11C9C7C6C5C4 + C11C9C8C3C2C1 + C11C9C8C4C2C1 + C11C9C8C4C3C1 + C11C9C8C4C3C2 + C11C9C8C5C2C1 + C11C9C8C5C3C1 + C11C9C8C5C3C2 + C11C9C8C5C4C1 + C11C9C8C5C4C2 + C11C9C8C5C4C3 + C11C9C8C6C2C1 + C11C9C8C6C3C1 + C11C9C8C6C3C2 + C11C9C8C6C4C1 + C11C9C8C6C4C2 + C11C9C8C6C4C3 + C11C9C8C6C5C1 + C11C9C8C6C5C2 + C11C9C8C6C5C3 + C11C9C8C6C5C4
22
+ C11C9C8C7C2C1 + C11C9C8C7C3C1 + C11C9C8C7C3C2 + C11C9C8C7C4C1 + C11C9C8C7C4C2 + C11C9C8C7C4C3 + C11C9C8C7C5C1 + C11C9C8C7C5C2 + C11C9C8C7C5C3 + C11C9C8C7C5C4 + C11C9C8C7C6C1 + C11C9C8C7C6C2 + C11C9C8C7C6C3 + C11C9C8C7C6C4 + C11C9C8C7C6C5 + C11C10C4C3C2C1 + C11C10C5C3C2C1 + C11C10C5C4C2C1 + C11C10C5C4C3C1 + C11C10C5C4C3C2 + C11C10C6C3C2C1 + C11C10C6C4C2C1 + C11C10C6C4C3C1 + C11C10C6C4C3C2 + C11C10C6C5C2C1 + C11C10C6C5C3C1 + C11C10C6C5C3C2 + C11C10C6C5C4C1 + C11C10C6C5C4C2 + C11C10C6C5C4C3 + C11C10C7C3C2C1 + C11C10C7C4C2C1 + C11C10C7C4C3C1 + C11C10C7C4C3C2 + C11C10C7C5C2C1 + C11C10C7C5C3C1 + C11C10C7C5C3C2 + C11C10C7C5C4C1 + C11C10C7C5C4C2 + C11C10C7C5C4C3 + C11C10C7C6C2C1 + C11C10C7C6C3C1 + C11C10C7C6C3C2 + C11C10C7C6C4C1 + C11C10C7C6C4C2 + C11C10C7C6C4C3 + C11C10C7C6C5C1 + C11C10C7C6C5C2 + C11C10C7C6C5C3 + C11C10C7C6C5C4 + C11C10C8C3C2C1 + C11C10C8C4C2C1 + C11C10C8C4C3C1 + C11C10C8C4C3C2 + C11C10C8C5C2C1 + C11C10C8C5C3C1 + C11C10C8C5C3C2 + C11C10C8C5C4C1 + C11C10C8C5C4C2 + C11C10C8C5C4C3 + C11C10C8C6C2C1 + C11C10C8C6C3C1 + C11C10C8C6C3C2 + C11C10C8C6C4C1 + C11C10C8C6C4C2 + C11C10C8C6C4C3 + C11C10C8C6C5C1 + C11C10C8C6C5C2 + C11C10C8C6C5C3 + C11C10C8C6C5C4 + C11C10C8C7C2C1 + C11C10C8C7C3C1 + C11C10C8C7C3C2 + C11C10C8C7C4C1 + C11C10C8C7C4C2 + C11C10C8C7C4C3 + C11C10C8C7C5C1 + C11C10C8C7C5C2 + C11C10C8C7C5C3 + C11C10C8C7C5C4 + C11C10C8C7C6C1 + C11C10C8C7C6C2 + C11C10C8C7C6C3 + C11C10C8C7C6C4 + C11C10C8C7C6C5 + C11C10C9C3C2C1 + C11C10C9C4C2C1 + C11C10C9C4C3C1 + C11C10C9C4C3C2 + C11C10C9C5C2C1 + C11C10C9C5C3C1 + C11C10C9C5C3C2 + C11C10C9C5C4C1 + C11C10C9C5C4C2 + C11C10C9C5C4C3 + C11C10C9C6C2C1 + C11C10C9C6C3C1 + C11C10C9C6C3C2 + C11C10C9C6C4C1 + C11C10C9C6C4C2 + C11C10C9C6C4C3 + C11C10C9C6C5C1 + C11C10C9C6C5C2 + C11C10C9C6C5C3 + C11C10C9C6C5C4 + C11C10C9C7C2C1 + C11C10C9C7C3C1 + C11C10C9C7C3C2 + C11C10C9C7C4C1 + C11C10C9C7C4C2 + C11C10C9C7C4C3 + C11C10C9C7C5C1 + C11C10C9C7C5C2 + C11C10C9C7C5C3 + C11C10C9C7C5C4 + C11C10C9C7C6C1 + C11C10C9C7C6C2 + C11C10C9C7C6C3 + C11C10C9C7C6C4 + C11C10C9C7C6C5 + C11C10C9C8C2C1 + C11C10C9C8C3C1 + C11C10C9C8C3C2 + C11C10C9C8C4C1 + C11C10C9C8C4C2 + C11C10C9C8C4C3 + C11C10C9C8C5C1 + C11C10C9C8C5C2 + C11C10C9C8C5C3 + C11C10C9C8C5C4 + C11C10C9C8C6C1 + C11C10C9C8C6C2 + C11C10C9C8C6C3 + C11C10C9C8C6C4 + C11C10C9C8C6C5 + C11C10C9C8C7C1 + C11C10C9C8C7C2 + C11C10C9C8C7C3 + C11C10C9C8C7C4 + C11C10C9C8C7C5 + C11C10C9C8C7C6 330(D7+E7) = + C7C6C5C4C3C2C1 + C8C6C5C4C3C2C1 + C8C7C5C4C3C2C1 + C8C7C6C4C3C2C1 + C8C7C6C5C3C2C1 + C8C7C6C5C4C2C1 + C8C7C6C5C4C3C1 + C8C7C6C5C4C3C2 + C9C6C5C4C3C2C1 + C9C7C5C4C3C2C1 + C9C7C6C4C3C2C1 + C9C7C6C5C3C2C1 + C9C7C6C5C4C2C1 + C9C7C6C5C4C3C1 + C9C7C6C5C4C3C2 + C9C8C5C4C3C2C1 + C9C8C6C4C3C2C1 + C9C8C6C5C3C2C1 (11D7) + C9C8C6C5C4C2C1 + C9C8C6C5C4C3C1 + C9C8C6C5C4C3C2 + C9C8C7C4C3C2C1 + C9C8C7C5C3C2C1 + C9C8C7C5C4C2C1 + C9C8C7C5C4C3C1 + C9C8C7C5C4C3C2 + C9C8C7C6C3C2C1 + C9C8C7C6C4C2C1 + C9C8C7C6C4C3C1 + C9C8C7C6C4C3C2
23
+ C9C8C7C6C5C2C1 + C9C8C7C6C5C3C1 + C9C8C7C6C5C3C2 + C9C8C7C6C5C4C1 + C9C8C7C6C5C4C2 + C9C8C7C6C5C4C3 + C10C6C5C4C3C2C1 + C10C7C5C4C3C2C1 + C10C7C6C4C3C2C1 + C10C7C6C5C3C2C1 + C10C7C6C5C4C2C1 + C10C7C6C5C4C3C1 + C10C7C6C5C4C3C2 + C10C8C5C4C3C2C1 + C10C8C6C4C3C2C1 + C10C8C6C5C3C2C1 + C10C8C6C5C4C2C1 + C10C8C6C5C4C3C1 + C10C8C6C5C4C3C2 + C10C8C7C4C3C2C1 + C10C8C7C5C3C2C1 + C10C8C7C5C4C2C1 + C10C8C7C5C4C3C1 + C10C8C7C5C4C3C2 + C10C8C7C6C3C2C1 + C10C8C7C6C4C2C1 + C10C8C7C6C4C3C1 + C10C8C7C6C4C3C2 + C10C8C7C6C5C2C1 + C10C8C7C6C5C3C1 + C10C8C7C6C5C3C2 + C10C8C7C6C5C4C1 + C10C8C7C6C5C4C2 + C10C8C7C6C5C4C3 + C10C9C5C4C3C2C1 + C10C9C6C4C3C2C1 + C10C9C6C5C3C2C1 + C10C9C6C5C4C2C1 + C10C9C6C5C4C3C1 + C10C9C6C5C4C3C2 + C10C9C7C4C3C2C1 + C10C9C7C5C3C2C1 + C10C9C7C5C4C2C1 + C10C9C7C5C4C3C1 + C10C9C7C5C4C3C2 + C10C9C7C6C3C2C1 + C10C9C7C6C4C2C1 + C10C9C7C6C4C3C1 + C10C9C7C6C4C3C2 + C10C9C7C6C5C2C1 + C10C9C7C6C5C3C1 + C10C9C7C6C5C3C2 + C10C9C7C6C5C4C1 + C10C9C7C6C5C4C2 + C10C9C7C6C5C4C3 + C10C9C8C4C3C2C1 + C10C9C8C5C3C2C1 + C10C9C8C5C4C2C1 + C10C9C8C5C4C3C1 + C10C9C8C5C4C3C2 + C10C9C8C6C3C2C1 + C10C9C8C6C4C2C1 + C10C9C8C6C4C3C1 + C10C9C8C6C4C3C2 + C10C9C8C6C5C2C1 + C10C9C8C6C5C3C1 + C10C9C8C6C5C3C2 + C10C9C8C6C5C4C1 + C10C9C8C6C5C4C2 + C10C9C8C6C5C4C3 + C10C9C8C7C3C2C1 + C10C9C8C7C4C2C1 + C10C9C8C7C4C3C1 + C10C9C8C7C4C3C2 + C10C9C8C7C5C2C1 + C10C9C8C7C5C3C1 + C10C9C8C7C5C3C2 + C10C9C8C7C5C4C1 + C10C9C8C7C5C4C2 + C10C9C8C7C5C4C3 + C10C9C8C7C6C2C1 + C10C9C8C7C6C3C1 + C10C9C8C7C6C3C2 + C10C9C8C7C6C4C1 + C10C9C8C7C6C4C2 + C10C9C8C7C6C4C3 + C10C9C8C7C6C5C1 + C10C9C8C7C6C5C2 + C10C9C8C7C6C5C3 + C10C9C8C7C6C5C4 + C11C6C5C4C3C2C1 + C11C7C5C4C3C2C1 + C11C7C6C4C3C2C1 + C11C7C6C5C3C2C1 + C11C7C6C5C4C2C1 + C11C7C6C5C4C3C1 + C11C7C6C5C4C3C2 + C11C8C5C4C3C2C1 + C11C8C6C4C3C2C1 + C11C8C6C5C3C2C1 + C11C8C6C5C4C2C1 + C11C8C6C5C4C3C1 + C11C8C6C5C4C3C2 + C11C8C7C4C3C2C1 + C11C8C7C5C3C2C1 + C11C8C7C5C4C2C1 + C11C8C7C5C4C3C1 + C11C8C7C5C4C3C2 + C11C8C7C6C3C2C1 + C11C8C7C6C4C2C1 + C11C8C7C6C4C3C1 + C11C8C7C6C4C3C2 + C11C8C7C6C5C2C1 + C11C8C7C6C5C3C1 + C11C8C7C6C5C3C2 + C11C8C7C6C5C4C1 + C11C8C7C6C5C4C2 + C11C8C7C6C5C4C3 + C11C9C5C4C3C2C1 + C11C9C6C4C3C2C1 + C11C9C6C5C3C2C1 + C11C9C6C5C4C2C1 + C11C9C6C5C4C3C1 + C11C9C6C5C4C3C2 + C11C9C7C4C3C2C1 + C11C9C7C5C3C2C1 + C11C9C7C5C4C2C1 + C11C9C7C5C4C3C1 + C11C9C7C5C4C3C2 + C11C9C7C6C3C2C1 + C11C9C7C6C4C2C1 + C11C9C7C6C4C3C1 + C11C9C7C6C4C3C2 + C11C9C7C6C5C2C1 + C11C9C7C6C5C3C1 + C11C9C7C6C5C3C2 + C11C9C7C6C5C4C1 + C11C9C7C6C5C4C2 + C11C9C7C6C5C4C3 + C11C9C8C4C3C2C1 + C11C9C8C5C3C2C1 + C11C9C8C5C4C2C1 + C11C9C8C5C4C3C1 + C11C9C8C5C4C3C2 + C11C9C8C6C3C2C1 + C11C9C8C6C4C2C1 + C11C9C8C6C4C3C1 + C11C9C8C6C4C3C2 + C11C9C8C6C5C2C1 + C11C9C8C6C5C3C1 + C11C9C8C6C5C3C2 + C11C9C8C6C5C4C1 + C11C9C8C6C5C4C2 + C11C9C8C6C5C4C3 + C11C9C8C7C3C2C1 + C11C9C8C7C4C2C1 + C11C9C8C7C4C3C1 + C11C9C8C7C4C3C2 + C11C9C8C7C5C2C1 + C11C9C8C7C5C3C1 + C11C9C8C7C5C3C2 + C11C9C8C7C5C4C1 + C11C9C8C7C5C4C2 + C11C9C8C7C5C4C3 + C11C9C8C7C6C2C1 + C11C9C8C7C6C3C1 + C11C9C8C7C6C3C2 + C11C9C8C7C6C4C1 + C11C9C8C7C6C4C2 + C11C9C8C7C6C4C3 + C11C9C8C7C6C5C1 + C11C9C8C7C6C5C2 + C11C9C8C7C6C5C3 + C11C9C8C7C6C5C4 + C11C10C5C4C3C2C1 + C11C10C6C4C3C2C1 + C11C10C6C5C3C2C1
24
+ C11C10C6C5C4C2C1 + C11C10C6C5C4C3C1 + C11C10C6C5C4C3C2 + C11C10C7C4C3C2C1 + C11C10C7C5C3C2C1 + C11C10C7C5C4C2C1 + C11C10C7C5C4C3C1 + C11C10C7C5C4C3C2 + C11C10C7C6C3C2C1 + C11C10C7C6C4C2C1 + C11C10C7C6C4C3C1 + C11C10C7C6C4C3C2 + C11C10C7C6C5C2C1 + C11C10C7C6C5C3C1 + C11C10C7C6C5C3C2 + C11C10C7C6C5C4C1 + C11C10C7C6C5C4C2 + C11C10C7C6C5C4C3 + C11C10C8C4C3C2C1 + C11C10C8C5C3C2C1 + C11C10C8C5C4C2C1 + C11C10C8C5C4C3C1 + C11C10C8C5C4C3C2 + C11C10C8C6C3C2C1 + C11C10C8C6C4C2C1 + C11C10C8C6C4C3C1 + C11C10C8C6C4C3C2 + C11C10C8C6C5C2C1 + C11C10C8C6C5C3C1 + C11C10C8C6C5C3C2 + C11C10C8C6C5C4C1 + C11C10C8C6C5C4C2 + C11C10C8C6C5C4C3 + C11C10C8C7C3C2C1 + C11C10C8C7C4C2C1 + C11C10C8C7C4C3C1 + C11C10C8C7C4C3C2 + C11C10C8C7C5C2C1 + C11C10C8C7C5C3C1 + C11C10C8C7C5C3C2 + C11C10C8C7C5C4C1 + C11C10C8C7C5C4C2 + C11C10C8C7C5C4C3 + C11C10C8C7C6C2C1 + C11C10C8C7C6C3C1 + C11C10C8C7C6C3C2 + C11C10C8C7C6C4C1 + C11C10C8C7C6C4C2 + C11C10C8C7C6C4C3 + C11C10C8C7C6C5C1 + C11C10C8C7C6C5C2 + C11C10C8C7C6C5C3 + C11C10C8C7C6C5C4 + C11C10C9C4C3C2C1 + C11C10C9C5C3C2C1 + C11C10C9C5C4C2C1 + C11C10C9C5C4C3C1 + C11C10C9C5C4C3C2 + C11C10C9C6C3C2C1 + C11C10C9C6C4C2C1 + C11C10C9C6C4C3C1 + C11C10C9C6C4C3C2 + C11C10C9C6C5C2C1 + C11C10C9C6C5C3C1 + C11C10C9C6C5C3C2 + C11C10C9C6C5C4C1 + C11C10C9C6C5C4C2 + C11C10C9C6C5C4C3 + C11C10C9C7C3C2C1 + C11C10C9C7C4C2C1 + C11C10C9C7C4C3C1 + C11C10C9C7C4C3C2 + C11C10C9C7C5C2C1 + C11C10C9C7C5C3C1 + C11C10C9C7C5C3C2 + C11C10C9C7C5C4C1 + C11C10C9C7C5C4C2 + C11C10C9C7C5C4C3 + C11C10C9C7C6C2C1 + C11C10C9C7C6C3C1 + C11C10C9C7C6C3C2 + C11C10C9C7C6C4C1 + C11C10C9C7C6C4C2 + C11C10C9C7C6C4C3 + C11C10C9C7C6C5C1 + C11C10C9C7C6C5C2 + C11C10C9C7C6C5C3 + C11C10C9C7C6C5C4 + C11C10C9C8C3C2C1 + C11C10C9C8C4C2C1 + C11C10C9C8C4C3C1 + C11C10C9C8C4C3C2 + C11C10C9C8C5C2C1 + C11C10C9C8C5C3C1 + C11C10C9C8C5C3C2 + C11C10C9C8C5C4C1 + C11C10C9C8C5C4C2 + C11C10C9C8C5C4C3 + C11C10C9C8C6C2C1 + C11C10C9C8C6C3C1 + C11C10C9C8C6C3C2 + C11C10C9C8C6C4C1 + C11C10C9C8C6C4C2 + C11C10C9C8C6C4C3 + C11C10C9C8C6C5C1 + C11C10C9C8C6C5C2 + C11C10C9C8C6C5C3 + C11C10C9C8C6C5C4 + C11C10C9C8C7C2C1 + C11C10C9C8C7C3C1 + C11C10C9C8C7C3C2 + C11C10C9C8C7C4C1 + C11C10C9C8C7C4C2 + C11C10C9C8C7C4C3 + C11C10C9C8C7C5C1 + C11C10C9C8C7C5C2 + C11C10C9C8C7C5C3 + C11C10C9C8C7C5C4 + C11C10C9C8C7C6C1 + C11C10C9C8C7C6C2 + C11C10C9C8C7C6C3 + C11C10C9C8C7C6C4 + C11C10C9C8C7C6C5 165(D8+E8) = + C8C7C6C5C4C3C2C1 + C9C7C6C5C4C3C2C1 + C9C8C6C5C4C3C2C1 + C9C8C7C5C4C3C2C1 + C9C8C7C6C4C3C2C1 + C9C8C7C6C5C3C2C1 + C9C8C7C6C5C4C2C1 + C9C8C7C6C5C4C3C1 + C9C8C7C6C5C4C3C2 (11D8) + C10C7C6C5C4C3C2C1 + C10C8C6C5C4C3C2C1 + C10C8C7C5C4C3C2C1 + C10C8C7C6C4C3C2C1 + C10C8C7C6C5C3C2C1 + C10C8C7C6C5C4C2C1 + C10C8C7C6C5C4C3C1 + C10C8C7C6C5C4C3C2 + C10C9C6C5C4C3C2C1 + C10C9C7C5C4C3C2C1 + C10C9C7C6C4C3C2C1 + C10C9C7C6C5C3C2C1 + C10C9C7C6C5C4C2C1 + C10C9C7C6C5C4C3C1 + C10C9C7C6C5C4C3C2 + C10C9C8C5C4C3C2C1 + C10C9C8C6C4C3C2C1 + C10C9C8C6C5C3C2C1 + C10C9C8C6C5C4C2C1 + C10C9C8C6C5C4C3C1 + C10C9C8C6C5C4C3C2 + C10C9C8C7C4C3C2C1 + C10C9C8C7C5C3C2C1 + C10C9C8C7C5C4C2C1 + C10C9C8C7C5C4C3C1 + C10C9C8C7C5C4C3C2 + C10C9C8C7C6C3C2C1 + C10C9C8C7C6C4C2C1 + C10C9C8C7C6C4C3C1 + C10C9C8C7C6C4C3C2 + C10C9C8C7C6C5C2C1 + C10C9C8C7C6C5C3C1 + C10C9C8C7C6C5C3C2 + C10C9C8C7C6C5C4C1 + C10C9C8C7C6C5C4C2 + C10C9C8C7C6C5C4C3 + C11C7C6C5C4C3C2C1 + C11C8C6C5C4C3C2C1 + C11C8C7C5C4C3C2C1
25
+ C11C8C7C6C4C3C2C1 + C11C8C7C6C5C3C2C1 + C11C8C7C6C5C4C2C1 + C11C8C7C6C5C4C3C1 + C11C8C7C6C5C4C3C2 + C11C9C6C5C4C3C2C1 + C11C9C7C5C4C3C2C1 + C11C9C7C6C4C3C2C1 + C11C9C7C6C5C3C2C1 + C11C9C7C6C5C4C2C1 + C11C9C7C6C5C4C3C1 + C11C9C7C6C5C4C3C2 + C11C9C8C5C4C3C2C1 + C11C9C8C6C4C3C2C1 + C11C9C8C6C5C3C2C1 + C11C9C8C6C5C4C2C1 + C11C9C8C6C5C4C3C1 + C11C9C8C6C5C4C3C2 + C11C9C8C7C4C3C2C1 + C11C9C8C7C5C3C2C1 + C11C9C8C7C5C4C2C1 + C11C9C8C7C5C4C3C1 + C11C9C8C7C5C4C3C2 + C11C9C8C7C6C3C2C1 + C11C9C8C7C6C4C2C1 + C11C9C8C7C6C4C3C1 + C11C9C8C7C6C4C3C2 + C11C9C8C7C6C5C2C1 + C11C9C8C7C6C5C3C1 + C11C9C8C7C6C5C3C2 + C11C9C8C7C6C5C4C1 + C11C9C8C7C6C5C4C2 + C11C9C8C7C6C5C4C3 + C11C10C6C5C4C3C2C1 + C11C10C7C5C4C3C2C1 + C11C10C7C6C4C3C2C1 + C11C10C7C6C5C3C2C1 + C11C10C7C6C5C4C2C1 + C11C10C7C6C5C4C3C1 + C11C10C7C6C5C4C3C2 + C11C10C8C5C4C3C2C1 + C11C10C8C6C4C3C2C1 + C11C10C8C6C5C3C2C1 + C11C10C8C6C5C4C2C1 + C11C10C8C6C5C4C3C1 + C11C10C8C6C5C4C3C2 + C11C10C8C7C4C3C2C1 + C11C10C8C7C5C3C2C1 + C11C10C8C7C5C4C2C1 + C11C10C8C7C5C4C3C1 + C11C10C8C7C5C4C3C2 + C11C10C8C7C6C3C2C1 + C11C10C8C7C6C4C2C1 + C11C10C8C7C6C4C3C1 + C11C10C8C7C6C4C3C2 + C11C10C8C7C6C5C2C1 + C11C10C8C7C6C5C3C1 + C11C10C8C7C6C5C3C2 + C11C10C8C7C6C5C4C1 + C11C10C8C7C6C5C4C2 + C11C10C8C7C6C5C4C3 + C11C10C9C5C4C3C2C1 + C11C10C9C6C4C3C2C1 + C11C10C9C6C5C3C2C1 + C11C10C9C6C5C4C2C1 + C11C10C9C6C5C4C3C1 + C11C10C9C6C5C4C3C2 + C11C10C9C7C4C3C2C1 + C11C10C9C7C5C3C2C1 + C11C10C9C7C5C4C2C1 + C11C10C9C7C5C4C3C1 + C11C10C9C7C5C4C3C2 + C11C10C9C7C6C3C2C1 + C11C10C9C7C6C4C2C1 + C11C10C9C7C6C4C3C1 + C11C10C9C7C6C4C3C2 + C11C10C9C7C6C5C2C1 + C11C10C9C7C6C5C3C1 + C11C10C9C7C6C5C3C2 + C11C10C9C7C6C5C4C1 + C11C10C9C7C6C5C4C2 + C11C10C9C7C6C5C4C3 + C11C10C9C8C4C3C2C1 + C11C10C9C8C5C3C2C1 + C11C10C9C8C5C4C2C1 + C11C10C9C8C5C4C3C1 + C11C10C9C8C5C4C3C2 + C11C10C9C8C6C3C2C1 + C11C10C9C8C6C4C2C1 + C11C10C9C8C6C4C3C1 + C11C10C9C8C6C4C3C2 + C11C10C9C8C6C5C2C1 + C11C10C9C8C6C5C3C1 + C11C10C9C8C6C5C3C2 + C11C10C9C8C6C5C4C1 + C11C10C9C8C6C5C4C2 + C11C10C9C8C6C5C4C3 + C11C10C9C8C7C3C2C1 + C11C10C9C8C7C4C2C1 + C11C10C9C8C7C4C3C1 + C11C10C9C8C7C4C3C2 + C11C10C9C8C7C5C2C1 + C11C10C9C8C7C5C3C1 + C11C10C9C8C7C5C3C2 + C11C10C9C8C7C5C4C1 + C11C10C9C8C7C5C4C2 + C11C10C9C8C7C5C4C3 + C11C10C9C8C7C6C2C1 + C11C10C9C8C7C6C3C1 + C11C10C9C8C7C6C3C2 + C11C10C9C8C7C6C4C1 + C11C10C9C8C7C6C4C2 + C11C10C9C8C7C6C4C3 + C11C10C9C8C7C6C5C1 + C11C10C9C8C7C6C5C2 + C11C10C9C8C7C6C5C3 + C11C10C9C8C7C6C5C4 55(D9+E9) = + C9C8C7C6C5C4C3C2C1 + C10C8C7C6C5C4C3C2C1 + (11D9) C10C9C7C6C5C4C3C2C1 + C10C9C8C6C5C4C3C2C1 + C10C9C8C7C5C4C3C2C1 + C10C9C8C7C6C4C3C2C1 + C10C9C8C7C6C5C3C2C1 + C10C9C8C7C6C5C4C2C1 + C10C9C8C7C6C5C4C3C1 + C10C9C8C7C6C5C4C3C2 + C11C8C7C6C5C4C3C2C1 + C11C9C7C6C5C4C3C2C1 + C11C9C8C6C5C4C3C2C1 + C11C9C8C7C5C4C3C2C1 + C11C9C8C7C6C4C3C2C1 + C11C9C8C7C6C5C3C2C1 + C11C9C8C7C6C5C4C2C1 + C11C9C8C7C6C5C4C3C1 + C11C9C8C7C6C5C4C3C2 + C11C10C7C6C5C4C3C2C1 + C11C10C8C6C5C4C3C2C1 + C11C10C8C7C5C4C3C2C1 + C11C10C8C7C6C4C3C2C1 + C11C10C8C7C6C5C3C2C1 + C11C10C8C7C6C5C4C2C1 + C11C10C8C7C6C5C4C3C1 + C11C10C8C7C6C5C4C3C2 + C11C10C9C6C5C4C3C2C1 + C11C10C9C7C5C4C3C2C1 + C11C10C9C7C6C4C3C2C1 + C11C10C9C7C6C5C3C2C1 + C11C10C9C7C6C5C4C2C1 + C11C10C9C7C6C5C4C3C1 + C11C10C9C7C6C5C4C3C2 + C11C10C9C8C5C4C3C2C1 + C11C10C9C8C6C4C3C2C1 + C11C10C9C8C6C5C3C2C1 + C11C10C9C8C6C5C4C2C1 + C11C10C9C8C6C5C4C3C1 + C11C10C9C8C6C5C4C3C2 + C11C10C9C8C7C4C3C2C1 + C11C10C9C8C7C5C3C2C1 + C11C10C9C8C7C5C4C2C1 + C11C10C9C8C7C5C4C3C1 + C11C10C9C8C7C5C4C3C2 + C11C10C9C8C7C6C3C2C1 + C11C10C9C8C7C6C4C2C1 + C11C10C9C8C7C6C4C3C1 + C11C10C9C8C7C6C4C3C2 + C11C10C9C8C7C6C5C2C1 + C11C10C9C8C7C6C5C3C1
26
+ C11C10C9C8C7C6C5C3C2 + C11C10C9C8C7C6C5C4C1 + C11C10C9C8C7C6C5C4C2 + C11C10C9C8C7C6C5C4C3 11(D10+E10) = + C10C9C8C7C6C5C4C3C2C1 + C11C9C8C7C6C5C4C3C2C1 (11D10) + C11C10C8C7C6C5C4C3C2C1 + C11C10C9C7C6C5C4C3C2C1 + C11C10C9C8C6C5C4C3C2C1 + C11C10C9C8C7C5C4C3C2C1 + C11C10C9C8C7C6C4C3C2C1 + C11C10C9C8C7C6C5C3C2C1 + C11C10C9C8C7C6C5C4C2C1 + C11C10C9C8C7C6C5C4C3C1 + C11C10C9C8C7C6C5C4C3C2 (D11+E11) = + C11C10C9C8C7C6C5C4C3C2C1 (11D11) As usual the (11D1) can be achieved by
All even Ci. Then (11D10) not satisfied because the left member not divisible by 4. Nine even and two odd Ci . Let even C1 C2 C3 C4 C5 C6 C7 C8 C9 while odd C10 C11. Then
the (11D2) not satisfied having the factor C10C11 making odd the whole right member. Seven even and four odd Ci. Let even C1 C2 C3 C4 C5 C6 C7 while odd C8 C9 C10 C11. Then
the(11D4) not satisfied. Five even and six odd Ci. Let even C1 C2 C3 C4 C5 while odd C6 C7 C8 C9 C10 C11. Then
the (11D6) not satisfied. Three even and eight odd Ci. Let even C1 C2 C3 while odd C4 C5 C6 C7 C8 C9 C10 C11. Then
the (11D8) not satisfied. One even and ten odd Ci. Let even C1 while odd C2 C3 C4 C5 C6 C7 C8 C9 C10 C11. Then
the (11D10) not satisfied.
Any other permutation of indexes gives the same result
27
Appendix E
List of program (in Visual Basic 6) to produce the equation system (8).
The degree of Fermat’ equation is defined by nPol variable marked by <<< The result output is on the immediate window. Dim pol() As String, Mon() As String, fact() As String, var() As String Dim Out As String Sub main() Dim i As Long, nPol As Long Dim Mon() As String, fact() As String, var As String nPol = 7 ‘<<<<<<<<<<< ReDim Preserve pol(nPol) pol(1) = "+X1,-C1" For i = 2 To nPol pol(i) = Mult(i, pol(i - 1)) Next '--sort ' Debug.Print nPol, pol(nPol) ReDim Mon(nPol) fact = Split(pol(nPol), ",") 'solo ultimo For i = 1 To nPol - 1 var = "X" & (nPol - i) For j = 1 To UBound(fact) If InStr(1, fact(j), var) > 0 Then Mon(nPol - i) = Mon(nPol - i) & " " & fact(j) fact(j) = "" End If Next Mon(nPol - i) = Replace(Mon(nPol - i), var, "") Debug.Print Binom(nPol, i) & "(D^" & i & "+E^" & i & ") =", Mon(nPol - i) Next For j = 1 To UBound(fact) If fact(j) <> "" Then Mon(0) = Mon(0) & fact(j) End If Next Debug.Print "(D^" & nPol & "+E^" & nPol & ") =", Mon(0) End Sub Function Mult(i As Long, nPol As String) As String Dim nMon() As String, nFact1(1) As String, nFact2() As String, nFact3() As String, pol As String ' Debug.Print i, nPol nFact1(0) = "X" nFact1(1) = "-C" & i
28
nFact2 = Split(nPol, ",") ReDim Preserve nFact3(UBound(nFact2)) nFact3(0) = incrX(nFact2(0)) & "," For j = 1 To UBound(nFact2) 'moltiplica per X nFact3(j) = incrX(nFact2(j)) & "," Next start = UBound(nFact3) + 1 ReDim Preserve nFact3(UBound(nFact3) + UBound(nFact2) + 1) For j = 0 To UBound(nFact2) 'Moltiplica per Cn nFact3(start + j) = mulSign(nFact1(1), nFact2(j)) & "," Next pol = Join(nFact3) Mult = Mid(pol, 1, Len(pol) - 1) End Function Function incrX(fact As String) As String Dim ind As Long, n As Long ind = InStr(fact, "X") If ind = 0 Then incrX = fact & "X1" Exit Function End If n = Mid(fact, ind + 1) + 1 incrX = Mid(fact, 1, ind) & n End Function Function mulSign(fact1 As String, fact2 As String) As String Dim sig1 As String, sig2 As String, sig As String fact1 = Trim(fact1) fact2 = Trim(fact2) sig1 = Mid(fact1, 1, 1) sig2 = Mid(fact2, 1, 1) If sig1 = "-" And sig2 = "-" Then sig = "+" If sig1 = "-" And sig2 = "+" Then sig = "-" If sig1 = "+" And sig2 = "-" Then sig = "-" If sig1 = "+" And sig2 = "+" Then sig = "+" mulSign = sig & Mid(fact1, 2) & Mid(fact2, 2) End Function Function sort(n As Long, pol As String) As String Dim Mon() As String, fact() As String, var As String ReDim Mon(n) fact = Split(pol, ",") For i = 1 To n var = "X" & (n - i) For j = 1 To UBound(fact) If InStr(1, fact(j), var) > 0 Then Mon(n - i) = Mon(i) & " " & fact(j)
29
30
fact(j) = "" End If Next Next End Function Function Binom(n As Long, k As Long) As String Dim i As Long Dim factN As Long, factK, factKN As Long Binom = "" If n = k Then Exit Function If k = 1 Or k = n - 1 Then Binom = n Exit Function End If factN = 1 For i = 1 To n factN = factN * i Next factK = 1 For i = 1 To k factK = factK * i Next factKN = 1 For i = 1 To (n - k) factKN = factKN * i Next Binom = factN / (factKN * factK) End Function