rdpmc — binit db

State #	`flag`			`rax`			`rcx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
200	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000002`	`0x0000000000000000`	Δ
201	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000003`	`0x0000000000000000`	Δ
202	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x000000000000007E`	`0x0000000000000000`	Δ
203	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x000000000000007F`	`0x0000000000000000`	Δ
204	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000080`	`0x0000000000000000`	Δ
205	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000081`	`0x0000000000000000`	Δ
206	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000082`	`0x0000000000000000`	Δ
207	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FD`	`0x0000000000000000`	Δ
208	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FE`	`0x0000000000000000`	Δ
209	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FF`	`0x0000000000000000`	Δ
210	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ
211	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ
212	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF02`	`0x0000000000000000`	Δ
213	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF80`	`0x0000000000000000`	Δ
214	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000000`	Δ
215	`—`	`0x0000000000010002`	Δ	`0x00000000000000FF`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000000`	Δ
216	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000000`	`0x0000000000000000`	=
217	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000000`	Δ
218	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000002`	`0x0000000000000000`	Δ
219	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000003`	`0x0000000000000000`	Δ
220	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x000000000000007E`	`0x0000000000000000`	Δ
221	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x000000000000007F`	`0x0000000000000000`	Δ
222	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000080`	`0x0000000000000000`	Δ
223	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000081`	`0x0000000000000000`	Δ
224	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000082`	`0x0000000000000000`	Δ
225	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FD`	`0x0000000000000000`	Δ
226	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FE`	`0x0000000000000000`	Δ
227	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FF`	`0x0000000000000000`	Δ
228	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ
229	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ
230	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF02`	`0x0000000000000000`	Δ
231	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF80`	`0x0000000000000000`	Δ
232	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFE`	`0x0000000000000000`	Δ
233	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000000`	Δ
234	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000000`	`0x0000000000000000`	=
235	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000000`	Δ
236	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000002`	`0x0000000000000000`	Δ
237	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000003`	`0x0000000000000000`	Δ
238	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x000000000000007E`	`0x0000000000000000`	Δ
239	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x000000000000007F`	`0x0000000000000000`	Δ
240	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000080`	`0x0000000000000000`	Δ
241	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000081`	`0x0000000000000000`	Δ
242	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000082`	`0x0000000000000000`	Δ
243	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FD`	`0x0000000000000000`	Δ
244	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FE`	`0x0000000000000000`	Δ
245	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x00000000000000FF`	`0x0000000000000000`	Δ
246	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF00`	`0x0000000000000000`	Δ
247	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ
248	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF02`	`0x0000000000000000`	Δ
249	`—`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFF01`	`0x0000000000000000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFF80`	`0x0000000000000000`	Δ