--- DavideSericoli.10_pos_pos_quotient.output 2015-05-07 23:08:36.967410784 +0200 +++ 10_pos_pos_quotient.out 2015-04-30 14:35:59.138061891 +0200 @@ -1 +1,2 @@ - +22 33 +1 11