-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathCi-4pt-Kite-case2.txt
3365 lines (3361 loc) · 242 KB
/
Ci-4pt-Kite-case2.txt
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
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
C1case2 =
((-34123951240089883406225276336502386455164336620717841544002089779200 +
855567814121136705818443233526442709997944984418179816821613330675253\
248*t -
919455981085529387240400023113239028725070040640679538777582411164234\
3899648*t^2 + 590250771190708103871783882919691686611613865426388778071699420\
08343243156337408*t^3 - 25868915521126148479639151907533165695815899366221509\
8646868636003684392500480955170*t^4 + 828566014438669211016752273688582857500\
693455965716751144366183859158952631544939303792*t^5 - 2013413821262774811809\
862725886541315988149149559379472819180114017142883923881570794132113*t^6 +
378480785489869581995028209386246097033324783863385575922589846476861\
6495916926801199496428215*t^7 - 554170139157404234037516700586117537930033849\
8652478839523744826065629225251142979221128469430260*t^8 +
629958252477682799382407749271233252038204200833115893617715182088870\
6582675463308730978419737773200*t^9 - 549050621239319689022870458163977172708\
4525880710523063366063188544531106913957424051339486798275320800*t^10 +
358820945914133725722210613913343324144908580728432818982783690590837\
8952606503023609444062844953071252625*t^11 - 16990889148075161484407963198570\
28428985074836557516456669153946081998881990564360845983077948119173347434375*
t^12 + 5538573348049147204285788886003893015148322708541078070811637\
80372806711524707994432559647276255391427343800000*t^13 -
115252526396962522549668344338529655846772669719182359532127306099911\
198557003334795003198243408650966038685312500*t^14 + 138512797084164957392480\
98216485552772328342727222893768641385331058393589127964806305186710970968359\
191362687500000*t^15 - 900305234431495270071389348652969323011408661756412198\
303382167697189269800661703578251699243664944537383064062500000*t^16 +
251350682522234734161228304964013645655041613113402810949143666041165\
83840061438495494673025515952584857375781250000000*t^17)*x1*x2)/
(-128728932678037004778762386557656706778264667762797182495956841101424\
1894400*t^2 + 205873230620534483420523769666062847621376650464773865501055244\
31947450196503040*t^3 - 14925698091763599114781785334395602366481318187890718\
5126673371276973257787796920320*t^4 + 650675986253236687450970507794924746383\
264469399106362628662613161347446943789336351850*t^5 -
1907381275394841721356260366262944403163058185835864417594711665453454\
818899713228356821045*t^6 + 3982589462151877416814315493912478927791079983862\
542966386061140163527167886824560088931043535*t^7 - 6120660517709813752514144\
426595199152927533923090982344010004716155427105619056349657711927587100*
t^8 + 705560860974245388135615993175941313522710693160637414736856333\
5335655750195975367703353309330331550*t^9 - 615874192278245043804972827132219\
4749281817638375817969675665382187479910499190352321915875009437677000*t^10 +
4076372426491210600158291581069902637935130805016958019019844467751753\
398045970902033417098141487009126875*t^11 - 202926915850524901203872187222929\
6590877070275626850324969642346746754456106286072182486973229315293526740625*
t^12 + 74282257807449113257558277874227570214003588487391142430931479\
0388779570219195213797307197118982184015560531250*t^13 -
1907989167273228470079897591744822945847326003463884771547190357011455\
76561788044404030605690359302672917979687500*t^14 + 3146507547978210051335001\
90355947464762431902020986560439102244606710865464490333497556867094883500678\
57112734375000*t^15 - 2827438223372044530590684966131192260754702759351842847\
988808511942026344424265545508558477546985970951911203125000000*t^16 +
1021327726390425621355831266426875592014928662936760883649330335166095\
85217036214271091276727343607053289615234375000000*t^17) +
((268583967950669939758406914290568010215012855334467235374694400 -
6071622161904598548223796393572452512895490567703950514104725774336*
t + 5707084426767420974330921599741969896132023807965272530661845901\
7925376*t^2 -
316550892800113506774230868801766608646769630739348815263098817402920\
236928*t^3 + 1187541410214313036384250523174356908801659192822733923295374264\
903924346860387*t^4 - 3219333688092817778287836611531051908071453010651976506\
881003968748065069297755995*t^5 + 6516459516637218029357525114468338780489574\
522371447267972824026893654514408877206940*t^6 - 9963224225868094074962589524\
386650357736933427044927665257944443748319254609951652726850*t^7 +
114508682077874966195283086309682983065400133861052231623314520919497\
95523756406898085776700*t^8 - 97025956244295728216921268942581750992748000636\
97377225245228057590734581244035203358830012375*t^9 + 58518179901980077987412\
42635905724425648365331053269644218518954781812836830583888507695212396875*
t^10 - 2374397256448141559620321384039292560398538527510883870292171\
013203278917548473634438662721563575000*t^11 + 592425967556559479477401548261\
733624685032797130220622832947273463247551785043050186632852310449062500*
t^12 - 7971286165092913674649216404457414018625327799454916214282084\
2761361621278850329977315282512411062500000*t^13 + 55771344337747320362295877\
66744213525972150146077069808683653443735396993234703413866370292140389062500\
000*t^14 - 164234341500854052668704675675148845576550711879474850985582079780\
380140749049294140865739373022656250000000*t^15)*x2^2)/
(1037216442494859437424561973714098032215491642597672890951227468386304\
0*t^2 -
1533415618701600204216038980648629568099205485541782184312746124556938\
73920*t^3 + 10172560567016135326619255737367366766598677117782816547079806407\
19520974166400*t^4 - 40130561247998028662998582903968932845342622214748020865\
23004311519769837232121795*t^5 + 10517408942084928820231175764966825518471217\
569847909728706043328718727125494112316335*t^6 - 1937553045810004546286869496\
3498827020189495439373721707229827464925722391065888199689600*t^7 +
2589487724958050150486686703466485736638710114960348547826759897024315\
9026115232036948578050*t^8 - 255473780137812635166015496656647429749041538106\
19875681999506093683812979021462710867837393250*t^9 + 18741056878795863841890\
812275109717794288632284979961676558220605370869700099577094405311147683125*
t^10 - 10190259567246577387776573808787702538253603865334596873581114\
049901916268002400911071475478767553125*t^11 + 403237393838019505340308615810\
4879493509830160968295771246606061662554079456358418878582793633987406250*
t^12 - 11107786500157474609064367993015313643430447551118832067602965\
15823243680550997482976463810031869948437500*t^13 + 1946050931323314566442781\
27318817611100550129568162529284559797312542998829670604736269600323188693984\
375000*t^14 - 182830671762049229542769171052454974278821446044805880290165348\
59766725167405648304617587632099025421875000000*t^15 +
6807638796494296648367268297671290116478174997484354028168957549676073\
05214890447889554799556964302734375000000*t^16) +
(
(
-29329727412170424981537712916415747472826357152997601392563794739200 \
+ 520198542345955291331220785837610173539903852761359287513445800968142848*
t - 3068000807637256117915495992880732176946976746164051679894423300\
255942780416*t^2 + 3864289976105034622911449712373984864900552785932845834927\
246237446635063675392*t^3 + 4411404793854129729929365448086487610172796426446\
3320080179140802896808257221188570*t^4 - 294603401026650868011274101061075225\
224815631748085392570092524642037413381910956617779*t^5 +
969765575070418162510044993676224480558680410188858496697200454888585\
768825684512012371085*t^6 - 2091150429869632917369254900329567158072017493895\
984996915824189550754937233640608062633883680*t^7 + 3222436056382686994664139\
180323127200433084421076628596978914436907449195127202151215014224153950*
t^8 - 37013504301856003471361408404844490884293908695301305816232241\
10703501834990918965003903349864624400*t^9 + 32447958294356575707211512799137\
89024229949407712008725747897431309642761562387061861629430794312833625*
t^10 - 2190266633530705942443909744011149194374577118547492988476633\
893246941032683822664050246437146095223169375*t^11 + 112453275917496129552459\
43459450939747815950955977718073767209113924783451337728418116789057854426394\
47818750*t^12 - 4200274129673597604120531463239083896473857960361068350363511\
86563961291024939889187228127776647429131960312500*t^13 +
104114848714907881089263080476366988505290760444930093424077404853649\
798380941093109167174814346641263798265625000*t^14 - 144147383803633648199204\
82599826831442938906680738596039649149046146229417793276836614129340153752486\
958071875000000*t^15 + 765834006935825866606412091487823500055279190015869893\
298404810691853469785886764060475009820004653646219140625000000*t^16)*x1*x3)/
(-257457865356074009557524773115313413556529335525594364991913682202848\
3788800*t^2 + 411746461241068966841047539332125695242753300929547731002110488\
63894900393006080*t^3 - 29851396183527198229563570668791204732962636375781437\
0253346742553946515575593840640*t^4 + 130135197250647337490194101558984949276\
6528938798212725257325226322694893887578672703700*t^5 -
3814762550789683442712520732525888806326116371671728835189423330906909\
637799426456713642090*t^6 + 7965178924303754833628630987824957855582159967725\
085932772122280327054335773649120177862087070*t^7 - 1224132103541962750502828\
8853190398305855067846181964688020009432310854211238112699315423855174200*
t^8 + 141112172194849077627123198635188262704542138632127482947371266\
70671311500391950735406706618660663100*t^9 - 12317483845564900876099456542644\
389498563635276751635939351330764374959820998380704643831750018875354000*
t^10 + 81527448529824212003165831621398052758702616100339160380396889\
35503506796091941804066834196282974018253750*t^11 - 4058538317010498024077443\
74445859318175414055125370064993928469349350891221257214436497394645863058705\
3481250*t^12 + 14856451561489822651511655574845514042800717697478228486186295\
80777559140438390427594614394237964368031121062500*t^13 -
3815978334546456940159795183489645891694652006927769543094380714022911\
53123576088808061211380718605345835959375000*t^14 + 6293015095956420102670003\
80711894929524863804041973120878204489213421730928980666995113734189767001357\
14225468750000*t^15 - 5654876446744089061181369932262384521509405518703685695\
977617023884052688848531091017116955093971941903822406250000000*t^16 +
2042655452780851242711662532853751184029857325873521767298660670332191\
70434072428542182553454687214106579230468750000000*t^17) +
(
(
-26539690936264534909090641203139210362801774823928546277980530278400 \
+ 814814325724574927481573198905341683040832209446460237946980282298105856*
t - 1165511721470322626623186396362510652898363790234399965883721598\
3280408179712*t^2 + 960337974415842865867077453720740886441412442018995607181\
32979653890477618000896*t^3 - 51094567355156692918565333774723708478113635033\
5308474484068393540071651909586649396*t^4 + 188300860532920611873378348375637\
7046746261178264907368250746023621190754207998836368150*t^5 -
501477941812586630867497958021289208335255681239569502490010861337793\
2192689522949892944400*t^6 + 988458656929464640154652825809637910102289604565\
6605199462307784609828661136058600268287439510*t^7 - 145780939439448384351277\
70508838278968748190271498184824481212235228407957173031824486113577714550*
t^8 + 16097059454044637908407977422885597484805853879221096780439174\
753300985877053621184640721239946522725*t^9 - 1318996807218078084429295895322\
3164292970705905930449920340355162332433858903387094948912530125972747375*
t^10 + 7865712735363382175731606141004635759687540706874553432197628\
162655418655376226209028914877372060804080625*t^11 - 330062186004035012090870\
77108347348649765898817858684602274035588060191609414294485469601159354033461\
67103125*t^12 + 9215746823679387108455714238177185228459493760732413076978304\
98978529305442340525292799526419471601394680937500*t^13 -
155685166450429724948097632671714795012309461095002206392657959317375\
969957824047338471661306409907916115367187500*t^14 + 134411851943310275719360\
21260339895993312397823376410603804460253092427743650926193249827785781350765\
686063281250000*t^15 - 453925949335643541563334609039844159252752710089587738\
847391441260156485004845345003642404287469704066417382812500000*t^16)*x2*x3)/
(-128728932678037004778762386557656706778264667762797182495956841101424\
1894400*t^2 + 205873230620534483420523769666062847621376650464773865501055244\
31947450196503040*t^3 - 14925698091763599114781785334395602366481318187890718\
5126673371276973257787796920320*t^4 + 650675986253236687450970507794924746383\
264469399106362628662613161347446943789336351850*t^5 -
1907381275394841721356260366262944403163058185835864417594711665453454\
818899713228356821045*t^6 + 3982589462151877416814315493912478927791079983862\
542966386061140163527167886824560088931043535*t^7 - 6120660517709813752514144\
426595199152927533923090982344010004716155427105619056349657711927587100*
t^8 + 705560860974245388135615993175941313522710693160637414736856333\
5335655750195975367703353309330331550*t^9 - 615874192278245043804972827132219\
4749281817638375817969675665382187479910499190352321915875009437677000*t^10 +
4076372426491210600158291581069902637935130805016958019019844467751753\
398045970902033417098141487009126875*t^11 - 202926915850524901203872187222929\
6590877070275626850324969642346746754456106286072182486973229315293526740625*
t^12 + 74282257807449113257558277874227570214003588487391142430931479\
0388779570219195213797307197118982184015560531250*t^13 -
1907989167273228470079897591744822945847326003463884771547190357011455\
76561788044404030605690359302672917979687500*t^14 + 3146507547978210051335001\
90355947464762431902020986560439102244606710865464490333497556867094883500678\
57112734375000*t^15 - 2827438223372044530590684966131192260754702759351842847\
988808511942026344424265545508558477546985970951911203125000000*t^16 +
1021327726390425621355831266426875592014928662936760883649330335166095\
85217036214271091276727343607053289615234375000000*t^17) +
(
(
-760529880091452427488449783504309238004777755725004537922149207244800 \
+ 36692254054427901033949480365792842496332547056071099491184629319373684736*
t - 6659869799680820820377590408960096397981665775826330795200750420\
94670363951104*t^2 + 63142544415993314016093448437804205526238264133128927980\
38395428877975079150743552*t^3 - 37173615102542814968915069513694012184425364\
854167775700694047629663158368667809736960*t^4 + 1493904020247053730544794214\
81337873913113075595696358115422951900694067322427886862317568*t^5 -
432935198096985741476167703408981300645251201289122116117949881543592\
913226205012072476677504*t^6 + 9344612306319628259910588261615249073417263626\
74629409625602600338196814611642743808070197178660*t^7 -
152929714742407569277402264396874245758434803878934433809436140813423\
7576652921858263138036621914580*t^8 + 191168688217625449179765169948618694678\
9304148139456136092697677593486866589547419242506152386969325800*t^9 -
182270999275765681719478056232106494107802242264488018199164368410800\
6717274941961279406829478713126530000*t^10 + 13121630544125164453988900257987\
48847370951877075787324870190614502138731700004839789104468913005056944795500*
t^11 - 6988000908206939106734983180735752528378427831953213051770490\
44529533189478610478129158307958673284812023187500*t^12 +
265930578888026698582586910685669628000686221484742350356441266488082\
784024693402647435674468660881198834705775000*t^13 - 683044258319264320109447\
20410265696634901905916115489977944771312220414373157872520632487606761959990\
596106552250000*t^14 + 107489886989992856024806027480833725828075173182670578\
13407518954131944440053214457796797625099458615148421556862500000*t^15 -
872528226087951441112258176070665161749095540646406869954538645887850\
634467022136666805652870628264128819280222500000000*t^16 +
276537820014797175647707105898540511963207598896102500477873178636149\
63663207157561743946791735913787831522093312500000000*t^17)*x3^2)/
(-823865169139436830584079273969002923380893873681901967974123783049114\
81241600*t^2 + 15539607421548322420661156200599714697630601459206009257058295\
15275071909225922560*t^3 - 13441197636364452689217625254632642064482699567135\
620986449872973516430534617948743680*t^4 + 7078515108415680407485020988626650\
4163845210271678423822793730960877009488470628816090240*t^5 -
2541305107271992067313866984298809717185718577879637295146317554810793\
44292982823482992407400*t^6 + 65996504941143185064991417435419114149780722284\
0296062233360801056647704679421242221353467326990*t^7 -
1283779969393937595604018992680744436351665259286047442356328884247423\
310091172342801586307003336345*t^8 + 1911130131800755494685434283919986625335\
062803432415589470583632738852862571668754500549901276773801335*t^9 -
2205625468839400388097483593015901879391254915868269145013225273232661\
768135590815380822978554933043322100*t^10 + 198647864619009447951173619905436\
4170772664477373129238141538074425517892258848133104459359945610161566669550*
t^11 - 13975017745705880120395386517716927758009498282592527529119177\
09606307770468192130332127619929942407377990384500*t^12 +
7637555818298619573739965258465243725012695848319545971549570385829561\
98729895542573429093272739359645294226864375*t^13 - 3196568541008237856912818\
82497375707420110186585783444194366855401170828968943009907282264145256117600\
311316578990625*t^14 + 996613423140578478530092432365775445113211175518685491\
63585806771353016142277160226385187162207045397257687665845531250*t^15 -
2204115909481507241320916421417214804422936542621382150605646142066844\
3817879002282112218157090573927330435955727854687500*t^16 +
3177925861137746907132502657460908794793280987317620168421502968578638\
346514124825944917346178086502691678142136072109375000*t^17 -
2570805392404986148687123890205877111169024500234115037549529925691908\
40491121639361454306318111693874985528865167765625000000*t^18 +
8608849128784875873798086923471509450326386035965206975783451109153528\
077838332665469344015809382147006749221502662109375000000*t^19) +
((-425009712432349661211939492224973697178192764756992123315212727091200\
0 +
191026758086211864266071834371666642702198371294826317699679076268400\
181248*t - 328427640192749521421847829722826653314720957225465180322817244480\
1098038050816*t^2 + 308263141068179542005637681012061471776642560390546689316\
88475855350572835017510912*t^3 - 18512688860726037943401911837463897624030019\
8295951816784069715580309464861478687862528*t^4 + 775075437365024150469228410\
544372897427642910625655715952640807459185781991251697091681952*t^5 -
237973419785512952320132601779239009130785633206838651253590755947396\
7091364001134835506039978*t^6 + 552595331914654227129306787138318824207643022\
9921094450409284436522572141451558181305011334604013*t^7 -
988352733283955071921319570989924796931322970248686024191954233855774\
9715697734132442697494501431835*t^8 + 137440045152993496844834928683225355948\
46578851849904926751432471075816111543679409139240534859571933405*t^9 -
148938971650092416644791039736690477548183653590406961155530790257264\
25158854529005778381996742143939211450*t^10 + 1252593806001420843856296504915\
28591845039835750386839726990251652268446208507242094504004164497667642918659\
75*t^11 - 8088115773281456050081268350707397065561177659983695697444053583682\
724987053020701376336686880721102156104718875*t^12 + 393615658892011776731193\
31803280759749533700509166259946716711179946632589570983111719399897650998056\
12910599951875*t^13 - 1403160762703255122691785686429881887582690736198673873\
626933502023730544837021669692631139134980747502587506971206250*t^14 +
351348533554615860520941877370892497957386388953650378002400357348569\
826083157515793125560779062482116231012259685437500*t^15 -
582207102477834899218740629372050412273657903117929678273545450638618\
87905024955972234750339998972932611355810057834375000*t^16 +
590523712894931340729282908462227065304952135111988627958634798676568\
6403768044459853210919232169586204653268867180937500000*t^17 -
336070132234127931647903147707463264013949056768898383811732521751811\
808938486794753416821981184342471140462101856390625000000*t^18 +
839292529125264911209362021585995395412025405082872794103770804844938\
2736288919910502957889128917509988903373523257812500000000*t^19)*x1*x4)/
(-164773033827887366116815854793800584676178774736380393594824756609822\
962483200*t^2 + 3107921484309664484132231240119942939526120291841201851411659\
030550143818451845120*t^3 - 2688239527272890537843525050926528412896539913427\
1241972899745947032861069235897487360*t^4 + 141570302168313608149700419772533\
008327690420543356847645587461921754018976941257632180480*t^5 -
5082610214543984134627733968597619434371437155759274590292635109621586\
88585965646965984814800*t^6 + 13199300988228637012998283487083822829956144456\
80592124466721602113295409358842484442706934653980*t^7 -
2567559938787875191208037985361488872703330518572094884712657768494846\
620182344685603172614006672690*t^8 + 3822260263601510989370868567839973250670\
125606864831178941167265477705725143337509001099802553547602670*t^9 -
4411250937678800776194967186031803758782509831736538290026450546465323\
536271181630761645957109866086644200*t^10 + 397295729238018895902347239810872\
8341545328954746258476283076148851035784517696266208918719891220323133339100*
t^11 - 27950035491411760240790773035433855516018996565185055058238354\
19212615540936384260664255239859884814755980769000*t^12 +
1527511163659723914747993051693048745002539169663909194309914077165912\
397459791085146858186545478719290588453728750*t^13 - 639313708201647571382563\
76499475141484022037317156688838873371080234165793788601981456452829051223520\
0622633157981250*t^14 + 19932268462811569570601848647315508902264223510373709\
8327171613542706032284554320452770374324414090794515375331691062500*t^15 -
4408231818963014482641832842834429608845873085242764301211292284133688\
7635758004564224436314181147854660871911455709375000*t^16 +
6355851722275493814265005314921817589586561974635240336843005937157276\
693028249651889834692356173005383356284272144218750000*t^17 -
5141610784809972297374247780411754222338049000468230075099059851383816\
80982243278722908612636223387749971057730335531250000000*t^18 +
1721769825756975174759617384694301890065277207193041395156690221830705\
6155676665330938688031618764294013498443005324218750000000*t^19) +
((-574543505627866849017167835765143874818106533224312579717069925253120\
0 +
267230189546446847784920755390567536583029727615987067033029190729752\
117248*t - 463424301975599449216466678722327336320032695168482230105294165906\
5030429999104*t^2 + 426802804375158434537452333079249495297002616780452124766\
07953512645500647585589248*t^3 - 24689426237392770331903521985014891143176388\
7091810073623579829057151214276121458265728*t^4 + 982405333792800636787588912\
932210792261700959675310298823275886829335636930331960934169080*t^5 -
283501142290819663431563440183602490889731460389297745960651718332406\
5067716329909404533169848*t^6 + 612328617514639046666668037784700153888615400\
5070612674742358593607867712370215817053592325529399*t^7 -
100773401141957366500347587649265682113891759478032275304857555434452\
82524659469592481887573810944545*t^8 + 12740902375104599198978593181720936792\
031584402118138626066191787261193906623806558249140621444302122275*t^9 -
123812149585888489157344342968670838173961198598496458849535683927045\
96645227803718323750784716981659809300*t^10 + 9189461068906872881356967439986\
57649509249066366101451697035049792520093418797518856624861515669367429267622\
5*t^11 - 51433270516816383361280973234175883063829471313455982973899474532868\
76406741192079913504163501886230412660470875*t^12 + 2131593828618559395426215\
94491948228191835018315369717368911607543128642641445180345848833885661240609\
2227604045625*t^13 - 64160619562305036290856092696390199216749165543051726528\
4180578338811068590692548301093455732381516864400791540462500*t^14 +
139476281667954015742785142851366611336194794162364397730732580407989\
635195618728316561538075050408953909412830601312500*t^15 -
226733401571282110505598563907237337417922990309777114137033607176796\
41650234260941247112415799410710020841851779143750000*t^16 +
286074529293023315009229434027781345346303793679547297994195604536961\
4922508475484085228776305885818510915083138506875000000*t^17 -
234366769084009724940564387449895089289429032812680069409495738169111\
606515186165391129193274279881425881334584381125000000000*t^18 +
839292529125264911209362021585995395412025405082872794103770804844938\
2736288919910502957889128917509988903373523257812500000000*t^19)*x2*x4)/
(-164773033827887366116815854793800584676178774736380393594824756609822\
962483200*t^2 + 3107921484309664484132231240119942939526120291841201851411659\
030550143818451845120*t^3 - 2688239527272890537843525050926528412896539913427\
1241972899745947032861069235897487360*t^4 + 141570302168313608149700419772533\
008327690420543356847645587461921754018976941257632180480*t^5 -
5082610214543984134627733968597619434371437155759274590292635109621586\
88585965646965984814800*t^6 + 13199300988228637012998283487083822829956144456\
80592124466721602113295409358842484442706934653980*t^7 -
2567559938787875191208037985361488872703330518572094884712657768494846\
620182344685603172614006672690*t^8 + 3822260263601510989370868567839973250670\
125606864831178941167265477705725143337509001099802553547602670*t^9 -
4411250937678800776194967186031803758782509831736538290026450546465323\
536271181630761645957109866086644200*t^10 + 397295729238018895902347239810872\
8341545328954746258476283076148851035784517696266208918719891220323133339100*
t^11 - 27950035491411760240790773035433855516018996565185055058238354\
19212615540936384260664255239859884814755980769000*t^12 +
1527511163659723914747993051693048745002539169663909194309914077165912\
397459791085146858186545478719290588453728750*t^13 - 639313708201647571382563\
76499475141484022037317156688838873371080234165793788601981456452829051223520\
0622633157981250*t^14 + 19932268462811569570601848647315508902264223510373709\
8327171613542706032284554320452770374324414090794515375331691062500*t^15 -
4408231818963014482641832842834429608845873085242764301211292284133688\
7635758004564224436314181147854660871911455709375000*t^16 +
6355851722275493814265005314921817589586561974635240336843005937157276\
693028249651889834692356173005383356284272144218750000*t^17 -
5141610784809972297374247780411754222338049000468230075099059851383816\
80982243278722908612636223387749971057730335531250000000*t^18 +
1721769825756975174759617384694301890065277207193041395156690221830705\
6155676665330938688031618764294013498443005324218750000000*t^19) +
((-195564826309230624211315658615393804058371422900715452608552653291520\
0 +
96327258407023611572138300842471004061014675785305571194776801583210430464\
*t - 180785918277217840814029057665430233673754368067172119651550617741098242\
9720576*t^2 + 179667933113582196986892650495345007495655049504246075593948117\
65756447427594887168*t^3 - 11199282698089350156839102674723416672416012152873\
0702592117296886868975350053835251200*t^4 + 480718489583491115027192875110086\
763144258660085082206742104912908273963819703726226904832*t^5 -
150135686093785865079524670585711323553206898613027662320743774972839\
9150332863048556546452736*t^6 + 352760410410985951094045265105711046919785251\
7655145007837966485993968541432586790440464561375160*t^7 -
636007516181080092293997319216924209664679408620661912853429837622376\
9350495045249269463027841199220*t^8 + 888866178643991390363619033876042094762\
5549107413491033987788629086267704292176791268610848419280643100*t^9 -
965325797457328723469233518241935408096684279164626473009932765442595\
4225697125017422042473110553352459000*t^10 + 81092737425318978911238721414551\
49315168710220451616851025924493791799903463558097438556233500641318707767000*
t^11 - 5205726682752014564528826406353514620074561426019853713707328\
446607570035225653802555673472919873726736789077500*t^12 +
249920429593697133429773304378714561098121757130461146300865423879357\
8737587573256061797995809195649412238052662500*t^13 - 86648960600763446998876\
39911719549606601018920271597801192700449579646980294130332164289310191876292\
04505577494125000*t^14 + 2050853971907956152805257985894546285423180672590524\
60841465858212443319328119110289720592054393785357380255096598750000*t^15 -
301679810801264478030186297347383004756912031663316814279996325438386\
74437539157625005323794872137667256113293649937500000*t^16 +
233781340963371883897032681749463126970586801209541334728335099957366\
1876245789484485321691386231633051935144075112500000000*t^17 -
718405750995583805593364817252137030007275740846517710170017679071197\
30602203165751473381772531084604530889895269687500000000*t^18)*x3*x4)/
(-823865169139436830584079273969002923380893873681901967974123783049114\
81241600*t^2 + 15539607421548322420661156200599714697630601459206009257058295\
15275071909225922560*t^3 - 13441197636364452689217625254632642064482699567135\
620986449872973516430534617948743680*t^4 + 7078515108415680407485020988626650\
4163845210271678423822793730960877009488470628816090240*t^5 -
2541305107271992067313866984298809717185718577879637295146317554810793\
44292982823482992407400*t^6 + 65996504941143185064991417435419114149780722284\
0296062233360801056647704679421242221353467326990*t^7 -
1283779969393937595604018992680744436351665259286047442356328884247423\
310091172342801586307003336345*t^8 + 1911130131800755494685434283919986625335\
062803432415589470583632738852862571668754500549901276773801335*t^9 -
2205625468839400388097483593015901879391254915868269145013225273232661\
768135590815380822978554933043322100*t^10 + 198647864619009447951173619905436\
4170772664477373129238141538074425517892258848133104459359945610161566669550*
t^11 - 13975017745705880120395386517716927758009498282592527529119177\
09606307770468192130332127619929942407377990384500*t^12 +
7637555818298619573739965258465243725012695848319545971549570385829561\
98729895542573429093272739359645294226864375*t^13 - 3196568541008237856912818\
82497375707420110186585783444194366855401170828968943009907282264145256117600\
311316578990625*t^14 + 996613423140578478530092432365775445113211175518685491\
63585806771353016142277160226385187162207045397257687665845531250*t^15 -
2204115909481507241320916421417214804422936542621382150605646142066844\
3817879002282112218157090573927330435955727854687500*t^16 +
3177925861137746907132502657460908794793280987317620168421502968578638\
346514124825944917346178086502691678142136072109375000*t^17 -
2570805392404986148687123890205877111169024500234115037549529925691908\
40491121639361454306318111693874985528865167765625000000*t^18 +
8608849128784875873798086923471509450326386035965206975783451109153528\
077838332665469344015809382147006749221502662109375000000*t^19) +
((-119511838300085381462470680264962880257893647328214998816337732567040\
0 +
57659256371243844481920612003388752494236859659540299200432988930444361728\
*t - 104655096852127184320219277855087229111140462191556626781726078043448200\
0494592*t^2 + 992239983679894934538611332594066086840887007806311725406033567\
3951103695808311296*t^3 - 584156808754244235225808235215191620040970019136922\
18958233503418042106007906558158080*t^4 + 23475634603882272908561051947067380\
1863463404507522848467093210129662105792386679355070464*t^5 -
680326739866691879462549248214113472442537602025763325328206956711360\
292212607876113891921792*t^6 + 1468439076707370155128806726825253425822712855\
631560500840232657674309280104010025984110309852180*t^7 -
240318123166640466007346415480802386191826120381182681700542506992523\
0477597448634413502628977294340*t^8 + 300407938627697134425345267062115091638\
3192232790573928145667779075479361783574515952509668036666083400*t^9 -
286425856004774642702036945507595919312260666415624028598686864645543\
9127146337367724782160609406341690000*t^10 + 20619705140768115570553986119694\
62474440067235404808653367442394217646578385721891097164165434722232341821500*
t^11 - 1098114428432519002486925928401332540173752945021219193849648\
498546409297752102179917248769649343733276036437500*t^12 +
417890909681184812058350859648909415429649776618880836274407704481272\
946324518204160256059879324241883883109075000*t^13 - 107335526307312964588627\
41778756038042627442358246719853677035491920350830067665681813676623919736569\
9508167439250000*t^14 + 16891267955570305946755232889845299772983241500133947\
992497529785064484120083622719394967696584863538090376732212500000*t^15 -
137111578385249512174783427668247382560572156387292508135713215782376\
5282733891929047837454510987272202430297492500000000*t^16 +
434559431451824133160682594983420804513611941122446786465229280713949\
42899325533311311916387013578809449534718062500000000*t^17)*x4^2)/
(-823865169139436830584079273969002923380893873681901967974123783049114\
81241600*t^2 + 15539607421548322420661156200599714697630601459206009257058295\
15275071909225922560*t^3 - 13441197636364452689217625254632642064482699567135\
620986449872973516430534617948743680*t^4 + 7078515108415680407485020988626650\
4163845210271678423822793730960877009488470628816090240*t^5 -
2541305107271992067313866984298809717185718577879637295146317554810793\
44292982823482992407400*t^6 + 65996504941143185064991417435419114149780722284\
0296062233360801056647704679421242221353467326990*t^7 -
1283779969393937595604018992680744436351665259286047442356328884247423\
310091172342801586307003336345*t^8 + 1911130131800755494685434283919986625335\
062803432415589470583632738852862571668754500549901276773801335*t^9 -
2205625468839400388097483593015901879391254915868269145013225273232661\
768135590815380822978554933043322100*t^10 + 198647864619009447951173619905436\
4170772664477373129238141538074425517892258848133104459359945610161566669550*
t^11 - 13975017745705880120395386517716927758009498282592527529119177\
09606307770468192130332127619929942407377990384500*t^12 +
7637555818298619573739965258465243725012695848319545971549570385829561\
98729895542573429093272739359645294226864375*t^13 - 3196568541008237856912818\
82497375707420110186585783444194366855401170828968943009907282264145256117600\
311316578990625*t^14 + 996613423140578478530092432365775445113211175518685491\
63585806771353016142277160226385187162207045397257687665845531250*t^15 -
2204115909481507241320916421417214804422936542621382150605646142066844\
3817879002282112218157090573927330435955727854687500*t^16 +
3177925861137746907132502657460908794793280987317620168421502968578638\
346514124825944917346178086502691678142136072109375000*t^17 -
2570805392404986148687123890205877111169024500234115037549529925691908\
40491121639361454306318111693874985528865167765625000000*t^18 +
8608849128784875873798086923471509450326386035965206975783451109153528\
077838332665469344015809382147006749221502662109375000000*t^19) +
((-49703726864237871445984354147148582998934414107872015994060800 -
140432096912231986587647247655954966430578815151153422560749105132339\
20*t +
533406607557961024851210737870747333256008243897873306033283963044652\
515328*t^2 - 8385864604445163704007367452163674121987674581661888173421452972\
421673012224000*t^3 + 7496338346865288760089934546674955715436109727500446261\
9642786193089961709438457344*t^4 - 438188428493200592525293848392593150082769\
889078405672897553042669871622861631060463264*t^5 + 1808761686205407939933093\
962617557266957471249349635635074313207241624462649997807088231228*t^6 -
552201746578459976989584017601805632007194533631075495277356653848094\
3955167907028361866271919*t^7 + 128304265762086530801791432524627284529234087\
71521264311254124514277695469280555445381479491307571*t^8 -
230818445245121944781218909178882490665609635912064885044297423100240\
18939370107879523001246242283707*t^9 + 32436582022176934108226971123038537950\
531623461502592672978059479234657107898188540873351754615138580125*t^10 -
356809205079647718926748414585810771676488881138030387603059046511285\
81197606370348292383287072485634813775*t^11 + 3059433751019226535245314310012\
81549906754776603529816786668708396620138152801511417490859776474945134209472\
25*t^12 - 2022697326236494729306581321817035337363627621750743132858186353520\
0248017132957170513374534055980867045614164550*t^13 + 10119392545974567066802\
68917523896410522510253758519947006235123560619790003911802238855595692699793\
7965368126344375*t^14 - 37211435423427605882108069800491629761339966773881774\
15972949514856584008757281706919608134036661558380449931462989375*t^15 +
963019504965386771333623798216878055651243816344568157307175231685597\
003448701147917589308670148997065139077943984212500*t^16 -
164624946477195563539232629125784140042151540208016964745598976190337\
333297608686431429320360325735451601365209685952812500*t^17 +
170363176608120878820152881188184342051610839816715713045597518176897\
98403305950191160026773009475202451228298060163843750000*t^18 -
963077749477092204563367364564069255926499838981260094015594071012054\
565794496873213213426715959429977079957228632035937500000*t^19 +
227783577027485974307543872495766932885153158330822677372546078099076\
62115304006228372998826509133614956961072140053125000000000*t^20)*x1*x5)/
(-164773033827887366116815854793800584676178774736380393594824756609822\
962483200*t^3 + 3107921484309664484132231240119942939526120291841201851411659\
030550143818451845120*t^4 - 2688239527272890537843525050926528412896539913427\
1241972899745947032861069235897487360*t^5 + 141570302168313608149700419772533\
008327690420543356847645587461921754018976941257632180480*t^6 -
5082610214543984134627733968597619434371437155759274590292635109621586\
88585965646965984814800*t^7 + 13199300988228637012998283487083822829956144456\
80592124466721602113295409358842484442706934653980*t^8 -
2567559938787875191208037985361488872703330518572094884712657768494846\
620182344685603172614006672690*t^9 + 3822260263601510989370868567839973250670\
125606864831178941167265477705725143337509001099802553547602670*t^10 -
4411250937678800776194967186031803758782509831736538290026450546465323\
536271181630761645957109866086644200*t^11 + 397295729238018895902347239810872\
8341545328954746258476283076148851035784517696266208918719891220323133339100*
t^12 - 27950035491411760240790773035433855516018996565185055058238354\
19212615540936384260664255239859884814755980769000*t^13 +
1527511163659723914747993051693048745002539169663909194309914077165912\
397459791085146858186545478719290588453728750*t^14 - 639313708201647571382563\
76499475141484022037317156688838873371080234165793788601981456452829051223520\
0622633157981250*t^15 + 19932268462811569570601848647315508902264223510373709\
8327171613542706032284554320452770374324414090794515375331691062500*t^16 -
4408231818963014482641832842834429608845873085242764301211292284133688\
7635758004564224436314181147854660871911455709375000*t^17 +
6355851722275493814265005314921817589586561974635240336843005937157276\
693028249651889834692356173005383356284272144218750000*t^18 -
5141610784809972297374247780411754222338049000468230075099059851383816\
80982243278722908612636223387749971057730335531250000000*t^19 +
1721769825756975174759617384694301890065277207193041395156690221830705\
6155676665330938688031618764294013498443005324218750000000*t^20) +
((-223666770889070421506929593662168623495204863485424071973273600 -
100585066488563700240060906539085484018910363407087034093294623024742\
40*t +
383669785011022261342423363650189630394834128235100136424030936265463\
103488*t^2 - 5958310352731366341314427822056644811431867653454685322250980976\
635791481016320*t^3 + 5174243825317330816506590824390555033346103166708113837\
5245973554817239812409530624*t^4 - 290048195022240431160372686786719067064554\
305812370897039916528225021811457913203988912*t^5 + 1136212680692652870291126\
895156279090930047280374345568313987446945553389349405653460911092*t^6 -
326138417832049003087877708767275796039999702058912042612466289654306\
5533626859060257674478453*t^7 + 705992103090324900524610277234672552370950577\
1175433606992533539722531160087946882452425821134722*t^8 -
117178404081709170809311009781309125703628165577520321604882327671709\
95698944461140872461381979919170*t^9 + 15025946378645134911558440847442020650\
310567925330552990991968238966996674998289641019223667743328033650*t^10 -
148891448565198828758931921481016081067513020020511250425978562384060\
67954538655318921637362694458409094050*t^11 + 1132506905363863127902215318510\
25218070744360787724734757680125271055476317567159837680281100166990349195436\
75*t^12 - 6521972959583378080726091703272020358868805312517867137794913389202\
753374501644014537035292097700957799886055125*t^13 + 278276960839308491213811\
41195847627421724589445336067335040758891467897714621141058730397010941662423\
89206228074375*t^14 - 8535504506028924429644357295902830258584699032759362981\
25597752038703368517400285389154037723297072983828087034731250*t^15 +
181457623719375660830663315029271342483804980546179601368194137307914\
661419893953801582330365017976787082628845624250000*t^16 -
259198390709610874518320763840481663823130882244602099310116137019557\
85461189736390274038801638378460052540780375790625000*t^17 +
246899884940076773032372474514323410206260850333652740826534123974388\
5626298839021926360731252554976279924484000149531250000*t^18 -
146239226893163658088443316092493704415184764816465857873311988172995\
449399827834617346097001714994816185611059971890625000000*t^19 +
403492710248975995944341351317875432740700143191477338600616786437001\
5318779537108472483329431375382517348789828269531250000000*t^20)*x2*x5)/
(-823865169139436830584079273969002923380893873681901967974123783049114\
81241600*t^3 + 15539607421548322420661156200599714697630601459206009257058295\
15275071909225922560*t^4 - 13441197636364452689217625254632642064482699567135\
620986449872973516430534617948743680*t^5 + 7078515108415680407485020988626650\
4163845210271678423822793730960877009488470628816090240*t^6 -
2541305107271992067313866984298809717185718577879637295146317554810793\
44292982823482992407400*t^7 + 65996504941143185064991417435419114149780722284\
0296062233360801056647704679421242221353467326990*t^8 -
1283779969393937595604018992680744436351665259286047442356328884247423\
310091172342801586307003336345*t^9 + 1911130131800755494685434283919986625335\
062803432415589470583632738852862571668754500549901276773801335*t^10 -
2205625468839400388097483593015901879391254915868269145013225273232661\
768135590815380822978554933043322100*t^11 + 198647864619009447951173619905436\
4170772664477373129238141538074425517892258848133104459359945610161566669550*
t^12 - 13975017745705880120395386517716927758009498282592527529119177\
09606307770468192130332127619929942407377990384500*t^13 +
7637555818298619573739965258465243725012695848319545971549570385829561\
98729895542573429093272739359645294226864375*t^14 - 3196568541008237856912818\
82497375707420110186585783444194366855401170828968943009907282264145256117600\
311316578990625*t^15 + 996613423140578478530092432365775445113211175518685491\
63585806771353016142277160226385187162207045397257687665845531250*t^16 -
2204115909481507241320916421417214804422936542621382150605646142066844\
3817879002282112218157090573927330435955727854687500*t^17 +
3177925861137746907132502657460908794793280987317620168421502968578638\
346514124825944917346178086502691678142136072109375000*t^18 -
2570805392404986148687123890205877111169024500234115037549529925691908\
40491121639361454306318111693874985528865167765625000000*t^19 +
8608849128784875873798086923471509450326386035965206975783451109153528\
077838332665469344015809382147006749221502662109375000000*t^20) +
((-347926088049665100121890479030040080992540898755104111958425600 -
859912970602892056812064547040195062274035898783552498459962259800064\
0*t +
472463487181996409522829648992892106575296735100784847819704769517849\
280512*t^2 - 9280061171842870921049241347863097292744910659361135335302265671\
513487539625984*t^3 + 9505605891305218109512883265853543738017347138590569101\
1968706971051145594646433280*t^4 - 607631791478371111052492659546649162157094\
480157185237237741759509473425294079819804320*t^5 + 2668293324242240059744468\
096455147378281004440312310719973830264159143944209710458569062184*t^6 -
851118568451460748011232477129289144944269595185009284203904761771869\
9894695904196886908929636*t^7 + 203933393014252204614861265016112276675122890\
71664542356495558965874928579057584690333034331585575*t^8 -
374363741672633360610060539957645476706629298558257499612216576415642\
68153189497484575777563920206260*t^9 + 53183450739381464877245997465690780052\
897925739966778712706441015291635685740984250826942891516265327420*t^10 -
586139398951443066833018400193454144229611721615141015710563835516642\
14854601116525153148542715767756723125*t^11 + 4989255172729401716739895940870\
62772864253659915188272560702458226395710716212347933854890713622812982406395\
75*t^12 - 3241764748186152389139031307511402947184149871350868943098209590504\
1337033352514447761854153080165890363981329750*t^13 + 15748455429949995231532\
68894174927131348339424741484291167029681241560665673085756236834085434784764\
9939316734148750*t^14 - 55324318621623257869048757274054900056269323775837538\
34264325322302599449692350862608109261758470383061656017854128125*t^15 +
133253033686121763474128971660038792700026180517650201955678670182110\
2816106906377239675266039766891241113983807668125000*t^16 -
201521306533044881590214185537386477307533565435366593812230594750765\
375153258715897965828508091470203195441950357492187500*t^17 +
164157850731259686330700035361673069729470386798251510656645284919808\
16762254609013834602478343091885699333367464505468750000*t^18 -
544594102528228110710402315638075228865020395568837818956661955960899\
682862627912793769074858638255468266788073314257812500000*t^19)*x3*x5)/
(-164773033827887366116815854793800584676178774736380393594824756609822\
962483200*t^3 + 3107921484309664484132231240119942939526120291841201851411659\
030550143818451845120*t^4 - 2688239527272890537843525050926528412896539913427\
1241972899745947032861069235897487360*t^5 + 141570302168313608149700419772533\
008327690420543356847645587461921754018976941257632180480*t^6 -
5082610214543984134627733968597619434371437155759274590292635109621586\
88585965646965984814800*t^7 + 13199300988228637012998283487083822829956144456\
80592124466721602113295409358842484442706934653980*t^8 -
2567559938787875191208037985361488872703330518572094884712657768494846\
620182344685603172614006672690*t^9 + 3822260263601510989370868567839973250670\
125606864831178941167265477705725143337509001099802553547602670*t^10 -
4411250937678800776194967186031803758782509831736538290026450546465323\
536271181630761645957109866086644200*t^11 + 397295729238018895902347239810872\
8341545328954746258476283076148851035784517696266208918719891220323133339100*
t^12 - 27950035491411760240790773035433855516018996565185055058238354\
19212615540936384260664255239859884814755980769000*t^13 +
1527511163659723914747993051693048745002539169663909194309914077165912\
397459791085146858186545478719290588453728750*t^14 - 639313708201647571382563\
76499475141484022037317156688838873371080234165793788601981456452829051223520\
0622633157981250*t^15 + 19932268462811569570601848647315508902264223510373709\
8327171613542706032284554320452770374324414090794515375331691062500*t^16 -
4408231818963014482641832842834429608845873085242764301211292284133688\
7635758004564224436314181147854660871911455709375000*t^17 +
6355851722275493814265005314921817589586561974635240336843005937157276\
693028249651889834692356173005383356284272144218750000*t^18 -
5141610784809972297374247780411754222338049000468230075099059851383816\
80982243278722908612636223387749971057730335531250000000*t^19 +
1721769825756975174759617384694301890065277207193041395156690221830705\
6155676665330938688031618764294013498443005324218750000000*t^20) +
((-273370497753308292952913947809317206494139277593296087967334400 -
584314936916829997284844513209195230674467229328818398904473329074176\
0*t +
359012009631235889160718734786148320405397828239468588376089301231938\
895872*t^2 - 6922180745822705623491113179587340669102745682203437581235147959\
251972455821312*t^3 + 6713809499356839389343090038410464978738254196469291011\
9346141107382655137630387968*t^4 - 400247929855172605339163896062104495244371\
603201929688600314360407146827568135881047376*t^5 + 1624081698543530202127156\
257689629098839421171398916133347866488955527265122898748563844544*t^6 -
475138031960640572956993102030286854595246444988067910545937021136252\
6807633314054691634130478*t^7 + 103670375972016192152817353008503772159896648\
31331577516972482842096127261702647352667998220305197*t^8 -
171972504504247531631723111760050084018533398713550207728645799700073\
72879070799441574248810972570860*t^9 + 21885773713720103464881992886022953328\
263442777594479870844038939471611602473631616422401727157346434225*t^10 -
213890986361756780483447451141530649039229895158583550064338693421163\
72277921128820341992886714513675960000*t^11 + 1595146306704914270378447896100\
78500836071881818404172470270003592715702630683050339475408420593130077717966\
75*t^12 - 8952585797983259589513806679609357715618052078247748860158668279558\
995924423616506778842319234540188948262388250*t^13 + 369735038068642947873868\
43531566995552212455840063573052796729113383470553512149220100615464658273829\
41212888711875*t^14 - 1088325996806170958978227655752780041103277823331285869\
900667430656937387847067898415958877235308733763388543358918750*t^15 +
219513983555103244627793463064908232657766299636622899420498133694216\
136285830143060548315451661492906810538567809250000*t^16 -
293824643311688086387795798901225309123549672664198800002599474321872\
26764615156012949693472075687718019249409752228125000*t^17 +
262867837645504684915518919911929836202144079699169342991301952106751\
9034146574860363287619988211168427553890590530781250000*t^18 -
150780600213384162251243189534436038594532561087820235943732127626625\
413197832810145510449597245531729439466239778453125000000*t^19 +
419646264562632455604681010792997697706012702541436397051885402422469\
1368144459955251478944564458754994451686761628906250000000*t^20)*x4*x5)/
(-823865169139436830584079273969002923380893873681901967974123783049114\
81241600*t^3 + 15539607421548322420661156200599714697630601459206009257058295\
15275071909225922560*t^4 - 13441197636364452689217625254632642064482699567135\
620986449872973516430534617948743680*t^5 + 7078515108415680407485020988626650\
4163845210271678423822793730960877009488470628816090240*t^6 -
2541305107271992067313866984298809717185718577879637295146317554810793\
44292982823482992407400*t^7 + 65996504941143185064991417435419114149780722284\
0296062233360801056647704679421242221353467326990*t^8 -
1283779969393937595604018992680744436351665259286047442356328884247423\
310091172342801586307003336345*t^9 + 1911130131800755494685434283919986625335\
062803432415589470583632738852862571668754500549901276773801335*t^10 -
2205625468839400388097483593015901879391254915868269145013225273232661\
768135590815380822978554933043322100*t^11 + 198647864619009447951173619905436\
4170772664477373129238141538074425517892258848133104459359945610161566669550*
t^12 - 13975017745705880120395386517716927758009498282592527529119177\
09606307770468192130332127619929942407377990384500*t^13 +
7637555818298619573739965258465243725012695848319545971549570385829561\
98729895542573429093272739359645294226864375*t^14 - 3196568541008237856912818\
82497375707420110186585783444194366855401170828968943009907282264145256117600\
311316578990625*t^15 + 996613423140578478530092432365775445113211175518685491\
63585806771353016142277160226385187162207045397257687665845531250*t^16 -
2204115909481507241320916421417214804422936542621382150605646142066844\
3817879002282112218157090573927330435955727854687500*t^17 +
3177925861137746907132502657460908794793280987317620168421502968578638\
346514124825944917346178086502691678142136072109375000*t^18 -
2570805392404986148687123890205877111169024500234115037549529925691908\
40491121639361454306318111693874985528865167765625000000*t^19 +
8608849128784875873798086923471509450326386035965206975783451109153528\
077838332665469344015809382147006749221502662109375000000*t^20) +
((-447333541778140843013859187324337246990409726970848143946547200 -
795403020257892800438350660326125471544810634855514970970172789096448\
0*t +
379542633132101250110484396806333834653230549506512660426034887313804\
623872*t^2 - 6569691370930924454144580268526778751902292665925628148610411068\
892149830983680*t^3 + 6017918889912085109848514614867115672623149418658397030\
3741675051503270045069799936*t^4 - 345884034305674232366930590634995651254603\
892432758740700480932185337147860966706662752*t^5 + 1365913943153373605740962\
879147107369914695753599144874476697115529633331401432875017488184*t^6 -
390621209048475333529045292366786458833807860048278928837864965671750\
9606129677590641961798620*t^7 + 834527747551398486455831514915762294013820732\
1664500553661140453589909241220065534848482363638999*t^8 -
135526670091665345328471187776655296641398371490219783808097267031088\
50665266337661307473156901946255*t^9 + 16854009089835360903175919319045307748\
488018593892090469394423138939588503119191833813324574268878090105*t^10 -
160328161985438700043952481514619170273618146116365088730524083619354\
23413417516424095730800382052556916500*t^11 + 1155748185360583946129800686948\
59235310726874357271689766169307783854654422849743127198550425298083208589847\
75*t^12 - 6194127221962901045702532947234709687827062694896283202945809084184\
598966816560689032018087510575488375815849125*t^13 + 239014774887466935450060\
05310949248597226746873777966933903441853750116075477203496998082513552588838\
38669855740625*t^14 - 6305409253905241270968183976857834549633855706774256624\
75651828842051339991891150915926629259879213663784216378212500*t^15 +
104554527721127552087059452125864719751519817559184856249135404574728\
150111281789681201707679275146162698765174005937500*t^16 -
950908857096027432853108497451060713612740820552885277589147875777796\
4532091057546089561869044531789166820088066343750000*t^17 +
395020375316259419530832127062826417001683699970358943844291734901625\
512884735320666160028152550160147259874011895312500000*t^18 -
415377110922594676980162672217429670536608668998947217318335839626309\
8412240873202888458674850715292268360206857812500000000*t^19)*x5^2)/
(-549243446092957887056052849312668615587262582454601311982749188699409\
87494400*t^3 + 10359738281032214947107437467066476465087067639470672838038863\
43516714606150615040*t^4 - 89607984242429684594784168364217613763217997114237\
47324299915315677620356411965829120*t^5 + 47190100722771202716566806590844336\
109230140181118949215195820640584672992313752544060160*t^6 -
1694203404847994711542577989532539811457145718586424863430878369873862\
29528655215655328271600*t^7 + 43997669960762123376660944956946076099853814856\
0197374822240534037765136452947494814235644884660*t^8 -
8558533129292917304026793284538296242344435061906982949042192561649488\
73394114895201057538002224230*t^9 + 12740867545338369964569561892799910835567\
08535621610392980389088492568575047779169667033267517849200890*t^10 -
1470416979226266925398322395343934586260836610578846096675483515488441\
178757060543587215319036622028881400*t^11 + 132431909746006298634115746603624\
2780515109651582086158761025382950345261505898755402972906630406774377779700*
t^12 - 93166784971372534135969243451446185053396655217283516860794513\
9737538513645461420221418413286628271585326923000*t^13 +
5091703878865746382493310172310162483341797232213030647699713590553041\
32486597028382286062181826239763529484576250*t^14 - 2131045694005491904608545\
88331583804946740124390522296129577903600780552645962006604854842763504078400\
207544385993750*t^15 + 664408948760385652353394954910516963408807450345790327\
75723871180902010761518106817590124774804696931505125110563687500*t^16 -
1469410606321004827547277614278143202948624361747588100403764094711229\
5878586001521408145438060382618220290637151903125000*t^17 +
2118617240758497938088335104973939196528853991545080112281001979052425\
564342749883963278230785391001794452094757381406250000*t^18 -
1713870261603324099124749260137251407446016333489410025033019950461272\
26994081092907636204212074462583323685910111843750000000*t^19 +
5739232752523250582532057948981006300217590690643471317188967406102352\
051892221776979562677206254764671166147668441406250000000*t^20)
C2case2 = ((-89527989316889979919468971430189336738337618444822411791564800 +
2023874053968199516074598797857484170965163522567983504701575258112*
t - 1902361475589140324776973866580656632044007935988424176887281967\
2641792*t^2 +
105516964266704502258076956267255536215589876913116271754366272467640\
078976*t^3 - 3958471367381043454614168410581189696005530642742446410984580883\
01308115620129*t^4 + 10731112293642725927626122038436839693571510035506588356\
27001322916021689765918665*t^5 - 21721531722124060097858417048227795934965248\
40790482422657608008964551504802959068980*t^6 + 33210747419560313583208631747\
95550119245644475681642555085981481249439751536650550908950*t^7 -
381695606926249887317610287698943276884667112870174105411048403064993\
1841252135632695258900*t^8 + 323419854147652427389737563141939169975826668789\
9125741748409352530244860414678401119610004125*t^9 - 195060599673266926624708\
0878635241475216121777017756548072839651593937612276861296169231737465625*
t^10 + 7914657521493805198734404613464308534661795091702946234307236\
71067759639182824544812887573854525000*t^11 - 1974753225188531598258005160872\
44541561677599043406874277649091154415850595014350062210950770149687500*
t^12 + 2657095388364304558216405468152471339541775933151638738094028\
0920453873759616776659105094170803687500000*t^13 - 18590448112582440120765292\
55581404508657383382025689936227884481245132331078234471288790097380129687500\
000*t^14 + 547447805002846842229015585583829485255169039598249503285273599267\
93380249683098046955246457674218750000000*t^15)*x1*x2)/
(3111649327484578312273685921142294096646474927793018672853682405158912\
0*t^2 -
4600246856104800612648116941945888704297616456625346552938238373670816\
21760*t^3 + 30517681701048405979857767212102100299796031353348449641239419221\
58562922499200*t^4 - 12039168374399408598899574871190679853602786664424406259\
569012934559309511696365385*t^5 + 3155222682625478646069352729490047655541365\
2709543729186118129986156181376482336949005*t^6 - 581265913743001363886060848\
90496481060568486318121165121689482394777167173197664599068800*t^7 +
7768463174874150451460060110399457209916130344881045643480279691072947\
7078345696110845734150*t^8 - 766421340413437905498046489969942289247124614318\
59627045998518281051438937064388132603512179750*t^9 + 56223170636387591525672\
436825329153382865896854939885029674661816112609100298731283215933443049375*
t^10 - 30570778701739732163329721426363107614760811596003790620743342\
149705748804007202733214426436302659375*t^11 + 120971218151405851602092584743\
14638480529490482904887313739818184987662238369075256635748380901962218750*
t^12 - 33323359500472423827193103979045940930291342653356496202808895\
47469731041652992448929391430095609845312500*t^13 + 5838152793969943699328343\
81956452833301650388704487587853679391937628996489011814208808800969566081953\
125000*t^14 - 548492015286147688628307513157364922836464338134417640870496045\
79300175502216944913852762896297076265625000000*t^15 +
2042291638948288994510180489301387034943452499245306208450687264902821\
915644671343668664398670892908203125000000*t^16) +
((2913777940307501286459037144166942153485936129905190214168267980800 -
604851900824837182182176701701809574593370732346280507586052337418731\
52*t +
497435786479134249693034074878841875227758683577229432163577975052842\
680832*t^2 - 2295528435134421594561666764455482558502106111071234868057840144\
965674471954176*t^3 + 6652270967959567402197587999037875519210868469782394201\
755894830358158394176782434*t^4 - 1213497464303595499001515475783039154930478\
0758825263615785836533642259591388040803860*t^5 + 111900700875157633915924482\
92578839144443456748148202126245464322941717923723890251332030*t^6 +
688690227379705126128617227160748788350472401204607428032474845994085\
5899795777303127401960*t^7 - 430850780143389658418104838327475123301464906215\
36236221396324930811407116001106315207354472600*t^8 + 78217129716630403804836\
946951273936735597193785203094376002773567950083036756512444208561410560050*
t^9 - 85260630327020199305416853222830275791779054118875735161373791\
449006408090677188275810688823073982000*t^10 + 595048110952069836563551804776\
87420250157802047215952822863692633197437693998403768060614865257440688750*
t^11 - 2539189271506570299103687555254247250122723535116312755312676\
4549380644074455060570375244182203656381550000*t^12 + 57179289044122405654085\
30244172556549909377167230377600226485454855228444527575890884202627021894157\
963125000*t^13 - 436274797055229251258274598315748138086573569873509199105497\
235303897000667007965875102607443692408924625000000*t^14 -
672404885559648199217864838898587315109604720539803721554207772130851\
4723249298544016454509434078194290625000000*t^15 + 14116276419579857084637249\
20823379147113133667582793476574994854098635752205968121348364397167401981793\
906250000000*t^16)*x2^2)/
(-128728932678037004778762386557656706778264667762797182495956841101424\
1894400*t^2 + 205873230620534483420523769666062847621376650464773865501055244\
31947450196503040*t^3 - 14925698091763599114781785334395602366481318187890718\
5126673371276973257787796920320*t^4 + 650675986253236687450970507794924746383\
264469399106362628662613161347446943789336351850*t^5 -
1907381275394841721356260366262944403163058185835864417594711665453454\
818899713228356821045*t^6 + 3982589462151877416814315493912478927791079983862\
542966386061140163527167886824560088931043535*t^7 - 6120660517709813752514144\
426595199152927533923090982344010004716155427105619056349657711927587100*
t^8 + 705560860974245388135615993175941313522710693160637414736856333\
5335655750195975367703353309330331550*t^9 - 615874192278245043804972827132219\
4749281817638375817969675665382187479910499190352321915875009437677000*t^10 +
4076372426491210600158291581069902637935130805016958019019844467751753\
398045970902033417098141487009126875*t^11 - 202926915850524901203872187222929\
6590877070275626850324969642346746754456106286072182486973229315293526740625*
t^12 + 74282257807449113257558277874227570214003588487391142430931479\
0388779570219195213797307197118982184015560531250*t^13 -
1907989167273228470079897591744822945847326003463884771547190357011455\
76561788044404030605690359302672917979687500*t^14 + 3146507547978210051335001\
90355947464762431902020986560439102244606710865464490333497556867094883500678\
57112734375000*t^15 - 2827438223372044530590684966131192260754702759351842847\
988808511942026344424265545508558477546985970951911203125000000*t^16 +
1021327726390425621355831266426875592014928662936760883649330335166095\
85217036214271091276727343607053289615234375000000*t^17) +
((309779 - 1481531950*t)*x1*x3)/(-1791312202*t + 210365171100*t^2) +
((91450548491949574193076997288227569092393856327967735598311643545600 -
326358045289609604625512947106365955598968152159437764958753542668527\
2064*t +
563612242795014232483226587156092438010196894696477616079780587057896\
55926784*t^2 - 52177425097990244514000416870805793707164074387276183701888800\
4590896859126561152*t^3 + 297875215847394700951904101972271999762849331129220\
6939578983148283678953608973818008*t^4 - 114804021532179891080946840633078568\
11006854203226071960640212860631407018136412000229740*t^5 +
315008543907053056072865481076946575861833959755659580275264414974813\
28950890204518215938435*t^6 - 63390586423359389385828017265255578083561932916\
028134549370353572818831158312622473743587193275*t^7 + 9489866845652816742751\
2629920131165688801133031486169425954037436821936384174837949505675661525100*
t^8 - 10598823597400591656324653616998099832381851798695663124272462\
6583941199272119465537380124514338951500*t^9 + 876762812282403997845091374882\
13229499851855638266724465655101099963693804543577835554727222383391457125*
t^10 - 5275738537327593565099553152683224188652643876144760635382231\
4698336969084804562079557485496273273845335625*t^11 + 22354539983836892821088\
71636641267875537909669966927938270467429723278201798362383186716499827042312\
4461275000*t^12 - 63129606963030945472014850149154102993177179733331939968104\
23934669349407694569984685448272816290478318587187500*t^13 +
107984545998905588604912717690742188396596297931820010259885024581975\
1627865864330597884095698501658876276812500000*t^14 - 93991311338970667057321\
08996253896515659040093653506257491677875701323445003127544058724706423325022\
1384098437500000*t^15 + 31876180200283744949686887458669794951791557642947045\
89340195795296760230197424756310717699319253010705146093750000000*t^16)*x2*
x3)/(-5149157307121480191150495462306268271130586710511887299838273644\
056967577600*t^2 + 8234929224821379336820950786642513904855066018590954620042\
2097727789800786012160*t^3 - 597027923670543964591271413375824094659252727515\
628740506693485107893031151187681280*t^4 + 2602703945012946749803882031179698\
985533057877596425450514650452645389787775157345407400*t^5 -
7629525101579366885425041465051777612652232743343457670378846661813819\
275598852913427284180*t^6 + 1593035784860750966725726197564991571116431993545\
0171865544244560654108671547298240355724174140*t^7 - 244826420708392550100565\
77706380796611710135692363929376040018864621708422476225398630847710348400*
t^8 + 282224344389698155254246397270376525409084277264254965894742533\
41342623000783901470813413237321326200*t^9 - 24634967691129801752198913085288\
778997127270553503271878702661528749919641996761409287663500037750708000*
t^10 + 16305489705964842400633166324279610551740523220067832076079377\
871007013592183883608133668392565948036507500*t^11 - 811707663402099604815488\
74889171863635082811025074012998785693869870178244251442887299478929172611741\
06962500*t^12 + 2971290312297964530302331114969102808560143539495645697237259\
161555118280876780855189228788475928736062242125000*t^13 -
7631956669092913880319590366979291783389304013855539086188761428045823\
06247152177616122422761437210691671918750000*t^14 + 1258603019191284020534000\
76142378985904972760808394624175640897842684346185796133399022746837953400271\
428450937500000*t^15 - 113097528934881781223627398645247690430188110374073713\
91955234047768105377697062182034233910187943883807644812500000000*t^16 +
4085310905561702485423325065707502368059714651747043534597321340664383\
40868144857084365106909374428213158460937500000000*t^17) +
(
(
1100837502741682727376617193683071023275603909467963197521305534464000 \
- 53110614560446591588280189316494928930692914550483731809348696528924180480*
t + 9639903218508381335560651843716923735442432302456660054407292129\
05014754590720*t^2 - 91396383930766062777173344794494451228916810390160172552\
70667572476758709419535360*t^3 + 53807366007030414473694062183961184773295529\
875302792401745086572555453139415147732800*t^4 - 2162368125216556968930317437\
16816633432062473667254425269326945540320573469170125377226240*t^5 +
626656906977477598293254027677668631575725028664261737187653125435983\
395202246676501240042720*t^6 - 1352596386369607687127396502606861687107823243\
575230510053984017767382906904370050540242651416925*t^7 +
221359830401122380777057932069523546840047556390347620164927841339599\
6210211651702457750931005980025*t^8 - 276709261330519206235167850013779880697\
1119015554466656791440044612575312887902734834445611970560325250*t^9 +
263830201702051524491698667430464442282273696930791013648649411962742\
1570667713946069099095560690191962500*t^10 - 18993051263622637547117219872721\
66438102171176091716138431640505123864419474090221203904740792625443849924375*
t^11 + 1011486027087076341084171578170672218934888795845131860984409\
847600047158959695350042381824460632522621070234375*t^12 -
384924198284678983667672520579927300050358582226681011358671156182503\
465592865450588054810893460125994787188718750*t^13 + 988680070663110026110465\
71679880354261732131095082541029429931677244288082444663856557250220648041523\
764815725312500*t^14 - 155587442205190646679065142034140495248324607163209704\
95076821335229771483222300898891344940420760795198967027828125000*t^15 +
126295076448908345055212264202047972107899760026569118517749687636446\
6450806461872714117491196730967647673887628125000000*t^16 -
400277768392363330759463212169784485757745836907087716664904583322071\
31818570303875514422277882907651286459165390625000000*t^17)*x3^2)/
(-659092135311549464467263419175202338704715098945521574379299026439291\
84993280*t^2 + 12431685937238657936528924960479771758104481167364807405646636\
12220057527380738048*t^3 - 10752958109091562151374100203706113651586159653708\
496789159898378813144427694358994944*t^4 + 5662812086732544325988016790901320\
3331076168217342739058234984768701607590776503052872192*t^5 -
2033044085817593653851093587439047773748574862303709836117054043848634\
75434386258786393925920*t^6 + 52797203952914548051993133948335291319824577827\
2236849786688640845318163743536993777082773861592*t^7 -
1027023975515150076483215194144595549081332207428837953885063107397938\
648072937874241269045602669076*t^8 + 1528904105440604395748347427135989300268\
050242745932471576466906191082290057335003600439921021419041068*t^9 -
1764500375071520310477986874412721503513003932694615316010580218586129\
414508472652304658382843946434657680*t^10 + 158918291695207558360938895924349\
1336618131581898503390513230459540414313807078506483567487956488129253335640*
t^11 - 11180014196564704096316309214173542206407598626074022023295341\
67685046216374553704265702095943953925902392307600*t^12 +
6110044654638895658991972206772194980010156678655636777239656308663649\
58983916434058743274618191487716235381491500*t^13 - 2557254832806590285530255\
05997900565936088149268626755355493484320936663175154407925825811316204894080\
249053263192500*t^14 + 797290738512462782824073945892620356090568940414948393\
30868645417082412913821728181108149729765636317806150132676425000*t^15 -
1763292727585205793056733137133771843538349234097105720484516913653475\
5054303201825689774525672459141864348764582283750000*t^16 +
2542340688910197525706002125968727035834624789854096134737202374862910\
677211299860755933876942469202153342513708857687500000*t^17 -
2056644313923988918949699112164701688935219600187292030039623940553526\
72392897311489163445054489355099988423092134212500000000*t^18 +
6887079303027900699038469538777207560261108828772165580626760887322822\
462270666132375475212647505717605399377202129687500000000*t^19) +