NAME ="L" I = { a0?, b?, a1?, a2? } O = { c0!, c1!, c2! } L_0_3_3 = [ a0? ->L_0_0_3 , a1? ->L_0_1_3 , a2? ->L_0_2_3 , b? -> L_1_3_3 ] L_1_3_3 = [ a0? ->L_1_0_3 , a1? ->L_1_1_3 , a2? ->L_1_2_3 , b? -> CHAOS ] L_1_2_3 = c2!; L_0_3_3 L_1_1_3 = c1!; L_0_3_3 L_1_0_3 = c0!; L_0_3_3 L_0_2_3 = [ b? -> L_1_2_3 , else -> CHAOS ] L_0_1_3 = [ b? -> L_1_1_3 , else -> CHAOS ] L_0_0_3 = [ b? -> L_1_0_3 , else -> CHAOS ]