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

T1 =  S :+: Q2;
T2 = 1;

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