/
self_test.inl
2262 lines (2262 loc) · 113 KB
/
self_test.inl
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
static const char* pair_list[][2] = {
{"220","504"},
{"1184","2394"},
{"2620","5544"},
{"5020","10584"},
{"10744","21600"},
{"12285","26880"},
{"63020","139104"},
{"66928","133920"},
{"67095","138240"},
{"69615","157248"},
{"79750","168480"},
{"100485","224640"},
{"122265","262080"},
{"122368","245520"},
{"141664","294840"},
{"142310","311040"},
{"196724","399168"},
{"308620","698544"},
{"469028","955206"},
{"503056","1017792"},
{"522405","1048320"},
{"726104","1522800"},
{"802725","1666560"},
{"879712","1781136"},
{"898216","1879200"},
{"947835","2073600"},
{"1077890","2177280"},
{"1154450","2343600"},
{"1175265","2614248"},
{"1280565","2620800"},
{"1358595","2845440"},
{"1468324","3217536"},
{"1511930","3110400"},
{"1798875","3669120"},
{"2728726","5806080"},
{"3606850","7499520"},
{"4246130","8735040"},
{"4482765","9603360"},
{"5232010","11031552"},
{"5357625","11042304"},
{"5730615","11819520"},
{"6377175","13057200"},
{"6993610","14152320"},
{"7275532","14747040"},
{"8262136","16632000"},
{"8619765","18247680"},
{"9071685","18570240"},
{"10572550","21427200"},
{"10634085","24718848"},
{"10992735","23063040"},
{"11173460","24385536"},
{"11498355","23522400"},
{"11693290","24054912"},
{"13671735","29548800"},
{"16137628","32288256"},
{"17041010","36191232"},
{"17257695","34836480"},
{"20308995","41264640"},
{"21448630","44478720"},
{"22227075","46872000"},
{"23389695","48522240"},
{"34765731","71705088"},
{"37784810","77728896"},
{"46271745","95397120"},
{"46521405","99532800"},
{"46991890","95463360"},
{"63560025","128563200"},
{"102023145","218993544"},
{"180038452","373524480"},
{"203055622","413683200"},
{"203972715","411402240"},
{"211319745","445906944"},
{"256948065","520058880"},
{"285627615","579156480"},
{"301685895","643691880"},
{"346657311","717050880"},
{"364182075","729194400"},
{"400250565","843042816"},
{"426386025","853070400"},
{"606235455","1231718400"},
{"626323995","1269596160"},
{"637756665","1277337600"},
{"643006485","1306368000"},
{"664747083","1338494976"},
{"721522755","1447891200"},
{"776813895","1743565824"},
{"857161935","1782743040"},
{"1129315275","2339850240"},
{"1305577305","2626560000"},
{"1502495085","3011613696"},
{"1558818261","3155023872"},
{"1723336461","3459456000"},
{"1741985325","3599769600"},
{"1774259235","3826310400"},
{"1895700345","4125800448"},
{"1978830070","4291854336"},
{"2158256590","4732535808"},
{"2612831949","5350494240"},
{"2655265756","5486745600"},
{"2702347270","5562805248"},
{"3437861427","6897623040"},
{"3647464821","7648542720"},
{"3900906009","7925299200"},
{"4321518201","9411292800"},
{"4377238047","8783873280"},
{"5546461305","11444944896"},
{"5676646514","11376288000"},
{"5747841099","11600289792"},
{"7920502317","15934464000"},
{"8517106125","17252352000"},
{"8521860555","17848252800"},
{"10652028345","21306654720"},
{"11388422955","23444576064"},
{"11779834185","23969986560"},
{"13566201495","29627596800"},
{"19041305283","39903881472"},
{"20098203615","40327372800"},
{"22198298265","46749358656"},
{"28367150955","57437614080"},
{"192806293815","392014909440"},
{"307556530281","618231398400"},
{"309164210355","700970554368"},
{"399749552055","822447489024"},
{"687338059023","1397504586240"},
{"1419888512175","2888176144896"},
{"4772098128105","11003856500736"},
{"5903345192325","12218646528000"},
{"20222077624515","40741976056320"},
{"60974013887787","122070741811200"},
{"6340933185214875","12686557075046400"},
{"9596225033400915","20490711134939136"},
{"42716188241195312","87305374612684800"},
{"43040247431269935","86155413556101120"},
{"53803834142176755","118443214758121344"},
{"71540943125910784","143293110357196800"},
{"80540176424679855","168470304178176000"},
{"85130051323642768","174339073585152000"},
{"153862554632686893","308845622409891840"},
{"161220035980698512","332374864897152000"},
{"363171261310272506","742853609526067200"},
{"381476430480335368","769348469656166400"},
{"390588941715046965","797813252780544000"},
{"438466306162653670","890494503881748480"},
{"472780265943262352","955455034304010240"},
{"572924586851369865","1149180405395742720"},
{"741944886045050590","1574177132107008000"},
{"756058706327544070","1540302769184256000"},
{"932604777338133392","1877179832321310720"},
{"1037424893783686210","2103935018428615680"},
{"1043211911795415896","2092837552565760000"},
{"1224871296635977965","2471747426313984000"},
{"1345554828305871183","2724426462407569920"},
{"1507857562896515325","3085821223451366400"},
{"1862762738577227476","3874044719828828160"},
{"1967569360237716375","4064995113240821760"},
{"2109548011397800575","4274696271728332800"},
{"2124950873072628352","4258581153615360000"},
{"2632941906275143125","5277008240824320000"},
{"2777849162907350895","5590121877752315904"},
{"2789109558060913485","5728858063036416000"},
{"3032435326503938050","6121513273075200000"},
{"3069190042339547295","6143174608009420800"},
{"3863652950903992510","7732100113720012800"},
{"3910824147979614789","7842638353032806400"},
{"3979860884960796675","8530707465206784000"},
{"4477237746222582172","9069140197877760000"},
{"4853786574742962704","9943440121501286400"},
{"4859799366099383433","10401532404970291200"},
{"4936878060908774536","9989453260247040000"},
{"5744204767325292512","11649863572596264960"},
{"6169712754120726375","12786813591552000000"},
{"6697767103767966135","13565271803166720000"},
{"6765712772078993733","13986187425939456000"},
{"6833462475655601024","13709656780807680000"},
{"7543054678533813945","15115320116822016000"},
{"8357887126303925704","17401675610485555200"},
{"8885576749999564010","18066960582967296000"},
{"9092830641806617965","18314085920981760000"},
{"9788081118162550450","20343773560558694400"},
{"10311239323553335936","20675884450556079360"},
{"11058534863977977915","23557253567791104000"},
{"11117765430805918384","22593234048473088000"},
{"11351550442916196172","22733135653003776000"},
{"12303586687559607286","25671967121512857600"},
{"12750739691849501175","26426081422540800000"},
{"12766345013420579176","25625314485429120000"},
{"13603489039436446448","28034096034447360000"},
{"13978250818838412015","28355834172137472000"},
{"14727604076872877715","30852871076398694400"},
{"15155990096004433324","31439285602712064000"},
{"15172669112681982208","30379428088623936000"},
{"15635122181598488650","32545683752524185600"},
{"16920597985569541809","34755072249087590400"},
{"18185486813526499005","38158414740486881280"},
{"19100614326451508744","38938187749773312000"},
{"20247760985481658629","40651619376188620800"},
{"22350742197637124704","45213523095015475200"},
{"23818675957659943624","50157495749910528000"},
{"24623932733131007925","53590233224753971200"},
{"26061825707125486150","52918818412909363200"},
{"26461355105297252385","53201056599372165120"},
{"27981176549325536745","56170158644920320000"},
{"31675899468058733632","63690613214144716800"},
{"32188387778722464124","65346767258572800000"},
{"32560262546466208785","70647707563130880000"},
{"33405384945091699364","69348440624246784000"},
{"33547490158476159776","68126111362339430400"},
{"34950910159733357750","72863945212151808000"},
{"37828273855611932384","76045888939198651200"},
{"38152251480656700596","78060009645512294400"},
{"40237566238462768928","80641333858622423040"},
{"40538963669559627285","81256001139813427200"},
{"44272836052663456238","92880018494051120640"},
{"49242689699802213825","107695722330449510400"},
{"49529341498626497576","101195627617244160000"},
{"52600770794421807958","112769875041804288000"},
{"54753736184164219202","118081842927050096640"},
{"56639378399593155166","116800554934391537664"},
{"57993732524969322692","116643605125791744000"},
{"63636564083630493748","129177770591181312000"},
{"66662737886892149444","146468808368547840000"},
{"66943087908278215876","138030631071414681600"},
{"70074644470487298675","142499228205580646400"},
{"70584678512422433824","142647605690413824000"},
{"70772254541518371728","145040478068529792000"},
{"72258474996805352336","145318874315636736000"},
{"73308272027484203402","150005592550598400000"},
{"74260060252142947750","150448070542049280000"},
{"76395317296025862981","153395231897414707200"},
{"81176743511673465705","164073201594706575360"},
{"82608735249082640925","166445894609938944000"},
{"89335474638898490415","201959427567845376000"},
{"90339162888368025992","181874126127904056000"},
{"92940562835425648875","187118822672990208000"},
{"93502593065955734870","188727336122637312000"},
{"97625010172011239852","198871093545261096960"},
{"97805819483004552496","196371235052568576000"},
{"107176392690714405513","217272193425967680000"},
{"107898521566777986850","224856808881359155200"},
{"108782956456724662695","219729465580584960000"},
{"110596940890051710094","231418831456166215680"},
{"116207080978256398305","234366567532001049600"},
{"116954587138412891516","242045842996423065600"},
{"117452974568532252825","241137622348406784000"},
{"119508209965856109190","245147621489971200000"},
{"123459352789640834350","248931208396975104000"},
{"124590275151524867565","249284172533760000000"},
{"124770526137496699168","251522120214473472000"},
{"127110640821300199035","256135622132662272000"},
{"128019433906072717304","257527372932697190400"},
{"129291786147410783505","272365374893593512960"},
{"132348653166894550352","268625295921926361600"},
{"134485286260383187552","272651250285079142400"},
{"144082616783491215250","294083513314246656000"},
{"146292162071185857375","296927291092303872000"},
{"148052456516018284461","299855172507770880000"},
{"150709469319596032209","302161924041449472000"},
{"151614854021937704008","324888924750069657600"},
{"153751120297356860750","319436497722101760000"},
{"156088677663674480776","313244040527953920000"},
{"156394889396530145224","313581959470080000000"},
{"161532034390543174732","338385564864085939200"},
{"166325199954941849445","339186825005543424000"},
{"171205574682277250206","374597362825297920000"},
{"173556403842303880996","349558365598041600000"},
{"177159877137476155576","379628301844624896000"},
{"178221945562415780895","358820756790312960000"},
{"179031685437374063294","379799502298546176000"},
{"180258849435954628647","372240765312159744000"},
{"183504816874013053965","381332987370897408000"},
{"186012163844613279316","394065535446451814400"},
{"190319998598856648184","407828568219461222400"},
{"191461879312883521576","410275453879422180000"},
{"192058158096960679965","391536204100573593600"},
{"192329324113057161910","388157625281986560000"},
{"193961350765848444597","403325769084921446400"},
{"196767428602530166628","416753791600243507200"},
{"197253206527709761814","396749334890151936000"},
{"199244315585496438166","400310322681041136000"},
{"205774073590979559644","426471121054956257280"},
{"206513248314733556650","414484451380474675200"},
{"208523562408133315785","436069527859636070400"},
{"209571526720765418248","449081841217278931200"},
{"212288438448899830017","426492492429459456000"},
{"216149902781324943585","432928271999537233920"},
{"219086436373309852328","443833140491867952000"},
{"220060507708442748555","445084104124012953600"},
{"222541403130141804982","464228829994619289600"},
{"224730968185662031624","462360501729828748800"},
{"225703034936863710950","459548467205667840000"},
{"225796863506283981639","455761480285527736320"},
{"234014626208818517530","475976470185216000000"},
{"234077403508831802296","501594431361408000000"},
{"239373578240271965925","486010787436776448000"},
{"240185096826332769592","514682341067210400000"},
{"241558643629892554724","486197539687725465600"},
{"242184028128465998312","487807158064472064000"},
{"244816223933949358144","492517807235757388800"},
{"247024692384363864050","499759713360798105600"},
{"247512621806169379888","503799418773504000000"},
{"254707915616332721774","516798860215202611200"},
{"254866362266117658105","513181604744124825600"},
{"255540846577312596465","511781294167905484800"},
{"257621269854360426938","516748860786622464000"},
{"261020062626844764555","530423931048057446400"},
{"263957287015620447075","550079507542982376960"},
{"265947351956011499950","585203343580544532480"},
{"276356737484207543475","570579252415603200000"},
{"277957595311640480775","585237622232490393600"},
{"278891840798378232579","572984647696226304000"},
{"280112347904832776936","563985192761432064000"},
{"282567363717114420472","605501491378717440000"},
{"284988693157313556592","588976589559355683840"},
{"285508841448960836175","573555055727001600000"},
{"286396268764330359952","582267171575100211200"},
{"291585396228410131995","588096770199257088000"},
{"292527787158716967375","592573581384744960000"},
{"299971140044831528048","619940342459094451200"},
{"300510934037205479692","610440828410936033280"},
{"300662246215676829302","638782503573215232000"},
{"301818790260287735589","604694111855404032000"},
{"305220554549026257375","628814029440909312000"},
{"310004219714360773833","624794341134685962240"},
{"311802439834482047230","629138155258915061760"},
{"314126697266627713875","654409509798739968000"},
{"314422990922831816696","673763551244236800000"},
{"318045006866445052648","642220344118080000000"},
{"319821844874915165296","660965145725079078912"},
{"325066188750866029215","655061498712391680000"},
{"327381331964593145252","655476081194398464000"},
{"331117909786501187312","684310346580904243200"},
{"332403047993404386999","707429734056905932800"},
{"333371437849855790294","695587687131617280000"},
{"333474723109965574976","668679446899795968000"},
{"334079880193221570045","679380529330402099200"},
{"335394287819479113968","693148194457513426944"},
{"336061478401296757785","676787316906103603200"},
{"339186201045838350712","688895865480196915200"},
{"344948330953390493511","707815949411450880000"},
{"345973984206312501008","715012899999219763200"},
{"351689010004623945512","723764333141950464000"},
{"354569626854829536525","709261570722152448000"},
{"356829328878469395472","737447260701497794560"},
{"357453311718458785264","738736843726227456000"},
{"360194574500149123568","744402120232914284544"},
{"361154935059354959510","739516074104565596160"},
{"361183232427481063490","724519830009507840000"},
{"363701812033338766448","751650409684960531200"},
{"365793718792283825896","732335653960269004800"},
{"368613638145499548375","789849654320922624000"},
{"369638131733466485744","763918696215088128000"},
{"374926400038452698392","803413681241066496000"},
{"375110424321553104028","772267139962833715200"},
{"382084781284864069616","789641877666529198080"},
{"384914879144803344376","824817559426776760320"},
{"385004764179956158912","774013009683236843520"},
{"390024356489727458205","809536706501935104000"},
{"391862059024610228230","797191447850504847360"},
{"392353341180343477232","810863465298711552000"},
{"393770686373917846976","792919584608256000000"},
{"399373405882377382250","804667631230374912000"},
{"400122152511391174935","821816654524508160000"},
{"402389314997620571024","831604582318061260800"},
{"405266872866384455030","833413354088515200000"},
{"407796995601823370300","951526322852980137984"},
{"409694359923559113904","846701658222615360000"},
{"420274388108601914288","866042018603061753600"},
{"420963323874073494712","902064242684732400000"},
{"421599233846413588790","854957737565724672000"},
{"422515055627488480072","905389367919265152000"},
{"429016375900909517936","886633743442782551040"},
{"437737466875533207790","887282809814016000000"},
{"438396188392789272304","906018662223138024000"},
{"445265873582268411896","892082743254743040000"},
{"446823266213948120692","907466693974993152000"},
{"448775209020155039888","927468764430720871680"},
{"452734937041330878950","933584347881529344000"},
{"465176719479346441292","949842634664540897280"},
{"469982674986869954032","971297527255966310400"},
{"472491020378711526704","976481441727521083200"},
{"477803870230370518575","978233595315638538240"},
{"481851051117301472607","965388845242838016000"},
{"484103345204077681150","981247990718744985600"},
{"485192799669858746025","1029017477149537075200"},
{"491349020440034868705","985325313311539200000"},
{"493820982459532241206","988172430254201364480"},
{"494286082009179440175","993228916182163315200"},
{"497917029061341031928","1026347795288524800000"},
{"502791683048280655150","1086513311214938880000"},
{"505340679603519308168","1014361861361080320000"},
{"507143628017035725807","1027493110959656140800"},
{"518286738224662119765","1065035769812375961600"},
{"522927939259887116696","1090972718408111616000"},
{"541480279791146441464","1085257786753768320000"},
{"553330076962084390072","1185707222758119600000"},
{"555469836581760727216","1147970964364172669952"},
{"564328052627628756555","1140417361612027699200"},
{"571115050569513490790","1151369749026072576000"},
{"579423901010496036848","1178754476686679692800"},
{"586813980125384012950","1220115786517798732800"},
{"589346438110797659270","1192243283880929280000"},
{"592196842564984775968","1203496806437291520000"},
{"597420844559689863375","1203370224262665338880"},
{"597785031487540909424","1235422395443915078400"},
{"601473944150536899052","1203375057138648576000"},
{"603796436431148429344","1218196256939669145600"},
{"605471406031082220848","1251307572020693066880"},
{"607281499253786311408","1255048427014933662720"},
{"610268793277941041224","1277908108183586880000"},
{"610724694181521732075","1260751142692100505600"},
{"614896396086627872348","1249329188528023680000"},
{"616414304812818003304","1320887793802280140800"},
{"620089360685815907788","1271267992563351552000"},
{"622261219383645676750","1251799964402577408000"},
{"634026746290931128366","1276542730630379520000"},
{"634384914355830828267","1300109088894065049600"},
{"637874348859488721256","1284285328761415680000"},
{"644213156559615664864","1309207374798030247680"},
{"651342915297989408896","1305746440695889920000"},
{"654460381672662078536","1402415102538777600000"},
{"662740969377255557456","1369664669605473976320"},
{"681121871387082257265","1469171155156815052800"},
{"688693556176751708674","1460923668691200000000"},
{"689528169602879305125","1413008965695126159360"},
{"690171132514453615298","1401847695884487720960"},
{"691052419631250867808","1404396793680072192000"},
{"694884170917698432255","1421011037991960576000"},
{"705115959068779837845","1422550053162099671040"},
{"707118108609617187136","1416726476095758336000"},
{"708690731074991553488","1464627508567688424960"},
{"712242525991128294128","1471967884166911971840"},
{"712578439978052129625","1425327412651875532800"},
{"714576499293711461290","1458033905251123200000"},
{"716073968285983399408","1477569762529038604800"},
{"716430990873805901536","1455972658238323814400"},
{"720793774484338940110","1527214207672929484800"},
{"724484327752721422612","1466775535578958725120"},
{"725695407376248711465","1455157714824421171200"},
{"751196687806890370712","1508222407782736800000"},
{"756672458809009615444","1589012162351352668160"},
{"763864797747892766684","1577611621102809600000"},
{"770240141167549758688","1565326715884518787200"},
{"772958440894183700390","1552391912776178073600"},
{"776600013393266014125","1594320893582376960000"},
{"781205802384361603990","1613260807274595225600"},
{"785421194800379007255","1680718585269878784000"},
{"786317251335326554544","1625055651820850918400"},
{"788155320666461009912","1688904250075316736000"},
{"792008209848053685248","1609565064280021314144"},
{"793042045056154053872","1638953489081875599360"},
{"802539401196851323070","1608339102878488780800"},
{"802597564725093814612","1685454882357296332800"},
{"803528774007837284968","1644610715715502080000"},
{"806079761563762462725","1612696963563902361600"},
{"806206420740560419755","1618268584858877952000"},
{"807368498952751845632","1668561546087425349360"},
{"817710505602605953965","1720454301695840256000"},
{"822728883212933989708","1656158128108323840000"},
{"825558695754172252592","1706154330122006768640"},
{"826743616698141567832","1771593451055243182080"},
{"831064447023405819975","1671844653516718080000"},
{"836547045003370141012","1756748793226107985920"},
{"838622473100777401136","1688691044381552640000"},
{"844900829022205225935","1690269597688928256000"},
{"851005811191861169632","1723158800162553600000"},
{"854472705613525459490","1721029380774277939200"},
{"855439529396239915556","1822458126577432780800"},
{"855445707532431245252","1773398229799996800000"},
{"855853489819353697888","1739315152734028531200"},
{"856883617181654678968","1836179178331889664000"},
{"860395086779460192532","1806829680916067512320"},
{"866474096149501271325","1772170781254473600000"},
{"870664502125174930173","1750737274826725785600"},
{"877676380803495228904","1801764763555544524800"},
{"878031081588874148336","1814597526436334640000"},
{"885993453339796599344","1831053135144927052800"},
{"887526303702925886415","1882787897317662720000"},
{"887952521817614021428","1864700283307477271040"},
{"891742005368585548216","1910875615538003654400"},
{"894244281963749218190","1831829470850108620800"},
{"895476516404605865235","1826809974047342592000"},
{"906198962590976025616","1815239317533581721600"},
{"907406803582909775584","1844084792402419311360"},
{"907746605030344910384","1876009537159094937600"},
{"924856811593281291556","1874296812639441415680"},
{"925106931738627550185","1851687124872147763200"},
{"935860098193278394708","1965306204759048560640"},
{"936339827935885707555","1988939289187952640000"},
{"936853388514572703525","1941154433438220000000"},
{"937058738338954997536","1904345134505049600000"},
{"938276027767140679648","1906819001995493376000"},
{"940193077516242194576","1943065692360059984640"},
{"945729123250028127428","1958415969665853734400"},
{"950003458928189823328","1930652177990215680000"},
{"953491339938434738816","1912471402121280000000"},
{"962605840506346122208","1956263478696341337600"},
{"965705063622760444599","1982544028980939325440"},
{"969686367895940695065","1955841765372278784000"},
{"969918720778842538473","1952912092222586880000"},
{"972892334691436248375","1953341542544071680000"},
{"986304617639532480765","1980121364044185600000"},
{"987715453663900933730","1990995569152553779200"},
{"987734162284086881750","1985237707630978944000"},
{"987770849150867241944","2056206905231552640000"},
{"987854380505638500435","2030163152669245440000"},
{"987874094833728074115","2061169249683650641920"},
{"987947198808246105165","2007960186542948352000"},
{"987949524540406513455","2026295724958757683200"},
{"987963779781909556390","2034037385436672000000"},
{"988069219030780596644","2056417711794251366400"},
{"988142697572004803325","2006408047854963916800"},
{"988145046847472821516","2030261395094918092800"},
{"988208647525285892937","2004716343160052121600"},
{"988208798547677106225","2048293582420377600000"},
{"988267851295191339327","1990035775542657024000"},
{"988318336957988739626","1998355451575350067200"},
{"988332618205912931872","2006917899581947968000"},
{"988359470947258351425","2001771498144337920000"},
{"988376294295970430236","1997500689527663738880"},
{"988388891560142787752","2020686202621771776000"},
{"988394781339380944750","2034507434967339171840"},
{"988430842081296914650","2124499972130589081600"},
{"988453025638202285612","2022245809048168704000"},
{"988565291687195154928","1987413763737315513600"},
{"988607263313570381558","1996813333959155712000"},
{"988620397274077580030","1981500975221833728000"},
{"988625611635448943745","2030822494800209510400"},
{"988678565964544795305","2105642793157263360000"},
{"988822490040771877755","2033180749076417740800"},
{"988876529821259033374","1995678521199982080000"},
{"988980945532595407730","2026911485562163200000"},
{"989021755982683943750","2052757146858769612800"},
{"989048735651965568030","1994904788181516288000"},
{"989069714783195582836","2076699070434852864000"},
{"989131093717692698115","1979532998957620592640"},
{"989214819359910303015","2003071601451368448000"},
{"989245904331811274150","1980899092656587980800"},
{"989272208053508347215","2044588241759551488000"},
{"989321668438835130399","2107675553601945600000"},
{"989469810936382498430","2003214084270981120000"},
{"989481267732007667888","2037249123442993152000"},
{"989564206187167083135","2048339196260355398400"},
{"989592738823200403756","1989794089853131161600"},
{"989597735743613973752","1989319185436757852160"},
{"989672826526776589743","2005123120655568076800"},
{"989700701943586631229","2017809951252480000000"},
{"989720241680012267061","2029420007182503936000"},
{"989728506867676400924","2122483410666823680000"},
{"989915307194681800569","2034069321431347200000"},
{"989968980336059307776","1980532823945195520000"},
{"989980130662857020085","2057698414795161600000"},
{"990033310061363529152","1988227577574156441600"},
{"990094813435799295975","1997609142670538342400"},
{"990150802193339309061","1994203476226322989056"},
{"990156065904075906495","1998842261529880166400"},
{"990216453020875401321","2091059218680606720000"},
{"990236679262575307605","1987106242952742912000"},
{"990306625741037735552","1985558949304519680000"},
{"990360349837607263576","1994687109170963251200"},
{"990389307139146848552","1998860188728066048000"},
{"990403841668170476547","2094243007275245998080"},
{"990413632061725039665","1994299654444941312000"},
{"990435605039930359233","2018654895359950848000"},
{"990442710747060783615","1983115164763327795200"},
{"990474714171914738456","2073876849652466073600"},
{"990513211710279544749","2010511886017130496000"},
{"990516094778854991438","2069777408706454487040"},
{"990533787062153208152","1985473282015641600000"},
{"990540379926931054504","2081723901602881536000"},
{"990584428844163182990","2008531149000647040000"},
{"990673188284289296020","2273634895392790820352"},
{"990742794529170288645","2169600942096580608000"},
{"990783673065613524812","2080462098169224806400"},
{"990807340806994568625","2049347655714078720000"},
{"990849260177000395275","1984173506951860224000"},
{"990942957942386227570","2061132069084641280000"},
{"990995828007259826535","1983058702079938560000"},
{"991119454699120463955","2015414115415090790400"},
{"991127537568999149319","1997361162341056512000"},
{"991132484226608396565","2015690225484773376000"},
{"991162043562742996035","1985787093430812672000"},
{"991278421428681832754","1996369813517480755200"},
{"991321511161364774732","2003799275519559598080"},
{"991328479445960043470","2023476325002510336000"},
{"991343204881263571370","1988225142445301760000"},
{"991363827799465658265","1990410912828437299200"},
{"991364062629695658813","1987775299115063377920"},
{"991391837254417092879","1992078276892704000000"},
{"991424763898967105253","2041486224600071208960"},
{"991438492362248747570","2022138093750690263040"},
{"991489728020445524475","2025952368407189913600"},
{"991526964918697962027","1987577264071861862400"},
{"991532572091718923175","2068531902496191283200"},
{"991636773342254111205","1983682070789147688960"},
{"991662088446744884325","2033657137156829184000"},
{"991666827840242576505","2075129307832768266240"},
{"991772947504647778995","1989240165088345128960"},
{"991969025318531743455","2009251007933644800000"},
{"992012670088609390364","2058559729039666944000"},
{"992019666266139858795","1984095209687541350400"},
{"992026730354460786315","2083188086808359731200"},
{"992095355058114351110","2001891313305354240000"},
{"992322296655121539345","2003290131024838656000"},
{"992360014797128478039","2074677746045029171200"},
{"992431719293552333972","1993557830148889804800"},
{"992468618006486710790","2011860243715424256000"},
{"992487064822763346250","2003627365701857280000"},
{"992491440175513305675","2016256718211918336000"},
{"992506132672787082008","2010015338895083520000"},
{"992521802108077164693","2024571043106067456000"},
{"992619392824403587305","2057180455205638963200"},
{"992624143687086413150","2009908135486218240000"},
{"992640560627500516875","1995825729456599040000"},
{"992666137497283467218","2109443990443130880000"},
{"992676015930708455775","2187008000489810534400"},
{"992755132921041053024","1991725172451995904000"},
{"992763079613157244095","1987374995782660915200"},
{"992766970241564763250","1994619822542290944000"},
{"992930474071197239025","2157924065323253760000"},
{"992980139932227334965","2007988777057871462400"},
{"993096630877433248016","2033238494427678720000"},
{"993216010158608748057","2001021807593484748800"},
{"993232148883591134175","1986995195438638694400"},
{"993259925664714563032","2010388026089963520000"},
{"993323291605475095485","1993947675862222080000"},
{"993371912666756352405","2027503705129943040000"},
{"993385047927483414676","2148490067388766617600"},
{"993452338344938001970","2061598515054988492800"},
{"993460981469186218898","2006031322115867934720"},
{"993530878352612141157","2070709062000904765440"},
{"993552513501372082713","2105163707763916800000"},
{"993559983893311971682","2000173220300124979200"},
{"993566520619762394950","2021578500336502947840"},
{"993607533858940216425","1994369990083972300800"},
{"993636867879272143989","2002642206740819804160"},
{"993642869648833220775","2057033278796009472000"},
{"993666504060333619875","2004289146961920000000"},
{"993670146115440676498","2059545374939256422400"},
{"993675751834702127624","1994167037734502400000"},
{"993724600296758974215","2078219960692781875200"},
{"993777504416845879654","2036745140478935040000"},
{"993840776842082511706","2069565957221253120000"},
{"993920665890293200575","1990928977381580544000"},
{"994091071181821728165","1989167571854784921600"},
{"994092429293295437624","2004886207070208000000"},
{"994107806123173141750","2127656719134296064000"},
{"994218723959097832844","2064676385873938636800"},
{"994219710110858494575","1992101350199792832000"},
{"994229169389158400685","2095119030917387059200"},
{"994239898829099834373","2006183209701526732800"},
{"994242475293784018533","2050632737454292992000"},
{"994391882074544371875","1993611759247391754240"},
{"994409286495313661973","2091505454237122560000"},
{"994477035795852633075","2060737450281861120000"},
{"994500950819011906168","2002037840481571200000"},
{"994511666624491992736","1999303422037021900800"},
{"994513080487034689648","1998334872890631475200"},
{"994549856672792723810","2000780299994112000000"},
{"994553469674979507225","2047598789449973760000"},
{"994561176740072644516","2009121648732342144000"},
{"994580869461081812650","2086891126483451904000"},
{"994704812935638194248","2005123419537315840000"},
{"994739242875882145785","2142009299638745671680"},
{"994789708463338010475","2158828206988197888000"},
{"994812629646568277727","2028388418326093824000"},
{"994863761226163553608","2089715798205258854400"},
{"994873964255852149095","1991998798959375360000"},
{"994882561409380282366","2026920235472894361600"},
{"994897185106125769550","1998089229399021158400"},
{"994928106898881136215","2044368283894001049600"},
{"994951362336954707734","2006243929532328837120"},
{"994960936785538579402","1994320735744296960000"},
{"994974192289913164664","2021658392657756160000"},
{"995026896348190405154","2071904410390671360000"},
{"995032361374426501335","2082317951812357324800"},
{"995047520064409610865","1995098926483856793600"},
{"995073030795662406315","2201963407564287983616"},
{"995079261482381619952","2045026665837901025280"},
{"995081980829432860096","1991990136052578816000"},
{"995119054659463034984","2035166202523238400000"},
{"995142807904723080694","2011144359837066854400"},
{"995178896397839312055","2005567793583809495040"},
{"995185215087981457570","2095905322144972800000"},
{"995199886606553420950","2024308967002811596800"},
{"995226759672631257345","2043408707855843328000"},
{"995235847436751031430","2135460590930614026240"},
{"995418511541906659610","2051600910034533580800"},
{"995420693679193517505","1996003267697914675200"},
{"995448726731100881547","2003704385710325760000"},
{"995479430623327969384","2010679005766717440000"},
{"995509663545657601072","2054844913468267065600"},
{"995511450662163888698","2056326506807279616000"},
{"995546703735286458932","2015549795522956492800"},
{"995551136622425225792","2006365680792329472000"},
{"995625602948297264625","2061111200035829760000"},
{"995648043085713831496","2000722699041454080000"},
{"995778774150118674885","2006342516324450304000"},
{"995784015107063529886","2015376999083255808000"},
{"995789353641173947096","2003036475076116480000"},
{"995809941650059647111","2032850894609409638400"},
{"995819952850030378268","2086666227338586550272"},
{"995979716096979303998","1995371960817844224000"},
{"996002278570606768695","1992256097255424000000"},
{"996034890218708864824","2007809501464166400000"},
{"996054439126405823325","2073848141746559692800"},
{"996070873134077372475","1995347925838403136000"},
{"996075821060049785685","2008132062409654272000"},
{"996085511234364037185","2018566391585103360000"},
{"996165775309773971115","1997851734167224320000"},
{"996182160418224952875","2034096894679449600000"},
{"996247133634679560250","2019007011512365056000"},
{"996252918078935683089","2068792155845775360000"},
{"996352254971938356338","2073637972967313392640"},
{"996413548061681778650","2007400117707629568000"},
{"996417373215094850943","1993270254770995200000"},
{"996444458348411401856","1998421839150815232000"},
{"996512354583071930368","2004372765477230148000"},
{"996547001971524780208","2041873391740479897600"},
{"996641458230310537905","2010758669772049612800"},
{"996670422632139003525","2033949391003385856000"},
{"996719475056430682557","2028024507906270720000"},
{"996719628906669987225","2036109724822772121600"},
{"996740454220179764535","2101154208021872640000"},
{"996771827802803200670","1999448878782136320000"},
{"996789398953584935008","2012567429877364039680"},
{"996854660183656747473","2076519986374901760000"},
{"996913167745544504182","2014226942717032243200"},
{"996972587286011988435","2008437142450178119680"},
{"996974567636064268316","2021439517115608719360"},
{"997009385300439389516","2049384566411484825600"},
{"997051243508590231490","2011744181551104000000"},
{"997082242217090234625","2098506321591533568000"},
{"997092247778859078675","2074510414532874240000"},
{"997095121778496481408","1997756864810784000000"},
{"997206029078465998450","2050177040771827968000"},
{"997210567988726721795","2019159217091823206400"},
{"997267537072048825726","2036424847973548032000"},
{"997305247180242336765","2010699936603832320000"},
{"997307559033791198193","2086684793449611264000"},
{"997392763188701906355","2003067747114794680320"},
{"997500426719590936725","2018394925660482969600"},
{"997626284512952984992","2003342747357952000000"},
{"997632989741851970325","2079963142382813184000"},
{"997704242340813658714","2028229307483258880000"},
{"997775984110732683766","2084236268367052800000"},
{"997831811019211436475","2036532829467370291200"},
{"997946290711120263536","2036328927847252070400"},
{"997950339641290201335","2026066136680434401280"},
{"997950389490438528914","1998632611056028147200"},
{"997953898148615259616","2001616850612066688000"},
{"997969513919818886138","2073858753268128153600"},
{"997974513747184362975","2002028183646614323200"},
{"997977118201828779285","2011951198316328192000"},
{"997977504913664939433","2077853341323094917120"},
{"997987929725185032465","2194879835333385787392"},
{"998002932768782138096","2009365966514110464000"},
{"998005188292769426679","2008458006769984573440"},
{"998006556643120743650","2009785498959744000000"},
{"998009324958590161425","2050696204514371814400"},
{"998009880188283306712","2016115471847264256000"},
{"998013324260910437415","2030266748817970790400"},
{"998018823219167930985","2052537034356357120000"},
{"998044321184239839705","2028805346665088409600"},
{"998044667898476098095","2014714037072056320000"},
{"998062758957781902825","2036650995647582146560"},
{"998064127977013001950","2064320313059966976000"},
{"998065964547067703625","2008618516122740121600"},
{"998066857238233467128","2073228778671114240000"},
{"998068745145916411275","2117929503996149760000"},
{"998069952719205888214","2011493119903251038208"},
{"998075494069348581136","2000149021353690611712"},
{"998092410207496815519","2003517867715173089280"},
{"998099884775434933192","2029940027374511831040"},
{"998101665012294299625","2050828763404861440000"},
{"998102314296712244750","2037585672318046556160"},
{"998104119072205578884","2042190915177853440000"},
{"998107940854107314775","2012265176338520064000"},
{"998114425840932356288","2007913719134805237504"},
{"998118623219717614923","2010192205698780364800"},
{"998120762399918587532","2087226044829499392000"},
{"998125648050834351825","1997423789079527424000"},
{"998136252578785169619","2081586762908319744000"},
{"998141663490627387501","2051096332216909824000"},
{"998144555431935225622","2011455909191393280000"},
{"998152851812203021473","2077637600850739200000"},
{"998153662653593933949","2029668181692383232000"},
{"998162475785557915833","2074886036383452364800"},
{"998166430037444247112","2090776768698562560000"},
{"998166845703698241417","2002114796291850240000"},
{"998168226151114242356","2022161244391198310400"},
{"998173789696036888796","2007684023662153267200"},
{"998183918801651377568","2002507744564647936000"},
{"998185650278960785504","2018895486267960115200"},
{"998189013235485080079","2061822436780474368000"},
{"998196051357005305244","2035352819564489779200"},
{"998213271120543064750","2021816556943264972800"},
{"998216424288571944412","2029816602151962624000"},
{"998224007965078911824","2016881686435192012800"},
{"998224318407364116844","2049624137997644544000"},
{"998226745477976375361","2181575079926135562240"},
{"998228080595420929695","2038095393079689216000"},
{"998230373350605226377","2008732698645184512000"},
{"998230699766895810735","2028812862505290301440"},
{"998234441098494310575","2101612090274611200000"},
{"998238884040796476897","2039744618147742105600"},
{"998238893657366962965","2080685781105019038720"},
{"998241483141725426888","2084757542258889738240"},
{"998246459346370889230","2033189711421397401600"},
{"998247056612378860690","2008696427710959168000"},
{"998248286321561726451","2077189854976051200000"},
{"998251791104680478656","2012171619778729113600"},
{"998257030459801311045","2102918321349328896000"},
{"998262661306693171192","2001147187301299699200"},
{"998268929765276350288","2022128539471105228800"},
{"998269185243115870172","2002498718526738432000"},
{"998271004272143420750","2056309344242557747200"},
{"998271117129049078096","2049906652334688026880"},
{"998274955144981845555","2177303188630192128000"},
{"998275179672882309375","2027908718035200000000"},
{"998275743225327610352","2029080320323854336000"},
{"998275804445362325355","2085436536472870963200"},
{"998277436659229456064","1999417350526077081600"},
{"998277950724341972750","2053056998410025287680"},
{"998281317446474270625","2048331366066585600000"},
{"998281880971372588750","1996858659696316416000"},
{"998290776958876829870","2004673700231774208000"},
{"998291735320406834175","2021347838642356224000"},
{"998294767862556274245","2005990458476855685120"},
{"998303117131586415842","2013716022155653939200"},
{"998303222050012658175","1997294361425294131200"},
{"998303310467552453049","2016629408195988364800"},
{"998305126913891886375","2018583470933213184000"},
{"998314665477870756392","2108607415681536000000"},
{"998314825647056236484","2029961505962218752000"},
{"998320388033012656725","2017777479726351974400"},
{"998320590224616871275","2036394233563447296000"},
{"998320814312347039185","2101589785086105600000"},
{"998323164333125513576","2012205213748224000000"},
{"998328540345654964030","2140895164714190438400"},
{"998332200104127964250","2216522501450272604160"},
{"998333167913146493415","2003411874045933711360"},
{"998333542132040502310","2056542365328482304000"},
{"998334419545410745798","2054458196034177024000"},
{"998336021388115885706","2005792853458900746240"},
{"998337523899353547987","2055130032045333196800"},
{"998340231845339749366","2220815651516485632000"},
{"998341658413073815552","1996934531441382973440"},
{"998350686391298844825","2003160804393846988800"},
{"998353298900264418657","2000824253830279987200"},
{"998354832454423355210","2037958672815233280000"},
{"998355866097249287024","2011180200840074880000"},
{"998357009748154463936","2006547547831245619200"},
{"998357343229544171625","2042111005235159040000"},
{"998365054869107691675","2081227694214316032000"},
{"998371681921550489385","2006370238364819712000"},
{"998372361653706065103","2008326154889134080000"},
{"998376336536455277830","2150055913123631923200"},
{"998377458611545343331","2109538688684889047040"},
{"998378951143750601968","2040817898617938316800"},
{"998380984962184828875","2005037633907270144000"},
{"998381008913072434083","2010437175625482240000"},
{"998381287546403867865","2024698141034234265600"},
{"998382528759996102975","2065129195846555238400"},
{"998385743210053526174","2009596827893347123200"},
{"998387261008082472250","2019586536652898304000"},
{"998387673609249743048","2025899780151582720000"},
{"998387770397269856768","1998374275794084249600"},
{"998388985611647573775","2000426983577777664000"},
{"998392241866656406665","2008929077038743552000"},
{"998397455934245896035","2010083428310630400000"},
{"998400587584295128275","2113815600508753152000"},
{"998403338510353741329","2072411762030965555200"},
{"998406908953576167375","2012912084601639936000"},
{"998409272202452370375","2015437357210927104000"},
{"998411917160379988695","2111846919244244582400"},
{"998413022348889941870","2054260831549489920000"},
{"998415612246498909645","2136173314280366592000"},
{"998420124096359887923","2082757645295308800000"},
{"998423720513985322935","1997784793200688128000"},
{"998427731219656961630","2092197550278721536000"},
{"998429367978104254731","2190300671674981324800"},
{"998430293423208371570","2103348412617338880000"},
{"998434288846380316125","2036267877849130598400"},
{"998434829403771432442","2007144156745728000000"},
{"998435707760862900375","2071739821797015552000"},
{"998439921725159754945","2054572374894284044800"},
{"998441845145067169575","2002128652237012992000"},
{"998445815176770111052","2032332663576821760000"},
{"998453548302942273284","2047307484435333120000"},
{"998453881000302925198","2037006618599467468800"},
{"998456134449140720716","2073759545709069926400"},
{"998457131513895287715","2000516120708118773760"},
{"998457636717368985950","2072390026149273600000"},
{"998457701101331277105","2058617970280295424000"},
{"998458456147155661970","2036371021481212416000"},
{"998461289641829766350","2069019122729700556800"},
{"998464720584807464690","2038104317702509056000"},
{"998470087783795748150","2005582046752303718400"},
{"998483699770594120312","2017728109931624026560"},
{"998486244282201395721","1999829607223866163200"},
{"998487391397247069435","2047418755459819822080"},
{"998489229608853446373","2001906171915826176000"},
{"998493298755469391512","2056570012714989219840"},
{"998494640256356401851","2131489484196728832000"},
{"998497535479561166434","2085965445863256883200"},
{"998497699440161341490","2000746876300033720320"},
{"998499287952756030285","2154026696033892556800"},
{"998500767802810010739","2024594374077370368000"},
{"998501368012447102155","2000682601434316800000"},
{"998501572948032219016","2020099474229299200000"},
{"998501899062474948225","2019095527935467520000"},
{"998501931173645789175","2035973373021388800000"},
{"998507358908731224104","2030277708894339072000"},
{"998510130120721839225","2014882508065996800000"},
{"998515351512667208038","2025382500223178342400"},
{"998515595740902479422","2001123203936197017600"},
{"998517414369377071845","2022512147412664320000"},
{"998517667886654558632","2072701157283993600000"},
{"998521487424078481875","2054721117361651200000"},
{"998523264730164443325","2191708866047718850560"},
{"998528153114558175375","2034074746411868160000"},
{"998528755761810097209","2016788506084638720000"},
{"998529987710964437235","2079877439644139520000"},
{"998534008031833034775","2132142693754813968384"},
{"998534104869280478835","2003871310261361049600"},
{"998535960830874536128","2010740945088395520000"},
{"998536009105864907775","2004813551854839398400"},
{"998536270324956010011","2015905784239226880000"},
{"998536885336158597992","2000737538329001472000"},
{"998538984243239814837","2040479644900541644800"},
{"998541791665471543750","2151450391410620891136"},
{"998543186694616079205","2013165589215965184000"},
{"998545114915833174417","2040708529592158345920"},
{"998545546581548031950","2094110686962445536000"},
{"998545556079206468655","2226813857417431166976"},
{"998549913627470023281","2000945822086987776000"},
{"998550572032038284415","2138953975215095808000"},
{"998552807693850333375","2082583732950190080000"},
{"998559577035218904615","2233155891769570639872"},
{"998560006633547958645","2032367500558467072000"},
{"998560385656786736091","2015651630925899366400"},
{"998560724439259855575","2003797672085705932800"},
{"998560798778183184410","2021692643402755276800"},
{"998563329878367041464","2097741470547824640000"},
{"998563717503868906305","2020617884247727564800"},
{"998564883742642765725","2179867547864107745280"},
{"998568885754568502855","2003108740599007641600"},
{"998571774946473208228","2012770242639636480000"},
{"998572830287912672032","2014986819089599488000"},
{"998578695746181662385","1997841884361523200000"},
{"998580340302069646935","2011980765937983160320"},
{"998586212029212216795","2021092505811025920000"},
{"998586872889284293875","2005121725637861376000"},
{"998589427577198804295","2009922075559157760000"},
{"998598399944388467679","2011764726535186022400"},
{"998600311965187526049","2019969454986362880000"},
{"998601916121363960835","2049958938733151846400"},
{"998602743151395490875","2078578669898465280000"},
{"998606308720125384825","2037439912664501452800"},
{"998606373288478317675","2062020420902835993600"},
{"998609770944131715135","2008040586450606489600"},
{"998611440488493766011","1997824262436805017600"},
{"998615081788870610025","2058991098527101939200"},
{"998615271583808721656","2092465891053304704000"},
{"998615935442371935950","2118990798013985280000"},
{"998618363523056521791","2026986433984512000000"},
{"998620538904009529250","2049329570375393280000"},
{"998622551951893502505","2019795290229414297600"},
{"998622668752743063068","2050779015154501632000"},
{"998622784066210445415","2026180375320987648000"},
{"998623243877315522774","2003246160427911168000"},
{"998628601516336393875","2030817588107083776000"},
{"998631597781588227345","2146552317438221721600"},
{"998636938145050199325","2127483472297328640000"},
{"998637626201971360605","2145379197934233354240"},
{"998643997011578612877","2010798309590460149760"},
{"998646662386335985425","2028439088964288000000"},
{"998649137649077665443","2035105391177839411200"},
{"998650333862622176175","2057751054071451648000"},
{"998652209314163979825","2003165538800025600000"},
{"998655200932654907649","2031295718092780339200"},
{"998655651289079723115","1999758698117521735680"},
{"998655767354768330588","1999947280330137600000"},
{"998657531561896325990","2054949443884911974400"},
{"998663095874686151848","2039928840003656448000"},
{"998665581790788459093","2015932639802425344000"},
{"998669863826371769516","2002136585883033600000"},
{"998670357289950792525","1999958495399190144000"},
{"998673895900101575860","2225991510843579408384"},
{"998673962067848153295","2055375723498415718400"},
{"998677376312840195985","2084187162307461120000"},
{"998677705853714607567","2012278171313329920000"},
{"998684371208924881502","2053239540127314739200"},
{"998686437799469966001","2011648806236160000000"},
{"998687244098327874844","2136667481969629593600"},
{"998690363384582460075","2031660439758441676800"},
{"998691411600508501953","2008881943894425600000"},
{"998692018511464906504","2004337696325852160000"},
{"998692603620078474315","2020519212361732454400"},