Factor Q(sqrt(-163)) over rationals