xhy_sharm.c

/* xhy_sharm-0.1.2 - Spherical Harmonic Library
 * 
 * This is my machine generated Spherical Harmonics library.
 *
 * I got interested in SH when we planned to use them on a game project to encode unit-to-unit
 * visibility information. The project was to run on Xbox360 and PS3, so we couldn't use D3DX.
 *
 * After leaving Sega Studios Oz and before starting at Propaganda Games, I got interesting in
 * the maths and started trying to implement a basis 3 evaluation function. Most of the original
 * code generator was written on the flight from Australia to Canada.
 *
 * For testing, I compared my results against the output of D3DX. This lead to a quixotic quest
 * for bit exact results compared with D3DX. This code is the result of that quest.
 *
 * This library wouldn't exist with out the advice and encouragement of Peter-Pike Sloan. I am
 * indebted to him for taking the time to answer my questions.
 *
 * I tried to write up some information on the calculations, but I'm not a blogger:
 * 	"Spherical Harmonics: Pt 1" - http://dang.posterous.com/spherical-harmonics-pt-1 
 *
 * Source material:
 * 	"Stupid Spherical Harmonics (SH) Tricks", Peter-Pike Sloan.
 * http://ppsloan.org/publications/StupidSH36.pdf
 *
 * The product code is an implementation of:
 * 	"Code Generation and Factoring for Fast Evaluation of Low-order Spherical Harmonic Products 
 * 	and Squares", John Snyder. Microsoft Research Technical Report, MSR-TR-2006-53, May 2006.
 * http://research.microsoft.com/en-us/um/people/johnsny/#shtriple
 *
 *		-- Dan Glastonbury, Santa Monica. 25-Sep-2011
 */

/*
	Copyright 2008 Daniel Glastonbury. All rights reserved.

	Redistribution and use in source and binary forms, with or without modification, are
	permitted provided that the following conditions are met:

	1. Redistributions of source code must retain the above copyright notice, this list of
	   conditions and the following disclaimer.

	2. Redistributions in binary form must reproduce the above copyright notice, this list
	   of conditions and the following disclaimer in the documentation and/or other materials
	   provided with the distribution.

	THIS SOFTWARE IS PROVIDED BY <COPYRIGHT HOLDER> ''AS IS'' AND ANY EXPRESS OR IMPLIED
	WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND
	FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL <COPYRIGHT HOLDER> OR
	CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
	CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
	SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON
	ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
	NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF
	ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.

	The views and conclusions contained in the software and documentation are those of the
	authors and should not be interpreted as representing official policies, either expressed
	or implied, of Daniel Glastonbury.
*/
#ifndef XHY_SHARM_H
#define XHY_SHARM_H

/*
 * To get a header file for this, either cut and paste the header,
 * or create xhy_sharm.h, #define XHY_HEADER_FILE_ONLY, and
 * then include xhy_sharm.c from it.
 */

/****** begin header file 
 */
 
#ifndef XHY_NO_SH3
extern void xhy_sh3_eval(float x, float y, float z, float* sh);
extern void xhy_sh3_product(const float* a, const float* b, float* c);
#endif // !XHY_NO_SH3

#ifndef XHY_NO_SH4
extern void xhy_sh4_eval(float x, float y, float z, float* sh);
extern void xhy_sh4_product(const float* a, const float* b, float* c);
#endif // !XHY_NO_SH4

#ifndef XHY_NO_SH5
extern void xhy_sh5_eval(float x, float y, float z, float* sh);
extern void xhy_sh5_product(const float* a, const float* b, float* c);
#endif // !XHY_NO_SH5

#ifndef XHY_NO_SH6
extern void xhy_sh6_eval(float x, float y, float z, float* sh);
extern void xhy_sh6_product(const float* a, const float* b, float* c);
#endif // !XHY_NO_SH6

/****** end header file 
 */
#endif // !XHY_SHARM_H

#ifndef XHY_HEADER_FILE_ONLY

/* DO NOT EDIT
 * This file is generated by sharm_gen.exe
 */
   
#ifdef _MSC_VER
#pragma warning(disable : 4244)
#endif // _MSC_VER

#define CONSTANT(x)	x##f

/*
 * Spherical Harmonic Evaluation
 */

void
xhy_sh3_eval(float x, float y, float z, float* sh)
{
	float t[3];
	float c[2], s[2];
	float z2 = z * z;

	/* Y{l,0} */
	sh[0] = CONSTANT(0.28209480643272400);
	sh[2] = CONSTANT(0.48860251903533936) * z;
	sh[6] = CONSTANT(0.94617468118667603) * z2 + CONSTANT(-0.31539157032966614);

	c[0] = x;
	s[0] = y;

	/* Y{l,1} */
	t[0] = CONSTANT(-0.48860251903533936);
	sh[3] = t[0] * c[0];
	sh[1] = t[0] * s[0];
	t[1] = CONSTANT(-1.09254848957061770) * z;
	sh[7] = t[1] * c[0];
	sh[5] = t[1] * s[0];

	c[1] = x * c[0] - y * s[0];
	s[1] = x * s[0] + y * c[0];

	/* Y{l,2} */
	t[0] = CONSTANT(0.54627424478530884);
	sh[8] = t[0] * c[1];
	sh[4] = t[0] * s[1];

	c[0] = x * c[1] - y * s[1];
	s[0] = x * s[1] + y * c[1];
}

void
xhy_sh4_eval(float x, float y, float z, float* sh)
{
	float t[3];
	float c[2], s[2];
	float z2 = z * z;

	/* Y{l,0} */
	sh[0] = CONSTANT(0.28209480643272400);
	sh[2] = CONSTANT(0.48860251903533936) * z;
	sh[6] = CONSTANT(0.94617468118667603) * z2 + CONSTANT(-0.31539157032966614);
	sh[12] = z * (CONSTANT(1.86588168144226070) * z2 + CONSTANT(-1.11952900886535640));

	c[0] = x;
	s[0] = y;

	/* Y{l,1} */
	t[0] = CONSTANT(-0.48860251903533936);
	sh[3] = t[0] * c[0];
	sh[1] = t[0] * s[0];
	t[1] = CONSTANT(-1.09254848957061770) * z;
	sh[7] = t[1] * c[0];
	sh[5] = t[1] * s[0];
	t[2] = CONSTANT(-2.28522896766662600) * z2 + CONSTANT(0.45704579353332520);
	sh[13] = t[2] * c[0];
	sh[11] = t[2] * s[0];

	c[1] = x * c[0] - y * s[0];
	s[1] = x * s[0] + y * c[0];

	/* Y{l,2} */
	t[0] = CONSTANT(0.54627424478530884);
	sh[8] = t[0] * c[1];
	sh[4] = t[0] * s[1];
	t[1] = CONSTANT(1.44530570507049560) * z;
	sh[14] = t[1] * c[1];
	sh[10] = t[1] * s[1];

	c[0] = x * c[1] - y * s[1];
	s[0] = x * s[1] + y * c[1];

	/* Y{l,3} */
	t[0] = CONSTANT(-0.59004360437393188);
	sh[15] = t[0] * c[0];
	sh[9] = t[0] * s[0];
}

void
xhy_sh5_eval(float x, float y, float z, float* sh)
{
	float t[3];
	float c[2], s[2];
	float z2 = z * z;

	/* Y{l,0} */
	sh[0] = CONSTANT(0.28209480643272400);
	sh[2] = CONSTANT(0.48860251903533936) * z;
	sh[6] = CONSTANT(0.94617468118667603) * z2 + CONSTANT(-0.31539157032966614);
	sh[12] = z * (CONSTANT(1.86588168144226070) * z2 + CONSTANT(-1.11952900886535640));
	sh[20] = (CONSTANT(1.98431348800659180) * z * sh[12]) - (CONSTANT(1.00623058987490530) * sh[6]);

	c[0] = x;
	s[0] = y;

	/* Y{l,1} */
	t[0] = CONSTANT(-0.48860251903533936);
	sh[3] = t[0] * c[0];
	sh[1] = t[0] * s[0];
	t[1] = CONSTANT(-1.09254848957061770) * z;
	sh[7] = t[1] * c[0];
	sh[5] = t[1] * s[0];
	t[2] = CONSTANT(-2.28522896766662600) * z2 + CONSTANT(0.45704579353332520);
	sh[13] = t[2] * c[0];
	sh[11] = t[2] * s[0];
	t[0] = z * (CONSTANT(-4.68332576751708980) * z2 + CONSTANT(2.00713968276977540));
	sh[21] = t[0] * c[0];
	sh[19] = t[0] * s[0];

	c[1] = x * c[0] - y * s[0];
	s[1] = x * s[0] + y * c[0];

	/* Y{l,2} */
	t[0] = CONSTANT(0.54627424478530884);
	sh[8] = t[0] * c[1];
	sh[4] = t[0] * s[1];
	t[1] = CONSTANT(1.44530570507049560) * z;
	sh[14] = t[1] * c[1];
	sh[10] = t[1] * s[1];
	t[2] = CONSTANT(3.31161141395568850) * z2 + CONSTANT(-0.47308734059333801);
	sh[22] = t[2] * c[1];
	sh[18] = t[2] * s[1];

	c[0] = x * c[1] - y * s[1];
	s[0] = x * s[1] + y * c[1];

	/* Y{l,3} */
	t[0] = CONSTANT(-0.59004360437393188);
	sh[15] = t[0] * c[0];
	sh[9] = t[0] * s[0];
	t[1] = CONSTANT(-1.77013075351715090) * z;
	sh[23] = t[1] * c[0];
	sh[17] = t[1] * s[0];

	c[1] = x * c[0] - y * s[0];
	s[1] = x * s[0] + y * c[0];

	/* Y{l,4} */
	t[0] = CONSTANT(0.62583571672439575);
	sh[24] = t[0] * c[1];
	sh[16] = t[0] * s[1];
}

void
xhy_sh6_eval(float x, float y, float z, float* sh)
{
	float t[3];
	float c[2], s[2];
	float z2 = z * z;

	/* Y{l,0} */
	sh[0] = CONSTANT(0.28209480643272400);
	sh[2] = CONSTANT(0.48860251903533936) * z;
	sh[6] = CONSTANT(0.94617468118667603) * z2 + CONSTANT(-0.31539157032966614);
	sh[12] = z * (CONSTANT(1.86588168144226070) * z2 + CONSTANT(-1.11952900886535640));
	sh[20] = (CONSTANT(1.98431348800659180) * z * sh[12]) - (CONSTANT(1.00623058987490530) * sh[6]);
	sh[30] = (CONSTANT(1.98997485637664790) * z * sh[20]) - (CONSTANT(1.00285307284481400) * sh[12]);

	c[0] = x;
	s[0] = y;

	/* Y{l,1} */
	t[0] = CONSTANT(-0.48860251903533936);
	sh[3] = t[0] * c[0];
	sh[1] = t[0] * s[0];
	t[1] = CONSTANT(-1.09254848957061770) * z;
	sh[7] = t[1] * c[0];
	sh[5] = t[1] * s[0];
	t[2] = CONSTANT(-2.28522896766662600) * z2 + CONSTANT(0.45704579353332520);
	sh[13] = t[2] * c[0];
	sh[11] = t[2] * s[0];
	t[0] = z * (CONSTANT(-4.68332576751708980) * z2 + CONSTANT(2.00713968276977540));
	sh[21] = t[0] * c[0];
	sh[19] = t[0] * s[0];
	t[1] = (CONSTANT(2.03100967407226560) * z * t[0]) - (CONSTANT(0.99103120896511465) * t[2]);
	sh[31] = t[1] * c[0];
	sh[29] = t[1] * s[0];

	c[1] = x * c[0] - y * s[0];
	s[1] = x * s[0] + y * c[0];

	/* Y{l,2} */
	t[0] = CONSTANT(0.54627424478530884);
	sh[8] = t[0] * c[1];
	sh[4] = t[0] * s[1];
	t[1] = CONSTANT(1.44530570507049560) * z;
	sh[14] = t[1] * c[1];
	sh[10] = t[1] * s[1];
	t[2] = CONSTANT(3.31161141395568850) * z2 + CONSTANT(-0.47308734059333801);
	sh[22] = t[2] * c[1];
	sh[18] = t[2] * s[1];
	t[0] = z * (CONSTANT(7.19030523300170900) * z2 + CONSTANT(-2.39676833152771000));
	sh[32] = t[0] * c[1];
	sh[28] = t[0] * s[1];

	c[0] = x * c[1] - y * s[1];
	s[0] = x * s[1] + y * c[1];

	/* Y{l,3} */
	t[0] = CONSTANT(-0.59004360437393188);
	sh[15] = t[0] * c[0];
	sh[9] = t[0] * s[0];
	t[1] = CONSTANT(-1.77013075351715090) * z;
	sh[23] = t[1] * c[0];
	sh[17] = t[1] * s[0];
	t[2] = CONSTANT(-4.40314483642578120) * z2 + CONSTANT(0.48923829197883606);
	sh[33] = t[2] * c[0];
	sh[27] = t[2] * s[0];

	c[1] = x * c[0] - y * s[0];
	s[1] = x * s[0] + y * c[0];

	/* Y{l,4} */
	t[0] = CONSTANT(0.62583571672439575);
	sh[24] = t[0] * c[1];
	sh[16] = t[0] * s[1];
	t[1] = CONSTANT(2.07566237449646000) * z;
	sh[34] = t[1] * c[1];
	sh[26] = t[1] * s[1];

	c[0] = x * c[1] - y * s[1];
	s[0] = x * s[1] + y * c[1];

	/* Y{l,5} */
		t[0] = CONSTANT(-0.65638208389282227);
	sh[35] = t[0] * c[0];
	sh[25] = t[0] * s[0];
}

/*
 * Spherical Harmonic Product
 */

#ifndef XHY_NO_D3DX_COMPAT
# undef CONSTANT
# define CONSTANT(x)		(x)
#endif // !XHY_NO_D3DX_COMPAT 

void	
xhy_sh3_product(const float* a, const float* b, float* c)
{
	float t, ta, tb;

	// [0,0]: 0,
	c[0]  = CONSTANT(0.28209480643272400)*a[0]*b[0];

	// [1,1]: 0,6,8,
	ta = CONSTANT(0.28209480643272400)*a[0]+CONSTANT(-0.12615662813186646)*a[6]+CONSTANT(-0.21850968897342682)*a[8];
	tb = CONSTANT(0.28209480643272400)*b[0]+CONSTANT(-0.12615662813186646)*b[6]+CONSTANT(-0.21850968897342682)*b[8];
	c[1]  = ta*b[1]+tb*a[1];
	t = a[1]*b[1];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6]  = CONSTANT(-0.12615662813186646)*t;
	c[8]  = CONSTANT(-0.21850968897342682)*t;

	// [1,2]: 5,
	ta = CONSTANT(0.21850968897342682)*a[5];
	tb = CONSTANT(0.21850968897342682)*b[5];
	c[1] += ta*b[2]+tb*a[2];
	c[2]  = ta*b[1]+tb*a[1];
	t = a[1]*b[2]+a[2]*b[1];
	c[5]  = CONSTANT(0.21850968897342682)*t;

	// [1,3]: 4,
	ta = CONSTANT(0.21850968897342682)*a[4];
	tb = CONSTANT(0.21850968897342682)*b[4];
	c[1] += ta*b[3]+tb*a[3];
	c[3]  = ta*b[1]+tb*a[1];
	t = a[1]*b[3]+a[3]*b[1];
	c[4]  = CONSTANT(0.21850968897342682)*t;

	// [2,2]: 0,6,
	ta = CONSTANT(0.28209480643272400)*a[0]+CONSTANT(0.25231325626373291)*a[6];
	tb = CONSTANT(0.28209480643272400)*b[0]+CONSTANT(0.25231325626373291)*b[6];
	c[2] += ta*b[2]+tb*a[2];
	t = a[2]*b[2];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(0.25231325626373291)*t;

	// [2,3]: 7,
	ta = CONSTANT(0.21850968897342682)*a[7];
	tb = CONSTANT(0.21850968897342682)*b[7];
	c[2] += ta*b[3]+tb*a[3];
	c[3] += ta*b[2]+tb*a[2];
	t = a[2]*b[3]+a[3]*b[2];
	c[7]  = CONSTANT(0.21850968897342682)*t;

	// [3,3]: 0,6,8,
	ta = CONSTANT(0.28209480643272400)*a[0]+CONSTANT(-0.12615662813186646)*a[6]+CONSTANT(0.21850968897342682)*a[8];
	tb = CONSTANT(0.28209480643272400)*b[0]+CONSTANT(-0.12615662813186646)*b[6]+CONSTANT(0.21850968897342682)*b[8];
	c[3] += ta*b[3]+tb*a[3];
	t = a[3]*b[3];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(-0.12615662813186646)*t;
	c[8] += CONSTANT(0.21850968897342682)*t;

	// [4,4]: 0,6,
	ta = CONSTANT(0.28209480643272400)*a[0]+CONSTANT(-0.18022374808788300)*a[6];
	tb = CONSTANT(0.28209480643272400)*b[0]+CONSTANT(-0.18022374808788300)*b[6];
	c[4] += ta*b[4]+tb*a[4];
	t = a[4]*b[4];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(-0.18022374808788300)*t;

	// [4,5]: 7,
	ta = CONSTANT(0.15607835352420807)*a[7];
	tb = CONSTANT(0.15607835352420807)*b[7];
	c[4] += ta*b[5]+tb*a[5];
	c[5] += ta*b[4]+tb*a[4];
	t = a[4]*b[5]+a[5]*b[4];
	c[7] += CONSTANT(0.15607835352420807)*t;

	// [5,5]: 0,6,8,
	ta = CONSTANT(0.28209480643272400)*a[0]+CONSTANT(0.09011187404394150)*a[6]+CONSTANT(-0.15607835352420807)*a[8];
	tb = CONSTANT(0.28209480643272400)*b[0]+CONSTANT(0.09011187404394150)*b[6]+CONSTANT(-0.15607835352420807)*b[8];
	c[5] += ta*b[5]+tb*a[5];
	t = a[5]*b[5];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(0.09011187404394150)*t;
	c[8] += CONSTANT(-0.15607835352420807)*t;

	// [6,6]: 0,6,
	ta = CONSTANT(0.28209480643272400)*a[0];
	tb = CONSTANT(0.28209480643272400)*b[0];
	c[6] += ta*b[6]+tb*a[6];
	t = a[6]*b[6];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(0.18022376298904419)*t;

	// [7,7]: 0,6,8,
	ta = CONSTANT(0.28209480643272400)*a[0]+CONSTANT(0.09011187404394150)*a[6]+CONSTANT(0.15607835352420807)*a[8];
	tb = CONSTANT(0.28209480643272400)*b[0]+CONSTANT(0.09011187404394150)*b[6]+CONSTANT(0.15607835352420807)*b[8];
	c[7] += ta*b[7]+tb*a[7];
	t = a[7]*b[7];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(0.09011187404394150)*t;
	c[8] += CONSTANT(0.15607835352420807)*t;

	// [8,8]: 0,6,
	ta = CONSTANT(0.28209480643272400)*a[0]+CONSTANT(-0.18022374808788300)*a[6];
	tb = CONSTANT(0.28209480643272400)*b[0]+CONSTANT(-0.18022374808788300)*b[6];
	c[8] += ta*b[8]+tb*a[8];
	t = a[8]*b[8];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(-0.18022374808788300)*t;
}  

void
xhy_sh4_product(const float* a, const float* b, float* c)
{
	float t, ta, tb;

	// [0,0]: 0
	c[0] = CONSTANT(0.282094806432724000)*a[0]*b[0];

	// [1,1]: 0,6,8
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(-0.126156628131866460)*a[6] + CONSTANT(-0.218509688973426820)*a[8] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(-0.126156628131866460)*b[6] + CONSTANT(-0.218509688973426820)*b[8] ;
	c[1] = ta*b[1]+tb*a[1];
	t = a[1]*b[1];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] = CONSTANT(-0.126156628131866460)*t;
	c[8] = CONSTANT(-0.218509688973426820)*t;

	// [1,4]: 3,13,15
	ta = CONSTANT(0.218509688973426820)*a[3] + CONSTANT(-0.058399170637130737)*a[13] + CONSTANT(-0.226179018616676330)*a[15] ;
	tb = CONSTANT(0.218509688973426820)*b[3] + CONSTANT(-0.058399170637130737)*b[13] + CONSTANT(-0.226179018616676330)*b[15] ;
	c[1] += ta*b[4]+tb*a[4];
	c[4] = ta*b[1]+tb*a[1];
	t = a[1]*b[4]+a[4]*b[1];
	c[3] = CONSTANT(0.218509688973426820)*t;
	c[13] = CONSTANT(-0.058399170637130737)*t;
	c[15] = CONSTANT(-0.226179018616676330)*t;

	// [1,5]: 2,12,14
	ta = CONSTANT(0.218509688973426820)*a[2] + CONSTANT(-0.143048167228698730)*a[12] + CONSTANT(-0.184674397110939030)*a[14] ;
	tb = CONSTANT(0.218509688973426820)*b[2] + CONSTANT(-0.143048167228698730)*b[12] + CONSTANT(-0.184674397110939030)*b[14] ;
	c[1] += ta*b[5]+tb*a[5];
	c[5] = ta*b[1]+tb*a[1];
	t = a[1]*b[5]+a[5]*b[1];
	c[2] = CONSTANT(0.218509688973426820)*t;
	c[12] = CONSTANT(-0.143048167228698730)*t;
	c[14] = CONSTANT(-0.184674397110939030)*t;

	// [1,6]: 11
	ta = CONSTANT(0.202300652861595150)*a[11] ;
	tb = CONSTANT(0.202300652861595150)*b[11] ;
	c[1] += ta*b[6]+tb*a[6];
	c[6] += ta*b[1]+tb*a[1];
	t = a[1]*b[6]+a[6]*b[1];
	c[11] = CONSTANT(0.202300652861595150)*t;

	// [1,8]: 9,11
	ta = CONSTANT(0.226179018616676330)*a[9] + CONSTANT(0.058399170637130737)*a[11] ;
	tb = CONSTANT(0.226179018616676330)*b[9] + CONSTANT(0.058399170637130737)*b[11] ;
	c[1] += ta*b[8]+tb*a[8];
	c[8] += ta*b[1]+tb*a[1];
	t = a[1]*b[8]+a[8]*b[1];
	c[9] = CONSTANT(0.226179018616676330)*t;
	c[11] += CONSTANT(0.058399170637130737)*t;

	// [2,2]: 0,6
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(0.252313256263732910)*a[6] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(0.252313256263732910)*b[6] ;
	c[2] += ta*b[2]+tb*a[2];
	t = a[2]*b[2];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(0.252313256263732910)*t;

	// [2,6]: 12
	ta = CONSTANT(0.247766703367233280)*a[12] ;
	tb = CONSTANT(0.247766703367233280)*b[12] ;
	c[2] += ta*b[6]+tb*a[6];
	c[6] += ta*b[2]+tb*a[2];
	t = a[2]*b[6]+a[6]*b[2];
	c[12] += CONSTANT(0.247766703367233280)*t;

	// [3,3]: 0,6,8
	ta = CONSTANT(0.28209480643272400)*a[0] + CONSTANT(-0.12615662813186646)*a[6] + CONSTANT(0.21850968897342682)*a[8] ;
	tb = CONSTANT(0.28209480643272400)*b[0] + CONSTANT(-0.12615662813186646)*b[6] + CONSTANT(0.21850968897342682)*b[8] ;
	c[3] += ta*b[3]+tb*a[3];
	t = a[3]*b[3];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(-0.12615662813186646)*t;
	c[8] += CONSTANT(0.21850968897342682)*t;

	// [3,6]: 13
	ta = CONSTANT(0.202300652861595150)*a[13] ;
	tb = CONSTANT(0.202300652861595150)*b[13] ;
	c[3] += ta*b[6]+tb*a[6];
	c[6] += ta*b[3]+tb*a[3];
	t = a[3]*b[6]+a[6]*b[3];
	c[13] += CONSTANT(0.202300652861595150)*t;

	// [3,7]: 2,12,14
	ta = CONSTANT(0.218509688973426820)*a[2] + CONSTANT(-0.143048167228698730)*a[12] + CONSTANT(0.184674397110939030)*a[14] ;
	tb = CONSTANT(0.218509688973426820)*b[2] + CONSTANT(-0.143048167228698730)*b[12] + CONSTANT(0.184674397110939030)*b[14] ;
	c[3] += ta*b[7]+tb*a[7];
	c[7] = ta*b[3]+tb*a[3];
	t = a[3]*b[7]+a[7]*b[3];
	c[2] += CONSTANT(0.218509688973426820)*t;
	c[12] += CONSTANT(-0.143048167228698730)*t;
	c[14] += CONSTANT(0.184674397110939030)*t;

	// [3,8]: 13,15
	ta = CONSTANT(-0.058399170637130737)*a[13] + CONSTANT(0.226179018616676330)*a[15] ;
	tb = CONSTANT(-0.058399170637130737)*b[13] + CONSTANT(0.226179018616676330)*b[15] ;
	c[3] += ta*b[8]+tb*a[8];
	c[8] += ta*b[3]+tb*a[3];
	t = a[3]*b[8]+a[8]*b[3];
	c[13] += CONSTANT(-0.058399170637130737)*t;
	c[15] += CONSTANT(0.226179018616676330)*t;

	// [4,4]: 0,6
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(-0.180223748087883000)*a[6] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(-0.180223748087883000)*b[6] ;
	c[4] += ta*b[4]+tb*a[4];
	t = a[4]*b[4];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(-0.180223748087883000)*t;

	// [4,5]: 7
	ta = CONSTANT(0.15607835352420807)*a[7] ;
	tb = CONSTANT(0.15607835352420807)*b[7] ;
	c[4] += ta*b[5]+tb*a[5];
	c[5] += ta*b[4]+tb*a[4];
	t = a[4]*b[5]+a[5]*b[4];
	c[7] += CONSTANT(0.15607835352420807)*t;

	// [4,9]: 3,13
	ta = CONSTANT(0.226179018616676330)*a[3] + CONSTANT(-0.094031594693660736)*a[13] ;
	tb = CONSTANT(0.226179018616676330)*b[3] + CONSTANT(-0.094031594693660736)*b[13] ;
	c[4] += ta*b[9]+tb*a[9];
	c[9] += ta*b[4]+tb*a[4];
	t = a[4]*b[9]+a[9]*b[4];
	c[3] += CONSTANT(0.226179018616676330)*t;
	c[13] += CONSTANT(-0.094031594693660736)*t;

	// [4,10]: 2,12
	ta = CONSTANT(0.184674397110939030)*a[2] + CONSTANT(-0.188063189387321470)*a[12] ;
	tb = CONSTANT(0.184674397110939030)*b[2] + CONSTANT(-0.188063189387321470)*b[12] ;
	c[4] += ta*b[10]+tb*a[10];
	c[10] = ta*b[4]+tb*a[4];
	t = a[4]*b[10]+a[10]*b[4];
	c[2] += CONSTANT(0.184674397110939030)*t;
	c[12] += CONSTANT(-0.188063189387321470)*t;

	// [4,11]: 3,13,15
	ta = CONSTANT(-0.058399170637130737)*a[3] + CONSTANT(0.145673125982284550)*a[13] + CONSTANT(0.094031594693660736)*a[15] ;
	tb = CONSTANT(-0.058399170637130737)*b[3] + CONSTANT(0.145673125982284550)*b[13] + CONSTANT(0.094031594693660736)*b[15] ;
	c[4] += ta*b[11]+tb*a[11];
	c[11] += ta*b[4]+tb*a[4];
	t = a[4]*b[11]+a[11]*b[4];
	c[3] += CONSTANT(-0.058399170637130737)*t;
	c[13] += CONSTANT(0.145673125982284550)*t;
	c[15] += CONSTANT(0.094031594693660736)*t;

	// [5,5]: 0,6,8
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(0.090111874043941498)*a[6] + CONSTANT(-0.156078353524208070)*a[8] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(0.090111874043941498)*b[6] + CONSTANT(-0.156078353524208070)*b[8] ;
	c[5] += ta*b[5]+tb*a[5];
	t = a[5]*b[5];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(0.090111874043941498)*t;
	c[8] += CONSTANT(-0.156078353524208070)*t;

	// [5,9]: 14
	ta = CONSTANT(0.148677006363868710)*a[14] ;
	tb = CONSTANT(0.148677006363868710)*b[14] ;
	c[5] += ta*b[9]+tb*a[9];
	c[9] += ta*b[5]+tb*a[5];
	t = a[5]*b[9]+a[9]*b[5];
	c[14] += CONSTANT(0.148677006363868710)*t;

	// [5,10]: 3,13,15
	ta = CONSTANT(0.184674397110939030)*a[3] + CONSTANT(0.115164719521999360)*a[13] + CONSTANT(-0.148677006363868710)*a[15] ;
	tb = CONSTANT(0.184674397110939030)*b[3] + CONSTANT(0.115164719521999360)*b[13] + CONSTANT(-0.148677006363868710)*b[15] ;
	c[5] += ta*b[10]+tb*a[10];
	c[10] += ta*b[5]+tb*a[5];
	t = a[5]*b[10]+a[10]*b[5];
	c[3] += CONSTANT(0.184674397110939030)*t;
	c[13] += CONSTANT(0.115164719521999360)*t;
	c[15] += CONSTANT(-0.148677006363868710)*t;

	// [5,11]: 2,12,14
	ta = CONSTANT(0.233596682548522950)*a[2] + CONSTANT(0.059470802545547485)*a[12] + CONSTANT(-0.115164719521999360)*a[14] ;
	tb = CONSTANT(0.233596682548522950)*b[2] + CONSTANT(0.059470802545547485)*b[12] + CONSTANT(-0.115164719521999360)*b[14] ;
	c[5] += ta*b[11]+tb*a[11];
	c[11] += ta*b[5]+tb*a[5];
	t = a[5]*b[11]+a[11]*b[5];
	c[2] += CONSTANT(0.233596682548522950)*t;
	c[12] += CONSTANT(0.059470802545547485)*t;
	c[14] += CONSTANT(-0.115164719521999360)*t;

	// [6,6]: 0,6
	ta = CONSTANT(0.28209480643272400)*a[0] ;
	tb = CONSTANT(0.28209480643272400)*b[0] ;
	c[6] += ta*b[6]+tb*a[6];
	t = a[6]*b[6];
	c[0] += CONSTANT(0.28209480643272400)*t;
	c[6] += CONSTANT(0.18022376298904419)*t;

	// [7,7]: 0,6,8
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(0.090111874043941498)*a[6] + CONSTANT(0.156078353524208070)*a[8] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(0.090111874043941498)*b[6] + CONSTANT(0.156078353524208070)*b[8] ;
	c[7] += ta*b[7]+tb*a[7];
	t = a[7]*b[7];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(0.090111874043941498)*t;
	c[8] += CONSTANT(0.156078353524208070)*t;

	// [7,10]: 1,9,11
	ta = CONSTANT(0.184674397110939030)*a[1] + CONSTANT(0.148677006363868710)*a[9] + CONSTANT(0.115164719521999360)*a[11] ;
	tb = CONSTANT(0.184674397110939030)*b[1] + CONSTANT(0.148677006363868710)*b[9] + CONSTANT(0.115164719521999360)*b[11] ;
	c[7] += ta*b[10]+tb*a[10];
	c[10] += ta*b[7]+tb*a[7];
	t = a[7]*b[10]+a[10]*b[7];
	c[1] += CONSTANT(0.184674397110939030)*t;
	c[9] += CONSTANT(0.148677006363868710)*t;
	c[11] += CONSTANT(0.115164719521999360)*t;

	// [7,13]: 2,12,14
	ta = CONSTANT(0.233596682548522950)*a[2] + CONSTANT(0.059470802545547485)*a[12] + CONSTANT(0.115164719521999360)*a[14] ;
	tb = CONSTANT(0.233596682548522950)*b[2] + CONSTANT(0.059470802545547485)*b[12] + CONSTANT(0.115164719521999360)*b[14] ;
	c[7] += ta*b[13]+tb*a[13];
	c[13] += ta*b[7]+tb*a[7];
	t = a[7]*b[13]+a[13]*b[7];
	c[2] += CONSTANT(0.233596682548522950)*t;
	c[12] += CONSTANT(0.059470802545547485)*t;
	c[14] += CONSTANT(0.115164719521999360)*t;

	// [7,14]: 15
	ta = CONSTANT(0.148677006363868710)*a[15] ;
	tb = CONSTANT(0.148677006363868710)*b[15] ;
	c[7] += ta*b[14]+tb*a[14];
	c[14] += ta*b[7]+tb*a[7];
	t = a[7]*b[14]+a[14]*b[7];
	c[15] += CONSTANT(0.148677006363868710)*t;

	// [8,8]: 0,6
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(-0.18022374808788300)*a[6] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(-0.18022374808788300)*b[6] ;
	c[8] += ta*b[8]+tb*a[8];
	t = a[8]*b[8];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(-0.18022374808788300)*t;

	// [8,9]: 11
	ta = CONSTANT(-0.094031594693660736)*a[11] ;
	tb = CONSTANT(-0.094031594693660736)*b[11] ;
	c[8] += ta*b[9]+tb*a[9];
	c[9] += ta*b[8]+tb*a[8];
	t = a[8]*b[9]+a[9]*b[8];
	c[11] += CONSTANT(-0.094031594693660736)*t;

	// [8,13]: 15
	ta = CONSTANT(-0.094031594693660736)*a[15] ;
	tb = CONSTANT(-0.094031594693660736)*b[15] ;
	c[8] += ta*b[13]+tb*a[13];
	c[13] += ta*b[8]+tb*a[8];
	t = a[8]*b[13]+a[13]*b[8];
	c[15] += CONSTANT(-0.094031594693660736)*t;

	// [8,14]: 2,12
	ta = CONSTANT(0.184674397110939030)*a[2] + CONSTANT(-0.188063189387321470)*a[12] ;
	tb = CONSTANT(0.184674397110939030)*b[2] + CONSTANT(-0.188063189387321470)*b[12] ;
	c[8] += ta*b[14]+tb*a[14];
	c[14] += ta*b[8]+tb*a[8];
	t = a[8]*b[14]+a[14]*b[8];
	c[2] += CONSTANT(0.184674397110939030)*t;
	c[12] += CONSTANT(-0.188063189387321470)*t;

	// [9,9]: 0,6
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(-0.210261046886444090)*a[6] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(-0.210261046886444090)*b[6] ;
	c[9] += ta*b[9]+tb*a[9];
	t = a[9]*b[9];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(-0.210261046886444090)*t;

	// [10,10]: 0
	ta = CONSTANT(0.282094806432724000)*a[0] ;
	tb = CONSTANT(0.282094806432724000)*b[0] ;
	c[10] += ta*b[10]+tb*a[10];
	c[0] += CONSTANT(0.282094806432724000)*a[10]*b[10];

	// [11,11]: 0,6,8
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(0.126156628131866460)*a[6] + CONSTANT(-0.145673125982284550)*a[8] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(0.126156628131866460)*b[6] + CONSTANT(-0.145673125982284550)*b[8] ;
	c[11] += ta*b[11]+tb*a[11];
	t = a[11]*b[11];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(0.126156628131866460)*t;
	c[8] += CONSTANT(-0.145673125982284550)*t;

	// [12,12]: 0,6
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(0.168208852410316470)*a[6] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(0.168208852410316470)*b[6] ;
	c[12] += ta*b[12]+tb*a[12];
	t = a[12]*b[12];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(0.168208852410316470)*t;

	// [13,13]: 0,6,8
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(0.126156628131866460)*a[6] + CONSTANT(0.145673125982284550)*a[8] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(0.126156628131866460)*b[6] + CONSTANT(0.145673125982284550)*b[8] ;
	c[13] += ta*b[13]+tb*a[13];
	t = a[13]*b[13];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(0.126156628131866460)*t;
	c[8] += CONSTANT(0.145673125982284550)*t;

	// [14,14]: 0
	ta = CONSTANT(0.282094806432724000)*a[0] ;
	tb = CONSTANT(0.282094806432724000)*b[0] ;
	c[14] += ta*b[14]+tb*a[14];
	c[0] += CONSTANT(0.282094806432724000)*a[14]*b[14];

	// [15,15]: 0,6
	ta = CONSTANT(0.282094806432724000)*a[0] + CONSTANT(-0.210261046886444090)*a[6] ;
	tb = CONSTANT(0.282094806432724000)*b[0] + CONSTANT(-0.210261046886444090)*b[6] ;
	c[15] += ta*b[15]+tb*a[15];
	t = a[15]*b[15];
	c[0] += CONSTANT(0.282094806432724000)*t;
	c[6] += CONSTANT(-0.210261046886444090)*t;
}

void
xhy_sh5_product(const float* a, const float* b, float* c)
{
	float t, ta, tb;
	
	//[0,0]: 0,
	t = a[0]*b[0];
	c[0] += CONSTANT(0.28209479177387814)*t;

	//[1,1]: 0,6,8,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.12615662610100800)*a[6] + CONSTANT(-0.21850968611841581)*a[8];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.12615662610100800)*b[6] + CONSTANT(-0.21850968611841581)*b[8];
	c[1]  = ta*b[1] + tb*a[1];
	t = a[1]*b[1];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6]  = CONSTANT(-0.12615662610100800)*t;
	c[8]  = CONSTANT(-0.21850968611841581)*t;

	//[1,2]: 5,
	ta = CONSTANT(0.21850968611841581)*a[5];
	tb = CONSTANT(0.21850968611841581)*b[5];
	c[1] += ta*b[2] + tb*a[2];
	c[2]  = ta*b[1] + tb*a[1];
	t = a[1]*b[2] + a[2]*b[1];
	c[5]  = CONSTANT(0.21850968611841581)*t;

	//[1,4]: 13,15,
	ta = CONSTANT(-0.05839917008190185)*a[13] + CONSTANT(-0.22617901315954031)*a[15];
	tb = CONSTANT(-0.05839917008190185)*b[13] + CONSTANT(-0.22617901315954031)*b[15];
	c[1] += ta*b[4] + tb*a[4];
	c[4]  = ta*b[1] + tb*a[1];
	t = a[1]*b[4] + a[4]*b[1];
	c[13]  = CONSTANT(-0.05839917008190185)*t;
	c[15]  = CONSTANT(-0.22617901315954031)*t;

	//[1,5]: 12,14,
	ta = CONSTANT(-0.14304816810266882)*a[12] + CONSTANT(-0.18467439092237178)*a[14];
	tb = CONSTANT(-0.14304816810266882)*b[12] + CONSTANT(-0.18467439092237178)*b[14];
	c[1] += ta*b[5] + tb*a[5];
	c[5] += ta*b[1] + tb*a[1];
	t = a[1]*b[5] + a[5]*b[1];
	c[12]  = CONSTANT(-0.14304816810266882)*t;
	c[14]  = CONSTANT(-0.18467439092237178)*t;

	//[1,6]: 1,11,
	ta = CONSTANT(-0.12615662610100800)*a[1] + CONSTANT(0.20230065940342062)*a[11];
	tb = CONSTANT(-0.12615662610100800)*b[1] + CONSTANT(0.20230065940342062)*b[11];
	c[1] += ta*b[6] + tb*a[6];
	c[6] += ta*b[1] + tb*a[1];
	t = a[1]*b[6] + a[6]*b[1];
	c[1] += CONSTANT(-0.12615662610100800)*t;
	c[11]  = CONSTANT(0.20230065940342062)*t;

	//[1,8]: 1,9,11,
	ta = CONSTANT(-0.21850968611841581)*a[1] + CONSTANT(0.22617901315954031)*a[9] + CONSTANT(0.05839917008190185)*a[11];
	tb = CONSTANT(-0.21850968611841581)*b[1] + CONSTANT(0.22617901315954031)*b[9] + CONSTANT(0.05839917008190185)*b[11];
	c[1] += ta*b[8] + tb*a[8];
	c[8] += ta*b[1] + tb*a[1];
	t = a[1]*b[8] + a[8]*b[1];
	c[1] += CONSTANT(-0.21850968611841581)*t;
	c[9]  = CONSTANT(0.22617901315954031)*t;
	c[11] += CONSTANT(0.05839917008190185)*t;

	//[1,9]: 22,24,
	ta = CONSTANT(-0.04352817137756816)*a[22] + CONSTANT(-0.23032943298089034)*a[24];
	tb = CONSTANT(-0.04352817137756816)*b[22] + CONSTANT(-0.23032943298089034)*b[24];
	c[1] += ta*b[9] + tb*a[9];
	c[9] += ta*b[1] + tb*a[1];
	t = a[1]*b[9] + a[9]*b[1];
	c[22]  = CONSTANT(-0.04352817137756816)*t;
	c[24]  = CONSTANT(-0.23032943298089034)*t;

	//[1,10]: 21,23,
	ta = CONSTANT(-0.07539300438651343)*a[21] + CONSTANT(-0.19947114020071635)*a[23];
	tb = CONSTANT(-0.07539300438651343)*b[21] + CONSTANT(-0.19947114020071635)*b[23];
	c[1] += ta*b[10] + tb*a[10];
	c[10]  = ta*b[1] + tb*a[1];
	t = a[1]*b[10] + a[10]*b[1];
	c[21]  = CONSTANT(-0.07539300438651343)*t;
	c[23]  = CONSTANT(-0.19947114020071635)*t;

	//[1,11]: 20,22,
	ta = CONSTANT(-0.15078600877302686)*a[20] + CONSTANT(-0.16858388283618386)*a[22];
	tb = CONSTANT(-0.15078600877302686)*b[20] + CONSTANT(-0.16858388283618386)*b[22];
	c[1] += ta*b[11] + tb*a[11];
	c[11] += ta*b[1] + tb*a[1];
	t = a[1]*b[11] + a[11]*b[1];
	c[20]  = CONSTANT(-0.15078600877302686)*t;
	c[22] += CONSTANT(-0.16858388283618386)*t;

	//[1,13]: 18,
	ta = CONSTANT(0.16858388283618386)*a[18];
	tb = CONSTANT(0.16858388283618386)*b[18];
	c[1] += ta*b[13] + tb*a[13];
	c[13] += ta*b[1] + tb*a[1];
	t = a[1]*b[13] + a[13]*b[1];
	c[18]  = CONSTANT(0.16858388283618386)*t;

	//[1,15]: 16,18,
	ta = CONSTANT(0.23032943298089034)*a[16] + CONSTANT(0.04352817137756816)*a[18];
	tb = CONSTANT(0.23032943298089034)*b[16] + CONSTANT(0.04352817137756816)*b[18];
	c[1] += ta*b[15] + tb*a[15];
	c[15] += ta*b[1] + tb*a[1];
	t = a[1]*b[15] + a[15]*b[1];
	c[16]  = CONSTANT(0.23032943298089034)*t;
	c[18] += CONSTANT(0.04352817137756816)*t;

	//[2,2]: 0,6,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.25231325220201600)*a[6];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.25231325220201600)*b[6];
	c[2] += ta*b[2] + tb*a[2];
	t = a[2]*b[2];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.25231325220201600)*t;

	//[2,6]: 2,12,
	ta = CONSTANT(0.25231325220201600)*a[2] + CONSTANT(0.24776669508347610)*a[12];
	tb = CONSTANT(0.25231325220201600)*b[2] + CONSTANT(0.24776669508347610)*b[12];
	c[2] += ta*b[6] + tb*a[6];
	c[6] += ta*b[2] + tb*a[2];
	t = a[2]*b[6] + a[6]*b[2];
	c[2] += CONSTANT(0.25231325220201600)*t;
	c[12] += CONSTANT(0.24776669508347610)*t;

	//[2,10]: 18,
	ta = CONSTANT(0.21324361862292307)*a[18];
	tb = CONSTANT(0.21324361862292307)*b[18];
	c[2] += ta*b[10] + tb*a[10];
	c[10] += ta*b[2] + tb*a[2];
	t = a[2]*b[10] + a[10]*b[2];
	c[18] += CONSTANT(0.21324361862292307)*t;

	//[2,12]: 20,
	ta = CONSTANT(0.24623252122982908)*a[20];
	tb = CONSTANT(0.24623252122982908)*b[20];
	c[2] += ta*b[12] + tb*a[12];
	c[12] += ta*b[2] + tb*a[2];
	t = a[2]*b[12] + a[12]*b[2];
	c[20] += CONSTANT(0.24623252122982908)*t;

	//[2,14]: 22,
	ta = CONSTANT(0.21324361862292307)*a[22];
	tb = CONSTANT(0.21324361862292307)*b[22];
	c[2] += ta*b[14] + tb*a[14];
	c[14] += ta*b[2] + tb*a[2];
	t = a[2]*b[14] + a[14]*b[2];
	c[22] += CONSTANT(0.21324361862292307)*t;

	//[3,3]: 0,6,8,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.12615662610100800)*a[6] + CONSTANT(0.21850968611841581)*a[8];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.12615662610100800)*b[6] + CONSTANT(0.21850968611841581)*b[8];
	c[3]  = ta*b[3] + tb*a[3];
	t = a[3]*b[3];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.12615662610100800)*t;
	c[8] += CONSTANT(0.21850968611841581)*t;

	//[3,4]: 1,9,11,
	ta = CONSTANT(0.21850968611841581)*a[1] + CONSTANT(0.22617901315954031)*a[9] + CONSTANT(-0.05839917008190185)*a[11];
	tb = CONSTANT(0.21850968611841581)*b[1] + CONSTANT(0.22617901315954031)*b[9] + CONSTANT(-0.05839917008190185)*b[11];
	c[3] += ta*b[4] + tb*a[4];
	c[4] += ta*b[3] + tb*a[3];
	t = a[3]*b[4] + a[4]*b[3];
	c[1] += CONSTANT(0.21850968611841581)*t;
	c[9] += CONSTANT(0.22617901315954031)*t;
	c[11] += CONSTANT(-0.05839917008190185)*t;

	//[3,6]: 3,13,
	ta = CONSTANT(-0.12615662610100800)*a[3] + CONSTANT(0.20230065940342062)*a[13];
	tb = CONSTANT(-0.12615662610100800)*b[3] + CONSTANT(0.20230065940342062)*b[13];
	c[3] += ta*b[6] + tb*a[6];
	c[6] += ta*b[3] + tb*a[3];
	t = a[3]*b[6] + a[6]*b[3];
	c[3] += CONSTANT(-0.12615662610100800)*t;
	c[13] += CONSTANT(0.20230065940342062)*t;

	//[3,7]: 2,12,14,
	ta = CONSTANT(0.21850968611841581)*a[2] + CONSTANT(-0.14304816810266882)*a[12] + CONSTANT(0.18467439092237178)*a[14];
	tb = CONSTANT(0.21850968611841581)*b[2] + CONSTANT(-0.14304816810266882)*b[12] + CONSTANT(0.18467439092237178)*b[14];
	c[3] += ta*b[7] + tb*a[7];
	c[7]  = ta*b[3] + tb*a[3];
	t = a[3]*b[7] + a[7]*b[3];
	c[2] += CONSTANT(0.21850968611841581)*t;
	c[12] += CONSTANT(-0.14304816810266882)*t;
	c[14] += CONSTANT(0.18467439092237178)*t;

	//[3,8]: 3,13,15,
	ta = CONSTANT(0.21850968611841581)*a[3] + CONSTANT(-0.05839917008190185)*a[13] + CONSTANT(0.22617901315954031)*a[15];
	tb = CONSTANT(0.21850968611841581)*b[3] + CONSTANT(-0.05839917008190185)*b[13] + CONSTANT(0.22617901315954031)*b[15];
	c[3] += ta*b[8] + tb*a[8];
	c[8] += ta*b[3] + tb*a[3];
	t = a[3]*b[8] + a[8]*b[3];
	c[3] += CONSTANT(0.21850968611841581)*t;
	c[13] += CONSTANT(-0.05839917008190185)*t;
	c[15] += CONSTANT(0.22617901315954031)*t;

	//[3,9]: 16,18,
	ta = CONSTANT(0.23032943298089034)*a[16] + CONSTANT(-0.04352817137756816)*a[18];
	tb = CONSTANT(0.23032943298089034)*b[16] + CONSTANT(-0.04352817137756816)*b[18];
	c[3] += ta*b[9] + tb*a[9];
	c[9] += ta*b[3] + tb*a[3];
	t = a[3]*b[9] + a[9]*b[3];
	c[16] += CONSTANT(0.23032943298089034)*t;
	c[18] += CONSTANT(-0.04352817137756816)*t;

	//[3,10]: 17,19,
	ta = CONSTANT(0.19947114020071635)*a[17] + CONSTANT(-0.07539300438651343)*a[19];
	tb = CONSTANT(0.19947114020071635)*b[17] + CONSTANT(-0.07539300438651343)*b[19];
	c[3] += ta*b[10] + tb*a[10];
	c[10] += ta*b[3] + tb*a[3];
	t = a[3]*b[10] + a[10]*b[3];
	c[17]  = CONSTANT(0.19947114020071635)*t;
	c[19]  = CONSTANT(-0.07539300438651343)*t;

	//[3,11]: 18,
	ta = CONSTANT(0.16858388283618386)*a[18];
	tb = CONSTANT(0.16858388283618386)*b[18];
	c[3] += ta*b[11] + tb*a[11];
	c[11] += ta*b[3] + tb*a[3];
	t = a[3]*b[11] + a[11]*b[3];
	c[18] += CONSTANT(0.16858388283618386)*t;

	//[3,12]: 21,
	ta = CONSTANT(0.19466390027300617)*a[21];
	tb = CONSTANT(0.19466390027300617)*b[21];
	c[3] += ta*b[12] + tb*a[12];
	c[12] += ta*b[3] + tb*a[3];
	t = a[3]*b[12] + a[12]*b[3];
	c[21] += CONSTANT(0.19466390027300617)*t;

	//[3,13]: 20,22,
	ta = CONSTANT(-0.15078600877302686)*a[20] + CONSTANT(0.16858388283618386)*a[22];
	tb = CONSTANT(-0.15078600877302686)*b[20] + CONSTANT(0.16858388283618386)*b[22];
	c[3] += ta*b[13] + tb*a[13];
	c[13] += ta*b[3] + tb*a[3];
	t = a[3]*b[13] + a[13]*b[3];
	c[20] += CONSTANT(-0.15078600877302686)*t;
	c[22] += CONSTANT(0.16858388283618386)*t;

	//[3,15]: 22,24,
	ta = CONSTANT(-0.04352817137756816)*a[22] + CONSTANT(0.23032943298089034)*a[24];
	tb = CONSTANT(-0.04352817137756816)*b[22] + CONSTANT(0.23032943298089034)*b[24];
	c[3] += ta*b[15] + tb*a[15];
	c[15] += ta*b[3] + tb*a[3];
	t = a[3]*b[15] + a[15]*b[3];
	c[22] += CONSTANT(-0.04352817137756816)*t;
	c[24] += CONSTANT(0.23032943298089034)*t;

	//[4,4]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.18022375157286857)*a[6] + CONSTANT(0.04029925596769687)*a[20] + CONSTANT(-0.23841361350444806)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.18022375157286857)*b[6] + CONSTANT(0.04029925596769687)*b[20] + CONSTANT(-0.23841361350444806)*b[24];
	c[4] += ta*b[4] + tb*a[4];
	t = a[4]*b[4];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.18022375157286857)*t;
	c[20] += CONSTANT(0.04029925596769687)*t;
	c[24] += CONSTANT(-0.23841361350444806)*t;

	//[4,5]: 7,21,23,
	ta = CONSTANT(0.15607834722743988)*a[7] + CONSTANT(-0.06371871843402754)*a[21] + CONSTANT(-0.16858388283618386)*a[23];
	tb = CONSTANT(0.15607834722743988)*b[7] + CONSTANT(-0.06371871843402754)*b[21] + CONSTANT(-0.16858388283618386)*b[23];
	c[4] += ta*b[5] + tb*a[5];
	c[5] += ta*b[4] + tb*a[4];
	t = a[4]*b[5] + a[5]*b[4];
	c[7] += CONSTANT(0.15607834722743988)*t;
	c[21] += CONSTANT(-0.06371871843402754)*t;
	c[23] += CONSTANT(-0.16858388283618386)*t;

	//[4,6]: 4,18,
	ta = CONSTANT(-0.18022375157286857)*a[4] + CONSTANT(0.15607834722743988)*a[18];
	tb = CONSTANT(-0.18022375157286857)*b[4] + CONSTANT(0.15607834722743988)*b[18];
	c[4] += ta*b[6] + tb*a[6];
	c[6] += ta*b[4] + tb*a[4];
	t = a[4]*b[6] + a[6]*b[4];
	c[4] += CONSTANT(-0.18022375157286857)*t;
	c[18] += CONSTANT(0.15607834722743988)*t;

	//[4,7]: 17,19,
	ta = CONSTANT(0.16858388283618386)*a[17] + CONSTANT(-0.06371871843402754)*a[19];
	tb = CONSTANT(0.16858388283618386)*b[17] + CONSTANT(-0.06371871843402754)*b[19];
	c[4] += ta*b[7] + tb*a[7];
	c[7] += ta*b[4] + tb*a[4];
	t = a[4]*b[7] + a[7]*b[4];
	c[17] += CONSTANT(0.16858388283618386)*t;
	c[19] += CONSTANT(-0.06371871843402754)*t;

	//[4,10]: 2,12,
	ta = CONSTANT(0.18467439092237178)*a[2] + CONSTANT(-0.18806319451591874)*a[12];
	tb = CONSTANT(0.18467439092237178)*b[2] + CONSTANT(-0.18806319451591874)*b[12];
	c[4] += ta*b[10] + tb*a[10];
	c[10] += ta*b[4] + tb*a[4];
	t = a[4]*b[10] + a[10]*b[4];
	c[2] += CONSTANT(0.18467439092237178)*t;
	c[12] += CONSTANT(-0.18806319451591874)*t;

	//[4,16]: 22,
	ta = CONSTANT(-0.07508081669196245)*a[22];
	tb = CONSTANT(-0.07508081669196245)*b[22];
	c[4] += ta*b[16] + tb*a[16];
	c[16] += ta*b[4] + tb*a[4];
	t = a[4]*b[16] + a[16]*b[4];
	c[22] += CONSTANT(-0.07508081669196245)*t;

	//[4,18]: 20,24,
	ta = CONSTANT(-0.19036461502711166)*a[20] + CONSTANT(0.07508081669196245)*a[24];
	tb = CONSTANT(-0.19036461502711166)*b[20] + CONSTANT(0.07508081669196245)*b[24];
	c[4] += ta*b[18] + tb*a[18];
	c[18] += ta*b[4] + tb*a[4];
	t = a[4]*b[18] + a[18]*b[4];
	c[20] += CONSTANT(-0.19036461502711166)*t;
	c[24] += CONSTANT(0.07508081669196245)*t;

	//[4,19]: 21,23,
	ta = CONSTANT(0.14188940657039989)*a[21] + CONSTANT(0.11262122503794367)*a[23];
	tb = CONSTANT(0.14188940657039989)*b[21] + CONSTANT(0.11262122503794367)*b[23];
	c[4] += ta*b[19] + tb*a[19];
	c[19] += ta*b[4] + tb*a[4];
	t = a[4]*b[19] + a[19]*b[4];
	c[21] += CONSTANT(0.14188940657039989)*t;
	c[23] += CONSTANT(0.11262122503794367)*t;

	//[5,5]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.09011187578643429)*a[6] + CONSTANT(-0.15607834722743988)*a[8] + CONSTANT(-0.16119702387078749)*a[20] + CONSTANT(-0.18022375157286857)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.09011187578643429)*b[6] + CONSTANT(-0.15607834722743988)*b[8] + CONSTANT(-0.16119702387078749)*b[20] + CONSTANT(-0.18022375157286857)*b[22];
	c[5] += ta*b[5] + tb*a[5];
	t = a[5]*b[5];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.09011187578643429)*t;
	c[8] += CONSTANT(-0.15607834722743988)*t;
	c[20] += CONSTANT(-0.16119702387078749)*t;
	c[22] += CONSTANT(-0.18022375157286857)*t;

	//[5,6]: 5,19,
	ta = CONSTANT(0.09011187578643429)*a[5] + CONSTANT(0.22072811544182261)*a[19];
	tb = CONSTANT(0.09011187578643429)*b[5] + CONSTANT(0.22072811544182261)*b[19];
	c[5] += ta*b[6] + tb*a[6];
	c[6] += ta*b[5] + tb*a[5];
	t = a[5]*b[6] + a[6]*b[5];
	c[5] += CONSTANT(0.09011187578643429)*t;
	c[19] += CONSTANT(0.22072811544182261)*t;

	//[5,7]: 4,18,
	ta = CONSTANT(0.15607834722743988)*a[4] + CONSTANT(0.18022375157286857)*a[18];
	tb = CONSTANT(0.15607834722743988)*b[4] + CONSTANT(0.18022375157286857)*b[18];
	c[5] += ta*b[7] + tb*a[7];
	c[7] += ta*b[5] + tb*a[5];
	t = a[5]*b[7] + a[7]*b[5];
	c[4] += CONSTANT(0.15607834722743988)*t;
	c[18] += CONSTANT(0.18022375157286857)*t;

	//[5,8]: 5,17,19,
	ta = CONSTANT(-0.15607834722743988)*a[5] + CONSTANT(0.16858388283618386)*a[17] + CONSTANT(0.06371871843402754)*a[19];
	tb = CONSTANT(-0.15607834722743988)*b[5] + CONSTANT(0.16858388283618386)*b[17] + CONSTANT(0.06371871843402754)*b[19];
	c[5] += ta*b[8] + tb*a[8];
	c[8] += ta*b[5] + tb*a[5];
	t = a[5]*b[8] + a[8]*b[5];
	c[5] += CONSTANT(-0.15607834722743988)*t;
	c[17] += CONSTANT(0.16858388283618386)*t;
	c[19] += CONSTANT(0.06371871843402754)*t;

	//[5,9]: 14,
	ta = CONSTANT(0.14867700967939759)*a[14];
	tb = CONSTANT(0.14867700967939759)*b[14];
	c[5] += ta*b[9] + tb*a[9];
	c[9] += ta*b[5] + tb*a[5];
	t = a[5]*b[9] + a[9]*b[5];
	c[14] += CONSTANT(0.14867700967939759)*t;

	//[5,10]: 3,13,15,
	ta = CONSTANT(0.18467439092237178)*a[3] + CONSTANT(0.11516471649044517)*a[13] + CONSTANT(-0.14867700967939759)*a[15];
	tb = CONSTANT(0.18467439092237178)*b[3] + CONSTANT(0.11516471649044517)*b[13] + CONSTANT(-0.14867700967939759)*b[15];
	c[5] += ta*b[10] + tb*a[10];
	c[10] += ta*b[5] + tb*a[5];
	t = a[5]*b[10] + a[10]*b[5];
	c[3] += CONSTANT(0.18467439092237178)*t;
	c[13] += CONSTANT(0.11516471649044517)*t;
	c[15] += CONSTANT(-0.14867700967939759)*t;

	//[5,11]: 2,12,14,
	ta = CONSTANT(0.23359668032760741)*a[2] + CONSTANT(0.05947080387175903)*a[12] + CONSTANT(-0.11516471649044517)*a[14];
	tb = CONSTANT(0.23359668032760741)*b[2] + CONSTANT(0.05947080387175903)*b[12] + CONSTANT(-0.11516471649044517)*b[14];
	c[5] += ta*b[11] + tb*a[11];
	c[11] += ta*b[5] + tb*a[5];
	t = a[5]*b[11] + a[11]*b[5];
	c[2] += CONSTANT(0.23359668032760741)*t;
	c[12] += CONSTANT(0.05947080387175903)*t;
	c[14] += CONSTANT(-0.11516471649044517)*t;

	//[5,17]: 22,24,
	ta = CONSTANT(0.13272538654977692)*a[22] + CONSTANT(-0.14046334619025075)*a[24];
	tb = CONSTANT(0.13272538654977692)*b[22] + CONSTANT(-0.14046334619025075)*b[24];
	c[5] += ta*b[17] + tb*a[17];
	c[17] += ta*b[5] + tb*a[5];
	t = a[5]*b[17] + a[17]*b[5];
	c[22] += CONSTANT(0.13272538654977692)*t;
	c[24] += CONSTANT(-0.14046334619025075)*t;

	//[5,18]: 21,23,
	ta = CONSTANT(0.09029786540801835)*a[21] + CONSTANT(-0.13272538654977692)*a[23];
	tb = CONSTANT(0.09029786540801835)*b[21] + CONSTANT(-0.13272538654977692)*b[23];
	c[5] += ta*b[18] + tb*a[18];
	c[18] += ta*b[5] + tb*a[5];
	t = a[5]*b[18] + a[18]*b[5];
	c[21] += CONSTANT(0.09029786540801835)*t;
	c[23] += CONSTANT(-0.13272538654977692)*t;

	//[5,19]: 20,22,
	ta = CONSTANT(0.04486937006121240)*a[20] + CONSTANT(-0.09029786540801835)*a[22];
	tb = CONSTANT(0.04486937006121240)*b[20] + CONSTANT(-0.09029786540801835)*b[22];
	c[5] += ta*b[19] + tb*a[19];
	c[19] += ta*b[5] + tb*a[5];
	t = a[5]*b[19] + a[19]*b[5];
	c[20] += CONSTANT(0.04486937006121240)*t;
	c[22] += CONSTANT(-0.09029786540801835)*t;

	//[6,6]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.24179553580618124)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.24179553580618124)*b[20];
	c[6] += ta*b[6] + tb*a[6];
	t = a[6]*b[6];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.18022375157286855)*t;
	c[20] += CONSTANT(0.24179553580618124)*t;

	//[7,7]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.09011187578643429)*a[6] + CONSTANT(0.15607834722743988)*a[8] + CONSTANT(-0.16119702387078749)*a[20] + CONSTANT(0.18022375157286857)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.09011187578643429)*b[6] + CONSTANT(0.15607834722743988)*b[8] + CONSTANT(-0.16119702387078749)*b[20] + CONSTANT(0.18022375157286857)*b[22];
	c[7] += ta*b[7] + tb*a[7];
	t = a[7]*b[7];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.09011187578643429)*t;
	c[8] += CONSTANT(0.15607834722743988)*t;
	c[20] += CONSTANT(-0.16119702387078749)*t;
	c[22] += CONSTANT(0.18022375157286857)*t;

	//[7,8]: 7,21,23,
	ta = CONSTANT(0.15607834722743988)*a[7] + CONSTANT(-0.06371871843402754)*a[21] + CONSTANT(0.16858388283618386)*a[23];
	tb = CONSTANT(0.15607834722743988)*b[7] + CONSTANT(-0.06371871843402754)*b[21] + CONSTANT(0.16858388283618386)*b[23];
	c[7] += ta*b[8] + tb*a[8];
	c[8] += ta*b[7] + tb*a[7];
	t = a[7]*b[8] + a[8]*b[7];
	c[7] += CONSTANT(0.15607834722743988)*t;
	c[21] += CONSTANT(-0.06371871843402754)*t;
	c[23] += CONSTANT(0.16858388283618386)*t;

	//[7,10]: 1,11,
	ta = CONSTANT(0.18467439092237178)*a[1] + CONSTANT(0.11516471649044517)*a[11];
	tb = CONSTANT(0.18467439092237178)*b[1] + CONSTANT(0.11516471649044517)*b[11];
	c[7] += ta*b[10] + tb*a[10];
	c[10] += ta*b[7] + tb*a[7];
	t = a[7]*b[10] + a[10]*b[7];
	c[1] += CONSTANT(0.18467439092237178)*t;
	c[11] += CONSTANT(0.11516471649044517)*t;

	//[7,12]: 3,13,
	ta = CONSTANT(-0.14304816810266882)*a[3] + CONSTANT(0.05947080387175903)*a[13];
	tb = CONSTANT(-0.14304816810266882)*b[3] + CONSTANT(0.05947080387175903)*b[13];
	c[7] += ta*b[12] + tb*a[12];
	c[12] += ta*b[7] + tb*a[7];
	t = a[7]*b[12] + a[12]*b[7];
	c[3] += CONSTANT(-0.14304816810266882)*t;
	c[13] += CONSTANT(0.05947080387175903)*t;

	//[7,13]: 2,14,
	ta = CONSTANT(0.23359668032760741)*a[2] + CONSTANT(0.11516471649044517)*a[14];
	tb = CONSTANT(0.23359668032760741)*b[2] + CONSTANT(0.11516471649044517)*b[14];
	c[7] += ta*b[13] + tb*a[13];
	c[13] += ta*b[7] + tb*a[7];
	t = a[7]*b[13] + a[13]*b[7];
	c[2] += CONSTANT(0.23359668032760741)*t;
	c[14] += CONSTANT(0.11516471649044517)*t;

	//[7,16]: 17,
	ta = CONSTANT(0.14046334619025075)*a[17];
	tb = CONSTANT(0.14046334619025075)*b[17];
	c[7] += ta*b[16] + tb*a[16];
	c[16] += ta*b[7] + tb*a[7];
	t = a[7]*b[16] + a[16]*b[7];
	c[17] += CONSTANT(0.14046334619025075)*t;

	//[7,17]: 4,18,
	ta = CONSTANT(0.16858388283618386)*a[4] + CONSTANT(0.13272538654977692)*a[18];
	tb = CONSTANT(0.16858388283618386)*b[4] + CONSTANT(0.13272538654977692)*b[18];
	c[7] += ta*b[17] + tb*a[17];
	c[17] += ta*b[7] + tb*a[7];
	t = a[7]*b[17] + a[17]*b[7];
	c[4] += CONSTANT(0.16858388283618386)*t;
	c[18] += CONSTANT(0.13272538654977692)*t;

	//[7,20]: 7,21,
	ta = CONSTANT(-0.16119702387078749)*a[7] + CONSTANT(0.04486937006121240)*a[21];
	tb = CONSTANT(-0.16119702387078749)*b[7] + CONSTANT(0.04486937006121240)*b[21];
	c[7] += ta*b[20] + tb*a[20];
	c[20] += ta*b[7] + tb*a[7];
	t = a[7]*b[20] + a[20]*b[7];
	c[7] += CONSTANT(-0.16119702387078749)*t;
	c[21] += CONSTANT(0.04486937006121240)*t;

	//[7,21]: 6,22,
	ta = CONSTANT(0.22072811544182261)*a[6] + CONSTANT(0.09029786540801835)*a[22];
	tb = CONSTANT(0.22072811544182261)*b[6] + CONSTANT(0.09029786540801835)*b[22];
	c[7] += ta*b[21] + tb*a[21];
	c[21] += ta*b[7] + tb*a[7];
	t = a[7]*b[21] + a[21]*b[7];
	c[6] += CONSTANT(0.22072811544182261)*t;
	c[22] += CONSTANT(0.09029786540801835)*t;

	//[7,23]: 24,
	ta = CONSTANT(0.14046334619025075)*a[24];
	tb = CONSTANT(0.14046334619025075)*b[24];
	c[7] += ta*b[23] + tb*a[23];
	c[23] += ta*b[7] + tb*a[7];
	t = a[7]*b[23] + a[23]*b[7];
	c[24] += CONSTANT(0.14046334619025075)*t;

	//[8,8]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.18022375157286857)*a[6] + CONSTANT(0.04029925596769687)*a[20] + CONSTANT(0.23841361350444806)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.18022375157286857)*b[6] + CONSTANT(0.04029925596769687)*b[20] + CONSTANT(0.23841361350444806)*b[24];
	c[8] += ta*b[8] + tb*a[8];
	t = a[8]*b[8];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.18022375157286857)*t;
	c[20] += CONSTANT(0.04029925596769687)*t;
	c[24] += CONSTANT(0.23841361350444806)*t;

	//[8,14]: 2,
	ta = CONSTANT(0.18467439092237178)*a[2];
	tb = CONSTANT(0.18467439092237178)*b[2];
	c[8] += ta*b[14] + tb*a[14];
	c[14] += ta*b[8] + tb*a[8];
	t = a[8]*b[14] + a[14]*b[8];
	c[2] += CONSTANT(0.18467439092237178)*t;

	//[8,16]: 4,18,
	ta = CONSTANT(0.23841361350444806)*a[4] + CONSTANT(-0.07508081669196245)*a[18];
	tb = CONSTANT(0.23841361350444806)*b[4] + CONSTANT(-0.07508081669196245)*b[18];
	c[8] += ta*b[16] + tb*a[16];
	c[16] += ta*b[8] + tb*a[8];
	t = a[8]*b[16] + a[16]*b[8];
	c[4] += CONSTANT(0.23841361350444806)*t;
	c[18] += CONSTANT(-0.07508081669196245)*t;

	//[8,20]: 8,22,
	ta = CONSTANT(0.04029925596769687)*a[8] + CONSTANT(-0.19036461502711166)*a[22];
	tb = CONSTANT(0.04029925596769687)*b[8] + CONSTANT(-0.19036461502711166)*b[22];
	c[8] += ta*b[20] + tb*a[20];
	c[20] += ta*b[8] + tb*a[8];
	t = a[8]*b[20] + a[20]*b[8];
	c[8] += CONSTANT(0.04029925596769687)*t;
	c[22] += CONSTANT(-0.19036461502711166)*t;

	//[8,22]: 6,24,
	ta = CONSTANT(0.15607834722743988)*a[6] + CONSTANT(-0.07508081669196245)*a[24];
	tb = CONSTANT(0.15607834722743988)*b[6] + CONSTANT(-0.07508081669196245)*b[24];
	c[8] += ta*b[22] + tb*a[22];
	c[22] += ta*b[8] + tb*a[8];
	t = a[8]*b[22] + a[22]*b[8];
	c[6] += CONSTANT(0.15607834722743988)*t;
	c[24] += CONSTANT(-0.07508081669196245)*t;

	//[9,9]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.21026104350168001)*a[6] + CONSTANT(0.07693494321105766)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.21026104350168001)*b[6] + CONSTANT(0.07693494321105766)*b[20];
	c[9] += ta*b[9] + tb*a[9];
	t = a[9]*b[9];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.21026104350168001)*t;
	c[20] += CONSTANT(0.07693494321105766)*t;

	//[9,10]: 7,21,
	ta = CONSTANT(0.14867700967939759)*a[7] + CONSTANT(-0.09932258459927992)*a[21];
	tb = CONSTANT(0.14867700967939759)*b[7] + CONSTANT(-0.09932258459927992)*b[21];
	c[9] += ta*b[10] + tb*a[10];
	c[10] += ta*b[9] + tb*a[9];
	t = a[9]*b[10] + a[10]*b[9];
	c[7] += CONSTANT(0.14867700967939759)*t;
	c[21] += CONSTANT(-0.09932258459927992)*t;

	//[9,11]: 8,22,24,
	ta = CONSTANT(-0.09403159725795937)*a[8] + CONSTANT(0.13325523051897814)*a[22] + CONSTANT(0.11752006695060024)*a[24];
	tb = CONSTANT(-0.09403159725795937)*b[8] + CONSTANT(0.13325523051897814)*b[22] + CONSTANT(0.11752006695060024)*b[24];
	c[9] += ta*b[11] + tb*a[11];
	c[11] += ta*b[9] + tb*a[9];
	t = a[9]*b[11] + a[11]*b[9];
	c[8] += CONSTANT(-0.09403159725795937)*t;
	c[22] += CONSTANT(0.13325523051897814)*t;
	c[24] += CONSTANT(0.11752006695060024)*t;

	//[9,12]: 17,
	ta = CONSTANT(-0.20355072686733566)*a[17];
	tb = CONSTANT(-0.20355072686733566)*b[17];
	c[9] += ta*b[12] + tb*a[12];
	c[12] += ta*b[9] + tb*a[9];
	t = a[9]*b[12] + a[12]*b[9];
	c[17] += CONSTANT(-0.20355072686733566)*t;

	//[9,13]: 4,16,18,
	ta = CONSTANT(-0.09403159725795937)*a[4] + CONSTANT(-0.11752006695060024)*a[16] + CONSTANT(0.13325523051897814)*a[18];
	tb = CONSTANT(-0.09403159725795937)*b[4] + CONSTANT(-0.11752006695060024)*b[16] + CONSTANT(0.13325523051897814)*b[18];
	c[9] += ta*b[13] + tb*a[13];
	c[13] += ta*b[9] + tb*a[9];
	t = a[9]*b[13] + a[13]*b[9];
	c[4] += CONSTANT(-0.09403159725795937)*t;
	c[16] += CONSTANT(-0.11752006695060024)*t;
	c[18] += CONSTANT(0.13325523051897814)*t;

	//[9,17]: 2,
	ta = CONSTANT(0.16286750396763996)*a[2];
	tb = CONSTANT(0.16286750396763996)*b[2];
	c[9] += ta*b[17] + tb*a[17];
	c[17] += ta*b[9] + tb*a[9];
	t = a[9]*b[17] + a[17]*b[9];
	c[2] += CONSTANT(0.16286750396763996)*t;

	//[10,10]: 0,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.17951486749246789)*a[20] + CONSTANT(-0.15171775404828514)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.17951486749246789)*b[20] + CONSTANT(-0.15171775404828514)*b[24];
	c[10] += ta*b[10] + tb*a[10];
	t = a[10]*b[10];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[20] += CONSTANT(-0.17951486749246789)*t;
	c[24] += CONSTANT(-0.15171775404828514)*t;

	//[10,11]: 7,21,23,
	ta = CONSTANT(0.11516471649044517)*a[7] + CONSTANT(0.10257992428141023)*a[21] + CONSTANT(-0.06785024228911189)*a[23];
	tb = CONSTANT(0.11516471649044517)*b[7] + CONSTANT(0.10257992428141023)*b[21] + CONSTANT(-0.06785024228911189)*b[23];
	c[10] += ta*b[11] + tb*a[11];
	c[11] += ta*b[10] + tb*a[10];
	t = a[10]*b[11] + a[11]*b[10];
	c[7] += CONSTANT(0.11516471649044517)*t;
	c[21] += CONSTANT(0.10257992428141023)*t;
	c[23] += CONSTANT(-0.06785024228911189)*t;

	//[10,12]: 4,18,
	ta = CONSTANT(-0.18806319451591874)*a[4] + CONSTANT(-0.04441841017299272)*a[18];
	tb = CONSTANT(-0.18806319451591874)*b[4] + CONSTANT(-0.04441841017299272)*b[18];
	c[10] += ta*b[12] + tb*a[12];
	c[12] += ta*b[10] + tb*a[10];
	t = a[10]*b[12] + a[12]*b[10];
	c[4] += CONSTANT(-0.18806319451591874)*t;
	c[18] += CONSTANT(-0.04441841017299272)*t;

	//[10,13]: 5,17,19,
	ta = CONSTANT(0.11516471649044517)*a[5] + CONSTANT(0.06785024228911189)*a[17] + CONSTANT(0.10257992428141023)*a[19];
	tb = CONSTANT(0.11516471649044517)*b[5] + CONSTANT(0.06785024228911189)*b[17] + CONSTANT(0.10257992428141023)*b[19];
	c[10] += ta*b[13] + tb*a[13];
	c[13] += ta*b[10] + tb*a[10];
	t = a[10]*b[13] + a[13]*b[10];
	c[5] += CONSTANT(0.11516471649044517)*t;
	c[17] += CONSTANT(0.06785024228911189)*t;
	c[19] += CONSTANT(0.10257992428141023)*t;

	//[10,14]: 16,
	ta = CONSTANT(0.15171775404828514)*a[16];
	tb = CONSTANT(0.15171775404828514)*b[16];
	c[10] += ta*b[14] + tb*a[14];
	c[14] += ta*b[10] + tb*a[10];
	t = a[10]*b[14] + a[14]*b[10];
	c[16] += CONSTANT(0.15171775404828514)*t;

	//[10,15]: 5,19,
	ta = CONSTANT(-0.14867700967939759)*a[5] + CONSTANT(0.09932258459927992)*a[19];
	tb = CONSTANT(-0.14867700967939759)*b[5] + CONSTANT(0.09932258459927992)*b[19];
	c[10] += ta*b[15] + tb*a[15];
	c[15] += ta*b[10] + tb*a[10];
	t = a[10]*b[15] + a[15]*b[10];
	c[5] += CONSTANT(-0.14867700967939759)*t;
	c[19] += CONSTANT(0.09932258459927992)*t;

	//[11,11]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.12615662610100800)*a[6] + CONSTANT(-0.14567312407894389)*a[8] + CONSTANT(0.02564498107035256)*a[20] + CONSTANT(-0.11468784191000729)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.12615662610100800)*b[6] + CONSTANT(-0.14567312407894389)*b[8] + CONSTANT(0.02564498107035256)*b[20] + CONSTANT(-0.11468784191000729)*b[22];
	c[11] += ta*b[11] + tb*a[11];
	t = a[11]*b[11];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.12615662610100800)*t;
	c[8] += CONSTANT(-0.14567312407894389)*t;
	c[20] += CONSTANT(0.02564498107035256)*t;
	c[22] += CONSTANT(-0.11468784191000729)*t;

	//[11,13]: 4,18,
	ta = CONSTANT(0.14567312407894389)*a[4] + CONSTANT(0.11468784191000729)*a[18];
	tb = CONSTANT(0.14567312407894389)*b[4] + CONSTANT(0.11468784191000729)*b[18];
	c[11] += ta*b[13] + tb*a[13];
	c[13] += ta*b[11] + tb*a[11];
	t = a[11]*b[13] + a[13]*b[11];
	c[4] += CONSTANT(0.14567312407894389)*t;
	c[18] += CONSTANT(0.11468784191000729)*t;

	//[11,15]: 4,16,18,
	ta = CONSTANT(0.09403159725795937)*a[4] + CONSTANT(-0.11752006695060024)*a[16] + CONSTANT(-0.13325523051897814)*a[18];
	tb = CONSTANT(0.09403159725795937)*b[4] + CONSTANT(-0.11752006695060024)*b[16] + CONSTANT(-0.13325523051897814)*b[18];
	c[11] += ta*b[15] + tb*a[15];
	c[15] += ta*b[11] + tb*a[11];
	t = a[11]*b[15] + a[15]*b[11];
	c[4] += CONSTANT(0.09403159725795937)*t;
	c[16] += CONSTANT(-0.11752006695060024)*t;
	c[18] += CONSTANT(-0.13325523051897814)*t;

	//[11,19]: 2,
	ta = CONSTANT(0.23841361350444806)*a[2];
	tb = CONSTANT(0.23841361350444806)*b[2];
	c[11] += ta*b[19] + tb*a[19];
	c[19] += ta*b[11] + tb*a[11];
	t = a[11]*b[19] + a[19]*b[11];
	c[2] += CONSTANT(0.23841361350444806)*t;

	//[12,12]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.16820883480134399)*a[6] + CONSTANT(0.15386988642211533)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.16820883480134399)*b[6] + CONSTANT(0.15386988642211533)*b[20];
	c[12] += ta*b[12] + tb*a[12];
	t = a[12]*b[12];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.16820883480134399)*t;
	c[20] += CONSTANT(0.15386988642211533)*t;

	//[12,14]: 8,22,
	ta = CONSTANT(-0.18806319451591874)*a[8] + CONSTANT(-0.04441841017299272)*a[22];
	tb = CONSTANT(-0.18806319451591874)*b[8] + CONSTANT(-0.04441841017299272)*b[22];
	c[12] += ta*b[14] + tb*a[14];
	c[14] += ta*b[12] + tb*a[12];
	t = a[12]*b[14] + a[14]*b[12];
	c[8] += CONSTANT(-0.18806319451591874)*t;
	c[22] += CONSTANT(-0.04441841017299272)*t;

	//[12,19]: 1,11,
	ta = CONSTANT(0.19466390027300617)*a[1] + CONSTANT(0.09932258459927992)*a[11];
	tb = CONSTANT(0.19466390027300617)*b[1] + CONSTANT(0.09932258459927992)*b[11];
	c[12] += ta*b[19] + tb*a[19];
	c[19] += ta*b[12] + tb*a[12];
	t = a[12]*b[19] + a[19]*b[12];
	c[1] += CONSTANT(0.19466390027300617)*t;
	c[11] += CONSTANT(0.09932258459927992)*t;

	//[13,13]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.12615662610100800)*a[6] + CONSTANT(0.14567312407894389)*a[8] + CONSTANT(0.02564498107035256)*a[20] + CONSTANT(0.11468784191000729)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.12615662610100800)*b[6] + CONSTANT(0.14567312407894389)*b[8] + CONSTANT(0.02564498107035256)*b[20] + CONSTANT(0.11468784191000729)*b[22];
	c[13] += ta*b[13] + tb*a[13];
	t = a[13]*b[13];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.12615662610100800)*t;
	c[8] += CONSTANT(0.14567312407894389)*t;
	c[20] += CONSTANT(0.02564498107035256)*t;
	c[22] += CONSTANT(0.11468784191000729)*t;

	//[13,15]: 8,22,24,
	ta = CONSTANT(-0.09403159725795937)*a[8] + CONSTANT(0.13325523051897814)*a[22] + CONSTANT(-0.11752006695060024)*a[24];
	tb = CONSTANT(-0.09403159725795937)*b[8] + CONSTANT(0.13325523051897814)*b[22] + CONSTANT(-0.11752006695060024)*b[24];
	c[13] += ta*b[15] + tb*a[15];
	c[15] += ta*b[13] + tb*a[13];
	t = a[13]*b[15] + a[15]*b[13];
	c[8] += CONSTANT(-0.09403159725795937)*t;
	c[22] += CONSTANT(0.13325523051897814)*t;
	c[24] += CONSTANT(-0.11752006695060024)*t;

	//[13,21]: 2,12,
	ta = CONSTANT(0.23841361350444806)*a[2] + CONSTANT(0.09932258459927992)*a[12];
	tb = CONSTANT(0.23841361350444806)*b[2] + CONSTANT(0.09932258459927992)*b[12];
	c[13] += ta*b[21] + tb*a[21];
	c[21] += ta*b[13] + tb*a[13];
	t = a[13]*b[21] + a[21]*b[13];
	c[2] += CONSTANT(0.23841361350444806)*t;
	c[12] += CONSTANT(0.09932258459927992)*t;

	//[14,14]: 0,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.17951486749246789)*a[20] + CONSTANT(0.15171775404828514)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.17951486749246789)*b[20] + CONSTANT(0.15171775404828514)*b[24];
	c[14] += ta*b[14] + tb*a[14];
	t = a[14]*b[14];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[20] += CONSTANT(-0.17951486749246789)*t;
	c[24] += CONSTANT(0.15171775404828514)*t;

	//[14,15]: 7,21,
	ta = CONSTANT(0.14867700967939759)*a[7] + CONSTANT(-0.09932258459927992)*a[21];
	tb = CONSTANT(0.14867700967939759)*b[7] + CONSTANT(-0.09932258459927992)*b[21];
	c[14] += ta*b[15] + tb*a[15];
	c[15] += ta*b[14] + tb*a[14];
	t = a[14]*b[15] + a[15]*b[14];
	c[7] += CONSTANT(0.14867700967939759)*t;
	c[21] += CONSTANT(-0.09932258459927992)*t;

	//[14,17]: 1,11,
	ta = CONSTANT(0.19947114020071635)*a[1] + CONSTANT(0.06785024228911189)*a[11];
	tb = CONSTANT(0.19947114020071635)*b[1] + CONSTANT(0.06785024228911189)*b[11];
	c[14] += ta*b[17] + tb*a[17];
	c[17] += ta*b[14] + tb*a[14];
	t = a[14]*b[17] + a[17]*b[14];
	c[1] += CONSTANT(0.19947114020071635)*t;
	c[11] += CONSTANT(0.06785024228911189)*t;

	//[14,19]: 1,9,11,
	ta = CONSTANT(0.07539300438651343)*a[1] + CONSTANT(-0.09932258459927992)*a[9] + CONSTANT(-0.10257992428141023)*a[11];
	tb = CONSTANT(0.07539300438651343)*b[1] + CONSTANT(-0.09932258459927992)*b[9] + CONSTANT(-0.10257992428141023)*b[11];
	c[14] += ta*b[19] + tb*a[19];
	c[19] += ta*b[14] + tb*a[14];
	t = a[14]*b[19] + a[19]*b[14];
	c[1] += CONSTANT(0.07539300438651343)*t;
	c[9] += CONSTANT(-0.09932258459927992)*t;
	c[11] += CONSTANT(-0.10257992428141023)*t;

	//[14,21]: 3,13,
	ta = CONSTANT(-0.07539300438651343)*a[3] + CONSTANT(0.10257992428141023)*a[13];
	tb = CONSTANT(-0.07539300438651343)*b[3] + CONSTANT(0.10257992428141023)*b[13];
	c[14] += ta*b[21] + tb*a[21];
	c[21] += ta*b[14] + tb*a[14];
	t = a[14]*b[21] + a[21]*b[14];
	c[3] += CONSTANT(-0.07539300438651343)*t;
	c[13] += CONSTANT(0.10257992428141023)*t;

	//[14,23]: 3,13,
	ta = CONSTANT(0.19947114020071635)*a[3] + CONSTANT(0.06785024228911189)*a[13];
	tb = CONSTANT(0.19947114020071635)*b[3] + CONSTANT(0.06785024228911189)*b[13];
	c[14] += ta*b[23] + tb*a[23];
	c[23] += ta*b[14] + tb*a[14];
	t = a[14]*b[23] + a[23]*b[14];
	c[3] += CONSTANT(0.19947114020071635)*t;
	c[13] += CONSTANT(0.06785024228911189)*t;

	//[15,15]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.21026104350168001)*a[6] + CONSTANT(0.07693494321105766)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.21026104350168001)*b[6] + CONSTANT(0.07693494321105766)*b[20];
	c[15] += ta*b[15] + tb*a[15];
	t = a[15]*b[15];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.21026104350168001)*t;
	c[20] += CONSTANT(0.07693494321105766)*t;

	//[15,23]: 2,12,
	ta = CONSTANT(0.16286750396763996)*a[2] + CONSTANT(-0.20355072686733566)*a[12];
	tb = CONSTANT(0.16286750396763996)*b[2] + CONSTANT(-0.20355072686733566)*b[12];
	c[15] += ta*b[23] + tb*a[23];
	c[23] += ta*b[15] + tb*a[15];
	t = a[15]*b[23] + a[23]*b[15];
	c[2] += CONSTANT(0.16286750396763996)*t;
	c[12] += CONSTANT(-0.20355072686733566)*t;

	//[16,16]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.22937568382001458)*a[6] + CONSTANT(0.10652530598454139)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.22937568382001458)*b[6] + CONSTANT(0.10652530598454139)*b[20];
	c[16] += ta*b[16] + tb*a[16];
	t = a[16]*b[16];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.22937568382001458)*t;
	c[20] += CONSTANT(0.10652530598454139)*t;

	//[16,18]: 8,22,
	ta = CONSTANT(-0.07508081669196245)*a[8] + CONSTANT(0.13504547338363843)*a[22];
	tb = CONSTANT(-0.07508081669196245)*b[8] + CONSTANT(0.13504547338363843)*b[22];
	c[16] += ta*b[18] + tb*a[18];
	c[18] += ta*b[16] + tb*a[16];
	t = a[16]*b[18] + a[18]*b[16];
	c[8] += CONSTANT(-0.07508081669196245)*t;
	c[22] += CONSTANT(0.13504547338363843)*t;

	//[16,19]: 23,
	ta = CONSTANT(-0.11909891275269988)*a[23];
	tb = CONSTANT(-0.11909891275269988)*b[23];
	c[16] += ta*b[19] + tb*a[19];
	c[19] += ta*b[16] + tb*a[16];
	t = a[16]*b[19] + a[19]*b[16];
	c[23] += CONSTANT(-0.11909891275269988)*t;

	//[16,23]: 5,
	ta = CONSTANT(0.14046334619025075)*a[5];
	tb = CONSTANT(0.14046334619025075)*b[5];
	c[16] += ta*b[23] + tb*a[23];
	c[23] += ta*b[16] + tb*a[16];
	t = a[16]*b[23] + a[23]*b[16];
	c[5] += CONSTANT(0.14046334619025075)*t;

	//[17,17]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.05734392095500365)*a[6] + CONSTANT(-0.15978795897681211)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.05734392095500365)*b[6] + CONSTANT(-0.15978795897681211)*b[20];
	c[17] += ta*b[17] + tb*a[17];
	t = a[17]*b[17];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.05734392095500365)*t;
	c[20] += CONSTANT(-0.15978795897681211)*t;

	//[17,18]: 7,21,
	ta = CONSTANT(0.13272538654977692)*a[7] + CONSTANT(0.04501515779454614)*a[21];
	tb = CONSTANT(0.13272538654977692)*b[7] + CONSTANT(0.04501515779454614)*b[21];
	c[17] += ta*b[18] + tb*a[18];
	c[18] += ta*b[17] + tb*a[17];
	t = a[17]*b[18] + a[18]*b[17];
	c[7] += CONSTANT(0.13272538654977692)*t;
	c[21] += CONSTANT(0.04501515779454614)*t;

	//[17,19]: 8,22,24,
	ta = CONSTANT(-0.11262122503794367)*a[8] + CONSTANT(0.04501515779454614)*a[22] + CONSTANT(0.11909891275269988)*a[24];
	tb = CONSTANT(-0.11262122503794367)*b[8] + CONSTANT(0.04501515779454614)*b[22] + CONSTANT(0.11909891275269988)*b[24];
	c[17] += ta*b[19] + tb*a[19];
	c[19] += ta*b[17] + tb*a[17];
	t = a[17]*b[19] + a[19]*b[17];
	c[8] += CONSTANT(-0.11262122503794367)*t;
	c[22] += CONSTANT(0.04501515779454614)*t;
	c[24] += CONSTANT(0.11909891275269988)*t;

	//[17,21]: 4,16,
	ta = CONSTANT(-0.11262122503794367)*a[4] + CONSTANT(-0.11909891275269988)*a[16];
	tb = CONSTANT(-0.11262122503794367)*b[4] + CONSTANT(-0.11909891275269988)*b[16];
	c[17] += ta*b[21] + tb*a[21];
	c[21] += ta*b[17] + tb*a[17];
	t = a[17]*b[21] + a[21]*b[17];
	c[4] += CONSTANT(-0.11262122503794367)*t;
	c[16] += CONSTANT(-0.11909891275269988)*t;

	//[18,18]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.06553590966286131)*a[6] + CONSTANT(-0.08369845470213967)*a[20] + CONSTANT(-0.13504547338363843)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.06553590966286131)*b[6] + CONSTANT(-0.08369845470213967)*b[20] + CONSTANT(-0.13504547338363843)*b[24];
	c[18] += ta*b[18] + tb*a[18];
	t = a[18]*b[18];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.06553590966286131)*t;
	c[20] += CONSTANT(-0.08369845470213967)*t;
	c[24] += CONSTANT(-0.13504547338363843)*t;

	//[18,19]: 7,21,23,
	ta = CONSTANT(0.09029786540801835)*a[7] + CONSTANT(0.10208478235945703)*a[21] + CONSTANT(-0.04501515779454614)*a[23];
	tb = CONSTANT(0.09029786540801835)*b[7] + CONSTANT(0.10208478235945703)*b[21] + CONSTANT(-0.04501515779454614)*b[23];
	c[18] += ta*b[19] + tb*a[19];
	c[19] += ta*b[18] + tb*a[18];
	t = a[18]*b[19] + a[19]*b[18];
	c[7] += CONSTANT(0.09029786540801835)*t;
	c[21] += CONSTANT(0.10208478235945703)*t;
	c[23] += CONSTANT(-0.04501515779454614)*t;

	//[19,19]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.13926380803358027)*a[6] + CONSTANT(-0.14188940657039989)*a[8] + CONSTANT(0.06848055384720518)*a[20] + CONSTANT(-0.10208478235945703)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.13926380803358027)*b[6] + CONSTANT(-0.14188940657039989)*b[8] + CONSTANT(0.06848055384720518)*b[20] + CONSTANT(-0.10208478235945703)*b[22];
	c[19] += ta*b[19] + tb*a[19];
	t = a[19]*b[19];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.13926380803358027)*t;
	c[8] += CONSTANT(-0.14188940657039989)*t;
	c[20] += CONSTANT(0.06848055384720518)*t;
	c[22] += CONSTANT(-0.10208478235945703)*t;

	//[20,20]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.16383977415715323)*a[6];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.16383977415715323)*b[6];
	c[20] += ta*b[20] + tb*a[20];
	t = a[20]*b[20];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.16383977415715323)*t;
	c[20] += CONSTANT(0.13696110769441036)*t;

	//[21,21]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.13926380803358027)*a[6] + CONSTANT(0.14188940657039989)*a[8] + CONSTANT(0.06848055384720518)*a[20] + CONSTANT(0.10208478235945703)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.13926380803358027)*b[6] + CONSTANT(0.14188940657039989)*b[8] + CONSTANT(0.06848055384720518)*b[20] + CONSTANT(0.10208478235945703)*b[22];
	c[21] += ta*b[21] + tb*a[21];
	t = a[21]*b[21];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.13926380803358027)*t;
	c[8] += CONSTANT(0.14188940657039989)*t;
	c[20] += CONSTANT(0.06848055384720518)*t;
	c[22] += CONSTANT(0.10208478235945703)*t;

	//[21,23]: 8,24,
	ta = CONSTANT(-0.11262122503794367)*a[8] + CONSTANT(-0.11909891275269988)*a[24];
	tb = CONSTANT(-0.11262122503794367)*b[8] + CONSTANT(-0.11909891275269988)*b[24];
	c[21] += ta*b[23] + tb*a[23];
	c[23] += ta*b[21] + tb*a[21];
	t = a[21]*b[23] + a[23]*b[21];
	c[8] += CONSTANT(-0.11262122503794367)*t;
	c[24] += CONSTANT(-0.11909891275269988)*t;

	//[22,22]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.06553590966286131)*a[6] + CONSTANT(-0.08369845470213967)*a[20] + CONSTANT(0.13504547338363843)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.06553590966286131)*b[6] + CONSTANT(-0.08369845470213967)*b[20] + CONSTANT(0.13504547338363843)*b[24];
	c[22] += ta*b[22] + tb*a[22];
	t = a[22]*b[22];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.06553590966286131)*t;
	c[20] += CONSTANT(-0.08369845470213967)*t;
	c[24] += CONSTANT(0.13504547338363843)*t;

	//[22,23]: 7,21,
	ta = CONSTANT(0.13272538654977692)*a[7] + CONSTANT(0.04501515779454614)*a[21];
	tb = CONSTANT(0.13272538654977692)*b[7] + CONSTANT(0.04501515779454614)*b[21];
	c[22] += ta*b[23] + tb*a[23];
	c[23] += ta*b[22] + tb*a[22];
	t = a[22]*b[23] + a[23]*b[22];
	c[7] += CONSTANT(0.13272538654977692)*t;
	c[21] += CONSTANT(0.04501515779454614)*t;

	//[23,23]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.05734392095500365)*a[6] + CONSTANT(-0.15978795897681211)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.05734392095500365)*b[6] + CONSTANT(-0.15978795897681211)*b[20];
	c[23] += ta*b[23] + tb*a[23];
	t = a[23]*b[23];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.05734392095500365)*t;
	c[20] += CONSTANT(-0.15978795897681211)*t;

	//[24,24]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.22937568382001458)*a[6] + CONSTANT(0.10652530598454139)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.22937568382001458)*b[6] + CONSTANT(0.10652530598454139)*b[20];
	c[24] += ta*b[24] + tb*a[24];
	t = a[24]*b[24];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.22937568382001458)*t;
	c[20] += CONSTANT(0.10652530598454139)*t;
}

void
xhy_sh6_product(const float* a, const float* b, float* c)
{
	float t, ta, tb;
	
	//[0,0]: 0,
	t = a[0]*b[0];
	c[0] += CONSTANT(0.28209479177387814)*t;

	//[0,11]: 11,
	ta = CONSTANT(0.28209479177387814)*a[11];
	tb = CONSTANT(0.28209479177387814)*b[11];
	c[0] += ta*b[11] + tb*a[11];
	c[11]  = ta*b[0] + tb*a[0];
	t = a[0]*b[11] + a[11]*b[0];
	c[11] += CONSTANT(0.28209479177387814)*t;

	//[0,12]: 12,
	ta = CONSTANT(0.28209479177387814)*a[12];
	tb = CONSTANT(0.28209479177387814)*b[12];
	c[0] += ta*b[12] + tb*a[12];
	c[12]  = ta*b[0] + tb*a[0];
	t = a[0]*b[12] + a[12]*b[0];
	c[12] += CONSTANT(0.28209479177387814)*t;

	//[0,13]: 13,
	ta = CONSTANT(0.28209479177387814)*a[13];
	tb = CONSTANT(0.28209479177387814)*b[13];
	c[0] += ta*b[13] + tb*a[13];
	c[13]  = ta*b[0] + tb*a[0];
	t = a[0]*b[13] + a[13]*b[0];
	c[13] += CONSTANT(0.28209479177387814)*t;

	//[1,1]: 0,6,8,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.12615662610100800)*a[6] + CONSTANT(-0.21850968611841581)*a[8];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.12615662610100800)*b[6] + CONSTANT(-0.21850968611841581)*b[8];
	c[1]  = ta*b[1] + tb*a[1];
	t = a[1]*b[1];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6]  = CONSTANT(-0.12615662610100800)*t;
	c[8]  = CONSTANT(-0.21850968611841581)*t;

	//[1,2]: 5,
	ta = CONSTANT(0.21850968611841581)*a[5];
	tb = CONSTANT(0.21850968611841581)*b[5];
	c[1] += ta*b[2] + tb*a[2];
	c[2]  = ta*b[1] + tb*a[1];
	t = a[1]*b[2] + a[2]*b[1];
	c[5]  = CONSTANT(0.21850968611841581)*t;

	//[1,3]: 4,
	ta = CONSTANT(0.21850968611841581)*a[4];
	tb = CONSTANT(0.21850968611841581)*b[4];
	c[1] += ta*b[3] + tb*a[3];
	c[3]  = ta*b[1] + tb*a[1];
	t = a[1]*b[3] + a[3]*b[1];
	c[4]  = CONSTANT(0.21850968611841581)*t;

	//[1,4]: 13,15,
	ta = CONSTANT(-0.05839917008190185)*a[13] + CONSTANT(-0.22617901315954031)*a[15];
	tb = CONSTANT(-0.05839917008190185)*b[13] + CONSTANT(-0.22617901315954031)*b[15];
	c[1] += ta*b[4] + tb*a[4];
	c[4] += ta*b[1] + tb*a[1];
	t = a[1]*b[4] + a[4]*b[1];
	c[13] += CONSTANT(-0.05839917008190185)*t;
	c[15]  = CONSTANT(-0.22617901315954031)*t;

	//[1,5]: 12,14,
	ta = CONSTANT(-0.14304816810266882)*a[12] + CONSTANT(-0.18467439092237178)*a[14];
	tb = CONSTANT(-0.14304816810266882)*b[12] + CONSTANT(-0.18467439092237178)*b[14];
	c[1] += ta*b[5] + tb*a[5];
	c[5] += ta*b[1] + tb*a[1];
	t = a[1]*b[5] + a[5]*b[1];
	c[12] += CONSTANT(-0.14304816810266882)*t;
	c[14]  = CONSTANT(-0.18467439092237178)*t;

	//[1,16]: 33,35,
	ta = CONSTANT(-0.03472346851695107)*a[33] + CONSTANT(-0.23293210805542919)*a[35];
	tb = CONSTANT(-0.03472346851695107)*b[33] + CONSTANT(-0.23293210805542919)*b[35];
	c[1] += ta*b[16] + tb*a[16];
	c[16]  = ta*b[1] + tb*a[1];
	t = a[1]*b[16] + a[16]*b[1];
	c[33]  = CONSTANT(-0.03472346851695107)*t;
	c[35]  = CONSTANT(-0.23293210805542919)*t;

	//[1,18]: 31,33,
	ta = CONSTANT(-0.08505477996612626)*a[31] + CONSTANT(-0.18373932470686666)*a[33];
	tb = CONSTANT(-0.08505477996612626)*b[31] + CONSTANT(-0.18373932470686666)*b[33];
	c[1] += ta*b[18] + tb*a[18];
	c[18]  = ta*b[1] + tb*a[1];
	t = a[1]*b[18] + a[18]*b[1];
	c[31]  = CONSTANT(-0.08505477996612626)*t;
	c[33] += CONSTANT(-0.18373932470686666)*t;

	//[1,19]: 30,32,
	ta = CONSTANT(-0.15528807203695280)*a[30] + CONSTANT(-0.15912292287034427)*a[32];
	tb = CONSTANT(-0.15528807203695280)*b[30] + CONSTANT(-0.15912292287034427)*b[32];
	c[1] += ta*b[19] + tb*a[19];
	c[19]  = ta*b[1] + tb*a[1];
	t = a[1]*b[19] + a[19]*b[1];
	c[30]  = CONSTANT(-0.15528807203695280)*t;
	c[32]  = CONSTANT(-0.15912292287034427)*t;

	//[1,20]: 29,
	ta = CONSTANT(0.19018826981554557)*a[29];
	tb = CONSTANT(0.19018826981554557)*b[29];
	c[1] += ta*b[20] + tb*a[20];
	c[20]  = ta*b[1] + tb*a[1];
	t = a[1]*b[20] + a[20]*b[1];
	c[29]  = CONSTANT(0.19018826981554557)*t;

	//[1,22]: 27,29,
	ta = CONSTANT(0.18373932470686666)*a[27] + CONSTANT(0.08505477996612626)*a[29];
	tb = CONSTANT(0.18373932470686666)*b[27] + CONSTANT(0.08505477996612626)*b[29];
	c[1] += ta*b[22] + tb*a[22];
	c[22]  = ta*b[1] + tb*a[1];
	t = a[1]*b[22] + a[22]*b[1];
	c[27]  = CONSTANT(0.18373932470686666)*t;
	c[29] += CONSTANT(0.08505477996612626)*t;

	//[1,24]: 25,27,
	ta = CONSTANT(0.23293210805542919)*a[25] + CONSTANT(0.03472346851695107)*a[27];
	tb = CONSTANT(0.23293210805542919)*b[25] + CONSTANT(0.03472346851695107)*b[27];
	c[1] += ta*b[24] + tb*a[24];
	c[24]  = ta*b[1] + tb*a[1];
	t = a[1]*b[24] + a[24]*b[1];
	c[25]  = CONSTANT(0.23293210805542919)*t;
	c[27] += CONSTANT(0.03472346851695107)*t;

	//[2,2]: 0,6,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.25231325220201600)*a[6];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.25231325220201600)*b[6];
	c[2] += ta*b[2] + tb*a[2];
	t = a[2]*b[2];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.25231325220201600)*t;

	//[2,3]: 7,
	ta = CONSTANT(0.21850968611841581)*a[7];
	tb = CONSTANT(0.21850968611841581)*b[7];
	c[2] += ta*b[3] + tb*a[3];
	c[3] += ta*b[2] + tb*a[2];
	t = a[2]*b[3] + a[3]*b[2];
	c[7]  = CONSTANT(0.21850968611841581)*t;

	//[2,20]: 30,
	ta = CONSTANT(0.24553200054653693)*a[30];
	tb = CONSTANT(0.24553200054653693)*b[30];
	c[2] += ta*b[20] + tb*a[20];
	c[20] += ta*b[2] + tb*a[2];
	t = a[2]*b[20] + a[20]*b[2];
	c[30] += CONSTANT(0.24553200054653693)*t;

	//[3,3]: 0,6,8,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.12615662610100800)*a[6] + CONSTANT(0.21850968611841581)*a[8];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.12615662610100800)*b[6] + CONSTANT(0.21850968611841581)*b[8];
	c[3] += ta*b[3] + tb*a[3];
	t = a[3]*b[3];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.12615662610100800)*t;
	c[8] += CONSTANT(0.21850968611841581)*t;

	//[3,12]: 21,
	ta = CONSTANT(0.19466390027300617)*a[21];
	tb = CONSTANT(0.19466390027300617)*b[21];
	c[3] += ta*b[12] + tb*a[12];
	c[12] += ta*b[3] + tb*a[3];
	t = a[3]*b[12] + a[12]*b[3];
	c[21]  = CONSTANT(0.19466390027300617)*t;

	//[3,16]: 25,27,
	ta = CONSTANT(0.23293210805542919)*a[25] + CONSTANT(-0.03472346851695107)*a[27];
	tb = CONSTANT(0.23293210805542919)*b[25] + CONSTANT(-0.03472346851695107)*b[27];
	c[3] += ta*b[16] + tb*a[16];
	c[16] += ta*b[3] + tb*a[3];
	t = a[3]*b[16] + a[16]*b[3];
	c[25] += CONSTANT(0.23293210805542919)*t;
	c[27] += CONSTANT(-0.03472346851695107)*t;

	//[3,18]: 27,29,
	ta = CONSTANT(0.18373932470686666)*a[27] + CONSTANT(-0.08505477996612626)*a[29];
	tb = CONSTANT(0.18373932470686666)*b[27] + CONSTANT(-0.08505477996612626)*b[29];
	c[3] += ta*b[18] + tb*a[18];
	c[18] += ta*b[3] + tb*a[3];
	t = a[3]*b[18] + a[18]*b[3];
	c[27] += CONSTANT(0.18373932470686666)*t;
	c[29] += CONSTANT(-0.08505477996612626)*t;

	//[3,20]: 31,
	ta = CONSTANT(0.19018826981554557)*a[31];
	tb = CONSTANT(0.19018826981554557)*b[31];
	c[3] += ta*b[20] + tb*a[20];
	c[20] += ta*b[3] + tb*a[3];
	t = a[3]*b[20] + a[20]*b[3];
	c[31] += CONSTANT(0.19018826981554557)*t;

	//[3,21]: 30,32,
	ta = CONSTANT(-0.15528807203695280)*a[30] + CONSTANT(0.15912292287034427)*a[32];
	tb = CONSTANT(-0.15528807203695280)*b[30] + CONSTANT(0.15912292287034427)*b[32];
	c[3] += ta*b[21] + tb*a[21];
	c[21] += ta*b[3] + tb*a[3];
	t = a[3]*b[21] + a[21]*b[3];
	c[30] += CONSTANT(-0.15528807203695280)*t;
	c[32] += CONSTANT(0.15912292287034427)*t;

	//[3,22]: 31,33,
	ta = CONSTANT(-0.08505477996612626)*a[31] + CONSTANT(0.18373932470686666)*a[33];
	tb = CONSTANT(-0.08505477996612626)*b[31] + CONSTANT(0.18373932470686666)*b[33];
	c[3] += ta*b[22] + tb*a[22];
	c[22] += ta*b[3] + tb*a[3];
	t = a[3]*b[22] + a[22]*b[3];
	c[31] += CONSTANT(-0.08505477996612626)*t;
	c[33] += CONSTANT(0.18373932470686666)*t;

	//[3,24]: 33,35,
	ta = CONSTANT(-0.03472346851695107)*a[33] + CONSTANT(0.23293210805542919)*a[35];
	tb = CONSTANT(-0.03472346851695107)*b[33] + CONSTANT(0.23293210805542919)*b[35];
	c[3] += ta*b[24] + tb*a[24];
	c[24] += ta*b[3] + tb*a[3];
	t = a[3]*b[24] + a[24]*b[3];
	c[33] += CONSTANT(-0.03472346851695107)*t;
	c[35] += CONSTANT(0.23293210805542919)*t;

	//[4,4]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.18022375157286857)*a[6] + CONSTANT(0.04029925596769687)*a[20] + CONSTANT(-0.23841361350444806)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.18022375157286857)*b[6] + CONSTANT(0.04029925596769687)*b[20] + CONSTANT(-0.23841361350444806)*b[24];
	c[4] += ta*b[4] + tb*a[4];
	t = a[4]*b[4];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.18022375157286857)*t;
	c[20] += CONSTANT(0.04029925596769687)*t;
	c[24] += CONSTANT(-0.23841361350444806)*t;

	//[4,5]: 7,21,23,
	ta = CONSTANT(0.15607834722743988)*a[7] + CONSTANT(-0.06371871843402754)*a[21] + CONSTANT(-0.16858388283618386)*a[23];
	tb = CONSTANT(0.15607834722743988)*b[7] + CONSTANT(-0.06371871843402754)*b[21] + CONSTANT(-0.16858388283618386)*b[23];
	c[4] += ta*b[5] + tb*a[5];
	c[5] += ta*b[4] + tb*a[4];
	t = a[4]*b[5] + a[5]*b[4];
	c[7] += CONSTANT(0.15607834722743988)*t;
	c[21] += CONSTANT(-0.06371871843402754)*t;
	c[23]  = CONSTANT(-0.16858388283618386)*t;

	//[4,6]: 4,18,
	ta = CONSTANT(-0.18022375157286857)*a[4] + CONSTANT(0.15607834722743988)*a[18];
	tb = CONSTANT(-0.18022375157286857)*b[4] + CONSTANT(0.15607834722743988)*b[18];
	c[4] += ta*b[6] + tb*a[6];
	c[6] += ta*b[4] + tb*a[4];
	t = a[4]*b[6] + a[6]*b[4];
	c[4] += CONSTANT(-0.18022375157286857)*t;
	c[18] += CONSTANT(0.15607834722743988)*t;

	//[4,7]: 17,19,
	ta = CONSTANT(0.16858388283618386)*a[17] + CONSTANT(-0.06371871843402754)*a[19];
	tb = CONSTANT(0.16858388283618386)*b[17] + CONSTANT(-0.06371871843402754)*b[19];
	c[4] += ta*b[7] + tb*a[7];
	c[7] += ta*b[4] + tb*a[4];
	t = a[4]*b[7] + a[7]*b[4];
	c[17]  = CONSTANT(0.16858388283618386)*t;
	c[19] += CONSTANT(-0.06371871843402754)*t;

	//[4,9]: 3,13,31,35,
	ta = CONSTANT(0.22617901315954031)*a[3] + CONSTANT(-0.09403159725795937)*a[13] + CONSTANT(0.01694331772935932)*a[31] + CONSTANT(-0.24553200054653690)*a[35];
	tb = CONSTANT(0.22617901315954031)*b[3] + CONSTANT(-0.09403159725795937)*b[13] + CONSTANT(0.01694331772935932)*b[31] + CONSTANT(-0.24553200054653690)*b[35];
	c[4] += ta*b[9] + tb*a[9];
	c[9]  = ta*b[4] + tb*a[4];
	t = a[4]*b[9] + a[9]*b[4];
	c[3] += CONSTANT(0.22617901315954031)*t;
	c[13] += CONSTANT(-0.09403159725795937)*t;
	c[31] += CONSTANT(0.01694331772935932)*t;
	c[35] += CONSTANT(-0.24553200054653690)*t;

	//[4,10]: 2,12,30,34,
	ta = CONSTANT(0.18467439092237178)*a[2] + CONSTANT(-0.18806319451591874)*a[12] + CONSTANT(0.05357947514468781)*a[30] + CONSTANT(-0.19018826981554557)*a[34];
	tb = CONSTANT(0.18467439092237178)*b[2] + CONSTANT(-0.18806319451591874)*b[12] + CONSTANT(0.05357947514468781)*b[30] + CONSTANT(-0.19018826981554557)*b[34];
	c[4] += ta*b[10] + tb*a[10];
	c[10]  = ta*b[4] + tb*a[4];
	t = a[4]*b[10] + a[10]*b[4];
	c[2] += CONSTANT(0.18467439092237178)*t;
	c[12] += CONSTANT(-0.18806319451591874)*t;
	c[30] += CONSTANT(0.05357947514468781)*t;
	c[34]  = CONSTANT(-0.19018826981554557)*t;

	//[4,11]: 3,13,15,31,33,
	ta = CONSTANT(-0.05839917008190185)*a[3] + CONSTANT(0.14567312407894389)*a[13] + CONSTANT(0.09403159725795937)*a[15] + CONSTANT(-0.06562118739530951)*a[31] + CONSTANT(-0.14175796661021045)*a[33];
	tb = CONSTANT(-0.05839917008190185)*b[3] + CONSTANT(0.14567312407894389)*b[13] + CONSTANT(0.09403159725795937)*b[15] + CONSTANT(-0.06562118739530951)*b[31] + CONSTANT(-0.14175796661021045)*b[33];
	c[4] += ta*b[11] + tb*a[11];
	c[11] += ta*b[4] + tb*a[4];
	t = a[4]*b[11] + a[11]*b[4];
	c[3] += CONSTANT(-0.05839917008190185)*t;
	c[13] += CONSTANT(0.14567312407894389)*t;
	c[15] += CONSTANT(0.09403159725795937)*t;
	c[31] += CONSTANT(-0.06562118739530951)*t;
	c[33] += CONSTANT(-0.14175796661021045)*t;

	//[4,12]: 28,
	ta = CONSTANT(0.14175796661021045)*a[28];
	tb = CONSTANT(0.14175796661021045)*b[28];
	c[4] += ta*b[12] + tb*a[12];
	c[12] += ta*b[4] + tb*a[4];
	t = a[4]*b[12] + a[12]*b[4];
	c[28]  = CONSTANT(0.14175796661021045)*t;

	//[4,13]: 1,27,29,
	ta = CONSTANT(-0.05839917008190185)*a[1] + CONSTANT(0.14175796661021045)*a[27] + CONSTANT(-0.06562118739530951)*a[29];
	tb = CONSTANT(-0.05839917008190185)*b[1] + CONSTANT(0.14175796661021045)*b[27] + CONSTANT(-0.06562118739530951)*b[29];
	c[4] += ta*b[13] + tb*a[13];
	c[13] += ta*b[4] + tb*a[4];
	t = a[4]*b[13] + a[13]*b[4];
	c[1] += CONSTANT(-0.05839917008190185)*t;
	c[27] += CONSTANT(0.14175796661021045)*t;
	c[29] += CONSTANT(-0.06562118739530951)*t;

	//[4,15]: 1,25,29,
	ta = CONSTANT(-0.22617901315954031)*a[1] + CONSTANT(0.24553200054653690)*a[25] + CONSTANT(-0.01694331772935932)*a[29];
	tb = CONSTANT(-0.22617901315954031)*b[1] + CONSTANT(0.24553200054653690)*b[25] + CONSTANT(-0.01694331772935932)*b[29];
	c[4] += ta*b[15] + tb*a[15];
	c[15] += ta*b[4] + tb*a[4];
	t = a[4]*b[15] + a[15]*b[4];
	c[1] += CONSTANT(-0.22617901315954031)*t;
	c[25] += CONSTANT(0.24553200054653690)*t;
	c[29] += CONSTANT(-0.01694331772935932)*t;

	//[4,16]: 22,
	ta = CONSTANT(-0.07508081669196245)*a[22];
	tb = CONSTANT(-0.07508081669196245)*b[22];
	c[4] += ta*b[16] + tb*a[16];
	c[16] += ta*b[4] + tb*a[4];
	t = a[4]*b[16] + a[16]*b[4];
	c[22] += CONSTANT(-0.07508081669196245)*t;

	//[4,18]: 20,24,
	ta = CONSTANT(-0.19036461502711166)*a[20] + CONSTANT(0.07508081669196245)*a[24];
	tb = CONSTANT(-0.19036461502711166)*b[20] + CONSTANT(0.07508081669196245)*b[24];
	c[4] += ta*b[18] + tb*a[18];
	c[18] += ta*b[4] + tb*a[4];
	t = a[4]*b[18] + a[18]*b[4];
	c[20] += CONSTANT(-0.19036461502711166)*t;
	c[24] += CONSTANT(0.07508081669196245)*t;

	//[4,19]: 21,23,
	ta = CONSTANT(0.14188940657039989)*a[21] + CONSTANT(0.11262122503794367)*a[23];
	tb = CONSTANT(0.14188940657039989)*b[21] + CONSTANT(0.11262122503794367)*b[23];
	c[4] += ta*b[19] + tb*a[19];
	c[19] += ta*b[4] + tb*a[4];
	t = a[4]*b[19] + a[19]*b[4];
	c[21] += CONSTANT(0.14188940657039989)*t;
	c[23] += CONSTANT(0.11262122503794367)*t;

	//[4,26]: 32,
	ta = CONSTANT(-0.09704355853923695)*a[32];
	tb = CONSTANT(-0.09704355853923695)*b[32];
	c[4] += ta*b[26] + tb*a[26];
	c[26]  = ta*b[4] + tb*a[4];
	t = a[4]*b[26] + a[26]*b[4];
	c[32] += CONSTANT(-0.09704355853923695)*t;

	//[4,27]: 31,35,
	ta = CONSTANT(-0.12103458254905508)*a[31] + CONSTANT(0.06264134767986153)*a[35];
	tb = CONSTANT(-0.12103458254905508)*b[31] + CONSTANT(0.06264134767986153)*b[35];
	c[4] += ta*b[27] + tb*a[27];
	c[27] += ta*b[4] + tb*a[4];
	t = a[4]*b[27] + a[27]*b[4];
	c[31] += CONSTANT(-0.12103458254905508)*t;
	c[35] += CONSTANT(0.06264134767986153)*t;

	//[4,28]: 30,34,
	ta = CONSTANT(-0.19137247825134121)*a[30] + CONSTANT(0.09704355853923695)*a[34];
	tb = CONSTANT(-0.19137247825134121)*b[30] + CONSTANT(0.09704355853923695)*b[34];
	c[4] += ta*b[28] + tb*a[28];
	c[28] += ta*b[4] + tb*a[4];
	t = a[4]*b[28] + a[28]*b[4];
	c[30] += CONSTANT(-0.19137247825134121)*t;
	c[34] += CONSTANT(0.09704355853923695)*t;

	//[4,29]: 31,33,
	ta = CONSTANT(0.14007031161436911)*a[31] + CONSTANT(0.12103458254905508)*a[33];
	tb = CONSTANT(0.14007031161436911)*b[31] + CONSTANT(0.12103458254905508)*b[33];
	c[4] += ta*b[29] + tb*a[29];
	c[29] += ta*b[4] + tb*a[4];
	t = a[4]*b[29] + a[29]*b[4];
	c[31] += CONSTANT(0.14007031161436911)*t;
	c[33] += CONSTANT(0.12103458254905508)*t;

	//[5,5]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.09011187578643429)*a[6] + CONSTANT(-0.15607834722743988)*a[8] + CONSTANT(-0.16119702387078749)*a[20] + CONSTANT(-0.18022375157286857)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.09011187578643429)*b[6] + CONSTANT(-0.15607834722743988)*b[8] + CONSTANT(-0.16119702387078749)*b[20] + CONSTANT(-0.18022375157286857)*b[22];
	c[5] += ta*b[5] + tb*a[5];
	t = a[5]*b[5];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.09011187578643429)*t;
	c[8] += CONSTANT(-0.15607834722743988)*t;
	c[20] += CONSTANT(-0.16119702387078749)*t;
	c[22] += CONSTANT(-0.18022375157286857)*t;

	//[5,6]: 5,19,
	ta = CONSTANT(0.09011187578643429)*a[5] + CONSTANT(0.22072811544182261)*a[19];
	tb = CONSTANT(0.09011187578643429)*b[5] + CONSTANT(0.22072811544182261)*b[19];
	c[5] += ta*b[6] + tb*a[6];
	c[6] += ta*b[5] + tb*a[5];
	t = a[5]*b[6] + a[6]*b[5];
	c[5] += CONSTANT(0.09011187578643429)*t;
	c[19] += CONSTANT(0.22072811544182261)*t;

	//[5,7]: 4,18,
	ta = CONSTANT(0.15607834722743988)*a[4] + CONSTANT(0.18022375157286857)*a[18];
	tb = CONSTANT(0.15607834722743988)*b[4] + CONSTANT(0.18022375157286857)*b[18];
	c[5] += ta*b[7] + tb*a[7];
	c[7] += ta*b[5] + tb*a[5];
	t = a[5]*b[7] + a[7]*b[5];
	c[4] += CONSTANT(0.15607834722743988)*t;
	c[18] += CONSTANT(0.18022375157286857)*t;

	//[5,8]: 5,17,19,
	ta = CONSTANT(-0.15607834722743988)*a[5] + CONSTANT(0.16858388283618386)*a[17] + CONSTANT(0.06371871843402754)*a[19];
	tb = CONSTANT(-0.15607834722743988)*b[5] + CONSTANT(0.16858388283618386)*b[17] + CONSTANT(0.06371871843402754)*b[19];
	c[5] += ta*b[8] + tb*a[8];
	c[8] += ta*b[5] + tb*a[5];
	t = a[5]*b[8] + a[8]*b[5];
	c[5] += CONSTANT(-0.15607834722743988)*t;
	c[17] += CONSTANT(0.16858388283618386)*t;
	c[19] += CONSTANT(0.06371871843402754)*t;

	//[5,9]: 14,32,34,
	ta = CONSTANT(0.14867700967939759)*a[14] + CONSTANT(-0.04482780509623635)*a[32] + CONSTANT(-0.15528807203695280)*a[34];
	tb = CONSTANT(0.14867700967939759)*b[14] + CONSTANT(-0.04482780509623635)*b[32] + CONSTANT(-0.15528807203695280)*b[34];
	c[5] += ta*b[9] + tb*a[9];
	c[9] += ta*b[5] + tb*a[5];
	t = a[5]*b[9] + a[9]*b[5];
	c[14] += CONSTANT(0.14867700967939759)*t;
	c[32] += CONSTANT(-0.04482780509623635)*t;
	c[34] += CONSTANT(-0.15528807203695280)*t;

	//[5,10]: 3,13,15,31,33,
	ta = CONSTANT(0.18467439092237178)*a[3] + CONSTANT(0.11516471649044517)*a[13] + CONSTANT(-0.14867700967939759)*a[15] + CONSTANT(-0.08300496597356405)*a[31] + CONSTANT(-0.17931122038494540)*a[33];
	tb = CONSTANT(0.18467439092237178)*b[3] + CONSTANT(0.11516471649044517)*b[13] + CONSTANT(-0.14867700967939759)*b[15] + CONSTANT(-0.08300496597356405)*b[31] + CONSTANT(-0.17931122038494540)*b[33];
	c[5] += ta*b[10] + tb*a[10];
	c[10] += ta*b[5] + tb*a[5];
	t = a[5]*b[10] + a[10]*b[5];
	c[3] += CONSTANT(0.18467439092237178)*t;
	c[13] += CONSTANT(0.11516471649044517)*t;
	c[15] += CONSTANT(-0.14867700967939759)*t;
	c[31] += CONSTANT(-0.08300496597356405)*t;
	c[33] += CONSTANT(-0.17931122038494540)*t;

	//[5,11]: 2,12,14,30,32,
	ta = CONSTANT(0.23359668032760741)*a[2] + CONSTANT(0.05947080387175903)*a[12] + CONSTANT(-0.11516471649044517)*a[14] + CONSTANT(-0.16943317729359320)*a[30] + CONSTANT(-0.17361734258475534)*a[32];
	tb = CONSTANT(0.23359668032760741)*b[2] + CONSTANT(0.05947080387175903)*b[12] + CONSTANT(-0.11516471649044517)*b[14] + CONSTANT(-0.16943317729359320)*b[30] + CONSTANT(-0.17361734258475534)*b[32];
	c[5] += ta*b[11] + tb*a[11];
	c[11] += ta*b[5] + tb*a[5];
	t = a[5]*b[11] + a[11]*b[5];
	c[2] += CONSTANT(0.23359668032760741)*t;
	c[12] += CONSTANT(0.05947080387175903)*t;
	c[14] += CONSTANT(-0.11516471649044517)*t;
	c[30] += CONSTANT(-0.16943317729359320)*t;
	c[32] += CONSTANT(-0.17361734258475534)*t;

	//[5,12]: 1,29,
	ta = CONSTANT(-0.14304816810266882)*a[1] + CONSTANT(0.21431790057875125)*a[29];
	tb = CONSTANT(-0.14304816810266882)*b[1] + CONSTANT(0.21431790057875125)*b[29];
	c[5] += ta*b[12] + tb*a[12];
	c[12] += ta*b[5] + tb*a[5];
	t = a[5]*b[12] + a[12]*b[5];
	c[1] += CONSTANT(-0.14304816810266882)*t;
	c[29] += CONSTANT(0.21431790057875125)*t;

	//[5,14]: 1,27,29,
	ta = CONSTANT(-0.18467439092237178)*a[1] + CONSTANT(0.17931122038494540)*a[27] + CONSTANT(0.08300496597356405)*a[29];
	tb = CONSTANT(-0.18467439092237178)*b[1] + CONSTANT(0.17931122038494540)*b[27] + CONSTANT(0.08300496597356405)*b[29];
	c[5] += ta*b[14] + tb*a[14];
	c[14] += ta*b[5] + tb*a[5];
	t = a[5]*b[14] + a[14]*b[5];
	c[1] += CONSTANT(-0.18467439092237178)*t;
	c[27] += CONSTANT(0.17931122038494540)*t;
	c[29] += CONSTANT(0.08300496597356405)*t;

	//[5,15]: 26,28,
	ta = CONSTANT(0.15528807203695280)*a[26] + CONSTANT(0.04482780509623635)*a[28];
	tb = CONSTANT(0.15528807203695280)*b[26] + CONSTANT(0.04482780509623635)*b[28];
	c[5] += ta*b[15] + tb*a[15];
	c[15] += ta*b[5] + tb*a[5];
	t = a[5]*b[15] + a[15]*b[5];
	c[26] += CONSTANT(0.15528807203695280)*t;
	c[28] += CONSTANT(0.04482780509623635)*t;

	//[5,17]: 22,24,
	ta = CONSTANT(0.13272538654977692)*a[22] + CONSTANT(-0.14046334619025075)*a[24];
	tb = CONSTANT(0.13272538654977692)*b[22] + CONSTANT(-0.14046334619025075)*b[24];
	c[5] += ta*b[17] + tb*a[17];
	c[17] += ta*b[5] + tb*a[5];
	t = a[5]*b[17] + a[17]*b[5];
	c[22] += CONSTANT(0.13272538654977692)*t;
	c[24] += CONSTANT(-0.14046334619025075)*t;

	//[5,18]: 21,23,
	ta = CONSTANT(0.09029786540801835)*a[21] + CONSTANT(-0.13272538654977692)*a[23];
	tb = CONSTANT(0.09029786540801835)*b[21] + CONSTANT(-0.13272538654977692)*b[23];
	c[5] += ta*b[18] + tb*a[18];
	c[18] += ta*b[5] + tb*a[5];
	t = a[5]*b[18] + a[18]*b[5];
	c[21] += CONSTANT(0.09029786540801835)*t;
	c[23] += CONSTANT(-0.13272538654977692)*t;

	//[5,19]: 20,22,
	ta = CONSTANT(0.04486937006121240)*a[20] + CONSTANT(-0.09029786540801835)*a[22];
	tb = CONSTANT(0.04486937006121240)*b[20] + CONSTANT(-0.09029786540801835)*b[22];
	c[5] += ta*b[19] + tb*a[19];
	c[19] += ta*b[5] + tb*a[5];
	t = a[5]*b[19] + a[19]*b[5];
	c[20] += CONSTANT(0.04486937006121240)*t;
	c[22] += CONSTANT(-0.09029786540801835)*t;

	//[5,26]: 33,35,
	ta = CONSTANT(0.13866253405960652)*a[33] + CONSTANT(-0.13288236518128288)*a[35];
	tb = CONSTANT(0.13866253405960652)*b[33] + CONSTANT(-0.13288236518128288)*b[35];
	c[5] += ta*b[26] + tb*a[26];
	c[26] += ta*b[5] + tb*a[5];
	t = a[5]*b[26] + a[26]*b[5];
	c[33] += CONSTANT(0.13866253405960652)*t;
	c[35] += CONSTANT(-0.13288236518128288)*t;

	//[5,27]: 32,34,
	ta = CONSTANT(0.11436693052261353)*a[32] + CONSTANT(-0.13866253405960652)*a[34];
	tb = CONSTANT(0.11436693052261353)*b[32] + CONSTANT(-0.13866253405960652)*b[34];
	c[5] += ta*b[27] + tb*a[27];
	c[27] += ta*b[5] + tb*a[5];
	t = a[5]*b[27] + a[27]*b[5];
	c[32] += CONSTANT(0.11436693052261353)*t;
	c[34] += CONSTANT(-0.13866253405960652)*t;

	//[5,28]: 31,33,31,33,
	ta = CONSTANT(0.07411824211898857)*a[31] + CONSTANT(-0.11436693052261353)*a[33] + CONSTANT(0.07411824211898857)*a[31] + CONSTANT(-0.11436693052261353)*a[33];
	tb = CONSTANT(0.07411824211898857)*b[31] + CONSTANT(-0.11436693052261353)*b[33] + CONSTANT(0.07411824211898857)*b[31] + CONSTANT(-0.11436693052261353)*b[33];
	c[5] += ta*b[28] + tb*a[28];
	c[28] += ta*b[5] + tb*a[5];
	t = a[5]*b[28] + a[28]*b[5];
	c[31] += CONSTANT(0.07411824211898857)*t;
	c[33] += CONSTANT(-0.11436693052261353)*t;
	c[31] += CONSTANT(0.07411824211898857)*t;
	c[33] += CONSTANT(-0.11436693052261353)*t;

	//[5,29]: 30,32,
	ta = CONSTANT(0.03616599894536899)*a[30] + CONSTANT(-0.07411824211898857)*a[32];
	tb = CONSTANT(0.03616599894536899)*b[30] + CONSTANT(-0.07411824211898857)*b[32];
	c[5] += ta*b[29] + tb*a[29];
	c[29] += ta*b[5] + tb*a[5];
	t = a[5]*b[29] + a[29]*b[5];
	c[30] += CONSTANT(0.03616599894536899)*t;
	c[32] += CONSTANT(-0.07411824211898857)*t;

	//[6,6]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.24179553580618124)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.24179553580618124)*b[20];
	c[6] += ta*b[6] + tb*a[6];
	t = a[6]*b[6];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.18022375157286855)*t;
	c[20] += CONSTANT(0.24179553580618124)*t;

	//[6,11]: 1,11,29,
	ta = CONSTANT(0.20230065940342062)*a[1] + CONSTANT(0.12615662610100800)*a[11] + CONSTANT(0.22731846124334898)*a[29];
	tb = CONSTANT(0.20230065940342062)*b[1] + CONSTANT(0.12615662610100800)*b[11] + CONSTANT(0.22731846124334898)*b[29];
	c[6] += ta*b[11] + tb*a[11];
	c[11] += ta*b[6] + tb*a[6];
	t = a[6]*b[11] + a[11]*b[6];
	c[1] += CONSTANT(0.20230065940342062)*t;
	c[11] += CONSTANT(0.12615662610100800)*t;
	c[29] += CONSTANT(0.22731846124334898)*t;

	//[6,12]: 2,12,30,
	ta = CONSTANT(0.24776669508347610)*a[2] + CONSTANT(0.16820883480134399)*a[12] + CONSTANT(0.23961469724456466)*a[30];
	tb = CONSTANT(0.24776669508347610)*b[2] + CONSTANT(0.16820883480134399)*b[12] + CONSTANT(0.23961469724456466)*b[30];
	c[6] += ta*b[12] + tb*a[12];
	c[12] += ta*b[6] + tb*a[6];
	t = a[6]*b[12] + a[12]*b[6];
	c[2] += CONSTANT(0.24776669508347610)*t;
	c[12] += CONSTANT(0.16820883480134399)*t;
	c[30] += CONSTANT(0.23961469724456466)*t;

	//[6,13]: 3,13,31,
	ta = CONSTANT(0.20230065940342062)*a[3] + CONSTANT(0.12615662610100800)*a[13] + CONSTANT(0.22731846124334898)*a[31];
	tb = CONSTANT(0.20230065940342062)*b[3] + CONSTANT(0.12615662610100800)*b[13] + CONSTANT(0.22731846124334898)*b[31];
	c[6] += ta*b[13] + tb*a[13];
	c[13] += ta*b[6] + tb*a[6];
	t = a[6]*b[13] + a[13]*b[6];
	c[3] += CONSTANT(0.20230065940342062)*t;
	c[13] += CONSTANT(0.12615662610100800)*t;
	c[31] += CONSTANT(0.22731846124334898)*t;

	//[7,7]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.09011187578643429)*a[6] + CONSTANT(0.15607834722743988)*a[8] + CONSTANT(-0.16119702387078749)*a[20] + CONSTANT(0.18022375157286857)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.09011187578643429)*b[6] + CONSTANT(0.15607834722743988)*b[8] + CONSTANT(-0.16119702387078749)*b[20] + CONSTANT(0.18022375157286857)*b[22];
	c[7] += ta*b[7] + tb*a[7];
	t = a[7]*b[7];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.09011187578643429)*t;
	c[8] += CONSTANT(0.15607834722743988)*t;
	c[20] += CONSTANT(-0.16119702387078749)*t;
	c[22] += CONSTANT(0.18022375157286857)*t;

	//[7,8]: 7,21,23,
	ta = CONSTANT(0.15607834722743988)*a[7] + CONSTANT(-0.06371871843402754)*a[21] + CONSTANT(0.16858388283618386)*a[23];
	tb = CONSTANT(0.15607834722743988)*b[7] + CONSTANT(-0.06371871843402754)*b[21] + CONSTANT(0.16858388283618386)*b[23];
	c[7] += ta*b[8] + tb*a[8];
	c[8] += ta*b[7] + tb*a[7];
	t = a[7]*b[8] + a[8]*b[7];
	c[7] += CONSTANT(0.15607834722743988)*t;
	c[21] += CONSTANT(-0.06371871843402754)*t;
	c[23] += CONSTANT(0.16858388283618386)*t;

	//[7,9]: 10,26,28,
	ta = CONSTANT(0.14867700967939759)*a[10] + CONSTANT(0.15528807203695280)*a[26] + CONSTANT(-0.04482780509623635)*a[28];
	tb = CONSTANT(0.14867700967939759)*b[10] + CONSTANT(0.15528807203695280)*b[26] + CONSTANT(-0.04482780509623635)*b[28];
	c[7] += ta*b[9] + tb*a[9];
	c[9] += ta*b[7] + tb*a[7];
	t = a[7]*b[9] + a[9]*b[7];
	c[10] += CONSTANT(0.14867700967939759)*t;
	c[26] += CONSTANT(0.15528807203695280)*t;
	c[28] += CONSTANT(-0.04482780509623635)*t;

	//[7,10]: 1,11,27,29,
	ta = CONSTANT(0.18467439092237178)*a[1] + CONSTANT(0.11516471649044517)*a[11] + CONSTANT(0.17931122038494540)*a[27] + CONSTANT(-0.08300496597356405)*a[29];
	tb = CONSTANT(0.18467439092237178)*b[1] + CONSTANT(0.11516471649044517)*b[11] + CONSTANT(0.17931122038494540)*b[27] + CONSTANT(-0.08300496597356405)*b[29];
	c[7] += ta*b[10] + tb*a[10];
	c[10] += ta*b[7] + tb*a[7];
	t = a[7]*b[10] + a[10]*b[7];
	c[1] += CONSTANT(0.18467439092237178)*t;
	c[11] += CONSTANT(0.11516471649044517)*t;
	c[27] += CONSTANT(0.17931122038494540)*t;
	c[29] += CONSTANT(-0.08300496597356405)*t;

	//[7,12]: 3,13,31,
	ta = CONSTANT(-0.14304816810266882)*a[3] + CONSTANT(0.05947080387175903)*a[13] + CONSTANT(0.21431790057875125)*a[31];
	tb = CONSTANT(-0.14304816810266882)*b[3] + CONSTANT(0.05947080387175903)*b[13] + CONSTANT(0.21431790057875125)*b[31];
	c[7] += ta*b[12] + tb*a[12];
	c[12] += ta*b[7] + tb*a[7];
	t = a[7]*b[12] + a[12]*b[7];
	c[3] += CONSTANT(-0.14304816810266882)*t;
	c[13] += CONSTANT(0.05947080387175903)*t;
	c[31] += CONSTANT(0.21431790057875125)*t;

	//[7,13]: 2,14,30,32,
	ta = CONSTANT(0.23359668032760741)*a[2] + CONSTANT(0.11516471649044517)*a[14] + CONSTANT(-0.16943317729359320)*a[30] + CONSTANT(0.17361734258475534)*a[32];
	tb = CONSTANT(0.23359668032760741)*b[2] + CONSTANT(0.11516471649044517)*b[14] + CONSTANT(-0.16943317729359320)*b[30] + CONSTANT(0.17361734258475534)*b[32];
	c[7] += ta*b[13] + tb*a[13];
	c[13] += ta*b[7] + tb*a[7];
	t = a[7]*b[13] + a[13]*b[7];
	c[2] += CONSTANT(0.23359668032760741)*t;
	c[14] += CONSTANT(0.11516471649044517)*t;
	c[30] += CONSTANT(-0.16943317729359320)*t;
	c[32] += CONSTANT(0.17361734258475534)*t;

	//[7,14]: 3,15,31,33,
	ta = CONSTANT(0.18467439092237178)*a[3] + CONSTANT(0.14867700967939759)*a[15] + CONSTANT(-0.08300496597356405)*a[31] + CONSTANT(0.17931122038494540)*a[33];
	tb = CONSTANT(0.18467439092237178)*b[3] + CONSTANT(0.14867700967939759)*b[15] + CONSTANT(-0.08300496597356405)*b[31] + CONSTANT(0.17931122038494540)*b[33];
	c[7] += ta*b[14] + tb*a[14];
	c[14] += ta*b[7] + tb*a[7];
	t = a[7]*b[14] + a[14]*b[7];
	c[3] += CONSTANT(0.18467439092237178)*t;
	c[15] += CONSTANT(0.14867700967939759)*t;
	c[31] += CONSTANT(-0.08300496597356405)*t;
	c[33] += CONSTANT(0.17931122038494540)*t;

	//[7,15]: 32,34,
	ta = CONSTANT(-0.04482780509623635)*a[32] + CONSTANT(0.15528807203695280)*a[34];
	tb = CONSTANT(-0.04482780509623635)*b[32] + CONSTANT(0.15528807203695280)*b[34];
	c[7] += ta*b[15] + tb*a[15];
	c[15] += ta*b[7] + tb*a[7];
	t = a[7]*b[15] + a[15]*b[7];
	c[32] += CONSTANT(-0.04482780509623635)*t;
	c[34] += CONSTANT(0.15528807203695280)*t;

	//[7,16]: 17,
	ta = CONSTANT(0.14046334619025075)*a[17];
	tb = CONSTANT(0.14046334619025075)*b[17];
	c[7] += ta*b[16] + tb*a[16];
	c[16] += ta*b[7] + tb*a[7];
	t = a[7]*b[16] + a[16]*b[7];
	c[17] += CONSTANT(0.14046334619025075)*t;

	//[7,17]: 4,18,
	ta = CONSTANT(0.16858388283618386)*a[4] + CONSTANT(0.13272538654977692)*a[18];
	tb = CONSTANT(0.16858388283618386)*b[4] + CONSTANT(0.13272538654977692)*b[18];
	c[7] += ta*b[17] + tb*a[17];
	c[17] += ta*b[7] + tb*a[7];
	t = a[7]*b[17] + a[17]*b[7];
	c[4] += CONSTANT(0.16858388283618386)*t;
	c[18] += CONSTANT(0.13272538654977692)*t;

	//[7,20]: 7,21,
	ta = CONSTANT(-0.16119702387078749)*a[7] + CONSTANT(0.04486937006121240)*a[21];
	tb = CONSTANT(-0.16119702387078749)*b[7] + CONSTANT(0.04486937006121240)*b[21];
	c[7] += ta*b[20] + tb*a[20];
	c[20] += ta*b[7] + tb*a[7];
	t = a[7]*b[20] + a[20]*b[7];
	c[7] += CONSTANT(-0.16119702387078749)*t;
	c[21] += CONSTANT(0.04486937006121240)*t;

	//[7,21]: 6,22,
	ta = CONSTANT(0.22072811544182261)*a[6] + CONSTANT(0.09029786540801835)*a[22];
	tb = CONSTANT(0.22072811544182261)*b[6] + CONSTANT(0.09029786540801835)*b[22];
	c[7] += ta*b[21] + tb*a[21];
	c[21] += ta*b[7] + tb*a[7];
	t = a[7]*b[21] + a[21]*b[7];
	c[6] += CONSTANT(0.22072811544182261)*t;
	c[22] += CONSTANT(0.09029786540801835)*t;

	//[7,23]: 24,
	ta = CONSTANT(0.14046334619025075)*a[24];
	tb = CONSTANT(0.14046334619025075)*b[24];
	c[7] += ta*b[23] + tb*a[23];
	c[23] += ta*b[7] + tb*a[7];
	t = a[7]*b[23] + a[23]*b[7];
	c[24] += CONSTANT(0.14046334619025075)*t;

	//[7,26]: 27,
	ta = CONSTANT(0.13866253405960652)*a[27];
	tb = CONSTANT(0.13866253405960652)*b[27];
	c[7] += ta*b[26] + tb*a[26];
	c[26] += ta*b[7] + tb*a[7];
	t = a[7]*b[26] + a[26]*b[7];
	c[27] += CONSTANT(0.13866253405960652)*t;

	//[7,28]: 29,29,
	ta = CONSTANT(0.07411824211898857)*a[29] + CONSTANT(0.07411824211898857)*a[29];
	tb = CONSTANT(0.07411824211898857)*b[29] + CONSTANT(0.07411824211898857)*b[29];
	c[7] += ta*b[28] + tb*a[28];
	c[28] += ta*b[7] + tb*a[7];
	t = a[7]*b[28] + a[28]*b[7];
	c[29] += CONSTANT(0.07411824211898857)*t;
	c[29] += CONSTANT(0.07411824211898857)*t;

	//[7,31]: 32,
	ta = CONSTANT(0.07411824211898857)*a[32];
	tb = CONSTANT(0.07411824211898857)*b[32];
	c[7] += ta*b[31] + tb*a[31];
	c[31] += ta*b[7] + tb*a[7];
	t = a[7]*b[31] + a[31]*b[7];
	c[32] += CONSTANT(0.07411824211898857)*t;

	//[7,32]: 33,
	ta = CONSTANT(0.11436693052261353)*a[33];
	tb = CONSTANT(0.11436693052261353)*b[33];
	c[7] += ta*b[32] + tb*a[32];
	c[32] += ta*b[7] + tb*a[7];
	t = a[7]*b[32] + a[32]*b[7];
	c[33] += CONSTANT(0.11436693052261353)*t;

	//[7,33]: 34,
	ta = CONSTANT(0.13866253405960652)*a[34];
	tb = CONSTANT(0.13866253405960652)*b[34];
	c[7] += ta*b[33] + tb*a[33];
	c[33] += ta*b[7] + tb*a[7];
	t = a[7]*b[33] + a[33]*b[7];
	c[34] += CONSTANT(0.13866253405960652)*t;

	//[7,34]: 35,
	ta = CONSTANT(0.13288236518128288)*a[35];
	tb = CONSTANT(0.13288236518128288)*b[35];
	c[7] += ta*b[34] + tb*a[34];
	c[34] += ta*b[7] + tb*a[7];
	t = a[7]*b[34] + a[34]*b[7];
	c[35] += CONSTANT(0.13288236518128288)*t;

	//[8,8]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.18022375157286857)*a[6] + CONSTANT(0.04029925596769687)*a[20] + CONSTANT(0.23841361350444806)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.18022375157286857)*b[6] + CONSTANT(0.04029925596769687)*b[20] + CONSTANT(0.23841361350444806)*b[24];
	c[8] += ta*b[8] + tb*a[8];
	t = a[8]*b[8];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.18022375157286857)*t;
	c[20] += CONSTANT(0.04029925596769687)*t;
	c[24] += CONSTANT(0.23841361350444806)*t;

	//[8,9]: 1,11,25,29,
	ta = CONSTANT(0.22617901315954031)*a[1] + CONSTANT(-0.09403159725795937)*a[11] + CONSTANT(0.24553200054653690)*a[25] + CONSTANT(0.01694331772935932)*a[29];
	tb = CONSTANT(0.22617901315954031)*b[1] + CONSTANT(-0.09403159725795937)*b[11] + CONSTANT(0.24553200054653690)*b[25] + CONSTANT(0.01694331772935932)*b[29];
	c[8] += ta*b[9] + tb*a[9];
	c[9] += ta*b[8] + tb*a[8];
	t = a[8]*b[9] + a[9]*b[8];
	c[1] += CONSTANT(0.22617901315954031)*t;
	c[11] += CONSTANT(-0.09403159725795937)*t;
	c[25] += CONSTANT(0.24553200054653690)*t;
	c[29] += CONSTANT(0.01694331772935932)*t;

	//[8,11]: 1,11,27,29,
	ta = CONSTANT(0.05839917008190185)*a[1] + CONSTANT(-0.14567312407894389)*a[11] + CONSTANT(0.14175796661021045)*a[27] + CONSTANT(0.06562118739530951)*a[29];
	tb = CONSTANT(0.05839917008190185)*b[1] + CONSTANT(-0.14567312407894389)*b[11] + CONSTANT(0.14175796661021045)*b[27] + CONSTANT(0.06562118739530951)*b[29];
	c[8] += ta*b[11] + tb*a[11];
	c[11] += ta*b[8] + tb*a[8];
	t = a[8]*b[11] + a[11]*b[8];
	c[1] += CONSTANT(0.05839917008190185)*t;
	c[11] += CONSTANT(-0.14567312407894389)*t;
	c[27] += CONSTANT(0.14175796661021045)*t;
	c[29] += CONSTANT(0.06562118739530951)*t;

	//[8,12]: 14,32,
	ta = CONSTANT(-0.18806319451591874)*a[14] + CONSTANT(0.14175796661021045)*a[32];
	tb = CONSTANT(-0.18806319451591874)*b[14] + CONSTANT(0.14175796661021045)*b[32];
	c[8] += ta*b[12] + tb*a[12];
	c[12] += ta*b[8] + tb*a[8];
	t = a[8]*b[12] + a[12]*b[8];
	c[14] += CONSTANT(-0.18806319451591874)*t;
	c[32] += CONSTANT(0.14175796661021045)*t;

	//[8,13]: 3,13,15,31,33,
	ta = CONSTANT(-0.05839917008190185)*a[3] + CONSTANT(0.14567312407894389)*a[13] + CONSTANT(-0.09403159725795937)*a[15] + CONSTANT(-0.06562118739530951)*a[31] + CONSTANT(0.14175796661021045)*a[33];
	tb = CONSTANT(-0.05839917008190185)*b[3] + CONSTANT(0.14567312407894389)*b[13] + CONSTANT(-0.09403159725795937)*b[15] + CONSTANT(-0.06562118739530951)*b[31] + CONSTANT(0.14175796661021045)*b[33];
	c[8] += ta*b[13] + tb*a[13];
	c[13] += ta*b[8] + tb*a[8];
	t = a[8]*b[13] + a[13]*b[8];
	c[3] += CONSTANT(-0.05839917008190185)*t;
	c[13] += CONSTANT(0.14567312407894389)*t;
	c[15] += CONSTANT(-0.09403159725795937)*t;
	c[31] += CONSTANT(-0.06562118739530951)*t;
	c[33] += CONSTANT(0.14175796661021045)*t;

	//[8,14]: 2,30,34,
	ta = CONSTANT(0.18467439092237178)*a[2] + CONSTANT(0.05357947514468781)*a[30] + CONSTANT(0.19018826981554557)*a[34];
	tb = CONSTANT(0.18467439092237178)*b[2] + CONSTANT(0.05357947514468781)*b[30] + CONSTANT(0.19018826981554557)*b[34];
	c[8] += ta*b[14] + tb*a[14];
	c[14] += ta*b[8] + tb*a[8];
	t = a[8]*b[14] + a[14]*b[8];
	c[2] += CONSTANT(0.18467439092237178)*t;
	c[30] += CONSTANT(0.05357947514468781)*t;
	c[34] += CONSTANT(0.19018826981554557)*t;

	//[8,15]: 3,31,35,
	ta = CONSTANT(0.22617901315954031)*a[3] + CONSTANT(0.01694331772935932)*a[31] + CONSTANT(0.24553200054653690)*a[35];
	tb = CONSTANT(0.22617901315954031)*b[3] + CONSTANT(0.01694331772935932)*b[31] + CONSTANT(0.24553200054653690)*b[35];
	c[8] += ta*b[15] + tb*a[15];
	c[15] += ta*b[8] + tb*a[8];
	t = a[8]*b[15] + a[15]*b[8];
	c[3] += CONSTANT(0.22617901315954031)*t;
	c[31] += CONSTANT(0.01694331772935932)*t;
	c[35] += CONSTANT(0.24553200054653690)*t;

	//[8,16]: 4,18,
	ta = CONSTANT(0.23841361350444806)*a[4] + CONSTANT(-0.07508081669196245)*a[18];
	tb = CONSTANT(0.23841361350444806)*b[4] + CONSTANT(-0.07508081669196245)*b[18];
	c[8] += ta*b[16] + tb*a[16];
	c[16] += ta*b[8] + tb*a[8];
	t = a[8]*b[16] + a[16]*b[8];
	c[4] += CONSTANT(0.23841361350444806)*t;
	c[18] += CONSTANT(-0.07508081669196245)*t;

	//[8,20]: 8,22,
	ta = CONSTANT(0.04029925596769687)*a[8] + CONSTANT(-0.19036461502711166)*a[22];
	tb = CONSTANT(0.04029925596769687)*b[8] + CONSTANT(-0.19036461502711166)*b[22];
	c[8] += ta*b[20] + tb*a[20];
	c[20] += ta*b[8] + tb*a[8];
	t = a[8]*b[20] + a[20]*b[8];
	c[8] += CONSTANT(0.04029925596769687)*t;
	c[22] += CONSTANT(-0.19036461502711166)*t;

	//[8,22]: 6,24,
	ta = CONSTANT(0.15607834722743988)*a[6] + CONSTANT(-0.07508081669196245)*a[24];
	tb = CONSTANT(0.15607834722743988)*b[6] + CONSTANT(-0.07508081669196245)*b[24];
	c[8] += ta*b[22] + tb*a[22];
	c[22] += ta*b[8] + tb*a[8];
	t = a[8]*b[22] + a[22]*b[8];
	c[6] += CONSTANT(0.15607834722743988)*t;
	c[24] += CONSTANT(-0.07508081669196245)*t;

	//[8,26]: 28,
	ta = CONSTANT(-0.09704355853923695)*a[28];
	tb = CONSTANT(-0.09704355853923695)*b[28];
	c[8] += ta*b[26] + tb*a[26];
	c[26] += ta*b[8] + tb*a[8];
	t = a[8]*b[26] + a[26]*b[8];
	c[28] += CONSTANT(-0.09704355853923695)*t;

	//[8,27]: 29,
	ta = CONSTANT(-0.12103458254905508)*a[29];
	tb = CONSTANT(-0.12103458254905508)*b[29];
	c[8] += ta*b[27] + tb*a[27];
	c[27] += ta*b[8] + tb*a[8];
	t = a[8]*b[27] + a[27]*b[8];
	c[29] += CONSTANT(-0.12103458254905508)*t;

	//[8,31]: 31,33,
	ta = CONSTANT(0.14007031161436911)*a[31] + CONSTANT(-0.12103458254905508)*a[33];
	tb = CONSTANT(0.14007031161436911)*b[31] + CONSTANT(-0.12103458254905508)*b[33];
	c[8] += ta*b[31] + tb*a[31];
	c[31] += ta*b[8] + tb*a[8];
	t = a[8]*b[31] + a[31]*b[8];
	c[31] += CONSTANT(0.14007031161436911)*t;
	c[33] += CONSTANT(-0.12103458254905508)*t;

	//[8,32]: 34,
	ta = CONSTANT(-0.09704355853923695)*a[34];
	tb = CONSTANT(-0.09704355853923695)*b[34];
	c[8] += ta*b[32] + tb*a[32];
	c[32] += ta*b[8] + tb*a[8];
	t = a[8]*b[32] + a[32]*b[8];
	c[34] += CONSTANT(-0.09704355853923695)*t;

	//[8,33]: 35,
	ta = CONSTANT(-0.06264134767986153)*a[35];
	tb = CONSTANT(-0.06264134767986153)*b[35];
	c[8] += ta*b[33] + tb*a[33];
	c[33] += ta*b[8] + tb*a[8];
	t = a[8]*b[33] + a[33]*b[8];
	c[35] += CONSTANT(-0.06264134767986153)*t;

	//[9,9]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.21026104350168001)*a[6] + CONSTANT(0.07693494321105766)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.21026104350168001)*b[6] + CONSTANT(0.07693494321105766)*b[20];
	c[9] += ta*b[9] + tb*a[9];
	t = a[9]*b[9];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.21026104350168001)*t;
	c[20] += CONSTANT(0.07693494321105766)*t;

	//[9,12]: 17,
	ta = CONSTANT(-0.20355072686733566)*a[17];
	tb = CONSTANT(-0.20355072686733566)*b[17];
	c[9] += ta*b[12] + tb*a[12];
	c[12] += ta*b[9] + tb*a[9];
	t = a[9]*b[12] + a[12]*b[9];
	c[17] += CONSTANT(-0.20355072686733566)*t;

	//[9,16]: 3,31,
	ta = CONSTANT(0.23032943298089034)*a[3] + CONSTANT(0.03583570893160450)*a[31];
	tb = CONSTANT(0.23032943298089034)*b[3] + CONSTANT(0.03583570893160450)*b[31];
	c[9] += ta*b[16] + tb*a[16];
	c[16] += ta*b[9] + tb*a[9];
	t = a[9]*b[16] + a[16]*b[9];
	c[3] += CONSTANT(0.23032943298089034)*t;
	c[31] += CONSTANT(0.03583570893160450)*t;

	//[9,17]: 2,30,
	ta = CONSTANT(0.16286750396763996)*a[2] + CONSTANT(0.09814013073014567)*a[30];
	tb = CONSTANT(0.16286750396763996)*b[2] + CONSTANT(0.09814013073014567)*b[30];
	c[9] += ta*b[17] + tb*a[17];
	c[17] += ta*b[9] + tb*a[9];
	t = a[9]*b[17] + a[17]*b[9];
	c[2] += CONSTANT(0.16286750396763996)*t;
	c[30] += CONSTANT(0.09814013073014567)*t;

	//[9,18]: 3,31,35,
	ta = CONSTANT(-0.04352817137756816)*a[3] + CONSTANT(-0.10158468630934461)*a[31] + CONSTANT(0.09814013073014567)*a[35];
	tb = CONSTANT(-0.04352817137756816)*b[3] + CONSTANT(-0.10158468630934461)*b[31] + CONSTANT(0.09814013073014567)*b[35];
	c[9] += ta*b[18] + tb*a[18];
	c[18] += ta*b[9] + tb*a[9];
	t = a[9]*b[18] + a[18]*b[9];
	c[3] += CONSTANT(-0.04352817137756816)*t;
	c[31] += CONSTANT(-0.10158468630934461)*t;
	c[35] += CONSTANT(0.09814013073014567)*t;

	//[9,19]: 32,34,
	ta = CONSTANT(0.12669836397082432)*a[32] + CONSTANT(0.13166880217999308)*a[34];
	tb = CONSTANT(0.12669836397082432)*b[32] + CONSTANT(0.13166880217999308)*b[34];
	c[9] += ta*b[19] + tb*a[19];
	c[19] += ta*b[9] + tb*a[9];
	t = a[9]*b[19] + a[19]*b[9];
	c[32] += CONSTANT(0.12669836397082432)*t;
	c[34] += CONSTANT(0.13166880217999308)*t;

	//[9,20]: 9,27,
	ta = CONSTANT(0.07693494321105766)*a[9] + CONSTANT(-0.19628026146029134)*a[27];
	tb = CONSTANT(0.07693494321105766)*b[9] + CONSTANT(-0.19628026146029134)*b[27];
	c[9] += ta*b[20] + tb*a[20];
	c[20] += ta*b[9] + tb*a[9];
	t = a[9]*b[20] + a[20]*b[9];
	c[9] += CONSTANT(0.07693494321105766)*t;
	c[27] += CONSTANT(-0.19628026146029134)*t;

	//[9,22]: 1,25,29,
	ta = CONSTANT(-0.04352817137756816)*a[1] + CONSTANT(-0.09814013073014567)*a[25] + CONSTANT(-0.10158468630934461)*a[29];
	tb = CONSTANT(-0.04352817137756816)*b[1] + CONSTANT(-0.09814013073014567)*b[25] + CONSTANT(-0.10158468630934461)*b[29];
	c[9] += ta*b[22] + tb*a[22];
	c[22] += ta*b[9] + tb*a[9];
	t = a[9]*b[22] + a[22]*b[9];
	c[1] += CONSTANT(-0.04352817137756816)*t;
	c[25] += CONSTANT(-0.09814013073014567)*t;
	c[29] += CONSTANT(-0.10158468630934461)*t;

	//[9,24]: 1,29,
	ta = CONSTANT(-0.23032943298089034)*a[1] + CONSTANT(-0.03583570893160450)*a[29];
	tb = CONSTANT(-0.23032943298089034)*b[1] + CONSTANT(-0.03583570893160450)*b[29];
	c[9] += ta*b[24] + tb*a[24];
	c[24] += ta*b[9] + tb*a[9];
	t = a[9]*b[24] + a[24]*b[9];
	c[1] += CONSTANT(-0.23032943298089034)*t;
	c[29] += CONSTANT(-0.03583570893160450)*t;

	//[9,27]: 6,
	ta = CONSTANT(0.12679217987703037)*a[6];
	tb = CONSTANT(0.12679217987703037)*b[6];
	c[9] += ta*b[27] + tb*a[27];
	c[27] += ta*b[9] + tb*a[9];
	t = a[9]*b[27] + a[27]*b[9];
	c[6] += CONSTANT(0.12679217987703037)*t;

	//[10,10]: 0,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.17951486749246789)*a[20] + CONSTANT(-0.15171775404828514)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.17951486749246789)*b[20] + CONSTANT(-0.15171775404828514)*b[24];
	c[10] += ta*b[10] + tb*a[10];
	t = a[10]*b[10];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[20] += CONSTANT(-0.17951486749246789)*t;
	c[24] += CONSTANT(-0.15171775404828514)*t;

	//[10,11]: 7,21,23,
	ta = CONSTANT(0.11516471649044517)*a[7] + CONSTANT(0.10257992428141023)*a[21] + CONSTANT(-0.06785024228911189)*a[23];
	tb = CONSTANT(0.11516471649044517)*b[7] + CONSTANT(0.10257992428141023)*b[21] + CONSTANT(-0.06785024228911189)*b[23];
	c[10] += ta*b[11] + tb*a[11];
	c[11] += ta*b[10] + tb*a[10];
	t = a[10]*b[11] + a[11]*b[10];
	c[7] += CONSTANT(0.11516471649044517)*t;
	c[21] += CONSTANT(0.10257992428141023)*t;
	c[23] += CONSTANT(-0.06785024228911189)*t;

	//[10,12]: 4,18,
	ta = CONSTANT(-0.18806319451591874)*a[4] + CONSTANT(-0.04441841017299272)*a[18];
	tb = CONSTANT(-0.18806319451591874)*b[4] + CONSTANT(-0.04441841017299272)*b[18];
	c[10] += ta*b[12] + tb*a[12];
	c[12] += ta*b[10] + tb*a[10];
	t = a[10]*b[12] + a[12]*b[10];
	c[4] += CONSTANT(-0.18806319451591874)*t;
	c[18] += CONSTANT(-0.04441841017299272)*t;

	//[10,13]: 5,17,19,
	ta = CONSTANT(0.11516471649044517)*a[5] + CONSTANT(0.06785024228911189)*a[17] + CONSTANT(0.10257992428141023)*a[19];
	tb = CONSTANT(0.11516471649044517)*b[5] + CONSTANT(0.06785024228911189)*b[17] + CONSTANT(0.10257992428141023)*b[19];
	c[10] += ta*b[13] + tb*a[13];
	c[13] += ta*b[10] + tb*a[10];
	t = a[10]*b[13] + a[13]*b[10];
	c[5] += CONSTANT(0.11516471649044517)*t;
	c[17] += CONSTANT(0.06785024228911189)*t;
	c[19] += CONSTANT(0.10257992428141023)*t;

	//[10,16]: 32,
	ta = CONSTANT(-0.07741397910978244)*a[32];
	tb = CONSTANT(-0.07741397910978244)*b[32];
	c[10] += ta*b[16] + tb*a[16];
	c[16] += ta*b[10] + tb*a[10];
	t = a[10]*b[16] + a[16]*b[10];
	c[32] += CONSTANT(-0.07741397910978244)*t;

	//[10,17]: 3,31,35,
	ta = CONSTANT(0.19947114020071635)*a[3] + CONSTANT(-0.11379365909044613)*a[31] + CONSTANT(-0.14991152592791812)*a[35];
	tb = CONSTANT(0.19947114020071635)*b[3] + CONSTANT(-0.11379365909044613)*b[31] + CONSTANT(-0.14991152592791812)*b[35];
	c[10] += ta*b[17] + tb*a[17];
	c[17] += ta*b[10] + tb*a[10];
	t = a[10]*b[17] + a[17]*b[10];
	c[3] += CONSTANT(0.19947114020071635)*t;
	c[31] += CONSTANT(-0.11379365909044613)*t;
	c[35] += CONSTANT(-0.14991152592791812)*t;

	//[10,18]: 2,30,34,
	ta = CONSTANT(0.21324361862292307)*a[2] + CONSTANT(-0.17132745820333500)*a[30] + CONSTANT(-0.10135869117665945)*a[34];
	tb = CONSTANT(0.21324361862292307)*b[2] + CONSTANT(-0.17132745820333500)*b[30] + CONSTANT(-0.10135869117665945)*b[34];
	c[10] += ta*b[18] + tb*a[18];
	c[18] += ta*b[10] + tb*a[10];
	t = a[10]*b[18] + a[18]*b[10];
	c[2] += CONSTANT(0.21324361862292307)*t;
	c[30] += CONSTANT(-0.17132745820333500)*t;
	c[34] += CONSTANT(-0.10135869117665945)*t;

	//[10,19]: 3,31,33,
	ta = CONSTANT(-0.07539300438651343)*a[3] + CONSTANT(0.09774990997707300)*a[31] + CONSTANT(-0.02533967279416486)*a[33];
	tb = CONSTANT(-0.07539300438651343)*b[3] + CONSTANT(0.09774990997707300)*b[31] + CONSTANT(-0.02533967279416486)*b[33];
	c[10] += ta*b[19] + tb*a[19];
	c[19] += ta*b[10] + tb*a[10];
	t = a[10]*b[19] + a[19]*b[10];
	c[3] += CONSTANT(-0.07539300438651343)*t;
	c[31] += CONSTANT(0.09774990997707300)*t;
	c[33] += CONSTANT(-0.02533967279416486)*t;

	//[10,20]: 10,28,
	ta = CONSTANT(-0.17951486749246789)*a[10] + CONSTANT(-0.06542675382009712)*a[28];
	tb = CONSTANT(-0.17951486749246789)*b[10] + CONSTANT(-0.06542675382009712)*b[28];
	c[10] += ta*b[20] + tb*a[20];
	c[20] += ta*b[10] + tb*a[10];
	t = a[10]*b[20] + a[20]*b[10];
	c[10] += CONSTANT(-0.17951486749246789)*t;
	c[28] += CONSTANT(-0.06542675382009712)*t;

	//[10,21]: 1,9,27,29,
	ta = CONSTANT(-0.07539300438651343)*a[1] + CONSTANT(-0.09932258459927992)*a[9] + CONSTANT(0.02533967279416486)*a[27] + CONSTANT(0.09774990997707300)*a[29];
	tb = CONSTANT(-0.07539300438651343)*b[1] + CONSTANT(-0.09932258459927992)*b[9] + CONSTANT(0.02533967279416486)*b[27] + CONSTANT(0.09774990997707300)*b[29];
	c[10] += ta*b[21] + tb*a[21];
	c[21] += ta*b[10] + tb*a[10];
	t = a[10]*b[21] + a[21]*b[10];
	c[1] += CONSTANT(-0.07539300438651343)*t;
	c[9] += CONSTANT(-0.09932258459927992)*t;
	c[27] += CONSTANT(0.02533967279416486)*t;
	c[29] += CONSTANT(0.09774990997707300)*t;

	//[10,23]: 1,25,29,
	ta = CONSTANT(-0.19947114020071635)*a[1] + CONSTANT(0.14991152592791812)*a[25] + CONSTANT(0.11379365909044613)*a[29];
	tb = CONSTANT(-0.19947114020071635)*b[1] + CONSTANT(0.14991152592791812)*b[25] + CONSTANT(0.11379365909044613)*b[29];
	c[10] += ta*b[23] + tb*a[23];
	c[23] += ta*b[10] + tb*a[10];
	t = a[10]*b[23] + a[23]*b[10];
	c[1] += CONSTANT(-0.19947114020071635)*t;
	c[25] += CONSTANT(0.14991152592791812)*t;
	c[29] += CONSTANT(0.11379365909044613)*t;

	//[10,24]: 10,28,
	ta = CONSTANT(-0.15171775404828514)*a[10] + CONSTANT(0.07741397910978244)*a[28];
	tb = CONSTANT(-0.15171775404828514)*b[10] + CONSTANT(0.07741397910978244)*b[28];
	c[10] += ta*b[24] + tb*a[24];
	c[24] += ta*b[10] + tb*a[10];
	t = a[10]*b[24] + a[24]*b[10];
	c[10] += CONSTANT(-0.15171775404828514)*t;
	c[28] += CONSTANT(0.07741397910978244)*t;

	//[10,26]: 8,
	ta = CONSTANT(0.19018826981554557)*a[8];
	tb = CONSTANT(0.19018826981554557)*b[8];
	c[10] += ta*b[26] + tb*a[26];
	c[26] += ta*b[10] + tb*a[10];
	t = a[10]*b[26] + a[26]*b[10];
	c[8] += CONSTANT(0.19018826981554557)*t;

	//[10,28]: 6,6,
	ta = CONSTANT(0.19018826981554557)*a[6] + CONSTANT(0.19018826981554557)*a[6];
	tb = CONSTANT(0.19018826981554557)*b[6] + CONSTANT(0.19018826981554557)*b[6];
	c[10] += ta*b[28] + tb*a[28];
	c[28] += ta*b[10] + tb*a[10];
	t = a[10]*b[28] + a[28]*b[10];
	c[6] += CONSTANT(0.19018826981554557)*t;
	c[6] += CONSTANT(0.19018826981554557)*t;

	//[11,16]: 33,35,
	ta = CONSTANT(0.11992922074233449)*a[33] + CONSTANT(0.13408494503421886)*a[35];
	tb = CONSTANT(0.11992922074233449)*b[33] + CONSTANT(0.13408494503421886)*b[35];
	c[11] += ta*b[16] + tb*a[16];
	c[16] += ta*b[11] + tb*a[11];
	t = a[11]*b[16] + a[16]*b[11];
	c[33] += CONSTANT(0.11992922074233449)*t;
	c[35] += CONSTANT(0.13408494503421886)*t;

	//[11,18]: 3,31,33,
	ta = CONSTANT(0.16858388283618386)*a[3] + CONSTANT(0.07518995256510773)*a[31] + CONSTANT(-0.10199021561163840)*a[33];
	tb = CONSTANT(0.16858388283618386)*b[3] + CONSTANT(0.07518995256510773)*b[31] + CONSTANT(-0.10199021561163840)*b[33];
	c[11] += ta*b[18] + tb*a[18];
	c[18] += ta*b[11] + tb*a[11];
	t = a[11]*b[18] + a[18]*b[11];
	c[3] += CONSTANT(0.16858388283618386)*t;
	c[31] += CONSTANT(0.07518995256510773)*t;
	c[33] += CONSTANT(-0.10199021561163840)*t;

	//[11,19]: 2,30,32,
	ta = CONSTANT(0.23841361350444806)*a[2] + CONSTANT(0.00957749607387278)*a[30] + CONSTANT(-0.10468280611215540)*a[32];
	tb = CONSTANT(0.23841361350444806)*b[2] + CONSTANT(0.00957749607387278)*b[30] + CONSTANT(-0.10468280611215540)*b[32];
	c[11] += ta*b[19] + tb*a[19];
	c[19] += ta*b[11] + tb*a[11];
	t = a[11]*b[19] + a[19]*b[11];
	c[2] += CONSTANT(0.23841361350444806)*t;
	c[30] += CONSTANT(0.00957749607387278)*t;
	c[32] += CONSTANT(-0.10468280611215540)*t;

	//[11,20]: 1,11,29,
	ta = CONSTANT(-0.15078600877302686)*a[1] + CONSTANT(0.02564498107035256)*a[11] + CONSTANT(0.08601992077982426)*a[29];
	tb = CONSTANT(-0.15078600877302686)*b[1] + CONSTANT(0.02564498107035256)*b[11] + CONSTANT(0.08601992077982426)*b[29];
	c[11] += ta*b[20] + tb*a[20];
	c[20] += ta*b[11] + tb*a[11];
	t = a[11]*b[20] + a[20]*b[11];
	c[1] += CONSTANT(-0.15078600877302686)*t;
	c[11] += CONSTANT(0.02564498107035256)*t;
	c[29] += CONSTANT(0.08601992077982426)*t;

	//[11,22]: 1,9,11,27,29,
	ta = CONSTANT(-0.16858388283618386)*a[1] + CONSTANT(0.13325523051897814)*a[9] + CONSTANT(-0.11468784191000729)*a[11] + CONSTANT(0.10199021561163840)*a[27] + CONSTANT(-0.07518995256510773)*a[29];
	tb = CONSTANT(-0.16858388283618386)*b[1] + CONSTANT(0.13325523051897814)*b[9] + CONSTANT(-0.11468784191000729)*b[11] + CONSTANT(0.10199021561163840)*b[27] + CONSTANT(-0.07518995256510773)*b[29];
	c[11] += ta*b[22] + tb*a[22];
	c[22] += ta*b[11] + tb*a[11];
	t = a[11]*b[22] + a[22]*b[11];
	c[1] += CONSTANT(-0.16858388283618386)*t;
	c[9] += CONSTANT(0.13325523051897814)*t;
	c[11] += CONSTANT(-0.11468784191000729)*t;
	c[27] += CONSTANT(0.10199021561163840)*t;
	c[29] += CONSTANT(-0.07518995256510773)*t;

	//[11,24]: 9,25,27,
	ta = CONSTANT(0.11752006695060024)*a[9] + CONSTANT(-0.13408494503421886)*a[25] + CONSTANT(-0.11992922074233449)*a[27];
	tb = CONSTANT(0.11752006695060024)*b[9] + CONSTANT(-0.13408494503421886)*b[25] + CONSTANT(-0.11992922074233449)*b[27];
	c[11] += ta*b[24] + tb*a[24];
	c[24] += ta*b[11] + tb*a[11];
	t = a[11]*b[24] + a[24]*b[11];
	c[9] += CONSTANT(0.11752006695060024)*t;
	c[25] += CONSTANT(-0.13408494503421886)*t;
	c[27] += CONSTANT(-0.11992922074233449)*t;

	//[11,28]: 7,
	ta = CONSTANT(0.17361734258475534)*a[7];
	tb = CONSTANT(0.17361734258475534)*b[7];
	c[11] += ta*b[28] + tb*a[28];
	c[28] += ta*b[11] + tb*a[11];
	t = a[11]*b[28] + a[28]*b[11];
	c[7] += CONSTANT(0.17361734258475534)*t;

	//[12,19]: 1,11,29,
	ta = CONSTANT(0.19466390027300617)*a[1] + CONSTANT(0.09932258459927992)*a[11] + CONSTANT(0.11508946712408130)*a[29];
	tb = CONSTANT(0.19466390027300617)*b[1] + CONSTANT(0.09932258459927992)*b[11] + CONSTANT(0.11508946712408130)*b[29];
	c[12] += ta*b[19] + tb*a[19];
	c[19] += ta*b[12] + tb*a[12];
	t = a[12]*b[19] + a[19]*b[12];
	c[1] += CONSTANT(0.19466390027300617)*t;
	c[11] += CONSTANT(0.09932258459927992)*t;
	c[29] += CONSTANT(0.11508946712408130)*t;

	//[12,20]: 2,12,30,
	ta = CONSTANT(0.24623252122982908)*a[2] + CONSTANT(0.15386988642211533)*a[12] + CONSTANT(0.14837393116990469)*a[30];
	tb = CONSTANT(0.24623252122982908)*b[2] + CONSTANT(0.15386988642211533)*b[12] + CONSTANT(0.14837393116990469)*b[30];
	c[12] += ta*b[20] + tb*a[20];
	c[20] += ta*b[12] + tb*a[12];
	t = a[12]*b[20] + a[20]*b[12];
	c[2] += CONSTANT(0.24623252122982908)*t;
	c[12] += CONSTANT(0.15386988642211533)*t;
	c[30] += CONSTANT(0.14837393116990469)*t;

	//[13,16]: 9,25,27,
	ta = CONSTANT(-0.11752006695060024)*a[9] + CONSTANT(-0.13408494503421886)*a[25] + CONSTANT(0.11992922074233449)*a[27];
	tb = CONSTANT(-0.11752006695060024)*b[9] + CONSTANT(-0.13408494503421886)*b[25] + CONSTANT(0.11992922074233449)*b[27];
	c[13] += ta*b[16] + tb*a[16];
	c[16] += ta*b[13] + tb*a[13];
	t = a[13]*b[16] + a[16]*b[13];
	c[9] += CONSTANT(-0.11752006695060024)*t;
	c[25] += CONSTANT(-0.13408494503421886)*t;
	c[27] += CONSTANT(0.11992922074233449)*t;

	//[13,18]: 1,9,11,27,29,
	ta = CONSTANT(0.16858388283618386)*a[1] + CONSTANT(0.13325523051897814)*a[9] + CONSTANT(0.11468784191000729)*a[11] + CONSTANT(0.10199021561163840)*a[27] + CONSTANT(0.07518995256510773)*a[29];
	tb = CONSTANT(0.16858388283618386)*b[1] + CONSTANT(0.13325523051897814)*b[9] + CONSTANT(0.11468784191000729)*b[11] + CONSTANT(0.10199021561163840)*b[27] + CONSTANT(0.07518995256510773)*b[29];
	c[13] += ta*b[18] + tb*a[18];
	c[18] += ta*b[13] + tb*a[13];
	t = a[13]*b[18] + a[18]*b[13];
	c[1] += CONSTANT(0.16858388283618386)*t;
	c[9] += CONSTANT(0.13325523051897814)*t;
	c[11] += CONSTANT(0.11468784191000729)*t;
	c[27] += CONSTANT(0.10199021561163840)*t;
	c[29] += CONSTANT(0.07518995256510773)*t;

	//[13,20]: 3,13,31,
	ta = CONSTANT(-0.15078600877302686)*a[3] + CONSTANT(0.02564498107035256)*a[13] + CONSTANT(0.08601992077982426)*a[31];
	tb = CONSTANT(-0.15078600877302686)*b[3] + CONSTANT(0.02564498107035256)*b[13] + CONSTANT(0.08601992077982426)*b[31];
	c[13] += ta*b[20] + tb*a[20];
	c[20] += ta*b[13] + tb*a[13];
	t = a[13]*b[20] + a[20]*b[13];
	c[3] += CONSTANT(-0.15078600877302686)*t;
	c[13] += CONSTANT(0.02564498107035256)*t;
	c[31] += CONSTANT(0.08601992077982426)*t;

	//[13,21]: 2,12,30,32,
	ta = CONSTANT(0.23841361350444806)*a[2] + CONSTANT(0.09932258459927992)*a[12] + CONSTANT(0.00957749607387278)*a[30] + CONSTANT(0.10468280611215540)*a[32];
	tb = CONSTANT(0.23841361350444806)*b[2] + CONSTANT(0.09932258459927992)*b[12] + CONSTANT(0.00957749607387278)*b[30] + CONSTANT(0.10468280611215540)*b[32];
	c[13] += ta*b[21] + tb*a[21];
	c[21] += ta*b[13] + tb*a[13];
	t = a[13]*b[21] + a[21]*b[13];
	c[2] += CONSTANT(0.23841361350444806)*t;
	c[12] += CONSTANT(0.09932258459927992)*t;
	c[30] += CONSTANT(0.00957749607387278)*t;
	c[32] += CONSTANT(0.10468280611215540)*t;

	//[13,22]: 3,13,31,33,
	ta = CONSTANT(0.16858388283618386)*a[3] + CONSTANT(0.11468784191000729)*a[13] + CONSTANT(0.07518995256510773)*a[31] + CONSTANT(0.10199021561163840)*a[33];
	tb = CONSTANT(0.16858388283618386)*b[3] + CONSTANT(0.11468784191000729)*b[13] + CONSTANT(0.07518995256510773)*b[31] + CONSTANT(0.10199021561163840)*b[33];
	c[13] += ta*b[22] + tb*a[22];
	c[22] += ta*b[13] + tb*a[13];
	t = a[13]*b[22] + a[22]*b[13];
	c[3] += CONSTANT(0.16858388283618386)*t;
	c[13] += CONSTANT(0.11468784191000729)*t;
	c[31] += CONSTANT(0.07518995256510773)*t;
	c[33] += CONSTANT(0.10199021561163840)*t;

	//[13,24]: 33,35,
	ta = CONSTANT(0.11992922074233449)*a[33] + CONSTANT(-0.13408494503421886)*a[35];
	tb = CONSTANT(0.11992922074233449)*b[33] + CONSTANT(-0.13408494503421886)*b[35];
	c[13] += ta*b[24] + tb*a[24];
	c[24] += ta*b[13] + tb*a[13];
	t = a[13]*b[24] + a[24]*b[13];
	c[33] += CONSTANT(0.11992922074233449)*t;
	c[35] += CONSTANT(-0.13408494503421886)*t;

	//[13,28]: 5,
	ta = CONSTANT(0.17361734258475534)*a[5];
	tb = CONSTANT(0.17361734258475534)*b[5];
	c[13] += ta*b[28] + tb*a[28];
	c[28] += ta*b[13] + tb*a[13];
	t = a[13]*b[28] + a[28]*b[13];
	c[5] += CONSTANT(0.17361734258475534)*t;

	//[14,14]: 0,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.17951486749246789)*a[20] + CONSTANT(0.15171775404828514)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.17951486749246789)*b[20] + CONSTANT(0.15171775404828514)*b[24];
	c[14] += ta*b[14] + tb*a[14];
	t = a[14]*b[14];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[20] += CONSTANT(-0.17951486749246789)*t;
	c[24] += CONSTANT(0.15171775404828514)*t;

	//[14,16]: 10,28,
	ta = CONSTANT(0.15171775404828514)*a[10] + CONSTANT(-0.07741397910978244)*a[28];
	tb = CONSTANT(0.15171775404828514)*b[10] + CONSTANT(-0.07741397910978244)*b[28];
	c[14] += ta*b[16] + tb*a[16];
	c[16] += ta*b[14] + tb*a[14];
	t = a[14]*b[16] + a[16]*b[14];
	c[10] += CONSTANT(0.15171775404828514)*t;
	c[28] += CONSTANT(-0.07741397910978244)*t;

	//[14,17]: 1,11,25,29,
	ta = CONSTANT(0.19947114020071635)*a[1] + CONSTANT(0.06785024228911189)*a[11] + CONSTANT(0.14991152592791812)*a[25] + CONSTANT(-0.11379365909044613)*a[29];
	tb = CONSTANT(0.19947114020071635)*b[1] + CONSTANT(0.06785024228911189)*b[11] + CONSTANT(0.14991152592791812)*b[25] + CONSTANT(-0.11379365909044613)*b[29];
	c[14] += ta*b[17] + tb*a[17];
	c[17] += ta*b[14] + tb*a[14];
	t = a[14]*b[17] + a[17]*b[14];
	c[1] += CONSTANT(0.19947114020071635)*t;
	c[11] += CONSTANT(0.06785024228911189)*t;
	c[25] += CONSTANT(0.14991152592791812)*t;
	c[29] += CONSTANT(-0.11379365909044613)*t;

	//[14,19]: 1,9,11,27,29,
	ta = CONSTANT(0.07539300438651343)*a[1] + CONSTANT(-0.09932258459927992)*a[9] + CONSTANT(-0.10257992428141023)*a[11] + CONSTANT(0.02533967279416486)*a[27] + CONSTANT(-0.09774990997707300)*a[29];
	tb = CONSTANT(0.07539300438651343)*b[1] + CONSTANT(-0.09932258459927992)*b[9] + CONSTANT(-0.10257992428141023)*b[11] + CONSTANT(0.02533967279416486)*b[27] + CONSTANT(-0.09774990997707300)*b[29];
	c[14] += ta*b[19] + tb*a[19];
	c[19] += ta*b[14] + tb*a[14];
	t = a[14]*b[19] + a[19]*b[14];
	c[1] += CONSTANT(0.07539300438651343)*t;
	c[9] += CONSTANT(-0.09932258459927992)*t;
	c[11] += CONSTANT(-0.10257992428141023)*t;
	c[27] += CONSTANT(0.02533967279416486)*t;
	c[29] += CONSTANT(-0.09774990997707300)*t;

	//[14,20]: 14,32,
	ta = CONSTANT(-0.17951486749246789)*a[14] + CONSTANT(-0.06542675382009712)*a[32];
	tb = CONSTANT(-0.17951486749246789)*b[14] + CONSTANT(-0.06542675382009712)*b[32];
	c[14] += ta*b[20] + tb*a[20];
	c[20] += ta*b[14] + tb*a[14];
	t = a[14]*b[20] + a[20]*b[14];
	c[14] += CONSTANT(-0.17951486749246789)*t;
	c[32] += CONSTANT(-0.06542675382009712)*t;

	//[14,21]: 3,13,31,33,
	ta = CONSTANT(-0.07539300438651343)*a[3] + CONSTANT(0.10257992428141023)*a[13] + CONSTANT(0.09774990997707300)*a[31] + CONSTANT(0.02533967279416486)*a[33];
	tb = CONSTANT(-0.07539300438651343)*b[3] + CONSTANT(0.10257992428141023)*b[13] + CONSTANT(0.09774990997707300)*b[31] + CONSTANT(0.02533967279416486)*b[33];
	c[14] += ta*b[21] + tb*a[21];
	c[21] += ta*b[14] + tb*a[14];
	t = a[14]*b[21] + a[21]*b[14];
	c[3] += CONSTANT(-0.07539300438651343)*t;
	c[13] += CONSTANT(0.10257992428141023)*t;
	c[31] += CONSTANT(0.09774990997707300)*t;
	c[33] += CONSTANT(0.02533967279416486)*t;

	//[14,22]: 2,12,30,34,
	ta = CONSTANT(0.21324361862292307)*a[2] + CONSTANT(-0.04441841017299272)*a[12] + CONSTANT(-0.17132745820333500)*a[30] + CONSTANT(0.10135869117665945)*a[34];
	tb = CONSTANT(0.21324361862292307)*b[2] + CONSTANT(-0.04441841017299272)*b[12] + CONSTANT(-0.17132745820333500)*b[30] + CONSTANT(0.10135869117665945)*b[34];
	c[14] += ta*b[22] + tb*a[22];
	c[22] += ta*b[14] + tb*a[14];
	t = a[14]*b[22] + a[22]*b[14];
	c[2] += CONSTANT(0.21324361862292307)*t;
	c[12] += CONSTANT(-0.04441841017299272)*t;
	c[30] += CONSTANT(-0.17132745820333500)*t;
	c[34] += CONSTANT(0.10135869117665945)*t;

	//[14,23]: 3,13,31,35,
	ta = CONSTANT(0.19947114020071635)*a[3] + CONSTANT(0.06785024228911189)*a[13] + CONSTANT(-0.11379365909044613)*a[31] + CONSTANT(0.14991152592791812)*a[35];
	tb = CONSTANT(0.19947114020071635)*b[3] + CONSTANT(0.06785024228911189)*b[13] + CONSTANT(-0.11379365909044613)*b[31] + CONSTANT(0.14991152592791812)*b[35];
	c[14] += ta*b[23] + tb*a[23];
	c[23] += ta*b[14] + tb*a[14];
	t = a[14]*b[23] + a[23]*b[14];
	c[3] += CONSTANT(0.19947114020071635)*t;
	c[13] += CONSTANT(0.06785024228911189)*t;
	c[31] += CONSTANT(-0.11379365909044613)*t;
	c[35] += CONSTANT(0.14991152592791812)*t;

	//[14,24]: 14,32,
	ta = CONSTANT(0.15171775404828514)*a[14] + CONSTANT(-0.07741397910978244)*a[32];
	tb = CONSTANT(0.15171775404828514)*b[14] + CONSTANT(-0.07741397910978244)*b[32];
	c[14] += ta*b[24] + tb*a[24];
	c[24] += ta*b[14] + tb*a[14];
	t = a[14]*b[24] + a[24]*b[14];
	c[14] += CONSTANT(0.15171775404828514)*t;
	c[32] += CONSTANT(-0.07741397910978244)*t;

	//[14,26]: 4,
	ta = CONSTANT(0.19018826981554557)*a[4];
	tb = CONSTANT(0.19018826981554557)*b[4];
	c[14] += ta*b[26] + tb*a[26];
	c[26] += ta*b[14] + tb*a[14];
	t = a[14]*b[26] + a[26]*b[14];
	c[4] += CONSTANT(0.19018826981554557)*t;

	//[14,32]: 6,6,
	ta = CONSTANT(0.19018826981554557)*a[6] + CONSTANT(0.19018826981554557)*a[6];
	tb = CONSTANT(0.19018826981554557)*b[6] + CONSTANT(0.19018826981554557)*b[6];
	c[14] += ta*b[32] + tb*a[32];
	c[32] += ta*b[14] + tb*a[14];
	t = a[14]*b[32] + a[32]*b[14];
	c[6] += CONSTANT(0.19018826981554557)*t;
	c[6] += CONSTANT(0.19018826981554557)*t;

	//[15,15]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.21026104350168001)*a[6] + CONSTANT(0.07693494321105766)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.21026104350168001)*b[6] + CONSTANT(0.07693494321105766)*b[20];
	c[15] += ta*b[15] + tb*a[15];
	t = a[15]*b[15];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.21026104350168001)*t;
	c[20] += CONSTANT(0.07693494321105766)*t;

	//[15,16]: 1,11,29,
	ta = CONSTANT(0.23032943298089034)*a[1] + CONSTANT(-0.11752006695060024)*a[11] + CONSTANT(0.03583570893160450)*a[29];
	tb = CONSTANT(0.23032943298089034)*b[1] + CONSTANT(-0.11752006695060024)*b[11] + CONSTANT(0.03583570893160450)*b[29];
	c[15] += ta*b[16] + tb*a[16];
	c[16] += ta*b[15] + tb*a[15];
	t = a[15]*b[16] + a[16]*b[15];
	c[1] += CONSTANT(0.23032943298089034)*t;
	c[11] += CONSTANT(-0.11752006695060024)*t;
	c[29] += CONSTANT(0.03583570893160450)*t;

	//[15,18]: 1,11,25,29,
	ta = CONSTANT(0.04352817137756816)*a[1] + CONSTANT(-0.13325523051897814)*a[11] + CONSTANT(-0.09814013073014567)*a[25] + CONSTANT(0.10158468630934461)*a[29];
	tb = CONSTANT(0.04352817137756816)*b[1] + CONSTANT(-0.13325523051897814)*b[11] + CONSTANT(-0.09814013073014567)*b[25] + CONSTANT(0.10158468630934461)*b[29];
	c[15] += ta*b[18] + tb*a[18];
	c[18] += ta*b[15] + tb*a[15];
	t = a[15]*b[18] + a[18]*b[15];
	c[1] += CONSTANT(0.04352817137756816)*t;
	c[11] += CONSTANT(-0.13325523051897814)*t;
	c[25] += CONSTANT(-0.09814013073014567)*t;
	c[29] += CONSTANT(0.10158468630934461)*t;

	//[15,19]: 10,26,28,
	ta = CONSTANT(0.09932258459927992)*a[10] + CONSTANT(-0.13166880217999308)*a[26] + CONSTANT(-0.12669836397082432)*a[28];
	tb = CONSTANT(0.09932258459927992)*b[10] + CONSTANT(-0.13166880217999308)*b[26] + CONSTANT(-0.12669836397082432)*b[28];
	c[15] += ta*b[19] + tb*a[19];
	c[19] += ta*b[15] + tb*a[15];
	t = a[15]*b[19] + a[19]*b[15];
	c[10] += CONSTANT(0.09932258459927992)*t;
	c[26] += CONSTANT(-0.13166880217999308)*t;
	c[28] += CONSTANT(-0.12669836397082432)*t;

	//[15,20]: 15,33,
	ta = CONSTANT(0.07693494321105766)*a[15] + CONSTANT(-0.19628026146029134)*a[33];
	tb = CONSTANT(0.07693494321105766)*b[15] + CONSTANT(-0.19628026146029134)*b[33];
	c[15] += ta*b[20] + tb*a[20];
	c[20] += ta*b[15] + tb*a[15];
	t = a[15]*b[20] + a[20]*b[15];
	c[15] += CONSTANT(0.07693494321105766)*t;
	c[33] += CONSTANT(-0.19628026146029134)*t;

	//[15,21]: 14,32,34,
	ta = CONSTANT(-0.09932258459927992)*a[14] + CONSTANT(0.12669836397082432)*a[32] + CONSTANT(-0.13166880217999308)*a[34];
	tb = CONSTANT(-0.09932258459927992)*b[14] + CONSTANT(0.12669836397082432)*b[32] + CONSTANT(-0.13166880217999308)*b[34];
	c[15] += ta*b[21] + tb*a[21];
	c[21] += ta*b[15] + tb*a[15];
	t = a[15]*b[21] + a[21]*b[15];
	c[14] += CONSTANT(-0.09932258459927992)*t;
	c[32] += CONSTANT(0.12669836397082432)*t;
	c[34] += CONSTANT(-0.13166880217999308)*t;

	//[15,22]: 3,13,31,35,
	ta = CONSTANT(-0.04352817137756816)*a[3] + CONSTANT(0.13325523051897814)*a[13] + CONSTANT(-0.10158468630934461)*a[31] + CONSTANT(-0.09814013073014567)*a[35];
	tb = CONSTANT(-0.04352817137756816)*b[3] + CONSTANT(0.13325523051897814)*b[13] + CONSTANT(-0.10158468630934461)*b[31] + CONSTANT(-0.09814013073014567)*b[35];
	c[15] += ta*b[22] + tb*a[22];
	c[22] += ta*b[15] + tb*a[15];
	t = a[15]*b[22] + a[22]*b[15];
	c[3] += CONSTANT(-0.04352817137756816)*t;
	c[13] += CONSTANT(0.13325523051897814)*t;
	c[31] += CONSTANT(-0.10158468630934461)*t;
	c[35] += CONSTANT(-0.09814013073014567)*t;

	//[15,23]: 2,12,30,
	ta = CONSTANT(0.16286750396763996)*a[2] + CONSTANT(-0.20355072686733566)*a[12] + CONSTANT(0.09814013073014567)*a[30];
	tb = CONSTANT(0.16286750396763996)*b[2] + CONSTANT(-0.20355072686733566)*b[12] + CONSTANT(0.09814013073014567)*b[30];
	c[15] += ta*b[23] + tb*a[23];
	c[23] += ta*b[15] + tb*a[15];
	t = a[15]*b[23] + a[23]*b[15];
	c[2] += CONSTANT(0.16286750396763996)*t;
	c[12] += CONSTANT(-0.20355072686733566)*t;
	c[30] += CONSTANT(0.09814013073014567)*t;

	//[15,24]: 3,13,31,
	ta = CONSTANT(0.23032943298089034)*a[3] + CONSTANT(-0.11752006695060024)*a[13] + CONSTANT(0.03583570893160450)*a[31];
	tb = CONSTANT(0.23032943298089034)*b[3] + CONSTANT(-0.11752006695060024)*b[13] + CONSTANT(0.03583570893160450)*b[31];
	c[15] += ta*b[24] + tb*a[24];
	c[24] += ta*b[15] + tb*a[15];
	t = a[15]*b[24] + a[24]*b[15];
	c[3] += CONSTANT(0.23032943298089034)*t;
	c[13] += CONSTANT(-0.11752006695060024)*t;
	c[31] += CONSTANT(0.03583570893160450)*t;

	//[15,33]: 6,
	ta = CONSTANT(0.12679217987703037)*a[6];
	tb = CONSTANT(0.12679217987703037)*b[6];
	c[15] += ta*b[33] + tb*a[33];
	c[33] += ta*b[15] + tb*a[15];
	t = a[15]*b[33] + a[33]*b[15];
	c[6] += CONSTANT(0.12679217987703037)*t;

	//[16,16]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.22937568382001458)*a[6] + CONSTANT(0.10652530598454139)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.22937568382001458)*b[6] + CONSTANT(0.10652530598454139)*b[20];
	c[16] += ta*b[16] + tb*a[16];
	t = a[16]*b[16];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.22937568382001458)*t;
	c[20] += CONSTANT(0.10652530598454139)*t;

	//[16,18]: 8,22,
	ta = CONSTANT(-0.07508081669196245)*a[8] + CONSTANT(0.13504547338363843)*a[22];
	tb = CONSTANT(-0.07508081669196245)*b[8] + CONSTANT(0.13504547338363843)*b[22];
	c[16] += ta*b[18] + tb*a[18];
	c[18] += ta*b[16] + tb*a[16];
	t = a[16]*b[18] + a[18]*b[16];
	c[8] += CONSTANT(-0.07508081669196245)*t;
	c[22] += CONSTANT(0.13504547338363843)*t;

	//[16,19]: 23,
	ta = CONSTANT(-0.11909891275269988)*a[23];
	tb = CONSTANT(-0.11909891275269988)*b[23];
	c[16] += ta*b[19] + tb*a[19];
	c[19] += ta*b[16] + tb*a[16];
	t = a[16]*b[19] + a[19]*b[16];
	c[23] += CONSTANT(-0.11909891275269988)*t;

	//[16,23]: 5,
	ta = CONSTANT(0.14046334619025075)*a[5];
	tb = CONSTANT(0.14046334619025075)*b[5];
	c[16] += ta*b[23] + tb*a[23];
	c[23] += ta*b[16] + tb*a[16];
	t = a[16]*b[23] + a[23]*b[16];
	c[5] += CONSTANT(0.14046334619025075)*t;

	//[16,25]: 3,13,31,
	ta = CONSTANT(0.23293210805542919)*a[3] + CONSTANT(-0.13408494503421886)*a[13] + CONSTANT(0.05315294607251316)*a[31];
	tb = CONSTANT(0.23293210805542919)*b[3] + CONSTANT(-0.13408494503421886)*b[13] + CONSTANT(0.05315294607251316)*b[31];
	c[16] += ta*b[25] + tb*a[25];
	c[25] += ta*b[16] + tb*a[16];
	t = a[16]*b[25] + a[25]*b[16];
	c[3] += CONSTANT(0.23293210805542919)*t;
	c[13] += CONSTANT(-0.13408494503421886)*t;
	c[31] += CONSTANT(0.05315294607251316)*t;

	//[16,26]: 2,12,30,
	ta = CONSTANT(0.14731920032792215)*a[2] + CONSTANT(-0.20772350363786662)*a[12] + CONSTANT(0.13019759620332838)*a[30];
	tb = CONSTANT(0.14731920032792215)*b[2] + CONSTANT(-0.20772350363786662)*b[12] + CONSTANT(0.13019759620332838)*b[30];
	c[16] += ta*b[26] + tb*a[26];
	c[26] += ta*b[16] + tb*a[16];
	t = a[16]*b[26] + a[26]*b[16];
	c[2] += CONSTANT(0.14731920032792215)*t;
	c[12] += CONSTANT(-0.20772350363786662)*t;
	c[30] += CONSTANT(0.13019759620332838)*t;

	//[16,27]: 3,13,31,
	ta = CONSTANT(-0.03472346851695107)*a[3] + CONSTANT(0.11992922074233449)*a[13] + CONSTANT(-0.11885360062251987)*a[31];
	tb = CONSTANT(-0.03472346851695107)*b[3] + CONSTANT(0.11992922074233449)*b[13] + CONSTANT(-0.11885360062251987)*b[31];
	c[16] += ta*b[27] + tb*a[27];
	c[27] += ta*b[16] + tb*a[16];
	t = a[16]*b[27] + a[27]*b[16];
	c[3] += CONSTANT(-0.03472346851695107)*t;
	c[13] += CONSTANT(0.11992922074233449)*t;
	c[31] += CONSTANT(-0.11885360062251987)*t;

	//[16,28]: 14,32,
	ta = CONSTANT(-0.07741397910978244)*a[14] + CONSTANT(0.12837656111777973)*a[32];
	tb = CONSTANT(-0.07741397910978244)*b[14] + CONSTANT(0.12837656111777973)*b[32];
	c[16] += ta*b[28] + tb*a[28];
	c[28] += ta*b[16] + tb*a[16];
	t = a[16]*b[28] + a[28]*b[16];
	c[14] += CONSTANT(-0.07741397910978244)*t;
	c[32] += CONSTANT(0.12837656111777973)*t;

	//[16,29]: 15,33,35,
	ta = CONSTANT(0.03583570893160450)*a[15] + CONSTANT(-0.11885360062251987)*a[33] + CONSTANT(-0.05315294607251316)*a[35];
	tb = CONSTANT(0.03583570893160450)*b[15] + CONSTANT(-0.11885360062251987)*b[33] + CONSTANT(-0.05315294607251316)*b[35];
	c[16] += ta*b[29] + tb*a[29];
	c[29] += ta*b[16] + tb*a[16];
	t = a[16]*b[29] + a[29]*b[16];
	c[15] += CONSTANT(0.03583570893160450)*t;
	c[33] += CONSTANT(-0.11885360062251987)*t;
	c[35] += CONSTANT(-0.05315294607251316)*t;

	//[16,31]: 9,
	ta = CONSTANT(0.03583570893160450)*a[9];
	tb = CONSTANT(0.03583570893160450)*b[9];
	c[16] += ta*b[31] + tb*a[31];
	c[31] += ta*b[16] + tb*a[16];
	t = a[16]*b[31] + a[31]*b[16];
	c[9] += CONSTANT(0.03583570893160450)*t;

	//[17,17]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.05734392095500365)*a[6] + CONSTANT(-0.15978795897681211)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.05734392095500365)*b[6] + CONSTANT(-0.15978795897681211)*b[20];
	c[17] += ta*b[17] + tb*a[17];
	t = a[17]*b[17];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.05734392095500365)*t;
	c[20] += CONSTANT(-0.15978795897681211)*t;

	//[17,18]: 7,21,
	ta = CONSTANT(0.13272538654977692)*a[7] + CONSTANT(0.04501515779454614)*a[21];
	tb = CONSTANT(0.13272538654977692)*b[7] + CONSTANT(0.04501515779454614)*b[21];
	c[17] += ta*b[18] + tb*a[18];
	c[18] += ta*b[17] + tb*a[17];
	t = a[17]*b[18] + a[18]*b[17];
	c[7] += CONSTANT(0.13272538654977692)*t;
	c[21] += CONSTANT(0.04501515779454614)*t;

	//[17,19]: 8,22,24,
	ta = CONSTANT(-0.11262122503794367)*a[8] + CONSTANT(0.04501515779454614)*a[22] + CONSTANT(0.11909891275269988)*a[24];
	tb = CONSTANT(-0.11262122503794367)*b[8] + CONSTANT(0.04501515779454614)*b[22] + CONSTANT(0.11909891275269988)*b[24];
	c[17] += ta*b[19] + tb*a[19];
	c[19] += ta*b[17] + tb*a[17];
	t = a[17]*b[19] + a[19]*b[17];
	c[8] += CONSTANT(-0.11262122503794367)*t;
	c[22] += CONSTANT(0.04501515779454614)*t;
	c[24] += CONSTANT(0.11909891275269988)*t;

	//[17,21]: 4,16,
	ta = CONSTANT(-0.11262122503794367)*a[4] + CONSTANT(-0.11909891275269988)*a[16];
	tb = CONSTANT(-0.11262122503794367)*b[4] + CONSTANT(-0.11909891275269988)*b[16];
	c[17] += ta*b[21] + tb*a[21];
	c[21] += ta*b[17] + tb*a[17];
	t = a[17]*b[21] + a[21]*b[17];
	c[4] += CONSTANT(-0.11262122503794367)*t;
	c[16] += CONSTANT(-0.11909891275269988)*t;

	//[17,25]: 14,32,
	ta = CONSTANT(0.14991152592791812)*a[14] + CONSTANT(-0.09944005665050791)*a[32];
	tb = CONSTANT(0.14991152592791812)*b[14] + CONSTANT(-0.09944005665050791)*b[32];
	c[17] += ta*b[25] + tb*a[25];
	c[25] += ta*b[17] + tb*a[17];
	t = a[17]*b[25] + a[25]*b[17];
	c[14] += CONSTANT(0.14991152592791812)*t;
	c[32] += CONSTANT(-0.09944005665050791)*t;

	//[17,26]: 3,13,31,
	ta = CONSTANT(0.20834081110170641)*a[3] + CONSTANT(0.02998230518558362)*a[13] + CONSTANT(-0.11885360062251987)*a[31];
	tb = CONSTANT(0.20834081110170641)*b[3] + CONSTANT(0.02998230518558362)*b[13] + CONSTANT(-0.11885360062251987)*b[31];
	c[17] += ta*b[26] + tb*a[26];
	c[26] += ta*b[17] + tb*a[17];
	t = a[17]*b[26] + a[26]*b[17];
	c[3] += CONSTANT(0.20834081110170641)*t;
	c[13] += CONSTANT(0.02998230518558362)*t;
	c[31] += CONSTANT(-0.11885360062251987)*t;

	//[17,27]: 2,12,30,
	ta = CONSTANT(0.19642560043722951)*a[2] + CONSTANT(-0.10386175181893331)*a[12] + CONSTANT(-0.13019759620332838)*a[30];
	tb = CONSTANT(0.19642560043722951)*b[2] + CONSTANT(-0.10386175181893331)*b[12] + CONSTANT(-0.13019759620332838)*b[30];
	c[17] += ta*b[27] + tb*a[27];
	c[27] += ta*b[17] + tb*a[17];
	t = a[17]*b[27] + a[27]*b[17];
	c[2] += CONSTANT(0.19642560043722951)*t;
	c[12] += CONSTANT(-0.10386175181893331)*t;
	c[30] += CONSTANT(-0.13019759620332838)*t;

	//[17,28]: 3,13,31,35,
	ta = CONSTANT(-0.06014281168637758)*a[3] + CONSTANT(0.12117204378875551)*a[13] + CONSTANT(0.03431007915678407)*a[31] + CONSTANT(0.09944005665050791)*a[35];
	tb = CONSTANT(-0.06014281168637758)*b[3] + CONSTANT(0.12117204378875551)*b[13] + CONSTANT(0.03431007915678407)*b[31] + CONSTANT(0.09944005665050791)*b[35];
	c[17] += ta*b[28] + tb*a[28];
	c[28] += ta*b[17] + tb*a[17];
	t = a[17]*b[28] + a[28]*b[17];
	c[3] += CONSTANT(-0.06014281168637758)*t;
	c[13] += CONSTANT(0.12117204378875551)*t;
	c[31] += CONSTANT(0.03431007915678407)*t;
	c[35] += CONSTANT(0.09944005665050791)*t;

	//[17,29]: 14,32,34,
	ta = CONSTANT(-0.11379365909044613)*a[14] + CONSTANT(0.03431007915678407)*a[32] + CONSTANT(0.11885360062251987)*a[34];
	tb = CONSTANT(-0.11379365909044613)*b[14] + CONSTANT(0.03431007915678407)*b[32] + CONSTANT(0.11885360062251987)*b[34];
	c[17] += ta*b[29] + tb*a[29];
	c[29] += ta*b[17] + tb*a[17];
	t = a[17]*b[29] + a[29]*b[17];
	c[14] += CONSTANT(-0.11379365909044613)*t;
	c[32] += CONSTANT(0.03431007915678407)*t;
	c[34] += CONSTANT(0.11885360062251987)*t;

	//[17,32]: 1,11,
	ta = CONSTANT(-0.06014281168637758)*a[1] + CONSTANT(0.12117204378875551)*a[11];
	tb = CONSTANT(-0.06014281168637758)*b[1] + CONSTANT(0.12117204378875551)*b[11];
	c[17] += ta*b[32] + tb*a[32];
	c[32] += ta*b[17] + tb*a[17];
	t = a[17]*b[32] + a[32]*b[17];
	c[1] += CONSTANT(-0.06014281168637758)*t;
	c[11] += CONSTANT(0.12117204378875551)*t;

	//[17,34]: 1,11,
	ta = CONSTANT(-0.20834081110170641)*a[1] + CONSTANT(-0.02998230518558362)*a[11];
	tb = CONSTANT(-0.20834081110170641)*b[1] + CONSTANT(-0.02998230518558362)*b[11];
	c[17] += ta*b[34] + tb*a[34];
	c[34] += ta*b[17] + tb*a[17];
	t = a[17]*b[34] + a[34]*b[17];
	c[1] += CONSTANT(-0.20834081110170641)*t;
	c[11] += CONSTANT(-0.02998230518558362)*t;

	//[18,18]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.06553590966286131)*a[6] + CONSTANT(-0.08369845470213967)*a[20] + CONSTANT(-0.13504547338363843)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.06553590966286131)*b[6] + CONSTANT(-0.08369845470213967)*b[20] + CONSTANT(-0.13504547338363843)*b[24];
	c[18] += ta*b[18] + tb*a[18];
	t = a[18]*b[18];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.06553590966286131)*t;
	c[20] += CONSTANT(-0.08369845470213967)*t;
	c[24] += CONSTANT(-0.13504547338363843)*t;

	//[18,19]: 7,21,23,
	ta = CONSTANT(0.09029786540801835)*a[7] + CONSTANT(0.10208478235945703)*a[21] + CONSTANT(-0.04501515779454614)*a[23];
	tb = CONSTANT(0.09029786540801835)*b[7] + CONSTANT(0.10208478235945703)*b[21] + CONSTANT(-0.04501515779454614)*b[23];
	c[18] += ta*b[19] + tb*a[19];
	c[19] += ta*b[18] + tb*a[18];
	t = a[18]*b[19] + a[19]*b[18];
	c[7] += CONSTANT(0.09029786540801835)*t;
	c[21] += CONSTANT(0.10208478235945703)*t;
	c[23] += CONSTANT(-0.04501515779454614)*t;

	//[18,26]: 14,32,
	ta = CONSTANT(0.10135869117665945)*a[14] + CONSTANT(0.08404218696862148)*a[32];
	tb = CONSTANT(0.10135869117665945)*b[14] + CONSTANT(0.08404218696862148)*b[32];
	c[18] += ta*b[26] + tb*a[26];
	c[26] += ta*b[18] + tb*a[18];
	t = a[18]*b[26] + a[26]*b[18];
	c[14] += CONSTANT(0.10135869117665945)*t;
	c[32] += CONSTANT(0.08404218696862148)*t;

	//[18,27]: 3,13,35,
	ta = CONSTANT(0.18373932470686666)*a[3] + CONSTANT(0.10199021561163840)*a[13] + CONSTANT(-0.13019759620332838)*a[35];
	tb = CONSTANT(0.18373932470686666)*b[3] + CONSTANT(0.10199021561163840)*b[13] + CONSTANT(-0.13019759620332838)*b[35];
	c[18] += ta*b[27] + tb*a[27];
	c[27] += ta*b[18] + tb*a[18];
	t = a[18]*b[27] + a[27]*b[18];
	c[3] += CONSTANT(0.18373932470686666)*t;
	c[13] += CONSTANT(0.10199021561163840)*t;
	c[35] += CONSTANT(-0.13019759620332838)*t;

	//[18,28]: 2,12,30,34,
	ta = CONSTANT(0.22503379560768882)*a[2] + CONSTANT(0.02266449235814187)*a[12] + CONSTANT(-0.09944005665050791)*a[30] + CONSTANT(-0.08404218696862148)*a[34];
	tb = CONSTANT(0.22503379560768882)*b[2] + CONSTANT(0.02266449235814187)*b[12] + CONSTANT(-0.09944005665050791)*b[30] + CONSTANT(-0.08404218696862148)*b[34];
	c[18] += ta*b[28] + tb*a[28];
	c[28] += ta*b[18] + tb*a[18];
	t = a[18]*b[28] + a[28]*b[18];
	c[2] += CONSTANT(0.22503379560768882)*t;
	c[12] += CONSTANT(0.02266449235814187)*t;
	c[30] += CONSTANT(-0.09944005665050791)*t;
	c[34] += CONSTANT(-0.08404218696862148)*t;

	//[18,29]: 3,13,15,31,
	ta = CONSTANT(-0.08505477996612626)*a[3] + CONSTANT(0.07518995256510773)*a[13] + CONSTANT(0.10158468630934461)*a[15] + CONSTANT(0.09704355853923695)*a[31];
	tb = CONSTANT(-0.08505477996612626)*b[3] + CONSTANT(0.07518995256510773)*b[13] + CONSTANT(0.10158468630934461)*b[15] + CONSTANT(0.09704355853923695)*b[31];
	c[18] += ta*b[29] + tb*a[29];
	c[29] += ta*b[18] + tb*a[18];
	t = a[18]*b[29] + a[29]*b[18];
	c[3] += CONSTANT(-0.08505477996612626)*t;
	c[13] += CONSTANT(0.07518995256510773)*t;
	c[15] += CONSTANT(0.10158468630934461)*t;
	c[31] += CONSTANT(0.09704355853923695)*t;

	//[19,19]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.13926380803358027)*a[6] + CONSTANT(-0.14188940657039989)*a[8] + CONSTANT(0.06848055384720518)*a[20] + CONSTANT(-0.10208478235945703)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.13926380803358027)*b[6] + CONSTANT(-0.14188940657039989)*b[8] + CONSTANT(0.06848055384720518)*b[20] + CONSTANT(-0.10208478235945703)*b[22];
	c[19] += ta*b[19] + tb*a[19];
	t = a[19]*b[19];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.13926380803358027)*t;
	c[8] += CONSTANT(-0.14188940657039989)*t;
	c[20] += CONSTANT(0.06848055384720518)*t;
	c[22] += CONSTANT(-0.10208478235945703)*t;

	//[19,26]: 15,35,
	ta = CONSTANT(-0.13166880217999308)*a[15] + CONSTANT(0.13019759620332838)*a[35];
	tb = CONSTANT(-0.13166880217999308)*b[15] + CONSTANT(0.13019759620332838)*b[35];
	c[19] += ta*b[26] + tb*a[26];
	c[26] += ta*b[19] + tb*a[19];
	t = a[19]*b[26] + a[26]*b[19];
	c[15] += CONSTANT(-0.13166880217999308)*t;
	c[35] += CONSTANT(0.13019759620332838)*t;

	//[19,27]: 14,32,
	ta = CONSTANT(0.02533967279416486)*a[14] + CONSTANT(0.08404218696862148)*a[32];
	tb = CONSTANT(0.02533967279416486)*b[14] + CONSTANT(0.08404218696862148)*b[32];
	c[19] += ta*b[27] + tb*a[27];
	c[27] += ta*b[19] + tb*a[19];
	t = a[19]*b[27] + a[27]*b[19];
	c[14] += CONSTANT(0.02533967279416486)*t;
	c[32] += CONSTANT(0.08404218696862148)*t;

	//[19,28]: 3,13,15,31,33,
	ta = CONSTANT(0.15912292287034427)*a[3] + CONSTANT(0.10468280611215540)*a[13] + CONSTANT(-0.12669836397082432)*a[15] + CONSTANT(0.09077593691179131)*a[31] + CONSTANT(-0.08404218696862148)*a[33];
	tb = CONSTANT(0.15912292287034427)*b[3] + CONSTANT(0.10468280611215540)*b[13] + CONSTANT(-0.12669836397082432)*b[15] + CONSTANT(0.09077593691179131)*b[31] + CONSTANT(-0.08404218696862148)*b[33];
	c[19] += ta*b[28] + tb*a[28];
	c[28] += ta*b[19] + tb*a[19];
	t = a[19]*b[28] + a[28]*b[19];
	c[3] += CONSTANT(0.15912292287034427)*t;
	c[13] += CONSTANT(0.10468280611215540)*t;
	c[15] += CONSTANT(-0.12669836397082432)*t;
	c[31] += CONSTANT(0.09077593691179131)*t;
	c[33] += CONSTANT(-0.08404218696862148)*t;

	//[19,29]: 2,12,14,30,32,
	ta = CONSTANT(0.24057124674551034)*a[2] + CONSTANT(0.11508946712408130)*a[12] + CONSTANT(-0.09774990997707300)*a[14] + CONSTANT(0.05315294607251316)*a[30] + CONSTANT(-0.09077593691179131)*a[32];
	tb = CONSTANT(0.24057124674551034)*b[2] + CONSTANT(0.11508946712408130)*b[12] + CONSTANT(-0.09774990997707300)*b[14] + CONSTANT(0.05315294607251316)*b[30] + CONSTANT(-0.09077593691179131)*b[32];
	c[19] += ta*b[29] + tb*a[29];
	c[29] += ta*b[19] + tb*a[19];
	t = a[19]*b[29] + a[29]*b[19];
	c[2] += CONSTANT(0.24057124674551034)*t;
	c[12] += CONSTANT(0.11508946712408130)*t;
	c[14] += CONSTANT(-0.09774990997707300)*t;
	c[30] += CONSTANT(0.05315294607251316)*t;
	c[32] += CONSTANT(-0.09077593691179131)*t;

	//[20,20]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.16383977415715323)*a[6];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.16383977415715323)*b[6];
	c[20] += ta*b[20] + tb*a[20];
	t = a[20]*b[20];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.16383977415715323)*t;
	c[20] += CONSTANT(0.13696110769441036)*t;

	//[21,21]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.13926380803358027)*a[6] + CONSTANT(0.14188940657039989)*a[8] + CONSTANT(0.06848055384720518)*a[20] + CONSTANT(0.10208478235945703)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.13926380803358027)*b[6] + CONSTANT(0.14188940657039989)*b[8] + CONSTANT(0.06848055384720518)*b[20] + CONSTANT(0.10208478235945703)*b[22];
	c[21] += ta*b[21] + tb*a[21];
	t = a[21]*b[21];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.13926380803358027)*t;
	c[8] += CONSTANT(0.14188940657039989)*t;
	c[20] += CONSTANT(0.06848055384720518)*t;
	c[22] += CONSTANT(0.10208478235945703)*t;

	//[21,23]: 8,24,
	ta = CONSTANT(-0.11262122503794367)*a[8] + CONSTANT(-0.11909891275269988)*a[24];
	tb = CONSTANT(-0.11262122503794367)*b[8] + CONSTANT(-0.11909891275269988)*b[24];
	c[21] += ta*b[23] + tb*a[23];
	c[23] += ta*b[21] + tb*a[21];
	t = a[21]*b[23] + a[23]*b[21];
	c[8] += CONSTANT(-0.11262122503794367)*t;
	c[24] += CONSTANT(-0.11909891275269988)*t;

	//[21,26]: 9,
	ta = CONSTANT(-0.13166880217999308)*a[9];
	tb = CONSTANT(-0.13166880217999308)*b[9];
	c[21] += ta*b[26] + tb*a[26];
	c[26] += ta*b[21] + tb*a[21];
	t = a[21]*b[26] + a[26]*b[21];
	c[9] += CONSTANT(-0.13166880217999308)*t;

	//[21,28]: 1,9,11,29,
	ta = CONSTANT(0.15912292287034427)*a[1] + CONSTANT(0.12669836397082432)*a[9] + CONSTANT(0.10468280611215540)*a[11] + CONSTANT(0.09077593691179131)*a[29];
	tb = CONSTANT(0.15912292287034427)*b[1] + CONSTANT(0.12669836397082432)*b[9] + CONSTANT(0.10468280611215540)*b[11] + CONSTANT(0.09077593691179131)*b[29];
	c[21] += ta*b[28] + tb*a[28];
	c[28] += ta*b[21] + tb*a[21];
	t = a[21]*b[28] + a[28]*b[21];
	c[1] += CONSTANT(0.15912292287034427)*t;
	c[9] += CONSTANT(0.12669836397082432)*t;
	c[11] += CONSTANT(0.10468280611215540)*t;
	c[29] += CONSTANT(0.09077593691179131)*t;

	//[21,31]: 2,12,14,32,
	ta = CONSTANT(0.24057124674551034)*a[2] + CONSTANT(0.11508946712408130)*a[12] + CONSTANT(0.09774990997707300)*a[14] + CONSTANT(0.09077593691179131)*a[32];
	tb = CONSTANT(0.24057124674551034)*b[2] + CONSTANT(0.11508946712408130)*b[12] + CONSTANT(0.09774990997707300)*b[14] + CONSTANT(0.09077593691179131)*b[32];
	c[21] += ta*b[31] + tb*a[31];
	c[31] += ta*b[21] + tb*a[21];
	t = a[21]*b[31] + a[31]*b[21];
	c[2] += CONSTANT(0.24057124674551034)*t;
	c[12] += CONSTANT(0.11508946712408130)*t;
	c[14] += CONSTANT(0.09774990997707300)*t;
	c[32] += CONSTANT(0.09077593691179131)*t;

	//[21,32]: 3,13,15,33,
	ta = CONSTANT(0.15912292287034427)*a[3] + CONSTANT(0.10468280611215540)*a[13] + CONSTANT(0.12669836397082432)*a[15] + CONSTANT(0.08404218696862148)*a[33];
	tb = CONSTANT(0.15912292287034427)*b[3] + CONSTANT(0.10468280611215540)*b[13] + CONSTANT(0.12669836397082432)*b[15] + CONSTANT(0.08404218696862148)*b[33];
	c[21] += ta*b[32] + tb*a[32];
	c[32] += ta*b[21] + tb*a[21];
	t = a[21]*b[32] + a[32]*b[21];
	c[3] += CONSTANT(0.15912292287034427)*t;
	c[13] += CONSTANT(0.10468280611215540)*t;
	c[15] += CONSTANT(0.12669836397082432)*t;
	c[33] += CONSTANT(0.08404218696862148)*t;

	//[21,34]: 15,35,
	ta = CONSTANT(-0.13166880217999308)*a[15] + CONSTANT(-0.13019759620332838)*a[35];
	tb = CONSTANT(-0.13166880217999308)*b[15] + CONSTANT(-0.13019759620332838)*b[35];
	c[21] += ta*b[34] + tb*a[34];
	c[34] += ta*b[21] + tb*a[21];
	t = a[21]*b[34] + a[34]*b[21];
	c[15] += CONSTANT(-0.13166880217999308)*t;
	c[35] += CONSTANT(-0.13019759620332838)*t;

	//[22,22]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.06553590966286131)*a[6] + CONSTANT(-0.08369845470213967)*a[20] + CONSTANT(0.13504547338363843)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.06553590966286131)*b[6] + CONSTANT(-0.08369845470213967)*b[20] + CONSTANT(0.13504547338363843)*b[24];
	c[22] += ta*b[22] + tb*a[22];
	t = a[22]*b[22];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.06553590966286131)*t;
	c[20] += CONSTANT(-0.08369845470213967)*t;
	c[24] += CONSTANT(0.13504547338363843)*t;

	//[22,23]: 7,21,
	ta = CONSTANT(0.13272538654977692)*a[7] + CONSTANT(0.04501515779454614)*a[21];
	tb = CONSTANT(0.13272538654977692)*b[7] + CONSTANT(0.04501515779454614)*b[21];
	c[22] += ta*b[23] + tb*a[23];
	c[23] += ta*b[22] + tb*a[22];
	t = a[22]*b[23] + a[23]*b[22];
	c[7] += CONSTANT(0.13272538654977692)*t;
	c[21] += CONSTANT(0.04501515779454614)*t;

	//[22,26]: 10,28,
	ta = CONSTANT(0.10135869117665945)*a[10] + CONSTANT(0.08404218696862148)*a[28];
	tb = CONSTANT(0.10135869117665945)*b[10] + CONSTANT(0.08404218696862148)*b[28];
	c[22] += ta*b[26] + tb*a[26];
	c[26] += ta*b[22] + tb*a[22];
	t = a[22]*b[26] + a[26]*b[22];
	c[10] += CONSTANT(0.10135869117665945)*t;
	c[28] += CONSTANT(0.08404218696862148)*t;

	//[22,32]: 2,12,34,
	ta = CONSTANT(0.22503379560768882)*a[2] + CONSTANT(0.02266449235814187)*a[12] + CONSTANT(0.08404218696862148)*a[34];
	tb = CONSTANT(0.22503379560768882)*b[2] + CONSTANT(0.02266449235814187)*b[12] + CONSTANT(0.08404218696862148)*b[34];
	c[22] += ta*b[32] + tb*a[32];
	c[32] += ta*b[22] + tb*a[22];
	t = a[22]*b[32] + a[32]*b[22];
	c[2] += CONSTANT(0.22503379560768882)*t;
	c[12] += CONSTANT(0.02266449235814187)*t;
	c[34] += CONSTANT(0.08404218696862148)*t;

	//[22,33]: 3,13,35,
	ta = CONSTANT(0.18373932470686666)*a[3] + CONSTANT(0.10199021561163840)*a[13] + CONSTANT(0.13019759620332838)*a[35];
	tb = CONSTANT(0.18373932470686666)*b[3] + CONSTANT(0.10199021561163840)*b[13] + CONSTANT(0.13019759620332838)*b[35];
	c[22] += ta*b[33] + tb*a[33];
	c[33] += ta*b[22] + tb*a[22];
	t = a[22]*b[33] + a[33]*b[22];
	c[3] += CONSTANT(0.18373932470686666)*t;
	c[13] += CONSTANT(0.10199021561163840)*t;
	c[35] += CONSTANT(0.13019759620332838)*t;

	//[23,23]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.05734392095500365)*a[6] + CONSTANT(-0.15978795897681211)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.05734392095500365)*b[6] + CONSTANT(-0.15978795897681211)*b[20];
	c[23] += ta*b[23] + tb*a[23];
	t = a[23]*b[23];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.05734392095500365)*t;
	c[20] += CONSTANT(-0.15978795897681211)*t;

	//[23,25]: 10,28,
	ta = CONSTANT(0.14991152592791812)*a[10] + CONSTANT(-0.09944005665050791)*a[28];
	tb = CONSTANT(0.14991152592791812)*b[10] + CONSTANT(-0.09944005665050791)*b[28];
	c[23] += ta*b[25] + tb*a[25];
	c[25] += ta*b[23] + tb*a[23];
	t = a[23]*b[25] + a[25]*b[23];
	c[10] += CONSTANT(0.14991152592791812)*t;
	c[28] += CONSTANT(-0.09944005665050791)*t;

	//[23,26]: 1,11,29,
	ta = CONSTANT(0.20834081110170641)*a[1] + CONSTANT(0.02998230518558362)*a[11] + CONSTANT(-0.11885360062251987)*a[29];
	tb = CONSTANT(0.20834081110170641)*b[1] + CONSTANT(0.02998230518558362)*b[11] + CONSTANT(-0.11885360062251987)*b[29];
	c[23] += ta*b[26] + tb*a[26];
	c[26] += ta*b[23] + tb*a[23];
	t = a[23]*b[26] + a[26]*b[23];
	c[1] += CONSTANT(0.20834081110170641)*t;
	c[11] += CONSTANT(0.02998230518558362)*t;
	c[29] += CONSTANT(-0.11885360062251987)*t;

	//[23,28]: 1,11,29,
	ta = CONSTANT(0.06014281168637758)*a[1] + CONSTANT(-0.12117204378875551)*a[11] + CONSTANT(-0.03431007915678407)*a[29];
	tb = CONSTANT(0.06014281168637758)*b[1] + CONSTANT(-0.12117204378875551)*b[11] + CONSTANT(-0.03431007915678407)*b[29];
	c[23] += ta*b[28] + tb*a[28];
	c[28] += ta*b[23] + tb*a[23];
	t = a[23]*b[28] + a[28]*b[23];
	c[1] += CONSTANT(0.06014281168637758)*t;
	c[11] += CONSTANT(-0.12117204378875551)*t;
	c[29] += CONSTANT(-0.03431007915678407)*t;

	//[23,30]: 15,33,
	ta = CONSTANT(0.09814013073014567)*a[15] + CONSTANT(-0.13019759620332838)*a[33];
	tb = CONSTANT(0.09814013073014567)*b[15] + CONSTANT(-0.13019759620332838)*b[33];
	c[23] += ta*b[30] + tb*a[30];
	c[30] += ta*b[23] + tb*a[23];
	t = a[23]*b[30] + a[30]*b[23];
	c[15] += CONSTANT(0.09814013073014567)*t;
	c[33] += CONSTANT(-0.13019759620332838)*t;

	//[23,31]: 14,32,34,
	ta = CONSTANT(-0.11379365909044613)*a[14] + CONSTANT(0.03431007915678407)*a[32] + CONSTANT(-0.11885360062251987)*a[34];
	tb = CONSTANT(-0.11379365909044613)*b[14] + CONSTANT(0.03431007915678407)*b[32] + CONSTANT(-0.11885360062251987)*b[34];
	c[23] += ta*b[31] + tb*a[31];
	c[31] += ta*b[23] + tb*a[23];
	t = a[23]*b[31] + a[31]*b[23];
	c[14] += CONSTANT(-0.11379365909044613)*t;
	c[32] += CONSTANT(0.03431007915678407)*t;
	c[34] += CONSTANT(-0.11885360062251987)*t;

	//[23,32]: 3,13,35,
	ta = CONSTANT(-0.06014281168637758)*a[3] + CONSTANT(0.12117204378875551)*a[13] + CONSTANT(-0.09944005665050791)*a[35];
	tb = CONSTANT(-0.06014281168637758)*b[3] + CONSTANT(0.12117204378875551)*b[13] + CONSTANT(-0.09944005665050791)*b[35];
	c[23] += ta*b[32] + tb*a[32];
	c[32] += ta*b[23] + tb*a[23];
	t = a[23]*b[32] + a[32]*b[23];
	c[3] += CONSTANT(-0.06014281168637758)*t;
	c[13] += CONSTANT(0.12117204378875551)*t;
	c[35] += CONSTANT(-0.09944005665050791)*t;

	//[23,33]: 2,12,
	ta = CONSTANT(0.19642560043722951)*a[2] + CONSTANT(-0.10386175181893331)*a[12];
	tb = CONSTANT(0.19642560043722951)*b[2] + CONSTANT(-0.10386175181893331)*b[12];
	c[23] += ta*b[33] + tb*a[33];
	c[33] += ta*b[23] + tb*a[23];
	t = a[23]*b[33] + a[33]*b[23];
	c[2] += CONSTANT(0.19642560043722951)*t;
	c[12] += CONSTANT(-0.10386175181893331)*t;

	//[23,34]: 3,13,
	ta = CONSTANT(0.20834081110170641)*a[3] + CONSTANT(0.02998230518558362)*a[13];
	tb = CONSTANT(0.20834081110170641)*b[3] + CONSTANT(0.02998230518558362)*b[13];
	c[23] += ta*b[34] + tb*a[34];
	c[34] += ta*b[23] + tb*a[23];
	t = a[23]*b[34] + a[34]*b[23];
	c[3] += CONSTANT(0.20834081110170641)*t;
	c[13] += CONSTANT(0.02998230518558362)*t;

	//[24,24]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.22937568382001458)*a[6] + CONSTANT(0.10652530598454139)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.22937568382001458)*b[6] + CONSTANT(0.10652530598454139)*b[20];
	c[24] += ta*b[24] + tb*a[24];
	t = a[24]*b[24];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.22937568382001458)*t;
	c[20] += CONSTANT(0.10652530598454139)*t;

	//[24,25]: 1,11,29,
	ta = CONSTANT(0.23293210805542919)*a[1] + CONSTANT(-0.13408494503421886)*a[11] + CONSTANT(0.05315294607251316)*a[29];
	tb = CONSTANT(0.23293210805542919)*b[1] + CONSTANT(-0.13408494503421886)*b[11] + CONSTANT(0.05315294607251316)*b[29];
	c[24] += ta*b[25] + tb*a[25];
	c[25] += ta*b[24] + tb*a[24];
	t = a[24]*b[25] + a[25]*b[24];
	c[1] += CONSTANT(0.23293210805542919)*t;
	c[11] += CONSTANT(-0.13408494503421886)*t;
	c[29] += CONSTANT(0.05315294607251316)*t;

	//[24,27]: 1,11,29,
	ta = CONSTANT(0.03472346851695107)*a[1] + CONSTANT(-0.11992922074233449)*a[11] + CONSTANT(0.11885360062251987)*a[29];
	tb = CONSTANT(0.03472346851695107)*b[1] + CONSTANT(-0.11992922074233449)*b[11] + CONSTANT(0.11885360062251987)*b[29];
	c[24] += ta*b[27] + tb*a[27];
	c[27] += ta*b[24] + tb*a[24];
	t = a[24]*b[27] + a[27]*b[24];
	c[1] += CONSTANT(0.03472346851695107)*t;
	c[11] += CONSTANT(-0.11992922074233449)*t;
	c[29] += CONSTANT(0.11885360062251987)*t;

	//[24,29]: 9,
	ta = CONSTANT(-0.03583570893160450)*a[9];
	tb = CONSTANT(-0.03583570893160450)*b[9];
	c[24] += ta*b[29] + tb*a[29];
	c[29] += ta*b[24] + tb*a[24];
	t = a[24]*b[29] + a[29]*b[24];
	c[9] += CONSTANT(-0.03583570893160450)*t;

	//[24,30]: 34,
	ta = CONSTANT(0.13019759620332838)*a[34];
	tb = CONSTANT(0.13019759620332838)*b[34];
	c[24] += ta*b[30] + tb*a[30];
	c[30] += ta*b[24] + tb*a[24];
	t = a[24]*b[30] + a[30]*b[24];
	c[34] += CONSTANT(0.13019759620332838)*t;

	//[24,31]: 15,33,35,
	ta = CONSTANT(0.03583570893160450)*a[15] + CONSTANT(-0.11885360062251987)*a[33] + CONSTANT(0.05315294607251316)*a[35];
	tb = CONSTANT(0.03583570893160450)*b[15] + CONSTANT(-0.11885360062251987)*b[33] + CONSTANT(0.05315294607251316)*b[35];
	c[24] += ta*b[31] + tb*a[31];
	c[31] += ta*b[24] + tb*a[24];
	t = a[24]*b[31] + a[31]*b[24];
	c[15] += CONSTANT(0.03583570893160450)*t;
	c[33] += CONSTANT(-0.11885360062251987)*t;
	c[35] += CONSTANT(0.05315294607251316)*t;

	//[24,34]: 2,12,
	ta = CONSTANT(0.14731920032792215)*a[2] + CONSTANT(-0.20772350363786662)*a[12];
	tb = CONSTANT(0.14731920032792215)*b[2] + CONSTANT(-0.20772350363786662)*b[12];
	c[24] += ta*b[34] + tb*a[34];
	c[34] += ta*b[24] + tb*a[24];
	t = a[24]*b[34] + a[34]*b[24];
	c[2] += CONSTANT(0.14731920032792215)*t;
	c[12] += CONSTANT(-0.20772350363786662)*t;

	//[25,25]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.24260889634809235)*a[6] + CONSTANT(0.13019759620332838)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.24260889634809235)*b[6] + CONSTANT(0.13019759620332838)*b[20];
	c[25] += ta*b[25] + tb*a[25];
	t = a[25]*b[25];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.24260889634809235)*t;
	c[20] += CONSTANT(0.13019759620332838)*t;

	//[25,26]: 7,21,
	ta = CONSTANT(0.13288236518128288)*a[7] + CONSTANT(-0.13019759620332838)*a[21];
	tb = CONSTANT(0.13288236518128288)*b[7] + CONSTANT(-0.13019759620332838)*b[21];
	c[25] += ta*b[26] + tb*a[26];
	c[26] += ta*b[25] + tb*a[25];
	t = a[25]*b[26] + a[26]*b[25];
	c[7] += CONSTANT(0.13288236518128288)*t;
	c[21] += CONSTANT(-0.13019759620332838)*t;

	//[25,27]: 8,22,
	ta = CONSTANT(-0.06264134767986153)*a[8] + CONSTANT(0.13019759620332838)*a[22];
	tb = CONSTANT(-0.06264134767986153)*b[8] + CONSTANT(0.13019759620332838)*b[22];
	c[25] += ta*b[27] + tb*a[27];
	c[27] += ta*b[25] + tb*a[25];
	t = a[25]*b[27] + a[27]*b[25];
	c[8] += CONSTANT(-0.06264134767986153)*t;
	c[22] += CONSTANT(0.13019759620332838)*t;

	//[25,33]: 4,18,
	ta = CONSTANT(-0.06264134767986153)*a[4] + CONSTANT(0.13019759620332838)*a[18];
	tb = CONSTANT(-0.06264134767986153)*b[4] + CONSTANT(0.13019759620332838)*b[18];
	c[25] += ta*b[33] + tb*a[33];
	c[33] += ta*b[25] + tb*a[25];
	t = a[25]*b[33] + a[33]*b[25];
	c[4] += CONSTANT(-0.06264134767986153)*t;
	c[18] += CONSTANT(0.13019759620332838)*t;

	//[25,34]: 5,19,
	ta = CONSTANT(0.13288236518128288)*a[5] + CONSTANT(-0.13019759620332838)*a[19];
	tb = CONSTANT(0.13288236518128288)*b[5] + CONSTANT(-0.13019759620332838)*b[19];
	c[25] += ta*b[34] + tb*a[34];
	c[34] += ta*b[25] + tb*a[25];
	t = a[25]*b[34] + a[34]*b[25];
	c[5] += CONSTANT(0.13288236518128288)*t;
	c[19] += CONSTANT(-0.13019759620332838)*t;

	//[26,26]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.09704355853923695)*a[6] + CONSTANT(-0.13019759620332838)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.09704355853923695)*b[6] + CONSTANT(-0.13019759620332838)*b[20];
	c[26] += ta*b[26] + tb*a[26];
	t = a[26]*b[26];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.09704355853923695)*t;
	c[20] += CONSTANT(-0.13019759620332838)*t;

	//[27,27]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.01617392642320616)*a[6] + CONSTANT(-0.13019759620332838)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.01617392642320616)*b[6] + CONSTANT(-0.13019759620332838)*b[20];
	c[27] += ta*b[27] + tb*a[27];
	t = a[27]*b[27];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.01617392642320616)*t;
	c[20] += CONSTANT(-0.13019759620332838)*t;

	//[27,28]: 7,21,
	ta = CONSTANT(0.11436693052261353)*a[7] + CONSTANT(0.08404218696862148)*a[21];
	tb = CONSTANT(0.11436693052261353)*b[7] + CONSTANT(0.08404218696862148)*b[21];
	c[27] += ta*b[28] + tb*a[28];
	c[28] += ta*b[27] + tb*a[27];
	t = a[27]*b[28] + a[28]*b[27];
	c[7] += CONSTANT(0.11436693052261353)*t;
	c[21] += CONSTANT(0.08404218696862148)*t;

	//[28,28]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.09704355853923695)*a[6] + CONSTANT(-0.02169959936722140)*a[20] + CONSTANT(-0.12837656111777973)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.09704355853923695)*b[6] + CONSTANT(-0.02169959936722140)*b[20] + CONSTANT(-0.12837656111777973)*b[24];
	c[28] += ta*b[28] + tb*a[28];
	t = a[28]*b[28];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.09704355853923695)*t;
	c[20] += CONSTANT(-0.02169959936722140)*t;
	c[24] += CONSTANT(-0.12837656111777973)*t;

	//[29,29]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.14556533780885542)*a[6] + CONSTANT(-0.14007031161436911)*a[8] + CONSTANT(0.08679839746888558)*a[20] + CONSTANT(-0.09704355853923695)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.14556533780885542)*b[6] + CONSTANT(-0.14007031161436911)*b[8] + CONSTANT(0.08679839746888558)*b[20] + CONSTANT(-0.09704355853923695)*b[22];
	c[29] += ta*b[29] + tb*a[29];
	t = a[29]*b[29];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.14556533780885542)*t;
	c[8] += CONSTANT(-0.14007031161436911)*t;
	c[20] += CONSTANT(0.08679839746888558)*t;
	c[22] += CONSTANT(-0.09704355853923695)*t;

	//[30,30]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.16173926423206153)*a[6] + CONSTANT(0.13019759620332838)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.16173926423206153)*b[6] + CONSTANT(0.13019759620332838)*b[20];
	c[30] += ta*b[30] + tb*a[30];
	t = a[30]*b[30];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.16173926423206153)*t;
	c[20] += CONSTANT(0.13019759620332838)*t;

	//[30,31]: 7,21,
	ta = CONSTANT(0.03616599894536899)*a[7] + CONSTANT(0.05315294607251316)*a[21];
	tb = CONSTANT(0.03616599894536899)*b[7] + CONSTANT(0.05315294607251316)*b[21];
	c[30] += ta*b[31] + tb*a[31];
	c[31] += ta*b[30] + tb*a[30];
	t = a[30]*b[31] + a[31]*b[30];
	c[7] += CONSTANT(0.03616599894536899)*t;
	c[21] += CONSTANT(0.05315294607251316)*t;

	//[30,32]: 8,22,
	ta = CONSTANT(-0.19137247825134121)*a[8] + CONSTANT(-0.09944005665050791)*a[22];
	tb = CONSTANT(-0.19137247825134121)*b[8] + CONSTANT(-0.09944005665050791)*b[22];
	c[30] += ta*b[32] + tb*a[32];
	c[32] += ta*b[30] + tb*a[30];
	t = a[30]*b[32] + a[32]*b[30];
	c[8] += CONSTANT(-0.19137247825134121)*t;
	c[22] += CONSTANT(-0.09944005665050791)*t;

	//[31,31]: 0,6,8,20,22,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.14556533780885542)*a[6] + CONSTANT(0.14007031161436911)*a[8] + CONSTANT(0.08679839746888558)*a[20] + CONSTANT(0.09704355853923695)*a[22];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.14556533780885542)*b[6] + CONSTANT(0.14007031161436911)*b[8] + CONSTANT(0.08679839746888558)*b[20] + CONSTANT(0.09704355853923695)*b[22];
	c[31] += ta*b[31] + tb*a[31];
	t = a[31]*b[31];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.14556533780885542)*t;
	c[8] += CONSTANT(0.14007031161436911)*t;
	c[20] += CONSTANT(0.08679839746888558)*t;
	c[22] += CONSTANT(0.09704355853923695)*t;

	//[32,32]: 0,6,20,24,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.09704355853923695)*a[6] + CONSTANT(-0.02169959936722140)*a[20] + CONSTANT(0.12837656111777973)*a[24];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.09704355853923695)*b[6] + CONSTANT(-0.02169959936722140)*b[20] + CONSTANT(0.12837656111777973)*b[24];
	c[32] += ta*b[32] + tb*a[32];
	t = a[32]*b[32];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.09704355853923695)*t;
	c[20] += CONSTANT(-0.02169959936722140)*t;
	c[24] += CONSTANT(0.12837656111777973)*t;

	//[33,33]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(0.01617392642320616)*a[6] + CONSTANT(-0.13019759620332838)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(0.01617392642320616)*b[6] + CONSTANT(-0.13019759620332838)*b[20];
	c[33] += ta*b[33] + tb*a[33];
	t = a[33]*b[33];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(0.01617392642320616)*t;
	c[20] += CONSTANT(-0.13019759620332838)*t;

	//[34,34]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.09704355853923695)*a[6] + CONSTANT(-0.13019759620332838)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.09704355853923695)*b[6] + CONSTANT(-0.13019759620332838)*b[20];
	c[34] += ta*b[34] + tb*a[34];
	t = a[34]*b[34];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.09704355853923695)*t;
	c[20] += CONSTANT(-0.13019759620332838)*t;

	//[35,35]: 0,6,20,
	ta = CONSTANT(0.28209479177387814)*a[0] + CONSTANT(-0.24260889634809235)*a[6] + CONSTANT(0.13019759620332838)*a[20];
	tb = CONSTANT(0.28209479177387814)*b[0] + CONSTANT(-0.24260889634809235)*b[6] + CONSTANT(0.13019759620332838)*b[20];
	c[35] += ta*b[35] + tb*a[35];
	t = a[35]*b[35];
	c[0] += CONSTANT(0.28209479177387814)*t;
	c[6] += CONSTANT(-0.24260889634809235)*t;
	c[20] += CONSTANT(0.13019759620332838)*t;
}

/*
revision history:
	0.01 (2011-09-25)
			First released version
*/
#endif // !XHY_HEADER_FILE_ONLY