Segmentation fault when computing GB

[sumiya11]

Hello,

I compile msolve from the latest commit https://github.com/algebraic-solving/msolve/commit/ea859ac31a054bd74ab56304b69bb53057a1f9a5, and run the command msolve -g 2 -c 0 -f input.txt -o output.txt.

After about 10 minutes I get Segmentation fault.

upd: this is x86-64 Intel Xeon Gold 6130.

The content of input.txt is

x2_7, x3_6, x13_6, x10_6, x2_6, x5_6, x1_6, x8_6, x4_6, x3_5, x14_5, x13_5, x11_5, x10_5, x2_5, x12_5, x7_5, x5_5, x1_5, x8_5, x9_5, x6_5, x4_5, x3_4, x14_4, x13_4, x11_4, x10_4, x2_4, x12_4, x7_4, x5_4, x1_4, x8_4, x9_4, x6_4, x4_4, x3_3, x14_3, x13_3, x11_3, x10_3, x2_3, x12_3, x7_3, x5_3, x1_3, x8_3, x9_3, x6_3, x4_3, x3_2, x14_2, x13_2, x11_2, x10_2, x2_2, x12_2, x7_2, x5_2, x1_2, x8_2, x9_2, x6_2, x4_2, x3_1, x14_1, x13_1, x11_1, x10_1, x2_1, x12_1, x7_1, x5_1, x1_1, x8_1, x9_1, x6_1, x4_1, x3_0, x14_0, x13_0, x11_0, x10_0, x2_0, x12_0, x7_0, x5_0, x1_0, x8_0, x9_0, x6_0, x4_0, z_aux, k_prod_0, k_deg_0, k1_0, k3_0, t1_0, t2_0, k2_0, i1_0, c5_0, c_4a_0, i_1a_0, c_3a_0, e_2a_0
1073741827
1073741826*x3_0 + 1073741826*x2_0 + 1073741826*x1_0 + 1029971849,
607579857*x2_0*x8_0^2*k2_0 + x3_0*k_deg_0 + 1073741826*x2_0*k3_0 + x3_1,
x1_0*k_deg_0 + 466161970*x1_0*k1_0 + x1_1 + 1073741826*k_prod_0,
466161970*x2_0*x8_0^2*k2_0 + 1073741826*x4_0^2*t1_0 + 1073741826*x5_0^2*t2_0 + x13_0*x2_0 + 429496731*x10_0*x2_0 + x2_0*k_deg_0 + 607579857*x1_0*k1_0 + x2_0*k3_0 + x2_1,
1073741826*x12_0 + 367396831,
x12_0*c_3a_0 + x12_1 + 171134583*x7_0,
1073741826*x2_0 + 678833355,
1073741826*x9_0 + 816456985,
x9_1 + 171134583*x7_0 + 531287456*x9_0,
1073741826*x13_0 + 1073741826*x10_0 + 1064138947,
536870913*x10_0*x6_0^2 + 1073741826*x14_0^2*e_2a_0 + x13_0*x2_0 + x13_1 + 670809469*x13_0,
536870914*x10_0*x6_0^2 + 409632507*x11_0^2 + 429496731*x10_0*x2_0 + 1073741826*x12_0*c_4a_0 + x10_0*i_1a_0 + x10_1 + 132821864*x10_0,
1073741826*x7_0 + 547041998,
536870914*x11_0^2*x7_0 + 1073741822*x6_0^2*i1_0 + x7_1,
1073741826*x3_1 + 1073741826*x2_1 + 1073741826*x1_1 + 74066639,
x1_1*k_deg_0 + 466161970*x1_1*k1_0 + 818327100*x1_0*k1_0 + x1_2,
607579857*x8_1^2*x2_0*k2_0 + 607579857*x2_1*x8_0^2*k2_0 + 255414727*x2_0*x8_0^2*k2_0 + x3_1*k_deg_0 + 1073741826*x2_1*k3_0 + x3_2,
466161970*x8_1^2*x2_0*k2_0 + 466161970*x2_1*x8_0^2*k2_0 + 818327100*x2_0*x8_0^2*k2_0 + 1073741826*x4_1^2*t1_0 + 1073741826*x5_1^2*t2_0 + x2_1*x13_0 + 429496731*x2_1*x10_0 + x13_1*x2_0 + 429496731*x10_1*x2_0 + x2_1*k_deg_0 + 607579857*x1_1*k1_0 + 255414727*x1_0*k1_0 + x2_1*k3_0 + x2_2,
x4_0^2*t1_0 + x4_1^2 + 644245096*x10_0*x2_0,
x8_0^2*c5_0^3 + x8_1^2 + 536870913*x9_0,
x5_0^2*t2_0 + x5_1^2 + 1073741826*x13_0*x2_0,
1073741826*x12_1 + 66120491,
x12_1*c_3a_0 + x12_2 + 171134583*x7_1,
1073741826*x2_1 + 540368852,
1073741826*x13_1 + 1073741826*x10_1 + 586811099,
536870913*x6_1^2*x10_0 + 536870913*x10_1*x6_0^2 + 1073741826*x14_1^2*e_2a_0 + x2_1*x13_0 + x13_1*x2_0 + x13_2 + 670809469*x13_1,
536870914*x6_1^2*x10_0 + 536870914*x10_1*x6_0^2 + 409632507*x11_1^2 + 429496731*x2_1*x10_0 + 429496731*x10_1*x2_0 + 1073741826*x12_1*c_4a_0 + x10_1*i_1a_0 + x10_2 + 132821864*x10_1,
536870914*x10_0*x6_0^2 + 1073741826*x5_0^2*t2_0 + x6_0^2*i1_0 + x6_1^2 + 402932358*x13_0,
536870914*x11_0^2*x7_0 + x11_1^2 + 99321119*x11_0^2 + 1073741822*x10_0*i_1a_0,
536870913*x11_0^2*x7_0 + 5*x14_0^2*e_2a_0 + x14_1^2,
1073741826*x7_1 + 444984338,
536870914*x7_1*x11_0^2 + 536870914*x11_1^2*x7_0 + 1073741822*x6_1^2*i1_0 + x7_2,
1073741826*x3_2 + 1073741826*x2_2 + 1073741826*x1_2 + 28909455,
141417887*x2_1*x8_1^2*k2_0 + 607579857*x8_2^2*x2_0*k2_0 + 510829454*x8_1^2*x2_0*k2_0 + 607579857*x2_2*x8_0^2*k2_0 + 510829454*x2_1*x8_0^2*k2_0 + 526236431*x2_0*x8_0^2*k2_0 + x3_2*k_deg_0 + 1073741826*x2_2*k3_0 + x3_3,
x1_2*k_deg_0 + 466161970*x1_2*k1_0 + 562912373*x1_1*k1_0 + 547505396*x1_0*k1_0 + x1_3,
932323940*x2_1*x8_1^2*k2_0 + 466161970*x8_2^2*x2_0*k2_0 + 562912373*x8_1^2*x2_0*k2_0 + 466161970*x2_2*x8_0^2*k2_0 + 562912373*x2_1*x8_0^2*k2_0 + 547505396*x2_0*x8_0^2*k2_0 + 1073741826*x4_2^2*t1_0 + 1073741826*x5_2^2*t2_0 + 2*x13_1*x2_1 + 858993462*x10_1*x2_1 + x2_2*x13_0 + 429496731*x2_2*x10_0 + x13_2*x2_0 + 429496731*x10_2*x2_0 + x2_2*k_deg_0 + 607579857*x1_2*k1_0 + 510829454*x1_1*k1_0 + 526236431*x1_0*k1_0 + x2_2*k3_0 + x2_3,
x4_1^2*t1_0 + x4_2^2 + 644245096*x2_1*x10_0 + 644245096*x10_1*x2_0,
x5_1^2*t2_0 + x5_2^2 + 1073741826*x2_1*x13_0 + 1073741826*x13_1*x2_0,
x8_1^2*c5_0^3 + x8_2^2 + 536870913*x9_1,
1073741826*x2_2 + 17580111,
1073741826*x13_2 + 1073741826*x10_2 + 356099907,
x10_1*x6_1^2 + 536870914*x6_2^2*x10_0 + 536870914*x10_2*x6_0^2 + 409632507*x11_2^2 + 858993462*x10_1*x2_1 + 429496731*x2_2*x10_0 + 429496731*x10_2*x2_0 + 1073741826*x12_2*c_4a_0 + x10_2*i_1a_0 + x10_3 + 132821864*x10_2,
1073741826*x10_1*x6_1^2 + 536870913*x6_2^2*x10_0 + 536870913*x10_2*x6_0^2 + 1073741826*x14_2^2*e_2a_0 + 2*x13_1*x2_1 + x2_2*x13_0 + x13_2*x2_0 + x13_3 + 670809469*x13_2,
536870914*x6_1^2*x10_0 + 536870914*x10_1*x6_0^2 + 1073741826*x5_1^2*t2_0 + x6_1^2*i1_0 + x6_2^2 + 402932358*x13_1,
536870913*x7_1*x11_0^2 + 536870913*x11_1^2*x7_0 + 5*x14_1^2*e_2a_0 + x14_2^2,
536870914*x7_1*x11_0^2 + 536870914*x11_1^2*x7_0 + x11_2^2 + 99321119*x11_1^2 + 1073741822*x10_1*i_1a_0,
1073741826*x7_2 + 472429259,
x11_1^2*x7_1 + 536870914*x7_2*x11_0^2 + 536870914*x11_2^2*x7_0 + 1073741822*x6_2^2*i1_0 + x7_3,
1073741826*x3_3 + 1073741826*x2_3 + 1073741826*x1_3 + 442118574,
324744083*x8_2^2*x2_1*k2_0 + 324744083*x2_2*x8_1^2*k2_0 + 614995292*x2_1*x8_1^2*k2_0 + 466161970*x8_3^2*x2_0*k2_0 + 307497646*x8_2^2*x2_0*k2_0 + 568774361*x8_1^2*x2_0*k2_0 + 466161970*x2_3*x8_0^2*k2_0 + 307497646*x2_2*x8_0^2*k2_0 + 568774361*x2_1*x8_0^2*k2_0 + 850129211*x2_0*x8_0^2*k2_0 + 1073741826*x4_3^2*t1_0 + 1073741826*x5_3^2*t2_0 + 3*x2_2*x13_1 + 214748366*x2_2*x10_1 + 3*x13_2*x2_1 + 214748366*x10_2*x2_1 + x2_3*x13_0 + 429496731*x2_3*x10_0 + x13_3*x2_0 + 429496731*x10_3*x2_0 + x2_3*k_deg_0 + 607579857*x1_3*k1_0 + 766244181*x1_2*k1_0 + 504967466*x1_1*k1_0 + 223612616*x1_0*k1_0 + x2_3*k3_0 + x2_4,
x1_3*k_deg_0 + 466161970*x1_3*k1_0 + 307497646*x1_2*k1_0 + 568774361*x1_1*k1_0 + 850129211*x1_0*k1_0 + x1_4,
748997744*x8_2^2*x2_1*k2_0 + 748997744*x2_2*x8_1^2*k2_0 + 458746535*x2_1*x8_1^2*k2_0 + 607579857*x8_3^2*x2_0*k2_0 + 766244181*x8_2^2*x2_0*k2_0 + 504967466*x8_1^2*x2_0*k2_0 + 607579857*x2_3*x8_0^2*k2_0 + 766244181*x2_2*x8_0^2*k2_0 + 504967466*x2_1*x8_0^2*k2_0 + 223612616*x2_0*x8_0^2*k2_0 + x3_3*k_deg_0 + 1073741826*x2_3*k3_0 + x3_4,
x5_2^2*t2_0 + x5_3^2 + 1073741825*x13_1*x2_1 + 1073741826*x2_2*x13_0 + 1073741826*x13_2*x2_0,
x4_2^2*t1_0 + x4_3^2 + 214748365*x10_1*x2_1 + 644245096*x2_2*x10_0 + 644245096*x10_2*x2_0,
x8_2^2*c5_0^3 + x8_3^2 + 536870913*x9_2,
x9_2 + 171134583*x7_1 + 531287456*x9_1,
1073741826*x2_3 + 460851122,
1073741826*x13_3 + 1073741826*x10_3 + 417772175,
536870912*x6_2^2*x10_1 + 536870912*x10_2*x6_1^2 + 536870913*x6_3^2*x10_0 + 536870913*x10_3*x6_0^2 + 1073741826*x14_3^2*e_2a_0 + 3*x2_2*x13_1 + 3*x13_2*x2_1 + x2_3*x13_0 + x13_3*x2_0 + x13_4 + 670809469*x13_3,
536870915*x6_2^2*x10_1 + 536870915*x10_2*x6_1^2 + 536870914*x6_3^2*x10_0 + 536870914*x10_3*x6_0^2 + 409632507*x11_3^2 + 214748366*x2_2*x10_1 + 214748366*x10_2*x2_1 + 429496731*x2_3*x10_0 + 429496731*x10_3*x2_0 + 1073741826*x12_3*c_4a_0 + x10_3*i_1a_0 + x10_4 + 132821864*x10_3,
x12_2*c_3a_0 + x12_3 + 171134583*x7_2,
1073741826*x11_1^2*x7_1 + 536870913*x7_2*x11_0^2 + 536870913*x11_2^2*x7_0 + 5*x14_2^2*e_2a_0 + x14_3^2,
x10_1*x6_1^2 + 536870914*x6_2^2*x10_0 + 536870914*x10_2*x6_0^2 + 1073741826*x5_2^2*t2_0 + x6_2^2*i1_0 + x6_3^2 + 402932358*x13_2,
x11_1^2*x7_1 + 536870914*x7_2*x11_0^2 + 536870914*x11_2^2*x7_0 + x11_3^2 + 99321119*x11_2^2 + 1073741822*x10_2*i_1a_0,
1073741826*x7_3 + 691184029,
536870915*x7_2*x11_1^2 + 536870915*x11_2^2*x7_1 + 536870914*x7_3*x11_0^2 + 536870914*x11_3^2*x7_0 + 1073741822*x6_3^2*i1_0 + x7_4,
1073741826*x3_4 + 1073741826*x2_4 + 1073741826*x1_4 + 680085615,
424253661*x2_2*x8_2^2*k2_0 + 282835774*x8_3^2*x2_1*k2_0 + 917493070*x8_2^2*x2_1*k2_0 + 282835774*x2_3*x8_1^2*k2_0 + 917493070*x2_2*x8_1^2*k2_0 + 946128037*x2_1*x8_1^2*k2_0 + 607579857*x8_4^2*x2_0*k2_0 + 1021658908*x8_3^2*x2_0*k2_0 + 1009934932*x8_2^2*x2_0*k2_0 + 894450464*x8_1^2*x2_0*k2_0 + 607579857*x2_4*x8_0^2*k2_0 + 1021658908*x2_3*x8_0^2*k2_0 + 1009934932*x2_2*x8_0^2*k2_0 + 894450464*x2_1*x8_0^2*k2_0 + 584242468*x2_0*x8_0^2*k2_0 + x3_4*k_deg_0 + 1073741826*x2_4*k3_0 + x3_5,
649488166*x2_2*x8_2^2*k2_0 + 790906053*x8_3^2*x2_1*k2_0 + 156248757*x8_2^2*x2_1*k2_0 + 790906053*x2_3*x8_1^2*k2_0 + 156248757*x2_2*x8_1^2*k2_0 + 127613790*x2_1*x8_1^2*k2_0 + 466161970*x8_4^2*x2_0*k2_0 + 52082919*x8_3^2*x2_0*k2_0 + 63806895*x8_2^2*x2_0*k2_0 + 179291363*x8_1^2*x2_0*k2_0 + 466161970*x2_4*x8_0^2*k2_0 + 52082919*x2_3*x8_0^2*k2_0 + 63806895*x2_2*x8_0^2*k2_0 + 179291363*x2_1*x8_0^2*k2_0 + 489499359*x2_0*x8_0^2*k2_0 + 1073741826*x4_4^2*t1_0 + 1073741826*x5_4^2*t2_0 + 6*x13_2*x2_2 + 429496732*x10_2*x2_2 + 4*x2_3*x13_1 + 644245097*x2_3*x10_1 + 4*x13_3*x2_1 + 644245097*x10_3*x2_1 + x2_4*x13_0 + 429496731*x2_4*x10_0 + x13_4*x2_0 + 429496731*x10_4*x2_0 + x2_4*k_deg_0 + 607579857*x1_4*k1_0 + 1021658908*x1_3*k1_0 + 1009934932*x1_2*k1_0 + 894450464*x1_1*k1_0 + 584242468*x1_0*k1_0 + x2_4*k3_0 + x2_5,
x1_4*k_deg_0 + 466161970*x1_4*k1_0 + 52082919*x1_3*k1_0 + 63806895*x1_2*k1_0 + 179291363*x1_1*k1_0 + 489499359*x1_0*k1_0 + x1_5,
x5_3^2*t2_0 + x5_4^2 + 1073741824*x2_2*x13_1 + 1073741824*x13_2*x2_1 + 1073741826*x2_3*x13_0 + 1073741826*x13_3*x2_0,
x4_3^2*t1_0 + x4_4^2 + 858993461*x2_2*x10_1 + 858993461*x10_2*x2_1 + 644245096*x2_3*x10_0 + 644245096*x10_3*x2_0,
x8_3^2*c5_0^3 + x8_4^2 + 536870913*x9_3,
x9_3 + 171134583*x7_2 + 531287456*x9_2,
1073741826*x2_4 + 10911471,
1073741826*x13_4 + 1073741826*x10_4 + 514805511,
3*x10_2*x6_2^2 + 2*x6_3^2*x10_1 + 2*x10_3*x6_1^2 + 536870914*x6_4^2*x10_0 + 536870914*x10_4*x6_0^2 + 409632507*x11_4^2 + 429496732*x10_2*x2_2 + 644245097*x2_3*x10_1 + 644245097*x10_3*x2_1 + 429496731*x2_4*x10_0 + 429496731*x10_4*x2_0 + 1073741826*x12_4*c_4a_0 + x10_4*i_1a_0 + x10_5 + 132821864*x10_4,
1073741824*x10_2*x6_2^2 + 1073741825*x6_3^2*x10_1 + 1073741825*x10_3*x6_1^2 + 536870913*x6_4^2*x10_0 + 536870913*x10_4*x6_0^2 + 1073741826*x14_4^2*e_2a_0 + 6*x13_2*x2_2 + 4*x2_3*x13_1 + 4*x13_3*x2_1 + x2_4*x13_0 + x13_4*x2_0 + x13_5 + 670809469*x13_4,
536870915*x6_2^2*x10_1 + 536870915*x10_2*x6_1^2 + 536870914*x6_3^2*x10_0 + 536870914*x10_3*x6_0^2 + 1073741826*x5_3^2*t2_0 + x6_3^2*i1_0 + x6_4^2 + 402932358*x13_3,
536870915*x7_2*x11_1^2 + 536870915*x11_2^2*x7_1 + 536870914*x7_3*x11_0^2 + 536870914*x11_3^2*x7_0 + x11_4^2 + 99321119*x11_3^2 + 1073741822*x10_3*i_1a_0,
x12_3*c_3a_0 + x12_4 + 171134583*x7_3,
536870912*x7_2*x11_1^2 + 536870912*x11_2^2*x7_1 + 536870913*x7_3*x11_0^2 + 536870913*x11_3^2*x7_0 + 5*x14_3^2*e_2a_0 + x14_4^2,
1073741826*x7_4 + 20125587,
3*x11_2^2*x7_2 + 2*x7_3*x11_1^2 + 2*x11_3^2*x7_1 + 536870914*x7_4*x11_0^2 + 536870914*x11_4^2*x7_0 + 1073741822*x6_4^2*i1_0 + x7_5,
1073741826*x3_5 + 1073741826*x2_5 + 1073741826*x1_5 + 1028881261,
366652392*x8_3^2*x2_2*k2_0 + 366652392*x2_3*x8_2^2*k2_0 + 927492806*x2_2*x8_2^2*k2_0 + 183326196*x8_4^2*x2_1*k2_0 + 260414595*x8_3^2*x2_1*k2_0 + 319034475*x8_2^2*x2_1*k2_0 + 183326196*x2_4*x8_1^2*k2_0 + 260414595*x2_3*x8_1^2*k2_0 + 319034475*x2_2*x8_1^2*k2_0 + 896456815*x2_1*x8_1^2*k2_0 + 466161970*x8_5^2*x2_0*k2_0 + 870410019*x8_4^2*x2_0*k2_0 + 106344825*x8_3^2*x2_0*k2_0 + 985099321*x8_2^2*x2_0*k2_0 + 300013141*x8_1^2*x2_0*k2_0 + 466161970*x2_5*x8_0^2*k2_0 + 870410019*x2_4*x8_0^2*k2_0 + 106344825*x2_3*x8_0^2*k2_0 + 985099321*x2_2*x8_0^2*k2_0 + 300013141*x2_1*x8_0^2*k2_0 + 1018318053*x2_0*x8_0^2*k2_0 + 1073741826*x4_5^2*t1_0 + 1073741826*x5_5^2*t2_0 + 10*x2_3*x13_2 + 2*x2_3*x10_2 + 10*x13_3*x2_2 + 2*x10_3*x2_2 + 5*x2_4*x13_1 + x2_4*x10_1 + 5*x13_4*x2_1 + x10_4*x2_1 + x2_5*x13_0 + 429496731*x2_5*x10_0 + x13_5*x2_0 + 429496731*x10_5*x2_0 + x2_5*k_deg_0 + 607579857*x1_5*k1_0 + 203331808*x1_4*k1_0 + 967397002*x1_3*k1_0 + 88642506*x1_2*k1_0 + 773728686*x1_1*k1_0 + 55423774*x1_0*k1_0 + x2_5*k3_0 + x2_6,
x1_5*k_deg_0 + 466161970*x1_5*k1_0 + 870410019*x1_4*k1_0 + 106344825*x1_3*k1_0 + 985099321*x1_2*k1_0 + 300013141*x1_1*k1_0 + 1018318053*x1_0*k1_0 + x1_6,
707089435*x8_3^2*x2_2*k2_0 + 707089435*x2_3*x8_2^2*k2_0 + 146249021*x2_2*x8_2^2*k2_0 + 890415631*x8_4^2*x2_1*k2_0 + 813327232*x8_3^2*x2_1*k2_0 + 754707352*x8_2^2*x2_1*k2_0 + 890415631*x2_4*x8_1^2*k2_0 + 813327232*x2_3*x8_1^2*k2_0 + 754707352*x2_2*x8_1^2*k2_0 + 177285012*x2_1*x8_1^2*k2_0 + 607579857*x8_5^2*x2_0*k2_0 + 203331808*x8_4^2*x2_0*k2_0 + 967397002*x8_3^2*x2_0*k2_0 + 88642506*x8_2^2*x2_0*k2_0 + 773728686*x8_1^2*x2_0*k2_0 + 607579857*x2_5*x8_0^2*k2_0 + 203331808*x2_4*x8_0^2*k2_0 + 967397002*x2_3*x8_0^2*k2_0 + 88642506*x2_2*x8_0^2*k2_0 + 773728686*x2_1*x8_0^2*k2_0 + 55423774*x2_0*x8_0^2*k2_0 + x3_5*k_deg_0 + 1073741826*x2_5*k3_0 + x3_6,
x4_4^2*t1_0 + x4_5^2 + 644245095*x10_2*x2_2 + 429496730*x2_3*x10_1 + 429496730*x10_3*x2_1 + 644245096*x2_4*x10_0 + 644245096*x10_4*x2_0,
x5_4^2*t2_0 + x5_5^2 + 1073741821*x13_2*x2_2 + 1073741823*x2_3*x13_1 + 1073741823*x13_3*x2_1 + 1073741826*x2_4*x13_0 + 1073741826*x13_4*x2_0,
x8_4^2*c5_0^3 + x8_5^2 + 536870913*x9_4,
x9_4 + 171134583*x7_3 + 531287456*x9_3,
1073741826*x2_5 + 501093272,
1073741826*x13_5 + 1073741826*x10_5 + 30989325,
1073741822*x6_3^2*x10_2 + 1073741822*x10_3*x6_2^2 + 536870911*x6_4^2*x10_1 + 536870911*x10_4*x6_1^2 + 536870913*x6_5^2*x10_0 + 536870913*x10_5*x6_0^2 + 1073741826*x14_5^2*e_2a_0 + 10*x2_3*x13_2 + 10*x13_3*x2_2 + 5*x2_4*x13_1 + 5*x13_4*x2_1 + x2_5*x13_0 + x13_5*x2_0 + x13_6 + 670809469*x13_5,
5*x6_3^2*x10_2 + 5*x10_3*x6_2^2 + 536870916*x6_4^2*x10_1 + 536870916*x10_4*x6_1^2 + 536870914*x6_5^2*x10_0 + 536870914*x10_5*x6_0^2 + 409632507*x11_5^2 + 2*x2_3*x10_2 + 2*x10_3*x2_2 + x2_4*x10_1 + x10_4*x2_1 + 429496731*x2_5*x10_0 + 429496731*x10_5*x2_0 + 1073741826*x12_5*c_4a_0 + x10_5*i_1a_0 + x10_6 + 132821864*x10_5,
3*x11_2^2*x7_2 + 2*x7_3*x11_1^2 + 2*x11_3^2*x7_1 + 536870914*x7_4*x11_0^2 + 536870914*x11_4^2*x7_0 + x11_5^2 + 99321119*x11_4^2 + 1073741822*x10_4*i_1a_0,
1073741824*x11_2^2*x7_2 + 1073741825*x7_3*x11_1^2 + 1073741825*x11_3^2*x7_1 + 536870913*x7_4*x11_0^2 + 536870913*x11_4^2*x7_0 + 5*x14_4^2*e_2a_0 + x14_5^2,
x12_4*c_3a_0 + x12_5 + 171134583*x7_4,
3*x10_2*x6_2^2 + 2*x6_3^2*x10_1 + 2*x10_3*x6_1^2 + 536870914*x6_4^2*x10_0 + 536870914*x10_4*x6_0^2 + 1073741826*x5_4^2*t2_0 + x6_4^2*i1_0 + x6_5^2 + 402932358*x13_4,
1073741826*x2_6 + 749000943,
733304784*x2_3*x8_3^2*k2_0 + 549978588*x8_4^2*x2_2*k2_0 + 781243785*x8_3^2*x2_2*k2_0 + 549978588*x2_4*x8_2^2*k2_0 + 781243785*x2_3*x8_2^2*k2_0 + 957103425*x2_2*x8_2^2*k2_0 + 649488166*x8_5^2*x2_1*k2_0 + 927492806*x8_4^2*x2_1*k2_0 + 638068950*x8_3^2*x2_1*k2_0 + 541886791*x8_2^2*x2_1*k2_0 + 649488166*x2_5*x8_1^2*k2_0 + 927492806*x2_4*x8_1^2*k2_0 + 638068950*x2_3*x8_1^2*k2_0 + 541886791*x2_2*x8_1^2*k2_0 + 726337019*x2_1*x8_1^2*k2_0 + 466161970*x8_6^2*x2_0*k2_0 + 614995292*x8_5^2*x2_0*k2_0 + 696388151*x8_4^2*x2_0*k2_0 + 896456815*x8_3^2*x2_0*k2_0 + 900039423*x8_2^2*x2_0*k2_0 + 741199183*x8_1^2*x2_0*k2_0 + 466161970*x2_6*x8_0^2*k2_0 + 614995292*x2_5*x8_0^2*k2_0 + 696388151*x2_4*x8_0^2*k2_0 + 896456815*x2_3*x8_0^2*k2_0 + 900039423*x2_2*x8_0^2*k2_0 + 741199183*x2_1*x8_0^2*k2_0 + 926287664*x2_0*x8_0^2*k2_0 + 1073741826*x4_6^2*t1_0 + 1073741826*x5_6^2*t2_0 + 20*x13_3*x2_3 + 4*x10_3*x2_3 + 15*x2_4*x13_2 + 3*x2_4*x10_2 + 15*x13_4*x2_2 + 3*x10_4*x2_2 + 6*x2_5*x13_1 + 429496732*x2_5*x10_1 + 6*x13_5*x2_1 + 429496732*x10_5*x2_1 + x2_6*x13_0 + 429496731*x2_6*x10_0 + x13_6*x2_0 + 429496731*x10_6*x2_0 + x2_6*k_deg_0 + 607579857*x1_6*k1_0 + 458746535*x1_5*k1_0 + 377353676*x1_4*k1_0 + 177285012*x1_3*k1_0 + 173702404*x1_2*k1_0 + 332542644*x1_1*k1_0 + 147454163*x1_0*k1_0 + x2_6*k3_0 + x2_7,
x4_5^2*t1_0 + x4_6^2 + 1073741825*x2_3*x10_2 + 1073741825*x10_3*x2_2 + 1073741826*x2_4*x10_1 + 1073741826*x10_4*x2_1 + 644245096*x2_5*x10_0 + 644245096*x10_5*x2_0,
x5_5^2*t2_0 + x5_6^2 + 1073741817*x2_3*x13_2 + 1073741817*x13_3*x2_2 + 1073741822*x2_4*x13_1 + 1073741822*x13_4*x2_1 + 1073741826*x2_5*x13_0 + 1073741826*x13_5*x2_0,
x8_5^2*c5_0^3 + x8_6^2 + 536870913*x9_5,
x9_5 + 171134583*x7_4 + 531287456*x9_4,
1073741826*x3_6 + 1073741826*x2_6 + 1073741826*x1_6 + 1065558082,
1073741826*x12_2 + 178245876,
1073741826*x12_3 + 10332989,
1073741826*x12_4 + 1051264925,
1073741826*x12_5 + 183840190,
1073741826*x2_7 + 922650416,
1073741826*x9_1 + 662991663,
1073741826*x9_2 + 945328987,
1073741826*x9_3 + 310031740,
1073741826*x9_4 + 783639684,
1073741826*x9_5 + 120331649,
1073741826*x13_6 + 1073741826*x10_6 + 946664105,
1073741826*x7_5 + 115335724,
z_aux + 1073741826