Set Proposition Status (Complete, failed, in progress)
Jump to navigation
Jump to search
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