O |a1> => |a2>
O |a2> => |a3>
O |a3> => |a4>
O |a4> => |a5>
O |a5> => |a6>
O |a6> => |a7>
O |a7> => |a8>
O |a8> => |a9>
O |a9> => |a10>
O |a10> => |a1> + |b1>

O |b1> => |b2>
O |b2> => |b3>
O |b3> => |b4>
O |b4> => |b5>
O |b5> => |b6>
O |b6> => |b7>
O |b7> => |b1>

[ a1  ]   [ 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 ] [ a1  ]
[ a2  ]   [ 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] [ a2  ]
[ a3  ]   [ 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] [ a3  ]
[ a4  ]   [ 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 ] [ a4  ]
[ a5  ]   [ 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 ] [ a5  ]
[ a6  ]   [ 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 ] [ a6  ]
[ a7  ]   [ 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 ] [ a7  ]
[ a8  ]   [ 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 ] [ a8  ]
[ a9  ] = [ 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 ] [ a9  ]
[ a10 ]   [ 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 ] [ a10 ]
[ b1  ]   [ 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 ] [ b1  ]
[ b2  ]   [ 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 ] [ b2  ]
[ b3  ]   [ 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 ] [ b3  ]
[ b4  ]   [ 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 ] [ b4  ]
[ b5  ]   [ 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 ] [ b5  ]
[ b6  ]   [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 ] [ b6  ]
[ b7  ]   [ 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 ] [ b7  ]