Thursday, November 23, 2023

[tvpthwpj] primitive binary pentanomials

primitive binary trinomials, i.e., primitive polynomials over the field GF(2) with three terms including a nonzero constant term (i.e., 1), only exist for some orders (by order we mean the largest exponent).  however, 5-term polynomials seem to always exist (not proven).  we list the lexicographically smallest ones below, giving the exponents of the middle terms.  for example, the entry "8: 4 3 2" means x^8 + x^4 + x^3 + x^2 + 1 (mod 2) is a primitive polynomial, and among all x^8 + x^A + x^B + x^C + 1, it minimizes A first, then B, then C.

there are no primitive binary tetranomials (4 terms).  proof by contradiction: assume one exists.  evaluate it at x=1.  because there are 4 terms, the answer is 4, which is 0 (mod 2), so x=1 is a root of the hypothetical polynomial.  the polynomial will therefore divide through evenly by (x-1), equivalently (x+1) because +1 = -1 (mod 2), meaning it is reducible, not irreducible.  if it is reducible, it cannot be primitive (though I don't understand why).

order 5 has the smallest binary primitive pentanomial: x^5 + x^3 + x^2 + x + 1

the order 4 pentanomial x^4 + x^3 + x^2 + x + 1 is irreducible but not primitive, because x^5 (mod x^4 + x^3 + x^2 + x + 1) = 1, or x^5 + 1 = (x^4 + x^3 + x^2 + x + 1) * (x + 1).  x^5 is less than x^15, the full period.

proving a polynomial with highest exponent N primitive requires the prime factorization of the number 2^N-1.  with some exceptions, these have been computed by the Cunningham project up to 1499.  the orders marked UNFACTORED below represent the state as of April 2022.

below is simplified Paris/GP code to find the lexicographically smallest pentanomial for a given order.  it is simplified in that it does not look up UNFACTORED status.

penta(n)= my(cy=2^n-1); my(ff=factorint(cy)); nf=matsize(ff)[1]; for(k1=1, n-1, for(k2=1, k1-1, for(k3=1, k2-1, p=Mod(1,2)*x^n+x^k1+x^k2+x^k3+1; if(polisirreducible(p), g=Mod(x,p); good=1; for(j=1, nf, eo=cy/ff[j,1]; raised=g^eo; if(raised==1, good=0; break)); if(good, print(n": "k1" "k2" "k3); return(1)))))); 0;

5: 3 2 1
6: 4 3 1
7: 3 2 1
8: 4 3 2
9: 4 3 1
10: 4 3 1
11: 4 2 1
12: 6 4 1
13: 4 3 1
14: 5 3 1
15: 4 2 1
16: 5 3 2
17: 3 2 1
18: 5 2 1
19: 5 2 1
20: 6 4 1
21: 5 2 1
22: 5 4 3
23: 5 3 1
24: 4 3 1
25: 3 2 1
26: 6 2 1
27: 5 2 1
28: 6 4 1
29: 4 2 1
30: 6 4 1
31: 3 2 1
32: 7 6 2
33: 6 4 1
34: 8 4 3
35: 8 7 1
36: 8 7 1
37: 6 4 1
38: 6 5 1
39: 7 4 1
40: 5 4 3
41: 3 2 1
42: 7 4 3
43: 6 4 3
44: 6 5 2
45: 4 3 1
46: 8 7 6
47: 5 4 1
48: 9 7 4
49: 6 5 4
50: 4 3 2
51: 6 3 1
52: 6 3 1
53: 6 2 1
54: 8 6 3
55: 6 2 1
56: 7 4 2
57: 5 3 2
58: 6 5 1
59: 7 4 2
60: 5 4 2
61: 5 2 1
62: 6 5 3
63: 5 4 1
64: 4 3 1
65: 4 3 1
66: 9 8 6
67: 5 2 1
68: 7 5 1
69: 6 5 2
70: 5 3 1
71: 5 3 1
72: 10 9 3
73: 4 3 2
74: 7 4 3
75: 6 3 1
76: 5 4 2
77: 6 5 2
78: 7 2 1
79: 4 3 2
80: 9 4 2
81: 6 3 2
82: 9 6 4
83: 7 4 2
84: 9 7 1
85: 8 2 1
86: 6 5 2
87: 7 5 1
88: 11 9 8
89: 6 5 3
90: 5 3 2
91: 8 5 1
92: 6 5 2
93: 6 3 2
94: 6 5 1
95: 7 5 1
96: 10 9 6
97: 6 4 2
98: 8 7 1
99: 7 5 4
100: 8 7 2
101: 7 6 1
102: 6 5 3
103: 9 4 1
104: 11 10 1
105: 7 5 2
106: 6 5 1
107: 9 7 4
108: 12 11 5
109: 5 4 2
110: 6 4 1
111: 7 4 2
112: 11 6 4
113: 5 3 2
114: 11 2 1
115: 8 7 5
116: 6 5 2
117: 5 2 1
118: 6 5 2
119: 9 7 4
120: 9 6 2
121: 8 5 1
122: 6 2 1
123: 8 4 1
124: 7 6 5
125: 7 6 5
126: 7 4 2
127: 7 3 1
128: 7 2 1
129: 5 4 1
130: 5 2 1
131: 8 3 2
132: 9 5 2
133: 9 8 2
134: 7 5 1
135: 6 4 3
136: 8 3 2
137: 11 4 1
138: 8 7 1
139: 8 5 3
140: 8 4 1
141: 13 6 1
142: 10 3 1
143: 5 3 2
144: 7 4 2
145: 6 5 1
146: 5 3 2
147: 11 4 2
148: 7 5 3
149: 10 9 7
150: 8 3 2
151: 3 2 1
152: 6 3 2
153: 8 5 4
154: 9 5 1
155: 7 5 4
156: 9 5 3
157: 6 5 2
158: 8 6 5
159: 11 6 3
160: 5 3 2
161: 6 3 2
162: 8 7 4
163: 7 6 3
164: 12 6 5
165: 9 8 3
166: 10 3 2
167: 6 4 2
168: 16 9 6
169: 8 6 5
170: 9 4 1
171: 6 5 2
172: 11 7 3
173: 8 5 2
174: 9 8 5
175: 6 4 2
176: 12 11 9
177: 5 3 2
178: 8 7 2
179: 4 2 1
180: 12 10 7
181: 7 6 1
182: 8 6 1
183: 8 7 4
184: 9 8 7
185: 8 3 1
186: 9 8 6
187: 7 6 5
188: 6 5 2
189: 6 5 2
190: 13 6 2
191: 7 6 4
192: 15 11 5
193: 9 7 4
194: 4 3 2
195: 8 3 2
196: 11 9 2
197: 9 4 2
198: 15 8 5
199: 9 4 1
200: 5 3 2
201: 6 3 2
202: 7 6 4
203: 8 7 1
204: 10 4 3
205: 9 5 2
206: 10 9 5
207: 9 6 1
208: 9 3 1
209: 5 3 2
210: 12 4 3
211: 11 10 8
212: 7 4 3
213: 6 5 2
214: 5 3 1
215: 6 5 3
216: 7 3 1
217: 6 5 4
218: 8 7 1
219: 8 4 1
220: 12 10 9
221: 8 6 2
222: 8 5 2
223: 5 4 2
224: 12 7 2
225: 10 5 1
226: 10 7 3
227: 10 9 4
228: 12 11 2
229: 10 4 1
230: 8 7 6
231: 7 4 2
232: 11 9 4
233: 9 4 1
234: 11 7 4
235: 9 6 1
236: 10 8 7
237: 7 4 1
238: 5 2 1
239: 12 7 1
240: 8 5 3
241: 9 8 4
242: 11 6 1
243: 8 5 1
244: 9 4 1
245: 6 4 1
246: 11 2 1
247: 9 4 2
248: 15 14 10
249: 7 4 1
250: 10 5 3
251: 7 4 2
252: 11 5 1
253: 7 3 2
254: 7 2 1
255: 5 3 2
256: 10 5 2
257: 7 6 2
258: 9 6 4
259: 10 6 2
260: 10 8 7
261: 7 6 4
262: 9 8 4
263: 11 5 2
264: 10 9 1
265: 5 3 2
266: 7 6 1
267: 8 6 3
268: 10 4 1
269: 7 6 1
270: 10 7 3
271: 11 7 6
272: 9 6 2
273: 7 2 1
274: 9 7 2
275: 11 10 9
276: 6 3 1
277: 12 6 3
278: 5 4 1
279: 5 4 1
280: 9 5 2
281: 9 4 1
282: 10 5 4
283: 12 7 5
284: 8 6 5
285: 10 7 5
286: 15 10 1
287: 6 5 2
288: 11 10 1
289: 12 4 3
290: 5 3 2
291: 12 11 5
292: 7 3 1
293: 11 6 1
294: 9 3 2
295: 5 4 2
296: 11 9 4
297: 5 4 1
298: 11 8 4
299: 11 6 4
300: 13 12 10
301: 9 5 2
302: 12 9 5
303: 13 12 6
304: 11 2 1
305: 7 6 2
306: 7 3 1
307: 8 4 2
308: 15 9 2
309: 10 6 4
310: 8 5 1
311: 7 5 3
312: 11 10 5
313: 7 3 1
314: 14 9 3
315: 10 9 1
316: 12 11 7
317: 7 4 2
318: 8 6 5
319: 11 2 1
320: 4 3 1
321: 7 5 2
322: 17 2 1
323: 10 3 1
324: 6 4 3
325: 10 5 2
326: 10 3 1
327: 8 5 2
328: 9 7 5
329: 8 6 3
330: 8 7 2
331: 10 6 2
332: 12 11 7
333: 8 4 2
334: 7 4 1
335: 10 7 2
336: 7 4 1
337: 10 6 1
338: 6 3 2
339: 16 10 7
340: 11 4 3
341: 14 11 5
342: 11 2 1
343: 10 8 5
344: 11 10 6
345: 8 4 2
346: 11 7 2
347: 11 10 3
348: 8 7 4
349: 6 5 2
350: 14 13 10
351: 8 6 3
352: 13 11 6
353: 9 7 4
354: 14 13 5
355: 6 5 1
356: 10 9 7
357: 11 10 2
358: 14 8 7
359: 9 7 1
360: 26 25 1
361: 7 4 1
362: 18 8 7
363: 8 5 3
364: 12 5 1
365: 9 6 5
366: 14 7 4
367: 9 4 2
368: 17 9 7
369: 11 10 2
370: 5 3 2
371: 8 3 2
372: 15 7 3
373: 8 7 2
374: 8 6 5
375: 8 7 1
376: 8 7 5
377: 8 3 1
378: 15 13 4
379: 10 8 5
380: 14 6 3
381: 5 2 1
382: 18 7 3
383: 9 5 1
384: 16 15 6
385: 6 4 2
386: 10 6 5
387: 9 8 2
388: 14 3 1
389: 10 9 5
390: 13 10 2
391: 6 2 1
392: 13 10 6
393: 7 2 1
394: 8 7 2
395: 11 6 5
396: 7 6 4
397: 12 7 6
398: 14 6 5
399: 11 9 2
400: 5 3 2
401: 12 8 5
402: 9 4 3
403: 9 8 5
404: 7 6 4
405: 17 8 7
406: 13 9 4
407: 9 7 5
408: 7 5 1
409: 7 5 3
410: 10 4 3
411: 12 10 3
412: 11 8 3
413: 10 7 6
414: 16 13 9
415: 9 4 2
416: 9 5 2
417: 10 3 1
418: 15 3 1
419: 15 5 4
420: 13 10 8
421: 5 4 2
422: 10 6 1
423: 9 5 3
424: 9 7 2
425: 7 4 3
426: 14 12 11
427: 11 6 5
428: 11 3 2
429: 10 8 7
430: 15 13 11
431: 5 3 1
432: 13 4 3
433: 11 5 3
434: 12 11 5
435: 12 9 5
436: 6 5 4
437: 6 2 1
438: 17 6 2
439: 8 3 2
440: 4 3 1
441: 11 8 1
442: 7 5 2
443: 10 6 1
444: 13 12 9
445: 7 6 4
446: 15 7 4
447: 9 6 1
448: 11 6 4
449: 11 6 4
450: 16 12 7
451: 16 10 1
452: 6 5 4
453: 15 6 4
454: 10 9 5
455: 11 6 2
456: 23 11 2
457: 11 8 3
458: 13 10 5
459: 12 5 2
460: 9 5 1
461: 7 6 1
462: 12 11 5
463: 11 8 7
464: 23 9 4
465: 8 3 2
466: 14 11 6
467: 11 6 1
468: 15 9 4
469: 9 5 2
470: 9 8 2
471: 6 3 2
472: 11 3 2
473: 8 6 3
474: 18 11 9
475: 9 8 4
476: 10 8 1
477: 16 15 7
478: 6 4 1
479: 9 7 4
480: 16 13 7
481: 10 9 1
482: 9 6 5
483: 9 6 4
484: 14 2 1
485: 17 16 6
486: 14 8 5
487: 9 4 2
488: 4 3 1
489: 9 6 5
490: 9 7 5
491: 11 6 3
492: 8 7 1
493: 10 5 3
494: 13 5 1
495: 15 9 1
496: 16 5 2
497: 11 9 4
498: 11 9 3
499: 11 6 5
500: 10 6 1
501: 5 4 2
502: 8 5 4
503: 3 2 1
504: 21 14 2
505: 12 8 5
506: 15 12 5
507: 13 6 3
508: 13 8 3
509: 8 7 3
510: 12 10 9
511: 10 8 2
512: 8 5 2
513: 13 10 8
514: 7 5 3
515: 14 7 4
516: 7 5 2
517: 12 10 2
518: 11 3 2
519: 12 8 2
520: 17 13 11
521: 9 7 2
522: 15 13 4
523: 13 6 2
524: 9 5 1
525: 6 4 1
526: 9 5 1
527: 9 7 1
528: 11 6 2
529: 7 4 1
530: 10 7 3
531: 12 6 2
532: 10 4 3
533: 4 3 2
534: 7 5 1
535: 8 6 2
536: 7 5 3
537: 10 2 1
538: 5 2 1
539: 10 5 4
540: 11 6 3
541: 13 10 4
542: 9 3 2
543: 11 7 5
544: 13 9 6
545: 13 8 6
546: 8 2 1
547: 13 7 4
548: 10 5 3
549: 16 4 3
550: 21 17 4
551: 9 4 1
552: 20 5 2
553: 11 4 3
554: 11 8 3
555: 10 9 4
556: 16 10 7
557: 7 6 5
558: 14 9 5
559: 9 7 2
560: 11 9 6
561: 11 7 4
562: 11 4 2
563: 14 7 3
564: 6 3 1
565: 11 6 1
566: 6 5 2
567: 11 9 6
568: 17 11 10
569: 12 10 1
570: 18 12 7
571: 10 5 2
572: 12 8 1
573: 10 6 4
574: 14 9 5
575: 6 5 3
576: 13 4 3
577: 8 3 2
578: 23 22 16
579: 12 9 7
580: 6 4 1
581: 13 7 6
582: 11 6 3
583: 8 6 2
584: 14 13 3
585: 8 3 2
586: 7 5 2
587: 11 6 1
588: 17 16 11
589: 10 4 3
590: 12 3 2
591: 9 6 4
592: 24 19 1
593: 9 8 5
594: 11 10 8
595: 9 2 1
596: 6 5 4
597: 14 12 9
598: 7 6 1
599: 9 8 6
600: 11 10 1
601: 12 4 1
602: 11 8 6
603: 6 4 3
604: 15 6 4
605: 10 7 5
606: 15 7 4
607: 12 9 7
608: 23 6 2
609: 12 9 8
610: 11 10 8
611: 10 4 2
612: 14 10 5
613: 19 10 4
614: 7 2 1
615: 7 6 1
616: 19 10 3
617: 10 9 5
618: 20 13 5
619: 9 8 5
620: 9 2 1
621: 12 6 5
622: 17 12 10
623: 11 10 9
624: 12 9 7
625: 12 8 5
626: 13 5 3
627: 14 10 5
628: 12 9 4
629: 6 5 2
630: 7 4 2
631: 14 8 6
632: 19 13 3
633: 7 2 1
634: 7 5 3
635: 14 10 4
636: 13 8 4
637: 14 9 1
638: 6 5 1
639: 10 4 3
640: 14 3 2
641: 19 5 1
642: 10 9 6
643: 11 3 2
644: 12 11 10
645: 11 8 4
646: 13 12 11
647: 5 4 1
648: 23 22 1
649: 11 5 1
650: 18 15 6
651: 14 13 5
652: 11 9 5
653: 10 8 7
654: 14 11 5
655: 17 15 5
656: 19 18 10
657: 8 7 1
658: 12 10 7
659: 15 4 2
660: 12 4 3
661: 12 11 4
662: 12 6 3
663: 14 11 8
664: 15 4 2
665: 11 6 4
666: 10 7 2
667: 18 7 3
668: 17 12 10
669: 5 4 2
670: 6 5 1
671: 9 6 2
672: 11 6 5
673: 10 9 7
674: 14 9 3
675: 6 3 1
676: 12 5 1
677: 8 4 3
678: 15 5 3
679: 18 12 3
680: 35 30 1
681: 11 9 3
682: 7 3 1
683: 11 6 1
684: 18 13 3
685: 4 3 1
686: 13 12 2
687: 14 12 5
688: 19 14 6
689: 8 6 3
690: 10 7 3
691: 13 6 2
692: 14 6 5
693: 15 8 2
694: 17 13 3
695: 9 4 1
696: 23 10 2
697: 16 12 8
698: 10 9 8
699: 15 10 1
700: 6 5 2
701: 16 4 2
702: 7 3 1
703: 12 7 1
704: 12 5 3
705: 8 6 5
706: 14 11 9
707: 15 8 5
708: 5 4 2
709: 4 3 1
710: 15 14 1
711: 11 8 7
712: 5 4 3
713: 17 10 7
714: 13 7 5
715: 7 4 1
716: 12 11 10
717: 16 7 1
718: 5 2 1
719: 12 9 8
720: 11 8 2
721: 9 6 3
722: 15 4 1
723: 16 13 6
724: 13 8 5
725: 9 6 5
726: 5 4 1
727: 11 8 6
728: 4 3 2
729: 11 5 3
730: 19 15 4
731: 8 6 2
732: 7 4 3
733: 8 7 2
734: 14 13 10
735: 8 7 2
736: 13 8 6
737: 5 4 1
738: 11 9 8
739: 18 16 8
740: 24 12 3
741: 9 8 3
742: 12 4 1
743: 13 12 1
744: 13 11 1
745: 8 7 5
746: 18 13 8
747: 10 6 4
748: 15 5 4
749: 7 6 1
750: 16 9 4
751: 11 3 1
752: 21 20 3
753: 13 8 5
754: 19 14 12
755: 12 10 1
756: 16 9 1
757: 7 6 1
758: 17 12 1
759: 9 3 2
760: 26 13 3
761: 3 2 1
762: 17 7 1
763: 16 14 9
764: 6 5 3
765: 11 10 5
766: 22 19 9
767: 8 7 4
768: 19 17 4
769: 9 7 6
770: 14 5 2
771: 17 15 6
772: 8 6 5
773: 10 8 6
774: 16 14 7
775: 7 6 4
776: 17 12 3
777: 16 10 1
778: 19 16 3
779: 10 8 3
780: 16 8 5
781: 17 16 2
782: 9 3 2
783: 10 7 1
784: 13 9 6
785: 10 9 5
786: 15 6 4
787: 7 6 3
788: 17 10 3
789: 5 2 1
790: 9 7 3
791: 6 4 1
792: 23 17 13
793: 9 4 1
794: 13 12 5
795: 20 15 14
796: 9 4 1
797: 12 10 4
798: 7 6 3
799: 9 6 4
800: 14 9 6
801: 9 7 1
802: 15 13 12
803: 14 9 2
804: 10 9 7
805: 8 7 2
806: 10 9 5
807: 7 6 3
808: 22 3 2
809: 8 3 1
810: 13 12 7
811: 12 10 8
812: 17 6 2
813: 10 3 1
814: 10 4 1
815: 12 10 7
816: 23 15 5
817: 13 8 5
818: 15 7 1
819: 16 9 7
820: 12 7 3
821: 15 11 2
822: 22 16 5
823: 9 6 3
824: 14 11 3
825: 13 7 3
826: 13 8 6
827: 12 10 7
828: 14 13 10
829: 4 3 1
830: 17 10 7
831: 11 8 6
832: 13 5 2
833: 8 3 2
834: 12 7 4
835: 14 7 5
836: 10 9 2
837: 8 6 5
838: 12 8 1
839: 14 6 2
840: 11 5 1
841: 6 5 4
842: 12 8 7
843: 11 10 7
844: 18 16 11
845: 10 8 7
846: 13 12 10
847: 17 13 3
848: 11 4 1
849: 11 9 3
850: 16 7 6
851: 13 10 5
852: 8 5 4
853: 10 7 1
854: 7 5 3
855: 17 3 2
856: 19 10 3
857: 6 5 3
858: 16 10 7
859: 17 15 4
860: 14 11 2
861: 9 5 2
862: 7 6 1
863: 6 3 2
864: 21 10 6
865: 6 4 1
866: 14 13 6
867: 9 5 2
868: 17 12 5
869: 11 7 6
870: 17 16 11
871: 12 4 1
872: 16 7 2
873: 7 3 1
874: 12 7 4
875: 12 8 1
876: 14 8 5
877: 6 5 4
878: 20 9 7
879: 9 5 3
880: 15 7 5
881: 11 8 5
882: 11 5 1
883: 17 16 12
884: 15 11 8
885: 8 7 1
886: 13 9 8
887: 7 6 4
888: 19 18 10
889: 10 8 6
890: 18 13 5
891: 12 10 3
892: 14 7 6
893: 11 8 6
894: 19 7 1
895: 12 8 4
896: 23 21 16
897: 16 8 7
898: 12 5 2
899: 18 15 5
900: 10 7 5
901: 13 7 6
902: 20 16 9
903: 8 7 1
904: 15 11 1
905: 15 9 2
906: 13 11 2
907: 12 10 2
908: 8 7 4
909: 14 4 1
910: 15 9 7
911: 8 6 1
912: 20 5 2
913: 18 12 9
914: 4 2 1
915: 8 6 3
916: 17 12 8
917: 12 10 7
918: 13 12 10
919: 9 7 5
920: 21 7 4
921: 9 8 6
922: 7 6 5
923: 16 14 13
924: 13 10 8
925: 16 15 7
926: 13 6 5
927: 9 7 3
928: 17 11 3
929: 11 4 3
930: 18 14 11
931: 10 9 4
932: 9 2 1
933: 16 6 1
934: 22 6 5
935: 12 11 7
936: 16 13 7
937: 9 5 4
938: 15 6 3
939: 7 5 4
940: 17 16 3
941: 11 6 1
942: 19 14 13
943: 17 14 4
944: 14 3 2
945: 21 4 1
946: 23 11 10
947: 9 6 5
948: 18 16 15
949: 8 3 2
950: 16 14 9
951: 7 6 1
952: 16 9 7
953: 10 7 2
954: 11 8 6
955: 7 6 3
956: 6 5 4
957: 10 9 6
958: 14 9 5
959: 13 10 8
960: 13 9 6
961: 14 9 8
962: 15 8 5
963: 20 9 6
964: 6 4 1
965: 15 4 2
966: 12 9 7
967: 20 8 3
968: 19 18 13
969: 11 10 4
970: 12 5 2
971: 6 2 1
972: 20 13 5
973: 13 6 4
974: 21 10 1
975: 13 4 1
976: 21 4 2
977: 6 3 2
978: 11 7 5
979: 18 16 14
980: 8 7 6
981: 12 6 5
982: 7 6 2
983: 10 4 3
984: 41 23 10
985: 8 4 2
986: 19 12 10
987: 16 13 12
988: 17 3 1
989: 10 4 2
990: 17 16 11
991: 10 9 3
992: 27 14 7
993: 10 8 1
994: 19 9 6
995: 16 11 1
996: 11 8 1
997: 12 6 3
998: 19 15 14
999: 14 11 5
1000: 16 3 2
1001: 5 3 1
1002: 5 3 2
1003: 13 8 3
1004: 17 14 12
1005: 18 16 7
1006: 5 4 3
1007: 8 3 1
1008: 27 13 10
1009: 11 4 2
1010: 10 7 2
1011: 10 7 4
1012: 9 2 1
1013: 9 8 6
1014: 17 11 1
1015: 12 3 1
1016: 15 6 3
1017: 9 4 1
1018: 12 10 5
1019: 10 8 1
1020: 15 12 7
1021: 5 2 1
1022: 14 12 7
1023: 14 8 3
1024: 23 22 9
1025: 9 5 1
1026: 19 14 4
1027: 13 12 6
1028: 9 5 1
1029: 9 8 3
1030: 17 5 1
1031: 12 3 2
1032: 25 18 10
1033: 12 5 2
1034: 13 10 6
1035: 12 6 5
1036: 13 9 6
1037: 12 7 2
1038: 15 7 3
1039: 5 4 2
1040: 26 19 1
1041: 8 5 1
1042: 16 3 1
1043: 10 7 6
1044: 20 8 1
1045: 13 9 6
1046: 16 14 13
1047: 10 8 2
1048: 24 21 3
1049: 11 5 3
1050: 17 9 2
1051: 13 12 10
1052: 8 7 1
1053: 10 9 1
1054: 14 5 4
1055: 15 6 5
1056: 14 9 6
1057: 14 9 4
1058: 14 13 7
1059: 6 3 1
1060: 17 13 8
1061: 10 3 1
1062: 5 2 1
1063: 11 6 2
1064: 18 9 6
1065: 8 7 5
1066: 10 9 3
1067: 13 9 8
1068: 15 8 3
1069: 18 16 8
1070: 15 14 11
1071: 10 7 5
1072: 19 9 8
1073: 12 6 3
1074: 17 14 10
1075: 15 14 5
1076: 17 4 1
1077: 10 9 7
1078: 17 14 4
1079: 17 14 5
1080: 29 12 3
1081: 16 14 2
1082: 14 11 6
1083: 16 7 2
1084: 17 9 5
1085: 10 4 2
1086: 10 9 4
1087: 8 7 3
1088: 22 21 10
1089: 16 8 1
1090: 8 2 1
1091: 12 10 5
1092: 21 20 15
1093: 7 6 1
1094: 5 4 3
1095: 5 4 2
1096: 24 15 6
1097: 13 11 3
1098: 18 15 7
1099: 16 9 1
1100: 19 16 14
1101: 9 7 4
1102: 15 10 8
1103: 13 6 4
1104: 21 12 7
1105: 16 9 6
1106: 16 11 3
1107: 23 11 10
1108: 13 9 6
1109: 17 14 3
1110: 16 6 1
1111: 7 6 4
1112: 15 8 6
1113: 12 9 5
1114: 19 10 6
1115: 18 15 3
1116: 5 4 2
1117: 12 10 4
1118: 9 7 5
1119: 11 5 2
1120: 13 11 5
1121: 12 9 5
1122: 16 13 1
1123: 14 7 3
1124: 22 12 5
1125: 15 8 3
1126: 21 17 13
1127: 9 3 2
1128: 7 3 1
1129: 8 6 5
1130: 11 10 3
1131: 10 6 1
1132: 20 2 1
1133: 11 6 4
1134: 16 13 4
1135: 9 4 2
1136: 9 4 2
1137: 17 12 5
1138: 7 4 3
1139: 13 12 5
1140: 17 16 4
1141: 12 7 3
1142: 12 9 6
1143: 7 2 1
1144: 15 10 1
1145: 16 12 8
1146: 16 9 3
1147: 7 6 3
1148: 25 5 4
1149: 20 17 3
1150: 13 4 1
1151: 15 13 10
1152: 17 11 10
1153: 14 12 2
1154: 9 2 1
1155: 13 6 1
1156: 17 13 11
1157: 8 7 3
1158: 8 4 1
1159: 14 10 5
1160: 30 15 6
1161: 13 11 2
1162: 18 16 11
1163: 11 10 1
1164: 17 14 2
1165: 8 6 1
1166: 17 12 7
1167: 17 13 5
1168: 12 7 2
1169: 13 8 4
1170: 12 11 9
1171: 6 5 1
1172: 15 13 5
1173: 17 14 5
1174: 10 9 2
1175: 12 11 4
1176: 19 2 1
1177: 11 3 1
1178: 11 10 1
1179: 15 8 6
1180: 6 4 3
1181: 17 11 6
1182: 15 11 3
1183: 11 10 5
1184: 5 3 2
1185: 12 3 2
1186: 10 6 5
1187: 13 8 4
1188: 25 16 5
1189: 8 3 1
1190: 20 10 1
1191: 7 6 1
1192: 9 8 7
1193: 10 9 2
1194: 15 14 12
1195: 13 6 5
1196: 17 15 11
1197: 9 8 2
1198: 10 9 5
1199: 16 7 2
1200: 23 8 5
1201: 12 7 5
1202: 13 4 2
1203: 8 4 2
1204: 17 6 2
1205: 4 2 1
1206: 22 13 12
1207: UNFACTORED
1208: 11 10 6
1209: 12 4 3
1210: 9 7 5
1211: 14 7 1
1212: 15 11 2
1213: UNFACTORED
1214: 9 5 4
1215: 13 7 4
1216: 29 12 11
1217: UNFACTORED
1218: 17 14 10
1219: 12 10 6
1220: 18 6 5
1221: 20 13 7
1222: 18 16 1
1223: 8 6 1
1224: 12 9 7
1225: 17 11 4
1226: 20 17 9
1227: 16 13 10
1228: 9 4 1
1229: UNFACTORED
1230: 15 3 1
1231: UNFACTORED
1232: 25 10 2
1233: 11 6 3
1234: 14 11 6
1235: 13 9 8
1236: 11 7 4
1237: UNFACTORED
1238: 12 10 1
1239: 9 3 1
1240: 23 13 6
1241: 13 6 5
1242: 15 13 10
1243: UNFACTORED
1244: 22 19 9
1245: 13 6 1
1246: 11 10 5
1247: 15 13 5
1248: 16 13 3
1249: UNFACTORED
1250: 15 13 10
1251: 13 10 5
1252: 9 5 1
1253: UNFACTORED
1254: 20 16 5
1255: UNFACTORED
1256: 31 30 2
1257: 14 11 7
1258: 9 6 4
1259: UNFACTORED
1260: 15 8 3
1261: 7 4 1
1262: 7 4 2
1263: 12 11 2
1264: 17 11 6
1265: UNFACTORED
1266: 13 10 7
1267: 9 5 2
1268: 12 2 1
1269: 17 10 8
1270: 16 15 5
1271: 13 10 6
1272: 25 9 3
1273: 16 8 6
1274: 15 13 4
1275: 11 10 1
1276: 16 11 2
1277: UNFACTORED
1278: 22 14 13
1279: 16 8 3
1280: 17 15 7
1281: 12 11 5
1282: 22 17 6
1283: UNFACTORED
1284: 15 13 3
1285: 10 9 1
1286: 18 8 5
1287: 7 6 1
1288: 33 24 7
1289: 16 8 1
1290: 10 4 3
1291: UNFACTORED
1292: 15 14 1
1293: 14 9 6
1294: 9 8 2
1295: 10 5 1
1296: 21 15 14
1297: UNFACTORED
1298: 20 19 13
1299: 14 11 5
1300: 17 11 7
1301: 11 10 1
1302: 13 6 1
1303: 16 12 8
1304: 20 17 15
1305: 22 20 2
1306: 11 8 7
1307: 14 12 9
1308: 16 11 1
1309: 8 3 2
1310: 13 11 3
1311: 14 12 9
1312: 25 21 2
1313: 18 8 6
1314: 18 11 6
1315: UNFACTORED
1316: 19 12 11
1317: 17 8 7
1318: 13 12 7
1319: UNFACTORED
1320: 25 11 8
1321: 13 12 1
1322: 15 13 8
1323: 17 16 2
1324: 12 5 1
1325: UNFACTORED
1326: 12 9 2
1327: 10 6 2
1328: 26 17 5
1329: 11 5 2
1330: 11 6 1
1331: UNFACTORED
1332: 16 13 8
1333: 11 3 2
1334: 20 8 5
1335: 7 4 1
1336: 8 3 2
1337: 12 10 1
1338: 19 17 4
1339: UNFACTORED
1340: 16 10 9
1341: 6 5 2
1342: 15 9 7
1343: UNFACTORED
1344: 15 6 1
1345: UNFACTORED
1346: 6 3 2
1347: 10 9 7
1348: 16 12 11
1349: UNFACTORED
1350: 17 15 14
1351: UNFACTORED
1352: 29 27 17
1353: 10 5 1
1354: 7 4 3
1355: 8 4 1
1356: 8 6 3
1357: UNFACTORED
1358: 20 13 4
1359: 8 7 2
1360: 23 21 1
1361: 11 6 2
1362: 24 11 6
1363: 9 5 2
1364: 8 7 3
1365: 11 8 4
1366: 27 22 21
1367: UNFACTORED
1368: 15 9 5
1369: 9 5 4
1370: 10 5 3
1371: 10 9 4
1372: 14 13 5
1373: 15 11 2
1374: 19 5 2
1375: 10 7 1
1376: 23 14 11
1377: 12 10 4
1378: 7 6 3
1379: UNFACTORED
1380: 14 13 11
1381: UNFACTORED
1382: 10 9 2
1383: 16 5 4
1384: 11 5 1
1385: UNFACTORED
1386: 12 8 3
1387: UNFACTORED
1388: 11 8 5
1389: 19 9 4
1390: 19 17 11
1391: 3 2 1
1392: 21 17 6
1393: 12 5 2
1394: 17 13 9
1395: 14 6 5
1396: 29 24 8
1397: 13 8 3
1398: 21 12 11
1399: 18 10 2
1400: 13 10 6
1401: 22 12 3
1402: 15 12 6
1403: UNFACTORED
1404: 19 7 3
1405: 15 10 8
1406: 23 20 2
1407: 9 7 4
1408: 15 12 10
1409: 18 12 5
1410: 18 8 3
1411: 25 14 11
1412: 12 7 4
1413: 20 19 16
1414: 13 3 1
1415: UNFACTORED
1416: 10 9 6
1417: UNFACTORED
1418: 5 3 2
1419: UNFACTORED
1420: 12 6 3
1421: UNFACTORED
1422: 13 7 4
1423: UNFACTORED
1424: 11 6 2
1425: 19 9 4
1426: 11 5 3
1427: 18 17 8
1428: 15 12 8
1429: UNFACTORED
1430: 13 9 1
1431: 8 3 2
1432: 11 10 6
1433: UNFACTORED
1434: 11 8 6
1435: 15 10 9
1436: 21 17 13
1437: 7 6 4
1438: 24 23 22
1439: UNFACTORED
1440: 14 13 7
1441: 5 3 1
1442: 9 4 2
1443: UNFACTORED
1444: 16 13 10
1445: 13 10 3
1446: 17 3 2
1447: UNFACTORED
1448: 25 22 6
1449: 21 9 7
1450: 16 12 3
1451: UNFACTORED
1452: 17 14 5
1453: UNFACTORED
1454: 11 6 2
1455: 17 9 8
1456: 9 4 2
1457: 9 7 1
1458: 21 19 13
1459: 16 14 9
1460: 18 17 10
1461: 12 5 3
1462: 13 5 2
1463: UNFACTORED
1464: 23 14 1
1465: UNFACTORED
1466: 11 10 3
1467: UNFACTORED
1468: 16 11 8
1469: 20 18 14
1470: 8 5 1
1471: 7 3 1
1472: 11 4 1
1473: 14 11 5
1474: 17 11 10
1475: UNFACTORED
1476: 11 8 3
1477: UNFACTORED
1478: 25 12 5
1479: 17 8 7
1480: 17 4 3
1481: UNFACTORED
1482: 15 12 1
1483: UNFACTORED
1484: 15 11 7
1485: 23 16 11
1486: 13 10 9
1487: 14 8 2
1488: 21 15 14
1489: 14 3 1
1490: 15 13 8
1491: 9 5 2
1492: 14 13 8
1493: UNFACTORED
1494: 13 12 9
1495: 21 11 7
1496: 13 11 4
1497: UNFACTORED
1498: 17 11 10
1499: UNFACTORED
1500: 14 2 1

(5..1206 time = 1h, 2min, 25,858 ms.
1207..1499 time = 1h, 18min, 51,597 ms.
1500 time = 20,539 ms)

No comments :