SHUFFLE: 2, 2
The maximum state complexity of shuffle is: 7 and is obtained for:
(START) |- 0
0 a 1
0 b 0
1 a 0
1 b 0
0 -| (FINAL)

(START) |- 0
0 a 1
0 b 1
1 a 1
1 b 0
0 -| (FINAL)

(START) |- 0
0 a 1
0 b 2
1 a 3
1 b 3
2 a 4
2 b 2
3 a 4
3 b 5
4 a 3
4 b 6
5 a 6
5 b 3
6 a 6
6 b 6
0 -| (FINAL)
2 -| (FINAL)
3 -| (FINAL)
5 -| (FINAL)
6 -| (FINAL)


SHUFFLE: 3, 2
The maximum state complexity of shuffle is: 17 and is obtained for:
(START) |- 0
0 a 1
0 b 2
1 a 2
1 b 0
2 a 0
2 b 0
0 -| (FINAL)

(START) |- 0
0 a 1
0 b 1
1 a 1
1 b 0
0 -| (FINAL)

(START) |- 0
0 a 1
0 b 2
1 a 3
1 b 4
2 a 5
2 b 6
3 a 5
3 b 7
4 a 8
4 b 9
5 a 8
5 b 10
6 a 11
6 b 2
7 a 12
7 b 13
8 a 14
8 b 15
9 a 13
9 b 4
10 a 15
10 b 13
11 a 14
11 b 13
12 a 13
12 b 15
13 a 16
13 b 10
14 a 5
14 b 10
15 a 15
15 b 15
16 a 12
16 b 15
0 -| (FINAL)
4 -| (FINAL)
5 -| (FINAL)
6 -| (FINAL)
7 -| (FINAL)
10 -| (FINAL)
13 -| (FINAL)
15 -| (FINAL)
16 -| (FINAL)



SHUFFLE: 3, 3
The maximum state complexity of shuffle is: 35 and is obtained for:
(START) |- 0
0 a 1
0 b 2
1 a 2
1 b 0
2 a 0
2 b 2
1 -| (FINAL)

(START) |- 0
0 a 1
0 b 2
1 a 2
1 b 0
2 a 0
2 b 1
2 -| (FINAL)

(START) |- 0
0 a 1
0 b 2
1 a 3
1 b 4
2 a 4
2 b 5
3 a 4
3 b 6
4 a 7
4 b 8
5 a 9
5 b 10
6 a 9
6 b 11
7 a 3
7 b 12
8 a 13
8 b 14
9 a 15
9 b 16
10 a 17
10 b 18
11 a 17
11 b 19
12 a 20
12 b 19
13 a 21
13 b 22
14 a 23
14 b 11
15 a 21
15 b 24
16 a 25
16 b 26
17 a 27
17 b 28
18 a 28
18 b 29
19 a 28
19 b 14
20 a 30
20 b 26
21 a 30
21 b 31
22 a 32
22 b 16
23 a 27
23 b 17
24 a 32
24 b 33
25 a 27
25 b 34
26 a 34
26 b 22
27 a 27
27 b 27
28 a 27
28 b 23
29 a 23
29 b 10
30 a 15
30 b 33
31 a 34
31 b 24
32 a 27
32 b 25
33 a 25
33 b 31
34 a 27
34 b 32
4 -| (FINAL)
11 -| (FINAL)
12 -| (FINAL)
13 -| (FINAL)
15 -| (FINAL)
24 -| (FINAL)
25 -| (FINAL)
26 -| (FINAL)
27 -| (FINAL)
28 -| (FINAL)
30 -| (FINAL)
31 -| (FINAL)
32 -| (FINAL)





SHUFFLE: 4, 2
The maximum state complexity of shuffle is: 28 and is obtained for:
(START) |- 0
0 a 1
0 b 2
1 a 2
1 b 0
2 a 0
2 b 3
3 a 3
3 b 1
0 -| (FINAL)

(START) |- 0
0 a 1
0 b 0
1 a 0
1 b 0
1 -| (FINAL)

(START) |- 0
0 a 1
0 b 2
1 a 3
1 b 4
2 a 5
2 b 6
3 a 5
3 b 7
4 a 8
4 b 9
5 a 10
5 b 11
6 a 12
6 b 13
7 a 14
7 b 15
8 a 16
8 b 17
9 a 14
9 b 18
10 a 19
10 b 17
11 a 14
11 b 20
12 a 21
12 b 22
13 a 14
13 b 13
14 a 14
14 b 14
15 a 14
15 b 9
16 a 19
16 b 23
17 a 14
17 b 11
18 a 14
18 b 7
19 a 19
19 b 24
20 a 14
20 b 25
21 a 14
21 b 26
22 a 14
22 b 21
23 a 14
23 b 27
24 a 14
24 b 22
25 a 14
25 b 17
26 a 14
26 b 24
27 a 14
27 b 23
1 -| (FINAL)
5 -| (FINAL)
7 -| (FINAL)
8 -| (FINAL)
10 -| (FINAL)
12 -| (FINAL)
14 -| (FINAL)
17 -| (FINAL)
19 -| (FINAL)
21 -| (FINAL)
23 -| (FINAL)
24 -| (FINAL)
25 -| (FINAL)
26 -| (FINAL)


SHUFFLE: 4, 3
The maximum state complexity of shuffle is: 85 and is obtained for:
(START) |- 0
0 a 1
0 b 2
1 a 2
1 b 3
2 a 3
2 b 1
3 a 1
3 b 0
0 -| (FINAL)

(START) |- 0
0 a 1
0 b 2
1 a 2
1 b 0
2 a 0
2 b 2
2 -| (FINAL)

(START) |- 0
0 a 1
0 b 2
1 a 3
1 b 4
2 a 4
2 b 5
3 a 4
3 b 6
4 a 7
4 b 8
5 a 9
5 b 10
6 a 9
6 b 11
7 a 12
7 b 13
8 a 14
8 b 15
9 a 16
9 b 15
10 a 17
10 b 18
11 a 19
11 b 20
12 a 4
12 b 21
13 a 22
13 b 23
14 a 22
14 b 24
15 a 25
15 b 26
16 a 27
16 b 28
17 a 29
17 b 30
18 a 31
18 b 32
19 a 33
19 b 34
20 a 35
20 b 36
21 a 37
21 b 38
22 a 39
22 b 40
23 a 41
23 b 42
24 a 41
24 b 19
25 a 43
25 b 44
26 a 44
26 b 45
27 a 46
27 b 47
28 a 48
28 b 19
29 a 49
29 b 50
30 a 50
30 b 51
31 a 52
31 b 53
32 a 54
32 b 55
33 a 52
33 b 50
34 a 50
34 b 56
35 a 52
35 b 57
36 a 54
36 b 58
37 a 59
37 b 60
38 a 44
38 b 20
39 a 61
39 b 19
40 a 62
40 b 63
41 a 52
41 b 64
42 a 25
42 b 47
43 a 49
43 b 65
44 a 66
44 b 67
45 a 35
45 b 68
46 a 59
46 b 19
47 a 44
47 b 69
48 a 49
48 b 64
49 a 70
49 b 62
50 a 66
50 b 62
51 a 71
51 b 72
52 a 50
52 b 65
53 a 66
53 b 73
54 a 43
54 b 73
55 a 74
55 b 75
56 a 62
56 b 24
57 a 65
57 b 76
58 a 74
58 b 38
59 a 27
59 b 77
60 a 33
60 b 30
61 a 22
61 b 63
62 a 65
62 b 78
63 a 65
63 b 79
64 a 65
64 b 50
65 a 65
65 b 65
66 a 52
66 b 65
67 a 65
67 b 57
68 a 80
68 b 15
69 a 62
69 b 23
70 a 43
70 b 62
71 a 52
71 b 78
72 a 41
72 b 60
73 a 66
73 b 81
74 a 43
74 b 81
75 a 82
75 b 18
76 a 66
76 b 44
77 a 52
77 b 79
78 a 65
78 b 64
79 a 66
79 b 83
80 a 52
80 b 76
81 a 66
81 b 84
82 a 43
82 b 84
83 a 50
83 b 40
84 a 65
84 b 53
2 -| (FINAL)
3 -| (FINAL)
5 -| (FINAL)
6 -| (FINAL)
8 -| (FINAL)
10 -| (FINAL)
11 -| (FINAL)
12 -| (FINAL)
15 -| (FINAL)
18 -| (FINAL)
19 -| (FINAL)
20 -| (FINAL)
21 -| (FINAL)
22 -| (FINAL)
23 -| (FINAL)
24 -| (FINAL)
26 -| (FINAL)
27 -| (FINAL)
30 -| (FINAL)
32 -| (FINAL)
34 -| (FINAL)
36 -| (FINAL)
38 -| (FINAL)
39 -| (FINAL)
40 -| (FINAL)
42 -| (FINAL)
44 -| (FINAL)
45 -| (FINAL)
47 -| (FINAL)
49 -| (FINAL)
50 -| (FINAL)
51 -| (FINAL)
52 -| (FINAL)
53 -| (FINAL)
55 -| (FINAL)
56 -| (FINAL)
57 -| (FINAL)
58 -| (FINAL)
60 -| (FINAL)
62 -| (FINAL)
63 -| (FINAL)
64 -| (FINAL)
65 -| (FINAL)
67 -| (FINAL)
68 -| (FINAL)
69 -| (FINAL)
72 -| (FINAL)
73 -| (FINAL)
75 -| (FINAL)
76 -| (FINAL)
78 -| (FINAL)
79 -| (FINAL)
81 -| (FINAL)
83 -| (FINAL)
84 -| (FINAL)
