题目描述

薯条哥有两个长度相等的字符串，第一个字符串为$s$，第二个字符串为$t$ 。

薯条哥每次可以选择一个字符串的一个前缀，然后选择一个字母$c$ ，将选择的前缀的所有字母都变成$c$ 。

薯条哥想知道她最少要操作几次可以使得$s$和$t$相等。

输入描述

第一行输入一个长度不超过 $10^5$ 的字符串$s$ 。

第二行输入一个长度与 $s$ 相等的字符串 $t$ 。

输出描述

第一行输出一个整数$m$表示答案。

接下来$m$行，每行输出用空格隔开的 $i,j,c$ 表示选择第$i$ 个字符串的长度为$j$的前缀，将前缀所有字母变成$c$。

样例

输入

aabc
abcc

输出

2
2 3 b
2 2 a

说明

第1次操作选择第2个字符串的长度为3的前缀，将前缀所有字母变成 'b' ，字符串变成 "bbbc" 。
第2次操作选择第2个字符串的长度为2的前缀，将前缀所有字母变成 'a' ，字符串变成 "aabc" 。