-
Notifications
You must be signed in to change notification settings - Fork 1
/
pub.abs.sol
157 lines (126 loc) · 93.8 KB
/
pub.abs.sol
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
set : [164368004087466452582490413166899985272665665423257656929303344400, 168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 177425404985627474536673746714144021883127046501745489011223040000, 182125212285281387903036468882991673432316526784773027068480160000, 187014262428406274938300203425450649910232934881573156328451805184, 192102853571911120622340877331658127418747308018416545717228160000, 197401994025105141026072179446079922264038329650750423033879040000, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 227498967595109276930782578777716242591924796433574611666855840000, 234340660761814501342824380545368657996226388663143017230461440000, 241495690119326284786028155249807140896478479960709137820831360000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 265042888929147215048611399412486748738992254650755607041456640000, 273661609302753719180004850225848050401940754086589231099776640000, 282707666261699891568916593460940582033071824431295083135592960000, 292209785044384804591094067852266640484738960752458056763205945600, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 335444906300951944045898802381428541372787072292362565161843560000, 347753793771829850091880543559722282890929011143421158461997158400, 360752821042450376038387738089218074672517235496861798473093760000, 374494562534633427030238036407319297168052779889230688624970240000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 456577789131851257173584481019166625757404626175715713692509290000, 476213321032044045508347054897310957784092466595223632570186240000, 497143301587800234654035276119168197422051161960703688254981760000, 519484062301128541495278342848474027528424819115480989801255014400, 543365302768484140768563349312066067017076579911595560096870560000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 657472016349865810329961652667599941090662661693030627717213377600, 691620793004461075955252231602997965644352569828303092930664960000, 728500849141125551612145875531966693729266107139092108273920640000, 768411414287644482489363509326632509674989232073666182868912640000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 965982760477305139144112620999228563585913919842836551283325440000, 1027300025546665328640565082293124907954160408895360355808145902500, 1094646437211014876720019400903392201607763016346356924399106560000, 1168839140177539218364376271409066561938955843009832227052823782400, 1250838556670374906691960338012080744048823137584838292922165760000, 1341779625203807776183595209525714165491148289169450260647374240000, 1443011284169801504153550952356872298690068941987447193892375040000, 1556146784260037420899317521106745422699793282113681959093996160000, 1683128361855656474444701830829055849192096413934158406956066246656, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 3639983481521748430892521260443459881470796742937193786669693440000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 8693844844295746252297013588993057072273225278585528961549928960000, 10519552261597852965279386442681599057450602587088490043475414041600, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 65747201634986581032996165266759994109066266169303062771721337760000, 116883914017753921836437627140906656193895584300983222705282378240000]
target : 262988806539946324131984661067039976436265064677212251086885351040000
262988806539946324131984661067039976436265064677212251086885351040000
266338244872072485425234827187424778881443376768186177967962373228809 => error : 0.012575881971944924
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 1168839140177539218364376271409066561938955843009832227052823782400, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 10519552261597852965279386442681599057450602587088490043475414041600, 12987101557528213537381958571211850688210620477887024745031375360000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 5.698204040527344e-05 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262035439222113361105930026500087689319883799384090317409898725588809 => error : -0.003638314422900857
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 1168839140177539218364376271409066561938955843009832227052823782400, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 10519552261597852965279386442681599057450602587088490043475414041600, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.00034332275390625 (s)
262988806539946324131984661067039976436265064677212251086885351040000
263114388299857595540512936735931549890489066015114774568984906587209 => error : 0.0004772895953076839
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 1168839140177539218364376271409066561938955843009832227052823782400, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0004730224609375 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262869886234820457234630592719973530864777345660199452521489162836809 => error : -0.00045239227219662226
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 1168839140177539218364376271409066561938955843009832227052823782400, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0006983280181884766 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262971205505185846986263300642683939236651543924346070121170935673865 => error : -6.693141451230566e-05
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 1168839140177539218364376271409066561938955843009832227052823782400, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0008349418640136719 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262983909962224846154087274047198194671531584110660335362091289433865 => error : -1.8619305349076853e-05
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1168839140177539218364376271409066561938955843009832227052823782400, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0011477470397949219 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262990023973716087638193295290770063527270818707491065090173994171465 => error : 4.629201333816724e-06
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1168839140177539218364376271409066561938955843009832227052823782400, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0013730525970458984 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262987917788505707521528174631199596931019275629779565490661333443129 => error : -3.3794382954255298e-06
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1168839140177539218364376271409066561938955843009832227052823782400, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0015959739685058594 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262989595178983506211197470895434998410709740996854059592278235748729 => error : 2.998746154392329e-06
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 292209785044384804591094067852266640484738960752458056763205945600, 312709639167593726672990084503020186012205784396209573230541440000, 335444906300951944045898802381428541372787072292362565161843560000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1168839140177539218364376271409066561938955843009832227052823782400, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0018463134765625 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988310942743302181063763549882877874008526012959812136740042927504 => error : -1.8844837674780734e-06
[168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 248983485481605987343890803377079267631966925138189113455039385600, 265042888929147215048611399412486748738992254650755607041456640000, 282707666261699891568916593460940582033071824431295083135592960000, 312709639167593726672990084503020186012205784396209573230541440000, 335444906300951944045898802381428541372787072292362565161843560000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1168839140177539218364376271409066561938955843009832227052823782400, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0020024776458740234 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988967020635058810054273148093905227001075729153598134871589162320 => error : 6.102183317535648e-07
[168555556186474170249629649778586749838977769381324948621621760000, 177425404985627474536673746714144021883127046501745489011223040000, 182125212285281387903036468882991673432316526784773027068480160000, 197401994025105141026072179446079922264038329650750423033879040000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 227498967595109276930782578777716242591924796433574611666855840000, 248983485481605987343890803377079267631966925138189113455039385600, 265042888929147215048611399412486748738992254650755607041456640000, 282707666261699891568916593460940582033071824431295083135592960000, 312709639167593726672990084503020186012205784396209573230541440000, 335444906300951944045898802381428541372787072292362565161843560000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1168839140177539218364376271409066561938955843009832227052823782400, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.002348184585571289 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988957384279995367690691933951929702778843973622029588005868396089 => error : 5.735766823722344e-07
[168555556186474170249629649778586749838977769381324948621621760000, 177425404985627474536673746714144021883127046501745489011223040000, 182125212285281387903036468882991673432316526784773027068480160000, 214684740032609244189375233524114266478583726267112041703579878400, 227498967595109276930782578777716242591924796433574611666855840000, 234340660761814501342824380545368657996226388663143017230461440000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 282707666261699891568916593460940582033071824431295083135592960000, 302199145693704480473409550206308504954053507241841138853071360000, 323778155173833578494287055791985197213007158728485381455075840000, 347753793771829850091880543559722282890929011143421158461997158400, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 456577789131851257173584481019166625757404626175715713692509290000, 543365302768484140768563349312066067017076579911595560096870560000, 568931977371436071675467087219123799753953628290345594563299840000, 965982760477305139144112620999228563585913919842836551283325440000, 1094646437211014876720019400903392201607763016346356924399106560000, 1250838556670374906691960338012080744048823137584838292922165760000, 1556146784260037420899317521106745422699793282113681959093996160000, 1826311156527405028694337924076666503029618504702862854770037160000, 2173461211073936563074253397248264268068306319646382240387482240000, 2629888065399463241319846610670399764362650646772122510868853510400, 3639983481521748430892521260443459881470796742937193786669693440000, 4675356560710156873457505085636266247755823372039328908211295129600, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 12987101557528213537381958571211850688210620477887024745031375360000, 21468474003260924418937523352411426647858372626711204170357987840000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0037894248962402344 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988731103527066230403138580559205210749601307934317056895532670045 => error : -2.868427819713304e-07
[172905198251115268988813057900749491411088142457075773232666240000, 197401994025105141026072179446079922264038329650750423033879040000, 214684740032609244189375233524114266478583726267112041703579878400, 227498967595109276930782578777716242591924796433574611666855840000, 241495690119326284786028155249807140896478479960709137820831360000, 256825006386666332160141270573281226988540102223840088952036475625, 265042888929147215048611399412486748738992254650755607041456640000, 282707666261699891568916593460940582033071824431295083135592960000, 302199145693704480473409550206308504954053507241841138853071360000, 347753793771829850091880543559722282890929011143421158461997158400, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 497143301587800234654035276119168197422051161960703688254981760000, 519484062301128541495278342848474027528424819115480989801255014400, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1027300025546665328640565082293124907954160408895360355808145902500, 1168839140177539218364376271409066561938955843009832227052823782400, 1250838556670374906691960338012080744048823137584838292922165760000, 1443011284169801504153550952356872298690068941987447193892375040000, 1683128361855656474444701830829055849192096413934158406956066246656, 1826311156527405028694337924076666503029618504702862854770037160000, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 21468474003260924418937523352411426647858372626711204170357987840000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.005380392074584961 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988839740131750759838101279810647265522526735246040534791896026973 => error : 1.262418034553292e-07
[187014262428406274938300203425450649910232934881573156328451805184, 214684740032609244189375233524114266478583726267112041703579878400, 227498967595109276930782578777716242591924796433574611666855840000, 241495690119326284786028155249807140896478479960709137820831360000, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 282707666261699891568916593460940582033071824431295083135592960000, 292209785044384804591094067852266640484738960752458056763205945600, 323778155173833578494287055791985197213007158728485381455075840000, 335444906300951944045898802381428541372787072292362565161843560000, 347753793771829850091880543559722282890929011143421158461997158400, 360752821042450376038387738089218074672517235496861798473093760000, 420782090463914118611175457707263962298024103483539601739016561664, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 768411414287644482489363509326632509674989232073666182868912640000, 909995870380437107723130315110864970367699185734298446667423360000, 1027300025546665328640565082293124907954160408895360355808145902500, 1168839140177539218364376271409066561938955843009832227052823782400, 1443011284169801504153550952356872298690068941987447193892375040000, 1556146784260037420899317521106745422699793282113681959093996160000, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2385386000362324935437502594712380738650930291856800463373109760000, 2914003396564502206448583502127866774917064428556368433095682560000, 3639983481521748430892521260443459881470796742937193786669693440000, 4675356560710156873457505085636266247755823372039328908211295129600, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 29220978504438480459109406785226664048473896075245805676320594560000, 65747201634986581032996165266759994109066266169303062771721337760000, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.0062482357025146484 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988796206604728362827452842632022561668772216696690221763027511789 => error : -3.929194614116227e-08
[164368004087466452582490413166899985272665665423257656929303344400, 172905198251115268988813057900749491411088142457075773232666240000, 177425404985627474536673746714144021883127046501745489011223040000, 182125212285281387903036468882991673432316526784773027068480160000, 192102853571911120622340877331658127418747308018416545717228160000, 202923461836378336521593102675185167003290944966984761641115240000, 214684740032609244189375233524114266478583726267112041703579878400, 234340660761814501342824380545368657996226388663143017230461440000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 292209785044384804591094067852266640484738960752458056763205945600, 312709639167593726672990084503020186012205784396209573230541440000, 335444906300951944045898802381428541372787072292362565161843560000, 360752821042450376038387738089218074672517235496861798473093760000, 374494562534633427030238036407319297168052779889230688624970240000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 420782090463914118611175457707263962298024103483539601739016561664, 456577789131851257173584481019166625757404626175715713692509290000, 476213321032044045508347054897310957784092466595223632570186240000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 568931977371436071675467087219123799753953628290345594563299840000, 657472016349865810329961652667599941090662661693030627717213377600, 768411414287644482489363509326632509674989232073666182868912640000, 811693847345513346086372410700740668013163779867939046564460960000, 909995870380437107723130315110864970367699185734298446667423360000, 1027300025546665328640565082293124907954160408895360355808145902500, 1168839140177539218364376271409066561938955843009832227052823782400, 1443011284169801504153550952356872298690068941987447193892375040000, 1556146784260037420899317521106745422699793282113681959093996160000, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 2914003396564502206448583502127866774917064428556368433095682560000, 3639983481521748430892521260443459881470796742937193786669693440000, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 10519552261597852965279386442681599057450602587088490043475414041600, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.02659893035888672 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988807586999915936770048913559904120602655132802180832586371550809 => error : 3.981361795801774e-09
[164368004087466452582490413166899985272665665423257656929303344400, 168555556186474170249629649778586749838977769381324948621621760000, 187014262428406274938300203425450649910232934881573156328451805184, 208679870295533683104133831435857945991878646837700655494453760000, 227498967595109276930782578777716242591924796433574611666855840000, 241495690119326284786028155249807140896478479960709137820831360000, 256825006386666332160141270573281226988540102223840088952036475625, 312709639167593726672990084503020186012205784396209573230541440000, 335444906300951944045898802381428541372787072292362565161843560000, 360752821042450376038387738089218074672517235496861798473093760000, 404442609057972047876946806715939986830088526993021531852188160000, 438132122515529069774235170457376054037925971973698044293020160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 519484062301128541495278342848474027528424819115480989801255014400, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 657472016349865810329961652667599941090662661693030627717213377600, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 1341779625203807776183595209525714165491148289169450260647374240000, 1556146784260037420899317521106745422699793282113681959093996160000, 1826311156527405028694337924076666503029618504702862854770037160000, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 12987101557528213537381958571211850688210620477887024745031375360000, 21468474003260924418937523352411426647858372626711204170357987840000, 65747201634986581032996165266759994109066266169303062771721337760000, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.05699801445007324 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806824690461912797207749476210328136623119396740672588287902148 => error : 1.0827233554167037e-09
[164368004087466452582490413166899985272665665423257656929303344400, 172905198251115268988813057900749491411088142457075773232666240000, 182125212285281387903036468882991673432316526784773027068480160000, 187014262428406274938300203425450649910232934881573156328451805184, 234340660761814501342824380545368657996226388663143017230461440000, 265042888929147215048611399412486748738992254650755607041456640000, 282707666261699891568916593460940582033071824431295083135592960000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 347753793771829850091880543559722282890929011143421158461997158400, 374494562534633427030238036407319297168052779889230688624970240000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 728500849141125551612145875531966693729266107139092108273920640000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 1027300025546665328640565082293124907954160408895360355808145902500, 1168839140177539218364376271409066561938955843009832227052823782400, 1341779625203807776183595209525714165491148289169450260647374240000, 1556146784260037420899317521106745422699793282113681959093996160000, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 3639983481521748430892521260443459881470796742937193786669693440000, 4109200102186661314562260329172499631816641635581441423232583610000, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 0.4773101806640625 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806376599994579118806952180943989271970963749267022384176898964 => error : -6.211151593049635e-10
[164368004087466452582490413166899985272665665423257656929303344400, 168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 182125212285281387903036468882991673432316526784773027068480160000, 192102853571911120622340877331658127418747308018416545717228160000, 197401994025105141026072179446079922264038329650750423033879040000, 208679870295533683104133831435857945991878646837700655494453760000, 227498967595109276930782578777716242591924796433574611666855840000, 292209785044384804591094067852266640484738960752458056763205945600, 323778155173833578494287055791985197213007158728485381455075840000, 347753793771829850091880543559722282890929011143421158461997158400, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 568931977371436071675467087219123799753953628290345594563299840000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 728500849141125551612145875531966693729266107139092108273920640000, 811693847345513346086372410700740668013163779867939046564460960000, 909995870380437107723130315110864970367699185734298446667423360000, 1027300025546665328640565082293124907954160408895360355808145902500, 1341779625203807776183595209525714165491148289169450260647374240000, 1556146784260037420899317521106745422699793282113681959093996160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2385386000362324935437502594712380738650930291856800463373109760000, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 3639983481521748430892521260443459881470796742937193786669693440000, 4109200102186661314562260329172499631816641635581441423232583610000, 5367118500815231104734380838102856661964593156677801042589496960000, 7305244626109620114777351696306666012118474018811451419080148640000, 8693844844295746252297013588993057072273225278585528961549928960000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 1.0288219451904297 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806379463593820844556873606861951863730502311422172949891662381 => error : -6.102265359686498e-10
[164368004087466452582490413166899985272665665423257656929303344400, 168555556186474170249629649778586749838977769381324948621621760000, 172905198251115268988813057900749491411088142457075773232666240000, 192102853571911120622340877331658127418747308018416545717228160000, 202923461836378336521593102675185167003290944966984761641115240000, 227498967595109276930782578777716242591924796433574611666855840000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 282707666261699891568916593460940582033071824431295083135592960000, 302199145693704480473409550206308504954053507241841138853071360000, 323778155173833578494287055791985197213007158728485381455075840000, 360752821042450376038387738089218074672517235496861798473093760000, 374494562534633427030238036407319297168052779889230688624970240000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 625791330255672395317036671188673352614551016483550865168079360000, 657472016349865810329961652667599941090662661693030627717213377600, 728500849141125551612145875531966693729266107139092108273920640000, 1027300025546665328640565082293124907954160408895360355808145902500, 1094646437211014876720019400903392201607763016346356924399106560000, 1250838556670374906691960338012080744048823137584838292922165760000, 1443011284169801504153550952356872298690068941987447193892375040000, 1683128361855656474444701830829055849192096413934158406956066246656, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2173461211073936563074253397248264268068306319646382240387482240000, 2914003396564502206448583502127866774917064428556368433095682560000, 3639983481521748430892521260443459881470796742937193786669693440000, 4109200102186661314562260329172499631816641635581441423232583610000, 5367118500815231104734380838102856661964593156677801042589496960000, 7305244626109620114777351696306666012118474018811451419080148640000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 65747201634986581032996165266759994109066266169303062771721337760000, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 5.599318027496338 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806393243090293716176007505753996627984797101061742034952419684 => error : -5.578306705444902e-10
[172905198251115268988813057900749491411088142457075773232666240000, 177425404985627474536673746714144021883127046501745489011223040000, 182125212285281387903036468882991673432316526784773027068480160000, 187014262428406274938300203425450649910232934881573156328451805184, 192102853571911120622340877331658127418747308018416545717228160000, 214684740032609244189375233524114266478583726267112041703579878400, 248983485481605987343890803377079267631966925138189113455039385600, 265042888929147215048611399412486748738992254650755607041456640000, 282707666261699891568916593460940582033071824431295083135592960000, 302199145693704480473409550206308504954053507241841138853071360000, 323778155173833578494287055791985197213007158728485381455075840000, 347753793771829850091880543559722282890929011143421158461997158400, 374494562534633427030238036407319297168052779889230688624970240000, 404442609057972047876946806715939986830088526993021531852188160000, 438132122515529069774235170457376054037925971973698044293020160000, 497143301587800234654035276119168197422051161960703688254981760000, 519484062301128541495278342848474027528424819115480989801255014400, 543365302768484140768563349312066067017076579911595560096870560000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 728500849141125551612145875531966693729266107139092108273920640000, 1027300025546665328640565082293124907954160408895360355808145902500, 1250838556670374906691960338012080744048823137584838292922165760000, 1341779625203807776183595209525714165491148289169450260647374240000, 1443011284169801504153550952356872298690068941987447193892375040000, 1556146784260037420899317521106745422699793282113681959093996160000, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 10519552261597852965279386442681599057450602587088490043475414041600, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 6.432955741882324 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806494252352573802320766175362580166684392627919631327635386829 => error : -1.7374879313081237e-10
[168555556186474170249629649778586749838977769381324948621621760000, 187014262428406274938300203425450649910232934881573156328451805184, 197401994025105141026072179446079922264038329650750423033879040000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 256825006386666332160141270573281226988540102223840088952036475625, 265042888929147215048611399412486748738992254650755607041456640000, 302199145693704480473409550206308504954053507241841138853071360000, 335444906300951944045898802381428541372787072292362565161843560000, 347753793771829850091880543559722282890929011143421158461997158400, 360752821042450376038387738089218074672517235496861798473093760000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 476213321032044045508347054897310957784092466595223632570186240000, 519484062301128541495278342848474027528424819115480989801255014400, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 691620793004461075955252231602997965644352569828303092930664960000, 768411414287644482489363509326632509674989232073666182868912640000, 909995870380437107723130315110864970367699185734298446667423360000, 1027300025546665328640565082293124907954160408895360355808145902500, 1094646437211014876720019400903392201607763016346356924399106560000, 1168839140177539218364376271409066561938955843009832227052823782400, 1341779625203807776183595209525714165491148289169450260647374240000, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2385386000362324935437502594712380738650930291856800463373109760000, 3639983481521748430892521260443459881470796742937193786669693440000, 5367118500815231104734380838102856661964593156677801042589496960000, 7305244626109620114777351696306666012118474018811451419080148640000, 10519552261597852965279386442681599057450602587088490043475414041600, 12987101557528213537381958571211850688210620477887024745031375360000, 21468474003260924418937523352411426647858372626711204170357987840000, 65747201634986581032996165266759994109066266169303062771721337760000, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 6.666385889053345 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806495275797178266039204763247677698464394303147998757936585609 => error : -1.6985723938489627e-10
[187014262428406274938300203425450649910232934881573156328451805184, 192102853571911120622340877331658127418747308018416545717228160000, 197401994025105141026072179446079922264038329650750423033879040000, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 234340660761814501342824380545368657996226388663143017230461440000, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 335444906300951944045898802381428541372787072292362565161843560000, 360752821042450376038387738089218074672517235496861798473093760000, 389036696065009355224829380276686355674948320528420489773499040000, 404442609057972047876946806715939986830088526993021531852188160000, 438132122515529069774235170457376054037925971973698044293020160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 691620793004461075955252231602997965644352569828303092930664960000, 811693847345513346086372410700740668013163779867939046564460960000, 965982760477305139144112620999228563585913919842836551283325440000, 1094646437211014876720019400903392201607763016346356924399106560000, 1250838556670374906691960338012080744048823137584838292922165760000, 1443011284169801504153550952356872298690068941987447193892375040000, 1826311156527405028694337924076666503029618504702862854770037160000, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 3639983481521748430892521260443459881470796742937193786669693440000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 7305244626109620114777351696306666012118474018811451419080148640000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 14.697079420089722 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806572899421018326826229126231807163184989716610654617522399856 => error : 1.253023240721518e-10
[164368004087466452582490413166899985272665665423257656929303344400, 168555556186474170249629649778586749838977769381324948621621760000, 177425404985627474536673746714144021883127046501745489011223040000, 182125212285281387903036468882991673432316526784773027068480160000, 192102853571911120622340877331658127418747308018416545717228160000, 197401994025105141026072179446079922264038329650750423033879040000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 227498967595109276930782578777716242591924796433574611666855840000, 248983485481605987343890803377079267631966925138189113455039385600, 265042888929147215048611399412486748738992254650755607041456640000, 282707666261699891568916593460940582033071824431295083135592960000, 292209785044384804591094067852266640484738960752458056763205945600, 323778155173833578494287055791985197213007158728485381455075840000, 335444906300951944045898802381428541372787072292362565161843560000, 360752821042450376038387738089218074672517235496861798473093760000, 404442609057972047876946806715939986830088526993021531852188160000, 438132122515529069774235170457376054037925971973698044293020160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 657472016349865810329961652667599941090662661693030627717213377600, 728500849141125551612145875531966693729266107139092108273920640000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 1094646437211014876720019400903392201607763016346356924399106560000, 1443011284169801504153550952356872298690068941987447193892375040000, 1683128361855656474444701830829055849192096413934158406956066246656, 1988573206351200938616141104476672789688204647842814753019927040000, 2385386000362324935437502594712380738650930291856800463373109760000, 2629888065399463241319846610670399764362650646772122510868853510400, 3246775389382053384345489642802962672052655119471756186257843840000, 3639983481521748430892521260443459881470796742937193786669693440000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 10519552261597852965279386442681599057450602587088490043475414041600, 16436800408746645258249041316689998527266566542325765692930334440000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 19.21496558189392 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806527440488191698561971148162303239667657988448697618525255645 => error : -4.7552628501534855e-11
[172905198251115268988813057900749491411088142457075773232666240000, 182125212285281387903036468882991673432316526784773027068480160000, 197401994025105141026072179446079922264038329650750423033879040000, 202923461836378336521593102675185167003290944966984761641115240000, 220952578483466770957349011608519198854244960871423861446658560000, 241495690119326284786028155249807140896478479960709137820831360000, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 292209785044384804591094067852266640484738960752458056763205945600, 302199145693704480473409550206308504954053507241841138853071360000, 323778155173833578494287055791985197213007158728485381455075840000, 335444906300951944045898802381428541372787072292362565161843560000, 360752821042450376038387738089218074672517235496861798473093760000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 476213321032044045508347054897310957784092466595223632570186240000, 543365302768484140768563349312066067017076579911595560096870560000, 657472016349865810329961652667599941090662661693030627717213377600, 858738960130436976757500934096457065914334905068448166814319513600, 1027300025546665328640565082293124907954160408895360355808145902500, 1168839140177539218364376271409066561938955843009832227052823782400, 1341779625203807776183595209525714165491148289169450260647374240000, 1443011284169801504153550952356872298690068941987447193892375040000, 1683128361855656474444701830829055849192096413934158406956066246656, 2173461211073936563074253397248264268068306319646382240387482240000, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 3639983481521748430892521260443459881470796742937193786669693440000, 4109200102186661314562260329172499631816641635581441423232583610000, 8693844844295746252297013588993057072273225278585528961549928960000, 12987101557528213537381958571211850688210620477887024745031375360000, 29220978504438480459109406785226664048473896075245805676320594560000, 65747201634986581032996165266759994109066266169303062771721337760000, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 19.997374296188354 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806544744543069063404187578896026359587103239256878151290113689 => error : 1.8244961097479973e-11
[164368004087466452582490413166899985272665665423257656929303344400, 177425404985627474536673746714144021883127046501745489011223040000, 182125212285281387903036468882991673432316526784773027068480160000, 197401994025105141026072179446079922264038329650750423033879040000, 202923461836378336521593102675185167003290944966984761641115240000, 214684740032609244189375233524114266478583726267112041703579878400, 227498967595109276930782578777716242591924796433574611666855840000, 234340660761814501342824380545368657996226388663143017230461440000, 241495690119326284786028155249807140896478479960709137820831360000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 323778155173833578494287055791985197213007158728485381455075840000, 374494562534633427030238036407319297168052779889230688624970240000, 404442609057972047876946806715939986830088526993021531852188160000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 456577789131851257173584481019166625757404626175715713692509290000, 497143301587800234654035276119168197422051161960703688254981760000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 768411414287644482489363509326632509674989232073666182868912640000, 965982760477305139144112620999228563585913919842836551283325440000, 1094646437211014876720019400903392201607763016346356924399106560000, 1168839140177539218364376271409066561938955843009832227052823782400, 1443011284169801504153550952356872298690068941987447193892375040000, 1826311156527405028694337924076666503029618504702862854770037160000, 2385386000362324935437502594712380738650930291856800463373109760000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4109200102186661314562260329172499631816641635581441423232583610000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 7305244626109620114777351696306666012118474018811451419080148640000, 10519552261597852965279386442681599057450602587088490043475414041600, 16436800408746645258249041316689998527266566542325765692930334440000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 26.917592525482178 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806536108093028908126191080159128542000604309126838902018011229 => error : -1.4594547792512458e-11
[164368004087466452582490413166899985272665665423257656929303344400, 182125212285281387903036468882991673432316526784773027068480160000, 187014262428406274938300203425450649910232934881573156328451805184, 202923461836378336521593102675185167003290944966984761641115240000, 208679870295533683104133831435857945991878646837700655494453760000, 227498967595109276930782578777716242591924796433574611666855840000, 234340660761814501342824380545368657996226388663143017230461440000, 241495690119326284786028155249807140896478479960709137820831360000, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 292209785044384804591094067852266640484738960752458056763205945600, 312709639167593726672990084503020186012205784396209573230541440000, 335444906300951944045898802381428541372787072292362565161843560000, 374494562534633427030238036407319297168052779889230688624970240000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 476213321032044045508347054897310957784092466595223632570186240000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 728500849141125551612145875531966693729266107139092108273920640000, 858738960130436976757500934096457065914334905068448166814319513600, 1027300025546665328640565082293124907954160408895360355808145902500, 1683128361855656474444701830829055849192096413934158406956066246656, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 3246775389382053384345489642802962672052655119471756186257843840000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 7305244626109620114777351696306666012118474018811451419080148640000, 8693844844295746252297013588993057072273225278585528961549928960000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 79.7103636264801 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806538011650536736824940386123402605861918771580519518578096320 => error : -7.356559805771212e-12
[172905198251115268988813057900749491411088142457075773232666240000, 177425404985627474536673746714144021883127046501745489011223040000, 182125212285281387903036468882991673432316526784773027068480160000, 192102853571911120622340877331658127418747308018416545717228160000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 227498967595109276930782578777716242591924796433574611666855840000, 248983485481605987343890803377079267631966925138189113455039385600, 273661609302753719180004850225848050401940754086589231099776640000, 282707666261699891568916593460940582033071824431295083135592960000, 302199145693704480473409550206308504954053507241841138853071360000, 312709639167593726672990084503020186012205784396209573230541440000, 360752821042450376038387738089218074672517235496861798473093760000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 497143301587800234654035276119168197422051161960703688254981760000, 519484062301128541495278342848474027528424819115480989801255014400, 543365302768484140768563349312066067017076579911595560096870560000, 568931977371436071675467087219123799753953628290345594563299840000, 657472016349865810329961652667599941090662661693030627717213377600, 728500849141125551612145875531966693729266107139092108273920640000, 768411414287644482489363509326632509674989232073666182868912640000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1094646437211014876720019400903392201607763016346356924399106560000, 1250838556670374906691960338012080744048823137584838292922165760000, 1341779625203807776183595209525714165491148289169450260647374240000, 1443011284169801504153550952356872298690068941987447193892375040000, 1683128361855656474444701830829055849192096413934158406956066246656, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2385386000362324935437502594712380738650930291856800463373109760000, 2629888065399463241319846610670399764362650646772122510868853510400, 2914003396564502206448583502127866774917064428556368433095682560000, 3639983481521748430892521260443459881470796742937193786669693440000, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 10519552261597852965279386442681599057450602587088490043475414041600, 16436800408746645258249041316689998527266566542325765692930334440000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 135.4487006664276 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806539241772386849190675953334256922729128938699981098694209645 => error : -2.6789681584205027e-12
[164368004087466452582490413166899985272665665423257656929303344400, 168555556186474170249629649778586749838977769381324948621621760000, 177425404985627474536673746714144021883127046501745489011223040000, 192102853571911120622340877331658127418747308018416545717228160000, 197401994025105141026072179446079922264038329650750423033879040000, 208679870295533683104133831435857945991878646837700655494453760000, 214684740032609244189375233524114266478583726267112041703579878400, 220952578483466770957349011608519198854244960871423861446658560000, 227498967595109276930782578777716242591924796433574611666855840000, 234340660761814501342824380545368657996226388663143017230461440000, 241495690119326284786028155249807140896478479960709137820831360000, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 282707666261699891568916593460940582033071824431295083135592960000, 302199145693704480473409550206308504954053507241841138853071360000, 347753793771829850091880543559722282890929011143421158461997158400, 420782090463914118611175457707263962298024103483539601739016561664, 476213321032044045508347054897310957784092466595223632570186240000, 519484062301128541495278342848474027528424819115480989801255014400, 543365302768484140768563349312066067017076579911595560096870560000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 625791330255672395317036671188673352614551016483550865168079360000, 691620793004461075955252231602997965644352569828303092930664960000, 728500849141125551612145875531966693729266107139092108273920640000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 965982760477305139144112620999228563585913919842836551283325440000, 1027300025546665328640565082293124907954160408895360355808145902500, 1168839140177539218364376271409066561938955843009832227052823782400, 1250838556670374906691960338012080744048823137584838292922165760000, 1443011284169801504153550952356872298690068941987447193892375040000, 1683128361855656474444701830829055849192096413934158406956066246656, 2385386000362324935437502594712380738650930291856800463373109760000, 4109200102186661314562260329172499631816641635581441423232583610000, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 10519552261597852965279386442681599057450602587088490043475414041600, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 65747201634986581032996165266759994109066266169303062771721337760000, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 336.87179946899414 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806539606807058471013491283034162975862934690994354000102856564 => error : -1.290967333034132e-12
[164368004087466452582490413166899985272665665423257656929303344400, 172905198251115268988813057900749491411088142457075773232666240000, 182125212285281387903036468882991673432316526784773027068480160000, 192102853571911120622340877331658127418747308018416545717228160000, 202923461836378336521593102675185167003290944966984761641115240000, 220952578483466770957349011608519198854244960871423861446658560000, 227498967595109276930782578777716242591924796433574611666855840000, 248983485481605987343890803377079267631966925138189113455039385600, 273661609302753719180004850225848050401940754086589231099776640000, 282707666261699891568916593460940582033071824431295083135592960000, 302199145693704480473409550206308504954053507241841138853071360000, 323778155173833578494287055791985197213007158728485381455075840000, 335444906300951944045898802381428541372787072292362565161843560000, 347753793771829850091880543559722282890929011143421158461997158400, 360752821042450376038387738089218074672517235496861798473093760000, 374494562534633427030238036407319297168052779889230688624970240000, 389036696065009355224829380276686355674948320528420489773499040000, 420782090463914118611175457707263962298024103483539601739016561664, 438132122515529069774235170457376054037925971973698044293020160000, 476213321032044045508347054897310957784092466595223632570186240000, 519484062301128541495278342848474027528424819115480989801255014400, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 691620793004461075955252231602997965644352569828303092930664960000, 728500849141125551612145875531966693729266107139092108273920640000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 909995870380437107723130315110864970367699185734298446667423360000, 1027300025546665328640565082293124907954160408895360355808145902500, 1250838556670374906691960338012080744048823137584838292922165760000, 1341779625203807776183595209525714165491148289169450260647374240000, 1556146784260037420899317521106745422699793282113681959093996160000, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2385386000362324935437502594712380738650930291856800463373109760000, 2914003396564502206448583502127866774917064428556368433095682560000, 3639983481521748430892521260443459881470796742937193786669693440000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 6224587137040149683597270084426981690799173128454727836375984640000, 7305244626109620114777351696306666012118474018811451419080148640000, 8693844844295746252297013588993057072273225278585528961549928960000, 12987101557528213537381958571211850688210620477887024745031375360000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 805.7025029659271 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806539900926842598484975087161691901486567562192560139810199689 => error : -1.7252865802674933e-13
[164368004087466452582490413166899985272665665423257656929303344400, 172905198251115268988813057900749491411088142457075773232666240000, 182125212285281387903036468882991673432316526784773027068480160000, 197401994025105141026072179446079922264038329650750423033879040000, 208679870295533683104133831435857945991878646837700655494453760000, 220952578483466770957349011608519198854244960871423861446658560000, 227498967595109276930782578777716242591924796433574611666855840000, 234340660761814501342824380545368657996226388663143017230461440000, 241495690119326284786028155249807140896478479960709137820831360000, 256825006386666332160141270573281226988540102223840088952036475625, 273661609302753719180004850225848050401940754086589231099776640000, 347753793771829850091880543559722282890929011143421158461997158400, 360752821042450376038387738089218074672517235496861798473093760000, 404442609057972047876946806715939986830088526993021531852188160000, 420782090463914118611175457707263962298024103483539601739016561664, 456577789131851257173584481019166625757404626175715713692509290000, 476213321032044045508347054897310957784092466595223632570186240000, 543365302768484140768563349312066067017076579911595560096870560000, 596346500090581233859375648678095184662732572964200115843277440000, 691620793004461075955252231602997965644352569828303092930664960000, 728500849141125551612145875531966693729266107139092108273920640000, 768411414287644482489363509326632509674989232073666182868912640000, 811693847345513346086372410700740668013163779867939046564460960000, 858738960130436976757500934096457065914334905068448166814319513600, 965982760477305139144112620999228563585913919842836551283325440000, 1094646437211014876720019400903392201607763016346356924399106560000, 1250838556670374906691960338012080744048823137584838292922165760000, 1443011284169801504153550952356872298690068941987447193892375040000, 1556146784260037420899317521106745422699793282113681959093996160000, 1826311156527405028694337924076666503029618504702862854770037160000, 2173461211073936563074253397248264268068306319646382240387482240000, 2385386000362324935437502594712380738650930291856800463373109760000, 3246775389382053384345489642802962672052655119471756186257843840000, 4675356560710156873457505085636266247755823372039328908211295129600, 6224587137040149683597270084426981690799173128454727836375984640000, 8693844844295746252297013588993057072273225278585528961549928960000, 12987101557528213537381958571211850688210620477887024745031375360000, 16436800408746645258249041316689998527266566542325765692930334440000, 29220978504438480459109406785226664048473896075245805676320594560000, 42078209046391411861117545770726396229802410348353960173901656166400, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 2143.587984085083 (s)
262988806539946324131984661067039976436265064677212251086885351040000
262988806539975575762329081823214212076843860392243438517033515255225 => error : 1.1124434706744069e-13
[164368004087466452582490413166899985272665665423257656929303344400, 177425404985627474536673746714144021883127046501745489011223040000, 192102853571911120622340877331658127418747308018416545717228160000, 208679870295533683104133831435857945991878646837700655494453760000, 227498967595109276930782578777716242591924796433574611666855840000, 234340660761814501342824380545368657996226388663143017230461440000, 248983485481605987343890803377079267631966925138189113455039385600, 256825006386666332160141270573281226988540102223840088952036475625, 282707666261699891568916593460940582033071824431295083135592960000, 323778155173833578494287055791985197213007158728485381455075840000, 374494562534633427030238036407319297168052779889230688624970240000, 404442609057972047876946806715939986830088526993021531852188160000, 438132122515529069774235170457376054037925971973698044293020160000, 476213321032044045508347054897310957784092466595223632570186240000, 497143301587800234654035276119168197422051161960703688254981760000, 568931977371436071675467087219123799753953628290345594563299840000, 596346500090581233859375648678095184662732572964200115843277440000, 657472016349865810329961652667599941090662661693030627717213377600, 691620793004461075955252231602997965644352569828303092930664960000, 811693847345513346086372410700740668013163779867939046564460960000, 909995870380437107723130315110864970367699185734298446667423360000, 1168839140177539218364376271409066561938955843009832227052823782400, 1443011284169801504153550952356872298690068941987447193892375040000, 1826311156527405028694337924076666503029618504702862854770037160000, 1988573206351200938616141104476672789688204647842814753019927040000, 2385386000362324935437502594712380738650930291856800463373109760000, 2914003396564502206448583502127866774917064428556368433095682560000, 3246775389382053384345489642802962672052655119471756186257843840000, 4675356560710156873457505085636266247755823372039328908211295129600, 5367118500815231104734380838102856661964593156677801042589496960000, 8693844844295746252297013588993057072273225278585528961549928960000, 16436800408746645258249041316689998527266566542325765692930334440000, 21468474003260924418937523352411426647858372626711204170357987840000, 65747201634986581032996165266759994109066266169303062771721337760000, 116883914017753921836437627140906656193895584300983222705282378240000]
timing : 28513.578522205353 (s)