1c1 < 1013a1014 --- > 1012a1013