p
q
1-{s0} E=2,F=1
360
96
1-{s0} E=2,F=1
1-{s0, s1, s3}{2}2-{s1, s3} E=6,F=6
315
100
1-{s0, s1, s3}{2}2-{s1, s3} E=6,F=6
1-{s0, s1}{2}2-{s1} E=6,F=6
272
111
1-{s0, s1}{2}2-{s1} E=6,F=6
1-{s3} E=2,F=1
231
131
1-{s3} E=2,F=1
1-{} E=6,F=6
195
157
1-{} E=6,F=6
1-{s2} E=6,F=6
164
190
1-{s2} E=6,F=6
1-{s0, s1, s2, s3, s4}{2, 3}2-{s2, s4}3-{s1, s3} E=6,F=6
139
227
1-{s0, s1, s2, s3, s4}{2, 3}2-{s2, s4}3-{s1, s3} E=6,F=6
1-{s0, s1, s4}{2, 3}2-{s4}3-{s1} E=6,F=6
122
268
1-{s0, s1, s4}{2, 3}2-{s4}3-{s1} E=6,F=6
1-{s2, s3} E=2,F=1
112
312
1-{s2, s3} E=2,F=1
1-{s2, s3}{2}2-{s3} E=6,F=6
110
357
1-{s2, s3}{2}2-{s3} E=6,F=6
1-{s0, s1, s2, s3, s4}{2, 3}2-{s2, s4}3-{s1, s3} E=3,F=6
116
401
1-{s0, s1, s2, s3, s4}{2, 3}2-{s2, s4}3-{s1, s3} E=3,F=6
1-{s0, s1, s4}{2, 3}2-{s4}3-{s1} E=3,F=6
130
444
1-{s0, s1, s4}{2, 3}2-{s4}3-{s1} E=3,F=6
1-{s0, s1, s2, s3, s4}{2, 3}2-{s2, s3, s4}{4}3-{s1}4-{s3} E=3,F=6
151
483
1-{s0, s1, s2, s3, s4}{2, 3}2-{s2, s3, s4}{4}3-{s1}4-{s3} E=3,F=6
1-{s0, s1, s2, s3, s4}{2, 3, 4}2-{s3, s4}{5}3-{s2}4-{s1}5-{s3} E=6,F=6
179
518
1-{s0, s1, s2, s3, s4}{2, 3, 4}2-{s3, s4}{5}3-{s2}4-{s1}5-{s3} E=6,F=6
1-{s0, s1, s2, s3, s4}{2, 3, 5}2-{s2, s4}{4}3-{s3}5-{s1}4-{s2} E=4,F=3
213
548
1-{s0, s1, s2, s3, s4}{2, 3, 5}2-{s2, s4}{4}3-{s3}5-{s1}4-{s2} E=4,F=3
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s3, s4}{3}4-{s1}3-{s3} E=3,F=4
251
571
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s3, s4}{3}4-{s1}3-{s3} E=3,F=4
1-{s0, s1, s2, s3, s4}{2, 3, 5}2-{s3, s4}{4}3-{s2}5-{s1}4-{s3} E=5,F=4
293
586
1-{s0, s1, s2, s3, s4}{2, 3, 5}2-{s3, s4}{4}3-{s2}5-{s1}4-{s3} E=5,F=4
1-{s0, s1, s2, s3, s4}{2, 3, 5}2-{s2, s4}{4}3-{s3}5-{s1}4-{s2} E=5,F=3
337
594
1-{s0, s1, s2, s3, s4}{2, 3, 5}2-{s2, s4}{4}3-{s3}5-{s1}4-{s2} E=5,F=3
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s3, s4}{3, 5}4-{s1}3-{s2}5-{s3} E=4,F=6
382
594
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s3, s4}{3, 5}4-{s1}3-{s2}5-{s3} E=4,F=6
1-{s0, s1, s2, s3, s4}{2, 5}2-{s2, s3, s4}{3, 4}5-{s1}3-{s3}4-{s2} E=4,F=3
426
586
1-{s0, s1, s2, s3, s4}{2, 5}2-{s2, s3, s4}{3, 4}5-{s1}3-{s3}4-{s2} E=4,F=3
1-{s0, s1, s2, s3, s4}{2, 5}2-{s2, s3, s4}{3, 4}5-{s1}3-{s2}4-{s3} E=5,F=4
468
571
1-{s0, s1, s2, s3, s4}{2, 5}2-{s2, s3, s4}{3, 4}5-{s1}3-{s2}4-{s3} E=5,F=4
1-{s0, s1, s2, s3, s4}{2, 5}2-{s2, s3, s4}{3, 4}5-{s1}3-{s3}4-{s2} E=5,F=3
506
548
1-{s0, s1, s2, s3, s4}{2, 5}2-{s2, s3, s4}{3, 4}5-{s1}3-{s3}4-{s2} E=5,F=3
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s3, s4}{3, 5}4-{s1}3-{s2}5-{s3} E=3,F=6
540
518
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s3, s4}{3, 5}4-{s1}3-{s2}5-{s3} E=3,F=6
1-{s0, s1, s2, s4}{2, 3}2-{s2, s4}3-{s1} E=6,F=6
568
483
1-{s0, s1, s2, s4}{2, 3}2-{s2, s4}3-{s1} E=6,F=6
1-{s2} E=2,F=1
589
444
1-{s2} E=2,F=1
1-{s0, s1, s3, s4}{2, 3}2-{s3, s4}{4}3-{s1}4-{s3} E=3,F=6
603
401
1-{s0, s1, s3, s4}{2, 3}2-{s3, s4}{4}3-{s1}4-{s3} E=3,F=6
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s4}{3}4-{s1, s3}3-{s2} E=3,F=6
609
357
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s4}{3}4-{s1, s3}3-{s2} E=3,F=6
1-{s0, s1, s2, s4}{2, 4}2-{s2, s4}{3}4-{s1}3-{s2} E=3,F=6
607
312
1-{s0, s1, s2, s4}{2, 4}2-{s2, s4}{3}4-{s1}3-{s2} E=3,F=6
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s3, s4}{3}4-{s1}3-{s3} E=4,F=3
597
268
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s3, s4}{3}4-{s1}3-{s3} E=4,F=3
1-{s0, s1, s3, s4}{2, 4}2-{s3, s4}{3}4-{s1}3-{s3} E=4,F=3
580
227
1-{s0, s1, s3, s4}{2, 4}2-{s3, s4}{3}4-{s1}3-{s3} E=4,F=3
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s4}{3}4-{s1, s3}3-{s2} E=4,F=6
555
190
1-{s0, s1, s2, s3, s4}{2, 4}2-{s2, s4}{3}4-{s1, s3}3-{s2} E=4,F=6
1-{s0, s1, s2, s4}{2, 4}2-{s2, s4}{3}4-{s1}3-{s2} E=4,F=6
524
157
1-{s0, s1, s2, s4}{2, 4}2-{s2, s4}{3}4-{s1}3-{s2} E=4,F=6
1-{s0, s1, s2, s3, s4}{2, 4, 5}2-{s3, s4}{3}4-{s2}5-{s1}3-{s3} E=6,F=3
488
131
1-{s0, s1, s2, s3, s4}{2, 4, 5}2-{s3, s4}{3}4-{s2}5-{s1}3-{s3} E=6,F=3
1-{s0, s1, s2, s3, s4}{2, 4, 5}2-{s2, s4}{3}4-{s3}5-{s1}3-{s2} E=5,F=4
447
111
1-{s0, s1, s2, s3, s4}{2, 4, 5}2-{s2, s4}{3}4-{s3}5-{s1}3-{s2} E=5,F=4
1-{s0, s1, s2, s3, s4}{2, 4, 5}2-{s3, s4}{3}4-{s2}5-{s1}3-{s3} E=5,F=3
404
100
1-{s0, s1, s2, s3, s4}{2, 4, 5}2-{s3, s4}{3}4-{s2}5-{s1}3-{s3} E=5,F=3
0
0
1
0
2
0
3
0
4
4
4
4
4
4
4
4
4
3
5
3
5
3
5
3
5
5
3
5
3
5
3
5
3
2
7
2
6
2
4
2
8
8
9
8
9
8
9
8
9
9
8
9
8
9
8
9
8
7
11
7
10
7
4
7
8
11
8
11
4
11
10
11
11
10
8
10
8
10
12
10
13
13
8
13
8
13
14
13
14
14
8
14
8
14
15
14
16
16
8
16
8
16
17
16
17
17
8
17
8
17
16
17
15
15
8
15
8
15
18
15
18
18
8
18
8
18
19
18
19
20
21
20
21
20
8
20
8
19
20
19
20
19
8
19
8
12
22
12
22
12
8
12
8
21
20
21
20
21
8
21
8
6
13
6
12
6
8
6
8
22
19
22
19
22
8
22
8
24
3
24
3
24
3
24
3
1
23
1
6
1
24
1
8
25
8
25
24
25
26
25
27
23
8
23
3
23
12
23
25
29
8
29
24
29
30
29
31
27
8
27
3
27
28
27
29
30
8
30
8
30
32
30
28
31
3
31
8
31
29
31
28
33
8
33
8
33
34
33
28
32
8
32
8
32
33
32
33
26
32
26
28
26
8
26
8
34
33
34
33
34
8
34
8
28
18
28
18
28
8
28
8
0
3
8
24
10
11
12
15
22
25
26
27
14
17
19
21
28
29
32
34
18
30
31
16
20
33
1
2
4
5
6
7
9
13
23