`imul ax, bx`

Opcode: 660fafc3

Instruction: IMUL
Undefined flags: AF, PF, SF, ZF

Total states: 216

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
150	`0x0000000000000800`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000000`	`0x0000000000000000`	=
151	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000000`	`0x0000000000000000`	=
152	`0x0000000000000000`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000001`	=
153	`0x0000000000000001`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000001`	=
154	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000001`	=
155	`0x0000000000000010`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000001`	=
156	`0x0000000000000040`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000001`	=
157	`0x0000000000000080`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000001`	=
158	`0x0000000000000800`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000001`	=
159	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0x0000000000000001`	`0x0000000000000001`	=
160	`0x0000000000000000`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
161	`0x0000000000000001`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
162	`0x0000000000000004`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
163	`0x0000000000000010`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
164	`0x0000000000000040`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
165	`0x0000000000000080`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
166	`0x0000000000000800`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
167	`0x00000000000008D5`	`0x0000000000010006`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0000`	Δ	`0x0000000000000000`	`0x0000000000000000`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
168	`0x0000000000000000`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000000`	`0x0000000000000000`	=
169	`0x0000000000000001`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000000`	`0x0000000000000000`	=
170	`0x0000000000000004`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000000`	`0x0000000000000000`	=
171	`0x0000000000000010`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000000`	`0x0000000000000000`	=
172	`0x0000000000000040`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000000`	`0x0000000000000000`	=
173	`0x0000000000000080`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000000`	`0x0000000000000000`	=
174	`0x0000000000000800`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000000`	`0x0000000000000000`	=
175	`0x00000000000008D5`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000000`	`0x0000000000000000`	=
176	`0x0000000000000000`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000001`	`0x0000000000000001`	=
177	`0x0000000000000001`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000001`	`0x0000000000000001`	=
178	`0x0000000000000004`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000001`	`0x0000000000000001`	=
179	`0x0000000000000010`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000001`	`0x0000000000000001`	=
180	`0x0000000000000040`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000001`	`0x0000000000000001`	=
181	`0x0000000000000080`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000001`	`0x0000000000000001`	=
182	`0x0000000000000800`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000001`	`0x0000000000000001`	=
183	`0x00000000000008D5`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0x0000000000000001`	`0x0000000000000001`	=
184	`0x0000000000000000`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
185	`0x0000000000000001`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
186	`0x0000000000000004`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
187	`0x0000000000000010`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
188	`0x0000000000000040`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
189	`0x0000000000000080`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
190	`0x0000000000000800`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
191	`0x00000000000008D5`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
192	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000000`	`0x0000000000000000`	=
193	`0x0000000000000001`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000000`	`0x0000000000000000`	=
194	`0x0000000000000004`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000000`	`0x0000000000000000`	=
195	`0x0000000000000010`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000000`	`0x0000000000000000`	=
196	`0x0000000000000040`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000000`	`0x0000000000000000`	=
197	`0x0000000000000080`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000000`	`0x0000000000000000`	=
198	`0x0000000000000800`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000000`	`0x0000000000000000`	=
199	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFF0001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000000`	`0x0000000000000000`	=