codes:= [ car | <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 0, 0, 2, 0, 0, 2, 2, 6 ], [ IntegerRing(8) | 0, 2, 2, 0, 6, 0, 2, 0 ], [ IntegerRing(8) | 0, 2, 0, 6, 0, 0, 2, 6 ], [ IntegerRing(8) | 0, 2, 0, 0, 6, 2, 0, 6 ], [ IntegerRing(8) | 0, 2, 0, 2, 0, 0, 6, 2 ], [ IntegerRing(8) | 2, 0, 0, 2, 0, 6, 0, 2 ], [ IntegerRing(8) | 0, 0, 2, 0, 0, 6, 6, 2 ], [ IntegerRing(8) | 6, 0, 0, 2, 0, 6, 0, 2 ] ]>, <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 0, 0, 1, 0, 7, 2, 3, 7 ], [ IntegerRing(8) | 7, 0, 0, 7, 2, 0, 3, 7 ], [ IntegerRing(8) | 0, 6, 0, 7, 7, 7, 3, 0 ], [ IntegerRing(8) | 7, 0, 1, 2, 0, 7, 3, 0 ], [ IntegerRing(8) | 6, 1, 7, 1, 2, 0, 7, 2 ], [ IntegerRing(8) | 0, 7, 7, 0, 3, 1, 6, 0 ], [ IntegerRing(8) | 7, 1, 1, 6, 2, 0, 6, 1 ], [ IntegerRing(8) | 6, 1, 6, 7, 1, 0, 6, 7 ] ]>, <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 0, 1, 7, 2, 0, 0, 5, 7 ], [ IntegerRing(8) | 7, 2, 2, 1, 7, 1, 6, 0 ], [ IntegerRing(8) | 7, 1, 7, 1, 7, 3, 7, 7 ], [ IntegerRing(8) | 5, 0, 0, 1, 1, 1, 6, 0 ], [ IntegerRing(8) | 7, 0, 2, 1, 1, 7, 2, 2 ], [ IntegerRing(8) | 2, 7, 3, 0, 0, 0, 1, 1 ], [ IntegerRing(8) | 0, 0, 2, 0, 6, 6, 2, 0 ], [ IntegerRing(8) | 1, 1, 1, 7, 7, 7, 1, 3 ] ]>, <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 7, 7, 7, 1, 7, 7, 5, 1 ], [ IntegerRing(8) | 0, 0, 0, 2, 2, 6, 6, 0 ], [ IntegerRing(8) | 7, 7, 1, 3, 7, 7, 7, 7 ], [ IntegerRing(8) | 0, 0, 2, 2, 0, 0, 6, 2 ], [ IntegerRing(8) | 0, 2, 2, 6, 2, 0, 0, 0 ], [ IntegerRing(8) | 7, 1, 7, 7, 3, 1, 1, 7 ], [ IntegerRing(8) | 2, 0, 0, 6, 2, 0, 0, 6 ], [ IntegerRing(8) | 1, 3, 7, 7, 1, 7, 1, 7 ] ]>, <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 2, 1, 0, 7, 2, 7, 1, 2 ], [ IntegerRing(8) | 2, 7, 2, 1, 2, 7, 1, 0 ], [ IntegerRing(8) | 2, 7, 7, 1, 0, 6, 2, 1 ], [ IntegerRing(8) | 0, 0, 2, 0, 0, 6, 2, 2 ], [ IntegerRing(8) | 6, 1, 2, 1, 0, 7, 7, 6 ], [ IntegerRing(8) | 0, 7, 1, 7, 0, 0, 6, 5 ], [ IntegerRing(8) | 6, 7, 0, 1, 2, 1, 7, 6 ], [ IntegerRing(8) | 0, 1, 1, 1, 0, 2, 0, 5 ] ]>, <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 7, 3, 1, 0, 6, 1, 0, 0 ], [ IntegerRing(8) | 6, 1, 0, 7, 6, 7, 2, 1 ], [ IntegerRing(8) | 7, 3, 6, 7, 0, 0, 1, 0 ], [ IntegerRing(8) | 5, 2, 0, 0, 0, 7, 7, 1 ], [ IntegerRing(8) | 6, 5, 0, 1, 0, 7, 0, 7 ], [ IntegerRing(8) | 0, 5, 1, 6, 0, 0, 1, 7 ], [ IntegerRing(8) | 1, 5, 7, 0, 6, 7, 0, 0 ], [ IntegerRing(8) | 0, 5, 0, 1, 0, 1, 2, 1 ] ]>, <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 1, 1, 1, 7, 7, 1, 3, 7 ], [ IntegerRing(8) | 1, 1, 6, 1, 0, 0, 3, 0 ], [ IntegerRing(8) | 1, 2, 1, 1, 0, 6, 2, 7 ], [ IntegerRing(8) | 6, 1, 0, 0, 7, 7, 3, 0 ], [ IntegerRing(8) | 7, 7, 6, 1, 6, 0, 7, 2 ], [ IntegerRing(8) | 1, 0, 5, 7, 0, 0, 6, 1 ], [ IntegerRing(8) | 1, 5, 6, 1, 0, 0, 7, 0 ], [ IntegerRing(8) | 1, 7, 7, 1, 1, 1, 7, 3 ] ]>, <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 6, 7, 7, 7, 2, 1, 0, 2 ], [ IntegerRing(8) | 6, 7, 1, 1, 2, 1, 2, 0 ], [ IntegerRing(8) | 6, 1, 1, 7, 0, 1, 2, 2 ], [ IntegerRing(8) | 0, 6, 0, 0, 0, 2, 2, 2 ], [ IntegerRing(8) | 2, 7, 7, 1, 0, 7, 2, 6 ], [ IntegerRing(8) | 0, 7, 1, 1, 0, 5, 0, 6 ], [ IntegerRing(8) | 2, 1, 1, 1, 2, 7, 0, 6 ], [ IntegerRing(8) | 0, 1, 7, 3, 0, 7, 0, 6 ] ]>, <[ RSpace(IntegerRing(8), 8) | [ IntegerRing(8) | 2, 1, 0, 7, 0, 7, 5, 0 ], [ IntegerRing(8) | 1, 1, 0, 2, 7, 7, 6, 6 ], [ IntegerRing(8) | 1, 0, 2, 7, 7, 6, 7, 6 ], [ IntegerRing(8) | 7, 7, 0, 0, 0, 6, 5, 7 ], [ IntegerRing(8) | 6, 7, 7, 2, 6, 1, 0, 1 ], [ IntegerRing(8) | 0, 0, 1, 3, 0, 2, 1, 1 ], [ IntegerRing(8) | 7, 2, 7, 2, 7, 0, 2, 1 ], [ IntegerRing(8) | 7, 1, 7, 1, 7, 3, 1, 7 ] ]> ] ; // #codes eq 9;