off rlabout;



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


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



P := {{1965978958518314488929181915123221008*x1-3920232604625330275850839793764372901*x3, 737242109444367933348443218171207878*x10-345884337533865649523206626016869336875*x3, 230388159201364979171388505678502461875*x11-3458886300238998539080855410980485901*x3, 491494739629578622232295478780805252*x12-42018616422917857740319420874743990625*x3, 245747369814789311116147739390402626*x2-2767116656060921843195034969223618695*x3, 1151940796006824895856942528392512309375*x4-3276060253217441218750379501496483571*x3, 122873684907394655558073869695201313*x5-2611607242858132959010177169328249154*x3, 1843105273610919833371108045428019695*x6-104464356237261143815940219719509074272*x3, 122873684907394655558073869695201313*x7-10808885547802046620916778190108695312500*x3, 5529315820832759500113324136284059085*x8-3458843375355826448500902492149860901*x3, 122873684907394655558073869695201313*x9-259413232146460849553383009607174312500*x3}};


p := {{1965978958518314488929181915123221008*x1

        - 3920232604625330275850839793764372901*x3,

       737242109444367933348443218171207878*x10

        - 345884337533865649523206626016869336875*x3,

       230388159201364979171388505678502461875*x11

        - 3458886300238998539080855410980485901*x3,

       491494739629578622232295478780805252*x12

        - 42018616422917857740319420874743990625*x3,

       245747369814789311116147739390402626*x2

        - 2767116656060921843195034969223618695*x3,

        - 3276060253217441218750379501496483571*x3

        + 1151940796006824895856942528392512309375*x4,

        - 2611607242858132959010177169328249154*x3

        + 122873684907394655558073869695201313*x5,

        - 104464356237261143815940219719509074272*x3

        + 1843105273610919833371108045428019695*x6,

        - 10808885547802046620916778190108695312500*x3

        + 122873684907394655558073869695201313*x7,

        - 3458843375355826448500902492149860901*x3

        + 5529315820832759500113324136284059085*x8,

        - 259413232146460849553383009607174312500*x3

        + 122873684907394655558073869695201313*x9}}


classifyComponents P;


{{{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;

