!13 (no5, no11) i0 | 3 | 4 | 2 | !13 (no5, no11) i0 D2 | 3 | 4 | 2 | !13 (no5, no11) i0 D2 D3 | 1 | 2 | 2 | !13 (no5, no11) i0 D2 D3 D4 | x | 4 | 2 | !13 (no5, no11) i0 D2 D4 | x | 4 | 2 | !13 (no5, no11) i0 D2*2 | x | x | 3 | !13 (no5, no11) i0 D3 | 4 | 4 | 2 | !13 (no5, no11) i0 D3 D2*2 | x | x | 3 | !13 (no5, no11) i0 D3 D4 | x | x | 2 | !13 (no5, no11) i0 D4 | x | 4 | 2 | !13 (no5, no11) i1 D2 | 4 | x | 4 | !13 (no5, no11) i1 D2 D3 | 4 | 4 | 3 | !13 (no5, no11) i1 D2 D3 D4 | 4 | 3 | 2 | !13 (no5, no11) i1 D2 D3 D4 D5 | x | x | 4 | !13 (no5, no11) i1 D2 D4 | 4 | 3 | 2 | !13 (no5, no11) i1 D2 D4 D5 | x | x | 4 | !13 (no5, no11) i1 D3 | x | 4 | 3 | !13 (no5, no11) i1 D3 D4 | 4 | 4 | 2 | !13 (no5, no11) i1 D3 D4 D2*2 | x | x | 2 | !13 (no5, no11) i1 D4 | 1 | 1 | 2 | !13 (no5, no11) i1 D4 D2*2 | x | x | 2 | !13 (no5, no11) i2 | x | x | 2 | !13 (no5, no11) i2 D2 | x | x | 3 | !13 (no5, no11) i2 D2 D3 | 4 | x | 3 | !13 (no5, no11) i2 D2 D3 D4 | 3 | 3 | 2 | !13 (no5, no11) i2 D2 D3 D4 D5 | x | x | 4 | !13 (no5, no11) i2 D2 D4 | 2 | 1 | 2 | !13 (no5, no11) i2 D2 D4 D5 | x | x | 4 | !13 (no5, no11) i2 D2*2 | x | x | 2 | !13 (no5, no11) i2 D3 | 3 | 3 | 2 | !13 (no5, no11) i2 D3 D2*2 | x | x | 2 | !13 (no5, no11) i2 D3 D4 | x | 4 | 3 | !13 (no5, no11) i2 D3 D4 D2*2 | x | x | 3 | !13 (no5, no11) i2 D4 | 4 | 3 | 2 | !13 (no5, no11) i2 D4 D2*2 | x | x | 3 | !13 (no5, no11) i3 D2 | x | x | 3 | !13 (no5, no11) i3 D2 D3 | 3 | 4 | 2 | !13 (no5, no11) i3 D2 D3 D4 | 3 | 2 | 2 | !13 (no5, no11) i3 D2 D4 | 4 | 4 | 2 | !13 (no5, no11) i3 D2*2 | x | x | 2 | !13 (no5, no11) i3 D2*2 D5 | x | x | 4 | !13 (no5, no11) i3 D3 | x | x | 3 | !13 (no5, no11) i3 D3 D2*2 | 4 | 4 | 2 | !13 (no5, no11) i3 D3 D2*2 D5 | x | x | 4 | !13 (no5, no11) i3 D3 D4 D5 | x | x | 2 | !13 (no5, no11) i3 D3 D5 | x | x | 2 | !13 (no5, no11) i3 D4 D2*2 | x | x | 2 | !13 (no5, no11) i3 D4 D5 | x | x | 4 | !13 (no5, no11) i3 D5 | x | x | 3 | !13 (no5, no11) i4 | x | x | 2 | !13 (no5, no11) i4 D2 | x | x | 2 | !13 (no5, no11) i4 D2 D3 D4 D5 | x | x | 4 | !13 (no5, no11) i4 D2 D3 D5 | x | x | 3 | !13 (no5, no11) i4 D2 D3*2 | x | x | 3 | !13 (no5, no11) i4 D2 D4 | 3 | 4 | 2 | !13 (no5, no11) i4 D2 D4 D3*2 | x | x | 3 | !13 (no5, no11) i4 D2 D4 D5 | x | x | 3 | !13 (no5, no11) i4 D2 D5 | x | x | 3 | !13 (no5, no11) i4 D2*2 | x | x | 2 | !13 (no5, no11) i4 D2*2 D3*2 | x | x | 4 | !13 (no5, no11) i4 D2*2 D5 | x | x | 4 | !13 (no5, no11) i4 D3 | x | x | 3 | !13 (no5, no11) i4 D3 D2*2 | x | x | 3 | !13 (no5, no11) i4 D3 D2*2 D5 | x | x | 4 | !13 (no5, no11) i4 D3 D4 | x | 4 | 3 | !13 (no5, no11) i4 D3 D4 D5 | x | x | 3 | !13 (no5, no11) i4 D3 D5 | x | x | 3 | !13 (no5, no11) i4 D4 | 4 | 4 | 2 | !13 (no5, no11) i4 D4 D2*2 | x | x | 3 | !13 (no5, no11) i4 D5 | x | x | 4 | !7 5- i0 D2 | 4 | x | 2 | !7 5- i0 D2 D3 | 3 | 3 | 2 | !7 5- i0 D2 D3 D4 | 4 | 4 | 4 | !7 5- i0 D2 D3*2 | x | x | 2 | !7 5- i0 D2 D4 | 3 | 2 | 2 | !7 5- i0 D2 D4 D3*2 | x | x | 4 | !7 5- i0 D3 | 4 | x | 2 | !7 5- i0 D3 D2*2 | 4 | 3 | 2 | !7 5- i0 D3 D4 | 2 | 3 | 2 | !7 5- i0 D3 D4 D2*2 | 4 | 3 | x | !7 5- i0 D4 D2*2 | 4 | 3 | 4 | !7 5- i1 D2 | x | x | 4 | !7 5- i1 D2 D3 | 1 | 2 | 2 | !7 5- i1 D2 D3 D4 | 4 | 4 | 2 | !7 5- i1 D2 D3 D4*2 | x | x | 4 | !7 5- i1 D2 D3*2 | x | x | 4 | !7 5- i1 D2 D4 | 1 | 2 | 2 | !7 5- i1 D2 D4 D3*2 | x | x | 2 | !7 5- i1 D3 | x | x | 4 | !7 5- i1 D3 D2*2 | 3 | 3 | 2 | !7 5- i1 D3 D4 | 4 | x | 4 | !7 5- i1 D3 D4 D2*2 | 4 | 3 | x | !7 5- i1 D4 D2*2 | 2 | 1 | 2 | !7 5- i2 D2 | 4 | x | 2 | !7 5- i2 D2 D3 | 3 | 3 | 2 | !7 5- i2 D2 D3 D4 | 4 | 4 | 4 | !7 5- i2 D2 D3*2 | x | x | 2 | !7 5- i2 D2 D4 | 3 | 2 | 2 | !7 5- i2 D2 D4 D3*2 | x | x | 4 | !7 5- i2 D3 | 4 | x | 2 | !7 5- i2 D3 D2*2 | 4 | 3 | 2 | !7 5- i2 D3 D4 | 2 | 3 | 2 | !7 5- i2 D3 D4 D2*2 | 4 | 3 | x | !7 5- i2 D4 D2*2 | 4 | 3 | 4 | !7 5- i3 D2 | x | x | 4 | !7 5- i3 D2 D3 | 1 | 2 | 2 | !7 5- i3 D2 D3 D4 | 4 | 4 | 2 | !7 5- i3 D2 D3 D4*2 | x | x | 4 | !7 5- i3 D2 D3*2 | x | x | 4 | !7 5- i3 D2 D4 | 1 | 2 | 2 | !7 5- i3 D2 D4 D3*2 | x | x | 2 | !7 5- i3 D3 | x | x | 4 | !7 5- i3 D3 D2*2 | 3 | 3 | 2 | !7 5- i3 D3 D4 | 4 | x | 4 | !7 5- i3 D3 D4 D2*2 | 4 | 3 | x | !7 5- i3 D4 D2*2 | 2 | 1 | 2 | !7 9+ (no5) i0 | 4 | x | 2 | !7 9+ (no5) i0 D2 | 3 | 4 | 2 | !7 9+ (no5) i0 D2 D3 | 2 | 3 | 2 | !7 9+ (no5) i0 D2 D3 D4 | 4 | 3 | x | !7 9+ (no5) i0 D2 D4 | 3 | 2 | 2 | !7 9+ (no5) i0 D2*2 | x | 4 | 2 | !7 9+ (no5) i0 D3 | 2 | 2 | 2 |
| !7 9+ (no5) i0 D3 D2*2 | x | 4 | 3 | !7 9+ (no5) i0 D3 D4 | 4 | 3 | x | !7 9+ (no5) i0 D4 | x | x | 4 | !7 9+ (no5) i0 D4 D2*2 | x | x | 4 | !7 9+ (no5) i1 D2 D3 | x | x | 3 | !7 9+ (no5) i1 D2 D3 D4 | 3 | 3 | 3 | !7 9+ (no5) i1 D2 D4 | 2 | 1 | 2 | !7 9+ (no5) i1 D2 D4 D3*2 | x | x | 2 | !7 9+ (no5) i1 D3 D4 | 2 | 2 | 2 | !7 9+ (no5) i1 D3 D4 D2*2 | x | x | 2 | !7 9+ (no5) i2 | 4 | x | 2 | !7 9+ (no5) i2 D2 | 4 | 4 | 3 | !7 9+ (no5) i2 D2 D4 | x | x | 3 | !7 9+ (no5) i2 D3 | 2 | 3 | 2 | !7 9+ (no5) i2 D3 D2*2 | x | x | 3 | !7 9+ (no5) i2 D3 D4 | x | x | 3 | !7 9+ (no5) i3 | x | x | 3 | !7 9+ (no5) i3 D2 | 1 | 1 | 2 | !7 9+ (no5) i3 D2 D3 | 4 | 4 | 4 | !7 9+ (no5) i3 D2 D4 | 2 | 2 | 2 | !7 9+ (no5) i3 D3 D2*2 | x | x | 4 | !7 9- (no5) i0 | x | x | 3 | !7 9- (no5) i0 D2 | 4 | x | 2 | !7 9- (no5) i0 D2 D3 | 4 | 3 | 2 | !7 9- (no5) i0 D2 D3 D4 | 2 | 1 | 3 | !7 9- (no5) i0 D2 D4 | 1 | 1 | 2 | !7 9- (no5) i0 D2*2 | 4 | 4 | 3 | !7 9- (no5) i0 D3 | 3 | 3 | 2 | !7 9- (no5) i0 D3 D2*2 | 4 | 3 | 2 | !7 9- (no5) i0 D3 D4 | 4 | 3 | x | !7 9- (no5) i0 D4 | x | x | 4 | !7 9- (no5) i0 D4 D2*2 | x | x | 4 | !7 9- (no5) i1 D2 | 4 | 4 | 3 | !7 9- (no5) i1 D2 D3 | 3 | 3 | 2 | !7 9- (no5) i1 D2 D3 D4 | 4 | 4 | 4 | !7 9- (no5) i1 D2 D3*2 | x | x | 3 | !7 9- (no5) i1 D2 D4 | 3 | 2 | 2 | !7 9- (no5) i1 D2 D4 D3*2 | x | x | 4 | !7 9- (no5) i1 D2*2 | 4 | 3 | 2 | !7 9- (no5) i1 D2*2 D3*2 | x | x | 4 | !7 9- (no5) i1 D3 | 2 | 2 | 2 | !7 9- (no5) i1 D3 D2*2 | x | x | 3 | !7 9- (no5) i1 D3 D4 | 4 | 4 | 3 | !7 9- (no5) i1 D3*2 | x | x | 3 | !7 9- (no5) i2 | 4 | x | 3 | !7 9- (no5) i2 D2 | 4 | 3 | 2 | !7 9- (no5) i2 D2 D3 | 4 | 4 | 3 | !7 9- (no5) i2 D2 D4 | x | x | 2 | !7 9- (no5) i2 D3 | 2 | 3 | 2 | !7 9- (no5) i2 D3 D4 | x | x | 2 | !7 9- (no5) i3 | x | x | 2 | !7 9- (no5) i3 D2 | 2 | 2 | 2 | !7 9- (no5) i3 D2 D3 | 2 | 2 | 3 | !7 9- (no5) i3 D2 D4 | 2 | 1 | 2 | !7 9- (no5) i3 D3 | 1 | 2 | 2 | !7 9- (no5) i3 D3 D2*2 | x | x | 4 | !7 9- (no5) i3 D3 D4 | 4 | 3 | 3 | !7 9- (no5) i3 D4 | x | x | 3 | !7 add13 (no5) i0 | 3 | 2 | 2 | !7 add13 (no5) i0 D2 | 2 | 3 | 2 | !7 add13 (no5) i0 D2 D3 | x | 4 | 3 | !7 add13 (no5) i0 D3 | x | 4 | 2 | !7 add13 (no5) i1 | 4 | x | 3 | !7 add13 (no5) i1 D2 | 4 | 4 | x | !7 add13 (no5) i1 D2 D3 | 3 | 2 | 2 | !7 add13 (no5) i1 D2 D3 D4 | x | x | 2 | !7 add13 (no5) i1 D3 | 2 | 2 | 2 | !7 add13 (no5) i1 D3 D4 | x | x | 4 | !7 add13 (no5) i2 | 4 | x | 3 | !7 add13 (no5) i2 D2 | 2 | 2 | 2 | !7 add13 (no5) i2 D2 D3 | 2 | 1 | 3 | !7 add13 (no5) i2 D2 D4 | x | x | 2 | !7 add13 (no5) i2 D3 | 3 | 3 | 2 | !7 add13 (no5) i2 D3 D2*2 | x | x | 4 | !7 add13 (no5) i3 | 3 | 4 | 2 | !7 add13 (no5) i3 D2 | 4 | 4 | 3 | !7 add13 (no5) i3 D2 D3 | 4 | 4 | x | !7 add13 (no5) i3 D2 D4 | x | x | 3 | !7 add13 (no5) i3 D2*2 | x | x | 3 | !7 add13 (no5) i3 D3 | 4 | 3 | 2 | !7 add13 (no5) i3 D3 D2*2 | x | x | 4 | !7 add13 (no5) i3 D4 | x | x | 3 | !7 i0 D2 | 4 | x | 2 | !7 i0 D2 D3 | 2 | 2 | 2 | !7 i0 D2 D3 D4 | 3 | 3 | 3 | !7 i0 D2 D3*2 | x | x | 3 | !7 i0 D2 D4 | 3 | 2 | 2 | !7 i0 D2 D4 D3*2 | x | x | 3 | !7 i0 D3 | 4 | x | 2 | !7 i0 D3 D2*2 | 4 | 3 | 2 | !7 i0 D3 D4 | 2 | 3 | 3 | !7 i0 D3 D4 D2*2 | 4 | 3 | x | !7 i0 D4 D2*2 | 3 | 2 | 4 | !7 i1 D2 | x | x | 4 | !7 i1 D2 D3 | 2 | 3 | 2 | !7 i1 D2 D3 D4 | 4 | 4 | 2 | !7 i1 D2 D3 D4*2 | x | x | 4 | !7 i1 D2 D3*2 | x | x | 3 | !7 i1 D2 D4 | 1 | 1 | 2 | !7 i1 D2 D4 D3*2 | x | 4 | 2 | !7 i1 D3 | x | x | 4 | !7 i1 D3 D2*2 | 3 | 3 | 2 | !7 i1 D3 D4 | 4 | x | 3 | !7 i1 D3 D4 D2*2 | 3 | 2 | x | !7 i1 D4 D2*2 | 2 | 1 | 3 | !7 i2 D2 | x | x | 3 | !7 i2 D2 D3 | 3 | 3 | 3 | !7 i2 D2 D3 D4 | x | x | 4 | !7 i2 D2 D3*2 | x | x | 2 | !7 i2 D2 D4 | 2 | 1 | 2 | !7 i2 D2 D4 D3*2 | x | x | 4 | !7 i2 D3 | x | x | 3 | !7 i2 D3 D2*2 | 4 | 4 | 2 | !7 i2 D3 D4 | 3 | 4 | 2 | !7 i2 D3 D4 D2*2 | 4 | 3 | x | !7 i2 D4 D2*2 | 4 | 3 | 3 | !7 i3 D2 | x | x | 3 | !7 i3 D2 D3 | 1 | 1 | 2 | !7 i3 D2 D3 D4 | 4 | 4 | 3 | !7 i3 D2 D3*2 | x | x | 4 | !7 i3 D2 D4 | 2 | 2 | 2 | !7 i3 D2 D4 D3*2 | x | x | 3 | !7 i3 D3 | x | x | 3 |
| !7 i3 D3 D2*2 | 3 | 3 | 2 | !7 i3 D3 D4 | 3 | 4 | 4 | !7 i3 D3 D4 D2*2 | x | 4 | x | !7 i3 D4 D2*2 | 3 | 2 | 2 | !7+ i0 D2 | 3 | 4 | 1 | !7+ i0 D2 D3 | 2 | 2 | 1 | !7+ i0 D2 D3 D4 | 3 | 3 | 4 | !7+ i0 D2 D3*2 | x | x | 3 | !7+ i0 D2 D4 | 3 | 3 | 1 | !7+ i0 D2 D4 D3*2 | x | x | 4 | !7+ i0 D3 | 3 | 4 | 1 | !7+ i0 D3 D2*2 | 4 | 4 | 1 | !7+ i0 D3 D4 | 1 | 2 | 3 | !7+ i0 D3 D4 D2*2 | x | 4 | x | !7+ i0 D4 D2*2 | 4 | 3 | 4 | !7+ i1 D3 | x | x | 4 | !7+ i1 D3 D2*2 | 3 | 3 | 1 | !7+ i1 D3 D2*2 D4*2 | x | x | 4 | !7+ i1 D3 D4 | 4 | x | 4 | !7+ i1 D3 D4 D2*2 | 3 | 2 | 1 | !7+ i1 D4 D2*2 | 1 | 0 | 3 | !7+ i1 D4 D2*2 D3*2 | x | x | 1 | !7+ i2 D2 | x | x | 3 | !7+ i2 D2 D3 | 4 | 4 | 3 | !7+ i2 D2 D3 D4 | x | x | 4 | !7+ i2 D2 D4 | 2 | 1 | 1 | !7+ i2 D3 D2*2 | 4 | 4 | 1 | !7+ i2 D3 D4 D2*2 | 4 | 3 | x | !7+ i2 D4 D2*2 | 4 | 3 | 4 | !7+ i2 D4 D3*2 | x | x | 1 | !7+ i3 D2 | x | x | 4 | !7+ i3 D2 D3 | 2 | 2 | 1 | !7+ i3 D2 D3 D4 | x | x | 3 | !7+ i3 D2 D3*2 | x | x | 4 | !7+ i3 D2 D4 D3*2 | x | x | 3 | !7+ i3 D2*2 D4*2 | x | x | 4 | !7+ i3 D3 | x | x | 4 | !7+ i3 D3 D2*2 | 3 | 4 | 1 | !7+ i3 D3 D4 | 4 | x | 4 | !7+ i3 D3 D4 D2*2 | x | 4 | x | !9 (no5) i0 | x | x | 2 | !9 (no5) i0 D2 | 4 | 4 | 2 | !9 (no5) i0 D2 D3 | 3 | 4 | 2 | !9 (no5) i0 D2 D3 D4 | 3 | 2 | 4 | !9 (no5) i0 D2 D4 | 2 | 1 | 2 | !9 (no5) i0 D2*2 | 4 | 4 | 2 | !9 (no5) i0 D3 | 2 | 3 | 2 | !9 (no5) i0 D3 D2*2 | 4 | 4 | 2 | !9 (no5) i0 D3 D4 | 4 | 3 | x | !9 (no5) i0 D4 | x | x | 4 | !9 (no5) i0 D4 D2*2 | x | x | 4 | !9 (no5) i1 D2 | 3 | 4 | 2 | !9 (no5) i1 D2 D3 | 4 | 4 | 2 | !9 (no5) i1 D2 D3 D4 | 3 | 3 | 4 | !9 (no5) i1 D2 D3*2 | x | x | 2 | !9 (no5) i1 D2 D4 | 2 | 1 | 2 | !9 (no5) i1 D2 D4 D3*2 | x | x | 4 | !9 (no5) i1 D2*2 | 4 | 4 | 2 | !9 (no5) i1 D2*2 D3*2 | x | x | 4 | !9 (no5) i1 D3 | 1 | 2 | 2 | !9 (no5) i1 D3 D2*2 | x | 4 | 2 | !9 (no5) i1 D3 D4 | 3 | 3 | 2 | !9 (no5) i1 D3*2 | x | x | 4 | !9 (no5) i2 | 4 | x | 2 | !9 (no5) i2 D2 | 4 | 3 | 2 | !9 (no5) i2 D2 D3 | 3 | 4 | 2 | !9 (no5) i2 D2 D4 | x | x | 2 | !9 (no5) i2 D2*2 | x | x | 4 | !9 (no5) i2 D3 | 2 | 3 | 2 | !9 (no5) i2 D3 D4 | x | x | 2 | !9 (no5) i3 | x | x | 2 | !9 (no5) i3 D2 | 1 | 1 | 2 | !9 (no5) i3 D2 D3 | 3 | 3 | 4 | !9 (no5) i3 D2 D4 | 2 | 1 | 2 | !9 (no5) i3 D3 | 2 | 3 | 2 | !9 (no5) i3 D3 D2*2 | x | x | 4 | !9 (no5) i3 D3 D4 | 3 | 3 | 2 | !9 (no5) i3 D4 | x | x | 4 | !dim i0 D2 D3 D4 | 4 | 4 | 3 | !dim i0 D2 D4 | 2 | 1 | 3 | !dim i0 D3 D4 | 3 | 4 | 3 | !dim i2 D2 | x | x | 3 | !dim i2 D3 D2*2 | 4 | 4 | 3 | !dim i2 D3 D4 D2*2 | 4 | 3 | x | !dim i2 D4 D2*2 | 3 | 2 | 3 | !dim i3 D2 D3 | 2 | 2 | 3 | !dim i3 D2 D3*2 | x | x | 3 | !dim i3 D2 D4 D3*2 | x | x | 3 | !dim i3 D3 | x | x | 3 | !m7 5- i0 D2 | 4 | x | 2 | !m7 5- i0 D2 D3 | 2 | 2 | 2 | !m7 5- i0 D2 D3 D4 | 4 | 4 | 4 | !m7 5- i0 D2 D3*2 | x | x | 3 | !m7 5- i0 D2 D4 | 3 | 2 | 2 | !m7 5- i0 D2 D4 D3*2 | x | x | 4 | !m7 5- i0 D3 | 4 | x | 2 | !m7 5- i0 D3 D2*2 | 4 | 4 | 2 | !m7 5- i0 D3 D4 | 2 | 3 | 3 | !m7 5- i0 D3 D4 D2*2 | x | 4 | x | !m7 5- i0 D4 D2*2 | 4 | 3 | 3 | !m7 5- i1 D2 | x | x | 3 | !m7 5- i1 D2 D3 | 1 | 2 | 2 | !m7 5- i1 D2 D3 D4 | 3 | 4 | 2 | !m7 5- i1 D2 D3*2 | x | x | 4 | !m7 5- i1 D2 D4 | 2 | 2 | 2 | !m7 5- i1 D2 D4 D3*2 | x | x | 2 | !m7 5- i1 D3 | x | x | 3 | !m7 5- i1 D3 D2*2 | 3 | 3 | 2 | !m7 5- i1 D3 D4 | 3 | 4 | 4 | !m7 5- i1 D3 D4 D2*2 | 4 | 3 | x | !m7 5- i1 D4 D2*2 | 2 | 1 | 3 | !m7 5- i2 D2 | x | x | 3 | !m7 5- i2 D2 D3 | 3 | 3 | 3 | !m7 5- i2 D2 D3 D4 | 4 | 4 | 3 | !m7 5- i2 D2 D3*2 | x | 4 | 2 | !m7 5- i2 D2 D4 | 2 | 1 | 2 | !m7 5- i2 D2 D4 D3*2 | x | 4 | 3 | !m7 5- i2 D3 | x | x | 3 | !m7 5- i2 D3 D2*2 | 3 | 3 | 2 | !m7 5- i2 D3 D4 | 3 | 4 | 2 | !m7 5- i2 D3 D4 D2*2 | 3 | 2 | x | !m7 5- i2 D4 D2*2 | 3 | 2 | 4 | !m7 5- i3 D2 | x | x | 4 |
| !m7 5- i3 D2 D3 | 2 | 2 | 2 | !m7 5- i3 D2 D3 D4 | x | x | 3 | !m7 5- i3 D2 D3 D4*2 | x | x | 4 | !m7 5- i3 D2 D3*2 | x | x | 3 | !m7 5- i3 D2 D4 | 1 | 1 | 2 | !m7 5- i3 D2 D4 D3*2 | x | x | 3 | !m7 5- i3 D3 | x | x | 4 | !m7 5- i3 D3 D2*2 | 4 | 3 | 2 | !m7 5- i3 D3 D4 | 4 | x | 3 | !m7 5- i3 D3 D4 D2*2 | 4 | 3 | x | !m7 5- i3 D4 D2*2 | 3 | 2 | 2 | !m7 i0 D2 | 4 | x | 2 | !m7 i0 D2 D3 | 1 | 1 | 2 | !m7 i0 D2 D3 D4 | 3 | 3 | 3 | !m7 i0 D2 D3*2 | x | x | 4 | !m7 i0 D2 D4 | 3 | 2 | 2 | !m7 i0 D2 D4 D3*2 | x | x | 3 | !m7 i0 D3 | 4 | x | 2 | !m7 i0 D3 D2*2 | 3 | 3 | 2 | !m7 i0 D3 D4 | 2 | 3 | 4 | !m7 i0 D3 D4 D2*2 | x | 4 | x | !m7 i0 D4 D2*2 | 3 | 2 | 3 | !m7 i1 D2 | x | x | 3 | !m7 i1 D2 D3 | 2 | 3 | 2 | !m7 i1 D2 D3 D4 | 3 | 4 | 2 | !m7 i1 D2 D3*2 | x | x | 3 | !m7 i1 D2 D4 | 2 | 2 | 2 | !m7 i1 D2 D4 D3*2 | x | 4 | 2 | !m7 i1 D3 | x | x | 3 | !m7 i1 D3 D2*2 | 3 | 3 | 2 | !m7 i1 D3 D4 | 3 | 4 | 3 | !m7 i1 D3 D4 D2*2 | 3 | 2 | x | !m7 i1 D4 D2*2 | 2 | 1 | 4 | !m7 i2 D2 | x | x | 4 | !m7 i2 D2 D3 | 3 | 3 | 3 | !m7 i2 D2 D3 D4 | x | x | 3 | !m7 i2 D2 D3 D4*2 | x | x | 4 | !m7 i2 D2 D3*2 | x | 4 | 2 | !m7 i2 D2 D4 | 1 | 0 | 2 | !m7 i2 D2 D4 D3*2 | x | 4 | 3 | !m7 i2 D3 | x | x | 4 | !m7 i2 D3 D2*2 | 3 | 3 | 2 | !m7 i2 D3 D4 | 4 | 4 | 2 | !m7 i2 D3 D4 D2*2 | 3 | 2 | x | !m7 i2 D4 D2*2 | 3 | 2 | 3 | !m7 i3 D2 | x | x | 3 | !m7 i3 D2 D3 | 2 | 2 | 2 | !m7 i3 D2 D3 D4 | x | x | 4 | !m7 i3 D2 D3*2 | x | x | 3 | !m7 i3 D2 D4 | 2 | 2 | 2 | !m7 i3 D2 D4 D3*2 | x | x | 4 | !m7 i3 D3 | x | x | 3 | !m7 i3 D3 D2*2 | 4 | 4 | 2 | !m7 i3 D3 D4 | 3 | 4 | 3 | !m7 i3 D3 D4 D2*2 | x | 4 | x | !m7 i3 D4 D2*2 | 4 | 3 | 2 | 13 (no5, no11) i0 | 3 | 2 | 2 | 13 (no5, no11) i0 D2 | 3 | 4 | 2 | 13 (no5, no11) i0 D2 D4 | x | 4 | x | 13 (no5, no11) i0 D3 | 4 | 4 | 4 | 13 (no5, no11) i1 | 4 | x | 3 | 13 (no5, no11) i1 D2 | 4 | x | 3 | 13 (no5, no11) i1 D2 D4 | 4 | 3 | x | 13 (no5, no11) i1 D3 | x | x | 4 | 13 (no5, no11) i1 D4 | x | x | 4 | 13 (no5, no11) i2 | 2 | 2 | 2 | 13 (no5, no11) i2 D2 D3 | x | 4 | x | 13 (no5, no11) i2 D2 D4 | 3 | 3 | 4 | 13 (no5, no11) i2 D2*2 | x | x | 2 | 13 (no5, no11) i2 D3 | 2 | 3 | 3 | 13 (no5, no11) i2 D4 | x | x | 4 | 13 (no5, no11) i3 | x | x | 3 | 13 (no5, no11) i3 D2 | 4 | 4 | 2 | 13 (no5, no11) i3 D2 D3 | x | 4 | x | 13 (no5, no11) i3 D2 D4 | 2 | 1 | 4 | 13 (no5, no11) i3 D2*2 | 4 | 4 | 4 | 13 (no5, no11) i3 D3 | 4 | x | x | 13 (no5, no11) i3 D5 | x | x | 2 | 13 (no5, no11) i4 | 2 | 3 | 3 | 13 (no5, no11) i4 D2 | 4 | 4 | 3 | 13 (no5, no11) i4 D2 D4 | 4 | 4 | x | 13 (no5, no11) i4 D2*2 | x | 4 | x | 7 5- i0 | 4 | x | 2 | 7 5- i0 D2 | 1 | 1 | 2 | 7 5- i0 D2*2 | 4 | 3 | x | 7 5- i0 D3 | 2 | 2 | 2 | 7 5- i0 D4 | 3 | 4 | 4 | 7 5- i1 | x | x | 4 | 7 5- i1 D2 | 2 | 3 | 2 | 7 5- i1 D2 D3 | 4 | 4 | x | 7 5- i1 D2 D4 | x | 4 | x | 7 5- i1 D2*2 | 3 | 3 | x | 7 5- i1 D3 | 2 | 3 | 2 | 7 5- i1 D4 | 4 | 4 | 2 | 7 5- i2 | 4 | x | 2 | 7 5- i2 D2 | 1 | 1 | 2 | 7 5- i2 D2*2 | 4 | 3 | x | 7 5- i2 D3 | 2 | 2 | 2 | 7 5- i2 D4 | 3 | 4 | 4 | 7 5- i3 | x | x | 4 | 7 5- i3 D2 | 2 | 3 | 2 | 7 5- i3 D2 D3 | 4 | 4 | x | 7 5- i3 D2 D4 | x | 4 | x | 7 5- i3 D2*2 | 3 | 3 | x | 7 5- i3 D3 | 2 | 3 | 2 | 7 5- i3 D4 | 4 | 4 | 2 | 7 9+ (no5) i0 | 1 | 1 | 3 | 7 9+ (no5) i0 D2 | 4 | 4 | 4 | 7 9+ (no5) i0 D3 | 4 | x | x | 7 9+ (no5) i0 D4 | 3 | 2 | x | 7 9+ (no5) i1 D2 | 3 | 4 | 3 | 7 9+ (no5) i1 D3 | x | x | 4 | 7 9+ (no5) i1 D4 | 4 | 4 | 3 | 7 9+ (no5) i2 | 3 | 3 | 3 | 7 9+ (no5) i2 D2*2 | x | x | 3 | 7 9+ (no5) i2 D3 | 3 | 4 | 3 | 7 9+ (no5) i3 | 3 | 4 | 3 | 7 9+ (no5) i3 D2 | 3 | 3 | 3 | 7 9+ (no5) i3 D4 | 3 | 4 | x | 7 9- (no5) i0 | 1 | 2 | 2 | 7 9- (no5) i0 D2 | 4 | 4 | 4 | 7 9- (no5) i0 D2*2 | 4 | 4 | x | 7 9- (no5) i0 D4 | 3 | 2 | x |
| 7 9- (no5) i1 | 4 | 4 | 2 | 7 9- (no5) i1 D2 | 3 | 4 | 2 | 7 9- (no5) i1 D3 | x | x | 4 | 7 9- (no5) i2 | 4 | 4 | 4 | 7 9- (no5) i2 D2 | 2 | 1 | 2 | 7 9- (no5) i2 D3 | 3 | 3 | 2 | 7 9- (no5) i3 | 3 | 4 | 2 | 7 9- (no5) i3 D2 | 4 | 4 | x | 7 9- (no5) i3 D3 | 3 | 3 | x | 7 9- (no5) i3 D4 | 3 | 3 | x | 7 add13 (no5) i0 | 2 | 1 | 2 | 7 add13 (no5) i0 D2 | 1 | 2 | 3 | 7 add13 (no5) i0 D3 | x | 4 | x | 7 add13 (no5) i1 | 4 | 4 | 3 | 7 add13 (no5) i1 D2 | 4 | 4 | x | 7 add13 (no5) i1 D3 | 1 | 1 | 2 | 7 add13 (no5) i2 | 1 | 2 | 2 | 7 add13 (no5) i2 D3 | 4 | 3 | x | 7 add13 (no5) i2 D4 | x | x | 2 | 7 add13 (no5) i3 | 2 | 3 | 2 | 7 i0 | 4 | x | 2 | 7 i0 D2 | 1 | 1 | 3 | 7 i0 D2*2 | 3 | 2 | x | 7 i0 D3 | 2 | 2 | 3 | 7 i0 D4 | 3 | 4 | 4 | 7 i1 | x | x | 4 | 7 i1 D2 | 1 | 2 | 2 | 7 i1 D2 D3 | 4 | 4 | x | 7 i1 D2 D3*2 | x | 4 | x | 7 i1 D2 D4 | x | 4 | x | 7 i1 D2*2 | 3 | 3 | x | 7 i1 D3 | 2 | 3 | 3 | 7 i1 D4 | 4 | x | 3 | 7 i2 | x | x | 3 | 7 i2 D2 | 2 | 2 | 2 | 7 i2 D2*2 | 4 | 4 | x | 7 i2 D3 | 1 | 2 | 2 | 7 i2 D4 | 3 | 4 | 3 | 7 i3 | x | x | 3 | 7 i3 D2 | 2 | 3 | 3 | 7 i3 D2*2 | 3 | 3 | x | 7 i3 D3 | 1 | 2 | 2 | 7 i3 D4 | 3 | 4 | 2 | 7+ i0 | 3 | 4 | 1 | 7+ i0 D2 | 2 | 2 | 3 | 7+ i0 D2*2 | 4 | 3 | x | 7+ i0 D3 | 2 | 2 | 3 | 7+ i0 D4 | 2 | 3 | 4 | 7+ i1 | x | x | 4 | 7+ i1 D2*2 | 2 | 2 | 1 | 7+ i1 D3 | 3 | 4 | 3 | 7+ i1 D4 | 4 | x | 3 | 7+ i2 | x | x | 3 | 7+ i2 D2 | 2 | 2 | 1 | 7+ i2 D2*2 | 4 | 4 | x | 7+ i2 D3*2 | x | x | 1 | 7+ i2 D4 | 4 | x | 4 | 7+ i3 | x | x | 4 | 7+ i3 D2 | 3 | 4 | 3 | 7+ i3 D2*2 | 4 | 4 | x | 7+ i3 D3 | 1 | 2 | 1 | 9 (no5) i0 | 1 | 1 | 2 | 9 (no5) i0 D2 | 4 | 4 | 4 | 9 (no5) i0 D4 | 3 | 2 | x | 9 (no5) i1 | 3 | 4 | 2 | 9 (no5) i1 D2 | 3 | 4 | 2 | 9 (no5) i1 D2*2 | x | 4 | x | 9 (no5) i1 D3 | x | x | 4 | 9 (no5) i2 | 3 | 3 | 4 | 9 (no5) i2 D2 | 1 | 1 | 2 | 9 (no5) i2 D3 | 3 | 4 | 2 | 9 (no5) i3 | 3 | 4 | 2 | 9 (no5) i3 D2 | 3 | 3 | 4 | 9 (no5) i3 D3 | 3 | 3 | 4 | 9 (no5) i3 D4 | 3 | 3 | x | dim i0 | x | x | 3 | dim i0 D4 | 3 | 4 | 3 | dim i2 D2 | 1 | 2 | 3 | dim i2 D2*2 | 3 | 3 | x | dim i3 D3 | 1 | 2 | 3 | m7 5- i0 | 4 | x | 2 | m7 5- i0 D2 | 2 | 2 | 3 | m7 5- i0 D2*2 | 4 | 3 | x | m7 5- i0 D3 | 1 | 1 | 3 | m7 5- i0 D4 | 2 | 3 | 3 | m7 5- i1 | x | x | 3 | m7 5- i1 D2 | 1 | 2 | 2 | m7 5- i1 D2 D3 | 4 | 4 | x | m7 5- i1 D2 D4 | x | 4 | x | m7 5- i1 D2*2 | 2 | 2 | x | m7 5- i1 D3 | 2 | 3 | 3 | m7 5- i1 D4 | 3 | 4 | 3 | m7 5- i2 | x | x | 3 | m7 5- i2 D2 | 1 | 1 | 2 | m7 5- i2 D2*2 | 3 | 3 | x | m7 5- i2 D3 | 2 | 3 | 2 | m7 5- i2 D4 | 4 | x | 4 | m7 5- i3 | x | x | 4 | m7 5- i3 D2 | 2 | 3 | 3 | m7 5- i3 D2*2 | 4 | 4 | x | m7 5- i3 D3 | 1 | 2 | 2 | m7 5- i3 D4 | 4 | 4 | 2 | m7 i0 | 4 | x | 2 | m7 i0 D2 | 2 | 2 | 3 | m7 i0 D2*2 | 3 | 2 | x | m7 i0 D3 | 2 | 2 | 3 | m7 i0 D4 | 2 | 3 | 3 | m7 i1 | x | x | 3 | m7 i1 D2 | 0 | 1 | 2 | m7 i1 D2 D3 | 4 | 4 | x | m7 i1 D2 D3*2 | x | 4 | x | m7 i1 D2 D4 | x | 4 | x | m7 i1 D2*2 | 2 | 2 | x | m7 i1 D3 | 2 | 3 | 3 | m7 i1 D4 | 4 | x | 4 | m7 i2 | x | x | 4 | m7 i2 D2 | 2 | 2 | 2 | m7 i2 D2*2 | 4 | 4 | x | m7 i2 D3 | 2 | 3 | 2 | m7 i2 D4 | 4 | x | 3 | m7 i3 | x | x | 3 | m7 i3 D2 | 2 | 3 | 3 | m7 i3 D2*2 | 4 | 4 | x |
| |