|context> => |context: 2 matrix play>

-- In BKO:

M1 |x1> => 3|y2>
M1 |x2> => 7|y1> + 6|y2>
M1 |x3> => |y1> + 4|y2>
M1 |x4> => |y1> 
M1 |x5> => 6|y1> + 4|y2>
M1 |x6> => 4|y1> + 8|y2>
M1 |x7> => |y1> + 2|y2>

M2 |y1> => 6|z1> + 2|z2> + 7|z3> + 9|z4> + 5|z5>
M2 |y2> => 3|z2> + 4|z3> + |z5>

exit sw

y = M1 x
[ y1 ] = [ 0 7 1 1 6 4 1 ] [ x1 ]
[ y2 ]   [ 3 6 4 0 4 8 2 ] [ x2 ]
                           [ x3 ]
                           [ x4 ]
                           [ x5 ]
                           [ x6 ]
                           [ x7 ]

z = M2 y
[ z1 ]   [ 6 0 ] [ y1 ]
[ z2 ]   [ 2 3 ] [ y2 ]
[ z3 ] = [ 7 4 ]
[ z4 ]   [ 9 0 ]
[ z5 ]   [ 5 1 ]


z = M x
[ z1 ]   [ 0  42 6  6 36 24 6  ] [ x1 ]
[ z2 ]   [ 9  32 14 2 24 32 8  ] [ x2 ]
[ z3 ] = [ 12 73 23 7 58 60 15 ] [ x3 ]
[ z4 ]   [ 0  63 9  9 54 36 9  ] [ x4 ]
[ z5 ]   [ 3  41 9  5 34 28 7  ] [ x5 ]
                                 [ x6 ]
                                 [ x7 ]