main
1// Based on the C implementation from Marc Stevens and Dan Shumow.
2// https://github.com/cr-marcstevens/sha1collisiondetection
3
4package ubc
5
6const (
7 CheckSize = 80
8
9 DV_I_43_0_bit = (uint32)(1 << 0)
10 DV_I_44_0_bit = (uint32)(1 << 1)
11 DV_I_45_0_bit = (uint32)(1 << 2)
12 DV_I_46_0_bit = (uint32)(1 << 3)
13 DV_I_46_2_bit = (uint32)(1 << 4)
14 DV_I_47_0_bit = (uint32)(1 << 5)
15 DV_I_47_2_bit = (uint32)(1 << 6)
16 DV_I_48_0_bit = (uint32)(1 << 7)
17 DV_I_48_2_bit = (uint32)(1 << 8)
18 DV_I_49_0_bit = (uint32)(1 << 9)
19 DV_I_49_2_bit = (uint32)(1 << 10)
20 DV_I_50_0_bit = (uint32)(1 << 11)
21 DV_I_50_2_bit = (uint32)(1 << 12)
22 DV_I_51_0_bit = (uint32)(1 << 13)
23 DV_I_51_2_bit = (uint32)(1 << 14)
24 DV_I_52_0_bit = (uint32)(1 << 15)
25 DV_II_45_0_bit = (uint32)(1 << 16)
26 DV_II_46_0_bit = (uint32)(1 << 17)
27 DV_II_46_2_bit = (uint32)(1 << 18)
28 DV_II_47_0_bit = (uint32)(1 << 19)
29 DV_II_48_0_bit = (uint32)(1 << 20)
30 DV_II_49_0_bit = (uint32)(1 << 21)
31 DV_II_49_2_bit = (uint32)(1 << 22)
32 DV_II_50_0_bit = (uint32)(1 << 23)
33 DV_II_50_2_bit = (uint32)(1 << 24)
34 DV_II_51_0_bit = (uint32)(1 << 25)
35 DV_II_51_2_bit = (uint32)(1 << 26)
36 DV_II_52_0_bit = (uint32)(1 << 27)
37 DV_II_53_0_bit = (uint32)(1 << 28)
38 DV_II_54_0_bit = (uint32)(1 << 29)
39 DV_II_55_0_bit = (uint32)(1 << 30)
40 DV_II_56_0_bit = (uint32)(1 << 31)
41)
42
43// sha1_dvs contains a list of SHA-1 Disturbance Vectors (DV) which defines the
44// unavoidable bit conditions when a collision attack is in progress.
45var sha1_dvs = []DvInfo{
46 {
47 DvType: 1, DvK: 43, DvB: 0, TestT: 58, MaskI: 0, MaskB: 0,
48 Dm: [CheckSize]uint32{
49 0x08000000, 0x9800000c, 0xd8000010, 0x08000010, 0xb8000010, 0x98000000, 0x60000000,
50 0x00000008, 0xc0000000, 0x90000014, 0x10000010, 0xb8000014, 0x28000000, 0x20000010,
51 0x48000000, 0x08000018, 0x60000000, 0x90000010, 0xf0000010, 0x90000008, 0xc0000000,
52 0x90000010, 0xf0000010, 0xb0000008, 0x40000000, 0x90000000, 0xf0000010, 0x90000018,
53 0x60000000, 0x90000010, 0x90000010, 0x90000000, 0x80000000, 0x00000010, 0xa0000000,
54 0x20000000, 0xa0000000, 0x20000010, 0x00000000, 0x20000010, 0x20000000, 0x00000010,
55 0x20000000, 0x00000010, 0xa0000000, 0x00000000, 0x20000000, 0x20000000, 0x00000000,
56 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
57 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001, 0x40000002, 0x40000040,
58 0x40000002, 0x80000004, 0x80000080, 0x80000006, 0x00000049, 0x00000103, 0x80000009,
59 0x80000012, 0x80000202, 0x00000018, 0x00000164, 0x00000408, 0x800000e6, 0x8000004c,
60 0x00000803, 0x80000161, 0x80000599},
61 }, {
62 DvType: 1, DvK: 44, DvB: 0, TestT: 58, MaskI: 0, MaskB: 1,
63 Dm: [CheckSize]uint32{
64 0xb4000008, 0x08000000, 0x9800000c, 0xd8000010, 0x08000010, 0xb8000010, 0x98000000,
65 0x60000000, 0x00000008, 0xc0000000, 0x90000014, 0x10000010, 0xb8000014, 0x28000000,
66 0x20000010, 0x48000000, 0x08000018, 0x60000000, 0x90000010, 0xf0000010, 0x90000008,
67 0xc0000000, 0x90000010, 0xf0000010, 0xb0000008, 0x40000000, 0x90000000, 0xf0000010,
68 0x90000018, 0x60000000, 0x90000010, 0x90000010, 0x90000000, 0x80000000, 0x00000010,
69 0xa0000000, 0x20000000, 0xa0000000, 0x20000010, 0x00000000, 0x20000010, 0x20000000,
70 0x00000010, 0x20000000, 0x00000010, 0xa0000000, 0x00000000, 0x20000000, 0x20000000,
71 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
72 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001, 0x40000002,
73 0x40000040, 0x40000002, 0x80000004, 0x80000080, 0x80000006, 0x00000049, 0x00000103,
74 0x80000009, 0x80000012, 0x80000202, 0x00000018, 0x00000164, 0x00000408, 0x800000e6,
75 0x8000004c, 0x00000803, 0x80000161},
76 },
77 {
78 DvType: 1, DvK: 45, DvB: 0, TestT: 58, MaskI: 0, MaskB: 2,
79 Dm: [CheckSize]uint32{
80 0xf4000014, 0xb4000008, 0x08000000, 0x9800000c, 0xd8000010, 0x08000010, 0xb8000010,
81 0x98000000, 0x60000000, 0x00000008, 0xc0000000, 0x90000014, 0x10000010, 0xb8000014,
82 0x28000000, 0x20000010, 0x48000000, 0x08000018, 0x60000000, 0x90000010, 0xf0000010,
83 0x90000008, 0xc0000000, 0x90000010, 0xf0000010, 0xb0000008, 0x40000000, 0x90000000,
84 0xf0000010, 0x90000018, 0x60000000, 0x90000010, 0x90000010, 0x90000000, 0x80000000,
85 0x00000010, 0xa0000000, 0x20000000, 0xa0000000, 0x20000010, 0x00000000, 0x20000010,
86 0x20000000, 0x00000010, 0x20000000, 0x00000010, 0xa0000000, 0x00000000, 0x20000000,
87 0x20000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
88 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001,
89 0x40000002, 0x40000040, 0x40000002, 0x80000004, 0x80000080, 0x80000006, 0x00000049,
90 0x00000103, 0x80000009, 0x80000012, 0x80000202, 0x00000018, 0x00000164, 0x00000408,
91 0x800000e6, 0x8000004c, 0x00000803},
92 },
93 {
94 DvType: 1, DvK: 46, DvB: 0, TestT: 58, MaskI: 0, MaskB: 3,
95 Dm: [CheckSize]uint32{
96 0x2c000010, 0xf4000014, 0xb4000008, 0x08000000, 0x9800000c, 0xd8000010, 0x08000010,
97 0xb8000010, 0x98000000, 0x60000000, 0x00000008, 0xc0000000, 0x90000014, 0x10000010,
98 0xb8000014, 0x28000000, 0x20000010, 0x48000000, 0x08000018, 0x60000000, 0x90000010,
99 0xf0000010, 0x90000008, 0xc0000000, 0x90000010, 0xf0000010, 0xb0000008, 0x40000000,
100 0x90000000, 0xf0000010, 0x90000018, 0x60000000, 0x90000010, 0x90000010, 0x90000000,
101 0x80000000, 0x00000010, 0xa0000000, 0x20000000, 0xa0000000, 0x20000010, 0x00000000,
102 0x20000010, 0x20000000, 0x00000010, 0x20000000, 0x00000010, 0xa0000000, 0x00000000,
103 0x20000000, 0x20000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
104 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020,
105 0x00000001, 0x40000002, 0x40000040, 0x40000002, 0x80000004, 0x80000080, 0x80000006,
106 0x00000049, 0x00000103, 0x80000009, 0x80000012, 0x80000202, 0x00000018, 0x00000164,
107 0x00000408, 0x800000e6, 0x8000004c},
108 },
109 {
110 DvType: 1, DvK: 46, DvB: 2, TestT: 58, MaskI: 0, MaskB: 4,
111 Dm: [CheckSize]uint32{
112 0xb0000040, 0xd0000053, 0xd0000022, 0x20000000, 0x60000032, 0x60000043,
113 0x20000040, 0xe0000042, 0x60000002, 0x80000001, 0x00000020, 0x00000003,
114 0x40000052, 0x40000040, 0xe0000052, 0xa0000000, 0x80000040, 0x20000001,
115 0x20000060, 0x80000001, 0x40000042, 0xc0000043, 0x40000022, 0x00000003,
116 0x40000042, 0xc0000043, 0xc0000022, 0x00000001, 0x40000002, 0xc0000043,
117 0x40000062, 0x80000001, 0x40000042, 0x40000042, 0x40000002, 0x00000002,
118 0x00000040, 0x80000002, 0x80000000, 0x80000002, 0x80000040, 0x00000000,
119 0x80000040, 0x80000000, 0x00000040, 0x80000000, 0x00000040, 0x80000002,
120 0x00000000, 0x80000000, 0x80000000, 0x00000000, 0x00000000, 0x00000000,
121 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
122 0x00000000, 0x00000004, 0x00000080, 0x00000004, 0x00000009, 0x00000101,
123 0x00000009, 0x00000012, 0x00000202, 0x0000001a, 0x00000124, 0x0000040c,
124 0x00000026, 0x0000004a, 0x0000080a, 0x00000060, 0x00000590, 0x00001020,
125 0x0000039a, 0x00000132},
126 },
127 {
128 DvType: 1, DvK: 47, DvB: 0, TestT: 58, MaskI: 0, MaskB: 5,
129 Dm: [CheckSize]uint32{
130 0xc8000010, 0x2c000010, 0xf4000014, 0xb4000008, 0x08000000, 0x9800000c,
131 0xd8000010, 0x08000010, 0xb8000010, 0x98000000, 0x60000000, 0x00000008,
132 0xc0000000, 0x90000014, 0x10000010, 0xb8000014, 0x28000000, 0x20000010,
133 0x48000000, 0x08000018, 0x60000000, 0x90000010, 0xf0000010, 0x90000008,
134 0xc0000000, 0x90000010, 0xf0000010, 0xb0000008, 0x40000000, 0x90000000,
135 0xf0000010, 0x90000018, 0x60000000, 0x90000010, 0x90000010, 0x90000000,
136 0x80000000, 0x00000010, 0xa0000000, 0x20000000, 0xa0000000, 0x20000010,
137 0x00000000, 0x20000010, 0x20000000, 0x00000010, 0x20000000, 0x00000010,
138 0xa0000000, 0x00000000, 0x20000000, 0x20000000, 0x00000000, 0x00000000,
139 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
140 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001, 0x40000002,
141 0x40000040, 0x40000002, 0x80000004, 0x80000080, 0x80000006, 0x00000049,
142 0x00000103, 0x80000009, 0x80000012, 0x80000202, 0x00000018, 0x00000164,
143 0x00000408, 0x800000e6},
144 },
145 {
146 DvType: 1, DvK: 47, DvB: 2, TestT: 58, MaskI: 0, MaskB: 6,
147 Dm: [CheckSize]uint32{
148 0x20000043, 0xb0000040, 0xd0000053, 0xd0000022, 0x20000000, 0x60000032,
149 0x60000043, 0x20000040, 0xe0000042, 0x60000002, 0x80000001, 0x00000020,
150 0x00000003, 0x40000052, 0x40000040, 0xe0000052, 0xa0000000, 0x80000040,
151 0x20000001, 0x20000060, 0x80000001, 0x40000042, 0xc0000043, 0x40000022,
152 0x00000003, 0x40000042, 0xc0000043, 0xc0000022, 0x00000001, 0x40000002,
153 0xc0000043, 0x40000062, 0x80000001, 0x40000042, 0x40000042, 0x40000002,
154 0x00000002, 0x00000040, 0x80000002, 0x80000000, 0x80000002, 0x80000040,
155 0x00000000, 0x80000040, 0x80000000, 0x00000040, 0x80000000, 0x00000040,
156 0x80000002, 0x00000000, 0x80000000, 0x80000000, 0x00000000, 0x00000000,
157 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
158 0x00000000, 0x00000000, 0x00000004, 0x00000080, 0x00000004, 0x00000009,
159 0x00000101, 0x00000009, 0x00000012, 0x00000202, 0x0000001a, 0x00000124,
160 0x0000040c, 0x00000026, 0x0000004a, 0x0000080a, 0x00000060, 0x00000590,
161 0x00001020, 0x0000039a,
162 },
163 },
164 {
165 DvType: 1, DvK: 48, DvB: 0, TestT: 58, MaskI: 0, MaskB: 7,
166 Dm: [CheckSize]uint32{
167 0xb800000a, 0xc8000010, 0x2c000010, 0xf4000014, 0xb4000008, 0x08000000,
168 0x9800000c, 0xd8000010, 0x08000010, 0xb8000010, 0x98000000, 0x60000000,
169 0x00000008, 0xc0000000, 0x90000014, 0x10000010, 0xb8000014, 0x28000000,
170 0x20000010, 0x48000000, 0x08000018, 0x60000000, 0x90000010, 0xf0000010,
171 0x90000008, 0xc0000000, 0x90000010, 0xf0000010, 0xb0000008, 0x40000000,
172 0x90000000, 0xf0000010, 0x90000018, 0x60000000, 0x90000010, 0x90000010,
173 0x90000000, 0x80000000, 0x00000010, 0xa0000000, 0x20000000, 0xa0000000,
174 0x20000010, 0x00000000, 0x20000010, 0x20000000, 0x00000010, 0x20000000,
175 0x00000010, 0xa0000000, 0x00000000, 0x20000000, 0x20000000, 0x00000000,
176 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
177 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001,
178 0x40000002, 0x40000040, 0x40000002, 0x80000004, 0x80000080, 0x80000006,
179 0x00000049, 0x00000103, 0x80000009, 0x80000012, 0x80000202, 0x00000018,
180 0x00000164, 0x00000408,
181 },
182 },
183 {
184 DvType: 1, DvK: 48, DvB: 2, TestT: 58, MaskI: 0, MaskB: 8,
185 Dm: [CheckSize]uint32{
186 0xe000002a, 0x20000043, 0xb0000040, 0xd0000053, 0xd0000022, 0x20000000,
187 0x60000032, 0x60000043, 0x20000040, 0xe0000042, 0x60000002, 0x80000001,
188 0x00000020, 0x00000003, 0x40000052, 0x40000040, 0xe0000052, 0xa0000000,
189 0x80000040, 0x20000001, 0x20000060, 0x80000001, 0x40000042, 0xc0000043,
190 0x40000022, 0x00000003, 0x40000042, 0xc0000043, 0xc0000022, 0x00000001,
191 0x40000002, 0xc0000043, 0x40000062, 0x80000001, 0x40000042, 0x40000042,
192 0x40000002, 0x00000002, 0x00000040, 0x80000002, 0x80000000, 0x80000002,
193 0x80000040, 0x00000000, 0x80000040, 0x80000000, 0x00000040, 0x80000000,
194 0x00000040, 0x80000002, 0x00000000, 0x80000000, 0x80000000, 0x00000000,
195 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
196 0x00000000, 0x00000000, 0x00000000, 0x00000004, 0x00000080, 0x00000004,
197 0x00000009, 0x00000101, 0x00000009, 0x00000012, 0x00000202, 0x0000001a,
198 0x00000124, 0x0000040c, 0x00000026, 0x0000004a, 0x0000080a, 0x00000060,
199 0x00000590, 0x00001020},
200 },
201 {
202 DvType: 1, DvK: 49, DvB: 0, TestT: 58, MaskI: 0, MaskB: 9,
203 Dm: [CheckSize]uint32{
204 0x18000000, 0xb800000a, 0xc8000010, 0x2c000010, 0xf4000014, 0xb4000008,
205 0x08000000, 0x9800000c, 0xd8000010, 0x08000010, 0xb8000010, 0x98000000,
206 0x60000000, 0x00000008, 0xc0000000, 0x90000014, 0x10000010, 0xb8000014,
207 0x28000000, 0x20000010, 0x48000000, 0x08000018, 0x60000000, 0x90000010,
208 0xf0000010, 0x90000008, 0xc0000000, 0x90000010, 0xf0000010, 0xb0000008,
209 0x40000000, 0x90000000, 0xf0000010, 0x90000018, 0x60000000, 0x90000010,
210 0x90000010, 0x90000000, 0x80000000, 0x00000010, 0xa0000000, 0x20000000,
211 0xa0000000, 0x20000010, 0x00000000, 0x20000010, 0x20000000, 0x00000010,
212 0x20000000, 0x00000010, 0xa0000000, 0x00000000, 0x20000000, 0x20000000,
213 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
214 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020,
215 0x00000001, 0x40000002, 0x40000040, 0x40000002, 0x80000004, 0x80000080,
216 0x80000006, 0x00000049, 0x00000103, 0x80000009, 0x80000012, 0x80000202,
217 0x00000018, 0x00000164},
218 },
219 {
220 DvType: 1, DvK: 49, DvB: 2, TestT: 58, MaskI: 0, MaskB: 10,
221 Dm: [CheckSize]uint32{
222 0x60000000, 0xe000002a, 0x20000043, 0xb0000040, 0xd0000053, 0xd0000022,
223 0x20000000, 0x60000032, 0x60000043, 0x20000040, 0xe0000042, 0x60000002,
224 0x80000001, 0x00000020, 0x00000003, 0x40000052, 0x40000040, 0xe0000052,
225 0xa0000000, 0x80000040, 0x20000001, 0x20000060, 0x80000001, 0x40000042,
226 0xc0000043, 0x40000022, 0x00000003, 0x40000042, 0xc0000043, 0xc0000022,
227 0x00000001, 0x40000002, 0xc0000043, 0x40000062, 0x80000001, 0x40000042,
228 0x40000042, 0x40000002, 0x00000002, 0x00000040, 0x80000002, 0x80000000,
229 0x80000002, 0x80000040, 0x00000000, 0x80000040, 0x80000000, 0x00000040,
230 0x80000000, 0x00000040, 0x80000002, 0x00000000, 0x80000000, 0x80000000,
231 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
232 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000004, 0x00000080,
233 0x00000004, 0x00000009, 0x00000101, 0x00000009, 0x00000012, 0x00000202,
234 0x0000001a, 0x00000124, 0x0000040c, 0x00000026, 0x0000004a, 0x0000080a,
235 0x00000060, 0x00000590},
236 },
237 {
238 DvType: 1, DvK: 50, DvB: 0, TestT: 65, MaskI: 0, MaskB: 11,
239 Dm: [CheckSize]uint32{
240 0x0800000c, 0x18000000, 0xb800000a, 0xc8000010, 0x2c000010, 0xf4000014,
241 0xb4000008, 0x08000000, 0x9800000c, 0xd8000010, 0x08000010, 0xb8000010,
242 0x98000000, 0x60000000, 0x00000008, 0xc0000000, 0x90000014, 0x10000010,
243 0xb8000014, 0x28000000, 0x20000010, 0x48000000, 0x08000018, 0x60000000,
244 0x90000010, 0xf0000010, 0x90000008, 0xc0000000, 0x90000010, 0xf0000010,
245 0xb0000008, 0x40000000, 0x90000000, 0xf0000010, 0x90000018, 0x60000000,
246 0x90000010, 0x90000010, 0x90000000, 0x80000000, 0x00000010, 0xa0000000,
247 0x20000000, 0xa0000000, 0x20000010, 0x00000000, 0x20000010, 0x20000000,
248 0x00000010, 0x20000000, 0x00000010, 0xa0000000, 0x00000000, 0x20000000,
249 0x20000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
250 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000001,
251 0x00000020, 0x00000001, 0x40000002, 0x40000040, 0x40000002, 0x80000004,
252 0x80000080, 0x80000006, 0x00000049, 0x00000103, 0x80000009, 0x80000012,
253 0x80000202, 0x00000018,
254 },
255 },
256 {
257 DvType: 1, DvK: 50, DvB: 2, TestT: 65, MaskI: 0, MaskB: 12,
258 Dm: [CheckSize]uint32{
259 0x20000030, 0x60000000, 0xe000002a, 0x20000043, 0xb0000040, 0xd0000053,
260 0xd0000022, 0x20000000, 0x60000032, 0x60000043, 0x20000040, 0xe0000042,
261 0x60000002, 0x80000001, 0x00000020, 0x00000003, 0x40000052, 0x40000040,
262 0xe0000052, 0xa0000000, 0x80000040, 0x20000001, 0x20000060, 0x80000001,
263 0x40000042, 0xc0000043, 0x40000022, 0x00000003, 0x40000042, 0xc0000043,
264 0xc0000022, 0x00000001, 0x40000002, 0xc0000043, 0x40000062, 0x80000001,
265 0x40000042, 0x40000042, 0x40000002, 0x00000002, 0x00000040, 0x80000002,
266 0x80000000, 0x80000002, 0x80000040, 0x00000000, 0x80000040, 0x80000000,
267 0x00000040, 0x80000000, 0x00000040, 0x80000002, 0x00000000, 0x80000000,
268 0x80000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
269 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000004,
270 0x00000080, 0x00000004, 0x00000009, 0x00000101, 0x00000009, 0x00000012,
271 0x00000202, 0x0000001a, 0x00000124, 0x0000040c, 0x00000026, 0x0000004a,
272 0x0000080a, 0x00000060},
273 },
274 {
275 DvType: 1, DvK: 51, DvB: 0, TestT: 65, MaskI: 0, MaskB: 13,
276 Dm: [CheckSize]uint32{
277 0xe8000000, 0x0800000c, 0x18000000, 0xb800000a, 0xc8000010, 0x2c000010,
278 0xf4000014, 0xb4000008, 0x08000000, 0x9800000c, 0xd8000010, 0x08000010,
279 0xb8000010, 0x98000000, 0x60000000, 0x00000008, 0xc0000000, 0x90000014,
280 0x10000010, 0xb8000014, 0x28000000, 0x20000010, 0x48000000, 0x08000018,
281 0x60000000, 0x90000010, 0xf0000010, 0x90000008, 0xc0000000, 0x90000010,
282 0xf0000010, 0xb0000008, 0x40000000, 0x90000000, 0xf0000010, 0x90000018,
283 0x60000000, 0x90000010, 0x90000010, 0x90000000, 0x80000000, 0x00000010,
284 0xa0000000, 0x20000000, 0xa0000000, 0x20000010, 0x00000000, 0x20000010,
285 0x20000000, 0x00000010, 0x20000000, 0x00000010, 0xa0000000, 0x00000000,
286 0x20000000, 0x20000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
287 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
288 0x00000001, 0x00000020, 0x00000001, 0x40000002, 0x40000040, 0x40000002,
289 0x80000004, 0x80000080, 0x80000006, 0x00000049, 0x00000103, 0x80000009,
290 0x80000012, 0x80000202},
291 },
292 {
293 DvType: 1, DvK: 51, DvB: 2, TestT: 65, MaskI: 0, MaskB: 14,
294 Dm: [CheckSize]uint32{
295 0xa0000003, 0x20000030, 0x60000000, 0xe000002a, 0x20000043, 0xb0000040,
296 0xd0000053, 0xd0000022, 0x20000000, 0x60000032, 0x60000043, 0x20000040,
297 0xe0000042, 0x60000002, 0x80000001, 0x00000020, 0x00000003, 0x40000052,
298 0x40000040, 0xe0000052, 0xa0000000, 0x80000040, 0x20000001, 0x20000060,
299 0x80000001, 0x40000042, 0xc0000043, 0x40000022, 0x00000003, 0x40000042,
300 0xc0000043, 0xc0000022, 0x00000001, 0x40000002, 0xc0000043, 0x40000062,
301 0x80000001, 0x40000042, 0x40000042, 0x40000002, 0x00000002, 0x00000040,
302 0x80000002, 0x80000000, 0x80000002, 0x80000040, 0x00000000, 0x80000040,
303 0x80000000, 0x00000040, 0x80000000, 0x00000040, 0x80000002, 0x00000000,
304 0x80000000, 0x80000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
305 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
306 0x00000004, 0x00000080, 0x00000004, 0x00000009, 0x00000101, 0x00000009,
307 0x00000012, 0x00000202, 0x0000001a, 0x00000124, 0x0000040c, 0x00000026,
308 0x0000004a, 0x0000080a},
309 },
310 {
311 DvType: 1, DvK: 52, DvB: 0, TestT: 65, MaskI: 0, MaskB: 15,
312 Dm: [CheckSize]uint32{
313 0x04000010, 0xe8000000, 0x0800000c, 0x18000000, 0xb800000a, 0xc8000010,
314 0x2c000010, 0xf4000014, 0xb4000008, 0x08000000, 0x9800000c, 0xd8000010,
315 0x08000010, 0xb8000010, 0x98000000, 0x60000000, 0x00000008, 0xc0000000,
316 0x90000014, 0x10000010, 0xb8000014, 0x28000000, 0x20000010, 0x48000000,
317 0x08000018, 0x60000000, 0x90000010, 0xf0000010, 0x90000008, 0xc0000000,
318 0x90000010, 0xf0000010, 0xb0000008, 0x40000000, 0x90000000, 0xf0000010,
319 0x90000018, 0x60000000, 0x90000010, 0x90000010, 0x90000000, 0x80000000,
320 0x00000010, 0xa0000000, 0x20000000, 0xa0000000, 0x20000010, 0x00000000,
321 0x20000010, 0x20000000, 0x00000010, 0x20000000, 0x00000010, 0xa0000000,
322 0x00000000, 0x20000000, 0x20000000, 0x00000000, 0x00000000, 0x00000000,
323 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
324 0x00000000, 0x00000001, 0x00000020, 0x00000001, 0x40000002, 0x40000040,
325 0x40000002, 0x80000004, 0x80000080, 0x80000006, 0x00000049, 0x00000103,
326 0x80000009, 0x80000012},
327 },
328 {
329 DvType: 2, DvK: 45, DvB: 0, TestT: 58, MaskI: 0, MaskB: 16,
330 Dm: [CheckSize]uint32{
331 0xec000014, 0x0c000002, 0xc0000010, 0xb400001c, 0x2c000004, 0xbc000018,
332 0xb0000010, 0x0000000c, 0xb8000010, 0x08000018, 0x78000010, 0x08000014,
333 0x70000010, 0xb800001c, 0xe8000000, 0xb0000004, 0x58000010, 0xb000000c,
334 0x48000000, 0xb0000000, 0xb8000010, 0x98000010, 0xa0000000, 0x00000000,
335 0x00000000, 0x20000000, 0x80000000, 0x00000010, 0x00000000, 0x20000010,
336 0x20000000, 0x00000010, 0x60000000, 0x00000018, 0xe0000000, 0x90000000,
337 0x30000010, 0xb0000000, 0x20000000, 0x20000000, 0xa0000000, 0x00000010,
338 0x80000000, 0x20000000, 0x20000000, 0x20000000, 0x80000000, 0x00000010,
339 0x00000000, 0x20000010, 0xa0000000, 0x00000000, 0x20000000, 0x20000000,
340 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
341 0x00000001, 0x00000020, 0x00000001, 0x40000002, 0x40000041, 0x40000022,
342 0x80000005, 0xc0000082, 0xc0000046, 0x4000004b, 0x80000107, 0x00000089,
343 0x00000014, 0x8000024b, 0x0000011b, 0x8000016d, 0x8000041a, 0x000002e4,
344 0x80000054, 0x00000967},
345 },
346 {
347 DvType: 2, DvK: 46, DvB: 0, TestT: 58, MaskI: 0, MaskB: 17,
348 Dm: [CheckSize]uint32{
349 0x2400001c, 0xec000014, 0x0c000002, 0xc0000010, 0xb400001c, 0x2c000004,
350 0xbc000018, 0xb0000010, 0x0000000c, 0xb8000010, 0x08000018, 0x78000010,
351 0x08000014, 0x70000010, 0xb800001c, 0xe8000000, 0xb0000004, 0x58000010,
352 0xb000000c, 0x48000000, 0xb0000000, 0xb8000010, 0x98000010, 0xa0000000,
353 0x00000000, 0x00000000, 0x20000000, 0x80000000, 0x00000010, 0x00000000,
354 0x20000010, 0x20000000, 0x00000010, 0x60000000, 0x00000018, 0xe0000000,
355 0x90000000, 0x30000010, 0xb0000000, 0x20000000, 0x20000000, 0xa0000000,
356 0x00000010, 0x80000000, 0x20000000, 0x20000000, 0x20000000, 0x80000000,
357 0x00000010, 0x00000000, 0x20000010, 0xa0000000, 0x00000000, 0x20000000,
358 0x20000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
359 0x00000000, 0x00000001, 0x00000020, 0x00000001, 0x40000002, 0x40000041,
360 0x40000022, 0x80000005, 0xc0000082, 0xc0000046, 0x4000004b, 0x80000107,
361 0x00000089, 0x00000014, 0x8000024b, 0x0000011b, 0x8000016d, 0x8000041a,
362 0x000002e4, 0x80000054},
363 },
364 {
365 DvType: 2, DvK: 46, DvB: 2, TestT: 58, MaskI: 0, MaskB: 18,
366 Dm: [CheckSize]uint32{
367 0x90000070, 0xb0000053, 0x30000008, 0x00000043, 0xd0000072, 0xb0000010,
368 0xf0000062, 0xc0000042, 0x00000030, 0xe0000042, 0x20000060, 0xe0000041,
369 0x20000050, 0xc0000041, 0xe0000072, 0xa0000003, 0xc0000012, 0x60000041,
370 0xc0000032, 0x20000001, 0xc0000002, 0xe0000042, 0x60000042, 0x80000002,
371 0x00000000, 0x00000000, 0x80000000, 0x00000002, 0x00000040, 0x00000000,
372 0x80000040, 0x80000000, 0x00000040, 0x80000001, 0x00000060, 0x80000003,
373 0x40000002, 0xc0000040, 0xc0000002, 0x80000000, 0x80000000, 0x80000002,
374 0x00000040, 0x00000002, 0x80000000, 0x80000000, 0x80000000, 0x00000002,
375 0x00000040, 0x00000000, 0x80000040, 0x80000002, 0x00000000, 0x80000000,
376 0x80000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
377 0x00000000, 0x00000004, 0x00000080, 0x00000004, 0x00000009, 0x00000105,
378 0x00000089, 0x00000016, 0x0000020b, 0x0000011b, 0x0000012d, 0x0000041e,
379 0x00000224, 0x00000050, 0x0000092e, 0x0000046c, 0x000005b6, 0x0000106a,
380 0x00000b90, 0x00000152},
381 },
382 {
383 DvType: 2, DvK: 47, DvB: 0, TestT: 58, MaskI: 0, MaskB: 19,
384 Dm: [CheckSize]uint32{
385 0x20000010, 0x2400001c, 0xec000014, 0x0c000002, 0xc0000010, 0xb400001c,
386 0x2c000004, 0xbc000018, 0xb0000010, 0x0000000c, 0xb8000010, 0x08000018,
387 0x78000010, 0x08000014, 0x70000010, 0xb800001c, 0xe8000000, 0xb0000004,
388 0x58000010, 0xb000000c, 0x48000000, 0xb0000000, 0xb8000010, 0x98000010,
389 0xa0000000, 0x00000000, 0x00000000, 0x20000000, 0x80000000, 0x00000010,
390 0x00000000, 0x20000010, 0x20000000, 0x00000010, 0x60000000, 0x00000018,
391 0xe0000000, 0x90000000, 0x30000010, 0xb0000000, 0x20000000, 0x20000000,
392 0xa0000000, 0x00000010, 0x80000000, 0x20000000, 0x20000000, 0x20000000,
393 0x80000000, 0x00000010, 0x00000000, 0x20000010, 0xa0000000, 0x00000000,
394 0x20000000, 0x20000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
395 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001, 0x40000002,
396 0x40000041, 0x40000022, 0x80000005, 0xc0000082, 0xc0000046, 0x4000004b,
397 0x80000107, 0x00000089, 0x00000014, 0x8000024b, 0x0000011b, 0x8000016d,
398 0x8000041a, 0x000002e4},
399 },
400 {
401 DvType: 2, DvK: 48, DvB: 0, TestT: 58, MaskI: 0, MaskB: 20,
402 Dm: [CheckSize]uint32{
403 0xbc00001a, 0x20000010, 0x2400001c, 0xec000014, 0x0c000002, 0xc0000010,
404 0xb400001c, 0x2c000004, 0xbc000018, 0xb0000010, 0x0000000c, 0xb8000010,
405 0x08000018, 0x78000010, 0x08000014, 0x70000010, 0xb800001c, 0xe8000000,
406 0xb0000004, 0x58000010, 0xb000000c, 0x48000000, 0xb0000000, 0xb8000010,
407 0x98000010, 0xa0000000, 0x00000000, 0x00000000, 0x20000000, 0x80000000,
408 0x00000010, 0x00000000, 0x20000010, 0x20000000, 0x00000010, 0x60000000,
409 0x00000018, 0xe0000000, 0x90000000, 0x30000010, 0xb0000000, 0x20000000,
410 0x20000000, 0xa0000000, 0x00000010, 0x80000000, 0x20000000, 0x20000000,
411 0x20000000, 0x80000000, 0x00000010, 0x00000000, 0x20000010, 0xa0000000,
412 0x00000000, 0x20000000, 0x20000000, 0x00000000, 0x00000000, 0x00000000,
413 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001,
414 0x40000002, 0x40000041, 0x40000022, 0x80000005, 0xc0000082, 0xc0000046,
415 0x4000004b, 0x80000107, 0x00000089, 0x00000014, 0x8000024b, 0x0000011b,
416 0x8000016d, 0x8000041a},
417 },
418 {
419 DvType: 2, DvK: 49, DvB: 0, TestT: 58, MaskI: 0, MaskB: 21,
420 Dm: [CheckSize]uint32{
421 0x3c000004, 0xbc00001a, 0x20000010, 0x2400001c, 0xec000014, 0x0c000002,
422 0xc0000010, 0xb400001c, 0x2c000004, 0xbc000018, 0xb0000010, 0x0000000c,
423 0xb8000010, 0x08000018, 0x78000010, 0x08000014, 0x70000010, 0xb800001c,
424 0xe8000000, 0xb0000004, 0x58000010, 0xb000000c, 0x48000000, 0xb0000000,
425 0xb8000010, 0x98000010, 0xa0000000, 0x00000000, 0x00000000, 0x20000000,
426 0x80000000, 0x00000010, 0x00000000, 0x20000010, 0x20000000, 0x00000010,
427 0x60000000, 0x00000018, 0xe0000000, 0x90000000, 0x30000010, 0xb0000000,
428 0x20000000, 0x20000000, 0xa0000000, 0x00000010, 0x80000000, 0x20000000,
429 0x20000000, 0x20000000, 0x80000000, 0x00000010, 0x00000000, 0x20000010,
430 0xa0000000, 0x00000000, 0x20000000, 0x20000000, 0x00000000, 0x00000000,
431 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020,
432 0x00000001, 0x40000002, 0x40000041, 0x40000022, 0x80000005, 0xc0000082,
433 0xc0000046, 0x4000004b, 0x80000107, 0x00000089, 0x00000014, 0x8000024b,
434 0x0000011b, 0x8000016d},
435 },
436 {
437 DvType: 2, DvK: 49, DvB: 2, TestT: 58, MaskI: 0, MaskB: 22,
438 Dm: [CheckSize]uint32{
439 0xf0000010, 0xf000006a, 0x80000040, 0x90000070, 0xb0000053, 0x30000008,
440 0x00000043, 0xd0000072, 0xb0000010, 0xf0000062, 0xc0000042, 0x00000030,
441 0xe0000042, 0x20000060, 0xe0000041, 0x20000050, 0xc0000041, 0xe0000072,
442 0xa0000003, 0xc0000012, 0x60000041, 0xc0000032, 0x20000001, 0xc0000002,
443 0xe0000042, 0x60000042, 0x80000002, 0x00000000, 0x00000000, 0x80000000,
444 0x00000002, 0x00000040, 0x00000000, 0x80000040, 0x80000000, 0x00000040,
445 0x80000001, 0x00000060, 0x80000003, 0x40000002, 0xc0000040, 0xc0000002,
446 0x80000000, 0x80000000, 0x80000002, 0x00000040, 0x00000002, 0x80000000,
447 0x80000000, 0x80000000, 0x00000002, 0x00000040, 0x00000000, 0x80000040,
448 0x80000002, 0x00000000, 0x80000000, 0x80000000, 0x00000000, 0x00000000,
449 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000004, 0x00000080,
450 0x00000004, 0x00000009, 0x00000105, 0x00000089, 0x00000016, 0x0000020b,
451 0x0000011b, 0x0000012d, 0x0000041e, 0x00000224, 0x00000050, 0x0000092e,
452 0x0000046c, 0x000005b6},
453 },
454 {
455 DvType: 2, DvK: 50, DvB: 0, TestT: 65, MaskI: 0, MaskB: 23,
456 Dm: [CheckSize]uint32{
457 0xb400001c, 0x3c000004, 0xbc00001a, 0x20000010, 0x2400001c, 0xec000014,
458 0x0c000002, 0xc0000010, 0xb400001c, 0x2c000004, 0xbc000018, 0xb0000010,
459 0x0000000c, 0xb8000010, 0x08000018, 0x78000010, 0x08000014, 0x70000010,
460 0xb800001c, 0xe8000000, 0xb0000004, 0x58000010, 0xb000000c, 0x48000000,
461 0xb0000000, 0xb8000010, 0x98000010, 0xa0000000, 0x00000000, 0x00000000,
462 0x20000000, 0x80000000, 0x00000010, 0x00000000, 0x20000010, 0x20000000,
463 0x00000010, 0x60000000, 0x00000018, 0xe0000000, 0x90000000, 0x30000010,
464 0xb0000000, 0x20000000, 0x20000000, 0xa0000000, 0x00000010, 0x80000000,
465 0x20000000, 0x20000000, 0x20000000, 0x80000000, 0x00000010, 0x00000000,
466 0x20000010, 0xa0000000, 0x00000000, 0x20000000, 0x20000000, 0x00000000,
467 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000001,
468 0x00000020, 0x00000001, 0x40000002, 0x40000041, 0x40000022, 0x80000005,
469 0xc0000082, 0xc0000046, 0x4000004b, 0x80000107, 0x00000089, 0x00000014,
470 0x8000024b, 0x0000011b},
471 },
472 {
473 DvType: 2, DvK: 50, DvB: 2, TestT: 65, MaskI: 0, MaskB: 24,
474 Dm: [CheckSize]uint32{
475 0xd0000072, 0xf0000010, 0xf000006a, 0x80000040, 0x90000070, 0xb0000053,
476 0x30000008, 0x00000043, 0xd0000072, 0xb0000010, 0xf0000062, 0xc0000042,
477 0x00000030, 0xe0000042, 0x20000060, 0xe0000041, 0x20000050, 0xc0000041,
478 0xe0000072, 0xa0000003, 0xc0000012, 0x60000041, 0xc0000032, 0x20000001,
479 0xc0000002, 0xe0000042, 0x60000042, 0x80000002, 0x00000000, 0x00000000,
480 0x80000000, 0x00000002, 0x00000040, 0x00000000, 0x80000040, 0x80000000,
481 0x00000040, 0x80000001, 0x00000060, 0x80000003, 0x40000002, 0xc0000040,
482 0xc0000002, 0x80000000, 0x80000000, 0x80000002, 0x00000040, 0x00000002,
483 0x80000000, 0x80000000, 0x80000000, 0x00000002, 0x00000040, 0x00000000,
484 0x80000040, 0x80000002, 0x00000000, 0x80000000, 0x80000000, 0x00000000,
485 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000004,
486 0x00000080, 0x00000004, 0x00000009, 0x00000105, 0x00000089, 0x00000016,
487 0x0000020b, 0x0000011b, 0x0000012d, 0x0000041e, 0x00000224, 0x00000050,
488 0x0000092e, 0x0000046c},
489 },
490 {
491 DvType: 2, DvK: 51, DvB: 0, TestT: 65, MaskI: 0, MaskB: 25,
492 Dm: [CheckSize]uint32{
493 0xc0000010, 0xb400001c, 0x3c000004, 0xbc00001a, 0x20000010, 0x2400001c,
494 0xec000014, 0x0c000002, 0xc0000010, 0xb400001c, 0x2c000004, 0xbc000018,
495 0xb0000010, 0x0000000c, 0xb8000010, 0x08000018, 0x78000010, 0x08000014,
496 0x70000010, 0xb800001c, 0xe8000000, 0xb0000004, 0x58000010, 0xb000000c,
497 0x48000000, 0xb0000000, 0xb8000010, 0x98000010, 0xa0000000, 0x00000000,
498 0x00000000, 0x20000000, 0x80000000, 0x00000010, 0x00000000, 0x20000010,
499 0x20000000, 0x00000010, 0x60000000, 0x00000018, 0xe0000000, 0x90000000,
500 0x30000010, 0xb0000000, 0x20000000, 0x20000000, 0xa0000000, 0x00000010,
501 0x80000000, 0x20000000, 0x20000000, 0x20000000, 0x80000000, 0x00000010,
502 0x00000000, 0x20000010, 0xa0000000, 0x00000000, 0x20000000, 0x20000000,
503 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
504 0x00000001, 0x00000020, 0x00000001, 0x40000002, 0x40000041, 0x40000022,
505 0x80000005, 0xc0000082, 0xc0000046, 0x4000004b, 0x80000107, 0x00000089,
506 0x00000014, 0x8000024b},
507 },
508 {
509 DvType: 2, DvK: 51, DvB: 2, TestT: 65, MaskI: 0, MaskB: 26,
510 Dm: [CheckSize]uint32{
511 0x00000043, 0xd0000072, 0xf0000010, 0xf000006a, 0x80000040, 0x90000070,
512 0xb0000053, 0x30000008, 0x00000043, 0xd0000072, 0xb0000010, 0xf0000062,
513 0xc0000042, 0x00000030, 0xe0000042, 0x20000060, 0xe0000041, 0x20000050,
514 0xc0000041, 0xe0000072, 0xa0000003, 0xc0000012, 0x60000041, 0xc0000032,
515 0x20000001, 0xc0000002, 0xe0000042, 0x60000042, 0x80000002, 0x00000000,
516 0x00000000, 0x80000000, 0x00000002, 0x00000040, 0x00000000, 0x80000040,
517 0x80000000, 0x00000040, 0x80000001, 0x00000060, 0x80000003, 0x40000002,
518 0xc0000040, 0xc0000002, 0x80000000, 0x80000000, 0x80000002, 0x00000040,
519 0x00000002, 0x80000000, 0x80000000, 0x80000000, 0x00000002, 0x00000040,
520 0x00000000, 0x80000040, 0x80000002, 0x00000000, 0x80000000, 0x80000000,
521 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
522 0x00000004, 0x00000080, 0x00000004, 0x00000009, 0x00000105, 0x00000089,
523 0x00000016, 0x0000020b, 0x0000011b, 0x0000012d, 0x0000041e, 0x00000224,
524 0x00000050, 0x0000092e},
525 },
526 {
527 DvType: 2, DvK: 52, DvB: 0, TestT: 65, MaskI: 0, MaskB: 27,
528 Dm: [CheckSize]uint32{
529 0x0c000002, 0xc0000010, 0xb400001c, 0x3c000004, 0xbc00001a, 0x20000010,
530 0x2400001c, 0xec000014, 0x0c000002, 0xc0000010, 0xb400001c, 0x2c000004,
531 0xbc000018, 0xb0000010, 0x0000000c, 0xb8000010, 0x08000018, 0x78000010,
532 0x08000014, 0x70000010, 0xb800001c, 0xe8000000, 0xb0000004, 0x58000010,
533 0xb000000c, 0x48000000, 0xb0000000, 0xb8000010, 0x98000010, 0xa0000000,
534 0x00000000, 0x00000000, 0x20000000, 0x80000000, 0x00000010, 0x00000000,
535 0x20000010, 0x20000000, 0x00000010, 0x60000000, 0x00000018, 0xe0000000,
536 0x90000000, 0x30000010, 0xb0000000, 0x20000000, 0x20000000, 0xa0000000,
537 0x00000010, 0x80000000, 0x20000000, 0x20000000, 0x20000000, 0x80000000,
538 0x00000010, 0x00000000, 0x20000010, 0xa0000000, 0x00000000, 0x20000000,
539 0x20000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
540 0x00000000, 0x00000001, 0x00000020, 0x00000001, 0x40000002, 0x40000041,
541 0x40000022, 0x80000005, 0xc0000082, 0xc0000046, 0x4000004b, 0x80000107,
542 0x00000089, 0x00000014},
543 },
544 {
545 DvType: 2, DvK: 53, DvB: 0, TestT: 65, MaskI: 0, MaskB: 28,
546 Dm: [CheckSize]uint32{
547 0xcc000014, 0x0c000002, 0xc0000010, 0xb400001c, 0x3c000004, 0xbc00001a,
548 0x20000010, 0x2400001c, 0xec000014, 0x0c000002, 0xc0000010, 0xb400001c,
549 0x2c000004, 0xbc000018, 0xb0000010, 0x0000000c, 0xb8000010, 0x08000018,
550 0x78000010, 0x08000014, 0x70000010, 0xb800001c, 0xe8000000, 0xb0000004,
551 0x58000010, 0xb000000c, 0x48000000, 0xb0000000, 0xb8000010, 0x98000010,
552 0xa0000000, 0x00000000, 0x00000000, 0x20000000, 0x80000000, 0x00000010,
553 0x00000000, 0x20000010, 0x20000000, 0x00000010, 0x60000000, 0x00000018,
554 0xe0000000, 0x90000000, 0x30000010, 0xb0000000, 0x20000000, 0x20000000,
555 0xa0000000, 0x00000010, 0x80000000, 0x20000000, 0x20000000, 0x20000000,
556 0x80000000, 0x00000010, 0x00000000, 0x20000010, 0xa0000000, 0x00000000,
557 0x20000000, 0x20000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000,
558 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001, 0x40000002,
559 0x40000041, 0x40000022, 0x80000005, 0xc0000082, 0xc0000046, 0x4000004b,
560 0x80000107, 0x00000089},
561 },
562 {
563 DvType: 2, DvK: 54, DvB: 0, TestT: 65, MaskI: 0, MaskB: 29,
564 Dm: [CheckSize]uint32{
565 0x0400001c, 0xcc000014, 0x0c000002, 0xc0000010, 0xb400001c, 0x3c000004,
566 0xbc00001a, 0x20000010, 0x2400001c, 0xec000014, 0x0c000002, 0xc0000010,
567 0xb400001c, 0x2c000004, 0xbc000018, 0xb0000010, 0x0000000c, 0xb8000010,
568 0x08000018, 0x78000010, 0x08000014, 0x70000010, 0xb800001c, 0xe8000000,
569 0xb0000004, 0x58000010, 0xb000000c, 0x48000000, 0xb0000000, 0xb8000010,
570 0x98000010, 0xa0000000, 0x00000000, 0x00000000, 0x20000000, 0x80000000,
571 0x00000010, 0x00000000, 0x20000010, 0x20000000, 0x00000010, 0x60000000,
572 0x00000018, 0xe0000000, 0x90000000, 0x30000010, 0xb0000000, 0x20000000,
573 0x20000000, 0xa0000000, 0x00000010, 0x80000000, 0x20000000, 0x20000000,
574 0x20000000, 0x80000000, 0x00000010, 0x00000000, 0x20000010, 0xa0000000,
575 0x00000000, 0x20000000, 0x20000000, 0x00000000, 0x00000000, 0x00000000,
576 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020, 0x00000001,
577 0x40000002, 0x40000041, 0x40000022, 0x80000005, 0xc0000082, 0xc0000046,
578 0x4000004b, 0x80000107},
579 },
580 {
581 DvType: 2, DvK: 55, DvB: 0, TestT: 65, MaskI: 0, MaskB: 30,
582 Dm: [CheckSize]uint32{
583 0x00000010, 0x0400001c, 0xcc000014, 0x0c000002, 0xc0000010, 0xb400001c,
584 0x3c000004, 0xbc00001a, 0x20000010, 0x2400001c, 0xec000014, 0x0c000002,
585 0xc0000010, 0xb400001c, 0x2c000004, 0xbc000018, 0xb0000010, 0x0000000c,
586 0xb8000010, 0x08000018, 0x78000010, 0x08000014, 0x70000010, 0xb800001c,
587 0xe8000000, 0xb0000004, 0x58000010, 0xb000000c, 0x48000000, 0xb0000000,
588 0xb8000010, 0x98000010, 0xa0000000, 0x00000000, 0x00000000, 0x20000000,
589 0x80000000, 0x00000010, 0x00000000, 0x20000010, 0x20000000, 0x00000010,
590 0x60000000, 0x00000018, 0xe0000000, 0x90000000, 0x30000010, 0xb0000000,
591 0x20000000, 0x20000000, 0xa0000000, 0x00000010, 0x80000000, 0x20000000,
592 0x20000000, 0x20000000, 0x80000000, 0x00000010, 0x00000000, 0x20000010,
593 0xa0000000, 0x00000000, 0x20000000, 0x20000000, 0x00000000, 0x00000000,
594 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000001, 0x00000020,
595 0x00000001, 0x40000002, 0x40000041, 0x40000022, 0x80000005, 0xc0000082,
596 0xc0000046, 0x4000004b},
597 },
598 {
599 DvType: 2, DvK: 56, DvB: 0, TestT: 65, MaskI: 0, MaskB: 31,
600 Dm: [CheckSize]uint32{
601 0x2600001a, 0x00000010, 0x0400001c, 0xcc000014, 0x0c000002, 0xc0000010,
602 0xb400001c, 0x3c000004, 0xbc00001a, 0x20000010, 0x2400001c, 0xec000014,
603 0x0c000002, 0xc0000010, 0xb400001c, 0x2c000004, 0xbc000018, 0xb0000010,
604 0x0000000c, 0xb8000010, 0x08000018, 0x78000010, 0x08000014, 0x70000010,
605 0xb800001c, 0xe8000000, 0xb0000004, 0x58000010, 0xb000000c, 0x48000000,
606 0xb0000000, 0xb8000010, 0x98000010, 0xa0000000, 0x00000000, 0x00000000,
607 0x20000000, 0x80000000, 0x00000010, 0x00000000, 0x20000010, 0x20000000,
608 0x00000010, 0x60000000, 0x00000018, 0xe0000000, 0x90000000, 0x30000010,
609 0xb0000000, 0x20000000, 0x20000000, 0xa0000000, 0x00000010, 0x80000000,
610 0x20000000, 0x20000000, 0x20000000, 0x80000000, 0x00000010, 0x00000000,
611 0x20000010, 0xa0000000, 0x00000000, 0x20000000, 0x20000000, 0x00000000,
612 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000000, 0x00000001,
613 0x00000020, 0x00000001, 0x40000002, 0x40000041, 0x40000022, 0x80000005,
614 0xc0000082, 0xc0000046},
615 },
616 {
617 DvType: 0, DvK: 0, DvB: 0, TestT: 0, MaskI: 0, MaskB: 0,
618 Dm: [CheckSize]uint32{
619 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
620 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
621 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
622 0, 0, 0, 0, 0, 0, 0, 0},
623 },
624}