Thu Oct 28 13:26:45 EET DST 1999
 ru=  2.220446049250313E-016
 rd=  2.220446049250313E-016
 rsru=  3.273390607896142E+150
 rsrd=  3.054936363499605E-151
  
 COMPUTING THE MATRIX, ITS NORM; SHOWING INVERTIBILITY:
 Invertible:  3.533428015479196E-011<1
 Norm of M:         (0.000000000000000E+000,8.65659009573535)
 Norm of B:         (0.000000000000000E+000,7.65659009573535)
 Norm of (1-S_d)B:  (0.000000000000000E+000,5.699314016748254E-003)
 Equivalence constant:  (0.000000000000000E+000,3.14121034396080)
  
 PROVING EXISTENCE FOR lambda in [lambda-,lambda+]:
 lambda+=  (1.75620480000000,1.75620480000000)
 Residual for the line:  (0.000000000000000E+000,1.150126329434302E-004)
 Residual for fp+     :  (0.000000000000000E+000,4.973184203845030E-007)
 From fDN_center:  0.848913363258597     
 From fDN_left  :  0.829698568252724     
 From fDN_right :  0.847480192723000     
 From fDM_chi   :  0.786661730848617     
 Norm of DM_(l+,delta):   0.848913363258597     
 Existence of the line proved:
  1.150126329434302E-004<  1.359779730672630E-004
  
 PROVING cl+ > c1:
 Ok: c1 < cl+
 cl+= (0.763932211790254,0.763934374137608)
 c1 = (0.763932022500210,0.763932022500211)
  
 PROVING cl- < c1:
 lambda-=  (1.75620350000000,1.75620350000000)
 Residual for fp- :  (0.000000000000000E+000,4.972031784860789E-007)
 S_delta(fp-) in B_r(fp+):   1.850974152711837E-005<  9.000000000000000E-004
 Ok: cl- < c1
 cl-= (0.763929673895697,0.763931835737878)
 c1 = (0.763932022500210,0.763932022500211)
  

Real   9270.7
User   7462.6
System 51.6
Thu Oct 28 16:01:30 EET DST 1999