forked from emil79/flagmatic
-
Notifications
You must be signed in to change notification settings - Fork 1
/
f53.js
1863 lines (1863 loc) · 102 KB
/
f53.js
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
{
"admissible_graphs": [
"6:",
"6:12",
"6:1213",
"6:121314",
"6:12131415",
"6:1213141516",
"6:1234",
"6:121324",
"6:121345",
"6:12131425",
"6:12131456",
"6:1213141526",
"6:12132434",
"6:12132435",
"6:12134546",
"6:1213142526",
"6:1213142535",
"6:1213142556",
"6:121314152636",
"6:121314253545",
"6:121314253556",
"6:12131415263646",
"6:1213141526364656",
"6:123456",
"6:12132456",
"6:1213142536",
"6:1213243545",
"6:1213243546",
"6:121314252635",
"6:121314253656",
"6:1213243456",
"6:121314253546",
"6:12131425263536",
"6:12131425354656",
"6:121324354656",
"6:12131425263546",
"6:1213142526353645",
"6:121314252635364546"
],
"description": "2-graph; minimize 5: density; forbid induced 3:121323",
"number_of_admissible_graphs": 38,
"bound": "31/625",
"types": [
"0:",
"2:",
"2:12",
"4:",
"4:12",
"4:1213",
"4:121314",
"4:1234",
"4:121324",
"4:12132434"
],
"number_of_types": 10,
"admissible_graph_densities": [
1,
"1/3",
"1/6",
"1/6",
"1/6",
"1/6",
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
"numbers_of_flags": [
3,
15,
10,
16,
12,
10,
9,
9,
8,
7
],
"flags": [
[
"3:",
"3:12",
"3:1213"
],
[
"4:(2)",
"4:13(2)",
"4:23(2)",
"4:34(2)",
"4:1323(2)",
"4:1334(2)",
"4:2334(2)",
"4:132334(2)",
"4:1314(2)",
"4:1324(2)",
"4:131423(2)",
"4:132434(2)",
"4:2324(2)",
"4:132324(2)",
"4:13142324(2)"
],
[
"4:12(2)",
"4:1213(2)",
"4:1223(2)",
"4:1234(2)",
"4:121334(2)",
"4:122334(2)",
"4:121314(2)",
"4:121324(2)",
"4:12132434(2)",
"4:122324(2)"
],
[
"5:(4)",
"5:15(4)",
"5:25(4)",
"5:35(4)",
"5:45(4)",
"5:1525(4)",
"5:1535(4)",
"5:1545(4)",
"5:2535(4)",
"5:2545(4)",
"5:3545(4)",
"5:152535(4)",
"5:152545(4)",
"5:153545(4)",
"5:253545(4)",
"5:15253545(4)"
],
[
"5:12(4)",
"5:1215(4)",
"5:1225(4)",
"5:1235(4)",
"5:1245(4)",
"5:121535(4)",
"5:121545(4)",
"5:122535(4)",
"5:122545(4)",
"5:123545(4)",
"5:12153545(4)",
"5:12253545(4)"
],
[
"5:1213(4)",
"5:121315(4)",
"5:121325(4)",
"5:121335(4)",
"5:121345(4)",
"5:12131545(4)",
"5:12132535(4)",
"5:12132545(4)",
"5:12133545(4)",
"5:1213253545(4)"
],
[
"5:121314(4)",
"5:12131415(4)",
"5:12131425(4)",
"5:12131435(4)",
"5:12131445(4)",
"5:1213142535(4)",
"5:1213142545(4)",
"5:1213143545(4)",
"5:121314253545(4)"
],
[
"5:1234(4)",
"5:121534(4)",
"5:122534(4)",
"5:123435(4)",
"5:123445(4)",
"5:12153435(4)",
"5:12153445(4)",
"5:12253435(4)",
"5:12253445(4)"
],
[
"5:121324(4)",
"5:12131524(4)",
"5:12132425(4)",
"5:12132435(4)",
"5:12132445(4)",
"5:1213152445(4)",
"5:1213242535(4)",
"5:1213243545(4)"
],
[
"5:12132434(4)",
"5:1213152434(4)",
"5:1213242534(4)",
"5:1213243435(4)",
"5:1213243445(4)",
"5:121315243445(4)",
"5:121324253435(4)"
]
],
"order_of_admissible_graphs": 6,
"qdash_matrices": [
[
[
"1076148513387898301889625948786387181002274348376702978921192048130557456772063121/15234558299327871423156886233050647155694360937341478760864558544777375191662592000",
0
],
[
"27117008421632778659314251382663499312359365690352934677300574763436385195153685827696462391412166764864350812504546940141606537594656458325510564739362120661563/16207126790678903595799225409208367338482210503115987733477408963719925975168364533407653071722002287008454780832361714782812720706963397674098288140706380513280000"
]
],
[
[
"2127/512",
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
"2667593/4356096",
0,
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
"777662269/2731615232",
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
"93271882565091824714488869913253078139227389337686339362831216720941274140371153369242513719836263752940429815624285223888738538709673120321469913883528459175771/153349842398100251195749547070461330136509735399434056827963046333651016617908641041989000706514572759010184437477303490268640163740061543275358632291388620800000",
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
"132241703097763184329936564202802071871528012650779668752830683825153208227086581240463643250717066425116998210971455447810993525790258960486237218840876531952253911/191020815493308057015273205582342304029137693363581623015078331844487729439480122100208668098224668166022000262398536138524136527277410550418370383633466284391979008",
0,
0,
0,
0,
0,
0,
0,
0
],
[
"18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659/750961426444249616918884513570543658958945547430742930038758598581015361646506621093865423538171567398697778178898374212343195093107595174783204949484618473900882562715326986142144062446813753058528654183849585519384178295402736882637712731067544313440928487606904403067575557709577912332390226602178472291553228061883083445795553280000000",
0,
0,
0,
0,
0,
0,
0
],
[
"22919135454131650743847588631435795718535059879396281496427372678493057074942935054689084108102678960804982722032362929499539200811871259356693579378624354860864958006684779769212607983406101566629743284112991527064836539259984048844561337110494038514411705401668215931340624523439318449631245333516377745461779038788210371130366272812542445/28692779462794972660779976819515613655265533134680826718520757233803888607073093323380859092903707152071347890115826455887612485737751609461461199798299076809640993922449726054768452274884523403978541317264225915407367486239970316430515228650536261491654811007045160470372515762726152771289943252626769772974301702679334230075266860646388224",
0,
0,
0,
0,
0,
0
],
[
"22772472018131442920054940679835207089409474649425395318106827193337946370087306857435824784166524242987129281558628276400648501782956797287141046940574166562424558451236956506565823302243122571241788963974887808254802014925016448206125527343387633487122499264923741055227005544443606669237405351666028119189695459723176889517928594391204995779/93876778820123241446799723034361019263119605266007169009366518491107561778966261984006488506788573023457209229444558559230112566525424678325016901134845357510102867995380857934694842300031392016915428491726813294857570464808894664067323236804583581755030345325233012454771198048007448369689580886083083245411446942876509680149980253440173854720",
0,
0,
0,
0,
0
],
[
"1092427869725014702163810140530536546535458999343043114451831606429182909922161208987150683106876993356760749742210863975612314610725909934043635757139562012833066158712098262224635160536704049605148296715285366773746401820891815176048109388278758984359070980907529687028499400112277352549848064574580974781945745796654087074344902596237605668785/5829752836641649387534064814037813014888825510252901201435347761494514270742350555503571144746630206204705096079008838758566016456436940105508108016786986639980686963516660865680850765374239378237897974777571278913229315820804210740768134999907234172703359811820477710138113419377563307324775770026503198512562037689133283716589720164148478919424",
0,
0,
0,
0
],
[
"5393/1024",
0,
0,
0
],
[
"4498116179640456239261260794897283800021828745824271499313947897915553185891431983696844927693833579680217553436464713423743885577042990751104035004327572030505839/12680257040411165889963971432127885022359332361099533645210965082782210673482824652806625834328387748962915648777199213176358566578165472863230774210327478272000000",
0,
0
],
[
"2596382986944360287670493512554702245683091680594899952529395215175730960960634955449512862419767790590555875722964726420132302779641592447271695029313323970453131187/4606070967951827189003531053974818611222352635724054015297482647465526462352826351305569205958485585592542774718939866545913738830892022529130531844431433759237979136",
0
],
[
"392616871894650005122986975841295547472324770054281331290531838054158241525474054435216406915229374642881497727489591624917505221124168530713557936944877757205593839235/886232059543674978191528452285338366526495293643059183796700233446649501341230064793433723705947405854909738913438626618071826015450996888668738570005614581914668778496"
]
],
[
[
"657/1024",
0,
0,
0,
0,
0,
0,
0,
0
],
[
"360425/672768",
0,
0,
0,
0,
0,
0,
0
],
[
"37234031/184537600",
0,
0,
0,
0,
0,
0
],
[
"3463175853/19063823872",
0,
0,
0,
0,
0
],
[
"10478369269652807539664295624431934254200845582355672498031871889318360206674276841826693844596450297602692462005859084689886151948523734895760913261630680327/23775323832764140670544430174060652161094549539978638939973759900583766532728143896807367423641163256940100561044397738612579453999881603998345465580172083200",
0,
0,
0,
0
],
[
"423780176606923130120670213839993869651020374985970853877212778037071090313506849992002524244044567599414232907403667247060242071104524491512561598017731667599/10729850132124474920616238719418300676301665876332208637984636814662000851634459486030534496866765104745157081093999702722443419595288304533259175179909816654848",
0,
0,
0
],
[
"2397/512",
0,
0
],
[
"416819/306816",
0
],
[
"72605473283998330317758166886128187328930470556581804599237189596536428799017204488620339562252706453428996280904413505124230124668234165204343134157930077155174083/174229871951777547193733196806332914094725081662934141441397342393314733772929929380331045549215625296494584759920502670934144305994828002830961553473003742822400000"
]
],
[
[
"375/1024",
0,
0,
0,
0,
0,
0,
0
],
[
"787241/384000",
0,
0,
0,
0,
0,
0
],
[
"2375/1024",
0,
0,
0,
0,
0
],
[
"1781/1024",
0,
0,
0,
0
],
[
"99/64",
0,
0,
0
],
[
"212831579/173255680",
0,
0
],
[
"5172682463131/3745835790400",
0
],
[
"554870330107172837/1016990753711259648"
]
],
[
[
"241/1024",
0,
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
"165485/61696",
0,
0,
0,
0,
0,
0,
0,
0,
0
],
[
"23468851/33891328",
0,
0,
0,
0,
0,
0,
0,
0
],
[
"82392484477/480642068480",
0,
0,
0,
0,
0,
0,
0
],
[
"3586360025081/21092476026112",
0,
0,
0,
0,
0,
0
],
[
"223/128",
0,
0,
0,
0,
0
],
[
"399/1024",
0,
0,
0,
0
],
[
"139397/408576",
0,
0,
0
],
[
"20887059371/15915791872",
0,
0
],
[
"6701429973119/21388348795904",
0
],
[
"1221330273724425/1715566073118464"
]
],
[
[
"835/512",
0,
0,
0,
0,
0,
0,
0,
0
],
[
"175621/427520",
0,
0,
0,
0,
0,
0,
0
],
[
"80618633/359671808",
0,
0,
0,
0,
0,
0
],
[
"35657319217/165106960384",
0,
0,
0,
0,
0
],
[
"10219356422927/36513094878208",
0,
0,
0,
0
],
[
"820699102439609/2616155244269312",
0,
0,
0
],
[
"262242500558591825/840395880898159616",
0,
0
],
[
"233/512",
0
],
[
"199001/477184"
]
],
[
[
"191/1024",
0,
0,
0,
0
],
[
"150189/195584",
0,
0,
0
],
[
"64900735/153793536",
0,
0
],
[
"833/1024",
0
],
[
"625/1024"
]
],
[
[
"227/1024",
0,
0,
0,
0,
0,
0,
0,
0
],
[
"121015/232448",
0,
0,
0,
0,
0,
0,
0
],
[
"23419057/123919360",
0,
0,
0,
0,
0,
0
],
[
"501/1024",
0,
0,
0,
0,
0
],
[
"143/512",
0,
0,
0,
0
],
[
"20121/73216",
0,
0,
0
],
[
"10268153/20603904",
0,
0
],
[
"7604739232273/21071235698688",
0
],
[
"20468684553677/62800427208448"
]
],
[
[
"123/1024",
0,
0,
0,
0,
0,
0
],
[
"56545/41984",
0,
0,
0,
0,
0
],
[
"61632217/173706240",
0,
0,
0,
0
],
[
"30855906745/63111390208",
0,
0,
0
],
[
"241/512",
0,
0
],
[
"98099/246784",
0
],
[
"45975033/100453376"
]
],
[
[
"41/512",
0,
0,
0
],
[
"423/512",
0,
0
],
[
"162805/433152",
0
],
[
"30672799/83356160"
]
]
],
"r_matrices": [
[
[
"10380387960158155288111154305100413676536645549946745013374546169237864362362892948/11837633647266881320785885436650258991025017832143732768133112529436132024492694331",
"-42/229"
],
[
"-7114181692954596676482982809684346306285000555024387356431409676764400247835484650/11837633647266881320785885436650258991025017832143732768133112529436132024492694331",
"193/229"
],
[
"-2498135463614958913156681939799734824837209626623407579586113760339887420793945228/11837633647266881320785885436650258991025017832143732768133112529436132024492694331",
"-72/229"
]
],
[
[
"6653398199323547862065627425196555638819487272451397205740493180214817782083015679/17189571784788493812094987808385705608689282544896729290506755221458152361078784000",
"-630041125583776965471877285609620955685589860490806114469104074093330272650141237350571/3675712375608805540109914325609462131498329061706616588007409087537153034247627573248000",
"6350115040870064792634689039915929580652196655689843709147866767153850104604400190672259039/43933604517068489413777703659370610243419159092579620352076976335160515141156479052703744000",
"-36981547565080354671026924589516463177017645888436274836147539927811165714102249852547145286889721790847127274226118092071932573600753082856319689172081591055004418002652/65768964379839448795243416480121442482403980603203269360711970358598331467710544919205069335029448576028496627536882348055529652761716468615141838126993010340488075192685",
"-1572036769007899066926980299958745153235535858973230919030333845526086276201998169286693756661796548434135650512258083114121670264942466407389784760431381126319721972020888994181386854213137875931940683577495224186489911154794779452940183082747831/12233635892097237452185907755582361939105194464286891269015909402434984397604302543917546397512207445611319658509729112304115028396080882826563920101805212866052188674905534213741982989909138890378833267441875446886460536709389510726156615375795200",
"-6619990943007362572959987125779347614840504093939034245382410560074904214010206082894727028103716019026649000140340911803309956248439182976598791220648826069596187224188224231498758096569963017036756736744077562836995459031701375424121425665964836881359334995348169493500830924266552330282467132109843774752697805449229002232677703878008/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"-121590862869581976844677217413328723740946517065070735427696506754632134808787994394039192298167125692010158716292832652398488445611114029431748107324749196965729028343522061969723205893393996894953189442287046043203449288155409897351202540839645451033300588536594365442885367502399086462292599065864279403821020066619382404201246896552948540608/2686842336077489201012294201887302342197871018745457234620275897421490971175465196570277894710628398325713251479664751533332279866056804354148287681567263194436004238064866091036470931545874055198198086837163754905948678268602894023716307935335170826698404400625127289133365289757124116896100374191591886029328003207796205302132420674596288386773",
"-172315149215293880988099501294124993294848878531798946511495126855214570396714901255134555852324098003638020739327288415339158033693676310704937066531839535693611671948430266840165409748302639171550448156541449457745526276415727109980381845080305152594573344357439602570443380863887719026585917134344332630358699989953192654897115952244443358360/3256463498592796337567856517216434613785554874867831530489276288647326330922484880613322944135812966747159487262883843525292735754962822012061169712502105818426711858526884780438912732220766527687575821848408956580436688134277352093475950410104431588658517394884094970897461792855435753700948965288242021044126450740414295201063788997942314396397",
"-8/143",
0,
0,
0,
0
],
[
"-55023001341395281391268777525307448906430926432384796825069754454756837536700981/12892178838591370359071240856289279206516961908672546967880066416093614270809088000",
"7550033531009136918210218776844946572434295703826684087793559298033674797417213566577/110271371268264166203297429768283863944949871851198497640222272626114591027428827197440",
"1256442536030179180904080984112550853195174013964607435124040790512328133619904520413658561/5814741774317888304764696072563757238099594585782596811304305691418303474564828109916672000",
"-17142170080009137230821430305370483718966521471654956060943020790268991498693924470495922902193106864563983354161394820067787083049361456322118535970539525404572429377504/197306893139518346385730249440364327447211941809609808082135911075794994403131634757615208005088345728085489882610647044166588958285149405845425514380979031021464225578055",
"-22179284252124940577085172989743812437534896328666390716447018685941638118552563243531704762184540650833087438726176165533949432701955249630571203005253926364200757010451528464114761447306108742480374543388740420365595167177419076540251456322504631/110102723028875137069673169800241257451946750178582021421143184621914859578438722895257917577609867010501876926587562010737035255564727945439075280916246915794469698074149807923677846909182250013409499406976879021978144830384505596535409538382156800",
"806922532517608399367998736086269638337668273040392408343559919341523120432691275634407575333251843481493569453541130795621915245559763487872338073463676905157603698449561061983579272066312066192444573203477652745693011803271344797321287662009556372441991941328525508342894091896504809565651960373661155876614097724084763137276483106888/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"-60795431434790988422338608706664361870473258532535367713848253377316067404393997197019596149083562846005079358146416326199244222805557014715874053662374598482864514171761030984861602946696998447476594721143523021601724644077704948675601270419822725516650294268297182721442683751199543231146299532932139701910510033309691202100623448276474270304/667202459294410070050032788388122058129672669084442400543289987950303127070417532034230081236867454617794565803675139642505331241906723228882460699449588846940484273881879499116439090383874765384787444382382945849128195274753738784412774453740948460321080287403555098643855810208144914933930965403281206597886819588513151652207379630604447451749",
"-12837478616539394133613412846412312000466241450619021515106386950713485494555260143507524410998145301271032545079882986942767273510178885147517811456622045409174069560158054879592323026248546618280508387662337984602041707592971669693538447458482733868295714154629250391498031874359635067480650826508652780961723149251512852789835138442211030197820/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"-596/5291",
"1/2",
0,
0,
0
],
[
"-55023001341395281391268777525307448906430926432384796825069754454756837536700981/12892178838591370359071240856289279206516961908672546967880066416093614270809088000",
"7550033531009136918210218776844946572434295703826684087793559298033674797417213566577/110271371268264166203297429768283863944949871851198497640222272626114591027428827197440",
"1256442536030179180904080984112550853195174013964607435124040790512328133619904520413658561/5814741774317888304764696072563757238099594585782596811304305691418303474564828109916672000",
"-17142170080009137230821430305370483718966521471654956060943020790268991498693924470495922902193106864563983354161394820067787083049361456322118535970539525404572429377504/197306893139518346385730249440364327447211941809609808082135911075794994403131634757615208005088345728085489882610647044166588958285149405845425514380979031021464225578055",
"-22179284252124940577085172989743812437534896328666390716447018685941638118552563243531704762184540650833087438726176165533949432701955249630571203005253926364200757010451528464114761447306108742480374543388740420365595167177419076540251456322504631/110102723028875137069673169800241257451946750178582021421143184621914859578438722895257917577609867010501876926587562010737035255564727945439075280916246915794469698074149807923677846909182250013409499406976879021978144830384505596535409538382156800",
"806922532517608399367998736086269638337668273040392408343559919341523120432691275634407575333251843481493569453541130795621915245559763487872338073463676905157603698449561061983579272066312066192444573203477652745693011803271344797321287662009556372441991941328525508342894091896504809565651960373661155876614097724084763137276483106888/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"-60795431434790988422338608706664361870473258532535367713848253377316067404393997197019596149083562846005079358146416326199244222805557014715874053662374598482864514171761030984861602946696998447476594721143523021601724644077704948675601270419822725516650294268297182721442683751199543231146299532932139701910510033309691202100623448276474270304/667202459294410070050032788388122058129672669084442400543289987950303127070417532034230081236867454617794565803675139642505331241906723228882460699449588846940484273881879499116439090383874765384787444382382945849128195274753738784412774453740948460321080287403555098643855810208144914933930965403281206597886819588513151652207379630604447451749",
"-12837478616539394133613412846412312000466241450619021515106386950713485494555260143507524410998145301271032545079882986942767273510178885147517811456622045409174069560158054879592323026248546618280508387662337984602041707592971669693538447458482733868295714154629250391498031874359635067480650826508652780961723149251512852789835138442211030197820/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"-596/5291",
"-1/2",
0,
0,
0
],
[
"-1094672481874269149772919587392818973876987850549542129209456752337671811316829289/5156871535436548143628496342515711682606784763469018787152026566437445708323635200",
"-53628889744998629086053137818519310976302411082111758349413712905862686971030128184127/324327562553718135892051264024364305720440799562348522471241978312101738315967138816000",
"2791611852209634353988472203934309171118746407512703347903046171323657696078157532087825721/3041557235797049267107687176417965324544403321793973716682252207818804894387756242110259200",
"-21902943581492225586125118045088120598034255634856832110444736629398718327119685890471311444652271898118118604101589896022921015629581810264206284450047349244533827215128/197306893139518346385730249440364327447211941809609808082135911075794994403131634757615208005088345728085489882610647044166588958285149405845425514380979031021464225578055",
"4315748226168398507403931897122702642278567132367671880231576108878357107326734709069023673487558909394136288977432797577257690431346900227804906166660774655932002324673579425799577315241996657367611847797146260436111590565955019714863037842896969/55051361514437568534836584900120628725973375089291010710571592310957429789219361447628958788804933505250938463293781005368517627782363972719537640458123457897234849037074903961838923454591125006704749703488439510989072415192252798267704769191078400",
"-2352524573726451249055995599414824826147383040005662589162722971073700129964453895475297765362919915997038896870692335255586796211302488557812419247878908537117541320310670387275976183057882042691898823757437962379537566468069732862504000282852557036069519679430063002910462602302731985546791729387761739001693143113542436716351620026224/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"3890907611826623259029670957226519159710288546082263533686288216148228313881215820609254153541348022144325078921370644876751630259555648941815939434391974302903328906992705983031142588588607900638502062153185473382510377220973116715238481306868654433065618833171019694172331760076770766793363170107656940922272642131820236934439900689694353299456/99413166434867100437454885469830186661321227693581917680950208204595165933492212273100282104293250738051390304747595806733294355044101761103486644217988738194132156808400045368349424467197340042333329212975058931520101095938307078877503393607401320587840962823129709697934515721013592325155713845088899783085136118688459596178899564960062670310601",
"5514084774889404191619184041411999785435164113017566288367844059366866252694876840164305787274371136116416663658473229290853057078197641942557986129018865142195573502349768538885293111945684453489614341009326382647856840845303267519372219042569764883026347019438067282254188187644407008850749348299018644171478399678502164956707710471822187467520/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"256/5291",
0,
0,
0,
0
],
[
"-78240883241101505008824369273849403691123406526872469534600777087791570460313623843/206274861417461925745139853700628467304271390538760751486081062657497828332945408000",
"11179975821667303898356174717364731508237582249816889776556552837565217459921664263894239/44108548507305666481318971907313545577979948740479399056088909050445836410971530878976000",
"-1117080020450745259553348126610542457395304444171696392420507844048756329190155128358937855689/1581609762614465618895997331737341968763089727332866332674771148065778545081633245897334784000",
"153501005976533895213480013350188086251143430539896143861246437816997557748892262976672585115783801931849252674407467252120746927025985785317012945480884332532396571147799/197306893139518346385730249440364327447211941809609808082135911075794994403131634757615208005088345728085489882610647044166588958285149405845425514380979031021464225578055",
"4315748226168398507403931897122702642278567132367671880231576108878357107326734709069023673487558909394136288977432797577257690431346900227804906166660774655932002324673579425799577315241996657367611847797146260436111590565955019714863037842896969/27525680757218784267418292450060314362986687544645505355285796155478714894609680723814479394402466752625469231646890502684258813891181986359768820229061728948617424518537451980919461727295562503352374851744219755494536207596126399133852384595539200",
"-4705049147452902498111991198829649652294766080011325178325445942147400259928907790950595530725839831994077793741384670511173592422604977115624838495757817074235082640621340774551952366115764085383797647514875924759075132936139465725008000565705114072139039358860126005820925204605463971093583458775523478003386286227084873432703240052448/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"7781815223653246518059341914453038319420577092164527067372576432296456627762431641218508307082696044288650157842741289753503260519111297883631878868783948605806657813985411966062285177177215801277004124306370946765020754441946233430476962613737308866131237666342039388344663520153541533586726340215313881844545284263640473868879801379388706598912/99413166434867100437454885469830186661321227693581917680950208204595165933492212273100282104293250738051390304747595806733294355044101761103486644217988738194132156808400045368349424467197340042333329212975058931520101095938307078877503393607401320587840962823129709697934515721013592325155713845088899783085136118688459596178899564960062670310601",
"11028169549778808383238368082823999570870328226035132576735688118733732505389753680328611574548742272232833327316946458581706114156395283885115972258037730284391147004699537077770586223891368906979228682018652765295713681690606535038744438085139529766052694038876134564508376375288814017701498696598037288342956799357004329913415420943644374935040/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"512/5291",
0,
0,
0,
0
],
[
"339124335489739505933266385910725691318303920424812315439167517554993744442200489/4297392946197123453023746952096426402172320636224182322626688805364538090269696000",
"-6745143294812817309350376340623522739989475544671985305123749935645063350815611634287/306309364634067128342492860467455177624860755142218049000617423961429419520635631104000",
"-18278582127294057580877568645101971105733634868743828851956168982158051744866962043157721759/98850610163404101180999833233583873047693107958304145792173196754111159067602077868583424000",
"2276313004138617707971037044562625061661392923025133133168874109399187199018282437376920250633456976035407506770891374952912225398574551078311531565727940384740613347616/197306893139518346385730249440364327447211941809609808082135911075794994403131634757615208005088345728085489882610647044166588958285149405845425514380979031021464225578055",
"32872077262312627957751411910376816288438478760624619994124573625015791670666798204097254026620392854417851024567604839834568195080408723088966437452869531533034092026623375497724162007285016264224375160099699090623477248014833721727453312868573769/110102723028875137069673169800241257451946750178582021421143184621914859578438722895257917577609867010501876926587562010737035255564727945439075280916246915794469698074149807923677846909182250013409499406976879021978144830384505596535409538382156800",
"806922532517608399367998736086269638337668273040392408343559919341523120432691275634407575333251843481493569453541130795621915245559763487872338073463676905157603698449561061983579272066312066192444573203477652745693011803271344797321287662009556372441991941328525508342894091896504809565651960373661155876614097724084763137276483106888/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"-60795431434790988422338608706664361870473258532535367713848253377316067404393997197019596149083562846005079358146416326199244222805557014715874053662374598482864514171761030984861602946696998447476594721143523021601724644077704948675601270419822725516650294268297182721442683751199543231146299532932139701910510033309691202100623448276474270304/667202459294410070050032788388122058129672669084442400543289987950303127070417532034230081236867454617794565803675139642505331241906723228882460699449588846940484273881879499116439090383874765384787444382382945849128195274753738784412774453740948460321080287403555098643855810208144914933930965403281206597886819588513151652207379630604447451749",
"-12837478616539394133613412846412312000466241450619021515106386950713485494555260143507524410998145301271032545079882986942767273510178885147517811456622045409174069560158054879592323026248546618280508387662337984602041707592971669693538447458482733868295714154629250391498031874359635067480650826508652780961723149251512852789835138442211030197820/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"-596/5291",
"1286960134512615261638198266803091754425430630214941464320871326400216779502460119/16344033962511344698277198386922445406851428202508473389228302346495736192400896000",
"1/2",
0,
0
],
[
"339124335489739505933266385910725691318303920424812315439167517554993744442200489/4297392946197123453023746952096426402172320636224182322626688805364538090269696000",
"-6745143294812817309350376340623522739989475544671985305123749935645063350815611634287/306309364634067128342492860467455177624860755142218049000617423961429419520635631104000",
"-18278582127294057580877568645101971105733634868743828851956168982158051744866962043157721759/98850610163404101180999833233583873047693107958304145792173196754111159067602077868583424000",
"2276313004138617707971037044562625061661392923025133133168874109399187199018282437376920250633456976035407506770891374952912225398574551078311531565727940384740613347616/197306893139518346385730249440364327447211941809609808082135911075794994403131634757615208005088345728085489882610647044166588958285149405845425514380979031021464225578055",
"32872077262312627957751411910376816288438478760624619994124573625015791670666798204097254026620392854417851024567604839834568195080408723088966437452869531533034092026623375497724162007285016264224375160099699090623477248014833721727453312868573769/110102723028875137069673169800241257451946750178582021421143184621914859578438722895257917577609867010501876926587562010737035255564727945439075280916246915794469698074149807923677846909182250013409499406976879021978144830384505596535409538382156800",
"806922532517608399367998736086269638337668273040392408343559919341523120432691275634407575333251843481493569453541130795621915245559763487872338073463676905157603698449561061983579272066312066192444573203477652745693011803271344797321287662009556372441991941328525508342894091896504809565651960373661155876614097724084763137276483106888/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"-60795431434790988422338608706664361870473258532535367713848253377316067404393997197019596149083562846005079358146416326199244222805557014715874053662374598482864514171761030984861602946696998447476594721143523021601724644077704948675601270419822725516650294268297182721442683751199543231146299532932139701910510033309691202100623448276474270304/667202459294410070050032788388122058129672669084442400543289987950303127070417532034230081236867454617794565803675139642505331241906723228882460699449588846940484273881879499116439090383874765384787444382382945849128195274753738784412774453740948460321080287403555098643855810208144914933930965403281206597886819588513151652207379630604447451749",
"-12837478616539394133613412846412312000466241450619021515106386950713485494555260143507524410998145301271032545079882986942767273510178885147517811456622045409174069560158054879592323026248546618280508387662337984602041707592971669693538447458482733868295714154629250391498031874359635067480650826508652780961723149251512852789835138442211030197820/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"-596/5291",
"-1286960134512615261638198266803091754425430630214941464320871326400216779502460119/16344033962511344698277198386922445406851428202508473389228302346495736192400896000",
"-1/2",
0,
0
],
[
"7482029079362815555498832393450398585083684447083728652608457856904923490983511/340387560094821659645445303136350606112659060294984738425876341018973314080768000",
"-610114471547877365499966671349851323838058214565317289732488083396550264961446157713/24262127891807297294454880037026152683157287536017271207969696947439954021436485632000",
"198689864683746006488585400041123744681884935305118664957685553512844632894635152601049759/7829751300071611974732660058105653310708364986796367983538471030028606658819966563848192000",
"51990281366936549695067425505089444391384055098681928667555749386321176908645362855313083851557235323837726851307162440674047582488301576750120200891466078159998703046348/197306893139518346385730249440364327447211941809609808082135911075794994403131634757615208005088345728085489882610647044166588958285149405845425514380979031021464225578055",
"-118515358319948751445261816034937877159602623689008498579521487916773705207241964102571644074156998863090945974880882628947651123101015101725522535466366573534733519109205898684434540976950257391693211569679063477425371517499717337815197183031369/8721007764663377193637478796058713461540336647808476944248965118567513629975344387743201392285930060237772429828717783028676059846711124391213883636930448775799580045477212508806166091816415842646296982730841902730942164782931136359240359475814400",
"10883941732886555461873979149718717612232635853949297688239845945145985699570778768443704227824008366771282000718470769454061024381424943487633801107429347793121730867251314308436464928362374219415823354804433869649907298255077766237409926178635096509235339414315158686276044390940254054086027141625161926693266627342524668781065015175539/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"-364772588608745930534031652239986171222839551195212206283089520263896404426363983182117576894501377076030476148878497957195465336833342088295244321974247590897187085030566185909169617680181990684859568326861138129610347864466229692053607622518936353099901765609783096328656102507197259386877797197592838211463060199858147212603740689658845621824/14201880919266728633922126495690026665903032527654559668707172600656452276213173181871468872041892962578770043535370829533327765006300251586212377745426962599161736686914292195478489209599620006047618458996436990217157299419758154125357627658200188655405851831875672813990645103001941760736530549298414254726448016955494228025557080708580381472943",
"-1206206044507057166916696509058874953063942149722592625580465887986501992777004308785941890966268686025466145175291018907374106235855734174934559465722876749855281703639011867881157868238118474200853137095790146204218683934910089769862672915562136068162013410502077217993103666047214033186101419940410328412510899929672348584279811665711103508520/40163049815977821496670230379002693570021843456703255542701074226650358081377313527564316311008359923214967009575567403478610407644541471482087759787525971760596112921831578958746590364056120508146768469463710464492052486989420675819536721724621322926788381203570504641068695445217040962311703905221651592877559559131776307479786730974621877555563",
"-168/5291",
0,
0,
0,
0
],
[
"-12839596655/46129969743",
"14978696169977/57854247473737",
"-7811295604539901/33731581513157242",
"42616641007484358067549006195768355028010608146801844252036563176181391685183725626312422312987470968853032047918291369551765457701881043285895363484425731072000/93271882565091824714488869913253078139227389337686339362831216720941274140371153369242513719836263752940429815624285223888738538709673120321469913883528459175771",
"793483022277513839135863546873954980303413766164489762007317592068968569586571348170821691890880746386518537147408502152619602012508047372360734459479018362302012491159509/5736065597237992537958914373093217199107944153039386313989320160278624351532564800812317132531381699336500519705781260408268591375151420791128119861824263235125759882541998",
"-61920760984778646700870334834578063009071194507482630534769457006097727217426987588574214193134395960227650663188941742533971695677496431972382146309305973456540241739837724104381550091726184575164242250565386138237030579352692985042593881072566153658633382144602330814104449987410813603224902355802392922083456224592253820321436160000/103205497031807423532386541851963964862689676618183222255268607683744419771067468503182763196735825103847792537536783695498145738870250667089164651668605680283296622936988252671675199538460100871815080129432212230257853815032121591672836198817824375185797979278333478901834843184299294901336409604579483817385696156621684471668058171639",
"606407027859619081627694179681457696259199410551907032829441734572987059666023534837210485087783891771789486445528723316306087019101166214166586645787214248457619759710118468131577487437177766937310849661239422827526470630676033835737173183321125734804429993135257915922413126456945371702784665870349066895976309555203460450106756182327973181445/1334404918588820140100065576776244116259345338168884801086579975900606254140835064068460162473734909235589131607350279285010662483813446457764921398899177693880968547763758998232878180767749530769574888764765891698256390549507477568825548907481896920642160574807110197287711620416289829867861930806562413195773639177026303304414759261208894903498",
"-6418739308269697066806706423206156000233120725309510757553193475356742747277630071753762205499072650635516272539941493471383636755089442573758905728311022704587034780079027439796161513124273309140254193831168992301020853796485834846769223729241366934147857077314625195749015937179817533740325413254326390480861574625756426394917569221105515098910/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"-298/5291",
"1060/5393",
"-1305581159468493574362315827165799052988583083595460668133953669579839534342935636999703507717857534249599180745614196063315066794338613083144585941099552343040000/4498116179640456239261260794897283800021828745824271499313947897915553185891431983696844927693833579680217553436464713423743885577042990751104035004327572030505839",
"1/2",
0
],
[
"253/709",
"-464400/2667593",
"-833859126/777662269",
"7279775454285707074367656415448064052267953283627566143194030745195157042996352349373235408451282158249789783937942374516789150558313748953442136306257159987200/93271882565091824714488869913253078139227389337686339362831216720941274140371153369242513719836263752940429815624285223888738538709673120321469913883528459175771",
"14150073113764958762472826191411706134027117832180011837150821742324492801248046367466770153581476728713274062033135796337176976170039483755699560597591321659953791/88161135398508789553291042801868047914352008433853112501887122550102138818057720826975762167144710950077998807314303631873995683860172640324158145893917687968169274",
"37326931788516408582543756186081957978607090742376707394405120027686505101365155502933390853869458015428629323486893459694809695204184823633744033339452217717284243090409181479144603698516653037503506674813204843950484252119973947854569172860440527301209825341980514761253592583475181314971823451234418540670972512958754223503922556928000/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"-3573600029740955896219702919348035625819873273822263741297810404645820813816935616560241889060026722045291655655343559018987097331311389972908111767215043515169214147726582581998359677120196215032887218923853630527430991781249209342471662965257313464927662892937535321368679675516691532788771862360413045934191747109855921611576962650328279/45838270908263301487695177262871591437070119758792562992854745356986114149885870109378168216205357921609965444064725858999078401623742518713387158757248709721729916013369559538425215966812203133259486568225983054129673078519968097689122674220988077028823410803336431862681249046878636899262490667032755490923558077576420742260732545625084890",
1,
0,
0,
0,
0,
0
],
[
"-8849741/45015828",
"5407265533/28228469126",
"-737575322492/4114611065279",
"23830075512867330773254531218031470229152558881322700007734627900327854006385682956946336748671062162282614961881092140293051579660639182158107827521930123776000/93271882565091824714488869913253078139227389337686339362831216720941274140371153369242513719836263752940429815624285223888738538709673120321469913883528459175771",
"174955714804809566119057773648758436485919441915367203836593267114959436733435047098805743237263643425602926827778280730245680454901419618134825548081548294583405409383/2798763404361060033158777444788103049089018859741100909484908592475542498918060405373172545758175993821176150136999883097471866979825040639730724499548310922237501772404",
"2198722200263968031501516000391708935724440034191800238777442935061407190403215692896785536961571024947890679890994858220216800618146584009430367598392106446471873956450062764861414109744090327425854767046415919502011356124253650117955059409105913362457721872083833082631898160828827485921840455236567639959770892062718338748771840000/103205497031807423532386541851963964862689676618183222255268607683744419771067468503182763196735825103847792537536783695498145738870250667089164651668605680283296622936988252671675199538460100871815080129432212230257853815032121591672836198817824375185797979278333478901834843184299294901336409604579483817385696156621684471668058171639",
"6144686579833381394029786063546821905882828901890538777404680920276680705492384723637809271347526546678706962618561711103209729103656340706683881132727006927664958523206681540650019705308162545930703017323393876860852296193937353850485828279586571202374680478103285262176693004896284832173365954539038920707600437809161386320158134248004719853/97012116550248451268558073159141436117415201457508580318077783073525411986818455499487955212777019505295330865818585807985649529196488666605012582793841169255069194250695335807123127072161346711230377372993470535760040103379660481949259227721299166223801866624181224394178595482813947133599135247708123720990618315382736858920614359560929661196",
"88289974579186202271277481975577293439448194137730485218827315622440565507016797530599568054834559714614030876312819401809401097513797399697442129464251282101014280414576957972229751819786564745523160874207925165912364025878508177976198147873021352560644517315143116367030927270134470036246959291709677431480038907352267086552909786031246665739705/240978298895866928980021382274016161420131060740219533256206445359902148488263881165385897866050159539289802057453404420871662445867248828892526558725155830563576677530989473752479542184336723048880610816782262786952314921936524054917220330347727937560730287221423027846412172671302245773870223431329909557265357354790657844878720385847731265333378",
"4099/10582",
"490/5393",
"970001860520407073331240365761123728864920054865716520027637039888864959751674603284213991305231050506228845796290415870117785608157664971545402500786730083840000/4498116179640456239261260794897283800021828745824271499313947897915553185891431983696844927693833579680217553436464713423743885577042990751104035004327572030505839",
"192976126625106215178475844787812815202922701673878021458913499849837662272934371172765371955187933994024639214260245887824625451448204744205339565644276736411403299/1730921991296240191780329008369801497122061120396599968352930143450487307307089970299675241613178527060370583815309817613421535186427728298181130019542215980302087458",
"1/2"
],
[
"-2293744336702082760206795833542955836556634860319519191218434846832437801870012981/12892178838591370359071240856289279206516961908672546967880066416093614270809088000",
"-47585652103122946183438496107296985400040640221772564732317577015023620716297200032143/110271371268264166203297429768283863944949871851198497640222272626114591027428827197440",
"1256442536030179180904080984112550853195174013964607435124040790512328133619904520413658561/5814741774317888304764696072563757238099594585782596811304305691418303474564828109916672000",
"-17142170080009137230821430305370483718966521471654956060943020790268991498693924470495922902193106864563983354161394820067787083049361456322118535970539525404572429377504/197306893139518346385730249440364327447211941809609808082135911075794994403131634757615208005088345728085489882610647044166588958285149405845425514380979031021464225578055",
"-22179284252124940577085172989743812437534896328666390716447018685941638118552563243531704762184540650833087438726176165533949432701955249630571203005253926364200757010451528464114761447306108742480374543388740420365595167177419076540251456322504631/110102723028875137069673169800241257451946750178582021421143184621914859578438722895257917577609867010501876926587562010737035255564727945439075280916246915794469698074149807923677846909182250013409499406976879021978144830384505596535409538382156800",
"806922532517608399367998736086269638337668273040392408343559919341523120432691275634407575333251843481493569453541130795621915245559763487872338073463676905157603698449561061983579272066312066192444573203477652745693011803271344797321287662009556372441991941328525508342894091896504809565651960373661155876614097724084763137276483106888/18680194962757143659361964075205477640146831467891163228203617990757739978563211799076080138609184343796450449294157848885164378735515370743138801952017628131276688751594873733573211116461278257798529503427230413676671540520814008092783351986026211908629434249378359681232106616358172377141890138428886570946811004348524889371918529066659",
"-60795431434790988422338608706664361870473258532535367713848253377316067404393997197019596149083562846005079358146416326199244222805557014715874053662374598482864514171761030984861602946696998447476594721143523021601724644077704948675601270419822725516650294268297182721442683751199543231146299532932139701910510033309691202100623448276474270304/667202459294410070050032788388122058129672669084442400543289987950303127070417532034230081236867454617794565803675139642505331241906723228882460699449588846940484273881879499116439090383874765384787444382382945849128195274753738784412774453740948460321080287403555098643855810208144914933930965403281206597886819588513151652207379630604447451749",
"-12837478616539394133613412846412312000466241450619021515106386950713485494555260143507524410998145301271032545079882986942767273510178885147517811456622045409174069560158054879592323026248546618280508387662337984602041707592971669693538447458482733868295714154629250391498031874359635067480650826508652780961723149251512852789835138442211030197820/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"-596/5291",
0,
0,
0,
0
],
[
"-12839596655/46129969743",
"14978696169977/57854247473737",
"-7811295604539901/33731581513157242",
"42616641007484358067549006195768355028010608146801844252036563176181391685183725626312422312987470968853032047918291369551765457701881043285895363484425731072000/93271882565091824714488869913253078139227389337686339362831216720941274140371153369242513719836263752940429815624285223888738538709673120321469913883528459175771",
"793483022277513839135863546873954980303413766164489762007317592068968569586571348170821691890880746386518537147408502152619602012508047372360734459479018362302012491159509/5736065597237992537958914373093217199107944153039386313989320160278624351532564800812317132531381699336500519705781260408268591375151420791128119861824263235125759882541998",
"-61920760984778646700870334834578063009071194507482630534769457006097727217426987588574214193134395960227650663188941742533971695677496431972382146309305973456540241739837724104381550091726184575164242250565386138237030579352692985042593881072566153658633382144602330814104449987410813603224902355802392922083456224592253820321436160000/103205497031807423532386541851963964862689676618183222255268607683744419771067468503182763196735825103847792537536783695498145738870250667089164651668605680283296622936988252671675199538460100871815080129432212230257853815032121591672836198817824375185797979278333478901834843184299294901336409604579483817385696156621684471668058171639",
"606407027859619081627694179681457696259199410551907032829441734572987059666023534837210485087783891771789486445528723316306087019101166214166586645787214248457619759710118468131577487437177766937310849661239422827526470630676033835737173183321125734804429993135257915922413126456945371702784665870349066895976309555203460450106756182327973181445/1334404918588820140100065576776244116259345338168884801086579975900606254140835064068460162473734909235589131607350279285010662483813446457764921398899177693880968547763758998232878180767749530769574888764765891698256390549507477568825548907481896920642160574807110197287711620416289829867861930806562413195773639177026303304414759261208894903498",
"-6418739308269697066806706423206156000233120725309510757553193475356742747277630071753762205499072650635516272539941493471383636755089442573758905728311022704587034780079027439796161513124273309140254193831168992301020853796485834846769223729241366934147857077314625195749015937179817533740325413254326390480861574625756426394917569221105515098910/120489149447933464490010691137008080710065530370109766628103222679951074244131940582692948933025079769644901028726702210435831222933624414446263279362577915281788338765494736876239771092168361524440305408391131393476157460968262027458610165173863968780365143610711513923206086335651122886935111715664954778632678677395328922439360192923865632666689",
"-298/5291",
"-1060/5393",
"1305581159468493574362315827165799052988583083595460668133953669579839534342935636999703507717857534249599180745614196063315066794338613083144585941099552343040000/4498116179640456239261260794897283800021828745824271499313947897915553185891431983696844927693833579680217553436464713423743885577042990751104035004327572030505839",
"-1/2",