g A A g B A g B B g C A g C B g C C foldB t 0 t foldB t s n f foldB t n B foldC t 0 t foldC t s n f foldC t n C f t x f' t g x f' triple a b c C triple a b s c f' triple a b c B f triple a b c A f' triple a b c A f'' foldB triple s a 0 c b f'' triple a b c foldC triple a b 0 c fold t x 0 t fold t x s n f fold t x n x 2.2 f t x f' t g x foldC t s n f foldC t n C fold t x s n fold t x n foldB t s n foldB t n f'' triple a b c foldC triple a b 0 c foldC t s n foldC t n foldB t s n f foldB t n B f' triple a b c A foldB triple s a 0 c b f t x g x f' triple a b c B f triple a b c A fold t x s n f fold t x n x f' triple a b c A f'' foldB triple s a 0 c b true fold t x s n fold t x n true s 1 1 1 foldC 2 0 f' 2 0 triple 3 0 C 0 0 f 2 0 B 0 0 foldB 2 0 fold 3 3 0 0 0 0 foldB 2 0 A 0 0 f 2 0 g 1 0 fold 3 0 f' 2 0 foldC 2 0 g 1 0 f'' 1 0 f'' 1 0 fold t x s n f fold t x n x false f' triple a b c A f'' foldB triple s a 0 c b f'' triple a b c foldC triple a b 0 c f' triple a b c B f triple a b c A foldB t s n foldB t n foldC t s n f foldC t n C f' triple a b c A foldB triple s a 0 c b foldB t s n f foldB t n B foldC t s n foldC t n f t x f' t g x true s 1 1 145146 foldC 2 1 2 0 f' 2 1 119705 triple 3 2 3 1 C 0 1 f 2 1 145146 B 0 3 foldB 2 1 2 22541 fold 3 0 0 0 48581 foldB 2 1 2 71123 A 0 5 f 2 1 119705 g 1 0 fold 3 0 f' 2 1 145146 foldC 2 1 2 25440 g 1 1 1 f'' 1 1 74024 f'' 1 1 48582 f t x f' t g x f' triple a b c B f triple a b c A f'' triple a b c foldC triple a b 0 c foldB t s n f foldB t n B foldC t s n f foldC t n C foldB t 0 t f' triple a b c A f'' foldB triple s a 0 c b f' triple a b c C triple a b s c f t x f' t g x foldC t 0 t f' triple a b c B f triple a b c A f t x f' t g x f' triple a b c B f triple a b c A true s 1 1 1 foldC 2 0 f' 2 2 119705 triple 3 1 C 0 31252 f 2 1 0 B 0 54889 foldB 2 1 2 39787 fold 3 0 0 0 12237 foldB 2 71123 A 0 31250 f 2 2 143343 g 1 0 fold 3 0 f' 2 1 0 foldC 2 1 0 g 1 1 23637 f'' 1 1 f'' 1 1 48582 g C A f'' triple a b c foldC triple a b 0 c foldB t s n f foldB t n B g A A g B B g C B foldC t s n f foldC t n C foldB t 0 t f' triple a b c A f'' foldB triple s a 0 c b f' triple a b c C triple a b s c f t x f' t g x foldC t 0 t f' triple a b c B f triple a b c A g C C g B A f t x g x false NaTT certifiable-1.6