(* JE jmp_lbl *)
val _ = x86_test "7426"
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7434"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484B7")];

(* JE jmp_lbl *)
val _ = x86_test "7428"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AB")];

(* JE jmp_lbl *)
val _ = x86_test "7420"
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A3")];

(* JE jmp_lbl *)
val _ = x86_test "741E"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484A1")];

(* JE jmp_lbl *)
val _ = x86_test "743A"
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484BD")];

(* JE jmp_lbl *)
val _ = x86_test "7437"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484BA")];

(* JE jmp_lbl *)
val _ = x86_test "742D"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B0")];

(* JE jmp_lbl *)
val _ = x86_test "742B"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484AE")];

(* JE jmp_lbl *)
val _ = x86_test "7430"
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7429"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AC")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484A2")];

(* JE jmp_lbl *)
val _ = x86_test "7436"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484B9")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A2")];

(* JE jmp_lbl *)
val _ = x86_test "7425"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7430"
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7433"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484B6")];

(* JE jmp_lbl *)
val _ = x86_test "7420"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484A3")];

(* JE jmp_lbl *)
val _ = x86_test "7425"
   [("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "742A"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AD")];

(* JE jmp_lbl *)
val _ = x86_test "742A"
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484AD")];

(* JE jmp_lbl *)
val _ = x86_test "7435"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7432"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B5")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7426"
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7435"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7420"
   [("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7434"
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484B7")];

(* JE jmp_lbl *)
val _ = x86_test "742F"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484B2")];

(* JE jmp_lbl *)
val _ = x86_test "7424"
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7429"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484AC")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A2")];

(* JE jmp_lbl *)
val _ = x86_test "742B"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484AE")];

(* JE jmp_lbl *)
val _ = x86_test "7429"
   [("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7437"
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "742C"
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7426"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7424"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("EIP","080484A7")];

(* JE jmp_lbl *)
val _ = x86_test "742E"
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "743B"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484BE")];

(* JE jmp_lbl *)
val _ = x86_test "7426"
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A9")];

(* JE jmp_lbl *)
val _ = x86_test "742F"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B2")];

(* JE jmp_lbl *)
val _ = x86_test "7426"
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("OF","F"), ("EIP","080484A9")];

(* JE jmp_lbl *)
val _ = x86_test "7425"
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7425"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7424"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A7")];

(* JE jmp_lbl *)
val _ = x86_test "742C"
   [("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7439"
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7420"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "742C"
   [("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7437"
   [("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7431"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("EIP","080484B4")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484A2")];

(* JE jmp_lbl *)
val _ = x86_test "7429"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("EIP","080484AC")];

(* JE jmp_lbl *)
val _ = x86_test "7421"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484A4")];

(* JE jmp_lbl *)
val _ = x86_test "7439"
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "742B"
   [("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "743A"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484BD")];

(* JE jmp_lbl *)
val _ = x86_test "7426"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484A9")];

(* JE jmp_lbl *)
val _ = x86_test "7420"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "742A"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AD")];

(* JE jmp_lbl *)
val _ = x86_test "7434"
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7426"
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7431"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7424"
   [("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7439"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("OF","F"), ("EIP","080484BC")];

(* JE jmp_lbl *)
val _ = x86_test "741E"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484A1")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7431"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484B4")];

(* JE jmp_lbl *)
val _ = x86_test "743B"
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("OF","F"), ("EIP","080484BE")];

(* JE jmp_lbl *)
val _ = x86_test "742B"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484AE")];

(* JE jmp_lbl *)
val _ = x86_test "7430"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B3")];

(* JE jmp_lbl *)
val _ = x86_test "742B"
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7421"
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7428"
   [("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7422"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484A5")];

(* JE jmp_lbl *)
val _ = x86_test "7431"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484B4")];

(* JE jmp_lbl *)
val _ = x86_test "7430"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("OF","F"), ("EIP","080484B3")];

(* JE jmp_lbl *)
val _ = x86_test "743A"
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "743A"
   [("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "742B"
   [("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7429"
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7423"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("OF","F"), ("EIP","080484A6")];

(* JE jmp_lbl *)
val _ = x86_test "7437"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("EIP","080484BA")];

(* JE jmp_lbl *)
val _ = x86_test "743B"
   [("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("AF","T"), ("CF","F"), ("PF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7426"
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048481")]
   [("OF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("SF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7436"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","T"), ("PF","F"), ("AF","F"), ("EIP","080484B9")];

(* JE jmp_lbl *)
val _ = x86_test "742C"
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "742C"
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","T"), ("OF","F"), ("EIP","080484AF")];

(* JE jmp_lbl *)
val _ = x86_test "741F"
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048481")]
   [("CF","T"), ("PF","F"), ("AF","F"), ("ZF","F"), ("SF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7428"
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("ZF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7421"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("PF","T"), ("CF","F"), ("EIP","080484A4")];

(* JE jmp_lbl *)
val _ = x86_test "7428"
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","T"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "7431"
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048481")]
   [("SF","T"), ("PF","T"), ("CF","F"), ("AF","F"), ("ZF","F"), ("OF","F"), ("EIP","08048483")];

(* JE jmp_lbl *)
val _ = x86_test "742F"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("CF","F"), ("PF","F"), ("AF","F"), ("EIP","080484B2")];

(* JE jmp_lbl *)
val _ = x86_test "7424"
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","08048481")]
   [("OF","T"), ("SF","T"), ("ZF","T"), ("AF","T"), ("CF","T"), ("PF","F"), ("EIP","080484A7")];