131   double start_time = 0.0;  in main()  local
183   start_time = taketime();  in main()
333 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
605 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
910 …fprintf(stderr,"total time: %g sec for writing %scompressed\n", taketime()-start_time, (compress ?…  in main()
1124 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
1287 …reading %scompressed and writing indexed & %scompressed\n", taketime()-start_time, (is_compressed …  in main()
1584 …fprintf(stderr,"total time: %g sec for writing %scompressed\n", taketime()-start_time, (compress ?…  in main()
1889 …fprintf(stderr,"total time: %g sec for writing %scompressed\n", taketime()-start_time, (compress ?…  in main()
2064 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
2416 …fprintf(stderr,"total time: %g sec for writing %scompressed\n", taketime()-start_time, (compress ?…  in main()
2765 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
3111 …fprintf(stderr,"total time: %g sec for writing %scompressed\n", taketime()-start_time, (compress ?…  in main()
3294 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
3466 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
3647 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
3918 …g sec for reading %scompressed and writing %scompressed\n", taketime()-start_time, (is_compressed …  in main()
4192 …fprintf(stderr,"total time: %g sec for writing %scompressed\n", taketime()-start_time, (compress ?…  in main()