off rlabout;



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


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



basis := { - 46000*x1 + 700*x12 + 1500*x5, 3*x10 + 7500000*x11 - 3764475*x2 + 49625*x3 + 20000*x9, 1728*x12 + 174*x2 - 426849*x3 + 300000*x4 + 13000*x5, 187*x11 + 432*x3 - 690985*x4 + 27*x6, 16000*x1 + 2740*x3 - 9630*x5 + 3000*x6, 540000*x4 + 400000*x5 - 150027*x6, 3750000*x10 - 20003*x7 + 125*x9, 10000*x10 + 125*x11 - 7500003*x8, 50000*x12 + 3750000*x2 + 3*x7 - 22150*x9,  - 3760003*x10 + 125*x2 + 20000*x7 + 7500000*x8,  - 7509475*x11 + 10000*x2 + 49250*x4 + 3*x8, 3000000*x1 - 73728*x12 + 150000*x3 + 81*x9};


basis := { - 46000*x1 + 700*x12 + 1500*x5,

          3*x10 + 7500000*x11 - 3764475*x2 + 49625*x3 + 20000*x9,

          1728*x12 + 174*x2 - 426849*x3 + 300000*x4 + 13000*x5,

          187*x11 + 432*x3 - 690985*x4 + 27*x6,

          16000*x1 + 2740*x3 - 9630*x5 + 3000*x6,

          540000*x4 + 400000*x5 - 150027*x6,

          3750000*x10 - 20003*x7 + 125*x9,

          10000*x10 + 125*x11 - 7500003*x8,

          50000*x12 + 3750000*x2 + 3*x7 - 22150*x9,

           - 3760003*x10 + 125*x2 + 20000*x7 + 7500000*x8,

           - 7509475*x11 + 10000*x2 + 49250*x4 + 3*x8,

          3000000*x1 - 73728*x12 + 150000*x3 + 81*x9}


classifyComponents {basis};


{{{x1,

   x10,

   x11,

   x12,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x1,

   x10,

   x11,

   x12,

   x2,

   x3,

   x4,

   x5,

   x6,

   x7,

   x8,

   x9}},

 {{x1 = -1,

           - 2767074700270925196185653008134954695000
   x10 = ---------------------------------------------,
            11760697813875990827552519381293118703

           - 55342180803823976625293686575687774416
   x11 = -------------------------------------------,
          7350436133672494267220324613308199189375

           - 168074465691671430961277683498975962500
   x12 = --------------------------------------------,
            3920232604625330275850839793764372901

          - 22136933248487374745560279753788949560
   x2 = -------------------------------------------,
           3920232604625330275850839793764372901

          - 1965978958518314488929181915123221008
   x3 = ------------------------------------------,
          3920232604625330275850839793764372901

          - 52416964051479059500006072023943737136
   x4 = -------------------------------------------,
         36752180668362471336101623066540995946875

          - 41785715885730127344162834709251986464
   x5 = -------------------------------------------,
           3920232604625330275850839793764372901

          - 1671429699796178301055043515512145188352
   x6 = ---------------------------------------------,
           58803489069379954137762596906465593515

          - 172942168764832745934668451041739125000000
   x7 = -----------------------------------------------,
             3920232604625330275850839793764372901

          - 55341494005693223176014439874397774416
   x8 = -------------------------------------------,
          176410467208139862413287790719396780545

          - 4150611714343373592854128153714789000000
   x9 = ---------------------------------------------}},
            3920232604625330275850839793764372901

 {C},

 C}


end;

