FLIPFLOP T B1;
FLIPFLOP T B2;
OUTPUT O1;
OUTPUT O2;

T1 = Q2;
T2 = 1;

O1 = Q1 :+: Q2;
O2 = Q1;