(Seg,Inst)	(0,0)	(1,0)	(2,0)	(3,0)	(4,0)	(5,0)	(6,0)	(7,0)	(8,0)	(9,0)	(10,0)	(11,0)	(0,1)	(1,1)	(2,1)	(3,1)	(4,1)	(5,1)	(6,1)	(7,1)	(8,1)	(9,1)	(10,1)	(11,1)
(0,0)
(1,0)		Worker1::Count, 0 Worker1::w, 0	Worker1::Count, 0 Worker1::w, 0
(2,0)		Worker1::Count, 0 Worker1::w, 0	Worker1::Count, 0 Worker1::w, 0
(3,0)
(4,0)					Worker2::Count, 0 Worker2::w, 0	Worker2::Count, 0 Worker2::w, 0
(5,0)					Worker2::Count, 0 Worker2::w, 0	Worker2::Count, 0 Worker2::w, 0
(6,0)
(7,0)								Worker3::Count, 0 Worker3::w, 0	Worker3::Count, 0 Worker3::w, 0
(8,0)								Worker3::Count, 0 Worker3::w, 0	Worker3::Count, 0 Worker3::w, 0
(9,0)
(10,0)											Worker4::Count, 0 Worker4::w, 0	Worker4::Count, 0 Worker4::w, 0
(11,0)											Worker4::Count, 0 Worker4::w, 0	Worker4::Count, 0 Worker4::w, 0
(0,1)
(1,1)														Worker1::Count, 1 Worker1::w, 1	Worker1::Count, 1 Worker1::w, 1
(2,1)														Worker1::Count, 1 Worker1::w, 1	Worker1::Count, 1 Worker1::w, 1
(3,1)
(4,1)																	Worker2::Count, 1 Worker2::w, 1	Worker2::Count, 1 Worker2::w, 1
(5,1)																	Worker2::Count, 1 Worker2::w, 1	Worker2::Count, 1 Worker2::w, 1
(6,1)
(7,1)																				Worker3::Count, 1 Worker3::w, 1	Worker3::Count, 1 Worker3::w, 1
(8,1)																				Worker3::Count, 1 Worker3::w, 1	Worker3::Count, 1 Worker3::w, 1
(9,1)
(10,1)																							Worker4::Count, 1 Worker4::w, 1	Worker4::Count, 1 Worker4::w, 1
(11,1)																							Worker4::Count, 1 Worker4::w, 1	Worker4::Count, 1 Worker4::w, 1