/
15k_splits.go
15029 lines (15022 loc) · 890 KB
/
15k_splits.go
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
/*
conflux - Distributed database synchronization library
Based on the algorithm described in
"Set Reconciliation with Nearly Optimal Communication Complexity",
Yaron Minsky, Ari Trachtenberg, and Richard Zippel, 2004.
Copyright (c) 2012-2015 Casey Marshall <cmars@cmarstech.com>
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU Affero General Public License as published by
the Free Software Foundation, version 3.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Affero General Public License for more details.
You should have received a copy of the GNU Affero General Public License
along with this program. If not, see <http://www.gnu.org/licenses/>.
*/
package testing
import (
cf "gopkg.in/hockeypuck/conflux.v2"
)
var PtreeSplits15k = []*cf.Zp{
cf.Zs(cf.P_SKS, "100003218857341536827240268233844414171"),
cf.Zs(cf.P_SKS, "100007136014668706610939221155807062491"),
cf.Zs(cf.P_SKS, "100025774409238881637455613903286460379"),
cf.Zs(cf.P_SKS, "100029197292921476922161787438164315355"),
cf.Zs(cf.P_SKS, "100069823213092449342419301185503092955"),
cf.Zs(cf.P_SKS, "100084691526741801873796819022111564250"),
cf.Zs(cf.P_SKS, "100084909695904024342799856934597229274"),
cf.Zs(cf.P_SKS, "100103947139395470424370296620305308891"),
cf.Zs(cf.P_SKS, "100164699960048679054536943398138744539"),
cf.Zs(cf.P_SKS, "100178747658355131847983277745314256347"),
cf.Zs(cf.P_SKS, "10027984650067157848306918766200480986"),
cf.Zs(cf.P_SKS, "100284320065849488362538658767428141787"),
cf.Zs(cf.P_SKS, "100305532386830972607513802081389443546"),
cf.Zs(cf.P_SKS, "100308810174862987877413270554542657243"),
cf.Zs(cf.P_SKS, "100371227138125898323728292983889381851"),
cf.Zs(cf.P_SKS, "100388690996545059368330416347306929883"),
cf.Zs(cf.P_SKS, "100409783437243602450453157877173175003"),
cf.Zs(cf.P_SKS, "100487179250838905332680515913256068826"),
cf.Zs(cf.P_SKS, "100490990680712987084424656494440425179"),
cf.Zs(cf.P_SKS, "100500452794515227872416929111895765978"),
cf.Zs(cf.P_SKS, "100527642317819035041059793178743330779"),
cf.Zs(cf.P_SKS, "10052772556599617129281091656483776475"),
cf.Zs(cf.P_SKS, "100554770112868376958985939241597643995"),
cf.Zs(cf.P_SKS, "100572211411976638030474240145986706395"),
cf.Zs(cf.P_SKS, "100591765317378747020529031502701127642"),
cf.Zs(cf.P_SKS, "100626524659346180785421391765345177563"),
cf.Zs(cf.P_SKS, "100630778802018188674219210372114983899"),
cf.Zs(cf.P_SKS, "100637519020328061160408499454261034203"),
cf.Zs(cf.P_SKS, "100642064468519569056557645240684656859"),
cf.Zs(cf.P_SKS, "100644898549607870346653085730114059995"),
cf.Zs(cf.P_SKS, "100655085267245934351031426145102478043"),
cf.Zs(cf.P_SKS, "100688565909669720817352592732408900058"),
cf.Zs(cf.P_SKS, "100699619824217251710481149312334726363"),
cf.Zs(cf.P_SKS, "100708459285150023474687951308677964250"),
cf.Zs(cf.P_SKS, "100719694426955701724151613153660582363"),
cf.Zs(cf.P_SKS, "100722003829194277930143461202626690267"),
cf.Zs(cf.P_SKS, "100722839839537863375849284972755938522"),
cf.Zs(cf.P_SKS, "100730318154398229182066773239290721242"),
cf.Zs(cf.P_SKS, "100730963027821775287640158945198025435"),
cf.Zs(cf.P_SKS, "100747105587882924855670087486257344219"),
cf.Zs(cf.P_SKS, "100784484165025217854004495882386017499"),
cf.Zs(cf.P_SKS, "100787314167674046589312580894614216155"),
cf.Zs(cf.P_SKS, "10079160097965690177505944992387810523"),
cf.Zs(cf.P_SKS, "100797244539764844359513611619264357594"),
cf.Zs(cf.P_SKS, "10080908703936723280204640933470427611"),
cf.Zs(cf.P_SKS, "100818279764311963834767605645697009627"),
cf.Zs(cf.P_SKS, "100818629933679130828068040755240696026"),
cf.Zs(cf.P_SKS, "100819689671710723342340194307898217947"),
cf.Zs(cf.P_SKS, "100830957039730228714188991448741167579"),
cf.Zs(cf.P_SKS, "100865039479837559933763195666532774363"),
cf.Zs(cf.P_SKS, "100887594268087611653889968395993724891"),
cf.Zs(cf.P_SKS, "100918465551400970721385386123652317147"),
cf.Zs(cf.P_SKS, "100920942029751437740375055191561677019"),
cf.Zs(cf.P_SKS, "100939045501238630960132605588386086618"),
cf.Zs(cf.P_SKS, "100942165458065779390681808343929246171"),
cf.Zs(cf.P_SKS, "100966233111055819497762903993346813403"),
cf.Zs(cf.P_SKS, "100993551520909590177982470378195040219"),
cf.Zs(cf.P_SKS, "101029007353508296097454808749070392539"),
cf.Zs(cf.P_SKS, "10104941020316558983093137467215239643"),
cf.Zs(cf.P_SKS, "101080557328282969830941333485885975002"),
cf.Zs(cf.P_SKS, "101142878668560251323973420595027440346"),
cf.Zs(cf.P_SKS, "101171063588742885347925212899139308763"),
cf.Zs(cf.P_SKS, "101173639040169980129189184931587527131"),
cf.Zs(cf.P_SKS, "101206506520410741864813665548594383579"),
cf.Zs(cf.P_SKS, "101210672709637720221007419834021202139"),
cf.Zs(cf.P_SKS, "101226277981471836147838175691499824603"),
cf.Zs(cf.P_SKS, "101249976494602449956383855299811990490"),
cf.Zs(cf.P_SKS, "101253384595783066128735584636959483099"),
cf.Zs(cf.P_SKS, "10127577714027757093381785215509722586"),
cf.Zs(cf.P_SKS, "101285616205582187511968017837416204763"),
cf.Zs(cf.P_SKS, "10128968503727180811941543905270949595"),
cf.Zs(cf.P_SKS, "101292426432571614409854859666716868571"),
cf.Zs(cf.P_SKS, "101308325909703113213948330525256174299"),
cf.Zs(cf.P_SKS, "101320082553926316194815104672605007322"),
cf.Zs(cf.P_SKS, "101324563623133916777029242058489714395"),
cf.Zs(cf.P_SKS, "101338803880216863537031969044317642203"),
cf.Zs(cf.P_SKS, "101359116927736796302450849117590560475"),
cf.Zs(cf.P_SKS, "101386943586220779501318266092471217371"),
cf.Zs(cf.P_SKS, "101454198846721884982391384797287837659"),
cf.Zs(cf.P_SKS, "101457782854895291810229106402131080155"),
cf.Zs(cf.P_SKS, "101488865151090015257571466835454678235"),
cf.Zs(cf.P_SKS, "101587330534656387330285180689967959003"),
cf.Zs(cf.P_SKS, "101619439889199544146943206412587424474"),
cf.Zs(cf.P_SKS, "101638698212392264421787299901918572507"),
cf.Zs(cf.P_SKS, "101655071199117556955712400023545875931"),
cf.Zs(cf.P_SKS, "101705396235100420805541994834676962523"),
cf.Zs(cf.P_SKS, "10171035660647294301694968319702286555"),
cf.Zs(cf.P_SKS, "101742314482972278588807100217731388123"),
cf.Zs(cf.P_SKS, "101754766729705243781943049232202486235"),
cf.Zs(cf.P_SKS, "101782750764709496489226395770666802395"),
cf.Zs(cf.P_SKS, "101862539991124173130290475381895789786"),
cf.Zs(cf.P_SKS, "101867969957033809922139782045641009626"),
cf.Zs(cf.P_SKS, "101878881811001387807271649892443975899"),
cf.Zs(cf.P_SKS, "101889481000630530200009068386025959387"),
cf.Zs(cf.P_SKS, "101910673901872349335684241133112235483"),
cf.Zs(cf.P_SKS, "101939070812105897451004051661631816667"),
cf.Zs(cf.P_SKS, "101947708499301502578243275108542794971"),
cf.Zs(cf.P_SKS, "101951457778305513898015736057546877147"),
cf.Zs(cf.P_SKS, "101961768898227072122947249726444574683"),
cf.Zs(cf.P_SKS, "101978483101708441799892266817643583451"),
cf.Zs(cf.P_SKS, "102000334883188528000961119325653947099"),
cf.Zs(cf.P_SKS, "102013655154798776566646183581779187675"),
cf.Zs(cf.P_SKS, "102028267364660685208216173030257075931"),
cf.Zs(cf.P_SKS, "102063237758012620507568625393635630555"),
cf.Zs(cf.P_SKS, "10206358455605279906750335646257948635"),
cf.Zs(cf.P_SKS, "102074908581090675249486633252812439771"),
cf.Zs(cf.P_SKS, "10208990873161356586133268329633117147"),
cf.Zs(cf.P_SKS, "102091178818512368072515123633198719706"),
cf.Zs(cf.P_SKS, "102095312566023082368001316873961793242"),
cf.Zs(cf.P_SKS, "102111887384211976495457225299945882587"),
cf.Zs(cf.P_SKS, "102119860748022688231305120669527541467"),
cf.Zs(cf.P_SKS, "102127757281194884767950333759583703259"),
cf.Zs(cf.P_SKS, "102162838127922980830297583467851465947"),
cf.Zs(cf.P_SKS, "102180431738154938671502731044997183707"),
cf.Zs(cf.P_SKS, "102183918356251912604407699971067371739"),
cf.Zs(cf.P_SKS, "102211955520950026456533808196614550234"),
cf.Zs(cf.P_SKS, "102224647608153585640392705493050703323"),
cf.Zs(cf.P_SKS, "102224688055446869211556893375724918747"),
cf.Zs(cf.P_SKS, "102248661220601890694968744203634190811"),
cf.Zs(cf.P_SKS, "102251927153265402938505918023984787675"),
cf.Zs(cf.P_SKS, "10226485726373999303227389011748701915"),
cf.Zs(cf.P_SKS, "102312314603386895812028401778583177691"),
cf.Zs(cf.P_SKS, "102313795391835221738737160569284759003"),
cf.Zs(cf.P_SKS, "102350269844490047107276981606443042267"),
cf.Zs(cf.P_SKS, "10235666590943371019588075712642323163"),
cf.Zs(cf.P_SKS, "102361424548047738899651321625405665499"),
cf.Zs(cf.P_SKS, "102371420448492454386499179170287202779"),
cf.Zs(cf.P_SKS, "102383989503626374470420792623887109083"),
cf.Zs(cf.P_SKS, "102602440915895348190663624531305895131"),
cf.Zs(cf.P_SKS, "102603729302152983384146623227794197467"),
cf.Zs(cf.P_SKS, "102634989978126640921477491176558489562"),
cf.Zs(cf.P_SKS, "102647537420921861681356393377357641179"),
cf.Zs(cf.P_SKS, "102650721848151119138485586011214660571"),
cf.Zs(cf.P_SKS, "102653851000137951627841713883896771803"),
cf.Zs(cf.P_SKS, "102687400073748076272842023329308877275"),
cf.Zs(cf.P_SKS, "102708667085723477312354742609363554267"),
cf.Zs(cf.P_SKS, "102761252633582947079414774862746493147"),
cf.Zs(cf.P_SKS, "102768787877278122232260120400160183771"),
cf.Zs(cf.P_SKS, "10278396648297547617550384348413102811"),
cf.Zs(cf.P_SKS, "102801674601900981935801440813949005531"),
cf.Zs(cf.P_SKS, "102806788729673706623337151833047955162"),
cf.Zs(cf.P_SKS, "102850859236525427406553813331568863451"),
cf.Zs(cf.P_SKS, "102857956189414366436564814072262649563"),
cf.Zs(cf.P_SKS, "102867412891911518349364049376136099291"),
cf.Zs(cf.P_SKS, "102877660862483136800357619199385406939"),
cf.Zs(cf.P_SKS, "102918396498469450580853079080407987674"),
cf.Zs(cf.P_SKS, "102952750341721683975069034292697263579"),
cf.Zs(cf.P_SKS, "102958600161364347736335899992684487131"),
cf.Zs(cf.P_SKS, "102959305905525925435991942264894803163"),
cf.Zs(cf.P_SKS, "102970114300232229401395889019072110811"),
cf.Zs(cf.P_SKS, "10301241911350255726576859613209278939"),
cf.Zs(cf.P_SKS, "103022845569740252898680376562978399707"),
cf.Zs(cf.P_SKS, "103053643147119865811124859536826566107"),
cf.Zs(cf.P_SKS, "103057933027715164710435640888502557659"),
cf.Zs(cf.P_SKS, "103065155686676152603683326661280682203"),
cf.Zs(cf.P_SKS, "10307709377366222362500564381186389466"),
cf.Zs(cf.P_SKS, "103080891880014488030238089895590504411"),
cf.Zs(cf.P_SKS, "103086525872696011243282944669658040283"),
cf.Zs(cf.P_SKS, "103099113095267689936328736670189915867"),
cf.Zs(cf.P_SKS, "103168634630403705849229471856576601051"),
cf.Zs(cf.P_SKS, "103183308948046435790019724459340752603"),
cf.Zs(cf.P_SKS, "103185591271732701265595173974115301083"),
cf.Zs(cf.P_SKS, "103226529521361216564006882174740380379"),
cf.Zs(cf.P_SKS, "103235206463640190965022831958850033115"),
cf.Zs(cf.P_SKS, "103242681881989190259220748457603227866"),
cf.Zs(cf.P_SKS, "103258020568546455548240318115505444827"),
cf.Zs(cf.P_SKS, "103264160699707506927193568220260614875"),
cf.Zs(cf.P_SKS, "103274895301471553915151008992975935451"),
cf.Zs(cf.P_SKS, "103290740565002838995964716256570252507"),
cf.Zs(cf.P_SKS, "103311800506233286822829949809155990747"),
cf.Zs(cf.P_SKS, "103332611465338872968722237310666761691"),
cf.Zs(cf.P_SKS, "103334978122344696395127541546291775707"),
cf.Zs(cf.P_SKS, "103349412180665407336695101066358391259"),
cf.Zs(cf.P_SKS, "103384614707323050357591288689942850266"),
cf.Zs(cf.P_SKS, "103392918421713299687611700116192713435"),
cf.Zs(cf.P_SKS, "103433919580276650510916220913631012827"),
cf.Zs(cf.P_SKS, "103435758628882882950742912797031682779"),
cf.Zs(cf.P_SKS, "103441359309048356404768457616209796315"),
cf.Zs(cf.P_SKS, "10344563919657614249796186749027136219"),
cf.Zs(cf.P_SKS, "103452125943892308793827218211806614235"),
cf.Zs(cf.P_SKS, "10348549732573147534948465138662216667"),
cf.Zs(cf.P_SKS, "10353152986061516493135221282178755291"),
cf.Zs(cf.P_SKS, "103535086301214131288318384115315739611"),
cf.Zs(cf.P_SKS, "10353884335741689088259120079382985947"),
cf.Zs(cf.P_SKS, "103547077926895235806959009454687124442"),
cf.Zs(cf.P_SKS, "103556670586860420608380515751482476507"),
cf.Zs(cf.P_SKS, "103589239321557622623424426278846049243"),
cf.Zs(cf.P_SKS, "10359391211896692492381146028838210523"),
cf.Zs(cf.P_SKS, "103601558251729638061634062877677160923"),
cf.Zs(cf.P_SKS, "103633480717358930199370108924162275802"),
cf.Zs(cf.P_SKS, "103639861101304633764157320640842336475"),
cf.Zs(cf.P_SKS, "103654128463754834316062446362900996827"),
cf.Zs(cf.P_SKS, "103657042050717807608369548302211358939"),
cf.Zs(cf.P_SKS, "103680097284212017026159383401072554715"),
cf.Zs(cf.P_SKS, "103692970732759535341609803786161988059"),
cf.Zs(cf.P_SKS, "103695232031400269576360618456338480091"),
cf.Zs(cf.P_SKS, "103755630421493207318262889627804756186"),
cf.Zs(cf.P_SKS, "103757864791838000998434509804927229915"),
cf.Zs(cf.P_SKS, "103761011889094165480203639519378399451"),
cf.Zs(cf.P_SKS, "103763285301008124986672152251402281691"),
cf.Zs(cf.P_SKS, "103785775886106848351653821102780570331"),
cf.Zs(cf.P_SKS, "103788942603787935206249265776566349787"),
cf.Zs(cf.P_SKS, "103794115515629245711656264306297596634"),
cf.Zs(cf.P_SKS, "103796024158257084709734599139740846299"),
cf.Zs(cf.P_SKS, "103803512763664099850803120601959725019"),
cf.Zs(cf.P_SKS, "103832985697968430520477500625055013083"),
cf.Zs(cf.P_SKS, "103839288241952387041405036176330466011"),
cf.Zs(cf.P_SKS, "103853242266189139592956603220862167515"),
cf.Zs(cf.P_SKS, "103853689638496660772778665998446614747"),
cf.Zs(cf.P_SKS, "103888826927096372451203908595455529435"),
cf.Zs(cf.P_SKS, "103906115364595228047003358026633306586"),
cf.Zs(cf.P_SKS, "103924791201781894858148504289091005915"),
cf.Zs(cf.P_SKS, "103927682183362576659063782628635525083"),
cf.Zs(cf.P_SKS, "103933582199006644597515603566252337883"),
cf.Zs(cf.P_SKS, "103958603596735937296395877775232584667"),
cf.Zs(cf.P_SKS, "103972853142498827138275160621929698011"),
cf.Zs(cf.P_SKS, "103987290433019912277487729657330247899"),
cf.Zs(cf.P_SKS, "103989775435308452203334852129957790683"),
cf.Zs(cf.P_SKS, "10400045227047874571248480931440958939"),
cf.Zs(cf.P_SKS, "104010612847918080360052057612289956570"),
cf.Zs(cf.P_SKS, "104027445529092210065124402175634759642"),
cf.Zs(cf.P_SKS, "10405378303390106624531956880250332123"),
cf.Zs(cf.P_SKS, "104075211925192145157938387210739042523"),
cf.Zs(cf.P_SKS, "104085822138201648020524711030981123291"),
cf.Zs(cf.P_SKS, "104099080177772359797442749515858829530"),
cf.Zs(cf.P_SKS, "104128915827787820904969054317503394779"),
cf.Zs(cf.P_SKS, "104146872383368855553927404893570986714"),
cf.Zs(cf.P_SKS, "104147181336418351431079924555075385819"),
cf.Zs(cf.P_SKS, "104176004612123457461059634868348100315"),
cf.Zs(cf.P_SKS, "104193532751655791044148639292883795674"),
cf.Zs(cf.P_SKS, "104198137039757503094736496234601978587"),
cf.Zs(cf.P_SKS, "10428084739794415352679178407828711643"),
cf.Zs(cf.P_SKS, "104289098991423483468759000665674131419"),
cf.Zs(cf.P_SKS, "104306100544267370904683495562426704858"),
cf.Zs(cf.P_SKS, "10430625355557753659827525388020027611"),
cf.Zs(cf.P_SKS, "104312719505027805319071420694286113243"),
cf.Zs(cf.P_SKS, "104317890421873474375635475904154039002"),
cf.Zs(cf.P_SKS, "104335189760750848822584576792759195611"),
cf.Zs(cf.P_SKS, "104345134165966240894465811318852479450"),
cf.Zs(cf.P_SKS, "104345884370770151088928887356837444571"),
cf.Zs(cf.P_SKS, "104350295387925069480622667520687016155"),
cf.Zs(cf.P_SKS, "104372880700208239236960078198519005147"),
cf.Zs(cf.P_SKS, "104389136664323479421127866759100695003"),
cf.Zs(cf.P_SKS, "104389938585548379333268776863869269979"),
cf.Zs(cf.P_SKS, "104411442559874049659267489885233369819"),
cf.Zs(cf.P_SKS, "104412634634197664326232193231327389915"),
cf.Zs(cf.P_SKS, "104413637481571505445400055768862811355"),
cf.Zs(cf.P_SKS, "104434553480686428163874103858754773979"),
cf.Zs(cf.P_SKS, "104475726066150155929608949984071129819"),
cf.Zs(cf.P_SKS, "10448008548342176117135222926743789275"),
cf.Zs(cf.P_SKS, "104495731770788255179293971003202091995"),
cf.Zs(cf.P_SKS, "104510295416056298322095631519811031003"),
cf.Zs(cf.P_SKS, "104528649064989008975002076982660622298"),
cf.Zs(cf.P_SKS, "104587629900195615444543203896100931291"),
cf.Zs(cf.P_SKS, "104610385910797385461177297702077129178"),
cf.Zs(cf.P_SKS, "10464187087114103018243952643431875803"),
cf.Zs(cf.P_SKS, "104691029786483661928432291932075242971"),
cf.Zs(cf.P_SKS, "104695409717415922113060028276613481691"),
cf.Zs(cf.P_SKS, "104714904243176390954429375438886491867"),
cf.Zs(cf.P_SKS, "104715230848326778646521657074712245466"),
cf.Zs(cf.P_SKS, "104716060165303374867991181143495797467"),
cf.Zs(cf.P_SKS, "104736417007177169533523259294457808603"),
cf.Zs(cf.P_SKS, "104737684350207595184515880359247705563"),
cf.Zs(cf.P_SKS, "104738254397277278097925272509410326491"),
cf.Zs(cf.P_SKS, "104746287737670656801694266155395182043"),
cf.Zs(cf.P_SKS, "104777187058510960583905526181061644763"),
cf.Zs(cf.P_SKS, "104779418747347378867036598459210114011"),
cf.Zs(cf.P_SKS, "104789171827377569709819222155155201755"),
cf.Zs(cf.P_SKS, "104815333977003182718634081882687659227"),
cf.Zs(cf.P_SKS, "104854300938321584256478995696711844059"),
cf.Zs(cf.P_SKS, "104893696203856023862635056456501431515"),
cf.Zs(cf.P_SKS, "104953221084819609756067899231126952155"),
cf.Zs(cf.P_SKS, "104980408905126943047432180903442146523"),
cf.Zs(cf.P_SKS, "10499105183370938392370700790986470107"),
cf.Zs(cf.P_SKS, "10500748197218166611482343498117040091"),
cf.Zs(cf.P_SKS, "105012758314885492524621626281647043035"),
cf.Zs(cf.P_SKS, "105092123748205724402521115364269043931"),
cf.Zs(cf.P_SKS, "105113498987902097453368238174858155483"),
cf.Zs(cf.P_SKS, "105124699511807958393287767879698067931"),
cf.Zs(cf.P_SKS, "105150449916593672980815476937127683291"),
cf.Zs(cf.P_SKS, "105165599205549104634582422624685094107"),
cf.Zs(cf.P_SKS, "105177158541360154174188130062283982811"),
cf.Zs(cf.P_SKS, "105182397251559066889369073275877264091"),
cf.Zs(cf.P_SKS, "105183414642162181137070190272594042074"),
cf.Zs(cf.P_SKS, "105216815403873912027812406686967104475"),
cf.Zs(cf.P_SKS, "105228397315232391500436996455835460571"),
cf.Zs(cf.P_SKS, "105249792996574625587237514019831073755"),
cf.Zs(cf.P_SKS, "105329475589553621956379290094075570906"),
cf.Zs(cf.P_SKS, "105348230025640232764324409636766548187"),
cf.Zs(cf.P_SKS, "105350676563778830159078176535813649883"),
cf.Zs(cf.P_SKS, "105352741971512862990801980068591678939"),
cf.Zs(cf.P_SKS, "105371863050538260110937498037939669211"),
cf.Zs(cf.P_SKS, "105373287007297534948184581590430162651"),
cf.Zs(cf.P_SKS, "10542926170166198206571338823818210010"),
cf.Zs(cf.P_SKS, "105447753256622292407196532325998393818"),
cf.Zs(cf.P_SKS, "10544803238388980208187983774114714843"),
cf.Zs(cf.P_SKS, "105510924673940610298573074403877920219"),
cf.Zs(cf.P_SKS, "105511914775115796167424585045421646811"),
cf.Zs(cf.P_SKS, "105514973837737326505943775227270239195"),
cf.Zs(cf.P_SKS, "105521520270740875551358825065173696475"),
cf.Zs(cf.P_SKS, "105528639034135334896999075333903733211"),
cf.Zs(cf.P_SKS, "105553843137550723807862344943231938267"),
cf.Zs(cf.P_SKS, "105562302787204488657109710676184325850"),
cf.Zs(cf.P_SKS, "105568239995803098682245852050279851739"),
cf.Zs(cf.P_SKS, "105568378525947766227690132726097430491"),
cf.Zs(cf.P_SKS, "105568388147157775475746538528027773403"),
cf.Zs(cf.P_SKS, "105596566902191208308807042508595321562"),
cf.Zs(cf.P_SKS, "105602955418825979092106506270631283163"),
cf.Zs(cf.P_SKS, "105605930056044374859614600383153755099"),
cf.Zs(cf.P_SKS, "105613654201703090598199597045832378587"),
cf.Zs(cf.P_SKS, "105637108117236318124603813812695341275"),
cf.Zs(cf.P_SKS, "105640013618837920199129240064591651803"),
cf.Zs(cf.P_SKS, "105723833250926733988526282424756598490"),
cf.Zs(cf.P_SKS, "105751852850727198068186446220129818843"),
cf.Zs(cf.P_SKS, "105756318157013896499909675810323078363"),
cf.Zs(cf.P_SKS, "10577070492516729487564705180986682075"),
cf.Zs(cf.P_SKS, "105780639382214410351177602466321842907"),
cf.Zs(cf.P_SKS, "105817113207980600033758333412891212251"),
cf.Zs(cf.P_SKS, "105824379532450145542302112923051374555"),
cf.Zs(cf.P_SKS, "10582769921106655398235267401203548379"),
cf.Zs(cf.P_SKS, "105838671277297177957204604344669630171"),
cf.Zs(cf.P_SKS, "105874100226003766800380828388392253659"),
cf.Zs(cf.P_SKS, "105923845082068553720212193461396562651"),
cf.Zs(cf.P_SKS, "105926033331368615258031001968322905307"),
cf.Zs(cf.P_SKS, "105952616062011957828490302758998764506"),
cf.Zs(cf.P_SKS, "106005821949638183261197230710272639963"),
cf.Zs(cf.P_SKS, "106008932786327573126470836711769122267"),
cf.Zs(cf.P_SKS, "10606367294168232804045035768680361435"),
cf.Zs(cf.P_SKS, "106071324390228668555412512839170334939"),
cf.Zs(cf.P_SKS, "106086898885694224686986385638817465307"),
cf.Zs(cf.P_SKS, "106111282199057349538833472684012924891"),
cf.Zs(cf.P_SKS, "106125642228447357858661797332325770971"),
cf.Zs(cf.P_SKS, "106131566731828450335860596972084895963"),
cf.Zs(cf.P_SKS, "106170251800101541193538913146609052635"),
cf.Zs(cf.P_SKS, "106192018388683317600930887975345457115"),
cf.Zs(cf.P_SKS, "106195373736026118428811283699753662683"),
cf.Zs(cf.P_SKS, "106199078051825684797873813130610125275"),
cf.Zs(cf.P_SKS, "106207608218841869437647769049137643483"),
cf.Zs(cf.P_SKS, "10622233935287632210009894208756874459"),
cf.Zs(cf.P_SKS, "106236648106411356024529755248030591195"),
cf.Zs(cf.P_SKS, "106336604318527631630087658099739387355"),
cf.Zs(cf.P_SKS, "10635741566381309678858407383319003099"),
cf.Zs(cf.P_SKS, "106387697498230574770656865164513355739"),
cf.Zs(cf.P_SKS, "106387770046425847720752451618491134426"),
cf.Zs(cf.P_SKS, "106388455526625464206775157513423793883"),
cf.Zs(cf.P_SKS, "106390967325222075428796915623380045531"),
cf.Zs(cf.P_SKS, "106394285297609477389163654724337301467"),
cf.Zs(cf.P_SKS, "106397330938372916408857074806646648539"),
cf.Zs(cf.P_SKS, "106431185567361841719259410421537683931"),
cf.Zs(cf.P_SKS, "106436787363346142793379138605030197467"),
cf.Zs(cf.P_SKS, "106437680876782515668603467829802879963"),
cf.Zs(cf.P_SKS, "106455705801091509083246522993828561883"),
cf.Zs(cf.P_SKS, "106522868513901686501388755342623590363"),
cf.Zs(cf.P_SKS, "106536044475160878430680463205831851483"),
cf.Zs(cf.P_SKS, "106587403718399579955060508534020011483"),
cf.Zs(cf.P_SKS, "106626673235462740568083932352320626651"),
cf.Zs(cf.P_SKS, "106643565517797642506563042280255187418"),
cf.Zs(cf.P_SKS, "106650263866214809727531231672057354203"),
cf.Zs(cf.P_SKS, "106661917786779708918003373504139337179"),
cf.Zs(cf.P_SKS, "10668180666175334806763648328522259931"),
cf.Zs(cf.P_SKS, "106692037953727254224976659933529009883"),
cf.Zs(cf.P_SKS, "106732067530471677958510931681822856923"),
cf.Zs(cf.P_SKS, "106753810769485582752464369154176965595"),
cf.Zs(cf.P_SKS, "106754139250448446750770667646184120283"),
cf.Zs(cf.P_SKS, "106760619628206213664757547388654513883"),
cf.Zs(cf.P_SKS, "106787239837246867452213325517153675739"),
cf.Zs(cf.P_SKS, "106799207600737202054726972592004172507"),
cf.Zs(cf.P_SKS, "106810855391769858537917443868567897563"),
cf.Zs(cf.P_SKS, "106832635678951780670171482137055233499"),
cf.Zs(cf.P_SKS, "106839911907374439332015677593986378459"),
cf.Zs(cf.P_SKS, "106844632040654473057675814923595407322"),
cf.Zs(cf.P_SKS, "1068596112978726809607738869763451611"),
cf.Zs(cf.P_SKS, "106883550189014130777331600239426608859"),
cf.Zs(cf.P_SKS, "106884506147141406500965643871845558491"),
cf.Zs(cf.P_SKS, "106931598200958333419287104401835678938"),
cf.Zs(cf.P_SKS, "106941745726017882340203585711552522970"),
cf.Zs(cf.P_SKS, "106970546092876219375899911846194112730"),
cf.Zs(cf.P_SKS, "106991600605293008421604143748200066522"),
cf.Zs(cf.P_SKS, "107007374759885101528915368467755731419"),
cf.Zs(cf.P_SKS, "107040604438440739535580421888487497179"),
cf.Zs(cf.P_SKS, "107057535039490182629429957345426852827"),
cf.Zs(cf.P_SKS, "107058920615771991950254495250837222619"),
cf.Zs(cf.P_SKS, "107076844986885188744671589791649106907"),
cf.Zs(cf.P_SKS, "107082658294085915484838722313041289179"),
cf.Zs(cf.P_SKS, "10712721567874952351223213040213912283"),
cf.Zs(cf.P_SKS, "107131828528676824891881571023899780058"),
cf.Zs(cf.P_SKS, "107136914106787960428172799647617463259"),
cf.Zs(cf.P_SKS, "107157537041301894189199627334759718619"),
cf.Zs(cf.P_SKS, "10716203417507092266194692029993611739"),
cf.Zs(cf.P_SKS, "107211970123824235541546125078052661467"),
cf.Zs(cf.P_SKS, "107216226196382584829436859618221458395"),
cf.Zs(cf.P_SKS, "107232082084934082851624615424777223899"),
cf.Zs(cf.P_SKS, "107233630415733990691836228775198062810"),
cf.Zs(cf.P_SKS, "107280536923853511311132929961600543451"),
cf.Zs(cf.P_SKS, "107290530303173354914929242583697283803"),
cf.Zs(cf.P_SKS, "107317458145167355069213466569524581851"),
cf.Zs(cf.P_SKS, "107353141328920963619236659206781107163"),
cf.Zs(cf.P_SKS, "107368758281644670634778415538827115739"),
cf.Zs(cf.P_SKS, "107375097616781403833093511924222063067"),
cf.Zs(cf.P_SKS, "107395892922168080482939818330255483099"),
cf.Zs(cf.P_SKS, "107412095027758133608140008150379197658"),
cf.Zs(cf.P_SKS, "107435321026692932668553725819789369563"),
cf.Zs(cf.P_SKS, "107440919245884954714142242794695229402"),
cf.Zs(cf.P_SKS, "107477101499445794747879181870675377371"),
cf.Zs(cf.P_SKS, "10749315208708103855888604187597914331"),
cf.Zs(cf.P_SKS, "107495339433636666587376221922631408090"),
cf.Zs(cf.P_SKS, "107524972661923258790620775370378358747"),
cf.Zs(cf.P_SKS, "107525320842330490093042062754867356635"),
cf.Zs(cf.P_SKS, "107536019361975189078377625712266775003"),
cf.Zs(cf.P_SKS, "107549493547748244815495761890406298842"),
cf.Zs(cf.P_SKS, "107551482330299938203783930289750665691"),
cf.Zs(cf.P_SKS, "107614353311801947435087841240402831835"),
cf.Zs(cf.P_SKS, "107616772362389381128949064499855229147"),
cf.Zs(cf.P_SKS, "107648828476036048600402787899593979098"),
cf.Zs(cf.P_SKS, "107705286592423827736024118466266791898"),
cf.Zs(cf.P_SKS, "10770655373354520056787103905566745562"),
cf.Zs(cf.P_SKS, "107718471805679975088117353532775014875"),
cf.Zs(cf.P_SKS, "107723273074174633098867731886206735067"),
cf.Zs(cf.P_SKS, "107737483079694899775857554261103725531"),
cf.Zs(cf.P_SKS, "107750260071669748837482005846494714587"),
cf.Zs(cf.P_SKS, "107758402119352417254777830835013948891"),
cf.Zs(cf.P_SKS, "10778151273917751855227072908511995867"),
cf.Zs(cf.P_SKS, "107784530919633798046115020816402865114"),
cf.Zs(cf.P_SKS, "107798301085380711631403448903615492059"),
cf.Zs(cf.P_SKS, "107845468940499022405285800957544755162"),
cf.Zs(cf.P_SKS, "107848938893203532497723966115176902875"),
cf.Zs(cf.P_SKS, "107910206031503310554513908572258405595"),
cf.Zs(cf.P_SKS, "107912515041274493815386754409449845211"),
cf.Zs(cf.P_SKS, "107988756833904946319040884028271741659"),
cf.Zs(cf.P_SKS, "10800126330761108019039652434501338587"),
cf.Zs(cf.P_SKS, "108019433155232342622432401201868405211"),
cf.Zs(cf.P_SKS, "108031308378254393081519797513627221979"),
cf.Zs(cf.P_SKS, "108058384789630619163874998961250402011"),
cf.Zs(cf.P_SKS, "108058730251612024481454039351805576411"),
cf.Zs(cf.P_SKS, "108075983995081963383723803452800122331"),
cf.Zs(cf.P_SKS, "108092283693683303874735954573563017179"),
cf.Zs(cf.P_SKS, "10809311354052282069963484992549211611"),
cf.Zs(cf.P_SKS, "108103318616553175867188708712210652379"),
cf.Zs(cf.P_SKS, "10812121179547643932042896915460112347"),
cf.Zs(cf.P_SKS, "10812459990926484905389405522468804059"),
cf.Zs(cf.P_SKS, "108155900641183656392944258726851462363"),
cf.Zs(cf.P_SKS, "108166730677598392926017209906348026842"),
cf.Zs(cf.P_SKS, "108173058761665959231109923853696154075"),
cf.Zs(cf.P_SKS, "108181349849739083076558779157241114331"),
cf.Zs(cf.P_SKS, "108192368670648546862330368001053958107"),
cf.Zs(cf.P_SKS, "108237973118433741954460917750394256602"),
cf.Zs(cf.P_SKS, "108249992100203370640136821733871293915"),
cf.Zs(cf.P_SKS, "108254430558120716163488832365912982747"),
cf.Zs(cf.P_SKS, "108274558998935493369494249336116042715"),
cf.Zs(cf.P_SKS, "108304834767399440209643733275101910747"),
cf.Zs(cf.P_SKS, "108305631780221917635225136772991884507"),
cf.Zs(cf.P_SKS, "108308712457463223917736417423321587930"),
cf.Zs(cf.P_SKS, "108391488638514716967926013646253236443"),
cf.Zs(cf.P_SKS, "108413176015441772588294860650620315610"),
cf.Zs(cf.P_SKS, "108418260518543508005151950367257291739"),
cf.Zs(cf.P_SKS, "108489102425262023180459730092135441371"),
cf.Zs(cf.P_SKS, "108512641156497306906870568526565729499"),
cf.Zs(cf.P_SKS, "10852369173608181253763392262200535515"),
cf.Zs(cf.P_SKS, "108579082289507471273912194987879537115"),
cf.Zs(cf.P_SKS, "108581232557762520763502132285899506395"),
cf.Zs(cf.P_SKS, "108620843004040096904035840335013389019"),
cf.Zs(cf.P_SKS, "108628630874755800443471773621151908571"),
cf.Zs(cf.P_SKS, "108712210566394696035242303246759052251"),
cf.Zs(cf.P_SKS, "108720047279307521077630146867510739163"),
cf.Zs(cf.P_SKS, "108776048824769706446797441119520395227"),
cf.Zs(cf.P_SKS, "108780753317895475828914988315206445787"),
cf.Zs(cf.P_SKS, "108790368292090128436102534917182927579"),
cf.Zs(cf.P_SKS, "108801305102944206013497577007432502491"),
cf.Zs(cf.P_SKS, "108805975468959251156511876546081255643"),
cf.Zs(cf.P_SKS, "108846923900201834483334021019106816219"),
cf.Zs(cf.P_SKS, "108856743906767666470703559053420688859"),
cf.Zs(cf.P_SKS, "108873665632313821733342409301134472410"),
cf.Zs(cf.P_SKS, "108878474412354195883028074118100677083"),
cf.Zs(cf.P_SKS, "10888015997570514570296697675805930203"),
cf.Zs(cf.P_SKS, "108911596324302477529389091835630697947"),
cf.Zs(cf.P_SKS, "108941157859266976203852231805742157531"),
cf.Zs(cf.P_SKS, "108946827486759332911574918420797351899"),
cf.Zs(cf.P_SKS, "108951462494078232327041912609989112539"),
cf.Zs(cf.P_SKS, "109020209308619208728831619376495274203"),
cf.Zs(cf.P_SKS, "109036784288034088959577791604150367194"),
cf.Zs(cf.P_SKS, "109098345055810615120181827742562906075"),
cf.Zs(cf.P_SKS, "109109353425192390520910374225511013595"),
cf.Zs(cf.P_SKS, "109136810819751183830756754999425367258"),
cf.Zs(cf.P_SKS, "109139360337117198505742683735978790875"),
cf.Zs(cf.P_SKS, "109207203718645962650711402563609046235"),
cf.Zs(cf.P_SKS, "109228723206856145410040462888654533339"),
cf.Zs(cf.P_SKS, "109235575306566872875414713971812314587"),
cf.Zs(cf.P_SKS, "10924480699610248801625171346074873563"),
cf.Zs(cf.P_SKS, "109276825712940089076282450173460046555"),
cf.Zs(cf.P_SKS, "10929016371315753747914643709807419867"),
cf.Zs(cf.P_SKS, "109312339928389995787753058806802059227"),
cf.Zs(cf.P_SKS, "109315776734931153756270437070757357274"),
cf.Zs(cf.P_SKS, "109335827099017857502950280823687934171"),
cf.Zs(cf.P_SKS, "109345432998144223210883324732073428187"),
cf.Zs(cf.P_SKS, "109402447227619678067488458489308934875"),
cf.Zs(cf.P_SKS, "10946213513063355735961592595631934683"),
cf.Zs(cf.P_SKS, "109475910746843589944194805853765891035"),
cf.Zs(cf.P_SKS, "109528617547334539024208457054682662875"),
cf.Zs(cf.P_SKS, "109615423625577557441860123066791412955"),
cf.Zs(cf.P_SKS, "109623772136732130875053417478608388058"),
cf.Zs(cf.P_SKS, "109625742647690749929494782505605235675"),
cf.Zs(cf.P_SKS, "10965754287460586046623489748019513819"),
cf.Zs(cf.P_SKS, "109666912084473154498365812505050591707"),
cf.Zs(cf.P_SKS, "109703306792814240872705237011566395355"),
cf.Zs(cf.P_SKS, "10976337490016472892379055925942761435"),
cf.Zs(cf.P_SKS, "109771061022171328078095974700356047835"),
cf.Zs(cf.P_SKS, "109771487625515555961371061239343508955"),
cf.Zs(cf.P_SKS, "109825973830749304728640527141723446747"),
cf.Zs(cf.P_SKS, "109892206225839570674232896328860102106"),
cf.Zs(cf.P_SKS, "109900139142286544440231498490668599003"),
cf.Zs(cf.P_SKS, "109930321224838781931080582068659282138"),
cf.Zs(cf.P_SKS, "109941079868460725939740461564214690267"),
cf.Zs(cf.P_SKS, "109983494329857428363236247445273387227"),
cf.Zs(cf.P_SKS, "110004739232778201578012917571151345883"),
cf.Zs(cf.P_SKS, "110008311130975884080205447644451271131"),
cf.Zs(cf.P_SKS, "110010088038359241394570923545301016539"),
cf.Zs(cf.P_SKS, "1100515640892043824941481082257143003"),
cf.Zs(cf.P_SKS, "1100600572822833502641044768719840219"),
cf.Zs(cf.P_SKS, "110091371890684797474686206431723144923"),
cf.Zs(cf.P_SKS, "110092268951962798401308539874799321563"),
cf.Zs(cf.P_SKS, "110094692929266196885775809685771530971"),
cf.Zs(cf.P_SKS, "110126353117615711651796466859390239451"),
cf.Zs(cf.P_SKS, "110164195053001580261010176929407920859"),
cf.Zs(cf.P_SKS, "110175428979387529950606298896813909211"),
cf.Zs(cf.P_SKS, "110247834898159063058077919073218745819"),
cf.Zs(cf.P_SKS, "110281161197756323083343433424060868826"),
cf.Zs(cf.P_SKS, "110309827072858859293674994567600849115"),
cf.Zs(cf.P_SKS, "110340691501290420537094992352685766107"),
cf.Zs(cf.P_SKS, "110348208155156108754093067172292416475"),
cf.Zs(cf.P_SKS, "110357542551982556664756724964808521690"),
cf.Zs(cf.P_SKS, "110367734239465033287625474827213959387"),
cf.Zs(cf.P_SKS, "110372389763971961619101195281923042522"),
cf.Zs(cf.P_SKS, "110404427022326145002768339354652593115"),
cf.Zs(cf.P_SKS, "110546637180176448547101889090377165787"),
cf.Zs(cf.P_SKS, "110547683995169622159658852685051058650"),
cf.Zs(cf.P_SKS, "11056358204276179504872241569979512027"),
cf.Zs(cf.P_SKS, "110571719014803970912548727450015706843"),
cf.Zs(cf.P_SKS, "110611377938858243739894540371563876827"),
cf.Zs(cf.P_SKS, "110613980309716186652884666813558817243"),
cf.Zs(cf.P_SKS, "110624333053885247570834903393006823131"),
cf.Zs(cf.P_SKS, "110655153228625257029280046683170250203"),
cf.Zs(cf.P_SKS, "110665040133966583811186426918548595675"),
cf.Zs(cf.P_SKS, "110671417711593054428865474418742039259"),
cf.Zs(cf.P_SKS, "110716899091246720159523928976207552731"),
cf.Zs(cf.P_SKS, "110736490172941866941771573754054319835"),
cf.Zs(cf.P_SKS, "110775056026644465934537826777591655643"),
cf.Zs(cf.P_SKS, "110795505359297968944241206099349827291"),
cf.Zs(cf.P_SKS, "110840762073448435736159002020402873307"),
cf.Zs(cf.P_SKS, "110842498950181910801815533513815619546"),
cf.Zs(cf.P_SKS, "110855816095010081478955213974835607003"),
cf.Zs(cf.P_SKS, "11088018620167042666904740227976674011"),
cf.Zs(cf.P_SKS, "110884438388537302920054480142457351643"),
cf.Zs(cf.P_SKS, "11089316087693814826329281441912222939"),
cf.Zs(cf.P_SKS, "110960116500136010106694445847319504859"),
cf.Zs(cf.P_SKS, "110979163178831509838544477925648668123"),
cf.Zs(cf.P_SKS, "110985938567293658335237053575857868507"),
cf.Zs(cf.P_SKS, "110987681043729658545444890309381749211"),
cf.Zs(cf.P_SKS, "111003188108294346606606898981011819227"),
cf.Zs(cf.P_SKS, "111020527903055427151147185170220857307"),
cf.Zs(cf.P_SKS, "111027815228117940918239225308586395611"),
cf.Zs(cf.P_SKS, "111123352375250209578888068045555475419"),
cf.Zs(cf.P_SKS, "111125209027223201687110932897329560795"),
cf.Zs(cf.P_SKS, "111142344128777169571357950967867978203"),
cf.Zs(cf.P_SKS, "111145977508908750758705302209855869403"),
cf.Zs(cf.P_SKS, "111160637449517686402502168570353420251"),
cf.Zs(cf.P_SKS, "111203325645117892026233805445689378267"),
cf.Zs(cf.P_SKS, "111210807287950403306231860720927076571"),
cf.Zs(cf.P_SKS, "11124157467059111016991761940089779419"),
cf.Zs(cf.P_SKS, "111261111812787551014280280819741602779"),
cf.Zs(cf.P_SKS, "111273922304203179058988258025669791707"),
cf.Zs(cf.P_SKS, "111293537695630337059456045602479543003"),
cf.Zs(cf.P_SKS, "111316088892697563082491467541687097051"),
cf.Zs(cf.P_SKS, "111372201496485649240314730624949646555"),
cf.Zs(cf.P_SKS, "111390264961630017570939565587328163547"),
cf.Zs(cf.P_SKS, "111419099742019200865430906655930404059"),
cf.Zs(cf.P_SKS, "111421148391172597856153876030587082971"),
cf.Zs(cf.P_SKS, "111433873723348196065277583203215932890"),
cf.Zs(cf.P_SKS, "111448122512982909127440738728215607515"),
cf.Zs(cf.P_SKS, "111534264149609155280915619667252966619"),
cf.Zs(cf.P_SKS, "111542436626150301839652469491149263067"),
cf.Zs(cf.P_SKS, "111544568258595847640759780757377302747"),
cf.Zs(cf.P_SKS, "111558234472277609349262463642382591963"),
cf.Zs(cf.P_SKS, "11157469958673344213207875048996290779"),
cf.Zs(cf.P_SKS, "111597785953435822524521904505920698331"),
cf.Zs(cf.P_SKS, "111610930481811355746276702791221116890"),
cf.Zs(cf.P_SKS, "111671744749609946627904357251344063707"),
cf.Zs(cf.P_SKS, "111674145666715538079689263668864089818"),
cf.Zs(cf.P_SKS, "111689130296049291649632933416783375579"),
cf.Zs(cf.P_SKS, "111705876194999587236190967224534467035"),
cf.Zs(cf.P_SKS, "111709964371696112581062623702406334939"),
cf.Zs(cf.P_SKS, "111712751449857329700602829039041184475"),
cf.Zs(cf.P_SKS, "111756200746331184421195228697943421659"),
cf.Zs(cf.P_SKS, "11176510164448067728615645789313963995"),
cf.Zs(cf.P_SKS, "111780899899165162224448297933526774747"),
cf.Zs(cf.P_SKS, "11182305364673763539682009302452051675"),
cf.Zs(cf.P_SKS, "111863845954364201856021964370007625691"),
cf.Zs(cf.P_SKS, "111866438274029503967736439111768475611"),
cf.Zs(cf.P_SKS, "111868481684165192432222196555126487259"),
cf.Zs(cf.P_SKS, "111888487474527560405129450429497510363"),
cf.Zs(cf.P_SKS, "111891156072966943903346600571545841883"),
cf.Zs(cf.P_SKS, "111937651112913774677413058047324494043"),
cf.Zs(cf.P_SKS, "111940399097939727439199464054910869210"),
cf.Zs(cf.P_SKS, "111979090595261575463301602569643008731"),
cf.Zs(cf.P_SKS, "111996529724980333848080099333582615770"),
cf.Zs(cf.P_SKS, "112016881169469288101399234058795721435"),
cf.Zs(cf.P_SKS, "112050989574206159195476604490158174171"),
cf.Zs(cf.P_SKS, "112056216003642500902245265753209500890"),
cf.Zs(cf.P_SKS, "112061016464090642845406201329570928603"),
cf.Zs(cf.P_SKS, "112066778045929748157194809580221604571"),
cf.Zs(cf.P_SKS, "112080342097162575251814028786798713051"),
cf.Zs(cf.P_SKS, "112081056643159322168542309446585576411"),
cf.Zs(cf.P_SKS, "112095061938534455953504367413358974683"),
cf.Zs(cf.P_SKS, "11209715700418152358562124364292958171"),
cf.Zs(cf.P_SKS, "112101138387050927970061473602693602011"),
cf.Zs(cf.P_SKS, "112109101534084275512085075827156897243"),
cf.Zs(cf.P_SKS, "1121357251662069273827053352025720027"),
cf.Zs(cf.P_SKS, "112136943810107430471737840565803043035"),
cf.Zs(cf.P_SKS, "112167432384057479070025585949138910683"),
cf.Zs(cf.P_SKS, "112170615707238619508713758358229871322"),
cf.Zs(cf.P_SKS, "112198767450597174440475492419596640219"),
cf.Zs(cf.P_SKS, "112200053552710052243635960190257380571"),
cf.Zs(cf.P_SKS, "112204615074147345974550495236204250843"),
cf.Zs(cf.P_SKS, "112210318521041940331681074842450876635"),
cf.Zs(cf.P_SKS, "112229673443108224972179644873302305243"),
cf.Zs(cf.P_SKS, "112302776252974986507996213374768642010"),
cf.Zs(cf.P_SKS, "112332404668846845159788225080253343707"),
cf.Zs(cf.P_SKS, "112381598523067133740916691454147013339"),
cf.Zs(cf.P_SKS, "112402412127805432285353245713479941595"),
cf.Zs(cf.P_SKS, "112470519999056964375486227645807983322"),
cf.Zs(cf.P_SKS, "112495447043020454163471188237374740443"),
cf.Zs(cf.P_SKS, "11250046991335413575669287062348969179"),
cf.Zs(cf.P_SKS, "112519626804481477744618692225639980507"),
cf.Zs(cf.P_SKS, "112523787841567782062692965915494980827"),
cf.Zs(cf.P_SKS, "112525717209924887339199400825879125466"),
cf.Zs(cf.P_SKS, "112530590429835184529224436480168325851"),
cf.Zs(cf.P_SKS, "112563868407229455089412797554835771099"),
cf.Zs(cf.P_SKS, "112570340407455714376436522975751710427"),
cf.Zs(cf.P_SKS, "11261333108840604284832615873002993114"),
cf.Zs(cf.P_SKS, "112648824721944969424311017652634255322"),
cf.Zs(cf.P_SKS, "112658266502111400744724643320843776987"),
cf.Zs(cf.P_SKS, "1126867534301995777837933390068488411"),
cf.Zs(cf.P_SKS, "112699081134538939880007174390095600347"),
cf.Zs(cf.P_SKS, "112703664681711453990822252118649958875"),
cf.Zs(cf.P_SKS, "11270560002995978581755575326979270619"),
cf.Zs(cf.P_SKS, "112733613523551558680761270357193407707"),
cf.Zs(cf.P_SKS, "112758047915056684613605078917412167643"),
cf.Zs(cf.P_SKS, "112840595698971236238284872801604059611"),
cf.Zs(cf.P_SKS, "112894272907010007001927542848764427739"),
cf.Zs(cf.P_SKS, "112900251852341407437710648700810115291"),
cf.Zs(cf.P_SKS, "112934517880942194858202188838787909851"),
cf.Zs(cf.P_SKS, "112939318892357575050124835247953574875"),
cf.Zs(cf.P_SKS, "11294827590767576843869040109710282203"),
cf.Zs(cf.P_SKS, "112953186503304458845494233324050838490"),
cf.Zs(cf.P_SKS, "112953529360926692312630333933412949723"),
cf.Zs(cf.P_SKS, "112961263529407514033855192405775087834"),
cf.Zs(cf.P_SKS, "112990329166013434609705716048215034587"),
cf.Zs(cf.P_SKS, "113026357467653213897531398753840608475"),
cf.Zs(cf.P_SKS, "113034459190556568584064235956149591003"),
cf.Zs(cf.P_SKS, "113043460668655244911627125430473449691"),
cf.Zs(cf.P_SKS, "113074893888429394273155257075583383515"),
cf.Zs(cf.P_SKS, "113079575969036851263833201488912265947"),
cf.Zs(cf.P_SKS, "11308496023504446736441494564193400539"),
cf.Zs(cf.P_SKS, "113099710350065626790211058901301026779"),
cf.Zs(cf.P_SKS, "113118312731967381592316425144341263323"),
cf.Zs(cf.P_SKS, "113124829890361296727213066532974595803"),
cf.Zs(cf.P_SKS, "11315796352649672962493173788528651739"),
cf.Zs(cf.P_SKS, "113164543287247609509743348208570271707"),
cf.Zs(cf.P_SKS, "113190099335158144666680727605993327579"),
cf.Zs(cf.P_SKS, "113194425316257184959321096129336745435"),
cf.Zs(cf.P_SKS, "113224017893091350433303735087816855259"),
cf.Zs(cf.P_SKS, "113246846847597858807807179784647324635"),
cf.Zs(cf.P_SKS, "113263458352834132444489474304890095323"),
cf.Zs(cf.P_SKS, "113288692116017872585869610234479350235"),
cf.Zs(cf.P_SKS, "113297171029416513366190766714481128411"),
cf.Zs(cf.P_SKS, "113301868763790896797513745361593732059"),
cf.Zs(cf.P_SKS, "113334171620453748086422027235435655131"),
cf.Zs(cf.P_SKS, "11333827695147798417600936579790593754"),
cf.Zs(cf.P_SKS, "113364688038923295511877772242919913691"),
cf.Zs(cf.P_SKS, "113397971109437214511907330458703777499"),
cf.Zs(cf.P_SKS, "113427769613064556300916194372044836827"),
cf.Zs(cf.P_SKS, "113492634960418455605100029467052628187"),
cf.Zs(cf.P_SKS, "113501926481394873582587579136415482331"),
cf.Zs(cf.P_SKS, "113524074106191239000813608201178676187"),
cf.Zs(cf.P_SKS, "113543711655824248805691422276898041819"),
cf.Zs(cf.P_SKS, "113550093264451244297961913702330948059"),
cf.Zs(cf.P_SKS, "11355191765531541729194709558573934811"),
cf.Zs(cf.P_SKS, "113562208734356245346634670901732626651"),
cf.Zs(cf.P_SKS, "113565706996556049020010284001004806363"),
cf.Zs(cf.P_SKS, "113593365155939138967473062814307100891"),
cf.Zs(cf.P_SKS, "113597957462752064175224962372631776475"),
cf.Zs(cf.P_SKS, "113598916836278627101391183465316915419"),
cf.Zs(cf.P_SKS, "113619132200358913158348935453589262043"),
cf.Zs(cf.P_SKS, "113623855159872092883809447369157663707"),
cf.Zs(cf.P_SKS, "113657906923423756627048803603657191131"),
cf.Zs(cf.P_SKS, "113779153656421830563669501311092740827"),
cf.Zs(cf.P_SKS, "113780719417631952039114546507325613787"),
cf.Zs(cf.P_SKS, "113799562873658975333227075763236094683"),
cf.Zs(cf.P_SKS, "113816194093313014317818370344604936923"),
cf.Zs(cf.P_SKS, "11387212949497111556451362444898933723"),
cf.Zs(cf.P_SKS, "113874233880312407216503561695773097691"),
cf.Zs(cf.P_SKS, "113937032867060280011220469899306165467"),
cf.Zs(cf.P_SKS, "113968332463144777853651114165256724699"),
cf.Zs(cf.P_SKS, "11397090196928886661800059375557247707"),
cf.Zs(cf.P_SKS, "113980237018830417449032004782170953179"),
cf.Zs(cf.P_SKS, "113980729404214371931577284821993435611"),
cf.Zs(cf.P_SKS, "113985029569761803335053820090684441307"),
cf.Zs(cf.P_SKS, "11401431470012146711959632734443267034"),
cf.Zs(cf.P_SKS, "114019651367264183013678558248887942875"),
cf.Zs(cf.P_SKS, "11403188833415899721122206793788401115"),
cf.Zs(cf.P_SKS, "114037891546142153012172643063959913179"),
cf.Zs(cf.P_SKS, "114044684784045215441455276454772966363"),
cf.Zs(cf.P_SKS, "114138992144849704469138508495980719066"),
cf.Zs(cf.P_SKS, "114147068135345364962674738380030131419"),
cf.Zs(cf.P_SKS, "114153100616073156902852856621117684955"),
cf.Zs(cf.P_SKS, "114158165329028173633591956042482179291"),
cf.Zs(cf.P_SKS, "114167094008932621581813685301769015003"),
cf.Zs(cf.P_SKS, "114206975083953676391598835297191484379"),
cf.Zs(cf.P_SKS, "114211721397803064125435777504992498139"),
cf.Zs(cf.P_SKS, "114226393877176232150907402311785454043"),
cf.Zs(cf.P_SKS, "114246601746892587638054169683725069019"),
cf.Zs(cf.P_SKS, "114246637615342259154657236255541847771"),
cf.Zs(cf.P_SKS, "114300281462687577224184372608792763099"),
cf.Zs(cf.P_SKS, "11430661783799453845992823909761905627"),
cf.Zs(cf.P_SKS, "114329960086410532224616428545281634523"),
cf.Zs(cf.P_SKS, "114341012622252939154413879540088219355"),
cf.Zs(cf.P_SKS, "114343502417100289591245052779351621083"),
cf.Zs(cf.P_SKS, "114353504849676958039326915975017081563"),
cf.Zs(cf.P_SKS, "114414957171398731714428725962838398171"),
cf.Zs(cf.P_SKS, "114438614142690762005916320375592942555"),
cf.Zs(cf.P_SKS, "114442228652273504801031614408376231131"),
cf.Zs(cf.P_SKS, "114497925499320966994698789449528399579"),
cf.Zs(cf.P_SKS, "114504100766628785766213779536352331739"),
cf.Zs(cf.P_SKS, "114515169436494814868031253362131683547"),
cf.Zs(cf.P_SKS, "11454060383803874880576599607068170203"),
cf.Zs(cf.P_SKS, "11457582345014408554529025801775996378"),
cf.Zs(cf.P_SKS, "114628076368493152227149972709635650522"),
cf.Zs(cf.P_SKS, "114683047013514757904767708425334681051"),
cf.Zs(cf.P_SKS, "114686842776542600311275324549783197659"),
cf.Zs(cf.P_SKS, "114702142108065797252894008711061705947"),
cf.Zs(cf.P_SKS, "114702332549541139815108424194649120731"),
cf.Zs(cf.P_SKS, "114710605451691444755337480339482232539"),
cf.Zs(cf.P_SKS, "114718032143251905218089171937649677531"),
cf.Zs(cf.P_SKS, "114724058327569441443284945025208479707"),
cf.Zs(cf.P_SKS, "114738018614400012814704384355689426650"),
cf.Zs(cf.P_SKS, "114801528049074304365317541926495151579"),
cf.Zs(cf.P_SKS, "114822694367002050481451233374280560091"),
cf.Zs(cf.P_SKS, "1148295514141022535569872787800206299"),
cf.Zs(cf.P_SKS, "114857144000888023478309363441582991579"),
cf.Zs(cf.P_SKS, "114871544163253409480443464497602493402"),
cf.Zs(cf.P_SKS, "114928321174546450272050707780254487003"),
cf.Zs(cf.P_SKS, "114944538606279692138500311534659523547"),
cf.Zs(cf.P_SKS, "114945257937412435317221550755299563227"),
cf.Zs(cf.P_SKS, "114956728527418326224604626499608249051"),
cf.Zs(cf.P_SKS, "114960450963456572956080728091242395610"),
cf.Zs(cf.P_SKS, "114971575022956864616952485639240063707"),
cf.Zs(cf.P_SKS, "114978270065080215390948133708088925146"),
cf.Zs(cf.P_SKS, "114978365964256457636560527556075336923"),
cf.Zs(cf.P_SKS, "114996171705358369060458056708021906907"),
cf.Zs(cf.P_SKS, "115005043680812883338415998411606725851"),
cf.Zs(cf.P_SKS, "115008352906764081179507164634680068059"),
cf.Zs(cf.P_SKS, "115013311521819682306842423310302356699"),
cf.Zs(cf.P_SKS, "115065872553942176894158882284782140635"),
cf.Zs(cf.P_SKS, "115087784106478094683337299367719099355"),
cf.Zs(cf.P_SKS, "115097409972919765565189699930394071003"),
cf.Zs(cf.P_SKS, "115131544317295798869177242011657616603"),
cf.Zs(cf.P_SKS, "115138335890791688047019280669489154267"),
cf.Zs(cf.P_SKS, "115140445204985728234856760955525588955"),
cf.Zs(cf.P_SKS, "115154712307189670953462064898513738971"),
cf.Zs(cf.P_SKS, "115181277759181329740131690050528434651"),
cf.Zs(cf.P_SKS, "115186772709883631285677936536538823131"),
cf.Zs(cf.P_SKS, "115259261173479144315284026071911322075"),
cf.Zs(cf.P_SKS, "11526697925072534088065292321471695067"),
cf.Zs(cf.P_SKS, "115279735903116188482127248594854030555"),
cf.Zs(cf.P_SKS, "115294386066311572552883223425979515867"),
cf.Zs(cf.P_SKS, "115343017492066242951954519501546289883"),
cf.Zs(cf.P_SKS, "115427679272742540609675242749287915994"),
cf.Zs(cf.P_SKS, "115430919467981894636208109257926718427"),
cf.Zs(cf.P_SKS, "115474851690273357260633537132672035803"),
cf.Zs(cf.P_SKS, "115480432112960998915067491329207689178"),
cf.Zs(cf.P_SKS, "115488362593389648911045179122896250587"),
cf.Zs(cf.P_SKS, "115522863143412189979745121415959728603"),
cf.Zs(cf.P_SKS, "115526627492825618433079361581113837275"),
cf.Zs(cf.P_SKS, "115539249673720100447296960033394039771"),
cf.Zs(cf.P_SKS, "115560288482921659375215513727890453723"),
cf.Zs(cf.P_SKS, "115591206995820192723683579398334080731"),
cf.Zs(cf.P_SKS, "115594540382831014464001005065162450907"),
cf.Zs(cf.P_SKS, "115597893652580443057265144704953251547"),
cf.Zs(cf.P_SKS, "115612105372270628206593335404746704859"),
cf.Zs(cf.P_SKS, "115617480270490128665856274980520257243"),
cf.Zs(cf.P_SKS, "115651359576773893498685947992629369818"),
cf.Zs(cf.P_SKS, "115657929476983715789751920665115049179"),
cf.Zs(cf.P_SKS, "115681392173567696498654189662656999131"),
cf.Zs(cf.P_SKS, "115694498769359040814589736044749187290"),
cf.Zs(cf.P_SKS, "115700480280167399728831091642734792667"),
cf.Zs(cf.P_SKS, "115712120791934712901775326664313515995"),
cf.Zs(cf.P_SKS, "115722334357913127140514425712230063579"),
cf.Zs(cf.P_SKS, "115722593964088723198499706616880949979"),
cf.Zs(cf.P_SKS, "11572960783683889980201515284421397723"),
cf.Zs(cf.P_SKS, "115748269587438628790533315032541734363"),
cf.Zs(cf.P_SKS, "115750840875298601971445282361991062491"),
cf.Zs(cf.P_SKS, "115754700776077737719188001911351290587"),
cf.Zs(cf.P_SKS, "115763222870985426238486786953002365915"),
cf.Zs(cf.P_SKS, "115781966605471256433408341683480976859"),
cf.Zs(cf.P_SKS, "115810100266361753265516346268503764699"),
cf.Zs(cf.P_SKS, "115824188025857765508954958242463453147"),
cf.Zs(cf.P_SKS, "115870449304727248964940481679896353755"),
cf.Zs(cf.P_SKS, "115871728721213105882396162434086725851"),
cf.Zs(cf.P_SKS, "115989443377038643318323608939809481179"),
cf.Zs(cf.P_SKS, "116030772440143494222022314659290146011"),
cf.Zs(cf.P_SKS, "116046466922143330754485542034093350619"),
cf.Zs(cf.P_SKS, "116054658833871551314759765034439902427"),
cf.Zs(cf.P_SKS, "116070773797684336309001627361941430491"),
cf.Zs(cf.P_SKS, "116086844919149480016494116692525590747"),
cf.Zs(cf.P_SKS, "11610437151534639595399951921976755163"),
cf.Zs(cf.P_SKS, "116159579344832085982521864349528685274"),
cf.Zs(cf.P_SKS, "116172724060085630517231317909666650586"),
cf.Zs(cf.P_SKS, "116196514372220201503943958042774783707"),
cf.Zs(cf.P_SKS, "116294093746155682933204332215627922395"),
cf.Zs(cf.P_SKS, "116295383110399054559823575912125686746"),
cf.Zs(cf.P_SKS, "116297531212856517132387350219059838683"),
cf.Zs(cf.P_SKS, "116312309675230156317149627411630462171"),
cf.Zs(cf.P_SKS, "116352589032236914261393142903158858202"),
cf.Zs(cf.P_SKS, "116384683184559026219295798889713024475"),
cf.Zs(cf.P_SKS, "116401442389347558699297347358470185947"),
cf.Zs(cf.P_SKS, "116429009084276982452701757517251628507"),
cf.Zs(cf.P_SKS, "116447057401585541788529796330238871771"),
cf.Zs(cf.P_SKS, "116475360391399308929241140871153575387"),
cf.Zs(cf.P_SKS, "116487572295559895936806306644721195994"),
cf.Zs(cf.P_SKS, "116496651601441236649607148477642639835"),
cf.Zs(cf.P_SKS, "116501768678674141035611732832462339803"),
cf.Zs(cf.P_SKS, "116535028516037798977416052795159761883"),
cf.Zs(cf.P_SKS, "116551497254890040690068198114277610459"),
cf.Zs(cf.P_SKS, "116572026792727463002489232514319133403"),
cf.Zs(cf.P_SKS, "11657388165784749749821075282915212507"),
cf.Zs(cf.P_SKS, "116598263649100289266128776597793235163"),
cf.Zs(cf.P_SKS, "116626626840115598600678577273519969755"),
cf.Zs(cf.P_SKS, "116688904040748940017255551065992369627"),
cf.Zs(cf.P_SKS, "116704166196599757544787924616286492635"),
cf.Zs(cf.P_SKS, "116719224714452265952364320266117342939"),
cf.Zs(cf.P_SKS, "11675897400748484186453732950002026971"),
cf.Zs(cf.P_SKS, "116784785725556364765965654109577664475"),
cf.Zs(cf.P_SKS, "116785656751739614287622831135262720731"),
cf.Zs(cf.P_SKS, "116855787832947529390021104136731864027"),
cf.Zs(cf.P_SKS, "116881327252156246601862593586666053851"),
cf.Zs(cf.P_SKS, "116895353938311597250507064291141148123"),
cf.Zs(cf.P_SKS, "116925858608716376529407579404422931162"),
cf.Zs(cf.P_SKS, "116973649290357145189709105003144264667"),
cf.Zs(cf.P_SKS, "11700508912756592692480946589072491227"),
cf.Zs(cf.P_SKS, "1170443345570758899204301942852813787"),
cf.Zs(cf.P_SKS, "117048623426052995615395405099759266779"),
cf.Zs(cf.P_SKS, "117051002090022799233998045080221057243"),
cf.Zs(cf.P_SKS, "117065098791845049070835029294972021979"),
cf.Zs(cf.P_SKS, "117066736562456830866917892423089211099"),
cf.Zs(cf.P_SKS, "1170690115083150369516200562045168347"),
cf.Zs(cf.P_SKS, "117083022436993431370223434549021129435"),
cf.Zs(cf.P_SKS, "117119091064522208401979924568520163547"),
cf.Zs(cf.P_SKS, "117138728905470799078005726813308934875"),
cf.Zs(cf.P_SKS, "117165230419136562034476509926355502811"),
cf.Zs(cf.P_SKS, "117195137305911533288977610085912255451"),
cf.Zs(cf.P_SKS, "117202991254535492094771587474950499803"),
cf.Zs(cf.P_SKS, "11720920896602400944034675157114833371"),
cf.Zs(cf.P_SKS, "117211025737502359315328178923214047963"),
cf.Zs(cf.P_SKS, "117231743825372862030885799854019863259"),
cf.Zs(cf.P_SKS, "117243420950081890283305895133014191834"),
cf.Zs(cf.P_SKS, "1173189211199938584128984130913503707"),
cf.Zs(cf.P_SKS, "117318980342798020321037801860212256730"),
cf.Zs(cf.P_SKS, "117341098482184944832067381426338018011"),
cf.Zs(cf.P_SKS, "117352228922944590962826452972284029915"),
cf.Zs(cf.P_SKS, "117359661898730702819829416457715770843"),
cf.Zs(cf.P_SKS, "117386009062122451095150418187508631771"),
cf.Zs(cf.P_SKS, "11739490282259076338182881540606851546"),
cf.Zs(cf.P_SKS, "117399992812942651281228555911071130330"),
cf.Zs(cf.P_SKS, "117408312084351229416427557426026253019"),
cf.Zs(cf.P_SKS, "117414860886941780253569103497131873243"),
cf.Zs(cf.P_SKS, "117417791167212818389891113554764267483"),
cf.Zs(cf.P_SKS, "117419070192356930512341290558310501083"),
cf.Zs(cf.P_SKS, "11742345652830117153692992022577358043"),
cf.Zs(cf.P_SKS, "117508967162337588237926302647703711963"),
cf.Zs(cf.P_SKS, "117543257678902412810685197302400608218"),
cf.Zs(cf.P_SKS, "117548275361734244456439376051539814107"),
cf.Zs(cf.P_SKS, "117564554469677505222812365885275002075"),
cf.Zs(cf.P_SKS, "117580348421007187582678332870896703451"),
cf.Zs(cf.P_SKS, "117622320203695364573877175617424164059"),
cf.Zs(cf.P_SKS, "117659656242909900073167948499325631963"),
cf.Zs(cf.P_SKS, "117664552443957329598716251508013269211"),
cf.Zs(cf.P_SKS, "117684412954646374307338707858239353819"),
cf.Zs(cf.P_SKS, "117707313981347257055500217759091427547"),
cf.Zs(cf.P_SKS, "11773689133455590106564876723280073691"),
cf.Zs(cf.P_SKS, "117760030622406599214338133758553917403"),
cf.Zs(cf.P_SKS, "117760054134057306511260829882389623258"),
cf.Zs(cf.P_SKS, "117797350762682042803023436852645653722"),
cf.Zs(cf.P_SKS, "117802672626351262489363279480264424667"),
cf.Zs(cf.P_SKS, "117807517308103468640164731804272979419"),
cf.Zs(cf.P_SKS, "117807712979913582559176165011050286555"),
cf.Zs(cf.P_SKS, "117848599385134532069085930879647342555"),
cf.Zs(cf.P_SKS, "11787335363438134075881869907478510554"),
cf.Zs(cf.P_SKS, "117951518318325595562693679782821330139"),
cf.Zs(cf.P_SKS, "117987106814678909513813849490650905307"),
cf.Zs(cf.P_SKS, "117988373541799714418259611228346024923"),
cf.Zs(cf.P_SKS, "118011854075731469992078076581986751195"),
cf.Zs(cf.P_SKS, "118043622853416188872592756663863871963"),
cf.Zs(cf.P_SKS, "118052443556437187743178200743842857435"),
cf.Zs(cf.P_SKS, "118057059100507615194685275528168252123"),
cf.Zs(cf.P_SKS, "118060611761299261047645986369960629723"),
cf.Zs(cf.P_SKS, "118064588843619370205444500959990271963"),
cf.Zs(cf.P_SKS, "118116599425121081425056935053976382939"),
cf.Zs(cf.P_SKS, "118140124239931357117203593771433067227"),
cf.Zs(cf.P_SKS, "118151514071786282941167489222595660507"),
cf.Zs(cf.P_SKS, "118170056274799459606340720920438623963"),
cf.Zs(cf.P_SKS, "11819434640589891300672167282179474395"),
cf.Zs(cf.P_SKS, "118198582285855095635525188396435697114"),
cf.Zs(cf.P_SKS, "118201613339319774206099955267219875546"),
cf.Zs(cf.P_SKS, "118223751946512545583619365811764571355"),
cf.Zs(cf.P_SKS, "11822565579204080689366256384223438043"),
cf.Zs(cf.P_SKS, "118250340999767023413568395710605040091"),
cf.Zs(cf.P_SKS, "11825440318910037419940900447001220315"),
cf.Zs(cf.P_SKS, "118263429440031950417210005868795841755"),
cf.Zs(cf.P_SKS, "118268978343948681105912139361994436827"),
cf.Zs(cf.P_SKS, "118269059362857485975918554204927785179"),
cf.Zs(cf.P_SKS, "118272955526830857992770572846515911899"),
cf.Zs(cf.P_SKS, "118306990055120999592813470338512799963"),
cf.Zs(cf.P_SKS, "118317812780844957379232138127503502555"),
cf.Zs(cf.P_SKS, "118371237801243168855779057901234351322"),
cf.Zs(cf.P_SKS, "11841074446650261913042614610044389339"),
cf.Zs(cf.P_SKS, "118414479620209563271393283756165112027"),
cf.Zs(cf.P_SKS, "118415069199714084286270122410280623067"),
cf.Zs(cf.P_SKS, "118424716205918524964116883576453793243"),
cf.Zs(cf.P_SKS, "118425060709670790688145703249188840923"),
cf.Zs(cf.P_SKS, "11849083031265353877698154345514156507"),
cf.Zs(cf.P_SKS, "118497202900058210985677724099900691163"),
cf.Zs(cf.P_SKS, "118501960973085704703585020987984638938"),
cf.Zs(cf.P_SKS, "118516612792410858250861419178830214107"),
cf.Zs(cf.P_SKS, "118546331956562001998141670526676804571"),
cf.Zs(cf.P_SKS, "118546739841302351835107984257816901339"),
cf.Zs(cf.P_SKS, "11858736564212762631847573356216046811"),
cf.Zs(cf.P_SKS, "118587874176641289856292478254874371547"),
cf.Zs(cf.P_SKS, "118601063479952200512906040780032041435"),
cf.Zs(cf.P_SKS, "118640765028146403271519361665867224795"),
cf.Zs(cf.P_SKS, "118646477327759607898814108434357383387"),
cf.Zs(cf.P_SKS, "118649524284949336280171171198554547163"),
cf.Zs(cf.P_SKS, "118666677518768769802750840809667610587"),
cf.Zs(cf.P_SKS, "118674434097174536127388243350274005467"),
cf.Zs(cf.P_SKS, "118682935272792294458259883502430363099"),
cf.Zs(cf.P_SKS, "118684081500492877143970048896016813531"),
cf.Zs(cf.P_SKS, "118709243380977277599157436433965950939"),
cf.Zs(cf.P_SKS, "118718474329440263323887921963181281243"),
cf.Zs(cf.P_SKS, "118724177583856969042726984160640088027"),
cf.Zs(cf.P_SKS, "118726956324735735308662812355647108059"),
cf.Zs(cf.P_SKS, "118743847281473591516503131714931984603"),
cf.Zs(cf.P_SKS, "118855418417445160393599071555630981851"),
cf.Zs(cf.P_SKS, "118861172725045022716346889719669812187"),
cf.Zs(cf.P_SKS, "118862455629248835780740335849814752986"),
cf.Zs(cf.P_SKS, "11887494012092118496042314458181133787"),
cf.Zs(cf.P_SKS, "118897221103708257063704273989702592987"),
cf.Zs(cf.P_SKS, "1189130362801471121685505015194707931"),
cf.Zs(cf.P_SKS, "118947694772782625658148940952425057243"),
cf.Zs(cf.P_SKS, "119008740505082240463471621974770134235"),
cf.Zs(cf.P_SKS, "119043215497994802377652878763582104795"),
cf.Zs(cf.P_SKS, "119047417083085613119459989227832298203"),
cf.Zs(cf.P_SKS, "119066343086533164731675759437048043739"),
cf.Zs(cf.P_SKS, "119114097195325685604575902913163108059"),
cf.Zs(cf.P_SKS, "11912173380380951643417180958673449179"),
cf.Zs(cf.P_SKS, "119144695596098256951353247558561816026"),
cf.Zs(cf.P_SKS, "119168074359971584724517389375645894619"),
cf.Zs(cf.P_SKS, "119174597346702959454393947674496266714"),
cf.Zs(cf.P_SKS, "119189583837014400491728696134834094811"),
cf.Zs(cf.P_SKS, "119215684171052563680811510791423102939"),
cf.Zs(cf.P_SKS, "119218215493821406918663250647663159259"),
cf.Zs(cf.P_SKS, "119251304545758971590184553208205515739"),
cf.Zs(cf.P_SKS, "11925481753789642577508223746791316699"),
cf.Zs(cf.P_SKS, "11926950583132858805680338026719208411"),
cf.Zs(cf.P_SKS, "11928011496988287072796669103453952730"),