Nil_Oo1_1:  (1, 2, 2, 1)
Nil_Oo1_2:  (1, 2 + Z_2, 2, 1)
Nil_Oo1_3:  (1, 2 + Z_3, 2, 1)
Nil_Oo1_4:  (1, 2 + Z_4, 2, 1)
Nil_Oo1_5:  (1, 2 + Z_5, 2, 1)