`idiv byte ptr [r8 + r9 * 1 + 0x0]`

Opcode: 43f63c08

Instruction: IDIV
Undefined flags: none

Total states: 648

State #	`mem0_value`			`r8`			`r9`			`rax`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
500	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FD`	EXC	Division Error	`0xFFFFFFFFFFFFFF02`	EXC	Division Error
501	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FD`	EXC	Division Error	`0xFFFFFFFFFFFFFF80`	EXC	Division Error
502	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FD`	EXC	Division Error	`0xFFFFFFFFFFFFFFFE`	EXC	Division Error
503	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FD`	EXC	Division Error	`0xFFFFFFFFFFFFFFFF`	EXC	Division Error
504	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x0000000000000000`	EXC	Division Error
505	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x0000000000000001`	EXC	Division Error
506	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x0000000000000002`	EXC	Division Error
507	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error
508	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x000000000000007E`	EXC	Division Error
509	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x000000000000007F`	EXC	Division Error
510	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x0000000000000080`	EXC	Division Error
511	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x0000000000000081`	EXC	Division Error
512	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x0000000000000082`	EXC	Division Error
513	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x00000000000000FD`	EXC	Division Error
514	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error
515	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error
516	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error
517	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0xFFFFFFFFFFFFFF01`	EXC	Division Error
518	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0xFFFFFFFFFFFFFF02`	EXC	Division Error
519	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0xFFFFFFFFFFFFFF80`	EXC	Division Error
520	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0xFFFFFFFFFFFFFFFE`	EXC	Division Error
521	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error	`0xFFFFFFFFFFFFFFFF`	EXC	Division Error
522	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x0000000000000000`	EXC	Division Error
523	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x0000000000000001`	EXC	Division Error
524	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x0000000000000002`	EXC	Division Error
525	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error
526	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x000000000000007E`	EXC	Division Error
527	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x000000000000007F`	EXC	Division Error
528	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x0000000000000080`	EXC	Division Error
529	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x0000000000000081`	EXC	Division Error
530	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x0000000000000082`	EXC	Division Error
531	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x00000000000000FD`	EXC	Division Error
532	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x00000000000000FE`	EXC	Division Error
533	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error
534	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error
535	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0xFFFFFFFFFFFFFF01`	EXC	Division Error
536	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0xFFFFFFFFFFFFFF02`	EXC	Division Error
537	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0xFFFFFFFFFFFFFF80`	EXC	Division Error
538	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0xFFFFFFFFFFFFFFFE`	EXC	Division Error
539	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0x00000000000000FF`	EXC	Division Error	`0xFFFFFFFFFFFFFFFF`	EXC	Division Error
540	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x0000000000000000`	EXC	Division Error
541	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x0000000000000001`	EXC	Division Error
542	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x0000000000000002`	EXC	Division Error
543	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error
544	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x000000000000007E`	EXC	Division Error
545	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x000000000000007F`	EXC	Division Error
546	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x0000000000000080`	EXC	Division Error
547	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x0000000000000081`	EXC	Division Error
548	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x0000000000000082`	EXC	Division Error
549	`0x00000000000000FF`	EXC	Division Error	`0x00006666660100FD`	EXC	Division Error	`0x0000000000000003`	EXC	Division Error	`0xFFFFFFFFFFFFFF00`	EXC	Division Error	`0x00000000000000FD`	EXC	Division Error