class_group 0.6.1

Rust library for building IQC: cryptography based on class groups (Cl) of imaginary quadratic orders
Documentation
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
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
-15: x^2 - x + 1
-35: x^2 - x - 1
-51: x^2 - x + 1
-91: x^2 - x + 2
-115: x^2 - x - 1
-123: x^2 - x + 1
-187: x^2 - x + 3
-195: x^4 - x^3 + 2*x^2 + x + 1
-235: x^2 - x - 1
-267: x^2 - x + 1
-403: x^2 - x - 3
-427: x^2 - x + 2
-435: x^4 - x^3 + 2*x^2 + x + 1
-483: x^4 - x^3 - x^2 - 2*x + 4
-555: x^4 - x^3 + 2*x^2 + x + 1
-595: x^4 - x^3 + 5*x^2 + 2*x + 4
-627: x^4 - x^3 - 2*x^2 - 3*x + 9
-715: x^4 - x^3 + 8*x^2 + 3*x + 9
-795: x^4 - x^3 + 2*x^2 + x + 1
-1155: x^8 + 15*x^6 + 32*x^4 + 15*x^2 + 1
-1435: x^4 - x^3 + 5*x^2 + 2*x + 4
-1995: x^8 + 15*x^6 + 32*x^4 + 15*x^2 + 1
-3003: x^8 - 9*x^6 + 80*x^4 - 9*x^2 + 1
-3315: x^8 + 9*x^6 + 77*x^4 + 36*x^2 + 16
-20: x^2 + 1
-24: x^2 - 2
-40: x^2 + 2
-52: x^2 + 1
-84: x^4 - x^2 + 1
-88: x^2 - 2
-120: x^4 + 2*x^2 + 4
-132: x^4 - x^2 + 1
-148: x^2 + 1
-168: x^4 - 2*x^3 + x^2 - 6*x + 9
-228: x^4 - x^2 + 1
-232: x^2 + 2
-280: x^4 - 2*x^3 - 5*x^2 + 6*x - 1
-312: x^4 + 2*x^2 + 4
-340: x^4 + 3*x^2 + 1
-372: x^4 - x^2 + 1
-408: x^4 + 2*x^2 + 4
-420: x^8 - 3*x^6 + 8*x^4 - 3*x^2 + 1
-520: x^4 + 6*x^2 + 4
-532: x^4 - 3*x^2 + 4
-660: x^8 - 3*x^6 + 8*x^4 - 3*x^2 + 1
-708: x^4 - x^2 + 1
-760: x^4 - 2*x^3 - 5*x^2 + 6*x - 1
-840: x^8 - 4*x^7 - 2*x^6 + 20*x^5 - 3*x^4 - 32*x^3 + 64*x^2 - 44*x + 19
-1012: x^4 - 5*x^2 + 9
-1092: x^8 + 3*x^6 + 5*x^4 + 12*x^2 + 16
-1320: x^8 - 4*x^7 - 2*x^6 + 20*x^5 - 3*x^4 - 32*x^3 + 64*x^2 - 44*x + 19
-1380: x^8 - 3*x^6 + 8*x^4 - 3*x^2 + 1
-1428: x^8 + 3*x^6 + 5*x^4 + 12*x^2 + 16
-1540: x^8 - 4*x^7 + 20*x^6 - 46*x^5 + 93*x^4 - 114*x^3 + 92*x^2 - 42*x + 9
-1848: x^8 - 2*x^7 + 3*x^6 - 14*x^5 + 65*x^4 - 64*x^3 + 46*x^2 + 24*x + 4
-5460: x^16 + 9*x^14 + 44*x^12 + 261*x^10 + 1029*x^8 + 1044*x^6 + 704*x^4 + 
576*x^2 + 256
x^20 + 27*x^19 + 601*x^18 - 4014*x^17 + 9878*x^16 - 12222*x^15 + 8299*x^14 +
 513*x^13 - 12221*x^12 + 18036*x^11 - 17652*x^10 + 18036*x^9 - 12221*x^8 + 5
13*x^7 + 8299*x^6 - 12222*x^5 + 9878*x^4 - 4014*x^3 + 601*x^2 + 27*x + 1
x^88 - 40020669926358941160*x^87 + 24818793423306608856949584839454391158484
*x^86 - 451973748435231895940407803697160552367624*x^85 + 121004331374769746
054948634032289469332999202*x^84 + 10059034519705811655247252004833057160111
397504*x^83 + 351284965440856373689297063590147136894509846260*x^82 + 707678
7287183022340559185242964779073439110772112*x^81 + 7424864222152380159098443
6783829317747047323123243*x^80 + 3016669049298212175376092685252207677089225
7842640*x^79 - 8503049963424563714394067134889147531482230019127096*x^78 - 6
465786499366041070602916523486769538280412443510592*x^77 + 42150640446078238
28889410160434091263108115351306399268*x^76 + 119525498598846149476451596656
291689313170011135603889064*x^75 + 20718604339256925426029633374659465824208
08944831769026648*x^74 + 270442350108592451558861828173327053458397647311211
61439752*x^73 + 285289444253762620585561596576563633155859094294552566693317
*x^72 + 2511360320483460798105377398519192324398612242438706127652544*x^71 +
 18767162620094934148004508464072766541604227783326918296860524*x^70 + 12042
3236654140529086575067911655764408706511359484732574173280*x^69 + 6698817371
51097381424117880193907743151768744395737304965311638*x^68 + 326030488372458
1257592451461949148632593587481718123636435123040*x^67 + 1401218174432359703
4445628272252822116949974099153581386829916444*x^66 + 5367567444185487660948
9208131197694348596313231643993076280314304*x^65 + 1849586073448214933624859
71605260396892443743494472396759635803315*x^64 + 578456213592452525292885126
678569328965911834184953238551507495512*x^63 + 16556817033476544452278210145
76515450466671643615335188802513429760*x^62 + 436878840618787239769625306249
7812500894047454768846457782824580152*x^61 + 1068901472860957747029160191079
1767817886254017900185293235705392064*x^60 + 2434351573155431230076300160060
7496079487124511808873652848483412160*x^59 + 5169291351655811457272426459136
7158576380942435990299052219843612304*x^58 + 1022998330750281135258911239455
74251052215437006684583051817380710576*x^57 + 188216797464058241448403558395
102741401235865324690992824034126437157*x^56 + 32060490325705765556225025226
1154391117300969466803557524988405580272*x^55 + 5026257120330186308702396982
13303008551061011852403188260952091908532*x^54 + 719344126023656757735145641
575616692987264009491520118662670217955328*x^53 + 92863816021928333070040902
0325566534550048821651703177989079236808666*x^52 + 1060255920795694954480037
612092276836813066528658822564102146651872808*x^51 + 10301589215685511855337
00012926850740762293883499745887488519869745108*x^50 + 771562428494427189300
153767022260995609490878443644218508155682351496*x^49 + 27346597807333111348
9250648988966144580871198921998690911757680224167*x^48 - 3923005119785941970
23702549831167038133623220261146198494006317061248*x^47 - 107531566077276356
7397744183394797701786847214693166357365831146616968*x^46 - 1589451619928021
606930471659130946568147974811578111348229080651241920*x^45 - 17807285584553
57793403089789263493950243261264268279117584476244784076*x^44 - 158945161992
8021606930471659130946568147974811578111348229080651241920*x^43 - 1075315660
772763567397744183394797701786847214693166357365831146616968*x^42 - 39230051
1978594197023702549831167038133623220261146198494006317061248*x^41 + 2734659
78073331113489250648988966144580871198921998690911757680224167*x^40 + 771562
428494427189300153767022260995609490878443644218508155682351496*x^39 + 10301
58921568551185533700012926850740762293883499745887488519869745108*x^38 + 106
0255920795694954480037612092276836813066528658822564102146651872808*x^37 + 9
28638160219283330700409020325566534550048821651703177989079236808666*x^36 + 
719344126023656757735145641575616692987264009491520118662670217955328*x^35 +
 502625712033018630870239698213303008551061011852403188260952091908532*x^34 
+ 320604903257057655562250252261154391117300969466803557524988405580272*x^33
 + 188216797464058241448403558395102741401235865324690992824034126437157*x^3
2 + 102299833075028113525891123945574251052215437006684583051817380710576*x^
31 + 51692913516558114572724264591367158576380942435990299052219843612304*x^
30 + 24343515731554312300763001600607496079487124511808873652848483412160*x^
29 + 10689014728609577470291601910791767817886254017900185293235705392064*x^
28 + 4368788406187872397696253062497812500894047454768846457782824580152*x^2
7 + 1655681703347654445227821014576515450466671643615335188802513429760*x^26
 + 578456213592452525292885126678569328965911834184953238551507495512*x^25 +
 184958607344821493362485971605260396892443743494472396759635803315*x^24 + 5
3675674441854876609489208131197694348596313231643993076280314304*x^23 + 1401
2181744323597034445628272252822116949974099153581386829916444*x^22 + 3260304
883724581257592451461949148632593587481718123636435123040*x^21 + 66988173715
1097381424117880193907743151768744395737304965311638*x^20 + 1204232366541405
29086575067911655764408706511359484732574173280*x^19 + 187671626200949341480
04508464072766541604227783326918296860524*x^18 + 251136032048346079810537739
8519192324398612242438706127652544*x^17 + 2852894442537626205855615965765636
33155859094294552566693317*x^16 + 270442350108592451558861828173327053458397
64731121161439752*x^15 + 207186043392569254260296333746594658242080894483176
9026648*x^14 + 119525498598846149476451596656291689313170011135603889064*x^1
3 + 4215064044607823828889410160434091263108115351306399268*x^12 - 646578649
9366041070602916523486769538280412443510592*x^11 - 8503049963424563714394067
134889147531482230019127096*x^10 + 30166690492982121753760926852522076770892
257842640*x^9 + 74248642221523801590984436783829317747047323123243*x^8 + 707
6787287183022340559185242964779073439110772112*x^7 + 35128496544085637368929
7063590147136894509846260*x^6 + 10059034519705811655247252004833057160111397
504*x^5 + 121004331374769746054948634032289469332999202*x^4 - 45197374843523
1895940407803697160552367624*x^3 + 24818793423306608856949584839454391158484
*x^2 - 40020669926358941160*x + 1
x^180 - 51943580593235209115083942712389400740668999369044471856895869572767
632154790719027854950985687*x^179 + 2547067915519807589841747083394507454979
0011527047653789753822310509943417124290253283094780925633779566003695241876
25607464220675698078104131248853904115685519116107718359916443145223952387*x
^178 + 856553204115408701571995615320558014258368114267533599476048702248757
8902931990647387774030794984717551258507939754932426394582122894184128382067
3569718022270291080598668993546776793532380154605306*x^177 + 762080502049470
4596056107304576599883142953678664313128034639146864833136453854583485947432
8177873097803164055573630934557797549232895603414584717394309407907786380469
1683834066404398393999145427753183790*x^176 + 308956387636466960153212938167
7324702311668880384172270669030644914696644648416192123216702361395347555520
1495693461977412751821857739072346944409047470651675235147675440424833117756
620892810879743135932320774*x^175 + 4884082662966665508762665969667649569784
5383873744492103182446854649967702283785050616521253612447115822047297077954
9614257317623478309277167745811150568304415956966429217813229788441116863100
4611840186992685967179*x^174 + 124005751296377747143710892598982088036932674
2142684503704154223658839486788375142268292156393058732202380086677633411654
8906703591687073852643697697716348962297583421466683339923965234468615997649
73368284228647193399*x^173 + 77807342164244792507055296791047457009683139076
6947550930281827860194252415153283906741350015821421760488076097868784697023
0684361377176470035198102530788844464458277074023468487612291349831916437723
0037354352780222249*x^172 - 266780829858115272388789250462200876445272313022
9458822467054384295379499065005972497338635889603051515741573734931874924695
7762408306245748926170958653384087543385833522528441856486249210097660034861
41241557823792412532*x^171 + 14828387316468627026106844845255173547861518903
8589804985538974108300682790820861191991101023068971076505863346789787263249
0126030705881134291752595991307720023292738164624564498269365143236280388326
494814603159167594322356*x^170 + 2072714630254694525113015470563866763470442
2896220054319081495621750749375349838158314700070013284414958575563065629489
9298590460673967042987581924280852650108640761845803254699501956119005286958
261737898381117495750422003980*x^169 + 4082791913658668250669500487553396688
5085691856416081922391794020222319071345465620337482939902695391053957179581
6611178564058054521757672875527012214760684410920857152888054853976552319787
6482624865506579220641586389147210551*x^168 + 259189082653047933938409996483
4388754704904320561628999269016762833054641395201768798413743705844841716523
7122469823713043234758088183799986341785098434142194216335145773402440120312
8996614247360365624068492442391061043753826375*x^167 + 187953325502846394560
1845576629993961992277419183089685715578164443785846738744772926323542142109
3239442057010359289122214569790614009609800219235849343052099855997036406115
0923659276590113217049579865275822653265241753456459305677*x^166 - 991521344
5331010597888861249891641758957210552260378821158082129353375249195112911754
5101896722210096101308894624313777264446536224444928929934283573873319884763
96421078624456037269503565600020449431475165029149896378441501395456086*x^16
5 + 870693463207410936114722926699616258456056310070174066271951439226764821
3754498248686363880077592953938815295745097173153881494887680426204688519814
5897926708879854493196612672343274340176910775178567635481360192954408109761
462192666*x^164 + 3291269524452623301119531480681600174871375032940729132937
0111633092058003369070348946123426594086592059620504463833497832222752798945
6786539655327366403796168376108709100410788811433213881703418728731545343808
0442501304279059153710266*x^163 - 484246978651008470853848049302633937841710
0550099032573348884254048698254002568503682165709558099310997622779159632947
3025430835921039731844769840401840637061784295187888579980063280775750740026
326213445261209232925320378956182578938287*x^162 + 2366596557978274147475255
9694980204169227021539516608112189319106501133980328077568567038119905399100
7262473707379165967733688444634721899783534252243520926838729652205328556398
93844358125373580233579396300331967493836532017339326648417*x^161 - 17861170
0215272735065228998593221635895564621730723507909826896490382687997403628306
4372396936244334959016553113715105764010891971421665085465778102274753181053
1359367179288752406620535700142801097476915172283884503644920276078920893715
961*x^160 + 5442886569416213072883949195207003561672975168183342200753916623
1352236561897735153650345477157913505173224695785900066453147636135746522196
8827923591138659172463973059604218652821751160134239388400400287612441644522
959559654240096950196384*x^159 - 1878459194456192332344340381238953837099207
3242518317157665963817987346890603378811086853859511458448823118145390556032
4154260960085054869261002833248663395080605671172589053299559751809388877985
0319337022684143396368259434426190698508218580*x^158 - 184127686942437509991
1682977301117955663562464265148547217904344728959181240974449884065092029207
1219636898969097801966235466592457246648086083637230209961453625153292993135
3654541155851737335657948991190630601809654864812836013412428233332508*x^157
 + 6272745337714289642780597731451440214649776184728899306566105704002623998
3846347725688034820317498349655377903497224390190783460776334008364647848917
2185092927745795075828017034702156144511828098427591206009505705409852728295
6922223630676347544*x^156 - 130604497267883349741727434418972048161536102040
0079797720405754446746742329603550983122106752795162131799337624121456619065
4040984420476843424034832196407821304821044910660899700295392042290695059542
0192036616889048813209519926849958791965413764*x^155 + 193926478941415365968
2053039191650223015193274556301436638340272814361000782491228757908126714135
5744831221609082890601733276886531625139761625422579999591146356457708488690
66496229883200724281039999541182828857613242844117034223500903997780849964*x
^154 - 208974081851580435134258388853435474877812078509775426825496895616316
4247844796032344219123951883470813854035626246176679417061266672681500232259
0819881630082047200072248185982748889171705144305698252911851141436968395735
658717414968653352018931248*x^153 + 1672646641882017449123000870294181985430
0761766363953593948968045530794890931499833945021531203099422476121576329491
5115325960697513628674724029981734640823975379662772003784140453861998461512
834247290509716832865395591217427305274661390000337103156*x^152 - 1133671449
3365295420476716878286616778916616227898741966819659317216135015136322466563
9827520548877905001507920274192410200096811676503284991805981968482979122155
1667739765953276248859306767909175625527281202034750975189910458947747942582
531447345892*x^151 + 9686019535728726397130721344019529061590234306774474243
9775684839133142925738217830167297947427381690011105467748624943273307935251
9499655312785116384255798310740712404573339361423884780107379495371631287103
7645627569348897599991117672316256550430096*x^150 - 119041422102704367724958
8670984575013578769595187713509039012506017888268506357273229685836102923546
0042880742312037127040383670254597841508519424535302963725051506007472454825
8974287875801351389617602402488639578930420752407411968308213028222350043652
*x^149 + 1390123122192263005517637294725114792837919558648428420458046731138
9247265920089325134952307005121333495864776226593824308305802270042865765522
1706646232757561716861576911604612712092794424651617086755060497490406116694
4942837594012909743669233042838778*x^148 - 123556176727604048392495454055977
6399401450331126081896858806346942631913417189093648332266104142047071085393
9823740200206373338590719973268754644225041558662153246796876936041537325415
712055287848699094590808089508684909536725801531454334504662219155298*x^147 
+ 78338857321405672298333791473025282082268588399811517655878927064487660842
9607987213338588537735184368455093544029691810855962878302724567812912958403
0825298526758499964573195767901492416707505928731723979119497738428625056534
2370732550549861221973628014*x^146 - 337429582052616696434247676773381390391
7055420548509812685321889562165936397719575630122778103303140528950818170117
1026255806634894861047352747650017243235019037703269391120793396636598558834
3500355068020592838333693543614719695933939552850201760137124456*x^145 + 126
7022512449095517765635963857489440320956185849532448394191453064873093377283
3265337003928417799194535821386624283453961529673399508105934582815314275613
7678638219426069444953840237686338226443443810754745407998159540925231095791
4375045407870857103723132*x^144 - 153719609646143637199240438779331521362833
0310998022856189520090149655383700607165028197046414621578662674582267335714
8666559983310416796564643262431404031085708670498514131879172395315308884725
086995597751964859239544450069420287019254955379338574827976392*x^143 + 2752
6304730305492309519611803297873567100995379403820014027217572772469997269963
1748009334990330332456740707557146239264293783419594063347012801512753255648
8881765170905842263824483323437412768565907107652500759762684840263032684703
37380600828996170962184046*x^142 - 35523095157828313337139462591351702816577
1657314332343178845563474958542277571903631744992145135630234735095041102708
2345107273636547410151070834277389339249300538652341339871040322822838485719
858336476359261521139254885461283464480406069617193177086233150446*x^141 + 3
4465803554989246489275769454764022910035142135182748059069252044933640478411
7307420416885830806110765171489332421312130211574457885515807957701177125587
6661225789242989640797022695297712572706533434600560766081391785453226598427
1205078552129981020849945722662*x^140 - 268373722516115839581073071008494919
0456447093682830001175926782807962713700083271168738651540876330140533486735
6212670696857859739463338404796759488859624213038265846572508064515479105995
6333436847011768914542767112707721040710586854450242752202162514502517912*x^
139 + 1742444297891369493991077844263622734267621349666334184372478600323885
9274274057411635646353155281298451648136704209002938845039923935043096379256
4945721786177563429720654144039386133241554831725367065310144005542392522004
1645737733894132094639323829473024157820*x^138 - 963039078892037951990470202
7468142690696595830419680618831266273162745223389393610063433083213953579433
1498149151107810908751113241849208570338521838179678717281819508263987198750
1951924824700995996767534695158748257780864272656666861530432230128739030598
8300028*x^137 + 457447376242160839222865523212081512251204172769554541536513
6010675335568757571514112103791600745366139173664147588418919365588570555754
7201003803879915712080042312095406320055413204732204964260573379515119902554
321889204610298573371864198642424001195728006133182*x^136 - 1868860578136529
9491100566653843653174297026478659238845320831747624530880395790502643308730
5462268585078679776019946603866991516563272428283420299615035631054324035580
7669631492489263529234747091359176119230324423792605912297491073916656362078
32174634098946284598*x^135 + 65093076668803329116252899967129264121954195081
3165825173825622033622982444205859242607493663511833086292972086895883603422
4352287091011138657074487961579204189764700353920301472872505685227133477493
45517047708745645767806883427498415677547239236298519819304443846*x^134 - 18
8737857214948682414768736751123125995536055732425264657481481197221465136381
8263080004881765201151009039934832304971738613022285488660591980899059758561
7366670880266091842937662126151457793355558304191543211766144762254313419741
75714575265820939899419742919508060*x^133 + 42953889394645520155740965583894
8254975167613584775116826651538942451816286881091436166450578237021021126058
7376408754507104013237607018922017023401049094197048725524392809860540776061
0681787413121689140926769612819886834513469809393226136437731088172895759675
25206*x^132 - 63261727328918865906350940397161109868277289808692349026207015
7309911965921420948111081525007085507792610014228611379115265836635218591862
4482685303352489099685390524441351132050179570452776530090912230189731431879
125807895290459527651483474680605068851138729175634*x^131 - 1119917054839792
2751688900486058857057243360132605635779686384574213339264438353376214516815
2207498910643644483743753772520064969246600402986900436948848152659373181329
5043050789946887406470007794027558566892567839570362080341591028664006259784
979214096682612622692*x^130 + 4271314220049466852560738338393246245128105321
7108326600567680720579375803199815405014779522998261575404021302604267102318
9973496984002749534274370752056057799997646445393423249459072172570153388076
90270224780252688493775073451490812831750493851260007482523315136586*x^129 -
 148023590100710673141860886464816208028643509093283015533625006596766946972
6741578398020050334876578221252235677233082465182051389340632694789790351225
9115953643872578590861494318898368229141353955324644187699428307147375218229
1248178529493117079561875143739124185634*x^128 + 246175641614565897679653848
5278045743286736401969417596627545851445013857575343959525966011452777041860
1869322995580927692188758796260764328940765798775338277071600497396412898284
6342663264119335560750008714258096212502569271025201095741906534219351860811
124404494196*x^127 + 1990565893680671595442880060323376805411690898242032023
4239133079106312028397798694740007864603898415855926572783576585034622967997
5575446479539827712484639591071048813727255731760017261708300771575388890158
591817638333201062459001177511936169630253047386566741135222*x^126 - 3016573
2341675486865253308430441797191448447887193219597832133129727214089635223501
3420645212244383261917032590855201496548201420356430642227248391186457171733
8876314939133108407277975244227776960656325124355051502725255975073566061339
620994099300340563608380613367050*x^125 + 1257948144362960333134666662231940
3520935251787268873160231319726921665830921964289640164226960267401382195941
0507546787902030963701849030258171787071185516798073095493413189997247441301
2363645824641255038770075189157898962912949013449974648054148641764400320533
8871882*x^124 - 366475271260105058017315536083033948306360270631496526170966
8533370069635382315040133597595175856841519762702237383805014287542574172530
6210807276260801506088986006283626986882464595447299254658758485568943925875
853699462405048328247959368186852953798221740253247284792*x^123 + 8471667404
0018254168541029547267006611224730675524513635334023354380604251758054675593
5413776225446989659313910683079873583112382327573250917778108062870743163021
6965584066720515779759514188951805094972301673794254962048375194153324360075
8727975735045108792516939770864*x^122 - 161146935717428461799784793801173853
4799737191324944707968337975196134044400893575466678041623869973266066574271
1435647219232676062975775017270732119064549881937724549671623652481177104960
6102487507016989267838733791065664530366349655384775511706599600386112512946
557632*x^121 + 2522694849864480951479825412582961761101029175375006299005032
3620295897587695065324670940000207944207812042399077482469097012869133985212
6354595110186421998141347799854111539239085705015451817020704883026517132793
698058647769011690212936405831828960609809154392310067086*x^120 - 3123954350
9500414655822246820581466016766786100370771446195101114970617420873338985187
2315673998753642061765284674623730429562551231647203516276142369010876697525
2061798837483708658347309888670578337964579148520979957165473678360131302986
17785547855899873691057926811306*x^119 + 26093073450128435322247521043157618
8712392067239030279298185926981851613832003883595362112194063431825921469777
7131659026396971729721032938463093179955600695600080670675651357367571081793
3768796854158042814794986008423382503555686761603718155957955520619915926285
1046258*x^118 - 546620888417310306456913297002373587712583541328636451073449
6886209350963457906027266059482196156973048570086277940148682564568467798438
0285254978737341206009503937974698380503149962544290779617099637261387918629
06553536781663415296571417609896418531671323802662549340*x^117 - 50182021729
3272384861232464186597002893681068429473599603378492391207630929901153313074
7556376877685127771266174954090809732508146930392545806488414232849981602588
1335383921214771830072947665323419883309028215410288472590477875403748309525
8171403839074803113722901930619*x^116 + 118406103336876158577917454186709740
5449294198484094378541103762383848536861007244183348157579457933081098099434
7987985778741196393539613217121527222032672240767536916435194526743758819619
0063225181878442213678933572194923238652257406338724947439730929871504295850
1899245*x^115 - 176734272677759520180709847378647130652166835479092271077232
7067981192822476939413912953115815829947318808933249885514336602487836197536
9611127131928890515684844943744748937382837125994011164383657897820620204611
77419977223148716322298719262705865767989172293892727336803*x^114 + 17753024
8530519942716171951800965388948822797211110233322549229100349316200278964800
3343785390491378071036048329384421918922891522117638503012421231548652255160
9599399433846703918342084346728100760000876417162144138571778762943474072695
63098844605653811371200441716482612*x^113 - 68055808039422415389652936779491
5026270001374161671086886435342385993661681436002138177107204224273906832078
4550021770688659201646483026969760576245696112286845508450285259619203332272
0607576466516522822599227539775561873960850804338603845784871088630793662781
4494090172*x^112 - 171345855168993153971261857965957509597335839923271917993
0591415159154748543112880240425751510004701705465610982555391151034624958936
9879115829869566643976034053215829935761929815383663545384160654490729816046
26649741228358475390951398611771434975819632467920927623648602*x^111 + 47552
8035498943149856772358089912005247194452214038396267610512853006205877224336
1926512880782786766025384282981294577511242497413537295024045772317451006411
5818078293866049727834002439604775548744427611299658913382859972919684056285
23953865800092933414124830547621130787*x^110 - 67242845398127603346764378735
8630417913935967603492325560313387832908161625682986070993808856191981689362
7337618874976711707752413017492294772666895660870194024839210050819796389750
1107885069331081963929674153546422780993129544541729439872603263786386221427
59365186532673*x^109 + 55277967193070494108505087891929956655236889687657826
8175977451438771610569912425740087266827286735858716699401268464277514456005
1393232906738794805715412356740750890873873435323228244674952180988795091974
844777831874994317609349719963129292674653332785827444869904448205*x^108 - 4
1613159149582603037007821378021268206873842361757130321500129691291418451571
4472352328413744363607247454062853765212695133675510221970937823367502714872
5264869179155436190999803707918965482858909915679294544758294286168029187155
42674704594105656661109974298786084926216*x^107 - 64968550520798695907403393
0416095844971770756779773877908365468264830766792721054670459397639118998550
4854765543268865886038920660387928909044011453689430024047009170672072811027
5782636138143658008315348604258233043465414839888086317182504579245353574551
48087384017967480*x^106 + 10988704303885892826315283975311210242722783884449
6602821133827001873720461030281740372523131562861261636562127194114761297380
7567084209038324237434507186912029498523360122835533024309739840677831689412
3866277910335992520712968840312446267340837533424627065123680989778324*x^105
 - 1037769081322395498728280928797930421673181636784651943232652987200370379
9887100753154281880152957110034253066824316513009332837888828809575782813589
8395431699875068691882278140209738486991188655032931569583339555950811469751
14819216369493334147767991300084429910831005417*x^104 + 69810186616581919293
4087787107108500858284600224749854536503416055380938630777674032345768445107
9032740625501338477163577149719360331436837611189692791831261366092124431433
6123841173727343108316374825964917374812406255193704152752318584125714566685
03155908009579048097943*x^103 - 62618742936856051264116083169826991776205278
5386210430790988069604384137878194361389699073225403863192706786752381073990
4629809810678656127043145873535279223707645117591581849318483810783264428888
878968101286898381392510682070079334990623735577742545874102235967038827767*
x^102 + 88547713577136747022744956480711506392268841458610902634308115200722
8001393811863713127092848888453031249274119846056297769374759830206187529701
1903856417069237945552069729259203293736154678785007420066778201855082685563
641521979888163226986534911148352808279115809917358*x^101 - 4630158507380629
2388093315791533391137484806668109034703107450628858742143410102799736933423
6907074978067722826731138207487756769203481925052544349731537665931451375605
6491082785764360244007240454153410730447743408991269401214809728107755411693
172395012634341107448006498*x^100 - 1987106430336286502255096633621975778269
2749388116010785359867801694785712027822174277716791024889732874123796999017
1165326722657523135611227287116367063127157679861619224054599116072941563451
0018552431779605085569288059085092991937490866241369045567079522410549051673
8430*x^99 + 6116111486479868423461963851524196927490094772654137109281820240
9655601335862868609893744275312622546677599324483201519748792880440223783865
4698142956751915407410209991596924924552268184253687896341372281276522326101
46924043615114529192462392320461821295874662972625510705*x^98 - 858543407202
8582480876325305001979394403680268817452625497746550339718414937826890236809
6758090513332370728027354524452052318746523877507900393006790670253886201007
7151654142173689494119764321155798594114038476768325934248961469594904974057
82950778627016658691250674749383*x^97 + 490657445429729269017920968754688301
6620517611911217595219014813015157155188541123765870476789021829481317185682
2346556428383215072814614042291152340886085128841976463982340477579191182175
5499560251631802981685749888173758813318700520169103214089237413133223676806
81136483*x^96 + 588480356039113348615320015128938548650997950279831325677040
1070851758771375890193257175605171144175873327958813862484089151772708967824
5090710382325088735952719657758536202632425695397040762304230638936597396706
141037241892685559313526162149365318736429347633086308123732*x^95 - 17860801
0792691455581088588394658008616948993017279794644452692311940825238452683644
2319855428360563553746309477403369295008059059368147822762461583481089204503
0764049052795948146830428753094428042821800841448746792034840653376273350188
2132907610936220993092559868115464848*x^94 + 2080698898949934438755286742414
6744709766506973468237223938818775848985645787102709849630670421667929387077
1839075966340916755041077369098858794090822988106295163721588178394959186872
9508222800790599280424915420728365948473247641413622178547384599468880111768
92625701864148*x^93 - 855864218009308575944636024731111359775112255204531345
0227262959123310950664276060293965525931786616911167403341188615339530286675
6775269831884121745448799689118137607558616438099756213430487533482486835346
075682903923880766231253716972279618549611306311532332784130069552*x^92 - 13
6808840532983525733371616856915983783270410509211401019532102689258560876086
9527424128221769318567475482882108641281228508725452571176264919548871309015
8567261995935441375507973903437038954795573527871968541716126334097932463611
5855437833626026464694567238228672113384692*x^91 + 3083618181674886298656898
1166117178805224503007958449196073139881830099761716540415100166992970870487
3373126707079788137630463247890473378063608477167239399012803238136948080412
0312330266139820196748423629961267609185986608819581540758534872341667324689
62725982670350394704*x^90 - 289813403115309877208771459417444034084104076525
9424539591515173961928303088393009380304940043691096832523560373895822112785
5808066054703063840814273369617911574459101343616657558236169574623914019563
0152780337575962071156042744164046198739767637262303611768624103749962308*x^
89 + 72613516630962625965473064217525199676649443527570426575481770740043888
6779646591936295747831851104939101651758342323554432645301127945581635380942
7667424563537772502070799105048465507245059623491244896462413185145901940314
5696053808385861551596378474452839548918080875392*x^88 + 2007137579167957439
0719911721927558340943820520648172319420534796396724837614574044411853430783
6722420021463109835306685189533078441109841798470591234934768692554906817588
1207883501035322616933512472492706367178783380343756988188031103657790713917
44233368892636267232901060*x^87 - 341583527690850438763926482860330447741875
4305316360798807536901393938873869395520682617524619723932218997197449552997
7902796418727196784273654618816384850023400797434252298928612530838816162641
9574193744111685493591811397803624718762999077541037470623557200013418602943
344*x^86 + 26018106816532769824515089189721783374074645569591071162155828403
0232272450337410678138897855399057733160129008028400975157648521806369052132
6598794386401757044711814737218799723053160173284842744313272283592926991658
43454191912138368855662104946473338105764358284022377572*x^85 - 285687497537
0233084322274278589877961032877493803575239781590446839383349838850110790540
3648812210524131836405185194224569727115488819662642038492004860753207681555
8064901322408777764393214575140844637199884061193474482510361153824419358509
00211274244171508240172003554579*x^84 - 185573110599032244389576804101570527
0843481327670529736455724859117579642729259313496498283495085435901054470028
2535196961772216663035884293412871166129440632779930980074617184610893507366
8787347778013694399060652311121162557391893749324368007933315027120013043270
445299679*x^83 + 25050117171467230890654410834087578617559538489554781281579
3157881185513898265592143907721703598168076058572348175071967137401886379765
0888321554412070999395502650926168357968511833244292802087783872357923454661
96695362647033860816591741894381954763538781291764410558313991*x^82 - 156624
0805166486574430551541640026858587070051407347684313586931160679067646271535
7829110559493831623647655992465253608722147473274284815377360979913488645232
4593004096825642014547164807256580851492214151707379016954878586353260655456
252800749153240368998676635038282783458*x^81 - 11012223211385811697215073324
1921762613953353874156837170764058477228457541142548719349032469796569578235
3672680465156231420291792630380279912309212851197963260878119761617542365940
8318430631980819407521411635240395800739279192347581702754335107271855384807
48046492479002*x^80 + 111235651556599161905998900669481587907856029607842384
7058721145611490097096177499329308286485980098377201553695581299300616429252
2896328548114223502627261314995818846022537138353738293647104367494387573394
8393580977308270455034395646105894483336815886915572733813700662098*x^79 - 1
2379020348161516025309044646747619580648761934003227421750700116671436042176
9234916272072233533611217288217765756191391217561297135624913793687875324800
7048123566476086580476470670309837456621193106958657582668447487991539286833
57031134988178799550492266664939630915472321*x^78 + 644986875872857655262996
2870357260072805613051355925273289691398310869281737114462536081840128975833
0126180055099077158183624456453836279081213829170321954905360807167962624432
0834840220201004905145194463702511094693925819892194681047038159942946067231
75356042055357536463*x^77 + 632358398592670498095591997355631111077729590643
2790651615164768723582162467454648690012209970035792209695666782959269273807
2446931808206460612526556054521554052793022216016750971388084812894581490191
87488153428597505906544272968607176655503312813518126744417345713254937*x^76
 - 4407859464775144416487947396167367671725803977033500362272840558411894622
4142347820758760948628866949429655387790156661766965605123758771588193309114
1713374027265271324050920162934924792826148476476160753572716996003978356956
83804000368513801138734053137773265487620770740*x^75 + 416372459606780296337
1450264046151575655550849081038974416037216542290125884466463363808042083850
9725418382508403123824265992064946980309513636360132567064198384175231861989
9012223863450049443691606628550828159458118620199310401445249248178059313891
70550354597821348040080*x^74 - 184161864081127040151143217561783123125395859
3984003709177376821791781406937773897678496561663900933927169138471529228790
5120635576312602740572720848588646957621039854850944227105781066695720878550
615756344477554232044466772542846688611602947158650463473157163999798684880*
x^73 - 294578669269207164351858864041819495442047310529305439637416055593898
7162766090787137613214756965908109965354836546249973970248312691190106013609
0096047571535265598414402965513205463264379299412109566296535132357163168956
32417972107859793797811490919775354115913639814509*x^72 + 116883470301786694
7940105919928790584076295711500240939987022716541425069544597244574520104343
0843831048650119597248348399831622778255382707463446772861932339155184508820
8691492120804327123688321050527154392082194558601074437356409645501206599517
48548591269958013706855735*x^71 - 962337617562843751668517056379887654984035
3607775335999245012386540197534720757701144759975007037123456361469330484819
1315697282222826434358396253666199318705803758613569124925030815057449171128
4560115497697369485081240160416963318875432658639303154335108578568393415001
1*x^70 + 3726752627853214173014791913150187098796942009506244634835348186874
6218248319652489347706949219918369593434279794434225414007742000717921598981
1967637764507611718683775885631603729498673872931482040372125187697058620137
8729901384977948736920393075869570682078658147246402*x^69 + 6664265109721472
5027167403028506905386766457143598965411785702251914095207487701546804662501
9973661173639310250173508615816977744154467727637322113813424769329746934178
2443037607433520297691194068563933234561377974297855282622664908800977935892
66781529161410379918516384*x^68 - 207155588658254864820236483929333843353850
2314782709935428769719703150188593756759875477634107095955930003335004909963
7806096997987389425073233030518177133541278388985086967790086225554199073757
9183726492903476789901947898423219398782945711055270770359481994540571424130
4*x^67 + 1533378023324702195795907021652744267401738630185227412509325644190
9317029060634416164456507736338956677716876820335111092883359676091733924360
7562229802747370137957394804745995747839571913841959663322372004062970960303
2739266325572053308062722007360886556152476819257995*x^66 - 5448017961352466
8954308761386777114515861425568699050923629567132295720176133619693154821070
6679446412666455188970580511515741859257380970964727783399666659463150181605
5832418778533170218818696428046565610812780388008951253152709903494726503303
47825776795872045310257331*x^65 - 782824212320460720852470872605130544762708
5270844370030560427574258798403117425649643063954946491985881365052474110155
1061361746263419716606571746236356433610334478429319747526941053865615635278
723792660268903548758991779230812111021711115289261014249648789576891768349*
x^64 + 241834633150739573689757316859489557852802058328995612290604847372968
8962517428202844726500527178649942306770989823832330134459212595922531552449
0113231117621334324551438466322046602200466264537273693298034252254721421676
4952766269941267448422272698762518675998018630028*x^63 - 1666339352730570520
3639407453322817405171376787484109204948738088424073980877086807482951938601
8865103399869046069476520137316208493195695957902129110473449041403464176591
9862359175005557769808809061623387720644388156956972127266850675533756707525
90808120744985654078946*x^62 + 570449220804489887130193887685456156518623172
5938262332193484731157547462002602737462832660959996983966122744124822282431
6513410409807491982186685917971756931992668327222699312497837591559016609364
497532211515388699725043424503916154248093353508075820460159560673674726*x^6
1 + 379845061301619031112865499569621029871812941926085546779444789597593099
2185392685054292994780700584857914762885227739218300244363323904098764703684
3361325604313463057739669057343485520202139735014463468397975802705055082320
02067235766810391945048746973605012517899250*x^60 - 179994905002158006799826
1581248012266767598208187591516407746996243019260988129520947344375845837479
4375473622136858584586366278763492407789131148115802682216654123834671962143
5349323536462397163996997039950567353507544138641982512459740031444726096910
94329488186488560*x^59 + 119982265165997044452636805135365752758447406488957
0849779495733478576958767846719905517427473004995721810584114866176087023280
6873265056291159390228424704274613300367658551594974395489222878733856100659
323368722107547660243619913236809974787583082322603729616639857984*x^58 - 41
4498343303395026162273181308147077705273369693379285169454980456825999696414
1108191789225342382926105642661506635099783996258510012027273821755928691169
8167108483458843302305307979514403727827680023751217095370719902334212472094
52432417836264144119102122277397817768*x^57 + 151296257711150774319086699562
0621904293538949888063494638380250947255821384926730801679647950967103397199
8232664074317796747475932212744662087954481765782241246318995396862540981468
8990486802544852254612284845621149784604770996714678404380352987098024383778
212981782*x^56 + 77172024931648750131579375330854241317819193485030367789630
0194979153932088946756095579709069441269038355362032598061536345375371499825
7603589364289068081989344439616890875432673156016666549955986167393531518011
67940120441305635456765616769010583292909919688853748166*x^55 - 533362214813
2692571383637474154386631336646003027379100089536309803633081806433335487865
3788348099478071550518684140405592181062300213393211342562869431261195244746
4055597603055279266341016276936298547770626014341819185195774706572228813839
188337921892972222814214310*x^54 + 19809672028428641640899800622402763302466
1074260655961612294389483118237887223011979572958763434751014838641676318160
5147310285574152096915663041869066749730025370705253261451722595574825909044
34743256388662636089294615411424475808328353443007431056186153291193660236*x
^53 - 3298236730725312112107997188999732021783635308764336412988146411506139
7104102160872908196077077455976298299221998872649597890835291998156291479044
1156752915907868097785637632834657415730880385603530195196698224915641474164
13441042710366926553820042101416886262527990*x^52 - 101449365782699643760207
3313704763252338242187697491537141888115893684195480412346735267432884547401
4326674844047109008343871306484926351769633249049418818884494773111342516465
1364847880469035878140408781793697844423605606532175548895998431434178111893
10391299541374*x^51 + 997010027853800903810835659831173696396465410573075578
3905356009776229418935908969084901777161285772610734056245264176199983282362
9243150822898802087782083582569387718010137408195023053062329504663705594403
79207927321560114457596629472924327212630999737789491694628*x^50 - 400136364
1205954524277253466159627211505461211798229164611000835355077955105452940106
5043117114065854192422518937652264386811681003511656062957851230278085993229
0192913573475644905186402717704749806127538925050731511982133457968662243173
0574757902251581738927743514*x^49 + 9180213565693093847510479570029388499565
5962139940688297118935762169143151779122206282849955988804045093690808202777
1911618936765072016334219087961215540705432215522135777876375064000492729289
146413824719753030999530625757538495495631483556564886408485696916274754*x^4
8 - 501301210215460642688466550524464459820491039666763299722186435065388308
0998476722426260605286629208716991084876566352805637002187528368901275570021
1644840502467709341605696416994819511376212841122712589602930316113642419950
349056502832731819476610421210838732740*x^47 - 54944298141158889585149685718
7336779616988953202758365462768772698687661348560047998087075022182507327394
7519184487938281971887003668567460606612213622645012761958365390879314022191
3390146402903001771434654731924912308476740943900732699364805260630537589779
248726*x^46 + 26686242659774581832060629132908634079744101584587342617793147
5307484074819549903437909197788777407246096377950996274109900334593209284669
9285933458439326397108293597155087876694426014357663784876151672816297841341
0567270026180297395204928647366053260719567023642*x^45 - 7052486107172135206
1948720744051909520509772591994862049253916379923010961566356969081325001527
6292596993146766741009335610467932996827331500592308883886627814990767499859
2394117000761761120597925240350755933951486120638079133147944601048042610283
120648681977182*x^44 + 12094887988138431717848391295686703675228636456392942
8682928139939229340261144090919567211768947492261796729623549396284079133495
0340419054279131563933305486551030416968393033147914495046708454093512499973
890279938140031139050906270219603864516933692949758319412*x^43 - 13249348861
2052453833911384927269989662957662727807923412036942065407705141769113172260
4562201840504522929158651370739513572711063413085138434059101868053588204820
3501768317607444088231087593813985100365809682458092656030031376932623184206
7770517384807361785676*x^42 + 1335101451287203762576138569495941477971504274
6021839256417498499034598980956043459656243655749784623012085862698394648682
7521666667680743107938078657228707393173302010891133955653957891206671708545
21488797288438881522832497235465398261203063264934026405622216*x^41 - 499475
9281308667412284807719782367452360187792248198012964464639579785518460647882
3014472001994317756006942461078978073213429085061547197216262635883812900592
1762751571689421659752686372945957018076639346750248956405331139984740983345
9224825604519148808410998*x^40 + 2123055922106609642987166390747900882690095
8265815080171818541132693855937048009649851884749195950160943998565872859377
2466719457136622623105718221481729397353928547971338648745934933818733937555
9722029289477935787063071140468460122494931142480075599166922066*x^39 - 5735
6058097105987281579532842451121455107789722350655401468909089438850594255611
7398406496524366947519084716044767896958134185399473668974877433779111152344
5537408221196487932870899207582741017935334684933397499648658504512170298450
81211351675478818348250014*x^38 + 101323645478522769412770862955451494838700
8662851023057079588279613730397359405727823936580260643332082414004528447161
9032650746240307864113277781931187876839372237162972094621638339957461376513
5960868446031017264818726765755631590746592742117108410287162304*x^37 - 1158
2691707749694320983466811601420819483438159197492729367460974781919497846083
2310429882055944418973561703899132956324878554694827218593251972032733158957
9073374625050919799091874768764116278381338067763168272226788014070435497357
3342854568112725548119716*x^36 + 8305639013155526915236550603371532656184411
8485479725403465416008780582431421160189594698593377625798613038172701584227
4206678281269713323953843252700015484543752538426082787722637328521354532797
854400197712614233087564302182567125978130820395479367756272*x^35 - 72553146
6299857240224175450027827480387792541339702494044488085609115659954701904593
4063182032757400157986647557124710638076669642745888083114891044280939887931
1080380921785649390927188469314188121124356596001115383235298455028416330896
607528890361908254*x^34 + 19860798394812096491425064118869331882474934679022
5013755600349219086403728983462588925205132120800514991648137327905331386108
2705026046100093497647310070721575578185071569257102022328094661667732591461
4871110127674403701118049341045392289086401193314942*x^33 - 4504073630957286
8996977652497679946908816176921415580423759147328165686549644634042466661073
3511461352309328969240076472657648713663010059789108519959246932375899814162
7806075361906437084097330297847347043691634727928126429902493759079959944869
550465866*x^32 + 69070920659658480551690757737221770374761684950145185121047
2484618737300993281417864275556465857656908421568917719365815679023157411215
6057258090256560697376971566576951036121500346489928053597706896717897892051
06698965797835172312757476105925970954316*x^31 - 950505499088700807538705994
4852731534709761992249213459182019380991510107647264892021396558868144681611
0662751219780692605034863184825513108322135455467480199290708985357993844600
052787576017748490330946803622885911462082828385374632295839177766961104*x^3
0 + 146871001034451764467214379577713350818960453105454365246878113141243396
2615951663537883759634270986980824512323040156750516514483187596408739659469
9598984366473798855873087478723052705650039925818705324797901096311128210246
360020474709693712139627212*x^29 - 21967157682673292571077015450821069674087
1544590587052875727692154504672915643984006806321437086319058849365052767208
2180148377519601579902888730828514202452285184145954435822512134773040530752
315307032862652438081839581459737476241460047819927741316*x^28 + 25868119256
5279242165718547565481040416951897690007278140339301372610232089805802058986
0750808024571604981879223368087235334407689838584104951724530561739372122119
8951117323168039502216475583876368959953874029365022369810172602125325497095
6445408416*x^27 - 2428059268010321918244811964086129262156487932219116205050
4070649327791508268466838408282079070232219613570494028527410574628542390142
2207371899314254390315983442044698383945383757774385604939274532392556556337
58840387565176697754574091764000708652*x^26 + 228044964584692160131546765047
2366230486843363280069375103638842382972106217168205477299195570432297721283
4433913421328769323459813505283451769698919188569838637736110033080505201432
29246149018773191614239310593408598408683107352357568527200654044*x^25 - 240
6358660663137122033270184955011680904324977408022614274765749948013776439046
4906763369553397919412224096925386397722165397929814334230617641557808733911
0574280678118160005286224756835902809740658092872319513670690482675603106255
535345368222072*x^24 + 17662623687632442866313848276740533318473562530568602
6085380981148726634500393960831149553262597329458902932994016704916196167706
1802977969263820447192793617562366039417910781021352992596284460784056551089
2584667589514772071439777359014056460388*x^23 - 1017233748361584303945573233
3032677102808866261456706104325822118295706056417248083910297875201722536975
2472365095568346621934137039403008509886158851525905826470428214804919613199
4864749556380390451533567703437432891192535285335888731490497100*x^22 + 6962
4456632649901142038343508876142609309013148113719161965752973745996685396900
6242981394546059022035086880100336674301708003625923297490632324135942177919
6475754925837957964115788320422751182797666627301620661963625816748809270833
0371586416*x^21 - 5935499297476735425457730389595586123363077244239039067258
8757027689826646450579634779345685940054648366379750425264531723684895242726
1296842788479967443307602969542957303586075752713784702233094467073009888400
4709831827016377193151480549079*x^20 - 9924231276887632055264945002835855931
6153619298064184888082607712523327637455849379369518935749807342918090562216
3515240369483362753072379694694969114717331800146736581921176222284191504989
22256734920743781356158658426818610320388361445943*x^19 - 223034910041976985
5872625998444601823522405237422212480311276936526222907234872314934718146257
7999956125097315186127418244514895084164378747477418159356551630505131305135
965903638935951781824035858082445936492127698502477328282539866049529*x^18 -
 236643075076678358536974434180237346813030211220576398492261042505158468477
4245106684856714329733460194522211899691204030539339797067532556065266564996
8995125799175143049170891303055998502994776437035748429866958228412329271509
6914727786*x^17 + 2542147127057127485965235153724151047113766830500853009593
4057432271073053439213859505464662101818485064985498169276132525055092922810
7659183430955698520972071635491614118402866501132808889569521209673251362824
76709756655755991836417802*x^16 + 183111149787713493280210397619912322103096
5247871179773154030195420556994309371058325110985700072545919333159157805938
6224014037352998052003315867311050614119923950889255536852768279112155091364
24174340648729576596630358137790527045198*x^15 - 449821041069912943789836264
5632599818971731559621159648780555694409049475593695526598586098851324811318
2519341945707916157927951713037252573987087918917682037480599453640794209186
225479459166338434922942612532823032751347335799704869*x^14 - 22982911151946
0414712287398340054262339910173840391365052883789755652220150460120847132485
5387525455121237089427182900348837425717452397567606502432587339063493335218
99975599619910693111772391894198334123224235975702158966025975889*x^13 + 425
1167449102860417605682557582269062328643891986101063790164447568501066388281
7083671619051397999677516644732430950231634364346445730340715448369087696718
20523719962939869299988336933823914482320626610429276999595557594057384713*x
^12 - 2634769415254884935578685134629261396873246071233388299830258283684407
2876185708249044979665212650744995875688959242932243838420517823860588878429
2448997291893491640954677331782979368685632076417137547307030222199889038379
76940*x^11 - 178196131047104477494733878949091986680056821951080835036094383
8004052330411696017910506157765585633940095861000688753523141138483928490467
4511256960034750139170510478764583267207761340591670181326537548133703111264
9106926204*x^10 + 1825000405670995013845885918902187142186986666482440933839
6462521386957836588377301330171147216240982523247505481312286617417272521511
8638399348219471080155689525455946137646839420547370091703312293991788729921
1491191185252*x^9 - 65201626996640512322761674559318066561117950070675294766
3169824762769899024352909587195016688965354038529484926750838814982572946010
1979637110489360349176312329919783316622660007379629280095704481299477431710
45016069129*x^8 - 1437891149083999662420144342263678250208894256538560561654
8933951961391248431401653150798776891480895285823868174684751112400557598552
7985918610201118598268431458892734242196304467884366814923258790382419891488
25558929*x^7 - 1428280930363758251384969101052572662110879466805595758704451
0527911033933582902662199662263051097627055254401259144549052189981714948608
3243967370749726951525986876271444939969618263711803265644040382245363794511
71*x^6 - 1170826372197459055177820600881979710066693446685651498813175990981
0745762172031150515086932467894419392120220600061432329279936873889655682224
7191725072125442393957901078704198243471395495180025340969870794174*x^5 - 11
8223168675776843350634299306552668061864957826207103017499838634433318705119
3832689526795798631026606743575718322278065328528551578753575871762638217620
241416850427234233281589721441720700844787815627946*x^4 - 953048457007008296
1795451881320794184817199918350969024576327248906812630041977334151670173523
3419849726478663631547211301749427543946011643243124123502481796513891248511
161398944690550172434214114*x^3 - 254706791524256177472181318251041912950779
4390935955929617768730635253624759862293118182940797954335902313821207678848
027543595348285081414397619295455292216447729433614628265514361363667915*x^2
 + 7114590568532928191072122754665584122789751912529693393245247725975835948
7615527828928204048113*x - 1
x^240 + (-15*y - 36)*x^239 + (499*y + 430)*x^238 + (-6344*y - 983)*x^237 + (
35389*y - 20411)*x^236 + (-40904*y + 178707)*x^235 + (-424808*y - 438197)*x^
234 + (1415485*y - 635208)*x^233 + (1438139*y + 2974605)*x^232 + (-5864817*y
 + 6566480)*x^231 + (-25462020*y - 12961894)*x^230 + (19238389*y - 79956654)
*x^229 + (247313433*y - 30224897)*x^228 + (294927621*y + 801098945)*x^227 + 
(-2353679384*y + 1069498319)*x^226 + (-3266832488*y - 5793469739)*x^225 + (1
2761071756*y - 10152009124)*x^224 + (28891772141*y + 27706877778)*x^223 + (-
56780498004*y + 70327470888)*x^222 + (-156989267296*y - 100643285180)*x^221 
+ (163182970660*y - 341901790078)*x^220 + (692925090103*y + 282970748175)*x^
219 + (-520851483678*y + 1249500770581)*x^218 + (-2100987167651*y - 97780636
3155)*x^217 + (2144907137575*y - 3501192827999)*x^216 + (5741131351957*y + 5
368774573391)*x^215 + (-12949633488740*y + 9667592872104)*x^214 + (-18978818
705192*y - 28988343801763)*x^213 + (61143701295650*y - 42854297857883)*x^212
 + (99522339968066*y + 118416217970085)*x^211 + (-203990291010201*y + 226088
796680855)*x^210 + (-487486417978576*y - 306059642167156)*x^209 + (371437987
605861*y - 969565907346414)*x^208 + (1761877237395113*y + 250996844693464)*x
^207 + (347587448455796*y + 2909203449118066)*x^206 + (-4262623171412271*y +
 1900082482875272)*x^205 + (-5112561845313059*y - 5258998337190094)*x^204 + 
(4703077156935772*y - 10817923562329066)*x^203 + (19596724151621886*y + 4579
71706716061)*x^202 + (10779811934500297*y + 31310302362591686)*x^201 + (-444
71188376651271*y + 33091705261026148)*x^200 + (-70367728073948453*y - 553681
43890230595)*x^199 + (58047935399898944*y - 125056052810735004)*x^198 + (196
220179915190037*y + 46078797156864550)*x^197 + (-15612945533449050*y + 27845
2806220656846)*x^196 + (-364966710997667886*y + 30164046307811567)*x^195 + (
-76920393658091100*y - 455669527002677921)*x^194 + (569724473209147360*y - 1
04273935104641941)*x^193 + (107554480539021407*y + 761016430421970356)*x^192
 + (-1120756441763956820*y + 138805435659787599)*x^191 + (-36744368496876235
9*y - 1741313178847717412)*x^190 + (2626931562224608194*y - 1142827140366519
672)*x^189 + (3001549496003468616*y + 3542726921147289593)*x^188 + (-3816304
655625513057*y + 6563685064488706687)*x^187 + (-12280102244383760786*y - 216
9956083918876046)*x^186 + (-3280308295039992672*y - 20013773166146345265)*x^
185 + (28534969871679714183*y - 14758677431499660732)*x^184 + (3420538527727
7312731*y + 35129207175233160758)*x^183 + (-35562575528916824663*y + 6232129
2808100809456)*x^182 + (-97526968113689340266*y - 24577168539715006795)*x^18
1 + (-2924482708853224503*y - 135200656059538396115)*x^180 + (16755988046047
3073606*y - 50231770182088582728)*x^179 + (117217186558944665294*y + 1844313
16627662099968)*x^178 + (-175018700423712057769*y + 199325075624692888658)*x
^177 + (-287672838056258651793*y - 130006789216819808906)*x^176 + (433136887
58928043819*y - 370488386653834436323)*x^175 + (435685264104825475131*y - 87
230951613648934063)*x^174 + (260789110179489506909*y + 473346146286012258862
)*x^173 + (-477453708065915165092*y + 475828532275903297714)*x^172 + (-73312
5023480253537968*y - 445824632107486741239)*x^171 + (377925441616168009977*y
 - 1037951764481934863694)*x^170 + (1401192440853964064557*y + 2712041812199
21501426)*x^169 + (-116817470274758714683*y + 1837817520966021102844)*x^168 
+ (-2362860273074857968126*y + 103875680474127044027)*x^167 + (-421763202246
558569481*y - 2985437596461812106201)*x^166 + (3701454711020661872373*y - 87
8419497758685431399)*x^165 + (1521006793930665203185*y + 4486769840934475059
679)*x^164 + (-5292413186031800428648*y + 2393646591871321675898)*x^163 + (-
3527560907713404811933*y - 6046342849737077241029)*x^162 + (6659475347960239
461641*y - 4934471883467342725819)*x^161 + (6606218484397706362957*y + 70346
33694928572084799)*x^160 + (-7071251229918632950519*y + 85221454139378375409
88)*x^159 + (-10654172673396879304988*y - 6660938661086516468010)*x^158 + (5
677741559220425296264*y - 12963319200223537566424)*x^157 + (1537868439480061
5926642*y + 3975042669473795569897)*x^156 + (-1409491575820818236069*y + 177
68498236629148702410)*x^155 + (-19928654122136236656860*y + 2108177954625221
499359)*x^154 + (-6549200784773657451762*y - 21617243705895522615660)*x^153 
+ (22645379524677683996954*y - 11738628703873244299229)*x^152 + (17408053637
884918322314*y + 22982504260819896781381)*x^151 + (-22809630522578701355929*
y + 23340226072231874490562)*x^150 + (-29550558164952915082604*y - 224392369
77615542871417)*x^149 + (22094525765620020809639*y - 36386527353264595233550
)*x^148 + (44442209345887020103552*y + 21630493829993114594971)*x^147 + (-20
362621509381561401708*y + 54254830555411448139989)*x^146 + (-659133869795653
69752671*y - 17161940478911028975987)*x^145 + (10842803083053018739937*y - 7
8798826823995559998884)*x^144 + (91671114659094334230114*y + 699010605156960
463896)*x^143 + (13121977610624125288643*y + 103143317388027280663819)*x^142
 + (-112336281183122778011108*y + 29666952173920616332098)*x^141 + (-4771339
6391497944676658*y - 119352040791078382516354)*x^140 + (12522214489937288097
8343*y - 66535424263344578690303)*x^139 + (86443391588395703449231*y + 13128
8792905554584140170)*x^138 + (-138308631379146285689943*y + 1087117764446364
01209940)*x^137 + (-134836856528001466894586*y - 145826834678543169365085)*x
^136 + (152261003156819774060466*y - 165525545074570372890946)*x^135 + (2000
19883617103704090631*y + 155735524429003454571137)*x^134 + (-155214006426713
875482591*y + 236255888142978579163439)*x^133 + (-271843213937284128310312*y
 - 151199785544397594300869)*x^132 + (145501652264843306972923*y - 305326875
506321100258855)*x^131 + (336932852565943631529246*y + 140097781638111061499
104)*x^130 + (-135773050794564515416176*y + 368242715265481945864410)*x^129 
+ (-400908655930869378612741*y - 131401561676926670933942)*x^128 + (12442649
3872813948801626*y - 435145712814328666799539)*x^127 + (46899879143136708390
7400*y + 112351662733835870233203)*x^126 + (-94381628626117531492779*y + 498
937937395927788353831)*x^125 + (-521540559152841029573809*y - 72188367562634
255595303)*x^124 + (49231480359271694594387*y - 535280543629519838165745)*x^
123 + (541321200409785903521904*y + 28961946371400127296768)*x^122 + (-12936
229773088822436824*y + 542775176498979507958864)*x^121 - 5428178716207228568
54615*y*x^120 + (-12936229773088822436824*y - 542775176498979507958864)*x^11
9 + (541321200409785903521904*y - 28961946371400127296768)*x^118 + (49231480
359271694594387*y + 535280543629519838165745)*x^117 + (-52154055915284102957
3809*y + 72188367562634255595303)*x^116 + (-94381628626117531492779*y - 4989
37937395927788353831)*x^115 + (468998791431367083907400*y - 1123516627338358
70233203)*x^114 + (124426493872813948801626*y + 435145712814328666799539)*x^
113 + (-400908655930869378612741*y + 131401561676926670933942)*x^112 + (-135
773050794564515416176*y - 368242715265481945864410)*x^111 + (336932852565943
631529246*y - 140097781638111061499104)*x^110 + (145501652264843306972923*y 
+ 305326875506321100258855)*x^109 + (-271843213937284128310312*y + 151199785
544397594300869)*x^108 + (-155214006426713875482591*y - 23625588814297857916
3439)*x^107 + (200019883617103704090631*y - 155735524429003454571137)*x^106 
+ (152261003156819774060466*y + 165525545074570372890946)*x^105 + (-13483685
6528001466894586*y + 145826834678543169365085)*x^104 + (-1383086313791462856
89943*y - 108711776444636401209940)*x^103 + (86443391588395703449231*y - 131
288792905554584140170)*x^102 + (125222144899372880978343*y + 665354242633445
78690303)*x^101 + (-47713396391497944676658*y + 119352040791078382516354)*x^
100 + (-112336281183122778011108*y - 29666952173920616332098)*x^99 + (131219
77610624125288643*y - 103143317388027280663819)*x^98 + (91671114659094334230
114*y - 699010605156960463896)*x^97 + (10842803083053018739937*y + 787988268
23995559998884)*x^96 + (-65913386979565369752671*y + 17161940478911028975987
)*x^95 + (-20362621509381561401708*y - 54254830555411448139989)*x^94 + (4444
2209345887020103552*y - 21630493829993114594971)*x^93 + (2209452576562002080
9639*y + 36386527353264595233550)*x^92 + (-29550558164952915082604*y + 22439
236977615542871417)*x^91 + (-22809630522578701355929*y - 2334022607223187449
0562)*x^90 + (17408053637884918322314*y - 22982504260819896781381)*x^89 + (2
2645379524677683996954*y + 11738628703873244299229)*x^88 + (-654920078477365
7451762*y + 21617243705895522615660)*x^87 + (-19928654122136236656860*y - 21
08177954625221499359)*x^86 + (-1409491575820818236069*y - 177684982366291487
02410)*x^85 + (15378684394800615926642*y - 3975042669473795569897)*x^84 + (5
677741559220425296264*y + 12963319200223537566424)*x^83 + (-1065417267339687
9304988*y + 6660938661086516468010)*x^82 + (-7071251229918632950519*y - 8522
145413937837540988)*x^81 + (6606218484397706362957*y - 703463369492857208479
9)*x^80 + (6659475347960239461641*y + 4934471883467342725819)*x^79 + (-35275
60907713404811933*y + 6046342849737077241029)*x^78 + (-529241318603180042864
8*y - 2393646591871321675898)*x^77 + (1521006793930665203185*y - 44867698409
34475059679)*x^76 + (3701454711020661872373*y + 878419497758685431399)*x^75 
+ (-421763202246558569481*y + 2985437596461812106201)*x^74 + (-2362860273074
857968126*y - 103875680474127044027)*x^73 + (-116817470274758714683*y - 1837
817520966021102844)*x^72 + (1401192440853964064557*y - 271204181219921501426
)*x^71 + (377925441616168009977*y + 1037951764481934863694)*x^70 + (-7331250
23480253537968*y + 445824632107486741239)*x^69 + (-477453708065915165092*y -
 475828532275903297714)*x^68 + (260789110179489506909*y - 473346146286012258
862)*x^67 + (435685264104825475131*y + 87230951613648934063)*x^66 + (4331368
8758928043819*y + 370488386653834436323)*x^65 + (-287672838056258651793*y + 
130006789216819808906)*x^64 + (-175018700423712057769*y - 199325075624692888
658)*x^63 + (117217186558944665294*y - 184431316627662099968)*x^62 + (167559
880460473073606*y + 50231770182088582728)*x^61 + (-2924482708853224503*y + 1
35200656059538396115)*x^60 + (-97526968113689340266*y + 24577168539715006795
)*x^59 + (-35562575528916824663*y - 62321292808100809456)*x^58 + (3420538527
7277312731*y - 35129207175233160758)*x^57 + (28534969871679714183*y + 147586
77431499660732)*x^56 + (-3280308295039992672*y + 20013773166146345265)*x^55 
+ (-12280102244383760786*y + 2169956083918876046)*x^54 + (-38163046556255130
57*y - 6563685064488706687)*x^53 + (3001549496003468616*y - 3542726921147289
593)*x^52 + (2626931562224608194*y + 1142827140366519672)*x^51 + (-367443684
968762359*y + 1741313178847717412)*x^50 + (-1120756441763956820*y - 13880543
5659787599)*x^49 + (107554480539021407*y - 761016430421970356)*x^48 + (56972
4473209147360*y + 104273935104641941)*x^47 + (-76920393658091100*y + 4556695
27002677921)*x^46 + (-364966710997667886*y - 30164046307811567)*x^45 + (-156
12945533449050*y - 278452806220656846)*x^44 + (196220179915190037*y - 460787
97156864550)*x^43 + (58047935399898944*y + 125056052810735004)*x^42 + (-7036
7728073948453*y + 55368143890230595)*x^41 + (-44471188376651271*y - 33091705
261026148)*x^40 + (10779811934500297*y - 31310302362591686)*x^39 + (19596724
151621886*y - 457971706716061)*x^38 + (4703077156935772*y + 1081792356232906
6)*x^37 + (-5112561845313059*y + 5258998337190094)*x^36 + (-4262623171412271
*y - 1900082482875272)*x^35 + (347587448455796*y - 2909203449118066)*x^34 + 
(1761877237395113*y - 250996844693464)*x^33 + (371437987605861*y + 969565907
346414)*x^32 + (-487486417978576*y + 306059642167156)*x^31 + (-2039902910102
01*y - 226088796680855)*x^30 + (99522339968066*y - 118416217970085)*x^29 + (
61143701295650*y + 42854297857883)*x^28 + (-18978818705192*y + 2898834380176
3)*x^27 + (-12949633488740*y - 9667592872104)*x^26 + (5741131351957*y - 5368
774573391)*x^25 + (2144907137575*y + 3501192827999)*x^24 + (-2100987167651*y
 + 977806363155)*x^23 + (-520851483678*y - 1249500770581)*x^22 + (6929250901
03*y - 282970748175)*x^21 + (163182970660*y + 341901790078)*x^20 + (-1569892
67296*y + 100643285180)*x^19 + (-56780498004*y - 70327470888)*x^18 + (288917
72141*y - 27706877778)*x^17 + (12761071756*y + 10152009124)*x^16 + (-3266832
488*y + 5793469739)*x^15 + (-2353679384*y - 1069498319)*x^14 + (294927621*y 
- 801098945)*x^13 + (247313433*y + 30224897)*x^12 + (19238389*y + 79956654)*
x^11 + (-25462020*y + 12961894)*x^10 + (-5864817*y - 6566480)*x^9 + (1438139
*y - 2974605)*x^8 + (1415485*y + 635208)*x^7 + (-424808*y + 438197)*x^6 + (-
40904*y - 178707)*x^5 + (35389*y + 20411)*x^4 + (-6344*y + 983)*x^3 + (499*y
 - 430)*x^2 + (-15*y + 36)*x - 1
x^3 + (-y - 1)*x^2 + (y - 2)*x + 1
x^6 + (-y - 1)*x^5 + (y - 2)*x^4 + 5*x^3 + (-y - 1)*x^2 + (y - 2)*x + 1
x^15 + (-13*y - 28)*x^14 + (-35*y + 71)*x^13 + (-96*y + 193)*x^12 + (-5*y - 
196)*x^11 + (-239*y - 365)*x^10 + (120*y + 1489)*x^9 + (-261*y - 2084)*x^8 +
 (-261*y + 2345)*x^7 + (120*y - 1609)*x^6 + (-239*y + 604)*x^5 + (-5*y + 201
)*x^4 + (-96*y - 97)*x^3 + (-35*y - 36)*x^2 + (-13*y + 41)*x - 1
x^64 - 2869316*y*x^63 - 14321320456*x^62 + 157634598028*y*x^61 - 20284120752
9344*x^60 - 187341502817748*y*x^59 + 42513677421330536*x^58 + 89659277585427
48*y*x^57 - 581758105735037800*x^56 - 22856296353162116*y*x^55 - 17452945591
56518504*x^54 - 264489521649865972*y*x^53 + 3806496834205999360*x^52 - 74814
8105793479444*y*x^51 + 34464709754552397448*x^50 - 807085220707689700*y*x^49
 + 112558678351798157916*x^48 + 885683152130937644*y*x^47 + 3063853398816684
17048*x^46 + 13203419547826420924*y*x^45 + 419863456051485069824*x^44 + 3434
3465258453402972*y*x^43 + 465608689069031605064*x^42 + 80309592889200941068*
y*x^41 - 360175722030581287640*x^40 + 110486596140091600940*y*x^39 - 1490512
424563931678536*x^38 + 143957811491089032572*y*x^37 - 3739364774219046032256
*x^36 + 100323919847689168220*y*x^35 - 4985975135633301110936*x^34 + 5481611
3881156185292*y*x^33 - 6135008383051601995834*x^32 - 54816113881156185292*y*
x^31 - 4985975135633301110936*x^30 - 100323919847689168220*y*x^29 - 37393647
74219046032256*x^28 - 143957811491089032572*y*x^27 - 1490512424563931678536*
x^26 - 110486596140091600940*y*x^25 - 360175722030581287640*x^24 - 803095928
89200941068*y*x^23 + 465608689069031605064*x^22 - 34343465258453402972*y*x^2
1 + 419863456051485069824*x^20 - 13203419547826420924*y*x^19 + 3063853398816
68417048*x^18 - 885683152130937644*y*x^17 + 112558678351798157916*x^16 + 807
085220707689700*y*x^15 + 34464709754552397448*x^14 + 748148105793479444*y*x^
13 + 3806496834205999360*x^12 + 264489521649865972*y*x^11 - 1745294559156518
504*x^10 + 22856296353162116*y*x^9 - 581758105735037800*x^8 - 89659277585427
48*y*x^7 + 42513677421330536*x^6 + 187341502817748*y*x^5 - 202841207529344*x
^4 - 157634598028*y*x^3 - 14321320456*x^2 + 2869316*y*x + 1
x^21 + (-13*y - 229)*x^20 + (234*y - 100)*x^19 + (-480*y + 8370)*x^18 + (-17
35*y - 16719)*x^17 + (4913*y - 7834)*x^16 + (-2688*y + 51064)*x^15 + (-3960*
y - 34104)*x^14 + (1782*y - 32956)*x^13 + (8448*y + 5262)*x^12 + (-6380*y + 
97204)*x^11 + (-6380*y - 90824)*x^10 + (8448*y - 13710)*x^9 + (1782*y + 3117
4)*x^8 + (-3960*y + 38064)*x^7 + (-2688*y - 48376)*x^6 + (4913*y + 2921)*x^5
 + (-1735*y + 18454)*x^4 + (-480*y - 7890)*x^3 + (234*y - 134)*x^2 + (-13*y 
+ 242)*x - 1
x^6 - 2*y*x^5 + (-y - 7)*x^4 - 4*x^3 + (y - 8)*x^2 + (2*y - 2)*x + 1
x^240 + (-15*y - 36)*x^239 + (499*y + 430)*x^238 + (-6344*y - 983)*x^237 + (
35389*y - 20411)*x^236 + (-40904*y + 178707)*x^235 + (-424808*y - 438197)*x^
234 + (1415485*y - 635208)*x^233 + (1438139*y + 2974605)*x^232 + (-5864817*y
 + 6566480)*x^231 + (-25462020*y - 12961894)*x^230 + (19238389*y - 79956654)
*x^229 + (247313433*y - 30224897)*x^228 + (294927621*y + 801098945)*x^227 + 
(-2353679384*y + 1069498319)*x^226 + (-3266832488*y - 5793469739)*x^225 + (1
2761071756*y - 10152009124)*x^224 + (28891772141*y + 27706877778)*x^223 + (-
56780498004*y + 70327470888)*x^222 + (-156989267296*y - 100643285180)*x^221 
+ (163182970660*y - 341901790078)*x^220 + (692925090103*y + 282970748175)*x^
219 + (-520851483678*y + 1249500770581)*x^218 + (-2100987167651*y - 97780636
3155)*x^217 + (2144907137575*y - 3501192827999)*x^216 + (5741131351957*y + 5
368774573391)*x^215 + (-12949633488740*y + 9667592872104)*x^214 + (-18978818
705192*y - 28988343801763)*x^213 + (61143701295650*y - 42854297857883)*x^212
 + (99522339968066*y + 118416217970085)*x^211 + (-203990291010201*y + 226088
796680855)*x^210 + (-487486417978576*y - 306059642167156)*x^209 + (371437987
605861*y - 969565907346414)*x^208 + (1761877237395113*y + 250996844693464)*x
^207 + (347587448455796*y + 2909203449118066)*x^206 + (-4262623171412271*y +
 1900082482875272)*x^205 + (-5112561845313059*y - 5258998337190094)*x^204 + 
(4703077156935772*y - 10817923562329066)*x^203 + (19596724151621886*y + 4579
71706716061)*x^202 + (10779811934500297*y + 31310302362591686)*x^201 + (-444
71188376651271*y + 33091705261026148)*x^200 + (-70367728073948453*y - 553681
43890230595)*x^199 + (58047935399898944*y - 125056052810735004)*x^198 + (196
220179915190037*y + 46078797156864550)*x^197 + (-15612945533449050*y + 27845
2806220656846)*x^196 + (-364966710997667886*y + 30164046307811567)*x^195 + (
-76920393658091100*y - 455669527002677921)*x^194 + (569724473209147360*y - 1
04273935104641941)*x^193 + (107554480539021407*y + 761016430421970356)*x^192
 + (-1120756441763956820*y + 138805435659787599)*x^191 + (-36744368496876235
9*y - 1741313178847717412)*x^190 + (2626931562224608194*y - 1142827140366519
672)*x^189 + (3001549496003468616*y + 3542726921147289593)*x^188 + (-3816304
655625513057*y + 6563685064488706687)*x^187 + (-12280102244383760786*y - 216
9956083918876046)*x^186 + (-3280308295039992672*y - 20013773166146345265)*x^
185 + (28534969871679714183*y - 14758677431499660732)*x^184 + (3420538527727
7312731*y + 35129207175233160758)*x^183 + (-35562575528916824663*y + 6232129
2808100809456)*x^182 + (-97526968113689340266*y - 24577168539715006795)*x^18
1 + (-2924482708853224503*y - 135200656059538396115)*x^180 + (16755988046047
3073606*y - 50231770182088582728)*x^179 + (117217186558944665294*y + 1844313
16627662099968)*x^178 + (-175018700423712057769*y + 199325075624692888658)*x
^177 + (-287672838056258651793*y - 130006789216819808906)*x^176 + (433136887
58928043819*y - 370488386653834436323)*x^175 + (435685264104825475131*y - 87
230951613648934063)*x^174 + (260789110179489506909*y + 473346146286012258862
)*x^173 + (-477453708065915165092*y + 475828532275903297714)*x^172 + (-73312
5023480253537968*y - 445824632107486741239)*x^171 + (377925441616168009977*y
 - 1037951764481934863694)*x^170 + (1401192440853964064557*y + 2712041812199
21501426)*x^169 + (-116817470274758714683*y + 1837817520966021102844)*x^168 
+ (-2362860273074857968126*y + 103875680474127044027)*x^167 + (-421763202246
558569481*y - 2985437596461812106201)*x^166 + (3701454711020661872373*y - 87
8419497758685431399)*x^165 + (1521006793930665203185*y + 4486769840934475059
679)*x^164 + (-5292413186031800428648*y + 2393646591871321675898)*x^163 + (-
3527560907713404811933*y - 6046342849737077241029)*x^162 + (6659475347960239
461641*y - 4934471883467342725819)*x^161 + (6606218484397706362957*y + 70346
33694928572084799)*x^160 + (-7071251229918632950519*y + 85221454139378375409
88)*x^159 + (-10654172673396879304988*y - 6660938661086516468010)*x^158 + (5
677741559220425296264*y - 12963319200223537566424)*x^157 + (1537868439480061
5926642*y + 3975042669473795569897)*x^156 + (-1409491575820818236069*y + 177
68498236629148702410)*x^155 + (-19928654122136236656860*y + 2108177954625221
499359)*x^154 + (-6549200784773657451762*y - 21617243705895522615660)*x^153 
+ (22645379524677683996954*y - 11738628703873244299229)*x^152 + (17408053637
884918322314*y + 22982504260819896781381)*x^151 + (-22809630522578701355929*
y + 23340226072231874490562)*x^150 + (-29550558164952915082604*y - 224392369
77615542871417)*x^149 + (22094525765620020809639*y - 36386527353264595233550
)*x^148 + (44442209345887020103552*y + 21630493829993114594971)*x^147 + (-20
362621509381561401708*y + 54254830555411448139989)*x^146 + (-659133869795653
69752671*y - 17161940478911028975987)*x^145 + (10842803083053018739937*y - 7
8798826823995559998884)*x^144 + (91671114659094334230114*y + 699010605156960
463896)*x^143 + (13121977610624125288643*y + 103143317388027280663819)*x^142
 + (-112336281183122778011108*y + 29666952173920616332098)*x^141 + (-4771339
6391497944676658*y - 119352040791078382516354)*x^140 + (12522214489937288097
8343*y - 66535424263344578690303)*x^139 + (86443391588395703449231*y + 13128
8792905554584140170)*x^138 + (-138308631379146285689943*y + 1087117764446364
01209940)*x^137 + (-134836856528001466894586*y - 145826834678543169365085)*x
^136 + (152261003156819774060466*y - 165525545074570372890946)*x^135 + (2000
19883617103704090631*y + 155735524429003454571137)*x^134 + (-155214006426713
875482591*y + 236255888142978579163439)*x^133 + (-271843213937284128310312*y
 - 151199785544397594300869)*x^132 + (145501652264843306972923*y - 305326875
506321100258855)*x^131 + (336932852565943631529246*y + 140097781638111061499
104)*x^130 + (-135773050794564515416176*y + 368242715265481945864410)*x^129 
+ (-400908655930869378612741*y - 131401561676926670933942)*x^128 + (12442649
3872813948801626*y - 435145712814328666799539)*x^127 + (46899879143136708390
7400*y + 112351662733835870233203)*x^126 + (-94381628626117531492779*y + 498
937937395927788353831)*x^125 + (-521540559152841029573809*y - 72188367562634
255595303)*x^124 + (49231480359271694594387*y - 535280543629519838165745)*x^
123 + (541321200409785903521904*y + 28961946371400127296768)*x^122 + (-12936
229773088822436824*y + 542775176498979507958864)*x^121 - 5428178716207228568
54615*y*x^120 + (-12936229773088822436824*y - 542775176498979507958864)*x^11
9 + (541321200409785903521904*y - 28961946371400127296768)*x^118 + (49231480
359271694594387*y + 535280543629519838165745)*x^117 + (-52154055915284102957
3809*y + 72188367562634255595303)*x^116 + (-94381628626117531492779*y - 4989
37937395927788353831)*x^115 + (468998791431367083907400*y - 1123516627338358
70233203)*x^114 + (124426493872813948801626*y + 435145712814328666799539)*x^
113 + (-400908655930869378612741*y + 131401561676926670933942)*x^112 + (-135
773050794564515416176*y - 368242715265481945864410)*x^111 + (336932852565943
631529246*y - 140097781638111061499104)*x^110 + (145501652264843306972923*y 
+ 305326875506321100258855)*x^109 + (-271843213937284128310312*y + 151199785
544397594300869)*x^108 + (-155214006426713875482591*y - 23625588814297857916
3439)*x^107 + (200019883617103704090631*y - 155735524429003454571137)*x^106 
+ (152261003156819774060466*y + 165525545074570372890946)*x^105 + (-13483685
6528001466894586*y + 145826834678543169365085)*x^104 + (-1383086313791462856
89943*y - 108711776444636401209940)*x^103 + (86443391588395703449231*y - 131
288792905554584140170)*x^102 + (125222144899372880978343*y + 665354242633445
78690303)*x^101 + (-47713396391497944676658*y + 119352040791078382516354)*x^
100 + (-112336281183122778011108*y - 29666952173920616332098)*x^99 + (131219
77610624125288643*y - 103143317388027280663819)*x^98 + (91671114659094334230
114*y - 699010605156960463896)*x^97 + (10842803083053018739937*y + 787988268
23995559998884)*x^96 + (-65913386979565369752671*y + 17161940478911028975987
)*x^95 + (-20362621509381561401708*y - 54254830555411448139989)*x^94 + (4444
2209345887020103552*y - 21630493829993114594971)*x^93 + (2209452576562002080
9639*y + 36386527353264595233550)*x^92 + (-29550558164952915082604*y + 22439
236977615542871417)*x^91 + (-22809630522578701355929*y - 2334022607223187449
0562)*x^90 + (17408053637884918322314*y - 22982504260819896781381)*x^89 + (2
2645379524677683996954*y + 11738628703873244299229)*x^88 + (-654920078477365
7451762*y + 21617243705895522615660)*x^87 + (-19928654122136236656860*y - 21
08177954625221499359)*x^86 + (-1409491575820818236069*y - 177684982366291487
02410)*x^85 + (15378684394800615926642*y - 3975042669473795569897)*x^84 + (5
677741559220425296264*y + 12963319200223537566424)*x^83 + (-1065417267339687
9304988*y + 6660938661086516468010)*x^82 + (-7071251229918632950519*y - 8522
145413937837540988)*x^81 + (6606218484397706362957*y - 703463369492857208479
9)*x^80 + (6659475347960239461641*y + 4934471883467342725819)*x^79 + (-35275
60907713404811933*y + 6046342849737077241029)*x^78 + (-529241318603180042864
8*y - 2393646591871321675898)*x^77 + (1521006793930665203185*y - 44867698409
34475059679)*x^76 + (3701454711020661872373*y + 878419497758685431399)*x^75 
+ (-421763202246558569481*y + 2985437596461812106201)*x^74 + (-2362860273074
857968126*y - 103875680474127044027)*x^73 + (-116817470274758714683*y - 1837
817520966021102844)*x^72 + (1401192440853964064557*y - 271204181219921501426
)*x^71 + (377925441616168009977*y + 1037951764481934863694)*x^70 + (-7331250
23480253537968*y + 445824632107486741239)*x^69 + (-477453708065915165092*y -
 475828532275903297714)*x^68 + (260789110179489506909*y - 473346146286012258
862)*x^67 + (435685264104825475131*y + 87230951613648934063)*x^66 + (4331368
8758928043819*y + 370488386653834436323)*x^65 + (-287672838056258651793*y + 
130006789216819808906)*x^64 + (-175018700423712057769*y - 199325075624692888
658)*x^63 + (117217186558944665294*y - 184431316627662099968)*x^62 + (167559
880460473073606*y + 50231770182088582728)*x^61 + (-2924482708853224503*y + 1
35200656059538396115)*x^60 + (-97526968113689340266*y + 24577168539715006795
)*x^59 + (-35562575528916824663*y - 62321292808100809456)*x^58 + (3420538527
7277312731*y - 35129207175233160758)*x^57 + (28534969871679714183*y + 147586
77431499660732)*x^56 + (-3280308295039992672*y + 20013773166146345265)*x^55 
+ (-12280102244383760786*y + 2169956083918876046)*x^54 + (-38163046556255130
57*y - 6563685064488706687)*x^53 + (3001549496003468616*y - 3542726921147289
593)*x^52 + (2626931562224608194*y + 1142827140366519672)*x^51 + (-367443684
968762359*y + 1741313178847717412)*x^50 + (-1120756441763956820*y - 13880543
5659787599)*x^49 + (107554480539021407*y - 761016430421970356)*x^48 + (56972
4473209147360*y + 104273935104641941)*x^47 + (-76920393658091100*y + 4556695
27002677921)*x^46 + (-364966710997667886*y - 30164046307811567)*x^45 + (-156
12945533449050*y - 278452806220656846)*x^44 + (196220179915190037*y - 460787
97156864550)*x^43 + (58047935399898944*y + 125056052810735004)*x^42 + (-7036
7728073948453*y + 55368143890230595)*x^41 + (-44471188376651271*y - 33091705
261026148)*x^40 + (10779811934500297*y - 31310302362591686)*x^39 + (19596724
151621886*y - 457971706716061)*x^38 + (4703077156935772*y + 1081792356232906
6)*x^37 + (-5112561845313059*y + 5258998337190094)*x^36 + (-4262623171412271
*y - 1900082482875272)*x^35 + (347587448455796*y - 2909203449118066)*x^34 + 
(1761877237395113*y - 250996844693464)*x^33 + (371437987605861*y + 969565907
346414)*x^32 + (-487486417978576*y + 306059642167156)*x^31 + (-2039902910102
01*y - 226088796680855)*x^30 + (99522339968066*y - 118416217970085)*x^29 + (
61143701295650*y + 42854297857883)*x^28 + (-18978818705192*y + 2898834380176
3)*x^27 + (-12949633488740*y - 9667592872104)*x^26 + (5741131351957*y - 5368
774573391)*x^25 + (2144907137575*y + 3501192827999)*x^24 + (-2100987167651*y
 + 977806363155)*x^23 + (-520851483678*y - 1249500770581)*x^22 + (6929250901
03*y - 282970748175)*x^21 + (163182970660*y + 341901790078)*x^20 + (-1569892
67296*y + 100643285180)*x^19 + (-56780498004*y - 70327470888)*x^18 + (288917
72141*y - 27706877778)*x^17 + (12761071756*y + 10152009124)*x^16 + (-3266832
488*y + 5793469739)*x^15 + (-2353679384*y - 1069498319)*x^14 + (294927621*y 
- 801098945)*x^13 + (247313433*y + 30224897)*x^12 + (19238389*y + 79956654)*
x^11 + (-25462020*y + 12961894)*x^10 + (-5864817*y - 6566480)*x^9 + (1438139
*y - 2974605)*x^8 + (1415485*y + 635208)*x^7 + (-424808*y + 438197)*x^6 + (-
40904*y - 178707)*x^5 + (35389*y + 20411)*x^4 + (-6344*y + 983)*x^3 + (499*y
 - 430)*x^2 + (-15*y + 36)*x - 1
x^6 + (-2*y - 2)*x^5 + (2*y - 4)*x^4 + 14*x^3 + (-2*y - 2)*x^2 + (2*y - 4)*x
 + 1
x^8 + 9*x^6 - 16*x^4 + 9*x^2 + 1
x^20 + 6*x^19 + 24*x^18 + 46*x^17 + 57*x^16 + 51*x^15 + 37*x^14 + 21*x^13 + 
12*x^12 + 3*x^11 - 11*x^10 - 3*x^9 + 15*x^8 + 14*x^7 + 9*x^6 + 15*x^5 + 15*x
^4 + 6*x^3 + 3*x^2 + 3*x + 1
x^20 + 12*x^18 + 6*x^16 - 5*x^14 - 9*x^12 + 17*x^10 - 9*x^8 + 6*x^4 - 3*x^2 
+ 1
x^24 + 4*x^22 + 8*x^20 + 20*x^18 + 32*x^16 - 12*x^14 - 42*x^12 - 12*x^10 + 3
2*x^8 + 20*x^6 + 8*x^4 + 4*x^2 + 1
x^21 - 7*x^20 + (3*y + 16)*x^19 + (-22*y - 3)*x^18 + (64*y - 46)*x^17 + (-80
*y + 89)*x^16 + (14*y - 133)*x^15 + (57*y + 244)*x^14 + (-56*y - 259)*x^13 +
 (132*y - 3)*x^12 + (-317*y + 204)*x^11 + (317*y - 113)*x^10 + (-132*y + 129
)*x^9 + (56*y - 315)*x^8 + (-57*y + 301)*x^7 + (-14*y - 119)*x^6 + (80*y + 9
)*x^5 + (-64*y + 18)*x^4 + (22*y - 25)*x^3 + (-3*y + 19)*x^2 - 7*x + 1
x^4 - y*x^3 - 3*x^2 + y*x + 1
x^4 + (-1/4*y + 1/2)*x^3 - 2*x^2 + (1/4*y + 1/2)*x + 1
x^2 - x + 1
Total time spent: 518