(x^5+x^4+x^3+x^2+x+1)*x^15+x^6+x^5+x^4+x^3+x^2+x+1
Ver.1.001 2012.01.15
変更履歴
2012.01.09 Ver.1.000 新規作成
2012.01.15 Ver.1.001 文字幅修正
多項式
(x^5+x^4+x^3+x^2+x+1)*x^15+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^15+x^6+x^5+x^4+x^3+x^2+x+1);
20 19
18 17 16
15 6 5
4 3 2
(%o1) x + x + x + x +
x + x + x + x + x + x +
x + x + 1
因数分解されない。
2から20まで見てみる。
for x:2 while x<20 do(
y:factor((x^5+x^4+x^3+x^2+x+1)*x^15+x^6+x^5+x^4+x^3+x^2+x+1),
print(" x=",x),
print("factor(x)=",y)
);
というe6.batを作成し、maximaで実行させた。
(%i2) batch("e6.bat");
read and interpret file: e6.bat
(%i3) for x from 2 while x < 20 do (y :
2 3 4
5
6
2 3 4
5 15
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)= 2064511
x= 3
factor(x)= 5223003241
x= 4
factor(x)= 1465657595221
x= 5
factor(x)= 19 286801 21874999
x= 6
factor(x)= 17 7071409 36495731
x= 7
factor(x)= 17 23 49747 4785862813
x= 8
factor(x)= 1317619550354969161
x= 9
factor(x)= 11 90353 13761527166727
x= 10
factor(x)= 9151 422369 28747260569
x= 11
factor(x)= 740024576701001017273
x= 12
factor(x)= 4182282227486196610141
x= 13
factor(x)= 22386600707 919688824583
x= 14
factor(x)= 13 653 1593592463 6660572173
x= 15
factor(x)= 356277475516113293454241
x= 16
factor(x)= 181 7124424294995418952813
x= 17
factor(x)= 23 2111 251917 353048038700281
x= 18
factor(x)= 27945347 211585193 2282857981
x= 19
factor(x)= 389 17599 90364733 64138166887
(%o3)
done
(%o3)
e6.bat
(%i4)
これより、b.txtは、
19,5
17,6
17,7
23,7
11,9
13,14
653,14
181,16
23,17
389,19
また、Autohajiku.cを変更する。
#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^15+%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);
}
b.txtとAutohajiku.cを用意して、
$gcc -Wall Autohajiku.c
-o Autohajiku
$./Autohajiku
19n+5
17n+6
17n+7
23n+7
11n+9
13n+14
653n+14
181n+16
23n+17
389n+19
b.txt read! 10 個
$gcc -Wall hajiku-6.c -o
hajiku-6
$./hajiku-6
!!! 1 !!!
!!! 2 !!!
!!! 3 !!!
!!! 4 !!!
5=19x0+5
6=17x0+6
7=17x0+7
7=23x0+7
!!! 8 !!!
9=11x0+9
!!! 10 !!!
!!! 11 !!!
!!! 12 !!!
!!! 13 !!!
14=13x0+14
14=653x0+14
!!! 15 !!!
16=181x0+16
17=23x0+17
!!! 18 !!!
19=389x0+19
20=11x1+9
!!! 21 !!!
!!! 22 !!!
23=17x1+6
24=19x1+5
24=17x1+7
!!! 25 !!!
!!! 26 !!!
27=13x1+14
!!! 28 !!!
!!! 29 !!!
30=23x1+7
31=11x2+9
!!! 32 !!!
!!! 33 !!!
!!! 34 !!!
!!! 35 !!!
!!! 36 !!!
!!! 37 !!!
!!! 38 !!!
!!! 39 !!!
40=17x2+6
40=13x2+14
40=23x1+17
41=17x2+7
42=11x3+9
43=19x2+5
!!! 44 !!!
!!! 45 !!!
!!! 46 !!!
!!! 47 !!!
!!! 48 !!!
!!! 49 !!!
!!! 50 !!!
!!! 51 !!!
!!! 52 !!!
53=23x2+7
53=11x4+9
53=13x3+14
!!! 54 !!!
!!! 55 !!!
!!! 56 !!!
57=17x3+6
58=17x3+7
!!! 59 !!!
!!! 60 !!!
!!! 61 !!!
62=19x3+5
63=23x2+17
64=11x5+9
!!! 65 !!!
66=13x4+14
!!! 67 !!!
!!! 68 !!!
!!! 69 !!!
!!! 70 !!!
!!! 71 !!!
!!! 72 !!!
!!! 73 !!!
74=17x4+6
75=17x4+7
75=11x6+9
76=23x3+7
!!! 77 !!!
!!! 78 !!!
79=13x5+14
!!! 80 !!!
81=19x4+5
!!! 82 !!!
!!! 83 !!!
!!! 84 !!!
!!! 85 !!!
86=11x7+9
86=23x3+17
!!! 87 !!!
!!! 88 !!!
!!! 89 !!!
!!! 90 !!!
91=17x5+6
92=17x5+7
92=13x6+14
!!! 93 !!!
!!! 94 !!!
!!! 95 !!!
!!! 96 !!!
97=11x8+9
!!! 98 !!!
99=23x4+7
100=19x5+5
また、hajiku-6.cの実行により、a.batが生成されている。
factor((1^5+1^4+1^3+1^2+1+1)*1^15+1^6+1^5+1^4+1^3+1^2+1+1);
factor((2^5+2^4+2^3+2^2+2+1)*2^15+2^6+2^5+2^4+2^3+2^2+2+1);
factor((3^5+3^4+3^3+3^2+3+1)*3^15+3^6+3^5+3^4+3^3+3^2+3+1);
factor((4^5+4^4+4^3+4^2+4+1)*4^15+4^6+4^5+4^4+4^3+4^2+4+1);
factor((8^5+8^4+8^3+8^2+8+1)*8^15+8^6+8^5+8^4+8^3+8^2+8+1);
factor((10^5+10^4+10^3+10^2+10+1)*10^15+10^6+10^5+10^4+10^3+10^2+10+1);
factor((11^5+11^4+11^3+11^2+11+1)*11^15+11^6+11^5+11^4+11^3+11^2+11+1);
factor((12^5+12^4+12^3+12^2+12+1)*12^15+12^6+12^5+12^4+12^3+12^2+12+1);
factor((13^5+13^4+13^3+13^2+13+1)*13^15+13^6+13^5+13^4+13^3+13^2+13+1);
factor((15^5+15^4+15^3+15^2+15+1)*15^15+15^6+15^5+15^4+15^3+15^2+15+1);
factor((18^5+18^4+18^3+18^2+18+1)*18^15+18^6+18^5+18^4+18^3+18^2+18+1);
factor((21^5+21^4+21^3+21^2+21+1)*21^15+21^6+21^5+21^4+21^3+21^2+21+1);
factor((22^5+22^4+22^3+22^2+22+1)*22^15+22^6+22^5+22^4+22^3+22^2+22+1);
factor((25^5+25^4+25^3+25^2+25+1)*25^15+25^6+25^5+25^4+25^3+25^2+25+1);
factor((26^5+26^4+26^3+26^2+26+1)*26^15+26^6+26^5+26^4+26^3+26^2+26+1);
factor((28^5+28^4+28^3+28^2+28+1)*28^15+28^6+28^5+28^4+28^3+28^2+28+1);
factor((29^5+29^4+29^3+29^2+29+1)*29^15+29^6+29^5+29^4+29^3+29^2+29+1);
factor((32^5+32^4+32^3+32^2+32+1)*32^15+32^6+32^5+32^4+32^3+32^2+32+1);
factor((33^5+33^4+33^3+33^2+33+1)*33^15+33^6+33^5+33^4+33^3+33^2+33+1);
factor((34^5+34^4+34^3+34^2+34+1)*34^15+34^6+34^5+34^4+34^3+34^2+34+1);
factor((35^5+35^4+35^3+35^2+35+1)*35^15+35^6+35^5+35^4+35^3+35^2+35+1);
factor((36^5+36^4+36^3+36^2+36+1)*36^15+36^6+36^5+36^4+36^3+36^2+36+1);
factor((37^5+37^4+37^3+37^2+37+1)*37^15+37^6+37^5+37^4+37^3+37^2+37+1);
factor((38^5+38^4+38^3+38^2+38+1)*38^15+38^6+38^5+38^4+38^3+38^2+38+1);
factor((39^5+39^4+39^3+39^2+39+1)*39^15+39^6+39^5+39^4+39^3+39^2+39+1);
factor((44^5+44^4+44^3+44^2+44+1)*44^15+44^6+44^5+44^4+44^3+44^2+44+1);
factor((45^5+45^4+45^3+45^2+45+1)*45^15+45^6+45^5+45^4+45^3+45^2+45+1);
factor((46^5+46^4+46^3+46^2+46+1)*46^15+46^6+46^5+46^4+46^3+46^2+46+1);
factor((47^5+47^4+47^3+47^2+47+1)*47^15+47^6+47^5+47^4+47^3+47^2+47+1);
factor((48^5+48^4+48^3+48^2+48+1)*48^15+48^6+48^5+48^4+48^3+48^2+48+1);
factor((49^5+49^4+49^3+49^2+49+1)*49^15+49^6+49^5+49^4+49^3+49^2+49+1);
factor((50^5+50^4+50^3+50^2+50+1)*50^15+50^6+50^5+50^4+50^3+50^2+50+1);
factor((51^5+51^4+51^3+51^2+51+1)*51^15+51^6+51^5+51^4+51^3+51^2+51+1);
factor((52^5+52^4+52^3+52^2+52+1)*52^15+52^6+52^5+52^4+52^3+52^2+52+1);
factor((54^5+54^4+54^3+54^2+54+1)*54^15+54^6+54^5+54^4+54^3+54^2+54+1);
factor((55^5+55^4+55^3+55^2+55+1)*55^15+55^6+55^5+55^4+55^3+55^2+55+1);
factor((56^5+56^4+56^3+56^2+56+1)*56^15+56^6+56^5+56^4+56^3+56^2+56+1);
factor((59^5+59^4+59^3+59^2+59+1)*59^15+59^6+59^5+59^4+59^3+59^2+59+1);
factor((60^5+60^4+60^3+60^2+60+1)*60^15+60^6+60^5+60^4+60^3+60^2+60+1);
factor((61^5+61^4+61^3+61^2+61+1)*61^15+61^6+61^5+61^4+61^3+61^2+61+1);
factor((65^5+65^4+65^3+65^2+65+1)*65^15+65^6+65^5+65^4+65^3+65^2+65+1);
factor((67^5+67^4+67^3+67^2+67+1)*67^15+67^6+67^5+67^4+67^3+67^2+67+1);
factor((68^5+68^4+68^3+68^2+68+1)*68^15+68^6+68^5+68^4+68^3+68^2+68+1);
factor((69^5+69^4+69^3+69^2+69+1)*69^15+69^6+69^5+69^4+69^3+69^2+69+1);
factor((70^5+70^4+70^3+70^2+70+1)*70^15+70^6+70^5+70^4+70^3+70^2+70+1);
factor((71^5+71^4+71^3+71^2+71+1)*71^15+71^6+71^5+71^4+71^3+71^2+71+1);
factor((72^5+72^4+72^3+72^2+72+1)*72^15+72^6+72^5+72^4+72^3+72^2+72+1);
factor((73^5+73^4+73^3+73^2+73+1)*73^15+73^6+73^5+73^4+73^3+73^2+73+1);
factor((77^5+77^4+77^3+77^2+77+1)*77^15+77^6+77^5+77^4+77^3+77^2+77+1);
factor((78^5+78^4+78^3+78^2+78+1)*78^15+78^6+78^5+78^4+78^3+78^2+78+1);
factor((80^5+80^4+80^3+80^2+80+1)*80^15+80^6+80^5+80^4+80^3+80^2+80+1);
factor((82^5+82^4+82^3+82^2+82+1)*82^15+82^6+82^5+82^4+82^3+82^2+82+1);
factor((83^5+83^4+83^3+83^2+83+1)*83^15+83^6+83^5+83^4+83^3+83^2+83+1);
factor((84^5+84^4+84^3+84^2+84+1)*84^15+84^6+84^5+84^4+84^3+84^2+84+1);
factor((85^5+85^4+85^3+85^2+85+1)*85^15+85^6+85^5+85^4+85^3+85^2+85+1);
factor((87^5+87^4+87^3+87^2+87+1)*87^15+87^6+87^5+87^4+87^3+87^2+87+1);
factor((88^5+88^4+88^3+88^2+88+1)*88^15+88^6+88^5+88^4+88^3+88^2+88+1);
factor((89^5+89^4+89^3+89^2+89+1)*89^15+89^6+89^5+89^4+89^3+89^2+89+1);
factor((90^5+90^4+90^3+90^2+90+1)*90^15+90^6+90^5+90^4+90^3+90^2+90+1);
factor((93^5+93^4+93^3+93^2+93+1)*93^15+93^6+93^5+93^4+93^3+93^2+93+1);
factor((94^5+94^4+94^3+94^2+94+1)*94^15+94^6+94^5+94^4+94^3+94^2+94+1);
factor((95^5+95^4+95^3+95^2+95+1)*95^15+95^6+95^5+95^4+95^3+95^2+95+1);
factor((96^5+96^4+96^3+96^2+96+1)*96^15+96^6+96^5+96^4+96^3+96^2+96+1);
factor((98^5+98^4+98^3+98^2+98+1)*98^15+98^6+98^5+98^4+98^3+98^2+98+1);
maximaを起動して、a.batを実行させた。
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3 4
5
6
2 3 4
5 15
(%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 15
(%i3) factor(1 + 2 + 2 +
2 + 2 + 2 + 2 + (1 + 2 + 2 + 2 +
2 + 2 ) 2 )
(%o3)
2064511
素数ですね。
2 3 4
5
6
2 3 4
5 15
(%i4) factor(1 + 3 + 3 +
3 + 3 + 3 + 3 + (1 + 3 + 3 + 3 +
3 + 3 ) 3 )
(%o4)
5223003241
素数ですね。
2 3 4
5
6
2 3 4
5 15
(%i5) factor(1 + 4 + 4 +
4 + 4 + 4 + 4 + (1 + 4 + 4 + 4 +
4 + 4 ) 4 )
(%o5)
1465657595221
素数ですね。
2 3 4
5
6
2 3 4
5 15
(%i6) factor(1 + 8 + 8 +
8 + 8 + 8 + 8 + (1 + 8 + 8 + 8 +
8 + 8 ) 8 )
(%o6)
1317619550354969161
素数ですね。
2 3
4 5 6
(%i7) factor(1 + 10 + 10 +
10 + 10 + 10 + 10
2 3
4 5 15
+ (1 + 10 + 10 + 10 + 10 + 10 ) 10 )
(%o7)
9151 422369 28747260569
2 3
4 5 6
(%i8) factor(1 + 11 + 11 +
11 + 11 + 11 + 11
2 3
4 5 15
+ (1 + 11 + 11 + 11 + 11 + 11 ) 11 )
(%o8)
740024576701001017273
素数ですね。
2 3
4 5 6
(%i9) factor(1 + 12 + 12 +
12 + 12 + 12 + 12
2 3
4 5 15
+ (1 + 12 + 12 + 12 + 12 + 12 ) 12 )
(%o9)
4182282227486196610141
素数ですね。
2 3
4 5 6
(%i10) factor(1 + 13 + 13 +
13 + 13 + 13 + 13
2 3
4 5 15
+ (1 + 13 + 13 + 13 + 13 + 13 ) 13 )
(%o10)
22386600707 919688824583
2 3
4 5 6
(%i11) factor(1 + 15 + 15 +
15 + 15 + 15 + 15
2 3
4 5 15
+ (1 + 15 + 15 + 15 + 15 + 15 ) 15 )
(%o11)
356277475516113293454241
素数ですね。
2 3
4 5 6
(%i12) factor(1 + 18 + 18 +
18 + 18 + 18 + 18
2 3
4 5 15
+ (1 + 18 + 18 + 18 + 18 + 18 ) 18 )
(%o12)
27945347 211585193 2282857981
2 3
4 5 6
(%i13) factor(1 + 21 + 21 +
21 + 21 + 21 + 21
2 3
4 5 15
+ (1 + 21 + 21 + 21 + 21 + 21 ) 21 )
(%o13)
61 27803 172247804083639515851
2 3
4 5 6
(%i14) factor(1 + 22 + 22 +
22 + 22 + 22 + 22
2 3
4 5 15
+ (1 + 22 + 22 + 22 + 22 + 22 ) 22 )
(%o14)
251 2944308259195754308415321
2 3
4 5 6
(%i15) factor(1 + 25 + 25 +
25 + 25 + 25 + 25
2 3
4 5 15
+ (1 + 25 + 25 + 25 + 25 + 25 ) 25 )
(%o15)
109 1063 81765326664735388012903
2 3
4 5 6
(%i16) factor(1 + 26 + 26 +
26 + 26 + 26 + 26
2 3
4 5 15
+ (1 + 26 + 26 + 26 + 26 + 26 ) 26 )
(%o16)
8941 340778299 6802088398454857
2 3
4 5 6
(%i17) factor(1 + 28 + 28 +
28 + 28 + 28 + 28
2 3
4 5 15
+ (1 + 28 + 28 + 28 + 28 + 28 ) 28 )
(%o17)
41 61 26759 1359475301400271708399
2 3
4 5 6
(%i18) factor(1 + 29 + 29 +
29 + 29 + 29 + 29
2 3
4 5 15
+ (1 + 29 + 29 + 29 + 29 + 29 ) 29 )
(%o18)
251 17306500899511 42200435521961
2 3
4 5 6
(%i19) factor(1 + 32 + 32 +
32 + 32 + 32 + 32
2 3
4 5 15
+ (1 + 32 + 32 + 32 + 32 + 32 ) 32 )
(%o19)
89 149 7517 14648754431 896120322583
2 3
4 5 6
(%i20) factor(1 + 33 + 33 +
33 + 33 + 33 + 33
2 3
4 5 15
+ (1 + 33 + 33 + 33 + 33 + 33 ) 33 )
(%o20)
59 149 275172151019090799449602171
2 3
4 5 6
(%i21) factor(1 + 34 + 34 +
34 + 34 + 34 + 34
2 3
4 5 15
+ (1 + 34 + 34 + 34 + 34 + 34 ) 34 )
(%o21)
83 32009 1652696543825716090490653
2 3
4 5 6
(%i22) factor(1 + 35 + 35 +
35 + 35 + 35 + 35
2 3
4 5 15
+ (1 + 35 + 35 + 35 + 35 + 35 ) 35 )
(%o22)
269 114997 253227707501056660128377
2 3
4 5 6
(%i23) factor(1 + 36 + 36 +
36 + 36 + 36 + 36
2 3
4 5 15
+ (1 + 36 + 36 + 36 + 36 + 36 ) 36 )
(%o23)
113 1259 1453 7534559939 8827887531257
2 3
4 5 6
(%i24) factor(1 + 37 + 37 +
37 + 37 + 37 + 37
2 3
4 5 15
+ (1 + 37 + 37 + 37 + 37 + 37 ) 37 )
(%o24)
131 1723 2998357 33669821 1042924771381
2 3
4 5 6
(%i25) factor(1 + 38 + 38 +
38 + 38 + 38 + 38
2 3
4 5 15
+ (1 + 38 + 38 + 38 + 38 + 38 ) 38 )
(%o25)
40481239778780914446224503960531
素数ですね。
2 3
4 5 6
(%i26) factor(1 + 39 + 39 +
39 + 39 + 39 + 39
2 3
4 5 15
+ (1 + 39 + 39 + 39 + 39 + 39 ) 39 )
(%o26)
463 701 209543475000206092419995147
2 3
4 5 6
(%i27) factor(1 + 44 + 44 +
44 + 44 + 44 + 44
2 3
4 5 15
+ (1 + 44 + 44 + 44 + 44 + 44 ) 44 )
(%o27)
1223 28477 1363391745347 15940296601213
2 3
4 5 6
(%i28) factor(1 + 45 + 45 +
45 + 45 + 45 + 45
2 3
4 5 15
+ (1 + 45 + 45 + 45 + 45 + 45 ) 45 )
(%o28)
248835881747 4765375279987465857143
2 3
4 5 6
(%i29) factor(1 + 46 + 46 +
46 + 46 + 46 + 46
2 3
4 5 15
+ (1 + 46 + 46 + 46 + 46 + 46 ) 46 )
(%o29)
58151 31633319221852562475746290733
2 3
4 5 6
(%i30) factor(1 + 47 + 47 +
47 + 47 + 47 + 47
2 3
4 5 15
+ (1 + 47 + 47 + 47 + 47 + 47 ) 47 )
(%o30)
19661 253801 344783401 1643054251519061
2 3
4 5 6
(%i31) factor(1 + 48 + 48 +
48 + 48 + 48 + 48
2 3
4 5 15
+ (1 + 48 + 48 + 48 + 48 + 48 ) 48 )
(%o31)
30204479 142526879901868845039200399
2 3
4 5 6
(%i32) factor(1 + 49 + 49 +
49 + 49 + 49 + 49
2 3
4 5 15
+ (1 + 49 + 49 + 49 + 49 + 49 ) 49 )
(%o32)
167 59192180221 657499815723424431143
2 3
4 5 6
(%i33) factor(1 + 50 + 50 +
50 + 50 + 50 + 50
2 3
4 5 15
+ (1 + 50 + 50 + 50 + 50 + 50 ) 50 )
(%o33)
1171 1397679133 5945790936079606230457
2 3
4 5 6
(%i34) factor(1 + 51 + 51 +
51 + 51 + 51 + 51
2 3
4 5 15
+ (1 + 51 + 51 + 51 + 51 + 51 ) 51 )
2
(%o34)
79 607 3815582252175363588852495799
2 3
4 5 6
(%i35) factor(1 + 52 + 52 +
52 + 52 + 52 + 52
2 3
4 5 15
+ (1 + 52 + 52 + 52 + 52 + 52 ) 52 )
(%o35)
601 35450761477735827191962567314061
2 3
4 5 6
(%i36) factor(1 + 54 + 54 +
54 + 54 + 54 + 54
2 3
4 5 15
+ (1 + 54 + 54 + 54 + 54 + 54 ) 54 )
(%o36)
197 90917 452269 5590941432802473552391
2 3
4 5 6
(%i37) factor(1 + 55 + 55 +
55 + 55 + 55 + 55
2 3
4 5 15
+ (1 + 55 + 55 + 55 + 55 + 55 ) 55 )
(%o37)
200000372156692087 326732183993027863
2 3
4 5 6
(%i38) factor(1 + 56 + 56 +
56 + 56 + 56 + 56
2 3
4 5 15
+ (1 + 56 + 56 + 56 + 56 + 56 ) 56 )
(%o38)
93666841889447454669204102738627193
素数ですね。
2 3
4 5 6
(%i39) factor(1 + 59 + 59 +
59 + 59 + 59 + 59
2 3
4 5 15
+ (1 + 59 + 59 + 59 + 59 + 59 ) 59 )
(%o39)
353 752817221569079068084304377283897
2 3
4 5 6
(%i40) factor(1 + 60 + 60 +
60 + 60 + 60 + 60
2 3
4 5 15
+ (1 + 60 + 60 + 60 + 60 + 60 ) 60 )
(%o40)
1553 239415790541081460873148774917437
2 3
4 5 6
(%i41) factor(1 + 61 + 61 +
61 + 61 + 61 + 61
2 3
4 5 15
+ (1 + 61 + 61 + 61 + 61 + 61 ) 61 )
(%o41)
14843 262133 231848423 573492514037153429
2 3
4 5 6
(%i42) factor(1 + 65 + 65 +
65 + 65 + 65 + 65
2 3
4 5 15
+ (1 + 65 + 65 + 65 + 65 + 65 ) 65 )
(%o42)
18256051786477 100830902979903983430433
2 3
4 5 6
(%i43) factor(1 + 67 + 67 +
67 + 67 + 67 + 67
2 3
4 5 15
+ (1 + 67 + 67 + 67 + 67 + 67 ) 67 )
(%o43)
229 3877 6092081141 623634250118506528877
2 3
4 5 6
(%i44) factor(1 + 68 + 68 +
68 + 68 + 68 + 68
2 3
4 5 15
+ (1 + 68 + 68 + 68 + 68 + 68 ) 68 )
(%o44)
151 569 52786534434369666281938618671179
2 3
4 5 6
(%i45) factor(1 + 69 + 69 +
69 + 69 + 69 + 69
2 3
4 5 15
+ (1 + 69 + 69 + 69 + 69 + 69 ) 69 )
(%o45)
41 33479 41659 90310327 1175761954580834503
2 3
4 5 6
(%i46) factor(1 + 70 + 70 +
70 + 70 + 70 + 70
2 3
4 5 15
+ (1 + 70 + 70 + 70 + 70 + 70 ) 70 )
(%o46)
79 102466678422039340577886077460177949
2 3
4 5 6
(%i47) factor(1 + 71 + 71 +
71 + 71 + 71 + 71
2 3
4 5 15
+ (1 + 71 + 71 + 71 + 71 + 71 ) 71 )
(%o47)
47 73 4111 5843 4428103 29451369041669596597
2 3
4 5 6
(%i48) factor(1 + 72 + 72 +
72 + 72 + 72 + 72
2 3
4 5 15
+ (1 + 72 + 72 + 72 + 72 + 72 ) 72 )
(%o48)
997 14257025225666627699446231567771093
2 3
4 5 6
(%i49) factor(1 + 73 + 73 +
73 + 73 + 73 + 73
2 3
4 5 15
+ (1 + 73 + 73 + 73 + 73 + 73 ) 73 )
(%o49)
83 4289 52603352999975332712915810471983
2 3
4 5 6
(%i50) factor(1 + 77 + 77 +
77 + 77 + 77 + 77
2 3
4 5 15
+ (1 + 77 + 77 + 77 + 77 + 77 ) 77 )
(%o50)
1217 10589 149111 930079 30431025527679292913
2 3
4 5 6
(%i51) factor(1 + 78 + 78 +
78 + 78 + 78 + 78
2 3
4 5 15
+ (1 + 78 + 78 + 78 + 78 + 78 ) 78 )
(%o51)
2753 448371437369881 57023225712772876787
2 3
4 5 6
(%i52) factor(1 + 80 + 80 +
80 + 80 + 80 + 80
2 3
4 5 15
+ (1 + 80 + 80 + 80 + 80 + 80 ) 80 )
(%o52)
14821 7877440440582163553349436628126461
2 3
4 5 6
(%i53) factor(1 + 82 + 82 +
82 + 82 + 82 + 82
2 3
4 5 15
+ (1 + 82 + 82 + 82 + 82 + 82 ) 82 )
(%o53)
61 257 8093 11953 11264467 11195559847403688541
2 3
4 5 6
(%i54) factor(1 + 83 + 83 +
83 + 83 + 83 + 83
2 3
4 5 15
+ (1 + 83 + 83 + 83 + 83 + 83 ) 83 )
(%o54)
7121 34220401581296065889008929334698041
2 3
4 5 6
(%i55) factor(1 + 84 + 84 +
84 + 84 + 84 + 84
2 3
4 5 15
+ (1 + 84 + 84 + 84 + 84 + 84 ) 84 )
(%o55)
183581 188011 1117267 8028214228238071628153
2 3
4 5 6
(%i56) factor(1 + 85 + 85 +
85 + 85 + 85 + 85
2 3
4 5 15
+ (1 + 85 + 85 + 85 + 85 + 85 ) 85 )
(%o56)
1279 7188898991 42656500940622540491128949
2 3
4 5 6
(%i57) factor(1 + 87 + 87 +
87 + 87 + 87 + 87
2 3
4 5 15
+ (1 + 87 + 87 + 87 + 87 + 87 ) 87 )
(%o57)
137 1878931 5803739 7155059 58405448328686003
2 3
4 5 6
(%i58) factor(1 + 88 + 88 +
88 + 88 + 88 + 88
2 3
4 5 15
+ (1 + 88 + 88 + 88 + 88 + 88 ) 88 )
(%o58)
192944359789 4066162912845653010579982429
2 3
4 5 6
(%i59) factor(1 + 89 + 89 +
89 + 89 + 89 + 89
2 3
4 5 15
+ (1 + 89 + 89 + 89 + 89 + 89 ) 89 )
(%o59)
61 87842665302659581 183515236531765439221
2 3
4 5 6
(%i60) factor(1 + 90 + 90 +
90 + 90 + 90 + 90
2 3
4 5 15
+ (1 + 90 + 90 + 90 + 90 + 90 ) 90 )
(%o60)
1873541 141801799 4627620639867009745295549
2 3
4 5 6
(%i61) factor(1 + 93 + 93 +
93 + 93 + 93 + 93
2 3
4 5 15
+ (1 + 93 + 93 + 93 + 93 + 93 ) 93 )
(%o61)
6967 248818646333090621 1365920297673376943
2 3
4 5 6
(%i62) factor(1 + 94 + 94 +
94 + 94 + 94 + 94
2 3
4 5 15
+ (1 + 94 + 94 + 94 + 94 + 94 ) 94 )
(%o62)
1030838117 2844536481945854409661915485743
2 3
4 5 6
(%i63) factor(1 + 95 + 95 +
95 + 95 + 95 + 95
2 3
4 5 15
+ (1 + 95 + 95 + 95 + 95 + 95 ) 95 )
(%o63)
7575929 52985341 9025603023767984916056189
2 3
4 5 6
(%i64) factor(1 + 96 + 96 +
96 + 96 + 96 + 96
2 3
4 5 15
+ (1 + 96 + 96 + 96 + 96 + 96 ) 96 )
(%o64)
38976871 14204303297 8067618994795242623159
2 3
4 5 6
(%i65) factor(1 + 98 + 98 +
98 + 98 + 98 + 98
2 3
4 5 15
+ (1 + 98 + 98 + 98 + 98 + 98 ) 98 )
(%o65)
521 14504071 32400769 27548179051886524874849
(%o65)
a.bat
(%i66)
b.txtは、因数が1000以下のものを弾くことにしているので
b.txtに追加されるのは、
13,1
61,21
251,22
109,25
41,28
61,28
251,29
89,32
149,32
59,33
149,33
83,34
269,36
113,36
131,37
463,39
167,49
79,51
607,51
601,52
197,54
353,59
229,67
151,68
569,68
41,69
79,70
43,71
73,71
997,72
83,73
61,82
257,82
137,87
61,89
521,98
である。先のb.txtにこれを追加する。
Autohajiku.cの
を
#define max 100 /*
この数から+100まで生成する */
と変更して、コンパイルと実行をする。
$gcc -Wall Autohajiku.c
-o Autohajiku
$./Autohajiku
19n+5
17n+6
17n+7
23n+7
11n+9
13n+14
653n+14
181n+16
23n+17
389n+19
13n+1
61n+21
251n+22
109n+25
41n+28
61n+28
251n+29
89n+32
149n+32
59n+33
149n+33
83n+34
269n+36
113n+36
131n+37
463n+39
167n+49
79n+51
607n+51
601n+52
197n+54
353n+59
229n+67
151n+68
569n+68
41n+69
79n+70
43n+71
73n+71
997n+72
83n+73
61n+82
257n+82
137n+87
61n+89
521n+98
b.txt read! 46 個
$gcc -Wall hajiku-6.c -o
hajiku-6
$./hajiku-6
100=19x5+5
!!! 101 !!!
!!! 102 !!!
!!! 103 !!!
!!! 104 !!!
105=13x7+14
105=13x8+1
!!! 106 !!!
!!! 107 !!!
108=17x6+6
108=11x9+9
109=17x6+7
109=23x4+17
110=41x2+28
110=41x1+69
!!! 111 !!!
!!! 112 !!!
!!! 113 !!!
114=43x1+71
!!! 115 !!!
!!! 116 !!!
117=83x1+34
118=13x8+14
118=13x9+1
119=19x6+5
119=11x10+9
!!! 120 !!!
121=89x1+32
122=23x5+7
!!! 123 !!!
!!! 124 !!!
125=17x7+6
126=17x7+7
!!! 127 !!!
!!! 128 !!!
!!! 129 !!!
130=11x11+9
130=79x1+51
131=13x9+14
131=13x10+1
132=23x5+17
!!! 133 !!!
134=109x1+25
!!! 135 !!!
!!! 136 !!!
!!! 137 !!!
138=19x7+5
!!! 139 !!!
!!! 140 !!!
141=11x12+9
142=17x8+6
143=17x8+7
143=61x2+21
143=61x1+82
144=13x10+14
144=13x11+1
144=73x1+71
145=23x6+7
!!! 146 !!!
!!! 147 !!!
!!! 148 !!!
149=113x1+36
149=79x1+70
150=61x2+28
150=61x1+89
151=41x3+28
151=59x2+33
151=41x2+69
152=11x13+9
!!! 153 !!!
!!! 154 !!!
155=23x6+17
156=83x1+73
157=19x8+5
157=13x11+14
157=13x12+1
157=43x2+71
!!! 158 !!!
159=17x9+6
160=17x9+7
!!! 161 !!!
!!! 162 !!!
163=11x14+9
!!! 164 !!!
!!! 165 !!!
!!! 166 !!!
!!! 167 !!!
168=23x7+7
168=131x1+37
!!! 169 !!!
170=13x12+14
170=13x13+1
!!! 171 !!!
!!! 172 !!!
!!! 173 !!!
174=11x15+9
!!! 175 !!!
176=19x9+5
176=17x10+6
177=17x10+7
178=23x7+17
!!! 179 !!!
!!! 180 !!!
181=149x1+32
182=149x1+33
183=13x13+14
183=13x14+1
!!! 184 !!!
185=11x16+9
!!! 186 !!!
!!! 187 !!!
!!! 188 !!!
!!! 189 !!!
!!! 190 !!!
191=23x8+7
192=41x4+28
192=41x3+69
193=17x11+6
194=17x11+7
195=19x10+5
196=11x17+9
196=13x14+14
196=13x15+1
197=181x1+16
!!! 198 !!!
!!! 199 !!!
できたa.batは、
factor((101^5+101^4+101^3+101^2+101+1)*101^15+101^6+101^5+101^4+101^3+101^2+101+1);
factor((102^5+102^4+102^3+102^2+102+1)*102^15+102^6+102^5+102^4+102^3+102^2+102+1);
factor((103^5+103^4+103^3+103^2+103+1)*103^15+103^6+103^5+103^4+103^3+103^2+103+1);
factor((104^5+104^4+104^3+104^2+104+1)*104^15+104^6+104^5+104^4+104^3+104^2+104+1);
factor((106^5+106^4+106^3+106^2+106+1)*106^15+106^6+106^5+106^4+106^3+106^2+106+1);
factor((107^5+107^4+107^3+107^2+107+1)*107^15+107^6+107^5+107^4+107^3+107^2+107+1);
factor((111^5+111^4+111^3+111^2+111+1)*111^15+111^6+111^5+111^4+111^3+111^2+111+1);
factor((112^5+112^4+112^3+112^2+112+1)*112^15+112^6+112^5+112^4+112^3+112^2+112+1);
factor((113^5+113^4+113^3+113^2+113+1)*113^15+113^6+113^5+113^4+113^3+113^2+113+1);
factor((115^5+115^4+115^3+115^2+115+1)*115^15+115^6+115^5+115^4+115^3+115^2+115+1);
factor((116^5+116^4+116^3+116^2+116+1)*116^15+116^6+116^5+116^4+116^3+116^2+116+1);
factor((120^5+120^4+120^3+120^2+120+1)*120^15+120^6+120^5+120^4+120^3+120^2+120+1);
factor((123^5+123^4+123^3+123^2+123+1)*123^15+123^6+123^5+123^4+123^3+123^2+123+1);
factor((124^5+124^4+124^3+124^2+124+1)*124^15+124^6+124^5+124^4+124^3+124^2+124+1);
factor((127^5+127^4+127^3+127^2+127+1)*127^15+127^6+127^5+127^4+127^3+127^2+127+1);
factor((128^5+128^4+128^3+128^2+128+1)*128^15+128^6+128^5+128^4+128^3+128^2+128+1);
factor((129^5+129^4+129^3+129^2+129+1)*129^15+129^6+129^5+129^4+129^3+129^2+129+1);
factor((133^5+133^4+133^3+133^2+133+1)*133^15+133^6+133^5+133^4+133^3+133^2+133+1);
factor((135^5+135^4+135^3+135^2+135+1)*135^15+135^6+135^5+135^4+135^3+135^2+135+1);
factor((136^5+136^4+136^3+136^2+136+1)*136^15+136^6+136^5+136^4+136^3+136^2+136+1);
factor((137^5+137^4+137^3+137^2+137+1)*137^15+137^6+137^5+137^4+137^3+137^2+137+1);
factor((139^5+139^4+139^3+139^2+139+1)*139^15+139^6+139^5+139^4+139^3+139^2+139+1);
factor((140^5+140^4+140^3+140^2+140+1)*140^15+140^6+140^5+140^4+140^3+140^2+140+1);
factor((146^5+146^4+146^3+146^2+146+1)*146^15+146^6+146^5+146^4+146^3+146^2+146+1);
factor((147^5+147^4+147^3+147^2+147+1)*147^15+147^6+147^5+147^4+147^3+147^2+147+1);
factor((148^5+148^4+148^3+148^2+148+1)*148^15+148^6+148^5+148^4+148^3+148^2+148+1);
factor((153^5+153^4+153^3+153^2+153+1)*153^15+153^6+153^5+153^4+153^3+153^2+153+1);
factor((154^5+154^4+154^3+154^2+154+1)*154^15+154^6+154^5+154^4+154^3+154^2+154+1);
factor((158^5+158^4+158^3+158^2+158+1)*158^15+158^6+158^5+158^4+158^3+158^2+158+1);
factor((161^5+161^4+161^3+161^2+161+1)*161^15+161^6+161^5+161^4+161^3+161^2+161+1);
factor((162^5+162^4+162^3+162^2+162+1)*162^15+162^6+162^5+162^4+162^3+162^2+162+1);
factor((164^5+164^4+164^3+164^2+164+1)*164^15+164^6+164^5+164^4+164^3+164^2+164+1);
factor((165^5+165^4+165^3+165^2+165+1)*165^15+165^6+165^5+165^4+165^3+165^2+165+1);
factor((166^5+166^4+166^3+166^2+166+1)*166^15+166^6+166^5+166^4+166^3+166^2+166+1);
factor((167^5+167^4+167^3+167^2+167+1)*167^15+167^6+167^5+167^4+167^3+167^2+167+1);
factor((169^5+169^4+169^3+169^2+169+1)*169^15+169^6+169^5+169^4+169^3+169^2+169+1);
factor((171^5+171^4+171^3+171^2+171+1)*171^15+171^6+171^5+171^4+171^3+171^2+171+1);
factor((172^5+172^4+172^3+172^2+172+1)*172^15+172^6+172^5+172^4+172^3+172^2+172+1);
factor((173^5+173^4+173^3+173^2+173+1)*173^15+173^6+173^5+173^4+173^3+173^2+173+1);
factor((175^5+175^4+175^3+175^2+175+1)*175^15+175^6+175^5+175^4+175^3+175^2+175+1);
factor((179^5+179^4+179^3+179^2+179+1)*179^15+179^6+179^5+179^4+179^3+179^2+179+1);
factor((180^5+180^4+180^3+180^2+180+1)*180^15+180^6+180^5+180^4+180^3+180^2+180+1);
factor((184^5+184^4+184^3+184^2+184+1)*184^15+184^6+184^5+184^4+184^3+184^2+184+1);
factor((186^5+186^4+186^3+186^2+186+1)*186^15+186^6+186^5+186^4+186^3+186^2+186+1);
factor((187^5+187^4+187^3+187^2+187+1)*187^15+187^6+187^5+187^4+187^3+187^2+187+1);
factor((188^5+188^4+188^3+188^2+188+1)*188^15+188^6+188^5+188^4+188^3+188^2+188+1);
factor((189^5+189^4+189^3+189^2+189+1)*189^15+189^6+189^5+189^4+189^3+189^2+189+1);
factor((190^5+190^4+190^3+190^2+190+1)*190^15+190^6+190^5+190^4+190^3+190^2+190+1);
factor((198^5+198^4+198^3+198^2+198+1)*198^15+198^6+198^5+198^4+198^3+198^2+198+1);
factor((199^5+199^4+199^3+199^2+199+1)*199^15+199^6+199^5+199^4+199^3+199^2+199+1);
maximaを起動して、a.batを実行させる。
(%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 15
+ (1 + 101 + 101 + 101 + 101 + 101 ) 101 )
(%o2)
1516441 8126870352003708181012031355259693
2 3
4 5 6
(%i3) factor(1 + 102 + 102 + 102 + 102 + 102 +
102
2 3
4 5 15
+ (1 + 102 + 102 + 102 + 102 + 102 ) 102 )
(%o3)
1093 754037 2323889 7835271217504719197892139
2 3
4 5 6
(%i4) factor(1 + 103 + 103 + 103 + 103 + 103 +
103
2 3
4 5 15
+ (1 + 103 + 103 + 103 + 103 + 103 ) 103 )
(%o4) 113
186397 3345697501 258807890769799245307481
2 3
4 5 6
(%i5) factor(1 + 104 + 104 + 104 + 104 + 104 +
104
2 3
4 5 15
+ (1 + 104 + 104 + 104 + 104 + 104 ) 104 )
(%o5) 503
2111 55403771 15705203051 23945493994551097
2 3
4 5 6
(%i6) factor(1 + 106 + 106 + 106 + 106 + 106 +
106
2 3
4 5 15
+ (1 + 106 + 106 + 106 + 106 + 106 ) 106 )
(%o6)
25309292291482033 1279245417958457639718871
2 3
4 5 6
(%i7) factor(1 + 107 + 107 + 107 + 107 + 107 +
107
2 3
4 5 15
+ (1 + 107 + 107 + 107 + 107 + 107 ) 107 )
(%o7)
241 162082610774972699738604196432890410761
2 3
4 5 6
(%i8) factor(1 + 111 + 111 + 111 + 111 + 111 +
111
2 3
4 5 15
+ (1 + 111 + 111 + 111 + 111 + 111 ) 111 )
(%o8)
12379 6572102170904216189147213174624115187
2 3
4 5 6
(%i9) factor(1 + 112 + 112 + 112 + 112 + 112 +
112
2 3
4 5 15
+ (1 + 112 + 112 + 112 + 112 + 112 ) 112 )
(%o9) 8053
8182693 12903821417 114467763271340419937
2 3
4 5 6
(%i10) factor(1 + 113 + 113 + 113 + 113 + 113 +
113
2 3
4 5 15
+ (1 + 113 + 113 + 113 + 113 + 113 ) 113 )
(%o10)
593 196053498767332555353637603748410495517
2 3
4 5 6
(%i11) factor(1 + 115 + 115 + 115 + 115 + 115 +
115
2 3
4 5 15
+ (1 + 115 + 115 + 115 + 115 + 115 ) 115 )
(%o11) 73 127
37501 474876158709501862792434860272171
2 3
4 5 6
(%i12) factor(1 + 116 + 116 + 116 + 116 + 116 +
116
2 3
4 5 15
+ (1 + 116 + 116 + 116 + 116 + 116 ) 116 )
(%o12) 1439 567053
48841841 1391800166717 3538886038147
2 3
4 5 6
(%i13) factor(1 + 120 + 120 + 120 + 120 + 120 +
120
2 3
4 5 15
+ (1 + 120 + 120 + 120 + 120 + 120 ) 120 )
(%o13)
348220415200979 1110209595476951278141666499
2 3
4 5 6
(%i14) factor(1 + 123 + 123 + 123 + 123 + 123 +
123
2 3
4 5 15
+ (1 + 123 + 123 + 123 + 123 + 123 ) 123 )
(%o14) 1811 1901
1661161 267768368137 413595632577367423
2 3
4 5 6
(%i15) factor(1 + 124 + 124 + 124 + 124 + 124 +
124
2 3
4 5 15
+ (1 + 124 + 124 + 124 + 124 + 124 ) 124 )
(%o15) 4547
163766596282377839108357307654832062383
2 3
4 5 6
(%i16) factor(1 + 127 + 127 + 127 + 127 + 127 +
127
2 3
4 5 15
+ (1 + 127 + 127 + 127 + 127 + 127 ) 127 )
(%o16)
545131 6974677087159 315851257056507446154709
2 3
4 5 6
(%i17) factor(1 + 128 + 128 + 128 + 128 + 128 +
128
2 3
4 5 15
+ (1 + 128 + 128 + 128 + 128 + 128 ) 128 )
(%o17) 38749
582013 75188717 828437564199548744611229
2 3
4 5 6
(%i18) factor(1 + 129 + 129 + 129 + 129 + 129 +
129
2 3
4 5 15
+ (1 + 129 + 129 + 129 + 129 + 129 ) 129 )
(%o18) 21817
22378267385705461 3361649703229569877633
2 3
4 5 6
(%i19) factor(1 + 133 + 133 + 133 + 133 + 133 +
133
2 3
4 5 15
+ (1 + 133 + 133 + 133 + 133 + 133 ) 133 )
(%o19)
3022111817488405845014596637903788516074661
素数ですね。
2 3
4 5 6
(%i20) factor(1 + 135 + 135 + 135 + 135 + 135 +
135
2 3
4 5 15
+ (1 + 135 + 135 + 135 + 135 + 135 ) 135 )
(%o20) 349 577 15527 23813
697149949709 78464865486740723
2 3
4 5 6
(%i21) factor(1 + 136 + 136 + 136 + 136 + 136 +
136
2 3
4 5 15
+ (1 + 136 + 136 + 136 + 136 + 136 ) 136 )
(%o21) 253569761
445358519 21477961577 1946180069797511
2 3
4 5 6
(%i22) factor(1 + 137 + 137 + 137 + 137 + 137 +
137
2 3
4 5 15
+ (1 + 137 + 137 + 137 + 137 + 137 ) 137 )
(%o22)
1087453 5025537363554863674097035082668254497
2 3
4 5 6
(%i23) factor(1 + 139 + 139 + 139 + 139 + 139 +
139
2 3
4 5 15
+ (1 + 139 + 139 + 139 + 139 + 139 ) 139 )
(%o23) 1171 18341
1633157 208172748532155085443980914843
2 3
4 5 6
(%i24) factor(1 + 140 + 140 + 140 + 140 + 140 +
140
2 3
4 5 15
+ (1 + 140 + 140 + 140 + 140 + 140 ) 140 )
(%o24) 607
13883061832029578819675798985185475626563
2 3
4 5 6
(%i25) factor(1 + 146 + 146 + 146 + 146 + 146 +
146
2 3
4 5 15
+ (1 + 146 + 146 + 146 + 146 + 146 ) 146 )
(%o25) 92297
6668884847843 31681166629479125503163773
2 3
4 5 6
(%i26) factor(1 + 147 + 147 + 147 + 147 + 147 +
147
2 3
4 5 15
+ (1 + 147 + 147 + 147 + 147 + 147 ) 147 )
(%o26) 601
18147629 2049353178691964981610179544384149
2 3
4 5 6
(%i27) factor(1 + 148 + 148 + 148 + 148 + 148 +
148
2 3
4 5 15
+ (1 + 148 + 148 + 148 + 148 + 148 ) 148 )
(%o27) 130127
8466121 23234150586878305943730902227763
2 3
4 5 6
(%i28) factor(1 + 153 + 153 + 153 + 153 + 153 +
153
2 3
4 5 15
+ (1 + 153 + 153 + 153 + 153 + 153 ) 153 )
(%o28) 7104631783
17613273795521 397461254251669684187
2 3
4 5 6
(%i29) factor(1 + 154 + 154 + 154 + 154 + 154 +
154
2 3
4 5 15
+ (1 + 154 + 154 + 154 + 154 + 154 ) 154 )
(%o29) 32533
60403801 28830709187931571675497889726387
2 3
4 5 6
(%i30) factor(1 + 158 + 158 + 158 + 158 + 158 +
158
2 3
4 5 15
+ (1 + 158 + 158 + 158 + 158 + 158 ) 158 )
(%o30) 7039
31754959 423230202390697222841572140311611
2 3
4 5 6
(%i31) factor(1 + 161 + 161 + 161 + 161 + 161 +
161
2 3
4 5 15
+ (1 + 161 + 161 + 161 + 161 + 161 ) 161 )
(%o31) 3463
39789723612887356098075431306822238748171
2 3
4 5 6
(%i32) factor(1 + 162 + 162 + 162 + 162 + 162 +
162
2 3
4 5 15
+ (1 + 162 + 162 + 162 + 162 + 162 ) 162 )
(%o32)
185368628744477482433 841304461639908625775327
2 3
4 5 6
(%i33) factor(1 + 164 + 164 + 164 + 164 + 164 +
164
2 3
4 5 15
+ (1 + 164 + 164 + 164 + 164 + 164 ) 164 )
(%o33) 2729
73034770504120368926347126001622827027309
2 3
4 5 6
(%i34) factor(1 + 165 + 165 + 165 + 165 + 165 +
165
2 3
4 5 15
+ (1 + 165 + 165 + 165 + 165 + 165 ) 165 )
(%o34) 47
4788738505075529712997039652509471658585003
2 3
4 5 6
(%i35) factor(1 + 166 + 166 + 166 + 166 + 166 +
166
2 3
4 5 15
+ (1 + 166 + 166 + 166 + 166 + 166 ) 166 )
(%o35) 12583
20183743016692881566173986211876226372341
2 3
4 5 6
(%i36) factor(1 + 167 + 167 + 167 + 167 + 167 +
167
2 3
4 5 15
+ (1 + 167 + 167 + 167 + 167 + 167 ) 167 )
(%o36) 109
2627309935225277791063991301637233500617909
2 3
4 5 6
(%i37) factor(1 + 169 + 169 + 169 + 169 + 169 +
169
2 3
4 5 15
+ (1 + 169 + 169 + 169 + 169 + 169 ) 169 )
(%o37) 773 1267250447
370910876070521267705693712268951
2 3
4 5 6
(%i38) factor(1 + 171 + 171 + 171 + 171 + 171 +
171
2 3
4 5 15
+ (1 + 171 + 171 + 171 + 171 + 171 ) 171 )
(%o38)
459694594393488236783449842036325023508605433
素数ですね。
2 3
4 5 6
(%i39) factor(1 + 172 + 172 + 172 + 172 + 172 +
172
2 3
4 5 15
+ (1 + 172 + 172 + 172 + 172 + 172 ) 172 )
(%o39) 6113
982676818413728377 85987667375781344452421
2 3
4 5 6
(%i40) factor(1 + 173 + 173 + 173 + 173 + 173 +
173
2 3
4 5 15
+ (1 + 173 + 173 + 173 + 173 + 173 ) 173 )
(%o40) 521 577 152219
994406106821 12746575863454654615787
2 3
4 5 6
(%i41) factor(1 + 175 + 175 + 175 + 175 + 175 +
175
2 3
4 5 15
+ (1 + 175 + 175 + 175 + 175 + 175 ) 175 )
(%o41) 1471
3463707888004499 143250399813320505230139269
2 3
4 5 6
(%i42) factor(1 + 179 + 179 + 179 + 179 + 179 +
179
2 3
4 5 15
+ (1 + 179 + 179 + 179 + 179 + 179 ) 179 )
(%o42) 4001 25997 116681
94493453178004474847248231167653
2 3
4 5 6
(%i43) factor(1 + 180 + 180 + 180 + 180 + 180 +
180
2 3
4 5 15
+ (1 + 180 + 180 + 180 + 180 + 180 ) 180 )
(%o43) 944929
288008937133 4710472080086980813310884633
2 3
4 5 6
(%i44) factor(1 + 184 + 184 + 184 + 184 + 184 +
184
2 3
4 5 15
+ (1 + 184 + 184 + 184 + 184 + 184 ) 184 )
(%o44) 585260947
3399175968950325679922656752064926403
2 3
4 5 6
(%i45) factor(1 + 186 + 186 + 186 + 186 + 186 +
186
2 3
4 5 15
+ (1 + 186 + 186 + 186 + 186 + 186 ) 186 )
(%o45) 1571 1823 271599863
7534201923263 421376628966790699
2 3
4 5 6
(%i46) factor(1 + 187 + 187 + 187 + 187 + 187 +
187
2 3
4 5 15
+ (1 + 187 + 187 + 187 + 187 + 187 ) 187 )
(%o46) 347 317487581
89737916763023 278053645293350916281
2 3
4 5 6
(%i47) factor(1 + 188 + 188 + 188 + 188 + 188 +
188
2 3
4 5 15
+ (1 + 188 + 188 + 188 + 188 + 188 ) 188 )
(%o47) 73 463 563 27477027467
5849129464537953207254554939
2 3
4 5 6
(%i48) factor(1 + 189 + 189 + 189 + 189 + 189 +
189
2 3
4 5 15
+ (1 + 189 + 189 + 189 + 189 + 189 ) 189 )
(%o48) 176444563
250591823 76906821449211130735889023289
2 3
4 5 6
(%i49) factor(1 + 190 + 190 + 190 + 190 + 190 +
190
2 3
4 5 15
+ (1 + 190 + 190 + 190 + 190 + 190 ) 190 )
(%o49) 111019416503
205238784908167 165846167744030525291
2 3
4 5 6
(%i50) factor(1 + 198 + 198 + 198 + 198 + 198 +
198
2 3
4 5 15
+ (1 + 198 + 198 + 198 + 198 + 198 ) 198 )
(%o50) 4639 44797
5451318756958033571 7609005334537190747
2 3
4 5 6
(%i51) factor(1 + 199 + 199 + 199 + 199 + 199 +
199
2 3
4 5 15
+ (1 + 199 + 199 + 199 + 199 + 199 ) 199 )
(%o51) 279198649
3209298432709 10639617076893817851472261
b.txtに追加されるものは、
113,103
503,104
241,107
593,113
73,115
127,115
549,135
577,135
607,140
601,147
47,165
109,167
773,169
521,173
577,173
347,187
73,188
463,188
563,188
である。
Autohajiku.cの
#define max 100 /* この数から+100まで生成する */
を
#define max 200 /* この数から+100まで生成する */
と変更して、コンパイルと実行をする。
$./Autohajiku
19n+5
17n+6
17n+7
23n+7
11n+9
13n+14
653n+14
181n+16
23n+17
389n+19
13n+1
61n+21
251n+22
109n+25
41n+28
61n+28
251n+29
89n+32
149n+32
59n+33
149n+33
83n+34
269n+36
113n+36
131n+37
463n+39
167n+49
79n+51
607n+51
601n+52
197n+54
353n+59
229n+67
151n+68
569n+68
41n+69
79n+70
43n+71
73n+71
997n+72
83n+73
61n+82
257n+82
137n+87
61n+89
521n+98
113n+103
503n+104
241n+107
593n+113
73n+115
127n+115
549n+135
577n+135
607n+140
601n+147
47n+165
109n+167
773n+169
521n+173
577n+173
347n+187
73n+188
463n+188
563n+188
b.txt read! 65 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
200=83x2+34
200=43x3+71
201=23x8+17
!!! 202 !!!
!!! 203 !!!
204=61x3+21
204=61x2+82
!!! 205 !!!
!!! 206 !!!
207=11x18+9
!!! 208 !!!
209=13x15+14
209=13x16+1
209=79x2+51
210=17x12+6
210=89x2+32
210=59x3+33
211=17x12+7
211=61x3+28
211=61x2+89
212=47x1+165
!!! 213 !!!
214=19x11+5
214=23x9+7
!!! 215 !!!
216=167x1+49
216=113x1+103
217=73x2+71
218=11x19+9
219=151x1+68
!!! 220 !!!
!!! 221 !!!
222=13x16+14
222=13x17+1
!!! 223 !!!
224=23x9+17
224=137x1+87
!!! 225 !!!
!!! 226 !!!
227=17x13+6
228=17x13+7
228=79x2+70
229=11x20+9
!!! 230 !!!
!!! 231 !!!
!!! 232 !!!
233=19x12+5
233=41x5+28
233=41x4+69
!!! 234 !!!
235=13x17+14
235=13x18+1
!!! 236 !!!
237=23x10+7
!!! 238 !!!
239=83x2+73
240=11x21+9
!!! 241 !!!
242=127x1+115
243=109x2+25
243=43x4+71
244=17x14+6
245=17x14+7
!!! 246 !!!
247=23x10+17
248=13x18+14
248=13x19+1
!!! 249 !!!
!!! 250 !!!
251=11x22+9
251=197x1+54
252=19x13+5
!!! 253 !!!
!!! 254 !!!
!!! 255 !!!
!!! 256 !!!
!!! 257 !!!
!!! 258 !!!
259=47x2+165
260=23x11+7
261=17x15+6
261=13x19+14
261=13x20+1
261=73x2+115
261=73x1+188
262=17x15+7
262=11x23+9
262=113x2+36
!!! 263 !!!
!!! 264 !!!
265=61x4+21
265=61x3+82
!!! 266 !!!
!!! 267 !!!
!!! 268 !!!
269=59x4+33
270=23x11+17
271=19x14+5
272=61x4+28
272=61x3+89
273=11x24+9
273=251x1+22
274=13x20+14
274=13x21+1
274=41x6+28
274=41x5+69
!!! 275 !!!
276=109x1+167
!!! 277 !!!
278=17x16+6
279=17x16+7
280=251x1+29
!!! 281 !!!
!!! 282 !!!
283=23x12+7
283=83x3+34
284=11x25+9
!!! 285 !!!
286=43x5+71
287=13x21+14
287=13x22+1
288=79x3+51
!!! 289 !!!
290=19x15+5
290=73x3+71
!!! 291 !!!
!!! 292 !!!
293=23x12+17
!!! 294 !!!
295=17x17+6
295=11x26+9
296=17x17+7
296=229x1+67
!!! 297 !!!
!!! 298 !!!
299=89x3+32
299=131x2+37
作成されたa.batは、
factor((203^5+203^4+203^3+203^2+203+1)*203^15+203^6+203^5+203^4+203^3+203^2+203+1);
factor((205^5+205^4+205^3+205^2+205+1)*205^15+205^6+205^5+205^4+205^3+205^2+205+1);
factor((206^5+206^4+206^3+206^2+206+1)*206^15+206^6+206^5+206^4+206^3+206^2+206+1);
factor((208^5+208^4+208^3+208^2+208+1)*208^15+208^6+208^5+208^4+208^3+208^2+208+1);
factor((213^5+213^4+213^3+213^2+213+1)*213^15+213^6+213^5+213^4+213^3+213^2+213+1);
factor((215^5+215^4+215^3+215^2+215+1)*215^15+215^6+215^5+215^4+215^3+215^2+215+1);
factor((220^5+220^4+220^3+220^2+220+1)*220^15+220^6+220^5+220^4+220^3+220^2+220+1);
factor((221^5+221^4+221^3+221^2+221+1)*221^15+221^6+221^5+221^4+221^3+221^2+221+1);
factor((223^5+223^4+223^3+223^2+223+1)*223^15+223^6+223^5+223^4+223^3+223^2+223+1);
factor((225^5+225^4+225^3+225^2+225+1)*225^15+225^6+225^5+225^4+225^3+225^2+225+1);
factor((226^5+226^4+226^3+226^2+226+1)*226^15+226^6+226^5+226^4+226^3+226^2+226+1);
factor((230^5+230^4+230^3+230^2+230+1)*230^15+230^6+230^5+230^4+230^3+230^2+230+1);
factor((231^5+231^4+231^3+231^2+231+1)*231^15+231^6+231^5+231^4+231^3+231^2+231+1);
factor((232^5+232^4+232^3+232^2+232+1)*232^15+232^6+232^5+232^4+232^3+232^2+232+1);
factor((234^5+234^4+234^3+234^2+234+1)*234^15+234^6+234^5+234^4+234^3+234^2+234+1);
factor((236^5+236^4+236^3+236^2+236+1)*236^15+236^6+236^5+236^4+236^3+236^2+236+1);
factor((238^5+238^4+238^3+238^2+238+1)*238^15+238^6+238^5+238^4+238^3+238^2+238+1);
factor((241^5+241^4+241^3+241^2+241+1)*241^15+241^6+241^5+241^4+241^3+241^2+241+1);
factor((246^5+246^4+246^3+246^2+246+1)*246^15+246^6+246^5+246^4+246^3+246^2+246+1);
factor((249^5+249^4+249^3+249^2+249+1)*249^15+249^6+249^5+249^4+249^3+249^2+249+1);
factor((250^5+250^4+250^3+250^2+250+1)*250^15+250^6+250^5+250^4+250^3+250^2+250+1);
factor((253^5+253^4+253^3+253^2+253+1)*253^15+253^6+253^5+253^4+253^3+253^2+253+1);
factor((254^5+254^4+254^3+254^2+254+1)*254^15+254^6+254^5+254^4+254^3+254^2+254+1);
factor((255^5+255^4+255^3+255^2+255+1)*255^15+255^6+255^5+255^4+255^3+255^2+255+1);
factor((256^5+256^4+256^3+256^2+256+1)*256^15+256^6+256^5+256^4+256^3+256^2+256+1);
factor((257^5+257^4+257^3+257^2+257+1)*257^15+257^6+257^5+257^4+257^3+257^2+257+1);
factor((258^5+258^4+258^3+258^2+258+1)*258^15+258^6+258^5+258^4+258^3+258^2+258+1);
factor((263^5+263^4+263^3+263^2+263+1)*263^15+263^6+263^5+263^4+263^3+263^2+263+1);
factor((264^5+264^4+264^3+264^2+264+1)*264^15+264^6+264^5+264^4+264^3+264^2+264+1);
factor((266^5+266^4+266^3+266^2+266+1)*266^15+266^6+266^5+266^4+266^3+266^2+266+1);
factor((267^5+267^4+267^3+267^2+267+1)*267^15+267^6+267^5+267^4+267^3+267^2+267+1);
factor((268^5+268^4+268^3+268^2+268+1)*268^15+268^6+268^5+268^4+268^3+268^2+268+1);
factor((275^5+275^4+275^3+275^2+275+1)*275^15+275^6+275^5+275^4+275^3+275^2+275+1);
factor((277^5+277^4+277^3+277^2+277+1)*277^15+277^6+277^5+277^4+277^3+277^2+277+1);
factor((281^5+281^4+281^3+281^2+281+1)*281^15+281^6+281^5+281^4+281^3+281^2+281+1);
factor((282^5+282^4+282^3+282^2+282+1)*282^15+282^6+282^5+282^4+282^3+282^2+282+1);
factor((285^5+285^4+285^3+285^2+285+1)*285^15+285^6+285^5+285^4+285^3+285^2+285+1);
factor((289^5+289^4+289^3+289^2+289+1)*289^15+289^6+289^5+289^4+289^3+289^2+289+1);
factor((291^5+291^4+291^3+291^2+291+1)*291^15+291^6+291^5+291^4+291^3+291^2+291+1);
factor((292^5+292^4+292^3+292^2+292+1)*292^15+292^6+292^5+292^4+292^3+292^2+292+1);
factor((294^5+294^4+294^3+294^2+294+1)*294^15+294^6+294^5+294^4+294^3+294^2+294+1);
factor((297^5+297^4+297^3+297^2+297+1)*297^15+297^6+297^5+297^4+297^3+297^2+297+1);
factor((298^5+298^4+298^3+298^2+298+1)*298^15+298^6+298^5+298^4+298^3+298^2+298+1);
maximaを起動して、a.batを実行する。
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3
4 5 6
(%i2) factor(1 + 202 + 202
+ 202 + 202 + 202 + 202
2 3
4 5 15
+ (1 + 202 + 202 + 202 + 202 + 202 ) 202 )
(%o2)
4007 93522919006920306767 34311942473308935195919
2 3
4 5 6
(%i3) factor(1 + 203 + 203
+ 203 + 203 + 203 + 203
2 3
4 5 15
+ (1 + 203 + 203 + 203 + 203 + 203 ) 203 )
(%o3)
21499 11981059 425790397 129406501962749729706305533
2 3
4 5 6
(%i4) factor(1 + 205 + 205
+ 205 + 205 + 205 + 205
2 3
4 5 15
+ (1 + 205 + 205 + 205 + 205 + 205 ) 205 )
(%o4)
92693257 255679639 728545412534995638576050691547
2 3
4 5 6
(%i5) factor(1 + 206 + 206
+ 206 + 206 + 206 + 206
2 3
4 5 15
+ (1 + 206 + 206 + 206 + 206 + 206 ) 206 )
(%o5)
163 125303 3232799 9009428571690823 31991363003220631
2 3
4 5 6
(%i6) factor(1 + 208 + 208
+ 208 + 208 + 208 + 208
2 3
4 5 15
+ (1 + 208 + 208 + 208 + 208 + 208 ) 208 )
(%o6)
457 705507687704183524493 71604734404618757071661
2 3
4 5 6
(%i7) factor(1 + 213 + 213
+ 213 + 213 + 213 + 213
2 3
4 5 15
+ (1 + 213 + 213 + 213 + 213 + 213 ) 213 )
(%o7)
37726429297 983988695109784373994673287669621973
2 3
4 5 6
(%i8) factor(1 + 215 + 215
+ 215 + 215 + 215 + 215
2 3
4 5 15
+ (1 + 215 + 215 + 215 + 215 + 215 ) 215 )
(%o8)
349 87737477 1378891146801811 1059871790478255770747
2 3
4 5 6
(%i9) factor(1 + 220 + 220
+ 220 + 220 + 220 + 220
2 3
4 5 15
+ (1 + 220 + 220 + 220 + 220 + 220 ) 220 )
(%o9)
1701439 41650076079707002814753670087571822379539
2 3
4 5 6
(%i10) factor(1 + 221 + 221
+ 221 + 221 + 221 + 221
2 3
4 5 15
+ (1 + 221 + 221 + 221 + 221 + 221 ) 221 )
(%o10)
429581 180621731778294248296343684817222611254793
2 3
4 5 6
(%i11) factor(1 + 223 + 223
+ 223 + 223 + 223 + 223
2 3
4 5 15
+ (1 + 223 + 223 + 223 + 223 + 223 ) 223 )
(%o11)
601 857851 560828447 212856608777 1509543535526138509
2 3
4 5 6
(%i12) factor(1 + 225 + 225
+ 225 + 225 + 225 + 225
2 3
4 5 15
+ (1 + 225 + 225 + 225 + 225 + 225 ) 225 )
(%o12)
26790937 1155851312422035343 3586699468507285134811
2 3
4 5 6
(%i13) factor(1 + 226 + 226
+ 226 + 226 + 226 + 226
2 3
4 5 15
+ (1 + 226 + 226 + 226 + 226 + 226 ) 226 )
(%o13)
2029 57881 727428493979423 1420647470777233447426669
2 3
4 5 6
(%i14) factor(1 + 230 + 230
+ 230 + 230 + 230 + 230
2 3
4 5 15
+ (1 + 230 + 230 + 230 + 230 + 230 ) 230 )
(%o14)
281 1361 26822584223 472512836710531 35560708066152407
2 3
4 5 6
(%i15) factor(1 + 231 + 231
+ 231 + 231 + 231 + 231
2 3
4 5 15
+ (1 + 231 + 231 + 231 + 231 + 231 ) 231 )
(%o15)
1327 1879 392352971 15420463161913 12460964966599951427
2 3
4 5 6
(%i16) factor(1 + 232 + 232
+ 232 + 232 + 232 + 232
2 3
4 5 15
+ (1 + 232 + 232 + 232 + 232 + 232 ) 232 )
(%o16)
42967 806092717 68388943531 86522643291323612857489
2 3
4 5 6
(%i17) factor(1 + 234 + 234
+ 234 + 234 + 234 + 234
2 3
4 5 15
+ (1 + 234 + 234 + 234 + 234 + 234 ) 234 )
(%o17)
4789 174469 997021 2715413 107565692373790803407123087
2 3
4 5 6
(%i18) factor(1 + 236 + 236
+ 236 + 236 + 236 + 236
2 3
4 5 15
+ (1 + 236 + 236 + 236 + 236 + 236 ) 236 )
(%o18)
4813 532790436769 112489482148984039671825373457809
2 3
4 5 6
(%i19) factor(1 + 238 + 238
+ 238 + 238 + 238 + 238
2 3
4 5 15
+ (1 + 238 + 238 + 238 + 238 + 238 ) 238 )
(%o19)
307 8454371 131567334092196819710693602585008395123
2 3
4 5 6
(%i20) factor(1 + 241 + 241
+ 241 + 241 + 241 + 241
2 3
4 5 15
+ (1 + 241 + 241 + 241 + 241 + 241 ) 241 )
(%o20)
109 577 4483 3188231316105679 488006693823621783268453
2 3
4 5 6
(%i21) factor(1 + 246 + 246
+ 246 + 246 + 246 + 246
2 3
4 5 15
+ (1 + 246 + 246 + 246 + 246 + 246 ) 246 )
(%o21)
727 909780772140208588104298303920567455992129429
2 3
4 5 6
(%i22) factor(1 + 249 + 249
+ 249 + 249 + 249 + 249
2 3
4 5 15
+ (1 + 249 + 249 + 249 + 249 + 249 ) 249 )
(%o22)
143287 240060265823923 24502338512302368080059278601
2 3
4 5 6
(%i23) factor(1 + 250 + 250
+ 250 + 250 + 250 + 250
2 3
4 5 15
+ (1 + 250 + 250 + 250 + 250 + 250 ) 250 )
(%o23)
4357 647719 323568800071712540163988326949346761597
2 3
4 5 6
(%i24) factor(1 + 253 + 253
+ 253 + 253 + 253 + 253
2 3
4 5 15
+ (1 + 253 + 253 + 253 + 253 + 253 ) 253 )
(%o24)
1159125349956178305667379236740453595929279346741
素数ですね。
2 3
4 5 6
(%i25) factor(1 + 254 + 254
+ 254 + 254 + 254 + 254
2 3
4 5 15
+ (1 + 254 + 254 + 254 + 254 + 254 ) 254 )
(%o25)
73553593743259195603 17052326172850725778273085257
2 3
4 5 6
(%i26) factor(1 + 255 + 255
+ 255 + 255 + 255 + 255
2 3
4 5 15
+ (1 + 255 + 255 + 255 + 255 + 255 ) 255 )
(%o26)
503 22359829 40740021582125311 2961095094383637034133
2 3
4 5 6
(%i27) factor(1 + 256 + 256
+ 256 + 256 + 256 + 256
2 3
4 5 15
+ (1 + 256 + 256 + 256 + 256 + 256 ) 256 )
(%o27)
2356169 764965821104623 814049140758997928190479639
2 3
4 5 6
(%i28) factor(1 + 257 + 257
+ 257 + 257 + 257 + 257
2 3
4 5 15
+ (1 + 257 + 257 + 257 + 257 + 257 ) 257 )
(%o28)
3166441 165612832031 57871854734321 52266430261692811
2 3
4 5 6
(%i29) factor(1 + 258 + 258
+ 258 + 258 + 258 + 258
2 3
4 5 15
+ (1 + 258 + 258 + 258 + 258 + 258 ) 258 )
(%o29)
3067 353053 487021 672743 4832035809206756288735636387
2 3
4 5 6
(%i30) factor(1 + 263 + 263
+ 263 + 263 + 263 + 263
2 3
4 5 15
+ (1 + 263 + 263 + 263 + 263 + 263 ) 263 )
(%o30)
751 2027 17807341 22905543659 259780352647 15600185404021
2 3
4 5 6
(%i31) factor(1 + 264 + 264
+ 264 + 264 + 264 + 264
2 3
4 5 15
+ (1 + 264 + 264 + 264 + 264 + 264 ) 264 )
(%o31)
605324381 46422557224817 96607198654077914255189293
2 3
4 5 6
(%i32) factor(1 + 266 + 266
+ 266 + 266 + 266 + 266
2 3
4 5 15
+ (1 + 266 + 266 + 266 + 266 + 266 ) 266 )
(%o32)
3156955755395153079005976181476482817619987096903
素数ですね。
2 3
4 5 6
(%i33) factor(1 + 267 + 267
+ 267 + 267 + 267 + 267
2 3
4 5 15
+ (1 + 267 + 267 + 267 + 267 + 267 ) 267 )
(%o33)
293 196005212872670921 59254264238205243775586608477
2 3
4 5 6
(%i34) factor(1 + 268 + 268
+ 268 + 268 + 268 + 268
2 3
4 5 15
+ (1 + 268 + 268 + 268 + 268 + 268 ) 268 )
(%o34)
3359 50877132586487 462090546612559 46436523532089883
2 3
4 5 6
(%i35) factor(1 + 275 + 275
+ 275 + 275 + 275 + 275
2 3
4 5 15
+ (1 + 275 + 275 + 275 + 275 + 275 ) 275 )
(%o35)
56629 40860823 6716983753 395107894702104841798852651
2 3
4 5 6
(%i36) factor(1 + 277 + 277
+ 277 + 277 + 277 + 277
2 3
4 5 15
+ (1 + 277 + 277 + 277 + 277 + 277 ) 277 )
(%o36)
1049 2361615231791 283070415170887 10122480690495636517
2 3
4 5 6
(%i37) factor(1 + 281 + 281
+ 281 + 281 + 281 + 281
2 3
4 5 15
+ (1 + 281 + 281 + 281 + 281 + 281 ) 281 )
(%o37)
311 677 52579 2931485849 492245606117417 591893617123717
2 3
4 5 6
(%i38) factor(1 + 282 + 282
+ 282 + 282 + 282 + 282
2 3
4 5 15
+ (1 + 282 + 282 + 282 + 282 + 282 ) 282 )
(%o38)
229 47947 179049989 5163613586496985248042547111473293
2 3
4 5 6
(%i39) factor(1 + 285 + 285
+ 285 + 285 + 285 + 285
2 3
4 5 15
+ (1 + 285 + 285 + 285 + 285 + 285 ) 285 )
(%o39)
443 28315223495070163229361855166621988136833050127
2 3
4 5 6
(%i40) factor(1 + 289 + 289
+ 289 + 289 + 289 + 289
2 3
4 5 15
+ (1 + 289 + 289 + 289 + 289 + 289 ) 289 )
(%o40)
16575331013331798754698759114475942356774555469261
素数ですね。
2 3
4 5 6
(%i41) factor(1 + 291 + 291
+ 291 + 291 + 291 + 291
2 3
4 5 15
+ (1 + 291 + 291 + 291 + 291 + 291 ) 291 )
(%o41)
65357800121 1765662918289 164873003174406359965498337
2 3
4 5 6
(%i42) factor(1 + 292 + 292
+ 292 + 292 + 292 + 292
2 3
4 5 15
+ (1 + 292 + 292 + 292 + 292 + 292 ) 292 )
(%o42)
709 9887132185793071427 2906901498379255683421876667
2 3
4 5 6
(%i43) factor(1 + 294 + 294
+ 294 + 294 + 294 + 294
2 3
4 5 15
+ (1 + 294 + 294 + 294 + 294 + 294 ) 294 )
(%o43)
187668493 124461477349457102353644473608741364559967
2 3
4 5 6
(%i44) factor(1 + 297 + 297
+ 297 + 297 + 297 + 297
2 3
4 5 15
+ (1 + 297 + 297 + 297 + 297 + 297 ) 297 )
(%o44)
4485989587 6378748268479928997135827848277738135983
2 3
4 5 6
(%i45) factor(1 + 298 + 298
+ 298 + 298 + 298 + 298
2 3
4 5 15
+ (1 + 298 + 298 + 298 + 298 + 298 ) 298 )
(%o45)
2055917 40960747 3599032159 62699985763 1610491662662237
(%o45)
a.bat
(%i46)
b.txtに追加されるものは
163,206
457,208
349,215
601,223
281,230
307,238
109,241
577,241
727,246
503,255
751,263
293,267
311,281
677,281
229,282
443,285
709,292
Autohajiku.cのmaxを300にする。
$gcc -Wall Autohajiku.c -o Autohajiku
$./Autohajiku
19n+5
17n+6
17n+7
23n+7
11n+9
13n+14
653n+14
181n+16
23n+17
389n+19
13n+1
61n+21
251n+22
109n+25
41n+28
61n+28
251n+29
89n+32
149n+32
59n+33
149n+33
83n+34
269n+36
113n+36
131n+37
463n+39
167n+49
79n+51
607n+51
601n+52
197n+54
353n+59
229n+67
151n+68
569n+68
41n+69
79n+70
43n+71
73n+71
997n+72
83n+73
61n+82
257n+82
137n+87
61n+89
521n+98
113n+103
503n+104
241n+107
593n+113
73n+115
127n+115
549n+135
577n+135
607n+140
601n+147
47n+165
109n+167
773n+169
521n+173
577n+173
347n+187
73n+188
463n+188
563n+188
163n+206
457n+208
349n+215
601n+223
281n+230
307n+238
109n+241
577n+241
727n+246
503n+255
751n+263
293n+267
311n+281
677n+281
229n+282
443n+285
709n+292
b.txt read! 82 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
300=13x22+14
300=13x23+1
!!! 301 !!!
!!! 302 !!!
!!! 303 !!!
!!! 304 !!!
305=269x1+36
306=23x13+7
306=11x27+9
306=47x3+165
307=79x3+70
!!! 308 !!!
309=19x16+5
!!! 310 !!!
!!! 311 !!!
312=17x18+6
313=17x18+7
313=13x23+14
313=13x24+1
!!! 314 !!!
315=41x7+28
315=41x6+69
316=23x13+17
317=11x28+9
!!! 318 !!!
!!! 319 !!!
!!! 320 !!!
!!! 321 !!!
322=83x3+73
!!! 323 !!!
!!! 324 !!!
!!! 325 !!!
326=13x24+14
326=13x25+1
326=61x5+21
326=61x4+82
!!! 327 !!!
328=19x17+5
328=11x29+9
328=59x5+33
329=17x19+6
329=23x14+7
329=43x6+71
329=113x2+103
330=17x19+7
330=149x2+32
331=149x2+33
!!! 332 !!!
333=61x5+28
333=61x4+89
334=73x3+115
334=73x2+188
!!! 335 !!!
!!! 336 !!!
!!! 337 !!!
!!! 338 !!!
339=11x30+9
339=13x25+14
339=23x14+17
339=13x26+1
339=257x1+82
!!! 340 !!!
!!! 341 !!!
!!! 342 !!!
!!! 343 !!!
!!! 344 !!!
!!! 345 !!!
346=17x20+6
347=19x18+5
347=17x20+7
348=241x1+107
!!! 349 !!!
350=11x31+9
350=109x1+241
!!! 351 !!!
352=23x15+7
352=13x26+14
352=13x27+1
352=109x3+25
353=47x4+165
!!! 354 !!!
!!! 355 !!!
356=41x8+28
356=41x7+69
!!! 357 !!!
!!! 358 !!!
!!! 359 !!!
!!! 360 !!!
361=11x32+9
361=137x2+87
362=23x15+17
363=17x21+6
363=73x4+71
364=17x21+7
365=13x27+14
365=13x28+1
366=19x19+5
366=83x4+34
367=79x4+51
!!! 368 !!!
369=127x2+115
369=163x1+206
370=151x2+68
!!! 371 !!!
372=11x33+9
372=43x7+71
!!! 373 !!!
!!! 374 !!!
375=23x16+7
375=113x3+36
!!! 376 !!!
!!! 377 !!!
378=13x28+14
378=181x2+16
378=13x29+1
!!! 379 !!!
380=17x22+6
381=17x22+7
!!! 382 !!!
383=11x34+9
383=167x2+49
!!! 384 !!!
385=19x20+5
385=23x16+17
385=109x2+167
386=79x4+70
387=61x6+21
387=59x6+33
387=61x5+82
388=89x4+32
!!! 389 !!!
!!! 390 !!!
391=13x29+14
391=13x30+1
!!! 392 !!!
!!! 393 !!!
394=11x35+9
394=61x6+28
394=61x5+89
!!! 395 !!!
!!! 396 !!!
397=17x23+6
397=41x9+28
397=41x8+69
398=17x23+7
398=23x17+7
!!! 399 !!!
生成されたa.batは、
factor((301^5+301^4+301^3+301^2+301+1)*301^15+301^6+301^5+301^4+301^3+301^2+301+1);
factor((302^5+302^4+302^3+302^2+302+1)*302^15+302^6+302^5+302^4+302^3+302^2+302+1);
factor((303^5+303^4+303^3+303^2+303+1)*303^15+303^6+303^5+303^4+303^3+303^2+303+1);
factor((304^5+304^4+304^3+304^2+304+1)*304^15+304^6+304^5+304^4+304^3+304^2+304+1);
factor((308^5+308^4+308^3+308^2+308+1)*308^15+308^6+308^5+308^4+308^3+308^2+308+1);
factor((310^5+310^4+310^3+310^2+310+1)*310^15+310^6+310^5+310^4+310^3+310^2+310+1);
factor((311^5+311^4+311^3+311^2+311+1)*311^15+311^6+311^5+311^4+311^3+311^2+311+1);
factor((314^5+314^4+314^3+314^2+314+1)*314^15+314^6+314^5+314^4+314^3+314^2+314+1);
factor((318^5+318^4+318^3+318^2+318+1)*318^15+318^6+318^5+318^4+318^3+318^2+318+1);
factor((319^5+319^4+319^3+319^2+319+1)*319^15+319^6+319^5+319^4+319^3+319^2+319+1);
factor((320^5+320^4+320^3+320^2+320+1)*320^15+320^6+320^5+320^4+320^3+320^2+320+1);
factor((321^5+321^4+321^3+321^2+321+1)*321^15+321^6+321^5+321^4+321^3+321^2+321+1);
factor((323^5+323^4+323^3+323^2+323+1)*323^15+323^6+323^5+323^4+323^3+323^2+323+1);
factor((324^5+324^4+324^3+324^2+324+1)*324^15+324^6+324^5+324^4+324^3+324^2+324+1);
factor((325^5+325^4+325^3+325^2+325+1)*325^15+325^6+325^5+325^4+325^3+325^2+325+1);
factor((327^5+327^4+327^3+327^2+327+1)*327^15+327^6+327^5+327^4+327^3+327^2+327+1);
factor((332^5+332^4+332^3+332^2+332+1)*332^15+332^6+332^5+332^4+332^3+332^2+332+1);
factor((335^5+335^4+335^3+335^2+335+1)*335^15+335^6+335^5+335^4+335^3+335^2+335+1);
factor((336^5+336^4+336^3+336^2+336+1)*336^15+336^6+336^5+336^4+336^3+336^2+336+1);
factor((337^5+337^4+337^3+337^2+337+1)*337^15+337^6+337^5+337^4+337^3+337^2+337+1);
factor((338^5+338^4+338^3+338^2+338+1)*338^15+338^6+338^5+338^4+338^3+338^2+338+1);
factor((340^5+340^4+340^3+340^2+340+1)*340^15+340^6+340^5+340^4+340^3+340^2+340+1);
factor((341^5+341^4+341^3+341^2+341+1)*341^15+341^6+341^5+341^4+341^3+341^2+341+1);
factor((342^5+342^4+342^3+342^2+342+1)*342^15+342^6+342^5+342^4+342^3+342^2+342+1);
factor((343^5+343^4+343^3+343^2+343+1)*343^15+343^6+343^5+343^4+343^3+343^2+343+1);
factor((344^5+344^4+344^3+344^2+344+1)*344^15+344^6+344^5+344^4+344^3+344^2+344+1);
factor((345^5+345^4+345^3+345^2+345+1)*345^15+345^6+345^5+345^4+345^3+345^2+345+1);
factor((349^5+349^4+349^3+349^2+349+1)*349^15+349^6+349^5+349^4+349^3+349^2+349+1);
factor((351^5+351^4+351^3+351^2+351+1)*351^15+351^6+351^5+351^4+351^3+351^2+351+1);
factor((354^5+354^4+354^3+354^2+354+1)*354^15+354^6+354^5+354^4+354^3+354^2+354+1);
factor((355^5+355^4+355^3+355^2+355+1)*355^15+355^6+355^5+355^4+355^3+355^2+355+1);
factor((357^5+357^4+357^3+357^2+357+1)*357^15+357^6+357^5+357^4+357^3+357^2+357+1);
factor((358^5+358^4+358^3+358^2+358+1)*358^15+358^6+358^5+358^4+358^3+358^2+358+1);
factor((359^5+359^4+359^3+359^2+359+1)*359^15+359^6+359^5+359^4+359^3+359^2+359+1);
factor((360^5+360^4+360^3+360^2+360+1)*360^15+360^6+360^5+360^4+360^3+360^2+360+1);
factor((368^5+368^4+368^3+368^2+368+1)*368^15+368^6+368^5+368^4+368^3+368^2+368+1);
factor((371^5+371^4+371^3+371^2+371+1)*371^15+371^6+371^5+371^4+371^3+371^2+371+1);
factor((373^5+373^4+373^3+373^2+373+1)*373^15+373^6+373^5+373^4+373^3+373^2+373+1);
factor((374^5+374^4+374^3+374^2+374+1)*374^15+374^6+374^5+374^4+374^3+374^2+374+1);
factor((376^5+376^4+376^3+376^2+376+1)*376^15+376^6+376^5+376^4+376^3+376^2+376+1);
factor((377^5+377^4+377^3+377^2+377+1)*377^15+377^6+377^5+377^4+377^3+377^2+377+1);
factor((379^5+379^4+379^3+379^2+379+1)*379^15+379^6+379^5+379^4+379^3+379^2+379+1);
factor((382^5+382^4+382^3+382^2+382+1)*382^15+382^6+382^5+382^4+382^3+382^2+382+1);
factor((384^5+384^4+384^3+384^2+384+1)*384^15+384^6+384^5+384^4+384^3+384^2+384+1);
factor((389^5+389^4+389^3+389^2+389+1)*389^15+389^6+389^5+389^4+389^3+389^2+389+1);
factor((390^5+390^4+390^3+390^2+390+1)*390^15+390^6+390^5+390^4+390^3+390^2+390+1);
factor((392^5+392^4+392^3+392^2+392+1)*392^15+392^6+392^5+392^4+392^3+392^2+392+1);
factor((393^5+393^4+393^3+393^2+393+1)*393^15+393^6+393^5+393^4+393^3+393^2+393+1);
factor((395^5+395^4+395^3+395^2+395+1)*395^15+395^6+395^5+395^4+395^3+395^2+395+1);
factor((396^5+396^4+396^3+396^2+396+1)*396^15+396^6+396^5+396^4+396^3+396^2+396+1);
factor((399^5+399^4+399^3+399^2+399+1)*399^15+399^6+399^5+399^4+399^3+399^2+399+1);
結果は、
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3
4 5 6
(%i2) factor(1 + 301 + 301
+ 301 + 301 + 301 + 301
2 3
4 5 15
+ (1 + 301 + 301 + 301 + 301 + 301 ) 301 )
(%o2)
4801 5749 299136179 4528790138737464335503642126122203
2 3
4 5 6
(%i3) factor(1 + 302 + 302
+ 302 + 302 + 302 + 302
2 3
4 5 15
+ (1 + 302 + 302 + 302 + 302 + 302 ) 302 )
(%o3)
198613 5051741 1580880386857636021 25190196036215998127
2 3
4 5 6
(%i4) factor(1 + 303 + 303
+ 303 + 303 + 303 + 303
2 3
4 5 15
+ (1 + 303 + 303 + 303 + 303 + 303 ) 303 )
(%o4)
5641 11087 28155222443459 24241480806032722849985447197
2 3
4 5 6
(%i5) factor(1 + 304 + 304
+ 304 + 304 + 304 + 304
2 3
4 5 15
+ (1 + 304 + 304 + 304 + 304 + 304 ) 304 )
(%o5)
269 21011 19705711 57538112089 7114688779895226412613761
2 3
4 5 6
(%i6) factor(1 + 308 + 308
+ 308 + 308 + 308 + 308
2 3
4 5 15
+ (1 + 308 + 308 + 308 + 308 + 308 ) 308 )
(%o6)
347 3163 7452985631867 12756425996333 567464511398980691
2 3
4 5 6
(%i7) factor(1 + 310 + 310
+ 310 + 310 + 310 + 310
2 3
4 5 15
+ (1 + 310 + 310 + 310 + 310 + 310 ) 310 )
(%o7)
15096383 216314051 20638562981035800472551795404031967
2 3
4 5 6
(%i8) factor(1 + 311 + 311
+ 311 + 311 + 311 + 311
2 3
4 5 15
+ (1 + 311 + 311 + 311 + 311 + 311 ) 311 )
(%o8)
3623 104527 33533779 130904127045347 43238818560801157201
2 3
4 5 6
(%i9) factor(1 + 314 + 314
+ 314 + 314 + 314 + 314
2 3
4 5 15
+ (1 + 314 + 314 + 314 + 314 + 314 ) 314 )
(%o9)
1157519975264720685689 75240171645859190716735033199
2 3
4 5 6
(%i10) factor(1 + 318 + 318
+ 318 + 318 + 318 + 318
2 3
4 5 15
+ (1 + 318 + 318 + 318 + 318 + 318 ) 318 )
(%o10)
328930157 341040978050339014216102732912462519199543
2 3
4 5 6
(%i11) factor(1 + 319 + 319
+ 319 + 319 + 319 + 319
2 3
4 5 15
+ (1 + 319 + 319 + 319 + 319 + 319 ) 319 )
(%o11)
23813 33113 649736394900121 233145688585191092230274269
2 3
4 5 6
(%i12) factor(1 + 320 + 320
+ 320 + 320 + 320 + 320
2 3
4 5 15
+ (1 + 320 + 320 + 320 + 320 + 320 ) 320 )
(%o12)
157019 106831338667 4167491659787591 1819002285388091647
2 3
4 5 6
(%i13) factor(1 + 321 + 321
+ 321 + 321 + 321 + 321
2 3
4 5 15
+ (1 + 321 + 321 + 321 + 321 + 321 ) 321 )
(%o13)
4253186687 31823010080060957316054254895404914985459
2 3
4 5 6
(%i14) factor(1 + 323 + 323
+ 323 + 323 + 323 + 323
2 3
4 5 15
+ (1 + 323 + 323 + 323 + 323 + 323 ) 323 )
(%o14)
364541 420388393092930675214797332810644298939621981
2 3
4 5 6
(%i15) factor(1 + 324 + 324
+ 324 + 324 + 324 + 324
2 3
4 5 15
+ (1 + 324 + 324 + 324 + 324 + 324 ) 324 )
(%o15)
163020676866274040972768051065688189941919914929301
素数ですね。
2 3
4 5 6
(%i16) factor(1 + 325 + 325
+ 325 + 325 + 325 + 325
2 3
4 5 15
+ (1 + 325 + 325 + 325 + 325 + 325 ) 325 )
(%o16)
199 658663 105256203072833 12567286805051527356143874581
2 3
4 5 6
(%i17) factor(1 + 327 + 327
+ 327 + 327 + 327 + 327
2 3
4 5 15
+ (1 + 327 + 327 + 327 + 327 + 327 ) 327 )
(%o17)
10011709262287404365110477 19578390050483333501971093
2 3
4 5 6
(%i18) factor(1 + 332 + 332
+ 332 + 332 + 332 + 332
2 3
4 5 15
+ (1 + 332 + 332 + 332 + 332 + 332 ) 332 )
(%o18)
1877 9061121 32787377811511546681 476122687533990809713
2 3
4 5 6
(%i19) factor(1 + 335 + 335
+ 335 + 335 + 335 + 335
2 3
4 5 15
+ (1 + 335 + 335 + 335 + 335 + 335 ) 335 )
(%o19)
499 23911 5664205361 4702807532863433647235077896802109
2 3
4 5 6
(%i20) factor(1 + 336 + 336
+ 336 + 336 + 336 + 336
2 3
4 5 15
+ (1 + 336 + 336 + 336 + 336 + 336 ) 336 )
(%o20)
1451 11934052053613 348842178207851 55846465023932739421
2 3
4 5 6
(%i21) factor(1 + 337 + 337
+ 337 + 337 + 337 + 337
2 3
4 5 15
+ (1 + 337 + 337 + 337 + 337 + 337 ) 337 )
(%o21)
4234229929835123 84550115119740448062441512809169567
2 3
4 5 6
(%i22) factor(1 + 338 + 338
+ 338 + 338 + 338 + 338
2 3
4 5 15
+ (1 + 338 + 338 + 338 + 338 + 338 ) 338 )
(%o22)
2047785731 157032676817 1181262068654596964072487545653
2 3
4 5 6
(%i23) factor(1 + 340 + 340
+ 340 + 340 + 340 + 340
2 3
4 5 15
+ (1 + 340 + 340 + 340 + 340 + 340 ) 340 )
(%o23)
72679 5680133 145112041 1738411685741 4104252094849144123
2 3
4 5 6
(%i24) factor(1 + 341 + 341
+ 341 + 341 + 341 + 341
2 3
4 5 15
+ (1 + 341 + 341 + 341 + 341 + 341 ) 341 )
(%o24)
1300139 225938023 10677984584909 144508915583242531348861
2 3
4 5 6
(%i25) factor(1 + 342 + 342
+ 342 + 342 + 342 + 342
2 3
4 5 15
+ (1 + 342 + 342 + 342 + 342 + 342 ) 342 )
(%o25)
12071 74531 11794753990998001 45292340430674665020525031
2 3
4 5 6
(%i26) factor(1 + 343 + 343
+ 343 + 343 + 343 + 343
2 3
4 5 15
+ (1 + 343 + 343 + 343 + 343 + 343 ) 343 )
(%o26)
383 51407 25877920882190989582080316717561394839437121
2 3
4 5 6
(%i27) factor(1 + 344 + 344
+ 344 + 344 + 344 + 344
2 3
4 5 15
+ (1 + 344 + 344 + 344 + 344 + 344 ) 344 )
(%o27)
26808973 295280903 5104144301 13365791817197585804464999
2 3
4 5 6
(%i28) factor(1 + 345 + 345
+ 345 + 345 + 345 + 345
2 3
4 5 15
+ (1 + 345 + 345 + 345 + 345 + 345 ) 345 )
(%o28)
8291 201075611296447708189 343301926958051771521546379
2 3
4 5 6
(%i29) factor(1 + 349 + 349
+ 349 + 349 + 349 + 349
2 3
4 5 15
+ (1 + 349 + 349 + 349 + 349 + 349 ) 349 )
(%o29) 599 9161
10266167 233055623 4541608983407 12086689514440757
2 3
4 5 6
(%i30) factor(1 + 351 + 351
+ 351 + 351 + 351 + 351
2 3
4 5 15
+ (1 + 351 + 351 + 351 + 351 + 351 ) 351 )
(%o30)
397 2035124087915785559828434559010162373259181645829
2 3
4 5 6
(%i31) factor(1 + 354 + 354
+ 354 + 354 + 354 + 354
2 3
4 5 15
+ (1 + 354 + 354 + 354 + 354 + 354 ) 354 )
(%o31)
389 122399 148838311 135161061266057462129485220945390251
2 3
4 5 6
(%i32) factor(1 + 355 + 355
+ 355 + 355 + 355 + 355
2 3
4 5 15
+ (1 + 355 + 355 + 355 + 355 + 355 ) 355 )
(%o32)
8977455181 112885693794471155860613490061794245114701
2 3
4 5 6
(%i33) factor(1 + 357 + 357
+ 357 + 357 + 357 + 357
2 3
4 5 15
+ (1 + 357 + 357 + 357 + 357 + 357 ) 357 )
(%o33)
1992090181 569211342485407290785044661614873881561121
2 3
4 5 6
(%i34) factor(1 + 358 + 358
+ 358 + 358 + 358 + 358
2 3
4 5 15
+ (1 + 358 + 358 + 358 + 358 + 358 ) 358 )
(%o34)
1199155057383459287446690324718510185544883352065811
素数ですね。
2 3
4 5 6
(%i35) factor(1 + 359 + 359
+ 359 + 359 + 359 + 359
2 3
4 5 15
+ (1 + 359 + 359 + 359 + 359 + 359 ) 359 )
(%o35)
379 19031 175792189072353667828806936918807634830365909
2 3
4 5 6
(%i36) factor(1 + 360 + 360
+ 360 + 360 + 360 + 360
2 3
4 5 15
+ (1 + 360 + 360 + 360 + 360 + 360 ) 360 )
(%o35)
379 19031 175792189072353667828806936918807634830365909
2 3
4 5 6
(%i36) factor(1 + 360 + 360
+ 360 + 360 + 360 + 360
2 3
4 5 15
+ (1 + 360 + 360 + 360 + 360 + 360 ) 360 )
(%o36)
19456435539765054672105779 68896123713305967312795059
2 3
4 5 6
(%i37) factor(1 + 368 + 368
+ 368 + 368 + 368 + 368
2 3
4 5 15
+ (1 + 368 + 368 + 368 + 368 + 368 ) 368 )
(%o37)
3405121 610949872964973047173863741856721817563058481
2 3
4 5 6
(%i38) factor(1 + 371 + 371
+ 371 + 371 + 371 + 371
2 3
4 5 15
+ (1 + 371 + 371 + 371 + 371 + 371 ) 371 )
(%o38)
2099 500603633 95232802175473717 24454420672234263242647
2 3
4 5 6
(%i39) factor(1 + 373 + 373
+ 373 + 373 + 373 + 373
2 3
4 5 15
+ (1 + 373 + 373 + 373 + 373 + 373 ) 373 )
(%o39)
846828640974373503846353 3217710665501031709166527157
2 3
4 5 6
(%i40) factor(1 + 374 + 374
+ 374 + 374 + 374 + 374
2 3
4 5 15
+ (1 + 374 + 374 + 374 + 374 + 374 ) 374 )
(%o40)
2874715127822020389915278283421871184219414852185251
2 3
4 5 6
(%i41) factor(1 + 376 + 376
+ 376 + 376 + 376 + 376
2 3
4 5 15
+ (1 + 376 + 376 + 376 + 376 + 376 ) 376 )
(%o41)
88483835610097 1108842992233421 32597138625089257085549
2 3
4 5 6
(%i42) factor(1 + 377 + 377
+ 377 + 377 + 377 + 377
2 3
4 5 15
+ (1 + 377 + 377 + 377 + 377 + 377 ) 377 )
(%o42)
1123 305041411 325543485392317 30243562229483461740003961
2 3
4 5 6
(%i43) factor(1 + 379 + 379
+ 379 + 379 + 379 + 379
2 3
4 5 15
+ (1 + 379 + 379 + 379 + 379 + 379 ) 379 )
(%o43)
137 99831462243901691 274121822151049870877154447000163
2 3
4 5 6
(%i44) factor(1 + 382 + 382
+ 382 + 382 + 382 + 382
2 3
4 5 15
+ (1 + 382 + 382 + 382 + 382 + 382 ) 382 )
(%o44)
263 76382536257408103755943 218502204051367098233628539
2 3
4 5 6
(%i45) factor(1 + 384 + 384
+ 384 + 384 + 384 + 384
2 3
4 5 15
+ (1 + 384 + 384 + 384 + 384 + 384 ) 384 )
(%o45)
11887 409906377248659167850692872760765421396584924943
2 3
4 5 6
(%i46) factor(1 + 389 + 389
+ 389 + 389 + 389 + 389
2 3
4 5 15
+ (1 + 389 + 389 + 389 + 389 + 389 ) 389 )
(%o46) 347 601
34581959 44471165309 22079640320891 891221920243903
2 3
4 5 6
(%i47) factor(1 + 390 + 390
+ 390 + 390 + 390 + 390
2 3
4 5 15
+ (1 + 390 + 390 + 390 + 390 + 390 ) 390 )
(%o47)
359 3867361 246097909069 19444199150186012067796854412361
2 3
4 5 6
(%i48) factor(1 + 392 + 392
+ 392 + 392 + 392 + 392
2 3
4 5 15
+ (1 + 392 + 392 + 392 + 392 + 392 ) 392 )
(%o48)
138650339 53077408982782878671881523007071463663802979
2 3
4 5 6
(%i49) factor(1 + 393 + 393
+ 393 + 393 + 393 + 393
2 3
4 5 15
+ (1 + 393 + 393 + 393 + 393 + 393 ) 393 )
(%o49)
22303 345520429 250059198472757 4018626478310199321821939
2 3
4 5 6
(%i50) factor(1 + 395 + 395
+ 395 + 395 + 395 + 395
2 3
4 5 15
+ (1 + 395 + 395 + 395 + 395 + 395 ) 395 )
(%o50)
16339 524586745849401151221694752431599681676913382339
2 3
4 5 6
(%i51) factor(1 + 396 + 396
+ 396 + 396 + 396 + 396
2 3
4 5 15
+ (1 + 396 + 396 + 396 + 396 + 396 ) 396 )
(%o51)
111493 11823401 6839302110641812963386939643241646300881
2 3
4 5 6
(%i52) factor(1 + 399 + 399
+ 399 + 399 + 399 + 399
2 3
4 5 15
+ (1 + 399 + 399 + 399 + 399 + 399 ) 399 )
(%o52)
66337 31889894537 22750647984697151 217843725886562700679
(%o52)
a.bat
(%i53)
b.txtに追加されるものは
269,304
347,308
199,325
383,343
599,349
397,351
389,354
379,359
137,379
263,382
347,389
601,389
359,390
Autohajiku.cのmaxを400にして、
$gcc -Wall Autohajiku.c -o Autohajiku
$./Autohajiku
19n+5
17n+6
17n+7
23n+7
11n+9
13n+14
653n+14
181n+16
23n+17
389n+19
13n+1
61n+21
251n+22
109n+25
41n+28
61n+28
251n+29
89n+32
149n+32
59n+33
149n+33
83n+34
269n+36
113n+36
131n+37
463n+39
167n+49
79n+51
607n+51
601n+52
197n+54
353n+59
229n+67
151n+68
569n+68
41n+69
79n+70
43n+71
73n+71
997n+72
83n+73
61n+82
257n+82
137n+87
61n+89
521n+98
113n+103
503n+104
241n+107
593n+113
73n+115
127n+115
549n+135
577n+135
607n+140
601n+147
47n+165
109n+167
773n+169
521n+173
577n+173
347n+187
73n+188
463n+188
563n+188
163n+206
457n+208
349n+215
601n+223
281n+230
307n+238
109n+241
577n+241
727n+246
503n+255
751n+263
293n+267
311n+281
677n+281
229n+282
443n+285
709n+292
269n+304
347n+308
199n+325
383n+343
599n+349
397n+351
389n+354
379n+359
137n+379
263n+382
347n+389
601n+389
359n+390
b.txt read! 95 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
400=47x5+165
!!! 401 !!!
!!! 402 !!!
!!! 403 !!!
404=19x21+5
404=13x30+14
404=13x31+1
405=11x36+9
405=83x4+73
!!! 406 !!!
407=73x4+115
407=73x3+188
408=23x17+17
408=389x1+19
!!! 409 !!!
!!! 410 !!!
!!! 411 !!!
412=353x1+59
!!! 413 !!!
414=17x24+6
415=17x24+7
415=43x8+71
416=11x37+9
417=13x31+14
417=13x32+1
!!! 418 !!!
!!! 419 !!!
!!! 420 !!!
421=23x18+7
!!! 422 !!!
423=19x22+5
!!! 424 !!!
!!! 425 !!!
!!! 426 !!!
427=11x38+9
!!! 428 !!!
!!! 429 !!!
430=13x32+14
430=13x33+1
430=131x3+37
431=17x25+6
431=23x18+17
432=17x25+7
!!! 433 !!!
!!! 434 !!!
!!! 435 !!!
436=73x5+71
!!! 437 !!!
438=11x39+9
438=41x10+28
438=41x9+69
!!! 439 !!!
!!! 440 !!!
!!! 441 !!!
442=19x23+5
442=113x3+103
443=13x33+14
443=13x34+1
444=23x19+7
!!! 445 !!!
446=59x7+33
446=79x5+51
447=47x6+165
448=17x26+6
448=61x7+21
448=197x2+54
448=61x6+82
449=17x26+7
449=11x40+9
449=83x5+34
!!! 450 !!!
!!! 451 !!!
!!! 452 !!!
!!! 453 !!!
454=23x19+17
455=61x7+28
455=61x6+89
456=13x34+14
456=13x35+1
!!! 457 !!!
458=43x9+71
459=109x2+241
460=11x41+9
461=19x24+5
461=109x4+25
!!! 462 !!!
!!! 463 !!!
!!! 464 !!!
465=17x27+6
465=79x5+70
466=17x27+7
467=23x20+7
!!! 468 !!!
469=13x35+14
469=13x36+1
!!! 470 !!!
471=11x42+9
!!! 472 !!!
!!! 473 !!!
!!! 474 !!!
!!! 475 !!!
!!! 476 !!!
477=23x20+17
477=89x5+32
!!! 478 !!!
479=41x11+28
479=149x3+32
479=41x10+69
480=19x25+5
480=149x3+33
480=73x5+115
480=73x4+188
!!! 481 !!!
482=17x28+6
482=11x43+9
482=13x36+14
482=13x37+1
483=17x28+7
!!! 484 !!!
!!! 485 !!!
!!! 486 !!!
!!! 487 !!!
488=113x4+36
488=83x5+73
!!! 489 !!!
490=23x21+7
!!! 491 !!!
!!! 492 !!!
493=11x44+9
494=47x7+165
494=109x3+167
495=13x37+14
495=13x38+1
496=127x3+115
!!! 497 !!!
498=137x3+87
499=19x26+5
499=17x29+6
生成されたa.batは、
factor((401^5+401^4+401^3+401^2+401+1)*401^15+401^6+401^5+401^4+401^3+401^2+401+1);
factor((402^5+402^4+402^3+402^2+402+1)*402^15+402^6+402^5+402^4+402^3+402^2+402+1);
factor((403^5+403^4+403^3+403^2+403+1)*403^15+403^6+403^5+403^4+403^3+403^2+403+1);
factor((406^5+406^4+406^3+406^2+406+1)*406^15+406^6+406^5+406^4+406^3+406^2+406+1);
factor((409^5+409^4+409^3+409^2+409+1)*409^15+409^6+409^5+409^4+409^3+409^2+409+1);
factor((410^5+410^4+410^3+410^2+410+1)*410^15+410^6+410^5+410^4+410^3+410^2+410+1);
factor((411^5+411^4+411^3+411^2+411+1)*411^15+411^6+411^5+411^4+411^3+411^2+411+1);
factor((413^5+413^4+413^3+413^2+413+1)*413^15+413^6+413^5+413^4+413^3+413^2+413+1);
factor((418^5+418^4+418^3+418^2+418+1)*418^15+418^6+418^5+418^4+418^3+418^2+418+1);
factor((419^5+419^4+419^3+419^2+419+1)*419^15+419^6+419^5+419^4+419^3+419^2+419+1);
factor((420^5+420^4+420^3+420^2+420+1)*420^15+420^6+420^5+420^4+420^3+420^2+420+1);
factor((422^5+422^4+422^3+422^2+422+1)*422^15+422^6+422^5+422^4+422^3+422^2+422+1);
factor((424^5+424^4+424^3+424^2+424+1)*424^15+424^6+424^5+424^4+424^3+424^2+424+1);
factor((425^5+425^4+425^3+425^2+425+1)*425^15+425^6+425^5+425^4+425^3+425^2+425+1);
factor((426^5+426^4+426^3+426^2+426+1)*426^15+426^6+426^5+426^4+426^3+426^2+426+1);
factor((428^5+428^4+428^3+428^2+428+1)*428^15+428^6+428^5+428^4+428^3+428^2+428+1);
factor((429^5+429^4+429^3+429^2+429+1)*429^15+429^6+429^5+429^4+429^3+429^2+429+1);
factor((433^5+433^4+433^3+433^2+433+1)*433^15+433^6+433^5+433^4+433^3+433^2+433+1);
factor((434^5+434^4+434^3+434^2+434+1)*434^15+434^6+434^5+434^4+434^3+434^2+434+1);
factor((435^5+435^4+435^3+435^2+435+1)*435^15+435^6+435^5+435^4+435^3+435^2+435+1);
factor((437^5+437^4+437^3+437^2+437+1)*437^15+437^6+437^5+437^4+437^3+437^2+437+1);
factor((439^5+439^4+439^3+439^2+439+1)*439^15+439^6+439^5+439^4+439^3+439^2+439+1);
factor((440^5+440^4+440^3+440^2+440+1)*440^15+440^6+440^5+440^4+440^3+440^2+440+1);
factor((441^5+441^4+441^3+441^2+441+1)*441^15+441^6+441^5+441^4+441^3+441^2+441+1);
factor((445^5+445^4+445^3+445^2+445+1)*445^15+445^6+445^5+445^4+445^3+445^2+445+1);
factor((450^5+450^4+450^3+450^2+450+1)*450^15+450^6+450^5+450^4+450^3+450^2+450+1);
factor((451^5+451^4+451^3+451^2+451+1)*451^15+451^6+451^5+451^4+451^3+451^2+451+1);
factor((452^5+452^4+452^3+452^2+452+1)*452^15+452^6+452^5+452^4+452^3+452^2+452+1);
factor((453^5+453^4+453^3+453^2+453+1)*453^15+453^6+453^5+453^4+453^3+453^2+453+1);
factor((457^5+457^4+457^3+457^2+457+1)*457^15+457^6+457^5+457^4+457^3+457^2+457+1);
factor((462^5+462^4+462^3+462^2+462+1)*462^15+462^6+462^5+462^4+462^3+462^2+462+1);
factor((463^5+463^4+463^3+463^2+463+1)*463^15+463^6+463^5+463^4+463^3+463^2+463+1);
factor((464^5+464^4+464^3+464^2+464+1)*464^15+464^6+464^5+464^4+464^3+464^2+464+1);
factor((468^5+468^4+468^3+468^2+468+1)*468^15+468^6+468^5+468^4+468^3+468^2+468+1);
factor((470^5+470^4+470^3+470^2+470+1)*470^15+470^6+470^5+470^4+470^3+470^2+470+1);
factor((472^5+472^4+472^3+472^2+472+1)*472^15+472^6+472^5+472^4+472^3+472^2+472+1);
factor((473^5+473^4+473^3+473^2+473+1)*473^15+473^6+473^5+473^4+473^3+473^2+473+1);
factor((474^5+474^4+474^3+474^2+474+1)*474^15+474^6+474^5+474^4+474^3+474^2+474+1);
factor((475^5+475^4+475^3+475^2+475+1)*475^15+475^6+475^5+475^4+475^3+475^2+475+1);
factor((476^5+476^4+476^3+476^2+476+1)*476^15+476^6+476^5+476^4+476^3+476^2+476+1);
factor((478^5+478^4+478^3+478^2+478+1)*478^15+478^6+478^5+478^4+478^3+478^2+478+1);
factor((481^5+481^4+481^3+481^2+481+1)*481^15+481^6+481^5+481^4+481^3+481^2+481+1);
factor((484^5+484^4+484^3+484^2+484+1)*484^15+484^6+484^5+484^4+484^3+484^2+484+1);
factor((485^5+485^4+485^3+485^2+485+1)*485^15+485^6+485^5+485^4+485^3+485^2+485+1);
factor((486^5+486^4+486^3+486^2+486+1)*486^15+486^6+486^5+486^4+486^3+486^2+486+1);
factor((487^5+487^4+487^3+487^2+487+1)*487^15+487^6+487^5+487^4+487^3+487^2+487+1);
factor((489^5+489^4+489^3+489^2+489+1)*489^15+489^6+489^5+489^4+489^3+489^2+489+1);
factor((491^5+491^4+491^3+491^2+491+1)*491^15+491^6+491^5+491^4+491^3+491^2+491+1);
factor((492^5+492^4+492^3+492^2+492+1)*492^15+492^6+492^5+492^4+492^3+492^2+492+1);
factor((497^5+497^4+497^3+497^2+497+1)*497^15+497^6+497^5+497^4+497^3+497^2+497+1);
結果は、
(%i1) bacth("a.bat");
(%o1)
bacth(a.bat)
(%i2) batch("a.bat");
read and interpret file: a.bat
2 3
4 5 6
(%i3) factor(1 + 401 + 401 + 401 + 401 + 401 +
401
2 3
4 5 15
+ (1 + 401 + 401 + 401 + 401 + 401 ) 401 )
(%o3) 3832159 268604506192013860501
11256801797089213342423207
2 3
4 5 6
(%i4) factor(1 + 402 + 402 + 402 + 402 + 402 +
402
2 3
4 5 15
+ (1 + 402 + 402 + 402 + 402 + 402 ) 402 )
(%o4)
12178750745816065396556071381440788360384078785213711
素数ですね。
2 3
4 5 6
(%i5) factor(1 + 403 + 403 + 403 + 403 + 403 +
403
2 3
4 5 15
+ (1 + 403 + 403 + 403 + 403 + 403 ) 403 )
(%o5) 9649 322266349 1678742636833
5144630255339 476589381849143
2 3
4 5 6
(%i6) factor(1 + 406 + 406 + 406 + 406 + 406 +
406
2 3
4 5 15
+ (1 + 406 + 406 + 406 + 406 + 406 ) 406 )
(%o6) 1873 580370537
13656787364932151359674348886926791815643
2 3
4 5 6
(%i7) factor(1 + 409 + 409 + 409 + 409 + 409 +
409
2 3
4 5 15
+ (1 + 409 + 409 + 409 + 409 + 409 ) 409 )
(%o7) 7080401 10563061 8490435227 1614521447377
16776752237875339
2 3
4 5 6
(%i8) factor(1 + 410 + 410 + 410 + 410 + 410 +
410
2 3
4 5 15
+ (1 + 410 + 410 + 410 + 410 + 410 ) 410 )
(%o8)
18060829098320920671212490702002274115761718187799511
素数ですね。
2 3
4 5 6
(%i9) factor(1 + 411 + 411 + 411 + 411 + 411 +
411
2 3
4 5 15
+ (1 + 411 + 411 + 411 + 411 + 411 ) 411 )
(%o9) 56443507 4469755001
75161717209366212922588381135483739
2 3
4 5 6
(%i10) factor(1 + 413 + 413 + 413 + 413 + 413 +
413
2 3
4 5 15
+ (1 + 413 + 413 + 413 + 413 + 413 ) 413 )
(%o10) 24490869661 36031178869784508043
23679427059037403366347
2 3
4 5 6
(%i11) factor(1 + 418 + 418 + 418 + 418 + 418 +
418
2 3
4 5 15
+ (1 + 418 + 418 + 418 + 418 + 418 ) 418 )
(%o11) 1589377 12435172369
1344891128218937114951928469938423727
2 3
4 5 6
(%i12) factor(1 + 419 + 419 + 419 + 419 + 419 +
419
2 3
4 5 15
+ (1 + 419 + 419 + 419 + 419 + 419 ) 419 )
(%o12) 28771 34902419 323861168857 348119134801
246275347858752617
2 3
4 5 6
(%i13) factor(1 + 420 + 420 + 420 + 420 + 420 +
420
2 3
4 5 15
+ (1 + 420 + 420 + 420 + 420 + 420 ) 420 )
(%o13) 19118074723169084271331
1529596639065487721422226942791
2 3
4 5 6
(%i14) factor(1 + 422 + 422 + 422 + 422 + 422 +
422
2 3
4 5 15
+ (1 + 422 + 422 + 422 + 422 + 422 ) 422 )
(%o14) 366849413021327
87657997628385661222128769743900459773
2 3
4 5 6
(%i15) factor(1 + 424 + 424 + 424 + 424 + 424 +
424
2 3
4 5 15
+ (1 + 424 + 424 + 424 + 424 + 424 ) 424 )
(%o15) 641 8334379 18296462619976577
361613148238563287922487867
2 3
4 5 6
(%i16) factor(1 + 425 + 425 + 425 + 425 + 425 +
425
2 3
4 5 15
+ (1 + 425 + 425 + 425 + 425 + 425 ) 425 )
(%o16)
37051148484154913674530757181642577058023253717962301
素数ですね。
2 3
4 5 6
(%i17) factor(1 + 426 + 426 + 426 + 426 + 426 +
426
2 3
4 5 15
+ (1 + 426 + 426 + 426 + 426 + 426 ) 426 )
(%o17) 700289171 177200723171564749
312946249064563795633615697
2 3
4 5 6
(%i18) factor(1 + 428 + 428 + 428 + 428 + 428 +
428
2 3
4 5 15
+ (1 + 428 + 428 + 428 + 428 + 428 ) 428 )
(%o18) 234211 37117413371 7961409256589
616192393404779645478049
2 3
4 5 6
(%i19) factor(1 + 429 + 429 + 429 + 429 + 429 +
429
2 3
4 5 15
+ (1 + 429 + 429 + 429 + 429 + 429 ) 429 )
(%o19) 233 140390818829 2039668700426939
669738256552678556807027
2 3
4 5 6
(%i20) factor(1 + 433 + 433 + 433 + 433 + 433 +
433
2 3
4 5 15
+ (1 + 433 + 433 + 433 + 433 + 433 ) 433 )
(%o20) 1039 35227 76963 396675677 5168238913037567
9315597771755761
2 3
4 5 6
(%i21) factor(1 + 434 + 434 + 434 + 434 + 434 +
434
2 3
4 5 15
+ (1 + 434 + 434 + 434 + 434 + 434 ) 434 )
(%o21) 22811
2469744909136823950178211931929465595505180518781
2 3
4 5 6
(%i22) factor(1 + 435 + 435 + 435 + 435 + 435 +
435
2 3
4 5 15
+ (1 + 435 + 435 + 435 + 435 + 435 ) 435 )
(%o22) 907 1042119280735911149
62410828581372233987339856277127
2 3
4 5 6
(%i23) factor(1 + 437 + 437 + 437 + 437 + 437 +
437
2 3
4 5 15
+ (1 + 437 + 437 + 437 + 437 + 437 ) 437 )
(%o23) 6323 31091 95919203 3317101223 932293959407
1108788360442439
2 3
4 5 6
(%i24) factor(1 + 439 + 439 + 439 + 439 + 439 +
439
2 3
4 5 15
+ (1 + 439 + 439 + 439 + 439 + 439 ) 439 )
(%o24)
70840368977560783220764263251500216152636094816413361
素数ですね。
2 3
4 5 6
(%i25) factor(1 + 440 + 440 + 440 + 440 + 440 +
440
2 3
4 5 15
+ (1 + 440 + 440 + 440 + 440 + 440 ) 440 )
(%o25) 2999 505893979 1535810093 19158390539
1660768772797538531123
2 3
4 5 6
(%i26) factor(1 + 441 + 441 + 441 + 441 + 441 +
441
2 3
4 5 15
+ (1 + 441 + 441 + 441 + 441 + 441 ) 441 )
(%o26) 593 7826281
16716585422553134857917328967730226410145541
2 3
4 5 6
(%i27) factor(1 + 445 + 445 + 445 + 445 + 445 +
445
2 3
4 5 15
+ (1 + 445 + 445 + 445 + 445 + 445 ) 445 )
(%o27) 8863 68443
153203072028356461877544615713101803927117169
2 3
4 5 6
(%i28) factor(1 + 450 + 450 + 450 + 450 + 450 +
450
2 3
4 5 15
+ (1 + 450 + 450 + 450 + 450 + 450 ) 450 )
(%o28) 821 6073 188464993
123662868817381743605873824366034913179
2 3
4 5 6
(%i29) factor(1 + 451 + 451 + 451 + 451 + 451 +
451
2 3
4 5 15
+ (1 + 451 + 451 + 451 + 451 + 451 ) 451 )
(%o29) 62644540081
1939151053665051830963298418563055449586873
2 3
4 5 6
(%i30) factor(1 + 452 + 452 + 452 + 452 + 452 +
452
2 3
4 5 15
+ (1 + 452 + 452 + 452 + 452 + 452 ) 452 )
(%o30) 12829 8335099637521 4162920062355973
285252143636525251573
2 3
4 5 6
(%i31) factor(1 + 453 + 453 + 453 + 453 + 453 +
453
2 3
4 5 15
+ (1 + 453 + 453 + 453 + 453 + 453 ) 453 )
(%o31) 106627 1557956824482792271
798916147708704140501980702873
2 3
4 5 6
(%i32) factor(1 + 457 + 457 + 457 + 457 + 457 +
457
2 3
4 5 15
+ (1 + 457 + 457 + 457 + 457 + 457 ) 457 )
(%o32) 978073 64028801
2526554781849209681465444830987190370437
2 3
4 5 6
(%i33) factor(1 + 462 + 462 + 462 + 462 + 462 +
462
2 3
4 5 15
+ (1 + 462 + 462 + 462 + 462 + 462 ) 462 )
(%o33) 1307 959495689 15851978993 14296562527307
692064910194602267
2 3
4 5 6
(%i34) factor(1 + 463 + 463 + 463 + 463 + 463 +
463
2 3
4 5 15
+ (1 + 463 + 463 + 463 + 463 + 463 ) 463 )
(%o34) 541 15817
24001448703862968026729359206211151281937888173
2 3
4 5 6
(%i35) factor(1 + 464 + 464 + 464 + 464 + 464 +
464
2 3
4 5 15
+ (1 + 464 + 464 + 464 + 464 + 464 ) 464 )
(%o35) 1759 7590493 9298213 521679498539
3310987313746782431114429
2 3
4 5 6
(%i36) factor(1 + 468 + 468 + 468 + 468 + 468 +
468
2 3
4 5 15
+ (1 + 468 + 468 + 468 + 468 + 468 ) 468 )
(%o36) 773 1018021 1077325792659059
300305126204852882129362088383
2 3
4 5 6
(%i37) factor(1 + 470 + 470 + 470 + 470 + 470 +
470
2 3
4 5 15
+ (1 + 470 + 470 + 470 + 470 + 470 ) 470 )
(%o37) 293 1249999 5663728139
133660317714243612018639550557244027
2 3
4 5 6
(%i38) factor(1 + 472 + 472 + 472 + 472 + 472 +
472
2 3
4 5 15
+ (1 + 472 + 472 + 472 + 472 + 472 ) 472 )
(%o38) 33909563 5394410591
1650041517661011390302361523569273637
2 3
4 5 6
(%i39) factor(1 + 473 + 473 + 473 + 473 + 473 +
473
2 3
4 5 15
+ (1 + 473 + 473 + 473 + 473 + 473 ) 473 )
(%o39) 781741 35959247 52163653
214733835169587717302614018029491
2 3
4 5 6
(%i40) factor(1 + 474 + 474 + 474 + 474 + 474 +
474
2 3
4 5 15
+ (1 + 474 + 474 + 474 + 474 + 474 ) 474 )
(%o40) 191 22570401187 114282148438575437
666703894762446932327119
2 3
4 5 6
(%i41) factor(1 + 475 + 475 + 475 + 475 + 475 +
475
2 3
4 5 15
+ (1 + 475 + 475 + 475 + 475 + 475 ) 475 )
(%o41) 12018767209 845407734775248301
33717962248828387930034389
2 3
4 5 6
(%i42) factor(1 + 476 + 476 + 476 + 476 + 476 +
476
2 3
4 5 15
+ (1 + 476 + 476 + 476 + 476 + 476 ) 476 )
(%o42) 4284248848043 467879177993537
178255931765516194008092743
2 3
4 5 6
(%i43) factor(1 + 478 + 478 + 478 + 478 + 478 +
478
2 3
4 5 15
+ (1 + 478 + 478 + 478 + 478 + 478 ) 478 )
(%o43) 1993 7607 16243223 111670987 8318958247087
1698498739631991943
2 3
4 5 6
(%i44) factor(1 + 481 + 481 + 481 + 481 + 481 +
481
2 3
4 5 15
+ (1 + 481 + 481 + 481 + 481 + 481 ) 481 )
(%o44)
440357468562814432137537114575529656897123118515004493
素数ですね。
2 3
4 5 6
(%i45) factor(1 + 484 + 484 + 484 + 484 + 484 +
484
2 3
4 5 15
+ (1 + 484 + 484 + 484 + 484 + 484 ) 484 )
(%o45) 349 461 519706931 2491132531 21837356117
109628560881278383937
2 3
4 5 6
(%i46) factor(1 + 485 + 485 + 485 + 485 + 485 +
485
2 3
4 5 15
+ (1 + 485 + 485 + 485 + 485 + 485 ) 485 )
(%o46) 11117 11861775826625927
3940885629971585800552154850958879
2 3
4 5 6
(%i47) factor(1 + 486 + 486 + 486 + 486 + 486 +
486
2 3
4 5 15
+ (1 + 486 + 486 + 486 + 486 + 486 ) 486 )
(%o47) 2543 57457 65717 287863 3545981471946647
55249782228762530729
2 3
4 5 6
(%i48) factor(1 + 487 + 487 + 487 + 487 + 487 +
487
2 3
4 5 15
+ (1 + 487 + 487 + 487 + 487 + 487 ) 487 )
(%o48) 26667889747
21158421537286428327588818160266368998958603
2 3
4 5 6
(%i49) factor(1 + 489 + 489 + 489 + 489 + 489 +
489
2 3
4 5 15
+ (1 + 489 + 489 + 489 + 489 + 489 ) 489 )
(%o49) 829
738774146844221019899077739812277381707514227041409
2 3
4 5 6
(%i50) factor(1 + 491 + 491 + 491 + 491 + 491 +
491
2 3
4 5 15
+ (1 + 491 + 491 + 491 + 491 + 491 ) 491 )
(%o50) 2083079 8952143 4290639307
8305398896876671760490294343507
2 3
4 5 6
(%i51) factor(1 + 492 + 492 + 492 + 492 + 492 +
492
2 3
4 5 15
+ (1 + 492 + 492 + 492 + 492 + 492 ) 492 )
(%o51) 1969933037714869
351345343605082621965648603742905977449
2 3
4 5 6
(%i52) factor(1 + 497 + 497 + 497 + 497 + 497 +
497
2 3
4 5 15
+ (1 + 497 + 497 + 497 + 497 + 497 ) 497 )
(%o52) 7649 253312951 311726803924706279
1402704805565636928461101
(%o52)
a.bat
(%i53)