Set Proposition Status (Complete, failed, in progress)

Sets proposition status
00074788: 27bdffd0 addiu r29,r29,0xffd0
0007478c: afb00018 sw r16,0x0018(r29)
00074790: 00808021 addu r16,r4,r0
00074794: afbf0028 sw r31,0x0028(r29)
00074798: afb30024 sw r19,0x0024(r29)
0007479c: afb20020 sw r18,0x0020(r29)
000747a0: afb1001c sw r17,0x001c(r29)
000747a4: 8e020004 lw r2,0x0004(r16)
000747a8: 00000000 nop
000747ac: 00021840 sll r3,r2,0x01
000747b0: 00621821 addu r3,r3,r2
000747b4: 00031880 sll r3,r3,0x02
000747b8: 00621821 addu r3,r3,r2
000747bc: 00031880 sll r3,r3,0x02
000747c0: 3c01800c lui r1,0x800c
000747c4: 2421bc70 addiu r1,r1,0xbc70
000747c8: 00230821 addu r1,r1,r3
000747cc: 8c220000 lw r2,0x0000(r1)
000747d0: 00000000 nop
000747d4: 30420100 andi r2,r2,0x0100
000747d8: 144000cd bne r2,r0,0x00074b10
000747dc: 00000000 nop
000747e0: 3c02800c lui r2,0x800c
000747e4: 8c42c2f0 lw r2,-0x3d10(r2)
000747e8: 00000000 nop
000747ec: 30420040 andi r2,r2,0x0040
000747f0: 1040001e beq r2,r0,0x0007486c
000747f4: 00000000 nop
000747f8: 0c02434c jal 0x00090d30
000747fc: 34040002 ori r4,r0,0x0002
00074800: 34020001 ori r2,r0,0x0001
00074804: 3c01800d lui r1,0x800d
00074808: ac220984 sw r2,0x0984(r1)
0007480c: 3c02800a lui r2,0x800a
00074810: 8c42f180 lw r2,-0x0e80(r2)
00074814: 3c03800a lui r3,0x800a
00074818: 8c63f244 lw r3,-0x0dbc(r3)
0007481c: 2442fffe addiu r2,r2,0xfffe
00074820: 3c01800a lui r1,0x800a
00074824: ac22f180 sw r2,-0x0e80(r1)
00074828: 3c02800a lui r2,0x800a
0007482c: 8c42f198 lw r2,-0x0e68(r2)
00074830: 2463fffe addiu r3,r3,0xfffe
00074834: 3c01800a lui r1,0x800a
00074838: ac23f244 sw r3,-0x0dbc(r1)
0007483c: 3c03800c lui r3,0x800c
00074840: 8c63b4f0 lw r3,-0x4b10(r3)
00074844: 2442fffc addiu r2,r2,0xfffc
00074848: 2463ffff addiu r3,r3,0xffff
0007484c: 3c01800a lui r1,0x800a
00074850: ac22f198 sw r2,-0x0e68(r1)
00074854: 3c01800c lui r1,0x800c
00074858: ac23b4f0 sw r3,-0x4b10(r1)
0007485c: 0c01ca86 jal 0x00072a18
00074860: 00000000 nop
00074864: 0801d2c4 j 0x00074b10
00074868: 00000000 nop
0007486c: 0c01a404 jal 0x00069010
00074870: 34041000 ori r4,r0,0x1000
00074874: 14400005 bne r2,r0,0x0007488c
00074878: 00000000 nop
0007487c: 0c01a404 jal 0x00069010
00074880: 34044000 ori r4,r0,0x4000
00074884: 1040001b beq r2,r0,0x000748f4
00074888: 00000000 nop
0007488c: 8e030008 lw r3,0x0008(r16)
00074890: 8e020000 lw r2,0x0000(r16)
00074894: 8e050004 lw r5,0x0004(r16)
00074898: 38630001 xori r3,r3,0x0001
0007489c: 000230c0 sll r6,r2,0x03
000748a0: 00c23021 addu r6,r6,r2
000748a4: 00063080 sll r6,r6,0x02
000748a8: 00051040 sll r2,r5,0x01
000748ac: 00451021 addu r2,r2,r5
000748b0: 00021080 sll r2,r2,0x02
000748b4: 00451021 addu r2,r2,r5
000748b8: 00021080 sll r2,r2,0x02
000748bc: ae030008 sw r3,0x0008(r16)
000748c0: 00031900 sll r3,r3,0x04
000748c4: 3c01800c lui r1,0x800c
000748c8: 2421bc8c addiu r1,r1,0xbc8c
000748cc: 00220821 addu r1,r1,r2
000748d0: 8c220000 lw r2,0x0000(r1)
000748d4: 2463000e addiu r3,r3,0x000e
000748d8: 00431021 addu r2,r2,r3
000748dc: 3c01800c lui r1,0x800c
000748e0: 2421b520 addiu r1,r1,0xb520
000748e4: 00260821 addu r1,r1,r6
000748e8: ac220000 sw r2,0x0000(r1)
000748ec: 0c02434c jal 0x00090d30
000748f0: 34040003 ori r4,r0,0x0003
000748f4: 3c02800c lui r2,0x800c
000748f8: 8c42c2f0 lw r2,-0x3d10(r2)
000748fc: 00000000 nop
00074900: 30420020 andi r2,r2,0x0020
00074904: 10400082 beq r2,r0,0x00074b10
00074908: 00000000 nop
0007490c: 0c02434c jal 0x00090d30
00074910: 34040001 ori r4,r0,0x0001
00074914: 8e030008 lw r3,0x0008(r16)
00074918: 34020001 ori r2,r0,0x0001
0007491c: 1062ffb9 beq r3,r2,0x00074804
00074920: 00000000 nop
00074924: 0c03bc6a jal 0x000ef1a8
00074928: 3404002c ori r4,r0,0x002c
0007492c: 3c05800d lui r5,0x800d
00074930: 8ca50980 lw r5,0x0980(r5)
00074934: 3404002c ori r4,r0,0x002c
00074938: 0c03bc97 jal 0x000ef25c
0007493c: 00452823 subu r5,r2,r5
00074940: 0c03bc6a jal 0x000ef1a8
00074944: 3404002c ori r4,r0,0x002c
00074948: 3c10800a lui r16,0x800a
0007494c: 2610f2f0 addiu r16,r16,0xf2f0
00074950: 96040000 lhu r4,0x0000(r16)
00074954: 3c01800d lui r1,0x800d
00074958: ac2209ac sw r2,0x09ac(r1)
0007495c: 0c03bc6a jal 0x000ef1a8
00074960: 2484035f addiu r4,r4,0x035f
00074964: 96040000 lhu r4,0x0000(r16)
00074968: 34450008 ori r5,r2,0x0008
0007496c: 0c03bc97 jal 0x000ef25c
00074970: 2484035f addiu r4,r4,0x035f			store proposition
00074974: 3c038005 lui r3,0x8005
00074978: 90637ce8 lbu r3,0x7ce8(r3)
0007497c: 00000000 nop
00074980: 000310c0 sll r2,r3,0x03
00074984: 00431021 addu r2,r2,r3
00074988: 34030001 ori r3,r0,0x0001
0007498c: 3c018005 lui r1,0x8005
00074990: 24217eec addiu r1,r1,0x7eec
00074994: 00220821 addu r1,r1,r2
00074998: a0230000 sb r3,0x0000(r1)
0007499c: 3c048005 lui r4,0x8005
000749a0: 90847ce8 lbu r4,0x7ce8(r4)
000749a4: 92020000 lbu r2,0x0000(r16)
000749a8: 000418c0 sll r3,r4,0x03
000749ac: 00641821 addu r3,r3,r4
000749b0: 2442ffff addiu r2,r2,0xffff
000749b4: 3c018005 lui r1,0x8005
000749b8: 24217eed addiu r1,r1,0x7eed
000749bc: 00230821 addu r1,r1,r3
000749c0: a0220000 sb r2,0x0000(r1)
000749c4: 3c038005 lui r3,0x8005
000749c8: 90637ce8 lbu r3,0x7ce8(r3)
000749cc: 00000000 nop
000749d0: 000310c0 sll r2,r3,0x03
000749d4: 00431021 addu r2,r2,r3
000749d8: 3c018005 lui r1,0x8005
000749dc: 24217eee addiu r1,r1,0x7eee
000749e0: 00220821 addu r1,r1,r2
000749e4: a0200000 sb r0,0x0000(r1)
000749e8: 3c038005 lui r3,0x8005
000749ec: 90637ce8 lbu r3,0x7ce8(r3)
000749f0: 3c04800d lui r4,0x800d
000749f4: 8c844578 lw r4,0x4578(r4)
000749f8: 000310c0 sll r2,r3,0x03
000749fc: 00431021 addu r2,r2,r3
00074a00: 3c018005 lui r1,0x8005
00074a04: 24217eef addiu r1,r1,0x7eef
00074a08: 00220821 addu r1,r1,r2
00074a0c: a0240000 sb r4,0x0000(r1)
00074a10: 3c038005 lui r3,0x8005
00074a14: 90637ce8 lbu r3,0x7ce8(r3)
00074a18: 3c04800a lui r4,0x800a
00074a1c: 8c84f254 lw r4,-0x0dac(r4)
00074a20: 000310c0 sll r2,r3,0x03
00074a24: 00431021 addu r2,r2,r3
00074a28: 3c018005 lui r1,0x8005
00074a2c: 24217ef0 addiu r1,r1,0x7ef0
00074a30: 00220821 addu r1,r1,r2
00074a34: a0240000 sb r4,0x0000(r1)
00074a38: 3c038005 lui r3,0x8005
00074a3c: 90637ce8 lbu r3,0x7ce8(r3)
00074a40: 3c04800d lui r4,0x800d
00074a44: 8c84457c lw r4,0x457c(r4)
00074a48: 000310c0 sll r2,r3,0x03
00074a4c: 00431021 addu r2,r2,r3
00074a50: 3c018005 lui r1,0x8005
00074a54: 24217ef1 addiu r1,r1,0x7ef1
00074a58: 00220821 addu r1,r1,r2
00074a5c: a0240000 sb r4,0x0000(r1)
00074a60: 3c02800d lui r2,0x800d
00074a64: 8c42457c lw r2,0x457c(r2)
00074a68: 00000000 nop
00074a6c: 18400018 blez r2,0x00074ad0
00074a70: 00008821 addu r17,r0,r0
00074a74: 34130001 ori r19,r0,0x0001
00074a78: 3c128005 lui r18,0x8005
00074a7c: 26527ef2 addiu r18,r18,0x7ef2
00074a80: 3c10800d lui r16,0x800d
00074a84: 261009a0 addiu r16,r16,0x09a0
00074a88: 8e040000 lw r4,0x0000(r16)
00074a8c: 0c01a78e jal 0x00069e38
00074a90: 00000000 nop
00074a94: a05300d0 sb r19,0x00d0(r2)
00074a98: 3c038005 lui r3,0x8005
00074a9c: 90637ce8 lbu r3,0x7ce8(r3)
00074aa0: 8e040000 lw r4,0x0000(r16)
00074aa4: 000310c0 sll r2,r3,0x03
00074aa8: 00431021 addu r2,r2,r3
00074aac: 00521021 addu r2,r2,r18
00074ab0: 00511021 addu r2,r2,r17
00074ab4: a0440000 sb r4,0x0000(r2)
00074ab8: 3c02800d lui r2,0x800d
00074abc: 8c42457c lw r2,0x457c(r2)
00074ac0: 26310001 addiu r17,r17,0x0001
00074ac4: 0222102a slt r2,r17,r2
00074ac8: 1440ffef bne r2,r0,0x00074a88
00074acc: 26100004 addiu r16,r16,0x0004
00074ad0: 3c10800a lui r16,0x800a
00074ad4: 2610f2f0 addiu r16,r16,0xf2f0
00074ad8: 3c028005 lui r2,0x8005
00074adc: 90427ce8 lbu r2,0x7ce8(r2)
00074ae0: 96040000 lhu r4,0x0000(r16)
00074ae4: 24420001 addiu r2,r2,0x0001
00074ae8: 3c018005 lui r1,0x8005
00074aec: a0227ce8 sb r2,0x7ce8(r1)
00074af0: 0c03bc6a jal 0x000ef1a8
00074af4: 2484035f addiu r4,r4,0x035f
00074af8: 96040000 lhu r4,0x0000(r16)
00074afc: 34450002 ori r5,r2,0x0002
00074b00: 0c03bc97 jal 0x000ef25c
00074b04: 2484035f addiu r4,r4,0x035f
00074b08: 0801d201 j 0x00074804
00074b0c: 34020001 ori r2,r0,0x0001
00074b10: 8fbf0028 lw r31,0x0028(r29)
00074b14: 8fb30024 lw r19,0x0024(r29)
00074b18: 8fb20020 lw r18,0x0020(r29)
00074b1c: 8fb1001c lw r17,0x001c(r29)
00074b20: 8fb00018 lw r16,0x0018(r29)
00074b24: 27bd0030 addiu r29,r29,0x0030
00074b28: 03e00008 jr r31
00074b2c: 00000000 nop