`sub rax, rbx`

Opcode: 4829d8

Instruction: SUB
Undefined flags: none

Total states: 2,592

State #	`flag`			`rax`			`rbx`			`rdx`
State #	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ	Initial	Final	Δ
2350	`0x0000000000000800`	`0x0000000000010092`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2351	`0x00000000000008D5`	`0x0000000000010092`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7F`	Δ	`0x000000000000007F`	`0x000000000000007F`	=	`—`	`0x0000000000000000`	Δ
2352	`0x0000000000000000`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7E`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2353	`0x0000000000000001`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7E`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2354	`0x0000000000000004`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7E`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2355	`0x0000000000000010`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7E`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2356	`0x0000000000000040`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7E`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2357	`0x0000000000000080`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7E`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2358	`0x0000000000000800`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7E`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2359	`0x00000000000008D5`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7E`	Δ	`0x0000000000000080`	`0x0000000000000080`	=	`—`	`0x0000000000000000`	Δ
2360	`0x0000000000000000`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7D`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2361	`0x0000000000000001`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7D`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2362	`0x0000000000000004`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7D`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2363	`0x0000000000000010`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7D`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2364	`0x0000000000000040`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7D`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2365	`0x0000000000000080`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7D`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2366	`0x0000000000000800`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7D`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2367	`0x00000000000008D5`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7D`	Δ	`0x0000000000000081`	`0x0000000000000081`	=	`—`	`0x0000000000000000`	Δ
2368	`0x0000000000000000`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7C`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2369	`0x0000000000000001`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7C`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2370	`0x0000000000000004`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7C`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2371	`0x0000000000000010`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7C`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2372	`0x0000000000000040`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7C`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2373	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7C`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2374	`0x0000000000000800`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7C`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2375	`0x00000000000008D5`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF7C`	Δ	`0x0000000000000082`	`0x0000000000000082`	=	`—`	`0x0000000000000000`	Δ
2376	`0x0000000000000000`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF01`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2377	`0x0000000000000001`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF01`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2378	`0x0000000000000004`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF01`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2379	`0x0000000000000010`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF01`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2380	`0x0000000000000040`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF01`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2381	`0x0000000000000080`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF01`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2382	`0x0000000000000800`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF01`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2383	`0x00000000000008D5`	`0x0000000000010082`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF01`	Δ	`0x00000000000000FD`	`0x00000000000000FD`	=	`—`	`0x0000000000000000`	Δ
2384	`0x0000000000000000`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF00`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2385	`0x0000000000000001`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF00`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2386	`0x0000000000000004`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF00`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2387	`0x0000000000000010`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF00`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2388	`0x0000000000000040`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF00`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2389	`0x0000000000000080`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF00`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2390	`0x0000000000000800`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF00`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2391	`0x00000000000008D5`	`0x0000000000010086`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFF00`	Δ	`0x00000000000000FE`	`0x00000000000000FE`	=	`—`	`0x0000000000000000`	Δ
2392	`0x0000000000000000`	`0x0000000000010096`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFEFF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2393	`0x0000000000000001`	`0x0000000000010096`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFEFF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2394	`0x0000000000000004`	`0x0000000000010096`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFEFF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2395	`0x0000000000000010`	`0x0000000000010096`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFEFF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2396	`0x0000000000000040`	`0x0000000000010096`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFEFF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2397	`0x0000000000000080`	`0x0000000000010096`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFEFF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2398	`0x0000000000000800`	`0x0000000000010096`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFEFF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ
2399	`0x00000000000008D5`	`0x0000000000010096`	Δ	`0xFFFFFFFFFFFFFFFE`	`0xFFFFFFFFFFFFFEFF`	Δ	`0x00000000000000FF`	`0x00000000000000FF`	=	`—`	`0x0000000000000000`	Δ