d "add.s f0, f0, f0" 00000046 0x4
d "addi zero, zero, 0" 00000020 0x4 nop
d "addiu zero, t0, -0x19" e7ff0025 0x4 nop
d "addiu zero, t0, 0" 00000025 0x4 nop
d "andi zero, zero, 0" 00000030 0x4 nop
d "b 8" 00000010 0x4 (jmp (bv 64 0x8))
d "mftr zero, zero, 0, 0, 0" 00000041 0x4
d "bc1f 8" 00000045 0x4
dB "bc2f 8" 00000049 0x4
d "lwxc1 f0, zero(t0)" 0000004d 0x4
d "beq t0, s0, 0x444c" 11111011 0x4 (branch (== (var t0) (var s0)) (jmp (bv 64 0x444c)) nop)
d "beql sp, t8, 0x14008" 0050b853 0x4 (branch (== (var sp) (var t8)) (jmp (bv 64 0x14008)) nop)
d "beqz t0, 8" 00000011 0x4 (branch (is_zero (var t0)) (jmp (bv 64 0x8)) nop)
d "beqzl zero, 8" 00000050 0x4 (jmp (bv 64 0x8))
d "bgez v0, 0x10" 02004104 0x4 (branch (|| (! (sle (var v0) (bv 64 0x0))) (== (var v0) (bv 64 0x0))) (jmp (bv 64 0x10)) nop)
d "bgezal s1, 0x108" 40003106 0x4 (branch (|| (! (sle (var s1) (bv 64 0x0))) (== (var s1) (bv 64 0x0))) (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x108))) nop)
d "bgezall t3, 0x128" 48007305 0x4 (branch (|| (! (sle (var t3) (bv 64 0x0))) (== (var t3) (bv 64 0x0))) (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x128))) nop)
d "bgezl t6, 0x128" 4800c305 0x4 (branch (|| (! (sle (var t6) (bv 64 0x0))) (== (var t6) (bv 64 0x0))) (jmp (bv 64 0x128)) nop)
d "bgtz zero, 8" 0000001c 0x4 nop
d "bgtzl zero, 8" 0000005c 0x4 nop
d "blez zero, 8" 00000018 0x4 (jmp (bv 64 0x8))
d "blezl zero, 8" 00000058 0x4 (jmp (bv 64 0x8))
d "bltz zero, 8" 00000004 0x4 nop
d "bltzl s6, 0x118" 4400c206 0x4 (branch (&& (sle (var s6) (bv 64 0x0)) (! (== (var s6) (bv 64 0x0)))) (jmp (bv 64 0x118)) nop)
d "bne t0, s0, 0x440c" 01111015 0x4 (branch (! (== (var t0) (var s0))) (jmp (bv 64 0x440c)) nop)
d "bnel s0, s0, -0xbff8" 00d01056 0x4 (branch (! (== (var s0) (var s0))) (jmp (bv 64 0xffffffffffff4008)) nop)
d "bnez zero, 8" 00000014 0x4 nop
d "bnezl t0, 8" 00000055 0x4 (branch (! (is_zero (var t0))) (jmp (bv 64 0x8)) nop)
dB "c0 0" 00000042 0x4
dB "c1 0x1000000" 00000047 0x4
dB "c2 0" 0000004a 0x4
dB "c3 0" 0000004e 0x4
d "cache 0, 0(zero)" 000000bc 0x4 nop
d "daddi zero, zero, 0" 00000060 0x4 nop
d "daddiu zero, zero, 0" 00000064 0x4 nop
d "j 0" 00000008 0x4 (jmp (bv 64 0x0))
d "jal 0" 0000000c 0x4 (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x0)))
d "jalx 0" 00000074 0x4 (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x0)))
d "jalx 4" 01000074 0x4 (seq (set ra (bv 64 0xc)) (jmp (bv 64 0x4)))
d "lb zero, 0(zero)" 00000080 0x4 nop
d "lbu zero, 0(zero)" 00000090 0x4 nop
d "ld zero, 0(zero)" 000000dc 0x4 nop
d "ldc1 f0, 0(zero)" 000000d4 0x4
d "ldc2 0, 0(zero)" 000000d8 0x4
d "ldl zero, 0(zero)" 00000068 0x4
d "ldr zero, 0(zero)" 0000006c 0x4
d "lh zero, 0(zero)" 00000084 0x4 nop
d "lhu zero, 0(zero)" 00000094 0x4 nop
d "addiu zero, zero, 0" 00000024 0x4 nop
d "ori zero, zero, 0" 00000034 0x4 nop
d "ll zero, 0(zero)" 000000c0 0x4
d "lld zero, 0(zero)" 000000d0 0x4
d "lui zero, 0" 0000003c 0x4 nop
d "lw zero, 0(zero)" 0000008c 0x4 nop
d "lwc1 f0, 0(zero)" 000000c4 0x4
d "lwc2 0, 0(zero)" 000000c8 0x4
d "pref 0, 0(zero)" 000000cc 0x4 nop
d "lwl zero, 0(zero)" 00000088 0x4
d "lwr zero, 0(zero)" 00000098 0x4
d "lwu zero, 0(zero)" 0000009c 0x4
d "mfc0 zero, 0, 0" 00000040 0x4
d "mfc1 zero, f0" 00000044 0x4
d "mfc2 zero, 0, 0" 00000048 0x4
d "lwxc1 f0, zero(zero)" 0000004c 0x4
d "nop" 00000000 0x4 nop
d "ori zero, t0, 0" 00000035 0x4 nop
d "sb zero, 0(zero)" 000000a0 0x4 (storew 0 (+ (var zero) (bv 64 0x0)) (bv 8 0x0))
d "sc zero, (0)" 000000e0 0x4
d "scd zero, 0(zero)" 000000f0 0x4
d "sd zero, 0(zero)" 000000fc 0x4 (storew 0 (+ (var zero) (bv 64 0x0)) (bv 64 0x0))
d "sdc1 f0, 0(zero)" 000000f4 0x4
d "sdc2 0, 0(zero)" 000000f8 0x4
d "sdl zero, 0(zero)" 000000b0 0x4
d "sdr zero, 0(zero)" 000000b4 0x4
d "sh zero, 0(zero)" 000000a4 0x4 (storew 0 (+ (var zero) (bv 64 0x0)) (bv 16 0x0))
d "slti zero, zero, 0" 00000028 0x4 nop
d "sltiu zero, zero, 0" 0000002c 0x4 nop
d "sw zero, 0(zero)" 000000ac 0x4 (storew 0 (+ (var zero) (bv 64 0x0)) (bv 32 0x0))
d "swl zero, 0(zero)" 000000a8 0x4
d "swr zero, 0(zero)" 000000b8 0x4
d "xori zero, zero, 0" 00000038 0x4 nop