---------------------------------------- |context> => |context: H I pat rec> supported-ops |letter: H> => |op: pixels> + |op: dim-1> + |op: dim-2> pixels |letter: H> => |pixel: 1: 1> + |pixel: 1: 5> + |pixel: 2: 1> + |pixel: 2: 5> + |pixel: 3: 1> + |pixel: 3: 5> + |pixel: 4: 1> + |pixel: 4: 2> + |pixel: 4: 3> + |pixel: 4: 4> + |pixel: 4: 5> + |pixel: 5: 1> + |pixel: 5: 5> + |pixel: 6: 1> + |pixel: 6: 5> + |pixel: 7: 1> + |pixel: 7: 5> dim-1 |letter: H> => |dimension: 5> dim-2 |letter: H> => |dimension: 7> supported-ops |noisy: H> => |op: pixels> + |op: dim-1> + |op: dim-2> pixels |noisy: H> => |pixel: 1: 5> + |pixel: 2: 1> + |pixel: 2: 5> + |pixel: 3: 1> + |pixel: 3: 5> + |pixel: 4: 1> + |pixel: 4: 2> + |pixel: 4: 3> + |pixel: 4: 5> + |pixel: 5: 1> + |pixel: 6: 1> + |pixel: 6: 5> + |pixel: 7: 1> + |pixel: 7: 5> dim-1 |noisy: H> => |dimension: 5> dim-2 |noisy: H> => |dimension: 7> supported-ops |noisy: H2> => |op: pixels> + |op: dim-1> + |op: dim-2> pixels |noisy: H2> => |pixel: 1: 1> + |pixel: 1: 5> + |pixel: 2: 1> + |pixel: 3: 1> + |pixel: 3: 3> + |pixel: 3: 4> + |pixel: 3: 5> + |pixel: 4: 1> + |pixel: 4: 2> + |pixel: 4: 3> + |pixel: 4: 4> + |pixel: 4: 5> + |pixel: 5: 1> + |pixel: 5: 2> + |pixel: 5: 5> + |pixel: 6: 1> + |pixel: 6: 5> + |pixel: 7: 1> + |pixel: 7: 2> + |pixel: 7: 3> + |pixel: 7: 5> dim-1 |noisy: H2> => |dimension: 5> dim-2 |noisy: H2> => |dimension: 7> supported-ops |letter: I> => |op: pixels> + |op: dim-1> + |op: dim-2> pixels |letter: I> => |pixel: 1: 1> + |pixel: 1: 2> + |pixel: 1: 3> + |pixel: 1: 4> + |pixel: 1: 5> + |pixel: 2: 3> + |pixel: 3: 3> + |pixel: 4: 3> + |pixel: 5: 3> + |pixel: 6: 3> + |pixel: 7: 1> + |pixel: 7: 2> + |pixel: 7: 3> + |pixel: 7: 4> + |pixel: 7: 5> dim-1 |letter: I> => |dimension: 5> dim-2 |letter: I> => |dimension: 7> supported-ops |noisy: I> => |op: pixels> + |op: dim-1> + |op: dim-2> pixels |noisy: I> => |pixel: 1: 1> + |pixel: 1: 2> + |pixel: 1: 3> + |pixel: 1: 4> + |pixel: 2: 3> + |pixel: 5: 3> + |pixel: 6: 3> + |pixel: 7: 1> + |pixel: 7: 3> + |pixel: 7: 4> + |pixel: 7: 5> dim-1 |noisy: I> => |dimension: 5> dim-2 |noisy: I> => |dimension: 7> supported-ops |noisy: I2> => |op: pixels> + |op: dim-1> + |op: dim-2> pixels |noisy: I2> => |pixel: 1: 1> + |pixel: 1: 2> + |pixel: 1: 5> + |pixel: 2: 2> + |pixel: 2: 3> + |pixel: 2: 4> + |pixel: 3: 3> + |pixel: 4: 3> + |pixel: 5: 3> + |pixel: 5: 4> + |pixel: 5: 5> + |pixel: 6: 1> + |pixel: 6: 2> + |pixel: 6: 3> + |pixel: 6: 4> + |pixel: 7: 1> + |pixel: 7: 2> + |pixel: 7: 3> + |pixel: 7: 4> + |pixel: 7: 5> dim-1 |noisy: I2> => |dimension: 5> dim-2 |noisy: I2> => |dimension: 7> supported-ops |letter: O> => |op: pixels> + |op: dim-1> + |op: dim-2> pixels |letter: O> => |pixel: 1: 1> + |pixel: 1: 2> + |pixel: 1: 3> + |pixel: 1: 4> + |pixel: 1: 5> + |pixel: 1: 6> + |pixel: 2: 1> + |pixel: 2: 6> + |pixel: 3: 1> + |pixel: 3: 6> + |pixel: 4: 1> + |pixel: 4: 6> + |pixel: 5: 1> + |pixel: 5: 6> + |pixel: 6: 1> + |pixel: 6: 6> + |pixel: 7: 1> + |pixel: 7: 2> + |pixel: 7: 3> + |pixel: 7: 4> + |pixel: 7: 5> + |pixel: 7: 6> dim-1 |letter: O> => |dimension: 6> dim-2 |letter: O> => |dimension: 7> supported-ops |phi: 1> => |op: pixels> pixels |phi: 1> => 1.7242022582228769|pixel: 1: 1> + 2.547731669987583|pixel: 1: 5> + 2.547731669987583|pixel: 2: 1> + 1.823529411764706|pixel: 2: 5> + 2.547731669987583|pixel: 3: 1> + 2.547731669987583|pixel: 3: 5> + 2.547731669987583|pixel: 4: 1> + 2.547731669987583|pixel: 4: 2> + 2.547731669987583|pixel: 4: 3> + 1.7242022582228769|pixel: 4: 4> + 2.547731669987583|pixel: 4: 5> + 2.547731669987583|pixel: 5: 1> + 1.7242022582228769|pixel: 5: 5> + 2.547731669987583|pixel: 6: 1> + 2.547731669987583|pixel: 6: 5> + 2.547731669987583|pixel: 7: 1> + 2.547731669987583|pixel: 7: 5> + 0.7242022582228769|pixel: 3: 3> + 0.7242022582228769|pixel: 3: 4> + 0.7242022582228769|pixel: 5: 2> + 0.7242022582228769|pixel: 7: 2> + 0.7242022582228769|pixel: 7: 3> supported-ops |phi: 2> => |op: pixels> pixels |phi: 2> => 1.7333333333333334|pixel: 1: 1> + 1.7333333333333334|pixel: 1: 2> + 1.7333333333333334|pixel: 1: 3> + 1.7333333333333334|pixel: 1: 4> + |pixel: 1: 5> + 1.7333333333333334|pixel: 2: 3> + |pixel: 3: 3> + |pixel: 4: 3> + 1.7333333333333334|pixel: 5: 3> + 1.7333333333333334|pixel: 6: 3> + 1.7333333333333334|pixel: 7: 1> + |pixel: 7: 2> + 1.7333333333333334|pixel: 7: 3> + 1.7333333333333334|pixel: 7: 4> + 1.7333333333333334|pixel: 7: 5> supported-ops |phi: 3> => |op: pixels> pixels |phi: 3> => |pixel: 1: 1> + |pixel: 1: 2> + |pixel: 1: 5> + |pixel: 2: 2> + |pixel: 2: 3> + |pixel: 2: 4> + |pixel: 3: 3> + |pixel: 4: 3> + |pixel: 5: 3> + |pixel: 5: 4> + |pixel: 5: 5> + |pixel: 6: 1> + |pixel: 6: 2> + |pixel: 6: 3> + |pixel: 6: 4> + |pixel: 7: 1> + |pixel: 7: 2> + |pixel: 7: 3> + |pixel: 7: 4> + |pixel: 7: 5> supported-ops |phi: 4> => |op: pixels> pixels |phi: 4> => |pixel: 1: 1> + |pixel: 1: 2> + |pixel: 1: 3> + |pixel: 1: 4> + |pixel: 1: 5> + |pixel: 1: 6> + |pixel: 2: 1> + |pixel: 2: 6> + |pixel: 3: 1> + |pixel: 3: 6> + |pixel: 4: 1> + |pixel: 4: 6> + |pixel: 5: 1> + |pixel: 5: 6> + |pixel: 6: 1> + |pixel: 6: 6> + |pixel: 7: 1> + |pixel: 7: 2> + |pixel: 7: 3> + |pixel: 7: 4> + |pixel: 7: 5> + |pixel: 7: 6> ----------------------------------------