`imul rax, rbx`

Opcode: 480fafc3

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	Δ
200	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=
201	`0x0000000000000001`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=
202	`0x0000000000000004`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=
203	`0x0000000000000010`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=
204	`0x0000000000000040`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=
205	`0x0000000000000080`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=
206	`0x0000000000000800`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=
207	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0x0000000000000001`	`0x0000000000000001`	=
208	`0x0000000000000000`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
209	`0x0000000000000001`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
210	`0x0000000000000004`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
211	`0x0000000000000010`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
212	`0x0000000000000040`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
213	`0x0000000000000080`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
214	`0x0000000000000800`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=
215	`0x00000000000008D5`	`0x0000000000010002`	Δ	`0xFFFFFFFFFFFFFFFF`	`0x0000000000000001`	Δ	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=	`0xFFFFFFFFFFFFFFFF`	`0xFFFFFFFFFFFFFFFF`	=