35077635e93d9e28d3724b0d96dbb23f1537f74f
13 static void print(std::string name
, mpz_class value
);
22 friend std::ostream
& operator<<(std::ostream
& os
, const Timer
& t
);
25 std::chrono::time_point
<std::chrono::high_resolution_clock
> time
;
28 std::ostream
& operator<<(std::ostream
& os
, const Timer
& t
);