Mathematics:

Cohomology
→Theory
→Implementation

Jena:

Faculty

David Green

External links:

Singular

Gap

Mod-2-Cohomology of N_Co3(Z_2(SylowSubgroup(Co3,2))), a group of order 3072

About the group

Ring generators

Ring relations

Completion information

Restriction maps

General information on the group

• N_Co3(Z_2(SylowSubgroup(Co3,2))) is a group of order 3072.
• The group order factors as 2¹⁰ · 3.
• The group is defined by Group([(2,249)(3,183)(4,238)(6,209)(7,242)(8,28)(9,130)(10,218)(11,90)(12,261)(13,87)(14,185)(16,53)(17,44)(18,74)(19,193)(20,57)(21,162)(22,166)(23,199)(24,62)(25,27)(26,233)(29,265)(30,214)(31,192)(32,129)(33,140)(34,63)(35,100)(36,125)(38,223)(40,245)(41,237)(42,147)(45,170)(46,82)(47,160)(48,165)(49,96)(50,81)(51,204)(52,114)(55,70)(56,158)(58,176)(59,157)(61,86)(64,78)(66,102)(68,152)(69,131)(71,126)(72,260)(73,215)(75,113)(76,273)(77,222)(79,206)(83,84)(85,103)(88,244)(89,94)(91,264)(92,201)(93,167)(95,197)(97,101)(98,179)(99,271)(105,194)(106,148)(107,124)(108,252)(109,205)(110,172)(111,207)(112,256)(115,270)(116,229)(118,196)(119,247)(120,173)(121,151)(122,235)(123,203)(128,161)(132,139)(133,269)(134,227)(135,195)(136,150)(141,168)(143,276)(144,208)(149,202)(154,253)(155,272)(156,267)(159,187)(164,224)(169,232)(174,236)(178,258)(180,259)(181,226)(186,228)(188,189)(191,251)(198,217)(210,225)(212,234)(213,254)(219,263)(220,266)(230,231)(239,243)(248,262)(250,274)(255,257),(1,15,200,138)(2,264,235,181)(3,173,183,120)(4,269,121,92)(5,190,37,67)(6,230,209,231)(7,155,242,272)(8,45,176,78)(9,83,55,253)(10,189,13,144)(11,239,47,143)(12,82,261,46)(16,125,19,79)(17,195,140,223)(18,180,156,233)(20,23,116,66)(21,162)(22,98,25,194)(24,204,210,257)(26,74,259,267)(27,105,166,179)(28,170,58,64)(29,139,158,165)(30,191,86,109)(32,148,207,236)(33,38,44,135)(34,213,103,263)(35,68,172,97)(36,193,206,53)(39,171)(40,245)(41,168,234,124)(42,108,202,49)(43,216,177,163)(48,265,132,56)(50,244,169,71)(51,225,255,62)(52,114)(54,175)(57,199,229,102)(59,76,186,262)(60,65,80,184)(61,205,214,251)(63,254,85,219)(69,75,196,203)(70,154,130,84)(72,112,260,256)(77,271,136,247)(81,88,232,126)(87,208,218,188)(89,274,94,250)(90,243,160,276)(91,122,226,249)(93,167)(95,224,198,220)(96,147,252,149)(99,150,119,222)(100,152,110,101)(104,145,240,182)(106,111,174,129)(107,237,141,212)(113,118,123,131)(117,142,246,146)(127,211)(128,161)(133,151,201,238)(134,227)(137,153)(157,273,228,248)(159,187)(164,217,266,197)(178,258)(221,241)(268,275),(1,200)(2,235)(3,183)(4,121)(5,37)(6,209)(7,242)(8,176)(9,55)(10,13)(11,47)(12,261)(15,138)(16,19)(17,140)(18,156)(20,116)(22,25)(23,66)(24,210)(26,259)(27,166)(28,58)(29,158)(30,86)(32,207)(33,44)(34,103)(35,172)(36,206)(38,135)(41,234)(42,202)(43,177)(45,78)(46,82)(48,132)(49,108)(50,169)(51,255)(53,193)(56,265)(57,229)(59,186)(60,80)(61,214)(62,225)(63,85)(64,170)(65,184)(67,190)(68,97)(69,196)(70,130)(71,244)(72,260)(74,267)(75,203)(76,262)(77,136)(79,125)(81,232)(83,253)(84,154)(87,218)(88,126)(89,94)(90,160)(91,226)(92,269)(95,198)(96,252)(98,194)(99,119)(100,110)(101,152)(102,199)(104,240)(105,179)(106,174)(107,141)(109,191)(111,129)(112,256)(113,123)(117,246)(118,131)(120,173)(122,249)(124,168)(133,201)(139,165)(142,146)(143,239)(144,189)(145,182)(147,149)(148,236)(150,222)(151,238)(155,272)(157,228)(163,216)(164,266)(180,233)(181,264)(188,208)(195,223)(197,217)(204,257)(205,251)(212,237)(213,263)(219,254)(220,224)(230,231)(243,276)(247,271)(248,273)(250,274),(1,177)(3,242)(4,169)(5,184)(6,94)(7,183)(8,58)(10,13)(11,158)(12,261)(15,163)(16,53)(17,110)(18,156)(19,193)(20,109)(21,159)(22,42)(23,30)(24,225)(25,202)(26,259)(27,149)(28,176)(29,47)(32,107)(33,35)(34,63)(36,125)(37,65)(38,68)(40,93)(41,106)(43,200)(44,172)(45,64)(46,82)(48,243)(49,194)(50,121)(51,257)(52,161)(56,90)(57,205)(59,266)(60,190)(61,102)(62,210)(66,86)(67,80)(69,99)(71,269)(73,215)(74,267)(75,150)(76,197)(77,123)(78,170)(79,206)(81,151)(85,103)(87,218)(88,201)(89,209)(92,244)(95,273)(96,105)(97,135)(98,108)(100,140)(101,195)(104,240)(111,168)(113,136)(114,128)(115,270)(116,191)(118,247)(119,196)(120,155)(124,129)(126,133)(131,271)(132,276)(134,178)(137,153)(138,216)(139,143)(141,207)(144,189)(145,182)(147,166)(148,237)(152,223)(157,220)(160,265)(162,187)(164,186)(165,239)(167,245)(173,272)(174,234)(179,252)(180,233)(188,208)(198,248)(199,214)(203,222)(204,255)(212,236)(213,254)(217,262)(219,263)(224,228)(227,258)(229,251)(230,250)(231,274)(232,238)(268,275),(1,60,177,190)(3,6,242,94)(4,147,169,166)(5,138,184,216)(7,89,183,209)(8,62,58,210)(10,189,13,144)(11,198,158,248)(12,46,261,82)(14,185)(15,65,163,37)(16,263,53,219)(17,212,110,236)(18,180,156,233)(19,213,193,254)(20,203,109,222)(21,93,159,40)(22,238,42,232)(23,69,30,99)(24,176,225,28)(25,151,202,81)(26,74,259,267)(27,121,149,50)(29,273,47,95)(31,192)(32,195,107,101)(33,41,35,106)(34,36,63,125)(38,168,68,111)(39,241)(43,67,200,80)(44,234,172,174)(45,51,64,257)(48,59,243,266)(49,88,194,201)(52,227,161,258)(54,127)(56,262,90,217)(57,123,205,77)(61,247,102,118)(66,196,86,119)(71,179,269,252)(72,260)(73,115,215,270)(75,191,150,116)(76,160,197,265)(78,255,170,204)(79,103,206,85)(87,208,218,188)(92,96,244,105)(97,129,135,124)(98,133,108,126)(100,148,140,237)(104,182,240,145)(112,256)(113,251,136,229)(114,134,128,178)(117,246)(120,231,155,274)(131,214,271,199)(132,186,276,164)(137,275,153,268)(139,228,143,224)(141,152,207,223)(142,146)(157,239,220,165)(162,167,187,245)(171,221)(173,230,272,250)(175,211),(1,3,177,242)(4,132,169,276)(5,274,184,231)(6,190,94,60)(7,200,183,43)(8,85,58,103)(9,154)(10,144,13,189)(11,201,158,88)(12,240,261,104)(14,31)(15,173,163,272)(16,257,53,51)(17,247,110,118)(18,267,156,74)(19,204,193,255)(20,111,109,168)(21,245,159,167)(22,220,42,157)(23,174,30,234)(24,36,225,125)(25,224,202,228)(26,233,259,180)(27,266,149,59)(28,34,176,63)(29,126,47,133)(32,205,107,57)(33,119,35,196)(37,250,65,230)(38,222,68,203)(40,187,93,162)(41,66,106,86)(44,99,172,69)(45,219,64,263)(46,145,82,182)(48,50,243,121)(49,248,194,198)(52,134,161,178)(54,175)(55,84)(56,71,90,269)(61,212,102,236)(62,79,210,206)(67,89,80,209)(70,253)(72,246)(73,115,215,270)(75,135,150,97)(76,105,197,96)(77,101,123,195)(78,254,170,213)(81,143,151,139)(83,130)(87,208,218,188)(91,226)(92,265,244,160)(95,108,273,98)(100,131,140,271)(112,146)(113,223,136,152)(114,227,128,258)(116,129,191,124)(117,260)(120,216,155,138)(122,249)(127,211)(137,268,153,275)(141,229,207,251)(142,256)(147,186,166,164)(148,214,237,199)(165,232,239,238)(179,217,252,262)(185,192),(1,3)(4,71)(5,230)(6,190)(7,43)(8,103)(9,83)(10,144)(11,239)(12,145)(13,189)(15,120)(16,255)(17,100)(18,156)(19,51)(20,191)(21,40)(22,194)(23,30)(24,36)(25,98)(26,259)(27,105)(28,63)(29,139)(33,35)(34,176)(37,231)(38,97)(42,49)(44,172)(45,213)(46,240)(47,143)(48,265)(50,92)(52,134)(53,204)(54,175)(55,253)(56,132)(57,205)(58,85)(59,197)(60,94)(61,199)(62,79)(64,254)(65,274)(66,86)(67,209)(68,135)(70,84)(72,142)(75,203)(76,266)(78,263)(80,89)(81,133)(82,104)(87,208)(88,238)(90,276)(93,159)(95,228)(96,149)(101,195)(102,214)(108,202)(109,116)(110,140)(111,129)(112,117)(114,227)(115,270)(118,131)(121,244)(122,249)(124,168)(125,225)(126,151)(127,211)(128,258)(130,154)(138,173)(146,260)(147,252)(148,236)(150,222)(152,223)(155,163)(157,198)(158,165)(160,243)(161,178)(162,245)(164,262)(166,179)(167,187)(169,269)(170,219)(177,242)(181,264)(182,261)(183,200)(184,250)(186,217)(188,218)(193,257)(201,232)(206,210)(212,237)(216,272)(220,248)(224,273)(229,251)(246,256)(247,271)(268,275),(1,12,138,46,200,261,15,82)(2,4,257,56,235,121,204,265)(3,240,272,246,183,104,155,117)(5,89,184,230,37,94,65,231)(6,190,274,60,209,67,250,80)(7,146,120,145,242,142,173,182)(8,196,55,100,176,69,9,110)(10,33,263,119,13,44,213,99)(11,233,169,16,47,180,50,19)(14,31,270,73)(17,219,271,87,140,254,247,218)(18,71,125,143,156,244,79,239)(20,32,273,166,116,207,248,27)(21,128,162,161)(22,57,111,76,25,229,129,262)(23,148,228,179,66,236,157,105)(24,48,181,92,210,132,264,269)(26,81,53,90,259,232,193,160)(28,131,70,172,58,118,130,35)(29,122,238,51,158,249,151,255)(30,141,266,42,86,107,164,202)(34,222,144,135,103,150,189,38)(36,243,267,126,206,276,74,88)(39,175)(40,134,178,167)(41,95,96,205,234,198,252,251)(43,112,216,260,177,256,163,72)(45,203,253,152,78,75,83,101)(49,191,212,197,108,109,237,217)(52,114)(54,171)(59,98,199,174,186,194,102,106)(61,168,224,147,214,124,220,149)(62,139,226,133,225,165,91,201)(63,136,208,223,85,77,188,195)(64,123,84,68,170,113,154,97)(93,245,227,258)(115,215,185,192)(127,268,241,153)(137,211,275,221)]).
• It is non-abelian.
• It has 2-Rank 4.
• The centre of a Sylow 2-subgroup has rank 1.
• Its Sylow 2-subgroup has 20 conjugacy classes of maximal elementary abelian subgroups, which are of rank 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4 and 4, respectively.

Structure of the cohomology ring

General information

• The cohomology ring is of dimension 4 and depth 4.
• The depth exceeds the Duflot bound, which is 1.
• The Poincaré series is

  1  −  t  +  3·t2  −  t3  +  t4

  ( − 1  +  t)4 · (1  +  t2)2

• The a-invariants are -∞,-∞,-∞,-∞,-4. They were obtained using the filter regular HSOP of the Hilbert-Poincaré test.
• The filter degree type of any filter regular HSOP is [-1, -2, -3, -4, -4].

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Ring generators

The cohomology ring has 15 minimal generators of maximal degree 8:

1. b_1_2, an element of degree 1
2. b_1_1, an element of degree 1
3. b_1_0, an element of degree 1
4. b_2_6, an element of degree 2
5. b_2_2, an element of degree 2
6. b_3_11, an element of degree 3
7. b_3_1, an element of degree 3
8. b_3_0, an element of degree 3
9. b_4_20, an element of degree 4
10. b_4_10, an element of degree 4
11. b_6_0, an element of degree 6
12. b_7_28, an element of degree 7
13. b_7_0, an element of degree 7
14. b_8_52, an element of degree 8
15. c_8_11, a Duflot element of degree 8

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Ring relations

There are 59 minimal relations of maximal degree 16:

1. b_1_1·b_1_2 + b_1_0·b_1_1
2. b_1_0·b_1_1² + b_1_0²·b_1_1 + b_2_2·b_1_1
3. b_1_1·b_3_1
4. b_1_1·b_3_11
5. b_1_2·b_3_0 + b_1_0²·b_1_2² + b_2_6·b_1_2² + b_2_6·b_1_0·b_1_2 + b_2_6·b_1_0·b_1_1
      + b_2_2·b_1_2² + b_2_2·b_1_0·b_1_1
6. b_1_2·b_3_11
7. b_2_2·b_3_11 + b_2_2·b_3_0 + b_2_2·b_1_0²·b_1_2 + b_2_2·b_2_6·b_1_2 + b_2_2·b_2_6·b_1_1
      + b_2_2·b_2_6·b_1_0 + b_2_2²·b_1_2 + b_2_2²·b_1_1
8. b_4_20·b_1_1
9. b_4_20·b_1_2
10. b_1_0²·b_3_11 + b_2_6·b_3_11 + b_2_2·b_3_0 + b_2_2·b_1_0²·b_1_2 + b_2_2·b_2_6·b_1_2
       + b_2_2·b_2_6·b_1_1 + b_2_2·b_2_6·b_1_0 + b_2_2²·b_1_2 + b_2_2²·b_1_1
11. b_1_0·b_1_2·b_3_1 + b_1_0²·b_1_2³ + b_1_0³·b_1_2² + b_4_10·b_1_2
       + b_2_6·b_1_0·b_1_2² + b_2_6·b_1_0²·b_1_2 + b_2_6·b_1_0²·b_1_1
       + b_2_2·b_1_0·b_1_2² + b_2_2·b_1_0²·b_1_2 + b_2_2·b_1_0²·b_1_1 + b_2_2·b_2_6·b_1_1
       + b_2_2²·b_1_2
12. b_4_20·b_1_0² + b_2_6·b_4_20 + b_2_2·b_4_20
13. b_1_0⁵·b_1_2 + b_1_0⁵·b_1_1 + b_2_6·b_1_0·b_3_0 + b_2_6·b_1_0³·b_1_1
       + b_2_6²·b_1_0·b_1_2 + b_2_2·b_1_0⁴ + b_2_2·b_2_6·b_1_0·b_1_1 + b_2_2·b_2_6²
       + b_2_2²·b_1_0·b_1_2 + b_2_2²·b_1_0·b_1_1 + b_2_2³
14. b_3_0² + b_1_1³·b_3_0 + b_1_0⁴·b_1_2² + b_1_0⁵·b_1_1 + b_4_10·b_1_1²
       + b_2_6·b_1_1·b_3_0 + b_2_6·b_1_0·b_3_0 + b_2_6·b_1_0³·b_1_2 + b_2_6·b_1_0³·b_1_1
       + b_2_6²·b_1_2² + b_2_6²·b_1_0·b_1_2 + b_2_6²·b_1_0·b_1_1 + b_2_2·b_1_1⁴
       + b_2_2·b_2_6·b_1_1² + b_2_2·b_2_6·b_1_0·b_1_2 + b_2_2²·b_1_2²
       + b_2_2²·b_1_0·b_1_1
15. b_3_0·b_3_1 + b_1_0³·b_1_2³ + b_1_0⁴·b_1_2² + b_4_10·b_1_0·b_1_2
       + b_2_6·b_1_2·b_3_1 + b_2_6·b_1_0·b_3_11 + b_2_6·b_1_0·b_3_1 + b_2_6·b_1_0²·b_1_2²
       + b_2_6·b_1_0³·b_1_2 + b_2_6·b_1_0³·b_1_1 + b_2_2·b_1_2·b_3_1
       + b_2_2·b_1_0²·b_1_2² + b_2_2·b_1_0³·b_1_2 + b_2_2·b_1_0³·b_1_1 + b_2_2·b_4_20
       + b_2_2·b_2_6·b_1_0·b_1_1 + b_2_2²·b_1_0·b_1_2
16. b_3_0·b_3_11
17. b_3_1² + b_1_0²·b_1_2⁴ + b_1_0⁴·b_1_2² + b_4_10·b_1_2² + b_4_10·b_1_0·b_1_2
       + b_2_6·b_1_0·b_3_11 + b_2_6·b_1_0·b_3_0 + b_2_6·b_1_0·b_1_2³
       + b_2_6·b_1_0²·b_1_2² + b_2_6·b_1_0³·b_1_2 + b_2_6²·b_1_0·b_1_2
       + b_2_2·b_1_2·b_3_1 + b_2_2·b_1_0·b_3_1 + b_2_2·b_1_0·b_3_0 + b_2_2·b_1_0²·b_1_2²
       + b_2_2·b_1_0³·b_1_2 + b_2_2·b_1_0³·b_1_1 + b_2_2·b_2_6·b_1_2²
       + b_2_2·b_2_6·b_1_0·b_1_2 + b_2_2·b_2_6·b_1_0·b_1_1 + b_2_2·b_2_6² + b_2_2²·b_1_0²
       + b_2_2²·b_2_6 + b_2_2³
18. b_3_1·b_3_11 + b_2_6·b_1_0·b_3_11 + b_2_2·b_4_20
19. b_3_11² + b_2_6·b_1_0·b_3_11
20. b_4_20·b_3_0
21. b_4_20·b_3_1 + b_2_6·b_4_20·b_1_0 + b_2_2·b_4_20·b_1_0 + b_2_2·b_2_6·b_3_0
       + b_2_2·b_2_6·b_1_0²·b_1_2 + b_2_2·b_2_6²·b_1_2 + b_2_2·b_2_6²·b_1_1
       + b_2_2·b_2_6²·b_1_0 + b_2_2²·b_2_6·b_1_2 + b_2_2²·b_2_6·b_1_1
22. b_4_20·b_3_11 + b_2_6·b_4_20·b_1_0
23. b_1_0²·b_1_2⁵ + b_1_0⁴·b_3_0 + b_6_0·b_1_2 + b_6_0·b_1_0 + b_4_10·b_1_2³
       + b_4_10·b_1_0·b_1_2² + b_4_10·b_1_0²·b_1_2 + b_2_6·b_1_2²·b_3_1 + b_2_6·b_1_2⁵
       + b_2_6·b_1_0²·b_3_1 + b_2_6·b_1_0²·b_1_2³ + b_2_6·b_4_20·b_1_0
       + b_2_6·b_4_10·b_1_2 + b_2_6²·b_3_1 + b_2_6²·b_1_0·b_1_2² + b_2_6²·b_1_0²·b_1_2
       + b_2_6²·b_1_0²·b_1_1 + b_2_2·b_1_2⁵ + b_2_2·b_1_0²·b_3_1 + b_2_2·b_1_0⁴·b_1_2
       + b_2_2·b_1_0⁵ + b_2_2·b_4_10·b_1_2 + b_2_2·b_2_6·b_3_0 + b_2_2·b_2_6·b_1_2³
       + b_2_2·b_2_6·b_1_0·b_1_2² + b_2_2·b_2_6·b_1_0²·b_1_1 + b_2_2·b_2_6·b_1_0³
       + b_2_2²·b_3_1 + b_2_2²·b_3_0 + b_2_2²·b_1_2³ + b_2_2²·b_1_0·b_1_2²
       + b_2_2²·b_1_0²·b_1_1 + b_2_2²·b_2_6·b_1_2 + b_2_2²·b_2_6·b_1_1
       + b_2_2²·b_2_6·b_1_0 + b_2_2³·b_1_2 + b_2_2³·b_1_1 + b_2_2³·b_1_0
24. b_4_20² + b_2_6²·b_1_0·b_3_11 + b_2_6²·b_4_20 + b_2_2·b_2_6·b_4_20
25. b_1_0⁴·b_1_2⁴ + b_1_0⁵·b_3_0 + b_6_0·b_1_0·b_1_1 + b_6_0·b_1_0²
       + b_4_10·b_1_0²·b_1_2² + b_2_6·b_1_0²·b_1_2⁴ + b_2_6·b_1_0³·b_3_1
       + b_2_6·b_1_0³·b_1_2³ + b_2_6·b_4_10·b_1_0·b_1_2 + b_2_6²·b_1_0·b_3_11
       + b_2_6²·b_1_0³·b_1_2 + b_2_6²·b_4_20 + b_2_2·b_1_0⁴·b_1_2² + b_2_2·b_1_0⁵·b_1_1
       + b_2_2·b_1_0⁶ + b_2_2·b_6_0 + b_2_2·b_4_10·b_1_2² + b_2_2·b_2_6·b_1_2·b_3_1
       + b_2_2·b_2_6·b_1_2⁴ + b_2_2·b_2_6·b_1_0·b_3_1 + b_2_2·b_2_6·b_1_0²·b_1_2²
       + b_2_2·b_2_6·b_1_0³·b_1_1 + b_2_2·b_2_6·b_4_20 + b_2_2·b_2_6²·b_1_2²
       + b_2_2·b_2_6²·b_1_0² + b_2_2²·b_1_2⁴ + b_2_2²·b_1_0·b_3_0
       + b_2_2²·b_1_0²·b_1_2² + b_2_2²·b_1_0³·b_1_1 + b_2_2²·b_1_0⁴
       + b_2_2²·b_2_6·b_1_2² + b_2_2²·b_2_6² + b_2_2³·b_1_0² + b_2_2⁴
26. b_1_1·b_7_28 + b_2_2·b_2_6·b_1_1⁴ + b_2_2·b_2_6²·b_1_1²
       + b_2_2·b_2_6²·b_1_0·b_1_1 + b_2_2²·b_1_1⁴ + b_2_2³·b_1_1²
27. b_1_2·b_7_0 + b_1_0⁵·b_3_0 + b_1_0⁷·b_1_1 + b_6_0·b_1_0·b_1_2 + b_6_0·b_1_0²
       + b_4_10·b_1_0³·b_1_2 + b_2_6·b_1_0³·b_3_1 + b_2_6·b_1_0⁴·b_1_2²
       + b_2_6·b_1_0⁵·b_1_1 + b_2_6·b_4_10·b_1_2² + b_2_6·b_4_10·b_1_0·b_1_2
       + b_2_6²·b_1_0·b_3_11 + b_2_6²·b_1_0·b_1_2³ + b_2_6²·b_4_20 + b_2_2·b_1_2³·b_3_1
       + b_2_2·b_1_2⁶ + b_2_2·b_1_0²·b_1_2⁴ + b_2_2·b_1_0⁵·b_1_1 + b_2_2·b_1_0⁶
       + b_2_2·b_6_0 + b_2_2·b_2_6·b_1_0·b_3_1 + b_2_2·b_2_6·b_1_0·b_1_2³
       + b_2_2·b_2_6·b_1_0³·b_1_2 + b_2_2·b_2_6·b_1_0³·b_1_1 + b_2_2·b_2_6·b_4_20
       + b_2_2·b_2_6²·b_1_0² + b_2_2²·b_1_2·b_3_1 + b_2_2²·b_1_2⁴ + b_2_2²·b_1_0·b_3_0
       + b_2_2²·b_1_0·b_1_2³ + b_2_2²·b_1_0³·b_1_2 + b_2_2²·b_1_0³·b_1_1
       + b_2_2²·b_1_0⁴ + b_2_2²·b_2_6·b_1_1² + b_2_2²·b_2_6·b_1_0·b_1_1
       + b_2_2²·b_2_6² + b_2_2³·b_1_0·b_1_2 + b_2_2³·b_1_0·b_1_1 + b_2_2³·b_1_0²
       + b_2_2⁴
28. b_1_2·b_7_28 + b_2_6·b_1_0⁴·b_1_2² + b_2_6·b_1_0⁵·b_1_1 + b_2_6²·b_1_0³·b_1_2
       + b_2_6²·b_1_0³·b_1_1 + b_2_2·b_1_0·b_1_2⁵ + b_2_2·b_1_0⁵·b_1_1
       + b_2_2·b_4_10·b_1_2² + b_2_2·b_2_6·b_1_2⁴ + b_2_2·b_2_6·b_1_0·b_3_0
       + b_2_2·b_2_6·b_1_0·b_1_2³ + b_2_2·b_2_6·b_1_0²·b_1_2²
       + b_2_2·b_2_6·b_1_0³·b_1_1 + b_2_2·b_2_6²·b_1_2² + b_2_2·b_2_6²·b_1_0·b_1_1
       + b_2_2²·b_1_0·b_1_2³ + b_2_2²·b_1_0²·b_1_2² + b_2_2²·b_1_0³·b_1_2
       + b_2_2²·b_1_0³·b_1_1 + b_2_2²·b_1_0⁴ + b_2_2²·b_2_6·b_1_1²
       + b_2_2²·b_2_6·b_1_0·b_1_1 + b_2_2²·b_2_6² + b_2_2³·b_1_1² + b_2_2³·b_1_0·b_1_2
       + b_2_2³·b_1_0·b_1_1 + b_2_2⁴
29. b_2_6·b_4_10·b_3_11 + b_2_6·b_4_10·b_3_1 + b_2_6²·b_1_0²·b_3_1
       + b_2_6²·b_1_0²·b_3_0 + b_2_6²·b_1_0²·b_1_2³ + b_2_6²·b_4_10·b_1_2
       + b_2_6³·b_3_11 + b_2_6³·b_1_0·b_1_2² + b_2_6³·b_1_0²·b_1_1 + b_2_2·b_7_28
       + b_2_2·b_7_0 + b_2_2·b_1_0⁴·b_1_2³ + b_2_2·b_1_0⁶·b_1_1 + b_2_2·b_6_0·b_1_1
       + b_2_2·b_6_0·b_1_0 + b_2_2·b_4_10·b_3_0 + b_2_2·b_4_10·b_1_0³
       + b_2_2·b_2_6·b_1_0⁴·b_1_2 + b_2_2·b_2_6·b_1_0⁴·b_1_1 + b_2_2·b_2_6·b_4_10·b_1_0
       + b_2_2·b_2_6²·b_1_1³ + b_2_2·b_2_6²·b_1_0·b_1_2² + b_2_2·b_2_6²·b_1_0²·b_1_2
       + b_2_2·b_2_6²·b_1_0³ + b_2_2·b_2_6³·b_1_1 + b_2_2·b_2_6³·b_1_0
       + b_2_2²·b_1_2²·b_3_1 + b_2_2²·b_1_2⁵ + b_2_2²·b_1_0·b_1_2⁴
       + b_2_2²·b_1_0²·b_3_1 + b_2_2²·b_1_0²·b_1_2³ + b_2_2²·b_1_0³·b_1_2²
       + b_2_2²·b_1_0⁵ + b_2_2²·b_4_10·b_1_2 + b_2_2²·b_4_10·b_1_0 + b_2_2²·b_2_6·b_3_0
       + b_2_2²·b_2_6·b_1_1³ + b_2_2²·b_2_6·b_1_0·b_1_2² + b_2_2²·b_2_6·b_1_0²·b_1_1
       + b_2_2²·b_2_6·b_1_0³ + b_2_2²·b_2_6²·b_1_0 + b_2_2³·b_3_1 + b_2_2³·b_3_0
       + b_2_2³·b_1_1³ + b_2_2³·b_1_0³ + b_2_2³·b_2_6·b_1_2 + b_2_2⁴·b_1_2
       + b_2_2⁴·b_1_1
30. b_6_0·b_3_1 + b_6_0·b_1_0·b_1_2² + b_6_0·b_1_0²·b_1_2 + b_2_6·b_1_2⁴·b_3_1
       + b_2_6·b_1_0·b_1_2⁶ + b_2_6·b_1_0³·b_1_2⁴ + b_2_6·b_1_0⁴·b_3_1
       + b_2_6·b_1_0⁴·b_3_0 + b_2_6·b_1_0⁴·b_1_2³ + b_2_6·b_6_0·b_1_2 + b_2_6·b_6_0·b_1_0
       + b_2_6·b_4_10·b_1_2³ + b_2_6·b_4_10·b_1_0·b_1_2² + b_2_6·b_4_10·b_1_0²·b_1_2
       + b_2_6²·b_1_2²·b_3_1 + b_2_6²·b_1_2⁵ + b_2_6²·b_1_0³·b_1_2²
       + b_2_6²·b_1_0⁴·b_1_2 + b_2_6²·b_1_0⁴·b_1_1 + b_2_6²·b_4_10·b_1_2 + b_2_6³·b_3_1
       + b_2_6³·b_1_0·b_1_2² + b_2_6³·b_1_0²·b_1_2 + b_2_6³·b_1_0²·b_1_1
       + b_2_2·b_1_2⁴·b_3_1 + b_2_2·b_1_0·b_1_2⁶ + b_2_2·b_1_0³·b_1_2⁴
       + b_2_2·b_6_0·b_1_2 + b_2_2·b_6_0·b_1_0 + b_2_2·b_4_10·b_1_0·b_1_2²
       + b_2_2·b_2_6·b_1_2²·b_3_1 + b_2_2·b_2_6·b_1_0³·b_1_2²
       + b_2_2·b_2_6·b_1_0⁴·b_1_2 + b_2_2·b_2_6·b_1_0⁴·b_1_1 + b_2_2·b_2_6·b_1_0⁵
       + b_2_2·b_2_6²·b_1_0·b_1_2² + b_2_2·b_2_6²·b_1_0²·b_1_1 + b_2_2·b_2_6²·b_1_0³
       + b_2_2·b_2_6³·b_1_2 + b_2_2·b_2_6³·b_1_1 + b_2_2·b_2_6³·b_1_0 + b_2_2²·b_1_2⁵
       + b_2_2²·b_1_0²·b_1_2³ + b_2_2²·b_1_0³·b_1_2² + b_2_2²·b_2_6·b_3_1
       + b_2_2²·b_2_6·b_1_2³ + b_2_2²·b_2_6·b_1_0²·b_1_1 + b_2_2²·b_2_6²·b_1_2
       + b_2_2²·b_2_6²·b_1_0 + b_2_2³·b_1_0²·b_1_2 + b_2_2³·b_1_0²·b_1_1
       + b_2_2³·b_2_6·b_1_2 + b_2_2³·b_2_6·b_1_0 + b_2_2⁴·b_1_2
31. b_6_0·b_3_11 + b_2_6²·b_4_20·b_1_0
32. b_8_52·b_1_1 + b_2_2·b_1_0⁶·b_1_1 + b_2_2·b_2_6·b_1_1⁵ + b_2_2²·b_1_1⁵
       + b_2_2²·b_1_0⁴·b_1_1 + b_2_2²·b_2_6·b_1_1³ + b_2_2²·b_2_6·b_1_0²·b_1_1
       + b_2_2³·b_1_0²·b_1_1
33. b_8_52·b_1_2 + b_2_6·b_1_0⁴·b_3_0 + b_2_6·b_1_0⁴·b_1_2³ + b_2_6·b_6_0·b_1_2
       + b_2_6·b_6_0·b_1_0 + b_2_6·b_4_10·b_1_2³ + b_2_6·b_4_10·b_1_0·b_1_2²
       + b_2_6·b_4_10·b_1_0²·b_1_2 + b_2_6²·b_1_2²·b_3_1 + b_2_6²·b_1_2⁵
       + b_2_6²·b_1_0²·b_3_1 + b_2_6²·b_1_0²·b_1_2³ + b_2_6²·b_4_20·b_1_0
       + b_2_6²·b_4_10·b_1_2 + b_2_6³·b_3_1 + b_2_6³·b_1_0·b_1_2² + b_2_6³·b_1_0²·b_1_2
       + b_2_6³·b_1_0²·b_1_1 + b_2_2·b_1_2⁴·b_3_1 + b_2_2·b_1_0⁶·b_1_1
       + b_2_2·b_4_10·b_1_0·b_1_2² + b_2_2·b_2_6·b_1_2²·b_3_1 + b_2_2·b_2_6·b_1_0²·b_3_1
       + b_2_2·b_2_6·b_1_0³·b_1_2² + b_2_2·b_2_6·b_1_0⁴·b_1_2 + b_2_2·b_2_6·b_1_0⁵
       + b_2_2·b_2_6·b_4_10·b_1_2 + b_2_2·b_2_6²·b_3_0 + b_2_2·b_2_6²·b_1_2³
       + b_2_2·b_2_6²·b_1_0²·b_1_2 + b_2_2·b_2_6²·b_1_0²·b_1_1 + b_2_2·b_2_6²·b_1_0³
       + b_2_2²·b_1_2²·b_3_1 + b_2_2²·b_1_2⁵ + b_2_2²·b_1_0³·b_1_2²
       + b_2_2²·b_1_0⁴·b_1_2 + b_2_2²·b_1_0⁴·b_1_1 + b_2_2²·b_2_6·b_3_1
       + b_2_2²·b_2_6·b_3_0 + b_2_2²·b_2_6·b_1_1³ + b_2_2²·b_2_6·b_1_0·b_1_2²
       + b_2_2²·b_2_6·b_1_0²·b_1_2 + b_2_2²·b_2_6²·b_1_2 + b_2_2²·b_2_6²·b_1_1
       + b_2_2²·b_2_6²·b_1_0 + b_2_2³·b_1_2³ + b_2_2³·b_1_1³ + b_2_2³·b_1_0·b_1_2²
       + b_2_2³·b_1_0²·b_1_1 + b_2_2³·b_2_6·b_1_1 + b_2_2³·b_2_6·b_1_0 + b_2_2⁴·b_1_2
       + b_2_2⁴·b_1_1
34. b_1_0²·b_7_28 + b_2_6·b_7_28 + b_2_6·b_1_0⁴·b_3_0 + b_2_6·b_1_0⁶·b_1_1
       + b_2_6²·b_1_0²·b_3_0 + b_2_6²·b_1_0⁴·b_1_2 + b_2_6²·b_1_0⁴·b_1_1
       + b_2_6³·b_1_0²·b_1_2 + b_2_2·b_7_28 + b_2_2·b_1_0³·b_1_2⁴ + b_2_2·b_1_0⁴·b_3_1
       + b_2_2·b_1_0⁷ + b_2_2·b_4_10·b_3_0 + b_2_2·b_4_10·b_1_0³
       + b_2_2·b_2_6·b_1_0·b_1_2⁴ + b_2_2·b_2_6·b_1_0²·b_1_2³
       + b_2_2·b_2_6·b_1_0⁴·b_1_2 + b_2_2·b_2_6·b_1_0⁴·b_1_1 + b_2_2·b_2_6·b_4_10·b_1_0
       + b_2_2·b_2_6²·b_1_2³ + b_2_2·b_2_6²·b_1_0·b_1_2² + b_2_2·b_2_6²·b_1_0³
       + b_2_2·b_2_6³·b_1_2 + b_2_2·b_2_6³·b_1_1 + b_2_2·b_2_6³·b_1_0
       + b_2_2²·b_1_0·b_1_2⁴ + b_2_2²·b_1_0²·b_3_1 + b_2_2²·b_4_20·b_1_0
       + b_2_2²·b_4_10·b_1_0 + b_2_2²·b_2_6·b_3_0 + b_2_2²·b_2_6·b_1_2³
       + b_2_2²·b_2_6·b_1_1³ + b_2_2²·b_2_6·b_1_0·b_1_2² + b_2_2²·b_2_6·b_1_0²·b_1_2
       + b_2_2²·b_2_6·b_1_0²·b_1_1 + b_2_2²·b_2_6²·b_1_2 + b_2_2²·b_2_6²·b_1_1
       + b_2_2²·b_2_6²·b_1_0 + b_2_2³·b_1_1³ + b_2_2³·b_1_0²·b_1_2
       + b_2_2³·b_1_0²·b_1_1 + b_2_2³·b_1_0³ + b_2_2³·b_2_6·b_1_2 + b_2_2³·b_2_6·b_1_1
       + b_2_2⁴·b_1_2
35. b_1_1²·b_7_0 + b_1_1⁶·b_3_0 + b_1_0⁸·b_1_1 + b_6_0·b_3_0 + b_6_0·b_1_1³
       + b_6_0·b_1_0²·b_1_2 + b_6_0·b_1_0²·b_1_1 + b_4_10·b_1_1²·b_3_0 + b_4_10·b_1_1⁵
       + b_2_6·b_1_1⁴·b_3_0 + b_2_6·b_6_0·b_1_2 + b_2_6·b_6_0·b_1_1 + b_2_6·b_6_0·b_1_0
       + b_2_6²·b_1_0⁴·b_1_1 + b_2_6²·b_4_20·b_1_0 + b_2_2·b_1_1⁷ + b_2_2·b_6_0·b_1_2
       + b_2_2·b_2_6·b_1_1⁵ + b_2_2·b_2_6·b_1_0⁴·b_1_1 + b_2_2·b_2_6²·b_1_1³
       + b_2_2·b_2_6²·b_1_0²·b_1_1 + b_2_2²·b_1_1⁵ + b_2_2²·b_1_0⁴·b_1_1
       + b_2_2²·b_2_6·b_1_1³ + b_2_2²·b_2_6·b_1_0²·b_1_1 + b_2_2³·b_1_0²·b_1_1
       + b_2_2⁴·b_1_1
36. b_4_20·b_6_0 + b_2_6³·b_1_0·b_3_11 + b_2_6³·b_4_20 + b_2_2·b_2_6²·b_4_20
37. b_8_52·b_1_0² + b_2_6·b_1_0⁵·b_3_0 + b_2_6·b_1_0⁷·b_1_1 + b_2_6·b_8_52
       + b_2_6·b_6_0·b_1_0·b_1_1 + b_2_6·b_6_0·b_1_0² + b_2_6·b_4_10·b_1_0²·b_1_2²
       + b_2_6²·b_1_0³·b_3_1 + b_2_6²·b_1_0³·b_1_2³ + b_2_6²·b_1_0⁵·b_1_1
       + b_2_6²·b_4_10·b_1_0·b_1_2 + b_2_6³·b_1_0·b_3_11 + b_2_6³·b_1_0³·b_1_1
       + b_2_6³·b_4_20 + b_2_2·b_1_0·b_7_28 + b_2_2·b_1_0·b_7_0 + b_2_2·b_1_0⁵·b_3_1
       + b_2_2·b_1_0⁷·b_1_1 + b_2_2·b_8_52 + b_2_2·b_6_0·b_1_0·b_1_2 + b_2_2·b_6_0·b_1_0²
       + b_2_2·b_4_10·b_1_0³·b_1_2 + b_2_2·b_4_10·b_4_20 + b_2_2·b_2_6·b_1_2³·b_3_1
       + b_2_2·b_2_6·b_1_0·b_1_2⁵ + b_2_2·b_2_6·b_1_0²·b_1_2⁴
       + b_2_2·b_2_6·b_1_0³·b_3_1 + b_2_2·b_2_6·b_1_0³·b_1_2³ + b_2_2·b_2_6·b_6_0
       + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2 + b_2_2·b_2_6·b_4_10·b_1_0²
       + b_2_2·b_2_6²·b_1_1⁴ + b_2_2·b_2_6²·b_1_0·b_3_1 + b_2_2·b_2_6²·b_1_0·b_1_2³
       + b_2_2·b_2_6²·b_1_0³·b_1_2 + b_2_2·b_2_6²·b_1_0³·b_1_1 + b_2_2·b_2_6²·b_1_0⁴
       + b_2_2·b_2_6²·b_4_10 + b_2_2·b_2_6³·b_1_2² + b_2_2·b_2_6³·b_1_1²
       + b_2_2·b_2_6³·b_1_0·b_1_2 + b_2_2·b_2_6³·b_1_0·b_1_1 + b_2_2²·b_1_2³·b_3_1
       + b_2_2²·b_1_0³·b_3_1 + b_2_2²·b_1_0⁴·b_1_2² + b_2_2²·b_6_0
       + b_2_2²·b_4_10·b_1_0·b_1_2 + b_2_2²·b_2_6·b_1_2·b_3_1 + b_2_2²·b_2_6·b_1_0·b_3_1
       + b_2_2²·b_2_6·b_1_0²·b_1_2² + b_2_2²·b_2_6·b_1_0³·b_1_1
       + b_2_2²·b_2_6·b_1_0⁴ + b_2_2²·b_2_6·b_4_10 + b_2_2²·b_2_6²·b_1_0·b_1_2
       + b_2_2³·b_1_2·b_3_1 + b_2_2³·b_1_1⁴ + b_2_2³·b_1_0·b_3_0 + b_2_2³·b_1_0³·b_1_2
       + b_2_2³·b_2_6·b_1_0·b_1_2 + b_2_2³·b_2_6·b_1_0·b_1_1 + b_2_2³·b_2_6·b_1_0²
       + b_2_2⁴·b_1_2² + b_2_2⁴·b_1_0·b_1_1 + b_2_2⁴·b_1_0² + b_2_2⁴·b_2_6 + b_2_2⁵
38. b_3_0·b_7_0 + b_1_1⁷·b_3_0 + b_1_0⁹·b_1_1 + b_4_10·b_1_1⁶ + b_4_10·b_1_0³·b_3_1
       + b_4_10·b_6_0 + b_4_10²·b_1_1² + b_4_10²·b_1_0·b_1_2 + b_2_6·b_1_0⁵·b_3_1
       + b_2_6·b_6_0·b_1_0·b_1_1 + b_2_6·b_4_10·b_1_2⁴ + b_2_6·b_4_10·b_1_1·b_3_0
       + b_2_6·b_4_10·b_1_1⁴ + b_2_6·b_4_10·b_1_0·b_3_1 + b_2_6·b_4_10·b_1_0²·b_1_2²
       + b_2_6·b_4_10·b_1_0³·b_1_2 + b_2_6·b_4_10·b_4_20 + b_2_6²·b_1_1³·b_3_0
       + b_2_6²·b_1_0·b_1_2⁵ + b_2_6²·b_1_0²·b_1_2⁴ + b_2_6²·b_1_0³·b_3_1
       + b_2_6²·b_1_0³·b_1_2³ + b_2_6²·b_4_10·b_1_2² + b_2_6³·b_1_0·b_1_2³
       + b_2_6³·b_1_0³·b_1_1 + b_2_2·b_1_1⁸ + b_2_2·b_6_0·b_1_2² + b_2_2·b_6_0·b_1_1²
       + b_2_2·b_6_0·b_1_0·b_1_2 + b_2_2·b_6_0·b_1_0·b_1_1 + b_2_2·b_4_10·b_1_0·b_3_1
       + b_2_2·b_4_10·b_1_0·b_3_0 + b_2_2·b_4_10·b_1_0·b_1_2³
       + b_2_2·b_4_10·b_1_0²·b_1_2² + b_2_2·b_4_10·b_1_0³·b_1_2 + b_2_2·b_4_10·b_1_0⁴
       + b_2_2·b_2_6·b_1_0²·b_1_2⁴ + b_2_2·b_2_6·b_1_0³·b_3_1
       + b_2_2·b_2_6·b_1_0³·b_1_2³ + b_2_2·b_2_6·b_1_0⁶ + b_2_2·b_2_6²·b_1_1⁴
       + b_2_2·b_2_6²·b_1_0·b_3_1 + b_2_2·b_2_6²·b_1_0·b_3_0 + b_2_2·b_2_6²·b_1_0⁴
       + b_2_2·b_2_6²·b_4_10 + b_2_2·b_2_6³·b_1_2² + b_2_2·b_2_6³·b_1_0·b_1_2
       + b_2_2·b_2_6³·b_1_0² + b_2_2²·b_1_2³·b_3_1 + b_2_2²·b_1_1⁶
       + b_2_2²·b_1_0³·b_1_2³ + b_2_2²·b_1_0⁴·b_1_2² + b_2_2²·b_6_0
       + b_2_2²·b_4_10·b_1_0² + b_2_2²·b_2_6·b_1_2⁴ + b_2_2²·b_2_6·b_1_1⁴
       + b_2_2²·b_2_6·b_1_0·b_3_1 + b_2_2²·b_2_6·b_1_0·b_1_2³
       + b_2_2²·b_2_6·b_1_0²·b_1_2² + b_2_2²·b_2_6·b_1_0³·b_1_1
       + b_2_2²·b_2_6·b_1_0⁴ + b_2_2²·b_2_6·b_4_10 + b_2_2²·b_2_6²·b_1_2²
       + b_2_2²·b_2_6²·b_1_1² + b_2_2²·b_2_6²·b_1_0·b_1_2 + b_2_2²·b_2_6²·b_1_0²
       + b_2_2³·b_1_2⁴ + b_2_2³·b_1_1⁴ + b_2_2³·b_1_0²·b_1_2²
       + b_2_2³·b_1_0³·b_1_1 + b_2_2³·b_4_20 + b_2_2³·b_2_6·b_1_2²
       + b_2_2³·b_2_6·b_1_1² + b_2_2³·b_2_6·b_1_0² + b_2_2³·b_2_6²
       + b_2_2⁴·b_1_0·b_1_1 + b_2_2⁴·b_2_6
39. b_3_0·b_7_28 + b_2_6²·b_1_0³·b_3_0 + b_2_6²·b_1_0⁵·b_1_1 + b_2_6³·b_1_0·b_3_0
       + b_2_6³·b_1_0³·b_1_2 + b_2_6³·b_1_0³·b_1_1 + b_2_6⁴·b_1_0·b_1_2
       + b_2_2·b_6_0·b_1_0·b_1_2 + b_2_2·b_6_0·b_1_0² + b_2_2·b_4_10·b_1_0·b_3_0
       + b_2_2·b_4_10·b_1_0·b_1_2³ + b_2_2·b_2_6·b_1_0²·b_1_2⁴
       + b_2_2·b_2_6·b_1_0³·b_1_2³ + b_2_2·b_2_6·b_1_0⁴·b_1_2²
       + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2 + b_2_2·b_2_6²·b_1_2⁴ + b_2_2·b_2_6²·b_1_1⁴
       + b_2_2·b_2_6²·b_1_0·b_3_1 + b_2_2·b_2_6²·b_1_0·b_3_0
       + b_2_2·b_2_6²·b_1_0·b_1_2³ + b_2_2·b_2_6²·b_1_0³·b_1_2
       + b_2_2·b_2_6²·b_1_0³·b_1_1 + b_2_2·b_2_6²·b_4_20 + b_2_2·b_2_6³·b_1_2²
       + b_2_2·b_2_6³·b_1_1² + b_2_2·b_2_6³·b_1_0·b_1_1 + b_2_2·b_2_6⁴
       + b_2_2²·b_1_0³·b_1_2³ + b_2_2²·b_1_0⁵·b_1_1 + b_2_2²·b_1_0⁶
       + b_2_2²·b_4_10·b_1_2² + b_2_2²·b_4_10·b_1_0² + b_2_2²·b_2_6·b_1_2⁴
       + b_2_2²·b_2_6·b_1_0·b_3_1 + b_2_2²·b_2_6·b_1_0²·b_1_2²
       + b_2_2²·b_2_6·b_1_0³·b_1_2 + b_2_2²·b_2_6·b_1_0³·b_1_1 + b_2_2²·b_2_6·b_4_10
       + b_2_2²·b_2_6²·b_1_2² + b_2_2²·b_2_6²·b_1_1² + b_2_2²·b_2_6²·b_1_0·b_1_2
       + b_2_2²·b_2_6²·b_1_0·b_1_1 + b_2_2²·b_2_6²·b_1_0² + b_2_2³·b_1_1⁴
       + b_2_2³·b_1_0²·b_1_2² + b_2_2³·b_1_0³·b_1_1 + b_2_2³·b_4_20 + b_2_2³·b_4_10
       + b_2_2³·b_2_6·b_1_2² + b_2_2³·b_2_6·b_1_0·b_1_2 + b_2_2³·b_2_6·b_1_0·b_1_1
       + b_2_2³·b_2_6·b_1_0² + b_2_2⁴·b_1_0·b_1_1 + b_2_2⁴·b_1_0² + b_2_2⁴·b_2_6
40. b_3_1·b_7_0 + b_6_0·b_1_0²·b_1_2² + b_6_0·b_1_0³·b_1_1 + b_4_10·b_1_0³·b_3_1
       + b_4_10·b_1_0³·b_3_0 + b_2_6·b_1_0·b_7_28 + b_2_6·b_1_0⁷·b_1_1
       + b_2_6·b_6_0·b_1_0·b_1_1 + b_2_6·b_6_0·b_1_0² + b_2_6·b_4_10·b_1_2⁴
       + b_2_6·b_4_10·b_1_0·b_3_1 + b_2_6·b_4_10·b_1_0·b_1_2³ + b_2_6·b_4_10·b_1_0³·b_1_2
       + b_2_6·b_4_10·b_4_20 + b_2_6²·b_1_0·b_1_2⁵ + b_2_6²·b_1_0²·b_1_2⁴
       + b_2_6²·b_1_0³·b_3_1 + b_2_6²·b_1_0³·b_1_2³ + b_2_6²·b_1_0⁴·b_1_2²
       + b_2_6²·b_4_10·b_1_0·b_1_2 + b_2_6³·b_1_0³·b_1_1 + b_2_6³·b_4_20
       + b_2_2·b_1_2⁵·b_3_1 + b_2_2·b_1_0·b_7_28 + b_2_2·b_1_0⁷·b_1_1 + b_2_2·b_8_52
       + b_2_2·b_6_0·b_1_2² + b_2_2·b_6_0·b_1_0·b_1_2 + b_2_2·b_6_0·b_1_0·b_1_1
       + b_2_2·b_4_10·b_1_2⁴ + b_2_2·b_4_10·b_1_0²·b_1_2² + b_2_2·b_4_10·b_1_0⁴
       + b_2_2·b_2_6·b_1_2⁶ + b_2_2·b_2_6·b_1_0·b_1_2⁵ + b_2_2·b_2_6·b_1_0³·b_3_1
       + b_2_2·b_2_6·b_1_0³·b_1_2³ + b_2_2·b_2_6·b_1_0⁶ + b_2_2·b_2_6·b_6_0
       + b_2_2·b_2_6·b_4_10·b_1_2² + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2
       + b_2_2·b_2_6²·b_1_2·b_3_1 + b_2_2·b_2_6²·b_1_2⁴ + b_2_2·b_2_6²·b_1_0·b_3_0
       + b_2_2·b_2_6²·b_1_0·b_1_2³ + b_2_2·b_2_6²·b_4_20 + b_2_2·b_2_6³·b_1_2²
       + b_2_2·b_2_6³·b_1_0·b_1_2 + b_2_2²·b_1_2⁶ + b_2_2²·b_1_0·b_1_2⁵
       + b_2_2²·b_1_0²·b_1_2⁴ + b_2_2²·b_1_0³·b_1_2³ + b_2_2²·b_1_0⁶
       + b_2_2²·b_6_0 + b_2_2²·b_4_10·b_1_2² + b_2_2²·b_4_10·b_1_0·b_1_2
       + b_2_2²·b_4_10·b_1_0² + b_2_2²·b_2_6·b_1_2·b_3_1 + b_2_2²·b_2_6·b_1_1⁴
       + b_2_2²·b_2_6·b_1_0·b_3_1 + b_2_2²·b_2_6·b_1_0·b_3_0
       + b_2_2²·b_2_6·b_1_0·b_1_2³ + b_2_2²·b_2_6·b_4_20 + b_2_2²·b_2_6²·b_1_1²
       + b_2_2²·b_2_6²·b_1_0·b_1_1 + b_2_2²·b_2_6³ + b_2_2³·b_1_1⁴
       + b_2_2³·b_1_0·b_3_1 + b_2_2³·b_1_0³·b_1_2 + b_2_2³·b_1_0³·b_1_1 + b_2_2³·b_4_20
       + b_2_2³·b_2_6·b_1_2² + b_2_2³·b_2_6·b_1_1² + b_2_2³·b_2_6·b_1_0·b_1_2
       + b_2_2³·b_2_6·b_1_0·b_1_1 + b_2_2⁴·b_1_2² + b_2_2⁴·b_1_1² + b_2_2⁴·b_1_0·b_1_2
       + b_2_2⁴·b_1_0² + b_2_2⁴·b_2_6
41. b_3_1·b_7_28 + b_2_6·b_1_0·b_7_28 + b_2_6·b_4_10·b_1_0³·b_1_2 + b_2_6²·b_1_0³·b_3_1
       + b_2_6²·b_1_0³·b_3_0 + b_2_6²·b_1_0³·b_1_2³ + b_2_6²·b_1_0⁵·b_1_1
       + b_2_6³·b_1_0·b_3_11 + b_2_6³·b_1_0·b_3_0 + b_2_6³·b_1_0²·b_1_2²
       + b_2_6³·b_1_0³·b_1_1 + b_2_6⁴·b_1_0·b_1_2 + b_2_2·b_1_0·b_7_28
       + b_2_2·b_1_0⁵·b_3_1 + b_2_2·b_8_52 + b_2_2·b_6_0·b_1_2² + b_2_2·b_6_0·b_1_0²
       + b_2_2·b_4_10·b_1_0·b_3_1 + b_2_2·b_4_10·b_1_0·b_3_0 + b_2_2·b_4_10·b_4_20
       + b_2_2·b_2_6·b_1_2⁶ + b_2_2·b_2_6·b_1_0²·b_1_2⁴ + b_2_2·b_2_6·b_1_0³·b_3_1
       + b_2_2·b_2_6·b_1_0³·b_1_2³ + b_2_2·b_2_6·b_1_0⁵·b_1_1
       + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2 + b_2_2·b_2_6²·b_1_0²·b_1_2²
       + b_2_2·b_2_6²·b_1_0⁴ + b_2_2·b_2_6²·b_4_20 + b_2_2·b_2_6³·b_1_2²
       + b_2_2·b_2_6³·b_1_0² + b_2_2·b_2_6⁴ + b_2_2²·b_1_2³·b_3_1 + b_2_2²·b_1_2⁶
       + b_2_2²·b_1_0³·b_3_1 + b_2_2²·b_1_0³·b_1_2³ + b_2_2²·b_1_0⁴·b_1_2²
       + b_2_2²·b_1_0⁶ + b_2_2²·b_4_10·b_1_0² + b_2_2²·b_2_6·b_1_2·b_3_1
       + b_2_2²·b_2_6·b_1_1⁴ + b_2_2²·b_2_6·b_1_0·b_3_0 + b_2_2²·b_2_6·b_1_0·b_1_2³
       + b_2_2²·b_2_6·b_1_0³·b_1_1 + b_2_2²·b_2_6·b_1_0⁴ + b_2_2²·b_2_6²·b_1_2²
       + b_2_2³·b_1_2·b_3_1 + b_2_2³·b_1_2⁴ + b_2_2³·b_1_1⁴ + b_2_2³·b_1_0·b_3_1
       + b_2_2³·b_1_0²·b_1_2² + b_2_2³·b_1_0³·b_1_2 + b_2_2³·b_4_10
       + b_2_2³·b_2_6·b_1_1² + b_2_2³·b_2_6·b_1_0·b_1_2 + b_2_2³·b_2_6²
       + b_2_2⁴·b_1_1² + b_2_2⁴·b_1_0·b_1_2 + b_2_2⁴·b_1_0² + b_2_2⁴·b_2_6
42. b_3_11·b_7_0 + b_2_6·b_1_0·b_7_28 + b_2_6·b_4_10·b_4_20 + b_2_6²·b_1_0³·b_3_0
       + b_2_6²·b_1_0⁵·b_1_1 + b_2_6³·b_1_0·b_3_11 + b_2_6³·b_1_0³·b_1_2
       + b_2_2·b_4_10·b_1_0·b_3_0 + b_2_2·b_4_10·b_1_0³·b_1_2
       + b_2_2·b_2_6·b_1_0²·b_1_2⁴ + b_2_2·b_2_6·b_1_0³·b_3_1
       + b_2_2·b_2_6·b_1_0⁴·b_1_2² + b_2_2·b_2_6·b_1_0⁵·b_1_1 + b_2_2·b_2_6·b_1_0⁶
       + b_2_2·b_2_6²·b_1_0·b_1_2³ + b_2_2·b_2_6²·b_1_0²·b_1_2²
       + b_2_2·b_2_6²·b_1_0⁴ + b_2_2·b_2_6³·b_1_0·b_1_2 + b_2_2²·b_1_0³·b_3_1
       + b_2_2²·b_1_0⁴·b_1_2² + b_2_2²·b_1_0⁵·b_1_1 + b_2_2²·b_4_10·b_1_0·b_1_2
       + b_2_2²·b_4_10·b_1_0² + b_2_2²·b_2_6·b_1_0·b_3_1 + b_2_2²·b_2_6·b_1_0·b_3_0
       + b_2_2²·b_2_6·b_4_10 + b_2_2²·b_2_6²·b_1_1² + b_2_2²·b_2_6²·b_1_0·b_1_2
       + b_2_2²·b_2_6²·b_1_0² + b_2_2²·b_2_6³ + b_2_2³·b_1_0·b_3_1
       + b_2_2³·b_1_0²·b_1_2² + b_2_2³·b_4_20 + b_2_2³·b_4_10 + b_2_2³·b_2_6·b_1_1²
       + b_2_2³·b_2_6·b_1_0·b_1_2 + b_2_2³·b_2_6·b_1_0·b_1_1 + b_2_2³·b_2_6·b_1_0²
       + b_2_2³·b_2_6²
43. b_3_11·b_7_28 + b_2_6·b_1_0·b_7_28 + b_2_6²·b_1_0³·b_3_0 + b_2_6²·b_1_0⁵·b_1_1
       + b_2_6³·b_1_0³·b_1_2 + b_2_2·b_4_10·b_1_0·b_3_0 + b_2_2·b_4_10·b_1_0³·b_1_2
       + b_2_2·b_2_6·b_1_0²·b_1_2⁴ + b_2_2·b_2_6·b_1_0³·b_3_1
       + b_2_2·b_2_6·b_1_0⁴·b_1_2² + b_2_2·b_2_6·b_1_0⁵·b_1_1 + b_2_2·b_2_6·b_1_0⁶
       + b_2_2·b_2_6²·b_1_0·b_3_0 + b_2_2·b_2_6²·b_1_0·b_1_2³
       + b_2_2·b_2_6²·b_1_0²·b_1_2² + b_2_2·b_2_6²·b_1_0³·b_1_2
       + b_2_2·b_2_6²·b_1_0⁴ + b_2_2·b_2_6³·b_1_0·b_1_1 + b_2_2·b_2_6³·b_1_0²
       + b_2_2²·b_1_0³·b_3_1 + b_2_2²·b_1_0⁴·b_1_2² + b_2_2²·b_1_0⁵·b_1_1
       + b_2_2²·b_4_10·b_1_0·b_1_2 + b_2_2²·b_4_10·b_1_0² + b_2_2²·b_2_6·b_1_0·b_3_1
       + b_2_2²·b_2_6·b_1_0·b_3_0 + b_2_2²·b_2_6·b_4_20 + b_2_2²·b_2_6·b_4_10
       + b_2_2²·b_2_6²·b_1_1² + b_2_2²·b_2_6²·b_1_0·b_1_1 + b_2_2²·b_2_6²·b_1_0²
       + b_2_2²·b_2_6³ + b_2_2³·b_1_0·b_3_1 + b_2_2³·b_1_0²·b_1_2² + b_2_2³·b_4_20
       + b_2_2³·b_4_10 + b_2_2³·b_2_6·b_1_1² + b_2_2³·b_2_6·b_1_0·b_1_2
       + b_2_2³·b_2_6·b_1_0·b_1_1 + b_2_2³·b_2_6·b_1_0² + b_2_2³·b_2_6²
44. b_4_20·b_7_0 + b_2_6·b_8_52·b_1_0 + b_2_6²·b_7_28 + b_2_6²·b_1_0³·b_1_2⁴
       + b_2_6²·b_1_0⁶·b_1_1 + b_2_6³·b_1_0²·b_3_0 + b_2_6³·b_1_0³·b_1_2²
       + b_2_6⁴·b_1_0²·b_1_1 + b_2_2·b_4_10·b_1_0²·b_3_1 + b_2_2·b_4_10·b_4_20·b_1_0
       + b_2_2·b_2_6·b_7_28 + b_2_2·b_2_6·b_1_0³·b_1_2⁴ + b_2_2·b_2_6·b_1_0⁴·b_1_2³
       + b_2_2·b_2_6·b_1_0⁶·b_1_1 + b_2_2·b_2_6·b_6_0·b_1_2 + b_2_2·b_2_6·b_6_0·b_1_0
       + b_2_2·b_2_6·b_4_10·b_3_0 + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2²
       + b_2_2·b_2_6·b_4_10·b_1_0³ + b_2_2·b_2_6²·b_1_2²·b_3_1 + b_2_2·b_2_6²·b_1_2⁵
       + b_2_2·b_2_6²·b_1_0·b_1_2⁴ + b_2_2·b_2_6²·b_1_0²·b_1_2³ + b_2_2·b_2_6³·b_3_1
       + b_2_2·b_2_6³·b_1_2³ + b_2_2·b_2_6³·b_1_0²·b_1_2 + b_2_2·b_2_6⁴·b_1_1
       + b_2_2·b_2_6⁴·b_1_0 + b_2_2²·b_7_28 + b_2_2²·b_7_0 + b_2_2²·b_6_0·b_1_1
       + b_2_2²·b_6_0·b_1_0 + b_2_2²·b_4_10·b_3_1 + b_2_2²·b_4_10·b_3_0
       + b_2_2²·b_4_10·b_1_0³ + b_2_2²·b_2_6·b_1_2⁵ + b_2_2²·b_2_6·b_1_0·b_1_2⁴
       + b_2_2²·b_2_6·b_1_0²·b_3_1 + b_2_2²·b_2_6·b_4_20·b_1_0
       + b_2_2²·b_2_6·b_4_10·b_1_2 + b_2_2²·b_2_6²·b_1_1³
       + b_2_2²·b_2_6²·b_1_0²·b_1_1 + b_2_2²·b_2_6³·b_1_2 + b_2_2²·b_2_6³·b_1_1
       + b_2_2²·b_2_6³·b_1_0 + b_2_2³·b_1_2²·b_3_1 + b_2_2³·b_1_2⁵
       + b_2_2³·b_1_0·b_1_2⁴ + b_2_2³·b_1_0³·b_1_2² + b_2_2³·b_1_0⁵
       + b_2_2³·b_4_20·b_1_0 + b_2_2³·b_4_10·b_1_2 + b_2_2³·b_4_10·b_1_0
       + b_2_2³·b_2_6·b_1_1³ + b_2_2³·b_2_6·b_1_0²·b_1_2 + b_2_2³·b_2_6·b_1_0²·b_1_1
       + b_2_2³·b_2_6·b_1_0³ + b_2_2³·b_2_6²·b_1_1 + b_2_2³·b_2_6²·b_1_0
       + b_2_2⁴·b_3_0 + b_2_2⁴·b_1_1³ + b_2_2⁴·b_1_0²·b_1_2 + b_2_2⁴·b_1_0²·b_1_1
       + b_2_2⁴·b_1_0³ + b_2_2⁴·b_2_6·b_1_2 + b_2_2⁴·b_2_6·b_1_1 + b_2_2⁵·b_1_1
45. b_4_20·b_7_28 + b_2_6·b_8_52·b_1_0 + b_2_6·b_4_10·b_4_20·b_1_0 + b_2_6²·b_7_28
       + b_2_6²·b_1_0³·b_1_2⁴ + b_2_6²·b_1_0⁶·b_1_1 + b_2_6²·b_4_10·b_3_1
       + b_2_6³·b_1_0²·b_3_1 + b_2_6³·b_1_0²·b_1_2³ + b_2_6³·b_1_0³·b_1_2²
       + b_2_6³·b_4_20·b_1_0 + b_2_6³·b_4_10·b_1_2 + b_2_6⁴·b_3_11 + b_2_6⁴·b_1_0·b_1_2²
       + b_2_2·b_4_10·b_1_0²·b_3_1 + b_2_2·b_4_10·b_4_20·b_1_0 + b_2_2·b_2_6·b_7_0
       + b_2_2·b_2_6·b_1_0³·b_1_2⁴ + b_2_2·b_2_6·b_6_0·b_1_2 + b_2_2·b_2_6·b_6_0·b_1_1
       + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2² + b_2_2·b_2_6²·b_1_2²·b_3_1
       + b_2_2·b_2_6²·b_1_2⁵ + b_2_2·b_2_6²·b_1_0·b_1_2⁴
       + b_2_2·b_2_6²·b_1_0²·b_1_2³ + b_2_2·b_2_6²·b_1_0⁴·b_1_2
       + b_2_2·b_2_6²·b_1_0⁴·b_1_1 + b_2_2·b_2_6²·b_4_20·b_1_0
       + b_2_2·b_2_6²·b_4_10·b_1_0 + b_2_2·b_2_6³·b_3_1 + b_2_2·b_2_6³·b_1_2³
       + b_2_2·b_2_6³·b_1_1³ + b_2_2·b_2_6³·b_1_0·b_1_2² + b_2_2·b_2_6³·b_1_0³
       + b_2_2²·b_7_28 + b_2_2²·b_7_0 + b_2_2²·b_6_0·b_1_1 + b_2_2²·b_6_0·b_1_0
       + b_2_2²·b_4_10·b_3_1 + b_2_2²·b_4_10·b_3_0 + b_2_2²·b_4_10·b_1_0³
       + b_2_2²·b_2_6·b_1_2²·b_3_1 + b_2_2²·b_2_6·b_1_0²·b_1_2³
       + b_2_2²·b_2_6·b_1_0³·b_1_2² + b_2_2²·b_2_6·b_1_0⁵
       + b_2_2²·b_2_6·b_4_10·b_1_0 + b_2_2²·b_2_6²·b_1_0·b_1_2²
       + b_2_2²·b_2_6²·b_1_0²·b_1_2 + b_2_2²·b_2_6²·b_1_0³ + b_2_2²·b_2_6³·b_1_0
       + b_2_2³·b_1_2²·b_3_1 + b_2_2³·b_1_2⁵ + b_2_2³·b_1_0·b_1_2⁴
       + b_2_2³·b_1_0³·b_1_2² + b_2_2³·b_1_0⁵ + b_2_2³·b_4_20·b_1_0
       + b_2_2³·b_4_10·b_1_2 + b_2_2³·b_4_10·b_1_0 + b_2_2³·b_2_6·b_3_1
       + b_2_2³·b_2_6·b_3_0 + b_2_2³·b_2_6·b_1_0²·b_1_2 + b_2_2³·b_2_6·b_1_0²·b_1_1
       + b_2_2³·b_2_6²·b_1_0 + b_2_2⁴·b_3_0 + b_2_2⁴·b_1_1³ + b_2_2⁴·b_1_0²·b_1_2
       + b_2_2⁴·b_1_0²·b_1_1 + b_2_2⁴·b_1_0³ + b_2_2⁵·b_1_1
46. b_8_52·b_3_0 + b_2_6·b_6_0·b_1_0²·b_1_2 + b_2_6·b_6_0·b_1_0²·b_1_1
       + b_2_6·b_4_10·b_1_0³·b_1_2² + b_2_6·b_4_10²·b_1_2 + b_2_6²·b_1_0³·b_1_2⁴
       + b_2_6²·b_4_10·b_1_0·b_1_2² + b_2_6²·b_4_10·b_1_0²·b_1_2
       + b_2_6³·b_1_0²·b_3_0 + b_2_6³·b_1_0²·b_1_2³ + b_2_6³·b_1_0³·b_1_2²
       + b_2_6⁴·b_1_0²·b_1_2 + b_2_2·b_1_0⁸·b_1_1 + b_2_2·b_6_0·b_1_0·b_1_2²
       + b_2_2·b_6_0·b_1_0³ + b_2_2·b_4_10·b_1_0²·b_3_1 + b_2_2·b_4_10·b_1_0³·b_1_2²
       + b_2_2·b_2_6·b_1_2⁴·b_3_1 + b_2_2·b_2_6·b_1_0·b_1_2⁶
       + b_2_2·b_2_6·b_1_0³·b_1_2⁴ + b_2_2·b_2_6·b_1_0⁴·b_3_1
       + b_2_2·b_2_6·b_1_0⁶·b_1_1 + b_2_2·b_2_6·b_1_0⁷ + b_2_2·b_2_6·b_6_0·b_1_2
       + b_2_2·b_2_6·b_4_10·b_3_0 + b_2_2·b_2_6·b_4_10·b_1_2³
       + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2² + b_2_2·b_2_6·b_4_10·b_1_0²·b_1_2
       + b_2_2·b_2_6·b_4_10·b_1_0³ + b_2_2·b_2_6²·b_1_1⁵ + b_2_2·b_2_6²·b_1_0·b_1_2⁴
       + b_2_2·b_2_6²·b_1_0²·b_3_1 + b_2_2·b_2_6²·b_1_0⁴·b_1_2
       + b_2_2·b_2_6²·b_1_0⁴·b_1_1 + b_2_2·b_2_6²·b_4_20·b_1_0 + b_2_2·b_2_6³·b_1_2³
       + b_2_2·b_2_6³·b_1_0·b_1_2² + b_2_2·b_2_6³·b_1_0²·b_1_1 + b_2_2·b_2_6⁴·b_1_0
       + b_2_2²·b_7_28 + b_2_2²·b_7_0 + b_2_2²·b_1_2⁴·b_3_1 + b_2_2²·b_1_0·b_1_2⁶
       + b_2_2²·b_1_0⁴·b_3_1 + b_2_2²·b_1_0⁶·b_1_1 + b_2_2²·b_6_0·b_1_2
       + b_2_2²·b_6_0·b_1_1 + b_2_2²·b_4_10·b_3_1 + b_2_2²·b_4_10·b_1_2³
       + b_2_2²·b_2_6·b_1_2²·b_3_1 + b_2_2²·b_2_6·b_1_0²·b_3_1
       + b_2_2²·b_2_6·b_1_0³·b_1_2² + b_2_2²·b_2_6·b_1_0⁴·b_1_2
       + b_2_2²·b_2_6·b_1_0⁴·b_1_1 + b_2_2²·b_2_6·b_4_20·b_1_0
       + b_2_2²·b_2_6·b_4_10·b_1_0 + b_2_2²·b_2_6²·b_1_0²·b_1_2
       + b_2_2²·b_2_6²·b_1_0²·b_1_1 + b_2_2²·b_2_6²·b_1_0³ + b_2_2²·b_2_6³·b_1_1
       + b_2_2³·b_1_2⁵ + b_2_2³·b_1_1⁵ + b_2_2³·b_1_0·b_1_2⁴ + b_2_2³·b_1_0²·b_3_1
       + b_2_2³·b_1_0²·b_1_2³ + b_2_2³·b_4_20·b_1_0 + b_2_2³·b_4_10·b_1_2
       + b_2_2³·b_2_6·b_3_1 + b_2_2³·b_2_6·b_3_0 + b_2_2³·b_2_6·b_1_2³
       + b_2_2³·b_2_6²·b_1_1 + b_2_2³·b_2_6²·b_1_0 + b_2_2⁴·b_3_0
       + b_2_2⁴·b_1_0·b_1_2² + b_2_2⁴·b_1_0²·b_1_2 + b_2_2⁴·b_1_0²·b_1_1
       + b_2_2⁴·b_1_0³ + b_2_2⁴·b_2_6·b_1_1 + b_2_2⁵·b_1_1 + b_2_2⁵·b_1_0
47. b_8_52·b_3_1 + b_2_6·b_8_52·b_1_0 + b_2_6·b_6_0·b_1_0·b_1_2²
       + b_2_6·b_6_0·b_1_0²·b_1_1 + b_2_6²·b_1_0·b_1_2⁶ + b_2_6²·b_1_0⁴·b_3_0
       + b_2_6²·b_6_0·b_1_2 + b_2_6²·b_6_0·b_1_0 + b_2_6²·b_4_10·b_1_0·b_1_2²
       + b_2_6²·b_4_10·b_1_0²·b_1_2 + b_2_6³·b_1_2²·b_3_1 + b_2_6³·b_1_2⁵
       + b_2_6³·b_1_0·b_1_2⁴ + b_2_6³·b_1_0²·b_3_1 + b_2_6³·b_1_0²·b_1_2³
       + b_2_6³·b_4_20·b_1_0 + b_2_6⁴·b_3_1 + b_2_2·b_6_0·b_1_2³
       + b_2_2·b_6_0·b_1_0·b_1_2² + b_2_2·b_6_0·b_1_0²·b_1_2 + b_2_2·b_6_0·b_1_0³
       + b_2_2·b_4_10·b_1_0³·b_1_2² + b_2_2·b_2_6·b_7_28 + b_2_2·b_2_6·b_1_2⁷
       + b_2_2·b_2_6·b_1_0³·b_1_2⁴ + b_2_2·b_2_6·b_1_0⁴·b_3_1
       + b_2_2·b_2_6·b_1_0⁶·b_1_1 + b_2_2·b_2_6·b_1_0⁷ + b_2_2·b_2_6·b_6_0·b_1_2
       + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2² + b_2_2·b_2_6²·b_1_0·b_1_2⁴
       + b_2_2·b_2_6²·b_1_0²·b_3_1 + b_2_2·b_2_6²·b_1_0⁴·b_1_2
       + b_2_2·b_2_6²·b_4_10·b_1_0 + b_2_2·b_2_6³·b_3_0 + b_2_2·b_2_6³·b_1_2³
       + b_2_2·b_2_6³·b_1_0·b_1_2² + b_2_2·b_2_6³·b_1_0³ + b_2_2·b_2_6⁴·b_1_1
       + b_2_2²·b_1_2⁷ + b_2_2²·b_1_0³·b_1_2⁴ + b_2_2²·b_1_0⁶·b_1_1
       + b_2_2²·b_4_10·b_3_1 + b_2_2²·b_4_10·b_3_0 + b_2_2²·b_4_10·b_1_2³
       + b_2_2²·b_4_10·b_1_0²·b_1_2 + b_2_2²·b_4_10·b_1_0³ + b_2_2²·b_2_6·b_1_2⁵
       + b_2_2²·b_2_6·b_1_0³·b_1_2² + b_2_2²·b_2_6·b_1_0⁴·b_1_1
       + b_2_2²·b_2_6·b_1_0⁵ + b_2_2²·b_2_6·b_4_10·b_1_2 + b_2_2²·b_2_6·b_4_10·b_1_0
       + b_2_2²·b_2_6²·b_1_2³ + b_2_2²·b_2_6²·b_1_1³ + b_2_2²·b_2_6²·b_1_0²·b_1_2
       + b_2_2²·b_2_6²·b_1_0²·b_1_1 + b_2_2²·b_2_6³·b_1_2 + b_2_2²·b_2_6³·b_1_1
       + b_2_2³·b_1_2²·b_3_1 + b_2_2³·b_1_2⁵ + b_2_2³·b_1_0·b_1_2⁴
       + b_2_2³·b_1_0⁴·b_1_2 + b_2_2³·b_4_10·b_1_2 + b_2_2³·b_4_10·b_1_0
       + b_2_2³·b_2_6·b_3_1 + b_2_2³·b_2_6·b_3_0 + b_2_2³·b_2_6·b_1_2³
       + b_2_2³·b_2_6·b_1_1³ + b_2_2³·b_2_6·b_1_0·b_1_2² + b_2_2³·b_2_6·b_1_0³
       + b_2_2³·b_2_6²·b_1_2 + b_2_2³·b_2_6²·b_1_1 + b_2_2⁴·b_3_1 + b_2_2⁴·b_3_0
       + b_2_2⁴·b_1_0·b_1_2² + b_2_2⁴·b_1_0²·b_1_2 + b_2_2⁴·b_1_0³
       + b_2_2⁴·b_2_6·b_1_2 + b_2_2⁴·b_2_6·b_1_1 + b_2_2⁵·b_1_2 + b_2_2⁵·b_1_1
       + b_2_2⁵·b_1_0
48. b_8_52·b_3_11 + b_2_6·b_8_52·b_1_0 + b_2_6²·b_1_0³·b_1_2⁴ + b_2_6²·b_1_0⁶·b_1_1
       + b_2_6³·b_1_0³·b_1_2² + b_2_6³·b_1_0⁴·b_1_1 + b_2_6⁴·b_1_0²·b_1_2
       + b_2_6⁴·b_1_0²·b_1_1 + b_2_2·b_4_10·b_1_0²·b_3_1 + b_2_2·b_2_6·b_1_0³·b_1_2⁴
       + b_2_2·b_2_6·b_1_0⁴·b_1_2³ + b_2_2·b_2_6·b_1_0⁶·b_1_1 + b_2_2·b_2_6·b_6_0·b_1_2
       + b_2_2·b_2_6·b_6_0·b_1_0 + b_2_2·b_2_6·b_4_10·b_3_0
       + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2² + b_2_2·b_2_6·b_4_10·b_1_0³
       + b_2_2·b_2_6²·b_1_2²·b_3_1 + b_2_2·b_2_6²·b_1_2⁵
       + b_2_2·b_2_6²·b_1_0²·b_1_2³ + b_2_2·b_2_6²·b_1_0⁴·b_1_2
       + b_2_2·b_2_6²·b_1_0⁴·b_1_1 + b_2_2·b_2_6²·b_1_0⁵ + b_2_2·b_2_6²·b_4_20·b_1_0
       + b_2_2·b_2_6²·b_4_10·b_1_2 + b_2_2·b_2_6³·b_3_1 + b_2_2·b_2_6³·b_3_0
       + b_2_2·b_2_6³·b_1_1³ + b_2_2·b_2_6³·b_1_0·b_1_2² + b_2_2·b_2_6³·b_1_0²·b_1_1
       + b_2_2·b_2_6³·b_1_0³ + b_2_2·b_2_6⁴·b_1_1 + b_2_2·b_2_6⁴·b_1_0 + b_2_2²·b_7_28
       + b_2_2²·b_7_0 + b_2_2²·b_1_0⁴·b_3_1 + b_2_2²·b_6_0·b_1_1 + b_2_2²·b_6_0·b_1_0
       + b_2_2²·b_4_10·b_3_1 + b_2_2²·b_4_10·b_1_0²·b_1_2 + b_2_2²·b_2_6·b_1_2⁵
       + b_2_2²·b_2_6·b_1_0²·b_3_1 + b_2_2²·b_2_6·b_1_0³·b_1_2²
       + b_2_2²·b_2_6·b_1_0⁴·b_1_1 + b_2_2²·b_2_6·b_4_10·b_1_2
       + b_2_2²·b_2_6·b_4_10·b_1_0 + b_2_2²·b_2_6²·b_1_2³
       + b_2_2²·b_2_6²·b_1_0²·b_1_2 + b_2_2²·b_2_6³·b_1_2 + b_2_2³·b_1_2²·b_3_1
       + b_2_2³·b_1_2⁵ + b_2_2³·b_1_0·b_1_2⁴ + b_2_2³·b_1_0²·b_3_1
       + b_2_2³·b_1_0⁴·b_1_2 + b_2_2³·b_1_0⁴·b_1_1 + b_2_2³·b_1_0⁵
       + b_2_2³·b_4_20·b_1_0 + b_2_2³·b_2_6·b_1_1³ + b_2_2³·b_2_6·b_1_0³
       + b_2_2³·b_2_6²·b_1_2 + b_2_2³·b_2_6²·b_1_1 + b_2_2⁴·b_3_0 + b_2_2⁴·b_1_1³
       + b_2_2⁴·b_1_0·b_1_2² + b_2_2⁴·b_1_0²·b_1_2 + b_2_2⁴·b_1_0²·b_1_1
       + b_2_2⁴·b_1_0³ + b_2_2⁴·b_2_6·b_1_2 + b_2_2⁴·b_2_6·b_1_1 + b_2_2⁵·b_1_2
       + b_2_2⁵·b_1_1
49. b_4_20·b_8_52 + b_2_6²·b_1_0·b_7_28 + b_2_6²·b_4_10·b_1_0·b_3_1
       + b_2_6³·b_1_0³·b_3_1 + b_2_6³·b_1_0³·b_1_2³ + b_2_6³·b_1_0⁵·b_1_1
       + b_2_6³·b_4_10·b_1_0·b_1_2 + b_2_6⁴·b_1_0²·b_1_2² + b_2_6⁴·b_1_0³·b_1_2
       + b_2_6⁴·b_1_0³·b_1_1 + b_2_6⁴·b_4_20 + b_2_2·b_2_6·b_1_0·b_7_28
       + b_2_2·b_2_6·b_1_0·b_7_0 + b_2_2·b_2_6·b_6_0·b_1_0·b_1_1
       + b_2_2·b_2_6·b_6_0·b_1_0² + b_2_2·b_2_6·b_4_10·b_1_0³·b_1_2
       + b_2_2·b_2_6·b_4_10·b_1_0⁴ + b_2_2·b_2_6²·b_1_0²·b_1_2⁴
       + b_2_2·b_2_6²·b_1_0³·b_1_2³ + b_2_2·b_2_6²·b_1_0⁵·b_1_1
       + b_2_2·b_2_6²·b_1_0⁶ + b_2_2·b_2_6³·b_1_0·b_3_0 + b_2_2·b_2_6³·b_1_0·b_1_2³
       + b_2_2·b_2_6³·b_1_0²·b_1_2² + b_2_2·b_2_6³·b_1_0³·b_1_2
       + b_2_2·b_2_6³·b_1_0³·b_1_1 + b_2_2·b_2_6³·b_1_0⁴ + b_2_2·b_2_6³·b_4_20
       + b_2_2²·b_1_0⁵·b_3_1 + b_2_2²·b_4_10·b_1_0⁴ + b_2_2²·b_4_10·b_4_20
       + b_2_2²·b_2_6·b_1_0·b_1_2⁵ + b_2_2²·b_2_6·b_4_10·b_1_2²
       + b_2_2²·b_2_6²·b_1_0²·b_1_2² + b_2_2²·b_2_6²·b_1_0³·b_1_2
       + b_2_2²·b_2_6²·b_1_0⁴ + b_2_2²·b_2_6³·b_1_2² + b_2_2²·b_2_6³·b_1_1²
       + b_2_2²·b_2_6³·b_1_0·b_1_2 + b_2_2²·b_2_6³·b_1_0·b_1_1
       + b_2_2²·b_2_6³·b_1_0² + b_2_2²·b_2_6⁴ + b_2_2³·b_1_0⁵·b_1_1
       + b_2_2³·b_2_6·b_1_0·b_3_0 + b_2_2³·b_2_6·b_1_0²·b_1_2²
       + b_2_2³·b_2_6·b_1_0³·b_1_2 + b_2_2³·b_2_6·b_1_0⁴ + b_2_2³·b_2_6·b_4_10
       + b_2_2³·b_2_6³ + b_2_2⁴·b_1_0·b_3_1 + b_2_2⁴·b_1_0⁴ + b_2_2⁴·b_4_20
       + b_2_2⁴·b_4_10 + b_2_2⁴·b_2_6·b_1_0² + b_2_2⁴·b_2_6² + b_2_2⁵·b_1_0·b_1_1
       + b_2_2⁶
50. b_1_1⁹·b_3_0 + b_6_0·b_1_1⁶ + b_6_0·b_1_0²·b_1_2⁴ + b_6_0²
       + b_4_10·b_1_1⁵·b_3_0 + b_4_10·b_1_1⁸ + b_4_10²·b_1_1⁴ + b_4_10²·b_1_0·b_1_2³
       + b_2_6·b_1_1⁷·b_3_0 + b_2_6·b_6_0·b_1_2⁴ + b_2_6·b_6_0·b_1_1·b_3_0
       + b_2_6·b_6_0·b_1_1⁴ + b_2_6·b_6_0·b_1_0·b_1_2³ + b_2_6·b_6_0·b_1_0³·b_1_1
       + b_2_6·b_6_0·b_1_0⁴ + b_2_6·b_4_10·b_1_2⁶ + b_2_6·b_4_10·b_1_1³·b_3_0
       + b_2_6·b_4_10²·b_1_2² + b_2_6·b_4_10²·b_1_0·b_1_2 + b_2_6²·b_1_2⁵·b_3_1
       + b_2_6²·b_1_1⁵·b_3_0 + b_2_6²·b_1_0⁵·b_3_1 + b_2_6²·b_1_0⁷·b_1_1
       + b_2_6²·b_6_0·b_1_0² + b_2_6²·b_4_10·b_1_0·b_1_2³
       + b_2_6²·b_4_10·b_1_0³·b_1_2 + b_2_6³·b_1_2³·b_3_1 + b_2_6³·b_1_0²·b_1_2⁴
       + b_2_6³·b_1_0³·b_3_1 + b_2_6³·b_1_0³·b_3_0 + b_2_6³·b_1_0⁴·b_1_2²
       + b_2_6³·b_1_0⁵·b_1_1 + b_2_6⁴·b_1_0·b_3_1 + b_2_6⁴·b_1_0·b_3_0
       + b_2_6⁴·b_1_0³·b_1_2 + b_2_6⁴·b_4_20 + b_2_6⁵·b_1_0·b_1_2 + b_2_2·b_1_1¹⁰
       + b_2_2·b_6_0·b_1_2⁴ + b_2_2·b_6_0·b_1_0·b_1_2³ + b_2_2·b_4_10·b_1_2⁶
       + b_2_2·b_4_10²·b_1_0·b_1_2 + b_2_2·b_2_6·b_1_2⁵·b_3_1 + b_2_2·b_2_6·b_1_1⁸
       + b_2_2·b_2_6·b_1_0·b_1_2⁷ + b_2_2·b_2_6·b_6_0·b_1_2²
       + b_2_2·b_2_6·b_6_0·b_1_0·b_1_1 + b_2_2·b_2_6·b_4_10·b_1_2⁴
       + b_2_2·b_2_6·b_4_10·b_1_0²·b_1_2² + b_2_2·b_2_6²·b_1_2³·b_3_1
       + b_2_2·b_2_6²·b_1_2⁶ + b_2_2·b_2_6²·b_1_1⁶ + b_2_2·b_2_6²·b_1_0³·b_1_2³
       + b_2_2·b_2_6²·b_1_0⁴·b_1_2² + b_2_2·b_2_6²·b_1_0⁵·b_1_1
       + b_2_2·b_2_6²·b_1_0⁶ + b_2_2·b_2_6²·b_6_0 + b_2_2·b_2_6³·b_1_2·b_3_1
       + b_2_2·b_2_6³·b_1_1⁴ + b_2_2·b_2_6³·b_1_0·b_3_0 + b_2_2·b_2_6³·b_1_0·b_1_2³
       + b_2_2·b_2_6³·b_1_0²·b_1_2² + b_2_2·b_2_6³·b_1_0³·b_1_2
       + b_2_2·b_2_6⁴·b_1_1² + b_2_2·b_2_6⁴·b_1_0·b_1_1 + b_2_2·b_2_6⁴·b_1_0²
       + b_2_2·b_2_6⁵ + b_2_2²·b_1_0·b_1_2⁷ + b_2_2²·b_6_0·b_1_0·b_1_1
       + b_2_2²·b_4_10·b_1_2⁴ + b_2_2²·b_4_10·b_1_0·b_1_2³
       + b_2_2²·b_4_10·b_1_0²·b_1_2² + b_2_2²·b_4_10·b_1_0³·b_1_2
       + b_2_2²·b_2_6·b_1_2³·b_3_1 + b_2_2²·b_2_6·b_1_2⁶ + b_2_2²·b_2_6·b_1_0·b_1_2⁵
       + b_2_2²·b_2_6·b_1_0³·b_3_1 + b_2_2²·b_2_6·b_1_0⁴·b_1_2²
       + b_2_2²·b_2_6·b_1_0⁵·b_1_1 + b_2_2²·b_2_6²·b_1_2⁴ + b_2_2²·b_2_6²·b_1_1⁴
       + b_2_2²·b_2_6²·b_1_0·b_3_0 + b_2_2²·b_2_6²·b_1_0²·b_1_2²
       + b_2_2²·b_2_6³·b_1_2² + b_2_2²·b_2_6³·b_1_1² + b_2_2²·b_2_6³·b_1_0²
       + b_2_2³·b_1_2³·b_3_1 + b_2_2³·b_1_0³·b_3_1 + b_2_2³·b_1_0⁴·b_1_2²
       + b_2_2³·b_6_0 + b_2_2³·b_2_6·b_1_2·b_3_1 + b_2_2³·b_2_6·b_1_0·b_1_2³
       + b_2_2³·b_2_6·b_1_0²·b_1_2² + b_2_2³·b_2_6·b_1_0³·b_1_1
       + b_2_2³·b_2_6·b_1_0⁴ + b_2_2³·b_2_6·b_4_20 + b_2_2³·b_2_6²·b_1_2²
       + b_2_2³·b_2_6²·b_1_0·b_1_2 + b_2_2³·b_2_6³ + b_2_2⁴·b_1_2⁴
       + b_2_2⁴·b_1_0·b_3_1 + b_2_2⁴·b_1_0·b_1_2³ + b_2_2⁴·b_2_6·b_1_2²
       + b_2_2⁴·b_2_6·b_1_1² + b_2_2⁴·b_2_6·b_1_0·b_1_1 + b_2_2⁴·b_2_6·b_1_0²
       + b_2_2⁵·b_1_2² + b_2_2⁵·b_1_1² + b_2_2⁵·b_1_0·b_1_1 + c_8_11·b_1_1⁴
       + c_8_11·b_1_0³·b_1_1 + b_2_2·c_8_11·b_1_0·b_1_1
51. b_6_0·b_7_0 + b_6_0·b_1_1⁷ + b_6_0·b_1_0⁶·b_1_1 + b_4_10·b_1_1⁶·b_3_0
       + b_4_10·b_1_0⁶·b_3_1 + b_4_10·b_6_0·b_3_0 + b_4_10·b_6_0·b_1_1³
       + b_4_10·b_6_0·b_1_0³ + b_4_10²·b_1_1²·b_3_0 + b_4_10²·b_1_0·b_1_2⁴
       + b_2_6·b_1_0⁸·b_3_1 + b_2_6·b_1_0¹⁰·b_1_1 + b_2_6·b_6_0·b_1_0·b_1_2⁴
       + b_2_6·b_4_10·b_1_0·b_1_2⁶ + b_2_6·b_4_10·b_6_0·b_1_1
       + b_2_6·b_4_10²·b_1_0·b_1_2² + b_2_6²·b_1_0⁶·b_3_1 + b_2_6²·b_8_52·b_1_0
       + b_2_6²·b_6_0·b_1_1³ + b_2_6²·b_6_0·b_1_0²·b_1_2 + b_2_6²·b_6_0·b_1_0³
       + b_2_6²·b_4_10·b_1_2⁵ + b_2_6²·b_4_10·b_1_1⁵ + b_2_6²·b_4_10·b_1_0·b_1_2⁴
       + b_2_6²·b_4_10·b_1_0³·b_1_2² + b_2_6²·b_4_10·b_4_20·b_1_0 + b_2_6³·b_7_28
       + b_2_6³·b_1_0³·b_1_2⁴ + b_2_6³·b_1_0⁴·b_3_1 + b_2_6³·b_1_0⁴·b_3_0
       + b_2_6³·b_4_10·b_3_1 + b_2_6³·b_4_10·b_1_0·b_1_2² + b_2_6⁴·b_1_0²·b_3_0
       + b_2_6⁴·b_1_0²·b_1_2³ + b_2_6⁴·b_1_0³·b_1_2² + b_2_6⁴·b_1_0⁴·b_1_2
       + b_2_6⁴·b_4_20·b_1_0 + b_2_6⁵·b_3_11 + b_2_6⁵·b_1_0²·b_1_1 + b_2_2·b_1_0⁴·b_7_0
       + b_2_2·b_6_0·b_1_2⁵ + b_2_2·b_6_0·b_1_1⁵ + b_2_2·b_6_0·b_1_0·b_1_2⁴
       + b_2_2·b_4_10·b_1_0⁷ + b_2_2·b_4_10²·b_1_0·b_1_2² + b_2_2·b_2_6·b_1_2⁶·b_3_1
       + b_2_2·b_2_6·b_1_0·b_1_2⁸ + b_2_2·b_2_6·b_1_0⁹ + b_2_2·b_2_6·b_6_0·b_1_2³
       + b_2_2·b_2_6·b_6_0·b_1_0³ + b_2_2·b_2_6·b_4_10·b_1_2⁵
       + b_2_2·b_2_6·b_4_10·b_4_20·b_1_0 + b_2_2·b_2_6²·b_1_2⁷ + b_2_2·b_2_6²·b_1_1⁷
       + b_2_2·b_2_6²·b_1_0·b_1_2⁶ + b_2_2·b_2_6²·b_1_0³·b_1_2⁴
       + b_2_2·b_2_6²·b_1_0⁴·b_1_2³ + b_2_2·b_2_6²·b_6_0·b_1_2
       + b_2_2·b_2_6²·b_6_0·b_1_1 + b_2_2·b_2_6²·b_4_10·b_3_0
       + b_2_2·b_2_6²·b_4_10·b_1_2³ + b_2_2·b_2_6²·b_4_10·b_1_0²·b_1_2
       + b_2_2·b_2_6²·b_4_10·b_1_0³ + b_2_2·b_2_6³·b_1_2²·b_3_1
       + b_2_2·b_2_6³·b_1_1⁵ + b_2_2·b_2_6³·b_1_0·b_1_2⁴ + b_2_2·b_2_6³·b_1_0⁴·b_1_2
       + b_2_2·b_2_6³·b_1_0⁴·b_1_1 + b_2_2·b_2_6³·b_4_10·b_1_0 + b_2_2·b_2_6⁴·b_3_1
       + b_2_2·b_2_6⁴·b_1_2³ + b_2_2·b_2_6⁴·b_1_1³ + b_2_2·b_2_6⁴·b_1_0²·b_1_2
       + b_2_2·b_2_6⁴·b_1_0²·b_1_1 + b_2_2·b_2_6⁴·b_1_0³ + b_2_2·b_2_6⁵·b_1_1
       + b_2_2·b_2_6⁵·b_1_0 + b_2_2²·b_1_2⁶·b_3_1 + b_2_2²·b_1_1⁹
       + b_2_2²·b_1_0·b_1_2⁸ + b_2_2²·b_1_0²·b_7_0 + b_2_2²·b_1_0⁶·b_3_1
       + b_2_2²·b_1_0⁸·b_1_1 + b_2_2²·b_6_0·b_1_1³ + b_2_2²·b_6_0·b_1_0³
       + b_2_2²·b_4_10·b_1_0²·b_3_1 + b_2_2²·b_4_10·b_1_0³·b_1_2²
       + b_2_2²·b_4_10·b_4_20·b_1_0 + b_2_2²·b_4_10²·b_1_2 + b_2_2²·b_2_6·b_7_28
       + b_2_2²·b_2_6·b_1_0³·b_1_2⁴ + b_2_2²·b_2_6·b_1_0⁴·b_3_1
       + b_2_2²·b_2_6·b_1_0⁴·b_1_2³ + b_2_2²·b_2_6·b_1_0⁷
       + b_2_2²·b_2_6·b_4_10·b_3_0 + b_2_2²·b_2_6·b_4_10·b_1_2³
       + b_2_2²·b_2_6·b_4_10·b_1_0·b_1_2² + b_2_2²·b_2_6·b_4_10·b_1_0²·b_1_2
       + b_2_2²·b_2_6·b_4_10·b_1_0³ + b_2_2²·b_2_6²·b_1_2²·b_3_1
       + b_2_2²·b_2_6²·b_1_0·b_1_2⁴ + b_2_2²·b_2_6²·b_1_0⁴·b_1_2
       + b_2_2²·b_2_6²·b_4_10·b_1_0 + b_2_2²·b_2_6³·b_3_1 + b_2_2²·b_2_6³·b_3_0
       + b_2_2²·b_2_6³·b_1_2³ + b_2_2²·b_2_6³·b_1_0²·b_1_2 + b_2_2³·b_7_28
       + b_2_2³·b_7_0 + b_2_2³·b_1_2⁷ + b_2_2³·b_1_0·b_1_2⁶ + b_2_2³·b_1_0³·b_1_2⁴
       + b_2_2³·b_1_0⁶·b_1_1 + b_2_2³·b_6_0·b_1_1 + b_2_2³·b_4_10·b_1_2³
       + b_2_2³·b_4_10·b_1_0³ + b_2_2³·b_2_6·b_1_2²·b_3_1 + b_2_2³·b_2_6·b_1_2⁵
       + b_2_2³·b_2_6·b_1_1⁵ + b_2_2³·b_2_6·b_1_0·b_1_2⁴ + b_2_2³·b_2_6·b_1_0²·b_3_1
       + b_2_2³·b_2_6·b_1_0²·b_1_2³ + b_2_2³·b_2_6·b_1_0⁴·b_1_2
       + b_2_2³·b_2_6·b_1_0⁴·b_1_1 + b_2_2³·b_2_6·b_1_0⁵ + b_2_2³·b_2_6·b_4_20·b_1_0
       + b_2_2³·b_2_6·b_4_10·b_1_0 + b_2_2³·b_2_6²·b_3_1 + b_2_2³·b_2_6²·b_3_0
       + b_2_2³·b_2_6²·b_1_1³ + b_2_2³·b_2_6²·b_1_0²·b_1_2 + b_2_2³·b_2_6²·b_1_0³
       + b_2_2³·b_2_6³·b_1_2 + b_2_2⁴·b_1_2²·b_3_1 + b_2_2⁴·b_1_1⁵
       + b_2_2⁴·b_1_0³·b_1_2² + b_2_2⁴·b_1_0⁴·b_1_2 + b_2_2⁴·b_1_0⁴·b_1_1
       + b_2_2⁴·b_1_0⁵ + b_2_2⁴·b_2_6·b_3_1 + b_2_2⁴·b_2_6·b_3_0 + b_2_2⁴·b_2_6·b_1_1³
       + b_2_2⁴·b_2_6·b_1_0²·b_1_2 + b_2_2⁴·b_2_6²·b_1_2 + b_2_2⁴·b_2_6²·b_1_0
       + b_2_2⁵·b_3_1 + b_2_2⁵·b_3_0 + b_2_2⁵·b_1_2³ + b_2_2⁵·b_1_0·b_1_2²
       + b_2_2⁵·b_1_0²·b_1_2 + b_2_2⁵·b_1_0³ + b_2_2⁵·b_2_6·b_1_1 + b_2_2⁶·b_1_2
       + b_2_2⁶·b_1_1 + c_8_11·b_1_1²·b_3_0 + c_8_11·b_1_1⁵ + b_2_6·c_8_11·b_1_1³
       + b_2_2·c_8_11·b_1_0²·b_1_1 + b_2_2²·c_8_11·b_1_1
52. b_6_0·b_7_28 + b_2_6²·b_8_52·b_1_0 + b_2_6²·b_6_0·b_1_0²·b_1_1
       + b_2_6²·b_6_0·b_1_0³ + b_2_6²·b_4_10·b_4_20·b_1_0 + b_2_6²·b_4_10²·b_1_2
       + b_2_6³·b_7_28 + b_2_6³·b_1_0⁴·b_3_0 + b_2_6³·b_1_0⁶·b_1_1 + b_2_6³·b_4_10·b_3_1
       + b_2_6³·b_4_10·b_1_0·b_1_2² + b_2_6³·b_4_10·b_1_0²·b_1_2
       + b_2_6⁴·b_1_0²·b_3_0 + b_2_6⁴·b_1_0²·b_1_2³ + b_2_6⁴·b_4_10·b_1_2
       + b_2_6⁵·b_1_0·b_1_2² + b_2_6⁵·b_1_0²·b_1_2 + b_2_2·b_6_0·b_1_0·b_1_2⁴
       + b_2_2·b_6_0·b_1_0⁵ + b_2_2·b_2_6·b_1_0⁶·b_3_1 + b_2_2·b_2_6·b_6_0·b_1_2³
       + b_2_2·b_2_6·b_6_0·b_1_1³ + b_2_2·b_2_6·b_6_0·b_1_0³
       + b_2_2·b_2_6·b_4_10·b_1_2⁵ + b_2_2·b_2_6·b_4_10·b_1_0⁵
       + b_2_2·b_2_6·b_4_10·b_4_20·b_1_0 + b_2_2·b_2_6²·b_7_0
       + b_2_2·b_2_6²·b_1_0·b_1_2⁶ + b_2_2·b_2_6²·b_1_0³·b_1_2⁴
       + b_2_2·b_2_6²·b_1_0⁷ + b_2_2·b_2_6²·b_6_0·b_1_0 + b_2_2·b_2_6²·b_4_10·b_3_0
       + b_2_2·b_2_6²·b_4_10·b_1_2³ + b_2_2·b_2_6²·b_4_10·b_1_0³
       + b_2_2·b_2_6³·b_1_2⁵ + b_2_2·b_2_6³·b_1_0²·b_3_1
       + b_2_2·b_2_6³·b_1_0³·b_1_2² + b_2_2·b_2_6³·b_1_0⁴·b_1_2
       + b_2_2·b_2_6³·b_1_0⁴·b_1_1 + b_2_2·b_2_6³·b_1_0⁵ + b_2_2·b_2_6⁴·b_3_0
       + b_2_2·b_2_6⁴·b_1_2³ + b_2_2·b_2_6⁴·b_1_1³ + b_2_2·b_2_6⁴·b_1_0·b_1_2²
       + b_2_2·b_2_6⁴·b_1_0²·b_1_2 + b_2_2·b_2_6⁴·b_1_0²·b_1_1 + b_2_2·b_2_6⁴·b_1_0³
       + b_2_2·b_2_6⁵·b_1_2 + b_2_2·b_2_6⁵·b_1_1 + b_2_2²·b_1_0⁶·b_3_1
       + b_2_2²·b_6_0·b_1_1³ + b_2_2²·b_6_0·b_1_0²·b_1_2 + b_2_2²·b_6_0·b_1_0³
       + b_2_2²·b_4_10·b_1_2⁵ + b_2_2²·b_4_10·b_1_0·b_1_2⁴
       + b_2_2²·b_4_10·b_1_0²·b_3_1 + b_2_2²·b_4_10·b_1_0⁵
       + b_2_2²·b_4_10·b_4_20·b_1_0 + b_2_2²·b_4_10²·b_1_2 + b_2_2²·b_2_6·b_7_28
       + b_2_2²·b_2_6·b_7_0 + b_2_2²·b_2_6·b_1_0³·b_1_2⁴ + b_2_2²·b_2_6·b_1_0⁴·b_3_1
       + b_2_2²·b_2_6·b_1_0⁴·b_1_2³ + b_2_2²·b_2_6·b_1_0⁷ + b_2_2²·b_2_6·b_6_0·b_1_1
       + b_2_2²·b_2_6·b_6_0·b_1_0 + b_2_2²·b_2_6·b_4_10·b_1_2³
       + b_2_2²·b_2_6·b_4_10·b_1_0·b_1_2² + b_2_2²·b_2_6²·b_1_2²·b_3_1
       + b_2_2²·b_2_6²·b_1_0²·b_1_2³ + b_2_2²·b_2_6²·b_4_20·b_1_0
       + b_2_2²·b_2_6²·b_4_10·b_1_2 + b_2_2²·b_2_6²·b_4_10·b_1_0 + b_2_2²·b_2_6³·b_3_0
       + b_2_2²·b_2_6³·b_1_2³ + b_2_2²·b_2_6³·b_1_0·b_1_2²
       + b_2_2²·b_2_6³·b_1_0²·b_1_2 + b_2_2²·b_2_6⁴·b_1_0 + b_2_2³·b_1_0·b_1_2⁶
       + b_2_2³·b_1_0⁴·b_1_2³ + b_2_2³·b_1_0⁶·b_1_1 + b_2_2³·b_6_0·b_1_2
       + b_2_2³·b_6_0·b_1_1 + b_2_2³·b_6_0·b_1_0 + b_2_2³·b_4_10·b_3_1
       + b_2_2³·b_4_10·b_1_0·b_1_2² + b_2_2³·b_4_10·b_1_0²·b_1_2
       + b_2_2³·b_2_6·b_1_0²·b_1_2³ + b_2_2³·b_2_6·b_1_0⁴·b_1_2
       + b_2_2³·b_2_6·b_1_0⁴·b_1_1 + b_2_2³·b_2_6·b_1_0⁵ + b_2_2³·b_2_6·b_4_20·b_1_0
       + b_2_2³·b_2_6·b_4_10·b_1_2 + b_2_2³·b_2_6·b_4_10·b_1_0 + b_2_2³·b_2_6²·b_3_1
       + b_2_2³·b_2_6²·b_1_0·b_1_2² + b_2_2³·b_2_6²·b_1_0²·b_1_2
       + b_2_2³·b_2_6²·b_1_0²·b_1_1 + b_2_2³·b_2_6³·b_1_0 + b_2_2⁴·b_1_2⁵
       + b_2_2⁴·b_1_0·b_1_2⁴ + b_2_2⁴·b_1_0²·b_3_1 + b_2_2⁴·b_1_0⁴·b_1_1
       + b_2_2⁴·b_1_0⁵ + b_2_2⁴·b_4_20·b_1_0 + b_2_2⁴·b_4_10·b_1_0 + b_2_2⁴·b_2_6·b_3_1
       + b_2_2⁴·b_2_6·b_3_0 + b_2_2⁴·b_2_6·b_1_1³ + b_2_2⁴·b_2_6·b_1_0·b_1_2²
       + b_2_2⁴·b_2_6·b_1_0³ + b_2_2⁴·b_2_6²·b_1_2 + b_2_2⁴·b_2_6²·b_1_1
       + b_2_2⁴·b_2_6²·b_1_0 + b_2_2⁵·b_1_2³ + b_2_2⁵·b_1_0²·b_1_2
       + b_2_2⁵·b_2_6·b_1_0 + b_2_2⁶·b_1_2 + b_2_2⁶·b_1_0
53. b_6_0·b_8_52 + b_2_6·b_6_0·b_1_0²·b_1_2⁴ + b_2_6·b_6_0·b_1_0⁵·b_1_1
       + b_2_6²·b_4_10²·b_1_2² + b_2_6³·b_1_0·b_7_28 + b_2_6³·b_1_0⁵·b_3_0
       + b_2_6³·b_1_0⁷·b_1_1 + b_2_6³·b_6_0·b_1_0·b_1_2 + b_2_6³·b_6_0·b_1_0²
       + b_2_6³·b_4_10·b_1_0·b_3_1 + b_2_6³·b_4_10·b_1_0³·b_1_2 + b_2_6⁴·b_1_0·b_1_2⁵
       + b_2_6⁴·b_1_0²·b_1_2⁴ + b_2_6⁴·b_1_0³·b_1_2³ + b_2_6⁴·b_4_10·b_1_2²
       + b_2_6⁴·b_4_10·b_1_0·b_1_2 + b_2_6⁵·b_1_0·b_3_1 + b_2_6⁵·b_1_0·b_3_0
       + b_2_6⁵·b_1_0·b_1_2³ + b_2_6⁵·b_1_0³·b_1_2 + b_2_6⁵·b_1_0³·b_1_1
       + b_2_6⁶·b_1_0·b_1_2 + b_2_2·b_6_0·b_1_0·b_1_2⁵ + b_2_2·b_6_0·b_1_0²·b_1_2⁴
       + b_2_2·b_6_0·b_1_0⁶ + b_2_2·b_2_6·b_1_2⁷·b_3_1 + b_2_2·b_2_6·b_1_0·b_1_2⁹
       + b_2_2·b_2_6·b_1_0³·b_7_0 + b_2_2·b_2_6·b_1_0¹⁰ + b_2_2·b_2_6·b_6_0·b_1_1⁴
       + b_2_2·b_2_6·b_6_0·b_1_0·b_1_2³ + b_2_2·b_2_6·b_6_0·b_1_0²·b_1_2²
       + b_2_2·b_2_6·b_6_0·b_1_0⁴ + b_2_2·b_2_6·b_4_10·b_1_2⁶
       + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2⁵ + b_2_2·b_2_6·b_4_10²·b_1_0·b_1_2
       + b_2_2·b_2_6²·b_1_2⁸ + b_2_2·b_2_6²·b_1_0·b_7_28 + b_2_2·b_2_6²·b_1_0⁷·b_1_1
       + b_2_2·b_2_6²·b_6_0·b_1_0·b_1_1 + b_2_2·b_2_6²·b_6_0·b_1_0²
       + b_2_2·b_2_6²·b_4_10·b_1_2⁴ + b_2_2·b_2_6²·b_4_10·b_1_0·b_1_2³
       + b_2_2·b_2_6²·b_4_10·b_1_0³·b_1_2 + b_2_2·b_2_6³·b_1_0·b_1_2⁵
       + b_2_2·b_2_6³·b_1_0²·b_1_2⁴ + b_2_2·b_2_6³·b_1_0³·b_3_1
       + b_2_2·b_2_6³·b_1_0³·b_1_2³ + b_2_2·b_2_6³·b_4_10·b_1_2²
       + b_2_2·b_2_6³·b_4_10·b_1_0·b_1_2 + b_2_2·b_2_6³·b_4_10·b_1_0²
       + b_2_2·b_2_6⁴·b_1_2·b_3_1 + b_2_2·b_2_6⁴·b_1_0·b_3_1
       + b_2_2·b_2_6⁴·b_1_0·b_1_2³ + b_2_2·b_2_6⁴·b_1_0³·b_1_2
       + b_2_2·b_2_6⁴·b_1_0³·b_1_1 + b_2_2·b_2_6⁵·b_1_0² + b_2_2·b_2_6⁶
       + b_2_2²·b_1_2⁷·b_3_1 + b_2_2²·b_1_0·b_1_2⁹ + b_2_2²·b_1_0⁹·b_1_1
       + b_2_2²·b_6_0·b_1_1⁴ + b_2_2²·b_6_0·b_1_0·b_1_2³
       + b_2_2²·b_6_0·b_1_0²·b_1_2² + b_2_2²·b_6_0·b_1_0⁴
       + b_2_2²·b_4_10·b_1_0·b_1_2⁵ + b_2_2²·b_4_10·b_6_0 + b_2_2²·b_4_10²·b_1_0·b_1_2
       + b_2_2²·b_2_6·b_1_2⁵·b_3_1 + b_2_2²·b_2_6·b_1_0·b_7_0
       + b_2_2²·b_2_6·b_1_0⁵·b_3_1 + b_2_2²·b_2_6·b_1_0⁸ + b_2_2²·b_2_6·b_6_0·b_1_2²
       + b_2_2²·b_2_6·b_6_0·b_1_0·b_1_2 + b_2_2²·b_2_6·b_6_0·b_1_0·b_1_1
       + b_2_2²·b_2_6·b_6_0·b_1_0² + b_2_2²·b_2_6·b_4_10·b_1_0²·b_1_2²
       + b_2_2²·b_2_6²·b_1_0·b_1_2⁵ + b_2_2²·b_2_6²·b_1_0⁵·b_1_1
       + b_2_2²·b_2_6²·b_6_0 + b_2_2²·b_2_6³·b_1_2·b_3_1 + b_2_2²·b_2_6³·b_1_0·b_3_1
       + b_2_2²·b_2_6³·b_1_0·b_3_0 + b_2_2²·b_2_6³·b_1_0³·b_1_2
       + b_2_2²·b_2_6³·b_4_20 + b_2_2³·b_1_2⁵·b_3_1 + b_2_2³·b_1_2⁸
       + b_2_2³·b_1_0⁷·b_1_1 + b_2_2³·b_6_0·b_1_0·b_1_2 + b_2_2³·b_6_0·b_1_0·b_1_1
       + b_2_2³·b_4_10·b_1_2⁴ + b_2_2³·b_4_10·b_1_0²·b_1_2² + b_2_2³·b_4_10·b_1_0⁴
       + b_2_2³·b_2_6·b_1_2³·b_3_1 + b_2_2³·b_2_6·b_1_0·b_1_2⁵
       + b_2_2³·b_2_6·b_1_0²·b_1_2⁴ + b_2_2³·b_2_6·b_1_0³·b_3_1
       + b_2_2³·b_2_6·b_1_0⁴·b_1_2² + b_2_2³·b_2_6·b_4_10·b_1_2²
       + b_2_2³·b_2_6²·b_1_0·b_3_1 + b_2_2³·b_2_6²·b_1_0³·b_1_1
       + b_2_2³·b_2_6²·b_4_20 + b_2_2³·b_2_6²·b_4_10 + b_2_2³·b_2_6³·b_1_0²
       + b_2_2⁴·b_1_2⁶ + b_2_2⁴·b_1_0·b_1_2⁵ + b_2_2⁴·b_1_0⁶ + b_2_2⁴·b_6_0
       + b_2_2⁴·b_4_10·b_1_0·b_1_2 + b_2_2⁴·b_2_6·b_1_2·b_3_1 + b_2_2⁴·b_2_6·b_1_0·b_3_0
       + b_2_2⁴·b_2_6·b_1_0·b_1_2³ + b_2_2⁴·b_2_6·b_1_0³·b_1_1
       + b_2_2⁴·b_2_6²·b_1_2² + b_2_2⁴·b_2_6²·b_1_1² + b_2_2⁴·b_2_6²·b_1_0·b_1_1
       + b_2_2⁴·b_2_6³ + b_2_2⁵·b_1_0·b_1_2³ + b_2_2⁵·b_1_0²·b_1_2²
       + b_2_2⁵·b_1_0³·b_1_2 + b_2_2⁵·b_1_0³·b_1_1 + b_2_2⁵·b_1_0⁴ + b_2_2⁵·b_4_10
       + b_2_2⁵·b_2_6·b_1_2² + b_2_2⁵·b_2_6·b_1_1² + b_2_2⁵·b_2_6·b_1_0·b_1_2
       + b_2_2⁵·b_2_6·b_1_0² + b_2_2⁶·b_1_2² + b_2_2⁶·b_1_0·b_1_2 + b_2_2⁶·b_1_0·b_1_1
       + b_2_2⁶·b_1_0² + b_2_2⁶·b_2_6 + b_2_2⁷
54. b_7_0² + b_6_0·b_1_1⁵·b_3_0 + b_6_0·b_1_0⁷·b_1_1 + b_6_0²·b_1_1²
       + b_6_0²·b_1_0² + b_4_10·b_1_1⁷·b_3_0 + b_4_10·b_6_0·b_1_1⁴
       + b_4_10²·b_1_1³·b_3_0 + b_4_10²·b_1_1⁶ + b_2_6·b_1_0¹¹·b_1_1
       + b_2_6·b_6_0·b_1_1³·b_3_0 + b_2_6·b_6_0·b_1_0⁵·b_1_1 + b_2_6·b_4_10·b_1_1·b_7_0
       + b_2_6·b_4_10·b_1_0·b_7_0 + b_2_6·b_4_10·b_6_0·b_1_1² + b_2_6·b_4_10²·b_1_1⁴
       + b_2_6²·b_1_0³·b_7_0 + b_2_6²·b_1_0⁹·b_1_1 + b_2_6²·b_6_0·b_1_1·b_3_0
       + b_2_6²·b_6_0·b_1_1⁴ + b_2_6²·b_6_0·b_1_0³·b_1_1 + b_2_6²·b_6_0·b_1_0⁴
       + b_2_6²·b_4_10·b_1_0⁶ + b_2_6²·b_4_10²·b_1_2² + b_2_6²·b_4_10²·b_1_0·b_1_2
       + b_2_6³·b_1_1⁵·b_3_0 + b_2_6³·b_1_0⁵·b_3_1 + b_2_6³·b_1_0⁵·b_3_0
       + b_2_6³·b_1_0⁷·b_1_1 + b_2_6³·b_8_52 + b_2_6³·b_6_0·b_1_1²
       + b_2_6³·b_4_10·b_1_1⁴ + b_2_6³·b_4_10·b_1_0·b_1_2³
       + b_2_6³·b_4_10·b_1_0²·b_1_2² + b_2_6³·b_4_10·b_1_0³·b_1_2
       + b_2_6⁴·b_1_0²·b_1_2⁴ + b_2_6⁴·b_1_0³·b_3_1 + b_2_6⁴·b_1_0³·b_3_0
       + b_2_6⁴·b_1_0³·b_1_2³ + b_2_6⁴·b_1_0⁴·b_1_2² + b_2_6⁵·b_1_0²·b_1_2²
       + b_2_6⁵·b_1_0³·b_1_2 + b_2_6⁵·b_1_0³·b_1_1 + b_2_6⁵·b_4_20
       + b_2_2·b_6_0·b_1_0²·b_1_2⁴ + b_2_2·b_6_0² + b_2_2·b_4_10²·b_1_0·b_1_2³
       + b_2_2·b_2_6·b_1_1¹⁰ + b_2_2·b_2_6·b_1_0³·b_7_0 + b_2_2·b_2_6·b_6_0·b_1_2⁴
       + b_2_2·b_2_6·b_6_0·b_1_0·b_1_2³ + b_2_2·b_2_6·b_6_0·b_1_0²·b_1_2²
       + b_2_2·b_2_6·b_4_10·b_1_2⁶ + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2⁵
       + b_2_2·b_2_6²·b_1_2⁵·b_3_1 + b_2_2·b_2_6²·b_1_0·b_7_28
       + b_2_2·b_2_6²·b_6_0·b_1_0·b_1_1 + b_2_2·b_2_6²·b_4_10·b_1_2⁴
       + b_2_2·b_2_6²·b_4_10·b_1_0³·b_1_2 + b_2_2·b_2_6²·b_4_10·b_1_0⁴
       + b_2_2·b_2_6²·b_4_10·b_4_20 + b_2_2·b_2_6³·b_1_2³·b_3_1
       + b_2_2·b_2_6³·b_1_0·b_1_2⁵ + b_2_2·b_2_6³·b_1_0²·b_1_2⁴
       + b_2_2·b_2_6³·b_1_0³·b_1_2³ + b_2_2·b_2_6³·b_1_0⁴·b_1_2²
       + b_2_2·b_2_6³·b_4_10·b_1_2² + b_2_2·b_2_6³·b_4_10·b_1_0·b_1_2
       + b_2_2·b_2_6⁴·b_1_2·b_3_1 + b_2_2·b_2_6⁴·b_1_2⁴ + b_2_2·b_2_6⁴·b_1_0·b_1_2³
       + b_2_2·b_2_6⁴·b_1_0³·b_1_1 + b_2_2·b_2_6⁴·b_4_20 + b_2_2·b_2_6⁴·b_4_10
       + b_2_2·b_2_6⁵·b_1_2² + b_2_2·b_2_6⁵·b_1_1² + b_2_2·b_2_6⁵·b_1_0·b_1_1
       + b_2_2²·b_1_2¹⁰ + b_2_2²·b_6_0·b_1_1⁴ + b_2_2²·b_6_0·b_1_0²·b_1_2²
       + b_2_2²·b_6_0·b_1_0⁴ + b_2_2²·b_4_10·b_1_2⁶ + b_2_2²·b_4_10²·b_1_0·b_1_2
       + b_2_2²·b_2_6·b_1_2⁸ + b_2_2²·b_2_6·b_1_0⁸ + b_2_2²·b_2_6·b_8_52
       + b_2_2²·b_2_6·b_6_0·b_1_0·b_1_2 + b_2_2²·b_2_6·b_6_0·b_1_0·b_1_1
       + b_2_2²·b_2_6·b_6_0·b_1_0² + b_2_2²·b_2_6·b_4_10·b_1_0·b_1_2³
       + b_2_2²·b_2_6·b_4_10·b_1_0³·b_1_2 + b_2_2²·b_2_6·b_4_10·b_4_20
       + b_2_2²·b_2_6²·b_1_2³·b_3_1 + b_2_2²·b_2_6²·b_1_2⁶ + b_2_2²·b_2_6²·b_1_1⁶
       + b_2_2²·b_2_6²·b_1_0·b_1_2⁵ + b_2_2²·b_2_6²·b_1_0²·b_1_2⁴
       + b_2_2²·b_2_6²·b_1_0³·b_3_1 + b_2_2²·b_2_6²·b_1_0⁴·b_1_2²
       + b_2_2²·b_2_6³·b_1_2·b_3_1 + b_2_2²·b_2_6³·b_1_1⁴
       + b_2_2²·b_2_6³·b_1_0·b_1_2³ + b_2_2²·b_2_6³·b_1_0³·b_1_2
       + b_2_2²·b_2_6³·b_1_0⁴ + b_2_2²·b_2_6³·b_4_20 + b_2_2²·b_2_6⁵
       + b_2_2³·b_1_2⁵·b_3_1 + b_2_2³·b_1_2⁸ + b_2_2³·b_1_1⁸ + b_2_2³·b_1_0·b_7_28
       + b_2_2³·b_1_0·b_7_0 + b_2_2³·b_1_0·b_1_2⁷ + b_2_2³·b_6_0·b_1_2²
       + b_2_2³·b_6_0·b_1_1² + b_2_2³·b_6_0·b_1_0·b_1_1 + b_2_2³·b_4_10·b_1_0·b_3_0
       + b_2_2³·b_4_10·b_1_0⁴ + b_2_2³·b_2_6·b_1_2⁶ + b_2_2³·b_2_6·b_1_1⁶
       + b_2_2³·b_2_6·b_1_0·b_1_2⁵ + b_2_2³·b_2_6·b_1_0³·b_3_1
       + b_2_2³·b_2_6·b_1_0³·b_1_2³ + b_2_2³·b_2_6·b_1_0⁴·b_1_2²
       + b_2_2³·b_2_6·b_1_0⁶ + b_2_2³·b_2_6·b_6_0 + b_2_2³·b_2_6·b_4_10·b_1_0·b_1_2
       + b_2_2³·b_2_6·b_4_10·b_1_0² + b_2_2³·b_2_6²·b_1_2·b_3_1
       + b_2_2³·b_2_6²·b_1_2⁴ + b_2_2³·b_2_6²·b_1_1⁴ + b_2_2³·b_2_6²·b_1_0·b_3_1
       + b_2_2³·b_2_6²·b_1_0·b_1_2³ + b_2_2³·b_2_6²·b_1_0⁴ + b_2_2³·b_2_6²·b_4_10
       + b_2_2³·b_2_6³·b_1_2² + b_2_2³·b_2_6³·b_1_1² + b_2_2³·b_2_6³·b_1_0²
       + b_2_2⁴·b_1_0³·b_1_2³ + b_2_2⁴·b_1_0⁴·b_1_2² + b_2_2⁴·b_1_0⁵·b_1_1
       + b_2_2⁴·b_6_0 + b_2_2⁴·b_4_10·b_1_0·b_1_2 + b_2_2⁴·b_4_10·b_1_0²
       + b_2_2⁴·b_2_6·b_1_2⁴ + b_2_2⁴·b_2_6·b_1_1⁴ + b_2_2⁴·b_2_6·b_1_0·b_3_1
       + b_2_2⁴·b_2_6·b_1_0⁴ + b_2_2⁴·b_2_6·b_4_20 + b_2_2⁴·b_2_6²·b_1_2²
       + b_2_2⁴·b_2_6²·b_1_1² + b_2_2⁴·b_2_6²·b_1_0·b_1_2
       + b_2_2⁴·b_2_6²·b_1_0·b_1_1 + b_2_2⁵·b_1_2·b_3_1 + b_2_2⁵·b_1_2⁴
       + b_2_2⁵·b_1_1⁴ + b_2_2⁵·b_1_0·b_3_0 + b_2_2⁵·b_1_0·b_1_2³
       + b_2_2⁵·b_1_0²·b_1_2² + b_2_2⁵·b_1_0³·b_1_2 + b_2_2⁵·b_1_0³·b_1_1
       + b_2_2⁵·b_2_6·b_1_2² + b_2_2⁵·b_2_6·b_1_0·b_1_1 + b_2_2⁵·b_2_6·b_1_0²
       + b_2_2⁵·b_2_6² + b_2_2⁶·b_1_2² + b_2_2⁶·b_1_1² + b_2_2⁶·b_1_0·b_1_1
       + b_2_2⁶·b_1_0² + b_2_2⁶·b_2_6 + b_2_2⁷ + c_8_11·b_1_1³·b_3_0
       + c_8_11·b_1_0⁵·b_1_1 + b_4_10·c_8_11·b_1_1² + b_2_6·c_8_11·b_1_1·b_3_0
       + b_2_6·c_8_11·b_1_0·b_3_0 + b_2_6·c_8_11·b_1_0³·b_1_2 + b_2_6·c_8_11·b_1_0³·b_1_1
       + b_2_6²·c_8_11·b_1_1² + b_2_6²·c_8_11·b_1_0·b_1_2 + b_2_6²·c_8_11·b_1_0·b_1_1
       + b_2_6²·c_8_11·b_1_0² + b_2_2·c_8_11·b_1_0³·b_1_1 + b_2_2·b_2_6·c_8_11·b_1_1²
       + b_2_2·b_2_6·c_8_11·b_1_0·b_1_2 + b_2_2²·c_8_11·b_1_1²
55. b_7_0·b_7_28 + b_2_6·b_4_10·b_8_52 + b_2_6·b_4_10²·b_4_20 + b_2_6²·b_1_0⁷·b_3_1
       + b_2_6²·b_4_10²·b_1_2² + b_2_6³·b_1_0⁵·b_3_0 + b_2_6³·b_1_0⁷·b_1_1
       + b_2_6³·b_8_52 + b_2_6³·b_6_0·b_1_0·b_1_2 + b_2_6³·b_6_0·b_1_0·b_1_1
       + b_2_6³·b_4_10·b_1_0·b_1_2³ + b_2_6³·b_4_10·b_1_0³·b_1_2
       + b_2_6⁴·b_1_0·b_1_2⁵ + b_2_6⁴·b_1_0³·b_3_1 + b_2_6⁴·b_1_0⁴·b_1_2²
       + b_2_6⁴·b_4_10·b_1_2² + b_2_6⁴·b_4_10·b_1_0·b_1_2 + b_2_6⁵·b_1_0·b_3_1
       + b_2_6⁵·b_1_0·b_1_2³ + b_2_6⁵·b_1_0²·b_1_2² + b_2_6⁵·b_4_20
       + b_2_2·b_1_0⁹·b_3_1 + b_2_2·b_6_0·b_1_0²·b_1_2⁴ + b_2_2·b_6_0·b_1_0⁶
       + b_2_2·b_4_10·b_1_0·b_7_28 + b_2_2·b_4_10·b_1_0·b_7_0 + b_2_2·b_4_10²·b_1_0·b_3_0
       + b_2_2·b_4_10²·b_1_0·b_1_2³ + b_2_2·b_2_6·b_1_0⁹·b_1_1 + b_2_2·b_2_6·b_1_0¹⁰
       + b_2_2·b_2_6·b_6_0·b_1_1⁴ + b_2_2·b_2_6·b_6_0·b_1_0·b_1_2³
       + b_2_2·b_2_6·b_4_10²·b_1_0·b_1_2 + b_2_2·b_2_6·b_4_10²·b_1_0²
       + b_2_2·b_2_6²·b_1_0·b_7_28 + b_2_2·b_2_6²·b_1_0·b_7_0 + b_2_2·b_2_6²·b_1_0⁸
       + b_2_2·b_2_6²·b_6_0·b_1_2² + b_2_2·b_2_6²·b_6_0·b_1_1²
       + b_2_2·b_2_6²·b_6_0·b_1_0·b_1_2 + b_2_2·b_2_6²·b_6_0·b_1_0²
       + b_2_2·b_2_6²·b_4_10·b_1_0·b_1_2³ + b_2_2·b_2_6²·b_4_10·b_1_0⁴
       + b_2_2·b_2_6²·b_4_10² + b_2_2·b_2_6³·b_1_2⁶ + b_2_2·b_2_6³·b_1_1⁶
       + b_2_2·b_2_6³·b_1_0²·b_1_2⁴ + b_2_2·b_2_6³·b_1_0³·b_3_1
       + b_2_2·b_2_6³·b_1_0⁵·b_1_1 + b_2_2·b_2_6³·b_6_0 + b_2_2·b_2_6³·b_4_10·b_1_2²
       + b_2_2·b_2_6³·b_4_10·b_1_0·b_1_2 + b_2_2·b_2_6⁴·b_1_0³·b_1_1
       + b_2_2·b_2_6⁴·b_1_0⁴ + b_2_2·b_2_6⁴·b_4_10 + b_2_2·b_2_6⁵·b_1_2²
       + b_2_2·b_2_6⁵·b_1_1² + b_2_2·b_2_6⁵·b_1_0·b_1_1 + b_2_2²·b_1_0·b_1_2⁹
       + b_2_2²·b_1_0³·b_7_0 + b_2_2²·b_1_0⁹·b_1_1 + b_2_2²·b_6_0·b_1_2⁴
       + b_2_2²·b_6_0·b_1_1⁴ + b_2_2²·b_6_0·b_1_0·b_1_2³ + b_2_2²·b_6_0·b_1_0⁴
       + b_2_2²·b_4_10·b_1_2⁶ + b_2_2²·b_4_10²·b_1_2² + b_2_2²·b_4_10²·b_1_0·b_1_2
       + b_2_2²·b_4_10²·b_1_0² + b_2_2²·b_2_6·b_1_0·b_7_28 + b_2_2²·b_2_6·b_1_0⁸
       + b_2_2²·b_2_6·b_6_0·b_1_2² + b_2_2²·b_2_6·b_6_0·b_1_0²
       + b_2_2²·b_2_6·b_4_10·b_1_0⁴ + b_2_2²·b_2_6·b_4_10·b_4_20
       + b_2_2²·b_2_6²·b_1_2⁶ + b_2_2²·b_2_6²·b_1_0·b_1_2⁵
       + b_2_2²·b_2_6²·b_1_0²·b_1_2⁴ + b_2_2²·b_2_6²·b_1_0³·b_3_1
       + b_2_2²·b_2_6²·b_1_0³·b_1_2³ + b_2_2²·b_2_6²·b_1_0⁴·b_1_2²
       + b_2_2²·b_2_6²·b_1_0⁵·b_1_1 + b_2_2²·b_2_6²·b_6_0
       + b_2_2²·b_2_6²·b_4_10·b_1_2² + b_2_2²·b_2_6²·b_4_10·b_1_0·b_1_2
       + b_2_2²·b_2_6³·b_1_2·b_3_1 + b_2_2²·b_2_6³·b_1_1⁴
       + b_2_2²·b_2_6³·b_1_0·b_3_1 + b_2_2²·b_2_6³·b_1_0·b_3_0
       + b_2_2²·b_2_6³·b_1_0²·b_1_2² + b_2_2²·b_2_6³·b_1_0³·b_1_2
       + b_2_2²·b_2_6³·b_1_0³·b_1_1 + b_2_2²·b_2_6³·b_1_0⁴ + b_2_2²·b_2_6⁴·b_1_1²
       + b_2_2²·b_2_6⁴·b_1_0·b_1_2 + b_2_2²·b_2_6⁴·b_1_0·b_1_1 + b_2_2²·b_2_6⁵
       + b_2_2³·b_1_2⁸ + b_2_2³·b_1_0·b_7_0 + b_2_2³·b_1_0·b_1_2⁷
       + b_2_2³·b_1_0⁵·b_3_1 + b_2_2³·b_1_0⁷·b_1_1 + b_2_2³·b_1_0⁸
       + b_2_2³·b_6_0·b_1_2² + b_2_2³·b_6_0·b_1_0·b_1_2 + b_2_2³·b_6_0·b_1_0·b_1_1
       + b_2_2³·b_4_10·b_1_0·b_1_2³ + b_2_2³·b_4_10·b_1_0²·b_1_2²
       + b_2_2³·b_4_10·b_1_0³·b_1_2 + b_2_2³·b_4_10² + b_2_2³·b_2_6·b_1_2³·b_3_1
       + b_2_2³·b_2_6·b_1_2⁶ + b_2_2³·b_2_6·b_1_1⁶ + b_2_2³·b_2_6·b_1_0·b_1_2⁵
       + b_2_2³·b_2_6·b_1_0⁶ + b_2_2³·b_2_6·b_6_0 + b_2_2³·b_2_6·b_4_10·b_1_0²
       + b_2_2³·b_2_6²·b_1_2·b_3_1 + b_2_2³·b_2_6²·b_1_0⁴ + b_2_2³·b_2_6²·b_4_10
       + b_2_2³·b_2_6³·b_1_0·b_1_1 + b_2_2³·b_2_6³·b_1_0² + b_2_2³·b_2_6⁴
       + b_2_2⁴·b_1_0³·b_3_1 + b_2_2⁴·b_1_0⁴·b_1_2² + b_2_2⁴·b_1_0⁶
       + b_2_2⁴·b_4_10·b_1_0·b_1_2 + b_2_2⁴·b_2_6·b_1_2⁴ + b_2_2⁴·b_2_6·b_1_0·b_1_2³
       + b_2_2⁴·b_2_6·b_1_0²·b_1_2² + b_2_2⁴·b_2_6·b_1_0³·b_1_2
       + b_2_2⁴·b_2_6·b_1_0³·b_1_1 + b_2_2⁴·b_2_6²·b_1_2² + b_2_2⁵·b_1_2·b_3_1
       + b_2_2⁵·b_1_1⁴ + b_2_2⁵·b_1_0·b_3_1 + b_2_2⁵·b_1_0³·b_1_2
       + b_2_2⁵·b_1_0³·b_1_1 + b_2_2⁵·b_4_20 + b_2_2⁵·b_2_6·b_1_2²
       + b_2_2⁵·b_2_6·b_1_1² + b_2_2⁵·b_2_6·b_1_0·b_1_2 + b_2_2⁵·b_2_6·b_1_0·b_1_1
       + b_2_2⁶·b_1_2² + b_2_2⁶·b_1_0·b_1_2 + b_2_2⁶·b_1_0·b_1_1 + b_2_2⁶·b_1_0²
       + b_2_2⁶·b_2_6 + b_2_2⁷ + b_2_6·c_8_11·b_1_0·b_3_11
56. b_7_28² + b_2_6·b_4_10·b_1_0·b_7_28 + b_2_6·b_4_10²·b_1_0·b_3_1
       + b_2_6³·b_1_0·b_7_28 + b_2_6³·b_1_0⁵·b_3_1 + b_2_6³·b_1_0⁵·b_3_0
       + b_2_6³·b_1_0⁷·b_1_1 + b_2_6³·b_8_52 + b_2_6³·b_6_0·b_1_0·b_1_1
       + b_2_6³·b_6_0·b_1_0² + b_2_6³·b_4_10·b_1_0²·b_1_2² + b_2_6³·b_4_10·b_4_20
       + b_2_6⁴·b_1_0³·b_3_1 + b_2_6⁴·b_1_0⁴·b_1_2² + b_2_6⁴·b_1_0⁵·b_1_1
       + b_2_6⁵·b_1_0·b_3_11 + b_2_2·b_4_10·b_1_0·b_7_28 + b_2_2·b_4_10·b_1_0·b_7_0
       + b_2_2·b_4_10²·b_1_0·b_3_0 + b_2_2·b_4_10²·b_1_0⁴ + b_2_2·b_2_6·b_1_0³·b_7_0
       + b_2_2·b_2_6·b_4_10·b_1_0⁶ + b_2_2·b_2_6·b_4_10²·b_1_0·b_1_2
       + b_2_2·b_2_6²·b_1_0·b_7_28 + b_2_2·b_2_6²·b_1_0·b_7_0 + b_2_2·b_2_6²·b_1_0⁸
       + b_2_2·b_2_6²·b_6_0·b_1_0·b_1_2 + b_2_2·b_2_6²·b_6_0·b_1_0·b_1_1
       + b_2_2·b_2_6²·b_4_10·b_1_0²·b_1_2² + b_2_2·b_2_6²·b_4_10·b_1_0⁴
       + b_2_2·b_2_6²·b_4_10·b_4_20 + b_2_2·b_2_6³·b_1_2³·b_3_1
       + b_2_2·b_2_6³·b_1_0·b_1_2⁵ + b_2_2·b_2_6³·b_1_0²·b_1_2⁴
       + b_2_2·b_2_6³·b_1_0³·b_3_1 + b_2_2·b_2_6³·b_1_0³·b_1_2³
       + b_2_2·b_2_6³·b_1_0⁵·b_1_1 + b_2_2·b_2_6³·b_6_0 + b_2_2·b_2_6³·b_4_10·b_1_2²
       + b_2_2·b_2_6³·b_4_10·b_1_0² + b_2_2·b_2_6⁴·b_1_2·b_3_1 + b_2_2·b_2_6⁴·b_1_1⁴
       + b_2_2·b_2_6⁴·b_1_0·b_3_1 + b_2_2·b_2_6⁴·b_1_0·b_1_2³
       + b_2_2·b_2_6⁴·b_1_0²·b_1_2² + b_2_2·b_2_6⁴·b_4_10 + b_2_2·b_2_6⁵·b_1_1²
       + b_2_2·b_2_6⁵·b_1_0·b_1_2 + b_2_2·b_2_6⁵·b_1_0·b_1_1 + b_2_2²·b_1_0³·b_7_0
       + b_2_2²·b_1_0⁷·b_3_1 + b_2_2²·b_1_0⁹·b_1_1 + b_2_2²·b_1_0¹⁰
       + b_2_2²·b_6_0·b_1_2⁴ + b_2_2²·b_6_0·b_1_0·b_1_2³ + b_2_2²·b_4_10·b_1_2⁶
       + b_2_2²·b_4_10·b_1_0⁶ + b_2_2²·b_4_10²·b_1_0·b_1_2 + b_2_2²·b_4_10²·b_1_0²
       + b_2_2²·b_2_6·b_1_2⁵·b_3_1 + b_2_2²·b_2_6·b_1_2⁸ + b_2_2²·b_2_6·b_1_0·b_7_0
       + b_2_2²·b_2_6·b_1_0⁵·b_3_1 + b_2_2²·b_2_6·b_8_52 + b_2_2²·b_2_6·b_6_0·b_1_2²
       + b_2_2²·b_2_6·b_6_0·b_1_1² + b_2_2²·b_2_6·b_4_10·b_1_0·b_1_2³
       + b_2_2²·b_2_6·b_4_10·b_1_0⁴ + b_2_2²·b_2_6·b_4_10² + b_2_2²·b_2_6²·b_1_1⁶
       + b_2_2²·b_2_6²·b_1_0·b_1_2⁵ + b_2_2²·b_2_6²·b_1_0²·b_1_2⁴
       + b_2_2²·b_2_6²·b_1_0³·b_1_2³ + b_2_2²·b_2_6²·b_1_0⁴·b_1_2²
       + b_2_2²·b_2_6²·b_1_0⁶ + b_2_2²·b_2_6²·b_4_10·b_1_0·b_1_2
       + b_2_2²·b_2_6²·b_4_10·b_1_0² + b_2_2²·b_2_6³·b_1_2·b_3_1
       + b_2_2²·b_2_6³·b_1_2⁴ + b_2_2²·b_2_6³·b_1_0·b_3_1
       + b_2_2²·b_2_6³·b_1_0·b_3_0 + b_2_2²·b_2_6³·b_1_0·b_1_2³
       + b_2_2²·b_2_6³·b_1_0³·b_1_2 + b_2_2²·b_2_6³·b_1_0⁴ + b_2_2²·b_2_6³·b_4_20
       + b_2_2²·b_2_6³·b_4_10 + b_2_2²·b_2_6⁴·b_1_1² + b_2_2²·b_2_6⁴·b_1_0·b_1_1
       + b_2_2²·b_2_6⁴·b_1_0² + b_2_2³·b_1_2⁸ + b_2_2³·b_1_0·b_7_0
       + b_2_2³·b_1_0⁵·b_3_1 + b_2_2³·b_6_0·b_1_0·b_1_1 + b_2_2³·b_6_0·b_1_0²
       + b_2_2³·b_4_10·b_1_2⁴ + b_2_2³·b_4_10·b_1_0·b_1_2³
       + b_2_2³·b_4_10·b_1_0²·b_1_2² + b_2_2³·b_4_10·b_1_0³·b_1_2
       + b_2_2³·b_2_6·b_1_2³·b_3_1 + b_2_2³·b_2_6·b_1_0·b_1_2⁵
       + b_2_2³·b_2_6·b_1_0³·b_3_1 + b_2_2³·b_2_6·b_1_0³·b_1_2³
       + b_2_2³·b_2_6·b_1_0⁴·b_1_2² + b_2_2³·b_2_6·b_1_0⁵·b_1_1 + b_2_2³·b_2_6·b_6_0
       + b_2_2³·b_2_6·b_4_10·b_1_0² + b_2_2³·b_2_6²·b_1_2·b_3_1
       + b_2_2³·b_2_6²·b_1_2⁴ + b_2_2³·b_2_6²·b_1_1⁴ + b_2_2³·b_2_6²·b_1_0·b_3_0
       + b_2_2³·b_2_6²·b_1_0·b_1_2³ + b_2_2³·b_2_6²·b_1_0⁴ + b_2_2³·b_2_6²·b_4_20
       + b_2_2³·b_2_6²·b_4_10 + b_2_2³·b_2_6³·b_1_2² + b_2_2³·b_2_6³·b_1_1²
       + b_2_2³·b_2_6³·b_1_0·b_1_1 + b_2_2³·b_2_6³·b_1_0² + b_2_2³·b_2_6⁴
       + b_2_2⁴·b_1_2³·b_3_1 + b_2_2⁴·b_1_2⁶ + b_2_2⁴·b_1_1⁶ + b_2_2⁴·b_1_0·b_1_2⁵
       + b_2_2⁴·b_1_0²·b_1_2⁴ + b_2_2⁴·b_1_0³·b_3_1 + b_2_2⁴·b_1_0⁴·b_1_2²
       + b_2_2⁴·b_1_0⁵·b_1_1 + b_2_2⁴·b_4_10·b_1_2² + b_2_2⁴·b_4_10·b_1_0²
       + b_2_2⁴·b_2_6·b_1_2·b_3_1 + b_2_2⁴·b_2_6·b_1_2⁴ + b_2_2⁴·b_2_6·b_1_0³·b_1_2
       + b_2_2⁴·b_2_6·b_4_20 + b_2_2⁴·b_2_6·b_4_10 + b_2_2⁴·b_2_6²·b_1_2²
       + b_2_2⁴·b_2_6²·b_1_1² + b_2_2⁴·b_2_6²·b_1_0·b_1_2
       + b_2_2⁴·b_2_6²·b_1_0·b_1_1 + b_2_2⁵·b_1_2⁴ + b_2_2⁵·b_1_0·b_3_1
       + b_2_2⁵·b_1_0·b_1_2³ + b_2_2⁵·b_1_0²·b_1_2² + b_2_2⁵·b_1_0⁴ + b_2_2⁵·b_4_20
       + b_2_2⁵·b_2_6·b_1_0·b_1_2 + b_2_2⁵·b_2_6·b_1_0·b_1_1 + b_2_2⁵·b_2_6·b_1_0²
       + b_2_2⁶·b_1_1² + b_2_2⁶·b_1_0·b_1_1 + b_2_2⁶·b_1_0² + b_2_2⁶·b_2_6 + b_2_2⁷
       + b_2_6·c_8_11·b_1_0·b_3_11
57. b_8_52·b_7_0 + b_2_6·b_4_10²·b_1_0·b_1_2⁴ + b_2_6·b_4_10²·b_4_20·b_1_0
       + b_2_6²·b_4_10·b_7_28 + b_2_6²·b_4_10²·b_1_0·b_1_2² + b_2_6³·b_1_0⁸·b_1_1
       + b_2_6³·b_6_0·b_1_2³ + b_2_6³·b_6_0·b_1_0·b_1_2² + b_2_6³·b_6_0·b_1_0²·b_1_2
       + b_2_6³·b_6_0·b_1_0²·b_1_1 + b_2_6³·b_4_10·b_1_2⁵
       + b_2_6³·b_4_10·b_1_0·b_1_2⁴ + b_2_6³·b_4_10·b_1_0³·b_1_2²
       + b_2_6³·b_4_10·b_4_20·b_1_0 + b_2_6⁴·b_1_2⁴·b_3_1 + b_2_6⁴·b_1_2⁷
       + b_2_6⁴·b_1_0³·b_1_2⁴ + b_2_6⁴·b_1_0⁴·b_3_1 + b_2_6⁴·b_1_0⁴·b_1_2³
       + b_2_6⁴·b_1_0⁶·b_1_1 + b_2_6⁴·b_6_0·b_1_2 + b_2_6⁴·b_6_0·b_1_0
       + b_2_6⁴·b_4_10·b_3_1 + b_2_6⁴·b_4_10·b_1_0·b_1_2² + b_2_6⁵·b_1_2⁵
       + b_2_6⁵·b_1_0·b_1_2⁴ + b_2_6⁵·b_1_0²·b_3_0 + b_2_6⁵·b_1_0²·b_1_2³
       + b_2_6⁵·b_1_0³·b_1_2² + b_2_6⁵·b_4_20·b_1_0 + b_2_6⁶·b_3_11 + b_2_6⁶·b_3_1
       + b_2_6⁶·b_1_0²·b_1_1 + b_2_2·b_6_0²·b_1_2 + b_2_2·b_6_0²·b_1_0
       + b_2_2·b_4_10·b_8_52·b_1_0 + b_2_2·b_4_10²·b_1_0²·b_3_1
       + b_2_2·b_4_10²·b_4_20·b_1_0 + b_2_2·b_2_6·b_1_0⁴·b_7_0 + b_2_2·b_2_6·b_1_0⁸·b_3_1
       + b_2_2·b_2_6·b_6_0·b_1_1⁵ + b_2_2·b_2_6·b_6_0·b_1_0⁵ + b_2_2·b_2_6·b_4_10·b_7_28
       + b_2_2·b_2_6·b_4_10·b_7_0 + b_2_2·b_2_6·b_4_10·b_1_2⁷
       + b_2_2·b_2_6·b_4_10²·b_1_0·b_1_2² + b_2_2·b_2_6·b_4_10²·b_1_0³
       + b_2_2·b_2_6²·b_1_2⁹ + b_2_2·b_2_6²·b_1_0⁸·b_1_1 + b_2_2·b_2_6²·b_6_0·b_1_1³
       + b_2_2·b_2_6²·b_6_0·b_1_0²·b_1_2 + b_2_2·b_2_6²·b_4_10·b_1_0⁵
       + b_2_2·b_2_6³·b_7_28 + b_2_2·b_2_6³·b_7_0 + b_2_2·b_2_6³·b_1_0·b_1_2⁶
       + b_2_2·b_2_6³·b_1_0³·b_1_2⁴ + b_2_2·b_2_6³·b_1_0⁷ + b_2_2·b_2_6³·b_6_0·b_1_1
       + b_2_2·b_2_6³·b_4_10·b_3_0 + b_2_2·b_2_6³·b_4_10·b_1_0·b_1_2²
       + b_2_2·b_2_6³·b_4_10·b_1_0³ + b_2_2·b_2_6⁴·b_1_2⁵ + b_2_2·b_2_6⁴·b_1_1⁵
       + b_2_2·b_2_6⁴·b_1_0·b_1_2⁴ + b_2_2·b_2_6⁴·b_1_0²·b_3_1
       + b_2_2·b_2_6⁴·b_1_0²·b_1_2³ + b_2_2·b_2_6⁴·b_1_0⁴·b_1_2
       + b_2_2·b_2_6⁴·b_4_20·b_1_0 + b_2_2·b_2_6⁴·b_4_10·b_1_2
       + b_2_2·b_2_6⁴·b_4_10·b_1_0 + b_2_2·b_2_6⁵·b_3_1 + b_2_2·b_2_6⁵·b_3_0
       + b_2_2·b_2_6⁵·b_1_0²·b_1_2 + b_2_2·b_2_6⁵·b_1_0²·b_1_1 + b_2_2·b_2_6⁵·b_1_0³
       + b_2_2·b_2_6⁶·b_1_2 + b_2_2·b_2_6⁶·b_1_1 + b_2_2·b_2_6⁶·b_1_0
       + b_2_2²·b_1_2⁸·b_3_1 + b_2_2²·b_6_0·b_1_1⁵ + b_2_2²·b_6_0·b_1_0·b_1_2⁴
       + b_2_2²·b_6_0·b_1_0²·b_1_2³ + b_2_2²·b_4_10·b_7_0
       + b_2_2²·b_4_10·b_1_0·b_1_2⁶ + b_2_2²·b_4_10·b_1_0⁷ + b_2_2²·b_4_10²·b_3_0
       + b_2_2²·b_4_10²·b_1_2³ + b_2_2²·b_4_10²·b_1_0³ + b_2_2²·b_2_6·b_1_2⁶·b_3_1
       + b_2_2²·b_2_6·b_1_2⁹ + b_2_2²·b_2_6·b_1_0·b_1_2⁸ + b_2_2²·b_2_6·b_1_0²·b_7_0
       + b_2_2²·b_2_6·b_1_0⁶·b_3_1 + b_2_2²·b_2_6·b_1_0⁸·b_1_1 + b_2_2²·b_2_6·b_1_0⁹
       + b_2_2²·b_2_6·b_6_0·b_1_2³ + b_2_2²·b_2_6·b_6_0·b_1_1³
       + b_2_2²·b_2_6·b_6_0·b_1_0·b_1_2² + b_2_2²·b_2_6·b_6_0·b_1_0²·b_1_2
       + b_2_2²·b_2_6·b_6_0·b_1_0³ + b_2_2²·b_2_6·b_4_10·b_1_0·b_1_2⁴
       + b_2_2²·b_2_6·b_4_10²·b_1_2 + b_2_2²·b_2_6·b_4_10²·b_1_0
       + b_2_2²·b_2_6²·b_7_28 + b_2_2²·b_2_6²·b_1_2⁴·b_3_1 + b_2_2²·b_2_6²·b_1_1⁷
       + b_2_2²·b_2_6²·b_1_0³·b_1_2⁴ + b_2_2²·b_2_6²·b_1_0⁴·b_1_2³
       + b_2_2²·b_2_6²·b_6_0·b_1_2 + b_2_2²·b_2_6²·b_6_0·b_1_1
       + b_2_2²·b_2_6²·b_4_10·b_3_0 + b_2_2²·b_2_6²·b_4_10·b_1_0²·b_1_2
       + b_2_2²·b_2_6³·b_1_2²·b_3_1 + b_2_2²·b_2_6³·b_1_2⁵ + b_2_2²·b_2_6³·b_1_1⁵
       + b_2_2²·b_2_6³·b_1_0·b_1_2⁴ + b_2_2²·b_2_6³·b_1_0²·b_3_1
       + b_2_2²·b_2_6³·b_1_0⁴·b_1_2 + b_2_2²·b_2_6³·b_1_0⁴·b_1_1
       + b_2_2²·b_2_6³·b_4_20·b_1_0 + b_2_2²·b_2_6³·b_4_10·b_1_2
       + b_2_2²·b_2_6⁴·b_1_0·b_1_2² + b_2_2²·b_2_6⁴·b_1_0²·b_1_1
       + b_2_2²·b_2_6⁴·b_1_0³ + b_2_2²·b_2_6⁵·b_1_2 + b_2_2²·b_2_6⁵·b_1_0
       + b_2_2³·b_1_2⁶·b_3_1 + b_2_2³·b_1_0²·b_7_0 + b_2_2³·b_1_0⁶·b_3_1
       + b_2_2³·b_1_0⁸·b_1_1 + b_2_2³·b_8_52·b_1_0 + b_2_2³·b_6_0·b_1_2³
       + b_2_2³·b_6_0·b_1_1³ + b_2_2³·b_6_0·b_1_0²·b_1_2
       + b_2_2³·b_4_10·b_1_0³·b_1_2² + b_2_2³·b_4_10·b_1_0⁵
       + b_2_2³·b_4_10·b_4_20·b_1_0 + b_2_2³·b_4_10²·b_1_2 + b_2_2³·b_4_10²·b_1_0
       + b_2_2³·b_2_6·b_7_28 + b_2_2³·b_2_6·b_1_2⁴·b_3_1 + b_2_2³·b_2_6·b_1_2⁷
       + b_2_2³·b_2_6·b_1_1⁷ + b_2_2³·b_2_6·b_1_0³·b_1_2⁴
       + b_2_2³·b_2_6·b_1_0⁴·b_3_1 + b_2_2³·b_2_6·b_1_0⁴·b_1_2³
       + b_2_2³·b_2_6·b_1_0⁶·b_1_1 + b_2_2³·b_2_6·b_1_0⁷ + b_2_2³·b_2_6·b_6_0·b_1_2
       + b_2_2³·b_2_6·b_6_0·b_1_1 + b_2_2³·b_2_6·b_4_10·b_3_0
       + b_2_2³·b_2_6·b_4_10·b_1_2³ + b_2_2³·b_2_6·b_4_10·b_1_0·b_1_2²
       + b_2_2³·b_2_6²·b_1_2⁵ + b_2_2³·b_2_6²·b_1_1⁵
       + b_2_2³·b_2_6²·b_1_0·b_1_2⁴ + b_2_2³·b_2_6²·b_1_0²·b_3_1
       + b_2_2³·b_2_6²·b_1_0²·b_1_2³ + b_2_2³·b_2_6²·b_1_0³·b_1_2²
       + b_2_2³·b_2_6²·b_1_0⁴·b_1_2 + b_2_2³·b_2_6²·b_1_0⁵
       + b_2_2³·b_2_6²·b_4_20·b_1_0 + b_2_2³·b_2_6²·b_4_10·b_1_2 + b_2_2³·b_2_6³·b_3_1
       + b_2_2³·b_2_6³·b_1_0²·b_1_2 + b_2_2³·b_2_6³·b_1_0³ + b_2_2³·b_2_6⁴·b_1_2
       + b_2_2⁴·b_1_2⁴·b_3_1 + b_2_2⁴·b_1_2⁷ + b_2_2⁴·b_1_0³·b_1_2⁴
       + b_2_2⁴·b_1_0⁴·b_1_2³ + b_2_2⁴·b_6_0·b_1_2 + b_2_2⁴·b_6_0·b_1_1
       + b_2_2⁴·b_4_10·b_3_0 + b_2_2⁴·b_2_6·b_1_2²·b_3_1 + b_2_2⁴·b_2_6·b_1_1⁵
       + b_2_2⁴·b_2_6·b_1_0⁵ + b_2_2⁴·b_2_6·b_4_10·b_1_2 + b_2_2⁴·b_2_6²·b_3_0
       + b_2_2⁴·b_2_6²·b_1_2³ + b_2_2⁴·b_2_6²·b_1_0²·b_1_2
       + b_2_2⁴·b_2_6²·b_1_0²·b_1_1 + b_2_2⁴·b_2_6³·b_1_1 + b_2_2⁴·b_2_6³·b_1_0
       + b_2_2⁵·b_1_2²·b_3_1 + b_2_2⁵·b_1_2⁵ + b_2_2⁵·b_1_1⁵ + b_2_2⁵·b_1_0·b_1_2⁴
       + b_2_2⁵·b_1_0²·b_3_1 + b_2_2⁵·b_1_0²·b_1_2³ + b_2_2⁵·b_1_0³·b_1_2²
       + b_2_2⁵·b_1_0⁴·b_1_2 + b_2_2⁵·b_1_0⁴·b_1_1 + b_2_2⁵·b_4_20·b_1_0
       + b_2_2⁵·b_2_6·b_3_1 + b_2_2⁵·b_2_6·b_1_2³ + b_2_2⁵·b_2_6·b_1_0³
       + b_2_2⁵·b_2_6²·b_1_2 + b_2_2⁵·b_2_6²·b_1_1 + b_2_2⁵·b_2_6²·b_1_0 + b_2_2⁶·b_3_1
       + b_2_2⁶·b_3_0 + b_2_2⁶·b_1_2³ + b_2_2⁶·b_1_0²·b_1_1 + b_2_2⁶·b_1_0³
       + b_2_2⁶·b_2_6·b_1_0 + b_2_2⁷·b_1_0 + b_2_6·b_4_20·c_8_11·b_1_0
       + b_2_6²·c_8_11·b_3_11 + b_2_2·b_2_6·c_8_11·b_3_0 + b_2_2·b_2_6·c_8_11·b_1_0²·b_1_2
       + b_2_2·b_2_6²·c_8_11·b_1_2 + b_2_2·b_2_6²·c_8_11·b_1_1
       + b_2_2·b_2_6²·c_8_11·b_1_0 + b_2_2²·b_2_6·c_8_11·b_1_2
       + b_2_2²·b_2_6·c_8_11·b_1_1
58. b_8_52·b_7_28 + b_2_6·b_4_10²·b_4_20·b_1_0 + b_2_6²·b_4_10²·b_3_1
       + b_2_6³·b_8_52·b_1_0 + b_2_6³·b_6_0·b_1_0²·b_1_2 + b_2_6³·b_6_0·b_1_0²·b_1_1
       + b_2_6³·b_4_10²·b_1_2 + b_2_6⁴·b_1_0⁴·b_3_0 + b_2_6⁴·b_1_0⁴·b_1_2³
       + b_2_6⁴·b_6_0·b_1_2 + b_2_6⁴·b_6_0·b_1_0 + b_2_6⁴·b_4_10·b_1_2³
       + b_2_6⁴·b_4_10·b_1_0·b_1_2² + b_2_6⁴·b_4_10·b_1_0²·b_1_2
       + b_2_6⁵·b_1_2²·b_3_1 + b_2_6⁵·b_1_2⁵ + b_2_6⁵·b_1_0⁴·b_1_2
       + b_2_6⁵·b_1_0⁴·b_1_1 + b_2_6⁵·b_4_20·b_1_0 + b_2_6⁵·b_4_10·b_1_2 + b_2_6⁶·b_3_1
       + b_2_6⁶·b_1_0·b_1_2² + b_2_6⁶·b_1_0²·b_1_2 + b_2_6⁶·b_1_0²·b_1_1
       + b_2_2·b_4_10·b_8_52·b_1_0 + b_2_2·b_2_6·b_6_0·b_1_0·b_1_2⁴
       + b_2_2·b_2_6·b_6_0·b_1_0²·b_1_2³ + b_2_2·b_2_6·b_4_10·b_7_28
       + b_2_2·b_2_6·b_4_10·b_7_0 + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2⁶
       + b_2_2·b_2_6·b_4_10²·b_1_0·b_1_2² + b_2_2·b_2_6·b_4_10²·b_1_0³
       + b_2_2·b_2_6²·b_1_0·b_1_2⁸ + b_2_2·b_2_6²·b_8_52·b_1_0
       + b_2_2·b_2_6²·b_6_0·b_1_1³ + b_2_2·b_2_6²·b_6_0·b_1_0·b_1_2²
       + b_2_2·b_2_6²·b_4_10·b_1_2⁵ + b_2_2·b_2_6²·b_4_10·b_1_0·b_1_2⁴
       + b_2_2·b_2_6²·b_4_10·b_1_0³·b_1_2² + b_2_2·b_2_6²·b_4_10·b_1_0⁵
       + b_2_2·b_2_6²·b_4_10·b_4_20·b_1_0 + b_2_2·b_2_6³·b_7_28
       + b_2_2·b_2_6³·b_1_0⁴·b_1_2³ + b_2_2·b_2_6³·b_6_0·b_1_2
       + b_2_2·b_2_6³·b_4_10·b_3_0 + b_2_2·b_2_6⁴·b_1_2²·b_3_1
       + b_2_2·b_2_6⁴·b_1_0²·b_3_1 + b_2_2·b_2_6⁴·b_1_0²·b_1_2³
       + b_2_2·b_2_6⁴·b_1_0³·b_1_2² + b_2_2·b_2_6⁴·b_1_0⁴·b_1_1
       + b_2_2·b_2_6⁴·b_1_0⁵ + b_2_2·b_2_6⁵·b_3_1 + b_2_2·b_2_6⁵·b_3_0
       + b_2_2·b_2_6⁵·b_1_2³ + b_2_2·b_2_6⁵·b_1_0·b_1_2² + b_2_2·b_2_6⁵·b_1_0²·b_1_1
       + b_2_2²·b_1_0⁴·b_7_0 + b_2_2²·b_1_0⁸·b_3_1 + b_2_2²·b_6_0·b_1_2⁵
       + b_2_2²·b_6_0·b_1_0²·b_1_2³ + b_2_2²·b_4_10·b_7_28 + b_2_2²·b_4_10²·b_3_1
       + b_2_2²·b_4_10²·b_1_2³ + b_2_2²·b_4_10²·b_1_0·b_1_2²
       + b_2_2²·b_2_6·b_1_2⁹ + b_2_2²·b_2_6·b_6_0·b_1_0²·b_1_2
       + b_2_2²·b_2_6·b_6_0·b_1_0³ + b_2_2²·b_2_6·b_4_10·b_1_2⁵
       + b_2_2²·b_2_6·b_4_10·b_1_0³·b_1_2² + b_2_2²·b_2_6·b_4_10²·b_1_2
       + b_2_2²·b_2_6²·b_7_28 + b_2_2²·b_2_6²·b_7_0 + b_2_2²·b_2_6²·b_1_2⁴·b_3_1
       + b_2_2²·b_2_6²·b_1_2⁷ + b_2_2²·b_2_6²·b_1_1⁷
       + b_2_2²·b_2_6²·b_1_0·b_1_2⁶ + b_2_2²·b_2_6²·b_1_0³·b_1_2⁴
       + b_2_2²·b_2_6²·b_1_0⁶·b_1_1 + b_2_2²·b_2_6²·b_1_0⁷
       + b_2_2²·b_2_6²·b_6_0·b_1_2 + b_2_2²·b_2_6²·b_6_0·b_1_0
       + b_2_2²·b_2_6²·b_4_10·b_1_2³ + b_2_2²·b_2_6²·b_4_10·b_1_0·b_1_2²
       + b_2_2²·b_2_6²·b_4_10·b_1_0³ + b_2_2²·b_2_6³·b_1_2⁵
       + b_2_2²·b_2_6³·b_1_1⁵ + b_2_2²·b_2_6³·b_1_0²·b_3_1
       + b_2_2²·b_2_6³·b_1_0⁴·b_1_2 + b_2_2²·b_2_6³·b_1_0⁴·b_1_1
       + b_2_2²·b_2_6³·b_4_10·b_1_2 + b_2_2²·b_2_6³·b_4_10·b_1_0 + b_2_2²·b_2_6⁴·b_3_0
       + b_2_2²·b_2_6⁴·b_1_1³ + b_2_2³·b_1_2⁹ + b_2_2³·b_1_0·b_1_2⁸
       + b_2_2³·b_1_0²·b_7_0 + b_2_2³·b_1_0⁶·b_3_1 + b_2_2³·b_1_0⁸·b_1_1
       + b_2_2³·b_1_0⁹ + b_2_2³·b_8_52·b_1_0 + b_2_2³·b_6_0·b_1_0·b_1_2²
       + b_2_2³·b_4_10·b_1_0·b_1_2⁴ + b_2_2³·b_4_10·b_4_20·b_1_0 + b_2_2³·b_2_6·b_7_28
       + b_2_2³·b_2_6·b_1_2⁴·b_3_1 + b_2_2³·b_2_6·b_1_0³·b_1_2⁴
       + b_2_2³·b_2_6·b_1_0⁴·b_3_1 + b_2_2³·b_2_6·b_1_0⁴·b_1_2³
       + b_2_2³·b_2_6·b_1_0⁷ + b_2_2³·b_2_6·b_6_0·b_1_2 + b_2_2³·b_2_6²·b_1_2²·b_3_1
       + b_2_2³·b_2_6²·b_1_2⁵ + b_2_2³·b_2_6²·b_1_1⁵
       + b_2_2³·b_2_6²·b_1_0·b_1_2⁴ + b_2_2³·b_2_6²·b_1_0²·b_1_2³
       + b_2_2³·b_2_6²·b_1_0³·b_1_2² + b_2_2³·b_2_6²·b_1_0⁴·b_1_2
       + b_2_2³·b_2_6²·b_4_20·b_1_0 + b_2_2³·b_2_6²·b_4_10·b_1_2 + b_2_2³·b_2_6³·b_3_1
       + b_2_2³·b_2_6³·b_1_2³ + b_2_2³·b_2_6³·b_1_0²·b_1_2
       + b_2_2³·b_2_6³·b_1_0²·b_1_1 + b_2_2³·b_2_6⁴·b_1_1 + b_2_2⁴·b_7_28
       + b_2_2⁴·b_1_1⁷ + b_2_2⁴·b_1_0³·b_1_2⁴ + b_2_2⁴·b_1_0⁴·b_1_2³
       + b_2_2⁴·b_1_0⁶·b_1_1 + b_2_2⁴·b_1_0⁷ + b_2_2⁴·b_6_0·b_1_0 + b_2_2⁴·b_4_10·b_3_0
       + b_2_2⁴·b_4_10·b_1_2³ + b_2_2⁴·b_4_10·b_1_0·b_1_2²
       + b_2_2⁴·b_4_10·b_1_0²·b_1_2 + b_2_2⁴·b_4_10·b_1_0³ + b_2_2⁴·b_2_6·b_1_2⁵
       + b_2_2⁴·b_2_6·b_1_0³·b_1_2² + b_2_2⁴·b_2_6·b_4_20·b_1_0
       + b_2_2⁴·b_2_6·b_4_10·b_1_2 + b_2_2⁴·b_2_6²·b_3_1 + b_2_2⁴·b_2_6²·b_1_2³
       + b_2_2⁴·b_2_6²·b_1_1³ + b_2_2⁴·b_2_6²·b_1_0²·b_1_2
       + b_2_2⁴·b_2_6²·b_1_0²·b_1_1 + b_2_2⁴·b_2_6²·b_1_0³ + b_2_2⁴·b_2_6³·b_1_0
       + b_2_2⁵·b_1_2²·b_3_1 + b_2_2⁵·b_1_1⁵ + b_2_2⁵·b_1_0·b_1_2⁴
       + b_2_2⁵·b_1_0²·b_3_1 + b_2_2⁵·b_1_0⁴·b_1_2 + b_2_2⁵·b_1_0⁵
       + b_2_2⁵·b_4_10·b_1_2 + b_2_2⁵·b_4_10·b_1_0 + b_2_2⁵·b_2_6·b_1_2³
       + b_2_2⁵·b_2_6·b_1_1³ + b_2_2⁵·b_2_6·b_1_0·b_1_2² + b_2_2⁵·b_2_6·b_1_0²·b_1_1
       + b_2_2⁵·b_2_6·b_1_0³ + b_2_2⁵·b_2_6²·b_1_1 + b_2_2⁵·b_2_6²·b_1_0
       + b_2_2⁶·b_1_0²·b_1_2 + b_2_2⁶·b_1_0³ + b_2_2⁶·b_2_6·b_1_2 + b_2_2⁷·b_1_1
       + b_2_6·b_4_20·c_8_11·b_1_0 + b_2_6²·c_8_11·b_3_11 + b_2_2·b_2_6·c_8_11·b_3_0
       + b_2_2·b_2_6·c_8_11·b_1_0²·b_1_2 + b_2_2·b_2_6²·c_8_11·b_1_2
       + b_2_2·b_2_6²·c_8_11·b_1_1 + b_2_2·b_2_6²·c_8_11·b_1_0
       + b_2_2²·b_2_6·c_8_11·b_1_2 + b_2_2²·b_2_6·c_8_11·b_1_1
59. b_8_52² + b_2_6²·b_6_0·b_1_0²·b_1_2⁴ + b_2_6²·b_6_0·b_1_0⁵·b_1_1
       + b_2_6²·b_4_10·b_1_0·b_7_28 + b_2_6²·b_4_10·b_8_52 + b_2_6²·b_4_10²·b_1_2⁴
       + b_2_6²·b_4_10²·b_1_0·b_3_1 + b_2_6²·b_4_10²·b_1_0·b_1_2³
       + b_2_6²·b_4_10²·b_4_20 + b_2_6³·b_6_0·b_1_2⁴ + b_2_6³·b_6_0·b_1_0·b_1_2³
       + b_2_6³·b_6_0·b_1_0²·b_1_2² + b_2_6³·b_6_0·b_1_0³·b_1_1
       + b_2_6³·b_4_10·b_1_2⁶ + b_2_6³·b_4_10²·b_1_2² + b_2_6³·b_4_10²·b_1_0·b_1_2
       + b_2_6⁴·b_1_2⁵·b_3_1 + b_2_6⁴·b_1_2⁸ + b_2_6⁴·b_1_0⁵·b_3_1 + b_2_6⁴·b_8_52
       + b_2_6⁴·b_6_0·b_1_2² + b_2_6⁴·b_6_0·b_1_0·b_1_2 + b_2_6⁴·b_6_0·b_1_0·b_1_1
       + b_2_6⁴·b_6_0·b_1_0² + b_2_6⁴·b_4_10·b_1_0·b_3_1
       + b_2_6⁴·b_4_10·b_1_0²·b_1_2² + b_2_6⁴·b_4_10·b_4_20 + b_2_6⁵·b_1_2⁶
       + b_2_6⁵·b_1_0·b_1_2⁵ + b_2_6⁵·b_1_0³·b_3_0 + b_2_6⁵·b_1_0³·b_1_2³
       + b_2_6⁵·b_1_0⁵·b_1_1 + b_2_6⁵·b_4_10·b_1_2² + b_2_6⁶·b_1_2·b_3_1
       + b_2_6⁶·b_1_0·b_3_0 + b_2_6⁶·b_1_0·b_1_2³ + b_2_6⁶·b_1_0²·b_1_2²
       + b_2_6⁶·b_1_0³·b_1_1 + b_2_6⁷·b_1_0·b_1_2 + b_2_2·b_4_10²·b_6_0
       + b_2_2·b_2_6·b_4_10·b_1_0·b_7_28 + b_2_2·b_2_6·b_4_10·b_1_0·b_7_0
       + b_2_2·b_2_6·b_4_10·b_8_52 + b_2_2·b_2_6·b_4_10²·b_1_2⁴
       + b_2_2·b_2_6²·b_6_0·b_1_2⁴ + b_2_2·b_2_6²·b_6_0·b_1_1⁴
       + b_2_2·b_2_6²·b_6_0·b_1_0·b_1_2³ + b_2_2·b_2_6²·b_6_0·b_1_0²·b_1_2²
       + b_2_2·b_2_6²·b_4_10·b_1_2⁶ + b_2_2·b_2_6²·b_4_10²·b_1_0·b_1_2
       + b_2_2·b_2_6²·b_4_10²·b_1_0² + b_2_2·b_2_6³·b_1_2⁵·b_3_1
       + b_2_2·b_2_6³·b_1_0·b_7_28 + b_2_2·b_2_6³·b_1_0·b_1_2⁷
       + b_2_2·b_2_6³·b_1_0⁷·b_1_1 + b_2_2·b_2_6³·b_8_52 + b_2_2·b_2_6³·b_6_0·b_1_2²
       + b_2_2·b_2_6³·b_6_0·b_1_0·b_1_2 + b_2_2·b_2_6³·b_6_0·b_1_0·b_1_1
       + b_2_2·b_2_6³·b_4_10·b_1_2⁴ + b_2_2·b_2_6³·b_4_10·b_1_0²·b_1_2²
       + b_2_2·b_2_6³·b_4_10·b_1_0⁴ + b_2_2·b_2_6³·b_4_10·b_4_20
       + b_2_2·b_2_6³·b_4_10² + b_2_2·b_2_6⁴·b_1_2³·b_3_1 + b_2_2·b_2_6⁴·b_1_1⁶
       + b_2_2·b_2_6⁴·b_1_0²·b_1_2⁴ + b_2_2·b_2_6⁴·b_1_0³·b_3_1
       + b_2_2·b_2_6⁴·b_1_0⁴·b_1_2² + b_2_2·b_2_6⁴·b_1_0⁵·b_1_1 + b_2_2·b_2_6⁴·b_6_0
       + b_2_2·b_2_6⁴·b_4_10·b_1_2² + b_2_2·b_2_6⁵·b_1_2·b_3_1
       + b_2_2·b_2_6⁵·b_1_0·b_3_1 + b_2_2·b_2_6⁵·b_1_0·b_1_2³
       + b_2_2·b_2_6⁵·b_1_0³·b_1_2 + b_2_2·b_2_6⁵·b_1_0³·b_1_1 + b_2_2·b_2_6⁵·b_4_10
       + b_2_2·b_2_6⁶·b_1_2² + b_2_2·b_2_6⁶·b_1_1² + b_2_2·b_2_6⁶·b_1_0·b_1_1
       + b_2_2·b_2_6⁷ + b_2_2²·b_1_0⁵·b_7_0 + b_2_2²·b_6_0·b_1_2⁶
       + b_2_2²·b_6_0·b_1_1⁶ + b_2_2²·b_6_0·b_1_0·b_1_2⁵ + b_2_2²·b_6_0·b_1_0⁶
       + b_2_2²·b_6_0² + b_2_2²·b_4_10·b_1_0⁸ + b_2_2²·b_4_10²·b_1_2⁴
       + b_2_2²·b_4_10²·b_1_0·b_3_1 + b_2_2²·b_4_10²·b_1_0·b_3_0
       + b_2_2²·b_2_6·b_1_2⁷·b_3_1 + b_2_2²·b_2_6·b_1_2¹⁰
       + b_2_2²·b_2_6·b_1_0·b_1_2⁹ + b_2_2²·b_2_6·b_1_0³·b_7_0
       + b_2_2²·b_2_6·b_1_0⁹·b_1_1 + b_2_2²·b_2_6·b_6_0·b_1_1⁴
       + b_2_2²·b_2_6·b_6_0·b_1_0⁴ + b_2_2²·b_2_6·b_4_10·b_1_2⁶
       + b_2_2²·b_2_6·b_4_10²·b_1_0·b_1_2 + b_2_2²·b_2_6·b_4_10²·b_1_0²
       + b_2_2²·b_2_6²·b_1_2⁵·b_3_1 + b_2_2²·b_2_6²·b_1_2⁸
       + b_2_2²·b_2_6²·b_1_0·b_7_28 + b_2_2²·b_2_6²·b_1_0·b_7_0
       + b_2_2²·b_2_6²·b_1_0⁷·b_1_1 + b_2_2²·b_2_6²·b_6_0·b_1_0·b_1_2
       + b_2_2²·b_2_6²·b_6_0·b_1_0·b_1_1 + b_2_2²·b_2_6²·b_6_0·b_1_0²
       + b_2_2²·b_2_6²·b_4_10·b_1_2⁴ + b_2_2²·b_2_6²·b_4_10·b_1_0·b_1_2³
       + b_2_2²·b_2_6²·b_4_10·b_1_0²·b_1_2² + b_2_2²·b_2_6²·b_4_10·b_4_20
       + b_2_2²·b_2_6³·b_1_2³·b_3_1 + b_2_2²·b_2_6³·b_1_2⁶
       + b_2_2²·b_2_6³·b_1_0·b_1_2⁵ + b_2_2²·b_2_6³·b_1_0⁶ + b_2_2²·b_2_6³·b_6_0
       + b_2_2²·b_2_6³·b_4_10·b_1_2² + b_2_2²·b_2_6³·b_4_10·b_1_0·b_1_2
       + b_2_2²·b_2_6³·b_4_10·b_1_0² + b_2_2²·b_2_6⁴·b_1_0·b_3_1
       + b_2_2²·b_2_6⁴·b_1_0·b_3_0 + b_2_2²·b_2_6⁴·b_1_0²·b_1_2²
       + b_2_2²·b_2_6⁴·b_1_0³·b_1_1 + b_2_2²·b_2_6⁴·b_1_0⁴ + b_2_2²·b_2_6⁴·b_4_20
       + b_2_2²·b_2_6⁴·b_4_10 + b_2_2²·b_2_6⁵·b_1_2² + b_2_2²·b_2_6⁵·b_1_1²
       + b_2_2²·b_2_6⁵·b_1_0·b_1_1 + b_2_2²·b_2_6⁶ + b_2_2³·b_1_2⁷·b_3_1
       + b_2_2³·b_1_2¹⁰ + b_2_2³·b_1_0⁷·b_3_1 + b_2_2³·b_6_0·b_1_0·b_1_2³
       + b_2_2³·b_6_0·b_1_0²·b_1_2² + b_2_2³·b_4_10·b_1_0·b_1_2⁵
       + b_2_2³·b_4_10²·b_1_2² + b_2_2³·b_4_10²·b_1_0² + b_2_2³·b_2_6·b_1_1⁸
       + b_2_2³·b_2_6·b_1_0·b_7_0 + b_2_2³·b_2_6·b_1_0⁵·b_3_1 + b_2_2³·b_2_6·b_1_0⁸
       + b_2_2³·b_2_6·b_6_0·b_1_2² + b_2_2³·b_2_6·b_6_0·b_1_1²
       + b_2_2³·b_2_6·b_6_0·b_1_0·b_1_1 + b_2_2³·b_2_6·b_6_0·b_1_0²
       + b_2_2³·b_2_6·b_4_10·b_1_2⁴ + b_2_2³·b_2_6·b_4_10·b_1_0·b_1_2³
       + b_2_2³·b_2_6·b_4_10·b_1_0²·b_1_2² + b_2_2³·b_2_6·b_4_10·b_4_20
       + b_2_2³·b_2_6²·b_1_2⁶ + b_2_2³·b_2_6²·b_1_0·b_1_2⁵
       + b_2_2³·b_2_6²·b_1_0²·b_1_2⁴ + b_2_2³·b_2_6²·b_1_0³·b_3_1
       + b_2_2³·b_2_6²·b_6_0 + b_2_2³·b_2_6²·b_4_10·b_1_0²
       + b_2_2³·b_2_6³·b_1_2·b_3_1 + b_2_2³·b_2_6³·b_1_1⁴
       + b_2_2³·b_2_6³·b_1_0²·b_1_2² + b_2_2³·b_2_6³·b_1_0³·b_1_1
       + b_2_2³·b_2_6³·b_1_0⁴ + b_2_2³·b_2_6³·b_4_20 + b_2_2³·b_2_6⁴·b_1_2²
       + b_2_2⁴·b_1_2⁵·b_3_1 + b_2_2⁴·b_1_2⁸ + b_2_2⁴·b_1_0·b_7_28
       + b_2_2⁴·b_1_0⁷·b_1_1 + b_2_2⁴·b_1_0⁸ + b_2_2⁴·b_6_0·b_1_0·b_1_1
       + b_2_2⁴·b_4_10·b_1_0·b_3_0 + b_2_2⁴·b_4_10·b_1_0²·b_1_2²
       + b_2_2⁴·b_4_10·b_1_0³·b_1_2 + b_2_2⁴·b_4_10² + b_2_2⁴·b_2_6·b_1_2⁶
       + b_2_2⁴·b_2_6·b_1_0·b_1_2⁵ + b_2_2⁴·b_2_6·b_1_0⁵·b_1_1
       + b_2_2⁴·b_2_6²·b_1_2·b_3_1 + b_2_2⁴·b_2_6²·b_1_2⁴ + b_2_2⁴·b_2_6²·b_1_1⁴
       + b_2_2⁴·b_2_6²·b_1_0·b_3_0 + b_2_2⁴·b_2_6²·b_1_0⁴ + b_2_2⁴·b_2_6²·b_4_20
       + b_2_2⁴·b_2_6²·b_4_10 + b_2_2⁵·b_1_1⁶ + b_2_2⁵·b_1_0²·b_1_2⁴
       + b_2_2⁵·b_1_0³·b_1_2³ + b_2_2⁵·b_1_0⁴·b_1_2² + b_2_2⁵·b_1_0⁶
       + b_2_2⁵·b_6_0 + b_2_2⁵·b_4_10·b_1_0² + b_2_2⁵·b_2_6·b_1_1⁴
       + b_2_2⁵·b_2_6·b_1_0·b_3_0 + b_2_2⁵·b_2_6·b_1_0³·b_1_1 + b_2_2⁵·b_2_6·b_1_0⁴
       + b_2_2⁵·b_2_6·b_4_10 + b_2_2⁵·b_2_6²·b_1_2² + b_2_2⁵·b_2_6²·b_1_1²
       + b_2_2⁵·b_2_6³ + b_2_2⁶·b_1_2·b_3_1 + b_2_2⁶·b_1_2⁴ + b_2_2⁶·b_1_0²·b_1_2²
       + b_2_2⁶·b_1_0⁴ + b_2_2⁶·b_2_6·b_1_2² + b_2_2⁶·b_2_6·b_1_1²
       + b_2_2⁶·b_2_6·b_1_0·b_1_1 + b_2_2⁶·b_2_6·b_1_0² + b_2_2⁷·b_1_0·b_1_1
       + b_2_2⁷·b_1_0² + b_2_2⁷·b_2_6 + b_2_6²·b_4_20·c_8_11
       + b_2_2·b_2_6·c_8_11·b_1_0·b_3_0 + b_2_2·b_2_6·c_8_11·b_1_0³·b_1_2
       + b_2_2·b_2_6·b_4_20·c_8_11 + b_2_2·b_2_6²·c_8_11·b_1_0·b_1_2
       + b_2_2·b_2_6²·c_8_11·b_1_0·b_1_1 + b_2_2·b_2_6²·c_8_11·b_1_0²
       + b_2_2²·c_8_11·b_1_1⁴ + b_2_2²·c_8_11·b_1_0³·b_1_1
       + b_2_2²·b_2_6·c_8_11·b_1_0·b_1_2 + b_2_2²·b_2_6·c_8_11·b_1_0·b_1_1
       + b_2_2³·c_8_11·b_1_0·b_1_1

About the group

Ring generators

Ring relations

Completion information

Restriction maps

Data used for the Hilbert-Poincaré test

• We proved completion in degree 17 using the Hilbert-Poincaré criterion.
• However, the last relation was already found in degree 16 and the last generator in degree 8.
• The following is a filter regular homogeneous system of parameters:
  1. b_1_2⁸ + b_1_1⁸ + b_1_0·b_7_0 + b_1_0·b_1_2⁷ + b_1_0⁵·b_3_1 + b_1_0⁷·b_1_1
        + b_1_0⁸ + b_8_52 + b_6_0·b_1_1² + b_6_0·b_1_0·b_1_1 + b_4_10·b_1_2⁴
        + b_4_10·b_1_1·b_3_0 + b_4_10·b_1_0·b_3_11 + b_4_10·b_1_0·b_3_1
        + b_4_10·b_1_0²·b_1_2² + b_4_10·b_1_0³·b_1_2 + b_4_10·b_1_0⁴ + b_4_10·b_4_20
        + b_4_10² + b_2_6·b_1_2³·b_3_1 + b_2_6·b_1_2⁶ + b_2_6·b_1_0³·b_3_1
        + b_2_6·b_1_0⁴·b_1_2² + b_2_6·b_1_0⁵·b_1_1 + b_2_6·b_6_0 + b_2_6·b_4_10·b_1_2²
        + b_2_6·b_4_10·b_1_0·b_1_2 + b_2_6²·b_1_2·b_3_1 + b_2_6²·b_1_1·b_3_0
        + b_2_6²·b_1_0²·b_1_2² + b_2_6²·b_1_0³·b_1_1 + b_2_6²·b_4_20 + b_2_6³·b_1_2²
        + b_2_6³·b_1_0·b_1_1 + b_2_6⁴ + b_2_2·b_1_2⁶ + b_2_2·b_1_0·b_1_2⁵
        + b_2_2·b_1_0²·b_1_2⁴ + b_2_2·b_1_0³·b_1_2³ + b_2_2·b_1_0⁵·b_1_1
        + b_2_2·b_1_0⁶ + b_2_2·b_2_6·b_1_2⁴ + b_2_2·b_2_6·b_1_1⁴
        + b_2_2·b_2_6·b_1_0·b_3_0 + b_2_2·b_2_6·b_1_0·b_1_2³ + b_2_2·b_2_6·b_1_0³·b_1_2
        + b_2_2·b_2_6·b_1_0³·b_1_1 + b_2_2·b_2_6·b_1_0⁴ + b_2_2·b_2_6·b_4_10
        + b_2_2·b_2_6²·b_1_1² + b_2_2·b_2_6²·b_1_0·b_1_2 + b_2_2²·b_1_1⁴
        + b_2_2²·b_1_0·b_3_1 + b_2_2²·b_1_0·b_1_2³ + b_2_2²·b_1_0⁴ + b_2_2²·b_4_20
        + b_2_2²·b_2_6·b_1_2² + b_2_2²·b_2_6·b_1_0·b_1_2 + b_2_2²·b_2_6·b_1_0²
        + b_2_2²·b_2_6² + b_2_2³·b_1_2² + b_2_2³·b_1_1² + b_2_2³·b_1_0²
        + b_2_2³·b_2_6 + b_2_2⁴ + c_8_11, an element of degree 8
  2. b_1_0·b_1_2¹¹ + b_1_0⁵·b_7_0 + b_1_0⁹·b_3_1 + b_6_0·b_1_1³·b_3_0
        + b_6_0·b_1_0·b_1_2⁵ + b_6_0·b_1_0²·b_1_2⁴ + b_6_0·b_1_0⁵·b_1_1 + b_6_0²
        + b_4_10·b_1_2⁸ + b_4_10·b_1_1⁵·b_3_0 + b_4_10·b_1_0·b_7_0 + b_4_10·b_1_0·b_1_2⁷
        + b_4_10·b_1_0⁵·b_3_1 + b_4_10·b_1_0⁸ + b_4_10·b_8_52 + b_4_10·b_6_0·b_1_1²
        + b_4_10·b_6_0·b_1_0² + b_4_10²·b_1_1·b_3_0 + b_4_10²·b_1_0·b_3_11
        + b_4_10²·b_1_0·b_3_1 + b_4_10²·b_1_0·b_1_2³ + b_4_10²·b_4_20
        + b_2_6·b_1_2⁷·b_3_1 + b_2_6·b_1_2¹⁰ + b_2_6·b_1_1⁷·b_3_0 + b_2_6·b_1_0·b_1_2⁹
        + b_2_6·b_1_0⁷·b_3_1 + b_2_6·b_1_0⁹·b_1_1 + b_2_6·b_6_0·b_1_0·b_1_2³
        + b_2_6·b_6_0·b_1_0²·b_1_2² + b_2_6·b_4_10·b_1_2⁶ + b_2_6·b_4_10·b_1_1³·b_3_0
        + b_2_6·b_4_10·b_1_1⁶ + b_2_6·b_4_10·b_6_0 + b_2_6·b_4_10²·b_1_2²
        + b_2_6²·b_1_0·b_7_0 + b_2_6²·b_1_0·b_1_2⁷ + b_2_6²·b_1_0⁵·b_3_1
        + b_2_6²·b_1_0⁷·b_1_1 + b_2_6²·b_6_0·b_1_2² + b_2_6²·b_6_0·b_1_1²
        + b_2_6²·b_6_0·b_1_0·b_1_1 + b_2_6²·b_4_10·b_1_2⁴ + b_2_6²·b_4_10·b_1_1⁴
        + b_2_6²·b_4_10·b_1_0·b_3_1 + b_2_6²·b_4_10·b_1_0³·b_1_2 + b_2_6²·b_4_10·b_1_0⁴
        + b_2_6²·b_4_10² + b_2_6³·b_1_2³·b_3_1 + b_2_6³·b_1_2⁶ + b_2_6³·b_1_1³·b_3_0
        + b_2_6³·b_1_0³·b_1_2³ + b_2_6³·b_6_0 + b_2_6³·b_4_10·b_1_0·b_1_2
        + b_2_6⁴·b_1_2⁴ + b_2_6⁴·b_1_1·b_3_0 + b_2_6⁴·b_1_1⁴ + b_2_6⁴·b_1_0·b_3_0
        + b_2_6⁴·b_1_0³·b_1_1 + b_2_6⁴·b_1_0⁴ + b_2_6⁵·b_1_2² + b_2_6⁵·b_1_0·b_1_2
        + b_2_6⁵·b_1_0·b_1_1 + b_2_2·b_1_2⁷·b_3_1 + b_2_2·b_1_2¹⁰ + b_2_2·b_1_0·b_1_2⁹
        + b_2_2·b_1_0¹⁰ + b_2_2·b_6_0·b_1_1⁴ + b_2_2·b_4_10·b_1_2⁶
        + b_2_2·b_4_10·b_1_0·b_1_2⁵ + b_2_2·b_4_10·b_1_0⁶ + b_2_2·b_2_6·b_1_2⁵·b_3_1
        + b_2_2·b_2_6·b_1_2⁸ + b_2_2·b_2_6·b_1_0·b_7_0 + b_2_2·b_2_6·b_1_0·b_1_2⁷
        + b_2_2·b_2_6·b_1_0⁷·b_1_1 + b_2_2·b_2_6·b_1_0⁸ + b_2_2·b_2_6·b_6_0·b_1_1²
        + b_2_2·b_2_6·b_6_0·b_1_0² + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2³
        + b_2_2·b_2_6·b_4_10·b_1_0⁴ + b_2_2·b_2_6·b_4_10² + b_2_2·b_2_6²·b_1_2³·b_3_1
        + b_2_2·b_2_6²·b_1_1⁶ + b_2_2·b_2_6²·b_1_0³·b_3_1
        + b_2_2·b_2_6²·b_1_0³·b_1_2³ + b_2_2·b_2_6²·b_1_0⁵·b_1_1
        + b_2_2·b_2_6²·b_4_10·b_1_2² + b_2_2·b_2_6³·b_1_2·b_3_1 + b_2_2·b_2_6³·b_1_1⁴
        + b_2_2·b_2_6³·b_1_0·b_3_1 + b_2_2·b_2_6³·b_1_0·b_3_0
        + b_2_2·b_2_6³·b_1_0·b_1_2³ + b_2_2·b_2_6³·b_1_0²·b_1_2²
        + b_2_2·b_2_6³·b_1_0³·b_1_1 + b_2_2·b_2_6³·b_1_0⁴ + b_2_2·b_2_6⁴·b_1_2²
        + b_2_2·b_2_6⁵ + b_2_2²·b_1_2⁵·b_3_1 + b_2_2²·b_1_1⁸ + b_2_2²·b_1_0·b_7_0
        + b_2_2²·b_1_0⁵·b_3_1 + b_2_2²·b_6_0·b_1_1² + b_2_2²·b_6_0·b_1_0²
        + b_2_2²·b_4_10·b_1_0·b_3_1 + b_2_2²·b_4_10·b_1_0²·b_1_2²
        + b_2_2²·b_4_10·b_1_0³·b_1_2 + b_2_2²·b_4_10·b_1_0⁴
        + b_2_2²·b_2_6·b_1_2³·b_3_1 + b_2_2²·b_2_6·b_1_0²·b_1_2⁴
        + b_2_2²·b_2_6·b_1_0⁴·b_1_2² + b_2_2²·b_2_6·b_1_0⁵·b_1_1 + b_2_2²·b_2_6·b_6_0
        + b_2_2²·b_2_6²·b_1_2⁴ + b_2_2²·b_2_6²·b_1_0·b_3_1
        + b_2_2²·b_2_6²·b_1_0·b_3_0 + b_2_2²·b_2_6²·b_1_0·b_1_2³
        + b_2_2²·b_2_6²·b_1_0²·b_1_2² + b_2_2²·b_2_6²·b_1_0³·b_1_1
        + b_2_2²·b_2_6²·b_4_20 + b_2_2²·b_2_6³·b_1_2² + b_2_2²·b_2_6³·b_1_0·b_1_2
        + b_2_2²·b_2_6³·b_1_0·b_1_1 + b_2_2²·b_2_6³·b_1_0² + b_2_2²·b_2_6⁴
        + b_2_2³·b_1_0²·b_1_2⁴ + b_2_2³·b_1_0⁶ + b_2_2³·b_4_10·b_1_2²
        + b_2_2³·b_4_10·b_1_0² + b_2_2³·b_2_6·b_1_2·b_3_1 + b_2_2³·b_2_6·b_1_1⁴
        + b_2_2³·b_2_6·b_1_0·b_3_1 + b_2_2³·b_2_6·b_1_0·b_1_2³
        + b_2_2³·b_2_6·b_1_0³·b_1_2 + b_2_2³·b_2_6·b_4_20 + b_2_2³·b_2_6·b_4_10
        + b_2_2³·b_2_6²·b_1_1² + b_2_2³·b_2_6²·b_1_0·b_1_2 + b_2_2⁴·b_1_2·b_3_1
        + b_2_2⁴·b_1_2⁴ + b_2_2⁴·b_1_0·b_3_1 + b_2_2⁴·b_1_0·b_3_0 + b_2_2⁴·b_1_0³·b_1_1
        + b_2_2⁴·b_1_0⁴ + b_2_2⁴·b_4_10 + b_2_2⁴·b_2_6·b_1_2² + b_2_2⁵·b_1_0·b_1_2
        + b_2_2⁵·b_1_0² + b_2_2⁵·b_2_6 + c_8_11·b_1_2⁴ + c_8_11·b_1_1·b_3_0
        + c_8_11·b_1_0·b_3_11 + c_8_11·b_1_0·b_3_1 + c_8_11·b_1_0·b_3_0 + c_8_11·b_1_0³·b_1_1
        + c_8_11·b_1_0⁴ + b_4_10·c_8_11 + b_2_6·c_8_11·b_1_0·b_1_2 + b_2_6²·c_8_11
        + b_2_2·c_8_11·b_1_1² + b_2_2·c_8_11·b_1_0·b_1_1 + b_2_2·c_8_11·b_1_0²
        + b_2_2²·c_8_11, an element of degree 12
  3. b_6_0·b_1_1⁵·b_3_0 + b_6_0·b_1_1⁸ + b_6_0·b_1_0·b_1_2⁷ + b_6_0·b_1_0⁷·b_1_1
        + b_6_0²·b_1_2² + b_6_0²·b_1_1² + b_4_10·b_1_0·b_1_2⁹ + b_4_10·b_1_0³·b_7_0
        + b_4_10·b_6_0·b_1_1⁴ + b_4_10·b_6_0·b_1_0⁴ + b_4_10²·b_1_1³·b_3_0
        + b_4_10²·b_1_1⁶ + b_4_10²·b_1_0³·b_3_1 + b_4_10²·b_1_0⁶
        + b_2_6·b_1_0·b_1_2¹¹ + b_2_6·b_6_0·b_1_1³·b_3_0 + b_2_6·b_6_0·b_1_1⁶
        + b_2_6·b_6_0·b_1_0·b_1_2⁵ + b_2_6·b_6_0·b_1_0²·b_1_2⁴
        + b_2_6·b_6_0·b_1_0⁵·b_1_1 + b_2_6·b_4_10·b_1_2⁸ + b_2_6·b_4_10·b_1_0·b_7_0
        + b_2_6·b_4_10·b_1_0·b_1_2⁷ + b_2_6·b_4_10²·b_1_1·b_3_0
        + b_2_6·b_4_10²·b_1_0·b_3_1 + b_2_6·b_4_10²·b_1_0·b_1_2³
        + b_2_6·b_4_10²·b_1_0⁴ + b_2_6²·b_1_2¹⁰ + b_2_6²·b_1_1⁷·b_3_0
        + b_2_6²·b_1_0³·b_7_0 + b_2_6²·b_1_0⁷·b_3_1 + b_2_6²·b_1_0⁹·b_1_1
        + b_2_6²·b_6_0·b_1_2⁴ + b_2_6²·b_6_0·b_1_1·b_3_0 + b_2_6²·b_6_0·b_1_1⁴
        + b_2_6²·b_6_0·b_1_0·b_1_2³ + b_2_6²·b_6_0·b_1_0²·b_1_2²
        + b_2_6²·b_4_10·b_1_0·b_1_2⁵ + b_2_6²·b_4_10·b_1_0⁶ + b_2_6²·b_4_10·b_6_0
        + b_2_6²·b_4_10²·b_1_1² + b_2_6²·b_4_10²·b_1_0·b_1_2
        + b_2_6²·b_4_10²·b_1_0² + b_2_6³·b_1_1⁵·b_3_0 + b_2_6³·b_1_0⁵·b_3_1
        + b_2_6³·b_1_0⁷·b_1_1 + b_2_6³·b_8_52 + b_2_6³·b_6_0·b_1_1²
        + b_2_6³·b_6_0·b_1_0·b_1_2 + b_2_6³·b_6_0·b_1_0² + b_2_6³·b_4_10·b_1_1·b_3_0
        + b_2_6³·b_4_10·b_1_1⁴ + b_2_6³·b_4_10·b_1_0²·b_1_2²
        + b_2_6³·b_4_10·b_1_0³·b_1_2 + b_2_6³·b_4_10·b_4_20 + b_2_6⁴·b_1_2³·b_3_1
        + b_2_6⁴·b_1_2⁶ + b_2_6⁴·b_1_0·b_1_2⁵ + b_2_6⁴·b_1_0²·b_1_2⁴
        + b_2_6⁴·b_4_10·b_1_0·b_1_2 + b_2_6⁵·b_1_2·b_3_1 + b_2_6⁵·b_1_2⁴
        + b_2_6⁵·b_1_0·b_1_2³ + b_2_6⁵·b_1_0²·b_1_2² + b_2_6⁵·b_1_0³·b_1_2
        + b_2_6⁵·b_1_0³·b_1_1 + b_2_6⁵·b_4_20 + b_2_2·b_1_0·b_1_2¹¹ + b_2_2·b_1_0⁵·b_7_0
        + b_2_2·b_6_0·b_1_1⁶ + b_2_2·b_6_0·b_1_0·b_1_2⁵ + b_2_2·b_6_0·b_1_0²·b_1_2⁴
        + b_2_2·b_6_0·b_1_0⁶ + b_2_2·b_4_10·b_1_0·b_7_28 + b_2_2·b_4_10·b_1_0·b_7_0
        + b_2_2·b_4_10·b_1_0⁸ + b_2_2·b_4_10·b_8_52 + b_2_2·b_4_10²·b_1_2⁴
        + b_2_2·b_4_10²·b_1_0·b_3_0 + b_2_2·b_2_6·b_1_1¹⁰ + b_2_2·b_2_6·b_1_0·b_1_2⁹
        + b_2_2·b_2_6·b_1_0³·b_7_0 + b_2_2·b_2_6·b_1_0⁷·b_3_1 + b_2_2·b_2_6·b_1_0⁹·b_1_1
        + b_2_2·b_2_6·b_6_0·b_1_1⁴ + b_2_2·b_2_6·b_6_0·b_1_0·b_1_2³
        + b_2_2·b_2_6·b_6_0·b_1_0⁴ + b_2_2·b_2_6·b_4_10·b_1_2⁶
        + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2⁵ + b_2_2·b_2_6·b_4_10²·b_1_0·b_1_2
        + b_2_2·b_2_6·b_4_10²·b_1_0² + b_2_2·b_2_6²·b_1_2⁵·b_3_1
        + b_2_2·b_2_6²·b_1_1⁸ + b_2_2·b_2_6²·b_1_0·b_7_28 + b_2_2·b_2_6²·b_1_0·b_7_0
        + b_2_2·b_2_6²·b_1_0·b_1_2⁷ + b_2_2·b_2_6²·b_1_0⁸ + b_2_2·b_2_6²·b_8_52
        + b_2_2·b_2_6²·b_6_0·b_1_2² + b_2_2·b_2_6²·b_6_0·b_1_1²
        + b_2_2·b_2_6²·b_6_0·b_1_0² + b_2_2·b_2_6²·b_4_10·b_1_2⁴
        + b_2_2·b_2_6²·b_4_10·b_1_0·b_1_2³ + b_2_2·b_2_6²·b_4_10·b_1_0²·b_1_2²
        + b_2_2·b_2_6²·b_4_10·b_1_0³·b_1_2 + b_2_2·b_2_6²·b_4_10·b_1_0⁴
        + b_2_2·b_2_6²·b_4_10·b_4_20 + b_2_2·b_2_6³·b_1_2³·b_3_1 + b_2_2·b_2_6³·b_1_2⁶
        + b_2_2·b_2_6³·b_1_0·b_1_2⁵ + b_2_2·b_2_6³·b_1_0³·b_3_1
        + b_2_2·b_2_6³·b_1_0⁵·b_1_1 + b_2_2·b_2_6³·b_1_0⁶ + b_2_2·b_2_6³·b_6_0
        + b_2_2·b_2_6³·b_4_10·b_1_2² + b_2_2·b_2_6³·b_4_10·b_1_0²
        + b_2_2·b_2_6⁴·b_1_2·b_3_1 + b_2_2·b_2_6⁴·b_1_2⁴ + b_2_2·b_2_6⁴·b_1_1⁴
        + b_2_2·b_2_6⁴·b_1_0·b_3_0 + b_2_2·b_2_6⁴·b_1_0·b_1_2³ + b_2_2·b_2_6⁴·b_1_0⁴
        + b_2_2·b_2_6⁴·b_4_20 + b_2_2·b_2_6⁴·b_4_10 + b_2_2·b_2_6⁵·b_1_1²
        + b_2_2²·b_1_2¹⁰ + b_2_2²·b_1_1¹⁰ + b_2_2²·b_1_0⁷·b_3_1 + b_2_2²·b_1_0⁹·b_1_1
        + b_2_2²·b_6_0·b_1_1⁴ + b_2_2²·b_4_10·b_1_0·b_1_2⁵ + b_2_2²·b_2_6·b_1_2⁸
        + b_2_2²·b_2_6·b_1_0·b_7_28 + b_2_2²·b_2_6·b_1_0·b_7_0
        + b_2_2²·b_2_6·b_1_0·b_1_2⁷ + b_2_2²·b_2_6·b_1_0⁷·b_1_1
        + b_2_2²·b_2_6·b_6_0·b_1_2² + b_2_2²·b_2_6·b_6_0·b_1_1²
        + b_2_2²·b_2_6·b_6_0·b_1_0·b_1_1 + b_2_2²·b_2_6·b_6_0·b_1_0²
        + b_2_2²·b_2_6·b_4_10·b_1_0⁴ + b_2_2²·b_2_6·b_4_10²
        + b_2_2²·b_2_6²·b_1_2³·b_3_1 + b_2_2²·b_2_6²·b_1_0·b_1_2⁵
        + b_2_2²·b_2_6²·b_1_0³·b_1_2³ + b_2_2²·b_2_6²·b_1_0⁴·b_1_2²
        + b_2_2²·b_2_6²·b_1_0⁵·b_1_1 + b_2_2²·b_2_6²·b_4_10·b_1_0·b_1_2
        + b_2_2²·b_2_6²·b_4_10·b_1_0² + b_2_2²·b_2_6³·b_1_2⁴
        + b_2_2²·b_2_6³·b_1_0·b_3_1 + b_2_2²·b_2_6³·b_1_0·b_3_0
        + b_2_2²·b_2_6³·b_1_0³·b_1_1 + b_2_2²·b_2_6³·b_4_20 + b_2_2²·b_2_6⁴·b_1_2²
        + b_2_2²·b_2_6⁴·b_1_1² + b_2_2²·b_2_6⁴·b_1_0·b_1_1 + b_2_2²·b_2_6⁴·b_1_0²
        + b_2_2²·b_2_6⁵ + b_2_2³·b_1_2⁵·b_3_1 + b_2_2³·b_1_1⁸ + b_2_2³·b_1_0⁵·b_3_1
        + b_2_2³·b_1_0⁷·b_1_1 + b_2_2³·b_1_0⁸ + b_2_2³·b_8_52 + b_2_2³·b_6_0·b_1_2²
        + b_2_2³·b_6_0·b_1_1² + b_2_2³·b_6_0·b_1_0·b_1_1 + b_2_2³·b_4_10·b_1_0·b_3_1
        + b_2_2³·b_4_10·b_1_0·b_1_2³ + b_2_2³·b_4_10·b_1_0²·b_1_2²
        + b_2_2³·b_4_10·b_1_0³·b_1_2 + b_2_2³·b_2_6·b_1_2³·b_3_1
        + b_2_2³·b_2_6·b_1_0·b_1_2⁵ + b_2_2³·b_2_6·b_1_0²·b_1_2⁴
        + b_2_2³·b_2_6·b_1_0⁵·b_1_1 + b_2_2³·b_2_6·b_1_0⁶
        + b_2_2³·b_2_6·b_4_10·b_1_2² + b_2_2³·b_2_6·b_4_10·b_1_0·b_1_2
        + b_2_2³·b_2_6²·b_1_2·b_3_1 + b_2_2³·b_2_6²·b_1_2⁴
        + b_2_2³·b_2_6²·b_1_0³·b_1_2 + b_2_2³·b_2_6²·b_1_0³·b_1_1
        + b_2_2³·b_2_6²·b_4_20 + b_2_2³·b_2_6³·b_1_2² + b_2_2³·b_2_6³·b_1_0·b_1_2
        + b_2_2³·b_2_6³·b_1_0·b_1_1 + b_2_2³·b_2_6³·b_1_0² + b_2_2⁴·b_1_2³·b_3_1
        + b_2_2⁴·b_1_2⁶ + b_2_2⁴·b_1_1⁶ + b_2_2⁴·b_1_0·b_1_2⁵ + b_2_2⁴·b_1_0³·b_3_1
        + b_2_2⁴·b_1_0⁴·b_1_2² + b_2_2⁴·b_1_0⁵·b_1_1 + b_2_2⁴·b_1_0⁶ + b_2_2⁴·b_6_0
        + b_2_2⁴·b_4_10·b_1_2² + b_2_2⁴·b_4_10·b_1_0·b_1_2 + b_2_2⁴·b_4_10·b_1_0²
        + b_2_2⁴·b_2_6·b_1_2·b_3_1 + b_2_2⁴·b_2_6·b_1_0·b_3_1
        + b_2_2⁴·b_2_6·b_1_0·b_1_2³ + b_2_2⁴·b_2_6·b_1_0²·b_1_2²
        + b_2_2⁴·b_2_6·b_1_0³·b_1_1 + b_2_2⁴·b_2_6·b_1_0⁴ + b_2_2⁴·b_2_6²·b_1_2²
        + b_2_2⁴·b_2_6²·b_1_1² + b_2_2⁴·b_2_6²·b_1_0·b_1_1 + b_2_2⁴·b_2_6²·b_1_0²
        + b_2_2⁴·b_2_6³ + b_2_2⁵·b_1_2·b_3_1 + b_2_2⁵·b_1_2⁴ + b_2_2⁵·b_1_0·b_3_0
        + b_2_2⁵·b_1_0·b_1_2³ + b_2_2⁵·b_1_0³·b_1_2 + b_2_2⁵·b_1_0³·b_1_1
        + b_2_2⁵·b_2_6·b_1_1² + b_2_2⁵·b_2_6·b_1_0·b_1_1 + b_2_2⁵·b_2_6²
        + b_2_2⁶·b_1_0·b_1_1 + b_2_2⁶·b_2_6 + c_8_11·b_1_1³·b_3_0 + c_8_11·b_1_1⁶
        + c_8_11·b_1_0²·b_1_2⁴ + c_8_11·b_1_0³·b_3_1 + c_8_11·b_1_0³·b_3_0
        + b_4_10·c_8_11·b_1_1² + b_4_10·c_8_11·b_1_0² + b_2_6·c_8_11·b_1_1·b_3_0
        + b_2_6·c_8_11·b_1_0·b_3_1 + b_2_6·c_8_11·b_1_0·b_3_0 + b_2_6·c_8_11·b_1_0·b_1_2³
        + b_2_6·c_8_11·b_1_0³·b_1_2 + b_2_6·b_4_10·c_8_11 + b_2_6²·c_8_11·b_1_2²
        + b_2_6²·c_8_11·b_1_1² + b_2_6²·c_8_11·b_1_0·b_1_2 + b_2_6²·c_8_11·b_1_0²
        + b_2_2·c_8_11·b_1_1⁴ + b_2_2·c_8_11·b_1_0·b_3_0 + b_2_2·c_8_11·b_1_0³·b_1_2
        + b_2_2·c_8_11·b_1_0³·b_1_1 + b_2_2·c_8_11·b_1_0⁴ + b_2_2·b_2_6·c_8_11·b_1_0·b_1_2
        + b_2_2²·c_8_11·b_1_0·b_1_2 + b_2_2²·c_8_11·b_1_0² + b_2_2²·b_2_6·c_8_11, an element of degree 14
  4. b_1_1 + b_1_0, an element of degree 1
• A Duflot regular sequence is given by c_8_11.
• The Raw Filter Degree Type of the filter regular HSOP is [-1, -1, -1, -1, 31].
• We found that there exists some filter regular HSOP over a finite extension field, formed by c_8_11, together with 3 elements of degree 4.
• Modifying the above filter regular HSOP, we obtained the following parameters:
1. b_1_2⁸ + b_1_1⁸ + b_1_0·b_7_0 + b_1_0·b_1_2⁷ + b_1_0⁵·b_3_1 + b_1_0⁷·b_1_1
      + b_1_0⁸ + b_8_52 + b_6_0·b_1_1² + b_6_0·b_1_0·b_1_1 + b_4_10·b_1_2⁴
      + b_4_10·b_1_1·b_3_0 + b_4_10·b_1_0·b_3_11 + b_4_10·b_1_0·b_3_1
      + b_4_10·b_1_0²·b_1_2² + b_4_10·b_1_0³·b_1_2 + b_4_10·b_1_0⁴ + b_4_10·b_4_20
      + b_4_10² + b_2_6·b_1_2³·b_3_1 + b_2_6·b_1_2⁶ + b_2_6·b_1_0³·b_3_1
      + b_2_6·b_1_0⁴·b_1_2² + b_2_6·b_1_0⁵·b_1_1 + b_2_6·b_6_0 + b_2_6·b_4_10·b_1_2²
      + b_2_6·b_4_10·b_1_0·b_1_2 + b_2_6²·b_1_2·b_3_1 + b_2_6²·b_1_1·b_3_0
      + b_2_6²·b_1_0²·b_1_2² + b_2_6²·b_1_0³·b_1_1 + b_2_6²·b_4_20 + b_2_6³·b_1_2²
      + b_2_6³·b_1_0·b_1_1 + b_2_6⁴ + b_2_2·b_1_2⁶ + b_2_2·b_1_0·b_1_2⁵
      + b_2_2·b_1_0²·b_1_2⁴ + b_2_2·b_1_0³·b_1_2³ + b_2_2·b_1_0⁵·b_1_1
      + b_2_2·b_1_0⁶ + b_2_2·b_2_6·b_1_2⁴ + b_2_2·b_2_6·b_1_1⁴
      + b_2_2·b_2_6·b_1_0·b_3_0 + b_2_2·b_2_6·b_1_0·b_1_2³ + b_2_2·b_2_6·b_1_0³·b_1_2
      + b_2_2·b_2_6·b_1_0³·b_1_1 + b_2_2·b_2_6·b_1_0⁴ + b_2_2·b_2_6·b_4_10
      + b_2_2·b_2_6²·b_1_1² + b_2_2·b_2_6²·b_1_0·b_1_2 + b_2_2²·b_1_1⁴
      + b_2_2²·b_1_0·b_3_1 + b_2_2²·b_1_0·b_1_2³ + b_2_2²·b_1_0⁴ + b_2_2²·b_4_20
      + b_2_2²·b_2_6·b_1_2² + b_2_2²·b_2_6·b_1_0·b_1_2 + b_2_2²·b_2_6·b_1_0²
      + b_2_2²·b_2_6² + b_2_2³·b_1_2² + b_2_2³·b_1_1² + b_2_2³·b_1_0²
      + b_2_2³·b_2_6 + b_2_2⁴ + c_8_11, an element of degree 8
2. b_1_0·b_1_2¹¹ + b_1_0⁵·b_7_0 + b_1_0⁹·b_3_1 + b_6_0·b_1_1³·b_3_0
      + b_6_0·b_1_0·b_1_2⁵ + b_6_0·b_1_0²·b_1_2⁴ + b_6_0·b_1_0⁵·b_1_1 + b_6_0²
      + b_4_10·b_1_2⁸ + b_4_10·b_1_1⁵·b_3_0 + b_4_10·b_1_0·b_7_0 + b_4_10·b_1_0·b_1_2⁷
      + b_4_10·b_1_0⁵·b_3_1 + b_4_10·b_1_0⁸ + b_4_10·b_8_52 + b_4_10·b_6_0·b_1_1²
      + b_4_10·b_6_0·b_1_0² + b_4_10²·b_1_1·b_3_0 + b_4_10²·b_1_0·b_3_11
      + b_4_10²·b_1_0·b_3_1 + b_4_10²·b_1_0·b_1_2³ + b_4_10²·b_4_20
      + b_2_6·b_1_2⁷·b_3_1 + b_2_6·b_1_2¹⁰ + b_2_6·b_1_1⁷·b_3_0 + b_2_6·b_1_0·b_1_2⁹
      + b_2_6·b_1_0⁷·b_3_1 + b_2_6·b_1_0⁹·b_1_1 + b_2_6·b_6_0·b_1_0·b_1_2³
      + b_2_6·b_6_0·b_1_0²·b_1_2² + b_2_6·b_4_10·b_1_2⁶ + b_2_6·b_4_10·b_1_1³·b_3_0
      + b_2_6·b_4_10·b_1_1⁶ + b_2_6·b_4_10·b_6_0 + b_2_6·b_4_10²·b_1_2²
      + b_2_6²·b_1_0·b_7_0 + b_2_6²·b_1_0·b_1_2⁷ + b_2_6²·b_1_0⁵·b_3_1
      + b_2_6²·b_1_0⁷·b_1_1 + b_2_6²·b_6_0·b_1_2² + b_2_6²·b_6_0·b_1_1²
      + b_2_6²·b_6_0·b_1_0·b_1_1 + b_2_6²·b_4_10·b_1_2⁴ + b_2_6²·b_4_10·b_1_1⁴
      + b_2_6²·b_4_10·b_1_0·b_3_1 + b_2_6²·b_4_10·b_1_0³·b_1_2 + b_2_6²·b_4_10·b_1_0⁴
      + b_2_6²·b_4_10² + b_2_6³·b_1_2³·b_3_1 + b_2_6³·b_1_2⁶ + b_2_6³·b_1_1³·b_3_0
      + b_2_6³·b_1_0³·b_1_2³ + b_2_6³·b_6_0 + b_2_6³·b_4_10·b_1_0·b_1_2
      + b_2_6⁴·b_1_2⁴ + b_2_6⁴·b_1_1·b_3_0 + b_2_6⁴·b_1_1⁴ + b_2_6⁴·b_1_0·b_3_0
      + b_2_6⁴·b_1_0³·b_1_1 + b_2_6⁴·b_1_0⁴ + b_2_6⁵·b_1_2² + b_2_6⁵·b_1_0·b_1_2
      + b_2_6⁵·b_1_0·b_1_1 + b_2_2·b_1_2⁷·b_3_1 + b_2_2·b_1_2¹⁰ + b_2_2·b_1_0·b_1_2⁹
      + b_2_2·b_1_0¹⁰ + b_2_2·b_6_0·b_1_1⁴ + b_2_2·b_4_10·b_1_2⁶
      + b_2_2·b_4_10·b_1_0·b_1_2⁵ + b_2_2·b_4_10·b_1_0⁶ + b_2_2·b_2_6·b_1_2⁵·b_3_1
      + b_2_2·b_2_6·b_1_2⁸ + b_2_2·b_2_6·b_1_0·b_7_0 + b_2_2·b_2_6·b_1_0·b_1_2⁷
      + b_2_2·b_2_6·b_1_0⁷·b_1_1 + b_2_2·b_2_6·b_1_0⁸ + b_2_2·b_2_6·b_6_0·b_1_1²
      + b_2_2·b_2_6·b_6_0·b_1_0² + b_2_2·b_2_6·b_4_10·b_1_0·b_1_2³
      + b_2_2·b_2_6·b_4_10·b_1_0⁴ + b_2_2·b_2_6·b_4_10² + b_2_2·b_2_6²·b_1_2³·b_3_1
      + b_2_2·b_2_6²·b_1_1⁶ + b_2_2·b_2_6²·b_1_0³·b_3_1
      + b_2_2·b_2_6²·b_1_0³·b_1_2³ + b_2_2·b_2_6²·b_1_0⁵·b_1_1
      + b_2_2·b_2_6²·b_4_10·b_1_2² + b_2_2·b_2_6³·b_1_2·b_3_1 + b_2_2·b_2_6³·b_1_1⁴
      + b_2_2·b_2_6³·b_1_0·b_3_1 + b_2_2·b_2_6³·b_1_0·b_3_0
      + b_2_2·b_2_6³·b_1_0·b_1_2³ + b_2_2·b_2_6³·b_1_0²·b_1_2²
      + b_2_2·b_2_6³·b_1_0³·b_1_1 + b_2_2·b_2_6³·b_1_0⁴ + b_2_2·b_2_6⁴·b_1_2²
      + b_2_2·b_2_6⁵ + b_2_2²·b_1_2⁵·b_3_1 + b_2_2²·b_1_1⁸ + b_2_2²·b_1_0·b_7_0
      + b_2_2²·b_1_0⁵·b_3_1 + b_2_2²·b_6_0·b_1_1² + b_2_2²·b_6_0·b_1_0²
      + b_2_2²·b_4_10·b_1_0·b_3_1 + b_2_2²·b_4_10·b_1_0²·b_1_2²
      + b_2_2²·b_4_10·b_1_0³·b_1_2 + b_2_2²·b_4_10·b_1_0⁴
      + b_2_2²·b_2_6·b_1_2³·b_3_1 + b_2_2²·b_2_6·b_1_0²·b_1_2⁴
      + b_2_2²·b_2_6·b_1_0⁴·b_1_2² + b_2_2²·b_2_6·b_1_0⁵·b_1_1 + b_2_2²·b_2_6·b_6_0
      + b_2_2²·b_2_6²·b_1_2⁴ + b_2_2²·b_2_6²·b_1_0·b_3_1
      + b_2_2²·b_2_6²·b_1_0·b_3_0 + b_2_2²·b_2_6²·b_1_0·b_1_2³
      + b_2_2²·b_2_6²·b_1_0²·b_1_2² + b_2_2²·b_2_6²·b_1_0³·b_1_1
      + b_2_2²·b_2_6²·b_4_20 + b_2_2²·b_2_6³·b_1_2² + b_2_2²·b_2_6³·b_1_0·b_1_2
      + b_2_2²·b_2_6³·b_1_0·b_1_1 + b_2_2²·b_2_6³·b_1_0² + b_2_2²·b_2_6⁴
      + b_2_2³·b_1_0²·b_1_2⁴ + b_2_2³·b_1_0⁶ + b_2_2³·b_4_10·b_1_2²
      + b_2_2³·b_4_10·b_1_0² + b_2_2³·b_2_6·b_1_2·b_3_1 + b_2_2³·b_2_6·b_1_1⁴
      + b_2_2³·b_2_6·b_1_0·b_3_1 + b_2_2³·b_2_6·b_1_0·b_1_2³
      + b_2_2³·b_2_6·b_1_0³·b_1_2 + b_2_2³·b_2_6·b_4_20 + b_2_2³·b_2_6·b_4_10
      + b_2_2³·b_2_6²·b_1_1² + b_2_2³·b_2_6²·b_1_0·b_1_2 + b_2_2⁴·b_1_2·b_3_1
      + b_2_2⁴·b_1_2⁴ + b_2_2⁴·b_1_0·b_3_1 + b_2_2⁴·b_1_0·b_3_0 + b_2_2⁴·b_1_0³·b_1_1
      + b_2_2⁴·b_1_0⁴ + b_2_2⁴·b_4_10 + b_2_2⁴·b_2_6·b_1_2² + b_2_2⁵·b_1_0·b_1_2
      + b_2_2⁵·b_1_0² + b_2_2⁵·b_2_6 + c_8_11·b_1_2⁴ + c_8_11·b_1_1·b_3_0
      + c_8_11·b_1_0·b_3_11 + c_8_11·b_1_0·b_3_1 + c_8_11·b_1_0·b_3_0 + c_8_11·b_1_0³·b_1_1
      + c_8_11·b_1_0⁴ + b_4_10·c_8_11 + b_2_6·c_8_11·b_1_0·b_1_2 + b_2_6²·c_8_11
      + b_2_2·c_8_11·b_1_1² + b_2_2·c_8_11·b_1_0·b_1_1 + b_2_2·c_8_11·b_1_0²
      + b_2_2²·c_8_11, an element of degree 12
3. b_2_6, an element of degree 2
4. b_1_1 + b_1_0, an element of degree 1