fibNselNfib1s0s0fib1XYconsXn__fib1Yn__addXYadd0XXaddsXYsaddXYsel0consXXSXselsNconsXXSselNactivateXSfib1X1X2n__fib1X1X2addX1X2n__addX1X2activaten__fib1X1X2fib1activateX1activateX2activaten__addX1X2addactivateX1activateX2activateXXfibNfib1s0s0fibNselNfib1s0s0addsXYaddXYselsNconsXXSactivateXSselsNconsXXSselNactivateXSactivaten__fib1X1X2activateX2activaten__fib1X1X2activateX1activaten__fib1X1X2fib1activateX1activateX2activaten__addX1X2activateX2activaten__addX1X2activateX1activaten__addX1X2addactivateX1activateX2truefibNfib1s0s0falsefibNselNfib1s0s0falseselsNconsXXSselNactivateXStrue1sel241024activate1016add201626cons201024n__fib1211820n__add271424fib1231022s18112000selsNconsXXSactivateXSfalseactivaten__fib1X1X2activateX2activaten__fib1X1X2activateX1activaten__addX1X2activateX2activaten__addX1X2activateX1true1activate1118n__fib12411021n__add231724activaten__addX1X2addactivateX1activateX2falseaddsXYaddXYtrue1add2810212s1113activaten__fib1X1X2fib1activateX1activateX2false