適当な例

A = foo A'' = o
B = bar B'' = r
C = baz C'' = z
X = orz

こんな短い例だと、 A, B, C の部分文字列とかたかだか 7 通りしかないので、 7**3==343 通りくらい余裕で計算できる。

実際の A, B, C は 200-500 bytes くらいはある。