a__f X a__if mark X c f true a__if true X Y mark X a__if false X Y mark Y mark f X a__f mark X mark if X1 X2 X3 a__if mark X1 mark X2 X3 mark c c mark true true mark false false a__f X f X a__if X1 X2 X3 if X1 X2 X3 2.2 mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__f X a__if mark X c f true mark f X mark X a__f X mark X a__if false X Y mark Y mark if X1 X2 X3 mark X1 a__if true X Y mark X mark f X a__f mark X mark if X1 X2 X3 mark X2 true mark if X1 X2 X3 mark X2 mark f X a__f mark X a__if true X Y mark X mark if X1 X2 X3 mark X1 mark f X mark X a__f X a__if mark X c f true a__if false X Y mark Y a__f X mark X mark if X1 X2 X3 a__if mark X1 mark X2 X3 true a__f 1 1 10451 false 0 1 c 0 0 true 0 0 f 1 1 10451 mark 1 1 0 if 3 1 2 3 0 mark 1 1 0 a__if 3 2 3 0 a__f 1 1 10451 a__if 3 1 2 3 0 mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__if false X Y mark Y a__f X a__if mark X c f true mark if X1 X2 X3 mark X1 a__if true X Y mark X mark f X a__f mark X mark if X1 X2 X3 mark X2 mark f X a__f mark X mark false false a__f X a__if mark X c f true a__if false X Y mark Y mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__if X1 X2 X3 if X1 X2 X3 mark true true a__f X f X mark c c a__if true X Y mark X mark f X a__f mark X a__f X a__if mark X c f true a__if false X Y mark Y mark if X1 X2 X3 mark X2 mark if X1 X2 X3 mark X1 mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__if true X Y mark X true a__f 1 1 19781 false 0 1 c 0 0 true 0 0 f 1 1 19781 mark 1 1 0 if 3 1 2 3 0 mark 1 1 0 a__if 3 1 2 3 0 a__f 1 1 19781 a__if 3 1 2 3 0 a__if true X Y mark X mark if X1 X2 X3 a__if mark X1 mark X2 X3 mark if X1 X2 X3 mark X1 mark if X1 X2 X3 mark X2 a__f X a__if mark X c f true mark f X a__f mark X mark f X a__f mark X mark false false a__f X a__if mark X c f true a__if false X Y mark Y mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__if X1 X2 X3 if X1 X2 X3 mark true true a__f X f X mark c c a__if true X Y mark X mark f X a__f mark X a__f X a__if mark X c f true mark if X1 X2 X3 mark X2 mark if X1 X2 X3 mark X1 mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__if true X Y mark X true a__f 1 1 2 false 0 1 c 0 0 true 0 0 f 1 1 2 mark 1 1 0 if 3 1 2 3 0 mark 1 1 0 a__if 3 1 2 0 a__f 1 1 1 a__if 3 1 2 3 0 a__if true X Y mark X mark if X1 X2 X3 a__if mark X1 mark X2 X3 mark if X1 X2 X3 mark X1 mark if X1 X2 X3 mark X2 mark f X a__f mark X mark false false a__f X a__if mark X c f true a__if false X Y mark Y mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__if X1 X2 X3 if X1 X2 X3 mark true true a__f X f X mark c c a__if true X Y mark X mark if X1 X2 X3 mark X2 mark if X1 X2 X3 mark X1 mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__if true X Y mark X true a__f 1 1 5857 false 0 1 c 0 4681 true 0 0 f 1 1 5857 mark 1 1 30613 if 3 1 4 2 2 3 0 0 mark 1 1 0 a__if 3 1 30616 2 30614 0 a__f 1 0 a__if 3 1 4 2 2 3 0 0 mark f X a__f mark X mark false false a__f X a__if mark X c f true a__if false X Y mark Y mark if X1 X2 X3 a__if mark X1 mark X2 X3 a__if X1 X2 X3 if X1 X2 X3 mark true true a__f X f X mark c c a__if true X Y mark X NaTT certifiable-1.6