|
|
|
@ -180,531 +180,531 @@ u8_4tech normal_char_flags[] = {
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech main_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,320,352,352,384,416,352,448,480,512,
|
|
|
|
|
544,576,576,576,576,576,576,576,608,576,640,352,672,160,704,352,
|
|
|
|
|
352,736,736,736,736,736,736,768,768,768,768,768,800,768,768,768,
|
|
|
|
|
768,768,832,768,768,800,768,768,768,768,768,352,864,352,160,256,
|
|
|
|
|
32,736,736,736,736,896,736,768,768,768,768,768,768,768,768,768,
|
|
|
|
|
768,768,768,768,768,928,768,768,960,768,768,352,992,352,352, 32,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,330,363,363,396,429,363,462,495,528,
|
|
|
|
|
561,594,594,594,594,594,594,594,627,594,660,363,693,165,726,363,
|
|
|
|
|
363,759,759,759,759,759,759,792,792,792,792,792,825,792,792,792,
|
|
|
|
|
792,792,858,792,792,825,792,792,792,792,792,363,891,363,165,264,
|
|
|
|
|
33,759,759,759,759,924,759,792,792,792,792,792,792,792,792,792,
|
|
|
|
|
792,792,792,792,792,957,792,792,990,792,792,363,1023,363,363, 33,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_main_fsm_eq_classes = 32;
|
|
|
|
|
|
|
|
|
|
u8_4tech main_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
38, 33, 34, 35, 36, 37, 38, 38, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
3, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
65, 33, 34, 35, 36, 33, 65, 65, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 33, 33, 33, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 6, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
21, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 1, 5, 5, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
39, 34, 35, 36, 37, 38, 39, 39, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
3, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
67, 34, 35, 36, 37, 34, 67, 67, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 34, 34, 34, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 6, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
21, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 1, 5, 5, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech pp_include_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,320,352,352,384,416,352,448,480,512,
|
|
|
|
|
544,576,576,576,576,576,576,576,608,576,640,352,672,160,704,352,
|
|
|
|
|
352,736,736,736,736,736,736,768,768,768,768,768,800,768,768,768,
|
|
|
|
|
768,768,832,768,768,800,768,768,768,768,768,352,864,352,160,256,
|
|
|
|
|
32,736,736,736,736,896,736,768,768,768,768,768,768,768,768,768,
|
|
|
|
|
768,768,768,768,768,928,768,768,960,768,768,352,992,352,352, 32,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,330,363,363,396,429,363,462,495,528,
|
|
|
|
|
561,594,594,594,594,594,594,594,627,594,660,363,693,165,726,363,
|
|
|
|
|
363,759,759,759,759,759,759,792,792,792,792,792,825,792,792,792,
|
|
|
|
|
792,792,858,792,792,825,792,792,792,792,792,363,891,363,165,264,
|
|
|
|
|
33,759,759,759,759,924,759,792,792,792,792,792,792,792,792,792,
|
|
|
|
|
792,792,792,792,792,957,792,792,990,792,792,363,1023,363,363, 33,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_pp_include_fsm_eq_classes = 32;
|
|
|
|
|
|
|
|
|
|
u8_4tech pp_include_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
38, 33, 34, 35, 36, 37, 38, 38, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
2, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
65, 33, 34, 35, 36, 33, 65, 65, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 33, 33, 33, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 6, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
39, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 1, 5, 5, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
39, 34, 35, 36, 37, 38, 39, 39, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
2, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
67, 34, 35, 36, 37, 34, 67, 67, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 34, 34, 34, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 6, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
40, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 1, 5, 5, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech pp_macro_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,320,352,352,384,416,352,448,480,512,
|
|
|
|
|
544,576,576,576,576,576,576,576,608,576,640,352,672,160,704,352,
|
|
|
|
|
352,736,736,736,736,736,736,768,768,768,768,768,800,768,768,768,
|
|
|
|
|
768,768,832,768,768,800,768,768,768,768,768,352,864,352,160,256,
|
|
|
|
|
32,736,736,736,736,896,736,768,768,768,768,768,768,768,768,768,
|
|
|
|
|
768,768,768,768,768,928,768,768,960,768,768,352,992,352,352, 32,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,330,363,363,396,429,363,462,495,528,
|
|
|
|
|
561,594,594,594,594,594,594,594,627,594,660,363,693,165,726,363,
|
|
|
|
|
363,759,759,759,759,759,759,792,792,792,792,792,825,792,792,792,
|
|
|
|
|
792,792,858,792,792,825,792,792,792,792,792,363,891,363,165,264,
|
|
|
|
|
33,759,759,759,759,924,759,792,792,792,792,792,792,792,792,792,
|
|
|
|
|
792,792,792,792,792,957,792,792,990,792,792,363,1023,363,363, 33,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_pp_macro_fsm_eq_classes = 32;
|
|
|
|
|
|
|
|
|
|
u8_4tech pp_macro_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
38, 33, 34, 35, 36, 37, 38, 38, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
2, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
65, 33, 34, 35, 36, 33, 65, 65, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 33, 33, 33, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 6, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
21, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 1, 5, 5, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
39, 34, 35, 36, 37, 38, 39, 39, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
2, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
67, 34, 35, 36, 37, 34, 67, 67, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 34, 34, 34, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 6, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
21, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 1, 5, 5, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech pp_identifier_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,320,352,352,384,416,352,448,480,512,
|
|
|
|
|
544,576,576,576,576,576,576,576,608,576,640,352,672,160,704,352,
|
|
|
|
|
352,736,736,736,736,736,736,768,768,768,768,768,800,768,768,768,
|
|
|
|
|
768,768,832,768,768,800,768,768,768,768,768,352,864,352,160,256,
|
|
|
|
|
32,736,736,736,736,896,736,768,768,768,768,768,768,768,768,768,
|
|
|
|
|
768,768,768,768,768,928,768,768,960,768,768,352,992,352,352, 32,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,330,363,363,396,429,363,462,495,528,
|
|
|
|
|
561,594,594,594,594,594,594,594,627,594,660,363,693,165,726,363,
|
|
|
|
|
363,759,759,759,759,759,759,792,792,792,792,792,825,792,792,792,
|
|
|
|
|
792,792,858,792,792,825,792,792,792,792,792,363,891,363,165,264,
|
|
|
|
|
33,759,759,759,759,924,759,792,792,792,792,792,792,792,792,792,
|
|
|
|
|
792,792,792,792,792,957,792,792,990,792,792,363,1023,363,363, 33,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_pp_identifier_fsm_eq_classes = 32;
|
|
|
|
|
|
|
|
|
|
u8_4tech pp_identifier_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
38, 33, 34, 35, 36, 37, 38, 38, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
2, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
65, 33, 34, 35, 36, 33, 65, 65, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 33, 33, 33, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 6, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
21, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 1, 5, 5, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
39, 34, 35, 36, 37, 38, 39, 39, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
2, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
67, 34, 35, 36, 37, 34, 67, 67, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 34, 34, 34, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 6, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
21, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 1, 5, 5, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech pp_body_if_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,320,352,352,384,416,352,448,480,512,
|
|
|
|
|
544,576,576,576,576,576,576,576,608,576,640,352,672,160,704,352,
|
|
|
|
|
352,736,736,736,736,736,736,768,768,768,768,768,800,768,768,768,
|
|
|
|
|
768,768,832,768,768,800,768,768,768,768,768,352,864,352,160,256,
|
|
|
|
|
32,736,736,736,736,896,736,768,768,768,768,768,768,768,768,768,
|
|
|
|
|
768,768,768,768,768,928,768,768,960,768,768,352,992,352,352, 32,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,330,363,363,396,429,363,462,495,528,
|
|
|
|
|
561,594,594,594,594,594,594,594,627,594,660,363,693,165,726,363,
|
|
|
|
|
363,759,759,759,759,759,759,792,792,792,792,792,825,792,792,792,
|
|
|
|
|
792,792,858,792,792,825,792,792,792,792,792,363,891,363,165,264,
|
|
|
|
|
33,759,759,759,759,924,759,792,792,792,792,792,792,792,792,792,
|
|
|
|
|
792,792,792,792,792,957,792,792,990,792,792,363,1023,363,363, 33,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_pp_body_if_fsm_eq_classes = 32;
|
|
|
|
|
|
|
|
|
|
u8_4tech pp_body_if_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
38, 33, 34, 35, 36, 37, 38, 38, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
2, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
65, 33, 34, 35, 36, 33, 65, 65, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 33, 33, 33, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 6, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
21, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 1, 5, 5, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
39, 34, 35, 36, 37, 38, 39, 39, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
2, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
67, 34, 35, 36, 37, 34, 67, 67, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 34, 34, 34, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 6, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
21, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 1, 5, 5, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech pp_body_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,320,352,352,384,416,352,448,480,512,
|
|
|
|
|
544,576,576,576,576,576,576,576,608,576,640,352,672,160,704,352,
|
|
|
|
|
352,736,736,736,736,736,736,768,768,768,768,768,800,768,768,768,
|
|
|
|
|
768,768,832,768,768,800,768,768,768,768,768,352,864,352,160,256,
|
|
|
|
|
32,736,736,736,736,896,736,768,768,768,768,768,768,768,768,768,
|
|
|
|
|
768,768,768,768,768,928,768,768,960,768,768,352,992,352,352, 32,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,330,363,363,396,429,363,462,495,528,
|
|
|
|
|
561,594,594,594,594,594,594,594,627,594,660,363,693,165,726,363,
|
|
|
|
|
363,759,759,759,759,759,759,792,792,792,792,792,825,792,792,792,
|
|
|
|
|
792,792,858,792,792,825,792,792,792,792,792,363,891,363,165,264,
|
|
|
|
|
33,759,759,759,759,924,759,792,792,792,792,792,792,792,792,792,
|
|
|
|
|
792,792,792,792,792,957,792,792,990,792,792,363,1023,363,363, 33,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_pp_body_fsm_eq_classes = 32;
|
|
|
|
|
|
|
|
|
|
u8_4tech pp_body_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
38, 33, 34, 35, 36, 37, 38, 38, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
2, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
65, 33, 34, 35, 36, 33, 65, 65, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 33, 33, 33, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 6, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
21, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 1, 5, 5, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
39, 34, 35, 36, 37, 38, 39, 39, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
2, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
67, 34, 35, 36, 37, 34, 67, 67, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 34, 34, 34, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 6, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
21, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 1, 5, 5, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech pp_number_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,320,352,352,384,416,352,448,480,512,
|
|
|
|
|
544,576,576,576,576,576,576,576,608,576,640,352,672,160,704,352,
|
|
|
|
|
352,736,736,736,736,736,736,768,768,768,768,768,800,768,768,768,
|
|
|
|
|
768,768,832,768,768,800,768,768,768,768,768,352,864,352,160,256,
|
|
|
|
|
32,736,736,736,736,896,736,768,768,768,768,768,768,768,768,768,
|
|
|
|
|
768,768,768,768,768,928,768,768,960,768,768,352,992,352,352, 32,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,330,363,363,396,429,363,462,495,528,
|
|
|
|
|
561,594,594,594,594,594,594,594,627,594,660,363,693,165,726,363,
|
|
|
|
|
363,759,759,759,759,759,759,792,792,792,792,792,825,792,792,792,
|
|
|
|
|
792,792,858,792,792,825,792,792,792,792,792,363,891,363,165,264,
|
|
|
|
|
33,759,759,759,759,924,759,792,792,792,792,792,792,792,792,792,
|
|
|
|
|
792,792,792,792,792,957,792,792,990,792,792,363,1023,363,363, 33,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_pp_number_fsm_eq_classes = 32;
|
|
|
|
|
|
|
|
|
|
u8_4tech pp_number_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
38, 33, 34, 35, 36, 37, 38, 38, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
2, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
65, 33, 34, 35, 36, 33, 65, 65, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 33, 33, 33, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 6, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
21, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 1, 5, 5, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
39, 34, 35, 36, 37, 38, 39, 39, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
2, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
67, 34, 35, 36, 37, 34, 67, 67, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 34, 34, 34, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 6, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
21, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 1, 5, 5, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech pp_error_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_pp_error_fsm_eq_classes = 3;
|
|
|
|
|
|
|
|
|
|
u8_4tech pp_error_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31, 31,
|
|
|
|
|
63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63, 63,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65, 65,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech pp_junk_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,320,352,352,384,416,352,448,480,512,
|
|
|
|
|
544,576,576,576,576,576,576,576,608,576,640,352,672,160,704,352,
|
|
|
|
|
352,736,736,736,736,736,736,768,768,768,768,768,800,768,768,768,
|
|
|
|
|
768,768,832,768,768,800,768,768,768,768,768,352,864,352,160,256,
|
|
|
|
|
32,736,736,736,736,896,736,768,768,768,768,768,768,768,768,768,
|
|
|
|
|
768,768,768,768,768,928,768,768,960,768,768,352,992,352,352, 32,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,736,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,330,363,363,396,429,363,462,495,528,
|
|
|
|
|
561,594,594,594,594,594,594,594,627,594,660,363,693,165,726,363,
|
|
|
|
|
363,759,759,759,759,759,759,792,792,792,792,792,825,792,792,792,
|
|
|
|
|
792,792,858,792,792,825,792,792,792,792,792,363,891,363,165,264,
|
|
|
|
|
33,759,759,759,759,924,759,792,792,792,792,792,792,792,792,792,
|
|
|
|
|
792,792,792,792,792,957,792,792,990,792,792,363,1023,363,363, 33,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,759,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_pp_junk_fsm_eq_classes = 32;
|
|
|
|
|
|
|
|
|
|
u8_4tech pp_junk_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
38, 33, 34, 35, 36, 37, 38, 38, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
2, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
65, 33, 34, 35, 36, 33, 65, 65, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 33, 33, 33, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 1, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 1, 1, 6, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
21, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 1, 5, 5, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 1, 1, 1, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 1, 1, 1, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 33, 33, 33, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
39, 34, 35, 36, 37, 38, 39, 39, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
2, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
67, 34, 35, 36, 37, 34, 67, 67, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 34, 34, 34, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 1, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 1, 1, 6, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
21, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 1, 5, 5, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 1, 1, 1, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 1, 1, 1, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 34, 34, 34, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
u16_4tech no_string_fsm_eq_classes[] = {
|
|
|
|
|
0, 32, 32, 32, 32, 32, 32, 32, 32, 32, 64, 96, 96, 96, 32, 32,
|
|
|
|
|
32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32, 32,
|
|
|
|
|
128,160,192,224,256,160,288,192,320,320,352,384,320,416,448,480,
|
|
|
|
|
512,544,544,544,544,544,544,544,544,544,576,320,608,160,640,320,
|
|
|
|
|
320,672,672,672,672,672,672,192,192,192,192,192,704,192,192,192,
|
|
|
|
|
192,192,736,192,192,704,192,192,192,192,192,320,768,320,160,256,
|
|
|
|
|
32,672,672,672,672,800,672,192,192,192,192,192,192,192,192,192,
|
|
|
|
|
192,192,192,192,192,832,192,192,864,192,192,320,896,320,320, 32,
|
|
|
|
|
672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,
|
|
|
|
|
672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,
|
|
|
|
|
672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,
|
|
|
|
|
672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,
|
|
|
|
|
672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,
|
|
|
|
|
672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,
|
|
|
|
|
672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,
|
|
|
|
|
672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,672,
|
|
|
|
|
0, 33, 33, 33, 33, 33, 33, 33, 33, 33, 66, 99, 99, 99, 33, 33,
|
|
|
|
|
33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33, 33,
|
|
|
|
|
132,165,198,231,264,165,297,198,330,330,363,396,330,429,462,495,
|
|
|
|
|
528,561,561,561,561,561,561,561,561,561,594,330,627,165,660,330,
|
|
|
|
|
330,693,693,693,693,693,693,198,198,198,198,198,726,198,198,198,
|
|
|
|
|
198,198,759,198,198,726,198,198,198,198,198,330,792,330,165,264,
|
|
|
|
|
33,693,693,693,693,825,693,198,198,198,198,198,198,198,198,198,
|
|
|
|
|
198,198,198,198,198,858,198,198,891,198,198,330,924,330,330, 33,
|
|
|
|
|
693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,
|
|
|
|
|
693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,
|
|
|
|
|
693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,
|
|
|
|
|
693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,
|
|
|
|
|
693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,
|
|
|
|
|
693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,
|
|
|
|
|
693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,
|
|
|
|
|
693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,693,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
const i32_4tech num_no_string_fsm_eq_classes = 29;
|
|
|
|
|
|
|
|
|
|
u8_4tech no_string_fsm_table[] = {
|
|
|
|
|
32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63,
|
|
|
|
|
0, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 47, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 16, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
0, 33, 34, 3, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
3, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
26, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
30, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 17, 15, 15, 18, 18, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
28, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
24, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 12, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
19, 33, 34, 35, 36, 64, 64, 64, 10, 10, 42, 43, 44, 45, 46, 15, 15, 17, 17, 20, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
14, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 15, 15, 15, 17, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
9, 1, 34, 35, 36, 64, 64, 64, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
8, 1, 34, 35, 36, 64, 64, 64, 8, 8, 10, 12, 12, 13, 46, 15, 15, 17, 17, 10, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
29, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
21, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 23, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
22, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 23, 55, 25, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 64, 64, 64, 40, 41, 42, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
6, 1, 34, 4, 4, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
5, 1, 34, 4, 4, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
32, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 16, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 64, 64, 64, 40, 41, 11, 43, 44, 13, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
7, 1, 34, 4, 4, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
1, 1, 34, 4, 4, 64, 64, 64, 40, 13, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
27, 33, 34, 35, 36, 64, 64, 64, 40, 41, 42, 43, 44, 45, 46, 15, 15, 17, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 31,
|
|
|
|
|
33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47, 48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65,
|
|
|
|
|
0, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 48, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 16, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
0, 34, 35, 3, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
3, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
27, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
31, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 17, 15, 15, 18, 18, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
29, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
25, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 12, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
19, 34, 35, 36, 37, 66, 66, 66, 10, 10, 43, 44, 45, 46, 47, 15, 15, 17, 17, 20, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
14, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 15, 15, 15, 17, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
9, 1, 35, 36, 37, 66, 66, 66, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
8, 1, 35, 36, 37, 66, 66, 66, 8, 8, 10, 12, 12, 13, 47, 15, 15, 17, 17, 10, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
30, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
21, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 22, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
23, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 24, 57, 26, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 66, 66, 66, 41, 42, 43, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
6, 1, 35, 4, 4, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
5, 1, 35, 4, 4, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
33, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 16, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 66, 66, 66, 41, 42, 11, 44, 45, 13, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
7, 1, 35, 4, 4, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
1, 1, 35, 4, 4, 66, 66, 66, 41, 13, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
28, 34, 35, 36, 37, 66, 66, 66, 41, 42, 43, 44, 45, 46, 47, 15, 15, 17, 17, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 32,
|
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
uint16_t * get_eq_classes[] = {
|
|
|
|
|