+oo
[O(2)]~
  ***   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
[Mod(0, t)]~
[Mod(0, t^2 + 1)]~

[(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)]~
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^4)
18446744073709551627 + 18446744073709551628*18446744073709551629 + O(1844674
4073709551629^2)
3074457345618258605 + 15372286728091293024*18446744073709551629 + O(18446744
073709551629^2)
2*3^2 + 2*3^3 + O(3^5)
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)
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]
Total time spent: 8
