102     mpz_class e;  in check_mpz_4()  local
108     mpz_class e;  in check_mpz_4()  local
122     mpz_class e;  in check_mpz_5()  local
128     mpz_class e;  in check_mpz_5()  local
142     mpz_class e;  in check_mpz_6()  local
148     mpz_class e;  in check_mpz_6()  local
162     mpz_class e;  in check_mpz_7()  local
168     mpz_class e;  in check_mpz_7()  local
182     signed int d = 4, e = 5;  in check_mpz_8()  local
188     signed int d = 4, e = 5;  in check_mpz_8()  local
203     mpz_class e;  in check_mpz_9()  local
209     mpz_class e;  in check_mpz_9()  local
223     mpz_class e;  in check_mpz_10()  local
229     mpz_class e;  in check_mpz_10()  local
243     mpz_class e;  in check_mpz_11()  local
249     mpz_class e;  in check_mpz_11()  local
262     unsigned int d = 4, e = 5;  in check_mpz_12()  local
268     unsigned int d = 4, e = 5;  in check_mpz_12()  local
282     double d = 4.0, e = 5.0;  in check_mpz_13()  local
288     double d = 4.0, e = 5.0;  in check_mpz_13()  local
303     signed int c = 3, d = 4, e = 5;  in check_mpz_14()  local
309     signed int c = 3, d = 4, e = 5;  in check_mpz_14()  local
323     unsigned int c = 3, d = 4, e = 5;  in check_mpz_15()  local
329     unsigned int c = 3, d = 4, e = 5;  in check_mpz_15()  local
345     double d = 4.0, e = 5.0, f = 6.0;  in check_mpz_16()  local
351     double d = 4.0, e = 5.0, f = 6.0;  in check_mpz_16()  local
425     mpz_class e;  in check_mpz_20()  local
431     mpz_class e;  in check_mpz_20()  local
445     mpz_class e;  in check_mpz_21()  local
451     mpz_class e;  in check_mpz_21()  local
465     mpz_class e;  in check_mpz_22()  local
471     mpz_class e;  in check_mpz_22()  local
485     mpz_class e;  in check_mpz_23()  local
491     mpz_class e;  in check_mpz_23()  local
505     signed int d = 5, e = 6;  in check_mpz_24()  local
511     signed int d = 5, e = 6;  in check_mpz_24()  local
526     mpz_class e;  in check_mpz_25()  local
532     mpz_class e;  in check_mpz_25()  local
546     mpz_class e;  in check_mpz_26()  local
552     mpz_class e;  in check_mpz_26()  local
566     mpz_class e;  in check_mpz_27()  local
572     mpz_class e;  in check_mpz_27()  local
585     unsigned int d = 5, e = 6;  in check_mpz_28()  local
591     unsigned int d = 5, e = 6;  in check_mpz_28()  local
605     double d = 5.0, e = 6.0;  in check_mpz_29()  local
611     double d = 5.0, e = 6.0;  in check_mpz_29()  local
625     signed int c = 4, d = 5, e = 6;  in check_mpz_30()  local
631     signed int c = 4, d = 5, e = 6;  in check_mpz_30()  local
645     unsigned int c = 4, d = 5, e = 6;  in check_mpz_31()  local
651     unsigned int c = 4, d = 5, e = 6;  in check_mpz_31()  local
666     double d = 5.0, e = 6.0, f = 7.0;  in check_mpz_32()  local
672     double d = 5.0, e = 6.0, f = 7.0;  in check_mpz_32()  local