// P-2 MCS 360 due Mon 4 Oct 2010 : test_big_nat.cpp

#include "big_nat.h"
#include <iostream>

using namespace std;

int main()
{
   string s;

   cout << "Give x : "; getline(cin,s,'\n');
   Big_Nat x(s);
   cout << "---> x : " << x.to_string() << endl;
   cout << "Give y : "; getline(cin,s,'\n');
   Big_Nat y(s);
   cout << "---> y : " << y.to_string() << endl;
   Big_Nat z = x + y;
   cout << " x + y : " << z.to_string() << endl;

   return 0;
}

