-
Notifications
You must be signed in to change notification settings - Fork 3
/
rcyclotomic7integer_constants.cpp
1673 lines (1669 loc) · 91.6 KB
/
rcyclotomic7integer_constants.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
#include "rcyclotomic7integer_constants.h"
namespace RCyclotomic7Integer_constants {
const double dl1(cos(2. * M_PIl / 7.) * 2.);
const double dl2(cos(4. * M_PIl / 7.) * 2.);
const double dl3(cos(6. * M_PIl / 7.) * 2.);
interval const gaol_l1(interval(2) *
cos(interval(2) * interval::pi() / interval(7)));
interval const gaol_l2(interval(2) *
cos(interval(4) * interval::pi() / interval(7)));
interval const gaol_l3(interval(2) *
cos(interval(6) * interval::pi() / interval(7)));
const unsigned int iPrimesDecomposition_max = 9973;
typedef RCyclotomic7Integer RCI7;
map<unsigned int, vector<RCI7>> iPrimesDecomposition = {
{2, vector<RCI7>({RCI7(-2, -2, -2)})},
{3, vector<RCI7>({RCI7(-3, -3, -3)})},
{5, vector<RCI7>({RCI7(-5, -5, -5)})},
{7, vector<RCI7>({RCI7(-3, -2, -2)})},
{11, vector<RCI7>({RCI7(-11, -11, -11)})},
{13, vector<RCI7>(
{RCI7(-2, -3, -3), RCI7(-3, -2, -3), RCI7(-3, -3, -2)})},
{17, vector<RCI7>({RCI7(-17, -17, -17)})},
{19, vector<RCI7>({RCI7(-19, -19, -19)})},
{23, vector<RCI7>({RCI7(-23, -23, -23)})},
{29, vector<RCI7>(
{RCI7(-3, -3, -4), RCI7(-4, -3, -3), RCI7(-3, -4, -3)})},
{31, vector<RCI7>({RCI7(-31, -31, -31)})},
{37, vector<RCI7>({RCI7(-37, -37, -37)})},
{41, vector<RCI7>(
{RCI7(-3, -4, -4), RCI7(-4, -3, -4), RCI7(-4, -4, -3)})},
{43, vector<RCI7>(
{RCI7(-4, -5, -3), RCI7(-3, -4, -5), RCI7(-5, -3, -4)})},
{47, vector<RCI7>({RCI7(-47, -47, -47)})},
{53, vector<RCI7>({RCI7(-53, -53, -53)})},
{59, vector<RCI7>({RCI7(-59, -59, -59)})},
{61, vector<RCI7>({RCI7(-61, -61, -61)})},
{67, vector<RCI7>({RCI7(-67, -67, -67)})},
{71, vector<RCI7>(
{RCI7(-4, -9, -13), RCI7(-13, -4, -9), RCI7(-9, -13, -4)})},
{73, vector<RCI7>({RCI7(-73, -73, -73)})},
{79, vector<RCI7>({RCI7(-79, -79, -79)})},
{83, vector<RCI7>(
{RCI7(-4, -9, -12), RCI7(-12, -4, -9), RCI7(-9, -12, -4)})},
{89, vector<RCI7>({RCI7(-89, -89, -89)})},
{97, vector<RCI7>(
{RCI7(-4, -7, -7), RCI7(-7, -4, -7), RCI7(-7, -7, -4)})},
{101, vector<RCI7>({RCI7(-101, -101, -101)})},
{103, vector<RCI7>({RCI7(-103, -103, -103)})},
{107, vector<RCI7>({RCI7(-107, -107, -107)})},
{109, vector<RCI7>({RCI7(-109, -109, -109)})},
{113, vector<RCI7>(
{RCI7(-6, -8, -13), RCI7(-13, -6, -8), RCI7(-8, -13, -6)})},
{127, vector<RCI7>({RCI7(-7, -16, -25), RCI7(-25, -7, -16),
RCI7(-16, -25, -7)})},
{131, vector<RCI7>({RCI7(-131, -131, -131)})},
{137, vector<RCI7>({RCI7(-137, -137, -137)})},
{139, vector<RCI7>(
{RCI7(-12, -5, -8), RCI7(-8, -12, -5), RCI7(-5, -8, -12)})},
{149, vector<RCI7>({RCI7(-149, -149, -149)})},
{151, vector<RCI7>({RCI7(-151, -151, -151)})},
{157, vector<RCI7>({RCI7(-157, -157, -157)})},
{163, vector<RCI7>({RCI7(-163, -163, -163)})},
{167, vector<RCI7>({RCI7(-15, -7, -15), RCI7(-15, -15, -7),
RCI7(-7, -15, -15)})},
{173, vector<RCI7>({RCI7(-173, -173, -173)})},
{179, vector<RCI7>({RCI7(-179, -179, -179)})},
{181, vector<RCI7>(
{RCI7(-6, -9, -14), RCI7(-14, -6, -9), RCI7(-9, -14, -6)})},
{191, vector<RCI7>({RCI7(-191, -191, -191)})},
{193, vector<RCI7>({RCI7(-193, -193, -193)})},
{197, vector<RCI7>({RCI7(-43, -12, -27), RCI7(-27, -43, -12),
RCI7(-12, -27, -43)})},
{199, vector<RCI7>({RCI7(-199, -199, -199)})},
{211, vector<RCI7>(
{RCI7(-8, -14, -9), RCI7(-9, -8, -14), RCI7(-14, -9, -8)})},
{223, vector<RCI7>(
{RCI7(-5, -9, -11), RCI7(-11, -5, -9), RCI7(-9, -11, -5)})},
{227, vector<RCI7>({RCI7(-227, -227, -227)})},
{229, vector<RCI7>({RCI7(-229, -229, -229)})},
{233, vector<RCI7>({RCI7(-233, -233, -233)})},
{239, vector<RCI7>({RCI7(-10, -15, -6), RCI7(-6, -10, -15),
RCI7(-15, -6, -10)})},
{241, vector<RCI7>({RCI7(-241, -241, -241)})},
{251, vector<RCI7>({RCI7(-14, -41, -59), RCI7(-59, -14, -41),
RCI7(-41, -59, -14)})},
{257, vector<RCI7>({RCI7(-257, -257, -257)})},
{263, vector<RCI7>({RCI7(-263, -263, -263)})},
{269, vector<RCI7>({RCI7(-269, -269, -269)})},
{271, vector<RCI7>({RCI7(-271, -271, -271)})},
{277, vector<RCI7>({RCI7(-277, -277, -277)})},
{281, vector<RCI7>(
{RCI7(-6, -7, -7), RCI7(-7, -6, -7), RCI7(-7, -7, -6)})},
{283, vector<RCI7>({RCI7(-283, -283, -283)})},
{293, vector<RCI7>(
{RCI7(-9, -6, -7), RCI7(-7, -9, -6), RCI7(-6, -7, -9)})},
{307, vector<RCI7>({RCI7(-20, -13, -11), RCI7(-11, -20, -13),
RCI7(-13, -11, -20)})},
{311, vector<RCI7>({RCI7(-311, -311, -311)})},
{313, vector<RCI7>({RCI7(-313, -313, -313)})},
{317, vector<RCI7>({RCI7(-317, -317, -317)})},
{331, vector<RCI7>({RCI7(-331, -331, -331)})},
{337, vector<RCI7>({RCI7(-7, -17, -23), RCI7(-23, -7, -17),
RCI7(-17, -23, -7)})},
{347, vector<RCI7>({RCI7(-347, -347, -347)})},
{349, vector<RCI7>(
{RCI7(-8, -9, -6), RCI7(-6, -8, -9), RCI7(-9, -6, -8)})},
{353, vector<RCI7>({RCI7(-353, -353, -353)})},
{359, vector<RCI7>({RCI7(-359, -359, -359)})},
{367, vector<RCI7>({RCI7(-367, -367, -367)})},
{373, vector<RCI7>({RCI7(-373, -373, -373)})},
{379, vector<RCI7>({RCI7(-18, -47, -74), RCI7(-74, -18, -47),
RCI7(-47, -74, -18)})},
{383, vector<RCI7>({RCI7(-383, -383, -383)})},
{389, vector<RCI7>({RCI7(-389, -389, -389)})},
{397, vector<RCI7>({RCI7(-397, -397, -397)})},
{401, vector<RCI7>({RCI7(-401, -401, -401)})},
{409, vector<RCI7>({RCI7(-409, -409, -409)})},
{419, vector<RCI7>({RCI7(-16, -21, -7), RCI7(-7, -16, -21),
RCI7(-21, -7, -16)})},
{421, vector<RCI7>(
{RCI7(-8, -11, -7), RCI7(-7, -8, -11), RCI7(-11, -7, -8)})},
{431, vector<RCI7>({RCI7(-431, -431, -431)})},
{433, vector<RCI7>(
{RCI7(-7, -8, -8), RCI7(-8, -7, -8), RCI7(-8, -8, -7)})},
{439, vector<RCI7>({RCI7(-439, -439, -439)})},
{443, vector<RCI7>({RCI7(-443, -443, -443)})},
{449, vector<RCI7>({RCI7(-11, -16, -7), RCI7(-7, -11, -16),
RCI7(-16, -7, -11)})},
{457, vector<RCI7>({RCI7(-457, -457, -457)})},
{461, vector<RCI7>(
{RCI7(-7, -8, -10), RCI7(-10, -7, -8), RCI7(-8, -10, -7)})},
{463, vector<RCI7>({RCI7(-17, -39, -41), RCI7(-41, -17, -39),
RCI7(-39, -41, -17)})},
{467, vector<RCI7>({RCI7(-467, -467, -467)})},
{479, vector<RCI7>({RCI7(-479, -479, -479)})},
{487, vector<RCI7>({RCI7(-487, -487, -487)})},
{491, vector<RCI7>(
{RCI7(-10, -9, -7), RCI7(-7, -10, -9), RCI7(-9, -7, -10)})},
{499, vector<RCI7>({RCI7(-499, -499, -499)})},
{503, vector<RCI7>({RCI7(-20, -22, -9), RCI7(-9, -20, -22),
RCI7(-22, -9, -20)})},
{509, vector<RCI7>({RCI7(-509, -509, -509)})},
{521, vector<RCI7>({RCI7(-521, -521, -521)})},
{523, vector<RCI7>({RCI7(-523, -523, -523)})},
{541, vector<RCI7>({RCI7(-541, -541, -541)})},
{547, vector<RCI7>({RCI7(-10, -17, -11), RCI7(-11, -10, -17),
RCI7(-17, -11, -10)})},
{557, vector<RCI7>({RCI7(-557, -557, -557)})},
{563, vector<RCI7>({RCI7(-563, -563, -563)})},
{569, vector<RCI7>({RCI7(-569, -569, -569)})},
{571, vector<RCI7>({RCI7(-571, -571, -571)})},
{577, vector<RCI7>({RCI7(-577, -577, -577)})},
{587, vector<RCI7>({RCI7(-13, -21, -10), RCI7(-10, -13, -21),
RCI7(-21, -10, -13)})},
{593, vector<RCI7>({RCI7(-593, -593, -593)})},
{599, vector<RCI7>({RCI7(-599, -599, -599)})},
{601, vector<RCI7>({RCI7(-13, -16, -7), RCI7(-7, -13, -16),
RCI7(-16, -7, -13)})},
{607, vector<RCI7>({RCI7(-607, -607, -607)})},
{613, vector<RCI7>({RCI7(-613, -613, -613)})},
{617, vector<RCI7>({RCI7(-7, -12, -15), RCI7(-15, -7, -12),
RCI7(-12, -15, -7)})},
{619, vector<RCI7>({RCI7(-619, -619, -619)})},
{631, vector<RCI7>(
{RCI7(-8, -9, -9), RCI7(-9, -8, -9), RCI7(-9, -9, -8)})},
{641, vector<RCI7>({RCI7(-641, -641, -641)})},
{643, vector<RCI7>({RCI7(-11, -8, -13), RCI7(-13, -11, -8),
RCI7(-8, -13, -11)})},
{647, vector<RCI7>({RCI7(-647, -647, -647)})},
{653, vector<RCI7>({RCI7(-653, -653, -653)})},
{659, vector<RCI7>({RCI7(-96, -149, -31), RCI7(-31, -96, -149),
RCI7(-149, -31, -96)})},
{661, vector<RCI7>({RCI7(-661, -661, -661)})},
{673, vector<RCI7>(
{RCI7(-10, -8, -9), RCI7(-9, -10, -8), RCI7(-8, -9, -10)})},
{677, vector<RCI7>({RCI7(-677, -677, -677)})},
{683, vector<RCI7>({RCI7(-683, -683, -683)})},
{691, vector<RCI7>({RCI7(-691, -691, -691)})},
{701, vector<RCI7>({RCI7(-47, -13, -30), RCI7(-30, -47, -13),
RCI7(-13, -30, -47)})},
{709, vector<RCI7>({RCI7(-709, -709, -709)})},
{719, vector<RCI7>({RCI7(-719, -719, -719)})},
{727, vector<RCI7>({RCI7(-12, -17, -8), RCI7(-8, -12, -17),
RCI7(-17, -8, -12)})},
{733, vector<RCI7>({RCI7(-733, -733, -733)})},
{739, vector<RCI7>({RCI7(-739, -739, -739)})},
{743, vector<RCI7>({RCI7(-8, -13, -12), RCI7(-12, -8, -13),
RCI7(-13, -12, -8)})},
{751, vector<RCI7>({RCI7(-751, -751, -751)})},
{757, vector<RCI7>({RCI7(-8, -17, -22), RCI7(-22, -8, -17),
RCI7(-17, -22, -8)})},
{761, vector<RCI7>({RCI7(-761, -761, -761)})},
{769, vector<RCI7>({RCI7(-8, -15, -21), RCI7(-21, -8, -15),
RCI7(-15, -21, -8)})},
{773, vector<RCI7>({RCI7(-773, -773, -773)})},
{787, vector<RCI7>({RCI7(-787, -787, -787)})},
{797, vector<RCI7>({RCI7(-19, -13, -11), RCI7(-11, -19, -13),
RCI7(-13, -11, -19)})},
{809, vector<RCI7>({RCI7(-809, -809, -809)})},
{811, vector<RCI7>(
{RCI7(-9, -9, -11), RCI7(-11, -9, -9), RCI7(-9, -11, -9)})},
{821, vector<RCI7>({RCI7(-821, -821, -821)})},
{823, vector<RCI7>({RCI7(-823, -823, -823)})},
{827, vector<RCI7>({RCI7(-8, -13, -13), RCI7(-13, -8, -13),
RCI7(-13, -13, -8)})},
{829, vector<RCI7>({RCI7(-829, -829, -829)})},
{839, vector<RCI7>({RCI7(-130, -29, -88), RCI7(-88, -130, -29),
RCI7(-29, -88, -130)})},
{853, vector<RCI7>({RCI7(-15, -24, -11), RCI7(-11, -15, -24),
RCI7(-24, -11, -15)})},
{857, vector<RCI7>({RCI7(-857, -857, -857)})},
{859, vector<RCI7>({RCI7(-859, -859, -859)})},
{863, vector<RCI7>({RCI7(-863, -863, -863)})},
{877, vector<RCI7>({RCI7(-877, -877, -877)})},
{881, vector<RCI7>({RCI7(-9, -10, -10), RCI7(-10, -9, -10),
RCI7(-10, -10, -9)})},
{883, vector<RCI7>({RCI7(-15, -40, -53), RCI7(-53, -15, -40),
RCI7(-40, -53, -15)})},
{887, vector<RCI7>({RCI7(-887, -887, -887)})},
{907, vector<RCI7>({RCI7(-907, -907, -907)})},
{911, vector<RCI7>({RCI7(-17, -13, -10), RCI7(-10, -17, -13),
RCI7(-13, -10, -17)})},
{919, vector<RCI7>({RCI7(-919, -919, -919)})},
{929, vector<RCI7>({RCI7(-929, -929, -929)})},
{937, vector<RCI7>({RCI7(-18, -53, -78), RCI7(-78, -18, -53),
RCI7(-53, -78, -18)})},
{941, vector<RCI7>({RCI7(-941, -941, -941)})},
{947, vector<RCI7>({RCI7(-947, -947, -947)})},
{953, vector<RCI7>({RCI7(-41, -23, -23), RCI7(-23, -41, -23),
RCI7(-23, -23, -41)})},
{967, vector<RCI7>({RCI7(-11, -9, -13), RCI7(-13, -11, -9),
RCI7(-9, -13, -11)})},
{971, vector<RCI7>({RCI7(-971, -971, -971)})},
{977, vector<RCI7>({RCI7(-977, -977, -977)})},
{983, vector<RCI7>({RCI7(-983, -983, -983)})},
{991, vector<RCI7>({RCI7(-991, -991, -991)})},
{997, vector<RCI7>({RCI7(-997, -997, -997)})},
{1009, vector<RCI7>({RCI7(-24, -26, -11), RCI7(-11, -24, -26),
RCI7(-26, -11, -24)})},
{1013, vector<RCI7>({RCI7(-1013, -1013, -1013)})},
{1019, vector<RCI7>({RCI7(-1019, -1019, -1019)})},
{1021, vector<RCI7>({RCI7(-39, -56, -14), RCI7(-14, -39, -56),
RCI7(-56, -14, -39)})},
{1031, vector<RCI7>({RCI7(-1031, -1031, -1031)})},
{1033, vector<RCI7>({RCI7(-1033, -1033, -1033)})},
{1039, vector<RCI7>({RCI7(-1039, -1039, -1039)})},
{1049, vector<RCI7>({RCI7(-24, -71, -103), RCI7(-103, -24, -71),
RCI7(-71, -103, -24)})},
{1051, vector<RCI7>({RCI7(-26, -9, -19), RCI7(-19, -26, -9),
RCI7(-9, -19, -26)})},
{1061, vector<RCI7>({RCI7(-1061, -1061, -1061)})},
{1063, vector<RCI7>({RCI7(-25, -68, -90), RCI7(-90, -25, -68),
RCI7(-68, -90, -25)})},
{1069, vector<RCI7>({RCI7(-1069, -1069, -1069)})},
{1087, vector<RCI7>({RCI7(-1087, -1087, -1087)})},
{1091, vector<RCI7>({RCI7(-82, -133, -41), RCI7(-41, -82, -133),
RCI7(-133, -41, -82)})},
{1093, vector<RCI7>({RCI7(-53, -17, -33), RCI7(-33, -53, -17),
RCI7(-17, -33, -53)})},
{1097, vector<RCI7>({RCI7(-1097, -1097, -1097)})},
{1103, vector<RCI7>({RCI7(-1103, -1103, -1103)})},
{1109, vector<RCI7>({RCI7(-1109, -1109, -1109)})},
{1117, vector<RCI7>({RCI7(-1117, -1117, -1117)})},
{1123, vector<RCI7>({RCI7(-1123, -1123, -1123)})},
{1129, vector<RCI7>({RCI7(-1129, -1129, -1129)})},
{1151, vector<RCI7>({RCI7(-1151, -1151, -1151)})},
{1153, vector<RCI7>({RCI7(-1153, -1153, -1153)})},
{1163, vector<RCI7>({RCI7(-9, -12, -13), RCI7(-13, -9, -12),
RCI7(-12, -13, -9)})},
{1171, vector<RCI7>({RCI7(-1171, -1171, -1171)})},
{1181, vector<RCI7>({RCI7(-1181, -1181, -1181)})},
{1187, vector<RCI7>({RCI7(-1187, -1187, -1187)})},
{1193, vector<RCI7>({RCI7(-1193, -1193, -1193)})},
{1201, vector<RCI7>({RCI7(-1201, -1201, -1201)})},
{1213, vector<RCI7>({RCI7(-1213, -1213, -1213)})},
{1217, vector<RCI7>({RCI7(-23, -17, -32), RCI7(-32, -23, -17),
RCI7(-17, -32, -23)})},
{1223, vector<RCI7>({RCI7(-1223, -1223, -1223)})},
{1229, vector<RCI7>({RCI7(-1229, -1229, -1229)})},
{1231, vector<RCI7>({RCI7(-9, -15, -20), RCI7(-20, -9, -15),
RCI7(-15, -20, -9)})},
{1237, vector<RCI7>({RCI7(-1237, -1237, -1237)})},
{1249, vector<RCI7>({RCI7(-1249, -1249, -1249)})},
{1259, vector<RCI7>({RCI7(-21, -9, -16), RCI7(-16, -21, -9),
RCI7(-9, -16, -21)})},
{1277, vector<RCI7>({RCI7(-1277, -1277, -1277)})},
{1279, vector<RCI7>({RCI7(-1279, -1279, -1279)})},
{1283, vector<RCI7>({RCI7(-1283, -1283, -1283)})},
{1289, vector<RCI7>({RCI7(-18, -17, -10), RCI7(-10, -18, -17),
RCI7(-17, -10, -18)})},
{1291, vector<RCI7>({RCI7(-1291, -1291, -1291)})},
{1297, vector<RCI7>({RCI7(-1297, -1297, -1297)})},
{1301, vector<RCI7>({RCI7(-19, -54, -83), RCI7(-83, -19, -54),
RCI7(-54, -83, -19)})},
{1303, vector<RCI7>({RCI7(-33, -15, -20), RCI7(-20, -33, -15),
RCI7(-15, -20, -33)})},
{1307, vector<RCI7>({RCI7(-1307, -1307, -1307)})},
{1319, vector<RCI7>({RCI7(-1319, -1319, -1319)})},
{1321, vector<RCI7>({RCI7(-1321, -1321, -1321)})},
{1327, vector<RCI7>({RCI7(-1327, -1327, -1327)})},
{1361, vector<RCI7>({RCI7(-1361, -1361, -1361)})},
{1367, vector<RCI7>({RCI7(-1367, -1367, -1367)})},
{1373, vector<RCI7>({RCI7(-34, -47, -13), RCI7(-13, -34, -47),
RCI7(-47, -13, -34)})},
{1381, vector<RCI7>({RCI7(-1381, -1381, -1381)})},
{1399, vector<RCI7>({RCI7(-11, -14, -21), RCI7(-21, -11, -14),
RCI7(-14, -21, -11)})},
{1409, vector<RCI7>({RCI7(-1409, -1409, -1409)})},
{1423, vector<RCI7>({RCI7(-1423, -1423, -1423)})},
{1427, vector<RCI7>({RCI7(-12, -16, -25), RCI7(-25, -12, -16),
RCI7(-16, -25, -12)})},
{1429, vector<RCI7>({RCI7(-12, -24, -23), RCI7(-23, -12, -24),
RCI7(-24, -23, -12)})},
{1433, vector<RCI7>({RCI7(-1433, -1433, -1433)})},
{1439, vector<RCI7>({RCI7(-1439, -1439, -1439)})},
{1447, vector<RCI7>({RCI7(-1447, -1447, -1447)})},
{1451, vector<RCI7>({RCI7(-1451, -1451, -1451)})},
{1453, vector<RCI7>({RCI7(-1453, -1453, -1453)})},
{1459, vector<RCI7>({RCI7(-1459, -1459, -1459)})},
{1471, vector<RCI7>({RCI7(-13, -11, -17), RCI7(-17, -13, -11),
RCI7(-11, -17, -13)})},
{1481, vector<RCI7>({RCI7(-1481, -1481, -1481)})},
{1483, vector<RCI7>({RCI7(-69, -20, -53), RCI7(-53, -69, -20),
RCI7(-20, -53, -69)})},
{1487, vector<RCI7>({RCI7(-1487, -1487, -1487)})},
{1489, vector<RCI7>({RCI7(-1489, -1489, -1489)})},
{1493, vector<RCI7>({RCI7(-1493, -1493, -1493)})},
{1499, vector<RCI7>({RCI7(-17, -44, -68), RCI7(-68, -17, -44),
RCI7(-44, -68, -17)})},
{1511, vector<RCI7>({RCI7(-51, -162, -250), RCI7(-250, -51, -162),
RCI7(-162, -250, -51)})},
{1523, vector<RCI7>({RCI7(-1523, -1523, -1523)})},
{1531, vector<RCI7>({RCI7(-1531, -1531, -1531)})},
{1543, vector<RCI7>({RCI7(-1543, -1543, -1543)})},
{1549, vector<RCI7>({RCI7(-1549, -1549, -1549)})},
{1553, vector<RCI7>({RCI7(-10, -18, -25), RCI7(-25, -10, -18),
RCI7(-18, -25, -10)})},
{1559, vector<RCI7>({RCI7(-1559, -1559, -1559)})},
{1567, vector<RCI7>({RCI7(-20, -16, -29), RCI7(-29, -20, -16),
RCI7(-16, -29, -20)})},
{1571, vector<RCI7>({RCI7(-1571, -1571, -1571)})},
{1579, vector<RCI7>({RCI7(-1579, -1579, -1579)})},
{1583, vector<RCI7>({RCI7(-87, -119, -31), RCI7(-31, -87, -119),
RCI7(-119, -31, -87)})},
{1597, vector<RCI7>({RCI7(-29, -42, -12), RCI7(-12, -29, -42),
RCI7(-42, -12, -29)})},
{1601, vector<RCI7>({RCI7(-1601, -1601, -1601)})},
{1607, vector<RCI7>({RCI7(-1607, -1607, -1607)})},
{1609, vector<RCI7>({RCI7(-35, -108, -167), RCI7(-167, -35, -108),
RCI7(-108, -167, -35)})},
{1613, vector<RCI7>({RCI7(-1613, -1613, -1613)})},
{1619, vector<RCI7>({RCI7(-1619, -1619, -1619)})},
{1621, vector<RCI7>({RCI7(-1621, -1621, -1621)})},
{1627, vector<RCI7>({RCI7(-1627, -1627, -1627)})},
{1637, vector<RCI7>({RCI7(-12, -11, -13), RCI7(-13, -12, -11),
RCI7(-11, -13, -12)})},
{1657, vector<RCI7>({RCI7(-1657, -1657, -1657)})},
{1663, vector<RCI7>({RCI7(-1663, -1663, -1663)})},
{1667, vector<RCI7>({RCI7(-16, -13, -11), RCI7(-11, -16, -13),
RCI7(-13, -11, -16)})},
{1669, vector<RCI7>({RCI7(-1669, -1669, -1669)})},
{1693, vector<RCI7>({RCI7(-11, -20, -19), RCI7(-19, -11, -20),
RCI7(-20, -19, -11)})},
{1697, vector<RCI7>({RCI7(-1697, -1697, -1697)})},
{1699, vector<RCI7>({RCI7(-1699, -1699, -1699)})},
{1709, vector<RCI7>({RCI7(-21, -10, -16), RCI7(-16, -21, -10),
RCI7(-10, -16, -21)})},
{1721, vector<RCI7>({RCI7(-52, -15, -39), RCI7(-39, -52, -15),
RCI7(-15, -39, -52)})},
{1723, vector<RCI7>({RCI7(-608, -945, -188), RCI7(-188, -608, -945),
RCI7(-945, -188, -608)})},
{1733, vector<RCI7>({RCI7(-1733, -1733, -1733)})},
{1741, vector<RCI7>({RCI7(-1741, -1741, -1741)})},
{1747, vector<RCI7>({RCI7(-1747, -1747, -1747)})},
{1753, vector<RCI7>({RCI7(-1753, -1753, -1753)})},
{1759, vector<RCI7>({RCI7(-1759, -1759, -1759)})},
{1777, vector<RCI7>({RCI7(-147, -32, -98), RCI7(-98, -147, -32),
RCI7(-32, -98, -147)})},
{1783, vector<RCI7>({RCI7(-1783, -1783, -1783)})},
{1787, vector<RCI7>({RCI7(-1787, -1787, -1787)})},
{1789, vector<RCI7>({RCI7(-1789, -1789, -1789)})},
{1801, vector<RCI7>({RCI7(-1801, -1801, -1801)})},
{1811, vector<RCI7>({RCI7(-1811, -1811, -1811)})},
{1823, vector<RCI7>({RCI7(-1823, -1823, -1823)})},
{1831, vector<RCI7>({RCI7(-1831, -1831, -1831)})},
{1847, vector<RCI7>({RCI7(-13, -27, -41), RCI7(-41, -13, -27),
RCI7(-27, -41, -13)})},
{1861, vector<RCI7>({RCI7(-24, -14, -15), RCI7(-15, -24, -14),
RCI7(-14, -15, -24)})},
{1867, vector<RCI7>({RCI7(-1867, -1867, -1867)})},
{1871, vector<RCI7>({RCI7(-1871, -1871, -1871)})},
{1873, vector<RCI7>({RCI7(-1873, -1873, -1873)})},
{1877, vector<RCI7>({RCI7(-19, -32, -52), RCI7(-52, -19, -32),
RCI7(-32, -52, -19)})},
{1879, vector<RCI7>({RCI7(-1879, -1879, -1879)})},
{1889, vector<RCI7>({RCI7(-31, -93, -144), RCI7(-144, -31, -93),
RCI7(-93, -144, -31)})},
{1901, vector<RCI7>({RCI7(-1901, -1901, -1901)})},
{1907, vector<RCI7>({RCI7(-1907, -1907, -1907)})},
{1913, vector<RCI7>({RCI7(-1913, -1913, -1913)})},
{1931, vector<RCI7>({RCI7(-14, -11, -14), RCI7(-14, -14, -11),
RCI7(-11, -14, -14)})},
{1933, vector<RCI7>({RCI7(-203, -651, -1013), RCI7(-1013, -203, -651),
RCI7(-651, -1013, -203)})},
{1949, vector<RCI7>({RCI7(-1949, -1949, -1949)})},
{1951, vector<RCI7>({RCI7(-1951, -1951, -1951)})},
{1973, vector<RCI7>({RCI7(-23, -13, -15), RCI7(-15, -23, -13),
RCI7(-13, -15, -23)})},
{1979, vector<RCI7>({RCI7(-1979, -1979, -1979)})},
{1987, vector<RCI7>({RCI7(-23, -66, -94), RCI7(-94, -23, -66),
RCI7(-66, -94, -23)})},
{1993, vector<RCI7>({RCI7(-1993, -1993, -1993)})},
{1997, vector<RCI7>({RCI7(-1997, -1997, -1997)})},
{1999, vector<RCI7>({RCI7(-1999, -1999, -1999)})},
{2003, vector<RCI7>({RCI7(-12, -13, -13), RCI7(-13, -12, -13),
RCI7(-13, -13, -12)})},
{2011, vector<RCI7>({RCI7(-2011, -2011, -2011)})},
{2017, vector<RCI7>({RCI7(-331, -68, -216), RCI7(-216, -331, -68),
RCI7(-68, -216, -331)})},
{2027, vector<RCI7>({RCI7(-2027, -2027, -2027)})},
{2029, vector<RCI7>({RCI7(-131, -216, -75), RCI7(-75, -131, -216),
RCI7(-216, -75, -131)})},
{2039, vector<RCI7>({RCI7(-2039, -2039, -2039)})},
{2053, vector<RCI7>({RCI7(-2053, -2053, -2053)})},
{2063, vector<RCI7>({RCI7(-2063, -2063, -2063)})},
{2069, vector<RCI7>({RCI7(-2069, -2069, -2069)})},
{2081, vector<RCI7>({RCI7(-2081, -2081, -2081)})},
{2083, vector<RCI7>({RCI7(-2083, -2083, -2083)})},
{2087, vector<RCI7>({RCI7(-72, -22, -45), RCI7(-45, -72, -22),
RCI7(-22, -45, -72)})},
{2089, vector<RCI7>({RCI7(-2089, -2089, -2089)})},
{2099, vector<RCI7>({RCI7(-29, -14, -29), RCI7(-29, -29, -14),
RCI7(-14, -29, -29)})},
{2111, vector<RCI7>({RCI7(-2111, -2111, -2111)})},
{2113, vector<RCI7>({RCI7(-102, -23, -68), RCI7(-68, -102, -23),
RCI7(-23, -68, -102)})},
{2129, vector<RCI7>({RCI7(-44, -136, -211), RCI7(-211, -44, -136),
RCI7(-136, -211, -44)})},
{2131, vector<RCI7>({RCI7(-2131, -2131, -2131)})},
{2137, vector<RCI7>({RCI7(-2137, -2137, -2137)})},
{2141, vector<RCI7>({RCI7(-27, -17, -16), RCI7(-16, -27, -17),
RCI7(-17, -16, -27)})},
{2143, vector<RCI7>({RCI7(-22, -62, -87), RCI7(-87, -22, -62),
RCI7(-62, -87, -22)})},
{2153, vector<RCI7>({RCI7(-2153, -2153, -2153)})},
{2161, vector<RCI7>({RCI7(-2161, -2161, -2161)})},
{2179, vector<RCI7>({RCI7(-2179, -2179, -2179)})},
{2203, vector<RCI7>({RCI7(-2203, -2203, -2203)})},
{2207, vector<RCI7>({RCI7(-2207, -2207, -2207)})},
{2213, vector<RCI7>({RCI7(-63, -16, -43), RCI7(-43, -63, -16),
RCI7(-16, -43, -63)})},
{2221, vector<RCI7>({RCI7(-2221, -2221, -2221)})},
{2237, vector<RCI7>({RCI7(-2237, -2237, -2237)})},
{2239, vector<RCI7>({RCI7(-17, -29, -18), RCI7(-18, -17, -29),
RCI7(-29, -18, -17)})},
{2243, vector<RCI7>({RCI7(-2243, -2243, -2243)})},
{2251, vector<RCI7>({RCI7(-2251, -2251, -2251)})},
{2267, vector<RCI7>({RCI7(-137, -31, -93), RCI7(-93, -137, -31),
RCI7(-31, -93, -137)})},
{2269, vector<RCI7>({RCI7(-71, -58, -35), RCI7(-35, -71, -58),
RCI7(-58, -35, -71)})},
{2273, vector<RCI7>({RCI7(-2273, -2273, -2273)})},
{2281, vector<RCI7>({RCI7(-77, -118, -26), RCI7(-26, -77, -118),
RCI7(-118, -26, -77)})},
{2287, vector<RCI7>({RCI7(-2287, -2287, -2287)})},
{2293, vector<RCI7>({RCI7(-2293, -2293, -2293)})},
{2297, vector<RCI7>({RCI7(-11, -19, -25), RCI7(-25, -11, -19),
RCI7(-19, -25, -11)})},
{2309, vector<RCI7>({RCI7(-117, -184, -43), RCI7(-43, -117, -184),
RCI7(-184, -43, -117)})},
{2311, vector<RCI7>({RCI7(-236, -762, -1185), RCI7(-1185, -236, -762),
RCI7(-762, -1185, -236)})},
{2333, vector<RCI7>({RCI7(-2333, -2333, -2333)})},
{2339, vector<RCI7>({RCI7(-25, -40, -66), RCI7(-66, -25, -40),
RCI7(-40, -66, -25)})},
{2341, vector<RCI7>({RCI7(-2341, -2341, -2341)})},
{2347, vector<RCI7>({RCI7(-2347, -2347, -2347)})},
{2351, vector<RCI7>({RCI7(-22, -45, -39), RCI7(-39, -22, -45),
RCI7(-45, -39, -22)})},
{2357, vector<RCI7>({RCI7(-2357, -2357, -2357)})},
{2371, vector<RCI7>({RCI7(-2371, -2371, -2371)})},
{2377, vector<RCI7>({RCI7(-2377, -2377, -2377)})},
{2381, vector<RCI7>({RCI7(-36, -17, -22), RCI7(-22, -36, -17),
RCI7(-17, -22, -36)})},
{2383, vector<RCI7>({RCI7(-2383, -2383, -2383)})},
{2389, vector<RCI7>({RCI7(-2389, -2389, -2389)})},
{2393, vector<RCI7>({RCI7(-13, -13, -17), RCI7(-17, -13, -13),
RCI7(-13, -17, -13)})},
{2399, vector<RCI7>({RCI7(-2399, -2399, -2399)})},
{2411, vector<RCI7>({RCI7(-2411, -2411, -2411)})},
{2417, vector<RCI7>({RCI7(-2417, -2417, -2417)})},
{2423, vector<RCI7>({RCI7(-33, -95, -148), RCI7(-148, -33, -95),
RCI7(-95, -148, -33)})},
{2437, vector<RCI7>({RCI7(-12, -15, -20), RCI7(-20, -12, -15),
RCI7(-15, -20, -12)})},
{2441, vector<RCI7>({RCI7(-2441, -2441, -2441)})},
{2447, vector<RCI7>({RCI7(-2447, -2447, -2447)})},
{2459, vector<RCI7>({RCI7(-2459, -2459, -2459)})},
{2467, vector<RCI7>({RCI7(-2467, -2467, -2467)})},
{2473, vector<RCI7>({RCI7(-2473, -2473, -2473)})},
{2477, vector<RCI7>({RCI7(-35, -47, -80), RCI7(-80, -35, -47),
RCI7(-47, -80, -35)})},
{2503, vector<RCI7>({RCI7(-2503, -2503, -2503)})},
{2521, vector<RCI7>({RCI7(-13, -14, -14), RCI7(-14, -13, -14),
RCI7(-14, -14, -13)})},
{2531, vector<RCI7>({RCI7(-2531, -2531, -2531)})},
{2539, vector<RCI7>({RCI7(-2539, -2539, -2539)})},
{2543, vector<RCI7>({RCI7(-2543, -2543, -2543)})},
{2549, vector<RCI7>({RCI7(-934, -1453, -290), RCI7(-290, -934, -1453),
RCI7(-1453, -290, -934)})},
{2551, vector<RCI7>({RCI7(-2551, -2551, -2551)})},
{2557, vector<RCI7>({RCI7(-2557, -2557, -2557)})},
{2579, vector<RCI7>({RCI7(-2579, -2579, -2579)})},
{2591, vector<RCI7>({RCI7(-12, -17, -16), RCI7(-16, -12, -17),
RCI7(-17, -16, -12)})},
{2593, vector<RCI7>({RCI7(-2593, -2593, -2593)})},
{2609, vector<RCI7>({RCI7(-2609, -2609, -2609)})},
{2617, vector<RCI7>({RCI7(-67, -101, -23), RCI7(-23, -67, -101),
RCI7(-101, -23, -67)})},
{2621, vector<RCI7>({RCI7(-2621, -2621, -2621)})},
{2633, vector<RCI7>({RCI7(-19, -40, -63), RCI7(-63, -19, -40),
RCI7(-40, -63, -19)})},
{2647, vector<RCI7>({RCI7(-17, -45, -67), RCI7(-67, -17, -45),
RCI7(-45, -67, -17)})},
{2657, vector<RCI7>({RCI7(-2657, -2657, -2657)})},
{2659, vector<RCI7>({RCI7(-19, -14, -24), RCI7(-24, -19, -14),
RCI7(-14, -24, -19)})},
{2663, vector<RCI7>({RCI7(-2663, -2663, -2663)})},
{2671, vector<RCI7>({RCI7(-2671, -2671, -2671)})},
{2677, vector<RCI7>({RCI7(-2677, -2677, -2677)})},
{2683, vector<RCI7>({RCI7(-2683, -2683, -2683)})},
{2687, vector<RCI7>({RCI7(-25, -47, -76), RCI7(-76, -25, -47),
RCI7(-47, -76, -25)})},
{2689, vector<RCI7>({RCI7(-42, -14, -33), RCI7(-33, -42, -14),
RCI7(-14, -33, -42)})},
{2693, vector<RCI7>({RCI7(-2693, -2693, -2693)})},
{2699, vector<RCI7>({RCI7(-2699, -2699, -2699)})},
{2707, vector<RCI7>({RCI7(-2707, -2707, -2707)})},
{2711, vector<RCI7>({RCI7(-2711, -2711, -2711)})},
{2713, vector<RCI7>({RCI7(-2713, -2713, -2713)})},
{2719, vector<RCI7>({RCI7(-2719, -2719, -2719)})},
{2729, vector<RCI7>({RCI7(-118, -27, -80), RCI7(-80, -118, -27),
RCI7(-27, -80, -118)})},
{2731, vector<RCI7>({RCI7(-101, -134, -37), RCI7(-37, -101, -134),
RCI7(-134, -37, -101)})},
{2741, vector<RCI7>({RCI7(-2741, -2741, -2741)})},
{2749, vector<RCI7>({RCI7(-2749, -2749, -2749)})},
{2753, vector<RCI7>({RCI7(-2753, -2753, -2753)})},
{2767, vector<RCI7>({RCI7(-2767, -2767, -2767)})},
{2777, vector<RCI7>({RCI7(-2777, -2777, -2777)})},
{2789, vector<RCI7>({RCI7(-2789, -2789, -2789)})},
{2791, vector<RCI7>({RCI7(-2791, -2791, -2791)})},
{2797, vector<RCI7>({RCI7(-2797, -2797, -2797)})},
{2801, vector<RCI7>({RCI7(-22, -12, -21), RCI7(-21, -22, -12),
RCI7(-12, -21, -22)})},
{2803, vector<RCI7>({RCI7(-2803, -2803, -2803)})},
{2819, vector<RCI7>({RCI7(-2819, -2819, -2819)})},
{2833, vector<RCI7>({RCI7(-2833, -2833, -2833)})},
{2837, vector<RCI7>({RCI7(-2837, -2837, -2837)})},
{2843, vector<RCI7>({RCI7(-123, -190, -40), RCI7(-40, -123, -190),
RCI7(-190, -40, -123)})},
{2851, vector<RCI7>({RCI7(-2851, -2851, -2851)})},
{2857, vector<RCI7>({RCI7(-23, -61, -80), RCI7(-80, -23, -61),
RCI7(-61, -80, -23)})},
{2861, vector<RCI7>({RCI7(-2861, -2861, -2861)})},
{2879, vector<RCI7>({RCI7(-2879, -2879, -2879)})},
{2887, vector<RCI7>({RCI7(-2887, -2887, -2887)})},
{2897, vector<RCI7>({RCI7(-52, -84, -27), RCI7(-27, -52, -84),
RCI7(-84, -27, -52)})},
{2903, vector<RCI7>({RCI7(-2903, -2903, -2903)})},
{2909, vector<RCI7>({RCI7(-2909, -2909, -2909)})},
{2917, vector<RCI7>({RCI7(-2917, -2917, -2917)})},
{2927, vector<RCI7>({RCI7(-21, -58, -81), RCI7(-81, -21, -58),
RCI7(-58, -81, -21)})},
{2939, vector<RCI7>({RCI7(-25, -36, -60), RCI7(-60, -25, -36),
RCI7(-36, -60, -25)})},
{2953, vector<RCI7>({RCI7(-275, -424, -86), RCI7(-86, -275, -424),
RCI7(-424, -86, -275)})},
{2957, vector<RCI7>({RCI7(-2957, -2957, -2957)})},
{2963, vector<RCI7>({RCI7(-2963, -2963, -2963)})},
{2969, vector<RCI7>({RCI7(-15, -19, -13), RCI7(-13, -15, -19),
RCI7(-19, -13, -15)})},
{2971, vector<RCI7>({RCI7(-2971, -2971, -2971)})},
{2999, vector<RCI7>({RCI7(-2999, -2999, -2999)})},
{3001, vector<RCI7>({RCI7(-3001, -3001, -3001)})},
{3011, vector<RCI7>({RCI7(-70, -24, -59), RCI7(-59, -70, -24),
RCI7(-24, -59, -70)})},
{3019, vector<RCI7>({RCI7(-3019, -3019, -3019)})},
{3023, vector<RCI7>({RCI7(-34, -61, -35), RCI7(-35, -34, -61),
RCI7(-61, -35, -34)})},
{3037, vector<RCI7>({RCI7(-17, -26, -15), RCI7(-15, -17, -26),
RCI7(-26, -15, -17)})},
{3041, vector<RCI7>({RCI7(-3041, -3041, -3041)})},
{3049, vector<RCI7>({RCI7(-3049, -3049, -3049)})},
{3061, vector<RCI7>({RCI7(-3061, -3061, -3061)})},
{3067, vector<RCI7>({RCI7(-16, -13, -16), RCI7(-16, -16, -13),
RCI7(-13, -16, -16)})},
{3079, vector<RCI7>({RCI7(-59, -93, -25), RCI7(-25, -59, -93),
RCI7(-93, -25, -59)})},
{3083, vector<RCI7>({RCI7(-3083, -3083, -3083)})},
{3089, vector<RCI7>({RCI7(-3089, -3089, -3089)})},
{3109, vector<RCI7>({RCI7(-64, -19, -49), RCI7(-49, -64, -19),
RCI7(-19, -49, -64)})},
{3119, vector<RCI7>({RCI7(-3119, -3119, -3119)})},
{3121, vector<RCI7>({RCI7(-14, -15, -15), RCI7(-15, -14, -15),
RCI7(-15, -15, -14)})},
{3137, vector<RCI7>({RCI7(-799, -160, -516), RCI7(-516, -799, -160),
RCI7(-160, -516, -799)})},
{3163, vector<RCI7>({RCI7(-20, -37, -59), RCI7(-59, -20, -37),
RCI7(-37, -59, -20)})},
{3167, vector<RCI7>({RCI7(-3167, -3167, -3167)})},
{3169, vector<RCI7>({RCI7(-3169, -3169, -3169)})},
{3181, vector<RCI7>({RCI7(-3181, -3181, -3181)})},
{3187, vector<RCI7>({RCI7(-3187, -3187, -3187)})},
{3191, vector<RCI7>({RCI7(-100, -31, -62), RCI7(-62, -100, -31),
RCI7(-31, -62, -100)})},
{3203, vector<RCI7>({RCI7(-3203, -3203, -3203)})},
{3209, vector<RCI7>({RCI7(-3209, -3209, -3209)})},
{3217, vector<RCI7>({RCI7(-3217, -3217, -3217)})},
{3221, vector<RCI7>({RCI7(-14, -32, -41), RCI7(-41, -14, -32),
RCI7(-32, -41, -14)})},
{3229, vector<RCI7>({RCI7(-3229, -3229, -3229)})},
{3251, vector<RCI7>({RCI7(-3251, -3251, -3251)})},
{3253, vector<RCI7>({RCI7(-3253, -3253, -3253)})},
{3257, vector<RCI7>({RCI7(-3257, -3257, -3257)})},
{3259, vector<RCI7>({RCI7(-3259, -3259, -3259)})},
{3271, vector<RCI7>({RCI7(-3271, -3271, -3271)})},
{3299, vector<RCI7>({RCI7(-3299, -3299, -3299)})},
{3301, vector<RCI7>({RCI7(-3301, -3301, -3301)})},
{3307, vector<RCI7>({RCI7(-3307, -3307, -3307)})},
{3313, vector<RCI7>({RCI7(-3313, -3313, -3313)})},
{3319, vector<RCI7>({RCI7(-21, -15, -26), RCI7(-26, -21, -15),
RCI7(-15, -26, -21)})},
{3323, vector<RCI7>({RCI7(-3323, -3323, -3323)})},
{3329, vector<RCI7>({RCI7(-3329, -3329, -3329)})},
{3331, vector<RCI7>({RCI7(-374, -81, -239), RCI7(-239, -374, -81),
RCI7(-81, -239, -374)})},
{3343, vector<RCI7>({RCI7(-3343, -3343, -3343)})},
{3347, vector<RCI7>({RCI7(-20, -32, -17), RCI7(-17, -20, -32),
RCI7(-32, -17, -20)})},
{3359, vector<RCI7>({RCI7(-34, -103, -158), RCI7(-158, -34, -103),
RCI7(-103, -158, -34)})},
{3361, vector<RCI7>({RCI7(-15, -19, -14), RCI7(-14, -15, -19),
RCI7(-19, -14, -15)})},
{3371, vector<RCI7>({RCI7(-3371, -3371, -3371)})},
{3373, vector<RCI7>({RCI7(-269, -66, -170), RCI7(-170, -269, -66),
RCI7(-66, -170, -269)})},
{3389, vector<RCI7>({RCI7(-13, -20, -19), RCI7(-19, -13, -20),
RCI7(-20, -19, -13)})},
{3391, vector<RCI7>({RCI7(-3391, -3391, -3391)})},
{3407, vector<RCI7>({RCI7(-3407, -3407, -3407)})},
{3413, vector<RCI7>({RCI7(-3413, -3413, -3413)})},
{3433, vector<RCI7>({RCI7(-3433, -3433, -3433)})},
{3449, vector<RCI7>({RCI7(-3449, -3449, -3449)})},
{3457, vector<RCI7>({RCI7(-121, -170, -42), RCI7(-42, -121, -170),
RCI7(-170, -42, -121)})},
{3461, vector<RCI7>({RCI7(-3461, -3461, -3461)})},
{3463, vector<RCI7>({RCI7(-3463, -3463, -3463)})},
{3467, vector<RCI7>({RCI7(-3467, -3467, -3467)})},
{3469, vector<RCI7>({RCI7(-3469, -3469, -3469)})},
{3491, vector<RCI7>({RCI7(-3491, -3491, -3491)})},
{3499, vector<RCI7>({RCI7(-38, -69, -41), RCI7(-41, -38, -69),
RCI7(-69, -41, -38)})},
{3511, vector<RCI7>({RCI7(-3511, -3511, -3511)})},
{3517, vector<RCI7>({RCI7(-3517, -3517, -3517)})},
{3527, vector<RCI7>({RCI7(-62, -17, -44), RCI7(-44, -62, -17),
RCI7(-17, -44, -62)})},
{3529, vector<RCI7>({RCI7(-23, -48, -44), RCI7(-44, -23, -48),
RCI7(-48, -44, -23)})},
{3533, vector<RCI7>({RCI7(-3533, -3533, -3533)})},
{3539, vector<RCI7>({RCI7(-3539, -3539, -3539)})},
{3541, vector<RCI7>({RCI7(-2891, -4497, -895), RCI7(-895, -2891, -4497),
RCI7(-4497, -895, -2891)})},
{3547, vector<RCI7>({RCI7(-3547, -3547, -3547)})},
{3557, vector<RCI7>({RCI7(-21, -34, -55), RCI7(-55, -21, -34),
RCI7(-34, -55, -21)})},
{3559, vector<RCI7>({RCI7(-3559, -3559, -3559)})},
{3571, vector<RCI7>({RCI7(-60, -29, -35), RCI7(-35, -60, -29),
RCI7(-29, -35, -60)})},
{3581, vector<RCI7>({RCI7(-3581, -3581, -3581)})},
{3583, vector<RCI7>({RCI7(-81, -20, -54), RCI7(-54, -81, -20),
RCI7(-20, -54, -81)})},
{3593, vector<RCI7>({RCI7(-3593, -3593, -3593)})},
{3607, vector<RCI7>({RCI7(-3607, -3607, -3607)})},
{3613, vector<RCI7>({RCI7(-14, -27, -39), RCI7(-39, -14, -27),
RCI7(-27, -39, -14)})},
{3617, vector<RCI7>({RCI7(-3617, -3617, -3617)})},
{3623, vector<RCI7>({RCI7(-3623, -3623, -3623)})},
{3631, vector<RCI7>({RCI7(-3631, -3631, -3631)})},
{3637, vector<RCI7>({RCI7(-3637, -3637, -3637)})},
{3643, vector<RCI7>({RCI7(-3643, -3643, -3643)})},
{3659, vector<RCI7>({RCI7(-3659, -3659, -3659)})},
{3671, vector<RCI7>({RCI7(-3671, -3671, -3671)})},
{3673, vector<RCI7>({RCI7(-3673, -3673, -3673)})},
{3677, vector<RCI7>({RCI7(-3677, -3677, -3677)})},
{3691, vector<RCI7>({RCI7(-3691, -3691, -3691)})},
{3697, vector<RCI7>({RCI7(-55, -91, -34), RCI7(-34, -55, -91),
RCI7(-91, -34, -55)})},
{3701, vector<RCI7>({RCI7(-3701, -3701, -3701)})},
{3709, vector<RCI7>({RCI7(-58, -134, -141), RCI7(-141, -58, -134),
RCI7(-134, -141, -58)})},
{3719, vector<RCI7>({RCI7(-3719, -3719, -3719)})},
{3727, vector<RCI7>({RCI7(-3727, -3727, -3727)})},
{3733, vector<RCI7>({RCI7(-3733, -3733, -3733)})},
{3739, vector<RCI7>({RCI7(-21, -13, -20), RCI7(-20, -21, -13),
RCI7(-13, -20, -21)})},
{3761, vector<RCI7>({RCI7(-3761, -3761, -3761)})},
{3767, vector<RCI7>({RCI7(-17, -14, -17), RCI7(-17, -17, -14),
RCI7(-14, -17, -17)})},
{3769, vector<RCI7>({RCI7(-3769, -3769, -3769)})},
{3779, vector<RCI7>({RCI7(-56, -85, -21), RCI7(-21, -56, -85),
RCI7(-85, -21, -56)})},
{3793, vector<RCI7>({RCI7(-14, -21, -30), RCI7(-30, -14, -21),
RCI7(-21, -30, -14)})},
{3797, vector<RCI7>({RCI7(-3797, -3797, -3797)})},
{3803, vector<RCI7>({RCI7(-3803, -3803, -3803)})},
{3821, vector<RCI7>({RCI7(-81, -132, -43), RCI7(-43, -81, -132),
RCI7(-132, -43, -81)})},
{3823, vector<RCI7>({RCI7(-93, -59, -50), RCI7(-50, -93, -59),
RCI7(-59, -50, -93)})},
{3833, vector<RCI7>({RCI7(-3833, -3833, -3833)})},
{3847, vector<RCI7>({RCI7(-3847, -3847, -3847)})},
{3851, vector<RCI7>({RCI7(-20, -29, -47), RCI7(-47, -20, -29),
RCI7(-29, -47, -20)})},
{3853, vector<RCI7>({RCI7(-3853, -3853, -3853)})},
{3863, vector<RCI7>({RCI7(-52, -64, -21), RCI7(-21, -52, -64),
RCI7(-64, -21, -52)})},
{3877, vector<RCI7>({RCI7(-85, -137, -41), RCI7(-41, -85, -137),
RCI7(-137, -41, -85)})},
{3881, vector<RCI7>({RCI7(-3881, -3881, -3881)})},
{3889, vector<RCI7>({RCI7(-3889, -3889, -3889)})},
{3907, vector<RCI7>({RCI7(-47, -146, -225), RCI7(-225, -47, -146),
RCI7(-146, -225, -47)})},
{3911, vector<RCI7>({RCI7(-3911, -3911, -3911)})},
{3917, vector<RCI7>({RCI7(-3917, -3917, -3917)})},
{3919, vector<RCI7>({RCI7(-13, -20, -24), RCI7(-24, -13, -20),
RCI7(-20, -24, -13)})},
{3923, vector<RCI7>({RCI7(-3923, -3923, -3923)})},
{3929, vector<RCI7>({RCI7(-3929, -3929, -3929)})},
{3931, vector<RCI7>({RCI7(-3931, -3931, -3931)})},
{3943, vector<RCI7>({RCI7(-3943, -3943, -3943)})},
{3947, vector<RCI7>({RCI7(-81, -23, -61), RCI7(-61, -81, -23),
RCI7(-23, -61, -81)})},
{3967, vector<RCI7>({RCI7(-3967, -3967, -3967)})},
{3989, vector<RCI7>({RCI7(-20, -16, -15), RCI7(-15, -20, -16),
RCI7(-16, -15, -20)})},
{4001, vector<RCI7>({RCI7(-4001, -4001, -4001)})},
{4003, vector<RCI7>({RCI7(-27, -78, -113), RCI7(-113, -27, -78),
RCI7(-78, -113, -27)})},
{4007, vector<RCI7>({RCI7(-4007, -4007, -4007)})},
{4013, vector<RCI7>({RCI7(-4013, -4013, -4013)})},
{4019, vector<RCI7>({RCI7(-56, -77, -131), RCI7(-131, -56, -77),
RCI7(-77, -131, -56)})},
{4021, vector<RCI7>({RCI7(-4021, -4021, -4021)})},
{4027, vector<RCI7>({RCI7(-4027, -4027, -4027)})},
{4049, vector<RCI7>({RCI7(-4049, -4049, -4049)})},
{4051, vector<RCI7>({RCI7(-4051, -4051, -4051)})},
{4057, vector<RCI7>({RCI7(-4057, -4057, -4057)})},
{4073, vector<RCI7>({RCI7(-148, -34, -95), RCI7(-95, -148, -34),
RCI7(-34, -95, -148)})},
{4079, vector<RCI7>({RCI7(-4079, -4079, -4079)})},
{4091, vector<RCI7>({RCI7(-4091, -4091, -4091)})},
{4093, vector<RCI7>({RCI7(-4093, -4093, -4093)})},
{4099, vector<RCI7>({RCI7(-4099, -4099, -4099)})},
{4111, vector<RCI7>({RCI7(-4111, -4111, -4111)})},
{4127, vector<RCI7>({RCI7(-4127, -4127, -4127)})},
{4129, vector<RCI7>({RCI7(-16, -20, -15), RCI7(-15, -16, -20),
RCI7(-20, -15, -16)})},
{4133, vector<RCI7>({RCI7(-4133, -4133, -4133)})},
{4139, vector<RCI7>({RCI7(-4139, -4139, -4139)})},
{4153, vector<RCI7>({RCI7(-4153, -4153, -4153)})},
{4157, vector<RCI7>({RCI7(-15, -27, -25), RCI7(-25, -15, -27),
RCI7(-27, -25, -15)})},
{4159, vector<RCI7>({RCI7(-146, -42, -91), RCI7(-91, -146, -42),
RCI7(-42, -91, -146)})},
{4177, vector<RCI7>({RCI7(-4177, -4177, -4177)})},
{4201, vector<RCI7>({RCI7(-23, -56, -87), RCI7(-87, -23, -56),
RCI7(-56, -87, -23)})},
{4211, vector<RCI7>({RCI7(-4211, -4211, -4211)})},
{4217, vector<RCI7>({RCI7(-4217, -4217, -4217)})},
{4219, vector<RCI7>({RCI7(-4219, -4219, -4219)})},
{4229, vector<RCI7>({RCI7(-19, -19, -14), RCI7(-14, -19, -19),
RCI7(-19, -14, -19)})},
{4231, vector<RCI7>({RCI7(-4231, -4231, -4231)})},
{4241, vector<RCI7>({RCI7(-19, -21, -34), RCI7(-34, -19, -21),
RCI7(-21, -34, -19)})},
{4243, vector<RCI7>({RCI7(-33, -20, -20), RCI7(-20, -33, -20),
RCI7(-20, -20, -33)})},
{4253, vector<RCI7>({RCI7(-4253, -4253, -4253)})},
{4259, vector<RCI7>({RCI7(-4259, -4259, -4259)})},
{4261, vector<RCI7>({RCI7(-4261, -4261, -4261)})},
{4271, vector<RCI7>({RCI7(-29, -19, -18), RCI7(-18, -29, -19),
RCI7(-19, -18, -29)})},
{4273, vector<RCI7>({RCI7(-4273, -4273, -4273)})},
{4283, vector<RCI7>({RCI7(-307, -994, -1545), RCI7(-1545, -307, -994),
RCI7(-994, -1545, -307)})},
{4289, vector<RCI7>({RCI7(-4289, -4289, -4289)})},
{4297, vector<RCI7>({RCI7(-27, -37, -14), RCI7(-14, -27, -37),
RCI7(-37, -14, -27)})},
{4327, vector<RCI7>({RCI7(-22, -32, -15), RCI7(-15, -22, -32),
RCI7(-32, -15, -22)})},
{4337, vector<RCI7>({RCI7(-4337, -4337, -4337)})},
{4339, vector<RCI7>({RCI7(-234, -353, -75), RCI7(-75, -234, -353),
RCI7(-353, -75, -234)})},
{4349, vector<RCI7>({RCI7(-4349, -4349, -4349)})},
{4357, vector<RCI7>({RCI7(-4357, -4357, -4357)})},
{4363, vector<RCI7>({RCI7(-4363, -4363, -4363)})},
{4373, vector<RCI7>({RCI7(-4373, -4373, -4373)})},
{4391, vector<RCI7>({RCI7(-4391, -4391, -4391)})},
{4397, vector<RCI7>({RCI7(-22, -15, -25), RCI7(-25, -22, -15),
RCI7(-15, -25, -22)})},
{4409, vector<RCI7>({RCI7(-14, -28, -37), RCI7(-37, -14, -28),
RCI7(-28, -37, -14)})},
{4421, vector<RCI7>({RCI7(-4421, -4421, -4421)})},
{4423, vector<RCI7>({RCI7(-24, -16, -17), RCI7(-17, -24, -16),
RCI7(-16, -17, -24)})},
{4441, vector<RCI7>({RCI7(-4441, -4441, -4441)})},
{4447, vector<RCI7>({RCI7(-4447, -4447, -4447)})},
{4451, vector<RCI7>({RCI7(-73, -21, -47), RCI7(-47, -73, -21),
RCI7(-21, -47, -73)})},
{4457, vector<RCI7>({RCI7(-4457, -4457, -4457)})},
{4463, vector<RCI7>({RCI7(-4463, -4463, -4463)})},
{4481, vector<RCI7>({RCI7(-57, -153, -241), RCI7(-241, -57, -153),
RCI7(-153, -241, -57)})},
{4483, vector<RCI7>({RCI7(-4483, -4483, -4483)})},
{4493, vector<RCI7>({RCI7(-38, -44, -17), RCI7(-17, -38, -44),
RCI7(-44, -17, -38)})},
{4507, vector<RCI7>({RCI7(-239, -372, -77), RCI7(-77, -239, -372),
RCI7(-372, -77, -239)})},
{4513, vector<RCI7>({RCI7(-4513, -4513, -4513)})},
{4517, vector<RCI7>({RCI7(-4517, -4517, -4517)})},
{4519, vector<RCI7>({RCI7(-4519, -4519, -4519)})},
{4523, vector<RCI7>({RCI7(-223, -330, -73), RCI7(-73, -223, -330),
RCI7(-330, -73, -223)})},
{4547, vector<RCI7>({RCI7(-4547, -4547, -4547)})},
{4549, vector<RCI7>({RCI7(-95, -281, -403), RCI7(-403, -95, -281),
RCI7(-281, -403, -95)})},
{4561, vector<RCI7>({RCI7(-4561, -4561, -4561)})},
{4567, vector<RCI7>({RCI7(-4567, -4567, -4567)})},
{4583, vector<RCI7>({RCI7(-4583, -4583, -4583)})},
{4591, vector<RCI7>({RCI7(-16, -17, -17), RCI7(-17, -16, -17),
RCI7(-17, -17, -16)})},
{4597, vector<RCI7>({RCI7(-4597, -4597, -4597)})},
{4603, vector<RCI7>({RCI7(-4603, -4603, -4603)})},
{4621, vector<RCI7>({RCI7(-20, -24, -39), RCI7(-39, -20, -24),
RCI7(-24, -39, -20)})},
{4637, vector<RCI7>({RCI7(-4637, -4637, -4637)})},
{4639, vector<RCI7>({RCI7(-4639, -4639, -4639)})},
{4643, vector<RCI7>({RCI7(-4643, -4643, -4643)})},
{4649, vector<RCI7>({RCI7(-103, -25, -71), RCI7(-71, -103, -25),
RCI7(-25, -71, -103)})},
{4651, vector<RCI7>({RCI7(-4651, -4651, -4651)})},
{4657, vector<RCI7>({RCI7(-4657, -4657, -4657)})},
{4663, vector<RCI7>({RCI7(-101, -155, -34), RCI7(-34, -101, -155),
RCI7(-155, -34, -101)})},
{4673, vector<RCI7>({RCI7(-4673, -4673, -4673)})},
{4679, vector<RCI7>({RCI7(-4679, -4679, -4679)})},
{4691, vector<RCI7>({RCI7(-41, -59, -17), RCI7(-17, -41, -59),
RCI7(-59, -17, -41)})},
{4703, vector<RCI7>({RCI7(-64, -184, -257), RCI7(-257, -64, -184),
RCI7(-184, -257, -64)})},
{4721, vector<RCI7>({RCI7(-4721, -4721, -4721)})},
{4723, vector<RCI7>({RCI7(-4723, -4723, -4723)})},
{4729, vector<RCI7>({RCI7(-4729, -4729, -4729)})},
{4733, vector<RCI7>({RCI7(-28, -19, -35), RCI7(-35, -28, -19),
RCI7(-19, -35, -28)})},
{4751, vector<RCI7>({RCI7(-4751, -4751, -4751)})},
{4759, vector<RCI7>({RCI7(-298, -463, -94), RCI7(-94, -298, -463),
RCI7(-463, -94, -298)})},
{4783, vector<RCI7>({RCI7(-4783, -4783, -4783)})},
{4787, vector<RCI7>({RCI7(-37, -55, -17), RCI7(-17, -37, -55),
RCI7(-55, -17, -37)})},
{4789, vector<RCI7>({RCI7(-106, -167, -41), RCI7(-41, -106, -167),
RCI7(-167, -41, -106)})},
{4793, vector<RCI7>({RCI7(-4793, -4793, -4793)})},
{4799, vector<RCI7>({RCI7(-4799, -4799, -4799)})},
{4801, vector<RCI7>({RCI7(-31, -16, -31), RCI7(-31, -31, -16),
RCI7(-16, -31, -31)})},
{4813, vector<RCI7>({RCI7(-4813, -4813, -4813)})},
{4817, vector<RCI7>({RCI7(-391, -1263, -1956), RCI7(-1956, -391, -1263),
RCI7(-1263, -1956, -391)})},
{4831, vector<RCI7>({RCI7(-177, -148, -86), RCI7(-86, -177, -148),
RCI7(-148, -86, -177)})},
{4861, vector<RCI7>({RCI7(-4861, -4861, -4861)})},
{4871, vector<RCI7>({RCI7(-19, -19, -15), RCI7(-15, -19, -19),
RCI7(-19, -15, -19)})},
{4877, vector<RCI7>({RCI7(-4877, -4877, -4877)})},
{4889, vector<RCI7>({RCI7(-4889, -4889, -4889)})},
{4903, vector<RCI7>({RCI7(-4903, -4903, -4903)})},
{4909, vector<RCI7>({RCI7(-4909, -4909, -4909)})},
{4919, vector<RCI7>({RCI7(-4919, -4919, -4919)})},
{4931, vector<RCI7>({RCI7(-4931, -4931, -4931)})},
{4933, vector<RCI7>({RCI7(-4933, -4933, -4933)})},
{4937, vector<RCI7>({RCI7(-4937, -4937, -4937)})},
{4943, vector<RCI7>({RCI7(-313, -985, -1535), RCI7(-1535, -313, -985),
RCI7(-985, -1535, -313)})},
{4951, vector<RCI7>({RCI7(-4951, -4951, -4951)})},
{4957, vector<RCI7>({RCI7(-27, -15, -20), RCI7(-20, -27, -15),
RCI7(-15, -20, -27)})},
{4967, vector<RCI7>({RCI7(-4967, -4967, -4967)})},
{4969, vector<RCI7>({RCI7(-14, -24, -29), RCI7(-29, -14, -24),
RCI7(-24, -29, -14)})},
{4973, vector<RCI7>({RCI7(-4973, -4973, -4973)})},
{4987, vector<RCI7>({RCI7(-4987, -4987, -4987)})},
{4993, vector<RCI7>({RCI7(-4993, -4993, -4993)})},
{4999, vector<RCI7>({RCI7(-38, -105, -164), RCI7(-164, -38, -105),
RCI7(-105, -164, -38)})},
{5003, vector<RCI7>({RCI7(-5003, -5003, -5003)})},
{5009, vector<RCI7>({RCI7(-5009, -5009, -5009)})},
{5011, vector<RCI7>({RCI7(-16, -34, -49), RCI7(-49, -16, -34),
RCI7(-34, -49, -16)})},
{5021, vector<RCI7>({RCI7(-5021, -5021, -5021)})},
{5023, vector<RCI7>({RCI7(-5023, -5023, -5023)})},
{5039, vector<RCI7>({RCI7(-19, -49, -69), RCI7(-69, -19, -49),
RCI7(-49, -69, -19)})},
{5051, vector<RCI7>({RCI7(-5051, -5051, -5051)})},
{5059, vector<RCI7>({RCI7(-5059, -5059, -5059)})},
{5077, vector<RCI7>({RCI7(-5077, -5077, -5077)})},
{5081, vector<RCI7>({RCI7(-68, -25, -42), RCI7(-42, -68, -25),
RCI7(-25, -42, -68)})},
{5087, vector<RCI7>({RCI7(-5087, -5087, -5087)})},
{5099, vector<RCI7>({RCI7(-5099, -5099, -5099)})},
{5101, vector<RCI7>({RCI7(-5101, -5101, -5101)})},
{5107, vector<RCI7>({RCI7(-5107, -5107, -5107)})},
{5113, vector<RCI7>({RCI7(-5113, -5113, -5113)})},
{5119, vector<RCI7>({RCI7(-5119, -5119, -5119)})},
{5147, vector<RCI7>({RCI7(-5147, -5147, -5147)})},
{5153, vector<RCI7>({RCI7(-19, -44, -52), RCI7(-52, -19, -44),
RCI7(-44, -52, -19)})},
{5167, vector<RCI7>({RCI7(-356, -545, -112), RCI7(-112, -356, -545),
RCI7(-545, -112, -356)})},
{5171, vector<RCI7>({RCI7(-5171, -5171, -5171)})},
{5179, vector<RCI7>({RCI7(-86, -123, -30), RCI7(-30, -86, -123),
RCI7(-123, -30, -86)})},
{5189, vector<RCI7>({RCI7(-5189, -5189, -5189)})},
{5197, vector<RCI7>({RCI7(-5197, -5197, -5197)})},
{5209, vector<RCI7>({RCI7(-23, -15, -24), RCI7(-24, -23, -15),
RCI7(-15, -24, -23)})},
{5227, vector<RCI7>({RCI7(-5227, -5227, -5227)})},
{5231, vector<RCI7>({RCI7(-5231, -5231, -5231)})},
{5233, vector<RCI7>({RCI7(-5233, -5233, -5233)})},
{5237, vector<RCI7>({RCI7(-43, -67, -21), RCI7(-21, -43, -67),
RCI7(-67, -21, -43)})},
{5261, vector<RCI7>({RCI7(-5261, -5261, -5261)})},
{5273, vector<RCI7>({RCI7(-5273, -5273, -5273)})},
{5279, vector<RCI7>({RCI7(-241, -141, -132), RCI7(-132, -241, -141),
RCI7(-141, -132, -241)})},
{5281, vector<RCI7>({RCI7(-5281, -5281, -5281)})},
{5297, vector<RCI7>({RCI7(-5297, -5297, -5297)})},
{5303, vector<RCI7>({RCI7(-5303, -5303, -5303)})},
{5309, vector<RCI7>({RCI7(-5309, -5309, -5309)})},
{5323, vector<RCI7>({RCI7(-5323, -5323, -5323)})},
{5333, vector<RCI7>({RCI7(-103, -150, -35), RCI7(-35, -103, -150),
RCI7(-150, -35, -103)})},
{5347, vector<RCI7>({RCI7(-805, -161, -519), RCI7(-519, -805, -161),
RCI7(-161, -519, -805)})},
{5351, vector<RCI7>({RCI7(-5351, -5351, -5351)})},
{5381, vector<RCI7>({RCI7(-5381, -5381, -5381)})},
{5387, vector<RCI7>({RCI7(-5387, -5387, -5387)})},
{5393, vector<RCI7>({RCI7(-5393, -5393, -5393)})},
{5399, vector<RCI7>({RCI7(-5399, -5399, -5399)})},
{5407, vector<RCI7>({RCI7(-5407, -5407, -5407)})},
{5413, vector<RCI7>({RCI7(-5413, -5413, -5413)})},
{5417, vector<RCI7>({RCI7(-15, -27, -37), RCI7(-37, -15, -27),
RCI7(-27, -37, -15)})},
{5419, vector<RCI7>({RCI7(-21, -18, -29), RCI7(-29, -21, -18),
RCI7(-18, -29, -21)})},
{5431, vector<RCI7>({RCI7(-49, -113, -119), RCI7(-119, -49, -113),
RCI7(-113, -119, -49)})},
{5437, vector<RCI7>({RCI7(-5437, -5437, -5437)})},
{5441, vector<RCI7>({RCI7(-5441, -5441, -5441)})},
{5443, vector<RCI7>({RCI7(-5443, -5443, -5443)})},
{5449, vector<RCI7>({RCI7(-5449, -5449, -5449)})},
{5471, vector<RCI7>({RCI7(-5471, -5471, -5471)})},
{5477, vector<RCI7>({RCI7(-5477, -5477, -5477)})},
{5479, vector<RCI7>({RCI7(-5479, -5479, -5479)})},
{5483, vector<RCI7>({RCI7(-5483, -5483, -5483)})},
{5501, vector<RCI7>({RCI7(-97, -25, -69), RCI7(-69, -97, -25),
RCI7(-25, -69, -97)})},
{5503, vector<RCI7>({RCI7(-15, -30, -38), RCI7(-38, -15, -30),
RCI7(-30, -38, -15)})},
{5507, vector<RCI7>({RCI7(-5507, -5507, -5507)})},
{5519, vector<RCI7>({RCI7(-5519, -5519, -5519)})},
{5521, vector<RCI7>({RCI7(-5521, -5521, -5521)})},
{5527, vector<RCI7>({RCI7(-5527, -5527, -5527)})},
{5531, vector<RCI7>({RCI7(-541, -837, -168), RCI7(-168, -541, -837),
RCI7(-837, -168, -541)})},
{5557, vector<RCI7>({RCI7(-25, -16, -19), RCI7(-19, -25, -16),
RCI7(-16, -19, -25)})},
{5563, vector<RCI7>({RCI7(-5563, -5563, -5563)})},
{5569, vector<RCI7>({RCI7(-5569, -5569, -5569)})},
{5573, vector<RCI7>({RCI7(-273, -59, -175), RCI7(-175, -273, -59),
RCI7(-59, -175, -273)})},
{5581, vector<RCI7>({RCI7(-5581, -5581, -5581)})},
{5591, vector<RCI7>({RCI7(-5591, -5591, -5591)})},
{5623, vector<RCI7>({RCI7(-5623, -5623, -5623)})},