1 2 3 4 5 6 7 8 9 10 11 12
*** old 2016-03-11 09:37:25.001994752 +0100 --- new 2016-03-11 09:37:43.288668426 +0100 *************** *** 3,8 **** --- 3,9 ---- a a a + b a a a