1mfvsrd: 0102030405060708 => 0102030405060708
2mfvsrd: 090a0b0c0e0d0e0f => 090a0b0c0e0d0e0f
3mfvsrd: f1f2f3f4f5f6f7f8 => f1f2f3f4f5f6f7f8
4mfvsrd: f9fafbfcfefdfeff => f9fafbfcfefdfeff
5mfvsrd: 00007fffffffffff => 00007fffffffffff
6mfvsrd: ffff000000000000 => ffff000000000000
7mfvsrd: 0000800000000000 => 0000800000000000
8mfvsrd: 0000000000000000 => 0000000000000000
9mfvsrd: ffffffffffffffff => ffffffffffffffff
10
11mfvsrwz: 0102030405060708 => 0000000005060708
12mfvsrwz: 090a0b0c0e0d0e0f => 000000000e0d0e0f
13mfvsrwz: f1f2f3f4f5f6f7f8 => 00000000f5f6f7f8
14mfvsrwz: f9fafbfcfefdfeff => 00000000fefdfeff
15mfvsrwz: 00007fffffffffff => 00000000ffffffff
16mfvsrwz: ffff000000000000 => 0000000000000000
17mfvsrwz: 0000800000000000 => 0000000000000000
18mfvsrwz: 0000000000000000 => 0000000000000000
19mfvsrwz: ffffffffffffffff => 00000000ffffffff
20
21mtvsrd: 0102030405060708 => 0102030405060708
22mtvsrd: 090a0b0c0e0d0e0f => 090a0b0c0e0d0e0f
23mtvsrd: f1f2f3f4f5f6f7f8 => f1f2f3f4f5f6f7f8
24mtvsrd: f9fafbfcfefdfeff => f9fafbfcfefdfeff
25mtvsrd: 00007fffffffffff => 00007fffffffffff
26mtvsrd: ffff000000000000 => ffff000000000000
27mtvsrd: 0000800000000000 => 0000800000000000
28mtvsrd: 0000000000000000 => 0000000000000000
29mtvsrd: ffffffffffffffff => ffffffffffffffff
30
31mtvsrwz: 05060708 => 0000000005060708
32mtvsrwz: 0e0d0e0f => 000000000e0d0e0f
33mtvsrwz: f5f6f7f8 => 00000000f5f6f7f8
34mtvsrwz: fefdfeff => 00000000fefdfeff
35mtvsrwz: ffffffff => 00000000ffffffff
36mtvsrwz: 00000000 => 0000000000000000
37mtvsrwz: 00000000 => 0000000000000000
38mtvsrwz: 00000000 => 0000000000000000
39mtvsrwz: ffffffff => 00000000ffffffff
40
41mtfprwa: 05060708 => 0000000005060708
42mtfprwa: 0e0d0e0f => 000000000e0d0e0f
43mtfprwa: f5f6f7f8 => fffffffff5f6f7f8
44mtfprwa: fefdfeff => fffffffffefdfeff
45mtfprwa: ffffffff => ffffffffffffffff
46mtfprwa: 00000000 => 0000000000000000
47mtfprwa: 00000000 => 0000000000000000
48mtfprwa: 00000000 => 0000000000000000
49mtfprwa: ffffffff => ffffffffffffffff
50
51vaddudm: 0102030405060708 @@ 0102030405060708  ==> 020406080a0c0e10
52	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 121416181c1a1c1e
53vaddudm: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f2f4f6f8fafcff00
54	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 030507090d0b0d0e
55vaddudm: 0102030405060708 @@ 00007fffffffffff  ==> 0102830405060707
56	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 09090b0c0e0d0e0f
57vaddudm: 0102030405060708 @@ 0000800000000000  ==> 0102830405060708
58	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
59vaddudm: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f4f6f8fafcff00
60	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 030507090d0b0d0e
61vaddudm: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> e3e5e7e9ebedeff0
62	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f3f5f7f9fdfbfdfe
63vaddudm: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f373f4f5f6f7f7
64	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9f9fbfcfefdfeff
65vaddudm: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f373f4f5f6f7f8
66	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
67vaddudm: 00007fffffffffff @@ 0102030405060708  ==> 0102830405060707
68	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 09090b0c0e0d0e0f
69vaddudm: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f373f4f5f6f7f7
70	ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9f9fbfcfefdfeff
71vaddudm: 00007fffffffffff @@ 00007fffffffffff  ==> 0000fffffffffffe
72	ffff000000000000 @@ ffff000000000000  ==> fffe000000000000
73vaddudm: 00007fffffffffff @@ 0000800000000000  ==> 0000ffffffffffff
74	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
75vaddudm: 0000800000000000 @@ 0102030405060708  ==> 0102830405060708
76	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
77vaddudm: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f373f4f5f6f7f8
78	0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
79vaddudm: 0000800000000000 @@ 00007fffffffffff  ==> 0000ffffffffffff
80	0000000000000000 @@ ffff000000000000  ==> ffff000000000000
81vaddudm: 0000800000000000 @@ 0000800000000000  ==> 0001000000000000
82	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
83
84vsubudm: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
85	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
86vsubudm: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f10
87	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f10
88vsubudm: 0102030405060708 @@ 00007fffffffffff  ==> 0101830405060709
89	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090b0b0c0e0d0e0f
90vsubudm: 0102030405060708 @@ 0000800000000000  ==> 0101830405060708
91	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
92vsubudm: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f0f0f0f0f0f0f0f0
93	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f0f0f0f0f0f0f0f0
94vsubudm: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
95	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
96vsubudm: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f273f4f5f6f7f9
97	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fbfbfcfefdfeff
98vsubudm: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f273f4f5f6f7f8
99	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
100vsubudm: 00007fffffffffff @@ 0102030405060708  ==> fefe7cfbfaf9f8f7
101	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f4f4f3f1f2f1f1
102vsubudm: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807
103	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0604040301020101
104vsubudm: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
105	ffff000000000000 @@ ffff000000000000  ==> 0000000000000000
106vsubudm: 00007fffffffffff @@ 0000800000000000  ==> ffffffffffffffff
107	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
108vsubudm: 0000800000000000 @@ 0102030405060708  ==> fefe7cfbfaf9f8f8
109	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f1
110vsubudm: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090808
111	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020101
112vsubudm: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000001
113	0000000000000000 @@ ffff000000000000  ==> 0001000000000000
114vsubudm: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000
115	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
116
117vmaxud: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
118	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
119vmaxud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
120	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
121vmaxud: 0102030405060708 @@ 00007fffffffffff  ==> 0102030405060708
122	090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffff000000000000
123vmaxud: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
124	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
125vmaxud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f1f2f3f4f5f6f7f8
126	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f9fafbfcfefdfeff
127vmaxud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
128	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
129vmaxud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f2f3f4f5f6f7f8
130	f9fafbfcfefdfeff @@ ffff000000000000  ==> ffff000000000000
131vmaxud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
132	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
133vmaxud: 00007fffffffffff @@ 0102030405060708  ==> 0102030405060708
134	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffff000000000000
135vmaxud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
136	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff000000000000
137vmaxud: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
138	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
139vmaxud: 00007fffffffffff @@ 0000800000000000  ==> 0000800000000000
140	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
141vmaxud: 0000800000000000 @@ 0102030405060708  ==> 0102030405060708
142	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
143vmaxud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
144	0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
145vmaxud: 0000800000000000 @@ 00007fffffffffff  ==> 0000800000000000
146	0000000000000000 @@ ffff000000000000  ==> ffff000000000000
147vmaxud: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
148	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
149
150vmaxsd: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
151	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
152vmaxsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0102030405060708
153	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 090a0b0c0e0d0e0f
154vmaxsd: 0102030405060708 @@ 00007fffffffffff  ==> 0102030405060708
155	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
156vmaxsd: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
157	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
158vmaxsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0102030405060708
159	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
160vmaxsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
161	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
162vmaxsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 00007fffffffffff
163	f9fafbfcfefdfeff @@ ffff000000000000  ==> ffff000000000000
164vmaxsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000800000000000
165	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000
166vmaxsd: 00007fffffffffff @@ 0102030405060708  ==> 0102030405060708
167	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
168vmaxsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 00007fffffffffff
169	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff000000000000
170vmaxsd: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
171	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
172vmaxsd: 00007fffffffffff @@ 0000800000000000  ==> 0000800000000000
173	ffff000000000000 @@ 0000000000000000  ==> 0000000000000000
174vmaxsd: 0000800000000000 @@ 0102030405060708  ==> 0102030405060708
175	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
176vmaxsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000800000000000
177	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
178vmaxsd: 0000800000000000 @@ 00007fffffffffff  ==> 0000800000000000
179	0000000000000000 @@ ffff000000000000  ==> 0000000000000000
180vmaxsd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
181	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
182
183vminud: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
184	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
185vminud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0102030405060708
186	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 090a0b0c0e0d0e0f
187vminud: 0102030405060708 @@ 00007fffffffffff  ==> 00007fffffffffff
188	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
189vminud: 0102030405060708 @@ 0000800000000000  ==> 0000800000000000
190	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000
191vminud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0102030405060708
192	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
193vminud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
194	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
195vminud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 00007fffffffffff
196	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
197vminud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000800000000000
198	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000
199vminud: 00007fffffffffff @@ 0102030405060708  ==> 00007fffffffffff
200	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
201vminud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 00007fffffffffff
202	ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
203vminud: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
204	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
205vminud: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
206	ffff000000000000 @@ 0000000000000000  ==> 0000000000000000
207vminud: 0000800000000000 @@ 0102030405060708  ==> 0000800000000000
208	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
209vminud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000800000000000
210	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
211vminud: 0000800000000000 @@ 00007fffffffffff  ==> 00007fffffffffff
212	0000000000000000 @@ ffff000000000000  ==> 0000000000000000
213vminud: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
214	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
215
216vminsd: 0102030405060708 @@ 0102030405060708  ==> 0102030405060708
217	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 090a0b0c0e0d0e0f
218vminsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
219	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
220vminsd: 0102030405060708 @@ 00007fffffffffff  ==> 00007fffffffffff
221	090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffff000000000000
222vminsd: 0102030405060708 @@ 0000800000000000  ==> 0000800000000000
223	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000
224vminsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f1f2f3f4f5f6f7f8
225	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f9fafbfcfefdfeff
226vminsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
227	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
228vminsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> f1f2f3f4f5f6f7f8
229	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
230vminsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
231	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
232vminsd: 00007fffffffffff @@ 0102030405060708  ==> 00007fffffffffff
233	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffff000000000000
234vminsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
235	ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
236vminsd: 00007fffffffffff @@ 00007fffffffffff  ==> 00007fffffffffff
237	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
238vminsd: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
239	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
240vminsd: 0000800000000000 @@ 0102030405060708  ==> 0000800000000000
241	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
242vminsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> f1f2f3f4f5f6f7f8
243	0000000000000000 @@ f9fafbfcfefdfeff  ==> f9fafbfcfefdfeff
244vminsd: 0000800000000000 @@ 00007fffffffffff  ==> 00007fffffffffff
245	0000000000000000 @@ ffff000000000000  ==> ffff000000000000
246vminsd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
247	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
248
249vcmpequd: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
250	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
251vcmpequd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
252	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
253vcmpequd: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000
254	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0000000000000000
255vcmpequd: 0102030405060708 @@ 0000800000000000  ==> 0000000000000000
256	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0000000000000000
257vcmpequd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0000000000000000
258	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
259vcmpequd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
260	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
261vcmpequd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000
262	f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000
263vcmpequd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000000000000000
264	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000
265vcmpequd: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000
266	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
267vcmpequd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
268	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
269vcmpequd: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
270	ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff
271vcmpequd: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000
272	ffff000000000000 @@ 0000000000000000  ==> 0000000000000000
273vcmpequd: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000
274	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
275vcmpequd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
276	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
277vcmpequd: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000
278	0000000000000000 @@ ffff000000000000  ==> 0000000000000000
279vcmpequd: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff
280	0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
281
282vcmpgtud: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
283	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
284vcmpgtud: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
285	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
286vcmpgtud: 0102030405060708 @@ 00007fffffffffff  ==> ffffffffffffffff
287	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0000000000000000
288vcmpgtud: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff
289	090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
290vcmpgtud: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> ffffffffffffffff
291	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
292vcmpgtud: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
293	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
294vcmpgtud: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffffffffffffffff
295	f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000
296vcmpgtud: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffffffffffffffff
297	f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff
298vcmpgtud: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000
299	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
300vcmpgtud: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
301	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
302vcmpgtud: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
303	ffff000000000000 @@ ffff000000000000  ==> 0000000000000000
304vcmpgtud: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000
305	ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff
306vcmpgtud: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000
307	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
308vcmpgtud: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
309	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
310vcmpgtud: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff
311	0000000000000000 @@ ffff000000000000  ==> 0000000000000000
312vcmpgtud: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000
313	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
314
315vcmpgtsd: 0102030405060708 @@ 0102030405060708  ==> 0000000000000000
316	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
317vcmpgtsd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
318	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
319vcmpgtsd: 0102030405060708 @@ 00007fffffffffff  ==> ffffffffffffffff
320	090a0b0c0e0d0e0f @@ ffff000000000000  ==> ffffffffffffffff
321vcmpgtsd: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff
322	090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
323vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0000000000000000
324	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
325vcmpgtsd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
326	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000000
327vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000
328	f9fafbfcfefdfeff @@ ffff000000000000  ==> 0000000000000000
329vcmpgtsd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0000000000000000
330	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0000000000000000
331vcmpgtsd: 00007fffffffffff @@ 0102030405060708  ==> 0000000000000000
332	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
333vcmpgtsd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
334	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
335vcmpgtsd: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
336	ffff000000000000 @@ ffff000000000000  ==> 0000000000000000
337vcmpgtsd: 00007fffffffffff @@ 0000800000000000  ==> 0000000000000000
338	ffff000000000000 @@ 0000000000000000  ==> 0000000000000000
339vcmpgtsd: 0000800000000000 @@ 0102030405060708  ==> 0000000000000000
340	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
341vcmpgtsd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
342	0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
343vcmpgtsd: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff
344	0000000000000000 @@ ffff000000000000  ==> ffffffffffffffff
345vcmpgtsd: 0000800000000000 @@ 0000800000000000  ==> 0000000000000000
346	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
347
348vrld: 0102030405060708 @@ 0102030405060708  ==> 0203040506070801
349	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0586070687078485
350vrld: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0801020304050607
351	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 8485058607068707
352vrld: 0102030405060708 @@ 00007fffffffffff  ==> 0081018202830384
353	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
354vrld: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
355	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
356vrld: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f1
357	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 7dfe7f7eff7ffcfd
358vrld: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f8f1f2f3f4f5f6f7
359	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fcfd7dfe7f7eff7f
360vrld: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 78f979fa7afb7bfc
361	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
362vrld: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
363	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
364vrld: 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffff00
365	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 8000000000007fff
366vrld: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff00007fffffffff
367	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 7fff800000000000
368vrld: 00007fffffffffff @@ 00007fffffffffff  ==> 80003fffffffffff
369	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
370vrld: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
371	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
372vrld: 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
373	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
374vrld: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000008000000000
375	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
376vrld: 0000800000000000 @@ 00007fffffffffff  ==> 0000400000000000
377	0000000000000000 @@ ffff000000000000  ==> 0000000000000000
378vrld: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
379	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
380
381vsld: 0102030405060708 @@ 0102030405060708  ==> 0203040506070800
382	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0586070687078000
383vsld: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0800000000000000
384	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 8000000000000000
385vsld: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000
386	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
387vsld: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
388	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
389vsld: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f800
390	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 7dfe7f7eff7f8000
391vsld: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f800000000000000
392	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 8000000000000000
393vsld: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000000
394	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
395vsld: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
396	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
397vsld: 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffff00
398	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 8000000000000000
399vsld: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff00000000000000
400	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
401vsld: 00007fffffffffff @@ 00007fffffffffff  ==> 8000000000000000
402	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
403vsld: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
404	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
405vsld: 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
406	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
407vsld: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
408	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
409vsld: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000
410	0000000000000000 @@ ffff000000000000  ==> 0000000000000000
411vsld: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
412	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
413
414vsrad: 0102030405060708 @@ 0102030405060708  ==> 0001020304050607
415	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000121416181c1a
416vsrad: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000001
417	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
418vsrad: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000
419	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
420vsrad: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
421	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
422vsrad: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> fff1f2f3f4f5f6f7
423	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fffff3f5f7f9fdfb
424vsrad: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> fffffffffffffff1
425	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
426vsrad: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffffffffffffffff
427	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
428vsrad: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
429	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
430vsrad: 00007fffffffffff @@ 0102030405060708  ==> 0000007fffffffff
431	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fffffffe00000000
432vsrad: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
433	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
434vsrad: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
435	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
436vsrad: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
437	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
438vsrad: 0000800000000000 @@ 0102030405060708  ==> 0000008000000000
439	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
440vsrad: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
441	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
442vsrad: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000
443	0000000000000000 @@ ffff000000000000  ==> 0000000000000000
444vsrad: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
445	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
446
447vsrd: 0102030405060708 @@ 0102030405060708  ==> 0001020304050607
448	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0000121416181c1a
449vsrd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000001
450	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0000000000000000
451vsrd: 0102030405060708 @@ 00007fffffffffff  ==> 0000000000000000
452	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090a0b0c0e0d0e0f
453vsrd: 0102030405060708 @@ 0000800000000000  ==> 0102030405060708
454	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 090a0b0c0e0d0e0f
455vsrd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 00f1f2f3f4f5f6f7
456	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0001f3f5f7f9fdfb
457vsrd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 00000000000000f1
458	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0000000000000001
459vsrd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0000000000000001
460	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fafbfcfefdfeff
461vsrd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> f1f2f3f4f5f6f7f8
462	f9fafbfcfefdfeff @@ 0000000000000000  ==> f9fafbfcfefdfeff
463vsrd: 00007fffffffffff @@ 0102030405060708  ==> 0000007fffffffff
464	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0001fffe00000000
465vsrd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
466	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000001
467vsrd: 00007fffffffffff @@ 00007fffffffffff  ==> 0000000000000000
468	ffff000000000000 @@ ffff000000000000  ==> ffff000000000000
469vsrd: 00007fffffffffff @@ 0000800000000000  ==> 00007fffffffffff
470	ffff000000000000 @@ 0000000000000000  ==> ffff000000000000
471vsrd: 0000800000000000 @@ 0102030405060708  ==> 0000008000000000
472	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
473vsrd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0000000000000000
474	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
475vsrd: 0000800000000000 @@ 00007fffffffffff  ==> 0000000000000000
476	0000000000000000 @@ ffff000000000000  ==> 0000000000000000
477vsrd: 0000800000000000 @@ 0000800000000000  ==> 0000800000000000
478	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
479
480vpkudum: Inputs: 05060708 0e0d0e0f 05060708 0e0d0e0f
481         Output: 05060708 0e0d0e0f 05060708 0e0d0e0f
482vpkudum: Inputs: 05060708 0e0d0e0f f5f6f7f8 fefdfeff
483         Output: 05060708 0e0d0e0f f5f6f7f8 fefdfeff
484vpkudum: Inputs: 05060708 0e0d0e0f ffffffff 00000000
485         Output: 05060708 0e0d0e0f ffffffff 00000000
486vpkudum: Inputs: 05060708 0e0d0e0f 00000000 00000000
487         Output: 05060708 0e0d0e0f 00000000 00000000
488vpkudum: Inputs: f5f6f7f8 fefdfeff 05060708 0e0d0e0f
489         Output: f5f6f7f8 fefdfeff 05060708 0e0d0e0f
490vpkudum: Inputs: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff
491         Output: f5f6f7f8 fefdfeff f5f6f7f8 fefdfeff
492vpkudum: Inputs: f5f6f7f8 fefdfeff ffffffff 00000000
493         Output: f5f6f7f8 fefdfeff ffffffff 00000000
494vpkudum: Inputs: f5f6f7f8 fefdfeff 00000000 00000000
495         Output: f5f6f7f8 fefdfeff 00000000 00000000
496vpkudum: Inputs: ffffffff 00000000 05060708 0e0d0e0f
497         Output: ffffffff 00000000 05060708 0e0d0e0f
498vpkudum: Inputs: ffffffff 00000000 f5f6f7f8 fefdfeff
499         Output: ffffffff 00000000 f5f6f7f8 fefdfeff
500vpkudum: Inputs: ffffffff 00000000 ffffffff 00000000
501         Output: ffffffff 00000000 ffffffff 00000000
502vpkudum: Inputs: ffffffff 00000000 00000000 00000000
503         Output: ffffffff 00000000 00000000 00000000
504vpkudum: Inputs: 00000000 00000000 05060708 0e0d0e0f
505         Output: 00000000 00000000 05060708 0e0d0e0f
506vpkudum: Inputs: 00000000 00000000 f5f6f7f8 fefdfeff
507         Output: 00000000 00000000 f5f6f7f8 fefdfeff
508vpkudum: Inputs: 00000000 00000000 ffffffff 00000000
509         Output: 00000000 00000000 ffffffff 00000000
510vpkudum: Inputs: 00000000 00000000 00000000 00000000
511         Output: 00000000 00000000 00000000 00000000
512
513vpmsumd: 0102030405060708 @@ 0102030405060708  ==> 0040004000400040
514	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0045004500410015
515vpmsumd: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 07c007c006d00735
516	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> a260a260a374a2c5
517vpmsumd: 0102030405060708 @@ 00007fffffffffff  ==> 07060182fc7efe7f
518	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 0478fefc030202f8
519vpmsumd: 0102030405060708 @@ 0000800000000000  ==> 0000008101820283
520	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 0384000000000000
521vpmsumd: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 07c007c006d00735
522	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> a260a260a374a2c5
523vpmsumd: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0040004000400040
524	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0045004500410015
525vpmsumd: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 575629aad456d657
526	f9fafbfcfefdfeff @@ ffff000000000000  ==> 2c50aeac535252a8
527vpmsumd: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 000078f979fa7afb
528	f9fafbfcfefdfeff @@ 0000000000000000  ==> 7bfc000000000000
529vpmsumd: 00007fffffffffff @@ 0102030405060708  ==> 07060182fc7efe7f
530	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0478fefc030202f8
531vpmsumd: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 575629aad456d657
532	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 2c50aeac535252a8
533vpmsumd: 00007fffffffffff @@ 00007fffffffffff  ==> 5555555515555555
534	ffff000000000000 @@ ffff000000000000  ==> 5555555555555555
535vpmsumd: 00007fffffffffff @@ 0000800000000000  ==> 000000003fffffff
536	ffff000000000000 @@ 0000000000000000  ==> ffff800000000000
537vpmsumd: 0000800000000000 @@ 0102030405060708  ==> 0000008101820283
538	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0384000000000000
539vpmsumd: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 000078f979fa7afb
540	0000000000000000 @@ f9fafbfcfefdfeff  ==> 7bfc000000000000
541vpmsumd: 0000800000000000 @@ 00007fffffffffff  ==> 000000003fffffff
542	0000000000000000 @@ ffff000000000000  ==> ffff800000000000
543vpmsumd: 0000800000000000 @@ 0000800000000000  ==> 0000000040000000
544	0000000000000000 @@ 0000000000000000  ==> 0000000000000000
545
546vnand: 0102030405060708 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
547	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
548vnand: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> fefdfcfbfaf9f8f7
549	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f6f5f4f3f1f2f1f0
550vnand: 0102030405060708 @@ 00007fffffffffff  ==> fffffcfbfaf9f8f7
551	090a0b0c0e0d0e0f @@ ffff000000000000  ==> f6f5ffffffffffff
552vnand: 0102030405060708 @@ 0000800000000000  ==> ffffffffffffffff
553	090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
554vnand: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
555	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
556vnand: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0e0d0c0b0a090807
557	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0605040301020100
558vnand: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> ffff8c0b0a090807
559	f9fafbfcfefdfeff @@ ffff000000000000  ==> 0605ffffffffffff
560vnand: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffff7fffffffffff
561	f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff
562vnand: 00007fffffffffff @@ 0102030405060708  ==> fffffcfbfaf9f8f7
563	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5ffffffffffff
564vnand: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ffff8c0b0a090807
565	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 0605ffffffffffff
566vnand: 00007fffffffffff @@ 00007fffffffffff  ==> ffff800000000000
567	ffff000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
568vnand: 00007fffffffffff @@ 0000800000000000  ==> ffffffffffffffff
569	ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff
570vnand: 0000800000000000 @@ 0102030405060708  ==> ffffffffffffffff
571	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
572vnand: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ffff7fffffffffff
573	0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
574vnand: 0000800000000000 @@ 00007fffffffffff  ==> ffffffffffffffff
575	0000000000000000 @@ ffff000000000000  ==> ffffffffffffffff
576vnand: 0000800000000000 @@ 0000800000000000  ==> ffff7fffffffffff
577	0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
578
579vorc: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
580	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
581vorc: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f0f
582	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
583vorc: 0102030405060708 @@ 00007fffffffffff  ==> ffff830405060708
584	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090affffffffffff
585vorc: 0102030405060708 @@ 0000800000000000  ==> ffff7fffffffffff
586	090a0b0c0e0d0e0f @@ 0000000000000000  ==> ffffffffffffffff
587vorc: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> ffffffffffffffff
588	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
589vorc: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
590	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
591vorc: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> fffff3f4f5f6f7f8
592	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9faffffffffffff
593vorc: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> ffffffffffffffff
594	f9fafbfcfefdfeff @@ 0000000000000000  ==> ffffffffffffffff
595vorc: 00007fffffffffff @@ 0102030405060708  ==> fefdffffffffffff
596	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fffff4f3f1f2f1f0
597vorc: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d7fffffffffff
598	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ffff040301020100
599vorc: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
600	ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff
601vorc: 00007fffffffffff @@ 0000800000000000  ==> ffff7fffffffffff
602	ffff000000000000 @@ 0000000000000000  ==> ffffffffffffffff
603vorc: 0000800000000000 @@ 0102030405060708  ==> fefdfcfbfaf9f8f7
604	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
605vorc: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807
606	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020100
607vorc: 0000800000000000 @@ 00007fffffffffff  ==> ffff800000000000
608	0000000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
609vorc: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff
610	0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
611
612veqv: 0102030405060708 @@ 0102030405060708  ==> ffffffffffffffff
613	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> ffffffffffffffff
614veqv: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0f0f0f0f0f0f0f0f
615	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
616veqv: 0102030405060708 @@ 00007fffffffffff  ==> fefd830405060708
617	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 090af4f3f1f2f1f0
618veqv: 0102030405060708 @@ 0000800000000000  ==> fefd7cfbfaf9f8f7
619	090a0b0c0e0d0e0f @@ 0000000000000000  ==> f6f5f4f3f1f2f1f0
620veqv: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0f0f0f0f0f0f0f0f
621	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0f0f0f0f0f0f0f0f
622veqv: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> ffffffffffffffff
623	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
624veqv: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 0e0d73f4f5f6f7f8
625	f9fafbfcfefdfeff @@ ffff000000000000  ==> f9fa040301020100
626veqv: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 0e0d8c0b0a090807
627	f9fafbfcfefdfeff @@ 0000000000000000  ==> 0605040301020100
628veqv: 00007fffffffffff @@ 0102030405060708  ==> fefd830405060708
629	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 090af4f3f1f2f1f0
630veqv: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0e0d73f4f5f6f7f8
631	ffff000000000000 @@ f9fafbfcfefdfeff  ==> f9fa040301020100
632veqv: 00007fffffffffff @@ 00007fffffffffff  ==> ffffffffffffffff
633	ffff000000000000 @@ ffff000000000000  ==> ffffffffffffffff
634veqv: 00007fffffffffff @@ 0000800000000000  ==> ffff000000000000
635	ffff000000000000 @@ 0000000000000000  ==> 0000ffffffffffff
636veqv: 0000800000000000 @@ 0102030405060708  ==> fefd7cfbfaf9f8f7
637	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f6f5f4f3f1f2f1f0
638veqv: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0e0d8c0b0a090807
639	0000000000000000 @@ f9fafbfcfefdfeff  ==> 0605040301020100
640veqv: 0000800000000000 @@ 00007fffffffffff  ==> ffff000000000000
641	0000000000000000 @@ ffff000000000000  ==> 0000ffffffffffff
642veqv: 0000800000000000 @@ 0000800000000000  ==> ffffffffffffffff
643	0000000000000000 @@ 0000000000000000  ==> ffffffffffffffff
644
645vcipher: 0102030405060708 @@ 0102030405060708  ==> 15abdc2823b74b86
646	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 22037bc3e1e25abc
647vcipher: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> e55b2cd8d347bb76
648	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> d2f38b331112aa4c
649vcipher: 0102030405060708 @@ 00007fffffffffff  ==> 14a9a0d3d94eb371
650	090a0b0c0e0d0e0f @@ ffff000000000000  ==> d4f670cfefef54b3
651vcipher: 0102030405060708 @@ 0000800000000000  ==> 14a95f2c26b14c8e
652	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 2b0970cfefef54b3
653vcipher: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 8720c49da1d37bca
654	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 906d1f673bb72743
655vcipher: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 77d0346d51238b3a
656	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 609def97cb47d7b3
657vcipher: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 8622b8665b2a833d
658	f9fafbfcfefdfeff @@ ffff000000000000  ==> 6698146b35ba294c
659vcipher: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 86224799a4d57cc2
660	f9fafbfcfefdfeff @@ 0000000000000000  ==> 9967146b35ba294c
661vcipher: 00007fffffffffff @@ 0102030405060708  ==> fd8b1512668ffb6b
662	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 44a1fbab18f18719
663vcipher: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0d7be5e2967f0b9b
664	ffff000000000000 @@ f9fafbfcfefdfeff  ==> b4510b5be80177e9
665vcipher: 00007fffffffffff @@ 00007fffffffffff  ==> fc8969e99c76039c
666	ffff000000000000 @@ ffff000000000000  ==> b254f0a716fc8916
667vcipher: 00007fffffffffff @@ 0000800000000000  ==> fc8996166389fc63
668	ffff000000000000 @@ 0000000000000000  ==> 4dabf0a716fc8916
669vcipher: 0000800000000000 @@ 0102030405060708  ==> 626160676665646b
670	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> c4802fc16d6e6d6c
671vcipher: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 929190979695949b
672	0000000000000000 @@ f9fafbfcfefdfeff  ==> 3470df319d9e9d9c
673vcipher: 0000800000000000 @@ 00007fffffffffff  ==> 63631c9c9c9c9c9c
674	0000000000000000 @@ ffff000000000000  ==> 327524cd63636363
675vcipher: 0000800000000000 @@ 0000800000000000  ==> 6363e36363636363
676	0000000000000000 @@ 0000000000000000  ==> cd8a24cd63636363
677
678vcipherlast: 0102030405060708 @@ 0102030405060708  ==> 7d6d28726e61acfa
679	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 08dd703ca57acbf1
680vcipherlast: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 8d9dd8829e915c0a
681	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f82d80cc558a3b01
682vcipherlast: 0102030405060708 @@ 00007fffffffffff  ==> 7c6f54899498540d
683	090a0b0c0e0d0e0f @@ ffff000000000000  ==> fe287b30ab77c5fe
684vcipherlast: 0102030405060708 @@ 0000800000000000  ==> 7c6fab766b67abf2
685	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 01d77b30ab77c5fe
686vcipherlast: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> a0400c12e32bbcb7
687	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 905e064db58466bf
688vcipherlast: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 50b0fce213db4c47
689	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 60aef6bd4574964f
690vcipherlast: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> a14270e919d24440
691	f9fafbfcfefdfeff @@ ffff000000000000  ==> 66ab0d41bb8968b0
692vcipherlast: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> a1428f16e62dbbbf
693	f9fafbfcfefdfeff @@ 0000000000000000  ==> 99540d41bb8968b0
694vcipherlast: 00007fffffffffff @@ 0102030405060708  ==> 621460671310641e
695	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 1f69d91a6d6e186c
696vcipherlast: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 92e49097e3e094ee
697	ffff000000000000 @@ f9fafbfcfefdfeff  ==> ef9929ea9d9ee89c
698vcipherlast: 00007fffffffffff @@ 00007fffffffffff  ==> 63161c9ce9e99ce9
699	ffff000000000000 @@ ffff000000000000  ==> e99cd21663631663
700vcipherlast: 00007fffffffffff @@ 0000800000000000  ==> 6316e36316166316
701	ffff000000000000 @@ 0000000000000000  ==> 1663d21663631663
702vcipherlast: 0000800000000000 @@ 0102030405060708  ==> 626160676665646b
703	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 6a69c66f6d6e6d6c
704vcipherlast: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 929190979695949b
705	0000000000000000 @@ f9fafbfcfefdfeff  ==> 9a99369f9d9e9d9c
706vcipherlast: 0000800000000000 @@ 00007fffffffffff  ==> 63631c9c9c9c9c9c
707	0000000000000000 @@ ffff000000000000  ==> 9c9ccd6363636363
708vcipherlast: 0000800000000000 @@ 0000800000000000  ==> 6363e36363636363
709	0000000000000000 @@ 0000000000000000  ==> 6363cd6363636363
710
711vncipher: 0102030405060708 @@ 0102030405060708  ==> fe67ce881a80f569
712	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 19db0b0605541639
713vncipher: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0e973e78ea700599
714	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> e92bfbf6f5a4e6c9
715vncipher: 0102030405060708 @@ 00007fffffffffff  ==> de98809d822f77d0
716	090a0b0c0e0d0e0f @@ ffff000000000000  ==> 1424f3081f45082e
717vncipher: 0102030405060708 @@ 0000800000000000  ==> 0facae567dd0882f
718	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 3aef223c1f45082e
719vncipher: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 8b10c2d5607a5569
720	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 581826de46277b9c
721vncipher: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 7be03225908aa599
722	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> a8e8d62eb6d78b6c
723vncipher: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> abef8cc0f8d5d7d0
724	f9fafbfcfefdfeff @@ ffff000000000000  ==> 55e7ded05c36658b
725vncipher: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 7adba20b072a282f
726	f9fafbfcfefdfeff @@ 0000000000000000  ==> 7b2c0fe45c36658b
727vncipher: 00007fffffffffff @@ 0102030405060708  ==> 359e61e1b44edf06
728	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ec338260e6209378
729vncipher: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> c56e911144be2ff6
730	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 1cc3729016d06388
731vncipher: 00007fffffffffff @@ 00007fffffffffff  ==> 15612ff42ce15dbf
732	ffff000000000000 @@ ffff000000000000  ==> e1cc7a6efc318d6f
733vncipher: 00007fffffffffff @@ 0000800000000000  ==> c455013fd31ea240
734	ffff000000000000 @@ 0000000000000000  ==> cf07ab5afc318d6f
735vncipher: 0000800000000000 @@ 0102030405060708  ==> 796e736035022f14
736	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> cfb37d6d48434c45
737vncipher: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 899e8390c5f2dfe4
738	0000000000000000 @@ f9fafbfcfefdfeff  ==> 3f438d9db8b3bcb5
739vncipher: 0000800000000000 @@ 00007fffffffffff  ==> 59913d75adadadad
740	0000000000000000 @@ ffff000000000000  ==> c24c856352525252
741vncipher: 0000800000000000 @@ 0000800000000000  ==> 88a513be52525252
742	0000000000000000 @@ 0000000000000000  ==> ec87545752525252
743
744vncipherlast: 0102030405060708 @@ 0102030405060708  ==> 08f19dbb336cd089
745	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 49afdef7d9ae363f
746vncipherlast: 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> f8016d4bc39c2079
747	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> b95f2e07295ec6cf
748vncipherlast: 0102030405060708 @@ 00007fffffffffff  ==> 09f3e140c995287e
749	090a0b0c0e0d0e0f @@ ffff000000000000  ==> bf5ad5fbd7a33830
750vncipherlast: 0102030405060708 @@ 0000800000000000  ==> 09f31ebf366ad781
751	090a0b0c0e0d0e0f @@ 0000000000000000  ==> 40a5d5fbd7a33830
752vncipherlast: f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 2a2360e572020b5d
753	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 60dc7571021928b5
754vncipherlast: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> dad3901582f2fbad
755	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 902c8581f2e9d845
756vncipherlast: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff  ==> 2b211c1e88fbf3aa
757	f9fafbfcfefdfeff @@ ffff000000000000  ==> 96297e7d0c1426ba
758vncipherlast: f1f2f3f4f5f6f7f8 @@ 0000800000000000  ==> 2b21e3e177040c55
759	f9fafbfcfefdfeff @@ 0000000000000000  ==> 69d67e7d0c1426ba
760vncipherlast: 00007fffffffffff @@ 0102030405060708  ==> 535051797854555a
761	ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 7477605e5c707372
762vncipherlast: 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> a3a0a18988a4a5aa
763	ffff000000000000 @@ f9fafbfcfefdfeff  ==> 848790aeac808382
764vncipherlast: 00007fffffffffff @@ 00007fffffffffff  ==> 52522d8282adadad
765	ffff000000000000 @@ ffff000000000000  ==> 82826b52527d7d7d
766vncipherlast: 00007fffffffffff @@ 0000800000000000  ==> 5252d27d7d525252
767	ffff000000000000 @@ 0000000000000000  ==> 7d7d6b52527d7d7d
768vncipherlast: 0000800000000000 @@ 0102030405060708  ==> 535051565754555a
769	0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 5b58315e5c5f5c5d
770vncipherlast: 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> a3a0a1a6a7a4a5aa
771	0000000000000000 @@ f9fafbfcfefdfeff  ==> aba8c1aeacafacad
772vncipherlast: 0000800000000000 @@ 00007fffffffffff  ==> 52522dadadadadad
773	0000000000000000 @@ ffff000000000000  ==> adad3a5252525252
774vncipherlast: 0000800000000000 @@ 0000800000000000  ==> 5252d25252525252
775	0000000000000000 @@ 0000000000000000  ==> 52523a5252525252
776
777vmulouw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00193c6aa4917040 00c56e34124ba4e1
778vmulouw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 04d39d63184f87c0 0dfee4d8b9c6e2f1
779vmulouw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 04d39d63184f87c0 0dfee4d8b9c6e2f1
780vmulouw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> ec52a4e230d08040 fdfd020406050201
781
782vmuluwm: 01020304 05060708 090a0b0c 0e0d0e0f ==> 14191810a4917040 b56a0890124ba4e1
783vmuluwm: 01020304 05060708 090a0b0c 0e0d0e0f ==> 7c8fabd0184f87c0 346fa3d0b9c6e2f1
784vmuluwm: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 7c8fabd0184f87c0 346fa3d0b9c6e2f1
785vmuluwm: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 89c9209030d08040 5838201006050201
786
787vmulosw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00193c6aa4917040 00c56e34124ba4e1
788vmulosw: 01020304 05060708 090a0b0c 0e0d0e0f ==> ffcd965b184f87c0 fff1d6c9b9c6e2f1
789vmulosw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> ffcd965b184f87c0 fff1d6c9b9c6e2f1
790vmulosw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0064b4f230d08040 0001040606050201
791
792vmuleuw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0001040a14191810 0051b52bb56a0890
793vmuleuw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00f3d9b37c8fabd0 08d3a173346fa3d0
794vmuleuw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 00f3d9b37c8fabd0 08d3a173346fa3d0
795vmuleuw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> e4ab55e389c92090 f41a344158382010
796
797vmulesw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0001040a14191810 0051b52bb56a0890
798vmulesw: 01020304 05060708 090a0b0c 0e0d0e0f ==> fff1d6af7c8fabd0 ffc99667346fa3d0
799vmulesw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> fff1d6af7c8fabd0 ffc99667346fa3d0
800vmulesw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 00c56dfb89c92090 00243c4958382010
801
802vmrgew: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0102030401020304 090a0b0c090a0b0c
803vmrgew: 01020304 05060708 090a0b0c 0e0d0e0f ==> 01020304f1f2f3f4 090a0b0cf9fafbfc
804vmrgew: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> f1f2f3f401020304 f9fafbfc090a0b0c
805vmrgew: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> f1f2f3f4f1f2f3f4 f9fafbfcf9fafbfc
806
807vmrgow: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0506070805060708 0e0d0e0f0e0d0e0f
808vmrgow: 01020304 05060708 090a0b0c 0e0d0e0f ==> 05060708f5f6f7f8 0e0d0e0ffefdfeff
809vmrgow: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> f5f6f7f805060708 fefdfeff0e0d0e0f
810vmrgow: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> f5f6f7f8f5f6f7f8 fefdfefffefdfeff
811
812vpmsumb: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0005001500050055 0005001500050001
813vpmsumb: 01020304 05060708 090a0b0c 0e0d0e0f ==> 011502c501150505 011502c5011500f1
814vpmsumb: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 011502c501150505 011502c5011500f1
815vpmsumb: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0005001500050055 0005001500050001
816
817vpmsumh: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0004001400040054 0004001400000004
818vpmsumh: 01020304 05060708 090a0b0c 0e0d0e0f ==> 01e7c23401e045f4 01e7c2340001e1e4
819vpmsumh: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 01e7c23401e045f4 01e7c2340001e1e4
820vpmsumh: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0004001400040054 0004001400000004
821
822vpmsumw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0010001000100050 0015001500110005
823vpmsumw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 03d003d784578410 02c5032720e32115
824vpmsumw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 03d003d784578410 02c5032720e32115
825vpmsumw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> 0010001000100050 0015001500110005
826
827vpkudus: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b f1112345 7c118a2b f1112345
828vpkudus: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b f1112345 ffffffff ffffffff
829vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> ffffffff ffffffff 7c118a2b f1112345
830vpkudus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> ffffffff ffffffff ffffffff ffffffff
831
832vpksdus: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b f1112345 7c118a2b f1112345
833vpksdus: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b f1112345 ffffffff 00000000
834vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> ffffffff 00000000 7c118a2b f1112345
835vpksdus: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> ffffffff 00000000 ffffffff 00000000
836
837vpksdss: 000000007c118a2b, 00000000f1112345 @@ 000000007c118a2b, 00000000f1112345  ==> 7c118a2b 7fffffff 7c118a2b 7fffffff
838vpksdss: 000000007c118a2b, 00000000f1112345 @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7c118a2b 7fffffff 7fffffff 80000000
839vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 000000007c118a2b, 00000000f1112345  ==> 7fffffff 80000000 7c118a2b 7fffffff
840vpksdss: 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff @@ 01f2f3f4f5f6f7f8, f9fafbfcfefdfeff  ==> 7fffffff 80000000 7fffffff 80000000
841
842vupkhsw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 0000000001020304 0000000005060708
843vupkhsw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> fffffffff1f2f3f4 fffffffff5f6f7f8
844
845vupklsw: 01020304 05060708 090a0b0c 0e0d0e0f ==> 00000000090a0b0c 000000000e0d0e0f
846vupklsw: f1f2f3f4 f5f6f7f8 f9fafbfc fefdfeff ==> fffffffff9fafbfc fffffffffefdfeff
847
848vpermxor: 0102030405060708 @@ 0102030405060708 @@ 0102030405060708  ==> 0302050407060908
849	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0b0a0d0f0f0c0f0e
850vpermxor: 0102030405060708 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0d0c0b0a09080706
851	090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0504030101020100
852vpermxor: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f3f2f5f4f7f6f9f8
853	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fbfafdfffffcfffe
854vpermxor: 0102030405060708 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> fdfcfbfaf9f8f7f6
855	090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> f5f4f3f1f1f2f1f0
856vpermxor: 0102030405060708 @@ 00007fffffffffff @@ 0102030405060708  ==> 017efefefefefefe
857	090a0b0c0e0d0e0f @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> fe01010101010101
858vpermxor: 0102030405060708 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 0f70f0f0f0f0f0f0
859	090a0b0c0e0d0e0f @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> f00f0f0f0f0f0f0f
860vpermxor: 0102030405060708 @@ 0000800000000000 @@ 0102030405060708  ==> 0181010101010101
861	090a0b0c0e0d0e0f @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0101010101010101
862vpermxor: 0102030405060708 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0f8f0f0f0f0f0f0f
863	090a0b0c0e0d0e0f @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0f0f0f0f0f0f0f0f
864vpermxor: f1f2f3f4f5f6f7f8 @@ 0102030405060708 @@ 0102030405060708  ==> f3f2f5f4f7f6f9f8
865	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> fbfafdfffffcfffe
866vpermxor: f1f2f3f4f5f6f7f8 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> fdfcfbfaf9f8f7f6
867	f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> f5f4f3f1f1f2f1f0
868vpermxor: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> 0302050407060908
869	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> 0b0a0d0f0f0c0f0e
870vpermxor: f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> 0d0c0b0a09080706
871	f9fafbfcfefdfeff @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> 0504030101020100
872vpermxor: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff @@ 0102030405060708  ==> f18e0e0e0e0e0e0e
873	f9fafbfcfefdfeff @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> 0ef1f1f1f1f1f1f1
874vpermxor: f1f2f3f4f5f6f7f8 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> ff80000000000000
875	f9fafbfcfefdfeff @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> 00ffffffffffffff
876vpermxor: f1f2f3f4f5f6f7f8 @@ 0000800000000000 @@ 0102030405060708  ==> f171f1f1f1f1f1f1
877	f9fafbfcfefdfeff @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> f1f1f1f1f1f1f1f1
878vpermxor: f1f2f3f4f5f6f7f8 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> ff7fffffffffffff
879	f9fafbfcfefdfeff @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> ffffffffffffffff
880vpermxor: 00007fffffffffff @@ 0102030405060708 @@ 0102030405060708  ==> 0203040506070809
881	ffff000000000000 @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0a0b0c0e0e0d0e0f
882vpermxor: 00007fffffffffff @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0203040506070809
883	ffff000000000000 @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0a0b0c0e0e0d0e0f
884vpermxor: 00007fffffffffff @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f9
885	ffff000000000000 @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fafbfcfefefdfeff
886vpermxor: 00007fffffffffff @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f2f3f4f5f6f7f8f9
887	ffff000000000000 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fafbfcfefefdfeff
888vpermxor: 00007fffffffffff @@ 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffffff
889	ffff000000000000 @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ff00000000000000
890vpermxor: 00007fffffffffff @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 007fffffffffffff
891	ffff000000000000 @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> ff00000000000000
892vpermxor: 00007fffffffffff @@ 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
893	ffff000000000000 @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
894vpermxor: 00007fffffffffff @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0080000000000000
895	ffff000000000000 @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
896vpermxor: 0000800000000000 @@ 0102030405060708 @@ 0102030405060708  ==> 0203040506070809
897	0000000000000000 @@ 090a0b0c0e0d0e0f @@ 090a0b0c0e0d0e0f  ==> 0a0b0c0e0e0d0e0f
898vpermxor: 0000800000000000 @@ 0102030405060708 @@ f1f2f3f4f5f6f7f8  ==> 0203040506070809
899	0000000000000000 @@ 090a0b0c0e0d0e0f @@ f9fafbfcfefdfeff  ==> 0a0b0c0e0e0d0e0f
900vpermxor: 0000800000000000 @@ f1f2f3f4f5f6f7f8 @@ 0102030405060708  ==> f2f3f4f5f6f7f8f9
901	0000000000000000 @@ f9fafbfcfefdfeff @@ 090a0b0c0e0d0e0f  ==> fafbfcfefefdfeff
902vpermxor: 0000800000000000 @@ f1f2f3f4f5f6f7f8 @@ f1f2f3f4f5f6f7f8  ==> f2f3f4f5f6f7f8f9
903	0000000000000000 @@ f9fafbfcfefdfeff @@ f9fafbfcfefdfeff  ==> fafbfcfefefdfeff
904vpermxor: 0000800000000000 @@ 00007fffffffffff @@ 0102030405060708  ==> 007fffffffffffff
905	0000000000000000 @@ ffff000000000000 @@ 090a0b0c0e0d0e0f  ==> ff00000000000000
906vpermxor: 0000800000000000 @@ 00007fffffffffff @@ f1f2f3f4f5f6f7f8  ==> 007fffffffffffff
907	0000000000000000 @@ ffff000000000000 @@ f9fafbfcfefdfeff  ==> ff00000000000000
908vpermxor: 0000800000000000 @@ 0000800000000000 @@ 0102030405060708  ==> 0080000000000000
909	0000000000000000 @@ 0000000000000000 @@ 090a0b0c0e0d0e0f  ==> 0000000000000000
910vpermxor: 0000800000000000 @@ 0000800000000000 @@ f1f2f3f4f5f6f7f8  ==> 0080000000000000
911	0000000000000000 @@ 0000000000000000 @@ f9fafbfcfefdfeff  ==> 0000000000000000
912
913vclzb: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 07060605050505040404040404040404
914vclzb: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
915vclzb: 00007fffffffffff @@ ffff000000000000  ==> 08080100000000000000080808080808
916vclzb: 0000800000000000 @@ 0000000000000000  ==> 08080008080808080808080808080808
917
918vclzw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000007000000050000000400000004
919vclzw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
920vclzw: 00007fffffffffff @@ ffff000000000000  ==> 00000011000000000000000000000020
921vclzw: 0000800000000000 @@ 0000000000000000  ==> 00000010000000200000002000000020
922
923vclzh: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00070006000500050004000400040004
924vclzh: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
925vclzh: 00007fffffffffff @@ ffff000000000000  ==> 00100001000000000000001000100010
926vclzh: 0000800000000000 @@ 0000000000000000  ==> 00100000001000100010001000100010
927
928vclzd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000000000000070000000000000004
929vclzd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 00000000000000000000000000000000
930vclzd: 00007fffffffffff @@ ffff000000000000  ==> 00000000000000110000000000000000
931vclzd: 0000800000000000 @@ 0000000000000000  ==> 00000000000000100000000000000040
932
933vpopcntb: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 01010201020203010202030203030304
934vpopcntb: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 05050605060607050606070607070708
935vpopcntb: 00007fffffffffff @@ ffff000000000000  ==> 00000708080808080808000000000000
936vpopcntb: 0000800000000000 @@ 0000000000000000  ==> 00000100000000000000000000000000
937
938vpopcnth: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00020003000400040004000500060007
939vpopcnth: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 000a000b000c000c000c000d000e000f
940vpopcnth: 00007fffffffffff @@ ffff000000000000  ==> 0000000f001000100010000000000000
941vpopcnth: 0000800000000000 @@ 0000000000000000  ==> 00000001000000000000000000000000
942
943vpopcntw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 0000000500000008000000090000000d
944vpopcntw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 0000001500000018000000190000001d
945vpopcntw: 00007fffffffffff @@ ffff000000000000  ==> 0000000f000000200000001000000000
946vpopcntw: 0000800000000000 @@ 0000000000000000  ==> 00000001000000000000000000000000
947
948vpopcntd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 000000000000000d0000000000000016
949vpopcntd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 000000000000002d0000000000000036
950vpopcntd: 00007fffffffffff @@ ffff000000000000  ==> 000000000000002f0000000000000010
951vpopcntd: 0000800000000000 @@ 0000000000000000  ==> 00000000000000010000000000000000
952
953vsbox: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 7c777bf26b6fc53001672bfeabd7ab76
954vsbox: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> a1890dbfe6426841992d0fb0bb54bb16
955vsbox: 00007fffffffffff @@ ffff000000000000  ==> 6363d216161616161616636363636363
956vsbox: 0000800000000000 @@ 0000000000000000  ==> 6363cd63636363636363636363636363
957
958vgbbd: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 00000000011e66aa00000000ff1f6ba5
959vgbbd: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> ffffffff011e66aaffffffffff1f6ba5
960vgbbd: 00007fffffffffff @@ ffff000000000000  ==> 1f3f3f3f3f3f3f3fc0c0c0c0c0c0c0c0
961vgbbd: 0000800000000000 @@ 0000000000000000  ==> 20000000000000000000000000000000
962
963vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 088207870e8c098d || 8b9e1b9b13149015
964vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> c8f5100c7844a0fc || e9b5916d0131c581
965vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 592bfd4c0062b487 || fb4fb96f4cf02615
966vshasigmad: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 1fe0874b08d19458 || fdb8e0eda977beb2
967vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 81eb6eee67e560e4 || 02f772f27a7df97c
968vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 52af4a56221efaa6 || 73efcb375b6b9fdb
969vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 8bf92f9ed2b06655 || 299d6bbd9e22f4c7
970vshasigmad: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 986700cc8f5613df || 7a3f676a2ef03935
971vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> 7f003f7fffffffff || 7eff810000000000
972vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffc1e000ffffff8 || fc07e3ffe0000007
973vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffffff03e07e0ff || 0000000fc1f03e00
974vshasigmad: 00007fffffffffff @@ ffff000000000000  ==> fffc3ffe1f80003f || 0003c003c07fff80
975vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000418000000000 || 0000000000000000
976vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0004020010000000 || 0000000000000000
977vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000000000082100 || 0000000000000000
978vshasigmad: 0000800000000000 @@ 0000000000000000  ==> 0000000220000040 || 0000000000000000
979
980vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 88e344269168cdae || 9bf057355c5e785e
981vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 41e2c021c36443a2 || 44e5c72626c5e584
982vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> 106c98d5211d89e6 || 720efab787c30fd3
983vshasigmaw: 0102030405060708 @@ 090a0b0c0e0d0e0f  ==> f185aa4c42173cde || d4a08f69fb5ef21e
984vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 4b2087e552ab0e6d || 583394f69f9dbb9d
985vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 27b89a7ba53e19f8 || 22bf9d7c409fbfde
986vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 6814e0ad5965f19e || 0a7682cfffbb77ab
987vshasigmaw: f1f2f3f4f5f6f7f8 @@ f9fafbfcfefdfeff  ==> 54200fe9e7b2997b || 71052acc5efb57bb
988vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> e1ffcf001fffffff || de0021ff00000000
989vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 3000601f003fffff || 603f9fc000000000
990vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 3e07e3fcffffffff || c3f83c0700000000
991vshasigmaw: 00007fffffffffff @@ ffff000000000000  ==> 03dffe70ffffffff || fc60039f00000000
992vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 2000110000000000 || 0000000000000000
993vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 5000002000000000 || 0000000000000000
994vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 0200200400000000 || 0000000000000000
995vshasigmaw: 0000800000000000 @@ 0000000000000000  ==> 0040021000000000 || 0000000000000000
996
997bcdadd.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 6090180378642006 || 002244669113354d
998bcdadd.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 6090180378642006 || 002244669113354d
999bcdadd.: 8045090189321003 || 001122334556677d @@ 0000107600000001 || 319293945142031a ==> 8044982589321001 || 681828389414646d
1000bcdadd.: 8045090189321003 || 001122334556677d @@ 0000107600000001 || 319293945142031a ==> 8044982589321001 || 681828389414646d
1001bcdadd.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 000000000000000a ==> 8045090189321003 || 001122334556677d
1002bcdadd.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 000000000000000a ==> 8045090189321003 || 001122334556677d
1003bcdadd.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 0000000000000000 ==> 8045090189321003 || 001122334556677d
1004bcdadd.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 0000000000000000 ==> 8045090189321003 || 001122334556677d
1005bcdadd.: 0000107600000001 || 319293945142031a @@ 8045090189321003 || 001122334556677d ==> 8044982589321001 || 681828389414646d
1006bcdadd.: 0000107600000001 || 319293945142031a @@ 8045090189321003 || 001122334556677d ==> 8044982589321001 || 681828389414646d
1007bcdadd.: 0000107600000001 || 319293945142031a @@ 0000107600000001 || 319293945142031a ==> 0000215200000002 || 638587890284062c
1008bcdadd.: 0000107600000001 || 319293945142031a @@ 0000107600000001 || 319293945142031a ==> 0000215200000002 || 638587890284062f
1009bcdadd.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 000000000000000a ==> 0000107600000001 || 319293945142031c
1010bcdadd.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 000000000000000a ==> 0000107600000001 || 319293945142031f
1011bcdadd.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 0000000000000000 ==> 0000107600000001 || 319293945142031c
1012bcdadd.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 0000000000000000 ==> 0000107600000001 || 319293945142031f
1013bcdadd.: 0000000000000000 || 000000000000000a @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677d
1014bcdadd.: 0000000000000000 || 000000000000000a @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677d
1015bcdadd.: 0000000000000000 || 000000000000000a @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031c
1016bcdadd.: 0000000000000000 || 000000000000000a @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031f
1017bcdadd.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000c
1018bcdadd.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000f
1019bcdadd.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000c
1020bcdadd.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000f
1021bcdadd.: 0000000000000000 || 0000000000000000 @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677d
1022bcdadd.: 0000000000000000 || 0000000000000000 @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677d
1023bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031c
1024bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031f
1025bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000c
1026bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000f
1027bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000c
1028bcdadd.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000f
1029
1030bcdsub.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 0000000000000000 || 000000000000000c
1031bcdsub.: 8045090189321003 || 001122334556677d @@ 8045090189321003 || 001122334556677d ==> 0000000000000000 || 000000000000000f
1032bcdsub.: 8045090189321003 || 001122334556677d @@ 0000107600000001 || 319293945142031a ==> 8045197789321004 || 320416279698708d
1033bcdsub.: 8045090189321003 || 001122334556677d @@ 0000107600000001 || 319293945142031a ==> 8045197789321004 || 320416279698708d
1034bcdsub.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 000000000000000a ==> 8045090189321003 || 001122334556677d
1035bcdsub.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 000000000000000a ==> 8045090189321003 || 001122334556677d
1036bcdsub.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 0000000000000000 ==> 8045090189321003 || 001122334556677d
1037bcdsub.: 8045090189321003 || 001122334556677d @@ 0000000000000000 || 0000000000000000 ==> 8045090189321003 || 001122334556677d
1038bcdsub.: 0000107600000001 || 319293945142031a @@ 8045090189321003 || 001122334556677d ==> 8045197789321004 || 320416279698708c
1039bcdsub.: 0000107600000001 || 319293945142031a @@ 8045090189321003 || 001122334556677d ==> 8045197789321004 || 320416279698708f
1040bcdsub.: 0000107600000001 || 319293945142031a @@ 0000107600000001 || 319293945142031a ==> 0000000000000000 || 000000000000000c
1041bcdsub.: 0000107600000001 || 319293945142031a @@ 0000107600000001 || 319293945142031a ==> 0000000000000000 || 000000000000000f
1042bcdsub.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 000000000000000a ==> 0000107600000001 || 319293945142031c
1043bcdsub.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 000000000000000a ==> 0000107600000001 || 319293945142031f
1044bcdsub.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 0000000000000000 ==> 0000107600000001 || 319293945142031c
1045bcdsub.: 0000107600000001 || 319293945142031a @@ 0000000000000000 || 0000000000000000 ==> 0000107600000001 || 319293945142031f
1046bcdsub.: 0000000000000000 || 000000000000000a @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677c
1047bcdsub.: 0000000000000000 || 000000000000000a @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677f
1048bcdsub.: 0000000000000000 || 000000000000000a @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031d
1049bcdsub.: 0000000000000000 || 000000000000000a @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031d
1050bcdsub.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000c
1051bcdsub.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000f
1052bcdsub.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000c
1053bcdsub.: 0000000000000000 || 000000000000000a @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000f
1054bcdsub.: 0000000000000000 || 0000000000000000 @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677c
1055bcdsub.: 0000000000000000 || 0000000000000000 @@ 8045090189321003 || 001122334556677d ==> 8045090189321003 || 001122334556677f
1056bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031d
1057bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000107600000001 || 319293945142031a ==> 0000107600000001 || 319293945142031d
1058bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000c
1059bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 000000000000000a ==> 0000000000000000 || 000000000000000f
1060bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000c
1061bcdsub.: 0000000000000000 || 0000000000000000 @@ 0000000000000000 || 0000000000000000 ==> 0000000000000000 || 000000000000000f
1062
1063vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1064vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1065vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
1066vaddcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1067vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1068vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
1069vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
1070vaddcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1071vaddcuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1072vaddcuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1073vaddcuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
1074vaddcuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1075vaddcuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1076vaddcuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1077vaddcuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
1078vaddcuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1079
1080vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 020406080a0c0e10121416181c1a1c1e
1081vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f2f4f6f8fafcff01030507090d0b0d0e
1082vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 010283040506070809090b0c0e0d0e0f
1083vadduqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
1084vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> f2f4f6f8fafcff01030507090d0b0d0e
1085vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
1086vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
1087vadduqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
1088vadduqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 010283040506070809090b0c0e0d0e0f
1089vadduqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
1090vadduqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 0000fffffffffffffffe000000000000
1091vadduqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 0000ffffffffffffffff000000000000
1092vadduqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 0102830405060708090a0b0c0e0d0e0f
1093vadduqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
1094vadduqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 0000ffffffffffffffff000000000000
1095vadduqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00010000000000000000000000000000
1096
1097vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
1098vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1099vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
1100vsubcuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
1101vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000001
1102vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000001
1103vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
1104vsubcuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
1105vsubcuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1106vsubcuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1107vsubcuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
1108vsubcuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1109vsubcuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1110vsubcuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1111vsubcuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000001
1112vsubcuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000001
1113
1114vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1115vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
1116vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 0101830405060708090b0b0c0e0d0e0f
1117vsubuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 0101830405060708090a0b0c0e0d0e0f
1118vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
1119vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1120vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfeff
1121vsubuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> f1f273f4f5f6f7f8f9fafbfcfefdfeff
1122vsubuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f1
1123vsubuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0e0d8c0b0a0908070604040301020101
1124vsubuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
1125vsubuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> ffffffffffffffffffff000000000000
1126vsubuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f1
1127vsubuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 0e0d8c0b0a0908070605040301020101
1128vsubuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000001000000000000
1129vsubuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1130
1131vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000020a0000000000000000
1132vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1133vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 ==> 00000000000020000000000000000000
1134vbpermq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1135vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f ==> 000000000000e3ea0000000000000000
1136vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1137vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 ==> 000000000000e03f0000000000000000
1138vbpermq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 ==> 000000000000dfff0000000000000000
1139vbpermq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1140vbpermq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1141vbpermq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
1142vbpermq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1143vbpermq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f ==> 00000000000000000000000000000000
1144vbpermq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff ==> 00000000000000000000000000000000
1145vbpermq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 ==> 00000000000000000000000000000000
1146vbpermq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 ==> 00000000000000000000000000000000
1147
1148vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
1149vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
1150vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
1151vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
1152vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1153vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1154vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1155vaddecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1156vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
1157vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
1158vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000001
1159vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
1160vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1161vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1162vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1163vaddecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1164vaddecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
1165vaddecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
1166vaddecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
1167vaddecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
1168vaddecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1169vaddecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1170vaddecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1171vaddecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1172vaddecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
1173vaddecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
1174vaddecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
1175vaddecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
1176vaddecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1177vaddecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1178vaddecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1179vaddecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1180
1181vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 020406080a0c0e10121416181c1a1c1e
1182vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 020406080a0c0e10121416181c1a1c1f
1183vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f2f4f6f8fafcff01030507090d0b0d0e
1184vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f2f4f6f8fafcff01030507090d0b0d0f
1185vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 010283040506070809090b0c0e0d0e0f
1186vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 010283040506070809090b0c0e0d0e10
1187vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
1188vaddeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0102830405060708090a0b0c0e0d0e10
1189vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> f2f4f6f8fafcff01030507090d0b0d0e
1190vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> f2f4f6f8fafcff01030507090d0b0d0f
1191vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdfe
1192vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> e3e5e7e9ebedeff1f3f5f7f9fdfbfdff
1193vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
1194vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> f1f373f4f5f6f7f8f9f9fbfcfefdff00
1195vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
1196vaddeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> f1f373f4f5f6f7f8f9fafbfcfefdff00
1197vaddeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 010283040506070809090b0c0e0d0e0f
1198vaddeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 010283040506070809090b0c0e0d0e10
1199vaddeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f1f373f4f5f6f7f8f9f9fbfcfefdfeff
1200vaddeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f1f373f4f5f6f7f8f9f9fbfcfefdff00
1201vaddeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0000fffffffffffffffe000000000000
1202vaddeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0000fffffffffffffffe000000000001
1203vaddeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0000ffffffffffffffff000000000000
1204vaddeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0000ffffffffffffffff000000000001
1205vaddeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 0102830405060708090a0b0c0e0d0e0f
1206vaddeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 0102830405060708090a0b0c0e0d0e10
1207vaddeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> f1f373f4f5f6f7f8f9fafbfcfefdfeff
1208vaddeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> f1f373f4f5f6f7f8f9fafbfcfefdff00
1209vaddeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0000ffffffffffffffff000000000000
1210vaddeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0000ffffffffffffffff000000000001
1211vaddeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00010000000000000000000000000000
1212vaddeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00010000000000000000000000000001
1213
1214vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
1215vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
1216vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
1217vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
1218vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
1219vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
1220vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
1221vsubecuq: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
1222vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000001
1223vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000001
1224vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
1225vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000001
1226vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
1227vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
1228vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
1229vsubecuq: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
1230vsubecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
1231vsubecuq: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
1232vsubecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
1233vsubecuq: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
1234vsubecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1235vsubecuq: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
1236vsubecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1237vsubecuq: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1238vsubecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> 00000000000000000000000000000000
1239vsubecuq: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
1240vsubecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 00000000000000000000000000000000
1241vsubecuq: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
1242vsubecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000000000000001
1243vsubecuq: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
1244vsubecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 00000000000000000000000000000000
1245vsubecuq: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000001
1246
1247vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
1248vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> 00000000000000000000000000000000
1249vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f
1250vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f10
1251vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 0101830405060708090b0b0c0e0d0e0e
1252vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 0101830405060708090b0b0c0e0d0e0f
1253vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000000 ==> 0101830405060708090a0b0c0e0d0e0e
1254vsubeuqm: 0102030405060708090a0b0c0e0d0e0f @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 0101830405060708090a0b0c0e0d0e0f
1255vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0ef
1256vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0f0
1257vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
1258vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 00000000000000000000000000000000
1259vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfefe
1260vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> f1f273f4f5f6f7f8f9fbfbfcfefdfeff
1261vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000000 ==> f1f273f4f5f6f7f8f9fafbfcfefdfefe
1262vsubeuqm: f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ 00008000000000000000000000000000 @@ f000000000000001 ==> f1f273f4f5f6f7f8f9fafbfcfefdfeff
1263vsubeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f0
1264vsubeuqm: 00007fffffffffffffff000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> fefe7cfbfaf9f8f7f6f4f4f3f1f2f1f1
1265vsubeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0e0d8c0b0a0908070604040301020100
1266vsubeuqm: 00007fffffffffffffff000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0e0d8c0b0a0908070604040301020101
1267vsubeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
1268vsubeuqm: 00007fffffffffffffff000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1269vsubeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> fffffffffffffffffffeffffffffffff
1270vsubeuqm: 00007fffffffffffffff000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> ffffffffffffffffffff000000000000
1271vsubeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000000 ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f0
1272vsubeuqm: 00008000000000000000000000000000 @@ 0102030405060708090a0b0c0e0d0e0f @@ f000000000000001 ==> fefe7cfbfaf9f8f7f6f5f4f3f1f2f1f1
1273vsubeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000000 ==> 0e0d8c0b0a0908070605040301020100
1274vsubeuqm: 00008000000000000000000000000000 @@ f1f2f3f4f5f6f7f8f9fafbfcfefdfeff @@ f000000000000001 ==> 0e0d8c0b0a0908070605040301020101
1275vsubeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000000 ==> 00000000000000000000ffffffffffff
1276vsubeuqm: 00008000000000000000000000000000 @@ 00007fffffffffffffff000000000000 @@ f000000000000001 ==> 00000000000000000001000000000000
1277vsubeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000000 ==> ffffffffffffffffffffffffffffffff
1278vsubeuqm: 00008000000000000000000000000000 @@ 00008000000000000000000000000000 @@ f000000000000001 ==> 00000000000000000000000000000000
1279
1280All done. Tested 66 different instructions
1281