+oo
[O(2)]~
[Mod(0, t)]~
[Mod(0, t^2 + 1)]~
[2*5 + O(5^2), 3*5 + O(5^2)]~

[(1 + O(3^5))*y^2 + O(3^5)*y + O(3^5) 1]


[(1 + O(5^2))*x + O(5^2) 1]

[(1 + O(5^2))*x + O(5^2) 1]


[      (1 + O(5^2))*x + O(5^2) 1]

[      (1 + O(5^2))*x + O(5^2) 1]

[(1 + O(5^2))*x + (1 + O(5^2)) 1]

[(1 + O(5^2))*x + (1 + O(5^2)) 1]

[(1 + O(5^2))*x + (1 + O(5^2)) 1]

[(1 + O(5^2))*x + (2 + O(5^2)) 1]


[(1 + O(5^2))*x + O(5^2) 2]


[(1 + O(2^5))*x + O(2^5) 1]

[303091841983800080655794283008425100039742205409907463050265866099342335310
9435450473759394409290772958513969209043309887654107823563961950120902162328
9769326760830012577046380799009644065843091379678844848336197237093057023804
6689848912926486505130709901883062497124814860382257802988956439425088932461
0372025296688642620365911220110991569990328464459735660494309717728461213007
1801499708339544755377536878289360381720619549093067863866419820272280136477
2830800728859838435544923858759881340490985695391715382902245978494662272462
6052864155393228763598731308273292630444845297138100310999495119765776446322
3860052732483765519446500500094346234790611688099389032815052584811119320550
3704669618458110652816974131143493927907230211763195122366400692171033393720
271195569191, 13020836829112671085985220226774471665002775641446996088876884
3691338423847199876670450857336997350275120427670497827105902457829900805568
9719472368109783134615365374621272645318492298469870785155840876721739513480
5863213246980524738313176449660582809667252629484206997514702295002515061510
0684360909834392213592414944152124335972138550682495171014579333479279921333
5904066365587070683781105745761987654966795582331907184529593280396827369610
2019154579782144905432984081972843049020762285632803482844786928852456176727
9344982547780680381242398549057381848394717649769513041214735182126715458420
8350305350756518594813992253867533694908369935455537375264348437017294628673
7633210413290943225901496946252789071904264368534914051665187493778714162848
7537382321251210717887612]~
[2, 2, 2]
[3, 2, 2]
[6, 2, 2]
[7, 2, 2]
[10, 2, 2]
[2, 2, 3]
[3, 2, 3]
[4, 2, 3]
[5, 2, 3]
[6, 2, 3]
[7, 2, 3]
[10, 2, 3]
[2, 3, 3]
[3, 3, 3]
[4, 3, 3]
[5, 3, 3]
[6, 3, 3]
[7, 3, 3]
[8, 3, 3]
[9, 3, 3]
[10, 3, 3]
[2, 11, 3]
[3, 11, 3]
[4, 11, 3]
[5, 11, 3]
[6, 11, 3]
[7, 11, 3]
[8, 11, 3]
[9, 11, 3]
[10, 11, 3]
[2, 18446744073709551629, 3]
[3, 18446744073709551629, 3]
[4, 18446744073709551629, 3]
[5, 18446744073709551629, 3]
[6, 18446744073709551629, 3]
[7, 18446744073709551629, 3]
[8, 18446744073709551629, 3]
[9, 18446744073709551629, 3]
[10, 18446744073709551629, 3]
[2^3 + O(2^6), 1 + 2^2 + O(2^6), 1 + 2 + 2^4 + 2^5 + O(2^6)]~
[Mod((1 + 2 + 2^2 + 2^3 + 2^4 + 2^5 + 2^6 + 2^7 + 2^8 + 2^9 + O(2^10))*y + (
1 + 2^2 + 2^6 + 2^7 + O(2^10)), y^2 + y + 1), Mod((1 + 2 + 2^2 + 2^3 + 2^4 +
 2^5 + 2^6 + 2^7 + 2^8 + 2^9 + O(2^10))*y + (1 + 2 + 2^4 + 2^5 + 2^8 + O(2^1
0)), y^2 + y + 1)]~
[Mod((1 + 2 + 2^2 + 2^3 + 2^4 + 2^5 + O(2^6))*y + (2^3 + O(2^6)), y^2 + y + 
1), Mod((1 + 2 + 2^2 + 2^3 + 2^4 + 2^5 + O(2^6))*y + (1 + 2^2 + O(2^6)), y^2
 + y + 1), Mod((1 + 2 + 2^2 + 2^3 + 2^4 + 2^5 + O(2^6))*y + (1 + 2 + 2^4 + 2
^5 + O(2^6)), y^2 + y + 1)]~
[Mod((1 + 2 + 2^2 + 2^3 + 2^4 + 2^5 + O(2^6))*y + (2^3 + O(2^6)), y^2 + y + 
1), Mod((1 + 2 + 2^2 + 2^3 + 2^4 + 2^5 + O(2^6))*y + (1 + 2^2 + O(2^6)), y^2
 + y + 1), Mod((1 + 2 + 2^2 + 2^3 + 2^4 + 2^5 + O(2^6))*y + (1 + 2 + 2^4 + 2
^5 + O(2^6)), y^2 + y + 1)]~
1/2
3 + 3^2 + O(3^5)
2 + 2^2 + O(2^5)
1 + 2*3^2 + 3^3 + 3^4 + O(3^5)
1 + O(x)
3 + 2*3^3 + 3^4 + O(3^5)
O(x)
3 + O(3^5)
O(x)
3^-1 + O(3^3)
O(x)
1 + 2*3 + 2*3^2 + 2*3^3 + 2*3^4 + O(3^5)
1 + 2 + 2^2 + 2^3 + O(2^5)
18446744073709551627 + 18446744073709551628*18446744073709551629 + O(1844674
4073709551629^2)
3074457345618258605 + 15372286728091293024*18446744073709551629 + O(18446744
073709551629^2)
2*3^2 + 2*3^3 + 2*3^6 + 3^7 + 2*3^8 + 3^9 + O(3^10)
3^-1 + 2 + 3 + 3^3 + 3^5 + 3^6 + O(3^10)
1 + O(2)
1 + 2^2 + O(2^3)
1 + 2 + 2^2 + 2^3 + 2^5 + 2^6 + O(2^7)
1 + 2 + 2^2 + 2^3 + 2^5 + 2^6 + 2^7 + O(2^8)
1 + 2^2 + 2^4 + O(2^5)
1 + 2^2 + 2^4 + 2^5 + O(2^6)
1 + 5^2 + 2*5^4 + 5^5 + 3*5^6 + 2*5^7 + 3*5^8 + 4*5^9 + 4*5^10 + 4*5^11 + 3*
5^15 + 3*5^16 + 5^18 + 2*5^20 + 3*5^21 + 4*5^22 + 3*5^23 + 4*5^24 + 4*5^25 +
 2*5^26 + 3*5^27 + 3*5^29 + 3*5^30 + 3*5^31 + 5^33 + 2*5^34 + 4*5^36 + 4*5^3
7 + 4*5^39 + 4*5^41 + 3*5^42 + 5^43 + 3*5^45 + 2*5^46 + 5^47 + 2*5^48 + 4*5^
50 + 2*5^51 + 2*5^52 + 2*5^53 + 4*5^54 + 2*5^55 + 5^57 + 5^58 + 3*5^59 + 3*5
^60 + 2*5^62 + 3*5^63 + 4*5^64 + 3*5^65 + 5^66 + 4*5^68 + 2*5^73 + 2*5^76 + 
2*5^77 + 2*5^79 + 5^81 + 5^82 + 5^84 + 5^85 + 5^86 + 5^90 + 4*5^91 + 5^92 + 
3*5^93 + 5^94 + 5^96 + 4*5^97 + 5^98 + 3*5^99 + O(5^101)
2*3^3 + 2*3^4 + O(3^6)
2 + 2^4 + O(2^5)
1 + O(2)
1 + O(2^2)
2 + 2^4 + O(2^6)
2 + 2^4 + O(2^7)
1 + 2^2 + O(2^4)
1 + 2^2 + O(2^5)
[1 + 2^2 + O(2^5), 2 + 2^3 + O(2^5), 2^-1 + 1 + 2^5 + O(2^6), 2^2 + 2^3 + O(
2^6), 1 + 2^2 + 2^4 + 2^5 + 2^7 + O(2^8), 2^4 + 2^5 + O(2^8), 2^2 + 2^4 + 2^
8 + O(2^9), 2^5 + 2^6 + O(2^9), 2^3 + 2^5 + 2^7 + 2^8 + O(2^11), 2^8 + 2^9 +
 2^10 + 2^11 + O(2^12), 2^6 + 2^9 + 2^11 + 2^12 + O(2^13)]
4*5 + 2*5^2 + 5^3 + 3*5^4 + 3*5^5 + 5^7 + 3*5^8 + 2*5^9 + 5^10 + 3*5^11 + 3*
5^12 + 5^14 + 5^16 + 2*5^17 + 2*5^18 + 2*5^19 + 5^20 + 3*5^21 + 3*5^22 + 3*5
^23 + 2*5^24 + 5^25 + 5^27 + 5^28 + 4*5^29 + 3*5^31 + 4*5^32 + 2*5^33 + 4*5^
34 + 4*5^35 + 2*5^36 + 3*5^37 + 5^39 + 2*5^40 + 3*5^42 + 2*5^43 + 5^44 + 2*5
^45 + 5^47 + 4*5^48 + 3*5^49 + 2*5^51 + 3*5^52 + 2*5^54 + 4*5^55 + 4*5^56 + 
3*5^57 + 5^58 + 3*5^59 + 3*5^60 + 3*5^63 + 5^65 + 3*5^66 + 3*5^67 + 5^69 + 2
*5^70 + 2*5^74 + 4*5^75 + 3*5^76 + 2*5^77 + 5^78 + 5^79 + 2*5^82 + 2*5^83 + 
4*5^85 + 2*5^86 + 4*5^87 + 5^89 + 5^91 + 3*5^92 + 5^93 + 3*5^94 + 5^95 + 4*5
^96 + 2*5^97 + 4*5^98 + 3*5^99 + 4*5^100 + 3*5^101 + O(5^102)
3^2 + 3^3 + 2*3^4 + 3^5 + 2*3^6 + 3^8 + 3^10 + 3^11 + 3^12 + 3^13 + 2*3^15 +
 3^17 + 2*3^19 + 3^20 + 3^22 + 3^24 + 3^25 + 3^26 + 3^29 + 2*3^30 + 2*3^31 +
 2*3^33 + 2*3^34 + 2*3^36 + 3^38 + 3^41 + 2*3^42 + 2*3^43 + 3^47 + 2*3^48 + 
2*3^49 + 3^50 + O(3^51)
3 + 2*3^4 + 3^5 + 2*3^6 + 3^7 + 2*3^8 + 3^9 + 2*3^10 + 2*3^11 + 2*3^13 + 2*3
^16 + 2*3^17 + 3^18 + 2*3^19 + 3^20 + 2*3^21 + 3^22 + 3^23 + 3^26 + 3^28 + 2
*3^30 + 2*3^31 + 3^32 + 2*3^33 + 2*3^34 + 2*3^35 + 3^36 + 2*3^37 + 3^38 + 2*
3^40 + 2*3^43 + 2*3^46 + 3^48 + 2*3^49 + 2*3^51 + 3^52 + O(3^53)
[2 + 4*7 + 2*7^2 + 4*7^4 + 6*7^5 + 4*7^7 + 6*7^8 + 5*7^9 + O(7^10), O(7^10),
 5 + 3*7^2 + 4*7^3 + 3*7^4 + 6*7^5 + 2*7^6 + 6*7^7 + 2*7^8 + 5*7^9 + O(7^10)
, O(7^10), 2 + 4*7 + 5*7^2 + 6*7^3 + 2*7^4 + 3*7^5 + 3*7^6 + 4*7^7 + 5*7^8 +
 O(7^10), O(7^10), 7^-1 + 4*7 + 2*7^2 + 4*7^3 + 3*7^4 + 4*7^5 + 3*7^6 + 3*7^
8 + 3*7^9 + O(7^10), O(7^9), 7 + 5*7^2 + 3*7^3 + 5*7^4 + 2*7^5 + 3*7^6 + 5*7
^7 + 2*7^8 + 7^10 + O(7^11), O(7^11), 3*7 + 5*7^2 + 7^4 + 3*7^5 + 4*7^6 + 6*
7^7 + 6*7^8 + 6*7^9 + 6*7^10 + O(7^11)]
2 + 5 + 2*5^2 + O(5^3)
2^2 + 2^3 + 2^4 + 2^5 + 2^6 + 2^9 + O(2^10)
3 + 2*3^2 + 3^3 + 2*3^5 + 2*3^6 + 3^8 + O(3^10)
5 + 2*5^2 + 4*5^3 + 2*5^4 + 5^6 + 4*5^7 + 2*5^8 + 3*5^9 + O(5^10)
101 + 50*101^2 + 84*101^3 + 41*101^4 + 89*101^5 + 4*101^6 + 34*101^7 + 10*10
1^8 + 77*101^9 + O(101^10)
[]~
[]~
[]~
[4, 0, 0, 0]
[+oo, 2, 1/2, 1/2]
[+oo, 2, 1/2, 1/2]

[(1 + O(2^3))*x^3 + (2 + 2^2 + O(2^3))*x^2 + O(2^3)*x + O(2^3) 1]

[(1 + O(2^3))*x^6 + (2 + O(2^3))*x^5 + (2 + 2^2 + O(2^3))*x^4 + (2^2 + O(2^3
))*x^3 + O(2^3)*x^2 + O(2^3)*x + O(2^3) 1]


[                   (1 + O(2^2))*x + O(2^2) 2]

[(2 + O(2^2))*x^2 + O(2^2)*x + (1 + O(2^2)) 1]

[O(2^2)]~
[O(3^10)]~
[4, 4, 4, 4, 4, 4, 4, 4]
[4, 4, 4, 4, 4, 4, 4, 4]
(1 + O(3^7))*x + (1 + 3^3 + 2*3^4 + 3^6 + O(3^7))
0
6139557
3626068*x + 3626068

[      x^2 + x + 29525 1]

[x^2 + 59048*x + 29525 1]


[9*x^4 + 44287 1]

  ***   at top-level: padicappr(x^2+1+O(3),Mod(-1+O(5^10),y^2-2))
  ***                 ^-------------------------------------------
  *** padicappr: inconsistent moduli in Zp_to_Z: 5 != 3
  ***   at top-level: padicappr(x^2+1+O(3),-1+O(5^10))
  ***                 ^--------------------------------
  *** padicappr: inconsistent moduli in Zp_to_Z: 5 != 3
  ***   at top-level: padicappr(x^2+1,1/3+O(3))
  ***                 ^-------------------------
  *** padicappr: domain error in padicappr: v(a) < 0
  ***   at top-level: gamma(1/3+O(3^4))
  ***                 ^-----------------
  *** gamma: domain error in gamma: v_p(x) < 0
  ***   at top-level: psi(1/3+O(3^4))
  ***                 ^---------------
  *** psi: domain error in psi: v_p(x) < 0
Total time spent: 8
