forked from NVIDIA/cuda-samples
-
Notifications
You must be signed in to change notification settings - Fork 0
/
sobol_primitives.cpp
10273 lines (10269 loc) · 976 KB
/
sobol_primitives.cpp
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
/* Copyright (c) 2022, NVIDIA CORPORATION. All rights reserved.
*
* Redistribution and use in source and binary forms, with or without
* modification, are permitted provided that the following conditions
* are met:
* * Redistributions of source code must retain the above copyright
* notice, this list of conditions and the following disclaimer.
* * Redistributions in binary form must reproduce the above copyright
* notice, this list of conditions and the following disclaimer in the
* documentation and/or other materials provided with the distribution.
* * Neither the name of NVIDIA CORPORATION nor the names of its
* contributors may be used to endorse or promote products derived
* from this software without specific prior written permission.
*
* THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS ``AS IS'' AND ANY
* EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
* IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
* PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
* CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
* EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
* PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
* PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
* OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
* (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
* OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
*/
/*
* Portions Copyright (c) 2009 Mike Giles, Oxford University. All rights
* reserved.
* Portions Copyright (c) 2008 Frances Y. Kuo and Stephen Joe. All rights
* reserved.
*
* Sobol Quasi-random Number Generator example
*
* Based on CUDA code submitted by Mike Giles, Oxford University, United Kingdom
* http://people.maths.ox.ac.uk/~gilesm/
*
* and C code developed by Stephen Joe, University of Waikato, New Zealand
* and Frances Kuo, University of New South Wales, Australia
* http://web.maths.unsw.edu.au/~fkuo/sobol/
*
* For theoretical background see:
*
* P. Bratley and B.L. Fox.
* Implementing Sobol's quasirandom sequence generator
* http://portal.acm.org/citation.cfm?id=42288
* ACM Trans. on Math. Software, 14(1):88-100, 1988
*
* S. Joe and F. Kuo.
* Remark on algorithm 659: implementing Sobol's quasirandom sequence generator.
* http://portal.acm.org/citation.cfm?id=641879
* ACM Trans. on Math. Software, 29(1):49-57, 2003
*
*/
#include "sobol_primitives.h"
// Each primitive is stored as a struct where
// dimension is the dimension number of the polynomial (unused)
// degree is the degree of the polynomial
// a is a binary word representing the coefficients
// m is the array of m values
// The primitives are based on those generated by Stephen Joe and
// Frances Kuo in the joe-kuo-6.10200 set.
// c.f. http://web.maths.unsw.edu.au/~fkuo/sobol/index.html
const struct primitive sobol_primitives[] =
{
// First dimension is a special case so this entry is actually ignored
{1, 0, 0, {}},
{2, 1, 0, {1}},
{3, 2, 1, {1, 3}},
{4, 3, 1, {1, 3, 1}},
{5, 3, 2, {1, 1, 1}},
{6, 4, 1, {1, 1, 3, 3}},
{7, 4, 4, {1, 3, 5, 13}},
{8, 5, 2, {1, 1, 5, 5, 17}},
{9, 5, 4, {1, 1, 5, 5, 5}},
{10, 5, 7, {1, 1, 7, 11, 19}},
{11, 5, 11, {1, 1, 5, 1, 1}},
{12, 5, 13, {1, 1, 1, 3, 11}},
{13, 5, 14, {1, 3, 5, 5, 31}},
{14, 6, 1, {1, 3, 3, 9, 7, 49}},
{15, 6, 13, {1, 1, 1, 15, 21, 21}},
{16, 6, 16, {1, 3, 1, 13, 27, 49}},
{17, 6, 19, {1, 1, 1, 15, 7, 5}},
{18, 6, 22, {1, 3, 1, 15, 13, 25}},
{19, 6, 25, {1, 1, 5, 5, 19, 61}},
{20, 7, 1, {1, 3, 7, 11, 23, 15, 103}},
{21, 7, 4, {1, 3, 7, 13, 13, 15, 69}},
{22, 7, 7, {1, 1, 3, 13, 7, 35, 63}},
{23, 7, 8, {1, 3, 5, 9, 1, 25, 53}},
{24, 7, 14, {1, 3, 1, 13, 9, 35, 107}},
{25, 7, 19, {1, 3, 1, 5, 27, 61, 31}},
{26, 7, 21, {1, 1, 5, 11, 19, 41, 61}},
{27, 7, 28, {1, 3, 5, 3, 3, 13, 69}},
{28, 7, 31, {1, 1, 7, 13, 1, 19, 1}},
{29, 7, 32, {1, 3, 7, 5, 13, 19, 59}},
{30, 7, 37, {1, 1, 3, 9, 25, 29, 41}},
{31, 7, 41, {1, 3, 5, 13, 23, 1, 55}},
{32, 7, 42, {1, 3, 7, 3, 13, 59, 17}},
{33, 7, 50, {1, 3, 1, 3, 5, 53, 69}},
{34, 7, 55, {1, 1, 5, 5, 23, 33, 13}},
{35, 7, 56, {1, 1, 7, 7, 1, 61, 123}},
{36, 7, 59, {1, 1, 7, 9, 13, 61, 49}},
{37, 7, 62, {1, 3, 3, 5, 3, 55, 33}},
{38, 8, 14, {1, 3, 1, 15, 31, 13, 49, 245}},
{39, 8, 21, {1, 3, 5, 15, 31, 59, 63, 97}},
{40, 8, 22, {1, 3, 1, 11, 11, 11, 77, 249}},
{41, 8, 38, {1, 3, 1, 11, 27, 43, 71, 9}},
{42, 8, 47, {1, 1, 7, 15, 21, 11, 81, 45}},
{43, 8, 49, {1, 3, 7, 3, 25, 31, 65, 79}},
{44, 8, 50, {1, 3, 1, 1, 19, 11, 3, 205}},
{45, 8, 52, {1, 1, 5, 9, 19, 21, 29, 157}},
{46, 8, 56, {1, 3, 7, 11, 1, 33, 89, 185}},
{47, 8, 67, {1, 3, 3, 3, 15, 9, 79, 71}},
{48, 8, 70, {1, 3, 7, 11, 15, 39, 119, 27}},
{49, 8, 84, {1, 1, 3, 1, 11, 31, 97, 225}},
{50, 8, 97, {1, 1, 1, 3, 23, 43, 57, 177}},
{51, 8, 103, {1, 3, 7, 7, 17, 17, 37, 71}},
{52, 8, 115, {1, 3, 1, 5, 27, 63, 123, 213}},
{53, 8, 122, {1, 1, 3, 5, 11, 43, 53, 133}},
{54, 9, 8, {1, 3, 5, 5, 29, 17, 47, 173, 479}},
{55, 9, 13, {1, 3, 3, 11, 3, 1, 109, 9, 69}},
{56, 9, 16, {1, 1, 1, 5, 17, 39, 23, 5, 343}},
{57, 9, 22, {1, 3, 1, 5, 25, 15, 31, 103, 499}},
{58, 9, 25, {1, 1, 1, 11, 11, 17, 63, 105, 183}},
{59, 9, 44, {1, 1, 5, 11, 9, 29, 97, 231, 363}},
{60, 9, 47, {1, 1, 5, 15, 19, 45, 41, 7, 383}},
{61, 9, 52, {1, 3, 7, 7, 31, 19, 83, 137, 221}},
{62, 9, 55, {1, 1, 1, 3, 23, 15, 111, 223, 83}},
{63, 9, 59, {1, 1, 5, 13, 31, 15, 55, 25, 161}},
{64, 9, 62, {1, 1, 3, 13, 25, 47, 39, 87, 257}},
{65, 9, 67, {1, 1, 1, 11, 21, 53, 125, 249, 293}},
{66, 9, 74, {1, 1, 7, 11, 11, 7, 57, 79, 323}},
{67, 9, 81, {1, 1, 5, 5, 17, 13, 81, 3, 131}},
{68, 9, 82, {1, 1, 7, 13, 23, 7, 65, 251, 475}},
{69, 9, 87, {1, 3, 5, 1, 9, 43, 3, 149, 11}},
{70, 9, 91, {1, 1, 3, 13, 31, 13, 13, 255, 487}},
{71, 9, 94, {1, 3, 3, 1, 5, 63, 89, 91, 127}},
{72, 9, 103, {1, 1, 3, 3, 1, 19, 123, 127, 237}},
{73, 9, 104, {1, 1, 5, 7, 23, 31, 37, 243, 289}},
{74, 9, 109, {1, 1, 5, 11, 17, 53, 117, 183, 491}},
{75, 9, 122, {1, 1, 1, 5, 1, 13, 13, 209, 345}},
{76, 9, 124, {1, 1, 3, 15, 1, 57, 115, 7, 33}},
{77, 9, 137, {1, 3, 1, 11, 7, 43, 81, 207, 175}},
{78, 9, 138, {1, 3, 1, 1, 15, 27, 63, 255, 49}},
{79, 9, 143, {1, 3, 5, 3, 27, 61, 105, 171, 305}},
{80, 9, 145, {1, 1, 5, 3, 1, 3, 57, 249, 149}},
{81, 9, 152, {1, 1, 3, 5, 5, 57, 15, 13, 159}},
{82, 9, 157, {1, 1, 1, 11, 7, 11, 105, 141, 225}},
{83, 9, 167, {1, 3, 3, 5, 27, 59, 121, 101, 271}},
{84, 9, 173, {1, 3, 5, 9, 11, 49, 51, 59, 115}},
{85, 9, 176, {1, 1, 7, 1, 23, 45, 125, 71, 419}},
{86, 9, 181, {1, 1, 3, 5, 23, 5, 105, 109, 75}},
{87, 9, 182, {1, 1, 7, 15, 7, 11, 67, 121, 453}},
{88, 9, 185, {1, 3, 7, 3, 9, 13, 31, 27, 449}},
{89, 9, 191, {1, 3, 1, 15, 19, 39, 39, 89, 15}},
{90, 9, 194, {1, 1, 1, 1, 1, 33, 73, 145, 379}},
{91, 9, 199, {1, 3, 1, 15, 15, 43, 29, 13, 483}},
{92, 9, 218, {1, 1, 7, 3, 19, 27, 85, 131, 431}},
{93, 9, 220, {1, 3, 3, 3, 5, 35, 23, 195, 349}},
{94, 9, 227, {1, 3, 3, 7, 9, 27, 39, 59, 297}},
{95, 9, 229, {1, 1, 3, 9, 11, 17, 13, 241, 157}},
{96, 9, 230, {1, 3, 7, 15, 25, 57, 33, 189, 213}},
{97, 9, 234, {1, 1, 7, 1, 9, 55, 73, 83, 217}},
{98, 9, 236, {1, 3, 3, 13, 19, 27, 23, 113, 249}},
{99, 9, 241, {1, 3, 5, 3, 23, 43, 3, 253, 479}},
{100, 9, 244, {1, 1, 5, 5, 11, 5, 45, 117, 217}},
{101, 9, 253, {1, 3, 3, 7, 29, 37, 33, 123, 147}},
{102, 10, 4, {1, 3, 1, 15, 5, 5, 37, 227, 223, 459}},
{103, 10, 13, {1, 1, 7, 5, 5, 39, 63, 255, 135, 487}},
{104, 10, 19, {1, 3, 1, 7, 9, 7, 87, 249, 217, 599}},
{105, 10, 22, {1, 1, 3, 13, 9, 47, 7, 225, 363, 247}},
{106, 10, 50, {1, 3, 7, 13, 19, 13, 9, 67, 9, 737}},
{107, 10, 55, {1, 3, 5, 5, 19, 59, 7, 41, 319, 677}},
{108, 10, 64, {1, 1, 5, 3, 31, 63, 15, 43, 207, 789}},
{109, 10, 69, {1, 1, 7, 9, 13, 39, 3, 47, 497, 169}},
{110, 10, 98, {1, 3, 1, 7, 21, 17, 97, 19, 415, 905}},
{111, 10, 107, {1, 3, 7, 1, 3, 31, 71, 111, 165, 127}},
{112, 10, 115, {1, 1, 5, 11, 1, 61, 83, 119, 203, 847}},
{113, 10, 121, {1, 3, 3, 13, 9, 61, 19, 97, 47, 35}},
{114, 10, 127, {1, 1, 7, 7, 15, 29, 63, 95, 417, 469}},
{115, 10, 134, {1, 3, 1, 9, 25, 9, 71, 57, 213, 385}},
{116, 10, 140, {1, 3, 5, 13, 31, 47, 101, 57, 39, 341}},
{117, 10, 145, {1, 1, 3, 3, 31, 57, 125, 173, 365, 551}},
{118, 10, 152, {1, 3, 7, 1, 13, 57, 67, 157, 451, 707}},
{119, 10, 158, {1, 1, 1, 7, 21, 13, 105, 89, 429, 965}},
{120, 10, 161, {1, 1, 5, 9, 17, 51, 45, 119, 157, 141}},
{121, 10, 171, {1, 3, 7, 7, 13, 45, 91, 9, 129, 741}},
{122, 10, 181, {1, 3, 7, 1, 23, 57, 67, 141, 151, 571}},
{123, 10, 194, {1, 1, 3, 11, 17, 47, 93, 107, 375, 157}},
{124, 10, 199, {1, 3, 3, 5, 11, 21, 43, 51, 169, 915}},
{125, 10, 203, {1, 1, 5, 3, 15, 55, 101, 67, 455, 625}},
{126, 10, 208, {1, 3, 5, 9, 1, 23, 29, 47, 345, 595}},
{127, 10, 227, {1, 3, 7, 7, 5, 49, 29, 155, 323, 589}},
{128, 10, 242, {1, 3, 3, 7, 5, 41, 127, 61, 261, 717}},
{129, 10, 251, {1, 3, 7, 7, 17, 23, 117, 67, 129, 1009}},
{130, 10, 253, {1, 1, 3, 13, 11, 39, 21, 207, 123, 305}},
{131, 10, 265, {1, 1, 3, 9, 29, 3, 95, 47, 231, 73}},
{132, 10, 266, {1, 3, 1, 9, 1, 29, 117, 21, 441, 259}},
{133, 10, 274, {1, 3, 1, 13, 21, 39, 125, 211, 439, 723}},
{134, 10, 283, {1, 1, 7, 3, 17, 63, 115, 89, 49, 773}},
{135, 10, 289, {1, 3, 7, 13, 11, 33, 101, 107, 63, 73}},
{136, 10, 295, {1, 1, 5, 5, 13, 57, 63, 135, 437, 177}},
{137, 10, 301, {1, 1, 3, 7, 27, 63, 93, 47, 417, 483}},
{138, 10, 316, {1, 1, 3, 1, 23, 29, 1, 191, 49, 23}},
{139, 10, 319, {1, 1, 3, 15, 25, 55, 9, 101, 219, 607}},
{140, 10, 324, {1, 3, 1, 7, 7, 19, 51, 251, 393, 307}},
{141, 10, 346, {1, 3, 3, 3, 25, 55, 17, 75, 337, 3}},
{142, 10, 352, {1, 1, 1, 13, 25, 17, 65, 45, 479, 413}},
{143, 10, 361, {1, 1, 7, 7, 27, 49, 99, 161, 213, 727}},
{144, 10, 367, {1, 3, 5, 1, 23, 5, 43, 41, 251, 857}},
{145, 10, 382, {1, 3, 3, 7, 11, 61, 39, 87, 383, 835}},
{146, 10, 395, {1, 1, 3, 15, 13, 7, 29, 7, 505, 923}},
{147, 10, 398, {1, 3, 7, 1, 5, 31, 47, 157, 445, 501}},
{148, 10, 400, {1, 1, 3, 7, 1, 43, 9, 147, 115, 605}},
{149, 10, 412, {1, 3, 3, 13, 5, 1, 119, 211, 455, 1001}},
{150, 10, 419, {1, 1, 3, 5, 13, 19, 3, 243, 75, 843}},
{151, 10, 422, {1, 3, 7, 7, 1, 19, 91, 249, 357, 589}},
{152, 10, 426, {1, 1, 1, 9, 1, 25, 109, 197, 279, 411}},
{153, 10, 428, {1, 3, 1, 15, 23, 57, 59, 135, 191, 75}},
{154, 10, 433, {1, 1, 5, 15, 29, 21, 39, 253, 383, 349}},
{155, 10, 446, {1, 3, 3, 5, 19, 45, 61, 151, 199, 981}},
{156, 10, 454, {1, 3, 5, 13, 9, 61, 107, 141, 141, 1}},
{157, 10, 457, {1, 3, 1, 11, 27, 25, 85, 105, 309, 979}},
{158, 10, 472, {1, 3, 3, 11, 19, 7, 115, 223, 349, 43}},
{159, 10, 493, {1, 1, 7, 9, 21, 39, 123, 21, 275, 927}},
{160, 10, 505, {1, 1, 7, 13, 15, 41, 47, 243, 303, 437}},
{161, 10, 508, {1, 1, 1, 7, 7, 3, 15, 99, 409, 719}},
{162, 11, 2, {1, 3, 3, 15, 27, 49, 113, 123, 113, 67, 469}},
{163, 11, 11, {1, 3, 7, 11, 3, 23, 87, 169, 119, 483, 199}},
{164, 11, 21, {1, 1, 5, 15, 7, 17, 109, 229, 179, 213, 741}},
{165, 11, 22, {1, 1, 5, 13, 11, 17, 25, 135, 403, 557, 1433}},
{166, 11, 35, {1, 3, 1, 1, 1, 61, 67, 215, 189, 945, 1243}},
{167, 11, 49, {1, 1, 7, 13, 17, 33, 9, 221, 429, 217, 1679}},
{168, 11, 50, {1, 1, 3, 11, 27, 3, 15, 93, 93, 865, 1049}},
{169, 11, 56, {1, 3, 7, 7, 25, 41, 121, 35, 373, 379, 1547}},
{170, 11, 61, {1, 3, 3, 9, 11, 35, 45, 205, 241, 9, 59}},
{171, 11, 70, {1, 3, 1, 7, 3, 51, 7, 177, 53, 975, 89}},
{172, 11, 74, {1, 1, 3, 5, 27, 1, 113, 231, 299, 759, 861}},
{173, 11, 79, {1, 3, 3, 15, 25, 29, 5, 255, 139, 891, 2031}},
{174, 11, 84, {1, 3, 1, 1, 13, 9, 109, 193, 419, 95, 17}},
{175, 11, 88, {1, 1, 7, 9, 3, 7, 29, 41, 135, 839, 867}},
{176, 11, 103, {1, 1, 7, 9, 25, 49, 123, 217, 113, 909, 215}},
{177, 11, 104, {1, 1, 7, 3, 23, 15, 43, 133, 217, 327, 901}},
{178, 11, 112, {1, 1, 3, 3, 13, 53, 63, 123, 477, 711, 1387}},
{179, 11, 115, {1, 1, 3, 15, 7, 29, 75, 119, 181, 957, 247}},
{180, 11, 117, {1, 1, 1, 11, 27, 25, 109, 151, 267, 99, 1461}},
{181, 11, 122, {1, 3, 7, 15, 5, 5, 53, 145, 11, 725, 1501}},
{182, 11, 134, {1, 3, 7, 1, 9, 43, 71, 229, 157, 607, 1835}},
{183, 11, 137, {1, 3, 3, 13, 25, 1, 5, 27, 471, 349, 127}},
{184, 11, 146, {1, 1, 1, 1, 23, 37, 9, 221, 269, 897, 1685}},
{185, 11, 148, {1, 1, 3, 3, 31, 29, 51, 19, 311, 553, 1969}},
{186, 11, 157, {1, 3, 7, 5, 5, 55, 17, 39, 475, 671, 1529}},
{187, 11, 158, {1, 1, 7, 1, 1, 35, 47, 27, 437, 395, 1635}},
{188, 11, 162, {1, 1, 7, 3, 13, 23, 43, 135, 327, 139, 389}},
{189, 11, 164, {1, 3, 7, 3, 9, 25, 91, 25, 429, 219, 513}},
{190, 11, 168, {1, 1, 3, 5, 13, 29, 119, 201, 277, 157, 2043}},
{191, 11, 173, {1, 3, 5, 3, 29, 57, 13, 17, 167, 739, 1031}},
{192, 11, 185, {1, 3, 3, 5, 29, 21, 95, 27, 255, 679, 1531}},
{193, 11, 186, {1, 3, 7, 15, 9, 5, 21, 71, 61, 961, 1201}},
{194, 11, 191, {1, 3, 5, 13, 15, 57, 33, 93, 459, 867, 223}},
{195, 11, 193, {1, 1, 1, 15, 17, 43, 127, 191, 67, 177, 1073}},
{196, 11, 199, {1, 1, 1, 15, 23, 7, 21, 199, 75, 293, 1611}},
{197, 11, 213, {1, 3, 7, 13, 15, 39, 21, 149, 65, 741, 319}},
{198, 11, 214, {1, 3, 7, 11, 23, 13, 101, 89, 277, 519, 711}},
{199, 11, 220, {1, 3, 7, 15, 19, 27, 85, 203, 441, 97, 1895}},
{200, 11, 227, {1, 3, 1, 3, 29, 25, 21, 155, 11, 191, 197}},
{201, 11, 236, {1, 1, 7, 5, 27, 11, 81, 101, 457, 675, 1687}},
{202, 11, 242, {1, 3, 1, 5, 25, 5, 65, 193, 41, 567, 781}},
{203, 11, 251, {1, 3, 1, 5, 11, 15, 113, 77, 411, 695, 1111}},
{204, 11, 256, {1, 1, 3, 9, 11, 53, 119, 171, 55, 297, 509}},
{205, 11, 259, {1, 1, 1, 1, 11, 39, 113, 139, 165, 347, 595}},
{206, 11, 265, {1, 3, 7, 11, 9, 17, 101, 13, 81, 325, 1733}},
{207, 11, 266, {1, 3, 1, 1, 21, 43, 115, 9, 113, 907, 645}},
{208, 11, 276, {1, 1, 7, 3, 9, 25, 117, 197, 159, 471, 475}},
{209, 11, 292, {1, 3, 1, 9, 11, 21, 57, 207, 485, 613, 1661}},
{210, 11, 304, {1, 1, 7, 7, 27, 55, 49, 223, 89, 85, 1523}},
{211, 11, 310, {1, 1, 5, 3, 19, 41, 45, 51, 447, 299, 1355}},
{212, 11, 316, {1, 3, 1, 15, 1, 35, 119, 135, 427, 93, 1311}},
{213, 11, 319, {1, 3, 1, 15, 31, 39, 121, 145, 129, 903, 333}},
{214, 11, 322, {1, 1, 5, 3, 29, 7, 9, 11, 395, 119, 873}},
{215, 11, 328, {1, 3, 5, 11, 27, 29, 5, 117, 469, 31, 1811}},
{216, 11, 334, {1, 1, 7, 15, 21, 25, 71, 15, 89, 1021, 679}},
{217, 11, 339, {1, 3, 7, 9, 21, 39, 51, 111, 327, 809, 845}},
{218, 11, 341, {1, 3, 3, 13, 3, 33, 79, 17, 183, 599, 1859}},
{219, 11, 345, {1, 1, 7, 9, 31, 9, 1, 5, 353, 395, 833}},
{220, 11, 346, {1, 3, 5, 7, 3, 53, 81, 133, 155, 355, 1559}},
{221, 11, 362, {1, 3, 5, 5, 31, 13, 89, 195, 357, 769, 889}},
{222, 11, 367, {1, 1, 7, 1, 9, 21, 77, 31, 269, 857, 923}},
{223, 11, 372, {1, 1, 1, 11, 11, 27, 61, 185, 329, 685, 325}},
{224, 11, 375, {1, 1, 1, 5, 11, 31, 71, 79, 293, 29, 17}},
{225, 11, 376, {1, 1, 7, 7, 7, 41, 65, 167, 67, 153, 1305}},
{226, 11, 381, {1, 3, 3, 5, 23, 45, 109, 205, 191, 649, 749}},
{227, 11, 385, {1, 1, 7, 7, 17, 1, 73, 211, 19, 797, 1009}},
{228, 11, 388, {1, 1, 5, 9, 23, 15, 117, 213, 183, 477, 1301}},
{229, 11, 392, {1, 1, 5, 13, 23, 35, 55, 151, 267, 883, 1479}},
{230, 11, 409, {1, 1, 1, 7, 5, 43, 77, 11, 149, 297, 329}},
{231, 11, 415, {1, 1, 7, 15, 3, 41, 55, 123, 219, 499, 377}},
{232, 11, 416, {1, 3, 3, 1, 27, 7, 113, 141, 173, 379, 1087}},
{233, 11, 421, {1, 3, 1, 9, 7, 25, 45, 49, 415, 329, 483}},
{234, 11, 428, {1, 1, 7, 7, 7, 15, 75, 191, 305, 757, 813}},
{235, 11, 431, {1, 3, 7, 5, 31, 15, 21, 247, 29, 297, 1015}},
{236, 11, 434, {1, 3, 1, 13, 3, 41, 69, 235, 431, 515, 1889}},
{237, 11, 439, {1, 1, 5, 7, 31, 5, 69, 193, 229, 439, 1043}},
{238, 11, 446, {1, 3, 5, 13, 31, 33, 45, 159, 477, 707, 1605}},
{239, 11, 451, {1, 1, 1, 7, 23, 49, 107, 223, 7, 429, 2047}},
{240, 11, 453, {1, 3, 5, 1, 31, 17, 117, 133, 331, 97, 833}},
{241, 11, 457, {1, 3, 1, 11, 7, 31, 103, 5, 299, 601, 981}},
{242, 11, 458, {1, 3, 5, 5, 15, 57, 87, 39, 217, 155, 361}},
{243, 11, 471, {1, 1, 7, 15, 29, 19, 125, 131, 37, 635, 1429}},
{244, 11, 475, {1, 3, 1, 9, 29, 3, 59, 107, 341, 809, 101}},
{245, 11, 478, {1, 1, 5, 15, 9, 37, 113, 225, 139, 165, 393}},
{246, 11, 484, {1, 3, 3, 13, 27, 21, 35, 255, 189, 45, 103}},
{247, 11, 493, {1, 1, 7, 5, 7, 59, 39, 87, 319, 723, 955}},
{248, 11, 494, {1, 3, 1, 1, 9, 23, 83, 47, 413, 445, 787}},
{249, 11, 499, {1, 3, 3, 3, 9, 27, 113, 135, 279, 915, 1221}},
{250, 11, 502, {1, 3, 7, 15, 3, 49, 99, 67, 11, 1017, 891}},
{251, 11, 517, {1, 3, 1, 9, 31, 41, 9, 205, 39, 993, 105}},
{252, 11, 518, {1, 3, 3, 7, 11, 45, 67, 123, 303, 87, 1943}},
{253, 11, 524, {1, 1, 1, 9, 1, 51, 101, 253, 499, 879, 833}},
{254, 11, 527, {1, 3, 7, 15, 19, 51, 97, 13, 499, 231, 829}},
{255, 11, 555, {1, 3, 5, 3, 25, 49, 29, 165, 43, 95, 779}},
{256, 11, 560, {1, 3, 5, 11, 13, 63, 1, 133, 207, 349, 221}},
{257, 11, 565, {1, 3, 7, 11, 23, 37, 51, 123, 399, 295, 1057}},
{258, 11, 569, {1, 1, 5, 11, 11, 43, 97, 163, 477, 777, 1217}},
{259, 11, 578, {1, 1, 7, 13, 3, 33, 65, 191, 25, 993, 291}},
{260, 11, 580, {1, 3, 5, 9, 25, 55, 101, 231, 219, 215, 517}},
{261, 11, 587, {1, 3, 1, 7, 17, 31, 87, 1, 475, 371, 771}},
{262, 11, 589, {1, 1, 1, 7, 3, 25, 35, 255, 211, 67, 447}},
{263, 11, 590, {1, 1, 1, 13, 9, 33, 103, 17, 369, 455, 265}},
{264, 11, 601, {1, 3, 5, 5, 29, 61, 61, 207, 345, 87, 1035}},
{265, 11, 607, {1, 3, 1, 7, 19, 21, 117, 49, 191, 133, 1889}},
{266, 11, 611, {1, 3, 3, 13, 5, 37, 63, 229, 53, 891, 1939}},
{267, 11, 614, {1, 1, 3, 5, 1, 43, 7, 1, 427, 155, 1587}},
{268, 11, 617, {1, 1, 7, 15, 15, 33, 33, 233, 481, 709, 905}},
{269, 11, 618, {1, 1, 7, 13, 7, 11, 125, 77, 39, 55, 1745}},
{270, 11, 625, {1, 3, 3, 3, 7, 49, 35, 123, 267, 229, 1873}},
{271, 11, 628, {1, 1, 7, 3, 17, 11, 35, 217, 215, 577, 1467}},
{272, 11, 635, {1, 3, 3, 5, 7, 11, 51, 27, 277, 113, 767}},
{273, 11, 641, {1, 3, 3, 3, 17, 1, 61, 151, 227, 841, 1421}},
{274, 11, 647, {1, 3, 7, 7, 7, 29, 95, 219, 407, 257, 417}},
{275, 11, 654, {1, 3, 5, 13, 5, 39, 63, 67, 467, 99, 457}},
{276, 11, 659, {1, 3, 3, 9, 15, 19, 107, 217, 371, 411, 867}},
{277, 11, 662, {1, 3, 3, 13, 13, 1, 101, 81, 69, 371, 415}},
{278, 11, 672, {1, 3, 1, 1, 5, 31, 103, 125, 147, 85, 1357}},
{279, 11, 675, {1, 3, 1, 5, 25, 61, 9, 83, 371, 691, 1189}},
{280, 11, 682, {1, 1, 5, 3, 3, 9, 1, 123, 333, 741, 961}},
{281, 11, 684, {1, 1, 3, 1, 7, 37, 73, 39, 101, 1005, 1361}},
{282, 11, 689, {1, 1, 3, 15, 11, 51, 29, 159, 361, 685, 1643}},
{283, 11, 695, {1, 1, 3, 3, 17, 51, 79, 143, 373, 425, 703}},
{284, 11, 696, {1, 1, 3, 15, 17, 21, 63, 97, 335, 591, 1697}},
{285, 11, 713, {1, 1, 7, 7, 1, 57, 21, 253, 199, 661, 77}},
{286, 11, 719, {1, 1, 3, 13, 27, 13, 101, 247, 497, 535, 273}},
{287, 11, 724, {1, 1, 1, 7, 25, 5, 83, 27, 107, 549, 1885}},
{288, 11, 733, {1, 1, 7, 5, 29, 45, 107, 159, 59, 303, 1941}},
{289, 11, 734, {1, 1, 7, 9, 5, 43, 85, 89, 151, 39, 221}},
{290, 11, 740, {1, 1, 3, 5, 5, 47, 65, 205, 141, 777, 1873}},
{291, 11, 747, {1, 1, 5, 15, 25, 41, 121, 133, 41, 171, 521}},
{292, 11, 749, {1, 3, 3, 9, 19, 25, 15, 161, 339, 155, 413}},
{293, 11, 752, {1, 3, 7, 1, 7, 1, 67, 23, 453, 625, 1375}},
{294, 11, 755, {1, 1, 1, 15, 5, 9, 87, 89, 209, 361, 1711}},
{295, 11, 762, {1, 3, 7, 11, 21, 39, 87, 21, 23, 727, 15}},
{296, 11, 770, {1, 3, 5, 13, 15, 15, 9, 247, 73, 9, 319}},
{297, 11, 782, {1, 1, 5, 7, 29, 21, 13, 121, 359, 679, 1659}},
{298, 11, 784, {1, 1, 7, 13, 19, 63, 79, 99, 107, 13, 137}},
{299, 11, 787, {1, 1, 7, 15, 1, 43, 117, 79, 305, 285, 1151}},
{300, 11, 789, {1, 1, 7, 9, 23, 9, 53, 105, 205, 121, 1451}},
{301, 11, 793, {1, 1, 7, 3, 3, 63, 99, 71, 495, 233, 1633}},
{302, 11, 796, {1, 3, 7, 11, 17, 5, 99, 211, 409, 911, 1743}},
{303, 11, 803, {1, 1, 3, 3, 1, 61, 81, 107, 493, 625, 847}},
{304, 11, 805, {1, 1, 3, 13, 15, 29, 13, 57, 305, 409, 1267}},
{305, 11, 810, {1, 3, 5, 13, 11, 3, 121, 253, 161, 891, 1463}},
{306, 11, 815, {1, 1, 7, 13, 23, 1, 125, 7, 273, 221, 2001}},
{307, 11, 824, {1, 3, 3, 5, 3, 49, 115, 205, 11, 45, 1563}},
{308, 11, 829, {1, 3, 7, 5, 21, 59, 81, 191, 31, 485, 743}},
{309, 11, 830, {1, 1, 5, 13, 9, 9, 21, 77, 487, 615, 423}},
{310, 11, 832, {1, 1, 1, 3, 27, 43, 53, 53, 345, 605, 949}},
{311, 11, 841, {1, 3, 1, 7, 31, 49, 97, 39, 279, 597, 189}},
{312, 11, 847, {1, 3, 5, 3, 17, 23, 87, 89, 457, 103, 1969}},
{313, 11, 849, {1, 1, 7, 3, 21, 45, 19, 127, 49, 231, 273}},
{314, 11, 861, {1, 3, 5, 11, 13, 15, 127, 83, 185, 553, 537}},
{315, 11, 871, {1, 3, 7, 11, 19, 45, 77, 123, 471, 731, 605}},
{316, 11, 878, {1, 1, 7, 5, 11, 25, 123, 25, 51, 501, 2025}},
{317, 11, 889, {1, 3, 3, 9, 15, 17, 67, 173, 93, 217, 1507}},
{318, 11, 892, {1, 3, 5, 1, 29, 7, 29, 211, 369, 983, 1331}},
{319, 11, 901, {1, 1, 5, 7, 17, 63, 1, 9, 493, 1009, 1275}},
{320, 11, 908, {1, 1, 1, 7, 31, 37, 51, 255, 253, 387, 591}},
{321, 11, 920, {1, 1, 7, 1, 11, 25, 41, 245, 215, 329, 1877}},
{322, 11, 923, {1, 1, 5, 7, 17, 21, 115, 63, 31, 435, 39}},
{323, 11, 942, {1, 1, 7, 9, 1, 17, 95, 139, 505, 365, 825}},
{324, 11, 949, {1, 3, 7, 7, 13, 31, 105, 167, 203, 337, 813}},
{325, 11, 950, {1, 3, 5, 11, 3, 7, 111, 91, 491, 93, 1473}},
{326, 11, 954, {1, 1, 3, 7, 29, 55, 103, 193, 219, 693, 1241}},
{327, 11, 961, {1, 3, 7, 9, 27, 7, 37, 135, 455, 87, 257}},
{328, 11, 968, {1, 1, 3, 5, 23, 19, 23, 33, 417, 263, 1693}},
{329, 11, 971, {1, 3, 3, 7, 29, 39, 127, 221, 305, 717, 989}},
{330, 11, 973, {1, 3, 3, 1, 27, 21, 49, 51, 355, 241, 1853}},
{331, 11, 979, {1, 1, 1, 15, 21, 3, 51, 137, 257, 431, 1641}},
{332, 11, 982, {1, 3, 7, 13, 25, 3, 69, 111, 163, 955, 459}},
{333, 11, 986, {1, 3, 7, 5, 5, 43, 111, 53, 463, 177, 605}},
{334, 11, 998, {1, 1, 3, 11, 23, 11, 79, 105, 419, 645, 423}},
{335, 11, 1001, {1, 1, 3, 3, 15, 5, 105, 31, 117, 961, 325}},
{336, 11, 1010, {1, 3, 5, 15, 21, 55, 81, 199, 231, 973, 373}},
{337, 11, 1012, {1, 3, 3, 15, 23, 17, 71, 63, 59, 719, 405}},
{338, 12, 41, {1, 3, 5, 3, 9, 37, 45, 205, 267, 261, 1173, 3681}},
{339, 12, 52, {1, 3, 7, 11, 1, 53, 91, 207, 487, 593, 1397, 1255}},
{340, 12, 61, {1, 1, 3, 7, 17, 3, 111, 145, 237, 667, 1199, 3793}},
{341, 12, 62, {1, 3, 7, 3, 15, 59, 69, 223, 509, 211, 1431, 2455}},
{342, 12, 76, {1, 3, 7, 1, 27, 47, 75, 123, 455, 553, 1153, 1675}},
{343, 12, 104, {1, 1, 7, 13, 17, 3, 85, 103, 205, 443, 1093, 4083}},
{344, 12, 117, {1, 3, 7, 13, 13, 63, 13, 103, 223, 473, 1125, 1565}},
{345, 12, 131, {1, 1, 1, 13, 21, 55, 21, 39, 385, 809, 457, 1991}},
{346, 12, 143, {1, 1, 3, 5, 29, 57, 81, 1, 165, 181, 57, 1463}},
{347, 12, 145, {1, 3, 7, 7, 21, 29, 59, 127, 393, 981, 577, 2707}},
{348, 12, 157, {1, 1, 3, 11, 17, 47, 123, 149, 273, 825, 1843, 479}},
{349, 12, 167, {1, 1, 5, 7, 1, 33, 91, 251, 371, 655, 383, 3123}},
{350, 12, 171, {1, 3, 1, 7, 3, 55, 15, 195, 345, 1017, 385, 1869}},
{351, 12, 176, {1, 1, 3, 7, 15, 25, 25, 67, 223, 935, 905, 923}},
{352, 12, 181, {1, 1, 1, 13, 29, 5, 23, 81, 227, 175, 1025, 355}},
{353, 12, 194, {1, 1, 7, 9, 25, 27, 43, 85, 401, 955, 989, 3117}},
{354, 12, 217, {1, 1, 7, 13, 27, 31, 27, 235, 99, 539, 1093, 2821}},
{355, 12, 236, {1, 3, 5, 7, 13, 19, 45, 231, 203, 489, 1929, 3615}},
{356, 12, 239, {1, 3, 1, 3, 3, 15, 3, 191, 181, 463, 1247, 2229}},
{357, 12, 262, {1, 3, 7, 3, 1, 37, 1, 59, 29, 283, 679, 429}},
{358, 12, 283, {1, 3, 1, 15, 17, 25, 5, 113, 191, 505, 365, 3943}},
{359, 12, 286, {1, 1, 3, 3, 13, 31, 95, 141, 29, 353, 661, 3637}},
{360, 12, 307, {1, 3, 1, 1, 5, 53, 19, 9, 81, 497, 1915, 2997}},
{361, 12, 313, {1, 3, 7, 15, 5, 13, 35, 163, 293, 309, 503, 2387}},
{362, 12, 319, {1, 1, 5, 3, 11, 25, 127, 27, 435, 247, 1485, 3917}},
{363, 12, 348, {1, 1, 7, 5, 21, 7, 15, 213, 355, 209, 1107, 1317}},
{364, 12, 352, {1, 3, 3, 11, 25, 29, 73, 203, 445, 849, 291, 1567}},
{365, 12, 357, {1, 3, 3, 15, 15, 31, 5, 15, 19, 345, 635, 1815}},
{366, 12, 391, {1, 1, 3, 3, 19, 21, 15, 95, 111, 167, 1051, 479}},
{367, 12, 398, {1, 3, 1, 13, 15, 61, 125, 237, 11, 789, 1681, 437}},
{368, 12, 400, {1, 3, 3, 15, 21, 23, 105, 145, 145, 453, 917, 1727}},
{369, 12, 412, {1, 1, 7, 11, 9, 37, 27, 91, 199, 561, 1705, 3849}},
{370, 12, 415, {1, 1, 3, 5, 11, 53, 1, 21, 63, 879, 629, 3219}},
{371, 12, 422, {1, 1, 3, 13, 3, 5, 121, 17, 511, 809, 627, 2627}},
{372, 12, 440, {1, 3, 5, 3, 27, 21, 115, 117, 193, 185, 1855, 2473}},
{373, 12, 460, {1, 3, 1, 9, 11, 37, 79, 123, 391, 715, 573, 699}},
{374, 12, 465, {1, 3, 1, 9, 5, 35, 105, 5, 55, 347, 1217, 3483}},
{375, 12, 468, {1, 3, 1, 11, 19, 59, 21, 221, 329, 873, 943, 3679}},
{376, 12, 515, {1, 3, 1, 13, 21, 57, 119, 33, 111, 581, 1133, 131}},
{377, 12, 536, {1, 3, 3, 7, 13, 31, 67, 205, 211, 143, 1117, 4067}},
{378, 12, 539, {1, 3, 7, 9, 9, 53, 71, 251, 41, 875, 691, 3681}},
{379, 12, 551, {1, 3, 1, 9, 23, 55, 57, 29, 123, 453, 523, 3237}},
{380, 12, 558, {1, 1, 5, 11, 15, 19, 91, 105, 221, 1005, 169, 461}},
{381, 12, 563, {1, 1, 1, 11, 7, 61, 49, 41, 337, 739, 699, 2379}},
{382, 12, 570, {1, 1, 3, 13, 21, 31, 103, 247, 87, 537, 757, 785}},
{383, 12, 595, {1, 1, 5, 9, 7, 49, 127, 149, 277, 87, 475, 127}},
{384, 12, 598, {1, 3, 5, 15, 5, 25, 95, 229, 389, 121, 95, 2787}},
{385, 12, 617, {1, 1, 1, 5, 9, 27, 29, 23, 419, 371, 127, 961}},
{386, 12, 647, {1, 1, 1, 15, 25, 19, 123, 35, 41, 785, 605, 711}},
{387, 12, 654, {1, 1, 7, 3, 1, 13, 69, 161, 449, 225, 1795, 2083}},
{388, 12, 678, {1, 1, 3, 5, 21, 1, 19, 211, 191, 697, 89, 177}},
{389, 12, 713, {1, 1, 3, 3, 19, 29, 49, 151, 365, 541, 1681, 1943}},
{390, 12, 738, {1, 3, 7, 7, 9, 5, 75, 109, 243, 769, 755, 2733}},
{391, 12, 747, {1, 3, 1, 11, 11, 41, 7, 87, 363, 893, 1799, 1303}},
{392, 12, 750, {1, 1, 1, 9, 11, 5, 19, 101, 41, 401, 1863, 965}},
{393, 12, 757, {1, 1, 3, 11, 13, 15, 71, 249, 511, 625, 1101, 2615}},
{394, 12, 772, {1, 3, 3, 9, 31, 35, 85, 107, 383, 201, 1163, 981}},
{395, 12, 803, {1, 3, 5, 9, 21, 13, 33, 9, 243, 93, 461, 741}},
{396, 12, 810, {1, 1, 1, 9, 1, 55, 85, 179, 321, 163, 1807, 339}},
{397, 12, 812, {1, 3, 7, 11, 29, 7, 57, 133, 245, 87, 917, 109}},
{398, 12, 850, {1, 1, 7, 9, 11, 13, 93, 81, 361, 343, 647, 1113}},
{399, 12, 862, {1, 3, 7, 5, 23, 57, 117, 105, 221, 697, 1159, 1307}},
{400, 12, 906, {1, 3, 1, 7, 27, 55, 15, 235, 279, 941, 655, 3975}},
{401, 12, 908, {1, 3, 1, 9, 27, 47, 45, 41, 361, 135, 379, 2121}},
{402, 12, 929, {1, 1, 7, 15, 19, 51, 31, 39, 187, 573, 273, 383}},
{403, 12, 930, {1, 1, 7, 11, 9, 47, 107, 29, 435, 989, 1315, 2815}},
{404, 12, 954, {1, 3, 1, 3, 21, 31, 7, 41, 45, 115, 1639, 1861}},
{405, 12, 964, {1, 1, 1, 15, 1, 21, 57, 233, 51, 149, 1251, 1809}},
{406, 12, 982, {1, 1, 3, 11, 1, 53, 111, 35, 447, 657, 1557, 349}},
{407, 12, 985, {1, 1, 7, 11, 25, 33, 39, 209, 127, 913, 659, 177}},
{408, 12, 991, {1, 3, 5, 9, 13, 53, 25, 191, 373, 997, 1413, 2859}},
{409, 12, 992, {1, 1, 7, 3, 31, 51, 17, 253, 149, 719, 1681, 2713}},
{410, 12, 1067, {1, 1, 7, 1, 23, 49, 9, 211, 381, 321, 2033, 361}},
{411, 12, 1070, {1, 3, 1, 15, 31, 3, 121, 21, 465, 417, 1023, 3921}},
{412, 12, 1096, {1, 1, 7, 1, 17, 49, 101, 37, 429, 877, 505, 821}},
{413, 12, 1099, {1, 3, 1, 7, 23, 59, 33, 127, 43, 987, 1065, 2675}},
{414, 12, 1116, {1, 3, 1, 9, 7, 19, 45, 157, 475, 53, 1223, 523}},
{415, 12, 1143, {1, 3, 7, 9, 23, 61, 31, 133, 85, 623, 871, 965}},
{416, 12, 1165, {1, 3, 1, 7, 3, 17, 21, 197, 377, 819, 661, 1803}},
{417, 12, 1178, {1, 1, 7, 3, 11, 37, 1, 135, 509, 927, 23, 1657}},
{418, 12, 1184, {1, 1, 3, 5, 15, 57, 55, 179, 317, 31, 611, 4057}},
{419, 12, 1202, {1, 1, 5, 5, 29, 57, 93, 105, 103, 157, 701, 249}},
{420, 12, 1213, {1, 1, 3, 13, 27, 41, 23, 213, 363, 911, 85, 2733}},
{421, 12, 1221, {1, 1, 5, 15, 15, 15, 93, 203, 61, 759, 1735, 459}},
{422, 12, 1240, {1, 1, 5, 13, 1, 59, 27, 203, 165, 87, 835, 3647}},
{423, 12, 1246, {1, 3, 3, 5, 25, 57, 43, 209, 71, 35, 1985, 1521}},
{424, 12, 1252, {1, 1, 7, 5, 15, 19, 49, 103, 195, 17, 2041, 1267}},
{425, 12, 1255, {1, 1, 5, 5, 5, 19, 91, 131, 157, 625, 1851, 3691}},
{426, 12, 1267, {1, 1, 1, 9, 9, 47, 3, 195, 25, 1003, 533, 833}},
{427, 12, 1293, {1, 1, 1, 15, 21, 33, 27, 193, 65, 545, 261, 3095}},
{428, 12, 1301, {1, 3, 7, 5, 7, 39, 35, 9, 387, 241, 1015, 1557}},
{429, 12, 1305, {1, 3, 7, 7, 13, 29, 43, 101, 457, 363, 115, 915}},
{430, 12, 1332, {1, 1, 3, 13, 17, 57, 79, 11, 155, 39, 215, 157}},
{431, 12, 1349, {1, 3, 7, 9, 23, 33, 69, 189, 59, 823, 1941, 423}},
{432, 12, 1384, {1, 3, 5, 11, 9, 39, 79, 43, 431, 227, 163, 2653}},
{433, 12, 1392, {1, 3, 1, 3, 5, 63, 55, 141, 207, 349, 1873, 773}},
{434, 12, 1402, {1, 1, 5, 7, 21, 59, 89, 111, 53, 217, 1897, 1619}},
{435, 12, 1413, {1, 1, 5, 9, 7, 27, 127, 247, 183, 925, 989, 1059}},
{436, 12, 1417, {1, 3, 5, 3, 21, 47, 39, 71, 343, 285, 1053, 3007}},
{437, 12, 1423, {1, 1, 3, 11, 1, 7, 27, 109, 19, 325, 157, 2779}},
{438, 12, 1451, {1, 3, 5, 9, 23, 27, 63, 115, 415, 1005, 1159, 3699}},
{439, 12, 1480, {1, 1, 5, 13, 27, 27, 5, 245, 95, 1021, 641, 3875}},
{440, 12, 1491, {1, 3, 5, 9, 5, 9, 53, 183, 379, 251, 1747, 969}},
{441, 12, 1503, {1, 1, 5, 13, 7, 23, 53, 195, 353, 225, 1871, 2131}},
{442, 12, 1504, {1, 3, 7, 3, 21, 5, 25, 253, 59, 821, 1699, 1911}},
{443, 12, 1513, {1, 3, 3, 7, 9, 53, 121, 155, 281, 969, 1943, 2291}},
{444, 12, 1538, {1, 1, 1, 1, 27, 25, 65, 111, 295, 213, 81, 415}},
{445, 12, 1544, {1, 1, 7, 7, 29, 51, 39, 201, 133, 987, 243, 3369}},
{446, 12, 1547, {1, 1, 1, 7, 27, 5, 57, 205, 395, 813, 125, 1293}},
{447, 12, 1555, {1, 1, 7, 13, 15, 19, 57, 11, 151, 405, 2014, 2607}},
{448, 12, 1574, {1, 3, 1, 1, 9, 53, 17, 25, 7, 483, 525, 967}},
{449, 12, 1603, {1, 3, 7, 13, 11, 31, 111, 253, 439, 689, 919, 3563}},
{450, 12, 1615, {1, 1, 5, 9, 13, 59, 123, 69, 339, 17, 297, 2511}},
{451, 12, 1618, {1, 1, 7, 5, 13, 1, 85, 113, 45, 107, 565, 795}},
{452, 12, 1629, {1, 3, 1, 11, 15, 5, 109, 163, 73, 103, 195, 639}},
{453, 12, 1634, {1, 1, 5, 9, 21, 11, 93, 23, 217, 275, 139, 1159}},
{454, 12, 1636, {1, 1, 1, 3, 31, 63, 73, 61, 63, 923, 1237, 3887}},
{455, 12, 1639, {1, 3, 5, 9, 27, 45, 5, 93, 3, 303, 357, 2973}},
{456, 12, 1657, {1, 1, 1, 11, 7, 51, 41, 27, 83, 357, 1679, 2015}},
{457, 12, 1667, {1, 3, 3, 13, 9, 53, 1, 193, 343, 59, 451, 1579}},
{458, 12, 1681, {1, 3, 5, 3, 9, 37, 37, 131, 207, 29, 2027, 733}},
{459, 12, 1697, {1, 1, 5, 7, 3, 61, 51, 221, 71, 659, 1955, 1289}},
{460, 12, 1704, {1, 3, 1, 15, 5, 19, 3, 205, 319, 155, 325, 2643}},
{461, 12, 1709, {1, 1, 5, 9, 3, 15, 1, 247, 323, 143, 37, 2069}},
{462, 12, 1722, {1, 1, 5, 15, 23, 43, 35, 59, 285, 779, 605, 1739}},
{463, 12, 1730, {1, 3, 3, 5, 29, 31, 57, 225, 417, 521, 1337, 3051}},
{464, 12, 1732, {1, 3, 1, 7, 23, 57, 41, 165, 437, 669, 1087, 1275}},
{465, 12, 1802, {1, 1, 3, 5, 1, 51, 25, 233, 449, 503, 1237, 1303}},
{466, 12, 1804, {1, 1, 1, 11, 9, 45, 79, 149, 229, 991, 1725, 395}},
{467, 12, 1815, {1, 1, 5, 11, 31, 37, 13, 117, 19, 939, 1347, 2251}},
{468, 12, 1826, {1, 1, 5, 5, 1, 29, 25, 251, 493, 793, 649, 1197}},
{469, 12, 1832, {1, 3, 3, 11, 5, 53, 49, 33, 37, 937, 497, 361}},
{470, 12, 1843, {1, 1, 1, 1, 5, 57, 19, 141, 115, 371, 1341, 3335}},
{471, 12, 1849, {1, 3, 5, 5, 23, 47, 77, 31, 225, 589, 551, 2625}},
{472, 12, 1863, {1, 1, 3, 1, 25, 37, 29, 213, 283, 207, 385, 2019}},
{473, 12, 1905, {1, 3, 5, 11, 5, 17, 21, 37, 167, 49, 1595, 1647}},
{474, 12, 1928, {1, 1, 3, 15, 29, 15, 79, 203, 329, 627, 1799, 895}},
{475, 12, 1933, {1, 1, 5, 7, 23, 53, 69, 45, 271, 661, 1437, 2429}},
{476, 12, 1939, {1, 3, 1, 1, 21, 7, 115, 233, 267, 873, 2023, 3431}},
{477, 12, 1976, {1, 1, 5, 5, 7, 63, 7, 125, 129, 815, 771, 1233}},
{478, 12, 1996, {1, 3, 5, 9, 5, 29, 121, 203, 373, 137, 1181, 3773}},
{479, 12, 2014, {1, 1, 5, 1, 15, 47, 25, 137, 329, 531, 1957, 1933}},
{480, 12, 2014, {1, 3, 1, 11, 23, 37, 67, 123, 181, 567, 893, 2307}},
{481, 12, 2020, {1, 3, 5, 3, 5, 23, 41, 227, 9, 213, 821, 1689}},
{482, 13, 13, {1, 1, 1, 13, 29, 33, 23, 241, 199, 753, 1759, 833, 5261}},
{483, 13, 19, {1, 3, 5, 15, 31, 7, 61, 225, 209, 117, 1983, 395, 3583}},
{484, 13, 26, {1, 1, 7, 5, 27, 49, 7, 125, 365, 513, 1001, 283, 627}},
{485, 13, 41, {1, 3, 1, 3, 7, 53, 99, 123, 493, 481, 173, 1483, 805}},
{486, 13, 50, {1, 1, 5, 7, 15, 1, 57, 19, 391, 847, 1641, 3497, 2807}},
{487, 13, 55, {1, 1, 7, 11, 19, 49, 77, 139, 275, 115, 1401, 2541, 7239}},
{488, 13, 69, {1, 1, 1, 15, 11, 13, 13, 211, 119, 317, 271, 1867, 4299}},
{489, 13, 70, {1, 1, 1, 13, 15, 37, 121, 197, 485, 605, 1025, 3235, 6205}},
{490, 13, 79, {1, 3, 5, 7, 25, 39, 31, 3, 465, 33, 625, 1069, 6043}},
{491, 13, 82, {1, 1, 3, 9, 7, 37, 115, 169, 27, 967, 505, 1493, 4333}},
{492, 13, 87, {1, 1, 3, 13, 1, 51, 19, 117, 365, 587, 1597, 279, 99}},
{493, 13, 93, {1, 3, 5, 9, 15, 57, 89, 153, 495, 535, 775, 4063, 6049}},
{494, 13, 94, {1, 1, 3, 1, 9, 7, 111, 43, 225, 677, 1379, 481, 5003}},
{495, 13, 97, {1, 1, 1, 15, 11, 47, 63, 37, 41, 833, 467, 3795, 5643}},
{496, 13, 100, {1, 3, 3, 7, 25, 49, 21, 91, 191, 579, 507, 3001, 6549}},
{497, 13, 112, {1, 3, 5, 9, 25, 17, 17, 153, 467, 359, 1523, 3175, 7307}},
{498, 13, 121, {1, 3, 7, 7, 29, 57, 51, 145, 71, 515, 495, 1091, 7911}},
{499, 13, 134, {1, 3, 1, 7, 31, 31, 53, 149, 303, 969, 383, 939, 2659}},
{500, 13, 138, {1, 1, 7, 9, 1, 21, 15, 145, 9, 199, 695, 2967, 1179}},
{501, 13, 148, {1, 3, 1, 3, 23, 33, 89, 23, 387, 591, 1543, 3941, 7021}},
{502, 13, 151, {1, 1, 3, 7, 27, 17, 25, 71, 43, 761, 803, 833, 1023}},
{503, 13, 157, {1, 1, 1, 3, 11, 25, 3, 171, 377, 843, 1147, 1469, 1773}},
{504, 13, 161, {1, 1, 3, 15, 1, 13, 65, 197, 381, 683, 895, 2181, 1973}},
{505, 13, 179, {1, 1, 5, 7, 19, 25, 109, 49, 451, 277, 1417, 2965, 7677}},
{506, 13, 181, {1, 3, 3, 7, 25, 51, 115, 43, 175, 317, 953, 81, 2533}},
{507, 13, 188, {1, 3, 7, 15, 27, 57, 5, 181, 489, 369, 1339, 3643, 7911}},
{508, 13, 196, {1, 3, 1, 5, 21, 11, 87, 81, 85, 5, 867, 3541, 3071}},
{509, 13, 203, {1, 1, 3, 3, 19, 37, 111, 43, 27, 549, 367, 3021, 6563}},
{510, 13, 206, {1, 1, 1, 13, 3, 63, 83, 107, 327, 599, 425, 3941, 4319}},
{511, 13, 223, {1, 3, 7, 15, 5, 37, 127, 169, 117, 987, 1821, 997, 63}},
{512, 13, 224, {1, 1, 7, 15, 17, 41, 103, 129, 449, 373, 733, 55, 5987}},
{513, 13, 227, {1, 1, 1, 15, 13, 61, 15, 117, 249, 149, 885, 3723, 5525}},
{514, 13, 230, {1, 1, 1, 1, 7, 3, 39, 47, 367, 355, 1943, 1035, 2367}},
{515, 13, 239, {1, 1, 7, 11, 19, 49, 21, 239, 403, 921, 693, 2123, 7387}},
{516, 13, 241, {1, 3, 5, 5, 23, 45, 13, 81, 105, 91, 1173, 3059, 5969}},
{517, 13, 248, {1, 1, 1, 5, 1, 31, 73, 253, 395, 941, 1949, 455, 453}},
{518, 13, 253, {1, 1, 3, 15, 27, 57, 115, 17, 269, 819, 145, 1219, 6471}},
{519, 13, 268, {1, 3, 3, 7, 29, 19, 9, 67, 501, 87, 883, 1985, 4859}},
{520, 13, 274, {1, 1, 1, 3, 29, 3, 55, 107, 79, 941, 1437, 3607, 6221}},
{521, 13, 283, {1, 3, 3, 15, 9, 63, 59, 113, 319, 825, 641, 491, 4015}},
{522, 13, 286, {1, 1, 1, 3, 21, 59, 55, 107, 215, 167, 315, 81, 3491}},
{523, 13, 289, {1, 3, 7, 11, 15, 7, 71, 145, 481, 843, 1437, 3809, 7729}},
{524, 13, 301, {1, 3, 1, 11, 23, 59, 65, 45, 397, 117, 325, 2933, 541}},
{525, 13, 302, {1, 3, 3, 15, 15, 47, 77, 35, 143, 327, 965, 3409, 1817}},
{526, 13, 316, {1, 1, 1, 9, 31, 7, 31, 57, 331, 615, 645, 605, 2185}},
{527, 13, 319, {1, 1, 5, 1, 15, 53, 109, 135, 259, 591, 1419, 3349, 5541}},
{528, 13, 324, {1, 1, 5, 13, 21, 23, 87, 115, 211, 737, 1433, 3247, 6899}},
{529, 13, 331, {1, 3, 3, 7, 23, 5, 43, 43, 253, 753, 1305, 2179, 1375}},
{530, 13, 333, {1, 3, 3, 7, 21, 49, 127, 129, 229, 415, 1593, 2315, 3273}},
{531, 13, 345, {1, 3, 5, 9, 15, 61, 97, 101, 199, 651, 1421, 2471, 6109}},
{532, 13, 351, {1, 3, 1, 11, 13, 27, 19, 243, 185, 707, 559, 1687, 981}},
{533, 13, 358, {1, 3, 7, 3, 5, 9, 101, 55, 39, 811, 1491, 3725, 6691}},
{534, 13, 375, {1, 1, 5, 9, 27, 33, 41, 61, 271, 695, 1563, 547, 1569}},
{535, 13, 379, {1, 3, 5, 1, 29, 21, 9, 83, 131, 287, 1505, 2711, 1617}},
{536, 13, 381, {1, 1, 1, 7, 29, 57, 19, 99, 303, 609, 1397, 3241, 3463}},
{537, 13, 386, {1, 3, 1, 9, 13, 33, 45, 101, 195, 615, 2017, 2473, 1251}},
{538, 13, 403, {1, 1, 3, 7, 31, 7, 121, 67, 275, 153, 1189, 2343, 5593}},
{539, 13, 405, {1, 1, 3, 15, 19, 37, 79, 207, 473, 927, 915, 1971, 8033}},
{540, 13, 419, {1, 3, 3, 13, 7, 55, 123, 163, 47, 599, 209, 2235, 7643}},
{541, 13, 426, {1, 1, 3, 11, 31, 3, 31, 69, 61, 257, 11, 845, 2659}},
{542, 13, 428, {1, 3, 5, 9, 27, 15, 73, 237, 79, 517, 1905, 1595, 6337}},
{543, 13, 439, {1, 1, 5, 15, 11, 19, 95, 213, 321, 303, 1957, 2291, 5991}},
{544, 13, 440, {1, 1, 1, 11, 15, 17, 85, 45, 143, 425, 55, 3595, 685}},
{545, 13, 446, {1, 1, 7, 3, 25, 5, 25, 203, 353, 537, 1921, 1885, 1157}},
{546, 13, 451, {1, 1, 1, 7, 29, 23, 117, 141, 257, 81, 25, 3237, 7223}},
{547, 13, 454, {1, 3, 5, 11, 27, 23, 47, 29, 143, 341, 1855, 3973, 5977}},
{548, 13, 458, {1, 3, 5, 7, 7, 45, 11, 95, 135, 261, 1475, 3723, 6999}},
{549, 13, 465, {1, 1, 3, 13, 19, 39, 89, 93, 187, 1011, 1319, 67, 399}},
{550, 13, 468, {1, 1, 5, 5, 17, 1, 91, 69, 405, 815, 225, 2469, 6287}},
{551, 13, 472, {1, 1, 7, 7, 3, 19, 41, 37, 125, 221, 1011, 3603, 4881}},
{552, 13, 475, {1, 3, 5, 11, 15, 13, 45, 235, 141, 17, 1991, 2581, 4965}},
{553, 13, 477, {1, 3, 3, 13, 5, 41, 117, 143, 261, 717, 111, 395, 4381}},
{554, 13, 496, {1, 3, 7, 5, 15, 47, 117, 197, 147, 117, 295, 2005, 4081}},
{555, 13, 502, {1, 3, 5, 3, 29, 61, 93, 245, 59, 119, 1121, 2549, 6471}},
{556, 13, 508, {1, 3, 1, 5, 13, 43, 93, 133, 313, 923, 295, 1239, 6355}},
{557, 13, 517, {1, 3, 3, 11, 5, 47, 99, 115, 107, 585, 671, 2077, 7005}},
{558, 13, 521, {1, 1, 1, 9, 13, 31, 79, 253, 245, 597, 1071, 2273, 2481}},
{559, 13, 527, {1, 1, 7, 1, 25, 3, 39, 47, 201, 187, 419, 3881, 4031}},
{560, 13, 530, {1, 3, 1, 11, 17, 47, 119, 243, 217, 321, 727, 3227, 6041}},
{561, 13, 532, {1, 1, 5, 11, 9, 3, 85, 121, 161, 663, 2035, 4073, 7401}},
{562, 13, 542, {1, 1, 3, 5, 11, 45, 51, 99, 431, 307, 157, 2941, 1645}},
{563, 13, 552, {1, 3, 3, 7, 7, 43, 77, 19, 169, 535, 1797, 2907, 531}},
{564, 13, 555, {1, 1, 7, 9, 19, 11, 45, 51, 169, 175, 995, 2231, 147}},
{565, 13, 560, {1, 1, 5, 1, 3, 25, 123, 11, 387, 757, 1067, 1359, 2227}},
{566, 13, 566, {1, 1, 5, 15, 13, 41, 45, 135, 49, 391, 1551, 1729, 4799}},
{567, 13, 575, {1, 1, 7, 9, 3, 11, 109, 59, 217, 507, 47, 1609, 7145}},
{568, 13, 577, {1, 1, 5, 15, 13, 35, 7, 213, 495, 811, 1403, 3423, 8139}},
{569, 13, 589, {1, 3, 5, 15, 3, 55, 107, 47, 337, 305, 1869, 943, 7533}},
{570, 13, 590, {1, 1, 7, 15, 15, 51, 9, 209, 477, 173, 1921, 3295, 4283}},
{571, 13, 602, {1, 3, 7, 13, 17, 31, 111, 73, 143, 773, 1499, 651, 6659}},
{572, 13, 607, {1, 1, 1, 1, 17, 5, 1, 95, 347, 613, 49, 7, 2373}},
{573, 13, 608, {1, 1, 7, 13, 5, 21, 33, 227, 375, 635, 149, 1585, 6159}},
{574, 13, 611, {1, 3, 7, 5, 25, 7, 121, 185, 129, 1021, 167, 873, 949}},
{575, 13, 613, {1, 1, 3, 11, 29, 23, 25, 219, 203, 651, 629, 155, 5385}},
{576, 13, 625, {1, 3, 5, 9, 25, 1, 91, 213, 87, 807, 599, 2527, 6971}},
{577, 13, 644, {1, 3, 1, 11, 19, 13, 91, 11, 73, 617, 1721, 1803, 3005}},
{578, 13, 651, {1, 1, 5, 9, 25, 33, 19, 167, 195, 861, 1209, 1887, 3165}},
{579, 13, 654, {1, 1, 5, 1, 5, 21, 57, 253, 325, 907, 1237, 1037, 3639}},
{580, 13, 656, {1, 3, 1, 1, 5, 17, 35, 65, 193, 57, 1045, 2117, 7433}},
{581, 13, 662, {1, 3, 5, 1, 3, 23, 89, 157, 379, 831, 479, 3285, 5107}},
{582, 13, 668, {1, 3, 3, 1, 5, 35, 57, 107, 465, 81, 387, 1035, 7231}},
{583, 13, 681, {1, 3, 3, 9, 13, 25, 23, 39, 439, 89, 1651, 781, 6167}},
{584, 13, 682, {1, 1, 3, 1, 19, 33, 103, 139, 259, 201, 1569, 3453, 5143}},
{585, 13, 689, {1, 3, 1, 1, 5, 51, 33, 199, 509, 593, 1671, 243, 3455}},
{586, 13, 696, {1, 1, 5, 15, 31, 15, 81, 173, 357, 447, 595, 1177, 2435}},
{587, 13, 699, {1, 3, 5, 1, 9, 35, 53, 111, 277, 143, 1837, 385, 7057}},
{588, 13, 707, {1, 3, 3, 1, 7, 25, 115, 117, 1, 97, 51, 3459, 3057}},
{589, 13, 709, {1, 1, 3, 5, 11, 63, 85, 69, 1, 943, 279, 4091, 7753}},
{590, 13, 714, {1, 3, 7, 9, 7, 59, 19, 17, 435, 779, 1049, 2125, 3295}},
{591, 13, 716, {1, 1, 7, 13, 29, 45, 95, 37, 179, 463, 1503, 417, 1959}},
{592, 13, 719, {1, 3, 1, 9, 21, 27, 27, 53, 359, 781, 1387, 997, 2123}},
{593, 13, 727, {1, 3, 3, 13, 17, 39, 103, 175, 131, 973, 1055, 2935, 5671}},
{594, 13, 734, {1, 1, 3, 9, 7, 41, 55, 133, 223, 1019, 1341, 2559, 4225}},
{595, 13, 738, {1, 3, 5, 9, 13, 7, 85, 101, 161, 461, 227, 2073, 6483}},
{596, 13, 743, {1, 3, 3, 1, 11, 27, 67, 125, 287, 229, 1945, 2461, 7111}},
{597, 13, 747, {1, 1, 7, 3, 23, 59, 39, 137, 421, 245, 955, 1941, 3743}},
{598, 13, 757, {1, 1, 1, 9, 19, 55, 45, 93, 101, 777, 729, 867, 7123}},
{599, 13, 769, {1, 1, 5, 5, 21, 27, 49, 125, 245, 271, 1643, 3995, 1845}},
{600, 13, 770, {1, 1, 3, 15, 21, 63, 113, 157, 123, 347, 333, 2445, 3401}},
{601, 13, 776, {1, 3, 5, 5, 25, 7, 113, 13, 167, 935, 329, 3483, 4237}},
{602, 13, 790, {1, 1, 3, 9, 25, 43, 101, 115, 439, 633, 2001, 283, 4415}},
{603, 13, 799, {1, 3, 1, 7, 7, 39, 41, 201, 423, 351, 563, 653, 6769}},
{604, 13, 805, {1, 3, 7, 11, 3, 55, 29, 75, 17, 283, 837, 1303, 7917}},
{605, 13, 809, {1, 3, 1, 11, 9, 17, 47, 39, 399, 645, 575, 805, 5751}},
{606, 13, 812, {1, 3, 1, 11, 7, 9, 99, 239, 503, 995, 1265, 1651, 2095}},
{607, 13, 820, {1, 1, 3, 15, 17, 13, 107, 165, 341, 337, 51, 1619, 7801}},
{608, 13, 827, {1, 3, 1, 3, 19, 55, 73, 105, 97, 557, 1701, 799, 5591}},
{609, 13, 829, {1, 1, 5, 13, 15, 21, 35, 39, 215, 357, 171, 161, 4527}},
{610, 13, 835, {1, 3, 3, 15, 19, 7, 27, 153, 399, 415, 2031, 627, 8169}},
{611, 13, 841, {1, 3, 1, 11, 27, 37, 21, 217, 413, 787, 1637, 1199, 1735}},
{612, 13, 844, {1, 1, 7, 7, 25, 21, 95, 13, 159, 195, 1493, 1395, 7453}},
{613, 13, 856, {1, 3, 5, 1, 3, 17, 47, 95, 327, 493, 1501, 2857, 7215}},
{614, 13, 859, {1, 3, 1, 3, 19, 25, 67, 89, 243, 913, 815, 2471, 6537}},
{615, 13, 862, {1, 1, 3, 1, 29, 53, 13, 21, 131, 893, 1113, 525, 6723}},
{616, 13, 865, {1, 1, 5, 1, 25, 45, 97, 167, 465, 65, 1923, 3971, 6365}},
{617, 13, 885, {1, 1, 7, 7, 3, 7, 113, 85, 371, 143, 201, 1023, 2827}},
{618, 13, 890, {1, 3, 3, 1, 5, 31, 5, 37, 57, 203, 241, 2473, 593}},
{619, 13, 905, {1, 3, 1, 5, 25, 59, 87, 207, 227, 103, 491, 1299, 4173}},
{620, 13, 916, {1, 1, 7, 9, 15, 61, 75, 171, 421, 651, 375, 511, 2723}},
{621, 13, 925, {1, 3, 7, 11, 9, 19, 55, 5, 365, 7, 1401, 3049, 6669}},
{622, 13, 935, {1, 1, 1, 5, 31, 37, 97, 105, 343, 999, 1641, 1951, 1395}},
{623, 13, 939, {1, 3, 5, 1, 5, 13, 83, 189, 395, 335, 1767, 887, 3431}},
{624, 13, 942, {1, 1, 1, 13, 17, 45, 71, 227, 171, 831, 617, 1203, 6477}},
{625, 13, 949, {1, 1, 7, 13, 15, 49, 91, 61, 155, 951, 1031, 1153, 5201}},
{626, 13, 953, {1, 1, 1, 13, 23, 51, 75, 89, 359, 257, 1695, 1739, 5439}},
{627, 13, 956, {1, 3, 3, 13, 9, 47, 31, 225, 191, 787, 355, 2014, 5897}},
{628, 13, 961, {1, 1, 7, 3, 7, 41, 91, 83, 9, 643, 1589, 3491, 135}},
{629, 13, 968, {1, 3, 5, 9, 5, 29, 29, 249, 181, 641, 17, 3187, 6767}},
{630, 13, 976, {1, 1, 7, 13, 25, 17, 91, 187, 61, 305, 199, 2397, 2287}},
{631, 13, 988, {1, 1, 7, 1, 25, 45, 85, 35, 361, 353, 631, 1113, 135}},
{632, 13, 995, {1, 3, 7, 9, 13, 11, 107, 67, 127, 523, 1129, 81, 7627}},
{633, 13, 997, {1, 3, 1, 7, 17, 43, 89, 225, 45, 597, 1683, 943, 3801}},
{634, 13, 1007, {1, 3, 7, 1, 31, 47, 37, 31, 269, 731, 1817, 3977, 7107}},
{635, 13, 1015, {1, 1, 5, 5, 21, 37, 93, 219, 117, 369, 561, 4031, 365}},
{636, 13, 1016, {1, 1, 5, 13, 31, 21, 65, 237, 157, 775, 843, 1725, 583}},
{637, 13, 1027, {1, 1, 1, 11, 11, 31, 15, 217, 377, 395, 1633, 3841, 4417}},
{638, 13, 1036, {1, 3, 7, 9, 23, 23, 93, 109, 265, 379, 1341, 1857, 5567}},
{639, 13, 1039, {1, 1, 7, 1, 13, 37, 109, 121, 7, 157, 1639, 483, 1433}},
{640, 13, 1041, {1, 1, 1, 3, 5, 37, 29, 107, 77, 771, 1631, 3051, 8097}},
{641, 13, 1048, {1, 3, 7, 13, 27, 5, 59, 89, 401, 223, 1013, 1089, 3407}},
{642, 13, 1053, {1, 1, 5, 5, 11, 47, 113, 237, 69, 833, 845, 179, 3687}},
{643, 13, 1054, {1, 3, 7, 3, 19, 43, 117, 223, 373, 145, 463, 1719, 3621}},
{644, 13, 1058, {1, 1, 3, 7, 5, 53, 5, 53, 385, 723, 809, 1785, 6495}},
{645, 13, 1075, {1, 3, 7, 5, 3, 63, 125, 63, 275, 575, 1461, 821, 5607}},
{646, 13, 1082, {1, 1, 5, 9, 17, 33, 71, 145, 215, 741, 1843, 1987, 4263}},
{647, 13, 1090, {1, 3, 5, 3, 31, 63, 29, 233, 441, 447, 853, 3937, 4747}},
{648, 13, 1109, {1, 3, 3, 15, 21, 35, 15, 221, 63, 481, 403, 2795, 5533}},
{649, 13, 1110, {1, 3, 7, 9, 1, 47, 123, 129, 365, 23, 1975, 1179, 7957}},
{650, 13, 1119, {1, 3, 1, 3, 11, 23, 119, 229, 141, 687, 1639, 2105, 319}},
{651, 13, 1126, {1, 3, 1, 11, 17, 49, 3, 113, 297, 727, 1135, 2657, 187}},
{652, 13, 1130, {1, 3, 7, 5, 5, 31, 83, 173, 159, 389, 1373, 3049, 827}},
{653, 13, 1135, {1, 1, 1, 15, 27, 51, 107, 97, 119, 831, 247, 2613, 7125}},
{654, 13, 1137, {1, 1, 3, 7, 23, 53, 35, 181, 81, 213, 1135, 2901, 1555}},
{655, 13, 1140, {1, 3, 5, 7, 9, 45, 25, 137, 399, 345, 339, 1869, 3469}},
{656, 13, 1149, {1, 1, 3, 5, 25, 49, 71, 139, 473, 883, 677, 1229, 6661}},
{657, 13, 1156, {1, 3, 5, 13, 1, 55, 31, 67, 321, 221, 1425, 1335, 3805}},
{658, 13, 1159, {1, 1, 5, 9, 7, 31, 53, 169, 67, 509, 1155, 1739, 615}},
{659, 13, 1160, {1, 3, 7, 9, 1, 13, 49, 39, 263, 215, 767, 2881, 1517}},
{660, 13, 1165, {1, 1, 5, 5, 27, 41, 15, 5, 203, 539, 463, 1983, 1949}},
{661, 13, 1173, {1, 3, 3, 1, 21, 3, 101, 225, 255, 805, 1035, 813, 8125}},
{662, 13, 1178, {1, 3, 1, 1, 17, 59, 55, 107, 117, 489, 541, 689, 581}},
{663, 13, 1183, {1, 3, 7, 15, 17, 57, 75, 135, 295, 11, 1415, 1843, 7079}},
{664, 13, 1184, {1, 1, 5, 5, 17, 49, 49, 91, 227, 295, 1501, 3723, 5879}},
{665, 13, 1189, {1, 3, 5, 9, 27, 17, 63, 127, 503, 869, 53, 627, 5085}},
{666, 13, 1194, {1, 3, 7, 3, 25, 25, 1, 83, 461, 1019, 1737, 1901, 2611}},
{667, 13, 1211, {1, 3, 1, 11, 23, 59, 59, 235, 33, 747, 1141, 2429, 3833}},
{668, 13, 1214, {1, 1, 7, 9, 29, 55, 85, 179, 385, 645, 1009, 1193, 5643}},
{669, 13, 1216, {1, 1, 5, 15, 29, 11, 77, 147, 453, 655, 469, 2727, 6205}},
{670, 13, 1225, {1, 3, 5, 3, 5, 13, 103, 115, 445, 87, 1803, 601, 5159}},
{671, 13, 1231, {1, 1, 7, 5, 1, 37, 55, 129, 5, 387, 51, 3585, 6771}},
{672, 13, 1239, {1, 3, 3, 15, 15, 15, 21, 13, 67, 391, 1745, 1137, 7039}},
{673, 13, 1243, {1, 3, 7, 9, 25, 1, 83, 135, 275, 11, 339, 269, 6121}},
{674, 13, 1246, {1, 1, 5, 3, 27, 11, 109, 15, 499, 489, 615, 1713, 7713}},
{675, 13, 1249, {1, 3, 7, 15, 25, 53, 1, 169, 275, 623, 411, 195, 6331}},
{676, 13, 1259, {1, 1, 3, 7, 3, 5, 73, 97, 407, 687, 311, 2141, 6687}},
{677, 13, 1273, {1, 3, 5, 3, 27, 43, 123, 143, 99, 963, 2029, 3759, 1483}},
{678, 13, 1274, {1, 1, 5, 3, 5, 43, 11, 51, 423, 111, 875, 3605, 4023}},
{679, 13, 1281, {1, 1, 1, 15, 25, 11, 89, 21, 425, 585, 1983, 3481, 7329}},
{680, 13, 1287, {1, 3, 7, 3, 1, 5, 107, 29, 285, 929, 663, 319, 3139}},
{681, 13, 1294, {1, 3, 3, 7, 7, 37, 21, 51, 385, 539, 59, 1595, 9}},
{682, 13, 1296, {1, 3, 3, 1, 9, 21, 87, 149, 21, 211, 787, 351, 5597}},
{683, 13, 1305, {1, 3, 1, 11, 1, 41, 21, 65, 7, 83, 693, 1905, 5935}},
{684, 13, 1306, {1, 3, 3, 11, 17, 3, 55, 205, 461, 897, 273, 2849, 1685}},
{685, 13, 1318, {1, 3, 7, 5, 23, 15, 121, 129, 387, 967, 1131, 3451, 3545}},
{686, 13, 1332, {1, 1, 7, 11, 5, 29, 59, 69, 27, 699, 1639, 2137, 6305}},
{687, 13, 1335, {1, 3, 7, 7, 23, 23, 69, 205, 399, 661, 1187, 1639, 5099}},
{688, 13, 1336, {1, 3, 5, 5, 31, 17, 37, 173, 371, 649, 449, 243, 3665}},
{689, 13, 1341, {1, 3, 5, 1, 21, 5, 51, 105, 173, 699, 475, 3489, 7411}},
{690, 13, 1342, {1, 1, 3, 13, 17, 41, 55, 131, 359, 461, 1885, 4045, 3615}},
{691, 13, 1362, {1, 3, 7, 11, 27, 33, 79, 127, 227, 293, 607, 1713, 167}},
{692, 13, 1364, {1, 3, 3, 1, 5, 9, 13, 59, 425, 319, 1813, 2905, 4647}},
{693, 13, 1368, {1, 3, 5, 5, 13, 59, 69, 95, 379, 119, 1175, 1853, 7573}},
{694, 13, 1378, {1, 3, 5, 3, 3, 47, 51, 203, 395, 623, 13, 3369, 663}},
{695, 13, 1387, {1, 1, 5, 3, 3, 39, 107, 203, 125, 627, 1817, 1101, 935}},
{696, 13, 1389, {1, 1, 1, 5, 7, 31, 71, 141, 507, 101, 913, 567, 753}},
{697, 13, 1397, {1, 3, 5, 11, 1, 25, 81, 211, 79, 277, 1445, 783, 5}},
{698, 13, 1401, {1, 1, 7, 3, 7, 9, 63, 87, 335, 413, 1595, 2313, 5883}},
{699, 13, 1408, {1, 1, 1, 11, 21, 61, 87, 119, 155, 259, 1629, 2565, 5975}},
{700, 13, 1418, {1, 3, 1, 3, 29, 59, 57, 205, 65, 779, 1433, 2845, 1311}},
{701, 13, 1425, {1, 3, 3, 3, 29, 59, 1, 125, 493, 25, 315, 1171, 4837}},
{702, 13, 1426, {1, 1, 1, 11, 1, 47, 119, 141, 95, 87, 1497, 3613, 5009}},
{703, 13, 1431, {1, 3, 5, 5, 7, 19, 61, 233, 321, 585, 547, 179, 6787}},
{704, 13, 1435, {1, 3, 1, 7, 15, 29, 51, 177, 189, 435, 89, 2507, 4975}},
{705, 13, 1441, {1, 3, 7, 5, 19, 49, 125, 145, 329, 975, 717, 161, 1099}},
{706, 13, 1444, {1, 3, 3, 13, 1, 21, 81, 63, 263, 597, 1713, 1759, 1745}},
{707, 13, 1462, {1, 1, 3, 9, 17, 61, 19, 119, 229, 25, 1759, 343, 7925}},
{708, 13, 1471, {1, 1, 1, 9, 27, 49, 51, 149, 453, 717, 1791, 2529, 331}},
{709, 13, 1474, {1, 3, 1, 7, 11, 15, 125, 237, 291, 111, 1051, 3739, 3805}},
{710, 13, 1483, {1, 1, 7, 9, 7, 63, 49, 73, 53, 429, 1167, 2019, 911}},
{711, 13, 1485, {1, 3, 5, 5, 29, 17, 3, 193, 243, 29, 2007, 1881, 7143}},
{712, 13, 1494, {1, 3, 3, 3, 5, 19, 127, 149, 57, 601, 1263, 1909, 3835}},
{713, 13, 1497, {1, 1, 1, 5, 25, 43, 21, 115, 193, 735, 571, 401, 1573}},
{714, 13, 1516, {1, 3, 5, 9, 25, 41, 53, 165, 5, 575, 1381, 995, 5851}},
{715, 13, 1522, {1, 1, 5, 15, 21, 43, 25, 125, 49, 207, 345, 2981, 709}},
{716, 13, 1534, {1, 1, 3, 5, 29, 37, 89, 145, 123, 771, 631, 3259, 1431}},
{717, 13, 1543, {1, 1, 3, 3, 1, 37, 67, 243, 335, 913, 1927, 3027, 6059}},
{718, 13, 1552, {1, 1, 5, 15, 11, 31, 61, 59, 511, 543, 1747, 3329, 599}},
{719, 13, 1557, {1, 1, 7, 13, 17, 31, 9, 143, 381, 713, 135, 1037, 5981}},
{720, 13, 1558, {1, 1, 7, 11, 25, 7, 79, 3, 403, 979, 1021, 457, 999}},
{721, 13, 1567, {1, 3, 3, 11, 3, 19, 127, 135, 255, 645, 437, 3793, 5809}},
{722, 13, 1568, {1, 3, 7, 1, 5, 59, 69, 135, 307, 769, 307, 3225, 2869}},
{723, 13, 1574, {1, 3, 5, 3, 9, 33, 121, 41, 245, 1009, 2039, 925, 3341}},
{724, 13, 1592, {1, 3, 3, 15, 19, 23, 55, 155, 389, 817, 475, 1005, 1971}},
{725, 13, 1605, {1, 3, 5, 7, 11, 17, 7, 113, 249, 241, 1149, 2359, 8037}},
{726, 13, 1606, {1, 3, 5, 5, 23, 59, 115, 5, 503, 221, 485, 3857, 4399}},
{727, 13, 1610, {1, 3, 7, 3, 5, 53, 119, 107, 103, 99, 1313, 623, 3073}},
{728, 13, 1617, {1, 3, 1, 13, 7, 21, 85, 47, 345, 355, 607, 2213, 2489}},
{729, 13, 1623, {1, 1, 5, 11, 7, 51, 43, 53, 281, 311, 1221, 3919, 4821}},
{730, 13, 1630, {1, 1, 7, 9, 21, 15, 105, 251, 367, 311, 1247, 2357, 5411}},
{731, 13, 1634, {1, 3, 5, 5, 17, 21, 1, 213, 505, 97, 603, 4057, 6853}},
{732, 13, 1640, {1, 3, 7, 5, 21, 3, 105, 61, 5, 39, 461, 351, 4379}},
{733, 13, 1643, {1, 3, 3, 9, 15, 39, 87, 21, 393, 525, 1699, 2427, 211}},
{734, 13, 1648, {1, 1, 5, 9, 21, 25, 53, 175, 387, 83, 1155, 1225, 5681}},
{735, 13, 1651, {1, 3, 1, 15, 7, 49, 43, 127, 257, 499, 79, 33, 2843}},
{736, 13, 1653, {1, 3, 7, 15, 21, 17, 89, 175, 161, 371, 389, 2289, 7751}},
{737, 13, 1670, {1, 1, 7, 3, 19, 23, 65, 5, 149, 563, 1237, 3445, 6817}},
{738, 13, 1676, {1, 3, 5, 11, 23, 21, 65, 11, 329, 323, 551, 3859, 749}},
{739, 13, 1684, {1, 3, 1, 9, 13, 23, 11, 169, 203, 349, 1733, 2537, 3777}},
{740, 13, 1687, {1, 3, 7, 7, 5, 19, 47, 81, 215, 677, 1861, 2703, 6373}},
{741, 13, 1691, {1, 1, 5, 5, 11, 5, 19, 151, 215, 695, 1347, 1359, 1979}},
{742, 13, 1693, {1, 1, 7, 3, 1, 59, 11, 185, 379, 247, 1885, 1819, 637}},
{743, 13, 1698, {1, 3, 7, 3, 21, 3, 53, 161, 49, 697, 113, 3561, 95}},
{744, 13, 1709, {1, 3, 7, 7, 29, 15, 85, 123, 415, 41, 703, 1501, 6939}},
{745, 13, 1715, {1, 1, 7, 5, 7, 37, 75, 185, 115, 423, 625, 3557, 7851}},
{746, 13, 1722, {1, 1, 1, 7, 11, 35, 119, 131, 331, 197, 1939, 1951, 7957}},
{747, 13, 1732, {1, 1, 5, 3, 9, 43, 93, 11, 97, 483, 131, 1095, 601}},
{748, 13, 1735, {1, 1, 1, 15, 11, 43, 49, 205, 393, 921, 625, 359, 3997}},
{749, 13, 1747, {1, 1, 3, 7, 31, 21, 27, 231, 159, 67, 1127, 2153, 6291}},
{750, 13, 1749, {1, 3, 1, 1, 13, 15, 45, 85, 155, 763, 1341, 9, 6229}},
{751, 13, 1754, {1, 3, 7, 15, 9, 21, 47, 67, 207, 385, 401, 1665, 7849}},
{752, 13, 1777, {1, 1, 5, 9, 13, 59, 89, 163, 19, 997, 2021, 3301, 2945}},
{753, 13, 1784, {1, 1, 3, 15, 17, 9, 33, 117, 33, 701, 73, 2955, 1781}},
{754, 13, 1790, {1, 1, 3, 7, 3, 11, 81, 209, 131, 247, 1927, 3997, 1709}},
{755, 13, 1795, {1, 1, 3, 5, 21, 47, 85, 163, 247, 273, 545, 3477, 4565}},
{756, 13, 1801, {1, 1, 1, 15, 3, 5, 55, 171, 501, 149, 121, 2317, 2023}},
{757, 13, 1802, {1, 1, 5, 1, 25, 31, 25, 171, 471, 149, 49, 3059, 7871}},
{758, 13, 1812, {1, 3, 3, 1, 3, 39, 91, 75, 183, 115, 869, 4005, 1443}},
{759, 13, 1828, {1, 1, 1, 13, 31, 37, 3, 23, 443, 177, 219, 1683, 7063}},
{760, 13, 1831, {1, 1, 1, 11, 17, 51, 111, 157, 455, 415, 1171, 531, 7289}},
{761, 13, 1837, {1, 1, 7, 13, 3, 45, 103, 185, 63, 299, 1471, 3579, 3751}},
{762, 13, 1838, {1, 1, 7, 7, 25, 45, 91, 145, 285, 525, 1675, 665, 883}},
{763, 13, 1840, {1, 3, 7, 5, 23, 23, 33, 47, 271, 65, 1009, 2363, 7231}},
{764, 13, 1845, {1, 3, 1, 11, 25, 3, 13, 105, 105, 649, 531, 535, 6019}},
{765, 13, 1863, {1, 3, 3, 5, 9, 1, 9, 15, 131, 793, 1841, 2249, 5775}},
{766, 13, 1864, {1, 1, 7, 7, 27, 35, 125, 249, 125, 973, 233, 229, 8165}},
{767, 13, 1867, {1, 3, 1, 7, 19, 1, 39, 239, 159, 627, 601, 1537, 7473}},
{768, 13, 1870, {1, 1, 3, 3, 1, 45, 99, 149, 205, 277, 1701, 121, 1577}},
{769, 13, 1877, {1, 3, 7, 15, 9, 43, 7, 139, 331, 995, 647, 2707, 4493}},
{770, 13, 1881, {1, 3, 3, 13, 19, 31, 67, 213, 355, 85, 1829, 2897, 6799}},
{771, 13, 1884, {1, 3, 7, 1, 29, 51, 49, 209, 257, 913, 811, 895, 8051}},
{772, 13, 1903, {1, 1, 3, 3, 31, 33, 19, 37, 297, 473, 1987, 3433, 1981}},
{773, 13, 1917, {1, 1, 1, 13, 1, 3, 127, 183, 241, 941, 973, 577, 6891}},
{774, 13, 1918, {1, 1, 7, 15, 31, 21, 125, 193, 23, 731, 493, 3173, 4381}},
{775, 13, 1922, {1, 3, 3, 13, 23, 31, 65, 59, 63, 285, 1191, 3005, 2211}},
{776, 13, 1924, {1, 1, 3, 3, 13, 11, 121, 153, 199, 359, 1159, 363, 3477}},
{777, 13, 1928, {1, 1, 3, 3, 29, 27, 105, 215, 143, 365, 369, 3341, 5017}},
{778, 13, 1931, {1, 1, 5, 9, 23, 43, 119, 89, 307, 607, 1087, 287, 7305}},
{779, 13, 1951, {1, 1, 7, 3, 19, 9, 115, 133, 387, 717, 687, 3447, 201}},
{780, 13, 1952, {1, 3, 1, 1, 23, 7, 81, 77, 483, 725, 1499, 1565, 8073}},
{781, 13, 1957, {1, 3, 1, 9, 23, 25, 119, 247, 195, 205, 1851, 2463, 6827}},
{782, 13, 1958, {1, 3, 5, 9, 17, 51, 11, 233, 115, 719, 1333, 3829, 4941}},
{783, 13, 1964, {1, 1, 3, 13, 25, 17, 103, 241, 133, 237, 1375, 4005, 7853}},
{784, 13, 1967, {1, 3, 7, 1, 19, 31, 115, 193, 305, 1, 1167, 325, 985}},
{785, 13, 1970, {1, 1, 3, 15, 13, 11, 33, 27, 453, 941, 293, 2819, 3247}},
{786, 13, 1972, {1, 3, 3, 3, 11, 27, 37, 95, 371, 441, 1347, 13, 4219}},
{787, 13, 1994, {1, 3, 1, 11, 31, 39, 17, 63, 323, 1013, 479, 4077, 313}},
{788, 13, 2002, {1, 3, 7, 15, 3, 59, 121, 19, 43, 351, 285, 2239, 8117}},
{789, 13, 2007, {1, 1, 3, 3, 7, 7, 13, 31, 403, 925, 789, 275, 6959}},
{790, 13, 2008, {1, 1, 1, 9, 3, 11, 89, 195, 393, 301, 517, 1675, 963}},
{791, 13, 2023, {1, 3, 1, 13, 17, 63, 79, 17, 127, 119, 1127, 2121, 7545}},
{792, 13, 2030, {1, 3, 5, 5, 29, 15, 97, 183, 157, 319, 1047, 895, 7297}},
{793, 13, 2035, {1, 3, 1, 3, 25, 37, 101, 233, 275, 705, 1147, 1511, 231}},
{794, 13, 2038, {1, 3, 1, 11, 3, 63, 45, 219, 315, 905, 9, 3105, 785}},
{795, 13, 2042, {1, 1, 3, 1, 17, 27, 89, 15, 337, 981, 403, 1609, 349}},
{796, 13, 2047, {1, 3, 1, 5, 27, 21, 39, 209, 461, 211, 71, 1413, 1185}},
{797, 13, 2051, {1, 1, 3, 1, 11, 9, 19, 229, 403, 323, 1651, 475, 1207}},
{798, 13, 2058, {1, 3, 7, 5, 31, 13, 39, 9, 365, 857, 1715, 3831, 2467}},
{799, 13, 2060, {1, 1, 7, 1, 31, 41, 25, 101, 297, 143, 345, 2097, 1679}},
{800, 13, 2071, {1, 3, 5, 7, 27, 61, 77, 107, 291, 265, 759, 933, 2529}},
{801, 13, 2084, {1, 3, 7, 11, 15, 51, 31, 191, 39, 469, 1711, 1215, 7603}},
{802, 13, 2087, {1, 1, 5, 13, 19, 27, 121, 235, 475, 11, 1193, 543, 5689}},
{803, 13, 2099, {1, 3, 5, 11, 19, 1, 97, 85, 393, 971, 1915, 3487, 7569}},
{804, 13, 2108, {1, 3, 7, 9, 21, 25, 81, 197, 9, 403, 1305, 2977, 6261}},
{805, 13, 2111, {1, 3, 3, 15, 5, 3, 5, 91, 133, 957, 437, 3821, 4395}},
{806, 13, 2120, {1, 3, 7, 7, 23, 47, 85, 139, 511, 389, 461, 2967, 7305}},
{807, 13, 2128, {1, 3, 5, 5, 13, 3, 33, 171, 391, 109, 197, 2097, 5357}},
{808, 13, 2138, {1, 3, 7, 15, 31, 61, 7, 61, 175, 455, 1867, 2829, 197}},
{809, 13, 2143, {1, 3, 7, 13, 21, 33, 119, 97, 297, 69, 1503, 2887, 3785}},
{810, 13, 2144, {1, 3, 3, 7, 1, 63, 105, 53, 443, 775, 1855, 2635, 4453}},
{811, 13, 2153, {1, 1, 7, 11, 1, 13, 99, 227, 421, 739, 583, 4011, 2095}},
{812, 13, 2156, {1, 1, 7, 11, 7, 21, 125, 45, 411, 621, 137, 259, 3401}},
{813, 13, 2162, {1, 3, 3, 7, 9, 15, 47, 213, 71, 725, 2015, 3119, 3295}},
{814, 13, 2167, {1, 1, 7, 7, 21, 63, 83, 63, 29, 969, 119, 3535, 989}},
{815, 13, 2178, {1, 3, 3, 9, 13, 15, 71, 83, 209, 191, 1049, 3423, 5829}},
{816, 13, 2183, {1, 3, 1, 11, 27, 7, 65, 107, 387, 853, 919, 1257, 719}},
{817, 13, 2202, {1, 3, 1, 9, 29, 63, 115, 91, 181, 217, 1097, 1023, 3641}},
{818, 13, 2211, {1, 1, 3, 7, 7, 57, 37, 209, 99, 959, 693, 1573, 3407}},
{819, 13, 2214, {1, 3, 7, 7, 9, 51, 51, 127, 153, 977, 1565, 1329, 4603}},
{820, 13, 2223, {1, 3, 5, 3, 9, 57, 7, 225, 139, 515, 1355, 191, 659}},
{821, 13, 2225, {1, 3, 3, 3, 7, 45, 85, 231, 153, 93, 371, 2753, 5331}},
{822, 13, 2232, {1, 1, 5, 5, 1, 9, 45, 29, 131, 203, 31, 1219, 1635}},
{823, 13, 2237, {1, 1, 1, 11, 5, 13, 115, 51, 471, 987, 1937, 3921, 7885}},
{824, 13, 2257, {1, 1, 7, 3, 1, 23, 49, 183, 495, 427, 1397, 3383, 3459}},
{825, 13, 2260, {1, 1, 7, 1, 23, 39, 3, 205, 447, 603, 1213, 667, 1039}},
{826, 13, 2267, {1, 1, 1, 5, 7, 63, 27, 169, 403, 775, 241, 3951, 3411}},
{827, 13, 2274, {1, 1, 3, 1, 7, 1, 63, 185, 197, 813, 1757, 2687, 7289}},
{828, 13, 2276, {1, 1, 7, 3, 21, 21, 97, 73, 73, 147, 1905, 2391, 3743}},
{829, 13, 2285, {1, 3, 7, 1, 29, 45, 27, 93, 71, 749, 337, 7, 3959}},
{830, 13, 2288, {1, 3, 3, 9, 25, 13, 61, 131, 183, 409, 1547, 1261, 5541}},
{831, 13, 2293, {1, 1, 7, 9, 9, 13, 13, 115, 87, 587, 1561, 1845, 2383}},
{832, 13, 2294, {1, 3, 3, 3, 13, 19, 99, 75, 435, 815, 251, 1639, 2157}},
{833, 13, 2297, {1, 1, 7, 9, 19, 61, 49, 237, 325, 429, 1019, 2649, 6671}},
{834, 13, 2303, {1, 3, 3, 11, 1, 59, 71, 143, 37, 445, 1289, 2089, 5693}},
{835, 13, 2308, {1, 3, 3, 7, 13, 13, 119, 83, 111, 497, 739, 863, 2009}},
{836, 13, 2311, {1, 3, 5, 1, 3, 21, 89, 27, 171, 121, 1453, 3273, 2891}},
{837, 13, 2318, {1, 3, 5, 5, 29, 19, 79, 77, 343, 969, 1759, 1921, 4189}},
{838, 13, 2323, {1, 1, 1, 3, 21, 55, 99, 49, 435, 697, 559, 3475, 6905}},
{839, 13, 2332, {1, 3, 1, 5, 9, 37, 83, 79, 171, 935, 751, 3293, 299}},
{840, 13, 2341, {1, 1, 3, 13, 13, 45, 35, 159, 283, 451, 495, 3239, 4429}},
{841, 13, 2345, {1, 1, 3, 1, 13, 43, 107, 189, 475, 679, 1843, 33, 6895}},
{842, 13, 2348, {1, 3, 5, 9, 17, 13, 107, 245, 415, 531, 265, 3165, 3189}},
{843, 13, 2354, {1, 3, 1, 3, 31, 29, 103, 233, 31, 445, 649, 3377, 3207}},
{844, 13, 2368, {1, 1, 3, 9, 19, 3, 1, 75, 423, 445, 1351, 2889, 5785}},
{845, 13, 2377, {1, 1, 3, 3, 21, 19, 113, 35, 173, 871, 275, 1901, 6725}},
{846, 13, 2380, {1, 1, 3, 7, 27, 45, 41, 93, 463, 209, 1721, 1863, 7893}},
{847, 13, 2383, {1, 1, 1, 13, 25, 63, 17, 171, 403, 645, 1669, 1663, 4335}},
{848, 13, 2388, {1, 3, 3, 7, 17, 15, 103, 5, 375, 7, 1117, 3851, 651}},
{849, 13, 2395, {1, 1, 1, 15, 29, 43, 13, 241, 403, 349, 685, 987, 4177}},
{850, 13, 2397, {1, 3, 5, 15, 31, 37, 111, 91, 391, 513, 1701, 2861, 4713}},
{851, 13, 2401, {1, 1, 5, 9, 23, 59, 125, 117, 375, 461, 1697, 1283, 7395}},
{852, 13, 2411, {1, 1, 3, 7, 21, 35, 101, 131, 129, 757, 199, 1881, 737}},
{853, 13, 2413, {1, 1, 7, 3, 31, 15, 121, 143, 67, 593, 1143, 3761, 3441}},
{854, 13, 2419, {1, 1, 3, 9, 11, 43, 7, 159, 25, 725, 1169, 1757, 3499}},
{855, 13, 2435, {1, 1, 3, 9, 5, 55, 77, 85, 309, 113, 1419, 1255, 4777}},
{856, 13, 2442, {1, 3, 3, 15, 19, 41, 75, 163, 51, 511, 1785, 4033, 7791}},
{857, 13, 2455, {1, 3, 7, 15, 29, 45, 81, 189, 401, 71, 1597, 3671, 2133}},
{858, 13, 2472, {1, 1, 3, 1, 3, 17, 119, 55, 217, 485, 1217, 1475, 5791}},
{859, 13, 2478, {1, 1, 7, 9, 21, 61, 71, 175, 205, 413, 1645, 2375, 89}},
{860, 13, 2490, {1, 3, 3, 7, 25, 35, 23, 49, 395, 675, 341, 959, 4665}},
{861, 13, 2507, {1, 3, 5, 15, 21, 37, 99, 151, 197, 145, 2043, 755, 2523}},
{862, 13, 2509, {1, 1, 1, 7, 1, 61, 75, 131, 65, 891, 349, 2767, 3855}},
{863, 13, 2517, {1, 3, 5, 9, 29, 57, 61, 79, 303, 997, 1053, 1973, 1547}},
{864, 13, 2524, {1, 1, 3, 7, 19, 9, 57, 197, 253, 597, 1971, 1831, 8097}},
{865, 13, 2528, {1, 3, 1, 9, 3, 13, 29, 169, 25, 957, 1575, 2955, 3549}},
{866, 13, 2531, {1, 1, 5, 11, 17, 37, 79, 91, 11, 687, 1511, 1065, 1539}},
{867, 13, 2538, {1, 1, 1, 7, 1, 59, 1, 49, 23, 73, 881, 1661, 3841}},
{868, 13, 2545, {1, 1, 1, 1, 13, 57, 111, 67, 511, 833, 1095, 15, 569}},
{869, 13, 2546, {1, 3, 1, 5, 17, 33, 1, 161, 311, 29, 685, 729, 5981}},
{870, 13, 2555, {1, 1, 7, 1, 7, 13, 49, 55, 251, 825, 709, 445, 7439}},
{871, 13, 2557, {1, 3, 1, 5, 13, 55, 101, 89, 239, 907, 1559, 1421, 87}},
{872, 13, 2564, {1, 1, 3, 9, 23, 27, 41, 189, 35, 155, 683, 2491, 7495}},
{873, 13, 2573, {1, 3, 5, 3, 5, 47, 39, 161, 279, 945, 365, 15, 4643}},
{874, 13, 2579, {1, 1, 1, 11, 21, 7, 125, 195, 23, 635, 1949, 2237, 1885}},
{875, 13, 2592, {1, 1, 3, 7, 13, 25, 105, 145, 203, 701, 1525, 1391, 1637}},
{876, 13, 2598, {1, 3, 3, 13, 7, 43, 13, 39, 301, 507, 405, 2333, 2405}},
{877, 13, 2607, {1, 1, 5, 15, 25, 19, 31, 67, 81, 781, 1541, 3743, 2787}},
{878, 13, 2612, {1, 1, 1, 11, 15, 7, 87, 129, 151, 225, 655, 1569, 5299}},
{879, 13, 2619, {1, 1, 5, 3, 3, 33, 97, 255, 9, 667, 787, 3557, 5273}},
{880, 13, 2621, {1, 1, 3, 3, 1, 7, 13, 31, 31, 1021, 1863, 2897, 6389}},
{881, 13, 2627, {1, 3, 1, 15, 13, 29, 93, 27, 229, 599, 521, 1631, 3683}},
{882, 13, 2633, {1, 1, 7, 9, 11, 27, 43, 95, 149, 159, 495, 2711, 2189}},
{883, 13, 2636, {1, 1, 7, 9, 11, 51, 43, 121, 299, 73, 1991, 561, 6781}},
{884, 13, 2642, {1, 1, 3, 3, 7, 61, 125, 13, 415, 11, 15, 2463, 385}},
{885, 13, 2654, {1, 3, 5, 1, 27, 23, 1, 47, 149, 371, 1599, 341, 1595}},
{886, 13, 2660, {1, 1, 1, 15, 3, 39, 65, 5, 33, 713, 399, 2935, 3825}},
{887, 13, 2669, {1, 1, 7, 7, 17, 39, 3, 235, 227, 231, 323, 2869, 4747}},
{888, 13, 2675, {1, 1, 5, 9, 13, 11, 41, 155, 393, 701, 909, 2999, 5053}},
{889, 13, 2684, {1, 1, 3, 7, 5, 41, 105, 13, 123, 429, 1455, 2501, 1065}},
{890, 13, 2694, {1, 1, 1, 7, 17, 21, 95, 141, 305, 951, 1305, 3639, 3797}},
{891, 13, 2703, {1, 3, 5, 9, 7, 59, 29, 129, 265, 889, 993, 1411, 2069}},
{892, 13, 2706, {1, 1, 1, 11, 3, 51, 9, 35, 355, 131, 1307, 1547, 701}},
{893, 13, 2712, {1, 1, 7, 3, 17, 57, 113, 197, 483, 831, 1741, 3897, 3649}},
{894, 13, 2715, {1, 1, 5, 11, 1, 33, 7, 243, 95, 905, 1933, 2123, 7381}},
{895, 13, 2722, {1, 3, 3, 15, 5, 37, 1, 235, 77, 375, 1231, 1029, 1839}},
{896, 13, 2727, {1, 1, 5, 3, 31, 11, 103, 245, 373, 103, 25, 1283, 6155}},
{897, 13, 2734, {1, 3, 5, 1, 25, 25, 51, 159, 381, 97, 799, 565, 5165}},
{898, 13, 2742, {1, 1, 7, 13, 25, 21, 109, 3, 253, 459, 623, 2817, 7815}},
{899, 13, 2745, {1, 3, 5, 1, 23, 5, 127, 157, 187, 187, 1383, 2777, 2413}},
{900, 13, 2751, {1, 1, 5, 3, 29, 47, 97, 197, 215, 725, 445, 2111, 1701}},
{901, 13, 2766, {1, 3, 1, 9, 27, 25, 105, 59, 333, 79, 1099, 3695, 5725}},
{902, 13, 2768, {1, 1, 7, 3, 11, 15, 127, 151, 163, 967, 665, 733, 509}},
{903, 13, 2780, {1, 3, 3, 3, 15, 5, 51, 17, 409, 679, 229, 1037, 353}},
{904, 13, 2790, {1, 3, 7, 15, 7, 9, 17, 115, 205, 105, 597, 2913, 1941}},
{905, 13, 2794, {1, 1, 5, 11, 31, 1, 99, 213, 33, 319, 617, 1493, 7287}},
{906, 13, 2796, {1, 3, 5, 5, 21, 31, 115, 43, 309, 217, 1, 3363, 6673}},
{907, 13, 2801, {1, 3, 7, 7, 11, 29, 125, 75, 209, 217, 1749, 1565, 4431}},
{908, 13, 2804, {1, 3, 5, 1, 5, 37, 103, 237, 19, 763, 915, 753, 7479}},
{909, 13, 2807, {1, 3, 3, 9, 11, 59, 9, 133, 455, 683, 251, 963, 3743}},
{910, 13, 2816, {1, 3, 5, 9, 7, 41, 97, 185, 117, 367, 2045, 3013, 6249}},
{911, 13, 2821, {1, 1, 1, 5, 29, 51, 53, 147, 379, 769, 865, 2273, 1755}},
{912, 13, 2831, {1, 3, 1, 7, 13, 61, 125, 153, 297, 385, 1981, 2221, 4209}},
{913, 13, 2834, {1, 1, 7, 15, 7, 33, 41, 43, 201, 819, 129, 757, 4087}},
{914, 13, 2839, {1, 1, 5, 7, 31, 15, 19, 15, 197, 921, 1967, 491, 4911}},
{915, 13, 2845, {1, 1, 1, 13, 21, 25, 119, 123, 255, 155, 1765, 2895, 4201}},
{916, 13, 2852, {1, 3, 5, 9, 1, 63, 57, 193, 327, 455, 1729, 1259, 7483}},
{917, 13, 2856, {1, 3, 5, 1, 5, 19, 71, 255, 257, 477, 1799, 3855, 955}},
{918, 13, 2861, {1, 1, 3, 1, 29, 27, 7, 151, 327, 311, 235, 3599, 6165}},
{919, 13, 2873, {1, 3, 3, 3, 7, 29, 113, 87, 339, 271, 1141, 1111, 7971}},
{920, 13, 2874, {1, 3, 5, 15, 23, 51, 57, 233, 179, 397, 1059, 123, 697}},
{921, 13, 2888, {1, 3, 3, 13, 17, 11, 15, 189, 437, 449, 1533, 2209, 1849}},
{922, 13, 2893, {1, 3, 5, 9, 9, 19, 53, 165, 279, 875, 1223, 1585, 6647}},
{923, 13, 2894, {1, 1, 7, 5, 5, 49, 119, 31, 273, 919, 413, 1531, 6233}},
{924, 13, 2902, {1, 3, 5, 5, 1, 19, 27, 213, 413, 271, 223, 299, 5635}},
{925, 13, 2917, {1, 1, 7, 3, 11, 55, 25, 43, 147, 53, 95, 1849, 7701}},
{926, 13, 2921, {1, 3, 5, 11, 17, 35, 9, 3, 117, 729, 21, 3379, 5963}},
{927, 13, 2922, {1, 3, 1, 7, 23, 25, 45, 103, 181, 677, 1155, 205, 1967}},
{928, 13, 2929, {1, 1, 3, 9, 19, 53, 41, 243, 97, 199, 407, 3299, 5309}},
{929, 13, 2935, {1, 3, 5, 11, 27, 27, 59, 153, 501, 855, 1235, 2295, 5535}},
{930, 13, 2946, {1, 1, 3, 7, 11, 37, 1, 179, 289, 895, 511, 697, 5067}},