Magma V2.16-7     Fri Oct  8 2010 15:13:23 on selmer   [Seed = 284392298]
Type ? for help.  Type <Ctrl>-D to quit.
Loading "upperbounds.m"
Bound for the S-reg 418153357322258949701.585284129
S-unit rank 20
bound for this kappa 3.05143541682508762480970581697E256
====================
Bound for the S-reg 8.19981400867115204587733117615E49
S-unit rank 28
bound for this kappa 3.13958456118959466899730496904E432
====================
Bound for the S-reg 1.56921253053498606123179935677E50
S-unit rank 32
bound for this kappa 7.01906428506683977780719744374E477
====================
Bound for the S-reg 8.19981400867115204587733117615E49
S-unit rank 28
bound for this kappa 3.13958456118959466899730496904E432
====================
Time: 30.440
If P=(x,y) is an S-integral point of C, then
h(x) is at most 7.01906428506683977780719744374E477
Loading "heightdifference.m"
first upper bound for the coefficients of the linear form
1.56324478435153493792063825572E239
Loading "magmaperiods1.m"
Precision attained in  12  steps.
Precision required attained in  12  steps.
Precision required attained in  12  steps.
second upper bound for the coefficients of the linear form
89
third upper bound for the coefficients of the linear form
9
fourth upper bound for the coefficients of the linear form
7
rational points below the bound 7 are
[ (x - 9/4, -59/32, 1), (x, 1, 1), (x + 1, -1, 1), (x + 1, 1, 1), (x, -1, 1), (x
    - 9/4, 59/32, 1) ]
{@ (1 : 0 : 0), (-1 : -1 : 1), (-1 : 1 : 1), (0 : -1 : 1), (0 : 1 : 1) @}

Total time: 153.370 seconds, Total memory usage: 98.31MB