off rlabout;



symbolic (infile "../../SUPPORT/real.red" where !*output=nil);


symbolic (infile "../../SUPPORT/strings.red" where !*output=nil);



basis := { - 25376300*x1 + 309731*x3, 1268815*x1 - 74664*x2, 1493280*x2 - 309731*x3, 0, 0, 100001*x10 - 99996800*x6, 127857*x12 - 159451*x26*x7,  - 999989*x16*x8 + 5137840*x9, 999989*x16*x8 - 5137840*x9,  - 100001*x10 + 100000*x11*x13 + 1000000000*x13*x14,  - 10000*x11*x13 - 328283*x11 + 13466400*x14*x2,  - 127857*x12 + 159451*x26*x7,  - 528455*x13 + 573896*x22*x8, 328283*x11 - 100000000*x13*x14 - 13466400*x14*x2 + 9999680*x6, 139901*x11*x20 - 901538*x12*x15 - 1180744*x15*x25 - 814780*x15 + 1505684*x21,  - 6273150*x15*x16 - 100039*x16*x21 + 8125370*x23,  - 23917800*x15*x17 - 100001*x17*x21 - 73093000*x17*x8 + 403706000*x18 + 999991000*x19, 73093*x17*x8 - 403706*x18, 23917800*x15*x17 + 100001*x17*x21 - 999991000*x19,  - 139901*x11*x20 + 814780*x15, 450769*x12*x15 + 590372*x15*x25 - 752842*x21, 528455*x13 - 573896*x22*x8, 6273150*x15*x16 + 100039*x16*x21 - 8125370*x23,  - x2*x24 + 10*x25, x2*x24 - 10*x25, 199997000*x2*x27 - 46433*x26,  - 199997000*x2*x27 + 46433*x26, 0};


basis := { - 25376300*x1 + 309731*x3,

          1268815*x1 - 74664*x2,

          1493280*x2 - 309731*x3,

          0,

          0,

          100001*x10 - 99996800*x6,

          127857*x12 - 159451*x26*x7,

           - 999989*x16*x8 + 5137840*x9,

          999989*x16*x8 - 5137840*x9,

           - 100001*x10 + 100000*x11*x13 + 1000000000*x13*x14,

           - 10000*x11*x13 - 328283*x11 + 13466400*x14*x2,

           - 127857*x12 + 159451*x26*x7,

           - 528455*x13 + 573896*x22*x8,

          328283*x11 - 100000000*x13*x14 - 13466400*x14*x2 + 9999680*x6,

          139901*x11*x20 - 901538*x12*x15 - 1180744*x15*x25 - 814780*x15

           + 1505684*x21,

           - 6273150*x15*x16 - 100039*x16*x21 + 8125370*x23,

           - 23917800*x15*x17 - 100001*x17*x21 - 73093000*x17*x8 + 403706000*x18

           + 999991000*x19,

          73093*x17*x8 - 403706*x18,

          23917800*x15*x17 + 100001*x17*x21 - 999991000*x19,

           - 139901*x11*x20 + 814780*x15,

          450769*x12*x15 + 590372*x15*x25 - 752842*x21,

          528455*x13 - 573896*x22*x8,

          6273150*x15*x16 + 100039*x16*x21 - 8125370*x23,

           - x2*x24 + 10*x25,

          x2*x24 - 10*x25,

          199997000*x2*x27 - 46433*x26,

           - 199997000*x2*x27 + 46433*x26,

          0}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x23,

   x24,

   x25,

   x26,

   x27,

   x3,

   x6,

   x7,

   x8,

   x9}},

 {{x1,

   x10,

   x11,

   x12,

   x13,

   x14,

   x15,

   x16,

   x17,

   x18,

   x19,

   x2,

   x20,

   x21,

   x22,

   x23,

   x24,

   x25,

   x26,

   x27,

   x3,

   x6,

   x7,

   x8,

   x9}},

          - 12798053684886501632516350347
 {{x1 = ----------------------------------,
           863653969408724362480000000

   x10 = -1,

          114768630794309
   x11 = -----------------,
            11477920000

           - 857438962388138206298454979993323
   x12 = --------------------------------------,
              633888005530950582367616000

          573896
   x13 = --------,
          528455

   x14 = -1,

          16056246216754623409
   x15 = ----------------------,
            9351979657600000

   x16 = 1,

   x17 = 1,

           - 73093
   x18 = ----------,
           403706

           - 91234236696731038892992289078375333656240021060558294759488362031
   x19 = ----------------------------------------------------------------------,
              656307105222381228257129404077904140689496064000000000000000

          - 1371269011559680877800959
   x2 = ------------------------------,
            5445420928401536000000

   x20 = 1,

           - 15514246743046228149990399625521764943844648497598701849454527
   x21 = -------------------------------------------------------------------,
                11157321204671322922277500366827671840768000000000000

   x22 = -1,

   x23

        - 1551909562691010904301969535983300839861123821758316862989581426553
    = ------------------------------------------------------------------------,
            90657362996800227132985933155610559944821084160000000000000

   x24 = -1,

          1371269011559680877800959
   x25 = ---------------------------,
           54454209284015360000000

          274249688504901496517558397123
   x26 = --------------------------------,
             252847229968468521088000

   x27 = -1,

          - 12798053684886501632516350347
   x3 = ----------------------------------,
            10541347934842100917600000

          - 100001
   x6 = -----------,
         99996800

   x7 = -1,

   x8 = -1,

          - 999989
   x9 = -----------}},
          5137840

 {X},

 X}


end;

