11/12 thinking 1/12 typing sounds about right to me, provided that we count typing things that we'll eventually delete as thinking and not typing.