>>651
時枝戦略がその通りではないから
その例では尻尾同値類も決定番号も出てきてないだろ