3_25_2207

version           6.7
command line      jprime 3 25 2207- -inverse -threads 6 -verbose -status -file 3_25_2207
states            2300
shift cycles      92
short cycles      0
length bound      2208
states (in mem)   2300
patterns          4
patterns (total)  40192001206181
nodes completed   1499630934196494
seconds elapsed   7728826.5452
seconds working   38611382.2624
seconds avail     38611434.6043
cores avail       10

patterns
  ++4---+------------------+m----+----------------+-o-----+----------------+m------+--------------+-o-------+--------------+k--------+----------+---o---------+----------+--o----------+----------+-o-----------+----------+h------------+---+------o-------------+---+-----o--------------+---+----o---------------+---+---o----------------+---+--o-----------------+---+-o------------------+---+7------+------------+---o-------+------------+--o--------+------------+-o---------+------------+k----------+--------+---o-----------+--------+--o------------+--------+-o-------------+--------+8-------+------+--------o--------+------+-------o---------+------+------o----------+------+-----o-----------+------+----o------------+------+---o-------------+------+--o--------------+------+-o---------------+------+e-------------+--+------o--------------+--+-----o---------------+--+----o----------------+--+---o-----------------+--+--o------------------+--+-o-------------------+--+7------+-------------+--o-------+-------------+-o--------+-------------+k---------+---------+---o----------+---------+--o-----------+---------+-o------------+---------+8-------+-----+---------o--------+-----+--------o---------+-----+-------o----------+-----+------o-----------+-----+-----o------------+-----+----o-------------+-----+---o--------------+-----+--o---------------+-----+-o----------------+-----+k-----------------+-+---o------------------+-+--o-------------------+-+-o--------------------+-+4---+-----------------+-o----+-----------------+m-----+---------------+-o------+---------------+k-------+-----------+---o--------+-----------+--o---------+-----------+-o----------+-----------+7------+----o-----------+-------+---o------------+-------+--o-------------+-------+-o--------------+-------+8-------+-------+-------o--------+-------+------o---------+-------+-----o----------o-------+----+----------o--------+----+---------o---------+----+--------o----------+----+-------o-----------+----+------o------------+----+-----o-------------+----+----o--------------+----+---o---------------+----+--o----------------+----+-o-----------------+----+k------------------++---o-------------------++--o--------------------++-o---------------------
  ++4---+------------------+n----+-----------------+n-----+----------------+m------+--------------+-o-------+--------------+k--------+----------+---o---------+----------+--o----------+----------+-o-----------+----------+h------------+---+------o-------------+---+-----o--------------+---+----o---------------+---+---o----------------+---+--o-----------------+---+-o------------------+---+7------+------------+---o-------+------------+--o--------+------------+-o---------+------------+k----------+--------+---o-----------+--------+--o------------+--------+-o-------------+--------+8-------+------+--------o--------+------+-------o---------+------+------o----------+------+-----o-----------+------+----o------------+------+---o-------------+------+--o--------------+------+-o---------------+------+e-------------+--+------o--------------+--+-----o---------------+--+----o----------------+--+---o-----------------+--+--o------------------+--+-o-------------------+--+7------+-------------+--o-------+-------------+-o--------+-------------+k---------+---------+---o----------+---------+--o-----------+---------+-o------------+---------+8-------+-----+---------o--------+-----+--------o---------+-----+-------o----------+-----+------o-----------+-----+-----o------------+-----+----o-------------+-----+---o--------------+-----+--o---------------+-----+-o----------------+-----+g---------------+-+-----o----------------+-+----o-----------------+-+---o------------------+-+--o-------------------+-+-o--------------------+-+6-----+---------------+-o------+---------------+k-------+-----------+---o--------+-----------+--o---------+-----------+-o----------+-----------+7------+----o-----------+-------+---o------------+-------+--o-------------+-------+-o--------------+-------+8-------+-------+-------o--------+-------+------o---------+-------+-----o----------o-------+----+----------o--------+----+---------o---------+----+--------o----------+----+-------o-----------+----+------o------------+----+-----o-------------+----+----o--------------+----+---o---------------+----+--o----------------+----+-o-----------------+----+k------------------++---o-------------------++--o--------------------++-o---------------------
  ++5----+-----------------+m-----+---------------+-o------+---------------+k-------+-----------+---o--------+-----------+--o---------+-----------+-o----------+-----------+7------+----o-----------+-------+---o------------+-------+--o-------------+-------+-o--------------+-------+8-------+-------+-------o--------+-------+------o---------+-------+-----o----------o-------+----+----------o--------+----+---------o---------+----+--------o----------+----+-------o-----------+----+------o------------+----+-----o-------------+----+----o--------------+----+---o---------------+----+--o----------------+----+-o-----------------+----+h----------------+-+----o-----------------+-+---o------------------+-+--o-------------------+-+-o--------------------+-+5----+----------------+-o-----+----------------+m------+--------------+-o-------+--------------+k--------+----------+---o---------+----------+--o----------+----------+-o-----------+----------+h------------+---+------o-------------+---+-----o--------------+---+----o---------------+---+---o----------------+---+--o-----------------+---+-o------------------+---+7------+------------+---o-------+------------+--o--------+------------+-o---------+------------+k----------+--------+---o-----------+--------+--o------------+--------+-o-------------+--------+8-------+------+--------o--------+------+-------o---------+------+------o----------+------+-----o-----------+------+----o------------+------+---o-------------+------+--o--------------+------+-o---------------+------+e-------------+--+------o--------------+--+-----o---------------+--+----o----------------+--+---o-----------------+--+--o------------------+--+-o-------------------+--+7------+-------------+--o-------+-------------+-o--------+-------------+k---------+---------+---o----------+---------+--o-----------+---------+-o------------+---------+8-------+-----+---------o--------+-----+--------o---------+-----+-------o----------+-----+------o-----------+-----+-----o------------+-----+----o-------------+-----+---o--------------+-----+--o---------------+-----+-o----------------+-----+j-----------------++----o------------------++---o-------------------++--o--------------------++-o---------------------
  ++5----+-----------------+n-----+----------------+m------+--------------+-o-------+--------------+k--------+----------+---o---------+----------+--o----------+----------+-o-----------+----------+h------------+---+------o-------------+---+-----o--------------+---+----o---------------+---+---o----------------+---+--o-----------------+---+-o------------------+---+7------+------------+---o-------+------------+--o--------+------------+-o---------+------------+k----------+--------+---o-----------+--------+--o------------+--------+-o-------------+--------+8-------+------+--------o--------+------+-------o---------+------+------o----------+------+-----o-----------+------+----o------------+------+---o-------------+------+--o--------------+------+-o---------------+------+e-------------+--+------o--------------+--+-----o---------------+--+----o----------------+--+---o-----------------+--+--o------------------+--+-o-------------------+--+7------+-------------+--o-------+-------------+-o--------+-------------+k---------+---------+---o----------+---------+--o-----------+---------+-o------------+---------+8-------+-----+---------o--------+-----+--------o---------+-----+-------o----------+-----+------o-----------+-----+-----o------------+-----+----o-------------+-----+---o--------------+-----+--o---------------+-----+-o----------------+-----+g---------------+-+-----o----------------+-+----o-----------------+-+---o------------------+-+--o-------------------+-+-o--------------------+-+6-----+---------------+-o------+---------------+k-------+-----------+---o--------+-----------+--o---------+-----------+-o----------+-----------+7------+----o-----------+-------+---o------------+-------+--o-------------+-------+-o--------------+-------+8-------+-------+-------o--------+-------+------o---------+-------+-----o----------o-------+----+----------o--------+----+---------o---------+----+--------o----------+----+-------o-----------+----+------o------------+----+-----o-------------+----+----o--------------+----+---o---------------+----+--o----------------+----+-o-----------------+----+i-----------------++----o------------------++---o-------------------++--o--------------------++-o---------------------

counts
1, 0
2, 0
3, 0
4, 0
5, 0
6, 0
7, 0
8, 0
9, 0
10, 0
11, 0
12, 0
13, 0
14, 0
15, 0
16, 0
17, 0
18, 0
19, 0
20, 0
21, 0
22, 0
23, 0
24, 0
25, 0
26, 0
27, 0
28, 0
29, 0
30, 0
31, 0
32, 0
33, 0
34, 0
35, 0
36, 0
37, 0
38, 0
39, 0
40, 0
41, 0
42, 0
43, 0
44, 0
45, 0
46, 0
47, 0
48, 1
49, 0
50, 1
51, 0
52, 0
53, 0
54, 0
55, 0
56, 0
57, 0
58, 0
59, 0
60, 0
61, 0
62, 0
63, 0
64, 0
65, 0
66, 0
67, 0
68, 0
69, 0
70, 0
71, 0
72, 2
73, 1
74, 0
75, 3
76, 4
77, 0
78, 0
79, 0
80, 0
81, 0
82, 0
83, 0
84, 0
85, 0
86, 0
87, 0
88, 0
89, 0
90, 0
91, 0
92, 0
93, 0
94, 0
95, 0
96, 7
97, 3
98, 4
99, 4
100, 16
101, 8
102, 0
103, 0
104, 0
105, 0
106, 0
107, 0
108, 0
109, 0
110, 0
111, 0
112, 0
113, 0
114, 0
115, 0
116, 0
117, 0
118, 0
119, 25
120, 17
121, 5
122, 8
123, 10
124, 27
125, 36
126, 14
127, 0
128, 0
129, 0
130, 0
131, 0
132, 0
133, 0
134, 0
135, 0
136, 0
137, 0
138, 0
139, 0
140, 0
141, 0
142, 0
143, 104
144, 40
145, 8
146, 17
147, 16
148, 41
149, 76
150, 70
151, 26
152, 0
153, 0
154, 0
155, 0
156, 0
157, 0
158, 0
159, 0
160, 0
161, 0
162, 0
163, 0
164, 0
165, 0
166, 0
167, 344
168, 88
169, 17
170, 31
171, 27
172, 55
173, 135
174, 167
175, 140
176, 56
177, 0
178, 0
179, 0
180, 0
181, 0
182, 0
183, 0
184, 0
185, 0
186, 0
187, 0
188, 0
189, 0
190, 0
191, 957
192, 196
193, 42
194, 67
195, 67
196, 75
197, 189
198, 360
199, 353
200, 298
201, 112
202, 0
203, 0
204, 0
205, 0
206, 0
207, 0
208, 0
209, 0
210, 0
211, 0
212, 0
213, 0
214, 0
215, 2558
216, 426
217, 91
218, 154
219, 148
220, 148
221, 265
222, 591
223, 819
224, 769
225, 604
226, 224
227, 0
228, 0
229, 0
230, 0
231, 0
232, 0
233, 0
234, 0
235, 0
236, 0
237, 0
238, 0
239, 6437
240, 905
241, 193
242, 357
243, 325
244, 332
245, 366
246, 897
247, 1622
248, 1839
249, 1594
250, 1210
251, 446
252, 0
253, 0
254, 0
255, 0
256, 0
257, 0
258, 0
259, 0
260, 0
261, 0
262, 0
263, 15741
264, 1906
265, 408
266, 786
267, 737
268, 717
269, 669
270, 1358
271, 2670
272, 3901
273, 3878
274, 3225
275, 2424
276, 823
277, 0
278, 0
279, 0
280, 0
281, 0
282, 0
283, 0
284, 0
285, 0
286, 0
287, 37166
288, 3999
289, 851
290, 1742
291, 1626
292, 1573
293, 1448
294, 1835
295, 4287
296, 7497
297, 8567
298, 7931
299, 6490
300, 3953
301, 1879
302, 0
303, 0
304, 0
305, 0
306, 0
307, 0
308, 0
309, 0
310, 0
311, 87075
312, 8296
313, 1763
314, 3793
315, 3578
316, 3379
317, 3039
318, 3096
319, 6609
320, 12521
321, 17561
322, 17904
323, 16053
324, 10742
325, 6329
326, 3371
327, 0
328, 0
329, 0
330, 0
331, 0
332, 0
333, 0
334, 0
335, 198272
336, 17263
337, 3636
338, 8261
339, 7782
340, 7287
341, 6472
342, 6332
343, 8962
344, 20159
345, 33645
346, 38238
347, 36669
348, 26741
349, 14192
350, 11763
351, 6357
352, 0
353, 0
354, 0
355, 0
356, 0
357, 0
358, 0
359, 447962
360, 35502
361, 7478
362, 17775
363, 16864
364, 15525
365, 13889
366, 12902
367, 14422
368, 31156
369, 56161
370, 77637
371, 79992
372, 61868
373, 34814
374, 25317
375, 22554
376, 12415
377, 0
378, 0
379, 0
380, 0
381, 0
382, 0
383, 995313
384, 73050
385, 15270
386, 38239
387, 36231
388, 33052
389, 29255
390, 26841
391, 27720
392, 43023
393, 90823
394, 146987
395, 168556
396, 136665
397, 79947
398, 54773
399, 48231
400, 43934
401, 23665
402, 0
403, 0
404, 0
405, 0
406, 0
407, 2192559
408, 149143
409, 31098
410, 81397
411, 77596
412, 69907
413, 61426
414, 56248
415, 54070
416, 67402
417, 142147
418, 245452
419, 336721
420, 292667
421, 176999
422, 114979
423, 101823
424, 92670
425, 85342
426, 43919
427, 0
428, 0
429, 0
430, 0
431, 4732154
432, 303640
433, 62720
434, 172820
435, 164771
436, 147335
437, 128122
438, 117725
439, 109418
440, 122890
441, 200484
442, 399865
443, 631900
444, 602219
445, 380705
446, 243452
447, 206524
448, 193548
449, 179331
450, 162067
451, 83295
452, 0
453, 0
454, 0
455, 10002735
456, 607111
457, 125268
458, 362247
459, 348262
460, 308214
461, 265989
462, 243323
463, 224875
464, 227547
465, 310409
466, 632429
467, 1058067
468, 1175943
469, 787400
470, 514013
471, 406941
472, 388703
473, 371806
474, 342360
475, 301395
476, 187070
477, 0
478, 0
479, 18617506
480, 1187843
481, 244542
482, 746746
483, 728383
484, 640835
485, 547801
486, 499703
487, 462098
488, 442908
489, 546091
490, 905448
491, 1730845
492, 2158612
493, 1556909
494, 1054682
495, 800584
496, 754396
497, 736743
498, 710934
499, 623640
500, 593476
501, 253063
502, 0
503, 33562742
504, 1993515
505, 460830
506, 1487837
507, 1491964
508, 1315519
509, 1119291
510, 1016338
511, 945609
512, 888149
513, 969825
514, 1396552
515, 2750392
516, 3604725
517, 2912379
518, 2080820
519, 1580430
520, 1453466
521, 1416130
522, 1394034
523, 1302536
524, 1117456
525, 858837
526, 268284
527, 61196531
528, 3251482
529, 664674
530, 2761778
531, 2883150
532, 2638451
533, 2305575
534, 2118555
535, 1981232
536, 1853237
537, 1853911
538, 2436115
539, 4017916
540, 5869997
541, 5271539
542, 3939544
543, 3069746
544, 2749103
545, 2730328
546, 2672047
547, 2570140
548, 2296972
549, 1538492
550, 643365
551, 98608672
552, 5405812
553, 1154300
554, 4522857
555, 5278505
556, 4765618
557, 4206410
558, 3956483
559, 3779197
560, 3588887
561, 3492216
562, 4104569
563, 6144183
564, 9204487
565, 8669702
566, 7165132
567, 5712561
568, 4982916
569, 4990606
570, 4939905
571, 4665497
572, 4201394
573, 2760812
574, 1081217
575, 157732556
576, 7744080
577, 1511121
578, 7014325
579, 8394499
580, 7956769
581, 7048531
582, 6865766
583, 6851108
584, 6721832
585, 6560201
586, 7089692
587, 10179682
588, 13486316
589, 13683288
590, 12599153
591, 10352826
592, 8991987
593, 8848988
594, 8861140
595, 8343038
596, 7254915
597, 4822315
598, 1696751
599, 274614500
600, 11334300
601, 2046560
602, 11129948
603, 13102368
604, 12271123
605, 11278977
606, 11132348
607, 11643290
608, 11948999
609, 11938409
610, 12398799
611, 16349613
612, 20557833
613, 21576649
614, 20205797
615, 18257885
616, 16010239
617, 15379951
618, 15507013
619, 14641143
620, 12595498
621, 8087460
622, 2906054
623, 454639419
624, 18242500
625, 3514175
626, 15008339
627, 20670707
628, 19031635
629, 16998822
630, 17281110
631, 18746996
632, 20282387
633, 21162568
634, 21819619
635, 26532191
636, 33124256
637, 32210624
638, 31877500
639, 31058648
640, 27887979
641, 26320008
642, 26554589
643, 24989928
644, 21340831
645, 13533145
646, 4734560
647, 743860242
648, 28189641
649, 5308568
650, 21346684
651, 27994881
652, 30040670
653, 25855360
654, 25337691
655, 28583968
656, 32430177
657, 35819783
658, 37714469
659, 43490445
660, 51680594
661, 48736927
662, 50571406
663, 49424098
664, 47329858
665, 44630778
666, 44680480
667, 41932533
668, 35638154
669, 22263468
670, 7387160
671, 1208280168
672, 43143962
673, 7927726
674, 33675307
675, 39192744
676, 41603652
677, 40253290
678, 37069576
679, 41307124
680, 49216194
681, 57864076
682, 63525911
683, 71579642
684, 80569256
685, 77750960
686, 75003307
687, 78036138
688, 78578480
689, 74589632
690, 73462311
691, 70104481
692, 58611994
693, 36215220
694, 11600989
695, 1943056945
696, 65910036
697, 12139355
698, 50154192
699, 61372915
700, 58482451
701, 56795788
702, 55477575
703, 58731600
704, 70507737
705, 88225083
706, 102374361
707, 116503909
708, 125873572
709, 120215040
710, 112999300
711, 121943944
712, 123668661
713, 122636130
714, 119241255
715, 114267916
716, 95768611
717, 58281867
718, 18364548
719, 3070086188
720, 100090659
721, 18403786
722, 74510074
723, 91093941
724, 90626503
725, 80883281
726, 78379807
727, 83807502
728, 98061547
729, 128076368
730, 158035602
731, 185891609
732, 196028819
733, 184393592
734, 178727087
735, 179046582
736, 191527847
737, 198750561
738, 192270026
739, 182940445
740, 154438111
741, 93355534
742, 28874563
743, 4802050357
744, 149608913
745, 27325539
746, 110159640
747, 133825781
748, 134208844
749, 123904507
750, 112642057
751, 116287448
752, 134270750
753, 178985733
754, 232222086
755, 285408674
756, 301543876
757, 281847742
758, 273679715
759, 267554531
760, 293305621
761, 306839639
762, 306806574
763, 288169608
764, 245527850
765, 147891406
766, 45240955
767, 7369810610
768, 221952852
769, 40415487
770, 162303473
771, 196886257
772, 196585863
773, 183074462
774, 170583652
775, 164947406
776, 180208024
777, 243650416
778, 329340157
779, 423206885
780, 456942297
781, 426504558
782, 413684590
783, 415919002
784, 426019219
785, 464595191
786, 482821107
787, 447111091
788, 382748311
789, 232623052
790, 70211445
791, 11128437082
792, 323646201
793, 58838727
794, 234870100
795, 286352538
796, 288114593
797, 268047476
798, 250551918
799, 244620443
800, 245599514
801, 323726633
802, 452038965
803, 607309519
804, 672620249
805, 635792468
806, 619869317
807, 625891899
808, 625958971
809, 695871038
810, 729179056
811, 687060121
812, 587210914
813, 359077896
814, 107633537
815, 16447261158
816, 464938346
817, 84072721
818, 337482849
819, 410664783
820, 417957877
821, 390498674
822, 364683750
823, 355252607
824, 345164294
825, 428194006
826, 604269109
827, 844742724
828, 963615447
829, 929288825
830, 915560431
831, 927937711
832, 946855628
833, 993701388
834, 1078888984
835, 1043826388
836, 879871330
837, 545767893
838, 161446426
839, 23831346881
840, 653751158
841, 117567835
842, 474024559
843, 583174826
844, 593962359
845, 564041470
846, 527937033
847, 511607441
848, 484215198
849, 574256967
850, 792379420
851, 1139505084
852, 1346289651
853, 1328174677
854, 1320177997
855, 1360531481
856, 1389134823
857, 1426728750
858, 1573101665
859, 1525726525
860, 1288827655
861, 806933458
862, 239524909
863, 33653928958
864, 902071496
865, 161242057
866, 655838149
867, 812428093
868, 835749022
869, 798632487
870, 754196507
871, 731554610
872, 676347473
873, 771103919
874, 1029812863
875, 1507030994
876, 1835302588
877, 1863340455
878, 1869199117
879, 1947954209
880, 2003312022
881, 2091731895
882, 2195823285
883, 2189890615
884, 1872370385
885, 1157557170
886, 343219427
887, 46448332142
888, 1213083034
889, 215778811
890, 882207653
891, 1110909021
892, 1153299018
893, 1113333741
894, 1058268106
895, 1033244138
896, 935663228
897, 1038109375
898, 1337379386
899, 1956559539
900, 2432352340
901, 2549133504
902, 2603667211
903, 2728883347
904, 2837253052
905, 2974600410
906, 3069379640
907, 3089128278
908, 2616504209
909, 1601861101
910, 466298977
911, 62502836003
912, 1595264264
913, 281426080
914, 1166297422
915, 1481648841
916, 1561996328
917, 1520519143
918, 1460030584
919, 1424429652
920, 1276953801
921, 1394716824
922, 1738894531
923, 2497711631
924, 3164777835
925, 3408534185
926, 3557623404
927, 3765188370
928, 3939740113
929, 4134971377
930, 4339658820
931, 4169289965
932, 3570121302
933, 2155379366
934, 603879281
935, 82210780226
936, 2046554219
937, 357071258
938, 1497101649
939, 1937147284
940, 2064146141
941, 2037132346
942, 1960639608
943, 1926587329
944, 1719936571
945, 1851873347
946, 2261801760
947, 3174663232
948, 4032345311
949, 4474021987
950, 4763894074
951, 5093653624
952, 5373599862
953, 5668173772
954, 5940880151
955, 5627856624
956, 4814927059
957, 2804326820
958, 732149737
959, 106903647559
960, 2572546924
961, 444110216
962, 1884476777
963, 2466718117
964, 2676167526
965, 2659542816
966, 2577588299
967, 2554668834
968, 2264388756
969, 2421612591
970, 2921993007
971, 4022696794
972, 5051151055
973, 5738951245
974, 6283653839
975, 6774297864
976, 7189462971
977, 7635931661
978, 7979762612
979, 7612861132
980, 6257071636
981, 3580011979
982, 828682207
983, 137740169946
984, 3205410102
985, 544446886
986, 2320650273
987, 3077287145
988, 3379990121
989, 3406742837
990, 3326407742
991, 3312020491
992, 2912878605
993, 3117140620
994, 3726158060
995, 5073858469
996, 6279859952
997, 7214586532
998, 8103264436
999, 8908786201
1000, 9435762626
1001, 10073306203
1002, 10583969685
1003, 10046176385
1004, 8081084714
1005, 4583871217
1006, 958042234
1007, 176197634431
1008, 3970221989
1009, 670806520
1010, 2809377882
1011, 3750320784
1012, 4179591844
1013, 4274656722
1014, 4217227526
1015, 4208479958
1016, 3660507204
1017, 3917896770
1018, 4679201946
1019, 6337363452
1020, 7758445796
1021, 8920208697
1022, 10252886592
1023, 11508187041
1024, 12241863981
1025, 13073646801
1026, 13750452217
1027, 13041938375
1028, 10497006928
1029, 5751681232
1030, 1158275545
1031, 222809793221
1032, 4890255302
1033, 821442976
1034, 3369314731
1035, 4483371474
1036, 5062109070
1037, 5263404400
1038, 5243471010
1039, 5267470596
1040, 4489969342
1041, 4811943757
1042, 5786899531
1043, 7813555159
1044, 9516250024
1045, 10924818458
1046, 12707399569
1047, 14573489460
1048, 15630300716
1049, 16740964432
1050, 17567666533
1051, 16652294714
1052, 13358704525
1053, 7151788384
1054, 1407999111
1055, 277753497310
1056, 5956273364
1057, 999300316
1058, 4009596772
1059, 5310357143
1060, 6004767939
1061, 6341791822
1062, 6404118022
1063, 6473194539
1064, 5405753805
1065, 5778014199
1066, 6997799005
1067, 9493457769
1068, 11535105184
1069, 13255877016
1070, 15470064857
1071, 18116739767
1072, 19659611425
1073, 21040877052
1074, 22166574387
1075, 20920079533
1076, 16695311860
1077, 8877655375
1078, 1680805450
1079, 341138006706
1080, 7150573364
1081, 1188546329
1082, 4734464682
1083, 6241552917
1084, 7045272236
1085, 7479568227
1086, 7669086783
1087, 7832318500
1088, 6408022223
1089, 6779611445
1090, 8285636125
1091, 11374026036
1092, 13791724300
1093, 15943156901
1094, 18631885367
1095, 22116830855
1096, 24311654932
1097, 26042708878
1098, 27484775592
1099, 25896497987
1100, 20576748993
1101, 10820213646
1102, 1971122181
1103, 414267879439
1104, 8463866967
1105, 1394673003
1106, 5510469357
1107, 7278749798
1108, 8201298871
1109, 8708791586
1110, 8994357813
1111, 9320025571
1112, 7488782906
1113, 7799152682
1114, 9608219590
1115, 13372929513
1116, 16257205104
1117, 18946649090
1118, 22207245900
1119, 26479592369
1120, 29537984984
1121, 31780662053
1122, 33521934006
1123, 31524437803
1124, 24952927972
1125, 12998116033
1126, 2298825883
1127, 494068427544
1128, 9917918955
1129, 1620286376
1130, 6317689615
1131, 8376462431
1132, 9474073462
1133, 10051270235
1134, 10424031849
1135, 10904226747
1136, 8634747987
1137, 8847089354
1138, 10887893494
1139, 15427998222
1140, 18903887571
1141, 22181734993
1142, 26201362233
1143, 31286154634
1144, 35211765140
1145, 38169756365
1146, 40201395259
1147, 37762945753
1148, 29656167871
1149, 15338430994
1150, 2657126785
1151, 579790739669
1152, 11420352220
1153, 1855570339
1154, 7138857604
1155, 9488469606
1156, 10812821989
1157, 11517388622
1158, 11961979099
1159, 12609600861
1160, 9817840091
1161, 9896030385
1162, 12100809159
1163, 17451776098
1164, 21579120900
1165, 25567688124
1166, 30514669358
1167, 36567150303
1168, 41236410568
1169, 45068166611
1170, 47460550762
1171, 44368623830
1172, 34681698745
1173, 17720631040
1174, 3023392425
1175, 669518423632
1176, 12943727041
1177, 2091532891
1178, 7962203692
1179, 10578257499
1180, 12159419032
1181, 13040361198
1182, 13595663091
1183, 14433235862
1184, 11058974297
1185, 10942408322
1186, 13266844839
1187, 19332639527
1188, 24204878831
1189, 29074379463
1190, 34977756564
1191, 42261016498
1192, 47560047363
1193, 52251013564
1194, 55070899213
1195, 51198489882
1196, 39747818996
1197, 20053174898
1198, 3373719090
1199, 757244867274
1200, 14436071669
1201, 2317189718
1202, 8725005314
1203, 11659707469
1204, 13455504556
1205, 14552333107
1206, 15248930966
1207, 16337277170
1208, 12316240661
1209, 11980362704
1210, 14344362849
1211, 21006830800
1212, 26661816854
1213, 32465917579
1214, 39430492801
1215, 48121294883
1216, 54137336112
1217, 59407798185
1218, 62920880281
1219, 58063686121
1220, 44548905769
1221, 22150671781
1222, 3668518759
1223, 839820510375
1224, 15778498821
1225, 2502375622
1226, 9407776928
1227, 12610895962
1228, 14687284476
1229, 15981316513
1230, 16835763059
1231, 18219683566
1232, 13550095106
1233, 12979289328
1234, 15347014177
1235, 22494799627
1236, 28788414232
1237, 35631108170
1238, 43832682622
1239, 53917306953
1240, 60897817747
1241, 66556199335
1242, 70593190351
1243, 64681372036
1244, 48973153247
1245, 23864073693
1246, 3896006651
1247, 916275079718
1248, 16922350796
1249, 2662103890
1250, 9963550794
1251, 13416815982
1252, 15722816474
1253, 17312153482
1254, 18301693952
1255, 19974552106
1256, 14667184718
1257, 13865292266
1258, 16238228241
1259, 23746311900
1260, 30517864779
1261, 38466759848
1262, 47831010484
1263, 59410376203
1264, 67440691594
1265, 73433206309
1266, 77652963453
1267, 70804239782
1268, 52872963015
1269, 25097666805
1270, 4055538149
1271, 981939094379
1272, 17867586930
1273, 2778334040
1274, 10340110322
1275, 14031923717
1276, 16540858091
1277, 18363786820
1278, 19642372390
1279, 21544843802
1280, 15583736369
1281, 14577030804
1282, 16962406152
1283, 24736916310
1284, 31868424946
1285, 40744420315
1286, 51325788531
1287, 64449724598
1288, 73457913401
1289, 79925396724
1290, 84006104586
1291, 76215698017
1292, 55970143826
1293, 25806606148
1294, 4153027479
1295, 1035034306295
1296, 18547449570
1297, 2855438010
1298, 10548730738
1299, 14372402470
1300, 17119538254
1301, 19117442322
1302, 20665391668
1303, 22941661347
1304, 16256207220
1305, 15045038915
1306, 17455267604
1307, 25423122702
1308, 32748429826
1309, 42400288325
1310, 54206912455
1311, 68642022771
1312, 78590573477
1313, 85661220730
1314, 89480270058
1315, 80540364069
1316, 58341147181
1317, 25989037686
1318, 4176351856
1319, 1074807298359
1320, 18952665957
1321, 2885445055
1322, 10591720255
1323, 14444483180
1324, 17353919814
1325, 19560417040
1326, 21322250617
1327, 23991785048
1328, 16686358868
1329, 15229919036
1330, 17688669685
1331, 25755956260
1332, 33143086330
1333, 43423445085
1334, 56212185342
1335, 71878875433
1336, 82727169650
1337, 90149251994
1338, 93838710166
1339, 83649840156
1340, 59830627856
1341, 25846505558
1342, 4145699199
1343, 1099829270492
1344, 19092883330
1345, 2871943819
1346, 10454493961
1347, 14294706724
1348, 17242836945
1349, 19590247378
1350, 21600551467
1351, 24635947565
1352, 16815829695
1353, 15135128919
1354, 17599803126
1355, 25682348026
1356, 33046656602
1357, 43707017028
1358, 57247408167
1359, 74076733512
1360, 85453761724
1361, 93156259525
1362, 96748274564
1363, 85387892502
1364, 60345015722
1365, 25453911928
1366, 4083032426
1367, 1107534017531
1368, 18968795393
1369, 2822866217
1370, 10158021227
1371, 13895628177
1372, 16854322121
1373, 19226999120
1374, 21419103346
1375, 24854390135
1376, 16649172641
1377, 14737766150
1378, 17175882014
1379, 25208185097
1380, 32462663823
1381, 43254550967
1382, 57337993615
1383, 74947793605
1384, 86753766787
1385, 94637617851
1386, 97958054455
1387, 85684776612
1388, 59843926251
1389, 24816160448
1390, 3987597251
1391, 1097407500311
1392, 18552264442
1393, 2729746130
1394, 9711685463
1395, 13278964947
1396, 16168831399
1397, 18549967065
1398, 20799243664
1399, 24569079290
1400, 16194403700
1401, 14084340718
1402, 16434153288
1403, 24284390584
1404, 31372199939
1405, 42134699616
1406, 56373409948
1407, 74463025405
1408, 86625960371
1409, 94299720051
1410, 97298776246
1411, 84418005029
1412, 58242759310
1413, 23842087526
1414, 3854299984
1415, 1067766620175
1416, 17853914250
1417, 2599740829
1418, 9132726687
1419, 12489208416
1420, 15231679757
1421, 17566148973
1422, 19832376365
1423, 23800656056
1424, 15436865742
1425, 13227607700
1426, 15396603733
1427, 22925591175
1428, 29815875343
1429, 40412277619
1430, 54412635587
1431, 72657925406
1432, 84913551548
1433, 92224672720
1434, 94873287885
1435, 81592240974
1436, 55542060549
1437, 22491142468
1438, 3664223920
1439, 1018315459479
1440, 16869970316
1441, 2425988053
1442, 8435747372
1443, 11550508493
1444, 14110305726
1445, 16328047233
1446, 18521808211
1447, 22640712480
1448, 14434698344
1449, 12194906662
1450, 14142071227
1451, 21220387289
1452, 27806797834
1453, 38122597732
1454, 51623096190
1455, 69517362455
1456, 81642063116
1457, 88636854788
1458, 90656362454
1459, 77235201405
1460, 51873641134
1461, 20795019247
1462, 3399213060
1463, 951912214090
1464, 15620386417
1465, 2216134159
1466, 7648379605
1467, 10493821283
1468, 12858300235
1469, 14909405388
1470, 16956455094
1471, 21089464002
1472, 13254870717
1473, 11028119484
1474, 12744522009
1475, 19232257306
1476, 25404730566
1477, 35336587643
1478, 48170797139
1479, 65225296105
1480, 77027870801
1481, 83505907447
1482, 84989280065
1483, 71582175897
1484, 47377978733
1485, 18817081118
1486, 3065367014
1487, 871446045241
1488, 14177393690
1489, 1979561719
1490, 6792357697
1491, 9361153398
1492, 11499554857
1493, 13389863060
1494, 15233792566
1495, 19238452885
1496, 11923867594
1497, 9799259783
1498, 11259985037
1499, 17075720995
1500, 22739630276
1501, 32131085437
1502, 44150082325
1503, 60066430417
1504, 71211837329
1505, 77084679174
1506, 78099538795
1507, 64940227710
1508, 42246676672
1509, 16692540098
1510, 2699495328
1511, 781524525078
1512, 12606041441
1513, 1733293341
1514, 5903828437
1515, 8180809231
1516, 10093087835
1517, 11800978849
1518, 13446927568
1519, 17205450548
1520, 10498825441
1521, 8539071829
1522, 9742689366
1523, 14861274015
1524, 19926523337
1525, 28617473209
1526, 39715313895
1527, 54284748100
1528, 64487321807
1529, 69750442743
1530, 70223882591
1531, 57641918059
1532, 36800050582
1533, 14502887681
1534, 2329198850
1535, 686677889490
1536, 10983981628
1537, 1481962853
1538, 5021610728
1539, 6989083123
1540, 8677627041
1541, 10198949251
1542, 11645929355
1543, 15100299791
1544, 9039599934
1545, 7295689115
1546, 8264887402
1547, 12661294672
1548, 17096357375
1549, 24953163101
1550, 35011003843
1551, 48116799073
1552, 57200364992
1553, 61789048003
1554, 61759301079
1555, 50033860182
1556, 31272809039
1557, 12334009877
1558, 1977806984
1559, 590320856055
1560, 9378371889
1561, 1244489809
1562, 4179445315
1563, 5841338545
1564, 7288931779
1565, 8627618432
1566, 9888437755
1567, 12984943638
1568, 7606116636
1569, 6109486241
1570, 6869249685
1571, 10538751306
1572, 14360950006
1573, 21294202292
1574, 30189315343
1575, 41795433896
1576, 49688882152
1577, 53512509429
1578, 53135087989
1579, 42420747656
1580, 25952293500
1581, 10252519643
1582, 1648383152
1583, 495534104791
1584, 7834816448
1585, 1020046848
1586, 3403763083
1587, 4772887570
1588, 5977632024
1589, 7120156514
1590, 8212985536
1591, 10942620526
1592, 6249741316
1593, 5008803779
1594, 5589885426
1595, 8583176025
1596, 11796559206
1597, 17784612952
1598, 25457237765
1599, 35503702481
1600, 42247981924
1601, 45311906329
1602, 44662394879
1603, 35110857192
1604, 21037774903
1605, 8319644354
1606, 1338297804
1607, 406518845531
1608, 6389393468
1609, 815200810
1610, 2710599161
1611, 3816065730
1612, 4789319202
1613, 5725417240
1614, 6651612017
1615, 9016373055
1616, 5011940745
1617, 4012748091
1618, 4450253513
1619, 6831980639
1620, 9461978710
1621, 14532210409
1622, 20971669940
1623, 29442651713
1624, 35125299420
1625, 37474546267
1626, 36640537207
1627, 28352786600
1628, 16665849716
1629, 6597790817
1630, 1055298709
1631, 325541787509
1632, 5091515315
1633, 634772428
1634, 2105511938
1635, 2985947542
1636, 3750291723
1637, 4482832061
1638, 5246973306
1639, 7246284628
1640, 3915401827
1641, 3135874226
1642, 3461351254
1643, 5307466360
1644, 7416617481
1645, 11604692423
1646, 16872720522
1647, 23824381091
1648, 28501904561
1649, 30241669052
1650, 29302970292
1651, 22319538039
1652, 12895058763
1653, 5119193985
1654, 811761084
1655, 254170444248
1656, 3959959438
1657, 481657893
1658, 1592196903
1659, 2281819104
1660, 2868154258
1661, 3420816631
1662, 4021777329
1663, 5678370158
1664, 2973348219
1665, 2386651089
1666, 2620981614
1667, 4019960896
1668, 5673494039
1669, 9040334827
1670, 13252881909
1671, 18792806428
1672, 22530857599
1673, 23797466771
1674, 22810761081
1675, 17097813242
1676, 9744274070
1677, 3881609695
1678, 610881247
1679, 193352911052
1680, 3001924845
1681, 355927440
1682, 1173118517
1683, 1695836692
1684, 2138166194
1685, 2542972508
1686, 2993664331
1687, 4330412136
1688, 2196283779
1689, 1766967658
1690, 1928715372
1691, 2962686981
1692, 4228556521
1693, 6869785467
1694, 10143757202
1695, 14437524365
1696, 17331433850
1697, 18232628692
1698, 17255615713
1699, 12726374578
1700, 7175585990
1701, 2872921172
1702, 448662244
1703, 143040679503
1704, 2215879122
1705, 255774176
1706, 840068021
1707, 1227281326
1708, 1548185446
1709, 1839006532
1710, 2162355086
1711, 3208614094
1712, 1574832488
1713, 1271739663
1714, 1376395243
1715, 2117567265
1716, 3065686565
1717, 5083723973
1718, 7545525223
1719, 10790816748
1720, 12956468667
1721, 13565574958
1722, 12666670697
1723, 9180578717
1724, 5137313186
1725, 2070937840
1726, 320585368
1727, 102631676056
1728, 1589291360
1729, 178606360
1730, 583784375
1731, 862782895
1732, 1089056549
1733, 1289853773
1734, 1511755582
1735, 2305719192
1736, 1095198174
1737, 888916880
1738, 953269230
1739, 1462162389
1740, 2157404113
1741, 3656221104
1742, 5451530516
1743, 7828935276
1744, 9402928360
1745, 9785722338
1746, 9008451859
1747, 6405767443
1748, 3569522415
1749, 1448294094
1750, 222195078
1751, 71200927381
1752, 1104157255
1753, 120191532
1754, 392614458
1755, 587941768
1756, 742344209
1757, 877796657
1758, 1019840604
1759, 1602306767
1760, 736465407
1761, 602009614
1762, 639176071
1763, 974870300
1764, 1469218192
1765, 2551956903
1766, 3815428455
1767, 5497886227
1768, 6611944071
1769, 6828507542
1770, 6192605015
1771, 4311332159
1772, 2398510475
1773, 977638548
1774, 148068260
1775, 47625799428
1776, 740342342
1777, 77603150
1778, 254596953
1779, 388230646
1780, 489759779
1781, 577900711
1782, 663693483
1783, 1072314810
1784, 477282010
1785, 394034627
1786, 413885491
1787, 626557232
1788, 964719866
1789, 1724462513
1790, 2579589027
1791, 3729407449
1792, 4495545732
1793, 4597131747
1794, 4104632674
1795, 2794308720
1796, 1552726681
1797, 634945367
1798, 94636894
1799, 30638504397
1800, 477656201
1801, 47994237
1802, 158675623
1803, 247908252
1804, 312013605
1805, 366863202
1806, 416159413
1807, 690246436
1808, 297201933
1809, 248540250
1810, 258039730
1811, 386652205
1812, 608885723
1813, 1124126102
1814, 1681464692
1815, 2437331506
1816, 2945612382
1817, 2980296177
1818, 2614460210
1819, 1740145314
1820, 965613558
1821, 395905633
1822, 58300048
1823, 18904197899
1824, 295744280
1825, 28405199
1826, 94669777
1827, 152337103
1828, 191737422
1829, 223532937
1830, 250677063
1831, 425885350
1832, 177239740
1833, 150307441
1834, 154185377
1835, 228263308
1836, 368348749
1837, 703732246
1838, 1053354131
1839, 1529455823
1840, 1854367779
1841, 1854565714
1842, 1595246035
1843, 1039944940
1844, 576040919
1845, 236460433
1846, 34446584
1847, 11153223859
1848, 175154144
1849, 16022697
1850, 53928470
1851, 89568588
1852, 113411507
1853, 130421367
1854, 144484212
1855, 251092502
1856, 100710348
1857, 87190138
1858, 88163073
1859, 128553460
1860, 212619607
1861, 420878535
1862, 631723159
1863, 918647915
1864, 1117669978
1865, 1103287403
1866, 928907493
1867, 595069050
1868, 328701857
1869, 135052552
1870, 19484408
1871, 6272604538
1872, 98863250
1873, 8642166
1874, 29252665
1875, 50152889
1876, 64221870
1877, 72680810
1878, 79368388
1879, 141033024
1880, 54261444
1881, 48318555
1882, 47911167
1883, 68838756
1884, 116747392
1885, 238975330
1886, 360721323
1887, 526041301
1888, 642317520
1889, 624715767
1890, 513692250
1891, 324594159
1892, 178829379
1893, 73632557
1894, 10490019
1895, 3348040949
1896, 52990611
1897, 4410690
1898, 15001974
1899, 26579034
1900, 34544109
1901, 38486520
1902, 41380657
1903, 75169639
1904, 27547519
1905, 25513930
1906, 24702516
1907, 34872273
1908, 60855767
1909, 127932734
1910, 194792237
1911, 286060410
1912, 350074569
1913, 334772953
1914, 268257232
1915, 168090209
1916, 92254251
1917, 38100761
1918, 5387895
1919, 1687618707
1920, 26820998
1921, 2107872
1922, 7213213
1923, 13272959
1924, 17519430
1925, 19256505
1926, 20344494
1927, 37862571
1928, 13109248
1929, 12812081
1930, 11978911
1931, 16585158
1932, 29964548
1933, 64053896
1934, 98865320
1935, 146728471
1936, 179835197
1937, 168615341
1938, 131680553
1939, 82117837
1940, 44836753
1941, 18565866
1942, 2622796
1943, 796155645
1944, 12748853
1945, 947525
1946, 3230033
1947, 6197619
1948, 8297316
1949, 9047396
1950, 9329736
1951, 17964043
1952, 5803452
1953, 6073986
1954, 5408357
1955, 7328399
1956, 13869779
1957, 29750370
1958, 46837174
1959, 70401726
1960, 86486309
1961, 79273625
1962, 60323279
1963, 37616466
1964, 20405272
1965, 8441389
1966, 1194136
1967, 348669324
1968, 5628132
1969, 389115
1970, 1331669
1971, 2680898
1972, 3634644
1973, 3948963
1974, 3929044
1975, 7960138
1976, 2372347
1977, 2701871
1978, 2262045
1979, 2968976
1980, 5962523
1981, 12646743
1982, 20479481
1983, 31301105
1984, 38610540
1985, 34441485
1986, 25595986
1987, 16017470
1988, 8621155
1989, 3537500
1990, 500235
1991, 140042834
1992, 2280952
1993, 146243
1994, 501904
1995, 1064912
1996, 1462423
1997, 1583895
1998, 1497064
1999, 3250994
2000, 881461
2001, 1120449
2002, 873583
2003, 1087508
2004, 2352643
2005, 4820144
2006, 8179303
2007, 12727444
2008, 15813087
2009, 13673871
2010, 9943280
2011, 6284280
2012, 3334210
2013, 1339946
2014, 186504
2015, 50675708
2016, 833777
2017, 49006
2018, 168596
2019, 380958
2020, 536941
2021, 583588
2022, 507633
2023, 1203130
2024, 294010
2025, 424276
2026, 313970
2027, 358458
2028, 835071
2029, 1610297
2030, 2933549
2031, 4660433
2032, 5856488
2033, 4868531
2034, 3479620
2035, 2230054
2036, 1158305
2037, 451844
2038, 60229
2039, 16156523
2040, 267383
2041, 14056
2042, 48780
2043, 120824
2044, 178825
2045, 193175
2046, 152674
2047, 396042
2048, 86114
2049, 144754
2050, 105906
2051, 105847
2052, 258708
2053, 456992
2054, 922314
2055, 1508994
2056, 1922221
2057, 1523802
2058, 1075175
2059, 698853
2060, 352238
2061, 132345
2062, 16337
2063, 4418293
2064, 72481
2065, 3330
2066, 11572
2067, 33217
2068, 53783
2069, 55837
2070, 41145
2071, 113980
2072, 20835
2073, 43739
2074, 32028
2075, 28400
2076, 66777
2077, 105854
2078, 246541
2079, 420911
2080, 543157
2081, 407313
2082, 286695
2083, 186702
2084, 90152
2085, 32371
2086, 3267
2087, 998008
2088, 15787
2089, 620
2090, 2111
2091, 7638
2092, 14154
2093, 13506
2094, 9982
2095, 27405
2096, 3859
2097, 10965
2098, 8389
2099, 7346
2100, 13473
2101, 19162
2102, 53622
2103, 98750
2104, 126585
2105, 89289
2106, 63743
2107, 40735
2108, 18786
2109, 6194
2110, 411
2111, 184524
2112, 2524
2113, 75
2114, 282
2115, 1440
2116, 3054
2117, 2691
2118, 2071
2119, 5377
2120, 454
2121, 2196
2122, 1737
2123, 1752
2124, 1963
2125, 2332
2126, 8762
2127, 18699
2128, 22924
2129, 15443
2130, 11388
2131, 7076
2132, 3164
2133, 849
2134, 32
2135, 26932
2136, 293
2137, 4
2138, 13
2139, 176
2140, 525
2141, 365
2142, 334
2143, 783
2144, 12
2145, 286
2146, 244
2147, 367
2148, 211
2149, 155
2150, 1007
2151, 2678
2152, 2943
2153, 1908
2154, 1533
2155, 911
2156, 399
2157, 77
2158, 1
2159, 2962
2160, 20
2161, 0
2162, 0
2163, 26
2164, 49
2165, 35
2166, 33
2167, 82
2168, 0
2169, 12
2170, 16
2171, 58
2172, 12
2173, 11
2174, 68
2175, 235
2176, 218
2177, 128
2178, 120
2179, 71
2180, 34
2181, 4
2182, 0
2183, 190
2184, 0
2185, 0
2186, 0
2187, 4
2188, 0
2189, 0
2190, 0
2191, 2
2192, 0
2193, 0
2194, 0
2195, 4
2196, 0
2197, 0
2198, 0
2199, 12
2200, 0
2201, 0
2202, 4
2203, 0
2204, 1
2205, 0
2206, 0
2207, 4
2208, 0