1
0, 0, 192000, 0x7112a667
2
0, 9559, 192000, 0x6936abf3
3
0, 19118, 192000, 0xb1f08981
4
0, 28678, 192000, 0x4ce7fece
5
0, 38237, 192000, 0xf04decde
6
0, 47796, 192000, 0x47fef74b
7
0, 57355, 192000, 0x99b42ac2
8
0, 66914, 192000, 0x3c4c419d
9
0, 76473, 192000, 0x66bf5588
10
0, 86033, 192000, 0xe1de4725
11
0, 95592, 192000, 0x348b2af9
12
0, 105151, 192000, 0x1ce73e83
13
0, 114710, 192000, 0xcdaa6e02
14
0, 124269, 192000, 0x370dc2ce
15
0, 133829, 192000, 0x1e1e40fe
16
0, 143388, 192000, 0x491470a4
17
0, 152947, 192000, 0x88c43e9a
18
0, 162506, 192000, 0x036f3f44
19
0, 172065, 192000, 0xc8be7e25
20
0, 181624, 192000, 0xbedb397d
21
0, 191184, 192000, 0x97c410f4
22
0, 200743, 192000, 0xc2c8225d
23
0, 210302, 192000, 0xe396bccb
24
0, 219861, 192000, 0x7e89c24c
25
0, 229420, 192000, 0xb044954c
26
0, 238980, 192000, 0x335890dd
27
0, 248539, 192000, 0x58a457c0
28
0, 258098, 192000, 0xeb0f4798
29
0, 267657, 192000, 0x0bfc39a1
30
0, 277216, 192000, 0x06a6905a
31
0, 286776, 192000, 0x5300c99b
32
0, 296335, 192000, 0x38f3f845
33
0, 305894, 192000, 0x6afa3543
34
0, 315453, 192000, 0x5106a8e0
35
0, 325012, 192000, 0xc76f0dab
36
0, 334571, 192000, 0x8efa6939
37
0, 344131, 192000, 0x64ea23d7
38
0, 353690, 192000, 0x421a2817
39
0, 363249, 192000, 0xc854fa18
40
0, 372808, 192000, 0x4a10d59c
41
0, 382367, 192000, 0x72637829
42
0, 391927, 192000, 0xdbbe2796
43
0, 401486, 192000, 0xff742e6b
44
0, 411045, 192000, 0xf94b9346
45
0, 420604, 192000, 0xc90ea53c
46
0, 430163, 192000, 0x177483bb
47
0, 439722, 192000, 0x3510369c
48
0, 449282, 192000, 0x501034bf
49
0, 458841, 192000, 0x315c744b
50
0, 468400, 192000, 0xdb5048ae
51
0, 477959, 192000, 0x09a86221
52
0, 487518, 192000, 0xb9c9568a
53
0, 497078, 192000, 0x5eee665b
54
0, 506637, 192000, 0xdef85517
55
0, 516196, 192000, 0x7896b5ad
56
0, 525755, 192000, 0x19fbad39
57
0, 535314, 192000, 0x63358748
58
0, 544873, 192000, 0xca0196a3
59
0, 554433, 192000, 0x0b321da3
60
0, 563992, 192000, 0xa07af07e
61
0, 573551, 192000, 0x21f9310c
62
0, 583110, 192000, 0x62d59874
63
0, 592669, 192000, 0x021227b4
64
0, 602229, 192000, 0x01dac0c2
65
0, 611788, 192000, 0xf3c33a74
66
0, 621347, 192000, 0xeebe83b7
67
0, 630906, 192000, 0x9ec77f97
68
0, 640465, 192000, 0xc91c2e37
69
0, 650024, 192000, 0x7b58751d
70
0, 659584, 192000, 0xb178dfbb
71
0, 669143, 192000, 0x2a63b5be
72
0, 678702, 192000, 0x44a407ac
73
0, 688261, 192000, 0x9a8e17dd
74
0, 697820, 192000, 0x5546f4c8
75
0, 707380, 192000, 0xeda94586
76
0, 716939, 192000, 0x941dfa6b
77
0, 726498, 192000, 0x9772301d
78
0, 736057, 192000, 0x8be16b16
79
0, 745616, 192000, 0x26dd4496
80
0, 755176, 192000, 0x27823797
81
0, 764735, 192000, 0xacc914f7
82
0, 774294, 192000, 0xcbb72c9b
83
0, 783853, 192000, 0x4bd3391c
84
0, 793412, 192000, 0x4e6adbfe
85
0, 802971, 192000, 0x7a791c75
86
0, 812531, 192000, 0xc4f59c94
87
0, 822090, 192000, 0xc4f59c94
88
0, 831649, 192000, 0x984a4a0b
89
0, 841208, 192000, 0x3353f31f
90
0, 850767, 192000, 0xa9d4dc5a
91
0, 860327, 192000, 0xb33425d0
92
0, 869886, 192000, 0x546d768a
93
0, 879445, 192000, 0xfefbe5c9
94
0, 889004, 192000, 0xbd6be61d
95
0, 898563, 192000, 0xf5792731
96
0, 908122, 192000, 0xccde0582
97
0, 917682, 192000, 0x857d58ee
98
0, 927241, 192000, 0xe914ce48
99
0, 936800, 192000, 0x1f736298
100
0, 946359, 192000, 0xec0b4846
101
0, 955918, 192000, 0xe1422624
102
0, 965478, 192000, 0x56e2b0e0
103
0, 975037, 192000, 0xc4190640
104
0, 984596, 192000, 0x7c461977
105
0, 994155, 192000, 0x34b1d5e8
106
0, 1003714, 192000, 0xbdc70f7a
107
0, 1013273, 192000, 0xb466cd8d
108
0, 1022833, 192000, 0x0e86a04c
2
0, 0, 0, 1, 192000, 0x7112a667
3
0, 1, 1, 1, 192000, 0x6936abf3
4
0, 2, 2, 1, 192000, 0xb1f08981
5
0, 3, 3, 1, 192000, 0x4ce7fece
6
0, 4, 4, 1, 192000, 0xf04decde
7
0, 5, 5, 1, 192000, 0x47fef74b
8
0, 6, 6, 1, 192000, 0x99b42ac2
9
0, 7, 7, 1, 192000, 0x3c4c419d
10
0, 8, 8, 1, 192000, 0x66bf5588
11
0, 9, 9, 1, 192000, 0xe1de4725
12
0, 10, 10, 1, 192000, 0x348b2af9
13
0, 11, 11, 1, 192000, 0x1ce73e83
14
0, 12, 12, 1, 192000, 0xcdaa6e02
15
0, 13, 13, 1, 192000, 0x370dc2ce
16
0, 14, 14, 1, 192000, 0x1e1e40fe
17
0, 15, 15, 1, 192000, 0x491470a4
18
0, 16, 16, 1, 192000, 0x88c43e9a
19
0, 17, 17, 1, 192000, 0x036f3f44
20
0, 18, 18, 1, 192000, 0xc8be7e25
21
0, 19, 19, 1, 192000, 0xbedb397d
22
0, 20, 20, 1, 192000, 0x97c410f4
23
0, 21, 21, 1, 192000, 0xc2c8225d
24
0, 22, 22, 1, 192000, 0xe396bccb
25
0, 23, 23, 1, 192000, 0x7e89c24c
26
0, 24, 24, 1, 192000, 0xb044954c
27
0, 25, 25, 1, 192000, 0x335890dd
28
0, 26, 26, 1, 192000, 0x58a457c0
29
0, 27, 27, 1, 192000, 0xeb0f4798
30
0, 28, 28, 1, 192000, 0x0bfc39a1
31
0, 29, 29, 1, 192000, 0x06a6905a
32
0, 30, 30, 1, 192000, 0x5300c99b
33
0, 31, 31, 1, 192000, 0x38f3f845
34
0, 32, 32, 1, 192000, 0x6afa3543
35
0, 33, 33, 1, 192000, 0x5106a8e0
36
0, 34, 34, 1, 192000, 0xc76f0dab
37
0, 35, 35, 1, 192000, 0x8efa6939
38
0, 36, 36, 1, 192000, 0x64ea23d7
39
0, 37, 37, 1, 192000, 0x421a2817
40
0, 38, 38, 1, 192000, 0xc854fa18
41
0, 39, 39, 1, 192000, 0x4a10d59c
42
0, 40, 40, 1, 192000, 0x72637829
43
0, 41, 41, 1, 192000, 0xdbbe2796
44
0, 42, 42, 1, 192000, 0xff742e6b
45
0, 43, 43, 1, 192000, 0xf94b9346
46
0, 44, 44, 1, 192000, 0xc90ea53c
47
0, 45, 45, 1, 192000, 0x177483bb
48
0, 46, 46, 1, 192000, 0x3510369c
49
0, 47, 47, 1, 192000, 0x501034bf
50
0, 48, 48, 1, 192000, 0x315c744b
51
0, 49, 49, 1, 192000, 0xdb5048ae
52
0, 50, 50, 1, 192000, 0x09a86221
53
0, 51, 51, 1, 192000, 0xb9c9568a
54
0, 52, 52, 1, 192000, 0x5eee665b
55
0, 53, 53, 1, 192000, 0xdef85517
56
0, 54, 54, 1, 192000, 0x7896b5ad
57
0, 55, 55, 1, 192000, 0x19fbad39
58
0, 56, 56, 1, 192000, 0x63358748
59
0, 57, 57, 1, 192000, 0xca0196a3
60
0, 58, 58, 1, 192000, 0x0b321da3
61
0, 59, 59, 1, 192000, 0xa07af07e
62
0, 60, 60, 1, 192000, 0x21f9310c
63
0, 61, 61, 1, 192000, 0x62d59874
64
0, 62, 62, 1, 192000, 0x021227b4
65
0, 63, 63, 1, 192000, 0x01dac0c2
66
0, 64, 64, 1, 192000, 0xf3c33a74
67
0, 65, 65, 1, 192000, 0xeebe83b7
68
0, 66, 66, 1, 192000, 0x9ec77f97
69
0, 67, 67, 1, 192000, 0xc91c2e37
70
0, 68, 68, 1, 192000, 0x7b58751d
71
0, 69, 69, 1, 192000, 0xb178dfbb
72
0, 70, 70, 1, 192000, 0x2a63b5be
73
0, 71, 71, 1, 192000, 0x44a407ac
74
0, 72, 72, 1, 192000, 0x9a8e17dd
75
0, 73, 73, 1, 192000, 0x5546f4c8
76
0, 74, 74, 1, 192000, 0xeda94586
77
0, 75, 75, 1, 192000, 0x941dfa6b
78
0, 76, 76, 1, 192000, 0x9772301d
79
0, 77, 77, 1, 192000, 0x8be16b16
80
0, 78, 78, 1, 192000, 0x26dd4496
81
0, 79, 79, 1, 192000, 0x27823797
82
0, 80, 80, 1, 192000, 0xacc914f7
83
0, 81, 81, 1, 192000, 0xcbb72c9b
84
0, 82, 82, 1, 192000, 0x4bd3391c
85
0, 83, 83, 1, 192000, 0x4e6adbfe
86
0, 84, 84, 1, 192000, 0x7a791c75
87
0, 85, 85, 1, 192000, 0xc4f59c94
88
0, 86, 86, 1, 192000, 0xc4f59c94
89
0, 87, 87, 1, 192000, 0x984a4a0b
90
0, 88, 88, 1, 192000, 0x3353f31f
91
0, 89, 89, 1, 192000, 0xa9d4dc5a
92
0, 90, 90, 1, 192000, 0xb33425d0
93
0, 91, 91, 1, 192000, 0x546d768a
94
0, 92, 92, 1, 192000, 0xfefbe5c9
95
0, 93, 93, 1, 192000, 0xbd6be61d
96
0, 94, 94, 1, 192000, 0xf5792731
97
0, 95, 95, 1, 192000, 0xccde0582
98
0, 96, 96, 1, 192000, 0x857d58ee
99
0, 97, 97, 1, 192000, 0xe914ce48
100
0, 98, 98, 1, 192000, 0x1f736298
101
0, 99, 99, 1, 192000, 0xec0b4846
102
0, 100, 100, 1, 192000, 0xe1422624
103
0, 101, 101, 1, 192000, 0x56e2b0e0
104
0, 102, 102, 1, 192000, 0xc4190640
105
0, 103, 103, 1, 192000, 0x7c461977
106
0, 104, 104, 1, 192000, 0x34b1d5e8
107
0, 105, 105, 1, 192000, 0xbdc70f7a
108
0, 106, 106, 1, 192000, 0xb466cd8d
109
0, 107, 107, 1, 192000, 0x0e86a04c
added
removed
tests/ref/fate/rl2
