NO DOC
#include <iostream>
#include <fstream>
#include "givaro/givintrsa.h"
#include "givaro/givrandom.h"
#include "givaro/givtimer.h"
int main(int argc, char** argv)
{
if (argc > 3)
else
std::cin >> e;
if (argc > 4)
else
std::cin >> e;
if (argc > 5)
else
std::cin >> d;
std::ifstream TXT(argv[1]);
if (!TXT) { std::cerr << "Error opening input file: " << argv[1] << std::endl; return -1; }
std::ofstream OUT(argv[2]);
if (!OUT) { std::cerr << "Error opening output file: " << argv[2] << std::endl; return -1; }
OUT.close();
TXT.close();
std::cerr << tim << std::endl;
return 0;
}