Added two libs for big ints, and some solutions(1, 2, 3, 12,  25)