active f X mark if X c f true active if true X Y mark X active if false X Y mark Y mark f X active f mark X mark if X1 X2 X3 active if mark X1 mark X2 X3 mark c active c mark true active true mark false active false f mark X f X f active X f X if mark X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 2.2 mark c active c if X1 mark X2 X3 if X1 X2 X3 mark if X1 X2 X3 mark X2 f active X f X mark if X1 X2 X3 if mark X1 mark X2 X3 mark f X mark X mark if X1 X2 X3 mark X1 if X1 X2 active X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 mark if X1 X2 X3 active if mark X1 mark X2 X3 if mark X1 X2 X3 if X1 X2 X3 mark f X f mark X active f X if X c f true mark false active false mark f X active f mark X active f X mark if X c f true if X1 X2 mark X3 if X1 X2 X3 active if true X Y mark X mark true active true active if false X Y mark Y f mark X f X active f X f true true active if false X Y mark Y mark if X1 X2 X3 mark X1 active if true X Y mark X mark f X mark X active f X mark if X c f true mark f X active f mark X mark if X1 X2 X3 mark X2 mark if X1 X2 X3 active if mark X1 mark X2 X3 true false 0 8856 c 0 0 true 0 0 f 1 1 2438 mark 1 1 0 if 3 1 2 3 0 mark 1 1 0 f 1 0 active 1 1 0 if 3 0 active 1 1 0 mark if X1 X2 X3 active if mark X1 mark X2 X3 mark if X1 X2 X3 mark X2 mark f X active f mark X active f X mark if X c f true active if true X Y mark X mark if X1 X2 X3 mark X1 mark f X active f mark X if X1 active X2 X3 if X1 X2 X3 mark false active false active f X mark if X c f true active if false X Y mark Y if X1 X2 active X3 if X1 X2 X3 mark if X1 X2 X3 active if mark X1 mark X2 X3 f active X f X mark true active true if active X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 f mark X f X if X1 X2 mark X3 if X1 X2 X3 mark c active c active if true X Y mark X mark f X active f mark X active f X mark if X c f true mark if X1 X2 X3 mark X2 mark if X1 X2 X3 mark X1 mark if X1 X2 X3 active if mark X1 mark X2 X3 active if true X Y mark X true false 0 2438 c 0 16575 true 0 0 f 1 1 37816 mark 1 1 0 if 3 1 1 2 21240 3 0 0 mark 1 1 0 f 1 0 active 1 1 0 if 3 0 active 1 1 0 mark if X1 X2 X3 active if mark X1 mark X2 X3 active f X mark if X c f true mark f X active f mark X mark f X active f mark X if X1 active X2 X3 if X1 X2 X3 mark false active false active f X mark if X c f true active if false X Y mark Y if X1 X2 active X3 if X1 X2 X3 mark if X1 X2 X3 active if mark X1 mark X2 X3 f active X f X mark true active true if active X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 f mark X f X if X1 X2 mark X3 if X1 X2 X3 mark c active c active if true X Y mark X mark f X active f mark X active f X mark if X c f true mark if X1 X2 X3 active if mark X1 mark X2 X3 true false 0 1 c 0 1 true 0 1 f 1 21657 mark 1 21657 if 3 1 mark 1 1 f 1 0 active 1 2 if 3 0 active 1 1 0 active f X mark if X c f true mark f X active f mark X if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 f active X f X if active X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 f mark X f X if X1 X2 mark X3 if X1 X2 X3 mark f X active f mark X active f X mark if X c f true true false 0 1 c 0 1 true 0 1 f 1 1 19430 mark 1 1 0 if 3 19428 mark 1 591 f 1 0 active 1 592 if 3 0 active 1 19429 if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 mark true active true false mark if X1 X2 X3 if mark X1 mark X2 X3 false mark false active false false mark f X f mark X false f mark X f X f active X f X true false 0 1 c 0 35102 true 0 0 f 1 1 1 mark 1 1 0 if 3 0 mark 1 1 1 f 1 1 0 active 1 1 2 if 3 0 active 1 19429 if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 active f X if X c f true false active f X f true false mark c active c false if X1 X2 active X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 if X1 active X2 X3 if X1 X2 X3 true false 0 1 c 0 1 true 0 0 f 1 1 1 mark 1 1 0 if 3 0 mark 1 1 1 f 1 0 active 1 1 2 if 3 1 2 3 0 active 1 19429 if X1 active X2 X3 if X1 X2 X3 if X1 X2 active X3 if X1 X2 X3 if active X1 X2 X3 if X1 X2 X3 if X1 mark X2 X3 if X1 X2 X3 if mark X1 X2 X3 if X1 X2 X3 if X1 X2 mark X3 if X1 X2 X3 NaTT certifiable-1.6