(x^5+x^4+x^3+x^2+x+1)*x^16+x^6+x^5+x^4+x^3+x^2+x+1
Ver.1.000 2012. 1. 21
更新履歴
2012.1.21 Ver.1.000 新規作成
多項式を変える。
(x^5+x^4+x^3+x^2+x+1)*x^16+x^6+x^5+x^4+x^3+x^2+x+1
(%i1) factor((x^5+x^4+x^3+x^2+x+1)*x^16+x^6+x^5+x^4+x^3+x^2+x+1);
21 20 19 18 17 16 6 5 4 3 2
(%o1) x + x + x + x + x + x + x + x + x + x + x + x + 1
e7.bat
for x:2 while x<20 do(
y:factor((x^5+x^4+x^3+x^2+x+1)*x^16+x^6+x^5+x^4+x^3+x^2+x+1),
print(" x=",x),
print("factor(x)=",y)
);
(%i2) batch("e7.bat");
read and interpret file: /home/gakkari/yano/c-src/e7.bat
(%i3) for x from 2 while x < 20 do (y :
2 3 4 5 6 2 3 4 5 16
factor(1 + x + x + x + x + x + x + (1 + x + x + x + x + x ) x ),
print( x=, x), print(factor(x)=, y))
x= 2
factor(x)= 5 825779
x= 3
factor(x)= 71 220690247
x= 4
factor(x)= 5862630364501
x= 5
factor(x)= 11 97 167 10007 334247
x= 6
factor(x)= 89 6091 48558983777
x= 7
factor(x)= 5 13 701 14301136894741
x= 8
factor(x)= 17 307 2381 848268470383
x= 9
factor(x)= 491 809 1606439 192907961
x= 10
factor(x)= 2711 9967 41120944413503
x= 11
2
factor(x)= 29 203071837 47664290749
x= 12
factor(x)= 5 43 163 39161 36569139811873
x= 13
factor(x)= 28661 83992687 111183310391
x= 14
factor(x)= 13 33699148013 2879460342179
x= 15
factor(x)= 6469 826118740569129576589
x= 16
factor(x)= 11 4751 47807 365527 22592259317
x= 17
factor(x)= 5 41 1117 650610517 492751728289
x= 18
factor(x)= 157571269 400767901 3847478623
x= 19
factor(x)= 811 929578033273919532886291
(%o3) done
(%o3) e7.bat
(%i4)
b.txtは、
5,2
71,3
11,5
97,5
167,5
89,5
5,7
13,7
701,7
17,8
307,8
491,9
809,9
29,11
5,12
43,12
163,12
13,14
11,16
5,17
41,17
811,19
#include <stddef.h>
#include <stdlib.h>
#include <stdio.h>
#define max 1 /* この数から+100まで生成する */
FILE *fp;
FILE *rp;
struct b_{
int n;
int p;
};
struct b_ b_txt[1000];
int n=1;
int Flag=0;
int max_i,i;
int main (void)
{
/* 保存はカレントディレクトリーのhajiku-6.cというファイル名で上書きする */
if((fp=fopen("hajiku-6.c","w"))== NULL){
printf("cannot open hajiku-6.c\n");
exit(1);
}
/* はじくしきを読み込む */
if((rp=fopen("b.txt","r"))== NULL){
printf("cannot open b.txt\n");
exit(1);
}
i=0;
while(EOF!=fscanf(rp,"%d,%d\n",&b_txt[i].n,&b_txt[i].p)){
printf("%dn+%d\n",b_txt[i].n,b_txt[i].p);
i++;
}
fclose(rp);
printf("b.txt read! %d 個 \n",i);
max_i=i;
const char c='%';
const char slash=0x5c;
const char dash=0x22;
fprintf(fp,"#include <stddef.h>\n");
fprintf(fp,"#include <stdlib.h>\n");
fprintf(fp,"#include <stdio.h>\n");
fprintf(fp,"\n");
fprintf(fp,"FILE *fp; \n");
fprintf(fp,"\n");
fprintf(fp,"int n=1;\n");
fprintf(fp,"int Flag=0;\n");
fprintf(fp,"\n");
fprintf(fp,"int main (void)\n");
fprintf(fp,"\n");
fprintf(fp,"{ \n");
fprintf(fp," /* 保存はカレントディレクトリーのa.batというファイル名で上書きする */\n");
fprintf(fp," if((fp=fopen(%ca.bat%c,%cw%c))== NULL){\n",dash,dash,dash,dash);
fprintf(fp," printf(%ccannot open a.bat%cn%c);\n",dash,slash,dash);
fprintf(fp," exit(1);\n");
fprintf(fp," }\n");
fprintf(fp,"\n");
fprintf(fp," for(n=%d;n<%d;n++){\n",max,max+100);
fprintf(fp," Flag=0;\n");
for(i=0;i<max_i;i++){
fprintf(fp," if((n>%d) && (((n-%d) %c %d)==0)){",b_txt[i].p-1,b_txt[i].p,c,b_txt[i].n);
fprintf(fp," /* %dx+%d */ \n",b_txt[i].n,b_txt[i].p);
fprintf(fp," printf(%c%cd=%dx%cd+%cd %cn%c,n,(n-%d)/%d,%d);\n",dash,c,b_txt[i].n,c,c,slash,dash,b_txt[i].p,b_txt[i].n,b_txt[i].p);
fprintf(fp," Flag++;\n");
fprintf(fp," };\n");
}
fprintf(fp," if(Flag==0){ /* どれでもないとき */ \n");
fprintf(fp," printf(%c!!! %cd !!! %cn%c,n);\n",dash,c,slash,dash);
fprintf(fp," fprintf(fp,%cfactor((%cd^5+%cd^4+%cd^3+%cd^2+%cd+1)*%cd^
16
+%cd^6+%cd^5+%cd^4+%cd^3+%cd^2+%cd+1);%cn%c,n,n,n,n,n,n,n,n,n,n,n,n);\n",dash,c,c,c,c,c,c,c,c,c,c,c,c,slash,dash);
fprintf(fp," };\n");
fprintf(fp," };\n");
fprintf(fp," fclose(fp);\n");
fprintf(fp," return(0);\n");
fprintf(fp,"}\n");
fclose(fp);
return(0);
}
$gcc -Wall Autohajiku.c -o Autohajiku
$./Autohajiku
5n+2
71n+3
11n+5
97n+5
167n+5
89n+5
5n+7
13n+7
701n+7
17n+8
307n+8
491n+9
809n+9
29n+11
5n+12
43n+12
163n+12
13n+14
11n+16
5n+17
41n+17
811n+19
b.txt read! 22 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
!!! 1 !!!
2=5x0+2
3=71x0+3
!!! 4 !!!
5=11x0+5
5=97x0+5
5=167x0+5
5=89x0+5
!!! 6 !!!
7=5x1+2
7=5x0+7
7=13x0+7
7=701x0+7
8=17x0+8
8=307x0+8
9=491x0+9
9=809x0+9
!!! 10 !!!
11=29x0+11
12=5x2+2
12=5x1+7
12=5x0+12
12=43x0+12
12=163x0+12
!!! 13 !!!
14=13x0+14
!!! 15 !!!
16=11x1+5
16=11x0+16
17=5x3+2
17=5x2+7
17=5x1+12
17=5x0+17
17=41x0+17
!!! 18 !!!
19=811x0+19
20=13x1+7
!!! 21 !!!
22=5x4+2
22=5x3+7
22=5x2+12
22=5x1+17
!!! 23 !!!
!!! 24 !!!
25=17x1+8
!!! 26 !!!
27=5x5+2
27=11x2+5
27=5x4+7
27=5x3+12
27=13x1+14
27=11x1+16
27=5x2+17
!!! 28 !!!
!!! 29 !!!
!!! 30 !!!
!!! 31 !!!
32=5x6+2
32=5x5+7
32=5x4+12
32=5x3+17
33=13x2+7
!!! 34 !!!
!!! 35 !!!
!!! 36 !!!
37=5x7+2
37=5x6+7
37=5x5+12
37=5x4+17
38=11x3+5
38=11x2+16
!!! 39 !!!
40=29x1+11
40=13x2+14
!!! 41 !!!
42=5x8+2
42=5x7+7
42=17x2+8
42=5x6+12
42=5x5+17
!!! 43 !!!
!!! 44 !!!
!!! 45 !!!
46=13x3+7
47=5x9+2
47=5x8+7
47=5x7+12
47=5x6+17
!!! 48 !!!
49=11x4+5
49=11x3+16
!!! 50 !!!
!!! 51 !!!
52=5x10+2
52=5x9+7
52=5x8+12
52=5x7+17
53=13x3+14
!!! 54 !!!
55=43x1+12
!!! 56 !!!
57=5x11+2
57=5x10+7
57=5x9+12
57=5x8+17
58=41x1+17
59=13x4+7
59=17x3+8
60=11x5+5
60=11x4+16
!!! 61 !!!
62=5x12+2
62=5x11+7
62=5x10+12
62=5x9+17
!!! 63 !!!
!!! 64 !!!
!!! 65 !!!
66=13x4+14
67=5x13+2
67=5x12+7
67=5x11+12
67=5x10+17
!!! 68 !!!
69=29x2+11
!!! 70 !!!
71=11x6+5
71=11x5+16
72=5x14+2
72=5x13+7
72=13x5+7
72=5x12+12
72=5x11+17
!!! 73 !!!
74=71x1+3
!!! 75 !!!
76=17x4+8
77=5x15+2
77=5x14+7
77=5x13+12
77=5x12+17
!!! 78 !!!
79=13x5+14
!!! 80 !!!
!!! 81 !!!
82=5x16+2
82=11x7+5
82=5x15+7
82=5x14+12
82=11x6+16
82=5x13+17
!!! 83 !!!
!!! 84 !!!
85=13x6+7
!!! 86 !!!
87=5x17+2
87=5x16+7
87=5x15+12
87=5x14+17
!!! 88 !!!
!!! 89 !!!
!!! 90 !!!
!!! 91 !!!
92=5x18+2
92=5x17+7
92=5x16+12
92=13x6+14
92=5x15+17
93=11x8+5
93=17x5+8
93=11x7+16
94=89x1+5
!!! 95 !!!
!!! 96 !!!
97=5x19+2
97=5x18+7
97=5x17+12
97=5x16+17
98=13x7+7
98=29x3+11
98=43x2+12
99=41x2+17
!!! 100 !!!
factor((1^5+1^4+1^3+1^2+1+1)*1^16+1^6+1^5+1^4+1^3+1^2+1+1);
factor((4^5+4^4+4^3+4^2+4+1)*4^16+4^6+4^5+4^4+4^3+4^2+4+1);
factor((6^5+6^4+6^3+6^2+6+1)*6^16+6^6+6^5+6^4+6^3+6^2+6+1);
factor((10^5+10^4+10^3+10^2+10+1)*10^16+10^6+10^5+10^4+10^3+10^2+10+1);
factor((13^5+13^4+13^3+13^2+13+1)*13^16+13^6+13^5+13^4+13^3+13^2+13+1);
factor((15^5+15^4+15^3+15^2+15+1)*15^16+15^6+15^5+15^4+15^3+15^2+15+1);
factor((18^5+18^4+18^3+18^2+18+1)*18^16+18^6+18^5+18^4+18^3+18^2+18+1);
factor((21^5+21^4+21^3+21^2+21+1)*21^16+21^6+21^5+21^4+21^3+21^2+21+1);
factor((23^5+23^4+23^3+23^2+23+1)*23^16+23^6+23^5+23^4+23^3+23^2+23+1);
factor((24^5+24^4+24^3+24^2+24+1)*24^16+24^6+24^5+24^4+24^3+24^2+24+1);
factor((26^5+26^4+26^3+26^2+26+1)*26^16+26^6+26^5+26^4+26^3+26^2+26+1);
factor((28^5+28^4+28^3+28^2+28+1)*28^16+28^6+28^5+28^4+28^3+28^2+28+1);
factor((29^5+29^4+29^3+29^2+29+1)*29^16+29^6+29^5+29^4+29^3+29^2+29+1);
factor((30^5+30^4+30^3+30^2+30+1)*30^16+30^6+30^5+30^4+30^3+30^2+30+1);
factor((31^5+31^4+31^3+31^2+31+1)*31^16+31^6+31^5+31^4+31^3+31^2+31+1);
factor((34^5+34^4+34^3+34^2+34+1)*34^16+34^6+34^5+34^4+34^3+34^2+34+1);
factor((35^5+35^4+35^3+35^2+35+1)*35^16+35^6+35^5+35^4+35^3+35^2+35+1);
factor((36^5+36^4+36^3+36^2+36+1)*36^16+36^6+36^5+36^4+36^3+36^2+36+1);
factor((39^5+39^4+39^3+39^2+39+1)*39^16+39^6+39^5+39^4+39^3+39^2+39+1);
factor((41^5+41^4+41^3+41^2+41+1)*41^16+41^6+41^5+41^4+41^3+41^2+41+1);
factor((43^5+43^4+43^3+43^2+43+1)*43^16+43^6+43^5+43^4+43^3+43^2+43+1);
factor((44^5+44^4+44^3+44^2+44+1)*44^16+44^6+44^5+44^4+44^3+44^2+44+1);
factor((45^5+45^4+45^3+45^2+45+1)*45^16+45^6+45^5+45^4+45^3+45^2+45+1);
factor((48^5+48^4+48^3+48^2+48+1)*48^16+48^6+48^5+48^4+48^3+48^2+48+1);
factor((50^5+50^4+50^3+50^2+50+1)*50^16+50^6+50^5+50^4+50^3+50^2+50+1);
factor((51^5+51^4+51^3+51^2+51+1)*51^16+51^6+51^5+51^4+51^3+51^2+51+1);
factor((54^5+54^4+54^3+54^2+54+1)*54^16+54^6+54^5+54^4+54^3+54^2+54+1);
factor((56^5+56^4+56^3+56^2+56+1)*56^16+56^6+56^5+56^4+56^3+56^2+56+1);
factor((61^5+61^4+61^3+61^2+61+1)*61^16+61^6+61^5+61^4+61^3+61^2+61+1);
factor((63^5+63^4+63^3+63^2+63+1)*63^16+63^6+63^5+63^4+63^3+63^2+63+1);
factor((64^5+64^4+64^3+64^2+64+1)*64^16+64^6+64^5+64^4+64^3+64^2+64+1);
factor((65^5+65^4+65^3+65^2+65+1)*65^16+65^6+65^5+65^4+65^3+65^2+65+1);
factor((68^5+68^4+68^3+68^2+68+1)*68^16+68^6+68^5+68^4+68^3+68^2+68+1);
factor((70^5+70^4+70^3+70^2+70+1)*70^16+70^6+70^5+70^4+70^3+70^2+70+1);
factor((73^5+73^4+73^3+73^2+73+1)*73^16+73^6+73^5+73^4+73^3+73^2+73+1);
factor((75^5+75^4+75^3+75^2+75+1)*75^16+75^6+75^5+75^4+75^3+75^2+75+1);
factor((78^5+78^4+78^3+78^2+78+1)*78^16+78^6+78^5+78^4+78^3+78^2+78+1);
factor((80^5+80^4+80^3+80^2+80+1)*80^16+80^6+80^5+80^4+80^3+80^2+80+1);
factor((81^5+81^4+81^3+81^2+81+1)*81^16+81^6+81^5+81^4+81^3+81^2+81+1);
factor((83^5+83^4+83^3+83^2+83+1)*83^16+83^6+83^5+83^4+83^3+83^2+83+1);
factor((84^5+84^4+84^3+84^2+84+1)*84^16+84^6+84^5+84^4+84^3+84^2+84+1);
factor((86^5+86^4+86^3+86^2+86+1)*86^16+86^6+86^5+86^4+86^3+86^2+86+1);
factor((88^5+88^4+88^3+88^2+88+1)*88^16+88^6+88^5+88^4+88^3+88^2+88+1);
factor((89^5+89^4+89^3+89^2+89+1)*89^16+89^6+89^5+89^4+89^3+89^2+89+1);
factor((90^5+90^4+90^3+90^2+90+1)*90^16+90^6+90^5+90^4+90^3+90^2+90+1);
factor((91^5+91^4+91^3+91^2+91+1)*91^16+91^6+91^5+91^4+91^3+91^2+91+1);
factor((95^5+95^4+95^3+95^2+95+1)*95^16+95^6+95^5+95^4+95^3+95^2+95+1);
factor((96^5+96^4+96^3+96^2+96+1)*96^16+96^6+96^5+96^4+96^3+96^2+96+1);
factor((100^5+100^4+100^3+100^2+100+1)*100^16+100^6+100^5+100^4+100^3+100^2+100+1);
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3 4 5 6 2 3 4 5 16
(%i2) factor(1 + 1 + 1 + 1 + 1 + 1 + 1 + (1 + 1 + 1 + 1 + 1 + 1 ) 1 )
(%o2) 13
2 3 4 5 6 2 3 4 5 16
(%i3) factor(1 + 4 + 4 + 4 + 4 + 4 + 4 + (1 + 4 + 4 + 4 + 4 + 4 ) 4 )
(%o3) 5862630364501
素数ですね。
2 3 4 5 6 2 3 4 5 16
(%i4) factor(1 + 6 + 6 + 6 + 6 + 6 + 6 + (1 + 6 + 6 + 6 + 6 + 6 ) 6 )
(%o4) 89 6091 48558983777
2 3 4 5 6
(%i5) factor(1 + 10 + 10 + 10 + 10 + 10 + 10
2 3 4 5 16
+ (1 + 10 + 10 + 10 + 10 + 10 ) 10 )
(%o5) 2711 9967 41120944413503
2 3 4 5 6
(%i6) factor(1 + 13 + 13 + 13 + 13 + 13 + 13
2 3 4 5 16
+ (1 + 13 + 13 + 13 + 13 + 13 ) 13 )
(%o6) 28661 83992687 111183310391
2 3 4 5 6
(%i7) factor(1 + 15 + 15 + 15 + 15 + 15 + 15
2 3 4 5 16
+ (1 + 15 + 15 + 15 + 15 + 15 ) 15 )
(%o7) 6469 826118740569129576589
2 3 4 5 6
(%i8) factor(1 + 18 + 18 + 18 + 18 + 18 + 18
2 3 4 5 16
+ (1 + 18 + 18 + 18 + 18 + 18 ) 18 )
(%o8) 157571269 400767901 3847478623
2 3 4 5 6
(%i9) factor(1 + 21 + 21 + 21 + 21 + 21 + 21
2 3 4 5 16
+ (1 + 21 + 21 + 21 + 21 + 21 ) 21 )
(%o9) 2797 12251 179031923284785290099
2 3 4 5 6
(%i10) factor(1 + 23 + 23 + 23 + 23 + 23 + 23
2 3 4 5 16
+ (1 + 23 + 23 + 23 + 23 + 23 ) 23 )
(%o10) 2251 58477 313493925036154350031
2 3 4 5 6
(%i11) factor(1 + 24 + 24 + 24 + 24 + 24 + 24
2 3 4 5 16
+ (1 + 24 + 24 + 24 + 24 + 24 ) 24 )
(%o11) 37 1201 1052801 3146243 683968651111
2 3 4 5 6
(%i12) factor(1 + 26 + 26 + 26 + 26 + 26 + 26
2 3 4 5 16
+ (1 + 26 + 26 + 26 + 26 + 26 ) 26 )
(%o12) 197 886541 21520644851 143368358669
2 3 4 5 6
(%i13) factor(1 + 28 + 28 + 28 + 28 + 28 + 28
2 3 4 5 16
+ (1 + 28 + 28 + 28 + 28 + 28 ) 28 )
(%o13) 449 80407 2214463187 31864291002457
2 3 4 5 6
(%i14) factor(1 + 29 + 29 + 29 + 29 + 29 + 29
2 3 4 5 16
+ (1 + 29 + 29 + 29 + 29 + 29 ) 29 )
(%o14) 45071423378977 117949647734846413
2 3 4 5 6
(%i15) factor(1 + 30 + 30 + 30 + 30 + 30 + 30
2 3 4 5 16
+ (1 + 30 + 30 + 30 + 30 + 30 ) 30 )
(%o15) 1103 338717 646927 2723503 16438945801
2 3 4 5 6
(%i16) factor(1 + 31 + 31 + 31 + 31 + 31 + 31
2 3 4 5 16
+ (1 + 31 + 31 + 31 + 31 + 31 ) 31 )
(%o16) 227 2543 19949429 119582191 15626683487
2 3 4 5 6
(%i17) factor(1 + 34 + 34 + 34 + 34 + 34 + 34
2 3 4 5 16
+ (1 + 34 + 34 + 34 + 34 + 34 ) 34 )
(%o17) 367189 117841113703 3450132181012453
2 3 4 5 6
(%i18) factor(1 + 35 + 35 + 35 + 35 + 35 + 35
2 3 4 5 16
+ (1 + 35 + 35 + 35 + 35 + 35 ) 35 )
(%o18) 103 113 354861649 66380928671219736551
2 3 4 5 6
(%i19) factor(1 + 36 + 36 + 36 + 36 + 36 + 36
2 3 4 5 16
+ (1 + 36 + 36 + 36 + 36 + 36 ) 36 )
(%o19) 20438863 24217551931593424660759291
2 3 4 5 6
(%i20) factor(1 + 39 + 39 + 39 + 39 + 39 + 39
2 3 4 5 16
+ (1 + 39 + 39 + 39 + 39 + 39 ) 39 )
(%o20) 71 187229831 1256890627 158747493281563
2 3 4 5 6
(%i21) factor(1 + 41 + 41 + 41 + 41 + 41 + 41
2 3 4 5 16
+ (1 + 41 + 41 + 41 + 41 + 41 ) 41 )
(%o21) 5099 136884507827 10847896818039336541
2 3 4 5 6
(%i22) factor(1 + 43 + 43 + 43 + 43 + 43 + 43
2 3 4 5 16
+ (1 + 43 + 43 + 43 + 43 + 43 ) 43 )
(%o22) 449 45794191010912860222303635801713
2 3 4 5 6
(%i23) factor(1 + 44 + 44 + 44 + 44 + 44 + 44
2 3 4 5 16
+ (1 + 44 + 44 + 44 + 44 + 44 ) 44 )
(%o23) 2439263 13653116588455086633562833827
2 3 4 5 6
(%i24) factor(1 + 45 + 45 + 45 + 45 + 45 + 45
2 3 4 5 16
+ (1 + 45 + 45 + 45 + 45 + 45 ) 45 )
(%o24) 9479 113151389033 49750816601980793203
2 3 4 5 6
(%i25) factor(1 + 48 + 48 + 48 + 48 + 48 + 48
2 3 4 5 16
+ (1 + 48 + 48 + 48 + 48 + 48 ) 48 )
(%o25) 206637607244712940355556979094239537
素数ですね。
2 3 4 5 6
(%i26) factor(1 + 50 + 50 + 50 + 50 + 50 + 50
2 3 4 5 16
+ (1 + 50 + 50 + 50 + 50 + 50 ) 50 )
(%o26) 486568528747558593750000015943877551
素数ですね。
2 3 4 5 6
(%i27) factor(1 + 51 + 51 + 51 + 51 + 51 + 51
2 3 4 5 16
+ (1 + 51 + 51 + 51 + 51 + 51 ) 51 )
(%o27) 248141 2970813178034582079543828287093
2 3 4 5 6
(%i28) factor(1 + 54 + 54 + 54 + 54 + 54 + 54
2 3 4 5 16
+ (1 + 54 + 54 + 54 + 54 + 54 ) 54 )
(%o28) 2445608000650300432954099625125073251
素数ですね。
2 3 4 5 6
(%i29) factor(1 + 56 + 56 + 56 + 56 + 56 + 56
2 3 4 5 16
+ (1 + 56 + 56 + 56 + 56 + 56 ) 56 )
(%o29) 8809387 259871593 840384829 2726410233007
2 3 4 5 6
(%i30) factor(1 + 61 + 61 + 61 + 61 + 61 + 61
2 3 4 5 16
+ (1 + 61 + 61 + 61 + 61 + 61 ) 61 )
(%o30) 37 852910372008141598485332257473536809
2 3 4 5 6
(%i31) factor(1 + 63 + 63 + 63 + 63 + 63 + 63
2 3 4 5 16
+ (1 + 63 + 63 + 63 + 63 + 63 ) 63 )
(%o31) 52673 59473 4411643 4493576470392698733571
2 3 4 5 6
(%i32) factor(1 + 64 + 64 + 64 + 64 + 64 + 64
2 3 4 5 16
+ (1 + 64 + 64 + 64 + 64 + 64 ) 64 )
(%o32) 1607063 37080541 1450240115446694294873747
2 3 4 5 6
(%i33) factor(1 + 65 + 65 + 65 + 65 + 65 + 65
2 3 4 5 16
+ (1 + 65 + 65 + 65 + 65 + 65 ) 65 )
(%o33) 139 39195707 200775767 2386980359 45824784389
2 3 4 5 6
(%i34) factor(1 + 68 + 68 + 68 + 68 + 68 + 68
2 3 4 5 16
+ (1 + 68 + 68 + 68 + 68 + 68 ) 68 )
(%o34) 137 35419 438853 4637632196203 31228350153281
2 3 4 5 6
(%i35) factor(1 + 70 + 70 + 70 + 70 + 70 + 70
2 3 4 5 16
+ (1 + 70 + 70 + 70 + 70 + 70 ) 70 )
(%o35) 8059 30059 2339117862321970635215729783291
2 3 4 5 6
(%i36) factor(1 + 73 + 73 + 73 + 73 + 73 + 73
2 3 4 5 16
+ (1 + 73 + 73 + 73 + 73 + 73 ) 73 )
(%o36) 179 7636905123918223295824086672594177503
2 3 4 5 6
(%i37) factor(1 + 75 + 75 + 75 + 75 + 75 + 75
2 3 4 5 16
+ (1 + 75 + 75 + 75 + 75 + 75 ) 75 )
(%o37) 2410549615730200801044702530087610193201
素数ですね。
2 3 4 5 6
(%i38) factor(1 + 78 + 78 + 78 + 78 + 78 + 78
2 3 4 5 16
+ (1 + 78 + 78 + 78 + 78 + 78 ) 78 )
(%o38) 5879 219307919659 4258265722427725985905367
2 3 4 5 6
(%i39) factor(1 + 80 + 80 + 80 + 80 + 80 + 80
2 3 4 5 16
+ (1 + 80 + 80 + 80 + 80 + 80 ) 80 )
(%o39) 15809 49358657 146034175663 81965366498950399
2 3 4 5 6
(%i40) factor(1 + 81 + 81 + 81 + 81 + 81 + 81
2 3 4 5 16
+ (1 + 81 + 81 + 81 + 81 + 81 ) 81 )
(%o40) 709 1021 16745898366049386008361251340024157
2 3 4 5 6
(%i41) factor(1 + 83 + 83 + 83 + 83 + 83 + 83
2 3 4 5 16
+ (1 + 83 + 83 + 83 + 83 + 83 ) 83 )
(%o41) 10709 1888666431208700221424736632144166893
2 3 4 5 6
(%i42) factor(1 + 84 + 84 + 84 + 84 + 84 + 84
2 3 4 5 16
+ (1 + 84 + 84 + 84 + 84 + 84 ) 84 )
(%o42) 1091488007 2911001170547 8184739336224288769
2 3 4 5 6
(%i43) factor(1 + 86 + 86 + 86 + 86 + 86 + 86
2 3 4 5 16
+ (1 + 86 + 86 + 86 + 86 + 86 ) 86 )
(%o43) 53 97 4257795857474431 1946769630611135699273
2 3 4 5 6
(%i44) factor(1 + 88 + 88 + 88 + 88 + 88 + 88
2 3 4 5 16
+ (1 + 88 + 88 + 88 + 88 + 88 ) 88 )
(%o44) 710960053 97107849182458403662552294556629
2 3 4 5 6
(%i45) factor(1 + 89 + 89 + 89 + 89 + 89 + 89
2 3 4 5 16
+ (1 + 89 + 89 + 89 + 89 + 89 ) 89 )
(%o45) 76463 35071040691209 32636042302066586302603
2 3 4 5 6
(%i46) factor(1 + 90 + 90 + 90 + 90 + 90 + 90
2 3 4 5 16
+ (1 + 90 + 90 + 90 + 90 + 90 ) 90 )
(%o46) 137 197 216015733 992448464549 19123397853246107
2 3 4 5 6
(%i47) factor(1 + 91 + 91 + 91 + 91 + 91 + 91
2 3 4 5 16
+ (1 + 91 + 91 + 91 + 91 + 91 ) 91 )
(%o47) 33457 70207 107791 551084515901532093483344977
2 3 4 5 6
(%i48) factor(1 + 95 + 95 + 95 + 95 + 95 + 95
2 3 4 5 16
+ (1 + 95 + 95 + 95 + 95 + 95 ) 95 )
(%o48) 89 325785009196637 11870536820776573332294397
2 3 4 5 6
(%i49) factor(1 + 96 + 96 + 96 + 96 + 96 + 96
2 3 4 5 16
+ (1 + 96 + 96 + 96 + 96 + 96 ) 96 )
(%o49) 239305007 1791809092546337792558609934004079
2 3 4 5 6
(%i50) factor(1 + 100 + 100 + 100 + 100 + 100 + 100
2 3 4 5 16
+ (1 + 100 + 100 + 100 + 100 + 100 ) 100 )
(%o50) 751 1345008002796271637816245006659134621851
(%o50) a.bat
(%i51)
b.txtに追加されるものは
89,6
37,24
197,26
449,28
227,31
103,35
113,35
71,39
449,43
37,61
139,65
137,68
179,73
709,81
53,86
97,86
137,90
197,90
89,95
751,100
$gcc -Wall Autohajiku.c -o Autohajiku
$./Autohajiku
5n+2
71n+3
11n+5
97n+5
167n+5
89n+5
5n+7
13n+7
701n+7
17n+8
307n+8
491n+9
809n+9
29n+11
5n+12
43n+12
163n+12
13n+14
11n+16
5n+17
41n+17
811n+19
89n+6
37n+24
197n+26
449n+28
227n+31
103n+35
113n+35
71n+39
449n+43
37n+61
139n+65
137n+68
179n+73
709n+81
53n+86
97n+86
137n+90
197n+90
89n+95
751n+100
b.txt read! 42 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
100=751x0+100
!!! 101 !!!
102=5x20+2
102=97x1+5
102=5x19+7
102=5x18+12
102=5x17+17
!!! 103 !!!
104=11x9+5
104=11x8+16
105=13x7+14
!!! 106 !!!
107=5x21+2
107=5x20+7
107=5x19+12
107=5x18+17
!!! 108 !!!
!!! 109 !!!
110=17x6+8
110=71x1+39
111=13x8+7
112=5x22+2
112=5x21+7
112=5x20+12
112=5x19+17
!!! 113 !!!
!!! 114 !!!
115=11x10+5
115=11x9+16
!!! 116 !!!
117=5x23+2
117=5x22+7
117=5x21+12
117=5x20+17
118=13x8+14
!!! 119 !!!
!!! 120 !!!
!!! 121 !!!
122=5x24+2
122=5x23+7
122=5x22+12
122=5x21+17
!!! 123 !!!
124=13x9+7
!!! 125 !!!
126=11x11+5
126=11x10+16
127=5x25+2
127=5x24+7
127=17x7+8
127=29x4+11
127=5x23+12
127=5x22+17
!!! 128 !!!
!!! 129 !!!
!!! 130 !!!
131=13x9+14
132=5x26+2
132=5x25+7
132=5x24+12
132=5x23+17
!!! 133 !!!
!!! 134 !!!
135=37x3+24
135=37x2+61
!!! 136 !!!
137=5x27+2
137=11x12+5
137=5x26+7
137=13x10+7
137=5x25+12
137=11x11+16
137=5x24+17
138=103x1+35
139=53x1+86
140=41x3+17
141=43x3+12
142=5x28+2
142=5x27+7
142=5x26+12
142=5x25+17
!!! 143 !!!
144=17x8+8
144=13x10+14
145=71x2+3
!!! 146 !!!
147=5x29+2
147=5x28+7
147=5x27+12
147=5x26+17
148=11x13+5
148=11x12+16
148=113x1+35
!!! 149 !!!
150=13x11+7
!!! 151 !!!
152=5x30+2
152=5x29+7
152=5x28+12
152=5x27+17
!!! 153 !!!
!!! 154 !!!
!!! 155 !!!
156=29x5+11
157=5x31+2
157=5x30+7
157=5x29+12
157=13x11+14
157=5x28+17
!!! 158 !!!
159=11x14+5
159=11x13+16
!!! 160 !!!
161=17x9+8
162=5x32+2
162=5x31+7
162=5x30+12
162=5x29+17
163=13x12+7
!!! 164 !!!
!!! 165 !!!
!!! 166 !!!
167=5x33+2
167=5x32+7
167=5x31+12
167=5x30+17
!!! 168 !!!
!!! 169 !!!
170=11x15+5
170=13x12+14
170=11x14+16
!!! 171 !!!
172=5x34+2
172=167x1+5
172=5x33+7
172=5x32+12
172=5x31+17
172=37x4+24
172=37x3+61
!!! 173 !!!
!!! 174 !!!
175=163x1+12
176=13x13+7
177=5x35+2
177=5x34+7
177=5x33+12
177=5x32+17
178=17x10+8
!!! 179 !!!
!!! 180 !!!
181=11x16+5
181=11x15+16
181=41x4+17
181=71x2+39
182=5x36+2
182=5x35+7
182=5x34+12
182=5x33+17
183=89x2+5
183=13x13+14
183=97x1+86
184=43x4+12
184=89x2+6
184=89x1+95
185=29x6+11
!!! 186 !!!
187=5x37+2
187=5x36+7
187=5x35+12
187=5x34+17
!!! 188 !!!
189=13x14+7
!!! 190 !!!
!!! 191 !!!
192=5x38+2
192=11x17+5
192=5x37+7
192=5x36+12
192=11x16+16
192=5x35+17
192=53x2+86
!!! 193 !!!
!!! 194 !!!
195=17x11+8
196=13x14+14
197=5x39+2
197=5x38+7
197=5x37+12
197=5x36+17
!!! 198 !!!
199=97x2+5
factor((101^5+101^4+101^3+101^2+101+1)*101^16+101^6+101^5+101^4+101^3+101^2+101+1);
factor((103^5+103^4+103^3+103^2+103+1)*103^16+103^6+103^5+103^4+103^3+103^2+103+1);
factor((106^5+106^4+106^3+106^2+106+1)*106^16+106^6+106^5+106^4+106^3+106^2+106+1);
factor((108^5+108^4+108^3+108^2+108+1)*108^16+108^6+108^5+108^4+108^3+108^2+108+1);
factor((109^5+109^4+109^3+109^2+109+1)*109^16+109^6+109^5+109^4+109^3+109^2+109+1);
factor((113^5+113^4+113^3+113^2+113+1)*113^16+113^6+113^5+113^4+113^3+113^2+113+1);
factor((114^5+114^4+114^3+114^2+114+1)*114^16+114^6+114^5+114^4+114^3+114^2+114+1);
factor((116^5+116^4+116^3+116^2+116+1)*116^16+116^6+116^5+116^4+116^3+116^2+116+1);
factor((119^5+119^4+119^3+119^2+119+1)*119^16+119^6+119^5+119^4+119^3+119^2+119+1);
factor((120^5+120^4+120^3+120^2+120+1)*120^16+120^6+120^5+120^4+120^3+120^2+120+1);
factor((121^5+121^4+121^3+121^2+121+1)*121^16+121^6+121^5+121^4+121^3+121^2+121+1);
factor((123^5+123^4+123^3+123^2+123+1)*123^16+123^6+123^5+123^4+123^3+123^2+123+1);
factor((125^5+125^4+125^3+125^2+125+1)*125^16+125^6+125^5+125^4+125^3+125^2+125+1);
factor((128^5+128^4+128^3+128^2+128+1)*128^16+128^6+128^5+128^4+128^3+128^2+128+1);
factor((129^5+129^4+129^3+129^2+129+1)*129^16+129^6+129^5+129^4+129^3+129^2+129+1);
factor((130^5+130^4+130^3+130^2+130+1)*130^16+130^6+130^5+130^4+130^3+130^2+130+1);
factor((133^5+133^4+133^3+133^2+133+1)*133^16+133^6+133^5+133^4+133^3+133^2+133+1);
factor((134^5+134^4+134^3+134^2+134+1)*134^16+134^6+134^5+134^4+134^3+134^2+134+1);
factor((136^5+136^4+136^3+136^2+136+1)*136^16+136^6+136^5+136^4+136^3+136^2+136+1);
factor((143^5+143^4+143^3+143^2+143+1)*143^16+143^6+143^5+143^4+143^3+143^2+143+1);
factor((146^5+146^4+146^3+146^2+146+1)*146^16+146^6+146^5+146^4+146^3+146^2+146+1);
factor((149^5+149^4+149^3+149^2+149+1)*149^16+149^6+149^5+149^4+149^3+149^2+149+1);
factor((151^5+151^4+151^3+151^2+151+1)*151^16+151^6+151^5+151^4+151^3+151^2+151+1);
factor((153^5+153^4+153^3+153^2+153+1)*153^16+153^6+153^5+153^4+153^3+153^2+153+1);
factor((154^5+154^4+154^3+154^2+154+1)*154^16+154^6+154^5+154^4+154^3+154^2+154+1);
factor((155^5+155^4+155^3+155^2+155+1)*155^16+155^6+155^5+155^4+155^3+155^2+155+1);
factor((158^5+158^4+158^3+158^2+158+1)*158^16+158^6+158^5+158^4+158^3+158^2+158+1);
factor((160^5+160^4+160^3+160^2+160+1)*160^16+160^6+160^5+160^4+160^3+160^2+160+1);
factor((164^5+164^4+164^3+164^2+164+1)*164^16+164^6+164^5+164^4+164^3+164^2+164+1);
factor((165^5+165^4+165^3+165^2+165+1)*165^16+165^6+165^5+165^4+165^3+165^2+165+1);
factor((166^5+166^4+166^3+166^2+166+1)*166^16+166^6+166^5+166^4+166^3+166^2+166+1);
factor((168^5+168^4+168^3+168^2+168+1)*168^16+168^6+168^5+168^4+168^3+168^2+168+1);
factor((169^5+169^4+169^3+169^2+169+1)*169^16+169^6+169^5+169^4+169^3+169^2+169+1);
factor((171^5+171^4+171^3+171^2+171+1)*171^16+171^6+171^5+171^4+171^3+171^2+171+1);
factor((173^5+173^4+173^3+173^2+173+1)*173^16+173^6+173^5+173^4+173^3+173^2+173+1);
factor((174^5+174^4+174^3+174^2+174+1)*174^16+174^6+174^5+174^4+174^3+174^2+174+1);
factor((179^5+179^4+179^3+179^2+179+1)*179^16+179^6+179^5+179^4+179^3+179^2+179+1);
factor((180^5+180^4+180^3+180^2+180+1)*180^16+180^6+180^5+180^4+180^3+180^2+180+1);
factor((186^5+186^4+186^3+186^2+186+1)*186^16+186^6+186^5+186^4+186^3+186^2+186+1);
factor((188^5+188^4+188^3+188^2+188+1)*188^16+188^6+188^5+188^4+188^3+188^2+188+1);
factor((190^5+190^4+190^3+190^2+190+1)*190^16+190^6+190^5+190^4+190^3+190^2+190+1);
factor((191^5+191^4+191^3+191^2+191+1)*191^16+191^6+191^5+191^4+191^3+191^2+191+1);
factor((193^5+193^4+193^3+193^2+193+1)*193^16+193^6+193^5+193^4+193^3+193^2+193+1);
factor((194^5+194^4+194^3+194^2+194+1)*194^16+194^6+194^5+194^4+194^3+194^2+194+1);
factor((198^5+198^4+198^3+198^2+198+1)*198^16+198^6+198^5+198^4+198^3+198^2+198+1);
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3 4 5 6
(%i2) factor(1 + 101 + 101 + 101 + 101 + 101 + 101
2 3 4 5 16
+ (1 + 101 + 101 + 101 + 101 + 101 ) 101 )
(%o2) 15569 233011576427586557 343108918173888476161
2 3 4 5 6
(%i3) factor(1 + 103 + 103 + 103 + 103 + 103 + 103
2 3 4 5 16
+ (1 + 103 + 103 + 103 + 103 + 103 ) 103 )
(%o3) 4378243 429060870715377442695045751586980459
2 3 4 5 6
(%i4) factor(1 + 106 + 106 + 106 + 106 + 106 + 106
2 3 4 5 16
+ (1 + 106 + 106 + 106 + 106 + 106 ) 106 )
(%o4) 371281 151250039 35175957721 1737383071988068457
2 3 4 5 6
(%i5) factor(1 + 108 + 108 + 108 + 108 + 108 + 108
2 3 4 5 16
+ (1 + 108 + 108 + 108 + 108 + 108 ) 108 )
(%o5) 15082800787572038597 336865742763802837991321
2 3 4 5 6
(%i6) factor(1 + 109 + 109 + 109 + 109 + 109 + 109
2 3 4 5 16
+ (1 + 109 + 109 + 109 + 109 + 109 ) 109 )
(%o6) 1721 45654589 2470717567 83344637659 381059791493
2 3 4 5 6
(%i7) factor(1 + 113 + 113 + 113 + 113 + 113 + 113
2 3 4 5 16
+ (1 + 113 + 113 + 113 + 113 + 113 ) 113 )
(%o7) 5657 238461637 272824032600319 35696070470054447
2 3 4 5 6
(%i8) factor(1 + 114 + 114 + 114 + 114 + 114 + 114
2 3 4 5 16
+ (1 + 114 + 114 + 114 + 114 + 114 ) 114 )
(%o8) 41699491 308565835162674541 1228427961708830521
2 3 4 5 6
(%i9) factor(1 + 116 + 116 + 116 + 116 + 116 + 116
2 3 4 5 16
+ (1 + 116 + 116 + 116 + 116 + 116 ) 116 )
(%o9) 1657 11681 17509 7022066696075867 9568615367313643
2 3 4 5 6
(%i10) factor(1 + 119 + 119 + 119 + 119 + 119 + 119
2 3 4 5 16
+ (1 + 119 + 119 + 119 + 119 + 119 ) 119 )
(%o10) 14628631 57269291 46454271263557829050774057781
2 3 4 5 6
(%i11) factor(1 + 120 + 120 + 120 + 120 + 120 + 120
2 3 4 5 16
+ (1 + 120 + 120 + 120 + 120 + 120 ) 120 )
(%o11) 71 10037 65099578819847394718185035593659812323
2 3 4 5 6
(%i12) factor(1 + 121 + 121 + 121 + 121 + 121 + 121
2 3 4 5 16
+ (1 + 121 + 121 + 121 + 121 + 121 ) 121 )
(%o12) 42727 7926184395783107 163053576258480267573977
2 3 4 5 6
(%i13) factor(1 + 123 + 123 + 123 + 123 + 123 + 123
2 3 4 5 16
+ (1 + 123 + 123 + 123 + 123 + 123 ) 123 )
(%o13) 77902719912974498836991998212179301406447537
素数ですね。
2 3 4 5 6
(%i14) factor(1 + 125 + 125 + 125 + 125 + 125 + 125
2 3 4 5 16
+ (1 + 125 + 125 + 125 + 125 + 125 ) 125 )
(%o14) 434849957177 771278979851 325872471142494700063
2 3 4 5 6
(%i15) factor(1 + 128 + 128 + 128 + 128 + 128 + 128
2 3 4 5 16
+ (1 + 128 + 128 + 128 + 128 + 128 ) 128 )
(%o15) 27739 236107 412594783 417389639 159422843548966337
2 3 4 5 6
(%i16) factor(1 + 129 + 129 + 129 + 129 + 129 + 129
2 3 4 5 16
+ (1 + 129 + 129 + 129 + 129 + 129 ) 129 )
(%o16) 7001 45137 11413309 58702867128756431121647747497
2 3 4 5 6
(%i17) factor(1 + 130 + 130 + 130 + 130 + 130 + 130
2 3 4 5 16
+ (1 + 130 + 130 + 130 + 130 + 130 ) 130 )
(%o17) 191 4005228449 325464317181227590972972168907809
2 3 4 5 6
(%i18) factor(1 + 133 + 133 + 133 + 133 + 133 + 133
2 3 4 5 16
+ (1 + 133 + 133 + 133 + 133 + 133 ) 133 )
(%o18) 139 19553 1378882171 107252349157972945115729526341
2 3 4 5 6
(%i19) factor(1 + 134 + 134 + 134 + 134 + 134 + 134
2 3 4 5 16
+ (1 + 134 + 134 + 134 + 134 + 134 ) 134 )
(%o19) 867533189 194719957871959613 2784564984564478243
2 3 4 5 6
(%i20) factor(1 + 136 + 136 + 136 + 136 + 136 + 136
2 3 4 5 16
+ (1 + 136 + 136 + 136 + 136 + 136 ) 136 )
(%o20) 193 1949 1706683805425399300264563281158826111069
2 3 4 5 6
(%i21) factor(1 + 143 + 143 + 143 + 143 + 143 + 143
2 3 4 5 16
+ (1 + 143 + 143 + 143 + 143 + 143 ) 143 )
(%o21) 3371 1209947587 85387370707567 5286710496287908943
2 3 4 5 6
(%i22) factor(1 + 146 + 146 + 146 + 146 + 146 + 146
2 3 4 5 16
+ (1 + 146 + 146 + 146 + 146 + 146 ) 146 )
(%o22) 2393 10645277 31144643 17900573311 200467909756593551
2 3 4 5 6
(%i23) factor(1 + 149 + 149 + 149 + 149 + 149 + 149
2 3 4 5 16
+ (1 + 149 + 149 + 149 + 149 + 149 ) 149 )
(%o23) 1087 1205081 3331120985292112843291323393242371883
2 3 4 5 6
(%i24) factor(1 + 151 + 151 + 151 + 151 + 151 + 151
2 3 4 5 16
+ (1 + 151 + 151 + 151 + 151 + 151 ) 151 )
(%o24) 25951 805027 22036849 12539711400036286516038586981
2 3 4 5 6
(%i25) factor(1 + 153 + 153 + 153 + 153 + 153 + 153
2 3 4 5 16
+ (1 + 153 + 153 + 153 + 153 + 153 ) 153 )
(%o25) 79 5233 18407298879271560817266804959852418687091
2 3 4 5 6
(%i26) factor(1 + 154 + 154 + 154 + 154 + 154 + 154
2 3 4 5 16
+ (1 + 154 + 154 + 154 + 154 + 154 ) 154 )
(%o26) 356591 539397853 2588749390222603 17522449890472679
2 3 4 5 6
(%i27) factor(1 + 155 + 155 + 155 + 155 + 155 + 155
2 3 4 5 16
+ (1 + 155 + 155 + 155 + 155 + 155 ) 155 )
(%o27) 7879999 1268383186745669339236219555148381346319
2 3 4 5 6
(%i28) factor(1 + 158 + 158 + 158 + 158 + 158 + 158
2 3 4 5 16
+ (1 + 158 + 158 + 158 + 158 + 158 ) 158 )
(%o28) 19669259 130300464589 2968917242251 1964374127250287
2 3 4 5 6
(%i29) factor(1 + 160 + 160 + 160 + 160 + 160 + 160
2 3 4 5 16
+ (1 + 160 + 160 + 160 + 160 + 160 ) 160 )
(%o29) 193 5749 737651081 307108635983353 77437239751998461
2 3 4 5 6
(%i30) factor(1 + 164 + 164 + 164 + 164 + 164 + 164
2 3 4 5 16
+ (1 + 164 + 164 + 164 + 164 + 164 ) 164 )
(%o30) 131909 247800754669826136466808286961307531093489
2 3 4 5 6
(%i31) factor(1 + 165 + 165 + 165 + 165 + 165 + 165
2 3 4 5 16
+ (1 + 165 + 165 + 165 + 165 + 165 ) 165 )
(%o31) 37136667106860732924292042505207623146469120141
素数ですね。
2 3 4 5 6
(%i32) factor(1 + 166 + 166 + 166 + 166 + 166 + 166
2 3 4 5 16
+ (1 + 166 + 166 + 166 + 166 + 166 ) 166 )
(%o32) 761 334991 3262673 50687707291153281161493606091541
2 3 4 5 6
(%i33) factor(1 + 168 + 168 + 168 + 168 + 168 + 168
2 3 4 5 16
+ (1 + 168 + 168 + 168 + 168 + 168 ) 168 )
(%o33) 1156432172807 65723758776937 713255564068947570743
2 3 4 5 6
(%i34) factor(1 + 169 + 169 + 169 + 169 + 169 + 169
2 3 4 5 16
+ (1 + 169 + 169 + 169 + 169 + 169 ) 169 )
(%o34) 191 1739417 4497377 41096217167877893708855601387179
2 3 4 5 6
(%i35) factor(1 + 171 + 171 + 171 + 171 + 171 + 171
2 3 4 5 16
+ (1 + 171 + 171 + 171 + 171 + 171 ) 171 )
(%o35) 191 8439618071 48765125543455821579377435477232073
2 3 4 5 6
(%i36) factor(1 + 173 + 173 + 173 + 173 + 173 + 173
2 3 4 5 16
+ (1 + 173 + 173 + 173 + 173 + 173 ) 173 )
(%o36) 141647899 708395322199286495983658398667623000663
2 3 4 5 6
(%i37) factor(1 + 174 + 174 + 174 + 174 + 174 + 174
2 3 4 5 16
+ (1 + 174 + 174 + 174 + 174 + 174 ) 174 )
(%o37) 113249777931307943719204487070442675796451356251
素数ですね。
2 3 4 5 6
(%i38) factor(1 + 179 + 179 + 179 + 179 + 179 + 179
2 3 4 5 16
+ (1 + 179 + 179 + 179 + 179 + 179 ) 179 )
(%o38) 12751016347 16099110331567856703750081394259291683
2 3 4 5 6
(%i39) factor(1 + 180 + 180 + 180 + 180 + 180 + 180
2 3 4 5 16
+ (1 + 180 + 180 + 180 + 180 + 180 ) 180 )
(%o39) 811 1907 62581 236136227 10096373672421511842458340619
2 3 4 5 6
(%i40) factor(1 + 186 + 186 + 186 + 186 + 186 + 186
2 3 4 5 16
+ (1 + 186 + 186 + 186 + 186 + 186 ) 186 )
(%o40) 1901 31648231 7634515614700049310035935102204499093
2 3 4 5 6
(%i41) factor(1 + 188 + 188 + 188 + 188 + 188 + 188
2 3 4 5 16
+ (1 + 188 + 188 + 188 + 188 + 188 ) 188 )
(%o41) 151 1063536416662088311 3580154466353509257143679517
2 3 4 5 6
(%i42) factor(1 + 190 + 190 + 190 + 190 + 190 + 190
2 3 4 5 16
+ (1 + 190 + 190 + 190 + 190 + 190 ) 190 )
(%o42) 4481 73407140407 758255932418399 2878646587827035827
2 3 4 5 6
(%i43) factor(1 + 191 + 191 + 191 + 191 + 191 + 191
2 3 4 5 16
+ (1 + 191 + 191 + 191 + 191 + 191 ) 191 )
(%o43) 71 414937941903290497 27210654076740867777570549239
2 3 4 5 6
(%i44) factor(1 + 193 + 193 + 193 + 193 + 193 + 193
2 3 4 5 16
+ (1 + 193 + 193 + 193 + 193 + 193 ) 193 )
(%o44) 8527 116993923714813493981702641062796643213448931
2 3 4 5 6
(%i45) factor(1 + 194 + 194 + 194 + 194 + 194 + 194
2 3 4 5 16
+ (1 + 194 + 194 + 194 + 194 + 194 ) 194 )
(%o45) 499 68135077 32704646011604151286360789464387056737
2 3 4 5 6
(%i46) factor(1 + 198 + 198 + 198 + 198 + 198 + 198
2 3 4 5 16
+ (1 + 198 + 198 + 198 + 198 + 198 ) 198 )
(%o46) 12149 140484182158917756575262881819831355752558663
(%o46) a.bat
(%i47)
b.txtに追加されるものは
71,120
193,160
761,166
191,169
191,171
811,180
151,188
71,191
499,194
$gcc -Wall Autohajiku.c -o Autohajiku
$./Autohajiku
5n+2
71n+3
11n+5
97n+5
167n+5
89n+5
5n+7
13n+7
701n+7
17n+8
307n+8
491n+9
809n+9
29n+11
5n+12
43n+12
163n+12
13n+14
11n+16
5n+17
41n+17
811n+19
89n+6
37n+24
197n+26
449n+28
227n+31
103n+35
113n+35
71n+39
449n+43
37n+61
139n+65
137n+68
179n+73
709n+81
53n+86
97n+86
137n+90
197n+90
89n+95
751n+100
71n+120
193n+160
761n+166
191n+169
191n+171
811n+180
151n+188
71n+191
499n+194
b.txt read! 51 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
!!! 200 !!!
!!! 201 !!!
202=5x40+2
202=5x39+7
202=13x15+7
202=5x38+12
202=5x37+17
203=11x18+5
203=11x17+16
204=139x1+65
205=137x1+68
!!! 206 !!!
207=5x41+2
207=5x40+7
207=5x39+12
207=5x38+17
!!! 208 !!!
209=13x15+14
209=37x5+24
209=37x4+61
!!! 210 !!!
!!! 211 !!!
212=5x42+2
212=5x41+7
212=17x12+8
212=5x40+12
212=5x39+17
!!! 213 !!!
214=11x19+5
214=29x7+11
214=11x18+16
215=13x16+7
216=71x3+3
217=5x43+2
217=5x42+7
217=5x41+12
217=5x40+17
!!! 218 !!!
!!! 219 !!!
!!! 220 !!!
!!! 221 !!!
222=5x44+2
222=5x43+7
222=5x42+12
222=13x16+14
222=5x41+17
222=41x5+17
223=197x1+26
!!! 224 !!!
225=11x20+5
225=11x19+16
!!! 226 !!!
227=5x45+2
227=5x44+7
227=5x43+12
227=43x5+12
227=5x42+17
227=137x1+90
228=13x17+7
229=17x13+8
!!! 230 !!!
!!! 231 !!!
232=5x46+2
232=5x45+7
232=5x44+12
232=5x43+17
!!! 233 !!!
!!! 234 !!!
235=13x17+14
236=11x21+5
236=11x20+16
237=5x47+2
237=5x46+7
237=5x45+12
237=5x44+17
!!! 238 !!!
!!! 239 !!!
!!! 240 !!!
241=13x18+7
241=103x2+35
242=5x48+2
242=5x47+7
242=5x46+12
242=5x45+17
243=29x8+11
!!! 244 !!!
245=53x3+86
246=17x14+8
246=37x6+24
246=37x5+61
247=5x49+2
247=11x22+5
247=5x48+7
247=5x47+12
247=11x21+16
247=5x46+17
248=13x18+14
!!! 249 !!!
!!! 250 !!!
!!! 251 !!!
252=5x50+2
252=5x49+7
252=5x48+12
252=5x47+17
252=71x3+39
252=179x1+73
!!! 253 !!!
254=13x19+7
!!! 255 !!!
!!! 256 !!!
257=5x51+2
257=5x50+7
257=5x49+12
257=5x48+17
258=11x23+5
258=11x22+16
258=227x1+31
!!! 259 !!!
!!! 260 !!!
261=13x19+14
261=113x2+35
262=5x52+2
262=5x51+7
262=5x50+12
262=5x49+17
262=71x2+120
262=71x1+191
263=17x15+8
263=41x6+17
!!! 264 !!!
!!! 265 !!!
!!! 266 !!!
267=5x53+2
267=5x52+7
267=13x20+7
267=5x51+12
267=5x50+17
!!! 268 !!!
269=11x24+5
269=11x23+16
270=43x6+12
!!! 271 !!!
272=5x54+2
272=89x3+5
272=5x53+7
272=29x9+11
272=5x52+12
272=5x51+17
273=89x3+6
273=89x2+95
274=13x20+14
!!! 275 !!!
!!! 276 !!!
277=5x55+2
277=5x54+7
277=5x53+12
277=5x52+17
!!! 278 !!!
!!! 279 !!!
280=11x25+5
280=13x21+7
280=17x16+8
280=11x24+16
280=97x2+86
!!! 281 !!!
282=5x56+2
282=5x55+7
282=5x54+12
282=5x53+17
283=37x7+24
283=37x6+61
!!! 284 !!!
!!! 285 !!!
!!! 286 !!!
287=5x57+2
287=71x4+3
287=5x56+7
287=5x55+12
287=13x21+14
287=5x54+17
287=197x1+90
!!! 288 !!!
!!! 289 !!!
!!! 290 !!!
291=11x26+5
291=11x25+16
292=5x58+2
292=5x57+7
292=5x56+12
292=5x55+17
293=13x22+7
!!! 294 !!!
!!! 295 !!!
296=97x3+5
297=5x59+2
297=5x58+7
297=17x17+8
297=5x57+12
297=5x56+17
298=53x4+86
!!! 299 !!!
factor((200^5+200^4+200^3+200^2+200+1)*200^16+200^6+200^5+200^4+200^3+200^2+200+1);
factor((201^5+201^4+201^3+201^2+201+1)*201^16+201^6+201^5+201^4+201^3+201^2+201+1);
factor((206^5+206^4+206^3+206^2+206+1)*206^16+206^6+206^5+206^4+206^3+206^2+206+1);
factor((208^5+208^4+208^3+208^2+208+1)*208^16+208^6+208^5+208^4+208^3+208^2+208+1);
factor((210^5+210^4+210^3+210^2+210+1)*210^16+210^6+210^5+210^4+210^3+210^2+210+1);
factor((211^5+211^4+211^3+211^2+211+1)*211^16+211^6+211^5+211^4+211^3+211^2+211+1);
factor((213^5+213^4+213^3+213^2+213+1)*213^16+213^6+213^5+213^4+213^3+213^2+213+1);
factor((218^5+218^4+218^3+218^2+218+1)*218^16+218^6+218^5+218^4+218^3+218^2+218+1);
factor((219^5+219^4+219^3+219^2+219+1)*219^16+219^6+219^5+219^4+219^3+219^2+219+1);
factor((220^5+220^4+220^3+220^2+220+1)*220^16+220^6+220^5+220^4+220^3+220^2+220+1);
factor((221^5+221^4+221^3+221^2+221+1)*221^16+221^6+221^5+221^4+221^3+221^2+221+1);
factor((224^5+224^4+224^3+224^2+224+1)*224^16+224^6+224^5+224^4+224^3+224^2+224+1);
factor((226^5+226^4+226^3+226^2+226+1)*226^16+226^6+226^5+226^4+226^3+226^2+226+1);
factor((230^5+230^4+230^3+230^2+230+1)*230^16+230^6+230^5+230^4+230^3+230^2+230+1);
factor((231^5+231^4+231^3+231^2+231+1)*231^16+231^6+231^5+231^4+231^3+231^2+231+1);
factor((233^5+233^4+233^3+233^2+233+1)*233^16+233^6+233^5+233^4+233^3+233^2+233+1);
factor((234^5+234^4+234^3+234^2+234+1)*234^16+234^6+234^5+234^4+234^3+234^2+234+1);
factor((238^5+238^4+238^3+238^2+238+1)*238^16+238^6+238^5+238^4+238^3+238^2+238+1);
factor((239^5+239^4+239^3+239^2+239+1)*239^16+239^6+239^5+239^4+239^3+239^2+239+1);
factor((240^5+240^4+240^3+240^2+240+1)*240^16+240^6+240^5+240^4+240^3+240^2+240+1);
factor((244^5+244^4+244^3+244^2+244+1)*244^16+244^6+244^5+244^4+244^3+244^2+244+1);
factor((249^5+249^4+249^3+249^2+249+1)*249^16+249^6+249^5+249^4+249^3+249^2+249+1);
factor((250^5+250^4+250^3+250^2+250+1)*250^16+250^6+250^5+250^4+250^3+250^2+250+1);
factor((251^5+251^4+251^3+251^2+251+1)*251^16+251^6+251^5+251^4+251^3+251^2+251+1);
factor((253^5+253^4+253^3+253^2+253+1)*253^16+253^6+253^5+253^4+253^3+253^2+253+1);
factor((255^5+255^4+255^3+255^2+255+1)*255^16+255^6+255^5+255^4+255^3+255^2+255+1);
factor((256^5+256^4+256^3+256^2+256+1)*256^16+256^6+256^5+256^4+256^3+256^2+256+1);
factor((259^5+259^4+259^3+259^2+259+1)*259^16+259^6+259^5+259^4+259^3+259^2+259+1);
factor((260^5+260^4+260^3+260^2+260+1)*260^16+260^6+260^5+260^4+260^3+260^2+260+1);
factor((264^5+264^4+264^3+264^2+264+1)*264^16+264^6+264^5+264^4+264^3+264^2+264+1);
factor((265^5+265^4+265^3+265^2+265+1)*265^16+265^6+265^5+265^4+265^3+265^2+265+1);
factor((266^5+266^4+266^3+266^2+266+1)*266^16+266^6+266^5+266^4+266^3+266^2+266+1);
factor((268^5+268^4+268^3+268^2+268+1)*268^16+268^6+268^5+268^4+268^3+268^2+268+1);
factor((271^5+271^4+271^3+271^2+271+1)*271^16+271^6+271^5+271^4+271^3+271^2+271+1);
factor((275^5+275^4+275^3+275^2+275+1)*275^16+275^6+275^5+275^4+275^3+275^2+275+1);
factor((276^5+276^4+276^3+276^2+276+1)*276^16+276^6+276^5+276^4+276^3+276^2+276+1);
factor((278^5+278^4+278^3+278^2+278+1)*278^16+278^6+278^5+278^4+278^3+278^2+278+1);
factor((279^5+279^4+279^3+279^2+279+1)*279^16+279^6+279^5+279^4+279^3+279^2+279+1);
factor((281^5+281^4+281^3+281^2+281+1)*281^16+281^6+281^5+281^4+281^3+281^2+281+1);
factor((284^5+284^4+284^3+284^2+284+1)*284^16+284^6+284^5+284^4+284^3+284^2+284+1);
factor((285^5+285^4+285^3+285^2+285+1)*285^16+285^6+285^5+285^4+285^3+285^2+285+1);
factor((286^5+286^4+286^3+286^2+286+1)*286^16+286^6+286^5+286^4+286^3+286^2+286+1);
factor((288^5+288^4+288^3+288^2+288+1)*288^16+288^6+288^5+288^4+288^3+288^2+288+1);
factor((289^5+289^4+289^3+289^2+289+1)*289^16+289^6+289^5+289^4+289^3+289^2+289+1);
factor((290^5+290^4+290^3+290^2+290+1)*290^16+290^6+290^5+290^4+290^3+290^2+290+1);
factor((294^5+294^4+294^3+294^2+294+1)*294^16+294^6+294^5+294^4+294^3+294^2+294+1);
factor((295^5+295^4+295^3+295^2+295+1)*295^16+295^6+295^5+295^4+295^3+295^2+295+1);
factor((299^5+299^4+299^3+299^2+299+1)*299^16+299^6+299^5+299^4+299^3+299^2+299+1);
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3 4 5 6
(%i2) factor(1 + 200 + 200 + 200 + 200 + 200 + 200
2 3 4 5 16
+ (1 + 200 + 200 + 200 + 200 + 200 ) 200 )
(%o2) 389 35066006612423714104421 154515096161118675610129
2 3 4 5 6
(%i3) factor(1 + 201 + 201 + 201 + 201 + 201 + 201
2 3 4 5 16
+ (1 + 201 + 201 + 201 + 201 + 201 ) 201 )
(%o3) 17467 1389173 352773457429423 273408940587079720274741
2 3 4 5 6
(%i4) factor(1 + 206 + 206 + 206 + 206 + 206 + 206
2 3 4 5 16
+ (1 + 206 + 206 + 206 + 206 + 206 ) 206 )
(%o4) 23819 589163 279361142224267847119797121084506059059
2 3 4 5 6
(%i5) factor(1 + 208 + 208 + 208 + 208 + 208 + 208
2 3 4 5 16
+ (1 + 208 + 208 + 208 + 208 + 208 ) 208 )
(%o5) 379 1867 3413 1988397495863499977802791407966011163493
2 3 4 5 6
(%i6) factor(1 + 210 + 210 + 210 + 210 + 210 + 210
2 3 4 5 16
+ (1 + 210 + 210 + 210 + 210 + 210 ) 210 )
(%o6) 21166346015919212181571 277352641584009718500167941
2 3 4 5 6
(%i7) factor(1 + 211 + 211 + 211 + 211 + 211 + 211
2 3 4 5 16
+ (1 + 211 + 211 + 211 + 211 + 211 ) 211 )
(%o7) 240238705492238924131 26999252643674133641289783643
2 3 4 5 6
(%i8) factor(1 + 213 + 213 + 213 + 213 + 213 + 213
2 3 4 5 16
+ (1 + 213 + 213 + 213 + 213 + 213 ) 213 )
(%o8) 353986159 22337220609175567724908194115355115111043
2 3 4 5 6
(%i9) factor(1 + 218 + 218 + 218 + 218 + 218 + 218
2 3 4 5 16
+ (1 + 218 + 218 + 218 + 218 + 218 ) 218 )
(%o9) 12870135682654967654351192631337294193245761668887
素数ですね。
2 3 4 5 6
(%i10) factor(1 + 219 + 219 + 219 + 219 + 219 + 219
2 3 4 5 16
+ (1 + 219 + 219 + 219 + 219 + 219 ) 219 )
(%o10) 1320833488337098867 10726695721763161220060151056203
2 3 4 5 6
(%i11) factor(1 + 220 + 220 + 220 + 220 + 220 + 220
2 3 4 5 16
+ (1 + 220 + 220 + 220 + 220 + 220 ) 220 )
(%o11) 1193 12713 1027936701928277619319451522065885664613469
2 3 4 5 6
(%i12) factor(1 + 221 + 221 + 221 + 221 + 221 + 221
2 3 4 5 16
+ (1 + 221 + 221 + 221 + 221 + 221 ) 221 )
(%o12) 46757 652121 8255449 110895999553 614293524764274036217
2 3 4 5 6
(%i13) factor(1 + 224 + 224 + 224 + 224 + 224 + 224
2 3 4 5 16
+ (1 + 224 + 224 + 224 + 224 + 224 ) 224 )
(%o13) 523 5470212603948240159871 7955100041268043057307197
2 3 4 5 6
(%i14) factor(1 + 226 + 226 + 226 + 226 + 226 + 226
2 3 4 5 16
+ (1 + 226 + 226 + 226 + 226 + 226 ) 226 )
(%o14) 293123 1163084341751 80452961878128817606665685209331
2 3 4 5 6
(%i15) factor(1 + 230 + 230 + 230 + 230 + 230 + 230
2 3 4 5 16
+ (1 + 230 + 230 + 230 + 230 + 230 ) 230 )
(%o15) 233 3527 474811 1036685235763 1090383506411 89881139683367
2 3 4 5 6
(%i16) factor(1 + 231 + 231 + 231 + 231 + 231 + 231
2 3 4 5 16
+ (1 + 231 + 231 + 231 + 231 + 231 ) 231 )
(%o16) 193 2594831021 86710028976836693133153635185618779941
2 3 4 5 6
(%i17) factor(1 + 233 + 233 + 233 + 233 + 233 + 233
2 3 4 5 16
+ (1 + 233 + 233 + 233 + 233 + 233 ) 233 )
(%o17) 2097727 24808088904267712181617036592292510944277331
2 3 4 5 6
(%i18) factor(1 + 234 + 234 + 234 + 234 + 234 + 234
2 3 4 5 16
+ (1 + 234 + 234 + 234 + 234 + 234 ) 234 )
(%o18) 281 1793579 1310450637371 86207578308265410737576492519
2 3 4 5 6
(%i19) factor(1 + 238 + 238 + 238 + 238 + 238 + 238
2 3 4 5 16
+ (1 + 238 + 238 + 238 + 238 + 238 ) 238 )
(%o19) 167 33329 1455847 10029752561046841800393060853695178747
2 3 4 5 6
(%i20) factor(1 + 239 + 239 + 239 + 239 + 239 + 239
2 3 4 5 16
+ (1 + 239 + 239 + 239 + 239 + 239 ) 239 )
(%o20) 1107173 264980675003644759 302515182269273870385252443
2 3 4 5 6
(%i21) factor(1 + 240 + 240 + 240 + 240 + 240 + 240
2 3 4 5 16
+ (1 + 240 + 240 + 240 + 240 + 240 ) 240 )
(%o21) 8808767917002587864591 10998519999216050516144074751
2 3 4 5 6
(%i22) factor(1 + 244 + 244 + 244 + 244 + 244 + 244
2 3 4 5 16
+ (1 + 244 + 244 + 244 + 244 + 244 ) 244 )
(%o22) 139 349 337318559856134413 8377017855827269352465138407
2 3 4 5 6
(%i23) factor(1 + 249 + 249 + 249 + 249 + 249 + 249
2 3 4 5 16
+ (1 + 249 + 249 + 249 + 249 + 249 ) 249 )
(%o23) 18367 3217341133 3551392048066516210974043541899277791
2 3 4 5 6
(%i24) factor(1 + 250 + 250 + 250 + 250 + 250 + 250
2 3 4 5 16
+ (1 + 250 + 250 + 250 + 250 + 250 ) 250 )
(%o24) 9296803 14483022779 52176420690571 32494788791418005813
2 3 4 5 6
(%i25) factor(1 + 251 + 251 + 251 + 251 + 251 + 251
2 3 4 5 16
+ (1 + 251 + 251 + 251 + 251 + 251 ) 251 )
(%o25) 34897 57487 68090960701693 1817333630536245199234228219
2 3 4 5 6
(%i26) factor(1 + 253 + 253 + 253 + 253 + 253 + 253
2 3 4 5 16
+ (1 + 253 + 253 + 253 + 253 + 253 ) 253 )
(%o26) 30378452887 102994386250051 93728511222648519076739401
2 3 4 5 6
(%i27) factor(1 + 255 + 255 + 255 + 255 + 255 + 255
2 3 4 5 16
+ (1 + 255 + 255 + 255 + 255 + 255 ) 255 )
(%o27) 1245626999 277755226591027064553661026950585765115719
2 3 4 5 6
(%i28) factor(1 + 256 + 256 + 256 + 256 + 256 + 256
2 3 4 5 16
+ (1 + 256 + 256 + 256 + 256 + 256 ) 256 )
(%o28) 67 997 2468729 2277695567876630616181480459447463141063
2 3 4 5 6
(%i29) factor(1 + 259 + 259 + 259 + 259 + 259 + 259
2 3 4 5 16
+ (1 + 259 + 259 + 259 + 259 + 259 ) 259 )
(%o29) 2089 663911291 41919276331993 8251118655089310710675843
2 3 4 5 6
(%i30) factor(1 + 260 + 260 + 260 + 260 + 260 + 260
2 3 4 5 16
+ (1 + 260 + 260 + 260 + 260 + 260 ) 260 )
(%o30) 853 7537 80903320163076163296072649403692290415366801
2 3 4 5 6
(%i31) factor(1 + 264 + 264 + 264 + 264 + 264 + 264
2 3 4 5 16
+ (1 + 264 + 264 + 264 + 264 + 264 ) 264 )
(%o31) 716688841302317000530364601988261716990443539293001
素数ですね。
2 3 4 5 6
(%i32) factor(1 + 265 + 265 + 265 + 265 + 265 + 265
2 3 4 5 16
+ (1 + 265 + 265 + 265 + 265 + 265 ) 265 )
(%o32) 5983699 129668820614009822996737186851436792470282559
2 3 4 5 6
(%i33) factor(1 + 266 + 266 + 266 + 266 + 266 + 266
2 3 4 5 16
+ (1 + 266 + 266 + 266 + 266 + 266 ) 266 )
(%o33) 839750230935110719015589664272744335260764433212743
素数ですね。
2 3 4 5 6
(%i34) factor(1 + 268 + 268 + 268 + 268 + 268 + 268
2 3 4 5 16
+ (1 + 268 + 268 + 268 + 268 + 268 ) 268 )
(%o34) 1993 493113518355952350329131589781023891092458289909
2 3 4 5 6
(%i35) factor(1 + 271 + 271 + 271 + 271 + 271 + 271
2 3 4 5 16
+ (1 + 271 + 271 + 271 + 271 + 271 ) 271 )
(%o35) 1241539767983312651193833856855080705471309507089153
素数ですね。
2 3 4 5 6
(%i36) factor(1 + 275 + 275 + 275 + 275 + 275 + 275
2 3 4 5 16
+ (1 + 275 + 275 + 275 + 275 + 275 ) 275 )
(%o36) 853 1619 1222848968422937545034477871660673450314529343
2 3 4 5 6
(%i37) factor(1 + 276 + 276 + 276 + 276 + 276 + 276
2 3 4 5 16
+ (1 + 276 + 276 + 276 + 276 + 276 ) 276 )
(%o37) 27350131 11994013887575333 5555755865073381427402145531
2 3 4 5 6
(%i38) factor(1 + 278 + 278 + 278 + 278 + 278 + 278
2 3 4 5 16
+ (1 + 278 + 278 + 278 + 278 + 278 ) 278 )
(%o38) 3543339407 32731678150427 18286252604738456748725953783
2 3 4 5 6
(%i39) factor(1 + 279 + 279 + 279 + 279 + 279 + 279
2 3 4 5 16
+ (1 + 279 + 279 + 279 + 279 + 279 ) 279 )
(%o39) 1667 882070408103930521037 1555280846948717504318064919
2 3 4 5 6
(%i40) factor(1 + 281 + 281 + 281 + 281 + 281 + 281
2 3 4 5 16
+ (1 + 281 + 281 + 281 + 281 + 281 ) 281 )
(%o40) 25111 13622272752239750903989 7767252558468716428487887
2 3 4 5 6
(%i41) factor(1 + 284 + 284 + 284 + 284 + 284 + 284
2 3 4 5 16
+ (1 + 284 + 284 + 284 + 284 + 284 ) 284 )
(%o41) 3320603684923050154523985232220611971828192098635501
素数ですね。
2 3 4 5 6
(%i42) factor(1 + 285 + 285 + 285 + 285 + 285 + 285
2 3 4 5 16
+ (1 + 285 + 285 + 285 + 285 + 285 ) 285 )
(%o42) 9749 13720623109073 26726043741123811384323894647149993
2 3 4 5 6
(%i43) factor(1 + 286 + 286 + 286 + 286 + 286 + 286
2 3 4 5 16
+ (1 + 286 + 286 + 286 + 286 + 286 ) 286 )
(%o43) 1097 2969 70675301 321680191171 408657255719 127156874493619
2 3 4 5 6
(%i44) factor(1 + 288 + 288 + 288 + 288 + 288 + 288
2 3 4 5 16
+ (1 + 288 + 288 + 288 + 288 + 288 ) 288 )
(%o44) 42223 105488167185835016624986630883216401239470036719
2 3 4 5 6
(%i45) factor(1 + 289 + 289 + 289 + 289 + 289 + 289
2 3 4 5 16
+ (1 + 289 + 289 + 289 + 289 + 289 ) 289 )
(%o45) 1839559 17294413670770313739713 150570706649802463507403
2 3 4 5 6
(%i46) factor(1 + 290 + 290 + 290 + 290 + 290 + 290
2 3 4 5 16
+ (1 + 290 + 290 + 290 + 290 + 290 ) 290 )
(%o46) 4177 211979 3431759 2138838525664151 792512310716271984053
2 3 4 5 6
(%i47) factor(1 + 294 + 294 + 294 + 294 + 294 + 294
2 3 4 5 16
+ (1 + 294 + 294 + 294 + 294 + 294 ) 294 )
(%o47) 5490691517 1250681149835487495564473934269224086001103
2 3 4 5 6
(%i48) factor(1 + 295 + 295 + 295 + 295 + 295 + 295
2 3 4 5 16
+ (1 + 295 + 295 + 295 + 295 + 295 ) 295 )
(%o48) 449 2927 580247797 183229627969 52778708355496393838629939
2 3 4 5 6
(%i49) factor(1 + 299 + 299 + 299 + 299 + 299 + 299
2 3 4 5 16
+ (1 + 299 + 299 + 299 + 299 + 299 ) 299 )
(%o49) 20203732693 484304233211166202716430878400162129880557
(%o49) a.bat
(%i50)
b.txtに追加されるものは
389,200
379,208
523,224
233,230
193,231
281,234
167,238
139,244
349,244
67,256
997,256
853,260
853,275
449,295
$gcc -Wall Autohajiku.c -o Autohajiku
$./Autohajiku
5n+2
71n+3
11n+5
97n+5
167n+5
89n+5
5n+7
13n+7
701n+7
17n+8
307n+8
491n+9
809n+9
29n+11
5n+12
43n+12
163n+12
13n+14
11n+16
5n+17
41n+17
811n+19
89n+6
37n+24
197n+26
449n+28
227n+31
103n+35
113n+35
71n+39
449n+43
37n+61
139n+65
137n+68
179n+73
709n+81
53n+86
97n+86
137n+90
197n+90
89n+95
751n+100
71n+120
193n+160
761n+166
191n+169
191n+171
811n+180
151n+188
71n+191
499n+194
389n+200
379n+208
523n+224
233n+230
193n+231
281n+234
167n+238
139n+244
349n+244
67n+256
997n+256
853n+260
853n+275
449n+295
b.txt read! 65 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
300=13x22+14
301=29x10+11
302=5x60+2
302=11x27+5
302=5x59+7
302=5x58+12
302=11x26+16
302=5x57+17
!!! 303 !!!
304=41x7+17
!!! 305 !!!
306=13x23+7
307=5x61+2
307=5x60+7
307=5x59+12
307=5x58+17
!!! 308 !!!
!!! 309 !!!
!!! 310 !!!
!!! 311 !!!
312=5x62+2
312=5x61+7
312=5x60+12
312=5x59+17
313=11x28+5
313=43x7+12
313=13x23+14
313=11x27+16
314=17x18+8
315=307x1+8
!!! 316 !!!
317=5x63+2
317=5x62+7
317=5x61+12
317=5x60+17
!!! 318 !!!
319=13x24+7
320=37x8+24
320=37x7+61
!!! 321 !!!
322=5x64+2
322=5x63+7
322=5x62+12
322=5x61+17
323=71x4+39
323=67x1+256
324=11x29+5
324=11x28+16
!!! 325 !!!
326=13x24+14
327=5x65+2
327=5x64+7
327=5x63+12
327=5x62+17
!!! 328 !!!
!!! 329 !!!
330=29x11+11
331=17x19+8
332=5x66+2
332=5x65+7
332=13x25+7
332=5x64+12
332=5x63+17
333=71x3+120
333=71x2+191
!!! 334 !!!
335=11x30+5
335=11x29+16
!!! 336 !!!
337=5x67+2
337=5x66+7
337=5x65+12
337=5x64+17
338=163x2+12
339=167x2+5
339=13x25+14
339=151x1+188
!!! 340 !!!
!!! 341 !!!
342=5x68+2
342=5x67+7
342=5x66+12
342=5x65+17
342=137x2+68
343=139x2+65
344=103x3+35
345=13x26+7
345=41x8+17
346=11x31+5
346=11x30+16
347=5x69+2
347=5x68+7
347=5x67+12
347=5x66+17
348=17x20+8
!!! 349 !!!
!!! 350 !!!
351=53x5+86
352=5x70+2
352=5x69+7
352=5x68+12
352=13x26+14
352=5x67+17
353=193x1+160
!!! 354 !!!
!!! 355 !!!
356=43x8+12
357=5x71+2
357=11x32+5
357=5x70+7
357=5x69+12
357=11x31+16
357=5x68+17
357=37x9+24
357=37x8+61
358=71x5+3
358=13x27+7
359=29x12+11
360=191x1+169
361=89x4+5
362=5x72+2
362=5x71+7
362=5x70+12
362=5x69+17
362=89x4+6
362=89x3+95
362=191x1+171
!!! 363 !!!
364=137x2+90
365=17x21+8
365=13x27+14
!!! 366 !!!
367=5x73+2
367=5x72+7
367=5x71+12
367=5x70+17
368=11x33+5
368=11x32+16
!!! 369 !!!
!!! 370 !!!
371=13x28+7
372=5x74+2
372=5x73+7
372=5x72+12
372=5x71+17
!!! 373 !!!
374=113x3+35
!!! 375 !!!
!!! 376 !!!
377=5x75+2
377=5x74+7
377=5x73+12
377=5x72+17
377=97x3+86
378=13x28+14
379=11x34+5
379=11x33+16
!!! 380 !!!
!!! 381 !!!
382=5x76+2
382=5x75+7
382=17x22+8
382=5x74+12
382=5x73+17
383=139x1+244
384=13x29+7
!!! 385 !!!
386=41x9+17
387=5x77+2
387=5x76+7
387=5x75+12
387=5x74+17
388=29x13+11
!!! 389 !!!
390=11x35+5
390=11x34+16
390=67x2+256
391=13x29+14
392=5x78+2
392=5x77+7
392=5x76+12
392=5x75+17
393=97x4+5
394=37x10+24
394=71x5+39
394=37x9+61
!!! 395 !!!
!!! 396 !!!
397=5x79+2
397=5x78+7
397=13x30+7
397=5x77+12
397=5x76+17
!!! 398 !!!
399=17x23+8
399=43x9+12
factor((303^5+303^4+303^3+303^2+303+1)*303^16+303^6+303^5+303^4+303^3+303^2+303+1);
factor((305^5+305^4+305^3+305^2+305+1)*305^16+305^6+305^5+305^4+305^3+305^2+305+1);
factor((308^5+308^4+308^3+308^2+308+1)*308^16+308^6+308^5+308^4+308^3+308^2+308+1);
factor((309^5+309^4+309^3+309^2+309+1)*309^16+309^6+309^5+309^4+309^3+309^2+309+1);
factor((310^5+310^4+310^3+310^2+310+1)*310^16+310^6+310^5+310^4+310^3+310^2+310+1);
factor((311^5+311^4+311^3+311^2+311+1)*311^16+311^6+311^5+311^4+311^3+311^2+311+1);
factor((316^5+316^4+316^3+316^2+316+1)*316^16+316^6+316^5+316^4+316^3+316^2+316+1);
factor((318^5+318^4+318^3+318^2+318+1)*318^16+318^6+318^5+318^4+318^3+318^2+318+1);
factor((321^5+321^4+321^3+321^2+321+1)*321^16+321^6+321^5+321^4+321^3+321^2+321+1);
factor((325^5+325^4+325^3+325^2+325+1)*325^16+325^6+325^5+325^4+325^3+325^2+325+1);
factor((328^5+328^4+328^3+328^2+328+1)*328^16+328^6+328^5+328^4+328^3+328^2+328+1);
factor((329^5+329^4+329^3+329^2+329+1)*329^16+329^6+329^5+329^4+329^3+329^2+329+1);
factor((334^5+334^4+334^3+334^2+334+1)*334^16+334^6+334^5+334^4+334^3+334^2+334+1);
factor((336^5+336^4+336^3+336^2+336+1)*336^16+336^6+336^5+336^4+336^3+336^2+336+1);
factor((340^5+340^4+340^3+340^2+340+1)*340^16+340^6+340^5+340^4+340^3+340^2+340+1);
factor((341^5+341^4+341^3+341^2+341+1)*341^16+341^6+341^5+341^4+341^3+341^2+341+1);
factor((349^5+349^4+349^3+349^2+349+1)*349^16+349^6+349^5+349^4+349^3+349^2+349+1);
factor((350^5+350^4+350^3+350^2+350+1)*350^16+350^6+350^5+350^4+350^3+350^2+350+1);
factor((354^5+354^4+354^3+354^2+354+1)*354^16+354^6+354^5+354^4+354^3+354^2+354+1);
factor((355^5+355^4+355^3+355^2+355+1)*355^16+355^6+355^5+355^4+355^3+355^2+355+1);
factor((363^5+363^4+363^3+363^2+363+1)*363^16+363^6+363^5+363^4+363^3+363^2+363+1);
factor((366^5+366^4+366^3+366^2+366+1)*366^16+366^6+366^5+366^4+366^3+366^2+366+1);
factor((369^5+369^4+369^3+369^2+369+1)*369^16+369^6+369^5+369^4+369^3+369^2+369+1);
factor((370^5+370^4+370^3+370^2+370+1)*370^16+370^6+370^5+370^4+370^3+370^2+370+1);
factor((373^5+373^4+373^3+373^2+373+1)*373^16+373^6+373^5+373^4+373^3+373^2+373+1);
factor((375^5+375^4+375^3+375^2+375+1)*375^16+375^6+375^5+375^4+375^3+375^2+375+1);
factor((376^5+376^4+376^3+376^2+376+1)*376^16+376^6+376^5+376^4+376^3+376^2+376+1);
factor((380^5+380^4+380^3+380^2+380+1)*380^16+380^6+380^5+380^4+380^3+380^2+380+1);
factor((381^5+381^4+381^3+381^2+381+1)*381^16+381^6+381^5+381^4+381^3+381^2+381+1);
factor((385^5+385^4+385^3+385^2+385+1)*385^16+385^6+385^5+385^4+385^3+385^2+385+1);
factor((389^5+389^4+389^3+389^2+389+1)*389^16+389^6+389^5+389^4+389^3+389^2+389+1);
factor((395^5+395^4+395^3+395^2+395+1)*395^16+395^6+395^5+395^4+395^3+395^2+395+1);
factor((396^5+396^4+396^3+396^2+396+1)*396^16+396^6+396^5+396^4+396^3+396^2+396+1);
factor((398^5+398^4+398^3+398^2+398+1)*398^16+398^6+398^5+398^4+398^3+398^2+398+1);
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3 4 5 6
(%i2) factor(1 + 303 + 303 + 303 + 303 + 303 + 303
2 3 4 5 16
+ (1 + 303 + 303 + 303 + 303 + 303 ) 303 )
(%o2) 12933941255334862248062419801772373112407681356065537
素数ですね。
2 3 4 5 6
(%i3) factor(1 + 305 + 305 + 305 + 305 + 305 + 305
2 3 4 5 16
+ (1 + 305 + 305 + 305 + 305 + 305 ) 305 )
(%o3) 887138840711136447491021 16739068557040704038919823361
2 3 4 5 6
(%i4) factor(1 + 308 + 308 + 308 + 308 + 308 + 308
2 3 4 5 16
+ (1 + 308 + 308 + 308 + 308 + 308 ) 308 )
(%o4) 18238007397765379378364589010881943950466305617157637
素数ですね。
2 3 4 5 6
(%i5) factor(1 + 309 + 309 + 309 + 309 + 309 + 309
2 3 4 5 16
+ (1 + 309 + 309 + 309 + 309 + 309 ) 309 )
(%o5) 607 1087 4423 1280737 5223248641822220193269463957087907339
2 3 4 5 6
(%i6) factor(1 + 310 + 310 + 310 + 310 + 310 + 310
2 3 4 5 16
+ (1 + 310 + 310 + 310 + 310 + 310 ) 310 )
(%o6) 176938024152013 118080344540650104515165843745258065647
2 3 4 5 6
(%i7) factor(1 + 311 + 311 + 311 + 311 + 311 + 311
2 3 4 5 16
+ (1 + 311 + 311 + 311 + 311 + 311 ) 311 )
(%o7) 79 2207 557741 6910403 7170253 4639455507424576472911848419
2 3 4 5 6
(%i8) factor(1 + 316 + 316 + 316 + 316 + 316 + 316
2 3 4 5 16
+ (1 + 316 + 316 + 316 + 316 + 316 ) 316 )
(%o8) 3137 6815021 192847203423281089393 7578970233598248238513
2 3 4 5 6
(%i9) factor(1 + 318 + 318 + 318 + 318 + 318 + 318
2 3 4 5 16
+ (1 + 318 + 318 + 318 + 318 + 318 ) 318 )
(%o9) 3828571 5561627 447128529319 4758009372943 787482912425483
2 3 4 5 6
(%i10) factor(1 + 321 + 321 + 321 + 321 + 321 + 321
2 3 4 5 16
+ (1 + 321 + 321 + 321 + 321 + 321 ) 321 )
(%o10) 191 2003 6379 17803025581852798907417333859468844129044259
2 3 4 5 6
(%i11) factor(1 + 325 + 325 + 325 + 325 + 325 + 325
2 3 4 5 16
+ (1 + 325 + 325 + 325 + 325 + 325 ) 325 )
(%o11) 983 2179 22747310813 1156506615847252930888423269017803261
2 3 4 5 6
(%i12) factor(1 + 328 + 328 + 328 + 328 + 328 + 328
2 3 4 5 16
+ (1 + 328 + 328 + 328 + 328 + 328 ) 328 )
(%o12) 13866031343 4928612015212077359570876777135145690257159
2 3 4 5 6
(%i13) factor(1 + 329 + 329 + 329 + 329 + 329 + 329
2 3 4 5 16
+ (1 + 329 + 329 + 329 + 329 + 329 ) 329 )
(%o13) 193 633021091 2180899343533 273416550821675821160830203019
2 3 4 5 6
(%i14) factor(1 + 334 + 334 + 334 + 334 + 334 + 334
2 3 4 5 16
+ (1 + 334 + 334 + 334 + 334 + 334 ) 334 )
(%o14) 87187739 4893503717 234370366071212369879239868231825677
2 3 4 5 6
(%i15) factor(1 + 336 + 336 + 336 + 336 + 336 + 336
2 3 4 5 16
+ (1 + 336 + 336 + 336 + 336 + 336 ) 336 )
(%o15) 260717299333861 1830986354473049 237445716323801261328197
2 3 4 5 6
(%i16) factor(1 + 340 + 340 + 340 + 340 + 340 + 340
2 3 4 5 16
+ (1 + 340 + 340 + 340 + 340 + 340 ) 340 )
(%o16) 84660140580989 86088499872763 19939412192519486495665163
2 3 4 5 6
(%i17) factor(1 + 341 + 341 + 341 + 341 + 341 + 341
2 3 4 5 16
+ (1 + 341 + 341 + 341 + 341 + 341 ) 341 )
(%o17) 18140189 20769599 410248972053099158669596943689642627663
2 3 4 5 6
(%i18) factor(1 + 349 + 349 + 349 + 349 + 349 + 349
2 3 4 5 16
+ (1 + 349 + 349 + 349 + 349 + 349 ) 349 )
(%o18) 962396574628147 9080470022457143 28781786780828113545881
2 3 4 5 6
(%i19) factor(1 + 350 + 350 + 350 + 350 + 350 + 350
2 3 4 5 16
+ (1 + 350 + 350 + 350 + 350 + 350 ) 350 )
(%o19) 7790287937 14560805639842541671 2354684006194519310441213
2 3 4 5 6
(%i20) factor(1 + 354 + 354 + 354 + 354 + 354 + 354
2 3 4 5 16
+ (1 + 354 + 354 + 354 + 354 + 354 ) 354 )
(%o20) 339076006194563096602201513207580556898683800887350751
素数ですね。
2 3 4 5 6
(%i21) factor(1 + 355 + 355 + 355 + 355 + 355 + 355
2 3 4 5 16
+ (1 + 355 + 355 + 355 + 355 + 355 ) 355 )
(%o21) 71167 5055240787143815148934937499385671696932331992143
2 3 4 5 6
(%i22) factor(1 + 363 + 363 + 363 + 363 + 363 + 363
2 3 4 5 16
+ (1 + 363 + 363 + 363 + 363 + 363 ) 363 )
(%o22) 2671 10657 166549669029901 121167055029304545911229281779771
2 3 4 5 6
(%i23) factor(1 + 366 + 366 + 366 + 366 + 366 + 366
2 3 4 5 16
+ (1 + 366 + 366 + 366 + 366 + 366 ) 366 )
(%o23) 457 650627 962492823867234977 2385861516288791757654965281
2 3 4 5 6
(%i24) factor(1 + 369 + 369 + 369 + 369 + 369 + 369
2 3 4 5 16
+ (1 + 369 + 369 + 369 + 369 + 369 ) 369 )
(%o24) 810461215950393108126965925435167261412398026867639501
素数ですね。
2 3 4 5 6
(%i25) factor(1 + 370 + 370 + 370 + 370 + 370 + 370
2 3 4 5 16
+ (1 + 370 + 370 + 370 + 370 + 370 ) 370 )
(%o25) 1051 1601 509820759200134119877730994376780564188636074621
2 3 4 5 6
(%i26) factor(1 + 373 + 373 + 373 + 373 + 373 + 373
2 3 4 5 16
+ (1 + 373 + 373 + 373 + 373 + 373 ) 373 )
(%o26) 557 19079 53537017 38394185579 2669829324509 17427593795777617
2 3 4 5 6
(%i27) factor(1 + 375 + 375 + 375 + 375 + 375 + 375
2 3 4 5 16
+ (1 + 375 + 375 + 375 + 375 + 375 ) 375 )
(%o27) 1137146156516540845501594958477653563025401875297016001
素数ですね。
2 3 4 5 6
(%i28) factor(1 + 376 + 376 + 376 + 376 + 376 + 376
2 3 4 5 16
+ (1 + 376 + 376 + 376 + 376 + 376 ) 376 )
(%o28) 277 15497 38651 43787 259823 8795107 72435134743832112475986361
2 3 4 5 6
(%i29) factor(1 + 380 + 380 + 380 + 380 + 380 + 380
2 3 4 5 16
+ (1 + 380 + 380 + 380 + 380 + 380 ) 380 )
(%o29) 1059119 70877522977 362928010395703 55122148552188639759029
2 3 4 5 6
(%i30) factor(1 + 381 + 381 + 381 + 381 + 381 + 381
2 3 4 5 16
+ (1 + 381 + 381 + 381 + 381 + 381 ) 381 )
(%o30) 449 116088454682093 621908289774704203 48955799937476476963
2 3 4 5 6
(%i31) factor(1 + 385 + 385 + 385 + 385 + 385 + 385
2 3 4 5 16
+ (1 + 385 + 385 + 385 + 385 + 385 ) 385 )
(%o31) 172607 1788221 444153811 283317225311 50876690978255816340203
2 3 4 5 6
(%i32) factor(1 + 389 + 389 + 389 + 389 + 389 + 389
2 3 4 5 16
+ (1 + 389 + 389 + 389 + 389 + 389 ) 389 )
(%o32) 587 72385351 838631683 178394725505402713 386204599955410787
2 3 4 5 6
(%i33) factor(1 + 395 + 395 + 395 + 395 + 395 + 395
2 3 4 5 16
+ (1 + 395 + 395 + 395 + 395 + 395 ) 395 )
(%o33) 863 887 16267333 869371050851 143841590445401 2174199835346527
2 3 4 5 6
(%i34) factor(1 + 396 + 396 + 396 + 396 + 396 + 396
2 3 4 5 16
+ (1 + 396 + 396 + 396 + 396 + 396 ) 396 )
(%o34) 5303 8395991 145006530692453 552988170694766537599632924137
2 3 4 5 6
(%i35) factor(1 + 398 + 398 + 398 + 398 + 398 + 398
2 3 4 5 16
+ (1 + 398 + 398 + 398 + 398 + 398 ) 398 )
(%o35) 641 464197 21142138498495169 630852468054679293666727083199
(%o35) a.bat
(%i36)
b.txt
607,309
79,311
191,321
983,325
193,329
457,366
557,373
277,376
449,381
587,389
863,395
887,395
641,398
$gcc -Wall Autohajiku.c -o Autohajiku
$./Autohajiku
5n+2
71n+3
11n+5
97n+5
167n+5
89n+5
5n+7
13n+7
701n+7
17n+8
307n+8
491n+9
809n+9
29n+11
5n+12
43n+12
163n+12
13n+14
11n+16
5n+17
41n+17
811n+19
89n+6
37n+24
197n+26
449n+28
227n+31
103n+35
113n+35
71n+39
449n+43
37n+61
139n+65
137n+68
179n+73
709n+81
53n+86
97n+86
137n+90
197n+90
89n+95
751n+100
71n+120
193n+160
761n+166
191n+169
191n+171
811n+180
151n+188
71n+191
499n+194
389n+200
379n+208
523n+224
233n+230
193n+231
281n+234
167n+238
139n+244
349n+244
67n+256
997n+256
853n+260
853n+275
449n+295
607n+309
79n+311
191n+321
983n+325
193n+329
457n+366
557n+373
277n+376
449n+381
587n+389
863n+395
887n+395
641n+398
b.txt read! 78 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
!!! 400 !!!
401=11x36+5
401=11x35+16
402=5x80+2
402=5x79+7
402=5x78+12
402=5x77+17
!!! 403 !!!
404=13x30+14
404=53x6+86
404=71x4+120
404=71x3+191
405=167x1+238
!!! 406 !!!
407=5x81+2
407=5x80+7
407=5x79+12
407=5x78+17
!!! 408 !!!
!!! 409 !!!
410=13x31+7
!!! 411 !!!
412=5x82+2
412=11x37+5
412=5x81+7
412=5x80+12
412=11x36+16
412=5x79+17
!!! 413 !!!
!!! 414 !!!
!!! 415 !!!
416=17x24+8
417=5x83+2
417=5x82+7
417=29x14+11
417=5x81+12
417=13x31+14
417=5x80+17
!!! 418 !!!
!!! 419 !!!
420=197x2+26
!!! 421 !!!
422=5x84+2
422=5x83+7
422=5x82+12
422=5x81+17
423=11x38+5
423=13x32+7
423=11x37+16
424=193x1+231
!!! 425 !!!
!!! 426 !!!
427=5x85+2
427=5x84+7
427=5x83+12
427=5x82+17
427=41x10+17
!!! 428 !!!
429=71x6+3
430=13x32+14
431=37x11+24
431=37x10+61
431=179x2+73
432=5x86+2
432=5x85+7
432=5x84+12
432=5x83+17
433=17x25+8
434=11x39+5
434=11x38+16
!!! 435 !!!
436=13x33+7
437=5x87+2
437=5x86+7
437=5x85+12
437=5x84+17
!!! 438 !!!
!!! 439 !!!
!!! 440 !!!
!!! 441 !!!
442=5x88+2
442=5x87+7
442=5x86+12
442=43x10+12
442=5x85+17
443=13x33+14
!!! 444 !!!
445=11x40+5
445=11x39+16
446=29x15+11
447=5x89+2
447=5x88+7
447=5x87+12
447=5x86+17
447=103x4+35
!!! 448 !!!
449=13x34+7
450=89x5+5
450=17x26+8
451=89x5+6
451=89x4+95
452=5x90+2
452=5x89+7
452=5x88+12
452=5x87+17
!!! 453 !!!
!!! 454 !!!
!!! 455 !!!
456=11x41+5
456=13x34+14
456=11x40+16
457=5x91+2
457=5x90+7
457=5x89+12
457=5x88+17
457=53x7+86
457=67x3+256
!!! 458 !!!
!!! 459 !!!
!!! 460 !!!
!!! 461 !!!
462=5x92+2
462=5x91+7
462=13x35+7
462=5x90+12
462=5x89+17
463=233x1+230
!!! 464 !!!
465=71x6+39
!!! 466 !!!
467=5x93+2
467=11x42+5
467=5x92+7
467=17x27+8
467=5x91+12
467=11x41+16
467=5x90+17
468=41x11+17
468=37x12+24
468=37x11+61
469=13x35+14
469=79x2+311
!!! 470 !!!
!!! 471 !!!
472=5x94+2
472=5x93+7
472=5x92+12
472=5x91+17
!!! 473 !!!
474=97x4+86
475=13x36+7
475=29x16+11
475=71x5+120
475=71x4+191
!!! 476 !!!
477=5x95+2
477=5x94+7
477=5x93+12
477=5x92+17
477=449x1+28
478=11x43+5
478=11x42+16
479=137x3+68
!!! 480 !!!
!!! 481 !!!
482=5x96+2
482=5x95+7
482=5x94+12
482=13x36+14
482=5x93+17
482=139x3+65
!!! 483 !!!
484=17x28+8
484=197x2+90
485=43x11+12
485=227x2+31
!!! 486 !!!
487=5x97+2
487=5x96+7
487=5x95+12
487=5x94+17
487=113x4+35
488=13x37+7
489=11x44+5
489=11x43+16
490=97x5+5
490=151x2+188
!!! 491 !!!
492=5x98+2
492=5x97+7
492=5x96+12
492=5x95+17
492=449x1+43
!!! 493 !!!
!!! 494 !!!
495=13x37+14
!!! 496 !!!
497=5x99+2
497=5x98+7
497=5x97+12
497=5x96+17
!!! 498 !!!
!!! 499 !!!
factor((400^5+400^4+400^3+400^2+400+1)*400^16+400^6+400^5+400^4+400^3+400^2+400+1);
factor((403^5+403^4+403^3+403^2+403+1)*403^16+403^6+403^5+403^4+403^3+403^2+403+1);
factor((406^5+406^4+406^3+406^2+406+1)*406^16+406^6+406^5+406^4+406^3+406^2+406+1);
factor((408^5+408^4+408^3+408^2+408+1)*408^16+408^6+408^5+408^4+408^3+408^2+408+1);
factor((409^5+409^4+409^3+409^2+409+1)*409^16+409^6+409^5+409^4+409^3+409^2+409+1);
factor((411^5+411^4+411^3+411^2+411+1)*411^16+411^6+411^5+411^4+411^3+411^2+411+1);
factor((413^5+413^4+413^3+413^2+413+1)*413^16+413^6+413^5+413^4+413^3+413^2+413+1);
factor((414^5+414^4+414^3+414^2+414+1)*414^16+414^6+414^5+414^4+414^3+414^2+414+1);
factor((415^5+415^4+415^3+415^2+415+1)*415^16+415^6+415^5+415^4+415^3+415^2+415+1);
factor((418^5+418^4+418^3+418^2+418+1)*418^16+418^6+418^5+418^4+418^3+418^2+418+1);
factor((419^5+419^4+419^3+419^2+419+1)*419^16+419^6+419^5+419^4+419^3+419^2+419+1);
factor((421^5+421^4+421^3+421^2+421+1)*421^16+421^6+421^5+421^4+421^3+421^2+421+1);
factor((425^5+425^4+425^3+425^2+425+1)*425^16+425^6+425^5+425^4+425^3+425^2+425+1);
factor((426^5+426^4+426^3+426^2+426+1)*426^16+426^6+426^5+426^4+426^3+426^2+426+1);
factor((428^5+428^4+428^3+428^2+428+1)*428^16+428^6+428^5+428^4+428^3+428^2+428+1);
factor((435^5+435^4+435^3+435^2+435+1)*435^16+435^6+435^5+435^4+435^3+435^2+435+1);
factor((438^5+438^4+438^3+438^2+438+1)*438^16+438^6+438^5+438^4+438^3+438^2+438+1);
factor((439^5+439^4+439^3+439^2+439+1)*439^16+439^6+439^5+439^4+439^3+439^2+439+1);
factor((440^5+440^4+440^3+440^2+440+1)*440^16+440^6+440^5+440^4+440^3+440^2+440+1);
factor((441^5+441^4+441^3+441^2+441+1)*441^16+441^6+441^5+441^4+441^3+441^2+441+1);
factor((444^5+444^4+444^3+444^2+444+1)*444^16+444^6+444^5+444^4+444^3+444^2+444+1);
factor((448^5+448^4+448^3+448^2+448+1)*448^16+448^6+448^5+448^4+448^3+448^2+448+1);
factor((453^5+453^4+453^3+453^2+453+1)*453^16+453^6+453^5+453^4+453^3+453^2+453+1);
factor((454^5+454^4+454^3+454^2+454+1)*454^16+454^6+454^5+454^4+454^3+454^2+454+1);
factor((455^5+455^4+455^3+455^2+455+1)*455^16+455^6+455^5+455^4+455^3+455^2+455+1);
factor((458^5+458^4+458^3+458^2+458+1)*458^16+458^6+458^5+458^4+458^3+458^2+458+1);
factor((459^5+459^4+459^3+459^2+459+1)*459^16+459^6+459^5+459^4+459^3+459^2+459+1);
factor((460^5+460^4+460^3+460^2+460+1)*460^16+460^6+460^5+460^4+460^3+460^2+460+1);
factor((461^5+461^4+461^3+461^2+461+1)*461^16+461^6+461^5+461^4+461^3+461^2+461+1);
factor((464^5+464^4+464^3+464^2+464+1)*464^16+464^6+464^5+464^4+464^3+464^2+464+1);
factor((466^5+466^4+466^3+466^2+466+1)*466^16+466^6+466^5+466^4+466^3+466^2+466+1);
factor((470^5+470^4+470^3+470^2+470+1)*470^16+470^6+470^5+470^4+470^3+470^2+470+1);
factor((471^5+471^4+471^3+471^2+471+1)*471^16+471^6+471^5+471^4+471^3+471^2+471+1);
factor((473^5+473^4+473^3+473^2+473+1)*473^16+473^6+473^5+473^4+473^3+473^2+473+1);
factor((476^5+476^4+476^3+476^2+476+1)*476^16+476^6+476^5+476^4+476^3+476^2+476+1);
factor((480^5+480^4+480^3+480^2+480+1)*480^16+480^6+480^5+480^4+480^3+480^2+480+1);
factor((481^5+481^4+481^3+481^2+481+1)*481^16+481^6+481^5+481^4+481^3+481^2+481+1);
factor((483^5+483^4+483^3+483^2+483+1)*483^16+483^6+483^5+483^4+483^3+483^2+483+1);
factor((486^5+486^4+486^3+486^2+486+1)*486^16+486^6+486^5+486^4+486^3+486^2+486+1);
factor((491^5+491^4+491^3+491^2+491+1)*491^16+491^6+491^5+491^4+491^3+491^2+491+1);
factor((493^5+493^4+493^3+493^2+493+1)*493^16+493^6+493^5+493^4+493^3+493^2+493+1);
factor((494^5+494^4+494^3+494^2+494+1)*494^16+494^6+494^5+494^4+494^3+494^2+494+1);
factor((496^5+496^4+496^3+496^2+496+1)*496^16+496^6+496^5+496^4+496^3+496^2+496+1);
factor((498^5+498^4+498^3+498^2+498+1)*498^16+498^6+498^5+498^4+498^3+498^2+498+1);
factor((499^5+499^4+499^3+499^2+499+1)*499^16+499^6+499^5+499^4+499^3+499^2+499+1);
(%i1) batch("a.bat");
read and interpret file: /home/gakkari/yano/c-src/a.bat
2 3 4 5 6
(%i2) factor(1 + 400 + 400 + 400 + 400 + 400 + 400
2 3 4 5 16
+ (1 + 400 + 400 + 400 + 400 + 400 ) 400 )
(%o2) 4409069184064159324569600000000000000004106265664160401
素数ですね。
2 3 4 5 6
(%i3) factor(1 + 403 + 403 + 403 + 403 + 403 + 403
2 3 4 5 16
+ (1 + 403 + 403 + 403 + 403 + 403 ) 403 )
(%o3) 5158043044052644988399391419739463763832568231737631537
素数ですね。
2 3 4 5 6
(%i4) factor(1 + 406 + 406 + 406 + 406 + 406 + 406
2 3 4 5 16
+ (1 + 406 + 406 + 406 + 406 + 406 ) 406 )
(%o4) 607 647 46957 237401 1376708066058431656040254205785576613791
2 3 4 5 6
(%i5) factor(1 + 408 + 408 + 408 + 408 + 408 + 408
2 3 4 5 16
+ (1 + 408 + 408 + 408 + 408 + 408 ) 408 )
(%o5) 6599 5760647111 175784176434341846429799274267151752453033
2 3 4 5 6
(%i6) factor(1 + 409 + 409 + 409 + 409 + 409 + 409
2 3 4 5 16
+ (1 + 409 + 409 + 409 + 409 + 409 ) 409 )
(%o6) 7034813900630363219759584216615470506434302489786835501
素数ですね。
2 3 4 5 6
(%i7) factor(1 + 411 + 411 + 411 + 411 + 411 + 411
2 3 4 5 16
+ (1 + 411 + 411 + 411 + 411 + 411 ) 411 )
(%o7) 139 274591 6259394399554037347 32621416005652576630187699311
2 3 4 5 6
(%i8) factor(1 + 413 + 413 + 413 + 413 + 413 + 413
2 3 4 5 16
+ (1 + 413 + 413 + 413 + 413 + 413 ) 413 )
(%o8) 139 4447 4020189839 28107523164088283 123552873938760517346197
2 3 4 5 6
(%i9) factor(1 + 414 + 414 + 414 + 414 + 414 + 414
2 3 4 5 16
+ (1 + 414 + 414 + 414 + 414 + 414 ) 414 )
(%o9) 12107 23417 4222177 112692710352359 67306560044182553888134703
2 3 4 5 6
(%i10) factor(1 + 415 + 415 + 415 + 415 + 415 + 415
2 3 4 5 16
+ (1 + 415 + 415 + 415 + 415 + 415 ) 415 )
(%o10) 9551196642969069795792402894922365738466561212256496641
素数ですね。
2 3 4 5 6
(%i11) factor(1 + 418 + 418 + 418 + 418 + 418 + 418
2 3 4 5 16
+ (1 + 418 + 418 + 418 + 418 + 418 ) 418 )
(%o11) 158443 11156749 6285378340415181127348517917966056781183441
2 3 4 5 6
(%i12) factor(1 + 419 + 419 + 419 + 419 + 419 + 419
2 3 4 5 16
+ (1 + 419 + 419 + 419 + 419 + 419 ) 419 )
(%o12) 467 81901 380651 29209754635651 116245389732991 236317300321033
2 3 4 5 6
(%i13) factor(1 + 421 + 421 + 421 + 421 + 421 + 421
2 3 4 5 16
+ (1 + 421 + 421 + 421 + 421 + 421 ) 421 )
(%o13) 12910908937281320266402643216638860706732730818203661453
素数ですね。
2 3 4 5 6
(%i14) factor(1 + 425 + 425 + 425 + 425 + 425 + 425
2 3 4 5 16
+ (1 + 425 + 425 + 425 + 425 + 425 ) 425 )
(%o14) 15746738105765838311675571802198095247155374327936712301
素数ですね。
2 3 4 5 6
(%i15) factor(1 + 426 + 426 + 426 + 426 + 426 + 426
2 3 4 5 16
+ (1 + 426 + 426 + 426 + 426 + 426 ) 426 )
(%o15) 441298043 8743420999 1407905101247 3045337818821093542485997
2 3 4 5 6
(%i16) factor(1 + 428 + 428 + 428 + 428 + 428 + 428
2 3 4 5 16
+ (1 + 428 + 428 + 428 + 428 + 428 ) 428 )
(%o16) 659 25318091 8743297117 17728514498697047 7057828292375824727
2 3 4 5 6
(%i17) factor(1 + 435 + 435 + 435 + 435 + 435 + 435
2 3 4 5 16
+ (1 + 435 + 435 + 435 + 435 + 435 ) 435 )
(%o17) 620973893 16148154812756773 2559043552307238988286117869049
2 3 4 5 6
(%i18) factor(1 + 438 + 438 + 438 + 438 + 438 + 438
2 3 4 5 16
+ (1 + 438 + 438 + 438 + 438 + 438 ) 438 )
(%o18) 1019 282683911 1428868650185539 72024692215601122898990945237
2 3 4 5 6
(%i19) factor(1 + 439 + 439 + 439 + 439 + 439 + 439
2 3 4 5 16
+ (1 + 439 + 439 + 439 + 439 + 439 ) 439 )
(%o19) 6257 4181431 20409953 2737676748377 21273065295981642459172463
2 3 4 5 6
(%i20) factor(1 + 440 + 440 + 440 + 440 + 440 + 440
2 3 4 5 16
+ (1 + 440 + 440 + 440 + 440 + 440 ) 440 )
(%o20) 31189 64271 932483 74233046599 17760283502527 13237005614856721
2 3 4 5 6
(%i21) factor(1 + 441 + 441 + 441 + 441 + 441 + 441
2 3 4 5 16
+ (1 + 441 + 441 + 441 + 441 + 441 ) 441 )
(%o21) 764807661586557031374676273 44734651863320282476438241341
2 3 4 5 6
(%i22) factor(1 + 444 + 444 + 444 + 444 + 444 + 444
2 3 4 5 16
+ (1 + 444 + 444 + 444 + 444 + 444 ) 444 )
(%o22) 2087 302843 34306580587 63850053888527 28493311518314410983389
2 3 4 5 6
(%i23) factor(1 + 448 + 448 + 448 + 448 + 448 + 448
2 3 4 5 16
+ (1 + 448 + 448 + 448 + 448 + 448 ) 448 )
(%o23) 1409 3778163047 159819137373052099 55974253906798955680445981
2 3 4 5 6
(%i24) factor(1 + 453 + 453 + 453 + 453 + 453 + 453
2 3 4 5 16
+ (1 + 453 + 453 + 453 + 453 + 453 ) 453 )
(%o24) 811 52727 220703173 6370294586978952721108687649258460344477
2 3 4 5 6
(%i25) factor(1 + 454 + 454 + 454 + 454 + 454 + 454
2 3 4 5 16
+ (1 + 454 + 454 + 454 + 454 + 454 ) 454 )
(%o25) 18665513 2561842303 4033921513306305791 326445580610827053499
2 3 4 5 6
(%i26) factor(1 + 455 + 455 + 455 + 455 + 455 + 455
2 3 4 5 16
+ (1 + 455 + 455 + 455 + 455 + 455 ) 455 )
(%o26) 65946974154007371563303158116886849895350917647505804481
素数ですね。
2 3 4 5 6
(%i27) factor(1 + 458 + 458 + 458 + 458 + 458 + 458
2 3 4 5 16
+ (1 + 458 + 458 + 458 + 458 + 458 ) 458 )
(%o27) 463 46339849 3528488535574866028373910434661693761514158401
2 3 4 5 6
(%i28) factor(1 + 459 + 459 + 459 + 459 + 459 + 459
2 3 4 5 16
+ (1 + 459 + 459 + 459 + 459 + 459 ) 459 )
(%o28) 79252615513629024082155038617516337940498342533566878001
素数ですね。
2 3 4 5 6
(%i29) factor(1 + 460 + 460 + 460 + 460 + 460 + 460
2 3 4 5 16
+ (1 + 460 + 460 + 460 + 460 + 460 ) 460 )
(%o29) 6073928987827 19959375157993937 684294359232978603510383039
2 3 4 5 6
(%i30) factor(1 + 461 + 461 + 461 + 461 + 461 + 461
2 3 4 5 16
+ (1 + 461 + 461 + 461 + 461 + 461 ) 461 )
(%o30) 1579637 1781063 1717801647007 17966063598752322268666077584449
2 3 4 5 6
(%i31) factor(1 + 464 + 464 + 464 + 464 + 464 + 464
2 3 4 5 16
+ (1 + 464 + 464 + 464 + 464 + 464 ) 464 )
(%o31) 230542388716366619 2737854954948307837 157635255849470496767
2 3 4 5 6
(%i32) factor(1 + 466 + 466 + 466 + 466 + 466 + 466
2 3 4 5 16
+ (1 + 466 + 466 + 466 + 466 + 466 ) 466 )
(%o32) 4861 67554397 48133173306944267 6889908855842935836123460037
2 3 4 5 6
(%i33) factor(1 + 470 + 470 + 470 + 470 + 470 + 470
2 3 4 5 16
+ (1 + 470 + 470 + 470 + 470 + 470 ) 470 )
(%o33) 3034013 1795817411 23916653781476011954845538384140093767797
2 3 4 5 6
(%i34) factor(1 + 471 + 471 + 471 + 471 + 471 + 471
2 3 4 5 16
+ (1 + 471 + 471 + 471 + 471 + 471 ) 471 )
(%o34) 1436003 94887007807990302544973146534105645607723538099851
2 3 4 5 6
(%i35) factor(1 + 473 + 473 + 473 + 473 + 473 + 473
2 3 4 5 16
+ (1 + 473 + 473 + 473 + 473 + 473 ) 473 )
(%o35) 201610731859 3038395819549 243133667744933221173631131096907
2 3 4 5 6
(%i36) factor(1 + 476 + 476 + 476 + 476 + 476 + 476
2 3 4 5 16
+ (1 + 476 + 476 + 476 + 476 + 476 ) 476 )
(%o36) 9749 54790283 60851317 6502883954227 804673594586823281575621
2 3 4 5 6
(%i37) factor(1 + 480 + 480 + 480 + 480 + 480 + 480
2 3 4 5 16
+ (1 + 480 + 480 + 480 + 480 + 480 ) 480 )
(%o37) 30235563209 37890493271 176979672442455182405030280795465679
2 3 4 5 6
(%i38) factor(1 + 481 + 481 + 481 + 481 + 481 + 481
2 3 4 5 16
+ (1 + 481 + 481 + 481 + 481 + 481 ) 481 )
(%o38) 881 25457441 40746854081 2224200399614509 104205775515138391697
2 3 4 5 6
(%i39) factor(1 + 483 + 483 + 483 + 483 + 483 + 483
2 3 4 5 16
+ (1 + 483 + 483 + 483 + 483 + 483 ) 483 )
(%o39) 10433 100019879 921788298658387874927 240249844517751181154633
2 3 4 5 6
(%i40) factor(1 + 486 + 486 + 486 + 486 + 486 + 486
2 3 4 5 16
+ (1 + 486 + 486 + 486 + 486 + 486 ) 486 )
(%o40) 769 26953 86170736881 147354338543145987554245169602098761899
2 3 4 5 6
(%i41) factor(1 + 491 + 491 + 491 + 491 + 491 + 491
2 3 4 5 16
+ (1 + 491 + 491 + 491 + 491 + 491 ) 491 )
(%o41) 23644134583422401 13799816896082906185347619848950615162993
2 3 4 5 6
(%i42) factor(1 + 493 + 493 + 493 + 493 + 493 + 493
2 3 4 5 16
+ (1 + 493 + 493 + 493 + 493 + 493 ) 493 )
(%o42) 761 124493 3750917671572203179712500671576334297650409324969
2 3 4 5 6
(%i43) factor(1 + 494 + 494 + 494 + 494 + 494 + 494
2 3 4 5 16
+ (1 + 494 + 494 + 494 + 494 + 494 ) 494 )
(%o43) 3229 140629167043 816587086314767744371522683943800921835933
2 3 4 5 6
(%i44) factor(1 + 496 + 496 + 496 + 496 + 496 + 496
2 3 4 5 16
+ (1 + 496 + 496 + 496 + 496 + 496 ) 496 )
(%o44) 227807649698035531 1771835424823625874844829721494695750963
2 3 4 5 6
(%i45) factor(1 + 498 + 498 + 498 + 498 + 498 + 498
2 3 4 5 16
+ (1 + 498 + 498 + 498 + 498 + 498 ) 498 )
(%o45) 1838679732154226309 238881800154145385095805725283249875043
2 3 4 5 6
(%i46) factor(1 + 499 + 499 + 499 + 499 + 499 + 499
2 3 4 5 16
+ (1 + 499 + 499 + 499 + 499 + 499 ) 499 )
(%o46) 2393226923 191425055239437448787151946847873842931940899987
(%o46) a.bat
(%i47)
b.txt
607,406
647,406
139,411
139,413
467,419
659,428
811,453
463,458
881,481
769,486
761,493
$gcc -Wall Autohajiku.c -o Autohajiku
$./Autohajiku
5n+2
71n+3
11n+5
97n+5
167n+5
89n+5
5n+7
13n+7
701n+7
17n+8
307n+8
491n+9
809n+9
29n+11
5n+12
43n+12
163n+12
13n+14
11n+16
5n+17
41n+17
811n+19
89n+6
37n+24
197n+26
449n+28
227n+31
103n+35
113n+35
71n+39
449n+43
37n+61
139n+65
137n+68
179n+73
709n+81
53n+86
97n+86
137n+90
197n+90
89n+95
751n+100
71n+120
193n+160
761n+166
191n+169
191n+171
811n+180
151n+188
71n+191
499n+194
389n+200
379n+208
523n+224
233n+230
193n+231
281n+234
167n+238
139n+244
349n+244
67n+256
997n+256
853n+260
853n+275
449n+295
607n+309
79n+311
191n+321
983n+325
193n+329
457n+366
557n+373
277n+376
449n+381
587n+389
863n+395
887n+395
641n+398
607n+406
647n+406
139n+411
139n+413
467n+419
659n+428
811n+453
463n+458
881n+481
769n+486
761n+493
b.txt read! 89 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
500=71x7+3
500=11x45+5
500=491x1+9
500=11x44+16
501=13x38+7
501=17x29+8
501=163x3+12
501=137x3+90
502=5x100+2
502=5x99+7
502=5x98+12
502=5x97+17
!!! 503 !!!
504=29x17+11
505=37x13+24
505=37x12+61
506=167x3+5
507=5x101+2
507=5x100+7
507=5x99+12
507=5x98+17
508=13x38+14
509=41x12+17
510=53x8+86
511=11x46+5
511=11x45+16
512=5x102+2
512=5x101+7
512=5x100+12
512=5x99+17
512=191x1+321
!!! 513 !!!
514=13x39+7
515=281x1+234
!!! 516 !!!
517=5x103+2
517=5x102+7
517=5x101+12
517=5x100+17
518=17x30+8
!!! 519 !!!
!!! 520 !!!
521=13x39+14
522=5x104+2
522=11x47+5
522=5x103+7
522=5x102+12
522=11x46+16
522=5x101+17
522=139x2+244
522=193x1+329
!!! 523 !!!
524=67x4+256
!!! 525 !!!
!!! 526 !!!
527=5x105+2
527=5x104+7
527=13x40+7
527=5x103+12
527=5x102+17
528=43x12+12
!!! 529 !!!
!!! 530 !!!
!!! 531 !!!
532=5x106+2
532=5x105+7
532=5x104+12
532=5x103+17
533=11x48+5
533=29x18+11
533=11x47+16
534=13x40+14
535=17x31+8
536=71x7+39
537=5x107+2
537=5x106+7
537=5x105+12
537=5x104+17
!!! 538 !!!
539=89x6+5
540=13x41+7
540=89x6+6
540=89x5+95
!!! 541 !!!
542=5x108+2
542=5x107+7
542=5x106+12
542=5x105+17
542=37x14+24
542=37x13+61
!!! 543 !!!
544=11x49+5
544=11x48+16
!!! 545 !!!
546=71x6+120
546=193x2+160
546=71x5+191
547=5x109+2
547=5x108+7
547=5x107+12
547=13x41+14
547=5x106+17
548=79x3+311
!!! 549 !!!
550=41x13+17
550=103x5+35
550=139x1+411
551=191x2+169
552=5x110+2
552=5x109+7
552=17x32+8
552=5x108+12
552=5x107+17
552=139x1+413
553=13x42+7
553=191x2+171
!!! 554 !!!
555=11x50+5
555=11x49+16
!!! 556 !!!
557=5x111+2
557=5x110+7
557=5x109+12
557=5x108+17
!!! 558 !!!
!!! 559 !!!
560=13x42+14
!!! 561 !!!
562=5x112+2
562=5x111+7
562=29x19+11
562=5x110+12
562=5x109+17
563=53x9+86
!!! 564 !!!
!!! 565 !!!
566=11x51+5
566=13x43+7
566=11x50+16
567=5x113+2
567=5x112+7
567=5x111+12
567=5x110+17
!!! 568 !!!
569=17x33+8
!!! 570 !!!
571=71x8+3
571=43x13+12
571=97x5+86
572=5x114+2
572=5x113+7
572=5x112+12
572=5x111+17
572=167x2+238
573=13x43+14
!!! 574 !!!
!!! 575 !!!
!!! 576 !!!
577=5x115+2
577=11x52+5
577=5x114+7
577=5x113+12
577=11x51+16
577=5x112+17
!!! 578 !!!
579=13x44+7
579=37x15+24
579=37x14+61
!!! 580 !!!
!!! 581 !!!
582=5x116+2
582=5x115+7
582=5x114+12
582=5x113+17
!!! 583 !!!
!!! 584 !!!
!!! 585 !!!
586=17x34+8
586=13x44+14
587=5x117+2
587=97x6+5
587=5x116+7
587=5x115+12
587=5x114+17
587=379x1+208
588=11x53+5
588=11x52+16
589=389x1+200
!!! 590 !!!
591=29x20+11
591=41x14+17
591=67x5+256
592=5x118+2
592=5x117+7
592=13x45+7
592=5x116+12
592=5x115+17
593=349x1+244
!!! 594 !!!
!!! 595 !!!
!!! 596 !!!
597=5x119+2
597=5x118+7
597=5x117+12
597=5x116+17
!!! 598 !!!
599=11x54+5
599=13x45+14
599=11x53+16
factor((503^5+503^4+503^3+503^2+503+1)*503^16+503^6+503^5+503^4+503^3+503^2+503+1);
factor((513^5+513^4+513^3+513^2+513+1)*513^16+513^6+513^5+513^4+513^3+513^2+513+1);
factor((516^5+516^4+516^3+516^2+516+1)*516^16+516^6+516^5+516^4+516^3+516^2+516+1);
factor((519^5+519^4+519^3+519^2+519+1)*519^16+519^6+519^5+519^4+519^3+519^2+519+1);
factor((520^5+520^4+520^3+520^2+520+1)*520^16+520^6+520^5+520^4+520^3+520^2+520+1);
factor((523^5+523^4+523^3+523^2+523+1)*523^16+523^6+523^5+523^4+523^3+523^2+523+1);
factor((525^5+525^4+525^3+525^2+525+1)*525^16+525^6+525^5+525^4+525^3+525^2+525+1);
factor((526^5+526^4+526^3+526^2+526+1)*526^16+526^6+526^5+526^4+526^3+526^2+526+1);
factor((529^5+529^4+529^3+529^2+529+1)*529^16+529^6+529^5+529^4+529^3+529^2+529+1);
factor((530^5+530^4+530^3+530^2+530+1)*530^16+530^6+530^5+530^4+530^3+530^2+530+1);
factor((531^5+531^4+531^3+531^2+531+1)*531^16+531^6+531^5+531^4+531^3+531^2+531+1);
factor((538^5+538^4+538^3+538^2+538+1)*538^16+538^6+538^5+538^4+538^3+538^2+538+1);
factor((541^5+541^4+541^3+541^2+541+1)*541^16+541^6+541^5+541^4+541^3+541^2+541+1);
factor((543^5+543^4+543^3+543^2+543+1)*543^16+543^6+543^5+543^4+543^3+543^2+543+1);
factor((545^5+545^4+545^3+545^2+545+1)*545^16+545^6+545^5+545^4+545^3+545^2+545+1);
factor((549^5+549^4+549^3+549^2+549+1)*549^16+549^6+549^5+549^4+549^3+549^2+549+1);
factor((554^5+554^4+554^3+554^2+554+1)*554^16+554^6+554^5+554^4+554^3+554^2+554+1);
factor((556^5+556^4+556^3+556^2+556+1)*556^16+556^6+556^5+556^4+556^3+556^2+556+1);
factor((558^5+558^4+558^3+558^2+558+1)*558^16+558^6+558^5+558^4+558^3+558^2+558+1);
factor((559^5+559^4+559^3+559^2+559+1)*559^16+559^6+559^5+559^4+559^3+559^2+559+1);
factor((561^5+561^4+561^3+561^2+561+1)*561^16+561^6+561^5+561^4+561^3+561^2+561+1);
factor((564^5+564^4+564^3+564^2+564+1)*564^16+564^6+564^5+564^4+564^3+564^2+564+1);
factor((565^5+565^4+565^3+565^2+565+1)*565^16+565^6+565^5+565^4+565^3+565^2+565+1);
factor((568^5+568^4+568^3+568^2+568+1)*568^16+568^6+568^5+568^4+568^3+568^2+568+1);
factor((570^5+570^4+570^3+570^2+570+1)*570^16+570^6+570^5+570^4+570^3+570^2+570+1);
factor((574^5+574^4+574^3+574^2+574+1)*574^16+574^6+574^5+574^4+574^3+574^2+574+1);
factor((575^5+575^4+575^3+575^2+575+1)*575^16+575^6+575^5+575^4+575^3+575^2+575+1);
factor((576^5+576^4+576^3+576^2+576+1)*576^16+576^6+576^5+576^4+576^3+576^2+576+1);
factor((578^5+578^4+578^3+578^2+578+1)*578^16+578^6+578^5+578^4+578^3+578^2+578+1);
factor((580^5+580^4+580^3+580^2+580+1)*580^16+580^6+580^5+580^4+580^3+580^2+580+1);
factor((581^5+581^4+581^3+581^2+581+1)*581^16+581^6+581^5+581^4+581^3+581^2+581+1);
factor((583^5+583^4+583^3+583^2+583+1)*583^16+583^6+583^5+583^4+583^3+583^2+583+1);
factor((584^5+584^4+584^3+584^2+584+1)*584^16+584^6+584^5+584^4+584^3+584^2+584+1);
factor((585^5+585^4+585^3+585^2+585+1)*585^16+585^6+585^5+585^4+585^3+585^2+585+1);
factor((590^5+590^4+590^3+590^2+590+1)*590^16+590^6+590^5+590^4+590^3+590^2+590+1);
factor((594^5+594^4+594^3+594^2+594+1)*594^16+594^6+594^5+594^4+594^3+594^2+594+1);
factor((595^5+595^4+595^3+595^2+595+1)*595^16+595^6+595^5+595^4+595^3+595^2+595+1);
factor((596^5+596^4+596^3+596^2+596+1)*596^16+596^6+596^5+596^4+596^3+596^2+596+1);
factor((598^5+598^4+598^3+598^2+598+1)*598^16+598^6+598^5+598^4+598^3+598^2+598+1);
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3 4 5 6
(%i2) factor(1 + 503 + 503 + 503 + 503 + 503 + 503
2 3 4 5 16
+ (1 + 503 + 503 + 503 + 503 + 503 ) 503 )
(%o2) 1931 8792482792487509257203 31907894928144377764254930656209
2 3 4 5 6
(%i3) factor(1 + 513 + 513 + 513 + 513 + 513 + 513
2 3 4 5 16
+ (1 + 513 + 513 + 513 + 513 + 513 ) 513 )
(%o3) 4811701 8306403488855723 20492758199147977775926872426621419
2 3 4 5 6
(%i4) factor(1 + 516 + 516 + 516 + 516 + 516 + 516
2 3 4 5 16
+ (1 + 516 + 516 + 516 + 516 + 516 ) 516 )
(%o4) 138739 82952657 81415173383 987988736827326086133900931289377
2 3 4 5 6
(%i5) factor(1 + 519 + 519 + 519 + 519 + 519 + 519
2 3 4 5 16
+ (1 + 519 + 519 + 519 + 519 + 519 ) 519 )
(%o5) 1549817 1309476048371451461507 515197958444356865675714517379
2 3 4 5 6
(%i6) factor(1 + 520 + 520 + 520 + 520 + 520 + 520
2 3 4 5 16
+ (1 + 520 + 520 + 520 + 520 + 520 ) 520 )
(%o6) 661 2774501 593635489961794751773253602185759837935840988161
2 3 4 5 6
(%i7) factor(1 + 523 + 523 + 523 + 523 + 523 + 523
2 3 4 5 16
+ (1 + 523 + 523 + 523 + 523 + 523 ) 523 )
(%o7) 946123 34008979 1179193973 9653950843 3353784274393064091911399
2 3 4 5 6
(%i8) factor(1 + 525 + 525 + 525 + 525 + 525 + 525
2 3 4 5 16
+ (1 + 525 + 525 + 525 + 525 + 525 ) 525 )
(%o8) 1663 154871 141103279621 36624687527349107659129225767060733697
2 3 4 5 6
(%i9) factor(1 + 526 + 526 + 526 + 526 + 526 + 526
2 3 4 5 16
+ (1 + 526 + 526 + 526 + 526 + 526 ) 526 )
(%o9) 1549 1483787 602704020377683549021897844831181817396708916501
2 3 4 5 6
(%i10) factor(1 + 529 + 529 + 529 + 529 + 529 + 529
2 3 4 5 16
+ (1 + 529 + 529 + 529 + 529 + 529 ) 529 )
(%o10) 128089903 12186415051368360657227795717691768627325115712067
2 3 4 5 6
(%i11) factor(1 + 530 + 530 + 530 + 530 + 530 + 530
2 3 4 5 16
+ (1 + 530 + 530 + 530 + 530 + 530 ) 530 )
(%o11) 181726019 6583198513 1357561131627972065897114362996837122773
2 3 4 5 6
(%i12) factor(1 + 531 + 531 + 531 + 531 + 531 + 531
2 3 4 5 16
+ (1 + 531 + 531 + 531 + 531 + 531 ) 531 )
(%o12) 15467 5958319 218172349 84037679145884622106191829777793095649
2 3 4 5 6
(%i13) factor(1 + 538 + 538 + 538 + 538 + 538 + 538
2 3 4 5 16
+ (1 + 538 + 538 + 538 + 538 + 538 ) 538 )
(%o13) 8435831 1849977519028153813 142541543564567211287726626675229
2 3 4 5 6
(%i14) factor(1 + 541 + 541 + 541 + 541 + 541 + 541
2 3 4 5 16
+ (1 + 541 + 541 + 541 + 541 + 541 ) 541 )
(%o14) 2079934651 38425297297188049 31280893238353898332344258216007
2 3 4 5 6
(%i15) factor(1 + 543 + 543 + 543 + 543 + 543 + 543
2 3 4 5 16
+ (1 + 543 + 543 + 543 + 543 + 543 ) 543 )
(%o15) 1429 15037111035344616351774079 125718829539218722314440115907
2 3 4 5 6
(%i16) factor(1 + 545 + 545 + 545 + 545 + 545 + 545
2 3 4 5 16
+ (1 + 545 + 545 + 545 + 545 + 545 ) 545 )
(%o16) 1213 1844411 1443983743 903323569672209245563245928655082379229
2 3 4 5 6
(%i17) factor(1 + 549 + 549 + 549 + 549 + 549 + 549
2 3 4 5 16
+ (1 + 549 + 549 + 549 + 549 + 549 ) 549 )
(%o17) 9551 4713656267 20964217297 3605168870399063419074062231344249
2 3 4 5 6
(%i18) factor(1 + 554 + 554 + 554 + 554 + 554 + 554
2 3 4 5 16
+ (1 + 554 + 554 + 554 + 554 + 554 ) 554 )
(%o18) 4116135782022721193700881202306656389754118950786491035751
素数ですね。
2 3 4 5 6
(%i19) factor(1 + 556 + 556 + 556 + 556 + 556 + 556
2 3 4 5 16
+ (1 + 556 + 556 + 556 + 556 + 556 ) 556 )
(%o19) 5443 4038421 201977273701856003052245640045446844658897977091
2 3 4 5 6
(%i20) factor(1 + 558 + 558 + 558 + 558 + 558 + 558
2 3 4 5 16
+ (1 + 558 + 558 + 558 + 558 + 558 ) 558 )
(%o20) 125084653 183036480633149847607097 209100704782062916978495007
2 3 4 5 6
(%i21) factor(1 + 559 + 559 + 559 + 559 + 559 + 559
2 3 4 5 16
+ (1 + 559 + 559 + 559 + 559 + 559 ) 559 )
(%o21) 3042380050452811 1633849727107516789879879453967314865320291
2 3 4 5 6
(%i22) factor(1 + 561 + 561 + 561 + 561 + 561 + 561
2 3 4 5 16
+ (1 + 561 + 561 + 561 + 561 + 561 ) 561 )
(%o22) 499 1634230579 6570237103372851141585681908142172783806392773
2 3 4 5 6
(%i23) factor(1 + 564 + 564 + 564 + 564 + 564 + 564
2 3 4 5 16
+ (1 + 564 + 564 + 564 + 564 + 564 ) 564 )
(%o23) 3067 26209 190686790873 216618659833 1804891881256209490434622063
2 3 4 5 6
(%i24) factor(1 + 565 + 565 + 565 + 565 + 565 + 565
2 3 4 5 16
+ (1 + 565 + 565 + 565 + 565 + 565 ) 565 )
(%o24) 7481 117303312571 7087887517376578947885732119694948483565391
2 3 4 5 6
(%i25) factor(1 + 568 + 568 + 568 + 568 + 568 + 568
2 3 4 5 16
+ (1 + 568 + 568 + 568 + 568 + 568 ) 568 )
(%o25) 1213 7583 911479553 274005234553 72735776521571 41602995317961977
2 3 4 5 6
(%i26) factor(1 + 570 + 570 + 570 + 570 + 570 + 570
2 3 4 5 16
+ (1 + 570 + 570 + 570 + 570 + 570 ) 570 )
(%o26) 396834569 7034883747167 307171936143621257 8727434556471223961
2 3 4 5 6
(%i27) factor(1 + 574 + 574 + 574 + 574 + 574 + 574
2 3 4 5 16
+ (1 + 574 + 574 + 574 + 574 + 574 ) 574 )
(%o27) 241 701 938242311483823 54683579621279521778503732500782408057
2 3 4 5 6
(%i28) factor(1 + 575 + 575 + 575 + 575 + 575 + 575
2 3 4 5 16
+ (1 + 575 + 575 + 575 + 575 + 575 ) 575 )
(%o28) 12281 452531 4109293 10245593577187 35753636976719 1074667623947579
2 3 4 5 6
(%i29) factor(1 + 576 + 576 + 576 + 576 + 576 + 576
2 3 4 5 16
+ (1 + 576 + 576 + 576 + 576 + 576 ) 576 )
(%o29) 338296616503 125515127558302367 219600368553269302574326977113
2 3 4 5 6
(%i30) factor(1 + 578 + 578 + 578 + 578 + 578 + 578
2 3 4 5 16
+ (1 + 578 + 578 + 578 + 578 + 578 ) 578 )
(%o30) 92357 204301 531491498654629872962011450059909305434439232191
2 3 4 5 6
(%i31) factor(1 + 580 + 580 + 580 + 580 + 580 + 580
2 3 4 5 16
+ (1 + 580 + 580 + 580 + 580 + 580 ) 580 )
(%o31) 10782942631969057881768127800437588689551398134441581208981
素数ですね。
2 3 4 5 6
(%i32) factor(1 + 581 + 581 + 581 + 581 + 581 + 581
2 3 4 5 16
+ (1 + 581 + 581 + 581 + 581 + 581 ) 581 )
(%o32) 2435002273385993151703558159 4591425564613467482437483814947
2 3 4 5 6
(%i33) factor(1 + 583 + 583 + 583 + 583 + 583 + 583
2 3 4 5 16
+ (1 + 583 + 583 + 583 + 583 + 583 ) 583 )
(%o33) 67261 2449451 7459344197887 9778055473002793649823990963744641
2 3 4 5 6
(%i34) factor(1 + 584 + 584 + 584 + 584 + 584 + 584
2 3 4 5 16
+ (1 + 584 + 584 + 584 + 584 + 584 ) 584 )
(%o34) 146510079187 85024987866678062866739131861230193665547699123
2 3 4 5 6
(%i35) factor(1 + 585 + 585 + 585 + 585 + 585 + 585
2 3 4 5 16
+ (1 + 585 + 585 + 585 + 585 + 585 ) 585 )
(%o35) 881 460850449 5260229845331 55585297985449 108771626841188797351
2 3 4 5 6
(%i36) factor(1 + 590 + 590 + 590 + 590 + 590 + 590
2 3 4 5 16
+ (1 + 590 + 590 + 590 + 590 + 590 ) 590 )
(%o36) 234758617 97489463165874851 674605286320704379205828387439473
2 3 4 5 6
(%i37) factor(1 + 594 + 594 + 594 + 594 + 594 + 594
2 3 4 5 16
+ (1 + 594 + 594 + 594 + 594 + 594 ) 594 )
(%o37) 17792914679124842294926844003935764949468897869993414540751
素数ですね。
2 3 4 5 6
(%i38) factor(1 + 595 + 595 + 595 + 595 + 595 + 595
2 3 4 5 16
+ (1 + 595 + 595 + 595 + 595 + 595 ) 595 )
(%o38) 353 7817 100620055592859018871 66387670646551656775921229044351
2 3 4 5 6
(%i39) factor(1 + 596 + 596 + 596 + 596 + 596 + 596
2 3 4 5 16
+ (1 + 596 + 596 + 596 + 596 + 596 ) 596 )
(%o39) 2053 133757580581710954007 69533388602744441772247574906811143
2 3 4 5 6
(%i40) factor(1 + 598 + 598 + 598 + 598 + 598 + 598
2 3 4 5 16
+ (1 + 598 + 598 + 598 + 598 + 598 ) 598 )
(%o40) 1609 12731971931453333010035936469444396234975002966789390443
(%o40) a.bat
b.txt
661,520
499,561
241,574
701,574
353,595