160
for(a=7; a<(1LL<<62); a+=a/3+1){
161
for(b=3; b<(1LL<<62); b+=b/4+1){
162
for(c=9; c<(1LL<<62); c+=(c*2)/5+3){
165
ai= av_mul_i(av_int2i(a), av_int2i(b));
166
ai= av_add_i(ai, av_int2i(r));
168
d= av_i2int(av_div_i(ai, av_int2i(c)));
170
e= av_rescale(a,b,c);
172
if((double)a * (double)b / (double)c > (1LL<<63))
175
if(d!=e) printf("%"PRId64"*%"PRId64"/%"PRId64"= %"PRId64"=%"PRId64"\n", a, b, c, d, e);