TL9 := Matrix(9, 9, {(1, 1) = 112126192*x1, (1, 2) = 721758963*x2, (1, 3) = 
642335023*x3, (1, 4) = 843729558*x4, (1, 5) = 920011032*x5, (1, 6) = 512235386*
x6, (1, 7) = 865590775*x7, (1, 8) = 647922261*x8, (1, 9) = 618022934*x9, (2, 2)
= 112126192*x1, (2, 3) = 721758963*x2, (2, 4) = 642335023*x3, (2, 5) = 
843729558*x4, (2, 6) = 920011032*x5, (2, 7) = 512235386*x6, (2, 8) = 865590775*
x7, (2, 9) = 647922261*x8, (3, 3) = 112126192*x1, (3, 4) = 721758963*x2, (3, 5)
= 642335023*x3, (3, 6) = 843729558*x4, (3, 7) = 920011032*x5, (3, 8) = 
512235386*x6, (3, 9) = 865590775*x7, (4, 4) = 112126192*x1, (4, 5) = 721758963*
x2, (4, 6) = 642335023*x3, (4, 7) = 843729558*x4, (4, 8) = 920011032*x5, (4, 9)
= 512235386*x6, (5, 5) = 112126192*x1, (5, 6) = 721758963*x2, (5, 7) = 
642335023*x3, (5, 8) = 843729558*x4, (5, 9) = 920011032*x5, (6, 6) = 112126192*
x1, (6, 7) = 721758963*x2, (6, 8) = 642335023*x3, (6, 9) = 843729558*x4, (7, 7)
= 112126192*x1, (7, 8) = 721758963*x2, (7, 9) = 642335023*x3, (8, 8) = 
112126192*x1, (8, 9) = 721758963*x2, (9, 9) = 112126192*x1}, storage = 
triangular[upper], shape = [symmetric]);
BL9 := Matrix(18, 18, [[112126192*x1,721758963*x2,112126192*x1+642335023*x3,
112126192*x1+843729558*x4,920011032*x5+843729558*x4,642335023*x3+843729558*x4+
920011032*x5+512235386*x6,843729558*x4+512235386*x6+865590775*x7,112126192*x1+
721758963*x2+642335023*x3+920011032*x5+512235386*x6+647922261*x8,112126192*x1+
721758963*x2+512235386*x6+647922261*x8+618022934*x9,112126192*x1+642335023*x3+
843729558*x4+920011032*x5+512235386*x6,112126192*x1+843729558*x4+920011032*x5+
865590775*x7+647922261*x8+618022934*x9,721758963*x2+512235386*x6,112126192*x1+
721758963*x2+642335023*x3+843729558*x4+920011032*x5+865590775*x7+647922261*x8+
618022934*x9,112126192*x1+721758963*x2,112126192*x1+920011032*x5+618022934*x9,
112126192*x1+721758963*x2+642335023*x3+843729558*x4+647922261*x8+618022934*x9,
112126192*x1+721758963*x2+642335023*x3+843729558*x4+512235386*x6+865590775*x7+
647922261*x8+618022934*x9,642335023*x3+920011032*x5+512235386*x6],[112126192*x1
+721758963*x2,112126192*x1+721758963*x2,112126192*x1+1443517926*x2+642335023*x3
,112126192*x1+721758963*x2+843729558*x4+642335023*x3,1687459116*x4+642335023*x3
+920011032*x5,1284670046*x3+721758963*x2+1687459116*x4+1840022064*x5+512235386*
x6,843729558*x4+642335023*x3+1024470772*x6+920011032*x5+865590775*x7,224252384*
x1+2165276889*x2+642335023*x3+1840022064*x5+843729558*x4+512235386*x6+647922261
*x8+865590775*x7,224252384*x1+1443517926*x2+512235386*x6+920011032*x5+
1295844522*x8+865590775*x7+618022934*x9,112126192*x1+1443517926*x2+1284670046*
x3+1687459116*x4+1840022064*x5+512235386*x6,112126192*x1+721758963*x2+
1687459116*x4+642335023*x3+920011032*x5+1731181550*x7+512235386*x6+1295844522*
x8+618022934*x9,112126192*x1+721758963*x2+512235386*x6+920011032*x5,224252384*
x1+2165276889*x2+1284670046*x3+1687459116*x4+920011032*x5+1731181550*x7+
512235386*x6+1295844522*x8+618022934*x9,224252384*x1+1443517926*x2,112126192*x1
+721758963*x2+920011032*x5+843729558*x4+618022934*x9+647922261*x8,224252384*x1+
2165276889*x2+1284670046*x3+843729558*x4+1295844522*x8+865590775*x7+618022934*
x9,224252384*x1+2165276889*x2+1284670046*x3+843729558*x4+1024470772*x6+
920011032*x5+1731181550*x7+1295844522*x8+618022934*x9,642335023*x3+721758963*x2
+1840022064*x5+843729558*x4+512235386*x6],[112126192*x1+721758963*x2+642335023*
x3,1443517926*x2+112126192*x1,224252384*x1+1443517926*x2+1284670046*x3,
112126192*x1+1443517926*x2+1284670046*x3+843729558*x4,1687459116*x4+1284670046*
x3+721758963*x2+920011032*x5,112126192*x1+1443517926*x2+1927005069*x3+
2531188674*x4+1840022064*x5+512235386*x6,1687459116*x4+642335023*x3+721758963*
x2+1024470772*x6+1840022064*x5+865590775*x7,336378576*x1+2887035852*x2+
1927005069*x3+1840022064*x5+1687459116*x4+1024470772*x6+647922261*x8+865590775*
x7,224252384*x1+2165276889*x2+642335023*x3+1024470772*x6+920011032*x5+843729558
*x4+1295844522*x8+1731181550*x7+618022934*x9,224252384*x1+2165276889*x2+
2569340092*x3+2531188674*x4+1840022064*x5+512235386*x6,112126192*x1+1443517926*
x2+1927005069*x3+1687459116*x4+1840022064*x5+2596772325*x7+1024470772*x6+
1295844522*x8+618022934*x9,1443517926*x2+112126192*x1+512235386*x6+920011032*x5
+843729558*x4,336378576*x1+3608794815*x2+2569340092*x3+1687459116*x4+1840022064
*x5+2596772325*x7+1024470772*x6+1295844522*x8+618022934*x9,224252384*x1+
2165276889*x2+642335023*x3,112126192*x1+721758963*x2+1284670046*x3+920011032*x5
+843729558*x4+618022934*x9+647922261*x8+865590775*x7,336378576*x1+3608794815*x2
+1927005069*x3+843729558*x4+1295844522*x8+1731181550*x7+512235386*x6+618022934*
x9,336378576*x1+3608794815*x2+1927005069*x3+1687459116*x4+1536706158*x6+
1840022064*x5+2596772325*x7+1295844522*x8+618022934*x9,112126192*x1+721758963*
x2+1284670046*x3+1840022064*x5+1687459116*x4+512235386*x6],[721758963*x2+
843729558*x4,112126192*x1+642335023*x3,2165276889*x2+843729558*x4,112126192*x1+
721758963*x2+843729558*x4+642335023*x3,112126192*x1+721758963*x2+843729558*x4+
642335023*x3,2165276889*x2+112126192*x1+1284670046*x3+843729558*x4+920011032*x5
,512235386*x6+920011032*x5+843729558*x4+1284670046*x3+112126192*x1,2887035852*
x2+1687459116*x4+112126192*x1+1284670046*x3+1840022064*x5+865590775*x7,
721758963*x2+843729558*x4+112126192*x1+1284670046*x3+1840022064*x5+865590775*x7
+647922261*x8+512235386*x6,2887035852*x2+1687459116*x4+112126192*x1+1284670046*
x3+920011032*x5,1443517926*x2+2531188674*x4+112126192*x1+642335023*x3+
1024470772*x6+865590775*x7+920011032*x5+647922261*x8,1284670046*x3+112126192*x1
+920011032*x5,2887035852*x2+2531188674*x4+224252384*x1+1284670046*x3+1024470772
*x6+865590775*x7+920011032*x5+647922261*x8,112126192*x1+721758963*x2+843729558*
x4+642335023*x3,1443517926*x2+1687459116*x4+647922261*x8+512235386*x6,
2165276889*x2+843729558*x4+224252384*x1+1284670046*x3+865590775*x7+920011032*x5
+647922261*x8+512235386*x6,2165276889*x2+1687459116*x4+224252384*x1+1927005069*
x3+1840022064*x5+1024470772*x6+865590775*x7+647922261*x8,2165276889*x2+
843729558*x4+920011032*x5+642335023*x3],[112126192*x1+642335023*x3+843729558*x4
+920011032*x5,1443517926*x2+642335023*x3+843729558*x4,224252384*x1+1927005069*
x3+843729558*x4+920011032*x5+721758963*x2,224252384*x1+642335023*x3+1687459116*
x4+920011032*x5+1443517926*x2,843729558*x4+2165276889*x2+224252384*x1+920011032
*x5+642335023*x3,2569340092*x3+336378576*x1+3608794815*x2+1687459116*x4+
920011032*x5+512235386*x6,2531188674*x4+2165276889*x2+112126192*x1+512235386*x6
+1284670046*x3+865590775*x7+920011032*x5,336378576*x1+3854010138*x3+3374918232*
x4+2760033096*x5+3608794815*x2+1024470772*x6+647922261*x8,112126192*x1+
1927005069*x3+3374918232*x4+2760033096*x5+2165276889*x2+1536706158*x6+647922261
*x8+618022934*x9+865590775*x7,448504768*x1+3211675115*x3+2531188674*x4+
1840022064*x5+3608794815*x2+512235386*x6,336378576*x1+1927005069*x3+3374918232*
x4+4600055160*x5+2165276889*x2+1731181550*x7+647922261*x8+1024470772*x6+
618022934*x9,2165276889*x2+1284670046*x3+1687459116*x4+512235386*x6,618022934*
x9+448504768*x1+4330553778*x2+3854010138*x3+4218647790*x4+647922261*x8+
4600055160*x5+1024470772*x6+1731181550*x7,112126192*x1+1284670046*x3+1687459116
*x4+920011032*x5+1443517926*x2,224252384*x1+1284670046*x3+843729558*x4+
2760033096*x5+721758963*x2+618022934*x9+865590775*x7+512235386*x6,336378576*x1+
2569340092*x3+3374918232*x4+2760033096*x5+3608794815*x2+647922261*x8+1024470772
*x6+618022934*x9+865590775*x7,618022934*x9+336378576*x1+4330553778*x2+
3854010138*x3+5062377348*x4+647922261*x8+3680044128*x5+1536706158*x6+1731181550
*x7,2569340092*x3+224252384*x1+2165276889*x2+920011032*x5+512235386*x6+
843729558*x4],[721758963*x2+642335023*x3+512235386*x6,112126192*x1+721758963*x2
+920011032*x5,642335023*x3+1443517926*x2+112126192*x1+843729558*x4+512235386*x6
,1443517926*x2+1927005069*x3+512235386*x6,1927005069*x3+1443517926*x2+843729558
*x4,2165276889*x2+224252384*x1+2531188674*x4+1927005069*x3+920011032*x5,
1284670046*x3+1443517926*x2+1840022064*x5+843729558*x4+112126192*x1+512235386*
x6,2887035852*x2+1927005069*x3+1024470772*x6+336378576*x1+1840022064*x5+
2531188674*x4+865590775*x7,1443517926*x2+1284670046*x3+1024470772*x6+224252384*
x1+1840022064*x5+1687459116*x4+1731181550*x7+647922261*x8,2887035852*x2+
2569340092*x3+512235386*x6+224252384*x1+2531188674*x4+920011032*x5,2887035852*
x2+3211675115*x3+1536706158*x6+1687459116*x4+920011032*x5+1731181550*x7+
647922261*x8,224252384*x1+721758963*x2+1840022064*x5+843729558*x4,4330553778*x2
+3211675115*x3+1536706158*x6+224252384*x1+1840022064*x5+2531188674*x4+
1731181550*x7+647922261*x8,1443517926*x2+642335023*x3+512235386*x6+112126192*x1
+920011032*x5,1443517926*x2+1284670046*x3+512235386*x6+1687459116*x4+647922261*
x8+865590775*x7,2887035852*x2+2569340092*x3+1024470772*x6+224252384*x1+
920011032*x5+1687459116*x4+1731181550*x7+647922261*x8,3608794815*x2+2569340092*
x3+1536706158*x6+336378576*x1+2760033096*x5+2531188674*x4+1731181550*x7+
647922261*x8,1443517926*x2+224252384*x1+2531188674*x4+642335023*x3+920011032*x5
],[721758963*x2+642335023*x3+865590775*x7,112126192*x1+721758963*x2+512235386*
x6,1443517926*x2+112126192*x1+642335023*x3+920011032*x5+865590775*x7,1443517926
*x2+1284670046*x3+865590775*x7+843729558*x4,1687459116*x4+1927005069*x3+
721758963*x2,112126192*x1+2165276889*x2+1840022064*x5+2531188674*x4+1927005069*
x3,1687459116*x4+642335023*x3+1443517926*x2+1840022064*x5+512235386*x6+
112126192*x1,3608794815*x2+1927005069*x3+1731181550*x7+224252384*x1+1024470772*
x6+1840022064*x5+1687459116*x4,2887035852*x2+1284670046*x3+2596772325*x7+
112126192*x1+1024470772*x6+920011032*x5+843729558*x4+647922261*x8,2887035852*x2
+2569340092*x3+865590775*x7+112126192*x1+1840022064*x5+2531188674*x4,2165276889
*x2+3211675115*x3+2596772325*x7+1687459116*x4+1024470772*x6+920011032*x5+
112126192*x1+647922261*x8,1443517926*x2+112126192*x1+512235386*x6+920011032*x5+
843729558*x4,3608794815*x2+3211675115*x3+2596772325*x7+336378576*x1+1536706158*
x6+1840022064*x5+1687459116*x4+647922261*x8,1443517926*x2+642335023*x3+
865590775*x7+112126192*x1+512235386*x6,721758963*x2+2569340092*x3+1731181550*x7
+843729558*x4+647922261*x8,3608794815*x2+1927005069*x3+2596772325*x7+224252384*
x1+1024470772*x6+920011032*x5+843729558*x4+647922261*x8,336378576*x1+4330553778
*x2+1927005069*x3+1687459116*x4+647922261*x8+2760033096*x5+1536706158*x6+
2596772325*x7,112126192*x1+1443517926*x2+1840022064*x5+1687459116*x4+1284670046
*x3],[721758963*x2+642335023*x3+843729558*x4+920011032*x5+647922261*x8,
112126192*x1+721758963*x2+642335023*x3+843729558*x4+865590775*x7,2165276889*x2+
1284670046*x3+843729558*x4+920011032*x5+647922261*x8+112126192*x1+512235386*x6,
2165276889*x2+1284670046*x3+843729558*x4+1840022064*x5+647922261*x8+112126192*
x1,1284670046*x3+2165276889*x2+224252384*x1+920011032*x5+1687459116*x4,
4330553778*x2+336378576*x1+3211675115*x3+512235386*x6+1840022064*x5+2531188674*
x4,2569340092*x3+2887035852*x2+112126192*x1+2760033096*x5+1687459116*x4+
512235386*x6,448504768*x1+4330553778*x2+3854010138*x3+5062377348*x4+647922261*
x8+2760033096*x5+1024470772*x6+1731181550*x7,224252384*x1+2887035852*x2+
2569340092*x3+3374918232*x4+1295844522*x8+3680044128*x5+1024470772*x6+
2596772325*x7,5052312741*x2+3854010138*x3+3374918232*x4+2760033096*x5+647922261
*x8+336378576*x1+512235386*x6,336378576*x1+4330553778*x2+2569340092*x3+
4218647790*x4+1295844522*x8+4600055160*x5+1536706158*x6+1731181550*x7,112126192
*x1+1443517926*x2+1927005069*x3+1687459116*x4+865590775*x7+920011032*x5,
560630960*x1+6495830667*x2+3854010138*x3+5062377348*x4+1295844522*x8+4600055160
*x5+2048941544*x6+2596772325*x7,1443517926*x2+1284670046*x3+1687459116*x4+
920011032*x5+647922261*x8+112126192*x1+865590775*x7,2165276889*x2+1284670046*x3
+2531188674*x4+1840022064*x5+1295844522*x8+112126192*x1+865590775*x7+512235386*
x6,448504768*x1+5052312741*x2+2569340092*x3+2531188674*x4+1295844522*x8+
3680044128*x5+1536706158*x6+2596772325*x7,448504768*x1+6495830667*x2+4496345161
*x3+4218647790*x4+1295844522*x8+5520066192*x5+2048941544*x6+2596772325*x7,
2887035852*x2+2569340092*x3+512235386*x6+224252384*x1+2531188674*x4+920011032*
x5],[112126192*x1+642335023*x3+512235386*x6+618022934*x9,1443517926*x2+
920011032*x5+647922261*x8,224252384*x1+1284670046*x3+512235386*x6+618022934*x9+
843729558*x4+865590775*x7,112126192*x1+1284670046*x3+1024470772*x6+618022934*x9
+843729558*x4+721758963*x2,512235386*x6+843729558*x4+1284670046*x3+1443517926*
x2+1840022064*x5,1927005069*x3+224252384*x1+3374918232*x4+865590775*x7+
1024470772*x6+1443517926*x2+1840022064*x5,1024470772*x6+2531188674*x4+
1284670046*x3+1443517926*x2+112126192*x1+865590775*x7+920011032*x5,336378576*x1
+2569340092*x3+1536706158*x6+618022934*x9+2887035852*x2+2760033096*x5+
1295844522*x8+2531188674*x4+865590775*x7,336378576*x1+1284670046*x3+1536706158*
x6+1236045868*x9+2165276889*x2+920011032*x5+1295844522*x8+2531188674*x4+
865590775*x7,336378576*x1+2569340092*x3+1536706158*x6+618022934*x9+3374918232*
x4+865590775*x7+1443517926*x2+1840022064*x5,224252384*x1+3211675115*x3+
1536706158*x6+1236045868*x9+1687459116*x4+2887035852*x2+2760033096*x5+
1731181550*x7+647922261*x8,1443517926*x2+920011032*x5+647922261*x8+512235386*x6
+1687459116*x4+112126192*x1,1236045868*x9+336378576*x1+4330553778*x2+3854010138
*x3+2531188674*x4+1295844522*x8+3680044128*x5+1536706158*x6+2596772325*x7,
112126192*x1+642335023*x3+512235386*x6+618022934*x9+1443517926*x2+920011032*x5+
647922261*x8,224252384*x1+1284670046*x3+512235386*x6+1236045868*x9+1840022064*
x5+721758963*x2+865590775*x7+843729558*x4,336378576*x1+2569340092*x3+1536706158
*x6+1236045868*x9+2887035852*x2+920011032*x5+1295844522*x8+2531188674*x4+
1731181550*x7,1236045868*x9+448504768*x1+3608794815*x2+3211675115*x3+4218647790
*x4+1295844522*x8+1840022064*x5+2048941544*x6+2596772325*x7,1284670046*x3+
224252384*x1+2531188674*x4+865590775*x7+1840022064*x5+721758963*x2+512235386*x6
],[112126192*x1+642335023*x3+843729558*x4+647922261*x8,1443517926*x2+642335023*
x3+865590775*x7,224252384*x1+1284670046*x3+843729558*x4+647922261*x8+721758963*
x2+512235386*x6,224252384*x1+642335023*x3+1687459116*x4+647922261*x8+721758963*
x2+920011032*x5,1687459116*x4+1443517926*x2+112126192*x1+1840022064*x5+
642335023*x3,2569340092*x3+224252384*x1+2165276889*x2+1024470772*x6+2531188674*
x4+1840022064*x5,2531188674*x4+1443517926*x2+112126192*x1+1840022064*x5+
512235386*x6+1284670046*x3+865590775*x7,336378576*x1+3854010138*x3+2531188674*
x4+1295844522*x8+2887035852*x2+865590775*x7+1536706158*x6+1840022064*x5,
224252384*x1+2569340092*x3+1687459116*x4+1295844522*x8+2165276889*x2+1731181550
*x7+1536706158*x6+920011032*x5+618022934*x9,448504768*x1+3211675115*x3+
3374918232*x4+647922261*x8+2165276889*x2+1024470772*x6+1840022064*x5,618022934*
x9+336378576*x1+3608794815*x2+1284670046*x3+3374918232*x4+1295844522*x8+
3680044128*x5+1024470772*x6+1731181550*x7,2165276889*x2+2569340092*x3+865590775
*x7+512235386*x6+843729558*x4+112126192*x1,618022934*x9+560630960*x1+5774071704
*x2+3211675115*x3+4218647790*x4+1295844522*x8+3680044128*x5+1536706158*x6+
2596772325*x7,1443517926*x2+1284670046*x3+1687459116*x4+920011032*x5+647922261*
x8+112126192*x1+865590775*x7,224252384*x1+1284670046*x3+2531188674*x4+647922261
*x8+1840022064*x5+1443517926*x2+618022934*x9+865590775*x7+1024470772*x6,
618022934*x9+560630960*x1+3608794815*x2+1927005069*x3+2531188674*x4+1295844522*
x8+1840022064*x5+1536706158*x6+2596772325*x7,618022934*x9+560630960*x1+
4330553778*x2+3211675115*x3+3374918232*x4+1943766783*x8+2760033096*x5+
2561176930*x6+2596772325*x7,2569340092*x3+224252384*x1+1443517926*x2+1024470772
*x6+1840022064*x5+1687459116*x4+647922261*x8+618022934*x9],[843729558*x4+
512235386*x6+865590775*x7,642335023*x3+920011032*x5+512235386*x6,1687459116*x4+
512235386*x6+865590775*x7+920011032*x5+721758963*x2,1687459116*x4+512235386*x6+
865590775*x7+112126192*x1+642335023*x3,112126192*x1+1443517926*x2+1284670046*x3
+843729558*x4,920011032*x5+1687459116*x4+2887035852*x2+224252384*x1+1927005069*
x3,336378576*x1+1284670046*x3+1687459116*x4+1443517926*x2,1687459116*x4+
1024470772*x6+865590775*x7+2569340092*x3+2760033096*x5+3608794815*x2+112126192*
x1,1687459116*x4+1536706158*x6+865590775*x7+2569340092*x3+1840022064*x5+
112126192*x1+1443517926*x2,2531188674*x4+512235386*x6+865590775*x7+920011032*x5
+3608794815*x2+224252384*x1+1927005069*x3,3374918232*x4+1024470772*x6+865590775
*x7+336378576*x1+2569340092*x3+2887035852*x2+920011032*x5,1284670046*x3+
920011032*x5+512235386*x6+224252384*x1+2165276889*x2,336378576*x1+5052312741*x2
+3854010138*x3+4218647790*x4+2760033096*x5+1536706158*x6+865590775*x7,
1687459116*x4+1024470772*x6+865590775*x7+1284670046*x3+920011032*x5,2531188674*
x4+1024470772*x6+865590775*x7+2165276889*x2+1927005069*x3+920011032*x5,
3374918232*x4+2048941544*x6+865590775*x7+3211675115*x3+2760033096*x5+2165276889
*x2+112126192*x1,336378576*x1+3608794815*x2+3211675115*x3+4218647790*x4+
3680044128*x5+1536706158*x6+1731181550*x7,920011032*x5+1687459116*x4+3608794815
*x2+1284670046*x3+112126192*x1+865590775*x7+647922261*x8],[618022934*x9,
647922261*x8,618022934*x9+865590775*x7,618022934*x9+512235386*x6,512235386*x6+
920011032*x5,865590775*x7+512235386*x6+920011032*x5+843729558*x4,512235386*x6+
843729558*x4+642335023*x3,618022934*x9+647922261*x8+865590775*x7+920011032*x5+
843729558*x4+721758963*x2,618022934*x9+647922261*x8+843729558*x4+721758963*x2+
112126192*x1,618022934*x9+865590775*x7+512235386*x6+920011032*x5+843729558*x4+
642335023*x3+721758963*x2,618022934*x9+512235386*x6+920011032*x5+642335023*x3+
1443517926*x2+224252384*x1,647922261*x8+843729558*x4+642335023*x3+2165276889*x2
+224252384*x1,618022934*x9+647922261*x8+865590775*x7+512235386*x6+920011032*x5+
1927005069*x3+3608794815*x2+336378576*x1,618022934*x9+647922261*x8+1284670046*
x3+721758963*x2+843729558*x4,618022934*x9+1840022064*x5+112126192*x1+1927005069
*x3+1443517926*x2+1687459116*x4,618022934*x9+647922261*x8+865590775*x7+
1024470772*x6+2165276889*x2+112126192*x1+1284670046*x3+920011032*x5,618022934*
x9+647922261*x8+1731181550*x7+1024470772*x6+1687459116*x4+1284670046*x3+
1443517926*x2+112126192*x1+920011032*x5,2596772325*x7+920011032*x5+1687459116*
x4+1284670046*x3+721758963*x2+512235386*x6+647922261*x8],[512235386*x6+
920011032*x5,920011032*x5+843729558*x4,642335023*x3+843729558*x4+920011032*x5+
512235386*x6,512235386*x6+920011032*x5+721758963*x2+642335023*x3,112126192*x1+
1443517926*x2+642335023*x3,843729558*x4+1284670046*x3+2165276889*x2+224252384*
x1,1284670046*x3+2165276889*x2+112126192*x1,512235386*x6+1840022064*x5+
2531188674*x4+1284670046*x3+224252384*x1+1443517926*x2,512235386*x6+2760033096*
x5+2531188674*x4+112126192*x1+721758963*x2+642335023*x3,512235386*x6+920011032*
x5+1687459116*x4+1284670046*x3+2887035852*x2+336378576*x1,512235386*x6+
1840022064*x5+2569340092*x3+2887035852*x2+224252384*x1+1687459116*x4,920011032*
x5+1687459116*x4+336378576*x1+3608794815*x2+1284670046*x3,448504768*x1+
5052312741*x2+4496345161*x3+5062377348*x4+2760033096*x5+512235386*x6,512235386*
x6+2760033096*x5+2531188674*x4+112126192*x1+721758963*x2+642335023*x3,
1024470772*x6+3680044128*x5+336378576*x1+2165276889*x2+3374918232*x4+1284670046
*x3,1024470772*x6+2760033096*x5+5906106906*x4+2569340092*x3+1443517926*x2+
224252384*x1+865590775*x7,224252384*x1+2887035852*x2+3211675115*x3+4218647790*
x4+647922261*x8+4600055160*x5+1024470772*x6+865590775*x7,2531188674*x4+
642335023*x3+336378576*x1+2887035852*x2+1840022064*x5+1295844522*x8+865590775*
x7+618022934*x9+512235386*x6],[721758963*x2+843729558*x4+618022934*x9,112126192
*x1+642335023*x3+647922261*x8,2165276889*x2+843729558*x4+618022934*x9+865590775
*x7,721758963*x2+843729558*x4+618022934*x9+642335023*x3+112126192*x1+512235386*
x6,642335023*x3+112126192*x1+512235386*x6+920011032*x5+843729558*x4+721758963*
x2,2165276889*x2+865590775*x7+1284670046*x3+112126192*x1+512235386*x6+
1840022064*x5+1687459116*x4,1927005069*x3+112126192*x1+1024470772*x6+920011032*
x5+1687459116*x4,3608794815*x2+2531188674*x4+618022934*x9+112126192*x1+
1284670046*x3+647922261*x8+1731181550*x7+2760033096*x5,1443517926*x2+1687459116
*x4+618022934*x9+224252384*x1+1284670046*x3+1295844522*x8+1840022064*x5+
865590775*x7+512235386*x6,2887035852*x2+2531188674*x4+618022934*x9+865590775*x7
+1284670046*x3+112126192*x1+512235386*x6+2760033096*x5,2165276889*x2+3374918232
*x4+618022934*x9+1284670046*x3+224252384*x1+1536706158*x6+1840022064*x5+
865590775*x7+647922261*x8,112126192*x1+1927005069*x3+647922261*x8+1840022064*x5
+1687459116*x4,618022934*x9+336378576*x1+4330553778*x2+2569340092*x3+3374918232
*x4+1295844522*x8+2760033096*x5+1536706158*x6+1731181550*x7,1443517926*x2+
843729558*x4+618022934*x9+224252384*x1+642335023*x3+647922261*x8,2887035852*x2+
1687459116*x4+618022934*x9+1840022064*x5+647922261*x8+512235386*x6+224252384*x1
,3608794815*x2+843729558*x4+618022934*x9+336378576*x1+1927005069*x3+1295844522*
x8+1731181550*x7+1024470772*x6+1840022064*x5,618022934*x9+336378576*x1+
3608794815*x2+2569340092*x3+3374918232*x4+1295844522*x8+2760033096*x5+
1536706158*x6+1731181550*x7,2165276889*x2+865590775*x7+3680044128*x5+2531188674
*x4+642335023*x3+112126192*x1],[112126192*x1+843729558*x4+865590775*x7+
647922261*x8+618022934*x9,721758963*x2+642335023*x3+512235386*x6+865590775*x7+
647922261*x8,112126192*x1+843729558*x4+1731181550*x7+647922261*x8+618022934*x9+
642335023*x3+721758963*x2+920011032*x5+512235386*x6,224252384*x1+2531188674*x4+
865590775*x7+647922261*x8+618022934*x9+920011032*x5+512235386*x6,512235386*x6+
2760033096*x5+2531188674*x4+112126192*x1+721758963*x2+642335023*x3,2569340092*
x3+2165276889*x2+3680044128*x5+1536706158*x6+865590775*x7+3374918232*x4+
112126192*x1,3374918232*x4+224252384*x1+920011032*x5+1024470772*x6+1927005069*
x3+1443517926*x2+865590775*x7,618022934*x9+224252384*x1+4330553778*x2+
3211675115*x3+2531188674*x4+1943766783*x8+3680044128*x5+1536706158*x6+
2596772325*x7,336378576*x1+1687459116*x4+1731181550*x7+1943766783*x8+1236045868
*x9+3608794815*x2+2569340092*x3+1536706158*x6+920011032*x5,618022934*x9+
224252384*x1+2165276889*x2+3211675115*x3+5062377348*x4+647922261*x8+3680044128*
x5+2048941544*x6+1731181550*x7,1236045868*x9+560630960*x1+4330553778*x2+
2569340092*x3+4218647790*x4+1295844522*x8+4600055160*x5+1024470772*x6+
1731181550*x7,2887035852*x2+3211675115*x3+1536706158*x6+865590775*x7+647922261*
x8+2531188674*x4+920011032*x5+112126192*x1,1236045868*x9+784883344*x1+
7217589630*x2+5138680184*x3+5906106906*x4+1943766783*x8+5520066192*x5+
2561176930*x6+3462363100*x7,224252384*x1+843729558*x4+1731181550*x7+1295844522*
x8+618022934*x9+2887035852*x2+1927005069*x3+512235386*x6,1236045868*x9+
448504768*x1+3608794815*x2+3854010138*x3+3374918232*x4+647922261*x8+1840022064*
x5+1024470772*x6+865590775*x7,1236045868*x9+560630960*x1+5052312741*x2+
3211675115*x3+4218647790*x4+1943766783*x8+3680044128*x5+2561176930*x6+
2596772325*x7,1236045868*x9+672757152*x1+5052312741*x2+5781015207*x3+5906106906
*x4+1943766783*x8+3680044128*x5+3585647702*x6+3462363100*x7,3608794815*x2+
4496345161*x3+3374918232*x4+3680044128*x5+2561176930*x6+1731181550*x7],[
721758963*x2+920011032*x5+512235386*x6+865590775*x7+647922261*x8+618022934*x9,
112126192*x1+843729558*x4+920011032*x5+512235386*x6+865590775*x7+647922261*x8,
1443517926*x2+1840022064*x5+1024470772*x6+1731181550*x7+647922261*x8+618022934*
x9+642335023*x3+843729558*x4,1443517926*x2+1840022064*x5+1024470772*x6+
865590775*x7+647922261*x8+618022934*x9+1284670046*x3+843729558*x4,112126192*x1+
1443517926*x2+1927005069*x3+2531188674*x4+1840022064*x5+512235386*x6,3608794815
*x2+3211675115*x3+4218647790*x4+3680044128*x5+1024470772*x6+865590775*x7+
224252384*x1,3211675115*x3+3608794815*x2+1687459116*x4+1840022064*x5+1024470772
*x6+224252384*x1,618022934*x9+448504768*x1+5052312741*x2+2569340092*x3+
5062377348*x4+1295844522*x8+4600055160*x5+1536706158*x6+3462363100*x7,618022934
*x9+448504768*x1+4330553778*x2+1927005069*x3+3374918232*x4+1943766783*x8+
3680044128*x5+1024470772*x6+2596772325*x7,618022934*x9+336378576*x1+5052312741*
x2+3211675115*x3+4218647790*x4+647922261*x8+5520066192*x5+2048941544*x6+
2596772325*x7,618022934*x9+560630960*x1+6495830667*x2+4496345161*x3+5062377348*
x4+1295844522*x8+4600055160*x5+2048941544*x6+1731181550*x7,448504768*x1+
3608794815*x2+1927005069*x3+3374918232*x4+647922261*x8+4600055160*x5+1536706158
*x6+1731181550*x7,618022934*x9+784883344*x1+9382866519*x2+7708020276*x3+
9281025138*x4+1943766783*x8+8280099288*x5+3585647702*x6+4327953875*x7,
2165276889*x2+2760033096*x5+1024470772*x6+1731181550*x7+1295844522*x8+618022934
*x9+224252384*x1+3374918232*x4+1927005069*x3,618022934*x9+560630960*x1+
5774071704*x2+3211675115*x3+5062377348*x4+1295844522*x8+5520066192*x5+
1536706158*x6+1731181550*x7,618022934*x9+560630960*x1+6495830667*x2+5138680184*
x3+5906106906*x4+1943766783*x8+5520066192*x5+3073412316*x6+5193544650*x7,
618022934*x9+784883344*x1+10104625482*x2+5781015207*x3+5906106906*x4+2591689044
*x8+7360088256*x5+3585647702*x6+5193544650*x7,618022934*x9+448504768*x1+
5052312741*x2+3854010138*x3+5906106906*x4+1295844522*x8+5520066192*x5+
1024470772*x6+2596772325*x7],[112126192*x1+642335023*x3+512235386*x6+618022934*
x9,1443517926*x2+920011032*x5+647922261*x8,224252384*x1+1284670046*x3+512235386
*x6+618022934*x9+843729558*x4+865590775*x7,112126192*x1+1284670046*x3+
1024470772*x6+618022934*x9+843729558*x4+721758963*x2,512235386*x6+843729558*x4+
1284670046*x3+1443517926*x2+1840022064*x5,1927005069*x3+224252384*x1+3374918232
*x4+865590775*x7+1024470772*x6+1443517926*x2+1840022064*x5,1024470772*x6+
2531188674*x4+1284670046*x3+1443517926*x2+112126192*x1+865590775*x7+920011032*
x5,336378576*x1+2569340092*x3+1536706158*x6+618022934*x9+2887035852*x2+
2760033096*x5+1295844522*x8+2531188674*x4+865590775*x7,336378576*x1+1284670046*
x3+1536706158*x6+1236045868*x9+2165276889*x2+920011032*x5+1295844522*x8+
2531188674*x4+865590775*x7,618022934*x9+448504768*x1+2165276889*x2+3211675115*
x3+4218647790*x4+647922261*x8+1840022064*x5+2048941544*x6+865590775*x7,
1236045868*x9+336378576*x1+4330553778*x2+3854010138*x3+1687459116*x4+647922261*
x8+3680044128*x5+1536706158*x6+2596772325*x7,5052312741*x2+1840022064*x5+
1295844522*x8+1536706158*x6+3374918232*x4+448504768*x1+1927005069*x3+865590775*
x7,1236045868*x9+784883344*x1+8661107556*x2+7065685253*x3+5062377348*x4+
1943766783*x8+5520066192*x5+2561176930*x6+3462363100*x7,224252384*x1+2569340092
*x3+512235386*x6+618022934*x9+3608794815*x2+2760033096*x5+647922261*x8+
2531188674*x4,1236045868*x9+560630960*x1+3608794815*x2+5138680184*x3+5062377348
*x4+647922261*x8+4600055160*x5+1536706158*x6+865590775*x7,1236045868*x9+
560630960*x1+5774071704*x2+4496345161*x3+5062377348*x4+1943766783*x8+2760033096
*x5+2561176930*x6+2596772325*x7,1236045868*x9+784883344*x1+4330553778*x2+
5781015207*x3+5906106906*x4+2591689044*x8+3680044128*x5+3585647702*x6+
3462363100*x7,618022934*x9+448504768*x1+3608794815*x2+3211675115*x3+5906106906*
x4+1943766783*x8+3680044128*x5+2048941544*x6+2596772325*x7],[642335023*x3+
920011032*x5+865590775*x7+618022934*x9,721758963*x2+843729558*x4+512235386*x6+
647922261*x8,1284670046*x3+1840022064*x5+1731181550*x7+618022934*x9+112126192*
x1,642335023*x3+920011032*x5+865590775*x7+618022934*x9+1443517926*x2+843729558*
x4+512235386*x6,1443517926*x2+843729558*x4+512235386*x6+1284670046*x3+112126192
*x1+920011032*x5,224252384*x1+1927005069*x3+1840022064*x5+865590775*x7+
2887035852*x2+2531188674*x4+512235386*x6,2887035852*x2+2531188674*x4+512235386*
x6+1284670046*x3+112126192*x1+920011032*x5,2569340092*x3+2760033096*x5+
1731181550*x7+618022934*x9+3608794815*x2+3374918232*x4+1024470772*x6+647922261*
x8+224252384*x1,1284670046*x3+1840022064*x5+1731181550*x7+618022934*x9+
3608794815*x2+3374918232*x4+1024470772*x6+647922261*x8+112126192*x1,3211675115*
x3+2760033096*x5+1731181550*x7+1236045868*x9+224252384*x1+3608794815*x2+
2531188674*x4+1024470772*x6,618022934*x9+448504768*x1+3608794815*x2+3854010138*
x3+1687459116*x4+647922261*x8+4600055160*x5+1024470772*x6+1731181550*x7,
4330553778*x2+3374918232*x4+1024470772*x6+1295844522*x8+642335023*x3+618022934*
x9+224252384*x1+920011032*x5+865590775*x7,1236045868*x9+672757152*x1+6495830667
*x2+6423350230*x3+3374918232*x4+1295844522*x8+5520066192*x5+2561176930*x6+
3462363100*x7,2569340092*x3+1840022064*x5+865590775*x7+618022934*x9+2165276889*
x2+1687459116*x4+1024470772*x6+647922261*x8,1236045868*x9+336378576*x1+
2165276889*x2+5138680184*x3+2531188674*x4+4600055160*x5+1024470772*x6+
1731181550*x7,1236045868*x9+224252384*x1+5774071704*x2+4496345161*x3+2531188674
*x4+647922261*x8+3680044128*x5+3073412316*x6+2596772325*x7,1236045868*x9+
448504768*x1+6495830667*x2+4496345161*x3+5906106906*x4+647922261*x8+4600055160*
x5+2561176930*x6+3462363100*x7,618022934*x9+336378576*x1+3608794815*x2+
3854010138*x3+3374918232*x4+647922261*x8+2760033096*x5+1024470772*x6+2596772325
*x7]]);
p := 16142666905152037366999648612646185373713102676471755798960315319796950010\
757017739;
pow := 273.0889827;
