多項式(x^5+x^4+x^3+x^2+
x+1)*x^18+x^6+x^5+x^4+x^3+x^2+x+1
Ver.1.000 2012.3.31
更新履歴
2012.3.31 Ver.1.000 新規作成
多項式を変える。
(x^5+x^4+x^3+x^2+x+1)*x^18+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^18+x^6+x^5+x^4+x^3+x^2+x+1);
23 22 21
20 19 18
6 5 4
3 2
(%o1) x +
x + x + x + x +
x + x + x + x + x + x + x + 1
e9.batを作った。以下に示す。
for x:2
while x<20 do(
y:factor((x^5+x^4+x^3+x^2+x+1)*x^18+x^6+x^5+x^4+x^3+x^2+x+1),
print("
x=",x),
print("factor(x)=",y)
);
e8.batをmaximaで実行した。
(%i1) batch("e9.bat");
read and interpret file: e9.bat
(%i2) for x from 2 while x <
20 do (y :
2 3 4
5
6
2 3 4
5 18
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)= 19 659 1319
x= 3
factor(x)= 17 29 149 367 5231
x= 4
factor(x)= 83 62627 18045661
x= 5
factor(x)= 17 8219 186689 571223
x= 6
factor(x)= 47 163 353 929 5381
70099
x= 7
factor(x)= 359 1607
55346185348273
x= 8
factor(x)= 11 61 13147
76473471962357
x= 9
factor(x)= 151 449 1447
101633668751117
x= 10
factor(x)= 269737451
411922777456661
x= 11
factor(x)= 3359 4293701
68293975838467
x= 12
factor(x)= 31 53 45161
97399328147920063
x= 13
factor(x)= 19 191 1863371
6689179019598931
x= 14
factor(x)= 13 127 2503 50111861
1193935847747
x= 15
factor(x)= 41 1965193
14923582071146941457
x= 16
factor(x)= 109 553229 9386609
9331428562777
x= 17
factor(x)= 516155606063
41102994579566723
x= 18
factor(x)=
78721106217999213361400742799
素数ですね。
x= 19
factor(x)= 11 29
853145737867205942146629679
(%o2)
done
(%o2)
e9.bat
(%i3)
これより作成されるb.batは、
19,2
659,2
17,3
29,3
149,3
367,3
83,4
17,5
47,6
163,6
353,6
929,6
359,7
11,8
61,8
151,9
449,9
31,12
53,12
19,13
191,13
13,14
127,14
41,15
109,16
11,19
29,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^18+%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
19n+2
659n+2
17n+3
29n+3
149n+3
367n+3
83n+4
17n+5
47n+6
163n+6
353n+6
929n+6
359n+7
11n+8
61n+8
151n+9
449n+9
31n+12
53n+12
19n+13
191n+13
13n+14
127n+14
41n+15
109n+16
11n+19
29n+19
b.txt read! 27 個
$gcc
-Wall hajiku-6.c -o hajiku-6
$./hajiku-6
!!! 1 !!!
2=19x0+2
2=659x0+2
3=17x0+3
3=29x0+3
3=149x0+3
3=367x0+3
4=83x0+4
5=17x0+5
6=47x0+6
6=163x0+6
6=353x0+6
6=929x0+6
7=359x0+7
8=11x0+8
8=61x0+8
9=151x0+9
9=449x0+9
!!! 10 !!!
!!! 11 !!!
12=31x0+12
12=53x0+12
13=19x0+13
13=191x0+13
14=13x0+14
14=127x0+14
15=41x0+15
16=109x0+16
!!! 17 !!!
!!! 18 !!!
19=11x1+8
19=11x0+19
19=29x0+19
20=17x1+3
21=19x1+2
22=17x1+5
!!! 23 !!!
!!! 24 !!!
!!! 25 !!!
!!! 26 !!!
27=13x1+14
!!! 28 !!!
!!! 29 !!!
30=11x2+8
30=11x1+19
!!! 31 !!!
32=29x1+3
32=19x1+13
!!! 33 !!!
!!! 34 !!!
!!! 35 !!!
!!! 36 !!!
37=17x2+3
!!! 38 !!!
39=17x2+5
40=19x2+2
40=13x2+14
41=11x3+8
41=11x2+19
!!! 42 !!!
43=31x1+12
!!! 44 !!!
!!! 45 !!!
!!! 46 !!!
!!! 47 !!!
48=29x1+19
!!! 49 !!!
!!! 50 !!!
51=19x2+13
52=11x4+8
52=11x3+19
53=47x1+6
53=13x3+14
54=17x3+3
!!! 55 !!!
56=17x3+5
56=41x1+15
!!! 57 !!!
!!! 58 !!!
59=19x3+2
!!! 60 !!!
61=29x2+3
!!! 62 !!!
63=11x5+8
63=11x4+19
!!! 64 !!!
65=53x1+12
66=13x4+14
!!! 67 !!!
!!! 68 !!!
69=61x1+8
70=19x3+13
71=17x4+3
!!! 72 !!!
73=17x4+5
74=11x6+8
74=31x2+12
74=11x5+19
!!! 75 !!!
!!! 76 !!!
77=29x2+19
78=19x4+2
79=13x5+14
!!! 80 !!!
!!! 81 !!!
!!! 82 !!!
!!! 83 !!!
!!! 84 !!!
85=11x7+8
85=11x6+19
!!! 86 !!!
87=83x1+4
88=17x5+3
89=19x4+13
90=29x3+3
90=17x5+5
!!! 91 !!!
92=13x6+14
!!! 93 !!!
!!! 94 !!!
!!! 95 !!!
96=11x8+8
96=11x7+19
97=19x5+2
97=41x2+15
!!! 98 !!!
!!! 99 !!!
100=47x2+6
作成されたa.batは、
factor((1^5+1^4+1^3+1^2+1+1)*1^18+1^6+1^5+1^4+1^3+1^2+1+1);
factor((10^5+10^4+10^3+10^2+10+1)*10^18+10^6+10^5+10^4+10^3+10^2+10+1);
factor((11^5+11^4+11^3+11^2+11+1)*11^18+11^6+11^5+11^4+11^3+11^2+11+1);
factor((17^5+17^4+17^3+17^2+17+1)*17^18+17^6+17^5+17^4+17^3+17^2+17+1);
factor((18^5+18^4+18^3+18^2+18+1)*18^18+18^6+18^5+18^4+18^3+18^2+18+1);
factor((23^5+23^4+23^3+23^2+23+1)*23^18+23^6+23^5+23^4+23^3+23^2+23+1);
factor((24^5+24^4+24^3+24^2+24+1)*24^18+24^6+24^5+24^4+24^3+24^2+24+1);
factor((25^5+25^4+25^3+25^2+25+1)*25^18+25^6+25^5+25^4+25^3+25^2+25+1);
factor((26^5+26^4+26^3+26^2+26+1)*26^18+26^6+26^5+26^4+26^3+26^2+26+1);
factor((28^5+28^4+28^3+28^2+28+1)*28^18+28^6+28^5+28^4+28^3+28^2+28+1);
factor((29^5+29^4+29^3+29^2+29+1)*29^18+29^6+29^5+29^4+29^3+29^2+29+1);
factor((31^5+31^4+31^3+31^2+31+1)*31^18+31^6+31^5+31^4+31^3+31^2+31+1);
factor((33^5+33^4+33^3+33^2+33+1)*33^18+33^6+33^5+33^4+33^3+33^2+33+1);
factor((34^5+34^4+34^3+34^2+34+1)*34^18+34^6+34^5+34^4+34^3+34^2+34+1);
factor((35^5+35^4+35^3+35^2+35+1)*35^18+35^6+35^5+35^4+35^3+35^2+35+1);
factor((36^5+36^4+36^3+36^2+36+1)*36^18+36^6+36^5+36^4+36^3+36^2+36+1);
factor((38^5+38^4+38^3+38^2+38+1)*38^18+38^6+38^5+38^4+38^3+38^2+38+1);
factor((42^5+42^4+42^3+42^2+42+1)*42^18+42^6+42^5+42^4+42^3+42^2+42+1);
factor((44^5+44^4+44^3+44^2+44+1)*44^18+44^6+44^5+44^4+44^3+44^2+44+1);
factor((45^5+45^4+45^3+45^2+45+1)*45^18+45^6+45^5+45^4+45^3+45^2+45+1);
factor((46^5+46^4+46^3+46^2+46+1)*46^18+46^6+46^5+46^4+46^3+46^2+46+1);
factor((47^5+47^4+47^3+47^2+47+1)*47^18+47^6+47^5+47^4+47^3+47^2+47+1);
factor((49^5+49^4+49^3+49^2+49+1)*49^18+49^6+49^5+49^4+49^3+49^2+49+1);
factor((50^5+50^4+50^3+50^2+50+1)*50^18+50^6+50^5+50^4+50^3+50^2+50+1);
factor((55^5+55^4+55^3+55^2+55+1)*55^18+55^6+55^5+55^4+55^3+55^2+55+1);
factor((57^5+57^4+57^3+57^2+57+1)*57^18+57^6+57^5+57^4+57^3+57^2+57+1);
factor((58^5+58^4+58^3+58^2+58+1)*58^18+58^6+58^5+58^4+58^3+58^2+58+1);
factor((60^5+60^4+60^3+60^2+60+1)*60^18+60^6+60^5+60^4+60^3+60^2+60+1);
factor((62^5+62^4+62^3+62^2+62+1)*62^18+62^6+62^5+62^4+62^3+62^2+62+1);
factor((64^5+64^4+64^3+64^2+64+1)*64^18+64^6+64^5+64^4+64^3+64^2+64+1);
factor((67^5+67^4+67^3+67^2+67+1)*67^18+67^6+67^5+67^4+67^3+67^2+67+1);
factor((68^5+68^4+68^3+68^2+68+1)*68^18+68^6+68^5+68^4+68^3+68^2+68+1);
factor((72^5+72^4+72^3+72^2+72+1)*72^18+72^6+72^5+72^4+72^3+72^2+72+1);
factor((75^5+75^4+75^3+75^2+75+1)*75^18+75^6+75^5+75^4+75^3+75^2+75+1);
factor((76^5+76^4+76^3+76^2+76+1)*76^18+76^6+76^5+76^4+76^3+76^2+76+1);
factor((80^5+80^4+80^3+80^2+80+1)*80^18+80^6+80^5+80^4+80^3+80^2+80+1);
factor((81^5+81^4+81^3+81^2+81+1)*81^18+81^6+81^5+81^4+81^3+81^2+81+1);
factor((82^5+82^4+82^3+82^2+82+1)*82^18+82^6+82^5+82^4+82^3+82^2+82+1);
factor((83^5+83^4+83^3+83^2+83+1)*83^18+83^6+83^5+83^4+83^3+83^2+83+1);
factor((84^5+84^4+84^3+84^2+84+1)*84^18+84^6+84^5+84^4+84^3+84^2+84+1);
factor((86^5+86^4+86^3+86^2+86+1)*86^18+86^6+86^5+86^4+86^3+86^2+86+1);
factor((91^5+91^4+91^3+91^2+91+1)*91^18+91^6+91^5+91^4+91^3+91^2+91+1);
factor((93^5+93^4+93^3+93^2+93+1)*93^18+93^6+93^5+93^4+93^3+93^2+93+1);
factor((94^5+94^4+94^3+94^2+94+1)*94^18+94^6+94^5+94^4+94^3+94^2+94+1);
factor((95^5+95^4+95^3+95^2+95+1)*95^18+95^6+95^5+95^4+95^3+95^2+95+1);
factor((98^5+98^4+98^3+98^2+98+1)*98^18+98^6+98^5+98^4+98^3+98^2+98+1);
factor((99^5+99^4+99^3+99^2+99+1)*99^18+99^6+99^5+99^4+99^3+99^2+99+1);
実行結果は、
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3 4
5
6
2 3 4
5 18
(%i2) factor(1 + 1 + 1 +
1 + 1 + 1 + 1 + (1 + 1 + 1 + 1 +
1 + 1 ) 1 )
(%o2)
13
2 3
4 5 6
(%i3) factor(1 + 10 + 10 +
10 + 10 + 10 + 10
2 3
4 5 18
+ (1 + 10 + 10 + 10 + 10 + 10 ) 10 )
(%o3)
269737451 411922777456661
2 3
4 5 6
(%i4) factor(1 + 11 + 11 +
11 + 11 + 11 + 11
2 3
4 5 18
+ (1 + 11 + 11 + 11 + 11 + 11 ) 11 )
(%o4)
3359 4293701 68293975838467
2 3
4 5 6
(%i5) factor(1 + 17 + 17 +
17 + 17 + 17 + 17
2 3
4 5 18
+ (1 + 17 + 17 + 17 + 17 + 17 ) 17 )
(%o5)
516155606063 41102994579566723
2 3
4 5 6
(%i6) factor(1 + 18 + 18 +
18 + 18 + 18 + 18
2 3
4 5 18
+ (1 + 18 + 18 + 18 + 18 + 18 ) 18 )
(%o6)
78721106217999213361400742799
素数ですね。
2 3
4 5 6
(%i7) factor(1 + 23 + 23 +
23 + 23 + 23 + 23
2 3
4 5 18
+ (1 + 23 + 23 + 23 + 23 + 23 ) 23 )
(%o7)
89 283 2752714219 314852983018360673
2 3
4 5 6
(%i8) factor(1 + 24 + 24 +
24 + 24 + 24 + 24
2 3
4 5 18
+ (1 + 24 + 24 + 24 + 24 + 24 ) 24 )
(%o8)
94421 640901866127 958256626127803
2 3
4 5 6
(%i9) factor(1 + 25 + 25 +
25 + 25 + 25 + 25
2 3
4 5 18
+ (1 + 25 + 25 + 25 + 25 + 25 ) 25 )
(%o9)
47 283 2099 5302152718329958876139299
2 3
4 5 6
(%i10) factor(1 + 26 + 26 +
26 + 26 + 26 + 26
2 3
4 5 18
+ (1 + 26 + 26 + 26 + 26 + 26 ) 26 )
(%o10)
37998307031 9586412081599567468673
2 3
4 5 6
(%i11) factor(1 + 28 + 28 +
28 + 28 + 28 + 28
2 3
4 5 18
+ (1 + 28 + 28 + 28 + 28 + 28 ) 28 )
(%o11)
6412006037 311483513306293836539897
2 3
4 5 6
(%i12) factor(1 + 29 + 29 +
29 + 29 + 29 + 29
2 3
4 5 18
+ (1 + 29 + 29 + 29 + 29 + 29 ) 29 )
(%o12)
909808169 4914101081560593594691829
2 3
4 5 6
(%i13) factor(1 + 31 + 31 +
31 + 31 + 31 + 31
2 3
4 5 18
+ (1 + 31 + 31 + 31 + 31 + 31 ) 31 )
(%o13)
285115065749 72533599564634730422717
2 3
4 5 6
(%i14) factor(1 + 33 + 33 +
33 + 33 + 33 + 33
2 3
4 5 18
+ (1 + 33 + 33 + 33 + 33 + 33 ) 33 )
(%o14)
43 2423 1322953 32171587879 19604049774863
2 3
4 5 6
(%i15) factor(1 + 34 + 34 +
34 + 34 + 34 + 34
2 3
4 5 18
+ (1 + 34 + 34 + 34 + 34 + 34 ) 34 )
(%o15)
2879 145391 201098816077 2050177044772267
2 3
4 5 6
(%i16) factor(1 + 35 + 35 +
35 + 35 + 35 + 35
2 3
4 5 18
+ (1 + 35 + 35 + 35 + 35 + 35 ) 35 )
(%o16)
283 103529 2542879 4507959412571014798037
2 3
4 5 6
(%i17) factor(1 + 36 + 36 +
36 + 36 + 36 + 36
2 3
4 5 18
+ (1 + 36 + 36 + 36 + 36 + 36 ) 36 )
(%o17)
170293 3766996159902576725592558649921
2 3
4 5 6
(%i18) factor(1 + 38 + 38 +
38 + 38 + 38 + 38
2 3
4 5 18
+ (1 + 38 + 38 + 38 + 38 + 38 ) 38 )
(%o18)
104243 21308736213858641227641772617953
2 3
4 5 6
(%i19) factor(1 + 42 + 42 +
42 + 42 + 42 + 42
2 3
4 5 18
+ (1 + 42 + 42 + 42 + 42 + 42 ) 42 )
(%o19)
137 163 1136981 21657494723801 40265168109209
2 3
4 5 6
(%i20) factor(1 + 44 + 44 +
44 + 44 + 44 + 44
2 3
4 5 18
+ (1 + 44 + 44 + 44 + 44 + 44 ) 44 )
(%o20)
23 61 4350303102161 10563761610555573528247
2 3
4 5 6
(%i21) factor(1 + 45 + 45 +
45 + 45 + 45 + 45
2 3
4 5 18
+ (1 + 45 + 45 + 45 + 45 + 45 ) 45 )
(%o21)
79 409 49537 15775867 13423213627 318799634467
2 3
4 5 6
(%i22) factor(1 + 46 + 46 +
46 + 46 + 46 + 46
2 3
4 5 18
+ (1 + 46 + 46 + 46 + 46 + 46 ) 46 )
(%o22)
83 2157234484841740886991169374557144921
2 3
4 5 6
(%i23) factor(1 + 47 + 47 +
47 + 47 + 47 + 47
2 3
4 5 18
+ (1 + 47 + 47 + 47 + 47 + 47 ) 47 )
(%o23)
826867 124396461389089 2853297609407068123
2 3
4 5 6
(%i24) factor(1 + 49 + 49 +
49 + 49 + 49 + 49
2 3
4 5 18
+ (1 + 49 + 49 + 49 + 49 + 49 ) 49 )
(%o24)
173 3032150677097 1457698816546094922696121
2 3
4 5 6
(%i25) factor(1 + 50 + 50 +
50 + 50 + 50 + 50
2 3
4 5 18
+ (1 + 50 + 50 + 50 + 50 + 50 ) 50 )
(%o25)
191 522409 12191018953073171664337261413929
2 3
4 5 6
(%i26) factor(1 + 55 + 55 +
55 + 55 + 55 + 55
2 3
4 5 18
+ (1 + 55 + 55 + 55 + 55 + 55 ) 55 )
(%o26)
5407 2010733059521131886632744934640365983
2 3
4 5 6
(%i27) factor(1 + 57 + 57 +
57 + 57 + 57 + 57
2 3
4 5 18
+ (1 + 57 + 57 + 57 + 57 + 57 ) 57 )
(%o27)
61 97 809 1291 2293069 1743472304237829592373927
2 3
4 5 6
(%i28) factor(1 + 58 + 58 +
58 + 58 + 58 + 58
2 3
4 5 18
+ (1 + 58 + 58 + 58 + 58 + 58 ) 58 )
(%o28)
67 3119 7312378169 24112829148710299305132907
2 3
4 5 6
(%i29) factor(1 + 60 + 60 +
60 + 60 + 60 + 60
2 3
4 5 18
+ (1 + 60 + 60 + 60 + 60 + 60 ) 60 )
(%o29)
80311548105424693886976000000047446779661
素数ですね。
2 3
4 5 6
(%i30) factor(1 + 62 + 62 +
62 + 62 + 62 + 62
2 3
4 5 18
+ (1 + 62 + 62 + 62 + 62 + 62 ) 62 )
(%o30)
7464103535459 22860886002139945606156438361
2 3
4 5 6
(%i31) factor(1 + 64 + 64 +
64 + 64 + 64 + 64
2 3
4 5 18
+ (1 + 64 + 64 + 64 + 64 + 64 ) 64 )
(%o31)
86857 56356103 72315775357321520267602564031
2 3
4 5 6
(%i32) factor(1 + 67 + 67 +
67 + 67 + 67 + 67
2 3
4 5 18
+ (1 + 67 + 67 + 67 + 67 + 67 ) 67 )
(%o32)
23 16363573 51905862615491 51931269822640954441
2 3
4 5 6
(%i33) factor(1 + 68 + 68 +
68 + 68 + 68 + 68
2 3
4 5 18
+ (1 + 68 + 68 + 68 + 68 + 68 ) 68 )
(%o33)
18786082607 75910678729712001450244642064507
2 3
4 5 6
(%i34) factor(1 + 72 + 72 +
72 + 72 + 72 + 72
2 3
4 5 18
+ (1 + 72 + 72 + 72 + 72 + 72 ) 72 )
(%o34)
47 17972429 6280828443099940781511477251185123
2 3
4 5 6
(%i35) factor(1 + 75 + 75 +
75 + 75 + 75 + 75
2 3
4 5 18
+ (1 + 75 + 75 + 75 + 75 + 75 ) 75 )
(%o35)
13559341588482379505876451730728329797693201
素数ですね。
2 3
4 5 6
(%i36) factor(1 + 76 + 76 +
76 + 76 + 76 + 76
2 3
4 5 18
+ (1 + 76 + 76 + 76 + 76 + 76 ) 76 )
(%o36)
43 64788781 20679509891 94307650163 3383837675467
2 3
4 5 6
(%i37) factor(1 + 80 + 80 +
80 + 80 + 80 + 80
2 3
4 5 18
+ (1 + 80 + 80 + 80 + 80 + 80 ) 80 )
(%o37)
419 1951 4871 38671 103356887 3755937453775661495147
2 3
4 5 6
(%i38) factor(1 + 81 + 81 +
81 + 81 + 81 + 81
2 3
4 5 18
+ (1 + 81 + 81 + 81 + 81 + 81 ) 81 )
(%o38)
1427 327739 2210371 76936636273388239676934349391
2 3
4 5 6
(%i39) factor(1 + 82 + 82 +
82 + 82 + 82 + 82
2 3
4 5 18
+ (1 + 82 + 82 + 82 + 82 + 82 ) 82 )
(%o39)
8831102323 3635389653977 3284592936464563796669
2 3
4 5 6
(%i40) factor(1 + 83 + 83 +
83 + 83 + 83 + 83
2 3
4 5 18
+ (1 + 83 + 83 + 83 + 83 + 83 ) 83 )
(%o40)
185792861 2130398248808699 352022599605249856831
2 3
4 5 6
(%i41) factor(1 + 84 + 84 +
84 + 84 + 84 + 84
2 3
4 5 18
+ (1 + 84 + 84 + 84 + 84 + 84 ) 84 )
(%o41)
787 233157849360159850456303184515472408392423
2 3
4 5 6
(%i42) factor(1 + 86 + 86 +
86 + 86 + 86 + 86
2 3
4 5 18
+ (1 + 86 + 86 + 86 + 86 + 86 ) 86 )
(%o42)
39233 15398733173 14930946984977 34939769757328871
2 3
4 5 6
(%i43) factor(1 + 91 + 91 +
91 + 91 + 91 + 91
2 3
4 5 18
+ (1 + 91 + 91 + 91 + 91 + 91 ) 91 )
(%o43)
560597031017 2061104981313026097451414020155369
2 3
4 5 6
(%i44) factor(1 + 93 + 93 +
93 + 93 + 93 + 93
2 3
4 5 18
+ (1 + 93 + 93 + 93 + 93 + 93 ) 93 )
(%o44)
347 751 7308588768129857646234705268580035704617
2 3
4 5 6
(%i45) factor(1 + 94 + 94 +
94 + 94 + 94 + 94
2 3
4 5 18
+ (1 + 94 + 94 + 94 + 94 + 94 ) 94 )
(%o45)
11657 291803359 715992469386249084605250696208877
2 3
4 5 6
(%i46) factor(1 + 95 + 95 +
95 + 95 + 95 + 95
2 3
4 5 18
+ (1 + 95 + 95 + 95 + 95 + 95 ) 95 )
(%o46)
109 467 191724141743308663 318286700757716892790289
2 3
4 5 6
(%i47) factor(1 + 98 + 98 +
98 + 98 + 98 + 98
2 3
4 5 18
+ (1 + 98 + 98 + 98 + 98 + 98 ) 98 )
(%o47)
66167588191 104284668052733627 920001031716679667
2 3
4 5 6
(%i48) factor(1 + 99 + 99 +
99 + 99 + 99 + 99
2 3
4 5 18
+ (1 + 99 + 99 + 99 + 99 + 99 ) 99 )
(%o48)
8017123885779433141464686712263446802060490001
素数ですね。
(%o48)
a.bat
(%i49)
b.txtに追加されるものは、
89,23
283,23
47,25
283,25
43,33
137,42
163,27
23,44
61,44
79,45
409,45
173,49
191,50
61,57
97,51
809,51
67,58
23,67
47,72
43,76
419,80
787,84
347,93
751,93
109,95
467,95
これより、Autohajiku.cの
#define max 1 /* この数から+100まで生成する
*/
を
#define max 100 /*
この数から+100まで生成する */
になおして、
$gcc -Wall Autohajiku.c -o
Autohajiku
$./Autohajiku
19n+2
659n+2
17n+3
29n+3
149n+3
367n+3
83n+4
17n+5
47n+6
163n+6
353n+6
929n+6
359n+7
11n+8
61n+8
151n+9
449n+9
31n+12
53n+12
19n+13
191n+13
13n+14
127n+14
41n+15
109n+16
11n+19
29n+19
89n+23
283n+23
47n+25
283n+25
43n+33
137n+42
163n+27
23n+44
61n+44
79n+45
409n+45
173n+49
191n+50
61n+57
97n+51
809n+51
67n+58
23n+67
47n+72
43n+76
419n+80
787n+84
347n+93
751n+93
109n+95
467n+95
b.txt read! 53 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
100=47x2+6
!!! 101 !!!
!!! 102 !!!
!!! 103 !!!
!!! 104 !!!
105=17x6+3
105=31x3+12
105=13x7+14
105=61x1+44
106=29x3+19
107=17x6+5
107=11x9+8
107=11x8+19
108=19x5+13
!!! 109 !!!
!!! 110 !!!
!!! 111 !!!
112=89x1+23
113=23x3+44
113=23x2+67
!!! 114 !!!
!!! 115 !!!
116=19x6+2
!!! 117 !!!
118=11x10+8
118=53x2+12
118=13x8+14
118=11x9+19
118=61x1+57
119=29x4+3
119=47x2+25
119=43x2+33
119=47x1+72
119=43x1+76
!!! 120 !!!
!!! 121 !!!
122=17x7+3
!!! 123 !!!
124=17x7+5
124=79x1+45
125=109x1+16
125=67x1+58
!!! 126 !!!
127=19x6+13
!!! 128 !!!
129=11x11+8
129=11x10+19
130=61x2+8
131=13x9+14
!!! 132 !!!
!!! 133 !!!
!!! 134 !!!
135=19x7+2
135=29x4+19
136=31x4+12
136=23x4+44
136=23x3+67
!!! 137 !!!
138=41x3+15
139=17x8+3
140=11x12+8
140=11x11+19
141=17x8+5
141=127x1+14
!!! 142 !!!
!!! 143 !!!
144=13x10+14
!!! 145 !!!
146=19x7+13
147=47x3+6
148=29x5+3
148=97x1+51
!!! 149 !!!
!!! 150 !!!
151=11x13+8
151=11x12+19
152=149x1+3
!!! 153 !!!
154=19x8+2
!!! 155 !!!
156=17x9+3
157=13x11+14
158=17x9+5
159=23x5+44
159=23x4+67
160=151x1+9
!!! 161 !!!
162=11x14+8
162=11x13+19
162=43x3+33
162=43x2+76
!!! 163 !!!
164=29x5+19
165=19x8+13
166=47x3+25
166=61x2+44
166=47x2+72
167=31x5+12
!!! 168 !!!
169=163x1+6
170=83x2+4
170=13x12+14
171=53x3+12
!!! 172 !!!
173=19x9+2
173=17x10+3
173=11x15+8
173=11x14+19
!!! 174 !!!
175=17x10+5
!!! 176 !!!
177=29x6+3
!!! 178 !!!
179=41x4+15
179=137x1+42
179=61x2+57
!!! 180 !!!
!!! 181 !!!
182=23x6+44
182=23x5+67
183=13x13+14
184=11x16+8
184=19x9+13
184=11x15+19
!!! 185 !!!
!!! 186 !!!
!!! 187 !!!
!!! 188 !!!
!!! 189 !!!
190=17x11+3
190=163x1+27
191=61x3+8
192=19x10+2
192=17x11+5
192=67x2+58
193=29x6+19
194=47x4+6
195=11x17+8
195=11x16+19
196=13x14+14
!!! 197 !!!
198=31x6+12
!!! 199 !!!
作成されたa.batは、
factor((101^5+101^4+101^3+101^2+101+1)*101^18+101^6+101^5+101^4+101^3+101^2+101+1);
factor((102^5+102^4+102^3+102^2+102+1)*102^18+102^6+102^5+102^4+102^3+102^2+102+1);
factor((103^5+103^4+103^3+103^2+103+1)*103^18+103^6+103^5+103^4+103^3+103^2+103+1);
factor((104^5+104^4+104^3+104^2+104+1)*104^18+104^6+104^5+104^4+104^3+104^2+104+1);
factor((109^5+109^4+109^3+109^2+109+1)*109^18+109^6+109^5+109^4+109^3+109^2+109+1);
factor((110^5+110^4+110^3+110^2+110+1)*110^18+110^6+110^5+110^4+110^3+110^2+110+1);
factor((111^5+111^4+111^3+111^2+111+1)*111^18+111^6+111^5+111^4+111^3+111^2+111+1);
factor((114^5+114^4+114^3+114^2+114+1)*114^18+114^6+114^5+114^4+114^3+114^2+114+1);
factor((115^5+115^4+115^3+115^2+115+1)*115^18+115^6+115^5+115^4+115^3+115^2+115+1);
factor((117^5+117^4+117^3+117^2+117+1)*117^18+117^6+117^5+117^4+117^3+117^2+117+1);
factor((120^5+120^4+120^3+120^2+120+1)*120^18+120^6+120^5+120^4+120^3+120^2+120+1);
factor((121^5+121^4+121^3+121^2+121+1)*121^18+121^6+121^5+121^4+121^3+121^2+121+1);
factor((123^5+123^4+123^3+123^2+123+1)*123^18+123^6+123^5+123^4+123^3+123^2+123+1);
factor((126^5+126^4+126^3+126^2+126+1)*126^18+126^6+126^5+126^4+126^3+126^2+126+1);
factor((128^5+128^4+128^3+128^2+128+1)*128^18+128^6+128^5+128^4+128^3+128^2+128+1);
factor((132^5+132^4+132^3+132^2+132+1)*132^18+132^6+132^5+132^4+132^3+132^2+132+1);
factor((133^5+133^4+133^3+133^2+133+1)*133^18+133^6+133^5+133^4+133^3+133^2+133+1);
factor((134^5+134^4+134^3+134^2+134+1)*134^18+134^6+134^5+134^4+134^3+134^2+134+1);
factor((137^5+137^4+137^3+137^2+137+1)*137^18+137^6+137^5+137^4+137^3+137^2+137+1);
factor((142^5+142^4+142^3+142^2+142+1)*142^18+142^6+142^5+142^4+142^3+142^2+142+1);
factor((143^5+143^4+143^3+143^2+143+1)*143^18+143^6+143^5+143^4+143^3+143^2+143+1);
factor((145^5+145^4+145^3+145^2+145+1)*145^18+145^6+145^5+145^4+145^3+145^2+145+1);
factor((149^5+149^4+149^3+149^2+149+1)*149^18+149^6+149^5+149^4+149^3+149^2+149+1);
factor((150^5+150^4+150^3+150^2+150+1)*150^18+150^6+150^5+150^4+150^3+150^2+150+1);
factor((153^5+153^4+153^3+153^2+153+1)*153^18+153^6+153^5+153^4+153^3+153^2+153+1);
factor((155^5+155^4+155^3+155^2+155+1)*155^18+155^6+155^5+155^4+155^3+155^2+155+1);
factor((161^5+161^4+161^3+161^2+161+1)*161^18+161^6+161^5+161^4+161^3+161^2+161+1);
factor((163^5+163^4+163^3+163^2+163+1)*163^18+163^6+163^5+163^4+163^3+163^2+163+1);
factor((168^5+168^4+168^3+168^2+168+1)*168^18+168^6+168^5+168^4+168^3+168^2+168+1);
factor((172^5+172^4+172^3+172^2+172+1)*172^18+172^6+172^5+172^4+172^3+172^2+172+1);
factor((174^5+174^4+174^3+174^2+174+1)*174^18+174^6+174^5+174^4+174^3+174^2+174+1);
factor((176^5+176^4+176^3+176^2+176+1)*176^18+176^6+176^5+176^4+176^3+176^2+176+1);
factor((178^5+178^4+178^3+178^2+178+1)*178^18+178^6+178^5+178^4+178^3+178^2+178+1);
factor((180^5+180^4+180^3+180^2+180+1)*180^18+180^6+180^5+180^4+180^3+180^2+180+1);
factor((181^5+181^4+181^3+181^2+181+1)*181^18+181^6+181^5+181^4+181^3+181^2+181+1);
factor((185^5+185^4+185^3+185^2+185+1)*185^18+185^6+185^5+185^4+185^3+185^2+185+1);
factor((186^5+186^4+186^3+186^2+186+1)*186^18+186^6+186^5+186^4+186^3+186^2+186+1);
factor((187^5+187^4+187^3+187^2+187+1)*187^18+187^6+187^5+187^4+187^3+187^2+187+1);
factor((188^5+188^4+188^3+188^2+188+1)*188^18+188^6+188^5+188^4+188^3+188^2+188+1);
factor((189^5+189^4+189^3+189^2+189+1)*189^18+189^6+189^5+189^4+189^3+189^2+189+1);
factor((197^5+197^4+197^3+197^2+197+1)*197^18+197^6+197^5+197^4+197^3+197^2+197+1);
factor((199^5+199^4+199^3+199^2+199+1)*199^18+199^6+199^5+199^4+199^3+199^2+199+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 18
+ (1 + 101 + 101 + 101 + 101 + 101 ) 101 )
(%o2)
113 48857 2299893528052552720551141059184052718293
2 3
4 5 6
(%i3) factor(1 + 102 + 102
+ 102 + 102 + 102 + 102
2 3
4 5 18
+ (1 + 102 + 102 + 102 + 102 + 102 ) 102 )
(%o3)
5698494103 2794619243974460902781189096244828133
2 3
4 5 6
(%i4) factor(1 + 103 + 103
+ 103 + 103 + 103 + 103
2 3
4 5 18
+ (1 + 103 + 103 + 103 + 103 + 103 ) 103 )
(%o4)
271 2179 3227437457470820837 10457042303641499880833
2 3
4 5 6
(%i5) factor(1 + 104 + 104
+ 104 + 104 + 104 + 104
2 3
4 5 18
+ (1 + 104 + 104 + 104 + 104 + 104 ) 104 )
(%o5)
7937 3135498072673914084083185662027234326965673
2 3
4 5 6
(%i6) factor(1 + 109 + 109
+ 109 + 109 + 109 + 109
2 3
4 5 18
+ (1 + 109 + 109 + 109 + 109 + 109 ) 109 )
(%o6)
399953 10406593919507 17599268953769724453641133631
2 3
4 5 6
(%i7) factor(1 + 110 + 110
+ 110 + 110 + 110 + 110
2 3
4 5 18
+ (1 + 110 + 110 + 110 + 110 + 110 ) 110 )
(%o7)
733 594533 58658693 3534969114854126230126902200143
2 3
4 5 6
(%i8) factor(1 + 111 + 111
+ 111 + 111 + 111 + 111
2 3
4 5 18
+ (1 + 111 + 111 + 111 + 111 + 111 ) 111 )
(%o8)
50147 7158449 30950270718542209 10014527456410782139
2 3
4 5 6
(%i9) factor(1 + 114 + 114
+ 114 + 114 + 114 + 114
2 3
4 5 18
+ (1 + 114 + 114 + 114 + 114 + 114 ) 114 )
(%o9)
17881 248161 46292715279322262667876948196504343911
2 3
4 5 6
(%i10) factor(1 + 115 + 115
+ 115 + 115 + 115 + 115
2 3
4 5 18
+ (1 + 115 + 115 + 115 + 115 + 115 ) 115 )
(%o10)
149 1685221723249092321337807958392410908428266509
2 3
4 5 6
(%i11) factor(1 + 117 + 117
+ 117 + 117 + 117 + 117
2 3
4 5 18
+ (1 + 117 + 117 + 117 + 117 + 117 ) 117 )
(%o11)
328187179 136521948266768681 8330644549940635088351
2 3
4 5 6
(%i12) factor(1 + 120 + 120
+ 120 + 120 + 120 + 120
2 3
4 5 18
+ (1 + 120 + 120 + 120 + 120 + 120 ) 120 )
(%o12)
86587 107444498768821 71806881591883814481106628623
2 3
4 5 6
(%i13) factor(1 + 121 + 121
+ 121 + 121 + 121 + 121
2 3
4 5 18
+ (1 + 121 + 121 + 121 + 121 + 121 ) 121 )
(%o13)
1607 4397 8387 1100863135198332193 12392397272341960637
2 3
4 5 6
(%i14) factor(1 + 123 + 123
+ 123 + 123 + 123 + 123
2 3
4 5 18
+ (1 + 123 + 123 + 123 + 123 + 123 ) 123 )
(%o14)
257 9859 3092393 150418818263091004072181326375739491
2 3
4 5 6
(%i15) factor(1 + 126 + 126
+ 126 + 126 + 126 + 126
2 3
4 5 18
+ (1 + 126 + 126 + 126 + 126 + 126 ) 126 )
(%o15)
62213 91309526678962495921 361065367633196742140831
2 3
4 5 6
(%i16) factor(1 + 128 + 128
+ 128 + 128 + 128 + 128
2 3
4 5 18
+ (1 + 128 + 128 + 128 + 128 + 128 ) 128 )
(%o16)
53458520947931873430109 55108502746395980108207221
2 3
4 5 6
(%i17) factor(1 + 132 + 132
+ 132 + 132 + 132 + 132
2 3
4 5 18
+ (1 + 132 + 132 + 132 + 132 + 132 ) 132 )
(%o17)
785030149 7614067405250074047301104704406289856401
2 3
4 5 6
(%i18) factor(1 + 133 + 133
+ 133 + 133 + 133 + 133
2 3
4 5 18
+ (1 + 133 + 133 + 133 + 133 + 133 ) 133 )
(%o18)
332136517546170937 21406655710395064613189559371557
2 3
4 5 6
(%i19) factor(1 + 134 + 134
+ 134 + 134 + 134 + 134
2 3
4 5 18
+ (1 + 134 + 134 + 134 + 134 + 134 ) 134 )
(%o19)
743 555505888297 20463788531799010693542875117330381
2 3
4 5 6
(%i20) factor(1 + 137 + 137
+ 137 + 137 + 137 + 137
2 3
4 5 18
+ (1 + 137 + 137 + 137 + 137 + 137 ) 137 )
(%o20)
107 307 4187281824292143559 102164581006472296366334939
2 3
4 5 6
(%i21) factor(1 + 142 + 142
+ 142 + 142 + 142 + 142
2 3
4 5 18
+ (1 + 142 + 142 + 142 + 142 + 142 ) 142 )
(%o21)
3691 1770029617 4904294868935671798730903695946289217
2 3
4 5 6
(%i22) factor(1 + 143 + 143
+ 143 + 143 + 143 + 143
2 3
4 5 18
+ (1 + 143 + 143 + 143 + 143 + 143 ) 143 )
(%o22)
839 44876046974175795328201376883313345565657686391
2 3
4 5 6
(%i23) factor(1 + 145 + 145
+ 145 + 145 + 145 + 145
2 3
4 5 18
+ (1 + 145 + 145 + 145 + 145 + 145 ) 145 )
(%o23)
179 277 103889 10059286918124292035725132782441974964883
2 3
4 5 6
(%i24) factor(1 + 149 + 149
+ 149 + 149 + 149 + 149
2 3
4 5 18
+ (1 + 149 + 149 + 149 + 149 + 149 ) 149 )
(%o24)
389 1657 2791 75277 715343239893288977219555000778854291
2 3
4 5 6
(%i25) factor(1 + 150 + 150
+ 150 + 150 + 150 + 150
2 3
4 5 18
+ (1 + 150 + 150 + 150 + 150 + 150 ) 150 )
(%o25) 647 2311 6521
37951 847933 3841199 18819211 4981183517717189
2 3
4 5 6
(%i26) factor(1 + 153 + 153
+ 153 + 153 + 153 + 153
2 3
4 5 18
+ (1 + 153 + 153 + 153 + 153 + 153 ) 153 )
(%o26)
122861 53191132667 27258218433488330720942928496552147
2 3
4 5 6
(%i27) factor(1 + 155 + 155
+ 155 + 155 + 155 + 155
2 3
4 5 18
+ (1 + 155 + 155 + 155 + 155 + 155 ) 155 )
(%o27)
14851 63311 352741 494233121 1464931696457472138207976561
2 3
4 5 6
(%i28) factor(1 + 161 + 161
+ 161 + 161 + 161 + 161
2 3
4 5 18
+ (1 + 161 + 161 + 161 + 161 + 161 ) 161 )
(%o28)
6113 11732220293 126420634831483609 63423246731884596913
2 3
4 5 6
(%i29) factor(1 + 163 + 163
+ 163 + 163 + 163 + 163
2 3
4 5 18
+ (1 + 163 + 163 + 163 + 163 + 163 ) 163 )
(%o29)
11527801 66258411588833509462680087553069171455415129
2 3
4 5 6
(%i30) factor(1 + 168 + 168
+ 168 + 168 + 168 + 168
2 3
4 5 18
+ (1 + 168 + 168 + 168 + 168 + 168 ) 168 )
(%o30) 223 821
7306757261759 11426709068816753 100095008349512789
2 3
4 5 6
(%i31) factor(1 + 172 + 172
+ 172 + 172 + 172 + 172
2 3
4 5 18
+ (1 + 172 + 172 + 172 + 172 + 172 ) 172 )
(%o31)
14690891757306109 87306992959062229 2049223964632726909
2 3
4 5 6
(%i32) factor(1 + 174 + 174
+ 174 + 174 + 174 + 174
2 3
4 5 18
+ (1 + 174 + 174 + 174 + 174 + 174 ) 174 )
(%o32)
3428750276648279304042635050544721607362620735516251
素数ですね。
2 3
4 5 6
(%i33) factor(1 + 176 + 176
+ 176 + 176 + 176 + 176
2 3
4 5 18
+ (1 + 176 + 176 + 176 + 176 + 176 ) 176 )
(%o33)
675751357029870308837231 6599014039643272720018739423
2 3
4 5 6
(%i34) factor(1 + 178 + 178
+ 178 + 178 + 178 + 178
2 3
4 5 18
+ (1 + 178 + 178 + 178 + 178 + 178 ) 178 )
(%o34)
317 18240953105001780187159090496378628147624510933467
2 3
4 5 6
(%i35) factor(1 + 180 + 180
+ 180 + 180 + 180 + 180
2 3
4 5 18
+ (1 + 180 + 180 + 180 + 180 + 180 ) 180 )
(%o35)
99191040589369849 75372799322580722611679266828345069
2 3
4 5 6
(%i36) factor(1 + 181 + 181
+ 181 + 181 + 181 + 181
2 3
4 5 18
+ (1 + 181 + 181 + 181 + 181 + 181 ) 181 )
(%o36)
262369 1159744971509 46670330732351 597994782836282751223
2 3
4 5 6
(%i37) factor(1 + 185 + 185
+ 185 + 185 + 185 + 185
2 3
4 5 18
+ (1 + 185 + 185 + 185 + 185 + 185 ) 185 )
(%o37)
21080573 665918755985622645544375056475240011041063057
2 3
4 5 6
(%i38) factor(1 + 186 + 186
+ 186 + 186 + 186 + 186
2 3
4 5 18
+ (1 + 186 + 186 + 186 + 186 + 186 ) 186 )
(%o38)
15890550133932117067228125758863654921750454658963703
2 3
4 5 6
(%i39) factor(1 + 187 + 187
+ 187 + 187 + 187 + 187
2 3
4 5 18
+ (1 + 187 + 187 + 187 + 187 + 187 ) 187 )
(%o39) 937
138893 11662168025092511 11843671931130967000227094099
2 3
4 5 6
(%i40) factor(1 + 188 + 188
+ 188 + 188 + 188 + 188
2 3
4 5 18
+ (1 + 188 + 188 + 188 + 188 + 188 ) 188 )
(%o40)
33298037791 238485982550103853 2558970481826150200922623
2 3
4 5 6
(%i41) factor(1 + 189 + 189
+ 189 + 189 + 189 + 189
2 3
4 5 18
+ (1 + 189 + 189 + 189 + 189 + 189 ) 189 )
(%o41)
5531 3767279344639 64680024248706049 17034280481644186361
2 3
4 5 6
(%i42) factor(1 + 197 + 197
+ 197 + 197 + 197 + 197
2 3
4 5 18
+ (1 + 197 + 197 + 197 + 197 + 197 ) 197 )
(%o42)
68110910948340077 651129096520842047 1342918216344919471
2 3
4 5 6
(%i43) factor(1 + 199 + 199
+ 199 + 199 + 199 + 199
2 3
4 5 18
+ (1 + 199 + 199 + 199 + 199 + 199 ) 199 )
(%o43) 62617 63317
44886119 57772181671 306296182519 23857429470739
(%o43)
a.bat
(%i44)
b.txtに追加されるものは
113,101
271,103
733,110
149,115
257,123
743,134
107,137
307,137
839,143
179,145
277,145
389,149
647,150
223,168
821,168
317,178
937,187
これより、Autohajiku.cの
#define max 100 /*
この数から+100まで生成する */
を
#define max 200 /*
この数から+100まで生成する */
になおして、
$gcc -Wall Autohajiku.c -o
Autohajiku
$./Autohajiku
19n+2
659n+2
17n+3
29n+3
149n+3
367n+3
83n+4
17n+5
47n+6
163n+6
353n+6
929n+6
359n+7
11n+8
61n+8
151n+9
449n+9
31n+12
53n+12
19n+13
191n+13
13n+14
127n+14
41n+15
109n+16
11n+19
29n+19
89n+23
283n+23
47n+25
283n+25
43n+33
137n+42
163n+27
23n+44
61n+44
79n+45
409n+45
173n+49
191n+50
61n+57
97n+51
809n+51
67n+58
23n+67
47n+72
43n+76
419n+80
787n+84
347n+93
751n+93
109n+95
467n+95
113n+101
271n+103
733n+110
149n+115
257n+123
743n+134
107n+137
307n+137
839n+143
179n+145
277n+145
389n+149
647n+150
223n+168
821n+168
317n+178
937n+187
b.txt read! 70 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
!!! 200 !!!
201=89x2+23
!!! 202 !!!
203=19x10+13
203=79x2+45
204=191x1+13
204=109x1+95
205=43x4+33
205=23x7+44
205=23x6+67
205=43x3+76
206=29x7+3
206=11x18+8
206=11x17+19
207=17x12+3
!!! 208 !!!
209=17x12+5
209=13x15+14
!!! 210 !!!
211=19x11+2
!!! 212 !!!
213=47x4+25
213=47x3+72
214=113x1+101
!!! 215 !!!
!!! 216 !!!
217=11x19+8
217=11x18+19
!!! 218 !!!
!!! 219 !!!
220=41x5+15
!!! 221 !!!
222=19x11+13
222=13x16+14
222=29x7+19
222=173x1+49
!!! 223 !!!
224=17x13+3
224=53x4+12
!!! 225 !!!
226=17x13+5
227=61x3+44
228=11x20+8
228=11x19+19
228=23x8+44
228=23x7+67
229=31x7+12
230=19x12+2
!!! 231 !!!
!!! 232 !!!
!!! 233 !!!
234=109x2+16
235=29x8+3
235=13x17+14
!!! 236 !!!
!!! 237 !!!
!!! 238 !!!
239=11x21+8
239=11x20+19
240=61x3+57
241=17x14+3
241=47x5+6
241=19x12+13
241=191x1+50
!!! 242 !!!
243=17x14+5
244=107x1+137
245=97x2+51
!!! 246 !!!
!!! 247 !!!
248=13x18+14
248=43x5+33
248=43x4+76
249=19x13+2
250=11x22+8
250=11x21+19
251=29x8+19
251=23x9+44
251=23x8+67
252=61x4+8
253=83x3+4
!!! 254 !!!
!!! 255 !!!
!!! 256 !!!
!!! 257 !!!
258=17x15+3
259=67x3+58
260=17x15+5
260=31x8+12
260=19x13+13
260=47x5+25
260=47x4+72
261=11x23+8
261=13x19+14
261=41x6+15
261=11x22+19
!!! 262 !!!
!!! 263 !!!
264=29x9+3
264=149x1+115
!!! 265 !!!
!!! 266 !!!
!!! 267 !!!
268=19x14+2
268=127x2+14
!!! 269 !!!
!!! 270 !!!
!!! 271 !!!
272=11x24+8
272=11x23+19
!!! 273 !!!
274=13x20+14
274=23x10+44
274=23x9+67
275=17x16+3
!!! 276 !!!
277=17x16+5
277=53x5+12
!!! 278 !!!
279=19x14+13
280=29x9+19
!!! 281 !!!
282=79x3+45
283=11x25+8
283=11x24+19
!!! 284 !!!
!!! 285 !!!
!!! 286 !!!
287=19x15+2
287=13x21+14
288=47x6+6
288=61x4+44
!!! 289 !!!
290=89x3+23
291=31x9+12
291=43x6+33
291=43x5+76
292=17x17+3
293=29x10+3
294=17x17+5
294=11x26+8
294=11x25+19
!!! 295 !!!
!!! 296 !!!
297=23x11+44
297=23x10+67
298=19x15+13
!!! 299 !!!
これより作成されるa.batは、
factor((200^5+200^4+200^3+200^2+200+1)*200^18+200^6+200^5+200^4+200^3+200^2+200+1);
factor((202^5+202^4+202^3+202^2+202+1)*202^18+202^6+202^5+202^4+202^3+202^2+202+1);
factor((208^5+208^4+208^3+208^2+208+1)*208^18+208^6+208^5+208^4+208^3+208^2+208+1);
factor((210^5+210^4+210^3+210^2+210+1)*210^18+210^6+210^5+210^4+210^3+210^2+210+1);
factor((212^5+212^4+212^3+212^2+212+1)*212^18+212^6+212^5+212^4+212^3+212^2+212+1);
factor((215^5+215^4+215^3+215^2+215+1)*215^18+215^6+215^5+215^4+215^3+215^2+215+1);
factor((216^5+216^4+216^3+216^2+216+1)*216^18+216^6+216^5+216^4+216^3+216^2+216+1);
factor((218^5+218^4+218^3+218^2+218+1)*218^18+218^6+218^5+218^4+218^3+218^2+218+1);
factor((219^5+219^4+219^3+219^2+219+1)*219^18+219^6+219^5+219^4+219^3+219^2+219+1);
factor((221^5+221^4+221^3+221^2+221+1)*221^18+221^6+221^5+221^4+221^3+221^2+221+1);
factor((223^5+223^4+223^3+223^2+223+1)*223^18+223^6+223^5+223^4+223^3+223^2+223+1);
factor((225^5+225^4+225^3+225^2+225+1)*225^18+225^6+225^5+225^4+225^3+225^2+225+1);
factor((231^5+231^4+231^3+231^2+231+1)*231^18+231^6+231^5+231^4+231^3+231^2+231+1);
factor((232^5+232^4+232^3+232^2+232+1)*232^18+232^6+232^5+232^4+232^3+232^2+232+1);
factor((233^5+233^4+233^3+233^2+233+1)*233^18+233^6+233^5+233^4+233^3+233^2+233+1);
factor((236^5+236^4+236^3+236^2+236+1)*236^18+236^6+236^5+236^4+236^3+236^2+236+1);
factor((237^5+237^4+237^3+237^2+237+1)*237^18+237^6+237^5+237^4+237^3+237^2+237+1);
factor((238^5+238^4+238^3+238^2+238+1)*238^18+238^6+238^5+238^4+238^3+238^2+238+1);
factor((242^5+242^4+242^3+242^2+242+1)*242^18+242^6+242^5+242^4+242^3+242^2+242+1);
factor((246^5+246^4+246^3+246^2+246+1)*246^18+246^6+246^5+246^4+246^3+246^2+246+1);
factor((247^5+247^4+247^3+247^2+247+1)*247^18+247^6+247^5+247^4+247^3+247^2+247+1);
factor((254^5+254^4+254^3+254^2+254+1)*254^18+254^6+254^5+254^4+254^3+254^2+254+1);
factor((255^5+255^4+255^3+255^2+255+1)*255^18+255^6+255^5+255^4+255^3+255^2+255+1);
factor((256^5+256^4+256^3+256^2+256+1)*256^18+256^6+256^5+256^4+256^3+256^2+256+1);
factor((257^5+257^4+257^3+257^2+257+1)*257^18+257^6+257^5+257^4+257^3+257^2+257+1);
factor((262^5+262^4+262^3+262^2+262+1)*262^18+262^6+262^5+262^4+262^3+262^2+262+1);
factor((263^5+263^4+263^3+263^2+263+1)*263^18+263^6+263^5+263^4+263^3+263^2+263+1);
factor((265^5+265^4+265^3+265^2+265+1)*265^18+265^6+265^5+265^4+265^3+265^2+265+1);
factor((266^5+266^4+266^3+266^2+266+1)*266^18+266^6+266^5+266^4+266^3+266^2+266+1);
factor((267^5+267^4+267^3+267^2+267+1)*267^18+267^6+267^5+267^4+267^3+267^2+267+1);
factor((269^5+269^4+269^3+269^2+269+1)*269^18+269^6+269^5+269^4+269^3+269^2+269+1);
factor((270^5+270^4+270^3+270^2+270+1)*270^18+270^6+270^5+270^4+270^3+270^2+270+1);
factor((271^5+271^4+271^3+271^2+271+1)*271^18+271^6+271^5+271^4+271^3+271^2+271+1);
factor((273^5+273^4+273^3+273^2+273+1)*273^18+273^6+273^5+273^4+273^3+273^2+273+1);
factor((276^5+276^4+276^3+276^2+276+1)*276^18+276^6+276^5+276^4+276^3+276^2+276+1);
factor((278^5+278^4+278^3+278^2+278+1)*278^18+278^6+278^5+278^4+278^3+278^2+278+1);
factor((281^5+281^4+281^3+281^2+281+1)*281^18+281^6+281^5+281^4+281^3+281^2+281+1);
factor((284^5+284^4+284^3+284^2+284+1)*284^18+284^6+284^5+284^4+284^3+284^2+284+1);
factor((285^5+285^4+285^3+285^2+285+1)*285^18+285^6+285^5+285^4+285^3+285^2+285+1);
factor((286^5+286^4+286^3+286^2+286+1)*286^18+286^6+286^5+286^4+286^3+286^2+286+1);
factor((289^5+289^4+289^3+289^2+289+1)*289^18+289^6+289^5+289^4+289^3+289^2+289+1);
factor((295^5+295^4+295^3+295^2+295+1)*295^18+295^6+295^5+295^4+295^3+295^2+295+1);
factor((296^5+296^4+296^3+296^2+296+1)*296^18+296^6+296^5+296^4+296^3+296^2+296+1);
factor((299^5+299^4+299^3+299^2+299+1)*299^18+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 18
+ (1 + 200 + 200 + 200 + 200 + 200 ) 200 )
(%o2) 149
5851 1085767 89066382836442176083134723023200112165897
2 3
4 5 6
(%i3) factor(1 + 202 + 202
+ 202 + 202 + 202 + 202
2 3
4 5 18
+ (1 + 202 + 202 + 202 + 202 + 202 ) 202 )
(%o3)
117239 11683687 8240226881 9389568194827839389406647649703
2 3
4 5 6
(%i4) factor(1 + 208 + 208
+ 208 + 208 + 208 + 208
2 3
4 5 18
+ (1 + 208 + 208 + 208 + 208 + 208 ) 208 )
(%o4) 367
24801103447 989104416249293 23076528924608038871359037
2 3
4 5 6
(%i5) factor(1 + 210 + 210
+ 210 + 210 + 210 + 210
2 3
4 5 18
+ (1 + 210 + 210 + 210 + 210 + 210 ) 210 )
(%o5)
1836437 3282771851 42943758563443571136421983014587364953
2 3
4 5 6
(%i6) factor(1 + 212 + 212
+ 212 + 212 + 212 + 212
2 3
4 5 18
+ (1 + 212 + 212 + 212 + 212 + 212 ) 212 )
(%o6) 83 3407
16165399 21467951 266674616090719 12301817465361213359
2 3
4 5 6
(%i7) factor(1 + 215 + 215
+ 215 + 215 + 215 + 215
2 3
4 5 18
+ (1 + 215 + 215 + 215 + 215 + 215 ) 215 )
(%o7) 523
335161963 777950763647 3261375008616800865677465169047
2 3
4 5 6
(%i8) factor(1 + 216 + 216
+ 216 + 216 + 216 + 216
2 3
4 5 18
+ (1 + 216 + 216 + 216 + 216 + 216 ) 216 )
(%o8) 1619
6740775337 947933801447 20353964441021 2349999906925793
2 3
4 5 6
(%i9) factor(1 + 218 + 218
+ 218 + 218 + 218 + 218
2 3
4 5 18
+ (1 + 218 + 218 + 218 + 218 + 218 ) 218 )
(%o9)
1392695741 5633882541529552428637 77952864179282068064447
2 3
4 5 6
(%i10) factor(1 + 219 + 219
+ 219 + 219 + 219 + 219
2 3
4 5 18
+ (1 + 219 + 219 + 219 + 219 + 219 ) 219 )
(%o10) 337 131111
11840669 34647755424986778917 37487103560756973191
2 3
4 5 6
(%i11) factor(1 + 221 + 221
+ 221 + 221 + 221 + 221
2 3
4 5 18
+ (1 + 221 + 221 + 221 + 221 + 221 ) 221 )
(%o11) 2777
12625071779 23888129894823195040211565900871471727671
2 3
4 5 6
(%i12) factor(1 + 223 + 223
+ 223 + 223 + 223 + 223
2 3
4 5 18
+ (1 + 223 + 223 + 223 + 223 + 223 ) 223 )
(%o12) 193 47111 67339
117331 107302778845601 133657613634816152566567
2 3
4 5 6
(%i13) factor(1 + 225 + 225
+ 225 + 225 + 225 + 225
2 3
4 5 18
+ (1 + 225 + 225 + 225 + 225 + 225 ) 225 )
(%o13) 769 1321
4558921 4455484193 61312113237762149149673593079933
2 3
4 5 6
(%i14) factor(1 + 231 + 231
+ 231 + 231 + 231 + 231
2 3
4 5 18
+ (1 + 231 + 231 + 231 + 231 + 231 ) 231 )
(%o14) 317 13627
155453 3450651149128785307335972530262088791583579
2 3
4 5 6
(%i15) factor(1 + 232 + 232
+ 232 + 232 + 232 + 232
2 3
4 5 18
+ (1 + 232 + 232 + 232 + 232 + 232 ) 232 )
(%o15)
184903 13840624936277049262103609335320916494243270823183
2 3
4 5 6
(%i16) factor(1 + 233 + 233
+ 233 + 233 + 233 + 233
2 3
4 5 18
+ (1 + 233 + 233 + 233 + 233 + 233 ) 233 )
(%o16) 2777
10602750664279 95953250490945812050075794966231131123
2 3
4 5 6
(%i17) factor(1 + 236 + 236
+ 236 + 236 + 236 + 236
2 3
4 5 18
+ (1 + 236 + 236 + 236 + 236 + 236 ) 236 )
(%o17) 45022781
4145388997 20315270125239975291513997508433154829
2 3
4 5 6
(%i18) factor(1 + 237 + 237
+ 237 + 237 + 237 + 237
2 3
4 5 18
+ (1 + 237 + 237 + 237 + 237 + 237 ) 237 )
(%o18) 6863
9817 9738667 6368776308871183018630206041832174513857
2 3
4 5 6
(%i19) factor(1 + 238 + 238
+ 238 + 238 + 238 + 238
2 3
4 5 18
+ (1 + 238 + 238 + 238 + 238 + 238 ) 238 )
(%o19) 1697 4151347
3805900898177576201 171699989700672627364432081
2 3
4 5 6
(%i20) factor(1 + 242 + 242
+ 242 + 242 + 242 + 242
2 3
4 5 18
+ (1 + 242 + 242 + 242 + 242 + 242 ) 242 )
(%o20)
281357 24004574730662389766937095413265053791234865804907
2 3
4 5 6
(%i21) factor(1 + 246 + 246
+ 246 + 246 + 246 + 246
2 3
4 5 18
+ (1 + 246 + 246 + 246 + 246 + 246 ) 246 )
(%o21)
2169553732080703 651535287921438257 6965754000013330345133
2 3
4 5 6
(%i22) factor(1 + 247 + 247
+ 247 + 247 + 247 + 247
2 3
4 5 18
+ (1 + 247 + 247 + 247 + 247 + 247 ) 247 )
(%o22)
494016239 21880162651529457714251486286581953531298691791
2 3
4 5 6
(%i23) factor(1 + 254 + 254
+ 254 + 254 + 254 + 254
2 3
4 5 18
+ (1 + 254 + 254 + 254 + 254 + 254 ) 254 )
(%o23) 883
1481730251863 134562591257873 116743977200739840137626703
2 3
4 5 6
(%i24) factor(1 + 255 + 255
+ 255 + 255 + 255 + 255
2 3
4 5 18
+ (1 + 255 + 255 + 255 + 255 + 255 ) 255 )
(%o24)
22497311093318371429672837766628150301807893211945697281
素数ですね。
2 3
4 5 6
(%i25) factor(1 + 256 + 256
+ 256 + 256 + 256 + 256
2 3
4 5 18
+ (1 + 256 + 256 + 256 + 256 + 256 ) 256 )
(%o25)
24616085236810425345453297617978528942682960210574770433
素数ですね。
2 3
4 5 6
(%i26) factor(1 + 257 + 257
+ 257 + 257 + 257 + 257
2 3
4 5 18
+ (1 + 257 + 257 + 257 + 257 + 257 ) 257 )
(%o26) 1723 4813
1215735163696619077 2670637095911183605713593488663
2 3
4 5 6
(%i27) factor(1 + 262 + 262
+ 262 + 262 + 262 + 262
2 3
4 5 18
+ (1 + 262 + 262 + 262 + 262 + 262 ) 262 )
(%o27) 2393
1758924477031 9963240027655055727609244332725549913053
2 3
4 5 6
(%i28) factor(1 + 263 + 263
+ 263 + 263 + 263 + 263
2 3
4 5 18
+ (1 + 263 + 263 + 263 + 263 + 263 ) 263 )
(%o28)
45775876886484580088379760682211714264990773359792657729
素数ですね。
2 3
4 5 6
(%i29) factor(1 + 265 + 265
+ 265 + 265 + 265 + 265
2 3
4 5 18
+ (1 + 265 + 265 + 265 + 265 + 265 ) 265 )
(%o29) 1129
14736630208255609412868139 3274951855940896319410962511
2 3
4 5 6
(%i30) factor(1 + 266 + 266
+ 266 + 266 + 266 + 266
2 3
4 5 18
+ (1 + 266 + 266 + 266 + 266 + 266 ) 266 )
(%o30) 43289713
1372551657712415280615675652210544758302099753271
2 3
4 5 6
(%i31) factor(1 + 267 + 267
+ 267 + 267 + 267 + 267
2 3
4 5 18
+ (1 + 267 + 267 + 267 + 267 + 267 ) 267 )
(%o31) 2817797
2912753 7891785553104024946217301363665002690836589
2 3
4 5 6
(%i32) factor(1 + 269 + 269
+ 269 + 269 + 269 + 269
2 3
4 5 18
+ (1 + 269 + 269 + 269 + 269 + 269 ) 269 )
(%o32) 5737 217463
91537899221971 673362241557960783225572283344801
2 3
4 5 6
(%i33) factor(1 + 270 + 270
+ 270 + 270 + 270 + 270
2 3
4 5 18
+ (1 + 270 + 270 + 270 + 270 + 270 ) 270 )
(%o33) 188891
230635667 5638316315465237 340950151022740158156809039
2 3
4 5 6
(%i34) factor(1 + 271 + 271
+ 271 + 271 + 271 + 271
2 3
4 5 18
+ (1 + 271 + 271 + 271 + 271 + 271 ) 271 )
(%o34) 623671
146198752387817397981189364715200774224423430478983
2 3
4 5 6
(%i35) factor(1 + 273 + 273
+ 273 + 273 + 273 + 273
2 3
4 5 18
+ (1 + 273 + 273 + 273 + 273 + 273 ) 273 )
(%o35) 4551497
23723587506058246097884860670347874541789637043877
2 3
4 5 6
(%i36) factor(1 + 276 + 276
+ 276 + 276 + 276 + 276
2 3
4 5 18
+ (1 + 276 + 276 + 276 + 276 + 276 ) 276 )
(%o36) 103 733
1838840567653107896622506517288838752355132559723887
2 3
4 5 6
(%i37) factor(1 + 278 + 278
+ 278 + 278 + 278 + 278
2 3
4 5 18
+ (1 + 278 + 278 + 278 + 278 + 278 ) 278 )
(%o37) 149 5791 19368949
17016121893430949 576353395473687632042963521
2 3
4 5 6
(%i38) factor(1 + 281 + 281
+ 281 + 281 + 281 + 281
2 3
4 5 18
+ (1 + 281 + 281 + 281 + 281 + 281 ) 281 )
(%o38) 1129 117959 2357263
668283260463725030163129575438472900670781
2 3
4 5 6
(%i39) factor(1 + 284 + 284
+ 284 + 284 + 284 + 284
2 3
4 5 18
+ (1 + 284 + 284 + 284 + 284 + 284 ) 284 )
(%o39)
267826610811153533263286552889985679157305544035147697901
素数ですね。
2 3
4 5 6
(%i40) factor(1 + 285 + 285
+ 285 + 285 + 285 + 285
2 3
4 5 18
+ (1 + 285 + 285 + 285 + 285 + 285 ) 285 )
(%o40) 5426633
1030681358167 16143051077901977 3216013081921128203563
2 3
4 5 6
(%i41) factor(1 + 286 + 286
+ 286 + 286 + 286 + 286
2 3
4 5 18
+ (1 + 286 + 286 + 286 + 286 + 286 ) 286 )
(%o41) 154079 1182287
602600592419666261 2867107754795325418531399151
2 3
4 5 6
(%i42) factor(1 + 289 + 289
+ 289 + 289 + 289 + 289
2 3
4 5 18
+ (1 + 289 + 289 + 289 + 289 + 289 ) 289 )
(%o42) 338431
380098440518412269 3110208567966098215025944975006559
2 3
4 5 6
(%i43) factor(1 + 295 + 295
+ 295 + 295 + 295 + 295
2 3
4 5 18
+ (1 + 295 + 295 + 295 + 295 + 295 ) 295 )
(%o43) 83 5233 52361
2597911 10862255774574197522850683456872546407109
2 3
4 5 6
(%i44) factor(1 + 296 + 296
+ 296 + 296 + 296 + 296
2 3
4 5 18
+ (1 + 296 + 296 + 296 + 296 + 296 ) 296 )
(%o44)
567537199 1222319434543699780795667150038421475489243487207
2 3
4 5 6
(%i45) factor(1 + 299 + 299
+ 299 + 299 + 299 + 299
2 3
4 5 18
+ (1 + 299 + 299 + 299 + 299 + 299 ) 299 )
(%o45)
874766727081143994168571101810947054500233599236642410001
素数ですね。
(%o45)
a.bat
(%i46)
b.txtに追加されるものは、
149,200
367,208
83,212
523,215
337,219
193,223
769,225
317,231
883,254
103,276
733,276
149,278
83,295
これより、Autohajiku.cの
#define max 200 /*
この数から+100まで生成する */
を
#define max 300 /*
この数から+100まで生成する */
になおして、
$gcc -Wall Autohajiku.c -o
Autohajiku
$./Autohajiku
19n+2
659n+2
17n+3
29n+3
149n+3
367n+3
83n+4
17n+5
47n+6
163n+6
353n+6
929n+6
359n+7
11n+8
61n+8
151n+9
449n+9
31n+12
53n+12
19n+13
191n+13
13n+14
127n+14
41n+15
109n+16
11n+19
29n+19
89n+23
283n+23
47n+25
283n+25
43n+33
137n+42
163n+27
23n+44
61n+44
79n+45
409n+45
173n+49
191n+50
61n+57
97n+51
809n+51
67n+58
23n+67
47n+72
43n+76
419n+80
787n+84
347n+93
751n+93
109n+95
467n+95
113n+101
271n+103
733n+110
149n+115
257n+123
743n+134
107n+137
307n+137
839n+143
179n+145
277n+145
389n+149
647n+150
223n+168
821n+168
317n+178
937n+187
149n+200
367n+208
83n+212
523n+215
337n+219
193n+223
769n+225
317n+231
883n+254
103n+276
733n+276
149n+278
83n+295
b.txt read! 83 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
200=149x0+200
201=89x2+23
!!! 202 !!!
203=19x10+13
203=79x2+45
204=191x1+13
204=109x1+95
205=43x4+33
205=23x7+44
205=23x6+67
205=43x3+76
206=29x7+3
206=11x18+8
206=11x17+19
207=17x12+3
208=367x0+208
209=17x12+5
209=13x15+14
!!! 210 !!!
211=19x11+2
212=83x0+212
213=47x4+25
213=47x3+72
214=113x1+101
215=523x0+215
!!! 216 !!!
217=11x19+8
217=11x18+19
!!! 218 !!!
219=337x0+219
220=41x5+15
!!! 221 !!!
222=19x11+13
222=13x16+14
222=29x7+19
222=173x1+49
223=193x0+223
224=17x13+3
224=53x4+12
225=769x0+225
226=17x13+5
227=61x3+44
228=11x20+8
228=11x19+19
228=23x8+44
228=23x7+67
229=31x7+12
230=19x12+2
231=317x0+231
!!! 232 !!!
!!! 233 !!!
234=109x2+16
235=29x8+3
235=13x17+14
!!! 236 !!!
!!! 237 !!!
!!! 238 !!!
239=11x21+8
239=11x20+19
240=61x3+57
241=17x14+3
241=47x5+6
241=19x12+13
241=191x1+50
!!! 242 !!!
243=17x14+5
244=107x1+137
245=97x2+51
!!! 246 !!!
!!! 247 !!!
248=13x18+14
248=43x5+33
248=43x4+76
249=19x13+2
250=11x22+8
250=11x21+19
251=29x8+19
251=23x9+44
251=23x8+67
252=61x4+8
253=83x3+4
254=883x0+254
!!! 255 !!!
!!! 256 !!!
!!! 257 !!!
258=17x15+3
259=67x3+58
260=17x15+5
260=31x8+12
260=19x13+13
260=47x5+25
260=47x4+72
261=11x23+8
261=13x19+14
261=41x6+15
261=11x22+19
!!! 262 !!!
!!! 263 !!!
264=29x9+3
264=149x1+115
!!! 265 !!!
!!! 266 !!!
!!! 267 !!!
268=19x14+2
268=127x2+14
!!! 269 !!!
!!! 270 !!!
!!! 271 !!!
272=11x24+8
272=11x23+19
!!! 273 !!!
274=13x20+14
274=23x10+44
274=23x9+67
275=17x16+3
276=103x0+276
276=733x0+276
277=17x16+5
277=53x5+12
278=149x0+278
279=19x14+13
280=29x9+19
!!! 281 !!!
282=79x3+45
283=11x25+8
283=11x24+19
!!! 284 !!!
!!! 285 !!!
!!! 286 !!!
287=19x15+2
287=13x21+14
288=47x6+6
288=61x4+44
!!! 289 !!!
290=89x3+23
291=31x9+12
291=43x6+33
291=43x5+76
292=17x17+3
293=29x10+3
294=17x17+5
294=11x26+8
294=11x25+19
295=83x1+212
295=83x0+295
!!! 296 !!!
297=23x11+44
297=23x10+67
298=19x15+13
!!! 299 !!!
作成されたa.batは、
factor((202^5+202^4+202^3+202^2+202+1)*202^18+202^6+202^5+202^4+202^3+202^2+202+1);
factor((210^5+210^4+210^3+210^2+210+1)*210^18+210^6+210^5+210^4+210^3+210^2+210+1);
factor((216^5+216^4+216^3+216^2+216+1)*216^18+216^6+216^5+216^4+216^3+216^2+216+1);
factor((218^5+218^4+218^3+218^2+218+1)*218^18+218^6+218^5+218^4+218^3+218^2+218+1);
factor((221^5+221^4+221^3+221^2+221+1)*221^18+221^6+221^5+221^4+221^3+221^2+221+1);
factor((232^5+232^4+232^3+232^2+232+1)*232^18+232^6+232^5+232^4+232^3+232^2+232+1);
factor((233^5+233^4+233^3+233^2+233+1)*233^18+233^6+233^5+233^4+233^3+233^2+233+1);
factor((236^5+236^4+236^3+236^2+236+1)*236^18+236^6+236^5+236^4+236^3+236^2+236+1);
factor((237^5+237^4+237^3+237^2+237+1)*237^18+237^6+237^5+237^4+237^3+237^2+237+1);
factor((238^5+238^4+238^3+238^2+238+1)*238^18+238^6+238^5+238^4+238^3+238^2+238+1);
factor((242^5+242^4+242^3+242^2+242+1)*242^18+242^6+242^5+242^4+242^3+242^2+242+1);
factor((246^5+246^4+246^3+246^2+246+1)*246^18+246^6+246^5+246^4+246^3+246^2+246+1);
factor((247^5+247^4+247^3+247^2+247+1)*247^18+247^6+247^5+247^4+247^3+247^2+247+1);
factor((255^5+255^4+255^3+255^2+255+1)*255^18+255^6+255^5+255^4+255^3+255^2+255+1);
factor((256^5+256^4+256^3+256^2+256+1)*256^18+256^6+256^5+256^4+256^3+256^2+256+1);
factor((257^5+257^4+257^3+257^2+257+1)*257^18+257^6+257^5+257^4+257^3+257^2+257+1);
factor((262^5+262^4+262^3+262^2+262+1)*262^18+262^6+262^5+262^4+262^3+262^2+262+1);
factor((263^5+263^4+263^3+263^2+263+1)*263^18+263^6+263^5+263^4+263^3+263^2+263+1);
factor((265^5+265^4+265^3+265^2+265+1)*265^18+265^6+265^5+265^4+265^3+265^2+265+1);
factor((266^5+266^4+266^3+266^2+266+1)*266^18+266^6+266^5+266^4+266^3+266^2+266+1);
factor((267^5+267^4+267^3+267^2+267+1)*267^18+267^6+267^5+267^4+267^3+267^2+267+1);
factor((269^5+269^4+269^3+269^2+269+1)*269^18+269^6+269^5+269^4+269^3+269^2+269+1);
factor((270^5+270^4+270^3+270^2+270+1)*270^18+270^6+270^5+270^4+270^3+270^2+270+1);
factor((271^5+271^4+271^3+271^2+271+1)*271^18+271^6+271^5+271^4+271^3+271^2+271+1);
factor((273^5+273^4+273^3+273^2+273+1)*273^18+273^6+273^5+273^4+273^3+273^2+273+1);
factor((281^5+281^4+281^3+281^2+281+1)*281^18+281^6+281^5+281^4+281^3+281^2+281+1);
factor((284^5+284^4+284^3+284^2+284+1)*284^18+284^6+284^5+284^4+284^3+284^2+284+1);
factor((285^5+285^4+285^3+285^2+285+1)*285^18+285^6+285^5+285^4+285^3+285^2+285+1);
factor((286^5+286^4+286^3+286^2+286+1)*286^18+286^6+286^5+286^4+286^3+286^2+286+1);
factor((289^5+289^4+289^3+289^2+289+1)*289^18+289^6+289^5+289^4+289^3+289^2+289+1);
factor((296^5+296^4+296^3+296^2+296+1)*296^18+296^6+296^5+296^4+296^3+296^2+296+1);
factor((299^5+299^4+299^3+299^2+299+1)*299^18+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 + 202 + 202
+ 202 + 202 + 202 + 202
2 3
4 5 18
+ (1 + 202 + 202 + 202 + 202 + 202 ) 202 )
(%o2)
117239 11683687 8240226881 9389568194827839389406647649703
2 3
4 5 6
(%i3) factor(1 + 210 + 210
+ 210 + 210 + 210 + 210
2 3
4 5 18
+ (1 + 210 + 210 + 210 + 210 + 210 ) 210 )
(%o3)
1836437 3282771851 42943758563443571136421983014587364953
2 3
4 5 6
(%i4) factor(1 + 216 + 216
+ 216 + 216 + 216 + 216
2 3
4 5 18
+ (1 + 216 + 216 + 216 + 216 + 216 ) 216 )
(%o4) 1619
6740775337 947933801447 20353964441021 2349999906925793
2 3
4 5 6
(%i5) factor(1 + 218 + 218
+ 218 + 218 + 218 + 218
2 3
4 5 18
+ (1 + 218 + 218 + 218 + 218 + 218 ) 218 )
(%o5)
1392695741 5633882541529552428637 77952864179282068064447
2 3
4 5 6
(%i6) factor(1 + 221 + 221
+ 221 + 221 + 221 + 221
2 3
4 5 18
+ (1 + 221 + 221 + 221 + 221 + 221 ) 221 )
(%o6)
2777 12625071779 23888129894823195040211565900871471727671
2 3
4 5 6
(%i7) factor(1 + 232 + 232
+ 232 + 232 + 232 + 232
2 3
4 5 18
+ (1 + 232 + 232 + 232 + 232 + 232 ) 232 )
(%o7)
184903 13840624936277049262103609335320916494243270823183
2 3
4 5 6
(%i8) factor(1 + 233 + 233
+ 233 + 233 + 233 + 233
2 3
4 5 18
+ (1 + 233 + 233 + 233 + 233 + 233 ) 233 )
(%o8)
2777 10602750664279 95953250490945812050075794966231131123
2 3
4 5 6
(%i9) factor(1 + 236 + 236
+ 236 + 236 + 236 + 236
2 3
4 5 18
+ (1 + 236 + 236 + 236 + 236 + 236 ) 236 )
(%o9)
45022781 4145388997 20315270125239975291513997508433154829
2 3
4 5 6
(%i10) factor(1 + 237 + 237
+ 237 + 237 + 237 + 237
2 3
4 5 18
+ (1 + 237 + 237 + 237 + 237 + 237 ) 237 )
(%o10) 6863
9817 9738667 6368776308871183018630206041832174513857
2 3
4 5 6
(%i11) factor(1 + 238 + 238
+ 238 + 238 + 238 + 238
2 3
4 5 18
+ (1 + 238 + 238 + 238 + 238 + 238 ) 238 )
(%o11) 1697 4151347
3805900898177576201 171699989700672627364432081
2 3
4 5 6
(%i12) factor(1 + 242 + 242
+ 242 + 242 + 242 + 242
2 3
4 5 18
+ (1 + 242 + 242 + 242 + 242 + 242 ) 242 )
(%o12)
281357 24004574730662389766937095413265053791234865804907
2 3
4 5 6
(%i13) factor(1 + 246 + 246
+ 246 + 246 + 246 + 246
2 3
4 5 18
+ (1 + 246 + 246 + 246 + 246 + 246 ) 246 )
(%o13)
2169553732080703 651535287921438257 6965754000013330345133
2 3
4 5 6
(%i14) factor(1 + 247 + 247
+ 247 + 247 + 247 + 247
2 3
4 5 18
+ (1 + 247 + 247 + 247 + 247 + 247 ) 247 )
(%o14)
494016239 21880162651529457714251486286581953531298691791
2 3
4 5 6
(%i15) factor(1 + 255 + 255
+ 255 + 255 + 255 + 255
2 3
4 5 18
+ (1 + 255 + 255 + 255 + 255 + 255 ) 255 )
(%o15)
22497311093318371429672837766628150301807893211945697281
素数ですね。
2 3
4 5 6
(%i16) factor(1 + 256 + 256
+ 256 + 256 + 256 + 256
2 3
4 5 18
+ (1 + 256 + 256 + 256 + 256 + 256 ) 256 )
(%o16)
24616085236810425345453297617978528942682960210574770433
素数ですね。
2 3
4 5 6
(%i17) factor(1 + 257 + 257
+ 257 + 257 + 257 + 257
2 3
4 5 18
+ (1 + 257 + 257 + 257 + 257 + 257 ) 257 )
(%o17) 1723 4813
1215735163696619077 2670637095911183605713593488663
2 3
4 5 6
(%i18) factor(1 + 262 + 262
+ 262 + 262 + 262 + 262
2 3
4 5 18
+ (1 + 262 + 262 + 262 + 262 + 262 ) 262 )
(%o18) 2393
1758924477031 9963240027655055727609244332725549913053
2 3
4 5 6
(%i19) factor(1 + 263 + 263
+ 263 + 263 + 263 + 263
2 3
4 5 18
+ (1 + 263 + 263 + 263 + 263 + 263 ) 263 )
(%o19)
45775876886484580088379760682211714264990773359792657729
素数ですね。
2 3
4 5 6
(%i20) factor(1 + 265 + 265
+ 265 + 265 + 265 + 265
2 3
4 5 18
+ (1 + 265 + 265 + 265 + 265 + 265 ) 265 )
(%o20) 1129
14736630208255609412868139 3274951855940896319410962511
2 3
4 5 6
(%i21) factor(1 + 266 + 266
+ 266 + 266 + 266 + 266
2 3
4 5 18
+ (1 + 266 + 266 + 266 + 266 + 266 ) 266 )
(%o21) 43289713
1372551657712415280615675652210544758302099753271
2 3
4 5 6
(%i22) factor(1 + 267 + 267
+ 267 + 267 + 267 + 267
2 3
4 5 18
+ (1 + 267 + 267 + 267 + 267 + 267 ) 267 )
(%o22) 2817797
2912753 7891785553104024946217301363665002690836589
2 3
4 5 6
(%i23) factor(1 + 269 + 269
+ 269 + 269 + 269 + 269
2 3
4 5 18
+ (1 + 269 + 269 + 269 + 269 + 269 ) 269 )
(%o23) 5737 217463
91537899221971 673362241557960783225572283344801
2 3
4 5 6
(%i24) factor(1 + 270 + 270
+ 270 + 270 + 270 + 270
2 3
4 5 18
+ (1 + 270 + 270 + 270 + 270 + 270 ) 270 )
(%o24) 188891
230635667 5638316315465237 340950151022740158156809039
2 3
4 5 6
(%i25) factor(1 + 271 + 271
+ 271 + 271 + 271 + 271
2 3
4 5 18
+ (1 + 271 + 271 + 271 + 271 + 271 ) 271 )
(%o25) 623671
146198752387817397981189364715200774224423430478983
2 3
4 5 6
(%i26) factor(1 + 273 + 273
+ 273 + 273 + 273 + 273
2 3
4 5 18
+ (1 + 273 + 273 + 273 + 273 + 273 ) 273 )
(%o26) 4551497
23723587506058246097884860670347874541789637043877
2 3
4 5 6
(%i27) factor(1 + 281 + 281
+ 281 + 281 + 281 + 281
2 3
4 5 18
+ (1 + 281 + 281 + 281 + 281 + 281 ) 281 )
(%o27) 1129 117959 2357263
668283260463725030163129575438472900670781
2 3
4 5 6
(%i28) factor(1 + 284 + 284
+ 284 + 284 + 284 + 284
2 3
4 5 18
+ (1 + 284 + 284 + 284 + 284 + 284 ) 284 )
(%o28)
267826610811153533263286552889985679157305544035147697901
素数ですね。
2 3
4 5 6
(%i29) factor(1 + 285 + 285
+ 285 + 285 + 285 + 285
2 3
4 5 18
+ (1 + 285 + 285 + 285 + 285 + 285 ) 285 )
(%o29) 5426633
1030681358167 16143051077901977 3216013081921128203563
2 3
4 5 6
(%i30) factor(1 + 286 + 286
+ 286 + 286 + 286 + 286
2 3
4 5 18
+ (1 + 286 + 286 + 286 + 286 + 286 ) 286 )
(%o30) 154079 1182287
602600592419666261 2867107754795325418531399151
2 3
4 5 6
(%i31) factor(1 + 289 + 289
+ 289 + 289 + 289 + 289
2 3
4 5 18
+ (1 + 289 + 289 + 289 + 289 + 289 ) 289 )
(%o31) 338431
380098440518412269 3110208567966098215025944975006559
2 3
4 5 6
(%i32) factor(1 + 296 + 296
+ 296 + 296 + 296 + 296
2 3
4 5 18
+ (1 + 296 + 296 + 296 + 296 + 296 ) 296 )
(%o32)
567537199 1222319434543699780795667150038421475489243487207
2 3
4 5 6
(%i33) factor(1 + 299 + 299
+ 299 + 299 + 299 + 299
2 3
4 5 18
+ (1 + 299 + 299 + 299 + 299 + 299 ) 299 )
(%o33)
874766727081143994168571101810947054500233599236642410001
素数ですね。
(%o33)
a.bat
(%i34)
b.txtに追加されるものは、
なし。
これより、Autohajiku.cの
#define max 200 /*
この数から+100まで生成する */
を
#define max 300 /*
この数から+100まで生成する */
になおして、
$gcc -Wall Autohajiku.c -o
Autohajiku
$./Autohajiku
19n+2
659n+2
17n+3
29n+3
149n+3
367n+3
83n+4
17n+5
47n+6
163n+6
353n+6
929n+6
359n+7
11n+8
61n+8
151n+9
449n+9
31n+12
53n+12
19n+13
191n+13
13n+14
127n+14
41n+15
109n+16
11n+19
29n+19
89n+23
283n+23
47n+25
283n+25
43n+33
137n+42
163n+27
23n+44
61n+44
79n+45
409n+45
173n+49
191n+50
61n+57
97n+51
809n+51
67n+58
23n+67
47n+72
43n+76
419n+80
787n+84
347n+93
751n+93
109n+95
467n+95
113n+101
271n+103
733n+110
149n+115
257n+123
743n+134
107n+137
307n+137
839n+143
179n+145
277n+145
389n+149
647n+150
223n+168
821n+168
317n+178
937n+187
149n+200
367n+208
83n+212
523n+215
337n+219
193n+223
769n+225
317n+231
883n+254
103n+276
733n+276
149n+278
83n+295
b.txt read! 83 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
300=13x22+14
301=149x2+3
301=61x4+57
302=41x7+15
!!! 303 !!!
!!! 304 !!!
305=11x27+8
305=11x26+19
306=19x16+2
306=283x1+23
307=47x6+25
307=47x5+72
308=283x1+25
309=17x18+3
309=29x10+19
!!! 310 !!!
311=17x18+5
311=151x2+9
!!! 312 !!!
313=61x5+8
313=13x23+14
313=109x2+95
!!! 314 !!!
!!! 315 !!!
316=11x28+8
316=11x27+19
316=137x2+42
317=19x16+13
!!! 318 !!!
!!! 319 !!!
320=23x12+44
320=23x11+67
!!! 321 !!!
322=29x11+3
322=31x10+12
!!! 323 !!!
324=179x1+145
325=19x17+2
326=17x19+3
326=13x24+14
326=67x4+58
327=11x29+8
327=11x28+19
327=113x2+101
328=17x19+5
!!! 329 !!!
330=53x6+12
!!! 331 !!!
332=163x2+6
!!! 333 !!!
334=43x7+33
334=43x6+76
335=47x7+6
336=83x4+4
336=19x17+13
!!! 337 !!!
338=11x30+8
338=11x29+19
338=29x11+19
339=13x25+14
!!! 340 !!!
!!! 341 !!!
342=97x3+51
343=17x20+3
343=41x8+15
343=109x3+16
343=23x13+44
343=23x12+67
344=19x18+2
345=17x20+5
!!! 346 !!!
!!! 347 !!!
!!! 348 !!!
349=11x31+8
349=11x30+19
349=61x5+44
349=149x1+200
!!! 350 !!!
351=29x12+3
351=107x2+137
352=13x26+14
353=31x11+12
353=163x2+27
354=47x7+25
354=47x6+72
355=19x18+13
!!! 356 !!!
!!! 357 !!!
!!! 358 !!!
359=353x1+6
360=17x21+3
360=11x32+8
360=11x31+19
361=79x4+45
362=17x21+5
362=61x5+57
363=19x19+2
!!! 364 !!!
365=13x27+14
366=359x1+7
366=23x14+44
366=23x13+67
367=29x12+19
!!! 368 !!!
!!! 369 !!!
370=367x1+3
371=11x33+8
371=11x32+19
!!! 372 !!!
!!! 373 !!!
374=61x6+8
374=19x19+13
374=271x1+103
!!! 375 !!!
!!! 376 !!!
377=17x22+3
377=43x8+33
377=43x7+76
378=13x28+14
378=83x2+212
378=83x1+295
379=17x22+5
379=89x4+23
379=103x1+276
380=29x13+3
380=257x1+123
!!! 381 !!!
382=19x20+2
382=47x8+6
382=11x34+8
382=11x33+19
383=53x7+12
384=31x12+12
384=41x9+15
!!! 385 !!!
!!! 386 !!!
!!! 387 !!!
!!! 388 !!!
389=23x15+44
389=23x14+67
!!! 390 !!!
391=13x29+14
391=223x1+168
!!! 392 !!!
393=11x35+8
393=19x20+13
393=11x34+19
393=67x5+58
394=17x23+3
395=191x2+13
395=127x3+14
395=173x2+49
396=17x23+5
396=29x13+19
!!! 397 !!!
!!! 398 !!!
!!! 399 !!!
生成されたa.batは、
factor((303^5+303^4+303^3+303^2+303+1)*303^18+303^6+303^5+303^4+303^3+303^2+303+1);
factor((304^5+304^4+304^3+304^2+304+1)*304^18+304^6+304^5+304^4+304^3+304^2+304+1);
factor((310^5+310^4+310^3+310^2+310+1)*310^18+310^6+310^5+310^4+310^3+310^2+310+1);
factor((312^5+312^4+312^3+312^2+312+1)*312^18+312^6+312^5+312^4+312^3+312^2+312+1);
factor((314^5+314^4+314^3+314^2+314+1)*314^18+314^6+314^5+314^4+314^3+314^2+314+1);
factor((315^5+315^4+315^3+315^2+315+1)*315^18+315^6+315^5+315^4+315^3+315^2+315+1);
factor((318^5+318^4+318^3+318^2+318+1)*318^18+318^6+318^5+318^4+318^3+318^2+318+1);
factor((319^5+319^4+319^3+319^2+319+1)*319^18+319^6+319^5+319^4+319^3+319^2+319+1);
factor((321^5+321^4+321^3+321^2+321+1)*321^18+321^6+321^5+321^4+321^3+321^2+321+1);
factor((323^5+323^4+323^3+323^2+323+1)*323^18+323^6+323^5+323^4+323^3+323^2+323+1);
factor((329^5+329^4+329^3+329^2+329+1)*329^18+329^6+329^5+329^4+329^3+329^2+329+1);
factor((331^5+331^4+331^3+331^2+331+1)*331^18+331^6+331^5+331^4+331^3+331^2+331+1);
factor((333^5+333^4+333^3+333^2+333+1)*333^18+333^6+333^5+333^4+333^3+333^2+333+1);
factor((337^5+337^4+337^3+337^2+337+1)*337^18+337^6+337^5+337^4+337^3+337^2+337+1);
factor((340^5+340^4+340^3+340^2+340+1)*340^18+340^6+340^5+340^4+340^3+340^2+340+1);
factor((341^5+341^4+341^3+341^2+341+1)*341^18+341^6+341^5+341^4+341^3+341^2+341+1);
factor((346^5+346^4+346^3+346^2+346+1)*346^18+346^6+346^5+346^4+346^3+346^2+346+1);
factor((347^5+347^4+347^3+347^2+347+1)*347^18+347^6+347^5+347^4+347^3+347^2+347+1);
factor((348^5+348^4+348^3+348^2+348+1)*348^18+348^6+348^5+348^4+348^3+348^2+348+1);
factor((350^5+350^4+350^3+350^2+350+1)*350^18+350^6+350^5+350^4+350^3+350^2+350+1);
factor((356^5+356^4+356^3+356^2+356+1)*356^18+356^6+356^5+356^4+356^3+356^2+356+1);
factor((357^5+357^4+357^3+357^2+357+1)*357^18+357^6+357^5+357^4+357^3+357^2+357+1);
factor((358^5+358^4+358^3+358^2+358+1)*358^18+358^6+358^5+358^4+358^3+358^2+358+1);
factor((364^5+364^4+364^3+364^2+364+1)*364^18+364^6+364^5+364^4+364^3+364^2+364+1);
factor((368^5+368^4+368^3+368^2+368+1)*368^18+368^6+368^5+368^4+368^3+368^2+368+1);
factor((369^5+369^4+369^3+369^2+369+1)*369^18+369^6+369^5+369^4+369^3+369^2+369+1);
factor((372^5+372^4+372^3+372^2+372+1)*372^18+372^6+372^5+372^4+372^3+372^2+372+1);
factor((373^5+373^4+373^3+373^2+373+1)*373^18+373^6+373^5+373^4+373^3+373^2+373+1);
factor((375^5+375^4+375^3+375^2+375+1)*375^18+375^6+375^5+375^4+375^3+375^2+375+1);
factor((376^5+376^4+376^3+376^2+376+1)*376^18+376^6+376^5+376^4+376^3+376^2+376+1);
factor((381^5+381^4+381^3+381^2+381+1)*381^18+381^6+381^5+381^4+381^3+381^2+381+1);
factor((385^5+385^4+385^3+385^2+385+1)*385^18+385^6+385^5+385^4+385^3+385^2+385+1);
factor((386^5+386^4+386^3+386^2+386+1)*386^18+386^6+386^5+386^4+386^3+386^2+386+1);
factor((387^5+387^4+387^3+387^2+387+1)*387^18+387^6+387^5+387^4+387^3+387^2+387+1);
factor((388^5+388^4+388^3+388^2+388+1)*388^18+388^6+388^5+388^4+388^3+388^2+388+1);
factor((390^5+390^4+390^3+390^2+390+1)*390^18+390^6+390^5+390^4+390^3+390^2+390+1);
factor((392^5+392^4+392^3+392^2+392+1)*392^18+392^6+392^5+392^4+392^3+392^2+392+1);
factor((397^5+397^4+397^3+397^2+397+1)*397^18+397^6+397^5+397^4+397^3+397^2+397+1);
factor((398^5+398^4+398^3+398^2+398+1)*398^18+398^6+398^5+398^4+398^3+398^2+398+1);
factor((399^5+399^4+399^3+399^2+399+1)*399^18+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 + 303 + 303
+ 303 + 303 + 303 + 303
2 3
4 5 18
+ (1 + 303 + 303 + 303 + 303 + 303 ) 303 )
(%o2) 166413659
1769020157 4033614503557848071747891274348556972303
2 3
4 5 6
(%i3) factor(1 + 304 + 304
+ 304 + 304 + 304 + 304
2 3
4 5 18
+ (1 + 304 + 304 + 304 + 304 + 304 ) 304 )
(%o3) 1303 1089849989
10333506948393110196587 87290001792846983575969
2 3
4 5 6
(%i4) factor(1 + 310 + 310
+ 310 + 310 + 310 + 310
2 3
4 5 18
+ (1 + 310 + 310 + 310 + 310 + 310 ) 310 )
(%o4) 125423
186199151 1083677185611166417 79335463129538686762167571
2 3
4 5 6
(%i5) factor(1 + 312 + 312
+ 312 + 312 + 312 + 312
2 3
4 5 18
+ (1 + 312 + 312 + 312 + 312 + 312 ) 312 )
(%o5) 607 691 23971 4288577
2812754411 23504023619 816600677060918446559
2 3
4 5 6
(%i6) factor(1 + 314 + 314
+ 314 + 314 + 314 + 314
2 3
4 5 18
+ (1 + 314 + 314 + 314 + 314 + 314 ) 314 )
(%o6)
16479395719841 163616061251001099641003605936800003004869911
2 3
4 5 6
(%i7) factor(1 + 315 + 315
+ 315 + 315 + 315 + 315
2 3
4 5 18
+ (1 + 315 + 315 + 315 + 315 + 315 ) 315 )
(%o7) 4206721
17109127992574791454157 40304362674244916802628768853
2 3
4 5 6
(%i8) factor(1 + 318 + 318
+ 318 + 318 + 318 + 318
2 3
4 5 18
+ (1 + 318 + 318 + 318 + 318 + 318 ) 318 )
(%o8) 283
18916480918724303 673852486458203606033712278105007250751
2 3
4 5 6
(%i9) factor(1 + 319 + 319
+ 319 + 319 + 319 + 319
2 3
4 5 18
+ (1 + 319 + 319 + 319 + 319 + 319 ) 319 )
(%o9)
82202298289 8918963032354921979 5288724561586393059466561571
2 3
4 5 6
(%i10) factor(1 + 321 + 321
+ 321 + 321 + 321 + 321
2 3
4 5 18
+ (1 + 321 + 321 + 321 + 321 + 321 ) 321 )
(%o10) 13758935369
3294905617546657256057 98751338307919347672110221
2 3
4 5 6
(%i11) factor(1 + 323 + 323
+ 323 + 323 + 323 + 323
2 3
4 5 18
+ (1 + 323 + 323 + 323 + 323 + 323 ) 323 )
(%o11)
5164219155279291543674662606260226554742346460322837079569
素数ですね。
2 3
4 5 6
(%i12) factor(1 + 329 + 329
+ 329 + 329 + 329 + 329
2 3
4 5 18
+ (1 + 329 + 329 + 329 + 329 + 329 ) 329 )
(%o12) 102929
358965366258435155820493 213421124925385921423591979633
2 3
4 5 6
(%i13) factor(1 + 331 + 331
+ 331 + 331 + 331 + 331
2 3
4 5 18
+ (1 + 331 + 331 + 331 + 331 + 331 ) 331 )
(%o13) 223 1153
35255245269622746372902779334799646650267099527934607
2 3
4 5 6
(%i14) factor(1 + 333 + 333
+ 333 + 333 + 333 + 333
2 3
4 5 18
+ (1 + 333 + 333 + 333 + 333 + 333 ) 333 )
(%o14) 743 253040483
14441877551331247 3834608586333024151310965779463
2 3
4 5 6
(%i15) factor(1 + 337 + 337
+ 337 + 337 + 337 + 337
2 3
4 5 18
+ (1 + 337 + 337 + 337 + 337 + 337 ) 337 )
(%o15) 523 3805621 28517039
241405238554523299021868994090353805403877
2 3
4 5 6
(%i16) factor(1 + 340 + 340
+ 340 + 340 + 340 + 340
2 3
4 5 18
+ (1 + 340 + 340 + 340 + 340 + 340 ) 340 )
(%o16) 192259
25311669639799 3452127585017570213764227930564257304001
2 3
4 5 6
(%i17) factor(1 + 341 + 341
+ 341 + 341 + 341 + 341
2 3
4 5 18
+ (1 + 341 + 341 + 341 + 341 + 341 ) 341 )
(%o17) 1229 5227 756227 3626639
4162733 245068071486034257328140259725019
2 3
4 5 6
(%i18) factor(1 + 346 + 346
+ 346 + 346 + 346 + 346
2 3
4 5 18
+ (1 + 346 + 346 + 346 + 346 + 346 ) 346 )
(%o18) 269 1307 525583 54838177
126162011 2602858291589 7548765991278828289
2 3
4 5 6
(%i19) factor(1 + 347 + 347
+ 347 + 347 + 347 + 347
2 3
4 5 18
+ (1 + 347 + 347 + 347 + 347 + 347 ) 347 )
(%o19) 99710459
66859978412873 102341867213851 39343320644529765155857
2 3
4 5 6
(%i20) factor(1 + 348 + 348
+ 348 + 348 + 348 + 348
2 3
4 5 18
+ (1 + 348 + 348 + 348 + 348 + 348 ) 348 )
(%o20) 97 967 3167 15733
4537988458295203 1352231904845786364488305257707
2 3
4 5 6
(%i21) factor(1 + 350 + 350
+ 350 + 350 + 350 + 350
2 3
4 5 18
+ (1 + 350 + 350 + 350 + 350 + 350 ) 350 )
(%o21) 3673
14423174162662536331 617626414268916891847124856122188777
2 3
4 5 6
(%i22) factor(1 + 356 + 356
+ 356 + 356 + 356 + 356
2 3
4 5 18
+ (1 + 356 + 356 + 356 + 356 + 356 ) 356 )
(%o22) 1427 602201 85374167
659294835163026130530939465112235462877737
2 3
4 5 6
(%i23) factor(1 + 357 + 357
+ 357 + 357 + 357 + 357
2 3
4 5 18
+ (1 + 357 + 357 + 357 + 357 + 357 ) 357 )
(%o23) 593 631 32987
4179846331935336291825842311226517460920468991969
2 3
4 5 6
(%i24) factor(1 + 358 + 358
+ 358 + 358 + 358 + 358
2 3
4 5 18
+ (1 + 358 + 358 + 358 + 358 + 358 ) 358 )
(%o24)
258785589493207666892312417 212610316706652849164324306845427
2 3
4 5 6
(%i25) factor(1 + 364 + 364
+ 364 + 364 + 364 + 364
2 3
4 5 18
+ (1 + 364 + 364 + 364 + 364 + 364 ) 364 )
(%o25) 54767 1125763
1893088891083458483 690859370859509858821445280907
2 3
4 5 6
(%i26) factor(1 + 368 + 368
+ 368 + 368 + 368 + 368
2 3
4 5 18
+ (1 + 368 + 368 + 368 + 368 + 368 ) 368 )
(%o26) 163 152623 2144142789209
1943659967199975081942022798433791618589
2 3
4 5 6
(%i27) factor(1 + 369 + 369
+ 369 + 369 + 369 + 369
2 3
4 5 18
+ (1 + 369 + 369 + 369 + 369 + 369 ) 369 )
(%o27) 109579
1007065310187366885951467045448286710782438892343662919
2 3
4 5 6
(%i28) factor(1 + 372 + 372
+ 372 + 372 + 372 + 372
2 3
4 5 18
+ (1 + 372 + 372 + 372 + 372 + 372 ) 372 )
(%o28) 11553085640544079
11506908371647819251547282932175363386981931
2 3
4 5 6
(%i29) factor(1 + 373 + 373
+ 373 + 373 + 373 + 373
2 3
4 5 18
+ (1 + 373 + 373 + 373 + 373 + 373 ) 373 )
(%o29) 257 50971 29061290840921
371447846873010498245360050181293179487
2 3
4 5 6
(%i30) factor(1 + 375 + 375
+ 375 + 375 + 375 + 375
2 3
4 5 18
+ (1 + 375 + 375 + 375 + 375 + 375 ) 375 )
(%o30) 467
342422223255114681795849659605824480299903704060827723803
2 3
4 5 6
(%i31) factor(1 + 376 + 376
+ 376 + 376 + 376 + 376
2 3
4 5 18
+ (1 + 376 + 376 + 376 + 376 + 376 ) 376 )
(%o31) 108217
671110935269009 2340923410993931259848551201263047793521
2 3
4 5 6
(%i32) factor(1 + 381 + 381
+ 381 + 381 + 381 + 381
2 3
4 5 18
+ (1 + 381 + 381 + 381 + 381 + 381 ) 381 )
(%o32) 2830367 12797633
29091773111 218611610696054878198464710560465973
2 3
4 5 6
(%i33) factor(1 + 385 + 385
+ 385 + 385 + 385 + 385
2 3
4 5 18
+ (1 + 385 + 385 + 385 + 385 + 385 ) 385 )
(%o33) 85915367 18859990158029
69565331688067 2598490373734144032556381
2 3
4 5 6
(%i34) factor(1 + 386 + 386
+ 386 + 386 + 386 + 386
2 3
4 5 18
+ (1 + 386 + 386 + 386 + 386 + 386 ) 386 )
(%o34) 7177343
43318247793960743587090941927372223353844950770197121
2 3
4 5 6
(%i35) factor(1 + 387 + 387
+ 387 + 387 + 387 + 387
2 3
4 5 18
+ (1 + 387 + 387 + 387 + 387 + 387 ) 387 )
(%o35) 173
691803896320737979803769 2757063374221403781066252088678877
2 3
4 5 6
(%i36) factor(1 + 388 + 388
+ 388 + 388 + 388 + 388
2 3
4 5 18
+ (1 + 388 + 388 + 388 + 388 + 388 ) 388 )
(%o36) 643
544552149065913981852428319831340154188635389939257884103
2 3
4 5 6
(%i37) factor(1 + 390 + 390
+ 390 + 390 + 390 + 390
2 3
4 5 18
+ (1 + 390 + 390 + 390 + 390 + 390 ) 390 )
(%o37) 9333746087
484009537939321777791113 87235060191714209355442861
2 3
4 5 6
(%i38) factor(1 + 392 + 392
+ 392 + 392 + 392 + 392
2 3
4 5 18
+ (1 + 392 + 392 + 392 + 392 + 392 ) 392 )
(%o38) 4463 385289 8748208519157
29468377724951839859562664573395833651
2 3
4 5 6
(%i39) factor(1 + 397 + 397
+ 397 + 397 + 397 + 397
2 3
4 5 18
+ (1 + 397 + 397 + 397 + 397 + 397 ) 397 )
(%o39)
5060384556154013945987 117244763450491751506205286477440065727
2 3
4 5 6
(%i40) factor(1 + 398 + 398
+ 398 + 398 + 398 + 398
2 3
4 5 18
+ (1 + 398 + 398 + 398 + 398 + 398 ) 398 )
(%o40) 2859763 13378243497781
16431381677736260502434128136500347909973
2 3
4 5 6
(%i41) factor(1 + 399 + 399
+ 399 + 399 + 399 + 399
2 3
4 5 18
+ (1 + 399 + 399 + 399 + 399 + 399 ) 399 )
(%o41) 4314077018233
51310221389569 3008670596250019442234331391213513
(%o41)
a.bat
(%i42)
b.txtに追加されるものは、
607,312
691,312
283,318
223,331
743,333
523,337
269,346
97,348
967,348
593,357
631,357
163,368
257,373
467,375
173,387
643,388
これより、Autohajiku.cの
#define max 300 /*
この数から+100まで生成する */
を
#define max 400 /*
この数から+100まで生成する */
になおして、
$gcc -Wall Autohajiku.c -o
Autohajiku
$./Autohajiku
19n+2
659n+2
17n+3
29n+3
149n+3
367n+3
83n+4
17n+5
47n+6
163n+6
353n+6
929n+6
359n+7
11n+8
61n+8
151n+9
449n+9
31n+12
53n+12
19n+13
191n+13
13n+14
127n+14
41n+15
109n+16
11n+19
29n+19
89n+23
283n+23
47n+25
283n+25
43n+33
137n+42
163n+27
23n+44
61n+44
79n+45
409n+45
173n+49
191n+50
61n+57
97n+51
809n+51
67n+58
23n+67
47n+72
43n+76
419n+80
787n+84
347n+93
751n+93
109n+95
467n+95
113n+101
271n+103
733n+110
149n+115
257n+123
743n+134
107n+137
307n+137
839n+143
179n+145
277n+145
389n+149
647n+150
223n+168
821n+168
317n+178
937n+187
149n+200
367n+208
83n+212
523n+215
337n+219
193n+223
769n+225
317n+231
883n+254
103n+276
733n+276
149n+278
83n+295
607n+312
691n+312
283n+318
223n+331
743n+333
523n+337
269n+346
97n+348
967n+348
593n+357
631n+357
163n+368
257n+373
467n+375
173n+387
643n+388
b.txt read! 99 個
$gcc -Wall hajiku-6.c -o hajiku-6
$./hajiku-6
!!! 400 !!!
401=19x21+2
401=47x8+25
401=47x7+72
!!! 402 !!!
!!! 403 !!!
404=11x36+8
404=13x30+14
404=11x35+19
!!! 405 !!!
!!! 406 !!!
!!! 407 !!!
!!! 408 !!!
409=29x14+3
410=61x6+44
411=17x24+3
412=19x21+13
412=23x16+44
412=23x15+67
413=17x24+5
413=149x2+115
!!! 414 !!!
415=11x37+8
415=31x13+12
415=11x36+19
416=193x1+223
417=13x31+14
!!! 418 !!!
419=83x5+4
420=19x22+2
420=43x9+33
420=43x8+76
!!! 421 !!!
422=109x3+95
422=277x1+145
423=61x6+57
!!! 424 !!!
425=41x10+15
425=29x14+19
426=11x38+8
426=11x37+19
427=149x1+278
428=17x25+3
429=47x9+6
430=17x25+5
430=13x32+14
431=19x22+13
432=191x2+50
!!! 433 !!!
!!! 434 !!!
435=61x7+8
435=23x17+44
435=23x16+67
436=53x8+12
437=11x39+8
437=11x38+19
438=29x15+3
439=19x23+2
439=97x4+51
440=79x5+45
440=347x1+93
440=113x3+101
!!! 441 !!!
!!! 442 !!!
443=13x33+14
444=307x1+137
445=17x26+3
445=97x1+348
446=31x14+12
447=17x26+5
448=11x40+8
448=11x39+19
448=47x9+25
448=47x8+72
!!! 449 !!!
450=149x3+3
450=19x23+13
!!! 451 !!!
452=109x4+16
453=137x3+42
454=29x15+19
454=409x1+45
!!! 455 !!!
456=13x34+14
!!! 457 !!!
458=19x24+2
458=449x1+9
458=23x18+44
458=23x17+67
458=107x3+137
459=11x41+8
459=11x40+19
460=67x6+58
461=83x3+212
461=83x2+295
462=17x27+3
462=151x3+9
463=43x10+33
463=43x9+76
464=17x27+5
!!! 465 !!!
466=41x11+15
467=29x16+3
468=89x5+23
469=19x24+13
469=13x35+14
470=11x42+8
470=11x41+19
471=61x7+44
!!! 472 !!!
!!! 473 !!!
!!! 474 !!!
!!! 475 !!!
476=47x10+6
477=19x25+2
477=31x15+12
!!! 478 !!!
479=17x28+3
!!! 480 !!!
481=17x28+5
481=11x43+8
481=11x42+19
481=23x19+44
481=23x18+67
482=13x36+14
482=103x2+276
483=29x16+19
484=61x7+57
!!! 485 !!!
!!! 486 !!!
!!! 487 !!!
488=19x25+13
489=53x9+12
!!! 490 !!!
!!! 491 !!!
492=11x44+8
492=11x43+19
!!! 493 !!!
!!! 494 !!!
495=163x3+6
495=13x37+14
495=47x10+25
495=47x9+72
495=317x1+178
496=19x26+2
496=17x29+3
496=29x17+3
496=61x8+8
!!! 497 !!!
498=17x29+5
498=149x2+200
499=419x1+80
生成されたa.batは、
factor((400^5+400^4+400^3+400^2+400+1)*400^18+400^6+400^5+400^4+400^3+400^2+400+1);
factor((402^5+402^4+402^3+402^2+402+1)*402^18+402^6+402^5+402^4+402^3+402^2+402+1);
factor((403^5+403^4+403^3+403^2+403+1)*403^18+403^6+403^5+403^4+403^3+403^2+403+1);
factor((405^5+405^4+405^3+405^2+405+1)*405^18+405^6+405^5+405^4+405^3+405^2+405+1);
factor((406^5+406^4+406^3+406^2+406+1)*406^18+406^6+406^5+406^4+406^3+406^2+406+1);
factor((407^5+407^4+407^3+407^2+407+1)*407^18+407^6+407^5+407^4+407^3+407^2+407+1);
factor((408^5+408^4+408^3+408^2+408+1)*408^18+408^6+408^5+408^4+408^3+408^2+408+1);
factor((414^5+414^4+414^3+414^2+414+1)*414^18+414^6+414^5+414^4+414^3+414^2+414+1);
factor((418^5+418^4+418^3+418^2+418+1)*418^18+418^6+418^5+418^4+418^3+418^2+418+1);
factor((421^5+421^4+421^3+421^2+421+1)*421^18+421^6+421^5+421^4+421^3+421^2+421+1);
factor((424^5+424^4+424^3+424^2+424+1)*424^18+424^6+424^5+424^4+424^3+424^2+424+1);
factor((433^5+433^4+433^3+433^2+433+1)*433^18+433^6+433^5+433^4+433^3+433^2+433+1);
factor((434^5+434^4+434^3+434^2+434+1)*434^18+434^6+434^5+434^4+434^3+434^2+434+1);
factor((441^5+441^4+441^3+441^2+441+1)*441^18+441^6+441^5+441^4+441^3+441^2+441+1);
factor((442^5+442^4+442^3+442^2+442+1)*442^18+442^6+442^5+442^4+442^3+442^2+442+1);
factor((449^5+449^4+449^3+449^2+449+1)*449^18+449^6+449^5+449^4+449^3+449^2+449+1);
factor((451^5+451^4+451^3+451^2+451+1)*451^18+451^6+451^5+451^4+451^3+451^2+451+1);
factor((455^5+455^4+455^3+455^2+455+1)*455^18+455^6+455^5+455^4+455^3+455^2+455+1);
factor((457^5+457^4+457^3+457^2+457+1)*457^18+457^6+457^5+457^4+457^3+457^2+457+1);
factor((465^5+465^4+465^3+465^2+465+1)*465^18+465^6+465^5+465^4+465^3+465^2+465+1);
factor((472^5+472^4+472^3+472^2+472+1)*472^18+472^6+472^5+472^4+472^3+472^2+472+1);
factor((473^5+473^4+473^3+473^2+473+1)*473^18+473^6+473^5+473^4+473^3+473^2+473+1);
factor((474^5+474^4+474^3+474^2+474+1)*474^18+474^6+474^5+474^4+474^3+474^2+474+1);
factor((475^5+475^4+475^3+475^2+475+1)*475^18+475^6+475^5+475^4+475^3+475^2+475+1);
factor((478^5+478^4+478^3+478^2+478+1)*478^18+478^6+478^5+478^4+478^3+478^2+478+1);
factor((480^5+480^4+480^3+480^2+480+1)*480^18+480^6+480^5+480^4+480^3+480^2+480+1);
factor((485^5+485^4+485^3+485^2+485+1)*485^18+485^6+485^5+485^4+485^3+485^2+485+1);
factor((486^5+486^4+486^3+486^2+486+1)*486^18+486^6+486^5+486^4+486^3+486^2+486+1);
factor((487^5+487^4+487^3+487^2+487+1)*487^18+487^6+487^5+487^4+487^3+487^2+487+1);
factor((490^5+490^4+490^3+490^2+490+1)*490^18+490^6+490^5+490^4+490^3+490^2+490+1);
factor((491^5+491^4+491^3+491^2+491+1)*491^18+491^6+491^5+491^4+491^3+491^2+491+1);
factor((493^5+493^4+493^3+493^2+493+1)*493^18+493^6+493^5+493^4+493^3+493^2+493+1);
factor((494^5+494^4+494^3+494^2+494+1)*494^18+494^6+494^5+494^4+494^3+494^2+494+1);
factor((497^5+497^4+497^3+497^2+497+1)*497^18+497^6+497^5+497^4+497^3+497^2+497+1);
実行結果は、
(%i1) batch("a.bat");
read and interpret file: a.bat
2 3
4 5 6
(%i2) factor(1 + 400 + 400
+ 400 + 400 + 400 + 400
2 3
4 5 18
+ (1 + 400 + 400 + 400 + 400 + 400 ) 400 )
(%o2) 2011
350796155867859518613195425161611138736946794682379743491
2 3
4 5 6
(%i3) factor(1 + 402 + 402
+ 402 + 402 + 402 + 402
2 3
4 5 18
+ (1 + 402 + 402 + 402 + 402 + 402 ) 402 )
(%o3)
337482552950703019 400025385491354563 5860599224099676602719567
2 3
4 5 6
(%i4) factor(1 + 403 + 403
+ 403 + 403 + 403 + 403
2 3
4 5 18
+ (1 + 403 + 403 + 403 + 403 + 403 ) 403 )
^[OR(%o4) 4933
17599942115402506127 9648786556926408506116394132014048979
2 3
4 5 6
(%i5) factor(1 + 405 + 405
+ 405 + 405 + 405 + 405
2 3
4 5 18
+ (1 + 405 + 405 + 405 + 405 + 405 ) 405 )
(%o5)
96345724749616425417287 9743315012855378184766853632025510363
2 3
4 5 6
(%i6) factor(1 + 406 + 406
+ 406 + 406 + 406 + 406
2 3
4 5 18
+ (1 + 406 + 406 + 406 + 406 + 406 ) 406 )
(%o6) 58554269
18114726367 936654536597396688053485495836837489598721
2 3
4 5 6
(%i7) factor(1 + 407 + 407
+ 407 + 407 + 407 + 407
2 3
4 5 18
+ (1 + 407 + 407 + 407 + 407 + 407 ) 407 )
(%o7) 3701 14563537
74621097122121015107 261391950358759266544472464111
2 3
4 5 6
(%i8) factor(1 + 408 + 408
+ 408 + 408 + 408 + 408
2 3
4 5 18
+ (1 + 408 + 408 + 408 + 408 + 408 ) 408 )
(%o8) 1039 1741 5227 4864529
11131733 2172596663983534904244006881972740069
2 3
4 5 6
(%i9) factor(1 + 414 + 414
+ 414 + 414 + 414 + 414
2 3
4 5 18
+ (1 + 414 + 414 + 414 + 414 + 414 ) 414 )
(%o9) 11047 240882822709
243370430483 2402924576310663141795735798334739
2 3
4 5 6
(%i10) factor(1 + 418 + 418
+ 418 + 418 + 418 + 418
2 3
4 5 18
+ (1 + 418 + 418 + 418 + 418 + 418 ) 418 )
(%o10) 1162469981 365563326720301
89023274867820793 51315288342596528303
2 3
4 5 6
(%i11) factor(1 + 421 + 421
+ 421 + 421 + 421 + 421
2 3
4 5 18
+ (1 + 421 + 421 + 421 + 421 + 421 ) 421 )
(%o11)
2288342410952678485337470886360288310521026736083893681733693
素数ですね。
2 3
4 5 6
(%i12) factor(1 + 424 + 424
+ 424 + 424 + 424 + 424
2 3
4 5 18
+ (1 + 424 + 424 + 424 + 424 + 424 ) 424 )
(%o12) 9251966730031
4133188853029891 70456469770489658711565336984781
2 3
4 5 6
(%i13) factor(1 + 433 + 433
+ 433 + 433 + 433 + 433
2 3
4 5 18
+ (1 + 433 + 433 + 433 + 433 + 433 ) 433 )
(%o13) 11399
383141338411294171584543923256059438297198464383632249291
2 3
4 5 6
(%i14) factor(1 + 434 + 434
+ 434 + 434 + 434 + 434
2 3
4 5 18
+ (1 + 434 + 434 + 434 + 434 + 434 ) 434 )
(%o14) 239 757 82558121
1174303397 262561904764029967154739122523450646001
2 3
4 5 6
(%i15) factor(1 + 441 + 441
+ 441 + 441 + 441 + 441
2 3
4 5 18
+ (1 + 441 + 441 + 441 + 441 + 441 ) 441 )
(%o15) 67 509 743 1051
8433554001193 29626389333506433542054888695919480959
2 3
4 5 6
(%i16) factor(1 + 442 + 442
+ 442 + 442 + 442 + 442
2 3
4 5 18
+ (1 + 442 + 442 + 442 + 442 + 442 ) 442 )
(%o16) 163
17474499333873884698867 2460954187076196117985220405319260719
2 3
4 5 6
(%i17) factor(1 + 449 + 449
+ 449 + 449 + 449 + 449
2 3
4 5 18
+ (1 + 449 + 449 + 449 + 449 + 449 ) 449 )
(%o17)
9259639355360528577383 1086525936854822908987852466751839293547
2 3
4 5 6
(%i18) factor(1 + 451 + 451
+ 451 + 451 + 451 + 451
2 3
4 5 18
+ (1 + 451 + 451 + 451 + 451 + 451 ) 451 )
(%o18) 10781 17239 226353119
17491283586967458043 15144160766699465381816071
2 3
4 5 6
(%i19) factor(1 + 455 + 455
+ 455 + 455 + 455 + 455
2 3
4 5 18
+ (1 + 455 + 455 + 455 + 455 + 455 ) 455 )
(%o19) 12270961382681165847559
1112600056219092332043993652248466941559
2 3
4 5 6
(%i20) factor(1 + 457 + 457
+ 457 + 457 + 457 + 457
2 3
4 5 18
+ (1 + 457 + 457 + 457 + 457 + 457 ) 457 )
(%o20) 81106249381
186195697074135657162422304078605838176514714190729
2 3
4 5 6
(%i21) factor(1 + 465 + 465
+ 465 + 465 + 465 + 465
2 3
4 5 18
+ (1 + 465 + 465 + 465 + 465 + 465 ) 465 )
(%o21) 2661115489723
8458418438187114838197845064846473375312410468567
2 3
4 5 6
(%i22) factor(1 + 472 + 472
+ 472 + 472 + 472 + 472
2 3
4 5 18
+ (1 + 472 + 472 + 472 + 472 + 472 ) 472 )
(%o22) 585721 3785407447
335662454723 42646251764626091780270358485765549
2 3
4 5 6
(%i23) factor(1 + 473 + 473
+ 473 + 473 + 473 + 473
2 3
4 5 18
+ (1 + 473 + 473 + 473 + 473 + 473 ) 473 )
(%o23) 13921426697 5330163902471
449056586062949353781065147366650531187
2 3
4 5 6
(%i24) factor(1 + 474 + 474
+ 474 + 474 + 474 + 474
2 3
4 5 18
+ (1 + 474 + 474 + 474 + 474 + 474 ) 474 )
(%o24) 7476387967
4678721876429494358771195977992307858131005138664553
2 3
4 5 6
(%i25) factor(1 + 475 + 475
+ 475 + 475 + 475 + 475
2 3
4 5 18
+ (1 + 475 + 475 + 475 + 475 + 475 ) 475 )
(%o25) 5021 2033339905931
3596400785387343294905656263708633103852181551
2 3
4 5 6
(%i26) factor(1 + 478 + 478
+ 478 + 478 + 478 + 478
2 3
4 5 18
+ (1 + 478 + 478 + 478 + 478 + 478 ) 478 )
(%o26)
42437631723868086147288651577045750350543687443661657142185739
素数ですね。
2 3
4 5 6
(%i27) factor(1 + 480 + 480
+ 480 + 480 + 480 + 480
2 3
4 5 18
+ (1 + 480 + 480 + 480 + 480 + 480 ) 480 )
(%o27) 650390268631 1312781964709
54712624438269794343881498870436250939
2 3
4 5 6
(%i28) factor(1 + 485 + 485
+ 485 + 485 + 485 + 485
2 3
4 5 18
+ (1 + 485 + 485 + 485 + 485 + 485 ) 485 )
(%o28) 541 3187
34385633998843299575782000145914808232020026595767593883
2 3
4 5 6
(%i29) factor(1 + 486 + 486
+ 486 + 486 + 486 + 486
2 3
4 5 18
+ (1 + 486 + 486 + 486 + 486 + 486 ) 486 )
(%o29) 17825886199478694070751
3487205926028070773439857380802424552653
2 3
4 5 6
(%i30) factor(1 + 487 + 487
+ 487 + 487 + 487 + 487
2 3
4 5 18
+ (1 + 487 + 487 + 487 + 487 + 487 ) 487 )
(%o30) 757 1039964809753321
4677718478412911 17697429689110612023456338747
2 3
4 5 6
(%i31) factor(1 + 490 + 490
+ 490 + 490 + 490 + 490
2 3
4 5 18
+ (1 + 490 + 490 + 490 + 490 + 490 ) 490 )
(%o31) 24019 693958874173
4503066967363090101863648784522365469865077793
2 3
4 5 6
(%i32) factor(1 + 491 + 491
+ 491 + 491 + 491 + 491
2 3
4 5 18
+ (1 + 491 + 491 + 491 + 491 + 491 ) 491 )
(%o32)
78661048491095841634633680673842942092898840942406941146233873
素数ですね。
2 3
4 5 6
(%i33) factor(1 + 493 + 493
+ 493 + 493 + 493 + 493
2 3
4 5 18
+ (1 + 493 + 493 + 493 + 493 + 493 ) 493 )
(%o33) 728899 153254488076303297
773179630079317498986874855676907393983
2 3
4 5 6
(%i34) factor(1 + 494 + 494
+ 494 + 494 + 494 + 494
2 3
4 5 18
+ (1 + 494 + 494 + 494 + 494 + 494 ) 494 )
(%o34) 8069
11214505788114419535610657217335848846743461579407634219679
2 3
4 5 6
(%i35) factor(1 + 497 + 497
+ 497 + 497 + 497 + 497
2 3
4 5 18
+ (1 + 497 + 497 + 497 + 497 + 497 ) 497 )
(%o35) 22949058309821470727
4532176177549545267509768981031109077542987
(%o35)
a.bat
(%i36)
b.txtに追加されるものは、
239,434
757,434
67,441
509,441
743,441
163,442
541,485
757,487