Dans les expressions qui suivent, la fonction H désigne en réalité la fonction \underline{H}.

Expression de la variance pour d=3

2 H_{2,1,1}-H_{2,2}-4 H_{1,2,1}+2 H_{1,1,2}+H_{1,1}
                                  
Expression de la variance pour d=4

-2 H_{2,2,1,1}+6 H_{1,2,1,1,1}+4 H_{1,1,2,2}-2 H_{1,2,1,2}-
14 H_{1,1,2,1,1}-2 H_{1,2,2,1}+H_{1,1,1}+6 H_{1,1,1,2,1}-2 
H_{2,1,1,2}-2 H_{2,1,2,1}+6 H_{2,1,1,1,1}+H_{2,2,2}

Expression de la variance pour d=5
                                   
2 H_{2,1,2,1,2}-6 H_{1,2,1,1,1,2}+20 H_{1,1,2,1,1,1,1}-6 H_{
1,1,1,1,2,2}+2 H_{1,2,2,1,2}-H_{2,2,2,2}-6 H_{2,1,1,1,1,2}+2 
H_{2,2,2,1,1}-6 H_{2,1,1,1,2,1}-6 H_{2,1,1,2,1,1}+20 H_{1,1,1
,1,2,1,1}+2 H_{2,1,1,2,2}+2 H_{1,1,2,2,2}-6 H_{1,2,2,1,1,1}+2
 H_{2,1,2,2,1}+2 H_{2,2,1,2,1}+2 H_{2,2,1,1,2}+H_{1,1,1,1}-6
 H_{1,2,1,2,1,1}-6 H_{1,1,2,1,2,1}+14 H_{1,1,1,2,1,2}-6 H_{1
,1,2,2,1,1}-6 H_{1,2,1,1,2,1}-6 H_{2,2,1,1,1,1}-6 H_{1,1,2,1,1
,2}+2 H_{1,2,1,2,2}+2 H_{1,2,2,2,1}+20 H_{2,1,1,1,1,1,1}+20 
H_{1,2,1,1,1,1,1}-50 H_{1,1,1,2,1,1,1}-6 H_{2,1,2,1,1,1}+14 H_
{1,1,1,2,2,1}

Expression de la variance pour d=6
                                    
6 H_{1,1,2,2,1,2,1}+70 H_{1,2,1,1,1,1,1,1,1}+50 H_{1,1,1,1,2,1,
1,2}-20 H_{1,2,1,1,2,1,1,1}+6 H_{1,2,1,2,2,1,1}+6 H_{1,1,1,2,2
,2,1}-20 H_{1,2,1,1,1,2,1,1}-2 H_{2,1,1,2,2,2}-2 H_{2,2,1,2,1,
2}-2 H_{2,1,2,1,2,2}-2 H_{2,1,2,2,1,2}-2 H_{1,2,2,2,1,2}-20 
H_{1,1,1,2,1,1,1,2}-20 H_{2,2,1,1,1,1,1,1}-20 H_{1,1,1,2,1,1,2,1
}-20 H_{1,1,1,1,1,2,2,1}+6 H_{2,2,1,1,1,1,2}+6 H_{1,2,1,1,2,2,
1}+6 H_{2,2,1,1,1,2,1}+H_{2,2,2,2,2}-2 H_{2,2,1,1,2,2}-20 H_{
{1,2,1,1,1,1,2,1}+6 H_{2,2,1,1,2,1,1}+6 H_{2,2,1,2,1,1,1}+6 H_{
{1,1,2,2,2,1,1}+6 H_{1,2,1,1,2,1,2}-2 H_{2,2,1,2,2,1}+6 H_{2,2
,2,1,1,1,1}-2 H_{2,2,2,1,1,2}-2 H_{2,2,2,1,2,1}+6 H_{2,1,1,2,1
,1,2}+6 H_{1,1,2,1,2,1,2}-2 H_{2,2,2,2,1,1}-20 H_{2,1,1,2,1,1,
1,1}-20 H_{1,2,1,1,1,1,1,2}-20 H_{1,1,1,1,1,2,1,2}-20 H_{2,1,2
,1,1,1,1,1}+6 H_{2,1,2,1,1,1,2}+6 H_{2,1,2,1,1,2,1}-20 H_{1,1,
1,2,2,1,1,1}-20 H_{1,1,2,2,1,1,1,1}+6 H_{2,1,2,1,2,1,1}+6 H_{1
,2,1,2,1,2,1}-182 H_{1,1,1,1,2,1,1,1,1}+6 H_{2,1,2,2,1,1,1}+6 H
_{1,2,2,1,1,1,2}+6 H_{1,1,2,1,1,2,2}-2 H_{1,2,2,1,2,2}-2 H_{1
,1,2,2,2,2}+6 H_{1,2,2,1,1,2,1}-20 H_{1,2,2,1,1,1,1,1}-14 H_{1
,1,1,1,2,2,2}+6 H_{1,1,2,2,1,1,2}+70 H_{1,1,1,2,1,1,1,1,1}+70 H
_{1,1,2,1,1,1,1,1,1}-2 H_{1,2,2,2,2,1}-20 H_{1,1,2,1,1,1,2,1}+6
 H_{2,1,1,1,1,2,2}+6 H_{1,1,1,2,2,1,2}+6 H_{1,1,1,2,1,2,2}-20
 H_{1,1,2,1,1,1,1,2}+6 H_{1,2,2,1,2,1,1}+50 H_{1,1,1,1,2,1,2,1}
}-2 H_{2,1,2,2,2,1}+6 H_{1,1,2,1,2,2,1}-20 H_{2,1,1,1,1,1,2,1}
-20 H_{2,1,1,1,1,2,1,1}+6 H_{1,2,1,1,1,2,2}-20 H_{1,1,2,1,2,1,1
,1}-20 H_{1,2,1,2,1,1,1,1}+6 H_{1,2,2,2,1,1,1}-2 H_{1,2,1,2,2,
2}-20 H_{2,1,1,1,1,1,1,2}+50 H_{1,1,1,1,2,2,1,1}-20 H_{1,1,1,2
,1,2,1,1}-20 H_{1,1,2,1,1,2,1,1}+6 H_{2,1,1,1,2,2,1}+70 H_{2,1
,1,1,1,1,1,1,1}+6 H_{2,1,1,1,2,1,2}-20 H_{2,1,1,1,2,1,1,1}+70 H
_{1,1,1,1,1,2,1,1,1}+6 H_{1,2,1,2,1,1,2}+6 H_{2,1,1,2,2,1,1}+6
 H_{2,1,1,2,1,2,1}+H_{1,1,1,1,1}

Expression de la variance pour d=7
                                      
-70 H_{1,1,1,1,2,2,1,1,1,1}-6 H_{1,1,2,1,1,2,2,2}-70 H_{1,1,2,1
,1,1,1,2,1,1}-70 H_{1,1,1,1,2,1,2,1,1,1}-6 H_{1,2,1,2,2,1,1,2}-6
 H_{2,2,1,2,1,1,2,1}+20 H_{1,1,1,2,1,1,2,1,2}-6 H_{2,1,2,1,2,1,
1,2}-6 H_{1,1,2,1,2,2,1,2}-70 H_{1,1,2,1,1,2,1,1,1,1}-6 H_{2,1
,2,1,2,2,1,1}-6 H_{1,2,2,1,1,1,2,2}+20 H_{2,1,2,1,1,2,1,1,1}+20
 H_{1,2,2,1,1,2,1,1,1}+20 H_{1,1,2,1,1,2,1,2,1}+20 H_{2,1,1,1,1
,1,1,2,2}+20 H_{2,1,1,2,1,1,1,2,1}-70 H_{1,1,1,2,1,1,1,1,1,2}+
252 H_{1,1,1,1,1,1,2,1,1,1,1}+20 H_{2,1,1,1,2,1,1,2,1}-6 H_{1,2
,2,2,1,1,2,1}+20 H_{1,2,1,2,2,1,1,1,1}+20 H_{2,1,2,1,1,1,2,1,1}+
20 H_{1,2,1,1,1,2,1,2,1}+20 H_{2,2,1,1,1,1,2,1,1}+20 H_{1,1,1,1
,2,2,1,2,1}+252 H_{1,1,2,1,1,1,1,1,1,1,1}+20 H_{1,1,2,1,2,2,1,1,1
}+20 H_{2,2,1,1,2,1,1,1,1}-6 H_{2,1,1,1,2,2,1,2}-6 H_{1,2,1,2,
1,2,2,1}-H_{2,2,2,2,2,2}+2 H_{2,1,2,2,1,2,2}-70 H_{1,1,1,1,2,1,
1,1,2,1}-6 H_{1,2,1,2,2,2,1,1}+20 H_{1,1,2,1,1,2,2,1,1}-6 H_{2
,1,1,1,2,1,2,2}-6 H_{1,1,1,2,1,2,2,2}+20 H_{2,1,2,2,1,1,1,1,1}+
20 H_{1,1,1,2,2,2,1,1,1}+20 H_{1,1,1,1,2,1,2,1,2}+2 H_{1,2,1,2,
2,2,2}+20 H_{1,2,1,1,1,1,1,2,2}-70 H_{2,1,1,1,1,1,1,1,1,2}-6 H_
{2,1,1,2,2,2,1,1}-70 H_{1,1,2,2,1,1,1,1,1,1}+20 H_{1,2,1,1,2,1,1
,1,2}-70 H_{1,2,1,2,1,1,1,1,1,1}-6 H_{2,2,1,2,2,1,1,1}+20 H_{2
,1,1,2,1,1,1,1,2}-70 H_{1,2,1,1,1,1,2,1,1,1}-70 H_{1,1,1,1,1,1,2,
1,2,1}-6 H_{1,2,2,2,1,1,1,2}-6 H_{2,1,2,1,1,2,1,2}-6 H_{2,2,2,
1,1,1,1,2}-6 H_{2,1,2,2,1,2,1,1}+20 H_{1,1,2,1,1,1,2,2,1}+20 H_
{1,2,1,1,2,1,2,1,1}-70 H_{2,1,1,1,2,1,1,1,1,1}-6 H_{1,1,2,2,1,1,
2,2}-70 H_{1,1,1,1,1,1,2,1,1,2}-70 H_{2,1,1,1,1,1,1,1,2,1}+20 H
_{1,2,1,1,1,1,2,2,1}-6 H_{1,1,2,2,2,2,1,1}+20 H_{1,1,2,1,1,1,2,1
,2}+2 H_{2,2,2,2,1,1,2}-6 H_{2,1,2,1,1,2,2,1}-6 H_{2,2,1,1,1,1
,2,2}-70 H_{1,1,2,1,2,1,1,1,1,1}+182 H_{1,1,1,1,1,2,1,1,1,2}+20
 H_{2,1,1,1,1,2,1,2,1}+20 H_{1,1,1,2,1,2,1,2,1}+252 H_{2,1,1,1,
1,1,1,1,1,1,1}+20 H_{1,2,1,1,2,2,1,1,1}+20 H_{1,1,2,2,1,1,2,1,1}
+20 H_{1,2,1,2,1,1,1,2,1}-70 H_{2,1,1,1,1,2,1,1,1,1}+20 H_{1,1,
1,2,1,2,1,1,2}-6 H_{1,1,2,2,2,1,1,2}-6 H_{2,2,2,1,1,1,2,1}+2 H_
{2,2,1,2,2,2,1}-70 H_{1,1,1,2,1,1,2,1,1,1}+2 H_{1,1,2,2,2,2,2}-
70 H_{2,1,1,2,1,1,1,1,1,1}+20 H_{2,1,2,1,1,1,1,2,1}+2 H_{2,2,2,
2,1,2,1}+182 H_{1,1,1,1,1,2,1,2,1,1}-6 H_{2,1,1,2,1,2,2,1}+20 H
_{2,2,1,1,1,1,1,2,1}+2 H_{2,1,1,2,2,2,2}+2 H_{2,2,2,1,1,2,2}+20
 H_{1,2,1,1,2,1,1,2,1}-70 H_{1,1,1,2,1,1,1,2,1,1}-6 H_{1,1,2,1,
2,2,2,1}+20 H_{1,2,2,1,1,1,1,2,1}-6 H_{2,2,1,1,1,2,2,1}-70 H_{
1,1,1,2,2,1,1,1,1,1}-6 H_{1,1,2,1,2,1,2,2}-6 H_{2,2,1,1,2,1,1,2}
-70 H_{1,1,1,1,1,1,2,2,1,1}+2 H_{1,2,2,2,2,2,1}+20 H_{2,2,1,1,1
,1,1,1,2}-70 H_{1,2,1,1,1,1,1,1,2,1}-6 H_{2,2,2,1,1,2,1,1}-70 H
_{1,1,1,1,2,1,1,1,1,2}+252 H_{1,1,1,2,1,1,1,1,1,1,1}-6 H_{2,2,2,
1,2,1,1,1}+20 H_{2,2,1,1,1,2,1,1,1}+20 H_{2,1,1,2,1,2,1,1,1}-6 
H_{2,1,1,2,1,2,1,2}+2 H_{2,2,2,1,2,2,1}-6 H_{1,2,2,1,1,2,2,1}-6
 H_{1,2,2,1,1,2,1,2}-6 H_{2,2,1,1,2,2,1,1}-6 H_{1,2,1,2,2,1,2,1
}-6 H_{1,1,2,2,2,1,2,1}-6 H_{1,2,2,2,1,2,1,1}-6 H_{1,2,2,1,2,1
,2,1}+2 H_{2,1,2,1,2,2,2}+20 H_{2,2,2,1,1,1,1,1,1}+20 H_{1,2,2
,1,1,1,2,1,1}-70 H_{2,2,1,1,1,1,1,1,1,1}-6 H_{1,2,1,1,1,2,2,2}-
70 H_{1,1,2,1,1,1,2,1,1,1}-6 H_{1,1,1,1,2,2,2,2}+20 H_{1,1,2,1,
2,1,1,2,1}+20 H_{1,1,1,1,2,1,2,2,1}-6 H_{1,2,2,1,2,2,1,1}+20 H_
{2,1,1,1,2,1,2,1,1}-70 H_{1,1,2,1,1,1,1,1,2,1}-6 H_{1,2,1,2,1,1,
2,2}-70 H_{2,1,1,1,1,1,1,2,1,1}-6 H_{2,2,2,2,1,1,1,1}-6 H_{2,1
,2,2,1,1,2,1}-70 H_{1,1,1,2,1,1,1,1,2,1}-6 H_{1,1,1,2,2,2,1,2}+
20 H_{2,1,1,2,1,1,2,1,1}+20 H_{2,1,1,1,1,1,2,1,2}+20 H_{1,1,2,2
,1,1,1,2,1}+2 H_{1,2,2,1,2,2,2}+2 H_{2,2,2,2,2,1,1}-6 H_{2,1,1
,1,1,2,2,2}-50 H_{1,1,1,1,1,2,2,1,2}-672 H_{1,1,1,1,1,2,1,1,1,1,1
}-6 H_{1,1,2,2,1,2,2,1}+20 H_{1,2,2,1,1,1,1,1,2}-70 H_{2,1,2,1
,1,1,1,1,1,1}+20 H_{1,2,1,1,1,1,2,1,2}-70 H_{2,1,1,1,1,1,2,1,1,1}
}-6 H_{2,2,1,2,1,1,1,2}+252 H_{1,2,1,1,1,1,1,1,1,1,1}+2 H_{1,2,
2,2,2,1,2}+20 H_{2,1,2,1,1,1,1,1,2}-6 H_{2,2,1,1,1,2,1,2}+20 H_
{1,1,1,1,2,1,1,2,2}-6 H_{2,1,1,2,2,1,2,1}-6 H_{2,2,1,1,2,1,2,1}
+20 H_{1,1,2,1,1,2,1,1,2}+20 H_{1,2,1,2,1,2,1,1,1}-70 H_{1,2,1,
1,2,1,1,1,1,1}+20 H_{2,1,2,1,2,1,1,1,1}+20 H_{2,1,1,1,1,2,1,1,2}
+20 H_{2,1,1,1,1,1,2,2,1}-6 H_{2,1,2,2,2,1,1,1}+20 H_{1,1,2,2,2
,1,1,1,1}-6 H_{1,2,2,1,2,1,1,2}+20 H_{1,1,2,1,2,1,2,1,1}-6 H_{
1,2,1,1,2,2,1,2}+20 H_{1,1,1,1,1,1,2,2,2}-6 H_{2,1,1,2,2,1,1,2}+
20 H_{1,1,1,2,2,1,1,2,1}+20 H_{1,1,1,1,2,2,2,1,1}-50 H_{1,1,1,1
,1,2,1,2,2}+20 H_{1,1,1,2,1,1,2,2,1}+20 H_{1,2,2,1,2,1,1,1,1}-70
 H_{1,1,1,1,2,1,1,2,1,1}+20 H_{1,1,1,1,2,2,1,1,2}+20 H_{1,1,1,2
,2,1,2,1,1}-6 H_{2,1,1,1,2,2,2,1}+20 H_{1,1,2,2,1,2,1,1,1}+20 H
_{2,2,1,2,1,1,1,1,1}-50 H_{1,1,1,1,1,2,2,2,1}-6 H_{1,2,1,2,1,2,1
,2}+20 H_{1,1,2,1,1,1,1,2,2}+20 H_{1,1,1,2,1,1,1,2,2}+252 H_{1
,1,1,1,2,1,1,1,1,1,1}+H_{1,1,1,1,1,1}+20 H_{1,2,1,2,1,1,2,1,1}+20
 H_{1,2,1,1,1,2,1,1,2}-70 H_{1,1,2,1,1,1,1,1,1,2}+2 H_{1,2,2,2,
1,2,2}+2 H_{2,2,1,1,2,2,2}-6 H_{2,2,1,2,1,2,1,1}+20 H_{2,1,1,2
,2,1,1,1,1}+20 H_{2,1,1,1,2,2,1,1,1}+20 H_{1,1,2,1,2,1,1,1,2}+2
 H_{2,2,2,1,2,1,2}-6 H_{1,1,2,2,1,2,1,2}-6 H_{2,1,2,1,2,1,2,1}
+2 H_{2,2,1,2,1,2,2}+20 H_{1,2,1,2,1,1,1,1,2}-6 H_{2,1,2,2,1,1,
1,2}-6 H_{1,1,1,2,2,2,2,1}+2 H_{2,2,1,2,2,1,2}+20 H_{1,1,2,2,1
,1,1,1,2}+20 H_{2,1,1,1,1,2,2,1,1}-70 H_{1,2,1,1,1,2,1,1,1,1}-6
 H_{1,2,2,2,2,1,1,1}-70 H_{1,2,1,1,1,1,1,2,1,1}+20 H_{1,1,1,2,1
,2,2,1,1}+2 H_{2,1,2,2,2,1,2}+2 H_{2,1,2,2,2,2,1}+20 H_{1,2,2,
2,1,1,1,1,1}-70 H_{1,2,2,1,1,1,1,1,1,1}-6 H_{1,1,1,2,2,1,2,2}-70
 H_{1,1,1,2,1,2,1,1,1,1}+20 H_{2,1,1,1,2,1,1,1,2}-6 H_{1,2,1,1,
2,1,2,2}-6 H_{1,2,1,1,2,2,2,1}+182 H_{1,1,1,1,1,2,1,1,2,1}+182 
H_{1,1,1,1,1,2,2,1,1,1}+20 H_{1,2,1,1,1,2,2,1,1}-6 H_{2,1,1,2,1,
1,2,2}-70 H_{1,2,1,1,1,1,1,1,1,2}-6 H_{2,1,2,1,1,1,2,2}+20 H_{
1,1,1,2,2,1,1,1,2}
                                     
Expression de la variance pour d=8

6 H_{1,1,2,2,1,2,1,2,2}+70 H_{1,2,1,1,1,2,1,1,1,1,2}+70 H_{2,2,
1,1,2,1,1,1,1,1,1}+6 H_{2,2,2,2,1,1,1,1,2}-20 H_{2,2,2,2,1,1,1,1,
1,1}+70 H_{2,1,2,1,1,1,1,1,1,1,2}+70 H_{2,1,1,2,1,1,1,1,1,1,2}-
20 H_{1,1,2,1,1,1,2,1,2,2}-20 H_{1,1,1,1,2,2,1,1,2,2}+70 H_{2,1
,2,1,2,1,1,1,1,1,1}+6 H_{1,2,1,1,2,2,2,2,1}+70 H_{2,1,1,1,1,2,1,1
,1,1,2}+70 H_{1,1,2,1,1,1,1,2,1,1,2}-252 H_{2,1,1,1,1,1,1,1,1,1,1
,2}-20 H_{1,2,1,1,2,1,1,1,2,2}+70 H_{1,1,2,1,2,2,1,1,1,1,1}-20 
H_{1,1,1,2,1,2,1,1,2,2}-20 H_{1,1,2,2,1,1,2,1,1,2}+70 H_{1,2,1,1
,2,1,1,1,1,1,2}+70 H_{1,2,2,1,1,1,1,1,2,1,1}-252 H_{1,1,1,1,2,1,1
,1,1,2,1,1}+70 H_{1,2,1,1,1,1,1,1,1,2,2}-20 H_{1,1,2,2,1,2,1,2,1,
1}-20 H_{2,1,1,2,2,1,1,1,1,2}+70 H_{1,1,1,2,2,2,1,1,1,1,1}+70 H
_{1,1,2,1,1,1,2,1,1,1,2}+6 H_{2,1,2,2,2,1,2,1,1}+6 H_{1,2,2,1,2,
1,2,1,2}+70 H_{2,1,1,1,1,2,1,2,1,1,1}-252 H_{1,1,1,2,2,1,1,1,1,1,
1,1}+6 H_{1,1,2,2,1,1,2,2,2}+6 H_{1,1,1,2,2,2,1,2,2}-20 H_{1,1
,1,1,2,2,2,1,1,2}+70 H_{1,1,2,1,1,1,2,1,2,1,1}+70 H_{2,1,1,1,1,1,
2,1,2,1,1}+70 H_{1,2,1,1,1,1,2,1,2,1,1}-20 H_{1,2,1,2,1,2,1,2,1,1
}+6 H_{1,2,1,1,2,2,1,2,2}+6 H_{1,2,1,1,2,2,2,1,2}-20 H_{1,2,2,
2,1,1,1,1,1,2}+6 H_{1,2,2,2,1,1,2,2,1}-252 H_{2,1,2,1,1,1,1,1,1,1
,1,1}-20 H_{1,1,2,1,1,1,2,2,2,1}+70 H_{1,1,1,2,2,1,1,1,1,1,2}+6
 H_{2,2,2,2,1,1,1,2,1}-252 H_{2,1,1,1,1,1,1,1,1,2,1,1}-2 H_{2,2
,2,2,2,1,2,1}+6 H_{2,1,1,1,2,2,2,1,2}-20 H_{1,1,1,2,1,2,2,2,1,1}
-20 H_{1,1,2,2,1,1,2,2,1,1}+672 H_{1,1,1,1,1,1,2,1,2,1,1,1}-252 
H_{1,2,1,1,1,1,1,1,1,1,1,2}-20 H_{2,2,1,1,1,2,1,1,1,2}-20 H_{2,1
,1,1,1,2,1,2,1,2}+6 H_{1,2,1,2,2,1,1,2,2}-252 H_{1,1,2,1,1,1,1,1,
1,2,1,1}-252 H_{1,2,2,1,1,1,1,1,1,1,1,1}-20 H_{1,1,2,1,2,1,2,1,2,
1}-20 H_{1,2,1,1,1,1,1,2,2,2}-20 H_{2,1,2,1,2,2,1,1,1,1}-20 H_{
{2,2,2,1,1,1,1,2,1,1}+70 H_{2,1,2,1,1,1,1,1,2,1,1}-20 H_{1,1,2,1,
1,2,2,1,1,2}+6 H_{2,1,1,2,1,2,2,1,2}-20 H_{1,1,1,1,2,2,1,2,2,1}-
20 H_{1,2,1,1,1,2,2,2,1,1}+70 H_{2,1,2,2,1,1,1,1,1,1,1}+70 H_{2
,1,2,1,1,1,1,1,1,2,1}+6 H_{1,1,1,2,2,2,2,1,2}-252 H_{1,2,1,1,2,1,
1,1,1,1,1,1}+6 H_{2,1,2,2,1,2,1,1,2}-20 H_{1,2,2,2,1,1,1,1,2,1}-
2 H_{2,2,2,1,2,2,2,1}-20 H_{1,2,1,1,1,2,1,2,1,2}-2 H_{1,2,1,2,2
,2,2,2}+70 H_{1,1,2,2,1,1,1,2,1,1,1}+70 H_{1,1,2,1,1,1,2,2,1,1,1}
}+70 H_{2,1,1,1,1,1,1,1,1,2,2}-20 H_{1,2,1,1,2,1,1,2,1,2}+6 H_{
1,2,2,1,2,2,2,1,1}-20 H_{1,2,1,1,2,2,1,1,1,2}-20 H_{2,1,1,2,1,1,2
,1,1,2}-20 H_{2,1,1,2,2,1,2,1,1,1}+6 H_{2,2,2,1,1,2,2,1,1}+6 H_
{2,1,2,2,2,2,1,1,1}+70 H_{1,2,1,2,1,1,1,1,2,1,1}-20 H_{1,1,2,1,1
,1,1,2,2,2}-20 H_{1,2,2,1,1,1,1,2,2,1}+6 H_{1,1,2,2,2,1,1,2,2}+
70 H_{2,2,1,1,1,1,1,1,1,2,1}-2 H_{1,2,2,2,2,2,2,1}-20 H_{1,2,1,
1,1,1,2,2,1,2}+672 H_{1,1,1,1,1,1,2,1,1,1,1,2}-20 H_{1,1,1,1,2,1,
2,2,2,1}-20 H_{1,2,1,2,1,1,2,1,1,2}-252 H_{1,1,1,1,2,1,1,2,1,1,1,
1}+70 H_{1,1,1,2,1,1,1,1,2,1,2}+6 H_{2,1,2,1,2,1,1,2,2}-20 H_{
1,1,2,2,1,1,2,1,2,1}+6 H_{1,1,1,2,2,1,2,2,2}-20 H_{1,1,2,1,1,1,2,
2,1,2}+6 H_{2,2,1,1,2,1,2,1,2}-2 H_{1,1,2,2,2,2,2,2}-252 H_{1,
1,1,2,1,1,1,1,1,2,1,1}-252 H_{1,2,1,1,1,1,1,1,1,2,1,1}+6 H_{1,2,1
,2,2,2,1,2,1}-20 H_{2,1,2,1,1,1,1,1,2,2}+70 H_{1,2,1,2,1,2,1,1,1,
1,1}-20 H_{2,1,2,1,1,1,1,2,2,1}-2 H_{2,2,2,2,1,2,2,1}+H_{2,2,2,
2,2,2,2}-252 H_{1,1,1,1,1,2,1,1,1,1,2,1}+70 H_{1,1,2,2,1,1,1,1,2,
1,1}+70 H_{2,1,2,1,1,2,1,1,1,1,1}+6 H_{2,1,2,2,1,1,2,2,1}+6 H_{
{2,1,2,2,1,1,2,1,2}-20 H_{2,2,1,1,1,2,2,1,1,1}+70 H_{1,2,1,1,1,1,
1,2,2,1,1}+6 H_{1,1,2,2,2,2,1,1,2}+6 H_{1,2,2,2,2,1,1,1,2}+70 H
_{2,1,1,2,1,1,1,2,1,1,1}+6 H_{2,1,2,1,2,2,1,2,1}+6 H_{2,2,2,1,1,
1,1,2,2}-20 H_{1,1,2,2,1,2,1,1,1,2}+70 H_{2,1,1,1,1,2,1,1,2,1,1}
+6 H_{2,2,1,2,1,2,2,1,1}+6 H_{2,1,1,2,2,2,1,2,1}-20 H_{2,2,1,1,
2,1,1,2,1,1}-252 H_{2,1,1,1,1,2,1,1,1,1,1,1}+70 H_{1,1,1,1,1,1,1,
2,1,2,2}+70 H_{1,2,1,1,1,2,1,1,2,1,1}+6 H_{2,1,2,2,1,2,1,2,1}+70
 H_{1,1,1,2,1,2,1,1,1,2,1}+6 H_{2,1,2,2,1,1,1,2,2}+70 H_{1,1,1,
1,2,1,1,2,2,1,1}-2 H_{2,2,1,2,1,2,2,2}-20 H_{1,2,2,1,1,2,1,2,1,1}
}-20 H_{1,1,1,2,2,1,1,2,1,2}+6 H_{1,2,1,2,1,1,2,2,2}+70 H_{1,1,
1,2,2,1,2,1,1,1,1}-2 H_{2,2,1,2,2,1,2,2}-20 H_{1,1,1,2,1,1,2,1,2,
2}-20 H_{2,2,1,2,1,1,2,1,1,1}+70 H_{1,1,1,2,1,2,1,1,2,1,1}-252 
H_{1,1,1,1,1,1,1,2,1,1,2,1}-20 H_{2,1,1,1,1,2,1,2,2,1}+70 H_{2,1
,1,1,1,1,1,1,2,2,1}-20 H_{2,2,1,1,1,2,1,2,1,1}+6 H_{2,1,2,1,1,1,2
,2,2}-20 H_{1,2,1,2,1,1,2,2,1,1}+70 H_{2,1,1,1,1,1,2,2,1,1,1}-20
 H_{2,1,2,2,1,1,2,1,1,1}+70 H_{1,1,1,2,2,1,1,1,2,1,1}+70 H_{2,1
,1,1,1,1,1,2,2,1,1}-20 H_{2,1,1,2,1,2,1,1,2,1}+70 H_{1,2,1,1,1,1,
1,2,1,1,2}-20 H_{1,2,1,2,2,1,1,1,1,2}-20 H_{1,2,1,1,2,1,2,1,1,2}
+70 H_{1,1,1,1,2,1,2,2,1,1,1}+70 H_{1,1,2,1,1,1,1,2,2,1,1}-252 H
_{2,1,1,1,1,1,2,1,1,1,1,1}-20 H_{1,2,1,2,2,1,2,1,1,1}+70 H_{1,1,
1,2,1,1,1,2,2,1,1}+70 H_{1,1,1,1,1,2,2,1,1,2,1}+6 H_{1,1,2,1,1,2,
2,2,2}-20 H_{1,1,2,2,2,1,2,1,1,1}+6 H_{1,2,2,1,1,1,2,2,2}+70 H_
{1,2,1,1,1,1,2,1,1,1,2}+6 H_{2,2,1,2,2,1,1,2,1}-20 H_{1,1,1,2,1,
2,1,2,1,2}+6 H_{1,1,2,2,2,2,1,2,1}+6 H_{1,2,2,2,1,2,1,2,1}-20 H
_{2,1,1,2,1,1,1,2,1,2}-2 H_{2,2,1,2,2,2,1,2}+70 H_{1,1,1,2,1,2,2
,1,1,1,1}+70 H_{1,2,1,1,1,1,1,1,2,2,1}+50 H_{1,1,1,1,1,1,2,2,2,2}
}+70 H_{1,2,1,1,2,1,2,1,1,1,1}+70 H_{1,2,2,1,1,1,2,1,1,1,1}-20 H
_{2,2,1,1,1,1,1,2,1,2}-252 H_{1,1,1,1,1,1,1,2,2,1,1,1}-2 H_{2,1,
2,2,1,2,2,2}+70 H_{1,2,1,1,1,2,2,1,1,1,1}-20 H_{1,1,1,1,2,2,1,2,1
,2}-2 H_{2,2,2,2,2,1,1,2}+6 H_{1,2,2,1,2,2,1,2,1}-20 H_{1,1,1,
2,1,1,2,2,2,1}-252 H_{1,1,1,1,2,1,1,1,1,1,1,2}+6 H_{1,2,1,1,2,1,2
,2,2}-2 H_{2,2,2,2,1,2,1,2}+6 H_{2,2,1,2,1,1,1,2,2}-20 H_{1,2,
2,1,1,2,1,1,1,2}-20 H_{1,1,1,1,2,1,2,2,1,2}-20 H_{2,1,1,1,2,2,1,2
,1,1}+70 H_{1,2,2,1,1,1,1,1,1,2,1}+70 H_{1,1,1,1,2,1,1,1,2,2,1}+
6 H_{2,2,1,1,1,1,2,2,2}+70 H_{1,1,1,1,2,1,2,1,1,1,2}+70 H_{1,2,
1,1,2,1,1,2,1,1,1}+70 H_{1,2,1,1,1,2,1,1,1,2,1}-2 H_{2,2,1,2,2,2,
2,1}+70 H_{2,1,1,2,1,1,1,1,1,2,1}+6 H_{1,1,1,2,1,2,2,2,2}-20 H_
{1,2,1,1,2,2,2,1,1,1}+6 H_{2,1,2,2,2,1,1,2,1}-252 H_{1,1,1,2,1,1
,1,1,1,1,2,1}+6 H_{2,1,1,2,2,1,2,2,1}-20 H_{1,1,1,1,1,2,2,1,2,2}
+70 H_{1,1,1,1,2,1,2,1,2,1,1}+6 H_{2,2,1,1,1,2,1,2,2}-20 H_{1,2
,2,1,1,1,1,2,1,2}-20 H_{1,2,2,1,1,1,2,1,2,1}-20 H_{1,1,2,2,2,1,1,
1,2,1}+70 H_{2,1,1,1,2,1,1,1,2,1,1}+6 H_{1,1,1,1,2,2,2,2,2}-20 
H_{1,2,1,1,2,1,2,2,1,1}-20 H_{2,2,1,2,1,1,1,2,1,1}+70 H_{2,1,1,2
,1,1,1,1,2,1,1}-20 H_{1,1,2,1,2,2,1,2,1,1}+6 H_{2,1,1,2,2,2,2,1,1
}+70 H_{1,2,2,1,1,2,1,1,1,1,1}-20 H_{1,1,1,2,2,1,2,1,1,2}-252 H
_{1,2,1,1,1,2,1,1,1,1,1,1}-20 H_{1,1,2,1,2,1,2,2,1,1}-20 H_{2,1,
2,1,1,1,1,2,1,2}-20 H_{1,2,2,1,1,1,1,1,2,2}+70 H_{1,2,1,1,1,1,1,2
,1,2,1}-252 H_{1,1,2,1,1,1,1,1,1,1,2,1}-20 H_{2,2,2,1,1,1,1,1,2,1
}+70 H_{1,1,1,1,2,1,1,2,1,2,1}-252 H_{1,1,2,1,1,1,1,1,2,1,1,1}+6
 H_{2,1,1,2,1,1,2,2,2}-252 H_{1,1,1,1,2,1,2,1,1,1,1,1}-20 H_{2,
1,1,1,2,2,1,1,1,2}+70 H_{1,1,1,1,2,2,1,1,1,2,1}+6 H_{2,2,2,1,2,1,
1,1,2}+70 H_{1,2,2,1,2,1,1,1,1,1,1}+6 H_{2,2,1,2,1,2,1,1,2}+6 H
_{1,2,2,2,2,2,1,1,1}-2 H_{2,1,2,2,2,2,1,2}+70 H_{2,2,1,1,1,1,1,1
,2,1,1}+6 H_{2,1,2,1,2,2,2,1,1}-20 H_{1,1,2,1,2,2,1,1,2,1}+6 H_
{2,2,2,1,1,1,2,2,1}+6 H_{2,1,1,1,2,2,2,2,1}+70 H_{1,1,1,1,1,1,1,
2,2,2,1}+6 H_{2,2,1,2,1,1,2,2,1}-20 H_{1,1,1,2,2,1,2,2,1,1}+70 
H_{1,1,1,2,1,2,1,2,1,1,1}-252 H_{2,1,1,1,1,1,1,2,1,1,1,1}+6 H_{2
,2,2,2,2,1,1,1,1}+6 H_{2,2,2,1,1,1,2,1,2}-252 H_{1,2,1,1,1,1,1,2,
1,1,1,1}+70 H_{2,1,1,1,1,1,1,2,1,1,2}-252 H_{1,1,1,1,2,1,1,1,1,1,
2,1}-20 H_{1,2,2,2,2,1,1,1,1,1}+70 H_{1,1,2,1,2,1,1,2,1,1,1}+70
 H_{2,1,1,2,1,1,2,1,1,1,1}-20 H_{1,2,1,1,2,2,1,1,2,1}-20 H_{1,2
,2,2,1,1,1,2,1,1}-20 H_{2,2,1,1,1,1,2,1,2,1}-252 H_{1,1,1,1,1,2,1
,1,2,1,1,1}+6 H_{2,2,2,1,2,1,2,1,1}-20 H_{2,1,1,2,1,2,1,1,1,2}-
252 H_{1,2,1,1,1,1,2,1,1,1,1,1}+6 H_{2,2,1,1,2,2,1,2,1}+70 H_{2
,1,1,1,2,1,1,1,1,2,1}+6 H_{1,2,2,2,2,1,2,1,1}+70 H_{1,1,1,1,2,2,1
,2,1,1,1}-20 H_{2,1,1,1,2,1,2,1,2,1}+70 H_{1,1,2,2,1,2,1,1,1,1,1}
}-20 H_{1,2,1,1,1,1,2,1,2,2}-20 H_{1,1,2,2,2,1,1,2,1,1}+6 H_{2,
2,2,1,1,2,1,2,1}+70 H_{2,1,1,1,1,1,2,1,1,1,2}+70 H_{1,1,2,2,1,1,1
,1,1,1,2}+924 H_{1,1,1,1,1,2,1,1,1,1,1,1,1}-2 H_{2,1,2,1,2,2,2,2}
}+6 H_{1,2,1,2,1,2,2,2,1}+70 H_{2,1,1,1,1,2,2,1,1,1,1}+70 H_{1,
1,1,1,2,2,1,1,2,1,1}+6 H_{2,1,2,1,2,2,1,1,2}+6 H_{2,2,2,2,1,2,1,1
,1}-20 H_{1,1,1,1,2,1,1,2,2,2}-20 H_{2,1,2,1,2,1,1,1,1,2}-20 H_
{1,2,2,1,1,2,2,1,1,1}+6 H_{1,2,2,2,1,2,2,1,1}+6 H_{1,2,1,2,2,2,2
,1,1}+6 H_{2,2,2,1,2,1,1,2,1}-252 H_{1,2,1,1,1,1,1,1,1,1,2,1}+6
 H_{1,2,1,1,1,2,2,2,2}-20 H_{2,2,2,1,1,1,2,1,1,1}+6 H_{2,1,1,2,
2,1,2,1,2}-20 H_{2,1,2,1,2,1,2,1,1,1}+6 H_{2,1,1,2,1,2,1,2,2}+70
 H_{1,1,1,2,1,1,1,1,1,2,2}-20 H_{1,1,1,2,2,1,2,1,2,1}-20 H_{1,2
,1,2,1,2,1,1,1,2}-20 H_{1,2,2,1,2,1,1,1,1,2}-20 H_{2,2,1,1,1,1,2,
2,1,1}-252 H_{1,1,1,1,1,1,1,2,1,1,1,2}-20 H_{1,1,1,2,1,1,1,2,2,2}
}-20 H_{2,2,1,1,2,1,2,1,1,1}-20 H_{2,1,2,2,1,1,1,2,1,1}+70 H_{1
,2,1,1,2,1,1,1,1,2,1}-20 H_{1,2,2,1,2,1,2,1,1,1}+70 H_{1,1,1,1,1,
2,2,2,1,1,1}-20 H_{2,2,1,1,2,2,1,1,1,1}+70 H_{1,2,1,2,1,1,1,1,1,1
,2}-20 H_{1,1,2,1,1,2,2,1,2,1}-20 H_{1,2,1,2,1,1,2,1,2,1}-182 H
_{1,1,1,1,1,1,2,2,1,2,1}-20 H_{1,1,1,2,2,2,1,1,1,2}-20 H_{2,2,1,
1,1,1,1,1,2,2}+70 H_{1,2,1,1,2,2,1,1,1,1,1}-20 H_{2,1,2,2,2,1,1,1
,1,1}+70 H_{1,1,2,1,1,1,1,1,1,2,2}+6 H_{2,2,1,2,1,2,1,2,1}+6 H_
{1,2,2,1,1,2,2,2,1}-252 H_{1,1,1,2,1,2,1,1,1,1,1,1}+6 H_{1,1,2,2
,2,2,2,1,1}+6 H_{2,2,1,2,2,1,2,1,1}-252 H_{1,1,1,1,1,1,1,2,1,2,1,
1}+70 H_{1,1,2,1,1,2,2,1,1,1,1}-252 H_{1,1,2,2,1,1,1,1,1,1,1,1}+
6 H_{1,2,1,2,1,2,1,2,2}+70 H_{1,1,2,1,1,1,2,1,1,2,1}+70 H_{2,1,
2,1,1,1,2,1,1,1,1}-20 H_{2,1,1,2,2,1,1,1,2,1}+70 H_{1,1,2,1,1,2,1
,1,1,2,1}-20 H_{2,1,1,1,2,1,1,2,1,2}-20 H_{2,1,1,2,1,2,1,2,1,1}+
924 H_{1,1,1,2,1,1,1,1,1,1,1,1,1}+70 H_{1,1,2,1,2,1,1,1,1,1,2}-20
 H_{1,1,1,1,2,2,2,1,2,1}-20 H_{2,1,2,1,1,2,1,2,1,1}+924 H_{1,1,
1,1,1,1,1,2,1,1,1,1,1}-20 H_{2,2,1,1,1,1,1,2,2,1}-20 H_{2,1,1,1,1
,2,1,1,2,2}-252 H_{1,1,1,1,1,2,1,1,1,1,1,2}-20 H_{1,1,2,1,1,2,1,2
,2,1}+70 H_{1,1,2,2,1,1,1,1,1,2,1}-252 H_{1,1,1,1,2,2,1,1,1,1,1,1
}+70 H_{1,2,2,1,1,1,1,1,1,1,2}-2 H_{2,2,2,1,2,1,2,2}+6 H_{1,1,
2,1,2,2,2,1,2}-20 H_{1,2,2,1,1,1,2,2,1,1}-20 H_{1,2,1,2,1,2,2,1,1
,1}-20 H_{2,1,1,1,2,1,2,2,1,1}-20 H_{1,1,2,1,1,2,1,2,1,2}+70 H_
{1,1,1,2,1,1,2,1,1,1,2}-20 H_{2,1,2,1,1,2,2,1,1,1}+70 H_{1,1,1,1
,1,2,1,2,1,1,2}-20 H_{1,1,1,2,2,1,1,2,2,1}+6 H_{1,1,2,2,1,2,2,1,2
}+70 H_{1,1,2,1,1,1,1,1,2,2,1}+6 H_{2,1,2,1,1,2,2,1,2}-20 H_{2
,1,1,2,2,1,1,2,1,1}+70 H_{1,1,1,1,1,2,1,2,2,1,1}+70 H_{1,1,1,2,1,
1,2,1,1,2,1}+6 H_{2,1,1,1,1,2,2,2,2}+70 H_{1,1,1,2,1,1,1,1,2,2,1}
}-20 H_{2,1,2,1,2,1,1,1,2,1}+70 H_{1,1,2,1,1,2,1,1,2,1,1}-20 H_{
{2,2,2,1,2,1,1,1,1,1}-20 H_{2,2,2,1,1,2,1,1,1,1}-20 H_{2,1,2,1,1,
2,1,1,1,2}-20 H_{2,1,1,2,1,1,2,1,2,1}+70 H_{2,2,1,1,1,2,1,1,1,1,1
}-252 H_{1,1,2,1,2,1,1,1,1,1,1,1}-252 H_{1,2,1,2,1,1,1,1,1,1,1,1}
}-20 H_{2,1,1,1,2,2,2,1,1,1}+6 H_{1,1,1,2,2,2,2,2,1}+70 H_{2,2,
2,1,1,1,1,1,1,1,1}+70 H_{1,1,1,2,2,1,1,2,1,1,1}-20 H_{2,1,1,1,1,2
,2,1,1,2}+70 H_{1,1,2,1,2,1,1,1,2,1,1}-20 H_{1,1,1,2,2,2,1,1,2,1}
}-182 H_{1,1,1,1,1,1,2,2,1,1,2}+6 H_{1,2,2,2,1,1,2,1,2}-20 H_{1
,1,2,1,1,2,2,2,1,1}-20 H_{1,1,2,1,2,1,1,2,2,1}+70 H_{1,1,1,1,2,1,
1,1,1,2,2}-20 H_{2,1,1,1,1,1,1,2,2,2}+6 H_{1,1,2,2,2,1,2,2,1}+70
 H_{1,1,2,2,1,1,2,1,1,1,1}-20 H_{1,2,1,1,1,2,2,1,1,2}+6 H_{2,1,
1,1,2,2,1,2,2}+70 H_{1,1,1,1,2,1,2,1,1,2,1}-252 H_{1,1,2,1,1,2,1,
1,1,1,1,1}-252 H_{2,1,1,1,1,1,1,1,2,1,1,1}+70 H_{1,1,1,2,1,1,2,2,
1,1,1}-2 H_{1,2,2,2,2,2,1,2}-252 H_{1,2,1,1,1,1,1,1,2,1,1,1}+6 
H_{2,2,1,1,2,2,1,1,2}-20 H_{2,1,1,1,1,2,2,1,2,1}-252 H_{1,1,1,2,
1,1,1,1,2,1,1,1}-252 H_{1,1,2,1,1,1,1,2,1,1,1,1}-252 H_{2,2,1,1,1
,1,1,1,1,1,1,1}+6 H_{1,2,2,1,2,1,1,2,2}-20 H_{2,2,1,1,2,1,1,1,1,2
}-20 H_{1,2,2,1,2,1,1,2,1,1}-182 H_{1,1,1,1,1,1,2,1,1,2,2}-20 H
_{2,1,1,1,2,2,1,1,2,1}-20 H_{1,1,2,1,1,2,1,1,2,2}+70 H_{1,1,1,1,
2,1,1,2,1,1,2}+70 H_{1,1,1,1,1,2,2,1,1,1,2}-20 H_{1,1,2,1,2,1,2,1
,1,2}+70 H_{1,2,1,1,2,1,1,1,2,1,1}-20 H_{2,1,1,2,1,2,2,1,1,1}-20
 H_{1,1,1,2,1,2,1,2,2,1}-20 H_{2,2,1,1,2,1,1,1,2,1}-20 H_{1,1,1
,2,1,1,2,2,1,2}-20 H_{1,1,2,2,1,2,2,1,1,1}+6 H_{2,2,1,2,2,1,1,1,2
}+H_{1,1,1,1,1,1,1}+70 H_{1,1,2,2,2,1,1,1,1,1,1}+70 H_{1,2,1,2,
1,1,2,1,1,1,1}+6 H_{1,2,1,2,2,1,2,1,2}-2 H_{1,2,2,2,1,2,2,2}+6 
H_{1,1,2,1,2,2,1,2,2}-20 H_{1,2,1,1,2,1,1,2,2,1}+70 H_{2,2,1,1,1
,1,2,1,1,1,1}+70 H_{1,2,1,1,1,1,1,1,2,1,2}+6 H_{1,2,1,2,2,1,2,2,1
}-252 H_{1,1,1,2,1,1,1,2,1,1,1,1}-2 H_{2,2,2,2,2,2,1,1}-252 H_{
{2,1,1,1,1,1,1,1,1,1,2,1}-20 H_{2,1,1,1,2,1,2,1,1,2}-20 H_{2,2,1,
2,1,1,1,1,2,1}+6 H_{2,2,1,1,2,1,2,2,1}+6 H_{1,2,1,2,2,2,1,1,2}+6
 H_{2,2,2,1,1,2,1,1,2}-20 H_{2,1,1,1,2,1,1,2,2,1}+6 H_{2,1,2,1,
1,2,1,2,2}-20 H_{1,2,2,1,2,1,1,1,2,1}-20 H_{1,1,1,1,2,1,2,1,2,2}
+70 H_{1,1,2,1,1,2,1,2,1,1,1}-20 H_{2,1,1,1,1,1,2,2,1,2}-20 H_{
1,2,2,2,1,2,1,1,1,1}+70 H_{1,2,1,1,1,2,1,2,1,1,1}+70 H_{2,1,1,1,1
,1,2,1,1,2,1}+6 H_{2,1,2,1,1,2,2,2,1}-182 H_{1,1,1,1,1,1,2,1,2,2,
1}-20 H_{1,2,1,2,2,1,1,2,1,1}-20 H_{2,1,1,1,1,1,2,1,2,2}-20 H_{
{2,2,1,1,1,2,1,1,2,1}+6 H_{2,2,1,1,1,2,2,2,1}-2 H_{2,2,2,1,2,2,1,
2}+70 H_{2,1,1,1,1,1,1,1,2,1,2}-2 H_{2,2,2,2,1,1,2,2}-20 H_{1,
2,1,1,2,1,2,1,2,1}+70 H_{2,1,1,1,1,2,1,1,1,2,1}-20 H_{1,1,2,2,1,1
,1,2,1,2}-252 H_{1,1,1,1,1,2,2,1,1,1,1,1}+70 H_{1,1,1,2,1,1,1,2,1
,1,2}+70 H_{1,1,1,1,1,2,1,2,1,2,1}-20 H_{1,2,1,1,1,2,1,1,2,2}+6
 H_{1,1,2,2,2,1,2,1,2}-252 H_{1,1,1,2,1,1,1,1,1,1,1,2}-20 H_{1,
1,1,2,2,2,1,2,1,1}-20 H_{1,1,1,2,1,2,2,1,2,1}+70 H_{1,1,1,1,2,2,2
,1,1,1,1}+70 H_{1,1,2,1,1,1,1,2,1,2,1}-20 H_{1,2,1,1,2,2,1,2,1,1}
}+6 H_{2,2,1,2,1,1,2,1,2}+6 H_{1,1,2,1,2,2,2,2,1}-20 H_{2,1,2,1
,1,1,2,1,1,2}-2 H_{2,1,2,2,2,2,2,1}-20 H_{1,2,2,1,2,2,1,1,1,1}-2
 H_{2,2,1,1,2,2,2,2}-252 H_{1,1,1,1,1,2,1,1,1,2,1,1}+6 H_{1,2,2
,1,2,2,1,1,2}+6 H_{1,1,2,1,2,1,2,2,2}-2 H_{1,2,2,1,2,2,2,2}-20 
H_{2,1,2,2,1,1,1,1,2,1}-20 H_{1,1,2,1,2,2,1,1,1,2}+70 H_{2,1,1,1
,2,1,1,2,1,1,1}-20 H_{2,1,1,2,1,1,2,2,1,1}-20 H_{2,1,2,1,1,1,2,1,
2,1}-20 H_{1,1,2,1,2,1,1,1,2,2}-20 H_{1,1,1,1,2,2,2,2,1,1}+6 H_
{2,1,2,1,2,1,2,1,2}-20 H_{2,1,2,1,2,1,1,2,1,1}+70 H_{2,2,1,1,1,1
,1,2,1,1,1}+70 H_{2,1,1,2,2,1,1,1,1,1,1}-20 H_{2,1,2,2,1,2,1,1,1,
1}-20 H_{2,2,1,1,1,1,2,1,1,2}+924 H_{1,1,1,1,2,1,1,1,1,1,1,1,1}-
20 H_{2,2,1,2,1,2,1,1,1,1}+70 H_{1,2,2,2,1,1,1,1,1,1,1}-252 H_{
1,1,2,1,1,1,1,1,1,1,1,2}-20 H_{1,2,1,1,1,2,2,1,2,1}-20 H_{1,2,2,1
,1,2,1,1,2,1}+70 H_{1,1,2,1,2,1,1,1,1,2,1}+70 H_{1,1,1,1,1,2,1,1,
1,2,2}-252 H_{1,1,2,1,1,1,2,1,1,1,1,1}-2 H_{2,1,2,2,2,1,2,2}+6 
H_{2,2,1,1,2,2,2,1,1}+70 H_{1,1,1,2,1,1,2,1,2,1,1}-20 H_{2,1,1,2
,1,1,1,2,2,1}-20 H_{2,1,2,1,1,1,2,2,1,1}+70 H_{2,2,1,2,1,1,1,1,1,
1,1}-20 H_{1,1,2,1,2,2,2,1,1,1}-20 H_{2,1,1,2,1,1,1,1,2,2}+6 H_
{2,2,1,2,2,2,1,1,1}+6 H_{2,2,2,1,2,2,1,1,1}+70 H_{1,1,1,2,2,1,1,
1,1,2,1}+70 H_{1,1,1,1,1,2,2,1,2,1,1}+6 H_{1,2,2,1,2,1,2,2,1}+6
 H_{2,1,1,1,2,1,2,2,2}-20 H_{2,1,1,1,1,1,2,2,2,1}+70 H_{2,1,1,1
,2,1,2,1,1,1,1}+6 H_{1,2,2,1,1,2,2,1,2}+70 H_{1,2,1,2,2,1,1,1,1,1
,1}+70 H_{1,2,2,1,1,1,1,2,1,1,1}-20 H_{2,2,1,2,2,1,1,1,1,1}+6 H
_{1,2,2,2,1,1,1,2,2}-20 H_{1,2,1,2,1,1,1,2,2,1}+70 H_{1,1,2,1,2,
1,2,1,1,1,1}-2 H_{2,2,2,1,1,2,2,2}-20 H_{2,1,2,1,1,2,1,1,2,1}+
924 H_{1,2,1,1,1,1,1,1,1,1,1,1,1}+6 H_{2,2,2,2,1,1,2,1,1}+70 H_{
{2,1,1,1,1,1,1,2,1,2,1}-2 H_{1,2,2,2,2,1,2,2}+6 H_{1,2,2,2,2,1,1,
2,1}+70 H_{1,1,1,1,2,1,1,1,2,1,2}+70 H_{1,1,2,1,1,1,1,1,2,1,2}-
20 H_{1,1,1,1,1,2,2,2,2,1}-20 H_{1,1,1,2,1,2,2,1,1,2}+70 H_{1,2
,1,2,1,1,1,1,1,2,1}-252 H_{2,1,1,1,2,1,1,1,1,1,1,1}+6 H_{2,1,1,2,
2,1,1,2,2}-20 H_{1,1,2,1,2,1,1,2,1,2}-252 H_{2,1,1,2,1,1,1,1,1,1,
1,1}-20 H_{1,2,1,2,2,2,1,1,1,1}-2508 H_{1,1,1,1,1,1,2,1,1,1,1,1,1
}-20 H_{1,1,2,2,1,2,1,1,2,1}+6 H_{2,1,2,2,1,2,2,1,1}+70 H_{1,1
,2,1,1,2,1,1,1,1,2}+70 H_{1,1,1,2,1,2,1,1,1,1,2}-20 H_{1,1,1,1,1,
2,2,2,1,2}+70 H_{1,2,1,1,1,1,2,1,1,2,1}-20 H_{1,1,1,2,2,1,1,1,2,2
}+6 H_{1,2,2,1,1,2,1,2,2}-20 H_{2,1,2,2,1,1,1,1,1,2}+70 H_{1,2
,1,1,1,1,2,2,1,1,1}-20 H_{1,2,2,2,1,1,2,1,1,1}-252 H_{1,1,1,1,2,1
,1,1,2,1,1,1}-20 H_{2,2,1,2,1,1,1,1,1,2}+672 H_{1,1,1,1,1,1,2,1,1
,2,1,1}+70 H_{1,1,1,1,1,2,1,1,2,2,1}+6 H_{2,1,2,2,2,1,1,1,2}+70
 H_{2,1,1,2,1,2,1,1,1,1,1}-20 H_{1,1,2,2,2,2,1,1,1,1}+70 H_{1,1
,1,2,1,1,1,2,1,2,1}+70 H_{2,1,1,1,2,1,1,1,1,1,2}-182 H_{1,1,1,1,1
,1,2,2,2,1,1}+70 H_{2,1,1,1,2,2,1,1,1,1,1}+6 H_{1,1,2,2,1,2,2,2,1
}+924 H_{2,1,1,1,1,1,1,1,1,1,1,1,1}+6 H_{2,2,1,1,2,1,1,2,2}-20 
H_{1,1,1,1,1,2,1,2,2,2}-20 H_{1,2,1,2,2,1,1,1,2,1}+70 H_{1,1,1,1
,1,2,1,1,2,1,2}-20 H_{1,1,2,2,1,1,1,2,2,1}+70 H_{1,1,1,1,1,1,1,2,
2,1,2}-20 H_{1,2,1,2,1,2,1,1,2,1}+672 H_{1,1,1,1,1,1,2,1,1,1,2,1}
}-20 H_{1,2,1,1,1,2,1,2,2,1}-20 H_{1,1,2,2,2,1,1,1,1,2}-2 H_{2,
1,1,2,2,2,2,2}+6 H_{2,2,1,1,1,2,2,1,2}+672 H_{1,1,1,1,1,1,2,2,1,1
,1,1}-20 H_{1,2,1,2,1,1,1,2,1,2}-20 H_{1,2,1,1,1,1,2,2,2,1}-20 
H_{1,2,1,2,1,1,1,1,2,2}-20 H_{1,2,2,1,1,1,2,1,1,2}-20 H_{1,1,1,2
,2,2,2,1,1,1}+6 H_{2,1,1,2,2,2,1,1,2}+70 H_{1,2,1,2,1,1,1,2,1,1,1
}-20 H_{2,1,1,1,1,2,2,2,1,1}+6 H_{1,2,1,2,1,2,2,1,2}+70 H_{2,1
,2,1,1,1,1,2,1,1,1}+924 H_{1,1,2,1,1,1,1,1,1,1,1,1,1}-20 H_{2,1,1
,2,2,2,1,1,1,1}-20 H_{2,2,2,1,1,1,1,1,1,2}+6 H_{2,1,2,1,2,1,2,2,1
}+70 H_{2,2,1,1,1,1,1,1,1,1,2}+6 H_{1,2,2,2,1,2,1,1,2}-20 H_{1
,1,2,2,1,1,1,1,2,2}-182 H_{1,1,1,1,1,1,2,1,2,1,2}+6 H_{2,1,1,2,1,
2,2,2,1}-252 H_{1,1,1,1,1,2,1,2,1,1,1,1}-20 H_{2,1,1,1,2,1,1,1,2,
2}-252 H_{1,1,1,2,1,1,2,1,1,1,1,1}+70 H_{1,1,1,1,2,2,1,1,1,1,2}
             
Expression de la variance pour d=9

252 H_{2,1,2,1,1,1,1,1,1,1,1,1,2}+252 H_{1,1,2,1,2,1,1,1,2,1,1,1,1
}-924 H_{1,1,1,1,1,2,1,1,1,1,1,2,1,1}-70 H_{1,2,2,1,1,1,1,1,2,1,1
,2}-70 H_{2,1,1,1,1,2,1,1,2,1,1,2}-6 H_{2,2,2,1,1,2,2,1,1,2}+252
 H_{1,1,2,1,1,1,2,1,1,1,1,2,1}+252 H_{1,1,1,1,2,1,2,1,2,1,1,1,1}+
252 H_{2,1,2,2,1,1,1,1,1,1,1,1,1}+20 H_{1,1,1,2,2,1,2,2,2,1,1}+
252 H_{1,1,1,1,1,1,2,1,2,1,2,1,1}-70 H_{1,2,2,1,1,1,1,1,1,2,2,1}+
20 H_{1,2,2,1,2,1,1,1,1,2,2}+252 H_{2,2,1,1,2,1,1,1,1,1,1,1,1}+20
 H_{2,2,1,2,1,1,1,1,2,2,1}-70 H_{1,1,2,2,2,1,1,1,2,1,1,1}-6 H_{
2,1,2,1,2,2,2,1,1,2}+2 H_{2,2,1,1,2,2,2,2,2}+20 H_{2,2,2,1,1,1,2,
1,1,2,1}+20 H_{1,1,1,2,1,2,1,2,2,1,2}-70 H_{2,2,1,1,1,1,1,2,1,1,1
,2}-70 H_{2,1,1,1,2,2,1,1,1,1,2,1}+20 H_{1,2,1,1,1,2,1,2,2,1,2}-
6 H_{2,2,1,1,1,2,2,1,2,2}+252 H_{1,1,1,1,2,1,2,1,1,1,2,1,1}+252 
H_{1,2,1,1,2,1,2,1,1,1,1,1,1}+20 H_{1,2,2,1,2,1,1,1,2,1,2}+20 H_{
{1,2,1,2,2,1,2,2,1,1,1}-924 H_{1,1,2,1,1,1,1,1,1,1,1,1,1,2}-70 H_{
{2,1,2,1,2,1,1,1,1,2,1,1}-70 H_{1,1,2,2,1,1,2,2,1,1,1,1}-6 H_{1,1
,2,2,2,2,2,1,2,1}-70 H_{1,2,1,1,2,2,1,1,1,2,1,1}+20 H_{2,1,2,2,1,
2,2,1,1,1,1}+252 H_{1,1,1,1,1,2,1,1,1,2,2,1,1}-70 H_{2,1,1,1,2,1,
2,1,2,1,1,1}+252 H_{1,2,1,2,1,1,1,2,1,1,1,1,1}+252 H_{1,1,1,2,1,1
,2,1,1,1,1,2,1}+2 H_{1,2,2,1,2,2,2,2,2}+3432 H_{1,1,1,1,2,1,1,1,1
,1,1,1,1,1,1}+20 H_{2,2,1,2,2,1,1,1,2,1,1}-6 H_{1,2,2,2,2,2,1,2,1
,1}+252 H_{1,1,2,2,1,1,1,1,1,1,1,1,2}-70 H_{1,2,1,2,1,1,2,1,1,1,1
,2}+252 H_{1,1,1,2,1,1,1,1,1,1,1,2,2}+252 H_{1,1,1,1,1,1,2,1,2,2,
1,1,1}-70 H_{1,2,1,1,1,2,1,1,2,1,2,1}+252 H_{1,1,1,2,2,1,1,1,1,2,
1,1,1}+252 H_{1,1,1,2,1,1,1,2,1,1,2,1,1}-70 H_{2,2,1,1,1,1,1,1,1,
2,2,1}+2 H_{2,2,2,2,1,2,2,1,2}+252 H_{1,2,1,1,1,1,2,1,1,1,1,2,1}
+252 H_{2,1,1,2,1,1,1,1,2,1,1,1,1}+20 H_{2,1,2,2,1,2,1,1,1,1,2}-6
 H_{2,2,2,2,1,1,1,2,2,1}+20 H_{1,1,2,2,1,2,2,1,1,2,1}+20 H_{2,2
,1,1,1,1,1,2,1,2,2}+20 H_{1,1,1,1,1,2,1,2,2,2,2}+20 H_{1,2,2,2,1,
1,1,2,2,1,1}+20 H_{2,1,2,2,1,1,2,2,1,1,1}+20 H_{1,2,2,2,1,2,1,2,1
,1,1}-70 H_{1,2,2,1,1,1,1,2,1,1,2,1}+2508 H_{1,1,1,1,1,1,1,2,2,1,
1,1,1,1}+252 H_{2,1,1,1,2,1,1,1,1,2,1,1,1}-70 H_{1,1,1,1,1,2,2,2,
1,1,2,1}-6 H_{2,1,2,1,2,1,2,2,1,2}-672 H_{1,1,1,1,1,1,1,2,1,1,2,2
,1}-70 H_{1,1,2,1,2,1,1,2,1,1,1,2}+252 H_{1,1,1,1,1,1,2,1,1,2,1,1
,2}-70 H_{1,2,2,1,2,1,1,1,1,1,2,1}+252 H_{1,1,1,1,2,1,2,2,1,1,1,1
,1}+20 H_{2,1,2,1,1,1,1,2,1,2,2}-6 H_{1,1,2,2,2,2,1,1,2,2}+20 H
_{1,1,1,2,1,2,1,2,1,2,2}+252 H_{1,2,1,1,1,1,1,1,2,1,2,1,1}-70 H_{
{2,1,2,2,1,1,2,1,1,1,1,1}+20 H_{1,2,1,2,1,1,2,2,2,1,1}-70 H_{1,1,
2,1,1,1,2,1,2,2,1,1}-6 H_{2,2,1,1,1,2,1,2,2,2}-70 H_{1,1,2,1,1,2,
1,1,1,2,2,1}+20 H_{2,1,1,2,1,2,1,2,2,1,1}+252 H_{1,1,2,2,1,1,1,1,
1,1,2,1,1}-70 H_{1,2,2,1,2,2,1,1,1,1,1,1}+2 H_{2,2,2,1,2,2,1,2,2}
}+252 H_{1,1,1,2,1,1,1,1,1,2,2,1,1}-70 H_{1,1,1,2,2,1,1,1,1,1,2,2}
}-6 H_{1,2,1,1,2,2,2,2,2,1}+20 H_{1,2,2,1,1,2,2,1,2,1,1}-6 H_{2
,2,1,2,1,1,2,2,1,2}+252 H_{1,2,1,1,2,1,1,1,1,1,2,1,1}+20 H_{1,1,1
,1,1,1,2,2,2,2,2}-70 H_{2,2,1,1,1,2,1,2,1,1,1,1}-924 H_{1,1,2,1,1
,2,1,1,1,1,1,1,1,1}-70 H_{1,1,2,2,1,1,2,1,1,1,2,1}+2 H_{2,1,2,2,2
,2,2,2,1}+20 H_{2,2,1,2,1,1,1,2,2,1,1}-70 H_{1,1,1,1,2,1,2,1,1,1,
2,2}-70 H_{1,1,1,1,2,2,2,1,2,1,1,1}-70 H_{1,1,1,2,1,1,1,2,1,1,2,2
}+20 H_{2,2,1,1,1,2,1,2,2,1,1}+252 H_{1,2,2,1,1,1,1,1,1,1,1,1,2}
-70 H_{1,1,1,1,2,2,2,1,1,2,1,1}-70 H_{2,2,1,1,1,1,1,1,1,1,2,2}-70
 H_{1,1,1,1,2,2,1,2,1,2,1,1}-70 H_{1,2,1,2,1,1,1,1,2,1,1,2}-70 H
_{1,1,1,1,1,2,1,2,2,1,1,2}+20 H_{2,2,1,2,1,1,2,1,2,1,1}-6 H_{2,2
,2,1,2,1,2,2,1,1}+20 H_{1,2,1,2,2,2,1,1,2,1,1}+20 H_{1,1,1,2,1,1,
2,2,1,2,2}-924 H_{1,1,2,1,2,1,1,1,1,1,1,1,1,1}+252 H_{2,2,1,1,1,1
,1,1,1,1,2,1,1}-6 H_{2,2,2,2,2,1,1,2,1,1}-70 H_{1,1,1,2,1,2,1,1,1
,2,2,1}+252 H_{1,1,1,1,1,1,1,1,2,1,2,1,2}+20 H_{1,2,1,1,1,1,2,2,1
,2,2}+20 H_{1,1,2,1,1,2,1,2,1,2,2}-70 H_{1,2,2,1,1,1,1,2,1,1,1,2}
}-6 H_{2,2,2,1,2,1,1,2,1,2}+20 H_{2,1,2,1,1,2,2,1,1,2,1}-6 H_{2
,1,1,1,2,2,2,2,2,1}-70 H_{1,1,2,1,1,1,1,1,2,2,2,1}+20 H_{1,2,2,2,
2,2,1,1,1,1,1}-6 H_{2,2,2,1,1,2,1,1,2,2}+20 H_{2,1,2,2,1,1,1,1,2,
2,1}+20 H_{1,1,1,1,2,2,1,1,2,2,2}-6 H_{1,2,2,2,1,1,1,2,2,2}+252
 H_{1,1,1,1,1,2,1,1,1,2,1,2,1}-70 H_{1,1,2,2,2,2,1,1,1,1,1,1}-70
 H_{2,2,1,1,2,1,1,1,1,2,1,1}+252 H_{1,1,2,1,1,1,2,1,1,1,1,1,2}-70
 H_{2,2,1,1,1,1,2,1,1,2,1,1}-70 H_{1,2,1,1,1,2,1,1,1,2,2,1}+20 H
_{1,2,1,1,2,1,1,2,1,2,2}-6 H_{2,2,1,1,2,1,1,2,2,2}+20 H_{2,2,2,2
,1,1,1,1,1,1,2}-6 H_{2,2,2,2,2,1,2,1,1,1}+20 H_{2,1,2,1,1,1,2,2,1
,1,2}-6 H_{2,1,2,2,1,1,2,1,2,2}+20 H_{1,1,2,1,2,1,1,2,2,2,1}-70
 H_{1,1,1,1,2,1,2,1,2,2,1,1}-6 H_{1,1,2,2,1,2,2,2,1,2}-70 H_{1,
1,1,1,1,2,2,1,1,1,2,2}-6 H_{2,1,2,2,2,1,2,2,1,1}-924 H_{1,1,1,2,1
,1,1,1,1,1,1,2,1,1}-70 H_{1,2,1,1,2,1,2,1,2,1,1,1}+252 H_{1,1,1,2
,1,2,1,2,1,1,1,1,1}+20 H_{2,1,1,1,1,1,2,1,2,2,2}+20 H_{1,2,1,1,2,
2,1,1,2,2,1}+20 H_{1,2,1,1,1,2,1,2,1,2,2}-6 H_{2,2,1,2,1,2,2,1,1,
2}+20 H_{2,1,1,2,2,1,1,1,2,1,2}-6 H_{1,2,2,1,2,1,2,1,2,2}-6 H_{
{2,2,2,1,2,1,2,1,2,1}-70 H_{2,1,1,2,2,1,1,1,1,1,1,2}+20 H_{1,2,2,
2,1,1,2,1,1,2,1}-70 H_{1,2,2,1,1,1,2,1,1,1,1,2}-672 H_{1,1,1,1,1,
1,1,2,2,1,2,1,1}-70 H_{2,1,1,1,1,1,2,1,1,2,2,1}+20 H_{2,2,1,1,1,1
,2,2,1,1,2}-924 H_{1,1,1,2,2,1,1,1,1,1,1,1,1,1}-70 H_{1,2,1,1,1,2
,2,1,1,1,1,2}+252 H_{1,1,2,1,2,1,1,2,1,1,1,1,1}+20 H_{2,1,1,1,1,1
,2,2,2,2,1}-70 H_{1,1,2,1,2,1,2,1,1,1,2,1}-6 H_{2,2,2,2,2,1,1,1,1
,2}+252 H_{1,1,1,1,2,1,1,1,2,1,1,2,1}-70 H_{1,1,1,1,2,2,1,1,1,2,2
,1}-70 H_{2,2,2,1,2,1,1,1,1,1,1,1}-924 H_{1,2,1,1,1,2,1,1,1,1,1,1
,1,1}-70 H_{1,1,1,2,2,1,2,2,1,1,1,1}+20 H_{1,1,1,1,1,2,2,1,2,2,2}
}+20 H_{1,1,1,2,1,2,2,2,2,1,1}-70 H_{1,2,2,1,1,1,1,2,1,2,1,1}-70
 H_{2,1,1,1,1,1,2,2,1,2,1,1}-70 H_{1,2,1,2,1,1,1,2,1,1,2,1}-70 H
_{1,2,2,1,2,1,1,1,1,2,1,1}-70 H_{1,2,1,1,2,1,1,1,1,2,1,2}+252 H_{
{1,1,1,1,1,1,1,1,2,2,1,2,1}-672 H_{1,1,1,1,1,1,1,2,1,1,1,2,2}-70 H
_{1,1,1,2,1,2,1,2,1,1,2,1}+20 H_{2,2,1,1,2,1,1,2,1,2,1}-70 H_{2,
2,2,1,1,1,1,1,2,1,1,1}-6 H_{1,1,2,2,2,1,2,1,2,2}-924 H_{1,1,1,2,1
,1,1,1,1,2,1,1,1,1}-6 H_{1,1,2,2,2,2,2,1,1,2}+252 H_{1,1,1,2,1,1,
1,2,2,1,1,1,1}-70 H_{1,2,1,2,1,1,1,1,1,1,2,2}+252 H_{1,1,1,2,1,1,
1,1,1,1,2,1,2}-924 H_{1,2,1,1,1,1,1,1,1,1,1,1,1,2}-70 H_{2,1,1,1,
2,1,1,1,1,2,1,2}+20 H_{1,2,1,1,1,2,2,1,1,2,2}+20 H_{2,1,1,1,2,1,2
,2,1,2,1}+252 H_{1,1,1,2,2,1,1,1,2,1,1,1,1}-70 H_{2,1,1,1,1,1,1,2
,1,2,2,1}+252 H_{1,1,1,1,2,2,1,1,1,1,1,1,2}+2508 H_{1,1,1,1,1,1,1
,2,1,1,1,1,1,2}+20 H_{1,1,1,2,1,2,1,1,2,2,2}+20 H_{1,1,1,2,1,2,2,
1,1,2,2}-6 H_{1,2,1,2,2,1,2,1,2,2}+20 H_{1,2,1,2,1,2,2,1,2,1,1}-
924 H_{1,1,2,1,1,1,1,2,1,1,1,1,1,1}+20 H_{1,1,2,2,1,2,1,2,1,2,1}-
924 H_{1,1,1,2,1,1,1,1,1,1,2,1,1,1}-6 H_{2,1,1,1,2,2,2,1,2,2}-70
 H_{1,2,2,1,1,1,1,2,2,1,1,1}+2 H_{1,1,2,2,2,2,2,2,2}-6 H_{2,1,1
,2,2,2,1,1,2,2}+20 H_{1,2,1,1,1,2,2,1,2,2,1}+20 H_{1,1,2,1,2,1,1,
2,2,1,2}-9438 H_{1,1,1,1,1,1,1,2,1,1,1,1,1,1,1}-6 H_{1,2,1,2,2,2,
2,1,1,2}-6 H_{1,2,2,2,1,2,1,2,1,2}-70 H_{2,1,1,1,1,1,2,2,1,1,1,2}
}-70 H_{1,1,1,2,1,2,2,1,1,1,2,1}-70 H_{1,2,2,1,1,2,1,1,1,2,1,1}-
70 H_{1,1,1,1,1,2,2,2,2,1,1,1}+252 H_{1,1,2,1,1,1,2,2,1,1,1,1,1}-
70 H_{1,1,1,1,2,1,1,2,2,2,1,1}+20 H_{1,2,2,1,2,2,1,2,1,1,1}+20 H
_{2,2,2,1,1,2,1,1,1,2,1}+252 H_{1,2,1,1,1,2,1,1,1,1,2,1,1}-70 H_{
{1,1,2,1,1,1,2,2,1,1,1,2}+20 H_{2,2,2,1,1,2,1,1,1,1,2}+20 H_{1,1,
2,2,1,1,1,2,2,2,1}-70 H_{1,1,1,2,2,2,1,2,1,1,1,1}+252 H_{2,1,2,1,
1,1,1,2,1,1,1,1,1}+20 H_{1,1,2,1,2,2,2,2,1,1,1}+20 H_{1,2,1,1,1,1
,1,2,2,2,2}+2 H_{2,1,2,2,2,2,1,2,2}-70 H_{1,2,2,1,1,2,1,2,1,1,1,1
}+252 H_{1,2,2,1,1,1,1,1,2,1,1,1,1}-70 H_{1,1,1,1,2,2,1,2,1,1,2,1
}-70 H_{1,2,1,2,1,1,2,1,1,2,1,1}-70 H_{1,2,1,1,1,1,1,2,1,2,2,1}-
70 H_{1,2,1,2,1,2,1,1,1,2,1,1}+2 H_{2,2,1,2,1,2,2,2,2}+20 H_{1,
1,2,2,1,1,2,2,1,1,2}+20 H_{1,1,2,1,2,2,1,1,1,2,2}-70 H_{2,1,1,1,1
,1,2,1,2,2,1,1}-924 H_{1,1,1,1,1,2,2,1,1,1,1,1,1,1}+252 H_{1,2,1,
2,1,1,1,1,1,1,1,1,2}+252 H_{1,1,2,2,1,2,1,1,1,1,1,1,1}+20 H_{2,2,
2,2,1,1,2,1,1,1,1}+20 H_{1,1,1,2,2,2,1,1,2,1,2}+20 H_{2,2,2,2,1,2
,1,1,1,1,1}+20 H_{1,1,2,2,2,1,2,1,2,1,1}+252 H_{2,1,1,1,1,1,2,1,2
,1,1,1,1}-6 H_{1,2,2,2,1,2,1,1,2,2}-6 H_{2,2,2,1,2,2,1,2,1,1}-70
 H_{1,1,1,1,2,1,1,1,1,2,2,2}-70 H_{1,1,2,1,1,1,2,2,2,1,1,1}-6 H_
{1,2,2,1,1,2,2,2,2,1}-70 H_{1,2,1,2,2,2,1,1,1,1,1,1}-6 H_{2,2,1,
2,1,2,2,1,2,1}+20 H_{1,1,2,2,1,2,1,1,2,2,1}+252 H_{1,1,1,1,1,1,1,
1,2,2,1,1,2}+20 H_{2,1,1,1,2,2,2,2,1,1,1}-70 H_{1,1,2,2,1,1,1,1,2
,2,1,1}-70 H_{1,1,2,2,1,2,1,2,1,1,1,1}+20 H_{2,1,2,1,2,2,1,1,2,1,
1}-924 H_{1,1,1,1,1,1,2,1,1,1,1,1,1,2}+252 H_{1,1,1,1,1,1,2,1,1,2
,1,2,1}+20 H_{1,2,2,2,1,1,1,1,1,2,2}-70 H_{2,1,1,2,1,1,1,1,2,2,1,
1}-6 H_{2,2,2,2,1,2,2,1,1,1}-70 H_{1,1,1,2,2,1,2,1,1,1,1,2}+20 
H_{1,1,2,1,1,2,2,1,1,2,2}-924 H_{2,1,1,2,1,1,1,1,1,1,1,1,1,1}+20 
H_{2,1,1,1,1,2,1,1,2,2,2}-6 H_{1,2,2,1,2,2,1,2,1,2}+20 H_{1,1,1,
2,1,1,2,2,2,2,1}+20 H_{2,2,1,1,2,1,1,1,1,2,2}-70 H_{1,1,2,1,2,1,2
,1,1,2,1,1}-70 H_{1,1,1,2,1,1,1,1,2,2,1,2}-6 H_{2,1,2,2,2,2,1,2,1
,1}+2508 H_{1,1,1,1,1,1,1,2,1,2,1,1,1,1}-70 H_{2,2,1,2,1,2,1,1,1,
1,1,1}-6 H_{2,2,1,2,2,2,1,2,1,1}-6 H_{1,2,1,2,1,2,2,2,1,2}+20 H
_{1,2,2,2,1,1,2,1,1,1,2}-6 H_{1,2,1,2,2,1,2,2,1,2}+20 H_{1,1,1,2
,1,2,2,1,2,2,1}-70 H_{1,1,2,1,2,2,1,1,2,1,1,1}+20 H_{1,2,1,1,2,1,
1,1,2,2,2}-6 H_{2,2,2,1,2,2,2,1,1,1}-6 H_{1,1,2,2,1,2,1,2,2,2}-
70 H_{1,2,2,1,2,1,1,1,1,1,1,2}+252 H_{1,1,1,1,1,2,2,1,1,1,2,1,1}+
20 H_{1,1,1,1,2,2,2,2,1,1,2}-6 H_{2,1,1,2,2,2,2,1,2,1}+20 H_{1,
2,1,2,1,2,2,1,1,2,1}-6 H_{2,1,2,1,2,2,1,1,2,2}+252 H_{2,1,1,1,1,1
,2,1,1,1,1,1,2}-70 H_{1,1,1,2,1,1,1,2,1,2,2,1}-70 H_{1,1,1,1,2,2,
2,1,1,1,1,2}+20 H_{1,1,1,1,2,1,2,2,2,2,1}-70 H_{1,2,1,2,1,1,1,1,2
,2,1,1}-924 H_{1,1,1,1,2,1,1,1,1,1,1,2,1,1}-6 H_{2,1,2,1,1,2,2,2,
2,1}+20 H_{2,2,2,2,2,1,1,1,1,1,1}+252 H_{1,1,1,1,1,2,1,2,1,2,1,1,
1}-70 H_{1,1,1,2,1,2,2,1,2,1,1,1}+20 H_{1,2,2,1,1,1,2,1,1,2,2}+
182 H_{1,1,1,1,1,1,1,2,1,2,2,2}-6 H_{2,1,1,2,1,2,2,1,2,2}-70 H_{
{2,1,1,1,1,2,1,1,1,1,2,2}-70 H_{1,1,2,1,1,1,2,2,1,1,2,1}+252 H_{1
,1,1,1,1,1,2,2,1,1,1,1,2}-70 H_{1,2,1,1,1,1,2,1,2,1,2,1}+20 H_{2,
2,2,1,1,2,1,2,1,1,1}+20 H_{1,1,2,2,1,1,1,2,1,2,2}-6 H_{1,2,2,1,2,
2,1,1,2,2}+20 H_{1,2,1,1,2,2,2,1,1,1,2}-70 H_{1,2,2,2,1,2,1,1,1,1
,1,1}+252 H_{1,1,2,1,1,2,1,1,1,1,1,2,1}-924 H_{1,2,2,1,1,1,1,1,1,
1,1,1,1,1}+2508 H_{1,1,1,1,1,1,1,2,1,1,1,1,2,1}+252 H_{1,1,1,1,2,
1,1,1,1,1,2,1,2}-70 H_{1,2,1,2,1,2,1,1,1,1,1,2}+20 H_{1,1,2,2,2,1
,2,2,1,1,1}+20 H_{1,2,1,1,2,1,2,2,1,1,2}-70 H_{1,1,2,1,1,2,1,1,1,
2,1,2}-6 H_{2,1,2,2,2,2,1,1,2,1}+20 H_{2,1,1,1,2,1,1,2,2,2,1}-70
 H_{1,1,1,1,1,2,1,2,2,1,2,1}-6 H_{2,1,1,2,2,1,1,2,2,2}-70 H_{2,
1,1,1,1,1,2,2,1,1,2,1}-6 H_{1,2,2,2,2,2,2,1,1,1}-70 H_{1,1,2,1,1,
2,1,2,1,2,1,1}+252 H_{1,1,1,1,1,1,2,1,2,1,1,1,2}+252 H_{1,2,2,1,1
,1,2,1,1,1,1,1,1}-924 H_{1,1,1,1,1,2,1,1,1,2,1,1,1,1}+20 H_{1,1,1
,1,2,2,2,1,2,1,2}-70 H_{1,1,2,1,1,1,1,2,2,1,1,2}+20 H_{1,1,1,1,2,
1,1,2,2,2,2}-70 H_{2,1,1,1,1,2,2,1,1,2,1,1}+20 H_{1,1,2,1,2,1,2,2
,2,1,1}-70 H_{1,1,2,2,2,1,1,1,1,1,2,1}+252 H_{1,1,1,1,2,1,1,2,1,1
,1,1,2}-70 H_{1,1,1,2,2,1,1,2,1,1,1,2}+252 H_{1,2,1,1,1,1,1,1,2,1
,1,2,1}+20 H_{2,2,1,1,1,2,1,2,1,1,2}-70 H_{1,1,1,1,2,1,1,2,2,1,1,
2}-70 H_{1,1,1,2,2,1,2,1,1,2,1,1}+20 H_{2,1,1,2,2,2,1,1,1,2,1}+
252 H_{1,1,2,1,1,2,1,1,1,2,1,1,1}-924 H_{1,2,1,1,1,1,2,1,1,1,1,1,1
,1}-70 H_{1,2,2,1,1,1,2,1,1,1,2,1}-70 H_{2,1,1,2,1,1,1,2,1,2,1,1}
}-70 H_{2,1,1,1,2,1,1,2,1,2,1,1}+20 H_{1,2,2,1,1,2,1,2,1,2,1}+20
 H_{1,1,1,1,2,1,2,2,2,1,2}-6 H_{1,2,2,2,1,2,2,2,1,1}-70 H_{1,2,
1,1,1,1,2,1,1,2,1,2}-70 H_{1,2,1,2,1,1,1,2,2,1,1,1}+20 H_{1,2,2,2
,2,1,1,2,1,1,1}+20 H_{1,1,2,2,1,2,2,2,1,1,1}-70 H_{1,2,1,1,1,1,2,
1,1,2,2,1}+20 H_{2,2,2,2,1,1,1,1,2,1,1}-70 H_{1,2,1,1,2,1,1,1,1,1
,2,2}+20 H_{2,2,2,1,1,1,2,1,1,1,2}-924 H_{1,1,1,1,1,1,2,1,1,1,1,1
,2,1}+252 H_{1,1,1,1,1,2,2,2,1,1,1,1,1}+20 H_{2,2,1,1,1,1,1,2,2,2
,1}+252 H_{1,1,2,1,1,1,1,1,2,1,1,1,2}+20 H_{1,1,2,2,1,1,2,2,1,2,1
}-70 H_{1,1,1,1,1,2,1,2,1,1,2,2}+20 H_{1,1,2,1,1,1,2,2,2,1,2}+20
 H_{1,1,2,1,2,2,1,2,1,1,2}-924 H_{1,1,1,1,1,1,1,1,2,1,2,1,1,1}+
252 H_{1,2,1,1,2,1,1,1,1,1,1,2,1}-70 H_{1,1,1,1,2,2,1,1,2,1,1,2}+
252 H_{1,1,2,1,1,2,1,1,2,1,1,1,1}+20 H_{1,2,2,2,1,1,1,1,2,1,2}-6
 H_{1,2,1,2,2,2,1,2,1,2}-70 H_{1,1,1,1,1,2,2,1,2,1,2,1}-924 H_{
2,1,1,1,1,1,1,1,1,1,1,2,1,1}-924 H_{2,1,1,1,1,1,1,1,1,1,1,1,1,2}-70
 H_{1,1,2,1,1,1,2,1,2,1,1,2}+20 H_{1,2,1,1,1,2,2,2,1,2,1}-70 H_{
{1,1,1,1,2,2,1,2,2,1,1,1}-924 H_{2,1,1,1,1,2,1,1,1,1,1,1,1,1}-6 H_
{1,2,2,2,2,1,2,1,1,2}-70 H_{1,1,1,1,1,2,1,2,1,2,1,2}+252 H_{1,1,
1,1,2,1,1,1,2,1,1,1,2}+20 H_{1,1,2,1,1,1,2,2,2,2,1}-70 H_{1,1,1,1
,1,2,1,1,2,2,2,1}-70 H_{1,1,2,1,1,1,1,2,1,2,1,2}+252 H_{1,1,2,1,1
,1,1,2,1,1,1,1,2}-924 H_{1,1,1,1,1,2,1,1,1,1,2,1,1,1}-924 H_{1,1,
1,1,1,2,1,1,2,1,1,1,1,1}-70 H_{1,1,1,1,2,1,1,2,2,1,2,1}-924 H_{1,
1,1,1,1,1,2,1,1,1,2,1,1,1}-6 H_{1,2,2,1,1,1,2,2,2,2}-70 H_{1,2,1,
2,2,1,1,1,2,1,1,1}-6 H_{1,1,1,2,1,2,2,2,2,2}-924 H_{1,2,1,1,1,1,1
,2,1,1,1,1,1,1}+252 H_{1,1,1,1,2,1,1,2,1,1,1,2,1}+252 H_{1,2,1,2,
2,1,1,1,1,1,1,1,1}+20 H_{1,1,1,2,2,2,1,2,2,1,1}+20 H_{1,1,2,2,1,1
,2,2,2,1,1}+252 H_{1,1,1,1,2,1,2,1,1,1,1,2,1}+20 H_{1,2,2,1,1,1,2
,2,1,1,2}-70 H_{1,2,1,1,1,1,2,2,1,2,1,1}+182 H_{1,1,1,1,1,1,1,2,2
,1,2,2}+252 H_{1,1,1,1,1,2,1,1,1,2,1,1,2}-924 H_{2,1,1,1,1,1,1,1,
1,1,1,1,2,1}-70 H_{1,2,1,2,1,1,1,2,1,2,1,1}-6 H_{1,1,1,1,2,2,2,2,
2,2}-70 H_{1,2,2,2,2,1,1,1,1,1,1,1}+252 H_{1,2,1,1,1,1,1,1,1,1,2,
1,2}+20 H_{1,1,2,1,2,2,2,1,2,1,1}-924 H_{2,1,2,1,1,1,1,1,1,1,1,1,
1,1}+20 H_{1,1,2,2,2,2,1,1,1,2,1}-924 H_{2,2,1,1,1,1,1,1,1,1,1,1,
1,1}-70 H_{1,2,1,1,2,1,1,1,2,1,1,2}-70 H_{1,2,1,1,1,1,1,2,1,2,1,2
}-70 H_{1,1,2,1,1,2,2,2,1,1,1,1}+20 H_{1,2,2,1,1,2,2,2,1,1,1}+
252 H_{1,1,1,1,1,2,1,1,1,1,2,2,1}+H_{1,1,1,1,1,1,1,1}+252 H_{2,1
,1,1,1,2,1,1,1,2,1,1,1}-70 H_{1,1,1,2,1,2,2,1,1,2,1,1}-672 H_{1,1
,1,1,1,1,1,2,2,2,1,1,1}+252 H_{1,1,1,1,2,1,2,1,1,1,1,1,2}+252 H_{
1,2,1,1,1,1,2,1,1,1,2,1,1}-924 H_{1,1,1,2,1,1,1,1,1,1,1,1,1,2}+252
 H_{1,1,2,1,1,1,1,2,1,1,2,1,1}-924 H_{1,1,1,1,2,1,1,1,1,1,2,1,1,1}
}+20 H_{1,1,1,2,2,1,2,1,2,1,2}-70 H_{1,2,2,1,1,2,1,1,1,1,2,1}+20
 H_{1,2,2,1,2,1,2,1,1,1,2}+20 H_{1,2,2,2,1,1,1,2,1,1,2}-924 H_{
1,1,1,2,1,2,1,1,1,1,1,1,1,1}-70 H_{1,2,1,1,2,2,2,1,1,1,1,1}+20 H_{
{1,1,2,1,1,2,1,2,2,1,2}-70 H_{1,2,1,1,2,2,1,1,1,1,2,1}-70 H_{1,2,
1,1,1,1,1,1,2,2,1,2}+20 H_{1,1,2,2,1,2,2,1,1,1,2}-6 H_{1,1,2,1,2,
2,2,2,2,1}-70 H_{1,2,1,1,1,2,1,1,1,1,2,2}-70 H_{1,2,1,1,1,2,2,1,2
,1,1,1}-70 H_{1,2,1,1,2,1,1,1,2,1,2,1}+20 H_{1,1,2,1,1,2,2,1,2,2,
1}-6 H_{1,2,2,2,2,1,1,2,1,2}+252 H_{1,1,1,1,1,2,1,1,1,1,1,2,2}-
70 H_{1,1,1,1,2,1,1,1,2,2,2,1}-70 H_{1,2,1,2,2,1,1,1,1,1,1,2}-6 
H_{1,1,2,2,2,2,2,2,1,1}-70 H_{2,2,2,1,1,2,1,1,1,1,1,1}+20 H_{1,2
,1,2,2,1,1,1,2,1,2}-924 H_{1,1,2,1,1,1,1,1,2,1,1,1,1,1}+20 H_{1,2
,2,1,2,2,1,1,2,1,1}-70 H_{1,2,1,1,1,2,1,1,2,1,1,2}+20 H_{1,1,2,1,
2,1,2,1,2,2,1}-70 H_{1,2,2,1,1,1,2,2,1,1,1,1}+252 H_{1,1,2,1,2,1,
1,1,1,1,1,2,1}-70 H_{1,1,1,1,2,1,2,1,1,2,1,2}-6 H_{1,1,2,1,1,2,2,
2,2,2}-6 H_{1,2,2,2,2,1,2,2,1,1}+252 H_{1,2,1,1,1,1,1,2,1,1,1,2,1
}+20 H_{1,1,2,1,2,1,1,2,1,2,2}-70 H_{1,1,2,1,1,2,1,1,1,1,2,2}+
252 H_{1,1,1,1,1,2,2,1,1,1,1,1,2}-70 H_{2,1,1,2,1,1,2,1,1,2,1,1}-
70 H_{2,1,1,2,1,1,2,1,2,1,1,1}-6 H_{2,1,1,1,1,2,2,2,2,2}-70 H_{
1,1,1,1,1,2,1,1,2,1,2,2}-70 H_{1,2,1,1,1,1,1,2,2,1,2,1}+20 H_{1,2
,1,1,2,1,1,2,2,1,2}-70 H_{1,1,2,2,1,1,1,1,1,1,2,2}-70 H_{1,1,2,1,
1,1,1,2,2,2,1,1}+20 H_{1,2,1,1,1,1,2,2,2,1,2}-70 H_{1,1,2,1,1,1,2
,1,1,1,2,2}+252 H_{1,2,1,1,1,1,1,1,1,1,1,2,2}-70 H_{1,1,2,2,2,1,1
bHtes used=97537061496, alloc=983580764, time=58417.52
,1,1,2,1,1}-70 H_{1,2,1,1,1,1,1,1,2,2,2,1}-70 H_{1,1,1,2,2,1,1,1,
2,2,1,1}+252 H_{1,1,1,1,2,1,1,1,2,2,1,1,1}+252 H_{1,1,2,1,1,1,1,1
,1,2,2,1,1}+252 H_{1,2,1,1,1,1,1,2,1,1,1,1,2}+20 H_{1,2,2,1,1,2,1
,2,2,1,1}+20 H_{2,2,2,1,1,2,1,1,2,1,1}-70 H_{1,2,2,1,1,2,1,1,2,1,
1,1}-924 H_{1,1,1,1,1,2,1,1,1,1,1,1,1,2}-6 H_{1,1,2,2,1,2,2,2,2,1
}+2508 H_{1,1,1,1,1,1,1,2,1,1,2,1,1,1}+252 H_{1,1,2,1,1,1,1,1,1,1
,1,2,2}+252 H_{1,1,1,1,2,1,1,1,1,2,1,1,2}-70 H_{1,1,1,1,2,2,2,1,1
,1,2,1}+252 H_{1,1,1,1,2,1,1,1,1,1,1,2,2}-70 H_{1,2,1,2,1,2,1,1,2
,1,1,1}-70 H_{1,1,1,2,2,1,1,2,1,1,2,1}+20 H_{2,1,1,2,1,2,2,1,2,1,
1}-70 H_{2,1,1,1,2,1,1,1,2,1,2,1}-70 H_{1,1,1,2,1,1,1,2,1,2,1,2}
+20 H_{2,2,2,1,2,1,1,2,1,1,1}+252 H_{1,1,1,1,1,1,1,1,2,1,2,2,1}-
70 H_{2,1,2,1,2,1,1,2,1,1,1,1}-6 H_{1,1,1,2,2,1,2,2,2,2}-6 H_{2
,1,1,2,2,1,2,1,2,2}+20 H_{1,1,1,2,2,2,2,1,1,1,2}-924 H_{2,1,1,1,1
,1,1,2,1,1,1,1,1,1}+20 H_{2,1,1,1,2,1,2,2,2,1,1}-70 H_{1,1,1,1,1,
2,1,2,1,2,2,1}-6 H_{1,2,2,1,2,2,2,1,1,2}+20 H_{1,2,1,1,2,2,1,2,2,
1,1}-70 H_{1,1,2,2,2,1,2,1,1,1,1,1}-70 H_{1,1,1,2,2,1,2,1,1,1,2,1
}-70 H_{1,2,1,2,1,1,2,1,1,1,2,1}+20 H_{2,1,1,2,1,1,1,2,1,2,2}+20
 H_{1,2,1,2,2,2,2,1,1,1,1}-70 H_{1,2,1,1,2,1,1,1,2,2,1,1}+20 H_{
{1,2,1,2,1,2,1,2,1,2,1}-672 H_{1,1,1,1,1,1,1,2,1,2,2,1,1}-70 H_{2
,1,2,1,1,1,2,1,1,1,1,2}+252 H_{1,1,1,2,1,1,1,1,1,2,1,1,2}-924 H_{
1,1,1,1,2,2,1,1,1,1,1,1,1,1}+20 H_{1,1,2,2,1,1,2,1,2,2,1}+20 H_{1
,2,2,2,1,2,1,1,1,2,1}-70 H_{1,1,1,1,1,2,2,1,1,2,1,2}+252 H_{1,2,1
,2,1,2,1,1,1,1,1,1,1}-70 H_{1,2,1,1,1,1,1,1,1,2,2,2}-70 H_{2,1,1,
2,1,1,1,1,2,1,1,2}+252 H_{1,1,2,1,2,1,2,1,1,1,1,1,1}+20 H_{2,1,1,
1,1,2,2,1,2,2,1}-70 H_{1,1,1,2,1,2,1,2,1,1,1,2}+20 H_{2,1,2,1,1,2
,1,1,1,2,2}-6 H_{1,2,1,2,2,1,2,2,2,1}-70 H_{1,2,2,1,1,1,2,1,2,1,1
,1}+20 H_{1,2,2,1,1,1,1,1,2,2,2}-6 H_{1,2,1,2,1,2,2,1,2,2}-70 H
_{2,1,1,2,1,1,2,2,1,1,1,1}+20 H_{2,1,1,1,2,1,2,1,1,2,2}-70 H_{1,
2,1,2,1,2,2,1,1,1,1,1}+20 H_{2,1,1,2,2,1,2,1,2,1,1}+20 H_{2,1,1,1
,1,2,1,2,2,2,1}-70 H_{1,1,1,2,1,1,2,1,2,1,2,1}+20 H_{2,2,2,1,2,1,
1,1,2,1,1}+252 H_{1,2,1,2,1,1,1,1,1,1,1,2,1}-70 H_{2,1,2,1,1,1,1,
1,1,1,2,2}-924 H_{1,1,1,1,2,1,1,1,2,1,1,1,1,1}+252 H_{1,1,1,2,1,1
,2,1,1,1,2,1,1}+20 H_{1,1,1,1,1,2,2,2,2,1,2}-6 H_{2,1,2,2,2,1,1,2
,1,2}+252 H_{2,1,1,1,1,1,1,1,2,1,1,1,2}+252 H_{1,1,1,1,2,1,1,1,1,
2,2,1,1}+20 H_{1,2,2,1,2,1,2,2,1,1,1}-70 H_{2,1,1,1,1,2,1,2,1,1,1
,2}+20 H_{1,2,1,2,1,2,1,1,2,1,2}-672 H_{1,1,1,1,1,1,1,2,1,2,1,2,1
}-924 H_{1,1,1,1,1,2,1,1,1,1,1,1,2,1}+20 H_{1,2,1,2,1,1,2,1,2,1,2
}+20 H_{1,2,2,1,1,2,1,1,2,1,2}+20 H_{1,1,1,1,2,2,2,2,2,1,1}-70 
H_{1,1,2,1,1,2,1,1,2,1,1,2}+252 H_{1,1,1,1,2,1,1,2,2,1,1,1,1}+20 
H_{1,2,2,1,1,1,2,1,2,2,1}+20 H_{2,2,2,2,1,1,1,1,1,2,1}+3432 H_{1
,1,1,1,1,1,1,1,2,1,1,1,1,1,1}+252 H_{1,2,1,1,2,1,1,2,1,1,1,1,1}-70
 H_{2,1,1,1,1,1,1,1,2,1,2,2}+252 H_{1,2,2,1,1,1,1,2,1,1,1,1,1}+
252 H_{1,2,1,1,2,1,1,1,1,2,1,1,1}-70 H_{1,2,2,1,1,2,2,1,1,1,1,1}-
70 H_{2,1,1,2,1,1,1,2,1,1,1,2}-70 H_{1,1,2,2,1,1,1,2,1,1,1,2}-6 
H_{2,1,2,2,1,2,1,2,1,2}-70 H_{1,1,1,1,2,1,2,2,1,2,1,1}+20 H_{1,1
,2,2,1,1,1,1,2,2,2}+252 H_{2,1,1,2,1,1,1,1,1,1,1,1,2}-70 H_{1,2,1
,2,1,1,1,1,1,2,1,2}-70 H_{2,1,1,2,1,1,1,2,2,1,1,1}-70 H_{2,2,2,1,
1,1,1,1,1,2,1,1}+252 H_{1,1,2,1,1,1,1,2,1,1,1,2,1}-6 H_{1,1,2,2,2
,2,1,2,1,2}+20 H_{2,1,2,1,1,1,1,2,2,2,1}-70 H_{2,1,1,1,1,2,1,1,2,
2,1,1}-6 H_{2,2,1,2,2,1,1,2,1,2}-70 H_{1,1,1,2,1,1,1,2,2,2,1,1}+
20 H_{1,2,2,1,1,2,1,1,2,2,1}-70 H_{2,1,1,1,2,1,2,2,1,1,1,1}-70 H
_{2,1,1,1,2,1,1,1,2,2,1,1}+20 H_{2,1,1,1,2,1,2,1,2,1,2}-70 H_{1,
2,1,1,2,1,1,2,1,1,1,2}+252 H_{1,1,1,1,1,2,1,2,1,1,1,2,1}-70 H_{1,
1,1,1,1,2,2,1,2,1,1,2}+20 H_{1,2,2,1,2,1,2,1,1,2,1}+252 H_{1,1,1,
2,2,1,1,1,1,1,2,1,1}-6 H_{2,1,2,1,1,2,2,1,2,2}+20 H_{1,1,2,2,2,1,
1,2,1,2,1}+20 H_{1,1,2,1,2,1,2,2,1,2,1}+20 H_{2,1,1,1,1,1,1,2,2,2
,2}-70 H_{2,1,1,2,1,1,1,2,1,1,2,1}-6 H_{2,1,2,1,1,2,2,2,1,2}-6 
H_{2,2,1,2,1,2,1,2,2,1}-70 H_{1,1,1,2,2,2,1,1,1,2,1,1}-70 H_{2,2
,1,1,1,2,1,1,1,2,1,1}+252 H_{2,1,1,1,1,1,1,1,2,1,2,1,1}+20 H_{2,1
,2,2,1,1,2,1,2,1,1}-6 H_{2,2,1,1,2,1,2,2,2,1}+20 H_{2,1,1,1,1,2,1
,2,2,1,2}+2 H_{1,2,2,2,2,1,2,2,2}+20 H_{1,2,1,2,1,2,1,2,1,1,2}+
20 H_{1,1,2,1,2,2,1,1,2,1,2}+20 H_{1,2,1,2,2,2,1,2,1,1,1}+252 H_
{1,2,1,1,1,1,1,1,1,1,2,2,1}-70 H_{2,2,1,1,1,2,1,1,1,1,2,1}-70 H_{
{1,1,1,1,1,1,2,2,1,2,2,1}+20 H_{1,2,2,2,1,1,1,2,1,2,1}+20 H_{1,2,
2,1,1,2,1,2,1,1,2}+252 H_{1,1,2,1,1,1,1,1,1,1,2,2,1}-70 H_{1,1,1,
1,1,2,2,2,1,2,1,1}-6 H_{1,2,2,2,2,2,1,1,1,2}-70 H_{1,2,1,1,2,1,1,
1,1,2,2,1}+20 H_{2,2,2,2,1,1,1,2,1,1,1}+20 H_{2,1,1,1,1,1,2,2,1,2
,2}+20 H_{1,1,2,1,2,2,1,2,2,1,1}-70 H_{1,1,1,1,2,2,1,2,1,1,1,2}-
70 H_{2,1,1,1,1,1,1,1,2,2,2,1}-70 H_{2,1,1,2,1,1,2,1,1,1,2,1}-70
 H_{1,1,1,1,2,2,1,1,1,1,2,2}-70 H_{1,2,1,1,1,2,1,1,2,2,1,1}-6 H_
{2,2,2,2,1,1,2,1,1,2}+2508 H_{1,1,1,1,1,1,1,2,1,1,1,2,1,1}-70 H_{
{1,1,1,1,2,2,1,1,2,2,1,1}+20 H_{2,2,2,1,1,2,2,1,1,1,1}+252 H_{1,1
,1,1,2,1,1,2,1,1,2,1,1}-6 H_{1,1,2,2,2,2,1,2,2,1}-6 H_{2,1,2,2,1,
1,2,2,1,2}+20 H_{1,2,2,1,2,1,1,2,1,2,1}+252 H_{2,2,2,1,1,1,1,1,1,
1,1,1,1}-6 H_{2,2,1,1,2,2,2,2,1,1}+20 H_{1,1,2,1,2,1,2,1,1,2,2}-
70 H_{2,1,1,1,1,1,2,2,2,1,1,1}+3432 H_{1,1,2,1,1,1,1,1,1,1,1,1,1,1
,1}-70 H_{1,1,2,1,2,2,1,1,1,1,1,2}-70 H_{2,1,2,2,1,1,1,1,1,2,1,1}
}-6 H_{2,1,2,2,2,1,1,1,2,2}-70 H_{2,1,1,1,1,1,1,2,2,1,2,1}+2 H_{
{2,2,2,1,2,2,2,1,2}+20 H_{1,1,1,1,2,2,1,2,2,2,1}+252 H_{1,2,1,1,1
,1,1,1,2,2,1,1,1}+20 H_{2,1,1,1,1,2,2,2,1,2,1}+20 H_{2,1,1,2,1,1,
1,2,2,2,1}-70 H_{1,1,1,2,2,1,2,1,2,1,1,1}+20 H_{1,1,2,2,2,2,1,1,1
,1,2}+20 H_{2,1,2,1,1,1,2,1,2,1,2}-70 H_{1,2,1,1,2,1,1,2,1,1,2,1}
}-70 H_{1,2,1,2,2,1,1,2,1,1,1,1}+20 H_{1,1,2,2,2,1,1,2,2,1,1}-70
 H_{1,2,1,1,1,1,2,1,2,1,1,2}-70 H_{1,1,2,1,2,1,2,2,1,1,1,1}+20 H
_{1,2,1,1,2,1,2,1,2,1,2}-70 H_{2,2,2,1,1,1,2,1,1,1,1,1}-70 H_{2,
1,1,1,1,1,2,1,2,1,1,2}-924 H_{1,1,1,1,1,1,2,1,1,2,1,1,1,1}-70 H_{
1,1,2,1,2,2,1,1,1,2,1,1}-70 H_{2,2,2,2,1,1,1,1,1,1,1,1}+2 H_{2,1,
2,1,2,2,2,2,2}+252 H_{1,1,1,2,1,1,1,2,1,2,1,1,1}-70 H_{1,1,1,1,1,
1,2,1,2,1,2,2}+20 H_{2,1,2,1,1,2,1,1,2,1,2}-672 H_{1,1,1,1,1,1,1,
2,1,2,1,1,2}+20 H_{1,1,1,2,2,1,2,1,2,2,1}-70 H_{2,1,2,1,1,1,1,1,1
,2,1,2}+20 H_{1,1,2,1,1,2,2,2,1,1,2}+252 H_{1,1,1,1,1,1,2,2,2,1,1
,1,1}-70 H_{1,2,1,1,2,2,1,2,1,1,1,1}-6 H_{2,1,2,2,2,1,2,1,2,1}+
20 H_{1,1,2,2,2,2,1,1,2,1,1}-6 H_{1,2,1,2,2,2,1,2,2,1}-70 H_{2,
1,1,1,1,1,1,2,2,1,1,2}-924 H_{1,2,1,1,1,1,1,1,2,1,1,1,1,1}-70 H_{
1,2,1,1,1,2,1,1,1,2,1,2}+252 H_{2,1,1,1,2,1,1,2,1,1,1,1,1}-70 H_{
1,1,1,1,1,1,2,1,1,2,2,2}-70 H_{2,1,1,1,1,1,1,1,1,2,2,2}-70 H_{1,2
,1,2,1,1,2,1,2,1,1,1}-70 H_{2,2,1,2,2,1,1,1,1,1,1,1}-6 H_{1,2,1,1
,1,2,2,2,2,2}+20 H_{1,2,1,1,2,1,2,2,1,2,1}-70 H_{2,1,1,1,1,1,1,2,
1,1,2,2}+20 H_{1,1,2,1,2,2,2,1,1,1,2}-70 H_{2,1,1,2,1,1,1,1,1,2,1
,2}+20 H_{2,1,1,1,2,2,1,2,1,2,1}+20 H_{2,1,1,1,2,1,2,1,2,2,1}+
252 H_{1,1,1,1,1,2,1,2,1,1,2,1,1}+20 H_{1,1,1,1,2,2,2,1,2,2,1}+20
 H_{2,1,1,1,2,1,1,2,2,1,2}+20 H_{1,1,2,2,2,1,1,1,2,2,1}-924 H_{
1,1,2,1,1,1,1,1,1,1,1,1,2,1}+20 H_{1,1,2,2,1,2,1,2,1,1,2}-70 H_{1
,1,2,1,1,2,1,2,1,1,1,2}+20 H_{1,2,2,2,1,1,2,2,1,1,1}-6 H_{2,1,2,1
,2,1,2,2,2,1}-70 H_{1,1,2,1,2,2,1,1,1,1,2,1}+20 H_{1,1,2,1,2,1,1,
1,2,2,2}+20 H_{2,1,2,1,1,2,2,1,1,1,2}-70 H_{1,1,2,2,2,1,1,1,1,1,1
,2}-70 H_{2,2,2,1,1,1,1,2,1,1,1,1}+252 H_{1,2,2,1,1,1,1,1,1,1,2,1
,1}+20 H_{2,2,2,1,2,1,1,1,1,2,1}-70 H_{1,1,1,2,1,1,1,1,2,2,2,1}-
70 H_{1,1,2,2,1,2,1,1,2,1,1,1}+20 H_{1,1,1,2,1,2,2,2,1,2,1}-70 H
_{1,1,2,2,1,1,1,1,2,1,1,2}-6 H_{2,2,2,2,1,2,1,2,1,1}+252 H_{1,1,
1,1,1,2,1,1,1,1,2,1,2}+252 H_{1,1,2,1,1,1,1,1,2,1,2,1,1}+20 H_{2,
1,1,1,1,2,1,2,1,2,2}+20 H_{1,1,2,1,2,2,1,2,1,2,1}-70 H_{1,1,2,1,2
,2,2,1,1,1,1,1}-6 H_{1,1,2,2,2,1,1,2,2,2}-924 H_{1,1,2,1,1,1,2,1,
1,1,1,1,1,1}+20 H_{2,1,2,1,2,1,1,2,1,1,2}-70 H_{1,1,1,2,1,1,2,1,1
,2,1,2}-70 H_{1,1,1,2,1,1,2,2,1,2,1,1}+252 H_{1,1,1,1,2,1,1,1,1,2
,1,2,1}+20 H_{1,2,1,2,1,2,1,1,2,2,1}+252 H_{1,1,1,2,1,1,1,1,2,1,1
,2,1}-6 H_{1,2,1,1,2,2,2,1,2,2}+20 H_{1,1,2,2,1,1,2,1,2,1,2}+2 
H_{1,2,2,2,2,2,2,2,1}+252 H_{1,1,1,2,1,2,1,1,1,2,1,1,1}+252 H_{1
,1,2,2,2,1,1,1,1,1,1,1,1}+20 H_{1,2,1,2,1,1,2,1,1,2,2}+252 H_{1,1
,1,1,1,1,2,1,1,1,2,1,2}-70 H_{1,2,2,1,1,1,1,1,1,2,1,2}-70 H_{1,1,
1,2,1,2,2,1,1,1,1,2}-70 H_{1,2,2,1,2,1,2,1,1,1,1,1}-70 H_{2,1,1,1
,1,1,2,1,2,1,2,1}+20 H_{1,2,1,2,2,1,1,2,2,1,1}+252 H_{1,1,1,2,1,1
,1,2,1,1,1,1,2}-70 H_{1,1,2,1,1,1,1,2,1,1,2,2}-70 H_{2,1,1,2,1,1,
1,1,1,2,2,1}-70 H_{1,1,1,1,1,1,2,2,1,2,1,2}-924 H_{1,2,1,1,1,1,1,
1,1,1,2,1,1,1}-70 H_{1,1,2,1,2,1,1,1,1,2,2,1}+252 H_{1,1,1,1,1,2,
1,1,2,1,1,2,1}-6 H_{2,2,1,2,1,2,1,1,2,2}-6 H_{2,1,1,2,2,1,2,2,1,2
}-70 H_{1,1,1,2,2,1,1,1,1,2,1,2}-70 H_{1,1,2,1,2,1,1,2,1,1,2,1}+
252 H_{1,1,2,1,1,1,2,1,1,1,2,1,1}+182 H_{1,1,1,1,1,1,1,2,2,2,1,2}
+20 H_{1,1,2,2,1,2,1,2,2,1,1}+252 H_{1,2,1,1,1,1,2,1,2,1,1,1,1}+
252 H_{1,1,2,1,2,1,1,1,1,1,1,1,2}-70 H_{1,1,1,2,2,2,1,1,1,1,2,1}+
20 H_{1,1,1,2,2,1,2,1,1,2,2}+20 H_{2,2,1,1,2,1,1,2,1,1,2}+2 H_{
1,2,2,2,1,2,2,2,2}+2 H_{2,2,2,2,2,2,1,1,2}+20 H_{2,1,1,1,1,2,2,2,
2,1,1}+252 H_{1,1,1,1,2,1,1,2,1,2,1,1,1}+20 H_{1,2,1,2,1,1,1,2,1,
2,2}+20 H_{2,1,1,2,1,2,1,1,2,1,2}+20 H_{1,2,1,2,1,1,2,2,1,1,2}+
252 H_{1,1,1,2,1,1,1,1,1,2,1,2,1}-70 H_{1,1,1,1,1,2,1,2,2,2,1,1}+
20 H_{2,1,1,2,1,1,1,2,2,1,2}-70 H_{2,1,1,1,1,1,2,1,1,1,2,2}+252 
H_{1,1,2,1,1,1,2,1,1,2,1,1,1}-70 H_{1,1,1,2,1,1,2,2,1,1,1,2}-6 H_
{2,1,2,2,1,2,1,1,2,2}-6 H_{2,2,2,1,1,2,1,2,1,2}+2 H_{2,2,2,2,2,1
,2,1,2}+20 H_{1,2,2,2,2,1,2,1,1,1,1}-70 H_{1,1,2,1,1,1,1,1,1,2,2,
2}-70 H_{2,1,1,1,2,1,1,2,1,1,1,2}+20 H_{2,2,2,1,2,1,2,1,1,1,1}+
20 H_{2,2,1,1,2,2,1,1,1,2,1}-70 H_{1,1,2,1,2,1,1,1,1,1,2,2}-70 H
_{1,1,1,2,2,1,1,1,1,2,2,1}+20 H_{1,2,2,2,1,1,2,1,2,1,1}+20 H_{1,
2,2,2,1,2,1,1,2,1,1}-70 H_{1,1,2,2,1,1,2,1,1,1,1,2}-6 H_{2,1,2,2,
1,1,1,2,2,2}+2 H_{2,2,2,2,2,1,1,2,2}+20 H_{2,2,1,2,1,1,1,1,1,2,2}
}+20 H_{1,1,2,1,2,1,2,2,1,1,2}+20 H_{1,1,2,2,1,2,1,1,1,2,2}+20 H
_{1,2,1,1,1,1,2,2,2,2,1}+252 H_{1,2,1,1,1,1,2,1,1,1,1,1,2}-70 H_{
{1,1,2,1,1,1,2,1,1,2,2,1}-6 H_{2,2,2,1,1,1,2,1,2,2}+252 H_{1,1,2,
1,1,2,1,2,1,1,1,1,1}+20 H_{2,2,2,1,2,2,1,1,1,1,1}+20 H_{1,2,1,1,1
,2,2,2,2,1,1}+20 H_{2,1,1,1,1,1,2,2,2,1,2}-70 H_{1,2,2,2,1,1,1,1,
1,2,1,1}+252 H_{1,1,2,1,1,1,1,1,1,2,1,1,2}+20 H_{1,2,1,2,1,1,1,1,
2,2,2}+20 H_{2,1,1,1,2,2,1,1,1,2,2}+252 H_{1,1,1,2,1,1,1,1,2,2,1,
1,1}+20 H_{1,1,1,2,2,2,2,2,1,1,1}-70 H_{1,1,1,1,2,2,1,1,1,2,1,2}
+2 H_{2,2,2,2,1,2,1,2,2}-70 H_{2,1,2,1,2,1,1,1,1,1,2,1}-70 H_{2
,1,1,1,1,1,1,2,2,2,1,1}+20 H_{2,2,2,1,2,1,1,1,1,1,2}-70 H_{1,1,1,
1,2,2,2,2,1,1,1,1}-6 H_{2,2,1,1,1,2,2,2,1,2}+252 H_{1,2,1,1,1,2,1
,1,1,1,1,2,1}+20 H_{2,2,1,2,2,1,1,2,1,1,1}-70 H_{1,2,1,2,2,1,2,1,
1,1,1,1}-6 H_{1,1,2,1,2,1,2,2,2,2}-6 H_{1,2,1,2,2,2,2,1,2,1}+20
 H_{1,2,1,1,2,1,2,2,2,1,1}+20 H_{1,2,1,1,2,2,2,1,1,2,1}-6 H_{2,
2,1,2,2,1,2,2,1,1}+252 H_{1,1,1,1,1,1,2,1,1,1,1,2,2}+20 H_{1,1,2,
1,1,1,2,1,2,2,2}+252 H_{1,2,1,1,1,1,2,1,1,2,1,1,1}-70 H_{2,1,1,1,
1,1,2,1,1,2,1,2}-6 H_{1,1,1,2,2,2,2,2,2,1}+252 H_{1,1,1,1,2,2,1,1
,2,1,1,1,1}-70 H_{1,1,2,1,1,2,1,2,1,1,2,1}-924 H_{1,2,1,2,1,1,1,1
,1,1,1,1,1,1}+20 H_{2,1,2,1,1,1,2,1,1,2,2}+252 H_{1,1,2,1,1,1,1,2
,1,2,1,1,1}+252 H_{1,1,1,2,1,2,1,1,1,1,2,1,1}-70 H_{2,1,1,1,1,1,1
,1,2,2,1,2}+252 H_{2,2,1,1,1,1,1,1,1,1,1,1,2}-6 H_{2,1,2,1,2,2,2,
2,1,1}+20 H_{1,2,2,1,2,1,1,2,1,1,2}+20 H_{2,1,1,2,1,2,1,1,2,2,1}
-70 H_{1,1,2,2,1,1,1,2,2,1,1,1}+252 H_{1,1,1,1,2,2,2,1,1,1,1,1,1}
-924 H_{1,1,1,1,1,1,1,1,2,2,1,1,1,1}-70 H_{1,1,1,1,2,1,2,1,1,2,2,1
}-70 H_{2,1,2,1,1,1,2,1,1,1,2,1}-6 H_{2,2,2,2,1,1,1,1,2,2}-6 H_
{2,2,2,2,2,2,1,1,1,1}+252 H_{1,1,2,2,1,1,1,2,1,1,1,1,1}-70 H_{2,
1,2,2,1,1,1,2,1,1,1,1}+20 H_{1,2,1,1,1,2,2,2,1,1,2}-70 H_{1,2,2,1
,1,1,1,1,1,1,2,2}-924 H_{1,2,1,1,2,1,1,1,1,1,1,1,1,1}+252 H_{1,2,
1,1,2,1,1,1,1,1,1,1,2}-70 H_{2,1,1,1,2,1,1,2,1,1,2,1}-70 H_{1,1,2
,1,2,1,2,1,1,1,1,2}+20 H_{2,1,2,2,1,1,2,1,1,1,2}+252 H_{1,1,2,1,1
,1,1,1,2,1,1,2,1}-70 H_{2,1,1,2,2,1,1,2,1,1,1,1}-6 H_{1,2,1,1,2,1
,2,2,2,2}+252 H_{1,2,1,1,1,2,2,1,1,1,1,1,1}+20 H_{1,2,1,1,1,2,1,2
,2,2,1}-70 H_{2,2,1,1,1,1,1,2,1,2,1,1}-70 H_{2,1,2,2,1,1,1,1,1,1,
2,1}+20 H_{1,2,1,1,1,2,1,1,2,2,2}-924 H_{1,1,2,1,1,1,1,1,1,2,1,1,
1,1}+20 H_{2,1,1,1,2,2,1,2,1,1,2}+252 H_{1,1,1,1,2,1,1,1,1,1,2,2,
1}-70 H_{1,2,2,2,1,1,1,1,1,1,1,2}+252 H_{2,1,2,1,1,1,1,1,1,1,1,2,
1}+252 H_{1,2,1,1,1,1,1,1,2,1,1,1,2}+20 H_{1,1,1,2,2,1,1,2,2,2,1}
}-6 H_{1,2,2,2,2,1,1,1,2,2}-70 H_{2,1,1,1,1,1,1,2,1,2,1,2}-6 H_{
{1,1,1,2,2,2,2,2,1,2}-70 H_{1,1,1,2,2,1,1,1,2,1,1,2}-70 H_{1,2,1,
1,2,2,1,1,2,1,1,1}-70 H_{1,1,1,1,2,1,1,2,1,2,1,2}-924 H_{1,1,1,1,
1,1,1,1,2,1,1,1,1,2}-672 H_{1,1,1,1,1,1,1,2,2,1,1,2,1}-70 H_{1,2,
1,1,2,1,2,1,1,2,1,1}+252 H_{1,1,2,1,1,2,1,1,1,1,2,1,1}+252 H_{1,2
,1,1,2,2,1,1,1,1,1,1,1}+252 H_{2,1,2,1,1,1,1,1,1,2,1,1,1}+20 H_{1
,1,2,1,2,2,1,1,2,2,1}+20 H_{1,2,2,1,1,1,2,2,1,2,1}-70 H_{1,1,1,1,
1,2,2,1,1,2,2,1}-70 H_{1,1,2,1,1,2,2,1,1,1,2,1}-6 H_{2,2,1,2,2,1,
1,1,2,2}-70 H_{2,1,2,1,1,1,1,2,2,1,1,1}+20 H_{2,2,1,1,2,2,1,1,2,1
,1}-6 H_{2,2,2,2,2,1,1,1,2,1}-70 H_{1,1,1,1,2,1,1,1,2,1,2,2}-70
 H_{1,1,1,1,1,1,2,2,2,1,2,1}-924 H_{1,2,1,1,1,1,1,1,1,2,1,1,1,1}+
252 H_{2,2,1,1,1,1,1,1,1,2,1,1,1}-70 H_{1,1,2,1,2,1,1,1,2,1,2,1}+
20 H_{1,1,1,2,1,2,2,1,2,1,2}+20 H_{2,2,1,1,1,1,2,1,2,2,1}+20 H_{
{1,1,2,2,2,1,1,2,1,1,2}+252 H_{1,2,2,1,2,1,1,1,1,1,1,1,1}-6 H_{2,
2,1,2,1,2,2,2,1,1}-70 H_{1,1,1,2,2,2,1,1,1,1,1,2}+20 H_{1,1,1,2,2
,2,2,1,1,2,1}-70 H_{1,1,2,2,1,2,2,1,1,1,1,1}-70 H_{1,2,1,2,2,1,1,
1,1,2,1,1}+20 H_{1,1,1,2,2,2,1,2,1,1,2}+252 H_{1,1,1,2,1,1,2,2,1,
1,1,1,1}+20 H_{1,1,1,1,2,1,2,1,2,2,2}+20 H_{1,2,1,2,2,1,2,1,2,1,1
}-70 H_{1,1,1,1,2,2,1,1,2,1,2,1}+20 H_{1,2,1,2,1,1,1,2,2,1,2}-70
 H_{1,2,1,1,1,1,1,2,1,1,2,2}-70 H_{1,1,1,1,2,1,2,2,1,1,2,1}-70 H
_{1,1,1,2,1,1,1,1,2,1,2,2}-70 H_{1,2,1,2,1,2,1,2,1,1,1,1}+20 H_{
1,1,1,2,2,1,1,2,2,1,2}-70 H_{1,1,1,2,1,1,2,1,1,1,2,2}+3432 H_{1,1
,1,1,1,2,1,1,1,1,1,1,1,1,1}+20 H_{1,2,2,1,1,1,1,2,2,1,2}-70 H_{1,
1,2,1,2,1,1,2,2,1,1,1}-70 H_{1,1,1,2,1,1,2,2,1,1,2,1}-6 H_{2,2,1,
1,2,2,2,1,2,1}+252 H_{1,2,2,1,1,1,1,1,1,1,1,2,1}-70 H_{1,1,1,2,1,
1,2,2,2,1,1,1}+20 H_{2,1,1,2,1,2,2,1,1,1,2}+252 H_{1,1,1,1,1,2,1,
1,2,1,1,1,2}-70 H_{1,2,1,1,2,1,1,2,1,2,1,1}-6 H_{2,2,2,2,1,2,1,1,
2,1}+20 H_{2,1,1,1,2,1,1,2,1,2,2}-6 H_{2,2,2,1,2,2,1,1,2,1}+20 
H_{1,2,1,2,1,2,2,2,1,1,1}-6 H_{2,1,2,2,1,2,1,2,2,1}+20 H_{1,1,2,
1,1,2,1,1,2,2,2}-70 H_{1,1,1,1,2,1,2,2,2,1,1,1}+20 H_{1,1,1,2,1,1
,2,1,2,2,2}+20 H_{1,2,2,2,2,1,1,1,1,1,2}-70 H_{1,2,1,1,1,1,2,1,1,
1,2,2}+20 H_{1,1,1,1,2,2,2,2,1,2,1}+20 H_{2,1,2,1,2,1,1,1,2,1,2}
+252 H_{1,1,1,2,2,1,1,2,1,1,1,1,1}-70 H_{1,2,1,2,1,1,1,1,2,1,2,1}
-6 H_{2,1,1,2,2,1,2,2,2,1}-6 H_{2,1,1,2,1,2,1,2,2,2}-70 H_{1,2,
2,2,1,1,1,1,2,1,1,1}-6 H_{1,1,1,2,2,2,2,1,2,2}-6 H_{2,2,1,2,1,1,2
,2,2,1}-6 H_{2,1,2,2,1,2,2,1,2,1}-70 H_{1,1,2,1,2,1,2,1,2,1,1,1}
-6 H_{1,2,2,1,1,2,1,2,2,2}+20 H_{1,2,1,2,2,1,1,1,2,2,1}+20 H_{1
,1,1,2,1,1,2,2,2,1,2}+20 H_{1,1,1,2,2,2,1,1,2,2,1}-70 H_{2,1,2,1,
1,1,1,1,2,1,1,2}+20 H_{1,1,2,2,2,1,1,1,2,1,2}+20 H_{2,1,2,1,1,2,1
,2,1,1,2}+20 H_{1,2,1,1,2,2,1,2,1,2,1}+20 H_{2,1,2,1,2,1,1,1,1,2,
2}+20 H_{1,2,1,1,2,1,1,2,2,2,1}+2 H_{2,1,2,2,1,2,2,2,2}+252 H_{
{1,1,2,2,1,1,1,1,1,2,1,1,1}-70 H_{1,2,2,2,1,1,1,1,1,1,2,1}-70 H_{
1,1,2,1,2,1,1,1,1,2,1,2}+20 H_{1,2,2,1,2,1,1,1,2,2,1}+20 H_{2,2,2
,1,1,1,2,2,1,1,1}-6 H_{2,1,1,2,1,1,2,2,2,2}+20 H_{2,1,1,2,1,1,2,1
,1,2,2}+20 H_{2,1,2,2,1,1,1,2,1,1,2}+252 H_{1,2,1,1,1,2,1,1,1,1,1
,1,2}+20 H_{2,1,2,2,1,1,1,2,1,2,1}-6 H_{1,2,2,2,2,2,1,1,2,1}+20
 H_{2,2,1,1,2,2,2,1,1,1,1}-70 H_{1,1,2,1,1,2,1,2,2,1,1,1}+20 H_{
{2,2,1,1,2,2,1,2,1,1,1}-70 H_{2,1,1,1,1,2,1,1,2,1,2,1}+252 H_{1,2
,1,1,1,2,1,2,1,1,1,1,1}-70 H_{1,1,2,1,1,1,1,2,2,1,2,1}+252 H_{1,1
,1,2,1,1,1,1,1,1,2,2,1}+2 H_{2,2,2,1,1,2,2,2,2}+252 H_{1,1,1,2,1,
1,2,1,2,1,1,1,1}-70 H_{1,1,1,1,1,1,2,1,2,2,1,2}+20 H_{2,2,1,1,1,1
,1,1,2,2,2}+252 H_{1,2,1,1,1,1,1,1,1,2,1,2,1}-70 H_{2,1,2,1,1,1,1
,1,1,2,2,1}+20 H_{1,2,2,1,1,2,2,1,1,1,2}-70 H_{1,2,1,1,2,1,1,2,2,
1,1,1}+252 H_{1,1,1,1,1,2,1,2,1,1,1,1,2}+20 H_{1,2,1,2,1,1,2,2,1,
2,1}-70 H_{1,1,1,1,2,1,2,1,2,1,1,2}-70 H_{1,1,1,2,1,2,1,1,1,2,1,2
}-70 H_{1,1,2,1,1,2,1,1,2,1,2,1}+20 H_{1,1,2,1,1,2,2,1,2,1,2}-6
 H_{2,2,1,1,2,2,1,1,2,2}-70 H_{2,1,2,2,1,2,1,1,1,1,1,1}-70 H_{1
,1,2,2,1,1,2,1,2,1,1,1}-70 H_{1,2,1,2,1,1,1,2,1,1,1,2}-70 H_{2,1,
2,1,1,1,1,2,1,1,1,2}+20 H_{1,1,2,1,2,1,2,1,2,1,2}+252 H_{2,1,1,1,
1,1,2,2,1,1,1,1,1}-6 H_{1,1,2,1,2,2,1,2,2,2}+252 H_{1,2,1,1,1,1,1
,2,1,1,2,1,1}-924 H_{1,1,2,2,1,1,1,1,1,1,1,1,1,1}+20 H_{2,2,1,1,1
,2,1,1,2,2,1}-6 H_{2,1,2,2,2,2,2,1,1,1}+252 H_{1,2,2,1,1,1,1,1,1,
2,1,1,1}-70 H_{1,2,2,1,2,1,1,1,2,1,1,1}-6 H_{2,1,2,2,1,1,2,2,2,1}
}-70 H_{2,2,1,1,1,1,1,1,1,2,1,2}-924 H_{1,1,2,1,1,1,1,1,1,1,1,2,1,
1}-70 H_{1,1,1,2,1,2,1,1,2,2,1,1}+252 H_{1,1,1,1,1,1,2,1,1,2,2,1,
1}+252 H_{1,2,1,1,2,1,1,1,2,1,1,1,1}-924 H_{1,1,1,1,1,1,2,1,1,1,1
,2,1,1}+20 H_{2,1,2,1,2,1,1,2,2,1,1}-70 H_{1,1,2,1,1,1,2,1,2,1,2,
1}-70 H_{1,1,1,2,2,1,1,1,2,1,2,1}+252 H_{1,2,1,2,1,1,2,1,1,1,1,1,
1}+2 H_{1,2,2,2,2,2,1,2,2}+252 H_{2,1,1,2,1,1,1,1,1,2,1,1,1}-6 
H_{2,1,1,2,1,2,2,2,1,2}+20 H_{1,1,2,1,1,1,1,2,2,2,2}-70 H_{2,1,1
,1,2,1,1,2,2,1,1,1}-6 H_{1,2,2,2,2,1,1,2,2,1}-70 H_{1,1,1,2,1,1,1
,2,2,1,1,2}+252 H_{1,2,2,2,1,1,1,1,1,1,1,1,1}-70 H_{1,1,2,1,2,2,1
,2,1,1,1,1}+252 H_{2,1,1,1,1,2,1,1,1,1,2,1,1}+20 H_{2,1,1,2,2,1,1
,1,1,2,2}+20 H_{2,1,1,2,2,2,2,1,1,1,1}-6 H_{2,2,1,2,2,1,2,1,1,2}
-70 H_{1,2,2,1,1,1,1,1,2,2,1,1}+3432 H_{1,1,1,1,1,1,2,1,1,1,1,1,1,
1,1}+20 H_{2,2,2,1,1,1,1,1,2,1,2}-6 H_{1,2,1,2,2,1,1,2,2,2}+252
 H_{1,1,1,2,1,2,1,1,1,1,1,1,2}-70 H_{1,1,2,1,1,1,1,1,2,2,1,2}-H_{
{2,2,2,2,2,2,2,2}-70 H_{1,2,1,1,1,2,2,1,1,1,2,1}+252 H_{1,1,1,2,1
,1,2,1,1,1,1,1,2}-6 H_{2,2,2,1,2,1,1,1,2,2}-70 H_{1,1,1,2,1,1,2,1
,2,1,1,2}+252 H_{1,2,1,2,1,1,1,1,2,1,1,1,1}-70 H_{1,1,2,1,1,2,2,1
,2,1,1,1}+20 H_{2,1,1,1,2,2,1,1,2,1,2}-70 H_{1,1,1,1,1,1,2,1,2,2,
2,1}+20 H_{1,1,1,2,2,2,1,1,1,2,2}+20 H_{1,2,1,2,1,1,2,1,2,2,1}+
252 H_{1,1,1,2,1,2,2,1,1,1,1,1,1}-6 H_{1,2,1,2,2,2,1,1,2,2}-70 H
_{1,1,1,2,1,1,2,1,2,2,1,1}-70 H_{1,1,1,1,1,1,2,2,1,1,2,2}-6 H_{2
,1,1,1,2,2,2,2,1,2}-6 H_{2,1,1,2,2,2,2,1,1,2}-70 H_{1,1,2,1,1,2,1
,1,2,2,1,1}-70 H_{1,1,1,1,1,1,1,1,2,2,2,2}+252 H_{1,1,1,1,1,1,2,1
,2,1,1,2,1}+20 H_{1,2,1,2,1,2,2,1,1,1,2}-6 H_{2,2,1,2,2,2,1,1,2,1
}+20 H_{1,1,1,2,2,2,1,2,1,2,1}+20 H_{2,2,2,1,1,1,1,1,2,2,1}+252
 H_{2,2,1,1,1,1,2,1,1,1,1,1,1}-70 H_{1,1,1,2,1,1,2,1,1,2,2,1}+20
 H_{1,1,2,2,1,2,1,1,2,1,2}-70 H_{2,2,1,1,1,1,2,2,1,1,1,1}-6 H_{
2,2,1,2,2,1,2,1,2,1}-924 H_{1,1,1,1,1,1,1,1,2,1,1,1,2,1}-70 H_{1,
1,2,2,1,1,1,1,2,1,2,1}-6 H_{2,2,1,2,1,1,2,1,2,2}+20 H_{2,1,1,2,1,
2,1,1,1,2,2}-6 H_{1,1,1,2,2,2,1,2,2,2}+3432 H_{1,2,1,1,1,1,1,1,1,
1,1,1,1,1,1}+20 H_{1,2,1,2,1,1,1,2,2,2,1}-6 H_{2,1,2,2,2,2,1,1,1,
2}-70 H_{2,1,2,1,2,1,2,1,1,1,1,1}+252 H_{2,1,1,1,1,2,1,1,2,1,1,1,
1}+252 H_{1,1,1,1,1,1,2,1,1,1,2,2,1}+252 H_{1,1,1,1,1,2,1,1,2,1,2
,1,1}+20 H_{1,2,1,2,1,2,1,2,2,1,1}+252 H_{2,2,1,1,1,1,1,1,2,1,1,1
,1}+20 H_{1,1,1,2,2,2,2,1,2,1,1}+20 H_{2,1,2,2,1,1,1,1,2,1,2}-70
 H_{1,1,2,1,1,1,2,1,1,2,1,2}+20 H_{2,2,1,1,2,1,2,1,1,1,2}-672 H_
{1,1,1,1,1,1,1,2,1,1,2,1,2}-70 H_{1,1,2,1,1,1,1,1,2,1,2,2}+20 H_{
{1,1,1,1,2,1,2,2,1,2,2}+2 H_{2,1,1,2,2,2,2,2,2}-6 H_{1,2,2,1,2,2,
1,2,2,1}+20 H_{1,2,2,1,2,2,1,1,1,2,1}-70 H_{1,1,2,1,2,1,1,1,2,1,1
,2}-6 H_{2,2,1,1,2,2,1,2,1,2}+252 H_{1,1,1,2,1,1,1,2,1,1,1,2,1}+
20 H_{2,2,2,1,1,1,1,2,1,1,2}-70 H_{1,2,1,1,1,2,1,2,1,2,1,1}+252 
H_{1,1,2,2,1,1,1,1,1,1,1,2,1}-6 H_{1,2,2,1,2,2,2,2,1,1}+252 H_{1
,1,1,2,1,1,1,1,2,1,2,1,1}+20 H_{1,1,2,2,2,1,2,1,1,2,1}-924 H_{1,1
,1,2,1,1,1,1,2,1,1,1,1,1}+20 H_{1,2,2,1,1,1,2,1,2,1,2}-6 H_{2,2,1
,2,2,2,1,1,1,2}-70 H_{1,2,1,1,1,2,1,2,1,1,1,2}+20 H_{1,2,2,1,2,2,
1,1,1,1,2}+20 H_{2,1,1,1,2,2,1,2,2,1,1}+20 H_{1,2,1,2,1,2,1,1,1,2
,2}+252 H_{1,2,1,1,1,2,1,1,2,1,1,1,1}-70 H_{2,2,1,2,1,1,1,1,1,1,1
,2}+20 H_{2,2,1,2,1,1,1,1,2,1,2}-6 H_{1,2,1,2,1,1,2,2,2,2}+20 H
_{2,2,1,1,1,1,2,1,2,1,2}+20 H_{2,1,2,2,1,2,1,2,1,1,1}-70 H_{2,1,
1,1,1,2,2,2,1,1,1,1}+252 H_{1,2,1,1,1,1,1,1,1,2,2,1,1}+252 H_{1,1
,1,1,1,1,1,1,2,2,2,1,1}+252 H_{1,2,1,2,1,1,1,1,1,2,1,1,1}-70 H_{1
,2,1,1,1,2,2,1,1,2,1,1}-6 H_{1,2,2,2,1,2,2,1,1,2}+20 H_{1,2,1,1,1
,1,2,1,2,2,2}+252 H_{1,1,2,1,2,1,1,1,1,2,1,1,1}+252 H_{1,2,1,1,1,
1,1,2,2,1,1,1,1}+252 H_{1,1,1,1,2,2,1,1,1,1,2,1,1}-70 H_{1,1,2,2,
1,2,1,1,1,1,2,1}-70 H_{1,1,2,2,1,2,1,1,1,1,1,2}-6 H_{2,2,1,1,1,2,
2,2,2,1}-924 H_{1,1,1,1,1,2,1,2,1,1,1,1,1,1}-70 H_{2,2,1,1,2,1,1,
1,1,1,1,2}-6 H_{1,2,1,1,2,2,1,2,2,2}-70 H_{2,1,1,1,1,2,2,1,1,1,1,
2}+20 H_{1,2,1,2,2,1,2,1,1,1,2}-70 H_{1,2,1,1,1,1,2,1,2,2,1,1}+2
 H_{1,2,1,2,2,2,2,2,2}-6 H_{2,2,1,2,2,2,2,1,1,1}+252 H_{1,1,1,1
,1,2,2,1,1,1,1,2,1}-924 H_{1,1,1,1,2,1,1,1,1,2,1,1,1,1}+252 H_{1,
2,1,2,1,1,1,1,1,1,2,1,1}+20 H_{1,1,1,2,1,1,1,2,2,2,2}-6 H_{2,1,2,
2,1,2,2,2,1,1}-70 H_{2,1,1,2,1,2,2,1,1,1,1,1}-70 H_{2,1,2,1,1,1,1
,2,1,2,1,1}+252 H_{1,1,1,1,1,1,1,1,2,1,1,2,2}-6 H_{2,1,2,1,2,2,1,
2,2,1}-6 H_{2,1,1,2,2,2,1,2,2,1}+20 H_{1,1,2,2,2,1,2,1,1,1,2}+
182 H_{1,1,1,1,1,1,1,2,2,2,2,1}+252 H_{2,2,1,1,1,2,1,1,1,1,1,1,1}
-924 H_{1,1,1,1,2,1,2,1,1,1,1,1,1,1}+252 H_{1,1,1,1,1,1,2,2,1,1,1,
2,1}+252 H_{2,1,1,1,1,2,2,1,1,1,1,1,1}+20 H_{2,1,2,1,2,1,2,1,1,1,
2}+20 H_{2,2,1,1,1,1,2,1,1,2,2}+20 H_{2,1,1,1,2,2,2,1,1,2,1}+20
 H_{1,2,1,1,2,2,1,2,1,1,2}+252 H_{1,1,1,1,1,1,2,2,1,2,1,1,1}-70 
H_{1,1,1,1,1,2,2,1,2,2,1,1}-70 H_{1,1,2,1,1,1,1,2,1,2,2,1}+20 H_{
{1,2,1,1,2,2,2,2,1,1,1}-70 H_{1,1,1,1,2,1,2,1,2,1,2,1}+20 H_{2,1,
2,2,1,1,1,1,1,2,2}+252 H_{1,2,1,1,1,1,2,2,1,1,1,1,1}+20 H_{1,2,2,
2,2,1,1,1,1,2,1}-70 H_{1,1,1,2,1,1,1,2,2,1,2,1}-70 H_{1,1,1,1,2,1
,1,1,2,2,1,2}+20 H_{1,1,2,2,2,2,2,1,1,1,1}-70 H_{1,1,1,2,1,2,2,2,
1,1,1,1}+252 H_{1,1,2,2,1,1,1,1,2,1,1,1,1}-6 H_{1,2,2,1,2,1,2,2,1
,2}+20 H_{1,2,2,1,2,1,2,1,2,1,1}-70 H_{1,2,1,1,1,2,1,2,1,1,2,1}-
70 H_{1,1,2,1,1,1,2,2,1,2,1,1}+20 H_{1,1,2,1,1,2,2,2,2,1,1}+252 
H_{1,1,1,2,1,2,1,1,1,1,1,2,1}-70 H_{1,1,1,1,2,1,2,2,1,1,1,2}-70 H
_{2,1,1,2,2,1,1,1,2,1,1,1}+20 H_{1,2,2,2,1,1,1,1,2,2,1}-70 H_{1,
2,2,1,1,1,2,1,1,2,1,1}-6 H_{1,1,2,2,1,1,2,2,2,2}-70 H_{1,1,1,1,1,
1,2,2,2,2,1,1}-70 H_{1,1,2,1,2,1,1,2,1,2,1,1}+252 H_{2,1,1,1,1,1,
1,1,2,1,1,2,1}-70 H_{2,1,1,2,1,1,1,1,2,1,2,1}+252 H_{1,1,2,1,1,1,
1,1,1,1,2,1,2}+20 H_{1,2,2,1,1,1,2,2,2,1,1}-70 H_{1,1,2,2,1,1,2,1
,1,2,1,1}+20 H_{2,1,1,1,1,2,2,1,1,2,2}+252 H_{2,1,1,1,1,1,1,2,1,1
,1,2,1}+252 H_{1,1,1,1,1,2,2,1,2,1,1,1,1}+20 H_{2,1,1,2,1,2,1,2,1
,1,2}+252 H_{2,1,1,1,1,1,1,2,1,1,2,1,1}-70 H_{1,2,2,1,2,1,1,2,1,1
,1,1}-6 H_{2,2,2,1,2,1,1,2,2,1}+252 H_{1,1,1,1,1,2,1,2,2,1,1,1,1}
}-6 H_{2,2,2,2,1,1,1,2,1,2}+252 H_{1,1,2,1,1,1,1,2,2,1,1,1,1}+20
 H_{1,1,1,2,2,1,1,1,2,2,2}+20 H_{1,2,2,1,2,1,1,2,2,1,1}-6 H_{1,
1,2,2,2,1,2,2,1,2}+2 H_{2,2,2,2,1,1,2,2,2}-924 H_{1,1,1,2,1,1,1,2
,1,1,1,1,1,1}+20 H_{2,1,1,2,1,1,2,1,2,1,2}+252 H_{1,1,1,1,2,1,1,1
,2,1,2,1,1}-6 H_{2,1,2,2,1,2,2,1,1,2}-70 H_{1,1,1,2,1,2,1,1,2,1,1
,2}-6 H_{1,2,2,1,2,2,2,1,2,1}-70 H_{1,1,1,2,2,2,1,1,2,1,1,1}+252
 H_{1,1,1,2,2,1,1,1,1,1,1,1,2}-924 H_{1,1,1,2,1,1,1,1,1,1,1,1,2,1}
}+20 H_{2,2,1,2,1,2,1,1,2,1,1}+252 H_{1,1,1,2,2,2,1,1,1,1,1,1,1}-
924 H_{1,1,1,1,2,1,1,1,1,1,1,1,1,2}-924 H_{2,1,1,1,1,1,1,1,1,1,2,1
,1,1}-6 H_{1,2,2,2,1,1,2,2,2,1}+20 H_{1,1,1,1,2,2,2,1,1,2,2}-70
 H_{1,1,2,1,1,2,2,1,1,2,1,1}+20 H_{2,1,1,2,2,1,2,2,1,1,1}+20 H_{
{2,2,1,1,1,2,1,1,2,1,2}-70 H_{1,1,2,2,2,1,1,2,1,1,1,1}+2 H_{2,2,1
,2,2,1,2,2,2}+20 H_{2,1,2,2,1,2,1,1,2,1,1}-70 H_{2,1,1,1,1,2,1,2,
1,1,2,1}+20 H_{2,2,1,1,1,1,2,2,1,2,1}+20 H_{1,1,1,2,2,1,2,2,1,2,1
}-70 H_{1,1,1,1,1,2,1,1,2,2,1,2}+252 H_{2,1,1,2,1,1,2,1,1,1,1,1,1
}-70 H_{1,1,2,1,2,1,1,1,2,2,1,1}-6 H_{1,2,2,2,2,1,2,1,2,1}+20 H
_{2,1,2,1,1,1,1,1,2,2,2}+20 H_{1,1,1,1,2,2,1,2,1,2,2}+252 H_{1,1
,2,1,2,2,1,1,1,1,1,1,1}+20 H_{1,1,1,2,1,2,1,2,2,2,1}-70 H_{2,1,1,
1,2,2,1,1,1,2,1,1}+252 H_{1,2,1,1,1,2,1,1,1,2,1,1,1}+252 H_{2,1,1
,1,1,1,2,1,1,2,1,1,1}+20 H_{2,1,2,1,2,1,2,1,1,2,1}+20 H_{2,1,1,2,
2,2,1,1,1,1,2}+2 H_{2,2,1,2,2,2,2,2,1}+20 H_{2,1,2,1,2,1,2,2,1,1,
1}-70 H_{2,2,1,1,1,1,1,1,2,1,1,2}-924 H_{1,1,2,1,1,1,1,1,1,1,2,1,
1,1}+20 H_{2,1,1,1,1,2,2,1,2,1,2}-924 H_{1,1,1,2,1,1,2,1,1,1,1,1,
bHtes used=97541061704, alloc=983580764, time=58422.45
1,1}-70 H_{1,1,1,1,2,1,1,2,1,1,2,2}+20 H_{2,2,1,1,1,2,2,1,1,2,1}
-924 H_{2,1,1,1,1,1,1,1,1,2,1,1,1,1}-70 H_{2,2,1,1,1,1,1,2,2,1,1,1
}+20 H_{1,1,2,1,1,1,2,2,1,2,2}-70 H_{1,1,2,2,1,2,1,1,1,2,1,1}+20
 H_{1,1,2,2,1,1,1,2,2,1,2}-70 H_{2,1,1,1,2,1,2,1,1,2,1,1}-6 H_{
2,1,2,2,2,1,2,1,1,2}-70 H_{1,1,2,2,1,1,1,1,1,2,1,2}-6 H_{2,1,2,1,
1,1,2,2,2,2}-70 H_{2,1,1,1,1,2,2,1,2,1,1,1}-70 H_{2,1,1,1,2,1,1,1
,2,1,1,2}-6 H_{2,2,2,1,1,1,2,2,2,1}-924 H_{2,1,1,1,1,1,1,1,2,1,1,
1,1,1}-70 H_{2,1,2,1,1,2,1,1,1,1,1,2}-70 H_{1,2,1,1,1,1,1,2,2,1,1
,2}-70 H_{2,1,1,1,1,2,1,2,1,2,1,1}+20 H_{2,1,1,2,2,2,1,1,2,1,1}+
20 H_{2,1,1,1,2,2,2,1,2,1,1}+252 H_{2,1,1,1,2,1,1,1,1,1,1,2,1}-70
 H_{1,2,1,1,1,2,2,2,1,1,1,1}-70 H_{1,1,1,2,1,2,1,2,2,1,1,1}-924 
H_{2,1,1,1,2,1,1,1,1,1,1,1,1,1}+20 H_{1,1,2,1,2,2,2,1,1,2,1}+20 H
_{2,1,1,2,1,1,2,1,2,2,1}-70 H_{1,2,1,1,2,2,1,1,1,1,1,2}-70 H_{1,
2,2,1,1,2,1,1,1,1,1,2}-70 H_{2,1,2,1,2,1,1,1,2,1,1,1}-70 H_{1,2,1
,1,2,1,2,2,1,1,1,1}+20 H_{2,1,2,2,1,2,1,1,1,2,1}-6 H_{2,2,1,1,2,2
,1,2,2,1}+252 H_{1,1,1,1,1,1,2,2,1,1,2,1,1}-70 H_{2,1,1,2,2,1,1,1
,1,2,1,1}+20 H_{2,2,1,1,1,2,1,1,1,2,2}-672 H_{1,1,1,1,1,1,1,2,2,1
,1,1,2}-6 H_{1,1,2,1,2,2,2,1,2,2}+2 H_{2,2,2,2,2,1,2,2,1}+20 H_
{1,2,1,2,2,2,1,1,1,2,1}+252 H_{2,1,1,1,1,1,1,2,1,2,1,1,1}-70 H_{
1,1,1,2,2,2,2,1,1,1,1,1}-70 H_{2,1,1,1,2,1,1,1,1,1,2,2}+20 H_{1,1
,2,2,1,1,2,1,1,2,2}-70 H_{2,2,1,1,1,1,2,1,1,1,1,2}+252 H_{1,1,1,2
,2,1,2,1,1,1,1,1,1}-70 H_{1,1,1,1,1,1,2,2,2,1,1,2}-70 H_{1,1,2,2,
1,1,1,1,1,2,2,1}+20 H_{1,2,2,2,1,2,1,1,1,1,2}-6 H_{1,2,1,2,1,2,1,
2,2,2}+252 H_{1,1,2,1,1,1,1,1,2,2,1,1,1}-70 H_{2,2,1,2,1,1,1,1,2,
1,1,1}+20 H_{1,2,1,1,2,2,1,1,1,2,2}-70 H_{1,2,1,1,1,1,2,2,2,1,1,1
}-6 H_{2,1,2,2,2,1,1,2,2,1}-70 H_{1,2,1,1,2,1,2,1,1,1,2,1}-6 H_
{2,1,2,1,2,2,1,2,1,2}+20 H_{2,2,1,1,2,2,1,1,1,1,2}-70 H_{1,1,2,1
,1,2,2,1,1,1,1,2}+20 H_{2,2,1,2,2,2,1,1,1,1,1}+20 H_{2,1,2,1,1,1,
2,2,1,2,1}-70 H_{2,2,2,1,1,1,1,1,1,1,1,2}+3432 H_{1,1,1,2,1,1,1,1
,1,1,1,1,1,1,1}+252 H_{1,1,2,1,1,1,1,1,1,2,1,2,1}-70 H_{1,1,1,2,1
,2,1,1,1,1,2,2}-924 H_{1,2,1,1,1,1,1,1,1,1,1,1,2,1}-6 H_{2,2,1,1,
1,1,2,2,2,2}+252 H_{1,1,1,2,2,1,1,1,1,1,1,2,1}+20 H_{2,2,1,1,2,1,
2,2,1,1,1}+252 H_{2,1,1,1,1,1,1,1,1,1,1,2,2}-70 H_{1,1,1,2,1,2,1,
2,1,2,1,1}-6 H_{2,2,1,1,2,1,2,2,1,2}+20 H_{2,1,1,2,1,2,1,2,1,2,1}
}-6 H_{1,2,2,1,1,2,2,1,2,2}-70 H_{1,2,2,1,1,1,1,1,2,1,2,1}-70 H_
{1,1,2,2,1,1,1,2,1,1,2,1}+20 H_{2,1,1,1,1,2,2,2,1,1,2}-6 H_{1,1,
2,2,1,2,2,1,2,2}+20 H_{2,1,1,2,2,1,2,1,1,1,2}-70 H_{1,1,1,2,2,1,1
,2,1,2,1,1}-6 H_{2,1,2,1,1,2,1,2,2,2}-70 H_{1,1,1,1,1,2,1,1,1,2,2
,2}+20 H_{2,2,1,2,2,1,1,1,1,2,1}+20 H_{2,1,2,2,2,1,1,1,2,1,1}-70
 H_{2,2,1,1,1,2,1,1,1,1,1,2}-70 H_{2,1,2,1,1,2,1,1,2,1,1,1}-6 H_
{1,2,1,2,1,2,2,2,2,1}+20 H_{2,1,2,1,1,2,1,2,2,1,1}+252 H_{2,1,1,
2,1,1,1,2,1,1,1,1,1}-6 H_{2,1,1,1,2,2,1,2,2,2}-6 H_{2,1,1,1,2,1,2
,2,2,2}-70 H_{1,2,2,2,1,1,1,2,1,1,1,1}-70 H_{2,2,1,1,2,2,1,1,1,1,
1,1}+20 H_{2,1,2,2,2,1,1,1,1,2,1}-70 H_{2,2,1,1,2,1,1,1,1,1,2,1}
+252 H_{2,1,1,1,1,1,2,1,1,1,2,1,1}+20 H_{2,1,1,2,1,2,2,1,1,2,1}-
70 H_{2,2,1,1,2,1,1,1,2,1,1,1}+2 H_{2,2,1,2,2,2,2,1,2}-70 H_{2,
2,1,2,1,1,1,2,1,1,1,1}-70 H_{2,2,1,1,1,2,2,1,1,1,1,1}+252 H_{2,1,
1,2,1,1,1,1,1,1,2,1,1}-70 H_{2,1,1,1,2,1,2,1,1,1,2,1}-6 H_{1,1,2,
2,2,1,2,2,2,1}+20 H_{1,2,1,1,1,2,2,1,2,1,2}+20 H_{1,1,2,1,1,2,1,2
,2,2,1}-6 H_{2,2,1,1,2,1,2,1,2,2}+20 H_{1,2,2,1,1,1,1,2,2,2,1}+
20 H_{2,1,1,1,2,2,1,1,2,2,1}-70 H_{2,1,1,2,2,1,1,1,1,1,2,1}+20 H
_{1,1,2,2,1,2,2,1,2,1,1}+20 H_{1,1,2,2,2,2,1,2,1,1,1}-6 H_{1,2,2
,1,1,2,2,2,1,2}-6 H_{1,2,1,1,2,2,2,2,1,2}+20 H_{2,2,1,1,1,1,2,2,2
,1,1}-70 H_{2,1,1,2,2,2,1,1,1,1,1,1}+252 H_{2,1,2,1,1,1,2,1,1,1,1
,1,1}+20 H_{2,2,1,2,2,1,2,1,1,1,1}+20 H_{2,1,1,2,2,1,2,1,1,2,1}+
20 H_{2,2,1,2,1,1,1,2,1,1,2}+20 H_{2,2,1,1,2,1,1,1,2,1,2}+252 H_
{2,1,1,1,2,1,2,1,1,1,1,1,1}-70 H_{2,1,1,2,2,1,2,1,1,1,1,1}+20 H_{
{2,2,1,1,1,1,1,2,2,1,2}-70 H_{1,1,1,2,2,1,1,2,2,1,1,1}+20 H_{1,2,
2,1,1,2,2,1,1,2,1}+20 H_{2,1,2,2,2,1,1,1,1,1,2}-70 H_{2,2,1,1,1,1
,1,1,2,1,2,1}+2 H_{2,2,2,2,2,2,1,2,1}-6 H_{1,1,2,1,2,2,2,2,1,2}+
20 H_{2,1,1,1,2,1,1,1,2,2,2}+20 H_{2,1,1,2,2,2,1,2,1,1,1}-6 H_{
1,2,2,2,1,2,2,1,2,1}+252 H_{1,1,1,1,1,2,2,1,1,2,1,1,1}+20 H_{2,1,
2,1,1,1,2,2,2,1,1}+20 H_{2,2,1,2,1,2,1,1,1,1,2}+20 H_{2,2,1,1,1,2
,2,2,1,1,1}+252 H_{1,1,1,1,2,2,1,1,1,1,1,2,1}-924 H_{1,1,1,1,2,1,
1,1,1,1,1,1,2,1}-70 H_{2,2,1,1,1,1,1,1,2,2,1,1}+252 H_{2,2,1,1,1,
1,1,2,1,1,1,1,1}+252 H_{2,1,1,1,1,1,1,1,1,2,1,2,1}-70 H_{1,1,1,2,
1,2,1,1,2,1,2,1}+2 H_{2,2,2,1,2,1,2,2,2}+20 H_{2,2,1,1,1,2,2,1,1,
1,2}+252 H_{1,1,1,2,1,1,1,1,2,1,1,1,2}+252 H_{2,2,1,1,1,1,1,1,1,1
,1,2,1}-70 H_{2,1,2,1,1,1,2,1,2,1,1,1}-70 H_{2,1,1,2,1,2,1,1,1,2,
1,1}+252 H_{2,1,1,1,1,2,1,2,1,1,1,1,1}+20 H_{2,1,2,1,2,1,1,1,2,2,
1}+252 H_{2,1,1,1,1,1,1,2,1,1,1,1,2}+20 H_{2,2,2,1,1,1,2,1,2,1,1}
}-70 H_{1,2,1,1,1,2,1,2,2,1,1,1}-70 H_{2,1,2,2,2,1,1,1,1,1,1,1}+
252 H_{2,1,1,1,2,1,1,1,2,1,1,1,1}+20 H_{1,2,1,2,2,2,1,1,1,1,2}-6
 H_{2,1,1,2,2,2,2,2,1,1}+252 H_{2,1,1,1,1,1,1,1,1,1,2,2,1}+252 H
_{2,1,1,1,1,1,1,1,1,1,2,1,2}-70 H_{2,1,1,1,2,1,1,1,1,2,2,1}+20 H_
{2,2,1,1,1,2,2,1,2,1,1}+252 H_{1,1,1,2,1,2,1,1,2,1,1,1,1}-6 H_{2
,1,2,1,2,1,1,2,2,2}+20 H_{1,2,1,1,2,2,1,1,2,1,2}+20 H_{1,2,2,2,2,
1,1,1,2,1,1}-70 H_{2,1,1,1,2,2,1,2,1,1,1,1}+20 H_{2,2,2,1,1,1,1,1
,1,2,2}-70 H_{2,1,1,1,1,2,1,1,1,2,1,2}+20 H_{2,2,1,1,2,1,1,2,2,1,
1}-6 H_{2,2,2,1,2,2,1,1,1,2}-6 H_{2,2,2,1,1,2,2,2,1,1}-6 H_{1,
2,2,2,1,1,2,1,2,2}-70 H_{2,1,1,1,1,2,2,1,1,1,2,1}-6 H_{2,2,1,2,2,
1,1,2,2,1}-6 H_{1,2,2,1,2,1,1,2,2,2}-70 H_{2,1,2,2,1,1,1,1,1,1,1,
2}-70 H_{2,1,1,2,1,1,1,1,1,1,2,2}+20 H_{2,1,2,1,1,2,1,2,1,2,1}+
20 H_{1,2,1,1,2,1,2,1,2,2,1}-6 H_{2,2,2,1,1,1,1,2,2,2}-70 H_{2,
1,2,1,1,2,1,1,1,1,2,1}+20 H_{1,1,1,2,1,2,2,2,1,1,2}+252 H_{1,2,1,
1,1,1,1,2,1,2,1,1,1}+20 H_{2,2,1,2,1,2,1,2,1,1,1}-70 H_{1,1,1,1,2
,1,1,2,1,2,2,1}+252 H_{1,1,2,1,1,2,2,1,1,1,1,1,1}+20 H_{2,1,2,1,2
,2,1,1,1,2,1}+20 H_{2,1,1,2,2,1,1,2,1,2,1}+20 H_{1,2,2,1,1,2,1,1,
1,2,2}-70 H_{1,1,1,1,1,2,2,2,1,1,1,2}+20 H_{2,1,2,1,1,2,1,1,2,2,1
}-70 H_{1,2,1,1,1,1,1,1,2,1,2,2}+252 H_{1,1,2,1,1,2,1,1,1,1,1,1,2
}+20 H_{2,1,2,2,1,1,2,1,1,2,1}+20 H_{2,1,1,2,2,1,1,2,1,1,2}-70 
H_{2,1,1,2,1,1,2,1,1,1,1,2}+20 H_{2,2,1,2,1,1,2,2,1,1,1}-6 H_{1,
2,2,2,1,2,1,2,2,1}-70 H_{1,2,2,2,1,1,2,1,1,1,1,1}-70 H_{2,1,2,1,1
,1,1,1,2,2,1,1}+20 H_{1,1,2,2,2,1,1,1,1,2,2}-70 H_{2,1,2,1,1,2,2,
1,1,1,1,1}+20 H_{2,1,2,1,1,1,2,1,2,2,1}-6 H_{2,2,2,2,1,2,1,1,1,2}
}+20 H_{2,2,1,2,1,2,2,1,1,1,1}+2 H_{2,2,1,2,2,2,1,2,2}-70 H_{1,
1,2,2,1,1,1,2,1,2,1,1}-70 H_{2,2,1,1,1,1,2,1,2,1,1,1}+20 H_{1,2,2
,1,2,2,2,1,1,1,1}-6 H_{2,1,2,1,2,2,2,1,2,1}+252 H_{1,2,2,1,1,2,1,
1,1,1,1,1,1}+20 H_{2,2,2,1,1,1,1,2,1,2,1}-70 H_{2,1,2,1,1,2,1,1,1
,2,1,1}+20 H_{2,2,1,1,2,1,1,1,2,2,1}+20 H_{2,2,2,1,1,1,1,2,2,1,1}
}-70 H_{1,2,1,1,1,1,2,2,1,1,2,1}-6 H_{2,2,2,2,1,1,2,1,2,1}-6 H_{
{2,2,2,1,2,1,2,1,1,2}+20 H_{1,1,1,2,2,1,2,2,1,1,2}-70 H_{1,2,1,2,
1,1,2,2,1,1,1,1}-70 H_{2,2,1,1,2,1,2,1,1,1,1,1}-6 H_{2,2,1,2,1,2,
1,2,1,2}+20 H_{1,2,1,2,2,1,1,2,1,1,2}-6 H_{1,2,2,2,1,1,2,2,1,2}+
252 H_{2,1,1,2,1,1,1,1,1,1,1,2,1}-70 H_{2,2,2,1,1,1,1,1,1,1,2,1}-
70 H_{2,1,1,1,2,2,1,1,2,1,1,1}+2 H_{2,1,2,2,2,1,2,2,2}+20 H_{2,
1,2,2,2,1,1,2,1,1,1}+20 H_{2,2,1,2,1,1,2,1,1,1,2}-6 H_{2,2,2,1,1,
1,2,2,1,2}+20 H_{1,2,1,2,2,1,2,1,1,2,1}+20 H_{1,1,1,1,1,2,2,2,1,2
,2}+20 H_{1,1,1,1,1,2,2,2,2,2,1}+20 H_{2,2,1,2,1,1,1,2,1,2,1}+
252 H_{1,2,1,1,1,1,1,1,1,2,1,1,2}-924 H_{1,1,1,1,2,1,1,2,1,1,1,1,1
,1}-924 H_{1,1,1,1,1,1,2,2,1,1,1,1,1,1}+20 H_{1,2,2,1,1,1,1,2,1,2
,2}-6 H_{2,2,2,1,1,2,2,1,2,1}-924 H_{1,1,1,1,1,1,2,1,2,1,1,1,1,1}
}-70 H_{2,1,1,2,1,2,1,1,1,1,1,2}+252 H_{2,1,1,1,1,2,1,1,1,1,1,1,2}
}-6 H_{2,2,1,2,1,1,1,2,2,2}-70 H_{2,1,1,1,2,2,2,1,1,1,1,1}+252 H
_{2,1,1,1,1,1,2,1,1,1,1,2,1}+2 H_{2,2,2,1,2,2,2,2,1}-70 H_{2,1,1
,1,1,2,1,2,2,1,1,1}+252 H_{1,1,2,1,2,1,1,1,1,1,2,1,1}+20 H_{1,2,1
,1,2,1,2,1,1,2,2}-6 H_{2,1,2,1,2,1,2,1,2,2}-70 H_{2,2,1,1,1,2,1,1
,2,1,1,1}+252 H_{1,1,1,1,2,2,1,1,1,2,1,1,1}+20 H_{2,1,2,1,1,1,1,2
,2,1,2}+20 H_{2,1,1,1,2,1,2,2,1,1,2}+20 H_{2,1,1,2,2,1,1,1,2,2,1}
}-70 H_{2,1,1,2,1,2,1,1,1,1,2,1}+20 H_{1,1,1,1,2,2,1,2,2,1,2}+252
 H_{2,1,1,1,1,1,1,1,1,2,2,1,1}+20 H_{2,1,2,2,2,1,2,1,1,1,1}-6 H_
{1,2,2,1,2,1,2,2,2,1}-70 H_{2,2,1,2,1,1,2,1,1,1,1,1}-70 H_{2,1,2
,1,1,1,1,1,2,1,2,1}+20 H_{1,2,1,2,2,1,1,1,1,2,2}+20 H_{2,1,2,1,2,
1,1,2,1,2,1}+252 H_{2,1,1,1,1,1,1,2,2,1,1,1,1}+20 H_{2,2,1,2,1,1,
2,1,1,2,1}-6 H_{2,2,2,1,1,2,1,2,2,1}+2 H_{2,2,2,2,1,2,2,2,1}-70
 H_{2,2,1,1,1,1,2,1,1,1,2,1}-70 H_{2,1,2,1,2,2,1,1,1,1,1,1}-70 H
_{2,2,1,2,1,1,1,1,1,2,1,1}+252 H_{2,1,2,1,1,2,1,1,1,1,1,1,1}+252 
H_{1,1,1,2,1,1,2,1,1,2,1,1,1}+20 H_{2,1,1,2,2,1,1,2,2,1,1}-70 H_{
{2,1,1,2,1,2,1,1,2,1,1,1}+252 H_{2,1,1,1,2,2,1,1,1,1,1,1,1}+252 H_
{2,1,2,1,1,1,1,1,2,1,1,1,1}+252 H_{1,1,2,2,1,1,2,1,1,1,1,1,1}-70 
H_{2,1,2,1,1,1,2,1,1,2,1,1}+20 H_{2,2,1,1,2,1,2,1,2,1,1}+20 H_{2
,1,1,2,1,2,2,2,1,1,1}+252 H_{2,1,1,1,1,1,1,1,1,2,1,1,2}+2 H_{2,1,
2,2,2,2,2,1,2}-70 H_{2,1,2,2,1,1,1,1,2,1,1,1}+20 H_{2,2,1,1,2,1,2
,1,1,2,1}-70 H_{1,2,1,2,2,1,1,1,1,1,2,1}+20 H_{2,1,2,1,2,2,2,1,1,
1,1}-70 H_{1,1,1,2,1,1,1,1,1,2,2,2}-70 H_{2,1,2,1,1,1,2,2,1,1,1,1
}-70 H_{2,1,1,1,2,2,1,1,1,1,1,2}+20 H_{2,1,2,2,1,1,1,2,2,1,1}+
252 H_{2,1,1,1,2,1,1,1,1,1,1,1,2}+20 H_{1,1,1,2,2,1,1,2,1,2,2}+
252 H_{1,1,2,1,1,1,2,1,2,1,1,1,1}+20 H_{2,1,2,2,2,2,1,1,1,1,1}-70
 H_{2,2,1,2,1,1,1,1,1,1,2,1}-924 H_{1,1,1,1,1,1,1,1,2,1,1,2,1,1}-
70 H_{1,2,1,2,1,2,1,1,1,1,2,1}+2 H_{2,2,2,2,2,2,2,1,1}-70 H_{2,
1,2,1,1,1,1,2,1,1,2,1}+20 H_{2,1,2,1,1,2,2,1,2,1,1}-6 H_{2,2,2,2,
1,1,2,2,1,1}+20 H_{2,2,1,1,1,2,1,2,1,2,1}+20 H_{2,1,1,1,2,2,2,1,1
,1,2}+252 H_{1,1,1,1,2,1,2,1,1,2,1,1,1}+20 H_{2,1,1,2,1,1,2,2,1,1
,2}-6 H_{2,1,1,2,2,2,1,2,1,2}+20 H_{2,1,2,1,2,2,1,1,1,1,2}-70 H
_{1,2,1,1,1,1,1,2,2,2,1,1}+20 H_{1,2,1,1,2,2,2,1,2,1,1}-70 H_{2,
2,1,1,2,1,1,2,1,1,1,1}-70 H_{2,1,1,1,2,1,2,1,1,1,1,2}+20 H_{2,2,1
,2,1,2,1,1,1,2,1}+20 H_{2,1,2,1,1,2,2,2,1,1,1}-70 H_{2,1,1,2,1,2,
1,2,1,1,1,1}+252 H_{2,1,1,1,1,1,1,1,2,2,1,1,1}-70 H_{2,1,2,1,1,2,
1,2,1,1,1,1}+252 H_{2,1,1,2,2,1,1,1,1,1,1,1,1}-924 H_{2,1,1,1,1,1
,2,1,1,1,1,1,1,1}+20 H_{2,2,1,2,2,1,1,1,1,1,2}+20 H_{2,1,1,2,1,1,
2,2,1,2,1}+20 H_{2,1,1,2,1,1,2,2,2,1,1}-70 H_{1,2,1,1,1,1,2,2,1,1
,1,2}-70 H_{2,1,1,1,1,2,1,1,1,2,2,1}-70 H_{1,2,1,1,2,1,2,1,1,1,1,
2}-6 H_{1,2,1,2,2,2,2,2,1,1}+2 H_{1,2,2,2,2,2,2,1,2}-6 H_{2,1,
1,2,1,2,2,2,2,1}+252 H_{1,1,1,1,2,2,1,2,1,1,1,1,1}+252 H_{2,1,1,1
,2,1,1,1,1,1,2,1,1}+252 H_{2,1,1,1,1,2,1,1,1,1,1,2,1}+252 H_{1,1,
1,1,1,2,1,1,2,2,1,1,1}+252 H_{2,1,2,1,1,1,1,1,1,1,2,1,1}+252 H_{2
,1,1,2,1,2,1,1,1,1,1,1,1}+252 H_{2,1,2,1,2,1,1,1,1,1,1,1,1}-924 H_
{1,2,1,1,1,1,1,1,1,1,1,2,1,1}+252 H_{2,2,1,2,1,1,1,1,1,1,1,1,1}-70
 H_{1,2,1,2,1,1,1,1,1,2,2,1}+20 H_{2,1,2,1,2,1,2,1,2,1,1}-70 H_{
{2,1,2,1,2,1,1,1,1,1,1,2}+20 H_{1,1,2,1,1,2,2,2,1,2,1}+20 H_{2,1,
2,1,2,2,1,2,1,1,1}+20 H_{1,2,1,2,2,1,1,2,1,2,1}+20 H_{1,2,2,2,1,2
,2,1,1,1,1}-6 H_{2,2,1,1,2,2,2,1,1,2}+20 H_{2,1,1,2,1,1,1,1,2,2,2
}-70 H_{2,2,1,1,1,1,1,2,1,1,2,1}+3432 H_{2,1,1,1,1,1,1,1,1,1,1,1,
1,1,1}
                                      1577

                                   57105.844

> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> 
> quit
bHtes used=97542800020, alloc=983580764, time=58422.56